graph
35396 papers tagged with this keyword
The k-planar crossing number of random graphs and random regular graphs
Published
• View Publication
• BIB
We give an explicit extension of Spencer's result on the biplanar crossing number of the Erdos-Renyi random graph $G(n,p)$. In particular, we show that the k-planar crossing number of $G(n,p)$ is almost surely $Ω((n^2p)^2)$. Along the same lines, we prove that for any fixed $k$, the $k$-planar crossing number of various models of random $d$-regular graphs is $Ω((dn)^2)$ for $d > c_0$ for some constant $c_0=c_0(k)$.
Efficient Removal without Efficient Regularity
Published
• View Publication
• BIB
Obtaining an efficient bound for the triangle removal lemma is one of the most outstanding open problems of extremal combinatorics. Perhaps the main bottleneck for achieving this goal is that triangle-free graphs can be highly unstructured. For example, triangle-free graphs might have only regular partitions (in the sense of Szemerédi) of tower-type size. And indeed, essentially all the graph properties ${\cal P}$ for which removal lemmas with reasonable bounds were obtained, are such that every graph satisfying ${\cal P}$ has a small regular partition. So in some sense, a barrier for obtaining an efficient removal lemma for property ${\cal P}$ was having an efficient regularity lemma for graphs satisfying ${\cal P}$.
In this paper we consider the property of being induced $C_4$-free, which also suffers from the fact that a graph might satisfy this property but still have only regular partitions of tower-type size. By developing a new approach for this problem we manage to overcome this barrier and thus obtain a merely exponential bound for the induced $C_4$ removal lemma. We thus obtain the first efficient removal lemma that does not rely on an efficient version of the regularity lemma. This is the first substantial progress on a problem raised by Alon in 2001, and more recently by Alon, Conlon and Fox.
On the Unimodality of Independence Polynomials of Very Well-Covered Graphs
Published
• View Publication
• BIB
The independence polynomial $i(G,x)$ of a graph $G$ is the generating function of the numbers of independent sets of each size. A graph of order $n$ is very well-covered if every maximal independent set has size $n/2$. Levit and Mandrescu conjectured that the independence polynomial of every very well-covered graph is unimodal (that is, the sequence of coefficients is nondecreasing, then nonincreasing). In this article we show that every graph is embeddable as an induced subgraph of a very well-covered graph whose independence polynomial is unimodal, by considering the location of the roots of such polynomials.
Representation Complexity of Semi-algebraic Graphs
Published
• View Publication
• BIB
The representation complexity of a bipartite graph $G=(P,Q)$ is the minimum size $\sum_{i=1}^s (|A_i|+|B_i|)$ over all possible ways to write $G$ as a (not necessarily disjoint) union of complete bipartite subgraphs $G=\cup_{i=1}^s A_i\times B_i$ where $A_i\subset P, B_i\subset Q$ for $i=1,\dots, s$. In this paper we prove that if $G$ is \emph{semi-algebraic}, i.e. when $P$ is a set of $m$ points in $\mathbb{R}^{d_1}$, $Q$ is a set of $n$ points in $\mathbb{R}^{d_2}$ and the edges are defined by some semi-algebraic relations, the representation complexity of $G$ is $O( m^{\frac{d_1d_2-d_2}{d_1d_2-1}+\varepsilon} n^{\frac{d_1d_2-d_1}{d_1d_2-1}+\varepsilon}+m^{1+\varepsilon}+n^{1+\varepsilon})$ for arbitrarily small positive $\varepsilon$. This generalizes results by Apfelbaum-Sharir and Solomon-Sharir. As a consequence, when $G$ is $K_{u,u}$-free for some positive integer $u$, its number of edges is $O(u m^{\frac{d_1d_2-d_2}{d_1d_2-1}+\varepsilon} n^{\frac{d_1d_2-d_1}{d_1d_2-1}+\varepsilon}+ u m^{1+\varepsilon}+u n^{1+\varepsilon})$. This bound is stronger than that of Fox, Pach, Sheffer, Suk and Zahl when the first term dominates and $u$ grows with $m,n$. Another consequence is that we can find a large complete bipartite subgraph in a semi-algebraic graph when the number of edges is large. Similar results hold for semi-algebraic hypergraphs.
Strongly Cospectral Vertices
Two vertices $a$ and $b$ in a graph $X$ are cospectral if the vertex-deleted subgraphs $X\setminus a$ and $X\setminus b$ have the same characteristic polynomial. In this paper we investigate a strengthening of this relation on vertices, that arises in investigations of continuous quantum walks. Suppose the vectors $e_a$ for $a$ in $V(X)$ are the standard basis for $\mathbb{R}^{V(X)}$. We say that $a$ and $b$ are strongly cospectral if, for each eigenspace $U$ of $A(X)$, the orthogonal projections of $e_a$ and $e_b$ are either equal or differ only in sign. We develop the basic theory of this concept and provide constructions of graphs with pairs of strongly cospectral vertices. Given a continuous quantum walk on on a graph, each vertex determines a curve in complex projective space. We derive results that show tht the closer these curves are, the more "similar" the corresponding vertices are.
On some actions of the 0-Hecke monoids of affine symmetric groups
Published in J. Combin. Theory Ser. A 161 (2019) 178-219
• View Publication
• BIB
There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.
Analogies between the crossing number and the tangle crossing number
Published
• View Publication
• BIB
Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegram is the minimum crossing number over all such drawings and is related to biologically relevant quantities, such as the number of times a parasite switched hosts.
Our main results for tanglegrams which parallel known theorems for crossing numbers are as follows. The removal of a single matching edge in a tanglegram with $n$ leaves decreases the tangle crossing number by at most $n-3$, and this is sharp. Additionally, if $γ(n)$ is the maximum tangle crossing number of a tanglegram with $n$ leaves, we prove $\frac{1}{2}\binom{n}{2}(1-o(1))\leγ(n)<\frac{1}{2}\binom{n}{2}$. Further, we provide an algorithm for computing non-trivial lower bounds on the tangle crossing number in $O(n^4)$ time. This lower bound may be tight, even for tanglegrams with tangle crossing number $Θ(n^2)$.
Almost Difference Sets in Nonabelian Groups
Published
• View Publication
• BIB
We give two new constructions of almost difference sets. The first is a generic construction of $(q^{2}(q+1),q(q^{2}-1),q(q^{2}-q-1),q^{2}-1)$ almost difference sets in certain groups of order $q^{2}(q+1)$ ($q$ is an odd prime power) having ($\mathbb{F}_{q},+)$ as a subgroup. The construction occurs in any group of order $p^{2}(p+1)$ ($p$ is an odd prime) having ($\mathbb{F}_{p^{2}},+)$ as an additive subgroup. This construction yields several infinite families of almost difference sets, many of which occur in nonabelian groups. The second construction yields $(4p,2p+1,p,p-1)$ almost difference sets in dihedral groups of order $4p$ where $p\equiv 3 \ ({\rm mod} \ 4)$ is a prime. Moreover, it turns out that some of the infinite families of almost difference sets obtained have Cayley graphs which are Ramanujan graphs. \keywords{Difference set \and Almost difference set \and Nonabelian group}
Polynomial Cases for the Vertex Coloring Problem
Published
• View Publication
• BIB
The computational complexity of the Vertex Coloring problem is known for all hereditary classes of graphs defined by forbidding two connected five-vertex induced subgraphs, except for seven cases. We prove the polynomial-time solvability of four of these problems: for ($P_5$, dart)-free graphs, ($P_5$, banner)-free graphs, ($P_5$, bull)-free graphs, and (fork, bull)-free graphs.
Planar Graph Perfect Matching is in NC
Published
• View Publication
• BIB
Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution.
In this paper, we give an NC algorithm for finding a perfect matching in a planar graph. Our algorithm uses the above-stated fact about counting matchings in a crucial way. Our main new idea is an NC algorithm for finding a face of the perfect matching polytope at which $Ω(n)$ new conditions, involving constraints of the polytope, are simultaneously satisfied. Several other ideas are also needed, such as finding a point in the interior of the minimum weight face of this polytope and finding a balanced tight odd set in NC.
Dual Polar Graphs, a nil-DAHA of Rank One, and Non-Symmetric Dual q-Krawtchouk Polynomials
Published in SIGMA 14 (2018), 009, 27 pages
• View Publication
• BIB
Let $Γ$ be a dual polar graph with diameter $D \geqslant 3$, having as vertices the maximal isotropic subspaces of a finite-dimensional vector space over the finite field $\mathbb{F}_q$ equipped with a non-degenerate form (alternating, quadratic, or Hermitian) with Witt index $D$. From a pair of a vertex $x$ of $Γ$ and a maximal clique $C$ containing $x$, we construct a $2D$-dimensional irreducible module for a nil-DAHA of type $(C^{\vee}_1, C_1)$, and establish its connection to the generalized Terwilliger algebra with respect to $x$, $C$. Using this module, we then define the non-symmetric dual $q$-Krawtchouk polynomials and derive their recurrence and orthogonality relations from the combinatorial points of view. We note that our results do not depend essentially on the particular choice of the pair $x$, $C$, and that all the formulas are described in terms of $q$, $D$, and one other scalar which we assign to $Γ$ based on the type of the form.
NC Algorithms for Weighted Planar Perfect Matching and Related Problems
Consider a planar graph $G=(V,E)$ with polynomially bounded edge weight function $w:E\to [0, poly(n)]$. The main results of this paper are NC algorithms for the following problems:
- minimum weight perfect matching in $G$,
- maximum cardinality and maximum weight matching in $G$ when $G$ is bipartite,
- maximum multiple-source multiple-sink flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function,
- minimum weight $f$-factor in $G$ where $f:V\to [1, poly(n)]$,
- min-cost flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function and $b:V\to [1, poly(n)]$ is a polynomially bounded vertex demand function.
There have been no known NC algorithms for any of these problems previously (Before this and independent paper by Anari and Vazirani). In order to solve these problems we develop a new relatively simple but versatile framework that is combinatorial in spirit. It handles the combinatorial structure of matchings directly and needs to only know weights of appropriately defined matchings from algebraic subroutines.
Chromatic number, Clique number, and Lovász's bound: In a comparison
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its chromatic number is at least $k+3$. Then he completed his proof by showing that this bound is tight for the Kneser graph. However, there are some graphs where this bound is not useful at all, even comparing by the obvious bound; the clique number. For instance, if a graph contains no complete bipartite graph $\mathcal{K}_{l, m}$, then its Lovász's bound is at most $l+m-1$. But, it can have an arbitrarily large chromatic number.
In this note, we present new graphs showing that the gaps between the chromatic number, the clique number, and the Lovász bound can be arbitrarily large. More precisely, for given positive integers $l, m$ and $2\leq p\leq q$, we construct a connected graph which contains a copy of $\mathcal{K}_{l,m}$, and its chromatic number, clique number, and Lovász's bound are $q$, $p$, and $3$, respectively.
The size of $3$-uniform hypergraphs with given matching number and codegree
Published
• View Publication
• BIB
Determine the size of $r$-graphs with given graph parameters is an interesting problem. Chvátal and Hanson (JCTB, 1976) gave a tight upper bound of the size of 2-graphs with restricted maximum degree and matching number; Khare (DM, 2014) studied the same problem for linear $3$-graphs with restricted matching number and maximum degree. In this paper, we give a tight upper bound of the size of $3$-graphs with bounded codegree and matching number.
On the distribution of monochromatic complete subgraphs and arithmetic progressions
Published
• View Publication
• BIB
We investigate the distributions of the number of: (1) monochromatic complete subgraphs over edgewise 2-colorings of complete graphs; and (2) monochromatic arithmetic progressions over 2-colorings of intervals, as statistical Ramsey theory questions. We present convincing evidence that both distributions are very well-approximated by the Delaporte distribution.
Bidirected Graphs I: Signed General Kotzig-Lovász Decomposition
Published
• View Publication
• BIB
This paper is the first from a series of papers that establish a common analogue of the strong component and basilica decompositions for bidirected graphs. A bidirected graph is a graph in which a sign $+$ or $-$ is assigned to each end of each edge, and therefore is a common generalization of digraphs and signed graphs. Unlike digraphs, the reachabilities between vertices by directed trails and paths are not equal in general bidirected graphs. In this paper, we set up an analogue of the strong connectivity theory for bidirected graphs regarding directed trails, motivated by factor theory. We define the new concepts of {\em circular connectivity} and {\em circular components} as generalizations of the strong connectivity and strong components. In our main theorem, we characterize the inner structure of each circular component; we define a certain binary relation between vertices in terms of the circular connectivity and prove that this relation is an equivalence relation. The nontrivial aspect of this structure arises from directed trails starting and ending with the same sign, and is therefore characteristic to bidirected graphs that are not digraphs. This structure can be considered as an analogue of the general Kotzig-Lovász decomposition, a known canonical decomposition in $1$-factor theory. From our main theorem, we also obtain a new result in $b$-factor theory, namely, a $b$-factor analogue of the general Kotzig-Lovász decomposition.
The 6-girth-thickness of the complete graph
Published in AKCE International Journal of Graphs and Combinatorics-2020
• View Publication
• BIB
The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this paper, we determine the $6$-girth-thickness $θ(6,K_n)$ of the complete graph $K_n$ in almost all cases. And also, we calculate by computer the missing value of $θ(4,K_n)$.
Hopf monoids and generalized permutahedra
Published
• View Publication
• BIB
Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications:
1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota.
2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra.
3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday.
Along the way, we offer a combinatorial user's guide to Hopf monoids.
Maximum oriented forcing number for complete graphs
Published
• View Publication
• BIB
The maximum oriented $k$-forcing number of a simple graph $G$, written $\MOF_k(G)$, is the maximum directed $k$-forcing number among all orientations of $G$. This invariant was recently introduced by Caro, Davila and Pepper in [CaroDavilaPepper], and in the current paper we study the special case where $G$ is the complete graph with order $n$, denoted $K_n$. While $\MOF_k(G)$ is an invariant for the underlying simple graph $G$, $\MOF_k(K_n)$ can also be interpreted as an interesting property for tournaments. Our main results further focus on the case when $k=1$. These include a lower bound on $\MOF(K_n)$ of roughly $\frac{3}{4}n$, and for $n\ge 2$, a lower bound of $n - \frac{2n}{\log_2(n)}$. Along the way, we also consider various lower bounds on the maximum oriented $k$-forcing number for the closely related complete $q$-partite graphs.
A note on the 4-girth-thickness of K_{n,n,n}
Published
• View Publication
• BIB
The $4$-girth-thickness $θ(4,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least four whose union is $G$. In this paper, we obtain that the 4-girth-thickness of complete tripartite graph $K_{n,n,n}$ is $\big\lceil\frac{n+1}{2}\big\rceil$ except for $θ(4,K_{1,1,1})=2$. And we also show that the $4$-girth-thickness of the complete graph $K_{10}$ is three which disprove the conjecture $θ(4,K_{10})=4$ posed by Rubio-Montiel (Ars Math Contemp 14(2) (2018) 319).