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.

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 c,β,γ>0, κ is Borel, and ∫0∞∣κ(ω)∣2ω2[2N(ω)+1]dω<∞, where N(ω)=(eβω−1)−1. For Cartesian labels i,j∈{1,2,3} and every real t, the resulting correlation is Jij(t)=δijC(t), where

C(t)=8π3γc3∫0∞∣κ(ω)∣2ω2[N(ω)eiωt+(N(ω)+1)e−iωt]dω.

In particular every off-diagonal correlation vanishes. With the positive-exponential spectral convention, the matrix-valued distributional spectrum is δijμ, where μ is the nonnegative finite measure whose almost-everywhere density J is given by the completed thermal spectral-density result. Thus the spectral density matrix has the representative J(x)I3 almost everywhere. Choose a nonnegative representative at all frequencies, including a value at zero. The positive square root of this representative divided by 2π is g(x)=J(x)/(2π)I3, 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 C∈L1(R), and that the chosen representative satisfies J(x)=(2π)−1∫RC(t)eixt dt at every real x. Under these additional hypotheses the frequency-domain jump correlator is the displayed g(x). If its entries are also Lebesgue integrable, the time-domain jump correlator is g(t)=∫Rg(x)e−ixt dx, 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.

Facts & Assumptions

Given: The choice assumptions, regulated thermal model, radial integrability and conventions in the Statement.

[F1]

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

[F2]

For each propagation direction, the sum over two orthonormal transverse polarizations is the projector δij−ninj; its surface integral is 8πδij/3 under Countable Choice. Transverse-polarization completeness and angular average

[F3]

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

[F4]

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 2π. 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

[F5]

The spherical-component definition specifies the Cartesian-to-spherical coordinate matrix on the three-dimensional channel-label space, with ordered inputs (x,y,z) and outputs (+1,−1,0), and its local Justification proves that this matrix and its output unit-phase variants are unitary. Spherical vector components and transition-frequency convention

[A1]

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.

1.1givenA1F1F2

The hypotheses are those of [F1], so its continuum limit gives Jij(t)=δijC(t) with precisely the displayed C. In that construction the isotropic radial factor is independent of direction; [F2] identifies the angular contraction as 8πδij/3. Hence the entries with i≠j vanish, while all three diagonal entries agree. The factor γ−1 is retained from the completed model's normalization.

2.1F3step 1.1algebra

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 J almost everywhere. This proves the matrix measure and density statements without assuming that the correlation is integrable in time.

3.1givenF4step 2.1algebra

For the chosen nonnegative representative, s(x)I3, where s(x)=J(x)/(2π), is positive semidefinite and its square is J(x)I3/(2π). The uniqueness of the finite-dimensional positive square root in [F4] identifies it with the positive square root of this representative divided by 2π, independently of ordinary time Fourier integrability.

4.1givenF4step 1.1step 3.1algebra

Under the additional bath-trace, C∈L1(R) and pointwise Fourier-matching assumptions in the Statement, each correlation entry is integrable and its ordinary spectral density is δijJ(x) at every real x. 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 C.

5.1givenF5step 3.1step 4.1algebra∎

For any unitary U, U(JI3)U∗=JI3 and U(sI3)U∗=sI3; 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 γ−1 factor. In the completed supplier's fixed bath-operator convention, the corresponding displayed article integral represents γJij(t); 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

Used by · 2

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