Skip to content

feat: add multi-controlled gates (MCX, MCZ, MCP, generic Ctrl)#1

Merged
splch merged 5 commits intomainfrom
feat/multi-controlled-gates
Mar 11, 2026
Merged

feat: add multi-controlled gates (MCX, MCZ, MCP, generic Ctrl)#1
splch merged 5 commits intomainfrom
feat/multi-controlled-gates

Conversation

@splch
Copy link
Copy Markdown
Owner

@splch splch commented Mar 11, 2026

Implement ControlledGate interface and controlled gate wrapper with:

  • Constructors: Controlled(), MCX(), MCZ(), MCP() with singleton returns for well-known cases (CNOT, CCX, CZ, CY)
  • Optimized statevector kernel using control-bit masking (avoids full 2^N matrix construction), with serial + parallel variants
  • Barenco recursive decomposition (no ancillas, O(n^2) CX gates)
  • Builder methods: MCX(), MCZ(), MCP(), Ctrl()
  • QASM emitter: ctrl(N) @ gate syntax (OpenQASM 3.0)
  • QASM parser: wire up ctrl @ modifier to gate.Controlled()
  • Circuit draw: @ for control qubits, inner gate symbol for targets
  • Density matrix: auto-decompose >2 qubit gates recursively

All 29 packages pass, zero regressions.

splch added 3 commits March 11, 2026 14:39
Implement ControlledGate interface and controlled gate wrapper with:
- Constructors: Controlled(), MCX(), MCZ(), MCP() with singleton
  returns for well-known cases (CNOT, CCX, CZ, CY)
- Optimized statevector kernel using control-bit masking (avoids
  full 2^N matrix construction), with serial + parallel variants
- Barenco recursive decomposition (no ancillas, O(n^2) CX gates)
- Builder methods: MCX(), MCZ(), MCP(), Ctrl()
- QASM emitter: ctrl(N) @ gate syntax (OpenQASM 3.0)
- QASM parser: wire up ctrl @ modifier to gate.Controlled()
- Circuit draw: @ for control qubits, inner gate symbol for targets
- Density matrix: auto-decompose >2 qubit gates recursively

All 29 packages pass, zero regressions.
- Fix gofmt alignment in controlled.go, controlled_test.go, kernel_controlled.go
- Fix appendAssign: use make+copy instead of append on parameter slices
- Fix prealloc: initialize ops slices with capacity hint
- Add token_test.go: Type.String(), LookupIdent(), keyword consistency,
  and exhaustive token name coverage
- Replace make([]T, 0, 32) with var declaration + nolint comment since
  the recursive decomposition size is unpredictable and Go's append
  growth (2x below 256 elements) handles it efficiently
Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4ceb00d57c

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread transpile/decompose/multicontrol.go Outdated
Comment thread transpile/decompose/multicontrol.go Outdated
Comment thread sim/densitymatrix/sim.go
@splch splch merged commit e7438e9 into main Mar 11, 2026
6 checks passed
@splch splch deleted the feat/multi-controlled-gates branch March 11, 2026 22:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant