Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The polytope of non-crossing graphs on a planar point set
Published in Discrete Comput. Geom. 33:2 (2005), 275-305
• View Publication
• BIB
For any finite set $\A$ of $n$ points in $\R^2$, we define a $(3n-3)$-dimensional simple polyhedron whose face poset is isomorphic to the poset of ``non-crossing marked graphs'' with vertex set $\A$, where a marked graph is defined as a geometric graph together with a subset of its vertices. The poset of non-crossing graphs on $\A$ appears as the complement of the star of a face in that polyhedron.
The polyhedron has a unique maximal bounded face, of dimension $2n_i +n -3$ where $n_i$ is the number of points of $\A$ in the interior of $\conv(\A)$. The vertices of this polytope are all the pseudo-triangulations of $\A$, and the edges are flips of two types: the traditional diagonal flips (in pseudo-triangulations) and the removal or insertion of a single edge.
As a by-product of our construction we prove that all pseudo-triangulations are infinitesimally rigid graphs.
A formula for the number of tilings of an octagon by rhombi
Published in Theor. Comp. Sc. 319, 71-81 (2004).
• View Publication
• BIB
We propose the first algebraic determinantal formula to enumerate tilings of a centro-symmetric octagon of any size by rhombi. This result uses the Gessel-Viennot technique and generalizes to any octagon a formula given by Elnitsky in a special case.
The slopes determined by n points in the plane
Published in Duke Math. J. 131, no. 1 (2006), 119-165
• View Publication
• BIB
Let $m_{12}$, $m_{13}$, ..., $m_{n-1,n}$ be the slopes of the $\binom{n}{2}$ lines connecting $n$ points in general position in the plane. The ideal $I_n$ of all algebraic relations among the $m_{ij}$ defines a configuration space called the {\em slope variety of the complete graph}. We prove that $I_n$ is reduced and Cohen-Macaulay, give an explicit Gröbner basis for it, and compute its Hilbert series combinatorially. We proceed chiefly by studying the associated Stanley-Reisner simplicial complex, which has an intricate recursive structure. In addition, we are able to answer many questions about the geometry of the slope variety by translating them into purely combinatorial problems concerning enumeration of trees.
Every function is the representation function of an additive basis for the integers
Published in Port. Math. (N.S.) 62 (2005), 55--72
• Search Publication
Let A be a set of integers. For every integer n, let r_{A,h}(n) denote the number of representations of n in the form n = a_1 + a_2 + ... + a_h, where a_1, a_2,...,a_h are in A and a_1 \leq a_2 \leq ... \leq a_h. The function r_{A,h}: Z \to N_0 \cup \infty is the representation function of order h for A. The set A is called an asymptotic basis of order h if r_{A,h}^{-1}(0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of exactly h not necessarily distinct elements of A. It is proved that every function is a representation function, that is, if f: Z \to N_0 \cup \infty is any function such that f^{-1}(0) is finite, then there exists a set A of integers such that f(n) = r_{A,h}(n) for all n in Z. Moreover, the set A can be arbitrarily sparse in the sense that, if φ(x) \to \infty, then there exists a set A with f(n) = r_{A,h}(n) such that card{a in A : |a| \leq x} < φ(x) for all sufficiently large x.
Geometry of graph varieties
Published in Trans. Amer. Math. Soc. 355 (2003), 4151-4169.
• View Publication
• BIB
A picture P of a graph G = (V,E) consists of a point P(v) for each vertex v in V and a line P(e) for each edge e in E, all lying in the projective plane over a field k and subject to containment conditions corresponding to incidence in G. A graph variety is an algebraic set whose points parametrize pictures of G. We consider three kinds of graph varieties: the picture space X(G) of all pictures, the picture variety V(G), an irreducible component of X(G) of dimension 2|V|, defined as the closure of the set of pictures on which all the P(v) are distinct, and the slope variety S(G), obtained by forgetting all data except the slopes of the lines P(e). We use combinatorial techniques (in particular, the theory of combinatorial rigidity) to obtain the following geometric and algebraic information on these varieties: (1) a description and combinatorial interpretation of equations defining each variety set-theoretically; (2) a description of the irreducible components of X(G); and (3) a proof that V(G) and S(G) are Cohen-Macaulay when G satisfies a sparsity condition, rigidity independence. In addition, our techniques yield a new proof of the equality of two matroids studied in rigidity theory.
A Generalization of Euler's Hypergeometric Transformation
Published in Trans. Amer. Math. Soc. 358 (2006), 39-57
• View Publication
• BIB
Euler's transformation formula for the Gauss hypergeometric function 2F1 is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as corollary a summation formula of Slater. From this formula new one-term evaluations of 2F1(-1) and 3F2(1) are derived, by applying transformations in the Thomae group. Their parameters are also constrained nonlinearly. Several new one-term evaluations of 2F1(-1) with linearly constrained parameters are derived as well.
SPM Bulletin 2
This is the second issue of the SPM Bulletin (SPM stands for "Selection Principles in Mathematics"). The first issue is math.GN/0301011 and contains some background and details.
Avoiding Monochromatic Sequences With Special Gaps
Published
• View Publication
• BIB
For $S$ a set of positive integers, and $k$ and $r$ fixed positive integers, denote by $f(S,k;r)$ the least positive integer $n$ (if it exists) such that within every $r$-coloring of $\{1,2,...,n\}$ there must be a monochromatic sequence $\{x_{1},x_{2},...,x_{k}\}$ with $x_{i}-x_{i-1} \in S$ for $2 \leq i \leq k$. We consider the existence of $f(S,k;r)$ for various choices of $S$, as well as upper and lower bounds on this function. In particular, we show that this function exists for all $k$ if $S$ is an odd translate of the set of primes and $r=2$.
Extended visual cryptography systems
Published
• View Publication
• BIB
Visual cryptography schemes have been introduced in 1994 by Naor and Shamir. Their idea was to encode a secret image into $n$ shadow images and to give exactly one such shadow image to each member of a group $P$ of $n$ persons. Whereas most work in recent years has been done concerning the problem of qualified and forbidden subsets of $P$ or the question of contrast optimizing, in this paper we study extended visual cryptography schemes, i.e. shared secret systems where any subset of $P$ shares its own secret.
Restricted even permutations and Chebyshev polynomials
Published
• View Publication
• BIB
We study generating functions for the number of even (odd) permutations on n letters avoiding 132 and an arbitrary permutation $τ$ on k letters, or containing $τ$ exactly once. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind.
A note on sum of k-th power of Horadam's sequence
Let $w_{n+2}=pw_{n+1}+qw_{n}$ for $n\geq0$ with $w_0=a$ and $w_1=b$. In this paper we find an explicit expression, in terms of determinants, for $\sum_{n\geq0} w_n^kx^n$ for any $k\geq1$. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results.
On the Hanna Neumann Conjecture
The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph theoretic interpretation of the conjecture, here we consider the use of monomorphisms. We illustrate the effectiveness of this approach with two results. First, we show that for any finitely generated groups H,K <= F either the pair H,K or the pair H^{-}, K satisfy the Hanna Neumann conjecture--Here {-} denotes the automorphism which sends each generator of F to its inverse. Next, using particular monomorphisms from F to F_2, we obtain that if the Hanna Neumann conjecture is false then there is a counterexample H,K < F_2 having the additional property that all the branch vertices in the foldings of H and K are of degree 3, and all degree 3 vertices have the same local structure or ``type''.
Free hyperplane arrangements associated to labeled rooted trees
Each labeled rooted tree is associated with a hyperplane arrangement, which is free with exponents given by the depths of the vertices of this tree. The intersection lattices of these arrangements are described through posets of forests. These posets are used to define coalgebras, whose dual algebras are shown to have a simple presentation by generators and relations.
A sum-product estimate in finite fields, and applications
Published in Geom. Func. Anal. 14 (2004), 27-57
• View Publication
• BIB
Let $A$ be a subset of a finite field $F := \Z/q\Z$ for some prime $q$. If $|F|^δ< |A| < |F|^{1-δ}$ for some $δ> 0$, then we prove the estimate $|A+A| + |A.A| \geq c(δ) |A|^{1+\eps}$ for some $\eps = \eps(δ) > 0$. This is a finite field analogue of a result of Erdos and Szemeredi. We then use this estimate to prove a Szemeredi-Trotter type theorem in finite fields, and obtain a new estimate for the Erdos distance problem in finite fields, as well as the three-dimensional Kakeya problem in finite fields.
Lower Bounds for the Generalized h-Vectors of Centrally Symmetric Polytopes
Published
• View Publication
• BIB
In a previous article, we proved tight lower bounds for the coefficients of the generalized $h$-vector of a centrally symmetric rational polytope using intersection cohomology of the associated projective toric variety. Here we present a new proof based on the theory of combinatorial intersection cohomology developed by Barthel, Brasselet, Fieseler and Kaup. This theory is also valid for nonrational polytopes when there are no corresponding toric varieties. So we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational.
Symmetric groups and random matrices
The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily and we show that it very closely related to the combinatorial approach to random matrices. Our formulas are exact (in a sense that they hold not only asymptotically for large q). This result has many interesting applications, for example it allows to find precise asymptotics of characters of large symmetric groups and asymptotics of the Plancherel measure on Young diagrams.
Couplings of Uniform Spanniing Forests
Published
• View Publication
• BIB
We prove the existence of an automorphism-invariant coupling for the wired and the free uniform spanning forests on Cayley graphs of finitely generated residually amenable groups.
Computing the Integer Programming Gap
We determine the maximal gap between the optimal values of an integer program and its linear programming relaxation, where the matrix and cost function are fixed but the right hand side is unspecified. Our formula involves irreducible decomposition of monomial ideals. The gap can be computed in polynomial time when the dimension is fixed.
Complexity and Completeness of Immanants
Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.
The number of trees half of whose vertices are leaves and asymptotic enumeration of plane real algebraic curves
Published
• View Publication
• BIB
The number of topologically different plane real algebraic curves of a given degree $d$ has the form $\exp(C d^2 + o(d^2))$. We determine the best available upper bound for the constant $C$. This bound follows from Arnold inequalities on the number of empty ovals. To evaluate its rate we show its equivalence with the rate of growth of the number of trees half of whose vertices are leaves and evaluate the latter rate.