VIII.

## Multipartite Entanglement for Multi-node Quantum Networks

E. M. Ainley, 1 A. Agrawal, 1 D. Main, 1 P. Drmota, 1 D. P. Nadlinger, 1 B. C. Nichol, 1 R. Srinivas, 1 and G. Araneda 1, ∗

1

Department of Physics, University of Oxford, Clarendon Laboratory, Parks Road, Oxford OX1 3PU, United Kingdom (Dated: August 2, 2024)

Scaling the number of entangled nodes in a quantum network is a challenge with significant implications for quantum computing, clock synchronisation, secure communications, and quantum sensing. In a quantum network, photons interact with matter qubits at different nodes, flexibly enabling the creation of remote entanglement between them. Multipartite entanglement among multiple nodes will be crucial for many proposed quantum network applications, including quantum computational tasks and quantum metrology. To date, experimental efforts have primarily focused on generating bipartite entanglement between nodes, which is widely regarded as the fundamental quantum resource for quantum networks. However, relying exclusively on bipartite entanglement to form more complex multipartite entanglement introduces several challenges. These include the need for ancillary qubits, extensive local entangling operations which increases the preparation latency, and increasingly stringent requirements on coherence times as the number of nodes grows. Here, we analyse various schemes that achieve multipartite entanglement between nodes in a single step, bypassing the need for multiple rounds of bipartite entanglement. We demonstrate that different schemes can produce distinct multipartite entangled states, with varying fidelity and generation rates. Additionally, we discuss the applicability of these schemes across different experimental platforms, highlighting their primary advantages and disadvantages.

## CONTENTS

| I.   | Introduction                                 | 1   |
|------|----------------------------------------------|-----|
| II.  | Single Photon Exchange                       | 2   |
|      | A. Two Nodes                                 | 2   |
|      | B. N Nodes                                   | 4   |
| III. | Itinerant-Photon Controlled Entangling Gates | 4   |
|      | A. Two nodes                                 | 4   |
|      | B. N Nodes                                   | 5   |
| IV.  | Mapping Entanglement from Photons to Atoms   | 5   |
|      | A. Two nodes                                 | 5   |
|      | B. N Nodes                                   | 6   |
| V.   | Remote Entanglement via Entanglement         |     |
|      | Swapping                                     | 7   |
|      | A. Two Nodes                                 | 7   |
|      | B. Three Nodes                               | 8   |
|      | C. N Nodes                                   | 9   |
| VI.  | Remote Entanglement via Which-Path Erasing   | 9   |
|      | A. Two Nodes                                 | 9   |
|      | B. Three Nodes                               | 11  |
|      | 1. Single-Excitation W-state                 | 11  |
|      | 2. Two-Excitation W-state                    | 11  |
|      | C. N Nodes                                   | 12  |
| VII. | Optical Phase Control                        | 13  |
|      | Discussion                                   | 13  |
| IX.  | Acknowledgements                             | 14  |

∗ Corresponding author; gabriel.aranedamachuca@physics.ox.ac.uk

|    | References                            |   14 |
|----|---------------------------------------|------|
| A. | Entanglement swapping for four nodes  |   17 |
| B. | Entanglement swapping using a quarter |   18 |
| C. | Entanglement swapping using a tritter |   31 |
| D. | n -to- n Symmetric Multiport          |   34 |

## I. INTRODUCTION

The need for quantum networks is ubiquitous in the field of quantum technologies and fundamental quantum physics. Multi-node quantum networks have been proposed to compare and synchronise atomic clocks, or to create sensing networks that could enrich our understanding of the universe [1]. In fundamental quantum physics, they will permit testing concepts such as local realism to a new extent [2, 3]. In quantum communications, multi-node networks will enable essentially secure multi-party key exchange [4]. In quantum computing, the ability to engineer complex and high-fidelity entangled states between separated processors will allow for the construction of modular quantum computers [5, 6]. Increasing the number of processing nodes and qubits while maintaining a high degree of connectivity between all qubits is crucial for practical and useful quantum computation [7].

So far, bipartite entanglement between nodes mediated by photons has generally been considered as the initial quantum network resource, across all experimental platforms [8-12].

13 13 14 Nevertheless, most applications require more complex multipartite entangled states, such as GHZ, W, graph, and cluster states [2, 11, 13-19]. Building multipartite entanglement from bipartite entanglement relies on using multiple entangled pairs, local mid-circuit measurements, and feed-forward control of the qubits concerned [12, 20]; these operations are costly in time and resources and increase network latency. Im-

portantly, it has been shown that no graph state can be created over a quantum network without classical communication [21, 22], which makes this latency unavoidable. The network latency not only increases the duration of quantum computations, but also, in realistic physical implementations, means that the time required to generate some particular multipartite entangled state can take longer than the coherence time of the individual qubits, making the computation impossible without the need of additional memory qubits. Although long-lived qubits have been demonstrated across different platforms, the qubits used for computation are not necessarily the most adequate to interface with the photonic network, adding error overheads when entanglement needs to be swapped between network and processing qubits (see e.g., [23]).

Hence, it is natural to look for quantum network resources beyond bipartite entanglement. In this article, we examine different schemes experimentally considered so far to create bipartite entanglement mediated by photons in different experimental platforms, and extend them to multiple parties. We identify the types of multipartite entanglement produced, and discuss their main limitations and strengths. All the schemes that we consider create multipartite entanglement in a single shot , i.e., they are processes that require at most one round of classical communication and feed-forward, and do not rely on bipartite remote entanglement and local entangling operations to create more complex entangled states.

The various schemes considered in this article are summarised in Fig. 1. Fig. 1a shows the 'photon exchange' scheme [24], Fig. 1b shows the 'itinerant photon' scheme [25], Fig. 1c shows the 'photon-to-atom mapping' scheme [26], Fig. 1d shows the 'entanglement swapping' scheme [27-29], and Fig. 1e shows the 'which-path erasing' scheme [30]. In each case, each node contains one or several quantum emitters. These quantum emitters can be, for example, single trapped ions [31, 32], single neutral atoms [33, 34], clouds of neutral atoms [35, 36], superconducting qubits [37, 38], crystal defects [39, 40], quantum dots [41, 42], rare-earth ions in a crystal [43, 44], silicon T-centres [45], among others. For simplicity, we refer to all these as 'atoms' throughout this article. These atoms can emit single photons, which can then be captured either by using a resonator [46, 47] or free-space optics [48-50]. An alternative scenario includes the case where atoms do not emit photons, but can interact with a quantised input field [25].

The different schemes considered here produce directly different classes of multipartite entangled states, such as GHZ and W states. GHZ states have many applications, including remote atomic clock comparisons [14], quantum secret sharing [15], fundamental tests of quantum mechanics [2], and teleportation [16, 17]. They have also been proposed as a resource for distributed quantum computing [11]. W states have applications in secret voting [18], secure quantum communication [19], as a resource for teleportation [51, 52], metrology [53-56], and repeaters [57], among others. This article focuses on entanglement between remote nodes, but the schemes discussed here can also be employed to entangle atoms within the same node (see for example [49]). In the following sections, we describe each of these schemes and how they can be extended to generate entanglement between N nodes in a single shot, and find expressions for the maximum attainable entanglement fidelities and rates.

## II. SINGLE PHOTON EXCHANGE

## A. Two Nodes

Using the single photon exchange protocol, the excitation of an atom in a node can be mapped to the state of a photon. The single photon is then routed to a different node where the inverse mapping process is applied [24]. If the atom in the first node is in a superposition state, then this process creates bipartite remote entanglement. This technique has been demonstrated using superconducting qubits in microwave resonators [37, 38, 58, 59] and with single neutral atoms in optical cavities [33].

Let us consider the deterministic scheme realised using transmon-type artificial atoms in a microwave resonator, and a single microwave photon presented with number encoding, from ref. [58]. The three levels of the transmon, in ladder configuration, are | g ⟩ An , | e ⟩ An and | f ⟩ An , with An labeling transmon A 1 or A 2. To transfer an excitation from A 1 to A 2, first, transmon A 1 is prepared in the highest excited state | f ⟩ A 1 , and driven coherently using the time-dependent process ˆ g t ( ) to the ground state | g ⟩ A 1 . This process creates a microwave photon, | 1 ⟩ P which is then coupled, with efficiency η C , to a directional quantum channel that routes the photon to the second resonator-coupled transmon. The transmon A 2, initially in the ground state | g ⟩ A 2 , is then driven with the time-reversed process ˆ g ( -t ) , which has the exact opposite effect of ˆ g t ( ) , i.e., A 2 absorbs a microwave photon and transfers the population from | g ⟩ A 2 to | f ⟩ A 2 . Finally, the excitation transfer ends with a pulse mapping | f ⟩ A 2 to | e ⟩ A 2 .

To create entanglement between A 1 and A 2 using this approach, the following sequence is applied. First, we prepare transmon A 1 in a superposition state of | e ⟩ and | f ⟩ , transmon A 2 in the ground state, and vacuum in the microwave resonators and transfer line, i.e.,

$$\frac { 1 } { \sqrt { 2 } } \left ( | e \rangle _ { A _ { 1 } } + | f \rangle _ { A _ { 1 } } \right ) \otimes | g \rangle _ { A _ { 2 } } | 0 \rangle _ { P }, \text{ \quad \ \ } ( 1 )$$

where P denotes the field occupation state. Then, the ˆ g t ( ) drive is applied in transmon A 1, which produces a photon only for the amplitude of the transmon that is in the state | f ⟩ and maps it to the ground state | g ⟩ A 1 , i.e.,

$$\frac { 1 } { \sqrt { 2 } } \left ( \left | e \right \rangle _ { A _ { 1 } } \left | g \right \rangle _ { A _ { 2 } } \left | 0 \right \rangle _ { P } + \left | g \right \rangle _ { A _ { 1 } } \left | g \right \rangle _ { A _ { 2 } } \left | 1 \right \rangle _ { P } \right ). \quad \left ( 2 \right )$$

Then the absorption ˆ g ( -t ) process is applied in transmon A 2, producing the state | g ⟩ A 2 , i.e.,

$$\frac { 1 } { \sqrt { 2 } } \left ( \left | e \right \rangle _ { A _ { 1 } } \left | g \right \rangle _ { A _ { 2 } } \left | 0 \right \rangle _ { P } + \left | g \right \rangle _ { A _ { 1 } } \left | f \right \rangle _ { A _ { 2 } } \left | 0 \right \rangle _ { P } \right ). \quad \ \ ( 3 )$$

FIG. 1. Entangling schemes enabling generation of multipartite entanglement between multiple nodes. a) Photon exchange. The state of one of the atoms is mapped to the state of a photon, which is then routed to different nodes, where its state is mapped to the state of one atom. b) A passing ( itinerant ) photon emitted by a single-photon source (SPS) interacts with different nodes, implementing an entangling gate with one atom in each of the nodes; then the photon is analysed in a single-photon analyser (SPA). c) A multi-photon entangled source (MPES) is used to create several entangled photons. The states of the photons are then mapped to the states of the atoms in different nodes. d) Entangled atom-photon pairs are generated. The photons enter a generalised Bell state analyser (GBSA), and upon detection of photons in coincidence, the states of the atoms are projected into multipartite entangled states. e) One or more photons are emitted collectively and synchronously from different nodes. The photons enter a generalised which-path-eraser (GWPE). The detection of an indistinguishable photon projects the atoms concerned into a multipartite entangled state.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-9d439a96-9f13-4c8e-b2f5-dd834dae6570.jpg)

Finally, a pulse transfers the amplitude from | f ⟩ A 2 to | e ⟩ A 2 . Tracing out the field state, the resulting state of the transmon pair is the Bell state time required by the photon to travel from one node to the other.

$$\frac { 1 } { \sqrt { 2 } } \left ( | e \rangle _ { A _ { 1 } } | g \rangle _ { A _ { 2 } } + | g \rangle _ { A _ { 1 } } | e \rangle _ { A _ { 2 } } \right ). \quad \quad ( 4 ) \quad \text{$\text{$here$}$} \\ \text{$a sc}$$

A weakness of this particular scheme, which uses the photon number to encode the transferred information, is that the photon state | 0 ⟩ P can be produced either from the desired process or from photon loss, and hence, the fidelity is drastically affected by photon loss. Therefore, to achieve high fidelity, a photon transfer probability close to unity is required. In ref. [58], the observed state fidelity with respect to the ideal Bell state is 78.9%, with photon loss accounting for 10.5% infidelity, and limited coherence times contributing 9%. If the photon transmission efficiency is η A A 1 2 , then the fidelity achieved by this protocol is limited to [60]

$$F _ { 2 } ^ { S T } = \frac { 1 } { 4 } \, ( 1 + \sqrt { \eta _ { A _ { 1 } A _ { 2 } } } ) ^ { 2 } \,. \quad \quad ( 5 ) \quad \text{ on} \, \begin{matrix} \, \text{mo} \\ \text{is t} \end{matrix}$$

As this is a deterministic scheme, the entanglement rate is only limited by the repetition rate of the experiment, and the

The implementation between two neutral atoms of ref. [33] uses the polarisation of the emitted photon instead of the number state. For an appropriate choice of atomic structure, such a scheme can be made robust against photon loss by heralding on the successful absorption of a photon (see also ref. [61]). The achieved entanglement fidelity is 85%, mostly limited by state preparation and readout, excitation of undesired electronic transitions, and multi-photon processes. By reducing the acceptance window of the herald photon, up to 98.7% fidelity has been reached. The probability for remote entanglement creation is proportional to

$$R _ { 2 } ^ { \text{ST} } \in \eta _ { \text{P} } \eta _ { \text{OUT} } \eta _ { \text{NET} } \eta _ { \text{ENT} } \eta _ { \text{DET} }, \text{ \quad \ \ } ( 6 )$$

where η P is the probability of emitting the desired photon in the cavity mode, η NET is the probability of coupling the cavity mode into an optical fiber, η ENT is the probability of the second atom to absorb the photon from the fiber mode, and η DET is the probability of detecting an emitted heralded photon. In ref. [33], entanglement is created with an overall probability of 2 %. A detailed analysis of the performance of this process

is presented in ref. [62]. A similar approach has been implemented with transmon qubits and time-bin encoded photons [63], where photon loss was detected using a non-destructive measurement of the transmon qubit state, reducing the transfer error by a factor of ∼ 2.

## B. N Nodes

If we now consider the transmon scheme, but such that the generated single photon is split and routed to different nodes, it is possible to generate entanglement between N different nodes. First, we prepare N + 1 atoms in the initial state

$$| f \rangle _ { A _ { 0 } } \left ( \bigotimes _ { n = 1 } ^ { N } | g \rangle _ { A _ { n } } \right ). \quad \ \ ( 7 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

Then we drive the excitation process ˆ g t ( ) in node 0, producing a photon P 0

$$| g \rangle _ { A _ { 0 } } | 1 \rangle _ { P _ { 0 } } \left ( \bigotimes _ { n = 1 } ^ { N } | g \rangle _ { A _ { n } } \right ). \quad \ \ \ ( 8 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

Then, the photon is split, by e.g., using beam splitters [64], and routed to each of the nodes. If the photon is split into different paths with equal probability, the state now is

$$\frac { 1 } { \sqrt { N } } \left | g \right \rangle _ { A _ { 0 } } \sum _ { m = 1 } ^ { N } \left | 1 \right \rangle _ { P _ { m } } \left ( \bigotimes _ { n = 1 } ^ { N } \left | g \right \rangle _ { A _ { n } } \right ) \quad \ \ ( 9 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

where | 1 ⟩ Pm represents the presence of a photon in resonator m , and no photons in all the rest, e.g., | 1 ⟩ P 2 = | 0 ⟩ P 1 | 1 ⟩ P 2 | 0 ⟩ P 3 , ..., | 0 ⟩ PN . If we apply the time-reversed process in all the nodes, the rotation at the end, and trace out the state of the field and atom A 0, then the state is the multipartite entangled W state

$$\text{language: vw, save} & \quad \text{$\sqrt{2} \, \lq$} \\ | W _ { 1, N - 1 } \rangle = & \frac { 1 } { \sqrt { N } } \left ( | e, g, g, \dots, g \rangle _ { A _ { 1 }, A _ { 2 }, \dots, A _ { N } } & \text{$\quad$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text	$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text  $\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{	$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\font$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text
$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text#$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text}$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text`$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text.$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text'$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text<$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text1$\text$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{	\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{#\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{
$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\test{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text{$\text$$

If no heralded absorption is performed, i.e, the deterministic scheme is followed, then the fidelity of the generated state depends strongly on the photon losses. If the probability of transmission of the photon from atom A 0 to AN is the same for all the nodes and given by η A 0 , AN , then the maximum attainable fidelity is proportional to

$$F _ { N } ^ { \text{ST} } \in \eta _ { A _ { 0 }, A _ { N } }. \quad \ \ \ ( 1 1 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

If heralded absorption is used, then the fidelity is not limited by photon loses, instead, the entanglement generation rate is limited by

$$R _ { N } ^ { S T } \in \eta _ { P } \eta _ { \text{OUT} } \eta _ { \text{NET} } \eta _ { A _ { 0 } A _ { N } } P _ { \text{ENT} } \eta _ { \text{DET} }, \quad \ ( 1 2 ) \quad \ t r a t ^ { \circ }$$

where we have assumed that the different efficiencies are the same for all of the nodes. The heralding mechanism could be implemented by detecting a single photon emitted collectively by the receiver atoms, using a which-path eraser as described in section VI.

## III. ITINERANT-PHOTON CONTROLLED ENTANGLING GATES

## A. Two nodes

Figure 1b) illustrates a scheme in which multi-node entanglement can be achieved using an itinerant photon interacting with multiple nodes. The photon is initially prepared in a balanced superposition, and at each node, the atom interacting with the cavity is prepared in the state | 0 . The itinerant pho-⟩ ton then interacts with each cavity through a 'reflection gate' [25, 65]. This implements a controlled-unitary interaction between the atoms and the photon. The initial state of the photon and the atoms in a two node network is given by

$$\frac { 1 } { \sqrt { 2 } } ( | 0 \rangle + | 1 \rangle ) _ { P } \left | 0 \rangle _ { A _ { 1 } } \left | 0 \rangle _ { A _ { 2 } }. \quad \quad ( 1 3 )$$

Here, P denotes the photon, and A 1 and A 2 represent atoms in the 1st and 2nd nodes, respectively. After subsequent interaction with the first and the second cavity, and considering that the controlled gate is applied in the X basis, the state of the system in the ideal and loss-less case is given by

$$\frac { 1 } { \sqrt { 2 } } \left ( | + \rangle _ { P } | \Phi ^ { + } \rangle _ { A _ { 1 }, A _ { 2 } } + | - \rangle _ { P } | \Phi ^ { - } \rangle _ { A _ { 1 }, A _ { 2 } } \right ) \quad ( 1 4 )$$

where |±⟩ = 1 √ 2 ( | 0 ⟩ ± | 1 ⟩ ) , and the Bell state | Φ ± ⟩ = 1 √ 2 ( | 00 ⟩ ±| 11 ⟩ ) . Subsequently, by measuring the state of the photon in the {|±⟩} basis, the states of the atoms can be projected into either Bell state | Φ + ⟩ or | Φ - ⟩ . A similar proposal using continuous-variable encoding in light can be found in ref. [66].

This scheme requires strong coupling between the atoms and the quantized modes of the field. It has been used to create two-node entanglement using atoms in optical cavities and photons with polarisation encoding [67, 68], and with SiVcenters in photonic crystal cavities and photons with timebin encoding [40]. In both cases, the achieved entanglement fidelities are below 90%, mostly limited by the fidelity of the photon-atom gates and the use of weak coherent photon pulses instead of single photons. The photon-atom gate fidelities themselves are limited by spatial mismatch and the finite cooperativity of the atom-cavity systems. The entanglement rate is limited by the experiment repetition rate, optical losses, and the finite cooperativity. In both experimental platforms, a strong trade-off between the fidelity and the average number of photons in the coherent pulse was observed [40, 67, 68], resulting, in practice, in a trade-off between fidelity and entanglement rate. The best observed entangling rate in the neutral atom experiment is 60 s -1 [68], while in the SiV-centre

FIG. 2. Quantum circuit for N -node entanglement using the Itinerant Photon scheme. R is controlled rotation.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-0dfcec78-4736-416f-b0fa-8891837948f8.jpg)

experiment, it is 0 2 s . -1 [40], both corresponding to fidelities of ∼ 2 / 3.

Adetailed study of the interplay between photon-atom gate fidelity versus cooperativity of the atom-cavity system is presented in ref. [69]. Details of how the mismatch between the input photon and the cavity affect the fidelities can be found in ref. [65].

Assuming that both nodes can perform photon-controlled gates on the atoms, leading to the same atom-photon entangled fidelity F A,P; if the error of the controlled gate can be fully described by a depolarising channel, the fidelity of the generated atom-atom entangled state will be limited by

$$F _ { 2 } ^ { \text{I} } = 2 F _ { \text{P,A} } - 1, \quad \ \ \ \ ( 1 5 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

where F A,P is the fidelity of the atom-photon system.

## B. N Nodes

The extension of this protocol to an N -node network is depicted in Fig 2. The initial state of the photon and the N nodes is

$$| + \rangle _ { P } \bigotimes _ { n = 1 } ^ { N } | 0 \rangle _ { A _ { n } }, \quad \quad ( 1 6 ) \quad \text{$i$},$$

where An denotes the state of an atom in the n th cavity. After the interaction with each cavity, and considering controlled gates in the X basis, the state of the system in the ideal, lossless case is

$$\frac { 1 } { \sqrt { 2 } } \left ( | + \rangle _ { P } | G _ { 0 } ^ { + } \rangle _ { A _ { 1 }, A _ { 2 }, \dots, A _ { n } } + | - \rangle _ { P } | G _ { 0 } ^ { - } \rangle _ { A _ { 1 }, A _ { 2 }, \dots, A _ { n } } \right ) \quad ( 1 7 )$$

with the N -particle GHZ states

$$| G _ { 0 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 \dots 0 \rangle \pm | 1 1 \dots 1 \rangle \right ). \quad \quad ( 1 8 )$$

Thereafter, measuring the state of the photon in the {|±⟩} basis projects the states of the atoms either into the multipartite entangled state ∣ ∣ G + 0 〉 or into ∣ ∣ G -0 〉 .

FIG. 3. Fidelities for the GHZ states generated across several nodes using the itinerant photon method. It is assumed that the only imperfect process is the controlled gate between the photon and atom in each atom, achieving a limited Bell state fidelity, which is identical for all of the nodes.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-2d3191ab-81af-4e50-8e03-3f859c68739e.jpg)

If the dominant error mechanisms are the same as in the 2-node implementations, i.e., the fidelity of the photoncontrolled atom gates, the fidelity of the resulting multipartite entangled state decreases linearly with increasing number of nodes. : Fig. 3 shows how the maximum attainable fidelity depends on the number of nodes and the atom-photon entangled state fidelity, where the controlled gates is performed with the same fidelity in all nodes. Importantly, as the success is heralded by the detection of a single photon, photon losses do not affect the atom state fidelity. The rate of entanglement generation depends on the transmission efficiency of the photon along the different nodes. If the probability of transmission from one to another is η T, the probability of the photon not being lost during the interaction with that atom-cavity system is η C, and η DET is the efficiency of the photon detection at the end, then the success probability is proportional to

$$P _ { N } \in \eta _ { T } ^ { N - 1 } \eta _ { C } ^ { N } \eta _ { \text{DET} }.$$

Using the fidelities and rates demonstrated in refs. [40, 68] it would be possible to create GHZ states across several nodes, although with low fidelity and rates. New schemes for lowerloss and higher-fidelity atom-photon gates have been proposed [70], which, together with higher cooperativity resonators and better single photon sources could achieve better performance for this networking scheme.

## IV. MAPPING ENTANGLEMENT FROM PHOTONS TO ATOMS

## A. Two nodes

Fig. 1c depicts a scheme where a multi-photon entangled source (MPES) is used to generate entanglement across different nodes. Let us first consider the case of two nodes. Following ref. [26], a photon pair source produces polarisation-

entangled pairs, for instance, photons in the state

$$\frac { 1 } { \sqrt { 2 } } \left ( | a _ { + } \rangle _ { P _ { 1 } } | a _ { - } \rangle _ { P _ { 2 } } - | a _ { - } \rangle _ { P _ { 1 } } | a _ { + } \rangle _ { P _ { 2 } } \right ) \quad \ \ ( 2 0 )$$

where P 1 and P 2 denote the two photons, and {| a ±⟩} are two orthogonal polarisation states. Let us also consider two separated network nodes, each with an atom with doubleΛ level structure, see Fig. 4, initially prepared in a separable superposition state

$$\frac { 1 } { \sqrt { 2 } } \left ( | i _ { + } \rangle _ { A _ { 1 } } + | i _ { - } \rangle _ { A _ { 1 } } \right ) \otimes \frac { 1 } { \sqrt { 2 } } \left ( | i _ { + } \rangle _ { A _ { 2 } } + | i _ { - } \rangle _ { A _ { 2 } } \right ).. \quad ( 2 1 )$$

The absorption of an a + -polarised photon excites the atomic Raman transition | i + ⟩ → | e + ⟩ → | g + ⟩ emitting an a ′ + -polarised photon, whereas the absorption of an a --polarised photon excites the atomic Raman transition | i -⟩ → | e -⟩ → | g -⟩ , emitting an a ′ --polarised photon. If each photon is sent to a different atom, upon absorption and emission of a photon, the state of the atoms and the emitted field is

$$\frac { \left ( \left | g _ { + } \right \rangle _ { A _ { 1 } } \left | g _ { - } \right \rangle _ { A _ { 2 } } \left | a _ { + } ^ { \prime } \right \rangle _ { 1 } \left | a _ { - } ^ { \prime } \right \rangle _ { 2 } - \left | g _ { - } \right \rangle _ { A _ { 1 } } \left | g _ { + } \right \rangle _ { A _ { 2 } } \left | a _ { - } ^ { \prime } \right \rangle _ { 1 } \left | a _ { + } ^ { \prime } \right \rangle _ { 2 } \right ) } { \sqrt { 2 } }, \quad \text{$\text{$\text{thon}$} } \text{$\text{thon}$}$$

where ∣ ∣ a ′ ± 〉 n denotes the emission of a heralding photon with polarisation a ′ ± from atom n = 1 or 2. The detection of the emitted photons from each of the atoms in a basis that makes the orthogonal polarisations indistinguishable, e.g., { √ 1 2 ( ∣ ∣ a ′ + 〉 + ∣ ∣ a ′ -〉 ) , 1 √ 2 ( ∣ ∣ a ′ + 〉 -∣ ∣ a ′ -〉 ) } , projects the state of the atoms into a Bell state

$$| \Psi ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | g _ { + }, g _ { - } \rangle _ { A _ { 1 } A _ { 2 } } \pm | g _ { - }, g _ { + } \rangle _ { A _ { 1 } A _ { 2 } } \right ), \quad ( 2 3 ) \quad \text{try } \mathfrak { c } _ { \text{tem} } \mathfrak { c } _ { \text{to } d a }$$

where the sign depends on the parity of the photon measurement outcomes. If we consider a pulsed entangled photon source which produces a polarisation-entangled pair with probability p EPR, where the probability of a photon being absorbed by one of the atoms is η ABS, and the probability of a heralding photon from one of the atoms being emitted and detected is η DET, the total probability of creating a two-atom entangled state is

$$P _ { 2 } ^ { \text{EM} } \in p _ { \text{EPR} } \left ( \frac { 1 } { 2 } \eta _ { \text{ABS} } \eta _ { \text{DET} } \right ) ^ { 2 } \quad \ \ ( 2 4 ) \quad \text{ald} \\ \ m e t$$

where the 1 2 factor comes from the fact that the | i + ⟩ A 1 | i -⟩ A 2 and | i -⟩ A 1 | i + ⟩ A 2 terms in the initial state of the atoms [Eq. (21)] do not contribute to the absorption process. An important issue of this scheme is that the photons from the entangled source need to match the linewidth, frequency, and wavepacket of the time-inverted atomic emission process. This can be done partially by using a filter cavity at the price of a considerable loss of photons [71]. Using free-space optics to couple the single photons onto the atoms, Shuck et al. [71] achieved η ABS ∼ 10 -4 and a collection efficiency of the heralded photons of η DET ∼ 5%. A pulsed photon such as the

FIG. 4. The photon-to-atom entanglement mapping scheme for two nodes. A SPDC source is used to generate a polarisation-entangled pair of photons ( P 1 and P 2 ), which are probabilistically absorbed by two atoms ( A 1 and A 2 ) with doubleΛ electronic structure. Upon successful absorption, a photon is emitted from the atoms, and the photons are rotated using a half-wave plate (HWP), providing indistinguishability between the absorption channels. The detection of a photon from each of the atoms heralds the successful creation of entanglement between the atoms.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-f8520aca-cc6b-459c-b785-bdd97bab24d7.jpg)

one of ref. [72] can produce entangled pairs with probability p EPR ∼ 2 5 . × 10 -3 per pulse. This adds up to a total probability of P 2 ∼ 10 -13 . Using an optical resonator to couple the atoms could increase the probabilities substantially, up to ∼ 10 -5 , using the cavity parameters discussed in ref. [73].

The achievable fidelities are limited by the fidelity and purity of the entangled photon source, F ph 2 , and given the extremely low rates of heralding photons, by false heralds due to dark counts in the detectors. The fidelity is therefore limited to

$$F _ { 2 } ^ { \text{EM} } = \frac { F _ { 2 } ^ { \text{ph} } P _ { 2 } ^ { \text{EM} } + \frac { 1 } { 4 } P _ { 2 } ^ { \text{false} } } { P _ { 2 } ^ { \text{EM} } + P _ { 2 } ^ { \text{false} } }, \quad \quad ( 2 5 )$$

assuming a maximally mixed state when a false herald occurs with probability P false 2 . The effect of false heralds can be lowered by verifying that there is no population left in {| i + ⟩ , | i -⟩} by a subspace measurement on the atoms, to herald whether the atom absorbed the photon. Such a measurement would keep the coherence within the target qubit subspace {| g + ⟩ , | g -⟩} and otherwise flag unsuccessful attempts with high fidelity. The dark count probability then only competes with the local detection efficiency rather than with the overall efficiency P EM . 2

## B. N Nodes

To scale-up this scheme and generate entanglement between N nodes simultaneously, we require a multi-photon entangled source (MPES). For instance, let us consider that the

atoms are prepared in the separable superposition state

$$\bigotimes _ { n = 1 } ^ { N } \frac { 1 } { \sqrt { 2 } } \left ( | i _ { + } \rangle + | i _ { - } \rangle \right ) _ { A _ { n } }. \quad \quad \ \ ( 2 6 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

If the source produces a polarisation-encoded N -photon GHZ state [74-76]

$$| G _ { 0 } ^ { + } \rangle _ { P _ { 1 }, P _ { 2 }, \dots, P _ { N } } = \frac { 1 } { \sqrt { 2 } } \left ( | a _ { + }, a _ { + }, \dots, a _ { + } \rangle + | a _ { - }, a _ { - }, \dots, a _ { - } \rangle \right ), \quad \text{One c} \\ ( 2 7 ) \quad \text{ in term} \\ \quad \cdot \.$$

then, upon absorption of the source photons by the atoms in the nodes, and subsequent emission and detection of N herald photons, the state of the atoms becomes

$$| G _ { 0 } ^ { \pm } \rangle _ { A _ { 1 }, A _ { 2 },,.., A _ { N } } = \frac { 1 } { \sqrt { 2 } } \left ( | g _ { + }, g _ { + }, \dots, g _ { + } \rangle \pm | g _ { - }, g _ { - }, \dots, g _ { - } \rangle \right ), \quad \text{The e}$$

where the sign depends on the parity of the photon measurement outcomes. The successful completion of this process requires coincident detection of N photons, with probability proportional to

$$P _ { N } ^ { \text{EM} } \in p _ { \text{GHZ}, N } \left ( \frac { 1 } { 2 } \eta _ { \text{ABS} } \eta _ { \text{DET} } \right ) ^ { N }. \quad \quad ( 2 9 )$$

Again, the main limitation for the fidelities here will be the initial entangled multi-photon fidelity, and given the extremely low process rates, the dark counts in the detectors. If each of the heralding detectors has a probability p dark of measuring a dark count during the detection window, then the probability for a false herald is

$$P _ { N } ^ { \text{false} } = \sum _ { n = 0 } ^ { N } \binom { N } { n } p _ { \text{real} } ^ { n } p _ { \text{dark} } ^ { N - n }, \quad \quad ( 3 0 )$$

which represents the fact that the simultaneous detection of N heralding photons can be triggered by any combination of detections of n 'real' heralding photons and N -n 'dark' photons, with n ∈ [ 0 , N ] . Thus, the fidelity of the generated state is limited by

$$F _ { N } ^ { \text{EM} } = \frac { F _ { N } ^ { \text{ph} } p _ { N } ^ { \text{EM} } + \frac { 1 } { 2 ^ { N } } P _ { N } ^ { \text{false} } } { p _ { N } ^ { \text{EM} } + P _ { N } ^ { \text{false} } }. \quad \quad ( 3 1 ) \quad \begin{array} { c } \min \\ \text{non} \\ \text{gen} \end{array}$$

Importantly, this N -node scheme is not restricted to mapping GHZ states from photons to atoms, but, in principle, any multi-photon state could be mapped.

## V. REMOTE ENTANGLEMENT VIA ENTANGLEMENT SWAPPING

## A. Two Nodes

Fig. 1d illustrates the scheme for remote entanglement via entanglement swapping from atom-photon pairs to atom pairs by performing a Bell measurement on the states of the photons, as proposed in refs. [27-29].

Let us start by considering the standard two-atom case. The four Bell states are defined as

$$\mathbb { H } Z \quad | \Phi ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 \rangle \pm | 1 1 \rangle \right ), \quad | \Psi ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 1 \rangle \pm | 1 0 \rangle \right ).$$

One can then express the standard computational basis states in terms of the Bell states:

$$\underset { \text{$me$al} } { ( 2 7 ) } \underset { \text{$|0} \rangle = \frac{1}{\sqrt{2} } \left ( | \Phi ^ { + } \rangle + | \Phi ^ { - } \rangle \right ), \quad | 1 1 \rangle = \frac{1}{\sqrt{2} } \left ( | \Phi ^ { + } \rangle - | \Phi ^ { - } \rangle \right ), \\ \text{$|0} \rangle = \frac{1}{\sqrt{2} } \left ( | \Psi ^ { + } \rangle + | \Psi ^ { - } \rangle \right ), \quad | 1 0 \rangle = \frac{1}{\sqrt{2} } \left ( | \Psi ^ { + } \rangle - | \Psi ^ { - } \rangle \right ). \\ _ { - } \rangle \right ), \quad _ { - } \,. \.$$

The entangled state

$$\frac { 1 } { \sqrt { 2 } } \left ( \left | 0 0 \right \rangle \pm \left | 1 1 \right \rangle \right ) _ { A _ { 1 } P _ { 1 } } \otimes \frac { 1 } { \sqrt { 2 } } \left ( \left | 0 0 \right \rangle \pm \left | 1 1 \right \rangle \right ) _ { A _ { 2 } P _ { 2 } } \quad ( 3 4 )$$

of two atoms ( A 1 and A 2) and two photons ( P 1 and P 2) can then be expressed as

$$& \frac { 1 } { 2 } | \Phi ^ { + } \rangle _ { A _ { 1 } A _ { 2 } } | \Phi ^ { + } \rangle _ { P _ { 1 } P _ { 2 } } + \frac { 1 } { 2 } | \Phi ^ { - } \rangle _ { A _ { 1 } A _ { 2 } } | \Phi ^ { - } \rangle _ { P _ { 1 } P _ { 2 } } \\ & \quad \pm \frac { 1 } { 2 } | \Psi ^ { + } \rangle _ { A _ { 1 } B _ { 2 } } | \Psi ^ { + } \rangle _ { P _ { 1 } P _ { 2 } } \pm \frac { 1 } { 2 } | \Psi ^ { - } \rangle _ { A _ { 1 } B _ { 2 } } | \Psi ^ { - } \rangle _ { P _ { 1 } P _ { 2 } }. \\ & \quad \cdot \quad - \quad \cdot \quad \cdots \quad \cdot \quad \cdot \quad \cdot \quad.$$

For the photons, different degrees of freedom have been proposed and experimentally demonstrated, including polarisation, time-bin, and energy. For example, if the photon degree of freedom used is polarisation, with | H ⟩ and | V ⟩ representing horizontal and vertical polarisations respectively, we use the mapping

$$| 0 \rangle \leftrightarrow | H \rangle \,, \ \ | 1 \rangle \leftrightarrow | V \rangle \,.$$

A partial Bell state measurement on the photon polarisation state can be implemented using the setup in Fig. 5a. Upon the coincident detection of two clicks on different detectors, the outcome of the photons' Bell measurement is either | Ψ + ⟩ or | Ψ - ⟩ . Therefore, these coincident clicks herald the creation of entanglement between the two atoms via entanglement swapping. Double detections in any single detector correspond to non-entangled states. Note that this limits the entanglement generation success probability to 1/2, which is the maximum efficiency allowed for a Bell state analyser (BSA) that uses only linear optics [77]. Importantly, unlike the cases shown below for more particles, the efficiency of 1/2 cannot be improved by using number-resolved detectors. A similar Bellstate analyser for time-bin encoded photons was proposed in [78], which also achieves the theoretical maximum efficiency.

If the probability of detecting a photon emitted by two different nodes, A and B , is equal, and given by η DET, then the probability of creating entanglement between the two atoms heralded by the detection of two photons in coincidence is

$$R _ { 2 } ^ { S W } \in \frac { 1 } { 2 } \eta _ { \text{DET} } ^ { 2 }.$$

FIG. 5. a) Standard polarisation partial Bell state analyser for 2-node entanglement. b) Generalised Bell state analyser for 3-node entanglement. c) Generalised Bell state analyser for 4-node entanglement.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-3260c145-b560-4cb2-a6e7-6d40c2e992cd.jpg)

Importantly, in order to achieve high fidelities, the photons need to be completely indistinguishable. This includes the temporal wavepacket of the photons, necessitating the synchronisation of the arrival times of the photons at the BSA. So far, the fidelity of the created states has been limited by photon distinguishability, the atom-photon entanglement, and by imperfect optical systems. The atom-photon state fidelities are limited by the photon collection geometry, the electric field emission patterns of the involved transitions, and the purity of the emitted single photon (see refs. [32, 48, 79] for details).

This scheme has been implemented with neutral atom ensembles [35, 36, 80], trapped ions, using photon-polarisation encoding and free-space optical collection [31, 48], trappedions using photon time-bin encoding and free space optical collection [81], trapped ions coupled to optical cavities using photon polarisation encoding [32], single neutral atoms and free-space optical collection [34], and NV-centres and timebin encoded photons [82, 83]. The best remote Bell-state fidelity achieved using this scheme was 96 % at a rate of ∼ 100 entangled events per second [84]. For experiments based on photons emitted by spontaneous decay, the final atom-atom entanglement fidelity is independent of the generation rate

[48]. On the other hand, experiments based on photons created via stimulated emission do suffer from a strong trade-off between maximum achievable fidelities and rates [85].

## B. Three Nodes

Next, consider the same scenario with three identical atomphoton pairs. We denote the atoms as A 1, A 2, and A 3, and the photons as P 1, P 2, and P 3. The state can be described by

$$\begin{array} { l } \text{photons as } P _ { 1 }, P _ { 2 }, \text{ and } P _ { 3 }. \text{ The state can be described by} \\ \bigotimes _ { n = 1 } ^ { 3 } \frac { 1 } { \sqrt { 2 } } \left ( | 0 \right ) _ { A _ { n } } | 0 \right \rangle _ { P _ { n } } \pm | 1 \right \rangle _ { A _ { n } } | 1 \right \rangle _ { P _ { n } } \right ) = \\ \frac { 1 } { \sqrt { 8 } } \left ( | G _ { 0 } ^ { + } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 0 } ^ { + } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } + | G _ { 0 } ^ { - } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 0 } ^ { - } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } \\ + | G _ { 1 } ^ { + } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 1 } ^ { + } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } + | G _ { 1 } ^ { - } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 1 } ^ { - } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } \\ + | G _ { 2 } ^ { + } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 2 } ^ { + } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } + | G _ { 2 } ^ { - } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 2 } ^ { - } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } \\ + | G _ { 3 } ^ { + } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 3 } ^ { + } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } + | G _ { 3 } ^ { - } \right \rangle _ { A _ { 1 } A _ { 2 } A _ { 3 } } | G _ { 3 } ^ { - } \right \rangle _ { P _ { 1 } P _ { 2 } P _ { 3 } } \right ). \end{array}$$

The {| Gn ± ⟩} states are GHZ states that form a complete orthonormal basis in the 3-qubit Hilbert space. Explicitly, they are given by

$$| G _ { 0 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 0 \rangle \pm | 1 1 1 \rangle \right ) \,, \quad \quad \left ( 3 9 \right )$$

$$| G _ { 1 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 1 \rangle \pm | 1 1 0 \rangle \right ) \,, \quad \quad ( 4 0 )$$

$$| G _ { 2 } ^ { \pm } \rangle = \frac { \cdot _ { 1 } } { \sqrt { 2 } } \left ( | 0 1 0 \rangle \pm | 1 0 1 \rangle \right ) \,, \quad \quad ( 4 1 )$$

$$| G _ { 3 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 1 1 \rangle \pm | 1 0 0 \rangle \right ) \,. \quad \quad ( 4 2 )$$

The challenge is to implement a 3-photon generalized Bell state analyser (BSA) that can distinguish between different photonic | G ⟩ states and project the corresponding 3-particle entangled state in the atoms, performing the entanglement swapping operation. Following the idea used for the 2-node BSA, such a generalised GHZ Bell state analyser requires the coincident detection of 3 photons and the capability of erasing any information about which atom emitted which photon. This problem has been considered before in photonic networks for the creation of multipartite photon entanglement using interferometers in post-selection experiments (see, e.g., refs. [86, 87]. For the case of entangling three atoms, the requirement can be satisfied by a 3-to-3 symmetric multiport [88, 89], which is a generalisation of a 50:50 beam splitter to 3 inputs and 3 outputs. In a 3-to-3 symmetric multiport, a photon entering any port has the same probability of exiting any of the 3 output ports. An example of a 3-to-3 symmetric multiport is the tritter [90]. Fig. 5b shows a generalised 3-photon BSA implemented using a tritter, which can also be constructed using integrated photonics [91]. The tritter uses two 50:50 beam splitters and one 1:2 beam splitter (transmission 2/3 and reflection 1/3). The creation of 3-particle entanglement is heralded by the detection of 3 photons in any combination of three different detectors.

Different implementations of the 3-photon generalised BSA will lead to different probabilities of generating entanglement. We label this probability as p BSA3 . The success probability of this 3-photon heralded scheme to generate 3particle entanglement is thereafter

$$R _ { 3 } ^ { \text{SW} } \in p _ { \text{BSA} _ { 3 } } \eta _ { \text{DET} } ^ { 3 },$$

where it is assumed that photons from different nodes have the same probability of being detected ( η DET).

For the particular implementation shown in Fig. 5b, using photon polarisation encoding, the probability of generating 3particle entanglement by heralding in three different detectors and using single-photon detectors is p BSA3 = 1 / 4. If numberresolved photodetectors are available, the probability of generating a 3-particle entangled state heralded by the detection of three photons is 3 / 4. Notice that this scheme generates states of the GHZ class and of the W class, depending on the detection pattern (see appendix B). A different proposed generalised BSA can be found in ref. [92], achieving 3-particle entanglement with probability proportional to p BSA3 = 1/8. In both cases, an interferometer is used to entangle atoms using photons with polarisation, time-bin [78], or energy encoding [93]. Other proposed interferometers can be found in ref. [85].

## C. N Nodes

Let us now consider the case of N pairs of atom-photon entangled states, i.e.,

$$\bigotimes _ { n = 1 } ^ { N } \frac { 1 } { \sqrt { 2 } } ( | 0 0 \rangle _ { A _ { n } P _ { n } } + | 1 1 \rangle _ { A _ { n } P _ { n } } ), \quad \ \ ( 4 4 ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

where An denotes an atom and Pn a photon. This state can be written as [94]

$$\frac { 1 } { \sqrt { 2 ^ { N } } } \sum _ { n = 0 } ^ { 2 ^ { N - 1 } } | G _ { n } ^ { + } \rangle _ { A _ { 1 } \dots A _ { N } } | G _ { n } ^ { + } \rangle _ { P _ { 1 } \dots P _ { N } } + | G _ { n } ^ { - } \rangle _ { A _ { 1 } \dots A _ { N } } | G _ { n } ^ { - } \rangle _ { P _ { 1 } \dots P _ { N } } \cdot \begin{matrix} & \text{imp} \\ & \text{tangle} \\ & & \text{photo} \\ & & \text{alded} \end{matrix}$$

This equation shows that N entangled atom-photon pairs can be written as a superposition of states where the atom and photon part are separated, but each part is entangled. The states | Gn ± ⟩ are defined by

$$| G _ { n } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | B ( n ) \rangle \pm | B ( 2 ^ { N } - n - 1 ) \rangle \right ), \quad ( 4 6 )$$

where n = 0 1 , , . . . , 2 N -1 -1, and B n ( ) = 0 b b 2 3 · · · bN is the binary representation of n in an bit string of length N , and thereafter n = ∑ N k = 2 bk · 2 N -k . The states | Gn ± ⟩ are a set of 2 N elements, and form an orthonormal basis for the N qubits Hilbert space, i.e., ⟨ Gn ± | G n ± ⟩ ′ = δ n n , ′ . The computation basis elements | B n ( ) ⟩ are related to the | Gn ± ⟩ states by

$$| B ( n ) \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | G _ { n } ^ { + } \rangle + | G _ { n } ^ { - } \rangle \right ), \quad \quad ( 4 7 ) \quad \text{level} \quad \text{cato}$$

$$| B ( 2 ^ { N } - n - 1 ) \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | G _ { n } ^ { + } \rangle - | G _ { n } ^ { - } \rangle \right ). \quad ( 4 8 )$$

The | Gn ± ⟩ states can also be written as

$$| G _ { n } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 \rangle \bigotimes _ { k = 2 } ^ { N } | b _ { k } \rangle \pm | 1 \rangle \bigotimes _ { k = 2 } ^ { N } | \bar { b } _ { k } \rangle \right ).$$

By projecting the N -photon state to any of the | Gn ± ⟩ states, or superpositions, we project the state of the atoms to the corresponding N -particle state. As before, if an N -photon generalised BSA can be constructed, and the entanglement can be heralded by the detection of N photons yielding to an entangled state with probability p BSA , N , then the probability of generating N -particle entanglement is given by

$$P _ { B S A _ { N } } \eta ^ { N }.$$

An explicit calculation for N = 4 is shown in appendixes A and B. Thereafter, the challenge is to build a generalised BSA that can herald on the detection of N -photons and generate entanglement with some probability. For this purpose, it is important that the generalised BSA erases the which-input information. This can be achieved using an N -toN symmetric multiport [88, 89]. In an N -toN symmetric multiport, a single photon entering any of the N inputs has the same probability of exiting any of the outputs, i.e., probability 1 / N [88]. For N = 2 , with integer d d , a generalised BSA can be constructed by using a 2 d -to-2 d symmetric mutiport composed of multiple layers of 50:50 beams splitters, such that each input mode is mixed with every other input mode. Each of the 2 d input photons crosses d 50:50 beam splitters, and has a probability of 1 2 d of exiting via any of the outputs. Fig. 5b shows a particular implementation for the 4-node case, and in appendix B we explicitly calculate the different states produced by each possible detection pattern. In appendix D we show how to construct a general 2 d -to-2 d symmetric mutiport.

Importantly, a 2 d -to-2 d symmetric mutiport allows for entanglement between any sub-network of m = 2, 3,..., 2 d -1 nodes. For example, we can entangle 3 nodes by emitting a photon from each of them using a 8-to-8 interferometer, heralded by the detection of 3 photons in any combination of output ports. This is beneficial, as it does not require the use of additional optical switches.

Alternative generalised BSAs have been considered in refs. [92, 95].

## VI. REMOTE ENTANGLEMENT VIA WHICH-PATH ERASING

## A. Two Nodes

The 'which-path erasing' scheme, also known as the Cabrillo or photon-number scheme, is based on the detection of a single photon emitted indistinguishably by one of the two atoms [30, 39, 96, 97]. An excitation scheme and appropriate levels are chosen such that the photon emission is the indicator of the atom being in a particular state. If we are able

to detect a single photon, but the information of which atom emitted the photon has been erased, the measurement of that photon projects the atoms into a multipartite entangled state.

Let us consider that two atoms ( n = 1 2) are initially pre-, pared in a superposition state

$$\sqrt { 1 - p _ { n } } \, | g _ { - } \rangle _ { A _ { n } } + \sqrt { p _ { n } } \, | g _ { + } \rangle _ { A _ { n } } \,. \quad \quad ( 5 1 )$$

Then, a π pulse transfers the population from | g + ⟩ to a fastdecaying excited state | e ⟩ , which decays back to the | g + ⟩ state by emitting a photon. Provided that the excitation pulse is much faster than the decay rate of the excited state, the state of one atom is described by

$$\sqrt { 1 - p _ { n } } | g _ { - }, 0 \rangle _ { A _ { n }, P _ { n } } + e ^ { i \phi _ { D, n } + i \phi _ { L, n } } \sqrt { p _ { n } } | g _ { + }, 1 \rangle _ { A _ { n }, P _ { n } }, \quad ( 5 2 )$$

where {| 0 ⟩ , | 1 ⟩} is the photon occupation number of the emitted field, φ L j , is the phase of the laser driving the transition | g + ⟩ → | ⟩ e at the position of atom n , and φ D n , is the phase acquired by the photon emitted by atom j on its path to the detector.

If two atoms simultaneously go through this process, the total state of the system is given by

$$& \sqrt { 1 - p _ { 1 } } \sqrt { 1 - p _ { 2 } } \left | g _ { - }, g, 0, 0 \right \rangle \\ & + \sqrt { p _ { 1 } } \sqrt { 1 - p _ { 2 } } e ^ { i ( \phi _ { L, 1 } + \phi _ { D, 1 } ) } \left | g _ { + }, g _ { - }, 1, 0 \right \rangle \\ & + \sqrt { 1 - p _ { 1 } } \sqrt { p _ { 2 } } e ^ { i ( \phi _ { L, 2 } + \phi _ { D, 2 } ) } \left | g _ { - }, g _ { + }, 0, 1 \right \rangle \\ & + \sqrt { p _ { 1 } } \sqrt { p _ { 2 } } e ^ { i ( \phi _ { L, 1 } + \phi _ { L, 2 } + \phi _ { D, 1 } + \phi _ { D, 2 } ) } \left | g _ { + }, g _ { + }, 1, 1 \right \rangle. \quad \text{(53)} \quad \text{fig. \,}$$

Then, we direct the collected photons to a which-path eraser (WPE), as shown in Fig. 6a. For the case of two inputs, this can be implemented using a 50:50 beam splitter. If the detected modes of the emission from the atoms overlap perfectly, i.e., the photons emitted from either atom are indistinguishable, the detection of a single photon in either detector projects the state of the atoms into the (unnormalised) state

$$& \sqrt { p _ { 1 } } \sqrt { 1 - p _ { 2 } } e ^ { i ( \phi _ { L, 1 } + \phi _ { D, 1 } ) } \left | g _ { + }, g _ { - } \right \rangle \\ & + \sqrt { 1 - p _ { 1 } } \sqrt { p _ { 2 } } e ^ { i ( \phi _ { L, 2 } + \phi _ { D, 2 } ) } \left | g _ { - }, g _ { + } \right \rangle. \quad \left ( 5 4 \right ) \quad + p$$

This will occur with probability η 1 p 1 ( 1 -p 2 )+ η 2 p 2 ( 1 -p 1 ) , where η 1 2 , is the overall detection efficiency of the emitted single photon from atom 1 and atom 2, respectively.

If the probability of excitation is the same for both atoms, p 1 = p 2 = p , and the efficiency of the collection, transmission, and detection is the same for both, i.e., η 1 = η 2 = η , the generated state is approximately given by

$$| \Psi ^ { \phi } \rangle = \frac { 1 } { \sqrt { 2 } } ( | g _ { + }, g _ { - } \rangle \pm e ^ { i \phi } | g _ { - }, g _ { + } \rangle ), \quad ( 5 5 ) \quad \stackrel { \bullet \, \bullet } { \text{the } I }$$

with an overall probability of 2 η p ( 1 -p ) and φ = ( φ L , 2 -φ L , 1 ) + ( φ D B , -φ D A , ) . The sign of the superposition depends on what output of the beam splitter the photon was detected.

Notice that there is a non-vanishing probability, proportional to p 2 , of exciting both atoms and detecting just one three-input

