Фермион Майораны: частица, совпадающая со своей античастицей

Фермион Майораны - спинор, для которого зарядовое сопряжение не меняет состояние: частица тождественна своей античастице. Конструкцию предложил Этторе Майорана в 1937 году, и почти девяносто лет она остаётся одной из самых обсуждаемых в физике: её приписывают нейтрино, ищут в безнейтринном двойном бета-распаде и эмулируют в топологических сверхпроводниках для построения защищённых кубитов.

Постановка Этторе Майорана, 1937

В предсмертной статье «Teoria simmetrica dell'elettrone e del positrone» молодой неаполитанский физик показал: уравнение Дирака допускает вещественное представление гамма-матриц, в котором спинор может быть вещественным. Такой объект совпадает со своей зарядово-сопряжённой версией, $\psi = \psi^c$, и описывает строго нейтральную фермионную частицу. У Дирака для каждой частицы существует отдельная античастица (электрон и позитрон); у Майораны частица и античастица - одно и то же состояние. Сам Майорана спустя несколько месяцев исчез по дороге из Палермо в Неаполь, и идея долго оставалась маргинальной - в Стандартной модели все заряженные фермионы оказались дираковскими.

Чем отличается от дираковского фермиона

Дираковский биспинор имеет 4 комплексные компоненты, то есть 8 вещественных степеней свободы; майорановский ограничен условием $\psi = \psi^c$ и хранит только 4 вещественные степени свободы. Это эквивалентно одной двухкомпонентной вейлевской частице, замкнутой через массовый член на саму себя. Принципиально важно: майорановская масса возможна только для электрически нейтральных фермионов. Любой заряд $Q$ нарушал бы $\psi = \psi^c$, потому что зарядовое сопряжение переводит заряд $+Q$ в $-Q$. Поэтому в Стандартной модели единственный кандидат на майорановскую массу - нейтрино.

Уравнение Майораны

В 4-мерии оно записывается как

$i\gamma^\mu \partial_\mu \psi = m\, \psi^c,$

где $\psi^c = C \bar\psi^T$ - зарядово-сопряжённый спинор, $C$ - матрица зарядового сопряжения. В отличие от обычного уравнения Дирака $i\gamma^\mu\partial_\mu\psi = m\psi$, массовый член связывает левую компоненту с зарядовым сопряжением правой и потому нарушает глобальное $U(1)$, отвечающее за лептонное число. В киральном базисе с левым вейлевским полем $\nu_L$ массовый член принимает компактный вид

$\mathcal{L}_{maj} = -\tfrac{1}{2} m\, \nu_L^T\, C\, \nu_L + \text{h.c.},$

и эта запись чаще всего используется в физике нейтрино.

Нейтрино как майорановский фермион

Нейтрино - единственный известный нейтральный фермион Стандартной модели, и его природа до сих пор не установлена экспериментально. Если нейтрино дираковское, у него есть отдельная стерильная правая компонента и независимое антинейтрино; если майорановское, антинейтрино тождественно нейтрино с противоположной спиральностью. Майорановская гипотеза элегантна тем, что встраивается в механизм качелей (see-saw): тяжёлая правая компонента с массой $M \sim 10^{14}$ ГэВ генерирует малую эффективную массу для лёгкого нейтрино

$m_\nu \approx \frac{m_D^2}{M},$

где $m_D$ - дираковский массовый параметр электрослабого масштаба. Это объясняет, почему нейтрино в $10^{12}$ раз легче электрона без подгонки.

Эксперимент 0νββ - главный тест майорановости

Прямая проверка - поиск безнейтринного двойного бета-распада: процесс $(A,Z) \to (A,Z+2) + 2e^-$ без вылета двух антинейтрино. Он запрещён сохранением лептонного числа и возможен только если нейтрино - майорановское (одно и то же $\nu$ испускается в одной вершине и поглощается в другой). Амплитуда пропорциональна эффективной майорановской массе

$\langle m_{\beta\beta} \rangle = \left| \sum_i U_{ei}^2\, m_i \right|,$

где $U_{ei}$ - элементы PMNS-матрицы смешивания. Ведущие коллаборации - KamLAND-Zen ($^{136}$Xe), GERDA и LEGEND ($^{76}$Ge), CUORE ($^{130}$Te) - установили пределы $T_{1/2} > 10^{26}$ лет, что соответствует $\langle m_{\beta\beta} \rangle \lesssim 0{,}1$ эВ. Сигнала пока нет; следующее поколение детекторов (nEXO, LEGEND-1000) нацелено на $\langle m_{\beta\beta} \rangle \sim 0{,}01$ эВ.

Эмерджентные майорановские квазичастицы

Параллельно физике частиц майорановские состояния всплыли в физике конденсированного вещества как квазичастицы - коллективные возбуждения, чьи операторы рождения и уничтожения вещественны: $\gamma^\dagger = \gamma$, $\gamma^2 = 1$. Канонический пример - одномерная цепочка Китаева (Kitaev 2001) с p-волновым спариванием:

$H = -\mu \sum_j c^\dagger_j c_j - \sum_j \left( t\, c^\dagger_j c_{j+1} + \Delta\, c_j c_{j+1} + \text{h.c.} \right).$

Переход к майорановским операторам $\gamma_{2j-1} = c_j + c_j^\dagger$, $\gamma_{2j} = -i(c_j - c_j^\dagger)$ показывает: при $|\mu| < 2t$ и $\Delta = t$ цепочка находится в топологической фазе, и на её концах остаются два несвязанных майорановских модуля с нулевой энергией. В 2D их аналог - вихрь в спин-поляризованном p+ip сверхпроводнике с майорановской нулевой модой в ядре. Кандидаты - Sr$_2$RuO$_4$ (под вопросом после Pustogow 2019), сверхтекучий $^3$He-A, а на практике - гетероструктуры InSb/Al и InAs/Al с сильным спин-орбитальным взаимодействием Рашбы и наведённой s-волновой сверхпроводимостью, демонстрирующей классический эффект Мейснера.

