arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2008-08-02 v2
Kovalenko's Full-Rank Limit and Overhead as Lower Bounds for Error-Performances of LDPC and LT Codes over Binary Erasure Channels
Published • View PublicationBIB
We present Kovalenko's full-rank limit as a tight lower bound for decoding error probability of LDPC codes and LT codes over BEC. From the limit, we derive a full-rank overhead as a lower bound for stable overheads for successful maximum-likelihood decoding of the codes.
2008-08-01 v4
Birth and death in discrete Morse theory
Published • View PublicationBIB
Suppose $M$ is a finite simplicial complex and that for $0=t_0,t_1,...,t_r=1$ we have a discrete Morse function $F_{t_i}:M\to \zr$. In this paper, we study the births and deaths of critical cells for the functions $F_{t_i}$ and present an algorithm for pairing the cells that occur in adjacent slices. We first study the case where the triangulation of $M$ is the same for each $t_i$, and then generalize to the case where the triangulations may differ. This has potential applications in data imaging, where one has function values at a sample of points in some region in space at several different times or at different levels in an object.
2008-07-31
A new method for fast computing unbiased estimators of cumulants
Published • View PublicationBIB
We propose new algorithms for generating $k$-statistics, multivariate $k$-statistics, polykays and multivariate polykays. The resulting computational times are very fast compared with procedures existing in the literature. Such speeding up is obtained by means of a symbolic method arising from the classical umbral calculus. The classical umbral calculus is a light syntax that involves only elementary rules to managing sequences of numbers or polynomials. The cornerstone of the procedures here introduced is the connection between cumulants of a random variable and a suitable compound Poisson random variable. Such a connection holds also for multivariate random variables.
2008-07-31
Counting Abelian Squares
Published • View PublicationBIB
An abelian square is a string of length 2n where the last n symbols form a permutation of the first n symbols. In this note we count the number of abelian squares and give an asymptotic estimate of this quantity.
2008-07-31 v2
Roth's theorem in Z_4^n
Published in Anal. PDE 2 (2009), no. 2, 211-234 • View PublicationBIB
We show that if A is a subset of Z_4^n containing no three-term arithmetic progression in which all the elements are distinct then |A|=o(4^n/n).
2008-07-31 v2
Popular difference sets
Published in Online J. Anal. Comb. No. 5 (2010), Art. 5, 4 pp • View PublicationBIB
We provide further explanation of the significance of a construction in a recent paper of Wolf [Israel J. Math. 179 (2010), 253-278] in the context of the problem of finding large subspaces in sumsets.
2008-07-31 v2
The supremum of autoconvolutions, with applications to additive number theory
Published in Illinois Journal of Mathematics, Vol. 53 (2010), No. 1; 219-236. • View PublicationBIB
We adapt a number-theoretic technique of Yu to prove a purely analytic theorem: if f(x) is in L^1 and L^2, is nonnegative, and is supported on an interval of length I, then the supremum of the convolution f*f is at least 0.631 \| f \|_1^2 / I. This improves the previous bound of 0.591389 \| f \|_1^2 / I. Consequently, we improve the known bounds on several related number-theoretic problems. For a subset A of {1,2, ..., n}, let g be the maximum multiplicity of any element of the multiset {a+b: a,b in A}. Our main corollary is the inequality gn>0.631|A|^2, which holds uniformly for all g, n, and A.
2008-07-31 v2
Geometries enumeratives complexe, reelle et tropicale
This text is an introduction to algebraic enumerative geometry and to applications of tropical geometry to classical geometry, based on a course given during the X-UPS mathematical days, 2008 May 14th and 15th. The aim of this text is to be understandable by a first year master student.
2008-07-31
Branching proofs of infeasibility in low density subset sum problems
We prove that the subset sum problem has a polynomial time computable certificate of infeasibility for all $a$ weight vectors with density at most $1/(2n)$ and for almost all integer right hand sides. The certificate is branching on a hyperplane, i.e. by a methodology dual to the one explored by Lagarias and Odlyzko; Frieze; Furst and Kannan; and Coster et. al. The proof has two ingredients. We first prove that a vector that is near parallel to $a$ is a suitable branching direction, regardless of the density. Then we show that for a low density $a$ such a near parallel vector can be computed using diophantine approximation, via a methodology introduced by Frank and Tardos. We also show that there is a small number of long intervals whose disjoint union covers the integer right hand sides, for which the infeasibility is proven by branching on the above hyperplane.
2008-07-30 v2
The GBG-Rank and t-Cores I. Counting and 4-Cores
Let r_j(π,s) denote the number of cells, colored j, in the s-residue diagram of partition π. The GBG-rank of πmod s is defined as r_0+r_1*w_s+r_2*w_s^2+...+r_(s-1)*w_s^(s-1), where w_s=exp(2*Π*I/s). We will prove that for (s,t)=1, v(s,t) <= binomial(s+t,s)/(s+t), where v(s,t) denotes a number of distinct values that GBG-rank mod s of t-core may assume. The above inequality becomes an equality when s is prime or when s is composite and t<=2p_s, where p_s is a smallest prime divisor of s. We will show that the generating functions for 4-cores with the prescribed values of GBG-rank mod 3 are all eta-products.
2008-07-30 v2
Toric cohomological rigidity of simple convex polytopes
Published in Journal of the London Math. Society, II Ser. 82 (2010), no.2, 343-360 • View PublicationBIB
A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as simplices or cubes are known to be cohomologically rigid. In this article we investigate the cohomological rigidity of polytopes and establish it for several new classes of polytopes including products of simplices. Cohomological rigidity of $P$ is related to the \emph{bigraded Betti numbers} of its \emph{Stanley--Reisner ring}, another important invariants coming from combinatorial commutative algebra.
2008-07-30 v2
An instance of umbral methods in representation theory: the parking function module
We test the umbral methods introduced by Rota and Taylor within the theory of representation of symmetric group. We define a simple bijection between the set of all parking functions of length $n$ and the set of all noncrossing partitions of $\{1,2,...,n\}$. Then we give an umbral expression of the Frobenius characteristic of the parking function module introduced by Haiman that allows an explicit relation between this symmetric function and the volume polynomial of Pitman and Stanley.
Rank and crank moments for overpartitions
Published in Journal of Number Theory 129 (2009), 1758-1772 • View PublicationBIB
We study two types of crank moments and two types of rank moments for overpartitions. We show that the crank moments and their derivatives, along with certain linear combinations of the rank moments and their derivatives, can be written in terms of quasimodular forms. We then use this fact to prove exact relations involving the moments as well as congruence properties modulo 3, 5, and 7 for some combinatorial functions which may be expressed in terms of the second moments. Finally, we establish a congruence modulo 3 involving one such combinatorial function and the Hurwitz class number H(n).
2008-07-30 v2
An Ore-type theorem for perfect packings in graphs
We say that a graph G has a perfect H-packing (also called an H-factor) if there exists a set of disjoint copies of H in G which together cover all the vertices of G. Given a graph H, we determine, asymptotically, the Ore-type degree condition which ensures that a graph G has a perfect H-packing. More precisely, let δ_{\rm Ore} (H,n) be the smallest number k such that every graph G whose order n is divisible by |H| and with d(x)+d(y)\geq k for all non-adjacent x \not = y \in V(G) contains a perfect H-packing. We determine \lim_{n\to \infty} δ_{\rm Ore} (H,n)/n.
2008-07-30
Random networks with sublinear preferential attachment: Degree evolutions
Published • View PublicationBIB
We define a dynamic model of random networks, where new vertices are connected to old ones with a probability proportional to a sublinear function of their degree. We first give a strong limit law for the empirical degree distribution, and then have a closer look at the temporal evolution of the degrees of individual vertices, which we describe in terms of large and moderate deviation principles. Using these results, we expose an interesting phase transition: in cases of strong preference of large degrees, eventually a single vertex emerges forever as vertex of maximal degree, whereas in cases of weak preference, the vertex of maximal degree is changing infinitely often. Loosely speaking, the transition between the two phases occurs in the case when a new edge is attached to an existing vertex with a probability proportional to the root of its current degree.
2008-07-30 v2
A Proof of Green's Conjecture Regarding the Removal Properties of Sets of Linear Equations
Published • View PublicationBIB
A system of \ell linear equations in p unknowns Mx=b is said to have the removal property if every set S \subseteq {1,...,n} which contains o(n^{p-\ell}) solutions of Mx=b can be turned into a set S' containing no solution of Mx=b, by the removal of o(n) elements. Green [GAFA 2005] proved that a single homogenous linear equation always has the removal property and conjectured that every set of homogenous linear equations has the removal property. We confirm Green's conjecture by showing that every set of linear equations (even non-homogenous) has the removal property.
2008-07-29
Counting perfect colourings of plane regular tilings
A first step in investigating colour symmetries of periodic and nonperiodic patterns is determining the number of colours which allow perfect colourings of the pattern under consideration. A perfect colouring is one where each symmetry of the uncoloured pattern induces a global permutation of the colours. Two cases are distinguished: Either perfect colourings with respect to all symmetries, or with respect to orientation preserving symmetries only (no reflections). For the important class of colourings of regular tilings (and some Laves tilings) of the Euclidean or hyperbolic plane, this mainly combinatorial question is addressed here using group theoretical methods.
2008-07-29
Candy-passing Games on General Graphs, II
We give a new proof that any candy-passing game on a graph G with at least 4|E(G)|-|V(G)| candies stabilizes. (This result was first proven in arXiv:0807.4450.) Unlike the prior literature on candy-passing games, we use methods from the general theory of chip-firing games which allow us to obtain a polynomial bound on the number of rounds before stabilization.
2008-07-28
Mock Tridiagonal Systems
Published • View PublicationBIB
We introduce the notion of a {\it mock tridiagonal system}. This is a generalization of a tridiagonal system in which the irreducibility assumption is replaced by a certain non-vanishing condition. We show how mock tridiagonal systems can be used to construct tridiagonal systems that meet certain specifications. This paper is part of our ongoing project to classify the tridiagonal systems up to isomorphism.
2008-07-28 v3
Some combinatorial properties of flag simplicial pseudomanifolds and spheres
Published • View PublicationBIB
A simplicial complex $Δ$ is called flag if all minimal nonfaces of $Δ$ have at most two elements. The following are proved: First, if $Δ$ is a flag simplicial pseudomanifold of dimension $d-1$, then the graph of $Δ$ (i) is $(2d-2)$-vertex-connected and (ii) has a subgraph which is a subdivision of the graph of the $d$-dimensional cross-polytope. Second, the $h$-vector of a flag simplicial homology sphere $Δ$ of dimension $d-1$ is minimized when $Δ$ is the boundary complex of the $d$-dimensional cross-polytope.