id: Гость   вход   регистрация
текущее время 14:10 29/03/2024
Владелец: unknown (создано 01/02/2013 16:29), редакция от 04/02/2013 14:56 (автор: unknown) Печать
Категории: криптография, квантовая криптография
http://www.pgpru.com/Новости/2013/КвантовыеКомпьютерыНевозможныАКвантоваяКриптографияНеИмеетДоказательствСтойкости
создать
просмотр
редакции
ссылки

01.02 // Квантовые компьютеры невозможны, а квантовая криптография не имеет доказательств стойкости?


Два ведущих кэмбриджских исследователя, Росс Андерсон и Роберт Брэди выложили весьма провокационную статью, ссылки на которую уже успели облететь ленты новостных агентств.


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


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


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


Авторы предлагают провести эксперименты, которые должны выявить преимущество солитонной или струнной модели, а до этого считать теоретические основы квантовой криптографии недоказанными.



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



Источник: ArXiv.org: Cryptography and Security, Quantum Physics
См. также: Hard questions about quantum crypto and quantum computing



 
На страницу: 1, 2 След.
Комментарии [скрыть комментарии/форму]
— Гость (10/06/2013 09:58, исправлен 10/06/2013 10:00)   <#>

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

— unknown (10/06/2013 11:05, исправлен 10/06/2013 11:05)   профиль/связь   <#>
комментариев: 9796   документов: 488   редакций: 5664

Интересный глюк — предыдущий комент отправлен мной под моим логином, а превратился в Гостя!

— Гость (10/06/2013 13:31)   <#>

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


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


Кратко работа с моделями в физике сводится к следующему:
  1. Берут все модели объяснения, какие только есть.
  2. Из всего набора моделей отбраковывают те, которые нефальсифицируемы.
  3. Из фальсифицируемых моделей отбирают те несколько, которые лучше всего описывают реальность.
  4. Из лучше всего описывающих реальность отбирают те, которые самые простые. Это формирует своего рода «устойчивый набор».
  5. Модели из набора могут противоречить друг другу, но должны одинаково хорошо описывать эксперимент. Это так называемая конкуренция научно-исследовательских программ Лакатоса. На этой стадии модели могут жить долго.
  6. Если вдруг находится, что одна из отобранных моделей согласуется с экспериментом лучше, чем другая, последнюю бракуют.

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

Вышеописанное — погоня за абсолютно фундаментальной истиной теорией, это то, к чему исторически стремились. Что же касается реальности, существуют уровни детализации: грубые модели, более точные модели, самые точные и т.д. Например, в порядке увеличения фундаментальности: классическая механика, теория относительности и квантовая механика, квантовая теория поля, теория квантовой гравитации (единая теория всего). Понятно, что вы не будете описывать падение камня на землю с учётом релятивистских и квантовых поправок: это не нужно, и вы довольствуетесь классической механикой Ньютона. Однако, для надёжного расчёта GPS-навигации придётся учесть уже всю релятивистику, но вам не нужна квантовая теория поля. При расчёте того, что происходит с космическими лучами, частицами высокой энергии в ускорителях и коллайдерах приходится опускаться на уровень глубже и опираться на модель квантовой теории поля (и её приближений), но вы не встретите там ничего про квантовую гравитацию. Наконец, когда речь идёт о процессах вокруг чёрных дыр и рождении Вселенной, вы можете ставить вопрос о единой теории всего и о квантовой гравитации для точно описания происходящих процессов.
— unknown (29/07/2013 11:03, исправлен 29/07/2013 11:07)   профиль/связь   <#>
комментариев: 9796   документов: 488   редакций: 5664

Кастуется spinore для уделения беглого внимания паре публикаций:


http://arxiv.org/abs/quant-ph/0203049
http://arxiv.org/abs/1208.0034


Это типичная ересь, альтернативная физика и очередные фантастические допущения? Какие то субквантовые измерения с эквилибриумами, расширение понятие нелокальности и сразу раз — всё квантовое крипто порушено:


6 Eavesdropping on Quantum Key Distribution
Alice and Bob want to share a secret sequence of bits that will be used as a key for cryptography. During distribution of the key between them, they must be able to detect any eavesdropping by Eve. Three protocols for quantum key distribution – BB84 [20], B92 [21], and E91 (or EPR) [22] – are known to be secure against classical or quantum attacks (that is, against eavesdropping based on classical or quantum physics) [23]. But these protocols are not secure against a ‘subquantum’ attack [7].

