arXiv subjects

Andrew Lucas

Publications and source records attributed to Andrew Lucas.

At least 37 records · Page 2Linked to original sources

arXiv2025

Non-perturbatively slow spread of quantum correlations in non-resonant systems

Strong disorder often has drastic consequences for quantum dynamics. This is best illustrated by the phenomenon of Anderson localization in non-interacting systems, where destructive quantum wave interference leads to the complete absence of particle and information transport over macroscopic distances. In this work, we investigate the extent to which strong disorder leads to provably slow dynamics in many-body quantum lattice models. We show that in any spatial dimension, strong disorder leads to a non-perturbatively small velocity for ballistic information transport under unitary quantum dynamics, almost surely in the thermodynamic limit, in every many-body state. In these models, we also prove the existence of a "prethermal many-body localized regime", where entanglement spreads logarithmically slowly, up to non-perturbatively long time scales. More generally, these conclusions hold for all models corresponding to quantum perturbations to a classical Hamiltonian obeying a simple non-resonant condition. Deterministic non-resonant models are found, including spin systems in strong incommensurate lattice potentials. Consequently, quantum dynamics in non-resonant potentials is asymptotically easier to simulate on both classical or quantum computers, compared to a generic many-body system.

cond-mat.dis-nn↗

arXiv2025

Quantum memory at nonzero temperature in a thermodynamically trivial system

Passive error correction protects logical information forever in the thermodynamic limit by updating the system based only on local information and few-body interactions. A paradigmatic example is the classical two-dimensional Ising model: a Metropolis-style Gibbs sampler retains the sign of the initial magnetization (a logical bit) for thermodynamically long times in the low-temperature phase. Known models of passive quantum error correction similarly exhibit thermodynamic phase transitions to a low-temperature phase wherein logical qubits are protected by thermally stable topological order. Here, in contrast, we show that certain families of constant-rate classical and quantum low-density parity check codes have no thermodynamic phase transitions at nonzero temperature, but nonetheless exhibit ergodicity-breaking dynamical transitions: below a critical nonzero temperature, the mixing time of local Gibbs sampling diverges in the thermodynamic limit. Slow Gibbs sampling of such codes enables fault-tolerant passive quantum error correction using finite-depth circuits. This strategy is well suited to measurement-free quantum error correction and may present a desirable experimental alternative to conventional quantum error correction based on syndrome measurements and active feedback.

quant-ph↗

arXiv2025

Supersonic flow and hydraulic jump in an electronic de Laval nozzle

In very clean solid-state systems, where carrier-carrier interactions dominate over any other scattering mechanisms, the flow of electrons can be described within a hydrodynamic framework. In these cases, analogues of viscous fluid phenomena have been experimentally observed. However, experimental studies of electron hydrodynamics have so far been limited to the low velocity, linear response regime. At velocities approaching the speed of sound, the electronic fluid is expected to exhibit compressible behaviour where nonlinear effects and discontinuities such as shocks and choked flow have long been predicted. This compressible regime remains unexplored in electronic systems, despite its promise of strongly nonlinear flow phenomena. Here, we demonstrate compressible electron flow in bilayer graphene through an electronic de Laval nozzle, a structure that accelerates charge carriers past the electronic speed of sound, until they slow down suddenly in a shock. Discontinuities in transport measurements and local flattening of potential in Kelvin probe measurements are consistent with a viscous electron shock front and the presence of supersonic electron flow, and are not consistent with Ohmic or ballistic flow. Breaking the sound barrier in electron liquids opens the door for novel, intrinsically nonlinear electronic devices beyond the paradigm of incompressible flow.

cond-mat.mes-hall↗

arXiv2025

Introducing the Quantum Economic Advantage Online Calculator

Developing a systematic view of where quantum computers will outperform classical ones is important for researchers, policy makers and business leaders. But developing such a view is challenging because quantum advantage analyses depend not only on algorithm properties, but also on a host of technical characteristics (error correction, gate speeds, etc.). Because various analyses make different assumptions about these technical characteristics, it can be challenging to make comparisons across them. In this paper, we introduce an open-access web-tool designed to make such comparisons easy. Built on the framework introduced by Choi, Moses, and Thompson (2023), it calculates when quantum systems will outperform classical computers for a given algorithmic problem. These estimates can be easily updated based on various assumptions for error correction, overhead, and connectivity. Different hardware roadmaps can also be used and algorithm running times can be customized to particular applications. It can currently be accessed at https://futuretech.mit.edu/quantum-economic-advantage-calculator. This integrated prediction tool also allows us to explore which technical factors are most important for quantum ``economic" advantage (outperforming on a cost-equivalent basis). Overall, we find that for some algorithms (e.g. Shor's) the timing of advantage is quite robust, whereas for others (e.g. Grover's) it is contingent, with numerous technical characteristics substantially impacting these dates. In the paper, we discuss both why this occurs and what we can learn from it.

