arXiv Science⌕ Search

arXiv subjects

Angelo Lucia

Publications and source records attributed to Angelo Lucia.

At least 19 recordsLinked to original sources
arXiv2026

Instability of the undecidable behavior of the spectral gap in 1D

The problem of determining the existence of a spectral gap in a lattice quantum spin system was previously shown to be undecidable for one [J. Bausch et al., "Undecidability of the spectral gap in one dimension", Physical Review X 10 (2020)] or more dimensions [T. S. Cubitt et al., "Undecidability of the spectral gap", Nature 528 (2015) and Forum of Mathematics Pi, 10 (2022)]. In this work, we focus on the 1-dimensional result, showing that the constructed family with undecidable behavior is extremely sensitive to perturbations. In particular, for any $\varepsilon > 0$, there exists a 1-local, rank 1, perturbation with norm $O(\varepsilon)$, such that the spectral gap problem for the family in [J. Bausch et al., "Undecidability of the spectral gap in one dimension", Physical Review X 10 (2020)] now becomes decidable.

quant-ph↗
arXiv2026

Rapid mixing for Gibbs measures in Riemannian manifolds

Langevin dynamics on Riemannian manifolds is analyzed. Conditions ensuring the existence of a suitable logarithmic Sobolev inequality (rapid mixing to the Gibbs measure) are identified. These conditions involve the curvature of the manifold, the inverse temperature, escaping directions from saddle points, and exclude barren plateaus and spurious local minima. We show that when these conditions are met, mixing times polynomial in the dimension of the manifold are achievable. This result is obtained through a relation between Langevin processes in the domain and in the image of a Riemannian submersion. Such a relation can be of independent interest.

math-ph↗
arXiv2026

Modified logarithmic Sobolev inequalities for Abelian quantum double models

We establish rapid mixing for Davies Markov semigroups associated with 2D Abelian quantum double models at any positive temperature. A condition of Dobrushin-Shlosman (DS) type holds at any temperature, and we show that the latter implies a modified logarithmic Sobolev inequality for the Davies Lindbladian. A key step in the argument is to verify a strong martingale condition for the local conditional expectations of the Davies semigroup in the regime of validity of the DS condition.

quant-ph↗
arXiv2025

Modified logarithmic Sobolev inequalities for CSS codes

We consider the class of Davies quantum semigroups modelling thermalization for translation-invariant Calderbank-Shor-Steane (CSS) codes in D dimensions. We prove that conditions of Dobrushin-Shlosman-type on the quantum Gibbs state imply a modified logarithmic Sobolev inequality with a constant that is uniform in the system's size. This is accomplished by generalizing parts of the classical results on thermalization by Stroock, Zegarlinski, Martinelli, and Olivieri to the CSS quantum setting. The results in particular imply the rapid thermalization at any positive temperature of the toric code in 2D and the star part of the toric code in 3D, implying a rapid loss of stored quantum information for these models.

quant-ph↗
arXiv2025

Spectral Gap Bounds for Quantum Markov Semigroups via Correlation Decay

Starting from an arbitrary full-rank state of a lattice quantum spin system, we define a "canonical purified Hamiltonian" and characterize its spectral gap in terms of a spatial mixing condition (or correlation decay) of the state. When the state considered is a Gibbs state of a local, commuting Hamiltonian at positive temperature, we show that the spectral gap of the canonical purified Hamiltonian provides a lower bound to the spectral gap of a large class of reversible generators of quantum Markov semigroup, including local and ergodic Davies generators. As an application of our construction, we show that the mixing condition is always satisfied for any finite-range 1D model, as well as by Kitaev's quantum double models.

quant-ph↗
arXiv2024

Undecidability of the spectral gap in rotationally symmetric Hamiltonians

The problem of determining the existence of a spectral gap in a lattice quantum spin system was previously shown to be undecidable for one [J. Bausch et al., "Undecidability of the spectral gap in one dimension", Physical Review X 10 (2020)] or more dimensions [T. S. Cubitt et al., "Undecidability of the spectral gap", Nature 528 (2015)]. In these works, families of nearest-neighbor interactions are constructed whose spectral gap depends on the outcome of a Turing machine Halting problem, therefore making it impossible for an algorithm to predict its existence. While these models are translationally invariant, they are not invariant under the other symmetries of the lattice, a property which is commonly found in physically relevant cases. This poses the question of whether the spectral gap problem could be decidable for Hamiltonians with stronger symmetry constraints. We give a negative answer to this question, in the case of models with 4-body (plaquette) interactions on the square lattice satisfying rotation, but not reflection, symmetry: rotational symmetry is not enough to make the problem decidable.

