janus.optimize.synthesis.clifford.clifford_decompose_full 源代码

"""
Circuit synthesis for the Clifford class for all-to-all architecture.
"""

from __future__ import annotations
from janus.circuit import Circuit as QuantumCircuit
from janus.compat.clifford import Clifford
from janus.optimize.synthesis.clifford.clifford_decompose_ag import synthesize_clifford_aaronson_gottesman
from janus.optimize.synthesis.clifford.clifford_decompose_bm import synthesize_clifford_bravyi_maslov
from janus.optimize.synthesis.clifford.clifford_decompose_greedy import synthesize_clifford_greedy




def synthesize_clifford_circuit(clifford: Clifford, method: str | None = None) -> QuantumCircuit:
    r"""Decompose a :class:`.Clifford` operator into a :class:`.QuantumCircuit`.

    For :math:`N \leq 3` qubits this is based on optimal CX-cost decomposition
    from reference [1]. For :math:`N > 3` qubits this is done using the general
    non-optimal greedy compilation routine from reference [3],
    which typically yields better CX cost compared to the AG method in [2].

    Args:
        clifford: A Clifford operator.
        method: Optional, a synthesis method (``'AG'`` or ``'greedy'``).
             If set this overrides optimal decomposition for :math:`N \leq 3` qubits.

    Returns:
        A circuit implementation of the Clifford.

    References:
        1. S. Bravyi, D. Maslov, *Hadamard-free circuits expose the
           structure of the Clifford group*,
           `arXiv:2003.09412 [quant-ph] <https://arxiv.org/abs/2003.09412>`_

        2. S. Aaronson, D. Gottesman, *Improved Simulation of Stabilizer Circuits*,
           Phys. Rev. A 70, 052328 (2004).
           `arXiv:quant-ph/0406196 <https://arxiv.org/abs/quant-ph/0406196>`_

        3. Sergey Bravyi, Shaohan Hu, Dmitri Maslov, Ruslan Shaydulin,
           *Clifford Circuit Optimization with Templates and Symbolic Pauli Gates*,
           `arXiv:2105.02291 [quant-ph] <https://arxiv.org/abs/2105.02291>`_
    """
    num_qubits = clifford.num_qubits

    if method == "AG":
        return synthesize_clifford_aaronson_gottesman(clifford)

    if method == "greedy":
        return synthesize_clifford_greedy(clifford)

    if num_qubits <= 3:
        return synthesize_clifford_bravyi_maslov(clifford)

    return synthesize_clifford_greedy(clifford)



# Backward compatibility alias
synth_clifford_full = synthesize_clifford_circuit