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 n-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)
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 n elementary segments separated by n−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. Segmenti∈{1,…,n} succeeds in round ti≥1 with
Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡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,
The parameter Λ is convenient because both swapping and storage act multiplicatively: Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)0
for one round of memory decoherence, with Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)1. After Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)2 rounds of waiting, the storage factor is Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)3 (Goodenough et al., 2024).
For a realization Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)4, repeater Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)5 waits until both adjacent elementary links exist, so its local waiting time is
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
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,
n0
A key identity is that the average delivered noise parameter is exactly the probability generating function of n1: n2
All moments then follow by substitution,
3. Exact analytics, generating functions, and asymptotics
The exact framework begins with the conditional quantity
n6
which obeys
n7
with base case
n8
The paper shows that n9 lies in the span of monomials n−10, n−11. Writing n−12, the recursion becomes a linear map n−13,
n−14
where
n−15
The summation linear form is
n−16
This yields an exact symbolic algorithm for n−17, and by n−18, for exact moments of arbitrary order. The paper states that this produces exact analytic formulae for all moments up to n−19 segments (Goodenough et al., 2024).
The main generating-function advance is a second generating function in the segment number: i∈{1,…,n}0
Its i∈{1,…,n}1-th Maclaurin coefficient is exactly the average noise parameter for an i∈{1,…,n}2-segment chain. The closed form is expressed through basic i∈{1,…,n}3-hypergeometric series: i∈{1,…,n}4
with
i∈{1,…,n}5
i∈{1,…,n}6
i∈{1,…,n}7
i∈{1,…,n}8
The derivation maps the recursion to weighted walks on an unnormalized Markov chain over basis states i∈{1,…,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
ti≥10
where the dominant singularity ti≥11 is the smallest positive real solution of
ti≥12
Since
ti≥13
the average fidelity approaches ti≥14 at an exponential rate governed by the same ti≥15. The paper emphasizes that ti≥16 can be interpreted as an effective per-segment decay factor, and that the approximation is “exponentially tight” in the sense that
Because ti≥18 only takes values in ti≥19, the exact PMF can be recovered from derivatives at Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.0: Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.1
The paper reports exact full delivered-noise distributions up to Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡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(1−p)t−1=(1−q)qt−1,q≡1−p.3, all present entanglement is discarded and the protocol restarts. If delivery occurs before Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.4, the timer resets and a new cycle begins. Analytically this corresponds to conditioning on
Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.5
The normalized average delivered noise is
Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.6
The corresponding recursion is
Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.7
In the basis Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.8, the map becomes
Pr(ti=t)=p(1−p)t−1=(1−q)qt−1,q≡1−p.9
with
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,0
The finite-Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,1 linear form is
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,2
The cut-off generating function is again explicit, though cumbersome, and its smallest positive singularity yields
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,3
for the cut-off denominator singularity Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣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−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,5
Without cut-off,
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,6
Under global cut-off, the expected delivery time is
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,7
where
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,8
For QKD implications, the paper uses fully asymmetric BB84. The secret-key fraction is
Λ∣ψ⟩⟨ψ∣+(1−Λ)4I,2∣ψ⟩=∣00⟩+∣11⟩,9
with
F=Λ+41−Λ=43Λ+41.0
The secret-key rate is secret-key fraction divided by expected delivery time. Without binning, one uses F=Λ+41−Λ=43Λ+41.1. With binning by roughness F=Λ+41−Λ=43Λ+41.2, one uses the exact PMF,
F=Λ+41−Λ=43Λ+41.3
By convexity,
F=Λ+41−Λ=43Λ+41.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=Λ+41−Λ=43Λ+41.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=Λ+41−Λ=43Λ+41.6 (Srivastava et al., 5 May 2026).
The system distinguishes internal communication memory with coherence time F=Λ+41−Λ=43Λ+41.7 from external storage memory with coherence time F=Λ+41−Λ=43Λ+41.8. Link buffers are per-link deques of capacity F=Λ+41−Λ=43Λ+41.9, while sequential additionally maintains external-memory chain buffers. The key timing parameter is the per-link heralding latency
Λ0
for homogeneous links, or
Λ1
more generally. The central organizing variable is the dimensionless ratio Λ2. The stored-state model is
Λ3
and swapping two Werner states uses
Λ4
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 Λ5 swaps are performed in
Λ6
rounds rather than Λ7. For Λ8, 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 Λ9. For symmetric topologies,
on Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)00 km it delivers Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)01 bps across the full sweep;
on Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)02 km it delivers Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)03 bps across the full sweep.
For bottleneck topologies it delivers Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)04–Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)05 bps, again invariant in Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)06. In the off-diagonal Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)07 sweep at Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)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)09 bps at every cell.
Sequential swapping exhibits a collapse regime, a recovery onset, and a saturation regime:
while simultaneous remains at Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)23 bps. At Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)24 and Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)25, sequential reaches only Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)26–Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)27 of the simultaneous rate depending on Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)28. In the relaxed reference regime Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)29, the two protocols agree to within Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)30; for the symmetric Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)31 s case, the reported values are Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)32 bps versus Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)33 bps at Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)34, and Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)35 bps for both at Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)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)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)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)42, and exact moment expressions are reported up to Sim. SWAP-ASAP([F1,…,Fm]):if m=1 return F1,Fswap(FL,FR)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)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)45 signaling rounds versus
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)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)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.
“Emergent Mind helps me see which AI papers have caught fire online.”
Philip
Creator, AI Explained on YouTube
Sign up for free to explore the frontiers of research
Discover trending papers, chat with arXiv, and track the latest research shaping the future of science and technology.Discover trending papers, chat with arXiv, and more.