Optimal Average Success Probabilities of Binary $(n,n-1)$ and $(n,n-2)$ Quantum Random Access Codes via a Proof of the Corresponding Conjectured Bound

2026-07-11

AI Summary

This work investigates whether the optimal average success probabilities of binary $(n,n-1)$ and $(n,n-2)$ quantum random access codes (QRACs) attain the previously conjectured upper bounds. By integrating the local-to-global reconstruction technique introduced by Lin and de Wolf, near-optimal measurements, and semidefinite constraints derived from the induced channels, the authors provide the first rigorous proof that these conjectured bounds are indeed tight for both $m = n-1$ and $m = n-2$. The result precisely characterizes the theoretical limits $P^{Q,\mathrm{avg},\mathrm{opt}}_{n,n-1}$ and $P^{Q,\mathrm{avg},\mathrm{opt}}_{n,n-2}$, thereby confirming that existing constructions achieve optimal performance.

Abstract

A binary $(n,m)$ quantum random access code (QRAC) compresses an $n$-bit classical string into an $m$-qubit quantum state, from which a decoder attempts to recover a randomly selected target bit. Of particular interest is the optimal average probability of success, $P^{Q,\mathrm{avg},\mathrm{opt}}_{n,m}$, which is numerically conjectured to satisfy the bound $P^{Q,\mathrm{avg},\mathrm{opt}}_{n,m}\leq \frac{1}{2}+\frac{1}{2}\sqrt{\frac{m}{n}}$. Recent constructions of $(n,n-1)$ QRACs by Suzuki and $(n,n-2)$ QRACs by Akibue et al. meet this bound exactly, raising the question of their strict optimality. In this work, we settle this question by proving the conjectured upper bound for $m\in\{n-1,n-2\}$, thereby precisely determining $P^{Q,\mathrm{avg},\mathrm{opt}}_{n,n-1}$ and $P^{Q,\mathrm{avg},\mathrm{opt}}_{n,n-2}$. The proof utilizes a translation recently studied by Lin and de Wolf from local to global reconstruction via pretty good measurement, along with dimensional and positive-semidefinite constraints on an induced channel.

Problem

• quantum random access codes
• average success probability
• optimal bound
• qubit compression
• bit recovery

Innovation

• Quantum Random Access Codes
• Optimal Success Probability
• Pretty Good Measurement
• Semidefinite Constraints
• Conjectured Bound