arXiv++ Combinatorics

We verify Tutte's $3$-flow conjecture in the class of Cayley graphs on solvable groups of order $2n$, where $n$ is square-free. The proof relies on a new necessary and sufficient condition for a simple $5$-valent graph to admit a nowhere-zero $3$-flow in terms of a pseudoforest decomposition.

Based on the earlier work of Li (European J. Combin. 1997) and Dobson (Discrete Math. 2008), in this paper we complete the classification of cyclic $m$-DCI-groups and $m$-CI-groups. For a positive integer $m$ such that $m \ge 3$, we show that the group $\mathbb{Z}_n$ is an $m$-DCI-group if and only if $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < m$. Furthermore, if $m \ge 6$, then we show that $\mathbb{Z}_n$ is an $m$-CI-group if and only if either $n \in \{ 8, 9, 18 \}$, or $n \notin \{ 8, 9, 18 \}$ and $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < \frac{m - 1}{2}$.

A graph $Γ$ is said to be unstable if for the direct product $Γ\times K_2$, $Aut(Γ\times K_2)$ is not isomorphic to $Aut(Γ) \times \mathbb{Z}_2$. In this paper we show that a connected and non-bipartite Cayley graph $Cay(H,S)$ is unstable if and only if the set $S \times \{1\}$ belongs to a Schur ring over the group $H \times \mathbb{Z}_2$ having certain properties. The Schur rings with these properties are characterized if $H$ is an abelian group of odd order or a cyclic group of twice odd order. As an application, a short proof is given for the result of Witte Morris stating that every connected unstable Cayley graph on an abelian group of odd order has twins (Electron.~J.~Combin, 2021). As another application, sufficient and necessary conditions are given for a connected and non-bipartite circulant graph of order $2p^e$ to be unstable, where $p$ is an odd prime and $e \ge 1$.

A graph $Γ$ is said to be stable if for the direct product $Γ\times\mathbf{K}_2$, ${\rm Aut}(Γ\times \mathbf{K}_2)$ is isomorphic to ${\rm Aut}(Γ) \times \mathbb{Z}_2$; otherwise, it is called unstable. An unstable graph is called non-trivially unstable when it is not bipartite and no two vertices have the same neighborhood. Wilson described nine families of unstable Rose Window graphs and conjectured that these contain all non-trivially unstable Rose Window graphs (2008). In this paper we show that the conjecture is true.

A skew morphism of a finite group $A$ is a permutation $\varphi$ of $A$ fixing the identity element and for which there is an integer-valued function $π$ on $A$ such that $\varphi(ab)=\varphi(a)\varphi^{π(a)}(b)$ for all $a, b \in A$. A skew morphism $\varphi$ of $A$ is smooth if the associated power function $π$ is constant on the orbits of $\varphi$, that is, $π(\varphi(a))\equivπ(a)\pmod{|\varphi|}$ for all $a\in A$. In this paper we show that every skew morphism of a cyclic group of order $n$ is smooth if and only if $n=2^en_1$, where $0 \le e \le 4$ and $n_1$ is an odd square-free number. A partial solution to a similar problem on non-cyclic abelian groups is also given.

A finite simple graph $Γ$ is called a Nest graph if it is regular of valency $6$ and admits an automorphism $ρ$ with two orbits of the same length such that at least one of the subgraphs induced by these orbits is a cycle. We say that $Γ$ is core-free if no non-trivial subgroup of the group generated by $ρ$ is normal in $\mathrm{Aut}(Γ)$. In this paper, we show that, if $Γ$ is edge-transitive and core-free, then it is isomorphic to one of the following graphs: the complement of the Petersen graph, the Hamming graph $H(2,4)$, the Shrikhande graph and a certain normal $2$-cover of $K_{3,3}$ by $\mathbb{Z}_2^4$.

For a permutation group $G$ acting on a set $V$, a subset $\mathcal{F}$ of $G$ is said to be an intersecting set if for every pair of elements $g,h\in \mathcal{F}$ there exists $v \in V$ such that $g(v) = h(v)$. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|\mathcal{F}|/|G_v|$ where $G_v$ is a stabilizer of a point $v\in V$ and $\mathcal{F}$ runs over all intersecting sets in $G$. If $G_v$ is a largest intersecting set in $G$ then $G$ is said to have the Erdős-Ko-Rado (EKR)-property. This paper is devoted to the study of transitive permutation groups, with point stabilizers of prime order with a special emphasis given to orders 2 and 3, which do not have the EKR-property. Among other, constructions of infinite family of transitive permutation groups having point stabilizer of order $3$ with intersection density $4/3$ and of infinite families of transitive permutation groups having point stabilizer of order $3$ with arbitrarily large intersection density are given.

We prove that the direct product of two coprime order elementary abelian groups of rank two, as well as the direct product of a cyclic group of prime order and a cyclic group of square free order are DCI-groups. The latter is a generalization of Muzychuk's result on cyclic groups (J. Combin. Theory Ser. A, 1995).

A graph admitting an automorphism with two orbits of the same length is called a bicirculant. Recently, Jajcay et al. initiated the investigation of the edge-transitive bicirculants with the properties that one of the subgraphs induced by the latter orbits is a cycle and the valence is at least $6$ (Electron. J. Combin., 2019). We show that the complement of the Petersen graph is the only such graph whose order is twice an odd number.

We prove that the group $C_p^4\times C_q$ is a DCI-group for distinct primes $p$ and $q$, that is, two Cayley digraphs over $C_p^4 \times C_q$ are isomorphic if and only if their connection sets are conjugate by a group automorphism.

