Deterministic diffusion in dynamical systems with a tiled phase space

Basic Information

• Paper ID: 2501.00182
• Title: Deterministic diffusion in dynamical systems with a tiled phase space
• Author: Irina L. Nizhnik (Institute of Mathematics NAS of Ukraine)
• Classification: math.DS (Dynamical Systems)
• Publication Date: December 30, 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2501.00182

Abstract

This paper proves the existence of normal deterministic diffusion in dynamical systems whose two-dimensional phase space is tiled by equilateral triangles (or regular hexagons formed by their combinations).

Research Background and Motivation

Problem Background

1. Diffusion phenomena in chaotic dynamical systems: Certain dynamical systems exhibit chaotic processes that require the concept of "deterministic diffusion" for description.
2. Generalization from one to two dimensions: While deterministic diffusion in one-dimensional dynamical systems has been studied in detail, research in the two-dimensional case remains relatively limited.
3. Specificity of tiled phase spaces: Dynamical systems whose phase spaces are tiled by regular geometric figures possess special mathematical structures worthy of in-depth investigation.

Research Motivation

1. Theoretical refinement: Generalizing one-dimensional deterministic diffusion theory to the two-dimensional case
2. Geometric structure: Exploiting the special geometric properties of equilateral triangle and regular hexagon tilings
3. Mathematical rigor: Providing rigorous mathematical proofs rather than merely numerical verification

Core Contributions

1. Theoretical proof: Rigorously proves the existence of normal deterministic diffusion in two-dimensional phase space tiled by equilateral triangles
2. Method generalization: Successfully extends the Fourier transform method from the one-dimensional case to two dimensions
3. Geometric extension: Proves that deterministic diffusion also occurs in regular hexagon tilings
4. Parameter conditions: Explicitly provides the parameter conditions for deterministic diffusion to occur (Λ = 4 + 3m)

Detailed Methodology

Problem Formulation

Study the two-dimensional dynamical system: $x_{n+1} = c(x_n) + Λ[x_n - c(x_n)]$ where $c(x_n)$ is the center coordinate of the triangle containing point $x_n$, and $Λ$ is the stretching parameter.

Theoretical Framework

1. Review of the One-Dimensional Case

As a theoretical foundation, we first review the one-dimensional case:

• Phase space is tiled by intervals $I_k = [k-\frac{1}{2}, k+\frac{1}{2})$
• Dynamical system: $f(x) = Λx$ on each interval
• Perron-Frobenius operator as a convolution operation

2. Two-Dimensional Triangular Tiling

Geometric structure:

• Equilateral triangles with side length 2 tile the two-dimensional space
• Height $H = \sqrt{3}$, denote $h = \frac{\sqrt{3}}{3}$
• Two classes of triangles: upward-pointing and downward-pointing vertices

Center coordinates:

• First class (upward-pointing): $(2n, h+6lh)$ or $(2n+1, -2h+6lh)$
• Second class (downward-pointing): $(2n, -h+6lh)$ or $(2n+1, 2h+6lh)$

3. Perron-Frobenius Operator

For the case $Λ = 4$, the matrix elements of operator $E$ have the specific form:

$E_{11}(x) = \frac{1}{16}\left([δ(x_1+3)+δ(x_1+1)+δ(x_1-1)+δ(x_1-3)]δ(x_2+3h) + \cdots \right)$

Technical Innovations

1. Matrix Diagonalization Method

Diagonalize the Fourier transform matrix through the unitary matrix $U = \frac{1}{\sqrt{2}}\begin{pmatrix}1 & 1\\-1 & 1\end{pmatrix}$:

$A = U\tilde{E}U^{-1} = \begin{pmatrix}1-\frac{5}{4}λ^2 & 0\\0 & \frac{1}{4}-\frac{5}{8}λ^2\end{pmatrix}$

2. Asymptotic Analysis

As $n \to \infty$: $A^n = \begin{pmatrix}e^{-\frac{5}{4}nλ^2} & 0\\0 & 0\end{pmatrix} + O(\frac{1}{n})$

Main Results

Proof of Deterministic Diffusion

