arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
2015-11-23 v2
Theta characteristics of hyperelliptic graphs
Published • View Publication • BIB
We study theta characteristics of hyperelliptic metric graphs of genus $g$ with no bridge edges. These graphs have a harmonic morphism of degree two to a metric tree that can be lifted to morphism of degree two of a hyperelliptic curve $X$ over $K$ to the projective line, with $K$ an algebraically closed field of char$(K) \not =2$, complete with respect to a non-Archimedean valuation, with residue field $k$ of char$(k)\not=2$. The hyperelliptic curve has $2^{2g}$ theta characteristics. We show that for each effective theta characteristics on the graph, $2^{g-1}$ even and $2^{g-1}$ odd theta characteristics on the curve specialize to it; and $2^g$ even theta characteristics on the curve specialize to the unique not effective theta characteristics on the graph.
2015-11-23
On the total $(k,r)$-domination number of random graphs
A subset $S$ of a vertex set of a graph $G$ is a total $(k,r)$-dominating set if every vertex $u \in V(G)$ is within distance $k$ of at least $r$ vertices in $S$. The minimum cardinality among all total $(k,r)$-dominating sets of $G$ is called the total $(k,r)$-domination number of $G$, denoted by $γ^{t}_{(k,r)}(G)$. We previously gave an upper bound on $γ^{t}_{(2,r)}(G(n,p))$ in random graphs with non-fixed $p \in (0,1)$. In this paper we generalize this result to give an upper bound on $γ^{t}_{(k,r)}(G(n,p))$ in random graphs with non-fixed $p \in (0,1)$ for $k\geq 3$ as well as present an upper bound on $γ^{t}_{(k,r)}(G)$ in graphs with large girth.
2015-11-23
Automorphism groups of Cayley graphs generated by block transpositions and regular Cayley maps
Published • View Publication • BIB
This paper deals with the Cayley graph $\mathrm{Cay}(\mathrm{Sym}_n,T_n),$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. As the main result, we prove that Aut$(\mathrm{Cay}(\mathrm{Sym}_n,T_n))$ is the product of the left translation group by a dihedral group $\mathsf{D}_{n+1}$ of order $2(n+1)$. The proof uses several properties of the subgraph $Γ$ of $\mathrm{Cay}(\mathrm{Sym}_n,T_n)$ induced by the set $T_n$. In particular, $Γ$ is a $2(n-2)$-regular graph whose automorphism group is $\mathsf{D}_{n+1},$ $Γ$ has as many as $n+1$ maximal cliques of size $2,$ and its subgraph $Γ(V)$ whose vertices are those in these cliques is a $3$-regular, Hamiltonian, and vertex-transitive graph. A relation of the unique cyclic subgroup of $\mathsf{D}_{n+1}$ of order $n+1$ with regular Cayley maps on $\mathrm{Sym}_n$ is also discussed. It is shown that the product of the left translation group by the latter group can be obtained as the automorphism group of a non-$t$-balanced regular Cayley map on $\mathrm{Sym}_n$.
2015-11-23
The number of trees in a graph
Let $T$ be a tree with $t$ edges. We show that the number of isomorphic (labeled) copies of $T$ in a graph $G = (V,E)$ of minimum degree at least $t$ is at least \[2|E| \prod_{v \in V} (d(v) - t + 1)^{\frac{(t-1)d(v)}{2|E|}}.\] Consequently, any $n$-vertex graph of average degree $d$ and minimum degree at least $t$ contains at least $$nd(d-t+1)^{t-1}$$ isomorphic (labeled) copies of $T$. This answers a question of Dellamonica et. al. (where the above statement was proved when $T$ is the path with three edges) while extending an old result of Erd\H os and Simonovits.
On Partitioning the Edges of 1-Plane Graphs
Published • View Publication • BIB
A 1-plane graph is a graph embedded in the plane such that each edge is crossed at most once. A 1-plane graph is optimal if it has maximum edge density. A red-blue edge coloring of an optimal 1-plane graph $G$ partitions the edge set of $G$ into blue edges and red edges such that no two blue edges cross each other and no two red edges cross each other. We prove the following: $(i)$ Every optimal 1-plane graph has a red-blue edge coloring such that the blue subgraph is maximal planar while the red subgraph has vertex degree at most four; this bound on the vertex degree is worst-case optimal. $(ii)$ A red-blue edge coloring may not always induce a red forest of bounded vertex degree. Applications of these results to graph augmentation and graph drawing are also discussed.
2015-11-23 v2
Ramsey numbers of trees and unicyclic graphs versus fans
Published • View Publication • BIB
The generalized Ramsey number $R(H, K)$ is the smallest positive integer $n$ such that for any graph $G$ with $n$ vertices either $G$ contains $H$ as a subgraph or its complement $\overline{G}$ contains $K$ as a subgraph. Let $T_n$ be a tree with $n$ vertices and $F_m$ be a fan with $2m + 1$ vertices consisting of $m$ triangles sharing a common vertex. We prove a conjecture of Zhang, Broersma and Chen for $m \ge 9$ that $R(T_n, F_m) = 2n - 1$ for all $n \ge m^2 - m + 1$. Zhang, Broersma and Chen showed that $R(S_n, F_m) \ge 2n$ for $n \le m^2 -m$ where $S_n$ is a star on $n$ vertices, implying that the lower bound we show is in some sense tight. We also extend this result to unicyclic graphs $UC_n$, which are connected graphs with $n$ vertices and a single cycle. We prove that $R(UC_n, F_m) = 2n - 1$ for all $n \ge m^2 - m + 1$ where $m \ge 18$. In proving this conjecture and extension, we present several methods for embedding trees in graphs, which may be of independent interest.
2015-11-23
The arithmetical rank of the edge ideals of graphs with pairwise disjoint cycles
Published • View Publication • BIB
We prove that, for the edge ideal of a graph whose cycles are pairwise vertex-disjoint, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes.
2015-11-23 v2
1-perfectly orientable graphs and graph products
Published • View Publication • BIB
A graph G is said to be 1-perfectly orientable (1-p.o. for short) if it admits an orientation such that the out-neighborhood of every vertex is a clique in G. The class of 1-p.o. graphs forms a common generalization of the classes of chordal and circular arc graphs. Even though 1-p.o. graphs can be recognized in polynomial time, no structural characterization of 1-p.o. graphs is known. In this paper we consider the four standard graph products: the Cartesian product, the strong product, the direct product, and the lexicographic product. For each of them, we characterize when a nontrivial product of two graphs is 1-p.o.
2015-11-22 v4
Flexible Toggles and Symmetric Invertible Asynchronous Elementary Cellular Automata
Published • View Publication • BIB
A sequential dynamical system (SDS) consists of a graph $G$ with vertices $v_1,v_2,\ldots,v_n$, a state set $A$, a collection of "vertex functions" $\{f_{v_i}\}_{i=1}^n$, and a permutation $π\in S_n$ that specifies how to compose these functions to yield the SDS map $[G,\{f_{v_i}\}_{i=1}^n,π]\colon A^n\to A^n$. In this paper, we study symmetric invertible SDS defined over the cycle graph $C_n$ using the set of states $\mathbb F_2$. These are, in other words, asynchronous elementary cellular automata (ECA) defined using ECA rules 150 and 105. Each of these SDS defines a group action on the set $\mathbb F_2^n$ of $n$-bit binary vectors. Because the SDS maps are products of involutions, this relates to \emph{generalized toggle groups}, which Striker recently defined. In this paper, we further generalize the notion of a generalized toggle group to that of a \emph{flexible toggle group}; the SDS maps we consider are examples of Coxeter elements of flexible toggle groups. Our main result is the complete classification of the dynamics of symmetric invertible SDS defined over cycle graphs using the set of states $\mathbb F_2$ and the identity update order $π=123\cdots n$. More precisely, if $T$ denotes the SDS map of such an SDS, then we obtain an explicit formula for $|\text{Per}_r(T)|$, the number of periodic points of $T$ of period $r$, for every positive integer $r$. It turns out that if we fix $r$ and vary $n$ and $T$, then $|\text{Per}_r(T)|$ only takes at most three nonzero values.
2015-11-22 v2
On the quasi-depth of squarefree monomial ideals and the sdepth of the monomial ideal of independent sets of a graph
Published in An. Stiint. Univ. Al. I. Cuza Iasi Mat. (N.S.) LXII, f. 2, vol. 3, (2016), 863-870 • Search Publication
If $J\subset I$ are two monomials ideals, we give a practical upper bound for the Stanley depth of $J/I$, which we call it the \emph{quasi-depth} of $J/I$. Also, we compute the quasi-depth of several classes of square free monomial ideals. We also study the Stanley depth of the monomial ideal associated of the independent sets of a graph.
2015-11-22 v4
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs
If V is the vertex sequence of a symmetric 2t-cycle in the hypercube graph with the vertices {1,-1}^t, then for any vertex T of the graph there exists a unique inclusion-minimal subset of V such that T is the sum of its elements. We present a simple combinatorial statistic on decompositions of vertices of the hypercube graphs with respect to symmetric cycles and describe their basic metric properties.
Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles
Published • View Publication • BIB
There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that pseudolinear and convex drawings of $K_n$ have $n^2+{}$O$(n\log n)$ and O$(n^2)$, respectively, empty triangles. All the arguments are elementary, algorithmic, and self-contained.
2015-11-21 v2
A State Calculus for Graph Coloring
Published • View Publication • BIB
This paper discusses reformulations of the problem of coloring plane maps with four colors. We give a number of alternate ways to formulate the coloring problem including a tautological expansion similar to the Penrose Bracket, and an extension of the Penrose Bracket that counts colorings of arbitrary cubic graphs presented as immersions in the plane.
2015-11-21
On a conjecture for the signless Laplacian spectral radius of cacti with given matching number
Published • View Publication • BIB
A connected graph $G$ is a cactus if any two of its cycles have at most one common vertex. Let $\ell_n^m$ be the set of cacti on $n$ vertices with matching number $m.$ S.C. Li and M.J. Zhang determined the unique graph with the maximum signless Laplacian spectral radius among all cacti in $\ell_n^m$ with $n=2m$. In this paper, we characterize the case $n\geq 2m+1$. This confirms the conjecture of Li and Zhang(S.C. Li, M.J. Zhang, On the signless Laplacian index of cacti with a given number of pendant vetices, Linear Algebra Appl. 436, 2012, 4400--4411). Further, we characterize the unique graph with the maximum signless Laplacian spectral radius among all cacti on $n$ vertices.
2015-11-20
F-Index of Some Graph Operations
Published • View Publication • BIB
The F-index of a graph is defined as the sum of cubes of the vertex degrees of the graph. This was introduced in 1972, in the same paper where the first and second Zagreb indices were introduced to study the structure-dependency of total $π$-electron energy. But this topological index was not further studied till then. Very recently, Furtula and Gutman [B. Furtula, I. Gutman, A forgotten topological index, J. Math. Chem., 53(4)(2015) 1184--1190.] reinvestigated the index and named it "forgotten topological index" or "F-index". In that paper, they present some basic properties of this index and showed that this index can enhance the physico-chemical applicability of Zagreb index. Here, we study the behavior of this index under several graph operations and apply our results to find the F-index of different chemically interesting molecular graphs and nano-structures.
Generalizations of the Strong Arnold Property and the minimum number of distinct eigenvalues of a graph
Published • View Publication • BIB
For a given graph G and an associated class of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in G, the collection of all possible spectra for such matrices is considered. Building on the pioneering work of Colin de Verdiere in connection with the Strong Arnold Property, two extensions are devised that target a better understanding of all possible spectra and their associated multiplicities. These new properties are referred to as the Strong Spectral Property and the Strong Multiplicity Property. Finally, these ideas are applied to the minimum number of distinct eigenvalues associated with G, denoted by q(G). The graphs for which q(G) is at least the number of vertices of G less one are characterized.
Burning a Graph is Hard
Published • View Publication • BIB
Graph burning is a model for the spread of social contagion. The burning number is a graph parameter associated with graph burning that measures the speed of the spread of contagion in a graph; the lower the burning number, the faster the contagion spreads. We prove that the corresponding graph decision problem is \textbf{NP}-complete when restricted to acyclic graphs with maximum degree three, spider graphs and path-forests. We provide polynomial time algorithms for finding the burning number of spider graphs and path-forests if the number of arms and components, respectively, are fixed.
2015-11-20 v3
Pseudoachromatic and connected-pseudoachromatic indices of the complete graph
Published in Discrete Applied Mathematics-2017 • View Publication • BIB
A complete $k$-coloring of a graph $G$ is a (not necessarily proper) $k$-coloring of the vertices of $G$, such that each pair of different colors appears in an edge. A complete $k$-coloring is also called connected, if each color class induces a connected subgraph of $G$. The pseudoachromatic index of a graph $G$, denoted by $ψ'(G)$, is the largest $k$ for which the line graph of $G$ has a complete $k$-coloring. Analogously the connected-pseudoachromatic index of $G$, denoted by $ψ_c'(G)$, is the largest $k$ for which the line graph of $G$ has a connected and complete $k$-coloring. In this paper we study these two parameters for the complete graph $K_n$. Our main contribution is to improve the linear lower bound for the connected pseudoachromatic index given by Abrams and Berman [Australas J Combin 60 (2014), 314--324] and provide an upper bound. These two bounds prove that for any integer $n\geq 8$ the order of $ψ_c'(K_n)$ is $n^{3/2}$. Related to the pseudoachromatic index we prove that for $q$ a power of $2$ and $n=q^2+q+1$, $ψ'(K_n)$ is at least $q^3+2q-3$ which improves the bound $q^3+q$ given by Araujo, Montellano and Strausz [J Graph Theory 66 (2011), 89--97].
2015-11-20
The 4-Regular Edge-Transitive Graphs of Girth 4
This paper presents a characterization of edge-transitive graphs which are four regular and have girth four. This class consists of four infinite families plus four exceptional graphs.
2015-11-19
Enumeration and Random Generation of Unlabeled Classes of Graphs: A Practical Study of Cycle Pointing and the Dissymmetry Theorem
Our work studies the enumeration and random generation of unlabeled combinatorial classes of unrooted graphs. While the technique of vertex pointing provides a straightforward procedure for analyzing a labeled class of unrooted graphs by first studying its rooted counterpart, the existence of nontrivial symmetries in the unlabeled case causes this technique to break down. Instead, techniques such as the dissymmetry theorem (of Otter) and cycle pointing (of Bodirsky et al.) have emerged in the unlabeled case, with the former providing an enumeration of the class and the latter providing both an enumeration and an unbiased sampler. In this work, we extend the power of the dissymmetry theorem by showing that it in fact provides a Boltzmann sampler for the class in question. We then present an exposition of the cycle pointing technique, with a focus on the enumeration and random generation of the underlying unpointed class. Finally, we apply cycle pointing to enumerate and implement samplers for the classes of distance-hereditary graphs and three-leaf power graphs.