Abstract
The set of two-body reduced states of translation invariant, infinite quantum spin chains can be approximated from inside and outside using matrix product states and marginals of finite systems, respectively. These lead to hierarchies of algebraic approximations that become tight only in the limit of infinitely many auxiliary variables. We show that this is necessarily so for any algebraic ansatz by proving that the set of reduced states is not semialgebraic. We also provide evidence that additional elementary transcendental functions cannot lead to a finitary description.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum correlations become non-trivially constrained when considering parts of a larger system that obeys symmetry rules. This fact is exhibited most prominently by the monogamy of entanglement. More generally, it is manifestly inherent in all quantum marginal problems that concern the consistency of reduced density matrices with global, often symmetry-based, constraints. A central motivation for studying these problems is the fact that ground-state energies in quantum chemistry [10] and condensed matter physics [23] depend solely on the reduced density matrices under global symmetry constraints. Also, phase transitions and symmetry breaking are reflected in the geometry of the set of reduced density matrices [25].
In this paper, we consider the set of reduced two-body density matrices that arise in translationally invariant, infinite quantum spin chains. In these systems, the ground state energy density of a nearest-neighbor interaction Hamiltonian could in principle be obtained by optimizing over all admissible reduced states. However, even in the case of two-dimensional local Hilbert spaces, this set is not known exactly. There are inner approximations based on mean-field and matrix-product techniques [23] and outer approximations based on relaxations of constraints [5, 14, 17]. When unraveling these approximations, which are usually expressed directly as algorithms for bounding ground state energy densities, they all correspond to semialgebraic sets of reduced density matrices, that is, sets that can be described by a finite number of algebraic (in-)equalities. Our aim is to prove that the set of interest, i.e., the set of admissible two-body reduced density matrices, is itself not semialgebraic. In the last section, we show that the situation is most likely even worse (or more interesting) by providing evidence that additional elementary transcendental functions are still not sufficient to allow an explicit description by finite means.
Our work is inspired by an argument of Fannes, Nachtergaele, and Werner. In [12] they show that the ground state of the antiferromagnetic spin 1/2 Heisenberg chain cannot be a \(C^*\)-finitely correlated state: Its energy is transcendental, while the algebraic ansatz can only lead to algebraic energies. This argument holds for any parameter-free algebraic ansatz but fails as soon as transcendental parameters are allowed. For this reason, we invoke transcendental sets and functions rather than numbers.
2 (Semi-)algebraic preliminaries
We begin with reviewing some mathematical concepts and introducing terms and notations.
A function \(f:I\rightarrow \mathbb {R}\) on an interval \(I\subseteq \mathbb {R}\) is called algebraic over a subfield \(\mathbb {F}\subseteq \mathbb {R}\) if there is a polynomial \(p\in \mathbb {F}[y,x]\) and an interval \(J\subseteq \mathbb {R}\) s.t. \(y=f(x) \Leftrightarrow p(y,x)=0\) holds for all \((x,y)\in I\times J\). A function that is not piecewise algebraic over \(\mathbb {F}\) is called transcendental over \(\mathbb {F}\). We emphasize the field \(\mathbb {F}\) since these notions are often understood with \(\mathbb {F}=\mathbb {Q}\) in mind, but we will need \(\mathbb {F}=\mathbb {R}\).
A set \(A \subseteq \mathbb {R}^n\) is called semialgebraic over a subring \(R\subseteq \mathbb {R}\) if it can be defined by a finite number of polynomial equalities and inequalities with coefficients in R. A powerful tool for showing that a set is semialgebraic is the Tarski-Seidenberg theorem, which enables the use of quantifiers without leaving the semialgebraic world:
Theorem 1
(Tarski-Seidenberg quantifier elimination (cf.[6])) Let \(R\subseteq \mathbb {R}\) be a subring and \(\{p_j(v,x)\}_{j=1}^l\) a finite set of polynomial equalities and inequalities with coefficients in R and variables \((v,x) \in R^k \times R^n\). If \(\phi (v,x)\) is a Boolean combination (using \(\wedge ,\vee ,\lnot \)) of the \(p_j\)’s and
then there exists a quantifier-free formula \(\psi (x)\) consisting of a Boolean combination of finitely many polynomial (in-)equalities with coefficients in R, s.t.
Moreover, there exists an effective algorithm that constructs \(\psi \) from \(\Psi \).
In our case, \(\mathbb {R}^n\) will be a real vector space of complex Hermitian matrices, represented in some Hermitian operator basis. The choice of the basis does not matter as long as \(R=\mathbb {R}\) is considered.
A function is called semialgebraic over R if its graph is a semialgebraic set. If \(f:\mathbb {R}\supseteq I\rightarrow \mathbb {R}\) is semialgebraic over \(\mathbb {R}\), then it is piecewise algebraic over \(\mathbb {R}\) (cf. Sec.2.5.2 in [6]).
3 Reduced density matrices
Consider a multipartite quantum system of spins aligned on a one-dimensional chain such that each spin is assigned a Hilbert space \(\mathbb {C}^d\). Our interest lies in the reduced density matrices of neighboring spins that are admissible under the constraint of global translation symmetry.
Definition 1
Let \(\textrm{Red}_d\) denote the subset of density operators on \(\mathbb {C}^d\otimes \mathbb {C}^d\) s.t. for every \(N\in \mathbb {N}\) there is a density operator \(\rho ^{(N+1)}\) on \((\mathbb {C}^d)^{\otimes (N+1)}\) with the property that all its successive bipartite reduced states are equal to \(\rho \), i.e.,
More informally, \(\rho \in \textrm{Red}_d\) if and only if \(\rho \) can be extended in a translational invariant way to an infinite quantum spin chain.
Proposition 1
\(\textrm{Red}_d\) is convex and compact.
Proof
Convexity follows readily from the convexity of the set of density matrices and the linearity of the partial trace. Moreover, boundedness is inherited from the set of all density operators. In order to see closedness, we write \(\rho _{i,i+1}^{(N+1)}:=\textrm{tr}_{\lnot (i,i+1)}\big [\rho ^{(N+1)}\big ]\) and define
on the set of \((N+1)\)-partite density operators. Since f is continuous, the set \(S_{N+1}:=f^{-1}\big (\{0\}\big )\) is closed and thus compact. Hence, \(R_{N+1}:=\textrm{tr}_{\lnot (1,2)}[S_{N+1}]\) is compact as the image of a compact set under a continuous map. Finally, since \(R_{N+1}\) is the set of bipartite density operators that can be extended to an \((N+1)\)-partite state with equal successive bipartite marginals, we see that \(\textrm{Red}_d=\bigcap _{N\in \mathbb {N}} R_{N+1}\) is compact as it is an intersection of compact sets. \(\square \)
Given a two-body Hamiltonian described by a Hermitian operator h acting on \(\mathbb {C}^d\otimes \mathbb {C}^d\), we define \(h_{i,i+1}:=\mathbb {1}^{\otimes (i-1)}\otimes h\otimes \mathbb {1}^{\otimes (N-i-1)}\) acting on \((\mathbb {C}^d)^{\otimes N}\). The corresponding ground state energy density in the thermodynamic limit (\(N\rightarrow \infty \)) is then
where the infimum is taken over all N-partite density operators \(\rho ^{(N)}\).
The following is well known [23], but we provide proof for a more self-consistent and coherent presentation.
Proposition 2
For every two-body Hamiltonian h the corresponding ground state energy density in the thermodynamic limit is given by
Proof
First note that compactness of \(\textrm{Red}_d\) (Proposition1) guarantees the existence of a minimizer. The r.h.s. of Eq. (6) can be seen to be an upper bound on \(\epsilon \) by restricting the infimum in Eq. (5) to density operators with equal bipartite marginals. This leads to
In order to obtain an inequality in the other direction, we add an additional interaction between the N’th and the first particle so that the resulting overall Hamiltonian becomes cyclic on a ring of size N. Since the change in energy is at most \(\Vert h\Vert \), we can bound
Here, we have identified the \(N+1\)’st with the first site in Eq. (7) and used for Eq. (8) that the energy of a translational invariant Hamiltonian with periodic boundary condition is minimized by a translational invariant state, that is, in particular, by a state with equal bipartite marginals. \(\square \)
Theorem 2
For \(d\ge 2\), the set \(\textrm{Red}_d\) is not semialgebraic over \(\mathbb {R}\).
Proof
We will show this by proof of contradiction, starting from the assumption that \(\textrm{Red}_d\) is semialgebraic. On an interval \(I\subseteq \mathbb {R}\) consider a mapping \(I\ni \gamma \mapsto h(\gamma )\) into the set of Hermitian matrices on \(\mathbb {C}^d\otimes \mathbb {C}^d\) with the property that each matrix entry of \(h(\gamma )\) is a polynomial function of \(\gamma \). We may, for instance, consider a simple affine relation of the form \(h(\gamma )=h_0+\gamma h_1\).
Regarding \(h(\gamma )\) as a parameter-dependent interaction Hamiltonian, the graph of the corresponding ground state energy density \(\epsilon (\gamma )\) on the interval I (a semialgebraic set) can be expressed as
Under the assumptions that h is polynomial and \(\textrm{Red}_d\) semialgebraic over \(\mathbb {R}\), the Tarski-Seidenberg theorem guarantees that the set defined in Eq. (9) is semialgebraic since all equations are polynomial and all quantifiers run over semialgebraic sets. The fact that the quantifiers in Eq. (9) are not at the beginning is not an obstacle since every first-order formula can be brought to prenex normal form, which is used in Theorem 1.
Consequently, \(I\ni \gamma \mapsto \epsilon (\gamma )\) is a semialgebraic function and therefore piecewise algebraic over \(\mathbb {R}\). Hence, the proof is completed by any example whose ground state energy density is transcendental over \(\mathbb {R}\) (despite the fact that \(\gamma \mapsto h(\gamma )\) is polynomial). The next section will provide such an example for the case \(d=2\). This also covers the case of higher dimensions by simply embedding smaller Hilbert spaces into larger ones. \(\square \)
4 Transcendental ground state energy density
As a special example for the completion of the proof of Theorem 2, we consider the anisotropic XY-model, which is specified by the two-body Hamiltonian
Theorem 3
In the thermodynamic limit, the ground state energy density \(\epsilon (\gamma )\) of the anisotropic XY-model is an analytic function that is transcendental over \(\mathbb {R}\).
Proof
The ground state energy density in the thermodynamic limit was derived in [18] and shown to be
where E(z) is the complete elliptic integral of the second kind. Suppose that \(\epsilon \) is algebraic over \(\mathbb {R}\) in some neighborhood. Since the set of algebraic functions is closed under composition, the same would be true for E. The function E is known to be an analytic solution to the hypergeometric differential equation
for \((a,b,c)=(-1/2,1/2,1)\) (see 17.3.10 and 15.5.1 in [1]). Due to the analyticity of E, we can extend the view to the complex plane such that a supposed polynomial relation over \(\mathbb {R}\) would imply one over \(\mathbb {C}\).
Differential equations of the kind of Eq. (12) have an algebraic solution if and only if they have a finite monodromy group (cf. Thm. 5.11 in [13]). For Eq. (12), these cases were completely characterized by Schwarz in [22], who determined a complete list of corresponding triples (a, b, c) (summarized, e.g., in Tab.2 of [4]), which does not contain \((a,b,c)=(-1/2,1/2,1)\). Consequently, E and therefore also \(\epsilon \) are transcendental functions over \(\mathbb {R}\). \(\square \)
5 Extensions and implications
The fact that \(\textrm{Red}_d\) is not semialgebraic over \(\mathbb {R}\) implies that no algebraic ansatz (with or without transcendental parameters) can describe the set exactly without invoking a limit of infinitely many variables. The best-known example is the set of matrix product states with increasing bond dimension. This raises the question of whether supplementing algebraic methods with transcendental functions could enable a finitary, explicit description of \(\textrm{Red}_d\). In [11], for instance, entropy constraints, which are known to be transcendental [3, 8], are used in addition.
Evidence against such finitary descriptions we can see from two sides: First, functions related to elliptic integrals [as in Eq. (11)] can often be shown to be non-elementary [15, 16] in the sense that they cannot be expressed in terms of algebraic and elementary transcendental functions—neither explicitly nor implicitly. At the moment, however, we do not know exactly what the implications are for \(\textrm{Red}_d\). We will therefore pursue a second line of thought more closely.
We want to allow the additional use of the exponential function \(\exp \) (and thereby implicitly also of \(\ln \)). To this end, denote by \(\mathbb {R}_{\exp {}}:=(\mathbb {R},+,\cdot ,\exp {},<,0,1)\) the ordered field of real numbers with exponentiation, and call a subset \(A\subseteq \mathbb {R}^n\) definable in the first-order language of \(\mathbb {R}_{\exp {}}\) if \(a\in A \Leftrightarrow \Phi (a)\) for some first-order formula \(\Phi \). That is, there is a \(k\in \mathbb {N}\) and a Boolean combination \(\phi \) of finitely many (in-)equalities of polynomialFootnote 1 and exponential functions in \(n+k\) real variables, s.t.
where each \(Q_i\in \{\exists ,\forall \}\) is a quantifier. Unlike for \(\mathbb {R}\) there is no quantifier elimination for \(\mathbb {R}_{\exp {}}\) [24]. However, in [20] Macintyre and Wilkie proved that the first-order theory of \(\mathbb {R}_{\exp {}}\) is decidable conditioned on the validity of the following:
Conjecture 1
(Schanuel’s conjecture (cf. Chap.21 in [19])) If \(z_1,\ldots ,z_n \in \mathbb {C}\) are linearly independent over \(\mathbb {Q}\), then \(\{z_1,\ldots ,z_n,\exp {z_1},\ldots ,\exp {z_n}\}\) contains at least n algebraically independent numbers.Footnote 2
Schanuel’s conjecture can be considered the central conjecture of transcendental number theory. The best-known proven special case is the one where all \(z_i\)’s are algebraic numbers. Then this becomes the content of the Lindemann-Weierstrass theorem.
Returning to the set of reduced density matrices, we obtain the following:
Theorem 4
Assuming Schanuel’s conjecture, there exists a \(d\in \mathbb {N}\) such that the set \(\textrm{Red}_d\) is not definable in the first-order language of \(\mathbb {R}_{\exp {}}\).
Proof
By the results of [2, 9] there is a \(d\in \mathbb {N}\) and a family of interaction Hamiltonians h on \(\mathbb {C}^d\otimes \mathbb {C}^d\) with matrix entries in \(\mathbb {Q}[\sqrt{2}]\) (and thus expressible in \(\mathbb {R}_{\exp {}}\)) such that the ground state energy density problem
is undecidable. Assuming that \(\textrm{Red}_d\) was definable in the first-order language of \(\mathbb {R}_{\exp {}}\), then Eq. (14) would be expressible as a sentence in the first-order language of \(\mathbb {R}_{\exp {}}\). So according to the result of Macintyre and Wilkie [20], Eq. (14) would be decidable if we assume Schanuel’s conjecture. \(\square \)
As shown in [7], Schanuel’s conjecture in Theorem 4 can be replaced by the so-called transfer conjecture, which also implies decidability of the first-order theory of \(\mathbb {R}_{\exp {}}\). Moreover, there are closely related results that do not rely on any unproven conjecture. For instance, it was proven in [21] that sentences in the first-order theory of \(\mathbb {R}_\textrm{trans}\), for a transcendental function \(\textrm{trans}\in \{\exp ,\ln ,\arctan ,\ldots \}\), are decidable if only the outermost quantified variable occurs in the transcendental function.
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
with algebraic coefficients.
A set of numbers is called algebraically independent if there is no nonzero multivariate polynomial with coefficients in \(\mathbb {Q}\) that has these numbers as roots.
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York City, ninth Dover printing, tenth GPO printing edition, (1964)
Bausch, J., Cubitt, T.S., Lucia, A., Perez-Garcia, D.: Undecidability of the spectral gap in one dimension. Phys. Rev. X 10, 031038 (2020)
Blakaj, V., Manai, C.: Transcendental properties of entropy-constrained sets: Part ii, (2023), arXiv:2302.09645
Bod, E.: Algebraicity of the Appell-Lauricella and Horn hypergeometric functions. J. Differ. Equ. 252(1), 541–566 (2012)
Baumgratz, T., Plenio, M.B.: Lower bounds for ground states of condensed matter systems. New J. Phys. 14(2), 023027 (2012)
Basu, S., Pollack, R., Coste-Roy, M.F.: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics. Springer, Berlin Heidelberg (2007)
Berarducci, A., Servi, T.: An effective version of Wilkie’s theorem of the complement and some effective o-minimality results. Annals Pure Appl. Logic 125(1), 43–74 (2004)
Blakaj, V., Wolf, M.M.: Transcendental properties of entropy-constrained sets. Annales Henri Poincaré 24(1), 349–362 (2023)
Cubitt, T., Perez-Garcia, D., Wolf, M.M.: Undecidability of the spectral gap. Forum Math. Pi 10, e14 (2022)
Coleman, A.J., Yukalov, V.I.: Reduced Density Matrices: Coulson’s Challenge. Lecture Notes in Chemistry. Springer, Berlin Heidelberg (2000)
Fawzi, H., Fawzi, O., Scalet, S.O.: Entropy constraints for ground energy optimization, (2023), arXiv:2305.06855
Fannes, M., Nachtergaele, B., Werner, R.F.: Finitely correlated states on quantum spin chains. Commun. Math. Phys. 144, 443–490 (1992)
Haraoka, Y.: Linear Differential Equations in the Complex Domain: From Classical Theory to Forefront. Lecture Notes in Mathematics. Springer International Publishing (2020)
Haim, A., Kueng, R., Refael, G.: Variational-correlations approach to quantum many-body problems, (2020), arXiv:2001.06510
Kasper, T.: Integration in finite terms: the Liouville theory. Math. Mag. 53(4), 195–201 (1980)
Khovanskii, A.: Topological Galois Theory. Springer, Cham (2014)
Kull, I., Schuch, N., Dive, B., Navascués, M.: Lower bounding ground-state energies of local hamiltonians through the renormalization group, (2022), arXiv:2212.03014
Lieb, E., Schultz, T., Mattis, D.: Two soluble models of an antiferromagnetic chain. Annal. Phys. 16(3), 407–466 (1961)
Murty, R., Rath, P.: Transcendental Numbers. Springer, Cham (2014)
Macintyre, A., Wilkie, A.J.: On the decidability of the real exponential field. In Piergiorgio Odifreddi, editor, Kreiseliana. About and Around Georg Kreisel, pp. 441–467. A K Peters, (1996)
McCallum, S., Weispfenning, V.: Deciding polynomial-transcendental problems. J. Symbolic Comput. 47(1), 16–31 (2012)
Schwarz, H.A.: Über diejenigen Fälle, in welchen die Gaussische hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt. J. für die reine und angewandte Mathematik 75, 292–335 (1873)
Verstraete, F., Cirac, J.I.: Matrix product states represent ground states faithfully. Phys. Rev. B 73, 094423 (2006)
van den Dries, L.: Remarks on Tarski’s problem concerning (R, +, *, exp). In: Lolli, G., Longo, G., Marcja, A. (eds.) Logic Colloquium ’82, volume 112 of Studies in Logic and the Foundations of Mathematics, pp. 97–121. Elsevier, Amsterdam (1984)
Zauner, V., Draxler, D., Vanderstraeten, L., Haegeman, J., Verstraete, F.: Symmetry breaking and the geometry of reduced density matrices. New J. Phys. 18(11), 113033 (2016)
Acknowledgements
VB thanks Bruno Nachtergaele, J. Ignacio Cirac, Georgios Styliaris, Chokri Manai, Amanda Young, and Esther Cruz Rico for insightful discussions. This work has been supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC-2111 390814868, the SFB/Transregio TRR 352—Project-ID 470903074, and the International Max Planck Research School for Quantum Science and Technology at the Max Planck Institute of Quantum Optics.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Blakaj, V., Wolf, M.M. On the set of reduced states of translation invariant, infinite quantum systems. Lett Math Phys 114, 28 (2024). https://doi.org/10.1007/s11005-024-01776-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-024-01776-1