2025-11-12T07:19:09.653600

Orders of Oscillation Motivated by Sarnak's Conjecture--Part II

Jiang
This work is a continuation of [13]. We study the linear disjointness between higher-order oscillating sequences and nonlinear dynamical systems. Specifically, we prove that any oscillating sequence of order $m=d+k-1$ and any simple polynomial skew product of degree $k$ on the $d$-Euclidean space are linearly disjoint. Additionally, we demonstrate that any oscillating sequence of order $d$ and any minimal mean attractable and minimal quasi-discrete spectrum dynamical system of order $d$ are linearly disjoint. Finally, we introduce multi-linearly disjoint sequences and construct examples of such sequences.
academic

Порядки колебаний, мотивированные гипотезой Сарнака--Часть II

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

  • ID статьи: 2201.08800
  • Название: Orders of Oscillation Motivated by Sarnak's Conjecture--Part II
  • Автор: Yunping Jiang (Queens College & Graduate Center, City University of New York)
  • Классификация: math.DS (Динамические системы), math.NT (Теория чисел)
  • Время публикации: препринт arXiv, подано в январе 2022 г., пересмотрено в ноябре 2025 г. (v2)
  • Ссылка на статью: https://arxiv.org/abs/2201.08800v2

Аннотация

Данная работа является продолжением предыдущих исследований автора 13 и изучает линейную независимость последовательностей высших порядков колебаний от нелинейных динамических систем. Основные результаты: (1) любая последовательность колебаний порядка m=d+k−1m=d+k-1 линейно независима от простого полиномиального косого произведения степени kk на dd-мерном евклидовом пространстве; (2) любая последовательность колебаний порядка dd линейно независима от минимальной средне-притягивающей и минимальной квазидискретно-спектральной динамической системы порядка dd; (3) введено понятие кратной линейной независимости последовательностей и построены конкретные примеры.

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

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

Центральной проблемой данной работы является обобщение и углубление гипотезы Сарнака. Гипотеза Сарнака утверждает, что последовательность Мёбиуса u=(μ(n))n∈Nu = (\mu(n))_{n\in\mathbb{N}} линейно независима от любой непрерывной динамической системы с нулевой топологической энтропией. Это важная проблема на пересечении теории чисел и динамических систем.

Значимость проблемы

  1. Связь теории чисел и динамических систем: Гипотеза Сарнака устанавливает глубокую связь между арифметическими функциями теории чисел (такими как функция Мёбиуса) и теорией динамических систем
  2. Теоретическое значение: Линейная независимость является ключевым понятием для понимания взаимодействия детерминированных систем с "псевдослучайными" последовательностями
  3. Ценность обобщения: Изучение свойств общих последовательностей колебаний помогает понять, какие последовательности обладают свойствами, аналогичными последовательности Мёбиуса

Ограничения существующих методов

  1. Предыдущие работы: Автор в 13 изучал линейную независимость последовательностей колебаний от аффинных отображений тора, но только в линейном случае
  2. Вызов нелинейности: Для нелинейных динамических систем (таких как полиномиальные косые произведения) требуются свойства колебаний более высокого порядка
  3. Ограничения спектральной теории: Классическая теория систем с дискретным спектром недостаточна для обработки более общих динамических систем

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

Автор стремится:

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

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

  1. Обобщение на нелинейные системы: Доказано, что последовательность колебаний порядка m=d+k−1m=d+k-1 линейно независима от простого полиномиального косого произведения степени kk на dd-мерном пространстве (теорема 1)
  2. Общие полиномиальные косые произведения: Для полиномиальных косых произведений общего вида доказано существование конечного порядка m=m(d,k,h1,…,hd)m=m(d,k,h_1,\ldots,h_d) такого, что соответствующая последовательность колебаний линейно независима от них (теорема 2)
  3. Обобщение спектральной теории: Обобщена теория квазидискретного спектра (QDS) на минимальный квазидискретный спектр (MQDS), и доказана линейная независимость последовательности колебаний порядка dd от систем с MMA и MQDS(d) (теорема 3)
  4. Кратная линейная независимость: Введено новое понятие кратной линейной независимости последовательностей и построены конкретные примеры (теорема 4), связанные с гипотезой Чоулы
  5. Совершенствование теоретического каркаса: Определение линейной независимости обобщено на динамические системы в польских пространствах, обеспечивая каркас для работы с некомпактными пространствами

