arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35396 papers tagged with this keyword
2017-05-06
On the maximum and minimum multiplicative Zagreb indices of graphs with given number of cut edges
For a molecular graph, the first multiplicative Zagreb index $Π_1$ is equal to the product of the square of the degree of the vertices, while the second multiplicative Zagreb index $Π_2$ is equal to the product of the endvertex degree of each edge over all edges. Denote by $\mathbb{G}_{n,k}$ the set of graphs with $n$ vertices and $k$ cut edges. In this paper, we explore graphs in terms of a number of cut edges. In addition, the maximum and minimum multiplicative Zagreb indices of graphs with given number of cut edges are provided. Furthermore, we characterize graphs with the largest and smallest $Π_1(G)$ and $Π_2(G)$ in $\mathbb{G}_{n,k}$, and our results extend and enrich some known conclusions.
2017-05-06
Proper vertex connection and graph operations
Published • View Publication • BIB
A path in a vertex-colored graph is a {\it vertex-proper path} if any two internal adjacent vertices differ in color. A vertex-colored graph is {\it proper vertex $k$-connected} if any two vertices of the graph are connected by $k$ disjoint vertex-proper paths of the graph. For a $k$-connected graph $G$, the {\it proper vertex $k$-connection number} of $G$, denoted by $pvc_{k}(G)$, is defined as the smallest number of colors required to make $G$ proper vertex $k$-connected. A vertex-colored graph is {\it strong proper vertex-connected}, if for any two vertices $u,v$ of the graph, there exists a vertex-proper $u$-$v$ geodesic. For a connected graph $G$, the {\it strong proper vertex-connection number} of $G$, denoted by $spvc(G)$, is the smallest number of colors required to make $G$ strong proper vertex-connected. In this paper, we study the proper vertex $k$-connection number and the strong proper vertex-connection number on the join of two graphs, the Cartesian, lexicographic, strong and direct product, and present exact values or upper bounds for these operations of graphs.
2017-05-06
Total proper connection and graph operations
Published • View Publication • BIB
A graph is said to be {\it total-colored} if all the edges and vertices of the graph are colored. A path in a total-colored graph is a {\it total proper path} if $(i)$ any two adjacent edges on the path differ in color, $(ii)$ any two internal adjacent vertices on the path differ in color, and $(iii)$ any internal vertex of the path differs in color from its incident edges on the path. A total-colored graph is called {\it total-proper connected} if any two vertices of the graph are connected by a total proper path of the graph. For a connected graph $G$, the {\it total proper connection number} of $G$, denoted by $tpc(G)$, is defined as the smallest number of colors required to make $G$ total-proper connected. In this paper, we study the total proper connection number for the graph operations. We find that $3$ is the total proper connection number for the join, the lexicographic product and the strong product of nearly all graphs. Besides, we study three kinds of graphs with one factor to be traceable for the Cartesian product as well as the permutation graphs of the star and traceable graphs. The values of the total proper connection number for these graphs are all $3$.
Ovoids of Generalized Quadrangles of Order $(q, q^2-q)$ and Delsarte Cocliques in Related Strongly Regular Graphs
Published • View Publication • BIB
We investigate strongly regular graphs for which Hoffman's ratio bound and Cvetcović's inertia bound are equal. This means that $ve^- = m^-(e^- - k)$, where $v$ is the number of vertices, $k$ is the regularity, $e^-$ is the smallest eigenvalue, and $m^-$ is the multiplicity of $e^-$. We show that Delsarte cocliques do not exist for all Taylor's $2$-graphs and for point graphs of generalized quadrangles of order $(q,q^2-q)$ for infinitely many $q$. For cases where equality may hold, we show that for nearly all parameter sets, there are at most two Delsarte cocliques.
Terminal-Pairability in Complete Bipartite Graphs with Non-Bipartite Demands
Published in Theoretical Computer Science, Volume 775, 5 July 2019, Pages 16-25 • View Publication • BIB
We investigate the terminal-pairability problem in the case when the base graph is a complete bipartite graph, and the demand graph is a (not necessarily bipartite) multigraph on the same vertex set. In computer science, this problem is known as the edge-disjoint paths problem. We improve the lower bound on the maximum value of $Δ(D)$ which still guarantees that the demand graph $D$ has a realization in $K_{n,n}$. We also solve the extremal problem on the number of edges, i.e., we determine the maximum number of edges which guarantees that a demand graph is realizable in $K_{n,n}$.
2017-05-04 v2
Spectral Radius and Hamiltonicity of graphs
Published • View Publication • BIB
In this paper, we study the Hamiltonicity of graphs with large minimum degree. Firstly, we present some conditions for a simple graph to be Hamilton-connected and traceable from every vertex in terms of the spectral radius of the graph or its complement respectively. Secondly, we give the conditions for a nearly balanced bipartite graph to be traceable in terms of spectral radius, signless Laplacian spectral radius of the graph or its quasi-complement respectively.
Incidence Choosability of Graphs
Published • View Publication • BIB
An incidence of a graph G is a pair (v, e) where v is a vertex of G and e is an edge of G incident with v. Two incidences (v, e) and (w, f) of G are adjacent whenever (i) v = w, or (ii) e = f , or (iii) vw = e or f. An incidence p-colouring of G is a mapping from the set of incidences of G to the set of colours {1,. .. , p} such that every two adjacent incidences receive distinct colours. Incidence colouring has been introduced by Brualdi and Quinn Massey in 1993 and, since then, studied by several authors. In this paper, we introduce and study the list version of incidence colouring. We determine the exact value of -- or upper bounds on -- the incidence choice number of several classes of graphs, namely square grids, Halin graphs, cactuses and Hamiltonian cubic graphs.
2017-05-04
On The Number Of Unlabeled Bipartite Graphs
Published • View Publication • BIB
This paper solves a problem that was stated by M. A. Harrison in 1973~\cite{harrison1973number}. This problem, that has remained open since then is concerned with counting equivalence classes of $n\times r$ binary matrices under row and column permutations. Let $I$ and $O$ denote two sets of vertices, where $I\cap O =Φ$, $|I| = n$, $|O| = r$, and $B_u(n,r)$ denote the set of unlabeled graphs whose edges connect vertices in $I$ and $O$. Harrison established that the number of equivalence classes of $n\times r$ binary matrices is equal to the number of unlabeled graphs in $B_u(n,r).$ He also computed the number of such matrices (hence such graphs) for small values of $n$ and $r$ without providing an asymptotic formula $|B_u(n,r)|.$ Here, such an asymptotic formula is provided by proving the following two-sided equality using Polya's Counting Theorem.
2017-05-04 v2
Ramsey Classes with Closure Operations (Selected Combinatorial Applications)
We state the Ramsey property of classes of ordered structures with closures and given local properties. This generalises many old and new results: the Nešetřil-Rödl Theorem, the author's Ramsey lift of bowtie-free graphs as well as the Ramsey Theorem for Finite Models (i.e. structures with both functions and relations) thus providing the ultimate generalisation of Structural Ramsey Theorem. We give here a more concise reformulation of recent authors paper "All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)" and the main purpose of this paper is to show several applications. Particularly we prove the Ramsey property of ordered sets with equivalences on the power set, Ramsey theorem for Steiner systems, Ramsey theorem for resolvable designs and a partial Ramsey type results for $H$-factorizable graphs. All of these results are natural, easy to state, yet proofs involve most of the theory developed.
2017-05-04 v3
Zarankiewicz's problem for semi-algebraic hypergraphs
Published • View Publication • BIB
Zarankiewicz's problem asks for the largest possible number of edges in a graph that does not contain a $K_{u,u}$ subgraph for a fixed positive integer $u$. Recently, Fox, Pach, Sheffer, Sulk and Zahl considered this problem for semi-algebraic graphs, where vertices are points in $\mathbb{R}^d$ and edges are defined by some semi-algebraic relations. In this paper, we extend this idea to semi-algebraic hypergraphs. For each $k\geq 2$, we find an upper bound on the number of hyperedges in a $k$-uniform $k$-partite semi-algebraic hypergraph without $K_{u_1,\dots,u_k}$ for fixed positive integers $u_1,\dots, u_k$. When $k=2$, this bound matches the one of Fox et.al. and when $k=3$, it is $$O\left((mnp)^{\frac{2d}{2d+1}+\varepsilon}+m(np)^{\frac{d}{d+1}+\varepsilon}+n(mp)^{\frac{d}{d+1}+\varepsilon}+p(mn)^{\frac{d}{d+1}+\varepsilon}+mn+np+pm\right),$$ where $m,n,p$ are the sizes of the parts of the tripartite hypergraph and $\varepsilon$ is an arbitrarily small positive constant. We then present applications of this result to a variant of the unit area problem, the unit minor problem and intersection hypergraphs.
2017-05-04 v3
Edges not in any monochromatic copy of a fixed graph
Published • View Publication • BIB
For a sequence $(H_i)_{i=1}^k$ of graphs, let $\textrm{nim}(n;H_1,\ldots, H_k)$ denote the maximum number of edges not contained in any monochromatic copy of $H_i$ in colour $i$, for any colour $i$, over all $k$-edge-colourings of~$K_n$. When each $H_i$ is connected and non-bipartite, we introduce a variant of Ramsey number that determines the limit of $\textrm{nim}(n;H_1,\ldots, H_k)/{n\choose 2}$ as $n\to\infty$ and prove the corresponding stability result. Furthermore, if each $H_i$ is what we call \emph{homomorphism-critical} (in particular if each $H_i$ is a clique), then we determine $\textrm{nim}(n;H_1,\ldots, H_k)$ exactly for all sufficiently large~$n$. The special case $\textrm{nim}(n;K_3,K_3,K_3)$ of our result answers a question of Ma. For bipartite graphs, we mainly concentrate on the two-colour symmetric case (i.e., when $k=2$ and $H_1=H_2$). It is trivial to see that $\textrm{nim}(n;H,H)$ is at least $\textrm{ex}(n,H)$, the maximum size of an $H$-free graph on $n$ vertices. Keevash and Sudakov showed that equality holds if $H$ is the $4$-cycle and $n$ is large; recently Ma extended their result to an infinite family of bipartite graphs. We provide a larger family of bipartite graphs for which $\textrm{nim}(n;H,H)=\textrm{ex}(n,H)$. For a general bipartite graph $H$, we show that $\textrm{nim}(n;H,H)$ is always within a constant additive error from $\textrm{ex}(n,H)$, i.e.,~$\textrm{nim}(n;H,H)= \textrm{ex}(n,H)+O_H(1)$.
2017-05-03 v2
Topological containment of the 5-clique minus an edge in 4-connected graphs
The topological containment problem is known to be polynomial-time solvable for any fixed pattern graph $H$, but good characterisations have been found for only a handful of non-trivial pattern graphs. The complete graph on five vertices, $K_5$, is one pattern graph for which a characterisation has not been found. The discovery of such a characterisation would be of particular interest, due to the Hajós Conjecture. One step towards this may be to find a good characterisation of graphs that do not topologically contain the simpler pattern graph $K_5^-$, obtained by removing a single edge from $K_5$. This paper makes progress towards achieving this, by showing that every 4-connected graph must contain a $K_5^-$-subdivision.
2017-05-03
On the Laplacian spectra of some double join operations of graphs
Published • View Publication • BIB
Many variants of join operations of graphs have been introduced and their spectral properties have been studied extensively by many researchers. This paper mainly focuses on the Laplacian spectra of some double join operations of graphs. We first introduce the conception of double join matrix and provide a complete information about its eigenvalues and the corresponding eigenvectors. Further, we define four variants of double join operations based on subdivision graph, $Q$-graph, $R$-graph and total graph. Applying the result obtained for the double join matrix, we give an explicit complete characterization of the Laplacian eigenvalues and the corresponding eigenvectors of four variants in terms of the Laplacian eigenvalues and the eigenvectors of the factor graphs. These results generalize some well-known results about some join operations of graphs.
2017-05-03 v2
Bowtie-free graphs and generic automorphisms
Published • View Publication • BIB
We show that the countable universal omega-categorical bowtie-free graph admits generic automorphisms. Moreover, we show that this graph is not finitely homogenisable.
2017-05-03
Construction of Four Completely Independent Spanning Trees on Augmented Cubes
Let T1, T2,..., Tk be spanning trees in a graph G. If for any pair of vertices {u, v} of G, the paths between u and v in every Ti( 0 < i < k+1) do not contain common edges and common vertices, except the vertices u and v, then T1, T2,..., Tk are called completely independent spanning trees in G. The n-dimensional augmented cube, denoted as AQn, a variation of the hypercube possesses several embeddable properties that the hypercube and its variations do not possess. For AQn (n > 5), construction of 4 completely independent spanning trees of which two trees with diameters 2n - 5 and two trees with diameters 2n - 3 are given.
2017-05-03 v2
Polynomial expansion and sublinear separators
Published in European Journal of Combinatorics 69 (2018), 49-53 • View Publication • BIB
Let $\mathcal{C}$ be a class of graphs that is closed under taking subgraphs. We prove that if for some fixed $0<δ\le 1$, every $n$-vertex graph of $\mathcal{C}$ has a balanced separator of order $O(n^{1-δ})$, then any depth-$k$ minor (i.e. minor obtained by contracting disjoint subgraphs of radius at most $k$) of a graph in $\mathcal{C}$ has average degree $O\big((k \text{ polylog }k)^{1/δ}\big)$. This confirms a conjecture of Dvořák and Norin.
2017-05-03 v2
The power graph of a torsion-free group
Published in J. Algebraic Combinatorics 49 (2019), 83-98 • View Publication • BIB
The \emph{power graph} $P(G)$ of a group $G$ is the graph whose vertex set is $G$, with $x$ and $y$ joined if one is a power of the other; the \emph{directed power graph} $\vec{P}(G)$ has the same vertex set, with an arc from $x$ to $y$ if $y$ is a power of $x$. It is known that, for finite groups, the power graph determines the directed power graph up to isomorphism. However, it is not true that any isomorphism between power graphs induces an isomorphism between directed power graphs. Moreover, for infinite groups the power graph may fail to determine the directed power graph. In this paper, we consider power graphs of torsion-free groups. Our main results are that, for torsion-free nilpotent groups of class at most $2$, and for groups in which every non-identity element lies in a unique maximal cyclic subgroup, the power graph determines the directed power graph up to isomorphism. For specific groups such as $\mathbb{Z}$ and $\mathbb{Q}$, we obtain more precise results. Any isomorphism $P(\mathbb{Z})\to P(G)$ preserves orientation, so induces an isomorphism between directed power graphs; in the case of $\mathbb{Q}$, the orientations are either all preserved or all reversed. We also obtain results about groups in which every element is contained in a unique maximal cyclic subgroup (this class includes the free and free abelian groups), and about subgroups of the additive group of $\mathbb{Q}$ and about $\mathbb{Q}^n$.
2017-05-03
A Bound on the Spectral Radius of Hypergraphs with $e$ Edges
Published • View Publication • BIB
For $r\geq 3$, let $f_r\colon [0,\infty)\to [1,\infty)$ be the unique analytic function such that $f_r({k\choose r})={k-1\choose r-1}$ for any $k\geq r-1$. We prove that the spectral radius of an $r$-uniform hypergraph $H$ with $e$ edges is at most $f_r(e)$. The equality holds if and only if $e={k\choose r}$ for some positive integer $k$ and $H$ is the union of a complete $r$-uniform hypergraph $K_k^r$ and some possible isolated vertices. This result generalizes the classical Stanley's theorem on graphs.
2017-05-03
Asymptotically optimal bound on the adjacent vertex distinguishing edge choice number
Published • View Publication • BIB
An adjacent vertex distinguishing edge colouring of a graph $G$ without isolated edges is its proper edge colouring such that no pair of adjacent vertices meets the same set of colours in $G$. We show that such colouring can be chosen from any set of lists associated to the edges of $G$ as long as the size of every list is at least $Δ+CΔ^{\frac{1}{2}}(\logΔ)^4$, where $Δ$ is the maximum degree of $G$ and $C$ is a constant. The proof is probabilistic. The same is true in the environment of total colourings.
2017-05-03
Decomposing graphs into forests
Published in Mathematika 60 (2014) 32-36 • View Publication • BIB
We give a simple graph-theoretic proof of a classical result due to C. St. J. A. Nash-Williams on covering graphs by forests. Moreover we derive a slight generalisation of this statement where some edges are preassigned to distinct forests.