Entanglement Access Control for the Quantum Internet

Laszlo Gyongyosi; Sandor Imre

arXiv:1905.00256·quant-ph·May 2, 2019

Entanglement Access Control for the Quantum Internet

Laszlo Gyongyosi, Sandor Imre

PDF

TL;DR

This paper introduces a method for controlled entanglement access in the quantum Internet, defining levels of accessibility based on fidelity and reliability, to enhance network security and efficiency.

Contribution

It presents a novel model that manages entanglement access levels using an integrated criterion on fidelity and path probabilities, improving quantum network control.

Findings

01

Connection between entangled path count and fidelity levels

02

Efficient entanglement access control scheme

03

Enhanced reliability in quantum nodes

Abstract

Quantum entanglement is a crucial element of establishing the entangled network structure of the quantum Internet. Here we define a method to achieve controlled entanglement access in the quantum Internet. The proposed model defines different levels of entanglement accessibility for the users of the quantum network. The path cost is determined by an integrated criterion on the entanglement fidelities between the quantum nodes and the probabilities of entangled connections of an entangled path. We reveal the connection between the number of available entangled paths and the accessible fidelity of entanglement and reliability in the end nodes. The scheme provides an efficient model for entanglement access control in the experimental quantum Internet.

Equations52

d (x, y)_{L_{l}} = 2^{l - 1},

d (x, y)_{L_{l}} = 2^{l - 1},

∣ β_{00} ⟩ = \frac{1}{2} (∣ 00 ⟩ + ∣ 11 ⟩)

∣ β_{00} ⟩ = \frac{1}{2} (∣ 00 ⟩ + ∣ 11 ⟩)

F (σ) = ⟨ β_{00} ∣ σ ∣ β_{00} ⟩,

F (σ) = ⟨ β_{00} ∣ σ ∣ β_{00} ⟩,

F_{Δ} (x, y) = ∣ F_{x} - F_{y} ∣ < \hat{F}_{Δ},

F_{Δ} (x, y) = ∣ F_{x} - F_{y} ∣ < \hat{F}_{Δ},

Pr (F_{Δ} (x, y) < \hat{F}_{Δ}) = 0 \int \hat{F}_{Δ} δ (z) d z,

Pr (F_{Δ} (x, y) < \hat{F}_{Δ}) = 0 \int \hat{F}_{Δ} δ (z) d z,

Pr (P^{S}) = E_{L_{l}} (x, y) \in P^{S} \prod Pr (F_{Δ} (x, y) < \hat{F}_{Δ}) = 0 \int \hat{F}_{Δ} δ (z) d z^{g} .

Pr (P^{S}) = E_{L_{l}} (x, y) \in P^{S} \prod Pr (F_{Δ} (x, y) < \hat{F}_{Δ}) = 0 \int \hat{F}_{Δ} δ (z) d z^{g} .

Pr (P_{M}) = 1 - S = 1 \prod m (1 - Pr (P^{S})) = 1 - S = 1 \prod m 1 - 0 \int \hat{F}_{Δ} δ (z) d z^{g_{S}},

Pr (P_{M}) = 1 - S = 1 \prod m (1 - Pr (P^{S})) = 1 - S = 1 \prod m 1 - 0 \int \hat{F}_{Δ} δ (z) d z^{g_{S}},

Ψ_{i} (t) = (Pr (E_{L_{l}} (i, j, t)), F_{i} (t))^{T},

Ψ_{i} (t) = (Pr (E_{L_{l}} (i, j, t)), F_{i} (t))^{T},

Δ (Pr (E_{L_{l}} (t))) = ∣ Pr (E_{L_{l}} (x, y, t)) - Pr (E_{L_{l}} (y, x, t)) ∣,

Δ (Pr (E_{L_{l}} (t))) = ∣ Pr (E_{L_{l}} (x, y, t)) - Pr (E_{L_{l}} (y, x, t)) ∣,

F_{Δ} (t) = ∣ F_{x} (t) - F_{y} (t) ∣,

F_{Δ} (t) = ∣ F_{x} (t) - F_{y} (t) ∣,

γ_{x, y} (t) = ∣ Ψ_{x} (t) - Ψ_{y} (t) ∣ = ((Pr (E_{L_{l}} (x, y, t)) - Pr (E_{L_{l}} (y, x, t)))^{2} + (F_{x} (t) - F_{y} (t))^{2})^{\frac{1}{2}} .

γ_{x, y} (t) = ∣ Ψ_{x} (t) - Ψ_{y} (t) ∣ = ((Pr (E_{L_{l}} (x, y, t)) - Pr (E_{L_{l}} (y, x, t)))^{2} + (F_{x} (t) - F_{y} (t))^{2})^{\frac{1}{2}} .

Ψ_{x} (t_{0} + Δ t) = Ψ_{x} (t_{0}) + χ_{x} (t_{0}, Δ t),

Ψ_{x} (t_{0} + Δ t) = Ψ_{x} (t_{0}) + χ_{x} (t_{0}, Δ t),

χ_{x} (t_{0}, Δ t) = (χ_{x}^{P r (E_{L_{l}} (x, y))} (t_{0}, Δ t) χ_{x}^{F_{x}} (t_{0}, Δ t)) = t_{0} \int t_{0} + Δ t ϕ_{x}^{P r (E_{L_{l}} (x, y))} (q) d q t_{0} \int t_{0} + Δ t ϕ_{x}^{F_{x}} (q) d q,

