Beruflich Dokumente
Kultur Dokumente
Jacob Biamonte CQT Singapore ISI Foundation, Torino Italy Tensor network states course homepage http://www.qubit.org/iqc2011
Current collaborators
JohnBaez VilleBergholm StuartBroadfoot StephenClark SamDenny DieterJaksch TomiJohnson MarcoLanzagorta SebastianMeznaric AlexParent(UW) ChrisWood(IQC,PI) etal. NOTE:thisisoutdated!
Overview take I
Quantum Circuits Classical Circuits Tensor Network States Ising Spin Models Penrose Tensor Networks Categorical Algebra
Quantum Circuits
Temporally ordered or time sequenced All maps are unitary so # inputs ='s # outputs Describe quantum algorithms Universality result: every quantum state approximately prepared by a quantum circuit A model of quantum computation Conceptual understanding (in some cases compared to evolution under H) Complexity bounds (gate counts to simulate H)
(With James Whitfield and A. Aspuru-Guzik) Molecular Physics, Volume 109, Issue 5 March 2011 , pages 735 - 750
Gate families Match gates Stabiliser gates Rewrite rules Gate identities (these are symmetries)
Classical Circuits
In mathematics, a (finitary) Boolean function (or switching function) is a function of the form : B^k B, where B = {0, 1} is a Boolean domain and k is the arity of the function. Asynchronous circuits for every such Boolean function Universal gate families (need boolean non-linearity) A model of computation Complexity bounds on circuit families Decomposition methods, synthesis, Shannon & Davio expansions
At PI: Lukasz Cincio, Robert Pfeifer, Guifre Vidal Tensor Network States IQC/UW Course http://www.qubit.org/iqc2011 http://pirsa.org/11060004/ (RP)
Energy penalties Spin configurations Each spin can take either of two values
Graphical depiction of tensors Compositionality Diagrams to reason about equations and physics Algorithms to solve problems [1971]
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Page 659
Page 802
Categorical Algebra
Duality, Pairing, abstraction as a uniting tool. Precise, clear definitions Pay entrance fee to join the conversation Baez-Dolan Dagger Compact Categories describe Quantum Theory [1995]
Y. Lafont, Penrose diagrams and 2-dimensional rewriting, in Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series 177, p. 191-201, Cambridge University Press (1992).
Y. Lafont, Penrose diagrams and 2-dimensional rewriting, in Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series 177, p. 191-201, Cambridge University Press (1992).
Frobenius algebras and 2D topological quantum field theories, Joachim Kock, Cambridge University Press, 2004
http://arxiv.org/abs/0908.2469
Unification
The network models we have considered are all different (it would seem)... ...How can we relate them?
Overview take II
Composing Gates
Quantum Networks
Boolean States
AND-tensors
COPY-, XOR-tensors
Quantum AND-tensors
W-state
Spins
States
Application: 3SAT
Page 802
Applications of negative dimensional tensors, Rodger Penrose in Combinatorial Mathematics and its Applications, Academic Press (1971).
Diagrammatic SVD
Algebraic Invariant Theory for Matrix Product States (with Ville Berghlom and Marco Lanzagortat)
Algebraic Invariant Theory for Matrix Product States (with Ville Berghlom and Marco Lanzagortat)
Purification
Algebraic Invariant Theory for Matrix Product States (with Ville Berghlom and Marco Lanzagortat)
Entanglement topology
Algebraic Invariant Theory for Matrix Product States (with Ville Berghlom and Marco Lanzagortat)
MPS
Polynomial Invariants
Algebraic Invariant Theory for Matrix Product States (with Ville Berghlom and Marco Lanzagortat)
Applications
Entanglement Spectrum Reyni Entropy Estimating Rank (with Ann Kallin and others)
Stabilizer Tensors
Algebraically contractible topological tensor network states, S. J. Denny, JB, Jaksch and Clark. (2011). 1108.0888