Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generated
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 (Lin, Nany, ∣b∣, Nprep, Nanc, Nmeas, Bout, bmax⁡, tcl, TH, ϵop,ϵtr,ϵmeas,ℓleak, pleak, Nphase, tphase, Ccirc, Nnonoracle). Here Lin 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; Nany is the number of ordered simple-charge strand labels in the fusion-space instance; and ∣b∣ is the number of braid-generator occurrences (inverse generators count as one). Nprep counts elementary operations in the declared preparation procedure, while Nanc 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, Nprep is “not applicable”, not silently set to zero; Nanc still records any declared solver ancillas (zero if none, or “not applicable” if no physical ancilla model is supplied). Nmeas is the number of fusion measurements, and Bout 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 bmax⁡; tcl is the classical bit time used by search and postprocessing. TH 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 ϵop,ϵtr,ϵmeas,ℓleak,pleak 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. Nphase,tphase count phase corrections and their classical control cost. Ccirc is the complete applicable circuit cost record of Circuit-family and computation cost model, including description length L(C), gate count g(C), minimum-layer depth d(C), wire count w(C), declared clean/dirty ancilla counts, generator and acceptance costs, each named oracle's query count, and tolerance encoding. Nnonoracle 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 Nprep and Nanc; they are separate reported resources, not disjoint summands to be added. Without a circuit implementation interface, Ccirc and Nnonoracle 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