Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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 J=0,1,…,N, N≥1, adopt the canonical downward-jump model and all its physical, spectral and choice hypotheses. For code comparisons choose f(J)=(2J+1)/(2J−1) for every 1≤J≤N, and choose the rigid-rotor level factors ηJ=J(J+1). The parameter γ>0 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 ∣J,m⟩ has m=−J,…,J. Define its total instantaneous downward jump rate to be ∑δ=−11∥Lδ∣J,m⟩∥2 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 J, potentially changing the ordering of the compared codes; that statement is qualitative and is not an observation established by this item.

Facts & Assumptions

[F1]

The finite model has orthonormal magnetic basis vectors ∣J,m⟩ and energy EJ=ω0ηJ, with ω0>0. 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

[F2]

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 Lδ=γ∑J=1N∑m=−JJf(J)C1,δ;J,mJ−1,m+δ∣J−1,m+δ⟩⟨J,m∣. Out-of-range terms vanish. The coefficients C are product-basis coefficients in the specified normalized coupled basis. Canonical angular-momentum downward jumps Angular-momentum basis and tensor labels

[F4]

For finite matrices and a Hermitian Hamiltonian, the GKSL generator has dissipative terms LδρLδ†−{Lδ†Lδ,ρ}/2 and generates a channel for nonnegative time. Finite GKSL evolution and the QEC channel interface

[A1]

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 f(J) and level factors ηJ 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

Used by · 14

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