FIG. 6. Photon-number based remote entanglement for a) two nodes using a beam splitter, b) three nodes using a tritter, and c) using an N -toN symmetric multiport for N nodes.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-459b8d35-b7b3-413d-b774-7c15d6ff0f30.jpg)

photon. If p is kept small, then p 2 is negligible. Thereafter, upon a click in one of the detectors, the state is

$$p \text{ per-} \quad & \text{upon a click in one or the nearestors, the state is} \\ \text{dist-} \quad & \frac { 1 } { \sqrt { 2 p ( 1 - p ) + p ^ { 2 } } } \times \\ & \left [ \frac { \sqrt { 2 p ( 1 - p ) } } { \sqrt { 2 } } \left ( | g _ { + }, g _ { - } \rangle + e ^ { i ( \phi _ { L, 2 } + \phi _ { D, 2 } - \phi _ { L, 1 } - \phi _ { D, 1 } ) } | g _ { - }, g _ { + } \rangle \right ) | 1 \rangle \\ & + p e ^ { i ( \phi _ { L, 1 } + \phi _ { D, 1 } + \phi _ { L, 2 } + \phi _ { D, 2 } ) } | g _ { + }, g _ { + } \rangle | 2 \rangle \right ]. \\ - n \rangle. \quad & \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad  \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfra$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathclap} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfag } \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{\ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$} \quad \text{$\mathfrak{ }=\mathfrak{ }$}$$

The fidelity of this state with respect to a two-particle Bell state is bounded by the process that scatters more than one photon, i.e., the maximum achievable fidelity with respect to a Bell state is

$$F _ { 1, 2 } ^ { \text{WPE} } = \left | \langle \psi ^ { \phi } \left | \psi _ { 1, 2 } \rangle \right | ^ { 2 } = \frac { 2 p ( 1 - p ) } { 2 p ( 1 - p ) + p ^ { 2 } }. \quad ( 5 7 )$$

For example, when using an excitation probability p = 6%, the maximum attainable fidelity is 96 9 %. The rate of entan-. glement heralding events is proportional to

$$R _ { 1, 2 } ^ { \text{WPE} } \in \eta _ { \text{DET} } \left ( 2 p ( 1 - p ) + p ^ { 2 } \right ), \text{ \quad \ \ } ( 5 8 )$$

where η DET includes the collection efficiency, fibre transmission, the transmission efficiency of the WPE and the detectors efficiency. It is worth noticing that this rate includes single photon heralding events, but also double photon detection.

These are indistinguishable from single photon events and do not create entanglement, reducing the fidelity of the created state.

This process has been used to demonstrate deterministic distribution of entanglement on NV-centre systems [39], and for several experiments demonstrating generation of entanglement in trapped-ion systems [96, 97], in quantum-dot systems [41, 42] in NV-centres [39, 98] and rare-earth on qubits in crystalline structures [43]. It has also been used to create bipartite entanglement in a three-node network [99]. In these implementations, the main sources of errors are the finite probability of exciting two atoms at the same time, residual which-path information in the detected photons, distinguishability of the atoms due to recoil, uncertainty in the phase due to residual thermal motion, and the limited fidelity of the coherent operations. Ref. [100] shows a detailed analysis of different sources of error for this implementation, and specifically discusses the ones that arise in NV-centre systems.

Notice also that in the implementation with trapped ions, such as the one presented in [97], the excitation is done via a non-deterministic Raman process. Since there are other decay channels in the atom's electronic structure, this results in additional errors.

## B. Three Nodes

The photon-number scheme can be generalised to any number of particles. Let us consider the example of three atoms. If three atoms, indexed by j , undergo the process described above, the total state of the system is now given by

$$\begin{array} { c c c c } \ell & \lambda & \lambda & \gamma & \text{sym} \\ \left ( \sqrt { 1 - p _ { 1 } } \left | g _ { - }, 0 \right \rangle _ { 1 } + \sqrt { p _ { 1 } } e ^ { i \phi _ { D, 1 } + i \phi _ { L, 1 } } \left | g _ { + }, 1 \right \rangle _ { 1 } \right ) & \text{sym} \\ \otimes \left ( \sqrt { 1 - p _ { 2 } } \left | g _ { - }, 0 \right \rangle _ { 2 } + \sqrt { p _ { 2 } } e ^ { i \phi _ { D, 2 } + i \phi _ { L, 2 } } \left | g _ { + }, 1 \right \rangle _ { 2 } \right ) & \text{time} \\ \otimes \left ( \sqrt { 1 - p _ { 3 } } \left | g _ { - }, 0 \right \rangle _ { 3 } + \sqrt { p _ { 3 } } e ^ { i \phi _ { D, 3 } + i \phi _ { L, 3 } } \left | g _ { + }, 1 \right \rangle _ { 3 } \right ) & \text{(59)} & \text{tor. T} \\ \max i \end{array}$$

expanding this, we get

$$\text{expanding this, we get} \\ \sqrt { 1 - p _ { 1 } } \sqrt { 1 - p _ { 2 } } \sqrt { 1 - p _ { 3 } } | g _ { - }, g _ { - }, g, 0, 0, 0 \rangle \\ \\ + \sqrt { p _ { 1 } } \sqrt { 1 - p _ { 2 } } \sqrt { 1 - p _ { 3 } } e ^ { i \phi _ { 1 } } | g _ { + }, g _ { - }, 1, 0, 0 \rangle \\ + \sqrt { 1 - p _ { 1 } } \sqrt { p _ { 2 } } \sqrt { 1 - p _ { 3 } } e ^ { i \phi _ { 2 } } | g _ { - }, g _ { + }, g _ { - }, 0, 1, 0 \rangle \\ + \sqrt { 1 - p _ { 1 } } \sqrt { 1 - p _ { 2 } } \sqrt { p _ { 3 } } e ^ { i \phi _ { 1 } } | g _ { - }, g _ { - }, g _ { + }, 0, 0, 1 \rangle \\ \\ + \sqrt { p _ { 1 } } \sqrt { p _ { 2 } } \sqrt { 1 - p _ { 3 } } e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 2 } } | g _ { + }, g _ { + }, g _ { - }, 1, 1, 0 \rangle \\ + \sqrt { 1 - p _ { 1 } } \sqrt { p _ { 2 } } \sqrt { p _ { 3 } } e ^ { i \phi _ { 2 } } e ^ { i \phi _ { 3 } } | g _ { - }, g _ { + }, g _ { + }, 0, 1, 1 \rangle \\ + \sqrt { p _ { 1 } } \sqrt { 1 - p _ { 2 } } \sqrt { p _ { 3 } } e ^ { i \phi _ { 3 } } e ^ { i \phi _ { 1 } } | g _ { + }, g _ { - }, g _ { + }, 1, 0, 1 \rangle \\ \\ + \sqrt { p _ { 1 } } \sqrt { p _ { 2 } } \sqrt { p _ { 3 } } e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 2 } } e ^ { i \phi _ { 3 } } | g _ { + }, g _ { + }, g _ { + }, 1, 1, 1 \rangle \,, \quad ( 0 ) \\ \text{where $\phi_{n} = \phi_{L,n} + \phi_{D,n}$.  In this case, there are non-vanishing}$$

$$+ \, \sqrt { p _ { 1 } } \, \sqrt { p _ { 2 } } \, \sqrt { p _ { 3 } } e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 2 } } e ^ { i \phi _ { 3 } } \left | g _ { + }, g _ { + }, g _ { + }, 1, 1, 1 \right \rangle, \quad ( 6 0 ) \quad \text{it 1} \colon$$

where φ n = φ L n , + φ D n , . In this case, there are non-vanishing probabilities of emitting 0, 1, 2, or 3 photons. Let us consider that all the atoms are excited with the same probability p , so that the state simplifies to

$$( 1 - p ) ^ { 3 / 2 } | g _ { - }, g _ { - }, g, 0, 0, 0 \rangle$$

$$& ( 1 - p ) ^ { 3 / 2 } | g _ { - }, g _ { - }, g, 0, 0, 0 \rangle \\ \\ & + \sqrt { p } ( 1 - p ) e ^ { i \phi _ { 1 } } | g _ { + }, g _ { - }, g _ { - }, 1, 0, 0 \rangle \\ & + \sqrt { p } ( 1 - p ) e ^ { i \phi _ { 2 } } | g _ { - }, g _ { + }, g _ { - }, 0, 1, 0 \rangle \\ & + \sqrt { p } ( 1 - p ) e ^ { i \phi _ { 3 } } | g _ { - }, g _ { - }, g _ { + }, 0, 0, 1 \rangle \\ \\ & + p \sqrt { 1 - p } e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 2 } } | g _ { + }, g _ { + }, g _ { - }, 1, 1, 0 \rangle \\ & + p \sqrt { 1 - p } e ^ { i \phi _ { 2 } } e ^ { i \phi _ { 3 } } | g _ { - }, g _ { + }, g _ { + }, 0, 1, 1 \rangle \\ & + p \sqrt { 1 - p } e ^ { i \phi _ { 3 } } e ^ { i \phi _ { 1 } } | g _ { + }, g _ { - }, g _ { + }, 1, 0, 1 \rangle \\ \\ & + p ^ { 3 / 2 } e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 2 } } e ^ { i \phi _ { 3 } } | g _ { + }, g _ { + }, g _ { + }, 1, 1, 1 \rangle, \quad \quad ( 6 1 ) \\ \\ &, \quad c \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots c \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots c \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots f \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta c \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots c \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots c \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \dots t \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \delta \dots t \delta \delta \delta \dots t \delta \delta \dots t \delta \delta \delta \dots t \delta \delta \delta \dots t \delta \delta \delta \dots t \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta t \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \d$$

## 1. Single-Excitation W-state

If we direct the collected photons to a WPE, as shown in Fig. 6b, the emission and detection of a single indistinguishable photon projects, approximately, the state to

$$\frac { 1 } { \sqrt { 3 } } \left ( | g _ { + }, g _ { - }, g _ { - } \rangle + e ^ { i \phi _ { 2 } } | g _ { - }, g _ { + }, g _ { - } \rangle + e ^ { i \phi _ { 3 } } | g _ { - }, g _ { - }, g _ { + } \rangle \right ), \\ \underset { \real } { \text{m-}}$$

This multipartite entangled state is called a single excitation W-state. Notice that the optical setup shown in Fig. 6b is a symmetric 3-to-3 multiport, i.e, a tritter [88], allowing for the erasure of the which-path information of the detected photon. If we use non-number-resolved photodetectors, the fidelity is limited by the non-negligible probability of not differentiating between one or more photons being detected in a single detector. Thereafter, the state of Eq. (62) can be generated with a maximum fidelity of

$$F _ { 1, 3 } ^ { \text{WPE} } = \frac { 3 p ( 1 - p ) ^ { 2 } } { 3 p ( 1 - p ) ^ { 2 } + 3 p ^ { 2 } ( 1 - p ) + p ^ { 3 } }. \quad \text{(63)}$$

If we consider all the photon emissions that are detected as single clicks in the non-number-resolved photodetectors, the probability of detecting a heralding photon, and thereafter, the rate of entanglement generation is proportional to

$$P _ { 1, 3 } ^ { \text{WPE} } \in \eta _ { \text{DET} } \left ( 3 p ( 1 - p ) ^ { 2 } + 3 p ^ { 2 } ( 1 - p ) + p ^ { 3 } \right ). \quad ( 6 4 )$$

A demonstration of this scheme for 3-atom entanglement, with two of them in the same node, has been shown in ref. [43].

## 2. Two-Excitation W-state

It is also possible to create an entangled state with a superposition of two atoms being excited, i.e., approximately

$$\frac { 1 } { \sqrt { 3 } } \left ( e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 2 } } \left | g _ { + }, g _ { + }, g _ { - } \right \rangle$$

$$+ \, e ^ { i \phi _ { 2 } } e ^ { i \phi _ { 3 } } \, | g _ { - }, g _ { + }, g _ { + } \rangle + e ^ { i \phi _ { 1 } } e ^ { i \phi _ { 3 } } \, | g _ { + }, g _ { - }, g _ { + } \rangle \, ) \,. \quad ( 6 5 ) \quad \text{There}$$

This process is heralded by the detection of two photons at the output of the WPE. The maximum fidelity with respect to the state of Eq. (65) is limited by the non-negligible probability of emitting three photons and detecting just two, i.e.,

$$F _ { 2, 3 } ^ { \text{WPE} } = \eta _ { \text{DET} } ^ { 2 } \frac { 3 p ^ { 2 } ( 1 - p ) } { 3 p ^ { 2 } ( 1 - p ) + p ^ { 3 } }. \quad \quad ( 6 6 )$$

The probability of generating this state is proportional to the probability of detecting two photons at the outputs of the WPE. When using the tritter setup of Fig. 6b and using nonnumber-resolved photo-detectors, the probability of detecting two photons, and therefore the entanglement generation rate is given by

$$P _ { 2, 3 } ^ { \text{WPE} } = p _ { \text{WPE}, 2, 3 } \cdot \eta _ { \text{DET} } ^ { 2 } ( 3 p ^ { 2 } ( 1 - p ) + p ^ { 3 } ), \quad ( 6 7 )$$

where, for the case of the tritter, p wpe 2 3 , , = 1 / 3 is the probability of two photons exiting in two different outputs. The other 2 / 3 of the photons bunch together in any of the three detectors with equal probability 2 / 9, due to the Hong-Ou-Mandel effect. Thereafter, using number-resolved photodetectors can increase p WPE 2 3 , , to reach unity.

If we choose p = 6%, then the probability of emitting one photon is ≈ 16%, two photons is ≈ 0.1%, and three photons is 2 · 10 -4 . With 83% probability, no photons are produced. The maximum fidelity of the one-excitation state using this value is F WPE = 93.88%, while for the 2-excitation entangled 1 3 , state is F WPE 2 3 , = 97.91%. The time required to create the oneexcitation state scales linearly with η DET, while the two excitation scales with η 2 DET , so there is a strong trade-off between fidelity and entanglement rate to be considered for practical implementations.

## C. N Nodes

The photon-number scheme can be readily extended for any number of particles. If we consider N atoms, all prepared in the same initial superposition, the state after excitation can be written as [101]

$$| \Psi \rangle = \sum _ { n = 0 } ^ { N } \binom { N } { n } ^ { 1 / 2 } p ^ { n / 2 } ( 1 - p ) ^ { ( N - n ) / 2 } \left | W _ { n, N - n } \right \rangle \left | n \right \rangle, \quad ( 6 8 )$$

where | n ⟩ is the number of photons emitted collectively by the atoms, and | Wn N , ⟩ are the so-called generalised W states, or generalised Dicke states. They can be defined as

$$| W _ { n, N } \rangle = \binom { N } { n } ^ { - 1 / 2 } \sum _ { k } \mathcal { P } _ { k } \left [ | S _ { n, N - n } \rangle \right ], \quad \ \ ( 6 9 )$$

where P k is the operator that produces all the possible different permutations with an equal number n of particles being in the | g + ⟩ state, and with | Sn N , - ⟩ n defined by

$$| S _ { n, N - n } \rangle = \prod _ { \alpha = 1 } ^ { n } e ^ { i \phi _ { \alpha } } | g _ { + } \rangle _ { \alpha } \prod _ { \beta = n + 1 } ^ { N } | g _ { - } \rangle _ { \beta } \,. \quad ( 7 0 ) \quad \text{$\text{ticul}$} \\ \text{Ou-!}$$

Thereafter, the probability of emitting only one photon is the prefactor of the | W N 1 , - ⟩ 1 state, and is given by

$$p _ { 1, N } = N p ( 1 - p ) ^ { N - 1 }. \text{ \quad \ \ } ( 7 1 )$$

The probability of emitting n photons is given by

$$p _ { n, N } = { N \choose n } p ^ { n } ( 1 - p ) ^ { N - n }. \text{ \quad \ \ } ( 7 2 )$$

As before, if we cannot distinguish the number of photons detected, the fidelity is limited by the multi-photon process. If we aim to generate the state | W N 1 , ⟩ , the fidelity is limited to

$$F _ { 1, N } ^ { \text{WPE} } = \frac { N p ( 1 - p ) ^ { N - 1 } } { \sum _ { n = 1 } ^ { N } \binom { N } { n } p ^ { n } ( 1 - p ) ^ { N - n } }.$$

The probability of detecting a photon heralding this process is proportional to

$$R _ { 1, N } ^ { \text{WPE} } \in \eta _ { \text{DET} } \sum _ { n = 1 } ^ { N } \binom { N } { n } p ^ { n } ( 1 - p ) ^ { N - n }. \quad \ ( 7 4 )$$

If we aim to create a state with two excitations, i.e., | W N 2 , ⟩ by detecting two photons, the fidelity is limited by the multiphoton process, which is not distinguishable from the twophoton process due to optical losses, i.e.,

$$F _ { 2, N } ^ { \text{WPE} } = \frac { N p ^ { 2 } ( 1 - p ) ^ { N - 2 } } { \sum _ { n = 2 } ^ { N } \binom { N } { n } p ^ { n } ( 1 - p ) ^ { N - n } }.$$

The probability of detecting two photons heralding this process is proportional to

$$R _ { 2, N } ^ { \text{WPE} } \in \eta ^ { 2 } \sum _ { n = 2 } ^ { N } \binom { N } { n } p ^ { n } ( 1 - p ) ^ { N - n }. \quad \quad ( 7 6 )$$

In general, if we aim to create the m excitations state, i.e., | WmN m , -⟩ , the multi-photon processes limit the maximum attainable fidelity to

$$F _ { m, N } ^ { \text{WPE} } = \frac { N p ^ { m } ( 1 - p ) ^ { N - m } } { \sum _ { n = m } ^ { N } \binom { N } { n } p ^ { n } ( 1 - p ) ^ { N - n } }. \quad \quad ( 7 7 )$$

The probability of detecting m photons heralding this process, and therefore the generation rate of the state | W mN ⟩ , , is proportional to

