graph
35299 papers tagged with this keyword
Connectivity 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, we characterize all graphs with connected 2-distance graph. For graphs with diameter 2, we prove that $D_2(G)$ is connected if and only if $G$ has no spanning complete bipartite subgraphs. For graphs with a diameter greater than 2, we define a maximal Fine set and by contracting $G$ on these subsets, we get a new graph $\hat G$ such that $D_2(G)$ is connected if and only if $D_2(\hat G)$ is connected. Especially, $D_2(G)$ is disconnected if and only if $\hat G$ is bipartite.
Quadratic embedding constants of graphs: Bounds and distance spectra
Published
• View Publication
• BIB
The quadratic embedding constant (QEC) of a finite, simple, connected graph $G$ is the maximum of the quadratic form of the distance matrix of $G$ on the subset of the unit sphere orthogonal to the all-ones vector. The study of these QECs was motivated by the classical work of Schoenberg on quadratic embedding of metric spaces [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938]. In this article, we provide sharp upper and lower bounds for the QEC of trees. We next explore the relation between distance spectra and quadratic embedding constants of graphs - and show two further results: $(i)$ We show that the quadratic embedding constant of a graph is zero if and only if its second largest distance eigenvalue is zero. $(ii)$ We identify a new subclass of nonsingular graphs whose QEC is the second largest distance eigenvalue. Finally, we show that the QEC of the cluster of an arbitrary graph $G$ with either a complete or star graph can be computed in terms of the QEC of $G$. As an application of this result, we provide new families of examples of graphs of QE class.
Extra Connectivity of Strong Product of Graphs
Published
• View Publication
• BIB
The $g$-$extra$ $connectivity$ $κ_{g}(G)$ of a connected graph $G$ is the minimum cardinality of a set of vertices, if it exists, whose deletion makes $G$ disconnected and leaves each remaining component with more than $g$ vertices, where $g$ is a non-negative integer. The $strong$ $product$ $G_1 \boxtimes G_2$ of graphs $G_1$ and $G_2$ is the graph with vertex set $V(G_1 \boxtimes G_2)=V(G_1)\times V(G_2)$, where two distinct vertices $(x_{1}, y_{1}),(x_{2}, y_{2}) \in V(G_1)\times V(G_2)$ are adjacent in $G_1 \boxtimes G_2$ if and only if $x_{1}=x_{2}$ and $y_{1} y_{2} \in E(G_2)$ or $y_{1}=y_{2}$ and $x_{1} x_{2} \in E(G_1)$ or $x_{1} x_{2} \in E(G_1)$ and $y_{1} y_{2} \in E(G_2)$. In this paper, we give the $g\ (\leq 3)$-$extra$ $connectivity$ of $G_1\boxtimes G_2$, where $G_i$ is a maximally connected $k_i\ (\geq 2)$-regular graph for $i=1,2$. As a byproduct, we get $g\ (\leq 3)$-$extra$ conditional fault-diagnosability of $G_1\boxtimes G_2$ under $PMC$ model.
Planar graphs are acyclically edge $(Δ+ 5)$-colorable
Published
• View Publication
• BIB
An edge coloring of a graph $G$ is to color all the edges in the graph such that adjacent edges receive different colors. It is acyclic if each cycle in the graph receives at least three colors. Fiam{č}ik (1978) and Alon, Sudakov and Zaks (2001) conjectured that every simple graph with maximum degree $Δ$ is acyclically edge $(Δ+ 2)$-colorable -- the well-known acyclic edge coloring conjecture (AECC). Despite many major breakthroughs and minor improvements, the conjecture remains open even for planar graphs. In this paper, we prove that planar graphs are acyclically edge $(Δ+ 5)$-colorable. Our proof has two main steps: Using discharging methods, we first show that every non-trivial planar graph must have one of the eight groups of well characterized local structures; and then acyclically edge color the graph using no more than $Δ+ 5$ colors by an induction on the number of edges.
Total mutual-visibility in graphs with emphasis on lexicographic and Cartesian products
Published
• View Publication
• BIB
Given a connected graph $G$, the total mutual-visibility number of $G$, denoted $μ_t(G)$, is the cardinality of a largest set $S\subseteq V(G)$ such that for every pair of vertices $x,y\in V(G)$ there is a shortest $x,y$-path whose interior vertices are not contained in $S$. Several combinatorial properties, including bounds and closed formulae, for $μ_t(G)$ are given in this article. Specifically, we give several bounds for $μ_t(G)$ in terms of the diameter, order and/or connected domination number of $G$ and show characterizations of the graphs achieving the limit values of some of these bounds. We also consider those vertices of a graph $G$ that either belong to every total mutual-visibility set of $G$ or does not belong to any of such sets, and deduce some consequences of these results. We determine the exact value of the total mutual-visibility number of lexicographic products in terms of the orders of the factors, and the total mutual-visibility number of the first factor in the product. Finally, we give some bounds and closed formulae for the total mutual-visibility number of Cartesian product graphs.
Polyhedra with hexagonal and triangular faces and three faces around each vertex
Published in Ann. Comb. 29, 461-490 (2025)
• View Publication
• BIB
We analyze polyhedra composed of hexagons and triangles with three faces around each vertex, and their 3-regular planar graphs of edges and vertices, which we call "trihexes". Trihexes are analogous to fullerenes, which are 3-regular planar graphs whose faces are all hexagons and pentagons. Every trihex can be represented as the quotient of a hexagonal tiling of the plane under a group of isometries generated by $180^\circ$ rotations. Every trihex can also be described with either one or three "signatures": triples of numbers $(s, b, f)$ that describe the arrangement of the rotocenters of these rotations. Simple arithmetic rules relate the three signatures that describe the same trihex. We obtain a bijection between trihexes and equivalence classes of signatures as defined by these rules. Labeling trihexes with signatures allows us to put bounds on the number of trihexes for a given number vertices $v$ in terms of the prime factorization of $v$ and to prove a conjecture concerning trihexes that have no "belts" of hexagons.
Higher Dimer Covers on Snake Graphs
Published
• View Publication
• BIB
Snake graphs are a class of planar graphs that are important in the theory of cluster algebras. Indeed, the Laurent expansions of the cluster variables in cluster algebras from surfaces are given as weight generating functions for 1-dimer covers (or perfect matchings) of snake graphs. Moreover, the enumeration of 1-dimer covers of snake graphs provides a combinatorial interpretation of continued fractions. In particular, the number of 1-dimer covers of the snake graph $\mathscr{G}[a_1,\dots,a_n]$ is the numerator of the continued fraction $[a_1,\dots,a_n]$. This number is equal to the top left entry of the matrix product $\left(\begin{smallmatrix} a_1&1\\1&0 \end{smallmatrix}\right) \cdots \left(\begin{smallmatrix} a_n&1\\1&0 \end{smallmatrix}\right)$.
In this paper, we give enumerative results on $m$-dimer covers of snake graphs. We show that the number of $m$-dimer covers of the snake graph $\mathscr{G}[a_1,\ldots,a_n]$ is the top left entry of a product of analogous $(m+1)$-by-$(m+1)$ matrices. We discuss how our enumerative results are related to other known combinatorial formulas, and we suggest a generalization of continued fractions based on our methods. These generalized continued fractions provide some interesting open questions and a possibly novel approach towards Hermite's problem for cubic irrationals.
On the Castelnuovo-Mumford regularity of symbolic powers of cover ideals
Published
• View Publication
• BIB
Assume that $G$ is a graph with cover ideal $J(G)$. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $J(G)$ by $J(G)^{(k)}$. We provide a sharp upper bound for the regularity of $J(G)^{(k)}$ in terms of the star packing number of $G$. Also, for any integer $k\geq 2$, we study the difference between ${\rm reg}(J(G)^{(k)})$ and ${\rm reg}(J(G)^{(k-2)})$. As a consequence, we compute the regularity of $J(G)^{(k)}$ when $G$ is a doubly Cohen-Macaulay graph. Furthermore, we determine ${\rm reg}(J(G)^{(k)})$ if $G$ is either a Cameron-Walker graph or a claw-free graph which has no cycle of length other that $3$ and $5$.
On the relation between quantum walks and absolute zeta functions
Published in Quantum Studies: Mathematics and Foundations, Volume 11, pp.147-157 (2024)
• View Publication
• BIB
The quantum walk is a quantum counterpart of the classical random walk. On the other hand, the absolute zeta function can be considered as a zeta function over F_1. This paper presents a connection between the quantum walk and the absolute zeta function. First we deal with a zeta function determined by a time evolution matrix of the Grover walk on a graph. The Grover walk is a typical model of the quantum walk. Then we prove that the zeta function given by the quantum walk is an absolute automorphic form of weight depending on the number of edges of the graph. Furthermore we consider an absolute zeta function for the zeta function based on a quantum walk. As an example, we compute an absolute zeta function for the cycle graph and show that it is expressed as the multiple gamma function of order 2.
Randomly perturbed digraphs also have bounded-degree spanning trees
Published
• View Publication
• BIB
We show that a randomly perturbed digraph, where we start with a dense digraph $D_α$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(α, Δ)$ such that if $T$ is an oriented tree with maximum degree $Δ$ and $D_α$ is an $n$-vertex digraph with minimum semidegree $αn$, then the graph obtained by adding $cn$ uniformly random edges to $D_α$ will contain $T$ with high probability.
A new variant of the Erdős-Gyárfás problem on $K_{5}$
Motivated by an extremal problem on graph-codes that links coding theory and graph theory, Alon recently proposed a question aiming to find the smallest number $t$ such that there is an edge coloring of $K_{n}$ by $t$ colors with no copy of given graph $H$ in which every color appears an even number of times. When $H=K_{4}$, the question of whether $n^{o(1)}$ colors are enough, was initially emphasized by Alon. Through modifications to the coloring functions originally designed by Mubayi, and Conlon, Fox, Lee and Sudakov, the question of $K_{4}$ has already been addressed. Expanding on this line of inquiry, we further study this new variant of the generalized Ramsey problem and provide a conclusively affirmative answer to Alon's question concerning $K_{5}$.
On the density of matroids omitting a complete-graphic minor
We show that, if $M$ is a simple rank-$n$ matroid with no $\ell$-point line minor and no minor isomorphic to the cycle matroid of a $t$-vertex complete graph, then the ratio $|M| / n$ is bounded above by a singly exponential function of $\ell$ and $t$. We also bound this ratio in the special case where $M$ is a frame matroid, obtaining an answer that is within a factor of two of best-possible.
Weak Kantorovich difference and associated Ricci curvature of hypergraphs
Published in Tsukuba J. Math. 48(1): 131-170 (July 2024)
• View Publication
• BIB
Ollivier and Lin--Lu--Yau established the theory of graph Ricci curvature (LLY curvature) via optimal transport on graphs. Ikeda--Kitabeppu--Takai--Uehara introduced a new distance called the Kantorovich difference on hypergraphs and generalized the LLY curvature to hypergraphs (IKTU curvature). As the LLY curvature can be represented by the graph Laplacian by Münch--Wojciechowski, Ikeda--Kitabeppu--Takai--Uehara conjectured that the IKTU curvature has a similar expression in terms of the hypergraph Laplacian. In this paper, we introduce a variant of the Kantorovich difference inspired by the above conjecture and study the Ricci curvature associated with this distance ($\mathsf{wIKTU}$ curvature). Moreover, for hypergraphs with a specific structure, we analyze a quantity $\mathcal{C}(x,y)$ at two distinct vertices $x,y$ defined by using the hypergraph Laplacian. If the resolvent operator converges uniformly to the identity, then $\mathcal{C}(x,y)$ coincides with the $\mathsf{wIKTU}$ curvature along $x,y$.
Laplacain eigenvalue distribution and diameter of graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices with diameter $d$. It is known that if $2\le d\le n-2$, there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+2, n]$. In this paper, we show that if $1\le d\le n-3$, there are at most $n-d+1$ Laplacian eigenvalues in the interval $[n-d+1, n]$. Moreover, we try to identify the connected graphs on $n$ vertices with diameter $d$, where $2\le d\le n-3$, such that there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+1, n]$.
Exploring two concepts: branch decomposition and weak ultrafilter on connectivity system
This paper explores two fundamental concepts: branch width and weak ultrafilter. Branch width is a significant graph width parameter that measures the degree of connectivity in a graph using a branch decomposition and a symmetric submodular function. Weak ultrafilter, introduced as a weakened definition of an ultrafilter, plays a vital role in interpreting defaults in logic. We introduce the concept of Weak Ultrafilter on the connectivity system (X, f) and demonstrate its duality with branch decomposition. This study enhances our understanding of these concepts in graph combinatorial and logical contexts.
Castling tree of tight Dyck nests with applications to odd and middle-levels graphs
Published
• View Publication
• BIB
A subfamily of Dyck words called tight Dyck words is seen to correspond, via a "castling" procedure, to the vertex set of an ordered tree $T$. From $T$, a "blowing" operation recreates the whole family ol Dyck words. The vertices of $T$ can be elementarily updated all along $T$. This simplifies an edge-supplementary arc-factorization view of Hamilton cycles of odd and middle-levels graphs found by T. Mütze et al. This take into account that the Dyck words represent: {\bf(a)} the cyclic and dihedral vertex classes of odd and middle-levels graphs, respectively, and {\bf(b)} the cycles of their 2-factors, as found by T. Mütze et al.
Sparse critical graphs for defective DP-colorings
Published
• View Publication
• BIB
An interesting generalization of list coloring is so called DP-coloring (named after Dvořák and Postle). We study $(i,j)$-defective DP-colorings of simple graphs. Define $g_{DP}(i,j,n)$ to be the minimum number of edges in an $n$-vertex DP-$(i,j)$-critical graph. We prove sharp bounds on $g_{DP}(i,j,n)$ for $i=1,2$ and $j\geq 2i$ for infinitely many $n$.
Threshold phenomena for random discrete structures
Published
• View Publication
• BIB
In this expository article, we give a gentle introduction to the Erdős-Rényi random graphs and threshold phenomena that they exhibit. We also mildly introduce the Kahn-Kalai Conjecture with several intuitive examples, mainly targeting the general audience.
The multiplicity of a Hermitian eigenvalue on graphs
For a graph $G$, let $\mathcal{S}(G)$ be the set consisting of Hermitian matrices whose graph is $G$. Denoted by $m_B(G,λ)$ the multiplicity of an eigenvalue $λ$ of $B(G)\in \mathcal{S}(G)$, we show that $m_B(G,λ)\le 2θ(G)+p(G)$ where $θ(G)$ and $p(G)$ are the cyclomatic number and the number of pendent vertices of $G$ respectively, and characterize the graphs attaining the equality. This is a generalization of a result on adjacency matrix by Wang et al.\cite{Wang1}. Moreover, they arose an open problem in \cite{Wang1}: \textit{characterize all graphs with $m_A(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of its adjacency matrix.}
In this paper, we completely characterize the graphs with $m_B(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of an arbitrary Hermitian matrix $B(G)\in \mathcal{S}(G)$. This result provides a stronger answer to the above problem, and encompasses some previous known works considering $λ=-1$ or $0$ on the problem.
Enumeration of maximum matchings of graphs
Published
• View Publication
• BIB
Counting maximum matchings in a graph is of great interest in statistical mechanics,
solid-state chemistry, theoretical computer science, mathematics, among other disciplines. However, it is a challengeable problem to explicitly determine the number of maximum matchings of general graphs. In this paper, using Gallai-Edmonds structure theorem, we derive a computing formula for the number of maximum matching in a graph. According to the formula, we obtain an algorithm to enumerate maximum matchings of a graph. In particular, The formula implies that computing the number of maximum matchings of a graph is converted to compute the number of perfect matchings of some induced subgraphs of the graph. As an application, we calculate the number of maximum matchings of opt trees. The result extends a conclusion obtained by Heuberger and Wagner[C. Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math. 311 (2011) 2512--2542].