Showing 1–50 of 55 results for author: Grinberg, D

Quasisymmetric expansion of Hall-Littlewood symmetric functions

Authors: Darij Grinberg, Ekaterina A. Vassilieva

Abstract: In our previous works we introduced a $q$-deformation of the generating functions for enriched $P$-partitions. We call the evaluation of this generating functions on labelled chains, the $q$-fundamental quasisymmetric functions. These functions interpolate between Gessel's fundamental ($q=0$) and Stembridge's peak ($q=1$) functions, the natural quasisymmetric expansions of Schur and Schur's $Q$-sy… ▽ More In our previous works we introduced a $q$-deformation of the generating functions for enriched $P$-partitions. We call the evaluation of this generating functions on labelled chains, the $q$-fundamental quasisymmetric functions. These functions interpolate between Gessel's fundamental ($q=0$) and Stembridge's peak ($q=1$) functions, the natural quasisymmetric expansions of Schur and Schur's $Q$-symmetric functions. In this paper, we show that our $q$-fundamental functions provide a quasisymmetric expansion of Hall-Littlewood $S$-symmetric functions with parameter $t=-q$. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: Extended abstract accepted for FPSAC 2024. Comments are welcome! 12 pages

MSC Class: 05E05; 06A11

Monomial identities in the Weyl algebra

Authors: Darij Grinberg, Tom Roby, Stephan Wagner, Mei Yin

Abstract: Motivated by a question and some enumerative conjectures of Richard Stanley, we explore the equivalence classes of words in the Weyl algebra, $\mathbf{k} \langle D,U\rangle/(DU-UD=1)$. We show that each class is generated by the swap** of adjacent *balanced subwords*, i.e., those which have the same number of $D$'s as $U$'s, and give several other characterizations. Armed with this we deduce a… ▽ More Motivated by a question and some enumerative conjectures of Richard Stanley, we explore the equivalence classes of words in the Weyl algebra, $\mathbf{k} \langle D,U\rangle/(DU-UD=1)$. We show that each class is generated by the swap** of adjacent *balanced subwords*, i.e., those which have the same number of $D$'s as $U$'s, and give several other characterizations. Armed with this we deduce a number of enumerative results about the number of such equivalence classes and their sizes. We extend these results to the class of $c$-Dyck words, where every prefix has at least $c$ times as many $U$'s as $D$'s. We also connect these results to previous work on bond percolation and rook theory, and generalize them to some other algebras. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 63 pages, 10 pictures. For Richard Stanley's 80th birthday. Detailed version available as ancillary file. Comments are welcome!

MSC Class: 12H05; 16S32; 05A15; 68R15

Necklaces over a group with identity product

Authors: Darij Grinberg, Peter Mao

Abstract: We address two variants of the classical necklace counting problem from enumerative combinatorics. In both cases, we fix a finite group $\mathcal{G}$ and a positive integer $n$. In the first variant, we count the ``identity-product $n$-necklaces'' -- that is, the orbits of $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ that satisfy $a_1 a_2 \cdots a_n = 1$ under cyclic rotation.… ▽ More We address two variants of the classical necklace counting problem from enumerative combinatorics. In both cases, we fix a finite group $\mathcal{G}$ and a positive integer $n$. In the first variant, we count the ``identity-product $n$-necklaces'' -- that is, the orbits of $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ that satisfy $a_1 a_2 \cdots a_n = 1$ under cyclic rotation. In the second, we count the orbits of all $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ under cyclic rotation and left multiplication (i.e., the operation of $\mathcal{G}$ on $\mathcal{G}^n$ given by $h \cdot \left(a_1, a_2, \ldots, a_n\right) = \left(ha_1, ha_2, \ldots, ha_n\right)$). We prove bijectively that both answers are the same, and express them as a sum over divisors of $n$. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 26 pages. Comments are welcome!

MSC Class: 05E18; 05A15

The diagonal derivative of a skew Schur polynomial

Authors: Darij Grinberg, Nazar Korniichuk, Kostiantyn Molokanov, Severyn Khomych

Abstract: We prove a formula for the image of a skew Schur polynomial $s_{λ/μ}\left( x_{1}, x_{2}, \ldots, x_{N}\right) $ under the differential operator $\nabla:= \dfrac{\partial}{\partial x_{1}} +\dfrac{\partial}{\partial x_{2}}+\cdots+\dfrac{\partial}{\partial x_{N}}$. This generalizes a formula of Weigandt for $\nabla\left( s_λ\right) $. We prove a formula for the image of a skew Schur polynomial $s_{λ/μ}\left( x_{1}, x_{2}, \ldots, x_{N}\right) $ under the differential operator $\nabla:= \dfrac{\partial}{\partial x_{1}} +\dfrac{\partial}{\partial x_{2}}+\cdots+\dfrac{\partial}{\partial x_{N}}$. This generalizes a formula of Weigandt for $\nabla\left( s_λ\right) $. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 16 pages. Comments welcome! Yulia's Dream 2023 side-project

MSC Class: 05E05; 11P81

A Solomon Mackey formula for graded bialgebras

Authors: Darij Grinberg

Abstract: Given a graded bialgebra $H$, we let $Δ^{\left[ k\right] }:H\rightarrow H^{\otimes k}$ and $m^{\left[ k\right] }:H^{\otimes k}\rightarrow H$ be its iterated (co)multiplications for all $k\in\mathbb{N}$. For any $k$-tuple $α=\left( α_{1},α_{2},\ldots,α_{k}\right) \in\mathbb{N}^{k}$ of nonnegative integers, and any permutation $σ$ of $\left\{ 1,2,\ldots,k\right\} $, we consider the map… ▽ More Given a graded bialgebra $H$, we let $Δ^{\left[ k\right] }:H\rightarrow H^{\otimes k}$ and $m^{\left[ k\right] }:H^{\otimes k}\rightarrow H$ be its iterated (co)multiplications for all $k\in\mathbb{N}$. For any $k$-tuple $α=\left( α_{1},α_{2},\ldots,α_{k}\right) \in\mathbb{N}^{k}$ of nonnegative integers, and any permutation $σ$ of $\left\{ 1,2,\ldots,k\right\} $, we consider the map $p_{α,σ}:=m^{\left[ k\right] }\circ P_α\circσ^{-1}\circΔ^{\left[ k\right] }:H\rightarrow H$, where $P_α$ denotes the projection of $H^{\otimes k}$ onto its multigraded component $H_{α_{1}}\otimes H_{α_{2}}\otimes\cdots\otimes H_{α_{k}}$, and where $σ^{-1}:H\rightarrow H$ permutes the tensor factors. We prove formulas for the composition $p_{α,σ}\circ p_{β,τ}$ and the convolution $p_{α,σ}\star p_{β,τ}$ of two such maps. When $H$ is cocommutative, these generalize Patras's 1994 results (which, in turn, generalize Solomon's Mackey formula). We also construct a combinatorial Hopf algebra $\operatorname*{PNSym}$ ("permuted noncommutative symmetric functions") that governs the maps $p_{α,σ}$ for arbitrary connected graded bialgebras $H$ in the same way as the well-known $\operatorname*{NSym}$ governs them in the cocommutative case. We end by outlining an application to checking identities for connected graded Hopf algebras. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Comments: 52 pages. Draft and outline, to be improved (hopefully). Submitted to the proceedings of CATMI 2023 Bergen. Comments are welcome!

MSC Class: 16T30; 05E05

The Pak--Postnikov and Naruse skew hook length formulas: a new proof

Authors: Darij Grinberg, Nazar Korniichuk, Kostiantyn Molokanov, Severyn Khomych

Abstract: The classical hook length formula of enumerative combinatorics expresses the number of standard Young tableaux of a given partition shape as a single fraction. In recent years, two generalizations of this formula have emerged: one by Pak and Postnikov, replacing the number by a (rational) generating function, and one by Naruse, which generalizes the setting from a partition to a skew partition. Bo… ▽ More The classical hook length formula of enumerative combinatorics expresses the number of standard Young tableaux of a given partition shape as a single fraction. In recent years, two generalizations of this formula have emerged: one by Pak and Postnikov, replacing the number by a (rational) generating function, and one by Naruse, which generalizes the setting from a partition to a skew partition. Both generalizations appear to lie significantly deeper, with no simple proofs known. We combine them into a generating-function identity for skew partitions, and prove it in a fairly elementary way using recursion, determinants and simple combinatorics. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: Statements (pp. 6--16), proof sketch (pp. 16--52), extra details (pp. 52--141). A variant of Jacobi-Trudi is proved in the process. Comments are welcome!

MSC Class: 05A17; 05E05; 15A15; 05A19

Commutator nilpotency for somewhere-to-below shuffles

Authors: Darij Grinberg

Abstract: Given a positive integer $n$, we consider the group algebra of the symmetric group $S_{n}$. In this algebra, we define $n$ elements $t_{1},t_{2},\ldots,t_{n}$ by the formula \[ t_{\ell}:=\operatorname*{cyc}\nolimits_{\ell}+\operatorname*{cyc}\nolimits_{\ell,\ell+1}+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ell+2}+\cdots+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,n}, \] where… ▽ More Given a positive integer $n$, we consider the group algebra of the symmetric group $S_{n}$. In this algebra, we define $n$ elements $t_{1},t_{2},\ldots,t_{n}$ by the formula \[ t_{\ell}:=\operatorname*{cyc}\nolimits_{\ell}+\operatorname*{cyc}\nolimits_{\ell,\ell+1}+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ell+2}+\cdots+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,n}, \] where $\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,k}$ denotes the cycle that sends $\ell\mapsto\ell+1\mapsto\ell+2\mapsto\cdots\mapsto k\mapsto\ell$. These $n$ elements are called the *somewhere-to-below shuffles* due to an interpretation as card-shuffling operators. In this paper, we show that their commutators $\left[ t_{i},t_{j}\right] =t_{i}t_{j}-t_{j}t_{i}$ are nilpotent, and specifically that \[ \left[ t_{i},t_{j}\right] ^{\left\lceil \left( n-j\right) /2\right\rceil +1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }i,j\in\left\{ 1,2,\ldots,n\right\} \] and \[ \left[ t_{i},t_{j}\right] ^{j-i+1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }1\leq i\leq j\leq n. \] We discuss some further identities and open questions. △ Less

