Tomography from collective measurements

  • A. Muñoz
  • A. B. Klimov
  • M. Grassl
  • L. L. Sánchez-Soto
Open Access


We discuss the tomography of N-qubit states using collective measurements. The method is exact for symmetric states, whereas for not completely symmetric states the information accessible can be arranged as a mixture of irreducible SU(2) blocks. For the fully symmetric sector, the reconstruction protocol can be reduced to projections onto a canonically chosen set of pure states.


Quantum tomography Quantum information Collective measurements Symmetric states 

1 Introduction

Continuous-variable tomography has been exhaustively explored, from both theoretical and experimental viewpoints [1]. However, the corresponding problem for discrete systems stands as challenge [2]. If we look at the example of N qubits, which will be our thread in this paper, one has to make at least \(2^{N}+1\) measurements in different bases before to determine the state of an a priori unknown system [3, 4, 5, 6]. With such an exponential scaling, it is clear that only few-qubit states can be reconstructed in a reasonable time [7, 8].

As a result, alternative techniques are called for. A wide class of new protocols are explicitly targeted for particular types of states. This includes states with low rank [9, 10, 11, 12], such as matrix product states (MPS) [13, 14], or multiscale entanglement renormalization ansatz (MERA) states [15]. The extra assumption of permutationally invariance was also examined [16, 17, 18, 19, 20], reducing the scaling of the required setups to \(N^{3}\).

In the same spirit of simplicity, one may be tempted to examine the case when one can extract only partial information from the system under consideration. This happens, e.g., in large multipartite systems, wherein addressing individual particles turns out to be a formidable task. Bose–Einstein condensates constitute an archetype of this situation: only collective spin observables can be efficiently measured through detection of the spontaneous emission correlation functions [21, 22].

By assessing collective spin operators, one can only access the SU(2) invariant subspaces appearing in the decomposition of the N-qubit density matrix. The problem of partial state tomography appears thus analogous to that of permutationally invariant states.

In the present work, we show that one can obtain an explicit partial reconstruction for the N-qubit density matrix in terms of average values of correlation functions of approximately \(N^{3}\) collective spin operators. In other words, we propose to arrange \(O(N^{3})\) experimental data points inside SU(2) invariant subspaces. As an illustration, we analyze the fidelity of the reconstructed states for 2 and 3 qubits. In addition, we demonstrate that when the state belongs to the fully symmetric (Dicke) subspace, the tomographic measurements reduce to rank-one positive operator valued measurements (POVMs), and we find the corresponding operational expansion. As a bonus, we introduce a new type of discrete special functions that might find further applications in the analysis of N-qubit systems.

The paper is organized as follows. In Sect. 2 we briefly recall the principal aspects of discrete phase-space distribution functions and of the standard tomographic scheme. In Sect. 3 we provide explicit expressions for the permutationally invariant tomography for a N-qubit system, whereas in Sect. 4 an alternative scheme for fully symmetric states is presented. Finally, Sect. 5 summarizes our main results.

2 Standard discrete tomography

