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.
Sparse SDP matrix access and computational model
Definition
For matrices with at most nonzero entries in each row, fix a padded slot set and an invalid-slot sentinel . The index oracle is the basis permutation where is the encoded column of the th nonzero in row , or for padding. The value oracle XORs the finite binary encoding of the real and imaginary parts of the matrix entry into a target register. Specify the completion on invalid row/slot encodings, arithmetic precision/rounding, and whether inverse/controlled calls and reverse-location queries are supplied. Sparse sums require a separate access implementation; entry oracles do not automatically supply it.
Record matrix sparsity and norms, classical input/preprocessing/output time, matrix-entry queries, sparse-sum and QRAM access, circuit gates, width, ancillas, state preparation, and coefficient-bit costs separately. If QRAM is used, state its unitary address/memory action and charge its construction, updates and queries. Query complexity is not standard-gate complexity without an implementation of each oracle.
Facts & Assumptions
Given: A finite reversible basis encoding, XOR into a target register, and an explicitly supplied completion on every basis input.
Coherent XOR function oracle: a reversible function oracle acts as a basis permutation by XORing its encoded function value.
Inverse Unitary Access: inverse access is separately declared and implemented by the adjoint circuit.
Verification
For each fixed pair , the padded value is a fixed encoded string. XOR by that same string is an involution, so applying twice restores every basis state, including a slot whose value is the sentinel.
The value oracle has the same basis-permutation form with the fixed encoded entry in its target XOR. It too is an involution on every valid or explicitly completed input basis state. Therefore both maps extend linearly to unitaries, and an inverse/controlled version is available only when supplied as in [F2].
Depends on
Used by
Dependency tree · two levels
38 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
- https://arxiv.org/pdf/1705.01843v4 (standard reference, not scraped)
- https://arxiv.org/pdf/1609.05537v5 (standard reference, not scraped)