Masters Exam

Speaker:  Ford McElroy, University of Kentucky

Title:         The Eulerian Transformation and Real-Rootedness

Abstract:

Many combinatorial polynomials are known to be real-rooted. Many others are conjectured to be real-rooted. The Eulerian Transformation is a map from A:R[t] --> R[t] generated by A(t^n)= A_n(t), the nth Eulerian polynomial. Brenti (1989) conjectured that the Eulerian Transformation preserves real-rootedness. In the 2022 paper The Eulerian Transformation by Brändén and Jochemko, they disprove Brenti's conjecture and make one of their own. In the talk, we will look at

Masters Exam

Speaker:  Ford McElroy, University of Kentucky

Title:         The Eulerian Transformation and Real-Rootedness

Abstract:

Many combinatorial polynomials are known to be real-rooted. Many others are conjectured to be real-rooted. The Eulerian Transformation is a map from A:R[t] --> R[t] generated by A(t^n)= A_n(t), the nth Eulerian polynomial. Brenti (1989) conjectured that the Eulerian Transformation preserves real-rootedness. In the 2022 paper The Eulerian Transformation by Brändén and Jochemko, they disprove Brenti's conjecture and make one of their own. In the talk, we will look at

KOI Combinatorics Lectures

Speaker:  Lei Xue, University of Michigan

Title:  A proof of Grünbaum's Lower Bound Conjecture for polytopes, lattices, and strongly regular pseudomanifolds

Abstract:

In 1967, Grünbaum conjectured that any d-dimensional polytope with d+s ≤ 2d vertices has at least φ_k(d+s, d) = {d+1 choose k+1} + {d choose k+1} - {d+1-k \choose k+1} \] k-faces. In the talk, we will prove this conjecture and discuss equality cases. We will then extend our results to lattices with diamond property (the inequality part) and to strongly regular normal pseudomanifolds (the equality part). We will also talk about recent results on d-dimensional polytopes with 2d+1 or 2d+2 vertices.

https://www.ms.uky.edu/~readdy/KOI/

KOI Combinatorics Lectures

Speaker:  Lei Xue, University of Michigan

Title:  A proof of Grünbaum's Lower Bound Conjecture for polytopes, lattices, and strongly regular pseudomanifolds

Abstract:

In 1967, Grünbaum conjectured that any d-dimensional polytope with d+s ≤ 2d vertices has at least φ_k(d+s, d) = {d+1 choose k+1} + {d choose k+1} - {d+1-k \choose k+1} \] k-faces. In the talk, we will prove this conjecture and discuss equality cases. We will then extend our results to lattices with diamond property (the inequality part) and to strongly regular normal pseudomanifolds (the equality part). We will also talk about recent results on d-dimensional polytopes with 2d+1 or 2d+2 vertices.

https://www.ms.uky.edu/~readdy/KOI/

DOUBLE HEADER, PART II, 1:45 - 2:30 pm

Speaker:  Yannic Vargas, TU Graz

Title:  Hopf algebras, species and free probability

Abstract:

Free probability theory, introduced by Voiculescu, is a non-commutative probability theory where the classical notion of independence is replaced by a non-commutative analogue ("freeness"). Originally introduced in an operator-algebraic context to solve problems related to von Neumann algebras, several aspects of free probability are combinatorial in nature. For instance, it has been shown by Speicher that the relations between moments and cumulants related to non-commutative independences involve the study of non-crossing partitions. More recently, the work of Ebrahimi-Fard and Patras has provided a way to use the group of characters on a Hopf algebra of "words on words", and its corresponding Lie algebra of infinitesimal characters, to study cumulants corresponding to different types of independences (free, boolean and monotone). In this talk we will give a survey of this last construction, and present an alternative description using the notion of series of a species.

Yannic Vargas is visiting Martha Yip.

Tea in POT 745 at 3:14 pm = π time

Speaker:  Mihai Ciucu, Indiana University

Title:  Cruciform regions and a conjecture of Di Francesco

Abstract:

The problem of finding formulas for the number of tilings of lattice regions goes back to the early 1900's, when MacMahon proved (in an equivalent form) that the number of lozenge tilings of a hexagon is given by an elegant product formula. In 1992, Elkies, Kuperberg, Larsen and Propp proved that the Aztec diamond (a certain natural region on the square lattice) of order n has 2^n(n+1)/2 domino tilings. A large related body of work developed motivated by a multitude of factors, including symmetries, refinements and connections with other combinatorial objects and statistical physics. It was a model from statistical physics that motivated the conjecture which inspired the regions we will discuss in this talk.

