Quantum papers — 2026-10-26

The Morning Preprint — this day as one edition: the day's papers, the five things worth knowing, and the episodes behind them.

Today's focus is primarily on how we can make quantum key distribution more trustworthy and robust against errors. This is crucial because as quantum key distribution moves toward real-world deployment, the security guarantees need to be absolutely solid, not just based on hand-checked proofs.

One major piece of work addresses this by creating a library for machine-checking these security proofs, which is called FVQKD FVQKD: A Formal Verification of Quantum Key Distribution Security in Rocq. This tool reconstructs the entire proof infrastructure from first principles, including concepts like the smooth entropy framework and the entropic uncertainty relation, which grounds the information-theoretic bounds in a formal semantics that pen-and-paper analysis often misses.

Another area of importance involves verifying quantum error-correcting codes, where ConQEC ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations introduces a testing framework that generates concrete faults and explains exactly where a quantum error-correcting code repair path first diverges. This allows developers to test systems with thousands of qubits and receive fault-localizing witnesses.

In terms of fundamental quantum information processing, we are seeing work on optimizing gate operations for superconducting qubits, specifically High-fidelity and robust controlled-Z gates for superconducting transmon qubits High-fidelity and robust controlled-Z gates for superconducting transmon qubits. II. System-parameter uncertainties and overall errors. This research extends optimal control frameworks to handle uncertainties in coupling strength and detuning, showing that dynamical decoupling can reduce gate error significantly while maintaining robustness against parameter variations up to specific thresholds.

Finally, there is foundational work exploring how we characterize the structure of Pauli-based computation, as seen in Normal-Form Characterization of Adaptivity and Entanglement in Pauli-Based Computation Normal-Form Characterization of Adaptivity and Entanglement in Pauli-Based Computation. This work provides a normal form to completely characterize adaptive and entanglement structures, which is useful for advancing strategies like reducing CNOT gate counts in circuit compilation by potentially fifty percent or forty percent.

The work by ArcTN is particularly important because it addresses the computational bottleneck in simulating large quantum circuits by optimizing how those circuits are contracted, which directly impacts the feasibility of running complex simulations. ArcTN introduces a framework with two search presets, Light and Heavy, to manage planning overhead while aiming for low computational cost and small intermediate tensors during tensor-network simulation ArcTN. The Light preset achieves a 61 point 32 percent reduction in FLOPs on thirty QC32 quantum-circuit networks compared to Cotengra Auto/CMA-ES, and it plans one point six two times faster than Cotengra Auto/CMA-ES.

The Heavy preset focuses more on refinement, resulting in a 43 point 83 percent reduction in FLOPs and planning seven point two one times faster than Cotengra AutoHQ/Optuna ArcTN. This heavy configuration also requires eleven point eight five percent fewer FLOPs than OMECO TreeSA-8 and plans one point three three times faster, while the Dynamic slicing approach meets size limits in all ninety runs on eighteen scalar-output networks and cuts total sliced FLOPs by thirty one point nine nine percent relative to Fixed slicing.

This optimization work builds upon foundational ideas in quantum dynamics, as seen in the analysis of mixed-state deep thermalization under generic quantum errors Mixed State Deep Thermalization, which shows that late-time mixed-state projected ensembles are universal and determined by the error channel's Choi state. This concept relates to how noise affects quantum states, a theme also touched upon in the study of nonlinear quantum noise polarization in macroscopic nonlinear QED Nonlinear quantum noise polarization, where non-Gaussian noise emerges from cubic matter self-interaction.

Moving into system dynamics, the research on local dephasing sustaining continuous time crystals in a spin-1/2 ensemble Local Dephasing Sustains Continuous Time Crystals demonstrates how local decay can maintain periodic motion through feedback mechanisms, suggesting that noise can be a resource for temporal order. This contrasts with the work on quasiperiodic spectral accessibility using a finite-rate quantum Otto cycle Probing quasiperiodic spectral accessibility, which uses driven transformations to probe which parts of the spectrum become dynamically accessible during a process.

The work on demand driven routing space for lattice surgery compilation is the most significant because it directly addresses efficiency in compiling complex quantum circuits by dynamically allocating routing space based on circuit demand. This method reduces the space time volume by fifty five point six percent in geometric mean and compiles circuits seventy five point five times faster than the DasCot configuration, which means we can run more computations with less physical qubit area. This is achieved through a co designed dynamic architecture and compiler that keeps a fixed virtual qubit floorplan while allowing the physical spacing to change between execution stages.

