A Spectral Dichotomy for Quantum Computing Feasibility: Effective Budget, Advantage Frontier, and Observable-Level Mitigation
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
We formulate a structural dichotomy for open quantum systems governed by Lindblad dynamics in terms of a single dimensionless parameter, $\rho_Q = e^{|\lambda_1|/v_{LR} - 1}$, constructed from the Lindblad spectral gap $|\lambda_1|$ and the Lieb-Robinson velocity $v_{LR}$.
Length
4,784 words
Claims
2 theorems
Status
Draft