arXiv++ Combinatorics

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.

The anti-adjacency matrix of a graph is constructed from the distance matrix of a graph by keeping each row and each column only the largest distances. This matrix can be interpreted as the opposite of the adjacency matrix, which is instead constructed from the distance matrix of a graph by keeping in each row and each column only the distances equal to 1. The (anti-)adjacency eigenvalues of a graph are those of its (anti-)adjacency matrix. Employing a novel technique introduced by Haemers [Spectral characterization of mixed extensions of small graphs, Discrete Math. 342 (2019) 2760--2764], we characterize all connected graphs with exactly one positive anti-adjacency eigenvalue, which is an analog of Smith's classical result that a connected graph with exactly one positive adjacency eigenvalue iff it is a complete multipartite graph. On this basis, we identify the connected graphs with all but at most two anti-adjacency eigenvalues equal to $-2$ and $0$. Moreover, for the anti-adjacency matrix we determine the HL-index of graphs with exactly one positive anti-adjacency eigenvalue, where the HL-index measures how large in absolute value may be the median eigenvalues of a graph. We finally propose some problems for further study.

We introduce the notion of a properly ordered coloring (POC) of a weighted graph, that generalizes the notion of vertex coloring of a graph. Under a POC, if $xy$ is an edge, then the larger weighted vertex receives a larger color; in the case of equal weights of $x$ and $y$, their colors must be different. In this paper, we shall initiate the study of this special coloring in graphs. For a graph $G$, we introduce the function $f(G)$ which gives the maximum number of colors required by a POC over all weightings of $G$. We show that $f(G)=\ell(G)$, where $\ell(G)$ is the number of vertices of a longest path in $G$. Another function we introduce is $χ_{POC}(G;t)$ giving the minimum number of colors required over all weightings of $G$ using $t$ distinct weights. We show that the ratio of $χ_{POC}(G;t)-1$ to $χ(G)-1$ can be bounded by $t$ for any graph $G$; in fact, the result is shown by determining $χ_{POC}(G;t)$ when $G$ is a complete multipartite graph. We also determine the minimum number of colors to give a POC on a vertex-weighted graph in terms of the number of vertices of a longest directed path in an orientation of the underlying graph. This extends the so called Gallai-Hasse-Roy-Vitaver theorem, a classical result concerning the relationship between the chromatic number of a graph $G$ and the number of vertices of a longest directed path in an orientation of $G$.

In this paper, we attach several new invariants to connected strongly regular graphs (excepting conference graphs on non-square number of vertices) : one invariant called the discriminant, and a p-adic invariant corresponding to each prime number p. We prove parametric restrictions on quasi-symmetric 2-designs with a given connected block graph $G$ and a given defect (absolute difference of the two intersection numbers) solely in terms of the defect and the parameters of $G$, including these new invariants. This is a natural analogue of Schutzenberger's Theorem and the Shrikhande-Chowla-Ryser theorem. This theorem is effective when these graph invariants can be explicitly computed. We do this for complete multipartite graphs, co-triangular graphs, symplectic non-orthogonality graphs (over the field of order $2$) and the Steiner graphs, yielding explicit restrictions on the parameters of quasi-symmetric 2-designs whose block graphs belong to any of these four classes.

Levelness and almost Gorensteinness are well-studied properties on graded rings as a generalized notion of Gorensteinness. In the present paper, we study those properties for the edge rings of the complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$ with $1 \leq r_1 \leq \cdots \leq r_n$. We give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is level in terms of $n$ and $r_1,\ldots,r_n$. Similarly, we also give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is almost Gorenstein in terms of $n$ and $r_1,\ldots,r_n$.

For given graphs $G_1, G_2,\ldots, G_n$ and any integer $j$, the size of the multipartite Ramsey number $m_j(G_1, G_2,\ldots, G_n)$ is the smallest positive integer $t$ such that any $n$-coloring of the edges of $K_{j\times t}$ contains a monochromatic copy of $G_i$ in color $i$ for some $i$, $1 \leq i \leq n$, where $K_{j\times t}$ denotes the complete multipartite graph having $j$ classes with $t$ vertices per each class. In this paper we compute the size of the multipartite Ramsey number $m_j(K_{1,2}, P_4, nK_2)$ for any $j,n\geq 2$ and $m_j(nK_2,C_7)$, for any $j\leq4$ and $n\geq 2$.

A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of domination sets of each cardinality in $G$, and its coefficients have been conjectured to be unimodal. In this paper we will show the domination polynomial of paths, cycles and complete multipartite graphs are unimodal, and that the domination polynomial of almost every graph is unimodal with mode $ \lceil \frac{n}{2}\rceil $.

Let $G = K_{n_1,n_2,\cdots,n_t}$ be a complete $t$-partite graph on $n=\sum_{i=1}^t n_i$ vertices. The distance between vertices $i$ and $j$ in $G$, denoted by $d_{ij}$ is defined to be the length of the shortest path between $i$ and $j$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. We define the squared distance energy $E_Δ(G)$ of $G$ to be the sum of the absolute values of its eigenvalues. We determine the inertia of $Δ(G)$ and compute the squared distance energy $E_Δ(G)$. More precisely, we prove that if $n_i \geq 2$ for $1\leq i \leq t$, then $ E_Δ(G)=8(n-t)$ and if $ h= |\{i : n_i=1\}|\geq 1$, then $$ 8(n-t)+2(h-1) \leq E_Δ(G) < 8(n-t)+2h.$$ Furthermore, we show that for a fixed value of $n$ and $t$, both the spectral radius of the squared distance matrix and the squared distance energy of complete $t$-partite graphs on $n$ vertices are maximal for complete split graph $S_{n,t}$ and minimal for Tur{á}n graph $T_{n,t}$.