Arxiv:2105.00418V1 [Quant-Ph] 2 May 2021 C
Total Page:16
File Type:pdf, Size:1020Kb
QuNet: Cost vector analysis & multi-path entanglement routing in quantum networks Hudson Leone,1, 2, ∗ Nathaniel R. Miller,3 Deepesh Singh,4 Nathan K. Langford,1, 2 and Peter P. Rohde2, 3, † 1School of Mathematical and Physical Sciences, University of Technology Sydney, Ultimo, NSW 2007, Australia 2Centre for Quantum Software & Information (UTS:QSI), University of Technology Sydney, Ultimo, NSW 2007, Australia 3Hearne Institute for Theoretical Physics, Department of Physics & Astronomy, Louisiana State University, Baton Rouge LA, United States 4Centre for Quantum Computation & Communication Technology, School of Mathematics and Physics, The University of Queensland, St Lucia, Queensland 4072, Australia Entanglement distribution will form the backbone of many future distributed quantum technologies, especially the quantum internet. The act of purifying multiple noisy entan- gled states into a single one of higher quality has no analogue in classical networking and as such, this transforms the way in which we will consider future algorithms for routing entanglement. We outline the differences that arise because of this, demonstrate some elementary formalisms for ‘multi-path entanglement routing’, and discuss the philosophi- cal differences that arise when comparing this regime to conventional digital network theory. We also present a software package, QuNet, that uses novel ‘quantum cost-vector analysis’ to simulate and benchmark routing in multi-user entanglement networks in a way that is is highly scalable in network size and the number of competing users. Our software accommodates both ground- and space-based networks, and implements efficient multi-user time-optimisation for mitigating congestion when quantum memories are available. CONTENTS A. Shortest-path routing8 B. Multi-path routing8 I. Introduction2 C. Analytic area laws8 D. Greedy multi-path routing9 II. Entanglement distribution networks3 E. Multi-user routing9 A. Bell pairs — A resource for quantum networking3 B. Quantum channels3 V. The philosophy of quantum vs. classical networking9 1. Loss channels3 2. Dephasing channels3 VI. QuNet: A package for simulating quantum networks 10 3. Depolarising channels3 A. Related work and motivation 10 4. General quantum channels3 B. Design principles 11 5. State fidelity4 C. Simulating quantum memories with temporal arXiv:2105.00418v1 [quant-ph] 2 May 2021 C. Entanglement swapping4 meta-graphs 12 D. Entanglement purification4 E. Commutativity of quantum channels5 VII. Advanced route optimisation in entanglement distribution F. Costs as distance metrics5 networks using QuNet 12 A. Fidelity vs. bandwidth trade-offs in multi-path III. Graph reduction6 routing 12 A. Purification trees6 B. Multi-user, multi-path routing 13 B. Entanglement networks as abelian groups6 C. Channel percolation effects 14 C. General reduction strategies7 D. Network scaling effects 15 E. Quantum memory 16 IV. Entanglement routing strategies8 F. Memory percolation effects 17 G. Temporal compression 17 VIII. Further applications 17 A. Quantum key distribution 18 ∗ [email protected] B. Distributed quantum computation 18 † [email protected]; https://peterrohde.github.io/QuNet C. Space-based quantum networks 19 2 IX. Conclusion 21 Shortest-path Multi-path A Acknowledgements 22 A A. Efficient multi-user temporal routing algorithm 22 1 1 1 B. Average L1-distance between random user-pairs on a 1 square lattice 23 2 2 C. Derivation of analytic heat map curves 23 References 24 2 1 2 1 I. INTRODUCTION B B In classical networking, communication is carried out Figure 1: In shortest-path routing, as is often employed in via direct transmission of classical information along com- classical networking protocols, we wish to find the route be- munication channels, and errors are mitigated through tween two nodes that minimises the sum of their edge distances. This notion could similarly be employed in entanglement rout- repeat-until-success strategies that transmit redundant ing, where the edge weights represent a dephasing noise metric. information. In quantum networking, the no-cloning the- In multi-path routing, we do not employ just a single shortest- orem prevents arbitrary copying of unknown quantum path, but simultaneously communicating Bell pairs across information, so direct transmission of quantum informa- multiple available routes, which are subsequently purified, tion is limited in quality and success probability by the thereby yielding a single Bell pair with greater fidelity than intrinsic noise characteristics of the communication chan- the shortest-path route would have enabled. nel. However, these no-cloning limitations can be circum- vented if quantum information is distributed in the form a single Bell pair of higher fidelity than allowed by any of of known entangled states, which can be used to com- the available constituent paths, as per Fig.1. municate arbitrary quantum information using repeat- until-success entanglement transmission and quantum We present a high-performance software package QuNet, teleportation (Bennett et al., 1993). which implements these ideas, allowing for efficient bench- When combined, in addition, with entanglement swap- marking of large-scale multi-user quantum networks, acco- ping and entanglement purification, quantum communi- modating for both static (e.g ground based) and dynamic cation links can be extended to arbitrary length with (e.g space-based) networks, as well as temporal routing arbitrarily high transmission quality, effectively bypass- and optimisation when quantum memories are available. ing the inevitable transmission noise limitations of the A range of different technologies have been proposed for quantum channel. information distribution and storage in quantum networks Due to these desirable properties, entanglement distri- approaches based on photonic information distribution bution will be arguably the most essential requirement in including polarisation, time-bin, and spatial mode encod- a future quantum internet (Rohde, 2022), with significant ing. potential economic benefits facilitating many essential future quantum technologies (Nielsen and Chuang, 2000) Our graph-based network simulation software can be such as quantum key distribution (QKD) (Bennett and applied in any of these contexts, and extended to include Brassard, 1984; Ekert, 1991) (see Sec. VIII.A), quantum specific details of each (e.g. relevant error mechanisms and state teleportation (Bennett et al., 1993), and most impor- network structure properties). So far, our simulations have tantly distributed quantum computing (see Sec. VIII.B). focused on the context of photonic qubit distribution, but Here we present some formalisms, insights, and algo- are agnostic to the specific details of information encoding rithmic approaches for how future multi-user quantum during distribution and storage within the nodes. entanglement distribution networks might operate, and It seems inevitable that by mere virtue of photons being highlight the significant conceptual differences between ‘flying qubits’ (which propagate at the speed of light), that how multi-user quantum and digital networks operate, the future quantum internet will be optically mediated by some of which are highly counterintuitive to those coming quantum states of light (Gerry and Knight, 2005). Here from classical networking backgrounds. there are a multitude of possible mechanisms for encoding One of the primary distinctions between quantum and quantum information into optical states. For the purposes classical networks is that entanglement purification en- of our presentation we will primarily refer to examples ables multi-path routing, whereby rather than using a based upon polarisation-encoded single photons, however single shortest path for routing we employ multiple re- the formalism is indeed generally applicable to all manner dundant paths which are subsequently purified down into of quantum communications networks beyond this. 3 II. ENTANGLEMENT DISTRIBUTION NETWORKS 1. Loss channels In this section, we introduce some basic theoretical tools For a single-qubit state ρˆ, the loss channel is defined we will need to describe scalable entanglement distribution as, networks. We want to describe such networks as generally as possible, so our goal is to use generic tools that apply Eloss(ˆρ) = pρˆ + (1 − p) |vacihvac| , (2.3) comprehensively across different varieties and instances of networks. We therefore take a graph theoretic approach for where |vaci denotes the vacuum state where no qubit representing networks. Specifically, we model our network exists. as a graph of nodes and communication channels, G = (V, E). (2.1) 2. Dephasing channels Here, the graph vertices V represent local nodes, defining The dephasing channel is defined as (Nielsen and end-users, or devices that implement quantum operations Chuang, 2000), (such as entanglement sources, swappers or routers), and E edges between vertices represent quantum communica- Edeph(ˆρ) = pρˆ + (1 − p)ZˆρˆZˆ tion channels. = (2p − 1)ˆρ + (1 − p)(ZˆρˆZˆ +ρ ˆ). (2.4) A. Bell pairs — A resource for quantum networking Note that in the second line we have algebraically re- arranged the expression to comprise an ideal noiseless In entanglement distribution networks, entangled states component, mixed with some completely dephased com- represent the fundamental underlying resource we wish to ponent. The latter algebraic form turns out to be far more utilise. For qubit-based networks, the archetypal entangled useful when attempting to express such channels in an states