2026-11-10 | | Total: 128
Long-range spectral order can be probed using spectral form factors, where it manifests itself as sharp Bragg peaks at integer multiples of the Heisenberg time in nearly crystalline spectra. We examine how energy dephasing in open systems affects this spectral order and how to control it. We find that Bragg peaks fade algebraically with revival order and dephasing strength, $K_{\rm Bragg}(p)\propto(γp)^{-1/2}$, within an extensive intermediate regime, and persist up to the lifetime of nearest-neighbor coherences despite an extreme decoherence rate. Our results establish the spectral form factor as a probe of spectral order in open quantum systems and identify temporal correlations in spectral fluctuations as a means of controlling it.
We develop a first-principles framework connecting microscopic waveguide scattering to quantum error correction and algorithmic performance. For polarization-encoded single photons interacting with an ensemble of two-level atoms in a chiral waveguide, we derive an effective polarization quantum channel by tracing out the frequency degree of freedom. Using this channel as the physical noise model for a rotated planar code, we observe threshold behavior as the number of atoms $N$ and the atom-waveguide coupling strength $Γ$ are varied. An asymptotic analysis of the microscopic scattering model explains the threshold scaling with $NΓ/σ$, where $σ$ is the photon spectral bandwidth. For identical, lossless atoms with symmetric real coupling and a photon spectrum centered at resonance, the effective noise is strongly biased toward $X$ errors. We then incorporate the resulting logical errors into quantum phase estimation and demonstrate that the noise bias can guide circuit design. In particular, a Hadamard-basis implementation reduces sensitivity to the dominant error, improving algorithmic performance.
Estimates of when photonic devices outgrow classical simulation are hard to compare: even for single-photon boson sampling, quoted thresholds range from 50 to 98 photons, as they rest on different tasks and assumptions. We propose as a common unit the time a classical computer needs to draw one sample from the device's exact output distribution, up to floating-point rounding. Only exactness applies equally to every kind of light, since the cost of approximate sampling depends on the accuracy required. The simulability frontier is the device size at which our fastest exact sampler produces one sample per second on a fixed machine; this device size increases with better hardware and algorithms. As the time per sample grows exponentially with the number of detected photons, doubling the machine speed moves the frontier by about one photon, whereas a better algorithm changes the growth rate. We measure the frontier with photonic-engines, an open-source GPU library of exact samplers for single photons, entangled photons from quantum emitters, vacuum-single-photon superpositions and squeezed light. Each sampler is validated against a simulator sharing no code with it. On one NVIDIA H100 GPU, with Haar-random interferometers, twice as many modes as photonic inputs and photon-number-resolving detectors, the frontier lies at 38.3 single photons and at 31.0 entangled photons from one emitter. For squeezed light, a timing model fitted to measurements places it at 41.5 squeezed photonic inputs of mean photon number 0.5. For our samplers, coherence alone makes simulation harder: sources that emit a photon with probability one half reach 64.2 when vacuum and photon are mixed incoherently, as for lossy single photons, but only 50.0 when they are in coherent superposition. Feed-forward from mid-circuit measurement of up to three modes lowers the single-photon frontier only from 38.3 to 38.1.
The asymmetric quantum Rabi model, a two-level system with splitting $Δ$ and bias $ε$ coupled with strength $g$ to a boson mode, has level crossings when $ε$ is an integer multiple $N$ of the mode frequency. They are due to a hidden symmetry operator $J$, for which no general formula has been available. Here we obtain $J$ in closed form for every $N$. We find that $J$ is given by the parity of the symmetric model times the continuant (ordered tridiagonal determinant) of $N$ first-order operators, which are the Hamiltonians at the intermediate biases $N-1,N-3,\dots,1-N$ minus a common number operator. The symmetry is thus a staircase of $N$ bias steps that closes on the mirror image of the model precisely at integer bias. The proof uses induction on two commutation relations. The same relations hold in the asymmetric two-photon and two-mode models, written with the generators of $\mathfrak{su}(1,1)$, so that the same continuant gives their symmetry operators for every order, previously known only for the lowest ones. We also relate the closed formula for $J$ to the known recursion relations for its coefficients and give their terms of lowest order in $Δ$ explicitly.
We present GARI++, a two-stage decoding pipeline achieving accuracy competitive with the state of the art across surface, bivariate bicycle and color codes without relying on ensembles. The first stage uses GARI, a normalized min-sum decoder with random serial scheduling on the GARI transformed matrix. The second stage decoder is used only for the cases that the first stage does not converge, and the decoder is configurable based on the choice of the QEC code. The first stage pipelines towards the second stage both the residual syndrome and the soft information. GARI++ pipelining is predictive, meaning that GARI++ chooses the first stage iteration outputs which are expected to deliver the best accuracy in the second stage. GARI++ motivates a hybrid FPGA-CPU architecture for real-time decoding. For example, under uniform circuit-level depolarising noise with a physical error rate of 0.001, the FPGA implementation of GARI achieves average latencies per round ranging from $201 ns$ to $11.8μs$ for surface code distances between 7 and 25. At the same time, due to the very low weight residuals output by the first stage, the average residual decoding time per round remains near constant and below one microsecond on a single Apple M2 core for surface code distances even up to 51 when using Union-Find and accuracy on par with correlated MWPM.
We give a short proof of the Aaronson-Ambainis conjecture. If a partial Boolean function $f$ is defined on a $δ$-fraction of all $n$-bit strings and have quantum query complexity $Q(f)$, then, for every $0<ε<1$, a deterministic algorithm computes $f$ correctly on at least a $1-ε$ fraction of its domain using $O( Q(f)^6 / (εδ)^2)$ queries. Our proof uses the completion framework and establishes a more general bound in terms of the classical adversary measure. The only result we use from Turturean's recent proof is a special case of his certificate inequality, for which we provide a self-contained proof. We also derive the stronger variant of the Aaronson-Ambainis Conjecture, the bounded-polynomial influence conjecture, from our main result in the appendix.
We review the basic theory of quantum channels and develop a strategy for simulating them on digital quantum computers, drawing upon the \emph{Choi-Kraus operator-sum representation} and Stinespring dilation to provide a unified approach for various applications. We discuss three types of applications, offering explicit examples for each: the preparation of mixed states, measurements described by positive operator-valued measures (POVMs), and the simulation of the evolution of Markovian quantum systems. We recover fundamental concepts from quantum theory, such as the purification of a mixed state and the Naimark dilation associated with a POVM. Regarding the simulation of the evolution of a Markovian quantum system, we introduce an operator, termed the residual operator, to construct, from the system's Liouvillian, a quantum channel that serves as a first-order approximation of the quantum dynamical semigroup. This allows the simulation of quantum dynamics to be performed in a manner analogous to the Euler method for ordinary differential equations, avoiding Trotterization. We prove all the theoretical results mentioned, with the exception of the fundamental Choi-Kraus theorem concerning the operator-sum representation of quantum channels, for which we provide the appropriate references. The explicit simulations discussed were implemented using the AerSimulator from IBM's Qiskit SDK, with the corresponding code available on GitHub.
We identify the self-energy as the environmental response to the system, which transforms covariantly under shifts of the system--environment cut. For a semi-infinite chain with asymptotically uniform parameters, this transformation admits a fixed point that defines the asymptotic boundary self-energy (BSE), whose spectral density is the Wigner semicircle. A chain-extended BSE exploits the trend of the retained chain, offering improved accuracy in representing the environment. The transformation introduces a pseudo-hyperbolic self-energy distance that is invariant under shifts of the cut, providing a natural geometry for comparing environmental responses. As a demonstration, this geometry enables cut-independent error measure of finite damped-oscillator closures of the chain, distinguishing the closure error from the chain depth error, and offers a more accurate fitting scheme than fitting the time-domain correlation function.
We propose a unified architecture for two-qubit gates in neutral-atom quantum processors which allows the implementation of the complete set of two-qubit gates. Our approach rests on a single resource that unlocks the entire gate set: an XXZ interaction with tunable anisotropy, combined only with single-qubit operations. We introduce a Rydberg-atom realization of the tunable XXZ interaction and combine it with optimally controlled global microwave pulses to implement the B, QFT, iSWAP, and $\sqrt{\mathrm{iSWAP}}$ gates, as well as a continuous gate family interpolating from CZ to iSWAP via the B gate. This work allows the implementation of any two-qubit gate natively in neutral-atom platforms, enabling flexible switching between instruction sets to reduce circuit depth and compilation overhead in quantum algorithm implementation.
Estimating out-of-time-ordered correlators (OTOCs) in individual instances of random quantum circuits has been proposed as a candidate for verifiable quantum advantage, and demonstrated to be hard for conventional classical algorithms such as tensor networks and Monte Carlo. Using insights from quantum chaos, we develop and implement a polynomial-time classical algorithm for the four-point ${\rm OTOC}^{(1)}$ and the eight-point ${\rm OTOC}^{(2)}$ in typical instances of one-dimensional (1D) quantum circuits. Our results demonstrate average-case classical tractability of estimating OTOCs in the sensitive regime where circuit-to-circuit fluctuations are large. Our algorithm organizes the OTOC into a rapidly converging series, where the leading term includes contributions from histories within permutation degrees of freedom in the replicated Hilbert space, and subleading terms arise from excursions outside this space. Although chaos is often viewed as an insurmountable barrier to classical simulation, our algorithm exploits a form of dephasing caused by chaos, which suppresses the subleading terms. We provide strong theoretical and numerical evidence to support this suppression. Further, we demonstrate that practical implementations of our algorithm estimate ${\rm OTOC}^{(1)}$ and ${\rm OTOC}^{(2)}$ in 1D circuits with high accuracy, achieving higher signal-to-noise ratio at larger circuit depths compared to recent 2D experiments by Google. Extending our algorithm to higher dimensions, and resolving the status of quantum advantage in 2D OTOCs, remain open problems.
Fundamental tasks in linear systems analysis and control require evaluating infinite-horizon output energies for autonomous systems and optimal value functions for controlled systems. These quantities are characterized by Lyapunov and algebraic Riccati equations, respectively. In this work, we study promise problems for their evaluation when the system matrices are sparse and represented succinctly by Boolean circuits specifying their nonzero entries, with input length polynomial in the logarithm of the system dimension. For dissipative autonomous systems with coordinate-vector initial states, we define the succinct Lyapunov value problem (SLV). Its extension to linear-quadratic optimal control is the succinct LQR value problem (SLQRV). We prove that SLV is $\BQP$-hard: every problem in bounded-error quantum polynomial time ($\BQP$) reduces to it in polynomial time. We then establish that the more general SLQRV problem admits a quantum algorithm running in time polynomial in the succinct input length. Since SLV is a special case of SLQRV, both problems are $\BQP$-complete. Consequently, unless bounded-error probabilistic polynomial time coincides with $\BQP$, no classical randomized algorithm can solve either problem on all promised instances in time polynomial in the succinct input length.
Information can be extracted from a quantum system in a sustainable manner, allowing the system to be reused for further information extraction through subsequent interactions. We investigate the possibility of consensus between two experimentally feasible methods, namely, parallel and sequential sharing, that enable multiple observers to extract information encoded in a quantum system. We show that any statistics generated by a parallel sharing strategy can be reproduced by a sequential strategy when only two observers are involved. However, when more than two observers participate in sharing quantum correlations, certain statistics achievable through parallel strategies cannot be reproduced by sequential strategies. Moreover, we demonstrate that sharing quantum advantage through a parallel strategy is impossible for a class of communication tasks involving two decoding measurements, thereby establishing an arbitrarily large gap between the sustainability of quantum advantage under sequential and parallel strategies. This naturally raises the question of whether this impossibility extends to communication tasks involving more than two decoding measurements. We show that, while parallel sharing of quantum advantage is impossible in a 3-bit random access code (RAC), it becomes possible in a 3-bit parity-oblivious RAC, where at most two observers can simultaneously obtain a quantum advantage by performing measurements on two imperfect clones of the initially prepared quantum system. Our findings have potential applications in the development of quantum communication networks and distributed quantum information processing.
We construct a recursive oracle $O$ and a unary language $L\in\mathsf{EQP}^O\setminus(\mathsf{IP}^O\cup\mathsf{PH}^O)$, strengthening the $\mathsf{BQP}$ versus $\mathsf{IP}$ oracle separation of Bouland et al. to exact quantum computation. The separation is based on a variant of the Forrelation problem in which the normalized correlation of one Boolean function with the Fourier transform of another is promised to be exactly $+1/2$ or $-1/2$. The main technical contribution is a repair method that constructs distributions supported on these exact levels while preserving the indistinguishability needed for the $\mathsf{IP}$ and $\mathsf{PH}$ lower bounds. A uniform polynomial-time quantum algorithm distinguishes the two cases with certainty using only three oracle queries.
If a quantum state is known only approximately, how much can the expectation of an observable change? We answer with the worst-case expectation over all states within a sandwiched Rényi divergence budget of a reference state, for every order $α\in [1/2,\infty]$. Convex duality gives this value as a one-dimensional optimization over a sandwiched Schatten norm, running from a fidelity risk at $α= 1/2$, through the entropic risk at $α= 1$, to a quantum conditional value-at-risk at $α= \infty$. The main result is a classicalization theorem: the quantum problem coincides with the classical one for a probability measure $ω_α$ on the spectral interval of the observable, constructed from Heinävaara's tracial joint spectral measure and given by Stahl's theorem at $α= 1$. The Hoeffding, Bernstein and Markov--Krein bounds of classical probability thereby apply to the quantum problem, and yield Pinsker-type inequalities with Bernstein-type refinements. The measure $ω_α$ is the Born measure only at $α= 1/2$; for $α> 1/2$, noncommutativity of the observable with the state strictly lowers its variance below the Born variance, and with it every variance-sensitive bound: a quantum deflation.
Decoded quantum interferometry (DQI) reduces optimization of sparse linear constraint problems, and sampling from their Gibbs measures, to decoding a linear code from a quantum state. We study DQI on random $D$-regular $k$-sparse instances with $k\ge3$, for which local decoders such as belief propagation with quantum messages (BPQM) are commonly used. Such decoders estimate a typical codeword symbol using only the qudits within logarithmic distance of it. Our main insight is that the thresholds of the decoding problem induced by DQI correspond to phase transitions of the Gibbs measure that are well studied in statistical physics: tree reconstruction for local decoders and, for Max-$k$-XORSAT, condensation for the optimal decoder. This insight allows us to prove two main results. First, we prove an information-theoretic obstruction: no local decoder can recover the codeword with high probability above the tree reconstruction threshold. Conversely, we show that a decoder based on BPQM reaches this threshold. Since the cavity method predicts that local Markov chains equilibrate rapidly up to the same threshold, we expect DQI with local decoders to give no exponential speedup for sampling and no advantage in approximate optimization with amplitude functions that depend only on the number of violated constraints. Second, we consider the optimal decoder (the pretty-good measurement, for which no efficient implementation is known) and show that it succeeds exactly below the condensation threshold. The condensation threshold thus provides a tight upper bound on the performance of DQI with these amplitude functions, providing a strict refinement of the limit that Jordan et al.\ derived from the Holevo bound. Our results point to efficient nonlocal decoders that succeed between the two thresholds as the only viable path to a quantum advantage with DQI on these instances.
We propose a modular hybrid quantum-classical method to improve selected configuration interaction at a fixed final determinant budget. Quantum measurements supply complementary determinants, accepted only when they outrank classical candidates under a common energetic criterion. This targets multistep excitations that perturbative discovery may miss in strongly correlated systems. A demonstration on the Quantinuum Reimei trapped-ion quantum computer shows that measured proposals for H$_{12}$ at a stretched geometry lower the variational energy relative to classical-only selection at the same final determinant budget.
In the familiar twin paradox, the traveling twin ages less than the one who stays behind as a consequence of relativistic time dilation. Here, we show that quantum postselection can effectively reverse this outcome. Using an analytically solvable quantum clock model, we demonstrate that postselection of the center-of-mass motion produces an effective time advance through anomalous weak values, even though every individual motional branch undergoes ordinary time dilation. We extend this analysis to a weak gravitational field and show that an effective time advance can arise even for simple coherent states of the quantum clock motion. We further illustrate this effect using a hydrogen-like atom, revealing how it manifests itself in the atomic wavefunction. Our results demonstrate that quantum interference and postselection can produce an effective time advance beyond conventional relativistic time dilation.
In the distributed quantum Merlin-Arthur ($\mathsf{dQMA}$) model introduced by Fraigniaud, Le Gall, Nishimura, and Paz (ITCS 2021), a network of quantum computers verifies a global property with the aid of a quantum proof supplied by an untrusted prover. While the nodes are computationally unbounded, the challenge is to limit proof size and the communication required for verification. In this paper, we consider the model of Hasegawa, Kundu, and Nishimura (PODC 2024), where the proof must be unentangled across nodes, and define its extension to $k$ unentangled provers, denoted by $\mathsf{dQMAS}(k)$. In this setting, we investigate the proof size per node and the communication costs of reducing the number of provers. Our first result reduces the number of provers from $k$ to two, doubling the proof size without additional communication. Moreover, with four additional rounds, we can reduce the number of provers from $k$ to one, using at most three times the original local proof size plus a logarithmic term in the number of nodes. Finally, we establish amplification for perfectly complete protocols. In this regime, a single prover suffices with a constant-factor overhead in our reductions, yielding $\mathsf{dQMAS} = \mathsf{dQMAS}(k)$.
Ergotropy is a key quantity of a quantum battery that measures the maximum extractable energy. When the extraction process is not local, a faithful transfer of ergotropy across distance is necessary. In this work, we investigate such transfer by using spin chains with weakened coupling at the boundaries as mediator. Weakening the coupling at the two boundaries of the chain gives rise to localized edge states allowing high fidelity transfer within given time duration. We found that, for long spin chains, the transferred ergotropy alternates between even and odd number of spins. We explain this parity effect by investigating the chain spectral structure. Furthermore, we consider both the nearest-neighbor and long-range interactions between spin. In both model of interactions, weakening the boundary couplings improves the maximum transferred ergotropy for long spin chain, compared with in the case of conventional uniform chain. Although the long-range interaction reduces the transferred ergotropy, the transfer time is reduced, too, in particular for longer chain. In addition to the total transferred ergotropy, we also investigate the effect of initial states of the sender spin to the transport of the coherent and incoherent components of the total ergotropy, and the average transport efficiency.
Scalable superconducting quantum processors would benefit from high qubit connectivity, yet existing architectures connect neighbouring qubits via tunable couplers, which introduce substantial wiring and control overhead. Here, we propose a baseband-driven adiabatic ZZ gate that entangles any selected pair in a register of flux qubits coupled via a common cavity. The qubits stay dc-biased at their flux sweet spot. Strong drives applied selectively through local flux lines, at frequencies far below the qubit transitions, adiabatically tilt the quantization axes and generate an effective longitudinal ZZ interaction. The strength of the coupling is tunable and controlled by the amplitudes and relative phase of the drives rather than by any resonance condition. Numerical simulations give coherent gate errors below $10^{-4}$ over broad ranges of drive frequency, with comparable fidelities for two simultaneous gates in a four-qubit register. The protocol is robust against frequency fluctuations and remains effective even when many qubits are coupled to the cavity.
We construct quantum channels by averaging unitary shift conjugations with respect to $κ$-additive probability measures on measurable abelian groups. The channels act on the duals of operator algebras generated by shifts and bounded measurable multiplication operators. They preserve $κ$-additivity of quantum states and admit a weak-$*$ integral representation on this class. If the averaging measure vanishes on singletons, every output state is singular. In the appendix, we also establish the corresponding Fubini's theorem for $κ$-additive measures.
Despite the remarkable empirical success of quantum theory, the interpretation of measurement and the nature of entanglement correlations remain open questions. We outline an alternative framework that seeks to recover the empirical results of quantum theory from a holistic, scale-invariant ontology. Assuming only point particles in Euclidean space, characterised by ratios of masses (and charges) and by the ratios of their mutual separations, the theory describes shapes through a single scale-invariant function; no dynamical evolution is required. In principle, this framework provides a unified description of finite subsystems embedded in a configuration of infinitely many particles and offers a possible route to deriving the observed structures of atoms, molecules and macroscopic bodies without invoking standard quantum mechanics.
Distributed quantum networks are important for scalable quantum processors and for potential applications in communication, distributed computation, and sensing, in which direct classical links for adaptive control are essential to harness the shared entanglement. However, controlling superconducting quantum processors from a separate refrigerator over long distances remains elusive. Here, we introduce a coherent optical link (COL) that delivers microwave waveforms and their phase references between dilution refrigerators. Combining a laser, a microwave-to-optical transducer and an optical-to-microwave photodiode, the COL transmits microwave control signals over 10~km of fiber, while optical references derived from the same laser compensate for the frequency mismatch between devices. Through the COL, we deliver a universal gate set to a transmon qubit and a cavity qubit in another refrigerator and entangle them, and achieve a Bell-state fidelity of 80.6\%. Quantum control delivered through the COL thus provides a classical backbone for modular quantum processors.
In this paper, we study the gauge dependence of quantum precision in ultrastrongly coupled light--matter systems. The unitary between gauges carries the coupling $g$, so each truncation defines a different family. The quantum Fisher information traces an exact parabola across frames. Harmonic matter minimizes it at a universal $θ_\ast=Ω/(Ω+ω)$, set by the matter and cavity frequencies. Only the minimal-coupling bound is attainable. Frames differ by a factor $9.6$ with opposite trends. Diverging virtual-excitation gain at the Dicke point is a gauge artifact and saturates.
Superconducting qubits operate within a well-defined temperature range, making local temperature monitoring important. Here we show that intrinsic two-level defects in Josephson-junction barriers can act as local thermometers by exploiting the shape of their population response, without requiring calibration of the readout offset or contrast. Marginalizing over these unknown parameters imposes an identifiability requirement absent from single-parameter thermometric bounds: for narrow sweeps, usable information scales as the fourth power of the sweep width. Hence, a narrow sweep becomes locally indistinguishable from a change in offset or contrast. We illustrate this principle with a strain-swept two-level defect in a Josephson junction. For a reported defect with tunneling energy $Δ_{0}/h=\SI{1.3}{\giga\hertz}$, swept along one branch of its hyperbola to \SI{2.69}{\giga\hertz} (an asymmetry excursion of \SI{2.36}{\giga\hertz}, or \SI{8}{\volt} of piezo voltage), the analysis projects a single-defect fit precision of \SI{0.58}{\percent} at \SI{20}{\milli\kelvin}. The resulting response enables temperature estimation without prior calibration of the readout offset and contrast, while the same sweep overdetermines the Boltzmann form and identifies significant deviations from thermality. These results establish intrinsic junction defects as a resource for calibration-free local thermometry and highlight identifiability as a key design criterion for primary temperature sensing.