aiqbench analysis
This research establishes query-optimal protocols for learning quantum states and channels that possess specific symmetries, significantly advancing the efficiency of quantum tomography. By leveraging random purification and dilation techniques, the study resolves an open problem regarding efficient circuit constructions for approximating optimal measurements like the Hayashi measurement. These findings provide a rigorous theoretical foundation for scaling up characterization tasks in future fault-tolerant quantum computing architectures.
Optimal learning of covariant quantum states and channels
arXiv:2609.39280v1 Announce Type: new Abstract: We give collective tomography protocols for quantum states and channels with known symmetries, using random purification and dilation to reduce learning to pure-state estimation. For states commuting with a compact-group representation with multiplicities $m_\lambda$, the optimal copy complexity is $\Theta((\sum_\lambda m_\lambda^2+\log\eta^{-1})/\varepsilon^2)$ for sufficiently small trace-distance error $\varepsilon$ and failure probability $\eta$ for the nontrivial case $\sum_\lambda m_\lambda^2>1$. For $G$-covariant channels with finite-dimensional unitary representations of a compact group $G$, parallel $\widetilde{O}(D_G/\varepsilon^2)$ queries achieve a diamond-distance error $\varepsilon $ at fixed success probability $2/3$, where $D_G$ counts the real parameters of covariant Choi operators before imposing trace preservation. For permutation-covariant channels on $k$ qudits of fixed local dimension $d$, at sufficiently small fixed error and fixed success probability $2/3$, we obtain the optimal query scalings $\Theta_d(k^{d^4-1})$ for diamond distance and $\Theta_d(k^{d^4-d^2})$ for Choi trace distance. Furthermore, we resolve an open problem in quantum tomography of constructing efficient quantum circuits that approximate the Hayashi measurement for optimal pure-state estimation. We encode states in the symmetric subspace into bosonic occupation modes, realize the measurement by heterodyne detection and normalization, and approximate this procedure on qubits using the quantum Hermite transform. Combined with our symmetry-compatible purification and dilation circuits, this yields query-optimal and gate-efficient learners of permutation-covariant states and channels with gate complexity $O_d(\mathrm{poly}(k,\varepsilon^{-1},\log\eta^{-1}))$.
Abstract:We give collective tomography protocols for quantum states and channels with known symmetries, using random purification and dilation to reduce learning to pure-state estimation. For states commuting with a compact-group representation with multiplicities $m_\lambda$, the optimal copy complexity is $\Theta((\sum_\lambda m_\lambda^2+\log\eta^{-1})/\varepsilon^2)$ for sufficiently small trace-distance error $\varepsilon$ and failure probability $\eta$ for the nontrivial case $\sum_\lambda m_\lambda^2>1$. For $G$-covariant channels with finite-dimensional unitary representations of a compact group $G$, parallel $\widetilde{O}(D_G/\varepsilon^2)$ queries achieve a diamond-distance error $\varepsilon $ at fixed success probability $2/3$, where $D_G$ counts the real parameters of covariant Choi operators before imposing trace preservation. For permutation-covariant channels on $k$ qudits of fixed local dimension $d$, at sufficiently small fixed error and fixed success probability $2/3$, we obtain the optimal query scalings $\Theta_d(k^{d^4-1})$ for diamond distance and $\Theta_d(k^{d^4-d^2})$ for Choi trace distance. Furthermore, we resolve an open problem in quantum tomography of constructing efficient quantum circuits that approximate the Hayashi measurement for optimal pure-state estimation. We encode states in the symmetric subspace into bosonic occupation modes, realize the measurement by heterodyne detection and normalization, and approximate this procedure on qubits using the quantum Hermite transform. Combined with our symmetry-compatible purification and dilation circuits, this yields query-optimal and gate-efficient learners of permutation-covariant states and channels with gate complexity $O_d(\mathrm{poly}(k,\varepsilon^{-1},\log\eta^{-1}))$.
arXiv:2609.39280 [quant-ph]
(or arXiv:2609.39280v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.39280 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 301 words
Related coverage
Quantum Optimal Transport Barycenters: Existence, Duality, and Gaussian Rigidity
arXiv · Oct 2, 2026
From Symmetry to Secrecy: Covariant Classical--Quantum Wiretap Channels
arXiv · Oct 5, 2026
Asymmetric quantum cloning on orthogonal orbits and four-mode fermionic states
arXiv · Sep 21, 2026
Coupling Structure Determines Communication Regimes in Discrete Quantum Convolutional Channels
arXiv · Sep 16, 2026