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 , a positive constant in joule-seconds, a Hermitian matrix in joules, and a finite family with units , where . On dimensionless matrices , define the finite Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) generator
where , , and is the conjugate transpose. Each summand has units times the units of . An empty sum when is zero. The resulting 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 whose coordinate is time in seconds, continuous functions and with define the corresponding continuous finite GKSL family by the same formula at each . A propagator for this family means a family of linear maps , in , satisfying and . 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.