arXiv++ Combinatorics

We prove equidistribution of two pairs of statistics on boxed plane partitions: (volume, trace) and (corner-hook volume, number of corners). The proof relies on different 3d visualizations of the corresponding non-intersecting path systems. In particular, we obtain a new visual proof for a volume generating function of plane partitions. We also introduce a new statistic called the cohook area on ordinary partitions, and prove that it is equidistributed with the area of partitions.

In 1896, Dedekind posed the problem of factoring the group determinant in the non-abelian case to Frobenius, whose solution sparked the birth of finite-group representation theory. Several decades earlier, Cayley introduced the notion of the combinatorial hyperdeterminant of a $d$-way tensor, which is the most natural generalization of an ordinary determinant. In this note, we solve the problem of factoring the group hyperdeterminant. We reduce the computation of the group hyperdeterminant to the computation of the hyperdeterminant at the matrix multiplication tensor and derive a nice closed formula. Further, we extend this notion to associative algebra tensors and show that this polynomial is nonzero if and only if the algebra is semisimple.

We study highest weight vectors for symmetric and alternating spaces of tensors, whose dimensions are given by generalized Kronecker coefficients. We describe the algebraic relations for classical constructions of corresponding spanning sets of highest weight vectors. The proof is based on important duality that we discover for these highest weight spaces and vectors. As applications of duality, we also give conceptual interpretations to power expansions of Cayley's first hyperdeterminant and its dual exterior form.

We conjecture unimodality for some sequences of generalized Kronecker coefficients and prove it for partitions with at most two columns. The proof is based on a hard Lefschetz property for corresponding highest weight spaces. We also study more general Lefschetz properties, show implications to a higher-dimensional analogue of the Alon--Tarsi conjecture on Latin squares and give related positivity results.

We study polynomial SL-invariants of tensors, mainly focusing on fundamental invariants which are of smallest degrees. In particular, we prove that certain 3-dimensional analogue of the Alon--Tarsi conjecture on Latin cubes considered previously by Bürgisser and Ikenmeyer, implies positivity of (generalized) Kronecker coefficients at rectangular partitions and as a result provides values for degree sequences of fundamental invariants.

Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.

We study some combinatorial properties of higher-dimensional partitions which generalize plane partitions. We present a natural bijection between $d$-dimensional partitions and $d$-dimensional arrays of nonnegative integers. This bijection has a number of important applications. We introduce a statistic on $d$-dimensional partitions, called the corner-hook volume, whose generating function has the formula of MacMahon's conjecture. We obtain multivariable formulas whose specializations give analogues of various formulas known for plane partitions. We also introduce higher-dimensional analogues of dual Grothendieck polynomials which are quasisymmetric functions and whose specializations enumerate higher-dimensional partitions of a given shape. Finally, we show probabilistic connections with a directed last passage percolation model in $\mathbb{Z}^d$.

We prove Jacobi-Trudi-type determinantal formulas for skew dual Grothendieck polynomials which are $K$-theoretic deformations of Schur polynomials. We also prove a bialternant-type formula analogous to the classical definition of Schur polynomials.