quant-ph↗

arXiv2025

Low-density parity-check codes as stable phases of quantum matter

Phases of matter with robust ground-state degeneracy, such as the quantum toric code, are known to be capable of robust quantum information storage. Here, we address the converse question: given a quantum error correcting code, when does it define a stable gapped quantum phase of matter, whose ground state degeneracy is robust against perturbations in the thermodynamic limit? We prove that a low-density parity-check (LDPC) code defines such a phase, robust against all few-body perturbations, if its code distance grows at least logarithmically in the number of degrees of freedom, and it exhibits "check soundness". Many constant-rate quantum LDPC expander codes have such properties, and define stable phases of matter with a constant zero-temperature entropy density, violating the third law of thermodynamics. Our results also show that quantum toric code phases are robust to spatially nonlocal few-body perturbations. Similarly, phases of matter defined by classical codes are stable against symmetric perturbations. In the classical setting, we present improved locality bounds on the quasiadiabatic evolution operator between two nearby states in the same code phase.

quant-ph↗

arXiv2025

Towards self-correcting quantum codes for neutral atom arrays

Discovering low-overhead quantum error-correcting codes is of significant interest for fault-tolerant quantum computation. For hardware capable of long-range connectivity, the bivariate bicycle codes offer significant overhead reduction compared to surface codes with similar performance. In this work, we present "ZSZ codes", a simple non-abelian generalization of the bivariate bicycle codes based on the group $\mathbb{Z}_\ell \rtimes \mathbb{Z}_m$. We numerically demonstrate that certain instances of this code family achieve competitive performance with the bivariate bicycle codes under circuit-level depolarizing noise using a belief-propagation and ordered-statistics decoder, with an observed threshold around $0.5\%$. We also benchmark the performance of this code family under local "self-correcting" decoders, where we observe significant improvements over the bivariate bicycle codes, including evidence of a sustainable threshold around $0.095\%$, which is higher than the $0.06\%$ that we estimate for the four-dimensional toric code under the same noise model. These results suggest that ZSZ codes are promising candidates for scalable self-correcting quantum memories. Finally, we describe how ZSZ codes can be realized with neutral atoms trapped in movable tweezer arrays, where a complete round of syndrome extraction can be achieved using simple global motions of the atomic arrays.

quant-ph↗

arXiv2025

Quantum Routing and Entanglement Dynamics Through Bottlenecks

To implement arbitrary quantum circuits in architectures with restricted interactions, one may effectively simulate all-to-all connectivity by routing quantum information. We consider the entanglement dynamics and routing between two regions only connected through an intermediate "bottleneck" region with few qubits. In such systems, where the entanglement rate is restricted by a vertex boundary rather than an edge boundary of the underlying interaction graph, existing results such as the small incremental entangling theorem give only a trivial constant lower bound on the routing time (the minimum time to perform an arbitrary permutation). We significantly improve the lower bound on the routing time in systems with a vertex bottleneck. Specifically, for any system with two regions $L, R$ with $N_L, N_R$ qubits, respectively, coupled only through an intermediate region $C$ with $N_C$ qubits, for any $δ> 0$ we show a lower bound of $Ω(N_R^{1-δ}/\sqrt{N_L}N_C)$ on the Hamiltonian quantum routing time when using piecewise time-independent Hamiltonians, or time-dependent Hamiltonians subject to a smoothness condition. We also prove an upper bound on the average amount of bipartite entanglement between $L$ and $C,R$ that can be generated in time $t$ by such architecture-respecting Hamiltonians in systems constrained by vertex bottlenecks, improving the scaling in the system size from $O(N_L t)$ to $O(\sqrt{N_L} t)$. As a special case, when applied to the star graph (i.e., one vertex connected to $N$ leaves), we obtain an $Ω(\sqrt{N^{1-δ}})$ lower bound on the routing time and on the time to prepare $N/2$ Bell pairs between the vertices. We also show that, in systems of free particles, we can route optimally on the star graph in time $Θ(\sqrt{N})$ using Hamiltonian quantum routing, obtaining a speed-up over gate-based routing, which takes time $Θ(N)$.

quant-ph↗

arXiv2025

Entropic Order

Ordered phases of matter, such as solids, ferromagnets, superfluids, or quantum topological order, typically only exist at low temperatures. Despite this conventional wisdom, we present explicit local models in which all such phases persist to arbitrarily high temperature. This is possible since order in one degree of freedom can enable other degrees of freedom to strongly fluctuate, leading to "entropic order", whereby typical high energy states are ordered. Our construction, which utilizes interacting bosons, avoids existing no-go theorems on long-range order or entanglement at high temperature. We propose a simple model for high-temperature superconductivity using these general principles.

