Есть два чисто симметричных состояния а также из куды. Существует ли какой-либо известный набор инвариантов который равен для обоих состояний тогда и только тогда, когда для ?
Существует теорема Гильберта о том, что для компактной группы, действующей на линейном пространстве, существует конечное число полиномиальных инвариантов, характеризующих орбиты. Однако (насколько мне известно) он не предусматривает явного построения инвариантов.
Проблема проста, когда (разложение Шмидта) и ( представление Майораны ). Частичные решения и решения с измененными предположениями (например, линейные операторы вместо унитарных операций) также приветствуются.
Это алгоритм вычисления однородных полиномиальных инвариантов в общем случае, однако без какой-либо попытки уменьшить сложность алгоритма. Основным необходимым компонентом алгоритма является возможность усреднения по мере Хаара группы локальных преобразований. В случае с кубитом это просто интегрирование по копиям SU(2). Но даже в более общих случаях компактных групп Ли эта задача возможна, но громоздка, см., например, следующую параметризацию SU(N) Бертини, Каччатори, Черкиаи, которую можно использовать для интегрирования.
Процедура следующая:
Сначала вычисляется функция Молиена группы локальных преобразований (страница Википедии описывает случай конечной группы, который можно обобщить на компактные группы):
Коэффициент в расширении Тейлора есть число линейно независимых однородных инвариантов степени n.
Поскольку подынтегральная функция является функцией класса, интегрирование может быть выполнено на максимальном торе по формуле интегрирования Вейля.
Теперь для каждой степени строятся все возможные комбинации инавриантов младших степеней, и если это число не исчерпывает искомого числа из ряда Молиена, то дополнительные инварианты вычисляются путем усреднения мономов нужной степени. Эта операция включает в себя интегрирование по мере Хаара, которое не сводится к интегрированию на максимальном торе, что является наиболее сложным шагом в алгоритме. Эта операция повторяется до тех пор, пока не будет получено достаточное количество линейно независимых полиномов, после чего один переходит к следующей степени. Этот процесс продолжается до тех пор, пока общее число инвариантов не достигнет разности размерности векторного пространства и локальной группы симметрии.
Более практичные варианты этой процедуры использовались для построения полиномиальных инвариантов для частных случаев проблем запутывания, см., например, следующую работу : Grassl, Rotteler and Beth.
Мне кажется, что формализм стабилизатора дает ответ на ваш вопрос (см. раздел 3.1 quant-ph/0603226 для введения в формализм). Учитывая два состояния, вы просто берете группу стабилизаторов для этого двумерного подпространства полного гильбертова пространства, и они дадут вам такой набор инвариантов. Однако это, конечно, не имеет ничего общего с глобально симметричными операциями, которые вы рассматриваете, и может быть выполнено с любой парой состояний. Однако, учитывая, что вы удерживаетесь в пределах симметричного подпространства, это гарантирует, что эти стабилизаторы всегда будут иметь описание, в худшем случае полиномиальное по количеству локальных систем.
Если вы хотите пойти дальше и попытаться найти некоторый набор инвариантов, который однозначно идентифицирует состояния, эквивалентные этой форме глобально симметричной локальной операции, то вам не повезло. Это связано с тем, что набор состояний продукта, который является глобально симметричным, охватывает пространство симметричных состояний, и, следовательно, любое глобально симметричное состояние может быть записано как суперпозиция глобально симметричных разделимых состояний.
Другими словами, без фиксации состояний невозможно получить наблюдаемую, которая инвариантна между двумя состояниями, но изменяется в пространстве симметричных состояний. Таким образом, единственные существующие инварианты зависят только от симметрии состояний.
ОБНОВЛЕНИЕ: я заметил, что Норберт и я интерпретировали вопрос несколько иначе. Я сосредоточился на существовании наблюдаемых, которые имеют одинаковое значение для эквивалентных состояний LU. Это эффективно отвечает на вопрос, существует ли измерение, которое отличает эти состояния от других симметричных состояний. Статья, на которую ссылается Норберт, посвящена математической структуре состояний и не может быть проверена с помощью одной копии пары состояний. Я понятия не имею, какой сеттинг имел в виду Петр (изначально я думал, что это именно он, но ответ Норберта заставил меня переосмыслить эту позицию).
Кажется, этот вопрос рассматривается в этой статье:
http://arxiv.org/abs/1011.5229
(Редактировать: я только что заметил, что это, похоже, ограничено кубитами, поэтому, вероятно, это не отвечает на ваш вопрос...)
Из комментариев Петра к моему другому ответу кажется, что он ищет инвариант математического представления состояния, а не наблюдаемую, которая остается неизменной. В этом случае ответ сильно отличается, и поэтому я публикую новый ответ, а не заменяю старый (поскольку это означало бы его полное переписывание, а текущая версия может представлять интерес для некоторых людей).
Любая матрица плотности может быть записана как , куда а также образуют ортонормированный базис для эрмитовых матриц, соответствующий размерности подсистемы, и включает единичную матрицу. При подаче заявки на местные унитарные права вы получаете . Теперь, если вы рассмотрите, что происходит почленно, вы заметите, что каждый оператор отображается только на операторы одинакового веса (т. е. нетривиально работающие с одним и тем же числом подсистем). Я возьму быть весовой функцией для каждого оператора . Итак, у нас есть . Это тривиально верно, так как для каждой подсистемы, где в действует как тождество (т.е. для каждого такой, что ) а также отменить, и поэтому преобразованный оператор также действует как идентификатор в этой подсистеме. И наоборот, если тогда . Для этого есть довольно интуитивная причина: локальные операции не должны создавать нелокальные корреляции.
Теперь из этого должно быть ясно, что является инвариантным, поскольку такой, что .
Это сохраняющаяся величина, не зависящая от симметрии, и зависит только от того факта, что все применяемые унитарии являются локальными, однако я считаю, что это именно то, что вам нужно. Как только вы вводите критерии симметричности состояний и операций, у вас появляются дополнительные критерии, если можно получить из путем перестановки кудитов, и, следовательно, также инвариантна для всех таких пар.
Этот ответ неполный, но он должен дать ответ почти для всех симметричных состояний ( т . е . его достаточно для всех, кроме набора симметричных состояний, имеющих нулевую меру).
Симметричное подпространство натянуто на состояния произведения. Затем мы можем рассмотреть различные способы разложения конкретного симметричного состояния на симметричные произведения; в частности, если любой выбор разложения естественным образом порождает инвариант.
Жадный способ разложить симметричный состояния в симметричные продукты было бы просто искать симметричный продукт с которым имеет наибольшую величину перекрытия. Позволять — односпиновое состояние, удовлетворяющее этому, и
Постоянно проецируя на ортодополнение отрезков все большего и большего множества симметричных произведений, мы обеспечиваем, чтобы результирующие проекции не будет иметь максимального перекрытия с каким-либо состоянием продукта, которое было раньше, или, в более общем смысле, которое может охватывать предшествующие симметричные продукты. Итак, на каждой итерации мы получаем односпиновое состояние такой, что имеет размерность на единицу больше, чем в предыдущей итерации. В итоге мы получим набор симметричных произведений, которые если и не охватывают симметричное подпространство, то хотя бы содержат в их промежутке. Таким образом, мы получаем разложение
Последнюю часть проще всего сделать, найдя нормальную форму для равных состояний для последовательностей односпиновых состояний, связанных общей односпиновой унитарностью. Мы можем сделать это, найдя унитарное который
Тогда у нас есть унитарное такое, что ; и для любых двух последовательностей состояний а также , мы должны получить ту же последовательность состояний . Затем вы можете определить, что два симметричных состояния эквивалентны, если они вызывают одну и ту же последовательность амплитуд. и те же односпиновые состояния "нормальной формы" .
В случае, если нет единственного состояния который максимально пересекается с при построении разложения симметричного произведения проблема заключается в определении состояний нормальной формы . Однако до тех пор, пока государства уникальны, что происходит с мерой 1, у вас должен быть инвариант полиномиального размера (с точностью до ограничений точности) для определения того, являются ли два симметричных состояния одинаковыми.
Петр Мигдаль
Петр Мигдаль
Петр Мигдаль