graph
34934 papers tagged with this keyword
Duality properties of strong isoperimetric inequalities on a planar graph and combinatorial curvatures
Published
• View Publication
• BIB
This paper is about hyperbolic properties on planar graphs. First, we study the relations among various kinds of strong isoperimetric inequalities on planar graphs and their duals. In particular, we show that a planar graph satisfies a strong isoperimetric inequality if and only if its dual has the same property, if the graph satisfies some minor regularity conditions and we choose an appropriate notion of strong isoperimetric inequalities. Second, we consider planar graphs where negative combinatorial curvatures dominate, and use the outcomes of the first part to strengthen the results of Higuchi, Żuk, and, especially, Woess. Finally, we study the relations between Gromov hyperbolicity and strong isoperimetric inequalities on planar graphs, and give a proof that a planar graph satisfying a proper kind of a strong isoperimetric inequality must be Gromov hyperbolic if face degrees of the graph are bounded. We also provide some examples to support our results.
A Solution to the Edge-Balanced Index Set Problem for Complete Odd Bipartite Graphs
In 2009, Kong, Wang, and Lee began work on the problem of finding the edge-balanced index sets (EBI) of complete bipartite graphs K_{m,n} by solving the cases where n = 1, 2, 3, 4, and 5, and also the case where m = n. In 2011, Krop and Sikes expanded upon that work by finding EBI(K_{m,m-2a}) for odd m > 5 and 1 <= a <= (m-3)/4. In this paper, we provide a general solution to the edge-balanced index set problem for all complete odd bipartite graphs, thereby concluding the problem for this case.
The transition matroid of a 4-regular graph: an introduction
Published in European J. Combinatorics 50 (2015), 180-207
• View Publication
• BIB
Given a 4-regular graph $F$, we introduce a binary matroid $M_τ(F)$ on the set of transitions of $F$. Parametrized versions of the Tutte polynomial of $M_τ(F)$ yield several well-known graph and knot polynomials, including the Martin polynomial, the homflypt polynomial, the Kauffman polynomial and the Bollobás-Riordan polynomial.
Rooted grid minors
Published
• View Publication
• BIB
Intuitively, a tangle of large order in a graph is a highly-connected part of the graph, and it is known that if a graph has a tangle of large order then it has a large grid minor. Here we show that for any k, if G has a tangle of large order and Z is a set of vertices of cardinality k that cannot be separated from the tangle by any separation of order less than k, then G has a large grid minor containing Z, in which the members of Z all belong to the outside of the grid. This is a lemma for use in a later paper.
Fixing numbers for matroids
Published
• View Publication
• BIB
Motivated by work in graph theory, we define the fixing number for a matroid. We give upper and lower bounds for fixing numbers for a general matroid in terms of the size and maximum orbit size (under the action of the matroid automorphism group). We prove the fixing numbers for the cycle matroid and bicircular matroid associated with 3-connected graphs are identical. Many of these results have interpretations through permutation groups, and we make this connection explicit.
Toat Dominator Chromatic number of a Graph
Published in Utilitas_Mathematicae_103_2017_129-137
• Search Publication
Given a graph $G$, the total dominator coloring problem seeks a proper coloring of $G$ with the additional property that every vertex in the graph is adjacent to all vertices of a color class. We seek to minimize the number of color classes. We study this problem on several classes of graphs, as well as finding general bounds and characterizations. We also show the relation between total dominator chromatic number and chromatic number and total domination number.
Total dominator chromatic number and Mycieleskian graphs
Published in Utilitas Mathematica 103(2017) 129-137
• Search Publication
A total dominator coloring of a graph $G$ is a proper coloring of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number $χ_d^t(G)$ of $G$ is the minimum number of color classes in a total dominator coloring of it. In [Total dominator chromatic number of a graph, submitted] the author initialed to study this number in graphs and obtained some important results. Here, we continue it in Mycieleskian graphs. We show that the total dominator chromatic number of the Mycieleskian of a graph $G$ belongs to between $χ_d^t(G)+1$ and $χ_d^t(G)+2$, and then characterize the family of graphs the their total dominator chromatic numbers are each of them.
Markov chains for promotion operators
Published in Algebraic Monoids, Group Embeddings, and Algebraic Combinatorics, Fields Institute Communications, Volume 71, 2014, pp 285-304
• View Publication
• BIB
We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly the eigenvalues of the transition matrix in general when the poset is a rooted forest. We first survey these results and then present explicit bounds on the mixing time and conjecture eigenvalue formulas for more general posets. We also present a generalization of promotion to arbitrary subsets of the symmetric group.
On the maximum angle between copositive matrices
Published
• View Publication
• BIB
Hiriart-Urruty and Seeger have posed the problem of finding the maximal possible angle $θ_{\max}(\mathcal{C}_{n})$ between two copositive matrices of order $n$. They have proved that $θ_{\max}(\mathcal{C}_{2})=\frac{3}{4}π$ and conjectured that $θ_{\max}(\mathcal{C}_{n})$ is equal to $\frac{3}{4}π$ for all $n \geq 2$. In this note we disprove their conjecture by showing that $\lim_{n \rightarrow \infty}{θ_{\max}(\mathcal{C}_{n})}=π$. Our proof uses a construction from algebraic graph theory. We also consider the related problem of finding the maximal angle between a nonnegative matrix and a positive semidefinite matrix of the same order.
Association schemes, non-commutative polynomial concentration, and sum-of-squares lower bounds for planted clique
Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size t is planted in a random G(n,1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best known polynomial-time algorithms only solve the problem for t = Theta(sqrt(n)). Here we show that beating sqrt(n) would require substantially new algorithmic ideas, by proving a lower bound for the problem in the sum-of-squares (or Lasserre) hierarchy, the most powerful class of semi-definite programming algorithms we know of: r rounds of the sum-of-squares hierarchy can only solve the planted clique for t > sqrt(n)/(C log n)^(r^2). Previously, no nontrivial lower bounds were known. Our proof is formulated as a degree lower bound in the Positivstellensatz algebraic proof system, which is equivalent to the sum-of-squares hierarchy. The heart of our (average-case) lower bound is a proof that a certain random matrix derived from the input graph is (with high probability) positive semidefinite. Two ingredients play an important role in this proof. The first is the classical theory of association schemes, applied to the average and variance of that random matrix. The second is a new large deviation inequality for matrix-valued polynomials. Our new tail estimate seems to be of independent interest and may find other applications, as it generalizes both the estimates on real-valued polynomials and on sums of independent random matrices.
Packing Steiner Trees
Published
• View Publication
• BIB
Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a classic theorem due to Nash-Williams and Tutte. Lau proved that Kriesell's conjecture holds when $2k$ is replaced by $24k$, and recently West and Wu have lowered this value to $6.5k$. Our main result makes a further improvement to $5k+4$.
Brill-Noether Theory of Maximally Symmetric Graphs
Published in European Journal of Combinatorics, Volume 46, May 2015, Pages 115-125
• View Publication
• BIB
We analyze the Brill-Noether theory of trivalent graphs and multigraphs having largest possible automorphism group in a fixed genus. For trivalent multigraphs with loops of genus at least 3, we show that there exists a graph with maximal automorphism group which is Brill-Noether special. We prove similar results for multigraphs without loops of genus at least 6, as well as simple graphs of genus at least 7. This analysis yields counterexamples, in any sufficiently large genus, to a conjecture of Caporaso.
Two operators on sandpile configurations, the sandpile model on the complete bipartite graph, and a Cyclic Lemma
Published
• View Publication
• BIB
We introduce two operators on stable configurations of the sandpile model that provide an algorithmic bijection between recurrent and parking configurations. This bijection preserves their equivalence classes with respect to the sandpile group. The study of these operators in the special case of the complete bipartite graph ${K}_{m,n}$ naturally leads to a generalization of the well known Cyclic Lemma of Dvoretsky and Motzkin, via pairs of periodic bi-infinite paths in the plane having slightly different slopes. We achieve our results by interpreting the action of these operators as an action on a point in the grid $\mathbb{Z}^2$ which is pointed to by one of these pairs of paths. Our Cyclic lemma allows us to enumerate several classes of polyominoes, and therefore builds on the work of Irving and Rattan (2009), Chapman et al. (2009), and Bonin et al. (2003).
On the threshold for rainbow connection number r in random graphs
Published in Graphs and Combinatorics 32 (2016), Issue 1, pp 161-174
• View Publication
• BIB
We call an edge colouring of a graph G a rainbow colouring if every pair of vertices is joined by a rainbow path, i.e., a path where no two edges have the same colour. The minimum number of colours required for a rainbow colouring of the edges of G is called the rainbow connection number (or rainbow connectivity) rc(G) of G. We investigate sharp thresholds in the Erdős-Rényi random graph for the property "rc(G) <= r" where r is a fixed integer. It is known that for r=2, rainbow connection number 2 and diameter 2 happen essentially at the same time in random graphs. For r >= 3, we conjecture that this is not the case, propose an alternative threshold, and prove that this is an upper bound for the threshold for rainbow connection number r.
On the sign patterns of the smallest signless Laplacian eigenvector
Published
• View Publication
• BIB
Let $H$ be a connected bipartite graph, whose signless Laplacian matrix is $Q(H)$. Suppose that the bipartition of $H$ is $(S,T)$ and that $x$ is the eigenvector of the smallest eigenvalue of $Q(H)$. It is well-known that $x$ is positive and constant on $S$, and negative and constant on $T$.
The resilience of the sign pattern of $x$ under addition of edges into the subgraph induced by either $S$ or $T$ is investigated and a number of cases in which the sign pattern of $x$ persists are described.
Hyperoctahedral Eulerian Idempotents, Hodge Decompositions, and Signed Graph Coloring Complexes
Published
• View Publication
• BIB
Phil Hanlon proved that the coefficients of the chromatic polynomial of a graph G are equal (up to sign) to the dimensions of the summands in a Hodge-type decomposition of the top homology of the coloring complex for G. We prove a type B analogue of this result for chromatic polynomials of signed graphs using hyperoctahedral Eulerian idempotents.
Hypergraphs with Zero Chromatic Threshold
Published
• View Publication
• BIB
Let F be an r-uniform hypergraph. The chromatic threshold of the family of F-free, r-uniform hypergraphs is the infimum of all non-negative reals c such that the subfamily of F-free, r-uniform hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. The study of chromatic thresholds of various graphs has a long history, beginning with the early work of Erdős-Simonovits. One interesting question, first proposed by Łuczak-Thomassé and then solved by Allen-Böttcher-Griffiths-Kohayakawa-Morris, is the characterization of graphs having zero chromatic threshold, in particular the fact that there are graphs with non-zero Turán density that have zero chromatic threshold. In this paper, we make progress on this problem for r-uniform hypergraphs, showing that a large class of hypergraphs have zero chromatic threshold in addition to exhibiting a family of constructions showing another large class of hypergraphs have non-zero chromatic threshold. Our construction is based on a special product of the Bollobás-Erdős graph defined earlier by the authors.
Basic nets in the projective plane
Published in Annales de la Faculté des sciences de Toulouse : Mathématiques (6), 24 (2015), 205-226
• View Publication
• BIB
The notion of basic net (called also basic polyhedron) on $S^2$ plays a central role in Conway's approach to enumeration of knots and links in $S^3$. Drobotukhina applied this approach for links in $RP^3$ using basic nets on $RP^2$. By a result of Nakamoto, all basic nets on $S^2$ can be obtained from a very explicit family of minimal basic nets (the nets $(2\times n)^*$, $n\ge3$, in Conway's notation) by two local transformations. We prove a similar result for basic nets in $RP^2$.
We prove also that a graph on $RP^2$ is uniquely determined by its pull-back on $S^3$ (the proof is based on Lefschetz fix point theorem).
An algorithm for computing the universal Gröbner Basis of graph ideals
Published in Int. Journal of Computer Mathematics, CST (2019)
• View Publication
• BIB
The universal Gröbner basis of an ideal is a Gröbner basis with respect to all term orders simultaneously. The aim of this paper is to present an algorithmic approach to compute the universal Gröbner basis for the toric ideal corresponding to an undirected graph, based on the theoretically knowledge of this set and on a recent, efficiently computable algorithmic characterization of the Graver basis of the ideal.
Network Decontamination with a Single Agent
Published
• View Publication
• BIB
Faults and viruses often spread in networked environments by propagating from site to neighboring site. We model this process of {\em network contamination} by graphs. Consider a graph $G=(V,E)$, whose vertex set is contaminated and our goal is to decontaminate the set $V(G)$ using mobile decontamination agents that traverse along the edge set of $G$. Temporal immunity $τ(G) \ge 0$ is defined as the time that a decontaminated vertex of $G$ can remain continuously exposed to some contaminated neighbor without getting infected itself. The \emph{immunity number} of $G$, $ι_k(G)$, is the least $τ$ that is required to decontaminate $G$ using $k$ agents. We study immunity number for some classes of graphs corresponding to network topologies and present upper bounds on $ι_1(G)$, in some cases with matching lower bounds. Variations of this problem have been extensively studied in literature, but proposed algorithms have been restricted to {\em monotone} strategies, where a vertex, once decontaminated, may not be recontaminated. We exploit nonmonotonicity to give bounds which are strictly better than those derived using monotone strategies.