graph
34516 papers tagged with this keyword
$(2,4)$-Colorability of Planar Graphs Excluding $3$-, $4$-, and $6$-Cycles
A defective $k$-coloring is a coloring on the vertices of a graph using colors $1,2, \dots, k$ such that adjacent vertices may share the same color. A $(d_1,d_2)$-\emph{coloring} of a graph $G$ is a defective $2$-coloring of $G$ such that any vertex colored by color $i$ has at most $d_i$ adjacent vertices of the same color, where $i\in\{1,2\}$. A graph $G$ is said to be $(d_1,d_2)$-\emph{colorable} if it admits a $(d_1,d_2)$-coloring.
Defective $2$-coloring in planar graphs without $3$-cycles, $4$-cycles, and $6$-cycles has been investigated by Dross and Ochem, as well as Sittitrai and Pimpasalee. They showed that such graphs are $(0,6)$-colorable and $(3,3)$-colorable, respectively. In this paper, we proved that these graphs are also $(2,4)$-colorable.
Bollobás-Nikiforov conjecture holds asymptotically almost surely
Bollobás and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $ω(G)$, then $
λ_{1}^{2}+λ_{2}^{2}\leq 2e(G)\left(1-\frac{1}{ω(G)}\right), $ where $λ_{1}$ and $λ_{2}$ are the largest and the second largest eigenvalues of the adjacency matrix of $G$, respectively. In this paper, we prove that for a sequence of random graphs the conjecture holds true with probability tending to one as the number of vertices tends to infinity.
Edge ideals and their asymptotic syzygies
Let $G$ be a finite simple graph, and let $I(G)$ denote its edge ideal. In this paper, we investigate the asymptotic behavior of the syzygies of powers of edge ideals through the lens of homological shift ideals $\text{HS}_i(I(G)^k)$. We introduce the notion of the $i$th homological strong persistence property for monomial ideals $I$, providing an algebraic characterization that ensures the chain of inclusions $\text{Ass}\,\text{HS}_i(I)\subseteq\text{Ass}\,\text{HS}_i(I^2)\subseteq\text{Ass}\,\text{HS}_i(I^3) \subseteq\cdots$. We prove that edge ideals possess both the $0$th and $1$st homological strong persistence properties. To this end, we explicitly describe the first homological shift algebra of $I(G)$ and show that $\text{HS}_1(I(G)^{k+1}) = I(G) \cdot \text{HS}_1(I(G)^k)$ for all $k \ge 1$. Finally, we conjecture that if $I(G)$ has a linear resolution, then $\text{HS}_i(I(G)^k)$ also has a linear resolution for all $k \gg 0$, and we present partial results supporting this conjecture.
Borel fractional perfect matchings in quasi-transitive amenable graphs
We show that if a locally finite Borel graph with quasitransitive amenable components admits a fractional perfect matching, it will admit a Borel fractional perfect matching. In particular, if a countable amenable quasitransitive graph admits a fractional perfect matching then its Bernoulli graph admits a Borel fractional perfect matching.
Stable Set Polytopes with Rank $|V(G)|/3$ for the Lovász--Schrijver SDP Operator
We study the lift-and-project rank of the stable set polytope of graphs with respect to the Lovász--Schrijver SDP operator $\text{LS}_+$ applied to the fractional stable set polytope. In particular, we show that for every positive integer $\ell$, the smallest possible graph with $\text{LS}_+$-rank $\ell$ contains $3\ell$ vertices. This result is sharp and settles a conjecture posed by Lipták and the second author in 2003, as well as answers a generalization of a problem posed by Knuth in 1994. We also show that for every positive integer $\ell$ there exists a vertex-transitive graph on $4\ell+12$ vertices with $\text{LS}_+$-rank at least $\ell$.
Strengthened upper bound on the third eigenvalue of graphs
Let $G$ be a graph on $n \ge 3$ vertices, whose adjacency matrix has eigenvalues $λ_1 \ge λ_2 \ge \dots \ge λ_n$. The problem of bounding $λ_k$ in terms of $n$ was first proposed by Hong and was studied by Nikiforov, who demonstrated strong upper and lower bounds for arbitrary $k$. Nikiforov also claimed a strengthened upper bound for $k \ge 3$, namely that $\frac{λ_k}{n} < \frac{1}{2\sqrt{k-1}} - \varepsilon_k$ for some positive $\varepsilon_k$, but omitted the proof due to its length. In this paper, we give a proof of this bound for $k = 3$. We achieve this by instead looking at $λ_{n-1} + λ_n$ and introducing a new graph operation which provides structure to minimising graphs, including $ω\le 3$ and $χ\le 4$. Then we reduce the hypothetical worst case to a graph that is $n/2$-regular and invariant under said operation. By considering a series of inequalities on the restricted eigenvector components, we prove that a sequence of graphs with $\frac{λ_{n-1} + λ_n}{n}$ converging to $-\frac{\sqrt{2}}{2}$ cannot exist.
3D-grids are not transducible from planar graphs
We prove that the class of 3D-grids is cannot be transduced from planar graphs, and more generally, from any class of graphs of bounded Euler genus. To prove our result, we introduce a new structural tool called slice decompositions, and show that every graph class transducible from a class of graphs of bounded Euler genus is a perturbation of a graph class that admits slice decompositions.
A rainbow Dirac theorem for loose Hamilton cycles in hypergraphs
Published
• View Publication
• BIB
A meta-conjecture of Coulson, Keevash, Perarnau and Yepremyan states that above the extremal threshold for a given spanning structure in a (hyper-)graph, one can find a rainbow version of that spanning structure in any suitably bounded colouring of the host (hyper-)graph. We solve one of the most pertinent outstanding cases of this conjecture, by showing that for any $1\leq j\leq k-1$, if $G$ is a $k$-uniform hypergraph above the $j$-degree threshold for a loose Hamilton cycle, then any globally bounded colouring of $G$ contains a rainbow loose Hamilton cycle.
Circle graphs and the automorphism group of the circle
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$.
We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
Chip-Firing on Infinite $k$-ary Trees
We use an infinite $k$-ary tree with a self-loop at the root as our underlying graph. We consider a chip-firing process starting with $N$ chips at the root. We describe the stable configurations. We calculate the number of fires for each vertex and the total number of fires. We study a sequence of the number of root fires for a given $k$ as a function of $N$ and study its properties. We do the same for the total number of fires.
The Rainbow Saturation Number of Cycles
An edge-coloring of a graph $H$ is a function $\mathcal{C}: E(H) \rightarrow \mathbb{N}$. We say that $H$ is rainbow if all edges of $H$ have different colors. Given a graph $F$, an edge-colored graph $G$ is $F$-rainbow saturated if $G$ does not contain a rainbow copy of $F$, but the addition of any nonedge with any color on it would create a rainbow copy of $F$. The rainbow saturation number $rsat(n,F)$ is the minimum number of edges in an $F$-rainbow saturated graph with order $n$. In this paper we proved several results on cycle rainbow saturation. For $n \geq 5$, we determined the exact value of $rsat(n,C_4)$. For $ n \geq 15$, we proved that $\frac{3}{2}n-\frac{5}{2} \leq rsat(n,C_{5}) \leq 2n-6$. For $r \geq 6$ and $n \geq r+3$, we showed that $ \frac{6}{5}n \leq rsat(n,C_r) \leq 2n+O(r^2)$. Moreover, we establish better lower bound on $C_r$-rainbow saturated graph $G$ while $G$ is rainbow.
Strong Ramsey game on two boards
The strong Ramsey game $R(\mathcal{B}, H)$ is a two-player game played on a graph $\mathcal{B}$, referred to as the board, with a target graph $H$. In this game, two players, $P_1$ and $P_2$, alternately claim unclaimed edges of $\mathcal{B}$, starting with $P_1$. The goal is to claim a subgraph isomorphic to $H$, with the first player achieving this declared the winner. A fundamental open question, persisting for over three decades, asks whether there exists a graph $H$ such that in the game $R(K_n, H)$, $P_1$ does not have a winning strategy in a bounded number of moves as $n \to \infty$.
In this paper, we shift the focus to the variant $R(K_n \sqcup K_n, H)$, introduced by David, Hartarsky, and Tiba, where the board $K_n \sqcup K_n$ consists of two disjoint copies of $K_n$. We prove that there exist infinitely many graphs $H$ such that $P_1$ cannot win in $R(K_n \sqcup K_n, H)$ within a bounded number of moves through a concise proof. This perhaps provides evidence for the existence of examples to the above longstanding open problem.
Relative Turán densities of ordered graphs
We introduce a modification of the Turán density of ordered graphs and investigate this graph parameter.
On decycling and forest numbers of Cartesian products of trees
Published in Bull. Malays. Math. Sci. Soc. 48 (2025) Paper 200, 9 pp
• View Publication
• BIB
The decycling number $\nabla(G)$ of a graph $G$ is the minimum number of vertices that must be removed to eliminate all cycles in $G$. The forest number $f(G)$ is the maximum number of vertices that induce a forest in $G$. So $\nabla(G) + f(G) = |V(G)|$. For the Cartesian product $T \,\square\, T'$ of trees $T$ and $T'$ it is proved that $\nabla(S_n \,\square\, S_{n'}) \leq \nabla(T \,\square\, T')$, thus resolving the conjecture of Wang and Wu asserting that $f(T \,\square\, T') \leq f(S_n \,\square\, S_{n'})$. It is shown that $\nabla(T \,\square\, T') \ge |V(T)| - 1$ and the equality cases characterized. For prisms over trees, it is proved that $\nabla(T\,\square\, K_2) = α'(T)$, and for arbitrary graphs $G_1$ and $G_2$, it is proved that $\nabla(G_1 \,\square\, G_2) \geq α'(G_1) α'(G_2)$, where $α'$ is the matching number.
Feedback Arc Sets and Feedback Arc Set Decompositions in Weighted and Unweighted Oriented Graphs
Let $D=(V(D),A(D))$ be a digraph with at least one directed cycle. A set $F$ of arcs is a feedback arc set (FAS) if $D-F$ has no directed cycle. The FAS decomposition number ${\rm fasd}(D)$ of $D$ is the maximum number of pairwise disjoint FASs whose union is $A(D)$. The directed girth $g(D)$ of $D$ is the minimum length of a directed cycle of $D$. Note that ${\rm fasd}(D)\le g(D).$ The FAS decomposition number appears in the well-known and far-from-solved conjecture of Woodall (1978) stating that for every planar digraph $D$ with at least one directed cycle, ${\rm fasd}(D)=g(D).$ The degree of a vertex of $D$ is the sum of its in-degree and out-degree.
Let $D$ be an arc-weighted digraph and let ${\rm fas}_w(D)$ denote the minimum weight of its FAS. In this paper, we study bounds on ${\rm fasd}(D)$, ${\rm fas}_w(D)$ and ${\rm fas}(D)$ for arc-weighted oriented graphs $D$ (i.e., digraphs without opposite arcs) with upper-bounded maximum degree $Δ(D)$ and lower-bounded $g(D)$. Note that these parameters are related: ${\rm fas}_w(D)\le w(D)/{\rm fasd}(D)$, where $w(D)$ is the total weight of $D$, and ${\rm fas}(D)\le |A(D)|/{\rm fasd}(D).$ In particular, we prove the following: (i) If $Δ(D)\leq~4$ and $g(D)\geq 3$, then ${\rm fasd}(D) \geq 3$ and therefore ${\rm fas}_w(D)\leq \frac{w(D)}{3}$ which generalizes a known tight bound for an unweighted oriented graph with maximum degree at most 4; (ii) If $Δ(D)\leq 3$ and $g(D)\in \{3,4,5\}$, then ${\rm fasd}(D)=g(D)$; (iii) If $Δ(D)\leq 3$ and $g(D)\ge 8$ then ${\rm fasd}(D)<g(D).$ We also give some bounds for the cases when $Δ$ or $g$ are large and state several open problems and a conjecture.
The palette index of the Cartesian product of paths, cycles and regular graphs
The palette of a vertex v in a graph G is the set of colors assigned to the edges incident to v. The palette index of G is the minimum number of distinct palettes among the vertices, taken over all proper edge colorings of G. This paper presents results on the palette index of the Cartesian product $G \Box H$, where one of the factor graphs is a path or a cycle. Additionally, it provides exact results and bounds on the palette index of the Cartesian product of two graphs, where one factor graph is isomorphic to a regular or class 1 nearly regular graph.
Col is PSPACE-complete on Triangular Grids
We demonstrate that Col is PSPACE-complete on triangular grid graphs via a reduction from Bounded Two-Player Constraint Logic. This is the most structured graph family that Col is known to be computationally hard for.
Mim-Width is paraNP-complete
We show that it is NP-hard to distinguish graphs of linear mim-width at most 1211 from graphs of sim-width at least 1216. This implies that Mim-Width, Sim-Width, One-Sided Mim-Width, and their linear counterparts are all paraNP-complete, i.e., NP-complete to compute even when upper bounded by a constant.
On the Existence of Partition of the Hypercube Graph into 3 Initial Segments
Let $Q_n = \{0, 1\}^n$ be a hypercube graph. The initial segment $I_k \subseteq Q_n$ is the subset consisting of the first $k$ vertices of $Q_n$ in the binary order. A pair of integers $(a, b) \in \mathbb{Z}_{>0}^2$ is said to be fit if, whenever $2^n \geq a+b$, there exists $g_1, g_2 \in \text{Aut}(Q_n)$ such that $g_1(I_a) \cup g_2(I_b) = I_{a+b}$, and $(a,b)$ is unfit otherwise. For $a + b + c = 2^n$, there is a partition of $Q_n$ into $3$ initial segments of length $a, b$, and $c$ if and only if $(a, b)$ is a fit pair. Thus, the notion of fit and unfit pairs is closely related to the graph-partition problem for hypercube graphs. This paper introduces a new criterion in determining whether $(a,b)$ is fit using an easy-to-compute point-counting function and applies this criterion to generate the set of all unfit pairs. It further shows that the number of unfit pairs $(a,b)$, where $0 < a,b \leq 2^n$, is $4^n - \binom{4}{1}3^n + \binom{4}{2} 2^n - \binom{4}{1}$, which is also the number of surjection of an $n$-element set to a $4$-element set.
Graphs with Independent Exact $r$-covers for all $r$
For every natural number $d$, we construct finite $d$-regular simple graphs that, for every $r \le d$, contain an independent exact $r$-cover. This answers a question of Gray and Johnson that arose in their study of 2-step transit probabilities.
We obtain some divisibility conditions on the order $n$ of graphs that for every $r \le d$ contain an independent exact $r$-cover, and give constructions for $d=3, 4, 5, 6$ where the order of the graph is minimal (we deduce this minimality from our divisibility conditions). We construct these graphs as common coverings of smaller graphs. We revisit a result of Angluin and Gardiner on finite common coverings of two regular graphs of the same degree, and the result of Gross that regular graphs of even degree are Schreier coset graphs. We combine both results to provide a finite common covering of two regular graphs of the same degree, that uses fewer vertices than the construction of Angluin and Gardiner in some cases.