SearcharxivSearch

arXiv subjects

Benedikt Placke

Publications and source records attributed to Benedikt Placke.

At least 19 recordsLinked to original sources

Gibbs resampling transitions and structured fast-measurement protocols

Quantum Gibbs sampling algorithms generalize classical Markov chain Monte Carlo (cMCMC) methods, and prepare thermal states on quantum computers by implementing local dissipative evolution for a mixing time $t_{\rm mix}$. Since quantum measurements disrupt the prepared state, the rate of extracting unbiased information from the system depends on the recovery of the underlying thermal correlations. The corresponding ''Gibbs resampling'' time $t_{\rm res}$ is distinct both from $t_{\rm mix}$ and from the autocorrelation time relevant to cMCMC sampling. We study this problem in effective classical models that emulate disruptive quantum measurements of local observables on extensive subsystems. When such subsystems are chosen randomly, in models with non-local order parameters we uncover a ''resampling transition'' as a function of the fraction of sites $p$ that are measured, from $t_{\rm res}\propto \log L$ for small $p$ to $t_{\rm res}\propto {\rm poly} L$ for large $p$, in systems of linear size $L$. We argue that this transition is generically absent in systems with local order parameters, and relate this dichotomy to one between the coarsening of initial states that break 1- and 0-form symmetries under Glauber dynamics. Finally, we devise a structured fast-measurement protocol that evades slow resampling even with non-local order parameters, while leaving only a vanishing fraction of all sites unmeasured.

quant-ph

Running Quantum Computers in Discovery Mode

Using a 36-qubit quantum processor, we demonstrate that, by operating in conjunction with a classical machine learning agent, quantum computers can discover instances of interesting quantum many-body dynamics. The central object in this new mode of use of a quantum device is an "interest function" defined for a given circuit (family) instance that can be evaluated on a quantum computer. The circuit is adapted by the learning agent to maximize interest. We illustrate this approach using two examples and show that, within a sufficiently general circuit family, two simple interest functions based on (i) binary classifiability of evolved states and (ii) spectral properties of the unitary circuit, are maximized by discrete time crystals (DTCs) and dual-unitary circuits, respectively. For the classifiability-based interest function, we implement the protocol on a superconducting quantum processor and find that it indeed discovers DTCs with high probability. For the dual-unitaries, our simulations of the dynamics suggest that an interest-function optimization would have set us close to a discovery of such unitaries. Our results using quantum devices and accompanying simulations suggest that learning agents with access to quantum-computing resources can almost autonomously discover new phenomena in many-body quantum dynamics, and establish the design of good interest functions optimizable in hybrid devices as a paradigm for quantum many-body physics.

quant-ph

Rigorous error bounds for dissipative thermal state preparation from weak system-bath coupling

Thermal state preparation is a central challenge in the simulation of quantum many-body systems. Yet, provably efficient algorithms for this task were only introduced recently [Chen et al. Nature 646, 561 (2025)]. These algorithms are based on dissipative Lindbladian evolution which exactly fixes the thermal state. Controlled and efficient digital simulation of this evolution, although possible in principle, remains out of reach for present-day quantum hardware. Subsequent work has therefore focused on analog approximations of the proposed Lindbladians via `collision models' with relatively modest requirements -- a resettable bath of ancilla qubits whose couplings to the system can be tuned in time-dependent fashion -- while still admitting rigorous fixed-point error bounds. Existing rigorous approaches, however, do not exploit the fact that these constructions generically implement not only the desired Lindblad dynamics, but also an additional unitary evolution generated by the system Hamiltonian which may aid convergence to the thermal state [Lloyd and Abanin arXiv:2506.21318 (2025)]. Here, we show that this unitary contribution does indeed tighten the fixed-point error bound and demonstrate that it is rigorously controlled by the system-bath coupling strength $J$, scaling as $J^2$. This demonstrates that the effect of the spurious `Lamb shift' term generated by the system-bath interaction can be controlled by tuning $J$. We clarify the role, previously observed, of a randomized implementation in suppressing possible resonances of the drive with the many-body spectrum, and bound the additional variance that this randomization imposes on observables. Finally, we numerically study aspects of the protocol which are relevant for its practical realization, such as the mixing time.

quant-ph

Optimal Decoding with the Worm

