Подход к непрерывному из дискретного: конструкция бесконечного тензорного произведения

Основная информация

• ID статьи: 2510.14716
• Название: Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
• Авторы: Antonio Lorenzin (a.lorenzin.95@gmail.com), Fabio Zanasi (University College London)
• Классификация: math.CT (Теория категорий), cs.LO (Логика в информатике)
• Дата публикации: 16 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.14716

Аннотация

В последние годы вероятностные вычисления всё чаще изучаются с позиций категориальной алгебры, в частности через исчисление строковых диаграмм. Хотя категории дискретных и гауссовых вероятностных процессов хорошо изучены с различными аксиоматизациями, более выразительные категории непрерывных вероятностей остаются недостаточно понятыми из-за внутренних трудностей описания бесконечного поведения алгебраическими методами.

В данной работе устанавливается универсальная конструкция для присоединения бесконечных тензорных произведений, позволяющая изучать непрерывные вероятности из дискретного контекста. Основной результат применяет эту конструкцию к FinStoch (категория конечных множеств и стохастических матриц), получая категорию локально постоянных ядер Маркова, объектами которой являются конечные множества плюс пространство Кантора $2^{\mathbb{N}}$. Любая вероятностная мера на вещественной прямой может быть изучена в этой категории. Кроме того, показано, как поднять аксиоматические результаты через конструкцию бесконечного тензорного произведения, получив аксиоматическое представление непрерывных вероятностей на счётной степени $2=\{0,1\}$.

Исследовательский контекст и мотивация

Проблемный фон

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

Центральная проблема

Несмотря на полную аксиоматизацию категорий дискретных вероятностей (таких как FinStoch и BinStoch) и гауссовых вероятностей, аксиоматизация строковых диаграмм для непрерывных вероятностей остаётся фундаментальным пробелом. Основная трудность заключается в том, как прямо кодировать бесконечное поведение в существующей алгебраической структуре строковых диаграмм.

Исследовательская мотивация

1. Теоретическая необходимость: требуется полное категориальное описание непрерывных вероятностей
2. Методологическое инновация: связать дискретные и непрерывные вероятности через бесконечные тензорные произведения
3. Практическая ценность: предоставить алгебраические инструменты для рассуждений о непрерывных вероятностях

Основные вклады

1. Универсальная конструкция: введена универсальная конструкция для присоединения бесконечных тензорных произведений к любой полукартезианской категории (теорема 1)
2. Диаграммное представление: предоставлено диаграммное представление для свободно порождённых категорий с бесконечными тензорными произведениями с использованием нотации пластин (plate notation)
3. Характеризация FinStoch⊗∞: охарактеризована FinStoch⊗∞ через пространства Стоуна и локально постоянные ядра Маркова (теорема 2)
4. Аксиоматическое представление: предоставлено аксиоматическое представление CantorStochlc, ограничения FinStoch⊗∞ на степени 2 и пространство Кантора 2^ℕ (следствие 2)

Методологические детали

Теоретическая основа: полукартезианские категории

Определение 1: Полукартезианская категория — это симметричная монаидальная категория (C,⊗,I), где монаидальная единица I является терминальным объектом.

Ключевые примеры:

• FinStoch: объекты — конечные множества, морфизмы — стохастические функции f: X → Y
• BinStoch: подкатегория FinStoch с объектами, являющимися конечными степенями 2={0,1}
• BorelStoch: объекты — стандартные борелевские пространства, морфизмы — ядра Маркова

Определение бесконечного тензорного произведения

Определение 2: Абстрактное бесконечное тензорное произведение — это функтор X: P_(J)^{op} → C, отправляющий конечное подмножество F в X_F := ⊗_{j∈F} X_j.

Определение 3: Конкретное бесконечное тензорное произведение X = ⊗_{j∈J} X_j — это предел соответствующего абстрактного бесконечного тензорного произведения, причём этот предел сохраняется функтором -⊗Y.

Универсальная конструкция C⊗∞

Центральная идея: морфизмы определяются через совместимые семейства (compatible families), удовлетворяющие:

• Естественность: коммутируют с проекционными морфизмами
• Условие покрытия: каждое конечное подмножество цели имеет соответствующее конечное подмножество источника
• Наследственность: если (F,G) в семействе, то все (F',G) (F' ⊇ F) также в семействе

Определение 8: Морфизм f: X → Y в C⊗∞ — это класс эквивалентности совместимых семейств с композицией, определённой поточечно:

(gf)_{F,H} := g_{G,H} f_{F,G}

Нотация пластин (Plate Notation)

Для интуитивного представления совместимых семейств введена нотация пластин:

f_{F,G}
─────────  представляет морфизм f: X → Y
(F,G) ∈ Λ_f
  X    Y

Эта нотация аналогична нотации пластин в байесовских сетях, но специализирована для представления совместимых семейств.

Основные теоремы

Теорема 1: Универсальные свойства

Для полукартезианской категории C с удалением удаления существует полукартезианская категория C⊗∞ с бесконечными тензорными произведениями и строгий симметричный монаидальный функтор C → C⊗∞, такие что для любой полукартезианской категории D с бесконечными тензорными произведениями и симметричного монаидального функтора φ: C → D существует единственный ITP-сохраняющий симметричный монаидальный функтор φ̃: C⊗∞ → D такой, что диаграмма коммутирует.

Теорема 2: Характеризация через пространства Стоуна

ITP-сохраняющий симметричный монаидальный функтор

φ: FinStoch⊗∞ → StoneStoch^{lc}

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

Локально постоянные ядра Маркова (определение 11): морфизм f: X → Y между пространствами Стоуна удовлетворяет:

• f(U|-): X → 0,1 локально постоянна для всех открыто-замкнутых множеств U
• f(-|x): Clopen(Y) → 0,1 — конечно-аддитивная вероятностная мера для всех x∈X

Экспериментальная установка и приложения

Случай цепей Маркова

Статья демонстрирует применение нотации пластин на примере цепей Маркова. Однородная по времени цепь Маркова может быть представлена как:

c_n: X → X^n := f ∘ c_{n-1}

В контексте бесконечного тензорного произведения можно определить бесконечную цепь Маркова c: X → X^ℕ и доказать её инвариантность при добавлении предварительного шага:

c_n = c_{n-1} ∘ f = c ∘ f

Экспериментальные результаты

Выразительная способность

Ключевой результат: CantorStoch^{lc} содержит все вероятностные меры на ℝ. Это следует из того, что ℝ является бесконечным тензорным произведением 2 в BorelStoch, а 2^ℕ — соответствующий объект в CantorStoch^{lc}.

Аксиоматические результаты

Следствие 3: CantorStoch^{lc} изоморфна Free^∞(Σ,E), где (Σ,E) — симметричная монаидальная теория CausCirc.

Это означает, что эта категория непрерывных вероятностей может быть полностью охарактеризована конечным набором образующих и уравнений.

Связанные работы

Категориальная теория вероятностей

• Теория категорий Маркова Fritz и соавторов 11
• Аксиоматизация дискретных вероятностей 21
• Строковые диаграммы для гауссовых вероятностей 25

Бесконечные тензорные произведения

• Пионерская работа Fritz и Rischel 16
• Приложения в категориальной теории вероятностей 13,14

Инновация данной работы

В отличие от существующих работ, данная статья впервые предоставляет систематический метод конструкции от дискретных к непрерывным вероятностям с полной аксиоматизацией.

Заключение и обсуждение

Основные выводы

1. Установлена универсальная конструкция для присоединения бесконечных тензорных произведений
2. Доказано, что FinStoch⊗∞ может быть охарактеризована как локально постоянные ядра Маркова
3. Предоставлена полная аксиоматизация непрерывных вероятностей
4. Продемонстрирован систематический метод от дискретного к непрерывному

Ограничения

1. Ограничения выразительности: невозможно восстановить полную BorelStoch, так как степени свободы измеримых функций не могут быть полностью захвачены конечными операциями
2. Ограничение локальной постоянности: можно обрабатывать только локально постоянные ядра Маркова, не включая все непрерывные вероятностные процессы
3. Счётное ограничение: конструкция применима только к счётным бесконечным тензорным произведениям

Будущие направления

1. Расширение на общие ядра Маркова: исследование описания общих ядер через локально постоянные ядра
2. Разложение мер: исследование универсальных конструкций, гарантирующих существование условных в категориях Маркова
3. Двойственность Стоуна: изучение вероятностных морфизмов между булевыми алгебрами через двойственность Стоуна
4. Другие категории: применение к гауссовым вероятностям, гауссовым смесям и другим категориям

Глубокая оценка

Преимущества

1. Теоретическое инновация: впервые систематически связаны категориальные описания дискретных и непрерывных вероятностей
2. Универсальность конструкции: предоставленная конструкция применима ко всем полукартезианским категориям
3. Практичность инструментов: нотация пластин предоставляет интуитивный инструмент для сложных рассуждений о бесконечных тензорных произведениях
4. Глубина результатов: доказано, что пространство Кантора достаточно для представления всех вероятностных мер на ℝ

Недостатки

1. Ограниченные приложения: примеры цепей Маркова относительно просты, требуются более сложные приложения
2. Вычислительная сложность: не обсуждаются вопросы сложности при практических вычислениях
3. Детали реализации: отсутствуют конкретные алгоритмические реализации и вычислительные инструменты

Влияние

1. Теоретический вклад: предоставляет важные теоретические инструменты для категориальной теории вероятностей
2. Методологическое значение: открывает новый метод приближения непрерывного из дискретного
3. Перспективы приложений: предоставляет новую теоретическую основу для вероятностного программирования и машинного обучения

Применимые сценарии

1. Теоретические исследования: исследования в теории категорий, теории вероятностей, логике
2. Вероятностное программирование: предоставляет более строгую семантическую основу
3. Машинное обучение: предоставляет алгебраические инструменты для вероятностных моделей
4. Формальная верификация: предоставляет инструменты для формального анализа вероятностных систем

Библиография

Статья цитирует 29 связанных источников, основные из которых:

• 11 Fritz, T.: A synthetic approach to Markov kernels (основополагающая работа по категориям Маркова)
• 16 Fritz, T., Rischel, E.F.: Infinite products and zero-one laws (оригинальная работа по бесконечным тензорным произведениям)
• 21 Piedeleu, R. et al.: A complete axiomatisation of equivalence for discrete probabilistic programming (аксиоматизация дискретных вероятностей)
• 25 Stein, D. et al.: Graphical quadratic algebra (строковые диаграммы для гауссовых вероятностей)

Данная статья вносит значительный вклад в область категориальной теории вероятностей, предоставляя систематический алгебраический метод обработки непрерывных вероятностей. Хотя в практическом применении требуется дальнейшее развитие, её теоретическая ценность и методологическое инновация имеют глубокое значение.