Alphabeta Math
AlgorithmAlgorithm: Literature-sourcedProof: Not applicablePipeline-generatedjudge 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.

Quantum singular-value transformation circuit

Definition

Inputs. A finite-dimensional complex-inner-product space H, a unitary U:H→H, orthogonal projections ΠR,ΠL, an integer d≥0, and an exact real phase list Φ=(ϕ0,…,ϕd). The input access contract states separately whether U, U∗, controlled-U, and controlled-U∗ are supplied and gives their individual costs. The scalar signal sequence is UΦ(x)=Z(ϕ0)∏j=1d(WR(x)Z(ϕj)) from QSP signal matrix and ordered phase sequence, with its admissible polynomial pair from Admissible polynomial pair for Hermitian-reflection QSP. A desired polynomial target is supplied with a certificate that Φ realizes its scalar polynomial; generation of Φ is a separate classical/circuit input.

Output. The procedure returns the finite unitary sequence below and uses its compression from HR=ran⁡(ΠR) to HL=ran⁡(ΠL) for odd d, or from HR to itself for even d. No measurement or state-preparation circuit is implicit in this block description.

Instructions. For d≥0, set the current side to R and apply the projector phase eiϕd(2ΠR−I). For j=d−1,d−2,…,0, apply U and switch the current side from R to L if it is R; otherwise apply U∗ and switch from L to R. Then apply eiϕj(2Πcurrent−I). Thus there are d alternating signal calls and d+1 projector-phase operations; d=0 has no signal call and consists only of the phase at ΠR.

For a real target polynomial, run the two phase lists Φ and −Φ in coherent control branches, with the control initialized in ∣+⟩, and take the ∣+⟩-to-∣+⟩ block. The procedure uses the reflected signal convention WR throughout. If a circuit is built through the alternative SU(2) convention, its control-dependent scalar phase must be retained as a relative phase. The exact block action, the real-part extraction, and the implementation costs are established in the separate theorem items on this page. Every phase list, inverse call, controlled call, phase rotation, and finite-gate compilation is supplied or charged separately.

Remarks

When the input is a bounded real target polynomial, its completion and phase-generation steps are supplied separately; finite bit-time and gate-synthesis bounds are not inferred from a bare phase list.

Depends on

Used by

Dependency tree · two levels

49 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