arXiv++ Combinatorics

Albertson conjectured that every graph with chromatic number $r$ has crossing number at least the crossing number of the complete graph $K_r$. This conjecture was proved for $r\le 12$ by Albertson, Cranston, and Fox; for $r\le 16$ by Barát and Tóth; and for $r\le 18$ by Ackerman. Here we verify it for $r\le 24$; we also greatly restrict the possibilities for counterexamples when $r\in\{25,26\}$. In addition, we strengthen earlier work bounding the order of a minimum counterexample for each choice of $r$: we exclude the possibility that $|G|\ge 2.82r$ and exclude the possibility that $1.228r\le |G|\le 1.768r$. Finally, as $r$ grows, we extend the lower end of this range of excluded orders for a minimum counterexample. In particular: if $r\ge 125{,}000$, then we exclude the possibility that $1.10r\le |G|\le 1.768r$; and if $r\ge 825{,}000$, then we exclude the possibility that $1.05r\le |G|\le 1.768r$.

For a positive integer $k$, the \emph{ total $k$-cut complex} of a graph $G$, denoted as $Δ_k^t(G)$, is the simplicial complex whose facets are $σ\subseteq V(G)$ such that $|σ| = |V(G)|-k$ and the induced subgraph $G[V(G) \setminus σ]$ does not contain any edge. These complexes were introduced by Bayer et al.\ in \cite{Bayer2024TotalCutcomplex} in connection with commutative algebra. In the same paper, they studied the homotopy types of these complexes for various families of graphs, including cycle graphs $C_n$, squared cycle graphs $C_n^2$, and Cartesian products of complete graphs and path graphs $K_m \square P_2$ and $K_2 \square P_n$. In this article, we extend the work of Bayer et al.\ for these families of graphs. We focus on the complexes $Δ_2^t(G)$ and determine the homotopy types of these complexes for three classes of graphs: (i) $p$-th powers of cycle graphs $C_n^p$ (ii) $K_m \square P_n$ and (iii) $K_m \square C_n$. Using discrete Morse theory, we show that these complexes are homotopy equivalent to wedges of spheres. We also give the number and dimension of spheres appearing in the homotopy type. Our result on powers of cycle graphs $C_n^p$ proves a conjecture of Shen et al.\ about the homotopy type of the complexes $Δ_2^t(C_n^p)$.

Networks are often modeled using graphs, and within this setting we introduce the notion of $k$-fault-tolerant mutual visibility. Informally, a set of vertices $X \subseteq V(G)$ in a graph $G$ is a $k$-fault-tolerant mutual-visibility set ($k$-ftmv set) if any two vertices in $X$ are connected by a bundle of $k+1$ shortest paths such that: ($i$) each shortest path contains no other vertex of $X$, and ($ii$) these paths are internally disjoint. The cardinality of a largest $k$-ftmv set is denoted by $\mathrm{f}μ^{k}(G)$. The classical notion of mutual visibility corresponds to the case $k = 0$. This generalized concept is motivated by applications in communication networks, where agents located at vertices must communicate both efficiently (i.e., via shortest paths) and confidentially (i.e., without messages passing through the location of any other agent). The original notion of mutual visibility may fail in unreliable networks, where vertices or links can become unavailable. Several properties of $k$-ftmv sets are established, including a natural relationship between $\mathrm{f}μ^{k}(G)$ and $ω(G)$, as well as a characterization of graphs for which $\mathrm{f}μ^{k}(G)$ is large. It is shown that computing $\mathrm{f}μ^{k}(G)$ is NP-hard for any positive integer $k$, whether $k$ is fixed or not. Exact formulae for $\mathrm{f}μ^{k}(G)$ are derived for several specific graph topologies, including grid-like networks such as cylinders and tori, and for diameter-two networks defined by Hamming graphs and by the direct product of complete graphs.