$$R _ { m, N } ^ { \text{WPE} } \in \eta _ { \text{DET} } ^ { m } \sum _ { n = m } ^ { N } \binom { N } { n } p ^ { m } ( 1 - p ) ^ { N - n }. \quad \ \ ( 7 8 )$$

The probability of detecting n photons will depend on the availability of number-resolved photodetectors, and the particular implementation of the n -ton multiport, as in general, we will observe some outputs to be suppressed by the HongOu-Mandel effect. As before, depending on the dimension,

FIG. 7. Maximum fidelity and entanglement success rate, for W states with 1, 2 and 3 excitations in a 4-node networks, using the WPEscheme as a function of the excitation probability. η DET = 0.05 is used for the plots.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-3012a0fc-a6a6-43f7-a9b3-cee9e1451719.jpg)

symmetric multiports can be built using combinations of beam splitters and tritters (see section V C). Other alternatives include the use of integrated multi-mode interferometers [102]. Importantly, the entanglement rate using this scheme scales as η m DET , and since m &lt; N , it is always better than the swapping scheme, which scales as η N DET . Fig. 7 shows the maximum achievable fidelities and entanglement success rates in a 4-node network, for generalised states with 1, 2 and 3 excitations, using η DET = 0 05. .

## VII. OPTICAL PHASE CONTROL

The fidelity of entangled states is limited by the repeatability and stability of the optical phases of photons traveling through fibres and interferometers. Variations in these optical phases are imprinted on the generated entangled states, causing them to fluctuate over time. While the entanglement swapping scheme and the itinerant photon scheme are resilient to large phase drifts [40, 49], approaches such as the which-path erasing, single-photon exchange between multiple nodes, and entanglement mapping require sub-wavelength path length stabilisation.

Various methods can actively stabilise these phases. In [103], the fluorescence light emitted by atoms during cooling is used to measure phase drift, and a movable mirror compensates for this drift using a sample-and-hold phase lock. In [39], phase stabilisation is achieved by illuminating the sample substrate and using the reflected light to measure phase drift, with a fibre stretcher employed for compensation. A similar approach is described in [43].

Even if the phase is unknown, it can be distilled out, provided that phase drifts are slower than the time required for multiple repetitions [41]. These conditions are typically met for short fibre lengths, as phase drift generally occurs on the scale of seconds, while the time required to generate two consecutive entangling events is less than a millisecond under realistic parameters.

Another source of phase uncertainty, particularly in atomic systems, is the intrinsic motion of atoms in trapping potentials. Uncertainty in the atom's position at the moment of absorbing or emitting a photon, causes path-length uncertainties. This uncertainty can be reduced by cooling the atoms to the ground state [96]. Additionally, residual motion-qubit entanglement due to recoil after the emission or absorption of single photons can be mitigated by selecting proper absorption and emission directions and, in some cases, by synchronising ion oscillation periods and absorption and emission times [81].

## VIII. DISCUSSION

We have presented and discussed different schemes for the generation of genuine multipartite remote entanglement over an N -node quantum network and considered its implementation on different experimental platforms used for quantum networking with matter qubits, including NV-centres, trapped ions, neutral atoms and superconducting qubits. The main advantage of using these schemes in comparison to schemes based solely on the use of bipartite entanglement (see, e.g., [14, 104]) is that the single-shot schemes presented here do not require extensive use of local measurement, feed-forward and local entangling gates. Therefore, the desired entangled states can be generated without excessive network latency, and without the need of ancillary qubits or long coherence times.

Typically, in a realistic network node, one could have many qubits, but a limited number of atom-photon interfaces per node. The qubit interacting with the interface will therefore need to be swapped, either physically or logically, during the execution of the scheme. Thereafter, using bipartite-entanglement-based schemes, bipartite entanglement will need to be created in a sequential way between different nodes. For this to work with high fidelity, the coherence time of the individual qubits needs to be much longer than the total time required to establish the desired multipartite state. Although this is feasible for some experimental platforms (see e.g., [23, 105]), it is still a challenge for most experimental realisations of quantum networks. Furthermore, the overhead on the number of ancillary qubits and the number of local-entangling gates needed when using the bipartiteentanglement-based schemes grows with the number of nodes to entangle, and hence, the fidelity of the involved operations.

All the schemes presented here do not require any extra qubits to create the multi-node entangled state nor local entangling gates, and importantly, do not rely on long coherence times to generate multi-node entanglement because the entanglement is performed in one single step after the initial state preparation of the qubits. For all the heralded schemes presented here, if a try does not generate entanglement, the initial

FIG. 8. Comparison of multipartite entanglement generation rates in a 4-node network, using bipartite entanglement as a resource, versus the swapping scheme presented in Section V. The horizontal axis shows η DET, the collection and detection efficiency of the emitted single photons.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-bf46f325-5ba2-4713-9119-edba7244d582.jpg)

state is prepared again, and a new try is executed. A single try has been demonstrated to be as fast as 1 µs for atomic-based systems [48], while the coherence time can be, even without the use of a dedicated memory ion, several orders of magnitude longer [23].

Regarding efficiency, the best scaling with the number of nodes is expected to be achieved using the which-path erasing scheme. However, this scheme also shows the strongest tradeoff between multipartite entanglement rate and achievable fidelity (Eqs. (77) and (78)), which may render it impractical for the most stringent applications. All other schemes discussed here show entangling rates that depend on η N , where N is the number of nodes and η is the efficiency of the process. Generally, this will result in slow multi-node entangling rates compared to schemes based solely on bipartite entanglement [104]. However, this limitation diminishes as η approaches 1.

Consider, for example, a 4-node network of trapped ions using the parameters presented in [48] for Bell pair generation. In this case, the relevant efficiency η is η DET, the probability of collecting and detecting a single photon emitted by the trapped ions. The generation rate of bipartite entanglement is given by (Eq. (A11))

$$R _ { \text{Bell} } = \frac { 1 } { 2 } \eta _ { \text{DET} } ^ { 2 } r _ { \text{T} }, \quad \quad ( 7 9 ) \quad \begin{matrix} \ s u \end{matrix} \\ \ H t \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

where r T is the entanglement trial rate. To generate entanglement between four nodes, assuming that each node has at most one ion-photon interface (the Bell state generation can-

[1]

A. Derevianko, E. Figueroa, J. Mart ´ Inez-Rinc´n,

o

I.

Monga,

A. Nomerotski, C. H. Pe˜ na, N. A. Peters, R. Pooser, N. Rao, A. Slosar, et al., arXiv preprint arXiv:2203.16979 (2022).

[2] D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, American Journal of Physics 58 , 1131 (1990).

not be parallelised), and neglecting the time required to perform the Bell measurements and local entangling gates necessary [104], the rate of 4-node entanglement generation is ≤ ( 1 / 4 ) R Bell , assuming that four rounds of bipartite entanglement is required to generate genuine entanglement between the four nodes (see e.g., [12]).

On the other hand, using the scheme for 4-node entanglement proposed in Appendix A, the entanglement generation rate is given by

$$R _ { Q u a d } = \frac { 7 } { 3 2 } \eta _ { \text{DET} } ^ { 4 } r _ { \text{T} },$$

assuming only non-number resolved detectors are available. Figure 8 shows that for η DET ⪆ 0 76, the 4-photon scheme is . more efficient than the bipartite-based scheme. This η DET ⪆ 0 76 is very close to efficiencies already achieved in trapped . ion systems [106]. Conditions for the single-shot scheme being advantageous compared to bipartite entanglement-only schemes can be found for all the discussed schemes by varying the corresponding η parameters.

The diverse range of schemes presented here offers promising avenues for achieving multipartite remote entanglement in quantum networks, extending beyond the limitations of using only bipartite remote entanglement. Each scheme carries its unique advantages and challenges, tailored for specific experimental platforms. Further experiments and simulations are needed to understand the impact of various experimental errors on the quality of generated multipartite entangled states. Refs. such as [62, 73, 85, 87, 92, 100, 104] provide valuable insights into relevant calculations and simulations, paving the way for comprehensive exploration and realisation of these schemes in diverse quantum computing, metrology, and sensing architectures.

## IX. ACKNOWLEDGEMENTS

We thank David Lucas for valuable comments on the manuscript and Tommaso Faorlin for useful discussion. DM acknowledges support from the U.S. Army Research Office (ref. W911NF-18-1-0340). DPN acknowledges support from Merton College, Oxford. EMA acknowledges support from the U.K. EPSRC 'Quantum Communications' Hub EP/T001011/1. RS acknowledges funding from an EPSRC Fellowship EP/W028026/1 and Balliol College, Oxford. GAM acknowledges support from Wolfson College, Oxford. This work was supported by the U.K. EPSRC 'Quantum Computing and Simulation' Hub EP/T001062/1.

[3] W. D¨ ur, Physical Review Letters 87 , 230402 (2001).

[4] T. Holz, H. Kampermann, and D. Bruß, Physical Review Research 2 , 023251 (2020).

[5] L. K. Grover, arXiv preprint quant-ph/9704012 (1997).