Подробное описание методов

Определение задачи

Линейная независимость (классическое определение): Пусть XX — компактное метрическое пространство, f:X→Xf: X \to X — непрерывное отображение, c=(cn)n∈Nc = (c_n)_{n\in\mathbb{N}} — последовательность комплексных чисел. Говорят, что cc линейно независима от ff, если для любых ϕ∈C(X)\phi \in C(X) и x∈Xx \in X выполняется lim⁡N→∞1N∑n=1Ncnϕ(fnx)=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(f^n x) = 0

Порядок последовательности колебаний: Последовательность cc называется последовательностью колебаний порядка dd, если для всех вещественных многочленов PP степени не выше dd выполняется lim⁡N→∞1N∑n=1Ncne2πiP(n)=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n e^{2\pi i P(n)} = 0

Обобщенная линейная независимость: Для польского пространства YY и факторпространства X=Y/∼X = Y/\sim, проекции π:Y→X\pi: Y \to X и непрерывного отображения f:Y→Yf: Y \to Y, говорят, что cc линейно независима от ff, если для любых ϕ∈C(X)\phi \in C(X) и y∈Yy \in Y выполняется lim⁡N→∞1N∑n=1Ncnϕ(π(fny))=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(\pi(f^n y)) = 0

Основной технический каркас

1. Анализ структуры полиномиальных косых произведений

Простое полиномиальное косое произведение определяется как:

