И. Б. Курпишев | Принцип неопределённости ПН.2 |
Принцип неопределённости Курпишева ПН.2:
минимаксная теорема для скрытой скобочной альтернативы
Курпишев Иван Борисович
Независимый исследователь, Калининград, Россия
Авторская журнальная редакция v1.1, 15 июля 2026 г.
Аннотация. Рассматривается нормированное вещественное или комплексное линейное пространство
с билинейной, вообще говоря, неассоциативной операцией
. Для двух допустимых расстановок скобок
и
предполагается, что истинный протокол скрыт от единого оценивателя. Вводятся минимаксные ошибки восстановления скалярной наблюдаемой
, полного результата и структурной координаты
. Доказывается локальная нижняя граница: произведение ошибок не меньше одной четверти произведения расстояния между двумя допустимыми результатами и разрыва структурной координаты. Для полного состояния расстояние совпадает с нормой ассоциатора
. Получены скалярная, полносостояний и равномерная формы теоремы; отдельно указаны условия
-разделения и положительной нижней границы
. На явно заданной двумерной нормированной неассоциативной алгебре построены четыре вычислимых случая: ассоциативный нулевой сектор, неассоциативная тройка с
, глобально
-разделяющая наблюдаемая и компактная область с точной константой
при
. Примеры показывают точность коэффициента
и необходимость всех невырожденных предпосылок. Результат имеет статус математической теоремы внутри модели скрытой скобочной альтернативы; квантово-физические и космологические интерпретации не утверждаются.
Ключевые слова: неассоциативная алгебра; ассоциатор; минимаксная оценка; скрытая структурная альтернатива; структурная неопределённость; равномерная нижняя граница.
MSC 2020: 17A01 (primary); 54E35 (secondary).
English title. Kurpishev Uncertainty Principle PN.2: A Minimax Theorem for Hidden Bracketing Alternatives.
Abstract. Let
be a normed real or complex linear space equipped with a bilinear, not necessarily associative product
. Two admissible bracketings,
and
, are treated as hidden structural alternatives. A single estimator, which is not allowed to use the true bracketing index, must recover a scalar observable, the full algebraic result, and a structural coordinate. A two-point metric argument yields a local minimax lower bound: the product of the reconstruction errors is at least one quarter of the product of the separation of the two admissible results and the structural-coordinate gap. In the full-state formulation the separation is exactly the norm of the associator. Scalar, full-state,
-separating, and uniform versions are proved. Four explicit constructions are given in a two-dimensional normed nonassociative algebra: an associative zero case, a nonassociative case invisible to the norm observable, a globally
-separating observable, and a compact domain with the sharp constant
for
. These examples establish sharpness of the coefficient
and show why nondegeneracy assumptions cannot be omitted. The result is a mathematical theorem within the hidden-bracketing model; no universal quantum-physical law is claimed.
Keywords: nonassociative algebra; associator; minimax estimation; hidden structural alternative; structural uncertainty; uniform lower bound.
Неассоциативные алгебры возникают в алгебре, геометрии и математической физике; классическое введение в предмет дано Шафером [4], а роль октонионов и композиционных алгебр в современной математике обсуждается, например, Баэзом [5]. В настоящей работе исследуется не классификация конкретной алгебры, а информационное следствие скрытого выбора одной из двух допустимых расстановок скобок.
Основная идея состоит в следующем. Если одному и тому же входу
соответствуют два допустимых результата
и
, а истинный индекс
или
недоступен оценивателю, то одна и та же оценка должна приближать две точки. Неравенство треугольника немедленно даёт минимаксную границу, равную половине расстояния между ними. Если одновременно требуется восстановить различающую протоколы структурную координату, произведение двух ошибок получает множитель
.
Автор называет этот математический каркас принципом неопределённости Курпишева ПН.2. Термин фиксирует происхождение концепции, но не меняет доказательного статуса: теорема относится к явно определённой модели скрытой скобочной альтернативы. Она не совпадает с дисперсионным соотношением Робертсона–Шрёдингера [1, 2] и не совпадает с отношениями «шум–возмущение» Одзавы [3]. Для связи с квантовой теорией требуется отдельное операторное представление и проверка доменов.
Вклад статьи состоит из четырёх частей:
Пусть
— нормированное линейное пространство над
или
с билинейной операцией

