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.
Weak rotational symmetry and decoupled operator sectors
PDF p. 17: Numerical method, first three sentences
Statement
Assume the Axiom of Choice, Countable Choice and Dependent Choice, and the finite-block emitter, bath, tensor, regularity and pointwise spectral hypotheses of Canonical angular-momentum downward jumps. Adopt the equal-rate rigid-rotor benchmark of Equal-rate rigid-rotor benchmark parameters, the diagonal lift of Phenomenological angular-momentum degeneracy lift, and the model choice that the lift does not change the three unperturbed jumps. The Hilbert space is the direct sum of the integer-spin blocks , with orthonormal magnetic basis and . Let , , and , where is real. Let , for , be the downward jumps of the cited result, with the benchmark coefficients.
For the finite generator , one has and for every real . For each integer , the operator sector is invariant under . The matrix algebra is the direct sum of the nonzero sectors, and preserves each sector for ; consequently their evolutions can be computed separately and in parallel. This is the finite-block form of the article's stated weak rotational symmetry and sector decomposition.
Statement references
Facts & Assumptions
Under its finite-block physical and pointwise spectral hypotheses, the downward-jumps result gives , with out-of-range terms zero. Canonical angular-momentum downward jumps
The benchmark chooses and , while the lift adds the real diagonal energy to each basis state. Equal-rate rigid-rotor benchmark parameters Phenomenological angular-momentum degeneracy lift
The finite-spin convention has and magnetic labels in unit steps. Finite spin blocks, spherical tensors and Clebsch–Gordan phases
The finite GKSL interface supplies the displayed generator for a Hermitian matrix and a finite family of jump matrices. Finite GKSL evolution and the QEC channel interface
For a common diagonal basis of and Hermitian , if with real weights, the rotation-covariance lemma gives the corresponding jump phases, covariance and invariance of each matrix-unit weight sector. Rotation covariance and operator-weight sectors
Assume the Axiom of Choice, Countable Choice and Dependent Choice, and all finite-emitter, bath, rank-one tensor, regularity and pointwise spectral hypotheses of [F1]. The retained-jump choice after adding the lift is a physical model assumption. 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
Proof
Given: The finite benchmark, diagonal lift, retained jumps and assumptions in the Statement.
Goal: Establish the rotation phase, generator covariance and independent sector evolution.
By [F3], each nonzero matrix unit in [F1] satisfies . Linearity therefore gives . The sign follows from the output magnetic label .
By [F2], is Hermitian and diagonal in the same finite basis as . Applying [F5] to the generator in [F4] and the weights obtained in step 1.1 gives and covariance of . The scalar jump phases cancel in the dissipative terms.
The matrix units form a basis of the finite matrix algebra, and each has weight . Thus the nonzero form a direct-sum decomposition. By [F5], each is invariant under . Every power of consequently preserves it, as does the convergent finite-dimensional exponential series for . Applying that exponential independently to the components of an initial operator and adding the results gives the full evolution, so the sector computations may run in parallel.
Source notes
The article states the sector decomposition using unrestricted notation. The deduction above uses completed finite-block suppliers and makes no assertion about domains or convergence for infinitely many blocks. The article's retained-jump approximation is an assumption here, not a consequence of adding the lift.
Depends on
- Equal-rate rigid-rotor benchmark parameters
- Phenomenological angular-momentum degeneracy lift
- Canonical angular-momentum downward jumps
- Rotation covariance and operator-weight sectors
- Finite spin blocks, spherical tensors and Clebsch–Gordan phases
- 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
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. 17, Numerical method, first three sentences; p. 3, Eqs. (10)–(11) and following paragraph