graph
35299 papers tagged with this keyword
On edge irregularity strength of cycle-star graphs
Published in Proyecciones Journal of Mathematics, Vol. 43, No 3, pp. 725-741, June 2024
• View Publication
• BIB
For a simple graph $G$, a vertex labeling $φ:V(G) \rightarrow \{1, 2,\ldots,k\}$ is called $k$-labeling. The weight of an edge $uv$ in $G$, written $w_φ(uv)$, is the sum of the labels of end vertices $u$ and $v$, i.e., $w_φ(uv)=φ(u)+φ(v)$. A vertex $k$-labeling is defined to be an edge irregular $k$-labeling of the graph $G$ if for every two distinct edges $u$ and $v$, $w_φ(u) \neq w_φ(v)$. The minimum $k$ for which the graph $G$ has an edge irregular $k$-labeling is called the edge irregularity strength of $G$, written $es(G)$. In this paper, we study the edge irregular $k$-labeling for cycle-star graph $CS_{k,n-k}$ and determine the exact value for cycle-star graph for $3 \leq k \leq 7$ and $n-k \geq 1$. Finally, we make a conjecture for the edge irregularity strength of $CS_{k,n-k}$ for $k \geq 8$ and $n-k \geq 1$.
A note on edge irregularity strength of Dandelion graph
For a simple graph $G$, a vertex labeling $φ:V(G) \rightarrow \{1, 2,\ldots,k\}$ is called $k$-labeling. The weight of an edge $xy$ in $G$, written $w_φ(xy)$, is the sum of the labels of end vertices $x$ and $y$, i.e., $w_φ(xy)=φ(x)+φ(y)$. A vertex $k$-labeling is defined to be an edge irregular $k$-labeling of the graph $G$ if for every two different edges $e$ and $f$, $w_φ(e) \neq w_φ(f)$. The minimum $k$ for which the graph $G$ has an edge irregular $k$-labeling is called the edge irregularity strength of $G$, written $es(G)$. In this note, we find the exact value of edge irregularity strength of Dandelion graph when $Δ(G) \geq \lceil \frac{|E(G)|+1}{2} \rceil$; and determine the bounds when $Δ(G) < \lceil \frac{|E(G)|+1}{2} \rceil $.
On some singular graphs with non-isomorphic associated evolution algebras
Published
• View Publication
• BIB
A connected graph can be associated with two distinct evolution algebras. In the first case, the structural matrix is the adjacency matrix of the graph itself. In the second case, the structural matrix is the transition probabilities matrix of the symmetric random walk on the same graph. It is well-known that, for a non-singular graph, both evolution algebras are isomorphic if, and only if, the graph is regular or biregular. Moreover, through examples and partial results, it has been conjectured that the same result remains true for singular graphs. The purpose of this work is to provide new examples supporting this conjecture.
Algebraic Constructions for the Digraph Routing Problems
Efficiency of routing on a regular digraph often involves finding opitmal properties of the graph. For example, the diameter of a digraph is the maximum distance between any two vertices. We show how we can study these problems algebraically in terms of quasigroups, 1-factors, and permutation groups. Our investigation originated from the study of graphs as the Cayley graphs of groupoids with $d$ generators, a left identity, and right cancellation; that is, a right quasigroup. This enables us to provide compact algebraic definitions for some important graphs that are either given as explicit edge lists or as the Cayley coset graphs of groups larger than the graph. One such example is a single expression for the Hoffman-Singleton graph. From there, we notice that the groupoids can be represented uniquely by a set of disjoint permutations and we explore the consequences of that observation.
A one-line proof of a minimax theorem (for a notion of curvature on finite graphs)
A one-line proof of a minimax theorem due to Steinerberger is given.
On the treewidth of generalized q-Kneser graphs
Published
• View Publication
• BIB
The generalized $q$-Kneser graph $K_q(n,k,t)$ for integers $k>t>0$ and $n>2k-t$ is the graph whose vertices are the $k$-dimensional subspaces of an $n$-dimensional $F_q$-vectorspace with two vertices $U_1$ and $U_2$ adjacent if and only if $\dim(U_1\cap U_2)<t$. We determine the treewidth of the generalized $q$-Kneser graphs $K_q(n,k,t)$ when $t\ge 2$ and $n$ is sufficiently large compared to $k$. The imposed bound on $n$ is a significant improvement of the previously known bound. One consequence of our results is that the treewidth of each $q$-Kneser graph $K_q(n,k,t)$ with $k>t>0$ and $n\ge 3k-t+9$ is equal to $\gauss{n}{k}-\gauss{n-t}{k-t}-1$.
Regularity of normal Rees algebras of edge ideals of graphs
Published
• View Publication
• BIB
We classify all graphs for which the Rees algebras of their edge ideals are normal and have regularity equal to their matching numbers.
Refined diameter bounds under curvature dimension conditions
In this article we derive an explicit diameter bound for graphs satisfying the so-called curvature dimension conditions $CD(K,n)$. This refines a recent result due to Liu, Münch and Peyerimhoff when the dimension $n$ is finite.
Anti-Ramsey Numbers of Expansions of Doubly Edge-critical Graphs in Uniform Hypergraphs
For an $r$-graph $H$, the anti-Ramsey number ${\rm ar}(n,r,H)$ is the minimum number $c$ of colors such that for any edge-coloring of the complete $r$-graph on $n$ vertices with at least $c$ colors, there is a copy of $H$ whose edges have distinct colors. A 2-graph $F$ is doubly edge-$p$-critical if the chromatic number $χ(F - e)\geq p$ for every edge $e$ in $F$ and there exist two edges $e_1,e_2$ in $F$ such that $χ(F -e_1- e_2)=p-1$. The anti-Ramsey numbers of doubly edge-$p$-critical 2-graphs were determined by Jiang and Pikhurko \cite{Jiang&Pikhurko2009}, which generalized the anti-Ramsey numbers of cliques determined by Erdős, Simonovits and Sós \cite{Erdos&Simonovits&Sos1975}. In general, few exact values of anti-Ramsey numbers of $r$-graphs are known for $r\geq 3$. Given a 2-graph $F$, the expansion $F^{(r)}$ of $F$ is an $r$-graph on $|V(F)|+(r-2)|F|$ vertices obtained from $F$ by adding $r-2$ new vertices to each edge of $F$. In this paper, we determine the exact value of ${\rm ar}(n,r,F^{(r)})$ for any doubly edge-$p$-critical 2-graph $F$ with $p>r\geq 3$ and sufficiently large $n$.
Maximizing the index of signed complete graphs with spanning trees on $k$ pendant vertices
Published
• View Publication
• BIB
A signed graph $Σ=(G,σ)$ consists of an underlying graph $G=(V,E)$ with a sign function $σ:E\rightarrow\{-1,1\}$. Let $A(Σ)$ be the adjacency matrix of $Σ$ and $λ_1(Σ)$ denote the largest eigenvalue (index) of $Σ$.Define $(K_n,H^-)$ as a signed complete graph whose negative edges induce a subgraph $H$. In this paper, we focus on the following problem: which spanning tree $T$ with a given number of pendant vertices makes the $λ_1(A(Σ))$ of the unbalanced $(K_n,T^-)$ as large as possible? To answer the problem, we characterize the extremal signed graph with maximum $λ_1(A(Σ))$ among graphs of type $(K_n,T^-)$.
On Tuza's Conjecture in Dense Graphs
Published
• View Publication
• BIB
In 1982, Tuza conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. This conjecture was proved for several graph classes. In this paper, we present three results regarding Tuza's Conjecture for dense graphs. By using a probabilistic argument, Tuza proved its conjecture for graphs on $n$ vertices with minimum degree at least $\frac{7n}{8}$. We extend this technique to show that Tuza's conjecture is valid for split graphs with minimum degree at least $\frac{3n}{5}$; and that $τ(G) < \frac{28}{15}ν(G)$ for every tripartite graph with minimum degree more than $\frac{33n}{56}$. Finally, we show that $τ(G)\leq \frac{3}{2}ν(G)$ when $G$ is a complete 4-partite graph. Moreover, this bound is tight.
Combinatorics of generic 5-degree polynomials
We consider the space $P$ of generic complex 5-degree polynomials. Critical values of such polynomial, i.e. four points in the complex plane, either are vertices of a convex quadrangle $Q$, or vertices of a triangle $T$ with one point inside $T$. The inverse image of $Q$ is a tree-like connected structure of five ovals (a cactus). The inverse image of $T$ is also a cactus, but of four ovals. Transformations of cacti of the first type into cacti of the second type and vice versa allow one to represent the space $P$ as a ribbon bipartite graph of genus 3.
On Growth Functions of Coxeter Groups
Published in Proceedings of the Edinburgh Mathematical Society 68 (2025) 979-993
• View Publication
• BIB
Let $(W, S)$ be a Coxeter system of rank $n$ and let $p_{(W, S)}(t)$ be its growth function. It is known that $p_{(W, S)}(q^{-1}) < \infty$ holds for all $n \leq q \in \mathbb{N}$. In this paper we will show that this still holds for $q = n-1$, if $(W, S)$ is $2$-spherical. Moreover, we will prove that $p_{(W, S)}(q^{-1}) = \infty$ holds for $q = n-2$, if the Coxeter diagram of $(W, S)$ is the complete graph. These two results provide a complete characterization of the finiteness of the growth function in the case of $2$-spherical Coxeter systems with complete Coxeter diagram.
Hitting times in the binomial random graph
Published
• View Publication
• BIB
Fix $k\geq 2$, choose $\frac{\log n}{n^{(k-1)/k}}\leq p\leq 1-Ω(\frac{\log^4 n}{n})$, and consider $G\sim G(n,p)$. For any pair of vertices $v,w\in V(G)$, we give a simple and precise formula for the expected number of steps that a random walk on $G$ starting at $w$ needs to first arrive at $v$. The formula only depends on basic structural properties of $G$. This improves and extends recent results of Ottolini and Steinerberger, as well as Ottolini, who considered this problem for constant as well as for mildly vanishing $p$.
Conformality of Minimal Transversals of Maximal Cliques
Published
• View Publication
• BIB
Given a hypergraph $H$, the dual hypergraph of $H$ is the hypergraph of all minimal transversals of $H$. A hypergraph is conformal if it is the family of maximal cliques of a graph. In a recent work, Boros, Gurvich, Milanič, and Uno (Journal of Graph Theory, 2025) studied conformality of dual hypergraphs and proved several results related to this property, leading in particular to a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most $k$, for any fixed $k$. In this follow-up work, we provide a novel aspect to the study of graph clique transversals, by considering the dual conformality property from the perspective of graphs. More precisely, we study graphs for which the family of minimal transversals of maximal cliques is conformal. Such graphs are called clique dually conformal (CDC for short). It turns out that the class of CDC graphs is a rich generalization of the class of $P_4$-free graphs. As our main results, we completely characterize CDC graphs within the families of triangle-free graphs and split graphs. Both characterizations lead to polynomial-time recognition algorithms. Generalizing the fact that every $P_4$-free graph is CDC, we also show that the class of CDC graphs is closed under substitution, in the strong sense that substituting a graph $H$ for a vertex of a graph $G$ results in a CDC graph if and only if both $G$ and $H$ are CDC.
Strong log-convexity of genus sequences
Published
• View Publication
• BIB
For a graph $G$, and a nonnegative integer $g$, let $a_g(G)$ be the number of $2$-cell embeddings of $G$ in an orientable surface of genus $g$ (counted up to the combinatorial homeomorphism equivalence). In 1989, Gross, Robbins, and Tucker [Genus distributions for bouquets of circles, J. Combin. Theory Ser. B 47 (1989), 292-306] proposed a conjecture that the sequence $a_0(G),a_1(G),a_2(G),\dots$ is log-concave for every graph $G$. This conjecture is reminiscent to the Heron-Rota-Welsh Log Concavity Conjecture that was recently resolved in the affirmative by June Huh et al., except that it is closer to the notion of $Δ$-matroids than to the usual matroids. In this short paper, we disprove the Log Concavity Conjecture of Gross, Robbins, and Tucker by providing examples that show strong deviation from log-concavity at multiple terms of their genus sequences.
Coloring spheres in 3--manifolds
The sphere graph of $M_r$, a connect sum of $r$ copies of $S^1\times S^2$ was introduced by Hatcher as an analog of the curve graph of a surface to study the outer automorphism group of a free group $F_r$. Bestvina, Bromberg, and Fujiwara proved that the chromatic number of the curve graph is finite; bounds were subsequently improved by Gaster, Greene, and Vlamis. Motivated by the analogy, we provide upper and lower bounds for the chromatic number of the sphere graph of $M_r$. As a corollary to the prime decomposition of 3-manifolds, this gives bounds on the chromatic number of the sphere graph for any orientable 3-manifold.
A Mathematical Reconstruction of Endothelial Cell Networks
Endothelial cells form the linchpin of vascular and lymphatic systems, creating intricate networks that are pivotal for angiogenesis, controlling vessel permeability, and maintaining tissue homeostasis. Despite their critical roles, there is no rigorous mathematical framework to represent the connectivity structure of endothelial networks. Here, we develop a pioneering mathematical formalism called $π$-graphs to model the multi-type junction connectivity of endothelial networks. We define $π$-graphs as abstract objects consisting of endothelial cells and their junction sets, and introduce the key notion of $π$-isomorphism that captures when two $π$-graphs have the same connectivity structure. We prove several propositions relating the $π$-graph representation to traditional graph-theoretic representations, showing that $π$-isomorphism implies isomorphism of the corresponding unnested endothelial graphs, but not vice versa. We also introduce a temporal dimension to the $π$-graph formalism and explore the evolution of topological invariants in spatial embeddings of $π$-graphs. Finally, we outline a topological framework to represent the spatial embedding of $π$-graphs into geometric spaces. The $π$-graph formalism provides a novel tool for quantitative analysis of endothelial network connectivity and its relation to function, with the potential to yield new insights into vascular physiology and pathophysiology.
Vertex-transitive graphs with small motion and transitive permutation groups with small minimal degree
Published
• View Publication
• BIB
The motion of a graph is the minimum number of vertices that are moved by a non-trivial automorphism. Equivalently, it can be defined as the minimal degree of its automorphism group (as a permutation group on the vertices). In this paper we develop some results on permutation groups (primitive and imprimitive) with small minimal degree. As a consequence of such results we classify vertex-transitive graphs whose motion is $4$ or a prime number.
The Helly number of Hamming balls and related problems
Published
• View Publication
• BIB
We prove the following variant of Helly's classical theorem for Hamming balls with a bounded radius. For $n>t$ and any (finite or infinite) set $X$, if in a family of Hamming balls of radius $t$ in $X^n$, every subfamily of at most $2^{t+1}$ balls have a common point, so do all members of the family. This is tight for all $|X|>1$ and all $n>t$. The proof of the main result is based on a novel variant of the so-called dimension argument, which allows one to prove upper bounds that do not depend on the dimension of the ambient space. We also discuss several related questions and connections to problems and results in extremal finite set theory and graph theory.