Abstract:We consider facet-Hamiltonian cycles of polytopes, defined as cycles in their skeleton such that every facet is visited exactly once. These cycles can be understood as optimal watchman routes that guard the facets of a polytope. We consider the existence of such cycles for a variety of polytopes, the facets of which have a natural combinatorial interpretation. In particular, we prove the following results: - Every permutahedron has a facet-Hamiltonian cycle. These cycles consist of circular sequences of permutations of $n$ elements, where two successive permutations differ by a single adjacent transposition, and such that every subset of $[n]$ appears as a prefix in a contiguous subsequence. With these cycles we associate what we call rhombic strips which encode interleaved Gray codes of the Boolean lattice, one Gray code for each rank. These rhombic strips correspond to simple Venn diagrams. - Every generalized associahedron has a facet-Hamiltonian cycle. This generalizes the so-called rainbow cycles of Felsner, Kleist, Mütze, and Sering (SIDMA 2020) to associahedra of any finite type. We relate the constructions to the Conway-Coxeter friezes and the bipartite belts of finite type cluster algebras. - Graph associahedra of wheels, fans, and complete split graphs have facet-Hamiltonian cycles. For associahedra of complete bipartite graphs and caterpillars, we construct facet-Hamiltonian paths. The construction involves new insights on the combinatorics of graph tubings. We also consider the computational complexity of deciding whether a given polytope has a facet-Hamiltonian cycle and show that the problem is NP-complete, even when restricted to simple 3-dimensional polytopes.

Geometry of Farey-Ford polygons

Geometry of multidimensional Farey summation algorithm and frieze patterns

Farey Graphs as Models for Complex Networks

Combinatorial properties of Farey graphs.

Ford Circles and Spheres

Some special property of Farey sequence

The combinatorics of Farey words and their traces

Computations with finite index subgroups of $PSL_2(\mathbb Z)$ using Farey Symbols

Geometry and arithmetic of semi-arithmetic Fuchsian groups

Pair correlation of Farey fractions with square-free denominators

Meditations on the Farey Fractal

On equidistant polytopes in the Euclidean space

Fibonacci numbers and Ford circles

A Farey tree structure on a family of pseudo-Anosovs

Theorem Discovery Amongst Cyclic Polygons

Continued fractions using a Laguerre digraph interpretation of the Foata--Zeilberger bijection and its variants

Gaps in the complex Farey sequence of an imaginary quadratic number field

Facet-Hamiltonicity

Ford Spheres in the Clifford-Bianchi Setting

Joint partial equidistribution of Farey rays in negatively curved manifolds and trees

Areas of Triangles and other Polygons with Vertices from Various Sequences