We study the relationship between Yang-Baxter maps and the independence preserving (IP) property, motivated by their role in integrable systems, from the perspective of ultra-discretization. Yang-Baxter maps satisfy the set-theoretic Yang-Baxter equation, while the IP property ensures independence of transformed random variables. The relationship between these two seemingly unrelated properties has recently started to be studied by Sasada and Uozumi (2024). Ultra-discretization is a concept primarily used in the context of integrable systems and is an area of active research, serving as a method for exploring the connections between different integrable systems. However, there are few studies on how the stationary distribution for integrable systems changes through ultra-discretization. In this paper, we introduce the concept of ultra-discretization for probability distributions, and prove that the properties of being a Yang-Baxter map and having the IP property are both preserved under ultra-discretization. Applying this to quadrirational Yang-Baxter maps, we confirm that their ultra-discrete versions retain these properties, yielding new examples of piecewise linear maps having the IP property. We also explore implications of our results for stationary distributions of integrable systems and pose several open questions.
Ultra-Discretization of Yang-Baxter Maps, Probability Distributions and Independence Preserving Property
- Paper ID: 2504.21359
- Title: Ultra-Discretization of Yang-Baxter Maps, Probability Distributions and Independence Preserving Property
- Authors: Hiroki KONDO (Shimonoseki City University), Sachiko NAKAJIMA (University of Tokyo), Makiko SASADA (University of Tokyo)
- Classification: nlin.SI math-ph math.MP math.PR math.QA
- Published Journal: SIGMA 21 (2025), 084, 16 pages
- Paper Link: https://doi.org/10.3842/SIGMA.2025.084
This paper investigates the relationship between Yang-Baxter maps and the independence preserving (IP) property from the perspective of ultra-discretization. Yang-Baxter maps satisfy the set-theoretic Yang-Baxter equation, while the IP property ensures that transformed random variables maintain independence. The authors introduce the concept of ultra-discretization for probability distributions and prove that both Yang-Baxter map properties and IP properties are preserved under ultra-discretization. Applying this theory to quartic rational Yang-Baxter maps, they confirm that their ultra-discrete versions preserve these properties, thereby obtaining new examples of piecewise linear maps with the IP property.
The core problem addressed in this paper is understanding the deep connection between Yang-Baxter maps and the independence preserving (IP) property, particularly how this connection is preserved during the ultra-discretization process.
- Statistical Analysis of Integrable Systems: The study of stationary distributions for integrable systems is in its infancy, and the relationship between Yang-Baxter maps and the IP property provides a new perspective for understanding the statistical properties of these systems.
- Theoretical Unification: Yang-Baxter maps originate from integrable systems theory, while the IP property comes from probability theory. Although seemingly unrelated, they exhibit profound connections.
- Application Value: Ultra-discretization has important applications in integrable systems, algebraic geometry (tropical geometry), and statistical mechanics (zero-temperature limits).
- Lack of Unified Framework: Although Sasada and Uozumi (2024) initiated the study of the relationship between Yang-Baxter maps and the IP property, a systematic theoretical framework is lacking.
- Insufficient Ultra-discretization Research: There is little research on how stationary distributions of discrete classical integrable systems change through ultra-discretization.
- Limited Concrete Examples: Few examples of piecewise linear functions with the IP property exist, such as FExp(x,y) := (min{x,y}, x-y).
- Establishment of General Ultra-discretization Theory: Proves that both Yang-Baxter map properties and IP properties are preserved under ultra-discretization (Proposition 2.6 and Theorem 3.4).
- Introduction of Ultra-discretization Concept for Probability Distributions: First systematically defines ultra-discretization of probability distributions with concrete examples.
- Construction of New Piecewise Linear Yang-Baxter Maps: Through ultra-discretization of quartic rational maps, systematically provides numerous examples of piecewise linear functions with the IP property.
- Connection Between Different Mathematical Branches: Establishes new bridges between integrable systems, probability theory, and tropical geometry.
Study how the properties of Yang-Baxter maps and the independence preserving property of probability distributions are transmitted under ultra-discretization transformation. Specifically includes:
- Input: Rational Yang-Baxter maps F and corresponding probability distributions
- Output: Ultra-discretized piecewise linear maps F⋆ and corresponding probability distributions
- Constraints: Preservation of Yang-Baxter properties and IP properties
For ε ∈ ℝ₊, define Sε: ℝ → ℝ₊ as Sε(x) = exp(-ε⁻¹x).
For f ∈ ℝ₊(x₁,...,xₙ) (rational functions with positive coefficients), its ultra-discretization f⋆ is obtained by replacing the (+,×)-algebra with the (min,+)-algebra.
Key Theorem 2.2: (Sε)⁻¹ ∘ f ∘ Sε converges uniformly to f⋆ on ℝₙ₊ as ε↓0.
Definition 3.1: Let (με)ε be a family of probability distributions on ℝ₊. When S⁻¹ε(με) converges weakly to a probability measure μ on ℝ, μ is called the ultra-discretization of (με)ε.
Proposition 2.6: If fᵅ'β₁, fᵅ'β₂ ∈ ℝ₊(x,y,α,β) and the map family (Fᵅ'β) satisfies the Yang-Baxter property, then (Fᵅ'β⋆) also satisfies the Yang-Baxter property.
Theorem 3.4: Let Fε: ℝ²₊ → ℝ²₊ be a family of continuous functions, με, νε, μ̃ε, ν̃ε be probability distributions on ℝ₊, satisfying Fε(με×νε) = μ̃ε×ν̃ε. If S⁻¹ε∘Fε∘Sε converges uniformly to F: ℝ² → ℝ², and μ, ν, μ̃, ν̃ are the respective ultra-discretizations of the corresponding distributions, then F(μ×ν) = μ̃×ν̃.
The paper studies in detail six families of quartic rational Yang-Baxter maps: H⁺ᵢ, Gᵢ, H⁺ᵢᵢ, Gᵢᵢ, H^A_ᵢᵢᵢ, H^B_ᵢᵢᵢ, and computes their ultra-discrete forms.
For example, H^{B,α,β}_{III,⋆}(x,y) = (y + min{0, β+x+y} - min{0, α+x+y}, x + min{0, α+x+y} - min{0, β+x+y})
The paper considers three classes of probability distributions and their ultra-discretizations:
- Generalized Beta Prime Distributions: gBe'(λ,a,b;p,q) → mExpB(λ,a,b;p,q) (Beta-type mixed exponential distributions)
- Kummer Second Kind Distributions: K(λ,a,b;p,q) → mExpK(λ,a,b;p,q) (Kummer-type mixed exponential distributions)
- Generalized Inverse Gaussian Distributions: GIG(λ,a,b;p,q) → mExpGIG(λ,a,b;p,q) (GIG-type mixed exponential distributions)
Weak convergence of probability distributions is verified through Lemma 3.2 (a general result on pushforward measures regarding weak convergence) and Scheffé's lemma.
Theorem 2.12: H⁺ᵢ,⋆, Gᵢ,⋆, H⁺ᵢᵢ,⋆, Gᵢᵢ,⋆, H^A_{III,⋆}, H^B_{III,⋆} all satisfy the Yang-Baxter property on ℝ² and are invertible.
Theorem 3.7: Proves convergence of ultra-discretization for three classes of probability distributions:
- Ga⋆ = sExp (Gamma distribution → shifted exponential distribution)
- gBe'⋆ = mExpB, K⋆ = mExpK, GIG⋆ = mExpGIG
Theorem 3.9: Ultra-discretized quartic rational maps preserve the IP property, providing specific probability distribution quadruples for each map.
- Classical example: FGa(x,y) = (x+y, xy) ultra-discretizes to FGa,⋆(x,y) = (min{x,y}, x-y)
- New examples: Systematic method yields numerous piecewise linear maps with the IP property
- Box-Ball Systems: H^{B,α,β}_{III,⋆} corresponds to generalized box-ball systems BBS(α,β)
- Integrable Systems: Continuous-valued versions of box-ball systems possess i.i.d. stationary distributions
- Polymer Models: Related to stationary distributions of zero-temperature polymer models
- Adler, Bobenko, Suris (2004): Geometric theory of quartic rational maps
- Papageorgiou et al. (2010): Classification of quartic rational Yang-Baxter maps
- Active research area in integrable systems
- Classical example: discrete KdV equation → box-ball systems
- Connection with tropical geometry
- Sasada, Uozumi (2024): Pioneering work on the relationship between Yang-Baxter maps and the IP property
- Equivalent characterization of existence of i.i.d. stationary distributions for lattice models
- Theoretical Unification: Establishes systematic connections between Yang-Baxter maps, the IP property, and ultra-discretization.
- Methodological Innovation: Provides a systematic method for constructing piecewise linear maps with the IP property.
- Application Extension: Lays the foundation for studying stationary distributions of integrable systems.
- Missing Direct Connection: The direct mathematical connection between Yang-Baxter properties and the IP property remains unestablished.
- Incomplete Classification: Complete classification of ultra-discretized quartic rational maps is not yet finished.
- Characterization Problem: Complete characterization of the IP property for most ultra-discretized maps remains open.
- Geometric Understanding: Understanding ultra-discrete Yang-Baxter maps through tropical geometry.
- Higher-Dimensional Generalization: Considering matrix versions rather than ultra-discrete versions.
- Complete Characterization: Completing the distribution characterization of the IP property for ultra-discretized maps.
- Integrable Systems: Studying more integrable systems corresponding to ultra-discretized maps.
- Theoretical Innovation: First systematic establishment of ultra-discretization theory for probability distributions, filling an important gap.
- Methodological Systematicity: Provides a systematic construction method from rational maps to piecewise linear maps.
- Interdisciplinary Value: Connects integrable systems, probability theory, tropical geometry, and other branches.
- Technical Rigor: Complete mathematical proofs, particularly careful treatment of weak convergence.
- Fundamental Questions Unresolved: The essential connection between Yang-Baxter properties and the IP property remains conjectural.
- Limited Application Scope: Primarily concentrated on theoretical construction with limited practical application scenarios.
- Computational Complexity: Explicit expressions of ultra-discretized maps are relatively complex.
- Academic Contribution: Provides new tools and perspectives for statistical theory of integrable systems.
- Methodological Value: New application of ultra-discretization methods in probability theory.
- Subsequent Research: Lays the foundation for multiple open problems with long-term research value.
- Theoretical Research: Interdisciplinary research in integrable systems, tropical geometry, and probability theory.
- Numerical Simulation: Modeling stochastic processes with special statistical properties.
- Algorithm Design: Efficient algorithms utilizing Yang-Baxter structure.
Key references include:
- Sasada M., Uozumi R. (2024): Yang-Baxter maps and independence preserving property
- Adler V.E., Bobenko A.I., Suris Yu.B. (2004): Geometry of Yang-Baxter maps
- Papageorgiou V.G. et al. (2010): On quadrirational Yang-Baxter maps
- Croydon D.A., Sasada M.: Series of works on detailed balance and invariant measures for discrete integrable systems
This paper makes important contributions at the intersection of mathematical physics, particularly in establishing deep connections between seemingly unrelated mathematical concepts. While fundamental questions remain to be resolved, it provides a solid foundation for future research.