Table of Contents
Fetching ...

On Utility-optimal Entanglement Routing in Quantum Networks

Sounak Kar, Arpan Mukhopadhyay

TL;DR

This work provides the framework for extending classical flow-based and quality of service-aware routing concepts to quantum networks and proposes a randomized rounding-based heuristic and an upper bound via the relaxation of the MICP.

Abstract

Quantum networks are envisioned to enable reliable distribution and manipulation of quantum information across distances, forming the foundation of a future quantum internet. The fair and efficient allocation of communication resources in such networks has been addressed through the quantum network utility maximization (QNUM) framework, which optimizes network utility under the assumption of predetermined routes for competing user demands. In this work, we relax this assumption and aim to identify optimal routes that correspond to the maximum achievable network utility. Specifically, we formulate the single-path utility-based entanglement routing problem as a Mixed-Integer Convex Program (MICP). The formulation is exact when negativity is chosen as the entanglement measure for utility quantification or the network supports sufficiently high entanglement generation rates across demands. For other entanglement measures considered, the formulation approximates the problem with over 99.99% accuracy on evaluated real-world examples. To improve computational tractability, we propose a randomized rounding-based heuristic and an upper bound via the relaxation of the MICP. Furthermore, based on min-congestion routing, we introduce an alternative randomized heuristic and upper bound. This heuristic is computationally faster, while both the heuristic and the upper bound often outperform their counterparts on considered real-world networks. Our work provides the framework for extending classical flow-based and quality of service-aware routing concepts to quantum networks.

On Utility-optimal Entanglement Routing in Quantum Networks

TL;DR

This work provides the framework for extending classical flow-based and quality of service-aware routing concepts to quantum networks and proposes a randomized rounding-based heuristic and an upper bound via the relaxation of the MICP.

Abstract

Quantum networks are envisioned to enable reliable distribution and manipulation of quantum information across distances, forming the foundation of a future quantum internet. The fair and efficient allocation of communication resources in such networks has been addressed through the quantum network utility maximization (QNUM) framework, which optimizes network utility under the assumption of predetermined routes for competing user demands. In this work, we relax this assumption and aim to identify optimal routes that correspond to the maximum achievable network utility. Specifically, we formulate the single-path utility-based entanglement routing problem as a Mixed-Integer Convex Program (MICP). The formulation is exact when negativity is chosen as the entanglement measure for utility quantification or the network supports sufficiently high entanglement generation rates across demands. For other entanglement measures considered, the formulation approximates the problem with over 99.99% accuracy on evaluated real-world examples. To improve computational tractability, we propose a randomized rounding-based heuristic and an upper bound via the relaxation of the MICP. Furthermore, based on min-congestion routing, we introduce an alternative randomized heuristic and upper bound. This heuristic is computationally faster, while both the heuristic and the upper bound often outperform their counterparts on considered real-world networks. Our work provides the framework for extending classical flow-based and quality of service-aware routing concepts to quantum networks.
Paper Structure (11 sections, 2 theorems, 27 equations, 4 figures, 1 table)

This paper contains 11 sections, 2 theorems, 27 equations, 4 figures, 1 table.

Key Result

Proposition 1

The route-based eq:uRouteSingleWd--eq:uRouteSingleWdEnd(R) and link-based eq:objDirect--eq:flowDirect(L) formulations are equivalent.

Figures (4)

  • Figure 1: Topologies of the real-world core optical networks matzner2024topology used for evaluations.
  • Figure 2: Performance of the randomized heuristics (Rnd heuristic) and upper bounds (UB) vis-à-vis the optimum log utility (OPT) calculated via MICP \ref{['eq:modObjective']}--\ref{['eq:zMICP']}, min-congestion-based metrics are marked as (MC). Results are shown for entanglement measures SKF and negativity (Neg.) on BREN ($10$ nodes, left $2$ subplots), UNIC ($15$ nodes) and ARNES ($17$ nodes, right $2$ subplots) networks matzner2024topology for varying demand counts $k$. The MC heuristic outperforms its counterpart on average, and the MC upper bound is often closer to OPT. Recall that log utility here equals utility as per NUM kelly1997chargingvardoyan2023quantum.
  • Figure 3: Performance of the randomized heuristics with the lower bound to DE \ref{['eq:de']} as the entanglement measure, the behavior is qualitatively similar to that of SKF in Fig \ref{['fig:whole']}.
  • Figure 4: Left subplot: estimators of $F_i$ when $f_i = f_\text{sk}$\ref{['eq:sk']}. The right subplot zooms in on the domain of non-concavity of $F_i$ to show the deviation of the estimates. Error bounds: $|\!|\hat{F}_\text{sk}\!-\!F_\text{sk}|\!|\!<\!0.0165$, $|\!|{F}_\text{sk}\!-\!\breve{F}_\text{sk}|\!|\!<\!0.0258$,

Theorems & Definitions (8)

  • Remark 1
  • Remark 2
  • Proposition 1
  • proof : Proof
  • Remark 3
  • Definition 4.1: Maximum congestion
  • Proposition 2
  • proof