Ассоциативность не предполагается. Для
определим два скобочных протокола

и соответствующие результаты

Ассоциатор равен

Обозначение
сохраняется за авторским проектным объектом ассоциаторного слоя; в настоящей статье
является конкретной оценкой ассоциатора на тройке. Символ
не используется как бинарное умножение и не обозначает звезду Ходжа; базовая операция записывается как
.
Пусть
и
— структурная координата, различающая протоколы. Введём разрыв

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

Истинный индекс
считается скрытым от оценивателя. Оцениватель обязан выдать одну и ту же пару
, не используя
. Для фиксированного
положим

Для полносостояний оценки
определим

Именно запрет использовать скрытый индекс, а не одна лишь неассоциативность, создаёт задачу неопределённости. Если истинный протокол известен заранее, теорема ниже к такому эксперименту не применяется.
Определение 2.1 (
-разделение). Наблюдаемая
называется
-разделяющей на
, если существует
такое, что

Определение 2.2 (равномерная ПН.2-область). Пусть
. Область
называется равномерной ПН.2-областью относительно
, если
и существует
, для которого

Минимальные предпосылки основной теоремы таковы: операция билинейна и оба скобочных результата определены; допустимы две скрытые альтернативы; одна и та же оценка используется для обеих альтернатив;
требуется для положительной структурной границы. Скалярная положительная граница дополнительно требует
или
-разделения. Равномерная константа требует положительной нижней, а не верхней, грани ассоциатора.
Лемма 3.1. Для любых точек
метрического пространства
выполняется

Доказательство. Из неравенства треугольника

следует требуемое. □
Лемма является детерминированной двухточечной минимаксной оценкой. В отличие от статистических двухточечных методов [7], здесь не вводятся вероятности, распределения или риск по выборке: неопределённость целиком задаётся скрытым структурным индексом.
Теорема 4.1 (локальная минимаксная ПН.2 Курпишева). Пусть выполнены предпосылки раздела 2. Тогда для каждого
и любой пары оценок
, не использующей скрытый индекс
,

(PN.2-S)
Для любой полносостояний оценки
выполняется

(PN.2-R)
Если
является
-разделяющей на
, то

(PN.2-K)
Доказательство. Применяя лемму 3.1 на вещественной прямой к двум значениям
и
, получаем

Та же лемма для чисел
и
даёт

Перемножение доказывает (PN.2-S). В метрическом пространстве
лемма даёт

Совместно с границей для
это доказывает (PN.2-R). Подстановка
в (PN.2-S) даёт (PN.2-K). □
Статус теоремы: доказанный математический результат внутри явно заданной модели скрытой скобочной альтернативы. Авторская атрибуция концепции ПН.2: И. Б. Курпишев, Калининград, 2026.
Следствие 5.1 (условная равномерная ПН.2). Если
является равномерной ПН.2-областью относительно
, то

Если
-разделяет ассоциатор, то

Величина

даёт только верхнюю оценку

Положительная нижняя оценка с тем же
логически не следует. Для равномерной теоремы нужна ограниченная область и величина

Область, содержащая точку
, не допускает положительной
при положительном
.
Обратное неравенство треугольника даёт лишь

Нижней оценки отсюда нет. В частности, мультипликативность нормы в октонионах может давать
при ненулевом ассоциаторе [5]. Поэтому скалярная версия должна использовать заранее доказанную разделяющую наблюдаемую, тогда как полносостояний версия непосредственно видит
.
Утверждение об отсутствии естественного преобразования между двумя не определёнными явно функторами не равносильно запрету совместного восстановления. Для категориального аналога ПН.2 необходимо задать категории, функторы, морфизмы и точный объект no-go — например, отсутствие совместной естественной секции. Общая терминология теории категорий используется в смысле [6].
Во всех примерах положим

Оптимальная симметричная оценка
даёт
. Перестановка названий
меняет знак
, но сохраняет
и все границы. Эта координата является протокольной, а не физической.
Пусть
,
,
и
. Тогда

