When is the fractal uncertainty principle for discrete Cantor sets most uncertain?

Basic Information

• Paper ID: 2501.00864
• Title: When is the fractal uncertainty principle for discrete Cantor sets most uncertain?
• Authors: Chun-Kit Lai (San Francisco State University), Ruxi Shi (Fudan University)
• Classification: math.CA (Classical Analysis), math.FA (Functional Analysis)
• Submission Date: January 1, 2025
• Paper Link: https://arxiv.org/abs/2501.00864

Abstract

This paper provides necessary and sufficient conditions for achieving the most uncertain exponent in the fractal uncertainty principle for discrete Cantor sets. These conditions are characterized through distributed spectral pairs, which generalize the concept of spectral pairs studied in the spectral set literature. The authors investigate distributed spectral pairs in certain cyclic groups and provide complete classifications. Finally, the most uncertain case in the continuous setting is also discussed.

Research Background and Motivation

Importance of the Fractal Uncertainty Principle

The fractal uncertainty principle (FUP) roughly states that no function can be simultaneously localized near fractal sets in both position and frequency domains. This principle has important applications in controlling operator eigenvalues and spectral gap problems arising in quantum chaos and hyperbolic dynamics.

Research Problem

For discrete Cantor sets, Dyatlov and Jin established the fractal uncertainty principle, showing that there exists an uncertainty exponent β(M,A,B) > max(0, 1/2 - δ) such that: $\|1_{A_k}F_{M^k}1_{B_k}\|_{\ell^2\to\ell^2} \lesssim M^{-kβ}$

where δ = log|A|/logM is the fractal dimension parameter. The theoretically maximum uncertainty exponent is (1-δ)/2, but when this optimal value can be achieved has remained an open question.

Research Motivation

• Theoretical Significance: Determining conditions for achieving the optimal uncertainty exponent is closely related to the Fuglede spectral set conjecture
• Practical Applications: Possesses important application value in quantum chaos and operator theory
• Methodological Innovation: Requires developing new mathematical tools to characterize optimal cases

Core Contributions

1. Establishing Necessary and Sufficient Conditions: Provides complete characterization of achieving the most uncertain exponent β(M,A,B) = (1-δ)/2
2. Introducing Distributed Spectral Pairs: Generalizes the classical spectral pair concept, providing a more refined classification framework
3. Complete Classification Results: Provides complete classification of distributed spectral pairs in specific cyclic groups (Z_{p^k}, Z_, Z_{p^2q})
4. Bridging Discrete and Continuous: Discusses the most uncertain case in the continuous setting, establishing theoretical connections

Methodology Details

Problem Formulation

Given integers M≥3 and alphabets A,B⊂{0,1,...,M-1}, define k-th order iterations: $A_k = \left\{\sum_{j=0}^{k-1}a_jM^j : a_j \in A\right\}$

Study the decay rate of the operator norm of $1_{A_k}F_{M^k}1_{B_k}$, where $F_{M^k}$ is the discrete Fourier transform matrix.

Core Concept: Distributed Spectral Pairs

Definition: (A,B) is a distributed spectral pair in Z_M if and only if for all b₁≠b'₁∈B: $\hat{\nu}_A\left(\frac{b_1-b'_1}{M}\right) = 0 \text{ or } \hat{\nu}_A\left(\frac{b_1-b'_1}{M^2}+\frac{b_2-b'_2}{M}\right) = 0 \text{ for all } b_2,b'_2\in B$

where $\hat{\nu}_A(ξ) = \frac{1}{|A|}\sum_{a∈A}e^{-2πiξa}$ is the Fourier transform of the normalized probability measure.

Main Theorem

Theorem 1.4: Let A,B⊂{0,1,...,M-1}. The following are equivalent:

1. β(M,A,B) = (1-δ)/2
2. (A,B) is a distributed spectral pair

Technical Innovations

1. Inductive Construction Method: Proves sufficiency through inductive construction of Hermitian matrices
2. Self-Similar Measure Techniques: Utilizes associated self-similar measures to estimate necessity
3. Cyclotomic Polynomial Analysis: Employs De Bruijn's theorem to analyze structures in cyclic groups

Experimental Setup

Theoretical Verification

This is primarily theoretical work verified through mathematical proofs. Main verification contents include:

1. Concrete Example Construction:
   • A = {0,8}, B = {0,9} form a spectral pair in Z₁₂² but not in Z₁₂
   • A = {0,1,9,10}, B = {0,2,8,10} satisfy the Dyatlov-Jin condition in Z₁₂ but are not a distributed spectral pair
2. Classification Verification: Complete classification for cyclic groups Z_{p^k}, Z_, Z_{p^2q}

Evaluation Criteria

• Rigor of mathematical proofs
• Completeness of classification results
• Consistency with known results

Experimental Results

Main Classification Results

Theorem 3.2: Let M≥2, A,B⊂{0,1,...,M-1} with 0∈A∩B. The following are equivalent:

1. (A,B) is a spectral pair in Z_{M²}
2. A = {0,a}, B = {0,b}, where 2ab = M² and 0 < a,b < M

Theorem 4.1: If (A,B) is a distributed spectral pair in Z_{p^k}, then (A,B) is a spectral pair in Z_{p^k}.

Theorem 4.3: If (A,B) is a distributed spectral pair in Z_ (p<q distinct primes), then (A,B) is a spectral pair in Z_.

Theorem 4.5: For Z_{p²q}, distributed spectral pairs are either spectral pairs in Z_{p²q} or spectral pairs in Z_{(p²q)²}.

Key Findings

1. Distributed Spectral Pairs Strictly Contain Spectral Pairs: Examples exist of distributed spectral pairs that are not classical spectral pairs
2. Dimension Constraints: In Z_{M²}, spectral pairs must satisfy |A| = |B| = 2
3. Impact of Prime Structure: The prime factorization structure of cyclic groups determines the existence of distributed spectral pairs

Related Work

Fuglede Spectral Set Conjecture

This research is closely related to the Fuglede spectral set conjecture, which asserts that a Borel set is a spectral set if and only if it can tile space by translations. While the conjecture has been disproven in higher dimensions, it remains open on low-dimensional groups.

Development of Fractal Uncertainty Principle

• Dyatlov-Jin established the foundational theoretical framework for the discrete case
• Bourgain-Dyatlov-Jin developed the theory for the continuous case
• This paper provides complete characterization of conditions for achieving optimal exponents

Spectral Pair Theory

• Jorgensen-Pedersen discovered the first singular spectral measure
• Łaba-Wang proved the relationship between spectral pairs and self-similar spectral measures
• This paper's distributed spectral pair concept represents an important generalization

Conclusions and Discussion

Main Conclusions

1. Distributed spectral pairs provide necessary and sufficient conditions for achieving the most uncertain exponent
2. In many cyclic groups, only classical spectral pairs are distributed spectral pairs
3. The most uncertain exponent in the continuous case is also (1-δ)/2

Limitations

1. Complete classification is provided only for specific cyclic groups
2. Results in the continuous case are primarily conjectural
3. Higher-dimensional cases require further investigation

Future Directions

1. Study distributed spectral pairs in more general cyclic groups
2. Establish rigorous theory for the continuous case
3. Extend to higher-dimensional self-similar settings

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete characterization of necessary and sufficient conditions
2. Methodological Innovation: The distributed spectral pair concept has important theoretical value
3. Technical Depth: Synthesizes harmonic analysis, number theory, and operator theory
4. Precise Results: Provides complete classification in specific cases

Weaknesses

1. Limited Scope: Complete results are restricted to specific cyclic groups
2. Continuous Case: Main results remain largely conjectural
3. Computational Complexity: Verifying distributed spectral pair conditions may be computationally complex

Impact

1. Theoretical Contribution: Provides new theoretical tools for the fractal uncertainty principle
2. Application Prospects: Potential applications in quantum chaos and spectral theory
3. Methodological Value: The distributed spectral pair concept may have applications in other fields

Applicable Scenarios

• Fractal geometry and harmonic analysis research
• Quantum chaos and operator spectral theory
• Discrete Fourier analysis and number-theoretic applications

References

The paper cites 23 important references, primarily including:

• Dyatlov-Jin's pioneering work on discrete fractal uncertainty principle
• Fuglede's classical literature on the spectral set conjecture
• Important results by Łaba-Wang and others on spectral measures
• De Bruijn's classical theorem on cyclotomic polynomials

This paper makes important theoretical contributions to the field of fractal uncertainty principle. By introducing the concept of distributed spectral pairs, it completely characterizes the conditions for achieving optimal uncertainty exponents, providing deep mathematical understanding of this important problem.