cirq-core 1.7.0.dev20250904220130__py3-none-any.whl → 1.7.0.dev20250905003713__py3-none-any.whl

cirq/_version.py

@@ -28,4 +28,4 @@ if sys.version_info < (3, 11, 0):  # pragma: no cover
         'of Cirq (e.g. "python -m pip install cirq==1.5.0")'
     )
 
-__version__ = "1.7.0.dev20250904220130"
+__version__ = "1.7.0.dev20250905003713"

cirq/_version_test.py

@@ -3,4 +3,4 @@ import cirq
 
 
 def test_version() -> None:
-    assert cirq.__version__ == "1.7.0.dev20250904220130"
+    assert cirq.__version__ == "1.7.0.dev20250905003713"

cirq/ops/dense_pauli_string.py

@@ -614,13 +614,13 @@ def _as_pauli_mask(val: Iterable[cirq.PAULI_GATE_LIKE] | np.ndarray) -> np.ndarr
 
 
 def _attempt_value_to_pauli_index(v: cirq.Operation) -> tuple[int, int] | None:
-    if not isinstance(v, raw_types.Operation):
+    if (ps := pauli_string._try_interpret_as_pauli_string(v)) is None:
         return None
 
-    if not isinstance(v.gate, pauli_gates.Pauli):
+    if len(ps.qubits) != 1:
         return None  # pragma: no cover
 
-    q = v.qubits[0]
+    q = ps.qubits[0]
     from cirq import devices
 
     if not isinstance(q, devices.LineQubit):
@@ -629,7 +629,7 @@ def _attempt_value_to_pauli_index(v: cirq.Operation) -> tuple[int, int] | None:
             'other than `cirq.LineQubit` so its dense index is ambiguous.\n'
             f'v={repr(v)}.'
         )
-    return pauli_string.PAULI_GATE_LIKE_TO_INDEX_MAP[v.gate], q.x
+    return pauli_string.PAULI_GATE_LIKE_TO_INDEX_MAP[ps[q]], q.x
 
 
 def _vectorized_pauli_mul_phase(lhs: int | np.ndarray, rhs: int | np.ndarray) -> complex:

cirq/ops/dense_pauli_string_test.py

@@ -507,6 +507,10 @@ def test_commutes() -> None:
     assert cirq.commutes(f('IIIXII'), cirq.X(cirq.LineQubit(2)))
     assert not cirq.commutes(f('IIIXII'), cirq.Z(cirq.LineQubit(3)))
     assert cirq.commutes(f('IIIXII'), cirq.Z(cirq.LineQubit(2)))
+    assert cirq.commutes(f('IIIXII'), cirq.X(cirq.LineQubit(3)) ** 3)
+    assert cirq.commutes(f('IIIXII'), cirq.X(cirq.LineQubit(2)) ** 3)
+    assert not cirq.commutes(f('IIIXII'), cirq.Z(cirq.LineQubit(3)) ** 3)
+    assert cirq.commutes(f('IIIXII'), cirq.Z(cirq.LineQubit(2)) ** 3)
 
     assert cirq.commutes(f('XX'), "test", default=NotImplemented) is NotImplemented
 

cirq/ops/parity_gates_test.py

@@ -352,3 +352,38 @@ def test_clifford_protocols(
     else:
         assert not cirq.has_stabilizer_effect(gate)
         assert gate._decompose_into_clifford_with_qubits_(cirq.LineQubit.range(2)) is NotImplemented
+
+
+def test_parity_gate_multiplication():
+    q1, q2, q3 = cirq.LineQubit.range(3)
+
+    # XX gate
+    xx_12 = cirq.XX(q1, q2)
+    xx_23 = cirq.XX(q2, q3)
+    result = xx_12 * xx_23
+    expected = cirq.PauliString({q1: cirq.X, q3: cirq.X})
+    assert result == expected
+
+    # YY gate
+    yy_12 = cirq.YY(q1, q2)
+    yy_23 = cirq.YY(q2, q3)
+    result_yy = yy_12 * yy_23
+    expected_yy = cirq.PauliString({q1: cirq.Y, q3: cirq.Y})
+    assert result_yy == expected_yy
+
+    # ZZ gate
+    zz_12 = cirq.ZZ(q1, q2)
+    zz_23 = cirq.ZZ(q2, q3)
+    result_zz = zz_12 * zz_23
+    expected_zz = cirq.PauliString({q1: cirq.Z, q3: cirq.Z})
+    assert result_zz == expected_zz
+
+
+def test_parity_gate_multiplication_same_qubits():
+    q1, q2 = cirq.LineQubit.range(2)
+
+    # XX * XX should be identity
+    xx = cirq.XX(q1, q2)
+    result = xx * xx
+    expected = cirq.PauliString({q1: cirq.I, q2: cirq.I})
+    assert result == expected

cirq/ops/pauli_string.py

@@ -266,16 +266,9 @@ class PauliString(raw_types.Operation, Generic[TKey]):
         pass
 
     def __mul__(self, other):
-        known = False
-        if isinstance(other, raw_types.Operation) and isinstance(other.gate, identity.IdentityGate):
-            known = True
-        elif isinstance(other, (PauliString, numbers.Number)):
-            known = True
-        if known:
+        if isinstance(other, (PauliString, numbers.Number)):
             return PauliString(
-                cast(PAULI_STRING_LIKE, other),
-                qubit_pauli_map=self._qubit_pauli_map,
-                coefficient=self.coefficient,
+                other, qubit_pauli_map=self._qubit_pauli_map, coefficient=self.coefficient
             )
         return NotImplemented
 
@@ -295,9 +288,6 @@ class PauliString(raw_types.Operation, Generic[TKey]):
                 qubit_pauli_map=self._qubit_pauli_map, coefficient=self._coefficient * other
             )
 
-        if isinstance(other, raw_types.Operation) and isinstance(other.gate, identity.IdentityGate):
-            return self  # pragma: no cover
-
         # Note: PauliString case handled by __mul__.
         return NotImplemented
 
@@ -1100,21 +1090,16 @@ def _validate_qubit_mapping(
         )
 
 
-def _try_interpret_as_pauli_string(op: Any):
+def _try_interpret_as_pauli_string(op: Any) -> PauliString | None:
     """Return a reprepresentation of an operation as a pauli string, if it is possible."""
-    if isinstance(op, gate_operation.GateOperation):
-        gates = {
-            common_gates.XPowGate: pauli_gates.X,
-            common_gates.YPowGate: pauli_gates.Y,
-            common_gates.ZPowGate: pauli_gates.Z,
-        }
-        if (pauli := gates.get(type(op.gate), None)) is not None:
-            exponent = op.gate.exponent  # type: ignore
-            if exponent % 2 == 0:
-                return PauliString()
-            if exponent % 2 == 1:
-                return pauli.on(op.qubits[0])
-    return None
+    if not isinstance(op, raw_types.Operation):
+        return None
+
+    pauli_expansion_op = protocols.pauli_expansion(op, default=None)
+    if pauli_expansion_op is None or len(pauli_expansion_op) != 1:
+        return None
+    gates, coef = next(iter(pauli_expansion_op.items()))
+    return PauliString(dict(zip(op.qubits, gates)), coefficient=coef)
 
 
 # Ignoring type because mypy believes `with_qubits` methods are incompatible.
