Showing 1–50 of 81 results for author: Yong, A

CryinGAN: Design and evaluation of point-cloud-based generative adversarial networks using disordered materials $-$ application to Li$_3$ScCl$_6$-LiCoO$_2$ battery interfaces

Authors: Adrian Xiao Bin Yong, Elif Ertekin

Abstract: Generative models have received significant attention in recent years for materials science applications, particularly in the area of inverse design for materials discovery. While current efforts have mainly focused on bulk materials with relatively small unit cells, the possibility of generative models for more complex, disordered materials would significantly extent the current capabilities of g… ▽ More Generative models have received significant attention in recent years for materials science applications, particularly in the area of inverse design for materials discovery. While current efforts have mainly focused on bulk materials with relatively small unit cells, the possibility of generative models for more complex, disordered materials would significantly extent the current capabilities of generative modeling. Generative models would also benefit from better ways to assess their performance. They are typically evaluated on the new, unverified materials being generated, which give limited metrics for evaluation. In this work, we design and evaluate models intended for disordered interface structure generation. Using a disordered Li$_3$ScCl$_6$-LiCoO$_2$ battery interface, we tested different point-cloud-based generative adversarial network architectures that further include bond distance information in the discriminator, rather than only atomic coordinates. By working with a fixed material system, we evaluated the model performance through direct comparisons between training and generated structures. The best performing architecture, Crystal Interface Generative Adversarial Network (CryinGAN), uses two separate 1D convolutional discriminators, one that accepts coordinates and another that accepts bond distances as input. We demonstrate that CryinGAN is able to successfully generate low-interface-energy structures for systems with > 250 atoms, in which the generated interfaces are structurally similar to the training structures. This study highlights the capabilities of a relatively simple generative model in generating large disordered materials, and discusses the limitations of the point cloud representation. Insights are provided to help guide the development of future generative models that are useful to not just disordered, but also ordered materials. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Representations from matrix varieties, and filtered RSK

Authors: Abigail Price, Ada Stelzer, Alexander Yong

Abstract: Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity,… ▽ More Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 32 pages

Learning Control Policies of Hodgkin-Huxley Neuronal Dynamics

Authors: Malvern Madondo, Deepanshu Verma, Lars Ruthotto, Nicholas Au Yong

Abstract: We present a neural network approach for closed-loop deep brain stimulation (DBS). We cast the problem of finding an optimal neurostimulation strategy as a control problem. In this setting, control policies aim to optimize therapeutic outcomes by tailoring the parameters of a DBS system, typically via electrical stimulation, in real time based on the patient's ongoing neuronal activity. We approxi… ▽ More We present a neural network approach for closed-loop deep brain stimulation (DBS). We cast the problem of finding an optimal neurostimulation strategy as a control problem. In this setting, control policies aim to optimize therapeutic outcomes by tailoring the parameters of a DBS system, typically via electrical stimulation, in real time based on the patient's ongoing neuronal activity. We approximate the value function offline using a neural network to enable generating controls (stimuli) in real time via the feedback form. The neuronal activity is characterized by a nonlinear, stiff system of differential equations as dictated by the Hodgkin-Huxley model. Our training process leverages the relationship between Pontryagin's maximum principle and Hamilton-Jacobi-Bellman equations to update the value function estimates simultaneously. Our numerical experiments illustrate the accuracy of our approach for out-of-distribution samples and the robustness to moderate shocks and disturbances in the system. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: Extended Abstract presented at Machine Learning for Health (ML4H) symposium 2023, December 10th, 2023, New Orleans, United States, 12 pages

Combinatorial commutative algebra rules

Authors: Ada Stelzer, Alexander Yong

Abstract: An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and related fields. An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and related fields. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 15 pages

Schubert determinantal ideals are Hilbertian

Authors: Ada Stelzer, Alexander Yong

Abstract: Abhyankar defined an ideal to be Hilbertian if its Hilbert polynomial coincides with its Hilbert function for all nonnegative integers. In 1984, he proved that the ideal of (r+1)-order minors of a generic p x q matrix is Hilbertian. We give a different proof and a generalization to the Schubert determinantal ideals introduced by Fulton in 1992. Our proof reduces to a simple upper bound for the Cas… ▽ More Abhyankar defined an ideal to be Hilbertian if its Hilbert polynomial coincides with its Hilbert function for all nonnegative integers. In 1984, he proved that the ideal of (r+1)-order minors of a generic p x q matrix is Hilbertian. We give a different proof and a generalization to the Schubert determinantal ideals introduced by Fulton in 1992. Our proof reduces to a simple upper bound for the Castelnuovo-Mumford regularity of these ideals. We further indicate the pervasiveness of the Hilbertian property in Schubert geometry. △ Less

Submitted 28 June, 2023; v1 submitted 21 May, 2023; originally announced May 2023.

Comments: With thanks to Allen Knutson and Jenna Rajchgot for feedback about v1, v2 contains additional results and background material. 12 pages

Levi-spherical Schubert varieties

Authors: Yibo Gao, Reuven Hodges, Alexander Yong

Abstract: We prove a short, root-system uniform, combinatorial classification of Levi-spherical Schubert varieties for any generalized flag variety $G/B$ of finite Lie type. We apply this to the study of multiplicity-free decompositions of a Demazure module into irreducible representations of a Levi subgroup. We prove a short, root-system uniform, combinatorial classification of Levi-spherical Schubert varieties for any generalized flag variety $G/B$ of finite Lie type. We apply this to the study of multiplicity-free decompositions of a Demazure module into irreducible representations of a Levi subgroup. △ Less

Submitted 27 December, 2023; v1 submitted 30 April, 2023; originally announced May 2023.

Comments: 11 pages. Minor corrections made in v2. To appear in Advances in Mathematics

Journal ref: Adv. Math. 439 (2024), Paper No. 109486, 14 pp

Schubert geometry and combinatorics

Authors: Alexander Woo, Alexander Yong

Abstract: This chapter combines an introduction and research survey about Schubert varieties. The theme is to combinatorially classify their singularities using a family of polynomial ideals generated by determinants. This chapter combines an introduction and research survey about Schubert varieties. The theme is to combinatorially classify their singularities using a family of polynomial ideals generated by determinants. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: 58 pages

Isospin-breaking corrections to light leptonic decays in lattice QCD+QED at the physical point

Authors: Peter Boyle, Matteo Di Carlo, Felix Erben, Vera Gülpers, Maxwell T. Hansen, Tim Harris, Nils Hermansson-Truedsson, Raoul Hodgson, Andreas Jüttner, Fionn Ó hÓgáin, Antonin Portelli, James Richings, Andrew Z. N. Yong

Abstract: We report on the physical-point RBC/UKQCD calculation of the leading isospin-breaking corrections to light-meson leptonic decays. This is highly relevant for future precision tests in the flavour physics sector, in particular the first-row unitarity of the Cabibbo-Kobayashi-Maskawa matrix containing the elements $V_{us}$ and $V_{ud}$. The simulations were performed using Domain-Wall fermions for… ▽ More We report on the physical-point RBC/UKQCD calculation of the leading isospin-breaking corrections to light-meson leptonic decays. This is highly relevant for future precision tests in the flavour physics sector, in particular the first-row unitarity of the Cabibbo-Kobayashi-Maskawa matrix containing the elements $V_{us}$ and $V_{ud}$. The simulations were performed using Domain-Wall fermions for $2+1$ flavours, and with isospin-breaking effects included perturbatively in the path integral through order $α$ and $(m_u - m_d)/Λ_{\mathrm{QCD}}$. We use QED$_{\mathrm{L}}$ for the inclusion of electromagnetism, and discuss here the non-locality of this prescription which has significant impact on the infinite-volume extrapolation. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: Proceedings for The 39th International Symposium on Lattice Field Theory, 8th-13th August, 2022, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn, Germany

Isospin-breaking corrections to light-meson leptonic decays from lattice simulations at physical quark masses

Authors: Peter Boyle, Matteo Di Carlo, Felix Erben, Vera Gülpers, Maxwell T. Hansen, Tim Harris, Nils Hermansson-Truedsson, Raoul Hodgson, Andreas Jüttner, Fionn Ó hÓgáin, Antonin Portelli, James Richings, Andrew Zhen Ning Yong

Abstract: The decreasing uncertainties in theoretical predictions and experimental measurements of several hadronic observables related to weak processes, which in many cases are now smaller than $\mathrm{O}(1\%)$, require theoretical calculations to include subleading corrections that were neglected so far. Precise determinations of leptonic and semi-leptonic decay rates, including QED and strong isospin-b… ▽ More The decreasing uncertainties in theoretical predictions and experimental measurements of several hadronic observables related to weak processes, which in many cases are now smaller than $\mathrm{O}(1\%)$, require theoretical calculations to include subleading corrections that were neglected so far. Precise determinations of leptonic and semi-leptonic decay rates, including QED and strong isospin-breaking effects, can play a central role in solving the current tensions in the first-row unitarity of the CKM matrix. In this work we present the first RBC/UKQCD lattice calculation of the isospin-breaking corrections to the ratio of leptonic decay rates of kaons and pions into muons and neutrinos. The calculation is performed with $N_\mathrm{f}=2+1$ dynamical quarks close to the physical point and domain wall fermions in the Möbius formulation are employed. Long-distance QED interactions are included according to the $\mathrm{QED_L}$ prescription and the crucial role of finite-volume electromagnetic corrections in the determination of leptonic decay rates, which produce a large systematic uncertainty, is extensively discussed. Finally, we study the different sources of uncertainty on $|V_\mathrm{us}|/|V_\mathrm{ud}|$ and observe that, if finite-volume systematics can be reduced, the error from isospin-breaking corrections is potentially sub-dominant in the final precision of the ratio of the CKM matrix elements. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 66 pages, 23 figures and 4 tables

Report number: CERN-TH-2022-193, LU-TP 22-59

Presenting the cohomology of a Schubert variety: Proof of the minimality conjecture

Authors: Avery St. Dizier, Alexander Yong

Abstract: A minimal presentation of the cohomology ring of the flag manifold $GL_n/B$ was given in [A. Borel, 1953]. This presentation was extended by [E. Akyildiz-A. Lascoux-P. Pragacz, 1992] to a non-minimal one for all Schubert varieties. Work of [Gasharov-Reiner, 2002] gave a short, i.e. polynomial-size, presentation for a subclass of Schubert varieties that includes the smooth ones. In [V. Reiner-A. Wo… ▽ More A minimal presentation of the cohomology ring of the flag manifold $GL_n/B$ was given in [A. Borel, 1953]. This presentation was extended by [E. Akyildiz-A. Lascoux-P. Pragacz, 1992] to a non-minimal one for all Schubert varieties. Work of [Gasharov-Reiner, 2002] gave a short, i.e. polynomial-size, presentation for a subclass of Schubert varieties that includes the smooth ones. In [V. Reiner-A. Woo-A. Yong, 2011], a general shortening was found; it implies an exponential upper bound of $2^n$ on the number of generators required. That work states a minimality conjecture whose significance would be an exponential lower bound of $\sqrt{2}^{n+2}/\sqrt{πn}$ on the number of generators needed in worst case, giving the first obstructions to short presentations. We prove the minimality conjecture. Our proof uses the Hopf algebra structure of the ring of symmetric functions. △ Less

Submitted 28 September, 2023; v1 submitted 5 September, 2022; originally announced September 2022.

Comments: 19 pages, 4 figures, to appear in J. London. Math. Soc

MSC Class: 05E14

Journal ref: J. Lond. Math. Soc. (2) 109 (2024), no. 1, Paper No. e12832, 22 pp

Castelnuovo-Mumford regularity and Schubert geometry

Authors: Alexander Yong

Abstract: We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent cones, as well as that of J. Rajchgot-Y. Ren-C. Robichaux-A. St. Dizier-A. Weigandt and J. Rajchgot-C. Robichaux-A. Weigandt on tableau rules for computing regulari… ▽ More We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent cones, as well as that of J. Rajchgot-Y. Ren-C. Robichaux-A. St. Dizier-A. Weigandt and J. Rajchgot-C. Robichaux-A. Weigandt on tableau rules for computing regularity of some matrix Schubert varieties. △ Less

Submitted 13 February, 2022; originally announced February 2022.

Comments: 10 pages

Minimal equations for matrix Schubert varieties

Authors: Shiliang Gao, Alexander Yong

Abstract: Explicit minimal generators for Fulton's Schubert determinantal ideals are determined along with some implications. Explicit minimal generators for Fulton's Schubert determinantal ideals are determined along with some implications. △ Less

Submitted 28 November, 2023; v1 submitted 17 January, 2022; originally announced January 2022.

Comments: 7 pages. Final version to appear in J. Commut. Algebra

Near-Physical Point Lattice Calculation of Isospin-Breaking Corrections to $K_{\ell2}/π_{\ell2}$

Authors: Andrew Zhen Ning Yong, Peter Boyle, Matteo Di Carlo, Felix Erben, Vera Gülpers, Maxwell T. Hansen, Tim Harris, Nils Hermansson-Truedsson, Raoul Hodgson, Andreas Jüttner, Antonin Portelli, James Richings

Abstract: In recent years, lattice determinations of non-perturbative quantities such as $f_K$ and $f_π$, which are relevant for $V_{us}$ and $V_{ud}$, have reached an impressive precision of $\mathcal{O}(1\%)$ or better. To make further progress, electromagnetic and strong isospin breaking effects must be included in lattice QCD simulations. We present the status of the RBC/UKQCD lattice calculation of i… ▽ More In recent years, lattice determinations of non-perturbative quantities such as $f_K$ and $f_π$, which are relevant for $V_{us}$ and $V_{ud}$, have reached an impressive precision of $\mathcal{O}(1\%)$ or better. To make further progress, electromagnetic and strong isospin breaking effects must be included in lattice QCD simulations. We present the status of the RBC/UKQCD lattice calculation of isospin-breaking corrections to light meson leptonic decays. This computation is performed in a (2+1)-flavor QCD simulation using Domain Wall Fermions with near-physical quark masses. The isospin-breaking effects are implemented via a perturbative expansion of the action in $α$ and $(m_u-m_d)$. In this calculation, we work in the electro-quenched approximation and the photons are implemented in the Feynman gauge and $\text{QED}_\text{L}$ formulation. △ Less

Submitted 23 December, 2021; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 11 pages, 4 figures; Updated Author(s) metadata

Newell-Littlewood numbers III: eigencones and GIT-semigroups

Authors: Shiliang Gao, Gidon Orelowitz, Nicolas Ressayre, Alexander yong

Abstract: The Newell-Littlewood numbers are tensor product multiplicities of Weyl modules for the classical groups in the stable range. Littlewood-Richardson coefficients form a special case. Klyachko connected eigenvalues of sums of Hermitian matrices to the saturated LR-cone and established defining linear inequalities. We prove analogues for the saturated NL-cone: an eigenvalue interpretation; a minimal… ▽ More The Newell-Littlewood numbers are tensor product multiplicities of Weyl modules for the classical groups in the stable range. Littlewood-Richardson coefficients form a special case. Klyachko connected eigenvalues of sums of Hermitian matrices to the saturated LR-cone and established defining linear inequalities. We prove analogues for the saturated NL-cone: an eigenvalue interpretation; a minimal list of defining linear inequalities; a description by Extended Horn inequalities, as conjectured in part II of this series; and a factorization of NL-numbers, on the boundary. △ Less

Submitted 23 June, 2022; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: 21 pagesv2 has a significantly shorter argument for a stronger version of Theorem 1.5, using a result of R. King

Classification of Levi-spherical Schubert varieties

Authors: Yibo Gao, Reuven Hodges, Alexander Yong

Abstract: A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomia… ▽ More A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomials (type A Demazure module characters). △ Less

Submitted 20 April, 2021; originally announced April 2021.

Comments: 30 pages

Journal ref: Selecta Math. (N.S.) 29 (2023), no. 4, Paper No. 55, 40 pages

An efficient algorithm for deciding vanishing of Schubert polynomial coefficients

Authors: Anshul Adve, Colleen Robichaux, Alexander Yong

Abstract: Schubert polynomials form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. The vanishing problem for Schubert polynomials asks if a coefficient of a Schubert polynomial is zero. We give a tableau criterion to solve this problem, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope,… ▽ More Schubert polynomials form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. The vanishing problem for Schubert polynomials asks if a coefficient of a Schubert polynomial is zero. We give a tableau criterion to solve this problem, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid. In contrast, we show that computing these coefficients explicitly is #P-complete. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: 30 pages. This paper was split off from 1810.10361v1, with a new title and abstract. That earlier preprint has been replaced by a conference proceedings version 1810.10361v2, with a different title and abstract; it contains complexity discussion and a related conjecture not found here. To appear in Advances in Math

Journal ref: Adv. Math. 383 (2021), Paper No. 107669, 38 pp

The "Grothendieck to Lascoux" conjecture

Authors: Victor Reiner, Alexander Yong

Abstract: This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials. This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one expanding stable Grothendieck polynomials. △ Less

Submitted 24 February, 2021; originally announced February 2021.

Comments: 9 pages

The Kostka semigroup and its Hilbert basis

Authors: Shiliang Gao, Joshua Kiers, Gidon Orelowitz, Alexander Yong

Abstract: The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert bas… ▽ More The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert basis then the partitions are at most r wide. We also classify the extremal rays of the associated polyhedral cone; these rays correspond to a (strict) subset of the Hilbert basis. In an appendix, the second and third authors show that a natural extension of our main result on the Kostka semigroup cannot be extended to the Littlewood-Richardson semigroup. This furthermore gives a counterexample to a recent speculation of P. Belkale concerning the semigroup controlling nonvanishing conformal blocks. △ Less

Submitted 3 August, 2021; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 27 pages. Conjectures 5.3 and 5.5 have been recently resolved in the affirmative by J. Kim (arXiv:2105.07015). Conjecture 5.8 has been resolved in the negative by the second and third authors in a new Appendix B. This furthermore resolves in the negative a recent speculation of P. Belkale (arXiv:2005.12457v3)

Journal ref: Enumerative Combinatorics and Applications, 4:2 (2024) Article #S2R9

Proper permutations, Schubert geometry, and randomness

Authors: David Brewster, Reuven Hodges, Alexander Yong

Abstract: We define and study proper permutations. Properness is a geometrically natural necessary criterion for a Schubert variety to be Levi-spherical. We prove the probability that a random permutation is proper goes to zero in the limit. We define and study proper permutations. Properness is a geometrically natural necessary criterion for a Schubert variety to be Levi-spherical. We prove the probability that a random permutation is proper goes to zero in the limit. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: 8 pages

Journal ref: J. Comb. 13 (2022), no. 4, 561-574

Generalized permutahedra and Schubert calculus

Authors: Avery St. Dizier, Alexander Yong

Abstract: We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which are Newton polytopes of Schubert polynomials. The resulting tableau test executes in polynomial time. We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which are Newton polytopes of Schubert polynomials. The resulting tableau test executes in polynomial time. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: 13 pages

Journal ref: Arnold Math. J. 8 (2022), no. 3-4, 517-533

Newell-Littlewood numbers II: extended Horn inequalities

Authors: Shiliang Gao, Gidon Orelowitz, Alexander Yong

Abstract: The Newell-Littlewood numbers $N_{μ,ν,λ}$ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions $(μ,ν,λ)$ does $N_{μ,ν,λ}>0$ hold? The Littlewood-Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. Tao). We extend these celebrated linear inequalities to a much larger fami… ▽ More The Newell-Littlewood numbers $N_{μ,ν,λ}$ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions $(μ,ν,λ)$ does $N_{μ,ν,λ}>0$ hold? The Littlewood-Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. Tao). We extend these celebrated linear inequalities to a much larger family, suggesting a general solution. △ Less

Submitted 28 December, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 11 pages. To appear in Algebraic Combinatorics

Journal ref: Algebr. Comb. 5 (2022), no. 6, 1287-1297

Coxeter combinatorics and spherical Schubert geometry

Authors: Reuven Hodges, Alexander Yong

Abstract: For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M.… ▽ More For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. Lascoux- M.-P. Schützenberger, multiplicity-freeness, and split-symmetry in algebraic combinatorics. Thereby, we invoke theorems of A. Kohnert, V. Reiner-M. Shimozono, and C. Ross-A. Yong. △ Less

Submitted 17 December, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: 27 pages, corrections made to examples 1.4, 1.5, 2.16. Minor corrections made in v3. To appear in Journal of Lie Theory

Journal ref: Journal of Lie Theory 32 (2022), No. 2, 447--474

Multiplicity-free key polynomials

Authors: Reuven Hodges, Alexander Yong

Abstract: The key polynomials, defined by A. Lascoux-M.-P. Schützenberger, are characters for the Demazure modules of type A. We classify multiplicity-free key polynomials. The proof uses two combinatorial models for key polynomials. The first is due to A. Kohnert. The second is by S. Assaf-D. Searles, in terms of quasi-key polynomials. Our argument proves a sufficient condition for a quasi-key polynomial t… ▽ More The key polynomials, defined by A. Lascoux-M.-P. Schützenberger, are characters for the Demazure modules of type A. We classify multiplicity-free key polynomials. The proof uses two combinatorial models for key polynomials. The first is due to A. Kohnert. The second is by S. Assaf-D. Searles, in terms of quasi-key polynomials. Our argument proves a sufficient condition for a quasi-key polynomial to be multiplicity-free. △ Less

Submitted 17 July, 2020; originally announced July 2020.

Comments: 20 pages

Journal ref: Ann. Comb. 27 (2023), no. 2, 387-411

Newell-Littlewood numbers

Authors: Shiliang Gao, Gidon Orelowitz, Alexander Yong

Abstract: The Newell-Littlewood numbers are defined in terms of their celebrated cousins, the Littlewood-Richardson coefficients. Both arise as tensor product multiplicities for a classical Lie group. They are the structure coefficients of the K. Koike-I. Terada basis of the ring of symmetric functions. Recent work of H. Hahn studies them, motivated by R. Langlands' beyond endoscopy proposal; we address her… ▽ More The Newell-Littlewood numbers are defined in terms of their celebrated cousins, the Littlewood-Richardson coefficients. Both arise as tensor product multiplicities for a classical Lie group. They are the structure coefficients of the K. Koike-I. Terada basis of the ring of symmetric functions. Recent work of H. Hahn studies them, motivated by R. Langlands' beyond endoscopy proposal; we address her work with a simple characterization of detection of Weyl modules. This motivates further study of the combinatorics of the numbers. We consider analogues of ideas of J. De Loera-T. McAllister, H. Derksen-J. Weyman, S. Fomin-W. Fulton-C.-K. Li-Y.-T. Poon, W. Fulton, R. King-C. Tollu-F. Toumazet, M. Kleber, A. Klyachko, A. Knutson-T. Tao, T. Lam-A. Postnikov-P. Pylyavskyy, K. Mulmuley-H. Narayanan-M. Sohoni, H. Narayanan, A. Okounkov, J. Stembridge, and H. Weyl. △ Less

Submitted 18 May, 2020; originally announced May 2020.

Comments: 35 pages

Journal ref: Trans. Amer. Math. Soc. 374 (2021), 6331-6366

Equivariant cohomology, Schubert calculus, and edge labeled tableaux

Authors: Colleen Robichaux, Harshit Yadav, Alexander Yong

Abstract: This chapter concerns edge labeled Young tableaux, introduced by H. Thomas and the third author. It is used to model equivariant Schubert calculus of Grassmannians. We survey results, problems, conjectures, together with their influences from combinatorics, algebraic and symplectic geometry, linear algebra, and computational complexity. We report on a new shifted analogue of edge labeled tableaux.… ▽ More This chapter concerns edge labeled Young tableaux, introduced by H. Thomas and the third author. It is used to model equivariant Schubert calculus of Grassmannians. We survey results, problems, conjectures, together with their influences from combinatorics, algebraic and symplectic geometry, linear algebra, and computational complexity. We report on a new shifted analogue of edge labeled tableaux. Conjecturally, this gives a Littlewood-Richardson rule for the structure constants of the D. Anderson-W. Fulton ring, which is related to the equivariant cohomology of isotropic Grassmannians. △ Less

Submitted 29 August, 2019; originally announced August 2019.

Comments: 39 pages

Journal ref: Facets of algebraic geometry. Vol. II, 284--335, London Math. Soc. Lecture Note Ser., 473, Cambridge Univ. Press, Cambridge, 2022

The A.B.C.Ds of Schubert calculus

Authors: Colleen Robichaux, Harshit Yadav, Alexander Yong

Abstract: We collect Atiyah-Bott Combinatorial Dreams (A.B.C.Ds) in Schubert calculus. One result relates equivariant structure coefficients for two isotropic flag manifolds, with consequences to the thesis of C. Monical. We contextualize using work of N. Bergeron-F. Sottile, S. Billey-M. Haiman, P. Pragacz, and T. Ikeda-L. Mihalcea-I. Naruse. The relation complements a theorem of A. Kresch-H. Tamvakis in q… ▽ More We collect Atiyah-Bott Combinatorial Dreams (A.B.C.Ds) in Schubert calculus. One result relates equivariant structure coefficients for two isotropic flag manifolds, with consequences to the thesis of C. Monical. We contextualize using work of N. Bergeron-F. Sottile, S. Billey-M. Haiman, P. Pragacz, and T. Ikeda-L. Mihalcea-I. Naruse. The relation complements a theorem of A. Kresch-H. Tamvakis in quantum cohomology. Results of A. Buch-V. Ravikumar rule out a similar correspondence in K-theory. △ Less

Submitted 9 June, 2019; originally announced June 2019.

Comments: 11 pages

Journal ref: Seminaire Lotharingien de Combinatoire, B85a (2020), 12 pp

An estimation method for game complexity

Authors: Alexander Yong, David Yong

Abstract: We looked at a method for estimating the complexity measure of game tree size (the number of legal games). It seems effective for a number of children's games such as Tic-Tac-Toe, Connect Four and Othello. We looked at a method for estimating the complexity measure of game tree size (the number of legal games). It seems effective for a number of children's games such as Tic-Tac-Toe, Connect Four and Othello. △ Less

Submitted 29 January, 2019; originally announced January 2019.

Comments: 4 pages

Reduced word enumeration, complexity, and randomization

Authors: Cara Monical, Benjamin Pankow, Alexander Yong

Abstract: A reduced word of a permutation $w$ is a minimal length expression of $w$ as a product of simple transpositions. We examine the computational complexity, formulas and (randomized) algorithms for their enumeration. In particular, we prove that the Edelman-Greene statistic, defined by S. Billey-B. Pawlowski, is typically exponentially large. This implies a result of B. Pawlowski, that it has exponen… ▽ More A reduced word of a permutation $w$ is a minimal length expression of $w$ as a product of simple transpositions. We examine the computational complexity, formulas and (randomized) algorithms for their enumeration. In particular, we prove that the Edelman-Greene statistic, defined by S. Billey-B. Pawlowski, is typically exponentially large. This implies a result of B. Pawlowski, that it has exponentially growing expectation. Our result is established by a formal run-time analysis of A. Lascoux-M.-P. Schützenberger's transition algorithm. The more general problem of Hecke word enumeration, and its closely related question of counting set-valued standard Young tableaux, is also investigated. The latter enumeration problem is further motivated by work on Brill-Noether varieties due to M. Chan-N. Pflueger and D. Anderson-L. Chen-N. Tarasca. △ Less

Submitted 15 February, 2019; v1 submitted 10 January, 2019; originally announced January 2019.

Comments: 23 pages. v2: added reference to University of Washington PhD thesis of B. Pawlowski, which proves a stronger version of Theorem 1.1

Journal ref: Electronic J. Combinatorics 29 (2) (2022), #P2.46

Computational complexity, Newton polytopes, and Schubert polynomials

Authors: Anshul Adve, Colleen Robichaux, Alexander Yong

Abstract: The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, nonvanishing is in the complexity class $NP\cap coNP$ of problems with "good characterizations". This suggests a new algebraic combinatorics… ▽ More The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, nonvanishing is in the complexity class $NP\cap coNP$ of problems with "good characterizations". This suggests a new algebraic combinatorics viewpoint on complexity theory. This report discusses the case of Schubert polynomials. These form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. We give a tableau criterion for nonvanishing, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid, together with a theorem of A. Fink, K. Mészáros, and A. St. Dizier, which proved a conjecture of C. Monical, N. Tokcan, and the third author. △ Less

