Search for tag: "quantum circuits"

Meeting 12.2: Topological quantum computing IV

We show that if an extended unitary TQFT supports a quantum representation of a braid group with image that is dense inside of the unitary group of an appropriate state space, then the TQFT can be…

From  Eric Samperton 17 plays 0  

Meeting 11.1: Topological quantum computing II

We mostly say more about (2+1)-dimensional unitary TQFTs. In particular, we define the quantum representations of mapping class groups of surfaces determined by a TQFT. We also begin to show one…

From  Eric Samperton 32 plays 0  

Meeting 7.1: BQP and QMA

I define BQP ("bounded error quantum polynomial time") and pay lip service to the Solovay-Kitaev theorem (hopefully a student will prove it in a talk at the end of the semester). I also…

From  Eric Samperton 25 plays 0  

Meeting 6.2: More on reversible circuits, and quantum circuits

I follow up more thoroughly on RSAT, an NP-complete satisfiability problem for Boolean reversible circuits. It actually has several variants, of which we discuss 2. (See my Section 2.2 of one of my…

From  Eric Samperton 10 plays 0