Можно ли опросить черные ящики для квантовой когерентности?

10

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

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

  1. Мы не можем выполнить запутывание сами: мы используем состояния продукта в качестве входных данных и измерения одного кубита на выходах. Тем не менее, мы можем выбрать основу нашей входной подготовки и наших измерений (как минимум, между двумя ортогональными основаниями).
  2. Как и выше, но мы не можем выбирать базы и должны работать на некоторой фиксированной, «естественной» базе.

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

Вопрос: в этом сценарии, есть ли серия корреляционных тестов, в стиле неравенств Белла , которые могут достичь этой цели?

agaitaarino
источник
1
Так должна ли быть очевидна последовательность или нет? В любом случае, возможно, вы найдете этот препринт интересным.
Киро
1
Действительно, 1212.0194 Нори и др. Кажется очень интересным, я проверю это с некоторой дальнейшей осторожностью. В любом случае, я редактировал вопрос, пытаясь быть более ясным как в целях, так и в условиях.
agaitaarino

Ответы:

2

Давайте предположим, что ваш черный ящик обрабатывает классические входные данные (т.е. битовую строку) на классические выходные данные детерминистическим способом, то есть он определяет функцию .f:xy

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

Итак, давайте предположим, что вы можете подготовить состояния продукта и измерить в двух разных основах, и Z, для аргументации. Одна вещь, которую вы могли бы сделать (которая может быть безнадежно неэффективной для всех, кого я знаю, но это где-то начать), это сначала определить функцию f ( x ), используя базис Z. Тогда для любой пары битовой строки х 1 и х 2 , которые отличаются только в одном положении, подготовить состояние ( | х 1 & plusmn ; | х 2 ) / XZf(x)Zx1x2 . Это состояние продукта, использующее основаниеZна всех сайтах, кроме одного. Предположим, что выходыy1=f(x1)иy2f(x2)различаются наk>0сайтах. (Еслиk=0, эволюция в любом случае не была согласованной.) Для битов, гдеy1иy2должны быть равны, просто измерьте их наосновеZ,чтобы убедиться, что вы получите то, что ожидаете получить. На оставшейсяк(|x1±|x2)/2Zy1=f(x1)y2f(x2)k>0k=0y1y2Zkсайты, если черный ящик является когерентным, вы получите состояние ГГц кубитов, 1k Если бы это было совершенно бессвязно, вы бы получили смешанное состояние второго ранга 1

12(|y1±|y2).
Еслиk=1, вы можете различить их напрямую, измерив этот кубит вX-образной системе(повторив несколько раз, чтобы получить статистику). Дляk>1 увас есть несколько вариантов. Либо вы можете выполнить тест Белла (k=2
12(|y1y1|+|y2y2|).
k=1Xk>1k=2) или эквивалент для состояний GHZ (таких как доказательства «все против ничего»), или применять свидетеля запутывания (некоторые из них основаны на наблюдаемых в одном кубите). В качестве альтернативы, измерьте каждый кубит на основе и запишите результаты. В случае запутанного состояния последний результат должен быть полностью предсказуемым на основе предыдущих результатов. Для смешанного состояния ответ будет совершенно непредсказуемым. Если вы хотите сделать более количественное утверждение, вы можете использовать что-то вроде энтропии, H ( X | Y ), где X - случайная величина, описывающая результат последнего измерения, а Y - случайная величина, описывающая результат всех предыдущие измерения.XH(X|Y)XY

XX

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

DaftWullie
источник
4

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

DaftWullie
источник
К материалу, который вы предложили, я бы добавил для удобства чтения это интуитивное объяснение изоморфизма Чой-Ямиолковского . Я переписал вопрос, мотивированный вашим ответом и другим предложенным ответом. В частности, я предполагал, что нельзя подготовить запутанное состояние в качестве входных данных, и если я правильно понимаю ваше предложение, это критическая проблема.
agaitaarino
1
Я ясно не понял классическую спецификацию ввода / вывода вашего вопроса при первом чтении. Если у вас есть одна фиксированная основа ввода и вывода, я думаю, что вы можете сделать очень мало, кроме как подсчитать количество различных ответов, которые вы можете получить по всем возможным входам (возможно, распределение ответов также будет уместным). Если черный ящик является последовательным, отображение состояний продукта на выбранной основе в другие состояния продукта на этой основе, каждый выход должен быть уникальным. Но это также относится и к классическим обратимым вычислениям, и я не понимаю, как бы вы их различали.
DaftWullie
2

Я не совсем уверен, что вы подразумеваете под квантовостью своего черного ящика. Поэтому, возможно, существуют более сложные подходы (аналогично другому ответу, вы можете использовать свидетеля запутывания, чтобы показать, что ваш черный ящик не разрушает запутывание). Однако, в целом, вы можете выполнить квантовую томографию процесса (см., Например, arXiv: quant-ph / 9611013 ).

М. Стерн
источник
Спасибо! Аналогично, позвольте мне внимательно проверить бумагу, прежде чем вернуться к вам, но в первом случае это кажется намного ближе к тому, что я просил, поскольку в arXiv: quant-ph / 9611013 можно использовать состояние продукта в качестве исходного состояния. (более совместим с «Мы знаем, как кормить их классическими материалами»).
agaitaarino
1
@agaitaarino Видимо, я не обращал особого внимания на это предложение. Если под классическими входами и выходами вы подразумеваете единую основу, то томография процесса не сработает. С этим ограничением невозможно отличить прямоугольник от классической карты.
М. Штерн,
Я попытался улучшить вопрос, чтобы различить два под-сценария. Если я понимаю ваш ответ, для под-сценария 1 проблема решена (по крайней мере, в Quant-Ph / 9611013 для конкретного случая), в то время как для под-сценария 2 она неразрешима. Это верно?
agaitaarino