- [6] J. I. Cirac, A. Ekert, S. F. Huelga, and C. Macchiavello, Physical Review A 59 , 4249 (1999).
- [7] P. Yuan, J. Allcock, and S. Zhang, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023).
- [8] J. Eisert, K. Jacobs, P. Papadopoulos, and M. B. Plenio, Physical Review A 62 , 052317 (2000).
- [9] D. K. Oi, S. J. Devitt, and L. C. Hollenberg, Physical Review A 74 , 052313 (2006).
- [10] L. Jiang, J. M. Taylor, A. S. Sørensen, and M. D. Lukin, Physical Review A 76 , 062323 (2007).
- [11] D. Gottesman and I. L. Chuang, Nature 402 , 390 (1999).
- [12] G. Avis, F. Rozpedek, and S. Wehner, Physical Review A 107 , 012609 (2023).
- [13] J. Eisert and D. Gross, arXiv preprint quant-ph/0505149 (2005).
- [14] P. Komar, E. M. Kessler, M. Bishof, L. Jiang, A. S. Sørensen, J. Ye, and M. D. Lukin, Nature Physics 10 , 582 (2014).
- [15] M. Hillery, V. Buˇ zek, and A. Berthiaume, Physical Review A 59 , 1829 (1999).
- [16] L. Chen and W. She, Physical Review A 83 , 032305 (2011).
- [17] T. M. Graham, H. J. Bernstein, T.-C. Wei, M. Junge, and P. G. Kwiat, Nature communications 6 , 7185 (2015).
- [18] W. Liu, Y.-B. Wang, and Z.-T. Jiang, Optics Communications 284 , 3160 (2011).
- [19] J. Joo, J. Lee, J. Jang, and Y.-J. Park, arXiv preprint quantph/0204003 (2002).
- [20] D. Ferrari, S. Carretta, and M. Amoretti, IEEE Transactions on Quantum Engineering (2023).
- [21] O. Makuta, L. T. Ligthart, and R. Augusiak, npj Quantum Information 9 , 117 (2023).
- [22] Y.-X. Wang, Z.-P. Xu, and O. G¨ uhne, npj Quantum Information 10 , 11 (2024).
- [23] P. Drmota, D. Main, D. Nadlinger, B. Nichol, M. Weber, E. Ainley, A. Agrawal, R. Srinivas, G. Araneda, C. Ballance, et al., Physical Review Letters 130 , 090803 (2023).
- [24] J. I. Cirac, P. Zoller, H. J. Kimble, and H. Mabuchi, Physical Review Letters 78 , 3221 (1997).
- [25] L.-M. Duan and H. Kimble, Physical Review Letters 92 , 127902 (2004).
- [26] N. Sangouard, J.-D. Bancal, P. M¨ uller, J. Ghosh, and J. Eschner, New Journal of Physics 15 , 085004 (2013).
- [27] X.-L. Feng, Z.-M. Zhang, X.-D. Li, S.-Q. Gong, and Z.-Z. Xu, Physical Review Letters 90 , 217902 (2003).
- [28] L.-M. Duan and H. Kimble, Physical Review Letters 90 , 253601 (2003).
- [29] C. Simon and W. T. Irvine, Physical Review Letters 91 , 110405 (2003).
- [30] C. Cabrillo, J. I. Cirac, P. Garcia-Fernandez, and P. Zoller, Physical Review A 59 , 1025 (1999).
- [31] D. L. Moehring, P. Maunz, S. Olmschenk, K. C. Younge, D. N. Matsukevich, L.-M. Duan, and C. Monroe, Nature 449 , 68 (2007).
- [32] V. Krutyanskiy, M. Galli, V. Krcmarsky, S. Baier, D. Fioretto, Y. Pu, A. Mazloom, P. Sekatski, M. Canteri, M. Teller, et al., Physical Review Letters 130 , 050803 (2023).
- [33] S. Ritter, C. N¨ olleke, C. Hahn, A. Reiserer, A. Neuzner, M. Uphoff, M. M¨ ucke, E. Figueroa, J. Bochmann, and G. Rempe, Nature 484 , 195 (2012).
- [34] J. Hofmann, M. Krug, N. Ortegel, L. G´ erard, M. Weber, W. Rosenfeld, and H. Weinfurter, Science 337 , 72 (2012).
- [35] C.-W. Chou, H. De Riedmatten, D. Felinto, S. V. Polyakov, S. J. Van Enk, and H. J. Kimble, Nature 438 , 828 (2005).
- [36] X.-H. Bao, X.-F. Xu, C.-M. Li, Z.-S. Yuan, C.-Y. Lu, and J.-W. Pan, Proceedings of the National Academy of Sciences 109 , 20347 (2012).
- [37] P. Magnard, S. Storz, P. Kurpiers, J. Sch¨r, F. Marxer, J. L¨tolf, a u T. Walter, J.-C. Besse, M. Gabureac, K. Reuer, et al., Physical Review Letters 125 , 260502 (2020).
- [38] P. Campagne-Ibarcq, E. Zalys-Geller, A. Narla, S. Shankar, P. Reinhold, L. Burkhart, C. Axline, W. Pfaff, L. Frunzio, R. Schoelkopf, et al., Physical Review Letters 120 , 200501 (2018).
- [39] P. C. Humphreys, N. Kalb, J. P. Morits, R. N. Schouten, R. F. Vermeulen, D. J. Twitchen, M. Markham, and R. Hanson, Nature 558 , 268 (2018).
- [40] C. Knaut, A. Suleymanzade, Y.-C. Wei, D. Assumpcao, P.-J. Stas, Y. Huan, B. Machielse, E. Knall, M. Sutula, G. Baranes, et al., Nature 629 , 573 (2024).
- [41] A. Delteil, Z. Sun, W.-b. Gao, E. Togan, S. Faelt, and A. Imamo˘ glu, Nature Physics 12 , 218 (2016).
- [42] R. Stockill, M. Stanley, L. Huthmacher, E. Clarke, M. Hugues, A. Miller, C. Matthiesen, C. Le Gall, and M. Atat¨re, Physical u Review Letters 119 , 010503 (2017).
- [43] A. Ruskuc, C.-J. Wu, E. Green, S. L. Hermans, J. Choi, and A. Faraon, arXiv preprint arXiv:2402.16224 (2024).
- [44] N. Maring, P. Farrera, K. Kutluer, M. Mazzera, G. Heinze, and H. de Riedmatten, Nature 551 , 485 (2017).
- [45] D. B. Higginbottom, A. T. Kurkjian, C. Chartrand, M. Kazemi, N. A. Brunelle, E. R. MacQuarrie, J. R. Klein, N. R. LeeHone, J. Stacho, M. Ruether, et al., Nature 607 , 266 (2022).
- [46] A. Reiserer and G. Rempe, Reviews of Modern Physics 87 , 1379 (2015).
- [47] A. Blais, A. L. Grimsmo, S. M. Girvin, and A. Wallraff, Reviews of Modern Physics 93 , 025005 (2021).
- [48] L. Stephenson, D. Nadlinger, B. Nichol, S. An, P. Drmota, T. Ballance, K. Thirumalai, J. Goodwin, D. Lucas, and C. Ballance, Physical Review Letters 124 , 110501 (2020).
- [49] F. Knollmann, E. Clements, P. Callahan, M. Gehl, J. Hunker, T. Mahony, R. McConnell, R. Swint, C. Sorace-Agaskar, I. Chuang, et al., arXiv preprint arXiv:2401.06850 (2024).
- [50] C.-K. Chou, C. Auchter, J. Lilieholm, K. Smith, and B. Blinov, Review of Scientific Instruments 88 (2017).
- [51] B.-S. Shi and A. Tomita, Physics Letters A 296 , 161 (2002).
- [52] P. Agrawal and A. Pati, Physical Review A 74 , 062320 (2006).
- [53] H. Ng and K. Kim, Optics Communications 331 , 353 (2014).
- [54] Y. Li and Z. Ren, Physical Review A 107 , 012403 (2023).
- [55] Z. Zhang and L. Duan, New Journal of Physics 16 , 103037 (2014).
- [56] Z. H. Saleem, M. Perlin, A. Shaji, and S. K. Gray, arXiv preprint arXiv:2309.12411 (2023).
- [57] J. Miguel-Ramiro, F. Riera-S` abat, and W. D¨r, PRX Quantum u 4 , 040323 (2023).
- [58] P. Kurpiers, P. Magnard, T. Walter, B. Royer, M. Pechal, J. Heinsoo, Y. Salath´ e, A. Akin, S. Storz, J.-C. Besse, et al., Nature 558 , 264 (2018).
- [59] C. J. Axline, L. D. Burkhart, W. Pfaff, M. Zhang, K. Chou, P. Campagne-Ibarcq, P. Reinhold, L. Frunzio, S. Girvin, L. Jiang, et al., Nature Physics 14 , 705 (2018).
- [60] P. Kurpiers, Ph.D. thesis, ETH Zurich (2019).
- [61] N. Piro, F. Rohde, C. Schuck, M. Almendros, J. Huwer, J. Ghosh, A. Haase, M. Hennrich, F. Dubin, and J. Eschner, Nature Physics 7 , 17 (2011).
- [62] B. Vogell, B. Vermersch, T. Northup, B. Lanyon, and C. Muschik, Quantum Science and Technology 2 , 045003 (2017).

- [63] P. Kurpiers, M. Pechal, B. Royer, P. Magnard, T. Walter, J. Heinsoo, Y. Salath´ e, A. Akin, S. Storz, J.-C. Besse, et al., Physical Review Applied 12 , 044067 (2019).
- [64] X. Gu, A. F. Kockum, A. Miranowicz, Y.-x. Liu, and F. Nori, Physics Reports 718 , 1 (2017).
- [65] A. Reiserer, N. Kalb, G. Rempe, and S. Ritter, Nature 508 , 237 (2014).
- [66] P. Van Loock, T. Ladd, K. Sanaka, F. Yamaguchi, K. Nemoto, W. Munro, and Y. Yamamoto, Physical Review Letters 96 , 240501 (2006).
- [67] S. Welte, B. Hacker, S. Daiss, S. Ritter, and G. Rempe, Physical Review X 8 , 011018 (2018).
- [68] S. Langenfeld, S. Welte, L. Hartung, S. Daiss, P. Thomas, O. Morin, E. Distante, and G. Rempe, Physical Review Letters 126 , 130502 (2021).
- [69] G.-Y. Wang, Q. Liu, H.-R. Wei, T. Li, Q. Ai, and F.-G. Deng, Scientific reports 6 , 24183 (2016).
- [70] O. Nagib, P. Huft, A. Safari, and M. Saffman, Physical Review A 109 , 032602 (2024).
- [71] C. Schuck, F. Rohde, N. Piro, M. Almendros, J. Huwer, M. Mitchell, M. Hennrich, A. Haase, F. Dubin, and J. Eschner, Physical Review A 81 , 011802 (2010).
- [72] K. D. J¨ns, L. Schweickert, M. A. Versteegh, D. Dalacu, P. J. o Poole, A. Gulinatti, A. Giudice, V. Zwiller, and M. E. Reimer, Scientific reports 7 , 1700 (2017).
- [73] A. D. Pfister, M. Salz, M. Hettrich, U. G. Poschinger, and F. Schmidt-Kaler, Applied Physics B 122 , 1 (2016).
- [74] H.-S. Zhong, Y. Li, W. Li, L.-C. Peng, Z.-E. Su, Y. Hu, Y.-M. He, X. Ding, W. Zhang, H. Li, et al., Physical Review Letters 121 , 250505 (2018).
- [75] P. Thomas, L. Ruscio, O. Morin, and G. Rempe, Nature 608 , 677 (2022).
- [76] H. Cao, L. Hansen, F. Giorgino, L. Carosini, P. Zahalka, F. Zilk, J. Loredo, and P. Walther, arXiv preprint arXiv:2308.05709 (2023).
- [77] J. Calsamiglia and N. L¨ utkenhaus, Applied Physics B 72 , 67 (2001).
- [78] R. Valivarthi, I. Lucio-Martinez, A. Rubenok, P. Chan, F. Marsili, V . B. Verma, M. D. Shaw, J. Stern, J. A. Slater, D. Oblak, et al., Optics express 22 , 24497 (2014).
- [79] M. Seubert, Ph.D. thesis, Master Thesis, LudwigMaximilians-Universit¨ at M¨nchen (2020). u
- [80] C.-W. Chou, J. Laurat, H. Deng, K. S. Choi, H. De Riedmatten, D. Felinto, and H. J. Kimble, Science 316 , 1316 (2007).
- [81] S. Saha, M. Shalaev, J. O'Reilly, I. Goetting, G. Toh, A. Kalakuntla, Y. Yu, and C. Monroe, arXiv preprint arXiv:2406.01761 (2024).
- [82] S. D. Barrett and P. Kok, Physical Review A-Atomic, Molecular, and Optical Physics 71 , 060310 (2005).
- [83] B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. Vermeulen, R. N. Schouten, C. Abell´ an, et al., Nature 526 , 682 (2015).
- [84] D. P. Nadlinger, P. Drmota, B. C. Nichol, G. Araneda, D. Main, R. Srinivas, D. M. Lucas, C. J. Ballance, K. Ivanov, E.-Z. Tan, et al., Nature 607 , 682 (2022).
- [85] K. Tanji, H. Takahashi, W. Roga, and M. Takeoka, arXiv preprint arXiv:2403.15179 (2024).
- [86] J.-w. Pan and A. Zeilinger, Physical Review A 57 , 2208 (1998).
- [87] P. Lougovski, S. van Enk, K. S. Choi, S. B. Papp, H. Deng, and H. Kimble, New Journal of Physics 11 , 063029 (2009).
- [88] M. ˙ ukowski, A. Zeilinger, and M. A. Horne, Physical Review Z A 55 , 2564 (1997).
- [89] Y. L. Lim and A. Beige, Physical Review A 71 , 062311 (2005).
- [90] R. A. Campos, Physical Review A 62 , 013809 (2000).
- [91] N. Spagnolo, C. Vitelli, L. Aparo, P. Mataloni, F. Sciarrino, A. Crespi, R. Ramponi, and R. Osellame, Nature Communications 4 , 1606 (2013).
- [92] V. C. Vivoli, J. Ribeiro, and S. Wehner, Physical Review A 100 , 032310 (2019).
- [93] S. C. Connell, J. Scarabel, E. M. Bridge, K. Shimizu, V. Bl¯ ums, M. Ghadimi, M. Lobino, and E. W. Streed, Journal of Physics B: Atomic, Molecular and Optical Physics 54 , 175503 (2021).
- [94] Z. Ji, P. Fan, and H. Zhang, Physica A: Statistical Mechanics and its Applications 585 , 126400 (2022).
- [95] H.-F. Wang, X.-Q. Shao, Y.-F. Zhao, S. Zhang, and K.-H. Yeon, Journal of Physics B: Atomic, Molecular and Optical Physics 42 , 175506 (2009).
- [96] L. Slodiˇ cka, G. H´tet, N. R¨ck, P. Schindler, M. Hennrich, and e o R. Blatt, Physical Review Letters 110 , 083603 (2013).
- [97] G. Araneda, D. B. Higginbottom, L. Slodiˇ cka, Y. Colombe, and R. Blatt, Physical Review Letters 120 , 193603 (2018).
- [98] H. Bernien, B. Hensen, W. Pfaff, G. Koolstra, M. Blok, L. Robledo, T. Taminiau, M. Markham, D. Twitchen, L. Childress, et al., in APS Division of Atomic, Molecular and Optical Physics Meeting Abstracts (2013), vol. 2013, pp. T5-004.
- [99] S. Hermans, M. Pompili, H. Beukers, S. Baier, J. Borregaard, and R. Hanson, Nature 605 , 663 (2022).
- [100] S. Hermans, M. Pompili, L. D. S. Martins, A. R. Montblanch, H. Beukers, S. Baier, J. Borregaard, and R. Hanson, New Journal of Physics 25 , 013011 (2023).
- [101] R. Wiegner, J. Von Zanthier, and G. S. Agarwal, Physical Review A 84 , 023805 (2011).
- [102] A. Peruzzo, A. Laing, A. Politi, T. Rudolph, and J. L. O'brien, Nature Communications 2 , 224 (2011).
- [103] L. Slodiˇ cka, G. H´ etet, N. R¨ ock, S. Gerber, P. Schindler, M. Kumph, M. Hennrich, and R. Blatt, Phys. Rev. A 85 , 043401 (2012).
- [104] G. J. Mooney, G. A. White, C. D. Hill, and L. C. Hollenberg, Journal of Physics Communications 5 , 095004 (2021).
- [105] P.-J. Stas, Y. Q. Huan, B. Machielse, E. N. Knall, A. Suleymanzade, B. Pingault, M. Sutula, S. W. Ding, C. M. Knaut, D. R. Assumpcao, et al., Science 378 , 557 (2022).
- [106] J. Schupp, V. Krcmarsky, V. Krutyanskiy, M. Meraner, T. Northup, and B. Lanyon, PRX Quantum 2 , 020331 (2021).

## Appendix A: Entanglement swapping for four nodes

Using the entanglement swapping technique presented in section V C, let us now consider the case of four identical atomphoton entangled pairs, i.e.,

$$\begin{array} { l l l } \text{pimg technique presented in section $V C, let us now consider the case of four identical atom-} \\ \\ \bigotimes ^ { 4 } _ { n = 1 } \frac { 1 } { \sqrt { 2 } } ( | 0 ) _ { A _ { n } } | 0 \rangle _ { P } \pm | 1 \rangle _ { A _ { n } } | 1 \rangle _ { P } ) = & & ( A 1 ) \\ \frac { 1 } { \sqrt { 1 6 } } ( | G _ { 0 } ^ { + } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 0 } ^ { + } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 0 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 0 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 1 } ^ { + } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 0 } ^ { + } ) _ { P _ { P } P _ { P } P _ { P } } \\ \pm | G _ { 1 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 1 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } } \\ \pm | G _ { 2 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 2 } ^ { + } ) _ { P _ { P } P _ { P } P _ { P } } \\ \pm | G _ { 2 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 2 } ^ { + } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 3 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 3 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 4 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 4 } ^ { + } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 5 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 5 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 6 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 6 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } } \\ + | G _ { 6 } ^ { + } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 6 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } } \\ \pm | G _ { 7 } ^ { + } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 7 } ^ { + } ) _ { P _ { P } P _ { P } P _ { P } } \\ \pm | G _ { 7 } ^ { - } ) _ { A _ { 1 } A _ { 2 } A _ { 3 } A _ { 4 } } | G _ { 7 } ^ { - } ) _ { P _ { P } P _ { P } P _ { P } }, & & ( A 2 ) \\ \\ | G _ { 0 } ^ { + } ) = \frac { 1 } { \sqrt { 2 } } ( | \text{000} ) \pm | 1 1 1 1 ) ), & & ( A 3 ) \\ \cdots + \cdots + 1 & \dots........................................................................................................................................................................................................ \end{array}$$

with

$$| G _ { 0 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 0 0 \rangle \pm | 1 1 1 1 \rangle \right ),$$

$$| G _ { 1 } ^ { \pm } \rangle = \frac { \cdot _ { 1 } } { \sqrt { 2 } } \left ( | 0 0 0 1 \rangle \pm | 1 1 1 0 \rangle \right ),$$

$$| G _ { 2 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 1 0 \rangle \pm | 1 1 0 1 \rangle \right ),$$

$$| G _ { 3 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 0 1 1 \rangle \pm | 1 1 0 0 \rangle \right ),$$

$$| G _ { 4 } ^ { \pm } \rangle = \frac { \cdot _ { 1 } } { \sqrt { 2 } } \left ( | 0 1 0 0 \rangle \pm | 1 0 1 1 \rangle \right ),$$

$$| G _ { 5 } ^ { \pm } \rangle = \frac { 1 } { \sqrt { 2 } } \left ( | 0 1 0 1 \rangle \pm | 1 0 1 0 \rangle \right )$$

$$| G _ { 6 } ^ { \pm } \rangle = \frac { 1 } { \underset { \cdot } { \sqrt { 2 } } } \left ( | 0 1 1 0 \rangle \pm | 1 0 0 1 \rangle \right ),$$

$$| G _ { 7 } ^ { \pm } \rangle = \frac { \cdot _ { 1 } } { \sqrt { 2 } } \left ( | 0 1 1 1 \rangle \pm | 1 0 0 0 \rangle \right ),$$

where the {| Gn ± ⟩} states correspond now to 4-particle entangled states of the GHZ class. As before, by using a 4-photon generalized BSA it is possible to generate 4-particle entanglement.

An example of such a 4-photon generalized BSA using photon-polarisation encoding, is shown in Fig. 5c. This BSA is a 4-to-4 symmetric multiport [88, 89]: a single photon entering any of the input ports has the same probability of exiting at any

of the output ports, erasing the information about which atom emitted that photon. Notice that this so-called quarter uses 50:50 beams splitters only [88]. The creation of entanglement of 4-particle entanglement is heralded by four coincidence clicks in some particular photon detection patterns. A detailed analysis for the different detection cases is shown in appendix B. If a particular implementation of the 4-photon BSA projects the atomic states into an entangled state with probability p BSA4 , the probability of generating a 4-particle entangled state is then

$$R _ { 4 } ^ { S W } & \in p _ { B S A _ { 4 } } \eta _ { \text{DET} } ^ { 4 }.$$

The implementation of the 4-photon generalised BSA shown in Fig. 5c, a called quarter, can generate 4-particle remote entanglement with probability p BSA4 = 7 / 32 upon coincident detection of single photons at four different detectors. When using number-resolved detectors, and heralding in any combination of four photons detected, the probability of generating entanglement is 7 / 8, see appendix B for details. Note that, depending on the heralding detection patterns, not all the generated 4-particle entangled states are one of the {| Gn ± ⟩} states, but more general 4-particle entangled states of the GHZ and W classes. Importantly, if we attempt to produce entanglement between only two nodes using the quarter shown in Fig. 5c, by sending two photons and detecting two photons at the output, a Bell state between the two nodes is produced also with the maximum probability allowed, i.e., 1/2 η 2 DET . This enables the production of entanglement of any two in a 4-node without the need of an additional optical switch. The same applies for entangling 3 nodes.

Using the alternative generalised BSA presented in ref. [92], a 4-particle GHZ state can be generated with probability proportional to p BSA4 = 1 / 16. Other proposed interferometer structures can be found in ref. [85]

## Appendix B: Entanglement swapping using a quarter

We consider now the case of entanglement swapping for a 4-node network using a quarter (see Fig. 9). The quarter is unitary transformation from the input modes a to the output modes b , such that the creation operators for each mode are related through

$$\left ( \begin{array} { c } b _ { \{ h, v \} 1 } ^ { \dagger } \\ b _ { \{ h, v \} 2 } ^ { \dagger } \\ b _ { \{ h, v \} 3 } ^ { \dagger } \\ b _ { \{ h, v \} 4 } ^ { \dagger } \end{array} \right ) = Q \cdot \left ( \begin{array} { c } a _ { \{ h, v \} 1 } ^ { \dagger } \\ a _ { \{ h, v \} 2 } ^ { \dagger } \\ a _ { \{ h, v \} 3 } ^ { \dagger } \\ a _ { \{ h, v \} 4 } ^ { \dagger } \end{array} \right ).$$

For example, a † { } h 1 is the creation operator for a h -polarized photon in the input one. The unitary matrix representing the transformation exerted by the interferometer of Fig.5c is the composition of the unitary transformations of a beam splitters

FIG. 9. Input and output for a specific realisation of a Quarter.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-6e325b8c-40ad-4cd4-a3fd-2bb79a1d2e9b.jpg)

acting on different sequentially on different modes

$$Q = \left ( \begin{array} { c c c c } 1 & 0 & 0 & 0 \\ 0 & \frac { 1 } { 2 } & \frac { i } { 2 } & 0 \\ 0 & \frac { i } { 2 } & \frac { 1 } { 2 } & 0 \\ 0 & 0 & 0 & 1 \end{array} \right ) \cdot \left ( \begin{array} { c c c c } \frac { 1 } { \sqrt { 2 } } & 0 & 0 & \frac { i } { \sqrt { 2 } } \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ \frac { i } { \sqrt { 2 } } & 0 & 0 & \frac { 1 } { \sqrt { 2 } } \end{array} \right ) \cdot \left ( \begin{array} { c c c c } 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & \frac { 1 } { \sqrt { 2 } } & \frac { i } { \sqrt { 2 } } \\ 0 & 0 & \frac { i } { \sqrt { 2 } } & \frac { 1 } { \sqrt { 2 } } & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right ).$$

Notice that this is a particular realisation of a quarter, and in principle, arbitrary phase shift could be placed in any path of the interferometer, changing this matrix and the obtained state that we will listen below. The phases could be optimised to achieve certain state with high probability. We condition on the detection of some combination of clicks at the output states b , so we need to write the input states in terms of output states. This is done through the inverse matrix

$$\begin{pmatrix} a _ { \{ h, v \} 1 } ^ { \dagger } \\ a _ { \{ h, v \} 2 } ^ { \dagger } \\ a _ { \{ h, v \} 3 } ^ { \dagger } \\ a _ { \{ h, v \} 4 } ^ { \dagger } \end{pmatrix} = Q ^ { - 1 } \cdot \begin{pmatrix} b _ { \{ h, v \} 1 } ^ { \dagger } \\ b _ { \{ h, v \} 2 } ^ { \dagger } \\ b _ { \{ h, v \} 3 } ^ { \dagger } \\ b _ { \{ h, v \} 4 } ^ { \dagger } \end{pmatrix}$$

with

$$Q ^ { - 1 } = \left ( \begin{array} { c c c c } \frac { 1 } { 2 } & - \frac { i } { 2 } & - \frac { i } { 2 } & - \frac { i } { 2 } \\ - \frac { i } { 2 } & \frac { 1 } { 2 } & - \frac { i } { 2 } & - \frac { i } { 2 } \\ - \frac { 1 } { 2 } & - \frac { i } { 2 } & \frac { 1 } { 2 } & - \frac { i } { 2 } \\ - \frac { 1 } { 2 } & - \frac { 1 } { 2 } & - \frac { i } { 2 } & \frac { 1 } { 2 } \end{array} \right ).$$

Any of the input states of the interferometer (Eq. A10) can be written using the specific combination of creation operators, for example

$$\frac { 1 } { \sqrt { 2 } } \left ( | 0 1 0 1 \rangle _ { P _ { 1 }, P _ { 2 }, P _ { 3 }, P _ { 4 } } + | 1 0 1 0 \rangle _ { P _ { 1 }, P _ { 2 }, P _ { 3 }, P _ { 4 } } \right ) & = \frac { 1 } { \sqrt { 4 } } \left ( | h v h v \rangle + | v h v h \rangle \right ) \\ & = \frac { 1 } { \sqrt { 2 } } ( a _ { h, 1 } ^ { \dagger } a _ { v, 2 } ^ { \dagger } a _ { h, 3 } ^ { \dagger } a _ { v, 4 } ^ { \dagger } + a _ { v, 1 } ^ { \dagger } a _ { h, 2 } ^ { \dagger } a _ { v, 3 } ^ { \dagger } a _ { h, 4 } ^ { \dagger } ) | 0 \rangle \,.$$

Then, each of the input field operators a † operators can be written using Eq. B3 in terms of the output operators of the GBSA. Then we can write the full extension of Eq. A2, and see how different output patterns, i.e., photon detection of four photons patterns in the eight detectors, correspond to the different projection of the atomic states. If we consider that the initial state of the atom-photon pairs is given by

$$\bigotimes _ { n = 1 } ^ { 4 } \frac { 1 } { \sqrt { 2 } } \left ( \left | 0 \right \rangle _ { A _ { n } } \left | 0 \right \rangle _ { P _ { n } } + \left | 1 \right \rangle _ { A _ { n } } \left | 1 \right \rangle _ { P _ { n } } \right ),$$

And we consider detection patterns of four photons, with at most one click per detector, the possible patterns are:

| Detection Pattern   | State                                               | Probability   |
|---------------------|-----------------------------------------------------|---------------|
| b h1 b h2 b h3 b h4 | | 0000 ⟩                                            | 1 64          |
| b h1 b h2 b h3 b v1 | - 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ ) | 1 256         |
| b h1 b h2 b h3 b v2 | 1 2 ( -| 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )   | 1 256         |
| b h1 b h2 b h3 b v3 | - 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ ) | 1 256         |
| b h1 b h2 b h3 b v4 | 1 2 ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩ )   | 1 256         |
| b h1 b h2 b h4 b v1 | 1 2 ( | 0001 ⟩ -| 0010 ⟩ + | 0100 ⟩ -| 1000 ⟩ )     | 1 256         |

```
b_{h1}b_{h2}b_{h4}b_{v2}	-1}i(|0001)+|0010)-|0100)-|1000))	-1.256
b_{h1}b_{h2}b_{h4}b_{v3}	-1}i(|0001)+|0010)+|0100)+|1000))	-1.256
b_{h1}b_{h2}b_{h4}b_{v4}	-1}i(|0001)-|0010)-|0100)+|1000))	-1.256
b_{h1}b_{h2}b_{v1}b_{v2}																																																																																																																																																																																																								 																																																																																																																																																																																																							
																																																																																																																																																																																																							\
																																																																																																																																																																																																						                                                                                                                                                                                                        																																																																																																																																																																																																						 
																																																																																																																																																																																																						
                                                                                                                                                                                                       
																																																																																																																																																																																																					  
																																																																																																																																																																																																				   																																																																																																																																																																																																				   
																																																																																																																																																																																																			    																																																																																																																																																																																																			   	  																																																																																																																																																																																																					  																																																																																																																																																																																																				 
	                                                                                                                                                                                                      
                                                                                                                                                                                                      

																																																																																																																																																																																																						}
