On quasisymmetric mappings in semimetric spaces

Basic Information

• Paper ID: 2501.00393
• Title: On quasisymmetric mappings in semimetric spaces
• Authors: Evgeniy Petrov, Ruslan Salimov
• Classification: math.GN (General Topology)
• Publication Date: December 31, 2024
• Paper Link: https://arxiv.org/abs/2501.00393

Abstract

This paper generalizes the concept of quasisymmetric mappings from metric spaces to general semimetric spaces and investigates the properties of such mappings. In particular, the article establishes conditions under which quasisymmetric mappings preserve triangle functions, the Ptolemy inequality, and "betweenness" relations. By considering quasisymmetric mappings between semimetric spaces with different triangle functions, the authors obtain new estimates for the ratio of diameters of bounded subsets' images, generalizing the celebrated Tukia-Väisälä inequality. Furthermore, the connections between quasisymmetric mappings and weak similarity are investigated.

Research Background and Motivation

Historical Development

1. Origins of Quasisymmetric Mappings: Quasisymmetric mappings were originally introduced by A. Beurling and L. V. Ahlfors in 1956 on the real axis for studying quasiconformal mapping theory.
2. Generalization to Metric Spaces: In 1980, P. Tukia and J. Väisälä extended this concept to general metric spaces, isolating the class of η-quasisymmetric mappings.
3. Semimetric Space Theory: Semimetric spaces were first introduced by M. Fréchet in 1906 as a generalization of metric spaces, relaxing the requirement of the triangle inequality.

Research Motivation

1. Theoretical Completeness: Existing quasisymmetric mapping theory is primarily confined to metric spaces, while semimetric spaces have important applications in computer science, optimization theory, and other fields.
2. Application Demands: Particularly in algorithm design for problems such as the Traveling Salesman Problem (TSP), raw datasets often do not satisfy the triangle inequality of metric spaces and are better described using semimetric spaces.
3. Theoretical Generalization: Extending quasisymmetric mapping theory to semimetric spaces provides analytical tools for more general mathematical structures.

Core Contributions

1. Definition Generalization: Extends the definition of η-quasisymmetric mappings from metric spaces to general semimetric spaces
2. Structure Preservation Properties: Establishes sufficient conditions for quasisymmetric mappings to preserve triangle functions, b-metric properties, and ultrametric properties
3. Geometric Property Preservation: Investigates conditions for preserving the Ptolemy inequality and metric betweenness relations
4. Diameter Estimate Generalization: Extends the classical Tukia-Väisälä inequality to semimetric spaces with different triangle functions
5. Weak Similarity Connection: Establishes connections between quasisymmetric mappings and weak similarity

Methodology Details

Basic Definitions

Semimetric Space: Let X be a nonempty set, and let d: X × X → ℝ₊ be a mapping called a semimetric if it satisfies:

• (i) d(x,y) = 0 ⟺ x = y
• (ii) d(x,y) = d(y,x)

Note that a semimetric does not require the triangle inequality.

Triangle Function: For a semimetric space (X,d), a function Φ: ℝ₊ × ℝ₊ → ℝ₊ is called a triangle function if:

• Φ is symmetric and monotonically increasing in both variables
• Φ(0,0) = 0
• For all x,y,z ∈ X, we have d(x,y) ≤ Φ(d(x,z), d(y,z))

η-Quasisymmetric Mapping: Let (X,d) and (Y,ρ) be semimetric spaces. A mapping f: X → Y is called η-quasisymmetric if there exists a homeomorphism η: [0,∞) → [0,∞) such that:

For all x,a,b ∈ X and t > 0,

d(x,a) ≤ td(x,b) ⟹ ρ(f(x),f(a)) ≤ η(t)ρ(f(x),f(b))

Core Theoretical Results

Theorem 3.1 (Triangle Function Preservation): Let (X,d) be a semimetric space with triangle function Φ₁, (Y,ρ) be a semimetric space, and f: X → Y be a surjective η-quasisymmetric mapping. If Φ₁ and some function Φ₂ satisfy certain conditions, then Φ₂ is a triangle function for (Y,ρ).

Theorem 4.3 (Generalized Tukia-Väisälä Inequality): Let (X,d) and (Y,ρ) be semimetric spaces with continuous strictly increasing triangle functions Φ₁ and Φ₂, and let f: X → Y be an η-quasisymmetric mapping. For A ⊆ B ⊆ X with 0 < diam A, diam B < ∞, we have:

diam f(A)/diam f(B) ≤ η(diam A/φ₁⁻¹(diam B))

where φ₁(t) = Φ₁(t,t).

Technical Innovations

1. Generalization Strategy: Unifies treatment of various generalized metric structures through the introduction of triangle functions
2. Condition Characterization: Provides precise conditions for structure preservation properties, avoiding overly strong assumptions
3. Estimation Techniques: Develops diameter estimation methods applicable to different triangle functions
4. Connection Establishment: Systematically investigates the relationship between quasisymmetric mappings and weak similarity for the first time

Main Results

Structure Preservation Properties

Corollary 3.3 (b-Metric Preservation): If X is a b-metric space with coefficient K₁, Y is a semimetric space, f is a surjective η-quasisymmetric mapping satisfying certain conditions, then ρ is a b-metric with coefficient K₂.

Corollary 3.5 (Ultrametric Preservation): If X is an ultrametric space, Y is a semimetric space, f is a surjective η-quasisymmetric mapping with η(1) = 1, then Y is also an ultrametric space.

Geometric Property Preservation

Proposition 3.6 (Ptolemy Inequality Preservation): Provides sufficient conditions for quasisymmetric mappings to preserve the Ptolemy inequality.

Theorem 3.10 (Metric Betweenness Preservation): If η has a specific form, then f preserves metric betweenness relations.

Weak Similarity Connection

Theorem 5.7: If η satisfies η(k)η(1/k) = 1 for all k > 0, then a bijective η-quasisymmetric mapping is a weak similarity.

Applications and Examples

Concrete Examples

Examples 2.11-2.12: Provide specific function classes satisfying quasisymmetric conditions, such as φ₁(t) = C₁tᵅ, φ₂(t) = C₂tᵅ.

Example 3.11: Constructs specific η functions preserving metric betweenness relations.

Practical Applications

The paper mentions in its conclusion potential applications of semimetric space theory in computer science, particularly in algorithm design for the Traveling Salesman Problem.

Related Work

Classical Theory

• Beurling-Ahlfors (1956): Quasisymmetric mappings on the real axis
• Tukia-Väisälä (1980): Quasisymmetric mappings in metric spaces
• Heinonen-Koskela (1998): Equivalence of quasiconformality and quasisymmetry

Semimetric Space Theory

• Fréchet (1906): Introduction of semimetric spaces
• Bessenyei-Páles (2017): Concept of triangle functions
• Recent Developments: Topological properties of regular semimetric spaces

Conclusions and Discussion

Main Conclusions

1. Successfully generalizes quasisymmetric mapping theory to semimetric spaces
2. Establishes systematic theory of structure preservation properties
3. Generalizes classical geometric inequalities
4. Reveals deep connections with weak similarity

Limitations

1. Some results require relatively strong technical conditions
2. Application examples are relatively limited
3. Connections with specific geometric structures warrant further exploration

Future Directions

1. Investigate quasiconformal mapping theory in semimetric spaces
2. Explore concrete applications in algorithm design
3. Develop more general mapping class theory

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First systematic generalization of quasisymmetric mappings to semimetric spaces, filling a theoretical gap
2. Technical Rigor: Detailed proofs with precise condition characterizations
3. Result Completeness: Covers multiple aspects including structure preservation, geometric properties, and diameter estimates
4. Application Prospects: Provides new mathematical tools for computer science and related fields

Weaknesses

1. Insufficient Application Examples: While TSP and other applications are mentioned, concrete application instances are lacking
2. Complex Technical Conditions: Conditions in certain theorems are relatively complex, making practical verification difficult
3. Connections with Classical Theory: Deeper connections with quasiconformal mapping theory require further clarification

Impact

1. Theoretical Contribution: Provides new research directions for metric geometry
2. Interdisciplinary Value: Potential applications in computer science, optimization theory, and other fields
3. Foundation for Future Research: Establishes basis for further research in related areas

Applicable Scenarios

1. Analysis of distance data not satisfying the triangle inequality
2. Geometric methods in algorithm complexity analysis
3. Study of topological properties of generalized metric spaces

References

The paper cites 56 related references, spanning from Fréchet's pioneering work to recent research developments, demonstrating the authors' thorough understanding and comprehensive grasp of the field.

Overall Assessment: This is a high-quality mathematical theory paper that successfully generalizes the classical quasisymmetric mapping theory to more general semimetric space settings. The paper's theoretical contributions are significant, the proofs are rigorous, and it provides important theoretical foundations for the development of related fields. While further development is needed in applications, its theoretical value and potential impact are noteworthy.