This repository contains the computational reproducibility and verification package accompanying the frozen Version v1.0 manuscript: “Phase Curvature and Assumption-Budgeted Certification in Gravity-Mediated Entanglement.” The associated manuscript develops an operational certification framework for gravity-mediated entanglement experiments. Its central aim is to quantify when an observed entanglement signal excludes a specified neighborhood of local classical-mediator models under explicit assumptions and separately controlled nuisance channels. The package supports the manuscript’s analytical and numerical results concerning: gauge-invariant nonseparable phase curvature for diagonal two-path interactions; exact concurrence and separability-distance formulas for pure two-qubit outputs; assumption-budgeted exclusion bounds around the classical-mediator free class; primal and dual PPT/semidefinite-program certification; finite-shot confidence bounds for experimentally accessible Pauli correlators; certified residual bounds for physically compensated coherent nuisance interactions; stochastic geometry and Casimir–Polder uncertainty budgets; matter-bypass and common-auxiliary-channel bookkeeping; circular-shield mode analysis, including the azimuthal matched-null obstruction; thermal shield-channel factorization; finite-footprint high-mode suppression; an analytic positive high-mode tail bound for the shield benchmark; and a conservative outward-rounded audit of the finite numerical mode block. The frozen manuscript does not claim that a particular experimental apparatus has already closed every systematic-error channel. Quantities such as preparation error, matter-channel leakage, shield-model discrepancy, control error, and readout error remain apparatus-dependent inputs to the certification framework. Package contents The archive includes: the frozen Version v1.0 manuscript source; deterministic verification scripts for the theorem-core identities; finite-shot and Casimir–Polder statistical/geometry checks; shield-mode and analytic-tail verification; conservative floating-point interval/audit checks; submission-interface regression checks; machine-readable verification reports; and a SHA256 manifest for file-integrity verification. All verification scripts distributed with the Version v1.0 package return PASS under the documented software environment. The numerical audit is intended as a transparent reproducibility layer for the stated model calculations. It should not be interpreted as a formal interval-special-function proof or as certification of a realized experimental apparatus.
This repository contains the computational reproducibility and verification package accompanying the frozen Version v1.0 manuscript: “Phase Curvature and Assumption-Budgeted Certification in Gravity-Mediated Entanglement.” The associated manuscript develops an operational certification framework for gravity-mediated entanglement experiments. Its central aim is to quantify when an observed entanglement signal excludes a specified neighborhood of local classical-mediator models under explicit assumptions and separately controlled nuisance channels. The package supports the manuscript’s analytical and numerical results concerning: gauge-invariant nonseparable phase curvature for diagonal two-path interactions; exact concurrence and separability-distance formulas for pure two-qubit outputs; assumption-budgeted exclusion bounds around the classical-mediator free class; primal and dual PPT/semidefinite-program certification; finite-shot confidence bounds for experimentally accessible Pauli correlators; certified residual bounds for physically compensated coherent nuisance interactions; stochastic geometry and Casimir–Polder uncertainty budgets; matter-bypass and common-auxiliary-channel bookkeeping; circular-shield mode analysis, including the azimuthal matched-null obstruction; thermal shield-channel factorization; finite-footprint high-mode suppression; an analytic positive high-mode tail bound for the shield benchmark; and a conservative outward-rounded audit of the finite numerical mode block. The frozen manuscript does not claim that a particular experimental apparatus has already closed every systematic-error channel. Quantities such as preparation error, matter-channel leakage, shield-model discrepancy, control error, and readout error remain apparatus-dependent inputs to the certification framework. Package contents The archive includes: the frozen Version v1.0 manuscript source; deterministic verification scripts for the theorem-core identities; finite-shot and Casimir–Polder statistical/geometry checks; shield-mode and analytic-tail verification; conservative floating-point interval/audit checks; submission-interface regression checks; machine-readable verification reports; and a SHA256 manifest for file-integrity verification. All verification scripts distributed with the Version v1.0 package return PASS under the documented software environment. The numerical audit is intended as a transparent reproducibility layer for the stated model calculations. It should not be interpreted as a formal interval-special-function proof or as certification of a realized experimental apparatus.
This archive contains the reproducibility package for the manuscript “Entanglement-invariant topological fingerprint transitions in high-dimensional OAM biphoton states”. The files provide deterministic Python verification scripts and output logs for the analytic and numerical claims in the paper. The package includes verify_fast.py, which reproduces the F5,3 phase table, the universal count and chirality laws, the G5,3 fixed-entropy phase structure, the mixed-block sign structure, the robustness checks, and the worked D3 discriminant calculation. It includes verify_brouwer_slow.py, which performs a direct Brouwer-degree cross-check of the affine sector-degree criterion. It also includes analyze_fingerprint.py, which reports the active-sector counts, sign-resolved counts, chirality, and entropy values for the benchmark F5,3 and G5,3 examples. The output logs verify_results.out, verify_brouwer_slow.out, and analyze_fingerprint.out record the deterministic results used to support the manuscript. No experimental datasets are included; the associated article is a theoretical and computational study.
This record provides the complete figure archive and figure-generation code for the manuscript: “A Differential Null Test for Informational Corrections to Gravity-Related State Reduction.” The archive contains the final manuscript and Supplemental Material figures in both PDF and PNG formats, together with a reproducible Python/Matplotlib script for regenerating the figure set. The figures support a theoretical proposal for a differential null test of informational corrections to gravity-related quantum state reduction. The manuscript develops a matched-pair visibility-residual framework in which ordinary gravitational and environmental baseline terms are cancelled, leaving a testable bound on the informational coupling parameter. The included figures are: Fig1 — main manuscript figure showing the differential null-test structure and visibility-residual logic. FigS1–FigS5 — supplementary figures supporting the branch-density construction, perturbative regime, visibility residuals, coupling bounds, and source-to-energy schematic. The code package includes: generate_prl_figures.py — Python script for regenerating the full figure set. requirements.txt — minimal package requirements. PDF and PNG output folders. SHA256 manifest for file-integrity checking. This Zenodo record is intended to support transparency, reproducibility, and independent inspection of the visual materials associated with the manuscript. The figures are synthetic/theoretical benchmark illustrations and do not represent observational detections or experimental data. Suggested citation use: cite this record when referring to the reproducible figure-generation code or archived figure files associated with the manuscript.
Can a classical channel reproduce the phase signature normally interpreted as evidence for a quantum mediator? We show that it can—if only one conditional direction is measured. This work identifies a one-sided readout loophole in phase-based tests of quantum-mediated interactions and closes it using two direction-resolved Bargmann loops, (\mathcal Z) and (\mathcal Z'). Their product obeys the exact identity (\Delta_{\square}=\mathcal Z(\mathcal Z')^{*}), leading to an additive “record ledger” that reveals where which-path information is deposited. A classical feed-forward channel can hide its record from a one-sided audit, but not from the two-sided construction. We derive a tight separable ceiling that remains unchanged under product-form population imbalance and extend the certification to arbitrary unequal edge coherences through an exact two-qubit PPT semidefinite program. Readout-calibration uncertainty is incorporated through simultaneous Clopper–Pearson confidence regions and a conservative linear-program certificate. For experimental reproducibility, we provide a parameter-complete trapped-ion geometric-phase rehearsal, including pulse parameters, measurement settings, calibration procedures, closure scans, classical controls, and predeclared acceptance criteria. The conclusion is deliberately conditional: the protocol certifies a nonclassical locally mediating channel when the local-mediation premise is independently justified. It does not, by itself, constitute an experimental observation of quantum gravity or exclude every direct or nonlocal matter interaction.
A theoretical and computational framework separating accepted protocol support, record-quality diagnostics, replicated entropy moments and implementation-level bookkeeping. A bounded positive effect induces a completed quotient Hilbert space; integer density-matrix moments are calculated through permutations on identical product copies; signed entropy increments telescope along a fixed reduction. Version 3.2 clarifies support versus distinguishability, finite-dimensional assumptions, higher-order observables, finite-copy uncertainty, numerical rank, logarithm units, additive ledgers and the limits of return diagnostics. A failed chosen inverse does not alone establish irreversible dynamics, and zero entropy residual does not establish state or apparatus return. The companion provides new reproducible central-spin and 500-state SWAP checks, an explicitly defined dephasing control, the recovered historical ledger script and its rerun, editable equations and manuscript sources. Missing historical central-spin and entropy-fit generators are disclosed. The associated Finite Record Protocol Calculator v0.3.0 supplies instrument/record diagnostics, Python and JavaScript parity checks, strict validation and a reduced-state entropy-path interface. This is the first deposit of this manuscript series, superseding working drafts v1.0 through v3.1. All examples are analytic or simulated; no laboratory measurements, empirical anchor, independent Born-rule derivation, emergent geometry or thermodynamic cost inferred from the accepted effect alone are claimed. The manuscript uses CC BY 4.0. Executable software and source code in the companion retain separate rights; see LICENSE_SCOPE.txt and software_dependency/RIGHTS.txt.
Correction in version 1.1 (2026-10-18) The Decimal/Fraction interval engine distributed with version 1.0 used context-sensitive Decimal unary negation and absolute value on interval endpoints. These operations can round inward, so the recorded P02G certificate in v1.0 should not be treated as a rigorously outward-rounded enclosure. Version 1.1 repairs those operations using exact copy_negate() and copy_abs(), hardens the second interval implementation's row-bound selection, and regenerates the interval reports, checksums, and reproducibility manifest. The certified rectangle, theorem scope, and all 34 mathematical environments in the manuscript remain unchanged. Repaired P02G and the separately implemented mpmath.iv P02J both pass the original theorem gates. The result remains conditional computer-assisted mathematical evidence, not formal machine verification or external peer review. Previous version (v1.0): https://doi.org/10.5281/zenodo.23438614 This unrefereed research preprint establishes a computer-assisted, quantitatively certified non-identifiability result for fragment-size-averaged Holevo information in an N=4 environment with two equiprobable pure pointer-conditioned branches. For every point in an explicitly specified closed rational rectangle of coordinate area 4 × 10^-14, two realizations of the complete averaged Holevo information curve exist: one with minimum pure-common-rest carrier size two and another with carrier size four. The proof combines a uniform parameterized contraction mapping, directed interval arithmetic with a second interval implementation, and an intermediate-value construction. Reproducibility materials include the certification programs, frozen numerical certificates, SHA-256 checksums, and a standalone 200-state numerical comparison against direct 16-dimensional partial traces. Both interval implementations share the underlying analytic Holevo reduction and do not constitute independent symbolic proofs. The conclusions are restricted to N=4, equiprobable pure branches, fragment-size-averaged Holevo information, and the specified carrier definition. They do not establish non-identifiability for arbitrary N, mixed states, unequal priors, or individual labeled-fragment information. This is an unrefereed preprint, not a formally verified or peer-reviewed mathematical theorem. Comprehensive novelty priority is not claimed. Licensing: The manuscript and original documentation/data are provided under CC BY 4.0 where applicable. Original Python research code is provided under the MIT License. The accompanying reproducibility archive specifies licenses on a per-file basis. AI assistance disclosure: OpenAI ChatGPT assisted with mathematical analysis, Python implementation, numerical and interval verification, manuscript preparation, and quality assurance. Claude contributed critical assessment and adversarial review assistance. Neither AI system is a coauthor or an external scientific referee. The human author, Yoichi Tsujisawa, assumes responsibility for the research and its publication.
A source-inclusive coherence observable is useful only when its measurement resources are admitted. This preprint constructs a bounded local reader for the conserved exchange observable of a specified finite quantum-record apparatus. A degree-three graph uses one independently prepared probe, twenty relays with arbitrary joint states, and finite-duration two-register extraction and full-SWAP interactions. The original apparatus Hamiltonian and an independently added archive-gated process remain active throughout their respective implementations. A prefix-dependent control-frame comparison, symmetry-resolved effect estimate, and explicit gain, phase and finite-slew waveform bounds yield a sufficient response separation greater than 0.005139889 for the stated fixed, fully accessible sixteen-position source and remaining response-error budgets. This is a conditional mathematical result, not measured hardware calibration, a partial-source-access theorem, or a unique diagnosis or derivation of fundamental collapse. The package contains the main manuscript, technical supplement, editable LaTeX, direct numerical reproduction sources, and accepted returned Mac evidence for 56 paper-specific supporting Lean declarations. That subset verifies selected algebra, scalar inequalities and the actual-constant numerical expression; it does not formalize the full physical/continuous-time theorem end-to-end. Separate-session AI review, numerical reproduction and returned kernel evidence are distinguished. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; newly authored numerical and Lean software is MIT. Predecessor and third-party notices remain unchanged; the reproduction package contains the licence map. No external funding; no competing interests declared. Public preprint v1.0; edition date 18 October 2026; DOI 10.5281/zenodo.23442579.