skip to main content


Search for: All records

Creators/Authors contains: "Blasiak, Jonah"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Abstract

    We identify certain combinatorially defined rational functions which, under the shuffle to Schiffmann algebra isomorphism, map to LLT polynomials in any of the distinguished copiesΛ(Xm,n)E\Lambda(X^{m{,}n})\subset\mathcal{E}of the algebra of symmetric functions embedded in the elliptic Hall algebra ℰ of Burban and Schiffmann.As a corollary, we deduce an explicit raising operator formula for the ∇ operator applied to any LLT polynomial.In particular, we obtain a formula formsλ\nabla^{m}s_{\lambda}which serves as a starting point for our proof of the Loehr–Warrington conjecture in a companion paper to this one.

     
    more » « less
    Free, publicly-accessible full text available April 23, 2025
  2. Tauman Kalai, Yael (Ed.)
    In 2003, Cohn and Umans proposed a group-theoretic approach to bounding the exponent of matrix multiplication. Previous work within this approach ruled out certain families of groups as a route to obtaining ω = 2, while other families of groups remain potentially viable. In this paper we turn our attention to matrix groups, whose usefulness within this framework was relatively unexplored. We first show that groups of Lie type cannot prove ω = 2 within the group-theoretic approach. This is based on a representation-theoretic argument that identifies the second-smallest dimension of an irreducible representation of a group as a key parameter that determines its viability in this framework. Our proof builds on Gowers' result concerning product-free sets in quasirandom groups. We then give another barrier that rules out certain natural matrix group constructions that make use of subgroups that are far from being self-normalizing. Our barrier results leave open several natural paths to obtain ω = 2 via matrix groups. To explore these routes we propose working in the continuous setting of Lie groups, in which we develop an analogous theory. Obtaining the analogue of ω = 2 in this potentially easier setting is a key challenge that represents an intermediate goal short of actually proving ω = 2. We give two constructions in the continuous setting, each of which evades one of our two barriers. 
    more » « less
  3. Abstract We prove the extended delta conjecture of Haglund, Remmel and Wilson, a combinatorial formula for $\Delta _{h_l}\Delta ' _{e_k} e_{n}$ , where $\Delta ' _{e_k}$ and $\Delta _{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary symmetric function. We actually prove a stronger identity of infinite series of $\operatorname {\mathrm {GL}}_m$ characters expressed in terms of LLT series. This is achieved through new results in the theory of the Schiffmann algebra and its action on the algebra of symmetric functions. 
    more » « less
  4. Abstract We generalize the shuffle theorem and its $(km,kn)$ version, as conjectured by Haglund et al. and Bergeron et al. and proven by Carlsson and Mellit, and Mellit, respectively. In our version the $(km,kn)$ Dyck paths on the combinatorial side are replaced by lattice paths lying under a line segment whose x and y intercepts need not be integers, and the algebraic side is given either by a Schiffmann algebra operator formula or an equivalent explicit raising operator formula. We derive our combinatorial identity as the polynomial truncation of an identity of infinite series of $\operatorname {\mathrm {GL}}_{l}$ characters, expressed in terms of infinite series versions of LLT polynomials. The series identity in question follows from a Cauchy identity for nonsymmetric Hall–Littlewood polynomials. 
    more » « less
  5. We prove that the K-k-Schur functions are part of a family of inhomogenous symmetric functions whose top homogeneous components are Catalan functions, the Euler characteristics of certain vector bundles on the flag variety. Lam-Schilling-Shimozono identified the K-k-Schur functions as Schubert representatives for K-homology of the affine Grassmannian for SL_{k+1}. Our perspective reveals that the K-k-Schur functions satisfy a shift invariance property, and we deduce positivity of their branching coefficients from a positivity result of Baldwin and Kumar. We further show that a slight adjustment of our formulation for K-k-Schur functions produces a second shift-invariant basis which conjecturally has both positive branching and a rectangle factorization property. Building on work of Ikeda-Iwao-Maeno, we conjecture that this second basis gives the images of the Lenart-Maeno quantum Grothendieck polynomials under a K-theoretic analog of the Peterson isomorphism. 
    more » « less
  6. null (Ed.)