How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Small-lift amplitude approximation and energy-scale scope
PDF p. 3: End of paragraph following Eq. (11)
Statement
Assume the Axiom of Choice, Countable Choice and Dependent Choice. Use finitely many blocks in the article's fixed downward-branch effective emitter model, with the finite integer-spin blocks and rank-one dipole family of the atomic-jumps result. Let be the projection onto block , put , and put with the stated diagonal lift. Adopt all hypotheses of the spherical-jumps result for both static Hamiltonians, with the same coupling scale , the same three Hermitian Cartesian dipole operators of norm at most one, and the same bath. In particular assume the centered stationary Gaussian bath, factorized remote-past preparation, weak-Markov regime , integrable correlations and frequency-domain spectral square root, finite nonzero zeroth and finite first time-domain kernel moments, pointwise Fourier identities at every required Bohr frequency, and existence of the required principal values in that supplier's conventions. Adopt its regulated isotropic photon-model hypotheses and the compatible vacuum-limit hypotheses of the vacuum-density result. Require a nonnegative scalar representative that matches the ordinary ULE spectral density pointwise at every required transition frequency for each Hamiltonian, not just almost everywhere. These are applicability assumptions for the ULE coefficients; small lift alone does not establish them.
Restrict each resulting spherical jump to its matrix entries. This is the retained effective branch, not a claim that the full lifted microscopic jump has no other entries. Keep its dipole matrix elements and eigenvectors unchanged by the phenomenological diagonal lift, and use the unmodified free-space vacuum spectral representative , , pointwise at every unperturbed and shifted retained transition frequency. No cubic-law condition is imposed at frequencies between those sampled points. The general cutoff-bath postulate alone does not assert this pointwise condition. For with fixed , the shift is . If , then each nonzero downward jump coefficient changes by relative magnitude at most . Zero fixed dipole coefficients remain zero. Thus the claimed amplitude order holds on a fixed finite set of blocks with positive gaps held fixed. It is not guaranteed by small lift alone for an arbitrary spectral regulator, a zero reference spectrum, a changed dipole operator, or an omitted transition branch.
After replacing those coefficients by the unperturbed effective jumps, keep and physical observation times fixed. The effective noise restricted to matrices block diagonal in , in particular any encoded input supported in one manifold and its reference-system extension, is independent of ; fixed recovery operations on those outputs inherit this independence. This explains the energy-scale independence relevant to the single-manifold code comparisons. It does not imply independence of the full channel's Choi weights on arbitrary inter-manifold inputs. The finite-cascade lemma gives an exact counterexample to that extension with , , zero lift and the article's normalized fixed jumps. At fixed microscopic dipoles and vacuum normalization, varying also varies the physical rate through the cubic spectrum; holding the effective rates fixed is a comparison of effective models, not a claim of fixed microscopic parameters.
Facts & Assumptions
The phenomenological lift changes diagonal energies without specifying a changed decay coupling. Phenomenological angular-momentum degeneracy lift
The atomic-jumps result supplies the unlifted downward coefficient and the identity with fixed . It assumes degenerate energies within each unlifted block; its conclusion alone is not a jump formula for the lifted Hamiltonian. Canonical angular-momentum downward jumps
The independently derived unmodified free-space vacuum spectral law is cubic on the range where the field coupling has that form. Vacuum limit and cubic free-space spectral density
The shift window is bounded by (2J−1)|Δ|. Finite diagonal lift and its relative frequency window
A nonzero cubic spectral jump factor has the stated relative variation. Relative variation of a cubic spectral jump factor
Coefficient-relative bounds imply the weighted-shift operator bound. Coefficient variation controls a weighted-shift operator
With effective jumps held fixed, the block-diagonal channel is independent of the block-scalar unperturbed energy. Energy-scale independence on the block-diagonal input algebra
The full J≤2 Choi spectrum can retain inter-block energy dependence. Cross-block coherences can change Choi weights in a finite cascade
For any finite static Hamiltonian satisfying all its system, bath, preparation, weak-Markov, regularity and pointwise spectral-matching hypotheses, the spherical-jumps result gives in its energy eigenbasis. We assume those hypotheses for both and as specified in the Statement, with the compatible photon-bath vacuum limit. Three spherical emission channels
Assume the Axiom of Choice, Countable Choice and Dependent Choice as inherited by the regulated photon and ULE suppliers used in [F1], [F2], [F3] and [F9]. Their use is in those supplied constructions, not in the finite coefficient arithmetic below. The Axiom of Choice The Axiom of Countable Choice (AC_ω) The axiom of dependent choice: a relation in which every element is related to something admits an ℕ-indexed chain
For a complex scalar , the finite Taylor lemma applied to its one-dimensional multiplication matrix gives . This supplies the explicit rational remainder bound used for the threshold diagnostic, without any physical premise. Finite exponential and smooth quotient remainder control
Proof
Given: The finite downward model, common fixed dipole operators and magnetic eigenbasis, pointwise cubic values at the retained frequencies, fixed positive gaps, choice assumptions, and all spherical-jumps applicability hypotheses for both static Hamiltonians in the Statement. Goal: Justify the amplitude estimate and its precise energy-scale scope.
By [F1] and [F4], the common magnetic basis diagonalizes both Hamiltonians, and each retained existing-state pair has unlifted frequency and lifted frequency , with . Keeping the dipole operators fixed keeps their matrix elements fixed, even though the lifted energies need not be degenerate within a block. The identity in [F2] therefore remains the identity for these same matrix elements. This use does not reapply the degenerate-energy conclusion of [F2] to the lifted Hamiltonian.
The retained jumps lower by one and the lift preserves each block. Apply [F7] with these fixed matrices to obtain the claimed restricted-channel independence at physical times. In the vacuum law of [F3], changing at fixed microscopic prefactors changes each unperturbed spectral factor as and its rate as . Therefore the effective-rate comparison must hold those rate parameters fixed separately.
Apply [F9] separately to the two static Hamiltonians under the stated applicability hypotheses, and select the retained entries in the same spherical channel convention. With , their coefficients are and . The only changed factor is thus the selected spectral square root evaluated at the shifted frequency. This retains the coherent sum of entries within each spherical jump and makes no assertion about omitted branches. By [F3] and the pointwise cubic-frequency assumption, the two spectral square roots have the same positive proportionality constant multiplying . Consequently whenever , and both coefficients vanish when .
The unrestricted extension is not used: [F8] computes its full Choi spectrum for exactly the fixed normalized finite-cascade matrices. Its inter-block one-jump Gram term depends on . This distinguishes the valid single-manifold conclusion from the full-channel quantity and completes the stated correction in scope.
For , cancel the same fixed factor in step 2.1 to get . Put and define the auxiliary function for every . Both sampled frequencies lie in by [F4]. Their actual spectral values equal the auxiliary values by hypothesis, so the displayed ratio equals the ratio for . Apply [F5] to this auxiliary function on , where its full pointwise cubic hypothesis holds by definition, to obtain . Zero fixed dipole coefficients stay zero by step 2.1. For a fixed spherical channel the destination labels are injective, so [F6] gives for the retained branch, with . For a fixed finite block set and fixed positive gaps, the constants are uniform, giving . If a microscopic spectral or dipole factor is instead varied or lies outside the cubic band, this computation makes no such estimate.
Here is a rational certificate for the Source notes diagnostic. Set , , , and let . The threshold counts unnormalized Choi eigenvalues strictly larger than . Write , , , , , , and , using [F8]. Define , , and . For , the nonnegative exponential series gives , so [F10] bounds the degree-20 remainder by . Thus , , and lie respectively in the rational intervals , , and . Propagate these intervals through the formulas for , , , and . The rational endpoint rules are , , and ; subtraction uses negation and division here is only by the positive rational constant . Every input is rational and every operation preserves enclosure. Substitution of the finite sums gives the following strict rational bounds: , , , , and . These bounds can be checked by rational additions and multiplications alone; they enclose the full Taylor-remainder intervals, rather than rounded evaluations of their centers.
In [F8], each of the three one-jump blocks has real eigenvalues . Hence and . Step 3.2 gives . For , therefore puts exactly one eigenvalue of each block above . For , puts both on the same side of , and forces both above it. The five weights and the single weight exceed at both parameters by step 3.2. All remaining weights vanish by [F8]. The effective ranks are consequently at and at , with strict threshold separation. This establishes the retained diagnostic for the fixed finite effective model; it supplies neither new empirical data nor a certificate for the article's plotted simulations.
Source notes
Original attribution is preserved here: PDF p.3 says, “We retain the unperturbed jump operators because, for , corrections to their amplitudes are only of relative order , and the results below are independent of .” The amplitude calculation above uses the article's unmodified cubic spectrum and fixed phenomenological coupling, with the spectral law supplied by the local vacuum-spectrum deduction and the shifted coefficient formula supplied by the spherical-jumps deduction under its hypotheses for both Hamiltonians; it does not infer smoothness for an arbitrary regularized bath. The parameter specification makes explicit that the normalized effective rates and f(J), rather than all microscopic dipoles and field factors, are fixed.
The energy-scale statement is retained on the single-J input sector for which it is sound. The broad reading that includes every full-channel Choi weight is corrected in the generated theorem, with its original attribution retained: p.4 Fig.2 specifies and all , while p.14 S4 only invokes a global phase within each J manifold. The finite-cascade counterexample uses those exact fixed effective matrices, , , and . At the article's threshold , the local rational interval certificate in Proof steps 3.2–4.3 for the displayed Gram formula gives effective rank 9 at and 12 at . This diagnostic and its original-PDF attribution are retained internally for independent assessment rather than declaring a final article defect. Removing by a frame change transforms the cross-block jumps into time-dependent operators; discarding their unequal phases would be an additional approximation. No such approximation was located in the cited original passages.
Depends on
- Phenomenological angular-momentum degeneracy lift
- Canonical angular-momentum downward jumps
- Three spherical emission channels
- Vacuum limit and cubic free-space spectral density
- Finite diagonal lift and its relative frequency window
- Relative variation of a cubic spectral jump factor
- Coefficient variation controls a weighted-shift operator
- Energy-scale independence on the block-diagonal input algebra
- Cross-block coherences can change Choi weights in a finite cascade
- The Axiom of Choice
- The Axiom of Countable Choice (AC_ω)
- The axiom of dependent choice: a relation in which every element is related to something admits an ℕ-indexed chain
- Finite exponential and smooth quotient remainder control
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.
Sources
- Monolithic Quantum Error Correction in the Presence of Distinguishability · PDF p.3, Eqs.(10)–(11) and following paragraph; p.4 Fig.2 caption and discussion; p.13 Eqs.(S3.17)–(S3.20); p.14 S4 paragraph before (S4.1)