Alphabeta Math
Physics theoremStatement: AI-adaptedProof: Literature-sourced
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.

ULE jump construction under independent bath hypotheses

Statement

Assume Countable Choice for the cited kernel-operator and static-jump constructions. For a finite-dimensional system, take H=HS(t)+HB+γ∑α=1nXαBα, with Hermitian Xα,Bα, ∥Xα∥≤1, γ>0, and units ℏ=1. Assume a centered stationary Gaussian bath: [HB,ρB]=0, Tr⁡(ρBBα)=0, and bath correlation functions are determined by two-point correlations by Wick pairings. The preparation is ρSB(t0)=ρS(t0)⊗ρB. For the ULE approximation use the source's remote-past formulation t0→−∞, not arbitrary newly factorized preparation. Set Cαβ(t−s)=Tr⁡B(B~α(t)B~β(s)ρB), with B~α(t)=eiHBtBαe−iHBt. Require the spectral and time-kernel regularity of the named kernel contract. Write its kernel as h=g, so h(ω)=J(ω)/(2π), Γ=4γ(∫∥h(t)∥2,1dt)2 and τ=∫∣t∣∥h(t)∥2,1dt/∫∥h(t)∥2,1dt, and assume Γτ≪1 as the weak Markov approximation regime.

With U(t) the system propagator and X~α(s)=U(s)†XαU(s), the imported ULE coefficients are L~λ(t)=γ∑α∫hλα(t−s)X~α(s)ds and Λ~(t)=γ2i∑αβ∫ ⁣∫X~α(s)X~β(s′)ϕαβ(s−t,s′−t)ds ds′, where ϕ(u,v)=h(u)h(−v)sgn⁡(u−v). These are the coefficients of a Lindblad-form approximation; this statement does not assert exact reduced dynamics satisfy a residual-free Lindblad equation.

For static HS∣m⟩=Em∣m⟩, assume the Fourier identities at the required Bohr frequencies and the principal values below exist. Then Lλ=2πγ∑m,n,αhλα(En−Em)(Xα)mn∣m⟩⟨n∣. With the erratum's corrections, Λ=∑αβ,lmnfαβ(El−Em,En−El)(Xα)ml(Xβ)ln∣m⟩⟨n∣, where f(E1,E2)=−2πγPV⁡∫−∞∞ω−1h(ω−E1)h(ω+E2)dω.

For finite t0 and t>t0, the source separately bounds the BR preparation-tail correction acting on the reduced density matrix by ∥DT(t)(ρ(t))∥≤Γτ/(t−t0), where the norm is the spectral operator norm and DT is the tail map defined in External input. For any ε>0, on an observation window t≥t∗>t0, the explicit sufficient condition t∗−t0≥1/(εΓ) ensures ∥DT(t)(ρ(t))∥≤εΓ2τ. This identifies a preparation condition; it does not transfer the source's exact remote-past ULE residual constant to finite preparation or provide an all-time trajectory error bound.

Facts & Assumptions

[F1]

Use the spectral matrix, principal-value definition and explicit convergence conditions. Stationary correlation spectra and ULE kernel regularity

[F2]

Use the kernel adjoint symmetry and rate identities in the source normalization. ULE kernel adjoint symmetry and rate identities

[F3]

The operator convolutions exist and their Lamb operator is Hermitian. Convergent jump integrals and Hermitian Lamb operators

[F4]

Static jumps reduce to the stated Bohr-frequency sum under pointwise inversion. Static Bohr-frequency evaluation of the jump integral

[F5]

The convolution correlation has first moment bounded by the normalized kernel moments. A first-moment bound for the bath correlation convolution

[F6]

Use the density-matrix tail bound imported in External input 1, under that source model. For ε>0, Γ>0, τ≥0 and t≥t∗>t0 with t∗−t0≥1/(εΓ), it gives ∥DT(t)(ρ(t))∥≤Γτ/(t−t0)≤Γτ/(t∗−t0)≤εΓ2τ. This scalar comparison uses the imported bound directly and remains valid when τ=0. Universal Lindblad equation for open quantum systems, Appendix A6, (A38)–(A41).

[F7]

For the finite-dimensional system, ρS(t0) and the reduced ρ(t) are density operators: non-negative endomorphisms with trace one. This finite-dimensional definition applies to the system states, without imposing a finite-dimensional restriction on the bath state ρB. Density operator

[A1]

Assume Countable Choice for the kernel-operator construction in [F3] and the static Bohr reduction in [F4]. The imported microscopic model and its finite-preparation tail bound are retained under their stated hypotheses. The Axiom of Countable Choice (AC_ω) Convergent jump integrals and Hermitian Lamb operators Static Bohr-frequency evaluation of the jump integral

External input

