Kalkulus Grafis untuk Sirkuit Quantum

Sejauh ini saya telah membaca sedikit tentang zx-calculus & y-calculus .

Dari Komputasi Reversibel :

Kalkulus zx adalah bahasa grafis untuk menggambarkan sistem kuantum.

Zx-calculus adalah teori persamaan, berdasarkan penulisan ulang diagram yang terdiri dari sintaksnya. Menulis ulang dapat diotomatisasi dengan menggunakan perangkat lunak kuantitatif .

Metode ini tampaknya sangat menarik, namun saya tidak dapat menemukan banyak informasi pengantar tentang masalah ini. Setiap wawasan tentang subjek atau sumber daya tambahan akan sangat dihargai.

Sumber Daya Saat Ini:

• Axiomatisation Lengkap dari ZX-Calculus untuk Clifford + T Quantum Mechanics
• ZX-Rules untuk 2-qubit Clifford + T Quantum Circuits
• Y-Calculus: Bahasa untuk Matriks Nyata Berasal dari ZX-Calculus
• Tutorial: Kalkulus Grafis untuk Sirkuit Quantum
• ZH: Kalkulus Grafis Lengkap untuk Komputasi Quantum yang Melibatkan Non-linearitas Klasik
• Jaringan tensor dan kalkulus grafis untuk sistem kuantum terbuka
• Makalah dari Quantomatic
• Survery bahasa grafis untuk kategori monoid (PDF)

Referensi buku teks terbaik saat ini adalah

• Coecke dan Kissinger. Membayangkan Proses Kuantum: Kursus Pertama dalam Teori Quantum dan Penalaran Diagram. Cambridge University Press, 2017.

Ini ditulis oleh salah satu dari dua penemu kalkulus ZX (Bob Coecke), dan salah satu dari orang-orang yang telah berkontribusi paling besar terhadap pengembangan Quantomatic (Aleks Kissinger), dan dengan demikian akan menjadi referensi pengantar yang definitif.

Sekarang ada juga situs web, zxcalculus.com , dengan tutorial, tautan ke sumber daya, dan memperlihatkan alat berbasis Python yang disebut PyZX, yang mungkin bermanfaat bagi Anda. Situs web ini adalah upaya terkoordinasi oleh para pendukung dan pengembang utama teori dan aplikasi kalkulus ZX, yang mana saya adalah satu.

Anda sudah memasukkan survei Selinger, jadi di sini ada beberapa tautan lagi.

Baez and Stay : Baez and Stay adalah artikel survei. Ini mencakup kategori monoid, dikepang, simetris dan belati. Untuk contoh yang terkait dengan fokus perhitungan kuantum pada Hilb atau cobordism. Diagram string yang sesuai untuk ini disertakan bersama dengan bagian untuk jenis kategori tersebut. Ini menunjukkan hubungan antara logika dan teori ketik juga, tetapi Anda tidak perlu bagian-bagian itu. Namun, itu akan sangat membantu. Anda dapat melihat posting blog Baez lainnya juga.

Blog Qiaochu Yuan : Posting blog Qiaochu lebih bersifat pengantar dan singkat. Ini hanya berfokus pada contoh ruang vektor untuk menghindari prasyarat selain aljabar linier. Posting selanjutnya dalam seri itu mencakup kata sifat lain untuk ditambahkan seperti jalinan, simetris atau belati. Lihat nanti di seri itu juga.