When Does a Quantum Speedup Survive End-to-End?

📅 2026-09-09
📈 Citations: 0
Influential: 0
📄 PDF
🤖 AI Summary
本文通过引入转录级可接纳关系,探讨了量子加速在端到端过程中的生存条件,并应用于团复形TDA中的归一化贝蒂数估计问题。
📝 Abstract
Primitive quantum speedups are interface-relative: they depend on the input access used to run the primitive and on the output contract used to consume its state or samples. This paper introduces a transcript-level admissibility relation \(A_M\preceq_{\mathrm{int}}A_Q\), defined relative to the declared implementation package of the quantum interface. It identifies which adaptive classical access transcripts that same package licenses, with all setup, transcript-generation, and precision overheads charged. The main application is an operational audit for normalized-Betti estimation in clique-complex TDA, separating three declared-interface regimes. Reversible indexed simplex interfaces certify matched classical simplex sampling and local Laplacian row access by evaluating their reversible routines on single computational branches. Membership-based preparations induce a rejection route of overhead \(\binom{n}{k+1}/|S_k|\). Abstract spectral or block-encoding interfaces require an accompanying implementation package, transcript reduction, or shared representation. Under the indexed certificate and interface closure, the end-to-end cost is fixed by the imported estimator's spectral dependence on the gap \(γ\); the concretely realized bounded-treewidth family already admits exact \(\mathrm{poly}(n)\) classical Betti computation by rank over \(\mathbb{Q}\). A low-rank separation supports the role of access and output contracts.
Problem

Research questions and friction points this paper is trying to address.

Quantum Speedup
Input Access
Output Contract
Innovation

Methods, ideas, or system contributions that make the work stand out.

quantum speedup
transcript-level admissibility relation
normalized-Betti estimation
clique-complex TDA
input access and output contract
🔎 Similar Papers
No similar papers found.
💼 Related Jobs
No related jobs found.
P
Pablo Herrero Gómez
University of Alicante, Alicante, Spain
A
Antonio Jimeno Morenilla
University of Alicante, Alicante, Spain
D
David Muñoz Hernández
University of Alicante, Alicante, Spain
H
Higinio Mora Mora
University of Alicante, Alicante, Spain