graph
35273 papers tagged with this keyword
On Oriented Diameter of Power Graphs
Published
• View Publication
• BIB
In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at least $3$. Moreover, we provide necessary and sufficient conditions for the oriented diameter of $2$-edge connected power graphs of finite non-cyclic nilpotent groups to be either $3$ or $4$. This, in turn, gives an algorithm for computing the oriented diameter of the power graph of a given nilpotent group that runs in time polynomial in the size of the group.
Bootstrap percolation on rhombus tilings
2-boostrap percolation on a graph is a diffusion process where a vertex gets infected whenever it has at least 2 infected neighbours, and then stays infected forever. It has been much studied on the infinite grid for random Bernoulli initial configurations, starting from the seminal result of van Enter that establishes that the entire grid gets almost surely entirely infected for any non-trivial initial probability of infection. In this paper, we generalize this result to any adjacency graph of any rhombus tiling of the plane, including aperiodic ones like Penrose tilings. We actually show almost sure infection of the entire graph for a larger class of measure than non-trivial Bernoulli ones. Our proof strategy combines a geometry toolkit for infected clusters based on chain-convexity, and uniform probabilistic bounds on particular geometric patterns that play the role of 0-1 laws or ergodicity, which are not available in our settings due to the lack of symmetry of the graph considered.
The First Zagreb Index Conditions for Some Hamiltonian Properties of Graphs
Let $G = (V, E)$ be a graph. The first Zagreb index of a graph $G$ is defined as $\sum_{u \in V} d^2(u)$, where $d(u)$ is the degree of vertex $u$ in $G$. Using the Pólya-Szegő inequality, we in this paper present the first Zagreb index conditions for some Hamiltonian properties of a graph and an upper bound for the first Zagreb index of a graph.
On a question of Erdős and Nešetřil about minimal cuts in a graph
Answering a question of Erdős and Nešetřil, we show that the maximum number of inclusion-wise minimal vertex cuts in a graph on $n$ vertices is at most $1.8899^n$ for large enough $n$.
On the critical group of the k-partite graph
Published
• View Publication
• BIB
The critical group of a connected graph is closely related to the graph Laplacian, and is of high research value in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. In this paper, we study the k-partite graphs and introduce an algorithm to get the structure of their critical groups by calculating the Smith normal forms of their graph Laplacians. When k is from 2 to 6, we characterize the structure of the critical groups completely, which can generalize the results of the complete bipartite graphs.
Cubic graphs with no eigenvalues in the interval (-1,1)
Published
• View Publication
• BIB
We give a complete characterisation of the cubic graphs with no eigenvalues in the open interval $(-1,1)$. There are two infinite families, one due to Guo and Mohar [Linear Algebra Appl. 449:68--75] the other due to Kollár and Sarnak [Communications of the AMS. 1,1--38], and $14$ "sporadic" graphs on at most $32$ vertices. This allows us to show that $(-1,1)$ is a maximal spectral gap set for cubic graphs. Our techniques including examination of various substructure and an application of the classification of generalized line graphs.
Characterization of Circular-arc Graphs: III. Chordal Graphs
We identify all minimal chordal graphs that are not circular-arc graphs, thereby resolving one of ``the main open problems'' concerning the structures of circular-arc graphs as posed by Dur{á}n, Grippo, and Safe in 2011. The problem had been attempted even earlier, and previous efforts have yielded partial results, particularly for claw-free graphs and graphs with an independence number of at most four. The answers turn out to have very simple structures: all the nontrivial ones belong to a single family. Our findings are based on a structural study of McConnell's flipping, which transforms circular-arc graphs into interval graphs with certain representation patterns.
Packing and finding paths in sparse random graphs
Let $G\sim G(n,p)$ be a (hidden) Erdős-Rényi random graph with $p=(1+ \varepsilon)/n$ for some fixed constant $ \varepsilon >0$. Ferber, Krivelevich, Sudakov, and Vieira showed that to reveal a path of length $\ell=Ω\left(\frac{\log(1/ \varepsilon)}{ \varepsilon}\right)$ in $G$ with high probability, one must query the adjacency of $Ω\left(\frac{\ell}{p \varepsilon\log(1/ \varepsilon)}\right)$ pairs of vertices in $G$, where each query may depend on the outcome of all previous queries. Their result is tight up to the factor of $\log(1/ \varepsilon)$ in both $\ell$ and the number of queries, and they conjectured that this factor could be removed. We confirm their conjecture. The main ingredient in our proof is a result about path-packings in random labelled trees of independent interest. Using this, we also give a partial answer to a related question of Ferber, Krivelevich, Sudakov, and Vieira. Namely, we show that when $\ell=o\left((t/\log t)^{1/3}\right)$, the maximum number of vertices covered by edge-disjoint paths of length at least $\ell$ in a random labelled tree of size $t$ is $Θ(t/\ell)$ with high probability.
Random sampling of permutations through quantum circuits
Published
• View Publication
• BIB
In this paper, we introduce a classical algorithm for random sampling of permutations, drawing inspiration from the Steinhaus-Johnson-Trotter algorithm. Our approach takes a comprehensive view of permutation sampling by expressing them as products of adjacent transpositions. Building on this, we develop a quantum analogue of the classical algorithm using a quantum circuit model for random sampling of permutations. As an application, we present a quantum algorithm for the two-sample randomization test to assess the difference of means in classical data. Finally, we propose a nested corona product graph generative model for symmetric groups, which facilitates random sampling of permutations from specific sets of permutations through a quantum circuit model.
Paths, Ends and The Separation Problem for Infinite Graphs
Published in Discrete Applied Mathematics, Volume 386, 15 June 2026, Pages 139-155
• View Publication
• BIB
We introduce and study the Separation Problem for infinite graphs, which involves determining whether a connected graph splits into at least two infinite connected components after the removal of a given finite set of edges. We prove that this problem is decidable for every highly computable graph with finitely many ends. Using this result, we demonstrate that König's Infinity Lemma is effective for such graphs. We also apply it to analyze the complexity of the Eulerian Path Problem for infinite graphs, showing that much of its complexity arises from counting ends. Indeed, the Eulerian Path Problem becomes strictly easier when restricted to graphs with a fixed number of ends. Under this restriction, we provide a complete characterization of the problem. Finally, we study the Separation Problem in a uniform setting (i.e., where the graph is also part of the input) and offer a nearly complete characterization of its complexity and its relationship to counting the number of ends.
Bipartite graphs are $(\frac{4}{5}-\varepsilon) \fracΔ{\log Δ}$-choosable
Alon and Krivelevich conjectured that if $G$ is a bipartite graph of maximum degree $Δ$, then the choosability (or list chromatic number) of $G$ satisfies $χ_{\ell}(G) = O \left ( \log Δ\right )$. Currently, the best known upper bound for $χ_{\ell}(G)$ is $(1 + o(1)) \fracΔ{\log Δ}$, which also holds for the much larger class of triangle-free graphs. We prove that for $\varepsilon = 10^{-3}$, every bipartite graph $G$ of sufficiently large maximum degree $Δ$ satisfies $χ_{\ell}(G) < (\frac{4}{5} -\varepsilon) \fracΔ{\log Δ}$. This improved upper bound suggests that list coloring is fundamentally different for bipartite graphs than for triangle-free graphs and hence gives a step toward solving the conjecture of Alon and Krivelevich.
Regularity of two classes of Cohen-Macaulay binomial edge ideals
Some recent investigations indicate that for the classification of Cohen-Macaulay binomial edge ideals, it suffices to consider biconnected graphs with some whiskers attached (in short, `block with whiskers'). This paper provides explicit combinatorial formulae for the Castelnuovo-Mumford regularity of two specific classes of Cohen-Macaulay binomial edge ideals: (i) chain of cycles with whiskers and (ii) $r$-regular $r$-connected block with whiskers. For the first type, we introduce a new invariant of graphs in terms of the number of blocks in certain induced block graphs, and this invariant may help determine the regularity of other classes of binomial edge ideals. For the second type, we present the formula as a linear function of $r$.
Uniquely colorable hypergraphs
An $r$-uniform hypergraph is uniquely $k$-colorable if there exists exactly one partition of its vertex set into $k$ parts such that every edge contains at most one vertex from each part. For integers $k \ge r \ge 2$, let $Φ_{k,r}$ denote the minimum real number such that every $n$-vertex $k$-partite $r$-uniform hypergraph with positive codegree greater than $Φ_{k,r} \cdot n$ and no isolated vertices is uniquely $k$-colorable. A classic result by of Bollobás\cite{Bol78} established that $Φ_{k,2} = \frac{3k-5}{3k-2}$ for every $k \ge 2$.
We consider the uniquely colorable problem for hypergraphs. Our main result determines the precise value of $Φ_{k,r}$ for all $k \ge r \ge 3$. In particular, we show that $Φ_{k,r}$ exhibits a phase transition at approximately $k = \frac{4r-2}{3}$, a phenomenon not seen in the graph case. As an application of the main result, combined with a classic theorem by Frankl--Füredi--Kalai, we derive general bounds for the analogous problem on minimum positive $i$-degrees for all $1\leq i<r$, which are tight for infinitely many cases.
Subgraph-universal planar graphs for trees
Published
• View Publication
• BIB
We show that there exists an outerplanar graph on $O(n^{c})$ vertices for $c = \log_2(3+\sqrt{10}) \approx 2.623$ that contains every tree on $n$ vertices as a subgraph. This extends a result of Chung and Graham from 1983 who showed that there exist (non-planar) $n$-vertex graphs with $O(n \log n)$ edges that contain all trees on $n$ vertices as subgraphs and a result from Gol'dberg and Livshits from 1968 who showed that there exists a universal tree for $n$-vertex trees on $n^{O(\log(n))}$ vertices.
Furthermore, we determine the number of vertices needed in the worst case for a planar graph to contain three given trees as subgraph to be on the order of $\frac{3}{2}n$, even if the three trees are caterpillars. This answers a question recently posed by Alecu et al. in 2024.
Lastly, we investigate (outer)planar graphs containing all (outer)planar graphs as subgraph, determining exponential lower bounds in both cases. We also construct a planar graph on $n^{O(\log(n))}$ vertices containing all $n$-vertex outerplanar graphs as subgraphs.
On the fractional matching extendability of Cayley graphs of Abelian groups
Published in Published in the Electronic Journal of Combinatorics, 32 (2025), no. 3, Paper No. 3.9, 22 pp
• View Publication
• BIB
Fractional matching extendability is a concept that brings together two widely studied topics in graph theory, namely that of fractional matchings and that of matching extendability. A {\em fractional matching} of a graph $Γ$ with edge set $E$ is a function $f$ from $E$ to the real interval $[0,1]$ with the property that for each vertex $v$ of $Γ$, the sum of $f$-values of all the edges incident to $v$ is at most $1$. When this sum equals $1$ for each vertex $v$, the fractional matching is {\em perfect}. A graph of order at least $2t+1$ is {\em fractional $t$-extendable} if it contains a matching of size $t$ and if each such matching $M$ can be extended to a fractional perfect matching in the sense that the corresponding function $f$ assigns value $1$ to each edge of $M$.
In this paper, we study fractional matching extendability of Cayley graphs of Abelian groups. We show that, except for the odd cycles, all connected Cayley graphs of Abelian groups are fractional $1$-extendable and we classify the fractional $2$-extendable Cayley graphs of Abelian groups. This extends the classification of $2$-extendable (in the classical sense) connected Cayley graphs of Abelian groups of even order from 1995, obtained by Chan, Chen and Yu.
Intersection Graphs with and without Product Structure
A graph class $\mathcal{G}$ admits product structure if there exists a constant $k$ such that every $G \in \mathcal{G}$ is a subgraph of $H \boxtimes P$ for a path $P$ and some graph $H$ of treewidth $k$. Famously, the class of planar graphs, as well as many beyond-planar graph classes are known to admit product structure. However, we have only few tools to prove the absence of product structure, and hence know of only a few interesting examples of classes. Motivated by the transition between product structure and no product structure, we investigate subclasses of intersection graphs in the plane (e.g., disk intersection graphs) and present necessary and sufficient conditions for these to admit product structure. Specifically, for a set $S \subset \mathbb{R}^2$ (e.g., a disk) and a real number $α\in [0,1]$, we consider intersection graphs of $α$-free homothetic copies of $S$. That is, each vertex $v$ is a homothetic copy of $S$ of which at least an $α$-portion is not covered by other vertices, and there is an edge between $u$ and $v$ if and only if $u \cap v \neq \emptyset$. For $α= 1$ we have contact graphs, which are in most cases planar, and hence admit product structure. For $α= 0$ we have (among others) all complete graphs, and hence no product structure. In general, there is a threshold value $α^*(S) \in [0,1]$ such that $α$-free homothetic copies of $S$ admit product structure for all $α> α^*(S)$ and do not admit product structure for all $α< α^*(S)$. We show for a large family of sets $S$, including all triangles and all trapezoids, that it holds $α^*(S) = 1$, i.e., we have no product structure, except for the contact graphs (when $α= 1$). For other sets $S$, including regular $n$-gons for infinitely many values of $n$, we show that $0 < α^*(S) < 1$ by proving upper and lower bounds.
Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs
The classical Crossing Lemma by Ajtai et al.~and Leighton from 1982 gave an important lower bound of $c \frac{m^3}{n^2}$ for the number of crossings in any drawing of a given graph of $n$ vertices and $m$ edges. The original value was $c= 1/100$, which then has gradually been improved. Here, the bounds for the density of $k$-planar graphs played a central role. Our new insight is that for $k=2,3$ the $k$-planar graphs have substantially fewer edges if specific local configurations that occur in drawings of $k$-planar graphs of maximum density are forbidden. Therefore, we are able to derive better bounds for the crossing number $\text{cr}(G)$ of a given graph $G$. In particular, we achieve a bound of $\text{cr}(G) \ge \frac{37}{9}m-\frac{155}{9}(n-2)$ for the range of $5n < m \le 6n$, while our second bound $\text{cr}(G) \ge 5m - \frac{203}{9}(n-2)$ is even stronger for larger $m>6n$.
For $m > 6.77n$, we finally apply the standard probabilistic proof from the BOOK and obtain an improved constant of $c>1/27.48$ in the Crossing Lemma. Note that the previous constant was $1/29$. Although this improvement is not too impressive, we consider our technique as an important new tool, which might be helpful in various other applications.
On S-Packing Coloring of Subcubic Graphs
Given a sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers with $s_1 \leq s_2 \leq \ldots \leq s_k$, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into $k$ subsets $V_1, V_2, \ldots, V_k$ such that for each $1 \leq i \leq k$ the distance between any two distinct $x, y \in V_i$ is at least $s_i + 1$. In 2023, Yang and Wu proved that all 3-irregular subcubic graphs are $(1,1,3)$-packing colorable. In 2024, Mortada and Togni proved that every 1-saturated subcubic graph is $(1, 1, 2)$-packing colorable. In this paper, we provide new, concise proofs for these two theorems using a novel tool.
An exploration of the balance game
The balance game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting unlabeled vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. Let $e_0$ and $e_1$ denote the number of edges labeled by $0$ and $1$ after all the vertices are labeled. The discrepancy in the balance game is defined as $d = e_1 - e_0$. The two players have opposite goals: Admirable attempts to minimize the discrepancy $d$ while Impish attempts to maximize $d$. When (A) makes the first move in the game, the (A)-start game balance number, $b^A_g(G)$, is the value of $d$ when both players play optimally, and when (I) makes the first move in the game, the (I)-start game balance number, $b^I_g(G)$, is the value of $d$ when both players play optimally. Among other results, we show that if $G$ has order $n$, then $-\log_2(n) \le b^A_g(G) \le \frac{n}{2}$ if $n$ is even and $0 \le b^A_g(G) \le \frac{n}{2} + \log_2(n)$ if $n$ is odd. Moreover we show that $b^A_g(G) + b^I_g(\overline{G}) = \lfloor n/2 \rfloor$.
Online Ramsey numbers of ordered graphs
Published
• View Publication
• BIB
The online ordered Ramsey game is played between two players, Builder and Painter, on an infinite sequence of vertices with ordered graphs $(G_1,G_2)$, which have linear orderings on their vertices. On each turn, Builder first selects an edge before Painter colors it red or blue. Builder's objective is to construct either an ordered red copy of $G_1$ or an ordered blue copy of $G_2$, while Painter's objective is to delay this for as many turns as possible. The online ordered Ramsey number $r_o(G_1,G_2)$ is the number of turns Builder takes to win in the case that both players play optimally.
Few lower bounds are known for this quantity. In this paper, we introduce a succinct proof of a new lower bound based on the maximum left- and right-degrees in the ordered graphs. We also upper bound $r_o(G_1,G_2)$ in two cases: when $G_1$ is a cycle and $G_2$ a complete bipartite graph, and when $G_1$ is a tree and $G_2$ a clique.