Search

We present a thorough investigation of non-stabilizerness - a fundamental quantum resource that quantifies state complexity within the framework of quantum computing - in a one-dimensional U(1) lattice gauge theory. We show how non-stabilizerness is always extensive with volume, and has no direct relation to the presence of critical points. However, its derivatives typically display discontinuities across the latter: This indicates that non-stabilizerness is strongly sensitive to criticality, but in a manner that is very different from entanglement (that, typically, is maximal at the critical point). Our results indicate that error-corrected simulations of lattice gauge theories close to the continuum limit have similar computational costs to those at finite correlation length and provide rigorous lower bounds for quantum resources of such quantum computations., Comment: 5 pages + supplement. Comments welcome!!

We study the dynamics of hard-core bosons on ladders, in the presence of strong kinetic constrains akin to those of the Bariev model. We use a combination of analytical methods and numerical simulations to establish the phase diagram of the model. The model displays a paired Tomonaga-Luttinger liquid phase featuring an emergent dipole symmetry, which encodes the local pairing constraint into a global, non-local quantity. We scrutinize the effect of such emergent low-energy symmetry during quench dynamics including single particle defects. We observe that, despite being approximate, the dipole symmetry still leads to very slow relaxation dynamics, which we model via an effective field theory. The model we discuss is amenable to realization in both cold atoms in optical lattices and Rydberg atom arrays with dynamics taking place solely in the Rydberg manifold. We present a blueprint protocol to observe the effect of emergent dipole symmetry in such experimental platforms, combining adiabatic state preparation with quench dynamics., Comment: 29 pages, 12 figures

We study nonequilibrium quantum dynamics of spin chains by employing principal component analysis (PCA) on data sets of wave function snapshots and examine how information propagates within these data sets. The quantities we employ are derived from the spectrum of the sample second moment matrix, built directly from data sets. Our investigations on several interacting spin chains featuring distinct spin or energy transport reveal that the growth of data information spreading follows the same dynamical exponents as that of the underlying quantum transport of spin or energy. Specifically, our approach enables an easy, data-driven, and importantly interpretable diagnostic to track energy transport with a limited number of samples, which is usually challenging without any assumption on the Hamiltonian form. These observations are obtained at a modest finite size and evolution time, which aligns with experimental and numerical constraints. Our framework directly applies to experimental quantum simulator data sets of dynamics in higher-dimensional systems, where classical simulation methods usually face significant limitations and apply equally to both near- and far-from-equilibrium quenches., Comment: 10 pages, 6 figures

We perform a principal component analysis (PCA) of two one-dimensional lattice models belonging to distinct nonequilibrium universality classes - directed bond percolation and branching and annihilating random walks with even number of offspring. We find that the uncentered PCA of datasets storing various system's configurations can be successfully used to determine the critical properties of these nonequilibrium phase transitions. In particular, in both cases, we obtain good estimates of the critical point and the dynamical critical exponent of the models. For directed bond percolation we are, furthermore, able to extract critical exponents associated with the correlation length and the order parameter. We discuss the relation of our analysis with low-rank approximations of datasets., Comment: 19 pages, 24 figures

Recent breakthrough experiments have demonstrated how it is now possible to explore the dynamics of quantum Hall states interacting with quantum electromagnetic cavity fields. While the impact of strongly coupled non-local cavity modes on integer quantum Hall physics has been recently addressed, its effects on fractional quantum Hall (FQH) liquids -- and, more generally, fractionalized states of matter -- remain largely unexplored. In this work, we develop a theoretical framework for the understanding of FQH states coupled to quantum light. In particular, combining analytical arguments with tensor network simulations, we study the dynamics of a $\nu=1/3$ Laughlin state in a single-mode cavity with finite electric field gradients. We find that the topological signatures of the FQH state remain robust against the non-local cavity vacuum fluctuations, as indicated by the endurance of the quantized Hall resistivity. The entanglement spectra, however, carry direct fingerprints of light-matter entanglement and topology, revealing peculiar polaritonic replicas of the $U(1)$ counting. As a further response to cavity fluctuations, we also find a squeezed FQH geometry, encoded in long-wavelength correlations. We additionally observe that moving to strong cavity field gradients leads to an instability towards a sliding Tomonaga-Luttinger liquid phase, featuring a strong density modulation in the gradient direction. Finally, by exploring the low-energy excited spectrum inside the FQH phase, we identify a new quasiparticle, the graviton-polariton, arising from the hybridization between quadrupolar FQH collective excitations (known as gravitons) and light. We discuss the experimental implications of our findings and possible extension of our results to more complex scenarios., Comment: 26 pages, 11 figures. Comments are welcome

