Какой вопрос решают
В социальной сети у каждого участника фиксировано число связей. Чтобы сравнить число треугольников с нулевой моделью, хочется равномерно выбрать другую простую сеть с теми же степенями.
Для каждой реализуемой последовательности степеней заявлено полиномиальное смешивание ленивой switch-chain на всех помеченных простых неориентированных графах с этими степенями.
Почему выбрано: Лучшее сочетание понятной геометрии, браузерной проверяемости и потенциально полезной диагностики.
До и после
Ранее полиномиальное смешивание доказывалось для классов степеней, например сильно стабильных. Работа заявляет снятие ограничений для данной простой неориентированной модели. Это не результат сразу о направленных сетях, ограниченном графе допустимых связей или произвольной реализации библиотечного double-edge-swap.
Внешние первичные источники: Amanatidis, Kleer — Rapid mixing of the switch Markov chain for strongly stable degree sequences.
Точное утверждение и условия
131-01, теорема 1.1, PDF с. 1: n≥4, полное множество разрешённых пар вершин. С вероятностью 1/2 ничего не делать; иначе выбрать равномерно четвёрку вершин и одну из шести упорядоченных пар различных совершенных паросочетаний на ней. Выполнить обмен, только если удаляемые рёбра есть, а добавляемых нет. Каждое нетривиальное направление имеет вероятность 1/[12·C(n,4)]. Для TV-порога 1/4 заявлено t_mix≤2n⁸; при более чем одном состоянии gap≥1/[24n²C(n,4)].
Источник: указанные теоремы в локальных PDF ниже. Формулировка пересказана, но ключевые кванторы, модель и оговорки сохранены.
Три уровня объяснения
Следующие аналогии и объяснения — наша интерпретация, не дополнительные теоремы.
Загрузка локального эксперимента…
Архитектура доказательства
Пересказ вводного обзора, а не построчная проверка доказательства.
Описать условные обмены строк и их операторы в L² равномерной меры.
Контролировать пересекающиеся и непересекающиеся пары проекций; для последних используется дополнительная компенсация по срезам.
Перенести спектральную оценку на точную ленивую switch-chain и связать её с TV-смешиванием. Точный генератор и расширения — отдельные утверждения.
Что известно о проверке
Scope notes явно включают главные оценки смешивания и явно исключают последующий точный генератор. Нельзя приписать Corollary 1.2 статус формальной проверки по этой записи. Lean-библиотека здесь отсутствует и не запускалась.
Читать локальное описание формального охвата
Наличие PDF, извлечение текста, успешный маленький эксперимент и внешний результат-предшественник — разные виды свидетельств. Ни один из них здесь не отмечен как независимое подтверждение всей новой теоремы.
Практика: наш вывод, не обещание автора
Диагностика нулевых моделей сети, журнал точного ядра перехода, многократные старты и сравнение малых случаев с полным перечислением. Известную цепь можно реализовать сейчас; новую универсальную гарантию пока следует хранить как непроверенное заявление.
Ограничения переноса
n⁸ чрезвычайно консервативно для практики. Эмпирическая стабилизация нескольких статистик не доказывает малую TV-ошибку. Запреты на рёбра, связность как дополнительное условие и направленность меняют пространство. Расширение с ограниченным host-графом использует подсчёт из группы 113 и не доказывает ту же оценку этой цепи.
Планы проверки: Аудитор нулевых моделей сетей · Реестр утверждений, версий и формального охвата.
Исходники и реальный охват чтения
Номера страниц относятся к физическим страницам PDF, начиная с 1. Ссылки на GitHub не закреплены на текущем commit; воспроизводимый источник — локальный путь и SHA-256.
131-01 · Polynomial mixing of the switch chain for every graphical degree sequence
Реальный охват: Просмотрены PDF с. 1–4: Точное ядро, главная теорема, начало операторного сравнения; scope notes прочитаны. Полный объём PDF: 22 с.
math_sources/math_research_07_of_08/preprints/Polynomial-Mixing-of-the-Switch-Chain-for-Every-Graphical-Degree-Sequence-September-25-2026/main.pdfSHA-256: e70eab92c1315e6706eea3613e9826871e009d1ef8de31f82d5750d026240af3Каталог: context/CONTENTS.md, строка 3159. Путь и хеш относятся к загруженной версии.
Семейство в CONTENTS.md, строка 3152. Структурированные заметки · Журнал внешней сверки.