arXiv++ Combinatorics

A rational triangle $T$ (one whose angles are rational multiples of $π$) unfolds to a translation surface $(X_T,ω_T)$. The lattice triangle problem asks to classify those $T$ for which $(X_T,ω_T)$ is a Veech (lattice) surface, which means that the $\operatorname{SL}_2(\mathbb R)$-orbit of $(X_T,ω_T)$ is closed in its stratum (so its projection to moduli space is a Teichmüller curve). The most mysterious regime is the "hard obtuse window" (largest angle in $(π/2,2π/3]$), where it is conjectured that no lattice triangles exist. Using an arithmetic reformulation of the Mirzakhani-Wright rank obstruction, we prove a quantitative theorem that rules out all but a density 0 subset of the triangles in this window. The main engine in this paper was autoformalized by AxiomProver in Lean (using mathlib).

Fractals represent one of the fundamental manifestations of complexity, and fractal networks serve as tools for characterizing and investigating the fractal structures and properties of large-scale systems. Higher-order networks have emerged as a research hotspot due to their ability to express interactions among multiple nodes. This study proposes an iterative generation model for higher-order fractal networks. The iteration is controlled by three parameters: the dimension K of the simplicial complex, the multiplier m, and the iteration count t. The constructed network is a pure simplicial complex. Theoretical analysis using the similarity dimension and experimental verification using the box-counting dimension demonstrate that the generated networks exhibit fractal characteristics. When the multiplier m is large, the generalized degree distribution of the generated networks is characterized by its scale-free nature.