graph
35175 papers tagged with this keyword
Regular sets in Cayley sum graphs on generalized dicyclic groups
Published
• View Publication
• BIB
For a graph $Γ=(V(Γ),E(Γ))$, a subset $C$ of $V(Γ)$ is called an $(α,β)$-regular set in $Γ$, if every vertex of $C$ is adjacent to exactly $α$ vertices of $C$ and every vertex of $V(Γ)\setminus C$ is adjacent to exactly $β$ vertices of $C$. In particular, if $C$ is an $(α,β)$-regular set in some Cayley sum graph of a finite group $G$ with connection set $S$, then $C$ is called an $(α,β)$-regular set of $G$. In this paper, we consider a generalized dicyclic group $G$ and for each subgroup $H$ of $G$, by giving an appropriate connection set $S$, we determine each possibility for $(α,β)$ such that $H$ is an $(α,β)$-regular set of $G$.
Exact Biclique Partition number of Split Graphs
The biclique partition number of a graph \(G\), denoted \( \operatorname{bp}(G)\), is the minimum number of biclique subgraphs that partition the edge set of \(G\). The Graham-Pollak theorem states that the complete graph on \( n \) vertices cannot be partitioned into fewer than \( n-1 \) bicliques. In this note, we show that for any split graph \( G \), the biclique partition number satisfies \( \operatorname{bp}(G) = \operatorname{mc}(G^c) - 1 \), where \( \operatorname{mc}(G^c) \) denotes the number of maximal cliques in the complement of \( G \). This extends the celebrated Graham-Pollak theorem to a broader class of graphs.
Supersymmetry Breaking in Graph Quantum Mechanics
Published
• View Publication
• BIB
In this paper, we develop the groundwork for a graph theoretic toy model of supersymmetric quantum mechanics. Using discrete Witten-Morse theory, we demonstrate that finite graphs have a natural supersymmetric structure and use this structure to incorporate supersymmetry into an existing model of graph quantum mechanics. We prove that although key characteristics of continuum supersymmetric systems are preserved on finite unweighted graphs, supersymmetry cannot be spontaneously broken. Finally, we prove new results about the behavior of supersymmetric graph quantum systems under edge rewiring.
Spectra of high-dimensional sparse random geometric graphs
We analyze the spectral properties of the high-dimensional random geometric graph $G(n, d, p)$, formed by sampling $n$ i.i.d vectors $\{v_i\}_{i=1}^{n}$ uniformly on a $d$-dimensional unit sphere and connecting each pair $\{i,j\}$ whenever $\langle v_i, v_j \rangle \geq τ$ so that $p=\mathbb P(\langle v_i,v_j\rangle \geq τ)$. This model defines a nonlinear random matrix ensemble with dependent entries. We show that if $d =ω( np\log^{2}(1/p))$ and $np\to\infty$, the limiting spectral distribution of the normalized adjacency matrix $\frac{A}{\sqrt{np(1-p)}}$ is the semicircle law. To our knowledge, this is the first such result for $G(n, d, p)$ in the sparse regime. In the constant sparsity case $p=α/n$, we further show that if $d=ω(\log^2(n))$ the limiting spectral distribution of $A$ in $G(n,α/n)$ coincides with that of the Erdős-Rényi graph $G(n,α/n)$.
Our approach combines the classical moment method in random matrix theory with a novel recursive decomposition of closed-walk graphs, leveraging block-cut trees and ear decompositions, to control the moments of the empirical spectral distribution. A refined high trace analysis further yields a near-optimal bound on the second eigenvalue when $np=Ω(\log^4 (n))$, removing technical conditions previously imposed in (Liu et al. 2023). As an application, we demonstrate that this improved eigenvalue bound sharpens the parameter requirements on $d$ and $p$ for spontaneous synchronization on random geometric graphs in (Abdalla et al. 2024) under the homogeneous Kuramoto model.
Majority bootstrap percolation on the permutahedron and other high-dimensional graphs
Published
• View Publication
• BIB
Majority bootstrap percolation is a model of infection spreading in networks. Starting with a set of initially infected vertices, new vertices become infected once half of their neighbours are infected. Balogh, Bollobás and Morris studied this process on the hypercube and showed that there is a phase transition as the density of the initially infected set increases. Generalising their results to a broad class of high-dimensional graphs, the authors of this work established similar bounds on the critical window, establishing a universal behaviour for these graphs. These methods necessitated an exponential bound on the order of the graphs in terms of their degrees. In this paper, we consider a slightly more restrictive class of high-dimensional graphs, which nevertheless covers most examples considered previously. Under these stronger assumptions, we are able to show that this universal behaviour holds in graphs of superexponential order. As a concrete and motivating example, we apply this result to the permutahedron, a symmetric high-dimensional graph of superexponential order which arises naturally in many areas of mathematics. Our methods also allow us to slightly improve the bounds on the critical window given in previous work, in particular in the case of the hypercube. Finally, the upper and lower bounds on the critical window depend on the maximum and minimum degree of the graph, respectively, leading to much worse bounds for irregular graphs. We also analyse an explicit example of a high-dimensional irregular graph, namely the Cartesian product of stars and determine the first two terms in the expansion of the critical probability, which in this case is determined by the minimum degree.
On Sierpiński packing chromatic number and recognition of Sierpiński products
The Sierpiński product $G \otimes _f H$ of graphs $G$ and $H$ with respect to a function $f \colon V(G)\rightarrow V(H)$ has the vertex set $V(G)\times V(H)$. For every $g\in V(G)$ it contains a disjoint copy $gH$ of $H$, and for every edge $gg'$ of $G$ there is the edge $(g,f(g'))(g',f(g))$ between $gH$ and $g'H$. In this paper, the Sierpiński packing chromatic number is defined as the minimum of $χ_ρ(G\otimes _f H)$ over all functions $f$, where $χ_ρ(X)$ is the packing chromatic number of $X$. The upper Sierpiński packing chromatic number is analogously defined as the maximum corresponding value. The (upper) Sierpiński packing chromatic number is determined for all Sierpiński product graphs whose both factors are complete. Sierpiński product graphs whose factors are paths or stars are also studied. Their Sierpiński packing chromatic number is always $3$, while their upper Sierpiński packing chromatic number is bounded from below and above. It is also proved that for a given graph $G$, it can be checked in polynomial time whether $G$ has a representation as a Sierpiński product graphs both factors of which being trees.
On divisibility relation graphs
For each positive integer $n$, we define the divisibility relation graph $D_n$ whose vertex set is the set of divisors of $n$, and in which two vertices are adjacent if one is a divisor of the other. This type of graph is a special case of graphs associated with a partial order, which have been widely studied in the literature. In this work, we determine various graph-theoretic invariants of divisibility relation graphs, such as their clique and independence numbers, and their planarity. We also discuss various spectral properties that are discovered by our numerical experiments.
Walk Matrix-Based Upper Bounds on Generalized Cospectral Mates
The problem of characterizing graphs determined by their spectrum (DS) or generalized spectrum (DGS) has been a longstanding topic of interest in spectral graph theory, originating from questions in chemistry and mathematical physics. While previous studies primarily focus on identifying whether a graph is DGS, we address a related yet distinct question: how many non-isomorphic generalized cospectral mates a graph can have? Building upon recent advances that connect this question to the properties of the walk matrix, we introduce a broad family of graphs and establish an explicit upper bound on the number of non-isomorphic generalized cospectral mates they can have. This bound is determined by the arithmetic structure of the determinant of the walk matrix, offering a refined criterion for quantifying the multiplicity of generalized cospectral graphs. This result sheds new light on the structure of generalized cospectral graphs and provides a refined arithmetic criterion for bounding their multiplicity.
New Sufficient Conditions for Linear-Sized Epsilon-Nets and $(p,2)$-Theorems
An $ε$-net theorem for a hypergraph upper bounds the minimum size of a vertex set that pierces all $ε$-heavy hyperedges. A $(p,2)$-theorem bounds from above the minimum size of a vertex set that pierces all hyperedges, in terms of the maximum size of a set of pairwise disjoint hyperedges. Numerous works studied $ε$-net theorems and $(p,2)$-theorems that guarantee the existence of small-sized piercing sets.
We focus on the question: In which settings the asymptotically smallest possible piercing sets -- i.e., $ε$-nets of size $O(\frac{1}ε)$ and piercing sets of size $O(p)$ in $(p,2)$-theorems, are guaranteed? We obtain several sufficient criteria for the existence of such linear $ε$-net theorems and $(p,2)$-theorems that unveil interesting connections to graph theory and improve and generalize several previous results. Most notably, we exhibit an unexpected relation of $ε$-nets to the classical Zarankiewicz's problem in graph theory. We show that a linear bound in the Zarankiewicz-type problem that asks for the maximum size of a bipartite graph with no copy of $K_{2,t}$, implies a linear $ε$-net theorem for the corresponding neighborhood hypergraph. We also show that hypergraphs with a hereditarily linear-sized Delaunay graph admit an almost linear $(p,2)$-theorem, and deduce that incidence hypergraphs of non-piercing regions in the plane admit a linear $(p,2)$-theorem, significantly improving previous results on such hypergraphs.
Our work presents a landscape of sufficient conditions for the existence of linear $ε$-net theorems and $(p,2)$-theorems, with complex interrelations between them. Many of the interrelations are still unknown and call for future research.
Spanning k-trees, odd [1,b]-factors and spectral radius in binding graphs
The binding number of a graph $G$, written as $\mbox{bind}(G)$, is defined by $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}. $$ A graph $G$ is called $r$-binding if $\mbox{bind}(G)\geq r$. An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $F$ with $d_F(v)\in\{1,3,\ldots,b\}$ for all $v\in V(G)$, where $b\geq1$ is an odd integer. A spanning $k$-tree of a connected graph $G$ is a spanning tree $T$ with $d_T(v)\leq k$ for every $v\in V(G)$. In this paper, we first show a tight sufficient condition with respect to the adjacency spectral radius for connected $\frac{1}{b}$-binding graphs to have odd $[1,b]$-factors, which generalizes Fan and Lin's previous result [D. Fan, H. Lin, Binding number, $k$-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) \#P1.30] and partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16]. Then we put forward a tight sufficient condition via the adjacency spectral radius for connected $\frac{1}{k-2}$-binding graphs to have spanning $k$-trees, which partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16].
Volumes of moduli spaces of directed ribbon graphs and Cut-and-Join operators
In this paper, we investigate the algebraic structure underlying the acyclic decomposition. This decomposition applies to directed metric ribbon graphs and enables the recursive computation of the volumes of their moduli spaces. Building on this, we define integral operators with these volumes and show that they satisfy a Cut-and-Join type equation. Furthermore, we demonstrate that a suitable specialization of these operators gives rise to a generating series for \textit{dessins d'enfants}.
Total coloring graphs with large minimum degree
We prove that for all $\varepsilon>0$, there exists a positive integer $n_0$ such that if $G$ is a graph on $n\geq n_0$ vertices with $δ(G)\geq\tfrac{1}{2}(1 + \varepsilon)n$, then $G$ satisfies the Total Coloring Conjecture, that is, $χ_T(G)\leq Δ(G)+2$.
Signless Laplacian index conditions for doubly chorded cycles in graphs with given order
Published
• View Publication
• BIB
In this paper, we show that for a graph of order $n$, where $n\ge 5$, if the signless Laplacian index is larger than or equal to certain value depending on $n$, then the graph contains a doubly chorded cycle, where the chords incident to a common vertex, unless it is two specified graphs.
Divided difference operators for Hessenberg representations
The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.
When does a tree activate the random graph?
Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient.
It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$.
Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$.
The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.
Comparing the $\mathrm{v}$-number and $h$-polynomials of edge ideals
Published
• View Publication
• BIB
In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges.
On cubic vertex-transitive graphs of given girth
Published
• View Publication
• BIB
A set of vertices of a graph is distinguishing if the only automorphism that preserves it is the identity. The minimal size of such sets, if they exist, is the distinguishing cost. The distinguishing costs of vertex transitive cubic graphs are well known if they are 1-arc-transitive, or if they have two edge orbits and either have girth 3 or vertex-stabilizers of order 1 or 2.
There are many results about vertex-transitive cubic graphs of girth 4 with two edge orbits, but for larger girth almost nothing is known about %the existence or the distinguishing costs of such graphs. We prove that cubic vertex-transitive graphs of girth 5 with two edge orbits have distinguishing cost 2, and prove the non-existence of infinite 3-arc-transitive cubic graphs of girth 6.
A Study of the Binary and Boolean Rank of Matrices with Small Constant Real Rank
Published
• View Publication
• BIB
We initiate the study of the binary and Boolean rank of $0,1$ matrices that have a small rank over the reals. The relationship between these three rank functions is an important open question, and here we prove that when the real rank $d$ is a small constant, the gap between the real and the binary and Boolean rank is a small constant. We give tight upper and lower bounds on the Boolean and binary rank of matrices with real rank $1 \leq d \leq 4$, as well as determine the size of the largest isolation set in each case. Furthermore, we prove that for $d = 3,4$, the circulant matrix defined by a row with $d-1$ consecutive ones followed by $d-1$ zeros, is the only matrix of size $(2d-2)\times (2d-2)$ with real rank $d$ and Boolean and binary rank and isolation set of size $2d-2$, and this matrix achieves the maximal gap possible between the real and the binary and Boolean rank for these values of $d$.
Our results can also be interpreted in other equivalent terms, such as finding the minimal number of bicliques needed to partition or cover the edges of a bipartite graph whose reduced adjacency matrix has real rank $1 \leq d \leq 4$. We use a combination of combinatorial and algebraic techniques combined with the assistance of a computer program.
Judicious Partitions in Edge-Weighted Graphs with Bounded Maximum Weighted Degree
In this paper, we investigate bounds for the following judicious $k$-partitioning problem: Given an edge-weighted graph $G$, find a $k$-partition $(V_1,V_2,\dots ,V_k)$ of $V(G)$ such that the total weight of edges in the heaviest induced subgraph, $\max_{i=1}^k w(G[V_i])$, is minimized. In our bounds, we also take into account the weight $w(V_1,V_2,\dots,V_k)$ of the cut induced by the partition (i.e., the total weight of edges with endpoints in different parts) and show the existence of a partition satisfying tight bounds for both quantities simultaneously. We establish such tight bounds for the case $k=2$ and, to the best of our knowledge, present the first (even for unweighted graphs) completely tight bound for $k=3$. We also show that, in general, these results cannot be extended to $k \geq 4$ without introducing an additional lower-order term, and we propose a corresponding conjecture. Moreover, we prove that there always exists a $k$-partition satisfying $\max \left\{ w(G[V_i]) : i \in [k] \right\} \leq \frac{w(G)}{k^2} + \frac{k - 1}{2k^2} Δ_w(G),$ where $Δ_w(G)$ denotes the maximum weighted degree of $G$. This bound is tight for every integer $k\geq 2$.
Hamiltonicity and structure of connected biclaw-free graphs
Published
• View Publication
• BIB
We show that for sufficiently large $d$, every balanced bipartite, connected biclaw-free graph with minimum degree $\geq d$ is Hamiltonian. This confirms a conjecture of Flandrin, Fouquet, and Li.