arXiv++ Combinatorics

Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy of $G_i$ for at least on $i$. C. J. Jayawardene, E. T. Baskoro et al. $(2016)$ gave the size of M-R-numbe $m_j(nK_2, C_7)$ for $j \geq 2 $ and $n\leq 6$. Y. Rowshan et al. $(2021)$ gave the size of M-R-number $m_j(nK_2, C_7)$ for $j = 2,3, 4$ and $n\geq 2$. Y. Rowshan $(2021)$ gave the size of M-R-number $m_j(nK_2,C_7)$, for each $j\geq 5$ and $n\geq 2$. In this article we compute the size of M-R-number $m_j(C_3,C_3, nK_2)$ for each $j\geq 7$, $n\geq 1$, $m_j(C_3,C_3, n_1K_2,n_2K_,\ldots,n_iK_2)$ for each $2\leq j\leq 6$, $i\geq 2, n_i\geq 1$, and M-R-number $m_j(C_3,C_4, nK_2)$, for each $n\geq 1$, and small $j$.

In this paper we introduce a new class of partially filled arrays that, as Heffter arrays, are related to difference families, graph decompositions and biembeddings. A non-zero sum Heffter array $\mathrm{N}\mathrm{H}(m,n; h,k)$ is an $m \times n$ p. f. array with entries in $\mathbb{Z}_{2nk+1}$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in \mathbb{Z}_{2nk+1}\setminus\{0\}$, either $x$ or $-x$ appears in the array; the sum of the elements in every row and column is different from $0$ (in $\mathbb{Z}_{2nk+1}$). Here first we explain the connections with relative difference families and with path decompositions of the complete multipartite graph. Then we present a complete solution for the existence problem and a constructive complete solution for the square case and for the rectangular case with no empty cells when the additional, very restrictive, property of "globally simple" is required. Finally, we show how these arrays can be used to construct biembeddings of complete graphs.

We study perfect state transfer in Grover walks, which are typical discrete-time quantum walk models. In particular, we focus on states associated to vertices of a graph. We call such states vertex type states. Perfect state transfer between vertex type states can be studied via Chebyshev polynomials. We derive a necessary condition on eigenvalues of a graph for perfect state transfer between vertex type states to occur. In addition, we perfectly determine the complete multipartite graphs whose partite sets are the same size on which perfect state transfer occurs between vertex type states, together with the time.

Given $q$-uniform hypergraphs ($q$-graphs) $F,G$ and $H$, where $G$ is a spanning subgraph of $F$, $G$ is called weakly $H$-saturated in $F$ if the edges in $E(F)\setminus E(G)$ admit an ordering $e_1,\dots, e_k$ so that for all $i\in [k]$ the hypergraph $G\cup \{e_1,\dots,e_i\}$ contains an isomorphic copy of $H$ which in turn contains the edge $e_i$. The weak saturation number of $H$ in $F$ is the smallest size of an $H$-weakly saturated subgraph of $F$. Weak saturation was introduced by Bollobás in 1968, but despite decades of study our understanding of it is still limited. The main difficulty lies in proving lower bounds on weak saturation numbers, which typically withstands combinatorial methods and requires arguments of algebraic or geometrical nature. In our main contribution in this paper we determine exactly the weak saturation number of complete multipartite $q$-graphs in the directed setting, for any choice of parameters. This generalizes a theorem of Alon from 1985. Our proof combines the exterior algebra approach from the works of Kalai with the use of the colorful exterior algebra motivated by the recent work of Bulavka, Goodarzi and Tancer on the colorful fractional Helly theorem. In our second contribution answering a question of Kronenberg, Martins and Morrison, we establish a link between weak saturation numbers of bipartite graphs in the clique versus in a complete bipartite host graph. In a similar fashion we asymptotically determine the weak saturation number of any complete $q$-partite $q$-graph in the clique, generalizing another result of Kronenberg et al.

Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1$ and $G_2$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2)$ is the smallest integer $t$ such that any subgraph $G$ of the $K_{j\times t}$, either $G$ contains a copy of $G_1$ or its complement relative to $K_{j\times t}$ contains a copy of $G_2$. C. J. Jayawardene, E. T. Baskoro et al. $(2016)$ gave the size of M-R-numbe $m_j(nK_2, C_7)$ for $j \geq 2 $ and $n\leq 6$. Y. Rowshan et al. $(2021)$ gave the size of M-R-number $m_j(nK_2, C_7)$ for $j = 2,3, 4$ and $n\geq 2$. In this article we compute the size of M-R-number $m_j(nK_2,C_7)$, for each $j\geq 5$ and $n\geq 2$.