Through the Fourier transform method, the asymptotic behavior of the density function is proven:

$\tilde{ρ}_n(λ) = e^{-\frac{5}{4}nλ^2}\tilde{ρ}_0$

The inverse Fourier transform yields a Gaussian density:

$ρ_n(x) = \frac{1}{5πn}e^{-\frac{x^2}{5n}}$

This demonstrates that normal deterministic diffusion occurs in the system with diffusion coefficient $\frac{5}{2}$.

Parameter Conditions

Key finding: To maintain the measure structure of the dynamical system, the condition $Λ = 4 + 3m$ (where $m$ is an integer) must be satisfied.

Hexagonal Case

For regular hexagon tilings (each hexagon divided into 6 equilateral triangles), deterministic diffusion similarly occurs when $Λ ≥ 3$ is odd.

Theoretical Significance

Mathematical Contributions

1. Dimensional generalization: Successfully extends one-dimensional deterministic diffusion theory to two dimensions
2. Geometric insight: Reveals the deep connection between tiling geometry and diffusion behavior
3. Parameter characterization: Provides precise parameter conditions for diffusion to occur

Methodological Innovation

1. Matrix techniques: Clever application of unitary transformations to simplify calculations
2. Fourier analysis: Effective treatment of convolution operations in the two-dimensional case
3. Asymptotic methods: Rigorous limiting analysis techniques

Related Work

The paper cites the author's previous work 1,2, which studied deterministic diffusion in one-dimensional phase spaces in detail, including:

• Local expansion maps
• Even and non-integer parameter $Λ$ cases
• Anomalous diffusion in reflection dynamical systems

Conclusions and Discussion

Main Conclusions

1. Existence: Normal deterministic diffusion indeed exists in two-dimensional phase space tiled by equilateral triangles
2. Universality: Results equally hold for regular hexagon tilings
3. Parameter dependence: Diffusion phenomena depend on specific requirements for the stretching parameter $Λ$

Limitations

1. Geometric restrictions: Only equilateral triangle and regular hexagon tilings are considered
2. Linear maps: Dynamical systems are limited to linear stretching transformations
3. Parameter constraints: $Λ$ must satisfy specific integer conditions

Future Directions

1. Other tilings: Investigate tilings by other regular polygons
2. Nonlinear generalization: Consider nonlinear dynamical systems
3. Higher dimensions: Extend to three and higher dimensions

In-Depth Evaluation

Strengths

1. Rigor: Mathematical proofs are complete and rigorous with clear logic
2. Novelty: First systematic study of deterministic diffusion in two-dimensional tiled phase spaces
3. Technical sophistication: Clever application of Fourier analysis and matrix theory
4. Completeness: Well-structured progression from one-dimensional review to two-dimensional proof

Weaknesses

1. Application context: Lacks discussion of physical or practical applications
2. Numerical verification: No numerical experiments provided to verify theoretical results
3. Generalizability: Applicability of methods to other types of tilings remains unclear
4. Space constraints: Some technical details may require more detailed exposition

Impact

1. Theoretical value: Provides new theoretical results for dynamical systems theory
2. Methodological significance: Demonstrates the power of geometric methods in dynamical systems research
3. Inspirational value: Provides insights for further research on higher-dimensional deterministic diffusion

Applicable Scenarios

1. Theoretical research: Dynamical systems theory and ergodic theory research
2. Mathematical physics: Modeling diffusion phenomena in statistical mechanics
3. Computational mathematics: Deterministic approximations of stochastic processes

References

1 Nizhnik L., Nizhnik I. Deterministic diffusion, Ukrainian Math. J. 71, № 11, (2020), P. 1781–1801.

2 Nizhnik, I. L. Anomalous diffusion in dynamical systems with reflection, Transactions of Institute of Mathematics, the NAS of Ukraine, 14(3), (2017), 271—292.

Overall Assessment: This is a paper of significant importance in the field of dynamical systems theory, successfully extending one-dimensional deterministic diffusion theory to two dimensions with rigorous methodology and novel results. While it has some limitations in application background and numerical verification, its theoretical contributions and methodological innovations make it of considerable value to the mathematical research community.