[Paper Review] On Symmetric Sets of Projectors for Reconstruction of a Density Matrix

Alexander Yu. Vlasov|ArXiv.org|Feb 10, 2003

Quantum optics and atomic interactions8 references4 citations

TL;DR

This paper presents a symmetric construction of projectors using the Weyl matrix pair to reconstruct density matrices in finite-dimensional quantum systems. For prime dimensions, it achieves a mutually unbiased, symmetric set of $(n+1)n$ projectors, offering a more regular and complete framework than prior methods, with applications to separability and robustness analysis via complete projector sets.

ABSTRACT

In this work are presented sets of projectors for reconstruction of a density matrix for an arbitrary mixed state of a quantum system with the finite-dimensional Hilbert space. It was discussed earlier [quant-ph/0104126] a construction with (2n-1)n projectors for the dimension n. For n=2 it is a set with six projectors associated with eigenvectors of three Pauli matrices, but for n>2 the construction produces not such a `regular' set. In this paper are revisited some results of previous work [quant-ph/0104126] and discussed another, more symmetric construction with the Weyl matrix pair (as the generalization of Pauli matrices). In the particular case of prime n it is the mutually unbiased set with (n+1)n projectors. In appendix is shown an example of application of complete sets for discussions about separability and random robustness.

Motivation & Objective

• To develop a more symmetric and structured method for reconstructing density matrices using sets of projectors in finite-dimensional Hilbert spaces.
• To generalize the Pauli matrix construction (used for qubits) to higher-dimensional systems using the Weyl unitary pair.
• To establish conditions under which complete, symmetric, and mutually unbiased sets of projectors can be constructed for arbitrary finite dimensions.
• To apply these projector sets to analyze quantum separability and random robustness in composite systems.
• To explore the minimal size and structural regularity of such sets, particularly in non-prime dimensions.

Proposed method

• Utilizes the Weyl unitary pair $( ilde{U}, ilde{V})$ to generate a symmetric set of projectors via eigenvectors of $ ilde{U}^k ilde{V}^l$ for $k,l = 0, ext{ to } n-1$.
• Constructs a complete set of $N = (n+1)n$ projectors for prime $n$, forming a mutually unbiased basis (MUB) set.
• Applies the linear map $ ilde{ ho} o ext{Tr}( ilde{P}_eta ilde{ ho})$ to extract probabilities from the density matrix, enabling reconstruction via inverse mapping.
• Employs the theorem that any Hermitian matrix can be expressed as a real linear combination of projectors, ensuring representativity of the set.
• Uses tensor product structure of projector sets across subsystems to extend results to composite quantum systems.
• Demonstrates that any density matrix can be rewritten as $ ilde{ ho} = ilde{ ho}_s - eta ilbf{1}$, where $ ilde{ ho}_s$ is separable, using the complete projector basis.

Experimental results

Research questions

• RQ1 Can a more symmetric and regular construction of projectors be developed for density matrix reconstruction beyond the standard $(2n-1)n$-projector scheme?
• RQ2 For which dimensions $n$ does a complete, symmetric, and mutually unbiased set of $n(n+1)$ projectors exist?
• RQ3 How can the Weyl matrix pair be used to generate symmetric and complete sets of projectors in arbitrary finite-dimensional Hilbert spaces?
• RQ4 Can such symmetric projector sets be used to construct a constructive proof of separability and random robustness in composite quantum systems?
• RQ5 Is it possible to achieve a smaller set size than $ ext{product}(p_k + 1)$ for composite dimensions $n = ext{product}(p_k)$, while maintaining completeness or symmetry?

Key findings

• For prime $n$, a symmetric, mutually unbiased set of $n(n+1)$ projectors can be constructed using the Weyl unitary pair, forming a complete and optimal set.
• The construction generalizes the qubit case (six projectors from Pauli matrices) to higher dimensions with a more regular and symmetric structure.
• The set of projectors is representative, meaning any Hermitian matrix can be reconstructed from the probabilities $p_eta = ext{Tr}( ilde{P}_eta ilde{ ho})$.
• A complete set of projectors allows rewriting any density matrix as $ ilde{ ho} = ilde{ ho}_s - eta f{1}$ with $ ilde{ ho}_s$ separable and $eta o 0$ corresponding to the minimal random robustness.
• The method provides a constructive proof of the separability decomposition theorem for arbitrary composite systems of finite-dimensional quantum systems.
• For non-prime $n$, the symmetric structure is less regular, but complete sets can still be formed via tensor product decomposition into prime components.