Для
,
,
и
имеем

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

Эквивалентно,

Операция билинейна и замкнута. Введём норму

Для
имеем
, поэтому

Поскольку
, далее

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

Если
, то
и
. При
,
,
имеем

Скалярная граница вырождается, но

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

Для любых
ассоциатор имеет вид
. Поэтому

Наблюдаемая глобально
-разделяет
на
с точной константой
.
Для
имеем

а
,
и
. Мидпойнт-оценки
,
дают

и

Следовательно, универсальный коэффициент
в теореме 4.1 улучшить нельзя.
Пусть
,
,
и

Это компактный параллелепипед в
с непустой внутренностью. Прямое вычисление даёт

откуда

Параметр
сокращается тождественно. Положим

На
функция
возрастает по
и
, убывает по
; после подстановки
,
,
получаем

что возрастает по
. Поэтому

при
. Поскольку
, точная нижняя грань равна

Для
имеем точную константу

Если вместо этого взять
, то

и сертифицирована, хотя не заявляется как оптимальная, граница

Точная
достигается на тройке

Здесь

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

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

можно использовать только после доказательства четырёх мостов: соответствия
одной из ошибок
; соответствия
ошибке
; выбора масштаба
; и существования положительной нижней константы
.
Для полной авторской теории
остаются следующие обязательства.
PO-1. Задать носитель, поле, базис, умножение или структурные константы, единицу, инволюцию, норму и область определения авторской алгебры.
PO-2. Проверить билинейность, замкнутость, непрерывность, нулевые делители и существование используемых операторов.
PO-3. Вычислить ненулевые ассоциаторы и классифицировать ассоциативные и неассоциативные сектора.
PO-4. Определить
с
, доказать её инвариантность и интерпретацию.
PO-5. Выбрать физически интерпретируемую
и доказать
-разделение либо использовать полносостояний вариант.
PO-6. Построить измерительную модель скрытости
и операционализировать ошибки.
PO-7. Для авторской алгебры выбрать
и доказать положительную
.
PO-8. Проверить физические размерности
,
,
,
и
.
PO-9. Построить строгую категориальную версию с точным объектом no-go.
PO-10. Для связи с ПН.1 задать представление в гильбертовом пространстве, самосопряжённые операторы и их домены.
PO-11. Примеры и контрпримеры: закрыто в настоящей статье четырьмя конструкциями раздела 6 на уровне абстрактного пакета ПН.2.
PO-12. Опубликовать воспроизводимый сертификат структурных констант, код и тесты для
,
и
.
Ниже перечислены физические утверждения, которые не следуют из теоремы 4.1 и сохраняют статус проверяемых гипотез: физическая онтология
как алгебры времени; фундаментальность ПН.2 по отношению к ПН.1; вывод ПН.1 из ПН.2; калибровка масштаба
; индуцированный операторный коммутатор; семикомпонентная структура времени; физическая реализация ФОС и модели Время
Пространство; оператор хода времени; монотонность структурной сложности; ковариантная динамика ассоциатора; сценарии ранней Вселенной; локализация ассоциатора в материи; конечность структурной ветви наблюдателя; поправки к ОТО, сингулярностям и тёмному сектору. Каждое из этих утверждений требует операциональных наблюдаемых, единиц, нулевой модели, заранее заданного критерия, оценки неопределённости, открытых данных или кода и независимого воспроизведения.
Для самосопряжённых операторов
и допустимого состояния
соотношение Робертсона имеет вид

