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.
Changing the lift to rotational-energy scaling
PDF p. 4: Final paragraph continuing onto p. 5; PDF p. 5: Opening continuation
Statement
Consider the equal-rate benchmark with the selected absorption–emission (Æ) code in the block and the Aydin–Barg code in the block. Replace the original diagonal lift by , retaining the benchmark's other assumptions and checking-time convention. Adopt the general-lift postulate with and the same three downward jump matrices and rate parameter; this fixed-jump continuation after changing the lift is an additional model assumption. Here labels a spin block, labels its magnetic basis states, is the lift parameter, and is the common modeled instantaneous downward rate for states with .
At a fixed and magnetic label , the new lift is times the original lift. For a downward transition , its contribution to source-minus-destination energy is . Thus, at the same and the same magnetic label, the multiplier is in the Æ host block and in the Aydin–Barg host block. These energy-shift comparisons alone do not establish an ordering of checking times.
The article reports that this change penalizes the higher- Æ code, moves the checking-time crossover to approximately , and leaves Aydin–Barg ahead by up to thereafter. These are attributed predictions of the model, not independently verified numerical inequalities or measured outcomes.
Facts & Assumptions
The original phenomenological lift assigns energy shift to in the finite emitter. Its physical interpretation and the emitter assumptions are those of the stated model. Phenomenological angular-momentum degeneracy lift
The benchmark takes and uses the stated jump coefficients and rigid-rotor level factors . For those jumps the uniform-decay result gives instantaneous downward rate for each basis state with . For the alternative lift, adopt the general-lift postulate with on the same finite space and retain those same jumps. Thus the rate identity still applies, without deriving the fixed-jump continuation from the changed energies. Equal-rate rigid-rotor benchmark parameters Normalized jumps give a scalar total decay operator General bounded diagonal lift for fast-checking analysis
The selected Æ and Aydin–Barg encodings have host blocks and , respectively. J equals five absorption-emission code J equals four Aydin–Barg encoding
The comparison defines checking time as the infimum of times at which the transpose-recovery entanglement fidelity at the maximally mixed logical input is strictly below , taking the value if no such time exists. Its reported original-lift crossover is a numerical model prediction. Checking-time comparison under the Jm lift
For a finite diagonal lift, the contribution to a directed transition energy is the source lift eigenvalue minus the destination lift eigenvalue. Calibrated diagonal lifts and transition phase differences
Assume the finite-emitter, downward-jump, bath, physical and spectral hypotheses carried by the benchmark and comparison. Adopt the Axiom of Choice, Countable Choice and Dependent Choice as carried by those interfaces. Equal-rate rigid-rotor benchmark parameters Checking-time comparison under the Jm lift 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
Proof
Given: The benchmark and encodings in [F1]–[F4], the alternative diagonal lift in the statement, and the assumptions in [A1].
Goal: Derive the stated energy-shift comparisons and specify the status of the reported checking-time comparison.
At fixed , the alternative eigenvalue is times , including when either value is zero. The host-block multipliers are therefore and by [F3]. Applying the source-minus-destination rule to a downward transition gives .
Under [A1], the checking-time convention in [F4] can be applied to the alternative model specified in [F2] once its channel and recovery fidelity have been computed. Step 1.1 compares diagonal energy shifts, but supplies neither those fidelity curves nor bounds on their threshold crossings. The stated crossover, penalty and relative advantage are consequently retained as the article's reported numerical predictions; their numerical accuracy does not follow from the energy algebra.
Remarks
The article passage supplies no separate plotted data or error bars for this alternative-lift comparison. The comparison uses the same nominal and equal-rate benchmark; its ordering need not describe a different physical species or a different rate model.
Depends on
- Phenomenological angular-momentum degeneracy lift
- Equal-rate rigid-rotor benchmark parameters
- J equals five absorption-emission code
- J equals four Aydin–Barg encoding
- Checking-time comparison under the Jm lift
- Calibrated diagonal lifts and transition phase differences
- 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
- General bounded diagonal lift for fast-checking analysis
- Normalized jumps give a scalar total decay operator
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 pp. 4–5, final paragraph of p. 4 and opening continuation on p. 5