Skip to content

✨ Add QCO density-matrix DD simulation - #2080

Draft
simon1hofmann wants to merge 3 commits into
codex/qco-dd-construction-deallocationfrom
codex/qco-dd-density-matrix
Draft

✨ Add QCO density-matrix DD simulation#2080
simon1hofmann wants to merge 3 commits into
codex/qco-dd-construction-deallocationfrom
codex/qco-dd-density-matrix

Conversation

@simon1hofmann

@simon1hofmann simon1hofmann commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

🤖 AI text below 🤖

Summary

Adds density-matrix execution as the final layer of the QCO DD functionality stack.

  • Construct density-matrix DDs from pure states.
  • Simulate and sample QCO programs from density matrices.
  • Evolve mixed states under supported unitary and dynamic operations.
  • Deallocate entangled qubits through partial trace.
  • Expose density simulation and sampling in Python.
  • Consolidate interpreter plumbing and retain the complete validation and error contracts from the lower layers.

Closes #1915.

Validation

  • Every layer in the stack builds and passes independently.
  • All 151 QCO utility tests pass on this layer.
  • All 9 focused Python QCO DD tests pass.
  • Full stub generation and the repository lint suite pass.
  • The final source tree is equivalent to the previously reviewed monolithic implementation, excluding intentionally removed temporary agent plans.

GPT-5.6 via Codex materially assisted with implementation, testing, review remediation, and restructuring this work into a stacked pull request under maintainer direction.

@simon1hofmann simon1hofmann changed the title codex/qco dd density matrix ✨ Add QCO density-matrix DD simulation Aug 13, 2026
@simon1hofmann simon1hofmann added enhancement Improvement of existing feature DD Anything related to the DD package c++ Anything related to C++ code MLIR Anything related to MLIR python Anything related to Python code labels Aug 13, 2026
@simon1hofmann simon1hofmann added this to the MLIR Support milestone Aug 13, 2026
@simon1hofmann simon1hofmann self-assigned this Aug 13, 2026
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from deee3fa to 9b0bd0e Compare August 13, 2026 10:51
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch 2 times, most recently from 1610209 to 2cc1383 Compare August 13, 2026 11:24
@mergify mergify Bot added the conflict label Aug 13, 2026
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 2cc1383 to 24e5bf7 Compare August 13, 2026 12:21
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch 2 times, most recently from 660ed03 to 9f92f1d Compare August 13, 2026 12:26
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch 2 times, most recently from 9c1a42e to c7dd051 Compare August 13, 2026 12:51
@mergify mergify Bot removed the conflict label Aug 13, 2026
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from c7dd051 to 759e359 Compare August 13, 2026 14:27
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 759e359 to 8f994f8 Compare August 13, 2026 15:11
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 8f994f8 to 5f0c4ba Compare August 13, 2026 16:36
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch 2 times, most recently from 026e0d4 to 4950226 Compare August 13, 2026 16:50
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 4950226 to 8a4d883 Compare August 14, 2026 07:34
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 8a4d883 to 3e327db Compare August 14, 2026 07:47
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 3e327db to 7c5daef Compare August 14, 2026 07:52
@simon1hofmann
simon1hofmann force-pushed the codex/qco-dd-density-matrix branch from 7c5daef to 05f0f9d Compare August 14, 2026 07:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

c++ Anything related to C++ code conflict DD Anything related to the DD package enhancement Improvement of existing feature MLIR Anything related to MLIR python Anything related to Python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant