Математические байки – Telegram
Математические байки
4.3K subscribers
1.44K photos
15 videos
27 files
914 links
Рассказы про разную математику.

Архив: http://dev.mccme.ru/~merzon/mirror/mathtabletalks/
Download Telegram
Как выбрать равновероятно — отдельная красивая история: их столько же, сколько способов получить диаграмму Юнга в форме равнобедренного прямоугольного треугольника, добавляя к пустой диаграмме по одной клетке за раз. (Это называется Edelman-Greene's bijection.) Но туда мы сейчас не пойдём.
Так вот — давайте посмотрим на случайно выбранную сортировку, когда n достаточно большое. Вот, взятый из статьи Angel, Holroyd, Romik, Virag, "Random Sorting Networks" ( https://www.sciencedirect.com/science/article/pii/S0001870807001545 ) пример для n=6:
Тут выделена траектория, по которой движется чемодан номер 3, и отмечены места, где мы выполняли нашу операцию. Но пока ничего красивого не видно; это потому что n у ещё маленькое!

А вот такая у них получается красивая картина, если взять n=2000, и нарисовать (в соответствующем масштабе по осям) траектории отдельных чемоданов —
Правда ведь, напоминает синусоиды?
А ещё можно посмотреть на то, как будут устроены графики перестановок (при фиксированном моменте времени, какой чемодан на каком месте стоит). Вот, к примеру (опять из той же статьи) график перестановки, которая наблюдается после половины всех операций:
Явно проглядывает круг — но при этом плотность ближе к краям, так, как если бы это была равномерная мера на сфере в трёхмерном пространстве (x,y,z) — которую спроецировали на плоскость (x,y).
А что будет в другие моменты времени? Естественно считать параметром t долю от общего числа N выполненных операций; и вот картинка опять же из их работы —
Начальный и конечный момент времени это начальное и итоговое расположение чемоданов, у которых графики — прямые. А в промежуточные моменты времени видны эллипсы — а синим показаны полученные уже тогда (11 лет назад, препринт ещё 2006-го — https://arxiv.org/abs/math/0609538v1 ) оценки.
Математические байки
Правда ведь, напоминает синусоиды?
Собственно — вот гипотезы из той работы, как раз это и утверждающие:
Мера, как при проекции —
Кстати — если рисовать гистограмму того, сколько операций было произведено в такое-то время в таком-то месте, то тоже получается красивая картина:
(иллюстрация из всё той же статьи.)
Ну и оттуда же —
Но ещё интересная история тут — это появление перестановочного многогранника, или пермутоэдра. А именно, давайте посмотрим на обратное отображение после m операций, то есть на набор "на каком месте стоит первый чемодан, на каком второй, ..., как каком n-й".
Это — перестановка, так что в этом векторе каждое из чисел 1,2,...,n встречается по одному разу. При этом одна операция меняет два соседних чемодана — так что какие-то два числа m и m+1 в этом векторе поменяются местами.