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.
Qubitization query and gate resources
Statement
Let and , with . In the nontrivial branch , put . The small-time-aware simulator of Small-time-aware qubitized simulator uses zero signal queries when . When , the OP4 degree satisfies . The complete OAA circuit uses at most ordinary signal calls, where are the even and odd QSP degrees. It uses projector-phase slots and therefore controlled-reflection calls, by QSVT signal and reflection query counts. Coherent selection of each real sequence against identity uses exactly one controlled signal call when that sequence degree is odd and none when it is even; because the selection occurs in each of the three OAA blocks , the total is controlled signal calls. The branch itself controls phases, not signal calls. Any external control of the complete simulator controls and charges the whole block.
Gate, depth, width, ancilla, classical bit, precision, PREPARE/SELECT, phase-list-generation, and sparse-location/value costs remain separate coordinates. For a -row-sparse input with supplied-permutation bound , the branch encodes with normalization and uses no location or value calls. If , Correctness and access cost of sparse block encoding gives normalization ; choosing the tight bound gives . Multiply the signal-query count by the actual supplied sparse-encoding cost, including any location-permutation completion. The optional sorted-XOR mode has the same normalization for a supplied positive entry bound and multiplies the signal count by location calls and value calls per signal, including inverses and coherent controls. No cost-free conversion from XOR row-location access is claimed. If is bounded above and below by positive constants as , the query bound specializes to . This is an upper bound; no matching lower bound for arbitrary block-encoding access or for the additive precision term is asserted.
Facts & Assumptions
Given: An exact block encoding, the certified OP4 procedure, rational , and all separately charged access operations.
Small-time-aware qubitized simulator: use the identity branch for , otherwise execute OP4.
Jacobi–Anger Chebyshev truncation: for , the OP4 factorial-tail loop terminates at degree .
QSVT signal and reflection query counts: a degree- signal sequence has signal calls, projector phases, and at most one controlled signal call when controlled against identity if is odd.
QSP signal-query and phase-rotation count: a scalar QSP sequence of degree has signal factors and phase factors; signal-query and phase-gate costs are separate.
QSVT robustness, approximation error, and resources: every sequence access, phase, controlled operation, synthesis, and precision budget is a separate declared cost.
Correctness and access cost of sparse block encoding: the supplied-permutation sparse signal block uses normalization and no sparse calls when ; for its normalization is for certified , including the tight choice . The sorted-XOR branch with positive has normalization and costs location and value calls per signal, including inverses and controls.
Qubitized simulation correctness: on successful execution, the declared circuit satisfies the operator-isometry error guarantee.
Proof
Given: As in Facts & Assumptions.
If , [F1] returns the exact identity and makes no signal call. If , the degree test of [F2] has a finite passing candidate and its least accepted degree obeys the stated bound.
In one OAA application, contains one even and one odd real QSVT extraction. By [F3], they use signal calls and projector-phase slots. OAA uses , so the total is exactly signal calls and phase slots, bounded above by and , respectively.
By [F3], controlling each selected real extraction against identity needs one controlled signal call exactly when its degree is odd. OAA contains the three signal blocks , so the even and odd extractions together use exactly such calls. By [F4], the control selecting or acts only on phase rotations and adds no signal query. Any further external control invokes the separately supplied controlled- or controlled- operations by [F5].
The lists in OP4 are generated once, while the OAA circuit reuses the declared phase lists, coefficient preparation, and SELECT circuits in its three block calls and their inverses. Every implementation cost named in the Statement is retained from [F5]; the sparse branch multiplies these signal counts by the supplied block-encoding operations and normalization in [F6]. In the optional sorted-XOR branch this explicitly multiplies the signal count by location and value calls; the supplied-permutation branch retains its original sharper count. Thus no sparse location/value, phase-synthesis, or classical bit cost is absorbed into an oracle count.
When and , and , since . Substituting this comparison into gives , the stated standard-regime form. Correctness remains the separate theorem [F7].
Depends on
- Qubitized simulation correctness
- Small-time-aware qubitized simulator
- Correctness of the small-time-aware simulator
- Qubitization access model
- QSVT robustness, approximation error, and resources
- QSVT signal and reflection query counts
- QSP signal-query and phase-rotation count
- Correctness and access cost of sparse block encoding
- Jacobi–Anger Chebyshev truncation
- Clean sparse-state preparation from sorted XOR locations
Used by
Dependency tree · two levels
56 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
- András Gilyén, Yuan Su, Guang Hao Low, and Nathan Wiebe, Quantum singular value transformation and beyond, Theorem 58, Lemma 59, and Corollary 60 (standard reference, not scraped)
- Andrew M. Childs, Lecture Notes on Quantum Algorithms, Chapter 29 §29.4 (standard reference, not scraped)
- Guang Hao Low and Isaac L. Chuang, Hamiltonian Simulation by Qubitization (standard reference, not scraped)