Table of Contents
Fetching ...

Convexification of the Quantum Network Utility Maximisation Problem

Sounak Kar, Stephanie Wehner

TL;DR

This work addresses convexifying the quantum network utility maximisation (QNUM) problem in static networks by reformulating the optimization to depend solely on the rate allocation, using a geometric-programming style variable change. Sufficient conditions (Cond.1 and Cond.2) on route entanglement measures are derived to guarantee convexity of the transformed problem, enabling efficient, globally optimal solutions even with heterogeneous entanglement measures. The methodology is demonstrated across several measures, including secret key fraction, distillable entanglement, and negativity, and a numerical SURFnet example shows practical computation of optimal rate and fidelity allocations. The results provide a principled approach to jointly optimize end-to-end entanglement quality and generation rate, with implications for scalable quantum networks and diverse applications. The convex reformulation preserves existing convex contributions and extends to measures that do not directly admit convexity in the original formulation, enabling robust, scalable resource distribution in quantum repeater networks.

Abstract

Network Utility Maximisation (NUM) addresses the problem of allocating resources fairly within a network and explores the ways to achieve optimal allocation in real-world networks. Although extensively studied in classical networks, NUM is an emerging area of research in the context of quantum networks. In this work, we consider the quantum network utility maximisation (QNUM) problem in a static setting, where a user's utility takes into account the assigned quantum quality (fidelity) via a generic entanglement measure as well as the corresponding rate of entanglement generation. Under certain assumptions, we demonstrate that the QNUM problem can be formulated as an optimisation problem with the rate allocation vector as the only decision variable. Using a change of variable technique known in the field of geometric programming, we then establish sufficient conditions under which this formulation can be reduced to a convex problem, a class of optimisation problems that can be solved efficiently and with certainty even in high dimensions. We further show that this technique preserves convexity, enabling us to formulate convex QNUM problems in networks where some routes have certain entanglement measures that do not readily admit convex formulation, while others do. This allows us to compute the optimal resource allocation in networks where heterogeneous applications run over different routes.

Convexification of the Quantum Network Utility Maximisation Problem

TL;DR

This work addresses convexifying the quantum network utility maximisation (QNUM) problem in static networks by reformulating the optimization to depend solely on the rate allocation, using a geometric-programming style variable change. Sufficient conditions (Cond.1 and Cond.2) on route entanglement measures are derived to guarantee convexity of the transformed problem, enabling efficient, globally optimal solutions even with heterogeneous entanglement measures. The methodology is demonstrated across several measures, including secret key fraction, distillable entanglement, and negativity, and a numerical SURFnet example shows practical computation of optimal rate and fidelity allocations. The results provide a principled approach to jointly optimize end-to-end entanglement quality and generation rate, with implications for scalable quantum networks and diverse applications. The convex reformulation preserves existing convex contributions and extends to measures that do not directly admit convexity in the original formulation, enabling robust, scalable resource distribution in quantum repeater networks.

Abstract

Network Utility Maximisation (NUM) addresses the problem of allocating resources fairly within a network and explores the ways to achieve optimal allocation in real-world networks. Although extensively studied in classical networks, NUM is an emerging area of research in the context of quantum networks. In this work, we consider the quantum network utility maximisation (QNUM) problem in a static setting, where a user's utility takes into account the assigned quantum quality (fidelity) via a generic entanglement measure as well as the corresponding rate of entanglement generation. Under certain assumptions, we demonstrate that the QNUM problem can be formulated as an optimisation problem with the rate allocation vector as the only decision variable. Using a change of variable technique known in the field of geometric programming, we then establish sufficient conditions under which this formulation can be reduced to a convex problem, a class of optimisation problems that can be solved efficiently and with certainty even in high dimensions. We further show that this technique preserves convexity, enabling us to formulate convex QNUM problems in networks where some routes have certain entanglement measures that do not readily admit convex formulation, while others do. This allows us to compute the optimal resource allocation in networks where heterogeneous applications run over different routes.
Paper Structure (13 sections, 6 theorems, 50 equations, 4 figures, 4 tables)

This paper contains 13 sections, 6 theorems, 50 equations, 4 figures, 4 tables.

Key Result

Theorem 1

The transformed QNUM problem eq:QNUMtransformed is feasible, and the set of feasible vectors $S$ is a convex set.

Figures (4)

  • Figure 1: An entanglement distribution network with numbered links: link $j$'s Werner parameter is $w_j,~j \in [6]$. The end-to-end (e2e) Werner parameters of the routes are products of corresponding link-level $w_j$'s. E.g., route $1$ and $2$ have e2e Werner parameters $w_1 w_2$ and $w_1 w_4 w_6$, respectively. The positive rate allocations $(x_1,x_2,x_3,x_4)$ must satisfy $6$ constraints, one for each link \ref{['eq:QNUMcanonical']}. For example, $x_4 \!\le\! d_5(1-w_5)$ (link $5$) and $x_2+x_4 \!\le\! d_6(1-w_6)$ (link $6$). The utility of a route is the product of the allocated rate and a measure of e2e entanglement, e.g., route $2$ has utility $x_2 f_2(w_1 w_4 w_6)$.
  • Figure 2: (a) The secret key fraction satisfies $\sup \{\omega: f_\text{sk}(\omega)=0\} \approx 0.779944 \ge 1/2$. (b) The unique inflection point of its logarithm $F_\text{sk}$ is approximately $0.968418$. (c) For $\omega\!>\!0.968418$, we plot ${g_\text{sk}(u) \!=\! 2\!-\!u F_\text{sk}^{\prime \prime}(u)/(u F_\text{sk}^{\prime \prime}(u) \!+\! F_\text{sk}^{\prime}(u))\!-\!1/u}$ showing that Cond. 2 \ref{['eq:condFconcave']} is satisfied.
  • Figure 3: (a) The lower bound to distillable entanglement \ref{['eq:de']} satisfies $\sup \{\omega: f_\text{de}(\omega)=0\} \approx 0.747613 \ge 1/2$. The unique inflection point of $F_\text{de}:=\ln(f_\text{de})$ is approximately $0.966984$ (b), beyond which Cond. 2 \ref{['eq:condFconcave']} is shown to be satisfied by plotting ${g_\text{de}(u) \!=\! 2\!-\!u F_\text{de}^{\prime \prime}(u)/(u F_\text{de}^{\prime \prime}(u) \!+\! F_\text{de}^{\prime}(u))\!-\!1/u}$ in (c).
  • Figure 4: A subgraph of the SURFnet topology from vardoyan2024bipartite, figure not to scale. Users run QKD on $4$ routes (Tab. \ref{['tab:routes']}) using $18$ links annotated here. The length of a link determines its transmissivity (Tab. \ref{['tab:links']}). Consistent with current hardware capabilities, entanglement generation is assumed to be attempted every $T_j \!=\!10^{-3}$ seconds and the non-fibre induced inefficiencies coefficient is $\kappa_j \!=\! 0.1$ for each link $j \in [18]$. Optimal allocations are provided in Tab. \ref{['tab:optRateFid']}.

Theorems & Definitions (15)

  • Theorem 1
  • proof : Proof idea
  • Proposition 1
  • proof : Proof idea
  • Theorem 2
  • proof : Proof idea
  • Proposition 2
  • proof : Proof
  • proof : Proof of Thm. \ref{['prop:convexDomain']}
  • Lemma 1
  • ...and 5 more