On the Complexity of Bicycle Unitracks

Basic Information

• Paper ID: 2510.10388
• Title: On the Complexity of Bicycle Unitracks
• Author: Ivan Molodyk
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 12, 2025
• Paper Link: https://arxiv.org/abs/2510.10388

Abstract

This paper investigates geometric problems concerning bicycle trajectories. The author models a bicycle as a directed line segment of fixed length moving in the Euclidean plane such that the rear wheel trajectory is always tangent to the segment. The trajectories of the front and rear wheels are called bicycle tracks, and the central research question is: can the front wheel trajectory be completely contained within the rear wheel trajectory (excluding the straight line case)? Such curves are called unitracks or monocycles. In 2002, D. Finn proposed a unittrack construction method through unions of sequences of curves. Numerical evidence suggests these curves exhibit expansive properties, with various numerical characteristics growing rapidly in the sequence. This paper proves that curves forming unitracks in the Finn construction cannot remain as function graphs unless they are straight lines. The conclusion is that the horizontal amplitude of the curves exhibits linear growth with a rate between 1 and 2.

Research Background and Motivation

Problem Background

1. Core Problem: Investigating the "unittrack" problem in bicycle trajectory geometry—whether the front wheel trajectory can be completely contained within the rear wheel trajectory
2. Mathematical Modeling: Modeling the bicycle as a directed line segment of fixed length satisfying nonholonomic constraints (the rear wheel trajectory is always tangent to the bicycle frame)
3. Historical Development: This field involves multiple research directions, including the Menzin conjecture, bicycle correspondence, geodesic problems, and others

Research Significance

1. Geometric Dynamics: This is a nonholonomic dynamical system with rich geometric structure
2. Integrability Theory: Closely related to completely integrable partial differential equations such as planar filament equations
3. Engineering Applications: Related to motion descriptions of practical devices such as odometers

Limitations of Existing Methods

1. Complexity of Finn Construction: Numerical evidence shows the curve sequence exhibits rapidly growing complexity
2. Theoretical Gaps: Lack of rigorous mathematical proofs for these complex properties
3. Unknown Growth Rates: Precise growth rates of various geometric quantities remain undetermined

Core Contributions

1. Theoretical Proof: Proves that curves in the Finn construction cannot remain as function graphs (Theorem 4.2)
2. Growth Rate Bounds: Determines linear growth rate bounds for horizontal amplitude: $n - c_1 \leq H(\gamma_n) \leq 2n - c_2$ (Theorem 4.3)
3. Geometric Insights: Provides deep geometric understanding of unittrack complexity
4. Technical Methods: Develops new techniques for analyzing limiting behavior of curve sequences

Methodology Details

Problem Formulation

Study geometric properties of the unittrack sequence $\{\gamma_n\}$ in the Finn construction, where:

• $\gamma_0 \in Y$: smooth curves satisfying boundary conditions
• $\gamma_{n+1} = \Phi(\gamma_n)$: recursively defined through mapping $\Phi$
• Objective: analyze complexity growth of the sequence

Core Mapping $\Phi$

Define the mapping $\Phi: Y \to Y$: $\Phi(\gamma) = \gamma + \frac{\dot{\gamma}}{||\dot{\gamma}||} - (1,0)$

where $Y$ is the space of curves satisfying:

• $\gamma(a) = (0,0)$, $\gamma(b) = (1,0)$
• Horizontal tangent lines at endpoints: $\dot{\gamma}(a) = \dot{\gamma}(b) = (1,0)$
• Higher-order derivatives vanish at endpoints

Key Technical Tools

Horizontal Coordinate Tracking

Introduce function $s_n$ to track horizontal coordinate changes: $s_n(x) = 1 - \cos(\arctan f'_n(x)) = 1 - \frac{\dot{x}_n}{\sqrt{\dot{x}_n^2 + \dot{y}_n^2}}$

Establish recurrence relation: $x_{n+1}(t) = x_n(t) - s_n(x_n(t))$

Limiting Function Analysis

Prove the pointwise limit $L(t) = \lim_{n \to \infty} x_n(t)$ exists and analyze its properties:

• $L$ is monotone non-decreasing
• $L(0) = 0$, $L(1) = 1$
• $L$ may have jump discontinuities

Technical Innovations

1. Piecewise Estimation Technique: Obtain more precise length estimates by partitioning horizontal intervals into smaller subintervals
2. Limiting Analysis: Techniques for handling potentially discontinuous limiting function $L$
3. Geometric Constraints: Derive contradictions using geometric constraints on curve length

Main Theorems and Proof Strategies

Theorem 4.2 (Core Result)

Statement: Assume that for each $n \geq 0$, the curve $\gamma_n$ is a function graph. Then all $f_n(x) \equiv 0$ (i.e., all curves are straight lines).

Proof Strategy:

1. Proof by Contradiction: Assume there exists a non-trivial $\gamma_0$ such that all $\gamma_n$ are function graphs
2. Length Estimation: For any interval $[a,b] \subset I_{CD}$, prove: $\text{Len}(\gamma_0|_{[a,b]}) \leq \delta$ where $\delta = L(b) - L(a)$
3. Partition Technique: Partition interval $[c,d]$ into $m$ equal-length subintervals to obtain: $\text{Len}(\gamma_0|_{[a,b]}) \leq \frac{\delta}{1-\delta/m}$
4. Limiting Process: Let $m \to \infty$ to get $\text{Len}(\gamma_0|_{[a,b]}) \leq \delta$
5. Contradiction: Total length $\text{Len}(\gamma_0) \leq 1$, but a curve connecting $(0,0)$ and $(1,0)$ has length at least 1

Theorem 4.3 (Growth Rate)

Statement: Assume $\gamma_0$ is non-trivial. Then: $n - c_1 \leq H(\gamma_n) \leq 2n - c_2$

Proof Outline:

1. Vertical Tangent Lines: Prove that for sufficiently large $n$, there exists a vertical tangent line at the leftmost endpoint
2. Recurrence Estimates: Establish $l_{n+1} \leq l_n - 1$ and $l_n - l_{n+1} \leq 2$
3. Linear Bounds: Combine boundary conditions to obtain linear growth rates

Technical Details

Key Lemmas

Lemma 2.1: Length Monotonicity $\text{Len}(\Phi(\gamma)) \geq \text{Len}(\gamma)$ Equality holds if and only if $\gamma$ is a straight line.

Lemma 5.6: Derivative Bounds and Length Estimation For a smooth function $h: [p,q] \to \mathbb{R}$, if $|h'(x)| < M$, then: $\text{Len}(\Gamma_h) < |q-p| \cdot \sqrt{M^2 + 1}$

Analytical Techniques

1. Parameter Preservation: Use unified parameter $t$ on all curves to maintain "memory"
2. Horizontal Projection: Analyze convergence of horizontal coordinate functions $x_n(t)$
3. Geometric Constraints: Establish quantitative estimates using geometric properties of curves

Related Work

Historical Development

1. Menzin Conjecture: Conjecture on monotonicity of bicycle single-loop trajectories
2. Bicycle Correspondence: Pairs of front wheel trajectories sharing the same rear wheel trajectory
3. Geodesic Theory: Horizontal curves in configuration space and natural metrics

Related Constructions

1. Finn Construction: Primary object of study in this paper
2. Wagon Construction: Alternative unittrack construction method
3. Integrable Systems: Connections with planar filament equations

Experimental Observations

Numerical Evidence

• Figure 1 displays the first five segments of unitracks, demonstrating rapidly growing complexity
• Curve length, self-intersections, high-curvature segments all grow rapidly
• Vertical and horizontal amplitudes both tend to infinity

Known Results

• Theorems A-D: Length growth, area conservation, zero-point increase, etc.
• Conjectures E, G: Appearance of self-intersections, vertical amplitude divergence
• Theorems F, H, I: Various properties of amplitude growth

Conclusions and Discussion

Main Conclusions

1. Function Graph Unsustainability: Curves in the Finn construction eventually cannot remain as function graphs
2. Linear Growth: Horizontal amplitude grows at a linear rate with growth factor between 1 and 2
3. Geometric Complexity: Provides quantitative understanding of unittrack geometric complexity

Limitations

1. Vertical Amplitude: Remains conjectural, lacking rigorous proof
2. Self-Intersection Problem: Existence of self-intersections remains open
3. Exact Constants: Precise growth rate constants depend on initial curves

Future Directions

1. Conjecture 4.4: Prove unboundedness of vertical amplitude
2. Conjectures 4.5-4.6: Study of self-intersection phenomena
3. Other Constructions: Investigate other unittrack constructions such as Wagon's

In-Depth Evaluation

Strengths

1. Rigorous Proofs: Provides rigorous mathematical proofs of numerical observations
2. Technical Innovation: Develops new techniques for handling discontinuities in limiting functions
3. Geometric Insights: Deep understanding of unittrack geometric complexity
4. Complete Analysis: Comprehensive analytical chain from function graph properties to growth rates

Weaknesses

1. Partial Results: Some important conjectures (e.g., vertical amplitude divergence) remain unresolved
2. Technical Complexity: Proof techniques are quite involved with potential for simplification
3. Limited Applications: Primarily focuses on theoretical properties with limited practical value

Impact

1. Theoretical Contribution: Provides important theoretical foundation for bicycle trajectory geometry
2. Methodological Value: Analytical techniques may apply to other geometric dynamical systems
3. Open Problems: Proposes several meaningful research directions

Applicable Scenarios

1. Geometric Dynamics: Study of nonholonomic constraint systems
2. Integrable Systems: Geometric problems related to integrable partial differential equations
3. Applied Mathematics: Path planning in robotics and control theory

References

The paper cites 18 relevant references covering major research directions in bicycle trajectory geometry, including important works by Finn, Tabachnikov, Bor and others, as well as classical literature on integrable systems and nonholonomic geometry.