QMA equality meets parametric drive ceilings
Quantum information science and superconducting-qubit hardware are closing gaps on opposite sides of the stack: which verifier classes coincide, and how hard you can pump a coupler before leakage wins. On the information side, every Quantum Merlin–Arthur () protocol can be rewritten with perfect completeness so —settling Bravyi’s open question and upgrading quantum -SAT to -complete—while a correctness-preserving parallelization of sparse blossom makes average minimum-weight perfect matching (MWPM) decoding time per round vanish as below threshold. Hardware work collapses Floquet-hybridization onset across many transmons onto a simple function of (qubit frequency over anharmonicity) that bounds safe parametric rates; separately, a programmable non-Markovian spin oscillator maps delay-tuned feedback into time-crystalline and frequency-comb phases.
Unified scaling of transmon sub-resonant parametric drive strength limits
Read the notes Hide the notes
TL;DR Across 14 transmons spanning a wide anharmonicity range, the critical sub-resonant drive strength where Floquet hybridization (drive-induced mixing of quasienergy branches) sets in collapses onto a simple function of , the ratio of qubit frequency to anharmonicity. That scaling bounds how hard you can pump a transmon coupler before leakage dominates, and therefore how large a parametric interaction rate a circuit can safely target.
- Main result: Experiment plus Floquet branch analysis and semiclassical simulations establish a direct map from to , the largest usable effective drive amplitude before strong hybridization appears.
- Device physics: Sub-resonant microwave drives—tones well below the qubit frequency used for parametric control—eventually hybridize the driven spectrum; that threshold, not just heating or filtering, sets the practical amplitude ceiling.
- Hardware implication: When the transmon is a parametrically driven coupler, converts into an estimate of the maximum parametric interaction rate, giving a design rule for gate speed versus fidelity.
- Design takeaway: Choosing and is no longer only about coherence and selectivity; the ratio also sets how far into the nonlinear drive regime a coupler can be pushed.
QMA has perfect completeness
Read the notes Hide the notes
TL;DR Every protocol—Merlin sends a quantum witness, Arthur runs a quantum verifier with completeness and soundness —can be rewritten as a perfectly complete protocol with , so . The equality settles Bravyi’s open question and upgrades quantum -SAT from -hard to -complete.
- Main result: The authors prove : every quantum Merlin–Arthur system can be compiled so YES instances admit a witness that Arthur accepts with certainty, while soundness stays inverse-polynomially below .
- Gate set: The compilation uses only Hadamard, Toffoli, and , which therefore form a universal gate set for verifiers.
- Complexity payoff: Quantum -SAT—decide whether given -local projectors share a common zero-energy state, or every state has inverse-polynomial energy—becomes -complete.
- Oracle transfer: The construction relativizes to classical oracles, so known classical-oracle separations of from (classical witnesses, quantum verifier) carry over to .
Sparse-Blossom Decoding in Time
Read the notes Hide the notes
TL;DR A correctness-preserving parallelization of sparse blossom—the practical minimum-weight perfect matching (MWPM) decoder that matches detectors on a sparse syndrome graph—makes average decoding time per round vanish as for the rotated surface code below threshold. Larger code distance need not lengthen the classical decoding bottleneck relative to syndrome extraction.
- Main result: Parallel sparse blossom is proved to return the same correction as serial sparse blossom, so the MWPM error-suppression guarantees are unchanged.
- Runtime bound: For the rotated surface code of distance below a finite physical-error threshold, the average parallel runtime over syndrome-extraction rounds is at most quasi-polylogarithmic in .
- Per-round scaling: Over a -round decoding window, that bound implies average parallel runtime per round is —asymptotically shorter than one round of syndrome extraction.
- Numerical evidence: Simulations identify regimes where the parallel runtime per round decreases as grows, rather than increasing with problem size.
- Why it matters: Matching-based decoding (including MWPM confidence metrics used in magic-state protocols) can stay synchronized with the quantum pipeline as codes scale.
Delay-engineered dynamical phases in a programmable non-Markovian spin oscillator
Read the notes Hide the notes
TL;DR A hot-vapour – co-magnetometer is run as a non-Markovian spin oscillator—magnetization whose update depends on delayed feedback, not only the present state—with programmable delay and gain. Tuning those knobs maps a shared memory-induced instability into time-crystalline response, nonlinear bifurcations, and frequency-comb spectra, unifying several non-equilibrium phases on one spin platform.
- Platform: Feedback delay and gain close a programmable loop on a hot-vapour – co-magnetometer (dual-species magnetometer that reads one spin ensemble against the other).
- Phase hierarchy: Delay–gain tuning yields continuous time-crystalline response (persistent oscillation that spontaneously breaks continuous time-translation symmetry), nonlinear bifurcations, and frequency-comb formation (discrete spectral lines at commensurate spacings).
- Mechanism: Linear stability analysis of delayed Bloch equations—Bloch spin dynamics with a finite-history feedback term—reproduces the measured spectra and phase boundaries as branches of one memory-induced instability.
- Implication: Time-delayed feedback becomes a control dial for non-equilibrium order, aiming quantum sensing, frequency referencing, and synchronization from the same spin hardware.