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 . In the article's box-normalized photon model, a mode is labeled by a nonzero wave vector and one of two polarization labels . Its frequency is , where is the speed assigned to the field. For each , the two polarization vectors are transverse, meaning , and together with form an orthonormal basis of the complexified three-dimensional vector space with its usual Hermitian inner product.
Let and be the annihilation and creation operators for the mode. Postulate the free bath Hamiltonian and the electric field at the fixed emitter position as , where up to a phase convention, is the vacuum permittivity, and is the quantization volume. The mode functions' phases at are included in the chosen mode convention.
The electric-dipole approximation evaluates the field at and neglects its variation across the emitter; with electric-dipole operator , the interaction is . 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.
Postulate references
Facts & Assumptions
The emitter model uses and identifies evaluating the field at the emitter with the electric-dipole approximation. Angular-momentum emitter, photon bath, and dipole approximation
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
Assume the Axioms of Choice, Countable Choice and Dependent Choice for the cited bath construction. 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
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
- Angular-momentum emitter, photon bath, and dipole approximation
- Regularized transverse photon dipole bath model
- 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
- Orthogonal vectors and subspaces, orthogonal and orthonormal sets, and orthonormal bases
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 page 11, section S3, Hamiltonian bullets and equation (S3.2)