We propose a new decoder for "matchable'' qLDPC codes that uses a Markov Chain Monte Carlo algorithm - called the worm algorithm - to approximately compute the probabilities of logical error classes given a syndrome. The algorithm hence performs (approximate) optimal decoding, and we expect it to be computationally efficient in certain settings. The algorithm is applicable to decoding random errors for the surface code, the honeycomb Floquet code, and hyperbolic surface codes with constant rate, in all cases with and without measurement errors. The efficiency of the decoder hinges on the mixing time of the underlying Markov chain. We give a rigorous mixing time guarantee in terms of a quantity that we call the defect susceptibility. We connect this quantity to the notion of disorder operators in statistical mechanics and use this to argue (non-rigorously) that the algorithm is efficient for typical errors in the entire decodable phase. We also demonstrate the effectiveness of the worm decoder numerically by applying it to the surface code with measurement errors as well as a family of hyperbolic surface codes. For most codes, the matchability condition restricts direct application of our decoder to noise models with independent bit-flip, phase-flip, and measurement errors. However, our decoder returns soft information which makes it useful also in heuristic "correlated decoding'' schemes which work beyond this simple setting. We demonstrate this by simulating decoding of the surface code under depolarizing noise, and we find that the threshold for "correlated worm decoding'' is substantially higher than for both minimum-weight perfect matching and for correlated matching.

quant-ph

Diffusion Codes: Self-Correction from Small(er)-Set Expansion with Tunable Non-locality

Optimal constructions of classical LDPC codes can be obtained by choosing the Tanner graph uniformly at random among biregular graphs. We introduce a class of codes that we call ``diffusion codes'', defined by placing each edge connecting bits and checks on some graph, and acting on that graph with a random SWAP network. By tuning the depth of the SWAP network, we can tune a tradeoff between the amount of randomness -- and hence the optimality of code parameters -- and locality with respect to the underlying graph. For diffusion codes defined on the cycle graph, if the SWAP network has depth $\sim Tn$ with $T> n^{2β}$ for arbitrary $β>0$, then we prove that almost surely the Tanner graph is a lossless ``smaller set'' vertex expander for small sets up size $δ\sim \sqrt T \sim n^β$, with bounded bit and check degree. At the same time, the geometric size of the largest stabilizer is bounded by $\sqrt T$ in graph distance. We argue, based on physical intuition, that this result should hold more generally on arbitrary graphs. By taking hypergraph products of these classical codes we obtain quantum LDPC codes defined on the torus with smaller-set boundary and co-boundary expansion and the same expansion/locality tradeoffs as for the classical codes. These codes are self-correcting and admit single-shot decoding, while having the geometric size of the stabilizer growing as an arbitrarily small power law. Our proof technique establishes mixing of a random SWAP network on small subsystems at times scaling with only the subsystem size, which may be of independent interest.

quant-ph

Towards Efficient Quantum Thermal State Preparation via Local Driving: Lindbladian Simulation with Provable Guarantees

Preparing the thermal density matrix $ρ_β \propto e^{-βH}$ corresponding to a given Hamiltonian $H$ is a task of central interest across quantum many-body physics, and is particularly salient when attempting to study it with quantum computers. Although solved in principle by recent constructions of efficiently simulable Lindblad master equations -- that provably have $ρ_β$ as a steady state [C.-F.~Chen \emph{et al.}, Nature \textbf{646}, pp.~561--566 (2025)] -- the implementation of these ``exact Gibbs samplers'' requires large-scale quantum computational resources and is hence challenging \emph{in practice} on current or even near-term quantum devices. Here, we propose a scheme for approximately simulating an exact Gibbs sampler that only requires the repeated implementation of three readily available ingredients: (a) analog simulation of $H$; (b) strictly local but time-dependent couplings to ancilla qubits; and (c) reset of the ancillas. We give rigorous guarantees on the difference between the fixed point reached by our protocol and the exact thermal state, which only depend on parameters of the protocol and its \emph{mixing time}. The procedure is efficiently implementable on near-term devices if $H$ is local, and the mixing time scales mildly with both system size and protocol parameters. While guaranteeing the latter for Hamiltonians of interest remains an important problem for future work, here we lay the groundwork for developing fully efficient thermal state preparation protocols on quantum simulators.

quant-ph

Slow mixing and emergent one-form symmetries in three-dimensional $\mathbb{Z}_2$ gauge theory

Symmetry-breaking order at low temperatures is often accompanied by slow relaxation dynamics, due to diverging free-energy barriers arising from interfaces between different ordered states. Here, we extend this correspondence to classical topological order, where the ordered states are locally indistinguishable, so there is no notion of interfaces between them. We study the relaxation dynamics of the three-dimensional (3D) classical $\mathbb{Z}_2$ lattice gauge theory (LGT) as a canonical example. We prove a lower bound on the mixing time in the deconfined phase, $t_{\text{mix}} = \exp [Ω(L)]$, where L is the linear system size. This bound applies even in the presence of perturbations that explicitly break the one-form symmetry between different long-lived states. This perturbation destroys the energy barriers between ordered states, but we show that entropic effects nevertheless lead to diverging free-energy barriers at nonzero temperature. Our proof establishes the LGT as a robust finite-temperature classical memory. We further prove that entropic effects lead to an emergent one-form symmetry, via a notion that we make precise. We argue that the exponential mixing time follows from universal properties of the deconfined phase, and numerically corroborate this expectation by exploring mixing time scales at the Higgs and confinement transitions out of the deconfined phase. These transitions are found to exhibit markedly different dynamic scaling, even though both have the static critical exponents of the 3D Ising model. We expect this novel entropic mechanism for memory and emergent symmetry to also bring insight into self-correcting quantum memories.

cond-mat.stat-mech

Solvable Quantum Circuits in Tree+1 Dimensions

We devise tractable models of unitary quantum many-body dynamics on tree graphs, as a first step towards a deeper understanding of dynamics in non-Euclidean spaces. To this end, we first demonstrate how to construct strictly local quantum circuits that preserve the symmetries of trees, such that their dynamical light cones grow isotropically. For trees with coordination number z, such circuits can be built from z-site gates. We then introduce a family of gates for which the dynamics is exactly solvable; these satisfy a set of constraints that we term 'tree-unitarity'. Notably, tree-unitarity reduces to the previously-established notion of dual-unitarity for z = 2, when the tree reduces to a line. Among the unexpected features of tree-unitarity is a trade-off between 'maximum butterfly velocity' dynamics of out-of-time-order correlators and the existence of non-vanishing correlation functions in multiple directions, a tension absent in one-dimensional dual-unitary models and their Euclidean generalizations. We connect the existence of (a wide class of) solvable dynamics with non-maximal butterfly velocity directly to a property of the underlying circuit geometry called $δ$-hyperbolicity, and argue that such dynamics can only arise in non-Euclidean geometries. We give various examples of tree-unitary gates, discuss dynamical correlations, out-of-time-order correlators, and entanglement growth, and show that the kicked Ising model on a tree is a physically-motivated example of maximum-velocity tree-unitary dynamics.

quant-ph

Expansion creates spin-glass order in finite-connectivity models: a rigorous and intuitive approach from the theory of LDPC codes

Complex free-energy landscapes with many local minima separated by large barriers are believed to underlie glassy behavior across diverse physical systems. This is the heuristic picture associated with replica symmetry breaking (RSB) in spin glasses, but RSB has only been rigorously verified for certain mean-field models with all-to-all connectivity. In this work, we give a rigorous proof of finite temperature spin glass order for a family of models with local interactions on finite-connectivity, non-Euclidean expander graphs. To this end, we bypass the RSB formalism entirely, and instead exploit the mathematical equivalence of such models to certain low-density parity check (LDPC) codes. We use code expansion, a property of LDPC codes which guarantees extensive energy barriers around ground states. Together with mild additional assumptions, this allows us to construct an explicit decomposition of the low-temperature Gibbs state into disjoint components, each hosting an asymptotically long-lived state associated with a local minimum of the landscape. Each component carries at most an exponentially small fraction of the total weight, and almost all components do not contain ground states -- which we take together to define spin-glass order. The proof is elementary, and treats various expanding graph topologies on the same footing, including those with short loops where existing approaches such as the cavity method fail. Our results apply rigorously to diluted p-spin glasses for sufficiently large p, and while unproven, we also expect our assumptions to hold in a broader family of codes. Motivated by this, we numerically study two simple models, on random regular graphs and a regular tesselation of hyperbolic space. We show that both models undergo two transitions as a function of temperature, corresponding to the onset of weak ergodicity breaking and spin glass order, respectively.

cond-mat.stat-mech

Topological Quantum Spin Glass Order and its realization in qLDPC codes

Ordered phases of matter have close connections to computation. Two prominent examples are spin glass order, with wide-ranging applications in machine learning and optimization, and topological order, closely related to quantum error correction. Here, we introduce the concept of topological quantum spin glass (TQSG) order which marries these two notions, exhibiting both the complex energy landscapes of spin glasses, and the quantum memory and long-range entanglement characteristic of topologically ordered systems. Using techniques from coding theory and a quantum generalization of Gibbs state decompositions, we show that TQSG order is the low-temperature phase of various quantum LDPC codes on expander graphs, including hypergraph and balanced product codes. Our work introduces a topological analog of spin glasses that preserves quantum information, opening new avenues for both statistical mechanics and quantum computer science.

