Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

# Multipartite entanglement analysis from random correlations

## Abstract

Quantum entanglement is usually revealed via a well aligned, carefully chosen set of measurements. Yet, under a number of experimental conditions, for example in communication within multiparty quantum networks, noise along the channels or fluctuating orientations of reference frames may ruin the quality of the distributed states. Here, we show that even for strong fluctuations one can still gain detailed information about the state and its entanglement using random measurements. Correlations between all or subsets of the measurement outcomes and especially their distributions provide information about the entanglement structure of a state. We analytically derive an entanglement criterion for two-qubit states and provide strong numerical evidence for witnessing genuine multipartite entanglement of three and four qubits. Our methods take the purity of the states into account and are based on only the second moments of measured correlations. Extended features of this theory are demonstrated experimentally with four photonic qubits. As long as the rate of entanglement generation is sufficiently high compared to the speed of the fluctuations, this method overcomes any type and strength of localized unitary noise.

## Introduction

One of the most striking features of quantum entanglement is the existence of correlated measurement outcomes between spatially separated particles, which exceed expectations based on classical physics. These correlations are typically observed with carefully aligned local measurements. They get distorted if a common reference frame is lacking and especially in the presence of noise along the channels distributing the entangled particles. In practice, for many channels the instabilities are often irremovable: optical fibers rotate polarization, changing phases affect the path degree of freedom, atmospheric turbulence acts on the modes of orbital angular momentum, magnetic field fluctuations influence trapped ions, etc. Common sense tells that this renders the distributed quantum state useless and unrecognizable.

Here we provide a method for entanglement detection and analysis that is insensitive to local rotations and thus overcomes these difficulties. It requires neither reference frames nor alignment nor calibration of measuring devices. Still, it can both witness as well as classify multipartite entanglement in the presence of local unitary noise. The key to overcome the lack of control and knowledge regarding each single measurement is to harness uniform sampling of the entirety of all measurements. Especially without any prior knowledge about the state, the conceptually simple method of random sampling proves highly beneficial for entanglement detection and state analysis.

Previous work on entanglement detection relaxing the requirement of fully aligned reference frames first considered the absence of a shared reference frame, but still required the ability to choose or at least to repeat local measurement settings from a given set in order to detect, for example, the violation of a Bell inequality1,2,3,4,5,6, or for tomographic reconstruction7. Under the same constraints, also adaptive methods for entanglement detection have been developed8,9. In the absence of any reference frames Bell violations can be measured with some probability10,11 and entanglement can be detected by evaluating the second moment of the distribution of correlations obtained by measuring random observables on each subsystem12,13,14,15,16,17. Furthermore, it has been shown recently that higher-order moments of this distribution allow discrimination of very specific types of multipartite entanglement18. While these methods analyze full correlations, a recent experiment used second moments of subsets to deduce entanglement in systems of more than ten particles19. In contrast, here we are interested in the detection of genuine multipartite entanglement, i.e., revealing that all particles share quantum entanglement.

We qualitatively investigate not only a specific moment of the distributions of full correlations, but all probability distributions of full as well as of marginal correlations, taking into account their interdependencies. We show how they provide a detailed picture of the type of state and its entanglement structure for certain examples of pure states. This illuminates the way to derive a general witnesses of genuine multipartite entanglement for arbitrary pure and mixed states. These witnesses retain simplicity, as they are based only on second order moments of the distributions, and yet they outperform other criteria based on second moments12,13,14,15,16,17. We experimentally measure full and marginal distributions of correlations for various multiqubit states using reference frame free random measurements and show the applicability of all our extended analysis methods. These methods are robust as they do not depend on the local unitary noise as long as the rate of generated entangled states is high enough to estimate the correlations for a momentarily constant noise.

## Results

### Scenario

Consider a source producing copies of an unknown n-qubit state ϱ, which is transmitted through unstable quantum channels to n local observers (Fig. 1). During the j-th transmission the state ϱ is transformed by n random local unitary operators $${U}_{{\mathrm{i}}}^{{\mathrm{(j)}}}$$ with i = 1, 2, …, n according to

$$\varrho \to {\varrho }^{{\mathrm{(j)}}}={U}_{1}^{{\mathrm{(j)}}}\otimes \ldots \otimes {U}_{{\mathrm{n}}}^{{\mathrm{(j)}}}\ \varrho \ {U}_{1}^{{\mathrm{(j)}}\dagger }\otimes \ldots \otimes {U}_{\mathrm{{n}}}^{{\mathrm{(j)}}\dagger }.$$
(1)

Additionally, each of the n observers is free to choose an arbitrary measurement setting $${\sigma }_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$ to measure her qubit. If for each transmitted copy of ϱ the transformations $${U}_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$ change significantly, all information about the state is lost. However, in a very common scenario encountered by experimenters the unitary noise has a timescale which is sufficiently slow to obtain at least a few copies of ϱ which have been affected by essentially the same noise, i.e., by the same set of local transformations $${U}_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$. In this case the transformations are still much too fast to apply standard techniques of state analysis20, yet, it becomes possible to use the few equally transformed states to reliably record correlations

$$\begin{array}{*{20}{l}}{E}_{1\ldots n}^{{\mathrm{(j)}}}\hfill{}&=\hfill{}&{\rm{tr}}\left({\sigma }_{1}^{{\mathrm{(j)}}}\otimes {\sigma }_{2}^{{\mathrm{(j)}}}\otimes \ldots \otimes {\sigma }_{{\mathrm{n}}}^{{\mathrm{(j)}}}\ {\varrho }^{{\mathrm{(j)}}}\right)\hfill{}\\ \hfill{}&=\hfill{}&{\rm{tr}}\left({\tilde{\sigma }}_{1}^{{\mathrm{(j)}}}\otimes {\tilde{\sigma }}_{2}^{{\mathrm{(j)}}}\otimes \ldots \otimes {\tilde{\sigma }}_{{\mathrm{n}}}^{{\mathrm{(j)}}}\ \varrho \right),\hfill{}\end{array}$$
(2)

