{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T17:20:01Z","timestamp":1709400001610},"reference-count":40,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.384.2","type":"journal-article","created":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T06:51:47Z","timestamp":1692773507000},"page":"20-46","source":"Crossref","is-referenced-by-count":2,"title":["Light-Matter Interaction in the ZXW Calculus"],"prefix":"10.4204","volume":"384","author":[{"given":"Giovanni","family":"de Felice","sequence":"first","affiliation":[]},{"given":"Razin A.","family":"Shaikh","sequence":"additional","affiliation":[]},{"given":"Boldizs\u00e1r","family":"Po\u00f3r","sequence":"additional","affiliation":[]},{"given":"Lia","family":"Yeh","sequence":"additional","affiliation":[]},{"given":"Quanlong","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Bob","family":"Coecke","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2023,8,30]]},"reference":[{"key":"aaronsonComputationalComplexityLinear2011","series-title":"STOC '11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/1993636.1993682","article-title":"The Computational Complexity of Linear Optics","volume-title":"Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing","author":"Aaronson","year":"2011"},{"key":"abramskyAlgebrasNonunitalFrobenius2012","first-page":"14","article-title":"H*-Algebras and Nonunital Frobenius Algebras: First Steps in Infinite Dimensional Categorical Quantum Mechanics","author":"Abramsky","year":"2012","journal-title":"AMS Proceedings of Symposia in Applied Mathematics: Mathematical Foundations of Information Flow"},{"issue":"2","key":"azumaQuantumComputationKerrnonlinear2007","doi-asserted-by":"publisher","DOI":"10.1088\/0022-3727\/41\/2\/025102","article-title":"Quantum Computation with Kerr-nonlinear Photonic Crystals","volume":"41","author":"Azuma","year":"2007","journal-title":"Journal of Physics D: Applied Physics"},{"key":"backensThereBackAgain2021","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-03-25-421","article-title":"There and Back Again: A Circuit Extraction Tale","volume":"5","author":"Backens","year":"2021","journal-title":"Quantum"},{"issue":"2","key":"bombinLogicalBlocksFaultTolerant2023","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.4.020303","article-title":"Logical Blocks for Fault-Tolerant Topological Quantum Computation","volume":"4","author":"Bomb\u00edn","year":"2023","journal-title":"PRX Quantum"},{"issue":"1","key":"bonchiInteractingHopfAlgebras2017","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jpaa.2016.06.002","article-title":"Interacting Hopf Algebras","volume":"221","author":"Bonchi","year":"2017","journal-title":"Journal of Pure and Applied Algebra"},{"key":"boothCompleteZXCalculiStabiliser2022","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2022.24","article-title":"Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions","volume-title":"47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)","volume":"241","author":"Booth","year":"2022"},{"issue":"1","key":"calajoNonlinearQuantumLogic2023","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.5.013188","article-title":"Nonlinear Quantum Logic with Colliding Graphene Plasmons","volume":"5","author":"Calaj\u00f3","year":"2023","journal-title":"Physical Review Research"},{"key":"caretteSZXCalculusScalableGraphical2019","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2019.55","article-title":"SZX-Calculus: Scalable Graphical Quantum Reasoning","volume-title":"44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)","volume":"138","author":"Carette","year":"2019"},{"issue":"12","key":"clementsOptimalDesignUniversal2016","doi-asserted-by":"publisher","first-page":"1460","DOI":"10.1364\/OPTICA.3.001460","article-title":"Optimal Design for Universal Multiport Interferometers","volume":"3","author":"Clements","year":"2016","journal-title":"Optica"},{"key":"clementLOvCalculusGraphicalLanguage2022","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2022.35","article-title":"LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits","volume-title":"47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)","volume":"241","author":"Cl\u00e9ment","year":"2022"},{"key":"coeckeInteractingQuantumObservables2008","series-title":"ICALP '08","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","article-title":"Interacting Quantum Observables","volume-title":"Proceedings of the 35th International Colloquium on Automata, Languages and Programming, Part II","author":"Coecke","year":"2008"},{"issue":"4","key":"coeckeInteractingQuantumObservables2011","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016","article-title":"Interacting Quantum Observables: Categorical Algebra and Diagrammatics","volume":"13","author":"Coecke","year":"2011","journal-title":"New Journal of Physics"},{"key":"coeckeQuantumPictures2022","volume-title":"Quantum in Pictures","author":"Coecke","year":"2022"},{"key":"coeckeCompositionalStructureMultipartite2010","series-title":"ICALP'10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-14162-1_25","article-title":"The Compositional Structure of Multipartite Quantum Entanglement","volume-title":"Proceedings of the 37th International Colloquium Conference on Automata, Languages and Programming: Part II","author":"Coecke","year":"2010"},{"key":"coeckePicturingQuantumProcesses2017","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317","volume-title":"Picturing Quantum Processes","author":"Coecke","year":"2017"},{"key":"coeckeGHZWcalculusContains2011","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.4204\/EPTCS.52.4","article-title":"The GHZ\/W-calculus Contains Rational Arithmetic","volume-title":"Proceedings CSR 2010 Workshop on High Productivity Computations","volume":"52","author":"Coecke","year":"2011"},{"key":"cowtanPhaseGadgetSynthesis2019","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.4204\/EPTCS.318.13","article-title":"Phase Gadget Synthesis for Shallow Circuits: 16th International Conference on Quantum Physics and Logic 2019","volume-title":"Proceedings 16th International Conference on Quantum Physics and Logic","volume":"318","author":"Cowtan","year":"2019"},{"key":"duncanGraphtheoreticSimplificationQuantum2020","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-06-04-279","article-title":"Graph-Theoretic Simplification of Quantum Circuits with the ZX-calculus","volume":"4","author":"Duncan","year":"2020","journal-title":"Quantum"},{"key":"duncanRewritingMeasurementBasedQuantum2010","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-14162-1_24","article-title":"Rewriting Measurement-Based Quantum Computations with Generalised Flow","volume-title":"Automata, Languages and Programming","author":"Duncan","year":"2010"},{"issue":"6","key":"durThreeQubitsCan2000","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.62.062314","article-title":"Three Qubits Can Be Entangled in Two Inequivalent Ways","volume":"62","author":"D\u00fcr","year":"2000","journal-title":"Physical Review A"},{"issue":"08","key":"figueroaCombinatorialHopfAlgebras2005","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1142\/S0129055X05002467","article-title":"Combinatorial Hopf Algebras in Quantum Field Theory i","volume":"17","author":"Figueroa","year":"2005","journal-title":"Reviews in Mathematical Physics"},{"key":"gogiosoInfinitedimensionalCategoricalQuantum2016","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"51","DOI":"10.4204\/EPTCS.236.4","article-title":"Infinite-Dimensional Categorical Quantum Mechanics","volume-title":"Proceedings 13th International Conference on Quantum Physics and Logic","volume":"236","author":"Gogioso","year":"2016"},{"key":"gogiosoQuantumFieldTheory2018","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.4204\/EPTCS.266.22","article-title":"Towards Quantum Field Theory in Categorical Quantum Mechanics","volume-title":"Proceedings 14th International Conference on Quantum Physics and Logic","volume":"266","author":"Gogioso","year":"2018"},{"key":"gogiosoQuantumFieldTheory2019","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.4204\/EPTCS.287.9","article-title":"Quantum Field Theory in Categorical Quantum Mechanics","volume-title":"Proceedings of the 15th International Conference on Quantum Physics and Logic","volume":"287","author":"Gogioso","year":"2019"},{"issue":"5","key":"guoParametricDownconversionPhotonpair2017","doi-asserted-by":"publisher","DOI":"10.1038\/lsa.2016.249","article-title":"Parametric Down-Conversion Photon-Pair Source on a Nanophotonic Chip","volume":"6","author":"Guo","year":"2017","journal-title":"Light: Science & Applications"},{"key":"hadzihasanovicDiagrammaticAxiomatisationQubit2015","series-title":"LICS '15","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/LICS.2015.59","article-title":"A Diagrammatic Axiomatisation for Qubit Entanglement","volume-title":"Proceedings of the 2015 30th Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"Hadzihasanovic","year":"2015"},{"key":"hadzihasanovicAlgebraEntanglementGeometry2017","volume-title":"The Algebra of Entanglement and the Geometry of Composition","author":"Hadzihasanovic","year":"2017"},{"key":"hadzihasanovicTwoCompleteAxiomatisations2018","series-title":"LICS '18","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1145\/3209108.3209128","article-title":"Two Complete Axiomatisations of Pure-State Qubit Quantum Computing","volume-title":"Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"Hadzihasanovic","year":"2018"},{"key":"jeandelDiagrammaticReasoningClifford2018","series-title":"LICS '18","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/3209108.3209139","article-title":"Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics","volume-title":"Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"Jeandel","year":"2018"},{"issue":"2","key":"kissingerReducingNumberNonClifford2020","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.102.022406","article-title":"Reducing the Number of Non-Clifford Gates in Quantum Circuits","volume":"102","author":"Kissinger","year":"2020","journal-title":"Physical Review A"},{"key":"kissingerClassicalSimulationQuantum2022","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.TQC.2022.5","article-title":"Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions","volume-title":"17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022)","volume":"232","author":"Kissinger","year":"2022"},{"key":"ngDiagrammaticCalculusFermionic2019","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-15(3:26)2019","article-title":"A Diagrammatic Calculus of Fermionic Quantum Circuits","volume":"Volume 15, Issue 3","author":"Ng","year":"2019","journal-title":"Logical Methods in Computer Science"},{"key":"poorCompletenessArbitraryFinite2023","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS56636.2023.10175672","article-title":"Completeness for Arbitrary Finite Dimensions of ZXW-calculus, a Unifying Calculus","volume-title":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Po\u00f3r","year":"2023"},{"issue":"1","key":"reckExperimentalRealizationAny1994","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1103\/PhysRevLett.73.58","article-title":"Experimental Realization of Any Discrete Unitary Operator","volume":"73","author":"Reck","year":"1994","journal-title":"Physical Review Letters"},{"issue":"1","key":"sivarajahTKetRetargetableCompiler2020","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92","article-title":"tket: A Retargetable Compiler for NISQ Devices","volume":"6","author":"Sivarajah","year":"2020","journal-title":"Quantum Science and Technology"},{"key":"toumiDiagrammaticDifferentiationQuantum2021","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.4204\/EPTCS.343.7","article-title":"Diagrammatic Differentiation for Quantum Machine Learning","volume-title":"Proceedings 18th International Conference on Quantum Physics and Logic","volume":"343","author":"Toumi","year":"2021"},{"issue":"1","key":"trivediGenerationNonClassicalLight2020","doi-asserted-by":"publisher","DOI":"10.1002\/qute.201900007","article-title":"Generation of Non-Classical Light Using Semiconductor Quantum Dots","volume":"3","author":"Trivedi","year":"2020","journal-title":"Advanced Quantum Technologies"},{"issue":"12","key":"vicaryCategoricalFrameworkQuantum2008","doi-asserted-by":"publisher","first-page":"3408","DOI":"10.1007\/s10773-008-9772-4","article-title":"A Categorical Framework for the Quantum Harmonic Oscillator","volume":"47","author":"Vicary","year":"2008","journal-title":"International Journal of Theoretical Physics"},{"issue":"5","key":"weinPhotonnumberEntanglementGenerated2022","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1038\/s41566-022-00979-z","article-title":"Photon-Number Entanglement Generated by Sequential Excitation of a Two-Level Atom","volume":"16","author":"Wein","year":"2022","journal-title":"Nature Photonics"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:38:24Z","timestamp":1693813104000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2306.02114v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":40,"URL":"https:\/\/doi.org\/10.4204\/eptcs.384.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,30]]}}}