Соединительная константа - Википедия - Connective constant

В математика, то соединительная константа числовая величина, связанная с прогулки с самоуправлением на решетка. Он изучается в связи с понятием универсальность в двухмерном статистическая физика модели.^[1] Хотя константа связности зависит от выбора решетки, поэтому сама по себе не является универсальный (аналогично другим параметрам, зависящим от решетки, таким как критический порог вероятности перколяции ), тем не менее, это важная величина, которая появляется в гипотезах универсальных законов. Кроме того, математические методы, используемые для понимания константы связки, например, в недавнем строгом доказательстве Думинил-Копен и Смирнов что связная постоянная гексагональной решетки имеет точное значение ${ displaystyle { sqrt {2 + { sqrt {2}}}}}$ , может дать подсказки^[2] к возможному подходу к решению других важных открытых проблем в изучении самопроизвольных прогулок, в частности к гипотезе о том, что самопроизвольные прогулки сходятся в пределе масштабирования к Эволюция Шрамма – Лёвнера.

Определение

Связующая константа определяется следующим образом. Позволять ${ displaystyle c_ {n}}$ обозначить количество п-шаговые прогулки с самоизбеганием, начиная с фиксированной исходной точки решетки. Поскольку каждый п + м шаговое самопроизвольное бегство можно разложить на п-шаговая прогулка с самопроизвольным уходом и м-шаговая ходьба с самоустраниванием, из этого следует, что ${ displaystyle c_ {n + m} leq c_ {n} c_ {m}}$ . Затем, применив Лемма Фекете к логарифму указанного выше соотношения предел ${ displaystyle mu = lim _ {n rightarrow infty} c_ {n} ^ {1 / n}}$ можно показать, что оно существует. этот номер ${ displaystyle mu}$ называется константой связки и, очевидно, зависит от конкретной решетки, выбранной для прогулки, поскольку ${ displaystyle c_ {n}}$ делает. Значение ${ displaystyle mu}$ точно известно только для двух решеток, см. ниже. Для других решеток ${ displaystyle mu}$ был оценен только численно. Предполагается, что ${ displaystyle c_ {n} приблизительно mu ^ {n} n ^ { gamma -1}}$ когда n стремится к бесконечности, где ${ displaystyle mu}$ и ${ displaystyle A}$ , критическая амплитуда, зависят от решетки, а показатель степени ${ displaystyle gamma}$ , который считается универсальным и зависит от размерности решетки, предполагается, что ${ displaystyle gamma = 43/32}$ .^[3]

Известные ценности^[4]

Решетка	Соединительная константа
Шестиугольный	${ displaystyle { sqrt {2 + { sqrt {2}}}} simeq 1.85}$
Треугольный	${ displaystyle 4.15079 (4)}$
Квадрат	${ displaystyle 2.63815853 (15)}$
Кагоме	${ displaystyle 2.56062}$
Манхэттен	${ displaystyle 1.733535 (3)}$
L-решетка	${ displaystyle 1.5657 (15)}$
${ displaystyle (3.12 ^ {2})}$ решетка	${ displaystyle 1.7110412 ...}$
${ displaystyle (4.8 ^ {2})}$ решетка	${ displaystyle 1.80883001 (6)}$

Эти значения взяты из статьи Дженсена – Гуттмана 1998 года. Связующая константа ${ displaystyle (3.12 ^ {2})}$ решетки, поскольку каждый шаг на гексагональной решетке соответствует двум или трем шагам в ней, может быть точно выражен как наибольший действительный корень многочлена

{ displaystyle x ^ {12} -4x ^ {8} -8x ^ {7} -4x ^ {6} + 2x ^ {4} + 8x ^ {3} + 12x ^ {2} + 8x + 2}

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

Доказательство Думинила-Копина – Смирнова.

