Вопросы по квантовым каналам, их моделирование и применение


Начало взято отсюда[link1].

Я ненадёжный товарищ, могу притянуть к тематике сайта почти любой оффтопик :)

Классическая теория информации



Можно сказать, что в общих чертах это верно, и с тех пор ничего не изменилось. Может быть, там не очень понятно написано, но задача в целом предельно ясная. Если у Алисы и Боба есть наборы битов, с какими-то распределениями (у Алисы случайная величина X, у Боба — Y), то считается, что информация, доступная им обоим, вычисляется как взаимная информация[link2] между X и Y. Также, взаимная информация — идеальная мера наличия корреляций между ними. Соответственно, если не канале сидит Ева и имеет свою случайную величину Z, то доступная ей информация Алисы, опять же, вычисляется, как взаимная информация между Евой и Алисой (аналогично для случая Алисы и Боба). Если речь идёт не о дискретных распределениях, а о непрерывных, концептуально ничего в этих определениях не меняется. На практике при работе с непрерывными переменными делают какую-то там дискретизацию, а теория рассматривает идеальную модель. Если посмотреть, как формально определяют анонимность[link3], то там опять же будет использоваться взаимная информация (для простоты иногда назвают энтропией):

энтропия описывает информацию (измеренную в битах), содержащуюся в вероятностном распределении, которое описывает связь между множеством субъектов (анонимным множеством) и элементами интересов. В [172] энтропию предлагается рассматривать как меру эффективности размера множества анонимности. Если энтропия нормализована по максимуму, который может обеспечить система (если она совершенна и не даёт утечки информации) для заданного числа пользователей, мы получаем степень анонимности [57], которая даёт меру производительности предоставляемой анонимности.

Вот, мы имеем такую фундаментальную величину — взаимную информацию. Это понятие родом из давно известной классической теории информации. Если Алиса передаёт информацию Бобу по какому-то каналу, то, находя максимально достижимую взаимную информацию между ними (что, естественно, требует задать правила кодирования информации и её извлечения), мы получим пропускную способность классического канала. В английском её называют «capacity», потому слово-паразит «ёмкость канала» стало употребляться наряду с правильным исходным термином «пропускная способность». Шеннон доказал теоремы кодирования, после чего понятие пропускной способности приобрело математическую основу, а не спекулятивную. Конечно, с идеальными каналами всё просто, а вот задача вычислить пропускную способность для канала с шумом, где Боб получает не совсем то, что шлёт Алиса, довольно трудная. В классической теории информации до сих пор решают такие задачи, до сих пор есть куча классических каналов, для которых пропускные способности неизвестны (я плохо представляю теории информацию (ТИ) в целом, классическую ТИ по книгам никогда не изучал, знания обрывочны, но вроде бы я верно передаю суть проблемы). Классические каналы активно используются для передачи информации в куче реальных приборов, потому задача вычисления пропускной способности нужная и вполне инженерная.

Квантовая теория информации


Если же предположить, что у Алисы и Боба не случайные величины с какими-то битами или непрерывные классические распределения, но квантовые состояния, в которые закодирована какая-то информация, то, опять же, можно поставить вопрос: чему равна та информация, которая есть у них обоих одновременно, если квантовые состояния разные? Тут теорема кодирования Шеннона не работает, и требуется ввести её квантовый аналог. Этим аналогом является теорема кодирования Холево[link4]3, где роль взаимной информации играет так называемая «граница (bound) Холево» или «информация Холево». Конечно, в обычной речи никто не произносит эти длинные определения, потому на сленге это звучит как «надо сосчитать/найти/вычислить/оценить Холево». Ну, все так говорят, не только русские. В полной аналогии с классической теорией информации пропускная способность квантового канала задаётся максимумом Холево :) А если у нас сидит на канале Ева и снифает, надо оценить Холево между Евой и Алисой, или между Евой и Бобом, что даёт так называемую «private capacity».

Важный момент состоит в том, что граница Холево — теоретический предел. Как его достичь для конкретного типа канала — совершенно не ясно, потому делают следующее: задаются каким-то типом/методом кодирования информации и типом измерения квантовых состояний, извлекающим информацию. Соответственно, взаимная информация (в вполне классическом смысле) между закодированной и измеренной (классической) переменной задаёт (удачного русского термина не знаю) так называемый «rate» — пропускную способность канала при определённых предположениях на метод кодирования и извлечения. Например, для случая непрерывных переменных можно измерять либо магнитную составляющую фотона, либо электрическую, либо обе их вместе, но с ограничениями на точность (в смысле POVM)4, причём и то и то сравнительно легко реализуется на эксперименте. Совместное измерение называется «гетеродинным», а измерение какой-то одной компоненты (она называется «квадратурой поля») — «гомодинным». Применяя эти методы измерения на стороне Боба, можно найти, к примеру, гетеродинный и гомодинный «рейты».

А если бы были дискретные переменные, то всё то же можно аналогично применить к поляризации или спину квантовых частиц. Поскольку статистика, которой подчиняются фотоны, бозонная, каналы называют бозонными. Ещё есть фермионные каналы, но они вызывают куда меньше интереса, т.к. это уже не фотоны на технологичном оптоволокне, а какие-нибудь, думаю, спины ядер, частицы в ловушках и т.д. — может быть, для квантовых «шлейфов» в потенциальном квантовом компьютере на подобной элементной базе это как-то релевантно, не изучал.

До сего момента речь шла о так называемой «классической информации»: хоть для классического, хоть для квантового канала, т.е. о числе классических бит, общих между общающимися сторонами. Но Алиса может пересылать Бобу не биты, а сами состояния квантовых частиц — «телепортировать» их: уничтожать у себя, воскрешая на стороне Боба. Здесь, опять же, нет ничего сложного: есть стандартная схема квантовой телепортации, требующая дополнительный классический канал, по которому Алиса сообщит т состояние, которое было у Алисы изначально. По аналогии такой тип информации называют «квантовым», а то, сколько квантовых состояний Алиса успевает телепортировать Бобу, определяет «квантовую пропускную способность квантового канала» («quantum capacity»). Последняя выражается через так называемую «когерентную информацию[link5]».

Квантовое распределение ключа


Теперь о грустном: несмотря на то, что классическая пропускная способность квантового канала — некая фундаментальная величина, интересная с точки зрения абстрактной математики, с практической точки зрения она сейчас никому не интересна и не имеет никаких непосредственных приложений, даже в рамках QKD. Просто сама идея пересылать с квантовыми состояниями информацию может работать, только, раз она сама по себе не обеспечивает никакой ни безопасности, ни высокой пропускной способности, она остаётся никому не нужной.

QKD — очень сложный протокол, но с точки зрения пропускной способности он наоборот очень прост. Для начала, каждый QKD протокол подразумевает фиксированный набор сигнальных состояний (выбор определённых поляризаций или определённых гауссовых состояний), а секретность строится на том, что Ева не знает когда какое из сигнальных состояний Алиса посылает Бобу (но знает каков класс этих состояний, т.е. во что кодируется информация). Поскольку класс используемых в протоколе состояний очень ограниченный, нет смысла говорить о пропускной способности — достаточно посчитать рейты. И даже считая рейты, оказывается, что не надо их оптимизировать по всевозможным сигнальным состояниям и кодированиям — достаточно подставить фиксированные состояния в известную формулу (других в протоколе нет) и потом получить скорость выбработки ключа. Вот собственно поэтому ни максимально передаваемая информация в смысле рейтов, ни классическая пропускная способность не оказываются интересными (а это именно то, что я вычислял). Что интересно, в задаче о QKD трудных оптимизационных проблем такого рода не возникает вообще, в отличие от задачи вычисления пропускной способности. Есть мысли, что, может быть, где-то как-то можно придумать схему более эффективной атаки Евы, что-то сделать новое относительно известного в QKD, как-то применить к QKD наши результаты, но пока успеха нет. Конечно, при подаче всяких грантов наша тема активно пиарится, как имеющая самое непосредственное отношение к QKD, которое «уже есть и работает», и является самой близкой к нам задачей из всех, интересных индустрии, только вот реальность несколько сложнее :(

Есть и другие мысли: допустим, нас интересует не защищённая передача информации, а надёжная. Тогда, пользуясь предварительно распределёнными между Алисой и Бобом запутанными ЭПР-парами частиц и имея обычный классический канал передачи между Алисой и Бобом, можно попытаться сделать передачу информации более помехоустойчивой, чем просто по одному классическому каналу, как это делается в классической теории информации. Но разработать такой протокол и доказать, что он действительно даёт профит — не просто. В общем, если бы что-то такое получилось, здесь, вероятно, наши наработки нашли бы применение. И безопасность с криптографией оказались бы тут ни при чём :)

Квантовые каналы


Теперь немного возвращаясь к статье: в гауссовых каналах передаются гауссовы функции/распределения. На плоскости квадратур
( q, p ) это такие поверхности-шапочки. Сечение такой шапочки параллельно плоскости квадратур даст эллипс. То, насколько далёк центр эллипса от начала координат, определяет комплексное число α, иногда называемое «амплиудой когерентного состояния» |α〉. Когда гауссово состояние проходит через канал, исходных эллипс Алисы как-то искажается, но остаётся эллипсом. При прохождении через «lossy-канал» (канал с затуханием амплитуды?) происходит уменьшение параметра α, что соответствует потери энергии. При этом центр как посылаемого эллипса, так и полученного Бобом, лежат на одной прямой, проходящей через начало координат. Величину уменьшения амплитуды модулируют проницаемостью η ∈ [0,1].

Модель lossy-канала такова: имеется светоделитель (стеклянная призма), на одну грань посылает луч Алиса, на другую — Ева. Их лучи (квантовые состояния) взаимодействуют, а на выходе получается то, что имеет Боб. Такой системой моделируют передачу сигнала по волокну (проницаемость η связан с длиной оптоволокна). В QKD в непрерывных переменных взаимодействие Евы с системой тоже описывают через lossy-канал. У эллипса Евы есть есть эксцентриситет (степень асимметрии) — его обозначают через s и называют степенью сжатия («squeezing») в середе канала (Ева — это и есть среда). А то, насколько широк эллипс по обоим своим главным осям (добавка к величие обеих осей) определяют «тепловые фотоны» Nenv (тут должен быть EuScript-шрифт LaTeX'а для N). Энергию же на входе в канал обозначают как N.

По классификации Холево есть, кажется, 6(?) канонических типов гауссовых квантовых каналов, но в качестве релевантных эксперименту моделей удобно выделить следуюшие три типа: помимо lossy есть «additive noise»-канал (канал с аддитивным классическим шумом), который просто увеличивает параметр Nenv; и «amplification channel» — такой же как lossy, но вместо уменьшения увеличивает α (η > 1), при этом неминуемо растут и тепловые фотоны. Операция, позволяющая увеличить α при как можно меньшем увеличении тепловых фотонов, называется бесшумным усилителем («noiseless amplifier»). Предполагается, что новые протоколы QKD в непрерывных переменных с использованием «бесшумного усилителя» позволят увеличить дистанцию передачи информации (у нас эту тему разрабатывают).

Пропускная способность гауссова lossy-канала математически оказывается функций 4ёх переменных: C = C(s,η,N,Nenv). На то, чтобы аналитически и численно исследовать эту функцию (она — результат оптимизации, зависит от решения трансцендентного уравнения, т.е. очень неявная), расклассифицировать все случаи, найти характерные критические и «суперкритические» параметры и ушли последние годы. Как видите, всё просто, всё можно объяснить на пальцах. Что касается зависимости от параметров, то тоже всё просто: при росте входной энергии только увеличивается пропускная способность, т.к. это — увеличение отношения сигнала к шуму (что вполне физично). На самом деле, C(N) монотонно растёт и выпукло вверх. Аналогично, чем выше проницаемость, тем большая доля сигнала Алисы доходит до Боба, потому C(η) тоже растёт. Телоповой шум в среде (Nenv) — это именно что шум в его классичнском понимании, он делает передачу информации только хуже, потому C(Nenv) только убывает (реально убывает монотонно и выпукло вниз). И остаётся только один параметр — сжатие s, характеризующее асимметрию между квадратурами в среде. Вот с ним беда: C(s) может иметь локальный максимум, или локальный максимум и минимум, или быть монотонной. Между всеми этими режимами есть переходы, вот я их и оценивал/классифицировал.

Из-за этой немонотонности в многомодовом канале сразу же появляется неаддитивность по среде: раз C(s) имеет максимум, то при фиксированной энергии на все моды канала иногда нужно куда-то загнать излишнюю энергию. Из-за этого возникает «мусорная мода», а оптимальное распределение энергии в среде по модам иногда становится неоднородным. Сейчас стоит задача: найти[link6], когда распределение однородно, а когда нет (получить, что возможно, аналитически).

Смежные задачи


Есть ещё такое пальцевое соображение: поскольку Ева не знает, когда какое сигнальное состояние посылается, ей оптимально воздействовать одинаково на каждый посыл (было бы интересным это доказать строго, вроде бы это пока открытый вопрос). В итоге её действие приводит к вполне себе классическому шуму (увеличению тепловых фотонов5 в выходном состоянии). В то же время, если в среде канала тепловые фотоны есть, это представляется (может и не верно) как большее присутствие Евы. Потому задача нахождения оптимального распределения энергии по модам (т.е. по разным использованиям) канала при фиксированной общей энергии на среду (Еву) ассоциируется с чем-то наподобие оптимальной защиты от Евы. Какие-то такие сумбурные недоделанные мысли.


Вижу, что тренд постить в /forum/kriptografija[link7] топики «помогите решить задачу плииз» стал последнее время очень модным :) потому я решил не отставать[link6] от общества. Извините.