Submitted 20 September, 2023; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 48 pages. Comments welcome! v2 simplifies some proofs and adds some more experimental data

MSC Class: 05E99; 20C30; 60J10

The enriched $q$-monomial basis of the quasisymmetric functions

Authors: Darij Grinberg, Ekaterina A. Vassilieva

Abstract: We construct a new family $\left( η_α^{\left( q\right) }\right) _{α\in\operatorname*{Comp}}$ of quasisymmetric functions for each element $q$ of the base ring. We call them the "enriched $q$-monomial quasisymmetric functions". When $r:=q+1$ is invertible, this family is a basis of $\operatorname{QSym}$. It generalizes Hoffman's "essential quasi-symmetric functions" (obtained for $q=0$) and Hsiao's… ▽ More We construct a new family $\left( η_α^{\left( q\right) }\right) _{α\in\operatorname*{Comp}}$ of quasisymmetric functions for each element $q$ of the base ring. We call them the "enriched $q$-monomial quasisymmetric functions". When $r:=q+1$ is invertible, this family is a basis of $\operatorname{QSym}$. It generalizes Hoffman's "essential quasi-symmetric functions" (obtained for $q=0$) and Hsiao's "monomial peak functions" (obtained for $q=1$), but also includes the monomial quasisymmetric functions as a limiting case. We describe these functions $η_α^{\left( q\right) }$ by several formulas, and compute their products, coproducts and antipodes. The product expansion is given by an exotic variant of the shuffle product which we call the "stufufuffle product" due to its ability to pick several consecutive entries from each composition. This "stufufuffle product" has previously appeared in recent work by Bouillot, Novelli and Thibon, generalizing the "block shuffle product" from the theory of multizeta values. △ Less

Submitted 24 September, 2023; v1 submitted 3 September, 2023; originally announced September 2023.

Comments: 106 pages. A shortened version for more advanced readers will soon be submitted. Comments are welcome! v2 corrects some minor oversights

MSC Class: 05E05; 05A30; 11M32

An introduction to graph theory

Authors: Darij Grinberg

Abstract: This is a graduate-level introduction to graph theory, corresponding to a quarter-long course. It covers simple graphs, multigraphs as well as their directed analogues, and more restrictive classes such as tournaments, trees and arborescences. Among the features discussed are Eulerian circuits, Hamiltonian cycles, spanning trees, the matrix-tree and BEST theorems, proper colorings, Turan's theorem… ▽ More This is a graduate-level introduction to graph theory, corresponding to a quarter-long course. It covers simple graphs, multigraphs as well as their directed analogues, and more restrictive classes such as tournaments, trees and arborescences. Among the features discussed are Eulerian circuits, Hamiltonian cycles, spanning trees, the matrix-tree and BEST theorems, proper colorings, Turan's theorem, bipartite matching and the Menger and Gallai--Milgram theorems. The basics of network flows are introduced in order to prove Hall's marriage theorem. Around a hundred exercises are included (without solutions). △ Less

Submitted 2 August, 2023; originally announced August 2023.

Comments: 422 pages, 200+ figures. Comments are welcome! The version at https://www.cip.ifi.lmu.de/~grinberg/t/22s/graphs.pdf will be updated more frequently. Some older materials are included as ancillary files, but can also be found at https://www.cip.ifi.lmu.de/~grinberg/t/17s

MSC Class: 05Cxx

The Redei--Berge symmetric function of a directed graph

Authors: Darij Grinberg, Richard P. Stanley

