graph
34516 papers tagged with this keyword
Exact double domination in subdivision, Mycielskian and middle graphs
WE determine the existence of exact (efficient) doubly dominating sets in three famous structures and in their complement for arbitrary graphs.
Bounds on the Inverse symmetric division deg index and the relation with other topological indices of graphs
Let $G=(V,E)$ be a simple graph. The concept of Inverse symmetric division deg index $(ISDD)$ was introduced in the chemical graph theory very recently. In spite of this, a few papers have already appeared with this index in the literature. Ghorbani et al. proposed Inverse symmetric division deg index and is defined as $$ISDD(G)=\sum\limits_{v_iv_j\in E(G)}\,\displaystyle{\frac{d_id_j}{d^2_i+d^2_j}},$$ where $d_i$ is the degree of the vertex $v_i$ in $G$. In this paper, we obtain some lower and upper bounds on the inverse symmetric division deg index $(ISDD)$ of graphs in terms of various graph parameters, with identifying extremal graphs. Moreover, we present two relations between the Inverse symmetric division deg index and the various topological indices of graphs. Finally, we give concluding remarks with future work.
Perfect t-embeddings and Lozenge Tilings
We construct perfect t-embeddings for regular hexagons of the hexagonal lattice, providing the first example, and hence proving existence, for graphs with an outer face of degree greater than four. The construction is in terms of the inverse Kasteleyn matrix and relies only on symmetries of the graph. Using known formulas for the inverse Kasteleyn matrix, we derive exact contour integral formulas for these embeddings and their origami maps. Through steepest descent analysis, we establish scaling limits, proving convergence of origami maps to a maximal surface in the Minkowski space $\mathbb{R}^{2,1}$, and we verify structural rigidity conditions, leading to a new proof of convergence of height fluctuations to the Gaussian free field.
$k$-edge geodetic graphs
A graph $G$ is $k$-edge geodetic graph if every edge of $G$ lies in at least one geodesic of length $k$. We studied some basic properties of $k$-edge geodetic graphs. We investigated the $k$ edge-geodeticity of complete bipartite graph $K_{m,n}$ and provide the minimum number of largest fixed order path that can cover $K_{m,n}$. We also studied the $k$-edge geodeticity of tree and the product graphs like Cartesian product, Strong product, Corona product, and provide the bounds for the minimum number of the largest fixed order path that can cover the graph.
Triangle-free Graphs with Large Minimum Common Degree
Let $G$ be a graph. For $x\in V(G)$, let $N(x)=\{y\in V(G)\colon xy\in E(G)\}$. The minimum common degree of $G$, denoted by $δ_{2}(G)$, is defined as the minimum of $|N(x)\cap N(y)|$ over all non-edges $xy$ of $G$. In 1982, Häggkvist showed that every triangle-free graph with minimum degree greater than $\lfloor\frac{3n}{8}\rfloor$ is homomorphic to a cycle of length 5. In this paper, we prove that every triangle-free graph with minimum common degree greater than $\lfloor\frac{n}{8}\rfloor$ is homomorphic to a cycle of length 5, which implies Häggkvist's result. The balanced blow-up of the Möbius ladder graph shows that it is best possible.
Infinite Cliques in Simple and Stable Graphs
Published in Model Th. 4 (2025) 231-249
• View Publication
• BIB
Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes.
Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles
Published in J Appl. and Comput. Topology 9, 21 (2025)
• View Publication
• BIB
For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to a disjoint union of points and circles when both $G$ and $H$ are cycles. We generalize this known result by showing that the same holds whenever $G$ is connected and $H$ is a cycle. To this end, we explicitly construct the universal cover of each connected component of $\mathrm{Hom}(G,H)$ and prove that it is contractible. Additionally, we provide a simple criterion to determine whether the connected component containing a given homomorphism is homotopy equivalent to a point or circle.
Moment-angle manifolds corresponding to three-dimensional simplicial spheres, chordality and connected sums of products of spheres
We prove that the moment-angle complex $\mathcal Z_K$ corresponding to a 3-dimensional simplicial sphere $K$ has the cohomology ring isomorphic to the cohomology ring of a connected sum of products of spheres if and only if either (a) $K$ is the boundary of a 4-dimensional cross-polytope, or (b) the one-skeleton of $K$ is a chordal graph, or (c) there are only two missing edges in $K$ and they form a chordless 4-cycle. For simplicial spheres $K$ of arbitrary dimension, we obtain a sufficient condition for the ring isomorphism $H^*(\mathcal Z_K)\cong H^*(M)$ where $M$ is a connected sum of products of spheres.
On local antimagic chromatic numbers of the join of two special families of graphs
It is known that null graphs and 1-regular graphs are the only regular graphs without local antimagic chromatic number. In this paper, we use matrices of size $(2m+1) \times (2k+1)$ to completely determine the local antimagic chromatic number of the join of null graphs, $O_m, m\ge 1,$ and 1-regular graphs of odd components, $(2k+1)P_2$, $k\ge 1$. Consequently, we obtained infinitely many (possibly disconnected or regular) tripartite graphs with local antimagic chromatic number 3.
Functional Equations and Pole Structure of the Bartholdi Zeta Function
In this paper, we investigate the Bartholdi zeta function on a connected simple digraph with $n_V$ vertices and $n_E$ edges. We derive a functional equation for the Bartholdi zeta function $ζ_G(q,u)$ on a regular graph $G$ with respect to the bump parameter $u$. We also find an equivalence between the Bartholdi zeta function with a specific value of $u$ and the Ihara zeta function at $u=0$. We determine bounds of the critical strip of $ζ_G(q,u)$ for a general graph. If $G$ is a $(t+1)$-regular graph, the bounds are saturated and $q=(1-u)^{-1}$ and $q=(t+u)^{-1}$ are the poles at the boundaries of the critical strip for $u\ne 1, -t$. When $G$ is the regular graph and the spectrum of the adjacency matrix satisfies a certain condition, $ζ_G(q,u)$ satisfies the so-called Riemann hypothesis. For $u \ne 1$, $q=\pm(1-u)^{-1}$ are poles of $ζ_G(q,u)$ unless $G$ is tree. Although the order of the pole at $q=(1-u)^{-1}$ is $n_E-n_V+1$ if $u\ne u_* \equiv 1-\frac{n_E}{n_V}$, it is enhanced at $u=u_*$. In particular, if the Moore-Penrose inverse of the incidence matrix $L^+$ and the degree vector $\vec{d}$ satisfy the condition $|L^+ \vec{d}|^2\ne n_E$, the order of the pole at $q=(1-u)^{-1}$ increases only by one at $u=u_*$. The order of the pole at $q=-(1-u)^{-1}$ coincides with that at $q=(1-u)^{-1}$ if $G$ is bipartite and is $n_E-n_V$ otherwise.
An algebraic approach to Erdős-Ko-Rado sets of flags in spherical buildings II
We continue our investigation of Erdős-Ko-Rado (EKR) sets of flags in spherical buildings. In previous work, we used the theory of buildings and Iwahori-Hecke algebras to obtain upper bounds on their size. As the next step towards the classification of the maximal EKR-sets, we describe the eigenspaces for the smallest eigenvalue of the opposition graphs. We determine their multiplicity and provide a combinatorial description of spanning sets of these subspaces, from which a complete description of the maximal Erdős-Ko-Rado sets of flags may potentially be found. This was recently shown to be possible for type $A_n$, $n$ odd, by Heering, Lansdown, and the last author by making use of the current work.
Vertex-critical graphs in co-gem-free graphs
A graph $G$ is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$ and $(G,H)$-free if it contains no induced subgraph isomorphic to $G$ or $H$. We show that there are only finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$ when $H$ is any graph of order $4$ by showing finiteness in the three remaining open cases, those are the cases when $H$ is $2P_2$, $K_3+P_1$, and $K_4$. For the first two cases we actually prove the stronger results:
$\bullet$ There are only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k$ and that only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k\ge 1$.
$\bullet$ There are only finitely many $k$-vertex-critical (co-gem, $P_5$, $P_3+cP_2$)-free graphs for all $k\ge 1$ and $c\ge 0$.
To prove the latter result, we employ a novel application of Sperner's Theorem on the number of antichains in a partially ordered set. Our result for $K_4$ uses exhaustive computer search and is proved by showing the stronger result that every $(\text{co-gem, }K_4)$-free graph is $4$-colourable. Our results imply the existence of simple polynomial-time certifying algorithms to decide the $k$-colourability of (co-gem, $H$)-free graphs for all $k$ and all $H$ of order $4$ by searching the vertex-critical graphs as induced subgraphs.
An activities expansion of the transition polynomial of a multimatroid
The weighted transition polynomial of a multimatroid is a generalization of the Tutte polynomial. By defining the activity of a skew class with respect to a basis in a multimatroid, we obtain an activities expansion for the weighted transition polynomial. We also decompose the set of all transversals of a multimatroid as a union of subsets of transversals. Each term in the decomposition has the structure of a boolean lattice, and each transversal belongs to a number of terms depending only on the sizes of some of its skew classes. Further expressions for the transition polynomial of a multimatroid are obtained via an equivalence relation on its bases and by extending Kochol's theory of compatible sets.
We apply our multimatroid results to obtain a result of Morse about the transition polynomial of a delta-matroid and get a partition of the boolean lattice of subsets of elements of a delta-matroid determined by the feasible sets. Finally, we describe how multimatroids arise from graphs embedded in surfaces and apply our results to obtain an activities expansion for the topological transition polynomial. Our work extends results for the Tutte polynomial of a matroid.
Odd Covers of Complete Graphs and Hypergraphs
The `odd cover number' of a complete graph is the smallest size of a family of complete bipartite graphs that covers each edge an odd number of times. For $n$ odd, Buchanan, Clifton, Culver, Nie, O'Neill, Rombach and Yin showed that the odd cover number of $K_n$ is equal to $(n+1)/2$ or $(n+3)/2$, and they conjectured that it is always $(n+1)/2$. We prove this conjecture.
For $n$ even, Babai and Frankl showed that the odd cover number of $K_n$ is always at least $n/2$, and the above authors and Radhakrishnan, Sen and Vishwanathan gave some values of $n$ for which equality holds. We give some new examples.
Our constructions arise from some very symmetric constructions for the corresponding problem for complete hypergraphs. Thus the odd cover number of the complete 3-graph $K_n^{(3)}$ is the smallest number of complete 3-partite 3-graphs such that each 3-set is in an odd number of them. We show that the odd cover number of $K_n^{(3)}$ is exactly $n/2$ for even $n$, and we show that for odd $n$ it is $(n-1)/2$ for infinitely many values of $n$. We also show that for $r=3$ and $r=4$ the odd cover number of $K_n^{(r)}$ is strictly less than the partition number, answering a question of Buchanan, Clifton, Culver, Nie, O'Neill, Rombach and Yin for those values of $r$.
A note on semi-transitivity of Mycielski graphs
An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes several important graph classes. The Mycielski graph of an undirected graph is a larger graph constructed in a specific manner, which maintains the property of being triangle-free but increases the chromatic number.
In this note, we prove Hameed's conjecture, which states that the Mycielski graph of a graph $G$ is semi-transitive if and only if $G$ is a bipartite graph. Notably, our solution to the conjecture provides an alternative and shorter proof of the Hameed's result on a complete characterization of semi-transitive extended Mycielski graphs.
Homotopy $n$-types of cubical sets and graphs
We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an analogous model structure can be constructed on the category of cubical sets, and use it to equip the category of (simple) graphs with a fibration category structure whose weak equivalences are discrete $n$-equivalences.
Discrete-time treatment number
We introduce the discrete-time treatment number of a graph, in which each vertex is in exactly one of three states at any given time-step: compromised, vulnerable, or treated. Our treatment number is distinct from other graph searching parameters that use only two states, such as the firefighter problem or Bernshteyn and Lee's inspection number. Vertices represent individuals and edges exist between individuals with close connections. Each vertex starts out as compromised; it can become compromised again even after treatment. Our objective is to treat the entire population so that at the last time-step, no members are vulnerable or compromised, while minimizing the maximum number of treatments that occur at each time-step. This minimum is the treatment number, and it depends on the choice of a pre-determined length of time $r$ that a vertex can remain in a treated state and length of time $s$ that a vertex can remain in a vulnerable state without being treated again.
We denote the pathwidth of graph $H$ by $pw(H)$ and prove that the treatment number of $H$ is bounded above by $\lceil \frac{1+pw(H)}{r+s}\rceil$. This equals the best possible lower bound for a cautious treatment plan, defined as one in which each vertex, after being treated for the first time, is treated again within every consecutive $r+s$ time-steps until its last treatment. However, many graphs admit a plan that is not cautious. When $r=s=1$, we find a useful tool for proving lower bounds, show that the treatment number of an $n\times n$ grid equals $\lceil\frac{1+n}{2}\rceil$, characterize graphs that require only one treatment per time-step, and prove that subdividing one edge can reduce the treatment number. It is known that there are trees with arbitrarily large pathwidth; surprisingly, we prove that for any tree $T$, there is a subdivision of $T$ that requires at most two treatments per time-step.
Gromov's Approximating Tree and the All-Pairs Bottleneck Paths Problem
Given a pointed metric space $(X,\mathsf{dist}, w)$ on $n$ points, its Gromov's approximating tree is a 0-hyperbolic pseudo-metric space $(X,\mathsf{dist}_T)$ such that $\mathsf{dist}(x,w)=\mathsf{dist}_T(x,w)$ and $\mathsf{dist}(x, y)-2 δ\log_2n \leq \mathsf{dist}_T (x, y) \leq \mathsf{dist}(x, y)$ for all $x, y \in X$ where $δ$ is the Gromov hyperbolicity of $X$. On the other hand, the all pairs bottleneck paths (APBP) problem asks, given an undirected graph with some capacities on its edges, to find the maximal path capacity between each pair of vertices. In this note, we prove:
$\bullet$ Computing Gromov's approximating tree for a metric space with $n+1$ points from its matrix of distances reduces to solving the APBP problem on an connected graph with $n$ vertices.
$\bullet$ There is an explicit algorithm that computes Gromov's approximating tree for a graph from its adjacency matrix in quadratic time.
$\bullet$ Solving the APBP problem on a weighted graph with $n$ vertices reduces to finding Gromov's approximating tree for a metric space with $n+1$ points from its distance matrix.
Some integer values in the spectra of burnt pancake graphs
The burnt pancake graph, denoted by $\mathbb{BP}_n$, is formed by connecting signed permutations via prefix reversals. Here, we discuss some spectral properties of $\mathbb{BP}_n$. More precisely, we prove that the adjacency spectrum of $\mathbb{BP}_n$ contains all integer values in the set $\{0, 1, \ldots, n\}\setminus\{\left\lfloor n/2 \right\rfloor\}$.
Average Degree of Graphs Derived From The Ammann A2 Aperiodic Tiling
The Ammann A2 tiling is a simple aperiodically ordered tiling of the plane. We consider the graph derived from this tiling, by treating each corner of each tile as a vertex and each side of each tile as an edge. We present a closed-form formula for the average degree of the graph corresponding to this Ammann A2 tiling.