In 2023, Defant introduced toric promotion as a cyclic analogue of Schützenberger's well known promotion operator. Toric promotion is defined by a choice of simple graph $G$ and acts on the labeling of $G$ by a series of involutions. Defant described the orbit length of toric promotion on trees and showed that it does not depend on the initial labeling; we prove an analogous result for complete graphs. A natural question is how toric promotion behaves under certain graph operations. In the main results of this article, we analyze the orbits of toric promotion under the bridge sum graph operation, which joins two graphs by adding an edge between a vertex of each graph. We show that the orbit length of toric promotion on any graph constructed via a bridge sum of a tree or a complete graph with a simple graph does not depend on the restriction of the initial labeling to the tree or complete subgraph. Additionally, we describe the orbit lengths of toric promotion on the bridge sums of two complete graphs and the bridge sums of a tree with a complete graph, and show that they do not depend on the initial labeling. Finally, we describe the orbit length of toric promotion on the corona product of a complete graph with any tree, and show that it does not depend on the initial labeling.

An edge subset \( S \subseteq E(G) \) is called a 3-restricted edge-cut if \( G - S \) is disconnected and each component of \( G - S \) contains at least three vertices. The 3-restricted edge-connectivity of a graph \( G \), denoted by \( λ_3(G) \), is defined as the minimum cardinality among all 3-restricted edge-cuts if there are at least one; otherwise, \( λ_3(G) = +\infty \). It is proved that $λ_3(G)\leqξ_3(G)$ if $G$ has a 3-restricted edge-cut, where $ξ_3(G) = \min \left\{ |[X, V(G) \setminus X]_G|:|X| = 3 \text{ and } G[X] \text{ is connected} \right\}.$ If \( λ_3(G) = ξ_3(G) \), then \( G \) is said to be maximally 3-restricted edge-connected. The direct product of two graphs $G$ and $H$, denoted by $G \times H$, is defined as the graph with vertex set \( V(G \times H) = V(G) \times V(H) \), where two vertices \( (u_1, v_1) \) and \( (u_2, v_2) \) are adjacent in \( G \times H \) if and only if \( u_1u_2 \in E(G) \) and \( v_1v_2 \in E(H) \). In this paper, we determine, for a regular connected graph \( G\), the 3-restricted edge-connectivity of \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \), where \( C_n \), \( K_n \) and \( T_n \) are the cycle, the complete graph and the total graph with \( n \) vertices, respectively. As corollaries, we establish sufficient conditions for the direct product graphs \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \) to be maximally 3-restricted edge-connected.

We investigate the multisigns of Hamiltonian circles in the multisigned complete graph \(Σ_n := (K_n, σ, \mathbb{F}_2^m)\). The \emph{multisign} of a circle \(C\) is defined as the sum \[ σ(C) := \sum_{e \in E(C)} σ(e). \] For a fixed \(m\) and sufficiently large \(n\), we show that the set of multisigns of Hamiltonian circles \[ \{σ(H) : H \text{ is a Hamiltonian circle of } Σ_n)\} \] forms either a subspace, an affine subspace, or the entire space \(\mathbb{F}_2^m\), except in certain exceptional cases.

Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, $\uend(G)$ is the corresponding undirected simple graph. The automorphism graph of $G$ is similarly defined for automorphisms: it is a disjoint union of complete graphs on the orbits of $\Aut(G)$. The endomorphism digraph is a special case of a digraph associated with a transformation monoid, and we begin by introducing this. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on, as well as computing these graphs for some special groups. We conclude with examples showing that things are not always simple.

The HVN is a graph formed by removing two edges incident to the same vertex from the complete graph $K_5$. In this paper, we prove that every ($P_2\cup P_4$, HVN)-free graph $G$ satisfies $χ(G)\leq\lceil\frac{4}{3}ω(G)\rceil$ when $ω(G)\ge4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. Furthermore, this bound is optimal for every $ω(G)\ge4$. Constructions demonstrating the optimality of the bound are provided. Our work unifies several previously known results on $χ$-binding functions for several graph classes.

We pursue the study of edge-irregulators of graphs, which were recently introduced in [Fioravantes et al. Parametrised Distance to Local Irregularity. IPEC, 2024]. That is, we are interested in the parameter Ie(G), which, for a given graph G, denotes the smallest k >= 0 such that G can be made locally irregular (i.e., with no two adjacent vertices having the same degree) by deleting k edges. We exhibit notable properties of interest of the parameter Ie, in general and for particular classes of graphs, together with parameterized algorithms for several natural graph parameters. Despite the computational hardness previously exhibited by this problem (NP-hard, W[1]-hard w.r.t. feedback vertex number, W[1]-hard w.r.t. solution size), we present two FPT algorithms, the first w.r.t. the solution size plus Delta and the second w.r.t. the vertex cover number of the input graph. Finally, we take important steps towards better understanding the behaviour of this problem in dense graphs. This is crucial when considering some of the parameters whose behaviour is still uncharted in regards to this problem (e.g., neighbourhood diversity, distance to clique). In particular, we identify a subfamily of complete graphs for which we are able to provide the exact value of Ie(G). These investigations lead us to propose a conjecture that Ie(G) should always be at most m/3 + c, where $m$ is the number of edges of the graph $G$ and $c$ is some constant. This conjecture is verified for various families of graphs, including trees.

An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. In this paper, we study rainbow subgraphs in star-coloured graphs and determine the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers and we extend their results in this case.

The famous Tetrahedron Conjecture of Turán from the 1940s asserts that the number of edges in an $n$-vertex $3$-graph without the tetrahedron, the complete $3$-graph on four vertices, cannot exceed that of the balanced complete cyclic $3$-partite $3$-graph, whose edges are of types $V_1 V_2 V_3$, $V_1 V_1 V_2$, $V_2 V_2 V_3$, and $V_3 V_3 V_1$. A recent surprising result of Balogh-Clemen-Lidický [J. Lond. Math. Soc. (2) 106 (2022)] shows that this conjecture is asymptotically true in the $\ell_2$-norm, where the number of edges is replaced by the sum of squared codegrees. They further conjectured that, in this $\ell_2$-norm setting, the $3$-partite construction is uniquely extremal for large $n$. We confirm this conjecture. Two key ingredients in our proofs include establishing a Mantel theorem for vertex-colored graphs that forbid certain types of triangles, and introducing a novel procedure integrated into Simonovits' stability method, which essentially reduces the task to verifying that the $\ell_2$-norm of certain near-extremal constructions increases under suitable local modifications. The strategy in the latter may be of independent interest and potentially applicable to other extremal problems.

We study a problem of Santos about the largest possible diameter of a $d$-dimensional (abstract) simplicial complex on $n$ vertices. For dimension 2, we determine the exact value of the maximum for every $n$ using an explicit construction. We also come across a tantalizing open problem about the packing of squares of Hamilton cycles in the complete graph and obtain an infinite sequence of tight explicit constructions.

We study the $H$-chromatic symmetric functions $X_G^H$ (introduced in (arXiv:2011.06063) as a generalization of the chromatic symmetric function (CSF) $X_G$), which track homomorphisms from the graph $G$ to the graph $H$. We focus first on the case of self-chromatic symmetric functions (self-CSFs) $X_G^G$, making some progress toward a conjecture from (arXiv:2011.06063) that the self-CSF, like the normal CSF, is always different for different trees. In particular, we show that the self-CSF distinguishes trees from non-trees with just one exception, we check using Sage that it distinguishes all trees on up to 12 vertices, and we show that it determines the number of legs of a spider and the degree sequence of a caterpillar given its spine length. We also show that the self-CSF detects the number of connected components of a forest, again with just one exception. Then we prove some results about the power sum expansions for $H$-CSFs when $H$ is a complete bipartite graph, in particular proving that the conjecture from (arXiv:2011.06063) about $p$-monotonicity of $ω(X_G^H)$ for $H$ a star holds as long as $H$ is sufficiently large compared to $G$. We also show that the self-CSFs of complete multipartite graphs form a basis for the ring $Λ$ of symmetric functions, and we give some construction of bases for the vector space $Λ^n$ of degree $n$ symmetric functions using $H$-CSFs $X_G^H$ where $H$ is a fixed graph that is not a complete graph, answering a question from (arXiv:2011.06063) about whether such bases exist. However, we show that there generally do not exist such bases with $G$ fixed, even with loops, answering another question from (arXiv:2011.06063). We also define the $H$-chromatic polynomial as an analogue of the chromatic polynomial, and ask when it is the same for different graphs.

According to a study by Erdős et al. in 1975, the anti-Ramsey number of a graph \(G\), denoted as \(AR(n, G)\), is defined as the maximum number of colors that can be used in an edge-coloring of the complete graph \(K_n\) without creating a rainbow copy of \(G\). In this paper, we investigate the anti-Ramsey number under edge deletion and demonstrate that both decreasing and unchanging are possible outcomes. For three non-negative integers \(k\), \(t\), and \(n\), let \(G = kP_4 \cup tP_2\). Let \(E'\) be a subset of the edge set \(E(G)\) such that every endpoint of these edges has a degree of two in \(G\). We prove that if one of the conditions (i) \(t \geq k + 1 \geq 2\) and \(n \geq 8k + 2t - 4\); (ii) \(k, t \geq 1\) and \(n = 4k + 2t\); (iii) \(k = 1\), \(t \geq 1\), and \(n \geq 2t + 4\), occurs then the behavior of the anti-Ramsey number remains consistent when the edges in \(E'\) are removed from \(G\), i.e., \(AR(n, G) = AR(n, G - E')\). However, this is not the case when \(k \geq 2\), \(t = 0\), and \(n=4k\). As a result, we calculate \(AR(kP_4 \cup tP_2)\) for the cases: (i) \(t \geq k + 1 \geq 2\) and \(n \geq 8k + 2t - 4\); (ii) \(k, t \geq 1\) and \(n = 4k + 2t\); (iii) \(k = 1\), \(t \geq 0\), and \(n \geq 2t + 4\); (iv) \(k \geq 1\), \(t = 0\), and \(n = 4k\).

An equitable $k$-coloring of a graph is a proper $k$-coloring where the sizes of any two different color classes differ by at most one. In 1973, Meyer conjectured that every connected graph $G$ has an equitable $k$-coloring for some $k\leq Δ(G)$, unless $G$ is a complete graph or an odd cycle. Chen, Lih, and Wu strengthened this in 1994 by conjecturing that for $k\geq 3$, the only connected graphs of maximum degree at most $k$ with no equitable $k$-coloring are the complete bipartite graph $K_{k,k}$ for odd $k$ and the complete graph $K_{k+1}$. A more refined conjecture was proposed by Kierstead and Kostochka, relaxing the maximum degree condition to an Ore-type condition. Their conjecture states the following: for $k\geq 3$, if $G$ is an $n$-vertex graph such that $d(x) + d(y)\leq 2k$ for every edge $xy\in E(G)$, and $G$ admits no equitable $k$-coloring, then $G$ contains either $K_{k+1}$ or $K_{m,2k-m}$ for some odd $m$. We prove that for any constant $c>0$ and all sufficiently large $n$, the latter two conjectures hold for every $k\geq cn$. Our proof yields an algorithm with polynomial time that decides whether $G$ has an equitable $k$-coloring, thereby answering a conjecture of Kierstead, Kostochka, Mydlarz, and Szemerédi when $k \ge cn$.

In this paper, we investigate three extensions of Ramsey numbers to other combinatorial settings. We first consider ordered Ramsey numbers. Here, we ask for a monochromatic copy of a linearly ordered graph $G$ in every $2$-edge-coloring of a linearly ordered complete graph $K_n$. The smallest such $n$ is denoted by $\vec{R}(G)$. Next, we study canonical Ramsey numbers. A canonical coloring of a linearly ordered graph $G$ is an edge-coloring in which $G$ is monochromatic, rainbow, or min/max-lexicographic. In the latter case, each pair of edges receives the same color if and only if they share the same first (respectively, second) vertex. Erdős and Rado showed that for every $p$ there exists $n$ such that every edge-coloring of a linearly ordered $K_n$ contains a canonical copy of $K_p$; the smallest such $n$ is denoted by $ER(G)$. Finally, we examine unordered canonical Ramsey numbers, introduced by Richer. An edge-coloring of $G$ is orderable if there exists a linear ordering of its vertices such that the color of each edge is determined by its first vertex. Unlike lexicographic colorings, this notion also includes monochromatic colorings. Richer proved that for all $s$ and $t$, there exists $n$ such that every edge-coloring of $K_n$ contains an orderable copy of $K_s$ or a rainbow $K_t$. The smallest such $n$ is denoted by $CR(s,t)$. In all three settings, we focus on determining the corresponding Ramsey numbers for small graphs $G$. We use tabu search and integer programming to obtain lower bounds, and flag algebras or integer programming to establish upper bounds. Among other results, we determine $\vec{R}(G)$ for all graphs $G$ on up to four vertices except $K_4^-$, $ER(P_4)$ for all orderings of $P_4$, and the exact values $CR(6,3)=26$ and $CR(3,5)=13$.

In this paper, a $k$-edge-coloring of $G$ is any mapping $c:E(G)\longrightarrow [k]$. The edge-coloring $c$ of $G$ naturally defines a vertex-coloring $σ_{c}: V(G) \to \mathbb{N}$, where $σ_{c}(v)=\sum_{u\in N_G(v)}c(vu)$ for every vertex $v\in V(G)$. The edge-coloring $c$ is said to be neighbor sum distinguishing if it results in a proper vertex-coloring $σ_{c}$, which that $σ_{c}(u) \neq σ_{c}(v)$ for every edge $uv$ in $G$. We investigate neighbor sum distinguishing edge-colorings with local constraints, where the edge-coloring is quasi-majority at each vertex. Specifically, every vertex $v$ is incident to at most $\left\lceil d(v)/2 \right\rceil$ edges of one color. This type of coloring is referred to as quasi-majority neighbor sum distinguishing edge-coloring. The minimum number of colors required for a graph to have a quasi-majority neighbor sum distinguishing edge-coloring is called the quasi-majority neighbor sum distinguishing index. A graph is nice if it has no component isomorphic to $K_2$. We prove that any nice graph admits a quasi-majority neighbor sum distinguishing edge-coloring using at most 12 colors. This bound can be improved for bipartite graphs and graphs with a maximum degree of at most 4. Specifically, we show that every nice bipartite graph can be colored with 6 colors, and every nice graph with a maximum degree of at most 4 can be colored with 7 colors. Additionally, we determine the exact value of the quasi-majority neighbor sum distinguishing index for complete graphs, complete bipartite graphs, and trees. We also consider majority neighbor sum distinguishing edge-colorings, that is, when each vertex is incident to at most $d(v)/2$ edges with the same color.

We consider three matroids defined by Kalai in 1985: the symmetric completion matroid $\mathcal{S}_d$ on the edge set of a looped complete graph; the hyperconnectivity matroid $\mathcal{H}_d$ on the edge set of a complete graph; and the birigidity matroid $\mathcal{B}_d$ on the edge set of a complete bipartite graph. These matroids arise in the study of low rank completion of partially filled symmetric, skew-symmetric and rectangular matrices, respectively. We give sufficient conditions for a graph $G$ to have maximum possible rank in these matroids. For $\mathcal{S}_d$ and $\mathcal{H}_d$, our conditions are in terms of the minimum degree of $G$ and are best possible. For $\mathcal{B}_d$, our condition is in terms of the connectivity of $G$. Our results are analogous to recent results for rigidity matroids due to Krivelevich, Lew and Michaeli, and Villányi, respectively, but our proofs require new techniques and structural results. In particular, we give an almost tight lower bound on the vertex cover number in critically $k$-connected graphs.

The game Nofil is a two-player combinatorial game in which players take turns marking points of a design such that the set of marked points does not contain a block. Equivalently, we can think of the points as being deleted from the design and points that are on singleton sets can no longer be marked. Every game play eventually results in the design becoming a graph. Previous work has shown that every graph is reachable from some Steiner triple system (STS), although the order of the constructed STS is often far from the known lower bounds. In this paper we give embeddings of complete graphs and star graphs into a $\STS$ that is minimal or very nearly meets the bounds. We further discuss possible minimal embeddings of empty graphs, paths, and cycles.

The deduction game may be thought of as a variant on the classical game of cops and robber in which the cops (searchers) aim to capture an invisible robber (evader); each cop is allowed to move at most once, and cops situated on different vertices cannot communicate to co-ordinate their strategy. In this paper, we extend the deduction game to allow each searcher to make $k$ moves, where $k$ is a fixed positive integer. We consider the value of the $k$-move deduction number on several classes of graphs including paths, cycles, complete graphs, complete bipartite graphs, and Cartesian and strong products of paths.