arXiv++ Combinatorics

Two subsets $S$ and $T$ of $\mathbb{F}_2^n$ are \textit{affinely equivalent} if there is an affine automorphism of $\mathbb{F}_2^n$ taking $S$ to $T$. Given a basis of the affine span of $S$, we can construct a Venn diagram whose regions partition $S$. We prove that any two bases of $\operatorname{aff}(S)$ will have the same Venn diagram up to a linear permutation of the Venn regions. Moreover, we prove that two sets are affinely equivalent if and only if there is a cardinality-preserving linear permutation from the Venn regions of $S$ to the Venn regions of $T$. We use these results to classify certain Sidon sets up to affine equivalence.

We define a cap in the affine geometry AG(n,2) to be a subset in which every collection of four points is in general position. In this paper, we classify, up to affine equivalence, all caps in AG(7,2) of size k greater than or equal to 10. In particular, we show that there are two equivalence classes of 10-caps and one equivalence class of 11-caps, none of which are complete, and one equivalence class of 12-caps, which are both complete and of maximum size.

We define a \textit{cap} in the affine geometry $AG(n,2)$ to be a subset in which any collection of 4 points is in general position. In this paper we classify, up to affine equivalence, all caps in $AG(n,2)$ of size $k \leq 9$. As a result, we obtain a complete characterization of caps in dimension $n \leq 6$, in particular complete and maximal caps. Since the \textit{EvenQuads} card deck is a model for $AG(6,2)$, as a consequence we determine the probability that an arbitrary $k$-card layout contains a quad.

Generalized splines on a graph $G$ with edge labels in a commutative ring $R$ are vertex labelings such that if two vertices share an edge in $G$, the difference between the vertex labels lies in the ideal generated by the edge label. When $R$ is an integral domain, the set of all such splines is a finitely generated $R$-module $R_G$ of rank $n$, the number of vertices of $G$. We find determinantal conditions on subsets of $R_G$ that determine whether $R_G$ is a free module, and if so, whether a so called "flow-up class basis" exists.