Source author record

Karola Mészáros

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.QA

Catalog footprint

Research overview

11works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On the degree of Grothendieck polynomials

A beautiful degree formula for the Grothendieck polynomials was recently given by Pechenik, Speyer, and Weigandt (2021). We provide an alternative proof of their degree formula, utilizing the climbing chain model for Grothendieck polynomials introduced by Lenart, Robinson, and Sottile (2006). Moreover, for any term order satisfying $x_1<x_2<\cdots<x_n$ we present the leading monomial of each homogeneous components of the Grothendieck polynomial $\mathfrak{G}_w(x_1,\ldots,x_n)$ , confirming a conjecture of Hafner (2022). We conclude with a conjecture for the leading monomials of the homogenegous components of $\mathfrak{G}_w(x_1,\ldots,x_n)$ in any term order satisfying $x_1>x_2>\cdots>x_n$ .

preprint2022arXiv

On the support of Grothendieck polynomials

Grothendieck polynomials $\mathfrak{G}_w$ of permutations $w\in S_n$ were introduced by Lascoux and Schützenberger in 1982 as a set of distinguished representatives for the K-theoretic classes of Schubert cycles in the K-theory of the flag variety of $\mathbb{C}^n$ . We conjecture that the exponents of nonzero terms of the Grothendieck polynomial $\mathfrak{G}_w$ form a poset under componentwise comparison that is isomorphic to an induced subposet of $\mathbb{Z}^n$ . When $w\in S_n$ avoids a certain set of patterns, we conjecturally connect the coefficients of $\mathfrak{G}_w$ with the Möbius function values of the aforementioned poset with $\hat{0}$ appended. We prove special cases of our conjectures for Grassmannian and fireworks permutations.

preprint2021arXiv

An orthodontia formula for Grothendieck polynomials

We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools used by Magyar. We apply our formula to prove a necessary divisibility condition for a monomial to appear in a given Grothendieck polynomial.

preprint2021arXiv

Inclusion-exclusion on Schubert polynomials

We prove that an inclusion-exclusion inspired expression of Schubert polynomials of permutations that avoid the patterns 1432 and 1423 is nonnegative. Our theorem implies a partial affirmative answer to a recent conjecture of Yibo Gao about principal specializations of Schubert polynomials. We propose a general framework for finding inclusion-exclusion inspired expression of Schubert polynomials of all permutations.

preprint2020arXiv

Counting integer points of flow polytopes

The Baldoni--Vergne volume and Ehrhart polynomial formulas for flow polytopes are significant in at least two ways. On one hand, these formulas are in terms of Kostant partition functions, connecting flow polytopes to this classical vector partition function fundamental in representation theory. On the other hand the Ehrhart polynomials can be read off from the volume functions of flow polytopes. The latter is remarkable since the leading term of the Ehrhart polynomial of an integer polytope is its volume! Baldoni and Vergne proved these formulas via residues. To reveal the geometry of these formulas, the second author and Morales gave a fully geometric proof for the volume formula and a part generating function proof for the Ehrhart polynomial formula. The goal of the present paper is to provide a fully geometric proof for the Ehrhart polynomial formula of flow polytopes.

preprint2020arXiv

From generalized permutahedra to Grothendieck polynomials via flow polytopes

We study a family of dissections of flow polytopes arising from the subdivision algebra. To each dissection of a flow polytope, we associate a polynomial, called the left-degree polynomial, which we show is invariant of the dissection considered (proven independently by Grinberg). We prove that left-degree polynomials encode integer points of generalized permutahedra. Using that certain left-degree polynomials are related to Grothendieck polynomials, we resolve special cases of conjectures by Monical, Tokcan, and Yong regarding the saturated Newton polytope property of Grothendieck polynomials.

preprint2016arXiv

Flow polytopes with Catalan volumes

The Chan-Robbins-Yuen polytope can be thought of as the flow polytope of the complete graph with netflow vector $(1, 0, \ldots, 0, -1)$ . The normalized volume of the Chan-Robbins-Yuen polytope equals the product of consecutive Catalan numbers, yet there is no combinatorial proof of this fact. We consider a natural generalization of this polytope, namely, the flow polytope of the complete graph with netflow vector $(1,1, 0, \ldots, 0, -2)$ . We show that the volume of this polytope is a certain power of $2$ times the product of consecutive Catalan numbers. Our proof uses constant term identities and further deepens the combinatorial mystery of why these numbers appear. In addition we introduce two more families of flow polytopes whose volumes are given by product formulas.

preprint2015arXiv

h-Polynomials of Reduction Trees

Reduction trees are a way of encoding a substitution procedure dictated by the relations of an algebra. We use reduction trees in the subdivision algebra to construct canonical triangulations of flow polytopes which are shellable. We explain how a shelling of the canonical triangulation can be read off from the corresponding reduction tree in the subdivision algebra. We then introduce the notion of shellable reduction trees in the subdivision and related algebras and define h-polynomials of reduction trees. In the case of the subdivision algebra, the h-polynomials of the canonical triangulations of flow polytopes equal the h-polynomials of the corresponding reduction trees, which motivated our definition. We show that the reduced forms in various algebras, which can be read off from the leaves of the reduction trees, specialize to the shifted h-polynomials of the corresponding reduction trees. This yields a technique for proving nonnegativity properties of reduced forms. As a corollary we settle a conjecture of A.N. Kirillov.

preprint2015arXiv

h-Polynomials via Reduced Forms

The flow polytope $\mathcal{F}_{\widetilde{G}}$ is the set of nonnegative unit flows on the graph $\widetilde{G}$ . The subdivision algebra of flow polytopes prescribes a way to dissect a flow polytope $\mathcal{F}_{\widetilde{G}}$ into simplices. Such a dissection is encoded by the terms of the so called reduced form of the monomial $\prod_{(i,j)\in E(G)}x_{ij}$ . We prove that we can use the subdivision algebra of flow polytopes to construct not only dissections, but also regular flag triangulations of flow polytopes. We prove that reduced forms in the subdivision algebra are generalizations of $h$ -polynomials of the triangulations of flow polytopes. We deduce several corollaries of the above results, most notably proving certain cases of a conjecture of Kirillov about the nonnegativity of reduced forms in the noncommutative quasi-classical Yang-Baxter algebra.

preprint2015arXiv

Pipe dream complexes and triangulations of root polytopes belong together

In this paper we show that the pipe dream complex associated to the permutation 1n(n-1)...2 can be geometrically realized as a triangulation of the vertex figure of a root polytope. Leading up to this result we show that the Grothendieck polynomial specializes to the h-polynomial of the corresponding pipe dream complex, which in certain cases equals the h-polynomial of canonical triangulations of root (and flow) polytopes, which in turn equals a specialization of the reduced form of a monomial in the subdivision algebra of root (and flow) polytopes. Thus, we connect Grothendieck polynomials to reduced forms in subdivision algebras and root (and flow) polytopes. We also show that root polytopes can be seen as projections of flow polytopes, explaining that these families of polytopes possess the same subdivision algebra.

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.

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.

Karola Mészáros

Research overview

Is this your work?

11 publications

On the degree of Grothendieck polynomials

On the support of Grothendieck polynomials

An orthodontia formula for Grothendieck polynomials

Inclusion-exclusion on Schubert polynomials

Counting integer points of flow polytopes

From generalized permutahedra to Grothendieck polynomials via flow polytopes

Flow polytopes with Catalan volumes

h-Polynomials of Reduction Trees

h-Polynomials via Reduced Forms

Pipe dream complexes and triangulations of root polytopes belong together

Subalgebras of the Fomin-Kirillov algebra

See the researcher in context

Building this map preview