graph
35252 papers tagged with this keyword
Rare Flat Bands for Periodic Graph Operators
As a corollary of our main results, we prove that for any connected $\mathbb{Z}^d$-periodic graph, when edge weights and potentials are treated as variables, the corresponding periodic graph operators generically (i.e., outside a proper algebraic subset of the variable space) do not have flat bands.
On graphs coverable by chubby shortest paths
Published
• View Publication
• BIB
Dumas, Foucaud, Perez, and Todinca [SIAM J. Disc. Math., 2024] proved that if the vertex set of a graph $G$ can be covered by $k$ shortest paths, then the pathwidth of $G$ is bounded by $\mathcal{O}(k \cdot 3^k)$.
We prove a coarse variant of this theorem: if in a graph $G$ one can find~$k$ shortest paths such that every vertex is at distance at most $ρ$ from one of them, then $G$ is $(3,12ρ)$-quasi-isometric to a graph of pathwidth $k^{\mathcal{O}(k)}$ and maximum degree $\mathcal{O}(k)$, and $G$ admits a path-partition-decomposition whose bags are coverable by $k^{\mathcal{O}(k)}$ balls of radius at most $2ρ$ and vertices from non-adjacent bags are at distance larger than $2ρ$.
We also discuss applications of such decompositions in the context of algorithms for finding maximum distance independent sets and minimum distance dominating sets in graphs.
On the $Q$-polynomial property of bipartite graphs admitting a uniform structure
Let $Γ$ denote a finite, connected graph with vertex set $X$. Fix $x \in X$ and let $\varepsilon \ge 3$ denote the eccentricity of $x$. For mutually distinct scalars $\{θ^*_i\}_{i=0}^\varepsilon$ define a diagonal matrix $A^*=A^*(θ^*_0, θ^*_1, \ldots, θ^*_{\varepsilon}) \in M_X(\mathbb{R})$ as follows: for $y \in X$ we let $(A^*)_{yy} = θ^*_{\partial(x,y)}$, where $\partial$ denotes the shortest path length distance function of $Γ$. We say that $A^*$ is a dual adjacency matrix candidate of $Γ$ with respect to $x$ if the adjacency matrix $A \in M_X(\mathbb{R})$ of $Γ$ and $A^*$ satisfy
$$
A^3 A^* - A^* A^3+(β+1)( A A^* A^2 - A^2 A^* A)= γ(A^2A^*-A^*A^2)+ρ( A A^* - A^* A)
$$
for some scalars $β, γ, ρ\in \mathbb{R}$.
Assume now that $Γ$ is uniform with respect to $x$ in the sense of Terwilliger [Coding theory and design theory, Part I, IMA Vol. Math. Appl., 20, 193-212 (1990)]. In this paper, we give sufficient conditions on the uniform structure of $Γ$, such that $Γ$ admits a dual adjacency matrix candidate with respect to $x$. As an application of our results, we show that the full bipartite graphs of dual polar graphs are $Q$-polynomial.
Eigenvalue bounds for the quantum chromatic number of graph powers
Published
• View Publication
• BIB
The quantum chromatic number, a generalization of the chromatic number, was first defined in relation to the non-local quantum coloring game. We generalize the former by defining the quantum $k$-distance chromatic number $χ_{kq}(G)$ of a graph $G$, which can be seen as the quantum chromatic number of the $k$-th power graph, $G^k$, and as generalization of the classical $k$-distance chromatic number $χ_k(G)$ of a graph. It can easily be shown that $χ_{kq}(G) \leq χ_k(G)$. In this paper, we strengthen three classical eigenvalue bounds for the $k$-distance chromatic number by showing they also hold for the quantum counterpart of this parameter. This shows that several bounds by Elphick et al. [J. Combinatorial Theory Ser. A 168, 2019, Electron. J. Comb. 27(4), 2020] hold in the more general setting of distance-$k$ colorings. As a consequence we obtain several graph classes for which $χ_{kq}(G)=χ_{k}(G)$, thus increasing the number of graphs for which the quantum parameter is known.
New centrality measure: ksi-centrality
We introduce new centrality measures, called ksi-centrality and normalized ksi-centrality measure the importance of a node up to the importance of its neighbors. First, we show that normalized ksi-centrality can be rewritten in terms of the Laplacian matrix such that its expression is similar to the local clustering coefficient. After that we introduce average normalized ksi-coefficient and show that for a random Erdos-Renyi graph it is almost the same as average clustering coefficient. It also shows behavior similar to the clustering coefficient for the Windmill and Wheel graphs. Finally, we show that the distributions of ksi centrality and normalized ksi centrality distinguish networks based on real data from artificial networks, including the Watts-Strogatz, Barabasi-Albert and Boccaletti-Hwang-Latora small-world networks. Furthermore, we show the relationship between normalized ksi centrality and the average normalized ksi coefficient and the algebraic connectivity of the graph and the Chegeer number.
The subpath number of cactus graphs
Published
• View Publication
• BIB
The subpath number of a graph G is defined as the total number of subpaths in G, and it is closely related to the number of subtrees, a well-studied topic in graph theory. This paper is a continuation of our previous paper [5], where we investigated the subpath number and identified extremal graphs within the classes of trees, unicyclic graphs, bipartite graphs, and cycle chains. Here, we focus on the subpath number of cactus graphs and characterize all maximal and minimal cacti with n vertices and k cycles. We prove that maximal cacti are cycle chains in which all interior cycles are triangles, while the two end-cycles differ in length by at most one. In contrast, minimal cacti consist of k triangles, all sharing a common vertex, with the remaining vertices forming a tree attached to this joint vertex. By comparing extremal cacti with respect to the subpath number to those that are extremal for the subtree number and the Wiener index, we demonstrate that the subpath number does not correlate with either of these quantities, as their corresponding extremal graphs differ.
Hosoya Polynomials of Mycielskian Graphs
Vulnerability measures and topological indices are crucial in solving various problems such as the stability of the communication networks and development of mathematical models for chemical compounds. In 1947, Harry Wiener introduced a topological index related to molecular branching. Since then, more than 100 topological indices for graphs were introduced. Many graph polynomials play important roles in measuring such indices. Hosoya polynomial is among many of them. Introduced by Hosoya in 1988, the Hosoya polynomial of a given graph $G$ is a polynomial with the coefficients being the numbers of pairs of vertices in $G$ with all possible distances. For a given graph $G$, an extension graph is called Mycielskian graph of $G$, defined by Mycielski in 1955. In this paper, we investigate relationships between the Hosoya polynomial of any graph and that of its Mycielskian graph. The results are applied to compute the vulnerability measures, closeness and betweenness centrality, and the extended Wiener indices of selected graphs and their Mycielskian graphs. In the network science, these measures are commonly used to describe certain connectivity properties of a network. It is fascinating to see how graph polynomials are useful in other scientific fields.
An exact formula for the contraction factor of a subdivided Gaussian topological polymer
Published in Journal of Physics A: Mathematical and Theoretical 58 (2025), no. 35, 355201
• View Publication
• BIB
We consider the radius of gyration of a Gaussian topological polymer $G$ formed by subdividing a graph $G'$ of arbitrary topology (for instance, branched or multicyclic). We give a new exact formula for the expected radius of gyration and contraction factor of $G$ in terms of the number of subdivisions of each edge of $G'$ and a new weighted Kirchhoff index for $G'$. The formula explains and extends previous results for the contraction factor and Kirchhoff index of subdivided graphs.
Extremal graphs with maximum complementary second Zagreb index
Published
• View Publication
• BIB
Recently, a couple of degree-based topological indices, defined using a geometrical point of view of a graph edge, have attracted significant attention and being extensively investigated. Furtula and Oz [Complementary Topological Indices, \textit{MATCH Commun. Math. Comput. Chem.\/} \textbf{93} (2025) 247--263] introduced a novel approach for devising ``geometrical'' topological indices and focused special attention on the complementary second Zagreb index as a representation of the introduced approach. In the same paper, they also conjectured the maximal graphs of order $n$ with the maximum complementary second Zagreb index. In this paper, we confirm their conjecture.
Group distance magic cubic graphs
Published in Discussiones Mathematicae - Graph Theory 2025
• View Publication
• BIB
A $Γ$\emph{-distance magic labeling} of a graph $G = (V, E)$ with $|V| = n$ is a bijection $\ell$ from $V$ to an Abelian group $Γ$ of order $n$, for which there exists $μ\in Γ$, such that the weight $w(x) =\sum_{y\in N(x)}\ell(y)$ of every vertex $x \in V$ is equal to $μ$. In this case, the element $μ$ is called the \emph{magic constant of} $G$. A graph $G$ is called a \emph{group distance magic} if there exists a $Γ$-distance magic labeling of $G$ for every Abelian group $Γ$ of order $n$.
In this paper, we focused on cubic $Γ$-distance magic graphs as well as some properties of such graphs.
The minimum number of vertices and edges of connected graphs with ind-match$(G) = p$, min-match$(G) = q$ and match$(G) = r$
Let ind-match$(G)$, min-match$(G)$ and match$(G)$ denote the induced matching number, minimum matching number and matching number of a graph $G$, respectively. It is known that ind-match$(G) \leq $ min-match$(G) \leq {\rm match}(G) \leq$ 2min-match$(G)$ holds. In the present paper, we investigate the minimum number of vertices and edges of connencted simple graphs $G$ with ind-match$(G) = p$, min-match$(G) = q$ and ${\rm match}(G) = r$ for pair of integers $p, q, r$ such that $1 \leq p \leq q \leq r \leq 2q$.
Diameter and Girth of Representation Graphs of Quadratic Forms
Let $q$ be a non-degenerate quadratic form defined on an $F$ vector space $V$ and $a \in F$. We consider the Cayley graph on $V$ with generating set $\{x \in V \mid q(x) = a\}$ and study its diameter and girth. In particular, if $F$ is a finite field, we calculate these invariants and the number of cycles of minimal length in these graphs.
Towards Graham's rearrangement conjecture via rainbow paths
We study an old question in combinatorial group theory which can be traced back to a conjecture of Graham from 1971. Given a group $Γ$, and some subset $S\subseteq Γ$, is it possible to permute $S$ as $s_1, s_2, \ldots, s_d$ so that the partial products $\prod_{1 \leq i \leq t} s_i$, $t\in [d]$ are all distinct? Most of the progress towards this problem has been in the case when $Γ$ is a cyclic group. We show that for any group $Γ$ and any $S \subseteq Γ$, there is a permutation of $S$ where all but a vanishing proportion of the partial products are distinct, thereby establishing the first asymptotic version of Graham's conjecture under no restrictions on $Γ$ or $S$.
To do so, we explore a natural connection between Graham's problem and the following very natural question attributed to Schrijver. Given a $d$-regular graph $G$ properly edge-coloured with $d$ colours, is it always possible to find a rainbow path with $d-1$ edges? We settle this question asymptotically by showing one can find a rainbow path of length $d - o(d)$. While this has immediate applications to Graham's question for example when $Γ= \mathbb{F}_2^k$, our general result above requires a more involved result we obtain for the natural directed analogue of Schrijver's question.
Cyclic subsets in regular Dirac graphs
In 1996, in his last paper, Erdős asked the following question that he formulated together with Faudree: is there a positive $c$ such that any $(n+1)$-regular graph $G$ on $2n$ vertices contains at least $c 2^{2n}$ distinct vertex-subsets $S$ that are cyclic, meaning that there is a cycle in $G$ using precisely the vertices in $S$. We answer this question in the affirmative in a strong form by proving the following exact result: if $n$ is sufficiently large and $G$ minimises the number of cyclic subsets then $G$ is obtained from the complete bipartite graph $K_{n-1,n+1}$ by adding a $2$-factor (a spanning collection of vertex-disjoint cycles) within the part of size $n+1$. In particular, for $n$ large, this implies that the optimal $c$ in the problem is precisely $1/2$.
A remark on the independence number of sparse random Cayley sum graphs
The Cayley sum graph $Γ_S$ of a set $S \subseteq \mathbb{Z}_n$ is defined on the vertex set $\mathbb{Z}_n$, with an edge between distinct $x, y \in \mathbb{Z}_n$ if $x + y \in S$. Campos, Dahia, and Marciano have recently shown that if $S$ is formed by taking each element in $\mathbb{Z}_n$ independently with probability $p$, for $p > (\log n)^{-1/80}$, then with high probability the largest independent set in $Γ_S$ is of size $$
(2 + o(1)) \log_{1/(1-p)}(n). $$ This extends a result of Green and Morris, who considered the case $p = 1/2$, and asymptotically matches the independence number of the binomial random graph $G(n,p)$. We improve the range of $p$ for which this holds to $p > (\log n)^{-1/3 + o(1)}$. The heavy lifting has been done by Campos, Dahia, and Marciano, and we show that their key lemma can be used a bit more efficiently.
On the model theory of the Farey graph
We axiomatize the theory of the Farey graph and prove that it is $ω$-stable of Morley rank $ω$.
Interval H-graphs : Recognition and forbidden obstructions
We introduce the class of interval $H$-graphs, which is the generalization of interval graphs, particularly interval bigraphs. For a fixed graph $H$ with vertices $a_1,a_2,\dots,a_k$, we say that an input graph $G$ with given partition $V_1,\dots,V_k$ of its vertices is an interval $H$-graph if each vertex $v \in G$ can be represented by an interval $I_v$ from a real line so that $u \in V_i$ and $v \in V_j$ are adjacent if and only if $a_ia_j$ is an edge of $H$ and intervals $I_u$ and $I_v$ intersect. $G$ is called interval $k$-graph if $H$ is a complete graph on $k$ vertices. and interval bigraph when $k=2$. We study the ordering characterization and forbidden obstructions of interval $k$-graphs and present a polynomial-time recognition algorithm for them. Additionally, we discuss how this algorithm can be extended to recognize general interval $H$-graphs. Special cases of interval $k$-graphs, particularly comparability interval $k$-graphs, were previously studied in [2], where the complexity interval $k$-graph recognition was posed as an open problem.
Endomorphism and Automorphism Graphs
Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, \uend $\,$ of $G$ is the corresponding undirected simple graph. The automorphism graph, ${Auto}(G)$ of $G$ is an undirected graph with vertex set $G$ and there is an edge from the vertex `$a$' to the vertex `$\,b$' $(a \neq b) $ if and only if there exists an automorphism on $G$ mapping $a$ to $b$. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on.
$K_{2,3}$-induced minor-free graphs admit quasi-isometry with additive distortion to graphs of tree-width at most two
A graph $H$ is an \emph{induced minor} of a graph $G$ if $H$ can be obtained from $G$ by a sequence of edge contractions and vertex deletions. Otherwise, $G$ is \emph{$H$-induced minor-free}. In this paper, we provide a different proof of the fact that $K_{2,3}$-induced minor-free graphs admit a quasi-isometry with additive distortion to graphs with tree-width at most two. Our proof yields a $O(nm)$-time algorithm which takes as input a $K_{2,3}$-induced minor-free graph with $n$ vertices and $m$ edges, and outputs a tree-width two graph $H$ with the desired additive distortion. For \emph{universally signable} graphs, a subclass of $K_{2,3}$-induced minor-free graphs, the time complexity of our algorithm is linear. As a consequence, we obtain a truly sub-quadratic time additive constant factor approximation algorithm to compute the \emph{diameter} of a universally signable graph. In contrast, assuming the \emph{Strong Exponential Time Hypothesis} (\textsc{SETH}), the diameter of split graphs (a very restricted class of universally signable graphs), cannot be computed in truly sub-quadratic time [Borassi et al. (ENTCS, 2016)].
Soft Barycentric Refinement
The soft Barycentric refinement preserves manifolds with or without boundary. In every dimension larger than one, there is a universal spectral central limiting measure that has affinities with the Barycentric limiting measure one dimension lower. Ricci type quantities like the length of the dual sphere of co-dimension-2 simplex stay invariant under soft refinements. We prove that the dual graphs of any manifold can be colored with 3 colors, which is in the 2-dimensional case a special case of the Groetzsch theorem. It follows that the vertices of a soft Barycentric refined q-manifold G' can be colored by q+1 or q+2 colors.