← Latest papers
⚛️ quantum physics

NxM-Version Programming for Quantum Software: High-Level Components across Frameworks and Engines

This paper introduces Quanifi, an Apache NiFi-based framework that enables N×M quantum program execution by packaging high-level routines from multiple software frameworks into interchangeable components, thereby facilitating cross-framework and cross-engine redundancy to systematically detect and isolate defects in quantum software and hardware.

Original authors: Neilson Carlos Leite Ramalho, Higor Amario de Souza, Anthony Accioly, Valter Vieira de Camargo, Marcos Lordello Chaim

Published 2026-09-29
📖 5 min read🧠 Deep dive

Original authors: Neilson Carlos Leite Ramalho, Higor Amario de Souza, Anthony Accioly, Valter Vieira de Camargo, Marcos Lordello Chaim

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Quantum computing promises to solve problems that are currently impossible for our most powerful supercomputers, but building the software to run these machines is a fragile and confusing task. Unlike classical computers, which process information as simple on-or-off switches, quantum machines use "qubits" that can exist in multiple states at once. To make them work, programmers must construct intricate sequences of operations, often writing code that speaks directly to the physics of the machine. This requires a rare mix of skills: a deep understanding of quantum mechanics, the ability to write complex code, and familiarity with a rapidly changing landscape of different software tools. Each major technology company and research group has built its own way of talking to quantum hardware, using different languages and rules. This fragmentation makes it difficult to know if a result is correct, because a mistake could be in the code, the tool used to write it, or the machine itself.

A team of researchers from Brazil has developed a new way to navigate this complexity, treating quantum software like a flow of water through a series of pipes rather than a wall of text to be written. They created a system called Quanifi, which allows users to build quantum programs by dragging and dropping pre-made blocks onto a visual screen, much like assembling a circuit board without ever soldering a wire. The brilliance of their approach lies in how they test these programs. Instead of running a single version of a calculation on a single machine, their system runs the same problem simultaneously through three different software tools and on three different quantum computers. This creates a grid of results where every possible combination is tested at once. If the answers disagree, the system can pinpoint exactly where the error occurred: was it the software tool, the computer hardware, or the specific pairing of the two?

The researchers used this method to run a classic search algorithm, known as Grover's algorithm, which is designed to find a specific item in a large list. They built the same search routine using three different software frameworks—Qiskit, Cirq, and PennyLane—and sent them to three different quantum computers located in different parts of the world: one from IBM, one from IQM, and one from Quantum Inspire. By comparing the outcomes of these nine different paths, they were able to spot inconsistencies that would have been invisible if they had only looked at one result. This process, which they call N×M execution, acts as a powerful safety net, revealing hidden flaws in the entire ecosystem of quantum computing.

The investigation uncovered three real defects in the tools and machines used by the industry. The first issue was found on a machine from Quantum Inspire. When the researchers used the Cirq software framework, the machine consistently returned the wrong answer, flipping the bits of the result. However, the same software worked perfectly on the other two computers, and the other software frameworks worked fine on that specific machine. This specific failure pointed to a problem in how the machine's adapter translated the Cirq instructions. It turned out the adapter was using a specific type of rotation gate with the wrong direction, effectively spinning the qubits the opposite way it should have. The researchers confirmed this by simulating the error and then reported it to the provider.

A second defect involved the same Quantum Inspire machine. The software adapter claimed the machine could perform certain complex operations that it actually could not. When the researchers tried to use these unsupported operations, the machine failed silently, producing wrong answers without raising any alarms. This highlighted a gap between what the software said the machine could do and what it could actually do. The third and perhaps most significant discovery involved a cloud service called Open Quantum, which acts as a middleman allowing users to access different quantum computers through a single interface. The researchers sent the exact same circuit files to a machine through both the direct connection and through this cloud service. While the direct connection worked, the cloud service returned incorrect results for certain types of circuits. The error was subtle: the service was silently stripping away specific rotation steps from the instructions, changing the calculation without telling the user. The provider confirmed this parsing error and fixed it shortly after the report.

The value of this work is not just in finding these bugs, but in the method used to find them. By running every combination of software and hardware at the same time, the researchers created a map of reliability that showed exactly where the system breaks down. They found that some tools work well on some machines but fail on others, and that some cloud services introduce errors that are impossible to detect if you only look at the final result. This approach does not require the user to be an expert in quantum physics or to write complex code; it simply requires assembling the blocks and letting the system compare the results. The researchers noted that while the four-qubit versions of their test were too noisy on some machines to draw firm conclusions, the two-qubit tests were clear and decisive.

This study demonstrates that the path to reliable quantum computing requires more than just better hardware; it requires a way to verify that the software and the hardware are working together correctly. The researchers showed that by treating different software frameworks and different machines as independent versions of the same test, they could isolate failures that would otherwise remain hidden. They reported all three defects they found, and the provider of the cloud service has already confirmed and corrected their error. The other two issues regarding the Quantum Inspire adapter remain under review. The work suggests that as quantum computing moves from the laboratory to the real world, this kind of cross-checking will be essential to ensure that the answers we get are actually right.

Drowning in papers in your field?

Get daily digests of the most novel papers matching your research keywords — with technical summaries, in your language.

Try Digest →