graph
34516 papers tagged with this keyword
Chromatic discrepancy of locally $s$-colourable graphs
The chromatic discrepancy of a graph $G$, denoted $φ(G)$, is the least over all proper colourings $σ$ of $G$ of the greatest difference between the number of colours $|σ(V(H))|$ spanned by an induced subgraph $H$ of $G$ and its chromatic number $χ(H)$. We prove that the chromatic discrepancy of a triangle-free graph $G$ is at least $χ(G)-2$. This is best possible and positively answers a question raised by Aravind, Kalyanasundaram, Sandeep, and Sivadasan.
More generally, we say that a graph $G$ is locally $s$-colourable if the closed neighbourhood of any vertex $v\in V(G)$ is properly $s$-colourable; in particular, a triangle-free graph is locally $2$-colourable. We conjecture that every locally $s$-colourable graph $G$ satisfies $φ(G) \geq χ(G)-s$, and show that this would be almost best possible. We prove the conjecture when $χ(G) \le 11s/6$, and as a partial result towards the general case, we prove that every locally $s$-colourable graph $G$ satisfies $φ(G) \geq χ(G) - s\ln χ(G)$.
If the conjecture holds, it implies in particular, for every integer $\ell\geq 2$, that any graph $G$ without any copy of $C_{\ell+1}$, the cycle of length $\ell+1$, satisfies $φ(G) \geq χ(G) - \ell$. When $\ell \ge 3$ and $G\neq K_\ell$, we conjecture that we actually have $φ(G)\ge χ(G) - \ell + 1$, and prove it in the special case $\ell = 3$ or $χ(G) \le 5\ell/3$. In general, we further obtain that every $C_{\ell+1}$-free graph $G$ satisfies $φ(G) \geq χ(G) - O_{\ell}(\ln \ln χ(G))$. We do so by determining an almost tight bound on the chromatic number of balls of radius at most $\ell/2$ in $G$, which could be of independent interest.
On universal graphs for trees and treewidth $k$ graphs
Let $s(n)$ be the minimum number of edges in a graph that contains every $n$-vertex tree as a subgraph. Chung and Graham [J. London Math. Soc. 1983] claim to prove that $s(n)\leqslant O(n\log n)$. We point out a mistake in their proof. The previously best known upper bound is $s(n)\leqslant O(n(\log n)(\log\log n)^{2})$ by Chung, Graham and Pippenger [Proc. Hungarian Coll. on Combinatorics 1976], the proof of which is missing many crucial details. We give a fully self-contained proof of the new and improved upper bound $s(n)\leqslant O(n(\log n)(\log\log n))$. The best known lower bound is $s(n)\geqslant Ω(n\log n)$.
We generalise these results for graphs of treewidth $k$. For an integer $k\geqslant 1$, let $s_k(n)$ be the minimum number of edges in a graph that contains every $n$-vertex graph with treewidth $k$ as a subgraph. So $s(n)=s_1(n)$. We show that $Ω(k n\log n) \leqslant s_k(n) \leqslant O(kn(\log n)(\log\log n))$.
Temporal Exploration of Random Spanning Tree Models
The Temporal Graph Exploration problem (TEXP) takes as input a temporal graph, i.e., a sequence of graphs $(G_i)_{i\in \mathbb{N}}$ on the same vertex set, and asks for a walk of shortest length visiting all vertices, where the $i$-th step uses an edge from $G_i$. If each such $G_i$ is connected, then an exploration of length $n^2$ exists, and this is known to be the best possible up to a constant. More fine-grained lower and upper bounds have been obtained for restricted temporal graph classes, however, for several fundamental classes, a large gap persists between known bounds, and it remains unclear which properties of a temporal graph make it inherently difficult to explore.
Motivated by this limited understanding and the central role of the Temporal Graph Exploration problem in temporal graph theory, we study the problem in a randomised setting. We introduce the Random Spanning Tree (RST) model, which consists of a set of $n$-vertex trees together with an arbitrary probability distribution $μ$ over this set. A random temporal graph generated by the RST model is a sequence of independent samples drawn from $μ$.
We initiate a systematic study of the Temporal Graph Exploration problem in such random temporal graphs and establish tight general bounds on exploration time. Our first main result proves that any RST model can, with high probability (w.h.p.), be explored in $O(n^{3/2})$ time, and we show that this bound is tight up to a constant factor. This demonstrates a fundamental difference between the adversarial and random settings. Our second main result shows that if all trees of an RST are subgraphs of a fixed graph with $m$ edges then, w.h.p.\ , it can be explored in $O(m)$ time.
The Subgraphs of Order Six of the Family of Strongly Regular Graphs with Parameters $λ=1$ and $μ=2$
Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters yet the existence of many of them is still under the question. Due to this uncertainty, it is of immense interest to study their structure, in particular to obtain all the possible subgraphs of lower order. In this paper we study the family of strongly regular graphs with parameters $λ=1$ and $μ=2$ and establish all their subgraphs of order six.
Spectral conditions for graphs to contain $k$-factors
Let $G$ be a graph. The spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. For an integer $k\geq1$, a $k$-factor of $G$ is a $k$-regular spanning subgraph of $G$. Assume that $k$ and $n$ are integers satisfying $k\geq2,kn\equiv0~(\mod2)$ and $n\geq\max\left\{k^{2}+6k+7,20k+10\right\}$. Let $G$ be a graph of order $n$ and with minimum degree at least $k$. In this paper, we give a sharp lower bound of $ρ(G)$ to guarantee that $G$ contains a $k$-factor.
A spectral condition for Hamilton cycles in tough bipartite graphs
Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its adjacency matrix. For a non-complete bipartite graph $G$ with parts $X$ and $Y$, the {\em bipartite toughness} of $G$ is defined as $t^{B}(G)=\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper subsets $S\subset X$ (or $S\subset Y$) such that $c(G-S)>1$. In this paper, we give a sharp spectral radius condition for balanced bipartite graphs $G$ with $t^{B}(G)\geq1$ to guarantee that $G$ contains Hamilton cycles. This solves a problem proposed in \cite{CFL}.
Barnette Graphs with Faces up to Size 8 are Hamiltonian
Barnette's conjecture states that every cubic, bipartite, planar and 3-connected graph is Hamiltonian. Goodey verified Barnette's conjecture for all graphs with faces of size up to 6.
We substantially strengthen Goodey's result by proving Hamiltonicity for cubic, bipartite, planar and (2-)connected graphs with faces of size up to 8. Parts of the proof are computational, including a distinction of 339.068.624 cases.
Adjacent vertex distinguishing total coloring of 3-degenerate graphs
A total coloring of a simple undirected graph $G$ is an assignment of colors to its vertices and edges such that the colors given to the vertices form a proper vertex coloring, the colors given to the edges form a proper edge coloring, and the color of every edge is different from that of its two endpoints. That is, $φ:V(G)\cup E(G)\rightarrow\mathbb{N}$ is a total coloring of $G$ if $φ(u)\neqφ(v)$ and $φ(uv)\neqφ(u)$ for all $uv\in E(G)$, and $φ(uv)\neqφ(uw)$ for any $u \in V(G)$ and distinct $v,w \in N(u)$ (here, $N(u)$ denotes the set of neighbours of $u$). A total coloring $φ$ of a graph $G$ is said to be ``Adjacent Vertex Distinguishing'' (or AVD for short) if for all $uv\in E(G)$, we have that $φ(\{u\}\cup\{uw:w\in N(u)\})\neqφ(\{v\}\cup\{vw\colon w\in N(v)\})$. The AVD Total Coloring Conjecture of Zhang, Chen, Li, Yao, Lu, and Wang (Science in China Series A: Mathematics, 48(3):289--299, 2005) states that every graph $G$ has an AVD total coloring using at most $Δ(G)+3$ colors, where $Δ(G)$ denotes the maximum degree of $G$. For some $s\in\mathbb{N}$, a graph $G$ is said to be $s$-degenerate if every subgraph of $G$ has minimum degree at most $s$. Miao, Shi, Hu, and Luo (Discrete Mathematics, 339(10):2446--2449, 2016) showed that the AVD Total Coloring Conjecture is true for 2-degenerate graphs. We verify the conjecture for 3-degenerate graphs.
On the diameter and girth of zero-divisor graphs of inverse semigroups
Let $S$ be an inverse semigroup with zero and let $Z(S)^\times$ be its set of non-zero divisors with respect to the natural partial order $\le $ on $S$, that is, $a \in Z(S)^\times $ if there exists $b\in S\setminus\{0\}$ with $ω(a, b) = \{c \in S: c \leq a\ \mbox{and}\ c \leq b\}=\{0\}$. The set $Z(S)^\times$ makes up the vertices of the corresponding {\it zero-divisor graph} $Γ(S)$, with two distinct vertices $a, b$ forming an edge if $ω(a, b)=\{0\}$. We characterize {\it zero-divisor graphs} of inverse semigroups in terms of their diameter and girth. We also classify inverse semigroups without zero by building a connection between the diameter (girth) and the least group congruence $σ$ on an inverse semigroup without zero. Finally, we give a description of the diameter and girth of graph inverse semigoups $I(G)$ in terms of the set of vertices and the set of edges of a graph $G$.
Cyclic subsets of tournaments
Let $G$ be a Dirac graph, and let $S$ be a vertex subset of $G$, chosen uniformly at random. How likely is the induced subgraph $G[S]$ to be Hamiltonian? This question, proposed by Erdős and Faudree in 1996, was recently resolved by Draganić, Keevash and Müyesser, in the setting of graphs. In this paper, we study a similar question for tournaments -- if $T$ is a tournament of high minimum degree, how likely is it for a random induced subtournament of $T$ to be Hamiltonian? We prove an optimal bound on this probability, and extend the results to the regime where the subset is not sampled uniformly at random, but according to a $p$-biased measure.
Notes and computations on forbidden differences
We explore from several perspectives the following question: given $X\subseteq \mathbb{Z}$ and $N\in \mathbb{N}$, what is the maximum size $D(X,N)$ of $A\subseteq \{1,2,\dots,N\}$ before $A$ is forced to contain two distinct elements that differ by an element of $X$? The set of forbidden differences, $X$, is called \textit{intersective} if $D(X,N)=o(N)$, with the most well-studied examples being $X=S=\{n^2: n\in \mathbb{N}\}$ and $X=\mathcal{P}-1=\{p-1: p\text{ prime}\}$. In addition to some new results, including exact formulas and estimates for $D(X,N)$ in some non-intersective cases like $X=\mathcal{P}$ and $X=S+k$, $k\in \mathbb{N}$, we also provide a comprehensive survey of known bounds and extensive computational data. In particular, we utilize an existing algorithm for finding maximum cliques in graphs to determine $D(S,N)$ for $N\leq 300$ and $D(\mathcal{P}-1,N)$ for $N\leq 500$. None of these exact values appear previously in the literature.
Slow graph bootstrap percolation III: Chain constructions
For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a general framework of chain constructions. We demonstrate the flexibility of this framework by applying several variations of the method to give lower bounds on $M_H(n)$ for a wide variety of different graphs $H$ including dense graphs, random graphs and complete bipartite graphs. In particular, we focus on the question of whether $M_H(n)$ is (almost) quadratic or not and our lower bounds develop connections with additive combinatorics, utilising constructions of sets free of solutions to certain linear equations. Finally, our lower bounds are complemented by upper bounds which connect $M_H(n)$ to other problems in extremal graph theory such as the Ruzsa-Szemerédi (6,3)-Theorem.
On two-distance-transitive graphs
A $2$-distance-transitive graph is a vertex-transitive graph whose vertex stabilizer is transitive on both the first step and the second step neighborhoods. In this paper, we first answer a question of A. Devillers, M. Giudici, C. H. Li and C. E. Praeger in 2012 about vertex-quasiprimitive $2$-distance-transitive graphs for the odd order case. Then we characterize $2$-distance-transitive graphs of valency $p$ or $p+1$ where $p$ is a prime. After that, as an application of the above result, we classify locally-primitive, $2$-distance-transitive graphs of small valency.
In addition to the above results on $2$-distance-transitive graphs, we also classify a family of amply regular graphs with diameter at least $4$ and parameters $(v, k, λ, \frac{k - 1}{2})$, and these graphs arise naturally in the classification of locally-primitive, $2$-distance-transitive graphs with small valency.
Monotone Paths on Acyclic 3-Regular Graphs
Motivated by trying to understand the behavior of the simplex method, Athanasiadis, De Loera and Zhang provided upper and lower bounds on the number of the monotone paths on 3-polytopes. For simple 3-polytopes with $2n$ vertices, they showed that the number of monotone paths is bounded above by $(1+\varphi)^n$, with $\varphi$ being the golden ratio. We improve the result and show that for a larger family of graphs the number is bounded above by $c \cdot 1.6779^n$ for some universal constant $c$. Meanwhile, the best known construction and conjectured extremizer is approximately $\varphi^n$.
The zero blocking numbers of generalized Kneser graphs and generalized Johnson graphs
This paper extends the results by Afzali, Ghodrati and Maimani for the zero blocking numbers of Kneser graphs and Johnson graphs to generalized Kneser graphs and generalized Johnson graphs.
Quantum symmetry of $3$-transitive graphs
We study the quantum automorphism group of $3$-transitive graphs in this article. Those are highly symmetric graphs that were classified by Cameron and Macpherson in 1985, and we compute the quantum automorphism group of all such graphs, excluding the orthogonal graphs $\mathrm{O}^-(6,q)$ for $q>3$. We show that there is no quantum symmetry for the McLaughlin graph and the orthogonal graphs $\mathrm{O}^-(6,q)$ with $q = 2, 3$, while that the quantum automorphism group of the affine polar graphs $\mathrm{VO}^{+}(2k,2)$ and $\mathrm{VO}^{-}(2k,2)$ are monoidally equivalent to $\mathrm{PO}(n)$ and $\mathrm{PSp}(n)$, respectively. We use planar algebras to obtain our results, where the $3$-transitivity of the graphs gives bounds on the dimensions of the $2$-- and $3$-box spaces of the associated planar algebras.
Leaky Forcing: Extending Zero Forcing Results to a Fault-Tolerant Setting
We study a recent variation of zero forcing called leaky forcing. Zero forcing is a propagation process on a network whereby some nodes are initially blue with all others white. Blue vertices can "force" a white neighbor to become blue if all other neighbors are blue. The goal is to find the minimum number of initially blue vertices to eventually force all vertices blue after exhaustively applying the forcing rule above. Leaky forcing is a fault-tolerant variation of zero forcing where certain vertices (not necessarily initially blue) cannot force. The goal in this context is to find the minimum number of initially blue vertices needed that can eventually force all vertices to be blue, regardless of which small number of vertices can't force. This work extends results from zero forcing in terms of leaky forcing. In particular, we provide a complete determination of leaky forcing numbers for all unicyclic graphs and upper bounds for generalized Petersen graphs. We also provide bounds for the effect of both edge removal and vertex removal on the $\ell$-leaky forcing number. Finally, we completely characterize connected graphs that have the minimum and maximum possible $1$-leaky forcing number (i.e., when $Z_{1}(G) = 2$ and when $Z_{1}(G) = |V(G)|-1$).
Grounded partitions of type $A_1^{(1)}$ at levels 1 and 2: bijections, affine crystal graphs, and partition identities
Grounded partitions, introduced by Dousse and Konan, are coloured partitions satisfying difference conditions given by a matrix with nonnegative integer entries. For the matrices studied in this paper, the generating functions are known to be infinite products, corresponding to the principal specialisation of characters of highest weight modules of type $A_1^{(1)}$. We give the first bijective proof that the generating functions of grounded partitions at level $2$ are infinite products. We then give a new combinatorial model for affine crystal graphs of type $A_1^{(1)}$ at level $2$, where the vertices are grounded partitions and the arrows are given by explicit bracketing rules. The grounded partition model for affine crystal graphs of highest weights $Λ_0$, $Λ_1$ and $Λ_0 + Λ_1$ gives rise to new $q$-series identities obtained by decomposing the affine crystal graphs into the crystal graphs of finite type $A_1$ via the restricted representation.
Random Walks and the Meeting Time for Trees
Consider a random walk on a tree $G=(V,E)$. For $v,w \in V$, let the hitting time $H(v,w)$ denote the expected number of steps required for the random walk started at $v$ to reach $w$, and let $π_v = \mathrm{deg}(v)/2|E|$ denote the stationary distribution for the random walk. We characterize the extremal tree structures for the meeting time $T_{\mathrm{meet}}(G) = \max_{w \in V} \sum_{v \in V} π_v H(v,w)$. For fixed order $n$ and diameter $d$, the meeting time is maximized by the broom graph. The meeting time is minimized by the balanced double broom graph, or a slight variant, depending on the relative parities of $n$ and $d$.
The asymptotic rank of adjacency matrices of weighted configuration models over arbitrary fields
We study the asymptotic rank of adjacency matrices of a large class of edge-weighted configuration models. Here, the weight of a (multi-)edge can be any fixed non-zero element from an arbitrary field, as long as it is independent of the (multi-)graph. Our main result demonstrates that the asymptotic behavior of the normalized rank of the adjacency matrix neither depends on the fixed edge-weights, nor on which field they are chosen from. Our approach relies on a novel adaptation of the component exploration method of \cite{janson2009new}, which enables the application of combinatorial techniques from \cite{coja2022rank, HofMul25}.