z iSrSSKJr SSKJr SSKrSSKJr SSK J r SSK J r SSK Jr SS KJr SS KJrJrJrJr \S S 4SS jjrS rSSjrg)z? Circuit synthesis for a stabilizer state preparation circuit. ) annotations)CallableN)QuantumCircuit) QiskitError)StabilizerState)calc_inverse_matrix)synth_cz_depth_line_mr)_default_cz_synth_func_reverse_clifford_create_graph_state_decompose_graph_stateFc[U[5(d [S5eURnURnU(a [ U5nOUn[ XcS9upx[XUS9upp[[U55n [U5nURX5 URX5 URX5 U(aUR5nURX}5 SSK Jn U"U5n[UU5nURUU 5 U$)uSynthesis of a stabilizer state into layers. It provides a similar decomposition to the synthesis described in Lemma 8 of reference [1], without the initial Hadamard-free sub-circuit which do not affect the stabilizer state. For example, a 5-qubit stabilizer state is decomposed into the following layers: .. code-block:: text ┌─────┐┌─────┐┌─────┐┌─────┐┌────────┐ q_0: ┤0 ├┤0 ├┤0 ├┤0 ├┤0 ├ │ ││ ││ ││ ││ │ q_1: ┤1 ├┤1 ├┤1 ├┤1 ├┤1 ├ │ ││ ││ ││ ││ │ q_2: ┤2 H2 ├┤2 S1 ├┤2 CZ ├┤2 H1 ├┤2 Pauli ├ │ ││ ││ ││ ││ │ q_3: ┤3 ├┤3 ├┤3 ├┤3 ├┤3 ├ │ ││ ││ ││ ││ │ q_4: ┤4 ├┤4 ├┤4 ├┤4 ├┤4 ├ └─────┘└─────┘└─────┘└─────┘└────────┘ Args: stab: A stabilizer state. cz_synth_func: A function to decompose the CZ sub-circuit. It gets as input a boolean symmetric matrix, and outputs a :class:`.QuantumCircuit`. cz_func_reverse_qubits: ``True`` only if ``cz_synth_func`` is :func:`.synth_cz_depth_line_mr`, since this function returns a circuit that reverts the order of qubits. validate: If ``True``, validates the synthesis process. Returns: A circuit implementation of the stabilizer state. Raises: QiskitError: if the input is not a :class:`.StabilizerState`. References: 1. S. Bravyi, D. Maslov, *Hadamard-free circuits expose the structure of the Clifford group*, `arXiv:2003.09412 [quant-ph] `_ z#The input is not a StabilizerState.)validate)r cz_synth_funcr)Clifford) isinstancerrclifford num_qubitsr r r listrangerappend reverse_bits(qiskit.quantum_info.operators.symplecticr_calc_pauli_diff_stabilizer)stabrcz_func_reverse_qubitsrcliffrcliff0H1_circcliff1H2_circCZ1_circS1_circ_ qubit_listlayeredCircuitrclifford_target pauli_circs j/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/stabilizer/stabilizer_decompose.pysynth_stabilizer_layersr*$s` dO , ,?@@ MME!!J"5))&DOG$:%!GweJ'(J#J/N'.'.(/&&('.B~.O,UODJ*j1 c JSSKJn URnURUR:wa [S5e[ U5R R 5Sn[ U5nS/U-n[U5Vs/sHouRU"XG55S:HPM nn/n U RU5 U RU5 [R"U [S9n URR[SS9n [!U 5n [R""X5S -n [%US S 9n [U5HcnXnXU-nU(aU(aU R'U5 M/U(aU R)U5 MIU(dMRU R+U5 Me U $s snf) zLGiven two Cliffords whose stabilizers differ by a Pauli, we find this Pauli.r)PaulizDnum_qubits is not the same for the original clifford and the target. stabilizerF)dtype)copyr-)name)rr-rrrrto_dictrexpectation_valueextendnparrayintsymplectic_matrixastypeboolrmatmulryxz)r cliff_targetr-rstab_gents phase_destabi phase_stabphaseAAinvCr(kdestabrs r)rr{sn?!!J <222`aau%..668FH  &B7Z'LJOPZJ[\J[Q&&uX['9:b@J[J\ E LL LL HHU# &E &&t%&8A q !D $"A 9J : Z  F LLO  LLO V LLO 5]s<%F c$[U[SS9nU$)aSynthesis of an n-qubit stabilizer state for linear-nearest neighbor connectivity, in 2-qubit depth :math:`2n+2` and two distinct CX layers, using :class:`.CXGate`\ s and phase gates (:class:`.SGate`, :class:`.SdgGate` or :class:`.ZGate`). Args: stab: A stabilizer state. Returns: A circuit implementation of the stabilizer state. References: 1. S. Bravyi, D. Maslov, *Hadamard-free circuits expose the structure of the Clifford group*, `arXiv:2003.09412 [quant-ph] `_ 2. Dmitri Maslov, Martin Roetteler, *Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations*, `arXiv:1705.09176 `_. T)rr)r*r )rcircs r)synth_stabilizer_depth_lnnrOs( # ,# D Kr+) rrrz&Callable[[np.ndarray], QuantumCircuit]rr<rr<returnr)rrrPr)__doc__ __future__rcollections.abcrnumpyr7qiskit.circuitrqiskit.exceptionsrqiskit.quantum_info.statesr+qiskit.synthesis.linear.linear_matrix_utilsrqiskit.synthesis.linear_phaser 3qiskit.synthesis.clifford.clifford_decompose_layersr r r r r*rrOr+r)r\s #$))6A=S#( T T9T!T T  Tn+\r+