Вот какая-то дискуссия.

— Гость (30/07/2013 04:18)   <#>

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

Работа первая


Про первую работу, общие тех. моменты: судя по архиву, с публикациями у автора слабовато. Phys. Lett. A и J. Phys. A — журналы на грани приемлемости. Труды королевской академии наук — что-то невнятное. Вроде там бывают неплохие обзоры/работы, но это всё равно маргинально. Про всякие труды конференций с мнимым IF даже заикаться не хочетcя. Доморощенные журналы типа индийского J. Phys с IF=0.5 — ну куда это годится? Для сравнения, у PRA индекс в районе 2.5. И если PRA часто критикуют за скатывание в говно и откровенно слабые работы, то что говорить о других? Единственная серьёзная работа автора — статья в PRD. Выглядит она более солидно на фоне остальных его работ, но, опять же, я не космолог, чтобы судить.

Если прочитать введение, то все ссылки на ранние работы, все первые 7 ссылок — на самого себя, причём все до одной эти работы, как и сама обсуждаемая, без соавторов. Вам не кажется это странным? Мне сейчас неудобно и лениво пробивать его по БД ISI и scopus'а, но больше чем уверен, что с цитированиями там будет всё так же предсказуемо.

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

Теперь по существу. Шаблон стандартен:
  1. Предположим, что вокруг нас в мире есть НЁХ нечто, что не подчиняется той физике, которую мы знаем.
  2. Пусть это НЁХ нечто обладает свойствами такими-то и такими-то, потому что нам так хочется. Ну или у нас в носу именно вот так выковырялось на данный момент.
  3. Ба-а! Смотрите! Из существования НЁХ следует столько всего интересного! Можно и QKD ломать, и NP-задачи решать, и на α-Центавру слетать. Интересные следствия, да? Поэтому надо нашу НЁХ очень тщательно изучать, ведь она даёт именно ту сенсацию, какую мы хотели бы получить от науки.

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

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

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

Работа вторая


Тех. моменты: у первого автора куча работ с известными людьми, в списке литературы цитируется куча хорошо известного народа, сама статья в PRL, что как бы намекает. Естественно, никаких далеко идущих бреда умозаключений типа взлома QKD и NP-полных задач там нет, что ничуть не удивительно. В абстракте и тексте многократно упоминаются Ozawa и Wiseman. Обе фамилии тем, кто в теме, хорошо известны.

Кстати, да, Wiseman. :-) Лирическое отступление, из недавнего:
— Ты не возражаешь, что мы твой доклад поставим вместо Wiseman'овского, поскольку он отказался поехать на конференцию по каким-то причинам? Просто известный человек, многие из-за него на конференцию регистрировались, а тут приедут и их будет ждать такое разочарование.
— Люди же должны понимать, что если докладчик отказался, то это не означает, что вместо него поставят кого-то, не менее крутого. Так что мне, в общем-то, всё равно.
— ОК, но запомни: ты не имеешь права зафейлить доклад!
P.S. Вышеупомянутый Gil Kalai там тоже должен быть. Доклад обещает быть интересным. :)

Вроде там в статье всё понятно, или надо как-то пояснить? Жил-был на свете Гайзенберг. Во времена, когда квантовая механика ещё не была сформулирована как строгая мат. теория, народу приходилось довольствоваться суевериями, домыслами и прочей эвристикой. Базовые законы кв. механики — угадывать, следствия их — проверять на простых подручных (а других тогда не было) экспериментах. Трудно сейчас представить, как можно жить в квантовых экспериментах без лазеров, но тогда ещё даже слова такого не было. И уж, тем более, не было всяких там POVM.

Гайзенберг тогда предложил соотношение между степенью воздействия при измерении на систему и степенью увеличения неопределённости в сопряжённой величине после проведения такого измерения. Грубо говоря, чем точнее мерим координату, тем больше неопределённость наших знаний о том, каков у частицы импульс. Конечно, в школах учебники вошло другое соотношение, известное как соотношение неопределённостей Гайзенберга, — оно связывает не то, что выше указано, а дисперсии координаты и импульса в любом квантовом состоянии. Форма обоих соотношений неопределённостей похожа: произведение величин — постоянная Планка. Ещё позже было показано, что соотношение между дисперсиями (соотношение Робертсона) можно вывести* из коммутационных соотношений между операторами координаты и импульса: [ q, p ] = ih. Эти коммутационные соотношения назвали каноническими коммутационными соотношениями (CCR — canonical commutation relations), и именно они лежат в основе современного обучения квантмеху.

