arXiv++ Combinatorics

The middle-levels graph $M_k$ ($0<k\in\mathbb{Z}$) has a dihedral quotient pseudograph $R_k$ whose vertices are the $k$-edge ordered trees $T$, each $T$ encoded as a $(2k+1)$-string $F(T)$ formed via $\rightarrow$DFS by: {\bf(i)} ($\leftarrow$BFS-assigned) Kierstead-Trotter lexical colors $0,\ldots,k$ for the descending nodes; {\bf(ii)} asterisks $*$ for the $k$ ascending edges. Two ways of corresponding a restricted-growth $k$-string $α$ to each $T$ exist, namely one Stanley's way and a novel way that assigns $F(T)$ to $α$ via nested substring-swaps. These swaps permit to sort $V(R_k)$ as an ordered tree that allows a lexical visualization of $M_k$ as well as the Hamilton cycles of $M_k$ constructed by P. Gregor, T. Mütze and J. Nummenpalo.

The distribution of distances in the star graph $ST_n$, ($1<n\in\Z$), is established, and subsequently a threaded binary tree is obtained that realizes an orientation of $ST_n$ whose levels are given by the distances to the identity permutation, via a pruning algorithm followed by a threading algorithm. In the process, the distributions of distances of the efficient dominating sets of $ST_n$ are determined.

We show that the 56-vertex Klein cubic graph $\G'$ can be obtained from the 28-vertex Coxeter cubic graph $\G$ by 'zipping' adequately the squares of the 24 7-cycles of $\G$ endowed with an orientation obtained by considering $\G$ as a $\mathcal C$-ultrahomogeneous digraph, where $\mathcal C$ is the collection formed by both the oriented 7-cycles $\vec{C}_7$ and the 2-arcs $\vec{P}_3$ that tightly fasten those $\vec{C}_7$ in $\G$. In the process, it is seen that $\G'$ is a ${\mathcal C}'$-ultrahomogeneous (undirected) graph, where ${\mathcal C}'$ is the collection formed by both the 7-cycles $C_7$ and the 1-paths $P_2$ that tightly fasten those $C_7$ in $\G'$. This yields an embedding of $\G'$ into a 3-torus $T_3$ which forms the Klein map of Coxeter notation $(7,3)_8$. The dual graph of $\G'$ in $T_3$ is the distance-regular Klein quartic graph, with corresponding dual map of Coxeter notation $(3,7)_8$.

Self-dual 1-configurations $(n_d)_1$ possess their Menger graph $\mathcal Y$ most $K_4$-separated among connected self-dual configurations $(n_d)$. Such $\mathcal Y$ is most symmetric if $K_d$-ultrahomogeneous. In this work, such a $\mathcal Y$ is presented for $(n,d)=(102,4)$ and shown to relate $n$ copies of the cuboctahedral graph $L(Q_3)$ to the $n$ copies of $K_d$; these are shown to share each copy of $K_3$ exactly with two copies of $L(Q_3)$.

The notion of a $\mathcal C$-ultrahomogeneous graph, due to Isaksen et al., is adapted for digraphs, and subsequently a strongly connected $\vec{C}_4$-ultrahomogeneous oriented graph on 168 vertices and 126 pairwise arc-disjoint 4-cycles is presented, with regular indegree and outdegree 3 and no circuits of lengths 2 and 3, by altering a definition of the Coxeter graph via pencils of ordered lines of the Fano plane in which pencils are replaced by ordered pencils.

A binary extended 1-perfect code $\mathcal C$ folds over its kernel via the Steiner quadruple systems associated with its codewords. The resulting folding, proposed as a graph invariant for $\mathcal C$, distinguishes among the 361 nonlinear codes $\mathcal C$ of kernel dimension $κ$ obtained via Solov'eva-Phelps doubling construction, where $9\geqκ\geq 5$. Each of the 361 resulting graphs has most of its nonloop edges expressible in terms of lexicographically ordered quarters of products of classes from extended 1-perfect partitions of length 8 (as classified by Phelps) and loops mostly expressible in terms of the lines of the Fano plane.

Like the Coxeter graph became reattached into the Klein graph in [2], the Levi graphs of the $9_3$ and $10_3$ self-dual configurations, known as the Pappus and Desargues ($k$-transitive) graphs $\mathcal P$ and $\mathcal D$ (where $k=3$), also admit reattachments of the distance-$(k-1)$ graphs of half of their oriented shortest cycles via orientation assignments on their common $(k-1)$-arcs, concurrent for ${\mathcal P}$ and opposite for $\mathcal D$, now into 2 disjoint copies of their corresponding Menger graphs. Here, $\mathcal P$ is the unique cubic distance-transitive (or CDT) graph with the concurrent-reattachment behavior while $\mathcal D$ is one of 7 CDT graphs with the opposite-reattachment behavior, that include the Coxeter graph. Thus, $\mathcal P$ and $\mathcal D$ confront each other in these respects, obtained via $\mathcal C$-ultrahomogeneous graph techniques [3,4] that allow to characterize the obtained reattachment Menger graphs in the same terms.

A binary extended 1-perfect code $\mathcal C$ folds over its kernel via the Steiner quadruple systems associated with its codewords. The resulting folding, proposed as a graph invariant for $\mathcal C$, distinguishes among the 361 nonlinear codes $\mathcal C$ of kernel dimension $κ$ with $9\geqκ\geq 5$ obtained via Solov'eva-Phelps doubling construction. Each of the 361 resulting graphs has most of its nonloop edges expressible in terms of the lexicographically disjoint quarters of the products of the components of two of the ten 1-perfect partitions of length 8 classified by Phelps, and loops mostly expressible in terms of the lines of the Fano plane.

A vertex subset $S$ of a graph $G$ is a perfect (resp. quasiperfect) dominating set in $G$ if each vertex $v$ of $G\setminus S$ is adjacent to only one vertex ($d_v\in\{1,2\}$ vertices) of $S$. Perfect and quasiperfect dominating sets in the regular tessellation graph of Schläfli symbol $\{3,6\}$ and in its toroidal quotients are investigated, yielding the classification of their perfect dominating sets and most of their quasiperfect dominating sets $S$ with induced components of the form $K_ν$, where $ν\in\{1,2,3\}$ depends only on $S$.

A dominating set $S$ in a graph $G$ is said to be perfect if every vertex of $G$ not in $S$ is adjacent to just one vertex of $S$. Given a vertex subset $S'$ of a side $P_m$ of an $m\times n$ grid graph $G$, the perfect dominating sets $S$ in $G$ with $S'=S\cap V(P_m)$ can be determined via an exhaustive algorithm $Θ$ of running time $O(2^{m+n})$. Extending $Θ$ to infinite grid graphs of width $m-1$, periodicity makes the binary decision tree of $Θ$ prunable into a finite threaded tree, a closed walk of which yields all such sets $S$. The graphs induced by the complements of such sets $S$ can be codified by arrays of ordered pairs of positive integers via $Θ$, for the growth and determination of which a speedier %greedy algorithm exists. %and their periodic structure, further studied. A recent characterization of grid graphs having total perfect codes $S$ (with just 1-cubes as induced components), due to Klostermeyer and Goldwasser, is given in terms of $Θ$, which allows to show that these sets $S$ are restrictions of only one total perfect code $S_1$ in the integer lattice graph $Λ$ of $\R^2$. Moreover, the complement $Λ-S_1$ yields an aperiodic tiling, like the Penrose tiling. In contrast, the parallel, horizontal, total perfect codes in $Λ$ are in 1-1 correspondence with the doubly infinite $\{0,1\}$-sequences.

We show there is an uncountable number of parallel total perfect codes in the integer lattice graph $Λ$ of $\R^2$. In contrast, there is just one 1-perfect code in $Λ$ and one total perfect code in $Λ$ restricting to total perfect codes of rectangular grid graphs (yielding an asymmetric, Penrose, tiling of the plane). We characterize all cycle products $C_m\times C_n$ with parallel total perfect codes, and the $d$-perfect and total perfect code partitions of $Λ$ and $C_m\times C_n$, the former having as quotient graph the undirected Cayley graphs of $\Z_{2d^2+2d+1}$ with generator set $\{1,2d^2\}$. For $r>1$, generalization for 1-perfect codes is provided in the integer lattice of $\R^r$ and in the products of $r$ cycles, with partition quotient graph $K_{2r+1}$ taken as the undirected Cayley graph of $\Z_{2r+1}$ with generator set $\{1,...,r\}$.

Let $r>2$ and $σ\in(0,r-1)$ be integers. We require $t<2s$, where $t=2^{σ+1}-1$ and $s=2^{r-σ-1}$. Generalizing a known $\{K_4,T_{6,3}\}$-ultrahomogenous graph $G_3^1$, we find that a finite, connected, undirected, arc-transitive graph $G_r^σ$ exists each of whose edges is shared by just two maximal subgraphs, namely a clique $X_0=K_{2s}$ and a $t$-partite regular-Turán graph $X_1=T_{st,t}$ on $s$ vertices per part. Each copy $Y$ of $X_i$ ($i=0,1$) in $G_r^σ$ shares each edge with just one copy of $X_{1-i}$ and all such copies of $X_{1-i}$ are pairwise distinct. Moreover, $G_r^σ$ is an edge-disjoint union of copies of $X_i$, for $i=0,1$. We prove that $G_r^σ$ is $\{K_{2s},T_{st,t}\}$-homogeneous if $t<2s$, and just $\{T_{st,t}\}$-homogeneous otherwise, meaning that there is an automorphism of $G_r^σ$ between any two such copies of $X_i$ relating two preselected arcs.

The existence of a connected 12-regular $\{K_4,K_{2,2,2}\}$-ultrahomogeneous graph $G$ is established, (i.e. each isomorphism between two copies of $K_4$ or $K_{2,2,2}$ in $G$ extends to an automorphism of $G$), with the 42 ordered lines of the Fano plane taken as vertices. This graph $G$ can be expressed in a unique way both as the edge-disjoint union of 42 induced copies of $K_4$ and as the edge-disjoint union of 21 induced copies of $K_{2,2,2}$, with no more copies of $K_4$ or $K_{2,2,2}$ existing in $G$. Moreover, each edge of $G$ is shared by exactly one copy of $K_4$ and one of $K_{2,2,2}$. While the line graphs of $d$-cubes, ($3\le d\in\ZZ$), are $\{K_d, K_{2,2}\}$-ultrahomogeneous, $G$ is not even line-graphical. In addition, the chordless 6-cycles of $G$ are seen to play an interesting role and some self-dual configurations associated to $G$ with 2-arc-transitive, arc-transitive and semisymmetric Levi graphs are considered.