digilib@itb.ac.id +62 812 2508 8800

Dewasa ini banyak studi yang mempelajari representasi topologi dari komputasi kuantum. Salah satu representasi diagram dari komputasi kuantum adalah dengan menggunakan ZX-Kalkulus. Pada tesis ini akan dikonstruksi representasi diagram dari skema Kuantum Teleportasi dan Dense Coding. Akan dibuktikan bahwa diagram ZX-Kalkulus dari Entangle State Maksimal memenuhi Persamaan Yang- Baxter. Sebagai akibatnya kita dapat mengkonstruksi suatu representasi Grup Braid dari komputasi kuantum.