Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Falconer conjecture in the plane for random metrics
Published
• View Publication
• BIB
We prove the following variant of the Falconer conjecture in the plane. If the dimension of a compact planar set is greater than one, then the distance set with respect to almost every ellipse has positive Lebesgue measure.
Fraenkel's Partition and Brown's Decomposition
Published in Integers (2003), paper A11 (17 pages). http://www.integers-ejcnt.org/
• Search Publication
Denote the sequence ([ (n-x') / x ])_{n=1}^\infty by B(x, x'), a so-called Beatty sequence. Fraenkel's Partition Theorem gives necessary and sufficient conditions for B(x, x') and B(y, y') to tile the positive integers, i.e., for B(x, x') \cap B(y, y') = \emptyset and B(x, x') \cup B(y, y') = {1,2, 3, ...}. Fix 0 < x < 1, and let c_k = 1 if k \in B(x, 0), and c_k = 0 otherwise, i.e., c_k=[ (k+1) / x ] - [ k / x]. For a positive integer m let C_m be the binary word c_1c_2c_3... c_m. Brown's Decomposition gives integers q_1, q_2, ..., independent of m and growing at least exponentially, and integers t, z_0, z_1, z_2, ..., z_t (depending on m) such that C_m = C_{q_t}^{z_t}C_{q_{t-1}}^{z_{t-1}} ... C_{q_1}^{z_1}C_{q_0}^{z_0}. In other words, Brown's Decomposition gives a sparse set of initial segments of C_\infty and an explicit decomposition of C_m (for every m) into a product of these initial segments.
Chow rings of toric varieties defined by atomic lattices
Published in Invent. Math. 155 (2004) 515-536.
• View Publication
• BIB
We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.
Abelianizing the real permutation action via blowups
Published in Int. Math. Res. Not. 2003, no. 32 (2003), 1755-1784
• Search Publication
We present an abelianization of the permutation action of the symmetric group S_n on R^n in analogy to the Batyrev abelianization construction for finite group actions on complex manifolds. The abelianization is provided by a particular De Concini-Procesi wonderful model for the braid arrangement. In fact, we show a stronger result, namely that stabilizers of points in the arrangement model are isomorphic to direct products of Z_2. To prove that, we develop a combinatorial framework for explicitly describing the stabilizers in terms of automorphism groups of set diagrams over families of cubes.
We observe that the natural nested set stratification on the arrangement model is not stabilizer distinguishing with respect to the S_n-action, that is, stabilizers of points are not in general isomorphic on open strata. Motivated by this structural deficiency, we furnish a new stratification of the De Concini-Procesi arrangement model that distinguishes stabilizers.
Toric manifolds with degenerate dual variety and defect polytopes
We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.
The inverse problem for representation functions of additive bases
Published
• View Publication
• BIB
Let A be a set of integers. For every integer n, let r_{A,2}(n) denote the number of representations of n in the form n = a_1 + a_2, where a_1 and a_2 are in A and a_1 \leq a_2. The function r_{A,2}: Z \to N_0 \cup {\infty} is the representation function of order 2 for A. The set A is called an asymptotic basis of order 2 if r_{A,2}^{-1}(0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of two 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,2}(n) for all n \in \Z. Moreover, the set A can be constructed so that card{a\in A : |a| \leq x} \gg x^{1/3}.
On the linear intersection number of graphs
The celebrated Erdos, Faber and Lovasz conjecture may be stated as follows: Any linear hypergraph on v points has chromatic index at most v. We will introduce the linear intersection number of a graph, and use this number to give an alternative formulation of the conjecture. Finally, first results about the linear intersection number will be proved. For example, we will determine all graphs with maximal linear intersection number given the number of edges of the graph.
Graphs of Maps
This work studies certain aspects of graphs embedded on surfaces. Initially, a colored graph model for a map of a graph on a surface is developed. Then, a concept analogous to (and extending) planar graph is introduced in the same spirit as planar abstract duality, and is characterized topologically. An extension of the Gauss code problem treating together the cases in which the surface involved is the plane or the real projective plane is established. The problem of finding a minimum transversal of orientation-reversing circuits in graphs on arbitrary surfaces is proved to be NP-complete and is algorithmically solved for the special case where the surface is the real projective plane.
Extremal problems for ordered hypergraphs: small patterns and some enumeration
Published
• View Publication
• BIB
We investigate extremal functions ex_e(F,n) and ex_i(F,n) counting maximum numbers of edges and maximum numbers of vertex-edge incidences in simple hypergraphs H which have n vertices and do not contain a fixed hypergraph F; the containment respects linear orderings of vertices. We determine both functions exactly if F has only distinct singleton edges or if F is one of the 55 hypergraphs with at most four incidences (we give proofs only for six cases). We prove some exact formulae and recurrences for the numbers of hypergraphs, simple and all, with n incidences and derive rough logarithmic asymptotics of these numbers. Identities analogous to Dobinski's formula for Bell numbers are given.
Random Combinatorial structures:the convergent case
Published in Journal of Combinatorial Theory, Series A 109(2005) 203-220
• View Publication
• BIB
This paper studies the distribution of the component spectrum of combinatorial structures such as uniform random forests, in which the classical generating function for the numbers of (irreducible) elements of the different sizes converges at the radius of convergence; here, this property is expressed in terms of the expectations of {\it independent} random variables $Z_j$, $j\ge1$, whose joint distribution, conditional on the event that $\sum_{j=1}^n jZ_j = n$, gives the distribution of the component spectrum for a random structure of size $n$. For a large class of such structures, we show that the component spectrum is asymptotically composed of $Z_j$ components of size $j$, $j\ge1$, with the remaining part, of size $n-\sum_{j\ge1} Z_j$, being made up of a single, giant component.
Extremal problems for ordered (hyper)graphs: applications of Davenport-Schinzel sequences
Published
• View Publication
• BIB
We introduce a containment relation of hypergraphs which respects linear orderings of vertices and investigate associated extremal functions. We extend, by means of a more generally applicable theorem, the n.log n upper bound on the ordered graph extremal function of F=({1,3}, {1,5}, {2,3}, {2,4}) due to Z. Furedi to the n.(log n)^2.(loglog n)^3 upper bound in the hypergraph case. We use Davenport-Schinzel sequences to derive almost linear upper bounds in terms of the inverse Ackermann function. We obtain such upper bounds for the extremal functions of forests consisting of stars whose all centers precede all leaves.
The $E_t$-Construction for Lattices, Spheres and Polytopes
Published
• View Publication
• BIB
We describe and analyze a new construction that produces new Eulerian lattices from old ones. It specializes to a construction that produces new strongly regular cellular spheres (whose face lattices are Eulerian). The construction does not always specialize to convex polytopes; however, in a number of cases where we can realize it, it produces interesting classes of polytopes. Thus we produce an infinite family of rational 2-simplicial 2-simple 4-polytopes, as requested by Eppstein, Kuperberg and Ziegler. We also construct for each $d\ge3$ an infinite family of $(d-2)$-simplicial 2-simple $d$-polytopes, thus solving a problem of Grünbaum.
On the existence of cyclic difference sets with small parameters
Published
• View Publication
• BIB
Previous surveys by Baumert and Lopez and Sanchez have resolved the existence of cyclic (v,k,lambda) difference sets with k <= 150, except for six open cases. In this paper we show that four of those difference sets do not exist. We also look at the existence of difference sets with k <= 300 and cyclic Hadamard difference sets with v <= 10,000. Finally, we extend an earlier search of the second author to show that no cyclic projective planes exist with non-prime power orders up to two billion.
On the ubiquity of Sidon sets
Published in Number theory (New York, 2003), Springer, New York, 2004, pages 263--272
• View Publication
• BIB
A Sidon set is a set A of integers such that no integer has two essentially distinct representations as the sum of two elements of A. More generally, for every positive integer g, a B_2[g]-set is a set A of integers such that no integer has more than g essentially distinct representations as the sum of two elements of A. It is proved that almost all small sumsets of {1,2,...,n} are B_2[g]-sets, in the sense that if B_2[g](k,n) denotes the number of B_2[g]-sets of cardinality k contained in the interval {1,2,...,n}, then lim_{n\to\infty} B_2[g](k,n)/\binom{n}{k} = 1 if k = o(n^{g/(2g+2)}).
Simultaneous avoidance of large squares and fractional powers in infinite binary words
Published
• View Publication
• BIB
In 1976, Dekking showed that there exists an infinite binary word that contains neither squares yy with y >= 4 nor cubes xxx. We show that `cube' can be replaced by any fractional power > 5/2. We also consider the analogous problem where `4' is replaced by any integer. This results in an interesting and subtle hierarchy.
Acyclic heaps of pieces, I
Published
• View Publication
• BIB
Heaps of pieces were introduced by Viennot and have applications to algebraic combinatorics, theoretical computer science and statistical physics. In this paper, we how certain combinatorial properties of heaps studied by Fan and by Stembridge are closely related to the properties of a certain linear map $\partial_E$ associated to a heap $E$. We examine the relationship between $\partial_E$ and $\partial_F$ when $F$ is a subheap of $E$. This approach allows neat statements and proofs of results on certain associative algebras (generalized Temperley--Lieb algebras) that are otherwise tricky to prove. The key to the proof is to interpret the structure constants of the aforementioned algebras in terms of the maps $\partial$.
High-Precision Entropy Values for Spanning Trees in Lattices
Published in J. Phys. A 26 (2003), 8361--8365
• View Publication
• BIB
Shrock and Wu have given numerical values for the exponential growth rate of the number of spanning trees in Euclidean lattices. We give a new technique for numerical evaluation that gives much more precise values, together with rigorous bounds on the accuracy. In particular, the new values resolve one of their questions.
Topological properties of active orders for matroid bases
Published
• View Publication
• BIB
Las Vergnas introduced several lattice structures on the bases of an ordered matroid M by using their external and internal activities. He also noted that when computing the Moebius function of these lattices, it was often zero, although he had no explanation for that fact. The purpose of this paper is to provide a topological reason for this phenomenon. In particular, we show that the order complex of the external lattice L of M is homotopic to the independence complex of the restriction M^*|T where M^* is the dual of M and T is the top element of L. We then compute some examples showing that this latter complex is often contractible which forces all its homology groups, and thus its Moebius function, to vanish. A theorem of Björner also helps us to calculate the homology of the matroid complex.
Random points, convex bodies, lattices
Published in Proceedings of the ICM, Beijing 2002, vol. 3, 527--536
• Search Publication
Assume $K$ is a convex body in $R^d$, and $X$ is a (large) finite subset of $K$. How many convex polytopes are there whose vertices come from $X$? What is the typical shape of such a polytope? How well the largest such polytope (which is actually $\conv X$) approximates $K$? We are interested in these questions mainly in two cases. The first is when $X$ is a random sample of $n$ uniform, independent points from $K$ and is motivated by Sylvester's four-point problem, and by the theory of random polytopes. The second case is when $X=K \cap Z^d$ where $Z^d$ is the lattice of integer points in $R^d$. Motivation comes from integer programming and geometry of numbers. The two cases behave quite similarly.
Combinatorial problems in finite geometry and lacunary polynomials
Published in Proceedings of the ICM, Beijing 2002, vol. 3, 537--546
• Search Publication
We describe some combinatorial problems in finite projective planes and indicate how Rédei's theory of lacunary polynomials can be applied to them.