Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorBen_Sprott
   • CommentTimeJun 11th 2018
   • PermaLink
   Author: Ben_Sprott
   Format: MarkdownItexHi, I have been studying polynomial monads for a little bit now, especially in terms of their application to data structures under the title containers. I have found fun things like List and Bag, whose categories of algebras are Monoids and commutative Monoids. There isn't much work on applying this work to the Quantum realm, despite the level of sophistication we see in the subject of quantum computing. I would think we need to apply this to monoidal categories so that we can talk about quantum containers. I think [this paper](https://arxiv.org/abs/1106.1983) states that if you have a category with pullbacks, you can host the subject of polynomial functors and thus containers. Hilb has pullbacks, so we can begin the subject. It would amount to a study of quantum data structures. This should become a well trodden subject in the coming years. An important data structure in quantum computing and quantum information is the Frobenius Algebra which captures the presence of classical data within a quantum context. [Heunen and Karvonen](https://arxiv.org/pdf/1602.04324.pdf) pointed out that the internal Frobenius structure is generated by the monad $- \otimes B$, where $B$ is any object in your symmetric monoidal dagger category which supports a frobenius algebra (this may be putting poorly). The first question, for which the answer is likely "yes", is whether $- \otimes B$ is polynomial. I am interested in a larger question, and that concerns quantum theory itself. There are two papers, [Tull](https://arxiv.org/abs/1804.02265) and [Selby, Scandolo, Coecke](https://arxiv.org/abs/1802.00367), that give diagrammatic presentations of quantum theory. I am working on a very basic intuition that all string diagrams will be generated by some monad which is polynomial. The reasoning from that point is whether or not we can see these diagrammatic presentations of all of quantum mechanics as a polynomial monad. I am guessing that the host category for the monad would be Hilb. To begin this program of research, we need to ask the following: given that the Frobenius algebra is generated by a polynomial monad, what kinds of string diagrams can be given by a polynomial monad? T hen we can ask, what is the monad that generates the axioms in Tull, Coecke et al.?

   Hi,

   I have been studying polynomial monads for a little bit now, especially in terms of their application to data structures under the title containers. I have found fun things like List and Bag, whose categories of algebras are Monoids and commutative Monoids. There isn’t much work on applying this work to the Quantum realm, despite the level of sophistication we see in the subject of quantum computing. I would think we need to apply this to monoidal categories so that we can talk about quantum containers. I think this paper states that if you have a category with pullbacks, you can host the subject of polynomial functors and thus containers. Hilb has pullbacks, so we can begin the subject. It would amount to a study of quantum data structures. This should become a well trodden subject in the coming years.

   An important data structure in quantum computing and quantum information is the Frobenius Algebra which captures the presence of classical data within a quantum context. Heunen and Karvonen pointed out that the internal Frobenius structure is generated by the monad $- \otimes B$, where $B$ is any object in your symmetric monoidal dagger category which supports a frobenius algebra (this may be putting poorly). The first question, for which the answer is likely “yes”, is whether $- \otimes B$ is polynomial.

   I am interested in a larger question, and that concerns quantum theory itself. There are two papers, Tull and Selby, Scandolo, Coecke, that give diagrammatic presentations of quantum theory. I am working on a very basic intuition that all string diagrams will be generated by some monad which is polynomial. The reasoning from that point is whether or not we can see these diagrammatic presentations of all of quantum mechanics as a polynomial monad. I am guessing that the host category for the monad would be Hilb.

   To begin this program of research, we need to ask the following: given that the Frobenius algebra is generated by a polynomial monad, what kinds of string diagrams can be given by a polynomial monad? T hen we can ask, what is the monad that generates the axioms in Tull, Coecke et al.?

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeJun 11th 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIt seems unlikely to me that $(-\otimes B)$ would be a polynomial functor; how would you encode information about the tensor product *structure* of the category in terms of a polynomial which uses only pullbacks and their adjoints?

   It seems unlikely to me that $(-\otimes B)$ would be a polynomial functor; how would you encode information about the tensor product structure of the category in terms of a polynomial which uses only pullbacks and their adjoints?

3. • CommentRowNumber3.
   • CommentAuthorBen_Sprott
   • CommentTimeJun 12th 2018
   • PermaLink
   Author: Ben_Sprott
   Format: MarkdownItexI guess it wouldn't be a post by me if I didn't state my conjecture as though it were true (with no proof). Would anyone like to suggest a polynomial functor on FHilb using, as Mike has suggested, only pullbacks and their adjoints? Mike, are you saying that we cannot have a polynomial functor on FHilb?

   I guess it wouldn’t be a post by me if I didn’t state my conjecture as though it were true (with no proof).

   Would anyone like to suggest a polynomial functor on FHilb using, as Mike has suggested, only pullbacks and their adjoints?

   Mike, are you saying that we cannot have a polynomial functor on FHilb?

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeJun 12th 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexA polynomial endofunctor of a category $C$ is determined by an [[exponentiable morphism]] $p:B\to A$. I don't know whether there are any nontrivial exponentiable morphisms in $Hilb$, but identity morphisms are always exponentiable, so at least there are those polynomials, which are the cartesian products (= coproducts) with a fixed object $A$.

   A polynomial endofunctor of a category $C$ is determined by an exponentiable morphism $p:B\to A$. I don’t know whether there are any nontrivial exponentiable morphisms in $Hilb$, but identity morphisms are always exponentiable, so at least there are those polynomials, which are the cartesian products (= coproducts) with a fixed object $A$.

5. • CommentRowNumber5.
   • CommentAuthorBen_Sprott
   • CommentTimeJun 13th 2018
   • PermaLink
   Author: Ben_Sprott
   Format: MarkdownItexThanks Mike!

   Thanks Mike!