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.
Equal-rate rigid-rotor benchmark parameters
PDF p. 3: Paragraph following Eq. (10); PDF p. 4: Discussion following Fig. 2
Postulate
For the finite integer-spin emitter with blocks , , adopt the canonical downward-jump model and all its physical, spectral and choice hypotheses. For code comparisons choose for every , and choose the rigid-rotor level factors . The parameter is the jump-rate scale. This is a benchmark choice of the effective coefficients, including their phases and magnitudes; the general emitter model does not require every physical species to realize it.
A magnetic basis state has . Define its total instantaneous downward jump rate to be for the three modeled jump operators. Use this common parameter specification when comparing codes hosted in different manifolds. The article notes that rates in real species may depend strongly on , potentially changing the ordering of the compared codes; that statement is qualitative and is not an observation established by this item.
Postulate references
Facts & Assumptions
The finite model has orthonormal magnetic basis vectors and energy , with . The emitter postulate includes the rigid-rotor choice among its level models. Angular-momentum basis and tensor labels Angular-momentum emitter, photon bath, and dipole approximation
Under the finite-block emitter, bath, rank-one tensor, weak-Markov, regularity and pointwise spectral hypotheses of the downward-jumps result, its three jumps are . Out-of-range terms vanish. The coefficients are product-basis coefficients in the specified normalized coupled basis. Canonical angular-momentum downward jumps Angular-momentum basis and tensor labels
For finite matrices and a Hermitian Hamiltonian, the GKSL generator has dissipative terms and generates a channel for nonnegative time. Finite GKSL evolution and the QEC channel interface
Assume the Axiom of Choice, Countable Choice and Dependent Choice, as well as all physical and spectral hypotheses of the finite downward-jumps result. 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 Canonical angular-momentum downward jumps
Justification
The benchmark specifies the effective factors and level factors as modeling choices, rather than deriving their values from an arbitrary emitter. The emitter and downward-jump suppliers specify the finite physical setting and the hypotheses under which the chosen coefficients are used. The article reference attributes the parameter choices and qualitative species comparison; it does not establish physical applicability or an observation.
The instantaneous rate convention uses the jump contribution in the finite GKSL convention. It refers to the specified input state, without asserting that the system remains in its host manifold or retains one rate throughout subsequent evolution. The applicability of the emitter and bath assumptions remains physical and conditional.
Depends on
- Angular-momentum basis and tensor labels
- Angular-momentum emitter, photon bath, and dipole approximation
- Canonical angular-momentum downward jumps
- Finite GKSL evolution and the QEC channel interface
- 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
Used by · 14
- Normalized jumps give a scalar total decay operator
- Exact and thresholded Kraus ranks for J at most two
- Minimal-code decay detection without correction
- Detection-code errors retain partial logical information
- Checking-time comparison under the Jm lift
- Spacing interpretation and rate-normalization qualification
- Changing the lift to rotational-energy scaling
- General bounded diagonal lift for fast-checking analysis
- Aydin–Barg fidelity time curves and complete-information-loss plateau
- Zero-lift checking-time fits versus physical decay rate
- Minimal-code closed fidelity and checking time
- Detection-code short-time checking law
- Weak rotational symmetry and decoupled operator sectors
- Lindbladian exponentiation and Choi Kraus extraction
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, paragraph following Eq. (10); p. 4, discussion following Fig. 2