graph
34828 papers tagged with this keyword
The exact chromatic number of the convex segment disjointness graph
Let $P$ be a set of $n$ points in strictly convex position in the plane. Let $D_n$ be the graph whose vertex set is the set of all line segments with endpoints in $P$, where disjoint segments are adjacent. The chromatic number of this graph was first studied by Araujo, Dumitrescu, Hurtado, Noy, and Urrutia [2005] and then by Dujmović and Wood [2007]. Improving on their estimates, we prove the following exact formula: $$χ(D_n) = n - \left\lfloor \sqrt{2n + \tfrac{1}{4}} - \tfrac{1}{2}\right\rfloor.$$
Pure pairs. II. Excluding all subdivisions of a graph
Published
• View Publication
• BIB
We prove for every graph H there exists a>0 such that, for every graph G with at least two vertices, if no induced subgraph of G is a subdivision of H, then either some vertex of G has at least a|G| neighbours, or there are two disjoint sets A,B of at least a|G| vertices such that no edge joins A and B. It follows that for every graph H, there exists c>0 such that for every graph G, if no induced subgraph of G or its complement is a subdivision of H, then G has a clique or stable set of cardinality at least |G|^c. This is related to the Erdos-Hajnal conjecture.
Stable set polytopes and their 1-skeleta
We characterize the edges of two classes of $0/1$-polytopes. The first class corresponds to the stable set polytope of a graph $G$ and includes chain polytopes of posets, some instances of matroid independence polytopes, as well as newly-defined polytopes whose vertices correspond to noncrossing set partitions. In analogy with matroid basis polytopes, the second class is obtained by considering the stable sets of maximal cardinality. We investigate how the class of $0/1$-polytopes whose edges satisfy our characterization is situated within the hierarchy of $0/1$-polytopes. This includes the class of matroid polytopes. We also study the diameter of these classes of polytopes and improve slightly on the Hirsch bound.
On graphs with smallest eigenvalue at least -3 and their lattices
Published
• View Publication
• BIB
In this paper, we show that a connected graph with smallest eigenvalue at least -3 and large enough minimal degree is 2-integrable. This result generalizes a 1977 result of Hoffman for connected graphs with smallest eigenvalue at least -2.
Rigidity of linearly-constrained frameworks
Published
• View Publication
• BIB
We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010. We will extend their characterisation to the case when $d\geq 3$ and each vertex is constrained to lie in an affine subspace of dimension $t$, when $t=1,2$ and also when $t\geq 3$ and $d\geq t(t-1)$. We then point out that results on body-bar frameworks obtained by N. Katoh and S. Tanigawa in 2013 can be used to characterise when a graph has a rigid realisation as a $d$-dimensional body-bar framework with a given set of linear constraints.
Dold's Theorem from Viewpoint of Strong Compatibility Graphs
Published
• View Publication
• BIB
Let $G$ be a non-trivial finite group. The well-known Dold's theorem states that: There is no continuous $G$-equivariant map from an $n$-connected simplicial $G$-complex to a free simplicial $G$-complex of dimension at most $n$. In this paper, we give a new generalization of Dold's theorem, by replacing "dimension at most $n$" with a sharper combinatorial parameter. Indeed, this parameter is the chromatic number of a new family of graphs, called strong compatibility graphs, associated to the target space. Moreover, in a series of examples, we will see that one can hope to infer much more information from this generalization than ordinary Dold's theorem. In particular, we show that this new parameter is significantly better than the dimension of target space "for almost all free $\mathbb{Z}_2$-simplicial complex." In addition, some other applications of strong compatibility graphs will be presented as well. In particular, a new way for constructing triangle-free graphs with high chromatic numbers from an n-sphere $\mathbb{S}^n$, and some new results on the limitations of topological methods for determining the chromatic number of graphs will be given.
Ends, tangles and critical vertex sets
Published
• View Publication
• BIB
We show that an arbitrary infinite graph $G$ can be compactified by its ends plus its critical vertex sets, where a finite set $X$ of vertices of an infinite graph is critical if its deletion leaves some infinitely many components each with neighbourhood precisely equal to $X$.
We further provide a concrete separation system whose $\aleph_0$-tangles are precisely the ends plus critical vertex sets. Our tangle compactification $\vert G\vert_Γ$ is a quotient of Diestel's (denoted by $\vert G\vert_Θ$), and both use tangles to compactify a graph in much the same way as the ends of a locally finite and connected graph compactify it in its Freudenthal compactification.
Finally, generalising both Diestel's construction of $\vert G\vert_Θ$ and our construction of $\vert G\vert_Γ$, we show that $G$ can be compactified by every inverse limit of compactifications of the sets of components obtained by deleting a finite set of vertices. Diestel's $\vert G\vert_Θ$ is the finest such compactification, and our $\vert G\vert_Γ$ is the coarsest one. Both coincide if and only if all tangles are ends. This answers two questions of Diestel.
Sprague-Grundy Function of Matroids and Related Hypergraphs
Published
• View Publication
• BIB
We consider a generalization of the classical game of $NIM$ called hypergraph $NIM$. Given a hypergraph $\cH$ on the ground set $V = \{1, \ldots, n\}$ of $n$ piles of stones, two players alternate in choosing a hyperedge $H \in \cH$ and strictly decreasing all piles $i\in H$. The player who makes the last move is the winner. In this paper we give an explicit formula that describes the Sprague-Grundy function of hypergraph $NIM$ for several classes of hypergraphs. In particular we characterize all $2$-uniform hypergraphs (that is graphs) and all matroids for which the formula works. We show that all self-dual matroids are included in this class.
A projective two-weight code related to the simple group ${\rm Co}_1$ of Conway
Published in Graphs and Combin. volume 34 No. 3 (2018) 509-521
• View Publication
• BIB
A binary $[98280, 24, 47104]_2$ projective two-weight code related to the sporadic simple group ${\rm Co}_1$ of Conway is constructed as a faithful and absolutely irreducible submodule of the permutation module induced by the primitive action of ${\rm Co}_1$ on the cosets of ${\rm Co}_2$. The dual code of this code is a uniformly packed $[98280, 98256,3]_2$ code. The geometric significance of the codewords of the code can be traced to the vectors in the Leech lattice, thus revealing that the stabilizer of any non-zero weight codeword in the code is a maximal subgroup of ${\rm Co}_1$. Similarly, the stabilizer of the codewords of minimum weight in the dual code is a maximal subgroup of ${\rm Co}_1$. As by-product, a new strongly regular graph on 16777216 vertices and valency 98280 is constructed using the codewords of the code.
An improved method for recursively computing upper bounds for two-colour Ramsey numbers
The two-colour Ramsey number $R(m,n)$ is the least natural number $p$ such that any graph of order $p$ must contain either a clique of size $m$ or an independent set of size $n$. We exhibit a method for computing upper bounds for $R(m,n)$ recursively, using known upper bounds of $R(\cdot,\cdot)$ with lower values for at least one of the arguments. We also give an example of how this method could be used to improve several of the best known bounds that are available in the literature (which however soon will be obsolete due to a forthcoming work).
Fixed points of competitive threshold-linear networks
Published
• View Publication
• BIB
Threshold-linear networks (TLNs) are models of neural networks that consist of simple, perceptron-like neurons and exhibit nonlinear dynamics that are determined by the network's connectivity. The fixed points of a TLN, including both stable and unstable equilibria, play a critical role in shaping its emergent dynamics. In this work, we provide two novel characterizations for the set of fixed points of a competitive TLN: the first is in terms of a simple sign condition, while the second relies on the concept of domination. We apply these results to a special family of TLNs, called combinatorial threshold-linear networks (CTLNs), whose connectivity matrices are defined from directed graphs. This leads us to prove a series of graph rules that enable one to determine fixed points of a CTLN by analyzing the underlying graph. Additionally, we study larger networks composed of smaller "building block" subnetworks, and prove several theorems relating the fixed points of the full network to those of its components. Our results provide the foundation for a kind of "graphical calculus" to infer features of the dynamics from a network's connectivity.
Binomial Inequalities for Chromatic, Flow, and Tension Polynomials
Published in Discrete & Computational Geometry 66, no. 2 (2021), 464-474
• View Publication
• BIB
A famous and wide-open problem, going back to at least the early 1970's, concerns the classification of chromatic polynomials of graphs. Toward this classification problem, one may ask for necessary inequalities among the coefficients of a chromatic polynomial, and we contribute such inequalities when a chromatic polynomial $χ_G(n) = χ^*_0 \binom {n+d} d + χ^*_1 \binom {n+d-1} d + \dots + χ^*_d \binom n d$ is written in terms of a binomial-coefficient basis. For example, we show that $χ^*_{ j } \le χ^*_{ d-j }$, for $0 \le j \le \frac{ d }{ 2 }$. Similar results hold for flow and tension polynomials enumerating either modular or integral nowhere-zero flows/tensions of a graph. Our theorems follow from connections among chromatic, flow, tension, and order polynomials, as well as Ehrhart polynomials of lattice polytopes that admit unimodular triangulations. Our results use Ehrhart inequalities due to Athanasiadis and Stapledon and are related to recent work by Hersh--Swartz and Breuer--Dall, where inequalities similar to some of ours were derived using algebraic-combinatorial methods.
Irregular triangulations of complete graphs on 12s vertices in orientable surfaces
We present a family of index 1 abelian current graphs whose derived embeddings can be modified into triangulations of $K_{12s}$ for $s \geq 4$. Our construction is significantly simpler than previous methods for finding genus embeddings of $K_{12s}$, which utilized either large index or nonabelian groups.
Strong geodetic cores and Cartesian product graphs
Published
• View Publication
• BIB
The strong geodetic problem on a graph $G$ is to determine a smallest set of vertices such that by fixing one shortest path between each pair of its vertices, all vertices of $G$ are covered. To do this as efficiently as possible, strong geodetic cores and related numbers are introduced. Sharp upper and lower bounds on the strong geodetic core number are proved. Using the strong geodetic core number an earlier upper bound on the strong geodetic number of Cartesian products is improved. It is also proved that ${\rm sg}(G \,\square\, K_2) \geq {\rm sg}(G)$ holds for different families of graphs, a result conjectured to be true in general. Counterexamples are constructed demonstrating that the conjecture does not hold in general.
On the Diameter of Tree Associahedra
Published
• View Publication
• BIB
We consider a natural notion of search trees on graphs, which we show is ubiquitous in various areas of discrete mathematics and computer science. Search trees on graphs can be modified by local operations called rotations, which generalize rotations in binary search trees. The rotation graph of search trees on a graph $G$ is the skeleton of a polytope called the graph associahedron of $G$.
We consider the case where the graph $G$ is a tree. We construct a family of trees $G$ on $n$ vertices and pairs of search trees on $G$ such that the minimum number of rotations required to transform one search tree into the other is $Ω(n\log n)$. This implies that the worst-case diameter of tree associahedra is $Θ(n\log n)$, which answers a question from Thibault Manneville and Vincent Pilaud. The proof relies on a notion of projection of a search tree which may be of independent interest.
Asymptotics in percolation on high-girth expanders
We consider supercritical bond percolation on a family of high-girth $d$-regular expanders. Alon, Benjamini and Stacey (2004) established that its critical probability for the appearance of a linear-sized ("giant'') component is $p_c=1/(d-1)$. Our main result recovers the sharp asymptotics of the size and degree distribution of the vertices in the giant and its 2-core at any $p>p_c$. It was further shown in [ABS04] that the second largest component, at any $0<p<1$, has size at most $n^ω$ for some $ω<1$. We show that, unlike the situation in the classical Erdős-Rényi random graph, the second largest component in bond percolation on a regular expander, even with an arbitrarily large girth, can have size $n^{ω'}$ for $ω'$ arbitrarily close to $1$. Moreover, as a by-product of that construction, we answer negatively a question of Benjamini (2013) on the relation between the diameter of a component in percolation on expanders and the existence of a giant component. Finally, we establish other typical features of the giant component, e.g., the existence of a linear path.
Lewis Carroll and the Red Hot Potato: a graph theoretic approach to a linear algebraic identity
Published
• View Publication
• BIB
The Lewis Carroll Identity expresses the determinant of a matrix in terms of subdeterminants obtained by deleting one row and column or a pair of rows and columns. Using the matrix tree theorem, we can convert this into an equivalent identity involving sums over pairs of forests. Unlike the Lewis Carroll Identity, the Forest Identity involves no minus signs. In 2011, Vlasev and Yeats suggested that such a Forest Identity could be proven using edge transfers similar to Zeilberger's 1997 matrix proof. However, until now, such an algorithm has not yet been developed. In this paper, we provide this edge transfer algorithm and a bijective proof for both the Lewis Carroll Identity and Forest Identity. This bijection is implemented by the Red Hot Potato algorithm, so called because the way edges get tossed back and forth between the two forests is reminiscent of the children's game of hot potato.
Single-conflict colouring
Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor.
Best Match Graphs
Published
• View Publication
• BIB
THIS IS A CORRECTED VERSION INCLUDING AN APPENDED CORRIGENDUM.
Best match graphs arise naturally as the first processing intermediate in algorithms for orthology detection. Let $T$ be a phylogenetic (gene) tree $T$ and $σ$ an assignment of leaves of $T$ to species. The best match graph $(G,σ)$ is a digraph that contains an arc from $x$ to $y$ if the genes $x$ and $y$ reside in different species and $y$ is one of possibly many (evolutionary) closest relatives of $x$ compared to all other genes contained in the species $σ(y)$. Here, we characterize best match graphs and show that it can be decided in cubic time and quadratic space whether $(G,σ)$ derived from a tree in this manner. If the answer is affirmative, there is a unique least resolved tree that explains $(G,σ)$, which can also be constructed in cubic time.
Some bounds on the uniquely restricted matching number
A matching in a graph is uniquely restricted if no other matching covers exactly the same set of vertices. We establish tight lower bounds on the maximum size of a uniquely restricted matching in terms of order, size, and maximum degree.