MakarovSuites
Русский
EnglishDeutschРусскийУкраїнськаFrançaisEspañolItalianoPolski
Связь и лицензии

Math

Коды исправления ошибок

Внесите X, Z или Y на объёмной плате, прочитайте синдром и раскройте исправление. Сравните остаточный логический оператор и верность входного состояния, затем проверьте точную вероятность серией прогонов.

Коды исправления ошибок — Изображение из программы
Изображение из программы

Что происходит

Внесите X, Z или Y на объёмной плате, прочитайте синдром и раскройте исправление. Сравните остаточный логический оператор и верность входного состояния, затем проверьте точную вероятность серией прогонов.
Один логический кубит, не копии. Вентили и измерения синдрома идеальны. Декодер видит синдром, а не внесённую ошибку.
Щёлкайте по узлу: I → X → Z → Y. Начните с одной X в битовом коде, затем попробуйте Z или две X. Кнопка «Далее» раскрывает синдром и исправление.

Уравнения модуля
Уравнения
физические матрицы Паули: I, X, Z, Y = iXZ (глобальная фаза игнорируется)
битовый код: |0_L> = |000>, |1_L> = |111>; проверки Z0Z1, Z1Z2
фазовый код: |0_L> = |+++>, |1_L> = |--->; проверки X0X1, X1X2
Шор: |0_L> = GHZ+^3, |1_L> = GHZ-^3; GHZ± = (|000> ± |111>)/sqrt(2)
логический успех: остаточный оператор I на всём кодовом пространстве
F_I = 1; F_X = sin²θ cos²φ; F_Z = cos²θ; F_Y = sin²θ sin²φ
без кода: P = 1-p (один тип), (1-p)² (независимые X и Z)
повторение: P_own = 1-3p²+2p³; P_both = P_own (1+(1-2p)³)/2
Shor: f = 3p_x²(1-p_x)+p_x³; o = (1-(1-2p_z)³)/2
P = (1+(1-2f)³)/2 · ((1-o)³+3o(1-o)²)
p_x = p; p_z = 0 или p; идеальное кодирование, измерение синдрома и восстановление

Другие эксперименты

К каталогу
Алгоритм Евклида и цепные дроби — Изображение из программы

Math

Алгоритм Евклида и цепные дроби

На столе из дерева и латуни видно, почему НОД(a,b)=НОД(b,r). Переносите остаток, изучайте точные коэффициенты Безу и цепную дробь, сравнивайте пары и воспроизводимые выборки.

Часы по модулю — Изображение из программы

Math

Часы по модулю

Циферблат из m делений и одна стрелка. Сложение рисует звезду, замыкающуюся за m/НОД(s, m) ходов; умножение — цикл, длина которого делит φ(m). У некоторых модулей первообразных корней нет вовсе, и карточка это говорит: такова теорема, а не неудача поиска.

Решето и плотность простых — Изображение из программы

Math

Решето и плотность простых

Проведите решето руками на пронумерованных плитках: возьмите следующий делитель, предскажите, откуда начнётся его волна, и смотрите, как она вычёркивает кратные — уже вычеркнутые лишь задеваются. Рядом — pi(x) по счёту против приближений x/ln x и Li(x).