x_1 + a \\ x_2 + h_2(x_1) \\ x_3 + b_{32}x_2 + h_3(x_1) \\ \vdots \\ x_d + b_{d(d-1)}x_{d-1} + \cdots + b_{d2}x_2 + h_d(x_1) \end{pmatrix}$$ где $h_i(x_1)$ — многочлены степени не выше $k$. **Ключевое наблюдение**: После итераций каждая координата $x_i^n = f^n(x)$ является многочленом от $n$, и степень может быть точно вычислена: - $x_1^n$ — многочлен степени $\leq 1$ - $x_2^n$ — многочлен степени $\leq k+1$ - $x_i^n$ — многочлен степени $\leq k+i-1$ Таким образом, для тригонометрического многочлена $e^{2\pi i(k_1 x_1 + \cdots + k_d x_d)}$ вдоль орбиты: $$e^{2\pi i(k_1 x_1^n + \cdots + k_d x_d^n)} = e^{2\pi i P_k(n)}$$ где $P_k(n)$ — многочлен степени не выше $d+k-1$. #### 2. Стратегия аппроксимации тригонометрическими многочленами **Идея доказательства**: 1. Использование теоремы Стоуна-Вейерштрасса, тригонометрические многочлены плотны в $C(T^d)$ 2. Для любой непрерывной функции $\phi$ построить последовательность аппроксимирующих тригонометрических многочленов $\{p_q\}$ 3. Разложить сумму на две части: $$S_N\phi(x) = \underbrace{\frac{1}{N}\sum_{n=1}^N c_n(\phi(f^n x) - p_r(f^n x))}_{I} + \underbrace{\frac{1}{N}\sum_{n=1}^N c_n p_r(f^n x)}_{II}$$ **Оценка первой части (ошибка)**: Использование неравенства Гёльдера для двойственных показателей $\lambda, \lambda'$ (удовлетворяющих $1/\lambda + 1/\lambda' = 1$): $$|I| \leq \left(\frac{1}{N}\sum_{n=1}^N |c_n|^\lambda\right)^{1/\lambda} \left(\frac{1}{N}\sum_{n=1}^N |\phi(f^n x) - p_r(f^n x)|^{\lambda'}\right)^{1/\lambda'} \leq C^{1/\lambda} \cdot \frac{\epsilon}{2C^{1/\lambda}}$$ **Оценка второй части (главный член)**: Использование определения последовательности колебаний, для тригонометрического многочлена $$p_r(f^n x) = \sum_{m_{1r}\leq k_1 \leq s_{1r}} \cdots \sum_{m_{dr}\leq k_d \leq s_{dr}} a_{k,r} e^{2\pi i P_k(n)}$$ каждый член удовлетворяет $$\left|\frac{1}{N}\sum_{n=1}^N c_n e^{2\pi i P_k(n)}\right| < \frac{\epsilon}{2L^d}$$ следовательно $|II| < \epsilon/2$. #### 3. Обработка систем MMA и MQDS **Минимальная средняя притягиваемость (MMA)**: Каждая точка системы притягивается в среднем к некоторому минимальному множеству, то есть $$\limsup_{N\to\infty} \frac{1}{N}\sum_{n=1}^N d(f^n x, f^n z) < \epsilon$$ **Минимальный квазидискретный спектр (MQDS(d))**: На минимальном множестве система обладает структурой квазидискретного спектра порядка $d+1$. Это означает существование иерархии унимодулярных квазисобственных векторов: $$G_1 \subseteq G_2 \subseteq \cdots \subseteq G_{d+1}$$ где $G_n = \ker(\Lambda^n)$. **Стратегия доказательства**: 1. Использование свойства MMA для сведения поведения общей точки к поведению на минимальном множестве 2. На минимальном множестве использование структуры MQDS для разложения функции в линейную комбинацию квазисобственных векторов 3. Для квазисобственного вектора $g \in G_n$ порядка $n-1$ имеется $$\Phi^n g(z) = e^{2\pi i P(n)}$$ где $P(n)$ — многочлен степени не выше $d$ 4. Применение определения последовательности колебаний для завершения доказательства ### Технические инновации 1. **Точное соответствие порядков**: Доказано, что требуемый порядок последовательности колебаний точно равен $m=d+k-1$, что является оптимальным (не может быть понижено) 2. **Индуктивное построение**: Через индукцию точно вычислена степень многочлена каждой координаты, избегая грубых оценок 3. **Единый каркас**: Аффинный случай (теорема A) и полиномиальный случай (теорема 1) включены в единый каркас 4. **Обобщение спектральной теории**: Классическая теория дискретного спектра обобщена на квазидискретный спектр с введением понятия порядка 5. **Обобщение на польские пространства**: Определение обобщено на некомпактные пространства, предоставляя инструменты для изучения более общих динамических систем ## Экспериментальная установка Данная работа является чистой математической теоретической статьей и не содержит численных экспериментов. Основные результаты получены через строгие математические доказательства. ### Методы теоретической верификации 1. **Конструктивные примеры**: Через теоремы B и 4 построены конкретные полностью колебательные последовательности 2. **Доказательства эквивалентности**: Предложение 1 доказывает эквивалентность последовательностей колебаний в арифметическом смысле и в стандартном определении 3. **Верификация следствий**: Из основных теорем выведены несколько следствий, проверяющих согласованность теории ### Используемые математические инструменты 1. **Гармонический анализ**: Теорема Стоуна-Вейерштрасса, аппроксимация тригонометрическими многочленами 2. **Теория вероятностей**: Неравенство Гёльдера, теория равномерного распределения 3. **Теория чисел**: Критерий Вейля, теорема Коксмы 4. **Теория динамических систем**: Топологическая энтропия, теория квазидискретного спектра 5. **Функциональный анализ**: Теория оператора Купмана ## Экспериментальные результаты ### Основные теоретические результаты **Теорема 1 (Простые полиномиальные косые произведения)**: - **Формулировка**: Любая последовательность колебаний порядка $m=d+k-1$ линейно независима от простого полиномиального косого произведения степени $k$ - **Значение**: Обобщение предыдущей работы от линейного случая ($k=1$, соответствующего аффинным отображениям) к многочленам произвольной степени - **Оптимальность**: Порядок $m=d+k-1$ необходим и не может быть понижен **Теорема 2 (Общие полиномиальные косые произведения)**: - **Формулировка**: Для полиномиальных косых произведений общего вида существует конечный порядок $m=m(d,k,h_1,\ldots,h_d)$ такой, что заключение выполняется - **Ограничение**: Порядок зависит от конкретных коэффициентов многочленов, не столь точен как теорема 1 **Теорема 3 (Системы MMA и MQDS)**: - **Формулировка**: Последовательность колебаний порядка $d$ линейно независима от системы с MMA и MQDS(d) - **Область применения**: Охватывает большой класс систем с нулевой топологической энтропией, включая системы с квазидискретным спектром **Теорема 4 (Кратная линейная независимость)**: - **Формулировка**: Для $g \in C_+^2((1,\infty))$, почти для всех параметров $(\alpha, \beta)$ последовательность $$c = (e^{2\pi i(\alpha\beta^n g(\beta))})_{n\in\mathbb{N}}$$ является кратно линейно независимой - **Значение**: Предоставляет примеры полностью колебательных последовательностей помимо последовательности Мёбиуса ### Теоретические следствия **Следствие 1**: Применение теоремы 1 к итерациям аффинных отображений тора, обработка случая, когда собственные значения являются корнями из единицы, но не все равны 1 **Следствие 2**: Обобщение следствия 1 на полиномиальный случай **Следствие A**: Прямое следствие из теоремы A, любая последовательность колебаний порядка $d$ линейно независима от аффинного отображения тора с нулевой топологической энтропией ### Ключевые леммы **Предложение 1 (Эквивалентность)**: - Последовательности колебаний в стандартном смысле эквивалентны последовательностям колебаний в арифметическом смысле - Доказательство использует ортогональность корней из единицы и методы расширения многочленов **Лемма 1**: - Любая целочисленная матрица со всеми собственными значениями, равными 1, может быть преобразована подобием в нижнетреугольную матрицу - Это предоставляет стандартную форму для обработки аффинных косых произведений ### Теоретические открытия 1. **Необходимость порядка**: Различные типы динамических систем требуют различных порядков последовательностей колебаний, что отражает сложность системы 2. **Эффекты нелинейности**: Степень полиномиальных нелинейных членов напрямую влияет на требуемый порядок последовательности колебаний 3. **Ограничения спектральной теории**: Замечание 4 указывает, что общие аффинные отображения тора с нулевой топологической энтропией не обязательно являются MQDS(d), что указывает на необходимость более тонкой классификации 4. **Роль энтропии**: Полностью колебательные последовательности, построенные в теореме B, имеют положительную энтропию (как динамическая система), но все еще могут быть линейно независимы от систем с нулевой энтропией ## Связанные работы ### Основы теории чисел 1. **Davenport [7]**: Доказал, что последовательность Мёбиуса является последовательностью колебаний (порядка 1) 2. **Hua [12]**: Доказал, что последовательность Мёбиуса является полностью колебательной последовательностью 3. **Chowla [5]**: Предложил гипотезу о кратных корреляциях последовательности Мёбиуса ### Теория динамических систем 1. **Fomin [8]**: Введены чистоточечные спектральные динамические системы и концепция MLS 2. **Abramov [2], Hahn & Parry [11]**: Развита теория квазидискретного спектра 3. **Sinai [19]**: Охарактеризована топологическая энтропия аффинных отображений тора 4. **Kronecker [14]**: Доказаны свойства матриц с собственными значениями, являющимися корнями из единицы ### Предыдущие работы автора 1. **Jiang [9]**: Определены последовательности колебаний, изучена линейная независимость от систем MLS 2. **Fan & Jiang [9]**: Введены концепции MMA и MMLS 3. **Jiang [13]**: Определен порядок последовательностей колебаний, доказана линейная независимость от аффинных косых произведений (теорема A) 4. **Akiyama & Jiang [3]**: Построены примеры полностью колебательных последовательностей (теорема B) ### Связанный прогресс 1. **el Abdalaoui [1]**: Использование норм Гауэрса для изучения последовательностей колебаний 2. **Byszewski et al. [4]**: Изучение норм Гауэрса автоматических последовательностей 3. **Haase & Moriakov [10]**: Систематическое изучение систем с квазидискретным спектром 4. **Dai & Jiang [6]**: Определение энтропии расстояния на некомпактных пространствах ### Позиционирование данной работы Данная работа продвигает область в следующих направлениях: 1. **От линейного к нелинейному**: Первое систематическое рассмотрение полиномиальных косых произведений 2. **Точная теория порядков**: Установление точного соотношения между порядком колебаний и сложностью системы 3. **Обобщение спектральной теории**: Связь теории квазидискретного спектра с линейной независимостью 4. **Кратная линейная независимость**: Введение нового понятия, связанное с гипотезой Чоулы ## Выводы и обсуждение ### Основные выводы 1. **Успешное обобщение на нелинейный случай**: Доказано, что теория последовательностей колебаний эффективно применима к полиномиальным нелинейным системам 2. **Совершенствование теории порядков**: Установлена четкая иерархия порядков: - Порядок 1: линейная независимость от линейных вращений - Порядок $d$: линейная независимость от $d$-мерных аффинных косых произведений - Порядок $d+k-1$: линейная независимость от $d$-мерных полиномиальных косых произведений степени $k$ 3. **Связь спектральной теории**: Через концепцию MQDS связана спектральная теория с теорией последовательностей колебаний 4. **Конструктивные результаты**: Предоставлены многочисленные примеры полностью колебательных последовательностей помимо последовательности Мёбиуса ### Ограничения 1. **Общий полиномиальный случай**: В теореме 2 порядок $m(d,k,h_1,\ldots,h_d)$ зависит от конкретных коэффициентов, не имеет единой границы 2. **Неполиномиальный случай**: Для общих непрерывных отображений тора (проблема 1) остается открытым 3. **Необходимость условия MMA**: Неясно, может ли условие MMA быть ослаблено 4. **Универсальность MQDS**: Замечание 4 указывает, что общие системы с нулевой энтропией не обязательно являются MQDS, что ограничивает применимость теоремы 3 5. **Вычислительная сложность**: Для конкретных систем вычисление требуемого минимального порядка колебаний может быть затруднительным ### Будущие направления **Проблема 1**: Является ли любая полностью колебательная последовательность линейно независимой от любого непрерывного отображения тора с нулевой топологической энтропией? **Проблема 2**: Является ли полностью колебательная последовательность, построенная в теореме B (с положительной энтропией), линейно независимой от всех систем с нулевой энтропией? **Потенциальные направления исследований**: 1. Обобщение на более общие нелинейные системы (рациональные функции, трансцендентные функции) 2. Изучение общих непрерывных отображений на многомерных торах 3. Исследование приложений кратной линейной независимости 4. Разработка алгоритмов для определения минимального требуемого порядка колебаний для данной системы 5. Изучение связи между последовательностями колебаний и системами с положительной энтропией ## Глубокая оценка ### Достоинства 1. **Теоретическая глубина**: - Установлено точное количественное соотношение между порядком последовательности колебаний и сложностью динамической системы - Техника доказательства изобретательна, особенно метод индуктивного построения степеней многочленов - Объединены предыдущие работы в систематический теоретический каркас 2. **Математическая строгость**: - Все теоремы имеют полные и строгие доказательства - Логические связи между леммами и следствиями ясны - Доказательство эквивалентности в предложении 1 устраняет неоднозначность определений 3. **Инновационность**: - Первое систематическое изучение линейной независимости нелинейных полиномиальных косых произведений - Введение концепции MQDS, обобщение классической спектральной теории - Концепция кратной линейной независимости является новой 4. **Качество изложения**: - Структура ясна, постепенное усложнение от простого к сложному - Мотивация полностью объяснена, связь с гипотезой Сарнака явна - Технические детали полны, результаты воспроизводимы 5. **Теоретическое значение**: - Углубляет понимание гипотезы Сарнака - Предоставляет новые инструменты для кросс-дисциплинарных исследований теории чисел и динамических систем - Построенные примеры (теорема 4) имеют самостоятельную ценность ### Недостатки 1. **Ограниченная область применения**: - Теорема 1 применима только к "простым" полиномиальным косым произведениям (специальной формы) - Оценка порядка в теореме 2 недостаточно точна - Условие MQDS довольно сильно, исключает многие системы с нулевой энтропией 2. **Много открытых проблем**: - Проблема 1 (общие непрерывные отображения тора) остается нерешенной - Ответ на проблему 2 (положительная энтропия) неясен - Замечание 4 указывает на ограничения теоретического каркаса 3. **Отсутствие численной верификации**: - Хотя это чистая математическая статья, некоторые численные эксперименты могли бы помочь пониманию - Например, вычисление порядка колебаний для конкретных примеров 4. **Техническая сложность**: - Доказательства включают несколько математических дисциплин, может быть недостаточно доступно для неспециалистов - Некоторые технические детали (например, применение неравенства Гёльдера) могли бы быть более подробными 5. **Расстояние от гипотезы Сарнака**: - Гипотеза Сарнака касается всех систем с нулевой энтропией, в то время как данная работа рассматривает только специфические классы - Специальные свойства последовательности Мёбиуса (например, связь с автоморфными формами) недостаточно использованы ### Влияние 1. **Вклад в область**: - Предоставляет новую перспективу и инструменты для исследования гипотезы Сарнака - Теория порядков колебаний может стать стандартной концепцией в этой области - Связывает теорию чисел, динамические системы, гармонический анализ и другие области 2. **Практическая ценность**: - Хотя это теоретическая работа, предоставляет методы для определения свойств конкретных систем - Построенные полностью колебательные последовательности могут использоваться для проверки других гипотез - Технические методы (например, аппроксимация тригонометрическими многочленами) имеют универсальное применение 3. **Воспроизводимость**: - Все доказательства конструктивны, в принципе могут быть проверены - Построение в теореме 4 может генерировать конкретные примеры последовательностей - Теоретический каркас ясен, удобен для использования последующими исследователями 4. **Направления для последующих исследований**: - Вдохновляет несколько открытых проблем (проблемы 1, 2) - Концепция кратной линейной независимости может催生 новые направления исследований - Теория MQDS заслуживает дальнейшего развития ### Применимые сценарии 1. **Теоретические исследования**: - Исследование гипотезы Сарнака и ее вариантов - Развитие теории последовательностей колебаний - Исследование связей между теорией чисел и динамическими системами 2. **Анализ конкретных систем**: - Определение линейной независимости полиномиальных косых произведений - Анализ поведения итераций аффинных отображений тора - Изучение свойств систем с квазидискретным спектром 3. **Построение контрпримеров**: - Использование теоремы 4 для построения последовательностей со специфическими свойствами - Проверка граничных случаев других гипотез 4. **Образовательные цели**: - Использование в качестве примера для кросс-дисциплинарных курсов теории чисел и динамических систем - Демонстрация применения гармонического анализа в динамических системах ## Ключевые ссылки 1. **Sarnak, P.** (2009, 2012): Оригинальные работы, где предложена гипотеза Сарнака 2. **Jiang, Y.** (2019): Предыдущие работы автора (теорема A) 3. **Fan, A. & Jiang, Y.** (2018): Источник концепций MMA и MMLS 4. **Davenport, H.** (1937) & **Hua, L.** (1966): Классические результаты о свойствах колебаний последовательности Мёбиуса 5. **Kuipers, L. & Niederreiter, H.** (1974): Стандартный справочник по теории равномерного распределения 6. **Haase, M. & Moriakov, N.** (2015): Современная обработка систем с квазидискретным спектром --- **Общая оценка**: Это высокого качества теоретическая математическая статья, достигшая существенного прогресса в исследовании гипотезы Сарнака. Введением теории порядков последовательностей колебаний автор установил точное количественное соотношение между числовыми последовательностями и сложностью динамических систем. Основные результаты (теоремы 1-4) технически инновационны, доказательства строги и полны. Хотя полное решение гипотезы Сарнака еще далеко, данная работа закладывает прочный фундамент для исследований в этом направлении и предлагает несколько достойных глубокого изучения проблем. Для ученых, работающих в теории чисел, динамических системах или связанных кросс-дисциплинарных областях, это обязательная к прочтению важная литература.