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.
Anyon compiler resource ledger
Definition
For a finite anyon solver instance and one run, record separately the tuple Here is the complete finite classical input-description bit length, including the declared task, state/preparation descriptions when classically encoded, and tolerance descriptions; a directly supplied quantum input is not assumed to have a finite classical coordinate description; is the number of ordered simple-charge strand labels in the fusion-space instance; and is the number of braid-generator occurrences (inverse generators count as one). counts elementary operations in the declared preparation procedure, while counts the ancillary anyons or other physical ancilla systems used by preparation or computation. If the initial state is supplied directly as an abstract quantum input with no preparation interface, is “not applicable”, not silently set to zero; still records any declared solver ancillas (zero if none, or “not applicable” if no physical ancilla model is supplied). is the number of fusion measurements, and is the total bit length of their classical outcome record under its declared finite encoding (zero when no measurement occurs). The largest unary precision query to a certified matrix name is ; is the classical bit time used by search and postprocessing. is the total Hamiltonian evolution time over the run in the declared physical time unit; it is “not applicable” for an abstract braid-only model without Hamiltonian evolution. The error coordinates are respectively a stated operator-norm approximation bound, an independent in-band transport bound, an implementation-to-ideal-measurement total-variation bound, and leakage amplitude and probability bounds. count phase corrections and their classical control cost. is the complete applicable circuit cost record of Circuit-family and computation cost model, including description length , gate count , minimum-layer depth , wire count , declared clean/dirty ancilla counts, generator and acceptance costs, each named oracle's query count, and tolerance encoding. counts all declared elementary nonoracle gates, including preparation and computation, as in Nonoracle quantum gate cost. For an adaptive solver, declare the branch convention and report worst-case branch costs; for a single circuit use that circuit's record. These coordinates may overlap and ; they are separate reported resources, not disjoint summands to be added. Without a circuit implementation interface, and are “not applicable”. Classical input bit cost follows Classical bit-operation cost and finite nonoracle gates follow Nonoracle quantum gate cost. An inapplicable coordinate is marked “not applicable”; it is not assigned value zero. Unless an interface explicitly states a bound, no braid length, preparation operation, ancilla, matrix precision, measurement, Hamiltonian time, search step, or phase correction is free. The tuple is a bookkeeping convention; it does not assert any of its error or runtime bounds.
Depends on
Used by
Dependency tree · two levels
22 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma, Non-Abelian Anyons and Topological Quantum Computation (standard reference, not scraped)
- Ronald de Wolf, Quantum Computing: Lecture Notes (standard reference, not scraped)