graph
34516 papers tagged with this keyword
Convex Geometries yielded by Transit Functions
Let $V$ be a finite nonempty set. A transit function is a map $R:V\times V\rightarrow 2^V$ such that $R(u,u)=\{u\}$, $R(u,v)=R(v,u)$ and $u\in R(u,v)$ hold for every $u,v\in V$. A set $K\subseteq V$ is $R$-convex if $R(u,v)\subset K$ for every $u,v\in K$ and all $R$-convex subsets of $V$ form a convexity $\mathcal{C}_R$. We consider Minkowski-Krein-Milman property that every $R$-convex set $K$ in a convexity $\mathcal{C}_R$ is the convex hull of the set of extreme points of $K$ from axiomatic point of view and present a characterization of it. Later we consider several well-known transit functions on graphs and present the use of the mentioned characterizations on them.
Chromatic symmetric functions of conjoined graphs
Published
• View Publication
• BIB
We introduce path-conjoined graphs defined for two rooted graphs by joining their roots with a path, and investigate the chromatic symmetric functions of its two generalizations: spider-conjoined graphs and chain-conjoined graphs. By using the composition method developed by Zhou and the third author recently, we obtain neat positive $e_I$-expansions for the chromatic symmetric functions of clique-path-cycle graphs, path-clique-path graphs, and clique-clique-path graphs. We pose the $e$-positivity conjecture for hat-chains.
Applications of Sparse Hypergraph Colorings
Many problems in extremal combinatorics can be reduced to determining the independence number of a specific auxiliary hypergraph. We present two such problems, one from discrete geometry and one from hypergraph Turán theory. Using results on hypergraph colorings by Cooper-Mubayi and Li-Postle, we demonstrate that for those two problems the trivial lower bound on the independence number can be improved upon:
Erdős, Graham, Ruzsa and Taylor asked to determine the largest size, denoted by $g(n)$, of a subset $P$ of the grid $[n]^2$ such that every pair of points in $P$ span a different slope. Improving on a lower bound by Zhang from 1993, we show that $$g(n)=Ω\left( \frac{n^{2/3} (\log \log n)^{1/3} }{ \log^{1/3}n} \right).$$
Let $H^r_3$ denote an $r$-graph with $r+1$ vertices and $3$ edges. Recently, Sidorenko proved the following lower bounds for the Turán density of this $r$-graph: $π(H^r_3)\geq r^{-2}$ for every $r$, and $π(H^r_3)\geq (1.7215 - o(1)) r^{-2}$. We present an improved asymptotic bound: $π(H^r_3)=Ω\left(r^{-2} \log^{1/2} r \right).$
Šoltés' hypergraphs
More than $30$ years ago, Šoltés observed that the total distance of the graph $C_{11}$ does not change by deleting a vertex, and wondered about the existence of other such graphs, called Šoltés graphs. We extend the definition of Šoltés' graphs to Šoltés' hypergraphs, determine all orders for which a Šoltés' hypergraph exists, observe infinitely many uniform Šoltés' hypergraphs, and find the Šoltés' hypergraph with minimum size (spoiler: it is not $C_{11}$).
The bunkbed conjecture is not robust to generalisation
The bunkbed conjecture, which has featured in the folklore of probability theory since at least 1985, concerns bond percolation on the product graph $G\Box K_2$. We have two copies $G_0$ and $G_1$ of $G$, and if $x^{(0)}$ and $x^{(1)}$ are the copies of a vertex $x\in V(G)$ in $G_0$ and $G_1$ respectively, then edge $x^{(0)}x^{(1)}$ is present. The conjecture states that, for vertices $u,v\in V(G)$, percolation from $u^{(0)}$ to $v^{(0)}$ is at least as likely as percolation from $u^{(0)}$ to $v^{(1)}$. While the conjecture is widely expected to be true, having attracted significant attention, a general proof has not been forthcoming.
In this paper we consider three natural generalisations of the bunkbed conjecture; to site percolation, to hypergraphs, and to directed graphs. Our main aim is to show that all these generalisations are false, and to this end we construct a sequence of counterexamples to these statements. However, we also consider under what extra conditions these generalisations might hold, and give some classes of graph for which the bunkbed conjecture for site percolation does hold.
A note on the Nearly Dispersability of Odd Toroidal Grids
The \emph{matching book thickness} $mbt(G)$ of $G$ is the minimum integer $m$ such that an $m$-page matching book embedding exists. A graph $G$ is called \emph{dispersable} if $mbt(G)=Δ(G)$, \emph{nearly dispersable} if $mbt(G)=Δ(G)+1$. Recently, the authors determined the nearly dispersability of odd toroidal grids $T_{s,t}$. In this note, we further present a brief proof for this result.
$\mathcal{O}(VE)$ time algorithms for the Grundy (First-Fit) chromatic number of block graphs and graphs with sufficiently large girth
The Grundy (or First-Fit) chromatic number of a graph $G=(V,E)$, denoted by $Γ(G)$ (or $χ_{_{\sf FF}}(G)$), is the maximum number of colors used by a First-Fit (greedy) coloring of $G$. To determine $Γ(G)$ is NP-complete for various classes of graphs. Also there exists a constant $c>0$ such that the Grundy number is hard to approximate within the ratio $c$. We first obtain an $\mathcal{O}(VE)$ algorithm to determine the Grundy number of block graphs i.e. graphs in which every biconnected component is complete subgraph. We prove that the Grundy number of a general graph $G$ with cut-vertices is upper bounded by the Grundy number of a block graph corresponding to $G$. This provides a reasonable upper bound for the Grundy number of graphs with cut-vertices. Next, define $Δ_2(G)={\max}_{u\in G}~ {\max}_{v\in N(u):d(v)\leq d(u)} d(v)$. We obtain an $\mathcal{O}(VE)$ algorithm to determine $Γ(G)$ for graphs $G$ whose girth $g$ is at least $2Δ_2(G)+1$. This algorithm provides a polynomial time approximation algorithm within ratio $\min \{1, (g+1)/(2Δ_2(G)+2)\}$ for $Γ(G)$ of general graphs $G$ with girth $g$.
Non-Isomorphic Groups with Isomorphic Power and Commuting Graphs
The power graph of a group $G$ is a graph with vertex set $G$, in which two vertices are adjacent if one is some power of the other. In the commuting graph, with $G$ as the vertex set, two vertices are joined by an edge if they commute in $G$. The enhanced power graph of a group $G$ is a graph with vertex set $G$ and an edge joining two vertices $x$ and $y$ if $\langle x,y\rangle$ is cyclic. In this paper, we answer a question posed by P. J. Cameron, namely, if there exist groups $G$ and $H$ such that the power graph of $G$ is isomorphic to the commuting graph of $H$. We show that the answer is yes if $G$ is the generalised quaternion group and $H$ is the dihedral group. We also show that the enhanced power graph of the dicyclic group is isomorphic to the commuting graph of the dihedral group.
Maximum Erdős-Ko-Rado sets of chambers and their antidesigns in vector-spaces of even dimension
A chamber of the vector space $\mathbb{F}_q^n$ is a set $\{S_1,\dots,S_{n-1}\}$ of subspaces of $\mathbb{F}_q^n$ where $S_1\subset S_2\subset \dotso \subset S_{n-1}$ and $\dim(S_i)=i$ for $i=1,\dots,n-1$. By $Γ_n(q)$ we denote the graph whose vertices are the chambers of $\mathbb{F}_q^n$ with two chambers $C_1=\{S_1,\dots,S_{n-1}\}$ and $C_2=\{T_1,\dots,T_{n-1}\}$ adjacent in $Γ_n(q)$, if $S_i\cap T_{n-i}=\{0\}$ for $i=1,\dots,n-1$. The Erdős-Ko-Rado problem on chambers is equivalent to determining the structure of independent sets of $Γ_n(q)$. The independence number of this graph was determined in [7] for $n$ even and given a subspace $P$ of dimension one, the set of all chambers whose subspaces of dimension $\frac n2$ contain $P$ attains the bound. The dual example of course also attains the bound. It remained open in [7] whether or not these are all maximum independent sets. Using a description from [6] of the eigenspace for the smallest eigenvalue of this graph, we prove an Erdős-Ko-Rado theorem on chambers of $\mathbb{F}_q^n$ for sufficiently large $q$, giving an affirmative answer for n even.
On spectrally optimal duals of frames generated by graphs
Recently, the concept of frames generated by graphs has been introduced in \cite{D}. In this paper, we study spectrally optimal dual frames of frames generated by graphs. We show that if the frame is generated by a connected graph, then its canonical dual frame is the unique spectrally optimal dual frame for $1$-erasure and $2$-erasures. Further, we show that the canonical dual frames of frames generated by disconnected graphs are non-unique spectrally optimal dual frames for $1$-erasure and $2$-erasures.
Triangle-free graphs with diameter 2
There are finitely many graphs with diameter $2$ and girth 5. What if the girth 5 assumption is relaxed? Apart from stars, are there finitely many triangle-free graphs with diameter $2$ and no $K_{2,3}$ subgraph? This question is related to the existence of triangle-free strongly regular graphs, but allowing for a range of co-degrees gives the question a more extremal flavour. More generally, for fixed $s$ and $t$, are there infinitely many twin-free triangle-free $K_{s,t}$-free graphs with diameter 2? This paper presents partial results regarding these questions, including computational results, potential Cayley-graph and probabilistic constructions.
Removable edges in near-bipartite bricks
An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. The notion of removable edge arises in connection with ear decompositions of matching covered graphs introduced by Lovász and Plummer. A nonbipartite matching covered graph $G$ is a brick if it is free of nontrivial tight cuts. Carvalho, Lucchesi, and Murty proved that every brick other than $K_4$ and $\overline{C_6}$ has at least $Δ-2$ removable edges. A brick $G$ is near-bipartite if it has a pair of edges $\{e_1,e_2\}$ such that $G-\{e_1,e_2\}$ is a bipartite matching covered graph. In this paper, we show that in a near-bipartite brick $G$ with at least six vertices, every vertex of $G$, except at most six vertices of degree three contained in two disjoint triangles, is incident with at most two nonremovable edges; consequently, $G$ has at least $\frac{|V(G)|-6}{2}$ removable edges. Moreover, all graphs attaining this lower bound are characterized.
Induced Ramsey problems for trees and graphs with bounded treewidth
The induced $q$-color size-Ramsey number $\hat{r}_{\text{ind}}(H;q)$ of a graph $H$ is the minimal number of edges a host graph $G$ can have so that every $q$-edge-coloring of $G$ contains a monochromatic copy of $H$ which is an induced subgraph of $G$. A natural question, which in the non-induced case has a very long history, asks which families of graphs $H$ have induced Ramsey numbers that are linear in $|H|$. We prove that for every $k,w,q$, if $H$ is an $n$-vertex graph with maximum degree $k$ and treewidth at most $w$, then $\hat{r}_{\text{ind}}(H;q) = O_{k,w,q}(n)$. This extends several old and recent results in Ramsey theory. Our proof is quite simple and relies upon a novel reduction argument.
Better coloring of 3-colorable graphs
We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. This is one of the most challenging problems in graph algorithms.
In this paper using Blum's notion of ``progress'', we develop a new combinatorial algorithm for the following: Given any 3-colorable graph with minimum degree $\ds>\sqrt n$, we can, in polynomial time, make progress towards a $k$-coloring for some $k=\sqrt{n/\ds}\cdot n^{o(1)}$.
We balance our main result with the best-known semi-definite(SDP) approach which we use for degrees below $n^{0.605073}$. As a result, we show that $\tO(n^{0.19747})$ colors suffice for coloring 3-colorable graphs. This improves on the previous best bound of $\tO(n^{0.19996})$ by Kawarabayashi and Thorup in 2017.
Enumeration of intersection graphs of $x$-monotone curves
A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{Ω(n^{4/3})}$ families, each consisting of $n$ labelled $x$-monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such intersection graphs is at most $2^{O(n^{4/3}\log^2n)}$. Our proof uses a new upper bound on the number of set systems of size $m$ on a ground set of size $n$, with VC-dimension at most $d$. Much better upper bounds are obtained if we only count bipartite intersection graphs, or, in general, intersection graphs with bounded chromatic number.
Long cycles and spectral radii in planar graphs
There is a rich history of studying the existence of cycles in planar graphs. The famous Tutte theorem on the Hamilton cycle states that every 4-connected planar graph contains a Hamilton cycle. Later on, Thomassen (1983), Thomas and Yu (1994) and Sanders (1996) respectively proved that every 4-connected planar graph contains a cycle of length $n-1, n-2$ and $n-3$. Chen, Fan and Yu (2004) further conjectured that every 4-connected planar graph contains a cycle of length $\ell$ for $\ell\in\{n,n-1,\ldots,n-25\}$ and they verified that $\ell\in \{n-4, n-5, n-6\}$. When we remove the ``4-connected" condition, how to guarantee the existence of a long cycle in a planar graph? A natural question asks by adding a spectral radius condition: What is the smallest constant $C$ such that for sufficiently large $n$, every graph $G$ of order $n$ with spectral radius greater than $C$ contains a long cycle in a planar graph? In this paper, we give a stronger answer to the above question. Let $G$ be a planar graph with order $n\geq 1.8\times 10^{17}$ and $k\leq \lfloor\log_2(n-3)\rfloor-8$ be a non-negative integer, we show that if $ρ(G)\geq ρ(K_2\vee(P_{n-2k-4}\cup 2P_{k+1}))$ then $G$ contains a cycle of length $\ell$ for every $\ell\in \{n-k, n-k-1, \ldots, 3\}$ unless $G\cong K_2\vee(P_{n-2k-4}\cup 2P_{k+1})$.
On the largest independent sets in the Kneser graph on chambers of PG(4,q)
Let $Γ_4$ be the graph whose vertices are the chambers of the finite projective $4$-space PG(4,q), with two vertices being adjacent if the corresponding chambers are in general position. For $q\geq 749 $ we show that $α:=(q^2+q+1)(q^3+2q^2+q+1)(q+1)^2$ is the independence number of $Γ_4$ and the geometric structure of independent sets with $α$ vertices is described.
Morse and Lusternik-Schnirelmann for graphs
Both Morse theory and Lusternik-Schnirelmann theory link algebra, topology and analysis in a geometric setting. The two theories can be formulated in finite geometries like graph theory or within finite abstract simplicial complexes. We work here mostly in graph theory and review the Morse inequalities b(k)-b(k-1) + ... + b(0) less of equal than c(k)-c(k-1) + ... + c(0) for the Betti numbers b(k) and the minimal number c(k) of Morse critical points of index k and the Lusternik-Schnirelmann inequalities cup+1 less or equal than cat less or equal than cri, between the algebraic cup length cup, the topological category cat and the analytic number cri counting the minimal number of critical points of a function.
Rainbow cycles through specified vertices
An edge-coloured cycle is rainbow if the edges have distinct colours. Let $G$ be a graph such that any $k$ vertices lie in a cycle of $G$. The $k$-rainbow cycle index of $G$, denoted by $crx_k(G)$, is the minimum number of colours required to colour the edges of $G$ such that, for every set $S$ of $k$ vertices in $G$, there exists a rainbow cycle in $G$ containing $S$. In this paper, we will first prove some results about the parameter $crx_k(G)$ for general graphs $G$. One of the results is a classification of all graphs $G$ such that $crx_k(G)=e(G)$, for $k=1,2$. We will also determine $crx_k(G)$ for some specific graphs $G$, including wheels, complete graphs, complete bipartite and multipartite graphs, and discrete cubes.
Monochromatic graph decompositions inspired by anti-Ramsey colorings
Published in Discrete Applied Mathematics, 363 (2025), 190-200
• Search Publication
We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent.
Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$.
The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erdős, Simonovits and Sós in 1973.
Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $χ_\mathcal{F}(G) = \min \{ χ(H) : H \in D(G|\mathcal{F}) \}$.
The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$.
(1) If $χ_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{χ_\mathcal{F}(G)})$.
(2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$.
Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more.
We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples.
For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones.