-
Preorders on maximal chains: hyperplane arrangements, Cambrian lattices, and maximal green sequences
Authors:
Mikhail Gorsky,
Nicholas J. Williams
Abstract:
We study preorders on (equivalence classes of) maximal chains in the general context of polygonal lattices endowed with suitably nice edge labellings. We show that, given a quotient of polygonal lattices, such edge labellings descend to the quotient, and that there is an induced order-preserving surjective map on the preordered sets of equivalence classes of maximal chains. Under a natural conditi…
▽ More
We study preorders on (equivalence classes of) maximal chains in the general context of polygonal lattices endowed with suitably nice edge labellings. We show that, given a quotient of polygonal lattices, such edge labellings descend to the quotient, and that there is an induced order-preserving surjective map on the preordered sets of equivalence classes of maximal chains. Under a natural condition ensuring that the domain is a poset, the map is a contraction of preordered sets. We apply this to lattices of regions of simplicial hyperplane arrangements, where the preorders are partial orders, in particular to finite Coxeter arrangements. For the latter, each choice of Coxeter element gives us a different partial order on the set of equivalence classes of maximal chains; these generalise certain reoriented higher Bruhat orders in dimension two. The maps of posets of maximal chains induced by Cambrian congruences generalise the map of Kapranov and Voevodsky from the higher Bruhat orders to the higher Stasheff--Tamari orders in dimension two. While the fibres of this map are known not always to be intervals, our results show that they are always connected. We show that, in the case of Cambrian lattices, the induced maps on maximal chains have nice descriptions in terms of orientations of rank-two root subsystems, in a way which resembles taking the stable objects of a Rudakov stability condition. We finally consider the algebraic realisation of the weak order and Cambrian lattices via torsion-free classes of preprojective and path algebras, relating the posets of maximal chains to our earlier work on maximal green sequences.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
An asymptotic refinement of the Gauss-Lucas Theorem for random polynomials with i.i.d. roots
Authors:
Sean O'Rourke,
Noah Williams
Abstract:
If $p:\mathbb{C} \to \mathbb{C}$ is a non-constant polynomial, the Gauss--Lucas theorem asserts that its critical points are contained in the convex hull of its roots. We consider the case when $p$ is a random polynomial of degree $n$ with roots chosen independently from a radially symmetric, compactly supported probably measure $μ$ in the complex plane. We show that the largest (in magnitude) cri…
▽ More
If $p:\mathbb{C} \to \mathbb{C}$ is a non-constant polynomial, the Gauss--Lucas theorem asserts that its critical points are contained in the convex hull of its roots. We consider the case when $p$ is a random polynomial of degree $n$ with roots chosen independently from a radially symmetric, compactly supported probably measure $μ$ in the complex plane. We show that the largest (in magnitude) critical points are closely paired with the largest roots of $p$. This allows us to compute the asymptotic fluctuations of the largest critical points as the degree $n$ tends to infinity. We show that the limiting distribution of the fluctuations is described by either a Gaussian distribution or a heavy-tailed stable distribution, depending on the behavior of $μ$ near the edge of its support. As a corollary, we obtain an asymptotic refinement to the Gauss--Lucas theorem for random polynomials.
△ Less
Submitted 14 September, 2024;
originally announced September 2024.
-
An elaborate new proof of Cayley's formula
Authors:
Esther Banaian,
Anh Trong Nam Hoang,
Elizabeth Kelley,
Weston Miller,
Jason Stack,
Carolyn Stephen,
Nathan Williams
Abstract:
We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled…
▽ More
We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Donaldson-Thomas invariants for the Bridgeland-Smith correspondence
Authors:
Omar Kidwai,
Nicholas J. Williams
Abstract:
Famous work of Bridgeland and Smith shows that certain moduli spaces of quadratic differentials are isomorphic to spaces of stability conditions on particular 3-Calabi-Yau triangulated categories. This result has subsequently been generalised and extended by several authors. One facet of this correspondence is that finite-length trajectories of the quadratic differential are related to categories…
▽ More
Famous work of Bridgeland and Smith shows that certain moduli spaces of quadratic differentials are isomorphic to spaces of stability conditions on particular 3-Calabi-Yau triangulated categories. This result has subsequently been generalised and extended by several authors. One facet of this correspondence is that finite-length trajectories of the quadratic differential are related to categories of semistable objects of the corresponding stability condition, which have associated Donaldson-Thomas invariants. On the other hand, computations in the physics literature suggest certain values of these invariants according to the type of trajectory. In this paper, we show that the category recently constructed by Christ, Haiden, and Qiu gives Donaldson-Thomas invariants which agree with the predictions from physics; in particular, degenerate ring domains of the quadratic differential give rise to non-zero Donaldson-Thomas invariants. In calculating all of the invariants, we obtain a novel application of string and band techniques from representation theory.
△ Less
Submitted 25 June, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
Steenrod operations via higher Bruhat orders
Authors:
Guillaume Laplante-Anfossi,
Nicholas J. Williams
Abstract:
The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. Defining this correspondence involves interpreting the copro…
▽ More
The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. Defining this correspondence involves interpreting the coproducts geometrically in terms of zonotopal tilings, which allows us to give conceptual proofs of their properties and show that all reasonable coproducts arise from our construction.
△ Less
Submitted 17 December, 2024; v1 submitted 28 September, 2023;
originally announced September 2023.
-
Strange Expectations in Affine Weyl Groups
Authors:
Eric Nathan Stucky,
Marko Thiel,
Nathan Williams
Abstract:
Our main result is a generalization, to all affine Weyl groups, of P. Johnson's proof of D. Armstrong's conjecture for the expected number of boxes in a simultaneous core. This extends earlier results by the second and third authors in simply-laced type. We do this by modifying and refining the appropriate notion of the "size" of a simultaneous core. In addition, we provide combinatorial core-like…
▽ More
Our main result is a generalization, to all affine Weyl groups, of P. Johnson's proof of D. Armstrong's conjecture for the expected number of boxes in a simultaneous core. This extends earlier results by the second and third authors in simply-laced type. We do this by modifying and refining the appropriate notion of the "size" of a simultaneous core. In addition, we provide combinatorial core-like models for the coroot lattices in classical type and type $G_2$.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Wiener Indices of Minuscule Lattices
Authors:
Colin Defant,
Valentin Féray,
Philippe Nadeau,
Nathan Williams
Abstract:
The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we a…
▽ More
The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we also provide results on the asymptotic distribution of the distance between two random order ideals.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
A survey of congruences and quotients of partially ordered sets
Authors:
Nicholas J. Williams
Abstract:
A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $θ$ on $P$; $θ$ is then called a congruence if it satisfies certain conditions, which vary according to different theories. The literature on congruences and quotients of partially ordered sets contains a large and profilerating array of approaches, but little in the way of systematic exposi…
▽ More
A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $θ$ on $P$; $θ$ is then called a congruence if it satisfies certain conditions, which vary according to different theories. The literature on congruences and quotients of partially ordered sets contains a large and profilerating array of approaches, but little in the way of systematic exposition and examination of the subject. We seek to rectify this by surveying the different theories in the literature and providing philosophical discussion on requirements for notions of congruences of posets. We advocate a pluralist approach which recognises that different types of congruence arise naturally in different mathematical situations. There are some notions of congruence which are very general, whilst others capture specific structure which often appears in examples. Indeed, we finish by giving several examples where quotients of posets appear naturally in mathematics.
△ Less
Submitted 2 May, 2024; v1 submitted 7 March, 2023;
originally announced March 2023.
-
A geometric perspective on the $τ$-cluster morphism category
Authors:
Sibylle Schroll,
Aran Tattar,
Hipolito Treffinger,
Nicholas J. Williams
Abstract:
We show how the $τ$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.
We show how the $τ$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.
△ Less
Submitted 19 April, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
The Ungar Games
Authors:
Colin Defant,
Noah Kravitz,
Nathan Williams
Abstract:
Let $L$ be a finite lattice. An Ungar move sends an element $x\in L$ to the meet of $\{x\}\cup T$, where $T$ is a subset of the set of elements covered by $x$. We introduce the following Ungar game. Starting at the top element of $L$, two players -- Atniss and Eeta -- take turns making nontrivial Ungar moves; the first player who cannot do so loses the game. Atniss plays first. We say $L$ is an At…
▽ More
Let $L$ be a finite lattice. An Ungar move sends an element $x\in L$ to the meet of $\{x\}\cup T$, where $T$ is a subset of the set of elements covered by $x$. We introduce the following Ungar game. Starting at the top element of $L$, two players -- Atniss and Eeta -- take turns making nontrivial Ungar moves; the first player who cannot do so loses the game. Atniss plays first. We say $L$ is an Atniss win (respectively, Eeta win) if Atniss (respectively, Eeta) has a winning strategy in the Ungar game on $L$. We first prove that the number of principal order ideals in the weak order on $S_n$ that are Eeta wins is $O(0.95586^nn!)$. We then consider a broad class of intervals in Young's lattice that includes all principal order ideals, and we characterize the Eeta wins in this class; we deduce precise enumerative results concerning order ideals in rectangles and type-$A$ root posets. We also characterize and enumerate principal order ideals in Tamari lattices that are Eeta wins. Finally, we conclude with some open problems and a short discussion of the computational complexity of Ungar games.
△ Less
Submitted 11 January, 2024; v1 submitted 13 February, 2023;
originally announced February 2023.
-
A structural view of maximal green sequences
Authors:
Mikhail Gorsky,
Nicholas J. Williams
Abstract:
We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its significance. There are three partial orders on the equivalence classes, analogous to the partial orders on silting complexes and generalising the higher Stasheff--Tamari o…
▽ More
We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its significance. There are three partial orders on the equivalence classes, analogous to the partial orders on silting complexes and generalising the higher Stasheff--Tamari orders on triangulations of three-dimensional cyclic polytopes. We conjecture that these partial orders are in fact equal, just as the orders in the silting case have the same Hasse diagram. This can be seen as a refined and more widely applicable version of the No-Gap Conjecture of Brüstle, Dupont, and Perotin. We prove our conjecture in the case of Nakayama algebras.
△ Less
Submitted 25 April, 2023; v1 submitted 20 January, 2023;
originally announced January 2023.
-
From discrete to continuous: Monochromatic 3-term arithmetic progressions
Authors:
Torin Greenwood,
Jonathan Kariv,
Noah Williams
Abstract:
We prove a known 2-coloring of the integers $[N] := \{1,2,3,\ldots,N\}$ minimizes the number of monochromatic arithmetic 3-progressions under certain restrictions. A monochromatic arithmetic progression is a set of equally-spaced integers that are all the same color. Previous work by Parrilo, Robertson and Saracino conjectured an optimal coloring for large $N$ that involves 12 colored blocks. Here…
▽ More
We prove a known 2-coloring of the integers $[N] := \{1,2,3,\ldots,N\}$ minimizes the number of monochromatic arithmetic 3-progressions under certain restrictions. A monochromatic arithmetic progression is a set of equally-spaced integers that are all the same color. Previous work by Parrilo, Robertson and Saracino conjectured an optimal coloring for large $N$ that involves 12 colored blocks. Here, we prove that the conjecture is optimal among anti-symmetric colorings with 12 or fewer colored blocks. We leverage a connection to the coloring of the continuous interval $[0,1]$ used by Parrilo, Robertson, and Saracino as well as by Butler, Costello and Graham. Our proof identifies classes of colorings with permutations, then counts the permutations using mixed integer linear programming.
△ Less
Submitted 31 December, 2022;
originally announced January 2023.
-
Charmed roots and the Kroweras complement
Authors:
Benjamin Dequêne,
Gabriel Frieden,
Alessandro Iraci,
Florian Schreier-Aigner,
Hugh Thomas,
Nathan Williams
Abstract:
Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitio…
▽ More
Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitions under the Kreweras complement and nonnesting partitions under a Coxeter-theoretically natural cyclic action we call the Kroweras complement. Our equivariant bijection is the unique bijection that is both equivariant and support-preserving, and is built using local rules depending on a new definition of charmed roots. Charmed roots are determined by the choice of Coxeter element -- in the special case of the linear Coxeter element $(1, 2, \dots, n)$, we recover one of the standard bijections between noncrossing and nonnesting partitions.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
-
The higher Stasheff--Tamari orders in representation theory
Authors:
Nicholas J. Williams
Abstract:
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner.…
▽ More
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner. We first show that these orders correspond in even dimensions to natural orders on tilting modules defined by Riedtmann and Schofield and studied by Happel and Unger. This result allows us to show that triangulations of odd-dimensional cyclic polytopes are in bijection with equivalence classes of $d$-maximal green sequences of $A_{n}^{d}$, which we introduce as a higher-dimensional generalisation of the original maximal green sequences of Keller. We further interpret the higher Stasheff--Tamari orders in odd dimensions, where they correspond to natural orders on equivalences classes of $d$-maximal green sequences. The conjecture that these two partial orders on equivalence classes of $d$-maximal green sequences are equal amounts to an oriented version of the ``no-gap'' conjecture of Brüstle, Dupont, and Perotin. A corollary of our results is that this conjecture holds for $A_{n}$, and that here the set of equivalence classes of (1-)maximal green sequences is a lattice.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Pop, Crackle, Snap (and Pow): Some Facets of Shards
Authors:
Colin Defant,
Nathan Williams
Abstract:
Reading cut the hyperplanes in a real central arrangement $\mathcal H$ into pieces called \emph{shards}, which reflect order-theoretic properties of the arrangement. We show that shards have a natural interpretation as certain generators of the fundamental group of the complement of the complexification of $\mathcal H$. Taking only positive expressions in these generators yields a new poset that w…
▽ More
Reading cut the hyperplanes in a real central arrangement $\mathcal H$ into pieces called \emph{shards}, which reflect order-theoretic properties of the arrangement. We show that shards have a natural interpretation as certain generators of the fundamental group of the complement of the complexification of $\mathcal H$. Taking only positive expressions in these generators yields a new poset that we call the \emph{pure shard monoid}.
When $\mathcal H$ is simplicial, its poset of regions is a lattice, so it comes equipped with a pop-stack sorting operator $\mathsf{Pop}$. In this case, we use $\mathsf{Pop}$ to define an embedding $\mathsf{Crackle}$ of Reading's shard intersection order into the pure shard monoid. When $\mathcal H$ is the reflection arrangement of a finite Coxeter group, we also define a poset embedding $\mathsf{Snap}$ of the shard intersection order into the positive braid monoid; in this case, our three maps are related by $\mathsf{Snap}=\mathsf{Crackle} \cdot \mathsf{Pop}$.
△ Less
Submitted 11 January, 2024; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Stability spaces of string and band modules
Authors:
Sibylle Schroll,
Aran Tattar,
Hipolito Treffinger,
Yadira Valdivieso,
Nicholas J. Williams
Abstract:
The stability space of a module is the cone of vectors which make the module semistable. These cones are defined in terms of inequalities; in this paper we draw insights from considering the dual description in terms of non-negative linear spans. We show how stability spaces of thin modules are related to order polytopes. In the case of non-thin modules, we show how the stability spaces of string…
▽ More
The stability space of a module is the cone of vectors which make the module semistable. These cones are defined in terms of inequalities; in this paper we draw insights from considering the dual description in terms of non-negative linear spans. We show how stability spaces of thin modules are related to order polytopes. In the case of non-thin modules, we show how the stability spaces of string and band modules are related to the stability spaces of the thin modules corresponding to the abstract string and band. We use this to analyse the way in which the stability space of a band module is the limit of stability spaces of string modules. Namely, the stability space of the band module is a union of cones, each of which is the limit of the stability spaces of a family of string modules.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
Triangulations of prisms and preprojective algebras of type $A$
Authors:
Osamu Iyama,
Nicholas J. Williams
Abstract:
We show that indecomposable two-term presilting complexes over $Π_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $Δ_{n} \times Δ_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $Δ_{n} \times Δ_{1}$ and two-term silting complexes over $Π_{n}$ such that bistellar flips…
▽ More
We show that indecomposable two-term presilting complexes over $Π_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $Δ_{n} \times Δ_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $Δ_{n} \times Δ_{1}$ and two-term silting complexes over $Π_{n}$ such that bistellar flips of triangulations correspond to mutations of two-term silting complexes. These bijections are shown to compatible with the known bijections involving the symmetric group.
△ Less
Submitted 14 November, 2022; v1 submitted 27 August, 2022;
originally announced August 2022.
-
Rational Noncrossing Coxeter-Catalan Combinatorics
Authors:
Pavel Galashin,
Thomas Lam,
Minh-Tâm Quang Trinh,
Nathan Williams
Abstract:
We solve two open problems in Coxeter-Catalan combinatorics. First, we introduce a family of rational noncrossing objects for any finite Coxeter group, using the combinatorics of distinguished subwords. Second, we give a type-uniform proof that these noncrossing Catalan objects are counted by the rational Coxeter-Catalan number, using the character theory of the associated Hecke algebra and the pr…
▽ More
We solve two open problems in Coxeter-Catalan combinatorics. First, we introduce a family of rational noncrossing objects for any finite Coxeter group, using the combinatorics of distinguished subwords. Second, we give a type-uniform proof that these noncrossing Catalan objects are counted by the rational Coxeter-Catalan number, using the character theory of the associated Hecke algebra and the properties of Lusztig's exotic Fourier transform. We solve the same problems for rational noncrossing parking objects.
△ Less
Submitted 29 July, 2022;
originally announced August 2022.
-
Quiver combinatorics for higher-dimensional triangulations
Authors:
Nicholas J. Williams
Abstract:
We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann…
▽ More
We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flipping a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Semidistrim Lattices
Authors:
Colin Defant,
Nathan Williams
Abstract:
We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in an associated graph called the Galois graph, that products and intervals of semidistrim lattices are semidistrim, and that the order complex of a semidistrim l…
▽ More
We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in an associated graph called the Galois graph, that products and intervals of semidistrim lattices are semidistrim, and that the order complex of a semidistrim lattice is either contractible or homotopy equivalent to a sphere.
Semidistrim lattices have a natural rowmotion operator, which simultaneously generalizes Barnard's $\overlineκ$ map on semidistributive lattices as well as Thomas and the second author's rowmotion on trim lattices. Every lattice has an associated pop-stack sorting operator that sends an element $x$ to the meet of the elements covered by $x$. For semidistrim lattices, we are able to derive several intimate connections between rowmotion and pop-stack sorting, one of which involves independent dominating sets of the Galois graph.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Crystal Pop-Stack Sorting and Type A Crystal Lattices
Authors:
Colin Defant,
Nathan Williams
Abstract:
Given a complex simple Lie algebra $\mathfrak g$ and a dominant weight $λ$, let $\mathcal B_λ$ be the crystal poset associated to the irreducible representation of $\mathfrak g$ with highest weight $λ$. In the first part of the article, we introduce the \emph{crystal pop-stack sorting operator} $\mathsf{Pop}_{\lozenge}\colon\mathcal B_λ\to\mathcal B_λ$, a noninvertible operator whose definition ex…
▽ More
Given a complex simple Lie algebra $\mathfrak g$ and a dominant weight $λ$, let $\mathcal B_λ$ be the crystal poset associated to the irreducible representation of $\mathfrak g$ with highest weight $λ$. In the first part of the article, we introduce the \emph{crystal pop-stack sorting operator} $\mathsf{Pop}_{\lozenge}\colon\mathcal B_λ\to\mathcal B_λ$, a noninvertible operator whose definition extends that of the pop-stack sorting map and the recently-introduced Coxeter pop-stack sorting operators. Every forward orbit of $\mathsf{Pop}_{\lozenge}$ contains the minimal element of $\mathcal B_λ$, which is fixed by $\mathsf{Pop}_{\lozenge}$. We prove that the maximum size of a forward orbit of $\mathsf{Pop}_{\lozenge}$ is the Coxeter number of the Weyl group of $\mathfrak g$. In the second part of the article, we characterize exactly when a type $A$ crystal is a lattice.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Optimizing Precision and Power by Machine Learning in Randomized Trials, with an Application to COVID-19
Authors:
Nicholas Williams,
Michael Rosenblum,
Iván Díaz
Abstract:
The rapid finding of effective therapeutics requires the efficient use of available resources in clinical trials. The use of covariate adjustment can yield statistical estimates with improved precision, resulting in a reduction in the number of participants required to draw futility or efficacy conclusions. We focus on time-to-event and ordinal outcomes. A key question for covariate adjustment in…
▽ More
The rapid finding of effective therapeutics requires the efficient use of available resources in clinical trials. The use of covariate adjustment can yield statistical estimates with improved precision, resulting in a reduction in the number of participants required to draw futility or efficacy conclusions. We focus on time-to-event and ordinal outcomes. A key question for covariate adjustment in randomized studies is how to fit a model relating the outcome and the baseline covariates to maximize precision. We present a novel theoretical result establishing conditions for asymptotic normality of a variety of covariate-adjusted estimators that rely on machine learning (e.g., l1-regularization, Random Forests, XGBoost, and Multivariate Adaptive Regression Splines), under the assumption that outcome data is missing completely at random. We further present a consistent estimator of the asymptotic variance. Importantly, the conditions do not require the machine learning methods to converge to the true outcome distribution conditional on baseline variables, as long as they converge to some (possibly incorrect) limit. We conducted a simulation study to evaluate the performance of the aforementioned prediction methods in COVID-19 trials using longitudinal data from over 1,500 patients hospitalized with COVID-19 at Weill Cornell Medicine New York Presbyterian Hospital. We found that using l1-regularization led to estimators and corresponding hypothesis tests that control type 1 error and are more precise than an unadjusted estimator across all sample sizes tested. We also show that when covariates are not prognostic of the outcome, l1-regularization remains as precise as the unadjusted estimator, even at small sample sizes (n = 100). We give an R package adjrct that performs model-robust covariate adjustment for ordinal and time-to-event outcomes.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Coxeter Pop-Tsack Torsing
Authors:
Colin Defant,
Nathan Williams
Abstract:
Given a finite irreducible Coxeter group $W$ with a fixed Coxeter element $c$, we define the Coxeter pop-tsack torsing operator $\mathsf{Pop}_T:W\to W$ by $\mathsf{Pop}_T(w)=w\cdotπ_T(w)^{-1}$, where $π_T(w)$ is the join in the noncrossing partition lattice $\mathrm{NC}(w,c)$ of the set of reflections lying weakly below $w$ in the absolute order. This definition serves as a "Bessis dual" version o…
▽ More
Given a finite irreducible Coxeter group $W$ with a fixed Coxeter element $c$, we define the Coxeter pop-tsack torsing operator $\mathsf{Pop}_T:W\to W$ by $\mathsf{Pop}_T(w)=w\cdotπ_T(w)^{-1}$, where $π_T(w)$ is the join in the noncrossing partition lattice $\mathrm{NC}(w,c)$ of the set of reflections lying weakly below $w$ in the absolute order. This definition serves as a "Bessis dual" version of the first author's notion of a Coxeter pop-stack sorting operator, which, in turn, generalizes the pop-stack-sorting map on symmetric groups. We show that if $W$ is coincidental or of type $D$, then the identity element of $W$ is the unique periodic point of $\mathsf{Pop}_T$ and the maximum size of a forward orbit of $\mathsf{Pop}_T$ is the Coxeter number $h$ of $W$. In each of these types, we obtain a natural lift from $W$ to the dual braid monoid of $W$. We also prove that $W$ is coincidental if and only if it has a unique forward orbit of size $h$. For arbitrary $W$, we show that the forward orbit of $c^{-1}$ under $\mathsf{Pop}_T$ has size $h$ and is isolated in the sense that none of the non-identity elements of the orbit have preimages lying outside of the orbit.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
The two higher Stasheff-Tamari orders are equal
Authors:
Nicholas J. Williams
Abstract:
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our und…
▽ More
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our understanding of these orders. This result also has ramifications in the representation theory of algebras, as established in previous work of the author. Indeed, it means that the two corresponding orders on tilting modules, cluster-tilting objects and their maximal chains are equal for the higher Auslander algebras of type $A$.
△ Less
Submitted 13 June, 2022; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Bijecting hidden symmetries for skew staircase shapes
Authors:
Zachary Hamaker,
Alejandro H. Morales,
Igor Pak,
Luis Serrano,
Nathan Williams
Abstract:
We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape.…
▽ More
We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape. This resolves an open problem by Morales, Pak and Panova (2019), and allows for efficient random sampling. Other applications include a bijection for semistandard Young tableaux, and a bijective proof of Stembridge's symmetry of LR-coefficients of the staircase shape. We also extend these results to set-valued standard Young tableaux in the combinatorics of K-theory, leading to new proofs of results by Lewis and Marberg (2019) and Abney-McPeek, An and Ng (2020).
△ Less
Submitted 14 May, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
The first higher Stasheff-Tamari orders are quotients of the higher Bruhat orders
Authors:
Nicholas J. Williams
Abstract:
We prove the conjecture that the higher Tamari orders of Dimakis and Müller-Hoissen coincide with the first higher Stasheff--Tamari orders. To this end, we show that the higher Tamari orders may be conceived as the image of an order-preserving map from the higher Bruhat orders to the first higher Stasheff--Tamari orders. This map is defined by taking the first cross-section of a cubillage of a cyc…
▽ More
We prove the conjecture that the higher Tamari orders of Dimakis and Müller-Hoissen coincide with the first higher Stasheff--Tamari orders. To this end, we show that the higher Tamari orders may be conceived as the image of an order-preserving map from the higher Bruhat orders to the first higher Stasheff--Tamari orders. This map is defined by taking the first cross-section of a cubillage of a cyclic zonotope. We provide a new proof that this map is surjective and show further that the map is full, which entails the aforementioned conjecture. We explain how order-preserving maps which are surjective and full correspond to quotients of posets. Our results connect the first higher Stasheff--Tamari orders with the literature on the role of the higher Tamari orders in integrable systems.
△ Less
Submitted 18 May, 2021; v1 submitted 18 December, 2020;
originally announced December 2020.
-
New interpretations of the higher Stasheff--Tamari orders
Authors:
Nicholas J. Williams
Abstract:
In 1996, Edelman and Reiner defined the two higher Stasheff--Tamari orders on triangulations of cyclic polytopes and conjectured them to coincide. We open up an algebraic angle for approaching this conjecture by showing how these orders arise naturally in the representation theory of the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$. For this we give new combinatorial interpretations…
▽ More
In 1996, Edelman and Reiner defined the two higher Stasheff--Tamari orders on triangulations of cyclic polytopes and conjectured them to coincide. We open up an algebraic angle for approaching this conjecture by showing how these orders arise naturally in the representation theory of the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$. For this we give new combinatorial interpretations of the orders, making them comparable. We then translate these combinatorial interpretations into the algebraic framework. We also show how triangulations of odd-dimensional cyclic polytopes arise in the representation theory of $A_{n}^{d}$, namely as equivalence classes of maximal green sequences. We furthermore give the odd-dimensional counterpart to the known description of $2d$-dimensional triangulations as sets of non-intersecting $d$-simplices of a maximal size. This consists in a definition of two new properties which imply that a set of $d$-simplices produces a $(2d+1)$-dimensional triangulation.
△ Less
Submitted 19 February, 2021; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Normal Reflection Subgroups of Complex Reflection Groups
Authors:
Carlos E. Arreche,
Nathan F. Williams
Abstract:
We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalized exponents. Our refinement gives a uniform proof and generalization of a recent theorem of the second author.
We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalized exponents. Our refinement gives a uniform proof and generalization of a recent theorem of the second author.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
Normal Reflection Subgroups
Authors:
Carlos E. Arreche,
Nathan Williams
Abstract:
We study normal reflection subgroups of complex reflection groups. Our point of view leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalized exponents. Our refinement gives a uniform proof and generalization of a recent theorem of the second author.
We study normal reflection subgroups of complex reflection groups. Our point of view leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalized exponents. Our refinement gives a uniform proof and generalization of a recent theorem of the second author.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
The combinatorics of tensor products of higher Auslander algebras of type $A$
Authors:
Jordan McMahon,
Nicholas J. Williams
Abstract:
We consider maximal non-$l$-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type $A$. We show that a higher pre…
▽ More
We consider maximal non-$l$-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type $A$. We show that a higher preprojective algebra of the tensor product of two $d$-representation-finite algebras has a $d$-precluster-tilting subcategory. Finally we relate mutations of these collections to a form of tilting for these algebras.
△ Less
Submitted 18 January, 2020;
originally announced January 2020.
-
Partial linear eigenvalue statistics for non-Hermitian random matrices
Authors:
Sean O'Rourke,
Noah Williams
Abstract:
For an $n \times n$ independent-entry random matrix $X_n$ with eigenvalues $λ_1, \ldots, λ_n$, the seminal work of Rider and Silverstein asserts that the fluctuations of the linear eigenvalue statistics $\sum_{i=1}^n f(λ_i)$ converge to a Gaussian distribution for sufficiently nice test functions $f$. We study the fluctuations of $\sum_{i=1}^{n-K} f(λ_i)$, where $K$ randomly chosen eigenvalues hav…
▽ More
For an $n \times n$ independent-entry random matrix $X_n$ with eigenvalues $λ_1, \ldots, λ_n$, the seminal work of Rider and Silverstein asserts that the fluctuations of the linear eigenvalue statistics $\sum_{i=1}^n f(λ_i)$ converge to a Gaussian distribution for sufficiently nice test functions $f$. We study the fluctuations of $\sum_{i=1}^{n-K} f(λ_i)$, where $K$ randomly chosen eigenvalues have been removed from the sum. In this case, we identify the limiting distribution and show that it need not be Gaussian. Our results hold for the case when $K$ is fixed as well as the case when $K$ tends to infinity with $n$.
The proof utilizes the predicted locations of the eigenvalues introduced by E. Meckes and M. Meckes. As a consequence of our methods, we obtain a rate of convergence for the empirical spectral distribution of $X_n$ to the circular law in Wasserstein distance, which may be of independent interest.
△ Less
Submitted 26 June, 2020; v1 submitted 18 December, 2019;
originally announced December 2019.
-
$k$-Indivisible Noncrossing Partitions
Authors:
Henri Mühle,
Philippe Nadeau,
Nathan Williams
Abstract:
For a fixed integer $k$, we consider the set of noncrossing partitions, where both the block sizes and the difference between adjacent elements in a block is $1\bmod k$. We show that these $k$-indivisible noncrossing partitions can be recovered in the setting of subgroups of the symmetric group generated by $(k+1)$-cycles, and that the poset of $k$-indivisible noncrossing partitions under refineme…
▽ More
For a fixed integer $k$, we consider the set of noncrossing partitions, where both the block sizes and the difference between adjacent elements in a block is $1\bmod k$. We show that these $k$-indivisible noncrossing partitions can be recovered in the setting of subgroups of the symmetric group generated by $(k+1)$-cycles, and that the poset of $k$-indivisible noncrossing partitions under refinement order has many beautiful enumerative and structural properties. We encounter $k$-parking functions and some special Cambrian lattices on the way, and show that a special class of lattice paths constitutes a nonnesting analogue.
△ Less
Submitted 14 May, 2020; v1 submitted 11 April, 2019;
originally announced April 2019.
-
Reflexponents
Authors:
Nathan Williams
Abstract:
Certain classical generating functions for elements of reflection groups can be expressed using fundamental invariants called exponents. We give new analogues of such generating functions that accommodate orbits of reflecting hyperplanes using similar invariants we call reflexponents. Our verifications are case-by-case.
Certain classical generating functions for elements of reflection groups can be expressed using fundamental invariants called exponents. We give new analogues of such generating functions that accommodate orbits of reflecting hyperplanes using similar invariants we call reflexponents. Our verifications are case-by-case.
△ Less
Submitted 23 February, 2019; v1 submitted 17 February, 2019;
originally announced February 2019.
-
Fixed Points of Parking Functions
Authors:
Jon McCammond,
Hugh Thomas,
Nathan Williams
Abstract:
We define an action of words in $[m]^n$ on $\mathbb{R}^m$ to give a new characterization of rational parking functions -- they are exactly those words whose action has a fixed point. We use this viewpoint to give a simple definition of Gorsky, Mazin, and Vazirani's zeta map on rational parking functions when m and n are coprime, and prove that this zeta map is invertible. A specialization recovers…
▽ More
We define an action of words in $[m]^n$ on $\mathbb{R}^m$ to give a new characterization of rational parking functions -- they are exactly those words whose action has a fixed point. We use this viewpoint to give a simple definition of Gorsky, Mazin, and Vazirani's zeta map on rational parking functions when m and n are coprime, and prove that this zeta map is invertible. A specialization recovers Loehr and Warrington's sweep map on rational Dyck paths.
△ Less
Submitted 7 June, 2023; v1 submitted 9 January, 2019;
originally announced January 2019.
-
Strange Expectations and the Winnie-the-Pooh Problem
Authors:
Marko Thiel,
Nathan Williams
Abstract:
Motivated by the study of simultaneous cores, we give three proofs (in varying levels of generality) for the expected norm of a weight in a highest weight representation of a complex simple Lie algebra. First, we argue directly using the polynomial method and the Weyl character formula. Second, we use the combinatorics of semistandard tableaux to obtain the result in type A. Third, and most intere…
▽ More
Motivated by the study of simultaneous cores, we give three proofs (in varying levels of generality) for the expected norm of a weight in a highest weight representation of a complex simple Lie algebra. First, we argue directly using the polynomial method and the Weyl character formula. Second, we use the combinatorics of semistandard tableaux to obtain the result in type A. Third, and most interestingly, we relate this problem to the "Winnie-the-Pooh problem" regarding orthogonal decompositions of Lie algebras; although this approach offers the most explanatory power, it applies only to Cartan types other than A and C. We conclude with computations of many combinatorial cumulants.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
On the local pairing behavior of critical points and roots of random polynomials
Authors:
Sean O'Rourke,
Noah Williams
Abstract:
We study the pairing between zeros and critical points of the polynomial $p_n(z) = \prod_{j=1}^n(z-X_j)$, whose roots $X_1, \ldots, X_n$ are complex-valued random variables. Under a regularity assumption, we show that if the roots are independent and identically distributed, the Wasserstein distance between the empirical distributions of roots and critical points of $p_n$ is on the order of $1/n$,…
▽ More
We study the pairing between zeros and critical points of the polynomial $p_n(z) = \prod_{j=1}^n(z-X_j)$, whose roots $X_1, \ldots, X_n$ are complex-valued random variables. Under a regularity assumption, we show that if the roots are independent and identically distributed, the Wasserstein distance between the empirical distributions of roots and critical points of $p_n$ is on the order of $1/n$, up to logarithmic corrections. The proof relies on a careful construction of disjoint random Jordan curves in the complex plane, which allow us to naturally pair roots and nearby critical points. In addition, we establish asymptotic expansions to order $1/n^2$ for the locations of the nearest critical points to several fixed roots. This allows us to describe the joint limiting fluctuations of the critical points as $n$ tends to infinity, extending a recent result of Kabluchko and Seidel. Finally, we present a local law that describes the behavior of the critical points when the roots are neither independent nor identically distributed.
△ Less
Submitted 18 February, 2020; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Independence Posets
Authors:
Hugh Thomas,
Nathan Williams
Abstract:
Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$.
Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our…
▽ More
Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$.
Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our independence posets are a further generalization of distributive lattices, eliminating also the lattice requirement: an independence poset that is a lattice is always a trim lattice, and every trim lattice is the independence poset for a unique (up to isomorphism) acyclic directed graph $G$. We characterize when an independence poset is a lattice with a graph-theoretic condition on $G$.
We generalize the definition of rowmotion from distributive lattices to independence posets, and we show it can be computed in three different ways. We also relate our constructions to torsion classes, semibricks, and 2-simpleminded collections arising in the representation theory of certain acyclic finite-dimensional algebras.
△ Less
Submitted 29 March, 2019; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Tamari Lattices for Parabolic Quotients of the Symmetric Group
Authors:
Henri Mühle,
Nathan Williams
Abstract:
We generalize the Tamari lattice by extending the notions of $231$-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group $\mathfrak{S}_{n}$. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a cert…
▽ More
We generalize the Tamari lattice by extending the notions of $231$-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group $\mathfrak{S}_{n}$. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a certain aligned condition of inversion sets; a concept which can in fact be generalized to any reduced expression of any element in any (not necessarily finite) Coxeter group.
△ Less
Submitted 1 November, 2019; v1 submitted 8 April, 2018;
originally announced April 2018.
-
Rowmotion in slow motion
Authors:
Hugh Thomas,
Nathan Williams
Abstract:
Rowmotion is a simple cyclic action on the distributive lattice of order ideals of a poset: it sends the order ideal x to the order ideal generated by the minimal elements not in x. It can also be computed in "slow motion" as a sequence of local moves. We use the setting of trim lattices to generalize both definitions of rowmotion, proving many structural results along the way. We introduce a flag…
▽ More
Rowmotion is a simple cyclic action on the distributive lattice of order ideals of a poset: it sends the order ideal x to the order ideal generated by the minimal elements not in x. It can also be computed in "slow motion" as a sequence of local moves. We use the setting of trim lattices to generalize both definitions of rowmotion, proving many structural results along the way. We introduce a flag simplicial complex (similar to the canonical join complex of a semidistributive lattice), and relate our results to recent work of Barnard by proving that extremal semidistributive lattices are trim. As a corollary, we prove that if A is a representation finite algebra and mod A has no cycles, then the torsion classes of A ordered by inclusion form a trim lattice.
△ Less
Submitted 4 January, 2018; v1 submitted 29 December, 2017;
originally announced December 2017.
-
Pairing between zeros and critical points of random polynomials with independent roots
Authors:
Sean O'Rourke,
Noah Williams
Abstract:
Let $p_n$ be a random, degree $n$ polynomial whose roots are chosen independently according to the probability measure $μ$ on the complex plane. For a deterministic point $ξ$ lying outside the support of $μ$, we show that almost surely the polynomial $q_n(z):=p_n(z)(z - ξ)$ has a critical point at distance $O(1/n)$ from $ξ$. In other words, conditioning the random polynomials $p_n$ to have a root…
▽ More
Let $p_n$ be a random, degree $n$ polynomial whose roots are chosen independently according to the probability measure $μ$ on the complex plane. For a deterministic point $ξ$ lying outside the support of $μ$, we show that almost surely the polynomial $q_n(z):=p_n(z)(z - ξ)$ has a critical point at distance $O(1/n)$ from $ξ$. In other words, conditioning the random polynomials $p_n$ to have a root at $ξ$, almost surely forces a critical point near $ξ$. More generally, we prove an analogous result for the critical points of $q_n(z):=p_n(z)(z - ξ_1)\cdots (z - ξ_k)$, where $ξ_1, \ldots, ξ_k$ are deterministic. In addition, when $k=o(n)$, we show that the empirical distribution constructed from the critical points of $q_n$ converges to $μ$ in probability as the degree tends to infinity, extending a recent result of Kabluchko.
△ Less
Submitted 28 July, 2017; v1 submitted 19 October, 2016;
originally announced October 2016.
-
Galois covers of type (p,...,p), vanishing cycles formula, and the existence of torsor structures
Authors:
Mohamed Saidi,
Nicholas Williams
Abstract:
In this article we prove a local Riemman-Hurwitz formula which compares the dimensions of the spaces of vanishing cycles in a finite Galois cover of type (p,p,...,p) between formal germs of p-adic curves and which generalises the formula proven by the first author in the case of Galois covers of degree p. We also investigate the problem of the existence of a torsor structure for a finite Galois co…
▽ More
In this article we prove a local Riemman-Hurwitz formula which compares the dimensions of the spaces of vanishing cycles in a finite Galois cover of type (p,p,...,p) between formal germs of p-adic curves and which generalises the formula proven by the first author in the case of Galois covers of degree p. We also investigate the problem of the existence of a torsor structure for a finite Galois cover of type (p,p,...,p) between p-adic schemes.
△ Less
Submitted 14 February, 2017; v1 submitted 23 June, 2016;
originally announced June 2016.
-
Doppelgängers: Bijections of Plane Partitions
Authors:
Zachary Hamaker,
Rebecca Patrias,
Oliver Pechenik,
Nathan Williams
Abstract:
We say two posets are "doppelgängers" if they have the same number of $P$-partitions of each height $k$. We give a uniform framework for bijective proofs that posets are doppelgängers by synthesizing $K$-theoretic Schubert calculus techniques of H. Thomas and A. Yong with M. Haiman's rectification bijection and an observation of R. Proctor. Geometrically, these bijections reflect the rational equi…
▽ More
We say two posets are "doppelgängers" if they have the same number of $P$-partitions of each height $k$. We give a uniform framework for bijective proofs that posets are doppelgängers by synthesizing $K$-theoretic Schubert calculus techniques of H. Thomas and A. Yong with M. Haiman's rectification bijection and an observation of R. Proctor. Geometrically, these bijections reflect the rational equivalence of certain subvarieties of minuscule flag manifolds. As a special case, we provide the first bijective proof of a 1983 theorem of R. Proctor---that plane partitions of height $k$ in a rectangle are equinumerous with plane partitions of height $k$ in a trapezoid.
△ Less
Submitted 17 August, 2017; v1 submitted 17 February, 2016;
originally announced February 2016.
-
Sweeping up Zeta
Authors:
Hugh Thomas,
Nathan Williams
Abstract:
Using techniques introduced by H. Thomas and N. Williams in "Cyclic Symmetry of the Scaled Simplex," we prove that modular sweep maps are bijective. We construct the inverse of the modular sweep map by passing through an intermediary set of equitable partitions; motivated by an analogy to stable marriages, we prove that the set of equitable partitions for a fixed word forms a distributive lattice…
▽ More
Using techniques introduced by H. Thomas and N. Williams in "Cyclic Symmetry of the Scaled Simplex," we prove that modular sweep maps are bijective. We construct the inverse of the modular sweep map by passing through an intermediary set of equitable partitions; motivated by an analogy to stable marriages, we prove that the set of equitable partitions for a fixed word forms a distributive lattice when ordered componentwise. We conclude that the general sweep maps defined by D. Armstrong, N. Loehr, and G. Warrington in "Sweep Maps: A Continuous Family of Sorting Algorithms" are bijective. As a special case of particular interest, this gives the first proof that the zeta map on rational Dyck paths is a bijection.
△ Less
Submitted 27 February, 2018; v1 submitted 4 December, 2015;
originally announced December 2015.
-
On the existence of a torsor structure for Galois covers over a complete discrete valuation ring
Authors:
Mohamed Saidi,
Nicholas Williams
Abstract:
In this note we investigate the problem of existence of a torsor structure for Galois covers of (formal) schemes over a complete discrete valuation ring of residue characteristic $p>0$ in the case of abelian Galois groups of type (p,p,...,p).
In this note we investigate the problem of existence of a torsor structure for Galois covers of (formal) schemes over a complete discrete valuation ring of residue characteristic $p>0$ in the case of abelian Galois groups of type (p,p,...,p).
△ Less
Submitted 23 October, 2015;
originally announced October 2015.
-
Automata, reduced words, and Garside shadows in Coxeter groups
Authors:
Christophe Hohlweg,
Philippe Nadeau,
Nathan Williams
Abstract:
In this article, we introduce and investigate a class of finite deterministic automata that all recognize the language of reduced words of a finitely generated Coxeter system (W,S). The definition of these automata is straightforward as it only requires the notion of weak order on (W,S) and the related notion of Garside shadows in (W,S), an analog of the notion of a Garside family. Then we discuss…
▽ More
In this article, we introduce and investigate a class of finite deterministic automata that all recognize the language of reduced words of a finitely generated Coxeter system (W,S). The definition of these automata is straightforward as it only requires the notion of weak order on (W,S) and the related notion of Garside shadows in (W,S), an analog of the notion of a Garside family. Then we discuss the relations between this class of automata and the canonical automaton built from Brink and Howlett's small roots. We end this article by providing partial positive answers to two conjectures: (1) the automata associated to the smallest Garside shadow is minimal; (2) the canonical automaton is minimal if and only if the support of all small roots is spherical, i.e., the corresponding root system is finite.
△ Less
Submitted 15 April, 2016; v1 submitted 6 October, 2015;
originally announced October 2015.
-
Strange Expectations
Authors:
Marko Thiel,
Nathan Williams
Abstract:
Let gcd(a,b)=1. J. Olsson and D. Stanton proved that the maximum number of boxes in a simultaneous (a,b)-core is (a^2-1)(b^2-1)/24, and that this maximum was achieved by a unique core. P. Johnson combined Ehrhart theory with the polynomial method to prove D. Armstrong's conjecture that the expected number of boxes in a simultaneous (a,b)-core is (a-1)(b-1)(a+b+1)/24. We extend P. Johnson's method…
▽ More
Let gcd(a,b)=1. J. Olsson and D. Stanton proved that the maximum number of boxes in a simultaneous (a,b)-core is (a^2-1)(b^2-1)/24, and that this maximum was achieved by a unique core. P. Johnson combined Ehrhart theory with the polynomial method to prove D. Armstrong's conjecture that the expected number of boxes in a simultaneous (a,b)-core is (a-1)(b-1)(a+b+1)/24. We extend P. Johnson's method to compute the variance to be ab(a-1)(b-1)(a+b)(a+b+1)/1440. By extending the definitions of "simultaneous cores" and "number of boxes" to affine Weyl groups, we give uniform generalizations of all three formulae above to simply-laced affine types. We further explain the appearance of the number 24 using the "strange formula" of H. Freudenthal and H. de Vries.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
Braid moves in commutation classes of the symmetric group
Authors:
Anne Schilling,
Nicolas M. Thiéry,
Graham White,
Nathan Williams
Abstract:
We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The pro…
▽ More
We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The proof is bijective and uses X. Viennot's theory of heaps and variants of the promotion operator. In addition, we provide a refinement of this result on orbits under the action of even and odd promotion operators. This gives an example of a homomesy for a nonabelian (dihedral) group that is not induced by an abelian subgroup. Our techniques extend to more general posets and to other statistics.
△ Less
Submitted 1 November, 2016; v1 submitted 2 July, 2015;
originally announced July 2015.
-
Cataland: Why the Fuss?
Authors:
Christian Stump,
Hugh Thomas,
Nathan Williams
Abstract:
The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin m…
▽ More
The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras.
△ Less
Submitted 25 October, 2018; v1 submitted 2 March, 2015;
originally announced March 2015.
-
Noncrossing partitions and Bruhat order
Authors:
Thomas Gobet,
Nathan Williams
Abstract:
We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijecti…
▽ More
We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijection to other Coxeter elements using certain canonical factorizations. In particular, we give new bijections---fixing the set of reflections---between noncrossing partitions associated to distinct Coxeter elements.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
W-Associahedra are In-Your-Face
Authors:
Nathan Williams
Abstract:
We use a projection argument to uniformly prove that $W$-permutahedra and $W$-associahedra have the property that if $v,v'$ are two vertices on the same face $f$, then any geodesic between $v$ and $v'$ does not leave $f$. In type $A$, we show that our geometric projection recovers a slight modification of the combinatorial projection given by D. Sleator, R. Tarjan, and W. Thurston.
We use a projection argument to uniformly prove that $W$-permutahedra and $W$-associahedra have the property that if $v,v'$ are two vertices on the same face $f$, then any geodesic between $v$ and $v'$ does not leave $f$. In type $A$, we show that our geometric projection recovers a slight modification of the combinatorial projection given by D. Sleator, R. Tarjan, and W. Thurston.
△ Less
Submitted 19 February, 2015; v1 submitted 4 February, 2015;
originally announced February 2015.