Интересно отметить, что, прийдя на этот сайт 6 лет назад, я был убеждён, что крипто останется в рамках хобби и развлечений. А теперь информация, почерпнутая отсюда, внезапно оказывается очень полезной и во вполне научных проектах: обоснование их стало более лучше проще писать pgpu.com помогают очень хорошо, т.к. знаешь, что бы хотели услышать классические криптографы :)

Есть также замечание по поводу «задачи о доказуемо уничтожимой информации[link8]» (не знаю, как правильнее назвать). Её можно решать не распределением секрета и оценкой границ на ресурсы атакующего (типа как Tor решает задачу анонимности), а отдельным «токеном». Правда, в классической физике такой невскрываемый токен не создать, а вот в квантовой физике можно — надо только держать информацию закодированной в квантовые состояния частиц, где правильным паролем на извлечение пассфразы из токена будет что-то типа базиса, в котором нужно померить частицы. Соответственно, любой другой пароль необратимо разрушит состояние, а потому и информацию в нём. Можно показать, что такая задача эквивалентна созданию квантовых банкнот, с которых начинало свою историю QKD. В практическом смысле это всё пока фантастика — масимальное время декогеренции квантовых состояний, даже в совершенно непрактичных приборах, достигает времени максимум несколько минут. Однако, это не мешает придумать какой-нибудь инетерсный протокол под такую задачу, обосновать его, запостить пост сначала куда-нить в журнал, а потом сюда в форум. В общем, беда в том, что по банкнотам нечего исследовать — там всё и так понятно, всё упирается в эксперимент. unknown, у вас есть какие-нибудь идеи? Надо бы найти время изложить, почему это сводится к задаче о банкнотах...

Разный оффтопик



Ага, вижу[link9]. Странно только, что в базе ISI (apps.webofknowledge.com — доступно только при подписке) её почему-то нет. У нас в теме что-то аналогичное тоже есть: Беннет и Шор, «Quantum information theory[link10]» (жаль, нигде не смог найти её в свободном доступе). Последнее время редакторами секций квантовой теории информации там были Андреас Винтер, потом Патрик Хайден и сейчас Александр Холево. Поглядел на их статистику: у Винтера там 17 работ, процитированных, соответственно, 0, 1, 4, 19, 8, 9, 11, 8, 4, 12, 20, 54, 29, 5, 36, 18 и 65 раз. У Хайдена (он курировал нашу работу) — 6 статей, процитированных 0, 3, 13, 4, 12 и 54 раз (как правило 0 означает «только что опубликованные»). У Холево там 2 работы: одна процитирована 8 (конференционная статья), а другая 372 раза. У Беннета 6 работ, процитированных 54, 44, 120, 193, 117 и 435 раз. У Питера Шора — 8, процитированных 0, 1, 11, 54, 120, 193, 348 и 11 раз. Его статья по решению задачи факторизации «Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer» опубликована в другом журнале и процитирована 1279 раз. Работа Эль Гамаля «A public key cryptosystem and a signature scheme based on discrete logarithms[link11]» (1985) — опубликована там же, в IEEE Tr. Inf. Theor., и процитирована 1492 раза. Текущий Publishing editor журнала имеет в нём всего 4 статьи.

Для сравнения: один из самых сильных[link12] результатов в нашей области (Хастингс, 2009 год, Nature Physics) — контрпример, показывающий, что отсутствие памяти в квантовом канале не влечёт за собой его аддитивность — был процитирован 71 раз. Впрочем, все продолжают верить, что в неизвращённых каналах, типа гауссовских, аддитивность (по входной энергии) всё же соблюдается, хотя сей факт не доказан даже в предположении, что гауссовы состояния оптимальны для гауссова квантового канала6. Кстати, эта оптимальность — одна из «hard problem», над которой уже много лет бьётся куча коллективов по всему миру. У нас показали эквивалентность[link13] этой задачи некоторой другой. Ранее были ошибочные доказательства[link14]7, даже от вполне крупных деятелей.


Наверное, эту[link15] (Phys Rev A, 2008). После неё ещё была другая[link16] (New J. Phys., 2009), куда меня, я считаю, тупо вписали, т.к. непосредственно моих результатов там нет, но я всё же оказывал существенную консультационную поддержку и задал направление «куда копать». Там глубже исследовалось то, что было найдено (практически случайно) в первой работе. По ISI PRA-статья процитирована 12 раз, NJP — 8. Самоцитирования в ISI по умолчанию учитываются, а автоматически исключить так называемые «ring citations» вообще нет возможности. NJP (английское издательство, не американское) — интересный подход к науке: на бумаге не печатается (только в интернете); импакт-фактор выше, чем у PRA; публикации платны (около тысячи евро за статью — естественно, отбиваются за счёт грантов), но свободны для скачивания[link17] всеми.


Кстати, не знал, что автор keccak на марше, первым соавтором :) «Reconciliation of a quantum-distributed Gaussian key[link18]» (arXiv[link19], 35 цитирований по ISI).


В IEEE Tr. Inf. Theor. та же ситуация. Быстрее, чем за 2 года, как правило, опубликоваться там не получается, а для современной науки это длительный срок (в PRA в норме уходит не более полугода, обычно меньше, год — это уже очень долго считается). У нас вообще 3 года ушло, из которых год редактор ждал рецензии от оппонентов (по их правилам крайний срок — 4 месяца), потом полтора года мы тянули с ответом оппонентам, тщательно перерабатывая статью и увеличивая её с 8ми до 39 страниц. На новый год получили подарочное сообщение о принятии (я так понял, посмотрев на весь этот ужас, редактор решил от оппонентов ответа не ждать, а просто согласиться), и вот ещё пол года она будет стоять в списке очереди на публикацию. Понятно, что из-за таких задержек рисковать стоит, только если есть существенная уверенность в том, что статья будет принята. Холево, текущий редактор IEEE Tr. Inf. Theor., говорит, что вообще не понятно, что делать: рецензентам посылаешь статью, а они не отвечают, и никаких средств давления/принуждения нет, поскольку оппонирование статьи — добровольный и неоплачиваемый процесс, даже в таких журналах.

В плане других журналов всё тоже не очень: PRA — рядовой, для средних результатов, процент трэша там неимоверно велик, а народ жалуется (в том числе из других областей), что уровень реферирования там сильно пал. Некоторые шустрые деятели способны выдавать пустые статьи в PRA буквально ежемесячно. NJP лишь немного получше, но имеет те же проблемы, и он платный. PRL (Physical Review Letters) пока всем хорош, кроме одного: там жёсткое ограничение в 4 страницы, и большинство результатов на них даже сжато не изложить — у меня один ввод системы обозначений и переменных 4 страницы занял :( Rev Mod Phys — только для ревью, а не для оригинальных результатов, а так всем хорош. В журналы типа J. of Phys. A и Theor. Mat. Phys. слать можно, но аудитория там не сравнимая с PRA, да и импакт-факторы у них не очень. Всякие совсем профильные журналы, типа J. of. Quant. Inf., имеют вообще низкий фактор, и на них в университетах часто не оформлена подписка (на Physical Review, для сравнения, подписаны почти все), хотя при существовании arXiv'а это уже не проблема. Есть, конечно, и совсем крутые журналы, типа Nature Physics, но для обычных смертных это вообще за гранью достижимого, особенно по теории там опубликоваться (хотя есть прецеденты, когда публикуют там даже результаты своих PhD). Единственный результат в нашей узкой области, наверное, который туда удалось бы пропихнуть — доказательство «Gaussian conjecture», про которое выше написал. Вот так и получается: жуналов много, а опубликоваться негде (журналы либо слишком хорошие для рядовых статей, либо ниже порога отсечения шлака). Если вокруг сидят куча Эль Нашей со статьями, живущими по r-стратегии[link20], а ты живёшь по k-стратегии[link21], конкурировать трудно: обойдут по всем показателям. Ну не писать же в журнал «не публикуйте фигню от таких-то людей», в конце концов. За счёт тонкой границы между тем, что является якобы существенной новизной и ранее известными вещами можно массово пропихивать пустые статьи, а низкий уровень оппонирования, который в частности объясняется дифференциацией и разрастанием науки, этому только способствует.

Конференции тоже катятся вниз: появилось такое понятие, как «junk conferences[link22]». И если журналы хоть как-то прижучить можно, то с конференций вообще спрос никакой — это просто бизнес, где обычные участники платят fee, с которых оплачивается карман организаторов и приезд так называемых «приглашённых докладчиков». Чтобы послушать последних, обычные участники платят деньги подобно тому, как они их платят артистам в цирке/театре за посещение концерта — разницы абсолютно никакой. Организаторы конференций при этом наглеют, «приглашают самих себя и своих друзей», устраивают междусобойчики, в одно рыло раздают несколько докладов. Даже если доклад сделан чьим-то подчинённым, то приглашают выступить его номинального руководителя, а не исполнителя. Более того, приглашая громкие фамилии, даже не интересуются, есть ли им что рассказать. Громкие фамилии потом приезжают и рассказывают, что под их крышей было сделано, часто слабо осознавая что же там на самом-то деле делалось. Получаем порочный круг: громкие фамилии приглашают, потому что они рассказывают умные, но чужие по сути, вещи, а рассказывают они их потому, что их приглашают. И некому разомкнуть этот порочный круг. У обываетелй же со стороны при этом создаётся ложное впечатление о том, что 99% науки делает 1% людей. Аргумент же о том, что у каждого только 24 часа в сутках не вразумляет: будь ты хоть нобелевский лауреат, но физически невозможно вести более, чем 2-3 работы параллельно. И потому если у тебя 300 работ, значит на тебя работают рабы и ты мошенник, в лучшем случае, а в худшем — ты просто массово публикуешь шлак. Самостоятельно невозможно по физике в год сделать более, чем 2-3 хороших работы. Грубый лимит при самой идеальнейшей продуктивности получился бы равным 140 статей за всю жизнь (реально он намного ниже), а хороших основополагающих статей хорошо, если удастся сделать штуки 3 за всю жизнь.

Есть ещё такая мысль: наука — это пирамида. Невозможно изучить все труды своих предшественников. Начиная с какого-то момента (пожалуй, он уже наступил) народ будет обречён переизобретать велиспеды. Частично это решается за счёт «пирамиды»: новые люди приходят на новые задачи, в новые области, а в старых остаются те, кто их начинал в молодости. В итоге многообразие приведёт к тому, что у каждого будет своя тема, и 2 человека в соседних кабинетах из одной области даже понимать друг друга не будут. Это приведёт к тому, что эксперт-оценщик и производитель результата — одно лицо, другие просто не поймут, кто что делает. Из-за этого начнётся новый виток падения уровня рецензирования, чем активно воспользуются мошенники, надувая журналы пустыми статьями. Нежелание писать научно-популярные и обзорные статьи приведёт к тому, что никто не будет понимать, что происходит глобально, в целом, даже в его узкой области. Из-за дальнейшей дифференциации понадобятся «междисциплинарные переводчики», которые принципиально не будут заниматься наукой, но будут обязаны заниматься тем, что впитывать ключевые результаты из разных областей, чтобы потом хоть как-то объяснить научной/административной/прочей общественности, что происходит, кто чем занимается, и зачем это нужно. Уже сейчас чётко видно: каждый приходит на свою узкую задачу и не знает ничего ни на шаг вокруг. Проходит много лет, прежде чем такой новичок станет понимать хоть какие-то чужие статьи. И нужны десятилетия, чтобы научиться видеть всю область в целом, умея читать/понимать публикации с журналов/архива так же легко, как обычные новости.


У этого подхода, кстати, есть и обратная сторона. Например, аспиранту ставят неподъёмную трудную задачу в области, «чтобы не публиковать шлак», он над ней 3 года бьётся, а решить не может. Время ушло, публикаций нет, защищаться на чём? Как доказать, что он эти 3 года работал? Такой потом кое-как защищается, полностью разочаровывается в науке, плюёт на всё и идёт учить детей в школу. Лично видел примеры. Никогда не стоит недооценивать неумелое руководство :) Могу сказать, что мне по российской аспирантуре поставили на мой взгляд неподъёмную для моего уровня задачу, решить которую я не смог. Банально даже математической подготовки не хватало, чтобы её толком осознать. По сути я должен был сделать то, что в своё время не смог сделать ни Фок, ни мой шеф, ну не хило, я бы сказал. И с итальянской аспирантурой могло бы получиться подобное: шанс, что задачу решить не удастся, а после меня останутся только тупые графики с численной оптимизацией, был процентов 95. Конечно, на этом тоже можно было бы защититься, с большим скрипом, но это явно не то, чего ждёшь от аспирантуры. Во всяком случае, первые полтора года прогресс по решению был практически нулевой, а сама задача доделывалась существенно позже всяких защит; главный же гвоздь статьи — нахождение фндаментальных констант канала — появился в процессе дописывания текста статьи, когда считалось, что «уже всё готово, надо как можно быстрее довершить и отослать».