при выполнении доменных условий [1]. Оно относится к дисперсиям квантовых наблюдаемых. Теорема 4.1 относится к наихудшим ошибкам одной оценки при двух скрытых скобочных альтернативах. Общим является мотив нижней границы, но математические объекты и типы ошибок различны.
Поэтому запись «ПН.2
ПН.1» в настоящей редакции имеет статус исследовательской гипотезы. Для её доказательства необходимо построить представление
алгебры в гильбертовом пространстве, определить плотно заданные самосопряжённые операторы
, проверить области произведений и коммутатора и только затем сравнивать полученную границу с
.
Доказана точная двухточечная минимаксная теорема для скрытого выбора расстановки скобок в нормированной неассоциативной алгебре. Её полносостояний форма связывает произведение ошибок с нормой ассоциатора и разрывом структурной координаты; скалярная форма требует наблюдаемой, различающей два результата. Равномерная константа возникает только после доказательства положительной нижней грани ассоциатора на явно заданной области.
Полностью вычислимая алгебра
показывает одновременно четыре логически различных режима: нулевой ассоциативный предел, невидимость ассоциатора для нормы результата, точное
-разделение и положительную компактную коэрцитивность. Все невырожденные границы достигаются, поэтому коэффициент
является оптимальным в классе сформулированных двухточечных моделей.
Математический результат завершён на уровне теоремы 4.1 и примеров PO-11. Построение конкретной авторской алгебры
, её измерительная операционализация и физические следствия остаются отдельной программой и не подменяются доказанной минимаксной теоремой.
В статье используются следующие статусы: определение вводит объект; модельная аксиома задаёт класс моделей; теорема следует из перечисленных предпосылок; условное следствие требует дополнительной гипотезы; математическая гипотеза требует доказательства или контрпримера; физическая гипотеза требует операционализации и независимого эксперимента.
Каноническая редакция v1.0 была согласована по полной авторской версии «Kurpishev_PN2_author_article_ru_v0.2» от 8 марта 2026 г., её архивному дубликату, PDF-копии и нотационному PATCH README. Текстовые дубликаты не содержали смыслового конфликта; различались верстка и технические переносы. Редакция v1.1 включает закрытие PO-11, журнальную перестройку и типографскую нормализацию без повышения доказательного статуса.
Контроль нотации:
— авторский объект ассоциаторного слоя;
— вычисленный ассоциатор конкретной тройки;
— базовая бинарная операция;
не является бинарным умножением и не является звездой Ходжа;
— структурная координата только после явного определения;Краткая доказанная формулировка:
Для двух скрытых допустимых расстановок скобок в нормированной неассоциативной алгебре введены ошибки единого оценивателя результата и структурной координаты. Доказано, что произведение ошибок не меньше одной четверти произведения нормы ассоциатора на разрыв структурной координаты. Универсальная положительная константа существует лишь на области с доказанной равномерной нижней границей ассоциатора.
Краткая авторская атрибуция: «Принцип неопределённости ПН.2 Курпишева (Курпишев И. Б., Калининград, 2026)».
До выполнения открытых обязательств недопустима формула «доказан новый универсальный физический принцип, более сильный, чем принцип Гейзенберга». Корректная формула статуса: «предложена математическая модель структурной неопределённости; доказана минимаксная теорема внутри модели; физические мосты сформулированы как проверяемые гипотезы».
Контроль целостности итоговой редакции:
Внешние наборы данных не использовались. Все алгебраические конструкции и вычисления, необходимые для проверки теоремы и примеров, приведены в тексте.
[1] Robertson H. P. The Uncertainty Principle. Physical Review. 1929;34:163–164. doi:10.1103/PhysRev.34.163.
[2] Schrödinger E. Zum Heisenbergschen Unschärfeprinzip. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse. 1930:296–303.
[3] Ozawa M. Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement. Physical Review A. 2003;67:042105. doi:10.1103/PhysRevA.67.042105.
[4] Schafer R. D. An Introduction to Nonassociative Algebras. New York: Academic Press; 1966.
[5] Baez J. C. The Octonions. Bulletin of the American Mathematical Society. 2002;39:145–205. doi:10.1090/S0273-0979-01-00934-X; arXiv:math/0105155.
[6] Mac Lane S. Categories for the Working Mathematician. 2nd ed. New York: Springer; 1998. doi:10.1007/978-1-4757-4721-8.
[7] Le Cam L. Asymptotic Methods in Statistical Decision Theory. New York: Springer; 1986. doi:10.1007/978-1-4612-4946-7.
[8] Курпишев И. Б. Авторская формулировка принципа неопределённости Курпишева (ПН.2). Рабочая статья v0.2; канонический теоремный пакет v1.0; журнальная редакция v1.1. Калининград; 2026.