where each observer is keeping her local observable $${\sigma }_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$ constant in the timescale of constant noise, which results in the effective random observable $${\tilde{\sigma }}_{\mathrm{{i}}}^{{\mathrm{(j)}}}\equiv {U}_{\mathrm{{i}}}^{{\mathrm{(j)}}\dagger }\ {\sigma }_{\mathrm{{i}}}\ {U}_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$. Note that here and below the index j refers to a set of transmitted states which have all been affected by the same noise transformations and measured using the same settings.

We refer to $${E}_{1\ldots n}^{{\mathrm{(j)}}}$$ as “full correlation” or n-partite correlation because it involves measurement outcomes of all n observers. Besides full correlations, also “marginal correlations” can be measured, which are computed from the outcomes of a subset of observers. For example, the marginal correlation of all observers but the first one is

$${E}_{2\ldots n}^{{\mathrm{(j)}}}={\rm{tr}}\left({\Bbb{1}}\otimes {\tilde{\sigma }}_{2}^{{\mathrm{(j)}}}\otimes \ldots \otimes {\tilde{\sigma }}_{{\mathrm{n}}}^{{\mathrm{(j)}}}\ \varrho \right).$$
(3)

The essential ingredient in our approach is that each observer samples local measurement directions $${\tilde{\sigma }}_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$ randomly according to a Haar uniform distribution. This removes any dependence of the obtained information on the actual structure or time dependence of the various $${U}_{\mathrm{{i}}}^{{\mathrm{(j)}}}$$ and thus overcomes any bias in the random noise.

In our experiment we prepare four different four-qubit states using entangled photon pairs, where we encode two qubits in the polarization degree of freedom and two qubits in the path degree of freedom. To comprehensively demonstrate the informational content of distributions of random correlations, we consider four quantum states belonging to different entanglement classes, in particular a tri-separable, a bi-separable and two genuinely multipartite entangled states, namely a Greenberger–Horne–Zeilinger (GHZ) state and a cluster state,

$$\left|{\psi }_{{\rm{trisep}}}\right\rangle \propto \left(\left|00\right\rangle +\left|11\right\rangle \right)\otimes \left|0\right\rangle \otimes \left|0\right\rangle ,$$
(4a)
$$\left|{\psi }_{{\rm{bisep}}}\right\rangle \propto \left(\left|00\right\rangle +\left|11\right\rangle \right)\otimes \left(\sin \varphi \left|00\right\rangle +\cos \varphi \left|11\right\rangle \right),$$
(4b)
$$\left|{\rm{GHZ}}\right\rangle \propto \left(\left|0000\right\rangle +\left|1111\right\rangle \right),$$
(4c)
$$\left|{{\mathcal{C}}}_{4}\right\rangle \propto \left(\left|0000\right\rangle +\left|0011\right\rangle -\left|1100\right\rangle +\left|1111\right\rangle \right).$$
(4d)

We utilize the full experimental control over the choice of measurement settings to emulate the local unitary transformations due to noisy channels and the Haar random choices of measurement settings.

Our experimental setup is based on spontaneous parametric down conversion, generating a pair of polarization entangled photons. Those photons are sent to two Sagnac interferometers with polarizing beam splitters, adding a path degree of freedom, which is then coupled inside the interferometer with the polarization of the incoming photon. This way, the two photons effectively provide four qubits. Local transformations of the polarization inside the interferometer, which translate to path transformations behind the second polarizing beam splitter, together with polarization transformations outside the interferometer allow to locally modify and analyze both path and polarization degrees of freedom of both photons. Further details of the setup can be found in the ref. 21. It should be noted that while we clearly can deduce how characteristics of the state are reflected in the form of the measured distributions the other direction of deduction is in general much more difficult.

### Analyzing entanglement structures

In the following we study distributions of random correlations for these four states, see Fig. 2. It is helpful to recall that for some particular states the distributions are known analytically. A pure product state of n qubits results in a distribution proportional to $$-{({\rm{ln}}| E| )}^{n-1}$$16,17, which becomes uniform for n = 1, and a maximally entangled state of two qubits gives rise to a flat distribution22,23. In addition to this established knowledge, we use new criteria to show that the experimental data not only provide information about the amount of entanglement in the full state, but also give insight into how the entanglement is shared among the parties, allowing to reconstruct the whole multipartite entanglement structure. An important finding arises from the fact that for arbitrary product states of the subsystems A and B any full correlation value EAB is the product of the corresponding marginal values:

$$\left|{\psi }_{\mathrm{{AB}}}\right\rangle =\left|{\psi }_{\mathrm{{A}}}\right\rangle \otimes \left|{\psi }_{\mathrm{{B}}}\right\rangle \Rightarrow {E}_{\mathrm{{AB}}}={E}_{\mathrm{{A}}}{E}_{{\mathrm{B}}}.$$
(5)

This relation between single expectation values implies that the correlation distribution of parties AB is a so-called product distribution of measurement results obtained on A and B. Whenever this is not the case we can infer that the state is entangled across the partition AB. Here, we first apply this criterion to pure product states, and later generalize it for arbitrary mixed states.

Consider first the triseparable state in Fig. 2a. The bipartite distribution E34, i.e., the distribution of the multiplication of outcomes for qubits 3 and 4, shows a logarithmic decay, which indicates a pure product state over these two parties. The bipartite distribution E12 is uniform as it is characteristic for maximally entangled two-qubit states. The single qubit marginals confirm this observation: E3 and E4 are almost uniform (pure states), whereas E1 and E2 correspond to the maximally mixed state. Ideally, the correlation function for the maximally mixed state is equal to zero and results in a delta peak around 0. Finite statistics causes a broadening of this theoretical distribution and leads to the observed Gaussian shape. Several of the distributions are product distributions. For example, we can verify that the full distribution E1234 is the product distribution of multiplied results obtained on qubits 12 and on qubits 34, and that E34 is the product distribution of the results on qubit 3 and on qubit 4. This is compatible with the state being separable across these partitions. On the other hand, clearly the distribution E12 is not a product one for the outcomes on qubit 1 and on qubit 2, which indicates the presence of entanglement.

