graph
35252 papers tagged with this keyword
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
Published
• View Publication
• BIB
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)$
Published
• View Publication
• BIB
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
• View Publication
• BIB
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}$.
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
Published
• View Publication
• BIB
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$.
Vertex Partitioning and $p$-Energy of Graphs
Published
• View Publication
• BIB
For a Hermitian matrix $A$ of order $n$ with eigenvalues $λ_1(A)\ge \cdots\ge λ_n(A)$, define \[ \mathcal{E}_p^+(A)=\sum_{λ_i > 0} λ_i^p(A), \quad \mathcal{E}_p^-(A)=\sum_{λ_i<0} |λ_i(A)|^p,\] to be the positive and the negative $p$-energy of $A$, respectively. In this note, first we show that if $A=[A_{ij}]_{i,j=1}^k$, where $A_{ii}$ are square matrices, then \[ \mathcal{E}_p^+(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^+(A_{ii}), \quad \mathcal{E}_p^-(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^-(A_{ii}),\] for any real number $p\geq 1$. We then apply the previous inequality to establish lower bounds for $p$-energy of the adjacency matrix of graphs.
Separation Number and Treewidth, Revisited
Published
• View Publication
• BIB
We give a constructive proof of the fact that the treewidth of a graph $G$ is bounded by a linear function of the separation number of $G$.
A Note on Mixed Cages of Girth 5
Published
• View Publication
• BIB
A mixed regular graph is a graph where every vertex has $z$ incoming arcs, $z$ outgoing arcs, and $r$ edges; furthermore, if it has girth $g$, we say that the graph is a \emph{$[z,r;g]$-mixed graph}. A \emph{$[z,r;g]$-mixed cage} is a $[z,r;g]$-mixed graph with the smallest possible order. In this note, we give a family of $[z,q;5]$-mixed graphs for $q\geq 7$ power of prime and $q-1\leq 4z+R$ with $z\geq 1$ and $R \in \{1,\ldots,5\}$. This provides better upper bounds on the order of mixed cages until this moment.
Characterizing simplex graphs
The simplex graph $S(G)$ of a graph $G$ is defined as the graph whose vertices are the cliques of $G$ (including the empty set), with two vertices being adjacent if, as cliques of $G$, they differ in exactly one vertex. Simplex graphs form a subclass of median graphs and include many well-known families of graphs, such as gear graphs, Fibonacci cubes and Lucas cubes.
In this paper, we characterize simplex graphs from four different perspectives: the first focuses on a graph class associated with downwards-closed sets -- namely, the daisy cubes; the second identifies all forbidden partial cube-minors of simplex graphs; the third is from the perspective of the $Θ$ equivalent classes; and the fourth explores the relationship between the maximum degree and the isometric dimension. Furthermore, very recently, Betre et al.\ [K. H. Betre, Y. X. Zhang, C. Edmond, Pure simplicial and clique complexes with a fixed number of facets, 2024, arXiv: 2411.12945v1] proved that an abstract simplicial complex (i.e., an independence system) of a finite set can be represented to a clique complex of a graph if and only if it satisfies the Weak Median Property. As a corollary, we rederive this result by using the graph-theoretical method.
On high discrepancy $1$-factorizations of complete graphs
We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $σ: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c > 0$ such that every edge-signed $K_{2n}$ has a perfect matching decomposition $\{ψ_1, \ldots, ψ_{2n-1}\}$, where for each perfect matching $ψ_i$, the discrepancy $\lvert \frac{1}{n} \sum_{e\in E(ψ_i)} σ(e) \rvert$ is at least $c$.