arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82139 papers, 47531 authors in database)
2012-05-30
On the Maximum Number of Edges in a Hypergraph with Given Matching Number
Published • View Publication • BIB
The aim of the present paper is to prove that the maximum number of edges in a 3-uniform hypergraph on n vertices and matching number s is max{\binom(3s+2,3), \binom(n,3) - \binom(n-s,3)} for all n,s, n >= 3s+2.
2012-05-29 v3
On the non-planarity of a random subgraph
Published • View Publication • BIB
Let $G$ be a finite graph with minimum degree $r$. Form a random subgraph $G_p$ of $G$ by taking each edge of $G$ into $G_p$ independently and with probability $p$. We prove that for any constant $ε>0$, if $p=\frac{1+ε}{r}$, then $G_p$ is non-planar with probability approaching 1 as $r$ grows. This generalizes classical results on planarity of binomial random graphs.
2012-05-29 v2
Polynomials with only real zeros and the Eulerian polynomials of type D
A remarkable identity involving the Eulerian polynomials of type D was obtained by Stembridge (Adv. Math. 106 (1994), p. 280, Lemma 9.1). In this paper we explore an equivalent form of this identity. We prove Brenti's real-rootedness conjecture for the Eulerian polynomials of type $D$.
2012-05-29
On the Stretch Factor of Randomly Embedded Random Graphs
Published in Discrete & Computational Geometry: Volume 49, Issue 3 (2013), Page 647-658 • View Publication • BIB
We consider a random graph G(n,p) whose vertex set V has been randomly embedded in the unit square and whose edges are given weight equal to the geometric distance between their end vertices. Then each pair {u,v} of vertices have a distance in the weighted graph, and a Euclidean distance. The stretch factor of the embedded graph is defined as the maximum ratio of these two distances, over all u,v in V. We give upper and lower bounds on the stretch factor (holding asymptotically almost surely), and show that for p not too close to 0 or 1, these bounds are best possible in a certain sense. Our results imply that the stretch factor is bounded with probability tending to 1 if and only if n(1-p) tends to 0, answering a question of O'Rourke.
2012-05-29
On monomial ideal rings and a theorem of Trevisan
Published • View Publication • BIB
A direct proof is presented of a form of Alvise Trevisan's result, that every monomial ideal ring is represented by the cohomology of topological space. Certain of these rings are shown to be realized by polyhedral products indexed by simplicial complexes.
2012-05-29
A basis construction for the Shi arrangement of the type $B_{\ell}$ or $C_{\ell}$
Published • View Publication • BIB
The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the Weyl arrangement and their parallel translations. It was introduced by J.-Y. Shi in the study of the Kazhdan-Lusztig representation of the affine Weyl groups. M. Yoshinaga showed that the cone over every Shi arrangement is free. In this paper, we construct an explicit basis for the derivation module of the cone over the Shi arrangements of the type $B_{\ell}$ or $C_{\ell}$.
2012-05-29 v3
Extremal Lipschitz functions in the deviation inequalities from the mean
Published • View Publication • BIB
We obtain an optimal deviation from the mean upper bound \begin{equation} D(x)\=\sup_{f\in \F}μ\{f-\E_μ f\geq x\},\qquad\ \text{for}\ x\in\R\label{abstr} \end{equation} where $\F$ is the class of the integrable, Lipschitz functions on probability metric (product) spaces. As corollaries we get exact solutions of $\eqref{abstr}$ for Euclidean unit sphere $S^{n-1}$ with a geodesic distance and a normalized Haar measure, for $\R^n$ equipped with a Gaussian measure and for the multidimensional cube, rectangle, torus or Diamond graph equipped with uniform measure and Hamming distance. We also prove that in general probability metric spaces the $\sup$ in $\eqref{abstr}$ is achieved on a family of distance functions.
2012-05-29 v2
Minimal external representations of tropical polyhedra
Published in Journal of Combinatorial Theory, Series A, Volume 120, Issue 4, May 2013, Pages 907-940 • View Publication • BIB
Tropical polyhedra are known to be representable externally, as intersections of finitely many tropical half-spaces. However, unlike in the classical case, the extreme rays of their polar cones provide external representations containing in general superfluous half-spaces. In this paper, we prove that any tropical polyhedral cone in R^n (also known as "tropical polytope" in the literature) admits an essentially unique minimal external representation. The result is obtained by establishing a (partial) anti-exchange property of half-spaces. Moreover, we show that the apices of the half-spaces appearing in such non-redundant external representations are vertices of the cell complex associated with the polyhedral cone. We also establish a necessary condition for a vertex of this cell complex to be the apex of a non-redundant half-space. It is shown that this condition is sufficient for a dense class of polyhedral cones having "generic extremities".
Number of vertices in Gelfand-Zetlin polytopes
Published in Journal of Combinatorial Theory, Series A 120 (2013) 960-969 • View Publication • BIB
We discuss the problem of counting vertices in Gelfand-Zetlin polytopes. Namely, we deduce a partial differential equation with constant coefficients on the exponential generating function for these numbers. For some particular classes of Gelfand-Zetlin polytopes, the number of vertices can be given by explicit formulas.
2012-05-29 v2
Smallest defining sets of super-simple 2 - (v, 4,1) directed designs
A $2-(v,k,λ)$ directed design (or simply a $2-(v,k,λ)DD$) is super-simple if its underlying $2-(v,k,2λ)BIBD$ is super-simple, that is, any two blocks of the $BIBD$ intersect in at most two points. A $2-(v,k,λ)DD$ is simple if its underlying $2-(v,k,2λ)BIBD$ is simple, that is, it has no repeated blocks. A set of blocks which is a subset of a unique $2-(v,k,λ)DD$ is said to be a defining set of the directed design. A smallest defining set, is a defining set which has smallest cardinality. In this paper simultaneously we show that the necessary and sufficient condition for the existence of a super-simple $2-(v,4,1)DD$ is $v\equiv1\ ({\rm mod}\ 3)$ and for these values except $v=7$, there exists a super-simple $2-(v,4,1)DD$ whose smallest defining sets have at least a half of the blocks. And also for all $ε> 0$ there exists $v_0(ε)$ such that for all admissible $v>v_0$ there exists a $2-(v,4,1)DD$ whose smallest defining sets have at least $(5/8-\frac{c}{v})\mid \mathcal{B}\mid$ blocks, for suitable positive constant c.
2012-05-29 v2
A Combinatorial Approach to Positional Number Systems
Published • View Publication • BIB
Although the representation of the real numbers in terms of a base and a set of digits has a long history, new questions arise even in simple situations. This paper concerns binary radix systems, i.e., positional number systems with digits 0 and 1. Our combinatorial approach is to construct infinitely many binary radix systems, each one from a single pair of binary strings. Every binary radix system that satisfies even a minimal set of conditions that would be expected of a positional number system can be constructed in this way.
Characterizing Trees with Large Laplacian Energy
Published • View Publication • BIB
We investigate the problem of ordering trees according to their Laplacian energy. More precisely, given a positive integer $n$, we find a class of cardinality approximately $\sqrt{n}$ whose elements are the $n$-vertex trees with largest Laplacian energy. The main tool for establishing this result is a new upper bound on the sum $S_k(T)$ of the $k$ largest Laplacian eigenvalues of an $n$-vertex tree $T$ with diameter at least four, where $k \in \{1,...,n\}$.
Positive graphs
Published • View Publication • BIB
We study "positive" graphs that have a nonnegative homomorphism number into every edge-weighted graph (where the edgeweights may be negative). We conjecture that all positive graphs can be obtained by taking two copies of an arbitrary simple graph and gluing them together along an independent set of nodes. We prove the conjecture for various classes of graphs including all trees. We prove a number of properties of positive graphs, including the fact that they have a homomorphic image which has at least half the original number of nodes but in which every edge has an even number of pre-images. The results, combined with a computer program, imply that the conjecture is true for all graphs up to 9 nodes.
2012-05-28 v2
Laplacian spectral characterization of some double starlike trees
Published in Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University 37(2) (2016) 242--247 • View Publication • BIB
A tree is called double starlike if it has exactly two vertices of degree greater than two. Let $H(p,n,q)$ denote the double starlike tree obtained by attaching $p$ pendant vertices to one pendant vertex of the path $P_n$ and $q$ pendant vertices to the other pendant vertex of $P_n$. In this paper, we prove that $H(p,n,q)$ is determined by its Laplacian spectrum.
2012-05-28 v2
Super-simple 2-(v; 5; 1) directed designs and their smallest defining sets
In this paper we investigate the spectrum of super-simple 2-$(v,5,1)$ directed designs (or simply super-simple 2-$(v,5,1)$DDs) and also the size of their smallest defining sets. We show that for all $v\equiv1,5\ ({\rm mod}\ 10)$ except $v=5,15$ there exists a super-simple $(v,5,1)DD$. Also for these parameters, except possibly $v=11,91$, there exists a super-simple 2-$(v,5,1)$DD whose smallest defining sets have at least a half of the blocks.
2012-05-28 v4
The Edge-Isoperimetric Problem in $(\mathbb{N}^2,\infty)$
We consider the edge-isoperimetric problem on the graph of the infinite grid $\mathbb{N}^{2}$ in the $\ell_{\infty}$ metric. We first show that the solutions are not nested, so that techniques other than compressions have to be used. We then show that for any given volume of sets in $\mathbb{N}^{2}$, there exists an optimal set of a specific geometric form and describe this form. We continue on to prove that the optimal perimeter has asymptotic growth rate $2\sqrt{7x}$ as a function of the volume and obtain upper and lower bounds for the optimal perimeter which are within the small additive constant of $\frac{35}{2}$ of one another, thus effectively solving the discrete isoperimetric inequality on this graph. Finally, we prove that there exist arbitrarily long consecutive values of the volume for which the minimum perimeter is the same.
2012-05-28
Sink-Stable Sets of Digraphs
We introduce the notion of sink-stable sets of a digraph and prove a min-max formula for the maximum cardinality of the union of k sink-stable sets. The results imply a recent min-max theorem of Abeledo and Atkinson on the Clar number of bipartite plane graphs and a sharpening of Minty's coloring theorem. We also exhibit a link to min-max results of Bessy and Thomasse and of Sebo on cyclic stable sets.
2012-05-28
A new `dinv' arising from the two part case of the Shuffle Conjecture
Published • View Publication • BIB
In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k} by the modified Hall-Littlewood functions would yield a polynomial that enumerates the same collection of parking functions but now restricted by the requirement that the Dyck path supporting cars j+1,...,j+n hits the diagonal according to the composition p=(p_1,p_2,...,p_k). We prove here this conjecture by deriving a recursion for the symmetric function expression then using this recursion to construct a new dinv statistic we will denote ndinv and show that this polynomial enumerates the latter parking functions by t^{area} q^{ndinv}.
2012-05-28
Some advances on the set covering polyhedron of circulant matrices
Published • View Publication • BIB
Working on the set covering polyhedron of consecutive ones circulant matrices, Argiroffo and Bianchi found a class of facet defining inequalities, induced by a particular family of circulant minors. In this work we extend these results to inequalities associated with every circulant minor. We also obtain polynomial separation algorithms for particular classes of such inequalities.
2012-05-28 v3
Optimal epsilon-biased sets with just a little randomness
Published • View Publication • BIB
Subsets of F_2^n that are eps-biased, meaning that the parity of any set of bits is even or odd with probability eps close to 1/2, are powerful tools for derandomization. A simple randomized construction shows that such sets exist of size O(n/eps^2), and known deterministic constructions achieve sets of size O(n/eps^3), O(n^2/eps^2), and O((n/eps^2)^{5/4}). Rather than derandomizing these sets completely in exchange for making them larger, we attempt a partial derandomization while keeping them small, constructing sets of size O(n/eps^2) with as few random bits as possible. The naive randomized construction requires O(n^2/eps^2) random bits. We give two constructions. The first uses Nisan's space-bounded pseudorandom generator to partly derandomize a folklore probabilistic construction of an error-correcting code, and requires O(n log (1/eps)) bits. Our second construction requires O(n log (n/eps)) bits, but is more elementary; it adds randomness to a Legendre symbol construction on Alon, Goldreich, Håstad, and Peralta, and uses Weil sums to bound high moments of the bias.