Let $\textbf{k} := (k_1,\ldots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\textbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\textbf{k})$ to denote the maximum of $F(G;\textbf{k})$ over all graphs $G$ on $n$ vertices. There are currently very few known exact (or asymptotic) results for this problem, posed by Erdős and Rothschild in 1974. We prove some new exact results for $n \to \infty$: (i) A sufficient condition on $\textbf{k}$ which guarantees that every extremal graph is a complete multipartite graph, which systematically recovers all existing exact results. (ii) Addressing the original question of Erdős and Rothschild, in the case $\textbf{k}=(3,\ldots,3)$ of length $7$, the unique extremal graph is the complete balanced $8$-partite graph, with colourings coming from Hadamard matrices of order $8$. (iii) In the case $\textbf{k}=(k+1,k)$, for which the sufficient condition in (i) does not hold, for $3 \leq k \leq 10$, the unique extremal graph is complete $k$-partite with one part of size less than $k$ and the other parts as equal in size as possible.

For a permutation group $G$ acting on a set $V$, a subset $I$ of $G$ is said to be an intersecting set if for every pair of elements $g,h\in I$ 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 $|I|/|G_v|$ where $G_v$ is a stabilizer of a point $v\in V$ and $I$ runs over all intersecting sets in $G$. If $G_v$ is the largest intersecting set in $G$ then $G$ is said to have the Erdős-Ko-Rado (EKR)-property, and moreover, $G$ has the strict-EKR-property if every intersecting set of maximum size in $G$ is a coset of a point stabilizer. Intersecting sets in $G$ coincide with independent sets in the so-called derangement graph $Γ_G$, defined as the Cayley graph on $G$ with connection set consisting of all derangements, that is, fixed-point free elements of $G$. In this paper a conjecture regarding the existence of transitive permutation groups whose derangement graphs are complete multipartite graphs, posed by Meagher, Razafimahatratra and Spiga in [J.Combin. Theory Ser. A 180 (2021), 105390], is proved. The proof uses direct product of groups. Questions regarding maximum intersecting sets in direct and wreath products of groups and the (strict)-EKR-property of these group products are also investigated. In addition, some errors appearing in the literature on this topic are corrected.

A subset $S$ of vertices of a connected graph $G$ is a distance-equalizer set if for every two distinct vertices $x, y \in V (G) \setminus S$ there is a vertex $w \in S$ such that the distances from $x$ and $y$ to $w$ are the same. The equidistant dimension of $G$ is the minimum cardinality of a distance-equalizer set of G. This paper is devoted to introduce this parameter and explore its properties and applications to other mathematical problems, not necessarily in the context of graph theory. Concretely, we first establish some bounds concerning the order, the maximum degree, the clique number, and the independence number, and characterize all graphs attaining some extremal values. We then study the equidistant dimension of several families of graphs (complete and complete multipartite graphs, bistars, paths, cycles, and Johnson graphs), proving that, in the case of paths and cycles, this parameter is related with 3-AP-free sets. Subsequently, we show the usefulness of distance-equalizer sets for constructing doubly resolving sets.

The hat guessing number $HG(G)$ of a graph $G$ on $n$ vertices is defined in terms of the following game: $n$ players are placed on the $n$ vertices of $G$, each wearing a hat whose color is arbitrarily chosen from a set of $q$ possible colors. Each player can see the hat colors of his neighbors, but not his own hat color. All of the players are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. The hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ possible colors. In this note we construct a planar graph $G$ satisfying $HG(G)=12$, settling a problem raised in \cite{BDFGM}. We also improve the known lower bound of $(2-o(1))\log_2 n$ for the typical hat guessing number of the random graph $G=G(n,1/2)$, showing that it is at least $n^{1-o(1)}$ with probability tending to $1$ as $n$ tends to infinity. Finally, we consider the linear hat guessing number of complete multipartite graphs.

