Питання.
У своїй роботі « Покращене моделювання ланцюгів стабілізатора» Ааронсон та Готтсман стверджують, що моделювання ланцюга CNOT є ⊕L-незавершеним (при скороченні простору журналу). Зрозуміло, що він міститься в ⊕L ; як тримається результат твердості?
Еквівалентно: чи існує скорочення простору журналу від ітераційних матричних продуктів за модулем 2, до ітераційних добутків елементарних матриць (обернених матриць, які реалізують перетворення рядків) mod 2?
Деталі
Контрольована НЕ (або CNOT ) операція є оборотною булева операції, форм дезмінюєтьсятількиj- й біт, і цей біт змінюється додаванням x h модуля 2, для будь-яких різних позиційhіj. Це не важко помітити, якщо інтерпретувати x = ( x 1
Згаданий вище документ Ааронсона та Готтсмана (який, до речі, стосується цього питання, стосується класу квантових схем, які можна імітувати в ⊕L ), має розділ про обчислювальну складність. На початку цього розділу вони описують ⊕L так:
⊕L [є] класом усіх проблем, вирішених недетермінованим логарифмічним простором машиною Тюрінга, який приймає тоді і лише тоді, коли загальна кількість приймаючих шляхів непарна. Але існує альтернативне визначення, яке, мабуть, є більш інтуїтивним для некомпетентних вчених. Це так, що ⊕L - це клас проблем, що зводиться до імітації ланцюга CNOT поліноміального розміру, тобто ланцюга, що складається повністю з воріт NOT та CNOT, що діють на початковий стан | 0 ... 0⟩. (Неважко показати, що два визначення є рівнозначними, але для цього нам потрібно буде пояснити, що означає звичайне визначення!)
Цільова аудиторія статті включала значну кількість науковців, які не є комп’ютерами, тому бажання ухилитися не є необґрунтованим; Я сподіваюся, що хтось зможе уточнити, як тримається ця еквівалентність
Зрозуміло, що моделювання добутку таких матриць може виконуватися в inL як особливий випадок оцінки коефіцієнтів ітераційних матричних добутків (мод 2), що є повною проблемою (за скороченням простору журналу) для ⊕L . Крім того, оскільки матриці CNOT просто виконують елементарні операції рядків, будь-яка обернена матриця може бути розкладена як добуток матриць CNOT. Однак: не зрозуміло, як мені розкласти навіть неперевернуту матрицю mod 2 на добуток матриць CNOT шляхом зменшення простору журналу . (Дійсно, як зазначає Еміль Єржабек у коментарях, елімінації Гаусса достатньо для обчислення визначників mod 2, що є problemL -повною проблемою: настільки пряма атака шляхом розкладання напр. обернені матриці як добутки елементарних матриць, здається, неможливо здійснити в просторі журналів, якщо L = ⊕L . Тож, здається, потрібно дещо розумніше зменшити.
Я сподіваюся, що хтось може навести ескіз цього скорочення чи посилання ( наприклад, текст, для якого це вправа, якщо це просто).