-
Classical Estimation of the Free Energy and Quantum Gibbs Sampling from the Markov Entropy Decomposition
Authors:
Samuel O. Scalet,
Angela Capel,
Anirban N. Chowdhury,
Hamza Fawzi,
Omar Fawzi,
Isaac H. Kim,
Arkin Tikku
Abstract:
We revisit the Markov Entropy Decomposition, a classical convex relaxation algorithm introduced by Poulin and Hastings to approximate the free energy in quantum spin lattices. We identify a sufficient condition for its convergence, namely the decay of the effective interaction. We prove that this condition is satisfied for systems in 1D at any temperature as well as in the high-temperature regime…
▽ More
We revisit the Markov Entropy Decomposition, a classical convex relaxation algorithm introduced by Poulin and Hastings to approximate the free energy in quantum spin lattices. We identify a sufficient condition for its convergence, namely the decay of the effective interaction. We prove that this condition is satisfied for systems in 1D at any temperature as well as in the high-temperature regime under a certain commutativity condition on the Hamiltonian. This yields polynomial and quasi-polynomial time approximation algorithms in these settings, respectively. Furthermore, the decay of the effective interaction implies the decay of the conditional mutual information for the Gibbs state of the system. We then use this fact to devise a rounding scheme that maps the solution of the convex relaxation to a global state and show that the scheme can be efficiently implemented on a quantum computer, thus proving efficiency of quantum Gibbs sampling under our assumption of decay of the effective interaction.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Belavkin-Staszewski Quantum Markov Chains
Authors:
Andreas Bluhm,
Ángela Capel,
Pablo Costa Rico,
Anna Jenčová
Abstract:
It is well-known that the conditional mutual information of a quantum state is zero if, and only if, the quantum state is a quantum Markov chain. Replacing the Umegaki relative entropy in the definition of the conditional mutual information by the Belavkin-Staszewski (BS) relative entropy, we obtain the BS-conditional mutual information, and we call the states with zero BS-conditional mutual infor…
▽ More
It is well-known that the conditional mutual information of a quantum state is zero if, and only if, the quantum state is a quantum Markov chain. Replacing the Umegaki relative entropy in the definition of the conditional mutual information by the Belavkin-Staszewski (BS) relative entropy, we obtain the BS-conditional mutual information, and we call the states with zero BS-conditional mutual information Belavkin-Staszewski quantum Markov chains. In this article, we establish a correspondence which relates quantum Markov chains and BS-quantum Markov chains. This correspondence allows us to find a recovery map for the BS-relative entropy in the spirit of the Petz recovery map. Moreover, we prove a structural decomposition of the Belavkin-Staszewski quantum Markov chains and also study states for which the BS-conditional mutual information is only approximately zero. As an application, we show that the conditional mutual information of the state associated to the Gibbs state of a quantum spin chain with local, finite-range, translation-invariant interactions at any positive temperature via this new correspondence decays superexponentially fast with the size of the middle system.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Quasi-optimal sampling from Gibbs states via non-commutative optimal transport metrics
Authors:
Ángela Capel,
Paul Gondolf,
Jan Kochanowski,
Cambyse Rouzé
Abstract:
We study the problem of sampling from and preparing quantum Gibbs states of local commuting Hamiltonians on hypercubic lattices of arbitrary dimension. We prove that any such Gibbs state which satisfies a clustering condition that we coin decay of matrix-valued quantum conditional mutual information (MCMI) can be quasi-optimally prepared on a quantum computer. We do this by controlling the mixing…
▽ More
We study the problem of sampling from and preparing quantum Gibbs states of local commuting Hamiltonians on hypercubic lattices of arbitrary dimension. We prove that any such Gibbs state which satisfies a clustering condition that we coin decay of matrix-valued quantum conditional mutual information (MCMI) can be quasi-optimally prepared on a quantum computer. We do this by controlling the mixing time of the corresponding Davies evolution in a normalized quantum Wasserstein distance of order one. To the best of our knowledge, this is the first time that such a non-commutative transport metric has been used in the study of quantum dynamics, and the first time quasi-rapid mixing is implied by solely an explicit clustering condition. Our result is based on a weak approximate tensorization and a weak modified logarithmic Sobolev inequality for such systems, as well as a new general weak transport cost inequality. If we furthermore assume a constraint on the local gap of the thermalizing dynamics, we obtain rapid mixing in trace distance for interactions beyond the range of two, thereby extending the state-of-the-art results that only cover the nearest neighbor case. We conclude by showing that systems that admit effective local Hamiltonians, like quantum CSS codes at high temperature, satisfy this MCMI decay and can thus be efficiently prepared and sampled from.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Continuity bounds for quantum entropies arising from a fundamental entropic inequality
Authors:
Koenraad Audenaert,
Bjarne Bergh,
Nilanjana Datta,
Michael G. Jabbour,
Ángela Capel,
Paul Gondolf
Abstract:
We establish a tight upper bound for the difference in von Neumann entropies between two quantum states, $ρ_1$ and $ρ_2$. This bound is expressed in terms of the von Neumann entropies of the mutually orthogonal states derived from the Jordan-Hahn decomposition of the difference operator $(ρ_1 - ρ_2)$. This yields a novel entropic inequality that implies the well-known Audenaert-Fannes (AF) inequal…
▽ More
We establish a tight upper bound for the difference in von Neumann entropies between two quantum states, $ρ_1$ and $ρ_2$. This bound is expressed in terms of the von Neumann entropies of the mutually orthogonal states derived from the Jordan-Hahn decomposition of the difference operator $(ρ_1 - ρ_2)$. This yields a novel entropic inequality that implies the well-known Audenaert-Fannes (AF) inequality. In fact, it also leads to a refinement of the AF inequality. We employ this inequality to obtain a uniform continuity bound for the quantum conditional entropy of two states whose marginals on the conditioning system coincide. We additionally use it to derive a continuity bound for the quantum relative entropy in both variables. Interestingly, the fundamental entropic inequality is also valid in infinite dimensions.
△ Less
Submitted 9 December, 2024; v1 submitted 27 August, 2024;
originally announced August 2024.
-
Rapid thermalization of dissipative many-body dynamics of commuting Hamiltonians
Authors:
Jan Kochanowski,
Alvaro M. Alhambra,
Angela Capel,
Cambyse Rouzé
Abstract:
Quantum systems typically reach thermal equilibrium rather quickly when coupled to a thermal environment. The usual way of bounding the speed of this process is by estimating the spectral gap of the dissipative generator. However the gap, by itself, does not always yield a reasonable estimate for the thermalization time in many-body systems: without further structure, a uniform lower bound on it o…
▽ More
Quantum systems typically reach thermal equilibrium rather quickly when coupled to a thermal environment. The usual way of bounding the speed of this process is by estimating the spectral gap of the dissipative generator. However the gap, by itself, does not always yield a reasonable estimate for the thermalization time in many-body systems: without further structure, a uniform lower bound on it only constrains the thermalization time to grow polynomially with system size.
Here, instead, we show that for a large class of geometrically-2-local models of Davies generators with commuting Hamiltonians, the thermalization time is much shorter than one would naïvely estimate from the gap: at most logarithmic in the system size. This yields the so-called rapid mixing of dissipative dynamics. The result is particularly relevant for 1D systems, for which we prove rapid thermalization with a system size independent decay rate only from a positive gap in the generator. We also prove that systems in hypercubic lattices of any dimension, and exponential graphs, such as trees, have rapid mixing at high enough temperatures. We do this by introducing a novel notion of clustering which we call "strong local indistinguishability" based on a max-relative entropy, and then proving that it implies a lower bound on the modified logarithmic Sobolev inequality (MLSI) for nearest neighbour commuting models.
This has consequences for the rate of thermalization towards Gibbs states, and also for their relevant Wasserstein distances and transportation cost inequalities. Along the way, we show that several measures of decay of correlations on Gibbs states of commuting Hamiltonians are equivalent, a result of independent interest. At the technical level, we also show a direct relation between properties of Davies and Schmidt dynamics, that allows to transfer results of thermalization between both.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Conditional Independence of 1D Gibbs States with Applications to Efficient Learning
Authors:
Ángela Capel,
Álvaro M. Alhambra,
Paul Gondolf,
Alberto Ruiz-de-Alarcón,
Samuel O. Scalet
Abstract:
We show that spin chains in thermal equilibrium have a correlation structure in which individual regions are strongly correlated at most with their near vicinity. We quantify this with alternative notions of the conditional mutual information, defined through the so-called Belavkin-Staszewski relative entropy. We prove that these measures decay superexponentially at every positive temperature, und…
▽ More
We show that spin chains in thermal equilibrium have a correlation structure in which individual regions are strongly correlated at most with their near vicinity. We quantify this with alternative notions of the conditional mutual information, defined through the so-called Belavkin-Staszewski relative entropy. We prove that these measures decay superexponentially at every positive temperature, under the assumption that the spin chain Hamiltonian is translation-invariant. Using a recovery map associated with these measures, we sequentially construct tensor network approximations in terms of marginals of small (sublogarithmic) size. As a main application, we show that classical representations of the states can be learned efficiently from local measurements with a polynomial sample complexity. We also prove an approximate factorization condition for the purity of the entire Gibbs state, which implies that it can be efficiently estimated to a small multiplicative error from a small number of local measurements. The results extend from strictly local to exponentially-decaying interactions above a threshold temperature, albeit only with exponential decay rates. As a technical step of independent interest, we show an upper bound to the decay of the Belavkin-Staszewski relative entropy upon the application of a conditional expectation.
△ Less
Submitted 2 December, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Strong decay of correlations for Gibbs states in any dimension
Authors:
Andreas Bluhm,
Ángela Capel,
Antonio Pérez-Hernández
Abstract:
Quantum systems in thermal equilibrium are described using Gibbs states. The correlations in such states determine how difficult it is to describe or simulate them. In this article, we show that if the Gibbs state of a quantum system satisfies that each of its marginals admits a local effective Hamiltonian with short-range interactions, then it satisfies a mixing condition, that is, for any region…
▽ More
Quantum systems in thermal equilibrium are described using Gibbs states. The correlations in such states determine how difficult it is to describe or simulate them. In this article, we show that if the Gibbs state of a quantum system satisfies that each of its marginals admits a local effective Hamiltonian with short-range interactions, then it satisfies a mixing condition, that is, for any regions $A$, $C$ the distance of the reduced state $ρ_{AC}$ on these regions to the product of its marginals,
$$\| ρ_{AC} ρ_A^{-1} \otimes ρ_C^{-1} - 1_{AC}\|\, ,$$
decays exponentially with the distance between regions $A$ and $C$. This mixing condition is stronger than other commonly studied measures of correlation. In particular, it implies the exponential decay of the mutual information between distant regions. The mixing condition has been used, for example, to prove positive log-Sobolev constants. On the way, we prove that the the condition regarding local effective Hamiltonian is satisfied if the Hamiltonian of the system is commuting and also commutes with every marginal of the Gibbs state. The proof of these results employs a variety of tools such as Araki's expansionals, quantum belief propagation and cluster expansions.
△ Less
Submitted 26 July, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
From decay of correlations to locality and stability of the Gibbs state
Authors:
Ángela Capel,
Massimo Moscolari,
Stefan Teufel,
Tom Wessel
Abstract:
We show that whenever the Gibbs state of a quantum spin system satisfies decay of correlations, then it is stable, in the sense that local perturbations affect the Gibbs state only locally, and it satisfies local indistinguishability, i.e. it exhibits local insensitivity to system size. These implications hold in any dimension, require only locality of the Hamiltonian, and are based on Lieb-Robins…
▽ More
We show that whenever the Gibbs state of a quantum spin system satisfies decay of correlations, then it is stable, in the sense that local perturbations affect the Gibbs state only locally, and it satisfies local indistinguishability, i.e. it exhibits local insensitivity to system size. These implications hold in any dimension, require only locality of the Hamiltonian, and are based on Lieb-Robinson bounds and on a detailed analysis of the locality properties of the quantum belief propagation for Gibbs states.
To demonstrate the versatility of our approach, we explicitly apply our results to several physically relevant models in which the decay of correlations is either known to hold or is proved by us. These include Gibbs states of one-dimensional spin chains with polynomially decaying interactions at any temperature, and high-temperature Gibbs states of quantum spin systems with finite-range interactions in any dimension. We also prove exponential decay of correlations above a threshold temperature for Gibbs states of one-dimensional finite spin chains with translation-invariant and exponentially decaying interactions, and then apply our general results.
△ Less
Submitted 3 April, 2025; v1 submitted 13 October, 2023;
originally announced October 2023.
-
Unified framework for continuity of sandwiched Rényi divergences
Authors:
Andreas Bluhm,
Ángela Capel,
Paul Gondolf,
Tim Möbus
Abstract:
In this work, we prove uniform continuity bounds for entropic quantities related to the sandwiched Rényi divergences such as the sandwiched Rényi conditional entropy. We follow three different approaches: The first one is the "almost additive approach", which exploits the sub-/ superadditivity and joint concavity/ convexity of the exponential of the divergence. In our second approach, termed the "…
▽ More
In this work, we prove uniform continuity bounds for entropic quantities related to the sandwiched Rényi divergences such as the sandwiched Rényi conditional entropy. We follow three different approaches: The first one is the "almost additive approach", which exploits the sub-/ superadditivity and joint concavity/ convexity of the exponential of the divergence. In our second approach, termed the "operator space approach", we express the entropic measures as norms and utilize their properties for establishing the bounds. These norms draw inspiration from interpolation space norms. We not only demonstrate the norm properties solely relying on matrix analysis tools but also extend their applicability to a context that holds relevance in resource theories. By this, we extend the strategies of Marwah and Dupuis as well as Beigi and Goodarzi employed in the sandwiched Rényi conditional entropy context. Finally, we merge the approaches into a mixed approach that has some advantageous properties and then discuss in which regimes each bound performs best. Our results improve over the previous best continuity bounds or sometimes even give the first continuity bounds available. In a separate contribution, we use the ALAFF method, developed in a previous article by some of the authors, to study the stability of approximate quantum Markov chains.
△ Less
Submitted 2 December, 2024; v1 submitted 23 August, 2023;
originally announced August 2023.
-
General Continuity Bounds for Quantum Relative Entropies
Authors:
Andreas Bluhm,
Ángela Capel,
Paul Gondolf,
Antonio Pérez-Hernández
Abstract:
In this article, we generalize a proof technique by Alicki, Fannes and Winter and introduce a method to prove continuity bounds for entropic quantities derived from different quantum relative entropies. For the Umegaki relative entropy, we mostly recover known almost optimal bounds, whereas, for the Belavkin-Staszewski relative entropy, our bounds are new. Finally, we use these continuity bounds t…
▽ More
In this article, we generalize a proof technique by Alicki, Fannes and Winter and introduce a method to prove continuity bounds for entropic quantities derived from different quantum relative entropies. For the Umegaki relative entropy, we mostly recover known almost optimal bounds, whereas, for the Belavkin-Staszewski relative entropy, our bounds are new. Finally, we use these continuity bounds to derive a new entropic uncertainty relation.
△ Less
Submitted 5 February, 2024; v1 submitted 17 May, 2023;
originally announced May 2023.
-
A generic quantum Wielandt's inequality
Authors:
Yifan Jia,
Angela Capel
Abstract:
Quantum Wielandt's inequality gives an optimal upper bound on the minimal length $k$ such that length-$k$ products of elements in a generating system span $M_n(\mathbb{C})$. It is conjectured that $k$ should be of order $\mathcal{O}(n^2)$ in general. In this paper, we give an overview of how the question has been studied in the literature so far and its relation to a classical question in linear a…
▽ More
Quantum Wielandt's inequality gives an optimal upper bound on the minimal length $k$ such that length-$k$ products of elements in a generating system span $M_n(\mathbb{C})$. It is conjectured that $k$ should be of order $\mathcal{O}(n^2)$ in general. In this paper, we give an overview of how the question has been studied in the literature so far and its relation to a classical question in linear algebra, namely the length of the algebra $M_n(\mathbb{C})$. We provide a generic version of quantum Wielandt's inequality, which gives the optimal length with probability one. More specifically, we prove based on [KS16] that $k$ generically is of order $Θ(\log n)$, as opposed to the general case, in which the best bound to date is $\mathcal O(n^2 \log n)$. Our result implies a new bound on the primitivity index of a random quantum channel. Furthermore, we shed new light on a long-standing open problem for Projected Entangled Pair State, by concluding that almost any translation-invariant PEPS (in particular, Matrix Product State) with periodic boundary conditions on a grid with side length of order $Ω( \log n )$ is the unique ground state of a local Hamiltonian. We observe similar characteristics for matrix Lie algebras and provide numerical results for random Lie-generating systems.
△ Less
Submitted 25 April, 2024; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Continuity of quantum entropic quantities via almost convexity
Authors:
Andreas Bluhm,
Ángela Capel,
Paul Gondolf,
Antonio Pérez-Hernández
Abstract:
Based on the proofs of the continuity of the conditional entropy by Alicki, Fannes, and Winter, we introduce in this work the almost locally affine (ALAFF) method. This method allows us to prove a great variety of continuity bounds for the derived entropic quantities. First, we apply the ALAFF method to the Umegaki relative entropy. This way, we recover known almost tight bounds, but also some new…
▽ More
Based on the proofs of the continuity of the conditional entropy by Alicki, Fannes, and Winter, we introduce in this work the almost locally affine (ALAFF) method. This method allows us to prove a great variety of continuity bounds for the derived entropic quantities. First, we apply the ALAFF method to the Umegaki relative entropy. This way, we recover known almost tight bounds, but also some new continuity bounds for the relative entropy. Subsequently, we apply our method to the Belavkin-Staszewski relative entropy (BS-entropy). This yields novel explicit bounds in particular for the BS-conditional entropy, the BS-mutual and BS-conditional mutual information. On the way, we prove almost concavity for the Umegaki relative entropy and the BS-entropy, which might be of independent interest. We conclude by showing some applications of these continuity bounds in various contexts within quantum information theory.
△ Less
Submitted 2 February, 2024; v1 submitted 1 August, 2022;
originally announced August 2022.
-
Asymptotic behavior of nonlocal bistable reaction-diffusion equations
Authors:
Christophe Besse,
Alexandre Capel,
Grégory Faye,
Guilhem Fouilhé
Abstract:
In this paper, we study the asymptotic behavior of the solutions of nonlocal bistable reaction-diffusion equations starting from compactly supported initial conditions. Depending on the relationship between the nonlinearity, the interaction kernel and the diffusion coefficient, we show that the solutions can either: propagate, go extinct or remain pinned. We especially focus on the latter regime w…
▽ More
In this paper, we study the asymptotic behavior of the solutions of nonlocal bistable reaction-diffusion equations starting from compactly supported initial conditions. Depending on the relationship between the nonlinearity, the interaction kernel and the diffusion coefficient, we show that the solutions can either: propagate, go extinct or remain pinned. We especially focus on the latter regime where solutions are pinned by thoroughly studying discontinuous ground state solutions of the problem for a specific interaction kernel serving as a case study. We also present a detailed numerical analysis of the problem.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Entropy decay for Davies semigroups of a one dimensional quantum lattice
Authors:
Ivan Bardet,
Ángela Capel,
Li Gao,
Angelo Lucia,
David Pérez-García,
Cambyse Rouzé
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Rapid thermalization of spin chain commuting Hamiltonians
Authors:
Ivan Bardet,
Ángela Capel,
Li Gao,
Angelo Lucia,
David Pérez-García,
Cambyse Rouzé
Abstract:
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 exponenti…
▽ More
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.
△ Less
Submitted 11 January, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Exponential decay of mutual information for Gibbs states of local Hamiltonians
Authors:
Andreas Bluhm,
Ángela Capel,
Antonio Pérez-Hernández
Abstract:
The thermal equilibrium properties of physical systems can be described using Gibbs states. It is therefore of great interest to know when such states allow for an easy description. In particular, this is the case if correlations between distant regions are small. In this work, we consider 1D quantum spin systems with local, finite-range, translation-invariant interactions at any temperature. In t…
▽ More
The thermal equilibrium properties of physical systems can be described using Gibbs states. It is therefore of great interest to know when such states allow for an easy description. In particular, this is the case if correlations between distant regions are small. In this work, we consider 1D quantum spin systems with local, finite-range, translation-invariant interactions at any temperature. In this setting, we show that Gibbs states satisfy uniform exponential decay of correlations and, moreover, the mutual information between two regions decays exponentially with their distance, irrespective of the temperature. In order to prove the latter, we show that exponential decay of correlations of the infinite-chain thermal states, exponential uniform clustering and exponential decay of the mutual information are equivalent for 1D quantum spin systems with local, finite-range interactions at any temperature. In particular, Araki's seminal results yields that the three conditions hold in the translation-invariant case. The methods we use are based on the Belavkin-Staszewski relative entropy and on techniques developed by Araki. Moreover, we find that the Gibbs states of the systems we consider are superexponentially close to saturating the data-processing inequality for the Belavkin-Staszewski relative entropy.
△ Less
Submitted 8 February, 2022; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Weak quasi-factorization for the Belavkin-Staszewski relative entropy
Authors:
Andreas Bluhm,
Ángela Capel,
Antonio Pérez-Hernández
Abstract:
Quasi-factorization-type inequalities for the relative entropy have recently proven to be fundamental in modern proofs of modified logarithmic Sobolev inequalities for quantum spin systems. In this paper, we show some results of weak quasi-factorization for the Belavkin-Staszewski relative entropy, i.e. upper bounds for the BS-entropy between two bipartite states in terms of the sum of two conditi…
▽ More
Quasi-factorization-type inequalities for the relative entropy have recently proven to be fundamental in modern proofs of modified logarithmic Sobolev inequalities for quantum spin systems. In this paper, we show some results of weak quasi-factorization for the Belavkin-Staszewski relative entropy, i.e. upper bounds for the BS-entropy between two bipartite states in terms of the sum of two conditional BS-entropies, up to some multiplicative and additive factors.
△ Less
Submitted 25 January, 2021;
originally announced January 2021.
-
Comment on "Generators of matrix algebras in dimension 2 and 3"
Authors:
Angela Capel,
Yifan Jia
Abstract:
Theorem 7 in Ref. [Linear Algebra Appl., 430, 1-6, (2009)] states sufficient conditions to determine whether a pair generates the algebra of 3x3 matrices over an algebraically closed field of characteristic zero. In that case, an explicit basis for the full algebra is provided, which is composed of words of small length on such pair. However, we show that this theorem is wrong since it is based on…
▽ More
Theorem 7 in Ref. [Linear Algebra Appl., 430, 1-6, (2009)] states sufficient conditions to determine whether a pair generates the algebra of 3x3 matrices over an algebraically closed field of characteristic zero. In that case, an explicit basis for the full algebra is provided, which is composed of words of small length on such pair. However, we show that this theorem is wrong since it is based on the validity of an identity which is not true in general.
△ Less
Submitted 10 February, 2021; v1 submitted 18 January, 2021;
originally announced January 2021.
-
The modified logarithmic Sobolev inequality for quantum spin systems: classical and commuting nearest neighbour interactions
Authors:
Ángela Capel,
Cambyse Rouzé,
Daniel Stilck França
Abstract:
Given a uniform, frustration-free family of local Lindbladians defined on a quantum lattice spin system in any spatial dimension, we prove a strong exponential convergence in relative entropy of the system to equilibrium under a condition of spatial mixing of the stationary Gibbs states and the rapid decay of the relative entropy on finite-size blocks. Our result leads to the first examples of the…
▽ More
Given a uniform, frustration-free family of local Lindbladians defined on a quantum lattice spin system in any spatial dimension, we prove a strong exponential convergence in relative entropy of the system to equilibrium under a condition of spatial mixing of the stationary Gibbs states and the rapid decay of the relative entropy on finite-size blocks. Our result leads to the first examples of the positivity of the modified logarithmic Sobolev inequality for quantum lattice spin systems independently of the system size. Moreover, we show that our notion of spatial mixing is a consequence of the recent quantum generalization of Dobrushin and Shlosman's complete analyticity of the free-energy at equilibrium. The latter typically holds above a critical temperature Tc. Our results have wide-ranging applications in quantum information. As an illustration, we discuss four of them: first, using techniques of quantum optimal transport, we show that a quantum annealer subject to a finite range classical noise will output an energy close to that of the fixed point after constant annealing time. Second, we prove Gaussian concentration inequalities for Lipschitz observables and show that the eigenstate thermalization hypothesis holds for certain high-temperture Gibbs states. Third, we prove a finite blocklength refinement of the quantum Stein lemma for the task of asymmetric discrimination of two Gibbs states of commuting Hamiltonians satisfying our conditions. Fourth, in the same setting, our results imply the existence of a local quantum circuit of logarithmic depth to prepare Gibbs states of a class of commuting Hamiltonians.
△ Less
Submitted 3 June, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Approximation with Neural Networks in Variable Lebesgue Spaces
Authors:
Ángela Capel,
Jesús Ocáriz
Abstract:
This paper concerns the universal approximation property with neural networks in variable Lebesgue spaces. We show that, whenever the exponent function of the space is bounded, every function can be approximated with shallow neural networks with any desired accuracy. This result subsequently leads to determine the universality of the approximation depending on the boundedness of the exponent funct…
▽ More
This paper concerns the universal approximation property with neural networks in variable Lebesgue spaces. We show that, whenever the exponent function of the space is bounded, every function can be approximated with shallow neural networks with any desired accuracy. This result subsequently leads to determine the universality of the approximation depending on the boundedness of the exponent function. Furthermore, whenever the exponent is unbounded, we obtain some characterization results for the subspace of functions that can be approximated.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Approximate tensorization of the relative entropy for noncommuting conditional expectations
Authors:
Ivan Bardet,
Angela Capel,
Cambyse Rouzé
Abstract:
In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. The latter inequality, which we call approximate tensorization of the relative entropy, can be expressed as a lower bound for the sum of relative entropies between a given density and its respective proje…
▽ More
In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. The latter inequality, which we call approximate tensorization of the relative entropy, can be expressed as a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.
△ Less
Submitted 15 June, 2021; v1 submitted 22 January, 2020;
originally announced January 2020.
-
On the modified logarithmic Sobolev inequality for the heat-bath dynamics for 1D systems
Authors:
Ivan Bardet,
Angela Capel,
Angelo Lucia,
David Pérez-García,
Cambyse Rouzé
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 15 June, 2021; v1 submitted 23 August, 2019;
originally announced August 2019.
-
A strengthened data processing inequality for the Belavkin-Staszewski relative entropy
Authors:
Andreas Bluhm,
Angela Capel
Abstract:
In this work, we provide a strengthening of the data processing inequality for the relative entropy introduced by Belavkin and Staszewski (BS-entropy). This extends previous results by Carlen and Vershynina for the relative entropy and other standard $f$-divergences. To this end, we provide two new equivalent conditions for the equality case of the data processing inequality for the BS-entropy. Su…
▽ More
In this work, we provide a strengthening of the data processing inequality for the relative entropy introduced by Belavkin and Staszewski (BS-entropy). This extends previous results by Carlen and Vershynina for the relative entropy and other standard $f$-divergences. To this end, we provide two new equivalent conditions for the equality case of the data processing inequality for the BS-entropy. Subsequently, we extend our result to a larger class of maximal $f$-divergences. Here, we first focus on quantum channels which are conditional expectations onto subalgebras and use the Stinespring dilation to lift our results to arbitrary quantum channels.
△ Less
Submitted 17 June, 2019; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Quantum conditional relative entropy and quasi-factorization of the relative entropy
Authors:
Angela Capel,
Angelo Lucia,
David Pérez-García
Abstract:
The existence of a positive log-Sobolev constant implies a bound on the mixing time of a quantum dissipative evolution under the Markov approximation. For classical spin systems, such constant was proven to exist, under the assumption of a mixing condition in the Gibbs measure associated to their dynamics, via a quasi-factorization of the entropy in terms of the conditional entropy in some sub-…
▽ More
The existence of a positive log-Sobolev constant implies a bound on the mixing time of a quantum dissipative evolution under the Markov approximation. For classical spin systems, such constant was proven to exist, under the assumption of a mixing condition in the Gibbs measure associated to their dynamics, via a quasi-factorization of the entropy in terms of the conditional entropy in some sub-$σ$-algebras.
In this work we analyze analogous quasi-factorization results in the quantum case. For that, we define the quantum conditional relative entropy and prove several quasi-factorization results for it. As an illustration of their potential, we use one of them to obtain a positive log-Sobolev constant for the heat-bath dynamics with product fixed point.
△ Less
Submitted 1 October, 2018; v1 submitted 17 April, 2018;
originally announced April 2018.
-
Superadditivity of quantum relative entropy for general states
Authors:
Angela Capel,
Angelo Lucia,
David Pérez-García
Abstract:
The property of superadditivity of the quantum relative entropy states that, in a bipartite system $\mathcal{H}_{AB}=\mathcal{H}_A \otimes \mathcal{H}_B$, for every density operator $ρ_{AB}$ one has $ D( ρ_{AB} || σ_A \otimes σ_B ) \ge D( ρ_A || σ_A ) +D( ρ_B || σ_B) $. In this work, we provide an extension of this inequality for arbitrary density operators $ σ_{AB} $. More specifically, we prove…
▽ More
The property of superadditivity of the quantum relative entropy states that, in a bipartite system $\mathcal{H}_{AB}=\mathcal{H}_A \otimes \mathcal{H}_B$, for every density operator $ρ_{AB}$ one has $ D( ρ_{AB} || σ_A \otimes σ_B ) \ge D( ρ_A || σ_A ) +D( ρ_B || σ_B) $. In this work, we provide an extension of this inequality for arbitrary density operators $ σ_{AB} $. More specifically, we prove that $ α(σ_{AB})\cdot D({ρ_{AB}}||{σ_{AB}}) \ge D({ρ_A}||{σ_A})+D({ρ_B}||{σ_B})$ holds for all bipartite states $ρ_{AB}$ and $σ_{AB}$, where $α(σ_{AB})= 1+2 || σ_A^{-1/2} \otimes σ_B^{-1/2} \, σ_{AB} \, σ_A^{-1/2} \otimes σ_B^{-1/2} - \mathbb{1}_{AB} ||_\infty$.
△ Less
Submitted 17 October, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Numerical radius attaining compact linear operators
Authors:
Angela Capel,
Miguel Martin,
Javier Meri
Abstract:
We show that there are compact linear operators on Banach spaces which cannot be approximated by numerical radius attaining operators.
We show that there are compact linear operators on Banach spaces which cannot be approximated by numerical radius attaining operators.
△ Less
Submitted 23 February, 2016;
originally announced February 2016.
