Quantum Mass Production Theorems

We prove that for any n-qubit unitary transformation U and for any r = 2^{o(n / log n)}, there exists a quantum circuit to implement U^{⊗ r} with at most O(4ⁿ) gates. This asymptotically equals the number of gates needed to implement just a single copy of a worst-case U. We also establish analogous results for quantum states and diagonal unitary transformations. Our techniques are based on the work of Uhlig [Math. Notes 1974], who proved a similar mass production theorem for Boolean functions. BibTeX - Entry

Note:

12 pages, 2 figures. V2: writing improvements

mass production
quantum circuit synthesis
quantum circuit complexity

References(20)

Figures(0)

[1]

Improved simulation of stabilizer circuits

Scott Aaronson
(
- MIT
)
,
Daniel Gottesman
(
- Perimeter Inst. Theor. Phys.
)

- Phys.Rev.A 70 (2004) 5, 052328
•
e-Print:
- quant-ph/0406196
•
DOI:
- 10.1103/PhysRevA.70.052328

[2]

Andreas Albrecht. On simultaneous realizations of Boolean functions, with applications. In Gottfried Wolf, Tamáas Legendi, and Udo Schendel, editors, Parcella ’88, pages 51-56, Berlin, Heidelberg

•
DOI:
- 10.1007/3-540-50647-0_102

[3]

Josh Alman and Virginia Vassilevska

Williams. A

•
DOI:
- 10.1137/1.9781611976465.32

[4]

Boaz Barak, Mark Braverman, Xi Chen, and Anup Rao. How to compress interactive communication. In Proceedings of the Forty-Second ACM Symposium on Theory of Computing, STOC ’10, pages 67-76, New York, NY, USA,. Association for Computing Machinery

•
DOI:
- 10.1145/1806689.1806701

[5]

Learning Quantum Processes and Hamiltonians via the Pauli Transfer Matrix

Matthias C. Caro
(
- Caltech, IQI and
- Freie U., Berlin
)

- ACM Trans.Quant.Comput. 5 (2024) 2, 14,
- Comput. 5 2
•
e-Print:
- 2212.04471
•
DOI:
- 10.1145/3670418

[6]

Sitan Chen, Jordan Cotler, Hsin-Yuan Huang, and Jerry Li. Exponential separations between learning with and without quantum memory. In

•
DOI:
- 10.1109/FOCS52979

[7]

Andrew Donald Drucker. The complexity of joint computation. PhD thesis, Massachusetts Institute of Technology,. URL:

[8]

Ran Duan, Hongxun Wu, and Renfei Zhou. Faster matrix multiplication via asymmetric hashing

•
e-Print:
- 2210.10173

[9]

Shuichi Hirahara. NP-hardness of learning programs and partial MCSP. In 63rd

[9]

Annual Symposium on Foundations of Computer Science, FOCS, Denver, CO, USA, October 31 - November 3,, pages 968-979

•
DOI:
- 10.1109/FOCS54457.2022.00095

[10]

Quantum advantage in learning from experiments

Hsin-Yuan Huang
(
- Caltech and
- Caltech, IQI
)
,
Michael Broughton
(
- Unlisted, US, CA
)
,
Jordan Cotler
(
- Unlisted, US, MA
)
,
Sitan Chen
(
- UC, Berkeley (main)
)
,
Jerry Li
(
- Microsoft, Redmond
)

et al.

- Science 376 (2022) 6598, abn7293
•
e-Print:
- 2112.00778
•
DOI:
- 10.1126/science.abn7293

[11]

Rahul Jain, Hartmut Klauck, and Miklos Santha. Optimal direct sum results for deterministic and randomized decision tree complexity

- Inform.Proc.Lett. 110 (2010) 893-897
•
DOI:
- 10.1016/j.ipl.2010.07.020

[12]

Rahul Jain, Jaikumar Radhakrishnan, and Pranab

Sen. A

•
DOI:
- 10.1007/3-540-45061-0_26

[13]

Realizing Boolean functions on disjoint sets of variables

Wolfgang J. Paul

- Theor.Comput.Sci. 2 (1976) 383-396
•
DOI:
- 10.1016/0304-3975(76)90089-X

[14]

Hanlin Ren and Rahul Santhanam. Hardness of KT Characterizes Parallel Cryptography. In Valentine Kabanets, editor, 36th Computational Complexity Conference (CCC), volume 200 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35:1-35:58, Dagstuhl, Germany,. Schloss Dagstuhl - Leibniz-Zentrum für Informatik

•
DOI:
- 10.4230/LIPIcs

[15]

Shannon. The synthesis of two-terminal switching circuits

Claude. E.

- Bell Syst.Tech.J. 28 (1949) 59-98
•
DOI:
- 10.1002/j.1538-7305.1949.tb03624.x

[16]

Synthesis of quantum-logic circuits

V.V. Shende
(
- UC, Berkeley
)
,
S.S. Bullock
(
- NIST, Wash., D.C.
)
,
I.L. Markov
(
- U. Michigan, Ann Arbor
)

- IEEE Trans.Comput.Aided Design Integr.Circuits Syst. 25 (2006) 6, 1000-1010
•
DOI:
- 10.1109/tcad.2005.855930

[17]

Dietmar Uhlig. On the synthesis of self-correcting schemes from functional elements with a small number of reliable elements

- Mat.Zametki 15 (1974) 937-944
•
- http://mi.mathnet.ru/mz7425

[18]

Dietmar Uhlig. On the synthesis of self-correcting schemes from functional elements with a small number of reliable elements

- Math.Notes Acad.Sci.USSR 15 (1974) 558-562
•
DOI:
- 10.1007/BF01152835

[19]

Dietmar Uhlig. Networks Computing Boolean Functions for Multiple Input Values, pages 165-173. London Mathematical Society Lecture Note Series. Cambridge University Press, 1992

•
DOI:
- 10.1017/CBO9780511526633.013