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.
Off-diagonal correlators vanish in an isotropic photon bath
PDF p. 13: Eq. (S3.15) and following paragraph
Statement
Assume the Axiom of Choice, Countable Choice and Dependent Choice. Take the explicitly regulated isotropic thermal photon model, its sequential continuum limit, and all conventions and hypotheses of the completed thermal time-correlator result. In particular , is Borel, and , where . For Cartesian labels and every real , the resulting correlation is , where
In particular every off-diagonal correlation vanishes. With the positive-exponential spectral convention, the matrix-valued distributional spectrum is , where is the nonnegative finite measure whose almost-everywhere density is given by the completed thermal spectral-density result. Thus the spectral density matrix has the representative almost everywhere. Choose a nonnegative representative at all frequencies, including a value at zero. The positive square root of this representative divided by is , as a pointwise matrix identity.
For identification with the cited jump-correlator definition, additionally assume that its bath-trace hypotheses hold and those traces give this correlation, that , and that the chosen representative satisfies at every real . Under these additional hypotheses the frequency-domain jump correlator is the displayed . If its entries are also Lebesgue integrable, the time-domain jump correlator is , entrywise. The distributional-spectrum and matrix-square-root conclusions above do not require these additional hypotheses.
For every unitary change of the three channel labels, including a Cartesian-to-spherical change of basis, both scalar matrices remain unchanged under conjugation. Consequently the channels may be expressed in spherical labels without introducing off-diagonal spectral or jump correlations. This is a conditional statement about the model, not an observation.
Statement references
Isotropic thermal bath time correlator
Thermal bath spectral density and frequency signs
Transverse-polarization completeness and angular average
Jump correlators and bath-memory parameters
Finite support square roots and generalized inverses
Stationary correlation spectra and ULE kernel regularity
Spherical vector components and transition-frequency convention
Facts & Assumptions
Given: The choice assumptions, regulated thermal model, radial integrability and conventions in the Statement.
Under those model hypotheses, the completed thermal time-correlator result gives the displayed scalar correlation for all Cartesian index pairs and all real times. Its construction refines finite cells on compact shells and then exhausts positive frequency. Isotropic thermal bath time correlator
For each propagation direction, the sum over two orthonormal transverse polarizations is the projector ; its surface integral is under Countable Choice. Transverse-polarization completeness and angular average
With the stated normalization and positive-exponential convention, the diagonal thermal spectrum is a nonnegative finite measure with the stated almost-everywhere density. The ordinary time Fourier integral requires an additional integrability condition. Thermal bath spectral density and frequency signs Stationary correlation spectra and ULE kernel regularity
The jump-correlator definition requires its bath traces and an entrywise time-integrable correlation, with spectral density given by the ordinary positive-exponential Fourier integral. For a pointwise Hermitian positive semidefinite spectral matrix it defines the frequency jump correlator as the positive square root of that matrix divided by . Entrywise integrability of this square root additionally defines its time-domain Fourier integral. The finite-dimensional positive square-root construction is basis independent. Jump correlators and bath-memory parameters Finite support square roots and generalized inverses
The spherical-component definition specifies the Cartesian-to-spherical coordinate matrix on the three-dimensional channel-label space, with ordered inputs and outputs , and its local Justification proves that this matrix and its output unit-phase variants are unitary. Spherical vector components and transition-frequency convention
Assume the Axiom of Choice, Countable Choice and Dependent Choice as required by the completed thermal suppliers. 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
Goal: Establish the scalar time correlation, spectral matrix, jump kernel and invariance under unitary channel changes under the stated hypotheses.
The hypotheses are those of [F1], so its continuum limit gives with precisely the displayed . In that construction the isotropic radial factor is independent of direction; [F2] identifies the angular contraction as . Hence the entries with vanish, while all three diagonal entries agree. The factor is retained from the completed model's normalization.
Pair each time correlation with a Schwartz test function using the distributional convention of [F3]. Linearity and step 1.1 give zero off the diagonal and the same pairing on each diagonal. By [F3], this common distribution is the nonnegative finite measure and has density almost everywhere. This proves the matrix measure and density statements without assuming that the correlation is integrable in time.
For the chosen nonnegative representative, , where , is positive semidefinite and its square is . The uniqueness of the finite-dimensional positive square root in [F4] identifies it with the positive square root of this representative divided by , independently of ordinary time Fourier integrability.
Under the additional bath-trace, and pointwise Fourier-matching assumptions in the Statement, each correlation entry is integrable and its ordinary spectral density is at every real . This matrix is Hermitian positive semidefinite by the chosen nonnegative representative. Thus the frequency-domain part of the jump-correlator definition in [F4] applies and gives precisely the root from step 3.1. If its entries are also integrable, the time-domain part of [F4] defines the stated Fourier integral. These conclusions use the additional hypotheses; square-root integrability alone does not supply time integrability of .
For any unitary , and ; the Cartesian-to-spherical matrix of [F5] is such a unitary basis change, as are its output unit-phase variants. Thus the claimed diagonal structure persists in those labels. When the time-domain jump integral in step 4.1 is defined, its off-diagonal entries vanish because they integrate zero entries, and all diagonal entries agree because their integrands agree.
Source notes
The article writes the off-diagonal integrand without the explicit factor. In the completed supplier's fixed bath-operator convention, the corresponding displayed article integral represents ; both expressions vanish off the diagonal. The source passage is attribution, while the regulated calculation and its normalization are supplied by [F1]. The spectral density is an almost-everywhere representative; assigning values on null sets is a convention and does not by itself prove time or kernel integrability.
Depends on
- Isotropic thermal bath time correlator
- Thermal bath spectral density and frequency signs
- Transverse-polarization completeness and angular average
- Jump correlators and bath-memory parameters
- Finite support square roots and generalized inverses
- Stationary correlation spectra and ULE kernel regularity
- Spherical vector components and transition-frequency convention
- 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. 13, Eq. (S3.15) and following paragraph