Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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]
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
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}\)
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
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
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
Here, \(|\alpha ,\beta \rangle \) are discrete coherent states, constructed as [28,29,30,31,32]
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
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:
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,
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],
since, as it immediately follows from (5),
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 (m, n, k) space into the full \(2^{N}\times 2^{N}\) discrete phase space according to
where
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 (m, n, k) 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
where the symmetric operators \({\hat{\Delta }}^{(\pm 1) }(m,n,k)\) can be jotted down as
Here, \({\hat{F}}_{mnk}\) stands for the orthonormal set of operators (see Appendix A for details)
and
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
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:
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
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
\(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
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
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
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:
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,
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
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:
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
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
The unnormalized states \(|\Psi _{h(\alpha ),h(\beta ),h(\alpha +\beta )}\rangle \) have the following expansion in the Dicke basis
\( \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
where \(|{\hat{\Psi }}_{mnk}\rangle = N_{mnk}^{-1} |\Psi _{mnk}\rangle \) and
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
where \(p_{mnk}=\langle {\hat{\Psi }}_{mnk}|{\hat{\rho }}_{\text {sym}}|{\hat{\Psi }}_{mnk}\rangle \) and
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
where \(\omega _{mnk}^{m'n'k'}= R_{mnk} \; \langle \Psi _{m'n'k'}| {\hat{K}}_{mnk}|\Psi _{m'n'k'}\rangle \) and
These restrictions can be represented in a matrix form
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.
References
Lvovsky, A.I., Raymer, M.G.: Continuous-variable optical quantum-state tomography. Rev. Mod. Phys. 81(299–322), 299 (2009)
Paris, M.G.A., Řeháček, J. (eds.): Quantum State Estimation, vol. 649 Lecture Notes in Physics. Springer, Berlin (2004)
Wootters, W.K., Fields, B.D.: Optimal state-determination by mutually unbiased measurements. Ann. Phys. 191, 363–381 (1989)
Renes, J.M., Blume-Kohout, R., Scott, A.J., Caves, C.M.: Symmetric informationally complete quantum measurements. J. Math. Phys. 45, 2171–2180 (2004)
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)
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)
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)
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)
Gross, D., Liu, Y.K., Flammia, S.T., Becker, S., Eisert, J.: Quantum state tomography via compressed sensing. Phys. Rev. Lett. 105, 15040 (2010)
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)
Guta, M., Kypraios, T., Dryden, I.: Rank-based model selection for multiple ions quantum tomography. New J. Phys. 14, 105002 (2012)
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)
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)
Baumgratz, T., Gross, D., Cramer, M., Plenio, M.B.: Scalable reconstruction of density matrices. Phys. Rev. Lett 111, 020401 (2013)
Landon-Cardinal, O., Poulin, D.: Practical learning method for multi-scale entangled states. New J. Phys. 14, 085004 (2012)
D’Ariano, G.M., Maccone, L., Paini, M.: Spin tomography. J. Opt. B 5, 77–84 (2003)
Tóth, G., Wieczorek, W., Gross, D., Krischek, R., Schwemmer, C., Weinfurter, H.: Permutationally invariant quantum tomography. Phys. Rev. Lett. 105, 20040 (2010)
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)
Klimov, A.B., Björk, G., Sánchez-Soto, L.L.: Optimal quantum tomography of permutationally invariant qubits. Phys. Rev. A 87, 012109 (2013)
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)
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)
Inguscio, M., Fallani, L.: Atomic Physics: Precise Measurements and Ultracold Matter. Oxford University Press, Oxford (2015)
Chuang, I., Nielsen, M.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Björk, G., Klimov, A.B., Sánchez-Soto, L.L.: The discrete Winger function. Prog. Opt. 51, 469–516 (2008)
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)
Schroek, F.E.: Quantum Mechanics on Phase Space. Kluwer, Dordrecht (1996)
Zachos, C.K., Fairlie, D.B., Curtright, T.L. (eds.): Quantum Mechanics in Phase Space. World Scientific, Singapore (2005)
Galetti, D., Marchiolli, M.A.: Discrete coherent states and probability distributions in finite-dimensional spaces. Ann. Phys. 249, 454–480 (1996)
Marchiolli, M.A., Ruzzi, M., Galetti, D.: Discrete squeezed states for finite-dimensional spaces. Phys. Rev. A 76, 032102 (2007)
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)
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)
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)
Prugovečki, E.: Information-theoretical aspects of quantum measurement. Int. J. Theor. Phys. 16, 321–331 (1977)
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)
Galetti, D., de Toledo Piza, A.F.R.: Discrete quantum phase spaces and the mod \(n\) invariance. Physica A 186, 513–523 (1992)
Ruzzi, M., Marchiolli, M.A., Galetti, D.: Extended Cahill–Glauber formalism for finite-dimensional spaces: I. Fundamentals. J. Phys. A 38, 6239 (2005)
Montanaro, A.: Symmetric functions of qubits in an unknown basis. Phys. Rev. A 79, 062316 (2009)
Klimov, A.B., Muñoz, C.: Macroscopic features of quantum fluctuations \(n\) qubit systems. Phys. Rev. A 89, 052130 (2014)
Gaeta, M., Muñoz, C., Klimov, A.B.: Gaussianity and localization of \(n\)-qubit states. Phys. Rev. A 93, 062107 (2016)
Uhlmann, A.: The transition probability in the state space of \(\text{ a }\star \)-algebra. Rep. Math. Phys. 9, 273–279 (1976)
Jozsa, R.: Fidelity for mixed quantum states. J. Mod. Opt. 41, 2315–2323 (1994)
Dicke, R.: Coherence in spontaneous radiation processes. Phys. Rev. 93, 99 (1954)
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)
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)
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)
Duan, L.-M., Kimble, J.H.: Efficient engineering of multiatom entanglement through single-photon detections. Phys. Rev. Lett. 90, 253601 (2003)
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)
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)
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)
Acknowledgements
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).
Author information
Authors and Affiliations
Corresponding author
Appendices
Properties of the symmetric operators \({\hat{F}}_{mnk}\)
The operators \({\hat{F}}_{mnk}\) can be expressed in terms of a special discrete function. Taking into account the action of the monomials \({\hat{Z}}_{\alpha }{\hat{X}}_{\beta }\) on the computational basis states \(\{|\kappa \rangle :\kappa \in {\mathbb {Z}}_2^N\}\),
we immediately obtain for the matrix elements
with
The function\(f_{mk}\bigl (h(\delta ),h(\gamma ),h(\gamma +\delta )\bigr )\) will be further analyzed below.
By taking into account that \( \mathop {\mathrm{Tr}}({\hat{Z}}_{\mu }{\hat{X}}_{\lambda }{\hat{Z}}_{\mu '}{\hat{X}}_{\lambda '}) =2^{N}(-1)^{\lambda \mu '}\delta _{\mu ,\mu '}\delta _{\lambda ,\lambda '}\), we get
which shows the orthogonality used in the paper.
Special functions
In this Appendix we discuss some relevant properties of the functions used in the derivation of our results.
1.1 Function \(g_{mnk}\)
The discrete function (18)
can be represented in the integral form
where we have used the following representation of the Kronecker delta function
The above integrals can be easily computed, leading to a quite cumbersome expression in terms of finite sums:
They satisfy the following dual orthogonality relations
1.2 Function \(f_{mk}\)
Following a similar procedure, we can represent the function (42) in the integral form,
Computing the integral (49) and rearranging the corresponding sums of binomial coefficients, we obtain
where \(_{2}F_{1}\) is the hypergeometric function. It is worth noting that \(f_{mk}\bigl (h(\delta ),h(\gamma ),h(\gamma +\delta )\bigr )\) can be obtained by a reduction from \(g_{mnk}\bigl (h(\delta ),h(\gamma ),h(\gamma +\delta )\bigr )\).
1.3 Function \(\psi _{\ell }\)
The function \(\psi _{\ell }\) is defined as
and it can be recast as
which leads to the following expression in terms of finite sums
Canonical projection
In this section we find projections of the kernels \({\hat{\Delta }}^{(\pm 1)}(\alpha ,\beta )\) onto the Dicke subspace.
1.1 Projection of \({\hat{\Delta }}^{(-1)}(\alpha , \beta )\)
Taking into account the representation of the Dicke states in the logical basis,
we obtain
where the discrete coherent states \(|\alpha ,\beta \rangle \) are defined in (7). Using the expansion of the fiducial state (3) in the logical basis
we get
By substituting (58) into (56), we arrive at (31).
The operator \({\hat{\Delta }}_{\text {sym}}^{(1)}(\alpha ,\beta )\) can also be expressed as
where \(g_{mnk}\bigl (h(\alpha ),h(\beta ),h(\alpha +\beta )\bigr )\) is defined in (18), and the matrix elements of the operators \({\hat{A}}_{mnk}\) in the Dicke basis are
Finally, using the summation rule
we get the explicit expression (35).
1.2 Projection of monomials \({\hat{\Pi }}_{\text {sym}}{\hat{Z}}_{\alpha }{\hat{X}}_{\beta }{\hat{\Pi }}_{\text {sym}}\)
It follows immediately from (40) that the matrix elements of the monomial \({\hat{Z}}_{\alpha }{\hat{X}}_{\beta }\) in the Dicke basis (55) have the form
where the function \(f_{\ell \ell '}\) is defined in (42).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Muñoz, A., Klimov, A.B., Grassl, M. et al. Tomography from collective measurements. Quantum Inf Process 17, 286 (2018). https://doi.org/10.1007/s11128-018-2045-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-018-2045-0