We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of real affine Lagrangian relations which freely codiscards effects, as well as certain rotations. The presentation of positive affine Lagrangian relations provides a rigorous justification for many common yet informal calculations in the quantum physics literature involving infinite-squeezing. Our presentation naturally extends Menicucci et al.'s graph-theoretic representation of Gaussian quantum states with a representation for Gaussian transformations. Using this graphical calculus, we also give a graphical proof of Braunstein and Kimble's continuous-variable quantum teleportation protocol. We also interpret the LOv-calculus, a diagrammatic calculus for reasoning about passive linear-optical quantum circuits in our graphical calculus. Moreover, we show how our presentation allows for additional optical operations such as active squeezing.

翻译：我们给出了高斯关系与正仿射拉格朗日关系的超图生成元与关系式。前者通过完全无信息先验扩展了高斯概率过程，后者通过无穷压缩态扩展了高斯量子力学。这些表示通过在实仿射关系与实仿射拉格朗日关系的表示中添加生成元（该生成元可自由配分效应以及特定旋转）而得到。正仿射拉格朗日关系的表示也为量子物理文献中大量涉及无穷压缩的常见非形式化计算提供了严谨的理论依据。我们的表示自然地将Menicucci等人关于高斯量子态的图论表示扩展至包含高斯变换的表示。利用该图演算，我们还给出了Braunstein与Kimble连续变量量子隐形传态协议的图式证明。此外，我们在该图演算中解释了用于推理被动线性光学量子电路的LOv演算。更重要的是，我们展示了该表示如何容纳主动压缩等额外光学操作。