arXiv++ Combinatorics

Assume that $R_1,R_2,\dots,R_t$ are disjoint parallel lines in the plane. A $t$-interval (or $t$-track interval) is a set that can be written as the union of $t$ closed intervals, each on a different line. It is known that pairwise intersecting $2$-intervals can be pierced by two points, one from each line. However, it is not true that every set of pairwise intersecting $3$-intervals can be pierced by three points, one from each line. For $k\ge 3$, Kaiser and Rabinovich asked whether $k$-wise intersecting $t$-intervals can be pierced by $t$ points, one from each line. Our main result provides an asymptotic answer: in any set $S_1,\dots,S_n$ of $k$-wise intersecting $t$-intervals, at least $\frac{k-1}{k+1}n$ can be pierced by $t$ points, one from each line. We prove this in a more general form, replacing intervals by subtrees of a tree. This leads to questions and results on covering vertices of edge-colored complete graphs by vertices of monochromatic cliques having distinct colors, where the colorings are chordal, or more generally induced $C_4$-free graphs. For instance, we show that if the edges of a complete graph $K_n$ are colored with red or blue so that both color classes are induced $C_4$-free, then at least ${4n\over 5}$ vertices can be covered by a red and a blue clique, and this is best possible. We conclude by pointing to new Ramsey-type problems emerging from these restricted colorings.

We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders, and random $d$-regular graphs. In particular, this serves as a unified proof for these (and other) cases. Suppose that $G$ is a $d$-regular graph on $n$ vertices, with $d=ω(1)$. Let $ε>0$ be a small constant, and let $p=\frac{1+ε}{d}$. Let $y(ε)$ be the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We show that if $G$ satisfies a (very) mild edge expansion requirement, and if one has fairly good control on the expansion of small sets in $G$, then typically the percolated random subgraph $G_p$ contains a unique giant component of asymptotic order $y(ε)n$, and all the other components in $G_p$ are of order $O(\log n/ε^2)$. We also show that this result is tight, in the sense that if one asks for a slightly weaker control on the expansion of small sets in $G$, then there are $d$-regular graphs $G$ on $n$ vertices, where typically the second largest component is of order $Ω(d\log (n/d))=ω(\log n)$. This is the first of a two-part sequence of papers. In the subsequent work, we consider supercritical percolation on regular graphs of constant degree, and establish similar sufficient (and essentially tight) conditions in that setting.

The famous Sidorenko's conjecture asserts that for every bipartite graph $H$, the number of homomorphisms from $H$ to a graph $G$ with given edge density is minimized when $G$ is pseudorandom. We prove that for any graph $H$, a graph obtained from replacing edges of $H$ by generalized theta graphs consisting of even paths satisfies Sidorenko's conjecture, provided a certain divisibility condition on the number of paths. To achieve this, we prove unconditionally that bipartite graphs obtained from replacing each edge of a complete graph with a generalized theta graph satisfy Sidorenko's conjecture, which extends a result of Conlon, Kim, Lee and Lee [J. Lond. Math. Soc., 2018].

In this paper we present some geometrical representations of the Frobenius group of order $21$ (henceforth, $F_{21}$). The main focus is on investigating the group of common automorphisms of two orthogonal Fano planes and the automorphism group of a suitably oriented Fano plane. We show that both groups are isomorphic to $F_{21},$ independently of the choice of the two orthogonal Fano planes and of the choice of the orientation. We show, moreover, that any triangular embedding of the complete graph $K_7$ into a surface is isomorphic to the classical toroidal biembedding and hence is face $2$-colorable, with the two color classes defining a pair of orthogonal Fano planes. As a consequence, we show that, for any triangular embedding of $K_7$ into a surface, the group of the automorphisms that preserve the color classes is the Frobenius group of order $21.$ This way we provide three geometrical representations of $F_{21}$. Also, we apply the representation in terms of two orthogonal Fano planes to give an alternative proof that $F_{21}$ is the automorphism group of the Kirkman triple system of order $15$ that is usually denoted as #61.

Let $G$ be a group. The co-Engel graph of $G$) with $G$ whose vertex set is $G$ and two distinct vertices $x$ and $y$ are adjacent if $[x,{}_k y]\neq1$ and $[y,{}_k x] \neq 1$ for all positive integer $k$, where $[x,{}_ky]$ is the iterated commutator $[x,y,y,\ldots,y]$, with $k$ terms $y$ in the expression; usually we delete isolated vertices (these are the left Engel elements). This graph, under the name ``Engel graph'', was introduced by Abdollahi~\cite{aa}. However, we argue that it is more naturally called the ``co-Engel graph''. We compute genus, various spectra, energies and Zagreb indices of co-Engel graphs for groups including the dihedral and generalized quaternion groups and nonabelian groups of order $pq$ where $p$ and $q$ are primes. As a consequence, we determine (up to isomorphism) all finite non-Engel group $G$ such that the clique number of the co-Engel is at most $4$ and the graph is toroidal or projective. Further, we show that the co-Engel graph is super integral and satisfies the E-LE conjecture and the Hansen--Vuki{č}evi{ć} conjecture for the groups considered in this paper. We also look briefly at the directed Engel graph, with an arc $x\to y$ if $[y,{}_kx]=1$ for some $k$. We show that, if $G$ is a finite soluble group, this graph either is the complete directed graph (which occurs only if $G$ is nilpotent), or has pairs of vertices joined only by single arcs. We also show that the (directed or undirected) Engel graph of a group $G$ is the lexicographic product of a complete graph of order $Z_\infty(G)$ by the (directed or undirected) Engel graph of $G/Z_\infty(G)$, where $Z_\infty(G)$ is the hypercenter of $G$.

The spectral Turán theorem states that the $k$-partite Turán graph is the unique graph attaining the maximum adjacency spectral radius among all graphs of order $n$ containing no the complete graph $K_{k+1}$ as a subgraph. This result is known to be stronger than the classical Turán theorem. In this paper, we consider hypergraph extensions of spectral Turán theorem. For $k\geq r\geq 2$, let $H_{k+1}^{(r)}$ be the $r$-uniform hypergraph obtained from $K_{k+1}$ by enlarging each edge with a new set of $(r-2)$ vertices. Let $F_{k+1}^{(r)}$ be the $r$-uniform hypergraph with edges: $\{1,2,\ldots,r\} =: [r]$ and $E_{ij} \cup\{i,j\}$ over all pairs $\{i,j\}\in \binom{[k+1]}{2}\setminus\binom{[r]}{2}$, where $E_{ij}$ are pairwise disjoint $(r-2)$-sets disjoint from $[k+1]$. Generalizing the Turán theorem to hypergraphs, Pikhurko [J. Combin. Theory Ser. B, 103 (2013) 220--225] and Mubayi and Pikhurko [J. Combin. Theory Ser. B, 97 (2007) 669--678] respectively determined the exact Turán number of $H_{k+1}^{(r)}$ and $F_{k+1}^{(r)}$, and characterized the corresponding extremal hypergraphs. Our main results show that $T_r(n,k)$, the complete $k$-partite $r$-uniform hypergraph on $n$ vertices where no two parts differ by more than one in size, is the unique hypergraph having the maximum $p$-spectral radius among all $n$-vertex $H_{k+1}^{(r)}$-free (resp. $F_{k+1}^{(r)}$-free) $r$-uniform hypergraphs for sufficiently large $n$. These findings are obtained by establishing $p$-spectral version of the stability theorems. Our results offer $p$-spectral analogues of the results by Mubayi and Pikhurko, and connect both hypergraph Turán theorem and hypergraph spectral Turán theorem in a unified form via the $p$-spectral radius.