Что интересно, самое первое оригинальное соотношение Гайзенберга повисло в воздухе. Т.е., те величины, которые он хотел связать вместе, было непонятно, как связать воедино. В 70-ых годах на эту тему вышла статья, где было показано, что оригинальное неравенство неверно, а в 2003-ем (Ozawa) нашли, как его пофиксить: помимо произведения степени воздействия на увеличение неопределённости надо добавить ещё пару подобных членов и всё станет ОК. В общем-то, на этот момент вопрос, казалось бы, был уже закрыт, всё строго выведено и доказано. Однако, согласитесь, было бы красиво и физично поставить эксперимент, в котором в лоб продемонстрировать (для конситентности), что оригинальное соотношение Гайзенберга неверно. Ozawa и Wiseman предложили такой эксперимент, а в обсуждаемой статье PRL его осуществили и доказали очередной раз, что всё хорошо и квантовая механика правильная. Все счастливы.

P.S. К сожалению, из-за тех. причин и дедлайнов пока не хватает времени вернуться к нормальной жизни. Я ещё в юмор собирался про Белла ответить и про оракулы, даже материал подготовил, но написать не успел. Как найду время, так сразу. Июль выпал практически полностью; надо бы перечитать форум за последний месяц, чтобы отреферировать полезное.


*Вывод достаточно прост. Возьмём вектор | φ 〉 = A | ψ 〉, где A — произвольный оператор, и домножим его на сопряжённый:
| φ |2 = 〈 φ | φ 〉 = 〈 ψ | A+ A | ψ 〉 ≥ 0
(модуль вектора не может быть отрицательным, поэтому значение положительно). Вместо оператора A можно рассмотреть конкретный: A = q + ip, тогда раписывание квадратичной формы 〈 ψ | A+ A | ψ 〉 ≥ 0 можно представить, как сумму двух матриц, в одну из которых войдут коммутаторы:
[ q, p ] = ih; [ q, q ] = 0; [ p, p ] = 0; [ p, q ] = -ih
а в другую — антикоммутаторы ( { q, p } = qp + pq ):
{ q , p } = 2σqp; { q, q } = 2σqq; { p, p } = 2σpp; { p, q } = 2σpq = 2σqp.
Итак, первая матрица — симплектическая форма
[ 0 1]
[-1 0]
домноженная на единицу, а вторая — матрица ковариций, на диагонали которой стоят дисперсии. Если это выражение упростить, то получаем окончательное соотношение неопределённостей между координатой и импульсом в виде: detVh2/4 (вроде бы так). Обычно единицы меняют так, чтобы постоянная Планка h = 1. Для случая n частиц всё выводится аналогично и получается, кажется, dev V ≥ 2-2n. Пользуясь знанием того, чему равен коммутатор между координатой и импульсом, потенциально можно вывести соотношение неопределённостей между любыми другими двумя операторами (за исключением энергии и времени, но это отдельная история), поскольку любой оператор (как обычно полагают), может быть разложен в ряд по степеням qn pm.
— unknown (30/07/2013 10:12)   профиль/связь   <#>
комментариев: 9796   документов: 488   редакций: 5664
Спасибо за развёрнутый комментарий.
— unknown (20/01/2014 16:43)   профиль/связь   <#>
комментариев: 9796   документов: 488   редакций: 5664
А они не сдаются:

Why bouncing droplets are a pretty good model of quantum mechanics, http://arxiv.org/abs/1401.4356
— Гость (20/01/2014 19:06)   <#>
January 20th, 2014 at 07:01 UTC by Ross Anderson

… droplets bouncing on a vibrating tray of fluid can behave in many ways like … Anderson localisation and quantised orbits.

Но это другой Андерсон.

Подумалось: есть, например, теория колебаний. Там изучается то, что присуще любому колебательному процессу, где бы он ни происходил. Есть волновое уравнение, которое описывает тысячи разных типов волн, имеющих самое разное происхождение. То же касается диффузионного уравнения, уравнения Фоккера-Планка и многих других. Что из того, что что-то волновое ощущается за квантмехом? Теперь назвать его в честь этого гидродинамикой? Или маятниками на стержнях? Все эти параллелизмы между разными уравнениями изучены вдоль и поперёк, но если вдруг два явления описываются похожими (или даже идентичными) уравнениями, это ещё не значит, что одно есть другое. Гравитационный потенциал ~ 1/r2, кулоновский тоже, поэтому давайте теперь объявим силу притяжения разновидностью электростатической, у которой заряд связан с гравитационной постоянной — вот такая логика у Андерсона. Т.е. какая-то совсем базовая физическая безграмотность.
— Гость (25/01/2014 15:14)   <#>


