arXiv++ Combinatorics

Many phenomena in real world social networks are interpreted as spread of influence between activated and non-activated network elements. These phenomena are formulated by combinatorial graphs, where vertices represent the elements and edges represent social ties between elements. A main problem is to study important subsets of elements (target sets or dynamic monopolies) such that their activation spreads to the entire network. In edge-weighted networks the influence between two adjacent vertices depends on the weight of their edge. In models with incentives, the main problem is to minimize total amount of incentives (called optimal target vectors) which can be offered to vertices such that some vertices are activated and their activation spreads to the whole network. Algorithmic study of target sets and vectors is a hot research field. We prove an inapproximability result for optimal target sets in edge weighted networks even for complete graphs. Some other hardness and polynomial time results are presented for optimal target vectors and degenerate threshold assignments in edge-weighted networks.

Let $G$ be a graph on $n$ vertices and $1 \le k \le n$ a fixed integer. The \textit{$k$-token graph} of $G$ is the graph $F_k(G)$ whose vertex set consists of all $k$-subsets of the vertex set of $G$, where two vertices $A$ and $B$ are adjacent in $F_k(G)$ whenever their symmetric difference $A\triangle B$ is an edge of $G$. In this paper we study the treewidth of $F_k(G)$ when $G$ is a star, path, or a complete graph. We show that in the first two cases, the treewidth is of order $Θ(n^{k-1})$, and of order $Θ(n^k)$ in the third case. We conjecture that our upper bound for the treewidth of $F_k(K_n)$ is tight. This is particularly relevant since $F_k(K_n)$ is isomorphic to the well known Johnson graph $J(n,k)$.

Given an edge-colored graph $G$, we denote the number of colors as $c(G)$, and the number of edges as $e(G)$. An edge-colored graph is rainbow if no two edges share the same color. A proper $mK_3$ is a vertex disjoint union of $m$ rainbow triangles. Rainbow problems have been studied extensively in the context of anti-Ramsey theory, and more recently, in the context of Turán problems. B. Li. et al. \textit{European J. Combin. 36 (2014)} found that a graph must contain a rainbow triangle if $e(G)+c(G) \geq \binom{n}{2}+ n$. L. Li. and X. Li. \textit{Discrete Applied Mathematics 318 (2022)} conjectured a lower bound on $e(G)+c(G)$ such that $G$ must contain a proper $mK_3$. In this paper, we provide a construction that disproves the conjecture. We also introduce a result that guarantees the existence of $m$ vertex disjoint rainbow $K_k$ subgraphs in general host graphs, and a sharp result on the existence of proper $mK_3$ in complete graphs.

A graph $G = (V, E)$ is word-representable, if there exists a word w over the alphabet V such that for letters ${x, y} \in V$ , $x$ and $y$ alternate in $w$ if and only if $xy \in E$. In this paper, we prove that any non-empty word-representable graph can be represented by a word containing no non-trivial squares. This result provides a positive answer to the open problem present in the book Words and graphs written by Sergey Kitaev, and Vadim Lozin. Also, we prove that for a word-representable graph $G$, if the representation number of $G$ is $k$, then every $k$-uniform word representing the graph $G$ is also square-free. Moreover, we prove that every minimal-length word representing a graph is square-free. Then, we count the number of possible square-free word-representations of a complete graph. At last, using the infinite square-free string generated from the Thue-Morse sequence, we prove that infinitely many square-free words represent a non-complete connected word-representable graph.

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their result also implies a characterization of graph classes defined by finitely many forbidden induced subgraphs that are $(tw,ω)$-bounded, that is, treewidth can only be large due to the presence of a large clique. This condition is known to be satisfied for any graph class with bounded tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. conjectured that $(tw,ω)$-boundedness is actually equivalent to bounded tree-independence number. We address this conjecture in the context of graph classes defined by finitely many forbidden induced subgraphs and prove it for the case of graph classes excluding an induced star. We also prove it for subclasses of the class of line graphs, determine the exact values of the tree-independence numbers of line graphs of complete graphs and line graphs of complete bipartite graphs, and characterize the tree-independence number of $P_4$-free graphs, which implies a linear-time algorithm for its computation. Applying the algorithmic framework provided in a previous paper of the series leads to polynomial-time algorithms for the Maximum Weight Independent Set problem in an infinite family of graph classes.

The saturation number $\operatorname{sat}(n, H)$ of a graph $H$ and positive integer $n$ is the minimum size of a graph of order $n$ which does not contain a subgraph isomorphic to $H$ but to which the addition of any edge creates such a subgraph. Erdős, Hajnal, and Moon first studied saturation numbers of complete graphs, and Cameron and Puleo introduced a general lower bound on $\operatorname{sat}(n,H)$. In this paper, we present another lower bound on $\operatorname{sat}(n, H)$ with strengthenings for graphs $H$ in several classes, all of which include the class of triangle-free graphs. Demonstrating its effectiveness, we determine the saturation numbers of diameter-$3$ trees up to an additive constant; these are double stars $S_{s,t}$ of order $s + t$ whose central vertices have degrees $s$ and $t$. Faudree, Faudree, Gould, and Jacobson determined that $\operatorname{sat}(n, S_{t,t}) = (t-1)n/2 + O(1)$. We prove that $\operatorname{sat}(n,S_{s,t}) = (st+s)n/(2t+4) + O(1)$ when $s < t$. We also apply our lower bound to caterpillars and demonstrate an upper bound on the saturation numbers of certain diameter-$4$ caterpillars.

The crossing number of a graph is the minimum number of double points over all generic immersions of the graph into the plane. In this paper we investigate the behavior of crossing number under a graph transformation, called $\mathsf{ΔY}$-move, on the complete graph $K_n$. Concretely it is shown that for any $k\in \mathbb{N}$, there exist a natural number $n$ and a sequence of $\mathsf{ΔY}$-moves $K_n\rightarrow G^{(1)}\rightarrow \cdots \rightarrow G^{(k)}$ which is decreasing with respect to the crossing number. We also discuss the decrease of crossing number for relatively small $n$.

We deal with the problem of decomposing a complete geometric graph into plane star-forests. In particular, we disprove a recent conjecture by Pach, Saghafian and Schnider by constructing for each $n$ a complete geometric graph on $n$ vertices which can be decomposed into $\frac{n}{2}+1$ plane star-forests. Additionally we prove that for even $n$, every decomposition of complete abstract graph on $n$ vertices into $\frac{n}{2}+1$ star-forests is composed of a perfect matching and $\frac{n}{2}$ star-forests with two edge-balanced components, which we call broken double stars.

The Bellman-Ford algorithm for single-source shortest paths repeatedly updates tentative distances in an operation called relaxing an edge. In several important applications a non-adaptive (oblivious) implementation is preferred, which means fixing the entire sequence of relaxations upfront, independently of the edge-weights. Such an implementation performs, in a dense graph on $n$ vertices, $(1 + o(1))n^3$ relaxations. An improvement by Yen from 1970 reduces the number of relaxations by a factor of two. We show that no further constant-factor improvements are possible, and every non-adaptive deterministic algorithm based on relaxations must perform $(\frac{1}{2} - o(1))n^3$ steps. This improves an earlier lower bound of Eppstein of $(\frac{1}{6} - o(1))n^3$. Given that a non-adaptive randomized variant of Bellman-Ford with at most $(\frac{1}{3} + o(1))n^3$ relaxations (with high probability) is known, our result implies a strict separation between deterministic and randomized strategies, answering an open question of Eppstein. On the complexity side, we show that deciding whether a given relaxation sequence is guaranteed to yield correct distances is NP-hard, even with the complete graph as input.

A graph $G$ consists of vertices $V(G)$ and edges $E(G)$. In this paper, we propose four new indices defined and named as first Rehan-Lanel index of $G$ $(RL_1)$, second Rehan-Lanel index of $G$ $(RL_2)$, second Rehan-Lanel index of $G$, third Rehan-Lanel index of $G$, $(RL_3)$ and fourth Rehan-Lanel index of $G$ $(RL_4)$. The degrees of the vertices $u, v \in V(G)$ are denoted by $d_G(u)$ and $d_G(v)$. Based on these new indices and the definitions of Revan degree, Domination degree, Banhatti degree, Temperature of a vertex, KV indices, we subsequently introduced an additional 448 indices/exponentials and computed results for the first four new indices of each subsequent definition, for the standard graphs such as $r-$ regular graph, complete graph, cycle, path and compete bipartite graph. In addition, we performed calculations for the Wheel graph, Sunflower graph, and French Windmill graph. Furthermore, using the exponential of a degree of a vertex, the centrality concept, we introduced another 8 indices. Furthermore, we defined a new degree called Chandana-Lanel degree of a vertex of a graph(CL degree). Using this degree, new 6 indices were defined. Also, we defined the index called the Heronian Rehan-Lanel index using the Heronian mean of two numbers. These novel 462 indices would be advantageous in QSPR/QSAR studies.

A graph $H$ is said to be an induced minor of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. Equivalently, $H$ is an induced minor of $G$ if there exists an induced minor model of $H$ in $G$, that is, a collection of pairwise disjoint subsets of vertices of $G$ labeled by the vertices of $H$, each inducing a connected subgraph in $G$, such that two vertices of $H$ are adjacent if and only if there is an edge in $G$ between the corresponding subsets. In this paper, we investigate structural properties of induced minor models, including bounds on treewidth and chromatic number of the subgraphs induced by minimal induced minor models. It is known that for some graphs $H$, testing whether a given graph $G$ contains $H$ as an induced minor is an NP-complete problem. Nevertheless, as algorithmic applications of our structural results, we make use of recent developments regarding tree-independence number to show that if $H$ is the $4$-wheel, the $5$-vertex complete graph minus an edge, or a complete bipartite graph $K_{2,q}$, then there is a polynomial-time algorithm to find in a given graph $G$ an induced minor model of $H$ in $G$, if there is one. We also develop an alternative polynomial-time algorithm for recognizing graphs that do not contain $K_{2,3}$ as an induced minor, which revolves around the idea of detecting the induced subgraphs whose presence is forced when the input graph contains $K_{2,3}$ as an induced minor, using the so-called shortest path detector. It turns out that all these induced subgraphs are Truemper configurations.

Label the vertices of the complete graph $K_v$ with the integers $\{0, 1, \ldots, v-1\}$ and define the {\em length} $\ell$ of the edge between distinct vertices labeled $x$ and $y$ by $\ell(x,y) = \min( |y-x|, v - |y-x| )$. A {\em realization} of a multiset $L$ of size $v-1$ is a Hamiltonian path through $K_v$ whose edge labels are $L$. The {\em Buratti-Horak-Rosa (BHR) Conjecture} is that there is a realization for a multiset $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ in $L$ is at most $v-d$. We introduce ``grid-based graphs" as a useful tool for constructing particular types of realizations, called ``linear realizations," especially when the multiset in question has a support of size 3. This lets us prove many new instances of the BHR Conjecture, including those for multisets of the form $\{1^a, x^b, y^c \}$ when $a \geq x+y - ε$, where $ε$ is the number of even elements in $\{ x,y \}$, and those for all multisets of the following forms for sufficiently large $v$ with $\gcd(v,y) = 1$ for all $y \in L$: $\{1^a, 2^b, x^c\}$, except possibly when $a \in \{1,2\}$ and $x$ is odd, $\{1^a, x^b, (x+1)^c\}$. This establishes that there are infinitely many sets $U$ of size 3 for which there are infinitely many values of $v$ where the BHR Conjecture holds for each multiset with support $U$. We also show that the BHR Conjecture holds for $\{1^a,x^b,(x+1)^c\}$ when $x \in \{7,9,10\}$ and $\gcd(v,x) = \gcd(v,x+1) = 1$.

In this paper we introduce a new model of random spanning trees that we call choice spanning trees, constructed from so-called choice random walks. These are random walks for which each step is chosen from a subset of random options, according to some pre-defined rule. The choice spanning trees are constructed by running a choice modified version of Wilson's algorithm or the Aldous-Broder algorithm on the complete graph. We show that the scaling limits of these choice spanning trees are slight variants of random aggregation trees previously considered by Curien and Haas (2017). Moreover, we show that the loop-erasure of a choice random walk run on the complete graph converges after rescaling to a generalized Rayleigh process, extending a result of Evans, Pitman and Winter (2006). These are all natural extensions of similar results for uniform spanning trees.

