Правила квантовой игры под вопросом? Опции

[Sci-lib]

Правила квантовой игры под вопросом?

В своей последней опубликованной работе совместная научная группа из Канады и Италии задалась вопросом, а может ли квантовая теория являться следствием каких-то более общих принципов? Ученые показали, что, сделав 6 фундаментальных предположений о механизме обработки ...

Читать подробнее

[jhanjaa]

д'Ариано и К" постоянно ссылаются в своей статье на предыдущую работу - ссылка
Кстати, они используют в своем формализме теорию категорий. Дополнительные материалы по использованию ТК в квантовой физике можно найти здесь
Еще статьи из библиографии этих авторов по теории категорий для физиков (и по использованному в статье формализму) - см. присоединенные файлы.

Сообщение отредактировал jhanjaa - 8.08.2011, 21:53

Прикрепленные файлы

 Coecke__Cats_for_Phys.pdf ( 277.24 килобайт ) Кол-во скачиваний: 1410
 Selinger_graphical.pdf ( 648.45 килобайт ) Кол-во скачиваний: 1574

 

[jhanjaa]

д'Ариано и К" постоянно ссылаются в своей статье на предыдущую работу - ссылка
Кстати, они используют в своем формализме теорию категорий. Дополнительные материалы по использованию ТК в квантовой физике можно найти здесь
Еще статьи из библиографии этих авторов по теории категорий для физиков (и по использованному в статье формализму) - см. присоединенные файлы.

Вот еще работа по моноидальным категориям с уклоном для линейных логиков. Но очень хорошо объясняются обычно сложные вопросы типа присоединенных функторов, много примеров, что очень важно и рассмотрена геометрия взаимодействий, которая ни у Кока, ни у Селингера не расписана. Кстати становится понятен параграф у Кока пунктиром посвященный логике в таких категориях.

Прикрепленные файлы

 Category_Theory_for_Linear_Logicians.pdf ( 414.72 килобайт ) Кол-во скачиваний: 925