arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2005-01-21 v4
Irrational proofs for three theorems of Stanley
Published in European Journal of Combinatorics 28, no. 1 (2007), 403-409 • View Publication • BIB
We give new proofs of three theorems of Stanley on generating functions for the integer points in rational cones. The first, Stanley's reciprocity theorem, relates the rational generating functions for the integer points in a cone K and for those in its interior. The second, Stanley's Positivity theorem asserts that the generating function of the Ehrhart quasipolynomial of a rational polytope P can be written as a rational function with nonnegative numerator. The third, Stanley's Monotonicity Theorem, asserts that if a polytope Q contains P, then each coefficient in the numerator for Q is at least as large as the corresponding coefficient in the numerator for P. Our proofs are based on elementary (primary school) counting afforded by irrational decompositions of rational polyhedra.
2005-01-20 v2
On the singularity probability of random Bernoulli matrices
Published in J. Amer. Math. Soc. 20 (2007), 603-628 • View Publication • BIB
Let $n$ be a large integer and $M_n$ be a random $n$ by $n$ matrix whose entries are i.i.d. Bernoulli random variables (each entry is $\pm 1$ with probability 1/2). We show that the probability that $M_n$ is singular is at most $(3/4 +o(1))^n$, improving an earlier estimate of Kahn, Komlós and Szemerédi, as well as earlier work by the authors. The key new ingredient is the applications of Freiman type inverse theorems and other tools from additive combinatorics.
2005-01-20 v4
The Gaussian primes contain arbitrarily shaped constellations
Published in J. d.Analyse Mathematique 99 (2006), 109-176 • View Publication • BIB
We show that the Gaussian primes $P[i] \subseteq \Z[i]$ contain infinitely constellations of any prescribed shape and orientation. More precisely, given any distinct Gaussian integers $v_0,...,v_{k-1}$, we show that there are infinitely many sets $\{a+rv_0,...,a+rv_{k-1}\}$, with $a \in \Z[i]$ and $r \in \Z \backslash \{0\}$, all of whose elements are Gaussian primes. The proof is modeled on a recent paper by Green and Tao and requires three ingredients. The first is a hypergraph removal lemma of Gowers and Rödl-Skokan; this hypergraph removal lemma can be thought of as a generalization of the Szemerédi-Furstenberg-Katznelson theorem concerning multidimensional arithmetic progressions. The second ingredient is the transference argument of Green and Tao, which allows one to extend this hypergraph removal lemma to a relative version, weighted by a pseudorandom measure. The third ingredient is a Goldston-Yildirim type analysis for the Gaussian integers, which yields a pseudorandom measure which is concentrated on Gaussian "almost primes".
2005-01-20 v2
Taming the wild in impartial combinatorial games
Published in INTEGERS: Electronic Journal of Combinatorial Number Theory 5 (2005) #G05 • Search Publication
We introduce a misere quotient semigroup construction in impartial combinatorial game theory, and argue that it is the long-sought natural generalization of the normal-play Sprague-Grundy theory to misere play. Along the way, we illustrate how to use the theory to describe complete analyses of two wild taking and breaking games.
2005-01-18
Limit laws for embedded trees. Applications to the integrated superBrownian excursion
Published in Random Structures and Algorithms 29, 4 (2006) 475--523 • View Publication • BIB
We study three families of labelled plane trees. In all these trees, the root is labelled 0, and the labels of two adjacent nodes differ by $0, 1$ or -1. One part of the paper is devoted to enumerative results. For each family, and for all $j\in \ns$, we obtain closed form expressions for the following three generating functions: the generating function of trees having no label larger than $j$; the (bivariate) generating function of trees, counted by the number of edges and the number of nodes labelled $j$; and finally the (bivariate) generating function of trees, counted by the number of edges and the number of nodes labelled at least $j$. Strangely enough, all these series turn out to be algebraic, but we have no combinatorial intuition for this algebraicity. The other part of the paper is devoted to deriving limit laws from these enumerative results. In each of our families of trees, we endow the trees of size $n$ with the uniform distribution, and study the following random variables: $M\_n$, the largest label occurring in a (random) tree; $X\_n(j)$, the number of nodes labelled $j$; and $X\_n^+(j)$, the number of nodes labelled $j$ or more. We obtain limit laws for scaled versions of these random variables. Finally, we translate the above limit results into statements dealing with the integrated superBrownian excursion (ISE). In particular, we describe the law of the supremum of its support (thus recovering some earlier results obtained by Delmas), and the law of its distribution function at a given point. We also conjecture the law of its density (at a given point).
2005-01-18 v2
Asymptotic enumeration and limit laws of planar graphs
Published • View Publication • BIB
We show an asymptotic estimate for the number of labelled planar graphs on $n$ vertices. We also find limit laws for the number of edges, the number of connected components, and other parameters in random planar graphs.
2005-01-18
Characterizations of Some Class of Formal Power Series via MÖbius Categories of Full Binomial Type
In some previous papers we have obtained characterizations (we called them characterizations of Lambek-Carlitz type) of some class of formal power series. Now, we discuss, investigate and compare these results from a categorial point of view.
2005-01-18 v2
Weight Systems for Milnor Invariants
Published in J. Knot Theory Ramif., vol. 17, no. 2, 2008, pp. 213-230 • View Publication • BIB
We use Polyak's skein relation to give a new proof that Milnor's string link homotopy invariants are finite type invariants, and to develop a recursive relation for their associated weight systems. We show that the obstruction to the triviality of these weight systems is the presence of a certain kind of spanning tree in the intersection graph of a chord diagram.
2005-01-17 v2
A Commutative Family of Integral Transformations and Basic Hypergeometric Series. I. Eigenfunctions
Published • View Publication • BIB
It is conjectured that a class of n-fold integral transformations {I(alpha)|alpha in {C}} forms a mutually commutative family, namely, we have I(alpha) I(beta)=I(beta) I(alpha) for all alpha, beta in {C}. The commutativity of I(alpha) for the two-fold integral case is proved by using several summation and transformation formulas for the basic hypergeometric series. An explicit formula for the complete system of the eigenfunctions for n=3 is conjectured. In this formula and in a partial result for n=4, it is observed that all the eigenfunctions do not depend on the spectral parameter alpha of I(alpha).
2005-01-17 v2
Ordering Events in Minkowski Space
Published • View Publication • BIB
We are given k points (events) in (n+1)-dimensional Minkowski space. Using the theory of hyperplane arrangments and chromatic polynomials, we obtain information the number of different orders in which the events can occur in different reference frames if the events are sufficiently generic. We consider the question of what sets of orderings of the points are possible and show a connection with sphere orders and the allowable sequences of Goodman and Pollack.
2005-01-16
Supertopes
A perfect (Delaunay) ellipsoid is an ellipsoid in n-dimensional Euclidean space that does not contain integral points in its interior, but is uniquely defined by integral points that lie on its surface. A perfect Delaunay polytope with respect to a positive quadratic form f() is a polytope with integral vertices that is circumscribed by a perfect Delaunay ellipsoid with an equation whose quadratic part is f(). This document has been corrected on January 15, 2005. Note that it represents the state of the area as of the end of 2002. For recent research on perfect Delaunay polytopes see my recent preprint, with Erdahl and Ordine, math.NT/0408122 on ArXiv.org .
2005-01-16 v2
Alcoved Polytopes I
Published • View Publication • BIB
The aim of this paper is to study alcoved polytopes, which are polytopes arising from affine Coxeter arrangements. This class of convex polytopes includes many classical polytopes, for example, the hypersimplices. We compare two constructions of triangulations of hypersimplices due to Stanley and Sturmfels and explain them in terms of alcoved polytopes. We study triangulations of alcoved polytopes, the adjacency graphs of these triangulations, and give a combinatorial formula for volumes of these polytopes. In particular, we study a class of matroid polytopes, which we call the multi-hypersimplices.
2005-01-15
Semi-Finite Forms of Bilateral Basic Hypergeometric Series
Published • View Publication • BIB
We show that several classical bilateral summation and transformation formulas have semi-finite forms. We obtain these semi-finite forms from unilateral summation and transformation formulas. Our method can be applied to derive Ramanujan's $_1ψ_1$ summation, Bailey's $_2ψ_2$ transformations, and Bailey's $_6ψ_6$ summation.
2005-01-14
The minimum number of 4-cliques in graphs with triangle-free complement
Write f(n) for the minimum number of 4-cliques in graphs of order n with triangle-free complement. Finding f(n) is a particular case of a problem raised by Erdos in 1962. We give an upper bound of f(n) and a matching lower bound when the graph is close to regular.
2005-01-14
Equivariant quantum cohomology of homogeneous spaces
Published • View Publication • BIB
We prove a Chevalley formula for the equivariant quantum multiplication of two Schubert classes in the homogeneous variety X=G/P. As in the case when X is a Grassmannian, studied by the author in a previous paper, this formula implies an effective algorithm to compute the structure constants of the equivariant quantum cohomology algebra of X.
2005-01-14 v2
Random Geometric Graph Diameter in the Unit Ball
Published in Algorithmica 47, no. 4 (2007), 421-438 • View Publication • BIB
The unit ball random geometric graph $G=G^d_p(λ,n)$ has as its vertices $n$ points distributed independently and uniformly in the $d$-dimensional unit ball, with two vertices adjacent if and only if their $l_p$-distance is at most $λ$. Like its cousin the Erdos-Renyi random graph, $G$ has a connectivity threshold: an asymptotic value for $λ$ in terms of $n$, above which $G$ is connected and below which $G$ is disconnected (and in fact has isolated vertices in most cases). In the connected zone, we determine upper and lower bounds for the graph diameter of $G$. Specifically, almost always, $\diam_p(\mathbf{B})(1-o(1))/λ\leq \diam(G) \leq \diam_p(\mathbf{B})(1+O((\ln \ln n/\ln n)^{1/d}))/λ$, where $\diam_p(\mathbf{B})$ is the $\ell_p$-diameter of the unit ball $\mathbf{B}$. We employ a combination of methods from probabilistic combinatorics and stochastic geometry.
2005-01-14
Applications of Waring's formula to some identities of Chebyshev polynomials
Published • View Publication • BIB
Some identities of Chebyshev polynomials are deduced from Waring's formula on symmetric functions. In particular, these formulae generalize some recent results of Grabner and Prodinger.
2005-01-14
A q-analog of the Seidel generation of Genocchi numbers
Published • View Publication • BIB
A new $q$-analog of Genocchi numbers is introduced through a q-analog of Seidel's triangle associated to Genocchi numbers. It is then shown that these $q$-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non intersecting lattice paths and skew Young tableaux.
2005-01-14
Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory
Published in RIMS Kokyuroku 1438 (2005) 83-102 • Search Publication
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.
2005-01-14 v2
Fluctuation of maximal particle energy of quantum ideal gas and random partitions
Published • View Publication • BIB
We investigate the limiting distribution of the fluctuations of the maximal summand in a random partition of a large integer with respect to a multiplicative statistics. We show that for a big family of Gibbs measures on partitions (so called generalized Bose--Einstein statistics) this distribution is the well-known Gumbel distribution which usually appears in the context of indepedent random variables. In particular, it means that the (properly rescaled) maximal energy of an individual particle in the grand canonical ensemble of the $d$-dimensional quantum ideal gas has the Gumbel distribution in the limit. We also apply our result to find the fluctuations of the height of a random 3D Young diagram (plane partition) and investigate the order statistics of random partitions under generalized Bose--Einstein statistics.