arXiv++ Combinatorics

A graph is said to be globally rigid if almost all embeddings of the graph's vertices in the Euclidean plane will define a system of edge-length equations with a unique (up to isometry) solution. In 2007, Jackson, Servatius and Servatius characterised exactly which vertex-transitive graphs are globally rigid solely by their degree and maximal clique number, two easily computable parameters for vertex-transitive graphs. In this short note we will extend this characterisation to all graphs that are determined by their automorphism group. We do this by characterising exactly which edge-transitive graphs and distance-regular graphs are globally rigid by their minimal and maximal degrees.

Pyramidal tours with step-backs are Hamiltonian tours of a special kind: the salesperson starts in city 1, then visits some cities in ascending order, reaches city $n$, and returns to city 1 visiting the remaining cities in descending order. However, in the ascending and descending direction, the order of neighboring cities can be inverted (a step-back). It is known that on pyramidal tours with step-backs the traveling salesperson problem can be solved by dynamic programming in polynomial time. We define the polytope of pyramidal tours with step-backs $\operatorname{PSB}(n)$ as the convex hull of the characteristic vectors of all possible pyramidal tours with step-backs in a complete directed graph. The 1-skeleton of $\operatorname{PSB}(n)$ is the graph whose vertex set is the vertex set of the polytope, and the edge set is the set of geometric edges or one-dimensional faces of the polytope. We present a linear-time algorithm to verify vertex adjacencies in 1-skeleton of the polytope $\operatorname{PSB}(n)$ and estimate the diameter and the clique number of 1-skeleton: the diameter is bounded above by 4 and the clique number grows quadratically in the parameter $n$.

Extending the idea from the recent paper by Carbonero, Hompe, Moore, and Spirkl, for every function $f\colon\mathbb{N}\to\mathbb{N}\cup\{\infty\}$ with $f(1)=1$ and $f(n)\geq\binom{3n+1}{3}$, we construct a hereditary class of graphs $\mathcal{G}$ such that the maximum chromatic number of a graph in $\mathcal{G}$ with clique number $n$ is equal to $f(n)$ for every $n\in\mathbb{N}$. In particular, we prove that there exist hereditary classes of graphs that are $χ$-bounded but not polynomially $χ$-bounded.

We prove that for every $n$, there is a graph $G$ with $χ(G) \geq n$ and $ω(G) \leq 3$ such that every induced subgraph $H$ of $G$ with $ω(H) \leq 2$ satisfies $χ(H) \leq 4$. This disproves a well-known conjecture. Our construction is a digraph with bounded clique number, large dichromatic number, and no induced directed cycles of odd length at least 5.

In this paper we show that every graph of pathwidth less than $k$ that has a path of order $n$ also has an induced path of order at least $\frac{1}{3} n^{1/k}$. This is an exponential improvement and a generalization of the polylogarithmic bounds obtained by Esperet, Lemoine and Maffray (2016) for interval graphs of bounded clique number. We complement this result with an upper-bound. This result is then used to prove the two following generalizations: - every graph of treewidth less than $k$ that has a path of order $n$ contains an induced path of order at least $\frac{1}{4} (\log n)^{1/k}$; - for every non-trivial graph class that is closed under topological minors there is a constant $d \in (0,1)$ such that every graph from this class that has a path of order $n$ contains an induced path of order at least $(\log n)^d$. We also describe consequences of these results beyond graph classes that are closed under topological minors.

In this paper, we give a criterion of the nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ with connected components $G^{(1)}, \ldots, G^{(\ell)}$ is nearly Gorenstein if and only if (1) for each $i$, the Ehrhart ring of the stable set polytope of $G^{(i)}$ is Gorenstein and (2) $|ω(G^{(i)})-ω(G^{(j)})|\leq 1$ for any $i$ and $j$, where $ω(G^{(i)})$ is the clique number of $G^{(i)}$. We also show that the Segre product of Cohen-Macaulay graded rings with linear non-zerodivisor which are Gorenstein on the punctured spectrum is also Gorenstein on the punctured spectrum if all but one rings are standard graded.