Насколько одно "есть" другое определяется именно простотой получающегося описания. ;)
"Не следует умножать сущности без необходимости"
— unknown (16/06/2014 12:05)   профиль/связь   <#>
комментариев: 9796   документов: 488   редакций: 5664
И вот опять.
— Гость (16/06/2014 21:20)   <#>

Поглядел на их fileслайды. На стр. 27 ссылаются на работы:
Последняя набрана в ворде, что особенно умиляет.

В заключении к PRL-1:

We have thus obtained in a classical experiment a behavior typical of wave particle duality. A discussion of the relation between these single-particle experiments and those concerning elementary particles is unavoidable. It can be first recalled that a coupling between a particle and a guiding wave is the main ingredient of an early model of quantum mechanics proposed by de Broglie [12]. Variants of this model have been developed by Bohm [13] and it was shown that single-particle interference could be obtained in this framework [14]. Our experiment turns out to implement a particular version of this type of coupling. There is, however, a huge gap between our system and the quantum world where diffraction and interference of single particles is usually observed.

The differences can be listed. Our experiment has a macroscopic scale and no relation with the Planck constant. In a walker, the wave is emitted by the particle and travels at a finite velocity on a 2D material medium. It is a dissipative system, which is sustained by external forcing. The system is dispersive but this is masked because the wavelength is fixed by the forcing. We can measure the entire trajectory of the particles through the slits, an observation impossible in quantum mechanics [15]. Finally, because of a specific type of coupling of the particle with the wave, the probability distribution of the particles is linked with the wave amplitude (not with its intensity).

With these differences in mind we can recall the similarities. We have shown that the momentum of a walker becomes ill-defined when the transverse extent of its wave is spatially limited. This phenomenon results in a dispersion of individual deviations, together with a deterministic probability distribution of these deviations. The uncertainty principle inherent to the Fourier-transform of a wave is here responsible for a corresponding uncertainty affecting the motion of the material particle that emits the wave. We showed in the simulation how this wavelike behavior of particle trajectories can result from the feedback of a remote sensing of the surrounding world by the waves they emit. This phenomenon gives the walking droplet a kind of nonlocality since it evolves in a medium affected by waves it emitted in the past.

We are grateful to Arezki Boudaoud, Suzie Protière, and Maurice Rossi for stimulating discussions.

В заключении к PRL-2:

This experiment, together with the results on diffraction [4], clearly shows that the dual character of a walker results in both individual trajectory unpredictability and deterministic statistical behavior. More work is needed to understand in depth the relation between the trajectories of the droplet and its waves. Of particular interest is the link between the memory effect due to the superposition of past waves and the observed uncertainty. Although our experiment is foreign to the quantum world, the similarity of the observed behaviors is intriguing.

Т.е. пишут не так размашисто, как Адерсон, а поаккуратнее, замахиваясь, но интересней другое: наконец, подтянулись собственно специалисты по жидкостям (судя по афиллиациям), которые к первому PRL в архив написали опровержение, в котором заявили, что
  1. Им не удалось воспроизвести результаты описанных в PRL экспериментов.
  2. Даже если бы удалось воспроизвести результаты, их интерпретация могла бы быть иной, а, соответственно, и выводы тоже (там дебри с статистическими методами доказательства, вникать не стал).
Опровержение пока никуда не принято, но можно подождать, они только в апреле написали, 2 месяца прошло.

Наконец, на последнем слайде:

Open problem for the last 10 years: why do bouncing droplets behave like quantum mechanical particles?

We've found an elegant explanation!

  • Lorentz covariant oscillating phenomena
  • Experimental analogue of the electromagnetic interaction
  • Analogue of Schrödinger's equation too

Our model points to fascinating further problems in superfluids and even the foundations of quantum mechanics

See arxiv 1401.4356 or email us for draft of superfluid work

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

Интересно, Ааронсон с тех пор больше ничего на эту тему не писал? А то я не слежу за его блогом.

P.S. Квантовая механика: мифы и факты. Местами аргументы тривиальны, но много что правильно подмечено. Про виртуальные частицы повеселило — действительно, всё так и есть, очень живучий миф.
На страницу: 1, 2 След.
Ваша оценка документа [показать результаты]
-3-2-1 0+1+2+3