Alphabeta Math
Pipeline-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.

Finite reduced dynamics, memory and quantum trajectories — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-adaptedVerification: AI-generatedverified 2026-10-22 (gpt-6.1-sol)Open item page →

A finite bath revives coherence

Physical scope

A conditional two-qubit finite-environment unitary model with fixed product preparation. The coherence revival is an exact model prediction, not a reported experiment or a general claim about finite reservoirs.

Example

For HS=HE=C2, Z=diag⁡(1,−1), g>0 in s−1, and ℏ>0 in joule-seconds, choose Htot=ℏg Z⊗Z, Ut=e−itHtot/ℏ, and the fixed environment state ∣+⟩⟨+∣ with ∣+⟩=(∣0⟩+∣1⟩)/2 in the displayed environment Z eigenbasis. Here coherence means an off-diagonal matrix entry in the displayed system basis. The reduced map leaves the system populations unchanged and multiplies each coherence by cos⁡(2gt). At a positive time s where the multiplier is zero, it erases the distinction between the two X eigenstates; at 2s it restores them with their signs exchanged. Thus this finite reduced family is neither a semigroup nor CP-divisible.

Facts & Assumptions

Given: The two-qubit model, g>0, ℏ>0, and the definitions of channel semigroup and CP-divisibility.

[F1]

The two-qubit calculation in Product-state reduced evolution is a channel uses this exact Hamiltonian and environment state; it defines the matrix exponential by its power series, derives Ut=∑b=±1Vb(t)⊗∣b⟩⟨b∣ with Vb(t)=diag⁡(e−ibgt,eibgt), and obtains the reduced channel's coherence multiplier κ(t)=12(e−2igt+e2igt).

[F2]

Finite channel families, semigroups, and CP-divisibility: the semigroup law is Φt+s=Φt∘Φs with Φ0=id⁡, and CP-divisibility requires a channel Vt,s for every s≤t with Φt=Vt,s∘Φs.

[F3]

t↦(cos⁡t,sin⁡t) is a bijection from [0,2π) onto the real unit circle: some θ∈[0,2π) satisfies (cos⁡θ,sin⁡θ)=(0,1).

[F6]

The complex exponential by its power series: e0=1 and ez is the scalar exponential power series.

[F7]

Finite matrix spectral and state calculus: every finite Hermitian matrix has an orthonormal eigenbasis with real eigenvalues; for a real-valued function on its finite spectrum, the corresponding spectral operator is basis-independent.

Verification

technique · compute the conditional qubit rotations and compare two exact times
1.1givenF1F4F7algebra

The Hermitian matrix Z⊗Z has the orthonormal eigenbasis of product Z eigenvectors and eigenvalues ±1 by direct multiplication, consistent with [F7]. For this exact matrix and environment preparation, [F1] defines the matrix exponential by its power series and derives Ut=∑b=±1Vb(t)⊗∣b⟩⟨b∣, where Vb(t)=diag⁡(e−ibgt,eibgt). By [F4], each diagonal phase has modulus one, so these blocks and Ut are unitary. The environment state has equal weight on b=±1, so the reduced map is Φt(X)=12(V+1XV+1∗+V−1XV−1∗); multiplying the two diagonal matrices shows that the off-diagonal entries are multiplied by κ(t)=12(e−2igt+e2igt)=cos⁡(2gt), while the diagonal entries are unchanged.

1.2F3F4F5F6algebra

By [F3] choose θ∈[0,2π) with cos⁡θ=0 and sin⁡θ=1, and put s=θ/(2g)>0. Then [F4] gives eiθ=i, while [F5] and [F6] with eiθe−iθ=e0=1 give e−iθ=−i; another application of [F5] yields κ(s)=0 and κ(2s)=12(e−2iθ+e2iθ)=−1.

2.1F1F2step 1.1step 1.2algebra∎