For a system of N qubits, the Hilbert space is the tensor product \({\mathbb {C}}^{2} \otimes \cdots \otimes {\mathbb {C}}^{2} = {\mathbb {C}}^{2N}\). The generators of the Pauli group \({\mathscr {P}}_{N}\) can be written as [23, 24]
$$\begin{aligned} {\hat{Z}}_{\alpha } = {\hat{\sigma }}_{z}^{\alpha _{1}} \otimes \cdots \otimes {\hat{\sigma }}_{z}^{\alpha _{N}}, \quad {\hat{X}}_{\beta } = {\hat{\sigma }}_{x}^{\beta _{1}} \otimes \cdots \otimes {\hat{\sigma }}_{x}^{\beta _{N}}, \end{aligned}$$
so that they are labeled by N-tuples \(\alpha =(\alpha _{1},\ldots ,\alpha _{N})\) and \(\beta =(\beta _{1},\ldots ,\beta _{N})\), with \(\alpha _{j}, \beta _{j}\in {\mathbb {Z}}_{2}\). Here, \({\hat{\sigma }}_{z}\) and \({\hat{\sigma }}_{x}\) are the usual Pauli operators on the ith qubit: \({\hat{\sigma }}_{z}=|0\rangle \langle 0|-|1\rangle \langle 1|\) and \({\hat{\sigma }}_{x}=|0\rangle \langle 1|+|1\rangle \langle 0|\) in the orthonormal computational basis \(\{ |0 \rangle , | 1 \rangle \}\).
We next define the operators
$$\begin{aligned} {\hat{\Delta }}^{(s)}( \alpha ,\beta ) = \frac{1}{2^{N(s+3)/2}} \sum _{\gamma ,\delta \in {\mathbb {Z}}_2^N} ( -1) ^{\alpha \delta +\beta \gamma +\gamma \delta (1-s)/2} \langle \xi |{\hat{Z}}_{\gamma }{\hat{X}}_{\delta }|\xi \rangle ^{-s} {\hat{Z}}_{\gamma }{\hat{X}}_{\delta }, \end{aligned}$$
where \(s = \pm 1\). From a physical perspective, the fiducial state \(|\xi \rangle \) can be chosen as a factorized symmetric (with respect to particle permutations) state \( |\xi \rangle = \otimes _{i=1}^{N} |\xi \rangle _{i}\)
$$\begin{aligned} |\xi \rangle _{i} = \frac{1}{\sqrt{1+|\xi |^{2}}} (|0\rangle _{i}+\xi |1\rangle _{i}), \end{aligned}$$
and \(\xi =\frac{\sqrt{3}-1}{\sqrt{2}}e^{i\pi /4}\), which corresponds to a spin coherent state determined by the normalized vector \({\mathbf {n}}=(1,1,1)/\sqrt{3}\) on the Bloch sphere [25]. The operators \({\hat{\Delta }}^{(s)}\) form a biorthogonal operator basis, namely
$$\begin{aligned} \mathop {\mathrm{Tr}}\left[ {\hat{\Delta }}^{(1)} ( \alpha ^{\prime },\beta ^{\prime }) \, {\hat{\Delta }}^{(-1)} ( \alpha ,\beta ) \right] =2^{N}\delta _{\alpha \alpha ^{\prime }}\delta _{\beta \beta ^{\prime }}. \end{aligned}$$
In complete analogy with the continuous case [26, 27], any operator \({\hat{A}}\) acting on the Hilbert space \({\mathbb {C}}^{2^{N}}\) can be expanded in this basis as
$$\begin{aligned} {\hat{A}} = \sum _{\alpha ,\beta \in {\mathbb {Z}}_2^N } Q_{A} ( \alpha ,\beta ) \; {\hat{\Delta }}^{(1)} ( \alpha ,\beta ), \end{aligned}$$
where \(Q_{A} ( \alpha ,\beta ) =\mathop {\mathrm{Tr}}[ {\hat{A}} \; \Delta ^{(-1)} ( \alpha ,\beta )]\).
Actually, the kernel \({\hat{\Delta }}^{(-1)}(\alpha ,\beta )\) can be represented as a rank-one projector
$$\begin{aligned} {\hat{\Delta }}^{(-1)} ( \alpha ,\beta ) = |\alpha ,\beta \rangle \langle \alpha ,\beta |. \end{aligned}$$
Here, \(|\alpha ,\beta \rangle \) are discrete coherent states, constructed as [28, 29, 30, 31, 32]
$$\begin{aligned} |\alpha ,\beta \rangle = \exp [i \chi ( \alpha ,\beta )] \; {\hat{Z}}_{\alpha }{\hat{X}}_{\beta }|\xi \rangle , \end{aligned}$$
where \(\exp [i \chi ( \alpha ,\beta )]\) is an appropriately chosen phase that is irrelevant for our purposes here. Up to normalization, the set of projectors (6) forms an informationally complete POVM [33, 34] with the choice (3) for the fiducial state. They satisfy the condition
$$\begin{aligned} \sum _{\alpha ,\beta \in {\mathbb {Z}}_2^N} |\alpha ,\beta \rangle \langle \alpha ,\beta | = 2^{N} \mathbb {1}. \end{aligned}$$
In the single-qubit case they form a SIC-POVM with four elements, and for N qubits, they correspond to tensor products of the single-qubit SIC-POVM elements. Equation (5) can be thus interpreted as a tomographic reconstruction of the operator \({\hat{A}}\) in terms of measured probabilities \(Q_{A}(\alpha ,\beta ) = \langle \alpha ,\beta | {\hat{A}}|\alpha ,\beta \rangle \). Moreover, \(Q=\mathop {\mathrm{Tr}}[ {\hat{A}} \, \Delta ^{(-1)} ]\) and \(P=\mathop {\mathrm{Tr}}[ {\hat{A}} \, \Delta ^{(1)}]\) are discrete analogous of their continuous counterparts, defined in a \(2^{N}\times 2^{N}\) discrete phase space [35, 36].

3 Tomography from collective measurements

The representation (5) requires measuring the POVM (6) with \(2^{2N}\) elements. This provides a minimal complete tomography, but it is extremely demanding for \(N \gg 1\).

As heralded in Sect. 1 to circumvent this problem we restrict ourselves to collective measurements. The information acquired from such measurements does not allow to obtain complete information about the state of the system: operators that are invariant under particle permutations (collective operators) “see” only irreducible subspaces appearing in the tensor decomposition of SU(2)\(^{\otimes N}\). Nonetheless, this still provides nontrivial information.

Symmetric operators \({\hat{A}}_{\text {sym}}\) on N qubits are those invariant with respect to particle permutations:
$$\begin{aligned} {\hat{A}}_{\text {sym}} = {\hat{\Pi }}_{ij}^{\dagger } \; {\hat{A}}_{\text {sym}} \; {\hat{\Pi }}_{ij} \quad \forall i,j=1,\ldots ,N, \quad i\ne j, \end{aligned}$$
where \({\hat{\Pi }}_{ij}\) is the unitary operator that swaps particles i and j. The crucial observation for what follows is that these operators possess a peculiar property: their symbols \(P_{A_{\text {sym}}}(\alpha ,\beta )\) depend exclusively on the Hamming weights [37] of \(\alpha \), \(\beta \), and their binary sum \(\alpha +\beta \); that is,
$$\begin{aligned} P_{A_{\text {sym}}} (\alpha ,\beta ) = P_{A_{\text {sym}}} \bigl ( h(\alpha ), h(\beta ), h(\alpha +\beta )\bigr ), \end{aligned}$$
with \(h ( \kappa ) = |\{i:i=1,\ldots ,N|\kappa _i\ne 0\} |\), \(0\le h( \kappa )\le N\).
Therefore, the whole information about any symmetric measurement \(\langle {\hat{A}}_{\text {sym}}\rangle = \mathop {\mathrm{Tr}}({\hat{\rho }} {\hat{A}}_{\text {sym}})\) is conveniently conveyed in the projected \({\tilde{Q}}\)-function [38, 39],
$$\begin{aligned} {\tilde{Q}}_{\rho } ( m,n,k) = \sum _{\alpha ,\beta \in {\mathbb {Z}}_2^N} Q_{\rho }( \alpha ,\beta ) \; \delta _ {h( \alpha ) ,m} \, \delta _{h( \beta ) ,n} \, \delta _{h( \alpha +\beta ) ,k}, \end{aligned}$$
since, as it immediately follows from (5),
$$\begin{aligned} \langle {\hat{A}}_{\text {sym}}\rangle = \sum _{m,n=0}^{N}\sum _{k} P_{A_{\text {sym}}}(m,n,k) \; {\tilde{Q}}_{\rho } ( m,n,k), \end{aligned}$$
the index k running in steps of two: \(k= | m-n| , | m-n | +2, \ldots , \min (m+n,N,2N-m-n)\).
If \({\tilde{Q}}_{\rho }( m,n,k) \) is available from measurements, one can lift it from the three-dimensional (mnk) space into the full \(2^{N}\times 2^{N}\) discrete phase space according to
$$\begin{aligned} Q_{\rho }^{\text {lifted}}( \alpha ,\beta ) = R_{mnk}^{-1} \sum _{m,n,k} \delta _{h( \alpha ) ,m} \,\delta _{h( \beta ) ,n} \, \delta _{h(\alpha +\beta ) ,k} \; {\tilde{Q}}_{\rho }( m,n,k), \end{aligned}$$
$$\begin{aligned} R_{mnk}= & {} \! \! \! \sum _{\mu ,\lambda \in {\mathbb {Z}}_2^N } \! \! \delta _{h\left( \mu \right) ,m} \delta _{h\left( \lambda \right) ,n} \delta _{h\left( \mu +\lambda \right) ,k} \nonumber \\= & {} \frac{N!}{\left( \frac{m+n-k}{2}\right) ! \left( \frac{2N-m-n-k}{2}\right) ! \left( \frac{n-m+k}{2}\right) !\left( \frac{m-n+k}{2}\right) !} \end{aligned}$$
is a normalization factor fixed by the number of binary tuples \(\lambda ,\mu \) with Hamming weights \(\bigl (h(\lambda ),h(\mu ),h(\lambda +\mu )\bigr )=(m,n,k)\).

