Papers
Topics
Authors
Recent
Search
2000 character limit reached

Simultaneous SWAP-ASAP in Quantum Repeater Chains

Updated 5 July 2026
  • The paper presents simultaneous SWAP-ASAP as a strategy that waits for all link buffers to be ready and then performs a synchronized collapse of the swap tree, reducing intermediate buffering.
  • It employs parallel elementary link generation and immediate swap triggering, leading to precise analytic expressions for fidelity, noise metrics, and secret-key rates.
  • The method minimizes decoherence by avoiding stored partial chains, thus offering significant advantages in scalable quantum networks and QKD applications.

Simultaneous SWAP-ASAP is a network-layer entanglement-distribution strategy for repeater paths in which end-to-end entanglement is produced by waiting until the required elementary-link resources are available and then collapsing the swap tree without intermediate chain buffering. In one explicit formulation, the controller waits until every link buffer on an nn-link path contains a valid pair, decoheres the selected pairs to the current time, and performs the full set of swaps in one synchronized collapse of a balanced swap tree. Closely related analytical work studies the standard homogeneous swap-ASAP repeater chain, where all elementary links are attempted in parallel every round and any repeater with two adjacent ready links swaps immediately; under that semantics, several swaps may occur in the same round, but there is no separate globally layered swap schedule. The subject therefore spans both a precise network-layer baseline and a broader ASAP semantics for local, event-driven repeater chains (Goodenough et al., 2024, Srivastava et al., 5 May 2026).

1. Definitions and protocol semantics

In the explicit network-layer usage of the term, Simultaneous SWAP-ASAP is a wait-and-swap baseline. The controller waits until every link buffer contains at least one valid pair, pops one pair from each buffer, decoheres each selected pair to the current time using the external-memory model, and then performs all entanglement swaps in one synchronized collapse of the swap tree. The recursive combination is a balanced tree: Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R) with left and right halves combined recursively. This makes the protocol connection-oriented and centrally coordinated: the path must effectively be reserved, all link buffers on the path must be known to contain valid pairs, and the swaps must be triggered in a coordinated manner (Srivastava et al., 5 May 2026).

A distinct but related usage appears in the analytical repeater literature. There, the paper does not define a separate protocol called “Simultaneous SWAP-ASAP.” Instead it studies the standard homogeneous swap-ASAP repeater chain: elementary-link attempts are made in parallel every round, and any repeater that has two adjacent ready links swaps immediately. If several repeater nodes become eligible in the same round, those swaps can occur in that same round. The model is therefore event-driven and local, not organized into deferred globally synchronized swap layers (Goodenough et al., 2024).

This terminological split is central. In the first sense, simultaneity is an explicit network-layer rule: wait for all link resources, then collapse the full swap tree. In the second, simultaneity is an emergent consequence of ASAP local semantics under round-synchronized link generation. A common misconception is to treat these as identical protocols. The literature instead supports a narrower statement: the two share an ASAP ethos, but they impose different synchronization structures.

2. Homogeneous repeater-chain model and noise observable

The exact analytical treatment considers a linear chain of nn elementary segments separated by n1n-1 repeater nodes, with equally spaced repeaters and homogeneous parameters. Time is discrete and synchronized across the chain. In each round, all elementary links are attempted in parallel. Segment i{1,,n}i\in\{1,\dots,n\} succeeds in round ti1t_i\ge 1 with

Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.

The chain starts a new generation cycle only after successful end-to-end delivery or after a cut-off reset; it does not keep generating fresh links while a previous generation cycle remains unresolved. Swaps are deterministic in the main analysis, and classical communication is assumed instantaneous in the main cut-off model (Goodenough et al., 2024).

The memory-noise model is based on a Bell pair mixed with white noise,

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},

with operational fidelity

F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.

The parameter Λ\Lambda is convenient because both swapping and storage act multiplicatively: Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)0 for one round of memory decoherence, with Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)1. After Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)2 rounds of waiting, the storage factor is Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)3 (Goodenough et al., 2024).

