Quantum computers are scaling up quickly. Manufacturers expect to break the thousand-qubit barrier by 2024, with a plan to reach one million in the next decade. Despite these advances, the technology faces an enormous problem. To handle real-world applications, each qubit needs to be able to pass through numerous logic operations before its delicate state collapses. However, the qubits in today's technologies are too unstable for this to happen without extensive error correction.
The error-correction techniques in use today forge virtual qubits from 20 or more physical qubits to provide sufficient stability. Even then, they can only perform simple operations before the errors build up too far. Though the mainstream plan is to try to find ways to better stabilize the qubits to provide more headroom for the error correction, there is another possibility. That is to use a different technology that can harness inherent quantum effects to build a much greater degree of fault tolerance into the machine.
Rather than have a qubit reflect the changes in the state of individual elementary particles, these future machines would rely on manipulating quasiparticles. These appear to move and interact much like point-like elementary particles, but are formed from highly entangled combinations of those elementary particles. Some types of quasiparticle, which today exist only in theory, potentially offer significant advantages on two fronts. One is that the nature of the entanglement should act as a defense against noise.
In an analogy used by Jason Alicea, associate professor of theoretical physics at the California Institute of Technology (Caltech), the entangled quantum states in the quasiparticle behave like a flock of birds—the flock appears to move as one, even though individual birds will often deviate from the overall course.
The other advantage is that they could make it easier to build the hardware: with the right kind of quasiparticle, interactions between them model the actions of all the logic gates needed for a universal quantum computer. That contrasts with today's architectures that cannot directly implement the gates needed for universal computation and which use instead workarounds to emulate the behavior of some of those gates.
Quasiparticles that fit the profile are anyons, which are constrained to move only in two dimensions, rather than three. That seemingly simple restriction leads to much more complex interactions between them than those that can be observed for elementary particles. In the case of non-Abelian anyons, those interactions need to be modeled as matrix multiplications similar to the gates in quantum computers that are themselves modeled as matrix operations. A series of computations can be performed by successive "braiding" operations. These are exchanges between different any-ons created by moving them around each other in the two-dimensional (2D) space.
Unfortunately, anyons of the right kind remain theoretical, and even claims of sightings have proved controversial. In one case, a team of scientists in the Netherlands claimed in 2018 to have discovered suitable quasiparticles in superconducting wires, but withdrew their paper when it emerged the experiments did not show conclusive evidence of non-Abelian behavior. One big problem in all these experiments is determining whether subtle changes in behavior are due to the anyons appearing or because of some other physical property that mimics the desired property.
Although materials that can support non-Abelian behavior have yet to be demonstrated to general satisfaction, a combination of improvements to the theories of electromagnetic fields that describe anyon behavior, coupled with the rapid increase in capacity in today's noisy quantum computers, have made it possible to explore how these states would behave.
Google's quantum computing group worked with theoreticians from Cornell University to demonstrate the expected exchange behavior of one class of anyon on a superconductor-based quantum computer. This type of hardware was chosen for its ability to confine movement to a 2D lattice, though it does not directly mimic the quantum entanglement of a physical anyon. A team based at Zhejiang University and the Hefei Institute in China used a similar approach in their own simulation of the exchanges of electric and magnetic charges between anyons to apply a sequence of simple logic gates on the anyon-like combinations of qubits.
So far, experiments have not worked on types of anyon that can support a full set of quantum gates.
In one of the first experiments conducted on the company's H2 trapped-ion machine, scientists at Quantinuum, in collaboration with researchers from Harvard University and Caltech, used the ability of this kind of quantum computer to entangle any qubit with any other to go further in their realization of the physics by replicating the anyon's ground states. However, one desirable element that is missing from the realizations on quantum computing hardware is the natural energy gap that should act to suppress errors as the anyon is manipulated. "Quantum error correction then becomes crucial for sufficiently high-fidelity operation that will be required for applications," says Alicea.
For Ruben Verresen, postdoctoral fellow at the Harvard University Quantum Initiative, the difference between the material-based anyons and the realizations he and collaborators created on Quantinuum's hardware can be seen as analogous to comparing a naturally frozen ice cube with one formed "by grabbing atoms and arranging them in just the right way." Once the fields that hold those atoms in place in the artificial version are released, the cube simply dissipates. Future experiments, he says, will point to how repeated measurements and corrections can maintain the anyonic states for periods long enough to perform more extensive computing operations.
"I view these engineered quantum systems as interesting systems in their own right. They are not just stepping stones to a better understanding of conventional solid-state approaches," Verresen adds.
An important element of these experiments is that they make it possible to explore the many different forms of anyon that potentially could be realized in novel materials. So far, experiments have not worked on types of anyon that can support a full set of quantum gates. Work by Verresen and colleagues to date suggests Fibonacci anyons, which support universal quantum computing, require more resources to create on a machine such as Quantinuum's. And those resources scale with the size of the problem, which potentially imposes too large an overhead to be viable in even-larger quantum computers.
What is not yet clear is whether the additional computational power supposedly offered by the Fibonacci anyon states is linked to greater difficulty in preparing them. "I do think it is an interesting invitation for the community to conceptually explore why Fibonacci anyons are harder to prepare. It may be no coincidence that Fibonacci anyons are more computationally powerful; there is no free lunch, even in the quantum realm," Verresen says.
However, researchers are beginning to investigate whether hybrid systems may provide a way of overcoming the difficulty of preparing these notionally more powerful quantum states. Simpler anyon constructions may be sufficient. "There are certain kinds of topological orders that can provide a universal gate," Alicea says, by combining simpler non-Abelian anyons with the kinds of measurement used in conventional quantum error correction.
Jiannis Pachos, professor of theoretical physics at the University of Leeds, U.K., says a possible role for anyon-style approaches in error correction itself should not be underestimated. "Topological quantum error-correcting codes have high thresholds and a nice geometrical interpretation. They're potentially the best error-correcting codes that we could have."
Topological error-correcting codes are "potentially the best error-correcting codes that we could have."
Eun-Ah Kim, a professor of physics at Cornell, says the use of anyon-like behavior on today's supercomputer hardware could provide a better way to design error-corrected qubits. The error correction tried so far on super-conducting machines requires "lattice surgery," she says. The coding scheme that underpins the recent anyon experiment her team ran with Google makes it possible to encode multiple logical topological qubits without such a high degree of logical manipulation.
Work is likely to continue on all the hardware platforms available to researchers working on quantum systems, whether they are based on superconductors, trapped ions, photonics, or several other technologies that can emulate aspects of anyonic behavior. "They each bring their own advantages to the table," Verresen says.
Kim aims to use the superconductor platform to gain a better understanding of the properties of different coding schemes that can support the logic gates needed for quantum computers. "This way, we can compare our approach to lattice surgery in a meaningful way," she says.
Pachos says in his group's work on spatial light modulators with a team from the University of Edinburgh, the focus has been on the way in the quantum systems evolve, rather than simulating the full anyon states. "I realized we don't need to create the states to do operations," he says.
Early attempts to do his experiments on a superconductor platform called for too many qubits to be practical. "We connected with the linear-optics people and found they could do with higher fidelity," Pachos says.
The collaboration between different groups in the physics and quantum computing domains have allowed the work to advance quickly, Pachos adds. "The social aspect is very strong here."
What remains unclear is how the anyon work ultimately will be applied. Alecia explains, "In an ideal world, we would have sufficiently clean and controllable non-Abelian platforms realized in scalable solid-state devices that would eliminate, or at least sharply mitigate, the need for quantum error correction."
Physical anyons may continue to prove elusive, but the option remains to use the theories to support better error correction in the various kinds of quantum hardware developers expect to scale past the thousand-qubit milestone. Further experiments will determine whether anyon emulation is a more efficient means of avoiding errors in noisy quantum hardware than existing techniques. However, even if anyon-like error correction does not perform as well as expected, physicists likely will continue to apply quantum computing hardware to work on these and other quasiparticles.
Alicea concludes that, whichever way these non-Abelian states are realized, they "offer tremendously exciting opportunities for probing novel emergent quantum phenomena."
Andersen, T.I. et al.
Non-Abelian braiding of graph vertices in a superconducting processor. Nature 618, (2023), 264–269.
Xu, S. et al.
Digital simulation of projective non-Abelian anyons with 68 superconducting qubits. Chinese Physics Letters 40, (2023), 060301.
Iqbal, M. et al.
Creation of non-Abelian topological order and anyons on a trapped-ion processor. (2023); ArXiv: 2305.03766.
Goel, S. et al.
Unveiling the non-Abelian statistics of D(S3) anyons via photonic simulation. (2023); ArXiv: 2304.05286
©2023 ACM 0001-0782/23/12
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and full citation on the first page. Copyright for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or fee. Request permission to publish from email@example.com or fax (212) 869-0481.
The Digital Library is published by the Association for Computing Machinery. Copyright © 2023 ACM, Inc.
No entries found