quant-ph

Bottlenecks in quantum channels and finite temperature phases of matter

We prove an analogue of the "bottleneck theorem", well-known for classical Markov chains, for Markovian quantum channels. In particular, we show that if two regions (subspaces) of Hilbert space are separated by a region that has very low weight in the channel's steady state, then states initialized on one side of this barrier will take a long time to relax, putting a lower bound on the mixing time in terms of an appropriately defined "quantum bottleneck ratio". Importantly, this bottleneck ratio involves not only the probabilities of the relevant subspaces, but also the size of off-diagonal matrix elements between them. For low-temperature quantum many-body systems, we use the bottleneck theorem to bound the performance of any quasi-local Gibbs sampler. This leads to a new perspective on thermally stable quantum phases in terms of a decomposition of the Gibbs state into multiple components separated by bottlenecks. As a concrete application, we show rigorously that weakly perturbed commuting projector models with extensive energy barriers (including certain classical and quantum expander codes) have exponentially large mixing times.

quant-ph

Slow measurement-only dynamics of entanglement in Pauli subsystem codes

We study the non-unitary dynamics of a class of quantum circuits based on stochastically measuring check operators of subsystem quantum error-correcting codes, such as the Bacon-Shor code and its various generalizations. Our focus is on how properties of the underlying code are imprinted onto the measurement-only dynamics. We find that in a large class of codes with nonlocal stabilizer generators, at late times there is generically a nonlocal contribution to the subsystem entanglement entropy which scales with the subsystem size. The nonlocal stabilizer generators can also induce slow dynamics, since depending on the rate of competing measurements the associated degrees of freedom can take exponentially long (in system size) to purify (disentangle from the environment when starting from a mixed state) and to scramble (become entangled with the rest of the system when starting from a product state). Concretely, we consider circuits for which the nonlocal stabilizer generators of the underlying subsystem code take the form of subsystem symmetries. We present a systematic study of the phase diagrams and relevant time scales in two and three spatial dimensions for both Calderbank-Shor-Steane (CSS) and non-CSS codes, focusing in particular on the link between slow measurement-only dynamics and the geometry of the subsystem symmetry. A key finding of our work is that slowly purifying or scrambling degrees of freedom appear to emerge only in codes whose subsystem symmetries are nonlocally {\it generated}, a strict subset of those whose symmetries are simply nonlocal. We comment on the link between our results on subsystem codes and the phenomenon of Hilbert-space fragmentation in light of their shared algebraic structure.

quant-ph

Abundance of hard-hexagon crystals in the quantum pyrochlore antiferromagnet

We propose a simple family of valence-bond crystals as potential ground states of the $S=1/2$ and $S=1$ Heisenberg antiferromagnet on the pyrochlore lattice. Exponentially numerous in the linear size of the system, these can be visualized as hard-hexagon coverings, with each hexagon representing a resonating valence-bond ring. This ensemble spontaneously breaks rotation, inversion and translation symmetries. A simple, yet accurate, variational wavefunction allows a precise determination of the energy, confirmed by DMRG and numerical linked cluster expansion, and extended by an analysis of excited states. The identification of the origin of the stability indicates applicability to a broad class of frustrated lattices, which we demonstrate for the checkerboard and ruby lattices. Our work suggests a perspective on such quantum magnets, in which unfrustrated motifs are effectively uncoupled by the frustration of their interactions.

cond-mat.str-el

Ising Fracton Spin Liquid on the Honeycomb Lattice

We study a classical Ising model on the honeycomb lattice with local two-body interactions and present strong evidence that at low temperature it realizes a higher-rank Coulomb liquid with fracton excitations. We show that the excitations are (type-I) fractons, appearing at the corners of membranes of spin flips. Because of the three-fold rotational symmetry of the honeycomb lattice, these membranes can be locally combined such that no excitations are created, giving rise to a set of ground states described as a liquid of membranes. We devise a cluster Monte-Carlo algorithm purposefully designed for this problem that moves pairs of defects, and use it to study the finite-temperature behavior of the model. We show evidence for a first order transition from a high-temperature paramagnet to a low-temperature phase whose correlations precisely match those predicted for a higher-rank Coulomb phase.

cond-mat.str-el

Arresting dynamics in hardcore spin models

