Showing 20 papers (Total: 81680 papers, 47334 authors in database)
A Taylor expansion theorem for an elliptic extension of the Askey-Wilson operator
Published in Contemp. Math. 471 (2008), 175-186
• View Publication
• BIB
We establish Taylor series expansions in rational (and elliptic) function bases using E. Rains' elliptic extension of the Askey-Wilson divided difference operator. The expansion theorem we consider extends M.E.H. Ismail's expansion for the Askey-Wilson monomial basis. Three immediate applications (essentially already due to Rains) include simple proofs of Frenkel and Turaev's elliptic extensions of Jackson's 8-phi-7 summation and of Bailey's 10-phi-9 transformation, and the computation of the connection coefficients of Spiridonov's elliptic extension of Rahman's biorthogonal rational functions. We adumbrate other examples including the nonterminating extension of Jackson's 8-phi-7 summation and a quadratic expansion.
On the size of Kakeya sets in finite fields
Published
• View Publication
• BIB
A Kakeya set is a subset of F^n, where F is a finite field of q elements, that contains a line in every direction. In this paper we show that the size of every Kakeya set is at least C_n * q^n, where C_n depends only on n. This improves the previously best lower bound for general n of ~q^{4n/7}.
Unavoidable patterns
Published
• View Publication
• BIB
Let \mathcal{F}_k denote the family of 2-edge-colored complete graphs on 2k vertices in which one color forms either a clique of order k or two disjoint cliques of order k. Bollobás conjectured that for every ε>0 and positive integer k there is an n(k,ε) such that every 2-edge-coloring of the complete graph of order n \geq n(k,ε) which has at least ε{n \choose 2} edges in each color contains a member of \mathcal{F}_k. This conjecture was proved by Cutler and Montágh, who showed that n(k,ε)<4^{k/ε}. We give a much simpler proof of this conjecture which in addition shows that n(k,ε)<ε^{-ck} for some constant c. This bound is tight up to the constant factor in the exponent for all k and ε. We also discuss similar results for tournaments and hypergraphs.
A bijective proof of a factorization formula for Macdonald polynomials at roots of unity
Published
• View Publication
• BIB
We give a combinatorial proof of the factorization formula of modified Macdonald polynomials when the parameter t is specialized at a primitive root of unity. Our proof is restricted to the special case of partitions with 2 columns. We mainly use the combinatorial interpretation of Haglund, Haiman and Loehr giving the expansion of the modified Macdonald polynomials on the monomial basis.
When is a symmetric pin-jointed framework isostatic?
Published
• View Publication
• BIB
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted by the symmetry operations of the framework. In particular, it turns out that an isostatic framework in 2D can belong to one of only six point groups. Some conjectures and initial results are presented that would give sufficient conditions (in both 2D and 3D) for a framework that is realized generically for a given symmetry group to be an isostatic framework.
Matrix factorizations and colored MOY graphs
The contents of this 98-page paper have been subsumed into the 191-page paper "A colored sl(N)-homology for links in S^3" (arXiv:0907.0695v1 [math.GT]), in which we further develop the theory and use it to construct a colored link homology.
Combinatorial properties of the numbers of tableaux of bounded height
We introduce an infinite family of lower triangular matrices $Γ^{(s)}$, where $γ_{n,i}^s$ counts the standard Young tableaux on $n$ cells and with at most $s$ columns on a suitable subset of shapes. We show that the entries of these matrices satisfy a three-term row recurrence and we deduce recursive and asymptotic properties for the total number $τ_s(n)$ of tableaux on $n$ cells and with at most $s$ columns.
Algorithmic barriers from phase transitions
Published in Proc. 49th FOCS (2008) 793 - 802
• View Publication
• BIB
For many random Constraint Satisfaction Problems, by now, we have asymptotically tight estimates of the largest constraint density for which they have solutions. At the same time, all known polynomial-time algorithms for many of these problems already completely fail to find solutions at much smaller densities. For example, it is well-known that it is easy to color a random graph using twice as many colors as its chromatic number. Indeed, some of the simplest possible coloring algorithms already achieve this goal. Given the simplicity of those algorithms, one would expect there is a lot of room for improvement. Yet, to date, no algorithm is known that uses $(2-ε) χ$ colors, in spite of efforts by numerous researchers over the years.
In view of the remarkable resilience of this factor of 2 against every algorithm hurled at it, we believe it is natural to inquire into its origin. We do so by analyzing the evolution of the set of $k$-colorings of a random graph, viewed as a subset of $\{1,...,k\}^{n}$, as edges are added. We prove that the factor of 2 corresponds in a precise mathematical sense to a phase transition in the geometry of this set. Roughly, the set of $k$-colorings looks like a giant ball for $k \ge 2 χ$, but like an error-correcting code for $k \le (2-ε) χ$. We prove that a completely analogous phase transition also occurs both in random $k$-SAT and in random hypergraph 2-coloring. And that for each problem, its location corresponds precisely with the point were all known polynomial-time algorithms fail. To prove our results we develop a general technique that allows us to prove rigorously much of the celebrated 1-step Replica-Symmetry-Breaking hypothesis of statistical physics for random CSPs.
The signed Eulerian numbers on involutions
We define an analogue of signed Eulerian numbers $f_{n,k}$ for involutions of the symmetric group and derive some combinatorial properties of this sequence. In particular, we exhibit both an explicit formula and a recurrence for $f_{n,k}$ arising from the properties of its generating function.
Minimal Stable Sets in Tournaments
Published in Journal of Economic Theory 146(4), 2011
• View Publication
• BIB
We propose a systematic methodology for defining tournament solutions as extensions of maximality. The central concepts of this methodology are maximal qualified subsets and minimal stable sets. We thus obtain an infinite hierarchy of tournament solutions, which encompasses the top cycle, the uncovered set, the Banks set, the minimal covering set, the tournament equilibrium set, the Copeland set, and the bipartisan set. Moreover, the hierarchy includes a new tournament solution, the minimal extending set, which is conjectured to refine both the minimal covering set and the Banks set.
A class of hypergraphs that generalizes chordal graphs
Published
• View Publication
• BIB
In this paper we introduce a class of hypergraphs that we call chordal. We also extend the definition of triangulated hypergraphs, given in \cite{VT}, so that a triangulated hypergraph, according to our definition, is a natural generalization of a chordal (rigid circuit) graph. In \cite{F1}, Fröberg shows that the chordal graphs corresponds to graph algebras, $R/I(\mc{G})$, with linear resolutions. We extend Fröberg's method and show that the hypergraph algebras of generalized chordal hypergraphs, a class of hypergraphs that includes the chordal hypergraphs, have linear resolutions. The definitions we give, yield a natural higher dimensional version of the well known flag property of simplicial complexes. We obtain what we call $d$-flag complexes.
A unified approach on Springer fibers in the hook, two-row and two-column cases
Published
• View Publication
• BIB
We consider the Springer fiber over a nilpotent endomorphism. Fix a Jordan basis and consider the standard torus relative to this. We deal with the problem to describe the flags fixed by the torus which belong to a given component of the Springer fiber. We solve the problem in the hook, two-row and two-column cases. We provide two main characterizations which are common to the three cases, and which involve dominance relations between Young diagrams and combinatorial algorithms. Then, for these three cases, we deduce topological properties of the components and their intersections.
A tropical interpretation of m-dissimilarity maps
Published
• View Publication
• BIB
Let T be a weighted tree with n numbered leaves and let D be its distance matrix, so D(i,j) is the distance between the leaves i and j. If m is an integer between 2 and n, we prove a tropical formula to compute the m-dissimilarity map of T (i.e. the weights of the subtrees of T with m leaves), given D. For m equal to 3, we present a tropical description of the set of m-dissimilarity maps of trees. For m equal to 4, a partial result is given.
Singular components of the Springer fiber in the two-columns case
Published in Ann. Inst. Fourier (Grenoble) 59 (2009) 2429-2444
• View Publication
• BIB
We consider the Springer fiber ${\mathcal B}_u$ corresponding to a nilpotent endomorphism $u$ of nilpotent order 2. As a first result, we give a description of the elements of a given component of ${\mathcal B}_u$ which are fixed by the action of the standard torus relative to some Jordan basis of $u$. By using this result, we establish a necessary and sufficient condition of singularity for the components of ${\mathcal B}_u$.
Diagonal vectors of shifted Young tableaux
We study vectors formed by entries on the diagonal of standard Young tableaux of shifted shapes. Such vectors are in bijection with integer lattice points of certain integral polytopes, which are Minkowski sums of simplices. We also describe vertices of these polytopes, and construct corresponding shifted Young tableaux.
Partition statistics and quasiweak Maass forms
Published
• View Publication
• BIB
Andrews recently introduced k-marked Durfee symbols, which are a generalization of partitions that are connected to moments of Dyson's rank statistic. He used these connections to find identities relating their generating functions as well as to prove Ramanujan-type congruences for these objects and find relations between.
In this paper we show that the hypergeometric generating functions for these objects are natural examples of quasimock theta functions, which are defined as the holomorphic parts of weak Maass forms and their derivatives. In particular, these generating functions may be viewed as analogs of Ramanujan's mock theta functions with arbitrarily high weight. We use the automorphic properties to prove the existence of infinitely many congruences for the Durfee symbols. Furthermore, we show that as k varies, the modularity of the k-marked Durfee symbols is precisely dictated by the case k=2. Finally, we use this relation in order to prove the existence of general congruences for rank moments in terms of level one modular forms of bounded weight.
SPM Bulletin 24
1. A Wikipedia entry on topological games 2. On a fragment of the universal Baire property for sigma^1_2 sets 3. The coarse classification of homogeneous ultra-metric spaces 4. Ramsey-like embeddings 5. Proper and piecewise proper families of reals 6. Measures and their random reals 7. Obtainable Sizes of Topologies on Finite Sets 8. Spaces of R-places of rational function fields 9. All properties in the Scheepers Diagram are linearly-sigma-additive.
Alternatives for Testing Total Dual Integrality
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system's dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and integer programming and they contain Applegate, Cook and McCormick's sufficient condition for the TDI property and Sturmfels' theorem relating toric initial ideals generated by square-free monomials to unimodular triangulations. We also study the theoretical and practical efficiency and limits of the characterizations of the TDI property presented here.
In the particular case of set packing polyhedra our results correspond to endowing the weak perfect graph theorem with an additional, computationally interesting, geometric feature: the normal fan of the stable set polytope of a perfect graph can be refined into a regular triangulation consisting only of unimodular cones.
Superization and (q,t)-specialization in combinatorial Hopf algebras
Published in Electronic J. Combin. 16 (2) (2009), R21
• View Publication
• BIB
We extend a classical construction on symmetric functions, the superization process, to several combinatorial Hopf algebras, and obtain analogs of the hook-content formula for the (q,t)-specializations of various bases. Exploiting the dendriform structures yields in particular (q,t)-analogs of the Bjorner-Wachs q-hook-length formulas for binary trees, and similar formulas for plane trees.
Two remarks on the Burr-Erdos conjecture
Published
• View Publication
• BIB
The Ramsey number r(H) of a graph H is the minimum positive integer N such that every two-coloring of the edges of the complete graph K_N on N vertices contains a monochromatic copy of H. A graph H is d-degenerate if every subgraph of H has minimum degree at most d. Burr and Erdős in 1975 conjectured that for each positive integer d there is a constant c_d such that r(H) \leq c_dn for every d-degenerate graph H on n vertices. We show that for such graphs r(H) \leq 2^{c_d\sqrt{\log n}}n, improving on an earlier bound of Kostochka and Sudakov. We also study Ramsey numbers of random graphs, showing that for d fixed, almost surely the random graph G(n,d/n) has Ramsey number linear in n. For random bipartite graphs, our proof gives nearly tight bounds.