Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generated
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 J=0,…,N, with orthonormal magnetic basis ∣J,m⟩ and m=−J,…,J. Let Jz∣J,m⟩=m∣J,m⟩, Rθ=e−iθJz, and H=∑J,m[ω0J(J+1)+ΔJm]∣J,m⟩⟨J,m∣, where Δ is real. Let Lδ, for δ=−1,0,1, be the downward jumps of the cited result, with the benchmark coefficients.

For the finite generator L(X)=−i[H,X]+∑δ=−11(LδXLδ†−{Lδ†Lδ,X}/2), one has RθLδRθ†=e−iθδLδ and L(RθXRθ†)=RθL(X)Rθ† for every real θ. For each integer r, the operator sector Hr=span⁡{∣J,m⟩⟨J′,m′∣:m−m′=r} is invariant under L. The matrix algebra is the direct sum of the nonzero sectors, and etL preserves each sector for t≥0; 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.

Facts & Assumptions

[F1]

Under its finite-block physical and pointwise spectral hypotheses, the downward-jumps result gives Lδ=γ∑J=1N∑m=−JJf(J)C1,δ;J,mJ−1,m+δ∣J−1,m+δ⟩⟨J,m∣, with out-of-range terms zero. Canonical angular-momentum downward jumps

[F2]

The benchmark chooses f(J)=(2J+1)/(2J−1) and ηJ=J(J+1), while the lift adds the real diagonal energy ΔJm to each basis state. Equal-rate rigid-rotor benchmark parameters Phenomenological angular-momentum degeneracy lift

[F3]

The finite-spin convention has Jz∣J,m⟩=m∣J,m⟩ and magnetic labels in unit steps. Finite spin blocks, spherical tensors and Clebsch–Gordan phases

[F4]

The finite GKSL interface supplies the displayed generator for a Hermitian matrix H and a finite family of jump matrices. Finite GKSL evolution and the QEC channel interface

[F5]

For a common diagonal basis of Jz and Hermitian H, if [Jz,La]=qaLa 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

[A1]

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.

1.1F1F3A1algebra

By [F3], each nonzero matrix unit in [F1] satisfies [Jz,∣J−1,m+δ⟩⟨J,m∣]=δ∣J−1,m+δ⟩⟨J,m∣. Linearity therefore gives [Jz,Lδ]=δLδ. The sign follows from the output magnetic label m+δ.

2.1F2F4F5step 1.1

By [F2], H is Hermitian and diagonal in the same finite basis as Jz. Applying [F5] to the generator in [F4] and the weights obtained in step 1.1 gives RθLδRθ†=e−iθδLδ and covariance of L. The scalar jump phases cancel in the dissipative terms.

3.1F5step 2.1algebra∎

The matrix units ∣J,m⟩⟨J′,m′∣ form a basis of the finite matrix algebra, and each has weight m−m′. Thus the nonzero Hr form a direct-sum decomposition. By [F5], each is invariant under L. Every power of L consequently preserves it, as does the convergent finite-dimensional exponential series for etL. 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 J 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

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