Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Symmetric functions and random partitions
Published
• View Publication
• BIB
These are (not updated) notes from the lectures I gave at the NATO ASI ``Symmetric Functions 2001'' at the Isaac Newton Institute in Cambridge (June 25 -- July 6, 2001). Their goal is an informal introduction to asymptotic combinatorics related to partitions.
Random trees and moduli of curves
Published
• View Publication
• BIB
These are (not updated) notes from the lectures I gave in St.Petersburg in July of 2001. Their goal is to give an expository account of the proof of Kontsevich's combinatorial formula for intersections on moduli spaces of curves following math.AG/0101147.
Discrete Green's functions for products of regular graphs
Discrete Green's functions are the inverses or pseudo-inverses of combinatorial Laplacians. We present compact formulas for discrete Green's functions, in terms of the eigensystems of corresponding Laplacians, for products of regular graphs with or without boundary. Explicit formulas are derived for the cycle, torus, and 3-dimensional torus, as is an inductive formula for the $t$-dimensional torus with $n$ vertices, from which the Green's function can be completely determined in time $O(t n^{2-1/t}\log{n})$. These Green's functions may be used in conjunction with diffusion-like problems on graphs such as electric potential, random walks, and chip-firing games or other balancing games.
Asymmetric binary covering codes
Published in J. Combin. Theory Ser. A 100 (2002), no. 2, 232--249
• View Publication
• BIB
An asymmetric binary covering code of length n and radius R is a subset C of the n-cube Q_n such that every vector x in Q_n can be obtained from some vector c in C by changing at most R 1's of c to 0's, where R is as small as possible. K^+(n,R) is defined as the smallest size of such a code. We show K^+(n,R) is of order 2^n/n^R for constant R, using an asymmetric sphere-covering bound and probabilistic methods. We show K^+(n,n-R')=R'+1 for constant coradius R' iff n>=R'(R'+1)/2. These two results are extended to near-constant R and R', respectively. Various bounds on K^+ are given in terms of the total number of 0's or 1's in a minimal code. The dimension of a minimal asymmetric linear binary code ([n,R]^+ code) is determined to be min(0,n-R). We conclude by discussing open problems and techniques to compute explicit values for K^+, giving a table of best known bounds.
On the size of $k$-fold sum and product sets of integers
Published
• View Publication
• BIB
We prove the following theorem: for all positive integers $b$ there exists a positive integer $k$, such that for every finite set $A$ of integers with cardinality $|A| > 1$, we have either $$ |A + ... + A| \geq |A|^b$$ or $$ |A \cdot ... \cdot A| \geq |A|^b$$ where $A + ... + A$ and $A \cdot ... \cdot A$ are the collections of $k$-fold sums and products of elements of $A$ respectively. This is progress towards a conjecture of Erdös and Szemerédi on sum and product sets.
Dense Edge-Magic Graphs and Thin Additive Bases
Published
• View Publication
• BIB
We study s(k,n), the maximum size of A+A where A is a k-subset of [n]. A few known functions from additive number theory can be expressed via s(k,n). For example, our estimates of s(k,n) imply new bounds on the maximum size of quasi-Sidon sets, a problem posed by Erdos and Freud [J. Number Th.38 (1991) 196-205]. Also, applications to so-called edge-magic labellings of graphs are given.
A Scaling Limit for t-Schur Measures
Published in Kyushu J. Math. 59 (2005), no. 1, 25--38
• View Publication
• BIB
We introduce a generalization of the Schur measure. And we give a combinatorial interpretation to this generalized measure and prove that a scaling limit for this measure is given by the Tracy-Widom distribution.
Flows that are sums of hamiltonian cycles in Cayley graphs on abelian groups
Published
• View Publication
• BIB
If X is any connected Cayley graph on any finite abelian group, we determine precisely which flows on X can be written as a sum of hamiltonian cycles. (This answers a question of Brian Alspach.) In particular, if the degree of X is at least 5, and X has an even number of vertices, then the flows that can be so written are precisely the even flows, that is, the flows f, such that the sum of the edge-flows of f is divisible by 2. On the other hand, there are examples of degree 4 in which not all even flows can be written as a sum of hamiltonian cycles. Analogous results were already known, from work of Alspach, Locke, and Witte, for the case where X is cubic, or has an odd number of vertices.
Blocking sets in small finite linear spaces
Published in Ars Combinatoria 80 (2006), 275--315
• Search Publication
We classify all finite linear spaces on at most 15 points admitting a blocking set. There are no such spaces on 11 or fewer points, one on 12 points, one on 13 points, two on 14 points, and five on 15 points. The proof makes extensive use of the notion of the weight of a point in a 2-coloured finite linear space, as well as the distinction between minimal and non-minimal 2-coloured finite linear spaces. We then use this classification to draw some conclusions on two open problems on the 2-colouring of configurations of points.
Legendre Transform, Hessian Conjecture and Tree Formula
Published in Appl. Math. Lett. 19 (2006), 503-510
• View Publication
• BIB
Let $φ$ be a polynomial over $K$ (a field of characteristic 0) such that the Hessian of $φ$ is a nonzero constant. Let $\barφ$ be the formal Legendre Transform of $φ$. Then $\barφ$ is well-defined as a formal power series over $K$. The Hessian Conjecture introduced here claims that $\barφ$ is actually a polynomial. This conjecture is shown to be true when $K=\bb{R}$ and the Hessian matrix of $φ$ is either positive or negative definite somewhere. It is also shown to be equivalent to the famous Jacobian Conjecture. Finally, a tree formula for $\barφ$ is derived; as a consequence, the tree inversion formula of Gurja and Abyankar is obtained.
Markov bases of binary graph models
Published
• View Publication
• BIB
This paper is concerned with the topological invariant of a graph given by the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We describe a degree four Markov basis for the model when the underlying graph is a cycle and generalize this result to the complete bipartite graph $K_{2,n}$. We also give a combinatorial classification of degree two and three Markov basis moves as well as a Buchberger-free algorithm to compute moves of arbitrary given degree. Finally, we compute the algebraic degree of the model when the underlying graph is a forest.
Tropical Convexity
Published in Documenta Math. 9 (2004), 1--27
• View Publication
• BIB
The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications to phylogenetic trees are discussed.
Theorem 29 and Corollary 30 in the paper, relating tropical polytopes to injective hulls, are incorrect. See the erratum at http://www.math.uiuc.edu/documenta/vol-09/vol-09-eng.html .
Simplicial Trees are Sequentially Cohen-Macaulay
Published
• View Publication
• BIB
This paper uses dualities between facet ideal theory and Stanley-Reisner theory to show that the facet ideal of a simplicial tree is sequentially Cohen-Macaulay. The proof involves showing that the Alexander dual (or the cover dual, as we call it here) of a simplicial tree is a componentwise linear ideal. We conclude with additional combinatorial properties of simplicial trees.
Growth diagrams, Domino insertion and Sign-imbalance
Published
• View Publication
• BIB
We study some properties of domino insertion, focusing on aspects related to Fomin's growth diagrams. We give a self-contained proof of the semistandard domino-Schensted correspondence given by Shimozono and White, bypassing the connections with mixed insertion entirely. The correspondence is extended to the case of a nonempty 2-core and we give two dual domino-Schensted correspondences. We use our results to settle Stanley's `2^{n/2}' conjecture on sign-imbalance and to generalise the domino generating series of Kirillov, Lascoux, Leclerc and Thibon.
Expected length of the longest common subsequence for large alphabets
Published
• View Publication
• BIB
We consider the length L of the longest common subsequence of two randomly uniformly and independently chosen n character words over a k-ary alphabet. Subadditivity arguments yield that the expected value of L, when normalized by n, converges to a constant C_k. We prove a conjecture of Sankoff and Mainville from the early 80's claiming that C_k\sqrt{k} goes to 2 as k goes to infinity.
General duality for abelian-group-valued statistical-mechanics models
Published in J.Phys. A37 (2004) 7407-7432
• View Publication
• BIB
We introduce a general class of statistical-mechanics models, taking values in an abelian group, which includes examples of both spin and gauge models, both ordered and disordered. The model is described by a set of ``variables'' and a set of ``interactions''. A Gibbs factor is associated to each variable and to each interaction. We introduce a duality transformation for systems in this class. The duality exchanges the abelian group with its dual, the Gibbs factors with their Fourier transforms, and the interactions with the variables. High (low) couplings in the interaction terms are mapped into low (high) couplings in the one-body terms. The idea is that our class of systems extends the one for which the classical procedure 'a la Kramers and Wannier holds, up to include randomness into the pattern of interaction. We introduce and study some physical examples: a random Gaussian Model, a random Potts-like model, and a random variant of discrete scalar QED. We shortly describe the consequence of duality for each example.
Syzygies of projective toric varieties
This paper has been subsumed by math.AG/0502240
On the Monotone Upper Bound Problem
Published
• View Publication
• BIB
The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets.
It was recently shown that the upper bound M(d,n)<=M_{ubt}(d,n) holds with equality for small dimensions (d<=4: Pfeifle, 2003) and for small corank (n<=d+2: Gärtner et al., 2001). Here we prove that it is not tight in general: In dimension d=6 a polytope with n=9 facets can have M_{ubt}(6,9)=30 vertices, but not more than 26 <= M(6,9) <= 29 vertices can lie on a strictly-increasing edge-path.
The proof involves classification results about neighborly polytopes, Kalai's (1988) concept of abstract objective functions, the Holt-Klee conditions (1998), explicit enumeration, Welzl's (2001) extended Gale diagrams, randomized generation of instances, as well as non-realizability proofs via a version of the Farkas lemma.
A Comparison of Secret Sharing Schemes Based on Latin Squares and RSA
In recent years there has been a great deal of work done on secret sharing scehemes. Secret Sharing Schemes allow for the division of keys so that an authorised set of users may access information. In this paper we wish to present a critical comparison of two of these schemes based on Latin Squares, [Cooper et., al.] and RSA [Shoup]. These two protocols will be examined in terms of their positive and negative aspects of their secuirty.
Quaternionic Geometry of Matroids
Published
• View Publication
• BIB
Building on a recent joint paper with Sturmfels, here we argue that the combinatorics of matroids is intimately related to the geometry and topology of toric hyperkaehler varieties. We show that just like toric varieties occupy a central role in Stanley's proof for the necessity of McMullen's conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkaehler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkaehler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari, leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.