In this paper, we investigate the relationship between entanglement and non-stabilizerness (also known as magic) in matrix product states (MPSs). We study the relation between magic and the bond dimension used to approximate the ground state of a many-body system in two different contexts: full state of magic and mutual magic (the non-stabilizer analogue of mutual information, thus free of boundary effects) of spin-1 anisotropic Heisenberg chains. Our results indicate that obtaining converged results for non-stabilizerness is typically considerably easier than entanglement. For full state magic at critical points and at sufficiently large volumes, we observe convergence with $1/\chi^2$, with $\chi$ being the MPS bond dimension. At small volumes, magic saturation is so quick that, within error bars, we cannot appreciate any finite-$\chi$ correction. Mutual magic also shows a fast convergence with bond dimension, whose specific functional form is however hindered by sampling errors. As a by-product of our study, we show how Pauli-Markov chains (originally formulated to evaluate magic) resets the state of the art in terms of computing mutual information for MPS. We illustrate this last fact by verifying the logarithmic increase of mutual information between connected partitions at critical points. By comparing mutual information and mutual magic, we observe that, for connected partitions, the latter is typically scaling much slower - if at all - with the partition size, while for disconnected partitions, both are constant in size., Comment: 12 pages, 13 figures

Nonstabilizerness, also known as ``magic'', stands as a crucial resource for achieving a potential advantage in quantum computing. Its connection to many-body physical phenomena is poorly understood at present, mostly due to a lack of practical methods to compute it at large scales. We present a novel approach for the evaluation of nonstabilizerness within the framework of matrix product states (MPS), based on expressing the MPS directly in the Pauli basis. Our framework provides a powerful tool for efficiently calculating various measures of nonstabilizerness, including stabilizer R\'enyi entropies, stabilizer nullity, and Bell magic, and enables the learning of the stabilizer group of an MPS. We showcase the efficacy and versatility of our method in the ground states of Ising and XXZ spin chains, as well as in circuits dynamics that has recently been realized in Rydberg atom arrays, where we provide concrete benchmarks for future experiments on logical qubits up to twice the sizes already realized., Comment: 7+10 pages, 3+7 figures

Magic describes the distance of a quantum state to its closest stabilizer state. It is -- like entanglement -- a necessary resource for a potential quantum advantage over classical computing. We study magic, quantified by stabilizer entropy, in a hybrid quantum circuit with projective measurements and a controlled injection of non-Clifford resources. We discover a phase transition between a (sub)-extensive and area law scaling of magic controlled by the rate of measurements. The same circuit also exhibits a phase transition in entanglement that appears, however, at a different critical measurement rate. This mechanism shows how, from the viewpoint of a potential quantum advantage, hybrid circuits can host multiple distinct transitions where not only entanglement, but also other non-linear properties of the density matrix come into play., Comment: 9 pages, 8 figures

We propose a protocol for the scalable quantum simulation of SU($N$)$\times$U(1) lattice gauge theories with alkaline-earth like atoms in optical lattices in both one- and two-dimensional systems. The protocol exploits the combination of naturally occurring SU($N$) pseudo-spin symmetry and strong inter-orbital interactions that is unique to such atomic species. A detailed ab initio study of the microscopic dynamics shows how gauge invariance emerges in an accessible parameter regime, and allows us to identify the main challenges in the simulation of such theories. We provide quantitative results about the requirements in terms of experimental stability in relation to observing gauge invariant dynamics, a key element for a deeper analysis on the functioning of such class of theories in both quantum simulators and computers., Comment: 16+11 pages, 4+4 figures

We present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal logics are defined based on their classical counterparts in two distinct ways: (1) via embedding into fusions of classical modal logics through a natural extension of the G\"odel-Johansson translation of minimal logic into modal logic S4; (2) via extension to modal logics of the multi- vs. single-succedent correspondence of sequent calculi for classical and minimal logic. We show that, despite being mutually independent, the two methods turn out to be equivalent for a wide class of modal systems. Moreover, we compare the resulting minimal version of K with the constructive modal logic CK studied in the literature, displaying tight relations among the two systems. Based on these relations, we also define a constructive correspondent for each minimal system, thus obtaining a family of constructive modal logics which includes CK as well as other constructive modal logics studied in the literature.

We provide and critically analyze a framework to learn critical behavior in classical partition functions through the application of non-parametric methods to data sets of thermal configurations. We illustrate our approach in phase transitions in 2D and 3D Ising models. First, we extend previous studies on the intrinsic dimension of 2D partition function data sets, by exploring the effect of volume in 3D Ising data. We find that as opposed to 2D systems for which this quantity has been successfully used in unsupervised characterizations of critical phenomena, in the 3D case its estimation is far more challenging. To circumvent this limitation, we then use the principal component analysis (PCA) entropy, a "Shannon entropy" of the normalized spectrum of the covariance matrix. We find a striking qualitative similarity to the thermodynamic entropy, which the PCA entropy approaches asymptotically. The latter allows us to extract -- through a conventional finite-size scaling analysis with modest lattice sizes -- the critical temperature with less than $1\%$ error for both 2D and 3D models while being computationally efficient. The PCA entropy can readily be applied to characterize correlations and critical phenomena in a huge variety of many-body problems and suggests a (direct) link between easy-to-compute quantities and entropies., Comment: 20 pages, 10 figures, Submission to SciPost. Comments are welcome

