arXiv++ Combinatorics

An animal is a planar shape formed by attaching congruent regular polygons, known as tiles, along their edges. In this paper, we study extremal animals defined on regular tessellations of the plane. In 1976, Harary and Harborth studied animals in the Euclidean cases, finding extremal values for their vertices, edges, and tiles, when any one of these parameters is fixed. Here, we generalize their results to hyperbolic animals. For each hyperbolic tessellation, we exhibit a sequence of spiral animals and prove that they attain the minimal numbers of edges and vertices within the class of animals with $n$ tiles. In their conclusions, Harary and Harborth also proposed the question of enumerating extremal animals with a fixed number of tiles. This question has previously only been considered for Euclidean animals. As a first step in solving this problem, we find special sequences of extremal animals that are unique extremal animals, in the sense that any animal with the same number of tiles which is distinct up to isometries can't be extremal.

What is the maximum number of holes enclosed by a $d$-dimensional polyomino built of $n$ tiles? Represent this number by $f_d(n)$. Recent results show that $f_2(n)/n$ converges to $1/2$. We prove that for all $d \geq 2$ we have $f_d(n)/n \to (d-1)/d$ as $n$ goes to infinity. We also construct polyominoes in $d$-dimensional tori with the maximal possible number of holes per tile. In our proofs, we use metaphors from error-correcting codes and dynamical systems.

We give a complete solution to the extremal topological combinatorial problem of finding the minimum number of tiles needed to construct a polyomino with $h$ holes. We denote this number by $g(h)$ and say that a polyomino is crystallized if it has $h$ holes and $g(h)$ tiles. We analyze structural properties of crystallized polyominoes and characterize their efficiency by a topological isoperimetric inequality that relates minimum perimeter, the area of the holes, and the structure of the dual graph of a polyomino. We also develop a new dynamical method of creating sequences of polyominoes which is invariant with respect to crystallization and efficient structure. Using this technique, we prove that crystallized polyominoes with $h_l=(2^{2l}-1)/3$ holes are unique.

We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions of embedded spheres in $\mathbf R^3$. Their level-set invariant, a poset generated by nested disks and annuli from levels sets, gives insight into the moduli space of Morse functions sharing the same persistence barcode.

In Part II of this work, we construct crystallized polyiamonds with $h$ holes for every $h\ge1$, that is polyiamonds which use the fewest possible tiles necessary to enclose $h$ holes. Furthermore, we prove that crystallized polyiamonds satisfy a set of structural conditions, and for every $h\ge 3$ there are multiple distinct crystallized polyiamonds with $h$ holes.

We prove a sufficient condition for a finite clique complex to collapse to a $k$-dimensional complex, and use this to exhibit thresholds for $(k+1)$-collapsibility in a sparse random clique complex. In particular, if every strongly connected, pure $(k+1)$-dimensional subcomplex of a clique complex $X$ has a vertex of degree at most $2k+1$, then $X$ is $(k+1)$-collapsible. In the random model $X(n,p)$ of clique complexes of an Erdős--Rényi random graph $G(n,p)$, we then show that for any fixed $k\geq 0$, if $p=n^{-α}$ for fixed $1/(k+1) < α< 1/k$, then a clique complex $X\overset{dist}{=} X(n,p)$ is $(k+1)$-collapsible with high probability.

We prove that the topological connectivity of a graph homomorphism complex Hom($G,K_m$) is at least $m-D(G)-2$, where $\displaystyle D(G)=\max_{H\subseteq G}δ(H)$. This is a strong generalization of a theorem of Cukić and Kozlov, in which $D(G)$ is replaced by the maximum degree $Δ(G)$. It also generalizes the graph theoretic bound for chromatic number, $\displaystyleχ(G)\leq D(G)+1$, as $\displaystyleχ(G)=\min\{ m:\text{Hom}(G,K_m)\neq\varnothing\}$. Furthermore, we use this result to examine homological phase transitions in the random polyhedral complexes Hom$(G(n,p),K_m)$ when $p=c/n$ for a fixed constant $c > 0$.

We examine the measurable chromatic number of distance colorings on the surface of 2-dimensional spheres of varying radii, showing in particular that similar arguments to those used to raise lower bounds in the plane work for all but a countable set of radii. Furthermore, we show that measurable chromatic number as a function of the radius, or more generally the curvature, is not monotonic.