Вот, вроде пишут что CNOT изменяет значение 1-го кубита на основании управляющего. По идее состояние управляющего кубита — не изменяется.

Почему же вот в этой эмуляции — состояние управляющего кубита 0 — тоже изменяется из-за добавления этой операции?

Теоретический ответ я как бы знаю — кубит 0 запутался с кубитом 1, не смотря на то, что управляющим является 0, то измерение 1 — влияет на 0. Но по какому алгоритму это работает?

Код на OpenQASM 2.0:

h q[0];
cx q[0], q[1];
h q[0];

	Схема