Network science provides very powerful tools for extracting information from interacting data. Although recently the unsupervised detection of phases of matter using machine learning has raised significant interest, the full prediction power of network science has not yet been systematically explored in this context. Here we fill this gap by providing an in-depth statistical, combinatorial, geometrical and topological characterization of 2D Ising snapshot networks (IsingNets) extracted from Monte Carlo simulations of the $2$D Ising model at different temperatures, going across the phase transition. Our analysis reveals the complex organization properties of IsingNets in both the ferromagnetic and paramagnetic phases and demonstrates the significant deviations of the IsingNets with respect to randomized null models. In particular percolation properties of the IsingNets reflect the existence of the symmetry between configurations with opposite magnetization below the critical temperature and the very compact nature of the two emerging giant clusters revealed by our persistent homology analysis of the IsingNets. Moreover, the IsingNets display a very broad degree distribution and significant degree-degree correlations and weight-degree correlations demonstrating that they encode relevant information present in the configuration space of the $2$D Ising model. The geometrical organization of the critical IsingNets is reflected in their spectral properties deviating from the one of the null model. This work reveals the important insights that network science can bring to the characterization of phases of matter. The set of tools described hereby can be applied as well to numerical and experimental data., Comment: 17 pages, 18 figures

Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning over an object domain. However, the standard relational semantics for modalities is known to validate principles deemed problematic in agency, deontic, or epistemic applications. To overcome these difficulties, weaker systems of so-called non-normal modal logics, equipped with neighbourhood semantics that generalise the relational one, have been investigated both at the propositional and at the description logic level. We present here a family of non-normal modal description logics, obtained by extending ALC-based languages with non-normal modal operators. For formulas interpreted on neighbourhood models over varying domains, we provide a modular framework of terminating, correct, and complete tableau-based satisfiability checking algorithms in NExpTime. For a subset of these systems, we also consider a reduction to satisfiability on constant domain relational models. Moreover, we investigate the satisfiability problem in fragments obtained by disallowing the application of modal operators to description logic concepts, providing tight ExpTime complexity results.

Quantum simulators offer powerful means to investigate strongly correlated quantum matter. However, interpreting measurement outcomes in such systems poses significant challenges. Here, we present a theoretical framework for information extraction in synthetic quantum matter, illustrated for the case of a quantum quench in a spinor Bose-Einstein condensate experiment. Employing non-parametric unsupervised learning tools that provide different measures of information content, we demonstrate a system-agnostic approach to identify dominant degrees of freedom. This enables us to rank operators according to their relevance, akin to effective field theory. To characterize the corresponding effective description, we then explore the intrinsic dimension of data sets as a measure of the complexity of the dynamics. This reveals a simplification of the data structure, which correlates with the emergence of time-dependent universal behavior in the studied system. Our assumption-free approach can be immediately applied in a variety of experimental platforms., Comment: Published version

Recently there has been an intense effort to understand measurement induced transitions, but we still lack a good understanding of non-Markovian effects on these phenomena. To that end, we consider two coupled chains of free fermions, one acting as the system of interest, and one as a bath. The bath chain is subject to Markovian measurements, resulting in an effective non-Markovian dissipative dynamics acting on the system chain which is still amenable to numerical studies in terms of quantum trajectories. Within this setting, we study the entanglement within the system chain, and use it to characterize the phase diagram depending on the ladder hopping parameters and on the measurement probability. For the case of pure state evolution, the system is in an area law phase when the internal hopping of the bath chain is small, while a non-area law phase appears when the dynamics of the bath is fast. The non-area law exhibits a logarithmic scaling of the entropy compatible with a conformal phase, but also displays linear corrections for the finite system sizes we can study. For the case of mixed state evolution, we instead observe regions with both area, and non-area scaling of the entanglement negativity. We quantify the non-Markovianity of the system chain dynamics and find that for the regimes of parameters we study, a stronger non-Markovianity is associated to a larger entanglement within the system.

We introduce a method to measure many-body magic in quantum systems based on a statistical exploration of Pauli strings via Markov chains. We demonstrate that sampling such Pauli-Markov chains gives ample flexibility in terms of partitions where to sample from: in particular, it enables to efficiently extract the magic contained in the correlations between widely-separated subsystems, which characterizes the nonlocality of magic. Our method can be implemented in a variety of situations. We describe an efficient sampling procedure using Tree Tensor Networks, that exploits their hierarchical structure leading to a modest $O(\log N)$ computational scaling with system size. To showcase the applicability and efficiency of our method, we demonstrate the importance of magic in many-body systems via the following discoveries: (a) for one dimensional systems, we show that long-range magic displays strong signatures of conformal quantum criticality (Ising, Potts, and Gaussian), overcoming the limitations of full state magic; (b) in two-dimensional $\mathbb{Z}_2$ lattice gauge theories, we provide conclusive evidence that magic is able to identify the confinement-deconfinement transition, and displays critical scaling behavior even at relatively modest volumes. Finally, we discuss an experimental implementation of the method, which only relies on measurements of Pauli observables., Comment: 18 pages, 14 figures

