{
  "abstract": "We develop a self-contained version of a finite Bonferroni–Liouville strategy for the binary Goldbach problem. The starting point is a nonnegative, prime-only weight on complements of a fixed even integer. After sieving the complement beyond its cube-root threshold, the Liouville function separates primes from semiprimes exactly. An even Bonferroni truncation then gives an exact prime-pair identity with a nonnegative correction that must be subtracted. This correction cannot be discarded, and cancellation in the signed remainder alone does not control it.\n\nWe prove that the correction can nevertheless be made smaller than the natural prime-pair scale by an explicitly computable, growing truncation depth. The proof uses an elementary factorial-moment bound and does not assume cancellation of multiplicative functions. A second, shifted presieve is introduced in a fully defined comparison sequence. For its Liouville-weighted component we give an exact transfer formula, a complete Chinese remainder theorem expansion, and an unconditional truncation bound that remains valid when the first Bonferroni weight is retained. In this latter estimate, a divisor-square mean and an exponential moment replace an unavailable pointwise polylogarithmic bound on the sieve weight.\n\nThe preferred lower-bound argument combines the two Liouville signs before estimating them. Because the parity projector is nonnegative, an odd shifted Bonferroni truncation produces an additional nonnegative term, which may legitimately be omitted from a lower bound. The resulting finite inequality has only the explicitly controlled, unshifted correction with an adverse sign. We identify the remaining arithmetic inputs: evaluation of the truncated ordinary model, a coupled Liouville progression estimate, and a one-sided comparison with the actual prime sequence, all uniformly for each even integer. Existing distribution and correlation theorems are discussed without treating their hypotheses as automatically satisfied.\n\nA complete conditional positivity theorem and an effective finite-range completion theorem are proved. The elementary truncation estimates narrow the obstruction but do not resolve the required prime correlation. The manuscript therefore supplies a complete candidate architecture, not a completed Goldbach proof.",
  "abstract_shown": true,
  "affiliations": [
    "Philipps University of Marburg"
  ],
  "article_type": null,
  "arxiv": null,
  "author_total": 1,
  "authors": [
    {
      "affs": [
        0
      ],
      "name": "Borros Arneth"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/42sn6r1xfr77w.bib",
  "cited_by": 0,
  "doi": "10.5281/zenodo.23560521",
  "fulltext_url": null,
  "id": "42sn6r1xfr77w",
  "issns": [],
  "landing_url": "https://zenodo.org/records/23560521",
  "language": null,
  "licence": "CC-BY-4.0",
  "licence_label": "CC BY 4.0",
  "licence_source": "article",
  "licence_url": "https://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": null,
  "native_subjects": [],
  "openalex": null,
  "pdf_url": "https://zenodo.org/api/records/23560521/files/Gold43.pdf/content",
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-22",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/42sn6r1xfr77w.ris",
  "sources": [
    {
      "first_seen": "2026-11-05T12:20:14Z",
      "native_id": "23560521",
      "source": "zenodo",
      "url": "https://zenodo.org/records/23560521"
    }
  ],
  "subjects": [],
  "title": "Finite Bonferroni–Liouville Transfer, Quantitative Truncation Control, and a Conditional Route to Binary Goldbach (PIHR-Goldbach-XLIII)",
  "title_text": "Finite Bonferroni–Liouville Transfer, Quantitative Truncation Control, and a Conditional Route to Binary Goldbach (PIHR-Goldbach-XLIII)",
  "type": "preprint",
  "updated_at": "2026-11-05T12:20:14Z",
  "url": "https://research.draconitic.com/paper/42sn6r1xfr77w",
  "venue": "Zenodo",
  "versions": []
}