Performance Management: A Qiskit Function by Q-CTRL Fire Opal

Overview

Fire Opal Performance Management makes it simple for anyone to achieve meaningful results from quantum computers at scale without needing to be quantum hardware experts. When running circuits with Fire Opal Performance Management, AI-driven error suppression techniques are automatically applied, enabling the scaling of larger problems with more gates and qubits. This approach reduces the number of shots required to reach the correct answer, with no added overhead — resulting in significant savings in both compute time and cost.

Performance Management suppresses errors and increases the probability of getting the correct answer on noisy hardware. In other words, it increases the signal-to-noise ratio. The following image shows how increased accuracy enabled by Performance Management can reduce the need for additional shots in the case of a 10-qubit Quantum Fourier Transform algorithm. With only 30 shots, Q-CTRL reaches the 99% confidence threshold, whereas the default (QiskitRuntime Sampler, optimization_level=3 and resilience_level=1, ibm_sherbrooke) requires 170,000 shots. By getting the right answer faster, you save significant compute runtime.

The Performance Management function can be used with any algorithm, and you can easily use it in place of the standard Qiskit Runtime primitives. Behind the scenes, multiple error suppression techniques work together to prevent errors from happening at runtime. All Fire Opal pipeline methods are pre-configured and algorithm-agnostic, meaning you always get the best performance out of the box.

To get access to Performance Management, contact Q-CTRL.

Description

Fire Opal Performance Management has two options for execution that are similar to the Qiskit Runtime primitives, so you can easily swap in the Q-CTRL Sampler and Estimator. The general workflow for using the Performance Management function is:

1. Define your circuit (and operators in the case of the Estimator).
2. Run the circuit.
3. Retrieve the results.

To reduce hardware noise, Fire Opal employs a range of AI-driven error suppression techniques depicted in the following image. With Fire Opal, the entire pipeline is completely automated with zero need for configuration.

Fire Opal's pipeline eliminates the need for additional overhead, such as increased quantum runtime or extra physical qubits. Note that classical processing time remains a factor (refer to the Benchmarks section for estimates, where "Total time" reflects both classical and quantum processing). In contrast to error mitigation, which requires overhead in the form of sampling, Fire Opal's error suppression works at both the gate and pulse levels to address various sources of noise and to prevent the likelihood of an error occurring. By preventing errors, the need for expensive post-processing is eliminated.

The following image depicts the error suppression methods automated by Fire Opal Performance Management.

The function offers two primitives, Sampler and Estimator, and the inputs and outputs of both extend the implemented spec for Qiskit Runtime V2 primitives.

Benchmarks

Published algorithmic benchmarking results demonstrate significant performance improvement across various algorithms, including Bernstein-Vazirani, quantum Fourier transform, Grover’s search, quantum approximate optimization algorithm, and variational quantum eigensolver. The rest of this section provides more details about types of algorithms you can run, as well as the expected performance and runtimes.

The following independent studies demonstrate how Q-CTRL's Performance Management enables algorithmic research at record-breaking scale:

• Parametrized Energy-Efficient Quantum Kernels for Network Service Fault Diagnosis - up to 50-qubit quantum kernel learning
• Tensor-based quantum phase difference estimation for large-scale demonstration - up to 33-qubit quantum phase estimation
• Hierarchical Learning for Quantum ML: Novel Training Technique for Large-Scale Variational Quantum Circuits - up to 21-qubit quantum data loading

The following table provides a rough guide on accuracy and runtimes from prior benchmarking runs on ibm_fez. Performance on other devices may vary. The usage time is based on an assumption of 10,000 shots per circuit. The "Number of qubits" indicated is not a hard limitation but represents rough thresholds where you can expect extremely consistent solution accuracy. Larger problem sizes have been successfully solved, and testing beyond these limits is encouraged.

Defining the accuracy of the measurement of an expectation value - the metric $A$ is defined as follows:

where $\epsilon^{ideal}$ = ideal expectation value, $\epsilon^{meas}$ = measured expectation value, $\epsilon^{ideal}_{max}$ = ideal maximum value, and $\epsilon^{ideal}_{min}$ = ideal minimum value. $A_{mean}$ is simply the average of the value of $A$ across multiple measurements.

This metric is used because it is invariant to global shifts and scaling in the range of attainable values. In other words, regardless of whether you shift the range of possible expectation values higher or lower or increase the spread, the value of $A$ should remain consistent.

Get started

Authenticate using your IBM Quantum Platform API token, and select the Qiskit Function as follows:

from qiskit_ibm_catalog import QiskitFunctionsCatalog
 
# If you have not previously saved your credentials, follow instructions at
# https://docs.quantum.ibm.com/guides/functions
# to authenticate with your API token.
catalog = QiskitFunctionsCatalog()
 
# Access Function
perf_mgmt = catalog.load("q-ctrl/performance-management")

Estimator primitive

Estimator example

Use Fire Opal Performance Management's Estimator primitive to determine the expectation value of a single circuit-observable pair.

In addition to the qiskit-ibm-catalog and qiskit packages, you will also use the numpy package to run this example. You can install this package by uncommenting the following cell if you are running this example in a notebook using the IPython kernel.

# %pip install numpy

1. Create the circuit

As an example, generate a random Hermitian operator and an observable to input to the Performance Management function.

import numpy as np
from qiskit.circuit.library import IQP
from qiskit.quantum_info import random_hermitian, SparsePauliOp
 
n_qubits = 50
 
# Generate a random circuit
mat = np.real(random_hermitian(n_qubits, seed=1234))
circuit = IQP(mat)
circuit.measure_all()
 
# Define observables as a string
observable = SparsePauliOp("Z" * n_qubits)

# Create PUB tuple
estimator_pubs = [(circuit, observable)]

2. Run the circuit

Run the circuit and optionally define the backend and number of shots.

# Run the circuit using the estimator
qctrl_estimator_job = perf_mgmt.run(
    primitive="estimator",
    pubs=estimator_pubs,
    instance=instance,  # E.g. "ibm-q/open/main"
    backend_name=backend_name,  # E.g. "ibm_kyiv", or omit to default to the least busy device
)

You can use the familiar Qiskit Serverless APIs to check your Qiskit Function workload's status:

qctrl_estimator_job.status()

Output:

'DONE'

3. Retrieve the result

# Retrieve the counts from the result list
result = qctrl_estimator_job.result()

The results have the same format as an Estimator result:

print(
    f"The result of the submitted job had {len(result)} PUB and has a value:\n {result}\n"
)
print(
    f"The associated PubResult of this job has the following DataBins:\n {result[0].data}\n"
)
print(f"And this DataBin has attributes: {result[0].data.keys()}")
print(
    f"The expectation values measured from this PUB are: \n{result[0].data.evs}"
)

Output:

The result of the submitted job had 1 PUB and has a value:
 PrimitiveResult([PubResult(data=DataBin(evs=np.ndarray(<shape=(1,), dtype=float64>), stds=np.ndarray(<shape=(1,), dtype=float64>)), metadata={'precision': None})], metadata={})

The associated PubResult of this job has the following DataBins:
 DataBin(evs=np.ndarray(<shape=(1,), dtype=float64>), stds=np.ndarray(<shape=(1,), dtype=float64>))

And this DataBin has attributes: dict_keys(['evs', 'stds'])
The expectation values measured from this PUB are: 
[-0.01464844]

Estimator inputs

QctrlEstimatorPubLike components (derived from the Qiskit Runtime PUB definition):

• A single circuit defined as a QuantumCircuit or in OpenQASM 2.0 or 3.0 string format.
• One or more observables that specify the expectation values to estimate, in any of the formats denoted in the list "Supported observables formats".
• (Optional) A collection of parameter values to bind the circuit against, which follow the same array broadcasting rules as the QiskitRuntime primitives.
• (Optional) A target precision for expectation values to estimate.
• (Optional) A real number representing the precision, or a dictionary of run options containing the shot count. For example: {"shots": <int>}.

Supported observables formats:

• Any one of the ObservablesArrayLike formats, such as Pauli, SparsePauliOp, PauliList, or str
• A Pauli string: "XY"
• A dictionary - Pauli strings with coefficients: {"XY": 0.5, "YZ": 0.3}
• A list of Pauli strings: ["XY", "YZ", "ZX"]
• A list of Pauli strings with coefficients: [("XY", 0.5), ("YZ", 0.3)]
• A nested list of Pauli strings: [["XY", "YZ"], ["ZX", "XX"]]
• A nested list of Pauli strings with coefficients: [[("XY", 0.1), ("YZ", 0.2)], [("ZX", 0.3), ("XX", 0.4)]]

Supported backends: The following list of backends are currently supported. If your device is not listed, reach out to Q-CTRL to add support.

• ibm_brisbane
• ibm_brussels
• ibm_cleveland
• ibm_fez
• ibm_kawasaki
• ibm_kyiv
• ibm_nazca
• ibm_quebec
• ibm_rensselaer
• ibm_sherbrooke
• ibm_strasbourg
• ibm_torino

Options:

Estimator outputs

Sampler primitive

Sampler example

Use Fire Opal Performance Management's Sampler primitive to run a Bernstein–Vazirani circuit. This algorithm, used to find a hidden string from the outputs of a black box function, is a common benchmarking algorithm because there is a single correct answer.

1. Create the circuit

Define the correct answer to the algorithm, the hidden bitstring, and the Bernstein–Vazirani circuit. You can adjust the width of the circuit by simply changing the circuit_width.

import qiskit
 
circuit_width = 35
hidden_bitstring = "1" * circuit_width
 
# Create circuit, reserving one qubit for BV oracle
bv_circuit = qiskit.QuantumCircuit(circuit_width + 1, circuit_width)
bv_circuit.x(circuit_width)
bv_circuit.h(range(circuit_width + 1))
for input_qubit, bit in enumerate(reversed(hidden_bitstring)):
    if bit == "1":
        bv_circuit.cx(input_qubit, circuit_width)
bv_circuit.barrier()
bv_circuit.h(range(circuit_width + 1))
bv_circuit.barrier()
for input_qubit in range(circuit_width):
    bv_circuit.measure(input_qubit, input_qubit)
 
# Create PUB tuple
sampler_pubs = [(bv_circuit,)]

2. Run the circuit

Run the circuit and optionally define the backend and number of shots.

# Run the circuit using the sampler
qctrl_sampler_job = perf_mgmt.run(
    primitive="sampler",
    pubs=sampler_pubs,
    instance=instance,  # E.g. "ibm-q/open/main"
    backend_name=backend_name,  # E.g. "ibm_kyiv", or omit to default to the least busy device
)

Check your Qiskit Function workload's status or return results as follows:

qctrl_sampler_job.status()

Output:

DONE

3. Retrieve the result

# Retrieve the job results
sampler_result = qctrl_sampler_job.result()

# Get results for the first (and only) PUB
pub_result = sampler_result[0]
counts = pub_result.data.c.get_counts()
 
print(f"Counts for the meas output register: {counts}")

Output:

Counts for the meas output register: {'00000000000000000000000000000000001': 3, '00000001111111111111111111111111111': 6, '00111111111111111111111111111111111': 2, '01110111111111111111111111111111111': 1, '01111111111111111111111101111111111': 39, '01111111111111111111111111111110111': 1, '01111111111111111111111111111111111': 73, '10111111111111111111111111111111111': 18, '11101111101111111111111111111110111': 2, '11110111111111111111111111111111111': 37, '11111101011111111111111111111111111': 16, '11111101111111111111111111111111111': 15, '11111111011111111111101111111111111': 6, '11111111011111111111111111011111111': 19, '11111111110111111111111101111111111': 2, '11111111110111111111111111111111111': 24, '11111111111110111111111111111111111': 42, '11111111111111011111111111111111111': 10, '11111111111111110111111111111111111': 15, '11111111111111111011111111111111111': 12, '11111111111111111101111111111101111': 13, '11111111111111111101111111111110111': 7, '11111111111111111101111111111111111': 8, '11111111111111111110111111111111111': 28, '11111111111111111111011111111111111': 36, '11111111111111111111101101110111111': 2, '11111111111111111111110101111111111': 17, '11111111111111111111110111111111111': 39, '11111111111111111111111011111110111': 19, '11111111111111111111111011111111111': 1, '11111111111111111111111100111111111': 6, '11111111111111111111111101011111111': 1, '11111111111111111111111101101111111': 11, '11111111111111111111111101111011111': 5, '11111111111111111111111101111110111': 47, '11111111111111111111111101111111011': 26, '11111111111111111111111101111111111': 244, '11111111111111111111111110111111111': 15, '11111111111111111111111111011111111': 42, '11111111111111111111111111101111111': 2, '11111111111111111111111111110111111': 23, '11111111111111111111111111111011111': 37, '11111111111111111111111111111101111': 22, '11111111111111111111111111111110111': 188, '11111111111111111111111111111111011': 2, '11111111111111111111111111111111101': 24, '11111111111111111111111111111111110': 34, '11111111111111111111111111111111111': 806}

3. Plot the top bitstrings

Plot the bitstring with the highest counts to see if the hidden bitstring was the mode.

import matplotlib.pyplot as plt
 
 
def plot_top_bitstrings(counts_dict, hidden_bitstring=None):
    # Sort and take the top 100 bitstrings
    top_100 = sorted(counts_dict.items(), key=lambda x: x[1], reverse=True)[
        :100
    ]
    if not top_100:
        print("No bitstrings found in the input dictionary.")
        return
 
    # Unzip the bitstrings and their counts
    bitstrings, counts = zip(*top_100)
 
    # Assign colors: purple if the bitstring matches hidden_bitstring, otherwise gray
    colors = [
        "#680CE9" if bit == hidden_bitstring else "gray" for bit in bitstrings
    ]
 
    # Create the bar plot
    plt.figure(figsize=(15, 8))
    plt.bar(
        range(len(bitstrings)), counts, tick_label=bitstrings, color=colors
    )
 
    # Rotate the bitstrings for better readability
    plt.xticks(rotation=90, fontsize=8)
    plt.xlabel("Bitstrings")
    plt.ylabel("Counts")
    plt.title("Top 100 Bitstrings by Counts")
 
    # Show the plot
    plt.tight_layout()
    plt.show()

The hidden bitstring is highlighted in purple, and it should be the bitstring with the highest number of counts.

plot_top_bitstrings(counts, hidden_bitstring)

Output:

Sampler inputs

QctrlSamplerPubLike components (derived from the Qiskit Runtime PUB definition):

• A single circuit defined as a QuantumCircuit or in OpenQASM 2.0 or 3.0 string format.
• (Optional) A collection of parameter values to bind the circuit against.
• (Optional) An integer representing the shot count, or a dictionary of runtime options containing the shot count. For example: (circ, None, 123) or (circ, None, {"shots": 123}).

Supported backends: The following list of backends are currently supported. If your device is not listed, reach out to Q-CTRL to add support.

• ibm_brisbane
• ibm_brussels
• ibm_cleveland
• ibm_fez
• ibm_kawasaki
• ibm_kyiv
• ibm_nazca
• ibm_quebec
• ibm_rensselaer
• ibm_sherbrooke
• ibm_strasbourg
• ibm_torino

Options:

Sampler outputs

Get support

For any questions or issues, contact Q-CTRL.

Next steps