cond-mat.stat-mech↗

arXiv2025

Hydrodynamics as the effective field theory of strong-to-weak spontaneous symmetry breaking

Inspired by the hunt for new phases of matter in quantum mixed states, it has recently been proposed that the equivalence of microcanonical and canonical ensembles in statistical mechanics is a manifestation of strong-to-weak spontaneous symmetry breaking (SWSSB) in an underlying many-body quantum description. Here, we build an effective field theory for SWSSB of a global U(1) symmetry; the answer exactly reproduces the Schwinger-Keldysh effective field theory of diffusion for the conserved charge. We conclude that hydrodynamics can be understood as a theory of "superfluidity" for the broken strong symmetry: a non-vanishing susceptibility is a measurable order parameter for SWSSB, the diffusion mode is the Goldstone boson of the spontaneously broken continuous symmetry, and a generalization of Goldstone's Theorem implies that the diffusion mode is always long-lived. This perspective provides a transparent physical explanation for the unusual "reparameterization" symmetries which are a necessary ingredient of Schwinger-Keldysh effective field theories for "normal fluids".

cond-mat.str-el↗

arXiv2025

Theory of metastable states in many-body quantum systems

We present a mathematical theory of metastable pure states in closed many-body quantum systems with finite-dimensional Hilbert space. Given a Hamiltonian, a pure state is defined to be metastable when all sufficiently local operators either stabilize the state, or raise its average energy. We prove that short-range entangled metastable states are necessarily eigenstates (scars) of a perturbatively close Hamiltonian. Given any metastable eigenstate of a Hamiltonian, in the presence of perturbations, we prove the presence of prethermal behavior: local correlation functions decay at a rate bounded by a time scale nonperturbatively long in the inverse metastability radius, rather than Fermi's Golden Rule. Inspired by this general theory, we prove that the lifetime of the false vacuum in certain $d$-dimensional quantum models grows at least as fast as $\exp(ε^{-d} )$, where $ε\rightarrow 0$ is the relative energy density of the false vacuum; this lower bound matches, for the first time, explicit calculations using quantum field theory. We identify metastable states at finite energy density in the PXP model, along with exponentially many metastable states in "helical" spin chains and the two-dimensional Ising model. Our inherently quantum formalism reveals precise connections between many problems, including prethermalization, robust quantum scars, and quantum nucleation theory, and applies to systems without known semiclassical and/or field theoretic limits.

math-ph↗

arXiv2025

Designing open quantum systems with known steady states: Davies generators and beyond

We provide a systematic framework for constructing generic models of nonequilibrium quantum dynamics with a target stationary (mixed) state. Our framework identifies (almost) all combinations of Hamiltonian and dissipative dynamics that relax to a steady state of interest, generalizing the Davies' generator for dissipative relaxation at finite temperature to nonequilibrium dynamics targeting arbitrary stationary states. We focus on Gibbs states of stabilizer Hamiltonians, identifying local Lindbladians compatible therewith by constraining the rates of dissipative and unitary processes. Moreover, given terms in the Lindbladian not compatible with the target state, our formalism identifies the operations -- including syndrome measurements and local feedback -- one must apply to correct these errors. Our methods also reveal new models of quantum dynamics: for example, we provide a "measurement-induced phase transition" in which measurable two-point functions exhibit critical (power-law) scaling with distance at a critical ratio of the transverse field and rate of measurement and feedback. Time-reversal symmetry -- defined naturally within our formalism -- can be broken both in effectively classical and intrinsically quantum ways. Our framework provides a systematic starting point for exploring the landscape of dynamical universality classes in open quantum systems, as well as identifying new protocols for quantum error correction.

quant-ph↗

arXiv2024

Breakdown of hydrodynamics in a Galilean quantum Hall crystal

We construct a nonlinear fluctuating hydrodynamic effective field theory for Galilean-invariant quantum Hall systems with spontaneously broken translational symmetry. Neglecting the role of energy conservation in a low-temperature regime, the hydrodynamic mode is a magnetophonon with quartic attenuation: $ω\sim \pm k^2-\mathrm{i} k^z$ with $z=4$. However, this linear response theory is unstable, and flows to a non-trivial dynamical universality class with $z\approx 3$. We observe this scaling in numerical simulations of many-body classical Hamiltonian dynamics, in a model of an electronic crystal in the lowest Landau level. Observing this magnetophonon decay rate in a quantum Hall crystal represents a promising setting to detect an analogue of a "fractonic dynamical universality class" in a solid-state system, e.g. using microwave impedance microscopy.

cond-mat.mes-hall↗

arXiv2024

