PIs: John Hayes

1
Simulation and Synthesis of Quantum
CircuitsUniversity of Michigan

• PIs John Hayes Igor Markov
• Have contributed to commercial CAD tools for
  classical circuit synthesis, layout and testing
• Students
• Have background in software and quantum computing
• Collaborators Stephen Bullock (NIST) et al.
• Algorithms for Synthesis ? Synthesis tools
• Input a 2nx2n matrix and find an n-qubit circuit
• For n2 qubits minimum number of CNOTs
  guaranteed
• Find even smaller circuits if measurement is
  known
• Find t so that exp(itH) computes CNOT up to
  one-qubit ops
• We have related results for 3 qubits and n qubits
• Reference quant-ph/0308045v2, quant-ph/0401162

2
Simulation and Synthesis of Quantum
CircuitsUniversity of Michigan

• Simulation Tool
• Quantum mechanics simulator QuIDDPro is available
  now
• Uses efficient graph-based compression of
  state-vectorsand density matrices
• Performs linear algebra operations on compressed
  states
• Can work with 0000gt on 100 qubits
• Has an ASCII interface based on the Matlab
  language
• Supports popular gates, measurement operations,
  etc.
• Documentation
• Users manual available now, including examples,
• Active ongoing development Feedback welcome!
• References quant-ph/0208003, quant-ph/0309060