Спин и статистика
May. 22nd, 2015 11:20 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
leblonЯ тут статью написал, которая мне очень нравится. Сейчас расскажу почему. История начинается давно, еще в 30е годы. Фирц и Паули показали, что в локальной релятивисткой квантовой механике частицы с целым спином должны быть бозонами (подчиняться статистике Бозе-Эйнштейна), а частицы с полуцелым спином фермионами (подчиняться статистике Ферми-Дирака). Т.е. если оператор рождения частицы реализует обычное представление группы Лоренца, то пространство состояний это бозонное пространство Фока (сумма всех симметрических степеней пространства одночатичных состояний). А если представление проективное, то надо использовать фермионное пространство Фока (сумма всех внешних степеней). Иначе либо причинность будет нарушаться, либо энергия не будет ограничена снизу. Очень важная теорема. Лоренц-инвариантность тут очень по делу, в нерелятивисткой теории поля нет проблемы с бозонами полуцелого спина, или с фермионами целого спина.
А что если Лоренц-инвариантность отсутствует? Например, если пространство искривлено, как в общей теории относительности? Или если оно дискретное на очень малых расстояниях? Как тогда отличить два типа частиц?
С точки зрения геометрии, полуцелый спин отличается от "нормального" тем, что наличие метрики на пространстве-времени еще не полностью определяет, как его параллельно переносить из точки в точку. Нужна еще спиновая структура. Это понятие, в отличие от метрики, дискретное и чисто топологическое. На компактном пространстве есть только конечное число вариантов спиновой структуры. И спиновую структуру, с некоторыми усилиями, можно определить даже в ситуации, когда наше пространство негладкое, а, например, составлено из маленьких многогранников. Такая дискретизация пространства - стандартный технический прием в физике (например, в теории поля на решетке, в стат. механике, и в моделях физики твердого тела). Значит, если связь спина со статистикой распространяется и на такие ситуации (это неочевидно), то мы ожидаем, что для определения фермионных моделей на решетке (например, на триангулированном пространстве) потребуется задать спиновую структуру.
Странным образом, ничего такого в литературе не наблюдалось. Правда, это может быть связано с тем, что физики обычно рассматривают очень регулярные (кубические) решетки, с периодическими граничными условиями. Т.е. тороидальную геометрию. В таких ситуациях затруднительно отличить спиновую структуру от других, более простых вещей.
Недавно, в связи с топологическими фазами вещества, физики наконец заинтересовались моделями стат. механики с фермионами. Т.е. моделями, где на симплексах триангуляции живут как фермионы (анти-коммутирующие переменные), так и обычные бозоны (например, элементы конечного множества, как в модели Изинга). Стат. сумма тогда - сумма по бозонным переменным и интеграл Березина по фермионным переменным. Такие модели описывают топологические фазы материи, "сделанные" из электронов. Парадокс в том, что никакой спиновой структуры при этом замечено не было. Этот вопрос можно было задать еще в 60е годы, когда физики (Либ, Маттис и пр.) обнаружили феномен "бозонизации": некоторые модели фермионов в одном пространственном измерении эквивалентны бозонным моделям. Но ведь уравнение Дирака зависит от выбора спиновой структуры, а бозонам на нее начхать, как же так?
Ответ оказался простым: люди просто "проморгали" зависимость от спиновой структуры. Некоторые формулы в физических статьях плохо определены если ее не зафиксировать. Причина появления спиновой структуры проста: фермионы в разных точках анти-коммутируют, значит, если порядок точек не зафиксирован, произведение фермионных наблюдаемых, из которых строится лагранжиан, определено с точностью до знака. Оказывается, чтобы убрать эту неоднозначность, достаточно фиксировать спиновую структуру (точнее, ее дискретный аналог). Т.е. связь спина и статистики имеет место быть безо всякой Лоренц инвариантности. А вот локальность (т.е. возможность все дискретизовать) существенна.
Попутно мы придумали как описывать спиновые структуры на триангулированных многообразиях чисто комбинаторно. Математики, вроде, знали только как это делать в размерности 2. И заодно мы получили комбинаторную конструкцию некоторых топологических инвариантов спиновых многообразий (например, спиновой аналог Тураева Виро, или спиновых бордизмов). Попросту, написали модели стат. механики, стат. сумма которых вычисляет эти инварианты.
А что если Лоренц-инвариантность отсутствует? Например, если пространство искривлено, как в общей теории относительности? Или если оно дискретное на очень малых расстояниях? Как тогда отличить два типа частиц?
С точки зрения геометрии, полуцелый спин отличается от "нормального" тем, что наличие метрики на пространстве-времени еще не полностью определяет, как его параллельно переносить из точки в точку. Нужна еще спиновая структура. Это понятие, в отличие от метрики, дискретное и чисто топологическое. На компактном пространстве есть только конечное число вариантов спиновой структуры. И спиновую структуру, с некоторыми усилиями, можно определить даже в ситуации, когда наше пространство негладкое, а, например, составлено из маленьких многогранников. Такая дискретизация пространства - стандартный технический прием в физике (например, в теории поля на решетке, в стат. механике, и в моделях физики твердого тела). Значит, если связь спина со статистикой распространяется и на такие ситуации (это неочевидно), то мы ожидаем, что для определения фермионных моделей на решетке (например, на триангулированном пространстве) потребуется задать спиновую структуру.
Странным образом, ничего такого в литературе не наблюдалось. Правда, это может быть связано с тем, что физики обычно рассматривают очень регулярные (кубические) решетки, с периодическими граничными условиями. Т.е. тороидальную геометрию. В таких ситуациях затруднительно отличить спиновую структуру от других, более простых вещей.
Недавно, в связи с топологическими фазами вещества, физики наконец заинтересовались моделями стат. механики с фермионами. Т.е. моделями, где на симплексах триангуляции живут как фермионы (анти-коммутирующие переменные), так и обычные бозоны (например, элементы конечного множества, как в модели Изинга). Стат. сумма тогда - сумма по бозонным переменным и интеграл Березина по фермионным переменным. Такие модели описывают топологические фазы материи, "сделанные" из электронов. Парадокс в том, что никакой спиновой структуры при этом замечено не было. Этот вопрос можно было задать еще в 60е годы, когда физики (Либ, Маттис и пр.) обнаружили феномен "бозонизации": некоторые модели фермионов в одном пространственном измерении эквивалентны бозонным моделям. Но ведь уравнение Дирака зависит от выбора спиновой структуры, а бозонам на нее начхать, как же так?
Ответ оказался простым: люди просто "проморгали" зависимость от спиновой структуры. Некоторые формулы в физических статьях плохо определены если ее не зафиксировать. Причина появления спиновой структуры проста: фермионы в разных точках анти-коммутируют, значит, если порядок точек не зафиксирован, произведение фермионных наблюдаемых, из которых строится лагранжиан, определено с точностью до знака. Оказывается, чтобы убрать эту неоднозначность, достаточно фиксировать спиновую структуру (точнее, ее дискретный аналог). Т.е. связь спина и статистики имеет место быть безо всякой Лоренц инвариантности. А вот локальность (т.е. возможность все дискретизовать) существенна.
Попутно мы придумали как описывать спиновые структуры на триангулированных многообразиях чисто комбинаторно. Математики, вроде, знали только как это делать в размерности 2. И заодно мы получили комбинаторную конструкцию некоторых топологических инвариантов спиновых многообразий (например, спиновой аналог Тураева Виро, или спиновых бордизмов). Попросту, написали модели стат. механики, стат. сумма которых вычисляет эти инварианты.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
тест на неодносвязность Вселенной
Date: 2015-05-23 10:48 am (UTC)Насчёт односвязности Вселенной согласиться не могу.
Люди (например,Смут -лауреат Нобелевской премии 1998 г. за открытие анизотропии реликтового излучения в 1992 г.) рассматривали наблюдательные следствия того, что наша Вселенная - тор. При этом надо, чтобы размер тора был не намного больше современного горизонта.
А из зануления космологической постоянной можно сделать вывод, что Вселенная (грубо говоря) - тор при сколь угодно большом размере, недоступном для наблюдения!
Конечно, очень спекулятивно, но, думаю, идея ясна.
arXiv:astro-ph/9705125
Constraining topology with the CMB
Angelica de Oliveira-Costa, George F. Smoot, Alexei A. Starobinsky
Comments: Proceedings from XXXIst Recontres de Moriond: Future CMB missions. 6 pages, with 3 figures, and cmb.sty included. Color figures and links at this http URL
Subjects: Astrophysics (astro-ph)
arXiv:astro-ph/9510109
Can the lack of symmetry in the COBE/DMR maps constrain the topology of the universe?
Angelica de Oliveira-Costa, George F. Smoot, Alexei A. Starobinsky
Comments: 14 pages, with 4 figures included.
Journal-ref: Astrophys.J. 468 (1996) 457
Subjects: Astrophysics (astro-ph); General Relativity and Quantum Cosmology (gr-qc)
Re: тест на неодносвязность Вселенной
Date: 2015-05-23 11:27 am (UTC)