χ_{x} (t_{0}, Δ t) = (χ_{x}^{P r (E_{L_{l}} (x, y))} (t_{0}, Δ t) χ_{x}^{F_{x}} (t_{0}, Δ t)) = t_{0} \int t_{0} + Δ t ϕ_{x}^{P r (E_{L_{l}} (x, y))} (q) d q t_{0} \int t_{0} + Δ t ϕ_{x}^{F_{x}} (q) d q,

γ_{x, y} (t_{0} + Δ t) = ∣ Ψ_{x} (t_{0} + Δ t) - Ψ_{y} (t_{0} + Δ t) ∣ = ∣ Ψ_{x} (t_{0}) + χ_{x} (t_{0}, Δ t) - Ψ_{y} (t_{0}) - χ_{y} (t_{0}, Δ t) ∣ \leq γ_{x, y}^{m a x} .

γ_{x, y} (t_{0} + Δ t) = ∣ Ψ_{x} (t_{0} + Δ t) - Ψ_{y} (t_{0} + Δ t) ∣ = ∣ Ψ_{x} (t_{0}) + χ_{x} (t_{0}, Δ t) - Ψ_{y} (t_{0}) - χ_{y} (t_{0}, Δ t) ∣ \leq γ_{x, y}^{m a x} .

γ_{x, y} (t_{0} + Δ t) = ((Pr (E_{L_{l}} (x, y, t_{0} + Δ t)) - Pr (E_{L_{l}} (y, x, t_{0} + Δ t)))^{2} + (F_{x} (t_{0} + Δ t) - F_{y} (t_{0} + Δ t))^{2})^{\frac{1}{2}},

γ_{x, y} (t_{0} + Δ t) = ((Pr (E_{L_{l}} (x, y, t_{0} + Δ t)) - Pr (E_{L_{l}} (y, x, t_{0} + Δ t)))^{2} + (F_{x} (t_{0} + Δ t) - F_{y} (t_{0} + Δ t))^{2})^{\frac{1}{2}},

= γ_{x, y} (t_{0} + Δ t) Pr (E_{L_{l}} (x, y, t_{0})) + t_{0} \int t_{0} + Δ t ϕ_{x}^{P r (E_{L_{l}} (x, y))} (q) d q - Pr (E_{L_{l}} (y, x, t_{0})) + t_{0} \int t_{0} + Δ t ϕ_{y}^{P r (E_{L_{l}} (y, x))} (q) d q^{2} + F_{x} (t_{0}) + t_{0} \int t_{0} + Δ t ϕ_{x}^{F_{x}} (q) d q - F_{y} (t_{0}) + t_{0} \int t_{0} + Δ t ϕ_{y}^{F_{y}} (q) d q^{2}^{\frac{1}{2}} .

= γ_{x, y} (t_{0} + Δ t) Pr (E_{L_{l}} (x, y, t_{0})) + t_{0} \int t_{0} + Δ t ϕ_{x}^{P r (E_{L_{l}} (x, y))} (q) d q - Pr (E_{L_{l}} (y, x, t_{0})) + t_{0} \int t_{0} + Δ t ϕ_{y}^{P r (E_{L_{l}} (y, x))} (q) d q^{2} + F_{x} (t_{0}) + t_{0} \int t_{0} + Δ t ϕ_{x}^{F_{x}} (q) d q - F_{y} (t_{0}) + t_{0} \int t_{0} + Δ t ϕ_{y}^{F_{y}} (q) d q^{2}^{\frac{1}{2}} .

Pr (P^{S} (t_{0} + Δ t)) = E_{L_{l}} (x, y) \in P^{S} \prod Pr (γ_{x, y} (t_{0} + Δ t) < γ_{x, y}^{m a x}) = 0 \int γ_{x, y}^{m a x} δ (q) d q^{g_{S}},

Pr (P^{S} (t_{0} + Δ t)) = E_{L_{l}} (x, y) \in P^{S} \prod Pr (γ_{x, y} (t_{0} + Δ t) < γ_{x, y}^{m a x}) = 0 \int γ_{x, y}^{m a x} δ (q) d q^{g_{S}},

Pr (γ_{x, y} (t_{0} + Δ t) < γ_{x, y}^{m a x}) = 0 \int γ_{x, y}^{m a x} δ (q) d q .

Pr (γ_{x, y} (t_{0} + Δ t) < γ_{x, y}^{m a x}) = 0 \int γ_{x, y}^{m a x} δ (q) d q .

Pr (P_{M} (t_{0} + Δ t)) = 1 - S = 1 \prod m (1 - Pr (P^{S} (t_{0} + Δ t))) = 1 - S = 1 \prod m 1 - 0 \int γ_{x, y}^{m a x} δ (q) d q^{g_{S}} .

Pr (P_{M} (t_{0} + Δ t)) = 1 - S = 1 \prod m (1 - Pr (P^{S} (t_{0} + Δ t))) = 1 - S = 1 \prod m 1 - 0 \int γ_{x, y}^{m a x} δ (q) d q^{g_{S}} .