The distributions for the biseparable state Eq. (4b) are shown in Fig. 2b. As expected, the bipartite marginal E12 is the same as for the triseparable state. The same also holds for the respective single qubit marginals of E1 and E2. In the bipartite distribution of E34, however, one can nicely observe the signature of a pure state intermediate between a maximally entangled and a product state, as tuned by the parameter φ. For φ ≈ 0.2, the bipartite distribution of E34 is almost uniform until approximately 0.5 and decays logarithmically for larger values. Equally, the respective single qubit marginals also show an intermediate behavior between a uniform distribution (pure state) until approximately 0.8 and vanishing (white noise) for values above. Both the distributions E12 and E34 do not correspond to the product distributions from the constituent subsystems, which implies entanglement across these partitions of the pure state.

The maximally entangled GHZ state (Fig. 2c) and the cluster state (Fig. 2d) are not distinguishable on the level of the four respective single qubit marginals. Also certain bipartite marginals are the same, e.g., when tracing out qubits 3 and 4. However, while for the permutationally invariant GHZ state all marginal distributions for the same number of qubits must be the same, a significantly different distribution (corresponding to the maximally mixed state) can be obtained for the cluster state, when tracing out for example qubits 1 and 4, i.e., for E23. Finally, the cluster and GHZ state can be distinguished also via their distributions of the full correlations. From the plotted distributions for these two states only the distribution E23 of the cluster state is (trivially) the product distribution for the results on qubits 2 and 3 (the same holds also for E13, E14, and E24). All other distributions are not the respective product distributions and thus reveal entanglement.

While our data reflect the theoretical predictions based on Eqs. (4ad) well, there are systematic differences which can be traced back chiefly to a broadening of the distributions due to finite statistics24. We used approximately 475 counts per estimated expectation value for the GHZ state, giving rise to the broadening of a normal distribution with standard deviation on the order of $$1/\sqrt{475}\approx 0.046$$. Accounting for these systematics is vital for the application of our quantitative analysis below and is explained in “Methods” section.

### Witnessing entanglement

To quantitatively analyze the experimentally obtained distributions, we focus on their statistical moments. The k-th moment of the distribution of the full correlation is defined as

$${m}_{1\ldots n}^{{\mathrm{(k)}}}\equiv {\int_{{\mathrm{SU}}{(2)}^{n}}}{\rm{d}}{U}_{1}\ldots {\rm{d}}{U}_{{\mathrm{n}}}\ {\rm{tr}}{\left({U}^{\dagger }{\sigma }_{{\mathrm{z}}}^{\otimes n}U\varrho \right)}^{\mathrm{{k}}},$$
(6)

with UU1 Un and where integration over SU(2) is equivalent to sampling measurement directions uniformly from the single qubit Bloch spheres. We will show in the following how to deduce the amount of purity and the presence of genuine multipartite entanglement using only the second moments of our measured correlation distributions. We denote the second moment simply by $${m}_{1\ldots {\mathrm{n}}}\equiv {m}_{1\ldots {\mathrm{n}}}^{(2)}$$.

One of the most elementary properties of a quantum state is its purity. For n qubits it reads (see “Methods” section):

$${\mathcal{P}}\left(\varrho \right)\equiv {\rm{tr}}\left({\varrho }^{2}\right)=\frac{1}{{2}^{n}}{\sum \limits_{{\mathcal{A}}\in {\mathbb{P}}({\mathcal{S}})}}{3}^{| {\mathcal{A}}| }{m}_{{\mathcal{A}}},$$
(7)

where $${\mathbb{P}}({\mathcal{S}})$$ is the set of all subsets of $${\mathcal{S}}=\{1,\ldots ,n\}$$ and $$| {\mathcal{A}}|$$ denotes the cardinality of the set $${\mathcal{A}}$$. Clearly, the purity is accessible in the experiment with random measurements and forms the basis of our methods for detecting multipartite entanglement. Note that in the case of a single qubit, the purity parameterizes the spectrum of the density matrix and hence any function of the quantum state which is invariant under local unitary transformations.

Let us consider the simplest case of pure two-qubit states. The second moments of any product state satisfy m12 = m1m2. In consequence, the observation of m12 > m1m2 indicates entanglement for pure states. This reasoning cannot be easily extended to general states, since this inequality can also be satisfied for incoherent mixtures of product states. However, we have found a purity dependent tightening of the inequality such that any m12 above a certain purity dependent threshold must be due to quantum entanglement. In the “Methods” section we derive the following entanglement witness condition:

