<meta http-equiv="content-type" content="text/html; charset=utf-8"><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; color: rgb(34, 34, 34); "><div><b>Speaker:</b></div>
<div><meta http-equiv="content-type" content="text/html; charset=utf-8">Jacob D. Biamonte, from the Oxford University Computing Laboratory</div><div><br></div><div><b>Title:</b> </div><div>Categorical Tensor Network States</div>
<div><br></div><div><b>Location:</b></div><div><b><meta http-equiv="content-type" content="text/html; charset=utf-8"><span class="Apple-style-span" style="font-weight: normal; ">Pfizer Lecture Hall in Mallinckrodt Laboratory (12 Oxford St, Cambridge, MA).</span></b></div>
<div><br></div><div><b>Abstract:</b></div><div><i>I plan to present results from a study in the use of the mathematics of category theory in the description of quantum states by tensor networks.  This approach enables the development of a categorical framework allowing a solution to the quantum decomposition problem. Specifically, given an n-body quantum state S, we found a general method to factor S into a tensor network.  Moreover, this decomposition of S uses building blocks defined mathematically in terms of purely diagrammatic laws. We used the solution to expose a previously unknown and large class of quantum states which we prove to be sampled efficiently and exactly. This general framework of categorical tensor network states, where a combination of generic and algebraically defined tensors appear, enhances the theory of tensor network states.  Part&#39;s of my talk will represent joint work with Stephen R. Clark (CQT, Keble College, Oxford) and Dieter Jaksch (Oxford, Keble College, CQT). </i></div>
<div><i><br></i></div><div><i>Based on <a href=" http://arxiv.org/abs/1012.0531">arxiv:1012.0531</a>.</i></div></span>