Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Separating Thickness from Geometric Thickness
Published in In "Towards a Theory of Geometric Graphs", J. Pach, ed., Contemporary Math. 342, pp. 75-86, 2004
• View Publication
• BIB
We show that graph-theoretic thickness and geometric thickness are not asymptotically equivalent: for every t, there exists a graph with thickness three and geometric thickness >= t.
On the number of facets of three-dimensional Dirichlet stereohedra II: Non-cubic Groups
Published in Contributions to Algebra and Geometry, Vol. 47, No. 1, pp. 89-120 (2006)
• Search Publication
We prove that Dirichlet stereohedra for non-cubic crystallographic groups in dimension 3 cannot have more than 80 facets. The bound depends on the particular crystallographic group considered and is above 50 only on 9 of the 97 affine conjugacy classes of them.
We also construct Dirichlet stereohedra with 32 and 29 facets for a hexagonal and a tetragonal group, respectively.
Restriction and Kakeya phenomena for finite fields
Published in Duke Math. J. 121 (2004), 35-74
• View Publication
• BIB
The restriction and Kakeya problems in Euclidean space have received much attention in the last few decades, and are related to many problems in harmonic analysis, PDE, and number theory. In this paper we initiate the study of these problems on finite fields. The restriction problem then becomes a question about general bounds for certain types of exponential sums, while the Kakeya problem has an algebraic geometry flavor, asking for the extent to which lines in different directions can overlap. In many cases the Euclidean arguments carry over easily to the finite setting (and are in fact somewhat cleaner), but there are some new phenomena in the finite case which deserve closer study.
Arithmetic Progressions of Cycle Lengths in Graphs
Published in Combinatorics, Probability and Computing 9 (2000) No 4 369-373
• View Publication
• BIB
A recently posed question of Haggkvist and Scott's asked whether or not there exists a constant c such that if G is a graph of minimum degree ck then G contains cycles of k consecutive even lengths. In this paper we answer the question by proving that for k > 1, a bipartite graph of average degree at least 4k and girth g contains cycles of (g/2-1)k consecutive even lengths. We also obtain a short proof of the theorem of Bondy and Simonovits, that a graph of order n and size at least 8(k-1)n^{1 + 1/k} has a cycle of length 2k.
On the Equations Defining Toric L.C.I. Singularities
Published
• View Publication
• BIB
Based on Nakajima's Classification Theorem we describe the precise form of the binomial equations which determine toric locally complete intersection ("l.c.i'') singularities.
Asymptotically efficient triangulations of the d-cube
Published in Discrete Comput. Geom., 30:4 (2003), 509-528.
• View Publication
• BIB
Let $P$ and $Q$ be polytopes, the first of "low" dimension and the second of "high" dimension. We show how to triangulate the product $P \times Q$ efficiently (i.e., with few simplices) starting with a given triangulation of $Q$. Our method has a computational part, where we need to compute an efficient triangulation of $P \times Δ^m$, for a (small) natural number $m$ of our choice. $Δ^m$ denotes the $m$-simplex.
Our procedure can be applied to obtain (asymptotically) efficient triangulations of the cube $I^n$: We decompose $I^n = I^k \times I^{n-k}$, for a small $k$. Then we recursively assume we have obtained an efficient triangulation of the second factor and use our method to triangulate the product. The outcome is that using $k=3$ and $m=2$, we can triangulate $I^n$ with $O(0.816^{n} n!)$ simplices, instead of the $O(0.840^{n} n!)$ achievable before.
Twisted ${\mathfrak{sl}}(3,\C)\sptilde$-modules and combinatorial identities
The main result of this paper is a combinatorial description of a basis of standard level 1 module for the twisted affine Lie algebra $A_2^{(2)}.$ This description also gives two new combinatorial identities of Göllnitz (or Rogers--Ramanujan) type. Methods used through the paper are mainly developed by J. Lepowsky, R. L. Wilson, A. Meurman and M. Primc, and the crucial role in constructions plays a vertex operator algebra approach to standard representations of affine Lie algebras.
Non-connected toric Hilbert schemes
Published in Mathematische Annalen, 332:3 (2005), 645-665
• View Publication
• BIB
We construct small (50 and 26 points, respectively) point sets in dimension 5 whose graphs of triangulations are not connected. These examples improve our construction in J. Amer. Math. Soc., 13:3 (2000), 611--637 not only in size, but also in that their toric Hilbert schemes are not connected either, a question left open in that article. Additionally, the point sets can easily be put into convex position, providing examples of 5-dimensional polytopes with non-connected graph of triangulations.
A better upper bound on the number of triangulations of a planar point set
Published in J. Combin. Theory Ser. A, 102:1 (2003), 186-193
• View Publication
• BIB
We show that a point set of cardinality $n$ in the plane cannot be the vertex set of more than $59^n O(n^{-6})$ straight-edge triangulations of its convex hull. This improves the previous upper bound of $276.75^n$.
Polynomial growth of sumsets in abelian semigroups
Published in J. Theor. Nombres Bordeaux 14 (2002), 553--560
• View Publication
• BIB
Let S be an abelian semigroup, and A a finite subset of S. The sumset hA consists of all sums of h elements of A, with repetitions allowed. Let |hA| denote the cardinality of hA. Elementary lattice point arguments are used to prove that an arbitrary abelian semigroup has polynomial growth, that is, there exists a polynomial p(t) such that |hA| = p(h) for all sufficiently large h. Lattice point counting is also used to prove that sumsets of the form h_1A_1 + >... + h_rA_r have multivariate polynomial growth.
The Rotor Model and Combinatorics
Published in Int. J. Mod. Phys. B 16 (2002) 1883-1890
• View Publication
• BIB
We examine the groundstate wavefunction of the rotor model for different boundary conditions. Three conjectures are made on the appearance of numbers enumerating alternating sign matrices. In addition to those occurring in the O($n=1$) model we find the number $A_{\rm V}(2m+1;3)$, which 3-enumerates vertically symmetric alternating sign matrices.
The representation theory of the Ariki-Koike and cyclotomic q-Schur algebras
Published
• View Publication
• BIB
This article is a comprehensive review of the representation theory of the Ariki-Koike algebras and the cyclotomic Schur algebras.
Pfaffian and hafnian identities in shuffle algebras
Published in Advances in Applied Mathematics 29 (2002), 620-646
• View Publication
• BIB
Chen's lemma on iterated integrals implies that certain identities involving multiple integrals, such as the de Bruijn and Wick formulas, amount to combinatorial identities for Pfaffians and hafnians in shuffle algebras. We provide direct algebraic proofs of such shuffle identities, and obtain various generalizations. We also discuss some Pfaffian identities due to Sundquist and Ishikawa-Wakayama, and a Cauchy formula for anticommutative symmetric functions. Finally, we extend some of the previous considerations to hyperpfaffians and hyperhafnians.
The Frobenius problem, rational polytopes, and Fourier-Dedekind Sums
Published in Journal of Number Theory 96 (2002), 1--21
• View Publication
• BIB
We study the number of lattice points in integer dilates of the rational polytope $P = (x_1,...,x_n) \in \R_{\geq 0}^n : \sum_{k=1}^n x_k a_k \leq 1$, where $a_1,...,a_n$ are positive integers. This polytope is closely related to the linear Diophantine problem of Frobenius: given relatively prime positive integers $a_1,...,a_n$, find the largest value of t (the Frobenius number) such that $m_1 a_1 + ... + m_n a_n = t$ has no solution in positive integers $m_1,...,m_n$. This is equivalent to the problem of finding the largest dilate tP such that the facet $\sum_{k=1}^n x_k a_k = t$ contains no lattice point. We present two methods for computing the Ehrhart quasipolynomials of P which count the integer points in the dilated polytope and its interior. Within the computations a Dedekind-like finite Fourier sum appears. We obtain a reciprocity law for these sums, generalizing a theorem of Gessel. As a corollary of our formulas, we rederive the reciprocity law for Zagier's higher-dimensional Dedekind sums. Finally, we find bounds for the Fourier-Dedekind sums and use them to give new bounds for the Frobenius number.
Some experimental results on the Frobenius problem
Published in Experimental Mathematics 12, no. 3 (2003), 263-269
• View Publication
• BIB
We study the Frobenius problem: given relatively prime positive integers $a_1,...,a_d$, find the largest value of t (the Frobenius number) such that $\sum_{k=1}^d m_k a_k = t$ has no solution in nonnegative integers $m_1,...,m_d$. Based on empirical data, we conjecture that except for some special cases the Frobenius number can be bounded from above by $\sqrt{a_1 a_2 a_3}^{5/4} - a_1 - a_2 - a_3$.
An extension of the Frobenius coin-exchange problem
Published in Number Theory. New York Seminar 2003 (D. Chudnovsky, G. Chudnovsky, M. Nathanson, eds.), 2004, Springer, 17-23.
• Search Publication
Given positive integers $a_1,...,a_n$ with $\gcd(a_1,...,a_n) = 1$, we call an integer t representable if there exist nonnegative integers $m_1,...,m_n$ such that $t = m_1 a_1 + ... + m_n a_n$. In this paper, we discuss the linear diophantine problem of Frobenius: namely, find the largest integer which is not representable. We call this largest integer the Frobenius number $g(a_1,...,a_n)$.
We extend this problem to asking for the smallest integer $g_k(a_1,...,a_d)$ beyond which every integer is represented more than k times. We concentrate on the case d=2 and prove statements about $g_k(a,b)$ similar in spirit to classical results known about g(a,b).
Chord Diagrams and Coxeter Links
Published
• View Publication
• BIB
This paper presents a construction of fibered links $(K,Σ)$ out of chord diagrams $\sL$. Let $Γ$ be the incidence graph of $\sL$. Under certain conditions on $\sL$ the symmetrized Seifert matrix of $(K,Σ)$ equals the bilinear form of the simply-laced Coxeter system $(W,S)$ associated to $Γ$; and the monodromy of $(K,Σ)$ equals minus the Coxeter element of $(W,S)$. Lehmer's problem is solved for the monodromy of these Coxeter links.
Fat 4-polytopes and fatter 3-spheres
Published in Monogr. Textbooks Pure Appl. Math. 253 (2003), 239-265
• View Publication
• BIB
We introduce the fatness parameter of a 4-dimensional polytope P, defined as φ(P)=(f_1+f_2)/(f_0+f_3). It arises in an important open problem in 4-dimensional combinatorial geometry: Is the fatness of convex 4-polytopes bounded?
We describe and analyze a hyperbolic geometry construction that produces 4-polytopes with fatness φ(P)>5.048, as well as the first infinite family of 2-simple, 2-simplicial 4-polytopes. Moreover, using a construction via finite covering spaces of surfaces, we show that fatness is not bounded for the more general class of strongly regular CW decompositions of the 3-sphere.
The EKG Sequence
Published in Experimental Math. Vol. 11, No. 3 (2002), 437-446.
• View Publication
• BIB
The EKG or electrocardiogram sequence is defined by a(1) = 1, a(2) = 2 and, for n >= 3, a(n) is the smallest natural number not already in the sequence with the property that gcd {a(n-1), a(n)} > 1. In spite of its erratic local behavior, which when plotted resembles an electrocardiogram, its global behavior appears quite regular. We conjecture that almost all a(n) satisfy the asymptotic formula a(n) = n(1 + 1/(3 log n) + o(n/log n)) as n goes to infty; and that the exceptional values a(n) = p and a(n) = 3p, for p a prime, produce the spikes in the EKG sequence. We prove that {a(n): n >= 1} is a permutation of the natural numbers and that c_1 n <= a (n) <= c_2 n for constants c_1, c_2. There remains a large gap between what is conjectured and what is proved.
The Homology of the real moduli spaces \bar(M)_(0,n)
We compute the rank of the first homology group and we study the higher Betti numbers of the real points of the Deligne-Mumford-Knudsen compactification of stable n-pointed curves of genus 0,which coincides with the Chow quotient (RP^1)^n//PGL(2,R)(after Kapranov).