Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Permutation classes of every growth rate above 2.48188
Published
• View Publication
• BIB
We prove that there are permutation classes (hereditary properties of permutations) of every growth rate (Stanley-Wilf limit) at least λ\approx 2.48187, the unique real root of x^5-2x^4-2x^2-2x-1, thereby establishing a conjecture of Albert and Linton.
On the number of orthogonal systems in vector spaces over finite fields
Published
• View Publication
• BIB
Iosevich and Senger (2008) showed that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors. In this note, we provide a graph theoretic proof of this result.
Uneven Splitting of Ham Sandwiches
Published in Discrete and Computational Geometry, Volume 43, Number 4 / Juni 2010, Pages 876-892
• View Publication
• BIB
Let m_1,...,m_n be continuous probability measures on R^n and a_1,...,a_n in [0,1]. When does there exist an oriented hyperplane H such that the positive half-space H^+ has m_i(H^+)=a_i for all i in [n]? It is well known that such a hyperplane does not exist in general. The famous ham sandwich theorem states that if a_i=1/2 for all i, then such a hyperplane always exists.
In this paper we give sufficient criteria for the existence of H for general a_i in [0,1]. Let f_1,...,f_n:S^{n-1}->R^n denote auxiliary functions with the property that for all i the unique hyperplane H_i with normal v that contains the point f_i(v) has m_i(H_i^+)=a_i. Our main result is that if Im(f_1),...,Im(f_n) are bounded and can be separated by hyperplanes, then there exists a hyperplane H with m_i(H^+)=a_i for all i. This gives rise to several corollaries, for instance if the supports of m_1,...,m_n are bounded and can be separated by hyperplanes, then H exists for any choice of a_1,...,a_n in [0,1]. We also obtain results that can be applied if the supports of m_1,...,m_n overlap.
On a Furstenberg-Katznelson-Weiss type theorem over finite fields
Published
• View Publication
• BIB
Using Fourier analysis, Covert, Hart, Iosevich and Uriarte-Tuero (2008) showed that if the cardinality of a subset of the 2-dimensional vector space over a finite field with q elements is >= rq^2, with q^{-1/2} << r <= 1 then it contains an isometric copy of >= crq^3 triangles. In this note, we give a graph theoretic proof of this result.
The fine intersection problem for Steiner triple systems
Published
• View Publication
• BIB
The intersection of two Steiner triple systems (X,A) and (X,B) is the set A intersect B. The fine intersection problem for Steiner triple systems is to determine for each v, the set I(v), consisting of all possible pairs (m,n) such that there exist two Steiner triple systems of order v whose intersection has n blocks over m points. We show that for v = 1 or 3 (mod 6), |I(v)| = Omega(v^3), where previous results only imply that |I(v)| = Omega(v^2).
A new characteristic property of rich words
Published in Theoretical Computer Science 410 (2009) 2860-2863
• View Publication
• BIB
Originally introduced and studied by the third and fourth authors together with J. Justin and S. Widmer in arXiv:0801.1656, rich words constitute a new class of finite and infinite words characterized by containing the maximal number of distinct palindromes. Several characterizations of rich words have already been established. A particularly nice characteristic property is that all 'complete returns' to palindromes are palindromes. In this note, we prove that rich words are also characterized by the property that each factor is uniquely determined by its longest palindromic prefix and its longest palindromic suffix.
The height of random binary unlabelled trees
Published
• View Publication
• BIB
This extended abstract is dedicated to the analysis of the height of non-plane unlabelled rooted binary trees. The height of such a tree chosen uniformly among those of size $n$ is proved to have a limiting theta distribution, both in a central and local sense. Moderate as well as large deviations estimates are also derived. The proofs rely on the analysis (in the complex plane) of generating functions associated with trees of bounded height.
The type of the base ring associated to a transversal polymatroid
In this paper we determine the facets of the polyhedral cone generated by the exponent set of the monomials defining the base ring associated to some transversal polymatroid. We need the description of these facets to find the canonical module of the base ring which is expressed in terms of the relative interior of the cone. This would allow us to compute the $a$-invariant of those base rings. The results presented were discovered by extensive computer algebra experiments performed with {\it{Normaliz}} \cite{BK}.
On rich lines in grids
Published
• View Publication
• BIB
In this paper we show that if one has a grid A x B, where A and B are sets of n real numbers, then there can be only very few ``rich'' lines in certain quite small families. Indeed, we show that if the family has lines taking on n^epsilon distinct slopes, and where each line is parallel to n^epsilon others (so, at least n^(2 epsilon) lines in total), then at least one of these lines must fail to be ``rich''. This result immediately implies non-trivial sum-product inequalities; though, our proof makes use of the Szemeredi-Trotter inequality, which Elekes used in his argument for lower bounds on |C+C| + |C.C|.
Differential operators, shifted parts, and hook lengths
Published
• View Publication
• BIB
We discuss Sekiguchi-type differential operators, their eigenvalues, and a generalization of Andrews-Goulden-Jackson formula. These will be applied to extract explicit formulae involving shifted partitions and hook lengths.
Problems in Additive Number Theory, III: Thematic Seminars at the Centre de Recerca Matematica
Published in Combinatorial and Additive Number Theory, Birkhauser, Basil, 2009, pages 279--297
• View Publication
• BIB
This is a survey of open problems in different parts of combinatorial and additive number theory. The paper is based on lectures at the Centre de Recerca Matematica in Barcelona on January 23 and January 25, 2008.
Comultiplication rules for the double Schur functions and Cauchy identities
Published in Electronic Jour. Combinatorics 16 (2009), R13, 44pp
• View Publication
• BIB
The double Schur functions form a distinguished basis of the ring Λ(x||a) which is a multiparameter generalization of the ring of symmetric functions Λ(x). The canonical comultiplication on Λ(x) is extended to Λ(x||a) in a natural way so that the double power sums symmetric functions are primitive elements. We calculate the dual Littlewood-Richardson coefficients in two different ways thus providing comultiplication rules for the double Schur functions. We also prove multiparameter analogues of the Cauchy identity. A new family of Schur type functions plays the role of a dual object in the identities. We describe some properties of these dual Schur functions including a combinatorial presentation and an expansion formula in terms of the ordinary Schur functions. The dual Littlewood-Richardson coefficients provide a multiplication rule for the dual Schur functions.
Wilf conjecture
Let S(n,k) be the Stirling number of the second kind. Wilf conjectured that the alternating sum of S(n,k) for k from 0 to n is not zero for all n>2. In this paper, we prove that Wilf conjecture is true except at most one number with the properties of weighted Motzkin number.
Spherical Averages on Regular and Semiregular Graphs
In 1966, P. Guenther proved the following result: Given a continuous function f on a compact surface M of constant curvature -1 and its periodic lift g to the universal covering, the hyperbolic plane, then the averages of the lift g over increasing spheres converge to the average of the function f over the surface M. In this article, we prove similar results for functions on the vertices and edges of regular and semiregular graphs, with special emphasis on the convergence rate. We also consider averages over more general sets like arcs, tubes and horocycles.
Splittings of monomial ideals
Published
• View Publication
• BIB
We provide some new conditions under which the graded Betti numbers of a monomial ideal can be computed in terms of the graded Betti numbers of smaller ideals, thus complementing Eliahou and Kervaire's splitting approach. As applications, we show that edge ideals of graphs are splittable, and we provide an iterative method for computing the Betti numbers of the cover ideals of Cohen-Macaulay bipartite graphs. Finally, we consider the frequency with which one can find particular splittings of monomial ideals and raise questions about ideals whose resolutions are characteristic-dependent.
Algebraic Birkhoff decomposition and its applications
Published in Automorphic Forms and the Langlands Program, International Press, 2008, 283-323
• Search Publication
Central in the Hopf algebra approach to the renormalization of perturbative quantum field theory of Connes and Kreimer is their Algebraic Birkhoff Decomposition. In this tutorial article, we introduce their decomposition and prove it by the Atkinson Factorization in Rota-Baxter algebra. We then give some applications of this decomposition in the study of divergent integrals and multiple zeta values.
Structure theorems of mixable shuffle algebras and free commutative Rota-Baxter algebras
We study the ring theoretical structures of mixable shuffle algebras and their associated free commutative Rota-Baxter algebras. For this study we utilize the connection of the mixable shuffle algebras with the overlapping shuffle algebra of Hazewinkel, quasi-shuffle algebras of Hoffman and quasi-symmetric functions. This connection allows us to apply methods and results on shuffle products and Lyndon words on ordered sets. As a result, we obtain structure theorems for a large class of mixable shuffle algebras and free commutative Rota-Baxter algebras with various coefficient rings.
Sparse random graphs with clustering
Published in Random Structures and Algorithms 38 (2011), 269--323
• View Publication
• BIB
In 2007 we introduced a general model of sparse random graphs with independence between the edges. The aim of this paper is to present an extension of this model in which the edges are far from independent, and to prove several results about this extension. The basic idea is to construct the random graph by adding not only edges but also other small graphs. In other words, we first construct an inhomogeneous random hypergraph with independent hyperedges, and then replace each hyperedge by a (perhaps complete) graph. Although flexible enough to produce graphs with significant dependence between edges, this model is nonetheless mathematically tractable. Indeed, we find the critical point where a giant component emerges in full generality, in terms of the norm of a certain integral operator, and relate the size of the giant component to the survival probability of a certain (non-Poisson) multi-type branching process. While our main focus is the phase transition, we also study the degree distribution and the numbers of small subgraphs. We illustrate the model with a simple special case that produces graphs with power-law degree sequences with a wide range of degree exponents and clustering coefficients.
Cluster algebras, quiver representations and triangulated categories
Published
• View Publication
• BIB
This is an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories. It is based on lectures given by the author at summer schools held in 2006 (Bavaria) and 2008 (Jerusalem). In addition to by now classical material, we present the outline of a proof of the periodicity conjecture for pairs of Dynkin diagrams (details will appear elsewhere) and recent results on the interpretation of mutations as derived equivalences.
Hook lengths and shifted parts of partitions
Published
• View Publication
• BIB
Some conjectures on partition hook lengths, recently stated by the author, have been proved and generalized by Stanley, who also needed a formula by Andrews, Goulden and Jackson on symmetric functions to complete his derivation. Another identity on symmetric functions can be used instead. The purpose of this note is to prove it.