Long-range-enhanced surface codes

The surface code is a quantum error-correcting code for one logical qubit, protected by spatially localized parity checks in two dimensions. Due to fundamental constraints from spatial locality, storing more logical qubits requires either sacrificing the robustness of the surface code against errors or increasing the number of physical qubits. We bound the minimal number of spatially nonlocal parity checks necessary to add logical qubits to a surface code while maintaining, or improving, robustness to errors. We saturate the lower limit of this bound, when the number of added logical qubits is a constant, using a family of hypergraph product codes, interpolating between the surface code and constant-rate low-density parity-check codes. Fault-tolerant protocols for logical gates in the quantum code can be inherited from its classical parent codes. We provide near-term practical implementations of this code for hardware based on trapped ions or neutral atoms in mobile optical tweezers. Long-range-enhanced surface codes outperform conventional surface codes using hundreds of physical qubits, and represent a practical strategy to enhance the robustness of logical qubits to errors in near-term devices.

quant-ph↗

arXiv2024

Frobenius light cone and the shift unitary

We bound the time necessary to implement the shift unitary on a one-dimensional ring, both using local Hamiltonians and those with power-law interactions. This time is constrained by the Frobenius light cone; hence we prove that (for certain power law exponents) shift unitaries cannot be implemented in the same amount of time needed to prepare long-range Bell pairs. We note an intriguing similarity between the proof of our results, and the hardness of preparing symmetry-protected topological states with symmetry-preserving Hamiltonians.

quant-ph↗

arXiv2024

Eigenstate localization in a many-body quantum system

We prove the existence of extensive many-body Hamiltonians with few-body interactions and a many-body mobility edge: all eigenstates below a nonzero energy density are localized in an exponentially small fraction of "energetically allowed configurations" within Hilbert space. Our construction is based on quantum perturbations to a classical low-density parity check code. In principle, it is possible to detect this eigenstate localization by measuring few-body correlation functions in efficiently preparable mixed states.

cond-mat.stat-mech↗

arXiv2024

Entangling four logical qubits beyond break-even in a nonlocal code

Quantum error correction protects logical quantum information against environmental decoherence by encoding logical qubits into entangled states of physical qubits. One of the most important near-term challenges in building a scalable quantum computer is to reach the break-even point, where logical quantum circuits on error-corrected qubits achieve higher fidelity than equivalent circuits on uncorrected physical qubits. Using Quantinuum's H2 trapped-ion quantum processor, we encode the GHZ state in four logical qubits with fidelity $ 99.5 \pm 0.15 \% \le F \le 99.7 \pm 0.1\% $ (after postselecting on over 98% of outcomes). Using the same quantum processor, we can prepare an uncorrected GHZ state on four physical qubits with fidelity $97.8 \pm 0.2 \% \le F\le 98.7\pm 0.2\%$. The logical qubits are encoded in a $[\![ 25,4,3 ]\!]$ Tanner-transformed long-range-enhanced surface code. Logical entangling gates are implemented using simple swap operations. Our results are a first step towards realizing fault-tolerant quantum computation with logical qubits encoded in geometrically nonlocal quantum low-density parity check codes.

quant-ph↗

arXiv2024

Effective field theory for ersatz Fermi liquids

We apply "hydrodynamic" effective field theory techniques to an ersatz Fermi liquid. Our effective theory, which captures the correlation functions of density operators at each angle on the Fermi surface, can only deviate from conventional Fermi liquid behavior if the effective theory is non-local. Neglecting non-local effects, the ersatz Fermi liquid's effective action is the Legendre transform of the effective action for Fermi liquids, based on the coadjoint orbit method, up to irrelevant corrections.

cond-mat.str-el↗

arXiv2024

Stochastic theory of nonlinear electrical circuits in thermal equilibrium

We revisit the theory of dissipative mechanics in RLC circuits, allowing for circuit elements to have nonlinear constitutive relations, and for the circuit to have arbitrary topology. We systematically generalize the dissipationless Hamiltonian mechanics of an LC circuit to account for resistors and incorporate the physical postulate that the resulting RLC circuit thermalizes with its environment at a constant positive temperature. Our theory explains stochastic fluctuations, or Johnson noise, which are mandated by the fluctuation-dissipation theorem. Assuming Gaussian Markovian noise, we obtain exact expressions for multiplicative Johnson noise through nonlinear resistors in circuits with convenient (parasitic) capacitors and/or inductors. With linear resistors, our formalism is describable using a Kubo-Martin-Schwinger-invariant Lagrangian formalism for dissipative thermal systems. Generalizing our technique to quantum circuits could lead to an alternative way to study decoherence in nonlinear superconducting circuits without the Caldeira-Leggett formalism.

cond-mat.stat-mech↗