Какой вопрос решают
Насколько малым может быть произведение объёмов симметричного выпуклого тела и его полярного? Полярное тело кодирует линейные функционалы, ограниченные единицей на исходном теле.
Заявлены симметричная гипотеза Малера с классификацией равенства и отдельная общая несимметричная версия. Глубокий разбор здесь ограничен симметричной основной работой.
Почему выбрано: Геометрически понятный фундаментальный результат, позволяющий показать и интуицию, и границу компьютерного эксперимента.
До и после
В малых размерностях и специальных классах существовали результаты; двумерный прямоугольник с полярным ромбом уже даёт произведение 8. Новизна здесь — все размерности и полная классификация равенства, а не картинка прямоугольника. Общая несимметричная граница компаньона меньше и сама по себе не даёт симметричную точную константу.
Это сопоставление по введению рукописи. Независимый исчерпывающий обзор приоритета не выполнен.
Точное утверждение и условия
087-01, теорема 1.1, PDF с. 2: K⊂Rⁿ компактно, выпукло, имеет непустую внутренность и K=−K. Для K°={y:〈x,y〉≤1 для всех x∈K} заявлено |K||K°|≥4ⁿ/n!, с равенством ровно для обратимых линейных образов многогранников Ханнера. Они рекурсивно строятся из отрезка декартовыми произведениями и выпуклыми объединениями в дополнительных подпространствах.
Источник: указанные теоремы в локальных PDF ниже. Формулировка пересказана, но ключевые кванторы, модель и оговорки сохранены.
Три уровня объяснения
Следующие аналогии и объяснения — наша интерпретация, не дополнительные теоремы.
Загрузка локального эксперимента…
Архитектура доказательства
Пересказ вводного обзора, а не построчная проверка доказательства.
Построить аналитическое представление и связать его массу с геометрией тела.
Перейти к сумме весов допустимых базисов и интегральной оценке полярного объёма.
Отдельно разобрать случаи равенства через условия пересечения и рекурсивную классификацию. Наглядная 2D-дуальность проверяет только определение и несколько примеров.
Что известно о проверке
Scope notes обсуждают разные части семейства; их абзацы об охвате симметричной и общей теорем читаются отдельно. Наличие записи не позволяет удостоверить все функциональные и симплектические следствия. Lean-код отсутствует.
Читать локальное описание формального охвата
Наличие PDF, извлечение текста, успешный маленький эксперимент и внешний результат-предшественник — разные виды свидетельств. Ни один из них здесь не отмечен как независимое подтверждение всей новой теоремы.
Практика: наш вывод, не обещание автора
Прямого нового продукта не выявлено. Полезны экстремальные примеры и ограничения в выпуклой геометрии, оценках норм и исследовании алгоритмов. Визуализатор полярности можно сделать известными методами.
Ограничения переноса
В демонстрации только 2D и конечные многоугольники, без численных претензий на высокую размерность. Нельзя переносить симметричную формулу на тело с произвольным выбором центра.
Исходники и реальный охват чтения
Номера страниц относятся к физическим страницам PDF, начиная с 1. Ссылки на GitHub не закреплены на текущем commit; воспроизводимый источник — локальный путь и SHA-256.
087-01 · The symmetric Mahler conjecture and its equality cases
Реальный охват: Просмотрены PDF с. 1–3: Точная симметричная теорема и введение; компаньоны не разобраны. Полный объём PDF: 26 с.
math_sources/math_research_02_of_08/preprints/The-symmetric-Mahler-conjecture-and-its-equality-cases-September-22-2026/paper.pdfSHA-256: 0560a02b890de6637a1e007f2d438e8dec93575b4e12a66a6313511348ddd6a6Каталог: context/CONTENTS.md, строка 2134. Путь и хеш относятся к загруженной версии.
087-02 · The Mahler Conjecture for General Convex Bodies
Реальный охват: Только каталог; полный текст автоматически доступен для поиска у отобранных компаньонов, но здесь не прочитан. Полный объём PDF: 72 с.
math_sources/math_research_02_of_08/preprints/The-Mahler-Conjecture-for-General-Convex-Bodies-September-22-2026/paper.pdfSHA-256: f2d35982e2e7dfe55474092a7db4c558419fb892b412bf122b20d43b51229effКаталог: context/CONTENTS.md, строка 2143. Путь и хеш относятся к загруженной версии.
087-03 · Symplectic Balls in Symmetric Polar Products
Реальный охват: Только каталог; полный текст автоматически доступен для поиска у отобранных компаньонов, но здесь не прочитан. Полный объём PDF: 19 с.
math_sources/math_research_02_of_08/preprints/Symplectic-Balls-in-Symmetric-Polar-Products-September-22-2026/paper.pdfSHA-256: 643930d71faeb8ba5aa5cda35465d20697f2955dce9a91ff729fb3ebd90c76eeКаталог: context/CONTENTS.md, строка 2152. Путь и хеш относятся к загруженной версии.
Семейство в CONTENTS.md, строка 2127. Структурированные заметки · Журнал внешней сверки.