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.

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 ℏ=1 with a finite-dimensional system and Hamiltonian H=HS(t)+HB+γ∑α=1nXαBα, where n is finite, γ>0, the coupling operators are Hermitian, and ∥Xα∥≤1. Let HB be the bath Hilbert space and let ρB be a density operator on it, meaning a self-adjoint positive trace-class operator with Tr⁡BρB=1. 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 ρB commutes with HB, Tr⁡(ρBBα)=0, 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 ΓτB≪1.

With B~α(t)=eiHBtBαe−iHBt, put Cαβ(t−s)=Tr⁡B(B~α(t)B~β(s)ρB) and J(ω)=(2π)−1∫RC(t)eiωt dt entrywise. Assume the kernel contract: the entries of C are integrable, J(ω) is Hermitian positive semidefinite, g(ω)=[J(ω)/(2π)]1/2 has integrable entries, and g(t)=∫Rg(ω)e−iωt dω has finite nonzero zeroth and finite first mixed-norm moments. Here ∥M∥2,1=∑b(∑a∣Mab∣2)1/2, Γ=4γ(∫∥g(t)∥2,1dt)2, and τB=∫∣t∣∥g(t)∥2,1dt/∫∥g(t)∥2,1dt.

Let US(t) be the unitary system propagator and define the interaction-picture coupling X~α(s)=US(s)†XαUS(s). The jump operators and Lamb-shift Hamiltonian correction in the ULE approximation are L~λ(t)=γ∑α∫−∞∞gλα(t−s)X~α(s) ds and Λ~(t)=γ2i∫−∞∞ds∫−∞∞ds′∑αβX~α(s)X~β(s′)φαβ(s−t,s′−t), where φ(u,v)=g(u)g(−v)sgn⁡(u−v) is a matrix product. These formulas do not assert that the exact reduced dynamics have no residual correction.

Facts & Assumptions

[F1]

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

[F2]

The kernel contract specifies the positive matrix square root, Fourier convention and moment conditions used above. Stationary correlation spectra and ULE kernel regularity

[F3]

The jump-correlator definition uses the same square-root and time-transform convention and calls the resulting parameters Γ and τB. Jump correlators and bath-memory parameters

[F4]

The interaction-picture convention defines system operators by conjugation with the unitary propagator. Time-local interaction-picture convention

[F5]

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

[A1]

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.

1.1givenA1F1F2F3F4F5

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 h is the positive square root of J/(2π) with the same Fourier convention and moment conditions as g in [F2] and [F3]; therefore h=g. Its interaction-picture operator US(s)†XαUS(s) is exactly the operator defined using [F4].

2.1F1step 1.1∎

Substitute h=g and the interaction-picture notation into the two coefficient formulas of [F1]. Its matrix kernel h(u)h(−v)sgn⁡(u−v) is φ(u,v), 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

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