We consider a system of interacting spinless fermions on a two-leg triangular ladder with $\pi/2$ magnetic flux per triangular plaquette. Microscopically, the system exhibits a U(1) symmetry corresponding to the conservation of total fermionic charge, and a discrete $\mathbb{Z}_2$ symmetry -- a product of parity transformation and chain permutation. Using bosonization, we show that, in the low-energy limit, the system is described by the quantum double-frequency sine-Gordon model. On the basis of this correspondence, a rich phase diagram of the system is obtained. It includes trivial and topological band insulators for weak interactions, separated by a Gaussian critical line, whereas at larger interactions a strongly correlated phase with spontaneously broken $\mathbb{Z}_2$ symmetry sets in, exhibiting a net charge imbalance and non-zero total current. At the intersection of the three phases, the system features a critical point with an emergent SU(2) symmetry. This non-Abelian symmetry, absent in the microscopic description, is realized at low-energies as a combined effect of the magnetic flux, frustration, and many-body correlations. The criticality belongs to the SU(2)$_1$ Wess-Zumino-Novikov-Witten universality class. The critical point bifurcates into two Ising critical lines that separate the band insulators from the strong-coupling symmetry broken phase. We establish an analytical connection between the low-energy description of our model around the critical bifurcation point on one hand, and the Ashkin-Teller model and a weakly dimerized XXZ spin-1/2 chain on the other. We complement our field-theory understanding via tensor network simulations, providing compelling quantitative evidences of all bosonization predictions. Our findings are of interest to up-to-date cold atom experiments utilizing Rydberg dressing, that have already demonstrated correlated ladder dynamics., Comment: 18 pages, 9 figures. Close to the published version

Topology plays a fundamental role in our understanding of many-body physics, from vortices and solitons in classical field theory, to phases and excitations in quantum matter. Topological phenomena are intimately connected to the distribution of information content - that, differently from ordinary matter, is now governed by non-local degrees of freedom. However, a precise characterization of how topological effects govern the complexity of a many-body state - i.e., its partition function - is presently unclear. In this work, we show how topology and complexity are directly intertwined concepts in the context of classical statistical mechanics. In concrete, we present a theory that shows how the Kolmogorov complexity of a classical partition function sampling carries unique, distinctive features depending on the presence of topological excitations in the system. We confront two-dimensional Ising, Heisenberg, and XY models on several topologies and study the corresponding samplings as high-dimensional manifolds in configuration space, quantifying their complexity via the intrinsic dimension. While for the Ising and Heisenberg models the intrinsic dimension is independent of the real-space topology, for the XY model it depends crucially on temperature: across the Berezkinskii-Kosterlitz-Thouless (BKT) transition, complexity becomes topology dependent. In the BKT phase, it displays a characteristic dependence on the homology of the real-space manifold, and, for $g$-torii, it follows a scaling that is solely genus dependent. We argue that this behavior is intimately connected to the emergence of an order parameter in data space, the conditional connectivity, that displays scaling behavior., Comment: 12 pages, 8 figures

We study the Hamiltonian dynamics of a many-body quantum system subjected to periodic projective measurements which leads to probabilistic cellular automata dynamics. Given a sequence of measured values, we characterize their dynamics by performing a principal component analysis. The number of principal components required for an almost complete description of the system, which is a measure of complexity we refer to as PCA complexity, is studied as a function of the Hamiltonian parameters and measurement intervals. We consider different Hamiltonians that describe interacting, non-interacting, integrable, and non-integrable systems, including random local Hamiltonians and translational invariant random local Hamiltonians. In all these scenarios, we find that the PCA complexity grows rapidly in time before approaching a plateau. The dynamics of the PCA complexity can vary quantitatively and qualitatively as a function of the Hamiltonian parameters and measurement protocol. Importantly, the dynamics of PCA complexity present behavior that is considerably less sensitive to the specific system parameters for models which lack simple local dynamics, as is often the case in non-integrable models. In particular, we point out a figure of merit that considers the local dynamics and the measurement direction to predict the sensitivity of the PCA complexity dynamics to the system parameters., Comment: 9 pages, 8 figures

Non-stabilizerness - also colloquially referred to as magic - is the a resource for advantage in quantum computing and lies in the access to non-Clifford operations. Developing a comprehensive understanding of how non-stabilizerness can be quantified and how it relates other quantum resources is crucial for studying and characterizing the origin of quantum complexity. In this work, we establish a direct connection between non-stabilizerness and entanglement spectrum flatness for a pure quantum state. We show that this connection can be exploited to efficiently probe non-stabilizerness even in presence of noise. Our results reveal a direct connection between non-stabilizerness and entanglement response, and define a clear experimental protocol to probe non-stabilizerness in cold atom and solid-state platforms.

The presence of gauge symmetry in 1+1D is known to be redundant, since it does not imply the existence of dynamical gauge bosons. As a consequence, in the continuum, the Abelian-Higgs model, the theory of bosonic matter interacting with photons, just possesses a single phase, as the higher dimensional Higgs and Coulomb phases are connected via non-perturbative effects. However, recent research published in [Phys. Rev. Lett. 128, 090601 (2022)] has revealed an unexpected phase transition when the system is discretized on the lattice. This transition is described by a conformal field theory with a central charge of $c=3/2$. In this paper, we aim to characterize the two components of this $c=3/2$ theory -- namely the free Majorana fermionic and bosonic parts -- through equilibrium and out-of-equilibrium spectral analyses., Comment: 12 pages, 15 figures. Close to the accepted version in PRB

