Семинар 12. Операциональные теории и онтологические модели

На этой Лекции мы ввели операциональные теории – обощение вероятностных теорий, в которых свойства систем определяются через исследование структуры процедур приготовлений и измерений и вероятностей исходов, а также определили понятие онтологической модели для операциональной теории. Приготовления называются операционально эквивалентными, если вероятности исходов любых измерений равны для этих пригтовлений этих; измерения операционально эквивалентны, если вероятности их результатов совпадают для любых пригтоовлений. Если операционально эквивалентные приготовления соответствуют одинаковым распределениям вероятностей на фазовом пространстве, то онтологическая модель называется неконтекстуальной по приготовлениям (в смысле Spekkens'а); если операционально эквивалентные измерения соответствуют одинаковым разбиениям единицы на фазовом пространстве, то модель неконтекстуальна по измерениям (в смысле Spekkens'а).