arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
The number of independent sets in bipartite graphs and benzenoids
Given a graph $G$, we study the number of independent sets in $G$, denoted $i(G)$. This parameter is known as both the Merrifield-Simmons index of a graph as well as the Fibonacci number of a graph. In this paper, we give general bounds for $i(G)$ when $G$ is bipartite and we give its exact value when $G$ is a balanced caterpillar. We improve upon a known upper bound for $i(T)$ when $T$ is a tree, and study a conjecture that all but finitely many positive integers represent $i(T)$ for some tree $T$. We also give exact values for $i(G)$ when $G$ is a particular type of benzenoid.
2023-11-25
Equitable Coloring in 1-Planar Graphs
Published in Discrete Math. Vol. 348(2), Feb. 2025, 114286 • Search Publication
For every $r\ge13$, we show every 1-planar graph $G$ with $Δ(G)\le r$ has an equitable $r$-coloring.
A method to compute the strength using bounds
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\{1,2, \ldots, n \}$ to the vertices of $G$. The strength $\mathrm{str}\left(G\right) $ of $G$ is defined by $\mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right)\left\vert f\text{ is a numbering of }G\right. \right\}$, where $\mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left\vert uv\in E\left( G\right) \right. \right\} $. A few lower and upper bounds for the strength are known and, although it is in general hard to compute the exact value for the strength, a reasonable approach to this problem is to study for which graphs a lower bound and an upper bound for the strength coincide. In this paper, we study general conditions for graphs that allow us to determine which graphs have the property that lower and upper bounds for the strength coincide and other graphs for which this approach is useless.
2023-11-25
Plane Multigraphs with One-Bend and Circular-Arc Edges of a Fixed Angle
For an angle $α\in (0,π)$, we consider plane graphs and multigraphs in which the edges are either (i) one-bend polylines with an angle $α$ between the two edge segments, or (ii) circular arcs of central angle $2(π-α)$. We derive upper and lower bounds on the maximum density of such graphs in terms of $α$. As an application, we improve upon bounds for the number of edges in $αAC_1^=$ graphs (i.e., graphs that can be drawn in the plane with one-bend edges such that any two crossing edges meet at angle $α$). This is the first improvement on the size of $αAC_1^=$ graphs in over a decade.
2023-11-24
Minimal graphs with eigenvalue multiplicity of $n-d$
For a connected graph $G$ with order $n$, let $e(G)$ be the number of its distinct eigenvalues and $d$ be the diameter. We denote by $m_G(μ)$ the eigenvalue multiplicity of $μ$ in $G$. It is well known that $e(G)\geq d+1$, which shows $m_G(μ)\leq n-d$ for any real number $μ$. A graph is called $minimal$ if $e(G)= d+1$. In 2013, Wang (\cite{WD}, Linear Algebra Appl.) characterize all minimal graphs with $m_G(0)=n-d$. In 2023, Du et al. (\cite{Du}, Linear Algebra Appl.) characterize all the trees for which there is a real symmetric matrix with nullity $n-d$ and $n-d-1$. In this paper, by applying the star complement theory, we prove that if $G$ is not a path and $m_G(μ)= n-d$, then $μ\in \{0,-1\}$. Furthermore, we completely characterize all minimal graphs with $m_G(-1)=n-d$.
2023-11-24
Characterization of transmission irregular starlike and double starlike trees
Published in Comp. Appl. Math. 43 (2024) Art. No. 262 • View PublicationBIB
The transmission of a vertex in a connected graph is the sum of its distances to all the other vertices. A graph is transmission irregular (TI) when all of its vertices have mutually distinct transmissions. In an earlier paper, Al-Yakoob and Stevanović [Appl. Math. Comput. 380 (2020), 125257] gave the full characterization of TI starlike trees with three branches. Here, we improve these results by using a different approach to provide the complete characterization of all TI starlike trees. Moreover, we find the precise conditions under which a double starlike tree is TI. Finally, we implement the aforementioned conditions in order to find several infinite families of TI starlike trees and TI double starlike trees.
2023-11-24 v2
Rigid partitions: from high connectivity to random graphs
A graph is called $d$-rigid if there exists a generic embedding of its vertex set into $\mathbb{R}^d$ such that every continuous motion of the vertices that preserves the lengths of all edges actually preserves the distances between all pairs of vertices. The rigidity of a graph is the maximal $d$ such that the graph is $d$-rigid. We present new sufficient conditions for the $d$-rigidity of a graph in terms of the existence of ``rigid partitions'' -- partitions of the graph that satisfy certain connectivity properties. This extends previous results by Crapo, Lindemann, and Lew, Nevo, Peled and Raz. As an application, we present new results on the rigidity of highly-connected graphs, random graphs, random bipartite graphs, pseudorandom graphs, and dense graphs. In particular, we prove that random $C d\log d$-regular graphs are typically $d$-rigid, demonstrate the existence of a giant $d$-rigid component in sparse random binomial graphs, and show that the rigidity of relatively sparse random binomial bipartite graphs is roughly the same as that of the complete bipartite graph, which we consider an interesting phenomenon. Furthermore, we show that a graph admitting $\binom{d+1}{2}$ disjoint connected dominating sets is $d$-rigid. This implies a weak version of the Lovász--Yemini conjecture on the rigidity of highly-connected graphs. We also present an alternative short proof for a recent result by Lew, Nevo, Peled, and Raz, which asserts that the hitting time for $d$-rigidity in the random graph process typically coincides with the hitting time for minimum degree $d$.
2023-11-23
Genus of Embedded Graphs in Orientable Closed Surfaces
We give an algorithm to calculate the minimal and maximal genus of the orientable closed surface where a graph $G$ can be embedded. For this, we construct some special branched coverings of the 2-sphere. We apply this algorithm to calculate the orientable genus and maximal genus of some Snarks graphs.
2023-11-23 v3
Expanders Satisfy the Weak Meyniel Conjecture
We show that if $\{G_n\}_{n\geq 1}$ is a sequence of graphs of order $n$ with bounded maximum degree and isoperimetric function $Φ(G_n,n^{1-α})$ bounded away from $0$ as $n\rightarrow \infty$, then the cop number of $G_n$ is at most $O(n^{\frac{1+α}{2}+o(1)})$. It is unclear if this bound is tight given our assumption that the maximum degree of our sequence is bounded. All the same, recent work by Hosseini, Mohar, and Gonzalez Hermosillo de la Maza strongly motivates considering the bounded degree case, as they show that proving that the cop number of graphs of bounded max degree is $O(n^{1-ε})$ would also prove that for all graphs the cop number is $O(n^{1-α})$ for some $α>0$. This would resolve a weak version of a notable conjecture by Meyniel. Next, we prove that certain unintuitive graphs necessarily exist and have large cop number if the weak version Meyniel's conjecture is false. We concluding by conjecturing that any such unintuitive graphs must be expanders and would therefore not have large cop number by the upper bound we show. Thus, our conjecture would imply a weak version of Meyniel's conjecture.
2023-11-23
Further results on the permanental sums of bicyclic graphs
Let $G$ be a graph, and let $A(G)$ be the adjacency matrix of $G$. The permanental polynomial of $G$ is defined as $π(G,x)=\mathrm{per}(xI-A(G))$. The permanental sum of $G$ can be defined as the sum of absolute value of coefficients of $π(G,x)$. Computing the permanental sum is $\#$P-complete. Any a bicyclic graph can be generated from three types of induced subgraphs. In this paper, we determine the upper bound of permanental sums of bicyclic graphs generated from each a type of induced subgraph. And we also determine the second maximal permanental sum of all bicyclic graphs.
Location-Domination Type Problems Under the Mycielski Construction
We consider the following variants of the classical minimum dominating set problem in graphs: locating-dominating set, locating total-dominating set and open locating-dominating set. All these problems are known to be hard for general graphs. A typical line of attack, therefore, is to either determine the minimum cardinalities of such sets in general or to establish bounds on these minimum cardinalities in special graph classes. In this paper, we study the minimum cardinalities of these variants of the dominating set under a graph operation defined by Mycielski in~\cite{Mycielski1955} and is called the Mycielski construction. We provide some general lower and upper bounds on the minimum sizes of the studied sets under the Mycielski construction. We apply the Mycielski construction to stars, paths and cycles in particular, and provide lower and upper bounds on the minimum cardinalities of such sets in these graph classes. Our results either improve or attain the general known upper bounds.
2023-11-23
On the Permutation-Representation Number of Bipartite Graphs using Neighborhood Graphs
The problems of determining the permutation-representation number (prn) and the representation number of bipartite graphs are open in the literature. Moreover, the decision problem corresponding to the determination of the prn of a bipartite graph is NP-complete. However, these numbers were established for certain subclasses of bipartite graphs, e.g., for crown graphs. Further, it was conjectured that the crown graphs have the highest representation number among the bipartite graphs. In this work, first, we reconcile the relation between the prn of a comparability graph and the dimension of its induced poset and review the upper bounds on the prn of bipartite graphs. Then, we study the prn of bipartite graphs using the notion called neighborhood graphs. This approach substantiates the aforesaid conjecture and gives us theoretical evidence. In this connection, we devise a polynomial-time procedure to construct a word that represents a given bipartite graph permutationally. Accordingly, we provide a better upper bound for the prn of bipartite graphs. Further, we construct a class of bipartite graphs, viz., extended crown graphs, defined over posets and investigate its prn using the neighborhood graphs.
2023-11-22 v2
Effect of Constraint Relaxation on the Minimum Vertex Cover Problem in Random Graphs
Published in Phys.Rev.E 109 (2024) 044304 • View PublicationBIB
A statistical-mechanical study of the effect of constraint relaxation on the minimum vertex cover problem in Erdős-Rényi random graphs is presented. Using a penalty-method formulation for constraint relaxation, typical properties of solutions, including infeasible solutions that violate the constraints, are analyzed by means of the replica method and cavity method. The problem involves a competition between reducing the number of vertices to be covered and satisfying the edge constraints. The analysis under the replica-symmetric (RS) ansatz clarifies that the competition leads to degeneracies in the vertex and edge states, which determine the quantitative properties of the system, such as the cover and penalty ratios. A precise analysis of these effects improves the accuracy of RS approximation for the minimum cover ratio in the replica symmetry breaking (RSB) region. Furthermore, the analysis based on the RS cavity method indicates that the RS/RSB boundary of the ground states with respect to the mean degree of the graphs is expanded, and the critical temperature is lowered by constraint relaxation.
A new approach to b-coloring of regular graphs
Let $G$ be a graph and c a proper k-coloring of G, i.e. any two adjacent vertices u and v have different colors c(u) and c(v). A proper k-coloring is a b-coloring if there exists a vertex in every color class that contains all the colors in its closed neighborhood. The maximum number of colors k admitting b-coloring of G is the b-chromatic number. We present two separate approaches to the conjecture posed by Blidia et. al that the b-chromatic number equals to d+1 for every d-regular graph of girth at least five except the Petersen graph.
2023-11-22 v2
Spectral condition for the existence of a chorded cycle
A chord of a cycle $C$ is an edge joining two non-consecutive vertices of $C$. A cycle $C$ in a graph $G$ is chorded if the vertex set of $C$ induces at least one chord. In this paper, we prove that if $G$ is a graph with order $n\geq 6$ and $ρ(G)\geq ρ(K_{2,n-2})$, then $G$ contains a chorded cycle unless $G\cong K_{2,n-2}$. This gives one answer to a question posed by Gould [Results and problems on chorded cycles: A survey, Graphs Combin. 38 (2022) 189].
2023-11-22 v2
On the maximum $A_α$-spectral radius of unicyclic and bicyclic graphs with fixed girth or fixed number of pendant vertices
For a connected graph $G$, let $A(G)$ be the adjacency matrix of $G$ and $D(G)$ be the diagonal matrix of the degrees of the vertices in $G$. The $A_α$-matrix of $G$ is defined as \begin{align*} A_α(G) = αD(G) + (1-α) A(G) \quad \text{for any $α\in [0,1]$}. \end{align*} The largest eigenvalue of $A_α(G)$ is called the $A_α$-spectral radius of $G$. In this article, we characterize the graphs with maximum $A_α$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with fixed girth $g$. Also, we identify the unique graphs with maximum $A_α$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with $k$ pendant vertices.
2023-11-22 v2
An Erdős-Stone type result for high-order spectra of graphs
Erdős-Stone Theorem is a well-known result in extremal graph theory which determines the asymptotic behaviour of maximum number of edges in an $n$-vertex $H$-free graph. In 2009, Nikiforov gave a spectral version of Erdős-Stone Theorem. In this paper, we obtain a tensor's spectral version of Erdős-Stone Theorem.
Solution discovery via reconfiguration for problems in P
In the recently introduced framework of solution discovery via reconfiguration [Fellows et al., ECAI 2023], we are given an initial configuration of $k$ tokens on a graph and the question is whether we can transform this configuration into a feasible solution (for some problem) via a bounded number $b$ of small modification steps. In this work, we study solution discovery variants of polynomial-time solvable problems, namely Spanning Tree Discovery, Shortest Path Discovery, Matching Discovery, and Vertex/Edge Cut Discovery in the unrestricted token addition/removal model, the token jumping model, and the token sliding model. In the unrestricted token addition/removal model, we show that all four discovery variants remain in P. For the toking jumping model we also prove containment in P, except for Vertex/Edge Cut Discovery, for which we prove NP-completeness. Finally, in the token sliding model, almost all considered problems become NP-complete, the exception being Spanning Tree Discovery, which remains polynomial-time solvable. We then study the parameterized complexity of the NP-complete problems and provide a full classification of tractability with respect to the parameters solution size (number of tokens) $k$ and transformation budget (number of steps) $b$. Along the way, we observe strong connections between the solution discovery variants of our base problems and their (weighted) rainbow variants as well as their red-blue variants with cardinality constraints.
$h$-vectors of edge rings of odd-cycle compositions
Let $\mathbb{K}[G]$ be the edge ring of a finite simple graph $G$. Investigating properties of the $h$-vector of $\mathbb{K}[G]$ is of great interest in combinatorial commutative algebra. However, there are few families of graphs for which the $h$-vector has been explicitly determined. In this paper, we compute the $h$-vectors of a certain family of graphs that satisfy the odd-cycle condition, generalizing a result of the second and third named authors. As a corollary, we obtain a characterization of the graphs in this family whose edge rings are almost Gorenstein.
2023-11-22
Some Upper Bounds on Ramsey Numbers Involving $C_4$
We obtain some new upper bounds on the Ramsey numbers of the form $R(\underbrace{C_4,\ldots,C_4}_m,G_1,\ldots,G_n)$, where $m\ge 1$ and $G_1,\ldots,G_n$ are arbitrary graphs. We focus on the cases of $G_i$'s being complete, star $K_{1,k}$ or book graphs $B_k$, where $B_k=K_2+kK_1$. If $k\ge 2$, then our main upper bound theorem implies that $$R(C_4,B_k) \le R(C_4,K_{1,k})+\left\lceil\sqrt{R(C_4,K_{1,k})}\right\rceil+1.$$ Our techniques are used to obtain new upper bounds in several concrete cases, including: $R(C_4,K_{11})\leq 43$, $R(C_4,K_{12})\leq 51$, $R(C_4,K_3,K_4)\leq 29$, $R(C_4, K_4,K_4)\leq 66$, $R(C_4,K_3,K_3,K_3)\leq 57$, $R(C_4,C_4,K_3,K_4)\leq 75$, and $R(C_4,C_4,K_4,K_4)\leq 177$, and also $R(C_4,B_{17})\leq 28$.