graph
35150 papers tagged with this keyword
A step towards the Erdős-Rogers problem
For $2\le k\le t<s$, the Erdős-Rogers function $f^{(k)}_{t,s}(N)$ denotes the largest $m$ such that every $K^{(k)}_s$-free $k$-graph on $N$ vertices contains a $K^{(k)}_t$-free induced subgraph on $m$ vertices. Mubayi and Suk (J. London Math. Soc. 2018) conjectured that $f^{(k)}_{k+1,k+2}(N)=(\log_{(k-2)}N)^{Θ(1)}$ for $k\ge 4$, where $\log_{(i)}$ denotes the $i$-fold iterated logarithm. This is equivalent to the statement that $f^{(k)}_{k+1,s}(N)=(\log_{(k-2)}N)^{Θ(1)}$ for every $s\ge k+2$.
In this paper, we introduce multi-color patterns into a random construction of a $2$-graph to build a $4$-graph, and for the first time, combine them with multi-layer extremum structures to prove that $f^{(4)}_{5,s}(N)=(\log \log N)^{Θ(1)}$ for every $s\ge 11$. More generally, using a variant of the Erdős-Hajnal stepping-up lemma, we also establish that $f^{(k)}_{k+1,s}(N)=(\log_{(k-2)}N)^{Θ(1)}$ for every $s\ge k+7$.
Every 3-connected $\{K_{1,4},K_{1,4}+e\}$-free split graph of order at least 13 is Hamilton-connected
A graph $G$ is $\{F_{1}, F_{2},\dots,F_{k}\}$-free if $G$ contains no induced subgraph isomorphic to any $F_{i}$ $(1\leq i \leq k)$. A connected graph $G$ is a split graph if its vertex set can be partitioned into a clique and an independent set. Ryjáček et al. [J. Comb. Theory, Ser. B 134 (2019) 239--263] conjectured that every $4$-connected $\{K_{1,4},K_{1,4}+e\}$-free graph with minimum degree at least 6 is Hamiltonian and they confirmed the case with connectivity at least 5, where $K_{1,4}+e$ is the graph obtained from $K_{1,4}$ by adding a new edge. In this paper, we show that every 3-connected $\{K_{1,4},K_{1,4}+e\}$-free split graph of order at least $13$ is Hamilton-connected. It implies that Ryjáček et al.'s conjecture holds for split graphs of order at least $13$.
Chvátal-Erdős condition for 2-factors with at most two components in graphs
It is well-known that Chvátal and Erdős stated that any graph of order at least three whose independence number is no greater than its connectivity is Hamiltonian; that any graph whose independence number is no greater than its connectivity minus one is Hamilton-connected; and that any graph whose independence number is no greater than its connectivity plus one is traceable. Kaneko and Yoshimoto [J. Graph Theory 43 (2003) 269--279] showed that every 4-connected graph of order at least six has a 2-factor with two components if its independence number is no greater than its connectivity. In this paper, we show that any connected graph of order at least three times its connectivity plus three has a 2-factor with at most two components, except for one exceptional class, if its independence number is no greater than its connectivity plus one. Our result is best possible.
Sharp threshold for universality of cokernels of classical random matrix models over the $p$-adic integers
We prove that $\frac{\log n}{n}$ is the sharp threshold for universality of the distribution of cokernels of random matrices over $\mathbb{Z}_p$. More precisely, let $α_n = \frac{c\log n}{n}$ for a constant $c>0$ and let $A(n)$ be an $α_n$-balanced random matrix over $\mathbb{Z}_p$. For non-symmetric, symmetric, and alternating matrix models, we prove that if $c>1$, then the limiting distribution of the cokernel of $A(n)$ coincides with the universal distribution of the corresponding symmetry type, whereas universality fails at the critical scale $c=1$. This improves earlier universality results, which required $α_n \gg \frac{\log n}{n}$, to the optimal threshold. As an application, we generalize the universality result for Sylow $p$-subgroups of sandpile groups of Erdős-Rényi random graphs to a broader class of Erdős-Rényi graph sequences. Our approach is based on a unified framework that simultaneously treats all symmetry types of random matrices as well as the random graph model, rather than handling each case separately.
Centered colorings and weak coloring numbers in minor-closed graph classes
Let $\mathcal{C}$ be a proper minor-closed class of graphs. Given the minors excluded in $\mathcal{C}$, we determine the maximum $q$-centered chromatic number and the maximum $q$th weak coloring number of graphs in $\mathcal{C}$ within an $\mathcal{O}(q)$-factor. Moreover, when $\mathcal{C}$ excludes a planar graph, we determine it within a constant factor. Our results imply that the $q$-centered chromatic number of $K_t$-minor-free graphs is in $\mathcal{O}(q^{t-1})$, improving on the previously known $\mathcal{O}(q^{h(t)})$ bound with a large and non-explicit function $h$. We include similar bounds for another family of parameters, the fractional treedepth fragility rates. All our bounds are proved via the same general framework.
Locally Irregular Total Colorings of Graphs
A total graph is an ordered triple $(V_0, V_1, E)$, where $V_0, V_1$ are the sets of empty and full vertices, respectively, $V_0 \cap V_1 = \emptyset$, and the set of edges $E$ is a subset of \(\binom{V_0 \cup V_1}{2}\) $(E\cap(V_0 \cup V_1)=\emptyset)$. A simple graph is a total graph in which all vertices are full. We say that a total graph $G$ is locally irregular if every two adjacent vertices have different total degrees, where by the total degree of a vertex $v$ in $G$ we mean the number of edges in $G$ that contain $v$ plus 1 if $v$ is full, or plus 0 if $v$ is empty. A total coloring of a graph $G$ whose colors induce locally irregular total subgraphs is called locally irregular total coloring, and the minimum number of colors required in such a coloring of $G$ is denoted by ${\rm tlir}(G)$. In 2015, Baudon, Bensmail, Przybyło, and Woźniak conjectured that ${\rm tlir}(G)\leq 2$ for every graph $G$. In this paper, we prove this conjecture for cacti, subcubic graphs, and split graphs. We also provide a general upper bound for ${\rm tlir}(G)$ depending on the chromatic number of $G$, and a constant upper bound if $G$ is planar or outerplanar. In our proofs, we utilize special decompositions of graphs and the connection between acyclic vertex coloring and locally irregular total coloring.
Cops and Robbers: A $\times$-homotopy Invariant Variant
Cops and Robbers is a pursuit-evasion game played on graphs, of which many variants have been developed and studied. We introduce a variant of this game, "Sneaky-Active Cops and Robbers", where all cops and robber must move on their turn, and where the robber is allowed to move onto a cop position without being captured. We show that for reflexive graphs, this game is equivalent to the classical cops and robbers and that the cop number for a graph is invariant under $\times$-homotopy equivalence. We then develop further properties of this game, computing cop numbers for a number of graph families and developing results about the behavior of categorical and box products of graphs.
Jacobian graphs
We introduce jacobian graphs, which are explicit families of regular graphs that are spectrally indistinguishable from random graphs, but whose local structure is very different from that of random graphs. The construction relies on the geometric properties of generalized jacobians of curves and on general equidistribution theorems for character sums over finite fields.
A characterization of graphs with $\a{\corona G}+\a{\core G}=2α(G)+1$
Published
• View Publication
• BIB
A Kőnig--Egerváry graph is a graph $G$ satisfying
$α(G)+μ(G)=n(G)$, where $α(G)$, $μ(G)$, and $n(G)$ denote the
independence number, the matching number, and the order of $G$, respectively.
Let $\textnormal{core}(G)$ and $\textnormal{corona}(G)$ be the intersection
and the union of all maximum independent sets of $G$.
In this paper, we provide a complete characterization of graphs satisfying
$\a{\corona G}+\a{\core G}=2α(G)+1$,
thus giving a solution to an open problem posed by Levit and Mandrescu.
It is known that for a non-Kőnig--Egerváry graph with a unique odd cycle,
the following hold:
$\ker G=\textnormal{core}(G),\allowbreak\
\left|\textnormal{corona}(G)\right|
+\left|\textnormal{core}(G)\right|
=2α(G)+1,\allowbreak\
\textnormal{corona}(G)\cup N(\textnormal{core}(G))=V(G)$.
We extend these three results to a family of graphs containing an
arbitrarily large number of odd cycles.
Core and Corona in 2-Bicritical Odd-Bicyclic Graphs
Let $\core G$ and $\corona G$ denote the intersection and the union, respectively, of all maximum independent sets of a graph $G$. A graph is called \emph{$2$-bicritical} if $\a{N(S)}>\a S$ for every nonempty independent set $S$. Pulleyblank 1979 showed that almost all graphs are $2$-bicritical.
In this paper, we study the structure of maximum independent sets in $2$-bicritical graphs with at most two odd cycles. Using ear--pendant decompositions, we obtain a complete structural classification of these graphs into four families: one-odd cycle, fused-odd, even-linked, and odd-linked graphs. For each family, we compute explicitly $α(G)$, $\core G$, and $\corona G$, and describe the corresponding matching structure.
We prove that $\a{\core G}+\a{\corona G}$ equals either $2α(G),2α(G)+1$ or $2α(G)+2$, and we give a complete, purely structural characterization of the graphs in each case in terms of the relative position of their odd cycles.
These results extend a theory originally developed for
König--Egerváry graphs and later for almost bipartite graphs
to a broader non-König--Egerváry setting.
Structural and Polynomial-Time Results on Core and Corona in Odd-Bicyclic Graphs
Let $\core G$ and $\corona G$ denote the intersection and the union, respectively, of all maximum independent sets of a graph $G$.
In this work, we show that for a graph with at most two odd cycles, $\a{\core G}+\a{\corona G}$ is equal to $2α(G)$, $2α(G)+1$, or $2α(G)+2$, and we precisely characterize when each value occurs.
We further characterize graphs with at most two odd cycles that admit the core--corona partition $V(G)=\corona G\ud N(\core G)$, extending known results for König--Egerváry and almost bipartite graphs.
Deciding whether $\core G=\emptyset$ is known to be \textbf{NP}-hard. As an algorithmic consequence of the obtained results, we show that the core, independence number and the corona can be computed in polynomial time for this class of graphs.
On Directed Graphs with the Same Sum over Arborescence Weights
We show that certain digraphs with the same vertex set but different arc sets have the same sum over the weights of all arborescences with a given root vertex. We relate our results to the Matrix-Tree Theorem and show how they provide a graphical approach for factoring matrix determinants.
The genus of configuration curves of planar linkages is generically odd
A one-degree-of-freedom graph is a graph obtained from a minimally rigid graph in the plane and removing an edge. For such graph, the set of realisations with fixed edge length, modulo rotations and reflections, is an algebraic curve. The genus of a connected component for generic edge lengths is a number that depends only on the graph. We prove that this genus is always odd, unless it is zero. The proof is based on tropical geometry.
An Improved Interpolation Theorem and Disproofs of Two Conjectures on 2-Connected Subgraphs
We prove that any \(2\)-connected graph \(G\) on \(n\) vertices with minimum degree \(δ(G) \ge \frac{n}{4}+2\) contains a \(2\)-connected subgraph of order \(k\) for every integer \(k\) with \(4 \le k \le n\). This improves a previous result of Yin and Wu. In \cite{YinWu-DAM-2026}, Yin and Wu proposed two conjectures. The first states that for any \(2\)-connected graph \(G\) of order \(n\) and size \(m\), there exists a \(2\)-connected subgraph of order \(k\) for each \(k \in \{4, \dots, n\}\) whenever \(m \ge \frac{1}{2} n^{3/2}\). The second conjecture asserts that the same conclusion holds under the alternative condition \(δ(G) \ge \sqrt{n}\). In this paper, we construct counterexamples that completely disprove the first conjecture. Furthermore, using the existence of \((v, k, 2)\)-Symmetric Balanced Incomplete Block designs (i.e., SBIBDs), we disprove the second conjecture for all \(n \in \{8, 14, 22, 32, 74, 112, 158\}\). Finally, we propose a conjecture of our own: for any \(2\)-connected graph \(G\) on \(n\) vertices with \(δ(G) \ge \frac{n}{k}\), where \(k \ge 3\) and \(n\) is sufficiently large, \(G\) contains a \(2\)-connected subgraph of every order from \(4\) to \(n\).
A note on a very abstract chromatic number and extremal problems
The abstract chromatic number was introduced by Razborov and Coregliano in 2020 in using the language of model theory, and was used to extend the Erd\H os-Stone-Simonovits theorem to graphs with extra structures. A purely combinatorial version was introduced by Gerbner, Hama Karim and Kucheriya in 2026, who also showed that in addition to the asymptotic bound on the Turán number, the abstract chromatic number determines the asymptotics of several other Turán-type functions.
We observe that the chromatic number is used here due to its special role in determining the asymptotics of the Turán number. For other extremal functions, other graph parameters may play a similar role and let us extend results in a similar fashion. We prove the appropriate generalizations and show two examples where this happens.
Finiteness of non-decomposable critically 4 and 5-frustrated signed graphs
Published
• View Publication
• BIB
A signed graph $(G,σ)$ is a graph $G$ with a signature $σ$ labeling each edge with a positive or negative sign. Two signatures of $G$ are switching equivalent if one is obtained from the other by changing the signs of all edges in an edge-cut. The frustration index of a signed graph $(G, σ)$ is the minimum number of negative edges among all signatures equivalent to $σ$. A signed graph is critically $k$-frustrated if it has frustration index $k$, and the removal of any edge decreases its frustration index. A critically $k$-frustrated signed graph is prime if it has no subdivided edge (including multiedge) and none of its subgraphs is the edge-disjoint union of critically frustrated signed graphs. Steffen and Naserasr et al. conjectured that for any positive integer $k$, there are finitely many prime critically $k$-frustrated signed graphs. The cases $k=1,2,3$ have been proved to be true recently by Cappello et al.. In this paper, we show that the conjecture holds when $k=4$ and $5$.
Universal cycle constructions for k-subsets and k-multisets
Published
• View Publication
• BIB
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S|that contains a representation of each element in S exactly once as a substring. If S is the set of k-subsets of [n] = {1, 2, . . . , n}, it is well-known that universal cycles do not always exists when applying a simple string representation, where 12 or 21 could represent the subset {1, 2}. Similarly, if S is the set of k-multisets of [n], it is also known that universal cycles do not always exist using a similar representation, where 112, 121, or 211 could represent the multiset {1, 1, 2}. By mapping these sets to an appropriate family of labeled graphs, universal cycles are known to exist, but without a known efficient construction. In this paper we consider a new representation for k-subsets and k-multisets that leads to efficient universal cycle constructions for all n, k >=2. We provide successor-rule algorithms to construct such universal cycles in O(n) time per symbol using O(n) space and demonstrate that necklace concatenation algorithms allow the same sequences to be generated in O(1) amortized time per symbol. They are the first known efficient universal cycle constructions for k-multisets. The results are obtained by considering constructions for bounded-weight de Bruijn sequences. In particular, we demonstrate that a bounded-weight generalization of the Grandmama de Bruijn sequence can be constructed in O(1) amortized time per symbol.
Broadcasting Agents and Adversary: A new variation on Cops and Robbers
We introduce a new game played on graphs, ``Agents and Adversary". This game is reminiscent of ``Cops and Robbers" but has some fundamental differences. We classify infinite families of graphs as Agents-win and Adversary-win. We then define a new type of graph symmetry and use it to define a winning strategy for Adversary. Finally, we give tight upper and lower bounds for Agents' time-to-win on several infinite families of graphs.
On the structure of the sandpile identity element on Sierpinski gasket graphs
We consider the identity of the abelian sandpile group of finite approximation graphs of the Sierpinski gasket, and we show that the second-order term in the scaling limit converges to the path distance to the nearest corner on the Sierpinski gasket. The proof relies on a decomposition of the identity of the sandpile group into the sum of a constant function and the Laplacian of the graph distance on the approximating graphs.
On Bipartite-Almost Bipartite Graphs and the Determinantal Factorization
Published
• View Publication
• BIB
A graph is almost bipartite if it contains exactly one odd cycle, and it is Konig-Egervary if the sum of the independence number and the matching number equals the order of the graph. We introduce the class of Bipartite-Almost Bipartite graphs (BAB-graphs), defined through a controlled union of a bipartite graph and several almost bipartite non-Konig-Egervary graphs. This family unifies and generalizes the previously studied classes of almost bipartite non-Konig-Egervary and R-disjoint graphs. While an almost bipartite non-Konig-Egervary graph contains a single odd cycle, an R-disjoint graph has exactly k pairwise disjoint odd cycles. A BAB-graph may contain many odd cycles that are not necessarily disjoint.
We describe the structure of BAB-graphs by means of the Gallai-Edmonds decomposition and obtain explicit expressions for nucleus(G), diadem(G), and ker(G), which allow us to extend several known results for the previous classes. Moreover, we show that the determinant of the adjacency matrix of a BAB-graph can be factorized in terms of the determinants of the adjacency matrices of its component graphs. As a consequence, we confirm the conjecture stating the validity of this factorization for R-disjoint graphs. Finally, we derive combinatorial consequences of these results and establish new bounds for |corona(G)| + |ker(G)|.