For a realization Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)4, repeater Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)5 waits until both adjacent elementary links exist, so its local waiting time is

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)6

Ignoring endpoint storage noise, the delivered noise parameter is

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)7

The quantity

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)8

is the aggregate waiting time or roughness parameter. It makes the delivered fidelity a random variable through the independent geometric link-generation times. The main text omits the endpoint factor

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)9

justifying this by QKD use cases in which endpoint qubits can be measured immediately, or by assuming endpoints are much better protected than repeaters. Consequently,

nn0

A key identity is that the average delivered noise parameter is exactly the probability generating function of nn1: nn2 All moments then follow by substitution,

nn3

and moments of nn4 follow by algebraic expansion from nn5 (Goodenough et al., 2024).

3. Exact analytics, generating functions, and asymptotics

The exact framework begins with the conditional quantity

nn6

which obeys

nn7

with base case

nn8

The paper shows that nn9 lies in the span of monomials n1n-10, n1n-11. Writing n1n-12, the recursion becomes a linear map n1n-13,

n1n-14

where

n1n-15

The summation linear form is

n1n-16

This yields an exact symbolic algorithm for n1n-17, and by n1n-18, for exact moments of arbitrary order. The paper states that this produces exact analytic formulae for all moments up to n1n-19 segments (Goodenough et al., 2024).

The main generating-function advance is a second generating function in the segment number: i{1,,n}i\in\{1,\dots,n\}0 Its i{1,,n}i\in\{1,\dots,n\}1-th Maclaurin coefficient is exactly the average noise parameter for an i{1,,n}i\in\{1,\dots,n\}2-segment chain. The closed form is expressed through basic i{1,,n}i\in\{1,\dots,n\}3-hypergeometric series: i{1,,n}i\in\{1,\dots,n\}4 with

i{1,,n}i\in\{1,\dots,n\}5

i{1,,n}i\in\{1,\dots,n\}6

i{1,,n}i\in\{1,\dots,n\}7

i{1,,n}i\in\{1,\dots,n\}8

The derivation maps the recursion to weighted walks on an unnormalized Markov chain over basis states i{1,,n}i\in\{1,\dots,n\}9, decomposes those walks combinatorially, and multiplies generating functions of the resulting subwalk classes (Goodenough et al., 2024).

Singularity analysis then yields the asymptotic form

ti1t_i\ge 10

where the dominant singularity ti1t_i\ge 11 is the smallest positive real solution of

ti1t_i\ge 12

Since

ti1t_i\ge 13

the average fidelity approaches ti1t_i\ge 14 at an exponential rate governed by the same ti1t_i\ge 15. The paper emphasizes that ti1t_i\ge 16 can be interpreted as an effective per-segment decay factor, and that the approximation is “exponentially tight” in the sense that

ti1t_i\ge 17

with exponentially shrinking residual error (Goodenough et al., 2024).

Because ti1t_i\ge 18 only takes values in ti1t_i\ge 19, the exact PMF can be recovered from derivatives at Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.0: Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.1 The paper reports exact full delivered-noise distributions up to Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.2 segments. This is materially stronger than moment-only characterization, because the PMF specifies exact probabilities for each delivered fidelity level.

4. Global cut-off, delivery-time trade-offs, and secret-key-rate evaluation

The global cut-off policy adds an explicit reset rule. Starting from an empty chain, a global timer increments by one every generation round. Ordinary swap-ASAP is followed, but if end-to-end entanglement is not established before the timer reaches Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.3, all present entanglement is discarded and the protocol restarts. If delivery occurs before Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.4, the timer resets and a new cycle begins. Analytically this corresponds to conditioning on

Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.5

The normalized average delivered noise is

Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.6

The corresponding recursion is

Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.7

In the basis Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.8, the map becomes

Pr(ti=t)=p(1p)t1=(1q)qt1,q1p.\Pr(t_i=t)=p(1-p)^{t-1}=(1-q)q^{t-1}, \qquad q\equiv 1-p.9

with

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},0

The finite-Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},1 linear form is

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},2

The cut-off generating function is again explicit, though cumbersome, and its smallest positive singularity yields

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},3

for the cut-off denominator singularity Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},4 (Goodenough et al., 2024).

The practical importance is that fidelity moments and delivery-time quantities can be evaluated without Monte Carlo simulation. The single-attempt success probability under cut-off is

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},5

Without cut-off,

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},6

Under global cut-off, the expected delivery time is

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},7

where

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},8

For QKD implications, the paper uses fully asymmetric BB84. The secret-key fraction is

Λψ ⁣ψ+(1Λ)I4,2ψ=00+11,\Lambda \ket{\psi}\!\bra{\psi} + (1-\Lambda)\frac{\mathbb I}{4}, \qquad \sqrt{2}\ket{\psi}=\ket{00}+\ket{11},9

with

F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.0

The secret-key rate is secret-key fraction divided by expected delivery time. Without binning, one uses F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.1. With binning by roughness F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.2, one uses the exact PMF,

F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.3

By convexity,

F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.4

The paper’s practical conclusion is that both cut-off and binning can materially improve repeater performance, and in low-success-probability regimes a cut-off can be essential to obtaining nonzero key rate at all (Goodenough et al., 2024).

5. Network-layer comparison with sequential swapping

A separate study fixes the link layer and varies only the network-layer protocol on a chain of length F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.5. Each elementary link is controlled by an independent reinforcement-learning policy from the WN2M2 setting of Yau et al., trained for a six-state-QKD secret-key-rate objective; the network-layer rule is therefore the sole independent variable. Simultaneous SWAP-ASAP is compared against sequential entanglement swapping, where partial chains are grown hop by hop and stored in explicit chain buffers F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.6 (Srivastava et al., 5 May 2026).

The system distinguishes internal communication memory with coherence time F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.7 from external storage memory with coherence time F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.8. Link buffers are per-link deques of capacity F=Λ+1Λ4=34Λ+14.F=\Lambda+\frac{1-\Lambda}{4}=\frac{3}{4}\Lambda+\frac{1}{4}.9, while sequential additionally maintains external-memory chain buffers. The key timing parameter is the per-link heralding latency

Λ\Lambda0

for homogeneous links, or

Λ\Lambda1

more generally. The central organizing variable is the dimensionless ratio Λ\Lambda2. The stored-state model is

Λ\Lambda3

and swapping two Werner states uses

Λ\Lambda4

The mechanistic difference is explicit. Sequential swapping “holds partial chains in intermediate buffers between successive swaps.” Simultaneous SWAP-ASAP “holds no intermediate chain storage”: it waits only at the level of independent link buffers, then consumes one valid pair from each buffer and executes the full swap tree. The paper states that all Λ\Lambda5 swaps are performed in

Λ\Lambda6

rounds rather than Λ\Lambda7. For Λ\Lambda8, the four link-level pairs are combined through a balanced binary tree within the same controller action. The decoherence exposure is therefore limited to the ages of elementary-link pairs in the link buffers, not to the age of already-swapped partial chains (Srivastava et al., 5 May 2026).

The empirical regime structure is stark. Simultaneous SWAP-ASAP delivers a constant rate across the stressed sweep of Λ\Lambda9. For symmetric topologies,

  • on Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)00 km it delivers Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)01 bps across the full sweep;
  • on Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)02 km it delivers Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)03 bps across the full sweep.

For bottleneck topologies it delivers Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)04–Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)05 bps, again invariant in Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)06. In the off-diagonal Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)07 sweep at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)08 km, the simultaneous heatmap is flat to four decimals and gives Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)09 bps at every cell.

Sequential swapping exhibits a collapse regime, a recovery onset, and a saturation regime:

  • no end-to-end deliveries for

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)10

  • recovery begins at

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)11

  • the simultaneous rate is reached only in the relaxed regime

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)12

Quantitatively, for symmetric Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)13 km, sequential gives Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)14 bps for

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)15

then Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)16 bps at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)17, and Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)18 bps at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)19, versus simultaneous’s constant Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)20 bps. For symmetric Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)21 km, sequential gives zero at

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)22

while simultaneous remains at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)23 bps. At Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)24 and Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)25, sequential reaches only Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)26–Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)27 of the simultaneous rate depending on Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)28. In the relaxed reference regime Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)29, the two protocols agree to within Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)30; for the symmetric Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)31 s case, the reported values are Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)32 bps versus Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)33 bps at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)34, and Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)35 bps for both at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)36 (Srivastava et al., 5 May 2026).

The paper’s interpretation is careful. Sequential swapping is not claimed to be fundamentally inferior. Rather, the penalty is presented as a near-term, hardware-limited effect caused by finite external-memory coherence and the need to buffer partial chains between swaps. This suggests that the decisive issue is not the abstract possibility of local-growth protocols, but the current ratio of external-memory coherence time to heralding latency.

6. Performance metric, assumptions, and terminological boundaries

The comparative network-layer metric is a secret-key-rate-like utility,

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)37

where Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)38 is the six-state-protocol entropy expression

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)39

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)40 is the mean end-to-end fidelity over deliveries in a trial, and Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)41. This makes the reported bps values comparable across simultaneous and sequential protocols because fidelity and mean inter-delivery interval are computed symmetrically (Srivastava et al., 5 May 2026).

Both analytical and simulation results are subject to strong scope conditions. In the homogeneous exact analysis, the chain is equally spaced and homogeneous, time is discrete, swaps are deterministic and immediate, endpoint decoherence is neglected in the main formulas, link attempts are synchronized and parallel, and the chain does not keep generating fresh links while a previous cycle remains unresolved. Classical communication delay is neglected in the main cut-off analysis. Exact PMF reconstruction stops at Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)42, and exact moment expressions are reported up to Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)43, for symbolic-computation rather than conceptual reasons (Goodenough et al., 2024).

In the network-layer comparison, the study is a proof of principle at fixed Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)44, on a single pre-selected path, in a single-flow setting. Ideal local operations are assumed, the external-memory decoherence model is Werner-state depolarizing decay, and classical communication overhead is idealized. The paper notes that including signaling budgets would sharpen the comparison, especially because sequential would require Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)45 signaling rounds versus

Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)46

for simultaneous SWAP-ASAP. It also notes that sequential’s chain-assembly window scales linearly with Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)47, whereas simultaneous remains a single-tick collapse, suggesting that the near-term penalty may worsen for longer chains, though it is not quantified beyond Sim. SWAP-ASAP([F1,,Fm]):if m=1 return F1,Fswap(FL,FR)\text{Sim.\ SWAP-ASAP}([F_1,\ldots,F_m]): \quad \text{if }m=1\text{ return }F_1,\quad F_{\mathrm{swap}}(F_L,F_R)48 (Srivastava et al., 5 May 2026).

A further source of confusion is the phrase “SWAP-ASAP” outside quantum networking. In quantum-control literature, “ASAP” can mean shortcuts to adiabatic passage. A cavity-QED paper on a deterministic SWAP gate uses Lewis–Riesenfeld invariant-based inverse engineering and quantum Zeno dynamics, but its gate is realized as three sequential shortcut-assisted population-transfer steps rather than as a simultaneous entanglement-swapping schedule. That usage is therefore terminologically related but operationally distinct (Liang et al., 2015).

The most precise synthesis is therefore narrow. Simultaneous SWAP-ASAP, in the quantum-network sense, denotes an ASAP entanglement-swapping policy with strong coordination: either an explicitly centralized wait-until-all-links-ready collapse of the full swap tree, or the closely related canonical repeater semantics in which links are generated in parallel and eligible swaps fire immediately. The central technical questions are then the stochastic accumulation of memory noise, the exact fidelity distribution and its moments, the cut-off trade-off between fidelity and delivery time, and the architectural advantage gained by eliminating intermediate chain storage under finite coherence.

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Simultaneous SWAP-ASAP.