graph
34489 papers tagged with this keyword
Isomorphisms of abelian Cayley graphs with their natural edge-colouring
We prove that if $\varphi$ is an isomorphism between two connected Cayley graphs of abelian groups, and $\varphi$ respects the natural edge-colourings of the Cayley graphs, then $\varphi$ is the composition of a group isomorphism and a colour-preserving graph automorphism. This implies that if every colour-preserving automorphism of a connected abelian Cayley graph $Cay(G;S)$ is an affine map, then the same is true for every colour-permuting automorphism. We also show that this property holds if and only if the subgroup generated by $\{\, s \in S \mid 2s \neq c \,\} \cup \{c\}$ has index $\le 2$ for every element $c$ of order $2$ in $G$.
Composing group automorphisms with colour-preserving automorphisms of Cayley graphs
We show that if $\varphi$ is a colour-permuting automorphism of a connected, finite Cayley graph, and the order of the Cayley graph is either odd or square-free, then $\varphi$ is the composition of a group automorphism and a colour-preserving graph automorphism. Some analogous results are also established for isomorphisms between two different Cayley graphs.
Stabilization index of V-number of powers of edge ideals of graphs
We provide a combinatorial description of the stabilization index of the $v$-function of powers of edge ideals for arbitrary graphs.
NP-Hardness of the $H$-Free Edge-Deletion Problem
For a graph $H$, the $H$-freeness edge-deletion problem is the algorithmic problem of finding, for an input graph $G$, the minimum number of edges of $G$ whose deletion turns $G$ into an $H$-free graph. We show that for every graph $H$ containing a cycle, this problem is NP-hard. This proves a conjecture of Gishboliner, Levanzov and Shapira, and completes the characterization of the complexity of the $H$-freeness edge-deletion problem, answering a question of Alon, Shapira and Sudakov.
On the Vertices That Belong to All Minimum Identifying Codes
Identifying codes in graphs have been widely studied since their introduction by Karpovsky, Chakrabarty and Levitin in 1998. In this paper, we consider the vertices that are in every minimum identifying code in a graph. There are two types of such vertices: \emph{always-forced} vertices that belong to all identifying codes (minimum or not) and \emph{min-forced} vertices that belong to all minimum identifying codes. A vertex is called \emph{proper-min-forced} if it is min-forced but not always-forced. We show an upper bound $2n/3$ for the number of such proper-min-forced vertices in a closed-twin-free graph of order $n$. Moreover, for integers $n$ divisible by three, we construct an infinite family of graphs in which there are $2n/3-1$ such vertices. In addition, we determine the maximum number of edges in a graph of even order such that the graph contains proper-min-forced vertices. We also show that the decision problem of determining whether a given vertex in a graph is proper-min-forced is co-NP-hard.
Boundedness and Separation Between Induced and Non-Induced Covering Numbers
There are four covering numbers $\mathrm{c}_g^{\mathcal{G}}(H),\mathrm{c}_u^{\mathcal{G}}(H),\mathrm{c}_l^{\mathcal{G}}(H),\mathrm{c}_f^{\mathcal{G}}(H)$, each of which measures in a slightly different way how well the edges of a graph $H$ (called a host) can be covered with graphs of a class $\mathcal{G}$ (called a guest class). If we require the graphs of $\mathcal{G}$ to correspond to induced subgraphs of $H$, we obtain an induced variant $\mathrm{ic}_x^{\mathcal{G}}$ for each covering number $\mathrm{c}_x^{\mathcal{G}}$ which satisfies $\mathrm{c}_x^{\mathcal{G}}(H) \leq \mathrm{ic}_x^{\mathcal{G}}(H)$ for every graph $H$. Yet, in general $\mathrm{ic}_x^{\mathcal{G}}$ cannot be bounded in terms of $\mathrm{c}_x^{\mathcal{G}}$. If there exists for a guest class $\mathcal{G}$ and a host class $\mathcal{H}$ a function $f$ such that $\mathrm{ic}_x^{\mathcal{G}}(H) \leq f(\mathrm{c}_x^{\mathcal{G}}(H))$ for every graph $H \in \mathcal{H}$, we call $f$ a binding function.
Within this work, we study for which structural properties of a guest class $\mathcal{G}$ and a host class $\mathcal{H}$ such binding functions exist. We consider guest classes $\mathcal{G}$ that are monotone, hereditary, component-closed or neither, and have bounded maximum average degree, bounded chromatic number or neither. The host classes $\mathcal{H}$ we consider have bounded treewidth, exclude some minor, have bounded maximum average degree, bounded chromatic number, or none of these properties. For $219$ out of the $240$ possible $3$-tuples of properties for $\mathcal{G}$ and $\mathcal{H}$ and covering numbers we either provide a binding function or an example where no such function exists. In particular, we show that such binding functions always exist for hereditary guest classes $\mathcal{G}$ of bounded maximum average degree for three of the four covering numbers, but may not for the fourth kind.
Metric Bases of Barycentric and Matching Subdivisions of Zero-Divisor Graphs
In this paper, we study metric bases and related metric properties for barycentric and partial matching subdivisions of the zero-divisor graph of $\mathbb Z_{pq}$, where $p$ and $q$ are distinct odd primes with $q>p$. We first recall the natural partition of the zero-divisor graph into the two prime classes and then give a detailed characterization of those subsets of $BS(Γ(\mathbb Z_{pq}))$ that form metric bases when $q\geq 2p-1$. The proof is expanded by separating the role of closed neighborhoods, rows of subdivision vertices, and forbidden twin configurations. We then investigate $M$-subdivision graphs obtained by subdividing selected edges of $Γ(\mathbb Z_{pq})$. In addition to the lower bounds for subdivisions of $p-3$ and $p-2$ edges, we prove an exact formula for matching subdivisions of arbitrary size $r$, $0\leq r\leq p-2$, namely $\dim(G_r)=p+q-r-4$. Several consequences are included to illustrate how a small matching subdivision can reduce the localization cost of the original zero-divisor network.
Oriented paths with two blocks in bipartite oriented graphs
Stein conjectured that for any integer $k\geq 2$, every oriented graph with minimum semidegree greater than $k/2$ contains every orientation of a path with $k$ edges. Recently, Chen, Hou and Zhou proved this conjecture to be true for any oriented path with two blocks, where a block of an oriented path is a maximal directed subpath within it. In this paper, we prove that every bipartite oriented graph with minimum semidegree at least $3k/8+2$ contains every oriented path with two blocks of length $k$ for $k\ge 2$. Moreover, in contrast to the general oriented setting, we highlight that the minimum semidegree threshold in the bipartite setting is closely related to the number of blocks.
An Improved Upper Bound for the Turán Number of the Hexagon
For a graph $F$, the Turán number $\operatorname{ex}(n,F)$ is the maximum number of edges in an $n$-vertex graph containing no copy of $F$. Determining the Turán numbers of even cycles is a central problem in extremal graph theory and remains open in general. For $C_6$, the best previous upper bound was due to Füredi, Naor, and Verstraëte [Advances in Mathematics, 2006], who proved that, for sufficiently large positive integer $n$, $$
\operatorname{ex}(n,C_6) \leq λn^{4/3}+O(n)<0.6272 n^{4/3}, $$ where $λ$ is the real root of $
16λ^3-4λ^2+λ-3=0$. We improve this bound by showing that, for sufficiently large positive integer $n$, $$
\operatorname{ex}(n,C_6) \leq αn^{4/3}+O(n)<0.6144 n^{4/3}, $$ where $α$ is the unique real root of $
4 α^{3} (3/2)^{1-1/(2α)} =1$ in the interval $(1/2,2/3)$.
Quasi-strongly regular digraphs constructed from transitive groups of degree $n\leq 110$
In this paper we present a method for constructing directed regular graphs from a transitive permutation group. This method is a generalization of a construction method for transitive 1-designs from a finite group, described in \cite{dean1}. Using this construction, we prove the existence of directed strongly regular graphs with parameters $(72,25,15,6,10)$, $(96,11,4,3,1)$, $(96,22,16,8,4)$, $(96,26,11,7,7)$, $(96,29,23,10,8)$, $(96,42,32,16,20)$, $(96,45,35,22,20)$ and $(165,60,36,23,21)$. Finally, we classify quasi-strongly regular digraphs arising from transitive permutation groups of degree at most $30$ and from primitive permutation groups of degrees from $31$ to $110$ and rank at most $30$.
On $S$-packing total colorings
In this paper, we generalize the concept of packing total coloring by introducing a new concept called the $S$-packing total coloring. For a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, an $S$-packing total coloring of $G$ is a mapping $c: V(G)\cup E(G)\rightarrow \{1,2,\ldots\}$ such that for any two distinct elements $A,B\in V(G)\cup E(G)$ with $c(A)=c(B)=i$, the distance between $A$ and $B$ is at least $a_i+1$. The smallest integer $k$ such that $G$ admits an $S$-packing total coloring using $k$ colors is called the $S$-packing total chromatic number of $G$, denoted by $χ_S^{''}(G)$. For any sequence $S$, we establish general lower and upper bounds for $χ_S^{''}(G)$, and characterize all graphs $G$ with $χ_S^{''}(G)\in\{1,2,3\}$. Furthermore, we investigate $S$-packing total chromatic numbers of complete bipartite graphs, as well as infinite and finite paths and cycles.
The VC-dimension of strongly regular graphs
A graph $G$ is $n$-existentially closed or $n$-e.c. if, for all subsets $S\subseteq V(G)$ with $|S|=n$ and for all partitions $S=A\sqcup B$, there exists a vertex in $V(G)\sm S$ adjacent to all vertices in $A$ and no vertices in $B$. We study the minimum number of edges $m(v,n)$ of a $v$-vertex $n$-e.c. graph, and show that $m(v,2)=3v+O(1)$ while $m(v,n)=Θ(v\log v)$ for fixed $n\ge 3$. The latter result uses a connection to binary covering arrays.
A related parameter is the VC-dimension of $G$, defined as the size of the largest subset of vertices shattered by the neighborhoods of vertices in $G$. We initiate systematic study of the VC-dimensions of strongly regular graphs (SRGs). We characterize the sufficiently large SRGs with VC-dimension 2. Furthermore, we determine the VC-dimension of sufficiently large Latin square graphs and of all SRGs of order at most 28, and we show that the SRGs with a given integer as smallest eigenvalue have bounded VC-dimension.
Superpolynomial lower bounds for vertex numbers of real projective space triangulations via a topological Figiel-Lindenstrauss-Milman theorem
We prove that every simplicial triangulation of real projective $d$-space has $\exp(Ω(\sqrt d))$ vertices. Together with known constructions, this determines the minimum vertex number as $μ_d=\exp(d^{1/2+o(1)})$. The result follows from a topological generalization of the Figiel--Lindenstrauss--Milman inequality, answering a recent question of Frick, Hosseini, and Vasileuski: a finite strongly regular CW complex with a free cellular involution, $v$ vertices, and $f$ maximal cells has $\mathbb{Z}/2$-index at most $O(\log v\log f)$. We bound the dimensions of Morse cells by a trace estimate for a constrained Hessian, obtaining a Morse-theoretic proof of the classical inequality for centrally symmetric polytopes. As further applications of this inequality, we give an $\exp(Ω(\sqrt t))$ lower bound for the order of a triangle-free topologically $t$-chromatic graph and bound the index of sign complexes by $O(d\log^2 N)$ for total matrices and $O(d\log^3 N)$ for partial matrices, where $N\geq2$ is the number of columns and $d\geq1$ is the VC dimension.
Hyperbolic distance matrix completion
A completion theory for hyperbolic distance data is developed at the interface of matrix analysis, graph theory, and hyperbolic geometry. Krein's characterization of the metric space embeddability in Lobachevsky space leads to a natural anchoring procedure that transforms the indefinite data into a positive semidefinite kernel. In analogy with positive semidefinite and Euclidean distance matrix completion, chordality of the specification graph is shown to be the necessary and sufficient condition for local Lorentz-Gram data to admit global completion. Existence is complemented by explicit constructions. For trees, we obtain geodesic-rectification and product-distance completions; for chordal graphs, the latter extends to matrix-valued transfers along clique-trees. The resulting canonical completion is characterized by sparsity of its inverse and by a maximum-absolute-determinant principle. Its metric distortion exhibits a sharp dichotomy governed by clique separator size. Applications to exact recovery from sparse hyperbolic measurements and to hierarchical and phylogenetic data are developed.
Induced Forest Minor Theorem for Graphs Without an Induced Star
Motivated by recent work on tree independence number, we study the path independence number of a graph $G$: the minimum integer $k$ such that there is a path decomposition of $G$ where each bag induces a graph with independence number at most $k$. We show that every graph excluding both an induced forest minor and an induced star has bounded path independence number. This characterises when a graph class that excludes an induced star has bounded path independence number while also partially resolving a conjecture of Dallard, Krnc, Kwon, Milani{č}, Munaro, Štorgel and Wiederrecht (2024). Furthermore, we show that graphs excluding both an apex-forest induced minor and an induced star have bounded tree independence number. As a consequence, for every fixed apex-forest $H$ and integer $t$, there is a polynomial-time algorithm to test whether a $K_{1,t}$-induced-subgraph-free graph contains $H$ as an induced minor. Moreover, it follows that the Maximum Weight Independent Set problem, as well as several other NP-hard problems, can be solved in polynomial-time on $K_{1,t}$-induced-subgraph-free graphs that exclude $H$ as an induced minor.
Subexponential Approximation of the Permanent in Deterministic Polynomial Time
We give the first deterministic polynomial time algorithm that approximates the permanent of arbitrary nonnegative rational matrices within a subexponential factor. For a matrix of order $n$, the approximation factor is \[
\exp\!\left(O\!\left(\frac{n(\log\log n)^2}{\log n}\right)\right)=\exp(o(n)). \] All previously known deterministic polynomial time guarantees for unrestricted inputs had approximation factors $\exp(Ω(n))$.
Our proof uses convex optimization to tighten an upper bound on the permanent. The bound is based on weighted sums over all matchings in a bipartite graph representing the matrix, and correlations between unmatched vertices control its error. We approximate these sums deterministically using correlation decay and a bound on the effect of vertex deletion.
Betweenness centers of graphs
The betweenness centrality of a vertex $v$ in a graph $G = (V,E)$ is the sum of the relative numbers of shortest paths of $G$ that pass through $v$. The vertices of $G$ which have the maximum (resp. minimum) betweenness induce the betweenness center (resp. betweenness periphery) of $G$. We study betweenness of graphs and their localization in graph blocks, presenting sufficient conditions for graphs (in terms of diameter or block sizes) to have those centers contained in a single block. Further, we show that each graph occurs as the subgraph induced by the betweenness center of some graph (as well as the subgraph induced by the betweenness periphery). For trees, we show, by an alternative proof, that their betweenness center is always contained in a path; in addition, we enumerate trees of order at most 20 according to the order of their betweenness centers.
An 18-colour bound for locally irregular decompositions
A graph is locally irregular if adjacent vertices have distinct degrees. A graph G is decomposable if its edge set can be decomposed into locally irregular graphs, and its locally irregular chromatic index lir(G) is the least number of graphs in such a decomposition. We prove that lir(G) <= 18 for every decomposable graph G, improving the previous bound of 220.
Regular sets of circulant quartic graphs
For a graph $Γ=(V,E)$ and nonnegative integers $a$ and $b$, a nonempty proper subset $C \subset V$ is called an $(a,b)$-regular set if every vertex in $C$ has exactly $a$ neighbors in $C$, and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$. In this paper, we study the existence of such sets in connected Cayley graph $Γ= \operatorname{Cay}(\mathbb{Z}_n, S)$. We establish a necessary and sufficient condition for the existence of $(0, |S|)$-regular sets and identify additional conditions under which no such set can exist. We further prove that $(|S|, 0)$-regular sets do not occur in $Γ$, and more generally, that no connected Cayley graph $\operatorname{Cay}(G,S)$ contains a $(1, |S|)$-regular set. As a main result, we determine the existence and nonexistence of $(a,b)$-regular sets in connected circulant quartic graphs for all possible values of $a$ and $b$.
Are trees really just butterflies in disguise?
As a generalisation of the Erdős-Sós conjecture about graphs, Addario-Berry, Havet, Linhares Sales, Reed and Thomassé conjectured that every digraph on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected tree with $k$ arcs. We prove a dense, approximate version of this for trees with bounded maximum degree, as well as for trees whose layers are evenly distributed. We use a regularity based approach, centred around finding a copy of a given tree in the blow up of a caterpillar.