Çift teller kuantum devrelerinde ne anlama geliyor ve if ifadeleri ile nasıl ilişkilidir?

Devre

aşağıdaki koda çevrilebilir:

operation Teleport(msg, there) {
    let register = AllocateRegister();
    let here = register;
    H(here);
    CNOT(here, there);
    CNOT(msg, here);
    H(msg);
    // Measure out the entanglement.
    if (M(msg) == One)  { Z(there); }
    if (M(here) == One) { X(there); }
  }
}

İf-ifadeleri nasıl ortaya çıkıyor? Ölçümlerden sonra neden çift hat kullanılıyor?

circuit-construction notation

— R. Chopin
kaynak

Bu örnekte dilin ne olduğunu sorabilir miyim? Q # mı?

— Norrius

Hayır, ama Q # 'ya dayanıyordu. Okuyuculardan Q #-aşinalık talep etmek istemedim, bu yüzden sadece yaygın olarak kullanılan dillerden özellikleri kullanan bu sahte kodu oluşturdum.

— R. Chopin

Çift çizgiler, kuantum devre şemalarında klasik bitler için ortak bir konvansiyon. Bu durumda, kubitlerin msgve here.

Klasik bitleri içeren kontrollü operasyonlar yapılmaktadır sadece operasyonlardır eğer o klasik bit nedir değeri 1, var ne ififadeleri pseudocode içindir.

— Niel de Beaudrap
kaynak