On the design and analysis of near-term quantum network protocols using Markov decision processes

TL;DR

This paper introduces a Markov decision process framework for designing and analyzing near-term quantum network protocols, providing optimal policies and insights into entanglement distribution under technological constraints.

Contribution

It develops a systematic MDP-based model for near-term quantum networks, including new optimal policies and extensions to analyze complex protocols.

Findings

Memory-cutoff policy is proven optimal for elementary links.

MDP framework effectively models protocols waiting for all links to be active.

Linear programs are derived for optimal steady-state policies regarding fidelity and waiting time.

Abstract

The quantum internet is one of the frontiers of quantum information science research. It will revolutionize the way we communicate and do other tasks, and it will allow for tasks that are not possible using the current, classical internet. The backbone of a quantum internet is entanglement distributed globally in order to allow for such novel applications to be performed over long distances. Experimental progress is currently being made to realize quantum networks on a small scale, but much theoretical work is still needed in order to understand how best to distribute entanglement, especially with the limitations of near-term quantum technologies taken into account. This work provides an initial step towards this goal. In this work, we lay out a theory of near-term quantum networks based on Markov decision processes (MDPs), and we show that MDPs provide a precise and systematic mathematical framework to model protocols for near-term quantum networks that is agnostic to the specific implementation platform. We start by simplifying the MDP for elementary links introduced in prior work, and by providing new results on policies for elementary links. In particular, we show that the well-known memory-cutoff policy is optimal. Then we show how the elementary link MDP can be used to analyze a quantum network protocol in which we wait for all elementary links to be active before creating end-to-end links. We then provide an extension of the MDP formalism to two elementary links, which is useful for analyzing more sophisticated quantum network protocols. Here, as new results, we derive linear programs that give us optimal steady-state policies with respect to the expected fidelity and waiting time of the end-to-end link.