Graph states are key resources for measurement-based quantum computing, which is particularly promising for photonic systems. Fusions are probabilistic Bell state measurements, measuring pairs of parity operators of two qubits. Fusions can be used to connect/entangle different graph states, making them a powerful resource for measurement-based and related fusion-based quantum computing. There are several different graph structures and types of Bell state measurements, yet the associated graph transformations have only been analyzed for specific cases. Here, we provide a full set of graph transformation rules and give an intuitive visualization based on Venn diagrams of local neighborhoods of graph nodes. We derive these graph transformations for all types of rotated type-II fusion, showing that there are five different fusion success cases. Finally, we give application examples of the derived graph transformation rules and show that they can be used to construct graph codes or simulate fusion networks.
Critical to the construction of large scale quantum networks, i.e. a quantum internet, is the development of fast algorithms for managing entanglement present in the network. One fundamental building block for a quantum internet is the distribution of Bell pairs between distant nodes in the network. Here we focus on the problem of transforming multipartite entangled states into the tensor product of bipartite Bell pairs between specific nodes using only a certain class of local operations and classical communication. In particular we study the problem of deciding whether a given graph state, a…
Tsinghua University（清华大学）；Southern University of Science and Technology（南方科技大学）
Quantum information science has profoundly changed the ways we understand, store, and process information. A major challenge in this field is to look for an efficient means for classifying quantum state. For instance, one may want to determine if a given quantum state is entangled or not. However, the process of a complete characterization of quantum states, known as quantum state tomography, is a resource-consuming operation in general. An attractive proposal would be the use of Bell's inequalities as an entanglement witness, where only partial information of the quantum state is needed. The …
Graphical rule, describing that any single-mode homodyne detection turns a given continuous-variable (CV) graph state into a new one, is presented. Employing two simple graphical rules: local complement operation and vertex deletion (single quadrature-amplitude $\hat{x}$ measurement), the graphical rule for any single-mode quadrature component measurement can be obtained. The shape of CV weighted graph state may be designed and constructed easily from a given larger graph state by applying this graphical rule.
We derive Bell inequalities for graph states by generalizing the approach proposed by Ardehali [Phys. Rev. A 46, 5375 (1992)] for Greenberger-Horne-Zeilinger (GHZ) states. Using this method, we demonstrate that Bell inequalities with nonstabilizer observables are often superior to the optimal GHZ-Mermin-type (or stabilizer-type) Bell inequalities.
We present Bell inequalities for graph states with high violation of local realism. In particular, we show that there is a two-setting Bell inequality for every nontrivial graph state which is violated by the state at least by a factor of two. These inequalities are facets of the convex polytope containing the many-body correlations consistent with local hidden variable models. We first present a method which assigns a Bell inequality for each graph vertex. Then for some families of graph states composite Bell inequalities can be constructed with a violation of local realism increasing exponen…
We investigate the Bell inequalities derived from the graph states with violations detectable even with the presence of noises, which generalizes the idea of error-correcting Bell inequalities [Phys. Rev. Lett. 101, 080501 (2008)]. Firstly we construct a family of valid Bell inequalities tolerating arbitrary $t$-qubit errors involving $3(t+1)$ qubits, e.g., 6 qubits suffice to tolerate single qubit errors. Secondly we construct also a single-error-tolerating Bell inequality with a violation that increases exponentially with the number of qubits. Exhaustive computer search for optimal error-tol…
We report on the experimental realization of two different Bell inequality tests based on six-qubit linear-type and Y-shape graph states. For each of these states, the Bell inequalities tested are optimal in the sense that they provide the maximum violation among all Bell inequalities with stabilizing observables and possess the maximum resistance to noise.
Which is the simplest logical structure for which there is quantum nonlocality? We show that there are only three bipartite Bell inequalities with quantum violation associated with the simplest graph of relationships of exclusivity with a quantum-classical gap. These are the most elementary logical Bell inequalities. We show that the quantum violation of some well-known Bell inequalities is related to them. We test the three Bell inequalities with pairs of polarization-entangled photons and report violations in good agreement with the quantum predictions. Unlike other experiments testing nonco…
We investigate the non-local properties of graph states. To this aim, we derive a family of Bell inequalities which require three measurement settings for each party and are maximally violated by graph states. In turn, for each graph state there is an inequality maximally violated only by that state. We show that for certain types of graph states the violation of these inequalities increases exponentially with the number of qubits. We also discuss connections to other entanglement properties such as the positivity of the partial transpose or the geometric measure of entanglement.
Bohm-Bell processes, of interest in the foundations of quantum field theory, form a class of Markov processes $Q_t$ generalizing in a natural way both Bohm's dynamical system in configuration space for nonrelativistic quantum mechanics and Bell's jump process for lattice quantum field theories. They are such that at any time $t$ the distribution of $Q_t$ is $|ψ_t|^2$ with $ψ$ the wave function of quantum theory. We extend this class here by introducing the analogous Markov process for quantum mechanics on a graph (also called a network, i.e., a space consisting of line segments glued together …
Bell inequalities constitute a key tool in quantum information theory: they not only allow one to reveal nonlocality in composite quantum systems, but, more importantly, they can be used to certify relevant properties thereof. We provide a very simple and intuitive construction of Bell inequalities that are maximally violated by the multiqubit graph states and can be used for their robust self-testing. The main advantage of our inequalities over previous constructions for these states lies in the fact that the number of correlations they contain scales only linearly with the number of observer…
Bell inequality tests where the detection efficiency is below a certain threshold $η_{\rm{crit}}$ can be simulated with local hidden-variable models. Here, we introduce a method to identify Bell tests requiring low $η_{\rm{crit}}$ and relatively low dimension $d$ of the local quantum systems. The method has two steps. First, we show a family of bipartite Bell inequalities for which, for correlations produced by maximally entangled states, $η_{\rm{crit}}$ can be upper bounded by a function of some invariants of graphs, and use it to identify correlations that require small $η_{\rm{crit}}$. We p…
The characterization of the set of quantum correlations is a problem of fundamental importance in quantum information. The question whether every proper (tight) Bell inequality is violated in Quantum theory is an intriguing one in this regard. Here, we make significant progress in answering this question, by showing that every tight Bell inequality is violated by 'Almost Quantum' correlations, a semi-definite programming relaxation of the set of quantum correlations. As a consequence, we show that many (classes of) Bell inequalities including two-party correlation Bell inequalities and multi-o…
Techniques developed for device-independent characterizations allow one to certify certain physical properties of quantum systems without assuming any knowledge of their internal workings. Such a certification, however, often relies on the employment of device-independent witnesses catered for the particular property of interest. In this work, we consider a one-parameter family of multipartite, two-setting, two-outcome Bell inequalities and demonstrate the extent to which they are suited for the device-independent certification of genuine many-body entanglement (and hence the entanglement dept…
We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to such a game, with the constraints defining the linear game represented by an edge-coloring of the graph. We use the graph-theoretic characterization to relate the task of finding equivalent games to the notion of signed graphs and switching equivalence from graph theory. We relate the problem of computing the classical value of single-party anti-correlation …
Multipartite entangled states are great resources for quantum networks. In this work we study the distribution, or routing, of entangled states over fixed, but arbitrary, physical networks. Our simplified model represents each use of a quantum channel as the sharing of a Bell pair; local operations and classical communications are considered to be free. We introduce two protocols to distribute respectively Greenberger-Horne-Zeilinger (GHZ) states and arbitrary graph states over arbitrary quantum networks. The GHZ states distribution protocol takes a single step and is optimal in terms of the n…
Communication games are crucial tools for investigating the limitations of physical theories. The communication complexity (CC) problem is a typical example, for which several distributed parties attempt to jointly calculate a given function with limited classical communications. In this work, we present a method to construct CC problems from Bell tests in a graph-theoretic way. Starting from an experimental compatibility graph and the corresponding Bell test function, a target function which encodes the information of each edge can be constructed, then using this target function we could cons…
Non-contextuality (NC) and Bell inequalities can be expressed as bounds $Ω$ for positive linear combinations $S$ of probabilities of events, $S \leq Ω$. Exclusive events in $S$ can be represented as adjacent vertices of a graph called the exclusivity graph of $S$. In the case that events correspond to the outcomes of quantum projective measurements, quantum probabilities are intimately related to the Grötschel-Lovász-Schrijver theta body of the exclusivity graph. Then, one can easily compute an upper bound to the maximum quantum violation of any NC or Bell inequality by optimizing $S$ over the…
We propose a protocol that allows both the creation and distribution of entanglement, resulting in two distant parties (Alice and Bob) conclusively sharing a bipartite Bell State. The system considered is a graph of three-level objects ("qutrits") coupled by SU(3) exchange operators. The protocol begins with a third party (Charlie) encoding two lattice sites in unentangled states, and allowing unitary evolution under time. Alice and Bob perform a projective measurement on their respective qutrits at a given time, and obtain a maximally-entangled Bell state with a certain probablility. We also …
Nonlocal game as a novel witness of the nonlocality of entanglement is of fundamental importance in various fields. The known nonlocal games or equivalent linear Bell inequalities are only useful for Bell networks of single entanglement. Our goal in this paper is to propose a unified method for constructing cooperating games in network scenarios. We first propose an efficient method to construct numerous multipartite games from any graphs. The main idea is the graph representation of entanglement-based quantum networks. We further specify these graphic games with quantum advantages by providin…
Graph states -- one of the most representative families of multipartite entangled states, are important resources for multiparty quantum communication, quantum error correction, and quantum computation. Device-independent certification of highly entangled graph states plays a prominent role in the quantum information processing tasks. Here we have experimentally demonstrated device-independent certification for multipartite graph states, by adopting the robust self-testing scheme based on scalable Bell inequalities. Specifically, the prepared multi-qubit Greenberger-Horne-Zeilinger (GHZ) state…
We report on the experimental violation of multipartite Bell inequalities by entangled states of trapped ions. First we consider resource states for measurement-based quantum computation of between 3 and 7 ions and show that all strongly violate a Bell-type inequality for graph states, where the criterion for violation is a sufficiently high fidelity. Second we analyze GHZ states of up to 14 ions generated in a previous experiment using stronger Mermin-Klyshko inequalities, and show that in this case the violation of local realism increases exponentially with system size. These experiments rep…
Genuine multipartite nonlocality detection in graph states
Universiteit Leiden（莱顿大学）；Università degli Studi di Padova（帕多瓦大学）；INFN, Sezione di Padova（意大利国家核物理研究所帕多瓦分部）；Center for Quantum-Enabled Computing, Center for Theoretical Physics, Polish Academy of Sciences（波兰科学院理论物理中心量子赋能计算中心）
The correlations in quantum networks have attracted strong interest with new types of violations of the locality. The standard Bell inequalities cannot characterize the multipartite correlations that are generated by multiple sources. The main problem is that no computationally efficient method is available for constructing useful Bell inequalities for general quantum networks. In this work, we show a significant improvement by presenting new, explicit Bell-type inequalities for general networks including cyclic networks. These nonlinear inequalities are related to the matching problem of an e…
Quantum walks with memory(QWM) are a type of modified quantum walks that record the walker's latest path. The general model of coined QWM is presented in Phys. Rev. A 93, 042323 (2016). In this paper, we present general model of Szegedy QWM. Importantly, the relation of coined QWM and Szegedy QWM is revealed. By transforming coined QWM to Szegedy QWM, some amazing results about QWM are founded.
This paper is the first of a series where we study quantum channels from the random matrix point of view. We develop a graphical tool that allows us to compute the expected moments of the output of a random quantum channel. As an application, we study variations of random matrix models introduced by Hayden \cite{hayden}, and show that their eigenvalues converge almost surely. In particular we obtain for some models sharp improvements on the value of the largest eigenvalue, and this is shown in a further work to have new applications to minimal output entropy inequalities.
We propose a protocol for secret sharing, called dual quantum information splitting (DQIS), that reverses the roles of state and channel in standard quantum information splitting. In this method, a secret is shared via teleportation of a fiducial input state over an entangled state that encodes the secret in a graph state basis. By performing a test of violation of a Bell inequality on the encoded state, the legitimate parties determine if the violation is sufficiently high to permit distilling secret bits. Thus, the code space must be maximally and exclusively nonlocal. To this end, we propos…
We study the faces of the set of quantum correlations, i.e., the Bell and noncontextuality inequalities without any quantum violation. First, we investigate the question whether every proper (tight) Bell inequality for two parties, other than the trivial ones from positivity, normalization and no-signaling can be violated by quantum correlations, i.e., whether the classical Bell polytope or the smaller correlation polytope share any facets with their respective quantum sets. To do this, we develop a recently derived bound on the quantum value of linear games based on the norms of game matrices…
In this paper we study the generation of Bell states between distant vertices in a permanently coupled quantum spin network, interacting via invariant stratification graphs. To begin with we establish a class of upper bounds over achievable entanglement between the reference site and various vertices. We observe that the maximum of these upper bounds is 1 e-bit. We conclude that the reference site can generate a Bell state with a vertex if the corresponding upper bound of the vertex is 1 e-bit. Thus for generation of a Bell state this upper bound must be saturated. Taking this into account, we…
The Grishukhin inequality Gr_7 is a facet of CutP_7, the cut polytope on seven points, which is ``sporadic'' in the sense that its proper generalization has not been known. In this paper, we extend Gr_7 to an inequality I(G,H) valid for CutP_{n+1} where G and H are graphs with n nodes satisfying certain conditions, and prove a necessary and sufficient condition for I(G,H) to be a facet. This result combined with the triangular elimination theorem of Avis, Imai, Ito and Sasaki settles Collins and Gisin's conjecture in quantum theory affirmatively: the I_{mm22} Bell inequality is a facet of the …
Stabilizer states form an important class of states in quantum information, and are of central importance in quantum error correction. Here, we provide an algorithm for deciding whether one stabilizer (target) state can be obtained from another stabilizer (source) state by single-qubit Clifford operations (LC), single-qubit Pauli measurements (LPM), and classical communication (CC) between sites holding the individual qubits. What's more, we provide a recipe to obtain the sequence of LC+LPM+CC operations which prepare the desired target state from the source state, and show how these operation…
It has recently been found that Bell scenarios are only a small subclass of interesting setups for studying the non-classical features of quantum theory within spacetime. We find that it is possible to talk about classical correlations, quantum correlations and other kinds of correlations on any directed acyclic graph, and this captures various extensions of Bell scenarios which have been considered in the literature. From a conceptual point of view, the main feature of our approach is its high level of unification: while the notions of source, choice of setting and measurement play all seemin…
We describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the graph state associated with G, and exclusive events are adjacent. Mathematically, the graph H(G) corresponds to the orbit of G under local complementation. Physically, the construction translates into graph-theoretic terms the connection between a graph state and a Bell ineq…
