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 phase-estimation spectral sampler

Definition

Inputs. An instance of Eigenvalue-estimation access and aliasing convention, a phase-register size m≥1 with Q=2m, and an input system register already prepared in the normalized state ψ declared by the access instance. The caller invokes and charges Aψ for that preparation; this procedure does not prepare the system again. The access instance fixes the phase encoding θ(λ) and decoder.

Instructions. Initialize the phase register to ∣0m⟩. Apply the coherent QPE gate list through the inverse QFT from Quantum phase estimation to this prepared system, using the supplied controlled powers for j=0,…,m−1, or synthesize each required power from the declared controlled-U interface. Perform its specified computational-basis Lüders measurement once on the phase register and record y∈{0,…,Q−1}. Return y/Q as a circular phase sample and apply the specified decoder to return an eigenvalue estimate when the injective encoding promise holds. If U=eiH and σ(H)⊆[−1,1], use the principal representative in (−1/2,1/2] and output 2πunwrap⁡(y/Q).

The phase register, controlled powers, gates, decoder arithmetic, measurement, and output costs follow the access record. In particular, with only a controlled-U oracle, implementing the binary powers uses ∑j=0m−12j=Q−1 controlled-U calls.

Remarks

This definition asserts no error probability. The exact mixture law, accuracy, and resource guarantees are established separately by the spectral-law, additive spectral-estimation, and matrix-function error-cost theorem carriers.

Depends on

Used by

Dependency tree · two levels

55 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