Все верно. Дело в том, что авторы этих работ (с одним я неплохо знаком, и даже написал с ним в соавторстве статью) были мотивированы желанием вывести, пользуясь выражением Уилера, "it from bit".Отсюда и первичность кубитов, и отсутствие каких-либо намеков на бесконечномерные системы. Более того, все процессы протекают в дискретном времени, что мотивировано желанием авторов аксиоматизировать квантовую механику с точки зрения вычислительных процессов.
Далее, тесты это так называемые супероператоры (вполне положительные линейные преобразования алгебры наблюдаемых, сохраняющие единичный элемент). В общем случае, это эндоморфизмы, но особого вида: каждый такой эндоморфизм можно записать как условное ожидание определенного класса изоморфизмов на соответствующим образом расширенной системе (теорема Стайнспринга).
Кстати, я как раз сейчас читаю Вашу работу, чрезвычайно интересно, хоть я и не занимаюсь квантами уже лет восемь.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
(no subject)
Date: 2013-04-10 06:23 pm (UTC)Далее, тесты это так называемые супероператоры (вполне положительные линейные преобразования алгебры наблюдаемых, сохраняющие единичный элемент). В общем случае, это эндоморфизмы, но особого вида: каждый такой эндоморфизм можно записать как условное ожидание определенного класса изоморфизмов на соответствующим образом расширенной системе (теорема Стайнспринга).
Кстати, я как раз сейчас читаю Вашу работу, чрезвычайно интересно, хоть я и не занимаюсь квантами уже лет восемь.
(no subject)
Date: 2013-04-11 01:18 am (UTC)Кстати, я обновил версию препринта на архиве, кое-что добавил.