Given a graph $G$, a mutual-visibility coloring of $G$ is introduced as follows. We color two vertices $x,y\in V(G)$ with a same color, if there is a shortest $x,y$-path whose internal vertices have different colors than $x,y$. The smallest number of colors needed in a mutual-visibility coloring of $G$ is the mutual-visibility chromatic number of $G$, which is denoted $χ_μ(G)$. Relationships between $χ_μ(G)$ and its two parent ones, the chromatic number and the mutual-visibility number, are presented. Graphs of diameter two are considered, and in particular the asymptotic growth of the mutual-visibility number of the Cartesian product of complete graphs is determined. A greedy algorithm that finds a mutual-visibility coloring is designed and several possible scenarios on its efficiency are discussed. Several bounds are given in terms of other graph parameters such as the diameter, the order, the maximum degree, the degree of regularity of regular graphs, and/or the mutual-visibility number. For the corona products it is proved that the value of its mutual-visibility chromatic number depends on that of the first factor of the product. Graphs $G$ for which $χ_μ(G)=2$ are also considered.

We focus on strongly connected, strong for short, digraphs since in this setting distance is defined for every pair of vertices. Distance ideals generalize the spectrum and Smith normal form of several distance matrices associated with strong digraphs. We introduce the concept of pattern which allow us to characterize the family $Γ_1$ of digraphs with only one trivial distance ideal over ${\mathbb Z}$. This result generalizes an analogous result for undirected graphs that states that connected graphs with one trivial ideal over $\mathbb{Z}$ consists of either complete graphs or complete bipartite graphs. It turns out that the strong digraphs in $Γ_1$ consists in the circuit with 3 vertices and a family $Λ$ of strong digraphs that contains complete graphs and complete bipartite graphs, regarded as digraphs. We also compute all distance ideals of some strong digraphs in the family $Λ$. Then, we explore circuits, which turn out to be an infinite family of minimal forbidden digraphs, as induced subdigraphs, for the strong digraphs in $Γ_1$. This suggests that a characterization of $Γ_1$ in terms of forbidden induced subdigraphs is harder than using patterns.

Let $p,q$ be two integers with $p\geq q$. Given a finite graph $F$ with no isolated vertices, the generalized Ramsey achievement game of $F$ on the complete graph $K_n$, denoted by $(p,q;K_n,F,+)$, is played by two players called Alice and Bob. In each round, Alice firstly chooses $p$ uncolored edges $e_1,e_2,...,e_p$ and colors it blue, then Bob chooses $q$ uncolored edge $f_1,f_2,...,f_q$ and colors it red; the player who can first complete the formation of $F$ in his (or her) color is the winner. The generalized achievement number of $F$, denoted by ${a}(p,q;F)$ is defined to be the smallest $n$ for which Alice has a winning strategy. If $p=q=1$, then it is denoted by ${a}(F)$, which is the classical achievement number of $F$ introduced by Harary in 1982. If Alice aims to form a blue $F$, and the goal of Bob is to try to stop him, this kind of game is called the first player game by Bollobás. Let ${a}^*(F)$ be the smallest positive integer $n$ for which Alice has a winning strategy in the first player game. A conjecture due to Harary states that the minimum value of ${a}(T)$ is realized when $T$ is a path and the maximum value of ${a}(T)$ is realized when $T$ is a star among all trees $T$ of order $n$. He also asked which graphs $F$ satisfy $a^*(F)=a(F)$? In this paper, we proved that $n\leq {a}(p,q;T)\leq n+q\left\lfloor (n-2)/p \right\rfloor$ for all trees $T$ of order $n$, and obtained a lower bound of ${a}(p,q;K_{1,n-1})$, where $K_{1,n-1}$ is a star. We proved that the minimum value of ${a}(T)$ is realized when $T$ is a path which gives a positive solution to the first part of Harary's conjecture, and ${a}(T)\leq 2n-2$ for all trees of order $n$. We also proved that for $n\geq 3$, we have $2n-2-\sqrt{(4n-8)\ln (4n-4)}\leq a(K_{1,n-1})\leq 2n-2$ with the help of a theorem of Alon, Krivelevich, Spencer and Szabó. We proved that $a^*(P_n)=a(P_n)$ for a path $P_n$.

We find a positive $e_I$-expansion for the chromatic symmetric function of KPKP graphs, which are graphs obtained by connecting a vertex in a complete graph with a vertex in the maximal clique of a lollipop graph by a path. This generalizes the positive $e_I$-expansion for the chromatic symmetric function of lollipops obtained by Tom, for that of KPK graphs obtained by Wang and Zhou, and as well for those of KKP graphs and PKP graphs obtained by Qi, Tang and Wang. As an application, we confirm the $e$-positivity of twinned lollipops. We also discover the first positive $e_I$-expansion for the chromatic symmetric function of kayak paddle graphs which are formed by connecting a vertex on a cycle and a vertex on another cycle with a path. This refines the $e$-positivity of kayak paddle graphs which was obtained by Aliniaeifard, Wang, and van Willigenburg.

In 1955, Greenwood and Gleason showed that the Ramsey number R(3, 3, 3) = 17 by constructing an edge-chromatic graph on 16 vertices in three colors with no triangles. Their technique employed finite fields. This same result was obtained later by using another technique. In this article, we examine the complete graph on 17 vertices, K17, which can be represented as a regular polygon of 17 sides with all its diagonals. We color each edge of K17 with one of the three colors, blue, red or yellow. The graph thus obtained is called complete trichromatic graph K17^(3) (the superscript determines the number of colors). A triangle contained in graph K17^(3) with edges colored with one and only one color is called monochromatic. It has been shown that for any coloring of the K17^(3) edges, K17^(3) contains at least one monochromatic triangle. This article examines the problem of determining the minimum number of monochromatic triangles with the same color contained in K17^(3).

We prove that $K_n+I$, the complete graph of an even order with a $1$-factor duplicated, admits a decomposition into $2$-factors, each a disjoint union of cycles of length $m \geq 5$ if and only if $m \mid n$, except possibly when $m$ is odd and $n=4m$. In addition, we show that $K_n+I$ admits a decomposition into $2$-factors, each a disjoint union of cycles of lengths $m_1, \ldots, m_t$, whenever $m_1, \ldots, m_t$ are all even.

Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes. Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.

We investigate the Dots and Boxes game, also known as ``Strings and Coins,'' for certain specific families of graphs. These include complete graphs, wheel graphs, and friendship graphs.

In 1992, Bitar and Goles introduced the parallel chip-firing game on undirected graphs. Two years later, Prisner extended the game to directed graphs. While the properties of parallel chip-firing games on undirected graphs have been extensively studied, their analogs for parallel chip-firing games on directed graphs have been sporadic. In this paper, we prove the outstanding analogs of the core results of parallel chip-firing games on undirected graphs for those on directed graphs. We find the possible periods of a parallel chip-firing game on a directed simple cycle and introduce the method of Gauss-Jordan elimination on a Laplacian-like matrix to establish a lower bound on the maximum period of a parallel chip-firing game on an orientation of an undirected complete graph and an undirected complete bipartite graph. Finally, we expand the method of motors by Jiang, Scully, and Zhang to directed graphs to show that a binary string $s$ can be the atomic firing sequence of a vertex in a parallel chip-firing game on a strongly connected directed graph if and only if $s$ contains $1$ or $s=0$.