The left-ideal relation graph on a ring $R$, denoted by $\overrightarrow{Γ_{l-i}}(R)$, is a directed graph whose vertex set is all the elements of $R$ and there is a directed edge from $x$ to a distinct $y$ if and only if the left ideal generated by $x$, written as $[x]$, is properly contained in the left ideal generated by $y$. In this paper, the automorphisms of $\overrightarrow{Γ_{l-i}}(R)$ are characterized, where $R$ is the ring of all $n \times n$ matrices over a finite field $F_q$. The undirected left relation graph, denoted by $Γ_{l-i}(M_n(F_q))$, is the simple graph whose vertices are all the elements of $R$ and two distinct vertices $x, y$ are adjacent if and only if either $[x] \subset [y]$ or $[y] \subset [x]$ is considered. Various graph theoretic properties of $Γ_{l-i}(M_n(F_q))$ including connectedness, girth, clique number, etc. are studied.

The intersection ideal graph $Γ(S)$ of a semigroup $S$ is a simple undirected graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if their intersection is nontrivial. In this paper, we investigate the connectedness of $Γ(S)$. We show that if $Γ(S)$ is connected then $diam(Γ(S)) \leq 2$. Further we classify the semigroups such that the diameter of their intersection graph is two. Other graph invariants, namely perfectness, planarity, girth, dominance number, clique number, independence number etc. are also discussed. Finally, if $S$ is union of $n$ minimal left ideals then we obtain the automorphism group of $Γ(S)$.

The {\em disjointness graph} of a set system is a graph whose vertices are the sets, two being connected by an edge if and only if they are disjoint. It is known that the disjointness graph $G$ of any system of segments in the plane is {\em $χ$-bounded}, that is, its chromatic number $χ(G)$ is upper bounded by a function of its clique number $ω(G)$. Here we show that this statement does not remain true for systems of polygonal chains of length $2$. We also construct systems of polygonal chains of length $3$ such that their disjointness graphs have arbitrarily large girth and chromatic number. In the opposite direction, we show that the class of disjointness graphs of (possibly self-intersecting) \emph{$2$-way infinite} polygonal chains of length $3$ is $χ$-bounded: for every such graph $G$, we have $χ(G)\le(ω(G))^3+ω(G).$

A $c$-crossing-critical graph is one that has crossing number at least $c$ but each of its proper subgraphs has crossing number less than $c$. Recently, a set of explicit construction rules was identified by Bokal, Oporowski, Richter, and Salazar to generate all large $2$-crossing-critical graphs (i.e., all apart from a finite set of small sporadic graphs). They share the property of containing a generalized Wagner graph $V_{10}$ as a subdivision. In this paper, we study these graphs and establish their order, simple crossing number, edge cover number, clique number, maximum degree, chromatic number, chromatic index, and treewidth. We also show that the graphs are linear-time recognizable and that all our proofs lead to efficient algorithms for the above measures.

In this paper we introduce the graph $Γ_{sc}(G)$ associated with a group $G$, called the solvable conjugacy class graph (abbreviated as SCC-graph), whose vertices are the nontrivial conjugacy classes of $G$ and two distinct conjugacy classes $C, D$ are adjacent if there exist $x \in C$ and $y \in D$ such that $\langle x, y\rangle$ is solvable. We discuss the connectivity, girth, clique number, and several other properties of the SCC-graph. One of our results asserts that there are only finitely many finite groups whose SCC-graph has given clique number~$d$, and we find explicitly the list of such groups with $d=2$.

Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups. We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number. The paper ends with some open problems and suggestions for further work.

A graph $G$ is said to satisfy the Vizing bound if $χ(G)\leq ω(G)+1$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. It was conjectured by Randerath in 1998 that if $G$ is a triangle-free and fork-free graph, where the fork (also known as trident) is obtained from $K_{1,4}$ by subdividing two edges, then $G$ satisfies the Vizing bound. In this paper, we confirm this conjecture.

Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $Γ_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where $H=pG$ for some prime number $p$. In this paper we present their structure and a detailed analysis of their properties. We also consider the simpler graph $Γ^+_{G,H}$, which we refer to as the \emph{extended subgroup sum graph}, in which $x$ and $y$ are joined if $x+y\in H$: the subgroup sum is obtained by removing from this graph the partial matching of edges having the form $\{x,-x\}$ when $2x\ne0$. We study perfectness, clique number and independence number, connectedness, diameter, spectrum, and domination number of these graphs and their complements. We interpret our general results in detail in the prime sum graphs.

