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 , with Hermitian , , , and units . Assume a centered stationary Gaussian bath: , , and bath correlation functions are determined by two-point correlations by Wick pairings. The preparation is . For the ULE approximation use the source's remote-past formulation , not arbitrary newly factorized preparation. Set , with . Require the spectral and time-kernel regularity of the named kernel contract. Write its kernel as , so , and , and assume as the weak Markov approximation regime.
With the system propagator and , the imported ULE coefficients are and , where . 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 , assume the Fourier identities at the required Bohr frequencies and the principal values below exist. Then . With the erratum's corrections, , where .
For finite and , the source separately bounds the BR preparation-tail correction acting on the reduced density matrix by , where the norm is the spectral operator norm and is the tail map defined in External input. For any , on an observation window , the explicit sufficient condition ensures . 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
Use the spectral matrix, principal-value definition and explicit convergence conditions. Stationary correlation spectra and ULE kernel regularity
Use the kernel adjoint symmetry and rate identities in the source normalization. ULE kernel adjoint symmetry and rate identities
The operator convolutions exist and their Lamb operator is Hermitian. Convergent jump integrals and Hermitian Lamb operators
Static jumps reduce to the stated Bohr-frequency sum under pointwise inversion. Static Bohr-frequency evaluation of the jump integral
The convolution correlation has first moment bounded by the normalized kernel moments. A first-moment bound for the bath correlation convolution
Use the density-matrix tail bound imported in External input 1, under that source model. For , , and with , it gives . This scalar comparison uses the imported bound directly and remains valid when . Universal Lindblad equation for open quantum systems, Appendix A6, (A38)–(A41).
For the finite-dimensional system, and the reduced 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 . Density operator
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 by importing exactly the Born superoperator's defining expression in Appendix A4, Eq. (A25). The conventions included in this definition are left/right multiplication , from (A2), , following (A6), and the bath superoperator correlations defined in (A9). The source's time-domain is our , its system and bath operators in Appendix A are our interaction-picture and , and its is our . 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 with spectral operator norms on matrices, and is the source's entrywise norm. For finite and , (A38) defines , and Appendix A6 gives and , 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, ; 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
- Stationary correlation spectra and ULE kernel regularity
- ULE kernel adjoint symmetry and rate identities
- Convergent jump integrals and Hermitian Lamb operators
- Static Bohr-frequency evaluation of the jump integral
- A first-moment bound for the bath correlation convolution
- The Axiom of Countable Choice (AC_ω)
- Density operator
- 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).
- Erratum: Universal Lindblad equation for open quantum systems · PDF p. 1, Corrected expressions (1), (2), (4), (5), (6)
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
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.
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
- 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).
- Erratum: Universal Lindblad equation for open quantum systems · PDF p. 1, Corrected expressions (1), (2), (4), (5), (6)