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 preprint develops a certified rank-selective finite-rank tensor correction mechanism for a three-dimensional cutoff-regularized BBGKY benchmark with density-selected phase response. The construction uses an observable-dual topology matched to selected response/readout channels and a finite response menu with outcomes 3, 8, or fail. The main constructive branch is a rank-three dipole closure theorem under explicit dipole-admissibility and scale-safety gates; the rank-eight quadrupole branch is retained as a conditional diagnostic extension. The manuscript includes manufactured diagnostics and a reproducibility scaffold for the finite-dimensional response matrices and conservative exponent witness.
This preprint presents a finite-dimensional quantum-simulation framework for selected TEBAC 9D/9D+ topological phases, with emphasis on synthetic-dimensional encoding, spectral-gap diagnostics, portal-channel observables, and Qiskit-ready Hamiltonian construction. The manuscript formulates a finite-lattice simulation target for the internal TEBAC sector and encodes the model through Pauli-sum Hamiltonians suitable for NumPy exact diagonalization, Qiskit Aer simulation, and future IBM Runtime execution. The central simulation Hamiltonian is organized schematically as
Hsim=HDirac(N)+Hgauge(N)+Htop(N)+Hchannel(N). The paper develops a concrete two-qubit benchmark v0.1 and a four-qubit finite-lattice sector v0.2. For the four-qubit sector, the manuscript gives an explicit Pauli decomposition, exact spectrum, spectral-gap diagnostic, topological proxy, link-sector markers, fidelity diagnostic, and determinant diagnostic. A key contribution of this version is the transition from a hardware-ready protocol to an executed local emulator report. The v0.2 four-qubit sector is evaluated through NumPy exact computation and local Qiskit Aer execution, including ideal sampling, readout-noisy sampling, and readout-mitigation recovery. For the topological proxy
Q4=⟨ZZZZ⟩,the reported values are:
Q4exact=0.986000,Q4Aer,ideal=0.986572±0.001805,Q4Aer,noisy=0.775391±0.006977,and
Q4mitigated=0.993137±0.008936. The manuscript also includes a Qiskit Aer / IBM Runtime execution skeleton, an error-mitigation roadmap, and a validation ledger. The included code package provides the Python scripts used for the NumPy and local Qiskit Aer runs. This preprint should be read as a companion algorithmic module to the TEBAC portal-channel preprint. The portal-channel preprint formulates the geometric and quantum-informational target model; the present manuscript formulates and partially executes a finite-dimensional quantum-simulation protocol for selected spectral, topological, and channel-level diagnostics. The RH and BSD modules of the broader TEBAC 9D/9D+ programme are discussed only methodologically. They are not used as physical inputs for quantum simulation. Their role is to motivate the common operator--spectrum--trace/determinant--comparison architecture used across the TEBAC programme. This version does not claim a laboratory realization of a physical TEBAC portal, a physical 9D/13D geometry on quantum hardware, or a remote IBM/Google hardware backend result. It reports a local NumPy and Qiskit Aer execution and provides a hardware-ready path toward future cloud-backend experiments.
This record contains the manuscript “Propagation of Chaos after a Frozen Density-Selected Phase Imprint”. Abstract. We study a bosonic mean-field system after a single frozen density-selected phase imprint, with phase profile determined by the pre-imprint density. The main result isolates the exact frozen-density interface at the imprint time and shows that the one-particle defect is transported through the jump without additional loss. On each fixed observation window, this reduces the post-imprint analysis to the standard Hartree propagation-of-chaos framework and yields the usual O(N^{-1}) trace-norm convergence in the regular bounded-integrable kernel regime. The manuscript also records two controlled extensions. First, finite-duration imprints are compared with the same frozen benchmark through area matching, with the dynamic-reference mismatch quantified separately. Second, for prescribed finite kick schedules independent of N, the same bookkeeping yields a conservative fixed-schedule extension on fixed windows. In addition, a hypothesis-dependent weakly singular branch is included under explicit extra spacetime assumptions; this branch is conditional and is stated separately from the unconditional regular result. The paper is intended as a rigorous bridge result: it identifies the exact frozen-density jump law, the induced defect transport, and the subsequent standard Hartree comparison. It does not claim a refreshed-generator theorem, a continuum-drive limit, or a uniform-in-the-number-of-kicks result. Files in this record include the main manuscript and supporting source materials.