Document Open Access Logo

Noisy Decoding by Shallow Circuits with Parities: Classical and Quantum (Extended Abstract)

Authors Jop Briët , Harry Buhrman, Davi Castro-Silva , Niels M. P. Neumann

PDF

File

Thumbnail PDF
PDF
LIPIcs.ITCS.2024.21.pdf
  • Filesize: 0.7 MB
  • 11 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Coding theory
  • Theory of computation → Circuit complexity
Keywords
  • Coding theory
  • circuit complexity
  • quantum complexity theory
  • higher-order Fourier analysis
  • non-local games

Metrics

Abstract

We consider the problem of decoding corrupted error correcting codes with NC⁰[⊕] circuits in the classical and quantum settings. We show that any such classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate. Previously this was known only for linear codes with large dual distance, whereas our result applies to any code. By contrast, we give a simple quantum circuit that correctly decodes the Hadamard code with probability Ω(ε²) even if a (1/2 - ε)-fraction of a codeword is adversarially corrupted.
Our classical hardness result is based on an equidistribution phenomenon for multivariate polynomials over a finite field under biased input-distributions. This is proved using a structure-versus-randomness strategy based on a new notion of rank for high-dimensional polynomial maps that may be of independent interest.
Our quantum circuit is inspired by a non-local version of the Bernstein-Vazirani problem, a technique to generate "poor man’s cat states" by Watts et al., and a constant-depth quantum circuit for the OR function by Takahashi and Tani.

Cite As Get BibTex

Jop Briët, Harry Buhrman, Davi Castro-Silva, and Niels M. P. Neumann. Noisy Decoding by Shallow Circuits with Parities: Classical and Quantum (Extended Abstract). In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 287, pp. 21:1-21:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.ITCS.2024.21

Author Details

Jop Briët
  • Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
Harry Buhrman
  • Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
  • University of Amsterdam, The Netherlands
Davi Castro-Silva
  • Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
Niels M. P. Neumann
  • Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
  • The Netherlands Organisation for Applied Scientific Research (TNO), Den Haag, The Netherlands

Funding

This work was supported by the Dutch Research Council (NWO/OCW), as part of the Quantum Software Consortium programme (project number 024.003.037), the NETWORKS programme (grant no. 024.002.003), and the Quantum Delta NL program.

Acknowledgements

We thank Richard Cleve for helpful discussions on the proof of Theorem 2, Emanuele Viola for helpful pointers to the literature and comments on an earlier version of this manuscript, Tamar Ziegler for encouragement to explore the high-characteristic setting, as well as anonymous referees for helpful comments.

