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.
QSP signal matrix and ordered phase sequence
Definition
Let , put using the nonnegative real square root, and define the Hermitian-reflection signal matrix For each real , define . For an integer and real phase list , the length- QSP sequence is the ordered matrix product where the product is written left to right in increasing and matrix multiplication acts right to left. For this is . This definition fixes the sign of the off-diagonal signal entry, both endpoint phases, and the product order.
The phases are in matrix order: when the factors are applied as chronological circuit layers, the rightmost factor acts first, in accordance with Denotational semantics of a finite layered circuit. In the ordered signal basis, if both coordinates are nonzero, applying multiplies the ratio of the second coordinate to the first by ; if either coordinate is zero, that relative phase is undefined, while the displayed matrix action remains defined. This is the relative phase convention fixed by Relative Phase.
Depends on
- Real and complex inner-product spaces and their induced length
- Relative Phase
- Denotational semantics of a finite layered circuit
- Dirac Notation Conversion
- Square roots exist: a unique $\sqrt{a} \ge 0$ with $(\sqrt{a})^2 = a$; the positives are $\{x^2 : x \neq 0\}$
- $\exp(z+w)=\exp z\,\exp w$, and the complex exponential extends the real exponential
- Euler's formula: $\exp(i\theta)=\cos\theta+i\sin\theta$ for every real $\theta$
- Real and imaginary parts, complex conjugation, and modulus
Used by
- Buffered certified rational phase approximation Algorithm
- QSVT regularized pseudoinverse transformation Algorithm
- Quantum singular-value transformation circuit Algorithm
- Real bounded-polynomial QSP phase synthesis Algorithm
- Admissible polynomial pair for Hermitian-reflection QSP Definition
- Qubitization access model Definition
- A bounded polynomial approximation to a scaled exponential Example
- Degree-one QSP phase identity Example
- Sparse diagonal block-encoded linear system Example
- Hermitian-reflection and SU(2) QSP convention conversion Lemma
- Unitarity, determinant, and polynomial form of a QSP sequence Lemma
- Constructive factorization of an admissible QSP polynomial pair Theorem
- Correctness and arithmetic resource bound for buffered phase approximation Theorem
- Correctness of QSP phase synthesis Theorem
- Hybrid bound for imperfect QSP phase rotations Theorem
- QSP signal-query and phase-rotation count Theorem
- QSVT action on singular subspaces Theorem
- Qubitization lifts scalar QSP Theorem
- Real bounded polynomial extraction in QSVT Theorem
Dependency tree · two levels
43 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 (standard reference, not scraped)
- Andrew M. Childs, Lecture Notes on Quantum Algorithms, Chapter 29 (standard reference, not scraped)