Що означають подвійні дроти в квантових схемах і як вони відносяться до висловлювань?

Схема

можна перекласти в наступний код:

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); }
  }
}

Як виникають if-заяви? Чому після вимірювань застосовуються дворядкові лінії?

circuit-construction notation

— Р. Шопен
джерело

Чи можу я запитати, яка мова в цьому прикладі? Це Q #?

— Норріус

Ні, але він базувався на Q #. Я не хотів вимагати Q # -відповідання від читачів, тому створив цей псевдо-код, який використовує лише функції з широко використовуваних мов.

— Р. Шопен

Подвійні лінії є однією загальною умовою для класичних бітів на квантових схемах. У цьому випадку вони представляють біти, що виникають в результаті вимірювань кубітів msgі here.

Керовані операції, що включають класичні біти, - це просто операції, які виконуються, якщо ці класичні біти мають значення 1, для чого і є ifтвердження в псевдокоді.

— Ніль де Бодорап
джерело