Submitted 5 March, 2021; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: 12 pages. v2 is the conference proceedings version. The remaining material of v1 (proofs, the theorem on #P-completeness) is split off into a subsequent arXiv post. That post has a different title ("An efficient algorithm for deciding vanishing of Schubert polynomial coefficients"), abstract, and discussion of the general "nonvanishing problem" removed

Journal ref: Proceedings of the 31st Conference on Formal Power Series and Algebraic Combinatorics (Ljubljana), Sem. Lothar. Combin. 82B (2020), Art. 52, 12 pp

Tropicalization, symmetric polynomials, and complexity

Authors: Alexander Woo, Alexander Yong

Abstract: D. Grigoriev-G. Koshevoy recently proved that tropical Schur polynomials have (at worst) polynomial tropical semiring complexity. They also conjectured tropical skew Schur polynomials have at least exponential complexity; we establish a polynomial complexity upper bound. Our proof uses results about (stable) Schubert polynomials, due to R. P. Stanley and S. Billey-W. Jockusch-R. P. Stanley, togeth… ▽ More D. Grigoriev-G. Koshevoy recently proved that tropical Schur polynomials have (at worst) polynomial tropical semiring complexity. They also conjectured tropical skew Schur polynomials have at least exponential complexity; we establish a polynomial complexity upper bound. Our proof uses results about (stable) Schubert polynomials, due to R. P. Stanley and S. Billey-W. Jockusch-R. P. Stanley, together with a sufficient condition for polynomial complexity that is connected to the saturated Newton polytope property. △ Less

Submitted 9 October, 2017; originally announced October 2017.

Comments: 8 pages

Journal ref: J. Symbolic Comput. 99 (2020), 242--249

K-orbit closures and Barbasch-Evens-Magyar varieties

Authors: Laura Escobar, Benjamin J. Wyser, Alexander Yong

Abstract: We define the Barbasch-Evens-Magyar varieties. We show they are isomorphic to the smooth varieties defined in [D.~Barbasch-S.~Evens '94] that map generically finitely to symmetric orbit closures, thereby giving resolutions of singularities in certain cases. Our definition parallels [P.~Magyar '98]'s construction of the Bott-Samelson varieties [H.~C.~Hansen '73, M.~Demazure '74]. From this alternat… ▽ More We define the Barbasch-Evens-Magyar varieties. We show they are isomorphic to the smooth varieties defined in [D.~Barbasch-S.~Evens '94] that map generically finitely to symmetric orbit closures, thereby giving resolutions of singularities in certain cases. Our definition parallels [P.~Magyar '98]'s construction of the Bott-Samelson varieties [H.~C.~Hansen '73, M.~Demazure '74]. From this alternative viewpoint, one deduces a graphical description in type $A$, stratification into closed subvarieties of the same kind, and determination of the torus-fixed points. Moreover, we explain how these manifolds inherit a natural symplectic structure with Hamiltonian torus action. We then express the moment polytope in terms of the moment polytope of a Bott-Samelson variety. △ Less

Submitted 18 July, 2022; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: 22 pages, 5 figures. Accepted for publication at Pacific J. Math

Journal ref: Pacific J. Math. 320 (2022) 103-132

Vanishing of Littlewood-Richardson polynomials is in P

Authors: Anshul Adve, Colleen Robichaux, Alexander Yong

Abstract: J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polyto… ▽ More J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polytope using the edge-labeled tableau rule of H. Thomas-A. Yong. Our proof then combines a saturation theorem of D. Anderson-E. Richmond-A. Yong, a reading order independence property, and E. Tardos' algorithm for combinatorial linear programming. △ Less

Submitted 14 August, 2017; originally announced August 2017.

Comments: 10 pages

Journal ref: Computational Complexity 28 (2019), no. 2, 241-257

Symmetric group representations and Z

Authors: Anshul Adve, Alexander Yong

Abstract: We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient. We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient. △ Less

Submitted 30 June, 2017; originally announced July 2017.

Comments: 4 pages

Journal ref: C. R. Math. Acad. Sci. Paris 356 (2018), No. 1, 1-4

Newton polytopes and symmetric Grothendieck polynomials

Authors: Laura Escobar, Alexander Yong

Abstract: Symmetric Grothendieck polynomials are inhomogeneous versions of Schur polynomials that arise in combinatorial $K$-theory. A polynomial has saturated Newton polytope (SNP) if every lattice point in the polytope is an exponent vector. We show Newton polytopes of these Grothendieck polynomials and their homogeneous components have SNP. Moreover, the Newton polytope of each homogeneous component is a… ▽ More Symmetric Grothendieck polynomials are inhomogeneous versions of Schur polynomials that arise in combinatorial $K$-theory. A polynomial has saturated Newton polytope (SNP) if every lattice point in the polytope is an exponent vector. We show Newton polytopes of these Grothendieck polynomials and their homogeneous components have SNP. Moreover, the Newton polytope of each homogeneous component is a permutahedron. This addresses recent conjectures of C. Monical-N. Tokcan-A. Yong and of A. Fink-K. Mészáros-A. St. Dizier in this special case. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: 4 pages, 1 figure

MSC Class: 52B20; 05E05

Journal ref: C. R. Math. Acad. Sci. Paris 355 (2017), no. 8, 831-834

Newton Polytopes in Algebraic Combinatorics

Authors: Cara Monical, Neriman Tokcan, Alexander Yong

Abstract: A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; di… ▽ More A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others. Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties. △ Less

Submitted 10 March, 2017; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: 30 pages

Journal ref: Selecta Math. (N.S.) 25 (2019), no. 5, Art. 66, 37 pp

Governing singularities of symmetric orbit closures

Authors: Alexander Woo, Benjamin Wyser, Alexander Yong

Abstract: We develop interval pattern avoidance and Mars-Springer ideals to study singularities of symmetric orbit closures in a flag variety. This paper focuses on the case of the Levi subgroup GL_p x GL_q acting on the classical flag variety. We prove that all reasonable singularity properties can be classified in terms of interval patterns of clans. We develop interval pattern avoidance and Mars-Springer ideals to study singularities of symmetric orbit closures in a flag variety. This paper focuses on the case of the Levi subgroup GL_p x GL_q acting on the classical flag variety. We prove that all reasonable singularity properties can be classified in terms of interval patterns of clans. △ Less

Submitted 10 January, 2017; originally announced January 2017.

Comments: 47 pages

Journal ref: Alg. Number Th. 12 (2018) 173-225

Partition Identities and Quiver Representations

Authors: Richard Rimanyi, Anna Weigandt, Alexander Yong

Abstract: We present a particular connection between classical partition combinatorics and the theory of quiver representations. Specifically, we give a bijective proof of an analogue of A. L. Cauchy's Durfee square identity to multipartitions. We then use this result to give a new proof of M. Reineke's identity in the case of quivers $Q$ of Dynkin type $A$ of arbitrary orientation. Our identity is stated i… ▽ More We present a particular connection between classical partition combinatorics and the theory of quiver representations. Specifically, we give a bijective proof of an analogue of A. L. Cauchy's Durfee square identity to multipartitions. We then use this result to give a new proof of M. Reineke's identity in the case of quivers $Q$ of Dynkin type $A$ of arbitrary orientation. Our identity is stated in terms of the lacing diagrams of S. Abeasis - A. Del Fra, which parameterize orbits of the representation space of $Q$ for a fixed dimension vector. △ Less

Submitted 5 August, 2016; originally announced August 2016.

Comments: 26 pages

Journal ref: J. Algebraic Combin. 47 (2018), no. 1, 129-169

Rhombic tilings and Bott-Samelson varieties

Authors: Laura Escobar, Oliver Pechenik, Bridget Eileen Tenner, Alexander Yong

Abstract: S.~Elnitsky (1997) gave an elegant bijection between rhombic tilings of $2n$-gons and commutation classes of reduced words in the symmetric group on $n$ letters. P.~Magyar (1998) found an important construction of the Bott-Samelson varieties introduced by H.C.~Hansen (1973) and M.~Demazure (1974). We explain a natural connection between S.~Elnitsky's and P.~Magyar's results. This suggests using ti… ▽ More S.~Elnitsky (1997) gave an elegant bijection between rhombic tilings of $2n$-gons and commutation classes of reduced words in the symmetric group on $n$ letters. P.~Magyar (1998) found an important construction of the Bott-Samelson varieties introduced by H.C.~Hansen (1973) and M.~Demazure (1974). We explain a natural connection between S.~Elnitsky's and P.~Magyar's results. This suggests using tilings to encapsulate Bott-Samelson data (in type $A$). It also indicates a geometric perspective on S.~Elnitsky's combinatorics. We also extend this construction by assigning desingularizations to the zonotopal tilings considered by B.~Tenner (2006). △ Less

Submitted 9 June, 2016; v1 submitted 18 May, 2016; originally announced May 2016.

Comments: 9 pages, 5 figures; results and authors added

Journal ref: Proc. Amer. Math. Soc. 146 (2018), no. 5, 1921-1935

Poset edge densities, nearly reduced words, and barely set-valued tableaux

Authors: Victor Reiner, Bridget Eileen Tenner, Alexander Yong

Abstract: In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, ce… ▽ More In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length. △ Less

Submitted 14 March, 2018; v1 submitted 31 March, 2016; originally announced March 2016.

Comments: to appear in Journal of Combinatorial Theory, Series A

MSC Class: 05A99; 05E10

Journal ref: J. Combin. Theory Ser. A 158 (2018), 66-125

Genomic Tableaux

Authors: Oliver Pechenik, Alexander Yong

Abstract: We explain how genomic tableaux [Pechenik-Yong '15] are a semistandard complement to increasing tableaux [Thomas-Yong '09]. From this perspective, one inherits genomic versions of jeu de taquin, Knuth equivalence, infusion and Bender-Knuth involutions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood-Richardson rules for K-the… ▽ More We explain how genomic tableaux [Pechenik-Yong '15] are a semistandard complement to increasing tableaux [Thomas-Yong '09]. From this perspective, one inherits genomic versions of jeu de taquin, Knuth equivalence, infusion and Bender-Knuth involutions, as well as Schur functions from (shifted) semistandard Young tableaux theory. These are applied to obtain new Littlewood-Richardson rules for K-theory Schubert calculus of Grassmannians (after [Buch '02]) and maximal orthogonal Grassmannians (after [Clifford-Thomas-Yong '14], [Buch-Ravikumar '12]). For the unsolved case of Lagrangian Grassmannians, sharp upper and lower bounds using genomic tableaux are conjectured. △ Less

Submitted 28 March, 2016; originally announced March 2016.

Comments: 30 pages, color figures

Journal ref: J. Algebraic Combinatorics, Volume 45 (2017), Issue 3, pp 649-685

The Prism tableau model for Schubert polynomials

Authors: Anna Weigandt, Alexander Yong

Abstract: The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1,x2,...]. We suggest the "prism tableau model" for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Youn… ▽ More The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1,x2,...]. We suggest the "prism tableau model" for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Groebner geometry of matrix Schubert varieties. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: 23 pages

Journal ref: J. Combin. Theory Ser. A 154 (2018), 551-582

Equivariant K-theory of Grassmannians II: The Knutson-Vakil conjecture

Authors: Oliver Pechenik, Alexander Yong

Abstract: In 2005, A. Knutson--R. Vakil conjectured a puzzle rule for equivariant K-theory of Grassmannians. We resolve this conjecture. After giving a correction, we establish a modified rule by combinatorially connecting it to the authors' recently proved tableau rule for the same Schubert calculus problem. In 2005, A. Knutson--R. Vakil conjectured a puzzle rule for equivariant K-theory of Grassmannians. We resolve this conjecture. After giving a correction, we establish a modified rule by combinatorially connecting it to the authors' recently proved tableau rule for the same Schubert calculus problem. △ Less

Submitted 3 August, 2015; originally announced August 2015.

Comments: 11 pages. Significant use of color figures

Journal ref: Compositio Math. 153 (2017) 667-677

Equivariant K-theory of Grassmannians

Authors: Oliver Pechenik, Alexander Yong

Abstract: We address a unification of the Schubert calculus problems solved by [A. Buch '02] and [A. Knutson-T. Tao '03]. That is, we prove a combinatorial rule for the structure coefficients in the torus-equivariant K-theory of Grassmannians with respect to the basis of Schubert structure sheaves. We thereby deduce the conjectural rule of [H. Thomas-A. Yong '13] for the same coefficients. Both rules are po… ▽ More We address a unification of the Schubert calculus problems solved by [A. Buch '02] and [A. Knutson-T. Tao '03]. That is, we prove a combinatorial rule for the structure coefficients in the torus-equivariant K-theory of Grassmannians with respect to the basis of Schubert structure sheaves. We thereby deduce the conjectural rule of [H. Thomas-A. Yong '13] for the same coefficients. Both rules are positive in the sense of [D. Anderson-S. Griffeth-E. Miller '11] (and moreover in a stronger form). Our work is based on the combinatorics of genomic tableaux and a generalization of [M.-P. Schutzenberger '77]'s jeu de taquin. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Comments: 93 pages

Journal ref: Forum of Mathematics Pi (2017), Vol. 5, e3, 128pp

Critique of Hirsch's citation index: a combinatorial Fermi problem

Authors: Alexander Yong

Abstract: The h-index was introduced by the physicist J.E. Hirsch in 2005 as measure of a researcher's productivity. We consider the "combinatorial Fermi problem" of estimating h given the citation count. Using the Euler-Gauss identity for integer partitions, we compute confidence intervals. An asymptotic theorem about Durfee squares, due to E.R. Canfield-S. Corteel-C.D. Savage from 1998, is reinterpreted a… ▽ More The h-index was introduced by the physicist J.E. Hirsch in 2005 as measure of a researcher's productivity. We consider the "combinatorial Fermi problem" of estimating h given the citation count. Using the Euler-Gauss identity for integer partitions, we compute confidence intervals. An asymptotic theorem about Durfee squares, due to E.R. Canfield-S. Corteel-C.D. Savage from 1998, is reinterpreted as the rule of thumb h=0.54 x (citations)^{1/2}. We compare these intervals and the rule of thumb to empirical data (primarily using mathematicians). △ Less

Submitted 18 February, 2014; originally announced February 2014.

Comments: 10 pages + 3 page appendix; 2 figures

Journal ref: Notices of the AMS, Volume 61 (2014), No. 9, 1040-1050

Polynomials for symmetric orbit closures in the flag variety

Authors: Benjamin J. Wyser, Alexander Yong

Abstract: In [Wyser-Yong '13] we introduced polynomial representatives of cohomology classes of orbit closures in the flag variety, for the symmetric pair $(GL_{p+q}, GL_p \times GL_q)$. We present analogous results for the remaining symmetric pairs of the form $(GL_n,K)$, i.e., $(GL_n,O_n)$ and $(GL_{2n},Sp_{2n})$. We establish the well-definedness of certain representatives from [Wyser '13]. It is also sh… ▽ More In [Wyser-Yong '13] we introduced polynomial representatives of cohomology classes of orbit closures in the flag variety, for the symmetric pair $(GL_{p+q}, GL_p \times GL_q)$. We present analogous results for the remaining symmetric pairs of the form $(GL_n,K)$, i.e., $(GL_n,O_n)$ and $(GL_{2n},Sp_{2n})$. We establish the well-definedness of certain representatives from [Wyser '13]. It is also shown that the representatives have the combinatorial properties of nonnegativity and stability. Moreover, we give some extensions to equivariant $K$-theory. △ Less

Submitted 30 September, 2014; v1 submitted 27 October, 2013; originally announced October 2013.

Comments: 22 pages, 3 figures, 5 tables. Results from V1 have been extended significantly

Journal ref: Transformation Groups, Volume 22 (2017), Issue 1, pp 267-290

The Joseph Greenberg problem: combinatorics and comparative linguistics

Authors: Alexander Yong

Abstract: We correct a 1957 combinatorial enumeration by the linguist J. Greenberg. The desired count, the Bell number B(25), supported using his Mass Comparison method for language classification. In 1987, he used this method to classify indigenous languages of the Americas into three families. Actually, the same combinatorics provides a back-of-the-envelope estimate for the number of families. This sugges… ▽ More We correct a 1957 combinatorial enumeration by the linguist J. Greenberg. The desired count, the Bell number B(25), supported using his Mass Comparison method for language classification. In 1987, he used this method to classify indigenous languages of the Americas into three families. Actually, the same combinatorics provides a back-of-the-envelope estimate for the number of families. This suggests that alternative classifications with over a hundred families possess the right order of magnitude. △ Less

Submitted 30 September, 2013; v1 submitted 23 September, 2013; originally announced September 2013.

Comments: 6 pages

Journal ref: Math. Mag. 91 (2018), no. 3, 192-197

Root-theoretic Young diagrams and Schubert calculus: planarity and the adjoint varieties

Authors: Dominic Searles, Alexander Yong

Abstract: We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-typ… ▽ More We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess both uniform and non-uniform features. Using these classical type rules, as well as results of P.-E.Chaput-N.Perrin in the exceptional types, we suggest a connection between polytopality of the set of nonzero Schubert structure constants and planarity of the diagrams. This is an addition to work of A.Klyachko and A.Knutson-T.Tao on the Grassmannian and of K.Purbhoo-F.Sottile on cominuscule varieties, where the diagrams are always planar. △ Less

Submitted 29 August, 2013; originally announced August 2013.

Comments: 45 pages

Journal ref: J. Algebra, Volume 448, 15 February 2016, p. 238-293

Polynomials for GL_p x GL_q orbit closures in the flag variety

Authors: Benjamin J. Wyser, Alexander Yong

Abstract: The subgroup K=GL_p x GL_q of GL_{p+q} acts on the (complex) flag variety GL_{p+q}/B with finitely many orbits. We introduce a family of polynomials that specializes to representatives for cohomology classes of the orbit closures in the Borel model. We define and study K-orbit determinantal ideals to support the geometric naturality of these representatives. Using a modification of these ideals, w… ▽ More The subgroup K=GL_p x GL_q of GL_{p+q} acts on the (complex) flag variety GL_{p+q}/B with finitely many orbits. We introduce a family of polynomials that specializes to representatives for cohomology classes of the orbit closures in the Borel model. We define and study K-orbit determinantal ideals to support the geometric naturality of these representatives. Using a modification of these ideals, we describe an analogy between two local singularity measures: the H-polynomials and the Kazhdan-Lusztig-Vogan polynomials. △ Less

Submitted 4 March, 2014; v1 submitted 12 August, 2013; originally announced August 2013.

Comments: 25 pages; v2 to appear in Selecta Math

Journal ref: Selecta Math., Volume 20, Issue 4 (2014), 1083-1110

Combinatorial rules for three bases of polynomials

Authors: Colleen Ross, Alexander Yong

Abstract: We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the k… ▽ More We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82]. △ Less

Submitted 1 February, 2013; originally announced February 2013.

Comments: 9 pages

Journal ref: Seminaire Lotharingien de Combinatoire 74 (2015), Article B74a, 11pp

Eigenvalues of Hermitian matrices and equivariant cohomology of Grassmannians

Authors: David Anderson, Edward Richmond, Alexander Yong

Abstract: The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two… ▽ More The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two eigenvalue problems and their connection to Schubert calculus of Grassmannians. Our main result gives a Schubert calculus interpretation of Friedland's problem, via equivariant cohomology of Grassmannians. In particular, we prove a saturation theorem for this setting. Our arguments employ the aformentioned work together with [Thomas-Yong '12]. △ Less

Submitted 22 April, 2013; v1 submitted 17 October, 2012; originally announced October 2012.

Comments: 14 pages, to appear in Compositio Math

Journal ref: Compositio Math. vol 149 (2013), pp 1569-1582