Imported input 1: Nathan–Rudner's stationary Gaussian, normalized finite-channel model in its remote-past preparation formulation yields the coefficients (28)–(29) and static formula (33). Define ΔB(t,s) by importing exactly the Born superoperator's defining expression in Appendix A4, Eq. (A25). The conventions included in this definition are left/right multiplication A^l(M)=AM, A^r(M)=MA from (A2), νl=1, νr=−1 following (A6), and the bath superoperator correlations Jαβmn(t−s) defined in (A9). The source's time-domain J(t−s) is our C(t−s), its system and bath operators in Appendix A are our interaction-picture X~α and B~α, and its g is our h. The definition retains the same system–bath model, normalized couplings, Gaussian correlations and factorized preparation hypotheses stated above; it does not infer this map from a norm bound. All superoperator norms here mean (A3), namely ∥T∥=sup⁡∥M∥≤1∥T(M)∥ with spectral operator norms on matrices, and ∥A∥ent=∑αβ∣Aαβ∣ is the source's entrywise norm. For finite t0 and t>t0, (A38) defines DT(t)=−∫−∞t0ΔB(t,s)ds, and Appendix A6 gives ∥ΔB(t,s)∥≤4γ∥C(t−s)∥ent and ∥DT(t)(ρ(t))∥≤Γτ/(t−t0), the latter after (A41) using (B2). This imports the source-defined map and density-matrix estimate, including its existence in that model. The convolution identity immediately before (B4), the resulting norm inequality (B4), and moment relation (B2) apply in this model. Source: Universal Lindblad equation for open quantum systems, Sec. IIIC, (24)–(29), Sec. IVA, (33), Appendix A opening and A1–A2, (A2)–(A3), signs following (A6), (A9), Appendix A4, (A25), Appendix A6, (A38)–(A41), and Appendix B, (B2)–(B4). The microscopic derivation and finite-preparation tail bound are imported, not reconstructed here.

Imported input 2: The static Lamb formula and coefficient above use the corrected energy ordering, sign and coupling factor. Source: Erratum, p. 1, corrected expressions (1)–(2), and the time-kernel correction (5). Principal-value existence remains an explicit hypothesis.

Source notes

The four cited local lemmas establish kernel symmetry and rate identities, coefficient well-definedness, static evaluation and the correlation-moment estimate. The finite-preparation tail bound is imported directly from Appendix A6, and [F6] gives its scalar waiting-time consequence. They do not reconstruct the microscopic ULE derivation. The supplier and source use the same convention, h(ω)=g(ω)=J(ω)/(2π); the new letter only distinguishes frequency and time-kernel notation in these intermediate lemmas. The static Lamb formula follows the independently read erratum. No Gaussianity, factorization, memory bound or weak-coupling regime for a particular photon model follows merely from its vocabulary or spectral cutoff.

Depends on

Used by · 5

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.

External dependencies

Universal Lindblad equation for open quantum systems · PDF pp. 4–5, Sec. IIA1; pp. 9–10, Sec. IIIC–IVA, Eqs. (24)–(29), (32)–(33); pp. 16–18, Appendix A opening and A1–A2, Eqs. (A2)–(A3), signs following (A6), and (A9); p. 20, Appendix A4, defining expression in (A25); pp. 21–22, Appendix A6, (A38)–(A41); p. 22, Appendix B, (B2), unnumbered convolution identity immediately before (B4), and norm inequality (B4).

For a stationary Gaussian bath, finite normalized Hermitian couplings, factorized preparation in the remote past, and finite jump-kernel moments, the ULE has jumps (28), Lamb shift (29), and static jumps (33). Its kernel convention is $h(\omega)=\sqrt{J(\omega)/(2\pi)}$. At finite preparation time the BR tail in (A38) acting on the reduced density matrix has spectral norm at most $\Gamma\tau/(t-t_0)$ for $t>t_0$; this is negligible relative to $\Gamma^2\tau$ when $t-t_0\gg\Gamma^{-1}$. The integrand is specifically the Born superoperator defined in (A25), using the left/right multiplication maps (A2), signs ν_l=1 and ν_r=−1, and bath superoperator correlations (A9); its norm is the spectral-induced superoperator norm (A3).

Hypotheses: Finite-dimensional bounded system, finitely many Hermitian couplings of norm at most one; centered stationary Gaussian bath (higher correlation functions determined by Wick pairings of the two-point functions); initially factorized state at t0; remote-past formulation for the asymptotic ULE error contract; finite nonzero kernel zeroth moment and finite first moment; small dimensionless Γτ; static pointwise Fourier identities and principal-value existence where used.

Reading limits: For this repair, read the retrieved PDF text of the Appendix A interaction-picture convention, left/right multiplication (A2), spectral-induced superoperator norm (A3), signs following (A6), bath superoperator correlations (A9), defining expression in (A25), finite-preparation tail (A38)–(A41), and Appendix B through (B11). Also read the coefficient and static-jump formulas (28)–(29), (32)–(33). The earlier source-review account of Gaussianity and remote-past preparation is retained; no fresh full microscopic derivation, model-specific Gaussianity verification, numerical replay, page-image inspection, or unchanged finite-preparation ULE residual constant is claimed. The tail estimate is imported directly, rather than inferred by applying the local strongly-measurable-tail lemma.

Erratum: Universal Lindblad equation for open quantum systems · PDF p. 1, Corrected expressions (1), (2), (4), (5), (6)

The corrected static Lamb shift uses $f_{\alpha\beta}(E_l-E_m,E_n-E_l)$ and $f(E_1,E_2)=-2\pi\gamma\operatorname{PV}\int\omega^{-1}h(\omega-E_1)h(\omega+E_2)d\omega$; the time kernel is $h(u)h(-v)\operatorname{sgn}(u-v)$. The corrections do not change the ULE derivation or its error bounds.

Hypotheses: The same source model and Fourier convention as the original ULE paper; convergence or specified principal values of the expressions.

Reading limits: For this repair, read the retrieved PDF text on both pages, including corrected expressions (1)–(2), (4)–(6) and the unchanged-derivation/error-bounds qualification. No page-image inspection, numerical replay, or independent verification of the simulation corrections is claimed.

Sources