Related papers: On triangular billiards

We show that the lattice games of Guo and Miller support universal computation, disproving their conjecture that all lattice games have rational strategies. We also state an explicit counterexample to that conjecture: a three dimensional…

We show that for a rational polygonal billiard, the set of pairs of points that do not illuminate each other (not connected by a billiard trajectory) is finite, and use the same method to extend the results of Leli\`evre, Monteil and Weiss,…

Ivrii's Conjecture states that in every billiard in Euclidean space the set of periodic orbits has measure zero. It implies that for every $k\geq2$ there are no k-reflective billiards, i.e., billiards having an open set of k-periodic…

A rational triangle $T$ (one whose angles are rational multiples of $\pi$) unfolds to a translation surface $(X_T,\omega_T)$. The lattice triangle problem asks to classify those $T$ for which $(X_T,\omega_T)$ is a Veech (lattice) surface,…

In this paper we investigate the existence of closed billiard trajectories in not necessarily smooth convex bodies. In particular, we show that if a body $K\subset \mathbb{R}^d$ has the property that the tangent cone of every non-smooth…

We study the problem of acute triangulations of convex polyhedra and the space R^n. Here an acute triangulation is a triangulation into simplices whose dihedral angles are acute. We prove that acute triangulations of the n-cube do not exist…

We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and…

We verify the Morrison--Kawamata conjecture for a certain class of rational threefolds, namely blowups of P^3 in the base locus of a net of quadrics with no reducible members. This seems to be the first verified case of the conjecture for…

We present numerical evidence which strongly suggests that irrational triangular billiards (all angles irrational with $\pi$) are mixing. Since these systems are known to have zero Kolmogorov-Sinai entropy, they may play an important role…

We show that for any natural number n, the set of domains containing absolutely periodic orbits of order n are dense in the set of bounded strictly convex domains with smooth boundary. The proof that such an orbit exists is an extension to…

We proved a conjecture of D. Freed that there are no non-trivial complete special Kaehler manifolds.

Building on tools that have been successfully used in the study of rational billiards, such as induced maps and interval exchange transformations, we provide a construction of a one-parameter family of isosceles triangles exhibiting…

We apply Donaldson's theorem on the intersection forms of definite 4--manifolds to characterize the lens spaces which smoothly bound rational homology 4--dimensional balls. Our result implies, in particular, that every smoothly slice…

The orbit closure of the unfolding of every rational right and isosceles triangle is computed and the asymptotic number of periodic billiard trajectories in these triangles is deduced. This follows by classifying all orbit closures of rank…

We give a complete characterization of the relationship between the shape of a Euclidean polygon and the symbolic dynamics of its billiard flow. We prove that the only pairs of tables that can have the same bounce spectrum are right-angled…

Recent works have established universal entanglement properties and demonstrated validity of single-particle eigenstate thermalization in quantum-chaotic quadratic Hamiltonians. However, a common property of all quantum-chaotic quadratic…

The strong no loop conjecture states that a simple module of finite projective dimension over an artin algebra has no non-zero self-extension. The main result of this paper establishes this well known conjecture for finite dimensional…

The Golomb-Welch conjecture (1968) states that there are no $e$-perfect Lee codes in $\mathbb{Z}^n$ for $n\geq 3$ and $e\geq 2$. This conjecture remains open even for linear codes. A recent result of Zhang and Ge establishes the…

A rational triangle is a triangle with sides of rational lengths. In this short note, we prove that there exists a unique pair of a rational right triangle and a rational isosceles triangle which have the same perimeter and the same area.…

A planar polygonal billiard $\P$ is said to have the finite blocking property if for every pair $(O,A)$ of points in $\P$ there exists a finite number of ``blocking'' points $B_1, ..., B_n$ such that every billiard trajectory from $O$ to…