2 Search Results for "Ng, Kang Feng"

Document
DOI: 10.4230/LIPIcs.MFCS.2024.20
Simple Qudit ZX and ZH Calculi, via Integrals

Authors: Niel de Beaudrap and Richard D. P. East

Published in: LIPIcs, Volume 306, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)

Abstract
The ZX calculus and ZH calculus use diagrams to denote and compute properties of quantum operations, using "rewrite rules" to transform between diagrams which denote the same operator through a functorial semantic map. Different semantic maps give rise to different rewrite systems, which may prove more convenient for different purposes. Using discrete measures, we describe semantic maps for ZX and ZH diagrams, well-suited to analyse unitary circuits and measurements on qudits of any fixed dimension D > 1 as a single "ZXH-calculus". We demonstrate rewrite rules for the "stabiliser fragment" of the ZX calculus and a "multicharacter fragment" of the ZH calculus.
Cite as

Niel de Beaudrap and Richard D. P. East. Simple Qudit ZX and ZH Calculi, via Integrals. In 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 306, pp. 20:1-20:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{debeaudrap_et_al:LIPIcs.MFCS.2024.20,
  author =	{de Beaudrap, Niel and East, Richard D. P.},
  title =	{{Simple Qudit ZX and ZH Calculi, via Integrals}},
  booktitle =	{49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)},
  pages =	{20:1--20:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-335-5},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{306},
  editor =	{Kr\'{a}lovi\v{c}, Rastislav and Ku\v{c}era, Anton{\'\i}n},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.20},
  URN =		{urn:nbn:de:0030-drops-205761},
  doi =		{10.4230/LIPIcs.MFCS.2024.20},
  annote =	{Keywords: ZX-calculus, ZH-calculus, qudits, string diagrams, discrete integrals}
}
Document
DOI: 10.4230/LIPIcs.FSCD.2018.17
A Diagrammatic Axiomatisation of Fermionic Quantum Circuits

Authors: Amar Hadzihasanovic, Giovanni de Felice, and Kang Feng Ng

Published in: LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)

Abstract
We introduce the fermionic ZW calculus, a string-diagrammatic language for fermionic quantum computing (FQC). After defining a fermionic circuit model, we present the basic components of the calculus, together with their interpretation, and show how the main physical gates of interest in FQC can be represented in the language. We then list our axioms, and derive some additional equations. We prove that the axioms provide a complete equational axiomatisation of the monoidal category whose objects are quantum systems of finitely many local fermionic modes, with operations that preserve or reverse the parity (number of particles mod 2) of states, and the tensor product, corresponding to the composition of two systems, as monoidal product. We achieve this through a procedure that rewrites any diagram in a normal form. We conclude by showing, as an example, how the statistics of a fermionic Mach-Zehnder interferometer can be calculated in the diagrammatic language.
Cite as

Amar Hadzihasanovic, Giovanni de Felice, and Kang Feng Ng. A Diagrammatic Axiomatisation of Fermionic Quantum Circuits. In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 108, pp. 17:1-17:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{hadzihasanovic_et_al:LIPIcs.FSCD.2018.17,
  author =	{Hadzihasanovic, Amar and de Felice, Giovanni and Ng, Kang Feng},
  title =	{{A Diagrammatic Axiomatisation of Fermionic Quantum Circuits}},
  booktitle =	{3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)},
  pages =	{17:1--17:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-077-4},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{108},
  editor =	{Kirchner, H\'{e}l\`{e}ne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.17},
  URN =		{urn:nbn:de:0030-drops-91873},
  doi =		{10.4230/LIPIcs.FSCD.2018.17},
  annote =	{Keywords: Fermionic Quantum Computing, String Diagrams, Categorical Quantum Mechanics}
}
  • Refine by Author
  • 1 East, Richard D. P.
  • 1 Hadzihasanovic, Amar
  • 1 Ng, Kang Feng
  • 1 de Beaudrap, Niel
  • 1 de Felice, Giovanni

  • Refine by Classification
  • 2 Theory of computation → Quantum computation theory

  • Refine by Keyword
  • 1 Categorical Quantum Mechanics
  • 1 Fermionic Quantum Computing
  • 1 String Diagrams
  • 1 ZH-calculus
  • 1 ZX-calculus
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2018
  • 1 2024

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact