Bounds on the mosaic number of Legendrian Knots

Basic Information

• Paper ID: 2410.08064
• Title: Bounds on the mosaic number of Legendrian Knots
• Authors: Margaret Kipe, Samantha Pezzimenti, Leif Schaumann, Luc Ta, Wing Hong Tony Wong
• Classification: math.GT (Geometric Topology)
• Publication Date: October 11, 2024
• Paper Link: https://arxiv.org/abs/2410.08064

Abstract

This paper investigates bounds on the mosaic number of Legendrian knots. Mosaic tiles were originally introduced by Lomonaco and Kauffman in 2008 to describe quantum knots and have since developed into an independent research subject. Through the use of modified tile sets, front projections of Legendrian knots can also be constructed using mosaics. The paper computes lower bounds on the mosaic number of Legendrian knots expressed in terms of classical invariants, provides example classes that prove the tightness of these bounds in certain cases, constructs Legendrian unknots to provide upper bounds, improves algorithms for computing the mosaic number of Legendrian links of arbitrary size, and finally provides an updated census of all Legendrian knots with mosaic number at most 6 through computer search.

Research Background and Motivation

1. Problem to be Solved: This paper primarily addresses the problem of estimating bounds on the mosaic number of Legendrian knots, particularly how to bound the mosaic number using classical invariants of Legendrian knots (Thurston-Bennequin number and rotation number).
2. Importance of the Problem:
   • Mosaic representations provide a discretized method for studying knot theory, facilitating computer processing
   • Legendrian knots are important objects in contact topology, and their mosaic representations connect classical knot theory with quantum knot theory
   • Bound estimation helps understand the complexity and classification of Legendrian knots
3. Limitations of Existing Methods:
   • The work of Pezzimenti and Pandey (2022) raised open questions, particularly regarding how to bound the mosaic number through classical invariants
   • Lack of systematic methods for upper and lower bound estimation
   • Insufficient understanding of how stabilization operations affect the mosaic number
4. Research Motivation: To provide theoretical foundations for mosaic representations of Legendrian knots and verify the validity of theoretical results through computational methods.

Core Contributions

1. Two Main Lower Bound Theorems:
   • Theorem 1: When 4|rot(Λ)| + tb(Λ) ≥ 0, m(Λ) ≥ ⌈√(4|rot(Λ)| + tb(Λ))⌉
   • Theorem 2: When tb(Λ) < 0, m(Λ) ≥ ⌈√(-tb(Λ) - 3/4 + 3/2)⌉
2. Construction of Infinite Families Proving Bound Tightness: Introduction of the "crab buckets" sequence βₙ, proving that the bounds in Theorem 2 are tight in infinitely many cases
3. Upper Bound Constructions for Legendrian Unknots: Through construction methods using "barn tiles" and "soil setups"
4. Improved Mosaic Counting Algorithm: Generalization of the classical link mosaic counting algorithm of Oh et al. to the Legendrian case
5. Complete Computational Census: Exhaustive search determining all Legendrian knots with mosaic number ≤ 6

Methodology Details

Task Definition

Given a Legendrian knot Λ, its mosaic number m(Λ) is defined as the minimum size n of an n × n Legendrian mosaic that can represent Λ. The tasks of this paper are:

• Provide lower bounds for m(Λ) using classical invariants tb(Λ) (Thurston-Bennequin number) and rot(Λ) (rotation number)
• Construct upper bounds for specific types of Legendrian knots (particularly unknots)
• Compute complete classification for small-size mosaics

Model Architecture

1. Oriented Legendrian Mosaic Tile System

The paper first establishes a complete classification of 25 oriented Legendrian mosaic tiles (Figure 9), where each tile Rᵢ defines:

• tb*(Rᵢ): contribution of the tile to the Thurston-Bennequin number
• rot*(Rᵢ): contribution of the tile to the rotation number
• h(Rᵢ), v(Rᵢ): horizontal and vertical displacement amounts

2. Combinatorial Method (Theorems 1 and 2)

Proof Strategy for Theorem 1:

• Set k = |rot(Λ)| + tb(Λ)
• Analyze the relationship between the number of upward and downward cusps in the mosaic
• Use Lemma 1 to establish the inequality: 2|rot(Λ)| ≤ 2N + |M|T₅ + |M|T₆
• Combine with interior tile quantity constraints to obtain n² ≥ 3|rot(Λ)| + k

Proof Strategy for Theorem 2:

• Consider that boundary tiles contribute at most -(n-1) to tb(Λ)
• Each interior tile contributes at most -1 to tb(Λ)
• Obtain tb(Λ) ≥ -(n-2)² - (n-1)
• Solve for the lower bound on n

3. Linear Algebra Method (Theorem 4)

Construct a 5 × 25 matrix P mapping the tile count vector c to the invariant vector:

Pc = [tb(Λ), rot(Λ), 0, 0, n²]ᵀ

By computing the constraints P(ℝ²⁵₊) ∩ V, obtain bounds consistent with the combinatorial method.

4. Crab Bucket Construction

For n ≥ 5, the construction of the n-th crab bucket βₙ:

• Place as many non-adjacent T₁₀ tiles as possible in the interior
• If n is even, add T₁ and T₃ tiles at specific locations
• Fill remaining interior positions with T₈ tiles
• Add connecting tiles at the boundary to form the knot

Technical Innovations

1. Multiple Method Verification: Combinatorial and linear algebra methods yield consistent results, enhancing reliability of bounds
2. Tightness Proof: The crab bucket sequence provides infinite families of tight examples, which is relatively rare in knot theory
3. Constructive Upper Bounds: Provides constructive upper bound estimation methods through the barn tile system
4. Computational and Theoretical Integration: Exhaustive search verifies and supplements theoretical results

Experimental Setup

Dataset

• Computational Range: All Legendrian mosaics of size ≤ 6
• Knot Types: Including unknots and all non-trivial knots with crossing number ≤ 8
• Classical Invariant Range: Possible values of tb and rot determined by mosaic size

Evaluation Metrics

• Exact values or bounds on mosaic number
• Tightness of bounds
• Effect of stabilization on mosaic number

Implementation Details

• Programming Languages: Rust (mosaic generation) + Python (classification analysis)
• Mosaic Representation: Encode n × n mosaics as 10-digit integers of length n²
• Knot Identification: Use SageMath's HOMFLY-PT polynomial computation

Experimental Results

Main Results

1. Bound Verification:
   • Bounds in Theorems 1 and 2 are verified in computational results
   • The crab bucket sequence indeed achieves the bounds in Theorem 2
2. Mosaic Number Statistics:
   • At n = 6, there are 831,699,599 mosaics corresponding to knots, containing 328 distinct Legendrian knots
   • Found multiple examples where stabilization reduces mosaic number
3. Counter-intuitive Findings:
   • Existence of stabilizations that reduce mosaic number (Observation 4)
   • Existence of smooth knot types whose Legendrian mosaic number is not realized by the representative with maximum tb (Observation 5)

Important Case Studies

1. Stabilization Reducing Mosaic Number:
   • Examples exist in unknots where stabilization reduces mosaic number from 5 to 4
   • In the negative trefoil, the crab bucket β₅ is the result of stabilization increasing rotation number magnitude
2. Special Nature of the 8₁ Knot:
   • mₗ(8₁) = 6, but the Legendrian representative with maximum tb requires mosaic number 7
   • Requires one positive and one negative stabilization to achieve minimum mosaic number

Counting Results

The paper provides complete computational tables for D^(m,n)_L (the number of Legendrian m × n link mosaics), showing:

• Quantities exhibit doubly exponential growth: ln D^(n,n)_L ≈ 1.0745n² - 3.1057n + 2.3933
• The ratio δ(n) to classical mosaics monotonically converges to 0

Related Work

1. Mosaic Theory Foundations: Original work by Lomonaco and Kauffman (2008)
2. Legendrian Mosaics: Pioneering research by Pezzimenti and Pandey (2022)
3. Mosaic Counting: Classical link mosaic counting algorithm by Oh, Hong, Lee, Lee (2015)
4. Legendrian Knot Classification: Eliashberg-Fraser classification of unknots, Etnyre-Honda work on torus knots

Conclusions and Discussion

Main Conclusions

1. Theoretical Bounds: Establish lower bounds on mosaic number expressed in terms of classical invariants, proving tightness in infinitely many cases
2. Computational Completeness: Provide complete census of all Legendrian knots with mosaic number ≤ 6
3. Stabilization Effects: Discover that stabilization may reduce mosaic number, challenging intuitive understanding

Limitations

1. Upper Bound Construction: Currently only systematic upper bound construction methods exist for unknots
2. Bound Optimization: For cases with high rotation number, upper bound constructions may not be optimal
3. Computational Scale: Limited by computational resources to handling only mosaic number ≤ 6

Future Directions

The paper proposes 6 specific research questions:

1. Are there infinitely many smooth knot types whose Legendrian mosaic number can only be realized by stabilized representatives?
2. Are there infinitely many Legendrian knots whose stabilization reduces mosaic number?
3. Can bounds be improved through other invariants such as crossing number?
4. Can upper bound constructions be generalized to non-trivial knots?
5. Can upper bounds for unknots be improved?
6. What are the distributional properties of random Legendrian mosaics?

In-Depth Evaluation

Strengths

1. Method Diversity: Combinatorial, linear algebra, and computational methods mutually verify each other, enhancing result reliability
2. Theoretical Depth: Not only provide bounds but also construct infinite families proving tightness
3. Computational Completeness: Provides the first systematic computational census in this field
4. Novel Phenomena Discovery: Findings regarding stabilization effects have important theoretical significance

Weaknesses

1. Upper Bound Limitations: Upper bound construction methods apply only to unknots, lacking systematic approaches for general knot types
2. Computational Scale: Limited by computational complexity, unable to handle larger mosaics
3. Geometric Intuition: Some technical results lack geometric intuitive explanation

Impact

1. Theoretical Contribution: Establishes solid foundations for Legendrian knot mosaic theory
2. Computational Value: Census data provides important reference for subsequent research
3. Methodological Innovation: Multiple verification methods can be generalized to other topological problems

Applicable Scenarios

1. Theoretical Research: Classification and complexity analysis of Legendrian knots
2. Computational Applications: Knot identification algorithms and mosaic representation optimization
3. Educational Tools: Discretization methods facilitate understanding of abstract topological concepts

References

Key references include:

• Lomonaco & Kauffman (2008): Foundational work on mosaic theory
• Pezzimenti & Pandey (2022): Pioneering research on Legendrian mosaics
• Eliashberg & Fraser (2009): Classification of Legendrian unknots
• Etnyre & Honda (2001, 2003): Research on Legendrian torus knots and connected sums

This paper makes important contributions to the theory of mosaic representations of Legendrian knots. Through rigorous mathematical analysis and large-scale computational verification, it establishes theoretical foundations in this field, discovers counter-intuitive phenomena, and points directions for future research.