In 2020, we initiated a systematic study of graph classes in which the treewidth can only be large due to the presence of a large clique, which we call $(\mathrm{tw},ω)$-bounded. While $(\mathrm{tw},ω)$-bounded graph classes are known to enjoy some good algorithmic properties related to clique and coloring problems, it is an interesting open problem whether $(\mathrm{tw},ω)$-boundedness also has useful algorithmic implications for problems related to independent sets. We provide a partial answer to this question by means of a new min-max graph invariant related to tree decompositions. We define the independence number of a tree decomposition $\mathcal{T}$ of a graph as the maximum independence number over all subgraphs of $G$ induced by some bag of $\mathcal{T}$. The tree-independence number of a graph $G$ is then defined as the minimum independence number over all tree decompositions of $G$. Generalizing a result on chordal graphs due to Cameron and Hell from 2006, we show that if a graph is given together with a tree decomposition with bounded independence number, then the Maximum Weight Independent Packing problem can be solved in polynomial time. Applications of our general algorithmic result to specific graph classes will be given in the third paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure].

The inclusion ideal graph $\mathcal{I}n(S)$ of a semigroup $S$ is an undirected simple graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if either $I \subset J$ or $J \subset I$. The purpose of this paper is to study algebraic properties of the semigroup $S$ as well as graph theoretic properties of $\mathcal{I}n(S)$. In this paper, we investigate the connectedness of $\mathcal{I}n(S)$. We show that diameter of $\mathcal{I}n(S)$ is at most $3$ if it is connected. We also obtain a necessary and sufficient condition of $S$ such that the clique number of $\mathcal{I}n(S)$ is $n$, where $n$ is the number of minimal left ideals of $S$. Further, various graph invariants of $\mathcal{I}n(S)$ viz. perfectness, planarity, girth etc. are discussed. For a completely simple semigroup $S$, we investigate various properties of $\mathcal{I}n(S)$ including its independence number and matching number. Finally, we obtain the automorphism group of $\mathcal{I}n(S)$.

We present an algebraic characterization of perfect graphs, i.e., graphs for which the clique number and the chromatic number coincide for every induced subgraph. We show that a graph is perfect if and only if certain nonnegative polynomials associated with the graph are sums of squares. As a byproduct, we obtain several infinite families of nonnegative polynomials that are not sums of squares through graph-theoretic constructions. We also characterize graphs for which the associated polynomials belong to certain structured subsets of sum of squares polynomials. Finally, we reformulate some well-known results from the theory of perfect graphs as statements about sum of squares proofs of nonnegativity of certain polynomials.

Blokhuis showed that all maximum cliques in Paley graphs of square order have a subfield structure. Recently, it has been shown that in Peisert-type graphs, all maximum cliques are affine subspaces, and yet some maximum cliques do not arise from a subfield. In this paper, we investigate the existence of a clique of size $\sqrt{q}$ with a subspace structure in pseudo-Paley graphs of order $q$ from unions of semi-primitive cyclotomic classes. We show that such a clique must have an equal contribution from each cyclotomic class and that most such pseudo-Paley graphs do not admit such cliques, suggesting that the Delsarte bound $\sqrt{q}$ on the clique number can be improved in general. We also prove that generalized Peisert graphs are not isomorphic to Paley graphs or Peisert graphs, confirming a conjecture of Mullin.

A graph G is H-free if it has no induced subgraph isomorphic to H. We prove that a $P_5$-free graph with clique number $ω\ge 3$ has chromatic number at most $ω^{\log_2(ω)}$. The best previous result was an exponential upper bound $(5/27)3^ω$, due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdos-Hajnal conjecture holds for $P_5$, which is the smallest open case. Thus there is great interest in whether there is a polynomial bound for $P_5$-free graphs, and our result is an attempt to approach that.

A double star is a tree with two internal vertices. It is known that the Gyárfás-Sumner conjecture holds for double stars, that is, for every double star $H$, there is a function $f$ such that if $G$ does not contain $H$ as an induced subgraph then $χ(G)\le f(ω(G))$ (where $χ, ω$ are the chromatic number and the clique number of $G$). Here we prove that $f$ can be chosen to be a polynomial.