BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jonah Blasiak

Jonah Blasiak appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.RTmath.RAmath.QAComputational ComplexityData Structures and Algorithmsmath.GR

Catalog footprint

What is connected

14works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Matrix multiplication via matrix groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Demazure crystals and the Schur positivity of Catalan functions

Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include $k$-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of $U_q(\widehat{\mathfrak{sl}}_\ell)$-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Noncommutative Schur functions, switchboards, and Schur positivity

The machinery of noncommutative Schur functions provides a general tool for obtaining Schur expansions for combinatorially defined symmetric functions. We extend this approach to a wider class of symmetric functions, explore its strengths and limitations, and obtain new results on Schur positivity. We introduce combinatorial gadgets called switchboards, an adaptation of the D graphs of S. Assaf, and show how symmetric functions associated to them (which include LLT, Macdonald, Stanley, and stable Grothendieck polynomials) fit into the noncommutative Schur functions approach. This extends earlier work by T. Lam, and by C. Greene and the second author, and provides new tools for obtaining combinatorial formulas for Schur expansions of LLT polynomials. This paper can be regarded as a "prequel" to (and, partly, a review of) arXiv:1411.3624, arXiv:1411.3646, and arXiv:1510.00644.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

What makes a D_0 graph Schur positive?

We define a D_0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form ...bac... <--> ...bca... or ...acb... <--> ...cab... (Knuth transformations), or ...bac... <--> ...acb... or ...bca... <--> ...cab... (rotation transformations), such that whenever the Knuth and rotation transformations at positions i-1, i, i+1 are available at a vertex, exactly one of these is an edge. The generating function of such a graph is the sum of the quasisymmetric functions associated to the descent sets of its vertices. Assaf studied D_0 graphs in the paper *Dual equivalence and Schur positivity* and showed that they provide a rich source of examples of the D graphs defined in the paper *Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity*. A key construction of Assaf expresses the coefficient of q^t in an LLT polynomial as the generating function of a certain D_0 graph. LLT polynomials are known to be Schur positive by work of Grojnowski-Haiman, and experimentation shows that many D_0 graphs have Schur positive generating functions, which suggests a vast generalization of LLT positivity in this setting. As part of a series of papers, we study D_0 graphs using the Fomin-Greene theory of noncommutative Schur functions. We construct a D_0 graph whose generating function is not Schur positive by solving a linear program related to a certain noncommutative Schur function. We go on to construct a D graph on the same vertex set as this D_0 graph.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Kronecker coefficients and noncommutative super Schur functions

The theory of noncommutative Schur functions can be used to obtain positive combinatorial formulae for the Schur expansion of various classes of symmetric functions, as shown by Fomin and Greene. We develop a theory of noncommutative super Schur functions and use it to prove a positive combinatorial rule for the Kronecker coefficients where one of the partitions is a hook, recovering previous results of the two authors. This method also gives a precise connection between this rule and a heuristic for Kronecker coefficients first investigated by Lascoux.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Haglund's conjecture on 3-column Macdonald polynomials

We prove a positive combinatorial formula for the Schur expansion of LLT polynomials indexed by a 3-tuple of skew shapes. This verifies a conjecture of Haglund. The proof requires expressing a noncommutative Schur function as a positive sum of monomials in Lam's algebra of ribbon Schur operators. Combining this result with the expression of Haglund, Haiman, and Loehr for transformed Macdonald polynomials in terms of LLT polynomials then yields a positive combinatorial rule for transformed Macdonald polynomials indexed by a shape with 3 columns.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Nonstandard braid relations and Chebyshev polynomials

A fundamental open problem in algebraic combinatorics is to find a positive combinatorial formula for Kronecker coefficients, which are multiplicities of the decomposition of the tensor product of two §_r-irreducibles into irreducibles. Mulmuley and Sohoni attempt to solve this problem using canonical basis theory, by first constructing a nonstandard Hecke algebra B_r, which, though not a Hopf algebra, is a u-analogue of the Hopf algebra \CC §_r in some sense (where u is the Hecke algebra parameter). For r=3, we study this Hopf-like structure in detail. We define a nonstandard Hecke algebra \bar{\H}^{(k)}_3 \subseteq \H_3^{\tsr k}, determine its irreducible representations over \QQ(u), and show that it has a presentation with a nonstandard braid relation that involves Chebyshev polynomials evaluated at \frac{1}{u + u^{-1}}. We generalize this to Hecke algebras of dihedral groups. We go on to show that these nonstandard Hecke algebras have bases similar to the Kazhdan-Lusztig basis of \H_3 and are cellular algebras in the sense of Graham and Lehrer.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Subalgebras of the Fomin-Kirillov algebra

The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative quadratic algebra with a generator for every edge of the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, we define $\mathcal E_G$ to be the subalgebra of $\mathcal E_n$ generated by the edges of $G$. We show that these algebras have many parallels with Coxeter groups and their nil-Coxeter algebras: for instance, $\mathcal E_G$ is a free $\mathcal E_H$-module for any $H\subseteq G$, and if $\mathcal E_G$ is finite-dimensional, then its Hilbert series has symmetric coefficients. We determine explicit monomial bases and Hilbert series for $\mathcal E_G$ when $G$ is a simply-laced finite Dynkin diagram or a cycle, in particular showing that $\mathcal E_G$ is finite-dimensional in these cases. We also present conjectures for the Hilbert series of $\mathcal E_{\tilde{D}_n}$, $\mathcal E_{\tilde{E}_6}$, and $\mathcal E_{\tilde{E}_7}$, as well as for which graphs $G$ on six vertices $\mathcal E_G$ is finite-dimensional.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Geometric Complexity Theory IV: nonstandard quantum group for the Kronecker problem

The Kronecker coefficient g_{λμν} is the multiplicity of the GL(V)\times GL(W)-irreducible V_λ\otimes W_μin the restriction of the GL(X)-irreducible X_νvia the natural map GL(V)\times GL(W) \to GL(V \otimes W), where V, W are \mathbb{C}-vector spaces and X = V \otimes W. A fundamental open problem in algebraic combinatorics is to find a positive combinatorial formula for these coefficients. We construct two quantum objects for this problem, which we call the nonstandard quantum group and nonstandard Hecke algebra. We show that the nonstandard quantum group has a compact real form and its representations are completely reducible, that the nonstandard Hecke algebra is semisimple, and that they satisfy an analog of quantum Schur-Weyl duality. Using these nonstandard objects as a guide, we follow the approach of Adsul, Sohoni, and Subrahmanyam to construct, in the case dim(V) = dim(W) =2, a representation \check{X}_νof the nonstandard quantum group that specializes to Res_{GL(V) \times GL(W)} X_νat q=1. We then define a global crystal basis +HNSTC(ν) of \check{X}_νthat solves the two-row Kronecker problem: the number of highest weight elements of +HNSTC(ν) of weight (λ,μ) is the Kronecker coefficient g_{λμν}. We go on to develop the beginnings of a graphical calculus for this basis, along the lines of the U_q(\sl_2) graphical calculus, and use this to organize the crystal components of +HNSTC(ν) into eight families. This yields a fairly simple, explicit and positive formula for two-row Kronecker coefficients, generalizing a formula of Brown, van Willigenburg, and Zabrocki. As a byproduct of the approach, we also obtain a rule for the decomposition of Res_{GL_2 \times GL_2 \rtimes §_2} X_νinto irreducibles.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Kronecker coefficients for one hook shape

We give a positive combinatorial formula for the Kronecker coefficient g_{lambda mu(d) nu} for any partitions lambda, nu of n and hook shape mu(d) := (n-d,1^d). Our main tool is Haiman's \emph{mixed insertion}. This is a generalization of Schensted insertion to \emph{colored words}, words in the alphabet of barred letters \bar{1},\bar{2},... and unbarred letters 1,2,.... We define the set of \emph{colored Yamanouchi tableaux of content lambda and total color d} (CYT_{lambda, d}) to be the set of mixed insertion tableaux of colored words w with exactly d barred letters and such that w^{blft} is a Yamanouchi word of content lambda, where w^{blft} is the ordinary word formed from w by shuffling its barred letters to the left and then removing their bars. We prove that g_{lambda mu(d) nu} is equal to the number of CYT_{lambda, d} of shape nu with unbarred southwest corner.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Representation theory of the nonstandard Hecke algebra

The nonstandard Hecke algebra \check{\mathscr{H}}_r was defined by Mulmuley and Sohoni to study the Kronecker problem. We study a quotient \check{\mathscr{H}}_{r,2} of \check{\mathscr{H}}_r, called the nonstandard Temperley-Lieb algebra, which is a subalgebra of the symmetric square of the Temperley-Lieb algebra TL_r. We give a complete description of its irreducible representations. We find that the restriction of an \check{\mathscr{H}}_{r,2}-irreducible to \check{\mathscr{H}}_{r-1,2} is multiplicity-free, and as a consequence, any \check{\mathscr{H}}_{r,2}-irreducible has a seminormal basis that is unique up to a diagonal transformation.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Cyclage, catabolism, and the affine Hecke algebra

We identify a subalgebra \pH_n of the extended affine Hecke algebra \eH_n of type A. The subalgebra \pH_n is a \u-analogue of the monoid algebra of §_n \ltimes \ZZ_{\geq 0}^n and inherits a canonical basis from that of \eH_n. We show that its left cells are naturally labeled by tableaux filled with positive integer entries having distinct residues mod n, which we term \emph{positive affine tableaux} (PAT). We then exhibit a cellular subquotient \R_{1^n} of \pH_n that is a \u-analogue of the ring of coinvariants \CC[y_1,...,y_n]/(e_1,...,e_n) with left cells labeled by PAT that are essentially standard Young tableaux with cocharge labels. Multiplying canonical basis elements by a certain element π\in \pH_n corresponds to rotations of words, and on cells corresponds to cocyclage. We further show that \R_{1^n} has cellular quotients \R_λthat are \u-analogues of the Garsia-Procesi modules R_λwith left cells labeled by (a PAT version of) the λ-catabolizable tableaux. We give a conjectural description of a cellular filtration of \pH_n, the subquotients of which are isomorphic to dual versions of \R_λunder the perfect pairing on \R_{1^n}. We conjecture how this filtration relates to the combinatorics of the cells of \eH_n worked out by Shi, Lusztig, and Xi. We also conjecture that the k-atoms of Lascoux, Lapointe, and Morse and the R-catabolizable tableaux of Shimozono and Weyman have cellular counterparts in \pH_n. We extend the idea of atom copies of Lascoux, Lapoint, and Morse to positive affine tableaux and give descriptions, mostly conjectural, of some of these copies in terms of catabolizability.

0 citations0 reviewsNo code linkedOpen access