Let XP=(0110) and ρ±=(I±XP)/2. Since XP=XP∗, XP2=I, and Tr⁡XP=0, each ρ± is a positive trace-one matrix. Steps 1.1 and 1.2 give Φs(ρ+)=Φs(ρ−)=I/2, but Φ2s(ρ+)=ρ− and Φ2s(ρ−)=ρ+. Thus Φ2s(ρ+)≠Φs(Φs(ρ+)), so the semigroup law in [F2] fails. If a channel V2s,s satisfied Φ2s=V2s,s∘Φs, it would map the equal intermediate states to equal outputs, contradicting their distinct final states; by [F1], every Φt is a channel, so the family is not CP-divisible by [F2].

ExampleConstruction: AI-adaptedVerification: AI-generatedverified 2026-10-22 (gpt-6.1-sol)Open item page →

Single excitation jump law

Physical scope

An ideal trajectory-ensemble calculation for an undriven qubit in the finite amplitude-damping GKSL model. It predicts a model waiting-time law and state update; it is not a reported detector observation.

Example

In the normalized jump-branch ensemble for the finite amplitude-damping model, let γ≥0 be in s−1 and take the initial qubit state ∣1⟩⟨1∣. The no-jump survival weight at time t≥0 is e−γt. If γ>0, the ensemble assigns the first-jump time density γe−γt and post-jump state ∣0⟩⟨0∣; because there is no drive and L∣0⟩=0, there are no later jumps. If γ=0, no jump occurs and the survival weight is one. This is a model branch distribution, not a detector observation.

Facts & Assumptions

Given: The qubit amplitude-damping model, initial state ∣1⟩⟨1∣, and the finite jump-trajectory branch definition.

[F1]

Amplitude damping with operational time units: for H=ℏω∣1⟩⟨1∣ and L=γ∣0⟩⟨1∣, the excited-state population obeys ρ11(t)=e−γtρ11(0) with t measured in seconds.

[F2]

Finite GKSL jump-trajectory branches: the no-jump operator is R(t)=etK with K=−iH/ℏ−L∗L/2, and a one-jump branch at time s has operator R(t−s)LR(s). Its branch-weight density is the real scalar trace of the branch state, integrated by the ordinary scalar Riemann integral; a degenerate interval has integral zero.

[F3]

Finite jump expansion and ensemble equation: the branch weights in the finite expansion form a normalized ensemble for each t≥0.

[F4]

exp⁡(z+w)=exp⁡z exp⁡w, and the complex exponential extends the real exponential: on real arguments, the complex exponential used in the model formulas agrees with the real exponential ex.

Verification

technique · evaluate the zero-jump and one-jump branch operators on the two qubit basis states
1.1givenF1F2algebra

For L=γ∣0⟩⟨1∣, the no-jump generator is K=diag⁡(0,−iω−γ/2). Hence R(t)∣1⟩=e−(iω+γ/2)t∣1⟩ and R(t)∣0⟩=∣0⟩. For the initial state ∣1⟩⟨1∣, the no-jump branch weight is Tr⁡(R(t)∣1⟩⟨1∣R(t)∗)=e−γt, equal to the excited population in [F1].

2.1F2F3F4F5step 1.1algebra∎

For γ>0 and a one-jump history at s∈(0,T), R(T−s)LR(s)∣1⟩=γ e−(iω+γ/2)s∣0⟩, since L∣1⟩=γ∣0⟩ and R(T−s)∣0⟩=∣0⟩. Its branch-weight density from [F2] is γe−γs. Because L∣0⟩=0 and R(u)∣0⟩=∣0⟩, every branch with at least two jumps has zero weight. The normalized ensemble [F3] therefore gives ∫0Tγe−γs ds=1−e−γT: the only nonzero contributions are the no-jump weight e−γT from step 1.1 and the one-jump integral. Letting T→∞, [F4] identifies this as the real exponential and [F5] gives e−γT→0 because γ>0; hence the first-jump density has total mass one. Each first jump leaves the normalized state ∣0⟩⟨0∣. If γ=0, then L=0, all positive-jump branches vanish, and the no-jump weight is one.

Sources