Abstract
Network coding is an effective means to enhance the communication efficiency. The characterization of network solvability is one of the most important topic in this field. However, for general network, the solvability conditions are still a challenge. In this paper, we consider the solvability of general quantum k-pair network in measurement-based framework. For the first time, a detailed account of measurement-based quantum network coding(MB-QNC) is specified systematically. Differing from existing coding schemes, single qubit measurements on a pre-shared graph state are the only allowed coding operations. Since no control operations are concluded, it makes MB-QNC schemes more feasible. Further, the sufficient conditions formulating by eigenvalue equations and stabilizer matrix are presented, which build an unambiguous relation among the solvability and the general network. And this result can also analyze the feasibility of sharing k EPR pairs task in large-scale networks. Finally, in the presence of noise, we analyze the advantage of MB-QNC in contrast to gate-based way. By an instance network \({G}_{k}\), we show that MB-QNC allows higher error thresholds. Specially, for X error, the error threshold is about 30% higher than 10% in gate-based way. In addition, the specific expressions of fidelity subject to some constraint conditions are given.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Introduction
Quantum communication has become one of the most potential applications in quantum information since Bennet and Brassard have proposed a famous quantum key distribution (QKD) scheme in 19841. Recently, point-to-point quantum communication is extending to quantum network2,3 where nodes with quantum storage and processing power are connected by quantum channels to meet the demands with high capacity(the amount of messages transmitted per network use), long distance and networking. Quantum components, like QKD whose original idea is to create a string of random private key between two distant parties securely, have been even realized in network4,5. Quantum secure direct communication(QSDC)6 in which secure message can be sent through quantum channel directly and need not to pre-share a private key are also generalized to accomplish the task in multi-parties7,8. This trend is also pushing other branches forward, such as quantum secret sharing(QSS)9,10, quantum teleportation(QT)11,12,13, quantum dense coding14,15 and other sub-branches based on them16,17,18,19,20,21. In this context, because of the complexity of network structure, a difficult problem is how to efficiently transmit quantum information against channel or local nodes errors such as the bottleneck problem caused by links collision. Or we can conclude this problem as the network “solvability” for a given communication task usually with capacity constraints.
Network coding22,23 refers to perform coding operations (consist of the combination operations such as exclusive-or operation and replicate of the received classical bits) on intermediate nodes to achieve higher capacity, load balancing and lower computation complexity. As an underlying tool, it is proved to be an effective means for communication efficiency in all kinds of practical applications24,25,26,27. Note that, here, we call network coding especially for the set up transmitting classical bits as classical network coding(CNC). Zhou designed an efficiency and accuracy near-duplicate elimination approach for visual sensor networks24. A fast motion estimation method is proposed to reduce the encoding complexity to 20% time saving25. For reducing the computational complexity, a content similarity based fast reference frame selection algorithm is also proposed26. And some optimal cluster-based mechanisms are proved to be efficient for load balancing with multiple mobile sinks for these problems27.
For the theoretical researches, many good results have been made. A simple and outstanding example is butterfly network (a typical 2-pair network) as shown in Fig. 1 in which two bits can be transmitted simultaneously from \({v}_{1}\) to \({v}_{6}\) and \({v}_{2}\) to \({v}_{5}\) via exclusive-or operation on \({C}_{1}\), \({T}_{1}\) and \({T}_{2}\). This capacity is generally not accomplished because of the capacity constraints in common channels \(({C}_{1},{C}_{2})\). A network is solvable if there exists a network coding scheme (a choice of coding operations, also called solution)such that a given communication task is achievable. The solvability consider the question whether a given network is solvable for specific communication task with network coding. And two kinds network coding problems are mainly concerned: multicast problem22 and multi-unicast problem (k-pair problem)23. In its first stage, multicast problem where all messages of the only source are needed by all sinks attracted wide attentions and effective solutions have been obtained by the min-cut/max-flow condition22 and linear coding operations28. The k-pair problem is another important branch in network coding where the message of each source is only needed by its corresponding sink. The solvability is more complicated than multicast network problem. Researchers attempt to either design constructive coding schemes or present the necessary and/or sufficient conditions29,30 for some specific networks. However, for more general k-pair network, it is still an open challenge.
In this paper, our work is closest in spirit to these papers. Specifically, we also examine the solvability of general k-pair network. However, they are some essential differences in the problem setting which give rise to a new field–Quantum network coding(QNC). A typical difference is cloning. Classical bits can be accurately copied arbitrarily but it is not possible exactly for quantum bits because of quantum no cloning theorem31. In addition, different from classical butterfly network, it has proved that two qubits perfect transmission is not possible without any assistant resource for quantum butterfly network32,33. Consequently, QNC is not a simple repetition of CNC, but an important subject need to further study.
The study on the solvability of quantum k-pair network got going in 200632. Hayashi et al. firstly shown the butterfly network is solvable with fidelity strictly greater than 0.5. To analyze the solvability of specific network and to design constructive schemes with lower communication cost are still two major issues34. It is well known that the network solvability is closely related to its topology structure, and for general k-pair network, its determinant is still a challenge. Related to these studies, entanglement33,35,36,37,38,39 is introduced to explore this problem. Kobayashi et al.35,36 presented the sufficient condition for a class of k-pair network in gate-based framework. We call network coding as Gate-based QNC (GB-QNC) where the coding operations consisting of projective measurements and coherent control gates are performed node-by-node by simulating the coding scheme solving the classical problem. It is also proved to be effective in entanglement distribution40,41. In fact, The essence of its encoding process is to create entanglement. Therefore, there is no obvious boundaries between the entanglement creation and its use as a resource making the relationship between the solvability and network structure misty. It is worth mentioning that, Beaudrap42 demonstrated that GB-QNC35,36 is in fact a special case of measurement-based procedure43. In MB-QNC, coding operation consists of local (projective) measurements on a highly entangled resource graph state which are responsible for the transmission of quantum bits. In this sense, it also offers a potential experimental advantage since no coherent operations are concluded. MB-QNC which can systematize the coding operations is a desirable way to design efficient communication schemes. The solvability of some special networks in Measurement-based have been examined39. However, no solvability conditions are presented yet for general k-pair network.
One contribution of this paper is to present sufficient conditions for the solvability with MB-QNC for the first time. To start with the correlation between network structures and graph states, the general process of MB-QNC is systematically specified. In contrast to the standard GB-QNC, no entanglement is created during the computation, we thus have a clear distinction between the entanglement creation and its use as a resource. Secondly, by reducing k-pair task to a specific clifford group operation, we build an unambiguous functional relationship between the solvability and the network structure with 2k eigenvalue equations. Further, for the question how to construct coding scheme? We present another sufficient condition given by the stabilizer matrix. This conclusion can also analyze the feasibility in the communication task to sharing k EPR pairs over arbitrary networks.
The works above are mainly focused on the noiseless resource states and the perfect quantum operations. In 2016, Satoh44 find that GB-QNC is more sensitive to noises especially on control operations. Specially, for pauli X and Z error, they prove that final fidelity would drop below 0.5 if the initial resource error is 10%. Motivated by these works, the performance of QNC in presence of noise is another concern in this paper. A second contribution of this paper is that we show the performance advantage of MB-QNC compared with GB-QNC. We will use a heuristic local Pauli-diagonal-noise channels to describe both errors. Since fidelity is usually difficult to calculate for complex network, we will work in stabilizer basis representation of mixed graph states by which the evolution of graph states can be easily tracked and just keeps them in diagonal form. Further, we present a set of constraint conditions to obtain more simpler expressions for fidelity in noisy resource error, noisy measurement error and both of them cases respectively. The property that multiple noises on the same qubit are equal to its the linear superposition makes us summarize all noises effects on resource state noise only. Finally, we apply above results to an instance butterfly network, showing that MB-QNC allows higher error threshold compared with the GB-QNC.
Results
Network Setting
The basic set up of a k-pair network is as follows. Specially, a general k-pair network here refers to a finite, directed and acyclic graph \({G}_{RK}=(V,E)\), where \(V\) is the set of nodes or vertices, and \(E\) is the set of edges, whose elements are pairs of nodes that are adjacent. The set of its k source nodes is \(In({G}_{RK})=\{{v}_{1},\cdots ,{v}_{k}\}\), k sink nodes is \(O({G}_{RK})=\{{v}_{k+n+1},\cdots ,{v}_{2k+n}\}\) and arbitrary \(n\) intermediate nodes is \(M({G}_{RK})=\{{v}_{k+1},\cdots ,{v}_{k+n}\}\). The quantum operations on each node are defined by any trace-preserving completely positive(CP-TP) map. The goal in any given k-pair network is to communicate k independent messages simultaneously from each source to its corresponding sink. Clearly, this task depends on the particular properties of the network and it might or might not be possible to achieve for the given G, S, and T. We shall be concerned with cases where the actual network topology given by G does not allow disjoint paths between the qubits in S and the qubits in T, but we nevertheless want to achieve perfect state transfer. Let \( {\mathcal H} ={C}^{2}\) be a Hilbert space where C is complex field, we say \({G}_{RK}\) is quantum solvable with fidelity \(F\) if there is choice of quantum operations(QNC scheme) over all nodes allowing us to send a quantum state \(|{\psi }_{1}\rangle \otimes \cdots \otimes |{\psi }_{k}\rangle \in { {\mathcal H} }^{\otimes k}\) supported on the source nodes to the sink nodes with fidelity at least F. In particular, when F = 1, it is simply called (perfect) solvable. Here we consider MB-QNC local projective measurements on a highly entangled resource graph state associated to the network are responsible for the transmission of quantum bits.
Among all research hotspots in k-pair network, Butterfly network and G k network keep appearing in a high frequency, as denote in Figs 1 and 2.
Graph state and its properties
Now, we review the concept of graph state, describe some of its properties, and fix the notation. It is sufficient to describe graph states with undirected finite graphs since the interaction of pairs of qubits are not necessarily bound up with the direction of edges. A undirected finite graph \(G=\{V(G),E(G)\}\) is an ordered pair of sets: the set \(V(G)\) of nodes or vertices, and the set \(E(G)\) of edges, whose elements are pairs of nodes that are adjacent. In the following, we will mainly consider simple graph which contains neither loops (edges connecting nodes with itself) nor multiple edges between the same vertices. The set of nodes adjacent with \({v}_{i}\) is denoted by \(N({v}_{i})=\{{v}_{j}:({v}_{i},{v}_{j})\in E(G)\}\), simply by \(N({v}_{i})\), the set of other nodes \(O({v}_{i})=V(G)-\{{v}_{i}\}\cup N({v}_{i})\) is simply denoted by \(O({v}_{i})\) and the degree \(|N({v}_{i})|\) is the number of nodes in \(N({v}_{i})\). The adjacency relation gives rise to an adjacency matrix \(\Lambda =({\lambda }_{ij})\), where \({\lambda }_{ij}=1\), if \({v}_{j}\in N({v}_{i})\), otherwise \({\lambda }_{ij}=0\). The adjacency relation of node \({v}_{i}\) can be represent by adjacency vector \({{\boldsymbol{v}}}_{i}\).
A graph state45 \(|G\rangle \) is a quantum state associated with a graph G, where vertices correspond to qubits and edges to interactions. A common description of graph states by stabilizer formalism is described as follows. For a graph G, there are \(n=|V(G)|\) stabilizer operators (one for each vertex \({v}_{i}\)) defined as
where X, Y, Z are the Pauli operators. A pure graph state \(|{G}_{{\boldsymbol{u}}}\rangle \), \({\boldsymbol{u}}=({u}_{1},\cdots ,{u}_{n})\in {\mathrm{\{0,}\mathrm{1\}}}^{n}\), is a common eigenstate of all stabilizer operators with
here \({u}_{i}\) is the ith component of u corresponding to \({v}_{i}\), \(\{|{G}_{{\boldsymbol{u}}}\rangle {\}}_{{\boldsymbol{u}}}\) forms a basis we call graph state basis. Graph state \(|G\rangle \) is uniquely stabilized by \({\mathcal{K}}=\langle {\{{K}_{{v}_{i}}\}}_{{v}_{i}\in V(G)}\rangle \), namely, \({\mathcal{K}}\) is the stabilizer of \(|G\rangle \), \(\{{K}_{{v}_{i}}\}\) is the set of generators (that is, each element in \({\mathcal{K}}\) can be represented in this set). We say \({v}_{i}\) is the correlation center on which we perform X operation and its neighbor nodes perform Z operation.
An alternative description45 is by means of the interaction picture, where \(|{G}_{{\boldsymbol{u}}}\rangle \) is created by preparing all qubits in the state \(|{+}_{{\boldsymbol{u}}}\rangle =|{+}_{{u}_{1}}\rangle \otimes \cdots \otimes |{+}_{{u}_{n}}\rangle \) where \(|{+}_{u}\rangle =\{\begin{array}{ll}|+\rangle =\frac{\mathrm{|0}\rangle +\mathrm{|1}\rangle }{\sqrt{2}}, & \,{u}=\mathrm{0;}\,\\ |-\rangle =\frac{\mathrm{|0}\rangle -\mathrm{|1}\rangle }{\sqrt{2}}, & \,{u}=1.\,\end{array}\) And then applying a control operator \(C{Z}_{({v}_{i},{v}_{j})}={\prod }_{a\in {Z}_{2}}|a\rangle \langle a{|}_{{v}_{i}}\otimes {Z}_{{v}_{j}}^{a}\) for each edge \(({v}_{i},{v}_{j})\), where \({v}_{i}\) is the control qubit and \({v}_{j}\) is the target qubit, that is
Through this paper, we will use both these two descriptions alternatively.
In our following schemes, keeping track of the evolution of graph state is crucial to calculate the final fidelity. Here, we will give this evolution of pure graph state under pauli operators by adjacency matrix \({\rm{\Lambda }}\). For any graph state \(|{G}_{{\boldsymbol{u}}}\rangle =|{G}_{{u}_{i}{{\boldsymbol{u}}}_{{N}_{i}}{{\boldsymbol{u}}}_{{O}_{i}}}\rangle \), where \({{\boldsymbol{u}}}_{{{N}}_{{i}}}\) and \({{\boldsymbol{u}}}_{{{o}}_{{i}}}\) denote the components of \({\boldsymbol{u}}\) corresponding to nodes in \({N}_{i}\) and \({O}_{i}\), where i is a natural number, respectively. One can verify the following equations. For the case of single qubit pauli operations on the ith node \({v}_{i}\), it satisfies46 that
where \({\bar{u}}_{i}\) denotes the bitwise complement with \(\bar{0}=1\), \(\bar{1}=0\), \({\bar{{\boldsymbol{u}}}}_{N({v}_{i})}=\{{\bar{u}}_{{i}_{1}},\cdots ,{\bar{u}}_{{i}_{q}}\}\) and \(\iota \) is the imaginary unit. By extending above properties to the case of multiple particles, we obtain that
where \({\boldsymbol{e}}=({e}_{1},\cdots ,{e}_{n})\), \({\boldsymbol{f}}=({f}_{1},\cdots ,{f}_{n})\in {\{\mathrm{0,}\mathrm{1\}}}^{n}\). Here \({Z}_{\mathrm{1,}\cdots ,n}^{{\boldsymbol{e}}}={{\rm{\Pi }}}_{i\mathrm{=1}}^{n}{Z}_{i}^{{e}_{i}}\) and likewise for \({X}_{\mathrm{1,}\cdots ,n}^{{\boldsymbol{e}}}\), \({Y}_{\mathrm{1,}\cdots ,n}^{{\boldsymbol{e}}}\). Eq. (7) follows immediately from Eqs (4) and (8) can be verified by direct calculation with \({\rm{\Lambda }}=({\lambda }_{ij})\). Finally, Eqs (7) and (8) imply that
thus together with \(Y=\iota XZ\), Eq. (9) holds.
MB-QNC over noiseless quantum network
The general MB-QNC procedures
Here, the general process of MB-QNC is systematically specified. In contrast to the standard GB-QNC, no entanglement is created during the computation, we thus have a clear distinction between the entanglement creation and its use as a resource.
The MB-QNC has several important components \((G,\,In(G),\,Out(G),\,{{\mathcal{P}}}^{M})\),
-
The network graph G: the preparation of resource graph state \(|G\rangle \). The solvability are closely related to it;
-
The set of input nodes \(In(G)\) and output nodes \(Out(G)\): The holders and receivers of quantum information. By specifying them, the k-pair network problem is reduced to some quantum operations;
-
Measurement pattern \({{\mathcal{P}}}^{M}\): the MB-QNC solution, it includes measurement basis and measurement order.
The main task of MB-QNC is to design a suitable measurement pattern for a given network problem. The general steps of the MB-QNC scheme are as follows:
-
(1)
Encode information into initial graph state pre-shared among all distant nodes;
-
(2)
Apply local single qubit measurements on intermediate nodes and source nodes;
-
(3)
Send the measurement results to output nodes and apply local Pauli operations to correct phases.
A specific \({G}_{k}\) network for k = 2 and k = 4 have been examined in measurement-based way39. And for general k-pair network, exact conditions should be developed in measurement-based framework. In following, we will give the sufficient conditions.
The sufficient conditions for solvability of general k-pair networks
For quantum k-pair problem, all source-sink pairs wish to communicate simultaneously in network with common channel. This task would equivalent to a specific unitary operation–k qubits permutation \({U}_{\tau }\), where \(\tau \) is a bijective with \(\tau :i\mapsto \tau (i)\), \(\forall i\in \mathrm{\{1,}\,\cdots ,\,k\}\). \(|{\psi }_{\mathrm{1,}\cdots ,k}\rangle \) is any k qubits state held by source nodes and output by source nodes, we have
Raussendorf et al.43 shows the conditions for simulating any unitary operations successfully in measurement-based way. We generalize this conclusion to quantum k-pair problem.
Since the permutation operation mapped pauli operators onto pauli operators under conjugation, that is,
Therefore \({U}_{\tau }\) is Clifford group operations defined as the operations map Pauli group operators to itself under conjugation. Browne et al.45 shows that all Clifford group operations can be implemented by measurement pattern with Pauli measurements alone which are parallelized in chronological order. This makes the solvability can be examined in relatively simple measurement pattern–Pauli measurement. Let
denotes the pauli measurement on vertex \({v}_{i}\), where \(a,b\in \mathrm{\{0,}\,\mathrm{1\}}\). Specifically, \({P}_{{X}^{a}{Z}^{b}}^{{m}_{i}}\) denotes \(X\)-basis measurement if \((a,\,b)=\mathrm{(1,}\,\mathrm{0)}\); \(Y\)-basis measurement if \((a,b)=\mathrm{(1,}\,\mathrm{1)}\); Z-basis measurement if \((a,\,b)=\mathrm{(0,}\,\mathrm{1)}\), and \({m}_{i}=\mathrm{\{0,}\,\mathrm{1\}}\) labels the measurement outcome \(\{+\mathrm{1,}-\mathrm{1\}}\), respectively. Consequently, a deduced result would be obtained.
Theorem 1. Let \({G}_{RK}\) be a \(k\)-pair network graph with
and \(|{G}_{RK}\rangle \) is a corresponding graph state. Suppose there exists a pauli measurement pattern \({{\mathcal{P}}}^{M}\) on intermediate nodes \(M({G}_{RK})\) such that \(|\hat{{G}_{RK}}\rangle ={{\mathcal{P}}}^{M}|{G}_{RK}\rangle \) obeys the \(2k\) eigenvalue equations
where \({v}_{i}\in In({G}_{RK})\), \({\lambda }_{z,i},{\lambda }_{x,i}\in \mathrm{\{0,}\,\mathrm{1\}}\) are the function of measurement outcomes. Then \(k\)-pair network is solvable up to some local Pauli operators with the measurement pattern on \(M({G}_{RK})\) and \(In({G}_{RK})\) described by \({{\mathcal{P}}}^{M}\) and X-basis measurements respectively,
With the correlation between quantum k-pair networks and a highly entangled graph states, by reducing k-pair task to a specific clifford group operation, the sufficient conditions is constructed with 2k eigenvalue Equations (15) and (16), building an unambiguous functional relationship between the solvability and the network structure.
However, how should we design proper measurement pattern meeting these eigenvalue equations and what conditions the measurement pattern should exactly satisfies? From this point, another sufficient condition is given by the stabilizer matrix and adjacency matrix.
Note that by selecting a range of correlation centers denoted by \({{\boldsymbol{a}}}_{i}=({a}_{i1},\cdots ,{a}_{i\mathrm{,2}k+n})\in {\mathrm{\{0,}\mathrm{1\}}}^{2k+n}\), we can construct \(2k\) stabilizer equations. Thus the product of these stabilizer generators are represented by
with \({{\boldsymbol{K}}}_{{{\boldsymbol{a}}}_{i}}|{G}_{RK}\rangle =|{G}_{RK}\rangle \), where \(i\in \{1,\cdots ,\,2k\}\). For all these \({{\boldsymbol{a}}}_{i}\), we call \(A=({a}_{ij})={(\begin{array}{c}{{\boldsymbol{a}}}_{1}\\ \vdots \\ {{\boldsymbol{a}}}_{2k}\end{array})}_{2k\times \mathrm{(2}k+n)}\) the stabilizer matrix. Now, we consider the solvability with this stabilizer matrix and adjacency matrix.
Corollary 2 Let graph \({G}_{RK}\) be a \(k\)-pair network with adjacency matrix \({\rm{\Lambda }}\). If stabilizer matrix \(A\) satisfies the following conditions
(1) \(A\) and \(B=A\cdot {\rm{\Lambda }}\) are the form of \((\begin{array}{lll}I & \cdots & I\\ 0 & \cdots & 0\end{array})\) and \((\begin{array}{lll}{\bf{0}} & \cdots & {\bf{0}}\\ {I} & \cdots & {I}\end{array})\), respectively, I and \({\bf{0}}\) are \(k\times k\) identity matrix and zero matrix,
(2) For any given column \(j\in \{k+1,\cdots ,\,k+n\}\) in \(A\) and \(B\), \(({a}_{ij},{b}_{ij})\ne 0\) implies \(({a}_{tj},{b}_{tj})=({a}_{ij},{b}_{ij})\) or \(({a}_{tj},{b}_{tj})=0\), \(\forall t\ne i\).
Then network \({G}_{RK}\) is solvable with MB-QNC. Further, the exact parameters \(a\) and \(b\) in each measurement basis as in Eq. (12) can be obtained from \(A\) and \(B\), respectively.
Note that Theorem 1 does not imply anything about how to construct measurement basis, but Corollary 2 does by the conditions stabilizer matrix \(A\) meet. It is helpful to propose specific network coding in measurement-based way. Note that Theorem 1 and Corollary 2 can also be used as the analysis of feasibility and the design of schemes for sharing EPR pairs \(\frac{\mathrm{(|00}\rangle +\mathrm{|11}\rangle {)}_{{v}_{i},out({v}_{i})}}{\sqrt{2}}\) simultaneously for some communication tasks only if we do not measure input qubits since it is the unique quantum state (up to a global phase) which is stabilized by these operators \({X}_{{v}_{i}}{X}_{out({v}_{i})}\) and \({Z}_{{v}_{i}}{Z}_{out({v}_{i})}\).
An instance network G k
In the following, we apply the results developed above to an instance \(k\)-pair network \({G}_{k}\) as shown in Fig. 2, in which k source-sink pairs sharing a common channel wish to communicate with each other simultaneously. Here we introduce \(k\) input nodes for quantum states to be transferred. Now, all \(3k+2\) nodes are denoted by \(V=\{{v}_{1},\cdots ,\,{v}_{k},{v}_{k+1},\cdots ,\,{v}_{2k},\,{v}_{2k+1},\,{v}_{2k+2},\,{v}_{2k+3},\cdots ,\,{v}_{3k+2}\}\) as shown in Fig. 3. In maths, all nodes in network graph \({G}_{k}\) can be divided into two disjoint parts \({V}_{C}=\{{v}_{k+1},\cdots ,{v}_{2k},{v}_{2k+2}\}\), \({V}_{T}=\{{v}_{1},\cdots ,{v}_{k},{v}_{2k+1},{v}_{2k+3},\cdots ,{v}_{3k+2}\}\). The solvability of \({G}_{k}\) network can be easily verified by Corollary 2.
The adjacency matrix \(\Lambda \) of graph \({G}_{k}\) obtained from its partition is
We find a matrix \(A\)
satisfies the conditions (1) and (2). Thus \({G}_{k}\) is solvable in MB-QNC.
In fact, by matrix \(A\), we can construct stabilizer equations
Measure the intermediate nodes in \(X\)-basis, we get classical results \({s}_{k+1},\cdots ,{s}_{2k},{s}_{2k+1},{s}_{2k+2}\). The above equations induce the following eigenvalue equations for projected state \(|{\hat{G}}_{k}\rangle \) by measurements on \({v}_{k+1},\cdots ,{v}_{k+n}\) with \({{\mathcal{P}}}^{M}=\{{P}_{{X}_{j}}{\}}_{j=k+\mathrm{1,}\cdots ,k+n}\), where \({P}_{{X}_{j}}=[\frac{I+{(-\mathrm{1)}}^{{s}_{j}}{X}_{j}}{2}]\), we have
Also with these measurement pattern, we can share \(k\) EPR pairs among the \(k\) source-sinks pairs simultaneously just leaving the input qubits unmeasured.
The performance benefits of MB-QNC over noisy k-pair network
The transmission of quantum resource states also measurement on them will reduce the performance of long-range quantum information processing schemes. Moreover, encoding on intermediate nodes even makes things worse. Satoh44 shows that Gb-QNC is more sensitive to noise errors. The performance optimization in presence of noise is another concern of QNC. In this section, we explore the benefits of MB-QNC by k-pair communication instance \({G}_{k}\) and the merit of it is shown in terms of the output fidelity.
Noise model and assumptions
We mainly consider two kinds of noise sources: noisy resource states and noisy measurement caused by the errors on channel and imperfect projective measurements. Local Pauli-diagonal-noise channels are applied to described these errors. Specially, the effect on the ath qubit according to a probability is
where \(\rho \) is the density operator, \({\boldsymbol{p}}=({p}_{e,f}{)}_{e,f\in \mathrm{\{0,1\}}}=({p}_{00},{p}_{01},{p}_{10},{p}_{11})\) is the error parameter with \(0\le {p}_{e,f}\le 1\), \(\sum {p}_{e,f}=1\). We assume that it is independent and identically distributed on each quantum systems, i.e. \({\prod }_{i\mathrm{=1}}^{n}{\varepsilon }^{({v}_{i})}({\boldsymbol{p}})|G\rangle \langle G|\). That is well justified since in large-scale network the separation among the participants is large enough so that collective effects need not be taken into account. Some special channels of this kind include the bit-flip channel (with random \(X\) noise) \({\varepsilon }_{X}^{(a)}({\boldsymbol{p}})\) with \({\boldsymbol{p}}=({p}_{00},\,\mathrm{0,}\,{p}_{10},\,\mathrm{0)}\), the phase-flip channel (with random \(Z\) noise) \({\varepsilon }_{Z}^{(a)}({\boldsymbol{p}})\) with \({\boldsymbol{p}}=({p}_{00},{p}_{01}\mathrm{,0,0)}\), the bit-phase-flip channel here we denote as \({\varepsilon }_{X-Z}^{(a)}({\boldsymbol{p}})\) with \({\boldsymbol{p}}=({p}_{00},\,\mathrm{0,}\,\mathrm{0,}\,{p}_{11})\) and the depolarizing white-noise channel \({\varepsilon }_{D}^{(a)}({\boldsymbol{p}})\) with \({\boldsymbol{p}}=({p}_{00},{p}_{01},{p}_{10},{p}_{11})\), \({p}_{01}={p}_{10}={p}_{11}=\frac{1-{p}_{00}}{3}\). In addition, it assumes that a pre-prepared graph state according to network \({G}_{k}\) is distributed through noise channel.
Channel transmission errors
Generally speaking, the output fidelity of a general \(k\)-pair network is hard to calculate. However, we will work in stabilizer basis representation of mixed graph states by which the evolution of graph states can be easily tracked and just keeps the graph state in diagonal form. Further, we present a set of constraint conditions to obtain some simpler expressions of fidelity.
The noisy evolution of graph state in stabilizer basis: Let the prepared graph state be \(|{G}_{{\bf{0}}}\rangle \). Since pauli operators map graph state basis to itself by properties (4)–(6), we consider mixed graph states diagonal in the graph state basis, \(\rho ={\sum }_{{\boldsymbol{\mu }}}{\zeta }_{{\boldsymbol{\mu }}}|{G}_{{\boldsymbol{\mu }}}\rangle \langle {G}_{{\boldsymbol{\mu }}}|\), with \({\boldsymbol{\mu }}\in {\mathrm{\{0,}\mathrm{1\}}}^{3k+2}\), \(0\,\le \,{\zeta }_{{\boldsymbol{\mu }}}\,\le \,1\) and \({\sum }_{{\boldsymbol{\mu }}}{\zeta }_{{\boldsymbol{\mu }}}=1\). We have the graph state in diagonal form47.
where the coefficient \(\langle {{\boldsymbol{K}}}_{{\boldsymbol{x}}}\rangle ={\sum }_{\mu }{(-\mathrm{1)}}^{{\boldsymbol{\mu }}\cdot {\boldsymbol{x}}}{\zeta }_{{\boldsymbol{\mu }}}\). In this form, the fidelity can be described as
Thus the final fidelity would be closely related to the change of parameter \({\boldsymbol{x}}\). Firstly, we will describe it according the noise evolution of graph state. Since local Pauli-diagonal-noise channels on each subsystem except input qubits, \({\boldsymbol{e}}=({e}_{k+1},\,\cdots ,\,{e}_{2k},\,{e}_{2k+2},\,{0}_{1},\,\cdots ,\,{0}_{k},\,{e}_{2k+1},\,{e}_{2k+3},\,\cdots ,\,{e}_{3k+2})\in {\mathrm{\{0,}\mathrm{1\}}}^{2k+2}\) (as the set of all \({\boldsymbol{e}}\) under addition module 2 is a group which is isomorphism to \({\{\mathrm{0,}1\}}^{2k+2}\)). It denotes no errors on input qubits \({v}_{1},\cdots ,{v}_{k}\) are considered, similar to \({\boldsymbol{f}}\). Accordingly, in local Pauli-diagonal-noise channels, the state evolution maps initial graph state \(\rho =|{G}_{{\bf{0}}}\rangle \langle {G}_{{\bf{0}}}|\) to mixed graph state
where \({\hat{P}}_{{\boldsymbol{e}},{\boldsymbol{f}}}={\prod }_{j\mathrm{=1}}^{3k+2}{p}_{{e}_{j},{f}_{j}}\). According to Eqs (7–9), graph state basis \(\{|{G}_{{\boldsymbol{\mu }}}\rangle \}\) is closed under pauli operators and only subscripts are transformed. Thus we have
Here, since \({\boldsymbol{e}}\cdot {\rm{\Lambda }}+{\boldsymbol{f}}\) traverses all value of \({\mathrm{\{0},\mathrm{1\}}}^{3k+2}\), it builds a surjection between \(\{({\boldsymbol{e}},{\boldsymbol{f}})\}\) and \({\mathrm{\{0,}\mathrm{1\}}}^{3k+2}=\) \(\{{\boldsymbol{e}}\cdot {\rm{\Lambda }}+{\boldsymbol{f}}\}\). Thus we have, for each \({\boldsymbol{x}}\),
Under channel noise, the evolution of graph state which embodied in the coefficient of each stabilizer element can be described for a special error parameter as in Eq. (29).
Perfect measurement evolution in stabilizer basis
The action of Pauli measurements can also be easily described in this formalism as a transformation of the graph (up to some local unitaries) and also keep the graph state in stabilizer basis: it just multiplies each stabilizer basis by a coefficient. In terms of the stabilizer operators, the measurement of \({X}_{u}\) commutes with \({K}_{u}\), anticommutes with all \({K}_{v}\), \(u\in N(v)\). Thus
After tracing out qubit \(u\), the new stabilizer is
where the new \({\boldsymbol{K}}{\text{'}}_{{\boldsymbol{x}}}\) corresponds to a new graph \(G^{\prime} \) obtained from \(G\) by removing or transforming the neighborhood of vertex \(u\). In fact, as described in Cuquet et al.’s ref.47 measurement of \(Z\) simply disconnects the measured qubit from the rest of the graph, while \(X\) and \(Y\) transform the neighborhood of the measured qubit and then disconnect it. Here, the phase can be corrected by \({({Z}_{u})}^{m}\) since \({({Z}_{u})}^{m}{{\boldsymbol{K}}}_{{\boldsymbol{x}}}{({Z}_{u})}^{m}=(-{\mathrm{1)}}^{m\cdot {x}_{u}}{{\boldsymbol{K}}}_{{\boldsymbol{x}}}\).
By the constraint conditions \({\delta }_{\mathrm{0,}{\sum }_{v\in N(u)}{x}_{v}}\), each measurement on subsystem will remove some certain \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\) and leave the remains \({\boldsymbol{K}}{\text{'}}_{{\boldsymbol{x}}}\) combining like terms. Here, \(G^{\prime} \) is closely related the choice of neighbor node \(v\) of \(u\). Thus, by Hein et al.’s ref.48,
where for \(V^{\prime} ,V^{\prime\prime} \subset V\),\(E(V^{\prime} ,V^{\prime\prime} )=\{(v,\,w)\in E|v\in V^{\prime} ,\,w\in V^{\prime\prime} ,\,v\ne w\}\), \(\{u\}\cup \{v\}-\) \(V^{\prime} \Delta V^{\prime\prime} =V^{\prime} \cup V^{\prime\prime} -V^{\prime} \cap V^{\prime\prime} \subset V\) \(N(v)-\{u\}\cup \{others\}\). In addition, for \(u\) and \(v\), we can divide \(V\) as \(\{u\}\cup \{v\}\cup N(v)-\{u\}\cup \{others\}\) Consequently, for \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}={{\boldsymbol{K}}}_{({x}_{u},{x}_{v},{{\boldsymbol{x}}}_{N(v)-\{u\}},{{\boldsymbol{x}}}_{other})}\), \(X\)-basis measurement on \(u\) leads
Theorem 2. In network \({G}_{k}\), we denote \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\) as \({{\boldsymbol{K}}}_{({x}_{u},{x}_{v},{{\boldsymbol{x}}}_{N(v)-\{u\}},{{\boldsymbol{x}}}_{other})}\). Measurement with \(X\)-basis on \(u\) leads to a new \({\boldsymbol{K}}{\text{'}}_{{\boldsymbol{x}}}\) with
That is, subscript \({{\boldsymbol{x}}}_{v}\) is replaced by \({\sum }_{w\in N(v)}{x}_{w}\), \({x}_{u}\) is deleted and others remain unchanged.
For example, we measure node \({v}_{k+1}\) with \(X\)-basis, and \({v}_{1}\in N({v}_{k+1})=\{{v}_{1},{v}_{2k+1},{v}_{2k+4},\cdots ,{v}_{3k+2}\}\) as the selected neighbor node with \(N({v}_{1})=\{{v}_{k+1}\}\). It implies that \(E(N({v}_{k+1}),\,N({v}_{1}))\,=\,\),\(\{({v}_{1},\,{v}_{k+1}),\,({v}_{2k+1},{v}_{k+1}),\,({v}_{2k+4},\) \({v}_{k+1}),\cdots ,\,({v}_{3k+2},{v}_{k+1})\}\) \(N({v}_{k+1})\cap N({v}_{1})=0/\) and \(E(\{{v}_{k+1}\},N({v}_{1})-\{{v}_{k+1}\})=\{({v}_{1},{v}_{2k+1}),({v}_{2k+4},{v}_{1}),\cdots ,\) \(({v}_{3k+2},{v}_{1})\}\). Thus, this measurement leads a new neighborhood that build a new graph \(G^{\prime} \) as shown in Fig. 4. Each \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\) is transformed as \({\boldsymbol{K}}{\text{'}}_{{\boldsymbol{x}}}={{\boldsymbol{K}}}_{({x}_{k+1},{x}_{2},\cdots ,{x}_{k},{x}_{k+2},\cdots ,{x}_{3k+2})}.\) Here, all pauli components of the measured subsystem in \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\) are deleted. Furthermore, a constraint condition can be attained, that is \({x}_{1}+{x}_{2k+1}+{x}_{2k+4}+\cdots +{x}_{3k+2}=0\). The details about the transform of \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\) and the constraint conditions can be seen in Table 1. Finally, we get the \(k+2\) constraint conditions:
After all rounds of measurement, \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\) will be deleted as long as the conditions are not met. From the remaining, the exact fidelity associated with these constraints will be given. Denote \(\bar{{\boldsymbol{x}}}\) as the subscripts satisfying these constraint conditions, the final fidelity is represented as
Specially, fidelity for bit-flip channel noise is \({F}_{out}=\frac{1}{{2}^{2k}}{\sum }_{\bar{{\boldsymbol{x}}}{\boldsymbol{,}}e}{(-\mathrm{1)}}^{\bar{{\boldsymbol{x}}}\cdot ({\boldsymbol{e}}\cdot {\rm{\Lambda }})}{\hat{P}}_{{\boldsymbol{e}},{\bf{0}}}\) with \({\boldsymbol{f}}={\bf{0}}\); for phase-flip channel noise is \({F}_{out}=\frac{1}{{2}^{2k}}{\sum }_{\bar{{\boldsymbol{x}}}{\boldsymbol{,}}f}{(-\mathrm{1)}}^{\bar{{\boldsymbol{x}}}\cdot {\boldsymbol{f}}}{\hat{P}}_{{\bf{0}},{\boldsymbol{f}}}\) with \({\boldsymbol{e}}={\bf{0}}\); for bit-phase-flip channel noise is \({F}_{out}=\frac{1}{{2}^{2k}}{\sum }_{\bar{{\boldsymbol{x}}},{\boldsymbol{e}},}{(-1)}^{\bar{{\boldsymbol{x}}}\cdot ({\boldsymbol{e}}\cdot {\rm{\Lambda }}+{\boldsymbol{e}})}{\hat{P}}_{e{\boldsymbol{,}}e}\); and for depolarizing white-noise channel noise is \({F}_{out}=\frac{1}{{2}^{2k}}{\sum }_{\bar{{\boldsymbol{x}}},{\boldsymbol{e}},{\boldsymbol{f}}}{(-1)}^{\bar{{\boldsymbol{x}}}\cdot ({\boldsymbol{e}}\cdot {\rm{\Lambda }}+{\boldsymbol{f}})}{\hat{P}}_{{\boldsymbol{e}},{\boldsymbol{f}}}\) with \({p}_{01}={p}_{10}={p}_{11}=\frac{1-{p}_{00}}{3}\).
Imperfectly local operations: the evolution of measurement in stabilizer basis
Another noise resource we consider is the imperfectly local measurement. Here, noisy measurements \({\hat{P}}_{{X}^{a}{Z}^{b}}^{{m}_{i}}\) can be described by a two-step process, a perfect measurement \({P}_{{X}^{a}{Z}^{b}}^{{m}_{i}}\) is applied after noise acts on all particles that are subjected to the measurement, that is, \({\tilde{P}}_{{X}^{a}{Z}^{b}}^{{m}_{i}}={P}_{{X}^{a}{Z}^{b}}^{{m}_{i}}{\varepsilon }^{({v}_{i})}\). Therefore, in the presence of imperfect operation, the Eq. (35) still holds.
For the case of both these two noises, an important property is that multiple noises on the same qubit are equal to the linear superposition of multiple error parameters49, that is, \({\varepsilon }^{({v}_{i})}({{\boldsymbol{p}}}_{1}){\varepsilon }^{({v}_{i})}({{\boldsymbol{p}}}_{2})={\varepsilon }^{({v}_{i})}({\boldsymbol{p}}{\rm{^{\prime} }})\), where \({\boldsymbol{p}}{\rm{^{\prime} }}\) is a linear function of the channel noise \({{\boldsymbol{p}}}_{1}\) and imperfectively operation noise \({{\boldsymbol{p}}}_{2}\). Therefore, one can summarize the effect of all noises by a single noisy channel \({\varepsilon }^{({v}_{i})}({\boldsymbol{p}}{\rm{^{\prime} }})\), acting on all the network nodes(except the input nodes) should be understood as representing all kinds of imperfections in noisy resource state and noisy measurements. The final fidelity is represented as
Performance Comparision
Compared with GB-QNC in Satoh et al.’s scheme44, the MB-QNC has significant advantage in the final fidelity which can be shown in the task of sharing EPR pairs in \(k\)-pair network. We assume the same error \(p=1-{p}_{00}\) that each single subsystem suffers. Consider network \({G}_{k}\) instance for \(k=2\). Firstly, by the Eq. (34), we get the constraint condition
Thus we have all \(\bar{{\boldsymbol{x}}}\) meet Eq. (37) in Table 2. When \(Z\) errors exist with \(p\), we have \({p}_{00}=1-p\) and \({p}_{01}=p\). The fidelity can be calculated by
For random \(X\) errors, \({p}_{00}=1-p\) and \({p}_{10}=p\). The fidelity can be calculated by
In fact, for some \({\boldsymbol{f}}\) and \({\boldsymbol{e}}\), \({\hat{P}}_{{\bf{0}},{\boldsymbol{f}}}\), \({\hat{P}}_{{\boldsymbol{e}},{\bf{0}}}\) will be deleted as the cancellation coefficient and the remaining can be seen in Table 3. Consequently, we get Eqs (38) and (39).
By comparing with the GB-QNC in Satoh et al.’s scheme, as shown in Fig. 5, MB-QNC allows higher error threshold. For X error, the error threshold is about 30% in MB-QNC is significantly better than in GB-QNC 10%. And the threshold for Z error, it is slightly better than it.
Discussion
In this paper, we firstly present sufficient conditions for the solvability of general quantum k-pair network with MB-QNC. It solve the central question in quantum communication whether a given network usually with capacity constraints can handle a specific joint communication task. With the correlation between quantum k-pair networks and a highly entangled graph states, the sufficient conditions is constructed by 2 k eigenvalue Equations (15) and (16). Thus a quantifiable relationship between solvability and network structure is built. Further, for the question how to construct coding scheme and what conditions the coding operations should exactly satisfies? We present another sufficient condition given by the stabilizer matrix and adjacency matrix. It would helpful in designing specific coding scheme for quantum communication tasks to attain high capacity. We find that it would be also helpful in constructively analyze the feasibility to sharing k EPR pairs over arbitrary networks. Finally, we show that in the same initial error parameter, MB-QNC allows higher error threshold compared with the existing GB-QNC. Thus, we optimize transmission schemes to better defend the effects of noisy resource states and noisy measurement caused by channel errors and imperfect local operations. Take an instance network \({G}_{k}\), the analysis shows that for X error, the error threshold about 30% in MB-QNC is significantly better than in GB-QNC 10%. And the threshold for Z error is slightly better. This conclusion can be extended to any quantum k-pair network who has a classical linear network code since it is in effect a measurement-based procedure which performs only X-eigenbasis measurements, on a graph state with similar structure to the coding network.
In experimental implementations, despite the fact that projective measurement involved in measurement-based way can nowadays be implemented, the hardest task from experimental point of view is the distribution of graph states in large scale quantum network. In general, the fidelity drops exponentially with the growth of network size. At present, entanglement purification50 and entanglement distillation51 are two main techniques to improve the initial fidelity of the prepared entanglement states. For arbitrary (complex) network, the schemes for graph states distribution in the presence of noise have been implemented efficiently47. So, our scheme would be implemented in experiment with the current quantum techniques. This also makes MB-QNC schemes very attractive from an experimental perspective.
Method
Proof of Corollary 2
In order to prove Corollary 2, we construct \(2k\) stabilizer equations with row vectors \({{\boldsymbol{a}}}_{1},\cdots ,{{\boldsymbol{a}}}_{2k}\) of matrix \(A\) as follow:
where \({b}_{ij}={{\boldsymbol{a}}}_{i}\cdot {{\rm{\Lambda }}}_{j}\) denotes the total numbers of performing pauli \(Z\) operation on \({v}_{j}\) with \({{\rm{\Lambda }}}_{j}\) is the \(j\) th column of \({\rm{\Lambda }}\) and. Since the former and the late \(k\) columns of \(A\) and \(A\cdot {\rm{\Lambda }}\) have the form \((\begin{array}{c}{I}\\ {\bf{0}}\end{array})\) and \((\begin{array}{c}{\bf{0}}\\ {I}\end{array})\) by condition (1), the stabilizer equations can be rewrite as
Now we construct measurement basis from \(A\) and \(B\). First, define \(\eta :{Z}_{2}^{2k}\to {Z}_{2}\) as \(\eta (\hat{{\boldsymbol{x}}})=\{\begin{array}{ll}\mathrm{0,} & \hat{{\boldsymbol{x}}}=\mathrm{0;}\\ \mathrm{1,} & {\rm{otherwise}}.\end{array}\) “\(\hat{{\boldsymbol{x}}}\)” denote the column vector of a matrix. It is obviously that for all \(\hat{{\boldsymbol{a}}}\), \(\eta (\hat{{\boldsymbol{a}}}\mathrm{)=1}\). We claim that \({\{{P}_{{X}^{\eta ({\hat{{\boldsymbol{a}}}}_{j})}{Z}^{\eta ({\hat{{\boldsymbol{b}}}}_{j})}}\}}_{j\in \{k+\mathrm{1,}\cdots ,k+n\}}\) is the desired measurement pattern. It can be verified by performing on all \(2k\) stabilizer equations. By condition (2), \((\eta ({\hat{{\boldsymbol{a}}}}_{j}),\eta ({\hat{{\boldsymbol{b}}}}_{j}))=({a}_{ij},\,{b}_{ij})\) or \(({a}_{ij},{b}_{ij})\,=\,0\), thus we have
which implies the Eqs (15 and 16). Therefore, \(k\)-pair network \({G}_{RK}\) is solvable by Theorem 1.
Proof of Theorem 2
In order to study the transformation of the subscript after measurement, we will discuss each component of the Eq. (32). First, it is easy to verified that the component \(E(N(v)\cap N(u),\,N(v)\cap N(u))=0/\) since \({G}_{k}\) is a bigraph. Thus, Eq. (32) can be reduced to
Also by the bigraph property, we have
And for \(E(N(u),N(v))\), we have
Here,
\(E(N(v)-\{u\},N(u)-\{v\})\) is divided into two disjoint set,
As mentioned above, the measurement on \(u\) transforms \(G\) to \(G^{\prime} \) where node \(u\) and edges connected to it will be deleted. Meanwhile, with these changes, some edges will be set up. Specially,
will be deleted and
will be set up.
Next, we will compute the subscript changes in the \({{\boldsymbol{K}}}_{{\boldsymbol{x}}}\). Note that the change of adjacency relation is only shown between the nodes and \(N(u),N(v)\), and other nodes do not change. Therefore, we only consider the transformation from Eqs (49) to (50). We have, for any \({w}_{1}\in N(u)\), \({w}_{2}\in N(v)\),
and
Similarly, we have
since \({\sum }_{{w}_{1}\in N(u)}{x}_{{w}_{1}}\,=\,0\). Note that by \(HZXH=XZ\), \({H}_{v}{({X}_{v})}^{{x}_{v}}{({Z}_{v})}^{{\sum }_{{w}_{2}\in N(v)}{x}_{{w}_{2}}}{H}_{v}=({Z}_{v}{)}^{{x}_{v}}{({X}_{v})}^{{\sum }_{{w}_{2}\in N(v)}{x}_{{w}_{2}}}\). Thus Eq. (51) is transformed to
Although here Hadamard operator is introduced, it does not affect the final fidelity value, which can be seen from the expression of fidelity. Therefore, we the Eq. (33) holds.
References
Bennett, C. H. & Brassard, G. Quantum cryptography: public key distribution and coin tossing. In Proc. of the IEEE Int. Conf. on Computers, Systems and Signal Processing, Bangalore, India, 175–179 (IEEE, New York, 1984).
Cirac, J. I., Zoller, P., Kimble, H. J. & Mabuchi, H. Quantum State Transfer and Entanglement Distribution among Distant Nodes in a Quantum Network. Phys. Rev. Lett. 78, 3221–3224 (1997).
Kimble, H. J. The Quantum Internet. Nature 453, 1023–1030 (2008).
Wang, S. et al. Field test of wavelength-saving quantum key distribution network. Opt. Lett. 35, 2454–2456 (2010).
Liu, W. Q. et al. Hybrid quantum private communication with continuous-variable and discrete-variable signals. Sci. China-Phys. Mech. Astron. 58, 020301 (2015).
Long, G. L. & Liu, X. S. Theoretically efficient high-capacity quantum-key-distribution scheme. Phys. Rev. A 65, 032302 (2002).
Wang, C., Deng, F. G., Li, Y. S., Liu, X. S. & Long, G. L. Quantum secure direct communication with high-dimension quantum superdense coding. Phys. Rev. A 71, 044305 (2005).
Sun, Z. W., Du, R. G. & Long, D. Y. Quantum Secure Direct Communication with Two-Photon Four-Qubit Cluster States. Int. J. Theor. Phys. 51, 1946–1952 (2012).
Xiao, L. et al. Efficient multiparty quantum-secret-sharing schemes. Phys. Rev. A 69, 052307 (2004).
Qin, H. W. & Dai, Y. W. Proactive quantum secret sharing. Quant. Inf. Process. 14, 4237–4244 (2015).
Bennett, C. H. et al. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 70, 1895 (1993).
Ai, Q. Toward quantum teleporting living objects. Sci. Bull. 61, 110–111 (2016).
Li, T. C. & Yin, Z. Q. Quantum superposition, entanglement, and state teleportation of a microorganism on an electromechanical oscillator. Sci. Bull. 61, 163–171 (2016).
Mattle, K., Weinfurter, H., Kwiat, P. G. & Zeilinger, A. Dense coding in experimental quantum communication. Phys. Rev. Lett. 76, 4656 (1996).
Li, C., Li, X., Deng, F., Zhou, P. & Zhou, H. Complete multiple round quantum dense coding with quantum logical network. Chi. Sci. Bull. 52, 1162–1165 (2007).
Ye, T. Y. Fault tolerant channel-encrypting quantum dialogue against collective noise. Sci. China-Phys. Mech. Astron. 58, 040301 (2015).
Liu, B., Gao, F., Huang, W. & Wen, Q. QKD-based quantum private query without a failure probability. Sci. China-Phys. Mech. Astron. 58, 100301 (2015).
Sheng, Y., Pan, J., Guo, R., Zhou, L. & Wang, L. Efficient N-particle W state concentration with different parity check gates. Sci. China-Phys. Mech. Astron. 58, 060301 (2015).
Salemian, S. & Mohammadnejad, S. An error-free protocol for quantum entanglement distribution in long-distance quantum communication. Chi. Sci. Bull. 56, 618–625 (2011).
Cao, D. Y. et al. Multiuser-to-multiuser entanglement distribution based on 1550 nm polarization-entangled photons. Sci. Bull. 60, 1128 (2015).
Chen, X. B., Su, Y., Xu, G., Sun, Y. & Yang, Y. X. Quantum state secure transmission in network communications. Inform. Sci. 276, 363–376 (2014).
Ahlswede, R., Cai, N., Li, S.-Y. R. & Yeung, R. W. Network information flow. IEEE Trans. Inf. Theory 46, 1204–1216 (2000).
Dougherty, R. & Zeger, K. Nonreversibility and equivalent constructions of multiple–unicast networks. IEEE Trans. Inf. Theory 52, 5067–5077 (2006).
Zhou, Z., Wu, Q. J., Huang, F. & Sun, X. Fast and accurate near-duplicate image elimination for visual sensor networks. Int. J. Distrib. Sens. N. 13, https://doi.org/10.1177/1550147717694172 (2017).
Pan, Z., Lei, J., Zhang, Y., Sun, X. & Kwong, S. Fast motion estimation based on content property for low-complexity H. 265/HEVC encoder. IEEE Trans. Broadcast 62, 675–684 (2016).
Pan, Z. et al. Fast reference frame selection based on content similarity for low complexity HEVC encoder. J. VIS. COMMUN. IMAGE. R. 40, 516–524 (2016).
Zhang, J., Tang, J., Wang, T. & Chen, F. Energy-efficient data-gathering rendezvous algorithms with mobile sinks for wireless sensor networks. Int. J. Sens. Netw. 23, 248–257 (2017).
Li, S.-Y. R., Yeung, R. W. & Cai, N. Linear network coding. IEEE Trans. Inf. Theory 49, 371–381 (2003).
Ngai, C. K. & Yeung, R. W. Multisource network coding with two sinks. Proc. Int. Conf. Communications, Circuits and Systems (ICCCAS) 1, 34–37 (2004).
Wang, C. C. & Shroff, N. B. Intersession network coding for two simple multicast sessions. Proc. 45th Annual Allerton Conf. on Comm., Contr., and Computing 682–689 (2007).
Wootters, W. K. & Zurek, W. H. A single quantum cannot be cloned. Nature 299, 802–803 (1982).
Hayashi, M., Iwama, K., Nishimura, H., Raymond, R. & Yamashita, S. Quantum network coding. Proc. 24th Annu. Symp. Theor. Aspects Comput. Sci. (STACS). 4393, 610–621 (2007).
Leung, D., Oppenheim, J. & Winter, A. Quantum network communication–The butterfly and beyond. IEEE Trans. Inf. Theory 56, 3478–3490 (2010).
Nishimura, H. Quantum network coding and the current status of its studies. Information Theory and its Applications (ISITA) , 2014 International Symposium on. IEEE 331–334(2014).
Kobayashi, H., LeGall, F., Nishimura, H. & Röteler, M. General scheme for perfect quantum network coding with free classical communication. LNCS 5555, 622–633 (2009).
Kobayashi, H., Le Gall, F., Nishimura, H. & Röetteler, M. Constructing quantum network coding schemes from classical nonlinear protocols. Proceedings 2011 IEEE International Symposium on Information Theory (ISIT 2011), Saint Petersburg, Russia; doi:10.1109/ISIT.2011.6033701 (2011).
Hayashi, M. Prior entanglement between senders enables perfect quantum network coding with modification. Phys. Rev. A 76, 040301 (2007).
Akibue, S. & Murao, M. Network coding for distributed quantum computation over cluster and butterfly networks. IEEE Trans. Inf. Theory 62, 6620–6637 (2016).
Li, J., Chen, X. B., Sun, X. M., Li, Z. P. & Yang, Y. X. Quantum network coding for multi–unicast problem based on 2D and 3D cluster states. Sci. China Inf. Sci. 59, 042301 (2016).
Satoh, T., Le Gall, F. & Imai, H. Quantum network coding for quantum repeaters. Phys. Rev. A 86, 032331 (2012).
Epping, M., Kampermann, H. & Bruß, D. Robust entanglement distribution via quantum network coding. NEW. J. PHYS. 18, 103052 (2016).
de Beaudrap, N. & Rötteler, M. Quantum linear network coding as one–way quantum computation. arXiv preprint arXiv 1403, 3533 (2014).
Raussendorf, R., Browne, D. E. & Briegel, H. J. Measurement–based quantum computation on cluster states. Phys. Rev. A 68, 022312 (2003).
Satoh, T., Ishizaki, K. & Nagayama, S. & Van Meter, R. Analysis of quantum network coding for realistic repeater networks. Phys. Rev. A 93, 032302 (2016).
Browne, D. E. & Briegel, H. J. One–way quantum computation–a tutorial introduction. arXiv preprint quant–ph/0603226 (2006).
Aschauer, H., Dur, W. & Briegel, H. J. Multiparticle entanglement purification for two–colorable graph states. Phys. Rev. A 71, 012319 (2005).
Cuquet, M. & Calsamiglia, J. Growth of graph states in quantum networks. Phys. Rev. A 86, 042304 (2012).
Hein, M., Eisert, J. & Briegel, H. J. Multiparty entanglement in graph states. Phys. Rev. A 69, 062311 (2004).
Zwerger, M., Briegel, H. J. & Dur, W. Measurement-based quantum communication. Appl. Phys. B 122, 1–15 (2016).
Zhou, L. & Sheng, Y. B. Purification of Logic-Qubit Entanglement. Sci. Rep. 6, 28813 (2016).
Sheng, Y. B. & Zhou, L. Deterministic entanglement distillation for secure double-server blind quantum computation. Sci. Rep. 5, 7815 (2015).
Acknowledgements
This work is supported by the National Natural Science Foundation of China (Grant Nos. 61671087, 61272514, 61003287, 61170272, 61373131), the National Development Foundation for Cryptological Research (Grant No. MMJJ201401012), the Fok Ying Tung Education Foundation (Grant No. 131067), Program for New Century Excellent Talents in University (Grant No. NCET-13-0681) and Open Foundation of Guizhou Provincial Key Laboratory of Public Big Data (2017BDKFJJ007).
Author information
Authors and Affiliations
Contributions
J.L., and X.-B.C. initiated the idea. J.L., X.-B.C., and G.X. wrote the main manuscript text. Z.-G.Q., X.-X.N. and Y.-X.Y. reviewed the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, J., Xu, G., Chen, XB. et al. The solvability of quantum k-pair network in a measurement-based way. Sci Rep 7, 16775 (2017). https://doi.org/10.1038/s41598-017-16272-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-017-16272-x
- Springer Nature Limited
This article is cited by
-
Secure quantum network coding based on quantum homomorphic message authentication
Quantum Information Processing (2019)