Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 d≥0, one un-controlled QSVT sequence makes exactly d signal calls: ⌈d/2⌉ calls to U and ⌊d/2⌋ calls to U∗, beginning with U when d>0. It applies exactly d+1 projector-phase operations, with ⌈(d+1)/2⌉ about ΠR and ⌊(d+1)/2⌋ about ΠL. 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 d is even and one controlled signal call when d 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 d=0 there is no signal or controlled-signal call.

Facts & Assumptions

Given: An integer degree d≥0 and the finite procedure in Quantum singular-value transformation circuit.

[F1]

Quantum singular-value transformation circuit: the procedure applies one initial phase about ΠR, then d alternating signal calls, switching sides after each call and applying one phase at the new side.

[F2]

Projector phase operations from controlled reflections: each projector-phase operation uses two controlled-reflection calls and one variable Rz rotation; an external branch controls only that rotation while leaving both reflection calls unconditional with respect to the branch.

[F3]

Controlled Unitary Access: a controlled unitary call is an explicitly supplied operation and is charged separately from its uncontrolled call.

[F4]

Circuit-family and computation cost model: signal queries, controlled calls, one-qubit gates, depth, width, ancillas, and classical generation costs are separate coordinates.

Proof

1.1F1givenalgebra

The loop in [F1] executes once for each integer j=d−1,…,0, hence it makes exactly d signal calls. The side starts at R, so the first call is U and directions alternate; therefore the counts are ⌈d/2⌉ forward calls and ⌊d/2⌋ inverse calls. If d=0, the loop is empty.

1.2F1F2F3algebra

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 UU∗ or U∗U pairs. If d is even all signal calls pair and cancel; if d is odd, one forward U 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 d and one controlled U call for odd d, whose availability is explicit by [F3].

2.1F1F2F3algebra

For a branch selector between Φ and −Φ, let control value 0 select Φ and value 1 select −Φ. At a slot with phase ϕ about Π, use the clean-ancilla toggle XΠ from step 1.1 of [F2], then unconditional Rz(2ϕ), then a control-one-controlled Rz(−4ϕ), and then XΠ again. The middle rotation is Rz(2ϕ) in branch 0 and Rz(−2ϕ) in branch 1; because XΠ flips the ancilla on ran⁡Π and leaves it unchanged on ker⁡Π, the system phases are respectively eiϕ(2Π−I) and e−iϕ(2Π−I). 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.

2.2F1step 1.1algebra

There is one phase at the initial R side and one after each of the d signal calls, for d+1 slots. Their sides alternate beginning at R, giving ⌈(d+1)/2⌉ right-projector slots and ⌊(d+1)/2⌋ left-projector slots.

3.1F2step 2.1step 2.2algebra

Apply [F2] to each slot counted in step 2.2. The total controlled-reflection calls are 2⌈(d+1)/2⌉ for ΠR and 2⌊(d+1)/2⌋ for ΠL, unchanged for the paired selector. A single unconditioned sequence has d+1 variable rotations; the Φ/−Φ selector instead uses d+1 unconditional rotations Rz(2ϕj) and d+1 separately charged branch-controlled rotations Rz(−4ϕj), with constant one-qubit overhead per slot.

4.1F3F4step 1.2step 2.1∎

The counts above describe only the listed operations. By [F4], the cost of supplied U, U∗, 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 A alone.

Depends on

Used by

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