3«Сделано у нас» в МИАН в 1973ем году: гордимся и восхищаемся! Американцам очень обидно, что они не первые: у них ведь это тоже доказали, но позже. Короче, они компенсируются тем, что называют её Holevo-Schumacher-Westmoreland (HSW) theorem, так что увидите в литературе аббревиатуру HSW — не пугайтесь. Впрочем, в статьях обычно упоминаний Шумахера и Вестморланда не делается. В книгах политкорректности ради называют по 3ём авторам, но всё равно отмечают, что Холево был первым. По правде говоря, Шумахер предоставил альетнативное доказательство, просто ему тут «повезло» оказаться не первым. В плане же других результатов, это вполне известная личность, с вполне заслуженным признанием и блестящими результатами в области квантовой информатики.
4Соотношение неопределённостей не даёт мерить одновременно и точно.
5Термин «тепловые фотоны» следует воспринимать как просто параметр состояния, а не как разные частицы (прозрачная параллель там есть, но неопытного она может запутать).
6Я решил пойти другим путём, и ввёл другой тип аддитивности — по среде канала, который при некоторых параметрах нарушается, а при других нет. Если удастся что-то существенное нарыть в этом направлении, будет замечательно — под задачу подан один из грантов.
7Работа в arXiv'е официально помечена как ошибочная, ошибку нашёл Холево и потом пол года убеждал авторов в её существовании (к счастью, убедил).

Комментарии
— unknown (12/03/2012 10:30)   
Да, spinore, это на данный момент ваш рекордный пост, как по объёму, так и по содержательности! Даже не знаю, что с ним делать — то ли вынести отсюда отдельной темой, то ли приклеить к проблемам QKD. По крайней мере, придётся его ещё неоднократно перечитывать и разбирать по мере наличия времени, потому что так сходу всё не осознать, хотя сами идеи простые, закономерные и логично вписываются в контекст предыдущих обсуждений.

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

А нельзя ли на основе этого создать нечто среднее между шумовой и квантовой криптографией — промежуточный уровень так сказать? Если в обычном шумовом (радио)канале, противник должен быть не слишком близко к передатчику и должна быть аналоговая линия с шумами, то в QKD такая инфраструктура уже есть.

И если бы удалось доказать, что для того, что получить значимую информацию Еве пришлось бы построить перехватывающий приёмник, который должен иметь собственный уровень шумов, ниже некоего минимального квантового уровня (тепловые фотоны, да?), то это было бы доказательством стойкости (невозможность построения перехватчика).

В практическом смысле — это могли бы быть какие-то ретрансляторы для QKD, вспомогательные каналы для согласования и аутентификации. Это даже не важно. Некий квантово-шумовой канал с претензией на защищённость, а применение ему уже нашлось бы в ходе других изысканий.
— spinore (12/03/2012 14:31, исправлен 12/03/2012 14:34)   

На самом деле, отличие гауссовых классических каналов от квантовых очень простое, если ограничиться рассмотрением только гауссовых состояний: из-за соотношения неопределённостей размер шапочки (что-то типа площади эллипса в сечении) не может быть сделан меньше постоянной Планка h. Потому любой протокол должен учитывать это дополнительное ограничение. В симплектической геометрии на этот счёт есть много интересных теорем, кстати. Подобное «соотношение неопределённостей» вылазит и где-то в классической обработке сигналов (что-то там с частотой/временем/спектром было, уже не помню), потому, может быть, где-то это релевантно и за рамками квантмеха. Короче говоря, трудность в том, что в протоколе надо всё представить гауссианами с размером, не меньше некоторого, даже если это сильно неоптимально. Именно это ограничение приводит к куче сложных матпроблем :(


Я так понял из ваших постов, что шумовая криптография была предшественницей квантовой, и теперь стала чем-то в роде маргинального направления с очень неясными перспективами. Я заблуждаюсь? Было бы не плохо, если б вы порекомендовали какой-нибудь несложный обзор по шумовой криптографии, с которого можно было бы начать «копать» и понять, что это и о чём.



Может быть. А, может быть, тот профит, который тут извлекаем, получается лучше при использовании запутанных пар, предварительно распределённых между Алисой и Бобом. Всякие «entanglement-assisted classical capacity» — это, кажется, что-то с этим связанное (entanglement — запутанность).



Это всё как-то очень абстрактно, т.к. по сути это будет вообще не QKD не только по букве, но даже по духу: это обычная классическая шумовая криптография поверх квантового канала — нечто совсем новое. Но раз такое никто не делает, значит, либо есть существенные трудности, либо показно, что это будет намного хуже QKD (на уровне здорового скепсиса). Но, в принципе, можно над этим подумать. Моё понимание осложняет то, что мне кажется, будто бы QKD и шумовая криптография — слишком концептуально разные подходы к безопасности, но это может быть от непонимания.



Если шумовая криптография — перспективное направление, то, смешивая её с QKD, казалось бы, можно сделать что-то, что будет использовать преимущества обоих подходов — получить более жизнейстойкий их гибрид (это чисто из общих соображений). Из-за полного незнакомства с шумовым крипто трудно свои 5 копеек в эту дискуссию вставить :(





— unknown (12/03/2012 15:38, исправлен 12/03/2012 16:16)   
Я так понял из ваших постов, что шумовая криптография была предшественницей квантовой, и теперь стала чем-то в роде маргинального направления с очень неясными перспективами. Я заблуждаюсь?

Да, так и есть. С исчезновением нецифровых каналов и появлением квантовой криптографии интерес к этому направлению упал и оно действительно маргинализовалось. Но количество публикаций неторопливо возрастает из-за смутных перспектив внедрения в беспроводной связи (хотя непонятно зачем оно там?).


Любопытно, что ни по шумовой криптографии, ни по связанным терминам нет даже статьи в википедии: Noise-based cryptograpy, noisy channels based cryptoprimitives, Wire-Tap channels. Первооткрыватель этого направления в 1975 году был Aaron D. Wyner[link24] (не путать со Стивом Визнером).


Среди своих же постов[link25] по этой теме наткнулся и на то, что сейчас предложил, якобы как новую идею: японцы уже публиковали это[link26] в 2000 году, протокол изобретён (вероятно корейцами) в 1998 году. Обещали скорости в пару мегабит по оптоволокну. Формально это относится к квантовой криптографии, хотя определение по сути такое, как вы дали: "обычная классическая шумовая криптография поверх квантового канала".

— spinore (12/03/2012 18:25)   
— unknown (12/03/2012 20:58, исправлен 12/03/2012 21:02)   

У Кирилла Морозова обновилась страница[link27] с тех пор как он упоминался у нас в форуме по теме шумовой криптографии. Кроме того, что все его публикации доступны в онлайне, там есть и его замечательная диссертация по теме.


И он отмечает, что раз обзорная литература по этой теме практически отсутствует, а классическая информационно-теоретически стойкая криптография (построение стойких неквантовых каналов) практически неизвестна, то стоит собрать материалы под определённое оглавление, а там глядишь и первая монография получится[link28].

— spinore (12/03/2012 23:05)   

Интересно. У Хироты есть статья[link29] с Холево (в архиве её нет, к сожалению) по ёмкости (пропускной способности) квантового гауссова канала с аддитивным шумом, на которую все (и мы в том числе) активно ссылаются.

Бегло глянул ссылки и диссертацию Морозова. Действительно, вижу много параллелей. Диссертация вроде понятная, обстоятельная по теме. Единственное, что там дискретные каналы, а мы работаем с непрерывными.


Уже успел чуть не перепутать с Норбертом Винером[link30], широко известным в физике по «винеровским процессам» :)

В общем, ссылки годные, интересные, надо теперь читать и думать. Журнал краптологии насмешил :)
— unknown (13/03/2012 10:42)   
Насколько я понял хотя бы из этого[link31], этого[link32] и этого[link33], протоколы YK и Y00 — это замена чисто квантовых протоколов BB-84 и B-92 (и их аналогов) на квантово-классические, которые претендуют на новое (смесь нового с хорошо забытым старым), перспективное (каждый своё болото хвалит) направление в QKD.

Упрощается создание сети, которая может быть развёрнута поверх обычной, с обычными оптическими (неквантовыми!) повторителями:
A special feature of YK and Y-00 protocol is that one can design the secure system based on only the abilities
of Eve and Bob for detectability. That is, it is not important how many repeaters are used in communication
channel from Alice to Bob. In general, the present fiber network consists of optical repeaters like fiber
amplifier, and direct detection scheme (intensity detection for on and off ).

Возможно получение гигабитных скоростей на расстояние в сотни километров (это уже показано на экспериментах). И всё это без дорогого оборудования, в котором требовалось бы удерживать количество фотонов в импульсе максимально близким к единице. Принципы кодирования несколько нестандартны для QKD и ближе к обычным сетям:
Yuen protocol (Y-00) and we present an efficient implementation method of physical layer of Y-00 which can support a secure communication and a quantum key distribution (more generally key expansion) by IMDD(intensity modulation/direct detection) or FSK(frequency shift keying) optical fiber communication network with fiber amplifiers as optical repeater,

Возможно, это упоминание про работу с непрерывными переменными (если можно построить канал такого типа, но похоже ни в одной из работ он не рассматривается):
The ciphering angle could have k in general
as discrete or continuous variable determined by distri-
bution of keys.

Пока убедительные доказательства стойкости для всего этого направления отсутствуют, есть только неполные, черновые наработки. Поэтому системы на YK/Y00-протоколах, вероятно, официально не признаются в качестве рекордсменов по дальности/скорости/низкой стоимости и пр. и остаются где-то на периферии.
Гость (15/03/2012 23:07)   
Как лучше организовать материал на сайте
Я вот всё думаю, почему бы Git[link34] использовать не только программистам. :)
— spinore (18/03/2012 03:23, исправлен 18/03/2012 06:04)   

Это вы про ссылку на антены в /comment16695[link35]? Он устарела. Вот нагуглил свежую[link36].



Наверное, всё для того, чтобы сделать шифрование в беспроводных системах связи стойким, а то там всё плохо: и WEP, и WPA, и A5 в GSM.



Для полноты картины и большей понятности ради ещё упомяну /comment35960[link37] про lossy-канал, имевший место несколько лет назад.



Там надо вчитываться в работу и смотреть ссылки в ней. На 1ой стр. говорится:


Since many photons are transmitted to carry one-bit information, the conditions specified above will not be satisfied if the SNR of Eve’s detection is sufficiently high. Eve’s SNR can be increased by using low-noise detection equipment, or simply by moving closer to Alice than Bob (because of the fiber loss.)

Это всё не очень понятно. Ну и то, что Еву лимитируют какими-то ресурсами... насколько это обосновано с практической точки зрения? Что тогда отражает доказательство безопасности протокола при таких ограничениях, насколько они сильны... Вы в /comment16695[link35] правилно написали:


Получается, замена вычислительных ресурсов (суперкомпьюетеры) физическими (невозможность создать совершенное радиотехническое оборудование).

По крайней мере, QKD обеспечивает[link38] информационно-теоретическую стойкость, а как тут с шумовой криптографией — не ясно. Она, действительно, скорее к «та же вычислительная сложность, вид сбоку» :) Шумовое крипто мне ещё этим физически неклонируемые функции[link39] напоминает.



Некоторые идеи:


Над остальными вашими постами/вопросами в этой ветке надо думать дальше.


Есть такой способ исследования литературы: смотреть, кто на кого сослался. В одну сторону — это задача лёгкая (узнать, кого цитируют в данной статье), а в другую — вычислительно технически сложная (узнать, кто её процитировал). Помимо коммерческих закрытых баз типа ISI (которые arxiv не индексируют принципиально, как нерецензируемое издание) для архива есть такой общедоступный сервис http://citebase.org, который индексирует цитирования, но только по архиву. Вот, например, по этой[link47] ссылке видно, что нашу работу уже процитировали дважды. Unknown, есть ли аналогичный citebase'у сервис для iacr'а?


— unknown (18/03/2012 15:08)   
для того, чтобы сделать шифрование в беспроводных системах связи стойким, а то там всё плохо: и WEP, и WPA, и A5 в GSM.

Сомнительно, что там внедрить Noisy crypto будет легче и менее ресурсозатратнее, чем обычные стойкие классические алгоритмы. Причины того, что всё плохо — чисто коммерческие. Во-первых, оградить свою поляну патентами и занять её международным консорциумом-монополистом, который проталкивает закрытые решения и даёт к ним доступ ограниченному числу производителей оборудования. Во-второых, безопасность там не так существенна, ею всегда жертвуют ради экономии и вспоминают про неё только когда грозит полный фэйл.

Теперь полнее дошло, почему вы разместили в форуме задачу :) Оптимизация используется в проектировании и разработке атак в построении систем анонимной связи. Хотя есть какие-то области, где вероятно это ещё более активно развито. Вообще говоря, а где этого нет? Хоть в классической инженерной механике (если по всем принципам проектировать с нуля как мост построить, двигатель разработать), хоть в квантовой.
Ну и то, что Еву лимитируют какими-то ресурсами... насколько это обосновано с практической точки зрения? Что тогда отражает доказательство безопасности протокола при таких ограничениях, насколько они сильны...

Ну я чисто интуитивно "почувствовал" (принял на веру, понял на уровне примитивных представлений), как вы говорите "физичность", думал вы и объясните (правильно или ошибочно такое представление?).

После согласования ключа в шумовом канале, коррекции ошибок между A и B, но вероятностно несовпадающих с E, производится сжатие ключа для усиления приватности. Для Евы должна получиться ситуация невозможности восстановить такой ключ. Доказательство строится на том, что для перехвата ей потребуется построить приёмник, существование которого запрещено законами физики (с уровнем шумов меньше собственного уровня сколь-угодно идеальных составных элементов, естественного уровня шумов окружающей среды, меньше каких-то квантовых пределов). Алиса и Боб могут проводить до разумного значения сколь угодно много раундов согласования (им это практически ничего не стоит в плане ресурсов), так что для Евы с каждым раундом требования для перехвата должны увеличиваться экспоненциально вплоть до наступления предела до недоступных по законам физики значений. Основная задача — правильно смоделировать этот канал и решить оптимизационную задачу по количеству раундов и прочим параметрам. Это будет и доказательством стойкости.

А в физически неклонируемых функциях не просматривается сходимости к принципиальной невозможности построения вычислительно-моделирующего устройства. Хотя бы из-за того, что там всё строится на выигрыше по времени, Поэтому количество раундов ограничено, на извлечение информации из PUF тоже уходит время (это сугубое ИМХО и догадки, спецификой вопроса не владею).

Собственно, интересно ваше небольшое мнение и всё. Ну и раз вы намекали, что в обоснованиях к своим исследованиям (возможно для улучшения финансирования) вы пишете (возможно ваши коллеги, руководители, да хоть вообще посторонние люди, занимающиеся чем-то похожим), что это имеет отношение к QKD (хотя вроде как слегка за уши притянуто, если копнуть специфику). Ничего плохого в этом нет, особенно если исследования по классификации/моделированию/изучению квантовых каналов будут ещё лучше обоснованы как имеющие перспективы для QKD. Необяхательно даже самому заниматься объединением изучений каналов и "Noisy QKD", достаточно упомянуть и дать хотя бы поверхностное, но честное обоснование, если такая возможность действительно существует.

Есть ещё http://citeseerx.ist.psu.edu
Torproject использует gitweb — доки, багрепорты, тикеты.
— spinore (18/03/2012 21:35, исправлен 18/03/2012 21:51)   

Это не так просто сделать/понять, особенно для меня :) Ваше (и то, что в статьях) объяснение принципа работы звучит вполне правдоподобно на уровне общих суждений. Работы Maurer'а, включая «Unconditional Security Against Memory-Bounded Adversaries», вполне признаются квантовым сообществом; тем более, что у него есть и совместные работы с такими авторитетами, как R. Renner[link48]. Maurer делает что-то подобное вашему описанию, где безопасность следует из невозможности для Евы оцифровать весь шум идеально и хранить его сколько угодно долго. Я склоняюсь к тому, что «здесь есть рыба» и эти статьи/работы стоит поизучать поподробнее. Если удастся сделать что-то на стыке квантовой и шумовой криптографии, то отлично, если появятся идеи8, показывающие полезность наших результатов для каких-то квантово-шумовых вещей, то тоже неплохо. В крайнем случае, могут быть какие-то общие идеи и математические методы в шумовой криптографии, которые окажутся полезными для квантовой или натолкнут на какие-то мысли. Так что, несмотря на весь скептицизм, то, что я не считаю всё это контрпродуктивным — это точно :)



Ну вот чтобы «дать хотя бы поверхностное, но честное обоснование» как раз и надо поразбираться с предметной областью и почитать статьи :) За ссылки и идеи вам стоит сказать отдельное и большое спасибо! На кое-какие новые идеи они уже натолкнули, правда, не в контексте QKD, а в контексте QRNG.



Абсолютно согласен.




Да, теория оптимизации — огромная область в прикладной математике, которой занимается большое число математиков-прикладников. Большая часть применений находит в экномике и финансах, в инженерии, в теории информации. Для физики как таковой теория оптимизации нехарактерна9, а теория информации даётся в рамках пары лекций как часть спецкурсов10.


Существенная часть всей теории оптимизации — выпуклая[link49]. По ссылке есть довольно толстая обстоятельная книжка[link50] по методам. А ещё добрые люди написали обзорную статью[link51], чтобы неспециалисты знали, что вообще есть в этой области, какая терминология и куда копать. Мораль статьи в том, что есть класс задач выпуклой оптимизации, которые хорошо изучены. Если же задача невыпуклая, то надо разбивать на области выпуклости, а всё, что принципиально невыпукло (это не мой случай 100%), требует разработки специальных методов, часто эвристических, и может оказаться NP-сложной задачей11. Короче, всё делится на два класса: «выпуклое» и «всё остальное».



8Хотя бы на уровне ссылок на работы.
9Из-за этого мне трудно разбираться: я никогда теорию оптимизации не изучал, помимо стандартного метода множителей Лагранжа, идущего вприкуску к матанализу и лекциям/семинарам по экономике (сделали её обязательной для физиков, увы). Одним словом, не буду скрывать, что глубинный провал в знании оптимизационных методов очень больно бьёт по всем, кто пришли из теоретической квантовой механики в квантовую теории информации — я тут не один такой. Впрочем, прогноз благоприятен: изучать с нуля теорию оптимизацию проще, чем квантовую механику, потому по сравнению с теми, кто пришёл из классической теории информации, у нас немного более выгодное положение.
10У нас оно, к примеру, относилось к вводным лекциям по «методам экспериментальной физики», где в том числе освещаются вопросы по обработке экспериментальных данных.
11Например, типа комивояжёровской[link52]. Кстати, даже квадратичная оптимизация принадлежит[link53] NP-полным задачам — интересно, есть ли тут какая-то связь с ECC?

Гость (28/03/2012 12:22)   
я прочитал одну толковую методичку, где каких-то жалких 10-20 страниц навели полный порядок в голове.
А не подскажете ли ссылку, или может выложите где?

Теперь можно попытаться упростить те страницы, убрав всё лишнее, упростить математику (понимая суть, матаппарат может и дурак освоить, если ему это понадобится), и добавить немного важного — того, что там предполагалось известным, но читатель этого сайта не знает. Плюс надо ввести поправку на крен в сторону информатики и криптографии. Часть тем можно описать только по статьям — в книгах этого нет вообще. Если вся эта программа будет выполнена, получится толковая статья, которая поидее должна быть понятна любому читателю с минимальной матподготовкой.
Очень ждём-с...

Несколько ссылок "в помощь популяризаторам квантовой механники" :)
Фейнман. КЭД – странная теория света и вещества[link54]
Гордон. Кухаренко. Рязанов. Стрела времени[link55]
Доронин. Квантовая магия[link56]
Извиняйте коль не в тему.
— falkenberg (28/03/2012 20:19)   
Чет по поводу Доронина чего только не пишут... Вообще я не специалист, но как-то сразу чем-то нехорошим повеяло. Попробовал погуглить на его имя – и сразу море негативных отзывов. Приводить ссылки не буду, желающие найдут сами.
Гость (29/03/2012 01:32)   
Чет по поводу Доронина чего только не пишут..

Нет чтоб самому в предисловии у Доронина прочитать:
Надеюсь, что читатель сумеет отделить приведенные в книге факты и сами физические результаты от моей трактовки и моего личного мнения на этот счет.

По моему он замечательный популяризатор! Очень привлекательный подход, побуждающий молодое поколение (и не только) к изучению квантовой физики. Журнал вот[link57] уже 8 лет выпускает. Ну а кому трактовка совсмем не нравится, могут прямо читать книги из библиографии: вот[link58] и вот[link59]
А то что, что таковые будут, в этом же журнале и написано[link60] ;)
— falkenberg (29/03/2012 13:21)   
Да я ничего такого не говорю, как я признался я – не специалист и мне негоже критиковать кандидата наук, работающего в действующем институте. Но у популяризаторов есть опасность: с одной стороны скатиться на уровень, что будет непонятен неподготовленному читателю, с другой – к слишком вульгарной подачи материала, искажающей действительность до полного ее перевирания. Читатель же, способный отличить результаты от трактовок не нуждается в популярных книжках, он вполне освоит и учебники и способен читать научные статьи. Поэтому грань, по которой ходит популяризатор очень тонка. Ее очень легко перешагнуть, вольно ли или невольно. Тех, кто это делает сознательно, желая дешевой популярности или просто денег сейчас полным-полно (это не относится к Доронину, я про него слишком мало знаю чтоб что-то говорить. Хотя некие подозрения по стилю изложения у меня возникли срану). Ну или просто сумасшедших ученых :) Это все крайне осложняет положение неподготовленного читателя, желающего что-то понять, при этом не желающего чтобы ему ездили по мозгам. Если бы меня попросили назвать хорошего популяризотра на эту тему, я бы вспомнил Дэвида Дойча.
Гость (29/03/2012 18:07)   
Да я тоже ничего особенно не говорю, просто вот через Дронина узнал, что происходящая при наблюдении за квантовыми объектами "редукция волновой функции" объясняется через декогеренцию[link61], которая имеет фундаментальный характер:
«Декогеренция ... — общий механизм, который относится ко всем макроскопическим телам»

По большому счету, все взаимодействия являются «эффектом декогеренции». Более того, согласно теории декогеренции, весь классический мир — это «эффект декогеренции». Данный момент подчеркивается, например, в самом названии книги по теории декогеренции: E. Joos, H. D. Zeh, C. Kiefer, D. Giulini, J. Kupsch, and I. O. Stamatescu «Decoherence and the Appearance of a Classical World in Quantum Theory» (Springer, Heidelberg, 2003). Ссылка на эту работу идет первой в списке литературы статьи в Nature, о которой упоминалось выше. Это серьезный источник, и авторы — известные ученые.

На сайте первого автора этой книги — E. Joos-а http://www.decoherence.de — можно прочитать следующие утверждения (выделения сохранены).

«Декогеренция...

– объясняет, почему кажется, что макроскопические системы обладают привычными классическими свойствами;

– объясняет, почему некоторые объекты кажутся нам локализованными в пространстве;

– объясняет, почему появились ранее противоречивые уровни описания в физике (классический и квантовый).

– Никаких дополнительных классических концепций не требуется для самодостаточного квантового описания.

– Не существует никаких частиц.

– Не существует никакого времени на фундаментальном уровне.

– Существует всего лишь ОДИН основной каркас для всех физических теорий: квантовая теория».

Все эти выводы сделаны не на пустом месте. Они отражают и обобщают результаты многолетних научных исследований тысяч и тысяч ученых, подтвержденные многочисленными экспериментами. В последнее время в научных журналах ежегодно публикуется огромное количество экспериментальных и теоретических статей по декогеренции и квантовой запутанности. Подчеркну, что речь идет о стандартной квантовой теории, а не о различных новомодных «интерпретациях» квантовой механики. Теория декогеренции, квантовая теория информации, теория запутанных (несепарабельных) состояний — все это прикладные разделы стандартной квантовой теории, и на их основе разрабатываются технические устройства, основным рабочим ресурсом которых являются запутанные состояния.

Процессы декогеренции, наличие квантовой запутанности, возможность целенаправленно ее изменять — все это факты, которые сегодня нельзя игнорировать. Все это уже работает в технических устройствах.
Не, ну можно конечно считать, что это такое массовое сумасшествие среди учёных... :)

Вобщем всё равно тут самый умный на эту тему spinore, пусть он решает, насколько ему такие тексты могут быть полезны в его благородной попытке внести ясность.
Гость (01/04/2012 09:41)   
spinore, пусть он решает, насколько ему такие тексты могут быть полезны

А разве он ещё не решил? https://www.pgpru.com/comment35513:
Если искать ещё в гугле, можно наткнуться на книги/заметки Доронина, но его не читайте (лженаука и прочий дилетантизм).

