arXiv++ Combinatorics

With regard to the Hadwiger-Nelson problem, several 5-chromatic unit distance graphs in the Euclidean plane have been discovered in recent years. While most constructions rely heavily on the Moser spindle, Voronov \textit{et al.} found examples on 64513 vertices that completely avoid it. In this note, we improve upon this result by presenting a 5-chromatic unit distance graph on 2131 vertices that similarly does not contain the Moser spindle. It is constructed utilizing the arcs of a 7-fold symmetric unit distance graph on 21 vertices.

Bent functions are Boolean functions that are maximally nonlinear. They can be represented as bent squares, i.e., square matrices for which each row and each column is the Walsh spectrum of a Boolean function. Using this representation, it is shown in this note that the number of bent functions in $n$ variables is at least $2^{n \cdot 2^{\frac{n}{2}} \left(1 + O\left(\frac{1}{n}\right)\right)}$ for even integers $n$.

The generalized Petersen graph $G(n, k)$ is a cubic graph with vertex set $V(G(n, k)) = \{v_i\}_{0 \leq i < n} \cup \{w_i\}_{0 \leq i < n}$ and edge set $E(G(n, k)) = \{v_i v_{i+1}\}_{0 \leq i < n} \cup \{w_i w_{i+k}\}_{0 \leq i < n} \cup \{v_i w_i\}_{0 \leq i < n}$ where the indices are taken modulo $n$. Schwenk found the number of Hamiltonian cycles in $G(n, 2)$, and in this article we present initial conditions and linear recurrence relations for the number of Hamiltonian cycles in $G(n, 3)$ and $G(n, 4)$. This is attained by introducing $G'(n, k)$, which is a modified version of $G(n, k)$, and a subset of its subgraphs which we call admissible, and which are partitioned into different classes in such a manner that we can find relations between the number of admissible subgraphs of each class. The classes and their relations define a directed graph such that each strongly connected component is of a manageable size for $k=3$ and $k=4$, which allows us to find linear recurrence relations for the number of admissible subgraphs in each class in these cases. The number of Hamiltonian cycles in $G(n, k)$ is a sum of the number of admissible subgraphs of $G'(n, k)$ over a certain subset of the classes.

A Boolean function $f$ on $k$~bits induces a shift-invariant vectorial Boolean function $F$ from $n$ bits to $n$ bits for every $n\geq k$. If $F$ is bijective for every $n$, we say that $f$ is a proper lifting, and it is known that proper liftings are exactly those functions that arise as local rules of reversible cellular automata. We construct new families of such liftings for arbitrary large $k$ and discuss whether all have been identified for $k\leq 6$.

Hexastix is an arrangement of non-overlapping infinite hexagonal prisms in four different directions that cover $\frac{3}{4}$ of space. We consider a possible generalization to $n$ dimensions, based on the permutohedral lattice $A^*_n$. The central lines of the generalized prisms are going to be oriented in $n+1$ different directions (parallel to the shortest non-zero vectors of $A^*_n$). The projection of the lines oriented in any direction along that direction to a hyperplane perpendicular to it is required to be a translation of the corresponding projection of $A^*_n$, and the minimal distance between lines oriented in any two given directions should be maximal. It is shown that this is possible if $n$ is a prime power. Also, the proportion of $n$-space that is covered is calculated for $n \in \{4, 5\}$, and an alternative generalization is briefly considered.

We investigate the max min of the algebraic degree and the nonlinearity of a Boolean function in $n$ variables when restricted to a $k$-dimensional affine subspace of $\mathbb{F}_2^n$. Previous authors have focused on the cases when the max min of the algebraic degree is 0 or 1. Upper bounds, lower bounds and a conjecture on the exact value in special cases are presented.

We investigate shift-invariant transformations, also known as rotation-symmetric vectorial Boolean functions, on $n$ bits that are induced from Boolean functions on $k$ bits, for $k\leq n$. We consider such transformations that are not necessarily permutations, but are, in some sense, almost bijective, and study their cryptographic properties. In this context, we define an almost lifting as a Boolean function for which there is an upper bound on the number of collisions of its induced transformation that does not depend on $n$. We show that if a Boolean function with diameter $k$ is an almost lifting, then the maximum number of collisions of its induced transformation is $2^{k-1}$ for any $n$. Moreover, we search for functions in the class of almost liftings that have good cryptographic properties and for which the non-bijectivity does not cause major security weaknesses. These functions generalize the well-known map $χ$ used in the Keccak hash function.