Órdenes de Oscilación Motivados por la Conjetura de Sarnak--Parte II

Información Básica

• ID del Artículo: 2201.08800
• Título: Orders of Oscillation Motivated by Sarnak's Conjecture--Part II
• Autor: Yunping Jiang (Queens College & Graduate Center, City University of New York)
• Clasificación: math.DS (Sistemas Dinámicos), math.NT (Teoría de Números)
• Fecha de Publicación: Preimpreso en arXiv, enviado en enero de 2022, revisado en noviembre de 2025 (v2)
• Enlace del Artículo: https://arxiv.org/abs/2201.08800v2

Resumen

Este artículo es una continuación del trabajo anterior del autor 13, que estudia la independencia lineal entre secuencias de oscilación de orden superior y sistemas dinámicos no lineales. Los resultados principales demuestran que: (1) cualquier secuencia de oscilación de orden $m=d+k-1$ es linealmente independiente de productos sesgados polinomiales simples de grado $k$ en espacios euclidianos $d$-dimensionales; (2) cualquier secuencia de oscilación de orden $d$ es linealmente independiente de sistemas dinámicos con atracción media mínima y espectro cuasidiscreto mínimo de orden $d$; (3) se introduce el concepto de secuencias múltiplemente linealmente independientes y se construyen ejemplos concretos.

Contexto de Investigación y Motivación

Problema Central

El problema central estudiado en este artículo es la generalización y profundización de la Conjetura de Sarnak. La conjetura de Sarnak afirma que la secuencia de Möbius $u = (\mu(n))_{n\in\mathbb{N}}$ es linealmente independiente de cualquier sistema dinámico continuo con entropía topológica cero. Este es un problema importante en el campo de intersección entre teoría de números y sistemas dinámicos.

Importancia del Problema

1. Conexión entre Teoría de Números y Sistemas Dinámicos: La conjetura de Sarnak establece una conexión profunda entre funciones aritméticas en teoría de números (como la función de Möbius) y la teoría de sistemas dinámicos
2. Significado Teórico: La independencia lineal es un concepto clave para entender la interacción entre sistemas deterministas y secuencias "pseudoaleatorias"
3. Valor de Generalización: El estudio de propiedades de secuencias de oscilación generales ayuda a entender qué secuencias poseen propiedades similares a la secuencia de Möbius

Limitaciones de Métodos Existentes

1. Trabajo Anterior: El autor en 13 estudió la independencia lineal entre secuencias de oscilación y mapeos de toros afines, pero solo en el caso lineal
2. Desafío No Lineal: Para sistemas dinámicos no lineales (como productos sesgados polinomiales), se requieren propiedades de oscilación de orden superior
3. Limitaciones de Teoría Espectral: La teoría clásica de sistemas con espectro discreto es insuficiente para tratar sistemas dinámicos más generales

Motivación de la Investigación

El autor tiene como objetivo:

• Generalizar el caso lineal a productos sesgados polinomiales no lineales
• Introducir el concepto de orden de secuencias de oscilación para caracterizar precisamente las propiedades de oscilación requeridas
• Explorar qué sistemas dinámicos requieren qué orden de secuencias de oscilación para garantizar la independencia lineal

Contribuciones Principales

1. Generalización a Sistemas No Lineales: Se demuestra que secuencias de oscilación de orden $m=d+k-1$ son linealmente independientes de productos sesgados polinomiales simples de grado $k$ en espacios $d$-dimensionales (Teorema 1)
2. Productos Sesgados Polinomiales Generales: Para productos sesgados polinomiales de forma general, se demuestra que existe un orden finito $m=m(d,k,h_1,\ldots,h_d)$ tal que secuencias de oscilación del orden correspondiente son linealmente independientes (Teorema 2)
3. Generalización de Teoría Espectral: Se generaliza el espectro cuasidiscreto (QDS) a espectro cuasidiscreto mínimo (MQDS), y se demuestra que secuencias de oscilación de orden $d$ son linealmente independientes de sistemas con atracción media mínima y MQDS(d) (Teorema 3)
4. Independencia Lineal Múltiple: Se introduce el nuevo concepto de secuencias múltiplemente linealmente independientes y se construyen ejemplos concretos (Teorema 4), lo cual está relacionado con la conjetura de Chowla
5. Perfeccionamiento del Marco Teórico: Se generaliza la definición de independencia lineal a sistemas dinámicos en espacios polacos, proporcionando un marco para tratar espacios no compactos

Explicación Detallada de Métodos

Definiciones de Tareas

Independencia Lineal (Definición Clásica): Sea $X$ un espacio métrico compacto, $f: X \to X$ un mapeo continuo, y $c = (c_n)_{n\in\mathbb{N}}$ una secuencia de números complejos. Se dice que $c$ es linealmente independiente de $f$ si para todo $\phi \in C(X)$ y $x \in X$, se tiene $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(f^n x) = 0$

Orden de Secuencias de Oscilación: Se dice que $c$ es una secuencia de oscilación de orden $d$ si para todo polinomio $P$ con coeficientes reales de grado no superior a $d$, se tiene $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n e^{2\pi i P(n)} = 0$

Independencia Lineal Generalizada: Para un espacio polaco $Y$ y espacio cociente $X = Y/\sim$, proyección $\pi: Y \to X$, y mapeo continuo $f: Y \to Y$, se dice que $c$ es linealmente independiente de $f$ si para todo $\phi \in C(X)$ y $y \in Y$, se tiene $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(\pi(f^n y)) = 0$

Marco Técnico Principal

1. Análisis Estructural de Productos Sesgados Polinomiales

Productos Sesgados Polinomiales Simples se definen como: