Dax Fohl

Previously the DeferredMeasurementTransformer could only work with classical conditions of type KeyCondition (triggered iff the measurement value of that key != zero). This PR enables the transformer to work with...

concat_ragged allows measurements to overlap

6

**Description of the issue** `Circuit.concat_ragged` allows measurements and classical controls to commute past each other or overlap, resulting in unexpected behavior or invalid circuits. **How to reproduce the issue** ```python...

Moment allows conflicting measurements

4

**Description of the issue** Moment constructor checks for conflicting ops on qubits but not on measurement keys. **How to reproduce the issue** ```python m = cirq.Moment( cirq.measure(cirq.NamedQubit('q1'), key='a'), cirq.measure(cirq.NamedQubit('q2'), key='a'),...

Make cirq.final_density_matrix work on classical controls

1

**Is your feature request related to a use case or problem? Please describe.** The `ignore_measurement_results` argument of `final_density_matrix` is used for calculating the final density matrix without ever collapsing the...

Derive _kraus_ from _apply_channel_

2

**Is your feature request related to a use case or problem? Please describe.** Follow up from https://github.com/quantumlib/Cirq/pull/5917#discussion_r995097628 **Describe the solution you'd like** Similarly to how `unitary_protocol` has `_strat_unitary_from_apply_unitary`, we should...

Simplify controlled gate for SumOfProducts

1

Simplify the `SumOfProducts` control value when possible (if there's only a single product in it) when constructing a `ControlledGate`. This allows the `X.controlled() -> CX` optimization when using a `SumOfProducts`...

As reported in #5916, when repeatedly factoring and kronning a density matrix during simulation, the rounding error caused by partial_trace can propagate and explode after about 15 repetitions. This PR...

Fixes the deferred measurements transformer in the presence of repeated measurements on the same measurement key by maintaining all those measurements as a list and controlling against the correct qubits...

`X.controlled(cirq.SumOfProducts([[1]]))` does not optimize to `CX`

2

`X.controlled` simplifies to `CX` when possible (and Z to CZ). However this does not work when the `control_values` is represented as a `SumOfProducts`, requiring workarounds by any code expecting such...

Deferred measurements transformer does not handle some cases currently. This is the umbrella issue for the fixes. * [ ] Sympy expressions: #5824 * [x] Qudits: #5850 * [x] Confusion...