MakarovSuites
Русский
EnglishDeutschРусскийУкраїнськаFrançaisEspañolItalianoPolski
Связь и лицензии

Math

Расслоение Хопфа

Над каждой точкой обычной сферы в четырёхмерной сфере висит целая окружность, и эти окружности заполняют её целиком, ни разу не пересекаясь, — но любые две из них зацеплены, ровно один раз, как бы далеко ни разошлись их точки. Потяни точку по маленькому глобусу и смотри, как её окружность едет на большой картине; возьми целую параллель — и окружности сплетают тор. Коэффициент зацепления измеряется интегралом Гаусса, а угол между двумя окружностями выходит вдвое меньше угла между их точками — потому-то сфера Блоха кубита и имеет радиус одна вторая.

Расслоение Хопфа — Изображение из программы
Изображение из программы

Что происходит

Трёхмерная сфера — единичная сфера в четырёх измерениях — состоит из окружностей, по одной на каждую точку обычной сферы, и никакие две не касаются: это расслоение Хопфа. В записи через два комплексных числа умножение обоих на одну фазу двигает точку вдоль её окружности и не меняет её образ на обычной сфере. Спроецированные стереографически в наше пространство окружности снова становятся окружностями, вложенными в торы, и любые две зацеплены ровно один раз. Двигайте точку на маленькой сфере и смотрите на её слой; нарисуйте целую окружность точек — слои сплетут тор.

Уравнения модуля
Уравнения
h(z₁, z₂) = (2 Re(conj(z₁)z₂), 2 Im(conj(z₁)z₂), |z₁|² − |z₂|²),  |z₁|² + |z₂|² = 1
h(e^{iφ}z₁, e^{iφ}z₂) = h(z₁, z₂):  каждый слой - большая окружность
стереографическая проекция: (a, b, c, d) → (a, b, c)/(1 − d);  окружности переходят в окружности
любые два слоя зацеплены один раз: lk = 1

Другие эксперименты

К каталогу
Кривая, заполняющая квадрат — Изображение из программы

Math

Кривая, заполняющая квадрат

У линии нет площади — и всё же кривая может пройти через каждую точку квадрата: Пеано нашёл такую в 1890 году, Гильберт нарисовал свою в 1891-м. На каждом порядке кривая обходит все клетки ровно по разу, сдвигаясь на одну клетку за шаг, и предел непрерывен. Потяни метку: десятая часть кривой остаётся внутри примерно трети стороны — по такой кривой и индексируют пространство базы данных и форматы изображений. Обратное неверно, и панель это тоже измеряет: две соприкасающиеся клетки могут отстоять на пять шестых кривой.

Рождение большой компоненты — Изображение из программы

Math

Рождение большой компоненты

Добавьте ребро, найдите путь между двумя вершинами, затем проведите c через единицу. Сеть и все числа относятся к одному потоку рёбер.

Математический бильярд — Изображение из программы

Math

Математический бильярд

Точка вечно отскакивает от стенки с равными углами. В круге угол не меняется: путь обходит меньшую окружность, в которую не может войти, а рациональный поворот замыкается в многоугольник. В стадионе — два полукруга, соединённых прямыми стенками — не сохраняется ничего, кроме скорости, и два пути, разошедшиеся на миллиардную долю градуса, через двадцать отскоков разнесены на ширину стола. Панель это измеряет: разлёт подгоняется и экспонентой, и прямой, и ответ — та, что подошла.