English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Recent completeness results on the ZX-Calculus used a third-party language,namely the ZW-Calculus. As a consequence, these proofs are elegant, but sadlynon-constructive. We address this issue in the following. To do so, we firstdescribe a generic normal form for ZX-diagrams in any fragment that containsClifford+T quantum mechanics. We give sufficient conditions for anaxiomatisation to be complete, and an algorithm to reach the normal form.Finally, we apply these results to the Clifford+T fragment and the generalZX-Calculus -- for which we already know the completeness--, but also for anyfragment of rational angles: we show that the axiomatisation for Clifford+T isalso complete for any fragment of dyadic angles, and that a simple new rule(called cancellation) is necessary and sufficient otherwise.

A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness