graph
34516 papers tagged with this keyword
New constructions of unbalanced $\{C_4,θ_{3, t}\}$-free bipartite graphs
In 1979, Erdős conjectured that if $m = O(n^{2/3})$, then $ex(n, m, \{C_4, C_6 \}) = O(n)$. This conjecture was disproven by several papers and the current best-known bounds for this problem are
$$
c_1n^{1 + \frac{1}{15}} \leq ex(n, n^{2/3}, \{C_4, C_6\}) \leq c_2n^{1 + 1/9}
$$
for some constants $c_1, c_2$. A consequence of our work here proves that
$$
ex(n, n^{2/3}, \{ C_4, θ_{3, 4} \}) = Θ(n^{1 + 1/9}).
$$
More generally, for each integer $t \geq 2$, we establish that
$$
ex(n, n^{\frac{t+2}{2t+1}}, \{ C_4, θ_{3, t} \}) = Θ(n^{1 + \frac{1}{2t+1}})
$$
by demonstrating that subsets of points $S \subseteq \text{PG}(n,q)$ for which no $t+1$ points lie on a line give rise to $\{ C_4, θ_{3, t} \}$-free graphs, where PG$(n,q)$ is the projective space of dimension $n$ over the finite field of $q$ elements.
Spheres and balls as independence complexes
The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes are either homeomorphic to a ball or a sphere. In a related direction, we classify when the independence complexes of very well-covered graphs are homeomorphic to balls or spheres.
On the sampling entropy of permutons
For a permuton $μ$ let $H_n(μ)$ denote the Shannon entropy of the sampling distribution of $μ$ on $n$ points. We investigate the asymptotic growth of $H_n(μ)$ for a wide class of permutons.
We prove that if $μ$ has a non-vanishing absolutely continuous part, then $H_n(μ)$ has a growth rate $Θ(n \log n)$. We show that if $μ$ is the graph of a piecewise continuously differentiable, measure-preserving function $f$, then $H_n(μ)/n$ tends to the Kolmogorov--Sinai entropy of $f$. Using genericity arguments, we also prove the existence of function permutons for which $H_n(μ)$ does not converge either after normalizing by $n$ or by $n\log n$.
We study the sampling entropy of a natural family of random fractal-like permutons determined by a sequence of i.i.d. choices. It turns out that for every $n$, $H_n(μ)/n$ is heavily concentrated. We prove that the sequence $H_n(μ)/n$ either converges or has deterministic log-periodic oscillations almost surely, and argue towards the conjecture that in nondegenerate case, oscillation holds. On the other hand, for a straightforward random perturbation of the model $\tildeμ$ of $μ$, we prove the almost sure convergence of $H_n(\tildeμ)/n$.
Disproving two conjectures on the Hamiltonicity of Venn diagrams
In 1984, Winkler conjectured that every simple Venn diagram with $n$ curves can be extended to a simple Venn diagram with $n+1$ curves. His conjecture is equivalent to the statement that the dual graph of any simple Venn diagram has a Hamilton cycle. In this work, we construct counterexamples to Winkler's conjecture for all $n\geq 6$. As part of this proof, we computed all 3.430.404 simple Venn diagrams with $n=6$ curves (even their number was not previously known), among which we found 72 counterexamples. We also construct monotone Venn diagrams, i.e., diagrams that can be drawn with $n$ convex curves, and are not extendable, for all $n\geq 7$. Furthermore, we also disprove another conjecture about the Hamiltonicity of the (primal) graph of a Venn diagram. Specifically, while working on Winkler's conjecture, Pruesse and Ruskey proved that this graph has a Hamilton cycle for every simple Venn diagram with $n$ curves, and conjectured that this also holds for non-simple diagrams. We construct counterexamples to this conjecture for all $n\geq 4$.
Linear hypermaps--modelling linear hypergraphs on surfaces
A hypergraph is linear if each pair of distinct vertices appears in at most one common edge. We say $\varGamma=(V,E)$ is an associated graph of a linear hypergraph $\mathcal{H}=(V, X)$ if for any $x\in X$, the induced subgraph $\varGamma[x]$ is a cycle, and for any $e\in E$, there exists a unique edge $y\in X$ such that $e\subseteq y$. A linear hypermap $\mathcal{M}$ is a $2$-cell embedding of a connected linear hypergraph $\mathcal{H}$'s associated graph $\varGamma$ on a compact connected surface, such that for any edge $x\in E(\mathcal{H})$, $\varGamma[x]$ is the boundary of a $2$-cell and for any $e\in E(\varGamma)$, $e$ is incident with two distinct $2$-cells. In this paper, we introduce linear hypermaps to model linear hypergraphs on surfaces and regular linear hypermaps modelling configurations on the surfaces. As an application, we classify regular linear hypermaps on the sphere and determine the total number of proper regular linear hypermaps of genus 2 to 101.
Path degeneracy and applications
In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of $g$-cages is verified). As an application, we derive bounds on the generalized acyclic indices, on the generalized arboricities, and on the weak coloring numbers of high-girth graphs in such classes. Along the way, we prove a conjecture proposed in [T.~Bartnicki et al., Generalized arboricity of graphs with large girth, Discrete Mathematics 342 (2019), no.~5, 1343--1350.], which asserts that, for every integer $k$, there is an integer $g(p,k)$ such that every $K_k$ minor-free graph with girth at least $g(p,k)$ has $p$-arboricity at most $p+1$.
Leaper Embeddings
A leaper is a chess piece which generalises the knight. Given $n$ and a $(p, q)$-leaper $L$, we study the greatest $m$ such that the $m \times m$ grid graph can be embedded into the $n \times n$ leaper graph of $L$. We can assume that $p$ and $q$ are relatively prime. We show that $m \approx n$ when $p$ and $q$ are of opposite parities and $m \approx n/2$ otherwise. The latter case is substantially more difficult. The proof involves certain combinatorial-geometric results on the chords of connected figures which might be of independent interest.
On $S$-packing Coloring of Bounded Degree Graphs
Given a sequence $S=(s_1,s_2,\ldots,s_p)$, $p\geq 2$, of non-decreasing integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $p$ disjoint sets $V_1,\ldots, V_p$ such that any two distinct vertices of $V_i$ are at a distance greater than $s_i$, $1\le i\le p$. In this paper, we study the $S$-packing coloring problem on graphs of bounded maximum degree and for sequences mainly containing 1's and 2's ($i^r$ in a sequence means $i$ is repeated $r$ times). Generalizing existing results for subcubic graphs, we prove a series of results on graphs of maximum degree $k$: We show that graphs of maximum degree $k$ are $(1^{k-1},2^k)$-packing colorable. Moreover, we refine this result for restricted subclasses: A graph of maximum degree $k$ is said to be $t$-saturated, $0\le t\le k$, if every vertex of degree $k$ is adjacent to at most $t$ vertices of degree $k$. We prove that any graph of maximum degree $k\ge 3$ is $(1^{k-1}, 3)$-packing colorable if it is 0-saturated, $(1^{k-1}, 2)$-packing colorable if it is $t$-saturated, $1\leq t\leq k-2$; and $(1^{k-1},2^{k-1})$-packing colorable if it is $(k-1)$-saturated. We also propose some conjectures and questions.
The Wiener index of vertex colorings
The Wiener index of a vertex coloring of a graph is defined to be the sum of all pairwise geodesic distances between vertices of the same color. We provide characterizations of vertex colorings of paths and cycles whose Wiener index is as large as possible over various natural collections. Along the way we establish a connection between the majorization order on tuples of integers and the Wiener index of vertex colorings on paths and cycles.
Detecting Arbitrary Planted Subgraphs in Random Graphs
The problems of detecting and recovering planted structures/subgraphs in Erdős-Rényi random graphs, have received significant attention over the past three decades, leading to many exciting results and mathematical techniques. However, prior work has largely focused on specific ad hoc planted structures and inferential settings, while a general theory has remained elusive. In this paper, we bridge this gap by investigating the detection of an \emph{arbitrary} planted subgraph $Γ= Γ_n$ in an Erdős-Rényi random graph $\mathcal{G}(n, q_n)$, where the edge probability within $Γ$ is $p_n$. We examine both the statistical and computational aspects of this problem and establish the following results. In the dense regime, where the edge probabilities $p_n$ and $q_n$ are fixed, we tightly characterize the information-theoretic and computational thresholds for detecting $Γ$, and provide conditions under which a computational-statistical gap arises. Most notably, these thresholds depend on $Γ$ only through its number of edges, maximum degree, and maximum subgraph density. Our lower and upper bounds are general and apply to any value of $p_n$ and $q_n$ as functions of $n$. Accordingly, we also analyze the sparse regime where $q_n = Θ(n^{-α})$ and $p_n-q_n =Θ(q_n)$, with $α\in[0,2]$, as well as the critical regime where $p_n=1-o(1)$ and $q_n = Θ(n^{-α})$, both of which have been widely studied, for specific choices of $Γ$. For these regimes, we show that our bounds are tight for all planted subgraphs investigated in the literature thus far\textemdash{}and many more. Finally, we identify conditions under which detection undergoes sharp phase transition, where the boundaries at which algorithms succeed or fail shift abruptly as a function of $q_n$.
On edge-direction and compact edge-end spaces
Directions of graphs were originally introduced in the study of a cops-and-robbers kind of game, while the study of end spaces has been used to generalize classical graph-theoretical results to infinite graphs, such as Halin's generalization of Menger's theorem. An edge-analogue of end spaces, where finite sets of edges are used instead of vertices as separator agents to form the so-called edge-end space, has been recently used to obtain an edge-analogue of this later result. Inspired by Diestel's correspondence between directions and ends of a graph, we tackle in this paper an edge-analogue of directions, its relation with line graphs, and an edge-analogue of Diestel's correspondence. The results of this study had some implications over edge-end space compactness, which then became a target of inquiry: we thus show an edge-analogue of Diestel's combinatorial characterization for compact end spaces. Non-edge-dominating vertices play an important role in our characterization, which motivated the study of ends and directions using now finite sets of these vertices as separator agents, as done previously for edges, giving rise to other topological spaces associated with graphs. These new direction and end spaces once again motivate an analogue of Diestel's correspondence result, and further generalizations are obtained. All of these constructions define topological space-classes associated with graphs such as edge-end spaces and edge-direction spaces of graphs. The paper organizes these topological space-classes appearing throughout the text with representation results, as it was done by Pitz and Kurkofka, as well as Aurichi, Real and Magalhães Júnior. Most notably, we show that every compact edge-end space can be represented as the edge-direction space of a connected graph.
Cluster Synchronization via Graph Laplacian Eigenvectors
Published in Chaos 1 September 2025; 35 (9): 093109
• View Publication
• BIB
Almost equitable partitions (AEPs) have been linked to cluster synchronization in oscillatory systems, highlighting the importance of structure in collective network dynamics. We provide a general spectral framework that formalizes this connection, showing how eigenvectors associated with AEPs span a subspace of the Laplacian spectrum that governs partition-induced synchronization behavior. This offers a principled reduction of network dynamics, allowing clustered states to be understood in terms of quotient graph projections. Our approach clarifies the conditions under which transient hierarchical clustering and multi-frequency synchronization emerge, and connects these dynamical phenomena directly to network symmetry and community structure. In doing so, we bridge a critical gap between static topology and dynamic behavior-namely, the lack of a spectral method for analyzing synchronization in networks that exhibit exact or approximate structural regularity. Perfect AEPs are rare in real-world networks since most have some degree of irregularity or noise. We define a relaxation of an AEP we call a quasi-equitable partition at level $δ$ ($δ-$QEP). $δ-$QEPs can preserve many of the clustering-relevant properties of AEPs while tolerating structural imperfections and noise. This extension enables us to describe synchronization behavior in more realistic scenarios, where ideal symmetries are rarely present. Our findings have important implications for understanding synchronization patterns in real-world networks, from neural circuits to power grids.
Determining some graph joins by the signless Laplacian spectrum
A graph is determined by its signless Laplacian spectrum if there is no other non-isomorphic graph sharing the same signless Laplacian spectrum. Let $C_l$, $P_l$, $K_l$ and $K_{s,l-s}$ be the cycle, the path, the complete graph and the complete bipartite graph with $l$ vertices, respectively. We prove that $$G\cong K_1\vee (C_{l_1}\cup C_{l_2}\cup\cdots \cup C_{l_t}\cup sK_1),$$ with $s\ge 0, t\ge 1, n\geq 22$, is determined by the signless Laplacian spectrum if and only if either $s=0$ or $s\ge 1$ and $l_i\ne 3$ holds for all $1\leq i\leq t$, where $n$ is the order of $G$, and $\cup$ and $\vee$ stand for the disjoint union and the join of two graphs, respectively. Moreover, for $s\ge 1$ and $l_t=3$, $K_1\vee (K_{1,3}\cup C_{l_1}\cup C_{l_2}\cup\cdots \cup C_{l_{t-1}}\cup (s-1)K_1)$ is fixed as a graph sharing the signless Laplacian spectrum with $G$. This contribution extends some recently published results.
Odd spanning trees of a graph
A graph $G=(V,E)$ is said to be odd (or even, resp.) if $d_G(v)$ is odd (or even, resp.) for any $v\in V$. Trivially, the order of an odd graph must be even. In this paper, we show that every 4-edge connected graph of even order has a connected odd factor. A spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST by simply) if $T$ contains no vertex of degree two. Trivially, an odd spanning tree must be a HIST. In 1990, Albertson, Berman, Hutchinson, and Thomassen showed that every connected graph of order $n$ with $δ(G)\geq \min\{\frac n 2, 4\sqrt{2n}\}$ contains a HIST.
We show that every complete bipartite graph with both parts being even has no odd spanning tree, thereby for any even integer $n$ divisible by 4, there exists a graph of order $n$ with the minimum degree $\frac n 2$ having no odd spanning tree. Furthermore, we show that every graph of order $n$ with $δ(G)\geq \frac n 2 +1$ has an odd spanning tree. We also characterize all split graphs having an odd spanning tree. As an application, for any graph $G$ with diameter at least 4, $\overline{G}$ has a spanning odd double star. Finally, we also give a necessary and sufficient condition for a triangle-free graph $G$ whose complement contains an odd spanning tree. A number of related open problems are proposed.
The intersection density of cubic arc-transitive graphs with $2$-arc-regular full automorphism group equal to $\operatorname{PGL}_2(q)$
The \emph{intersection density} of a transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is the ratio between the largest size of a subset of $G$ in which any two agree on at least one element of $Ω$, and the order of a point-stabilizer of $G$. In this paper, we determine the intersection densities of the automorphism group of the arc-transitive graphs admitting a $2$-arc-regular full automorphism group $G^* = \operatorname{PGL}_2(q)$ and an arc-regular subgroup of automorphism $G = \operatorname{PSL}_2(q)$.
Efficient reconstruction of the characteristic polynomial
The polynomial reconstruction problem, introduced by Cvetković in 1973, asks whether the characteristic polynomial $φ^G$ of a graph $G$ with at least $3$ vertices can be reconstructed from the polynomial deck $\{φ^{G \setminus i}\}_{i \in V(G)}$. In this work, we prove that $φ^G \pmod{4}$ can be reconstructed from the polynomial deck if the number of vertices in $G$ is even or if the rank of the walk matrix of $G$ over $\mathbb{F}_2$ is less than $\lceil n/2 \rceil$. We also prove that for every graph $G$, $φ^{\overline{G}}\pmod{4}$ can be computed from $φ^G\pmod{4}$, strengthening a recent result by Ji, Tang, Wang and Zhang. Finally, Hagos showed that the pair of characteristic polynomials $(φ^G, φ^{\overline{G}})$ is reconstructible from the generalized polynomial deck $\{(φ^{G \setminus i}, φ^{\overline{G} \setminus i})\}_{i \in V(G)}$. We also present an efficient version of this result that requires less information.
On the maximum spectral radius of connected graphs with a prescribed order and size
Published in Filomat 39 (2025) 12281-12297
• Search Publication
The spectral radius of a graph is the largest modulus of an eigenvalue of its adjacency matrix. Let $\mathcal{C}_{n, e}$ be the set of all the connected simple graphs with $n$ vertices and $n - 1 + e$ edges. Here, we solve the spectral radius maximization problem on $\mathcal{C}_{n, e}$ when $e \le 130$ or $n \ge e + 2 + 13\sqrt{e}$.
An Improved Upper Bound on the Threshold Bias of the Oriented-cycle game
We study the $b$-biased Oriented-cycle game where two players, OMaker and OBreaker, take turns directing the edges of $K_n$ (the complete graph on $n$ vertices). In each round, OMaker directs one previously undirected edge followed by OBreaker directing between one and $b$ previously undirected edges. The game ends once all edges have been directed, and OMaker wins if and only if the resulting tournament contains a directed cycle. Bollobás and Szabó asked the following question: what is the largest value of the bias $b$ for which OMaker has a winning strategy? Ben-Eliezer, Krivelevich and Sudakov proved that OMaker has a winning strategy for $b \leq n/2 - 2$. In the other direction, Clemens and Liebenau proved that OBreaker has a winning strategy for $b \geq 5n/6+2$. Inspired by their approach, we propose a significantly stronger strategy for OBreaker which we prove to be winning for $b \geq 0.7845n + O(1)$.
The graph zeta functions with respect to the group matrix of a finite group
In this paper, we present formulas for the edge zeta function and the second weighted zeta function with respect to the group matrix of a finite abelian group $Γ$. Furthermore, we give another proof of Dedekind Theorem for the group determinant of $Γ$ by the decomposition formula for a matrix of a group covering of a digraph. Finally, we treat the weighted complexity of the complete graph with entries of the group matrix of $Γ$ as arc weights.
Minimum saturated graphs without $4$-cycles and $5$-cycles
Given a family of graphs $\mathcal{F}$, a graph $G$ is said to be $\mathcal{F}$-saturated if $G$ does not contain a copy of $F$ as a subgraph for any $F\in\mathcal{F}$, but the addition of any edge $e\notin E(G)$ creates at least one copy of some $F\in\mathcal{F}$ within $G$. The minimum size of an $\mathcal{F}$-saturated graph on $n$ vertices is called the saturation number, denoted by $\mbox{sat}(n, \mathcal{F})$. Let $C_r$ be the cycle of length $r$. In this paper, we study on $\mbox{sat}(n, \mathcal{F})$ when $\mathcal{F}$ is a family of cycles. In particular, we determine that $\mbox{sat}(n, \{C_4,C_5\})=\lceil\frac{5n}{4}-\frac{3}{2}\rceil$ for any positive integer $n$.