The noise redistribution by stabilizer codes an organizing view of concatenated three-qubit codes is also important because it provides a framework for understanding how noise channels are reshaped by stabilizer code projections during quantum error correction. This framework shows that one level of QEC maps physical noise to a block diagonal logical channel where the diagonal Pauli weights are fixed by the code geometry.

The limits of magic state distillation is relevant because it establishes bounds on how few noisy inputs are needed for magic-state factories, showing that quadratic distillation of one T state requires exactly nine inputs and that the eight input CCZ factory is optimal. This contrasts with other protocols, as any adaptive or multistage stabilizer protocol is no better than a projection onto one stabilizer code for rational targets.

The simple proof of unitary parallelization via port based teleportation shows that all n qubit unitaries can be parallelized to poly n depth, which recovers a recent result concerning circuit depth. This is achieved through an elementary efficient circuit for port based teleportation that has depth polylog(N,d).

Reset enhanced dissipative quantum metrology is significant because it demonstrates that adding a simple reset channel enhances both steady state and transient precision in open quantum systems without modifying the intrinsic Hamiltonian. This reset acts as a minimal dissipative control, showing how it can enhance estimation precision.

The spin dependent transport in one dimensional mercury and silver mediated DNA nanowires reveals how periodic heavy metal coordination reshapes the electronic landscape, generating dispersive conduction bands with bandwidths approaching one electron volt. This study shows that Hg2+-coordinated nanowires exhibit pronounced spin flip conductance comparable to spin conserving conductance across the LUMO manifold.

The work on automating quantum circuit optimization with AI agents is particularly relevant because it tackles the hard problem of compiling quantum algorithms for real devices, which is essential for scaling up quantum computation. This method introduces a general approach using AI agents that iteratively improve programs against a fixed evaluator, and crucially, it includes a frozen exact verifier that certifies every result. This means the agent formulates the problem with a researcher and validates its verifier against solved cases before any solution even exists, which opens the door to automated, certified discovery in areas like fermion-to-qubit encoding Automating quantum circuit optimization with AI agents.

This certified approach builds on autoresearch loops where agents improve programs against a fixed evaluator and adds this exact verifier mechanism to ensure reliability. This capability is significant because it moves beyond heuristic improvements by providing verifiable results for problems like Hamiltonian layout and unitary synthesis, potentially reducing the cost being optimized by up to seventy-three percent in large-scale simulations Automating quantum circuit optimization with AI agents.

In terms of material science, the study on delta-doped germanium vacancy in diamond is important because it addresses the challenge of deterministic placement and damage reduction when creating Group IV color centers for quantum networking platforms Delta-Doped GeV- in diamond with isotope resolvable optical spectra. They achieved localization of germanium vacancy to a layer under ten nanometers using timed injection of GeH four during microwave plasma chemical vapor deposition, resulting in a strain-free environment for the defect Delta-Doped GeV- in diamond with isotope resolvable optical spectra. This minimal damage helps mitigate spectral inhomogeneity, allowing for isotopic cluster resolution, although they found an inhomogeneous distribution of twenty point one four gigahertz and a linewidth of forty-seven plus or minus eleven megahertz Delta-Doped GeV- in diamond with isotope resolvable optical spectra.

The study on extreme competition between stripes and superconductivity in the hole-doped Hubbard model is also noteworthy because it challenges the traditional view that this model supports a single dominant order, revealing a near degeneracy among d-wave superconductivity, superconducting stripes, and non-superconducting stripe states on the milli-t energy scale Extreme competition between stripes and superconductivity in the hole-doped Hubbard model. This suggests a more complex phase diagram than previously assumed for cuprates.

Finally, the research into memory transport competition in physical two-bath quantum reset dynamics explores how coherence preservation and environmental renewal compete to control quantum memory and transport Memory--Transport Competition in Physical Two-Bath Quantum Reset Dynamics. They showed that a protocol replacing bath occupations exactly while preserving coherences does not need to correspond to a physical fermionic state, instead constructing a two-reservoir protocol where complete positivity and fermionic admissibility hold by construction Memory--Transport Competition in Physical Two-Bath Quantum Reset Dynamics.

