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.

Photon modes and field normalization

PDF p. 11: S3 Hamiltonian bullets, Eq. (S3.2)

Postulate

Use units with ℏ=1. In the article's box-normalized photon model, a mode is labeled by a nonzero wave vector k and one of two polarization labels λ=1,2. Its frequency is ωk=c∣k∣, where c>0 is the speed assigned to the field. For each k, the two polarization vectors ϵλ(k) are transverse, meaning k⋅ϵλ(k)=0, and together with k^=k/∣k∣ form an orthonormal basis of the complexified three-dimensional vector space with its usual Hermitian inner product.

Let akλ and akλ† be the annihilation and creation operators for the mode. Postulate the free bath Hamiltonian HB=∑k,λωkakλ†akλ and the electric field at the fixed emitter position r0 as E(r0)=∑k,λ[Eωkϵλ(k)akλ+Eωk∗ϵλ(k)∗akλ†], where Eω=iω/(2ε0V) up to a phase convention, ε0>0 is the vacuum permittivity, and V>0 is the quantization volume. The mode functions' phases at r0 are included in the chosen mode convention.

The electric-dipole approximation evaluates the field at r0 and neglects its variation across the emitter; with electric-dipole operator d, the interaction is Hint=−d⋅E(r0). For a regulated realization, retain finitely many positive-frequency modes and a finite-dimensional emitter as in the cited bath model. The unrestricted mode sum is model notation and no removal of the finite-mode regulator is claimed.

Facts & Assumptions

[F1]

The emitter model uses Hint=−d⋅E(r0) and identifies evaluating the field at the emitter with the electric-dipole approximation. Angular-momentum emitter, photon bath, and dipole approximation

[F2]

The regulated bath model permits finitely many independent positive-frequency bosonic modes coupled to a finite-dimensional emitter by Hermitian linear combinations of their creation and annihilation operators. Its continuum construction and radiation-sector conventions carry the choice assumptions stated there. Regularized transverse photon dipole bath model

Justification

For each nonzero wave vector, transversality makes the two polarization vectors orthogonal to the propagation direction; the stated orthonormal-basis convention fixes their normalization. Orthogonal vectors and subspaces, orthogonal and orthonormal sets, and orthonormal bases The dagger denotes the Hilbert-space adjoint, and complex conjugation of the coefficient and polarization vector makes each finite-mode Cartesian field component a Hermitian linear combination on the common finite-particle domain. Its positive-frequency mode energies and linear coupling have the form permitted by F2. F1 supplies the emitter interaction and its interpretation as a dipole approximation. The specific dispersion, field normalization and approximation are adopted model assumptions attributed to the article, not deductions of laboratory behavior. The finite-mode statement does not establish convergence of the unrestricted sum or the validity of a continuum point field.

Depends on

Used by · 3

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