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.
Continuous-time walk resource accounting
Statement
Suppose a declared access model assigns query/gate/description-bit cost triples , , and to the initial-state preparation, Hamiltonian evolution or simulator, and final measurement/readout of a continuous-time walk. If the model charges serial composition componentwise, the composed cost is plus separately declared classical processing. The number of measured output bits is reported separately.
For the exact -dimensional hypercube transfer, the initial state requires no preparation gates. On the local-operation branch of Hypercube continuous-time state transfer, the evolution factors into one-qubit operations ; this branch uses local evolution calls and gates when those operations are primitive in the declared gate model. A different finite gate set must charge its supplied synthesis cost. On the whole-operation branch, the procedure makes one call to the supplied and its query, gate, and description-bit costs are those declared by the access contract; the factorization identity alone does not imply such calls or gates. Either branch reads out bits.
For complete-graph search on arbitrary , the total includes the supplied preparation cost , the declared ideal-or-simulated Hamiltonian-evolution cost, and the final readout cost. When with standard binary encoding, is verified to prepare the uniform state; it has zero oracle queries and Hadamard gates when is primitive, and otherwise its declared synthesis costs are charged. The readout produces bits. For a general -bit encoding it produces bits before any separately charged classical decoding. Simulator precision, oracle access, and description bits remain in their declared coordinates; a matrix alone gives no cost bound.
Facts & Assumptions
Given: The cost triples, the three serial stages, and the algorithms and access models stated above.
Continuous-time Hamiltonian access cost model: each stage declares its separate query, gate, and description-bit costs, and serial composition adds these coordinates.
Circuit-family and computation cost model: finite gate count, named-oracle query counts, and full circuit-description length are separate resource coordinates.
Hypercube continuous-time state transfer: the input is and the generator is ; the access contract supplies either the whole evolution or the local one-qubit evolutions, and the procedure uses the corresponding whole-operation or local-operation branch.
Exact state transfer on the Boolean hypercube: at time the evolution factors as .
Complete-graph continuous-time search: for arbitrary , is supplied and charged; for , is the standard-binary preparation when is primitive (otherwise charge its supplied synthesis cost).
Finite projective measurements: the final register is measured in its specified computational basis and the output word consists of the measured register bits.
Hadamard preparation of a uniform binary state: for and standard binary labels, is the uniform state; it uses one-qubit Hadamard gates when is primitive, otherwise the declared synthesis costs apply.
Proof
Serial execution places the preparation, evolution, and readout costs in sequence. By the serial-composition rule [F1], each of the three coordinates is the sum of its corresponding stage coordinates; the finite gate and oracle coordinates remain separate as required by [F2].
In the hypercube instance, [F3] says the initial register is already , so no preparation gates are applied. If the procedure takes the local-operation branch, [F4] gives one one-qubit evolution operation for each of the tensor factors, hence local calls and gates exactly when those operations are primitive in the chosen gate model. If it takes the whole-operation branch, it calls the supplied once and its contract declares that call's resource cost. The factorization theorem [F4] is an operator identity and does not turn a whole-operation call into calls. In either branch, measurement acts on the register wires, so its output word has bits by [F6].
In the complete-graph procedure, [F5] supplies a preparation with cost , and the declared Hamiltonian and readout stages contribute their specified triples. Step 1.1 adds these triples; for , [F7] verifies the standard-binary preparation with Hadamard gates (and zero oracle calls for that gate-only preparation). The measured encoding has bits by [F6]; classical decoding is charged separately. No preparation or simulation cost is inferred from itself.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
42 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
- Andrew M. Childs, Lecture Notes on Quantum Algorithms, Chapter 17 §17.2 (standard reference, not scraped)
- Ronald de Wolf, Quantum Computing: Lecture Notes, Chapter 9 §9.1 (standard reference, not scraped)