IBM builds a toolbox for simulating molecules on quantum computers

IBM has introduced Qiskit Fermions, a new open-source tool designed to bridge a critical gap between how researchers define molecular and material problems and how quantum computers process them. The framework directly addresses the absence of a dedicated system for working with fermionic systems, a previously unaddressed need in the quantum software ecosystem. The team reports that Qiskit Fermions empowers researchers to develop new mappings and algorithms, ultimately accelerating the creation of quantum solutions for complex scientific challenges.

Qiskit Fermions: Framework for Fermionic Operators and Circuits

Quantum simulations of materials and molecules now have a dedicated software framework with the release of Qiskit Fermions, a new capability designed to translate the complex behavior of interacting particles into instructions for quantum computers. The tool addresses a longstanding challenge in the field: bridging the gap between how researchers define problems using fermionic operators and how quantum hardware executes them with qubits. Unlike general quantum software packages, Qiskit Fermions focuses specifically on this translation, offering a modular system for expressing fermionic operators, circuits, and mappings.

Developers aimed to fill this void and construct a versatile toolbox for a broad range of research needs and use cases. This ambition led to a system that empowers researchers to develop novel mappings, encodings, and algorithms directly within the package, fostering robust and reusable implementations for quantum simulations.

The framework’s modular design allows for efficient completion of common tasks while simultaneously enabling exploration of new approaches to investigating fermionic systems and developing application algorithms. Qiskit Fermions distinguishes itself through its core capabilities, including the representation of fermionic operators and circuits, fermion-to-qubit synthesis, integration with the Qiskit transpiler, and support for pluggable encoding workflows. It incorporates a library of efficient, Rust-based mappings ready for immediate use, but also allows researchers to implement their own mappings, providing flexibility in how they approach problem-solving.

This design prioritizes the researcher’s workflow, offering tools to express computations on their own terms. Specifically, the package covers operator representations with a framework for conversion between them, fermionic circuits acting on fermionic modes, and mapping frameworks transitioning from fermions to qubits. A key innovation within Qiskit Fermions is the concept of the fermionic circuit, a domain-specific representation for expressing computations in fermionic space.

Unlike traditional quantum circuits operating on qubits, fermionic circuits act on fermionic modes, delaying the fermion-to-qubit mapping until later in the process. Recent research suggests this reversed order can be advantageous; performing time evolution on the fermionic operator before mapping to qubits can significantly simplify circuit construction. “Delaying the mapping until the transpilation process makes it substantially more straightforward to implement local encodings and to take advantage of ancilla qubits, enabling circuit optimizations that can reduce two-qubit gate depth dramatically,” according to the developers.

This approach is implemented through the multi-representation compiler framework introduced in Qiskit version 2.5, allowing a single compilation pipeline to move between different intermediate representations. A computation begins as a fermionic operator and circuit, with fermion-to-qubit synthesis occurring during transpilation, ultimately transitioning to standard quantum circuits at the qubit level.

By carrying information about fermionic symmetries further into the pipeline, Qiskit Fermions enables levels of optimization unavailable when computations are reduced to qubit-level operators. While not yet fully implemented, the framework’s operation at the fermionic level before lowering to qubits should facilitate even more effective optimizations, potentially exceeding those achievable with tools like Rustiq. The benefits of this approach are demonstrated through simulations of the one-dimensional Fermi-Hubbard model, a common example in quantum materials research.

Using Qiskit Fermions, researchers can achieve a meaningful reduction in two-qubit gate depth for time-evolution steps, even when simulating systems with up to 100 sites. The team reports that this approach enables significant circuit depth reduction, contrasting with conventional Jordan-Wigner-based approaches, which see circuit depth increase with system size.