c (E_{L_{l}} (x, y)) = ((χ_{x}^{P r (E_{L_{l}} (x, y))} (t_{0}, Δ t) - χ_{y}^{P r (E_{L_{l}} (y, x))} (t_{0}, Δ t))^{2} + (χ_{x}^{F_{x}} (t_{0}, Δ t) - χ_{y}^{F_{y}} (t_{0}, Δ t))^{2})^{\frac{1}{2}},

c (E_{L_{l}} (x, y)) = ((χ_{x}^{P r (E_{L_{l}} (x, y))} (t_{0}, Δ t) - χ_{y}^{P r (E_{L_{l}} (y, x))} (t_{0}, Δ t))^{2} + (χ_{x}^{F_{x}} (t_{0}, Δ t) - χ_{y}^{F_{y}} (t_{0}, Δ t))^{2})^{\frac{1}{2}},

χ_{x}^{P r (E_{L_{l}} (x, y))} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{x}^{P r (E_{L_{l}} (x, y))} (q) d q,

χ_{x}^{P r (E_{L_{l}} (x, y))} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{x}^{P r (E_{L_{l}} (x, y))} (q) d q,

χ_{x}^{F_{x}} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{x}^{F_{x}} (q) d q,

χ_{x}^{F_{x}} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{x}^{F_{x}} (q) d q,

χ_{y}^{P r (E_{L_{l}} (y, x))} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{y}^{P r (E_{L_{l}} (y, x))} (q) d q,

χ_{y}^{P r (E_{L_{l}} (y, x))} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{y}^{P r (E_{L_{l}} (y, x))} (q) d q,

χ_{y}^{F_{y}} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{y}^{F_{y}} (q) d q .

χ_{y}^{F_{y}} (t_{0}, Δ t) = t_{0} \int t_{0} + Δ t ϕ_{y}^{F_{y}} (q) d q .

S = {E_{L_{l}} (A_{ρ, U_{k}}, R_{1}), \dots, E_{L_{l}} (R_{q}, B_{ρ, U_{k}})},

S = {E_{L_{l}} (A_{ρ, U_{k}}, R_{1}), \dots, E_{L_{l}} (R_{q}, B_{ρ, U_{k}})},

c (P) = c (E_{L_{l}} (A_{ρ, U_{k}}, R_{1})) + \dots + c (E_{L_{l}} (R_{q}, B_{ρ, U_{k}})) .

c (P) = c (E_{L_{l}} (A_{ρ, U_{k}}, R_{1})) + \dots + c (E_{L_{l}} (R_{q}, B_{ρ, U_{k}})) .

Peer Reviews

No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.

Videos

No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.

Full text

Entanglement Access Control for the Quantum Internet

Laszlo Gyongyosi School of Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ, U.K., and Department of Networked Systems and Services, Budapest University of Technology and Economics, 1117 Budapest, Hungary, and MTA-BME Information Systems Research Group, Hungarian Academy of Sciences, 1051 Budapest, Hungary.

Sandor Imre Department of Networked Systems and Services, Budapest University of Technology and Economics, 1117 Budapest, Hungary.

Abstract

Quantum entanglement is a crucial element of establishing the entangled network structure of the quantum Internet. Here we define a method to achieve controlled entanglement access in the quantum Internet. The proposed model defines different levels of entanglement accessibility for the users of the quantum network. The path cost is determined by an integrated criterion on the entanglement fidelities between the quantum nodes and the probabilities of entangled connections of an entangled path. We reveal the connection between the number of available entangled paths and the accessible fidelity of entanglement and reliability in the end nodes. The scheme provides an efficient model for entanglement access control in the experimental quantum Internet.

1 Introduction

In the quantum Internet, the quantum nodes share quantum entanglement among one other, which provides an entangled ground-base network structure for the various quantum networking protocols [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]. In a quantum Internet scenario, the aim of the quantum repeater elements is to extend the range of entanglement through several steps [20, 21, 22, 23, 24, 28, 27, 30, 31, 32, 33, 34, 35, 36]. The available entanglement at the end points has several critical parameters, most importantly the fidelity of the established entanglement (fidelity of entanglement [25, 26]) and the probability of the existence of a given entangled connection [1, 8]. In an experimental setting, these critical parameters are time-varying since the noise of local quantum memories that store the shared entanglement in the quantum nodes evolves over time, and the probability of entangled connections (shared entanglement between a node pair) also changes dynamically [1, 5, 6, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 37].

In the quantum Internet, several entangled paths (paths formulated by several entangled connections) could exist between a given source-target quantum node pair [1, 5, 6, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64]. This fact allows us to introduce a method that utilizes this multipath property to change these critical parameters via the number of entangled paths associated with a given end-to-end node pair: the available fidelity of entanglement and the probability of an entangled connection. The model utilizes the reliability (probability) of the entangled connections and the entanglement fidelity coefficient as primary metrics. The decomposition is motivated by the fact that a maximization of the entanglement throughput (number of transmitted Bell states per a given time unit at a particular fidelity) parameter requires also the maximization of the connection probability, and the entanglement fidelity.

