graph
34516 papers tagged with this keyword
Emergence of network communities driven by local rules
Published in Phys. Rev. E 111, 064314 (2025)
• View Publication
• BIB
Natural systems are modeled by networks with nodes and links. Often the nodes are segregated into communities with different connectivity patterns. Node heterogeneity such as political affiliation in social networks or biological function in gene networks are highlighted as key factors driving the segregation of nodes into communities. Here, by means of numerical simulations, I show that node heterogeneity is not a necessary requirement. To this end I introduce the Ramsey community number, $r_ κ$, the minimum graph size that warranties the emergence of network communities with almost certainty. Using the stochastic block model and Infomap methods for community detection, I show that networks generated by local rules have finite $r_ κ$ values while their randomized versions do not have emergent communities. I conjecture that network communities are an emergent property of networks evolving with local rules.
Lifting Voltages in Graph Covers
We consider voltage digraphs, here referred to as graphs, whose edges are labeled with elements from a given group, and explore their derived graphs. Given two voltage graphs, with voltages in abelian groups, we establish a necessary and sufficient condition for their two derived graphs to be isomorphic. This condition requires: (1) the existence of a voltage graph that covers both given graphs, and (2) when the two sets of voltages are lifted to the common cover, the correspondence between these sets of voltages determines an isomorphism between the groups generated by these voltages. We show that conditions (1) and (2) are decidable, and provide a method for constructing the common cover and for lifting the voltage assignments.
Colorful Helly via induced matchings
We establish a theorem regarding the maximum size of an {\it{induced}} matching in the bipartite complement of the incidence graph of a set system $(X,\mathcal{F})$. We show that this quantity plus one provides an upper bound on the colorful Helly number of this set system, i.e. the minimum positive integer $N$ for which the following statement holds: if finite subfamilies $\mathcal{F}_1,\ldots, \mathcal{F}_{N} \subset \mathcal{F}$ are such that $\cap_{F \in \mathcal{F}_{i}} F = 0$ for every $i=1,\ldots,N$, then there exists $F_i \in \mathcal{F}_i$ such that $F_1 \cap \ldots \cap F_{N} = \emptyset$. We will also discuss some natural refinements of this result and applications.
Locally chordal graphs
In this paper we study locally chordal graphs, i.e. graphs where every small-radius ball is chordal. We prove four characterizations of locally chordal graphs. Two are counterparts of the classic descriptions of chordal graphs via induced subgraphs and via minimal separators. For the latter, we rely on the local separators introduced in [CJKK25]. Another characterization is via the local covering, which was introduced in [DJKK22] to study local-global characteristics of graphs using coverings from topology. Our final characterization of locally chordal graphs is in terms of their binary cycle spaces. This gives a new characterization of chordal graphs as wheel-free graphs whose binary cycle space is generated by triangles.
Together, these results demonstrate the potential of local-global tools to uncover rich new properties. Our results in this paper also form the basis of our local-global analysis of locally chordal graphs [AKb], where we develop a local-global perspective into structural characterizations.
Exponentiation of Graphs
Motivated by very large-scale communication networks, we newly introduce exponentiation of graphs. Using the exponential operation on graphs, we can construct various graphs of multi-exponential order with logarithmic diameter. We show that every connected exponential graph is maximally connected. For exponential graphs, we also present a necessary and sufficient condition to be super edge-connected and sufficient conditions to be Hamiltonian and to have edge-disjoint Hamiltonian cycles and completely independent spanning trees. Applying our results to previously known networks, we have maximally connected and super edge-connected Hamiltonian graphs of doubly exponential order with logarithmic diameter. We furthermore define iterated exponential graphs which may be of not only practical but also theoretical interest.
Many pentagons in triple systems
We prove that every $n$ vertex linear triple system with $m$ edges has at least $m^6/n^7$
copies of a pentagon, provided $m>100 \, n^{3/2}$. This provides the first nontrivial bound for a question posed by Jiang and Yepremyan.
More generally, for each $ \ell \ge 2$, we prove that there is a constant $c$ such that if an $n$-vertex graph is $\varepsilon$-far from being triangle-free, with $\varepsilon \gg n^{-1/3\ell}$, then it has at least $c \, \varepsilon^{3\ell} n^{2\ell+1}$ copies of $C_{2\ell+1}$. This improves the previous best bound of $c \, \varepsilon^{4\ell+2} n^{2\ell+1}$ due to Gishboliner, Shapira and Wigderson.
Our result also yields some geometric theorems, including the following. For $n$ large, every $n$-point set in the plane with at least $60\, n^{11/6}$ triangles similar to a given triangle $T$, contains two triangles sharing a special point, called the harmonic point. In the other direction, we give a construction showing that the exponent $11/6\approx 1.83$ cannot be reduced to anything smaller than $\log_3 6 \approx 1.726$.
A divisor generating $q$-series and cumulants arising from random graphs
Uchimura, in 1987, introduced a probability generating function for a random variable $X$ and using properties of this function he discovered an interesting $q$-series identity. He further showed that the $m$-th cumulant with respect to the random variable $X$ is nothing but the generating function for the generalized divisor function $σ_{m-1}(n)$. Simon, Crippa, and Collenberg, in 1993, explored the $G_{n,p}$-model of a random acyclic digraph and defined a random variable $γ_n^{*}(1)$. Quite interestingly, they found links between limit of its mean and the generating function for the divisor function $d(n)$. Later in 1997, Andrews, Crippa and Simon extended these results using $q$-series techniques. They calculated limit of the mean and variance of the random variable $γ_n^{*}(1)$ which correspond to the first and second cumulants. In this paper, we generalize the result of Andrews, Crippa and Simon by calculating limit of the $t$-th cumulant in terms of the generalized divisor function. Furthermore, we also discover limit forms for identities of Uchimura and Dilcher. This provides a fourth side to the Uchimura-Ramanujan-divisor type three way partition identities expounded by the first four authors recently.
Iteration of the mincut graph operator
A graph operator is a mapping $φ$ which maps every graph $G$ from some class of graphs to a new graph $φ(G)$. In this paper, we introduce and study the properties of the mincut operator, specifically the effects of iteration of the operator. We show that the property of being super edge-connected and regular is both necessary and sufficient for a graph to remain fixed under the mincut operator. Furthermore, we show that no graph diverges under iteration of this operator. We conclude by stating further research questions on the mincut operator.
A Survey of the Holroyd-Talbot Conjecture
A family of sets is intersecting if every pair of its members has an element in common. Such a family of sets is called a star if some element is in every set of the family. Given a graph $G$, let $μ(G)$ denote the size of the smallest maximal independent set of $G$. In 2005, Holroyd and Talbot conjectured the following generalization of the Erdős-Ko-Rado Theorem: for $1\le r\le μ(G)/2$, there is a maximum size intersecting family of independent $r$-sets that is a star. In this paper we present the history of this conjecture and survey the results that have supported it over the last 20 years.
Canonical graph decompositions and local separations: From infinite coverings to a finite combinatorial theory
Every finite graph $G$ can be decomposed in a canonical way that displays its local connectivity-structure [DJKK22]. For this, they consider a suitable covering of $G$, an inherently infinite concept from Topology, and project its tangle-tree structure to $G$.
We present a construction of these decompositions via a finite combinatorial theory of local separations, which we introduce here and which is compatible with the covering-perspective.
Boxicity and Cubicity of Divisor Graphs and Power Graphs
The \textit{boxicity} (\textit{cubicity}) of an undirected graph $Γ$ is the smallest non-negative integer $k$ such that $Γ$ can be represented as the intersection graph of axis-parallel rectangular boxes (unit cubes) in $\mathbb{R}^k$. An undirected graph is classified as a \textit{comparability graph} if it is isomorphic to the comparability graph of some partial order. This paper studies boxicity and cubicity for subclasses of comparability graphs.
We initiate the study of boxicity and cubicity of a special class of algebraically defined comparability graphs, namely the \textit{power graphs}. The power graph of a group is an undirected graph whose vertex set is the group itself, with two elements being adjacent if one is a power of the other. We analyse the case when the underlying groups of power graphs are cyclic. Another important family of comparability graphs is \textit{divisor graphs}, which arises from a number-theoretically defined poset, namely the \textit{divisibility poset}. We consider a subclass of divisor graphs, denoted by $D(n)$, where the vertex set is the set of positive divisors of a natural number $n$.
We first show that to study the boxicity (cubicity) of the power graph of the cyclic group of order $n$, it is sufficient to study the boxicity (cubicity) of $D(n)$. We derive estimates, tight up to a factor of $2$, for the boxicity and cubicity of $D(n)$. The exact estimates hold good for power graphs of cyclic groups.
A note on the minimum size of Turán systems
For positive integers $n \ge s > r$, a \emph{Turán $(n,s,r)$-system} is an $n$-vertex $r$-graph in which every set of $s$ vertices contains at least one edge. Let $T(n,s,r)$ denote the the minimum size of a Turán $(n,s,r)$-system.
Upper bounds on $T(n,s,r)$ were established by Sidorenko~\cite{Sid97} for the case $s-r = Ω(r/\ln r)$ (based on a construction of Frankl--Rödl~\cite{FR85}) and by a number of authors in the case $s-r = O(1)$. In this note, we establish upper bounds in the remaining range $O(1)<s-r = O(r/\ln r)$.
Degree Realization by Bipartite Multigraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Graph Theory (January 7, 2026) dmtcs:15158
• View Publication
• BIB
The problem of realizing a given degree sequence by a multigraph can be thought of as a relaxation of the classical degree realization problem (where the realizing graph is simple). This paper concerns the case where the realizing multigraph is required to be bipartite.
The problem of characterizing sequences that can be realized by a bipartite graph has two variants. In the simpler one, termed BDR$^P$, the partition of the sequence into two sides is given as part of the input. A complete characterization for realizability in this variant was given by Gale and Ryser over sixty years ago. However, the variant where the partition is not given, termed BDR, is still open.
For bipartite multigraph realizations, there are also two variants. For BDR$^P$, where the partition is given as part of the input, a characterization was known for determining whether there is a multigraph realization whose underlying graph is bipartite, such that the maximum number of copies of an edge is at most $r$. We present a characterization for determining if there is a bipartite multigraph realization such that the total number of excess edges is at most $t$. We show that optimizing these two measures may lead to different realizations, and that optimizing by one measure may increase the other substantially. As for the variant BDR, where the partition is not given, we show that determining whether a given (single) sequence admits a bipartite multigraph realization is NP-hard. Moreover, we show that this hardness result extends to any graph family which is a sub-family of bipartite graphs and a super-family of paths. On the positive side, we provide an algorithm that computes optimal realizations for the case where the number of balanced partitions is polynomial, and present sufficient conditions for the existence of bipartite multigraph realizations that depend only on the largest degree of the sequence.
Revisiting the outer-weakly convex domination number in graph products
Let $G = (V, E)$ be a simple undirected graph. A set $C \subseteq V(G)$ is weakly convex of graph $G$ if for every two vertices $u,v\in G$, there exists a $u-v$ geodesic whose vertices are in $C$. A set $C \subseteq V$ is an outer-weakly convex dominating set if it is dominating set and every vertex not in $C$ is adjacent to some vertex in $C$ and a set $V(G)\setminus C$ is weakly convex. The outer-weakly convex domination number of graph $G$, denoted by $\widetilde{ γ}_{wcon}(G)$, is the minimum cardinality of an outer-weakly convex dominating vertex set of graph $G$. In this paper, we determined the outer-weakly convex domination number of two graphs under the cartesian, strong and lexicographic products, and discuss some important combinatorial findings.
On winding numbers of almost embeddings of $K_4$ in the plane
Let $K_4$ be the complete graph on four vertices. Let $f$ be a continuous map of $K_4$ to the plane such that $f$-images of non-adjacent edges are disjoint. For any vertex $v \in K_4$ take the winding number of the $f$-image of the cycle $K_4 - v$ around $f(v)$. It is known that the sum of these four integers is odd. We construct examples showing that this is the only relation between these four numbers.
Rational values of the weak saturation limit
Given a graph $F$, a graph $G$ is weakly $F$-saturated if all non-edges of $G$ can be added in some order so that each new edge introduces a copy of $F$. The weak saturation number $\operatorname{wsat}(n, F)$ is the minimum number of edges in a weakly $F$-saturated graph on $n$ vertices. Bollobás initiated the study of weak saturation in 1968 to study percolation processes, which originated in biology and have applications in physics and computer science. It was shown by Alon that for each $F$, there is a constant $w_F$ such that $\operatorname{wsat}(n, F) = w_Fn + o(n)$. We characterize all possible rational values of $w_F$, proving in particular that $w_F$ can equal any rational number at least $\frac 32$.
Carath$é$odory Number and Exchange Number in $Δ$-convexity
Given a graph $G$, a set is $Δ$-convex if there is no vertex $u\in V(G)\setminus S$ forming a triangle with two vertices of $S$. The $Δ$-convex hull of $S$ is the minimum $Δ$-convex set containing $S$. This article is an attempt to discuss the Carathéodory number and exchange number on various graph families and standard graph products namely Cartesian, strong and, lexicographic products of graphs.
The sharp upper bounds on the maximum degree and vertex-connectivity of claw-free 1-planar graphs
The complete bipartite graph $K_{1,3}$ is called a claw. The properties of claw-free graphs have attracted considerable attention, with research on claw-free planar graphs tracing back to Plummer's work in 1989. In this paper, we extend this line of research by establishing some fundamental results for claw-free 1-planar graphs, focusing on upper bounds for maximum degree and vertex-connectivity. We show that the maximum degree of claw-free 1-planar graphs is at most 10, and the bound is sharp. Furthermore, we show that for 6-connected 1-planar graphs and optimal 1-planar graphs under the constraint of forbidding induced claws, the maximum degree has the better upper bound 8. Finally, we show that every 7-connected 1-planar graph contains an induced claw, thereby implying that the vertex-connectivity of claw-free 1-planar graphs is at most 6. For a better comparison, we also refine some known results by Plummer on claw-free planar graphs.
Characterizing the Lovasz theta function via walk generating functions
A new characterization of the Lovasz theta function is provided by relating it to the (weighted) walk-generating function, thus establishing a relationship between two seemingly quite distinct concepts in algebraic graph theory. An application of this new characterization is given by showing how it straightforwardly entails multiple natural generalizations of the Hoffman upper bound (on both the independence number and Lovasz number) to arbitrary non-regular graphs. These new bounds possess properties that make them advantageous to previously derived such generalizations. It will also be shown that the Lovasz theta function equals a natural relaxation of the independence number, here dubbed the spherical independence number -- the determination of which involves producing a vector corresponding to a generalized maximum independent set which might be significant for the maximum independent set problem. Lastly, the derivation of the new characterization involves proving a certain analysis result which may in itself be of interest.
Spectral skeletons and applications
For a graph $G$, its spectral radius $ρ(G)$ is the largest eigenvalue of its adjacency matrix. Let $\mathcal{F}$ be a finite family of graphs with $\min_{F\in \mathcal{F}}χ(F)=r+1\geq3$, where $χ(F)$ is the chromatic number of $F$. Set $t=\max_{F\in\mathcal{F}}|F|$. Let $T(rt,r)$ be the Turán graph of order $rt$ with $r$ parts. Assume that some $F_{0}\subseteq\mathcal{F}$ is a subgraph of the graph obtained from $T(rt,r)$ by embedding a path or a matching in one part. Let ${\rm EX}(n,\mathcal{F})$ be the set of graphs with the maximum number of edges among all the graphs of order $n$ containing not any $F\in\mathcal{F}$. Simonovits \cite{S1,S2} gave general results on the graphs in ${\rm EX}(n,\mathcal{F})$. Let ${\rm SPEX}(n,\mathcal{F})$ be the set of graphs with the maximum spectral radius among all the graphs of order $n$ containing not any $F\in\mathcal{F}$. Motivated by the work of Simonovits, we characterize the specified structure of the graphs in ${\rm SPEX}(n,\mathcal{F})$ in this paper. Moreover, some applications are also included.