The work concerning coherence and imaginarity of qubit states under vanishing higher-order Bargmann invariants is particularly important because it establishes a direct link between these fundamental quantum resources and the presence of orthogonal states within a set of qubit states. This relationship shows that when specific higher-order Bargmann invariants vanish, the existence of an orthogonal pair dictates whether the tuple is incoherent or imaginarity-free.

This idea is further supported by other related investigations into quantum dynamics and structure. For instance, in studying anyons in fractional quantum Hall states, the analysis of many-body Berry curvature reveals that opposite sign Chern numbers for anyon bands are generic as long as a weak modulation opens a gap between them Anyon Chern bands of opposite sign and reversed drift. This topological feature in anyon motion is then connected to how states behave under specific constraints, similar to the conditions explored in Coherence and imaginarity of qubit states under vanishing Bargmann invariants.

The study on exceptional points in PT-symmetric systems also touches upon these structural properties, as the analysis of state transfer under parameter loops reveals chiral state transfer when encircling an order four exceptional point Exceptional point structure and chiral state transfer in a rate-operator-engineered PT-symmetric Bose-Hubbard dimer. This demonstrates how specific geometric features in the parameter space dictate the resulting quantum evolution, which mirrors how orthogonal states can define coherence in the first area of research.

Furthermore, when considering resource bottlenecks in variational quantum modal analysis, it becomes clear that even with amplitude encoding using qubits, there are limits to expressibility and accuracy Qubits Are Not Enough: Deflation and Measurement Limits in Variational Quantum Modal Analysis. This work quantifies how resource constraints affect the quality of the quantum state representation, providing a tangible measure of limitations that relates to the structural requirements discussed in coherence studies.

The work on mode-selective micromotion compensation is most significant because it offers a direct pathway to improve quantum-enhanced sensing protocols by addressing excess micromotion caused by stray DC electric fields, a problem that limits control fidelity in trapped-ion experiments. This method converts ion displacement into a coherent motional excitation detectable through the qubit, and the optimal compensation field was determined with an uncertainty of eight millivolts per meter. This technique is naturally compatible with quantum-enhanced sensing protocols employing nonclassical motional states like Fock or squeezed states, providing a clear route toward better quantum control.

The time-reversal-based quantum metrology investigation is important because it shows how to achieve Heisenberg scaling in central-spin architectures, specifically demonstrating that the butterfly echo protocol can reach a Fisher information of N to the fourth root for any unknown encoding axis. This result is crucial because it provides a mechanism for axis-agnostic sensing, which has implications for cavity QED and NMR quantum processors. This platform also allows researchers to adjust the optimal protocol timescale without sacrificing the metrological ceiling or circuit depth required for isotropy.

Distributed dual-comb spectroscopy is noteworthy because it proposes a scalable architecture that simultaneously exploits spatial and spectral entanglement to extract global spectroscopic information across broad frequency ranges. This scheme uses a network of Mach-Zehnder interferometers, distributing a single two-mode squeezed frequency comb into K entangled combs while preserving spectral entanglement. This approach achieves enhanced signal-to-noise performance using only one quantum resource distributed across the network, establishing a route toward broadband distributed quantum spectroscopy.

The simulation of quantum many-body systems through scalable neural wave functions is significant because it introduces the MLP mixer model as an ansatz that can capture both long-range correlations and low computational costs. This architecture is shown to perform competitively with state-of-the-art models, and when hierarchically combined with transformer models, it outperforms other architectures for large-scale quantum systems.

The analysis of problem structure in single-layer QAOA is important because it provides a mathematical object that precisely captures how problem structure influences the performance of the Quantum Approximate Optimization Algorithm. This work establishes a means to quantify available problem structure and identify necessary conditions for exponential amplification by relating structural distribution to algorithmic performance.

Discrete time liquids are interesting because they introduce a new form of spatiotemporal order characterized by short-range temporal coherence arising from time-solitons in a two-dimensional spin system coupled to a finite-temperature cavity. These time-solitons represent topological defects that preserve local period doubling while destroying long-range temporal coherence, suggesting that discrete time liquids can exist in thermal equilibrium through ensemble averaging.

Cluster property and entanglement in the superconducting state is relevant because it provides conditions for satisfying the cluster property, which validates the order parameter derivation of the superconducting state and links deviations from these conditions to increased entanglement between particles.

Today's papers

The papers