We investigate the nature of quantum phases arising in chiral interacting Hamiltonians recently realized in Rydberg atom arrays. We classify all possible fermionic chiral spin liquids with $\mathrm{U}(1)$ global symmetry using parton construction on the honeycomb lattice. The resulting classification includes six distinct classes of gapped quantum spin liquids: the corresponding variational wave functions obtained from two of these classes accurately describe the Rydberg many-body ground state at $1/2$ and $1/4$ particle density. Complementing this analysis with tensor network simulations, we conclude that both particle filling sectors host a spin liquid with the same topological order of a $\nu=1/2$ fractional quantum Hall effect. At density $1/2$, our results clarify the phase diagram of the model, while at density $1/4$, they provide an explicit construction of the ground state wave function with almost unit overlap with the microscopic one. These findings pave the way to the use of parton wave functions to guide the discovery of quantum spin liquids in chiral Rydberg models., Comment: 13 pages, 14 figures

We study the quantum dynamics of a many-body system subject to coherent evolution and coupled to a non-Markovian bath. We propose a technique to unravel the non-Markovian dynamics in terms of quantum jumps, a connection that was so far only understood for single-body systems. We develop a systematic method to calculate the probability of a quantum trajectory, and formulate it in a diagrammatic structure. We find that non-Markovianity renormalizes the probability of realizing a quantum trajectory, and that memory effects can be interpreted as a perturbation on top of the Markovian dynamics. We show that the diagrammatic structure is akin to that of a Dyson equation, and that the probability of the trajectories can be calculated analytically. We then apply our results to study the measurement-induced entanglement transition in random unitary circuits. We find that non-Markovianity does not significantly shift the transition, but stabilizes the volume law phase of the entanglement by shielding it from transient strong dissipation.

We consider a model of free fermions in a ladder geometry coupled to a nonuniform cavity mode via Peierls substitution. Since the cavity mode generates a magnetic field, no-go theorems on spontaneous photon condensation do not apply, and we indeed observe a phase transition to a photon condensed phase characterized by finite circulating currents, alternatively referred to as the equilibrium superradiant phase. We consider both square and triangular ladder geometries, and characterize the transition by studying the energy structure of the system, light-matter entanglement, the properties of the photon mode, and chiral currents. The transition is of first order and corresponds to a sudden change in the fermionic band structure as well as the number of its Fermi points. Thanks to the quasi-one dimensional geometry we scrutinize the accuracy of (mean field) cavity-matter decoupling against large scale density-matrix renormalization group simulations. We find that light-matter entanglement is essential for capturing corrections to matter properties at finite sizes and for the description of the correct photon state. The latter remains Gaussian in the the thermodynamic limit both in the normal and photon condensed phases., Comment: 28 pages, 9 figures. Submission to SciPost. Comments are welcome

Programmable quantum devices are now able to probe wave functions at unprecedented levels. This is based on the ability to project the many-body state of atom and qubit arrays onto a measurement basis which produces snapshots of the system wave function. Extracting and processing information from such observations remains, however, an open quest. One often resorts to analyzing low-order correlation functions - i.e., discarding most of the available information content. Here, we introduce wave function networks - a mathematical framework to describe wave function snapshots based on network theory. For many-body systems, these networks can become scale free - a mathematical structure that has found tremendous success in a broad set of fields, ranging from biology to epidemics to internet science. We demonstrate the potential of applying these techniques to quantum science by introducing protocols to extract the Kolmogorov complexity corresponding to the output of a quantum simulator, and implementing tools for fully scalable cross-platform certification based on similarity tests between networks. We demonstrate the emergence of scale-free networks analyzing data from Rydberg quantum simulators manipulating up to 100 atoms. We illustrate how, upon crossing a phase transition, the system complexity decreases while correlation length increases - a direct signature of build up of universal behavior in data space. Comparing experiments with numerical simulations, we achieve cross-certification at the wave-function level up to timescales of 4 $\mu$ s with a confidence level of 90%, and determine experimental calibration intervals with unprecedented accuracy. Our framework is generically applicable to the output of quantum computers and simulators with in situ access to the system wave function, and requires probing accuracy and repetition rates accessible to most currently available platforms., Comment: 16 pages, 11 figures

We introduce a method for quantum simulation of U$(1)$ lattice gauge theories coupled to matter, utilizing alkaline-earth(-like) atoms in state-dependent optical lattices. The proposal enables the study of both gauge and fermionic-matter fields without integrating out one of them in one and two dimensions. We focus on a realistic and robust implementation that utilizes the long-lived metastable clock state available in alkaline-earth(-like) atomic species. Starting from an $ab\,initio$ modelling of the experimental setting, we systematically carry out a derivation of the target U$(1)$ gauge theory. This approach allows us to identify and address conceptual and practical challenges for the implementation of lattice gauge theories that - while pivotal for a successful implementation - have never been rigorously addressed in the literature: those include the specific engineering of lattice potentials to achieve the desired structure of Wannier functions, and the subtleties involved in realizing the proper separation of energy scales to enable gauge-invariant dynamics. We discuss realistic experiments that can be carried out within such a platform using the fermionic isotope $^{173}$Yb, addressing via simulations all key sources of imperfections, and provide concrete parameter estimates for relevant energy scales in both one- and two-dimensional settings.