In this work, we define a method for entanglement access control in entangled quantum networks. The entanglement differentiation is achieved via a controlled variability of entanglement fidelity and entangled connection probability between source and target quantum nodes in a quantum repeater network. The proposed approach allows us to define different priority levels of entanglement access for the legal users of the quantum network with respect to the number of available paths. The number of available paths injects an additional degree of freedom to the quantum network, allowing for the selection of the entanglement fidelity and connection reliability for the end nodes. In a straightforward application of our method, the high-priority demands are associated with high fidelity and high connection probability in the end nodes of the user, while the lower-priority users get lower fidelity and lower connection probability in their end nodes. To achieve the differentiation, we define the appropriate cost and path cost functions and the criteria regarding the entanglement fidelity and connection probability for the quantum nodes and entangled connections of the entangled path. The entanglement differentiation utilizes a different number of paths between the source and target nodes allowing a distinction to be made between single-path and multipath scenarios. In a single-path setting, only one entangled path exists between source and target nodes, and therefore the fidelity of entanglement and the probability of existence of the entangled connections between the end nodes are determined only by the nodes of the given entangled path. In a multipath scenario, more than one path exists from a source to a target.

In our model, a given criterion regarding the entanglement fidelity of the local nodes has to be satisfied for all node pairs on the path referred to as integrated connection probability and fidelity criterion for all entangled connections of the entangled path. The integrated criterion allows us to reach a given entanglement fidelity and a given connection probability between the end nodes of the quantum network.

Our solution utilizes time-varying parameters since the cost functions deal with the evolution of the entanglement fidelity parameter and the connection probabilities, which evolve over time. We define the entanglement access control algorithm for an arbitrary topology quantum repeater network. We also reveal the computational complexity of the method.

The novel contributions of our manuscript are as follows:

We define a method to achieve controlled entanglement accessibility in the quantum Internet. 2. 2.

The algorithm defines entangled paths between the source and target nodes in function of a particular path cost function. 3. 3.

The path cost is determined by an integrated criterion on the entanglement fidelity and the probability of entangled connection. 4. 4.

The proposed scheme has moderate complexity, providing an efficient entanglement accessibility differentiation, allowing for the construction of different priority levels of entanglement accessibility for users. 5. 5.

The results can be straightforwardly applied in the entangled quantum networks of the quantum Internet.

This paper is organized as follows. In Section 2, the basic components of the model are summarized. In Section 3, the entanglement accessibility methods are discussed. Section 4 proposes the integrated criterion related to entanglement fidelity. Section 5 defines the entanglement access control algorithm. Finally, Section 6 concludes the results.

2 System Model

2.1 Entangled Network

The quantum Internet setting is modeled as follows [8]. Let $V$ refer to the nodes of an entangled quantum network $N$ , with a transmitter quantum node $A\in V$ , a receiver quantum node $B\in V$ , and quantum repeater nodes $R_{i}\in V$ , $i=1,\dots,q$ . Let $E=\left\{E_{j}\right\}$ , $j=1,\dots,m$ , refer to a set of edges between the nodes of $V$ , where each $E_{j}$ identifies an $\text{L}_{l}$ -level entangled connection, $l=1,\dots,r$ , between quantum nodes $x_{j}$ and $y_{j}$ of edge $E_{j}$ , respectively. The entanglement levels of the entangled connections in the entangled quantum network structure are defined as follows.

2.1.1 Entanglement Levels in the Quantum Internet

In a quantum Internet setting, an $N=\left(V,E\right)$ entangled quantum network consists of single-hop and multi-hop entangled connections, such that the single-hop entangled nodes111The $l$ -level entangled nodes ${x,y}$ refer to quantum nodes $x$ and $y$ connected by an entangled connection ${\text{L}_{l}}$ . are directly connected through an $\text{L}_{1}$ -level entanglement, while the multi-hop entangled nodes communicate through $\text{L}_{l}$ -level entanglement. Focusing on the doubling architecture [1, 5, 6] in the entanglement distribution procedure, the number of spanned nodes is doubled in each level of entanglement swapping (entanglement swapping is applied in an intermediate node to create a longer distance entanglement [1]). Therefore, the $d{\left(x,y\right)}_{\text{L}_{l}}$ hop distance in $N$ for the $\text{L}_{l}$ -level entangled connection between $x,y\in V$ is denoted by [8]

[TABLE]

with $d{\left(x,y\right)}_{\text{L}_{l}}-1$ intermediate quantum nodes between $x$ and $y$ . Therefore, $l=1$ refers to a direct entangled connection between two quantum nodes $x$ and $y$ without intermediate quantum repeaters, while $l>1$ identifies a multilevel entanglement.

2.1.2 Entanglement Fidelity

Let

[TABLE]

be the target Bell state subject to be created at the end of the entanglement distribution procedure between a particular source node $A$ and receiver node $B$ . The entanglement fidelity $F$ at an actually created noisy quantum system $\sigma$ between $A$ and $B$ is

[TABLE]

where $F$ is a value between [math] and $1$ , $F=1$ for a perfect Bell state and $F<1$ for an imperfect state. The $F$ entanglement fidelity represents the accuracy of our information about a quantum state [1, 5, 6]. The fidelity in (3) measures the amount of overlap between the ${\left|\beta_{00}\right\rangle}$ target state (2) and the density matrix $\sigma$ that represents our system. In the entanglement distribution procedure, the usage of the $F$ entanglement fidelity metric rather than other correlation measure functions (concurrence, negativity, quantum discord, quantum coherent information, etc.) [4] is motivated by the fact that the fidelity of entanglement is an improvable parameter in a practical setting. The improvement of the fidelity is realizable by the so-called entanglement purification process [1]. The entanglement purification takes imperfect entangled states and outputs a higher-fidelity entangled system. Without loss of generality, in an experimental quantum Internet setting, an aim is to reach $F\geq 0.98$ over long distances [1, 5, 6].