У Доронина фантазия совсем никакая. Лучше почитайте эту книгу[link62] (17Mb). И не надо смеяться. Там дифференциальные уравнения есть, между прочим. Автор явно знаком с термехом.
— falkenberg (01/04/2012 11:35)   
ой.. а Вы ее читали?? По-моему Иванов откровенно смеется над читателем, или изучал физику самостоятельно не окончив начальной школы. Достаточно открыть начало чтобы все стало ясно.
Гость (01/04/2012 19:34)   
Конечно, читал. Такие книжки интересно читать, интересно следить за логикой автора, за развивитием мысли, за тем, как он делает заключения, обобщает свои наблюдения, как переходит от одного к другому. Это — как чтение древних трактатов в стиле Архимеда или Евклида, видеть как первобытный человек познаёт окружающий мир, пытается его моделировать, объяснять. Где-то ошибается, где-то угадывает направление. Научное фричество, в отличие от паранормальщины и психологии Доронина, конструктивно, ставит интересные вопросы, софизмы. Вот вам кажется, что какая-то штучка не взлетит, а попробуйте формально обосновать почему, опираясь на знание механики. И сразу увидете, что это трудная задачка. Физика интересна тем, что в ней легко поставить вопрос, правильный ответ на который будет чрезвычайно сложным.

Да и Доронина я читал. Но Доронин неинтересен. Доронин пытается квантовой механикой описывать вещи из параллельных миров. Это в принципе не компетенция физики и науки, поскольку нефальсифицируемо по Попперу. Нет эксперимента, который бы подтвердил или опроверг что-то, потому спекулировать можно сколько угодно, хотя для правильных фриков такие эксперименты есть. Если вам угодно, то фричество в духе Иванова — хоть и ложная, но физика. А паранормальщина и парапсихология в духе Доронина — не физика и не наука вообще, это фэнтэзи.
— falkenberg (01/04/2012 20:53, исправлен 01/04/2012 20:53)   

а, ну тогда ладно. Я то просто открыл ее и пытался почитать именно как популярную книжку по физике, а там с первых строк ТАКОЕ! Хотя непонятно, как человек, умеющий писать уравнения в обобщенных координатах не понимает как разложить вектор.

Гость (02/04/2012 01:09)   
Иванов украл[link63] технологию. И вообще: Все на модернизацию[link64], шагом марш!
Гость (05/04/2012 12:05)   
его не читайте (лженаука и прочий дилетантизм).
Интересно, если уж вы такой эксперт, какую лженауку вы можете указать например в (открытой наугад) этой[link65] его статье? По мне так она вполне соответствует заявленному в абстракте: "сделана попытка во всех деталях, с максимально подробными пояснениями и примерами показать, как применяется математический формализм при количественном анализе квантовой запутанности."

Нет эксперимента, который бы подтвердил или опроверг что-то
Извиняюсь, а для теории струн (и прочих "бран") такой эксперимент есть?
Гость (05/04/2012 20:16)   
Интересно, если уж вы такой эксперт, какую лженауку вы можете указать например в (открытой наугад) этой его статье?

Ваш угад такой угад... Лучше почитайте это[link66]
Поскольку современная физика приблизилась к пониманию сложной многогранности мира и практически доказала возможность расширенного восприятия реальности, возрастает доверие к тем знания, которые получены этим способом восприятия, и которые еще совсем недавно считались недостойными серьезного внимания со стороны естественных наук. Речь, прежде всего, идет о религиозных знаниях, древних мифах, различных мистериях древности, оккультизме, мистицизме, и т.п., и их дальнейшем развитии и теоретическом обобщении в работах по теософии, антропософии и др. «апокрифичных» наука. Основываясь на последних достижениях в физике, можно сделать вывод, что в этих источниках содержится гораздо больше полезной информации и достоверных знаний о Космологии и происхождении сознания, чем в господствующих ныне теориях Большого Взрыва и теории эволюции. Последние исходят из описания предметного мира, который составляет лишь одну из возможных проекций Мироздания наблюдателем, общий внешний вид которой для людей определяется одинаковым устройством их органов восприятия.

В ЖЖ[link67] уже всё обсудили:

В общем читать эту книжку людям не знающим квантовую механику я настоятельно не советую: не надо создавать в голове кашу из реальных достижений квантовой физики, новомодного шарлатанства и старой как копролит мистики и эзотерики. Люди знающие квантовую механику могут полистать эту книжку, чтобы извлечь из неё ссылки на ряд оригинальных статей.
Как могло оказаться, что автор, по всем признакам обязанный быть компетентным в данной области пишет ТАКОЕ?
Я не знаю. Может быть дело в том, что автор не столько физик, сколько программист:
"С.И. Доронин, владеет различными языками программирования, разрабaтывает в нашей лаборатории программы для численного решения задач, в том числе параллельные программы для суперкомпьютерных расчетов, проводимых в Межведомственном Суперкомпьютерном Центре (МСЦ)"[link68]
P.S. Квантовая механика и в самом деле наука по своему магическая и трансцендентная. Только дилетанту читать об этом лучще в других книжках. Р.Пенроуза ("Новый ум короля"), например, можно читать: он хотя и высказывает спорные мысли, но он понимает о чём пишет и эти спорные мысли интересны и содержательны. М.Б.Менского ("Человек и квантовый мир") можно читать. Он местами впадает в мистику, но куда как более аккуратен в выводах, и, опять таки, понимает о чём идёт речь. Д.Дойча ("Структура реальности") интересно и полезно почитать. К.А.Валиев кажется тоже что-то популярное писал.
От себя добавлю что слушал доклады Менского в уважаемых институтах. Оставили впечтление неведомой страшной фигни или я ничего не понял.

Архив тож не фонтан[link69]: всего 2 статьи, одна набрана в ворде, та, что в журнал химфизики они вообще закопирайченную пруф-версию кинули, с циферками на полях. По какой теме был диссер героя и за что ему кфмн дали, история умалчивает.


Поскольку существенная часть таких образцов состоит из обзоров и переводов вполне грамотных зарубежных статьей, это сильно путает читателя: существенная часть написанного — действительно, правда. Только вот неспециалист не отличит где там правда, а где собственная примесь бреда.


https://www.pgpru.com/comment51153

Извиняюсь, а для теории струн (и прочих "бран") такой эксперимент есть?
Никто всерьёз не считает струны физикой. Это вульгарная алгебраическая геометрия и тому подобная математика. man матфизика

Помоему тут нечего обсуждать и муслить.
Гость (06/04/2012 07:36)   
В ЖЖ[link67] уже всё обсудили
но к единству мнений не пришли[link70]:
На мой взгляд, книга С.Доронина ценна именно тем, что он позволил себе пофантазировать (во многом очень обоснованно), заглянуть за пределы доступных нам точных знаний. Книга будит мысль, интерес, желание заглянуть за грань Непознанного. И этим она очень хороша для молодых и смелых ученых. ... Словом, молодые физики, – не слушайте никак необоснованных, бессмысленных и откровенно злобных утверждений! Читайте С.Доронина. Это интересно и полезно. Возможно, он и ошибается. А может быть и нет. Вы сумеете в этом разобраться.


Это вульгарная алгебраическая геометрия
Ну прям таки вульгарная? Красивая теория (гипотеза), пока что не нашедшая эксперементальных подтверждений/опроверженний.

И методичку[link71] бы выложили, хотя-бы в виде фотографий.
Гость (06/04/2012 17:57)   
[offtop]
Нет эксперимента, который бы подтвердил или опроверг что-то
С "паранормальшиной" на мой взгляд ситуация немного иная: экспериментальных данных дофига[link72], а вот с официальным признанием слабовато[link73]. И так происходит ещё и потому что при изучени подобных явлений следует учитывать влияние наблюдателя на наблюдаемое[link74] (особенно предвзято настроенного), а также потому, что (перефразируя известное высказывание) во многом то, что сейчас известно под именем 'наука', наукой не является[link75].


Кроме того, такое признание приведёт к значительным социально-политическим последствиям: рухнет представление о "свободе и независимости субъектов либерально-рыночных отношений" (в частности, окажутся правы те, кому не всё равно, как вы распоряжаетесь своей задницей), охота гонения на ведьм некоторых деятелей культуры шоу-бизнеса получит обоснавание и официальную поддержку на государственном уровне (и ещё многие помянут Сталина добрым словом), придётся перестать считать контактёров априори клиентами психиатров (а там, знаете ли, оччень интересные случаи попадаются), да много чего ещё...

Поэтому проводить в этой области чисто научные изыскания пока что мягко говоря затруднительно. Только если неофициально. Что, кстати, и имеем.
[/offtop]
— spinore (13/04/2012 22:37, исправлен 14/04/2012 01:12)   

Действительно, Доронин и на неё ссылается. Вот[link76]. Она в двух частях, но это только первая часть. Вторую в открытом доступе найти не смог, но она упоминается в этом магазине[link77], пишут, что она есть в ГПНТБ и ещё в вузе какого-то НИИ, забыл какого. Есть небольшие шансы, что вторая часть уже посканена и где-то есть в локальной сети института1, но у меня нет к ней доступа. Можете попросить любого, кто там сейчас учится, проверить эту гипотезу. Раньше эти методички продавали на кафедре, по цене 70р за штуку, отпечатаны они в издательстве института. Изданы они были в 2004ом году (и с тех пор, видимо, не переиздавались), тираж 300 экз, потому уже всё и давно разобрано студентами. У меня экземпляры обеих частей есть, но в бумажном варианте. Я больше опирался на первые главы (собственно, формулировка — первая глава, 48 страниц), базовые вещи, которые must know для изучавших физику — первые 3 главы. 4 и 6 — освещение специальных вопросов (вигнеровское представление и запутанность), они нужны тем, кто работает в области. 5 — глава про спин, тоже типа must know. 7ая глава — квантовая статистика, её полезно знать (естественно, входит в обязательные курсы терфиза), но я не знаю, например. Желающим почитать — напутствие: это несколько переработанные и немного расширенные конспекты лекций по двум курсам, читающиеся на старших курсах (4ый-5ый) тем, кто уже прошёл общую и теоретическую физику но ничего не понял. Первый из этих курсов назывался как-то в духе «когерентные и сжатые состояния в квантовой оптике и квантовой механике» (семестровый), а второй — «равновесная статистическая механика[link78]» (кажется, трёхсеместровый). Для физиков это шло в рамках курса по выбору по «дополнительным главам теоретической физики» (каждый мог выбрать что-то, но выбрать надо было обязательно). Для экономистов это шло в виде, кажется, обязательного курса, чтобы они потом могли матметоды и методы квантовой механики использовать в экономике. В общем, если новичкам будет совсем не понятно, то это нормально :) По второй части могу пока оглавление выложить2:
Глава 8. Звёздочное произведение функций 6
8.1. «Обычное» или поточечное произведение 6
8.2. Зачем нужно звёздочное произведение 11
8.3. Символы операторов 12
8.4. Томографический символ (томограмма) наблюдаемой 15
8.5. Функция Вигнера и символы Вейля 18
8.6. Функция Глаубера-Сударшана 24
Глава 9. Уравнение Лиувилля для функции распределения 33
9.1. Введение
9.2. Уравнение Лиувилля для функции распределения классической системы 35
9.3. Уравнение Лиувилля системы взаимодействующих подсистем во внешнем поле 39
9.4. s-частичные функции распределения 42
9.5. Цепочка уравнений ББГКИ 46
9.6. Факторизация s-частичной функции распределения. Корреляции. 50
Глава 10. Формальное решение уравнения Лиувилля для функции распределения 53
10.1. Классический пропагатор 53
10.2. Представление решения уравнения Лиувилля для систем со взаимодействием 56
10.3. Марковские процессы. Уравнение Смолуховского. 62
10.4. Уравнение Фоккера-Планка 65
Глава 11. Связь томографической вероятности с классической функцией распределения 75
11.1. Классический пропагатор 75
11.2. Интеграл по путям и классический пропагатор 77
11.3. Квантовые переходы 79
11.4. Алгебраическое описание 81
11.5. Томография в классической статистической механике 83
Глава 12. Обработка сигналов 90
12.1. Анализ сигналов 90
12.2. Вейвлет-преобразование 93
12.3. Вейвлет-отображение 96
Глава 13. Релаксационные уравнения для матрицы плотности 99
13.1. Разложение по ортогональным операторам 99
13.2. Представление взаимодействия для матрицы плотности 103
13.3. Приведённая матрица плотности 106
13.4. Релаксационные уравнения для матрицы плотности. Необратимость во времени 112
13.5. Обобщённое кинетическое уравнение. (Generalized Master Equation)
13.6. Основное кинетическое уравнение и уравнения Блоха 124
Глава 14. Метод моментов 129
14.1. Спектральная форма сигнала 129
14.2. Моменты основных линий 132
14.3. Секулярные взаимодействия. Метод семиинвариантов (кумулянтов) 134
14.4. Тензор релаксации при наличии диффузии 138
Глава 15. Соотношение неопределённостей и связь квантовой и классической статистик 141
15.1. Соотношение неопределённостей 141
15.2. Общий подход к соотношению неопределённостей 145
15.3. Переход от квантового описания системы к классическому 149
Список литературы 160
В духе содержимого второй части были какие-то статьи, типа такой[link79], но я так сходу уже не найду теперь. Свою магистерскую[link80] я тоже писал в духе тех методичек. Можно, наверно, и оттуда почерпнуть. Если кому лень читать, автора методички (он же и мой руководитель) можно послушать в программе с Гордоном тут: часть 1[link81], часть 2[link82] и часть 3[link83]. Там же есть и теория струн[link84] — Рубаков и Гальцов в главных ролях3.