quant-ph↗
arXiv2024

On the critical finite-size gap scaling for frustration-free Hamiltonians

We prove that the critical finite-size gap scaling for frustration-free Hamiltonians is of inverse-square type. The result covers general graphs embedded in $\mathbb R^D$ and general finite-range interactions without requiring assumptions about the ground state correlations. Therefore, the inverse-square critical gap scaling is a robust, universal property of finite-range frustration-free Hamiltonians. This places further limits on their ability to produce conformal field theories in the continuum limit. Our proof refines the divide-and-conquer strategy of Kastoryano and the second author through the refined Detectability Lemma of Gosset--Huang.

math-ph↗
arXiv2022

A Nonvanishing Spectral Gap for AKLT Models on Generalized Decorated Graphs

We consider the spectral gap question for AKLT models defined on decorated versions of simple, connected graphs G. This class of decorated graphs, which are defined by replacing all edges of $G$ with a chain of $n$ sites, in particular includes any decorated multi-dimensional lattice. Using the Tensor Network States (TNS) approach from a work by Abdul-Rahman et. al. 2020, we prove that if the decoration parameter is larger than a linear function of the maximal vertex degree, then the decorated model has a nonvanishing spectral gap above the ground state energy.

math-ph↗
arXiv2021

Entropy decay for Davies semigroups of a one dimensional quantum lattice

Given a finite-range, translation-invariant commuting system Hamiltonians on a spin chain, we show that the Davies semigroup describing the reduced dynamics resulting from the joint Hamiltonian evolution of a spin chain weakly coupled to a large heat bath thermalizes rapidly at any temperature. More precisely, we prove that the relative entropy between any evolved state and the equilibrium Gibbs state contracts exponentially fast with an exponent that scales logarithmically with the length of the chain. Our theorem extends a seminal result of Holley and Stroock to the quantum setting, up to a logarithmic overhead, as well as provides an exponential improvement over the non-closure of the gap proved by Brandao and Kastoryano. This has wide-ranging applications to the study of many-body in and out-of-equilibrium quantum systems. Our proof relies upon a recently derived strong decay of correlations for Gibbs states of one dimensional, translation-invariant local Hamiltonians, and tools from the theory of operator spaces.

quant-ph↗
arXiv2021

Rapid thermalization of spin chain commuting Hamiltonians

We prove that spin chains weakly coupled to a large heat bath thermalize rapidly at any temperature for finite-range, translation-invariant commuting Hamiltonians, reaching equilibrium in a time which scales logarithmically with the system size. Our main result is a generalization to the quantum setting of a seminal result of Holley and Stroock for classical spin chains and represents an exponential improvement over bounds based on the non-closure of the spectral gap. From a physical point of view, our result rigorously establishes the absence of dissipative phase transition for Davies evolutions over translation-invariant spin chains. The result also applies in the case of Symmetry Protected Topological phases where the evolution is respecting the symmetry of the phase. This has wide-ranging applications to the study of many-body in and out-of-equilibrium quantum systems.

quant-ph↗
arXiv2021

Thermalization in Kitaev's quantum double models via Tensor Network techniques

We show that the Davies generator associated to any 2D Kitaev's quantum double model has a non-vanishing spectral gap in the thermodynamic limit. This validates rigorously the extended belief that those models are useless as self-correcting quantum memories, even in the non-abelian case. The proof uses recent ideas and results regarding the characterization of the spectral gap for parent Hamiltonians associated to Projected Entangled Pair States in terms of a bulk-boundary correspondence.

quant-ph↗
arXiv2019

Deformations of the Boundary Theory of the Square Lattice AKLT Model