The eccentricity matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix of $G$ by retaining the largest distances in each row and each column, and leaving zeros in the remaining ones. The eccentricity energy of $G$ is sum of the absolute values of the eigenvalues of $\varepsilon(G)$. Although the eccentricity matrices of graphs are closely related to the distance matrices of graphs, a number of properties of eccentricity matrices are substantially different from those of the distance matrices. The change in eccentricity energy of a graph due to an edge deletion is one such property. In this article, we give examples of graphs for which the eccentricity energy increase (resp., decrease) but the distance energy decrease (resp., increase) due to an edge deletion. Also, we prove that the eccentricity energy of the complete $k$-partite graph $K_{n_1,\hdots,n_k}$ with $k\geq 2$ and $ n_i\geq 2$, increases due to an edge deletion.

Let $G$ be a graph. For a subset $X$ of $V(G)$, the switching $σ$ of $G$ is the signed graph $G^σ$ obtained from $G$ by reversing the signs of all edges between $X$ and $V(G)\setminus X$. Let $A(G^σ)$ be the adjacency matrix of $G^σ$. An eigenvalue of $A(G^σ)$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. Let $S_{n,k}$ be the graph obtained from the complete graph $K_{n-r}$ by attaching $r$ pendent edges at some vertex of $K_{n-r}$. In this paper we prove that there exists a switching $σ$ such that all eigenvalues of $G^σ$ are main when $G$ is a complete multipartite graph, or $G$ is a harmonic tree, or $G$ is $S_{n,k}$. These results partly confirm a conjecture of Akbari et al.

For a finite simple graph $G$, say $G$ is of dimension $n$, and write $\dim(G) = n$, if $n$ is the smallest integer such that $G$ can be represented as a unit-distance graph in $\mathbb{R}^n$. Define $G$ to be \emph{dimension-critical} if every proper subgraph of $G$ has dimension less than $G$. In this article, we determine exactly which complete multipartite graphs are dimension-critical. It is then shown that for each $n \geq 2$, there is an arbitrarily large dimension-critical graph $G$ with $\dim(G) = n$. We then pose and expound upon a number of questions related to this subject matter, questions that hopefully will prompt future research.

To every finite metric space $X$, including all connected unweighted graphs with the minimum edge-distance metric, we attach an invariant that we call its blowup-polynomial $p_X(\{ n_x : x \in X \})$. This is obtained from the blowup $X[{\bf n}]$ - which contains $n_x$ copies of each point $x$ - by computing the determinant of the distance matrix of $X[{\bf n}]$ and removing an exponential factor. We prove that as a function of the sizes $n_x$, $p_X({\bf n})$ is a polynomial, is multi-affine, and is real-stable. This naturally associates a hitherto unstudied delta-matroid to each metric space $X$; we produce another novel delta-matroid for each tree, which interestingly does not generalize to all graphs. We next specialize to the case of $X = G$ a connected unweighted graph - so $p_G$ is "partially symmetric" in $\{ n_v : v \in V(G) \}$ - and show three further results: (a) We show that the polynomial $p_G$ is indeed a graph invariant, in that $p_G$ and its symmetries recover the graph $G$ and its isometries, respectively. (b) We show that the univariate specialization $u_G(x) := p_G(x,\dots,x)$ is a transform of the characteristic polynomial of the distance matrix $D_G$; this connects the blowup-polynomial of $G$ to the well-studied "distance spectrum" of $G$. (c) We obtain a novel characterization of complete multipartite graphs, as precisely those for which the "homogenization at $-1$" of $p_G({\bf n})$ is real-stable (equivalently, Lorentzian, or strongly/completely log-concave), if and only if the normalization of $p_G(-{\bf n})$ is strongly Rayleigh.

Given a sequence $\mathbf{k} := (k_1,\ldots,k_s)$ of natural numbers and a graph $G$, let $F(G;\mathbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\mathbf{k})$ to denote the maximum of $F(G;\mathbf{k})$ over all graphs $G$ on $n$ vertices. This problem was first considered by Erdős and Rothschild in 1974, but it has been solved only for a very small number of non-trivial cases. In previous work with Yilma, we constructed a finite optimisation problem whose maximum is equal to the limit of $\log_2 F(n;\mathbf{k})/{n\choose 2}$ as $n$ tends to infinity and proved a stability theorem for complete multipartite graphs $G$. In this paper we provide a sufficient condition on $\mathbf{k}$ which guarantees a general stability theorem for any graph $G$, describing the asymptotic structure of $G$ on $n$ vertices with $F(G;\mathbf{k}) = F(n;\mathbf{k}) \cdot 2^{o(n^2)}$ in terms of solutions to the optimisation problem. We apply our theorem to systematically recover existing stability results as well as all cases with $s=2$. The proof uses a novel version of symmetrisation on edge-coloured weighted multigraphs.

Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite graph with at least three parts. We determine exactly the value of $D_2^2(G)$ for all complete tripartite graphs $G$, and almost all complete multipartite graphs with more than three parts.