В 2010 году Хуго Думинил-Копен и Станислав Смирнов опубликовали первое строгое доказательство того, что ${ displaystyle mu = { sqrt {2 + { sqrt {2}}}}}$ для гексагональной решетки.^[2] Это было предположено Нинхейсом в 1982 году в рамках более крупного исследования O (п) модели с использованием методов перенормировки.^[5] Строгое доказательство этого факта явилось результатом программы применения инструментов комплексного анализа к дискретным вероятностным моделям, которая также дала впечатляющие результаты в отношении Модель Изинга среди прочего.^[6] Аргумент основан на существовании парафермионной наблюдаемой, которая удовлетворяет половине дискретных уравнений Коши – Римана для гексагональной решетки. Мы немного модифицируем определение обхода с самопроизвольным обходом, начиная и заканчивая на средних ребрах между вершинами. Пусть H - множество всех средних ребер шестиугольной решетки. Для прогулки с самоуничижением ${ displaystyle gamma}$ между двумя средними краями ${ displaystyle a}$ и ${ displaystyle b}$ , мы определяем ${ displaystyle ell ( gamma)}$ быть количеством посещенных вершин и ${ Displaystyle W _ { gamma} (а, б)}$ как полное вращение направления в радианах, когда ${ displaystyle gamma}$ проходит из ${ displaystyle a}$ к ${ displaystyle b}$ . Цель доказательства - показать, что статистическая сумма

{ displaystyle Z (x) = sum _ { gamma: a to H} x ^ { ell ( gamma)} = sum _ {n = 0} ^ { infty} c_ {n} x ^ {n}}