2.1.3 Practical Implementation

An experimental quantum network refers to a set of source users (quantum nodes), destination users (quantum nodes), several intermediate quantum repeaters between them, and to a set of physical node-to-node connections between the physical nodes (the physical attributes of the $l=1$ level connections identify the physical attributes of the physical links between the neighboring nodes). A quantum node is a quantum device with internal quantum memory $\mathcal{M}$ , and with the capability of performing local operations (such as the internal processes connected to entanglement purification, entanglement swapping, error correction, etc.)[28, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64]. In a practical setting, the node-to-node entanglement distribution can be implemented by an optical fiber network or via a wireless optical system (free-space channel [29] or a quantum-based satellite communication channel [30]). A physical link $\mathcal{N}$ is characterized by a particular link loss $\mathcal{L}\left(\mathcal{N}\right)$ . For a standard-quality optical fiber $\mathcal{N}$ , the average link loss is $\mathcal{L}\left(\mathcal{N}\right)\approx 3.4\text{ dB}$ , while the maximum of the tolerable link loss for an optical fiber system is $\mathcal{L}\left(\mathcal{N}\right)\approx 4.3\text{ dB}$ [1, 6].

In an practical entangled quantum network, the $l>1$ level entangled connections refers to the case when the source and target quantum nodes are not directly connected by a physical link, but by an entangled connection that spans several quantum repeaters. An $l>1$ level entangled connection is formulated by several node-to-node interactions through the physical links in the physical layer.

3 Entanglement Access

3.1 Entanglement Fidelity Criterion

First, we characterize the entanglement fidelity criterion for a given node pair. Using the criterion, we then derive the probability of the existence of single-path and multipath sets with $m$ end-to-end connection-disjoint entangled paths [65, 66] between source and target nodes. The end-to-end connection-disjoint entangled paths share no any common entangled connection between a source node $A$ and a receiver node $B$ .

A given entangled connection ${\rm L}_{l}$ is characterized by a particular fidelity $F^{{\rm*}}$ , whose quantity classifies the entangled connection, such that $F^{{\rm*}}\geq F_{crit}$ , where $F_{crit}$ is a critical lower bound on the fidelity of entanglement.

Let $E\left(x,y\right)$ refer to the entangled connection between a node pair $\left(x,y\right)$ , and let $F_{\Delta}\left(x,y\right)$ be the difference of the fidelity of entanglement in quantum nodes $x$ and $y$ , as

[TABLE]

where $\hat{F}_{\Delta}$ is a maximal allowed fidelity distance, $F_{x}\geq F_{crit}$ , and $F_{y}\geq F_{crit}$ . Since the entangled connections are assumed to be time-varying in the network [65, 66], the probability that $F_{\Delta}\left(x,y\right)<\hat{F}_{\Delta}$ holds at a given time $t$ for an entangled connection $E_{{\rm L}_{l}}\left(x,y\right)$ is as

[TABLE]

where $\delta\left(F_{\Delta}\left(x,y\right)\right)$ is the probability density function of entanglement fidelity distance.

3.1.1 Single-Path Entanglement Accessibility

Let ${\rm{\mathcal{P}}}^{S}$ refer to a single path between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ , $k=1,\ldots,K$ , where $\rho$ is a demand, $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ are the sender and destination nodes associated with the demand $\rho$ of user $U_{k}$ , $K$ is the number of users. The single entangled path setting means that entanglement can be distributed from $A_{\rho,U_{k}}$ to $B_{\rho,U_{k}}$ through only one given path in the network $N$ . Let it be assumed that ${\rm{\mathcal{P}}}^{S}$ consists of $g$ entangled connections; then the $\Pr\left({\rm{\mathcal{P}}}^{S}\right)$ probability that a given single path ${\rm{\mathcal{P}}}^{S}$ exists between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ with the fidelity criterion is expressed as

[TABLE]

3.1.2 Multipath Entanglement Accessibility

Let ${\rm{\mathcal{P}}}_{i}^{M}$ , $i=1,\ldots,m$ , refer to the $i$ th multipath between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ , which means that entanglement can be distributed from $A_{\rho,U_{k}}$ to $B_{\rho,U_{k}}$ through a set ${\rm{\mathcal{P}}}_{M}$ of $m$ end-to-end connection-disjoint entangled paths as ${\rm{\mathcal{P}}}_{M}=\left\{{\rm{\mathcal{P}}}_{1}^{M},\ldots,{\rm{\mathcal{P}}}_{m}^{M}\right\}$ in the network $N$ . The $\Pr\left({\rm{\mathcal{P}}}_{M}\right)$ probability [65] that $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ share a common entanglement with the fidelity criterion is as

[TABLE]

where $S$ is a path index, and $g_{S}$ is the number of entangled connections associated with ${\rm{\mathcal{P}}}^{S}$ .