Abstract: Let $D=\left( V,A\right) $ be a digraph with $n$ vertices, where each arc $a\in A$ is a pair $\left( u,v\right) $ of two vertices. We study the \emph{Redei--Berge symmetric function} $U_{D}$, defined as the quasisymmetric function% \[ \sum L_{\operatorname*{Des}\left( w,D\right) ,\ n}\in\operatorname*{QSym}. \] Here, the sum ranges over all lists $w=\left( w_{1},w_{2},\ldots ,w_{n}\right) $ that c… ▽ More Let $D=\left( V,A\right) $ be a digraph with $n$ vertices, where each arc $a\in A$ is a pair $\left( u,v\right) $ of two vertices. We study the \emph{Redei--Berge symmetric function} $U_{D}$, defined as the quasisymmetric function% \[ \sum L_{\operatorname*{Des}\left( w,D\right) ,\ n}\in\operatorname*{QSym}. \] Here, the sum ranges over all lists $w=\left( w_{1},w_{2},\ldots ,w_{n}\right) $ that contain each vertex of $D$ exactly once, and the corresponding addend is% \[ L_{\operatorname*{Des}\left( w,D\right) ,\ n}:=\sum_{\substack{i_{1}\leq i_{2}\leq\cdots\leq i_{n};\ı_{p}<i_{p+1}\text{ for each }p\text{ satisfying }\left( w_{p},w_{p+1}\right) \in A}}x_{i_{1}}x_{i_{2}}\cdots x_{i_{n}}% \] (an instance of Gessel's fundamental quasisymmetric functions). While $U_{D}$ is a specialization of Chow's path-cycle symmetric function, which has been studied before, we prove some new formulas that express $U_{D}$ in terms of the power-sum symmetric functions. We show that $U_{D}$ is always $p$-integral, and furthermore is $p$-positive whenever $D$ has no $2$-cycles. When $D$ is a tournament, $U_{D}$ can be written as a polynomial in $p_{1},2p_{3},2p_{5},2p_{7},\ldots$ with nonnegative integer coefficients. By specializing these results, we obtain the famous theorems of Redei and Berge on the number of Hamiltonian paths in digraphs and tournaments, as well as a modulo-$4$ refinement of Redei's theorem. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 66 pages. Draft (proofs in Sections 3-8 are still somewhat of an outline), posted for reference. Detailed version (for Section 2) as ancillary file

MSC Class: 05A05; 05A19; 05E05; 05C30

Multislant matrices and Jacobi--Trudi determinants over finite fields

Authors: Omesh Dhar Dwivedi, Jonah Blasiak, Darij Grinberg

Abstract: The problem of counting the $\mathbb{F}_q$-valued points of a variety has been well-studied from algebro-geometric, topological, and combinatorial perspectives. We explore a combinatorially flavored version of this problem studied by Anzis et al. (2018), which is similar to work of Kontsevich, Elkies, and Haglund. Anzis et al. considered the question: what is the probability that the determinant… ▽ More The problem of counting the $\mathbb{F}_q$-valued points of a variety has been well-studied from algebro-geometric, topological, and combinatorial perspectives. We explore a combinatorially flavored version of this problem studied by Anzis et al. (2018), which is similar to work of Kontsevich, Elkies, and Haglund. Anzis et al. considered the question: what is the probability that the determinant of a Jacobi-Trudi matrix vanishes if the variables are chosen uniformly at random from a finite field? They gave a formula for various partitions such as hooks, staircases, and rectangles. We give a formula for partitions whose parts form an arithmetic progression, verifying and generalizing one of their conjectures. More generally, we compute the probability of the determinant vanishing for a class of matrices (``multislant matrices'') made of Toeplitz blocks with certain properties. We furthermore show that the determinant of a skew Jacobi-Trudi matrix is equidistributed across the finite field if the skew partition is a ribbon. △ Less

Submitted 6 June, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 28 pages. Some minor corrections and improvements in v2

MSC Class: 05E05; 15B05; 11T06; 11C20

Journal ref: Finite Fields and Their Applications 91, October 2023, 102262

The entry sum of the inverse Cauchy matrix

Authors: Darij Grinberg

Abstract: Let $x_{1},x_{2},\ldots,x_{n}$ be $n$ numbers, and $y_{1},y_{2},\ldots,y_{n}$ be $n$ further numbers chosen such that all $n^{2}$ pairwise sums $x_{i}+y_{j}$ are nonzero. Consider the $n\times n$-matrix \[ C:=\left( \dfrac{1}{x_{i}+y_{j}}\right) _{1\leq i\leq n,\ 1\leq j\leq n} = \begin{pmatrix} \dfrac{1}{x_{1}+y_{1}} & \dfrac{1}{x_{1}+y_{2}} & \cdots & \dfrac{1}{x_{1}+y_{n}}\\ \dfrac{1}{x_{2}+y_{… ▽ More Let $x_{1},x_{2},\ldots,x_{n}$ be $n$ numbers, and $y_{1},y_{2},\ldots,y_{n}$ be $n$ further numbers chosen such that all $n^{2}$ pairwise sums $x_{i}+y_{j}$ are nonzero. Consider the $n\times n$-matrix \[ C:=\left( \dfrac{1}{x_{i}+y_{j}}\right) _{1\leq i\leq n,\ 1\leq j\leq n} = \begin{pmatrix} \dfrac{1}{x_{1}+y_{1}} & \dfrac{1}{x_{1}+y_{2}} & \cdots & \dfrac{1}{x_{1}+y_{n}}\\ \dfrac{1}{x_{2}+y_{1}} & \dfrac{1}{x_{2}+y_{2}} & \cdots & \dfrac{1}{x_{2}+y_{n}}\\ \vdots & \vdots & \ddots & \vdots\\ \dfrac{1}{x_{n}+y_{1}} & \dfrac{1}{x_{n}+y_{2}} & \cdots & \dfrac{1}{x_{n}+y_{n}} \end{pmatrix}. \] This matrix $C$ is known as the "Cauchy matrix", and has been studied for 180 years. A classical result says that if $C$ is invertible, then the sum of all entries of its inverse $C^{-1}$ is $\sum_{k=1}^{n}x_{k}+\sum_{k=1}^{n}y_{k}$. We give a simple and short proof of this result, and briefly discuss a "tropicalized" variant in which the entries $\dfrac{1}{x_i+y_j}$ are replaced by $ \min\left\{ x_{i},y_{j}\right\}$. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: 7 pages. Expository note

MSC Class: 15B05; 15A15

Journal ref: The Mathematical Intelligencer (2023)

The algebra of extended peaks

Authors: Darij Grinberg, Ekaterina A. Vassilieva

Abstract: Building up on our previous works regarding $q$-deformed $P$-partitions, we introduce a new family of subalgebras for the ring of quasisymmetric functions. Each of these subalgebras admits as a basis a $q$-analogue to Gessel's fundamental quasisymmetric functions where $q$ is equal to a complex root of unity. Interestingly, the basis elements are indexed by sets corresponding to an intermediary st… ▽ More Building up on our previous works regarding $q$-deformed $P$-partitions, we introduce a new family of subalgebras for the ring of quasisymmetric functions. Each of these subalgebras admits as a basis a $q$-analogue to Gessel's fundamental quasisymmetric functions where $q$ is equal to a complex root of unity. Interestingly, the basis elements are indexed by sets corresponding to an intermediary statistic between peak and descent sets of permutations that we call extended peak. △ Less

Submitted 31 December, 2022; originally announced January 2023.

Comments: 12 pages; extended abstract submitted for FPSAC. Longform papers on the project are still forthcoming

MSC Class: 05E05; 06A11

Journal ref: Séminaire Lotharingien de Combinatoire 89B (2023), Proceedings of the 35th Conference on Formal Power Series 2023, Article #46

The one-sided cycle shuffles in the symmetric group algebra

Authors: Darij Grinberg, Nadia Lafrenière

Abstract: We study a family of shuffling operators on the symmetric group $S_n$, which includes the top-to-random shuffle. The general shuffling scheme consists of removing one card at a time from the deck (according to some probability distribution) and re-inserting it at a (uniformly) random position further below. Rewritten in terms of the group algebra $\mathbb{R}[S_n]$, our shuffle corresponds to right… ▽ More We study a family of shuffling operators on the symmetric group $S_n$, which includes the top-to-random shuffle. The general shuffling scheme consists of removing one card at a time from the deck (according to some probability distribution) and re-inserting it at a (uniformly) random position further below. Rewritten in terms of the group algebra $\mathbb{R}[S_n]$, our shuffle corresponds to right multiplication by a linear combination of the elements \[t_i:=\text{cyc}_{i}+\text{cyc}_{i,i+1}+\text{cyc}_{i,i+1,i+2}+\cdots+\text{cyc}_{i,i+1,\ldots,n}\in \mathbb{R}[S_n]\] for all $i\in\{1,2,\ldots,n\}$ (where $\text{cyc}_{j_1,j_2,\ldots,j_p}$ stands for a $p$-cycle). We compute the eigenvalues of these shuffling operators and of all their linear combinations. In particular, we show that the eigenvalues of right multiplication by a linear combination $λ_1t_1+λ_2t_2+\cdots+λ_nt_n$ are the numbers $λ_1m_{I,1}+λ_2m_{I,2}+\cdots+λ_nm_{I,n}$, where $I$ ranges over the subsets of $\{1,2,\ldots,n-1\}$ that contain no two consecutive integers; here $m_{I,i}$ are certain integers. We compute the multiplicities of these eigenvalues and show that if they are all distinct, the shuffling operator is diagonalizable. To this purpose, we show that the operators of right multiplication by $t_1,t_2,\ldots,t_n$ on $\mathbb{R}[S_n]$ are simultaneously triangularizable (via a combinatorially defined basis). The results stated here over $\mathbb{R}$ for convenience are actually stated and proved over an arbitrary commutative ring $\mathbf{k}$. We finish by describing a strong stationary time for the random-to-below shuffle, which is the shuffle in which the card that moves below is selected uniformly at random, and we give the waiting time for this event to happen. △ Less

Submitted 10 March, 2024; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 93 pages. v4 corrects a few typos. To appear in Algebraic Combinatorics, 2024

MSC Class: 05E99; 20C30; 60J10

Journal ref: Shortened version in: Algebraic Combinatorics, Volume 7 (2024) no. 2, pp. 275-326

Birational rowmotion on a rectangle over a noncommutative ring

Authors: Darij Grinberg, Tom Roby

Abstract: We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained. Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with… ▽ More We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained. Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with each poset element and two constant labels for the added top and bottom elements in $\hat{P}$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $\mathbb{K}=\mathbb{R}$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $\mathcal{O}(P) := \{\text{order-preserving } f: P \to[0,1]\}$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $\mathcal{O}(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $\mathbb{K}$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step. In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $\mathbb{K}$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings. △ Less

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

Comments: 72 pages. A more detailed version is available as an ancillary file. For a less detailed version, skip all proofs of something being well-defined. Comments are welcome! v4 corrects some minor bugs. Accepted at Combinatorial Theory, no editorial formatting

MSC Class: 06A07; 05E99

Journal ref: Combinatorial Theory, 3(3) (2023)

On the principal minors of the powers of a matrix

Authors: Darij Grinberg

Abstract: We show that if $A$ is an $n\times n$-matrix, then the diagonal entries of each power $A^{m}$ are uniquely determined by the principal minors of $A$, and can be written as universal (integral) polynomials in the latter. Furthermore, if the latter all equal $1$, then so do the former. These results are inspired by Problem B5 on the Putnam contest 2021, and shed a new light on the behavior of minors… ▽ More We show that if $A$ is an $n\times n$-matrix, then the diagonal entries of each power $A^{m}$ are uniquely determined by the principal minors of $A$, and can be written as universal (integral) polynomials in the latter. Furthermore, if the latter all equal $1$, then so do the former. These results are inspired by Problem B5 on the Putnam contest 2021, and shed a new light on the behavior of minors under matrix multiplication. △ Less

Submitted 16 April, 2022; originally announced April 2022.

Comments: 13 pages. Note inspired by grading the Putnam in 2021

MSC Class: 11C20; 14M12; 15A15

Journal ref: Gazeta Matematica, Seria A, Anul XL (CXIX), nr. 1--2, 2022

A $q$-deformation of enriched $P$-partitions (extended abstract)

Authors: Darij Grinberg, Ekaterina A. Vassilieva

Abstract: We introduce a $q$-deformation that generalises in a single framework previous works on classical and enriched $P$-partitions. In particular, we build a new family of power series with a parameter $q$ that interpolates between Gessel's fundamental ($q=0$) and Stembridge's peak quasisymmetric functions ($q=1$) and show that it is a basis of $\QSym$ when $q\notin\{-1,1\}$. Furthermore we build their… ▽ More We introduce a $q$-deformation that generalises in a single framework previous works on classical and enriched $P$-partitions. In particular, we build a new family of power series with a parameter $q$ that interpolates between Gessel's fundamental ($q=0$) and Stembridge's peak quasisymmetric functions ($q=1$) and show that it is a basis of $\QSym$ when $q\notin\{-1,1\}$. Furthermore we build their corresponding monomial bases parametrised with $q$ that cover our previous work on enriched monomials and the essential quasisymmetric functions of Hoffman. △ Less

Submitted 18 July, 2023; v1 submitted 12 February, 2022; originally announced February 2022.

Comments: 12 pages. Extended abstract accepted for FPSAC 2022. In v3, we corrected Corollary 1

MSC Class: 05E05; 06A11

Journal ref: corrected version of: Séminaire Lotharingien de Combinatoire, 86B.78 (2022), 12 pp

Weighted posets and the enriched monomial basis of QSym (extended abstract)

Authors: Darij Grinberg, Ekaterina A. Vassilieva

Abstract: Gessel's fundamental and Stembridge's peak functions are the generating functions for (enriched) $P$-partitions on labelled chains. They are also the bases of two significant subalgebras of formal power series, respectively the ring of quasisymmetric functions (QSym) and the algebra of peaks. Hsiao introduced the monomial peak functions, a basis of the algebra of peaks indexed by odd integer compo… ▽ More Gessel's fundamental and Stembridge's peak functions are the generating functions for (enriched) $P$-partitions on labelled chains. They are also the bases of two significant subalgebras of formal power series, respectively the ring of quasisymmetric functions (QSym) and the algebra of peaks. Hsiao introduced the monomial peak functions, a basis of the algebra of peaks indexed by odd integer compositions whose relation to peak functions mimics the one between the monomial and fundamental bases of QSym. We show that the extension of monomial peaks to any composition is a new basis of QSym and generalise Hsiao's results including the product rule. To this end we introduce a weighted variant of posets and study their generating functions. △ Less

Submitted 9 February, 2022; originally announced February 2022.

Comments: 12 pages. Extended abstract; will eventually be replaced by a full-length paper

MSC Class: 05E05; 06A11

Journal ref: Séminaire Lotharingien de Combinatoire, 85B.58 (2021), 12 pp

The pre-Pieri rules

Authors: Darij Grinberg

Abstract: Let $R$ be a commutative ring and $n\geq1$ and $p\geq0$ two integers. Let $h_{k,\ i}$ be an element of $R$ for all $k\in\mathbb Z$ and $i\in [n]$. For any $α\in\mathbb Z^n$, we define \[ t_α:=\det\begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+n,\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+n,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots… ▽ More Let $R$ be a commutative ring and $n\geq1$ and $p\geq0$ two integers. Let $h_{k,\ i}$ be an element of $R$ for all $k\in\mathbb Z$ and $i\in [n]$. For any $α\in\mathbb Z^n$, we define \[ t_α:=\det\begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+n,\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+n,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+n,\ n} \end{pmatrix} \in R \] (where $α_i$ denotes the $i$-th entry of $α$). Then, we have the identity \[ \sum_{\substack{β\in\{0,1,2,\ldots\}^n ;\\ \left|β\right|=p}}t_{α+β} =\det \begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+(n-1),\ 1} & h_{α_1+(n+p),\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+(n-1),\ 2} & h_{α_2+(n+p),\ 2}\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+(n-1),\ n} & h_{α_n+(n+p),\ n} \end{pmatrix} \] (where $α+β$ denotes the entrywise sum of the tuples $α$ and $β$). Furthermore, if $p\leq n$, then \[ \sum_{\substack{β\in\left\{ 0,1\right\} ^n ;\\\left| β\right| =p}}t_{α+β}=\det \begin{pmatrix} h_{α_1+ξ_1 ,\ 1} & h_{α_1+ξ_2 ,\ 1} & \cdots & h_{α_1+ξ_n ,\ 1}\\ h_{α_2+ξ_1 ,\ 2} & h_{α_2+ξ_2 ,\ 2} & \cdots & h_{α_2+ξ_n ,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+ξ_1 ,\ n} & h_{α_n+ξ_2 ,\ n} & \cdots & h_{α_n+ξ_n ,\ n} \end{pmatrix} , \] where $ξ=(1,2,\ldots,n-p,n-p+2,n-p+3,\ldots,n+1)$. We prove these two identities (in a slightly more general setting, where $R$ is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 44 pages. Main results stated in Sections 2 and 4

MSC Class: 15A15; 05E05; 15A24

On the rank of Hankel matrices over finite fields

Authors: Omesh Dhar Dwivedi, Darij Grinberg

Abstract: Given three nonnegative integers $p,q,r$ and a finite field $F$, how many Hankel matrices $\left( x_{i+j}\right) _{0\leq i\leq p,\ 0\leq j\leq q}$ over $F$ have rank $\leq r$ ? This question is classical, and the answer ($q^{2r}$ when $r\leq\min\left\{ p,q\right\} $) has been obtained independently by various authors using different tools (Daykin, Elkies, Garcia Armas, Ghorpade and Ram). In this n… ▽ More Given three nonnegative integers $p,q,r$ and a finite field $F$, how many Hankel matrices $\left( x_{i+j}\right) _{0\leq i\leq p,\ 0\leq j\leq q}$ over $F$ have rank $\leq r$ ? This question is classical, and the answer ($q^{2r}$ when $r\leq\min\left\{ p,q\right\} $) has been obtained independently by various authors using different tools (Daykin, Elkies, Garcia Armas, Ghorpade and Ram). In this note, we study a refinement of this result: We show that if we fix the first $k$ of the entries $x_{0},x_{1},\ldots,x_{k-1}$ for some $k\leq r\leq\min\left\{ p,q\right\} $, then the number of ways to choose the remaining $p+q-k+1$ entries $x_{k},x_{k+1},\ldots,x_{p+q}$ such that the resulting Hankel matrix $\left( x_{i+j}\right) _{0\leq i\leq p,\ 0\leq j\leq q}$ has rank $\leq r$ is $q^{2r-k}$. This is exactly the answer that one would expect if the first $k$ entries had no effect on the rank, but of course the situation is not this simple. The refined result generalizes (and provides an alternative proof of) a result by Anzis, Chen, Gao, Kim, Li and Patrias on evaluations of Jacobi-Trudi determinants over finite fields. △ Less

Submitted 11 September, 2021; originally announced September 2021.

Comments: 27 pages

MSC Class: 11T06; 11C20; 05E05

Journal ref: Linear Algebra and its Applications 641, 15 May 2022, Pages 156-181 (with editorial changes)

On the square of the antipode in a connected filtered Hopf algebra

Authors: Darij Grinberg

Abstract: It is well-known that the antipode $S$ of a commutative or cocommutative Hopf algebra satisfies $S^{2}=\operatorname*{id}$ (where $S^{2}=S\circ S$). Recently, similar results have been obtained by Aguiar, Lauve and Mahajan for connected graded Hopf algebras: Namely, if $H$ is a connected graded Hopf algebra with grading $H=\bigoplus_{n\geq0}H_n$, then each positive integer $n$ satisfies… ▽ More It is well-known that the antipode $S$ of a commutative or cocommutative Hopf algebra satisfies $S^{2}=\operatorname*{id}$ (where $S^{2}=S\circ S$). Recently, similar results have been obtained by Aguiar, Lauve and Mahajan for connected graded Hopf algebras: Namely, if $H$ is a connected graded Hopf algebra with grading $H=\bigoplus_{n\geq0}H_n$, then each positive integer $n$ satisfies $\left( \operatorname*{id}-S^2\right)^n \left( H_n\right) =0$ and (even stronger) \[ \left( \left( \operatorname{id}+S\right) \circ\left( \operatorname{id}-S^2\right)^{n-1}\right) \left( H_n\right) = 0. \] For some specific $H$'s such as the Malvenuto--Reutenauer Hopf algebra $\operatorname{FQSym}$, the exponents can be lowered. In this note, we generalize these results in several directions: We replace the base field by a commutative ring, replace the Hopf algebra by a coalgebra (actually, a slightly more general object, with no coassociativity required), and replace both $\operatorname{id}$ and $S^2$ by "coalgebra homomorphisms" (of sorts). Specializing back to connected graded Hopf algebras, we show that the exponent $n$ in the identity $\left( \operatorname{id}-S^2\right) ^n \left( H_n\right) =0$ can be lowered to $n-1$ (for $n>1$) if and only if $\left( \operatorname{id} - S^2\right) \left( H_2\right) =0$. (A sufficient condition for this is that every pair of elements of $H_1$ commutes; this is satisfied, e.g., for $\operatorname{FQSym}$.) △ Less

Submitted 10 December, 2022; v1 submitted 5 September, 2021; originally announced September 2021.

Comments: Published version. See v2 for a (slightly less terse) preprint

MSC Class: 16T05; 16T30

Journal ref: Communications in Mathematics, Volume 31 (2023), Issue 1 (December 13, 2022) cm:10431

The path-missing and path-free complexes of a directed graph

Authors: Darij Grinberg, Lukas Katthän, Joel Brewster Lewis

Abstract: We study two simplicial complexes arising from a directed graph $G = (V, E)$ with two chosen vertices $s$ and $t$: the *path-free complex*, consisting of all subsets $F \subseteq E$ that contain no path from $s$ to $t$, and the *path-missing complex*, its Alexander dual. Using discrete Morse theory, we prove that both complexes have well-behaved homotopy types -- either contractible or homotopy-eq… ▽ More We study two simplicial complexes arising from a directed graph $G = (V, E)$ with two chosen vertices $s$ and $t$: the *path-free complex*, consisting of all subsets $F \subseteq E$ that contain no path from $s$ to $t$, and the *path-missing complex*, its Alexander dual. Using discrete Morse theory, we prove that both complexes have well-behaved homotopy types -- either contractible or homotopy-equivalent to spheres. △ Less

Submitted 5 March, 2024; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 44 pages (34 main, 10 appendix). New version improves the homotopical results to Morse-theoretical ones, rendering the proofs more elementary and also nicer. Comments welcome!

MSC Class: 05E45; 05C21; 05C31; 05A19

The Elser nuclei sum revisited

Authors: Darij Grinberg

Abstract: Fix a finite undirected graph $Γ$ and a vertex $v$ of $Γ$. Let $E$ be the set of edges of $Γ$. We call a subset $F$ of $E$ pandemic if each edge of $Γ$ has at least one endpoint that can be connected to $v$ by an $F$-path (i.e., a path using edges from $F$ only). In 1984, Elser showed that the sum of $\left(-1\right)^{\left| F\right|}$ over all pandemic subsets $F$ of $E$ is $0$ if… ▽ More Fix a finite undirected graph $Γ$ and a vertex $v$ of $Γ$. Let $E$ be the set of edges of $Γ$. We call a subset $F$ of $E$ pandemic if each edge of $Γ$ has at least one endpoint that can be connected to $v$ by an $F$-path (i.e., a path using edges from $F$ only). In 1984, Elser showed that the sum of $\left(-1\right)^{\left| F\right|}$ over all pandemic subsets $F$ of $E$ is $0$ if $E\neq \varnothing$. We give a simple proof of this result via a sign-reversing involution, and discuss variants, generalizations and refinements, revealing connections to abstract convexity (the notion of an antimatroid) and discrete Morse theory. △ Less

Submitted 14 May, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: 25 pages. Final version (published in DMTCS, 2021). More detailed variants of the text can be found in version 8 (arXiv:2009.11527v8)

MSC Class: 05C30; 18G85; 57Q70

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (June 3, 2021) dmtcs:7012

Three variations on the linear independence of grouplikes in a coalgebra

Authors: Gérard Duchamp, Darij Grinberg, Vincel Minh

Abstract: The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear independence has to be replaced by a weaker statement). Another is a stronger statement that holds (un-der stronger assumptions) in a commutative bialgebra. The l… ▽ More The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear independence has to be replaced by a weaker statement). Another is a stronger statement that holds (un-der stronger assumptions) in a commutative bialgebra. The last variant is a linear independence result for characters (as opposed to grouplike elements) of a bialgebra. △ Less

Submitted 2 August, 2021; v1 submitted 23 September, 2020; originally announced September 2020.

Notes on the combinatorial fundamentals of algebra

Authors: Darij Grinberg

Abstract: This is a detailed survey -- with rigorous and self-contained proofs -- of some of the basics of elementary combinatorics and algebra, including the properties of finite sums, binomial coefficients, permutations and determinants. It is entirely expository (and written to a large extent as a repository for folklore proofs); no new results (and few, if any, new proofs) appear. This is a detailed survey -- with rigorous and self-contained proofs -- of some of the basics of elementary combinatorics and algebra, including the properties of finite sums, binomial coefficients, permutations and determinants. It is entirely expository (and written to a large extent as a repository for folklore proofs); no new results (and few, if any, new proofs) appear. △ Less

Submitted 15 September, 2022; v1 submitted 22 August, 2020; originally announced August 2020.

Comments: 1403 pages. v3 corrects typos and adds Exercises 6.65--6.69. Not a textbook; rather a repository of proofs I could cite. Posted here for easier referencing (and long-term archival). This project is tracked on https://github.com/darijgr/detnotes

The Pelletier-Ressayre hidden symmetry for Littlewood-Richardson coefficients

Authors: Darij Grinberg

Abstract: We prove an identity for Littlewood--Richardson coefficients conjectured by Pelletier and Ressayre (arXiv:2005.09877). The proof relies on a novel birational involution defined over any semifield. We prove an identity for Littlewood--Richardson coefficients conjectured by Pelletier and Ressayre (arXiv:2005.09877). The proof relies on a novel birational involution defined over any semifield. △ Less

Submitted 1 January, 2022; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 86 pages. Reproves some basic properties of Schur Laurent polynomials (with negative parts) that I could not find in the literature. The birational map studied in Section 3 might be useful elsewhere. Detailed version available as ancillary file. v5 adds one proof in §5.2.2 and two in §5.4 (all in the detailed version only) and fixes a missing reference. Comments are welcome!

MSC Class: 05E05

Journal ref: Combinatorial Theory 1 (2021), #16 (published with abridgements)

Proof of three conjectures on determinants related to quadratic residues

Authors: Darij Grinberg, Zhi-Wei Sun, Lilu Zhao

Abstract: In this paper we confirm three conjectures of Z.-W. Sun on determinants. We first show that any odd integer $n>3$ divides the determinant $$\left|(i^2+dj^2)\left(\frac{i^2+dj^2}n\right)\right|_{0\le i,j\le (n-1)/2},$$ where $d$ is any integer and $(\frac{\cdot}n)$ is the Jacobi symbol. Then we prove some divisibility results concerning $|(i+dj)^n|_{0\le i,j\le n-1}$ and… ▽ More In this paper we confirm three conjectures of Z.-W. Sun on determinants. We first show that any odd integer $n>3$ divides the determinant $$\left|(i^2+dj^2)\left(\frac{i^2+dj^2}n\right)\right|_{0\le i,j\le (n-1)/2},$$ where $d$ is any integer and $(\frac{\cdot}n)$ is the Jacobi symbol. Then we prove some divisibility results concerning $|(i+dj)^n|_{0\le i,j\le n-1}$ and $|(i^2+dj^2)^n|_{0\le i,j\le n-1}$, where $d\not=0$ and $n>2$ are integers. Finally, for any odd prime $p$ and integers $c$ and $d$ with $p\nmid cd$, we determine completely the Legendre symbol $(\frac{S_c(d,p)}p)$, where $S_c(d,p):=|(\frac{i^2+dj^2+c}p)|_{1\le i,j\le(p-1)/2}$. △ Less

Submitted 16 November, 2020; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 14 pages, accepted by Linear and Multilinear Algebra

MSC Class: 11C20; 11A07; 11A15; 15A15

Petrie symmetric functions

Authors: Darij Grinberg

Abstract: For any positive integer $k$ and nonnegative integer $m$, we consider the symmetric function $G\left( k,m\right)$ defined as the sum of all monomials of degree $m$ that involve only exponents smaller than $k$. We call $G\left( k,m\right)$ a "Petrie symmetric function" in honor of Flinders Petrie, as the coefficients in its expansion in the Schur basis are determinants of Petrie matrices (and thus… ▽ More For any positive integer $k$ and nonnegative integer $m$, we consider the symmetric function $G\left( k,m\right)$ defined as the sum of all monomials of degree $m$ that involve only exponents smaller than $k$. We call $G\left( k,m\right)$ a "Petrie symmetric function" in honor of Flinders Petrie, as the coefficients in its expansion in the Schur basis are determinants of Petrie matrices (and thus belong to $\left\{ 0,1,-1\right\} $ by a classical result of Gordon and Wilkinson). More generally, we prove a Pieri-like rule for expanding a product of the form $G\left( k,m\right) \cdot s_μ$ in the Schur basis whenever $μ$ is a partition; all coefficients in this expansion belong to $\left\{ 0,1,-1\right\} $. We also show that $G\left( k,1\right) ,G\left( k,2\right) ,G\left( k,3\right) ,\ldots$ form an algebraically independent generating set for the symmetric functions when $1-k$ is invertible in the base ring, and we prove a conjecture of Liu and Polo about the expansion of $G\left( k,2k-1\right)$ in the Schur basis. △ Less

Submitted 21 April, 2021; v1 submitted 23 April, 2020; originally announced April 2020.

Comments: 106 pages. The version at https://www.cip.ifi.lmu.de/~grinberg/algebra/petriesym.pdf will be updated more frequently. See the ancillary file (or http://www.cip.ifi.lmu.de/~grinberg/algebra/petriesym-long.pdf ) for a more detailed version. See https://www.cip.ifi.lmu.de/~grinberg/algebra/fps20pet.pdf for a quick introduction without proofs. v3 adds Section 5.7, which generalizes many results

MSC Class: 05E05; 16T30

Journal ref: Shortened version in: Algebraic Combinatorics, Volume 5 (2022) no. 5, pp. 947-1013

The Bhargava greedoid as a Gaussian elimination greedoid

Authors: Darij Grinberg

Abstract: Inspired by Manjul Bhargava's theory of generalized factorials, Fedor Petrov and the author have defined the "Bhargava greedoid" -- a greedoid (a matroid-like set system on a finite set) assigned to any "ultra triple" (a somewhat extended variant of a finite ultrametric space). Here we show that the Bhargava greedoid of a finite ultra triple is always a "Gaussian elimination greedoid" over any suf… ▽ More Inspired by Manjul Bhargava's theory of generalized factorials, Fedor Petrov and the author have defined the "Bhargava greedoid" -- a greedoid (a matroid-like set system on a finite set) assigned to any "ultra triple" (a somewhat extended variant of a finite ultrametric space). Here we show that the Bhargava greedoid of a finite ultra triple is always a "Gaussian elimination greedoid" over any sufficiently large (e.g., infinite) field; this is a greedoid analogue of a representable matroid. We find necessary and sufficient conditions on the size of the field to ensure this. △ Less

Submitted 27 April, 2024; v1 submitted 15 January, 2020; originally announced January 2020.

Comments: 71 pages. Pages 1-39 are the core; the rest proves the optimality of the bound (under certain conditions) and fills in some very basic details. See http://www.cip.ifi.lmu.de/~grinberg/algebra/fps20gfv.pdf for a streamlined survey. Comments are welcome! v5 corrects a few typos and adds Example 2.5. This is NOT the published version!

MSC Class: 05B35; 12J25

Journal ref: Shortened version in: Electronic Journal of Combinatorics 31 (2024), Issue 2, #P2.28

A basis for a quotient of symmetric polynomials

Authors: Darij Grinberg

Abstract: Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by $h_{n-k+1}-a_{1},h_{n-k+2}-a_{2},\ldots,h_{n}-a_{k}$, where $h_{i}$ is the $i$-th complete homogeneous symmetric polynomial. The quotient ring $\mathcal{S}/I$ generalizes both… ▽ More Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by $h_{n-k+1}-a_{1},h_{n-k+2}-a_{2},\ldots,h_{n}-a_{k}$, where $h_{i}$ is the $i$-th complete homogeneous symmetric polynomial. The quotient ring $\mathcal{S}/I$ generalizes both the usual and the quantum cohomology of the Grassmannian. We show that $\mathcal{S}/I$ has a $\mathbf{k}$-module basis consisting of (residue classes of) Schur polynomials fitting into an $\left( n-k\right) \times k$-rectangle; and that its multiplicative structure constants satisfy the same $S_3$-symmetry as those of the Grassmannian cohomology. We prove a Pieri rule and a "rim hook algorithm", and conjecture a positivity property generalizing that of Gromov-Witten invariants. We construct two further bases of $\mathcal{S}/I$ as well. We also study the quotient of the whole polynomial ring (not just the symmetric polynomials) by the ideal generated by the same $k$ polynomials as $I$. △ Less

Submitted 22 September, 2021; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 149 pages. Working document containing most of what I have proven so far on these quotients. Rough at the edges and elsewhere too. Will eventually be split into two articles and polished for submission. Posted here for citing. The title is outdated (there are three bases now and much more) but has been preserved to not break old backreferences. v3 adds some data and questions and fixes typos

MSC Class: 05E05; 14M15; 14N35

A greedoid and a matroid inspired by Bhargava's $p$-orderings

Authors: Darij Grinberg, Fedor Petrov

Abstract: Consider a finite set $E$. Assume that each $e \in E$ has a "weight" $w \left(e\right) \in \mathbb{R}$ assigned to it, and any two distinct $e, f \in E$ have a "distance" $d \left(e, f\right) = d \left(f, e\right) \in \mathbb{R}$ assigned to them, such that the distances satisfy the ultrametric triangle inequality $d(a,b)\leqslant \max \left\{d(a,c),d(b,c)\right\}$. We look for a subset of $E$ of… ▽ More Consider a finite set $E$. Assume that each $e \in E$ has a "weight" $w \left(e\right) \in \mathbb{R}$ assigned to it, and any two distinct $e, f \in E$ have a "distance" $d \left(e, f\right) = d \left(f, e\right) \in \mathbb{R}$ assigned to them, such that the distances satisfy the ultrametric triangle inequality $d(a,b)\leqslant \max \left\{d(a,c),d(b,c)\right\}$. We look for a subset of $E$ of given size with maximum perimeter (where the perimeter is defined by summing the weights of all elements and their pairwise distances). We show that any such subset can be found by a greedy algorithm (which starts with the empty set, and then adds new elements one by one, maximizing the perimeter at each step). We use this to define numerical invariants, and also to show that the maximum-perimeter subsets of all sizes form a strong greedoid, and the maximum-perimeter subsets of any given size are the bases of a matroid. This essentially generalizes the "$P$-orderings" constructed by Bhargava in order to define his generalized factorials, and is also similar to the strong greedoid of maximum diversity subsets in phylogenetic trees studied by Moulton, Semple and Steel. We further discuss some numerical invariants of $E, w, d$ stemming from this construction, as well as an analogue where maximum-perimeter subsets are replaced by maximum-perimeter tuples (i.e., elements can appear multiple times). △ Less

Submitted 29 March, 2021; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: 47 pages. v4 adds some context and comments. Comments are welcome!

MSC Class: 05B35

Journal ref: The Electronic Journal of Combinatorics 28(3) (2021), #P3.6 (published with abridgements)

Commutators, matrices and an identity of Copeland

Authors: Darij Grinberg

Abstract: Given two elements $a$ and $b$ of a noncommutative ring, we express $\left( ba\right)^n$ as a "row vector times matrix times column vector" product, where the matrix is the $n$-th power of a matrix with entries $\dbinom{i}{j}\operatorname{ad}_a^{i-j}\left( b\right)$. This generalizes a formula by Tom Copeland used in the study of Pascal-style matrices. Given two elements $a$ and $b$ of a noncommutative ring, we express $\left( ba\right)^n$ as a "row vector times matrix times column vector" product, where the matrix is the $n$-th power of a matrix with entries $\dbinom{i}{j}\operatorname{ad}_a^{i-j}\left( b\right)$. This generalizes a formula by Tom Copeland used in the study of Pascal-style matrices. △ Less

Submitted 24 August, 2019; originally announced August 2019.

Comments: 30 pages. No plans to submit to journals. Partly expository (the proofs are sufficiently elementary and detailed to be readable at Abstract Algebra I level). Posted here for the sake of referencing from the OEIS

MSC Class: 05A19; 15A24; 05A40

Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear and additive cellular automata

Authors: Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara

Abstract: Let $\mathbb{K}$ be a finite commutative ring, and let $\mathbb{L}$ be a commutative $\mathbb{K}$-algebra. Let $A$ and $B$ be two $n \times n$-matrices over $\mathbb{L}$ that have the same characteristic polynomial. The main result of this paper states that the set $\left\{ A^0,A^1,A^2,\ldots\right\}$ is finite if and only if the set $\left\{ B^0,B^1,B^2,\ldots\right\}$ is finite. We apply this re… ▽ More Let $\mathbb{K}$ be a finite commutative ring, and let $\mathbb{L}$ be a commutative $\mathbb{K}$-algebra. Let $A$ and $B$ be two $n \times n$-matrices over $\mathbb{L}$ that have the same characteristic polynomial. The main result of this paper states that the set $\left\{ A^0,A^1,A^2,\ldots\right\}$ is finite if and only if the set $\left\{ B^0,B^1,B^2,\ldots\right\}$ is finite. We apply this result to Cellular Automata (CA). Indeed, it gives a complete and easy-to-check characterization of sensitivity to initial conditions and equicontinuity for linear CA over the alphabet $\mathbb{K}^n$ for $\mathbb{K} = \mathbb{Z}/m\mathbb{Z}$ i.e., CA in which the local rule is defined by $n\times n$-matrices with elements in $\mathbb{Z}/m\mathbb{Z}$. To prove our main result, we derive an integrality criterion for matrices that is likely of independent interest. Namely, let $\mathbb{K}$ be any commutative ring (not necessarily finite), and let $\mathbb{L}$ be a commutative $\mathbb{K}$-algebra. Consider any $n \times n$-matrix $A$ over $\mathbb{L}$. Then, $A \in \mathbb{L}^{n \times n}$ is integral over $\mathbb{K}$ (that is, there exists a monic polynomial $f \in \mathbb{K}\left[t\right]$ satisfying $f\left(A\right) = 0$) if and only if all coefficients of the characteristic polynomial of $A$ are integral over $\mathbb{K}$. The proof of this fact relies on a strategic use of exterior powers (a trick pioneered by Gert Almkvist). Furthermore, we extend the decidability result concerning sensitivity and equicontinuity to the wider class of additive CA over a finite abelian group. For such CA, we also prove the decidability of injectivity, surjectivity, topological transitivity and all the properties (as, for instance, ergodicity) that are equivalent to the latter. △ Less

Submitted 6 June, 2020; v1 submitted 19 July, 2019; originally announced July 2019.

Comments: 50 pages. v3 adds Bourbaki reference for the integrality criterion

Integrality over ideal semifiltrations

Authors: Darij Grinberg

Abstract: We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for integrality over a ring, the transitivity of integrality, and the theorem that sums and products of integral elements are again integral. Then, we define the no… ▽ More We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for integrality over a ring, the transitivity of integrality, and the theorem that sums and products of integral elements are again integral. Then, we define the notion of integrality over an ideal semifiltration (a sequence $\left( I_0,I_1,I_2,\ldots\right)$ of ideals satisfying $I_0 =A$ and $I_a I_b \subseteq I_{a+b}$ for all $a,b\in\mathbb{N}$), which generalizes both integrality over a ring and integrality over an ideal (as considered, e.g., in Swanson/Huneke, "Integral Closure of Ideals, Rings, and Modules"). We prove a criterion that reduces this general notion to integrality over a ring using a variant of the Rees algebra. Using this criterion, we study this notion further and obtain transitivity and closedness under sums and products for it as well. Finally, we prove the curious fact that if $u$, $x$ and $y$ are three elements of a (commutative) $A$-algebra (for $A$ a ring) such that $u$ is both integral over $A\left[ x\right]$ and integral over $A\left[ y\right]$, then $u$ is integral over $A\left[ xy\right]$. We generalize this to integrality over ideal semifiltrations, too. △ Less

Submitted 13 July, 2019; originally announced July 2019.

Comments: 49 pages. Undergraduate work I have recently revised for reference in a forthcoming paper. A detailed version is available as an ancillary file or from http://www.cip.ifi.lmu.de/~grinberg/algebra/algebra.html#integrality

MSC Class: 13B22

A double Sylvester determinant

Authors: Darij Grinberg

Abstract: Given two $\left( n+1\right) \times\left( n+1\right)$-matrices $A$ and $B$ over a commutative ring, and some $k\in\left\{ 0,1,\ldots,n\right\}$, we consider the $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix $W$ whose entries are $\left( k+1\right) \times\left( k+1\right)$-minors of $A$ multiplied by corresponding $\left( k+1\right) \times\left( k+1\right)$-minors of $B$. Here we require the minors to… ▽ More Given two $\left( n+1\right) \times\left( n+1\right)$-matrices $A$ and $B$ over a commutative ring, and some $k\in\left\{ 0,1,\ldots,n\right\}$, we consider the $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix $W$ whose entries are $\left( k+1\right) \times\left( k+1\right)$-minors of $A$ multiplied by corresponding $\left( k+1\right) \times\left( k+1\right)$-minors of $B$. Here we require the minors to use the last row and the last column (which is why we obtain an $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix, not an $\dbinom{n+1}{k+1}\times\dbinom{n+1}{k+1}$-matrix). We prove that the determinant $\det W$ is a multiple of $\det A$ if the $\left( n+1,n+1\right)$-th entry of $B$ is $0$. Furthermore, if the $\left( n+1,n+1\right)$-th entries of both $A$ and $B$ are $0$, then $\det W$ is a multiple of $\left( \det A\right) \left( \det B\right)$. This extends a previous result of Olver and the author ( arXiv:1802.02900 ). △ Less

Submitted 25 August, 2020; v1 submitted 30 January, 2019; originally announced January 2019.

Comments: 16 pages. Slightly more detailed version available as ancillary file. Comments are welcome!

MSC Class: 15A15; 11C20

Journal ref: Ars Mathematica Contemporanea 20 No. 2 (2021), pp. 261--274

Multiline queues with spectral parameters

Authors: Erik Aas, Darij Grinberg, Travis Scrimshaw

Abstract: Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spec… ▽ More Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson. △ Less

Submitted 28 December, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

Comments: 44 pages, 6 figures; see the ancillary file for a long version

MSC Class: 60C05; 05A19; 16T25; 05E05

Journal ref: Communications in Mathematical Physics volume 374 (2020), pp. 1743--1786

Shuffle-compatible permutation statistics II: the exterior peak set

Authors: Darij Grinberg

Abstract: This is a continuation of arXiv:1706.00750 by Gessel and Zhuang (but can be read independently from the latter). We study the shuffle-compatibility of permutation statistics -- a concept introduced in arXiv:1706.00750, although various instances of it have appeared throughout the literature before. We prove that (as Gessel and Zhuang have conjectured) the exterior peak set statistic (Epk) is shuff… ▽ More This is a continuation of arXiv:1706.00750 by Gessel and Zhuang (but can be read independently from the latter). We study the shuffle-compatibility of permutation statistics -- a concept introduced in arXiv:1706.00750, although various instances of it have appeared throughout the literature before. We prove that (as Gessel and Zhuang have conjectured) the exterior peak set statistic (Epk) is shuffle-compatible. We furthermore introduce the concept of an "LR-shuffle-compatible" statistic, which is stronger than shuffle-compatibility. We prove that Epk and a few other statistics are LR-shuffle-compatible. Furthermore, we connect these concepts with the quasisymmetric functions, in particular the dendriform structure on them. △ Less

Submitted 6 October, 2018; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: 66 pages; a more detailed version is archived as an ancillary file. v3 has been updated, particularly with a new Question 2.51, as well as Remark 2.41 and Example 2.43, as well as fewer errors thanks to a helpful referee

MSC Class: 05A05; 05E05; 16T05

Journal ref: published, with editorial changes, in: Electronic Journal of Combinatorics 25 (2018), Paper #P4.17

The $n$ body matrix and its determinant

Authors: Darij Grinberg, Peter J. Olver

Abstract: The primary purpose of this note is to prove two recent conjectures concerning the $n$ body matrix that arose in recent papers of Escobar-Ruiz, Miller, and Turbiner on the classical and quantum $n$ body problem in $d$-dimensional space. First, whenever the positions of the masses are in a nonsingular configuration, meaning that they do not lie on an affine subspace of dimension $\leq n-2$, the… ▽ More The primary purpose of this note is to prove two recent conjectures concerning the $n$ body matrix that arose in recent papers of Escobar-Ruiz, Miller, and Turbiner on the classical and quantum $n$ body problem in $d$-dimensional space. First, whenever the positions of the masses are in a nonsingular configuration, meaning that they do not lie on an affine subspace of dimension $\leq n-2$, the $n$ body matrix is positive definite and, hence, defines a Riemannian metric on the space coordinatized by their interpoint distances. Second, its determinant can be factored into the product of the order $n$ Cayley--Menger determinant and a mass-dependent factor that is also of one sign on all nonsingular mass configurations. The factorization of the $n$ body determinant is shown to be a special case of an intriguing general result proving the factorization of determinants of a certain form. △ Less

Submitted 1 March, 2019; v1 submitted 8 February, 2018; originally announced February 2018.

Comments: 23 pages. v4 makes minor changes

MSC Class: 13F20; 15A15; 51K05; 70F10

Journal ref: published, with editorial changes, in: SIAM Journal on Applied Algebra and Geometry, 3(1), 2019, pp. 67--86

On binomial coefficients modulo squares of primes

Authors: Darij Grinberg

Abstract: We give elementary proofs for the Apagodu-Zeilberger-Stanton-Amdeberhan-Tauraso congruences $$\sum\limits_{n=0}^{p-1}\dbinom{2n}{n} \equivη_{p}\mod p^{2},$$ $$\sum\limits_{n=0}^{rp-1}\dbinom{2n}{n} \equivη_{p}\sum\limits_{n=0}^{r-1}\dbinom {2n}{n}\mod p^{2}$$ and… ▽ More We give elementary proofs for the Apagodu-Zeilberger-Stanton-Amdeberhan-Tauraso congruences $$\sum\limits_{n=0}^{p-1}\dbinom{2n}{n} \equivη_{p}\mod p^{2},$$ $$\sum\limits_{n=0}^{rp-1}\dbinom{2n}{n} \equivη_{p}\sum\limits_{n=0}^{r-1}\dbinom {2n}{n}\mod p^{2}$$ and $$\sum\limits_{n=0}^{rp-1}\sum\limits_{m=0}^{sp-1}\dbinom{n+m}{m}^{2} \equivη_{p} \sum\limits_{m=0}^{r-1}\sum\limits_{n=0}^{s-1}\dbinom{n+m}{m}^2\mod p^2,$$ where $p$ is an odd prime, $r$ and $s$ are nonnegative integers, and $η_{p}= \begin{cases} 0, &\text{if }p\equiv0\mod 3;\\ 1, & \text{if }p\equiv1\mod 3;\\ -1, &\text{if }p\equiv2\mod 3 \end{cases}.$$ △ Less

Submitted 8 October, 2018; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: 27 pages. Semi-expository. Ancillary file is an archived version of the [Grinbe17b] reference, entirely expository. Comments are welcome! v2 corrects a few typos and updates references

MSC Class: 11B65; 11A07; 05A10

Journal ref: Integers 19 (2019), article #A14 (the published version is shorter and editorialized)

Critical groups for Hopf algebra modules

Authors: Darij Grinberg, Jia Huang, Victor Reiner

Abstract: This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in… ▽ More This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in the formulas is played by the greatest common divisor of the dimensions of the indecomposable projective representations. △ Less

Submitted 24 December, 2017; v1 submitted 12 April, 2017; originally announced April 2017.

Comments: 24 pages. Comments are welcome! The ancillary file is a longer version with some more details and alternative proofs (compiled from the same source). The version on http://www.cip.ifi.lmu.de/~grinberg/algebra/ will probably get quicker updates. v3: Minor corrections

MSC Class: 05E10; 16T05; 16T30; 15B48; 20C20

Journal ref: Math. Proc. Camb. Phil. Soc. 168 (2020) 473-503

$t$-Unique Reductions for Mészáros's Subdivision Algebra

Authors: Darij Grinberg

Abstract: Fix a commutative ring $\mathbf{k}$, two elements $β,α\in\mathbf{k}$ and a positive integer $n$. Let $\mathcal{X}$ be the polynomial ring over $\mathbf{k}$ in the $n(n-1)/2$ indeterminates $x_{i,j}$ for all $1\leq i<j\leq n$. Consider the ideal $\mathcal{J}$ of $\mathcal{X}$ generated by all polynomials of the form $x_{i,j}x_{j,k}-x_{i,k}(x_{i,j}+x_{j,k}+β)-α$ for $1\leq i<j<k\leq n$. The quotient… ▽ More Fix a commutative ring $\mathbf{k}$, two elements $β,α\in\mathbf{k}$ and a positive integer $n$. Let $\mathcal{X}$ be the polynomial ring over $\mathbf{k}$ in the $n(n-1)/2$ indeterminates $x_{i,j}$ for all $1\leq i<j\leq n$. Consider the ideal $\mathcal{J}$ of $\mathcal{X}$ generated by all polynomials of the form $x_{i,j}x_{j,k}-x_{i,k}(x_{i,j}+x_{j,k}+β)-α$ for $1\leq i<j<k\leq n$. The quotient algebra $\mathcal{X}/\mathcal{J}$ (at least for a certain choice of $\mathbf{k}$, $β$ and $α$) has been introduced by Karola Mészáros as a commutative analogue of Anatol Kirillov's quasi-classical Yang-Baxter algebra. A monomial in $\mathcal{X}$ is said to be pathless if it has no divisors of the form $x_{i,j}x_{j,k}$ with $1\leq i<j<k\leq n$. The residue classes of these pathless monomials span the $\mathbf{k}$-module $\mathcal{X}/\mathcal{J}$, but (in general) are $\mathbf{k}$-linearly dependent. Recently, the study of Grothendieck polynomials has led Laura Escobar and Karola Mészáros to defining a $\mathbf{k}$-algebra homomorphism $D$ from $\mathcal{X}$ into the polynomial ring $\mathbf{k}[t_{1},t_{2},\ldots,t_{n-1}]$ that sends each $x_{i,j}$ to $t_{i}$. We show the following fact (generalizing a conjecture of Mészáros): If $p\in\mathcal{X}$, and if $q\in\mathcal{X}$ is a $\mathbf{k}$-linear combination of pathless monomials satisfying $p\equiv q\operatorname{mod}\mathcal{J}$, then $D(q)$ does not depend on $q$ (as long as $β$, $α$ and $p$ are fixed). Thus, reducing a $p\in\mathcal{X}$ modulo $\mathcal{J}$ may lead to different results depending on the choices made in the reduction process, but all of them become identical once $D$ is applied. We also find an actual basis of the $\mathbf{k}$-module $\mathcal{X}/\mathcal{J}$, using what we call forkless monomials. △ Less

Submitted 26 July, 2018; v1 submitted 3 April, 2017; originally announced April 2017.

Comments: Published version. See version 6 for the detailed and original versions

MSC Class: 05E15; 05E40

Journal ref: SIGMA 14 (2018), 078, 34 pages

From Chio Pivotal Condensation to the Matrix-Tree theorem

Authors: Darij Grinberg, Karthik Karnik, Anya Zhang

Abstract: We show a determinant identity which generalizes both the Chio pivotal condensation theorem and the Matrix-Tree theorem. We show a determinant identity which generalizes both the Chio pivotal condensation theorem and the Matrix-Tree theorem. △ Less

Submitted 27 June, 2016; originally announced June 2016.

Comments: 32 pages; comments are welcome

MSC Class: 05C50; 15A15

Generalized Whitney formulas for broken circuits in ambigraphs and matroids

Authors: Darij Grinberg

Abstract: We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding th… ▽ More We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding them. Following Crew and Spirkl, we put weights on the vertices of the graph. Following Gebhard and Sagan, we lift the chromatic symmetric function to noncommuting variables. In addition, we replace the graph by an "ambigraph", an apparently new concept that includes both hypergraphs and multigraphs as particular cases. We show that Whitney's formula endures all these generalizations, and a fairly simple sign-reversing involution can be used to prove it in each setting. Furthermore, if we restrict ourselves to the chromatic polynomial, then the graph can be replaced by a matroid. We discuss an application to transitive digraphs (i.e., posets), and reprove an alternating-sum identity by Dahlberg and van Willigenburg. △ Less

Submitted 4 May, 2023; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 99 pages, self-contained, with lots of space taken up by defining several parallel settings. The definitions of an ambigraph and its characteristic polynomial (Section 5.1) is likely of independent interest

MSC Class: 05E05; 05B35; 05C15

The Bernstein homomorphism via Aguiar-Bergeron-Sottile universality

Authors: Darij Grinberg

Abstract: If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H -> H (x) QSym is defined, where QSym denotes the Hopf algebra of quasisymmetric functions over k. This homomorphism generalizes the "internal comultiplication" on QSym, and extends what Hazewinkel (in Section 18.24 of his "Witt vectors") calls the Bernstein homomorphism.… ▽ More If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H -> H (x) QSym is defined, where QSym denotes the Hopf algebra of quasisymmetric functions over k. This homomorphism generalizes the "internal comultiplication" on QSym, and extends what Hazewinkel (in Section 18.24 of his "Witt vectors") calls the Bernstein homomorphism. We construct this homomorphism with the help of the universal property of QSym as a combinatorial Hopf algebra (a well-known result by Aguiar, Bergeron and Sottile) and extension of scalars (the commutativity of H allows us to consider, for example, H (x) QSym as an H-Hopf algebra, and this change of viewpoint significantly extends the reach of the universal property). △ Less

Submitted 19 April, 2016; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 46 pages; comments are welcome! Version 2: added introduction and some references; corrected typos

MSC Class: 05E05; 16T05

Proof of a conjecture of Bergeron, Ceballos and Labbé

Authors: Darij Grinberg, Alexander Postnikov

Abstract: The reduced expressions for a given element $w$ of a Coxeter group $(W, S)$ can be regarded as the vertices of a directed graph $\mathcal{R}(w)$; its arcs correspond to the braid moves. Specifically, an arc goes from a reduced expression $a$ to a reduced expression $b$ when $b$ is obtained from $a$ by replacing a contiguous subword of the form $stst...$ (for some distinct $s, t$ in $S$) by… ▽ More The reduced expressions for a given element $w$ of a Coxeter group $(W, S)$ can be regarded as the vertices of a directed graph $\mathcal{R}(w)$; its arcs correspond to the braid moves. Specifically, an arc goes from a reduced expression $a$ to a reduced expression $b$ when $b$ is obtained from $a$ by replacing a contiguous subword of the form $stst...$ (for some distinct $s, t$ in $S$) by $tsts...$ (where both subwords have length $m_{s, t}$, the order of $st$ in $W$). We prove a strong bipartiteness-type result for this graph $\mathcal{R}(w)$: Not only does every cycle of $\mathcal{R}(w)$ have even length; actually, the arcs of $\mathcal{R}(w)$ can be colored (with colors corresponding to the type of braid moves used), and to every color $c$ corresponds an "opposite" color $c^{\operatorname{op}}$ (corresponding to the reverses of the braid moves with color $c$), and for any color $c$, the number of arcs in any given cycle of $\mathcal{R}(w)$ having color in $\left\{c, c^{\operatorname{op}}\right\}$ is even. This is a generalization and strengthening of a 2014 result by Bergeron, Ceballos and Labbé. We state further conjectural extensions. △ Less

Submitted 25 October, 2017; v1 submitted 9 March, 2016; originally announced March 2016.

Comments: 29 pages, comments are welcome! v4: minor shortening, clarifications

MSC Class: 20F55

Journal ref: New York Journal of Mathematics, Volume 23 (2017), pp. 1581--1610 (minor editorial variations)

Double posets and the antipode of QSym

Authors: Darij Grinberg

Abstract: A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental quasisymmetric functions, (skew) Schur functions, dual immaculate functions, and quasisymmetric $\left(P, ω\right)$-partition enumerators. We prove a formula for the an… ▽ More A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental quasisymmetric functions, (skew) Schur functions, dual immaculate functions, and quasisymmetric $\left(P, ω\right)$-partition enumerators. We prove a formula for the antipode of this function that holds under certain conditions (which are satisfied when the second order of the double poset is total, but also in some other cases); this restates (in a way that to us seems more natural) a result by Malvenuto and Reutenauer, but our proof is new and self-contained. We generalize it further to an even more comprehensive setting, where a group acts on the double poset by automorphisms. △ Less

Submitted 29 April, 2017; v1 submitted 28 September, 2015; originally announced September 2015.

Comments: 51 pages. Comments are welcome! Version 3: Accepted for publication; exposition much improved, errors corrected, and Remark 4.9 added

MSC Class: 05E05; 05E18

Journal ref: The Electronic Journal of Combinatorics 24(2) (2017), #P2.22 (published with minor changes to Section 2 and without ancillary file)

Refined dual stable Grothendieck polynomials and generalized Bender-Knuth involutions

Authors: Pavel Galashin, Darij Grinberg, Gaku Liu

Abstract: The dual stable Grothendieck polynomials are a deformation of the Schur functions, originating in the study of the K-theory of the Grassmannian. We generalize these polynomials by introducing a countable family of additional parameters, and we prove that this generalization still defines symmetric functions. For this fact, we give two self-contained proofs, one of which constructs a family of invo… ▽ More The dual stable Grothendieck polynomials are a deformation of the Schur functions, originating in the study of the K-theory of the Grassmannian. We generalize these polynomials by introducing a countable family of additional parameters, and we prove that this generalization still defines symmetric functions. For this fact, we give two self-contained proofs, one of which constructs a family of involutions on the set of reverse plane partitions generalizing the Bender-Knuth involutions on semistandard tableaux, whereas the other classifies the structure of reverse plane partitions with entries 1 and 2. △ Less

Submitted 13 October, 2015; v1 submitted 12 September, 2015; originally announced September 2015.

Comments: 29 pages. Ancillary files contain an alternative version with different exposition (including some material on the diamond lemma, which is implicit in the main version of the paper). Comments are welcome!

MSC Class: 05E05

Journal ref: The Electronic Journal of Combinatorics 23 (3), 2016

The signed random-to-top operator on tensor space (draft)

Authors: Darij Grinberg

Abstract: Given a free module L over a commutative ring k, we study two k-linear operators on the tensor algebra of T(L): One of them sends a pure tensor u_1 (X) u_2 (X) ... (X) u_k to the sum of all tensors u_i (X) u_1 (X) u_2 (X) ... (X) (skip u_i) (X) ... (X) u_k. The other is similar, but the sum is replaced by an alternating sum. These operators can be regarded as algebraic analogues of the "random-to-… ▽ More Given a free module L over a commutative ring k, we study two k-linear operators on the tensor algebra of T(L): One of them sends a pure tensor u_1 (X) u_2 (X) ... (X) u_k to the sum of all tensors u_i (X) u_1 (X) u_2 (X) ... (X) (skip u_i) (X) ... (X) u_k. The other is similar, but the sum is replaced by an alternating sum. These operators can be regarded as algebraic analogues of the "random-to-top shuffle" from combinatorics. We describe the kernel of the second operator (which we call boldface-t); it is a certain easily described Lie subsuperalgebra of T(L). We also describe the kernel of the first operator (which is denoted boldface-t') when the additive group k is torsionfree (the description is analogous to that of the kernel of t) and also when k is an algebra over a finite field (in this case, the description is slightly complicated by the presence of p-th powers). △ Less

Submitted 27 August, 2016; v1 submitted 5 May, 2015; originally announced May 2015.

Comments: 45 pages. Context added, errors corrected. Still a draft. Comments are greatly welcome!

MSC Class: 05E15

Dual immaculate creation operators and a dendriform algebra structure on the quasisymmetric functions

Authors: Darij Grinberg

Abstract: The dual immaculate functions are a basis of the ring QSym of quasisymmetric functions, and form one of the most natural analogues of the Schur functions. The dual immaculate function corresponding to a composition is a weighted generating function for immaculate tableaux in the same way as a Schur function is for semistandard Young tableaux; an "immaculate tableau" is defined similarly to a semis… ▽ More The dual immaculate functions are a basis of the ring QSym of quasisymmetric functions, and form one of the most natural analogues of the Schur functions. The dual immaculate function corresponding to a composition is a weighted generating function for immaculate tableaux in the same way as a Schur function is for semistandard Young tableaux; an "immaculate tableau" is defined similarly to a semistandard Young tableau, but the shape is a composition rather than a partition, and only the first column is required to strictly increase (whereas the other columns can be arbitrary; but each row has to weakly increase). Dual immaculate functions have been introduced by Berg, Bergeron, Saliola, Serrano and Zabrocki in arXiv:1208.5191, and have since been found to possess numerous nontrivial properties. In this note, we prove a conjecture of Mike Zabrocki which provides an alternative construction for the dual immaculate functions in terms of certain "vertex operators". The proof uses a dendriform structure on the ring QSym; we discuss the relation of this structure to known dendriform structures on the combinatorial Hopf algebras FQSym and WQSym. △ Less

Submitted 6 May, 2020; v1 submitted 30 September, 2014; originally announced October 2014.

Comments: 41 pages. See also the ancillary PDF file (compiled from the same source) for more details and a proof of Proposition 5.7. Only sections 2--5 pertain to Zabrocki's conjecture. Comments are welcome! Version 7: Updated references and fixed formatting and typos. Version 5 has been accepted in the Canadian J. of Math., so this is an updated postprint

MSC Class: 05E05

Journal ref: Canad. J. Math. 69(2017), 21-53 (published version is version 5 without ancillary file)

Hopf Algebras in Combinatorics

Authors: Darij Grinberg, Victor Reiner

Abstract: These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf alge… ▽ More These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory. △ Less

Submitted 28 July, 2020; v1 submitted 29 September, 2014; originally announced September 2014.

Comments: 282 pages. The version on my website (http://www.cip.ifi.lmu.de/~grinberg/algebra/HopfComb.pdf) is likely to be updated more frequently. Solutions to the exercises can be found in http://www.cip.ifi.lmu.de/~grinberg/algebra/HopfComb-sols.pdf , or as an ancillary file here. Version v7 has more details, a few more exercises and fewer errors. Comments are welcome!

MSC Class: 05E05; 16T05; 16T30; 05E10