This improvement is achieved through “flow sets,” a technique that groups Hamiltonian terms before mapping to qubits, allowing for simpler single-qubit operations and reducing the need for entangling gates. “Without a framework that preserves and exposes this fermionic structure during compilation, achieving a constant-depth result of this kind would require building the circuits by hand, an approach that becomes impractical at these system sizes and does not scale well to larger problems.” Qiskit Fermions is not limited to the one-dimensional Fermi-Hubbard model; the same components extend to two-dimensional models and support research utilizing various encodings. The developers emphasize that the package is designed as a foundation for researchers to build upon, providing a flexible and powerful toolkit for exploring the complexities of quantum materials and molecules.

Fermionic Circuits Enable Delayed Fermion-to-Qubit Mapping

IBM researchers state that the newly released Qiskit Fermions package addresses a previously unaddressed need within the quantum software ecosystem: a dedicated framework for defining and manipulating fermionic systems. This toolkit moves beyond simply filling a gap, aiming to provide a versatile platform for researchers investigating quantum simulations of materials and molecules, and enabling the development of new algorithms tailored to these complex problems. This shift, the developers explain, allows for more efficient implementation of local encodings and leverages ancilla qubits for significant circuit optimizations.

The framework builds upon Qiskit’s multi-representation compiler, integrating fermionic operators and circuits into a pipeline where fermion-to-qubit synthesis occurs during transpilation, ultimately resulting in standard qubit-level circuits. This capability paves the way for symmetry-aware transpilation, a technique exemplified by Rustiq, a transpilation plugin that exploits symmetries to minimize circuit depth.

Rust-Based Mappings and Modular Encoding Workflows

IBM is leveraging the Rust programming language to accelerate quantum simulations of complex systems with the release of efficient mappings within the newly introduced Qiskit Fermions package. These Rust-based mappings represent a core component of the framework’s ability to translate fermionic systems, those describing interacting particles crucial to materials science and quantum chemistry, into qubit representations suitable for execution on quantum hardware. The emphasis on Rust reflects a deliberate choice to prioritize performance and efficiency in these critical translation processes, a necessity given the computational demands of simulating even modestly sized molecules.

Specifically, this delayed mapping facilitates the implementation of local encodings and effective utilization of ancilla qubits, ultimately reducing circuit depth. By employing a technique known as flow sets, Qiskit Fermions groups Hamiltonian terms before the qubit mapping, transforming sets of hopping terms, describing particle movement, into simple single-qubit rotations. Qiskit Fermions provides tools for representing fermionic operators and circuits, defining fermion-to-qubit mappings, and integrating with the Qiskit transpiler pipeline.

The package covers operator representations, along with a framework and library for converting between them, and supports pluggable encoding workflows. The framework’s ability to preserve fermionic structure throughout the compilation process is crucial for achieving these optimizations.

Without maintaining this structure, realizing a significant reduction in circuit depth would require manual circuit construction, a process that quickly becomes impractical for larger systems. The developers emphasize that Qiskit Fermions is not merely a tool for running existing simulations, but a foundation for building more advanced quantum algorithms. This broader collection of tools aims to accelerate the exploration and design of new algorithms, providing building blocks for end-to-end quantum workflows while ensuring seamless integration with other components of the quantum software stack.

Symmetry-Aware Transpilation via Fermionic Pipeline Integration

Qiskit Fermions introduces a new approach to quantum simulation by prioritizing the preservation of fermionic structure throughout the compilation process, a strategy that unlocks optimizations previously requiring manual circuit construction. A traditional Jordan-Wigner approach would see circuit depth increase as the number of sites grows, highlighting the reduction in circuit depth achieved by delaying the fermion-to-qubit mapping. This flexibility extends to the implementation of custom encodings and the investigation of various fermionic systems, providing a platform for application algorithm development tailored to individual research needs.

The ability to perform fermion-to-qubit synthesis partway through transpilation, rather than at the outset, is a defining feature of Qiskit Fermions. This approach, informed by recent research, reverses the traditional order of operations, first evolving the fermionic operator and then mapping to qubits.

The framework’s design is intended to support researchers in building upon its foundation, fostering the development of advanced quantum algorithms for simulating complex systems. While Qiskit Fermions does not yet offer a full equivalent to Rustiq, its operation at the fermionic level before lowering to qubits should make even more effective optimizations possible.