Based on the distribution of $F_{\Delta}\left(x,y\right)$ fidelity distances between the node pairs of the network, the formulas of (6) and (7) can be derived in a more exact form222Assuming an exponential distribution of $F_{\Delta}\left(x,y\right)$ , $\Pr\left({\rm{\mathcal{P}}}^{S}\right)=\int\limits_{0}^{\hat{F}_{\Delta}}\lambda e^{-\lambda z}dz=1-e^{-\lambda\hat{F}_{\Delta}}$ , where $\lambda$ is a distribution coefficient, while $\Pr\left({\rm{\mathcal{P}}}_{M}\right)=1-\prod_{S=1}^{m}\left(1-\left(1-e^{-\lambda\hat{F}_{\Delta}}\right)^{g_{S}}\right)$ ..

4 Integrated Criterion on Connection Probability and Fidelity

The integrated criterion extends the results of Section 3 to include the criterion on the probability of the existence of a given entangled connection between a node pair of a path. Using the integrated criterion on the connection probability and entanglement fidelity, we derive the probability of existence of single-path and multipath sets with $m$ end-to-end connection-disjoint entangled paths [65] between source and target nodes.

In our model, the fidelity of shared entanglement evolves in time for a given node pair $\left(x,y\right)$ . For each quantum node $i$ at a time $t$ , let $\Psi_{i}\left(t\right)$ be defined as

[TABLE]

where $\Pr\left(E_{{\rm L}_{l}}\left(i,j,t\right)\right)$ is the probability of an ${\rm L}_{l}$ -level entangled connection with a node $j$ determined in node $i$ at a time $t$ , while $F_{i}\left(t\right)$ is the fidelity of entanglement determined in node $i$ at a time $t$ .

For a node pair $\left(x,y\right)$ , according to local quantities, the following distance can be defined:

[TABLE]

where $\Pr\left(E_{{\rm L}_{l}}\left(x,y,t\right)\right)$ , and $\Pr\left(E_{{\rm L}_{l}}\left(y,x,t\right)\right)$ are the connection probability quantities determined in nodes $x$ and $y$ , and the fidelity distance $F_{\Delta}\left(t\right)$ is described by

[TABLE]

where $F_{x}\left(t\right)$ , and $F_{y}\left(t\right)$ are the fidelity quantities determined in nodes $x$ and $y$ .

A distance of $\Psi_{x}\left(t\right)$ and $\Psi_{y}\left(t\right)$ for a node pair $\left(x,y\right)$ at a particular time $t$ is expressed via $\gamma_{x,y}\left(t\right)$ , as

[TABLE]

Since the connection probability and the entanglement fidelity parameters evolve over time, after $\Delta t$ from an initial time $t_{0}$ , the quantity $\Psi_{x}\left(t_{0}+\Delta t\right)$ of a given node $x$ evolves as

[TABLE]

where $\chi_{x}\left(t_{0},\Delta t\right)$ is expressed as

[TABLE]

where $\delta\left(\gamma_{x,y}\right)$ is the probability density function of distance function $\gamma_{x,y}$ , and $\phi_{x}^{\Pr\left(E_{{\rm L}_{l}}\left(x,y\right)\right)}$ and $\phi_{x}^{F_{x}}$ are expressed as the connection probability and entanglement fidelity evolution functions of node $x$ .

For a given node pair $\left(x,y\right)$ , the particular upper bound $\gamma_{x,y}^{\max}$ on the maximal allowable distance between $\Psi_{x}\left(t_{0}+\Delta t\right)$ and $\Psi_{y}\left(t_{0}+\Delta t\right)$ at time $t_{0}+\Delta t$ leads to a limit while $\left(x,y\right)$ can be referred to as entangled:

[TABLE]

If $\gamma_{x,y}\left(t_{0}+\Delta t\right)$ exceeds $\gamma_{x,y}^{\max}$ , then the difference of the local entangled connection probabilities and entanglement fidelities are above a critical limit; therefore, the node pair $\left(x,y\right)$ is referred to as unentangled.

Using (11) and (13), (14) can be rewritten as

[TABLE]

which leads to

[TABLE]

A representation of $F_{\Delta}\left(t_{0}\right)$ and $F_{\Delta}\left(t_{0}+\Delta t\right)$ for a node pair $\left(x,y\right)$ is depicted in Fig. 1. The $\Pr\left(E_{{\rm L}_{l}}\left(x,y\right)\right)$ connection probability is assumed to be different in the nodes at a particular time.

4.1 Single-Path Entanglement Accessibility

After these derivations, the $\Pr\left({\rm{\mathcal{P}}}^{S}\left(t_{0}+\Delta t\right)\right)$ probability of a ${\rm{\mathcal{P}}}^{S}$ single path in function of the connection probability and entanglement fidelity in the nodes of the path (e.g., connection probability criterion and fidelity criterion for all entangled connections of the path) is as follows.

Using $\gamma_{x,y}\left(t_{0}+\Delta t\right)$ in (16), the probability of the existence of a given single path ${\rm{\mathcal{P}}}^{S}$ with ${{g}_{S}}$ entangled connections between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ with a connection probability criterion and fidelity criterion for all entangled connections (see (6)) at time $t_{0}+\Delta t$ can therefore be rewritten as

[TABLE]

where

[TABLE]

4.2 Multipath Entanglement Accessibility

