The positroid decomposition of the Grassmannian refines the well-known Schubert decomposition, and has a rich combinatorial structure. There are a number of interesting combinatorial posets which index positroid varieties,just as Young diagrams index Schubert varieties. In addition, Postnikov’s boundary measurement map gives a family of parametrizations for each positroid variety. The domain of each parametrization is the space of edge weights of a weighted planar network. The positroid stratification of the Grassmannian provides an elementary example of Lusztig’s theory of total non negativity for partial flag varieties, and has remarkable applications to particle physics.We generalize the combinatorics of positroid varieties to the Lagrangian Grassmannian, the moduli space of maximal isotropic subspaces with respect to a symplectic form
The aim of this case study is to demonstrate how a co-design approach could be used within design-based research (DBR) with diverse multi-stakeholders in the LUMA ecosystem to promote social creativity towards novel student-based solutions and pedagogical innovations. As a case, a national LUMA2020 development program (2019–2020), organized by the national LUMA Centre Finland and funded by the Finnish Ministry of Education and Culture, was studied in detail. The different data sources (e.g. an action plan, written observations) were analysed through qualitative content analysis. The Edelson’s design-based research model used in the program offered a systematic framework or a map for co-designing both the action plan and its implementation. The co-design approach within the model was organised through three stages to engage all multi-stakeholders (altogether about three hundred participants) for it: (i) a research and societally oriented framework stage, (ii) a practical stage and (iii) a “bottom-up” stage in which teachers from 160 schools were active participants and professional key contributors. The co-design approach and the design decisions were facilitated by using guided face-to-face communication in small group work and digital creative learning spaces as a medium for social creative thinking. The co-designers were teachers, teacher educators, scientists or industry specialists in different stages. The co-design model used could be a way to bridge the newest research and innovations into praxis for supporting the curriculum at the school level and for promoting teachers’ professional development by forming creative and diverse learning communities, in which all partners can learn from each other through sharing.
We introduce a new method for showing that the roots of the characteristic polynomial of a finite lattice are all nonnegative integers. Our method gives two simple conditions under which the characteristic polynomial factors. We will see that Stanley's Supersolvability Theorem is a corollary of this result. We can also use this method to demonstrate a new result in graph theory and give new proofs of some classic results concerning the Möbius function.
Sweep maps are a family of maps on words that, while simple to define, are not yet known to be injective in general. This family subsumes many of the "zeta maps" that have arisen in the study of q,t-Catalan numbers in the course of relating the three statistics of area, bounce and dinv. A sweep map can be defined for words over arbitrary alphabets with arbitrary weights. The latter property makes them particularly suitable for the study of rational Catalan combinatorics.
We revisit a classic partition theorem due to MacMahon that relates partitions with all parts repeated at least once and partitions with parts congruent to $2,3,4,6 \pmod{6}$, together with a generalization by Andrews and two others by Subbarao. Then we develop a unified bijective proof for all four theorems involved, and obtain a natural further generalization as a result.
Kuniba, Nakanishi, and Suzuki (1994) have formulated a general conjecture expressing the positive solution of an $\ell$-restricted $Q$-system in terms of quantum dimensions of Kirillov-Reshetikhin modules. After presenting this conjecture, we sketch a proof for the exceptional type $E_6$ following our preprint (2013). In types $E_7$ and $E_8$, we prove positivity for a subset of the nodes of the Dynkin diagram, and we reduce the positivity for the remaining nodes to the conjectural iterated log-concavity of certain explicit sequences of real algebraic numbers.
We study polytopes that are convex hulls of vectors of subgraph densities. Many graph theoretical questions can be expressed in terms of these polytopes, and statisticians use them to understand exponential random graph models. Relations among their Ehrhart polynomials are described, their duals are applied to certify that polynomials are non-negative, and we find some of their faces. For the general picture we inscribe cyclic polytopes in them and calculate volumes. From the volume calculations we conjecture that a variation of the Selberg integral indexed by Schur polynomials has a combinatorial formula. We inscribe polynomially parametrized sets, called curvy zonotopes, in the polytopes and show that they approximate the polytopes arbitrarily close.
Arc spaces have been introduced in algebraic geometry as a tool to study singularities but they show strong connections with combinatorics as well. Exploiting these relations we obtain a new approach to the classical Rogers-Ramanujan Identities. The linking object is the Hilbert-Poincaré series of the arc space over a point of the base variety. In the case of the double point this is precisely the generating series for the integer partitions without equal or consecutive parts.
We establish several properties of an algorithm defined by Mason and Remmel (2010) which inserts a positive integer into a row-strict composition tableau. These properties lead to a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions.
There is a close connection between Demazure crystals and tensor products of Kirillov–Reshetikhin crystals. For example, certain Demazure crystals are isomorphic as classical crystals to tensor products of Kirillov–Reshetikhin crystals via a canonically chosen isomorphism. Here we show that this isomorphism intertwines the natural affine grading on Demazure crystals with a combinatorially defined energy function. As a consequence, we obtain a formula of the Demazure character in terms of the energy function, which has applications to nonsymmetric Macdonald polynomials and $q$-deformed Whittaker functions.
For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type $A$ can be expressed as a sum of that of type $A$ with Littlewood–Richardson coefficients. Combining this result with theorems of Kirillov–Schilling–Shimozono and Lecouvey–Okado–Shimozono, we settle the $X=M$ conjecture under the large rank hypothesis.
We generalize the recent work of Fomin and Mikhalkin on polynomial formulas for Severi degrees. The degree of the Severi variety of plane curves of degree d and δ nodes is given by a polynomial in d, provided δ is fixed and d is large enough. We extend this result to generalized Severi varieties parametrizing plane curves which, in addition, satisfy tangency conditions of given orders with respect to a given line. We show that the degrees of these varieties, appropriately rescaled, are given by a combinatorially defined ``relative node polynomial'' in the tangency orders, provided the latter are large enough. We describe a method to compute these polynomials for arbitrary δ , and use it to present explicit formulas for δ ≤ 6. We also give a threshold for polynomiality, and compute the first few leading terms for any δ .
We exploit a bijection between plane recursive trees and Stirling permutations; this yields the equivalence of some results previously proven separately by different methods for the two types of objects as well as some new results. We also prove results on the joint distribution of the numbers of ascents, descents and plateaux in a random Stirling permutation. The proof uses an interesting generalized Pólya urn.
We study enumerative and homological properties of the Rees product of the cubical lattice with the chain. We give several explicit formulas for the Möbius function. The last formula is expressed in terms of the permanent of a matrix and is given by a bijective proof.
Let a and b be two positive integers. A culminating path is a path of Z^2 that starts from (0,0), consists of steps (1,a) and (1,-b), stays above the x-axis and ends at the highest ordinate it ever reaches. These paths were first encountered in bioinformatics, in the analysis of similarity search algorithms. They are also related to certain models of Lorentzian gravity in theoretical physics. We first show that the language on a two letter alphabet that naturally encodes culminating paths is not context-free. Then, we focus on the enumeration of culminating paths. A step by step approach, combined with the kernel method, provides a closed form expression for the generating fucntion of culminating paths ending at a (generic) height k. In the case a=b, we derive from this expression the asymptotic behaviour of the number of culminating paths of length n. When a>b, we obtain the asymptotic behaviour by a simpler argument. When a= b, with no precomputation stage nor non-linear storage required. The choice of the best algorithm is not as clear when a