Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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-bath dephasing revival violates semigroup

Statement refuted

Every reduced-unitary family from a fixed finite system–environment Hamiltonian and a fixed product environment state is a semigroup: Φt+s=Φt∘Φs for all t,s≥0.

Facts & Assumptions

Given: Finite system and environment spaces C2, a total Hamiltonian H=H∗, ℏ>0 in joule-seconds, time in seconds, and a fixed product preparation ρ⊗σE.

[F1]

Partial trace over a finite tensor factor: Tr⁡E contracts the environment coordinate in the ordered product basis, (Tr⁡ER)aa′=∑bR(a,b),(a′,b).

[F2]

Finite matrix spectral and state calculus: finite Hermitian matrices have spectral exponentials, and the finite trace is cyclic.

[F3]

Independent-preparation reduced unitary channel: for a finite Hermitian total Hamiltonian and fixed environment density σE, the product-prepared reduced map Φt(ρ)=Tr⁡E(Ut(ρ⊗σE)Ut∗) is a channel for each real t and uses the operator-norm power-series exponential. This theorem does not assert a semigroup law.

[F4]

The complex exponential by its power series: exp⁡z=∑n=0∞zn/n! for every z∈C, and exp⁡0=1.

[F6]

exp⁡(x+iy)=ex(cos⁡y+isin⁡y), ∣exp⁡(x+iy)∣=ex, and eiπ+1=0: for real θ, exp⁡(iθ)=cos⁡θ+isin⁡θ and ∣exp⁡(iθ)∣=1.

[F7]

t↦(cos⁡t,sin⁡t) is a bijection from [0,2π) onto the real unit circle: every point of the unit circle has the form (cos⁡θ,sin⁡θ) for some θ∈[0,2π).

Counterexample

1.1givenF1F2F3F4F5F6algebra

Let Z=diag⁡(1,−1), take g>0 in s−1, and set H=ℏg Z⊗Z. With σE=I2/2=12∑b=±1∣b⟩⟨b∣ and Ut=e−itH/ℏ, the power-series definition of the finite operator exponential in [F3] and the Z-eigenbasis give Ut=∑b=±1diag⁡(exp⁡(−ibgt),exp⁡(ibgt))⊗∣b⟩⟨b∣. Applying [F1] to the two orthogonal environment sectors yields Φt(ρ)=12(VtρVt∗+Vt∗ρVt), where Vt=diag⁡(exp⁡(−igt),exp⁡(igt)). In matrix coordinates, Φt ⁣(axyd)=(aκ(t)xκ(t)yd) with κ(t):=12(exp⁡(−2igt)+exp⁡(2igt)). By [F3], each Φt is a channel.

2.1givenF4F5F6F7step 1.1algebra∎

By [F7], choose a dimensionless θ∈[0,2π) with (cos⁡θ,sin⁡θ)=(0,1); hence θ>0. Equation [F6] gives exp⁡(iθ)=i, and [F5] with [F4] gives exp⁡(−iθ)=−i and exp⁡(2iθ)=exp⁡(−2iθ)=−1. Set τ=θ/(2g)>0 and ρ+=∣+⟩⟨+∣, with ∣+⟩=(∣0⟩+∣1⟩)/2. By step 1.1, κ(τ)=12(−i+i)=0 and κ(2τ)=12(−1−1)=−1. Therefore Φτ(Φτ(ρ+))=I2/2 whereas Φ2τ(ρ+)=∣−⟩⟨−∣, where ∣−⟩=(∣0⟩−∣1⟩)/2. The outputs differ, so Φ2τ≠Φτ∘Φτ; the family is not a semigroup.

Depends on

Dependency tree · 2 levels

Sources