For the multipath scenario, (7) can be written via (16) as follows. For a given set of $m$ end-to-end connection-disjoint entangled paths expressed as ${\rm{\mathcal{P}}}_{M}=\left\{{\rm{\mathcal{P}}}_{1}^{M},\ldots,{\rm{\mathcal{P}}}_{m}^{M}\right\}$ between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ , the $\Pr\left({\rm{\mathcal{P}}}_{M}\left(t_{0}+\Delta t\right)\right)$ probability that $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ share a common entanglement with a connection probability criterion and fidelity criterion at time $t_{0}+\Delta t$ is expressed as

[TABLE]

5 Control of Entanglement Access

The entanglement access control algorithm establishes a number of connection-disjoint entangled paths between a source node and a target node. Changing the number $m$ of connection-disjoint entangled paths allows us to modify both the probability of entanglement between the source and target nodes and the fidelity of available entanglement in the end nodes.

For the algorithm, a $c\left(E_{{\rm L}_{l}}\left(x,y\right)\right)$ cost function [65] of a given entangled connection $E_{{\rm L}_{l}}\left(x,y\right)$ is defined as

[TABLE]

where

[TABLE]

and

[TABLE]

Let $N$ be the actual quantum repeater network with $\left|V\right|$ quantum nodes. A given ${\rm L}_{l}$ -level entangled connection between a node pair $\left(x,y\right)$ is expressed as $E_{{\rm L}_{l}}\left(x,y\right)$ .

Let $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ be the source and target quantum nodes of a demand $\rho$ associated with user $U_{k}$ . Using (20) and a given entangled path ${\rm{\mathcal{P}}}$ with a set of $q$ quantum repeaters $R_{i}$ , $i=1,\ldots,q$ , and a set $\mathcal{S}$ entangled connections, as

[TABLE]

the cost of path ${\rm{\mathcal{P}}}$ is defined as

[TABLE]

The ${\rm{\mathcal{D}}}_{{\rm{\mathcal{A}}}}$ entanglement access control algorithm outputs a set of ${\rm{\mathcal{P}}}_{M}=\left\{{\rm{\mathcal{P}}}_{1}^{M},\ldots,{\rm{\mathcal{P}}}_{m}^{M}\right\}$ , which contains the $m$ connection-disjoint entangled paths between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ .

In function of $m$ , ${\rm{\mathcal{U}}}_{C}$ priority classes can be defined for the users of the quantum Internet. A high priority user gets a high value of $m$ , while lower priority users get lower values of $m$ . The actual value of $m$ for a particular user class ${\rm{\mathcal{U}}}_{C}$ can be determined in function of the current network conditions.

The steps are given in Algorithm 1.

5.1 Description

A brief description of the ${\rm{\mathcal{D}}}_{{\rm{\mathcal{A}}}}$ entanglement access control algorithm is as follows.

Step 1 sets $m$ for a user $U_{k}$ by the ${\rm{\mathcal{U}}}_{C}({U_{k}})$ priority class of the user. The ${\rm{\mathcal{U}}}_{C}({U_{k}})$ determines the available value(s) of $m$ for $U_{k}$ .

In Step 2, entanglement is established between the source node $A_{\rho,U_{k}}$ of the given demand of the user and the neighboring quantum repeaters. The relevant metrics quantities are also calculated in this step.

Using the derived quantities of Step 2, in Step 3, the cost paths are derived via (26) using the entangled connection cost formula of (20).

Steps 4-5 deal with the intermediate quantum repeater nodes associated with the given demand. These steps also ensure that entanglement is distributed through the cheapest path $c\left({\rm{\mathcal{P}}}^{\prime}\right)$ from a source node $A_{\rho,U_{k}}$ towards $B_{\rho,U_{k}}$ , via a given intermediate repeater node $R_{i}$ . It is ensured in our model that if the intermediate repeater node $R_{i}$ also shares entanglement with a quantum repeater $R_{j}$ , then node $R_{j}$ will not establish entanglement with $B_{\rho,U_{k}}$ , since $B_{\rho,U_{k}}$ can be reached via $R_{i}$ , which is on the cheapest path $c\left({\rm{\mathcal{P}}}^{\prime}\right)$ .

Step 6 outputs the set of $m$ end-to-end connection-disjoint entangled paths between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ and the path costs for all paths.

Step 7 determines the $\Pr\left({\rm{\mathcal{P}}}_{M}\right)$ probability for user $U_{k}$ via (19), and updates the actual value of $m$ if needed.

Finally, Step 8 extends the steps for all users.

In Fig. 2 a multipath entanglement accessibility is depicted in a quantum Internet setting with heterogeneous entanglement levels. The network situation depicts connection-disjoint entangled paths that share no common entangled connection between a source node $A_{\delta,U_{i}}$ and a receiver node $B_{\delta,U_{i}}$ . The entangled paths are characterized by the derived formulas.

5.2 Computational Complexity

For a given quantum network $N$ with $\left|V\right|$ quantum nodes, the computational complexity of the ${\rm{\mathcal{D}}}_{{\rm{\mathcal{A}}}}$ entanglement access control algorithm for a given demand $\rho$ is at most ${\rm{\mathcal{O}}}\left(\left|V\right|\right)$ , since the problem is analogous to the establishment of a path by message broadcasting [65].

5.3 Numerical Evidence

We provide a numerical evidence on the distribution of the ${\rm{\mathcal{P}}}^{S}$ and ${\rm{\mathcal{P}}}_{M}$ path probabilities.