К сожалению, месяца два это ещё займёт точно.



Я в популяризаторах, увы, не силён. Могут только своего шефа попиарить, он замечательный педагог и популяризирует науку среди ничего непонимающих и в конец дезориентированных современным физическим образованием студентов.



Я в соседнем посте уже упоминал про срач на тему дополнительного постулата о «стрелке». Если бы всё это было бы так легко и просто, была бы решена одна из ключевых фундаменталных проблем в физике (чего, естественно, не произошло). Всё, что есть — экстраполяции и спекуляции. Может конечно, в той книге/статье что-то интересное есть на этот счёт, но применять это к макроскопическим телам я бы не стал — это заведомо превышение ограничений теории. Сейчас берут несколько частиц и пытаются добиться того, чтобы их состояние «не декогерировало». Есть какие-то экспериментальные успехи, но это всё очень неустойчиво: чем больше частиц, тем тяжелее их так контролировать. Не будь таких проблем, у нас уже был бы работающий КК.



Это про обратимость уравнения Шредингера классической и квантовой механики? Ну я понимаю, тролли узнали про больную тему, и сейчас они ещё и не такого понапишут. Объясняю на пальцах, без квантовой механики: есть классическая механика одной частицы (ну пусть нескольких, но не большого числа), а есть классическая статистика для этих частиц, т.е. наука, описывающая поведение их большого числа. Так вот, статистика не выводится из механики. Почему — никто не знает, но не выводится. Статистические законы, которые управляют системой при переходе к большому числу частиц, существенно зависят от типа усреднения частиц по параметру, а усреднять можно по-разному, что привело бы к разным результам (но в эксперименте результат-то один!). Этот тип усреднения (в общем случае) не следует их механики частиц, и в физике для каждой системы приходится его постулировать (причём для каждой системы — свой закон усреднения!). На этом розовая мечта о науке как о пирамиде, где термодинамика выводится из статистики, а статистика — из механики, разбивается об суровый результат эксперимента. Это в классической физике так. Ну и 2ой закон термодинамики — фундаментальное утверждение, которое ниоткуда не выводится — всем участникам передаёт привет. В квантовой же статистике, полагаю, — те же проблемы. Более того, диссипация и необратимость по времени вводятся в уравнения статистической физики руками, т.е. по сути постулируются (а не выводятся из красивой более глубокой математической теории) [credits to Vadim_Z[link85]]. Так что статистика необратима, время в макроскопике — тоже, и путешествия людей (как и любых других макроскопических объектов) во времени возможны только под грибами и LSD. Правда, психоделики под запретом, но музыку слушать никто не запрещает — пользуйтесь моментом[link86]. Конечно, в науке вопрос о природе несводимости остаётся октрытым, кто-то что-то исследует, высказывает аргументы, но хомячков это не касается — даже я туда не стал бы лезть, т.к. не занимаюсь этими вопросами. Кто-то говорит про неустойчивость уравнений движения для большого числа частиц... в общем, не знаю. Говорят, в журналах настолько скептичны по поводу этих попыток, что даже не принимают работы на эти темы [credits to автор вышеприведённой методички].



Он-таки добрался до КТП? :)



Не давайте ему книг по КТП, физике высоких энергий и стурнным теориям, а то при переносе их предсказаний на макроскопический мир эффект будет уже не как от грибов или героина, а как от жёсткой современной химсинтетики: одна доза — и сразу летально.



Только вот это всё не имеет никакого отношения к макроскопике. Даже если на столе стоит прибор, фотоны там — самые что ни на есть микроскопические квантовые, во всех своих смыслах.



Кстати, никто не смеётся[link87]. Вот то же самое[link88], но с паравозами. Вообще, там много[link89] подобного есть[link90].



Если там речь про вот это[link91], то мне совсем не ясно :) Правда, боюсь, при попытке придания нужных скоростей объекту, он взорвётся вместе с автором поделия, не достигнув и миллионной доли от нужной скорости.


А если серьёзно, то наука не занимается вопросами паранормальщины [хотя про парастатистику можете почитать в методичке по ссылке (стр. 163)]. Наука требует независимости от наблюдателя, воспроизводимости (хотя бы статистически) и фальсифицируемости. Конечно, отсюда не следует, что ничего вне науки нет, просто это не её компетенция. Если где-то накопится настолько большое экспериментальное понимание/материал, что его можно будет изучать и конструктивно воспроизводить, тогда и будет другой разговор. Первое, что предъявляют к «феноменам» — значимость, намного большую, чем рамки возможного статистического отклонения и угадывания, на этом большая часть зарезается, увы. Но это всё уже совсем оффтоп к сайту. Естественно, есть традиция и вопросы согласования с традицией, непринятие нового и т.д., но всё это неизбежно, и это не означает, что троллить на границе допустимого — верный подход. Как правило, в 99% случаев, если вам говорят, что это не наука, это именно так и есть. Кстати, любителям всяких пара- на заметку: сонолюминесценция[link92]. Вроде бы существует, вроде не лженаука, но с объяснением туго.



Argumentum ad ignorantiam — аргументация к незнанию игнорированию(?). Суть такова: утверждение A правильное, потому что никто его не опроверг.

См. чайник Рассела: раз[link93], два[link94].



Да, это верно, только пара- тут ни при чём. И не надо путать псевдонауку и лженауку. К науке в аутентичном классическом смысле, как это определяется философией, относятся только науки естественные. На западе, говорят, лингвистику, экономику, и политологию (может, не полный список) выделяют в отдельный класс, и там тоже хардкорно теперь всё и (условно)формализовано. А вот литературоведение и филология, типа, якобы совсем в пролёте.



Жёлтая жуть там в том тексте (ну или не жуть, но подача именно такова). На эту тему есть передача с Гордоном[link95], где всё более-менее, в отличие от вашей ссылки.



1Это такая недоступная извне сеть, объединяющая тысячи компьютеров, со своими сайтами и поисковиками внутри, с доступом к терабайтам всевозможной информации — всё это было ещё во времена, когда я там учился.
2Там ещё более специальные вещи, так что вряд ли кому это сейчас тут интересно.
3Послушать интересно, но лично мне было далеко не всё понятно, хотя и пытались объяснять на пальцах.



Чувствую, тема тонет в оффтопике. Если всё-таки вернуться к обсуждению, то есть ещё диссер[link96] (может, кому-нибудь он прибавит понимания по сравнению с статьёй). Впрочем, диссер моложе статьи года на 2, потому результативная часть там совсем не ахти (разве что вводные части могут быть отчасти интересны).

Гость (15/04/2012 15:41)   


Так всё-таки более или менее? Там с 40 минуты за 5 минут Кухаренко легко и просто объясняет появление "стрелы времени" и утверждает, что критики этого рассуждения нет, а есть просто замалчивание. А он основывается на работе Рязанова, сделанной под руководством Файнберга в теоротделе ФИАН и опубликованной в ЖЭТФ в 1958 году. А в то время букафф было гораздо меньше и подходили к ним гораздо строже.

И по моей ссылке эта передача тоже есть, если в браузере флеш разрешить :)


А как отличить пара- от не пара-. Судьи кто?
Вот даже упомянутый вами академик Рубаков, будучи заместителем председателя комиссии по борьбе с лженаукой, сам делает псевдонаучные работы[link97] и даже получает за это премии. Вероятно ещё и поэтому в его речах вам было далеко не всё понятно.

Вообще, многие уже говорили, нужна комиссия по научной этике, а не по борьбе с непонятно чем. Потому что что такое порядочность понимает гораздо больше людей и на этой основе придти к согласию существенно проще.
— spinore (15/04/2012 18:23, исправлен 16/04/2012 09:32)   

Там хотя бы нет заведомой ахинеи наподобие таких перлов из вашей ссылки[link98] как


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

Библейское отделение света от тьмы соответствует в физике рождению свободного фотона

Квантовые траектории Вселенной. Будем обозначать состояния Вселенной параметром q — «координатой» Вселенной. Координата Вселенной

И др.



Вижу, фрикам термин «стрела времени» понравился — разнесли по всем своим говноресурсам Т.е. только теорией заговора объяснять вещи умеете? Вы-то сами как считаете? Вы читали эти работы, разбирались с ними, анализировали их слабые стороны? Или вам после этой видеолекции «всё стало ясно»? Мне вот — нисколько, но раз вам всё стало ясно, ФИАН, Файнберг и все дела, то не почтите за труд ответить на следующие мои вопросы:

  • Может быть, я невнимательно слушал, но объяснения, как частица «угадывает» траекторию, я так и не услышал. В классической механике это срабатывает за счёт возможности локального описания (зная координату и импульс в момент времени t, можем предсказать какие они будут в момент t + dt), а в квантовой механике локальности принципиально нет. Как это согласуется у автора?
  • Допущение, которое автор делает (и он его честно озвучил), по-видимому, математически эквивалентно тому, что у Зубарева-Морозова-Рёпке написано (Двухтомник «Статистическая механика неравновесных систем»), т.е. что возмущения асимптотически убывают при t → ∞. Другими словами говоря, мы вольны выбирать, совершенно произвольно, где стремятся к нулю возмущения: на +∞ или на -∞, из-за чего получается циркулярная аргументация вида «что заложили, то и получили». Заложили, что асимптотика при t → +∞ — получили стрелу времени в сторону +∞, но важно, что это произвол и ниоткуда не может быть выведен. Ничего концептуально нового я тут не вижу. Покажите мне, где я ошибаюсь.
  • Далее, автор «приравнивает» статистическую физику и теорию вероятностей, что как минимум свидетельствует о непонимании (см. в предыдущем посте выделение красным). С чего бы это, вдруг?
  • Автор озвучивает откровенно бредовые идеи, типа «давайте использовать бесконечные десятичные дроби вместо простых». Это нормально?
  • Cравнивать диаграммную технику Фейнмана и Келдыша — дичь, потому что одно для квантмеха/КТП, а другое — для квантовой статистики (параллели-то есть, но инклюзивности нету, как мне кажется). А как считаете вы?
  • Он обвиняет функциональный интеграл в том, что это переписывание уравнения Шредингера (допустим), но перед этим он говорил, что «рязановская формулировка» изоморфна уравнению Шредингера. Какое-то двоемыслие получается, не так ли?
  • В конвенциональной квантовой механике есть постулат об измерении («формальной стрелке»). Более того, изменение (неунитарное) состояния при взаимодействии с классическим прибором — тоже часть постулата (а не только сама вероятность результата). Очень странно, что автор даже не упомнял о его статусе в формулировке Рязанова. Как бы вы это объяснили?
  • Объясните, почему петли, как элементарные события, соответствуют наблюдаемым.
  • По вашей же ссылке:
    Действительно, частица по Рязанову знает о будущем, она уже "была" в конечной точке – на измерительном приборе.
    Не слишком ли бодро автор отказывается от принципа причинности? И, что самое интересное, даже это не спасает его от циркулярности аргумента. Почему вдруг при взаимодействии с классическим прибором физическая величина фиксируется?
  • Судя по всему, главное отличие от функционального интеграла в том, что в последнем используется eiS, а тут — cos(S), причём всевозможные петли сводятся к наличию всего двух классов траекторий — туда и обратно, по которым и идёт суммирование. Это и есть всё отличие?

Может быть, чтение первоисточников и сняло бы часть этого пафоса этих вопросов, но с видео ничего не понятно. Он адепт какого-то подхода; может говорить то, что ему выгодно, и умалчивать то, что ему произносить невыгодно. С большой вероятностью при более близком рассмотрении «новый подход» может оказаться обычным трюкачеством. Выше я цитировал ту же программу с Гордоном, в трёх частях, но с другим автором, которого, если послушать, начнёт казаться, что открытие тянет как минимум на нобелевскую. Только вот если знать предметную область, про которую там говорится (в данном случае я с ней более-менее знаком), всё выходит не феноменальным открытием, а ещё одним небольшим шажком к лучшему пониманию, где по большей части ничего концептуально нового не возникает. Рязанов же ещё более маргинален, даже по сравнению с теми тремя передачами. Более того, в отличие от них, он цитирует не себя и при этом много загоняется. У автора логика изложения в этом видео отсутствует как класс: какое-то камлание сплошное, в этом хаосе разобраться очень трудно, остается на ключевые слова реагировать, типа «стрела времени» и «формулировка квантовой механики». Кроме того, судя по цитатам, хаос не только в изложении, но и в голове. Какая-то «холиcтическая[link99] картина мира», где всё и со всем связано.


Есть такая общая тенденция к вытаскиваю на свет самой чернухи, самого грязного пиара и прочего. Если нечто подано как свершение, этому уделяют столько времени, а другие вещи, не столько распиаренные, но более концептуальные и важные для науки, остаются без внимания. Слышат тех, кто громче кричит, и при этом не стесняется в выражениях, да.




Забыл сказать: там опечаток в формулах много — в первой части штук 20 нашёл. Будет время — напишу листинг.

— spinore (27/05/2012 02:38, исправлен 27/05/2012 03:10)   

> Люди знающие квантовую механику могут полистать эту книжку, чтобы извлечь из неё ссылки на ряд оригинальных статей.
На этой[link100] странице можно найти ссылку[link101] на интересную книжку. На 229ой стр. обсуждается Доронин (кому интересно — читайте).


У Graeme Smith есть интересный обзор[link102] на тему пропускных способностей квантовых каналов (всего 5 страниц, много обсуждений и мало формул). Оказался очень полезен для структурирования каши в голове. Вот некоторые цитаты, в том числе про связь с шумовой и квантовой криптографией, а также классическими каналами:


As a result a quantum channel has a variety of capacities, each of which characterize its capability for achieving a different kind of communication task. For example, the most direct analogue of the capacity mentioned above is the classical capacity of a quantum channel, which tells us the best rate at which the channel can transmit classical information from sender to receiver. The private classical capacity of a quantum channel quantifies its capability for quantum cryptography [2], and has close connections to the capacity of a wire-tap channel as considered by Wyner [3] and Csiszar-Korner [4]. If we are interested in coherently transmitting a quantum state, we must consider the quantum capacity of our channel, and if we have access to arbitrary quantum correlations between sender and receiver the relevant capacity is the entanglement assisted capacity. In general, these capacities are all different, which gives a variety of inequivalent ways to quantify the value of a quantum channel for communication. The communication capacities of a quantum channel are not nearly as well understood as their classical counterparts, and many basic questions about quantum capacities remain open. The purpose of this paper is to give an introduction to a quantum channel’s capacities, summarize what we know about them, and point towards some important unsolved problems
...
The bosonic gaussian channels are an important, potentially experimentally relevant, class that it would be nice to understand better (for a review, see [28]). Capacities of the attenuation channel are known [29] (врёт нагло, т.к. там посчитано только для вакуумной среды — самый тривиальнейший случай), but even for single mode gaussian channels we only understand a few special cases see [30] for recent work on the classical capacity). Since gaussian channels are a fairly simple class, understanding their capacities may be easier than the general case. As usual, the question hinges on understanding additivity properties of χ, P(1), and Q(1).
...
There is a qualitative similarity between quantum channels and classical broadcast channels [37]—in point-to-point quantum problems, we always implicitly have a second receiver in the form of the environment. So, when we look at the private classical transmission with a quantum channel, the achievable rates we find are closely related to the classical results on broadcasting privacy [4]. Furthermore, most of the channels whose quantum capacity we can compute are degradable, a notion that comes directly from the classical idea of a degraded broadcast channel [38], [37]. Can this correspondence be developed into an explicit mapping between (perhaps a subset of) quantum channels and classical broadcast channels, with the capacities of the former derived from the capacity region of the latter?
I’m grateful to Charlie Bennett for comments an an earlier draft and acknowledge support from DARPA QUEST contract HR0011-09-C-0047.

Релятивистская квантовая теория информации


Тем временем прогресс не стоит на месте: уже давно начались попытки построения теории информации поврех релятивистской квантовой теории. По сути, это скрещивание теории относительности и квантовой информатики. На эту тему


  • Пишутся обзоры:

    В частности, даже в Rev. Mod. Phys. уже статья имеется[link103] (формул мало, введение должно быть всем понятным). Кстати, там есть кое-что про у нас уже упоминавшуюся[link104] историю с Визнером в контексте QKD:
    Some trends in modern quantum information theory may be traced to security problems in quantum communication. A very early contribution was Wiesner’s seminal paper Conjugate Coding, which was submitted circa 1970 to IEEE Transactions on Information Theory, and promptly rejected because it was written in a jargon incomprehensible to computer scientists (this actually was a paper about physics, but it had been submitted to a computer science journal). Wiesner’s article was finally published (Wiesner, 1983) in the newsletter of ACM SIGACT (Association for Computing Machinery, Special Interest Group in Algorithms and Computation Theory). That article tacitly assumed that exact duplication of an unknown quantum state was impossible, well before the no-cloning theorem (Wootters and Zurek, 1982; Dieks, 1982) became common knowledge. Another early article, Unforgeable Subway Tokens (Bennett et al., 1983), also tacitly assumed the same.

  • Собираются воркшопы:
    The workshop is timely because of newly emerging prospects for experimental tests of phenomena of relativistic quantum information, for example, using quantum communication with satellite-based instruments or Berry’s phase tests of the Unruh effect. [link105]

  • Пишутся статьи:

    Как раз по поводу обсуждений:
    Не, ну если выделить гранты на соответствующие исследования, то вам изучат и опишут, какие-там квантовые явления могли бы происходить в негильбертовых пространствах (/comment52112[link106])
    Не достичь, но чуть-чуть прикоснуться к ним, к таким экстремальным состояниям, можно разве что на горизонте событий вокруг чёрных дыр, но те, кто туда попали, нам уже не расскажут :) (/comment52116[link107]).

    Не расскажут, но могут попытаться[link108]. Алису засасывает в чёрную дыру, она напоследок хочет что-то сказать Робу8, зависающему на безопасном расстоянии от горизонта событий, о том, как ей хорошо там, и что возвращаться она не планирует. Как поведёт себя в такой пикантной ситуации квантовый канал между Алисой и Робом? Оказывается, квантовая пропускная способность падает в ноль при бесконечном ускорении (при достижении горизонта событий), т.к. все квантовые корреляции разрушаются, а классическая остаётся конечной при сколь угодно близком расстоянии к горизонту событий. Свежак, статья недавно вышла[link109] в Phys. Rev. A.

  • Делаются доклады:

    > По-моему Иванов откровенно смеется над читателем, или изучал физику самостоятельно не окончив начальной школы.

    Смотрите, как Тим Ральф[link110]9 откровенно смеётся10 над слушателями: Алиса и Роб, в космосе, на релятивистских скоростях, а между ними... квантовое распределение ключей :) Ева, естественно, схематически изображена в виде летающей тарелки/НЛО (ну а кому ещё в космосе атаковать?). Вот пруф11:

    http://tau.rghost.ru/38303840/image.png

    Вообще, воркшоп выдался достаточно интересным. Список докладов можно посмотреть здесь[link111]. Пользуясь административным ресурсом тем, что квантовую информатику в непрерывных переменных на уровне общеевропейских проектов координируем мы12, попытался продавить выкладку на сайт всех слайдов с докладов, но, к сожалению, многие так и не прислали файлы, в том числе Тим. Видимо, народ боится выкладывать нечто, содержащее ещё не опубликованные в arXiv'е идеи/результаты (наверное, и я не исключение). Для pgpru.com наибольший интерес из квантовой информатики представляет квантовая криптография; на эту тему было два хороших доклада от представителей SeQureNet13, и, хотя они не выложены на сайте, слайды удалось полностью заснять, так что будут выложены :) Когда-нибудь в следующий раз напишу пост на эту тему.


8Почему в релятивистской квантовой информатике всегда говорят «Роб» вместо «Боб» для меня осталось загадкой.
9Continuous variables quantum information processing (CVQIP) workshop, Дания, 2012.
10Для тех, у кого RefControl, картинка по ссылке http://tau.rghost.ru/38303840/image.png
11История с этой картинкой интересная получилась. Обычно я ушами не хлопаю и релевантное щёлкаю сразу, но тут ступил. Доклад вызвал много вопросов, так что я успел куда-то сходить, вернуться, а Тим ещё отдувался. Под конец возникла пауза и ведущая спросила всё ли с вопросами. Я тут решил не упустить момент и поднял руку. Попросил показать слайд с "УФО". Видимо, моё английское произношение в этом слове было совсем никудышным, а по контексту не догадаться, но, к счастью, ведущей на этой порции докладов была Королькова, и она ему перевела просьбу. Зал, видимо, ожидал, что я что-то спрошу по теме, но я просто поднял фотоаппарат и сфотографировал. Хохот был на весь зал.
12

The QuIC initiated in 2002 a series of conferences especially devoted to continuous-variable quantum information processing, which now runs on an annual basis, and has been coordinating European research projects on this topic since 2004. [link112]

13Это spin-off с попыткой коммерциализации QKD в непрерывных переменных, уже упоминалось в /comment50366[link113].

— unknown (27/05/2012 16:04, исправлен 27/05/2012 16:06)   

School of Mathematical Sciences – University of Nottingham[link114]:


In the field of relativistic quantum information we study how to process and transmit information using quantum systems moving in spacetime. Two observers, Alice and Rob (the relativistic Bob) want to teleport a quantum state of a cavity field mode.
— spinore (27/05/2012 20:42)   
Да, мне так и подумалось сразу, что relativistic Bob = Rob. Но вот почему только Rob, а не «Ралиса» (relativistic + Alice)? Или достаточно только одного из них сделать релятивистским? Если речь идёт не о фотонах, то всегда можно выбором системы отсчёта свести задачу к тому, что один будет релятивистским, а другой — нет (в пределе — покоящийся).

В том же время, насколько это важно, чтобы переопределять устоявшиеся термины? Или это из-за того, что нужно рассматривать одновременно как релятивитского Боба, так и нерелятивистского? Одним словом, всё равно много вопросов остаётся.

P.S.: текст «Identifying terrorists via their communication footprint» (по ссылке) впечатляет.
— unknown (27/05/2012 21:46)   
Думаю, так всё и есть.
Алиса всегда инициатор протокола, что-нибудь первой посылает, вызывает на связь. Поэтому, вероятно, удобнее как-то делать привязку к ней, как покоящейся.

Не помню, как это положено всё описывать строго, но во всяком научпопе при рассмотрении примеров постоянно сравнивают релятивистский и обычный случай. Кажется, исторически в физике так тоже было (хотя сейчас уже может и неактуально). Поэтому, наверное иногда и делают отсылки от Роба к Бобу — даже на слайде с вашего комента. Кстати, ссылка со списком докладов не открывается.
— spinore (28/05/2012 01:37)   

Ну если важно рассмотреть оба случая или подчеркнуть отличия, то да. Просто свобода выбора того, что принимается за покоящуюся систему, остаётся всегда. С тем же успехом можно считать, что Земля покоится, а Солнце движется вокруг неё. Единственное концептуальное отличие — инерциальность системы: описание движения в неинерциальных системах (пример — Солнце вокруг Земли, в общем случае — движение системы отсчёта с ускорением) намного тяжелее, чем в инерциальных.


Просмотрел тот факт, что она содержит пробел. Как известно, нет никакого способа[link115] правильно вставить ссылки содержащие пробел. Движок превращает его в плюс, потом можно поменять обратно руками. Вот правильная ссылка:
http://www.quin.fysik.dtu.dk/English/News/Workshop 2012/Program.aspx
Гость (28/05/2012 12:08)   
[offtop]
Тим Ральф откровенно смеётся над слушателями: Алиса и Роб, в космосе, на релятивистских скоростях, а между ними... квантовое распределение ключей :) Ева, естественно, схематически изображена в виде летающей тарелки/НЛО (ну а кому ещё в космосе атаковать?)
А что тут смешного? В космосе секретность тоже может понадобиться, да и "тарелки" тоже весьма летают[link116]...

[/offtop]
— spinore (03/11/2012 10:37)   

Очень напоминает transactional interpretation[link117] (может, это оно и есть?). На лурке её описали[link118] как

частица посылает запрос в будущее (волна предложение) и получает ответ из будущего (волна подтверждение). Степень совпадения фаз определяет амплитуду.

«Ответ из будущего» — конечно, жуть. Резво расправляются с принципом причинности, который опровергать пока совсем нечем, одна фантазия; или, может, для красного словца так назвали, а в реальности объясние абсолютно обыденное...
— unknown (04/11/2012 19:36, исправлен 04/11/2012 19:42)   

Мне как-то приходит в последнее время смутное понимание, что есть абстрактная физика ради математики, изучающая заведомо невозможные или скорее всего несуществующие в нашем мире физические абстракции. По аналогии с тем, как появлялась абстрактная алгебра и др. направления математики, её называют "абстрактной", "невозможной", "экзотической", "спекулятивной", не знаю, есть ли точный термин.


Например, нелинейная квантовая механика с нарушением принципа неопределённости Гейзенберга и сверхсветовыми скоростями (Daniel S. Abrams, Seth Lloyd).


Стандартное оправдание такие исследований: применение строгого научного подхода к созданию и изучению абстракций, существующих за пределами достоверных представлений о реальности, помогает лучше понять реальный мир.


Абстрактная или невозможная криптография тоже похоже существует, как computer science и физика (интересно в каких науках это ещё есть?). Но есть конечно граница (в основном методологическая) между такой маргинальщиной и откровенно (псевдо)научным фричеством.

Гость (20/11/2013 19:31)   
С вашим предыдущим постом согласен.