The 1D AKLT model is a paradigm of antiferromagnetism, and its ground state exhibits symmetry-protected topological order. On a 2D lattice, the AKLT model has recently gained attention because it too displays symmetry-protected topological order, and its ground state can act as a resource state for measurement-based quantum computation. While the 1D model has been shown to be gapped, it remains an open problem to prove the existence of a spectral gap on the 2D square lattice, which would guarantee the robustness of the resource state. Recently, it has been shown that one can deduce this spectral gap by analyzing the model's boundary theory via a tensor network representation of the ground state. In this work, we express the boundary state of the 2D AKLT model in terms of a classical loop model, where loops, vertices, and crossings are each given a weight. We use numerical techniques to sample configurations of loops and subsequently evaluate the boundary state and boundary Hamiltonian on a square lattice. As a result, we evidence a spectral gap in the square lattice AKLT model. In addition, by varying the weights of the loops, vertices, and crossings, we indicate the presence of three distinct phases exhibited by the classical loop model.

quant-ph↗
arXiv2019

On the modified logarithmic Sobolev inequality for the heat-bath dynamics for 1D systems

The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the modified logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure, via quasi-factorization results for the entropy. Inspired by the classical case, we present a strategy to derive the positivity of the modified logarithmic Sobolev constant associated to the dynamics of certain quantum systems from some clustering conditions on the Gibbs state of a local, commuting Hamiltonian. In particular we show that for the heat-bath dynamics for 1D systems, the modified logarithmic Sobolev constant is positive under the assumptions of a mixing condition on the Gibbs state and a strong quasi-factorization of the relative entropy.

quant-ph↗
arXiv2019

A class of two-dimensional AKLT models with a gap

The AKLT spin chain is the prototypical example of a frustration-free quantum spin system with a spectral gap above its ground state. Affleck, Kennedy, Lieb, and Tasaki also conjectured that the two-dimensional version of their model on the hexagonal lattice exhibits a spectral gap. In this paper, we introduce a family of variants of the two-dimensional AKLT model depending on a positive integer $n$, which is defined by decorating the edges of the hexagonal lattice with one-dimensional AKLT spin chains of length $n$. We prove that these decorated models are gapped for all $n \geq 3$.

math-ph↗
arXiv2019

Recursion relations for chromatic coefficients for graphs and hypergraphs

We establish a set of recursion relations for the coefficients in the chromatic polynomial of a graph or a hypergraph. As an application we provide a generalization of Whitney's broken cycle theorem for hypergraphs, as well as deriving an explicit formula for the linear coefficient of the chromatic polynomial of the $r$-complete hypergraph in terms of roots of the Taylor polynomials for the exponential function.

math.CO↗
arXiv2018

Undecidability of the Spectral Gap in One Dimension

The spectral gap problem - determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a continuous range of low-energy excitations - pervades quantum many-body physics. Recently, this important problem was shown to be undecidable for quantum spin systems in two (or more) spatial dimensions: there exists no algorithm that determines in general whether a system is gapped or gapless, a result which has many unexpected consequences for the physics of such systems. However, there are many indications that one dimensional spin systems are simpler than their higher-dimensional counterparts: for example, they cannot have thermal phase transitions or topological order, and there exist highly-effective numerical algorithms such as DMRG - and even provably polynomial-time ones - for gapped 1D systems, exploiting the fact that such systems obey an entropy area-law. Furthermore, the spectral gap undecidability construction crucially relied on aperiodic tilings, which are not possible in 1D. So does the spectral gap problem become decidable in 1D? In this paper we prove this is not the case, by constructing a family of 1D spin chains with translationally-invariant nearest neighbour interactions for which no algorithm can determine the presence of a spectral gap. This not only proves that the spectral gap of 1D systems is just as intractable as in higher dimensions, but also predicts the existence of qualitatively new types of complex physics in 1D spin chains. In particular, it implies there are 1D systems with constant spectral gap and non-degenerate classical ground state for all systems sizes up to an uncomputably large size, whereupon they switch to a gapless behaviour with dense spectrum.

quant-ph↗
arXiv2018

Tensor network representations from the geometry of entangled states

Tensor network states provide successful descriptions of strongly correlated quantum systems with applications ranging from condensed matter physics to cosmology. Any family of tensor network states possesses an underlying entanglement structure given by a graph of maximally entangled states along the edges that identify the indices of the tensors to be contracted. Recently, more general tensor networks have been considered, where the maximally entangled states on edges are replaced by multipartite entangled states on plaquettes. Both the structure of the underlying graph and the dimensionality of the entangled states influence the computational cost of contracting these networks. Using the geometrical properties of entangled states, we provide a method to construct tensor network representations with smaller effective bond dimension. We illustrate our method with the resonating valence bond state on the kagome lattice.

quant-ph↗