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.
QSVT signal and reflection query counts
Statement
For degree , one un-controlled QSVT sequence makes exactly signal calls: calls to and calls to , beginning with when . It applies exactly projector-phase operations, with about and about . By Projector phase operations from controlled reflections, each phase operation uses two controlled calls to the corresponding reflection and one variable one-qubit phase rotation, plus a constant number of one-qubit gates. A coherent control of one sequence against the identity requires no controlled signal call when is even and one controlled signal call when is odd. Selecting between the two phase lists and uses the same unconditioned signal list in both branches and controls only the phase rotations. Phase generation, inverse access, and finite-gate compilation retain their separately declared costs. At there is no signal or controlled-signal call.
Facts & Assumptions
Given: An integer degree and the finite procedure in Quantum singular-value transformation circuit.
Quantum singular-value transformation circuit: the procedure applies one initial phase about , then alternating signal calls, switching sides after each call and applying one phase at the new side.
Projector phase operations from controlled reflections: each projector-phase operation uses two controlled-reflection calls and one variable rotation; an external branch controls only that rotation while leaving both reflection calls unconditional with respect to the branch.
Controlled Unitary Access: a controlled unitary call is an explicitly supplied operation and is charged separately from its uncontrolled call.
Circuit-family and computation cost model: signal queries, controlled calls, one-qubit gates, depth, width, ancillas, and classical generation costs are separate coordinates.
Proof
The loop in [F1] executes once for each integer , hence it makes exactly signal calls. The side starts at , so the first call is and directions alternate; therefore the counts are forward calls and inverse calls. If , the loop is empty.
For a controlled sequence against identity, use the externally controlled projector-phase implementation in [F2] at every phase slot. On the zero branch each phase is then the identity, so the alternating signal calls cancel in adjacent or pairs. If is even all signal calls pair and cancel; if is odd, one forward call remains, which is made controlled while the other signal calls pair and cancel. On the zero branch that controlled call is also identity, while the one branch executes the original sequence. Thus this variant requires zero extra controlled signal calls for even and one controlled call for odd , whose availability is explicit by [F3].
For a branch selector between and , let control value select and value select . At a slot with phase about , use the clean-ancilla toggle from step 1.1 of [F2], then unconditional , then a control-one-controlled , and then again. The middle rotation is in branch and in branch ; because flips the ancilla on and leaves it unchanged on , the system phases are respectively and . The same unconditioned signal call occurs between each pair of phase slots, so the signal list is shared and this selector adds no controlled signal query.
There is one phase at the initial side and one after each of the signal calls, for slots. Their sides alternate beginning at , giving right-projector slots and left-projector slots.
Apply [F2] to each slot counted in step 2.2. The total controlled-reflection calls are for and for , unchanged for the paired selector. A single unconditioned sequence has variable rotations; the selector instead uses unconditional rotations and separately charged branch-controlled rotations , with constant one-qubit overhead per slot.
The counts above describe only the listed operations. By [F4], the cost of supplied , , controlled calls, phase gates, ancilla wires, classical phase generation, and finite-gate compilation are recorded in their applicable separate coordinates; none is inferred from the matrix alone.
Depends on
Used by
- QSVT regularized pseudoinverse transformation Algorithm
- CKS nearly-linear condition-number guarantee Theorem
- Matrix-function transformation error and resource bound Theorem
- QSVT inverse-state output and success cost Theorem
- QSVT robustness, approximation error, and resources Theorem
- Qubitization query and gate resources Theorem
- Real bounded polynomial extraction in QSVT Theorem
Dependency tree · two levels
25 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, Lemma 19 and Figure 1 (standard reference, not scraped)
- Andrew M. Childs, Lecture Notes on Quantum Algorithms, Chapter 29 §29.3 (standard reference, not scraped)