Интеграл по путям Z2Z2Z_2-орбифолдного свободного бозона на торе

Статистическая сумма Z 2 -орбифолдный свободный бозон на 2-торе (параметризуемый т ю 2 / ю 1 ) выводится операторным формализмом. Я хочу рассмотреть это в рамках интегрального подхода:

Z "=" ν , ты м , н π λ м , н ( ν , ты )
где ν и ты принимая значения среди 0 и 1 / 2 определить различные граничные условия
ф ( г + ю 1 ) "=" опыт ( я 2 π ν ) ф ( г ) , ф ( г + ю 2 ) "=" опыт ( я 2 π ты ) ф ( г ) .
λ м , н ( ν , ты ) являются собственными значениями лапласиана мю мю с
λ м , н ( ν , ты ) "=" 4 π 2 [ ( м + ν ) ( н + ты ) т ] [ ( м + ν ) ( н + ты ) т ¯ ] л 2 ( Я т ) 2 .
Для простоты рассмотрим сектор, в котором ν "=" 0 пока ты "=" 1 / 2 поскольку в этом разделе нет нулевых мод, о которых нужно беспокоиться, и м , н может принимать любое целое число. Затем
Z 0 , 1 / 2 "=" м е Z , н е Z π λ м , н ( 0 , 1 / 2 ) "=" 1 м е Z , н е Z [ м ( н + 1 / 2 ) т ] [ м ( н + 1 / 2 ) т ¯ ]
где н "=" a=1 используется. Для вычисления знаменателя можно определить д "=" опыт ( я 2 π т ) а потом
м е Z , н е Z [ м ( н + 1 / 2 ) т ] [ м ( н + 1 / 2 ) т ¯ ] "=" н { [ д ( н + 1 / 2 ) / 2 д ( н + 1 / 2 ) / 2 ] × hc } "=" н 0 { [ д ( н + 1 / 2 ) / 2 д ( н + 1 / 2 ) / 2 ] × hc } н > 0 { [ д ( н 1 / 2 ) / 2 д ( н 1 / 2 ) / 2 ] × hc } "=" н > 0 { [ д ( н 1 / 2 ) / 2 д ( н 1 / 2 ) / 2 ] × hc } 2 "=" ( д д ¯ ) 1 / 6 н "=" 1 ( 1 д н 1 / 2 ) 2 ( 1 д ¯ н 1 / 2 ) 2
что значит
Z 0 , 1 / 2 "=" ( д д ¯ ) 1 / 12 н "=" 1 ( 1 д н 1 / 2 ) ( 1 д ¯ н 1 / 2 ) .
Однако в традиционном введении в конформную теорию поля, таком как уравнение (8.23) "Прикладной конформной теории поля" П. Гинспарга, есть т -зависимость разности фаз:
Z ~ 0 , 1 / 2 "=" ( д д ¯ ) 1 / 48 н "=" 1 ( 1 д н 1 / 2 ) ( 1 д ¯ н 1 / 2 ) .
Я действительно не могу понять существование этой маленькой, но существенной разницы. Я заметил, что разница фаз 1 / 16 что может быть связано с изменением нулевого режима генератора Вирасоро л 0 при искажении граничного условия, но я не могу придать ему количественный смысл.

Что происходит с суммой по топологиям в этом случае. В Ginsparg, например, очень подробно обсуждается случай, когда у нас есть оба периодических граничных условия. Там нам нужно сделать сумму по (m,n), которая помечает две обмотки по кругу. В случае с другими граничными условиями, что происходит с этой бесконечной суммой по топологиям, которая больше не появляется? Заранее большое спасибо!

Ответы (1)

Вы должны использовать дзета-регуляризацию, чтобы вычислить сумму

н > 0 ( н 1 2 ) .
Другими словами, вычислите регуляризованную сумму
н > 0 ( н 1 2 ) с "=" ( 2 с 1 ) ζ ( с ) 1 24
где предел с 1 взят.

Извлекая квадратный корень, получаем ( д д ¯ ) 1 / 48 как хотел.

Большое спасибо, и моя ошибка, кажется, в том, что суммирование (n-1/2) было сделано отдельно для n и (-1/2), что дает 1/6. Но я не могу вполне понять неправильность таких отдельных сумм. Возможно, мне стоит пойти читать комплексный анализ внимательнее. (Кстати, могу ли я указать на тривиальную опечатку в вашем ответе, где суммирование должно выполняться по n> 0, а не по n> 1)
Спасибо, что заметили опечатку. Что же касается разложения суммы, то при регуляризации расходящихся рядов это вообще невозможно. Можно показать, что устойчивая схема регуляризации ( а н "=" а 0 + а н + 1 ), последовательный ( а н дает ожидаемый результат, когда ряд действительно сходится) и линейный ( ( λ а н + б н ) "=" λ а н + б н ) очень неэффективен (например, он не может дать значение н ). Поэтому обычно отбрасывают предположение о линейности. Действительно, дзета-регуляризация явно нелинейна.