```

```
b_{h2} b_{v1} b_{v3} b_{v4}                                                                                                                                                                                                        
                                                                                                                                                                                                       	                                                                                                                                                                                                        }
                                                                                                                                                                                                      
	b_{h2} b_{v2} b_{v3}                                                                                                                                                                                                      

	b_{h3} b_{h4} b_{v1} b_{v2}                                                                                                                                                                                                       }                                                                                                                                                                                                        1                                                                                                                                                                                                        0                                                                                                                                                                                                        2                                                                                                                                                                                                        3                                                                                                                                                                                                        6                                                                                                                                                                                                        8                                                                                                                                                                                                        9                                                                                                                                                                                                        10                                                                                                                                                                                                        7                                                                                                                                                                                                        5                                                                                                                                                                                                        4                                                                                                                                                                                                        "
```

If we consider at most two clicks per detector, the possible patterns are:

| Detection Pattern          | State                                                               | Probability   |
|----------------------------|---------------------------------------------------------------------|---------------|
| b 2 h1 b 2 h2              | | 0000 ⟩                                                            | 1 256         |
| b 2 h1 b h2 b v1           | 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                   | 1 512         |
| b 2 b b                    | 1 ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩ )                     | 1             |
| h1 h2 v2                   | 2                                                                   | 512           |
| b 2 h1 b h2 b v3           | 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )                   | 1 512         |
| b 2 h1 b h2 b v4           | 1 2 ( -| 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                   | 1 512         |
| b 2 h1 b 2 h3              | -| 0000 ⟩                                                           | 1 256         |
| b 2 h1 b h3 b v1           | 1 2 ( -| 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                   | 1 512         |
| b 2 h1 b h3 b v2           | 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )                   | 1 512         |
| b 2 h1 b h3 b v3           | 1 2 ( -| 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )                     | 1 512         |
| b 2 h1 b h3 b v4           | - 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                 | 1 512         |
| b 2 h1 b 2 h4              | | 0000 ⟩                                                            | 1 256         |
| 2                          |                                                                     |               |
| b h1 b h4 b v1             | - 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )                 | 1 512 1       |
| b 2 b h4 b v3              | 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                   | 512 1 512     |
| h1                         | -                                                                   |               |
| b 2 h1 b h4 b v4           | 1 2 ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩ )                   | 1 512         |
| b 2 h1 b 2 v1              | | 0011 ⟩ + | 0101 ⟩ + | 0110 ⟩ + | 1001 ⟩ + | 1010 ⟩ + | 1100 ⟩ √ 6 | 3             |
| b 2 h1 b v1 b v2           | i ( | 0110 ⟩-| 1001 ⟩ ) √ 2                                         | 512 1         |
| b 2 b b                    | | 0101 ⟩-| 1010 ⟩                                                   | 256 1         |
| h1 v1 v3 b 2 h1 b v1 b v4  | √ 2 i ( | 0011 ⟩-| √                                                | 256 1         |
|                            | 1100 ⟩ ) 2                                                          | 256 3         |
| b 2 h1 b 2 v2              | | 0011 ⟩ + | 0101 ⟩-| 0110 ⟩-| 1001 ⟩ + | 1010 ⟩ + | 1100 ⟩ √       |               |
| b 2 h1 b v2 b v3           | 6 i ( | 0011 ⟩-| 1100 ⟩ ) √                                         | 512 1         |
| 2                          | 2                                                                   | 256           |
| b h1 b v2 b v4             | | 1010 ⟩-| 0101 ⟩ √ 2                                               | 1 256         |
| 2 2                        | -| 0011 ⟩ + | 0101 ⟩-| 0110 ⟩-| 1001 ⟩ + | 1010 ⟩-| 1100 ⟩          | 3             |
| b h1 b v3 b 2 h1 b v3 b v4 | √ 6 i ( | 0110 ⟩-| 1001 ⟩ ) √                                       | 512 1         |
|                            | 2                                                                   | 256           |
| b 2 h1 b 2 v4              | -| ⟩ + | 0101 ⟩ + | 0110 ⟩ + | 1001 ⟩ + | 1010 ⟩-| 1100 ⟩ √ 6       | 3             |
| b h1 b 2 h2 b v1           | 0011                                                                | 512           |
|                            | ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩                         | 1             |
|                            | 1 2                                                                 |               |
|                            | )                                                                   |               |

512

```
b_{h1}b_{2}b_v2	-1}i(|0001)- |0010)- |0100)- |0100)- |1000))
b_{h1}b_{2}b_v3	-1}i(|0001)- |0010)- |1000))
b_{h1}b_{2}b_v4	-1}i(|0001)- |0010)- |1000))
b_{h1}b_{2}b_v4	-1}i(|0001)- |0010)- |0100)- |1000))
b_{h1}b_{h2}b_{1}																																																																																																																																																																																																								                                                                                                                                                                                                        
b_{h1}b_{h2}b_{1}
```

```
b_{hi1bv1b2b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b5b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3bb3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b 3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b33b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b53b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3bigsb3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b2b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b55b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b3b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b3b3b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b3b5b3b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b5b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b63b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b5b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b3b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b3b3b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b53b
```

| b 2 h2 b 2 v4    | -| 0011 ⟩ + | 0101 ⟩-| 0110 ⟩-| 1001 ⟩ + | 1010 ⟩-| 1100 ⟩ √ 6   | 3 512     |
|------------------|------------------------------------------------------------------|-----------|
| b h2 b 2 h3 b v1 | 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                | 1 512     |
| b h2 b 2 h3 b v2 | 1 2 ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩ )                | 1 512     |
| b h2 b 2 h3 b v3 | 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )                | 1 512     |
| b h2 b 2 h3 b v4 | 1 2 ( -| 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )                | 1 512     |
| b h2 b h3 b 2 v1 | - i ( | 0011 ⟩-| 1100 ⟩ ) √ 2                                    | 1 256 1   |
| b h2 b h3 b 2 v2 | - i ( | 0011 ⟩-| 1100 ⟩ ) √ 2                                    | 256       |
| b h2 b h3 b 2 v3 | i ( | 0011 ⟩-| 1100 ⟩ ) √ 2                                      | 1 256 1   |
| b h2 b h3 b 2 v4 | i ( | 0011 ⟩-| 1100 ⟩ ) √ 2                                      | 256 1     |
| b h2 b 2 h4 b v1 | - 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )              | 512       |
| b h2 b 2 h4 b v2 | 1 2 ( -| 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )                  | 1 512     |
| b h2 b 2 h4 b v3 | - 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )              | 1 512     |
| b h2 b 2 h4 b v4 | 1 2 ( | 0001 ⟩ -| 0010 ⟩ + | 0100 ⟩ -| 1000 ⟩ )                  | 1 512 1   |
| b h2 b h4 b 2 v1 | | 0101 ⟩-| 1010 ⟩ √ 2                                            | 256 1     |
| b h2 b h4 b 2 v2 | | 0101 ⟩-| 1010 ⟩ √ 2                                            | 256       |
| b h2 b h4 b 2 v3 | | 0101 ⟩-| 1010 ⟩ √ 2                                            | 1 256     |
| b h2 b h4 b 2 v4 | | 0101 ⟩-| 1010 ⟩ √ 2                                            | 1 256     |
| b h2 b 2 v1 b v2 | 1 2 ( | 0111 ⟩ + | 1011 ⟩ + | 1101 ⟩ + | 1110 ⟩ )                | 1 512     |
| b h2 b 2 v1 b v3 | 1 2 i ( -| 0111 ⟩ -| 1011 ⟩ + | 1101 ⟩ + | 1110 ⟩ )              | 1 512     |
| b h2 b 2 v1 b v4 | 1 2 ( | 0111 ⟩ -| 1011 ⟩ + | 1101 ⟩ -| 1110 ⟩ )                  | 1 512     |
| b h2 b v1 b 2 v2 | - 1 2 i ( | 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ )              | 1 512     |
| b h2 b v1 b 2 v3 | 1 2 i ( | 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ )                | 1 512     |
| b h2 b v1 b 2 v4 | - 1 2 i ( | 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ )              | 1 512     |
| b h2 b 2 v2 b v3 | 1 2 i ( | 0111 ⟩ + | 1011 ⟩ -| 1101 ⟩ -| 1110 ⟩ )                | 1 512     |
| b h2 b 2 v2 b v4 | 1 ( -| 0111 ⟩ + | 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ )                  | 1         |
| b h2 b v2 b 2 v3 | 2                                                                | 512 1 512 |
| b h2 b v2 b 2    | 1 2 ( | 0111 ⟩ + | 1011 ⟩ + | 1101 ⟩ + | 1110 ⟩ )                |           |
| v4               | 1 2 ( -| 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ -| 1110 ⟩ )                  | 1 512     |

```
bn2b2b2_3b_v4	1	1(|0111) - |1011) + |11101) - |1110)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	2	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	0	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	
bn2b2b_v3	bn2b_v4	1	1(|0001) + |0010) + |0100) - |1000)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
bn2b_v5	bn2b_v5	1	1(|0001) - |0010) + |1000) + |1000) + |1000)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
bn3	bn3_v6	bn3_v6	1	1(|0001) + |0010) + |0100) + |0100) + |1000)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
bn3_v7	bn3_v7	1	1(|0001) + |0010) + |0100) + |0100) + |0100)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1`
bn3_v8	bn3_v9	1	1(|0001) + |0010) + |0100) + |0100) + |0100)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	2	1	1	1	1	1	1	1	1	1	1	1	2	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	2	1	1	1	1	1	1	1	1	1	1	1	3	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	3	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	2	1	1	1	1	1	1	1	1	1	1	1	
bn3_v9	bn3_v9	1	1(|0001) + |0010) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |1000) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |1200) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0100) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |00000000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |000000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |0000) + |????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
```

```
bh3b3b3_1bv4_1_1i(|0111)-|1011)-|1101)+|1110))                                                                                                                                                                                                        
bh3bv1b3b3_2_1i(|-|0111)+|1011)-|1101)+|1110))                                                                                                                                                                                           
bh3bv1b3b3_3_1i(|0111)-|1011)+|1101)-|1110))                                                                                                                                                                                                   
bh3v1b3b3_4_1i(|-|0111)+|1011)-|1101)+|1110))                                                                                                                                                                                 
bh3v1b3b3_4_1i(|-|0111)+1i(|-|1101)+|1110))                                                                                                                                                                                               
bh3v1b3v1b3_4_1i(|-|0111)+1i(|-|1101)+|1110))                                                                                                                                                                            
bh3v1b3v1b3_4_1i(|-|0111)+1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1ii(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(
1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1
1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(
 1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i
 1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(
 1 i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(11i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i (1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1fi(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1j(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(2i(1i(1i(1i(1i(1i(1i(1i(1i(1i(1i(
```

| b h4 b 2 v2 b v4   | 1 2 ( -| 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ -| 1110 ⟩ )   | 1 512   |
|--------------------|---------------------------------------------------|---------|
| b h4 b v2 b 2 v3   | 1 2 ( | 0111 ⟩ -| 1011 ⟩ + | 1101 ⟩ -| 1110 ⟩ )   | 1 512   |
| b h4 b v2 b 2 v4   | 1 2 ( -| 0111 ⟩ + | 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ ) | 1 512   |
| b h4 b 2 v3 b v4   | 1 2 ( | 0111 ⟩ + | 1011 ⟩ + | 1101 ⟩ + | 1110 ⟩ ) | 1 512   |
| b h4 b v3 b 2 v4   | 1 2 i ( | 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ ) | 1 512 1 |
| b 2 v1 b 2 v2      | | 1111 ⟩                                          | 256     |
| b 2 v1 b 2 v3      | -| 1111 ⟩                                         | 1 256   |
| b 2 v1 b 2 v4      | | 1111 ⟩                                          | 1 256   |
| b 2 v2 b 2 v3      | | 1111 ⟩                                          | 1 256   |
| b 2 v2 b 2 v4      | -| 1111 ⟩                                         | 1 256   |
| b 2 v3 b 2 v4      | | 1111 ⟩                                          | 1       |

If we consider at most three clicks per detector, the possible patterns are:

| Detection Pattern   | State                                               | Probability   |
|---------------------|-----------------------------------------------------|---------------|
| b 3 h1 b v1         | 1 2 ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩ )   | 3 512         |
| b 3 h1 b v2         | - 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ ) | 3 512         |
| b 3 h1 b v3         | 1 2 ( | 0001 ⟩ -| 0010 ⟩ + | 0100 ⟩ -| 1000 ⟩ )     | 3 512 3       |
| b 3 h1 b v4         | 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )   | 512 3         |
| b h1 b 3 v1         | 1 2 ( | 0111 ⟩ + | 1011 ⟩ + | 1101 ⟩ + | 1110 ⟩ )   | 512           |
| b h1 b 3 v2         | 1 2 i ( | 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ )   | 3 512         |
| b h1 b 3 v3         | 1 2 ( -| 0111 ⟩ + | 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ )   | 3 512 3       |
| b h1 b 3 v4         | 1 2 i ( | 0111 ⟩ + | 1011 ⟩ -| 1101 ⟩ -| 1110 ⟩ )   | 512           |
| b 3 h2 b v1         | 1 2 i ( | 0001 ⟩ -| 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )   | 3 512         |
| b 3 h2 b v2         | 1 2 ( | 0001 ⟩ + | 0010 ⟩ + | 0100 ⟩ + | 1000 ⟩ )   | 3 512         |
| b 3 h2 b v3         | 1 2 i ( | 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ -| 1000 ⟩ )   | 3 512         |
| b 3 h2 b v4         | 1 2 ( -| 0001 ⟩ + | 0010 ⟩ -| 0100 ⟩ + | 1000 ⟩ )   | 3 512         |
| b h2 b 3 v1         | - 1 2 i ( | 0111 ⟩ -| 1011 ⟩ -| 1101 ⟩ + | 1110 ⟩ ) | 3 512         |
| b h2 b 3 v2         | 1 2 ( | 0111 ⟩ + | 1011 ⟩ + | 1101 ⟩ + | 1110 ⟩ )   | 3 512         |
| b h2 b 3 v3         | 1 2 i ( | 0111 ⟩ + | 1011 ⟩ -| 1101 ⟩ -| 1110 ⟩ )   | 3 512         |

```
b_{h2} b _ { v } _ { 4 } = { 1 } _ { ( | 0 1 1 1 ) - | 1 0 1 1 ) + | 1 1 0 1 ) - | 1 1 1 0 ) } \, \, \,
```

If we consider four clicks per detector, the possible patterns are:

```

tor, the possible patterns are:

        Detection Pattern   State    Probability
```

Notice that not all detections lead to entangled atomic states. From this table we can see that, if we have non-number-

