arXiv++ Combinatorics

A natural procedure for assigning students to classes in the beginning of the school-year is to let each student write down a list of $d$ other students with whom she/he wants to be in the same class (typically $d=3$). The teachers then gather all the lists and try to assign the students to classes in a way that each student is assigned to the same class with at least one student from her/his list. We refer to such partitions as friendly. In realistic scenarios, the teachers may also consider other constraints when picking the friendly partition: e.g. there may be a group of students whom the teachers wish to avoid assigning to the same class; alternatively, there may be two close friends whom the teachers want to put together; etc. Inspired by such challenges, we explore questions concerning the expressiveness of friendly partitions. For example: Does there always exist a friendly partition? More generally, how many friendly partitions are there? Can every student $u$ be separated from any other student $v$? Does there exist a student $u$ that can be separated from any other student $v$? We show that when $d\geq 3$ there always exist at least $2$ friendly partitions and when $d\geq 15$ there always exists a student $u$ which can be separated from any other student $v$. The question regarding separability of each pair of students is left open, but we give a positive answer under the additional assumption that each student appears in at most roughly $\exp(d)$ lists. We further suggest several open questions and present some preliminary findings towards resolving them.

We say that a pure simplicial complex ${\mathbf K}$ of dimension $d$ satisfies the removal-collapsibility condition if ${\mathbf K}$ is either empty or ${\mathbf K}$ becomes collapsible after removing $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ facets, where $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ denotes the $d$th reduced Betti number. In this paper, we show that if the link of each face of a pure simplicial complex ${\mathbf K}$ (including the link of the empty face which is the whole ${\mathbf K}$) satisfy the removal-collapsibility condition, then the second barycentric subdivision of ${\mathbf K}$ is vertex decomposable and in particular shellable. This is a higher dimensional generalization of a result of Hachimori, who proved that that if the link of each vertex of a pure 2-dimensional simplicial complex ${\mathbf K}$ is connected, and ${\mathbf K}$ becomes simplicially collapsible after removing $\tildeχ({\mathbf K})$ facets, where $\tilde χ({\mathbf K})$ denotes the reduced Euler characteristic, then the second barycentric subdivision of ${\mathbf K}$ is shellable. For the proof, we introduce a new variant of decomposability of a simplicial complex, stronger than vertex decomposability, which we call star decomposability. This notion may be of independent interest.

Let $τ_{m,n}$ denote the maximal number of points on the discrete torus (discrete toric grid) of sizes $m \times n$ with no three collinear points. The value $τ_{m,n}$ is known for the case where $\gcd(m,n)$ is prime. It is also known that $τ_{m,n} \leq 2\gcd(m,n)$. In this paper we generalize some of the known tools for determining $τ_{m,n}$ and also show some new. Using these tools we prove that the sequence $(τ_{z,n})_{n \in \mathbb{N}}$ is periodic for all fixed $z > 1$. In general, we do not know the period; however, if $z = p^a$ for $p$ prime, then we can bound it. We prove that $τ_{p^a,p^{(a-1)p+2}} = 2p^a$ which implies that the period for the sequence is $p^b$ where $b$ is at most $(a-1)p+2$.