Showing 20 papers (Total: 81680 papers, 47334 authors in database)
A Kruskal-Katona Type Theorem for Graphs
Published
• View Publication
• BIB
A bound on consecutive clique numbers of graphs is established. This bound is evaluated and shown to often be much better than the bound of the Kruskal-Katona theorem. A bound on non-consecutive clique numbers is also proven.
Quasisymmetric functions and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.
The importance of the Selberg integral
Published in Bull. Amer. Math. Soc. (N.S.) 45 (2008), 489-534.
• View Publication
• BIB
It has been remarked that a fair measure of the impact of Atle Selberg's work is the number of mathematical terms which bear his name. One of these is the Selberg integral, an n-dimensional generalization of the Euler beta integral. We trace its sudden rise to prominence, initiated by a question to Selberg from Enrico Bombieri, more than thirty years after publication. In quick succession the Selberg integral was used to prove an outstanding conjecture in random matrix theory, and cases of the Macdonald conjectures. It further initiated the study of q-analogues, which in turn enriched the Macdonald conjectures. We review these developments and proceed to exhibit the sustained prominence of the Selberg integral, evidenced by its central role in random matrix theory, Calogero-Sutherland quantum many body systems, Knizhnik-Zamolodchikov equations, and multivariable orthogonal polynomial theory.
On the critical exponent of generalized Thue-Morse words
Published in Discrete Mathematics and Theoretical Computer Science 9 (2007) 293-304
• Search Publication
For certain generalized Thue-Morse words t, we compute the "critical exponent", i.e., the supremum of the set of rational numbers that are exponents of powers in t, and determine exactly the occurrences of powers realizing it.
Area limit laws for symmetry classes of staircase polygons
Published in Combin. Probab. Comput. 19 (2010), no. 3, 441-461
• View Publication
• BIB
We derive area limit laws for the various symmetry classes of staircase polygons on the square lattice, in a uniform ensemble where, for fixed perimeter, each polygon occurs with the same probability. This complements a previous study by Leroux and Rassart, where explicit expressions for the area and perimeter generating functions of these classes have been derived.
Crossings and nesting in tangled-diagrams
Published
• View Publication
• BIB
A tangled-diagram over $[n]=\{1,...,n\}$ is a graph of degree less than two whose vertices $1,...,n$ are arranged in a horizontal line and whose arcs are drawn in the upper halfplane with a particular notion of crossings and nestings. Generalizing the construction of Chen {\it et.al.} we prove a bijection between generalized vacillating tableaux with less than $k$ rows and $k$-noncrossing tangled-diagrams and study their crossings and nestings. We show that the number of $k$-noncrossing and $k$-nonnesting tangled-diagrams are equal and enumerate tangled-diagrams.
Extremal problems on triangle areas in two and three dimensions
Published in J. Combin. Theory Ser. A 116 (2009), 1177-1198
• View Publication
• BIB
The study of extremal problems on triangle areas was initiated in a series of papers by Erdős and Purdy in the early 1970s. In this paper we present new results on such problems, concerning the number of triangles of the same area that are spanned by finite point sets in the plane and in 3-space, and the number of distinct areas determined by the triangles.
In the plane, our main result is an $O(n^{44/19}) =O(n^{2.3158})$ upper bound on the number of unit-area triangles spanned by $n$ points, which is the first breakthrough improving the classical bound of $O(n^{7/3})$ from 1992. We also make progress in a number of important special cases: We show that (i) For points in convex position, there exist $n$-element point sets that span $Ω(n\log n)$ triangles of unit area. (ii) The number of triangles of minimum (nonzero) area determined by $n$ points is at most ${2/3}(n^2-n)$; there exist $n$-element point sets (for arbitrarily large $n$) that span $(6/π^2-o(1))n^2$ minimum-area triangles. (iii) The number of acute triangles of minimum area determined by $n$ points is O(n); this is asymptotically tight. (iv) For $n$ points in convex position, the number of triangles of minimum area is O(n); this is asymptotically tight. (v) If no three points are allowed to be collinear, there are $n$-element point sets that span $Ω(n\log n)$ minimum-area triangles (in contrast to (ii), where collinearities are allowed and a quadratic lower bound holds).
In 3-space we prove an $O(n^{17/7}β(n))= O(n^{2.4286})$ upper bound on the number of unit-area triangles spanned by $n$ points, where $β(n)$ is an extremely slowly growing function related to the inverse Ackermann function. The best previous bound, $O(n^{8/3})$, is an old result from 1971.
Unsigned state models for the Jones polynomial
Published in Ann. Comb., 15 (2011) 127-146
• View Publication
• BIB
It is well a known and fundamental result that the Jones polynomial can be expressed as Potts and vertex partition functions of signed plane graphs. Here we consider constructions of the Jones polynomial as state models of unsigned graphs and show that the Jones polynomial of any link can be expressed as a vertex model of an unsigned embedded graph.
In the process of deriving this result, we show that for every diagram of a link in the 3-sphere there exists a diagram of an alternating link in a thickened surface (and an alternating virtual link) with the same Kauffman bracket. We also recover two recent results in the literature relating the Jones and Bollobas-Riordan polynomials and show they arise from two different interpretations of the same embedded graph.
Hook-content formulae for symplectic and orthogonal tableaux
Published in Can. Math. Bull. 55 (2012) 462-473
• View Publication
• BIB
By considering the specialisation $s_λ(1,q,q^2,...,q^{n-1})$ of the Schur function, Stanley was able to describe a formula for the number of semistandard Young tableaux of shape $λ$ in terms of two properties of the boxes in the diagram for $λ$. Using specialisations of symplectic and orthogonal Schur functions, we derive corresponding formulae, first given by El Samra and King, for the number of semistandard symplectic and orthogonal $λ$-tableaux.
Message passing for the coloring problem: Gallager meets Alon and Kahale
Published in DMTCS Proceedings of the 13th Annual Conference on Analysis of Algorithms (AofA'07), Juan-les-pins, France, 2007. pp. 217--226.
• View Publication
• BIB
Message passing algorithms are popular in many combinatorial optimization problems. For example, experimental results show that {\em survey propagation} (a certain message passing algorithm) is effective in finding proper $k$-colorings of random graphs in the near-threshold regime. In 1962 Gallager introduced the concept of Low Density Parity Check (LDPC) codes, and suggested a simple decoding algorithm based on message passing. In 1994 Alon and Kahale exhibited a coloring algorithm and proved its usefulness for finding a $k$-coloring of graphs drawn from a certain planted-solution distribution over $k$-colorable graphs. In this work we show an interpretation of Alon and Kahale's coloring algorithm in light of Gallager's decoding algorithm, thus showing a connection between the two problems - coloring and decoding. This also provides a rigorous evidence for the usefulness of the message passing paradigm for the graph coloring problem. Our techniques can be applied to several other combinatorial optimization problems and networking-related issues.
On the number of tetrahedra with minimum, unit, and distinct volumes in three-space
Published in Combinatorics Probability and Computing 17 (2008), 203-224
• View Publication
• BIB
We formulate and give partial answers to several combinatorial problems on volumes of simplices determined by $n$ points in 3-space, and in general in $d$ dimensions. (i) The number of tetrahedra of minimum (nonzero) volume spanned by $n$ points in $\RR^3$ is at most ${2/3}n^3-O(n^2)$, and there are point sets for which this number is ${3/16}n^3-O(n^2)$. We also present an $O(n^3)$ time algorithm for reporting all tetrahedra of minimum nonzero volume, and thereby extend an algorithm of Edelsbrunner, O'Rourke, and Seidel. In general, for every $k,d\in \NN$, $1\leq k \leq d$, the maximum number of $k$-dimensional simplices of minimum (nonzero) volume spanned by $n$ points in $\RR^d$ is $Θ(n^k)$. (ii) The number of unit-volume tetrahedra determined by $n$ points in $\RR^3$ is $O(n^{7/2})$, and there are point sets for which this number is $Ω(n^3 \log \log{n})$. (iii) For every $d\in \NN$, the minimum number of distinct volumes of all full-dimensional simplices determined by $n$ points in $\RR^d$, not all on a hyperplane, is $Θ(n)$.
Cells and Constructible Representations in type B
We examine the partition of a finite Coxeter group of type $B$ into cells determined by a weight function $L$. The main objective of these notes is to reconcile Lusztig's description of constructible representations in this setting with conjectured combinatorial descriptions of cells.
Generalizations of Schöbi's Tetrahedral Dissection
Published in Discrete Computational Geom. 41 (2009), 232-248
• View Publication
• BIB
Let v_1, ..., v_n be unit vectors in R^n such that v_i . v_j = -w for i != j, where -1 <w < 1/(n-1). The points Sum_{i=1..n} lambda_i v_i, where 1 >= lambda_1 >= ... >= lambda_n >= 0, form a ``Hill-simplex of the first type'', denoted by Q_n(w). It was shown by Hadwiger in 1951 that Q_n(w) is equidissectable with a cube. In 1985, Schöbi gave a three-piece dissection of Q_3(w) into a triangular prism c Q_2(1/2) X I, where I denotes an interval and c = sqrt{2(w+1)/3}. The present paper generalizes Schöbi's dissection to an n-piece dissection of Q_n(w) into a prism c Q_{n-1}(1/(n-1)) X I, where c = sqrt{(n-1)(w+1)/n}. Iterating this process leads to a dissection of Q_n(w) into an n-dimensional rectangular parallelepiped (or ``brick'') using at most n! pieces. The complexity of computing the map from Q_n(w) to the brick is O(n^2). A second generalization of Schöbi's dissection is given which applies specifically in R^4. The results have applications to source coding and to constant-weight binary codes.
Quasirandom groups
Published
• View Publication
• BIB
Babai and Sós have asked whether there exists a constant c>0 such that every finite group G has a product-free subset of size at least c|G|: that is, a subset X that does not contain three elements x, y and z with xy=z. In this paper we show that the answer is no. Moreover, we give a simple sufficient condition for a group not to have any large product-free subset.
2-pile Nim with a Restricted Number of Move-size Imitations
Published
• View Publication
• BIB
We study a variation of the combinatorial game of 2-pile Nim. Move as in 2-pile Nim but with the following constraint:
Suppose the previous player has just removed say $x>0$ tokens from the shorter pile (either pile in case they have the same height). If the next player now removes $x$ tokens from the larger pile, then he imitates his opponent. For a predetermined natural number $p$, by the rules of the game, neither player is allowed to imitate his opponent on more than $p-1$ consecutive moves.
We prove that the strategy of this game resembles closely that of a variant of Wythoff Nim--a variant with a blocking manoeuvre on $p-1$ diagonal positions. In fact, we show a slightly more general result in which we have relaxed the notion of what an imitation is.
The combinatorics of Bogoliubov's recursion in renormalization
Published in Renormalization and Galois Theories. IRMA Lectures in Mathematics and Theoretical Physics Vol. 15, 2009
• View Publication
• BIB
We describe various combinatorial aspects of the Birkhoff-Connes-Kreimer factorization in perturbative renormalisation. The analog of Bogoliubov's preparation map on the Lie algebra of Feynman graphs is identified with the pre-Lie Magnus expansion. Our results apply to any connected filtered Hopf algebra, based on the pro-nilpotency of the Lie algebra of infinitesimal characters.
Weighted Sequences in Finite Cyclic Groups
Let $p>7$ be a prime, let $G=\Z/p\Z$, and let $S_1=\prod_{i=1}^p g_i$ and $S_2=\prod_{i=1}^p h_i$ be two sequences with terms from $G$. Suppose that the maximum multiplicity of a term from either $S_1$ or $S_2$ is at most $\frac{2p+1}{5}$. Then we show that, for each $g\in G$, there exists a permutation $σ$ of $1,2,..., p$ such that $g=\sum_{i=1}^{p}(g_i\cdot h_{σ(i)})$. The question is related to a conjecture of A. Bialostocki concerning weighted subsequence sums and the Erdős-Ginzburg-Ziv Theorem.
Linkages in Polytope Graphs
Published
• View Publication
• BIB
A graph is k-linked if any k disjoint vertex-pairs can be joined by k disjoint paths. We improve a lower bound on the linkedness of polytopes slightly, which results in exact values for the minimal linkedness of 7-, 10- and 13-dimensional polytopes.
We analyze in detail linkedness of polytopes on at most (6d+7)/5 vertices. In that case, a sharp lower bound on minimal linkedness is derived, and examples meeting this lower bound are constructed. These examples contain a class of examples due to Gallivan.
Combinatorial Hopf algebras and Towers of Algebras
Published in 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), 52-59, Discrete Math. Theor. Comput. Sci., 2008
• Search Publication
Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$.
(Non)Commutative Hopf algebras of trees and (quasi)symmetric functions
Published in in Renormalization and Galois Theories, A. Connes et. al. (eds.), EMS Publ. House, Zurich, 2009, pp. 209-227
• View Publication
• BIB
The Connes-Kreimer Hopf algebra of rooted trees, its dual, and the Foissy Hopf algebra of of planar rooted trees are related to each other and to the well-known Hopf algebras of symmetric and quasi-symmetric functions via a pair of commutative diagrams. We show how this point of view can simplify computations in the Connes-Kreimer Hopf algebra and its dual, particularly for combinatorial Dyson-Schwinger equations.