Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
You have accessResearch articles

Emergent entanglement structures and self-similarity in quantum spin chains

Boris Sokolov

Boris Sokolov

QTF Centre of Excellence, Department of Physics, Faculty of Science, University of Helsinki, Helsinki, Finland

Algorithmiq Ltd, Kanavakatu 3C, Helsinki 00160, Finland

InstituteQ - the Finnish Quantum Institute, University of Helsinki, Finland

[email protected]

Google Scholar

Find this author on PubMed

,
Matteo A. C. Rossi

Matteo A. C. Rossi

Algorithmiq Ltd, Kanavakatu 3C, Helsinki 00160, Finland

QTF Centre of Excellence, Center for Quantum Engineering, Department of Applied Physics, Aalto University School of Science, Aalto 00076, Finland

InstituteQ - the Finnish Quantum Institute, Aalto University, Finland

Google Scholar

Find this author on PubMed

,
Guillermo García-Pérez

Guillermo García-Pérez

QTF Centre of Excellence, Department of Physics, Faculty of Science, University of Helsinki, Helsinki, Finland

Algorithmiq Ltd, Kanavakatu 3C, Helsinki 00160, Finland

InstituteQ - the Finnish Quantum Institute, University of Helsinki, Finland

Complex Systems Research Group, Department of Mathematics and Statistics, University of Turku, Turun Yliopisto 20014, Finland

Google Scholar

Find this author on PubMed

and
Sabrina Maniscalco

Sabrina Maniscalco

QTF Centre of Excellence, Department of Physics, Faculty of Science, University of Helsinki, Helsinki, Finland

Algorithmiq Ltd, Kanavakatu 3C, Helsinki 00160, Finland

InstituteQ - the Finnish Quantum Institute, University of Helsinki, Finland

QTF Centre of Excellence, Center for Quantum Engineering, Department of Applied Physics, Aalto University School of Science, Aalto 00076, Finland

Google Scholar

