arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82797 papers, 47838 authors in database)
2016-03-01
Plethystic identities and mixed Hodge structures of character varieties
I demonstrate how certain identities for Macdonald's polynomials established by Garsia, Haiman and Tesler, together with the conjecture of Hausel, Letellier and Villegas imply explicit relations between mixed Hodge polynomials of different character varieties.
A Proof of the Barát-Thomassen Conjecture
Published • View Publication • BIB
The Barát-Thomassen conjecture asserts that for every tree $T$ on $m$ edges, there exists a constant $k_T$ such that every $k_T$-edge-connected graph with size divisible by $m$ can be edge-decomposed into copies of $T$. So far this conjecture has only been verified when $T$ is a path or when $T$ has diameter at most 4. Here we prove the full statement of the conjecture.
2016-03-01
Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree
Published • View Publication • BIB
The Tree Decomposition Conjecture by Barát and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of $T$, then $G$ can be edge-decomposed into subgraphs isomorphic to $T$. So far this conjecture has only been verified for paths, stars, and a family of bistars. We prove a weaker version of the Tree Decomposition Conjecture, where we require the subgraphs in the decomposition to be isomorphic to graphs that can be obtained from $T$ by vertex-identifications. We call such a subgraph a homomorphic copy of $T$. This implies the Tree Decomposition Conjecture under the additional constraint that the girth of $G$ is greater than the diameter of $T$. As an application, we verify the Tree Decomposition Conjecture for all trees of diameter at most 4.
2016-03-01
3-nets realizing a diassociative loop in a projective plane
Published • View Publication • BIB
A \textit{$3$-net} of order $n$ is a finite incidence structure consisting of points and three pairwise disjoint classes of lines, each of size $n$, such that every point incident with two lines from distinct classes is incident with exactly one line from each of the three classes. The current interest around $3$-nets (embedded) in a projective plane $PG(2,K)$, defined over a field $K$ of characteristic $p$, arose from algebraic geometry. It is not difficult to find $3$-nets in $PG(2,K)$ as far as $0<p\le n$. However, only a few infinite families of $3$-nets in $PG(2,K)$ are known to exist whenever $p=0$, or $p>n$. Under this condition, the known families are characterized as the only $3$-nets in $PG(2,K)$ which can be coordinatized by a group. In this paper we deal with $3$-nets in $PG(2,K)$ which can be coordinatized by a diassociative loop $G$ but not by a group. We prove two structural theorems on $G$. As a corollary, if $G$ is commutative then every non-trivial element of $G$ has the same order, and $G$ has exponent $2$ or $3$. We also discuss the existence problem for such $3$-nets.
2016-03-01 v2
New Bounds for the Snake-in-the-Box Problem
The Snake-in-the-Box problem is that of finding a longest induced path in an $n$-dimensional hypercube. We prove new lower bounds for the values $n\in \{11,12,13\}$. The Coil-in-the-Box problem is that of finding a longest induced cycle in an $n$-dimensional hypercube. We prove new lower bounds for the values $n\in \{12,13\}$.
2016-03-01
Cacti with Extremal PI Index
The vertex PI index $PI(G) = \sum_{xy \in E(G)} [n_{xy}(x) + n_{xy}(y)]$ is a distance-based molecular structure descriptor, where $n_{xy}(x)$ denotes the number of vertices which are closer to the vertex $x$ than to the vertex $y$ and which has been the considerable research in computational chemistry dating back to Harold Wiener in 1947. A connected graph is a cactus if any two of its cycles have at most one common vertex. In this paper, we completely determine the extremal graphs with the largest and smallest vertex PI indices among all the cacti. As a consequence, we obtain the sharp bounds with corresponding extremal cacti and extend a known result.
Chromatic number of ordered graphs with forbidden ordered subgraphs
Published • View Publication • BIB
It is well-known that the graphs not containing a given graph H as a subgraph have bounded chromatic number if and only if H is acyclic. Here we consider ordered graphs, i.e., graphs with a linear ordering on their vertex set, and the function f(H) = sup{chi(G) | G in Forb(H)} where Forb(H) denotes the set of all ordered graphs that do not contain a copy of H. If H contains a cycle, then as in the case of unordered graphs, f(H) is infinity. However, in contrast to the unordered graphs, we describe an infinite family of ordered forests H with infinite f(H). An ordered graph is crossing if there are two edges uv and u'v' with u < u' < v < v'. For connected crossing ordered graphs H we reduce the problem of determining whether f(H) is finite to a family of so-called monotonically alternating trees. For non-crossing H we prove that f(H) is finite if and only if H is acyclic and does not contain a copy of any of the five special ordered forests on four or five vertices, which we call bonnets. For such forests H, we show that f(H) <= 2^|V(H)| and that f(H) <= 2|V(H)|-3 if H is connected.
2016-03-01 v3
The Diameters of Network-flow Polytopes satisfy the Hirsch Conjecture
Published • View Publication • BIB
We solve a problem in the combinatorics of polyhedra motivated by the network simplex method. We show that the Hirsch conjecture holds for the diameter of the graphs of all network-flow polytopes, in particular the diameter of a network-flow polytope for a network with $n$ nodes and $m$ arcs is never more than $m+n-1$. A key step to prove this is to show the same result for classical transportation polytopes.
2016-03-01 v2
A Characterization of Gorenstein Planar graphs
Published • View Publication • BIB
We prove that a planar graph is Gorenstein if and only if its independence complex is Eulerian.
2016-03-01 v4
Solution of Hypergraph Turan problem
Using original {\it Symmetrical Smoothing Method} we solve $(3,k)$- hypergraph Turan problem
2016-03-01 v2
Weighted Rogers-Ramanujan Partitions and Dyson Crank
Published • View Publication • BIB
In this paper we refine a weighted partition identity of Alladi. We write explicit formulas of generating functions for the number of partitions grouped with respect to a partition statistic other than the norm. We tie our weighted results and the different statistics with the crank of a partition. In particular, we prove that the number of partitions into even number of distinct parts whose odd-indexed parts' sum is n is equal to the number of partitions of n with non-negative crank.
2016-03-01 v2
Ramsey properties of random graphs and Folkman numbers
Published in Discuss. Math. Graph Theory 27(3) (2017) 755-776 • View Publication • BIB
For two graphs, $G$ and $F$, and an integer $r\ge2$ we write $G\rightarrow (F)_r$ if every $r$-coloring of the edges of $G$ results in a monochromatic copy of $F$. In 1995, the first two authors established a threshold edge probability for the Ramsey property $G(n,p)\to (F)_r$, where $G(n,p)$ is a random graph obtained by including each edge of the complete graph on $n$ vertices, independently, with probability $p$. The original proof was based on the regularity lemma of Szemerédi and this led to tower-type dependencies between the involved parameters. Here, for $r=2$, we provide a self-contained proof of a quantitative version of the Ramsey threshold theorem with only double exponential dependencies between the constants. As a corollary we obtain a double exponential upper bound on the 2-color Folkman numbers. By a different proof technique, a similar result was obtained independently by Conlon and Gowers.
An exponential-type upper bound for Folkman numbers
Published in Combinatorica 37(4), 2017, 767-784 • View Publication • BIB
For given integers $k$ and $r$, the Folkman number $f(k;r)$ is the smallest number of vertices in a graph $G$ which contains no clique on $k+1$ vertices, yet for every partition of its edges into $r$ parts, some part contains a clique of order $k$. The existence (finiteness) of Folkman numbers was established by Folkman (1970) for $r=2$ and by Nešetřil and Rödl (1976) for arbitrary $r$, but these proofs led to very weak upper bounds on $f(k;r)$. Recently, Conlon and Gowers and independently the authors obtained a doubly exponential bound on $f(k;2)$. Here, we establish a further improvement by showing an upper bound on $f(k;r)$ which is exponential in a polynomial function of $k$ and $r$. This is comparable to the known lower bound $2^{Ω(rk)}$. Our proof relies on a recent result of Saxton and Thomason (2015) (or, alternatively, on a recent result of Balogh, Morris, and Samotij (2015)) from which we deduce a quantitative version of Ramsey's theorem in random graphs.
2016-02-29
Elementary symmetric polynomials in Stanley--Reisner face ring
Let $P$ be a simple polytope of dimension $n$ with $m$ facets. In this paper we pay our attention on those elementary symmetric polynomials in the Stanley--Reisner face ring of $P$ and study how the decomposability of the $n$-th elementary symmetric polynomial influences on the combinatorics of $P$ and the topology and geometry of toric spaces over $P$. We give algebraic criterions of detecting the decomposability of $P$ and determining when $P$ is $n$-colorable in terms of the $n$-th elementary symmetric polynomial. In addition, we define the Stanley--Reisner {\em exterior} face ring $\mathcal{E}(K_P)$ of $P$, which is non-commutative in the case of ${\Bbb Z}$ coefficients, where $K_P$ is the boundary complex of dual of $P$. Then we obtain a criterion for the (real) Buchstaber invariant of $P$ to be $m-n$ in terms of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$. Our results as above can directly associate with the topology and geometry of toric spaces over $P$. In particular, we show that the decomposability of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$ with ${\Bbb Z}$ coefficients can detect the existence of the almost complex structures of quasitoric manifolds over $P$, and if the (real) Buchstaber invariant of $P$ is $m-n$, then there exists an essential relation between the $n$-th equivariant characteristic class of the (real) moment-angle manifold over $P$ in $\mathcal{E}(K_P)$ and the characteristic functions of $P$.
2016-02-29 v3
Extremal Betti numbers of graded modules
Published in Journal of Pure and Applied Algebra 220 (2016) 2277-2288 • View Publication • BIB
Let $S$ be a polynomial ring in $n$ variables over a field $K$ of characteristic $0$. A numerical characterization of all possible extremal Betti numbers of any graded submodule of a finitely generated graded free $S$-module is given.
2016-02-29
Explicit formulae for one-part double Hurwitz numbers with completed 3-cycles
Published • View Publication • BIB
We prove two explicit formulae for one-part double Hurwitz numbers with completed 3-cycles. We define "combinatorial Hodge integrals" from these numbers in the spirit of the celebrated ELSV formula. The obtained results imply some explicit formulae and properties of the combinatorial Hodge integrals.
2016-02-29
Octahedral, dicyclic and special linear solutions of some unsolved Hamilton-Waterloo problems
Published • View Publication • BIB
We give a sharply-vertex-transitive solution of each of the nine Hamilton-Waterloo problems left open by Danziger, Quattrocchi and Stevens.
2016-02-29 v2
Skolem Circles
Skolem sequences and Skolem labeled graphs have been described and examined for several decades. This note explores weak Skolem labelling of cycle graphs, which we call Skolem circles. The relationship between Skolem sequences and Skolem cirlces is explored, and Skolem circles of small sizes are enumerated, with some loose general bounds established.
2016-02-29 v3
On the Partition Dimension and the Twin Number of a Graph
A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maximal set of pairwise twin vertices. The twin number of a graph G is the maximum cardinality of a twin class of G. In this paper we undertake the study of the partition dimension of a graph by also considering its twin number. This approach allows us to obtain the set of connected graphs of order n having partition dimension n-2. This set is formed by exactly 15 graphs, instead of 23, as was wrongly stated in the paper: "Discrepancies between metric dimension and partition dimension of a connected graph", published in Discrete Mathematics in 2008.
2016-02-29 v2
A note on distinct distances
Published in Combinator. Probab. Comp. 29 (2020) 650-663 • View Publication • BIB
We show that, for a constant-degree algebraic curve $γ$ in $\mathbb{R}^D$, every set of $n$ points on $γ$ spans at least $Ω(n^{4/3})$ distinct distances, unless $γ$ is an {\it algebraic helix} (see Definition 1.1). This improves the earlier bound $Ω(n^{5/4})$ of Charalambides [Discrete Comput. Geom. (2014)]. We also show that, for every set $P$ of $n$ points that lie on a $d$-dimensional constant-degree algebraic variety $V$ in $\mathbb{R}^D$, there exists a subset $S\subset P$ of size at least $Ω(n^{\frac{4}{9+12(d-1)}})$, such that $S$ spans $\binom{|S|}{2}$ distinct distances. This improves the earlier bound of $Ω(n^{\frac{1}{3d}})$ of Conlon et al. [SIAM J. Discrete Math. (2015)]. Both results are consequences of a common technical tool, given in Lemma 2.7 below.