English

On the continuous Zauner conjecture

Quantum Physics 2025-09-02 v1 Mathematical Physics math.MP

Abstract

In a recent paper by S. Pandey, V. Paulsen, J. Prakash, and M. Rahaman, the authors studied the entanglement breaking quantum channels Φt:Cd×dCd×d\Phi_t:\mathbb{C}^{d\times d} \to \mathbb{C}^{d \times d} for t[1d21,1d+1]t \in [-\frac{1}{d^2-1}, \frac{1}{d+1}] defined by Φt(X)=tX+(1t)Tr(X)1dI\Phi_t(X) = tX+ (1-t)\text{Tr}(X) \frac{1}{d}I. They proved that Zauner's conjecture is equivalent to the statement that entanglement breaking rank of Φ1d+1\Phi_{\frac{1}{d+1}} is d2d^2. The authors made the extended conjecture that ebr(Φt)=d2\text{ebr}(\Phi_t)=d^2 for every t[0,1d+1]t \in [0, \frac{1}{d+1}] and proved it in dimensions 2 and 3. In this paper we prove that for any t[1d21,1d+1]{0}t \in [-\frac{1}{d^2-1}, \frac{1}{d+1}] \setminus\{0\} the equality ebr(Φt)=d2\text{ebr}(\Phi_t)=d^2 is equivalent to the existence of a pair of informationally complete unit norm tight frames {xi}i=1d2,{yi}i=1d2\{|x_i\rangle\}_{i=1}^{d^2}, \{|y_i\rangle\}_{i=1}^{d^2} in Cd\mathbb{C}^d which are mutually unbiased in a certain sense. That is, for any iji\neq j it holds that xiyj2=1td|\langle x_i|y_j\rangle|^2 = \frac{1-t}{d} and xiyi2=t(d21)+1d|\langle x_i|y_i\rangle|^2 = \frac{t(d^2-1)+1}{d} (also it follows that xixjyiyj=t|\langle x_i|x_j\rangle\langle y_i|y_j\rangle|=|t|). Though, our numerical searches for solutions were not successful in dimensions 4 and 5 for values of tt other than 00 or 1d+1\frac{1}{d+1}.

Cite

@article{arxiv.2112.05875,
  title  = {On the continuous Zauner conjecture},
  author = {Danylo Yakymenko},
  journal= {arXiv preprint arXiv:2112.05875},
  year   = {2025}
}
R2 v1 2026-06-24T08:13:04.822Z