сходится для ${ displaystyle x$ и расходится на ${ displaystyle x> x_ {c}}$ где критический параметр определяется выражением ${ displaystyle x_ {c} = 1 / { sqrt {2 + { sqrt {2}}}}}$ . Отсюда сразу следует, что ${ displaystyle mu = { sqrt {2 + { sqrt {2}}}}}$ .

Учитывая домен ${ displaystyle Omega}$ в гексагональной решетке начальный средний край ${ displaystyle a}$ , и два параметра ${ displaystyle x}$ и ${ displaystyle sigma}$ , определим парафермионную наблюдаемую

${ Displaystyle F (z) = сумма _ { gamma subset Omega: от a до z} e ^ {- i sigma W _ { gamma} (a, z)} x ^ { ell ( gamma )}.}$

Если ${ displaystyle x = x_ {c} = 1 / { sqrt {2 + { sqrt {2}}}}}$ и ${ Displaystyle sigma = 5/8}$ , то для любой вершины ${ displaystyle v}$ в ${ displaystyle Omega}$ , у нас есть

{ Displaystyle (п-v) F (п) + (д-v) F (д) + (р-v) F (г) = 0,}

куда ${ displaystyle p, q, r}$ средние края исходят из ${ displaystyle v}$ . Эта лемма устанавливает бездивергентность парафермионной наблюдаемой. Не было доказано, что он не скручивается, но это решило бы несколько открытых проблем (см. Предположения). Доказательство этой леммы представляет собой умное вычисление, в значительной степени опирающееся на геометрию гексагональной решетки.

Далее мы сосредоточимся на конечной трапециевидной области ${ displaystyle S_ {T, L}}$ с 2L клетками, образующими левую сторону, Т-клетки поперек, а также верхнюю и нижнюю стороны под углом ${ displaystyle pm pi / 3}$ . (Требуется изображение.) Мы встраиваем шестиугольную решетку в комплексную плоскость так, чтобы длина ребер была равна 1, а средняя кромка в центре левой стороны располагалась на -1/2. Тогда вершины в ${ displaystyle S_ {T, L}}$ даны

{ Displaystyle V (S_ {T, L}) = {z in V ( mathbb {H}): 0 leq Re (z) leq { frac {3T + 1} {2}}, ; | { sqrt {3}} Im (z) -Re (z) | leq 3L }.}

Теперь мы определим функции разбиения для самопроизвольных прогулок, начиная с ${ displaystyle a}$ и заканчиваются на разных участках границы. Позволять ${ displaystyle alpha}$ обозначим левую границу, ${ displaystyle beta}$ правая граница, ${ displaystyle epsilon}$ верхняя граница, а ${ displaystyle { bar { epsilon}}}$ нижняя граница. Позволять

{ displaystyle A_ {T, L} ^ {x}: = sum _ { gamma in S_ {T, L}: a to alpha setminus {a }} x ^ { ell ( gamma)}, quad B_ {T, L} ^ {x}: = sum _ { gamma in S_ {T, L}: a to beta} x ^ { ell ( gamma)}, quad E_ {T, L} ^ {x}: = sum _ { gamma in S_ {T, L}: a to epsilon cup { bar { epsilon}}} x ^ { ell ( gamma)}.}

Суммируя тождество

{ Displaystyle (п-v) F (п) + (д-v) F (д) + (р-v) F (г) = 0}

по всем вершинам в ${ Displaystyle V (S_ {T, L})}$ и учитывая, что обмотка фиксируется в зависимости от того, на какой части границы заканчивается путь, мы можем прийти к соотношению

{ displaystyle 1 = cos (3 pi / 8) A_ {T, L} ^ {x_ {c}} + B_ {T, L} ^ {x_ {c}} + cos ( pi / 4) E_ {T, L} ^ {x_ {c}}}

после очередного хитроумного вычисления. Сдача ${ displaystyle L to infty}$ , получаем полосовой домен ${ displaystyle S_ {T}}$ и функции раздела

{ Displaystyle A_ {T} ^ {x}: = sum _ { gamma in S_ {T}: a to alpha setminus {a }} x ^ { ell ( gamma)}, quad B_ {T} ^ {x}: = sum _ { gamma in S_ {T}: a to beta} x ^ { ell ( gamma)}, quad E_ {T} ^ { x}: = sum _ { gamma in S_ {T}: a to epsilon cup { bar { epsilon}}} x ^ { ell ( gamma)}.}

Позже было показано, что ${ displaystyle E_ {T, L} ^ {x_ {c}} = 0}$ , но для доказательства нам это не нужно.^[7]Остается соотношение

{ displaystyle 1 = cos (3 pi / 8) A_ {T, L} ^ {x_ {c}} + B_ {T, L} ^ {x_ {c}}}

.

Отсюда можно вывести неравенство

{ Displaystyle A_ {T + 1} ^ {x_ {c}} - A_ {T} ^ {x_ {c}} leq x_ {c} (B_ {T + 1} ^ {x_ {c}}) ^ {2}}

И приходим по индукции к строго положительной нижней оценке для ${ displaystyle B_ {T} ^ {x_ {c}}}$ . С ${ Displaystyle Z (x_ {c}) geq sum _ {T> 0} B_ {T} ^ {x_ {c}} = infty}$ , мы установили, что ${ displaystyle mu geq { sqrt {2 + { sqrt {2}}}}}$ .

Для обратного неравенства для произвольного блуждания с самопересечением по сотовой решетке мы выполняем каноническое разложение по Хаммерсли и Уэлшу блуждания на мосты ширины ${ displaystyle T _ {- I} < cdots$ и ${ displaystyle T_ {0}> cdots> T_ {j}}$ . Обратите внимание, что мы можем связать

{ Displaystyle B_ {T} ^ {x} leq (x / x_ {c}) ^ {T} B_ {T} ^ {x_ {c}} leq (x / x_ {c}) ^ {T} }

что подразумевает ${ Displaystyle prod _ {T> 0} (1 + B_ {T} ^ {x}) < infty}$ . Наконец, можно ограничить статистическую сумму мостовыми статистическими суммами

{ displaystyle Z (x) leq sum _ {T _ {- I} < cdots cdots> T_ {j}} 2 left ( prod _ {k = -I} ^ {j} B_ {T_ {k}} ^ {x} right) = 2 left ( prod _ {T> 0} (1 + B_ {T} ^ {x}) справа) ^ {2} < infty.}

Итак, у нас есть это ${ displaystyle mu = { sqrt {2 + { sqrt {2}}}}}$ по желанию.

Домыслы

Ниенхейс утверждал в пользу предсказания Флори, что среднеквадратичное смещение случайного блуждания ${ Displaystyle langle | гамма (п) | ^ {2} rangle}$ удовлетворяет масштабному соотношению ${ displaystyle langle | gamma (n) | ^ {2} rangle = { frac {1} {c_ {n}}} sum _ {n ; mathrm {step ; SAW}} | гамма (n) | ^ {2} = n ^ {2 nu + o (1)}}$ ,с ${ displaystyle nu = 3/4}$ .^[2]Показатель масштабирования ${ displaystyle nu}$ и универсальная постоянная ${ displaystyle 11/32}$ может быть вычислен, если само избегание ходьбы обладает конформно-инвариантным пределом масштабирования, предположительно Эволюция Шрамма – Лёвнера с ${ displaystyle kappa = 8/3}$ .^[8]