Giovanni de Felice

Phd student - Category theory - NLP - Quantum

[Giovanni de Felice @gio_defel]

We also introduce a new graphical language for optical protocols featuring delays, routers, switches and photonic machine guns

[Giovanni de Felice @gio_defel]

Our work on photonic MBQC is out on the arXiv!

https://t.co/ieYaOLIguu

[Giovanni de Felice @gio_defel]

We study errors induced by photonic fusion measurements and give flow structure to correct them.

[Giovanni de Felice @gio_defel]

@cole_comfort It is aimed more at a physics audience.

[Giovanni de Felice @gio_defel]

New paper out on arXiv! We give a "parameter-shift" rule for linear optical circuits.

https://t.co/hNC4Ss3e5i

[Giovanni de Felice @gio_defel]

@cole_comfort Looking forward to it. Yes this is missing the optics.

[Giovanni de Felice @gio_defel]

@cole_comfort We are out on the same day! Nice, this paper was much awaited.

[Giovanni de Felice @gio_defel]

It features some very nice dilation theory with a 1950 result by Halmos

[Giovanni de Felice @gio_defel]

@cole_comfort And probably some reductions are not beta reductions like in Robin's blog post

[Giovanni de Felice @gio_defel]

Montague's treatment of semantics is purely _functional_, while Peirce's existential graphs are _topological_, only connectivity matters.

[Giovanni de Felice @gio_defel]

@cole_comfort You have to explicitly give the beta-reduction

[Giovanni de Felice @gio_defel]

@cole_comfort It also has a very nice graphical language with sheets https://t.co/Fj05rl14Pa

[Giovanni de Felice @gio_defel]

@cole_comfort What we were thinking is using the category of pointed profunctors Prof*(C) over a monoidal category C. This category is compact closed, and you can encode any higher-order operator (comb/bubble etc.) as a morphism in there.

[Giovanni de Felice @gio_defel]

Can this box copying happen topologically?

[Giovanni de Felice @gio_defel]

With Mario Roman we had some ideas for doing this using profunctors.