$${{\mathcal{M}}}_{2}\equiv {m}_{12}-{m}_{1}{m}_{2}\le \left\{\begin{array}{ll}4(1-{\mathcal{P}}){\mathcal{P}}/9&\ {\rm{for}}\ {\mathcal{P}}\ge \frac{1}{2},\\ (4{\mathcal{P}}-1)/9&\ {\rm{for}}\ {\mathcal{P}}<\frac{1}{2}.\end{array}\right.$$
(8)

It holds for all separable states of two qubits with purity $${\mathcal{P}}\equiv {\mathcal{P}}\left(\varrho \right)$$. The bound is tight and achieved, e.g., by the state $$p\left|00\right\rangle \left\langle 00\right|+(1-p)\left|11\right\rangle \left\langle 11\right|$$. This powerful criterion can be generalized to the detection of genuine multipartite entanglement.

From the definition of genuine multipartite entanglement, i.e. entanglement which does not allow to represent a state as a mixture of product states across any bipartition, the left-hand side of Eq. (8) generalizes for an n-qubit state to

$${{\mathcal{M}}}_{{\mathrm{n}}}\equiv {m}_{{\mathcal{S}}}-\frac{1}{2}{\sum \limits_{{\mathcal{A}}\in \{{\mathbb{P}}({\mathcal{S}})\setminus ({\mathcal{S}}\cup \varnothing )\}}}{m}_{{\mathcal{A}}}{m}_{{\mathcal{S}}\setminus {\mathcal{A}}},$$
(9)

where the factor of 1/2 resolves the issue of the double counting in the sum.

By numerical simulations, we find that the following condition holds for three-qubit bi-separable (not genuinely multipartite entangled) states

$${{\mathcal{M}}}_{3}\,=\,{m}_{123}\,-\,{m}_{1}{m}_{23}\,-\,{m}_{2}{m}_{13}\,-\,{m}_{3}{m}_{12}\,\le\, \frac{8}{27}(1-{\mathcal{P}}){\mathcal{P}}.$$
(10)

We have verified this inequality by extensive numerical search described in “Methods” section. The bound is tight for $${\mathcal{P}}\ge \frac{1}{2}$$ and is achieved by, e.g., the state $$p\left|{\phi }^{+}\right\rangle \langle {\phi }^{+}| \otimes | 0\rangle \langle 0| +(1\,-\,p)| {\phi }^{-}\rangle \langle {\phi }^{-}| \otimes | 1\rangle \left\langle 1\right|$$ with the Bell states $$\left|{\phi }^{\pm }\right\rangle =\frac{1}{\sqrt{2}}(\left|00\right\rangle \pm \left|11\right\rangle )$$.

The bounds of the last two inequalities give hope for a simple dependence on the number of qubits. A straightforward generalization from the previous bounds gives $${(2/3)}^{4}(1-{\mathcal{P}}){\mathcal{P}}$$. However, there exist bi-separable four-qubit states that violate this hypothetical bound. We found by a numerical study that the inequality satisfied by bi-separable four qubit states has the following dependence on the purity,

$$\begin{array}{ccc}{{\mathcal{M}}}_{4}\le \frac{8}{81}(1-{{\mathcal{P}}}^{2}).&&\end{array}$$
(11)

This bound is also tight for $${\mathcal{P}}\ge \frac{5}{8}$$ and achieved by, e.g., the state $$p{\left|{\phi }^{+}\right\rangle }_{12}{\langle {\phi }^{+}| \otimes | {\phi }^{+}\rangle }_{34}{\langle {\phi }^{+}| +(1-p)| {\phi }^{+}\rangle }_{13}{\langle {\phi }^{+}| \otimes | {\phi }^{+}\rangle }_{24}\left\langle {\phi }^{+}\right|$$.

Our numerical results strongly indicate that any violation of inequality (Eq. (10) or Eq. (11)) certifies genuine multipartite entanglement between three or four qubits, respectively. We emphasize that these criteria require only the second moments of the observed distributions.

Application of the conditions of Eqs. (8, 10, and 11) to experimental data (Fig. 3) indeed enables detection of genuine n-partite entanglement for various subsets of particles. For the cluster and the GHZ state, genuine 4-partite entanglement is revealed with Eq. (11) using $${{\mathcal{M}}}_{4}\approx 0.0330\,\pm\,0.0004\,>\,0.0074\,\pm\,0.0012$$ and $${{\mathcal{M}}}_{4}\,\approx\,0.0311\,\pm\,0.0006\,>\,0.0099\,\pm\,0.0012$$, respectively. The biseparable and triseparable states do not violate their respective bound. Investigating the entanglement properties for their marginal states, one can now prove the entanglement for the 12-marginal and the 34-marginal of the biseparable state as well as the 12-marginal of the triseparable state. It is therefore possible to conclude that the biseparable state contains contributions of at least ϱ12 ϱ34, with entanglement between 1 and 2 and between 3 and 4, and the triseparable state contains ϱ12 ϱ3 ϱ4. Note that the state could also contain genuine 4-partite entanglement, which was not revealed by $${{\mathcal{M}}}_{4}$$.

## Discussion

This work introduces a scheme to detect genuine multipartite entanglement and reveal its detailed structure in the absence of any reference frames and even for strongly fluctuating channels. Key to this method is to subject a multipartite quantum system to randomly chosen local measurements and to analyze full and marginal correlations between local results using second moments of respective correlation distributions. Haar random sampling removes any bias of the noise and, provided that the generation rate of multiqubit states is higher than the rate of fluctuations along the channel, neither the strength nor any characteristics of the noise matter. The power of our procedure is demonstrated here by reconstructing the entanglement structure of various experimentally prepared photonic four-qubit states. From this, many more interesting questions arise, e.g., whether it is possible to—up to suitable transformations—tomographically reconstruct quantum states or characterize quantum processes in our scenario of fully randomized local measurement directions.

## Methods

### Finite sample size correction

In our experiment, two different types of statistical effects have to be taken into account. On one hand, for obtaining the distributions as in Fig. 2, a finite number Ns of measurement settings (Ns = 10,000 in our case) is used. This leads to an uncertainty in estimating the second moments $${m}_{{\mathcal{A}}}\equiv {m}_{{\mathcal{A}}}^{(2)}$$. This statistical error can be approximated by

$${\left(\Delta {m}_{{\mathcal{A}}}^{(2)}\right)}^{2}=\frac{1}{{N}_{{\mathrm{s}}}}\left[{m}_{{\mathcal{A}}}^{(4)}-\frac{{N}_{{\mathrm{s}}}-3}{{N}_{{\mathrm{s}}}-1}{\left({m}_{{\mathcal{A}}}^{(2)}\right)}^{2}\right],$$
(12)

which describes the variance of the sample variance.

On the other hand, each correlation $${E}_{{\mathcal{A}}}^{(j)}\equiv E$$ is obtained by performing Nc measurements in the same setting. Due to this finite sample size, for each expectation value in general we do not obtain the ideal result ER, but measure a value EM at random from a conditional probability distribution p(EMER), approximately given by the Gaussian

$$p\left({E}_{{\mathrm{M}}}| {E}_{{\mathrm{R}}}\right)=\frac{1}{\sqrt{2\pi }\sigma }\exp \left(-\frac{{\left({E}_{{\mathrm{M}}}-{E}_{{\mathrm{R}}}\right)}^{2}}{2{\sigma }^{2}}\right),$$
(13)

centered around ER with $$\sigma =\sqrt{1-{E}_{{\mathrm{R}}}^{2}}/\sqrt{{N}_{{\mathrm{c}}}},$$ see, e.g., ref. 24.

This statistical deviation leads to an overestimation of $${m}_{{\mathcal{A}}}$$. We mitigate this systematic inaccuracy by taking into account the well known statistical effect from Eq. (13). Employing Bayesian methods, we are able to obtain $$p\left({E}_{{\mathrm{R}}}| {E}_{{\mathrm{M}}}\right)$$ from $$p\left({E}_{{\mathrm{M}}}| {E}_{{\mathrm{R}}}\right)$$ allowing to calculate $${m}_{{\mathcal{A}}}$$ with reduced bias as

$$\begin{array}{l}{m}_{{\mathcal{A}}}=\displaystyle{\int \nolimits_{-1}^{1}}{\rm{d}}{E}_{{\mathrm{R}}}\ p({E}_{{\mathrm{R}}})\ {E}_{{\mathrm{R}}}^{2}=\displaystyle{\int \nolimits_{-1}^{1}}{\rm{d}}{E}_{{\mathrm{R}}}\, {\int \nolimits_{-1}^{1}}{\rm{d}}{E}_{{\mathrm{M}}}\ p({E}_{{\mathrm{R}}}| {E}_{{\mathrm{M}}})\ p({E}_{{\mathrm{M}}})\ {E}_{{\mathrm{R}}}^{2}.\end{array}$$
(14)

Bayes’ theorem provides $$p({E}_{{\mathrm{R}}}| {E}_{{\mathrm{M}}})$$ as

$$\begin{array}{l}p({E}_{{\mathrm{R}}}| {E}_{{\mathrm{M}}})=\frac{p({E}_{{\mathrm{M}}}| {E}_{{\mathrm{R}}})\tilde{p}({E}_{{\mathrm{R}}})}{p({E}_{{\mathrm{M}}})} =\frac{p({E}_{{\mathrm{M}}}| {E}_{{\mathrm{R}}})\tilde{p}({E}_{{\mathrm{R}}})}{{\int\nolimits_{-1}^{1}}{\rm{d}}{E}_{{\mathrm{R}}}^{\prime}\ p({E}_{{\mathrm{M}}}| {E}_{{\mathrm{R}}}^{\prime})\ \tilde{p}({E}_{{\mathrm{R}}}^{\prime})},\end{array}$$
(15)

where $$\tilde{p}({E}_{{\mathrm{R}}})$$ represents the prior assumption about the unknown distribution p(ER). For our evaluation we use the measured distribution p(EM) as the prior guess about p(ER) and obtain an updated distribution according to the statistical analysis above. This distribution is used to evaluate the moments.

### Purity

Per definition, the purity is $${\mathcal{P}}\equiv {\rm{tr}}\left({\varrho }^{2}\right)$$. Any n-qubit state can be written as

$$\varrho =\frac{1}{{2}^{n}}{\sum \limits_{{\mu }_{1},\ldots, {\mu }_{{\mathrm{n}}} = 0}^{3}}{T}_{{\mu }_{1}\ldots {\mu }_{{\mathrm{n}}}}{\sigma }_{{\mu }_{1}}\otimes \ldots \otimes {\sigma }_{{\mu }_{{\mathrm{n}}}},$$
(16)

where $${T}_{{\mu }_{1}\ldots {\mu }_{{\mathrm{n}}}}={\rm{tr}}\left(\varrho {\sigma }_{{\mu }_{1}}\otimes \ldots \otimes {\sigma }_{{\mu }_{{\mathrm{n}}}}\right)$$ and σ’s are the Pauli operators. Accordingly,

$${\mathcal{P}}\equiv {\rm{tr}}\left({\varrho }^{2}\right)=\frac{1}{{2}^{n}}{\sum \limits_{{\mu }_{1},\ldots, {\mu }_{{\mathrm{n}}} = 0}^{3}}{T}_{{\mu }_{1}{\mu }_{2}\ldots {\mu }_{{\mathrm{n}}}}^{2}$$
$$=\frac{1}{{2}^{n}}\left[{T}_{0\ldots 0}^{2}+\mathop{\sum }\limits_{{j}_{1} = 1}^{3}{T}_{{j}_{1}0\ldots 0}^{2}+\ldots +\mathop{\sum }\limits_{{j}_{{\mathrm{n}}} = 1}^{3}{T}_{0\ldots 0{j}_{{\mathrm{n}}}}^{2}\right.$$
$$+\mathop{\sum }\limits_{{j}_{1},{j}_{2} = 1}^{3}{T}_{{j}_{1}{j}_{2}0\ldots 0}^{2}+\ldots +\mathop{\sum }\limits_{{j}_{n-1},{j}_{{\mathrm{n}}} = 1}^{3}{T}_{0\ldots 0{j}_{n-1}{j}_{{\mathrm{n}}}}^{2}$$
$$+\cdots +$$
$$+\left.\mathop{\sum }\limits_{{j}_{1},\ldots ,{j}_{{\mathrm{n}}} = 1}^{3}{T}_{{j}_{1}\ldots {j}_{{\mathrm{n}}}}^{2}\right]$$
$$=\frac{1}{{2}^{n}}\left[1+3\left({m}_{1}+{m}_{2}+\ldots \right)+{3}^{2}\left({m}_{12}+{m}_{13}+\ldots \right)\right.$$
$$\left.+\ldots +{3}^{n}{m}_{12\ldots n}\right]=\frac{1}{{2}^{n}}{\sum \limits_{{\mathcal{A}}\in {\mathbb{P}}({\mathcal{S}})}}{3}^{| {\mathcal{A}}| }\ {m}_{{\mathcal{A}}},$$
(17)

where $${\mathbb{P}}({\mathcal{S}})$$ is the set of all subsets of $${\mathcal{S}}=\{1,\ldots ,n\}$$ and $$| {\mathcal{A}}|$$ denotes the cardinality of the set $${\mathcal{A}}$$, as in the main text.

### Two-qubit condition

Here we prove Eq. (8) of the main text. The problem is to maximize the value of $${{\mathcal{M}}}_{2}={m}_{12}-{m}_{1}{m}_{2}$$ over separable states of two qubits with a fixed purity $${\mathcal{P}}$$. Any two-qubit state admits a decomposition

$$\varrho =\frac{1}{4}\mathop{\sum }\limits_{\mu ,\nu = 0}^{3}{T}_{\mu \nu }{\sigma }_{\mu }\otimes {\sigma }_{\nu },$$
(18)

where $${T}_{\mu \nu }={\rm{tr}}\left(\varrho {\sigma }_{\mu }\otimes {\sigma }_{\nu }\right)$$. In order to simplify numerical factors, we note that the second moments satisfy16,17:

$${m}_{12}=\frac{1}{9}\mathop{\sum }\limits_{j,k = 1}^{3}{T}_{jk}^{2}\equiv \frac{1}{9}{\overline{m}}_{12},$$
(19)
$${m}_{1}=\frac{1}{3}\mathop{\sum }\limits_{j = 1}^{3}{T}_{j0}^{2}\equiv \frac{1}{3}{\overline{m}}_{1},$$
(20)
$${m}_{2}=\frac{1}{3}\mathop{\sum }\limits_{k = 1}^{3}{T}_{0k}^{2}\equiv \frac{1}{3}{\overline{m}}_{2}.$$
(21)

The problem is therefore to maximize $${\overline{m}}_{12}-{\overline{m}}_{1}{\overline{m}}_{2}$$ (and then multiply the result by $$\frac{1}{9}$$). Using the definition of the purity results in

$${\overline{m}}_{12}=4{\mathcal{P}}-1-{\overline{m}}_{1}-{\overline{m}}_{2}.$$
(22)

Therefore, the figure of merit reads:

$$\begin{array}{l}9{{\mathcal{M}}}_{2}=4{\mathcal{P}}-1-{\overline{m}}_{1}-{\overline{m}}_{2}-{\overline{m}}_{1}{\overline{m}}_{2}\\ \qquad\,\,\le 4{\mathcal{P}}-1,\end{array}$$
(23)

owing to the non-negativity of each second moment. This bound holds for all states and is achieved by separable states of purity $${\mathcal{P}}\in [\frac{1}{4},\frac{1}{2}]$$. An example for a state on the boundary is the mixture of white noise $$\frac{1}{4}{\Bbb{1}}$$ with the classically correlated state $$\frac{1}{2}\left|00\right\rangle \left\langle 00\right|+\frac{1}{2}\left|11\right\rangle \left\langle 11\right|$$.

In order to derive the boundary for separable states with purity $${\mathcal{P}}\in [\frac{1}{2},1]$$, we recall the definition of separability, i.e.,

$${\varrho }_{{\rm{sep}}}={\sum \limits_{\mathrm{j}}}{p}_{{\mathrm{j}}}{\varrho }_{{\mathrm{A}}}^{{\mathrm{j}}}\otimes {\varrho }_{{\mathrm{B}}}^{{\mathrm{j}}}.$$
(24)

Therefore, any set of positive maps, but not necessarily completely positive, acting on a subsystem preserves separability. Let us apply a so-called universal-not gate on subsystem A. It is perhaps the simplest to introduce it using the Bloch sphere picture. Universal-not reflects the Bloch vector of the state on which it acts about the origin, i.e., it is a linear map σj → − σj which puts a minus in front of every local Pauli operator. Clearly, any physical state, represented by the Bloch vector within a unit ball, is mapped to another physical state. Yet, universal-not is not completely positive25. A generic two-qubit state is transformed by the universal-not gate on A as follows:

$$\begin{array}{l}\varrho =\frac{1}{4}\left({\Bbb{1}}\otimes {\Bbb{1}}+{\sum \limits_{{\mathrm{j}} = 1}^{3}}{T}_{{\mathrm{j}}0}{\sigma }_{{\mathrm{j}}}\otimes {\Bbb{1}}+{\sum \limits_{{\mathrm{k}} = 1}^{3}}{T}_{0k}{\Bbb{1}}\otimes {\sigma }_{{\mathrm{k}}}\right. +\left.{\sum \limits_{{\mathrm{j,k}} = 1}^{3}}{T}_{{\mathrm{jk}}}{\sigma }_{{\mathrm{j}}}\otimes {\sigma }_{{\mathrm{k}}}\right) \\ \to \overline{\varrho }=\frac{1}{4}\left({\Bbb{1}}\otimes {\Bbb{1}}-{\sum \limits_{{\mathrm{j}} = 1}^{3}}{T}_{{\mathrm{j}}0}{\sigma }_{{\mathrm{j}}}\otimes {\Bbb{1}}+{\sum \limits_{{\mathrm{k}} = 1}^{3}}{T}_{0{\mathrm{k}}}{\Bbb{1}}\otimes {\sigma }_{{\mathrm{k}}}\right. -\left.{\sum \limits_{{\mathrm{j,k}} = 1}^{3}}{T}_{{\mathrm{jk}}}{\sigma }_{{\mathrm{j}}}\otimes {\sigma }_{{\mathrm{k}}}\right).\end{array}$$
(25)

Since we are assuming that ϱ is separable, $$\overline{\varrho }$$ is also a separable physical state, i.e., a positive semi-definite operator. Accordingly, the overlap between two positive semi-definite operators cannot be negative and we have

$$0\le {\rm{tr}}\left(\varrho \overline{\varrho }\right)=\frac{1}{4}(1-{\overline{m}}_{1}+{\overline{m}}_{2}-{\overline{m}}_{12}).$$
(26)

Summing this up with the purity condition

$${\mathcal{P}}=\frac{1}{4}\left(1+{\bar{m}}_{1}+{\bar{m}}_{2}+{\overline{m}}_{12}\right)$$
(27)

gives the following inequality satisfied by all separable states with purity $${\mathcal{P}}$$:

$${\overline{m}}_{2}\ge 2{\mathcal{P}}-1.$$
(28)

By applying a universal-not on particle B and following the same steps, one obtains

$${\overline{m}}_{1}\ge 2{\mathcal{P}}-1.$$
(29)

Finally,

$$\begin{array}{c}{\overline{m}}_{12}-{\overline{m}}_{1}{\overline{m}}_{2}=4{\mathcal{P}}-1-{\overline{m}}_{1}-{\overline{m}}_{2}-{\overline{m}}_{1}{\overline{m}}_{2} \le 4{\mathcal{P}}(1-{\mathcal{P}}),\end{array}$$
(30)

where the inequality follows from (Eqs. 28 and 29).

### Strength of the new criterion

We now show that the new criterion, Eq. (30), is stronger than those in the refs. 12,13,14,15,16,17, which in the present notation read $${\overline{m}}_{12}\,\le\,1$$. The underlying reason is that Eq. (30) takes the purity and lower order correlations into account.

We first show that whenever $${\overline{m}}_{12}\,>\,1$$, then also our criterion is violated, i.e., $${\overline{m}}_{12}-{\overline{m}}_{1}{\overline{m}}_{2}-4{\mathcal{P}}(1-{\mathcal{P}})\,>\,0$$. We start by rewriting the left-hand side of the latter using Eq. (27). Next we utilize the condition $${\overline{m}}_{12}\,>\,1$$ in the resulting expression and this simplifies it to $$\frac{1}{4}{({\overline{m}}_{1}-{\overline{m}}_{2})}^{2}$$, which is clearly non-negative. In this context see also26, where an entanglement criterion is derived in terms of the difference between lengths of local Bloch vectors.

Finally, we present examples of entangled states for which $${\overline{m}}_{12}=1$$, but nevertheless the new criterion detects entanglement. For simplicity we represent the states in terms of the correlation tensor. We choose $${T}_{{\mathrm{xx}}}={T}_{{\mathrm{yy}}}=-{T}_{{\mathrm{zz}}}=\frac{1}{\sqrt{3}},$$, which ensures $${\overline{m}}_{12}=1$$, and also local Bloch vectors with z-components $${T}_{0z}=\frac{1}{6}(-3+\sqrt{3}+\sqrt{2}\ {3}^{3/4})$$ and $${T}_{z0}=\frac{1}{6}(-3+\sqrt{3}-\sqrt{2}\ {3}^{3/4})$$. Among many physically allowed values of T0z and Tz0 for which the new criterion is violated, the ones given here produce maximal violation.

### Numerical simulations

Here we give numerical evidence for the bounds of Eqs. (10 and 11) of the main text. We performed sampling of more than 106 biseparable states and always found the bounds satisfied. Figure 4 illustrates the results of numerical simulation.

For the case of three qubits we find the following improved boundary for small values of $${\mathcal{P}}$$:

$${{\mathcal{M}}}_{3}\le \left\{\begin{array}{ll}(8{\mathcal{P}}-1)/27&\ {\rm{for}}\ {\mathcal{P}}\in [\frac{1}{8},\frac{1}{4}],\\ 4{\mathcal{P}}/27&\ {\rm{for}}\ {\mathcal{P}}\in (\frac{1}{4},\frac{1}{2}],\\ 8(1-{\mathcal{P}}){\mathcal{P}}/27&\ {\rm{for}}\ {\mathcal{P}}\,>\,\frac{1}{2},\end{array}\right.$$
(31)

while the improved boundary for four qubits reads

$${{\mathcal{M}}}_{4}\le \left\{\begin{array}{ll}(16{\mathcal{P}}-1)/81&\ {\rm{for}}\ {\mathcal{P}}\in [\frac{1}{16},\frac{1}{4}],\\ 2(-8{{\mathcal{P}}}^{2}+16{\mathcal{P}}+1)/243&\ {\rm{for}}\ {\mathcal{P}}\in (\frac{1}{4},{{\mathcal{P}}}_{0}],\\ 8(1-{{\mathcal{P}}}^{2})/81&\ {\rm{for}}\ {\mathcal{P}}\,>\,{{\mathcal{P}}}_{0},\end{array}\right.$$
(32)

where $${{\mathcal{P}}}_{0}=\frac{-4+3\sqrt{3}}{2}\approx 0.60$$.

## Data availability

All data generated during this study are available from the corresponding author on reasonable request.

## References

1. Wallman, J. J., Liang, Y.-C. & Bartlett, S. D. Generating nonclassical correlations without fully aligning measurements. Phys. Rev. A 83, 022110 (2011).

2. Wallman, J. J. & Bartlett, S. D. Observers can always generate nonlocal correlations without aligning measurements by covering all their bases. Phys. Rev. A 85, 024101 (2012).

3. Palsson, M. S., Wallman, J. J., Bennet, A. J. & Pryde, G. J. Experimentally demonstrating reference-frame-independent violations of bell inequalities. Phys. Rev. A 86, 032322 (2012).

4. Senel, C. F., Lawson, T., Kaplan, M., Markham, D. & Diamanti, E. Demonstrating genuine multipartite entanglement and nonseparability without shared reference frames. Phys. Rev. A 91, 052118 (2015).

5. Liang, Y.-C., Harrigan, N., Bartlett, S. D. & Rudolph, T. Nonclassical correlations from randomly chosen local measurements. Phys. Rev. Lett. 104, 050401 (2010).

6. Shadbolt, P. et al. Guaranteed violation of a bell inequality without aligned reference frames or calibrated devices. Sci. Rep. 2, 470 (2012).

7. Elben, A., Vermersch, B., Roos, C. F. & Zoller, P. Statistical correlations between locally randomized measurements: a toolbox for probing entanglement in many-body quantum states. Phys. Rev. A 99, 052323 (2019).

8. Laskowski, W., Richart, D., Schwemmer, C., Paterek, T. & Weinfurter, H. Experimental schmidt decomposition and state independent entanglement detection. Phys. Rev. Lett. 108, 240501 (2012).

9. Laskowski, W. et al. Optimized state-independent entanglement detection based on a geometrical threshold criterion. Phys. Rev. A 88, 022327 (2013).

10. de Rosier, A., Gruca, J., Parisio, F., Vertesi, T. & Laskowski, W. Multipartite nonlocality and random measurements. Phys. Rev. A 96, 012101 (2017).

11. Fonseca, A., de Rosier, A., Vertesi, T., Laskowski, W. & Parisio, F. Survey on the bell nonlocality of a pair of entangled qudits. Phys. Rev. A 98, 042105 (2018).

12. Hassan, A. S. M. & Joag, P. S. Separability criterion for multipartite quantum states based on the bloch representation of density matrices. Quant. Inf. Comp. 8, 773 (2007).

13. Hassan, A. S. M. & Joag, P. S. Experimentally accessible geometric measure for entanglement in n-qubit pure states. Phys. Rev. A 77, 062334 (2008).

14. Hassan, A. S. M. & Joag, P. S. Geometric measure for entanglement in n-qudit pure states. Phys. Rev. A 80, 042302 (2009).

15. Lawson, T. et al. Reliable experimental quantification of bipartite entanglement without reference frames. Phys. Rev. A 90, 042336 (2014).

16. Tran, M. C., Dakić, B., Arnault, F., Laskowski, W. & Paterek, T. Quantum entanglement from random measurements. Phys. Rev. A 92, 050301 (2015).

17. Tran, M. C., Dakić, B., Laskowski, W. & Paterek, T. Correlations between outcomes of random measurements. Phys. Rev. A 94, 042302 (2016).

18. Ketterer, A., Wyderka, N. & Gühne, O. Characterizing multipartite entanglement with moments of random correlations. Phys. Rev. Lett. 122, 120505 (2019).

19. Brydges, T. et al. Probing rényi entanglement entropy via randomized measurements. Science 364, 260–263 (2019).

20. James, D. F. V., Kwiat, P. G., Munro, W. J. & White, A. G. Measurement of qubits. Phys. Rev. A 64, 052312 (2001).

21. Knips, L., Schwemmer, C., Klein, N., Wieśniak, M. & Weinfurter, H. Multipartite entanglement detection with minimal effort. Phys. Rev. Lett. 117, 210504 (2016).

22. Meinecke, J. D. A. Quantum correlations in multi-photon quantum walks. Ph.D. Thesis (2014).

23. Shadbolt, P. Complexity and Control in Quantum Photonics (Springer, 2016).

24. Knips, L. et al. How long does it take to obtain a physical density matrix? Preprint at https://arxiv.org/abs/1512.06866 (2015).

25. Buzek, V., Hillery, M. & Werner, R. F. Optimal manipulations with qubits: Universal-NOT gate. Phys. Rev. A 60, R2626 (1999).

26. Horodecki, R., Horodecki, P. & Horodecki, M. Quantum α-entropy inequalities: independent condition for local realism? Phys. Lett. A 210, 377 (1996).

## Acknowledgements

We thank Otfried Gühne, Felix Huber, and Nikolai Wyderka for fruitful discussions. This research was supported by the DFG (Germany) and NCN (Poland) within the joint funding initiative “Beethoven 2” (2016/23/G/ST2/04273, 381445721), and by the DFG under Germany’s Excellence Strategy EXC-2111 390814868. We acknowledge the Singapore Ministry of Education Academic Research Fund Tier 2, Project No. MOE2015-T2-2-034. W.L. acknowledges partial support from the Foundation for Polish Science (IRAP project ICTQT, Contract No. 2018/MAB/5, cofinanced by EU via Smart Growth Operational Programme). T.P. is supported by the Polish National Agency for Academic Exchange NAWA Project No. PPN/PPO/2018/1/00007/U/00001. J.D. and L.K. acknowledge support from the PhD programs IMPRS-QST and ExQM, respectively.

## Author information

Authors

### Contributions

J.D.A.M. and P.J.S. initialized the project. L.K., J.D., H.W., and J.D.A.M. designed the experimental setup and performed the experiment. L.K., J.D., W.K., W.L., and T.P. developed the theory. All authors contributed to analyzing the results, and writing the manuscript.

### Corresponding authors

Correspondence to Lukas Knips or Wiesław Laskowski.

## Ethics declarations

### Competing interests

The authors declare no competing interests.

Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

Reprints and Permissions

Knips, L., Dziewior, J., Kłobus, W. et al. Multipartite entanglement analysis from random correlations. npj Quantum Inf 6, 51 (2020). https://doi.org/10.1038/s41534-020-0281-5

• Accepted:

• Published:

• DOI: https://doi.org/10.1038/s41534-020-0281-5

• ### Symmetry-resolved entanglement detection using partial transpose moments

• Antoine Neven
• Jose Carrasco
• Barbara Kraus

npj Quantum Information (2021)