We study the dynamics of hardcore spin models on the square and triangular lattice, constructed by analogy to hard spheres, where the translational degrees of freedom of the spheres are replaced by orientational degrees of freedom of spins on a lattice and the packing fraction as a control parameter is replaced by an exclusion angle. In equilibrium, models on both lattices exhibit a Kosterlitz-Thouless transition at an exclusion angle $Δ_{\rm KT}$. We devise compression protocols for hardcore spins and find that {\it any} protocol that changes the exclusion angle nonadiabatically, if endowed with only local dynamics, fails to compress random initial states beyond an angle $Δ_{\rm J}> Δ_{\rm KT}$. This coincides with a doubly algebraic divergence of the relaxation time of compressed states towards equilibrium. We identify a remarkably simple mechanism underpinning this divergent timescale: topological defects involved in the phase ordering kinetics of the system become incompatible with the hardcore spin constraint, leading to a vanishing defect mobility as $Δ\rightarrowΔ_{\rm J}$.

cond-mat.stat-mech

The Random-Bond Ising Model and its dual in Hyperbolic Spaces

We analyze the thermodynamic properties of the random-bond Ising model (RBIM) on closed hyperbolic surfaces using Monte Carlo and high-temperature series expansion techniques. We also analyze the dual-RBIM, that is the model that in the absence of disorder is related to the RBIM via the Kramers-Wannier duality. Even on self-dual lattices this model is different from the RBIM, unlike in the euclidean case. We explain this anomaly by a careful re-derivation of the Kramers--Wannier duality. For the (dual-)RBIM, we compute the paramagnet-to-ferromagnet phase transition as a function of both temperature $T$ and the fraction of antiferromagnetic bonds $p$. We find that as temperature is decreased in the RBIM, the paramagnet gives way to either a ferromagnet or a spin-glass phase via a second-order transition compatible with mean-field behavior. In contrast, the dual-RBIM undergoes a strongly first order transition from the paramagnet to the ferromagnet both in the absence of disorder and along the Nishimori line. We study both transitions for a variety of hyperbolic tessellations and comment on the role of coordination number and curvature. The extent of the ferromagnetic phase in the dual-RBIM corresponds to the correctable phase of hyperbolic surface codes under independent bit- and phase-flip noise.

cond-mat.stat-mech

From hard spheres to hard-core spins

A system of hard spheres exhibits physics that is controlled only by their density. This comes about because the interaction energy is either infinite or zero, so all allowed configurations have exactly the same energy. The low density phase is liquid, while the high density phase is crystalline, an example of "order by disorder" as it is driven purely by entropic considerations. Here we study a family of hard spin models, which we call hardcore spin models, where we replace the translational degrees of freedom of hard spheres with the orientational degrees of freedom of lattice spins. Their hardcore interaction serves analogously to divide configurations of the many spin system into allowed and disallowed sectors. We present detailed results on the square lattice in $d=2$ for a set of models with $\mathbb{Z}_n$ symmetry, which generalize Potts models, and their $U(1)$ limits, for ferromagnetic and antiferromagnetic senses of the interaction, which we refer to as exclusion and inclusion models. As the exclusion/inclusion angles are varied, we find a Kosterlitz-Thouless phase transition between a disordered phase and an ordered phase with quasi-long-ranged order, which is the form order by disorder takes in these systems. These results follow from a set of height representations, an ergodic cluster algorithm, and transfer matrix calculations.

cond-mat.stat-mech

Hierarchy of energy scales and field-tunable order by disorder in dipolar-octupolar pyrochlores

Dipolar-octupolar pyrochlore magnets in a strong external magnet field applied in the [110] direction are known to form a `chain' state, with subextensive degeneracy. Magnetic moments are correlated along one-dimensional chains carrying effective Ising degrees of freedom which are noninteracting on the mean-field level. Here, we investigate this phenomenon in detail, including the effects of quantum fluctuations. We identify two distinct types of chain phases, both featuring distinct subextensive, classical ground state degeneracy. Focussing on one of the two kinds, we discuss lifting of the classical degeneracy by quantum fluctuations. We map out the ground-state phase diagram as a function of the exchange couplings, using linear spin wave theory and real-space perturbation theory. We find a hierarchy of energy scales in the ground state selection, with the effective dimensionality of the system varying in an intricate way as the hierarchy is descended. We derive an effective two-dimensional anisotropic triangular lattice Ising model with only three free parameters which accounts for the observed behavior. Connecting our results to experiment, they are consistent with the observation of a disordered chain state in Nd$_2$Zr$_2$O$_7$. We also show that the presence of two distinct types of chain phases has consequences for the field-induced breakdown of the apparent $U(1)$ octupolar quantum liquid phase recently observed in Ce$_2$Sn$_2$O$_7$.

cond-mat.str-el