Abstract
We present an example of an electronic wavefunction with maximally entangled MPS representation, in the sense that the bond dimension is maximal and cannot be lowered by any re-ordering of the underlying one-body basis. Our construction works for any number of electrons and orbitals.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It has long been recognized that matrix product states (MPS) yield accurate representations of quantum chemical wavefunctions. Such representations lie at the heart of the QC-DMRG method, a state-of-the-art method for strongly correlated systems [1,2,3,4,5]. However, exactness requires exponentially large matrices with respect to the system size and the quality of the approximation is governed by the size of the discarded singular values of the corresponding unfoldings \(\psi ^{\mu _1, \ldots ,\mu _k}_{\mu _k+1,\ldots ,\mu _L}\) [5, 6].
Unlike in spin chains with identical sites, where the required matrix sizes are connected to the entanglement between subsystems which is in turn governed by area laws [7,8,9,10], the situation in quantum chemistry is more complicated. The role of the sites is then taken by the system’s molecular orbitals, and the matrix ranks, the singular values, and the overall approximation quality is strongly influenced by the ordering of the orbitals [3, 11,12,13,14]. Reordering the orbitals corresponds to changing the topology of the tensor network underlying the MPS; see Fig. 1. As turns out, standard examples with maximal entanglement such as the fermionic Bell states (see below) have the feature that the largest matrix rank (or bond dimension) for L molecular orbitals occupied by \(N= L/2\) electrons drops from maximal, \(2^{L/2}\), to just 2 independently of L, under optimal re-ordering.
Here we present an explicit, rather more intricately correlated state whose bond dimension stays at the maximal value \(2^{L/2}\), regardless of any re-ordering.
2 MPS representation
Given a suitable orthonormal set \(\{\varphi _1, \ldots ,\varphi _L\}\) of molecular spin orbitals, typically consisting of occupied and unoccupied Hartree–Fock orbitals, recall the exponential-sized full-CI expansion of an electronic wavefunction which reads, in N-particle, respectively, Fock space,
Here the \(|\varphi _{i_1},\ldots ,\varphi _{i_N}\rangle \) are Slater determinants and
The MPS approximation consists in the ansatz
where the \(A_k[\mu _k]\) are matrices of size \(1 \times M\) (for \(k=1\)), \(M \times M\) (for \(k=2, \ldots ,L-1\)), and \( M\times 1\) (for \(k=L\)) for some moderate value of M.
3 Fermionic Bell states
Next, we argue that prototype examples of strong entanglement from spin physics and QIT—like Bell states—are in fact only weakly entangled in the MPS sense if re-ordering of the “sites” is allowed. Of course re-ordering only makes sense for molecular orbitals, not sites in 1D spin chains.
For N electrons occupying \(L=2N\) orbitals \(\{\varphi _1,\ldots , \varphi _L\}\), one can easily write down a fermionic analogon to the standard Bell states.
Set \(\psi _k : = \big ( \varphi _k + \varphi _{k+N} \big )/\sqrt{2}\) for \(k=1,\ldots ,N\) and consider the Slater determinant \(\Psi :=|\psi _1, \ldots , \psi _N \rangle \). It is then not hard to see (e.g., [15]) that its minimal MPS representation in the basis \(\big (\varphi _k\big )_k\) has bond dimension \(2^N\).
Now apply a re-ordering which puts paired-up orbitals next to each other,
We claim that in the new basis \(\big ({\tilde{\varphi }}_k\big )_k\), \(\Psi \) has an MPS representation with bond dimension just 2. Indeed
where \({\tilde{\Phi }}\) is specified as in (2) and the matrices \(A_k\) are
Here \(\ell = 1,\ldots , N-1\) and \(\delta ^{k}_\nu \) denotes the Kronecker delta.
4 Maximally entangled state
To construct a state whose bond dimension cannot be reduced by any re-ordering, we start off by recalling an old result by Besicovitch [16]; let \(p_1, \ldots p_s\), be different primes. Then
Theorem 1
(Corollary 1 in [16]) A polynomial \(P(\sqrt{p_1}, \ldots , \sqrt{p_s})\) with rational coefficients and degree w.r.t. each entry less than or equal to 1, not all equal to zero, cannot vanish.
Now we consider the set \({\mathcal {P}}:=\{ \sqrt{p_j}: p_j \text { prime} \}\). Then every matrix A whose elements belong to \({\mathcal {P}}\) and are pairwise different has maximal rank, since—for every square submatrix B—\(\det (B)\) is exactly a polynomial of the above form.
Now define the state \(\Psi _{\mathcal {P}}\) by
where the coefficients \(\lambda _{i_1,\ldots ,i_N}\) are mutually different elements of \({\mathcal {P}}\) and the second equation gives the occupation representation with \(\psi _{\mu _1,\ldots , \mu _L}\) corresponding to \(\lambda _{i_1,\ldots ,i_N}\) as in (2). Then every unfolding \(\psi ^{\mu _{1}, \ldots ,\mu _k}_{\mu _{k+1},\ldots , \mu _L}\) is a matrix of the above form and thus has maximal rank. In particular [17], \(\Psi \) has maximal bond dimension.
Furthermore if we consider any new ordering, that is, we change our orbitals according to \((\varphi _1,\ldots ,\varphi _L) = Q (\tilde{\varphi }_1, \ldots ,\tilde{\varphi }_L) \) with \(Q \in {\mathbb {R}}^{L\times L}\) a permutation matrix, then we cannot decrease the rank of any unfolding. Indeed, it is easy to see that we then obtain the following representation:
with
where \(q_{ij}\) denotes the elements of Q. Since Q is a permutation, exactly one determinant will be non-zero. Thus every unfolding still contains the same elements but only their positions change. But by construction of the set \({\mathcal {P}}\), the position within the unfolding \( {\tilde{\psi }}^{\mu _{1}, \ldots ,\mu _k}_{\mu _{k+1},\ldots , \mu _L}\) is irrelevant as long as all entries are different elements of \({\mathcal {P}}\). Hence the unfolding still has full rank. Therefore \(\Psi _{\mathcal {P}}\) still has maximal bond dimension.
We remark that in contrast to orderings, arbitrary fermionic mode transformations, i.e., choosing the transformation Q above as a unitary, can always somewhat decrease the bond dimension. In the two-particle case (\(N=2\)), this can even achieve the optimal bond dimension of 3, for an arbitrary number of orbitals L [18].
5 Singular value distribution
We have also numerically calculated the singular value distribution of our example states for different values of N and L and different orderings (such as the widely used Fiedler order [11]) using the code tensor-train-julia [19].
Figure 2 corresponds to \(N=6\), \(L=12\), and a random choice of \(\left( {\begin{array}{c}L\\ N\end{array}}\right) \) primes of size less than \(2^{N+L}\). The different orderings shown are the original (canonical) order, the Fiedler order [11], and the more recent best weighted prefactor order [15]. In particular all \(2^{L/2}\) singular values are non-zero, as predicted.
The singular values are seen to decay extremely slowly, and exhibit a remarkable almost-invariance under re-ordering. A less extreme but related observation, that the bond dimension cannot be lowered much by re-ordering, was made in an interesting numerical study of strongly correlated states in the 1D Hubbard model [20]. By contrast, for weakly correlated states re-ordering typically reduces the tail by several order of magnitude [15].
Physically, the slow decay in Fig. 2 means that for the state \(\Psi _{\mathcal {P}}\), any two subsystems obtained by partitioning the molecular orbitals into two equal-size parts are strongly entangled.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: In Figure 2 we took a random choice of L choose N random primes of size less than \(2^{(N+L)}\). The shape of the plot and all the implications drawn in the paper do not depend on this particular choice. We always obtained the same overall pattern for any random selection of primes. Even averaging over thousands of different samples did not change the profile of the plot. So, since Fig. 2 just provides a generic example and is in no way special, there is no scientific data to provide.]
References
S.R. White, R.L. Martin, Ab initio quantum chemistry using the density matrix renormalization group. J. Chem. Phys. 110, 4127 (1999)
H.-G. Luo, M.-P. Qin, T. Xiang, Optimizing hartree-fock orbitals by the density-matrix renormalization group. Phys. Rev. B 81, 235129 (2010)
O. Legeza, J. Röder, B.A. Hess, Controlling the accuracy of the density-matrix renormalization-group method: the dynamical block state selection approach. Phys. Rev. B 67, 125114 (2003a)
S. Szalay, M. Pfeffer, V. Murg, G. Barcza, F. Verstraete, R. Schneider, O. Legeza, Tensor product methods and entanglement optimization for ab initio quantum chemistry. Int. J. Quantum Chem. 115, 1342 (2015)
U. Schollwöck, The density-matrix renormalization group. Rev. Mod. Phys. 77, 259 (2005)
W. Hackbusch, Tensor Spaces and Numerical Tensor Calculus, vol. 42 (Springer, Berlin, 2012)
M.B. Plenio, J. Eisert, J. Dreißig, M. Cramer, Entropy, entanglement, and area: analytical results for harmonic lattice systems. Phys. Rev. Lett. 94, 060503 (2005)
J. Eisert, M. Cramer, M.B. Plenio, Colloquium: area laws for the entanglement entropy. Rev. Mod. Phys. 82, 277 (2010)
K. Van Acoleyen, M. Mariën, F. Verstraete, Entanglement rates and area laws. Phys. Rev. Lett. 111, 170501 (2013)
M.B. Hastings, An area law for one-dimensional quantum systems. J. Stat. Mech Theory Exp. 2007, P08024 (2007)
G. Barcza, O. Legeza, K.H. Marti, M. Reiher, Quantum-information analysis of electronic states of different molecular structures. Phys. Rev. A 83, 012508 (2011)
K. Boguslawski, P. Tecmer, O. Legeza, M. Reiher, Entanglement measures for single- and multireference correlation effects. J. Phys. Chem. Lett. 3, 3129 (2012)
O. Legeza, J. Sólyom, Optimizing the density-matrix renormalization group method using quantum information entropy. Phys. Rev. B 68, 195116 (2003)
O. Legeza, J. Röder, B.A. Hess, QC-DMRG study of the ionic-neutral curve crossing of LiF. Mol. Phys. 101, 2019 (2003b)
M.-S. Dupuy, G. Friesecke, Inversion symmetry of singular values and a new orbital ordering method in tensor train approximations for quantum chemistry. SIAM J. Sci. Comput. 43, B108 (2021)
A.S. Besicovitch, On the linear independence of fractional powers of integers. J. Lond. Math. Soc. 1, 3 (1940)
S. Holtz, T. Rohwedder, R. Schneider, On manifolds of tensors of fixed TT-rank. Numer. Math. 120, 701 (2012)
G. Friesecke, B. Graswald, Two-particle correlation in QC-DMRG, in preperation (2021)
M.-S. Dupuy, Tensor-train-julia (2021). https://github.com/msdupuy/Tensor-Train-Julia. Accessed 3 Apr 2021
Ö. Legeza, F. Gebhard, J. Rissler, Entanglement production by independent quantum channels. Phys. Rev. B 74, 195112 (2006)
Acknowledgements
The authors thank M.-S. Dupuy for helpful discussions. Support from the International Research Training Group IGDK Munich—Graz funded by DFG, Project Number 188264188/GRK1754, is gratefully acknowledged.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
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
Graswald, B.R., Friesecke, G. Electronic wavefunction with maximally entangled MPS representation. Eur. Phys. J. D 75, 176 (2021). https://doi.org/10.1140/epjd/s10053-021-00189-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjd/s10053-021-00189-2