Programming quantum computers require awareness of entanglement, the phenomenon in which measurement outcomes of qubits are correlated. Entanglement can determine the correctness of algorithms and the suitability of programming patterns.
Entangled qubits give rise to Einstein’s characterization of “spooky action at a distance.” But that potency is equal parts a source of weakness. While programming, discarding one qubit without being aware of its entanglement with one more qubit can obliterate the information put away in the other, endangering the accuracy of the program.
MIT scientists have created their programming language for quantum computing. This new language, called Twist, can describe and verify which pieces of data are entangled in a quantum program.
To create this new language, scientists used a concept called Purity. It enforces the absence of entanglement and results in more intuitive programs, with ideally fewer bugs.
Charles Yuan, an MIT Ph.D. student in electrical engineering and computer science and the lead author of a new paper about Twist, said, “Our language Twist allows a developer to write safer quantum programs by explicitly stating when a qubit must not be entangled with another. Because understanding quantum programs requires understanding entanglement, we hope that Twist paves the way to languages that make the unique challenges of quantum computing more accessible to programmers.” READ MORE...