We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom systems for the logics, and prove their soundness and completeness with respect to the semantics. Then, we introduce two kinds of analytic proof systems for several logics in the family: a multi-premisses sequent calculus in the style of Lellmann and Pattinson, for which we prove cut admissibility, and a hypersequent calculus based on structured calculi for conditional logics by Girlando et al., tailored for countermodel construction over failed proof search. Our results constitute the first steps in the definition of a unified proof theoretical framework for logics equipped with a comparative plausibility operator., Comment: To appear in: David Fern\'andez-Duque, Alessandra Palmigiano and Sophie Pinchinat (eds), Advances in Modal Logic 14, College Publications, 2022

We define a family of propositional constructive modal logics corresponding each to a different classical modal system. The logics are defined in the style of Wijesekera's constructive modal logic, and are both proof-theoretically and semantically motivated. On the one hand, they correspond to the single-succedent restriction of standard sequent calculi for classical modal logics. On the other hand, they are obtained by incorporating the hereditariness of intuitionistic Kripke models into the classical satisfaction clauses for modal formulas. We show that, for the considered classical logics, the proof-theoretical and the semantical approach return the same constructive systems., Comment: To appear in: David Fern\'andez-Duque, Alessandra Palmigiano and Sophie Pinchinat (eds), Advances in Modal Logic 14, College Publications, 2022

We consider a model of a light-matter system, in which a system of fermions (or bosons) is coupled to a photonic mode that drives a phase transitions in the matter degrees of freedom. Starting from a simplified analytical model, we show that the entanglement between light and matter vanishes at small and large coupling strength, and shows a peak in the proximity of the transition. We perform numerical simulations for a specific model (relevant to both solid state and cold atom platforms), and show that the entanglement displays critical behavior at the transition, and features maximum susceptibility, as demonstrated by a maximal entanglement capacity. Remarkably, light-matter entanglement provides direct access to critical exponents, suggesting a novel approach to measure universal properties without direct matter probes., Comment: 10 pages; 7 figures

Dressed Rydberg atoms in optical lattices are a promising platform for the quantum simulation of intriguing phenomena emerging in strongly interacting systems. Relevant to such a setup, we investigate the phase diagram of hard-core bosons in a triangular ladder with next-to-nearest-neighbor interaction along each leg and nearest-neighbors interactions without hopping between the legs. For weak interactions, Abelian bosonization predicts a spin density wave and a fully gapless Luttinger liquid phase. Such liquids transition to a 'spin-locked' cluster Luttinger liquid at strong interactions along each leg, as predicted by cluster bosonization. Interestingly, the competition with the zigzag interaction generates a charge density wave, a 'polarized holonic' phase, and a crystalline phase at the filling 2/5, that we address via semi-classical perturbative approach. Exact diagonalization and density matrix renormalization group simulations confirm the predictions and further characterize the phases and their transitions., Comment: Main: 6 pages, 5 figures; Supplemental Material: 11pages, 5 figures; v2: processing corrections

Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators. First, we provide a framework of terminating, correct, and complete tableau algorithms to check satisfiability of formulas in such logics with the semantics based on varying domains. We then investigate the satisfiability problems in fragments of these languages obtained by restricting the application of modal operators to formulas only, and interpreted on models with constant domains, providing tight complexity results., Comment: ARQNL 2022

Recent atomic physics experiments and numerical works have reported complementary signatures of the emergence of a topological quantum spin liquid in models with blockade interactions. However, the specific mechanism stabilizing such a phase remains unclear. Here, we introduce an exact relation between an Ising-Higgs lattice gauge theory on the kagome lattice and blockaded models on Ruby lattices. This relation elucidates the origin of previously observed topological spin liquids by directly linking the latter to a deconfined phase of a solvable gauge theory. By means of exact diagonalization and unbiased quantum Monte Carlo simulations, we show that the deconfined phases extend in a broad region of the parameter space; these states are characterized by a large ground state overlap with resonating valence bond wavefunctions. These blockaded models include both creation/annihilation and hopping dynamics, and can be experimentally realized with Rydberg-dressed atoms, offering novel and controllable platforms for the engineering and characterisation of spin liquid states., Comment: 7+7 pages, 4+2 figures

We review results about entanglement (or modular) Hamiltonians of quantum many-body systems in field theory and statistical mechanics models, as well as recent applications in the context of quantum information and quantum simulation., Comment: 32 pages, 12 figures; review article

In the context of ground states of quantum many-body systems, the locality of entanglement between connected regions of space is directly tied to the locality of the corresponding entanglement Hamiltonian: the latter is dominated by local, few-body terms. In this work, we introduce the negativity Hamiltonian as the (non hermitian) effective Hamiltonian operator describing the logarithm of the partial transpose of a many-body system. This allows us to address the connection between entanglement and operator locality beyond the paradigm of bipartite pure systems. As a first step in this direction, we study the structure of the negativity Hamiltonian for fermionic conformal field theories and a free fermion chain: in both cases, we show that the negativity Hamiltonian assumes a quasi-local functional form, that is captured by simple functional relations., Comment: 7 pages, 3 figures; Suppl. Mat.: 8 pages, 4 figures

