graph
34585 papers tagged with this keyword
Extremal and monotone behaviour of the Sudoku number and related critical set parameters
The Sudoku number has been defined under various names, indicating it is a natural concept. There are four variants of this parameter, that can be related to the maximum and minimum size of a critical set in a graph colouring problem. For each of these four related parameters, we present some simple characterizations of the graphs attaining the maximum possible values. As a main result, we answer a question by Cooper and Kirkpatrick, showing that there is monotone behaviour in the number of colours for only two of the four parameters. We investigate the monotone behaviour for the subgraph-order as well. For Latin squares and the Sudoku, we solve some variants for hypergraph colouring.
Computation of twin-width of graphs
Twin-width is a recently introduced graph parameter. In this article, we compute twin-width of various finite graphs. In particular, we prove that the twin-widths of finite graphs with 4 and 5 vertices are less than equal to 1 and 2, respectively. We show that the constructions of dual graph and line graph do not preserve twin-width. Also, we give upper bounds for the twin-width of King's graph and Rook's graph.
A New Lower Bound for the Domination Number of Complete Cylindrical Grid Graphs
Published
• View Publication
• BIB
We use a dynamic programming algorithm to establish a lower bound on the domination number of complete grid graphs of the form $C_n\square P_m$, that is, the Cartesian product of a cycle $C_n$ and a path $P_m$, for $m$ and $n$ sufficiently large.
Kempe equivalence of almost bipartite graphs
Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are Kempe equivalent for any fixed $k\geq 3$, and it is easy to see that every two vertex colorings of any bipartite graph are Kempe equivalent. In this paper, we consider Kempe equivalence of {\it almost} bipartite graphs which can be obtained from a bipartite graph by adding several edges to connect two vertices in the same partite set. We give a conjecture of Kempe equivalence of such graphs, and we prove several partial solutions and best possibility of the conjecture, but it is more lately proved by Cranston and Feghali that this conjecture is false in general.
Primary Non-QE Graphs on Six Vertices
Published in Interdisciplinary Information Sciences Vol. 29 (2023), Pages 141-156
• View Publication
• BIB
A connected graph is called of non-QE class if it does not admit a quadratic embedding in a Euclidean space. A non-QE graph is called primary if it does not contain a non-QE graph as an isometrically embedded proper subgraph. The graphs on six vertices are completely classified into the classes of QE graphs, of non-QE graphs, and of primary non-QE graphs.
Lattice models, differential forms, and the Yang-Baxter equation
We introduce new methods to describe admissible states of the six-vertex and the eight-vertex lattice models of statistical mechanics. For the six-vertex model, we view the admissible states as differential forms on a grid graph. This yields a new proof of the correspondence between admissible states and 3-colorings of a rectangular grid. For the eight-vertex model, we interpret the set of admissible states as an $\mathbb{F}_2$-vector space. This viewpoint lets us enumerate the set of admissible states. Finally, we find necessary conditions for a Yang-Baxter equation to hold for the general eight-vertex model.
Stability in Bondy's theorem on paths and cycles
Published in J. Combin. Theory Ser. B 175 (2025), 213--239
• View Publication
• BIB
In this paper, we study the stability result of a well-known theorem of Bondy. We prove that for any 2-connected non-hamiltonian graph, if every vertex except for at most one vertex has degree at least $k$, then it contains a cycle of length at least $2k+2$ except for some special families of graphs. Our results imply several previous classical theorems including a deep and old result by Voss. We point out our result on stability in Bondy's theorem can directly imply a positive solution (in a slight stronger form) to the following problem: Is there a polynomial time algorithm to decide whether a 2-connected graph $G$ on $n$ vertices has a cycle of length at least $\min\{2δ(G)+2,n\}$. This problem originally motivates the recent study on algorithmic aspects of Dirac's theorem by Fomin, Golovach, Sagunov and Simonov, although a stronger problem was solved by them by completely different methods. Our theorem can also help us to determine all extremal graphs for wheels on odd number of vertices. We also discuss the relationship between our results and some previous problems and theorems in spectral graph theory and generalized Turán problem.
On random irregular subgraphs
Published
• View Publication
• BIB
Let $G$ be a $d$-regular graph on $n$ vertices. Frieze, Gould, Karoński and Pfender began the study of the following random spanning subgraph model $H=H(G)$. Assign independently to each vertex $v$ of $G$ a uniform random number $x(v) \in [0,1]$, and an edge $(u,v)$ of $G$ is an edge of $H$ if and only if $x(u)+x(v) \geq 1$. Addressing a problem of Alon and Wei, we prove that if $d = o(n/(\log n)^{12})$, then with high probability, for each nonnegative integer $k \leq d$, there are $(1+o(1))n/(d+1)$ vertices of degree $k$ in $H$.
Star clusters in the Matching, Morse, and Generalized Morse complex
Published
• View Publication
• BIB
In this paper, we determine the homotopy type of the Morse complex and matching complex of multiple families of complexes by utilizing star cluster collapses and the Cluster Lemma. We compute the homotopy type of the Morse complex of an extended notion of a star graph, as well as the homotopy type of the matching complex of a Dutch windmill graph. Additionally, we provide alternate computations of the homotopy type of the Morse complex of paths, the homotopy type of the matching complex of paths, and the homotopy type of the matching complex of cycles. We then use this same method of computing homotopy types to investigate the relationship between the homotopy type of the matching complex and the generalized Morse complex.
Spectral radius of graphs with given size and odd girth
Published
• View Publication
• BIB
Let $\mathcal{G}(m,k)$ be the set of graphs with size $m$ and odd girth (the length of shortest odd cycle) $k$. In this paper, we determine the graph maximizing the spectral radius among $\mathcal{G}(m,k)$ when $m$ is odd. As byproducts, we show that, there is a number $η(m)>\sqrt{m-k+3}$ such that every non-bipartite graph $G$ with size $m$ and spectral radius $ρ\ge η(m)$ must contains an odd cycle of length less than $k$ unless $m$ is odd and $G\cong SK_{k,m}$, which is the graph obtained by subdividing an edge $k-2$ times of complete bipartite $K_{2,\frac{m-k+2}{2}}$. This result implies the main results of [Discrete Math. 345 (2022)] and \cite{li-peng}, and settles the conjecture in \cite{li-peng} as well.
On the girth cycles of the bipartite graph $D(k,q)$
Published
• View Publication
• BIB
For integer $k\geq2$ and prime power $q$, the algebraic bipartite graph $D(k,q)$ proposed by Lazebnik and Ustimenko (1995) is meaningful not only in extremal graph theory but also in coding theory and cryptography. This graph is $q$-regular, edge-transitive and of girth at least $k+4$. For its exact girth $g=g(D(k,q))$,
Füredi et al. (1995) conjectured $g=k+5$ for odd $k$ and $q\geq4$.
This conjecture was shown to be valid in 2016 when $(k+5)/2$ is the product of an arbitrary factor of $q-1$ and an arbitrary power of the characteristic of $\mathbb{F}_q$.
In this paper, we determine all the girth cycles of $D(k,q)$ for $3\leq k\leq 5$, $q>3$, and those for $3\leq k\leq8$, $q=3$.
A bipartite version of the Erdős $-$ McKay conjecture
Published
• View Publication
• BIB
An old conjecture of Erdős and McKay states that if all homogeneous sets in an $n$-vertex graph are of order $O(\log n)$ then the graph contains induced subgraphs of each size from $\{0,1,\ldots, Ω(n^2)\}$. We prove a bipartite analogue of the conjecture: if all balanced homogeneous sets in an $n \times n$ bipartite graph are of order $O(\log n)$ then the graph contains induced subgraphs of each size from $\{0,1,\ldots, Ω(n^2)\}$.
Exact Counts of $C_{4}$s in Blow-Up Graphs
Cycles have many interesting properties and are widely studied in many disciplines. In some areas, maximising the counts of $k$-cycles are of particular interest. A natural candidate for the construction method used to maximise the number of subgraphs $H$ in a graph $G$, is the \emph{blow-up} method. Take a graph $G$ on $n$ vertices and a pattern graph $H$ on $k$ vertices, such that $n\geq k$, the blow-up method involves an iterative process of replacing vertices in $G$ with a copy of the $k$-vertex graph $H$. In this paper, we apply the blow-up method on the family of cycles. We then present the exact counts of cycles of length 4 for using this blow-up method on cycles and generalised theta graphs.
Finding Maximum Cliques in Large Networks
There are many methods to find a maximum (or maximal) clique in large networks. Due to the nature of combinatorics, computation becomes exponentially expensive as the number of vertices in a graph increases. Thus, there is a need for efficient algorithms to find a maximum clique. In this paper, we present a graph reduction method that significantly reduces the order of a graph, and so enables the identification of a maximum clique in graphs of large order, that would otherwise be computational infeasible to find the maximum. We find bounds of the maximum (or maximal) clique using this reduction. We demonstrate our method on real-life social networks and also on Erdös-Renyi random graphs.
Evasive sets, covering by subspaces, and point-hyperplane incidences
Published
• View Publication
• BIB
Given positive integers $k\leq d$ and a finite field $\mathbb{F}$, a set $S\subset\mathbb{F}^{d}$ is $(k,c)$-subspace evasive if every $k$-dimensional affine subspace contains at most $c$ elements of $S$. By a simple averaging argument, the maximum size of a $(k,c)$-subspace evasive set is at most $c |\mathbb{F}|^{d-k}$. When $k$ and $d$ are fixed, and $c$ is sufficiently large, the matching lower bound $Ω(|\mathbb{F}|^{d-k})$ is proved by Dvir and Lovett. We provide an alternative proof of this result using the random algebraic method. We also prove sharp upper bounds on the size of $(k,c)$-evasive sets in case $d$ is large, extending results of Ben-Aroya and Shinkar.
The existence of optimal evasive sets has several interesting consequences in combinatorial geometry. We show that the minimum number of $k$-dimensional linear hyperplanes needed to cover the grid $[n]^{d}\subset \mathbb{R}^{d}$ is $Ω_{d}\big(n^{\frac{d(d-k)}{d-1}}\big)$, which matches the upper bound proved by Balko, Cibulka, and Valtr, and settles a problem proposed by Brass, Moser, and Pach. Furthermore, we improve the best known lower bound on the maximum number of incidences between points and hyperplanes in $\mathbb{R}^{d}$ assuming their incidence graph avoids the complete bipartite graph $K_{c,c}$ for some large constant $c=c(d)$.
Zonotopal algebras, orbit harmonics, and Donaldson-Thomas invariants of symmetric quivers
Published
• View Publication
• BIB
We apply the method of orbit harmonics to the set of break divisors and orientable divisors on graphs to obtain the central and external zonotopal algebras respectively. We then relate a construction of Efimov in the context of cohomological Hall algebras to the central zonotopal algebra of a graph $G_{Q,γ}$ constructed from a symmetric quiver $Q$ with enough loops and a dimension vector $γ$. This provides a concrete combinatorial perspective on the former work, allowing us to identify the quantum Donaldson-Thomas invariants as the Hilbert series of the space of $S_γ$-invariants of the Postnikov-Shapiro slim subgraph space attached to $G_{Q,γ}$. The connection with orbit harmonics in turn allows us to give a manifestly nonnegative combinatorial interpretation to numerical Donaldson-Thomas invariants as the number of $S_γ$-orbits under the permutation action on the set of break divisors on $G_{Q,γ}$. We conclude with several representation-theoretic consequences, whose combinatorial ramifications may be of independent interest.
A Short Proof that the List Packing Number of any Graph is Well Defined
Published
• View Publication
• BIB
List packing is a notion that was introduced in 2021 (by Cambie et al.). The list packing number of a graph $G$, denoted $χ_{\ell}^*(G)$, is the least $k$ such that for any list assignment $L$ that assigns $k$ colors to each vertex of $G$, there is a set of $k$ proper $L$-colorings of $G$, $\{f_1, \ldots, f_k \}$, with the property $f_i(v) \neq f_j(v)$ whenever $1 \leq i < j \leq k$ and $v \in V(G)$. We present a short proof that for any graph $G$, $χ_{\ell}^*(G) \leq |V(G)|$. Interestingly, our proof makes use of Galvin's celebrated result that the list chromatic number of the line graph of any bipartite multigraph equals its chromatic number.
Uniqueness of a solution to a general class of discrete system defined on connected graphs
Published
• View Publication
• BIB
In this work we prove uniqueness result for an implicit discrete system defined on connected graphs. Our discrete system is motivated from a certain class of spatial segregation of reaction-diffusion equations.
On weakly Turán-good graphs
Published
• View Publication
• BIB
Given graphs $H$ and $F$ with $χ(H)<χ(F)$, we say that $H$ is weakly $F$-Turán-good if among $n$-vertex $F$-free graphs, a $(χ(F)-1)$-partite graph contains the most copies of $H$. Let $H$ be a bipartite graph that contains a complete bipartite subgraph $K$ such that each vertex of $H$ is adjacent to a vertex of $K$. We show that $H$ is weakly $K_3$-Turán-good, improving a very recent asymptotic bound due to Grzesik, Gy\H ori, Salia and Tompkins. They also showed that for any $r$ there exist graphs that are not weakly $K_r$-Turán-good. We show that for any non-bipartite $F$ there exists graphs that are not weakly $F$-Turán-good. We also show examples of graphs that are $C_{2k+1}$-Turán-good but not $C_{2\ell+1}$-Turán-good for every $k>\ell$.
Scaling limit of graph classes through split decomposition
We prove that Aldous' Brownian CRT is the scaling limit, with respect to the Gromov--Prokhorov topology, of uniform random graphs in each of the three following families of graphs: distance-hereditary graphs, $2$-connected distance-hereditary graphs and $3$-leaf power graphs. Our approach is based on the split decomposition and on analytic combinatorics.