Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 41 min ago
PreprintarXiv licencearXiv

Barycentric programming: Classical realization of programs for universal quantum processors

Abstract

A programmable quantum processor implements a target unitary using information stored in a classical or quantum program register. For arbitrary unitaries in SU(d), quantum programs attain the optimal leading-order memory cost, whereas deterministic classical rounding requires twice as much memory for the same diamond-distance error. We show that this gap disappears when classical randomization is allowed. We introduce barycentric programming, which stores the label of a unitary randomly selected from a finite set, with probabilities chosen so that first-order approximation errors cancel in the averaged unitary channel. Consequently, the diamond-distance error scales quadratically with the discretization spacing. For any ν-parameter family of unitaries forming a compact, smooth manifold without boundary, this method achieves error ε using only (ν/2)log2(1/ε)+O(1) classical bits. We also prove a matching lower bound for arbitrary quantum programs, determining the optimal leading-order program size for general unitary families. Thus, classical randomization achieves the optimal scaling (ν/2+o(1))log2(1/ε) without requiring coherent quantum memory.

Related

  1. Realization of decoherence-induced averaged symmetry-protected topological phases on quantum processors
    Ruizhe Shen, Xue-Jia Yu, Ching Hua Lee
    arXivPreprintCC BY 4.0Full textQuantum physics & quantum informationarXiv
  2. Universal two-zero texture in SO(10): implications of JUNO and realization from non-invertible symmetries
    Zi-Qiang Chen, Wen-Hao Jiang, Ye-Ling Zhou
    arXivPreprintarXiv licenceFull textHigh-energy & particle physicsarXiv
  3. Universal Scaling of Conditional Mutual Information in Classical Stochastic Dynamics
    Songlei Wang, Chenguang Liang, Zhi-Cheng Yang
    arXivPreprintarXiv licenceFull textQuantum physics & quantum informationStatistical & nonlinear physicsarXiv
  4. Encoding universal quantum computation into quantized Berry phases: Hardness results and classical algorithms
    Kazuki Sakamoto, Keisuke Fujii
    arXivPreprintarXiv licenceFull textQuantum physics & quantum informationarXiv
  5. Regularized barycentric Rényi divergences
    Milán Mosonyi
    arXivPreprintarXiv licenceFull textAnalysis & PDEsMathematical physicsarXiv
BibTeX
@misc{hashimoto2026barycentric,
  title = {{Barycentric programming: Classical realization of programs for universal quantum processors}},
  author = {Yutaka Hashimoto and Satoshi Yoshida and Mio Murao},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.02441},
  eprint = {2611.02441},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.02441},
}
RIS
TY  - UNPB
TI  - Barycentric programming: Classical realization of programs for universal quantum processors
AU  - Yutaka Hashimoto
AU  - Satoshi Yoshida
AU  - Mio Murao
PY  - 2026
DA  - 2026/11/02
PB  - arXiv
DO  - 10.48550/arxiv.2611.02441
UR  - https://arxiv.org/abs/2611.02441
AB  - A programmable quantum processor implements a target unitary using information stored in a classical or quantum program register. For arbitrary unitaries in SU(d), quantum programs attain the optimal leading-order memory cost, whereas deterministic classical rounding requires twice as much memory for the same diamond-distance error. We show that this gap disappears when classical randomization is allowed. We introduce barycentric programming, which stores the label of a unitary randomly selected from a finite set, with probabilities chosen so that first-order approximation errors cancel in the averaged unitary channel. Consequently, the diamond-distance error scales quadratically with the discretization spacing. For any ν-parameter family of unitaries forming a compact, smooth manifold without boundary, this method achieves error ε using only (ν/2)log_2(1/ε)+O(1) classical bits. We also prove a matching lower bound for arbitrary quantum programs, determining the optimal leading-order program size for general unitary families. Thus, classical randomization achieves the optimal scaling (ν/2+o(1))log_2(1/ε) without requiring coherent quantum memory.
ER  -