Kalkulus Grafis untuk Sirkuit Quantum


10

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:


1
Dengan informasi pengantar, apakah maksud Anda tentang diagram string untuk kategori monoid secara umum?
AHusain

@ Yahusain Setelah diselidiki lebih lanjut, sepertinya begitu (tautan tambahan)
meowzz

Jawaban:


11

Referensi buku teks terbaik saat ini adalah

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.


4

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.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.