op-T-mize

The op-T-mize dataset contains quantum circuits that are commonly used to benchmark T-gate optimization techniques.

Description of the dataset

This dataset contains 31 quantum circuits that implement standard quantum circuits, including algorithms for arithmetic operations, multi-controlled Toffoli gate decompositions, and specific problems. The qubit counts for these circuits vary between 5 and 768 while the pre-compilation gate counts vary between 45 and 853,755.

These circuits are commonly encountered in literature as a test-bed for techniques that optimize the T-gate count. Some prominent examples include:

• "Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning", Matthew Amy, Dmitri Maslov, Michele Mosca, arXiv:1303.2042, 2013
• "An Efficient Quantum Compiler that reduces T count", Luke Heyfron, Earl T. Campbell, arXiv:1712.01557, 2017
• "Reducing T-count with the ZX-calculus", Aleks Kissinger, John van de Wetering, arXiv:1903.10477, 2019
• "Quantum Circuit Optimization with AlphaTensor", Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch et al, arXiv:2402.14396, 2024
• "Qubit-count optimization using ZX-calculus", Vivien Vandaele, arXiv:2407.10171, 2024

Example usage

Basic properties of the dataset:

>>> [ds] = qml.data.load("op-T-mize")

>>> # ordered list of circuits as QuantumScript objects
>>> ds.circuits
[<QuantumScript: wires=[4, 3, 0, 2, 1], params=0>, <QuantumScript: wires=[3, 6, 9, 2, 5, 8, 1, 4, 7, 0], params=0>,..]

>>> # ordered list of names of different circuits
>>> ds.circuit_names
['mod5_4', 'vbe_adder_3', 'csla_mux_3_original', .. ]

>>> # qubit counts
>>> ds.n_wires
[5, 10, 15, 30, 24, 26, 36, 24, 14, 11, 9, 5, 7, 9, 19, 12, 15, 18, 21, 24, 27, 30, 48]

>>> # Inspect properties of circuits
>>> qscript = ds.circuits[0]
>>> qscript.specs["resources"]
wires: 5
gates: 63
depth: 48
shots: Shots(total=None)
gate_types:
{'PauliX': 1, 'Hadamard': 6, 'CNOT': 28, 'Adjoint(T)': 12, 'T': 16}
gate_sizes:
{1: 35, 2: 28}

Plot the circuits:

>>> print(qml.drawer.tape_text(ds.circuits[0]))
4: ──X──H─╭X──T†─╭X──T─╭X──T†─╭X──T────────╭X──T†─╭X──T─╭X──T†─╭X──T──H─────╭X──H─╭X──T†─╭X──T─╭X
3: ───────╰●─────│─────╰●──T──│──╭X──T†─╭X─╰●─────│─────╰●──T──│──╭X──T†─╭X─╰●────│──────│─────│─
0: ──────────────╰●───────────╰●─╰●──T──╰●────────│────────────│──│──────│────────│──────│─────│─
2: ───────────────────────────────────────────────╰●───────────╰●─╰●──T──╰●───────╰●─────│─────╰●
1: ──────────────────────────────────────────────────────────────────────────────────────╰●──────

───T†─╭X──T──H─────╭X──H─╭X──T†─╭X──T─╭X──T†─╭X──T──H─────╭X─╭X─┤  
──────│────────────│─────│──────│─────│──────│────────────│──│──┤  
──────│────────────│─────│──────╰●────│──────╰●─╭●──T──╭●─│──╰●─┤  
───T──│──╭X──T†─╭X─╰●────│────────────│─────────│──────│──│─────┤  
──────╰●─╰●──T──╰●───────╰●───────────╰●──T─────╰X──T†─╰X─╰●────┤  

Retrieve gates in circuits:

>>> qscript = ds.circuits[0]
>>> qscript.operations
[X(4),
 Hadamard(wires=[4]),
 CNOT(wires=[3, 4]),
 Adjoint(T(wires=[4])),
 CNOT(wires=[0, 4]),
 T(wires=[4]),
 CNOT(wires=[3, 4]),
 ...
]

Manipulate circuit using a transform.

>>> [new_qscript], _ = qml.transforms.single_qubit_fusion(qscript)
>>> print(qml.drawer.tape_text(new_qscript))
4: ──Rot─╭X──Rot─╭X──Rot─╭X──Rot─╭X──Rot─────────╭X──Rot─╭X──Rot─╭X──Rot─╭X──Rot─────────╭X──Rot─╭X
3: ──────╰●──────│───────╰●──Rot─│──╭X────Rot─╭X─╰●──────│───────╰●──Rot─│──╭X────Rot─╭X─╰●──────│─
0: ──────────────╰●──────────────╰●─╰●────Rot─╰●─────────│───────────────│──│─────────│──────────│─
2: ──────────────────────────────────────────────────────╰●──────────────╰●─╰●────Rot─╰●─────────╰●
1: ────────────────────────────────────────────────────────────────────────────────────────────────

───Rot─╭X──Rot─╭X──Rot─╭X──Rot─────────╭X──Rot─╭X──Rot─╭X──Rot─╭X──Rot─╭X──Rot─────────╭X─╭X─┤  
───────│───────│───────│───────────────│───────│───────│───────│───────│───────────────│──│──┤  
───────│───────│───────│───────────────│───────│───────╰●──────│───────╰●─╭●────Rot─╭●─│──╰●─┤  
───────│───────╰●──Rot─│──╭X────Rot─╭X─╰●──────│───────────────│──────────│─────────│──│─────┤  
───────╰●──────────────╰●─╰●────Rot─╰●─────────╰●──────────────╰●──Rot────╰X────Rot─╰X─╰●────┤  

If you want to obtain only a specific sub-set of circuits by their name, you can create a dict to call them by name.

>>> circuits_dict = {name : circuit for name, circuit in zip(ds.circuit_names, ds.circuits)}
>>> circuits_dict["gf2^4_mult"]
<QuantumScript: wires=[8, 9, 10, 5, 3, 6, 2, 7, 1, 11, 4, 0], params=0>