A Hard-Analytic Proof of "Most" Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces

Basic Information

• Paper ID: 2511.02786
• Title: A Hard-Analytic Proof of "Most" Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces
• Author: Ben Krause (University of Bristol)
• Classification: math.DS (Dynamical Systems), math.CA (Classical Analysis and ODEs)
• Publication Date: November 5, 2025
• Paper Link: https://arxiv.org/abs/2511.02786

Abstract

This paper provides new proofs using hard analysis methods for "most" polynomial Wiener-Wintner theorems on σ-finite measure spaces. Specifically, for any σ-finite measure-preserving system $(X,\mu,T)$ and $f \in L^p(X)$ ($1 \leq p < \infty$), there exists a set of full measure $X_f \subset X$ such that for all $\omega \in X_f$, the averages $\frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ converge for all linear polynomials or polynomials vanishing to second order at the origin $P$.

Research Background and Motivation

Core Problem

The Wiener-Wintner ergodic theorem is a classical generalization of Birkhoff's ergodic theorem, asserting that for a measure-preserving system $(X,\mu,T)$ and $f \in L^1(X)$, there exists a set of full measure $X_f$ such that for all $\omega \in X_f$ and all $\theta \in [0,1]$, the limit $\lim_{N\to\infty} \frac{1}{N}\sum_{n\leq N} e^{2\pi in\theta}f(T^n\omega)$ exists. Its significance lies in the fact that convergence holds for all $\theta$ simultaneously, rather than almost everywhere.

Research Significance

1. Theoretical Extension: The Wiener-Wintner theorem has been generalized to more general weighted averages, including polynomial modulations, nilsequences, and Hardy field functions
2. Measure Space Extension: Existing results primarily address probability spaces, while σ-finite spaces require new techniques
3. Methodological Innovation: Existing proofs predominantly employ soft methods (ergodic theory), while this paper pioneering uses hard analysis methods

Limitations of Existing Methods

• Complete proofs of polynomial Wiener-Wintner theorems involve complex ergodic-theoretic structures
• For general polynomial modulations, current techniques cannot handle the implicit "polynomial modulation invariance"
• The special nature of σ-finite spaces requires more refined analytical tools

Paper Motivation

The author aims to prove "most" cases through pure analytical methods (time-frequency analysis and variational theory), avoiding deep ergodic theory, and laying technical foundations for future treatment of the general case.

Core Contributions

1. Main Theorem (Theorem 1.2): Proves that for σ-finite measure-preserving systems and $f \in L^p(X)$ ($1 \leq p < \infty$), there exists a set of full measure such that polynomial-weighted averages converge for all linear polynomials or polynomials vanishing to second order at the origin
2. Technical Innovation:
   • For linear modulation, reduces the problem to integer lattice points via Calderón's transfer principle and applies the variational Carleson theorem of Oberlin-Seeger-Tao-Thiele-Wright
   • For oscillatory polynomials, develops new "variable coefficient" multi-frequency variational estimate theory
3. Methodological Breakthrough: Provides a completely hard-analysis-based proof path independent of deep ergodic-theoretic structures
4. Technical Tools: Introduces jump-counting functions and variational operator frameworks, establishing convergence through control of variational norms

Method Details

Task Definition

Input:

• σ-finite measure-preserving system $(X,\mu,T)$
• Function $f \in L^p(X)$, $1 \leq p < \infty$
• Polynomial class $\mathcal{P}$ (linear or second-order vanishing)

Output:

• Set of full measure $X_f \subset X$
• For all $\omega \in X_f$ and $P \in \mathcal{P}$, prove $\lim_{N\to\infty} \frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ exists

Overall Strategy

Step One: Reduction to Simple Cases

Via maximal ergodic theorems and density arguments, one can assume $f$ is an integrable indicator function and restrict to lacunary time sequences $N \in \{\lfloor\lambda^k\rfloor: k \in \mathbb{N}\}$ ($1 < \lambda \leq 2$).

Step Two: Smoothing

Replace rough truncation with smooth cutoff functions: $\phi_N(n) := \frac{1}{N}\phi\left(\frac{n}{N}\right)$ where $\|\phi - 1_{[0,1]}\|_{L^1(\mathbb{R})} \leq \epsilon_0$ and $|\partial^\alpha\phi| \lesssim_\alpha \epsilon_0^{-\alpha} \cdot 1_{[0,1]}$.

