arXiv++ Combinatorics

In this paper, we provide a novel approach to limiting Heesch numbers of a specific family of tiles. In particular, we show how a certain family of three--dimensional prisms has a finite Heesch number. In so doing, we initiate a structural study of ratio $q$ tilings by two prototiles, in which, loosely speaking, one tile appears $q$ times more often than the other. The method works as follows: we take planar intersections with coronas around the prism in two perpendicular directions and compare the frequencies of the resulting prototiles in those patches. If every tiling by these prototiles has limiting ratio at least $q >1$, then sufficiently large coronas of the prism would require incompatible tile counts in the two directions. We also provide some computational results and exhibit $6$ infinite families of notched prisms that have finite Heesch numbers greater or equal to $2$. Finally, we provide some negative computational results about the non--existence of certain prisms with given Heesch numbers.

We study the maximal number $m_{k,\ell,n}$ of empty convex $k$-gons ($k$-holes) determined by an $n$-point set in the plane in general position that contains no empty convex $\ell~$-gon, focusing on the first nontrivial case $\ell=k+1$. Our main result determines the exact value in the small-excess regime: for $n=k+a$ with $a\le k/2-1$, we prove $m_{k,k+1,k+a}=2^a.$ We also describe the extremal configurations attaining equality. Beyond this exact range, we provide upper and lower bounds in the proportional regime $n=αk$ and in the regime where $k$ is fixed and $n$ goes to infinity. In the last mentioned regime we prove that $m_{k,k+1,n}=Ω_k(n^{\lfloor\frac{k}{3}\rfloor})$ and $m_{k,k+1,n}=O_k(n^{\lceil\frac{k}{2}\rceil+1}).$

We say that a tile is $σ$-morphic if it tiles the plane in exactly $\aleph_0$ many noncongruent ways (up to an isometry). It is an unsolved problem of whether a $σ$-morphic tile exist in the plane. In this note we present a construction of a set of convex tiles that is $σ$-morphic. The result is interesting since all the constructions of $σ$-morphic sets of tiles that arise in the literature make use of bumps and nicks, which necessarily make the tiles non-convex. We construct our set by cleverly dividing the tiles of the set of tiles discovered by Schmitt into convex tiles so that they behave in the same manner.

We consider the model of limited visibility Cops and Robbers, where the cops can only see within their $l$-neighbourhood. We prove that the number of cops needed to see the robber can be arbitrarily smaller than the number needed to capture the robber, answering an open question from the literature. We then consider how close we can get to seeing the robber when we do not have enough cops, along with a probabilistic interpretation.

Classical Ramsey theory has successfully extended to relational structures, yielding a wealth of results that have profoundly influenced other areas of mathematics. Interestingly, the same development has not occurred in the case of dual Ramsey theory. The main goal of this paper is to advance the dual Ramsey theory for finite relational structures with respect to natural structure-preserving maps. Tools from category theory prove instrumental in this endeavor, as was previously the case for finite algebraic systems where the dual Ramsey property had been established for every class of finite algebras coming from an equationally defined class. One cannot help but feel that dual Ramsey phenomena are deeply connected to categorical strategies.