The reconstruction (13) of the \(Q_{\rho }(\alpha ,\beta )\) function from the projected one \({\tilde{Q}}_{\rho }(m,n,k)\) is incomplete; i.e., the map (11) is not faithful. The lifting (13) is thus just a way of organizing information obtained from \(\left( {\begin{array}{c}N+3\\ 3\end{array}}\right) =(N+1)(N+2)(N+3)/6\) collective measurements, corresponding to the total number of possible triplets (mnk) of Hamming weights, in a \(2^{N}\times 2^{N}\) matrix.

By replacing \(Q_{\rho }(\alpha ,\beta )\) by \(Q_{\rho }^{\text {lifted}}(\alpha ,\beta ) \) in the reconstruction (5), we get
$$\begin{aligned} {\hat{\rho }}_{\text {rec}} = \sum _{m,n,k} R_{mnk}^{-1} \; \tilde{Q}_{\rho }( m,n,k) \; {\hat{\Delta }}^{(1) }(m,n,k), \end{aligned}$$
where the symmetric operators \({\hat{\Delta }}^{(\pm 1) }(m,n,k)\) can be jotted down as
$$\begin{aligned} {\hat{\Delta }}^{( \pm 1 ) }(m,n,k)= & {} \sum _{\alpha ,\beta \in {\mathbb {Z}}_2^N} \delta _{h( \alpha ),m} \, \delta _{h(\beta ),n} \delta _{h(\alpha +\beta ),k} \; {\hat{\Delta }}^{(\pm 1) }(\alpha ,\beta ) \nonumber \\= & {} 2^{-(3\pm 1)N/2} \sum _{m',n',k'} g_{mnk}( m',n',k') \, 3^{\pm (m'+n'+k')/4}\, {\hat{F}}_{m'n'k'}.\quad \end{aligned}$$
Here, \({\hat{F}}_{mnk}\) stands for the orthonormal set of operators (see Appendix A for details)
$$\begin{aligned} {\hat{F}}_{mnk}= \sum _{\mu ,\lambda \in Z_2^N } \delta _{h(\mu ),m} \, \delta _{h(\lambda ),n} \, \delta _{h(\mu +\lambda ) k}\; (-i)^{\mu \lambda }{\hat{Z}}_{\mu }{\hat{X}}_{\lambda }, \end{aligned}$$
$$\begin{aligned} g_{mnk} \bigl ( h(\alpha ), h(\beta ), h(\alpha +\beta ) \bigr ) = \sum _{\gamma ,\delta \in {\mathbb {Z}}_2^N} (-1)^{\alpha \delta +\beta \gamma }\; \delta _{h(\gamma ),m} \, \delta _{h(\delta ),n}\, \delta _{h(\gamma +\delta ),k} \end{aligned}$$
are discrete functions, whose properties are explored in Appendix B.1. Observe that (18) is independent of the choice of \(\alpha \) and \(\beta \): any other choice \(\alpha '\) and \(\beta '\) is related by permutations, which can be applied to \(\gamma \) and \(\delta \) as well.
Because of the properties of \({\hat{F}}_{mnk}\), the reconstruction (15) can be reduced to
$$\begin{aligned} {\hat{\rho }}_{\text {rec}} = \frac{1}{2^N} \sum _{m,n,k} R_{mnk}^{-1} \langle {\hat{F}}_{mnk} \rangle \, {\hat{F}}_{mnk}, \end{aligned}$$
which is an explicit function of \(\left( {\begin{array}{c}N+3\\ 3\end{array}}\right) \) expectation values of collective operators.
Note, in passing, that the operators (17) can be always expanded in terms of collective spin operators. For instance, by direct inspection one gets that in the simplest cases \(n=0\) or \(m=0\), \({\hat{F}}_{mnk}\) are diagonal in the computational basis:
$$\begin{aligned} {\hat{F}}_{000}= & {} \mathbb {1}\, \quad {\hat{F}}_{101} = {\hat{S}}_{z}, \quad {\hat{F}}_{202}= \frac{1}{2!} \left( {\hat{S}}_{z}^{2}-N \mathbb {1}\right) ,\nonumber \\ {\hat{F}}_{303}= & {} \frac{1}{3!} \left[ {\hat{S}}_{z}^{3}- (3N-2) {\hat{S}}_{z}\right] , \end{aligned}$$
where \({\hat{S}}_{j} = \sum _{i=1}^{N} {\hat{\sigma }}_{j}^{(i)}\).

By construction, \({\hat{\rho }}_{\text {rec}}\) is nonzero only inside SU(2) invariant blocks and coincides with the true density matrix in the fully symmetric subspace. In all the other blocks, \({\hat{\rho }}_{\text {rec}}\) differs from the true value and, in particular, the irreducible subspaces of the same dimension are indistinguishable in \({\hat{\rho }}_{\text {rec}}\).

Let us illustrate the approach with a couple of basic examples. An arbitrary pure two-qubit state can be parametrized as
$$\begin{aligned} |\psi \rangle =\sin \theta |\psi _\text {anti}\rangle + e^{i\beta } \cos \theta |\psi _\text {sym}\rangle , \end{aligned}$$
where \(|\psi _\text {sym}\rangle \) and \(|\psi _\text {anti}\rangle \) denote states from the symmetric and antisymmetric subspaces correspondingly, represented in the computational basis as
$$\begin{aligned} |\psi _\text {anti}\rangle= & {} \frac{|01\rangle -|10\rangle }{\sqrt{2}}, \nonumber \\ |\psi _\text {sym}\rangle= & {} \sin \alpha _{1}|00\rangle + e^{i\gamma _{1}}\cos \alpha _{1}\sin \alpha _{2} \left( \frac{|01\rangle +|10\rangle }{\sqrt{2}}\right) \nonumber \\&+ e^{i\gamma _{2}}\cos \alpha _{1}\cos \alpha _{2} |11\rangle , \end{aligned}$$
\(0\le \alpha _1,\alpha _2\le \pi /2\), \(0\le \gamma _1, \gamma _2<2\pi \). The reconstructed density matrix is the incoherent mixture
$$\begin{aligned} {\hat{\rho }}_{\text {rec}}= \sin ^{2} \theta \; |\psi _\text {anti}\rangle \langle \psi _\text {anti}| + \cos ^{2} \theta \; |\psi _\text {sym}\rangle \langle \psi _\text {sym}|. \end{aligned}$$
We quantify the accuracy of the reconstruction in terms of the fidelity [40, 41]: \({\mathscr {F}} = \langle \psi |{\hat{\rho }}_{\text {rec}}|\psi \rangle \), which for this example reads
$$\begin{aligned} {\mathscr {F}}=\frac{1}{4} [3+\cos (4\theta ) ], \end{aligned}$$
so it depends only on the single parameter \(\theta \) that determines the projection onto the symmetric and antisymmetric subspaces, respectively. The minimum fidelity \({\mathscr {F}}=1/2\) corresponds to the case when the subspaces have the same weight, whereas for states in the completely symmetric or antisymmetric subspace, the reconstruction is exact.
Our next example corresponds to an arbitrary pure three-qubit state, which can be written as
$$\begin{aligned} |\psi \rangle = \sin \theta |\psi _{\text {sym}}\rangle + e^{i\beta }\cos \theta \, \sin \alpha |\psi _{1}\rangle +e^{i\gamma } \cos \theta \, \cos \alpha |\psi _{2}\rangle , \end{aligned}$$
with \(0 \le \theta , \alpha \le \pi /2\) and \(0\le \beta ,\gamma <2\pi \). \(|\psi _{\text {sym}}\rangle \) is a state in the four-dimensional symmetric subspace, whereas \(|\psi _1\rangle \) and \(|\psi _2\rangle \) are states in SU(2)-irreducible two-dimensional subspaces. In the computational basis, they are:
$$\begin{aligned} |\psi _{\text {sym}}\rangle= & {} \sin \theta _{1}|000\rangle + e^{i\beta _{1}}\cos \theta _{1}\sin \alpha _{1} \frac{|100\rangle +|010\rangle +|001\rangle }{\sqrt{3}} \nonumber \\&+\,e^{i\gamma _{1}}\cos \theta _{1}\sin \alpha _{1}\sin \alpha _{2} \frac{|110\rangle +|101\rangle +|011\rangle }{\sqrt{3}} \nonumber \\&+\,e^{i\gamma _{2}}\cos \theta _{1}\cos \alpha _{1}\cos \alpha _{2}|111\rangle , \nonumber \\ |\psi _{1}\rangle= & {} \sin \theta _{2} \frac{2|100\rangle -|010\rangle -|001\rangle }{\sqrt{6}} +e^{i\beta _{2}}\cos \theta _{2}\frac{|101\rangle - 2|011\rangle +|110\rangle }{\sqrt{6}}, \nonumber \\ |\psi _{2}\rangle= & {} \sin \theta _{3} \frac{|001\rangle -|010\rangle }{\sqrt{2}} +e^{i\beta _{3}}\cos \theta _{3}\frac{|101\rangle -|110\rangle }{\sqrt{2}}. \end{aligned}$$
The reconstructed density matrix is a mixed state, unless \(|\psi \rangle \) is in the symmetric subspace. In particular, the blocks corresponding to two-dimensional SU(2)-irreducible subspaces have the same form; viz,
$$\begin{aligned} {\hat{\rho }}_{2}= \left( \begin{array}{cc} \sin ^{2}\alpha \sin ^{2}\theta _{2}+\cos ^{2}\alpha \sin ^{2}\theta _{3} &{} c_2 \\ c_2^* &{}\cos ^{2}\alpha \cos ^{2}\theta _{3}+\cos ^{2}\theta _{2}\sin ^{2}\alpha \end{array} \right) , \end{aligned}$$
where \(c_2=\tfrac{1}{2}[ e^{-i\beta _{2}}\sin ^{2}\alpha \sin (2\theta _{2}) +e^{-i\beta _{3}}\cos ^{2}\alpha \sin (2\theta _{3})]\) depends on the parameters \(\alpha \) and \(\theta \)’s describing the contributions from the three irreducible subspaces \({\mathscr {S}}_{\text {sym}}\), \({\mathscr {S}}_{1}\), and \({\mathscr {S}}_{2}\) in (25). Thus, the reconstructed density matrix has the form
$$\begin{aligned} {\hat{\rho }}_{\text {rec}}=\sin ^{2}\theta |\psi _{\text {sym}}\rangle \langle \psi _{\text {sym}}| \oplus \frac{\cos ^{2}\theta }{2}{\hat{\rho }}_{2} \oplus \frac{\cos ^{2}\theta }{2}{\hat{\rho }}_{2}. \end{aligned}$$
By averaging over the phases \(\theta _2,\beta _2\) and \(\theta _3,\beta _3\) that parameterize the states in the nonsymmetric irreducible subspaces \({\mathscr {S}}_1\) and \({\mathscr {S}}_2\), we get the average fidelity that determines the distribution between the SU(2)-irreducible subspaces:
$$\begin{aligned} \bar{{\mathscr {F}}} = \sin ^2\theta + \left[ \frac{3}{4} +\frac{1}{4}\cos ^2(2\alpha )\right] \cos ^2\theta . \end{aligned}$$
The minimum \(\bar{{\mathscr {F}}}_{\text {min}}=3/4\) corresponds to the situation \(|\psi \rangle =(|\psi _{1}\rangle +|\psi _{2}\rangle )/\sqrt{2}\) (\(\alpha =\pi /4\), \(\theta =0\)) when the state is homogeneously distributed between not completely symmetric subspaces \({\mathscr {S}}_{1}\) and \({\mathscr {S}}_{2}\). The maximum fidelity is reached for symmetric states, \(|\psi \rangle =|\psi _{\text {sym}}\rangle \).

4 Symmetric overcomplete tomography: canonical projection

The outstanding case of fully symmetric (Dicke) states [42] deserves special attention as they are widely used in numerous applications (see, e.g. [43, 44, 45]) and, in addition, they are efficiently generated in the laboratory [46, 47, 48, 49]. For Dicke states, the reconstruction (19) is exact, but requires \(O(N^{3})\) measurements of collective operators, while the density matrix contains at most \(N^{2}+2N\) independent parameters. Obviously, not all such collective measurements are independent. This redundancy can be fixed by representing the reconstructed density matrix via rank-one projectors.

For a fully symmetric density matrix, it follows from (5) that
$$\begin{aligned} {\hat{\rho }}_{\text {sym}}= & {} {\hat{\Pi }}_{\text {sym}} \left( \sum _{\alpha ,\beta \in {\mathbb {Z}}_2^N} Q_{\rho _{\text {sym}}}(\alpha ,\beta ) \; {\hat{\Delta }}^{(1)}(\alpha ,\beta ) \right) {\hat{\Pi }}_{\text {sym}} \nonumber \\= & {} \sum _{\alpha ,\beta \in {\mathbb {Z}}_2^N} \mathop {\mathrm{Tr}}[{\hat{\rho }}_{\text {sym}} \; {\hat{\Delta }}_{\text {sym}}^{(-1)}(\alpha ,\beta ) ] \; {\hat{\Delta }}_{\text {sym}}^{\left( 1\right) }, \end{aligned}$$
with \({\hat{\Delta }}_{\text {sym}}^{(\pm 1)}(\alpha ,\beta )= {\hat{\Pi }}_{\text {sym}} \; {\hat{\Delta }}^{(\pm 1)}(\alpha ,\beta ) \; {\hat{\Pi }}_{\text {sym}}\) and \({\hat{\Pi }}_{\text {sym}} = \sum _{\ell =0}^N |\ell ,N\rangle \langle \ell ,N|\) is the projection onto the Dicke subspace \(\{|\ell ,N\rangle :\ell =0,\ldots ,N\}\) of N qubits. It is shown in Appendix C.1 that \({\hat{\Delta }}_{\text {sym}}^{(-1)}(\alpha ,\beta ) \) is a symmetric function and actually it is a rank-one tensor
$$\begin{aligned} {\hat{\Delta }}_{\text {sym}}^{(-1)}( \alpha ,\beta ) = |\Psi _{h( \alpha ) ,h( \beta ) ,h( \alpha +\beta ) }\rangle \langle \Psi _{h( \alpha ) ,h( \beta ) ,h( \alpha +\beta ) }|. \end{aligned}$$
The unnormalized states \(|\Psi _{h(\alpha ),h(\beta ),h(\alpha +\beta )}\rangle \) have the following expansion in the Dicke basis
$$\begin{aligned} |\Psi _{h(\alpha ),h(\beta ),h(\alpha +\beta )}\rangle = \frac{1}{(1+|\xi |^{2})^{N/2}} \sum _{\ell =0}^N \left( {\begin{array}{c}N\\ \ell \end{array}}\right) ^{-1/2} \psi _{\ell }\bigl (h(\alpha ),h(\beta ),h(\alpha +\beta );\xi \bigr ) |\ell ,N\rangle , \nonumber \\ \end{aligned}$$
\( \psi _{\ell }(h(\alpha ),h(\beta ),h(\alpha +\beta );\xi )\) being a discrete function discussed in Appendix B.3.
The operators (31) form an informationally complete POVM
$$\begin{aligned} \sum _{m,n,k}N_{mnk}^{2} \; R_{mnk} \; |{\hat{\Psi }}_{mnk}\rangle \langle {\hat{\Psi }}_{mnk}| = 2^{N} {\hat{\Pi }}_{\text {sym}}, \end{aligned}$$
where \(|{\hat{\Psi }}_{mnk}\rangle = N_{mnk}^{-1} |\Psi _{mnk}\rangle \) and
$$\begin{aligned} N_{mnk}^{2}=\frac{1}{(1+|\xi |^{2})^{N}} \sum _{\ell =0}^N {\left( {\begin{array}{c}N\\ \ell \end{array}}\right) }^{{-1}} |\psi _{\ell }( m,n,k;\xi )|^{2}. \end{aligned}$$
For a given \((N+1)\)-dimensional Dicke subspace, there are only N different normalization factors \(N_{mnk}\).
In terms of the projection of \({\hat{\Delta }}_{\text {sym}}^{(1)}(\alpha ,\beta )\), in Appendix C.1 we arrive at the compact result
$$\begin{aligned} {\hat{\rho }}_{\text {sym}} = \sum _{m,n,k} p_{mnk} \; R_{mnk} \; {\hat{K}}_{mnk}, \end{aligned}$$
where \(p_{mnk}=\langle {\hat{\Psi }}_{mnk}|{\hat{\rho }}_{\text {sym}}|{\hat{\Psi }}_{mnk}\rangle \) and
$$\begin{aligned} {\hat{K}}_{mnk}= 2^{-2N} \sum _{m',n,'k'} 3^{(m^{\prime }+n'+k')/4} \, i^{(k'-m'-n^{\prime })/2} \, g_{m'n'k'} ( m,n,k) \; {\hat{A}}_{m'n'k'}, \end{aligned}$$
where \({\hat{A}}_{mnk}\) are also given in Appendix C.1.
In this protocol, the total number of projections (31) required for reconstruction of symmetric states is \(\left( {\begin{array}{c}N+3\\ 3\end{array}}\right) =(N+1)(N+2)(N+3)/6\). However, it immediately follows from (35) that the probabilities \(p_{mnk}\) are not linearly independent as they satisfy the conditions
$$\begin{aligned} p_{m'n'k'}= \sum _{m,n,k} p_{mnk} \; \omega _{mnk}^{m'n'k'}, \end{aligned}$$
where \(\omega _{mnk}^{m'n'k'}= R_{mnk} \; \langle \Psi _{m'n'k'}| {\hat{K}}_{mnk}|\Psi _{m'n'k'}\rangle \) and
$$\begin{aligned} \omega _{mnk}^{m'n'k'}= & {} \frac{R_{mnk}}{(1+|\xi |^{2}) ^{N}} \sum _{\ell ,\ell '=0}^N \left( {\begin{array}{c}N\\ \ell \end{array}}\right) ^{-1/2} \, \left( {\begin{array}{c}N\\ \ell '\end{array}}\right) ^{-1/2} \nonumber \\&\times \psi _{\ell }(m,n,k;\xi ) \; \psi _{\ell '}^{*}( m,n,k;\xi ) \; f_{\ell \ell '}(m',k',n'). \end{aligned}$$
These restrictions can be represented in a matrix form
$$\begin{aligned} ({\hat{\Omega }} - \mathbb {1}) {\mathbf {p}} = 0 , \end{aligned}$$
where \({\mathbf {p}}\) is the \(\left( {\begin{array}{c}N+3\\ 3\end{array}}\right) \)-dimensional probability vector and \({\hat{\Omega }}\) is an appropriately arranged matrix (38). We have numerically found that the rank of the matrix \(({\hat{\Omega }} - \mathbb {1})\) is \(N(N^{2}-1) /6\). Then, taking into account that the probabilities also satisfy the normalization condition \(\mathop {\mathrm{Tr}}({\hat{\rho }}_{\text {sym}}) =1\), we obtain that only \(N^{2}+2N\) projections are needed for the reconstruction of fully symmetric states.

5 Concluding remarks

In short, we have proposed a tomographic protocol based on measuring \(\left( {\begin{array}{c}N+3\\ 3\end{array}}\right) =(N+1)(N+2)(N+3)/6\) expectation values of collective operators. The advantage of the present approach with respect to previously discussed (and experimentally verified) methods is given by the explicit expressions (19) for the reconstructed density matrix from experimental data. In addition, we have shown that restricting ourselves to fully symmetric states, the tomographic protocol is reduced to projections from an overcomplete set of pure states (32), which still allows to obtain an explicit reconstruction expression (35). Such a set of states has been worked out from the first principles of state reconstruction in an \(2^{N}\)-dimensional Hilbert space.



Open access funding provided by Max Planck Society. This work is partially supported by the Grant 254127 of CONACyT (Mexico). L. L. S. S. acknowledges the support of the Spanish MINECO (Grant FIS2015-67963-P).


  1. 1.
    Lvovsky, A.I., Raymer, M.G.: Continuous-variable optical quantum-state tomography. Rev. Mod. Phys. 81(299–322), 299 (2009)ADSCrossRefGoogle Scholar
  2. 2.
    Paris, M.G.A., Řeháček, J. (eds.): Quantum State Estimation, vol. 649 Lecture Notes in Physics. Springer, Berlin (2004)zbMATHGoogle Scholar
  3. 3.
    Wootters, W.K., Fields, B.D.: Optimal state-determination by mutually unbiased measurements. Ann. Phys. 191, 363–381 (1989)ADSMathSciNetCrossRefGoogle Scholar
  4. 4.
    Renes, J.M., Blume-Kohout, R., Scott, A.J., Caves, C.M.: Symmetric informationally complete quantum measurements. J. Math. Phys. 45, 2171–2180 (2004)ADSMathSciNetCrossRefGoogle Scholar
  5. 5.
    Lima, G., Neves, L., Guzmán, R., Gómez, E.S., Nogueira, W.A.T., Delgado, A., Vargas, A., Saavedra, C.: Experimental quantum tomography of photonic qudits via mutually unbiased basis. Opt. Express 19, 3542–3552 (2011)ADSCrossRefGoogle Scholar
  6. 6.
    Bent, N., Qassim, H., Tahir, A.A., Sych, D., Leuchs, G., Sánchez-Soto, L.L., Karimi, E., Boyd, R.W.: Experimental realization of quantum tomography of photonic qudits via symmetric informationally complete positive operator-valued measures. Phys. Rev. X 5, 041006 (2015)Google Scholar
  7. 7.
    Häffner, H., Hänsel, W., Roos, C.F., Benhelm, J., Chwalla, M., Körber, T., Rapol, U.D., Riebe, M., Schmidt, P.O., Becher, C., Gühne, O., Dür, W., Blatt, R.: Scalable multiparticle entanglement of trapped ions. Nature 438, 643–646 (2005)ADSCrossRefGoogle Scholar
  8. 8.
    Hou, Z., Zhong, H.-S., Tian, Y., Dong, D., Qi, B., Li, L., Wang, Y., Nori, F., Xiang, G.-Y., Li, C.-F., Guo, G.-C.: Full reconstruction of a 14-qubit state within four hours. New J. Phys. 18, 083036 (2016)ADSCrossRefGoogle Scholar
  9. 9.
    Gross, D., Liu, Y.K., Flammia, S.T., Becker, S., Eisert, J.: Quantum state tomography via compressed sensing. Phys. Rev. Lett. 105, 15040 (2010)Google Scholar
  10. 10.
    Flammia, S.T., Gross, D., Liu, Y.-K., Eisert, J.: Quantum tomography via compressed sensing: error bounds, sample complexity and efficient estimators. New J. Phys. 14, 095022 (2012)ADSCrossRefGoogle Scholar
  11. 11.
    Guta, M., Kypraios, T., Dryden, I.: Rank-based model selection for multiple ions quantum tomography. New J. Phys. 14, 105002 (2012)ADSCrossRefGoogle Scholar
  12. 12.
    Riofrío, C.A., Gross, D., Flammia, S.T., Monz, T., Nigg, D., Blatt, R., Eisert, J.: Experimental quantum compressed sensing for a seven-qubit system. Nat. Commun. 8, 15305 (2017)ADSCrossRefGoogle Scholar
  13. 13.
    Cramer, M., Plenio, M.B., Flammia, S.T., Somma, R., Gross, D., Bartlett, S.D., Landon-Cardinal, O., Poulin, D., Liu, Y.K.: Efficient quantum state tomography. Nat. Commun. 1, 149 (2010)ADSCrossRefGoogle Scholar
  14. 14.
    Baumgratz, T., Gross, D., Cramer, M., Plenio, M.B.: Scalable reconstruction of density matrices. Phys. Rev. Lett 111, 020401 (2013)ADSCrossRefGoogle Scholar
  15. 15.
    Landon-Cardinal, O., Poulin, D.: Practical learning method for multi-scale entangled states. New J. Phys. 14, 085004 (2012)ADSCrossRefGoogle Scholar
  16. 16.
    D’Ariano, G.M., Maccone, L., Paini, M.: Spin tomography. J. Opt. B 5, 77–84 (2003)ADSCrossRefGoogle Scholar
  17. 17.
    Tóth, G., Wieczorek, W., Gross, D., Krischek, R., Schwemmer, C., Weinfurter, H.: Permutationally invariant quantum tomography. Phys. Rev. Lett. 105, 20040 (2010)Google Scholar
  18. 18.
    Moroder, T., Hyllus, P., Tóth, G., Schwemmer, C., Niggebaum, A., Gaile, S., Gühne, O., Weinfurter, H.: Permutationally invariant state reconstruction. New J. Phys. 14, 105001 (2012)ADSCrossRefGoogle Scholar
  19. 19.
    Klimov, A.B., Björk, G., Sánchez-Soto, L.L.: Optimal quantum tomography of permutationally invariant qubits. Phys. Rev. A 87, 012109 (2013)ADSCrossRefGoogle Scholar
  20. 20.
    Schwemmer, C., Tóth, G., Niggebaum, A., Moroder, T., Gross, D., Gühne, O., Weinfurter, H.: Experimental comparison of efficient tomography schemes for a six-qubit state. Phys. Rev. Lett. 113, 040503 (2014)ADSCrossRefGoogle Scholar
  21. 21.
    French, S.R.D., Rickles, D.P.: Understanding permutation symmetry. In: Brading, K., Castellani, E. (eds.) Symmetries in Physics: Philosophical Reflections, pp. 212–238. Cambridge University Press, Cambridge (2003)CrossRefGoogle Scholar
  22. 22.
    Inguscio, M., Fallani, L.: Atomic Physics: Precise Measurements and Ultracold Matter. Oxford University Press, Oxford (2015)Google Scholar
  23. 23.
    Chuang, I., Nielsen, M.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)zbMATHGoogle Scholar
  24. 24.
    Björk, G., Klimov, A.B., Sánchez-Soto, L.L.: The discrete Winger function. Prog. Opt. 51, 469–516 (2008)ADSCrossRefGoogle Scholar
  25. 25.
    Muñoz, C., Klimov, A.B., Sánchez-Soto, L.L.: Symmetric discrete coherent states for \(n\)-qubits. J. Phys. A: Math. Theor. 45, 244014 (2012)ADSMathSciNetCrossRefGoogle Scholar
  26. 26.
    Schroek, F.E.: Quantum Mechanics on Phase Space. Kluwer, Dordrecht (1996)CrossRefGoogle Scholar
  27. 27.
    Zachos, C.K., Fairlie, D.B., Curtright, T.L. (eds.): Quantum Mechanics in Phase Space. World Scientific, Singapore (2005)zbMATHGoogle Scholar
  28. 28.
    Galetti, D., Marchiolli, M.A.: Discrete coherent states and probability distributions in finite-dimensional spaces. Ann. Phys. 249, 454–480 (1996)ADSMathSciNetCrossRefGoogle Scholar
  29. 29.
    Marchiolli, M.A., Ruzzi, M., Galetti, D.: Discrete squeezed states for finite-dimensional spaces. Phys. Rev. A 76, 032102 (2007)ADSMathSciNetCrossRefGoogle Scholar
  30. 30.
    Muñoz, C., Klimov, A.B., Sánchez-Soto, L.L.: Discrete coherent states for \(n\) qubits. Int. J. Quantum Inf. 7, 17–25 (2009)CrossRefGoogle Scholar
  31. 31.
    Klimov, A.B., Muñoz, C., Sánchez-Soto, L.L.: Discrete coherent and squeezed states of many-qudit systems. Phys. Rev. A 80, 043836 (2009)ADSCrossRefGoogle Scholar
  32. 32.
    Klimov, A.B., Romero, J.L., Björk, G., Sánchez-Soto, L.L.: Discrete phase-space structure of \(n\)-qubit mutually unbiased bases. Ann. Phys. 324, 53–72 (2009)ADSMathSciNetCrossRefGoogle Scholar
  33. 33.
    Prugovečki, E.: Information-theoretical aspects of quantum measurement. Int. J. Theor. Phys. 16, 321–331 (1977)CrossRefGoogle Scholar
  34. 34.
    Busch, P., Lahti, P.J.: The determination of the past and the future of a physical system in quantum mechanics. Found. Phys. 19, 633–678 (1989)ADSMathSciNetCrossRefGoogle Scholar
  35. 35.
    Galetti, D., de Toledo Piza, A.F.R.: Discrete quantum phase spaces and the mod \(n\) invariance. Physica A 186, 513–523 (1992)ADSMathSciNetCrossRefGoogle Scholar
  36. 36.
    Ruzzi, M., Marchiolli, M.A., Galetti, D.: Extended Cahill–Glauber formalism for finite-dimensional spaces: I. Fundamentals. J. Phys. A 38, 6239 (2005)ADSMathSciNetCrossRefGoogle Scholar
  37. 37.
    Montanaro, A.: Symmetric functions of qubits in an unknown basis. Phys. Rev. A 79, 062316 (2009)ADSMathSciNetCrossRefGoogle Scholar
  38. 38.
    Klimov, A.B., Muñoz, C.: Macroscopic features of quantum fluctuations \(n\) qubit systems. Phys. Rev. A 89, 052130 (2014)ADSCrossRefGoogle Scholar
  39. 39.
    Gaeta, M., Muñoz, C., Klimov, A.B.: Gaussianity and localization of \(n\)-qubit states. Phys. Rev. A 93, 062107 (2016)ADSMathSciNetCrossRefGoogle Scholar
  40. 40.
    Uhlmann, A.: The transition probability in the state space of \(\text{ a }\star \)-algebra. Rep. Math. Phys. 9, 273–279 (1976)ADSMathSciNetCrossRefGoogle Scholar
  41. 41.
    Jozsa, R.: Fidelity for mixed quantum states. J. Mod. Opt. 41, 2315–2323 (1994)ADSMathSciNetCrossRefGoogle Scholar
  42. 42.
    Dicke, R.: Coherence in spontaneous radiation processes. Phys. Rev. 93, 99 (1954)ADSCrossRefGoogle Scholar
  43. 43.
    Di, T., Muthukrishnan, A., Scully, M.O., Zubairy, M.S.: Quantum teleportation of an arbitrary superposition of atomic Dicke states. Phys. Rev. A 71, 062308 (2005)ADSCrossRefGoogle Scholar
  44. 44.
    Chiuri, A., Greganti, C., Paternostro, M., Vallone, G., Mataloni, P.: Experimental quantum networking protocols via four-qubit hyperentangled dicke states. Phys. Rev. Lett. 109, 173604 (2012)ADSCrossRefGoogle Scholar
  45. 45.
    Apellaniz, I., Lücke, B., Peise, J., Klempt, C., Tóth, G.: Detecting metrologically useful entanglement in the vicinity of Dicke states. New J. Phys. 17, 083027 (2015)ADSCrossRefGoogle Scholar
  46. 46.
    Duan, L.-M., Kimble, J.H.: Efficient engineering of multiatom entanglement through single-photon detections. Phys. Rev. Lett. 90, 253601 (2003)ADSCrossRefGoogle Scholar
  47. 47.
    Kiesel, N., Schmid, C., Tóth, G., Solano, E., Weinfurter, H.: Experimental observation of four-photon entangled Dicke state with high fidelity. Phys. Rev. Lett. 98, 063604 (2007)ADSCrossRefGoogle Scholar
  48. 48.
    Wieczorek, W., Krischek, R., Kiesel, N., Michelberger, P., Tóth, G., Weinfurter, H.: Experimental entanglement of a six-photon symmetric Dicke state. Phys. Rev. Lett. 103, 020504 (2009)ADSCrossRefGoogle Scholar
  49. 49.
    Prevedel, R., Cronenberg, G.M.S., Tame, M.S., Paternostro, M., Walther, P., Kim, M.S., Zeilinger, A.: Experimental realization of Dicke states of up to six qubits for multiparty quantum networking. Phys. Rev. Lett. 103, 020503 (2009)ADSCrossRefGoogle Scholar

Copyright information

© The Author(s) 2018

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided 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.

Authors and Affiliations

  1. 1.Departamento de FísicaUniversidad de GuadalajaraGuadalajaraMexico
  2. 2.Departamento de FisicaUniversidad de ConcepciónConcepciónChile
  3. 3.Max-Planck-Institut für die Physik des LichtsErlangenGermany
  4. 4.Departamento de Óptica, Facultad de FísicaUniversidad ComplutenseMadridSpain

Personalised recommendations