Неабелева статистика и braiding

У майорановских нулевых мод нетривиальная статистика: обмен двух мод реализует не фазу, а унитарное преобразование в вырожденном основном пространстве размерности $2^{N/2}$ для $N$ мод. Это неабелева статистика - порядок обменов имеет значение, $B_1 B_2 \neq B_2 B_1$. Алисея, Орег, Рефаэль и фон Оппен в 2011 году показали, что braiding можно реализовать на T-junction нанопроводов, перемещая моды по проводам через изменения локального потенциала. Получается топологически защищённый квантовый гейт: ошибка экспоненциально подавлена щелью сверхпроводника. Именно эту программу с 2010-х развивает Microsoft Station Q - топологический кубит обещает не требовать дорогостоящей коррекции ошибок, без которой не обходятся сверхпроводящие трансмоны на эффекте Джозефсона и ионные ловушки.

Сигнатура zero-bias peak

Минимальная экспериментальная сигнатура майорановского моды на границе нанопровода - пик нулевого смещения в дифференциальной проводимости. Туннелирование одного электрона в нулевую моду требует энергии 0, поэтому при $V = 0$ возникает резонанс высотой $G = 2 e^2/h$ (если мода идеальна и изолирована). Mourik et al. (Delft, Science 2012) показали такой пик в InSb-нанопроводе в контакте с NbTiN: пик появляется выше критического магнитного поля $B^*$ и устойчив к его развороту. Это была первая экспериментальная заявка на майорановское состояние в твёрдом теле.

Скептицизм и текущий статус

Энтузиазм быстро столкнулся с альтернативными объяснениями. Связанные состояния Андреева (ABS) в неоднородном потенциале на границе нанопровода тоже могут давать пик нулевого смещения, не несущий никакой топологической природы. В 2018 году Microsoft и команда Куммана из Делфта опубликовали в Nature статью с квантованным пиком $2e^2/h$ как «smoking gun», но в 2021 году статья была отозвана после внешнего аудита данных, показавшего, что часть данных вне опубликованного окна противоречила заявленной интерпретации. Это был серьёзный удар по программе. В 2022–2023 годах новые работы (Microsoft Quantum 2022 - «топологическая щель protocol», Aghaee et al. на InAs/Al-устройствах) предложили более жёсткие критерии: одновременное наблюдение пика на двух концах провода, корреляция с фазовой диаграммой, проверка через интерферометрию. Сейчас сообщество относится к майорановским сигнатурам осторожно: каждый кандидат проверяется на альтернативы ABS и тривиальной квантовой ямы. Окончательного подтверждения неабелевой статистики через braiding пока нет - это следующий рубеж.

Частые ошибки

• Путать майорановский спинор (фундаментальная элементарная частица, кандидат - нейтрино) и майорановскую нулевую моду (эмерджентная квазичастица в сверхпроводнике, не элементарная). Это разные физические объекты, объединённые только условием $\gamma^\dagger = \gamma$.
• Считать, что любой нейтральный фермион автоматически майорановский. Нейтрон электрически нейтрален, но имеет ненулевое барионное число и состоит из кварков - он не майорановский.
• Интерпретировать пик нулевого смещения как «открытие майораны». Без проверки на корреляцию между концами, на квантованную высоту и на устойчивость к деталям потенциала это могут быть тривиальные андреевские состояния.
• Думать, что отзыв статьи Microsoft 2018 закрыл всю программу. Отозвана конкретная работа с конкретными данными; теоретическая программа топологических кубитов жива, но требует более чистых экспериментов.
• Смешивать майорановскую массу нейтрино и механизм качелей. Качели - это сценарий генерации малой массы; майорановость - общее свойство нейтрино, которое может реализоваться и без качельного механизма.

FAQ

Можно ли «увидеть» фермион Майораны напрямую? Как элементарную частицу - нет. Если нейтрино майорановское, единственная прямая сигнатура - безнейтринный двойной бета-распад: два электрона с суммарной энергией, равной полной энергии распада, без недостающей энергии на антинейтрино. Косвенно майорановость подсказывают и космологические ограничения на $\sum m_\nu$, но они не различают дираковский и майорановский варианты.

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

Какая разница между p+ip-сверхпроводником и обычным s-волновым? В s-волновом сверхпроводнике спаривание изотропно и времянезеркально-симметрично; топологической щели и майорановских мод там нет. В p+ip-сверхпроводнике спаривание имеет нечётную орбитальную симметрию ($l = 1$) и нарушает симметрию обращения времени, что открывает топологическую щель с числом Чёрна $C = 1$ и приводит к майорановской нулевой моде в каждом вихре.

Коротко

Фермион Майораны - спинор с условием $\psi = \psi^c$, для которого частица и античастица - одно и то же. Уравнение $i\gamma^\mu\partial_\mu\psi = m\psi^c$ нарушает $U(1)$ лептонного числа, поэтому в Стандартной модели на майорановскую массу претендует только нейтрино - и его проверяют поиском безнейтринного двойного бета-распада. Параллельно в топологических сверхпроводниках живут эмерджентные майорановские нулевые моды (Kitaev chain, p+ip, гетероструктуры InSb/Al), на которых Microsoft и другие пытаются построить топологический кубит с неабелевой статистикой. Сигнатура zero-bias peak в дифференциальной проводимости - необходимое, но не достаточное условие; отзыв статьи Microsoft 2018 показал, как легко его перепутать с тривиальными андреевскими состояниями.