Unveiling the Importance of Longer Paths in Quantum Networks
Abstract
The advancement of quantum communication technologies is calling for a better understanding of quantum network (QN) design from first principles, approached through network science. Pioneering studies have established a classical percolation map** to model the task of entanglement transmission across QN. Yet, this map** does not capture the stronger, yet not fully understood connectivity observed in QNs, which facilitates more efficient entanglement transmission than predicted by classical percolation. In this work, we explore the critical phenomena of the potential statistical theory underlying this enhanced connectivity, known as concurrence percolation. Compared to classical percolation, the concurrence percolation map** employs a unique approach of “superposing” path connectivities, utilizing a different set of path connectivity rules, thereby boosting the overall network connectivity. Firstly, we analytically derive the percolation critical exponents for hierarchical, scale-free networks, particularly the () flower model, characterized by two distinct network length scales, . Our analysis confirms that classical and concurrence percolations, albeit both satisfying the hyperscaling relation, fall into separate universality classes. Most importantly, this separation stems from their different treatment of non-shortest path contributions to overall connectivity. Notably, as the longer path scale increases, concurrence percolation retains unignorable dependence of both its critical threshold and critical exponents on and thus, comparing with its classical counterpart, shows a higher resilience to the weakening of non-shortest paths. This higher resilience is also observed in real-world network topology, e.g., the Internet. Our findings reveal a first principle for QN design: longer paths still contribute significantly to QN connectivity—as long as they are abundant.
The emerging prospect of quantum Internet [1] is driving the field of quantum communication to explore larger and more complex scales, entering the realms of statistical physics [2] and network science [1]. As a response, a quantum network (QN) model [3] has been introduced to explore the potentials of transmitting quantum resource—most notably, entanglement [4]—across complex network topologies. In the QN model, each link represents an identical, partially entangled state , shared between two qubits that come from different nodes [Fig. 1a]. The parameter serves as a “link weight” that quantifies the degree of entanglement. Specifically, signifies a perfectly entangled state, while indicates zero entanglement. This homogeneous, pure-state QN maps onto a classical percolation problem [3], where each link can employ certain quantum operations as a sort of “gambling” to enhance its level of entanglement, with allows a probability of becoming perfectly entangled and of losing all entanglement [3]. Within this percolation analogy, entanglement transmission between two distant nodes—say, Alice (A) and Bob (B)—translates to the probability of having a path comprising only maximally entangled links between A and B. The presence of such a path further ensures that infinite-distance entanglement can be established between A and B [5], marking a successful event of entanglement transmission.
In the thermodynamic limit (i.e., when the number of nodes ), classical percolation exhibits a critical threshold [6, *galam1996universal, *cohen2002percolation]. It implies that if , no entanglement transmission can happen between A and B when their distance . This is, however, refuted by recent discovery of an alternate, more effective map** from QN to a percolation-like statistical theory of concurrence percolation [5].
The best way to understand the difference between classical and concurrence percolation is to express the percolation connectivity between A and B as a “superposition” of all paths’ connectivity [Fig. 1b]: In classical percolation, the overall probability of connection of A and B can be computed through each individual path, contingent upon . The superposition can be simplified into connectivity rules, such as the series and parallel rules [Fig. 1a, left]. Similarly, in concurrence percolation, a distinct parameter called concurrence, a conventional measure of entanglement, can be defined via in the QN, . The superposition of concurrence paths adheres to a distinct set of connectivity rules [Fig. 1a, right]. Concurrence percolation also reveals a critical threshold , which, in terms of , is always lower than : [9], indicating that QNs potentially have stronger connectivity than classical percolation predicts.
What is the origin of this stronger connectivity, from a statistical physics perspective? It is conceivable that concurrence percolation might simply be a variant of classical percolation (albeit under a different set of variables), thereby belonging to the same universality class. Alternatively, concurrence percolation could represent a fundamentally distinct phenomenon from classical percolation, characterized by distinct critical exponents. Previous research, unfortunately, has been unable to identify the universality class of concurrence percolation due to computational constraints [10]. Gaining a deeper insight into the nature of this stronger concurrence connectivity could shed light on QN design from first principles, as explored through the lens of network science.
In this study, we investigate the critical phenomena of concurrence percolation in networks displaying hierarchical and scale-free structures, typical characteristics found in numerous real-worlds networks such as the Internet [11]. Firstly, we exactly determine the critical exponents for a family of hierarchical scale-free network models known as the (,) flowers [12], which are characterized by two distinct network length scales, . Our analysis confirms that concurrence percolation falls into a distinct universality class, separated from that of classical percolation.
Most importantly, we highlight that this separation is largely reflected in how the two percolation theories respond to an increase in the longer length scale , controlling the lengths of non-shortest paths. When , we find that the classical critical exponents become decoupled from , depending only on the shorter length scale . In contrast, the concurrence critical exponents depend on both and . This distinction extends to the behavior of critical thresholds: while both and tend towards unity as , the concurrence threshold shows a slower rate of approach. This implies a higher resilience of concurrence connectivity against increase in , a phenomenon we also observe in real-world network topology. Our findings underscore the role of longer paths in QN: despite the exponential decay of entanglement along longer paths, these paths cannot be ignored in concurrence percolation. In fact, longer paths still contribute significantly to QN connectivity—as long as they are abundant. In practice, this principle suggests that an effective design of QN should move beyond a focus solely on the shortest paths to include a strategic incorporation of longer paths as well. This view may open up opportunities to explore advanced quantum communication technologies, such as path routing [13] and network coding [14], in a synergistic manner.
I Critical Exponents and Hyperscaling
We begin by focusing on (,) flowers [12], a canonical example of hierarchical, scale-free networks. In a (,) flower, the -th generation is built by replacing each existing link in the -th generation by a basic motif, formed by a shorter path with links and a longer path with links between two nodes A and B (Fig. 2). The two scales and determine different network characteristics: while the shorter length scale governs the shortest path length between A and B, which is asymptotically the same as the diameter of the network [15], the longer length scale controls the lengths of non-shortest paths, thereby controlling the dimension of the network, , where is the number of nodes in the network [15]. Note that all length scales are established in the chemical (“time”) space, thus differing from traditional Euclidean length scales by an additional dynamic exponent , related by [12].
A promising feature of (,) flowers is that they are also series-parallel networks [16]. Consequently, they allow for an analytical calculation of the classical sponge-crossing probability [6, 17], , which is the probability of connection between the two boundary nodes A and B (a.k.a. in boundary conformal field theories [18]). Specifically, can be calculated through iteratively applying an exact renormalization-group (RG) function that is constructed from series and parallel rules [Fig. 1a]:
(1) |
Equation (1) allows us to derive the -th generation by nesting times, given by . The critical thresholds can be determined by locating the nontrivial fixed point of that satisfies the RG fixed point equation, . It also means that the sponge-crossing probability at criticality is equal to when .
Similarly, the sponge-crossing concurrence and the concurrence threshold (hereafter referred to as “quantum” results) can be calculated by replacing to in Eq. (1) and the corresponding classical series/parallel rules to their quantum counterparts [Fig. 1a]. For example, in a (,) flower, for concurrence percolation, we find , or , while for classical percolation, [15], corresponding to [Fig. 3c]. The results reinforce that the quantum threshold is lower than the classical one [5].
Near criticality, the thermal exponent characterizes the divergence of the correlation length as one approaches the critical point. We can obtain an exact expression for by evaluating [15]
(2) |
where and correspond to the diameters of the -th and -th generations of the network, respectively. Compared to the established classical value of [15], we find a distinct quantum value of . These exact values are numerically verified by finite-size scaling analysis: assuming that the finite-size critical threshold deviates from the true threshold by , we find for classical and for quantum on both sides of the critical threshold of the (,) flower [Figs. 3a,b,d,e] (also see SI, Section IV).
In the traditional study of classical percolation, not only does the length scale but the cluster size distribution shows critical behaviors as well. Notably, the emergence of a giant component when [19], where the strength represents the giant component’s relative size to the total network size , leads to a scaling behavior as for . This cluster-based concept of has not been translated into the quantum counterpart, which relies on path connectivity rules and lacks a notion of “clusters.” Nevertheless, we notice that can be alternatively considered as the probability of a randomly chosen node in the bulk to reach the boundaries of the network [15]. This consideration allows us to redefine , and crucially , in terms of path connectivity from a randomly chosen node (which must be averaged across all nodes) to the boundaries. For the () flowers, the boundaries are represented by A and B. The construction is detailed in SI, Section I.
Using the new definition of , we find an exponent [Fig. 3g], closely matching the cluster-defined value, on (,) flowers. (The minor difference arises because computing requires higher-order path connectivity rules (SI, Section I) that extend beyond the basic series and parallel rules. However, these higher-order rules can be approximated using only the series/parallel rules through a technique known as star-mesh transformations [5], yielding results that are close, but not precise.) In the quantum domain, we observe [Fig. 3f], markedly distinct from its classical counterpart.
Another critical exponent, , defines the fractal dimension of the giant cluster at the critical point, with . Again, lacking a “cluster” notion, must be redefined through at the critical point. We find [Fig. 3j] in the classical scenario, nearly identical to the cluster-defined value In contrast, the quantum scenario shows [Fig. 3i].
II Asymptotic dependence on the longer length scale
To investigate the impact of the longer length scale on the two percolation theories, we derive the asymptotic behaviors of both critical thresholds and in the limit (SI, Section II), finding that for classical percolation,
(3) |
and, in comparison, for concurrence percolation,
(4) |
The terms originate from the fact that as , loops within the (,) flower extend to infinite lengths, and the network essentially becomes tree-like. As a result, both thresholds should approach when . For classical percolation, the prefactor for depends solely on , signaling the significant role the shorter paths play in classical percolation near the critical point. In contrast, concurrence percolation shows a unique behavior. The presence of a logarithmic prefactor highlights the importance of longer paths in concurrence percolation. This term indicates that connectivity in concurrence percolation near criticality is enhanced compared to its classical counterpart, implying as . Moreover, this term is fully decoupled from , suggesting that the shorter length scale no longer plays a determining role in .
The asymptotic behaviors of the critical exponents are also different. We analytically determine and directly via the solution of and (cf. and ), and from the hyperscaling relation . The results are summarized in Table 1. We find that in classical percolation, all dominant terms governing , , and are fully determined by , once again signaling the dominance of shorter paths. In contrast, in concurrence percolation, we notice the emergence of a very slow correction () affecting the dominant terms in and . Interestingly, the corrections counterbalance each other in the calculation of , resulting in a constant that is independent on either or . Since is intrinsically tied to the definition of an order parameter, we hypothesize that this unique, constant value of reveals an entirely distinct symmetry associated with the order parameter in concurrence percolation on (,) flowers.
Classical [] | Quantum [] | |
---|---|---|
III Superposition of paths in general
The above results have broader implications beyond the specific (,) flower topology. To see this, it is worth noting that the -th generation of a (,) flower could be fully decomposed into several non-overlap** but intersecting paths between A and B. In the language of graph theory, these paths are edge-disjoint, but not vertex-disjoint. Specifically, each of these paths can have a length that is given by one of the options . The number of paths corresponding to each length option is determined by the binomial coefficients , summing up to paths in total.
The exact decomposition goes as follows. Initially, in the -st generation, there are only two non-overlap** paths between A and B, characterized by lengths and . As progressing to the -nd generation, each link from the previous generation is systematically replaced by the basic motif, necessitating a decision for each link within a previous path: to replace it by either a -length path or a -length path. Consequently, there are two non-overlap** options: replacing all links entirely by -length paths, or entirely by -length paths. This bifurcation results in each earlier generation’s path splitting into two distinct paths. Thus, as a shorthand, each path can be encoded as a string of characters (e.g., “UVVUUV….”), each designated as ‘U’ or ‘V’. This string reflects the sequence of choices made at each generation, with ‘U’ for choosing all -length paths and ‘V’ for -length paths. Each non-overlap** path can be uniquely identified by such a string. The corresponding path length is , with representing the count of ‘V’s in the string. For each possible length, there are such choices, which scale as for , , suggesting that longer paths are also exponentially more abundant.
When adjusts to , these lengths would adjust to , i.e., changed by sequentially, highlighting different growth patterns between shorter and longer paths. On the other hand, the number of these paths remains constant. This allows us to investigate the response to adjustment of the longer length scale for hierarchical, scale-free networks of more general topologies. Specifically, given a real-world network, we select two hub nodes A and B and non-overlap** (but potentially intersecting) paths between them (SI, Section V). These paths are ranked by their lengths and sequentially placed into different groups, such that each successive group encompasses an exponentially larger number of longer paths. The lengths of these grouped paths are then rescaled by , reflecting the adjustment of .
We analyzed a segment of the real-world Internet at the autonomous-system level [11]. By rearranging Eq. (3) and expanding the equation near , we derive as , where . Similarly, from Eq. (4) we derive as , where . The distinct dependencies on (or , assuming ) are illustrated for both the (,) flower [Fig. 4b] and the Internet [Fig. 4c]. The resemblance of the dependencies reveals a striking similarity between the two network topologies, highlighting a shared quantum characteristic: the slower approach of towards to , which indicates a higher resilience of concurrence connectivity. This observation underscores the presence of such resilience in general network topologies, characterized by non-overlap** but intersecting paths.
Given the very slow corrections in the quantum critical exponents (Table 1), this extreme effect becomes eminent only at a very large length scale, far exceeding the Internet diameter. However, if we consider “fundamental” networks, such as spin networks in loop quantum gravity [22], where the length unit is extremely small (the Planck scale m), the corrections could potentially become detectable.
IV Discussion
We have found analytical expressions for the critical thresholds and exponents of both classical percolation and concurrence percolation using the () flowers model, a hierarchical scale-free network structure. Our findings, which place concurrence percolation in a distinct universality class, rule out the possibility that differences between classical and concurrence percolation theories are confined merely to short-range (i.e., ultraviolet) details. Instead, variations also stem from long-range (i.e., infrared) behaviors. This distinction underscores the fact that concurrence percolation represents a fundamentally different statistical framework compared to its classical counterpart. The question of whether concurrence percolation can be described by a field theory akin to the model [23] for classical percolation remains open. A crucial step in this direction involves defining a cluster-based order parameter (field) specific to concurrence percolation. Our alternate definition of the giant “component” on () flowers might offer valuable insights for this.
From the perspective of quantum communication, our research indicates that having a path of maximally entangled states in QN is a sufficient, but not necessary criterion. It is possible to achieve entanglement transmission via longer, exponentially weaker paths composed of partially entangled links, provided there is a compensatory increase in the number of such links. This principle finds a parallel in classical branching processes, where infinite connectivity is achievable if the growing number of trees with given size exactly compensates for the exponential decline in the probability of such a tree existing at the critical point [19]. Further exploration of this concept through other models, such as the () flowers (with three different length scales), could provide deeper insights on both theoretical and practical aspects of entanglement distribution efficiency in QNs.
V Acknowledgements
S.H. thanks the EU H2020 DIT4Tram (Grant number 953783) and the Horizon Europe grant OMINO (grant number 101086321).
References
- Wehner et al. [2018] S. Wehner, D. Elkouss, and R. Hanson, Quantum internet: A vision for the road ahead, Science 362, eaam9288 (2018).
- Brito et al. [2020] S. Brito, A. Canabarro, R. Chaves, and D. Cavalcanti, Statistical properties of the quantum internet, Phys. Rev. Lett. 124, 210501 (2020).
- Acín et al. [2007] A. Acín, J. I. Cirac, and M. Lewenstein, Entanglement percolation in quantum networks, Nat. Phys. 3, 256 (2007).
- Chitambar and Hsieh [2016] E. Chitambar and M.-H. Hsieh, Relating the resource theories of entanglement and quantum coherence, Phys. Rev. Lett. 117, 10.1103/PhysRevLett.117.020402 (2016).
- Meng et al. [2021] X. Meng, J. Gao, and S. Havlin, Concurrence Percolation in Quantum Networks, Phys. Rev. Lett. 126, 170501 (2021).
- Kesten [1980] H. Kesten, The critical probability of bond percolation on the square lattice equals 1/2, Commun. Math. Phys. 74, 41 (1980).
- Galam and Mauger [1996] S. Galam and A. Mauger, Universal formulas for percolation thresholds, Physical Review E 53, 2177 (1996).
- Cohen et al. [2002] R. Cohen, D. ben Avraham, and S. Havlin, Percolation critical exponents in scale-free networks, Physical Review E 66, 036113 (2002).
- Meng et al. [2023] X. Meng, X. Hu, Y. Tian, G. Dong, R. Lambiotte, J. Gao, and S. Havlin, Percolation Theories for Quantum Networks, Entropy 25, 1564 (2023).
- Malik et al. [2022] O. Malik, X. Meng, S. Havlin, G. Korniss, B. K. Szymanski, and J. Gao, Concurrence percolation threshold of large-scale quantum networks, Commun. Phys. 5, 10.1038/s42005-022-00958-4 (2022).
- Tilch et al. [2020] G. Tilch, T. Ermakova, and B. Fabian, A multilayer graph model of the internet topology, Int. J. Netw. Virtual Organ. 22, 219 (2020).
- Rozenfeld et al. [2007] H. D. Rozenfeld, S. Havlin, and D. ben Avraham, Fractal and transfractal recursive scale-free nets, New Journal of Physics 9, 10.1088/1367-2630/9/6/175 (2007).
- Pirandola [2019] S. Pirandola, End-to-end capacities of a quantum communication network, Communications Physics 2, 1 (2019).
- Kobayashi et al. [2010] H. Kobayashi, F. Le Gall, H. Nishimura, and M. Rötteler, Perfect quantum network communication protocol based on classical network coding, in 2010 IEEE International Symposium on Information Theory (2010) pp. 2686–2690.
- Rozenfeld and ben Avraham [2007] H. D. Rozenfeld and D. ben Avraham, Percolation in hierarchical scale-free nets, Physical Review E 75, 10.1103/PhysRevE.75.061102 (2007).
- Duffin [1965] R. J. Duffin, Topology of series-parallel networks, J. Math. Anal. Appl. 10, 303 (1965).
- Wierman [1981] J. C. Wierman, Bond percolation on honeycomb and triangular lattices, Adv. Appl. Probab. 13, 298 (1981).
- Cardy [2001] J. Cardy, Conformal Invariance and Percolation (2001), arxiv:math-ph/0103018 .
- Christensen and Moloney [2005] K. Christensen and N. R. Moloney, Complexity and criticality, Vol. 1 (World Scientific Publishing Company, 2005).
- Kapitulnik et al. [1983] A. Kapitulnik, A. Aharony, G. Deutscher, and D. Stauffer, Introduction to percolation theory, 2nd ed, J. Phys. A 16, L269 (1983).
- ben Avraham and Havlin [2000] D. ben Avraham and S. Havlin, Diffusion and reactions in fractals and disordered systems, 16, L269 (2000).
- Ashtekar and Bianchi [2021] A. Ashtekar and E. Bianchi, A short review of loop quantum gravity, Rep. Prog. Phys. 84, 042001 (2021).
- Amit [1976] D. J. Amit, Renormalization of the Potts model, J. Phys. A: Math. Gen. 9, 1441 (1976).