Step Three: Jump-Counting Function

Define the operator $\Phi_M^P f(\omega) := \sum_m \phi_M(m)e^{2\pi iP(m)}f(T^m\omega)$ and the jump-counting function (truncated version) $N_{\tau,H}^P f(\omega) := \sup\{K: \exists M_0(\omega) < \cdots < M_K(\omega) \leq H: |\Phi_{M_{k-1}}^P f(\omega) - \Phi_{M_k}^P f(\omega)| \gg \tau\}$

Key Lemma 1.4: If for each integrable indicator function $f$, $\mu\left(\left\{X: \sup_{P\in\mathcal{P}} N_{\tau,H}^P f(\omega) \geq L\right\}\right) = o_{L\to\infty;\tau,\|f\|_{L^2(X)}}(1)$ (independent of $H$), then for any $f \in L^p(X)$, there exists a set of full measure such that $\Phi_N^P f$ converges for all $P \in \mathcal{P}$.

Step Four: Variational Control

Control jump-counting via variational operators: $\sup_{P\in\mathcal{P}} \tau N_{\tau,H}^P f(\omega)^{1/r} \leq V_\mathcal{P}^r f(\omega)$ where $V_\mathcal{P}^r f := \sup_{P\in\mathcal{P}} \sup \left(\sum_i |\Phi_{M_k}^P f - \Phi_{M_{k-1}}^P f|^r\right)^{1/r}, \quad 2 < r < \infty$

The core task transforms to proving $\|V_\mathcal{P}^r f\|_{L^2(X)} \lesssim \|f\|_{L^2(X)}$.

Linear Modulation Case (§2)

Calderón Transfer Principle

Via the transfer principle, the problem reduces to estimating on integer lattice $\ell^2(\mathbb{Z})$: $V_\mathcal{P}^r f := \sup_{P\in\mathcal{P}} \sup \left(\sum_i |A_{M_k}^P f - A_{M_{k-1}}^P f|^r\right)^{1/r}$ where $A_M^P f(x) := \sum_n \phi_M(n)e^{2\pi iP(n)}f(x-n)$ is a discrete convolution operator.

Modulation Invariance

The linear polynomial case exhibits modulation invariance: $V_\mathcal{P}^r f \equiv V_\mathcal{P}^r f_\theta, \quad f_\theta(n) := e^{2\pi in\theta}f(n)$ This requires time-frequency analysis methods.

Variational Carleson Theorem

Definition 2.8 (r-Variational Carleson Property): A function $\chi: \mathbb{R} \to \mathbb{C}$ satisfies the r-variational Carleson property (with constant $C$) if $\left\|\left(\sum_i \left|\int \left(\hat{\chi}(R_i(x)(\beta-\theta(x))) - \hat{\chi}(R_{i+1}(x)(\beta-\theta(x)))\right)\hat{f}(\beta)e(\beta x)\right|^r\right)^{1/r}\right\|_{L^2(\mathbb{R})} \leq C\frac{r}{r-2}\|f\|_{L^2(\mathbb{R})}$

Proposition 2.9 (cited from 20): $1_{[-1/2,1/2]}$ satisfies the r-variational Carleson property with constant $O(1)$.

Proposition 2.10 (Core Result): For smooth $\phi$ and lacunary times $M \in \lfloor\lambda^N\rfloor$, $\left\|\sup_\theta V^r\left(\sum_m \phi_M(m)g(a+m)e(m\theta): M\right)\right\|_{\ell^2(\mathbb{Z})} \lesssim \epsilon_0^{-O(1)}\frac{r}{r-2}\frac{\lambda}{\lambda-1}\|f\|_{\ell^2(\mathbb{Z})}$

Proof Strategy:

1. Convexity Lemma 2.11: If $\phi \in C^1 \cap C^0$, then $\phi$ satisfies the r-variational Carleson property with constant $O(C_\phi)$, where $C_\phi = \|x\phi'(x)\|_{L^1}$
2. Lacunary Version (Definition 2.12): Introduce lacunary r-variational Carleson property with additional factor $\frac{\lambda}{\lambda-1}$
3. Approximation Lemma 2.13: Control transfer from $\chi$ to $\phi$ via quantity $A[\phi,\chi]$ (involving differences and derivative estimates)
4. Discrete Transfer Lemma 2.14: Apply Magyar-Stein-Wainger transfer principle to move continuous results to discrete setting
5. Dyadic Decomposition: Decompose $\phi = \phi_0 + \sum_{j\geq 1}\phi_j$ where $\hat{\phi}_j$ is supported on $\{|\xi| \lesssim \epsilon_0^{-2}2^j\}$, estimate separately