We investigate the phase diagram of hard-core bosons in two-leg ladders in the presence of soft-shoulder potentials. We show how the competition between local and non-local terms gives rise to a phase diagram with liquid phases with dominant cluster, spin-, and density-wave quasi-long-range ordering. These phases are separated by Berezinskii-Kosterlitz-Thouless, Gaussian, and supersymmetric (SUSY) quantum critical transitions. For the latter, we provide a phenomenological description of coupled SUSY conformal field theories, whose predictions are confirmed by matrix-product state simulations. Our results are motivated by, and directly relevant to, recent experiments with Rydberg-dressed atoms in optical lattices, where ladder dynamics has already been demonstrated, and emphasize the capabilities of these setups to investigate exotic quantum phenomena such as cluster liquids and coupled SUSY conformal field theories., Comment: 17 pages, 8 figures. Close to published version

We put forward a phenomenological theory for entanglement dynamics in monitored quantum many-body systems with well-defined quasiparticles. Within this theory entanglement is carried by ballistically propagating non-Hermitian quasiparticles which are stochastically reset by the measurement protocol with rate given by their finite inverse lifetime. We write down a renewal equation for the statistics of the entanglement entropy and show that depending on the spectrum of quasiparticle decay rates different entanglement scaling can arise and even sharp entanglement phase transitions. When applied to a Quantum Ising chain where the transverse magnetization is measured by quantum jumps, our theory predicts a critical phase with logarithmic scaling of the entanglement, an area law phase and a continuous phase transition between them, with an effective central charge vanishing as a square root at the transition point. We compare these predictions with with exact numerical calculations on the same model and find an excellent agreement., Comment: 5+7 pages, 3 figures + Erratum

We explore the dynamical phases of unitary Clifford circuits with variable-range interactions, coupled to a monitoring environment. We investigate two classes of models, distinguished by the action of the unitary gates, which either are organized in clusters of finite-range two-body gates, or are pair-wise interactions randomly distributed throughout the system with a power-law distribution. We find the range of the interactions plays a key role in characterizing both phases and their measurement-induced transitions. For the cluster unitary gates we find a transition between a phase with volume-law scaling of the entanglement entropy and a phase with area-law entanglement entropy. Our results indicate that the universality class of the phase transition is compatible to that of short range hybrid Clifford circuits. Oppositely, in the case of power-law distributed gates, we find the universality class of the phase transition changes continuously with the parameter controlling the range of interactions. In particular, for intermediate values of the control parameter, we find a non-conformal critical line which separates a phase with volume-law scaling of the entanglement entropy from one with sub-extensive scaling. Within this region, we find the entanglement entropy and the logarithmic negativity present a cross-over from a phase with algebraic growth of entanglement with system size, and an area-law phase.

In quantum statistical mechanics, finite-temperature phase transitions are typically governed by classical field theories. In this context, the role of quantum correlations is unclear: recent contributions have shown how entanglement is typically very short-ranged, and thus uninformative about long-ranged critical correlations. In this work, we show the existence of finite-temperature phase transitions where a broader form of quantum correlation than entanglement, the entropic quantum discord, can display genuine signatures of critical behavior. We consider integrable bosonic field theories in both two- and three-dimensional lattices, and show how the two-mode Gaussian discord decays algebraically with the distance even in cases where the entanglement negativity vanishes beyond nearest-neighbor separations. Systematically approaching the zero-temperature limit allows us to connect discord to entanglement, drawing a generic picture of quantum correlations and critical behavior that naturally describes the transition between entangled and discordant quantum matter., Comment: 8 pages, 7 figures

Quantum systems evolving unitarily and subject to quantum measurements exhibit various types of non-equilibrium phase transitions, arising from the competition between unitary evolution and measurements. Dissipative phase transitions in steady states of time-independent Liouvillians and measurement induced phase transitions at the level of quantum trajectories are two primary examples of such transitions. Investigating a many-body spin system subject to periodic resetting measurements, we argue that many-body dissipative Floquet dynamics provides a natural framework to analyze both types of transitions. We show that a dissipative phase transition between a ferromagnetic ordered phase and a paramagnetic disordered phase emerges for long-range systems as a function of measurement probabilities. A measurement induced transition of the entanglement entropy between volume law scaling and sub-volume law scaling is also present, and is distinct from the ordering transition. The two phases correspond to an error-correcting and a quantum-Zeno regimes, respectively. The ferromagnetic phase is lost for short range interactions, while the volume law phase of the entanglement is enhanced. An analysis of multifractal properties of wave function in Hilbert space provides a common perspective on both types of transitions in the system. Our findings are immediately relevant to trapped ion experiments, for which we detail a blueprint proposal based on currently available platforms., Comment: accepted version, comments welcome