A Cayley graph of a group $H$ is a finite simple graph $Γ$ such that its automorphism group ${\rm Aut}(Γ)$ contains a subgroup isomorphic to $H$ acting regularly on $V(Γ)$, while a Haar graph of $H$ is a finite simple bipartite graph $Σ$ such that ${\rm Aut}(Σ)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(Σ)$ and the $H$-orbits are equal to the partite sets of $Σ$. It is well-known that every Haar graph of finite abelian groups is a Cayley graph. In this paper, we prove that every finite non-abelian group admits a non-Cayley Haar graph except the dihedral groups $D_6$, $D_8$, $D_{10}$, the quaternion group $Q_8$ and the group $Q_8\times\mathbb{Z}_2$. This answers an open problem proposed by Estélyi and Pisanski in 2016.

The existence of ovals and hyperovals is an old question in the theory of non-Desarguesian planes. The aim of this paper is to describe when a conic of ${\rm PG}(2,q)$ remains an arc in the Hall plane obtained by derivation. Some combinatorial properties of the inherited conics are obtained also in those cases when it is not an arc. The key ingredient of the proof is an old lemma by Segre-Korchmáros on Desargues configurations with perspective triangles inscribed in a conic.

A Schur ring over a finite group is said to be decomposable if it is the generalized wreath product of Schur rings over smaller groups. In this paper we establish a sufficient condition for a decomposable Schur ring over the direct product of elementary abelian groups to be a $CI$-Schur ring. By using this condition we reprove in a short way known results on the $CI$-property for decomposable Schur rings over an elementary abelian group of rank at most $5$.

Two permutations of $[n]=\{1,2 \ldots n\}$ are \textit{$k$-neighbor separated} if there are two elements that are neighbors in one of the permutations and that are separated by exactly $k-2$ other elements in the other permutation. Let the maximal number of pairwise $k$-neighbor separated permutations of $[n]$ be denoted by $P(n,k)$. In a previous paper, the authors have determined $P(n,3)$ for every $n$, answering a question of Körner, Messuti and Simonyi affirmatively. In this paper we prove that for every fixed positive integer $\ell $, $$P(n,2^\ell+1) = 2^{n-o(n)}. $$ We conjecture that for every fixed even $k$, $P(n,k)=2^{n-o(n)}$. We also show that this conjecture is asymptotically true in the following sense $$\lim_{k \rightarrow \infty} \lim_{n \rightarrow \infty} \sqrt[n]{P(n,k)}=2.$$ Finally, we show that for even $n$, $P(n,n)= 3n/2$.

A Cayley graph of a group $H$ is a finite simple graph $Γ$ such that ${\rm Aut}(Γ)$ contains a subgroup isomorphic to $H$ acting regularly on $V(Γ)$, while a Haar graph of $H$ is a finite simple bipartite graph $Σ$ such that ${\rm Aut}(Σ)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(Σ)$ and the $H$-orbits are equal to the bipartite sets of $Σ$. A Cayley graph is a Haar graph exactly when it is bipartite, but no simple condition is known for a Haar graph to be a Cayley graph. In this paper, we show that the groups $D_6, \, D_8, \, D_{10}$ and $Q_8$ are the only finite inner abelian groups all of whose Haar graphs are Cayley graphs (a group is called inner abelian if it is non-abelian, but all of its proper subgroups are abelian). As an application, it is also shown that every non-solvable group has a Haar graph which is not a Cayley graph.

A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. The complexity class DP is the set of all languages that can be expressed as the intersection of a language in NP and a language in coNP. In this paper, we prove that recognizing minimally $t$-tough graphs is DP-complete for any positive rational number $t$. We introduce a new notion called weighted toughness, which has a key role in our proof.

In this paper, we show that the group $\mathbb{Z}_p^5$ is a DCI-group for any odd prime $p,$ that is, two Cayley digraphs Cay$(\mathbb{Z}_p^5,S)$ and Cay$(\mathbb{Z}_p^5,T)$ are isomorphic if and only if $S=T^\varphi$ for some automorphism $\varphi$ of the group $\mathbb{Z}_p^5$.

A planar point set of $n$ points is called {\em $γ$-dense} if the ratio of the largest and smallest distances among the points is at most $γ\sqrt{n}$. We construct a dense set of $n$ points in the plane with $ne^{Ω\left({\sqrt{\log n}}\right)}$ halving lines. This improves the bound $Ω(n\log n)$ of Edelsbrunner, Valtr and Welzl from 1997. Our construction can be generalized to higher dimensions, for any $d$ we construct a dense point set of $n$ points in $\mathbb{R}^d$ with $n^{d-1}e^{Ω\left({\sqrt{\log n}}\right)}$ halving hyperplanes. Our lower bounds are asymptotically the same as the best known lower bounds for general point sets.

Let $G$ be a fixed graph. Two paths of length $n-1$ on $n$ vertices (Hamiltonian paths) are $G$-different if there is a subgraph isomorphic to $G$ in their union. In this paper we prove that the maximal number of pairwise triangle-different Hamiltonian paths is equal to the number of balanced bipartitions of the ground set, answering a question of Körner, Messuti and Simonyi.

A permutation of the point set of the affine space $AG(n,q)$ is called an integral automorphism if it preserves the integral distance defined among the points. In this paper, we complete the classification of the integral automorphisms of $AG(n,q)$ for $n\ge 3$.