graph
34516 papers tagged with this keyword
The maximum spectral radius of planner graphs without the joint of K2 and a linear forest
Given a graph $F$, let $SPEX_P(n,F)$ be the set of graphs with the maximum spectral radius among all $F$-free $n$-vertex planner graph. In 2017, Tait and Tobin proved that for sufficiently $n$, $K_2+P_{n-2}$ is the unique graph with the maximum spectral radius over all $n$-vertex planner graphs. In this paper, focusing on $SPEX_P(n,K_2+H)$ in which $H$ is a linear forest, we prove that $SPEX_P(n,K_2+H)=\{2K_1+C_{n-2}\}$ when $H\in \{pK_2,P_3,I_q\}$ $(p\geq1, q\geq 3)$, where $K_n$, $P_n$, $I_n$ are complete graph, path and empty graph of order $n$, respectively. When $H$ contains a $P_4$, we prove that $2K_1+C_{n-2}\notin SPEX_P(n,K_2+H)$ and also provide a structural characterization of graphs in $SPEX_P(n,K_2+H)$.
A Lower bound for Secure Domination Number of an Outerplanar Graph
A subset $S$ of vertices in a graph $G$ is a secure dominating set of $G$ if $S$ is a dominating set of $G$ and, for each vertex $u \not\in S$, there is a vertex $v \in S$ such that $uv$ is an edge and $(S \setminus \{v\}) \cup \{u\}$ is also a dominating set of $G$. The secure domination number of $G$, denoted by $γ_{s}(G)$, is the cardinality of a smallest secure dominating sets of $G$. In this paper, we prove that for any outerplanar graph with $n \geq 4$ vertices, $γ_{s}(G) \geq (n+4)/5$ and the bound is tight.
Turán problems for star-path forests in hypergraphs
An $r$-uniform hypergraph ($r$-graph for short) is linear if any two edges intersect at most one vertex. Let $\mathcal{F}$ be a given family of $r$-graphs. An $r$-graph $H$ is called $\mathcal{F}$-free if $H$ does not contain any member of $\mathcal{F}$ as a subgraph. The Turán number of $\mathcal{F}$ is the maximum number of edges in any $\mathcal{F}$-free $r$-graph on $n$ vertices, and the linear Turán number of $\mathcal{F}$ is defined as the Turán number of $\mathcal{F}$ in linear host hypergraphs. An $r$-uniform linear path $P^r_\ell$ of length $\ell$ is an $r$-graph with edges $e_1,\dots,e_\ell$ such that $|V(e_i)\cap V(e_j)|=1$ if $|i-j|=1$, and $V(e_i)\cap V(e_j)=\emptyset$ for $i\neq j$ otherwise. Gyárfás et al. [\textit{European J. Combin.} (2022) 103435] obtained an upper bound for the linear Turán number of $P_\ell^3$. In this paper, an upper bound for the linear Turán number of $P_\ell^r$ is obtained, which generalizes the known result of $P_\ell^3$ to any $P_\ell^r$. Furthermore, some results for the linear Turán number and Turán number of several linear star-path forests are obtained.
Untangling Gaussian Mixtures
Tangles were originally introduced as a concept to formalize regions of high connectivity in graphs. In recent years, they have also been discovered as a link between structural graph theory and data science: when interpreting similarity in data sets as connectivity between points, finding clusters in the data essentially amounts to finding tangles in the underlying graphs. This paper further explores the potential of tangles in data sets as a means for a formal study of clusters. Real-world data often follow a normal distribution. Accounting for this, we develop a quantitative theory of tangles in data sets drawn from Gaussian mixtures. To this end, we equip the data with a graph structure that models similarity between the points and allows us to apply tangle theory to the data. We provide explicit conditions under which tangles associated with the marginal Gaussian distributions exist asymptotically almost surely. This can be considered as a sufficient formal criterion for the separabability of clusters in the data.
$C_{2k+1}$-coloring of bounded-diameter graphs
For a fixed graph $H$, in the graph homomorphism problem, denoted by $Hom(H)$, we are given a graph $G$ and we have to determine whether there exists an edge-preserving mapping $\varphi: V(G) \to V(H)$. Note that $Hom(C_3)$, where $C_3$ is the cycle of length $3$, is equivalent to $3$-Coloring. The question whether $3$-Coloring is polynomial-time solvable on diameter-$2$ graphs is a well-known open problem. In this paper we study the $Hom(C_{2k+1})$ problem on bounded-diameter graphs for $k\geq 2$, so we consider all other odd cycles than $C_3$. We prove that for $k\geq 2$, the $Hom(C_{2k+1})$ problem is polynomial-time solvable on diameter-$(k+1)$ graphs -- note that such a result for $k=1$ would be precisely a polynomial-time algorithm for $3$-Coloring of diameter-$2$ graphs.
Furthermore, we give subexponential-time algorithms for diameter-$(k+2)$ graphs.
We complement these results with a lower bound for diameter-$(2k+2)$ graphs -- in this class of graphs the $Hom(C_{2k+1})$ problem is NP-hard and cannot be solved in subexponential-time, unless the ETH fails.
Finally, we consider another direction of generalizing $3$-Coloring on diameter-$2$ graphs. We consider other target graphs $H$ than odd cycles but we restrict ourselves to diameter $2$. We show that if $H$ is triangle-free, then $Hom(H)$ is polynomial-time solvable on diameter-$2$ graphs.
The $K_{1,2}$-structure-connectivity of graphs
In this paper, we mainly investigate $K_{1,2}$-structure-connectivity for any connected graph. Let $G$ be a connected graph with $n$ vertices, we show that $κ(G; K_{1,2})$ is well-defined if $diam(G)\geq 4$, or $n\equiv 1\pmod 3$, or $G\notin \{C_{5},K_{n}\}$ when $n\equiv 2\pmod 3$, or there exist three vertices $u,v,w$ such that $N_{G}(u)\cap (N_{G}(v,w)\cup\{v,w\})=\emptyset$ when $n\equiv 0\pmod 3$. Furthermore, if $G$ has $K_{1,2}$-structure-cut, we prove $κ(G)/3\leqκ(G; K_{1,2})\leqκ(G)$.
The Berge-Füredi conjecture on the chromatic index of hypergraphs with large hyperedges
This paper is concerned with two conjectures which are intimately related. The first is a generalization to hypergraphs of Vizing's Theorem on the chromatic index of a graph and the second is the well-known conjecture of Erdős, Faber and Lovász which deals with the problem of coloring a family of cliques intersecting in at most one vertex. We are led to study a special class of uniform and linear hypergraphs for which a number of properties are established.
Ehrhart polynomials of partial permutohedra
For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is a certain integral polytope in $\mathbb{R}^m$, which can be defined as the convex hull of the vectors from $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. For $n=m-1$, $\mathcal{P}(m,m-1)$ is (after translation by $(1,\ldots,1)$) the polytope $P_m$ of parking functions of length $m$, and for $n\ge m$, $\mathcal{P}(m,n)$ is combinatorially equivalent to an $m$-stellohedron. The main result of this paper is an explicit expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ for any $m$ and $n$ with $n\ge m-1$. The result confirms the validity of a conjecture for this Ehrhart polynomial in arXiv:2207.14253, and the $n=m-1$ case also answers a question of Stanley regarding the number of integer points in $P_m$. The proof of the result involves transforming $\mathcal{P}(m,n)$ to a unimodularly equivalent polytope in $\mathbb{R}^{m+1}$, obtaining a decomposition of this lifted version of $\mathcal{P}(m,n)$ with $n\ge m-1$ as a Minkowski sum of dilated coordinate simplices, applying a result of Postnikov for the number of integer points in generalized permutohedra of this form, observing that this gives an expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with $n\ge m-1$ as an edge-weighted sum over graphs (with loops and multiple edges permitted) on $m$ labelled vertices in which each connected component contains at most one cycle, and then applying standard techniques for the enumeration of such graphs.
Zig-zag Eulerian polynomials
Published
• View Publication
• BIB
For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically.
In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
A method for constructing graphs with the same resistance spectrum
Let $G=(V(G),E(G))$ be a graph with vertex set $V(G)$ and edge set $E(G)$. The resistance distance $R_G(x,y)$ between two vertices $x,y$ of $G$ is defined to be the effective resistance between the two vertices in the corresponding electrical network in which each edge of $G$ is replaced by a unit resistor. The resistance spectrum $\mathrm{RS}(G)$ of a graph $G$ is the multiset of the resistance distances of all pairs of vertices in the graph. This paper presents a method for constructing graphs with the same resistance spectrum. It is obtained that for any positive integer $k$, there exist at least $2^k$ graphs with the same resistance spectrum. Furthermore, it is shown that for $n \geq 10$, there are at least $2(n-9) p(n-9)$ pairs of graphs of order $n$ with the same resistance spectrum, where $p(n-9)$ is the number of partitions of the integer $n-9$.
Connectivity of $3$-distance graphs
For a simple graph $G$, the $3$-distance graph, $D_3(G)$, is a graph with the vertex set $V(G)$ and two vertices are adjacent if and only if their distance is $3$ in the graph $G$. For a connected graph $G$, we provide some conditions for the connectedness of $D_3(G)$. Also, we characterize all trees and unicyclic graphs with connected $3$-distance graph.
On the Ohba Number and Generalized Ohba Numbers of Complete Bipartite Graphs
We say that a graph $G$ is chromatic-choosable when its list chromatic number $χ_{\ell}(G)$ is equal to its chromatic number $χ(G)$. Chromatic-choosability is a well-studied topic, and in fact, some of the most famous results and conjectures related to list coloring involve chromatic-choosability. In 2002 Ohba showed that for any graph $G$ there is an $N \in \mathbb{N}$ such that the join of $G$ and a complete graph on at least $N$ vertices is chromatic-choosable. The Ohba number of $G$ is the smallest such $N$. In 2014, Noel suggested studying the Ohba number, $τ_{0}(a,b)$, of complete bipartite graphs with partite sets of size $a$ and $b$. In this paper we improve a 2009 result of Allagan by showing that $τ_{0}(2,b) = \lfloor \sqrt{b} \rfloor - 1$ for all $b \geq 2$, and we show that for $a \geq 2$, $τ_{0}(a,b) = Ω( \sqrt{b} )$ as $b \rightarrow \infty$. We also initiate the study of some relaxed versions of the Ohba number of a graph which we call generalized Ohba numbers. We present some upper and lower bounds of generalized Ohba numbers of complete bipartite graphs while also posing some questions.
A survey of degree-boundedness
Suppose a graph has no large balanced bicliques, but has large minimum degree. Then what can we say about its induced subgraphs? This question motivates the study of degree-boundedness, which is like $χ$-boundedness but for minimum degree instead of chromatic number. We survey this area with an eye towards open problems.
Solving Functional Equations Dear to W.T. Tutte using the Naive (yet fullly rigorous!) Guess And Check Method
In his seminal paper ``A census of planar triangulations", published in 1962, the iconic graph theorist (and code-breaker), W.T. Tutte, spent a few pages to prove that a certain bi-variate generating function that enumerates triangulations, satisfies a certain functional equation. He then used his genius to actually solve it, giving closed-form solutions to the enumerating sequences. While the first part, of deriving the functional equation, still needs human ingenuity, the second part, of solving it, can nowadays be fully automated. Our Maple program, accompanying this paper, Tutte.txt, can not only solve Tutte's original equation in a few seconds, it can also solve many, far more complicated ones, way beyond the scope of even such a giant as W.T. Tutte. We use our favorite method of ``guess and check" and show how it can always be made fully rigorous (if desired).
A full Halin grid theorem
Halin's well-known grid theorem states that a graph $G$ with a thick end must contain a subdivision of the hexagonal half-grid. We obtain the following strengthening when $G$ is vertex-transitive and locally finite. Either $G$ is quasi-isometric to a tree (and therefore has no thick end), or it contains a subdivision of the full hexagonal grid.
Bootstrap percolation on the Hamming graphs
The $r$-edge bootstrap percolation on a graph is an activation process of the edges. The process starts with some initially activated edges and then, in each round, any inactive edge whose one of endpoints is incident to at least $r$ active edges becomes activated. A set of initially activated edges leading to the activation of all edges is said to be a percolating set. Denote the minimum size of a percolating set in the $r$-edge bootstrap percolation process on a graph $G$ by $m_e(G, r)$. The importance of the $r$-edge bootstrap percolation relies on the fact that $m_e(G, r)$ provides bounds on $m(G, r)$, that is, the minimum size of a percolating set in the $r$-neighbor bootstrap percolation process on $G$. In this paper, we explicitly determine $m_e(K_n^d, r)$, where $K_n^d$ is the Cartesian product of $d$ copies of the complete graph on $n$ vertices which is referred as Hamming graph. Using this, we show that $m(K_n^d, r)=(1+o(1))\frac{d^{r-1}}{r!}$ when $n, r$ are fixed and $d$ goes to infinity which extends a known result on hypercubes.
Determining the Locating Rainbow Connection Number of Vertex-Transitive Graphs
The locating rainbow connection number of a graph is defined as the minimum number of colors required to color vertices such that every two vertices there exists a rainbow vertex path and every vertex has a distinct rainbow code. This rainbow code signifies a distance between vertices within a given set of colors in a graph. This paper aims to determine the locating rainbow connection number for vertex-transitive graphs. Three main theorems are derived, focusing on the locating rainbow connection number for some vertex-transitive graphs
Spectral radius and the 2-power of Hamilton paths
We determine the maximum number of a graph without containing the 2-power of a Hamilton path. Using this result, we establish a spectral condition for a graph containing the 2-power of a Hamilton path.
Mutual-visibility and general position in double graphs and in Mycielskians
Published in Appl. Math. Comput. 488 (2025) Paper 129131, 9 pp
• View Publication
• BIB
The general position problem in graphs is to find the maximum number of vertices that can be selected such that no three vertices lie on a common shortest path. The mutual-visibility problem in graphs is to find the maximum number of vertices that can be selected such that every pair of vertices in the collection has a shortest path between them with no vertex from the collection as an internal vertex. In this paper, the general position problem and the mutual-visibility problem is investigated in double graphs and in Mycielskian graphs. Sharp general bounds are proved, in particular involving the total mutual-visibility number and the outer mutual-visibility number of base graphs. Several exact values are also determined, in particular the mutual-visibility number of the double graphs and of the Mycielskian of cycles.
Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables) of $P$- and $Q$-polynomial association schemes are described by Askey-Wilson orthogonal polynomials or their relatives. These polynomials are one-variable orthogonal polynomials. It seems that the new attempt to define and study higher rank $P$- and $Q$-polynomial association schemes had been hoped for, but had gotten only limited success. The first very successful attempt was initiated recently by Bernard-Crampé-d'Andecy-Vinet-Zaimi [arXiv:2212.10824], and then followed by Bannai-Kurihara-Zhao-Zhu [arXiv:2305.00707]. The general theory and some explicit examples of families of higher rank (multivariate) $P$- and/or $Q$-polynomial association schemes have been obtained there. The main purpose of the present paper is to prove that some important families of association schemes are shown to be bivariate $Q$-polynomial. Namely, we show that all the nonbinary Johnson association schemes and all the attenuated space association schemes are bivariate $Q$-polynomial. It should be noted that the parameter restrictions needed in the previous papers are completely lifted in this paper. Our proofs are done by explicitly calculating the Krein parameters of these association schemes. At the end, we mention some speculations and indications of what we can expect in the future study.