In recent work on the twenty vertex model, Di Francesco was led to a conjecture which states that the number of domino tilings of a certain family of regions on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign matrices. These regions, denoted T_n, are obtained by starting with a square of side-length 2n, cutting it in two along a diagonal by a zigzag path with step length two, and gluing to one of the resulting regions half of an Aztec diamond of order n-1. Inspired by the regions T_n, we construct a family of cruciform regions C_m,n^a,b,c,d generalizing the Aztec diamonds and we prove that their number of domino tilings is given by a simple product formula. Since (as it follows from our results) the number of domino tilings of the region T_n is a divisor of the number of tilings of the cruciform region C_2n-1,2n-1^n-1,n,n,n-2, the special case of our formula corresponding to the latter can be viewed as partial progress towards proving Di Francesco's conjecture.

Tea in POT 745 at 3:14 pm = π time

Speaker:  Mihai Ciucu, Indiana University

Title:  Cruciform regions and a conjecture of Di Francesco

Abstract:

The problem of finding formulas for the number of tilings of lattice regions goes back to the early 1900's, when MacMahon proved (in an equivalent form) that the number of lozenge tilings of a hexagon is given by an elegant product formula. In 1992, Elkies, Kuperberg, Larsen and Propp proved that the Aztec diamond (a certain natural region on the square lattice) of order n has 2^n(n+1)/2 domino tilings. A large related body of work developed motivated by a multitude of factors, including symmetries, refinements and connections with other combinatorial objects and statistical physics. It was a model from statistical physics that motivated the conjecture which inspired the regions we will discuss in this talk.

In recent work on the twenty vertex model, Di Francesco was led to a conjecture which states that the number of domino tilings of a certain family of regions on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign matrices. These regions, denoted T_n, are obtained by starting with a square of side-length 2n, cutting it in two along a diagonal by a zigzag path with step length two, and gluing to one of the resulting regions half of an Aztec diamond of order n-1. Inspired by the regions T_n, we construct a family of cruciform regions C_m,n^a,b,c,d generalizing the Aztec diamonds and we prove that their number of domino tilings is given by a simple product formula. Since (as it follows from our results) the number of domino tilings of the region T_n is a divisor of the number of tilings of the cruciform region C_2n-1,2n-1^n-1,n,n,n-2, the special case of our formula corresponding to the latter can be viewed as partial progress towards proving Di Francesco's conjecture.

Speaker:  Steven Karp, Notre Dame

Title:  q-Whittaker functions, finite fields, and Jordan forms

Abstract:

The q-Whittaker symmetric function associated to an integer partition is a q-analogue of the Schur symmetric function. Its coefficients in the monomial basis enumerate partial flags compatible with a nilpotent endomorphism over the finite field of size 1/q. We show that considering pairs of partial flags and taking Jordan forms leads to a probabilistic bijection between nonnegative-integer matrices and pairs of semistandard tableaux of the same shape, which we call the q-Burge correspondence. In the q -> 0 limit, we recover a known description of the classical Burge correspondence (also called column RSK). We use the q-Burge correspondence to prove enumerative formulas for certain modules over the preprojective algebra of a path quiver.

This is joint work with Hugh Thomas.

Part I of DOUBLE HEADER!

745 POT; 1-1:45 pm

Speaker:  Daniel Tamayo, Université Paris-Saclay

Title:  On some recent combinatorial properties of permutree congruences

of the weak order

Abstract:

Since the work of Nathan Reading in 2004, the field of lattice

quotients of the weak order has received plenty of attention on the

combinatorial, algebraic, and geometric fronts. More recently, Viviane

Pons and Vincent Pilaud defined permutrees which are combinatorial

objects with nice combinatorial properties that describe a special

family of lattice congruences. In this talk we will give a brief

introduction into the world of (permutree) lattice congruences, how they

lead to structures such as the Tamari and boolean lattice, followed by

connections to pattern avoidance, automata and some examples of sorting

algorithms.

Daniel Tamayo is visiting Martha Yip.

Qualifying Exam

Speaker:  Williem Rizer, University of Kentucky

Title:  Combinatorics of the Positroidal Stratification of the Totally Nonnegative Grassmannian

Abstract:

The Grassmannian has been an object of much interest in algebra, geometry, and combinatorics. We can decompose the Grassmannian into matroid strata, in which each element of the stratum has the same set of nonzero Plücker coordinates corresponding to the bases of a matroid. If we restrict to the elements of the Grassmannian with nonngeative coordinates, the corresponding matroids are called positroids. Postnikov revealed a family of combinatorial objects that can be used to parameterize positroidal cells. Recently, various authors have studied objects (X-diagrams and LACD colored permutations) that are in correspondence with this family, though the bijections exhibited do not commute with one another. In this talk we discuss all of these objects, the bijections between them, the information they reveal about positroids, and the possible connections and generalizations we can make to fold these newer objects neatly into the family.