Let us set $F_{crit}=0.98$ for the lower bound on the fidelity of entanglement between all node pairs $x$ and $y$ , $F_{x}\geq F_{crit}$ , and $F_{y}\geq F_{crit}$ . Then, the maximal allowed fidelity distance is set as $\hat{F}_{\Delta}=1-0.98=0.02$ .

Then, let us assume that a ${\rm{\mathcal{P}}}^{S}$ single path between $A_{\rho,U_{k}}$ and $B_{\rho,U_{k}}$ consist of $g$ entangled connections with different $l$ entanglement levels between the nodes of the path ${\rm{\mathcal{P}}}^{S}$ . For the ${\rm{\mathcal{P}}}_{M}=\left\{{\rm{\mathcal{P}}}_{1}^{M},\ldots,{\rm{\mathcal{P}}}_{m}^{M}\right\}$ multipath scenario, each entangled path consist of $g_{S}$ entangled connections with different $l$ entanglement levels between the nodes of each entangled path of ${\rm{\mathcal{P}}}_{M}$ .

For simplicity let us assume that the number of entangled connections is set as $g_{S}=g=10$ for all entangled paths, and the distribution of the $\Pr\left(F_{\Delta}\left(x,y\right)<\hat{F}_{\Delta}\right)$ probabilities for the entangled connections of a ${\rm{\mathcal{P}}}^{S}$ single path at $\hat{F}_{\Delta}=0.02$ is as depicted in Fig. 3(a). The distribution of the $\Pr\left(F_{\Delta}\left(x,y\right)<\hat{F}_{\Delta}\right)$ probabilities for the entangled connections of a ${\rm{\mathcal{P}}}_{M}$ multipath with $m=5$ at $\hat{F}_{\Delta}=0.02$ is distributed as depicted in Fig. 3(b). The resulting $\Pr\left({\rm{\mathcal{P}}}^{S}\right)$ and $\Pr\left({\rm{\mathcal{P}}}_{M}\right)$ probabilities are depicted in Fig. 3(c).

The numerical analysis revealed that $\Pr\left({\rm{\mathcal{P}}}_{S}\right)\approx 0.4171$ for a ${\rm{\mathcal{P}}}_{S}$ single entangled path at the particular $\Pr\left(F_{\Delta}\left(x,y\right)<\hat{F}_{\Delta}\right)$ connection-level values of the path (given in Fig. 3(a)). The ${\rm{\mathcal{P}}}_{M}$ multipath setting at connection-level values of Fig. 3(b), at $m=4$ doubles the success probability of the single path setting with $\Pr\left({\rm{\mathcal{P}}}_{M}\right)\approx 0.8549$ , while at $m=5$ , the resulting probability is $\Pr\left({\rm{\mathcal{P}}}_{M}\right)\approx 0.9476$ .

6 Conclusions

In this work, we defined a method to achieve entanglement access control in the quantum Internet. The algorithm utilizes different paths between the source and target nodes in function of a particular path cost function. The path cost function uses the local entanglement fidelities of the nodes and the probability of the existence of the entangled connections. Increasing the number of available paths leads to a multipath setting, which allows the parties to establish high fidelity entanglement with reliable entangled connections between the end nodes. The proposed scheme has moderate complexity, and it is particularly convenient for the entangled quantum network structure of the quantum Internet.

Acknowledgements

This work was partially supported by the National Research Development and Innovation Office of Hungary (Project No. 2017-1.2.1-NKP-2017-00001), by the Hungarian Scientific Research Fund - OTKA K-112125 and in part by the BME Artificial Intelligence FIKP grant of EMMI (BME FIKP-MI/SC).

Bibliography66

The reference list from the paper itself. Each links out to its DOI / PubMed record.

1[1] Van Meter, R. Quantum Networking . ISBN 1118648927, 9781118648926, John Wiley and Sons Ltd (2014).
2[2] Lloyd, S., Shapiro, J. H., Wong, F. N. C., Kumar, P., Shahriar, S. M. and Yuen, H. P. Infrastructure for the quantum Internet. ACM SIGCOMM Computer Communication Review , 34, 9–20 (2004).
3[3] Kimble, H. J. The quantum Internet. Nature , 453:1023–1030 (2008).
4[4] Gyongyosi, L., Imre, S. and Nguyen, H. V. A Survey on Quantum Channel Capacities, IEEE Communications Surveys and Tutorials , doi: 10.1109/COMST.2017.2786748 (2018).
5[5] Van Meter, R., Ladd, T. D., Munro, W. J. and Nemoto, K. System Design for a Long-Line Quantum Repeater, IEEE/ACM Transactions on Networking 17(3), 1002-1013, (2009).
6[6] Van Meter, R., Satoh, T., Ladd, T. D., Munro, W. J. and Nemoto, K. Path selection for quantum repeater networks, Networking Science , Volume 3, Issue 1–4, pp 82–95, (2013).
7[7] Van Meter, R. and Devitt, S. J. Local and Distributed Quantum Computation, IEEE Computer 49(9), 31-42 (2016).
8[8] Gyongyosi, L. and Imre, S. Decentralized Base-Graph Routing for the Quantum Internet, Physical Review A , American Physical Society, DOI: 10.1103/Phys Rev A.98.022310, https://link. Aps. Org/doi/10.1103/Phys Rev A.98.022310, (2018).