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.
Interaction-picture ULE jumps and Lamb shift
PDF p. 10: Eqs. (S2.11)–(S2.12)
Statement
Assume the Axiom of Choice and Countable Choice. Work in units with a finite-dimensional system and Hamiltonian , where is finite, , the coupling operators are Hermitian, and . Let be the bath Hilbert space and let be a density operator on it, meaning a self-adjoint positive trace-class operator with . Assume that every bath operator product appearing inside a trace in the centering, correlation and Wick-pairing hypotheses is well-defined and trace class, including when bath operators are unbounded. Assume a centered stationary Gaussian bath: its state commutes with , , and its correlation functions are determined by two-point functions through Wick pairings. Use factorized preparation in the remote-past formulation of the ULE contract and assume its weak Markov regime .
With , put and entrywise. Assume the kernel contract: the entries of are integrable, is Hermitian positive semidefinite, has integrable entries, and has finite nonzero zeroth and finite first mixed-norm moments. Here , , and .
Let be the unitary system propagator and define the interaction-picture coupling . The jump operators and Lamb-shift Hamiltonian correction in the ULE approximation are and , where is a matrix product. These formulas do not assert that the exact reduced dynamics have no residual correction.
Facts & Assumptions
The independent ULE contract supplies the interaction-picture jump and Lamb coefficients for the stated normalized finite-channel Gaussian model, kernel regularity, remote-past preparation and weak Markov regime. ULE jump construction under independent bath hypotheses
The kernel contract specifies the positive matrix square root, Fourier convention and moment conditions used above. Stationary correlation spectra and ULE kernel regularity
The jump-correlator definition uses the same square-root and time-transform convention and calls the resulting parameters and . Jump correlators and bath-memory parameters
The interaction-picture convention defines system operators by conjugation with the unitary propagator. Time-local interaction-picture convention
A density operator on a nonzero complex Hilbert space is self-adjoint, positive and trace class with trace one. This mathematical definition is read under Countable Choice; existence of the bath-product traces is separately assumed in the statement. The state space: density operators, pure and mixed states, and purity
Assume the Axiom of Choice and Countable Choice for the stated definition interfaces. The Axiom of Choice The Axiom of Countable Choice (AC_ω)
Proof
Given: The model, preparation, kernel regularity and choice assumptions in the statement.
Goal: Identify the interaction-picture ULE coefficients in the stated notation.
The bath state has the density-operator type of [F5], and existence of the required bath-product traces is an explicit hypothesis. The hypotheses match [F1]. Its kernel is the positive square root of with the same Fourier convention and moment conditions as in [F2] and [F3]; therefore . Its interaction-picture operator is exactly the operator defined using [F4].
Substitute and the interaction-picture notation into the two coefficient formulas of [F1]. Its matrix kernel is , so its jump and Lamb-shift expressions are precisely the two displayed formulas. The conclusion concerns the approximation coefficients, with the scope stated in [F1].
Source notes
The article reference attributes Eqs. (S2.11)–(S2.12). The independent ULE contract supplies the physical input; its microscopic derivation is imported there and is not reconstructed here.
Depends on
- ULE jump construction under independent bath hypotheses
- Stationary correlation spectra and ULE kernel regularity
- Jump correlators and bath-memory parameters
- Time-local interaction-picture convention
- The Axiom of Choice
- The Axiom of Countable Choice (AC_ω)
- The state space: density operators, pure and mixed states, and purity
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. 10, Eqs. (S2.11)–(S2.12)