A new language for quantum computing

Time crystals. Microwaves. Diamonds. What do these three things have in common?

Quantum calculation. Unlike computers that use traditional bits, quantum computers use data such as zero or one or both at the same time to convert a cube. Combined with a cocktail of quantum physics forces, these refrigerated machines can process a lot of information – but they are flawless. Just like our standard computers, we need to have the right programming languages ​​to calculate accurately on quantum computers.

The programming of quantum computers requires knowledge of something called “Integrity”, a duplication of cubic-type calculations, which translates into a lot of energy. When two cubes are paired, actions on one cube can change the value of the other, even if they are physically separated, resulting in Einstein’s “distant reflection.” But that strength is the source of the weakness of equal parts. When programming, discarding one cube without remembering that it is linked to another cube destroys the data stored in the other and jeopardizes the program’s accuracy.

Scientists from MIT Computer Science and Artificial Intelligence (CSL) were planning to create their own programming language for quantum computing. Twitter can help a classical programmer in a language that can identify and verify which parts of data are stuck in a quantum program. The language uses a concept called purity, which ensures that there are no interruptions and produces more recognizable programs, with fewer errors. For example, a programmer can use Twist to secure the discarded temporary information generated by the program because it is not attached to the program’s response.

While the field of beginnings may be a bit blurred and the future may be bleak, images of mammoth weary gold machines are coming to mind, and quantum computers have the potential to solve complex problems such as cryptographic and communication protocols, search and mathematical physics and chemistry. One of the key challenges in computational science is to deal with the complexity of the problem and the amount of computation required. A classical digital computer needs a lot of descriptive bits to simulate it, a quantum computer can do it, perhaps using a very small number of qubits – if there are the right programs.

Charles Yun, PhD student and lead author of Electrical Engineering and Computer Science, says: . “Because understanding Quantum Programs requires an understanding of interconnection, we hope that Twitter will pave the way for quantum computing specialties to make programming more accessible to programmers.”

Yuan wrote the paper with MIT Research Laboratory of Electronics, a PhD student in Electrical Engineering and Computer Science, and Michael Carbin, an assistant professor at MIT. He presented the study at a symposium on the principles of programming in 2022 in Philadelphia last week.

Unbreakable quantum mesh

Imagine a wooden box with a thousand cables coming out of one side. You can pull any cord out of the box or into it.

After doing this for a while, the cables form a bit-zero and a pattern depending on whether they are in or out. This box represents the memory of an ancient computer. The program for this computer is a series of instructions on when and how to pull cables.

Now think of a second, similar box. At this point they pull the cable and when it goes out they pull the other two cables back in. Clearly, in the box, these wires are somehow connected to each other.

The second box is the equivalent of a quantum computer, and to understand the meaning of a quantum program requires understanding the entanglement of information. But it is not easy to identify intruders. You can’t see it in the wooden box, so the best thing you can do is try to pull the strings and think carefully about the strings. In the same way, quantum programmers need to think about hacking today. This is where Twist’s design helps to massage some of the intertwined pieces.

Scientists have designed Twist to be powerful enough to write programs for popular quantum algorithms and identify errors in their performance. To improve the design of Twist, they have modified their programs to identify a human programmer, introduce a relatively subtle error, and automatically identify Twist bugs and reject the programs.

He also measured the performance of the programs in terms of runtime, which is less than 4% higher than quantum programming techniques.

For those who are concerned about the quantum “sower” name, which has the potential to break into encryption systems, it is not yet clear how much quantum computers will deliver on their performance promises, according to Yuan. “There are a lot of studies in post-quantum cryptography, which is because even quantum computing does not have all the power.

One important step is to use Twist to create advanced quantum programming languages. Most quantum programming languages ​​still resemble assembly languages, combining low-level tasks together, without being careful about things like data types and functions and common in ancient software engineering.

“Quantum computers are prone to error and difficult to plan. By introducing and evaluating program code ‘purity’, Twist will go a long way in simplifying quantum programming by ensuring that quantum bits in pure code cannot be changed by non-quantities that are not in that code, ”said Fred Chong. Seymour Goodman, a professor of computer science at the University of Chicago and a senior scientist at Super Tech.

The work is partially supported by the MIT-IBM Watson AI Lab, the National Science Foundation and the Naval Research Office.


Leave a Comment