You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (May 15 2020 at 20:13):Quantum Physics and Logic 2020 is taking place June 2-6 online, and if you want to tune in you have to register here.
John Baez (May 15 2020 at 20:14):Here are the talks:
Matthew Amy, Andrew N. Glaudell and Neil J. Ross. Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits
Ana Belén Sainz, Matthew Hoban, Paul Skrzypczyk and Leandro Aolita. Bipartite post-quantum steering in generalised scenarios
David Schmid, Denis Rosset and Francesco Buscemi. Quantifying Bell nonclassicality across arbitrary resource types
Thomas Galley and Lluis Masanes. How dynamics constrains probabilities in general probabilistic theories
Bob Coecke and Konstantinos Meichanetzidis. Meaning updating of density matrices
Andre Kornell, Bert Lindenhovius and Michael Mislove. Quantum CPOs
Kenta Cho, Bas Westerbaan and John van de Wetering. Dichotomy between deterministic and probabilistic models in countably additive effectus theory
Niel de Beaudrap. Well-tempered ZX and ZH calculi
Hector Miller-Bakewell, Miriam Backens, Giovanni de Felice, John van de Wetering and Leo Lobski. There and back again: A circuit extraction tale
Samson Abramsky and Rui Soares Barbosa. Partial boolean algebras and the logical exclusivity principle
Quanlong Wang. An algebraic axiomatisation of ZX-calculus
Anthony Munson, Bob Coecke and Quanlong Wang. AND-gates in ZX-calculus: spider nest identities and QBC-completeness
Andre Kornell. Quantum predicate logic with equality
Laurent Poinsot. Hilbertian Frobenius algebras (Extended Abstract)
Adriana Correia, Henk Stoof and Michael Moortgat. Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications
Masanao Ozawa. Quantum Set Theories Satisfying Both the Transfer Principle and De Morgan's Laws
Nikola Andrejić and Ravi Kunjwal. Joint measurability structures realizable with qubit measurements: incompatibility via marginal surgery
Farid Shahandeh. Contextuality of general probabilistic theories
Robert Booth and Damian Markham. Flow Conditions for Continuous Variable Measurement-based Quantum Computing
Matthew Wilson and Giulio Chiribella. A Diagrammatic Approach to Information Transmission in Generalised Switches
Arianne Meijer - van de Griend and Ross Duncan. Architecture-aware synthesis of phase polynomials for NISQ devices
Hlér Kristjánsson, Sina Salek, Daniel Ebler, Matthew Wilson and Giulio Chiribella. Resource theories of communication with quantum superpositions of processes
Konstantinos Meichanetzidis, Aleks Kissinger and Niel de Beaudrap. Tensor Network Rewriting Strategies for Satisfiability and Counting
Sebastian Horvat and Borivoje Dakić. Interference as an information-theoretic game
Sanjaye Ramgoolam, Mehrnoosh Sadrzadeh and Lewis Sword. Gaussianity and typicality in matrix distributional semantics
Cole Comfort. The ZX& calculus: A complete graphical calculus for classical circuits using spiders
Konstantinos Meichanetzidis, Stefano Gogioso, Nicolò Chiappori, Giovanni De Felice, Alexis Toumi and Bob Coecke. QNLP on Near-Term Quantum Computers
Nicola Pinzani and Stefano Gogioso. Giving Operational Meaning to the Superposition of Causal Orders
Louis Lemonnier, Aleks Kissinger and John van de Wetering. Hypergraph simplification: Linking the path-sum approach to the ZH-calculus
James Hefford and Stefano Gogioso. Hyper-decoherence in Density Hypercubes
Jan Paseka and Thomas Vetterlein. Hilbert spaces reduced to their orthogonality relation
Mehdi Mhalla and Sacha Huriot. Contextuality and Expressivity of Non-locality
Titouan Carette, Simon Perdrix and Dominic Horsman. SZX-calculus: Scalable Graphical Quantum Reasoning
Shiv Akshar Yadavalli and Ravi Kunjwal. Contextual advantage for noisy one-shot classical communication assisted by entanglement
Pierre-Emmanuel Emeriau, Mark Howard and Shane Mansfield. The Torpedo Game: Quantum Advantage, Wigner Negativity, and Sequential Contextuality in a Generalised Random Access Code
Lorenzo Catani and Matthew Leifer. A mathematical framework for operational fine tunings
Robert Rand, Aarthi Sundaram, Kartik Singhal and Brad Lackey. Gottesman Types for Quantum Programs
Kartik Singhal and John Reppy. Quantum Hoare Type Theory
V. Vilasini, Lídia Del Rio and Renato Renner. Causality in definite and indefinite space-times
Ämin Baumeler and Eleftherios Tselentis. Equivalence of grandfather and information antinomy under intervention
Timothée Hoffreumon and Ognyan Oreshkov. The multi-round process matrix
Michal Sedlak and Mario Ziman. Perfect probabilistic storage and retrieval of phase gates