graph
34516 papers tagged with this keyword
Bounds and Hardness Results for Conflict-free Choosability
A '(partial) conflict-free coloring' of a hypergraph $\mathcal{H}$ is an assignment of colors to (a subset of) the vertex set of $\mathcal{H}$ such that every hyperedge in $\mathcal{H}$ has a vertex whose color is distinct from every other vertex in that hyperedge. The minimum number of colors required for such a coloring is known as the '(partial) conflict-free chromatic number' of $\mathcal{H}$. It is easy to see that the conflict-free chromatic number of a hypergraph is at most its partial conflict-free chromatic number plus one. Conflict-free coloring has also been studied on the open/closed neighborhood hypergraphs of a given graph under the name open/closed neighborhood conflict-free coloring. In this paper, we study partial and full list variants of conflict-free coloring where, for every vertex $v$, we are given a list of admissible colors $L_v$ such that $v$ is allowed to be colored only from $L_v$.
Bhyravarapu, Kalyanasundaram, and Mathew [Journal of Graph Theory, 2021] showed that the closed-neighborhood conflict-free chromatic number of any graph $G$ with maximum degree $Δ$ is at most $O(\ln^2 Δ)$. In this paper, we extend the $O(\ln^2 Δ)$ upper bound to the partial list variant of the closed-neighborhood conflict-free chromatic number. Further, we establish computational complexity results concerning the list open/closed-neighborhood conflict-free chromatic numbers.
Exact Values and Bounds for Ramsey Numbers of $C_4$ Versus a Star Graph
The 8 unknown values of the Ramsey numbers $R(C_4,K_{1,n})$ for $n \leq 37$ are determined, showing that $R(C_4,K_{1,27}) = 33$ and $R(C_4,K_{1,n}) = n + 7$ for $28 \leq n \leq 33$ or $n = 37$. Additionally, the following results are proven:
$\bullet$ If $n$ is even and $\lceil\sqrt{n}\rceil$ is odd, then $R(C_4,K_{1,n}) \leq n + \left\lceil\sqrt{n-\lceil\sqrt{n}\rceil+2}\right\rceil + 1$.
$\bullet$ If $m \equiv 2 \,(\text{mod } 6)$ with $m \geq 8$, then $R(C_4,K_{1,m^2+3}) \leq m^2 + m + 4$.
$\bullet$ If $R(C_4,K_{1,n}) > R(C_4,K_{1,n-1})$, then $R(C_4,K_{1,2n+1-R(C_4,K_{1,n})}) \geq n$.
Graphs with constant links and induced Turán numbers
A graph $G$ of constant link $L$ is a graph in which the neighborhood of any vertex induces a graph isomorphic to $L$. Given two different graphs, $H$ and $G$, the induced Turán number ${\rm ex}(n; H, G{\rm -ind})$ is defined as the maximum number of edges in an $n$-vertex graph having no subgraph isomorphic to $H$ and no copy from $G$ as an induced subgraph.
Our main motivation in this paper is to establish a bridge between graphs with constant link and induced Turán numbers via the class of $t$-regular, $k$-uniform (linear) hypergraphs of girth at least $4$, as well as to present several methods of constructing connected graphs with constant link.
We show that, for integers $t \geq 3$ and $k \geq 3$, ${\rm ex}(n; C_k, K_{1,t}{\rm -ind}) \leq (k - 2)(t - 1)n/2$ and that equality holds for infinitely many values of $n$. This result is built upon the existence of graphs with constant link $tL$ with restricted cycle length, which we prove in another theorem. More precisely, we show that, given a graph $F$ with constant link $L$ and circumference $c$, then, for all integers $t \geq 2$ and $g > c$, there exists a graph with constant link $tL$ which is free of cycles of length $l$, for all $c < l < g$. We provide two proofs of this result using distinct approaches. We further present constructions of graphs with constant links $tL$, $t \geq 2$, and restricted cycle length based on Steiner Systems. Finally, starting from a connected graph of constant link $tL$, for $t \geq 2$, having order $n$ and restricted cycle lengths, we provide a method to construct an infinite collection of connected graphs of constant link $tL$ that preserves the cycle length restriction, and whose orders form an arithmetic progression $qn$, $q \geq 1$.
Graphs missing a connected partition
Published in Adv. in Appl. Math. Vol. 175 103044 (2026)
• View Publication
• BIB
We prove that a graph with a cut vertex whose deletion produces at least five connected components must be missing a connected partition of some type. We prove that this also holds if there are four connected components that each have at least two vertices. In particular, the chromatic symmetric function of such a graph cannot be $e$-positive. This brings us very close to the conjecture by Dahlberg, She, and van Willigenburg of non-$e$-positivity for all trees with a vertex of degree at least four. We also prove that spiders with four legs cannot have an $e$-positive chromatic symmetric function.
On Oriented Colourings of Graphs on Surfaces
For an oriented graph $G$, the least number of colours required to oriented colour $G$ is called the oriented chromatic number of $G$ and denoted $χ_o(G)$.For a non-negative integer $g$ let $χ_o(g)$ be the least integer such that $χ_o(G) \leq χ_o(g)$ for every oriented graph $G$ with Euler genus at most $g$. We will prove that $χ_o(g)$ is nearly linear in the sense that $Ω(\frac{g}{\log(g)}) \leq χ_o(g) \leq O(g \log(g))$. This resolves a question of the author, Bradshaw, and Xu, by improving their bounds of the form $Ω((\frac{g^2}{\log(g)})^{1/3}) \leq χ_o(g)$ and $χ_o(g) \leq O(g^{6400})$.
The Moran process on a random graph
We study the fixation probability for two versions of the Moran process on the random graph $G_{n,p}$ at the threshold for connectivity. The Moran process models the spread of a mutant population in a network. Throughtout the process there are vertices of two types, mutants and non-mutants. Mutants have fitness $s$ and non-mutants have fitness 1. The process starts with a unique individual mutant located at the vertex $v_0$. In the Birth-Death version of the process a random vertex is chosen proportional to its fitness and then changes the type of a random neighbor to its own. The process continues until the set of mutants $X$ is empty or $[n]$. In the Death-Birth version a uniform random vertex is chosen and then takes the type of a random neighbor, chosen according to fitness. The process again continues until the set of mutants $X$ is empty or $[n]$. The {\em fixation probability} is the probability that the process ends with $X=\emptyset$.
We give asymptotically correct estimates of the fixation probability that depend on degree of $v_0$ and its neighbors.,
A sufficient condition for pancyclic graphs
Published in Bull. Aust. Math. Soc. 112 (2025) 220-226
• View Publication
• BIB
A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ We prove that every $2$-connected $[4,2]$-graph of order at least $7$ is pancyclic. This strengthens existing results. There are $2$-connected $[4,2]$-graphs which do not satisfy the Chvátal-Erdős condition. We also determine the triangle-free graphs among $[p+2,p]$-graphs for a general $p.$
Abelian and stochastic sandpile models on complete bipartite graphs
In the sandpile model, vertices of a graph are allocated grains of sand. At each unit of time, a grain is added to a randomly chosen vertex. If that causes its number of grains to exceed its degree, that vertex is called unstable, and topples. In the Abelian sandpile model (ASM), topplings are deterministic, whereas in the stochastic sandpile model (SSM) they are random. We study the ASM and SSM on complete bipartite graphs. For the SSM, we provide a stochastic version of Dhar's burning algorithm to check if a given (stable) configuration is recurrent or not, with linear complexity. We also exhibit a bijection between sorted recurrent configurations and pairs of compatible Ferrers diagrams. We then provide a similar bijection for the ASM, and also interpret its recurrent configurations in terms of labelled Motzkin paths.
Isomorphisms of bi-Cayley graphs on generalized quaternion groups
Let $G$ be a finite group and $S$ be a subset of $G$. The bi-Cayley graph $\mathrm{BCay}(G,S)$ is the graph with vertex set $G\times \{0,1\}$ and edge set $\{\{(x,0),(sx,1)\}\mid x\in G,s\in S\}$. A bi-Cayley graph $\mathrm{BCay}(G,S)$ is called a BCI-graph if for every $T\subseteq G$, the isomorphism $\mathrm{BCay}(G,S)\cong \mathrm{BCay}(G,T)$ implies that $T=gS^α$ for some $g\in G$ and $α\in \mathrm{Aut}(G)$. We say a group $G$ an $m$-BCI-group if every bi-Cayley graphs of $G$ with valency at most $m$ is a BCI-graph. In this paper, we show that for $m\in\{2,3\}$, the generalized quaternion group of order $4n$ with $n\geq 2$ is an $m$-BCI-group if and only if it is an $m$-DCI-group if and only if it is an $m$-CI-group if and only if $n$ is odd or $n=2$.
Proof of a conjecture on graph polytope
Graph polytopes arising from vertex-weighted graphs were first introduced by Bóna, Ju, and Yoshida. We prove a conjecture stating that for any simple connected graph, the numerator polynomial of the Ehrhart series of its graph polytope is palindromic, using Stanley's reciprocity theorem. Furthermore, we introduce hypergraph polytopes and establish that every simple, connected, unimodular hypergraph polytope is an integer polytope. Additionally, for simple connected uniform hypergraph polytopes, we demonstrate that the numerator polynomial of their Ehrhart series is palindromic.
A note on connectivity in directed graphs
We say a directed graph $G$ on $n$ vertices is irredundant if the removal of any edge reduces the number of ordered pairs of distinct vertices $(u,v)$ such that there exists a directed path from $u$ to $v$. We determine the maximum possible number of edges such a graph can have, for every $n \in \mathbb{N}$. We also characterize the cases of equality. This resolves, in a strong form, a question of Crane and Russell.
Almost regular subgraphs under spectral radius constrains
A graph is called $K$-almost regular if its maximum degree is at most $K$ times the minimum degree. Erdős and Simonovits showed that for a constant $0< \varepsilon< 1$ and a sufficiently large integer $n$, any $n$-vertex graph with more than $n^{1+\varepsilon}$ edges has a $K$-almost regular subgraph with $n'\geq n^{\varepsilon\frac{1-\varepsilon}{1+\varepsilon}}$ vertices and at least $\frac{2}{5}n'^{1+\varepsilon}$ edges. An interesting and natural problem is whether there exits the spectral counterpart to Erdős and Simonovits's result. In this paper, we will completely settle this issue. More precisely, we verify that for constants $\frac{1}{2}<\varepsilon\leq 1$ and $c>0$, if the spectral radius of an $n$-vertex graph $G$ is at least $cn^{\varepsilon}$, then $G$ has a $K$-almost regular subgraph of order $n'\geq n^{\frac{2\varepsilon^2-\varepsilon}{24}}$ with at least $ c'n'^{1+\varepsilon}$ edges, where $c'$ and $K$ are constants depending on $c$ and $\varepsilon$. Moreover, for $0<\varepsilon\leq\frac{1}{2}$, there exist $n$-vertex graphs with spectral radius at least $cn^{\varepsilon}$ that do not contain such an almost regular subgraph. Our result has a wide range of applications in spectral Turán-type problems. Specifically, let $ex(n,\mathcal{H})$ and $spex(n,\mathcal{H})$ denote, respectively, the maximum number of edges and the maximum spectral radius among all $n$-vertex $\mathcal{H}$-free graphs. We show that for $1\geqξ> \frac{1}{2}$, $ex(n,\mathcal{H}) = O(n^{1+ξ})$ if and only if $spex(n,\mathcal{H}) = O(n^ξ)$.
Conflict-free chromatic index of trees
A graph $G$ is conflict-free $k$-edge-colorable if there exists an assignment of $k$ colors to $E(G)$ such that for every edge $e\in E(G)$, there is a color that is assigned to exactly one edge among the closed neighborhood of $e$. The smallest $k$ such that $G$ is conflict-free $k$-edge-colorable is called the conflict-free chromatic index of $G$, denoted $χ'_{CF}(G)$. Dȩbski and Przyby\a{l}o showed that $2\leχ'_{CF}(T)\le 3$ for every tree $T$ of size at least two. In this paper, we present an algorithm to determine the conflict-free chromatic index of a tree without 2-degree vertices, in time $O(|V(T)|)$. This partially answer a question raised by Kamyczura, Meszka and Przyby\a{l}o.
Recognizing bicoset digraphs which are $X$-joins and automorphism groups of bicoset digraphs
We examine bicoset digraphs and their natural properties from the point of view of symmetry. We then consider connected bicoset digraphs that are $X$-joins with collections of empty graphs, and show that their automorphism groups can be obtained from their natural irreducible quotients. We then show that such digraphs can be recognized from their connection sets.
On Geometry and Combinatorics of Finite Classical Polar Spaces
Polar spaces over finite fields are fundamental in combinatorial geometry. The concept of polar space was firstly introduced by F. Veldkamp who gave a system of 10 axioms in the spirit of Universal Algebra. Later the axioms were simplified by J. Tits, who introduced the concept of subspaces. Later on, from the point of view of incidence geometry, axioms of polar spaces were also given by F. Buekenhout and E. Shult in 1974. The reader can find the three systems of axioms of polar spaces in Appendix A. Examples of polar spaces are the so called Finite classical polar spaces, i.e. incidence structures arising from quadrics, symplectic spaces and Hermitian varieties, which are in correspondance with reflexive sesquilinear forms. It is still an open problem to show whether or not classical polar spaces are the only example of finite polar spaces.
Nowadays, some research problems related to finite classical polar space are: existence of spreads and ovoids; existence of regular systems and $m$-ovoids; upper or lower bounds on partial spreads and partial ovoids. Moreover, polar spaces are in relation with combinatorial objects as regular graphs, block designs and association schemes.
In this Ph.D. Thesis we investigate the geometry of finite classical polar spaces, giving contributions to the above problems. The thesis is organized as follows. Part I is more focused on the geometric aspects of polar spaces, while in Part II some combinatorial objects are introduced such as regular graphs, association schemes and combinatorial designs. Finally Appendix B, C and D are dedicated to give more details on, respectively, maximal curves, linear codes and combinatorial designs, giving useful results and definitions.
The probability that a random graph is even-decomposable
A graph $G$ with an even number of edges is called even-decomposable if there is a sequence $V(G)=V_0\supset V_1\supset \dots \supset V_k=\emptyset$ such that for each $i$, $G[V_i]$ has an even number of edges and $V_i\setminus~V_{i+1}$ is an independent set in $G$. The study of this property was initiated recently by Versteegen, motivated by connections to a Ramsey-type problem and questions about graph codes posed by Alon. Resolving a conjecture of Versteegen, we prove that all but an $e^{-Ω(n^2)}$ proportion of the $n$-vertex graphs with an even number of edges are even-decomposable. Moreover, answering one of his questions, we determine the order of magnitude of the smallest $p=p(n)$ for which the probability that the random graph $G(n,1-p)$ is even-decomposable (conditional on it having an even number of edges) is at least $1/2$.
We also study the following closely related property. A graph is called even-degenerate if there is an ordering $v_1,v_2,\dots,v_n$ of its vertices such that each $v_i$ has an even number of neighbours in the set $\{v_{i+1},\dots,v_n\}$. We prove that all but an $e^{-Ω(n)}$ proportion of the $n$-vertex graphs with an even number of edges are even-degenerate, which is tight up to the implied constant.
Sparse graphs with local covering conditions on edges
In 1988, Erdős suggested the question of minimizing the number of edges in a connected $n$-vertex graph where every edge is contained in a triangle. Shortly after, Catlin, Grossman, Hobbs, and Lai resolved this in a stronger form. In this paper, we study a natural generalization of the question of Erdős in which we replace `triangle' with `clique of order $k$' for ${k\ge 3}$. We completely resolve this generalized question with the characterization of all extremal graphs. Motivated by applications in data science, we also study another generalization of the question of Erdős where every edge is required to be in at least $\ell$ triangles for $\ell\ge 2$ instead of only one triangle. We completely resolve this problem for $\ell = 2$.
A tale of two $q$-deformations : connecting dual polar spaces and weighted hypercubes
Two $q$-analogs of the hypercube graph are introduced and shown to be related through a graph quotient. The roles of the subspace lattice graph, of a twisted primitive elements of $U_q(\mathfrak{su}(2))$ and of the dual $q$-Krawtchouk polynomials are elaborated upon. This paper is dedicated to Tom Koornwinder.
A Catalog of Facially Complete Graphs
Considering regions in a map to be adjacent when they have nonempty intersection (as opposed to the traditional view requiring intersection in a linear segment) leads to the concept of a facially complete graph: a plane graph that becomes complete when edges are added between every two vertices that lie on a face. Here we present a complete catalog of facially complete graphs: they fall into seven types. A consequence is that if q is the size of the largest face in a plane graph G that is facially complete, then G has at most Floor[3/2 q] vertices. This bound was known, but our proof is completely different from the 1998 approach of Chen, Grigni, and Papadimitriou. Our method also yields a count of the 2-connected facially complete graphs with n vertices. We also show that if a plane graph has at most two faces of size 4 and no larger face, then the addition of both diagonals to each 4-face leads to a graph that is 5-colorable.
Burning game
Motivated by the burning and cooling processes, the burning game is introduced. The game is played on a graph $G$ by the two players (Burner and Staller) that take turns selecting vertices of $G$ to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of $G$ as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph $G$ is the game burning number $b_g(G)$ if Burner makes the first move, and the Staller-start game burning number $b_g'(G)$ if Staller starts. In this paper, basic bounds on $b_g(G)$ are given and Continuation Principle is established. Graphs with small game burning numbers are characterized and Nordhaus-Gaddum type results are obtained. An analogue of the burning number conjecture for the burning game is considered and graph products are studied.