ВЕТВЬ 51. ТОЧНАЯ ЭКСТРЕМАЛЬНАЯ ФУНКЦИЯ И ПОРЯДОК КВАНТОРОВ
Дата составления: 18 октября 2026 г.

Постановка, общая для этого этапа.
A — непустое конечное множество различных положительных целых чисел,
N=|A|, f_A(x)=sum_{a in A} cos(ax), K(A)=-min_x f_A(x).
Аргумент x рассматривается по модулю 2*pi. Амплитуды равны единице,
начальные фазы нулевые. Интегралы далее нормированы множителем 1/(2*pi).

Статус: точная переформулировка исходной задачи и доказанные элементарные
следствия. Формула, вычисляющая c_N для всех N, и постоянная нижняя грань
здесь не получены. Заявления о новизне нет.

51.1. Что именно может быть функцией

Определим

  kappa_N = inf {K(A): A subset Z_{>0}, |A|=N},
  c_N = kappa_N/sqrt(N).

Таким образом, c_N — наибольшее число, для которого верно

  K(A) >= c_N sqrt(N) для каждого множества A из N частот.

Не следует смешивать c_N с произвольно выбранной нижней функцией b(N).
Утверждение K(A)>=b(N)sqrt(N) для всех A равносильно только b(N)<=c_N.
Оно не утверждает равенства b(N)=c_N. Выбор b(A)=K(A)/sqrt(|A|) превращает
оценку в тождество и сам по себе не даёт независимого способа вычисления.

51.2. Положительность для каждого фиксированного N

Ортогональность разных целочисленных частот даёт

  integral f_A = 0,   integral f_A^2 = N/2.

Обе функции f_A+K(A) и N-f_A неотрицательны. Следовательно,

  0 <= integral [(f_A+K(A))(N-f_A)]
     = N K(A) - integral f_A^2 = N K(A)-N/2.

Поэтому K(A)>=1/2, а значит

  1/(2 sqrt(N)) <= c_N <= sqrt(N).

Последнее неравенство следует из f_A>=-N. Для N=1 замена x на ax
показывает K({a})=1, поэтому c_1=1. Эти оценки не используют верхнюю
частоту или дополнительные предположения об аддитивных отношениях в A.

51.3. Три эквивалентные формы гипотезы

Следующие утверждения эквивалентны:

  (i)   Существует c>0 такое, что для всех N>=1 и всех A размера N
        K(A)>=c sqrt(N).
  (ii)  inf_{N>=1} c_N > 0.
  (iii) liminf_{N->infinity} c_N > 0.

Эквивалентность (i) и (ii) следует непосредственно из определения.
Из (ii) следует (iii). Если выполнено (iii), существуют b>0 и N_0,
для которых c_N>=b при N>=N_0. Для оставшихся N имеем
c_N>=1/(2 sqrt(N_0)). Поэтому c=min(b,1/(2 sqrt(N_0)))>0 подходит
одновременно для всех N. Предел c_N существовать для этого не обязан.
Монотонность c_N данным рассуждением также не устанавливается.

В частности, подмена порядка кванторов

  «для каждого N существует положительное c_N»
  вместо «существует положительное c для всех N»

меняет математическое содержание. Первое утверждение уже следует из
элементарной оценки 1/(2 sqrt(N)); второе является исходной целью.

51.4. Как выглядело бы опровержение постоянной

Отрицание (i) равносильно существованию последовательности A_j такой, что

  N_j=|A_j| -> infinity,
  K(A_j)/sqrt(N_j) -> 0.

Если (i) неверно, для каждого j можно выбрать A_j с отношением <1/j.
Из K(A_j)>=1/2 следует N_j>j^2/4, поэтому размеры автоматически уходят
в бесконечность. Обратное следует подстановкой любой предполагаемой c>0
в такую последовательность. Возможна и последовательность размеров,
на которой c_N приближается к нулю, без существования полного предела.

Следовательно, нулевая нижняя граница произвольной доказанной функции
b(N) не является опровержением: нужны верхние свидетельства на реальных
множествах A_j или иное доказательство того, что inf_N c_N=0.

51.5. Инфимум по частотам достигается, но это не явная формула

Во внутреннем предыдущем журнале уже доказано, что для каждого N
kappa_N достигается некоторым множеством A. Источник результата:

  /workspace/scratch/b671bf289294/restored/Chowla_Research_Journal.txt
  раздел «8.2. Proved existence: the optimal value at each fixed N is
  attained»; более сильный разбор — подход 30 и его независимый аудит.

Краткое воспроизведение аргумента. Для минимизирующей последовательности
кортежей a^(j) рассмотрим замкнутые круговые подгруппы
H_j={(a_1^(j)t,...,a_N^(j)t) mod 2*pi}. Из компактности выберем предел H
в метрике Хаусдорфа. Он является замкнутой подгруппой тора. Её аннулятор
L(H) subset Z^N имеет конечный целочисленный базис. Для каждого базисного
характера его образ на H_j при больших j лежит в малой дуге около 1.
Этот образ является связной компактной подгруппой окружности, поэтому
равен {1}. Все базисные характеры одновременно аннулируют H_j при
достаточно больших j, откуда H_j subset H. Максимумы непрерывной функции
Phi(theta)=-sum cos(theta_i) сходятся к kappa_N, а включение даёт
max_{H_j}Phi<=kappa_N. Определение инфимума даёт обратное неравенство.
Следовательно, равенство достигается некоторыми членами последовательности.

Использованные топологические и целочисленные факты и граница применимости
разобраны в указанном прежнем доказательстве. Эта запись использует его
как внутренний результат, а не объявляет новым внешним фактом. Само
достижение не даёт известной нам явной верхней частоты точного минимизатора
или критерия остановки перебора. Эффективное приближение с заданной ошибкой
рассмотрено отдельно в ветви 56.

Проверка.
Общий код functions_51_56_checks.py проверяет точные малые примеры
K({1})=1, K({1,2})=9/8 и направление нескольких сертификатов. Все
эквивалентности кванторов и утверждения для бесконечного семейства N
доказываются текстом выше; конечный запуск их не заменяет.

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

