Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Complete equational theories for classical and quantum Gaussian relations
Robert I. Booth, Titouan Carette, Cole Comfort
We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by com…
cs.LO2024
Graphical Symplectic Algebra
Robert I. Booth, Titouan Carette, Cole Comfort
We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical lang…