Некоторые люди мне сказали, что это называется «opertional theories». Это класс теорий, похожих на квантмех, в которых отказались от некоторых квантово-специфичных требований, оставив общую структуру. Можно прогуглить тему по фразам "operational theory" quantum и "operational theories" quantum. Например, почти сразу находится работа[link119]. В аннотации:

A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories, and categorical quantum mechanics.

Правда, в отличие от вами упомянутой[link120] работы, дальше третьей страницы лучше не ходить, потому что есть такие[link121] дозы[link122] матана терката[link123], которые для неподготовленного специальным образом теоретика являются летальными (про людей здесь речь вообще не идёт).

†-категории — это кто вообще такие? В википедии перевода на русский нет, гугл тоже не помогает. Это так называемые категории с инволюцией[link124]? А другая ссылка — это что? Симметричные моноидальные категории с инволюцией[link125]? Помню, unknown здесь обсуждал сантехническую разводку[link126], а смотрю, она уже в вики[link127], ха-ха. ☻
Гость (17/08/2014 01:27)   

По-моему, это очень похоже на то, что вы хотели:*

W[link130]e establish the classical capacity of optical quantum channels as a sharp transition between two regimes—one which is an error-free regime for communication rates below the capacity, and the other in which the probability of correctly decoding a classical message converges exponentially fast to zero if the communication rate exceeds the classical capacity. This result is obtained by proving a strong converse theorem for the classical capacity of all phase-insensitive bosonic Gaussian channels, a well-established model of optical quantum communication channels, such as lossy optical fibers, amplifiers, and free-space links. Our result bolsters the understanding of the classical capacity of these channels and opens the path to applications such as proving the security of the noisy quantum storage models of cryptography for optical links. // Аннотация

We showed that the success probability of correctly decoding classical information asymptotically converges to zero in the limit of many channel uses, if the communication rate exceeds the capacity. Our result thus establishes the capacity of these channels as a very sharp dividing line between possible and impossible communication rates through these channels. This result might find an immediate application in proving security of noisy quantum storage models of cryptography [19] for continuous-variable systems. The results of this paper can also be easily extended to the more general case of multimode bosonic Gaussian channels [12]. // Стр. 15

Их ссылка [19] — это работа «Unconditional security from noisy quantum storage»:

W[link131]e consider the implementation of two-party cryptographic primitives based on the sole assumption that no large-scale reliable quantum storage is available to the cheating party. We construct novel protocols for oblivious transfer and bit commitment, and prove that realistic noise levels provide security even against the most general attack. Such unconditional results were previously only known in the so-called bounded-storage model which is a special case of our setting. Our protocols can be implemented with present-day hardware used for quantum key distribution. In particular, no quantum storage is required for the honest parties. // Аннотация, IEEE TIT 2012.

Авторы первой работы зацепились за то, что для их типов гауссовых квантовых каналов выполняется «strong converse»[link132], что якобы (эзотерически) достаточно для сведения задачи к тому сценарию, который был рассмотрен в IEEE-2012, где, опираясь на «(quantum) bounded storage model» авторам удалось представить протоколы для BC** и OT.


*Наткнулся чисто случайно, просматривая цитирования. Эти ребята на наши работы сослались.
**Невозможный[link133] без дополнительных допущений в нерелятивистике (не путать с релятивистикой[link134]).

Ссылки
[link1] http://www.pgpru.com/comment51139

[link2] https://en.wikipedia.org/wiki/Mutual_information

[link3] http://www.pgpru.com/biblioteka/statji/sac/12pokazatelimeryanonimnosti

[link4] https://en.wikipedia.org/wiki/Holevo's_theorem

[link5] https://en.wikipedia.org/wiki/Coherent_information

[link6] http://www.pgpru.com/forum/kriptografija/pomogitereshitjzadachuchislovoeianaliticheskoeresheniefunkcii

[link7] http://www.pgpru.com/forum/kriptografija

[link8] http://www.pgpru.com/chernowiki/statji/kriptologija/modeljraspredeljonnojjsetihranenijakljucha

[link9] http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1055638

[link10] http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=720553

[link11] http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1057074

[link12] http://arxiv.org/abs/0809.3972

[link13] http://arxiv.org/abs/1111.1986

[link14] http://arxiv.org/abs/0906.2762

[link15] http://arxiv.org/abs/0802.3397

[link16] http://arxiv.org/abs/0901.4969

[link17] http://iopscience.iop.org/1367-2630/11/6/063023

[link18] http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1266817

[link19] http://arxiv.org/abs/cs/0107030

[link20] http://medbiol.ru/medbiol/skul_evol/00001c65.htm

[link21] https://ru.wikipedia.org/wiki/Теория_r-K_отбора

[link22] http://www.cs.bris.ac.uk/Teaching/learning/junk.conferences.html

[link23] https://www.pgpru.com/comment41846

[link24] http://cm.bell-labs.com/who/adw/index.html

[link25] http://www.pgpru.com/comment47215

[link26] http://arxiv.org/abs/quant-ph/0002044

[link27] http://imi.kyushu-u.ac.jp/~morozov/

[link28] http://imi.kyushu-u.ac.jp/~morozov/collection.html

[link29] http://pra.aps.org/abstract/PRA/v59/i3/p1820_1

[link30] https://en.wikipedia.org/wiki/Norbert_Wiener

[link31] http://arxiv.org/abs/quant-ph/0212050

[link32] http://ir.lib.nthu.edu.tw/bitstream/987654321/19171/1/2030138030002.pdf

[link33] http://www.qubit.it/research/publications/Barbosa_QCM.pdf

[link34] http://www-cs-students.stanford.edu/~blynn/gitmagic/intl/ru/ch01.html

[link35] http://www.pgpru.com/comment16695

[link36] http://www2.math.kyushu-u.ac.jp/~morozov/docs/ikm06possibility.pdf

[link37] http://www.pgpru.com/comment35960

[link38] http://www.pgpru.com/comment24461

[link39] http://www.pgpru.com/novosti/2009/zaschitaotkopirovanijaspomoschjjufizicheskinekloniruemyhfunkcijj

[link40] http://www.pgpru.com/comment16549

[link41] http://web.archive.org/web/20100425043222/http://www.crypto.ethz.ch/research/keydemo/Overview.html

[link42] ftp://ftp.inf.ethz.ch/pub/crypto/publications/Maurer93a.pdf

[link43] ftp://ftp.inf.ethz.ch/pub/crypto/publications/CacMau97b.pdf

[link44] http://www.pgpru.com/comment16557

[link45] https://en.wikipedia.org/wiki/Hyper-encryption

[link46] http://athome.harvard.edu/programs/hvs/

[link47] http://citebase.org/abstract?id=oai:arXiv.org:0907.1532#CiteBase::Widget::Citations

[link48] http://www.pgpru.com/comment50285

[link49] https://en.wikipedia.org/wiki/Convex_optimization

[link50] http://www.stanford.edu/~boyd/cvxbook/

[link51] http://cosmal.ucsd.edu/~gert/ECE273/CvxOptTutPaper.pdf

[link52] https://ru.wikipedia.org/wiki/Задача_коммивояжёра

[link53] https://secure.wikimedia.org/wikipedia/en/wiki/Quadratic_programming#Complexity

[link54] http://reslib.com/book/KED__strannaya_teoriya_sveta_i_veschestva

[link55] http://intellect-video.com/1473/Gordon-Strela-vremeni-online/

[link56] http://sir35.ru/kvant_magia/main.html

[link57] http://quantmagic.narod.ru/volumes.html

[link58] http://physmag.h1.ru/library.html

[link59] http://physmag.h1.ru/bibliography/bib.html

[link60] http://quantmagic.narod.ru/volumes/VOL142004/p4404.html

[link61] http://sir35.ru/kvant_magia/book/13.html

[link62] http://plasmon.rghost.net/download/37326001/165ecba3f201d9648f020091f98bb05e55caad77/1.pdf

[link63] http://www.searlsolution.com/technology3.html

[link64] http://www.kvanton.land.ru/modernizachiya.html

[link65] http://quantmagic.narod.ru/volumes/VOL112004/abs1123.html

[link66] http://n-t.ru/tp/ng/mzs01.htm

[link67] http://nil-0.livejournal.com/61764.html

[link68] http://margot.icp.ac.ru/structure/departments/the/labs/spin/about.html

[link69] http://arxiv.org/find/physics/1/au:+Doronin_S/0/1/0/all/0/1

[link70] http://nil-0.livejournal.com/61764.html?thread=349252#t349252

[link71] http://www.pgpru.com/comment51624

[link72] http://lib.rus.ec/b/161185/read

[link73] http://quantmagic.narod.ru/volumes/VOL142004/p4369.html

[link74] http://hyperboreja.narod.ru/COLORMAG.htm

[link75] http://www.inr.ac.ru/~ftkachov/vteninn/

[link76] http://theorphys.mipt.ru/courses/stat-eko/part1_a5-arpe0hsla66.pdf

[link77] http://potential.org.ru/Books/ItemDt20050831114503

[link78] http://theorphys.mipt.ru/courses/stat-eko/

[link79] http://theorphys.samsu.ru/pdf/9/th_09_09_Manko.pdf

[link80] http://quic.ulb.ac.be/_media/members/oleg/thesis/Pilyavets_MSc.pdf

[link81] https://www.youtube.com/watch?v=4IsrMmcAq0Y

[link82] https://www.youtube.com/watch?v=iBDapeSfAHs

[link83] https://www.youtube.com/watch?v=cqb_q-Tgi2g

[link84] https://www.youtube.com/watch?v=b0nVarOnBRI

[link85] http://www.pgpru.com/proekt/poljzovateli?profile=Vadim_Z

[link86] http://www.pgpru.com/comment50041

[link87] https://www.youtube.com/watch?v=Ws6AAhTw7RA

[link88] https://www.youtube.com/watch?v=TeS_U9qFg7Y

[link89] https://www.youtube.com/watch?v=nWTSzBWEsms

[link90] https://www.youtube.com/watch?v=tvIZyyNJnAQ

[link91] https://secure.wikimedia.org/wikipedia/en/wiki/Lense–Thirring_precession

[link92] https://ru.wikipedia.org/wiki/Сонолюминесценция

[link93] http://lurkmore.to/Чайник_Рассела

[link94] https://ru.wikipedia.org/wiki/Чайник_Рассела

[link95] https://www.youtube.com/watch?v=uJ7xRwThT8c

[link96] http://quic.ulb.ac.be/_media/members/oleg/thesis/Pilyavets_PhD_thesis.pdf

[link97] http://vteninn.livejournal.com/14433.html

[link98] http://intellect-video.com/1473/Gordon-Strela-vremenionline/

[link99] https://ru.wikipedia.org/wiki/Холизм

[link100] http://mezhpr.fizteh.ru/biblio/q-ivanov.html

[link101] http://mezhpr.fizteh.ru/biblio/q-ivanov/quant-b003-arpgqdvdrwq.pdf

[link102] http://arxiv.org/pdf/1007.2855v1.pdf

[link103] http://arxiv.org/abs/quant-ph/0212023

[link104] http://www.pgpru.com/comment36742

[link105] http://www.perimeterinstitute.ca/n/Events/Relativistic_Quantum_Information/Relativistic_Quantum_Information/

[link106] http://www.pgpru.com/comment52112

[link107] http://www.pgpru.com/comment52116

[link108] http://arxiv.org/abs/1111.1531v3

[link109] http://pra.aps.org/abstract/PRA/v85/i4/e042312

[link110] http://www.uq.edu.au/research/?page=6003

[link111] http://www.quin.fysik.dtu.dk/English/News/Workshop+2012/Program.aspx

[link112] http://www.quantiki.org/content/centre-quantum-infromation-and-communication

[link113] http://www.pgpru.com/comment50366

[link114] http://www.maths.nott.ac.uk/current_undergraduates/Summer_Bursaries/index.php

[link115] http://www.pgpru.com/comment51238

[link116] http://www.pgpru.com/comment40620

[link117] https://en.wikipedia.org/wiki/Transactional_interpretation

[link118] http://lurkmore.to/Квантовая_механика

[link119] http://www.cs.ox.ac.uk/people/chris.heunen/publications/2012/mcots/mcots.pdf

[link120] http://www.pgpru.com/comment73664

[link121] https://en.wikipedia.org/wiki/Dagger_category

[link122] https://en.wikipedia.org/wiki/Dagger_symmetric_monoidal_category

[link123] https://ru.wikipedia.org/wiki/Теория_категорий

[link124] http://dic.academic.ru/dic.nsf/enc_mathematics/2091/КАТЕГОРИЯ

[link125] https://ru.wikipedia.org/wiki/Симметричная_моноидальная_категория

[link126] http://www.pgpru.com/comment48975

[link127] https://en.wikipedia.org/wiki/Categorical_quantum_mechanics

[link128] http://www.pgpru.com/comment51194

[link129] http://www.pgpru.com/comment51355

[link130] http://arxiv.org/abs/1401.4161

[link131] http://arxiv.org/abs/0906.1030

[link132] http://www.pgpru.com/comment77039

[link133] http://www.pgpru.com/comment56608

[link134] http://www.pgpru.com/comment73659