Find this author on PubMed

    Abstract

    We introduce an experimentally accessible network representation for many-body quantum states based on entanglement between all pairs of its constituents. We illustrate the power of this representation by applying it to a paradigmatic spin chain model, the XX model, and showing that it brings to light new phenomena. The analysis of these entanglement networks reveals that the gradual establishment of quasi-long range order is accompanied by a symmetry regarding single-spin concurrence distributions, as well as by instabilities in the network topology. Moreover, we identify the existence of emergent entanglement structures, spatially localized communities enforced by the global symmetry of the system that can be revealed by model-agnostic community detection algorithms. The network representation further unveils the existence of structural classes and a cyclic self-similarity in the state, which we conjecture to be intimately linked to the community structure. Our results demonstrate that the use of tools and concepts from complex network theory enables the discovery, understanding and description of new physical phenomena even in models studied for decades.

    This article is part of the theme issue ‘Emergent phenomena in complex physical and socio-technical systems: from cells to societies’.

    1. Introduction

    During the last few decades, we have witnessed a paradigm shift in one of the most fundamental physical theories ever developed: quantum physics [1]. This paradigm shift was not just motivated by the realization that bizarre quantum effects are also powerful resources for technological applications but, more broadly, it was a gradual change in the perception of the range of applicability of quantum theory itself. While initially considered a theory describing the microscopic realm, it is nowadays clear that quantum theory also has an impact and non-negligible consequences in the macroscopic realm, to the point that quantum coherence seems to be present even in hot and noisy simple biological systems [2].

    In a sense, the need to bridge the gap between the microscopic and macroscopic physical descriptions of reality, arising from the difference in the laws governing large many-body systems and those of their individual components, has been regarded, since the very birth of quantum theory, as both a crucial missing ingredient and a most problematic issue [3]. The quantum measurement problem, or the quantum-to-classical transition, can be clearly seen as an early example of this issue.

    It is only very recently, however, that experiments have been achieving a twofold feat. On the one hand, they have dramatically increased the precision and efficiency of coherent manipulation and measurement of individual quantum systems that are part of large suitably engineered many-body systems. On the other hand, they have been able to perform quantum simulations of such larger systems, e.g. condensed matter systems, under very ‘clean’ and controllable conditions [49]. Moreover, the increase in (classical) computational power, and the development of efficient algorithms, have enabled to investigate numerically the properties of larger many-body quantum systems [10]. Finally, skilful techniques for tomographic reconstruction of both quantum states and channels have been developed [11,12], together with a variety of error mitigation approaches. This means that we are starting to have at our disposal vast experimental and numerical datasets containing an enormous amount of information on the behaviour of quantum many-body systems. A very relevant question is therefore: How do we analyse and extract as much information as possible from these data?

    The impact of this question is evident when noticing that relatively new fields, such as quantum biology and quantum thermodynamics, as well as more established fields, like quantum chemistry and quantum gravity, are nowadays exploring at a deeper level the emergence of complex collective structures, behaviours and phenomena in systems formed by a large number of individual (interacting) quantum systems. This is also relevant for technological applications, from quantum simulators aimed at, e.g. investigating new drugs or designing new materials, to the scaling up of quantum computers and the quantum internet. Under the light of these considerations, it appears clear that the key conceptual ingredient underpinning the development of modern quantum physics, and we dare saying of modern physics at large, is the concept of ‘emergence’, i.e. emergent phenomena and emergent behaviour [13]. There exist many definitions of emergence, and we will not dwell here on the related philosophical debate. It suffices to say that by emergent properties we refer to properties that cannot in principle be reduced to or derived from those of the lower-level constituents composing the many-body (complex) system.

    For classical complex systems, the development of complex network theory, consequent and motivated by the availability of big datasets, has not only provided a theoretical framework to analyse emergent phenomena but, most importantly, has permitted to introduce models explaining their origin. In the quantum realm, however, a similar step has not yet been undertaken, despite the birth and rise of quantum machine learning [14]. We note, indeed, that although machine learning approaches are commonly associated with enormous predictive power in big data scenarios, they oftentimes lack descriptive power.

    We argue that a rigorous way to access and formalize emergent properties and dynamics in quantum complex systems is to merge and, when needed, generalize the approaches and mathematical tools of complex network theory and quantum physics. This amounts to developing the theory of complex quantum networks. Some attempts have been initiated to pursue such a programme [15]. Most of the examples studied fall into two categories: networks of entanglement, wherein connections (links) represent entangled states [1618], and networks of quantum systems where the links are physical interactions [1929]. Only very recently, however, the idea of using a network representation to describe the properties of complex many-body quantum states has been put forward [3032]. The latter is the framework we are interested in here, which, importantly, is markedly different from the idea of graph or cluster state used in quantum information theory [33].

    Very recently, we have demonstrated an approach to efficiently reconstruct, from local measurements on many-body quantum systems, their pairwise properties [34]. The method we have proposed allows one to construct networks of any pairwise quantities, e.g. entanglement, quantum or classical correlations, mutual information and many others. In [34], we illustrate the method with several physical examples, including the case of the XX model. This paper is a natural continuation of our previous results. Here we establish a crucial step in the description of many-body quantum states as complex networks by proving for the first time that the use of this representation, with the annexed theoretical toolbox, can reveal new emergent phenomena even in extensively studied paradigmatic critical quantum spin chain models.

    2. Complex quantum network representation

    In this section, we introduce the quantum network representation of a many-body quantum state, focusing specifically on N-qubit systems. Renowned examples of such states are ground states of quantum spin chains and lattices, which are cornerstone models of condensed matter physics. Many relevant physical properties of these states can be inferred from two-body—or pairwise—quantities, such as correlators of the form σilσjm, where σil and σjm are Pauli operators with i,j{x,y,z} (l and m are spin indices), or quantifiers of bipartite entanglement like concurrence [35,36]. Importantly, efficient techniques for performing two-body tomography have been very recently discovered, making all these pairwise quantities experimentally accessible even for large N [34,37,38]. Furthermore, limiting our attention to pairwise quantities naturally leads to a complex network description of the quantum state, and consequently allows us to borrow tools and techniques from classical complex network theory for studying quantum many-body systems. It is worth stressing that there is no general connection between the pairwise quantum networks considered in the rest of the paper and matrix product states or tensor networks. Generally, tensor networks are mathematical representations of quantum many-body states based on their entanglement structure. Our pairwise quantum networks do not make any assumption on the state, and can be always constructed for any many-body quantum system in any state. In what follows, we introduce the key network-theoretical concepts required to understand and motivate the rest of the paper.

    A complex network is a representation of a complex system in terms of a graph, in which nodes symbolize the individual components of the system and the links represent interactions, correlations, or some other form of relationship between them [3941]. Notable examples include the internet at the autonomous systems level [42], the connectivity among regions of the human brain (or connectome) [43,44], and social relationships in online social networks [45]. Complex networks are the objects of study of network science, which addresses the description and modelling of their structure [46] (or ‘connectivity patterns’), as well as how such structure affects the global behaviour of the system (e.g. the spreading of a disease in human contact networks [47]). Therefore, network theory provides a holistic view of the system under scrutiny, as it studies properties beyond those that can be deduced from or reduced to the ‘microscopic’ rules driving each individual part of it. In this paper, we use a network representation for quantum many-body states in which the nodes are spins and the weighted links (i.e. with an associated positive real number) correspond to the pairwise entanglement between them, quantified in terms of concurrence. We show some examples of these networks for ground states of the XX model in figure 1. Providing a useful description of a network of even a modest number of nodes (e.g. hundreds) can be a challenging task because of the immense amount of degrees of freedom that graphs possess. Generally, a visual depiction of the network, like those in figure 1, is useful for small systems only, so one usually must resort to the quantitative study of different relevant properties of the graph. Local measures quantify aspects of the connectivity in the neighbourhood of a specific node. For instance, the degree of a node i, di, is the number of links intersecting it, whereas its strength si is given by the sum of the weights of those links [41]. Notice that, while both quantities are similar, the degree only takes into account the existence of a link, regardless of its weight, so it quantifies a property of the unweighted structure of the network, also referred to as the topology of the graph in common complex-network parlance. The strength, on the other hand, quantifies a property of the weighted structure. The disparity of a node i, Yi, quantifies the heterogeneity of the distribution of the weights intersecting it [48]. The local clustering coefficient ci, as well as its weighted generalization ciω, characterize the density of links among the neighbours of the node [41,49]. The mathematical definition of each quantity can be found in table 1.

    Figure 1.

    Figure 1. Concurrence networks for N=20 spins for different values of the magnetic field Bk for k=1,2,,10. Each node represents a different spin. The width and colour of the links indicate the value of the concurrence between the corresponding pair, while the sizes of the nodes are proportional to their strength. The colours of the nodes identify the community structure detected by the LPA algorithm (cf. §6). The number of communities is found to be equal to k. (Online version in colour.)

    Table 1. Overview of the local network measures used in this paper. For each measure, we include its definition and a small depiction to illustrate the concept. In the mathematical expressions, ωij is the weight of the link between nodes i and j (which we identify with the concurrence for our network representation of quantum states), and aij are the elements of the adjacency matrix of the network, fulfilling aij=Θ(ωij), where Θ(x) stands for the Heaviside function. Hence, degree and strength account for the number of connections and total weight of a given node, respectively. The red nodes in their respective illustrations have degree d=3 and s=1.8. The clustering coefficient accounts for the fraction of pairs of neighbours of the node that are connected. In the figure, the red node has c=1/3. The weighted version of the clustering used here weights the contribution of each triangle by the geometric mean of the values of the three links involved, normalized by the largest weight in the network, maxlmωlm; in the example graph, the red node has cω0.14. The disparity Yi quantifies the heterogeneity of the distribution of the weights of the connections of the node. If all its connections have equal weights ω=si/di, Yi=1/di (as for the blue node). Instead, if one of the links dominates, the disparity approaches 1. For the red node, Y0.43.

    Inline Graphic

    The distributions of these quantifiers in the network, or the relations between them, often provide a tangible and understandable, albeit limited, description of even very large systems. In this paper, we will also consider the community structure—a so-called mesoscopic property—of the entanglement networks. This refers to a property commonly observed in complex networks, namely, the fact that nodes can be grouped into communities such that the density of links among the members of each community is considerably higher than the overall density in the network.

    3. The XX model

    In the literature of quantum spin Hamiltonians, and generally when studying quantum phase transitions, one often works in the thermodynamic limit or considers closed boundary conditions wherein translational invariance is generally guaranteed. This implies that most two-spin correlation functions, including concurrence, which is built upon them, depend only on the distance between the spins [36,50,51]. However, for realistic experimental scenarios, i.e. for quantum simulators such as those realized with trapped ion systems [52] or cold atoms in optical lattices [53], the quantum systems are neither close to the thermodynamic limit nor have closed boundary conditions. Therefore, the analysis of the full network of pairwise correlations becomes essential. This is also true, for example, for the study of Majorana fermions and topological defects, where edge and bulk display markedly different properties. This is the reason why we consider the XX model with open boundary conditions in this paper.

    We consider a chain of N spins with nearest-neighbours interactions described by the Hamiltonian

    H=J[i=1N12(σxiσxi+1+σyiσyi+1)+Bσzi], 3.1
    with σx,yN+1=0, J the coupling constant, which hereafter we set to unity, and B the magnetic field. In the thermodynamic limit, the system undergoes a first-order quantum phase transition from a fully polarized state to a critical phase exhibiting quasi-long-range order at B=1 [35,36,54]. The model can be solved exactly by means of Jordan–Wigner transformations [5557].

    The structure of the ground state and its energy vary with the magnetic field B and, specifically, they depend on a number of level crossings that the system undergoes as B changes. For B>1, the ground state energy is ϵg0=NB and the ground state, given by |ϕg0=|N, is separable [54]. For 0<B<1, we can identify N level crossings at values of the magnetic field given by Bk=cos[kπ/(N+1)], with 1kN. In each region defined by Bk+1<B<Bk, the ground-state energy is

    ϵgk=(N2k)B2l=1kcos(πlN+1) 3.2
    and the ground state is
    |ϕgk=l1<l2<<lkAl1l2lk|l1,l2,,lk, 3.3
    with |l1,l2,,lk the state with flipped spins at sites l1,l2,,lk, and amplitudes given by
    Al1l2lk=P(1)PSl1P(1)Sl2P(2)SlkP(k),
    where the sum extends over the permutation group of k elements, and where Slk=2/(N+1)sin[(πkl)/(N+1)]. At B=Bk, the ground-state jumps discontinuously from one symmetric subspace to an orthogonal one. This is indicated by energy level crossings shown in figure 2.
    Figure 2.

    Figure 2. Energy levels ϵgk of eigenenergies for N=12 where k[0,N]. Colour spans from k=0 (purple) to k=N (yellow). Ground-state energy level crossings occur at B=Bk. (Online version in colour.)

    Note that k is the quantum number associated with the total magnetization iσzi, which is a constant of motion. Interestingly, following [54,58], one can describe the properties of the ground state in the dual space by introducing the dual basis μn=m<nσxm. These operators create a topological excitation (kink) when acting on an initial fully polarized state. As shown in [58], a single spin flip is equivalent to a kink–antikink pair at two neighbouring dual sites, and any state with k spin flips can be written as a suitable combination of kink–antikink pairs. In [54] the authors notice that, when B>1, the ground state is separable and there are no kinks. Near the critical point B1 the ground state consists of a superposition of states with a single spin-flip, or a sea of condensed kink–antikink pairs. This corresponds, in our network representation, to the upper-left network of figure 1. For smaller and smaller values of B, the size of the kink–antikink pairs decreases and their number increases, see the behaviours of the networks of figure 1, from left to right. At B=0, the ground state has a single kink, with half of the spins pointing down and half pointing up.

    The properties of pairwise concurrence for the XX model were studied in [54], where the authors used a closed expression for all the reduced two-body density matrices to show that pairwise entanglement presents discontinuous jumps at the transition points Bk, and entanglement between two spins in the bulk and at the edge of the chain shows very different behaviour. Specifically, edge entanglement signals the onset of quasi-long range order. We argue that a much more comprehensive view of the properties of the ground state, including new undiscovered features, can be obtained by considering the full pairwise concurrence network. In appendix A, we recall the definition of pairwise concurrence and its analytical expression, explaining how this quantity is used to construct concurrence networks as those of figure 1.

    4. Bulk, edge and symmetry near the quantum phase transition

    We start our analysis of the weighted structure of the state by making use of two local measures: strength and disparity, which we depict for each spin in the chain in figure 3a,b. It can be appreciated that, close to the critical point B=1 (k=0), the local (single-spin) distribution of concurrences is very homogeneous and, moreover, the disparity is essentially constant along the chain. At the same time, the strength curve reveals that pairwise entanglement is much stronger for central spins than for those at the ends of the chain. This behaviour can be related to the fact that, for finite systems, factorization starts from the edges, as shown in [59], resulting hence in zero strength at the boundaries progressively increasing when moving into the bulk. This means, together with the fact that the graph is fully connected (all degrees are equal to N1), that concurrences are actually heterogeneously distributed across the system. Yet, these weights are allocated in such a way that all relative fluctuations at the local level, quantified by the disparity, are equal. This indicates a high level of symmetry in the state right before the quantum phase transition, namely, that the single-spin distributions of concurrence may be very similar for all spins in the chain when appropriately rescaled; this is indeed confirmed in figure 3d. From the network point of view, this suggests that the weights can be written as ωij=αiαj for some local variables {αi}: in such a case, the weights of the links intersecting node i rescaled by their mean value, si/di, are ωij/(liωil/di)=(N1)αj/liαl(N1)αj/lαl, hence approximately independent of i. In fact, in the k=1 concurrence network, αi=2sin(iπ/(N+1))/N+1.

    Figure 3.

    Figure 3. Disparity and strength in entanglement networks. (a) Disparity Yi by node for N=180 and for different values of the magnetic field 0<B<1. Note that the disparity has k1 peaks and its average value increases with k (decreases with B). (b) Strength si of each node for the same states as in (a). The curve corresponding to the kth state presents k maxima. The bar next to the plots indicates the values of the magnetic field B (equivalently, of k/N) to which each colour corresponds. For the sake of clarity, the plots do not include the results for all the values of k. (c) Average strength si and average disparity Yi as functions of B for different values of N (20, 60, 180). (d) Each of the overlapping curves depicts the cumulative distribution of the concurrences of a different spin in the chain, rescaled by the average of the distribution, si/di. Inset, average over all the pairs of spins in the kth state of the Wasserstein distance W between their rescaled local weight distributions. It can be appreciated that this quantity drops to nearly zero for k=1. (Online version in colour.)

    As the magnetic field is decreased (and k increases), we observe the appearance of k1 peaks in the disparity, signalling a local increase in the heterogeneity of pairwise concurrence for centrally located spins. A close inspection of the plots also shows that the outermost (and highest) peaks in Yi correspond to the outermost (and lowest) minima in the strength si, which presents k peaks. In short, we see that there are field-dependent groups of spins near the boundaries exhibiting higher, and more homogeneously distributed, pairwise entanglement, which we may consider as edges. The rest of the spins in the chain, with lower and more heterogeneous local concurrence distribution, will be denoted as the bulk of the chain. Moreover, these regions are very clearly delimited and their size strongly depends on the magnetic field, for fixed N.

    Interestingly, as the magnetic field decreases, the difference between the disparity of the bulk of the chain and the one of the edge decreases until, for B=1/2 (k/(N+1)=1/3) their respective values get inverted, namely the bulk disparity becomes lower than the edge disparity. For very small values of B, one observes a pronounced disparity peak for the two outermost spins of the chain, corresponding to their highest value of pairwise concurrence; this phenomenon is a reflection of the fact that, for small B, the network has a nearest-neighbour chain topology, as a result of which the edge spins have degree equal to one, and hence their disparity can only be equal to one.

    The average behaviour of the network measures is also sensitive to the critical points. This is revealed by the curves of the average disparity Yi and the average strength si, shown in figure 3c, where the discontinuous jumps present for small N gradually become less visible as we approach the thermodynamic limit. The average strength changes discontinuously at the critical point B=1, while the average disparity, measuring entanglement heterogeneity, is undefined for B>1, since concurrence is zero for all pairs. This behaviour is consistent with the fact that, in the thermodynamic limit, the XX model factorizes at B=1, and entanglement becomes infinite-ranged. The divergence of concurrence at the factorization point has been discussed in detail in [54].

    5. Entanglement-topological instabilities

    In this section, we turn our attention towards the topological properties of the entanglement networks, that is, the structural properties of the unweighted graphs in which links represent non-separability, disregarding the numerical value of the concurrence when it is non-zero. For the sake of clarity, we note here that throughout the paper the term topology is used, as commonly done in network theory, to describe the manner in which the links and nodes of a network are arranged to relate to each other.

    We first consider the most elementary network-topological property, the degree di (number of connections of a node i), and compute its average di over the nodes in the network. Interestingly, as we change k, di exhibits abrupt changes at certain level crossings, see figure 4a. For large N and k, the average degree only takes even values, di=2,4,6,. Moreover, the curves of di as a function of k/N collapse as N increases, which implies that these sudden transitions occur at specific values of the magnetic field B, since the latter is a function of k/(N+1)k/N. This is more thoroughly quantified by the results in figure 4b,c. First, we determine the precise values of k at which the transitions take place by identifying the steepest changes in the curves of di versus k/N for every N. As an example, in figure 4b we depict the variation of di between consecutive ground states for N=600, indicating four of the identified peaks, labelled with m for increasing B, with vertical lines. In figure 4c, we show the values of the magnetic field corresponding to each of these peaks, B¯m, as a function of N, from which it is clear that they remain constant as N increases.

    Figure 4.

    Figure 4. Entanglement-topological instabilities. (a) Average degree di as a function of k/N for different system sizes. The change in this quantity becomes increasingly abrupt with increasing system size. (b) Change in the average degree Δdi (calculated via second-order central differences) versus k/N for N=600. The vertical lines indicate the values of k/N at which the derivative is maximal. The points are indexed according to m, which indicates that the network transitions from an m- to an (m+1)-nearest neighbours one-dimensional lattice for increasing B. (c) Position of the four right-most peaks as a function of N in terms of the magnetic field. The transitions remain at fixed values of the field as N increases. (d) Standard deviation of the degree σ(di) of every network as a function of k/N for different system sizes. Notice that the networks become more degree-heterogeneous precisely at the transition points corresponding to the local maxima of the changes of the average degree versus k (indicated by vertical dashed lines). (e) Scaling of the degree heterogeneity σ(di) at the four right-most transition points as a function of N. (f) Scaling of the degree heterogeneity σ(di) at the midpoints between the five right-most peaks as a function of N. The networks become increasingly degree-homogeneous with the system size for values of B different from the transition points (with σ(di)N1/2, grey dashed line), while they preserve the degree heterogeneity at the peaks. (gi) Average concurrence Cl of the links of a given length as a function of N at the peaks m=1 (g), m=2 (h) and m=3 (i). At the transitions, the spurious links of length m+1 that drive the topology away from a degree-regular graph lose their intensity slightly slower than 1/N (dashed lines). Yet, the links of length up to m at the mth peak remain as N increases. (Online version in colour.)

    While the behaviour of the average degree reveals the existence of sudden network-topological transitions, a deeper characterization of the network structure can be obtained by studying the fluctuations of the degree in every network. In particular, we consider the standard deviation of the degree σ(di)=di2di2 as a measure of degree heterogeneity in a network; indeed, σ(di)=0 if all nodes have the same degree. The behaviour of σ(di) as a function of k/N reveals that the networks at the transition points B=B¯m exhibit heterogeneous degree distributions; we name these graphs entanglement-topological instabilities (figure 4d). Furthermore, it can be appreciated that, for k/N different from the values at the peaks—even in their close neighbourhood—the degree heterogeneity σ(di) decreases with increasing system size (figure 4f), deeming these networks unstable with respect to perturbations in the magnetic field. However, the heterogeneity seems to remain invariant with respect to the increase of system size on the peaks, as indicated by the finite-size scaling analysis in figure 4e.

    Our results regarding the off-peak networks are consistent with the findings in [54], where it was shown that, in the thermodynamic limit, concurrence is non-zero only for pairs of spins up to distance m, where m depends on the magnetic field. Hence, the resulting networks must be m-nearest-neighbours lattices, and all degrees are consequently equal to 2m. However, the instabilities are characterized by the presence of spurious links of longer length lm+1 inhomogeneously distributed across the system, resulting in nodes of different degrees. To conclude our analysis, we show the values of the pairwise concurrence for these spurious links causing the degree heterogeneity in figure 4gi. We depict the average concurrence of the links of a given length l in the first three instabilities (m=1,2,3) as a function of N, from which it is clear that the links of length lm do not depend on the system size, while the concurrence of the spurious ones, with l=m+1, decreases. In this sense, the phenomenon here discovered is a characteristic of finite size spin chains.

    6. Emergent entanglement structures

    The network measures used so far reveal local, i.e. microscopic, structures within the network. It is well known, however, that networks may also possess mesoscopic structures, which are not uncovered at the level of single nodes, reflecting their behaviour as a whole. Examples are the network community structures describing the heterogeneity in the density of links or in the values of the weights within different subsets of the nodes of the network. We call community a subset of nodes with higher density of connections within the subset than with the rest of the network. The presence of communities is linked to a non-trivial topology of the network: regular and completely random graphs typically do not show any community structure.

    Uncovering the community structure of a given graph is an important and computationally demanding task in the analysis of complex networks named community detection. Many algorithms have been developed and are being developed with the goal of finding the community structure of large networks quickly and accurately [60]. In this paper, we apply a state-of-the-art algorithm, based on label propagation (LPA) [61]. The choice is mainly based on the availability of an open-source implementation, and on the possibility to take the weights into account in the community detection. Specifically, we use a semi-synchronous LPA introduced in [62] and included in the NetworkX Python package [63]. The code has been slightly modified to consider weighted links. We expect other algorithms to give similar results.

    The principle of the algorithm is the following: each node is initially assigned a different community label. Then, by following a certain update schedule, the label of a node is changed into the label with the highest frequency among the node’s neighbours (optionally weighted using the edge weight). The update schedule in the semi-synchronous algorithm is based on a graph colouring such that no neighbouring nodes have the same colour. All the labels of the vertices belonging to the same colour are updated at once, for all the colours in the network. Ties can occur if there is more than one label with the same highest frequency between the neighbours (this can happen, in particular, when considering unweighted networks). In the case of a tie, the latter is resolved deterministically using a so-called Prec–Max method [62]: if the current label of the node is among the labels with highest frequency, then do not change it; otherwise, choose the label with the highest preassigned priority (for example, if each label is an integer number, give priority to the largest number).

    An example of the communities detected with LPA is shown in figure 1, where nodes with the same colour belong to the same community. Notice that the algorithm is not provided with any knowledge of the spatial relation among the nodes. In fact, it is completely model-agnostic, in the sense that it is designed to work on arbitrary weighted graphs that may represent any sort of data. Yet, the entanglement structures identified by community detection method have well-defined spatial locations. For small N, the community structure is clearly visible from the network representation, as one can see in figure 1. For small k, there are few large communities of nodes with non-zero pairwise entanglement. By increasing k, the size of the communities is reduced, up to the limit for k=N/2, where all the communities have size 2, and correspond to pairs of highly entangled spins.

    Strikingly, for each value of k, the algorithm detects nc=k communities for any N on the weighted networks, as figure 5a shows (there are some small fluctuations, likely due to numerical errors). As a consequence, the average size of the communities is s¯c=N/k. Moreover, the distribution of community sizes is highly peaked around the mean, as shown in figure 5b. It is worth stressing that identifying precisely k communities for large k is especially remarkable considering our description of the network topology in the previous section. Indeed, for low B, the graphs are essentially m-nearest-neighbours lattices for a wide range of k, so the difference in the community structure is far less obvious than the top-left networks in figure 1. In fact, when fed the unweighted networks (that is, with all the weights transformed as ωijΘ(ωij)), the inferred community structure changes considerably, as can be seen from the blue curves in figure 5a. The curves of number of detected communities nc versus k show plateaus where nc is roughly constant, interrupted by dips that appear at the same values of k/N for which the average degree changes abruptly (cf. figure 4a,b). Hence, we conclude that, in this regime, the community structure is encoded in the dependence of the concurrence with respect to the position along the chain.

    Figure 5.

    Figure 5. Community structure of concurrence networks. (a) Number of communities in the concurrence network over N, nc/N, as a function of k/N, for N=100,200,500,600,960, by treating the edges as unweighted (blue) and weighted (green). In the weighted case, the number of detected communities is exactly equal to k (with some fluctuations due to numerical errors), regardless of N. In the unweighted case, for increasing N the curve nc/N versus k/N presents plateaus with dips for the same values of k/N seen in figure 4a,b and 4d. (b) Community sizes sc versus k for N=50. The colour indicates the fraction of communities with a given size. The black dashed line shows N/k, while the red points indicate the average size s¯c of the detected communities. (Online version in colour.)

    Recalling the physical interpretation of k as the quantum number associated with the total magnetization, one may argue that the emergent entanglement structures reflect a global symmetry of the system. Specifically, we conjecture that the emergent entanglement structures that we observe in the spin chain stem from the structure of the kink–antikink pairs in the dual representation described in [54,58].

    7. Structural classes and self-similarity

    The network representation also reveals an interesting behaviour of the ground state entanglement structure with respect to changes in the system size. In figure 6a, we show the weighted clustering coefficient, characterizing the density of pairwise entanglement among the neighbours of a node (spin), of 16 central spins in the chain for N[500,506] (17 for odd N) at B=1/2. Surprisingly, the addition of a single spin results in a completely different entanglement connectivity pattern in the bulk. What is more, these different patterns exhibit a cyclic self-similarity, in the sense that the addition of three spins results in the same clustering profile. As a result, the local connectivity of the concurrence network can be classified into different structural classes. This phenomenon is also observed for other values of the magnetic field with different periods. This is depicted in figure 6bd, where we plot the mean local clustering coefficient of the 100 central spins as a function of N.

    Figure 6.

    Figure 6. Size-periodicity in the network structure. (a) Structural classes revealed by mean local clustering coefficient of nodes at the centre of the spin chain. The indices are shifted so that the central spin (or inter-spin space for even N) lies at the centre of the plot. Solid lines with symbol correspond to even N, while dashed lines show the profile for odd N. Blue, green and purple dashed lines correspond to N=503,505,507, respectively, hence exhibiting the same profile as their even counterparts with equal colour. Moreover, N=506 has been included in order to show the nearly perfect overlap with the curve for N=500. (bd) Periodicity of the structures quantified through the local clustering averaged over 100 central spins in the chain as a function of N. In each plot, the value of the magnetic field was initially fixed as B=cos(π/s) in order to set the expected mean community size to some chosen value s, since s=(N+1)/ks¯c. Then, for each value of N, we choose k=(N+1)arccos(B)/π and compute the mean local clustering coefficient for the central spins in the corresponding state. The values of s, corresponding magnetic field and predicted period are: (b) s=3.5, B0.624, p=7, (c) s=3.8, B0.677, p=19, (d) s=3.1, B0.529, p=31. Vertical dashed orange lines are drawn with period p to ease the identification of our heuristic prediction. (Online version in colour.)

    Remarkably, the period of this cyclic behaviour depends on the magnetic field in a way that seems to be closely related to the emergent entanglement structures explored in the previous section. In particular, we conjecture that, if the mean community size, s¯c=N/k, is a rational number s¯c=p/q, with p and q coprime integers, the period is given by p. These periods are indicated with vertical lines in figure 6bd. While they perfectly match the period of the mean local clustering in these examples, it should be noted that the periodicity of the structure is not always so clear (e.g. when p is very large). However, understanding whether this is a consequence of considering too small sizes requires further research and will be studied elsewhere.

    Our conjecture is greatly motivated by figure 5b; more specifically, by the fact that the distribution of community sizes sc for large k appears to have support mainly over at most two values, s¯c and s¯c+1 (where x represents the integer part of x) with different weights 1f and f, respectively, such that

    s¯c=s¯c(1f)+(s¯c+1)f. 7.1
    This suggests that the network is organized in groups of S spins such that each group contains an integer number of communities of size s¯c and s¯c+1 in the same proportions as the rest of the network. Hence, one would expect that the addition of precisely S spins would enable the system to organize with a similar network structure. The smallest number of spins S with integer amounts of communities of both sizes in those proportions corresponds to p.

    To see this, notice that from equation (7.1), we have that the fraction of larger communities f is given by the decimal part of s¯c,

    f=s¯cs¯c=(pmodq)q. 7.2
    The value of S can be computed by considering that the number of spins in communities of size s¯c+1 in each such group, Sρs¯c+1 (where ρs¯c+1=(s¯c+1)f/[(s¯c+1)f+s¯c(1f)]=(s¯c+1)f/s¯c is the density of spins in communities of size s¯c+1), is a multiple of s¯c+1. In other words, Sρs¯c+1/(s¯c+1)=Sf/s¯c=S(pmodq)/p must be integer. A similar analysis for the communities of size s¯c leads to S(qpmodq)/pN. If S fulfils the first condition, fulfilling the second requires Sq/pN and, therefore, S must be a multiple of p, given that p and q are coprime.

    To conclude this section, we note that periodicity in the entanglement structure, as the one we have discussed here for finite-size systems, can also be found in infinite spin systems when a defect is inserted in the chain. This phenomenon is due to the fact that local impurities break the natural spatial symmetry of the infinite chain. In [64], the authors show spatial modulation in concurrence, similar to the one predicted for the finite open-boundary case, for an infinite system with local impurity.

    8. Conclusion

    The characterization and analysis of the properties of many-body quantum states is a daunting task due to the exponential increase in degrees of freedom as the number of particles increases. A novel and, until now, rather unexplored approach is the use of a representation of the quantum state in terms of networks of pairwise quantities, such as entanglement, mutual information, discord and so on. This representation is particularly useful for systems that do not possess translational invariance, wherein the properties of such correlations do not depend on the distance between the particles only. Moreover, these networks can be obtained efficiently in experimental scenarios, requiring only a logarithmic amount of measurement settings in the system size [34,37,38].

    In this paper, we demonstrate the power of such a representation by applying it to a paradigmatic model of magnetism and showing that it allows us to bring to light new physical characteristics in the ground state of this critical system. Specifically, we unveil (i) the existence of emergent entanglement community structures connected to the conservation of the global magnetization in the spin chain, (ii) the presence of topological instabilities accompanying the onset of quasi-long-range-order, and (iii) self-similarity in the bulk of the pairwise entanglement network.

    We have introduced a toolbox of methods and approaches commonly used in complex network theory and demonstrated its usefulness in advancing our knowledge on the complex structure of many-body quantum states. We believe that such a toolbox may prove to be of key importance in the exploration of emergent structures in quantum systems of increasing size and complexity, with implications in quantum biology, quantum simulations, quantum computing and quantum chemistry.

    Data accessibility

    The code and data used in this manuscript are available at the following public GitHub repository: https://github.com/matteoacrossi/emergent-entanglement-structures.

    Competing interests

    We declare we have no competing interests.

    Funding

    The authors acknowledge financial support from the Academy of Finland via the Centre of Excellence program (Project no. 336814). G.G.-P. acknowledges support from the emmy.network foundation under the aegis of the Fondation de Luxembourg. B.S. acknowledges financial support from the Jenny and Antti Wihuri Foundation. The computer resources of the Finnish IT Center for Science (CSC) and the FGCI project (Finland) are acknowledged.

    Appendix A

    In this appendix, we introduce the definition of concurrence and illustrate how the pairwise entanglement networks are defined and constructed. Concurrence is a measure of entanglement between two two-level systems, described by density matrix ρ, defined as follows [65]:

    C(ρ)max(0,λ1λ2λ3λ4), A 1
    where λ1,,λ4 are the eigenvalues, in decreasing order, of the Hermitian matrix
    R=ρρ~ρ,with A 2
    ρ~=(σyσy)ρ(σyσy), where ρ is the complex conjugate of ρ. The concurrence ranges from C=0 to C=1 for separable and maximally entangled states, respectively. The properties of pairwise concurrence for the XX model were studied in [54], where it was shown that its analytical expression reads as follows:
    Cl,m=2max{0,|e|a+a}, A 3
    where l,m identifies the pair of spins in the chain and
    e=12σxlσxmanda±=14[1±σzl±σzm+σzlσzm].} A 4
    The pairwise concurrence is calculated using equation (A 1) and the reduced density operator ρl,m, obtained from the total density operator describing the state of the N spins, see equation (3.3), by partial trace over the degrees of freedom of all spins l,m.

    The analytical expressions of transversal and longitudinal two-point correlation functions σzlσzm and σxlσxm, respectively, have been derived in [54] and are reported here below. The longitudinal correlation function is given by

    σxlσxm=|Gl,l+1Gl,l+2Gl,mGl+1,l+1Gl+1,l+2Gl+1,m............Gm1,l+1Gm1,l+2Gm1,m,| A 5
    with Gl,m=δl,mgl,m, and gl,m=2r=1kSlrSmr. The transversal correlation function is given by
    σzlσzm=(1gl,l)(1gm,m)gl,m2. A 6
    Finally, the local magnetization is given by
    σzl=1gl,l. A 7

    By using the expressions above, one can calculate analytically pairwise concurrence for all pairs of spins and construct in this way the networks of figure 1, where the value of pairwise concurrence is the weight of each network link. We note that the availability of an analytical expression for the concurrence makes it possible to calculate numerically concurrence network measures for high numbers N of spins, as it is needed, for example, to study their scaling (figure 3). Specifically, the computational difficulty of the process of generating a pairwise state of a particular N-spin chain is mostly governed by equation (A 5) as determinant complexity scaling is approximately O(N3).

    Footnotes

    One contribution of 17 to a theme issue ‘Emergent phenomena in complex physical and socio-technical systems: from cells to societies’.

    Published by the Royal Society. All rights reserved.