Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On Generalized Van der Waerden Triples
Published
• View Publication
• BIB
Van der Waerden's classical theorem on arithmetic progressions states that for any positive integers k and r, there exists a least positive integer, w(k,r), such that any r-coloring of {1,2,...,w(k,r)} must contain a monochromatic k-term arithmetic progression {x,x+d,x+2d,...,x+(k-1)d}. We investigate the following generalization of w(3,r). For fixed positive integers a and b with a <= b, define N(a,b;r) to be the least positive integer, if it exists, such that any r-coloring of {1,2,...,N(a,b;r)} must contain a monochromatic set of the form {x,ax+d,bx+2d}. We show that N(a,b;2) exists if and only if b <> 2a, and provide upper and lower bounds for it. We then show that for a large class of pairs (a,b), N(a,b;r) does not exist for r sufficiently large. We also give a result on sets of the form {x,ax+d,ax+2d,...,ax+(k-1)d}.
Simple cycles
We obtain sharp bounds for the number of n-cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. En route, we prove some sharp estimates on power sums.
Combinatorics of geometrically distributed random variables: New q-tangent and q-secant numbers
Published
• View Publication
• BIB
Up-down permutations are counted by tangent resp. secant numbers. Considering words instead, where the letters are produced by independent geometric distributions, there are several ways of introducing this concept; in the limit they all coincide with the classical version. In this way, we get some new q-tangent and q-secant functions. Some of them also have nice continued fraction expansions; in one particular case, we could not find a proof for it. Divisibility results a la Andrews/Foata/Gessel are also discussed.
On Blocking Sets of Affine Spaces
We consider the problem of finding the minimal number of points required to intersect all lines in an affine space over the finite field of order 3. We also consider the problem of finding the minimal number of points required to intersect all two dimensional affine subspaces in an affine space over the field of order 2.
Statistical Self-Similarity of One-Dimensional Growth Processes
Published in Physica A 279, 342 (2000)
• View Publication
• BIB
For one-dimensional growth processes we consider the distribution of the height above a given point of the substrate and study its scale invariance in the limit of large times. We argue that for self-similar growth from a single seed the universal distribution is the Tracy-Widom distribution from the theory of random matrices and that for growth from a flat substrate it is some other, only numerically determined distribution. In particular, for the polynuclear growth model in the droplet geometry the height maps onto the longest increasing subsequence of a random permutation, from which the height distribution is identified as the Tracy-Widom distribution.
Affine shuffles, shuffles with cuts, the Whitehouse module, and patience sorting
Published
• View Publication
• BIB
Type A affine shuffles are compared with riffle shuffles followed by a cut. Although these probability measures on the symmetric group S_n are different, they both satisfy a convolution property. Strong evidence is given that when the underlying parameter $q$ satisfies $gcd(n,q-1)=1$, the induced measures on conjugacy classes of the symmetric group coincide. This gives rise to interesting combinatorics concerning the modular equidistribution by major index of permutations in a given conjugacy class and with a given number of cyclic descents. It is proved that the use of cuts does not speed up the convergence rate of riffle shuffles to randomness. Generating functions for the first pile size in patience sorting from decks with repeated values are derived. This relates to random matrices.
A q-analogue of the path length of binary search trees
Published
• View Publication
• BIB
A reformulation of the path length of binary search trees is given in terms of permutations, allowing to extend the definition to the instance of words, where the letters are obtained by independent geometric random variables (with parameter q). In this way, expressions for expectation and variance are obtained which in the limit for $q\to1$ are the classical expressions.
Semisymmetric polynomials and the invariant theory of matrix vector pairs
Published in Represent. Theory 5 (2001), 224-266
• View Publication
• BIB
In this paper we introduce and investigate a one-parameter family of polynomials. They are semisymmetric, i.e. symmetric in the variables with odd and even index separately. In fact, the family forms a basis of the space of semisymmetric polynomials. For two values of the parameter r, namely r=1/2 and r=1, the polynomials have a representation theoretic meaning. In general, they form the semisymmetric analogue of (shifted) Jack polynomials.
Lamps, Factorizations and Finite Fields
Published in Amer. Math. Monthly 107 (2000), no. 5, 429--436
• View Publication
• BIB
I answer a question from the 1993 International Mathematical Olympiads by constructing an equivalent algebraic problem, and unearth a surprising behaviour of some polynomials over the two-element field.
Special Values of Multiple Polylogarithms
Published in Transactions of the American Mathematical Society, Vol. 353 (2001), no. 3, pp. 907-941. MR1709772 (2003i:33003)
• View Publication
• BIB
Historically, the polylogarithm has attracted specialists and non-specialists alike with its lovely evaluations. Much the same can be said for Euler sums (or multiple harmonic sums), which, within the past decade, have arisen in combinatorics, knot theory and high-energy physics. More recently, we have been forced to consider multidimensional extensions encompassing the classical polylogarithm, Euler sums, and the Riemann zeta function. Here, we provide a general framework within which previously isolated results can now be properly understood. Applying the theory developed herein, we prove several previously conjectured evaluations, including an intriguing conjecture of Don Zagier.
Completion of the Conjecture: Quantum Cohomology of Fano Hypersurfaces
Published in Mod.Phys.Lett. A15 (2000) 101-120
• View Publication
• BIB
In this paper, we propose the formulas that compute all the rational structural constants of the quantum Kähler sub-ring of Fano hypersurfaces.
Symmetrized random permutations
Published
• View Publication
• BIB
Selecting N random points in a unit square corresponds to selecting a random permutation. By putting 5 types of symmetry restrictions on the points, we obtain subsets of permutations : involutions, signed permutations and signed involutions. We are interested in the statistics of the length of the longest up/right path of random points selections in each symmetry type as the number of points increases to infinity. The limiting distribution functions are expressed in terms of Painlevé II equation. Some of them are Tracy-Widom distributions in random matrix theory, while there are two new classes of distribution functions interpolating GOE and GSE, and GUE and GOE^2 Tracy-Widom distribution functions. Also some applications and related topics are discussed.
Some Matrix Integrals related to Knots and Links
Published
• View Publication
• BIB
The study of a certain class of matrix integrals can be motivated by their interpretation as counting objects of knot theory such as alternating prime links, tangles or knots. The simplest such model is studied in detail and allows to rederive recent results of Sundberg and Thistlethwaite. The second non-trivial example turns out to be essentially the so-called ABAB model, though in this case the analysis has not yet been carried out completely. Further generalizations are discussed. This is a review of work done (in part) in collaboration with J.-B. Zuber.
Conformal invariance of domino tiling
Published
• View Publication
• BIB
Let U be a multiply-connected region in R^2 with smooth boundary. Let P_epsilon be a polyomino in epsilon Z^2 approximating U as epsilon tends to 0. We show that, for certain boundary conditions on P_epsilon, the height distribution on a random domino tiling (dimer covering) of P_epsilon is conformally invariant in the limit as epsilon tends to
0, in the sense that the distribution of heights of boundary components only depends on the conformal type of U. The mean height and all the moments are explicitly evaluated.
The Gromov-Witten potential of a point, Hurwitz numbers, and Hodge integrals
Published
• View Publication
• BIB
Hurwitz numbers, which count certain covers of the projective line (or, equivalently, factorizations of permuations into transpositions), have been extensively studied for over a century. The Gromov-Witten potential F of a point, the generating series for Hodge integrals on the moduli space of curves, has been a central object of study in Gromov-Witten theory. We define a slightly enriched Gromov-Witten potential G (including integrals involving one "lambda-class"), and show that after a non-trivial change of variables, G=H in positive genus, where H is a generating series for Hurwitz numbers. We prove a conjecture of Goulden and Jackson on higher genus Hurwitz numbers, which turns out to be an analogue of a genus expansion ansatz of Itzykson and Zuber. As consequences, we have new combinatorial constraints on F, and a much more direct proof of the ansatz of Itzykson and Zuber.
We can produce recursions and explicit formulas for Hurwitz numbers; the algorithm presented should prove "all" such recursions. Furthermore, there are many more recursions than previously suspected from geometry (and indeed they should exist in all genera); as examples we present surprisingly simple new recursions in genus up to 3 that are geometrically mysterious.
As we expect this paper also to be of interest to combinatorialists, we have tried to make it as self-contained as possible, including reviewing some results and definitions well known in algebraic and symplectic geometry, and mathematical physics.
On equicut graphs
Published in Multi. Val. Logic. 7(2001) pp. 363--377
• Search Publication
The size sz(G) of an l_1-graph G=(V,E) is the minimum of n_f/t_f over all its possible l_1-embeddings f into n_f-dimensional hypercube with scale t_f. In terms of v=|V|, the sum of distances between all the pairs of vertices of G is at most sz(G) v^2/4 for v even, (resp. sz(G)(v-1)(v+1)/4 for v odd). This bound is reached if and only if G is an equicut graph, that is, G admits an l_1-embedding with column sums v/2, v even (resp. (v-1)/2 for v odd).
Basic properties of equicut graphs are investigated. A construction of equicut graphs from l_1-graphs via a natural doubling construction is given. It generalizes several well-known constructions of polytopes and distance-regular graphs. Large families of examples, mostly related to polytopes and distance-regular graphs, are presented.
Reconstructing a non-simple polytope from its graph
Published
• View Publication
• BIB
A well-known theorem of Blind and Mani says that every simple polytope is uniquely determined by its graph. Kalai gave a very short and elegant proof of this result using the concept of acyclic orientations. As it turns out, Kalai's proof can be suitably generalized without much effort. We apply our results to a special class of cubical polytopes.
Lectures on 0/1-polytopes
Published
• View Publication
• BIB
These lectures on the combinatorics and geometry of 0/1-polytopes are meant as an \emph{introduction} and \emph{invitation}. Rather than heading for an extensive survey on 0/1-polytopes I present some interesting aspects of these objects; all of them are related to some quite recent work and progress.
0/1-polytopes have a very simple definition and explicit descriptions; we can enumerate and analyze small examples explicitly in the computer (e.g. using {\tt polymake}). However, any intuition that is derived from the analysis of examples in ``low dimensions'' will miss the true complexity of 0/1-polytopes. Thus, in the following we will study several aspects of the complexity of higher-dimensional 0/1-polytopes: the doubly-exponential number of combinatorial types, the number of facets which can be huge, and the coefficients of defining inequalities which sometimes turn out to be extremely large. Some of the effects and results will be backed by proofs in the course of these lectures; we will also be able to verify some of them on explicit examples, which are accessible as a {\tt polymake} database.
Coding Theory and Uniform Distributions
In the present paper we introduce and study finite point subsets of a special kind, called optimum distributions, in the n-dimensional unit cube. Such distributions are closely related with known (delta,s,n)-nets of low discrepancy. It turns out that optimum distributions have a rich combinatorial structure. Namely, we show that optimum distributions can be characterized completely as maximum distance separable codes with respect to a non-Hamming metric. Weight spectra of such codes can be evaluated precisely. We also consider linear codes and distributions and study their general properties including the duality with respect to a suitable inner product. The corresponding generalized MacWilliams identities for weight enumerators are briefly discussed. Broad classes of linear maximum distance separable codes and linear optimum distributions are explicitely constructed in the paper by the Hermite interpolations over finite fields.
Torus actions and combinatorics of polytopes
Published in Proceedings of the Steklov Institute of Mathematics 225 (1999), 87-120
• Search Publication
An n-dimensional polytope P^n is called simple if exactly n codimension-one faces meet at each vertex. The lattice of faces of a simple polytope P^n with m codimension-one faces defines an arrangement of even-dimensional planes in R^{2m}. We construct a free action of the group R^{m-n} on the complement of this arrangement. The corresponding quotient is a smooth manifold Z_P invested with a canonical action of the compact torus T^m with the orbit space P^n. For each smooth projective toric variety M^{2n} defined by a simple polytope P^n with the given lattice of faces there exists a subgroup T^{m-n}\subset T^m acting freely on Z_P such that Z_P/T^{m-n}=M^{2n}. We calculate the cohomology ring of Z_P and show that it is isomorphic to the cohomology ring of the face ring of P^n regarded as a module over the polynomial ring. In this way the cohomology of Z_P acquires a bigraded algebra structure, and the additional grading allows to catch the combinatorial invariants of the polytope. At the same time this gives an example of explicit calculation of the cohomology of the complement of an arrangement of planes, which is of independent interest.