Abstract
Theoretical research into many-body quantum systems has mostly focused on regular structures which have a small, simple unit cell and where a vanishingly small fraction of the pairs of the constituents directly interact. Motivated by advances in control over the pairwise interactions in many-body simulators, we determine the fate of spin systems on more general, arbitrary graphs. Placing the minimum possible constraints on the underlying graph, we prove how, with certainty in the thermodynamic limit, such systems behave like a single collective spin. We thus understand the emergence of complex many-body physics as dependent on ‘exceptional’, geometrically constrained structures such as the low-dimensional, regular ones found in nature. Within the space of dense graphs we identify hitherto unknown exceptions via their inhomogeneity and observe how complexity is heralded in these systems by entanglement and highly non-uniform correlation functions. Our work paves the way for the discovery and exploitation of a whole class of geometries which can host uniquely complex phases of matter.
Similar content being viewed by others
Introduction
Research into many-body quantum physics has predominantly involved setups with local interactions and a high degree of spatial symmetry. Such a focus is natural, with the short-range, homogeneous nature of the resulting Hamiltonian being a reasonable reflection of reality in naturally occurring materials, and also beneficial, since such features can be exploited in order to render the Hamiltonian soluble with computational methods.
Recent experimental advances, however, have made it clear that many-body quantum physics need not be limited to such geometries. In Rydberg simulators1,2,3,4,5, for example, free placement of the individual atoms is now possible using optical tweezers. Moreover, in a range of other platforms—which include atoms trapped in cavities6 or photonic waveguides7, Moiré Heterostructures8, trapped ions9 and superconducting circuits10—experimentalists are demonstrating increasing control over the pairwise interactions and geometries in the Hamiltonians that they can realise. For instance, proposals now exist to use trapped ion arrays to engineer many-body spin Hamiltonians defined over arbitrary graphs11,12 whilst a recent experiment successfully probed the out-of-equilibrium behaviour of a spin model with all-to-all interactions13.
In general, the limitations on the geometries which can be realised are continually being lowered and open up the tantalising possibility of exploring and utilising many-body quantum physics on a wide range of complex graph structures, including those which are well-established in the social14 and biological15,16 sciences.
Despite this experimental progress, from a theoretical perspective, there is little understanding of the physics of many-body Hamiltonians when hosted on structures that are not either all-to-all setups17 or sparsely connected, low-dimensional lattices. The last decade has seen significant interest in low-dimensional lattices with long-range interactions18,19,20,21,22, yet despite the increased connectivity, the underlying system is still translationally invariant. The fate of many-body physics on more general structures is unknown.
In this work, we rectify this by approaching the many-body problem in an entirely new way. We take a generic spin s Hamiltonian which encompasses a wide range of celebrated many-body models and treat the geometry as a parameter itself, encoding it in an underlying graph upon which the spins reside and interact via the edges. We then uncover the physics of the system when placing various levels of constraints on the graph. First, we place the minimal possible constraints on the graph and prove that in thermal equilibrium for a graph chosen uniformly at random from all possible simple graphs, almost surely, there is an absence of many-body physics, and only collective, mean-field physics is possible. We achieve this by proving that, with increasing certainty and accuracy as the graph size L increases, the free energy density on such a graph can be approximated with that for a single collective spin, as indicated in Fig. 1.
Our result is based on the fact that, for the Erdős–Rényi (ER) graph as L → ∞, there exists no partition (cut) where the number of edges between the partitions differs significantly from its expected value. We then show that even for random graphs constrained to have a non-trivial cut the system can asymptotically almost surely (i.e. with probability tending to 1 as L → ∞) be reduced to a pair of interacting, large spins—a result also depicted in Fig. 1. The emergence of complex, many-body physics is thus dependent on exceptional, highly structured graphs which are strongly distinct from almost all other graphs. We discuss how the sparse, regular lattices which commonly arise in nature are such an exception and go on to discover a hitherto unknown class of exceptional graphs that violate our proofs and where complex, many-body physics emerges: irregular dense graphs.
We illustrate these results. Taking the limit of our Hamiltonian which involves the competition between anti-ferromagnetic and XY couplings, we demonstrate how the nature of the underlying phase transition changes from non-existent, to first-order, to second-order, when considering random graphs chosen from the space of all graphs, all graphs with a non-trivial cut and dense inhomogeneous graphs, respectively. Using a well-established measure from image classification we demonstrate how, for the irregular dense graphs, the second-order phase transition coincides with significant complexity in images of the off-diagonal correlations in the system. Such a feature, which is not specific to the limit taken on our Hamiltonian, highlights the uniqueness of the ground state on these structures and cannot occur in sparse, translationally invariant structures. Our work here establishes the fate of many-body physics on a wide range of graphs and uncovers a new class of structures where a novel, non-collective states of matter can emerge.
Results
Model and Hamiltonian
We start by defining an arbitrary simple graph via \({{{{{{{\mathcal{G}}}}}}}}={{{{{{{\mathcal{G}}}}}}}}(V,\,E)\) where V is the L = ∣V∣ vertices and E is the NE = ∣E∣ edges. On each vertex of the graph, we place a spin s particle and have these spins interact with each other via the unweighted edges of the graph and be affected by a global field. The Hamiltonian for the total energy reads
with \({\hat{h}}_{v,{v}^{{\prime} }}\) and \({\hat{h}}_{v}\) being, respectively, one and two-body operators acting on the subscripted vertices. We take \({\hat{h}}_{v,{v}^{{\prime} }}={J}_{x}{\hat{s}}_{v}^{x}{\hat{s}}_{{v}^{{\prime} }}^{x}+{J}_{y}{\hat{s}}_{v}^{y}{\hat{s}}_{{v}^{{\prime} }}^{y}+{J}_{z}{\hat{s}}_{v}^{z}{\hat{s}}_{{v}^{{\prime} }}^{z}\) where \({J}_{x},\,{J}_{y},\,{J}_{z}\in {\mathbb{R}}\). The canonical spin operator \({\hat{s}}_{v}^{\alpha }\) acts on spin V in the α = x, y or z direction. We also set \({\hat{h}}_{v}=\overrightarrow{w}\cdot {\overrightarrow{s}}_{v}^{\alpha }\) where \(\overrightarrow{w}=({w}_{x},\,{w}_{y},\,{w}_{z})\in \mathbb{R}^{3}\) and \({\overrightarrow{s}}_{v}^{\alpha }=({\hat{s}}_{v}^{x},\,{\hat{s}}_{v}^{y},\,{\hat{s}}_{v}^{z})\). The scaling we have applied to the first term in \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) means that its largest eigenvalue (by absolute value) will scale as \({{{{{{{\mathcal{O}}}}}}}}(L)\) and thus the energy per spin is always finite, independent of the choice of the graph.
The Hamiltonian \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) encompasses a range of notable models of quantum magnetism and is a valid descriptor of non-magnetic systems such as fermions in the strongly interacting limit23 or bosons with a maximum on-site occupancy24. Throughout this work we will supplement our analytical results with numerical calculations for the limit of \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) which describes the competition between spin–spin correlations along the z and x−y spin-axes, respectively, i.e. where \(\overrightarrow{w}=0\) and Jx = Jy. We should emphasize that the coupling strengths in our Hamiltonian are isotropic, meaning our results do not apply to setups such as the SYK model, where the individual strengths are random and thus anisotropic.
The average graph
To be as general as possible we will assume nothing about our simple graph \({{{{{{{\mathcal{G}}}}}}}}\) other than its size and draw it uniformly at random from the space of all simple graphs with L vertices. Such a process is equivalent to drawing the graph from the Erdős–Rényi (ER) ensemble25 with edges appearing independently with probability p = 1/2. We will reference an instance of a graph from the ER ensemble with edge probability p as \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)\) and reference our Hamiltonian on this graph via \(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p))\). In the case, p = 1 then \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)\) is equivalent to the complete graph \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}}\)—the simple, unweighted graph on L vertices where all edges are present.
In order to determine the equilibrium physics of \(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p))\) we focus on the structure of the two-body operators, \({\sum }_{(v,{v}^{{\prime} })\in E}{\hat{s}}_{v}^{\alpha }{\hat{s}}_{{v}^{{\prime} }}^{\alpha }\) in \(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p))\). The problem of finding the eigenspectrum of these operators is equivalent to finding the number of edges cut for all possible partitions of the underlying graph into 2s + 1 sets of vertices. On an ER graph with non-vanishing p there exist strict bounds on this quantity and it cannot deviate significantly from its expected value26,27. In the Supplementary Information (SI) we utilise such observations to derive a strict bound on the maximum eigenvalue (by magnitude) of \(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p))-\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}})\) and subsequently prove the following theorem:
Theorem 1
Let \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)\) be an instance of the Erdős–Rényi graph with finite edge probability 0 < p ≤ 1 and L vertices. Let \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}}\) be the complete graph on L vertices. Define the free-energy density of a dL × dL matrix as \(f(\hat{A})=-\frac{1}{L\beta }\ln \left({{{{{{{\rm{Tr}}}}}}}}({e}^{-\beta \hat{A}})\right)\), where \(\beta \in {{\mathbb{R}}}_{\ge 0}\) is the inverse temperature. Then, for a given spin s and an arbitrary set of values for the microscopic parameters {Jx, Jy, Jz, wx, wy, wz},
Moreover, for finite large L, we have \(|f(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)))-f(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}}))|=\!\!{{{{{{{\mathcal{O}}}}}}}}({L}^{-1/2})\,\,\,\forall \beta \in {{\mathbb{R}}}_{\ge 0}\).
From Theorem 1 it follows that all thermodynamic observables (i.e. ones that can be written as a function of the free energy density) are equivalent for the equilibrium states \(\rho ({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p))\) and \(\rho ({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}})\), with \(\rho ({{{{{{{\mathcal{G}}}}}}}})\propto \exp (-\beta \hat{H}({{{{{{{\mathcal{G}}}}}}}}))\). The finite-size corrections, dictate that, for a single draw of the ER graph, the difference between such observables scales as \({{{{{{{\mathcal{O}}}}}}}}({L}^{-1/2})\). Due to their decreasing nature, these statistical fluctuations about the average can be, with high probability, ignored for large L—with the limit L → ∞ of \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)\) being a single graph known as the Rado graph28. Thus when drawing a single graph from the space of all graphs (i.e. setting p = 1/2) the equilibrium properties of the system will, with increasing certainty and accuracy as L increases, be equivalent to those of \(\rho ({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}})\). In the SI we also provide numerical calculations supporting the bound we derive on the maximum eigenvalue of \(\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p))-\hat{H}({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{Complete}}}}}}}}})\).
To the best of our knowledge, this is the first proof of the equivalence between the ER and complete graph free energy densities for the general, quantum Hamiltonian in Eq. (1). Whilst such an equivalence has been proven for the classical Ising model29, our theorem encompasses this classical case and applies to a much broader range of Hamiltonians—both classical and quantum.
Theorem 1 leaves us with a remarkable conclusion: the equilibrium physics described by \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\), where \({{{{{{{\mathcal{G}}}}}}}}\) is sampled from the space of all simple graphs, is not many-body. This is because the free energy density as L → ∞ is equivalent to that for a Hamiltonian built solely from the collective spin operators \({\hat{S}}^{\alpha }={\sum }_{v}{\hat{s}}_{v}^{\alpha }\) with α = x, y or z. The eigenstates of such a Hamiltonian are collective, mean-field states of matter such as condensates and uniform product states.
We reinforce these results in Fig. 2, where we perform matrix product state (MPS) calculations of the ground state of the spin 1/2 XXZ Hamiltonian on the ER graph with p = 1/2. This Hamiltonian is explicitly defined in the Methods section, along with the order parameters CXY and CAFM for the XY and AFM (anti-ferromagnetic) phases, respectively. In the thermodynamic limit, we can use Theorem 1 to identify the Dicke state (see SI) \({\left|\psi \right\rangle }_{{{{{{{{\rm{GS}}}}}}}}}=\left|L/2,M\right\rangle\) with M finite as the ground state independent of the z−z interaction strength Δ > 0.
In Fig. 2 we observe, explicitly, the convergence, as L increases, of the ground-state to this condensate for all values of Δ—in agreement with Theorem 1. Whilst on a finite-size system we observe a ground-state transition between the XY and AFM phases, we find that the critical point drifts and disappears as L → ∞ due to an apparent scaling of \({\Delta }_{c} \sim {{{{{{{\mathcal{O}}}}}}}}(\sqrt{L})\) (see SI). We also calculate the variance of our observables (see the “Methods” section for definition) with respect to different draws of the graph from the ER ensemble. This variance decreases with L, indicating that the ground-state properties are converging to a single fixed limit for L → ∞, where we can make statements about them with certainty. In the SI we use MPS methods to also demonstrate this convergence for the ground state of the Transverse Field Ising Model on an ER graph.
It is clear then that one must therefore pick exceptional graphs—i.e. graphs from subspaces of the space of all graphs which are vanishingly small with respect to the full space—in order to witness more complex, strongly-correlated states. These exceptions are graphs with some non-trivial cut where, even as L → ∞, the number of edges between partitions deviates significantly from its expected value. We will now consider such graphs.
Graphs with a non-trivial cut
We take a simple graph of L sites along with a bi-partition of these sites into two sets A and B comprising λL and (1−λ)L sites respectively (0 < λ < 1/2). We assume nothing other than that the ratio α of the number of edges between sites in different sets to the number of edges in the whole graph NE differs from its expected value of 2λ(1−λ), even as L → ∞. We reference a graph constructed uniformly at random from this ensemble as \({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2})\), where p1 and p2 are finite numbers that can be directly related to α and \({N}_{E}({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2}))\) (see the “Methods” section).
In the SI we prove a theorem that dictates that the free energy density for \(\hat{H}({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2}))\) is equivalent, in the thermodynamic limit, to that of an effective Hamiltonian which is built solely from the collective operators \({\hat{S}}_{A}^{\alpha }={\sum }_{v\in A}{\hat{s}}_{v}^{\alpha }\) and \({\hat{S}}_{B}^{\alpha }={\sum }_{v\in B}{\hat{s}}_{v}^{\alpha }\). This leads to another striking conclusion: if one were to randomly select a graph from those with a non-trivial cut they would find, as L increases, that the system realised by \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) is increasingly similar to that of a pair of interacting collective spins. Whilst the physics of such a system is richer than that for the ER ensemble, it is still collective and not many-body.
In Fig. 3 we apply our MPS calculations to the s = 1/2 XXZ limit of \(\hat{H}({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2}))\). We directly observe an emergent first-order transition between an XY phase and an AFM phase. The properties of the ground state in the XY regime demonstrate convergence towards the condensate \(\left|L/2,0\right\rangle\) whilst, in the AFM regime, the properties are that of the product state where the spins in the sets A and B polarise in opposite directions along the spin-z-axis. These results are in agreement with our reduction of the system to a pair of collective spins, which predicts (see SI) a critical point of
Again, we are averaging the ground-state properties over draws of the graph from its corresponding ensemble. With increasing L the peak in the variance appears to be tending towards a delta function centered on Δc, where we do not expect the variance to vanish due to the first-order discontinuity.
What is the key property of the graphs \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)\) and \({{{{{{{\mathcal{G}}}}}}}}(\lambda,{p}_{1},{p}_{2})\) which allows the equilibrium physics of \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) to be reducible to a collective spin model? Despite the fact they are not invariant under a given permutation of two spins, our proof tells us that the statistical fluctuations which break these symmetry fluctuations cannot affect the thermodynamic properties of the system. As a result, we can ignore them as L → ∞ and work with a simpler Hamiltonian built solely from collective spin operators. The equilibrium properties of the system can then be calculated with a semi-classical solution. It is worth emphasizing that such a solution does not capture the quantum fluctuations which are included in our numerics and present in the true ground state in the form of non-zero entanglement entropy and simultaneous long-range order along the x and y spin axes.
These results necessitate searching for exceptional structures where complex, truly many-body physics is manifest. Sparse, regular structures like the hypercubic lattice are the well-known exception as our proofs are reliant on the graph being dense (i.e. NE/L2 cannot vanish as L → ∞). Theoretical results for various limits of \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) on such structures are numerous and their capacity to host complex, many-body states of matter is well established30,31,32,33,34. Despite being so strongly distinct from the average case, such structures are ubiquitous in nature. Our results suggest that if these exceptional structures were not commonplace, the world around us would not be able to exhibit such complex, rich behaviour.
Irregular dense graphs
Importantly, within the space of dense graphs we are able to discover hitherto unknown exceptional structures which can host complex many-body phases of matter. As far as we are aware, such structures have never before been treated in the realm of many-body physics. Specifically, in the following, we consider ‘irregular dense graphs’ where, even as L → ∞, we cannot split the sites into a finite number of sets where sites in the same set have identical values of ZV/L, with ZV the coordination number of a given site V. Such a statement is not true of \({{{{{{{{\mathcal{G}}}}}}}}}_{{{{{{{{\rm{ER}}}}}}}}}(p)\) and \({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2})\).
As a prototypical example of an irregular dense graph, we consider one drawn from the ensemble of graphs where the degree of each site is assigned a value uniformly in the range [L/4, 3L/4]. Details on how we construct an instance of this graph are given in the “Methods”. We perform MPS calculations to find the ground state of the XXZ model on this inhomogeneous structure, with the results pictured in Fig. 4. Again, the general reduction in the variance of observables as L increases suggests that there is a well-defined thermodynamic limit for this ensemble, with an emergent continuous phase transition between the XY and AFM phases. We find, by numerical fitting, the associated order parameters follow a power law for Δ > Δc ≈ 2.
We expand on these results further by considering, in Fig. 5, the ‘maximally irregular’ graph where every site, other than one pair of sites by necessity, has a different degree. We observe an emergent second-order phase transition on this graph with the same functional scaling of the order parameters as in Fig. 4. Unlike the other graphs considered in this work, the ground state of the system does not always possess \(\langle {\hat{S}}^{z}\rangle=0\) and its variation with Δ is responsible for the discrete changes in the observables in Fig. 5.
As a measure of the complex, inhomogeneous nature of the ground state on the maximally irregular graph, we calculate the Shannon entropy (SE) of the matrices of two-point z−z and x−x correlations (see the “Methods” section for definition) as a function of Δ. These matrices can be viewed as images of the correlations in the system with each two-point correlation constituting a ‘pixel’ whose value is bounded between 1 and −1. The SE of this image then specifies the amount of information contained within it and is a widely used measure in image reconstruction and classification algorithms35,36. Here we apply this measure to the image of correlations in a quantum system, noting that it vanishes if all two-point correlations are the same (such as in the Dicke state \(\left|L/2,M\right\rangle\)) and is maximised when the correlations are distributed uniformly across [−1, 1].
In Fig. 5 we observe a sharp increase in the SE for the x and z correlations at the critical point, with the z−z correlations close to maximising this entropy and meaning that the corresponding correlation matrix cannot be compressed without a loss of information37. The phase transition in the maximally irregular graph is thus heralded by a vast amount of complexity in the system’s correlations and along all spin-axes. In the SI we compare this entropy for the graphs considered in this work as well as the 1D chain. The entropy is largest for the irregular dense graphs and these are the only ones where it does not diminish with system size and is non-zero simultaneously in the x, y and z degrees of freedom as L → ∞. We also perform calculations for the Transverse Field Ising limit of \(\hat{H}({{{{{{{\mathcal{G}}}}}}}})\) on the maximally irregular graph and observe similar behaviour in this entropy as L → ∞ in the vicinity of the critical point.
Unlike other existing measures of complexity in quantum states such as the average disparity38, features like translational invariance are accounted for by our measure and reduce the informational complexity associated with a quantum state. Given that there is no disorder or anisotropy in the microscopic parameters of our Hamiltonian, such results warrant our interpretation of irregular dense graphs as a new class of geometries on which many-body systems can exhibit novel, complex phases of matter.
Discussion
Our results open up a number of promising avenues for future research. Numerical methods in Condensed Matter physics have been optimised over the last few decades to treat quantum systems hosted on regular, sparse, translationally invariant structures. Our work instigates the need to alter existing methods, in order to account for more complex, inhomogeneous geometries and allow us to probe the physics, both in and out-of-equilibrium, of such systems.
In an equilibrium context, it would be important to understand how geometric irregularity affects the properties of various Hamiltonians—including those with anisotropic, random couplings17. In an out-of-equilibrium setting, a number of questions arise about how exotic phenomena such as time-crystalline order39,40, quantum synchronisation41,42, and heating-induced order43 are affected in the presence of such geometric irregularity. These results could enable the engineering of quantum states of matter in many-body simulators with new, geometrically enabled functionalities.
Methods
For our numerical results, we used state-of-the-art Matrix Product State (MPS) calculations for the XXZ s = 1/2 limit of Eq. (1). The Hamiltonian in this limit reads
which corresponds to setting, in Eq. (1), Jx = Jy = −J, Jz = Δ, \(\overrightarrow{w}=0\) and \({\hat{s}}_{v}^{\alpha }={\hat{\sigma }}_{v}^{\alpha }\)—dropping the factor of 1/2 in front of the Pauli matrix \({\hat{\sigma }}_{v}^{\alpha }\) for simplicity. We restrict ourselves to Δ ≥ 0, set J = 1 and define order parameters for the XY and anti-ferromagnetic (AFM) phases, respectively, via
These take a non-zero value in their respective phases, vanish in the opposing phase and, importantly, can be calculated for the ground state on any graph. The XXZ Hamiltonian has rotational symmetry around the spin-z-axis meaning \(\langle {\hat{\sigma }}_{v}^{x}{\hat{\sigma }}_{v}^{x}\rangle=\langle {\hat{\sigma }}_{v}^{y}{\hat{\sigma }}_{v}^{y}\rangle\) for the ground state. The parameter CXY thus quantifies the simultaneous off-diagonal order in the x and y degrees of freedom.
In this work, we also introduce the Shannon Entropy of the spin-correlations in a given state as
where pi is the fraction of elements of the L × L matrix \(\langle {\hat{\sigma }}_{v}^{\alpha }{\hat{\sigma }}_{{v}^{{\prime} }}^{\alpha }\rangle\) which are between −1 + 2i/n and −1 + 2(i + 1)/n. The integer n is the number of bins used to ‘bin up’ the matrix elements. We use n = 256 throughout in order to make the connection between \(\langle {\hat{\sigma }}_{v}^{\alpha }{\hat{\sigma }}_{{v}^{{\prime} }}^{\alpha }\rangle\) and a grayscale image of the correlations in the system. This entropy measure is bounded as \(0\le H(\langle {\hat{\sigma }}_{v}^{\alpha }{\hat{\sigma }}_{{v}^{{\prime} }}^{\alpha }\rangle )\le {\log }_{2}(n)\) and can be interpreted as the amount of information required to encode the distribution or image of off-diagonal correlations in a state.
Our DMRG calculations often involve ensemble-averaging the ground state properties over a series of random graphs drawn from a corresponding ensemble for a given Δ and L. In order to assess the convergence of the order parameters CXY and CAFM to a well-defined thermodynamic limit we calculate their variances Var(CXY) and Var(CAFM). These are defined as
for n draws of the graph from its ensemble and where \(\bar{C}\) is the average of the ground state order parameter for these different draws. For a given L and Δ, the variance then tells us the fluctuation in the ground state properties when averaging over random instances of the given graph ensemble. As the order parameters have been appropriately normalised by the size of the graph the variance will allow us to infer the convergence of the ground state properties in the thermodynamic limit. We discuss explicit details of our matrix product state calculations and implementation in the Supplementary Information. We also provide an analysis of the truncation errors and energy convergence involved in our DMRG calculations. The ground state in our calculations typically has a bi-partite entanglement entropy that scales logarithmically with the partition size and makes it tractable using a bond dimension proportional to the system size. Such a scaling has previously been observed in the Lipkin–Meshov–Glick model44 (an all-to-all XY model with a transverse field) and here we observe it for the XXZ model on a range of dense graphs.
In the main text, we introduced the non-trivial cut graph where we assumed nothing but that there exists some bi-partition of the L vertices into two sets, size λL and (1−λ)L, and where the cut-size α (i.e. the ratio of the number of edges between the two sets to the total number of edges in the graph NE) is not equal to its expected value 2λ(1−λ). We can construct such a graph by taking L sites, partitioning them into the two corresponding sets, and randomly assigning edges between sites in the same set with probability p1 and between sites in different sets with probability p2. The values of α and NE are then approximately
which becomes exact as L → ∞, with each unique pair of values of p1 and p2 uniquely specifying NE and α. As a result, the parameters p1 and p2 can be interchanged freely with α and NE in this limit and lead us to define an instance of this graph as \({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2})\). Provided p1 ≠ p2 and 0 < λ < 1 then we find α ≠ 2λ(1−λ), meaning \({{{{{{{\mathcal{G}}}}}}}}(\lambda,\,{p}_{1},\,{p}_{2})\) has a non-trivial cut. Our construction routine—given its independent treatment of edges—will uniformly sample over all graphs with L vertices, a number of edges NE and non-trivial cut-size α.
We also introduced the uniform variate graph where the degree of each site follows the discrete uniform distribution \({{{{{{{\mathcal{U}}}}}}}}(L/4,3L/4)\). We have used lower and upper bounds sufficiently separated from 0 and L−1 to avoid creating non-graphical degree distributions. To generate a given graph from this ensemble, we draw the degree distribution by randomly generating the degree of each site—repeating until a sum of the degrees is even—and then using the Havel Hakimi (HH)45 algorithm to generate a graph with the given degree distribution. Such a routine does not sample uniformly from the space of all graphs with degrees drawn from the distribution \({{{{{{{\mathcal{U}}}}}}}}(L/4,\,3L/4)\) due to the high assortativity46 bias in the HH algorithm. We are, however, unaware of an algorithm that can generate unbiased samples of dense, inhomogeneous graphs with a given degree distribution. Hence, our results are for the ensemble of graphs with degrees drawn from the distribution \({{{{{{{\mathcal{U}}}}}}}}(L/4,\,3L/4)\) and generated by the HH algorithm.
Data availability
The data that was used to create the plots within this paper is provided as source data .
Code availability
The Network Python (TeNPy) library47, which can be used to perform the simulations in the article, is available at https://tenpy.readthedocs.io/en/latest/. The programming scripts used to obtain the source data in this manuscript are available from the corresponding author upon reasonable request.
References
Barredo, D., de Léséleuc, S., Lienhard, V., Lahaye, T. & Browaeys, A. An atom-by-atom assembler of defect-free arbitrary two-dimensional atomic arrays. Science 354, 1021–1023 (2016).
Endres, M. et al. Atom-by-atom assembly of defect-free one-dimensional cold atom arrays. Science 354, 1024–1027 (2016).
Norcia, M. A., Young, A. W. & Kaufman, A. M. Microscopic control and detection of ultracold strontium in optical-tweezer arrays. Phys. Rev. X 8, 041054 (2018).
Gambetta, F. M., Li, W., Schmidt-Kaler, F. & Lesanovsky, I. Engineering nonbinary Rydberg interactions via phonons in an optical lattice. Phys. Rev. Lett. 124, 043402 (2020).
Browaeys, A. & Lahaye, T. Many-body physics with individually controlled Rydberg atoms. Nat. Phys. 16, 132–142 (2020).
Choi, J. et al. Robust dynamic Hamiltonian engineering of many-body spin systems. Phys. Rev. X 10, 031002 (2020).
Hung, C.-L., González-Tudela, A., Cirac, J. I. & Kimble, H. J. Quantum spin dynamics with pairwise-tunable, long-range interactions. Proc. Natl Acad. Sci. USA 113, E4946–E4955 (2016).
Kennes, D. M. et al. Moiré heterostructures as a condensed-matter quantum simulator. Nat. Phys. 17, 155–163 (2021).
Islam, R. et al. Emergence and frustration of magnetism with variable-range interactions in a quantum simulator. Science 340, 583–587 (2013).
Wilkinson, S. A. & Hartmann, M. J. Superconducting quantum many-body circuits for quantum simulation and computing. Appl. Phys. Lett. 116, 230501 (2020).
Korenblit, S. et al. Quantum simulation of spin models on an arbitrary lattice with trapped ions. N. J. Phys. 14, 095024 (2012).
Monroe, C. et al. Programmable quantum simulations of spin systems with trapped ions. Rev. Mod. Phys. 93, 025001 (2021).
Xu, K. et al. Probing dynamical phase transitions with a superconducting quantum simulator. Sci. Adv. 6, eaba4935 (2020).
Newman, M. E. J., Watts, D. J. & Strogatz, S. H. Random graph models of social networks. Proc. Natl Acad. Sci. USA 99, 2566–2572 (2002).
May, R. M. Network structure and the biology of populations. Trends Ecol. Evolution 21, 394–399 (2006). Twenty years of TREE - part 2.
van Wijk, B. C. M., Stam, C. J. & Daffertshofer, A. Comparing brain networks of different size and connectivity density using graph theory. PLoS ONE 5, 1–13 (2010).
Baldwin, C. L. & Swingle, B. Quenched vs annealed: glassiness from SK to SYK. Phys. Rev. X 10, 031026 (2020).
Defenu, N. et al. Long-range interacting quantum systems. arXiv:2109.01063 (2021).
Maity, S., Bhattacharya, U. & Dutta, A. One-dimensional quantum many body systems with long-range interactions. J. Phys. A: Math. Theor. 53, 013001 (2019).
Pagano, G. et al. Quantum approximate optimization of the long-range Ising model with a trapped-ion quantum simulator. Proc. Natl Acad. Sci. USA 117, 25396–25401 (2020).
Chen, X. & Zhou, T. Quantum chaos dynamics in long-range power law interaction systems. Phys. Rev. B 100, 064305 (2019).
Buyskikh, A. S., Fagotti, M., Schachenmayer, J., Essler, F. & Daley, A. J. Entanglement growth and correlation spreading with variable-range interactions in spin and fermionic tunneling models. Phys. Rev. A 93, 053620 (2016).
Cleveland, C. L. & Rodrigo Medina, A. Obtaining a Heisenberg Hamiltonian from the Hubbard model. Am. J. Phys. 44, 44–46 (1976).
Schmid, G., Todo, S., Troyer, M. & Dorneich, A. Finite-temperature phase diagram of hard-core bosons in two dimensions. Phys. Rev. Lett. 88, 167208 (2002).
Erdős, P. & Rényi, A. On random graphs I. Publ. Math. Debr. 6, 290 (1959).
Krivelevich, M. & Sudakov, B. Pseudo-random Graphs 199–262 (Springer Berlin, Heidelberg, 2006).
Bertoni, A., Campadelli, P. & Posenato, R. An upper bound for the maximum cut mean value. In: Graph-Theoretic Concepts in Computer Science. WG 1997. Lecture Notes in Computer Science, vol 1335, pp 78-84. Springer, Berlin, Heidelberg.
Erdős, P. & Rényi, A. On the evolution of random graphs. Publ. Math. Inst. Hung. Acad. Sci. 5, 17–61 (1960).
Bovier, A. & Gayrard, V. The thermodynamics of the Curie–Weiss model with random couplings. J. Stat. Phys. 72, 643–664 (1993).
Da Liao, Y. et al. Phase diagram of the quantum Ising model on a triangular lattice under external field. Phys. Rev. B 103, 104416 (2021).
Cuccoli, A., Tognetti, V. & Vaia, R. Two-dimensional XXZ model on a square lattice: a Monte Carlo simulation. Phys. Rev. B 52, 10221–10231 (1995).
Gu, S.-J., Tian, G.-S. & Lin, H.-Q. Ground-state entanglement in the XXZ model. Phys. Rev. A 71, 052322 (2005).
Wessel, S. & Troyer, M. Supersolid hard-core bosons on the triangular lattice. Phys. Rev. Lett. 95, 127205 (2005).
Langari, A. Quantum renormalization group of XYZ model in a transverse magnetic field. Phys. Rev. B 69, 100402 (2004).
Zhang, H., Fritts, J. E. & Goldman, S. A. Entropy-based objective evaluation method for image segmentation. In Storage and Retrieval Methods and Applications for Multimedia 2004 (eds Yeung, M. M., Lienhart, R. W. & Li, C.-S.) 5307, 38–49 (International Society for Optics and Photonics, SPIE, 2003).
Li, C., Lin, D., Feng, B., LO, J. & Hao, F. Cryptanalysis of a chaotic image encryption algorithm based on information entropy. IEEE Access 6, 75834–75842 (2018).
Shannon, C. E. A mathematical theory of communication. Bell Syst. Tech. J. 27, 379–423 (1948).
Buča, B., Tindall, J. & Jaksch, D. Non-stationary coherent quantum many-body dynamics through dissipation. Nat. Commun. 10, 1730 (2019).
Sacha, K. & Zakrzewski, J. Time crystals: a review. Rep. Prog. Phys. 81, 016401 (2017).
Giergiel, K., Dauphin, A., Lewenstein, M., Zakrzewski, J. & Sacha, K. Topological time crystals. N. J. Phys. 21, 052003 (2019).
Tindall, J., Muñoz, C. S., Buča, B. & Jaksch, D. Quantum synchronisation enabled by dynamical symmetries and dissipation. N. J. Phys. 22, 013026 (2020).
Roulet, A. & Bruder, C. Quantum synchronization and entanglement generation. Phys. Rev. Lett. 121, 063601 (2018).
Tindall, J., Schlawin, F., Sentef, M. & Jaksch, D. Lieb’s theorem and maximum entropy condensates. Quantum 5, 610 (2021).
Latorre, J. I., Orús, R., Rico, E. & Vidal, J. Entanglement entropy in the Lipkin–Meshkov–Glick model. Phys. Rev. A 71, 064101 (2005).
Havel, V. A remark on the existence of finite graphs. Časopis pro Pěstování Matematiky 80, 477–480 (1955). In Czech.
Newman, M. E. J. Mixing patterns in networks. Phys. Rev. E 67, 026126 (2003).
Hauschild, J. & Pollmann, F. Efficient numerical simulations with tensor networks: Tensor Network Python (TeNPy). SciPost Phys. Lect. Notes 5, (2018). Code available from https://github.com/tenpy/tenpy.
Acknowledgements
The simulations used to produce the computational results of our work were run on the University of Oxford Advanced Research Computing (ARC) facility and involved over 100,000 h of exclusive use of nodes each equipped a with 48-core 2.9 GHz Intel Cascade Lake Processor. J.T. is grateful for ongoing support through the Flatiron Institute, a division of the Simons Foundation. D.J. and J.T. acknowledge funding from EPSRC grant EP/P009565/1. D.J. also acknowledges funding from the Cluster of Excellence ‘Advanced Imaging of Matter’ of the Deutsche Forschungsgemeinschaft (DFG)—EXC 2056—project ID 390715994. A.S. acknowledges funding from the UK Engineering and Physical Sciences Research Council as well as from the Smith-Westlake scholarship.
Author information
Authors and Affiliations
Contributions
J.T. provided the idea for the project, formulated the proofs and wrote the manuscript. J.T., A.S. and A.A. ran the numerical simulations and analysed the data. J.T. and D.J. edited the manuscript with help from A.S. and A.A. All authors contributed substantially to discussions on the results and ideas contained therein. D.J. oversaw and managed the overall project.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Peer review
Peer review information
Nature Communications thanks Alexander Mirlin, and the other, anonymous, reviewer for their contribution to the peer review of this work. Peer reviewer reports are available.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Source data
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 license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license 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 license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tindall, J., Searle, A., Alhajri, A. et al. Quantum physics in connected worlds. Nat Commun 13, 7445 (2022). https://doi.org/10.1038/s41467-022-35090-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-022-35090-y
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.