Abstract:In the field of quantum information theory, the concept of quantum fidelity is employed to quantify the similarity between two quantum states. It has been observed that the fidelity between two states describing a bipartite quantum system $A \otimes B$ is always less than or equal to the quantum fidelity between the states in subsystem $A$ alone. While this fidelity inequality is well understood, determining the conditions under which the inequality becomes an equality remains an open question. In this paper, we present the necessary and sufficient conditions for the equality of fidelities between a bipartite system $A \otimes B$ and subsystem $A$, considering pure quantum states. Moreover, we provide explicit representations of quantum states that satisfy the fidelity equality, based on our derived results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the necessary and sufficient conditions for the equality of global fidelity and local fidelity in quantum information theory. Specifically, for a bipartite quantum system \(A \otimes B\) and its subsystem \(A\), it is known that the fidelity between the quantum states of the bipartite system is always less than or equal to the fidelity between the quantum states of subsystem \(A\). However, determining the conditions under which these two fidelities are equal is an open problem. By considering the case of pure quantum states, this paper presents these conditions and provides specific forms of quantum state representations that satisfy these conditions.
### Background Introduction
In quantum information theory, quantum fidelity is a fundamental tool for quantifying the similarity between two quantum states. Quantum fidelity plays a crucial role in evaluating the success rate of quantum communication tasks such as quantum teleportation and quantum state merging. For a bipartite quantum system \(A \otimes B\), the fidelity \(F(\rho_{AB}, \sigma_{AB})\) between its quantum states is always less than or equal to the fidelity \(F(\rho_A, \sigma_A)\) between the quantum states of subsystem \(A\), that is:
\[ F(\rho_{AB}, \sigma_{AB}) \leq F(\rho_A, \sigma_A) \]
### Research Objectives
The objective of this paper is to determine the necessary and sufficient conditions for the above inequality to become an equality. Specifically, the author considers pure bipartite quantum states \(|\psi\rangle_{AB}\) and \(|\phi\rangle_{AB}\) and derives these conditions. In addition, the author also provides specific forms of quantum state representations that satisfy these conditions.
### Main Results
- **Theorem 3**: Gives the necessary and sufficient conditions for pure bipartite quantum states \(|\psi\rangle_{AB}\) and \(|\phi\rangle_{AB}\) to satisfy \(F_{AB} = F_A\). These conditions include:
1. \(\sqrt{\lambda} |c_{01}| = \sqrt{1 - \lambda} |c_{10}|\)
2. \(\text{Re}(c_{00} c_{11}^*) = |c_{00} c_{11}|\)
3. \(c_{ij} = 0, \forall j \geq 2\)
4. \(|c_{00} c_{11}| - |c_{01} c_{10}| = |c_{00} c_{11} - c_{01} c_{10}|\)
- **Corollary 5**: If \(|\psi\rangle_{AB}\) is separable, then the necessary and sufficient condition for \(F_{AB} = F_A\) to hold is \(c_{1j} = 0, \forall j \neq 1\).
- **Specific Representation Forms**: Based on the above conditions, the author provides specific representation forms of the quantum state \(|\phi\rangle_{AB}\) that satisfy \(F_{AB} = F_A\). For example, when \(|\psi\rangle_{AB}\) is a separable state, \(|\phi\rangle_{AB}\) can be represented as:
\[
|\phi\rangle_{AB} = c_{11} |\psi\rangle_{AB} + \sum_{j = 0}^{d - 1} c_{0j} |0j\rangle_{AB}
\]
where \(c_{1j} = 0, \forall j \neq 1\).
### Conclusions and Prospects
This paper, through rigorous mathematical derivations, determines the necessary and sufficient conditions for the equality of global and local fidelities of bipartite pure quantum states and provides specific forms of quantum state representations. Future research can further explore the fidelity equality problem of general bipartite states, as well as quantum entanglement and fidelity.