We prove that the set of all paths of a fixed length in a complete multipartite graph is the bases of a matroid. Moreover, we discuss the Cohen-Macaulayness and depth of powers of $t$-path ideals of a complete multipartite graph.

A graph is a cograph if it does not contain a 4-vertex path as an induced subgraph. An $(s, k)$-polar partition of a graph $G$ is a partition $(A, B)$ of its vertex set such that $A$ induces a complete multipartite graph with at most $s$ parts, and $B$ induces the disjoint union of at most $k$ cliques with no other edges. A graph $G$ is said to be $(s, k)$-polar if it admits an $(s, k)$-polar partition. The concepts of $(s, \infty)$-, $(\infty, k)$-, and $(\infty, \infty)$-polar graphs can be analogously defined. Ekim, Mahadev and de Werra pioneered in the research on polar cographs, obtaining forbidden induced subgraph characterizations for $(\infty, \infty)$-polar cographs, as well as for the union of $(\infty, 1)$- and $(1, \infty)$-polar cographs. Recently, a recursive procedure for generating the list of cograph minimal $(s,1)$-polar obstructions for any fixed integer $s$ was found, as well as the complete list of $(\infty, 1)$-polar obstructions. In addition to these results, complete lists of minimal $(s, k)$-polar cograph obstructions are known only for the pair $(2, 2)$. In this work we are concerned with the problem of characterizing $(\infty, k)$-polar cographs for a fixed $k$ through a finite family of forbidden induced subgraphs. As our main result, we provide complete lists of forbidden induced subgraphs for the cases $k=2$ and $k=3$. Additionally, we provide a partial recursive construction for the general case. By considering graph complements, these results extend to $(s, \infty)$-polar cographs.

Let $k,l$ be nonnegative integers. A graph $G$ is $(k,l)$-polar if its vertex set admits a partition $(A,B)$ such that $A$ induces a complete multipartite graph with at most $k$ parts, and $B$ induces a disjoint union of at most $l$ cliques with no other edges. A graph is a cograph if it does not contain $P_4$ as an induced subgraph. It is known that $(k,l)$-polar cographs can be characterized through a finite family of forbidden induced subgraphs, for any fixed choice of $k$ and $l$. The problem of determining the exact members of such family for $k = 2 = l$ was posted by Ekim, Mahadev and de Werra, and recently solved by Hell, Linhares-Sales and the second author of this paper. So far, complete lists of such forbidden induced subgraphs are known for $0 \le k,l \le 2$; notice that, in particular, $(1,1)$-polar graphs are precisely split graphs. In this paper, we focus on this problem for $(s,1)$-polar cographs. As our main result, we provide a recursive complete characterization of the forbidden induced subgraphs for $(s,1)$-polar cographs, for every non negative integer $s$. Additionally, we show that cographs having an $(s,1)$-partition for some integer $s$ (here $s$ is not fixed) can be characterized by forbidding a family of four graphs.

The classification of complete multipartite graphs whose edge rings are nearly Gorenstein as well as that of finite perfect graphs whose stable set rings are nearly Gorenstein is achieved.

PQ-type adjacency polytopes $\nabla^{\rm PQ}_G$ are lattice polytopes arising from finite graphs $G$. There is a connection between $\nabla^{\rm PQ}_G$ and the engineering problem known as power-flow study, which models the balance of electric power on a network of power generation. In particular, the normalized volume of $\nabla^{\rm PQ}_G$ plays a central role. In the present paper, we focus the case where $G$ is a join graph. In fact, formulas of the $h^*$-polynomial and the normalized volume of $\nabla^{\rm PQ}_G$ of a join graph $G$ are presented. Moreover, we give explicit formulas of the $h^*$-polynomial and the normalized volume of $\nabla^{\rm PQ}_G$ when $G$ is a complete multipartite graph or a wheel graph.