resolved photodetectors, and we condition on the detection of four photons in 4 different detectors, the probability of generating entanglement between four atoms is proportional to ( 7 / 32 ) η 4 . If number-resolved detectors are available, and we admit any combination of detections, the probability increases to to ( 7 / 8 ) η 4 .

This particular implementation of quarter exhibit Hong-Ou-Mandel suppression of the following detection combinations:

b 3 h1 b h2

b 3 h1 b h3

b 3 h1 b h4

b 2 h1 b h2 b h3

b 2 h1 b h2 b h4

b 2 h1 b h3 b h4

b h1 b 3 h2

b h1 b 2 h2 b h3

b h1 b 2 h2 b h4

b h1 b h2 b 2 h3

b h1 b h2 b 2 h4

b h1 b h2 b v1 b v3

b h1 b h2 b v1 b v4

b h1 b h2 b v2 b v3

b h1 b h2 b v2 b v4

b h1 b 3 h3

b h1 b 2 h3 b h4

b h1 b h3 b 2 h4

b h1 b h3 b v1 b v2

b h1 b h3 b v1 b v4

b h1 b h3 b v2 b v3

b h1 b h3 b v3 b v4

b h1 b 3 h4

b h1 b h4 b v1 b v2

b h1 b h4 b v1 b v3

b h1 b h4 b v2 b v4

b h1 b h4 b v3 b v4

b 3 h2 b h3

b 3 b h2 h4

b 2 h2 b h3 b h4

b h2 b 3 h3

b h2 b 2 h3 b h4

b h2 b h3 b 2 h4

b h2 b h3 b v1 b v2

b h2 b h3 b v1 b v3

b h2 b h3 b v2 b v4

b h2 b h3 b v3 b v4

b h2 b 3 h4

b h2 b h4 b v1 b v2

b h2 b h4 b v1 b v4

b h2 b h4 b v2 b v3

b h2 b h4 b v3 b v4

b 3 h3 b h4

b h3 b 3 h4

b h3 b h4 b v1 b v3

b h3 b h4 b v1 b v4

b h3 b h4 b v2 b v3

b h3 b h4 b v2 b v4

b 3 v1 b v2

b 3 v1 b v3

b 3 v1 b v4

b 2 v1 b v2 b v3

b 2 v1 b v2 b v4

b 2 v1 b v3 b v4

b v1 b 3 v2

b v1 b 2 v2 b v3

b v1 b 2 v2 b v4

b v1 b v2 b 2 v3

b v1 b v2 b 2 v4

b v1 b 3 v3

b v1 b 2 v3 b v4

b v1 b v3 b 2 v4

b v1 b 3 v4

b 3 v2 b v3

b 3 v2 b v4

b 2 v2 b v3 b v4

b v2 b 3 v3

b v2 b 2 v3 b v4

b v2 b v3 b 2 v4

b v2 b 3 v4

b 3 v3 b v4

b v3 b 3 v4

Appendix C: Entanglement swapping using a tritter

The same treatment can be applied for the case of 3-atom entanglement swapping using polarisation encoded photons. In this case the transformation between input modes a and output modes b of the tritter is given by

$$\left ( \begin{array} { c } b _ { \{ h, v \} 1 } ^ { \dagger } \\ b _ { \{ h, v \} 2 } ^ { \dagger } \\ b _ { \{ h, v \} 3 }$$

The unitary transformation of the titter (see Fig. 10) is given by

$$T = \left ( \begin{array} { c c c } 1 & 0 & 0 \\ 0 & \frac { 1 } { \sqrt { 2 } } & \frac { i } { \sqrt { 2 } } \\ 0 & \frac { i } { \sq$$

with the inverse matrix given by

$$\ x \text{ given by } & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &$$

Following the same procedure as before, if we just consider the initial state to be

$$\bigotimes _ { n = 1 } ^ { 3 } \frac { 1 } { \sqrt { 2 } } \left ( \left | 0 \right \rangle _ { A _ { n } } \left | 0 \right \rangle _ { P _ { n } } + \left | 1 \right \rangle _ { A _ { n } } \left | 1 \right \rangle _ { P _ { n } } \right ),$$

and allow for, at most, one click per detector, the possible detection patterns are

| Detection Pattern   | State                                        | Probability   |
|---------------------|----------------------------------------------|---------------|
| b h1 b h2 b h3      | i | 000 ⟩                                    | 1 24          |
| b h1 b h2 b v1      | 2 √ 3 | 001 ⟩- ( √ 3 - 3 i ) | 010 ⟩ 2 √ 6   | 1 108         |
| b h1 b h2 b v2      | 2 √ 3 | 001 ⟩- ( √ 3 + 3 i ) | 010 ⟩ 2 √ 6   | 1 108         |
| b h1 b h2 b v3      | i ( | 001 ⟩ + | 010 ⟩ ) √ 2                  | 1 108         |
| b h1 b h3 b v1      | 2 i √ 3 | 001 ⟩ +( 3 - i √ 3 ) | 010 ⟩ 2 √ 6 | 1 108         |
| b h1 b h3 b v2      | i ( | 001 ⟩ + | 010 ⟩ ) √ 2                  | 1 108         |
| b h1 b h3 b v3      | - 2 √ 3 | 001 ⟩ +( √ 3 - 3 i ) | 010 ⟩ √     | 1             |
|                     | 2 6                                          |               |

108

FIG. 10. Input and output for a tritter.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-2f54b3c9-3714-4929-b345-9f15504b3a92.jpg)

| b h1 b v1 b v2   | - ( 3 + 3 i ) | 011 ⟩- ( 3 - 3 i ) | 101 ⟩ + 4 3 | 110 ⟩ 4 √ 3         | 1 54    |
|------------------|------------------------------------------------------------------------|---------|
| b h1 b v1 b v3   | ( - 3 - i √ 3 ) | 011 ⟩ +( 3 - i √ 3 ) | 101 ⟩ + 4 i √ 3 | 110 ⟩ 4 √ 3 | 1 54    |
| b h1 b v2 b v3   | 1 2 i ( | 011 ⟩ + | 101 ⟩ + 2 | 110 ⟩ )                                | 1 54    |
| b h2 b h3 b v1   | i ( | 001 ⟩ + | 010 ⟩ ) √ 2 √                                          | 1 108   |
| b h2 b h3 b v2   | 2 i | 001 ⟩- ( 3 + i ) | 010 ⟩ 2 √ 2                                   | 1 108   |
| b h2 b h3 b v3   | - 2 | 001 ⟩ +( 1 + i √ 3 ) | 010 ⟩ 2 √ 2                               | 1 108   |
| b h2 b v1 b v2   | - ( 3 - 3 i ) | 011 ⟩- ( 3 + 3 i ) | 101 ⟩ + 4 3 | 110 ⟩ 4 √ 3         | 1 54    |
| b h2 b v1 b v3   | 1 2 i ( | 011 ⟩ + | 101 ⟩ + 2 | 110 ⟩ )                                | 1       |
| b h2 b v2 b v3   | 1 4 (( √ 3 - i ) | 011 ⟩ - ( √ 3 + i ) | 101 ⟩ + 4 i | 110 ⟩ )         | 54 1 54 |
| b h3 b v1 b v2   | 1 2 i ( | 011 ⟩ + | 101 ⟩ + 2 | 110 ⟩ ) √ √ √                          | 1 54    |
| b h3 b v1 b v3   | ( 3 + 3 i ) | 011 ⟩ +( 3 - 3 i ) | 101 ⟩- 4 3 | 110 ⟩ 4 √ 3            | 1 54    |
| b h3 b v2 b      | (( 1 - i √ 3 ) | 011 ⟩ + ( 1 + i √ 3 ) | 101 ⟩ - 4 |                   | 1       |
| v3               | 110 ⟩ )                                                                | 54      |
| b b b            |                                                                        | 1       |
| v1 v2 v3         | i | 111 ⟩                                                              | 24      |

If two clicks per detector are allowed, then the possible detection combinations are

| Detection Pattern   | State                                                                | Probability   |
|---------------------|----------------------------------------------------------------------|---------------|
| b 2 h1 b v1         | - | 001 ⟩ + | 010 ⟩ √ 2                                              | 1 54          |
| b 2 h1 b v2         | - 2 √ 3 | 001 ⟩ +( √ 3 - 3 i ) | 010 ⟩ 2 √ 6                         | 1 54          |
| b 2 h1 b v3         | i ( √ 3 + 3 i ) | 010 ⟩- 2 i √ 3 | 001 ⟩ 2 √ 6                       | 1 54          |
| b h1 b 2 v1         | 1 2 ( -| 011 ⟩ -| 101 ⟩ - 2 | 110 ⟩ )                                | 1 27          |
| b h1 b 2 v2         | ( √ 3 - 3 i ) | 011 ⟩ +( √ 3 + 3 i ) | 101 ⟩- 4 √ 3 | 110 ⟩ 4 √ 3    | 1 27          |
| b h1 b 2 v3         | - ( √ 3 + 3 i ) | 011 ⟩- ( √ 3 - 3 i ) | 101 ⟩ + 4 √ 3 | 110 ⟩ 4 √ 3 | 1 27 1        |
| b 2 h2 b v1         | - 2 √ 3 | 001 ⟩ +( √ 3 + 3 i ) | 010 ⟩ 2 √ 6                         | 54            |
| b 2 h2 b v2         | - | 001 ⟩ + | 010 ⟩ √ 2 √                                            | 1 54          |
| b 2 h2 b v3         | ( 3 + i ) | 010 ⟩- 2 i | 001 ⟩ 2 √ 2                                 | 1 54          |
| b h2 b 2 v1         | ( √ 3 + 3 i ) | 011 ⟩ +( √ 3 - 3 i ) | 101 ⟩- 4 √ 3 | 110 ⟩ 4 √ 3    | 1 27          |
| b h2 b 2 v2         | 1 2 ( -| 011 ⟩ -| 101 ⟩ - 2 | 110 ⟩ )                                | 1 27          |
| b h2 b 2 v3         | ( i ( √ 3 + i ) | 011 ⟩ + ( - 1 - i √ 3 ) | 101 ⟩ + 4 | 110 ⟩        | 1             |
|                     | 1 4 )                                                                | 27            |

$$b _ { \hbar { 3 } } ^ { 2 } b _ { \nu 1 } \quad \frac { 4 \sqrt { 3 } | 0 0 1 \rangle - 2 ( \sqrt { 3 } - 3 i ) | 0 0 1 ) } { 4 \sqrt { 6 } } \quad \frac { 1 } { 5 4 } \\ b _ { \hbar { 3 } } ^ { 2 } b _ { \nu 2 } \quad \frac { 2 | 0 0 1 \rangle + ( - 1 - i \sqrt { 3 } ) | 0 0 1 ) } { 2 \sqrt { 2 } } \quad \frac { 1 } { 5 4 } \\ b _ { \hbar { 3 } } ^ { 2 } b _ { \nu 3 } \quad \frac { i ( | 0 0 1 \rangle + | 0 0 1 \rangle ) } { \sqrt { 2 } } \quad \frac { 1 } { 5 4 } \\ b _ { \hbar { 3 } } b _ { \nu 1 } ^ { 2 } \quad \frac { ( 3 + i \sqrt { 3 } ) | 0 1 1 \rangle - i ( 4 \sqrt { 3 } | 1 0 1 ) - ( \sqrt { 3 } + 3 i ) | 1 0 1 ) } { 4 \sqrt { 3 } } \quad \frac { 1 } { 2 7 } \\ b _ { \hbar { 3 } } b _ { \nu 2 } ^ { 2 } \quad \frac { 1 } { 4 } \left ( - \left ( \sqrt { 3 } - i \right ) | 0 1 1 \rangle + ( \sqrt { 3 } + i \right ) | 1 0 1 \rangle - 4 i | 1 0 1 \rangle \right ) \quad \frac { 1 } { 2 7 } \\ b _ { \hbar { 3 } } b _ { \nu 3 } ^ { 2 } \quad \frac { 1 } { 2 } i ( | 0 1 1 \rangle + | 1 0 1 \rangle + 2 | 1 1 0 \rangle ) \quad \frac { 1 } { 2 7 } \\ \text{low for three clicks in the same detector}$$

And finally, if we allow for three clicks in the same detector

$$\text{lks in the same detector} \quad \begin{array} { c c c c } \text{Detection Pattern} & \text{State Probability} \\ b _ { h 1 } ^ { 3 } & - |000 \rangle & \frac { 1 } { 3 6 } \\ b _ { h 2 } ^ { 3 } & - |000 \rangle & \frac { 1 } { 3 6 } \\ b _ { h 3 } ^ { 3 } & i |000 \rangle & \frac { 1 } { 3 6 } \\ b _ { v 1 } ^ { 3 } & - |111 \rangle & \frac { 1 } { 3 6 } \\ b _ { v 2 } ^ { 3 } & - |111 \rangle & \frac { 1 } { 3 6 } \\ b _ { v 3 } ^ { 3 } & i |111 \rangle & \frac { 1 } { 3 6 } \end{array} \quad \begin{array} { c } \text{Identation Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detector Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detected Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{DetECTION Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detention Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detsection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Det description} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Target} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{DetectionPattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Patterns} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detectionpattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Term} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Format} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Partner} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Returns} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Platform} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Framework} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection Pattern} & \text{Detection$$

The probability of generating entanglement between three atoms when only non-number-resolved detectors are available is proportional to ( 1 / 4 ) η 3 . When number-resolved detectors are available, this probability goes up to ( 3 / 4 ) η 3 . The following detection patterns are Hong-Ou-Mandel suppressed b 2 h1 b h2

b 2 h1 b h3

b h1 b 2 h2

b h1 b 2 h3

b 2 h2 b h3

b h2 b 2 h3

b 2 v1 b v2

b 2 v1 b v3

b v1 b 2 v2

b v1 b 2 v3

b 2 v2 b v3

b v2 b 2 v3

Appendix D: n -ton Symmetric Multiport

Figure 11 shows how to construct an n -ton symmetric multiport for n = 2 . d Such a multiport can be used to entangle up to n = 2 d nodes, including any subnetwork composed of m = 2, 3, 4, ..., n -1 nodes, using either the entanglement-swapping scheme or the WPE scheme. The number of 50:50 beam splitters that each photon crosses is d . Although the complexity of

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-f54b2f27-bba2-46c5-b06f-11ae7ae3d180.jpg)

4-node interferometer r

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-1885f5be-7e66-4ea2-8abe-a956638350c2.jpg)

8-node interferometer r

16-node interferometer r

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-2144801a-9f76-46eb-addf-6dfdf4f01400.jpg)

FIG. 11. 2 d -to-2 d multiport interferometer for n = 2 4 8 , , , and 16.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-012d4c66-7c37-4011-bf47-33dfc83f7e38.jpg)

the interferometer increases with the number of input and output ports, when using the entanglement-swapping approach, a photon never interferes with itself, thereby maintaining the resilience of the scheme to path-length fluctuations. These kinds of interferometers can be built using bulk optics, although alignment and robustness are challenging. Fibre-based networks and photonic integrated circuits (PICs) are therefore more suitable.

When using PICs and photon-polarisation encoding, a technical challenge encountered is the difficulty in building polarisation-preserving waveguides for two orthogonal polarisations, as well as polarisation-agnostic beam splitters. This can be overcome by separating the two incoming photon polarisations into two separate interferometers, one for H-polarisation and another for V-polarisation, as illustrated in Fig. 12 for the case of a 2-to-2 interferometer. This scheme still works because H and V photons never interfere anyway. Entanglement is heralded by the detection, in coincidence, of one H-photon and one V-photon in any of the outputs. The probability of entanglement generation is the same as using the standard setup (Fig. 5a), i.e., ∝ 1 2 η 2 . The main difference is that now the phase of the created state is sensitive to the H and V path differences. Depending on

FIG. 12. 2-to-2 interferometer with separated polarisations. The H and V polarisation components of the photon are separated and sent to two independent interferometers.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00149v1-figure-03ff6b46-055c-4747-9233-ebbebd6bce24.jpg)

which detectors click, we create either

$$\frac { 1 } { 2 } ( | 0 1 ) \pm e ^ { i \phi } \, | 1 0 \rangle ),$$

with φ = 2 π [( β H -β V ) -( α H -α V )] / λ , where α H V , and β H V , are the path lengths of the interferometers as illustrated in Fig. 12, and λ is the wavelength of the photons. Using temperature-stabilised PICs, achieving the required phase stability is not an issue, making this a viable option. The concept can be extended to any Bell state analyser, for any number of nodes, where the two polarisation modes can be separated into two different interferometers.
E. M. Ainley A. Agrawal D. Main P. Drmota D. P. Nadlinger B. C. Nichol R. Srinivas G. Araneda
Multipartite Entanglement for Multi-node Quantum Networks
Scaling the number of entangled nodes in a quantum network is a challenge
with significant implications for quantum computing, clock synchronisation,
secure communications, and quantum sensing. In a quantum network, photons
interact with matter qubits at different nodes, flexibly enabling the creation
of remote entanglement between them. Multipartite entanglement among multiple
nodes will be crucial for many proposed quantum network applications, including
quantum computational tasks and quantum metrology. To date, experimental
efforts have primarily focused on generating bipartite entanglement between
nodes, which is widely regarded as the fundamental quantum resource for quantum
networks. However, relying exclusively on bipartite entanglement to form more
complex multipartite entanglement introduces several challenges. These include
the need for ancillary qubits, extensive local entangling operations which
increases the preparation latency, and increasingly stringent requirements on
coherence times as the number of nodes grows. Here, we analyse various schemes
that achieve multipartite entanglement between nodes in a single step,
bypassing the need for multiple rounds of bipartite entanglement. We
demonstrate that different schemes can produce distinct multipartite entangled
states, with varying fidelity and generation rates. Additionally, we discuss
the applicability of these schemes across different experimental platforms,
highlighting their primary advantages and disadvantages.