Если взять таблицу чисел, где в каждой строке и каждом столбце сумма квадратов равна 1, и захотеть максимизировать сумму четвёртых степеней, ответом будут только перестановки координат. Четвёртая степень резко наказывает за дробление: значение 0,5 даёт лишь 0,0625, а 1 — всё ту же 1. Выгодно весь вес строки и столбца отдать одной клетке, заполнив её числом +1 или –1, а остальные — нулями. Это и есть матрица перестановки со знаком — такой поворот ничего не перемешивает, а лишь меняет оси местами, иногда переворачивая их.
Математики показали, что любое отступление от целых единиц и нулей можно «подкрутить» в сторону большего контраста, увеличив вклад самого крупного элемента. Принцип напоминает стягивание склонов к вершине горы: пик становится выше. Неожиданно, что похожие правила диктуют поведение элементарных частиц в стандартной модели, где симметрии отбирают крайние состояния. А в спектроскопии узкие спектральные линии — это такие же острые пики, возникающие, когда возбуждение сосредоточено в единственном переходе.
как её написали авторы, на английском arXiv:2607.12431
We classify the local maximizers of the entrywise fourth-power objective \[ Q\longmapsto \lVert Q\rVert_4^4 =\sum_{i,j=1}^r q_{ij}^4 \] over the real orthogonal group $$\mathcal O(r)$$. We prove that the signed permutation matrices are the only local maximizers, and hence the only global maximizers, in every dimension. More strongly, every other stationary point has an explicit rank-two tangent direction with strictly positive second variation. The proof is based on a maximum-entry pivot for the orthostochastic matrix $$Q^{\circ2}$$: the associated full Riemannian Hessian can be evaluated exactly and is positive at a largest nonunit squared entry. The argument is self-contained and handles zeros, repeated magnitudes, reducible support, and Hadamard-type stationary points.
Если заменить четвёртую степень на вторую, сумма окажется одинаковой для всех поворотов и отражений — это свойство сохранения длины. Но стоит взять степень выше двух, и сразу выпячиваются «пиковые» конфигурации.