Why FHilb is Not an Interesting (Co)Differential Category

Differential categories provide an axiomatization of the basics of differentiation and categorical models of differential linear logic. As differentiation is an important tool throughout quantum mechanics and quantum information, it makes sense to study applications of the theory of differential categories to categorical quantum foundations. In categorical quantum foundations, compact closed categories (and therefore traced symmetric monoidal categories) are one of the main objects of study, in particular the category of finite-dimensional Hilbert spaces FHilb. In this paper, we will explain why the only differential category structure on FHilb is the trivial one. This follows from a sort of in-compatibility between the trace of FHilb and possible differential category structure. That said, there are interesting non-trivial examples of traced/compact closed differential categories, which we also discuss. The goal of this paper is to introduce differential categories to the broader categorical quantum foundation community and hopefully open the door to further work in combining these two fields. While the main result of this paper may seem somewhat "negative" in achieving this goal, we discuss interesting potential applications of differential categories to categorical quantum foundations.

[1]  Thomas Ehrhard,et al.  An introduction to differential linear logic: proof-nets, models and antiderivatives , 2016, Mathematical Structures in Computer Science.

[2]  Martin Hofmann,et al.  Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories , 2008, Pillars of Computer Science.

[3]  Jamie Vicary,et al.  A Categorical Framework for the Quantum Harmonic Oscillator , 2007, 0706.0711.

[4]  J.R.B. Cockett,et al.  DIFFERENTIAL RESTRICTION CATEGORIES , 2012, 1208.4068.

[5]  Richard Blute,et al.  CARTESIAN DIFFERENTIAL CATEGORIES , 2009 .

[6]  Masahito Hasegawa,et al.  Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi , 1997, TLCA.

[7]  Amar Hadzihasanovic,et al.  The algebra of entanglement and the geometry of composition , 2017, ArXiv.

[8]  Weyl algebras and knots , 2006, math/0610481.

[9]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[10]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[11]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[12]  M. Fiore.  An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators , 2015, 1506.06402.

[13]  Masahito Hasegawa,et al.  On traced monoidal closed categories , 2009, Mathematical Structures in Computer Science.

[14]  Martin Hyland,et al.  Glueing and orthogonality for models of linear logic , 2003, Theor. Comput. Sci..

[15]  P. Selinger.  A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.

[16]  Nicolas Tabareau,et al.  An explicit formula for the free exponential modality of linear logic , 2009, Mathematical Structures in Computer Science.

[17]  Dominic R. Verity,et al.  ∞-Categories for the Working Mathematician , 2018 .

[18]  Ross Street,et al.  Traced monoidal categories , 1996 .

[19]  J. Robin B. Cockett,et al.  Differential Structure, Tangent Structure, and SDG , 2014, Appl. Categorical Struct..

[20]  Michele Pagani,et al.  Parallel Reduction in Resource Lambda-Calculus , 2009, APLAS.

[21]  R. Blute,et al.  Derivations in Codifferential Categories , 2015, 1505.00220.

[22]  Giulio Manzonetto,et al.  Constructing differential categories and deconstructing categories of games , 2013, Inf. Comput..

[23]  Dominic R. Verity,et al.  Traced monoidal categories , 1996, Mathematical Proceedings of the Cambridge Philosophical Society.

[24]  J. Robin B. Cockett,et al.  Differential categories , 2006, Mathematical Structures in Computer Science.

[25]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[26]  J. Robin B. Cockett,et al.  The Category CNOT , 2017, QPL.

[27]  Radha Jagadeesan,et al.  New foundations for the geometry of interaction , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[28]  Prakash Panangaden,et al.  Fock Space: A Model of Linear Exponential Types , 1994 .

[29]  J. Robin B. Cockett,et al.  Integral Categories and Calculus Categories , 2017, CSL.