FI-graphs were introduced by the second author and White to capture the idea of a family of nested graphs, each member of which is acted on by a progressively larger symmetric group. That work was built on the newly minted foundations of representation stability theory and FI-modules. Examples of such families include the complete graphs and the Kneser and Johnson graphs, among many others. While it was shown in the originating work how various counting invariants in these families behave very regularly, not much has thus far been proven about the behaviors of the typical extremal graph theoretic invariants such as their independence and clique numbers. In this paper we provide a conjecture on the growth of the independence and clique numbers in these families, and prove this conjecture in one case. We also provide computer code that generates experimental evidence in many other cases. All of this work falls into a growing trend in representation stability theory that displays the regular behaviors of a number of extremal invariants that arise when one looks at FI-algebras and modules.

The classical Andrásfai--Erdős--Sós Theorem states that for $\ell\ge 2$, every $n$-vertex $K_{\ell+1}$-free graph with minimum degree greater than $\frac{3\ell-4}{3\ell-1}n$ must be $\ell$-partite. We establish a simple criterion for $r$-graphs, $r \geq 2$, to exhibit an Andrásfai--Erdős--Sós type property, also known as degree-stability. This leads to a classification of most previously studied hypergraph families with this property. An immediate application of this result, combined with a general theorem by Keevash--Lenz--Mubayi, solves the spectral Turán problems for a large class of hypergraphs. For every $r$-graph $F$ with degree-stability, there is a simple algorithm to decide the $F$-freeness of an $n$-vertex $r$-graph with minimum degree greater than $(π(F) - \varepsilon_F)\binom{n}{r-1}$ in time $O(n^r)$, where $\varepsilon_F >0$ is a constant. In particular, for the complete graph $K_{\ell+1}$, we can take $\varepsilon_{K_{\ell+1}} = (3\ell^2-\ell)^{-1}$, and this bound is tight up to some multiplicative constant factor unless $\mathbf{W[1]} = \mathbf{FPT}$. Based on a result by Chen--Huang--Kanj--Xia, we further show that for every fixed $C > 0$, this problem cannot be solved in time $n^{o(\ell)}$ if we replace $\varepsilon_{K_{\ell+1}}$ with $(C\ell)^{-1}$ unless $\mathbf{ETH}$ fails. Furthermore, we apply the degree-stability of $K_{\ell+1}$ to decide the $K_{\ell+1}$-freeness of graphs whose size is close to the Turán bound in time $(\ell+1)n^2$, partially improving a recent result by Fomin--Golovach--Sagunov--Simonov. As an intermediate step, we show that for a specific class of $r$-graphs $F$, the (surjective) $F$-coloring problem can be solved in time $O(n^r)$, provided the input $r$-graph has $n$ vertices and a large minimum degree, refining several previous results.

We consider the problem of constructing a graph of minimum degree $k\ge 1$ in the following controlled random graph process, introduced recently by Frieze, Krivelevich and Michaeli. Suppose the edges of the complete graph on $n$ vertices are permuted uniformly at random. A player, Builder, sees the edges one by one, and must decide irrevocably upon seeing each edge whether to purchase it or not. Suppose Builder purchases an edge if and only if at least one endpoint has degree less than $k$ in her graph. Frieze, Krivelevich and Michaeli observed that this strategy succeeds in building a graph of minimum degree at least $k$ by $τ_k$, the hitting time for having minimum degree $k$. They conjectured that any strategy using $εn$ fewer edges, where $ε>0$ is any constant, fails with high probability. In this paper we disprove their conjecture. We show that for $k\ge 2$ Builder has a strategy which purchases $n/9$ fewer edges and succeeds with high probability in building a graph of minimum degree at least $k$ by $τ_k$. For $k=1$ we show that any strategy using $εn$ fewer edges fails with probability bounded away from 0, and exhibit such a strategy that succeeds with probability bounded away from 0.

The restricted edge-connectivity of a connected graph $G$, denoted by $λ^{\prime}(G)$, if it exists, is the minimum cardinality of a set of edges whose deletion makes $G$ disconnected and each component with at least 2 vertices. It was proved that if $G$ is not a star and $|V(G)|\geq4$, then $λ^{\prime}(G)$ exists and $λ^{\prime}(G)\leqξ(G)$, where $ξ(G)$ is the minimum edge-degree of $G$. Thus a graph $G$ is called maximally restricted edge-connected if $λ^{\prime}(G)=ξ(G)$; and a graph $G$ is called super restricted edge-connected if each minimum restricted edge-cut isolates an edge of $G$. The strong product of graphs $G$ and $H$, denoted by $G\boxtimes H$, is the graph with vertex set $V(G)\times V(H)$ and edge set $\{(x_1,y_1)(x_2,y_2)\ |\ x_1=x_2$ and $y_1y_2\in E(H)$; or $y_1=y_2$ and $x_1x_2\in E(G)$; or $x_1x_2\in E(G)$ and $y_1y_2\in E(H)$\}. In this paper, we determine, for any nontrivial connected graph $G$, the restricted edge-connectivity of $G\boxtimes P_n$, $G\boxtimes C_n$ and $G\boxtimes K_n$, where $P_n$, $C_n$ and $K_n$ are the path, the cycle and the complete graph on $n$ vertices, respectively. As corollaries, we give sufficient conditions for these strong product graphs $G\boxtimes P_n$, $G\boxtimes C_n$ and $G\boxtimes K_n$ to be maximally restricted edge-connected and super restricted edge-connected.

In this paper, we present two new matrices, namely the resistance Laplacian and resistance signless Laplacian matrix of a connected graph. We provide a generalized form of these matrices for different classes of graphs, including the complete graph, complete bipartite graph, and cycle. We investigate the spectral properties of these matrices, analyzing their eigenvalues and eigenvectors. Moreover, we introduce a concept similar to graph energy and define it as the resistance Laplacian energy of a graph and further discuss some bounds for this energy.

A proper total colouring of a graph $G$ is called harmonious if it has the further property that when replacing each unordered pair of incident vertices and edges with their colours, then no pair of colours appears twice. The smallest number of colours for it to exist is called the harmonious total chromatic number of $G$, denoted by $h_t(G)$. Here, we give a general upper bound for $h_t(G)$ in terms of the order $n$ of $G$. Our two main results are obvious consequences of the computation of the harmonious total chromatic number of the complete graph $K_n$ and of the complete multigraph $λK_n$, where $λ$ is the number of edges joining each pair of vertices of $K_n$. In particular, Araujo-Pardo et al. have recently shown that $\frac{3}{2}n\leq h_t(K_n) \leq \frac{5}{3}n +θ(1)$. In this paper, we prove that $h_t(K_{n})=\left\lceil \frac{3}{2}n \right\rceil$ except for $h_t(K_{1})=1$ and $h_t(K_{4})=7$; therefore, $h_t(G) \le \left\lceil \frac{3}{2}n \right\rceil$, for every graph $G$ on $n>4$ vertices. Finally, we extend such a result to the harmonious total chromatic number of the complete multigraph $λK_n$ and as a consequence show that $h_t(\mathcal{G})\leq (λ-1)(2\left\lceil\frac{n}{2}\right\rceil-1)+\left\lceil\frac{3n}{2}\right\rceil$ for $n>4$, where $\mathcal{G}$ is a multigraph such that $λ$ is the maximum number of edges between any two vertices.

We show that for a certain class of convex functions $f$, including the exponential functions $x\mapsto e^{λx}$ with $λ>0$ a real number, and all the powers $x\mapsto x^β$, $x\geq 0$ and $β\geq 2$ a real number, with a unique small exception, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges and $m\leq n-1$, then the maximum of $\sum_i f(d_i)$ is uniquely attained by the degree sequence of a quasi-star graph, namely, a graph consisting of a star plus possibly additional isolated vertices. This result significantly extends a similar result in [D.~Ismailescu, D.~Stefanica, Minimizer graphs for a class of extremal problems, J.~Graph Theory,~39~(4)~(2002)]. Dually, we show that for a certain class of concave functions $g$, including the negative exponential functions $x\mapsto 1-e^{-λx}$ with $λ>\ln(2)$ a real number, all the powers $x\mapsto x^α$, $x\geq 0$ and $0<α\leq \frac{1}{2}$ a real number, and the function $x\mapsto \frac{x}{x+1}$ for $x\geq 0$, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges, then the minimum of $\sum_i g(d_i)$ is uniquely attained by the degree sequence of a quasi-complete graph, i.e., a graph consisting of a complete graph plus possibly an additional vertex connected to some but not all vertices of the complete graph, plus possibly isolated vertices. This result extends a similar result in the same paper.