graph
35252 papers tagged with this keyword
Hyperbolicity, topology, and combinatorics of fine curve graphs and variants
Given a surface, the fine $k$-curve graph of the surface is a graph whose vertices are simple closed essential curves and whose edges connect curves that intersect in at most $k$ points. We note that the fine $k$-curve graph is hyperbolic for all $k$ and, for $k\geq 2,$ show that it contains as induced subgraphs all countable graphs. We also show that the direct limit of this family of graphs, which we call the finitary curve graph, has diameter 2, has a contractible flag complex, contains every countable graph as an induced subgraph, and has as its automorphism group the homeomorphism group of the surface. Finally, we explore some finite graphs that are not induced subgraphs of fine curve graphs.
Realizations of planar graphs as Poincar'e-Reeb graphs of refined algebraic domains
Algebraic domains are regions in the plane surrounded by mutually disjoint non-singular real algebraic curves. Poincar'e-Reeb Graphs of them are graphs they naturally collapse: such graphs are formally formulated by Sorea, for example, around 2020. Their studies found that nicely embedded planar graphs are Poincar'e-Reeb graphs of some algebraic domains. These graphs are generic with respect to the projection to the horizontal axis. Problems, methods and results are elementary and natural and they apply natural approximations nicely for example.
We present our new approach to extension of the result to a non-generic case and an answer. We first formulate generalized algebraic domains, surrounded by non-singular real algebraic curves which may intersect with normal crossings. Such domains and certain classes of them appear in related studies of graphs and regions surrounded by algebraic curves explicitly.
An Empirically Fast Las Vegas Algorithm for Algebraic Shifting
Published
• View Publication
• BIB
Improved algorithms for computing (partial and full) exterior algebraic shifts of hypergraphs and simplicial complexes are presented. The main benefit is in positive characteristic. Experiments with an implementation in OSCAR with various inputs such as bipartite graphs and triangulations of two and three dimensional manifolds show that the method considerably extends for which simplicial complexes exterior algebraic shifts can be computed in practice.
The typical structure of dense claw-free graphs
We analyze the asymptotic number and typical structure of claw-free graphs at constant edge densities. The first of our main results is a formula for the asymptotics of the logarithm of the number of claw-free graphs of edge density $γ\in (0,1)$. We show that the problem exhibits a second-order phase transition at edge density $γ^\ast=\frac{5-\sqrt{5}}{4}$. The asymptotic formula arises by solving a variational problem over graphons. For $γ\geqγ^\ast$ there is a unique optimal graphon, while for $γ<γ^\ast$ there is an infinite set of optimal graphons. By analyzing more detailed structure, we prove that for $γ<γ^\ast$, there is in fact a unique graphon $W$ such that almost all claw-free graphs at edge density $γ$ are close in cut metric to $W$. We also analyze the probability of claw-freeness in the Erdős-Rényi random graph $G(n,p)$ for constant $p$, obtaining a formula for the large-deviation rate function for claw-freeness. In this case, the problem exhibits a first-order phase transition at $p^\ast=\frac{3-\sqrt{5}}{2}$, separating distinct structural regimes. At the critical point $p^\ast$, the corresponding graphon variational problem has infinitely many solutions, and we again pinpoint a unique optimal graphon that describes the typical structure of $G(n,p^\ast)$ conditioned on being claw-free.
An exact closed walks series formula for the complexity of regular graphs and some related bounds
The complexity of a graph is the number of its labeled spanning trees. In this work complexity is studied in settings that admit regular graphs. An exact formula is established linking complexity of the complement of a regular graph to numbers of closed walks in the graph by way of an infinite alternating series. Some consequences of this result yield infinite classes of lower and upper bounds on the complexity of such graphs. Applications of these mathematical results to biological problems on neuronal activity are described.
On the Hilbert depth of the quotient ring of the edge ideal of a star graph
Let $S_n=K[x_1,\ldots,x_n,y]$ and $I_n=(x_1y,x_2y,\ldots,x_ny)\subset S_n$ be the edge ideal of star graph. We prove that $\operatorname{hdepth}(S_n/I_n)\geq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \sqrt{n} \right\rfloor - 2$. Also, we show that for any $\varepsilon>0$, there exists some integer $A=A(\varepsilon)\geq 0$ such that $\operatorname{hdepth}(S_n/I_n)\leq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \varepsilon n \right\rfloor + A - 2$. We deduce that $\lim\limits_{n\to\infty} \frac{1}{n}\operatorname{hdepth}(S_n/I_n) = \frac{1}{2}$.
Water transport on finite graphs
Consider a simple finite graph and its nodes to represent identical water barrels (containing different amounts of water) on a level plane. Each edge corresponds to a (locked, water-filled) pipe connecting two barrels below the plane. We fix one node $v$ and consider the optimization problem relating to the maximum value to which the level in $v$ can be raised without pumps, i.e. by opening/closing pipes in a suitable order. This fairly natural optimization problem originated from the analysis of an opinion formation process and proved to be not only sufficiently intricate in order to be of independent interest, but also difficult from an algorithmic point of view.
Partitioning a graph into $Δ$-convex sets of graphs and graph products
Given a graph $G$ and a set $S \subseteq V(G)$, we say that $S$ is $Δ$-convex if the neighborhood of every vertex not in $S$ is an independent set. A collection ${\cal V} = (V_1, V_2, \ldots , V_p)$ of convex sets of $G$ is a convex $p$-cover if $V(G) = \underset{1 \leq i \leq p}{\bigcup} V_i$ and $V_i \nsubseteq {\underset{1 \leq j \leq p, j\ne i}{\bigcup}} V_j$ for $i \in \{1, \ldots, p\}$. If the convex sets of ${\cal V}$ are pairwise disjoint, ${\cal V}$ is a convex $p$-partition of $V(G)$. The convex cover number $φ_c(G)$ (the convex partition number $Θ_c(G)$) of a graph $G$ is the least integer $p \geq 2$ for which $G$ has a convex $p$-cover (convex $p$-partition). In this work, we prove that the {\sc Convex p-cover} and {\sc Convex p-Partition} problems are \NP-complete for any fixed $p \ge 4$ in $Δ$-convexity. Furthermore, for the three standard graph products, namely, the Cartesian, strong and lexicographic products, we determine these parameters for some cases and present bounds for others.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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)$.