Polynomial Oscillation Case (§3)

Problem Setup

Consider the polynomial class $\mathcal{P}_d := \{P \in \mathbb{R}[\cdot]: P(0) = P'(0) = 0, \deg(P) \leq d\}$ i.e., polynomials of bounded degree vanishing to second order at the origin.

Core Proposition 3.15: $\|V_d^r f\|_{\ell^2(\mathbb{Z})} \lesssim_{\epsilon_0,\lambda,d} \left(\frac{r}{r-2}\right)^2 \|f\|_{\ell^2(\mathbb{Z})}$ where $V_d^r f(x) := \sup_{P\in\mathcal{P}_d} \sup \left(\sum_i \left|\sum_n (\Psi_{k_i}(n) - \Psi_{k_{i-1}}(n))e(P(n))f(x-n)\right|^r\right)^{1/r}$

Technical Decomposition (Lemma 3.17, cited from 15)

$V_d^r f \leq \sum_{s\geq 1} A^s f + Ef + O(M_{HL}f) + H^r f$ where:

• $E$: bounded $\ell^2$ operator
• $H^r f$: r-variation of truncated singular integrals, $\ell^2$ norm $O(\frac{r}{r-2})$
• $A^s f$: main term, involving contributions with coefficient norm $N_{2^k}(P_{\vec{\lambda}}) = 2^s$

Fourier Multiplier Representation (Proposition 3.19)

Introduce Fourier multiplier $L_{J,\vec{\lambda}}^s(\beta) = \sum_{\substack{(\vec{A},Q)=1 \\ 2^{s-1}\leq Q < 2^s}} \sum_{B\leq Q} S(\vec{A}/Q, B/Q)\Phi_{J,\vec{\lambda}-\vec{A}/Q}^*(\beta - B/Q)\chi_s(\beta - B/Q)$ where:

• $S(\vec{A}/Q, B/Q) = \frac{1}{Q}\sum_{r\leq Q} e\left(\frac{-A_2r^2 + \cdots + A_dr^d + rB}{Q}\right)$ is a complete Weyl sum
• $\Phi_{J,\vec{\lambda}}^\vee(x) = \Psi_J^s(x)e(-P_{\vec{\lambda}}(x)) \cdot 1_{\|\lambda_k\|_\mathbb{T} \leq JA_0 2^{-kJ}, 2\leq k\leq d}$

Key Property (Lemma 3.18, cited from 15): Weyl sums satisfy orthogonality estimates $\left\|\sup_{\substack{(\vec{A},Q)=1 \\ 2^{s-1}\leq Q<2^s}} \left|\int \sum_{B\leq Q} S(\vec{A}/Q,B/Q)\chi_s(\beta-B/Q)\hat{f}(\beta)e(\beta x)\right|\right\|_{\ell^2(\mathbb{Z})} \lesssim 2^{-cs}\|f\|_{\ell^2(\mathbb{Z})}$

Main Estimate (Proposition 3.22)

$\|V_s^r f\|_{\ell^2(\mathbb{Z})} \lesssim_{\epsilon_0,\lambda} \left(\frac{r}{r-2}\right)2^s 2^{-cs}\|f\|_{\ell^2(\mathbb{Z})}$ where $V_s^r f(x) := \sup_{\substack{(\vec{A},Q)=1 \\ 2^{s-1}\leq Q<2^s}} V^r\left(\int \sum_{B\leq Q} S(\vec{A}/Q,B/Q)\hat{\Psi}_J^s(\beta-B/Q)\chi_s(\beta-B/Q)\hat{f}(\beta)e(\beta x)d\beta: J\right)$

Proof Strategy:

1. Linearization: Linearize the supremum via measurable functions $\vec{A}(x), Q(x)$
2. Taylor Expansion: For interval $I$ (with $|I| = |I_s|$), expand at $x_I \in I$, error $O(2^{-10s}M_{HL}f(y_I))$
3. Metric Chaining: For the set $X(x_I) := \{(\Psi_j * F_{B/Q}(x_I))_{B\leq Q, 2^{s-1}\leq Q<2^s}: j \geq 2^{s/A_0}\}$ apply metric chaining, introducing jump-counting function $\vec{N}_\lambda(x_I)$ and scale set $\Lambda_v(x_I)$
4. Core Inequality: For each scale $v$ (with $2^{-v} \leq \text{diam}(X(x_I))$), $\left\|\left(\sum_{t\in\Lambda_v(x_I)} \left|\sum_{B\leq Q(x)} e(B/Q(x)x)S(\vec{A}(x)/Q(x),B/Q(x))\nu_t * F_{B/Q}(x)(x_I)\right|^r\right)^{1/r}\right\|_{\ell^2(I)}$$\lesssim 2^{-cs}2^{-v}|I|^{1/2}\min\{2^s \vec{N}_{2^{-v}}(x_I)^{1/r}, \vec{N}_{2^{-v}}(x_I)^{1/2}\}$ where $\nu_t := \Psi_t - \Psi_{\varrho(t)}$, $\varrho(t)$ is the parent of $t$
5. Summation: Sum over $v$ and apply standard variational estimates

Complete Proof (Proposition 3.19)

Classify scales by polynomial coefficient norm:

• $\mathcal{J}_{\leq}(\vec{\mu})$: $\|P_{\vec{\mu}}(2^j\cdot)\| \leq 2^{-A_1s}$ (small oscillation)
• $\mathcal{J}_{\approx}(\vec{\mu})$: $2^{-A_1s} \leq \|P_{\vec{\mu}}(2^j\cdot)\| \leq 2^{A_1s}$ (moderate oscillation)
• $\mathcal{J}_{\geq}(\vec{\mu})$: $\|P_{\vec{\mu}}(2^j\cdot)\| \geq 2^{A_1s}$ (large oscillation)

Key observation: $|\mathcal{J}_{\approx}(\vec{\mu})| \lesssim_d s$ and $\sup_{\vec{\mu},l\geq -A_1s} |\mathcal{J}_l(\vec{\mu})| \lesssim_d 1$.

Contribution Estimates:

1. Small oscillation: $e(P_{\vec{\mu}}(t)) - 1 \approx 0$, error $O(2^{-10s})$
2. Moderate oscillation: Apply Lemma 3.21, contribution $O(s2^{-cs})$
3. Large oscillation: Magyar-Stein-Wainger transfer and $TT^*$ method, each scale contributes $O(2^{-cl})$, sum gives $O(2^{-s})$

Combining: $\|V_{s,d}^r f\|_{\ell^2(\mathbb{Z})} \lesssim \left[\left(\frac{r}{r-2}\right)2^s2^{-cs} + s2^{-cs} + 2^{-s}\right]\|f\|_{\ell^2(\mathbb{Z})}$

Technical Innovation Points

1. Unified Framework of Jump-Counting and Variational Control: Via the inequality $\tau N_{\tau,H}^P f(\omega)^{1/r} \leq V_\mathcal{P}^r f(\omega)$, convergence problems transform into variational norm estimates
2. Transfer of Variational Carleson Theory: Creatively apply Oberlin et al.'s variational Carleson theorem to the discrete setting via Magyar-Stein-Wainger transfer principle
3. Metric Chaining Technique: Introduce metric chaining in variational estimates, reducing variational control to local estimates at different scales
4. Scale Decomposition Strategy: Finely classify scales by polynomial coefficient norm $\|P_{\vec{\mu}}(2^j\cdot)\|$, employing different estimation methods for different oscillation strengths
5. Deep Application of Weyl Sums: Fully exploit decay and orthogonality properties of complete Weyl sums (Lemma 3.18), which is key to overcoming number-theoretic obstacles

Experimental Setup

This is a pure mathematics theory paper with no numerical experiments. All results are rigorous mathematical proofs.

Experimental Results

Main Theorem

Theorem 1.2 (Main Result): Let $(X,\mu,T)$ be a σ-finite measure-preserving system and $f \in L^p(X)$ ($1 \leq p < \infty$). Then there exists a set of full measure $X_f \subset X$ such that for all $\omega \in X_f$, $\lim_{N\to\infty} \frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ converges for all linear polynomials $P$ or polynomials of bounded degree satisfying $P(0) = P'(0) = 0$.

Corollaries

Remark 3.16: Via interpolation, for $r > \max\{p, p'\}$, $\|V_d^r f\|_{\ell^p(\mathbb{Z})} \lesssim_{\epsilon_0,\lambda,d,p} \left(\frac{r}{r-2}\right)^2 \|f\|_{\ell^p(\mathbb{Z})}$

Technical Estimates

1. Linear Case (Proposition 2.10): $\lesssim \epsilon_0^{-O(1)}\frac{r}{r-2}\frac{\lambda}{\lambda-1}$
2. Oscillatory Case (Proposition 3.15): $\lesssim_{\epsilon_0,\lambda,d} \left(\frac{r}{r-2}\right)^2$
3. Weyl Sum Decay (Lemma 3.18): $\lesssim 2^{-cs}$ ($c = c_d > 0$)

Related Work

Historical Background

1. Birkhoff Ergodic Theorem 4 (1931): Convergence of averages in measure-preserving systems
2. Wiener-Wintner Theorem 21 (1941): Simultaneous convergence for all $\theta$
3. Bourgain's Work 5-7 (1988-1989): Polynomial ergodic theorems, pioneering combination of number theory and ergodic theory

Polynomial Generalizations

• Lesigne 17 (1993): Polynomial Wiener-Wintner theorem (probability spaces)
• Host-Kra 12 (2009): Nilsequence case
• Eisner-Krause 9 (2016): Hardy field functions

Hard Analysis Methods

• Calderón 8 (1968): Transfer principle
• Magyar-Stein-Wainger 19 (2002): Discrete harmonic analysis
• Oberlin-Seeger-Tao-Thiele-Wright 20 (2012): Variational Carleson theorem
• Krause 15 (2024): Discrete analogue of Stein-Wainger theorem

Paper Positioning

• Relation to 1: 1 uses soft methods for the linear case; this paper uses hard analysis
• Relation to 15: Directly uses number-theoretic input from 15 (Weyl sum estimates), but avoids its number-theoretic-harmonic analysis crossover
• Innovation: First to use pure analytical methods for core cases of polynomial Wiener-Wintner theorem

Conclusions and Discussion

Main Conclusions

This paper successfully proves "most" cases of the polynomial Wiener-Wintner theorem on σ-finite measure-preserving systems (linear polynomials and second-order vanishing polynomials) using a completely new hard-analysis-based method, avoiding deep ergodic theory.

Limitations

1. Polynomial Class Restriction: Cannot handle general polynomials $P(t) = \sum_{j=0}^d \lambda_j t^j$
2. Technical Obstacle: The "polynomial modulation invariance" for general cases $V_\mathcal{P}^r f \equiv V_\mathcal{P}^r f_P, \quad f_P(n) := e^{2\pi iP(n)}f(n), \quad \deg(P) \leq d$ introduces complexity similar to pointwise convergence of multiple ergodic averages $\frac{1}{N}\sum_{n\leq N} T^n f_1 \cdots T^{n(d+1)}f_{d+1}$ which exceeds current technical capabilities
3. Constant Dependence: Estimates depend on constants $\epsilon_0, \lambda, d$, which are not optimized

Future Directions

The author explicitly proposes resolving the general polynomial case in future work, which requires:

1. Developing new techniques for handling high-dimensional polynomial modulation invariance
2. Possibly combining deep structures from multiple ergodic theory
3. Further refining the precision of variational estimates

In-Depth Evaluation

Strengths

Methodological Innovation

1. Paradigm Shift: Transforms classical ergodic-theoretic problems into pure harmonic analysis problems, opening new research pathways
2. Technical Synthesis: Cleverly combines time-frequency analysis (Carleson theory), variational theory, number-theoretic estimates (Weyl sums), and singular integral theory
3. Metric Chaining Application: Creatively uses metric chaining in variational estimates, finely controlling contributions at different scales

Theoretical Depth

1. Unified Framework: The jump-counting function → variational control → norm estimate framework is clear and elegant
2. Refined Decomposition: Scale classification by oscillation strength ($\mathcal{J}_{\leq}, \mathcal{J}_{\approx}, \mathcal{J}_{\geq}$) reflects deep understanding
3. Optimal Dependence: The $r$-dependence $\left(\frac{r}{r-2}\right)^2$ is near-optimal (consistent with 13)

Writing Quality

1. Clear Structure: Proof overview (§1.1), linear case (§2), oscillatory case (§3) are well-organized
2. Rigorous Notation: Vinogradov notation, big-Oh/little-Oh notation used precisely
3. Accurate Citations: 19 references spanning ergodic theory, harmonic analysis, and number theory, cited appropriately

Weaknesses

Completeness

1. Limited Coverage: Only handles linear and second-order vanishing polynomials; general case unresolved
2. Technical Dependence: Key Lemma 3.18 directly cites 15 without independent proof
3. Non-constructive Constants: The value $c = c_d$ is not explicitly given, depending on Weyl sum estimates

Technical Details

1. Parameter Selection: Specific values of large constants $A_0, A_1$ not clarified
2. Smoothness Requirements: $\phi$ needs "sufficiently many $\alpha$" bounded derivatives, not quantified
3. Transfer Loss: Magyar-Stein-Wainger transfer introduces $\epsilon_0^{-O(1)}$ factor, not optimized

Comparative Analysis

1. Insufficient Comparison with Soft Methods: Limited discussion of advantages/disadvantages of hard analysis vs. ergodic-theoretic approaches
2. Computational Complexity: Computational complexity of the proof not analyzed
3. Generalization Potential: Applicability to other ergodic problems insufficiently discussed

Impact

Academic Contribution

1. Methodological Breakthrough: Provides pure analytical proofs for ergodic-theoretic problems, potentially inspiring research on other problems
2. Technical Reserve: Developed variational estimate techniques (Proposition 3.22) can be independently applied to other problems
3. Bridge Role: Connects ergodic theory, harmonic analysis, and number theory

Practical Value

• Theoretical Nature: Pure mathematics result with no direct applications
• Tool Value: Discrete version of variational Carleson theorem (Proposition 2.10) has potential applications in signal processing and time series analysis

Reproducibility

• Verifiable Proof: All steps rigorously proven, mathematically fully reproducible
• Technique Reusability: Core techniques (metric chaining, scale decomposition) transferable to similar problems

Applicable Scenarios

1. Ergodic Theory: Convergence of ergodic averages in σ-finite measure spaces
2. Harmonic Analysis: Multi-frequency oscillatory integrals, variational operator theory
3. Number Theory Applications: Average estimates involving exponential sums
4. Dynamical Systems: Dynamical behavior analysis in non-probability measure spaces

Open Problems

The core open problem explicitly stated in the paper:

General Polynomial Case: Prove that for all degree $\leq d$ real polynomials $P$, $\frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ converges. This requires handling polynomial modulation invariance, whose complexity resembles the pointwise convergence problem for multiple ergodic averages.

Selected References

1. 4 Birkhoff (1931): Foundational work on ergodic theorem
2. 21 Wiener-Wintner (1941): Classical theorem generalized in this paper
3. 7 Bourgain (1989): Polynomial ergodic theorem, pioneering number-theoretic methods
4. 20 Oberlin-Seeger-Tao-Thiele-Wright (2012): Variational Carleson theorem, core tool for linear case
5. 15 Krause (2024): Author's prior work providing number-theoretic input (Weyl sum estimates)
6. 19 Magyar-Stein-Wainger (2002): Discrete harmonic analysis transfer principle
7. 13 Jones-Seeger-Wright (2008): Variational inequality theory

Summary

This paper represents significant progress at the intersection of ergodic theory and harmonic analysis, successfully proving the main cases of the polynomial Wiener-Wintner theorem using hard analysis methods. Its core contributions are:

1. Methodological Innovation: Opens a pure analytical proof pathway
2. Technical Synthesis: Integrates time-frequency analysis, variational theory, and number-theoretic estimates
3. Theoretical Depth: Refined scale decomposition and metric chaining techniques

Although the general polynomial case remains unresolved, the paper establishes solid foundations for future research. The paper is rigorously written with clear logic and represents high-quality work in the field. For scholars researching ergodic theory, harmonic analysis, or number theory, the technical tools and methodological insights provided by this paper have significant reference value.