Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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 GKSL generators and units

Definition

Fix a finite dimension d≥1, a positive constant ℏ in joule-seconds, a Hermitian matrix H∈Md(C) in joules, and a finite family L1,…,Lm∈Md(C) with units s−1/2, where m≥0. On dimensionless matrices X∈Md(C), define the finite Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) generator

L(X)=−iℏ[H,X]+∑a=1m(LaXLa∗−12{La∗La,X}),

where [A,B]=AB−BA, {A,B}=AB+BA, and A∗ is the conjugate transpose. Each summand has units s−1 times the units of X. An empty sum when m=0 is zero. The resulting L is a linear map on the matrix space used in the finite-channel definition Finite completely positive trace-preserving maps.

For a compact time interval I⊂R whose coordinate is time in seconds, continuous functions H:I→Md(C) and La:I→Md(C) with H(t)=H(t)∗ define the corresponding continuous finite GKSL family Lt by the same formula at each t. A propagator for this family means a family of linear maps Λ(t,s), s≤t in I, satisfying ∂tΛ(t,s)=Lt∘Λ(t,s) and Λ(s,s)=id⁡. This definition alone asserts neither existence nor uniqueness.

These are finite-dimensional mathematical definitions. They do not assert that a physical system follows this generator or that a microscopic bath has a Markovian limit.

Depends on

Dependency tree · 2 levels

Sources