graph
34516 papers tagged with this keyword
Generalized Turán problems for a matching and long cycles
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The general Turán number, denoted by $ex(n, H,\mathscr{F})$, is the maximum number of copies of $H$ in an $n$-vertex $\mathscr{F}$-free graph. Then $ex(n, K_2,\mathscr{F})$, also denote by $ex(n, \mathscr{F})$, is the Turán number. Recently, Alon and Frankl determined the exact value of $ex(n, \{K_{k},M_{s+1}\})$, where $K_{k}$ and $M_{s+1}$ are a complete graph on $k $ vertices and a matching of size $s +1$, respectively. Then many results were obtained by extending $K_{k}$ to a general fixed graph or family of graphs. Let $C_k$ be a cycle of order $k$. Denote $C_{\ge k}=\{C_k,C_{k+1},\ldots\}$. In this paper, we determine the value of $ex(n,K_r, \{C_{\ge k},M_{s+1}\})$ for large enough $n$ and obtain the extremal graphs when $k$ is odd. Particularly, the exact value of $ex(n, \{C_{\ge k},M_{s+1}\})$ and the extremal graph are given for large enough $n$.
The Minimum Weighting Ratio Problem and Its Application in Chordal Graphs
Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.
On $\ell$-distance-balancedness of cubic Cayley graphs of dihedral groups
A connected graph $Γ$ of diameter ${\rm diam}(Γ) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}(Γ)|=|W_{yx}(Γ)|$ for every $x,y\in V(Γ)$ with $d_Γ(x,y)=\ell$, where $W_{xy}(Γ)$ is the set of vertices of $Γ$ that are closer to $x$ than to $y$. $Γ$ is said to be highly distance-balanced if it is $\ell$-distance-balanced for every $\ell\in [{\rm diam}(Γ)]$. It is proved that every cubic Cayley graph whose generating set is one of $\{a,a^{n-1},ba^r\}$ and $\{a^k,a^{n-k},ba^t\}$ is highly distance-balanced. This partially solves a problem posed by Miklavič and Šparl.
On the occupancy fraction of the antiferromagnetic Ising model
We study the maximum and minimum occupancy fraction of the antiferromagnetic Ising model in regular graphs. The minimizing problem is known to determine a computational threshold in the complexity of approximately sampling from the Ising model at a given magnetization, and our results determine this threshold for nearly the entire relevant parameter range in the case $Δ=3$. A small part of the parameter range lies outside the reach of our methods, and it seems challenging to extend our techniques to larger $Δ$.
Powers of Hamilton cycles in oriented and directed graphs
The Pósa--Seymour conjecture determines the minimum degree threshold for forcing the $k$th power of a Hamilton cycle in a graph. After numerous partial results, Komlós, Sárközy and Szemerédi proved the conjecture for sufficiently large graphs. In this paper we focus on the analogous problem for digraphs and for oriented graphs. We asymptotically determine the minimum total degree threshold for forcing the square of a Hamilton cycle in a digraph. We also give a conjecture on the corresponding threshold for $k$th powers of a Hamilton cycle more generally. For oriented graphs, we provide a minimum semi-degree condition that forces the $k$th power of a Hamilton cycle; although this minimum semi-degree condition is not tight, it does provide the correct order of magnitude of the threshold. Turán-type problems for oriented graphs are also discussed.
On a weighted generalization of Kendall's tau distance
Published in Ann. Comb. 25, 33-50 (2021)
• View Publication
• BIB
We introduce a metric on the set of permutations of given order, which is a weighted generalization of Kendall's $τ$ rank distance and study its properties. Using the edge graph of a permutohedron, we give a criterion which guarantees that a permutation lies metrically between another two fixed permutations. In addition, the conditions under which four points from the resulting metric space form a pseudolinear quadruple were found.
Computing the k-binomial complexity of generalized Thue--Morse words
Two finite words are k-binomially equivalent if each subword (i.e., subsequence) of length at most k occurs the same number of times in both words. The k-binomial complexity of an infinite word is a function that maps the integer $n\geq 0$ to the number of k-binomial equivalence classes represented by its factors of length n. The Thue--Morse (TM) word and its generalization to larger alphabets are ubiquitous in mathematics due to their rich combinatorial properties. This work addresses the k-binomial complexities of generalized TM words. Prior research by Lejeune, Leroy, and Rigo determined the k-binomial complexities of the 2-letter TM word. For larger alphabets, work by Lü, Chen, Wen, and Wu determined the 2-binomial complexity for m-letter TM words, for arbitrary m, but the exact behavior for $k\geq 3$ remained unresolved. They conjectured that the k-binomial complexity function of the m-letter TM word is eventually periodic with period $m^k$. We resolve the conjecture positively by deriving explicit formulae for the k-binomial complexity functions for any generalized TM word. We do this by characterizing k-binomial equivalence among factors of generalized TM words. This comprehensive analysis not only solves the open conjecture, but also develops tools such as abelian Rauzy graphs.
Diameter bounds for distance-regular graphs via long-scale Ollivier Ricci curvature
In this paper, we derive new sharp diameter bounds for distance regular graphs, which better answer a problem raised by Neumaier and Penji\' c in many cases. Our proof is built upon a relation between the diameter and long-scale Ollivier Ricci curvature of a graph, which can be considered as an improvement of the discrete Bonnet-Myers theorem. Our method further leads to significant improvements of existing diameter bounds for amply regular graphs and $(s,c,a,k)$-graphs.
Koszul Graded Möbius Algebras and Strongly Chordal Graphs
The graded Möbius algebra of a matroid is a commutative graded algebra which encodes the combinatorics of the lattice of flats of the matroid. As a special subalgebra of the augmented Chow ring of the matroid, it plays an important role in the recent proof of the Dowling-Wilson Top Heavy Conjecture. Recently, Mastroeni and McCullough proved that the Chow ring and the augmented Chow ring of a matroid are Koszul. We study when graded Möbius algebras are Koszul. We characterize the Koszul graded Möbius algebras of cycle matroids of graphs in terms of properties of the graphs. Our results yield a new characterization of strongly chordal graphs via edge orderings.
On symmetric Cayley graphs of valency thirteen
A Cayley graph $\Ga=\Cay(G,S)$ is said to be normal if the right-regular representation of $G$ is normal in $\Aut\Ga$. In this paper, we investigate the normality problem of the connected 13-valent symmetric Cayley graphs $\Ga$ of finite nonabelian simple groups $G$, where the vertex stabilizer $\A_v$ is soluble for $\A=\Aut\Ga$ and $v\in V\Ga$. We prove that $\Ga$ is either normal or $G=\A_{12}$, $\A_{38}$, $\A_{116}$, $\A_{207}$, $\A_{311}$, $\A_{935}$ or $\A_{1871}$. Further, 13-valent symmetric non-normal Cayley graphs of $\A_{38}$, $\A_{116}$ and $\A_{207}$ are constructed. This provides some more examples of non-normal 13-valent symmetric Cayley graphs of finite nonabelian simple groups since such graph (of valency 13) was first constructed by Fang, Ma and Wang in (J. Comb. Theory A 118, 1039--1051, 2011).
The basis number of 1-planar graphs
Let $B$ be a set of Eulerian subgraphs of a graph $G$. We say $B$ forms a $k$-basis if it is a minimum set that generates the cycle space of $G$, and any edge of $G$ lies in at most $k$ members of $B$. The basis number of a graph $G$, denoted by $b(G)$, is the smallest integer such that $G$ has a $k$-basis. A graph is called 1-planar (resp. planar) if it can be embedded in the plane with at most one crossing (resp. no crossing) per edge. MacLane's planarity criterion characterizes planar graphs based on their cycle space, stating that a graph is planar if and only if it has a $2$-basis. We study here the basis number of 1-planar graphs, demonstrate that it is unbounded in general, and show that it is bounded for many subclasses of 1-planar graphs.
Hamiltonian Properties of Hybrid-Faulty Burnt Pancake Graphs
We investigate the combined occurrence of edge faults and vertex faults in the burnt pancake graph (\( BP_n \)). In this paper, we prove that \( BP_n - F \), where \( F \) includes pairs of end-vertices of matching edges and fault-tolerant edges, contains a Hamiltonian cycle when \( |F| \leq n-2 \) and a Hamiltonian path when \( |F| \leq n-3 \). This establishes that \( BP_n \) is \((n-2)\)-hybrid fault Hamiltonian and \((n-3)\)-hybrid fault Hamiltonian connected for \( n \geq 3 \). These results are demonstrated to be optimal under the given conditions, with all bounds shown to be tight.
On the complexity of finding a spanning even tree in a graph
A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-complete even on planar graphs. We also give polynomial-time algorithms for several restricted classes of graphs, such as split graphs, cographs, cobipartite graphs, unit interval graphs, and block graphs.
On lower bounds for cardinalities of several separating-dominating codes in graphs
In the literature, several different identification problems in graphs have been studied, the most widely studied such problems are the ones based on dominating sets as a tool of identification. Hereby, the objective is to separate any two vertices of a graph by their unique neighborhoods in a suitably chosen dominating or total-dominating set. Such a (total-)dominating set endowed with a separation property is often referred to as a "code" of the graph. The problems of determining such codes of minimum cardinality are all shown to be NP-hard. A typical line to attack such problems is, therefore, to provide bounds on the cardinalities of the studied codes.
In this paper, we are interested in extremal graphs for lower bounds in terms of the order of the graph. For some codes, logarithmic lower bounds are known from the literature. We provide for eight different identification problems a general construction of extremal graphs minimizing the cardinality of a minimum code compared to the order of the graph. This enables us to reprove the existing logarithmic lower bounds, to establish such bounds for further codes, and to characterize all graphs attaining these bounds.
Oriented Ramsey numbers of some sparse graphs
Let $H$ be an oriented graph without directed cycle. The oriented Ramsey number of $H$, denoted by $\overrightarrow{r}(H)$, is the smallest integer $N$ such that every tournament on $N$ vertices contains a copy of $H$. Rosenfeld (JCT-B, 1974) conjectured that $\overrightarrow{r}(H)=|H|$ if $H$ is a cycle of sufficiently large order, which was confirmed for $|H|\geq 9$ by Zein recently, and so does if $H$ is a path. Note that $\overrightarrow{r}(H)=|H|$ implies any tournament contains $H$ as a spanning subdigraph, it is interesting to ask when $\overrightarrow{r}(H)=|H|$ for $H$ being a sparse oriented graph. Sós (1986) conjectured this is true if $H$ is a directed path plus an additional edge containing the origin of the path as one end, which was confirmed by Petrović (JGT, 1988). In this paper, we show that $\overrightarrow{r}(H)=|H|$ for $H$ being an oriented graph obtained by identifying a vertex of an antidirected cycle with one end of a directed path. Some other oriented Ramsey numbers for oriented graphs with one cycle are also discussed.
(Total) Perfect codes in (extended) subgroup sum graphs
Given a finite group $G$ with identity $e$ and a normal subgroup $H$ of $G$, the subgroup sum graph $Γ_{G,H}$ (resp. extended subgroup sum graph $Γ_{G,H}^+$) of $G$ with respect to $H$ is the graph with vertex set $G$, in which distinct vertices $x$ and $y$ are adjacent whenever $xy\in H\setminus \{e\}$ (resp. $xy\in H$). A group $G$ is said to be {\em code-perfect} if for any normal subgroup $H$ of $G$, $Γ_{G,H}$ admits a perfect code. In this paper, we give a necessary and sufficient condition for which normal subgroups $H$ of $G$ satisfy that a (extended) subgroup sum graph of $G$ with respect to $H$ admits a (total) perfect code, and classify all code-perfect Dedekind groups. As an application, we classify all normal subgroups such that the subgroup sum graph of a cyclic group, a dihedral group or a dicyclic group with respect to such a normal subgroup admits perfect codes, respectively. We also determine all abelian groups $A$ and subgroups $H$ of $A$ such that $Γ_{A,H}$ admits a total perfect code.
Ordered Ramsey numbers of graphs with $m$ edges
Given a vertex-ordered graph $G$, the ordered Ramsey number $r_<(G)$ is the minimum integer $N$ such that every $2$-coloring of the edges of the complete ordered graph $K_N$ contains a monochromatic ordered copy of $G$. Motivated by a similar question posed by Erdős and Graham in the unordered setting, we study the problem of bounding the ordered Ramsey number of any ordered graph $G$ with $m$ edges and no isolated vertices. We prove that $r_<(G) \leq e^{10^9 \sqrt{m} (\log \log m)^{3/2}}$ for any such $G$, which is tight up to the $(\log \log m)^{3/2}$ factor in the exponent. As a corollary, we obtain the corresponding bound for the oriented Ramsey number of a directed graph with $m$ edges.
Multi-cyclic graphs in the random graph process with restricted budget
We study a controlled random graph process introduced by Frieze, Krivelevich, and Michaeli. In this model, the edges of a complete graph are randomly ordered and revealed sequentially to a builder. For each edge revealed, the builder must irrevocably decide whether to purchase it. The process is subject to two constraints: the number of observed edges $t$ and the builder's budget $b$. The goal of the builder is to construct, with high probability, a graph possessing a desired property.
Previously, the optimal dependencies of the budget $b$ on $n$ and $t$ were established for constructing a graph containing a fixed tree or cycle, and the authors claimed that their proof could be extended to any unicyclic graph. The problem, however, remained open for graphs containing at least two cycles, the smallest of which is the graph $K_4^-$ (a clique of size four with one edge removed).
In this paper, we provide a strategy to construct a copy of the graph $K_4^-$ if $b \gg \max\left\{n^6 / t^4, n^{4 / 3} / t^{2 / 3}\right\}$, and show that this bound is tight, answering the question posed by Frieze et al. concerning this specific graph. We also give a strategy to construct a copy of a graph consisting of $k$ triangles intersecting at a single vertex (the $k$-fan) if $b \gg \max\left\{n^{4k - 1} / t^{3k - 1}, n / \sqrt{t}\right\}$, and also show that this bound is tight. These are the first optimal strategies for constructing a multi-cyclic graph in this random graph model.
The left row rank of quaternion unit gain graphs in terms of girth
Let $Φ=(G,U(\mathbb{Q}),\varphi)$ be a quaternion unit gain graph (or $U(\mathbb{Q})$-gain graph). The adjacency matrix of $Φ$ is denoted by $A(Φ)$ and the left row rank of $Φ$ is denoted by $r(Φ)$. If $Φ$ has at least one cycle, then the length of the shortest cycle in $Φ$ is the girth of $Φ$, denoted by $g$. In this paper, we prove that $r(Φ)\geq g-2$ for $Φ$. Moreover, we characterize $U(\mathbb{Q})$-gain graphs satisfy $r(Φ)=g-i$ ($i=0,1,2$) and all quaternion unit gain graphs with rank 2. The results will generalize the corresponding results of simple graphs (Zhou et al. Linear Algebra Appl. (2021), Duan et al. Linear Algebra Appl. (2024) and Duan, Discrete Math. (2024)), signed graphs (Wu et al. Linear Algebra Appl. (2022)), and complex unit gain graphs (Khan, Linear Algebra Appl. (2024)).
Characterization of Double-Arborescences and their Minimum-Word-Representants
A double-arborescence is a treelike comparability graph with an all-adjacent vertex. In this paper, we first give a forbidden induced subgraph characterization of double-arborescences, where we prove that double-arborescences are precisely $P_4$-free treelike comparability graphs. Then, we characterize a more general class consisting of $P_4$-free distance-hereditary graphs using split-decomposition trees. Consequently, using split-decomposition trees, we characterize double-arborescences and one of its subclasses, viz., arborescences; a double-arborescence is an arborescence if its all-adjacent vertex is a source or a sink. In the context of word-representable graphs, it is an open problem to find the classes of word-representable graphs whose minimum-word-representants are of length $2n - k$, where $n$ is the number of vertices of the graph and $k$ is its clique number. Contributing to the open problem, we devise an algorithmic procedure and show that the class of double-arborescences is one such class. It seems the class of double-arborescences is the first example satisfying the criteria given in the open problem, for an arbitrary $k$.