Спиновые сети (spin networks) представляют собой графы, вершины и рёбра которых несут информацию о квантовой геометрии пространства. Каждое ребро графа маркируется полуцелым числом j, соответствующим спину, а вершины снабжены интеракторами (intertwiners), которые обеспечивают согласованность спиновых соединений. Концепция спиновых сетей была предложена Роджером Пенроузом и впоследствии стала фундаментальной в подходе петлевой квантовой гравитации (Loop Quantum Gravity, LQG).
Ключевые элементы спиновой сети:
$$ \hat{A} \sim 8 \pi \gamma \ell_P^2 \sqrt{j(j+1)} $$
где γ — параметр Барбьери–Иммерзи, ℓP — планковская длина.
Вершины: связывают рёбра и задают квантовые объёмы. Вершинные интеракторы гарантируют, что сумма спинов, входящих в вершину, подчиняется правилам триангуляции спинов SU(2).
Граф: комбинация рёбер и вершин, описывающая квантовую геометрию пространства на фиксированном срезе времени (3-мерная гиперповерхность).
Спиновые сети не просто абстрактные графы: они имеют прямую связь с дискретной геометрией пространства. Каждое ребро с меткой j интерпретируется как “квант площади”, а вершина, где сходятся рёбра, — как “квант объёма”.
Дискретизация геометрии:
$$ A_j = 8 \pi \gamma \ell_P^2 \sqrt{j(j+1)} $$
Это показывает, что площадь не может принимать произвольные значения, а квантована.
$$ \hat{V} \sim \sqrt{|\sum_{ijk} \epsilon^{ijk} \hat{J}_i \hat{J}_j \hat{J}_k|} $$
где Ĵi — операторы углового момента для рёбер, сходящихся в вершину.
В петлевой квантовой гравитации спиновые сети возникают как собственные состояния операторов геометрии. Они являются базисом гильбертова пространства квантовой геометрии.
Рёбра и спины: каждое ребро с меткой j соответствует представлению группы SU(2) размерности 2j + 1.
Вершины и интеракторы: интерактор — это SU(2)-инвариантный тензор, который объединяет входящие и исходящие представления. Для трёх рёбер вершина задаётся символом 3j; для большего числа рёбер — символами 6j, 9j и т.д.
Правила треугольника: для соединения трёх спинов j1, j2, j3 должна выполняться неравенство:
|j1 − j2| ≤ j3 ≤ j1 + j2