We investigate the emergence of quantum scars in a general ensemble of random Hamiltonians (of which the PXP is a particular realization), that we refer to as quantum local random networks. We find a class of scars, that we call "statistical", and we identify specific signatures of the localized nature of these eigenstates by analyzing a combination of indicators of quantum ergodicity and properties related to the network structure of the model. Within this parallelism, we associate the emergence of statistical scars to the presence of "motifs" in the network, that reflects how these are associated to links with anomalously small connectivity. Most remarkably, statistical scars appear at well-defined values of energy, predicted solely on the base of network theory. We study the scaling of the number of statistical scars with system size: by continuously changing the connectivity of the system we find that there is a transition from a regime where the constraints are too weak for scars to exist for large systems to a regime where constraints are stronger and the number of statistical scars increases with system size. We estimate the location of this transition and we find that our estimate agrees with numerical data. This allows to define the concept of "statistical robustness" of quantum scars., Comment: 20 pages, 11 figures

Learning the structure of the entanglement Hamiltonian (EH) is central to characterizing quantum many-body states in analog quantum simulation. We describe a protocol where spatial deformations of the many-body Hamiltonian, physically realized on the quantum device, serve as an efficient variational ansatz for a local EH. Optimal variational parameters are determined in a feedback loop, involving quench dynamics with the deformed Hamiltonian as a quantum processing step, and classical optimization. We simulate the protocol for the ground state of Fermi-Hubbard models in quasi-1D geometries, finding excellent agreement of the EH with Bisognano-Wichmann predictions. Subsequent on-device spectroscopy enables a direct measurement of the entanglement spectrum, which we illustrate for a Fermi Hubbard model in a topological phase., Comment: 12 pages, 7 figures; updated to PRL version; Figure 4 updated, conclusions unchanged

We study the phase diagram and critical properties of quantum Ising chains with long-range ferromagnetic interactions decaying in a power-law fashion with exponent $\alpha$, in regimes of direct interest for current trapped ion experiments. Using large-scale path integral Monte Carlo simulations, we investigate both the ground-state and the nonzero-temperature regimes. We identify the phase boundary of the ferromagnetic phase and obtain accurate estimates for the ferromagnetic-paramagnetic transition temperatures. We further determine the critical exponents of the respective transitions. Our results are in agreement with existing predictions for interaction exponents $\alpha > 1$ up to small deviations in some critical exponents. We also address the elusive regime $\alpha < 1$, where we find that the universality class of both the ground-state and nonzero-temperature transition is consistent with the mean-field limit at $\alpha = 0$. Our work not only contributes to the understanding of the equilibrium properties of long-range interacting quantum Ising models, but can also be important for addressing fundamental dynamical aspects, such as issues concerning the open question of thermalization in such models., Comment: 19 pages, 6 figures, updated to follow minor revisions suggested by the referees

We study the impact of quenched disorder on the dynamics of locally constrained quantum spin chains, that describe 1D arrays of Rydberg atoms in both frozen (Ising-type) and dressed (XY-type) regime. Performing large-scale numerical experiments, we observe no trace of many-body localization even at large disorder. Analyzing the role of quenched disorder terms in constrained systems we show that they act in two, distinct and competing ways: as an on-site disorder term for the basic excitations of the system, and as an interaction between excitations. The two contributions are of the same order, and as they compete (one towards localization, the other against it), one does never enter a truly strong disorder, weak interaction limit, where many-body localization occurs. Such a mechanism is further clarified in the case of XY-type constrained models: there, a term which would represent a bona-fide local quenched disorder term acting on the excitations of the clean model must be written as a series of non-local terms in the unconstrained variables. Our observations provide a simple picture to interpret the role of quenched disorder that could be immediately extended to other constrained models or quenched gauge theories., Comment: 4 + 4 pages, comments welcome

We investigate measurement-induced phase transitions in the Quantum Ising chain coupled to a monitoring environment. We compare two different limits of the measurement problem, the stochastic quantum-state diffusion protocol corresponding to infinite small jumps per unit of time and the no-click limit, corresponding to post-selection and described by a non-Hermitian Hamiltonian. In both cases we find a remarkably similar phenomenology as the measurement strength $\gamma$ is increased, namely a sharp transition from a critical phase with logarithmic scaling of the entanglement to an area-law phase, which occurs at the same value of the measurement rate in the two protocols. An effective central charge, extracted from the logarithmic scaling of the entanglement, vanishes continuously at the common transition point, although with different critical behavior possibly suggesting different universality classes for the two protocols. We interpret the central charge mismatch near the transition in terms of noise-induced disentanglement, as suggested by the entanglement statistics which displays emergent bimodality upon approaching the critical point. The non-Hermitian Hamiltonian and its associated subradiance spectral transition provide a natural framework to understand both the extended critical phase, emerging here for a model which lacks any continuous symmetry, and the entanglement transition into the area law., Comment: 12 pages, 6 figures, comments are welcome

We propose an ordered set of experimentally accessible conditions for detecting entanglement in mixed states. The $k$-th condition involves comparing moments of the partially transposed density operator up to order $k$. Remarkably, the union of all moment inequalities reproduces the Peres-Horodecki criterion for detecting entanglement. Our empirical studies highlight that the first four conditions already detect mixed state entanglement reliably in a variety of quantum architectures. Exploiting symmetries can help to further improve their detection capabilities. We also show how to estimate moment inequalities based on local random measurements of single state copies (classical shadows) and derive statistically sound confidence intervals as a function of the number of performed measurements. Our analysis includes the experimentally relevant situation of drifting sources, i.e. non-identical, but independent, state copies., Comment: 11+11 pages, 6 figures