graph
35299 papers tagged with this keyword
New Invariants for Partitioning a Graph into 2-connected Subgraphs
Published
• View Publication
• BIB
A vertex partition in which every part induces a 2-connected subgraph is called a 2-proper partition. This concept was introduced by Ferrara et al. in 2013, and Borozan et al. gave the best possible minimum degree condition for the existence of a 2-proper partition in 2016. Later, in 2022, Chen et al. extended the result by showing a minimum degree sum condition for the existence of 2-proper partition. In this paper, we introduce two new invariants of graph, denoted by $σ^*(G)$ and $α^*(G)$. These two invariants are defined from degree sum on all independent sets with some property. We prove that if a graph $G$ satisfies $σ^*(G)\geq |V(G)|$, then with some exceptions, $G$ has a 2-proper partition with at most $α^*(G)$ parts. This result is best possible, and implies both of the results by Borozan et al. and by Chen et al.. Moreover, as a corollary of our result, we give a minimum degree product condition for the existence of a 2-proper partition.
Point-variety incidences, unit distances and Zarankiewicz's problem for algebraic graphs
In this paper we study the number of incidences between $m$ points and $n$ varieties in $\mathbb{F}^d$, where $\mathbb{F}$ is an arbitrary field, assuming the incidence graph contains no copy of $K_{s,s}$. We also consider the analogous problem for algebraically defined graphs and unit distance graphs.
First, we prove that if $\mathcal{P}$ is a set of $m$ points and $\mathcal{V}$ is a set of $n$ varieties in $\mathbb{F}^{D}$, each of dimension $d$ and degree at most $Δ$, and in addition the incidence graph is $K_{s,s}$-free, then the number of incidences satisfies $I(\mathcal{P}, \mathcal{V})\leq O_{d,Δ, s}(m^{\frac{d}{d+1}} n+m)$. This bound is tight when $s,Δ$ are sufficiently large with respect to $d$, with an appropriate choice of $\mathbb{F}=\mathbb{F}(m,n)$. We give two proofs of this upper bound, one based on the framework of the induced Turán problems and the other based on VC-dimension theory. In the second proof, we extend the celebrated result of Rónyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest.
We also resolve the problem of finding the maximum number of unit distances which can be spanned by a set of $n$ points $\mathcal{P}$ in $\mathbb{F^d}$ whose unit-distance graph is $K_{s, s}$-free, showing that it is $Θ_{d,s}(n^{2-\frac{1}{\lceil d/2\rceil +1}})$.
Finally, we obtain tight bounds on the maximum number of edges of a $K_{s, s}$-free algebraic graph defined over a finite field, thus resolving the Zarankiewicz problem for this class of graphs.
Signed graphs in data sciences via communicability geometry
Published in Information Sciences 122096 (2025)
• View Publication
• BIB
Signed graphs are an emergent way of representing data in a variety of contexts where antagonistic interactions exist. These include data from biological, ecological, and social systems. Here we propose the concept of communicability for signed graphs and explore in depth its mathematical properties. We also prove that the communicability induces a hyperspherical geometric embedding of the signed network, and derive communicability-based metrics that satisfy the axioms of a distance even in the presence of negative edges. We then apply these metrics to solve several problems in the data analysis of signed graphs within a unified framework. These include the partitioning of signed graphs, dimensionality reduction, finding hierarchies of alliances in signed networks, and quantifying the degree of polarization between the existing factions in social systems represented by these types of graphs.
On rainbow domination of cubic graphs
The structure of minimal weight rainbow domination functions of cubic graphs are studied. Based on general observations for cubic graphs, generalized Petersen graphs $P(ck,k)$ are characterized whose 4- and 5-rainbow domination numbers equal the general lower bounds. As $t$-rainbow domination of cubic graphs for $t \ge 6$ is trivial, characterizations of such generalized Petersen graphs $P(ck,k)$ are known for all $t$-rainbow domination numbers.In addition, new upper bounds for 4- and 5-rainbow domination numbers that are valid for all $P(ck,k)$ are provided.
On Graph Grammars and Games
Graph grammars form an interesting area of research because of their versatility in modelling diverse situations with graphs as the structures which are to be manipulated. A new class of graph grammars, nc-eNCE Graph Grammars has been introduced recently with an aim of restricting the order of application of graph production rules, thereby generating different graph classes using the same set of rules. On the other hand 2D game design using an algorithmic approach known as procedural content generation has been of interest recently. In this paper we modify the structure of nc-eNCE graph grammars with the aim of generating directed graphs. We show that employing these graph grammars simplifies the design of 2D games. We have also developed an algorithm which makes use of these graph grammars for generating random game level layouts ensuring that the players will get a different gaming experience each time they play.
Diameter of 2-distance graphs
For a simple graph $G$, the $2$-distance graph, $D_2(G)$, is a graph with the vertex set $V(G)$ and two vertices are adjacent if and only if their distance is $2$ in the graph $G$. In this paper, for graphs $G$ with diameter 2, we show that $diam(D_2(G))$ can be any integer $t\geqslant2$. For graphs $G$ with $diam(G)\geqslant3$, we prove that $\frac{1}{2}diam(G)\leqslant diam(D_2(G))$ and this inequality is sharp. Also, for $diam(G)=3$, we prove that $diam(D_2(G))\leqslant5$ and this inequality is sharp.
Tilings of Benzels via Generalized Compression
Published in SIAM J. Discrete Math. 39(1):146-162 (2025)
• View Publication
• BIB
Defant, Li, Propp, and Young recently resolved two enumerative conjectures of Propp concerning the tilings of regions in the hexagonal grid called benzels using two types of prototiles called stones and bones (with varying constraints on allowed orientations of the tiles). Their primary tool, a bijection called compression that converts certain $k$-ribbon tilings to $(k-1)$-ribbon tilings, allowed them to reduce their problems to the enumeration of dimers (i.e., perfect matchings) of certain graphs. We present a generalized version of compression that no longer relies on the perspective of partitions and skew shapes. Using this strengthened tool, we resolve three more of Propp's conjectures and recast several others as problems about perfect matchings.
Towards a Stallings-type theorem for finite groups
A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible.
We use local separators and local coverings to discover and prove a low-order Stallings-type result for finite nilpotent groups $Γ$: the $r$-local covering of some Cayley graph $G$ of $Γ$ has $\geq 2$ ends that are separated by $\leq 2$ vertices iff $G$ has an $r$-local separator of size $\leq 2$ and $Γ$ has order $>r$, iff $Γ$ is isomorphic to $C_i\times C_j$ for some $i>r$ and $j\in\{1,2\}$.
Boolean intervals in the weak Bruhat order of a finite Coxeter group
Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter graph. Moreover, we establish that the number of Boolean intervals of rank $k$ in the weak order of $W$ is ${i_k(Γ_W)\cdot|W|}\,/\,2^{k}$, where $Γ_W$ is the Coxeter graph of $W$ and $i_k(Γ_W)$ is the number of independent sets of size $k$ of $Γ_W$ when $W$ is finite. Specializing to $A_n$, we recover the characterizations and enumerations of Boolean intervals in the weak order of $A_n$ given in arXiv:2306.14734. We provide the analogous results for types $C_n$ and $D_n$, including the related generating functions and additional connections to well-known integer sequences.
Tight bound for the Erdős-Pósa property of tree minors
Published in Combinatorics, Probability and Computing, 34:321--325, 2025
• View Publication
• BIB
Let $T$ be a tree on $t$ vertices. We prove that for every positive integer $k$ and every graph $G$, either $G$ contains $k$ pairwise vertex-disjoint subgraphs each having a $T$ minor, or there exists a set $X$ of at most $t(k-1)$ vertices of $G$ such that $G-X$ has no $T$ minor. The bound on the size of $X$ is best possible and improves on an earlier $f(t)k$ bound proved by Fiorini, Joret, and Wood (2013) with some fast growing function $f(t)$. Moreover, our proof is short and simple.
The maximum spectral radius of planner graphs without the joint of K2 and a linear forest
Given a graph $F$, let $SPEX_P(n,F)$ be the set of graphs with the maximum spectral radius among all $F$-free $n$-vertex planner graph. In 2017, Tait and Tobin proved that for sufficiently $n$, $K_2+P_{n-2}$ is the unique graph with the maximum spectral radius over all $n$-vertex planner graphs. In this paper, focusing on $SPEX_P(n,K_2+H)$ in which $H$ is a linear forest, we prove that $SPEX_P(n,K_2+H)=\{2K_1+C_{n-2}\}$ when $H\in \{pK_2,P_3,I_q\}$ $(p\geq1, q\geq 3)$, where $K_n$, $P_n$, $I_n$ are complete graph, path and empty graph of order $n$, respectively. When $H$ contains a $P_4$, we prove that $2K_1+C_{n-2}\notin SPEX_P(n,K_2+H)$ and also provide a structural characterization of graphs in $SPEX_P(n,K_2+H)$.
A Lower bound for Secure Domination Number of an Outerplanar Graph
Published
• View Publication
• BIB
A subset $S$ of vertices in a graph $G$ is a secure dominating set of $G$ if $S$ is a dominating set of $G$ and, for each vertex $u \not\in S$, there is a vertex $v \in S$ such that $uv$ is an edge and $(S \setminus \{v\}) \cup \{u\}$ is also a dominating set of $G$. The secure domination number of $G$, denoted by $γ_{s}(G)$, is the cardinality of a smallest secure dominating sets of $G$. In this paper, we prove that for any outerplanar graph with $n \geq 4$ vertices, $γ_{s}(G) \geq (n+4)/5$ and the bound is tight.
Turán problems for star-path forests in hypergraphs
Published
• View Publication
• BIB
An $r$-uniform hypergraph ($r$-graph for short) is linear if any two edges intersect at most one vertex. Let $\mathcal{F}$ be a given family of $r$-graphs. An $r$-graph $H$ is called $\mathcal{F}$-free if $H$ does not contain any member of $\mathcal{F}$ as a subgraph. The Turán number of $\mathcal{F}$ is the maximum number of edges in any $\mathcal{F}$-free $r$-graph on $n$ vertices, and the linear Turán number of $\mathcal{F}$ is defined as the Turán number of $\mathcal{F}$ in linear host hypergraphs. An $r$-uniform linear path $P^r_\ell$ of length $\ell$ is an $r$-graph with edges $e_1,\dots,e_\ell$ such that $|V(e_i)\cap V(e_j)|=1$ if $|i-j|=1$, and $V(e_i)\cap V(e_j)=\emptyset$ for $i\neq j$ otherwise. Gyárfás et al. [\textit{European J. Combin.} (2022) 103435] obtained an upper bound for the linear Turán number of $P_\ell^3$. In this paper, an upper bound for the linear Turán number of $P_\ell^r$ is obtained, which generalizes the known result of $P_\ell^3$ to any $P_\ell^r$. Furthermore, some results for the linear Turán number and Turán number of several linear star-path forests are obtained.
Untangling Gaussian Mixtures
Published
• View Publication
• BIB
Tangles were originally introduced as a concept to formalize regions of high connectivity in graphs. In recent years, they have also been discovered as a link between structural graph theory and data science: when interpreting similarity in data sets as connectivity between points, finding clusters in the data essentially amounts to finding tangles in the underlying graphs. This paper further explores the potential of tangles in data sets as a means for a formal study of clusters. Real-world data often follow a normal distribution. Accounting for this, we develop a quantitative theory of tangles in data sets drawn from Gaussian mixtures. To this end, we equip the data with a graph structure that models similarity between the points and allows us to apply tangle theory to the data. We provide explicit conditions under which tangles associated with the marginal Gaussian distributions exist asymptotically almost surely. This can be considered as a sufficient formal criterion for the separabability of clusters in the data.
$C_{2k+1}$-coloring of bounded-diameter graphs
For a fixed graph $H$, in the graph homomorphism problem, denoted by $Hom(H)$, we are given a graph $G$ and we have to determine whether there exists an edge-preserving mapping $\varphi: V(G) \to V(H)$. Note that $Hom(C_3)$, where $C_3$ is the cycle of length $3$, is equivalent to $3$-Coloring. The question whether $3$-Coloring is polynomial-time solvable on diameter-$2$ graphs is a well-known open problem. In this paper we study the $Hom(C_{2k+1})$ problem on bounded-diameter graphs for $k\geq 2$, so we consider all other odd cycles than $C_3$. We prove that for $k\geq 2$, the $Hom(C_{2k+1})$ problem is polynomial-time solvable on diameter-$(k+1)$ graphs -- note that such a result for $k=1$ would be precisely a polynomial-time algorithm for $3$-Coloring of diameter-$2$ graphs.
Furthermore, we give subexponential-time algorithms for diameter-$(k+2)$ graphs.
We complement these results with a lower bound for diameter-$(2k+2)$ graphs -- in this class of graphs the $Hom(C_{2k+1})$ problem is NP-hard and cannot be solved in subexponential-time, unless the ETH fails.
Finally, we consider another direction of generalizing $3$-Coloring on diameter-$2$ graphs. We consider other target graphs $H$ than odd cycles but we restrict ourselves to diameter $2$. We show that if $H$ is triangle-free, then $Hom(H)$ is polynomial-time solvable on diameter-$2$ graphs.
The $K_{1,2}$-structure-connectivity of graphs
Published
• View Publication
• BIB
In this paper, we mainly investigate $K_{1,2}$-structure-connectivity for any connected graph. Let $G$ be a connected graph with $n$ vertices, we show that $κ(G; K_{1,2})$ is well-defined if $diam(G)\geq 4$, or $n\equiv 1\pmod 3$, or $G\notin \{C_{5},K_{n}\}$ when $n\equiv 2\pmod 3$, or there exist three vertices $u,v,w$ such that $N_{G}(u)\cap (N_{G}(v,w)\cup\{v,w\})=\emptyset$ when $n\equiv 0\pmod 3$. Furthermore, if $G$ has $K_{1,2}$-structure-cut, we prove $κ(G)/3\leqκ(G; K_{1,2})\leqκ(G)$.
The Berge-Füredi conjecture on the chromatic index of hypergraphs with large hyperedges
This paper is concerned with two conjectures which are intimately related. The first is a generalization to hypergraphs of Vizing's Theorem on the chromatic index of a graph and the second is the well-known conjecture of Erdős, Faber and Lovász which deals with the problem of coloring a family of cliques intersecting in at most one vertex. We are led to study a special class of uniform and linear hypergraphs for which a number of properties are established.
Ehrhart polynomials of partial permutohedra
For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is a certain integral polytope in $\mathbb{R}^m$, which can be defined as the convex hull of the vectors from $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. For $n=m-1$, $\mathcal{P}(m,m-1)$ is (after translation by $(1,\ldots,1)$) the polytope $P_m$ of parking functions of length $m$, and for $n\ge m$, $\mathcal{P}(m,n)$ is combinatorially equivalent to an $m$-stellohedron. The main result of this paper is an explicit expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ for any $m$ and $n$ with $n\ge m-1$. The result confirms the validity of a conjecture for this Ehrhart polynomial in arXiv:2207.14253, and the $n=m-1$ case also answers a question of Stanley regarding the number of integer points in $P_m$. The proof of the result involves transforming $\mathcal{P}(m,n)$ to a unimodularly equivalent polytope in $\mathbb{R}^{m+1}$, obtaining a decomposition of this lifted version of $\mathcal{P}(m,n)$ with $n\ge m-1$ as a Minkowski sum of dilated coordinate simplices, applying a result of Postnikov for the number of integer points in generalized permutohedra of this form, observing that this gives an expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with $n\ge m-1$ as an edge-weighted sum over graphs (with loops and multiple edges permitted) on $m$ labelled vertices in which each connected component contains at most one cycle, and then applying standard techniques for the enumeration of such graphs.
Zig-zag Eulerian polynomials
Published
• View Publication
• BIB
For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically.
In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
A method for constructing graphs with the same resistance spectrum
Published
• View Publication
• BIB
Let $G=(V(G),E(G))$ be a graph with vertex set $V(G)$ and edge set $E(G)$. The resistance distance $R_G(x,y)$ between two vertices $x,y$ of $G$ is defined to be the effective resistance between the two vertices in the corresponding electrical network in which each edge of $G$ is replaced by a unit resistor. The resistance spectrum $\mathrm{RS}(G)$ of a graph $G$ is the multiset of the resistance distances of all pairs of vertices in the graph. This paper presents a method for constructing graphs with the same resistance spectrum. It is obtained that for any positive integer $k$, there exist at least $2^k$ graphs with the same resistance spectrum. Furthermore, it is shown that for $n \geq 10$, there are at least $2(n-9) p(n-9)$ pairs of graphs of order $n$ with the same resistance spectrum, where $p(n-9)$ is the number of partitions of the integer $n-9$.