An $\ell$-lift of a graph $G$ is any graph obtained by replacing every vertex of $G$ with an independent set of size $\ell$, and connecting every pair of two such independent sets that correspond to an edge in $G$ by a matching of size $\ell$. Graph lifts have found numerous interesting applications and connections to a variety of areas over the years. Of particular importance is the random graph model obtained by considering an $\ell$-lift of a graph sampled uniformly at random. This model was first introduced by Amit and Linial in 1999, and has been extensively investigated since. In this paper, we study the size of the largest topological clique in random lifts of complete graphs. In 2006, Drier and Linial raised the conjecture that almost all $\ell$-lifts of the complete graph on $n$ vertices contain a subdivision of a clique of order $Ω(n)$ as a subgraph provided $\ell$ is at least linear in $n$. We confirm their conjecture in a strong form by showing that for $\ell \ge (1+o(1))n$, one can almost surely find a subdivision of a clique of order $n$. We prove that this is tight by showing that for $\ell \le (1-o(1))n$, almost all $\ell$-lifts do not contain subdivisions of cliques of order $n$. Finally, for $2 \le \ell \ll n$, we show that almost all $\ell$-lifts of $K_n$ contain a subdivision of a clique on $(1-o(1))\sqrt{\frac{2n \ell}{1-1/\ell}}$ vertices and that this is tight up to the lower order term.

Given two graphs H and G, the size multipartite Ramsey number mj (H, G) is the smallest natural number t such that an arbitrary coloring of the edges of Kjt, complete multipartite graph whose vertex set is partitioned into j parts each of size t, using two colors red and blue, necessarily forces a red copy of H or a blue copy of G as a subgraph. The notion of size multipartite Ramsey number has been introduced by Burger and Vuuren in 2004. It is worth noting that, this concept is derived by using the idea of the original classical Ramsey number, multipartite Ramsey number and the size Ramsey number. In this paper, we focus on mj(H, G) and find a lower bound for mj (H, G) based on the chromatic number of H and the order of G. Also, for graphs G with large maximum degree, we obtain a tight lower bound for mj(Km, G). Furthermore, we determine the order of magnitude of mj(Km, K1,n), for j >= m >= 3 and n >= 2. Then we specify the exact values of mj(Km, K1,n) for the cases m = j, m = 3 and j = 0 or m-2 (mod m-2).

We show that every $n$-vertex planar graph is contained in the graph obtained from a fan by blowing up each vertex by a complete graph of order $O(\sqrt{n}\log^2 n)$. Equivalently, every $n$-vertex planar graph $G$ has a set $X$ of $O(\sqrt{n}\log^2 n)$ vertices such that $G-X$ has bandwidth $O(\sqrt{n}\log^2 n)$. We in fact prove the same result for any proper minor-closed class, and we prove more general results that explore the trade-off between $X$ and the bandwidth of $G-X$. The proofs use three key ingredients. The first is a new local sparsification lemma, which shows that every $n$-vertex planar graph $G$ has a set of $O((n\log n)/δ)$ vertices whose removal results in a graph with local density at most $δ$. The second is a generalization of a method of Feige and Rao that relates bandwidth and local density using volume-preserving Euclidean embeddings. The third ingredient is graph products, which are a key tool in the extension to any proper minor-closed class.

A Walecki tournament is any tournament that can be formed by choosing an orientation for each of the Hamilton cycles in the Walecki decomposition of a complete graph on an odd number of vertices. In this paper, we show that if some arc in a Walecki tournament on at least $7$ vertices lies in exactly one directed triangle, then there is a vertex of the tournament (the vertex typically labelled $*$ in the decomposition) that is fixed under every automorphism of the tournament. Furthermore, any isomorphism between such Walecki tournaments maps the vertex labelled $*$ in one to the vertex labelled $*$ in the other. We also show that among Walecki tournaments with a signature of even length $2k$, of the $2^{2k}$ possible signatures, at least $2^k$ produce tournaments that have an arc that lies in a unique directed triangle (and therefore to which our result applies).

We exhibit non-switching-isomorphic signed graphs that share a common underlying graph and common chromatic polynomials, thereby answering a question posed by Zaslavsky. For various joins of all-positive or all-negative signed complete graphs, we derive a closed-form expression for their chromatic polynomials. As a generalisation of the chromatic polynomials for a signed graph, we introduce a new pair of bivariate chromatic polynomials. We establish recursive dominating-vertex deletion formulae for these bivariate chromatic polynomials. Finally, we show that for certain families of signed threshold graphs, isomorphism is equivalent to the equality of bivariate chromatic polynomials.