jobspot.blogg.se

Quantum error correction and quantum foundation
Quantum error correction and quantum foundation





quantum error correction and quantum foundation

#QUANTUM ERROR CORRECTION AND QUANTUM FOUNDATION VERIFICATION#

Peng, who is lead author of the paper, says that adapting formal verification methods developed for classical programs so that they function in the quantum realm is conceptually straightforward, but pragmatically challenging.

quantum error correction and quantum foundation

(Li, Rand and Hicks were previously active in QuICS Li and Rand were Basili Postdoctoral Fellows and Hicks was a QuICS Fellow.) They collaborated on the paper with Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand and Michael Hicks. The QuICS team is comprised of Xiaodi Wu (left in photo), an associate professor of computer science and QuICS Fellow, and Yuxiang Peng (right), a fifth-year computer science doctoral student who is advised by Wu. To address this quandary, researchers from the Joint Center for Quantum Information and Computer Science (QuICS) joined other programing experts to explore novel formal verification methods that will perform in the quantum world.Ī paper highlighting their work, “ A formally certified end-to-end implementation of Schor’s factorization algorithm,” was published earlier this year in the Proceedings of the National Academy of Sciences. The debugging techniques familiar to most programmers from the classical side do not transfer, at scale, to the quantum domain because of quantum’s unique characteristics. In classical (non-quantum) computing, standardized testing methods are often used to accomplish this task, identifying “bugs”-many of which are human-generated-and other anomalies through a formal verification process.īut quantum-based algorithms are much harder to test. Rapid developments in quantum computing hardware have brought forth a fundamental question from scientists and others active in the quantum revolution: “How can we be certain that a quantum computer program-when properly executed-will give the right answer?”







Quantum error correction and quantum foundation