References

  1. Sanjeev Arora and Boaz Barak. Computational complexity. Cambridge University Press, Cambridge, 2009. A modern approach. URL: https://doi.org/10.1017/CBO9780511804090.
  2. Adam Bene Watts, Robin Kothari, Luke Schaeffer, and Avishay Tal. Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, pages 515-526. ACM, June 2019. URL: https://doi.org/10.1145/3313276.3316404.
  3. Ethan Bernstein and Umesh Vazirani. Quantum complexity theory. SIAM Journal on Computing, 26(5):1411-1473, 1997. URL: https://doi.org/10.1137/S0097539796300921.
  4. Sergey Bravyi, David Gosset, and Robert König. Quantum advantage with shallow circuits. Science, 362(6412):308-311, October 2018. URL: https://doi.org/10.1126/science.aar3106.
  5. Sergey Bravyi, David Gosset, Robert König, and Marco Tomamichel. Quantum advantage with noisy shallow circuits. Nature Physics, 16(10):1040-1045, 2020. Preliminary version in FOCS'19. URL: https://doi.org/10.1038/s41567-020-0948-z.
  6. Jop Briët and Davi Castro-Silva. Random restrictions of high-rank tensors and polynomial maps, 2022. arXiv:2212.13728. URL: https://doi.org/10.48550/arXiv.2212.13728.
  7. Jop Briët, Harry Buhrman, Davi Castro-Silva, and Niels M. P. Neumann. Noisy decoding by shallow circuits with parities: classical and quantum, 2023. URL: https://arxiv.org/abs/2302.02870.
  8. Richard Cleve, Peter Høyer, Benjamin Toner, and John Watrous. Consequences and limits of nonlocal strategies. In Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004., pages 236-249. IEEE, 2004. URL: https://doi.org/10.1109/CCC.2004.1313847.
  9. Matthew Coudron, Jalex Stark, and Thomas Vidick. Trading locality for time: certifiable randomness from low-depth circuits. Communications in Mathematical Physics, 382(1):49-86, 2021. URL: https://doi.org/10.1007/s00220-021-03963-w.
  10. P Elias. List decoding for noisy channels. In IRE WESCON Convention Record, 1957, volume 2, pages 94-104, 1957. Google Scholar
  11. François Le Gall. Average-Case Quantum Advantage with Shallow Circuits. In Amir Shpilka, editor, 34th Computational Complexity Conference (CCC 2019), volume 137 of Leibniz International Proceedings in Informatics (LIPIcs), pages 21:1-21:20, Dagstuhl, Germany, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.CCC.2019.21.
  12. O. Goldreich and L. A. Levin. A hard-core predicate for all one-way functions. In Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, STOC '89, pages 25-32, New York, NY, USA, 1989. Association for Computing Machinery. URL: https://doi.org/10.1145/73007.73010.
  13. W. T. Gowers and J. Wolf. Linear forms and higher-degree uniformity for functions on Fⁿ_p. Geom. Funct. Anal., 21(1):36-69, 2011. URL: https://doi.org/10.1007/s00039-010-0106-3.
  14. Ben Green and Terence Tao. The distribution of polynomials over finite fields, with applications to the Gowers norms. Contrib. Discrete Math., 4(2):1-36, 2009. URL: https://doi.org/10.11575/cdm.v4i2.62086.
  15. Frederic Green, Steven Homer, Cristopher Moore, and Christopher Pollett. Counting, fanout and the complexity of quantum ACC. Quantum Info. Comput., 2(1):35-65, December 2002. URL: https://doi.org/10.26421/QIC2.1-3.
  16. Daniel Grier and Luke Schaeffer. Interactive shallow clifford circuits: Quantum advantage against NC¹ and beyond. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC'20), pages 875-888, New York, NY, USA, 2020. Association for Computing Machinery. URL: https://doi.org/10.1145/3357713.3384332.
  17. Venkatesan Guruswami and Salil Vadhan. A lower bound on list size for list decoding. IEEE Transactions on Information Theory, 56(11):5681-5688, 2010. URL: https://doi.org/10.1109/TIT.2010.2070170.
  18. R. W. Hamming. Error detecting and error correcting codes. The Bell System Technical Journal, 29(2):147-160, 1950. URL: https://doi.org/10.1002/j.1538-7305.1950.tb00463.x.
  19. Hamed Hatami, Pooya Hatami, and Shachar Lovett. Higher-order Fourier analysis and applications. Found. Trends Theor. Comput. Sci., 13(4):247-448, 2019. URL: https://doi.org/10.1561/0400000064.
  20. Peter Høyer and Robert Špalek. Quantum fan-out is powerful. Theory of Computing, 1(5):81-103, 2005. URL: https://doi.org/10.4086/toc.2005.v001a005.
  21. Chin Ho Lee and Emanuele Viola. Some limitations of the sum of small-bias distributions. Theory of Computing, 13(16):1-23, 2017. URL: https://doi.org/10.4086/toc.2017.v013a016.
  22. Cristopher Moore. Quantum circuits: Fanout, parity, and counting. arXiv preprint, 1999. URL: https://arxiv.org/abs/quant-ph/9903046.
  23. Cristopher Moore and Martin Nilsson. Parallel quantum computation and quantum codes. SIAM Journal on Computing, 31(3):799-815, 2001. URL: https://doi.org/10.1137/S0097539799355053.
  24. Michael A. Nielsen and Isaac L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2010. URL: https://doi.org/10.1017/CBO9780511976667.
  25. Paul Pham and Krysta M. Svore. A 2D nearest-neighbor quantum architecture for factoring in polylogarithmic depth. Quantum Info. Comput., 13(11–12):937-962, 2013. URL: https://doi.org/10.26421/QIC13.11-12-3.
  26. A. A. Razborov. Lower bounds on the size of bounded depth circuits over a complete basis with logical addition. Mathematical Notes of the Academy of Sciences of the USSR, 41(4):333-338, April 1987. URL: https://doi.org/10.1007/bf01137685.
  27. Atri Rudra and Steve Uurtamo. Two theorems on list decoding. In Maria Serna, Ronen Shaltiel, Klaus Jansen, and José Rolim, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pages 696-709, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg. Google Scholar
  28. C. E. Shannon. A mathematical theory of communication. Bell System Tech. J., 27:379-423, 623-656, 1948. URL: https://doi.org/10.1002/j.1538-7305.1948.tb01338.x.
  29. P. W. Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal of Computing, 26(5):1484-1509, 1997. Preliminary version in FOCS'94. URL: https://doi.org/10.1137/S0097539795293172.
  30. R. Smolensky. Algebraic methods in the theory of lower bounds for boolean circuit complexity. In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, STOC '87, pages 77-82, New York, NY, USA, 1987. Association for Computing Machinery. URL: https://doi.org/10.1145/28395.28404.
  31. M. Sudan, L. Trevisan, and S. Vadhan. Pseudorandom generators without the xor lemma. In Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317), pages 4-, 1999. URL: https://doi.org/10.1109/CCC.1999.766253.
  32. Yasuhiro Takahashi and Seiichiro Tani. Collapse of the hierarchy of constant-depth exact quantum circuits. In 2013 IEEE Conference on Computational Complexity, pages 168-178, 2013. URL: https://doi.org/10.1109/CCC.2013.25.
  33. Terence Tao. Higher order Fourier analysis, volume 142 of Graduate Studies in Mathematics. American Mathematical Society, 2012. URL: https://doi.org/10.1090/gsm/142.
  34. Luca Trevisan. Some applications of coding theory in computational complexity. In Complexity of computations and proofs, volume 13 of Quad. Mat., pages 347-424. Dept. Math., Seconda Univ. Napoli, Caserta, 2004. Google Scholar
  35. Luca Trevisan and Salil Vadhan. Pseudorandomness and average-case complexity via uniform reductions. Computational Complexity, 16(4):331-364, 2007. URL: https://doi.org/10.1007/s00037-007-0233-x.
  36. Emanuele Viola. The Complexity of Hardness Amplification and Derandomization. PhD thesis, Harvard University, USA, 2006. AAI3217914. URL: https://doi.org/10.5555/1195277.
  37. Emanuele Viola. The sum of d small-bias generators fools polynomials of degree d. Comput. Complexity, 18(2):209-217, 2009. Preliminary version in CCC'08. URL: https://doi.org/10.1007/s00037-009-0273-5.
  38. Adam Bene Watts and Natalie Parham. Unconditional quantum advantage for sampling with shallow circuits, 2023. URL: https://arxiv.org/abs/2301.00995.
  39. John M Wozencraft. List decoding. Quarterly Progress Report, 48:90-95, 1958. Google Scholar
  40. Tomoyuki Yamakami. Quantum list decoding of classical block codes of polynomially small rate from quantumly corrupted codewords. Baltic J. Modern Computing, 4(4):753-788, 2016. URL: https://doi.org/0.22364/bjmc.2016.4.4.12.
  41. Andrew Chi-Chin Yao. Probabilistic computations: Toward a unified measure of complexity. In 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pages 222-227, 1977. URL: https://doi.org/10.1109/SFCS.1977.24.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact