TQFTs and quantum computing

DOI10.1016/J.BULSCI.2024.103454MaRDI QIDQ6413215zbMATH OpenFDO

Publication date 7 October 2022

Full work available at URL https://doi.org/10.1016/J.BULSCI.2024.103454

Abstract: Quantum computing is captured in the formalism of the monoidal subcategory of

e x t b f {V e c t}_{m a t h b b C}

generated by

m a t h b b C^{2}

-- in particular, quantum circuits are diagrams in

e x t b f {V e c t}_{m a t h b b C}

-- while topological quantum field theories, in the sense of Atiyah, are diagrams in

e x t b f {V e c t}_{m a t h b b C}

indexed by cobordisms. We initiate a program that formalizes this connection. In doing so, we equip cobordisms with machinery for producing linear maps by parallel transport along curves under a connection and then assemble these structures into a double category. Finite-dimensional complex vector spaces and linear maps between them are given a suitable double categorical structure which we call

m a t h b b F e x t b f {V e c t}_{m a t h b b C}

. We realize quantum circuits as images of cobordisms under monoidal double functors from these modified cobordisms to

m a t h b b F e x t b f {V e c t}_{m a t h b b C}

, which are computed by taking parallel transports of vectors and then combining the results in a pattern encoded in the domain double category.

This page was built for publication: TQFTs and quantum computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6413215)