graph
35273 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
Algorithmic methods of finite discrete structures. Hamiltonian cycle of a complete graph and the Traveling salesman problem
The monography considers the problem of constructing a Hamiltonian cycle in a complete graph. A rule for constructing a Hamiltonian cycle based on isometric cycles of a graph is established. An algorithm for constructing a Hamiltonian cycle based on ring summation of isometric cycles of a graph is presented. Based on the matrix of distances between vertices, the weight of each cycle is determined as an additive sum of the weights of its edges. To construct an optimal route of a graph, the basic idea of finding an optimal route between four vertices is used. Further successive constructions are aimed at joining an adjacent isometric cycle with an increase in the number of vertices by one unit. The recursive process continues until all vertices of the graph are connected. Based on the introduced mathematical apparatus, the monography presents a new algorithm for solving the symmetric Traveling salesman problem. Some examples of solving the problem are provided.
On the off-diagonal unordered Erdős-Rado numbers
Published
• View Publication
• BIB
Erdős and Rado [P. Erdős, R. Rado, A combinatorial theorem, Journal of the London Mathematical Society 25 (4) (1950) 249-255] introduced the Canonical Ramsey numbers $\text{er}(t)$ as the minimum number $n$ such that every edge-coloring of the ordered complete graph $K_n$ contains either a monochromatic, rainbow, upper lexical, or lower lexical clique of order $t$. Richer [D. Richer, Unordered canonical Ramsey numbers, Journal of Combinatorial Theory Series B 80 (2000) 172-177] introduced the unordered asymmetric version of the Canonical Ramsey numbers $\text{CR}(s,r)$ as the minimum $n$ such that every edge-coloring of the (unorderd) complete graph $K_n$ contains either a rainbow clique of order $r$, or an orderable clique of order $s$.
We show that $\text{CR}(s,r) = O(r^3/\log r)^{s-2}$, which, up to the multiplicative constant, matches the known lower bound and improves the previously best known bound $\text{CR}(s,r) = O(r^3/\log r)^{s-1}$ by Jiang [T. Jiang, Canonical Ramsey numbers and proporly colored cycles, Discrete Mathematics 309 (2009) 4247-4252]. We also obtain bounds on the further variant $\text{ER}(m,\ell,r)$, defined as the minimum $n$ such that every edge-coloring of the (unorderd) complete graph $K_n$ contains either a monochromatic $K_m$, lexical $K_\ell$, or rainbow $K_r$.