arXiv++ Combinatorics

Our results can be viewed as applications of algebraic combinatorics in random matrix theory. These applications are motivated by the predictive power of random matrix theory for the statistical behavior of the celebrated Riemann $ζ$-function (and $L$-functions in general), which was discovered by Montgomery (with regard to zeros of $L$-functions) and by Keating and Snaith (with regard to values of $L$-functions). The first results revolve around a new operation on partitions, which we call overlap. We prove two overlap identities for so-called Littlewood-Schur functions. The first overlap identity represents the Littlewood-Schur function $LS _λ(X; Y)$ as a sum over subsets of $X$, while the second overlap identity essentially represents $LS_λ(X; Y)$ as a sum over pairs of partitions whose overlap equals $λ$. Both identities are derived by applying Laplace expansion to a determinantal formula for Littlewood-Schur functions due to Moens and Van der Jeugt. In addition, we give two visual characterizations for the set of all pairs of partitions whose overlap is equal to a partition $λ$. The second result is an asymptotic formula for averages of mixed ratios of characteristic polynomials over the unitary group, where mixed ratios are products of ratios and/or logarithmic derivatives. Our proof of this formula is a generalization of Bump and Gamburd's elegant combinatorial proof of Conrey, Forrester and Snaith's formula for averages of ratios of characteristic polynomials over the unitary group. The generalization relies on three combinatorial results, namely the first overlap identity, a new variant of the Murnaghan-Nakayama rule and an idea from vertex operator formalism. We conclude this thesis by explaining how this approach might lead to new number theoretic proofs.

Representation theory of finite groups portrays a marvelous crossroad of group theory, algebraic combinatorics, and probability. In particular the Plancherel measure is a probability that arises naturally from representation theory, and in this thesis we consider three ramifications of asymptotic questions for random Plancherel distributed representations. First we recall irreducible characters of the symmetric group, which are indexed by integer partitions. We focus on the so called 'dual approach', in which the partition indexing a character is now considered to be the variable. We extend a famous result of Kerov on the asymptotic of Plancherel distributed characters by studying partial trace and partial sum of a representation matrix. We decompose each of these objects into a main term and a remainder, and in each case we prove a central limit theorem for the main term. We apply these results to prove a law of large numbers for the partial sum. In the second part we consider projective representations of the symmetric group by converting a multirectangular approach developed by Stanley for the classical case. In particular, we present a positivity conjecture for the coefficients of the renormalized projective character, written as a polynomial in a new set of coordinates. We prove the positivity for the leading term of the polynomial. In the last part of the thesis we recall the theory of supercharacters, which is an alternative tool to representation theory when the classical approach proves to be intractable. We show that a generalization of the Plancherel measure, called the superplancherel measure, arises naturally. We focus on a particular supercharacter theory for the upper unitriangular group in which supercharacters are indexed by set partitions. We prove a limit shape result for a random set partition according to this distribution.

We report on enumerating the triangulations of cyclic polytopes with the new software mptopcom. This is relevant for its connection with higher Stasheff-Tamari orders, which occur in category theory and algebraic combinatorics.

Let $Γ$ be a finite graph and let $A(Γ)$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A(Γ)$ is singular. The singularity of graphs is of certain interest in graph theory and algebraic combinatorics. Here we investigate this problem for Cayley graphs ${\rm Cay}(G,H)$ when $G$ is a finite group and when the connecting set $H$ is a union of conjugacy classes of $G.$ In this situation the singularity problem reduces to finding an irreducible character $χ$ of $G$ for which $\sum_{h\in H}\,χ(h)=0.$ At this stage we focus on the case when $H$ is a single conjugacy class $h^G$ of $G.$ Here the above equality is equivalent to $χ(h)=0$. Much is known in this situation, with essential information coming from the block theory of representations of finite groups. An element $h\in G$ is called vanishing if $χ(h)=0$ for some irreducible character $χ$ of $G.$ We study vanishing elements mainly in finite simple groups and in alternating groups in particular. We suggest some approaches for constructing singular Cayley graphs.

The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial information about the underlying objects. The algebraic structures the most encountered here are magmas, posets, associative algebras, dendriform algebras, Hopf bialgebras, operads, and pros. This work explores the aforementioned research direction and provides many constructions having the particularity to build algebraic structures on combinatorial objects. We develop for instance a functor from nonsymmetric colored operads to nonsymmetric operads, from monoids to operads, from unitary magmas to nonsymmetric operads, from finite posets to nonsymmetric operads, from stiff pros to Hopf bialgebras, and from precompositions to nonsymmetric operads. These constructions bring alternative ways to describe already known structures and provide new ones, as for instance, some of the deformations of the noncommutative Faà di Bruno Hopf bialgebra of Foissy and a generalization of the dendriform operad of Loday. We also use algebraic structures to obtain enumerative results. In particular, nonsymmetric colored operads are promising devices to define formal series generalizing the usual ones. These series come with several products (for instance a pre-Lie product, an associative product, and their Kleene stars) enriching the usual ones on classical power series. This provides a framework and a toolbox to strike combinatorial questions in an original way. The first two chapters pose the elementary notions of combinatorics and algebraic combinatorics used here. The last ten chapters contain our original research.

This paper analyzes a certain action called "whirling" that can be defined on any family of functions between two finite sets equipped with a linear (or cyclic) ordering. Many maps of interest in dynamical algebraic combinatorics, such as rowmotion of order ideals, can be represented as a composition of "toggling" involutions, each of which modifies its object only locally. Similarly whirling is made up of locally-acting whirling maps which directly generalize toggles, but cycle through more than two possible outputs. In this first paper on whirling, we consider it as a map on subfamilies of functions between finite sets. For whirling acting on the set of injections or the set of surjections, we prove that within each whirling orbit, any two elements of the codomain appear as outputs of functions the same number of times. This result can be stated in terms of the homomesy phenomenon, which occurs when a statistic has the same average across every orbit. We further explore homomesy results and conjectures for whirling on restricted-growth words, which correspond to set partitions. These results extend the collection of combinatorial objects for which we have interesting dynamics and homomesy, and open the door to considering whirling in other contexts.

In this paper, we analyze the toggle group on the set of antichains of a poset. Toggle groups, generated by simple involutions, were first introduced by Cameron and Fon-Der-Flaass for order ideals of posets. Recently Striker has motivated the study of toggle groups on general families of subsets, including antichains. This paper expands on this work by examining the relationship between the toggle groups of antichains and order ideals, constructing an explicit isomorphism between the two groups. We also focus on the rowmotion action that has been well-studied in dynamical algebraic combinatorics, describing it as the composition of antichain toggles. We also describe a piecewise-linear analogue of toggling to Stanley's chain polytope. We examine the connections with the piecewise-linear toggling Einstein and Propp introduced for order polytopes and prove that almost all of our results for antichain toggles extend to the piecewise-linear setting.

In this short note, we show that a result about words which coincide except in one position given as an exercise in Lothaire's Algebraic Combinatorics on Words is false. Moreover, we derive a modified statement which allows us to fix the proof of a theorem which originally used the result of this exercise.

One of the most significant attitudinal shifts in the history of music occurred in the Renaissance, when an emerging triadic consciousness moved musicians towards a new scalar formation that placed major thirds on a par with perfect fifths. In this paper we revisit the confrontation between the two idealized scalar and modal conceptions, that of the ancient and medieval world and that of the early modern world, associated especially with Zarlino. We do this at an abstract level, in the language of algebraic combinatorics on words. In scale theory the juxtaposition is between well-formed and pairwise well-formed scales and modes, expressed in terms of Christoffel words or standard words and their conjugates, and the special Sturmian morphisms that generate them. Pairwise well-formed scales are encoded by words over a three-letter alphabet, and in our generalization we introduce special positive automorphisms of $F3$, the free group over three letters.

A quandle is an algebraic structure which attempts to generalize group conjugation. These structures have been studied extensively due to their connections with knot theory, algebraic combinatorics, and other fields. In this work, we approach the study of quandles from the perspective of the representation theory of categories. Namely, we look at collections of conjugacy classes of the symmetric groups and the finite general linear groups, and prove that they carry the structure of FI-quandles (resp. VIC$(q)$-quandles). As applications, we prove statements about the homology of these quandles, and construct FI-module and VIC$(q)$-module invariants of links.

Although d-complete posets arose along the interface between algebraic combinatorics and Lie theory, they are defined using only requirements on their local structure. These posets are a mutual generalization of rooted trees, shapes, and shifted shapes. They possess Stanley's hook product property for their P-partition generating functions and Schutzenberger's well defined jeu de taquin rectification property. The original definition of d-complete poset was lengthy, but more succinct definitions were later developed. Here several definitions are shown to be equivalent. The basic properties of d-complete posets are summarized. Background and a partial bibliography for these posets is given.

This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.

The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one of which is a proof of the normal basis theorem from Galois theory.

A well-known problem in Algebraic Combinatorics, is the enumeration of circulant graphs. The failure of Adam's Conjecture for such graphs with order containing a repeated prime, led researchers to investigate the problem using two different methods, namely the multiplier method and the structural method. The former makes use of isomorphism theorems whereas the latter involves Schur rings. Both these methods have already been used to count the number of non-isomorphic circulants of order $p^2$. This research focuses on the extension of these two methods to enumerate circulants of order $p^3$, in particular for $p=3$ and $p=5$, through the use of the computer package GAP.

Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distinguish between the graph theoretic (semantic) and the algebraic (syntactic) meaning of graph polynomials. We discuss how to represent and compare graph polynomials by their distinctive power. We introduce the class of graph polynomials definable using Second Order Logic which comprises virtually all examples of graph polynomials with a fixed finite set of indeterminates. Finally we show that the location of zeros and stability of graph polynomials is not a semantic property. The paper emphasizes a model theoretic view and gives a unified exposition of classical results in algebraic combinatorics together with new and some of our previously obtained results scattered in the graph theoretic literature.

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

Drinfeld orbifold algebras are a type of deformation of skew group algebras generalizing graded Hecke algebras of interest in representation theory, algebraic combinatorics, and noncommutative geometry. In this article, we classify all Drinfeld orbifold algebras for symmetric groups acting by the natural permutation representation. This provides, for nonabelian groups, infinite families of examples of Drinfeld orbifold algebras that are not graded Hecke algebras. We include explicit descriptions of the maps recording commutator relations and show there is a one-parameter family of such maps supported only on the identity and a three-parameter family of maps supported only on 3-cycles and 5-cycles. Each commutator map must satisfy properties arising from a Poincaré-Birkhoff-Witt condition on the algebra, and our analysis of the properties illustrates reduction techniques using orbits of group element factorizations and intersections of fixed point spaces.

This paper proves a combinatorial rule giving all maximal and minimal partitions $λ$ such that the Schur function $s_λ$ appears in a plethysm of two arbitrary Schur functions. Determining the decomposition of these plethysms has been identified by Stanley as a key open problem in algebraic combinatorics. As corollaries we prove three conjectures of Agaoka on the partitions labelling the lexicographically greatest and least Schur functions appearing in an arbitrary plethysm. We also show that the multiplicity of the Schur function labelled by the lexicographically least constituent may be arbitrarily large. The proof is carried out in the symmetric group and gives an explicit non-zero homomorphism corresponding to each maximal or minimal partition.

Partially commutative monoids provide a powerful tool to study graphs, viewingwalks as words whose letters, the edges of the graph, obey a specific commutation rule. A particularclass of traces emerges from this framework, the hikes, whose alphabet is the set of simple cycleson the graph. We show that hikes characterize undirected graphs uniquely, up to isomorphism, andsatisfy remarkable algebraic properties such as the existence and uniqueness of a prime factorization.Because of this, the set of hikes partially ordered by divisibility hosts a plethora of relations in directcorrespondence with those found in number theory. Some applications of these results are presented,including a permanantal extension to MacMahon's master theorem and a derivation of the Ihara zetafunction.

We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics.