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.
Weighted modular TQFT model and physical interpretation boundary
Pure mathematics; no physical premises or physical claim.
Definition
Assume full AC and its inherited countable-choice consequences. Let be a complex modular ribbon fusion category with finite simple-label set , unit label , simple pivotal dimensions , twists , and Hopf-link matrix . Choose a square root of and set , , and . Modularity means that is invertible; no positivity of or is assumed.
Use the weighted Lagrangian ribbon-bordism category. An object is a closed oriented surface with a finite collection of marked points carrying simple-object labels and disjoint oriented interval germs, together with a Lagrangian for the signed intersection form. A morphism is a compact oriented smooth three-bordism with fixed product collars and boundary parametrizations, a properly embedded colored ribbon graph with actual coupon morphisms and collar-product boundary ribbons, and an integer weight . For a bordism , its homology relation is under the boundary inclusion maps. For composable bordisms and , let be their individual relations and let denote relation transpose. In the specified middle surface, set , , and ; composition assigns weight , with the Walker signature/Maslov sign and order. Here is the signature of the Wall form on the triple of middle Lagrangians. For a parametrized genus- surface with ordered labels , write and
The weighted RT model is this category, these finite-dimensional complex state spaces, and the exact surgery-defined symmetric monoidal functor of the supplied theorem. It includes actual coupon morphisms, disconnected bordisms and empty ends; increasing an integer weight by one multiplies the map by . The model retains the full anomaly and asserts no ordinary anomaly-free functor unless cancellation data are supplied separately.
Definition references
Interpretation boundary
This is a mathematical definition of an algebraic model. Modularity alone does not supply a positive Hermitian form or a unitary physical theory, and no Chern–Simons path integral is asserted or used.