graph
35150 papers tagged with this keyword
Sparse counting lemma for $K_4$
The sparse analogue of Szemerédi's regularity method has played a central role in the development of extremal results for random graphs. While the sparse embedding lemma (the KLR conjecture) has been resolved, the corresponding sparse counting lemma remains widely open. The conjecture, formulated by Gerke, Marciniszyn, and Steger, states that for every fixed graph $H$ and any $β>0$, there exists $\varepsilon>0$ such that the following holds. Consider a balanced blow-up of $H$ with vertex classes of size $n$, where each pair corresponding to an edge of $H$ forms an $(\varepsilon)$-regular bipartite graph with exactly $m$ edges. Assume that $m$ is above the natural threshold $m \gg n^{2-1/m_2(H)}$, then all but a $β^m$ proportion of such graphs contain at least $(1-δ)$ times the expected number of copies of $H$.
At present, among the complete graphs, the conjecture is known only for $H=K_3$. In this paper, we establish the $H=K_4$ case of the conjecture.
Simplex Layers and Phase Boundaries in the Partition Graph
For the partition graph $G_n$ on the set of partitions of $n$, we study the stratification induced by the local simplex dimension $\dim_{\mathrm{loc}}(λ)$, defined as the maximal dimension of a simplex of the clique complex $K_n=\mathrm{Cl}(G_n)$ containing $λ$. Using the previously established description of maximal cliques through a vertex in terms of star and top capacities, we define the simplex layers $L_r(n):=\{λ\vdash n:\dim_{\mathrm{loc}}(λ)=r\}$ and study their global structure. We formalize the resulting layer stratification, rewrite layer membership in terms of local capacities, and record its basic consequences, including conjugation invariance. We then investigate first occurrence of layers across $n$, introducing the indices $n_r^{\mathrm{first}}$ and the corresponding first-occurrence sets $\mathcal{F}_r$. For the initial layer values, we obtain explicit exact results; more generally, we record a finite first-occurrence table and several natural sequence questions. We also define the adjacent-layer edge boundary $\partial^E_{r,r+1}(n)$, consisting of edges joining $L_r(n)$ to $L_{r+1}(n)$, together with the associated one-sided and vertex-boundary variants. This provides an exact interface language for the layer stratification, distinct from the broader shell-type geometric language used elsewhere in the project.
Construction of additively graceful signed graphs-I
In this paper, we construct additively graceful signed graphs S from a given graph G that may be additively graceful or not be additively graceful. We also show the construction of additively graceful signed graphs from additively graceful signed graphs. We find the values of m, n in non-divisible sum graph, denoted as G(m, n), that admit additively graceful labeling.
Graphs of group actions and group actions on trees
Bass-Serre theory provides a powerful framework for studying group actions on trees. While extremely effective for structural questions in group theory, it is less suited to the systematic construction of group actions with prescribed local behaviour. Motivated by local-to-global constructions such as the Burger-Mozes universal groups and local action diagrams, we develop an analogue of Bass-Serre theory for group actions.
The central object of study in our are graphs of group actions, combinatorial structures similar to graphs of groups from Bass-Serre theory, encoding compatible local permutation actions on a base graph. From these we can construct groups which act on tree-like graphs called scaffoldings and hence also on trees.
We prove uniqueness and universality results for the resulting groups and show that our framework unifies and generalises (among other known constructions) both graphs of groups and local action diagrams. Remarkably, we are able to encapsulate the full generality of the former while still allowing for efficient construction of groups with certain local properties like in the latter.
Note on the thickness of the Cartesian product of a complete graph and a path
We determine the thickness of the Cartesian product $K_{6p+4} \square P_2$ for $p \ge 0$ and of the Cartesian product $K_8 \square P_m$ for $m \ge 1$, where $K_n$ and $P_m$ denote the complete graph on $n$ vertices and the path on $m$ vertices, respectively.
A characterization of graphs with no $K_{3,4}$ minor
A complete structural characterization of graphs with no $K_{3,4}$ minor is obtained, and the following consequences are established. Every $4$-connected non-planar graph with at least seven vertices and minimum degree at least five contains both $K_{3,4}$ and $K_6^-$ as minors, thereby proving a conjecture of Kawarabayashi and Maharry in a strengthened form. Moreover, every $4$-connected graph with no $K_{3,4}$ minor is hamiltonian-connected, extending a theorem of Thomassen, and admits an embedding on the torus.
Cycles of length $2$ modulo odd $k$ and admissible cycles in graphs
In 1976, Burr and Erdős conjectured that if $k\mathbb{Z} + \ell$ contains an even integer, there exists a constant $c$ such that every graph with at least $cn$ edges contains a cycle of length $\ell \pmod k$. This conjecture was settled for odd $k$ by Bollobás, while Thomassen completed the proof for all $k$ by resolving the case for even residues. Let $c_{\ell,k}$ denote the smallest constant such that every $n$-vertex graph with at least $c_{\ell,k}n$ edges contains a cycle of length $\ell \pmod{k}$. $k$ cycles are said to be admissible if they form an arithmetic progression of length $k$ with common difference one or two. The exact value of $c_{\ell,k}$ remains unknown for most $(\ell,k)$. Recently, Gao, Huo, Liu, and Ma showed that every graph with minimum degree at least $k+1$ contains $k$ admissible cycles. In this paper, we provide a sharp size version of their result. As a corollary, we show that $c_{2,k}=k$ for all odd $k$. In 2016, Verstraëte conjectured that every $n$-vertex graph $G$ containing no $k$ cycles of consecutive even lengths has at most $(2k+1)(n-1)/2$ edges, with equality only if every block of $G$ is a clique of order $2k+1$. We prove this conjecture for $2k+2\leq n\leq 4k+1$, and in fact obtain a stronger result in this range.
Simplicial shells and thickness in the partition graph
For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges given by elementary transfers of one unit between parts, followed by reordering. We study the local simplex dimension in the clique complex $K_n=\Cl(G_n)$ as a geometric thickness invariant of $G_n$. For a partition $λ\vdash n$, let $τ_n(λ):=\dim_{\mathrm{loc}}(λ)$ be its simplicial thickness. This gives threshold thick zones $T_{\ge r}(n)=\{λ: τ_n(λ)\ge r\}$ and, relative to the boundary framework of $G_n$, a shell/core decomposition into outer shells $Sh_r(n)$ and inner cores $Core_r(n)$. Using local-morphology results established earlier in the series, we work with simplicial thickness as a local invariant. We prove that it is preserved by conjugation, that the induced thick zones, shells, and cores are conjugation-invariant, and that the antennas remain strictly one-dimensional in the simplicial sense and are excluded from all nontrivial thick zones. The first shell order at which a nontrivial shell can occur is therefore $2$, and the corresponding shell $Sh_2(n)$ is the triangular skin, while higher simplicial regimes form nested higher-order shells inside the triangular regime. We also develop a complete finite computational atlas for $1\le n\le 30$, giving first-occurrence tables for the regimes $T_{\ge r}(n)$ and supporting a finite-range rear-central thickening pattern.
Towards Pósa's Conjecture for $3$-graphs
We prove that every $3$-graph $H$ on $n$ vertices with minimum codegree $δ_2(H) \geq 7n/9 + o(n)$ contains the square of a tight Hamilton cycle. This strengthens a theorem of Bedenknecht and Reiher that $δ_2(H) \geq 4n/5 + o(n)$ is sufficient. The central novelty of our arguments is an improved understanding of the connectivity structure of $3$-graphs with large minimum codegree.
Limit Laws for the Distance to Fréchet Means of Random Graphs
This paper investigates the Fréchet mean of the Erdős-Rényi random graph $G_{n,p}$ with respect to the Frobenius distance on graph Laplacians, a metric that captures global structural information beyond local edge flips. We first characterize the Fréchet mean set as consisting of quasi-regular graphs (i.e., graphs where all vertex degrees differ by at most one). We then analyze the asymptotic behavior of the Frobenius distance $F_n=d_{\mathrm{F}}(G_{n,p},R)$ as $n\to\infty$, where $R$ is any Fréchet mean. Closed-form expressions for the mean and variance of $F_n^2$ are derived, which are invariant to the choice of $R$. Leveraging these results, we establish several weak convergence laws for the Frobenius distance over all regimes of $p \in (0,1)$ as $n \to \infty$. Finally, under the scaling condition $n^2 p(1-p) \to \infty$ we prove the asymptotic normality of this distance, which exhibits a phase transition governed by the growth rate of $np(1-p)$. Our results reveal how metric selection fundamentally shapes Fréchet mean geometry in random graphs.
Private neighbors, perfect codes and their relation with the $\vt$-number of closed neighborhood ideals
In this work, we investigate the connections between dominating sets, private neighbors, and perfect codes in graphs, and their relationships with commutative algebra. In particular, we estimate the $\vt$-number of closed neighborhood ideals in terms of minimal dominating sets and private neighbors. We show how the $\vt$-number is related to other graph invariants, such as the cover number, domination number, and matching number. Moreover, we explore the relation with the Castelnuovo-Mumford regularity, proving that the $\vt$-number is a lower bound for the regularity of bipartite and well-covered graphs. Finally, drawing from the relation between efficient dominating set and perfect codes, we use the redundancy of Hamming codes to present lower and upper bounds for the $\vt$-number of some special family of graphs.
A Gray code for arborescences of tournaments
We consider the following question of Knuth: given a directed graph $G$ and a root $r$, can the arborescences of $G$ rooted in $r$ be listed such that any two consecutive arborescences differ by only one arc? Such an ordering is called a pivot Gray code and can be formulated as a Hamiltonian path in the reconfiguration graph of the arborescences of $G$ under arc flips, also called flip graph of $G$. We give a positive answer for tournaments and explore several conditions showing that the flip graph of a directed graph may contain no Hamiltonian cycles.
Upper bound on the $k$-th eigenvalue of a graph
We prove a general upper bound on the $k$-th adjacency eigenvalue of a graph. For $k\ge 2$, we show that \[ λ_k(G)\le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1 \] for every graph $G$ on $n$ vertices. We build on a recent approach that addresses the case $k=3$ and generalize the upper bound for all $k \geq 3$ by using the positivity of Gegenbauer polynomials. The upper bound is tight for $k \in \{2,3,4,8,24\}$. We also highlight the close relation of $λ_k(G)$ to questions about equiangular lines.
Odd Hadwiger number and graph products
The Odd Hadwiger number of a graph $G$ is the largest integer $r$ such that $G$ has a clique of size $r$ as an odd minor. In this paper, we investigate how large is the Odd Hadwiger number of the product of two graphs, when considering any of the four standard graph products: Cartesian, direct, lexicographic, strong. We provide an optimal lower bound in the cases of the strong and lexicographic products.
An extension of Katsuda-Urakawa's Faber-Krahn inequality
In this paper, motivated by our previous work \cite{HY}, we prove that the minimum of the first Dirichlet eigenvalues for the normalized combinatorial $p$-Laplacian on connected finite graphs with boundary consisting of $n$ edges is only achieved by the tadpole graph $T_{n,3}$. This result extends the Faber-Krahn inequality of Katsuda-Urakawa \cite{KU} to normalized combinatorial $p$-Laplacians. Our argument is much simpler than that of Katsuda-Urakawa.
Exact Algorithms for Edge Deletion to Cactus
Published
• View Publication
• BIB
We study two related problems on simple, un-directed graphs: Edge Deletion to Cactus and Spanning Tree to Cactus. Edge Deletion to Cactus has been known to be NP-hard on general graphs at least since 1988. We show improved exact algorithms for the former and a polynomial time algorithm for the latter.
On four network monitoring parameters in graphs and their gaps
Let \( G \) be a finite simple undirected graph. Four graph parameters related to network monitoring are the \emph{geodetic set}, \emph{edge geodetic set}, \emph{strong edge geodetic set}, and \emph{monitoring edge geodetic set}, with corresponding minimum sizes, denoted by \( g(G), eg(G), seg(G) \), and \( meg(G) \), respectively. These parameters quantify the minimum number of vertices required to monitor all vertices and edges of \( G \) under progressively stricter path-based conditions. As established by Florent \textit{et al.}\ (CALDAM 2023), these parameters satisfy the chain of inequalities: \( g(G) \leq eg(G) \leq seg(G) \leq meg(G). \) In 2025, Florent \textit{et al.}\ posed the following question: given integers \( a, b, c, d \) satisfying \( 2 \leq a \leq b \leq c \leq d \), does there exist a graph \( G \) such that \( g(G) = a, \quad eg(G) = b, \quad seg(G) = c, \quad \text{and} \quad meg(G) = d? \) They partially answered this affirmatively under three specific hypotheses and gave some constructions to support it. In this article, we first identify quadruples of values that cannot be realized by any connected graph. For all remaining admissible quadruples, we provide explicit constructions of connected graphs that realize the specified parameters. These constructions are modular and efficient, with the number of vertices and edges growing linearly with the largest parameter, providing a complete and constructive characterization of such realizable quadruples.
Graphs with core(G) = nucleus(G)
Let $G$ be a finite simple graph. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. A critical independent set is maximum if it has maximum cardinality. The $core$ and the $nucleus$ of $G$ are defined as the intersection of all maximum independent sets and the intersection of all maximum critical independent sets, respectively. In 2019, Jarden, Levit, and Mandrescu posed the problem of characterizing the graphs satisfying $core(G)=nucleus(G)$. In this paper, we provide a complete solution to this problem. Using Larson's independence decomposition, which partitions any graph into a König--Egerváry component $L_G$ an a $2$-bicritical component $L_G^c$, we establish that $core(G)=nucleus(G)$ holds if and only if $core ({L_G^c})=\emptyset$ and no vertex of $corona(G)$ lies in the boundary between $L_G$ and $L_G^c$. We also show that the same boundary condition is equivalent to the identity $diadem(G)=corona(G) \cap L(G)$. Several consequences and related structural properties are also derived.
Determining the normal subgroups of the automorphism groups of some ultrahomogeneous structures via stabilisers
We show the simplicity of the automorphism groups of the generic $n$-hypertournament and the semigeneric tournament, and determine the normal subgroups of the automorphism groups of several other ultrahomogeneous oriented graphs. We also give a new proof of the simplicity of the automorphism group of the dense $\frac{2π}{n}$-local order $\mathbb{S}(n)$ for $n \geq 2$ (a result due to Droste, Giraudet and Macpherson). Previous techniques of Li, Macpherson, Tent and Ziegler involving stationary weak independence relations (SWIRs) cannot be applied directly to these structures; our approach involves applying these techniques to a certain expansion of each structure, where the expansion has a SWIR and its automorphism group is isomorphic to a stabiliser subgroup of the automorphism group of the original structure.
On the Ramsey numbers of fans and stars
Let $F_n$ be the graph on $2n+1$ vertices consisting of $n$ triangles meeting at a single vertex. After a number of improvements over the years, it is currently known that the Ramsey number of $F_n$ is between $4.5n-5$ (Chen, Yu, Zhao) and $(5+\frac{1}{6})n+O(1)$ (Dvo{ř}{á}k and Metrebian). We improve both of these bounds as follows $$4.732n\approx (3+\sqrt{3})n-8< R(F_n)\leq (5+o(1))n.$$
Additionally, as it relates to the lower bound on $R(F_n)$ (and for which nothing was known when $n< m< n(n-1)$), we determine the Ramsey numbers of stars vs.~fans, within a constant, as follows $$R(K_{1,m}, F_{n})=
\begin{cases}
m+2n-\frac{1+(-1)^{m}}{2}, & m\leq n
\frac{3m+\sqrt{m^2+8n^2}}{2}+Θ(1), & m>n
\end{cases}. $$ In particular, we have $R(K_{1,2n}, F_n)=(3+\sqrt{3})n+Θ(1)$.