@@ -1148,28 +1133,6 @@ class SingleQubitPauliStringGateOperation(  # type: ignore
         assert len(self.qubits) == 1
         return self.qubits[0]
 
-    def _as_pauli_string(self) -> PauliString:
-        return PauliString(qubit_pauli_map={self.qubit: self.pauli})
-
-    def __mul__(self, other):
-        if isinstance(other, SingleQubitPauliStringGateOperation):
-            return self._as_pauli_string() * other._as_pauli_string()
-        if isinstance(other, (PauliString, numbers.Complex)):
-            return self._as_pauli_string() * other
-        if (as_pauli_string := _try_interpret_as_pauli_string(other)) is not None:
-            return self * as_pauli_string
-        return NotImplemented
-
-    def __rmul__(self, other):
-        if isinstance(other, (PauliString, numbers.Complex)):
-            return other * self._as_pauli_string()
-        if (as_pauli_string := _try_interpret_as_pauli_string(other)) is not None:
-            return as_pauli_string * self
-        return NotImplemented
-
-    def __neg__(self):
-        return -self._as_pauli_string()
-
     def _json_dict_(self) -> dict[str, Any]:
         return protocols.obj_to_dict_helper(self, ['pauli', 'qubit'])
 

cirq/ops/pauli_string_test.py

@@ -2097,3 +2097,44 @@ def test_pauli_ops_identity_gate_operation(gate1: cirq.Pauli, gate2: cirq.Pauli)
     subtraction = pauli1 - pauli2
     assert isinstance(subtraction, cirq.PauliSum)
     assert np.array_equal(subtraction.matrix(), unitary1 - unitary2)
+
+
+def test_pauli_gate_multiplication_with_power():
+    q = cirq.LineQubit(0)
+
+    # Test all Pauli gates (X, Y, Z)
+    pauli_gates = [cirq.X, cirq.Y, cirq.Z]
+    for pauli_gate in pauli_gates:
+        gate = pauli_gate(q)
+
+        # Test multiplication
+        assert gate**2 * gate * gate * gate == gate**5
+        assert gate * gate**2 * gate * gate == gate**5
+        assert gate * gate * gate**2 * gate == gate**5
+        assert gate * gate * gate * gate**2 == gate**5
+
+        # Test with different powers
+        assert gate**0 * gate**5 == gate**5
+        assert gate**1 * gate**4 == gate**5
+        assert gate**2 * gate**3 == gate**5
+        assert gate**3 * gate**2 == gate**5
+        assert gate**4 * gate**1 == gate**5
+        assert gate**5 * gate**0 == gate**5
+
+
+def test_try_interpret_as_pauli_string():
+    from cirq.ops.pauli_string import _try_interpret_as_pauli_string
+
+    q = cirq.LineQubit(0)
+
+    # Pauli gate operation
+    x_gate = cirq.X(q)
+    assert _try_interpret_as_pauli_string(x_gate) == cirq.PauliString({q: cirq.X})
+
+    # powered gates
+    x_squared = x_gate**2
+    assert _try_interpret_as_pauli_string(x_squared) == cirq.PauliString({q: cirq.I})
+
+    # non-Pauli operation
+    h_gate = cirq.H(q)
+    assert _try_interpret_as_pauli_string(h_gate) is None

cirq/ops/raw_types.py

@@ -482,10 +482,18 @@ class Gate(metaclass=value.ABCMetaImplementAnyOneOf):
 
     def _mul_with_qubits(self, qubits: tuple[cirq.Qid, ...], other):
         """cirq.GateOperation.__mul__ delegates to this method."""
+        from cirq.ops.pauli_string import _try_interpret_as_pauli_string
+
+        if (as_pauli_string := _try_interpret_as_pauli_string(self.on(*qubits))) is not None:
+            return as_pauli_string * other
         return NotImplemented
 
     def _rmul_with_qubits(self, qubits: tuple[cirq.Qid, ...], other):
         """cirq.GateOperation.__rmul__ delegates to this method."""
+        from cirq.ops.pauli_string import _try_interpret_as_pauli_string
+
+        if (as_pauli_string := _try_interpret_as_pauli_string(self.on(*qubits))) is not None:
+            return other * as_pauli_string
         return NotImplemented
 
     def _json_dict_(self) -> dict[str, Any]:

{cirq_core-1.7.0.dev20250904220130.dist-info → cirq_core-1.7.0.dev20250905003713.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cirq-core
-Version: 1.7.0.dev20250904220130
+Version: 1.7.0.dev20250905003713
 Summary: A framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
 Home-page: http://github.com/quantumlib/cirq
 Author: The Cirq Developers

{cirq_core-1.7.0.dev20250904220130.dist-info → cirq_core-1.7.0.dev20250905003713.dist-info}/RECORD

@@ -4,8 +4,8 @@ cirq/_compat_test.py,sha256=emXpdD5ZvwLRlFAoQB8YatmZyU3b4e9jg6FppMTUhkU,33900
 cirq/_doc.py,sha256=BrnoABo1hk5RgB3Cgww4zLHUfiyFny0F1V-tOMCbdaU,2909
 cirq/_import.py,sha256=ixBu4EyGl46Ram2cP3p5eZVEFDW5L2DS-VyTjz4N9iw,8429
 cirq/_import_test.py,sha256=oF4izzOVZLc7NZ0aZHFcGv-r01eiFFt_JORx_x7_D4s,1089
-cirq/_version.py,sha256=45GbvWjprecP47R0sU5-7IRfoKv2fkifFMxMjzKGno4,1206
-cirq/_version_test.py,sha256=GEdYGs4CuRGMN6h0mg_ToCTxPV77d8sta8xQJ7VjS58,155
+cirq/_version.py,sha256=2td_SW0o4k_dVeIeehxNpyyQ_b0GOAqZBKa2fPxHExE,1206
+cirq/_version_test.py,sha256=RV9N2nrdM1YFCgzFBLI_PMfN3XHyL9cnWvQE9EpCCdQ,155
 cirq/conftest.py,sha256=wSDKNdIQRDfLnXvOCWD3erheOw8JHRhdfQ53EyTUIXg,1239
 cirq/json_resolver_cache.py,sha256=A5DIgFAY1hUNt9vai_C3-gGBv24116CJMzQxMcXOax4,13726
 cirq/py.typed,sha256=VFSlmh_lNwnaXzwY-ZuW-C2Ws5PkuDoVgBdNCs0jXJE,63
@@ -303,8 +303,8 @@ cirq/ops/controlled_gate.py,sha256=3Hex9AdY6c_DedKoCqqpS4gx9rAgm9KZITbwUBXsoYg,1
 cirq/ops/controlled_gate_test.py,sha256=jmIOlCx8dC3VId4NynX1ZYy7s7tkLav_d-fjiIZyVh0,29308
 cirq/ops/controlled_operation.py,sha256=KAbQGf6-AXm-DV9nk05S3sqJumOgvG9P6jO4Zx1gxec,13561
 cirq/ops/controlled_operation_test.py,sha256=hTqK6R0so-ZmZLcqS9xQl39ekNZ82UVYPbhmfbbh6vg,16699
-cirq/ops/dense_pauli_string.py,sha256=v4naX_wlHaXROIO-ONY5ZMYbqGijDlne3heafrLNE6U,24209
-cirq/ops/dense_pauli_string_test.py,sha256=Wh2YIpydze9GAxIDEPIo6YbdKxjvHLBoqAaVO-DqbmQ,22037
+cirq/ops/dense_pauli_string.py,sha256=lfnSfRhwgNLBknXDm11FTpAULGOvw7jd4-r9IuB8v04,24211
+cirq/ops/dense_pauli_string_test.py,sha256=XlGZuLw_O10hJPhg1EMuvgZd2lAFNF-QbYWl_qxUIAU,22321
 cirq/ops/diagonal_gate.py,sha256=HNMxcgKgfZ2ZcXGaPhcBp6yOwu_stpSN3_GtNeWnR5s,8909
 cirq/ops/diagonal_gate_test.py,sha256=JRQWrL4cEYzVjwal-EewyIPgThUwLdrE6f9i7ifd6Rk,6319
 cirq/ops/eigen_gate.py,sha256=OoUpOwHw6VZ2CpH0Qb-eQLD4c-cjj8wFwBr8NEc7C0g,17788
@@ -344,19 +344,19 @@ cirq/ops/op_tree_test.py,sha256=npk2P6asFc3Z-K_xQ0l9JNam4uBwWMZTGT8rDO5xUmQ,6104
 cirq/ops/parallel_gate.py,sha256=B6uwL0lPJLiv_TL62U4HGyv7FZn_CvljSUK7jKTuu-M,6257
 cirq/ops/parallel_gate_test.py,sha256=ruFdVnB8PS9LOPQLPZACdf0nh3l-sApQe9bk10EDBJI,6463
 cirq/ops/parity_gates.py,sha256=aBvAn-04K6PpcGGPbESqk2lbkPweiuHSJhK-Q1KUq84,14260
-cirq/ops/parity_gates_test.py,sha256=-hnUpof7lKrBz1i06wQ8H3RsIy03gFczaVq3xK8s-HY,11587
+cirq/ops/parity_gates_test.py,sha256=z2i3qXtc1LBBFyYuoNFGONAXyFre9W7VzqYcqN0imTc,12509
 cirq/ops/pauli_gates.py,sha256=hXChuK9F56DEft2KHcMhjf6cPyEHHB5BKy10Dsk0FNM,6776
 cirq/ops/pauli_gates_test.py,sha256=YYzQBojxoZTM6WH7pD3PNwmQrIO6U7FTG6AaZ-6z-To,8334
 cirq/ops/pauli_interaction_gate.py,sha256=1drxD57PLCmp7dI9p5oDX2HPzsqwh0rrqHltUjtbWZU,5539
 cirq/ops/pauli_interaction_gate_test.py,sha256=9IGQjf4cRNe1EAsxVJjTMysoO2TxUhDlp-6lXJuAYD8,4643
 cirq/ops/pauli_measurement_gate.py,sha256=OzbQeMzr9cHQsai8K-usg3Il74o8gdXZLksLuYr8RcU,7113
 cirq/ops/pauli_measurement_gate_test.py,sha256=IDnbQgyaj-nbYw_sslPBccl8aRGTlMrADc_EEiAvluk,6929
-cirq/ops/pauli_string.py,sha256=FaigNkmYOizcxEEgV_sZyAxffG7_JnyB6fbbeUyTEqk,64071
+cirq/ops/pauli_string.py,sha256=xKOfmvm4Kh2VhAYvdHMskjfCo07CwNfonxyv5_GFV_s,62611
 cirq/ops/pauli_string_phasor.py,sha256=5Tm_OoR_v44Kb3AQAw5XIxpcmKtompdbq5ZefYGEUmk,18207
 cirq/ops/pauli_string_phasor_test.py,sha256=ZIoraHH3kOFjtEfThXDS-sxUvSU8MYZ2avtdiPcyN6w,28309
 cirq/ops/pauli_string_raw_types.py,sha256=mBOAwfBT_y7yiSyC6Hr-ofLyIkjyOH5urmK-gitD3-Y,2226
 cirq/ops/pauli_string_raw_types_test.py,sha256=ZcOZ31KSVIc7ReZoO8WZEX8MOyPOhUWaYLppvGTE4-8,2761
-cirq/ops/pauli_string_test.py,sha256=i_SkDlRuoYB5AZZ-KW4aFJBHp14AzMXlx-ZIJzPkDT8,78278
+cirq/ops/pauli_string_test.py,sha256=miI50nAuQ4fM7jKNR7JRNgvSlYmiOZKTbz4EIMqNdlA,79568
 cirq/ops/pauli_sum_exponential.py,sha256=Zq8YBMZ7sLLEPQuoX4uR95I9VY4C38Ma8FtOEjQGr3k,4861
 cirq/ops/pauli_sum_exponential_test.py,sha256=u9fVBUMuiIb6xOPC2GRTR3zFUeO6N3vanejUk5_u9_8,5485
 cirq/ops/permutation_gate.py,sha256=mTCKrLSNP3nm2hPebfBJNR5mHO6qb1ZqDT3pFA0zM_M,4218
@@ -378,7 +378,7 @@ cirq/ops/qubit_order_or_list.py,sha256=5kChRv1gUnBKB-kF6okXoXcCa5CXbJ6HoB6ETpfl3
 cirq/ops/qubit_order_test.py,sha256=8uOW9oLLQcjbYvd2DdXZLCbRS2sJuH6b8Bal3SgPo5M,4372
 cirq/ops/random_gate_channel.py,sha256=i4eg9GA4CF6ZWQRrICa5lfYqvdZzN8oLEWwXHcxRStM,5115
 cirq/ops/random_gate_channel_test.py,sha256=p-xtDOMIYBJ1wVHLJmrALi-ZU978l3AVuX0kgoan1Ac,8523
-cirq/ops/raw_types.py,sha256=T90X1zF5B0aJVHDw8JVCv7VwZDeiLejcUQhQwC_RAOE,43414
+cirq/ops/raw_types.py,sha256=OcRK1pv5k9f14R2z920Wg0mqV114iPGaJNuVF2T7Ilk,43836
 cirq/ops/raw_types_test.py,sha256=CoooLVSYidx1QkAFWJM4gNbs3CwkHHtVKE8HW6gPAxs,35408
 cirq/ops/state_preparation_channel.py,sha256=3qbqrrYaVN2eHL1qiBHcItj1Pzjxhtq10tSEkRz9GNM,4781
 cirq/ops/state_preparation_channel_test.py,sha256=xFi6nOFPoQatxvnorCXujmhMvtf65lmyFfxbGlTKo4c,6039
@@ -1234,8 +1234,8 @@ cirq/work/sampler.py,sha256=rxbMWvrhu3gfNSBjZKozw28lLKVvBAS_1EGyPdYe8Xg,19041
 cirq/work/sampler_test.py,sha256=SsMrRvLDYELyOAWLKISjkdEfrBwLYWRsT6D8WrsLM3Q,13533
 cirq/work/zeros_sampler.py,sha256=Fs2JWwq0n9zv7_G5Rm-9vPeHUag7uctcMOHg0JTkZpc,2371
 cirq/work/zeros_sampler_test.py,sha256=lQLgQDGBLtfImryys2HzQ2jOSGxHgc7-koVBUhv8qYk,3345
-cirq_core-1.7.0.dev20250904220130.dist-info/licenses/LICENSE,sha256=tAkwu8-AdEyGxGoSvJ2gVmQdcicWw3j1ZZueVV74M-E,11357
-cirq_core-1.7.0.dev20250904220130.dist-info/METADATA,sha256=svvgQ0fsioqphfBNXLFiosRPv0tJdsyQ_yJf1JnmUyY,4758
-cirq_core-1.7.0.dev20250904220130.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-cirq_core-1.7.0.dev20250904220130.dist-info/top_level.txt,sha256=Sz9iOxHU0IEMLSFGwiwOCaN2e9K-jFbBbtpPN1hB73g,5
-cirq_core-1.7.0.dev20250904220130.dist-info/RECORD,,
+cirq_core-1.7.0.dev20250905003713.dist-info/licenses/LICENSE,sha256=tAkwu8-AdEyGxGoSvJ2gVmQdcicWw3j1ZZueVV74M-E,11357
+cirq_core-1.7.0.dev20250905003713.dist-info/METADATA,sha256=PDoADT3dkGaaQErbjm8gobHac_uGwoJVyeN8BdUP6fc,4758
+cirq_core-1.7.0.dev20250905003713.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+cirq_core-1.7.0.dev20250905003713.dist-info/top_level.txt,sha256=Sz9iOxHU0IEMLSFGwiwOCaN2e9K-jFbBbtpPN1hB73g,5
+cirq_core-1.7.0.dev20250905003713.dist-info/RECORD,,