-
Flexible Stellarator Physics Facility
Authors:
F. I. Parra,
S. -G. Baek,
M. Churchill,
D. R. Demers,
B. Dudson,
N. M. Ferraro,
B. Geiger,
S. Gerhardt,
K. C. Hammond,
S. Hudson,
R. Jorge,
E. Kolemen,
D. M. Kriete,
S. T. A. Kumar,
M. Landreman,
C. Lowe,
D. A. Maurer,
F. Nespoli,
N. Pablant,
M. J. Pueschel,
A. Punjabi,
J. A. Schwartz,
C. P. S. Swanson,
A. M. Wright
Abstract:
We propose to build a Flexible Stellarator Physics Facility to explore promising regions of the vast parameter space of disruption-free stellarator solutions for Fusion Pilot Plants (FPPs).
We propose to build a Flexible Stellarator Physics Facility to explore promising regions of the vast parameter space of disruption-free stellarator solutions for Fusion Pilot Plants (FPPs).
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Web bases in degree two from hourglass plabic graphs
Authors:
Christian Gaetz,
Oliver Pechenik,
Stephan Pfannerer,
Jessica Striker,
Joshua P. Swanson
Abstract:
Webs give a diagrammatic calculus for spaces of $U_q(\mathfrak{sl}_r)$-tensor invariants, but intrinsic characterizations of web bases are only known in certain cases. Recently, we introduced hourglass plabic graphs to give the first such $U_q(\mathfrak{sl}_4)$-web bases. Separately, Fraser introduced a web basis for Plücker degree two representations of arbitrary $U_q(\mathfrak{sl}_r)$. Here, we…
▽ More
Webs give a diagrammatic calculus for spaces of $U_q(\mathfrak{sl}_r)$-tensor invariants, but intrinsic characterizations of web bases are only known in certain cases. Recently, we introduced hourglass plabic graphs to give the first such $U_q(\mathfrak{sl}_4)$-web bases. Separately, Fraser introduced a web basis for Plücker degree two representations of arbitrary $U_q(\mathfrak{sl}_r)$. Here, we show that Fraser's basis agrees with that predicted by the hourglass plabic graph framework and give an intrinsic characterization of the resulting webs. A further compelling feature with many applications is that our bases exhibit rotation-invariance. Together with the results of our earlier paper, this implies that hourglass plabic graphs give a uniform description of all known rotation-invariant $U_q(\mathfrak{sl}_r)$-web bases. Moreover, this provides a single combinatorial model simultaneously generalizing the Tamari lattice, the alternating sign matrix lattice, and the lattice of plane partitions. As a part of our argument, we develop properties of square faces in arbitrary hourglass plabic graphs, a key step in our program towards general $U_q(\mathfrak{sl}_r)$-web bases.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Promotion permutations for tableaux
Authors:
Christian Gaetz,
Oliver Pechenik,
Stephan Pfannerer,
Jessica Striker,
Joshua P. Swanson
Abstract:
In our companion paper, we develop a new $SL_4$-web basis. Basis elements are given by certain planar graphs and are constructed so that important algebraic operations can be performed diagrammatically. A guiding principle behind our construction is that the long cycle $(12\ldots n) \in \mathfrak{S}_n$ should act by rotation of webs. Moreover, the bijection between webs and tableaux should intertw…
▽ More
In our companion paper, we develop a new $SL_4$-web basis. Basis elements are given by certain planar graphs and are constructed so that important algebraic operations can be performed diagrammatically. A guiding principle behind our construction is that the long cycle $(12\ldots n) \in \mathfrak{S}_n$ should act by rotation of webs. Moreover, the bijection between webs and tableaux should intertwine rotation with the promotion action on tableaux.
In this paper, we develop necessary notions of promotion permutations and promotion matrices, which are new even for standard tableaux. To support inductive arguments in the companion paper, we must however work in the more general setting of fluctuating tableaux, which we introduce and which subsumes many classes of tableaux that have been previously studied, including (generalized) oscillating, vacillating, rational, alternating, and (semi)standard tableaux. Therefore, we also give here a full development of the basic combinatorics and representation theory of fluctuating tableaux.
△ Less
Submitted 17 June, 2024; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Rotation-invariant web bases from hourglass plabic graphs
Authors:
Christian Gaetz,
Oliver Pechenik,
Stephan Pfannerer,
Jessica Striker,
Joshua P. Swanson
Abstract:
Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We gi…
▽ More
Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We give growth rules, based on a novel crystal-theoretic technique, for generating our basis webs from tableaux and we use skein relations to give an algorithm for expressing arbitrary webs in the basis. We also discuss how previously known rotation-invariant web bases can be unified in our framework of hourglass plabic graphs.
△ Less
Submitted 17 June, 2024; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Cyclotomic generating functions
Authors:
Sara C. Billey,
Joshua P. Swanson
Abstract:
It is a remarkable fact that for many statistics on finite sets of combinatorial objects, the roots of the corresponding generating function are each either a complex root of unity or zero. We call such polynomials \textbf{cyclotomic generating functions} (CGF's). Previous work studied the support and asymptotic distribution of the coefficients of several families of CGF's arising from tableau and…
▽ More
It is a remarkable fact that for many statistics on finite sets of combinatorial objects, the roots of the corresponding generating function are each either a complex root of unity or zero. We call such polynomials \textbf{cyclotomic generating functions} (CGF's). Previous work studied the support and asymptotic distribution of the coefficients of several families of CGF's arising from tableau and forest combinatorics. In this paper, we continue these explorations by studying general CGF's from algebraic, analytic, and asymptotic perspectives. We review some of the many known examples of CGF's; describe their coefficients, moments, cumulants, and characteristic functions; and give a variety of necessary and sufficient conditions for their existence arising from probability, commutative algebra, and invariant theory. We further show that CGF's are ``generically'' asymptotically normal, generalizing a result of Diaconis. We include several open problems concerning CGF's.
△ Less
Submitted 3 January, 2024; v1 submitted 12 May, 2023;
originally announced May 2023.
-
GTC/CanariCam Mid-IR Polarimetry of Magnetic Fields in Star-Forming Region W51 IRS2
Authors:
Charles M. Telesco,
Han Zhang,
Frank Varosi,
Pae Swanson,
Sergio Jose Fernandez Acosta,
Christopher M. Wright,
Christopher Packham
Abstract:
We present 0.4 arcsec-resolution imaging polarimetry at 8.7, 10.3, and 12.5 microns, obtained with CanariCam at the Gran Telescopio Canarias, of the central region of W51 IRS2. The polarization, as high as 14 percent, arises from silicate particles aligned by the interstellar magnetic field. We separate, or unfold, the polarization of each sightline into emission and absorption components, from wh…
▽ More
We present 0.4 arcsec-resolution imaging polarimetry at 8.7, 10.3, and 12.5 microns, obtained with CanariCam at the Gran Telescopio Canarias, of the central region of W51 IRS2. The polarization, as high as 14 percent, arises from silicate particles aligned by the interstellar magnetic field. We separate, or unfold, the polarization of each sightline into emission and absorption components, from which we infer the morphologies of the corresponding projected magnetic fields that thread the emitting and foreground-absorbing regions. We conclude that the projected magnetic field in the foreground material is part of the larger-scale ambient field. The morphology of the projected magnetic field in the mid-IR emitting region spanning the cometary HII region W51 IRS2W is similar to that in the absorbing region. Elsewhere, the two magnetic fields differ significantly with no clear relationship between them. The magnetic field across the W51 IRS2W cometary core appears to be an integral part of a champagne outflow of gas originating in the core and dominating the energetics there. The bipolar outflow, W51north jet, that appears to originate at or near SMA1/N1 coincides almost exactly with a clearly demarcated north-south swath of lower polarization. While speculative, comparison of mid-IR and submm polarimetry on two different scales may support a picture in which SMA1/N1 plays a major role in the magnetic field structure across W51 IRS2.
△ Less
Submitted 28 January, 2023;
originally announced January 2023.
-
Validation and results of an approximate model for the stress of a Tokamak toroidal field coil at the inboard midplane
Authors:
C. P. S. Swanson,
S. Kahn,
C. Rana,
P. H. Titus,
A. W. Brooks,
W. Guttenfelder,
Y. Zhai,
T. G. Brown,
J. E. Menard
Abstract:
We present the verification, validation, and results of an approximate, analytic model for the radial profile of the stress, strain, and displacement within the toroidal field (TF) coil of a Tokamak at the inner midplane, where stress management is of the most concern. The model is designed to have high execution speed yet capture the essential physics, suitable for sco** studies, rapid evaluati…
▽ More
We present the verification, validation, and results of an approximate, analytic model for the radial profile of the stress, strain, and displacement within the toroidal field (TF) coil of a Tokamak at the inner midplane, where stress management is of the most concern. The model is designed to have high execution speed yet capture the essential physics, suitable for sco** studies, rapid evaluation of designs, and in the inner loop of an optimizer. It is implemented in the PROCESS fusion reactor systems code. The model solves a many-layer axisymmetric extended plane strain problem. It includes linear elastic deformation, Poisson effects, transverse-isotropic materials properties, radial Lorentz force profiles, and axial tension applied to layer subsets. The model does not include out-of-plane forces from poloidal field coils. We benchmark the model against 2D and 3D Finite Element Analyses (FEA) using Ansys and COMSOL. We find the Tresca stress accuracy of the model to be within 10\% of the FEA result. We show that this model allows PROCESS to optimize a fusion pilot plant, subject to the TF coil winding pack and coil case yield constraints. This model sets an upper limit on the magnetic field strength at the coil surface of $29$ Tesla for steel TF coil cases, with the practical limit being significantly below this.
△ Less
Submitted 21 September, 2022; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Plane strain optimization of conductor and structure grading in the inner leg of a Tokamak toroidal field coil
Authors:
Charles PS Swanson
Abstract:
I present the results of the analytic plane strain optimization of the structure and conductor grading in the inner leg of a Tokamak toroidal field coil. The coil is assumed to be made of regions of soft conductor inside a stiff grid of conduit. Calculus of variations is used to determine the optimal profile of this structure. The optimal solution is found to be two-layered. An outer layer is buck…
▽ More
I present the results of the analytic plane strain optimization of the structure and conductor grading in the inner leg of a Tokamak toroidal field coil. The coil is assumed to be made of regions of soft conductor inside a stiff grid of conduit. Calculus of variations is used to determine the optimal profile of this structure. The optimal solution is found to be two-layered. An outer layer is bucked only, not wedged, and the structure fraction is graded so that all structure is at a uniform stress. An inner layer is an advanced bucking cylinder, similar to a Florida Bitter plate, whose radial stiffness is tuned so that its azimuthal stress is uniform. Such an advanced bucking cylinder would require advanced manufacturing to fabricate. These results should be seen an upper limits rather than achievable performance. Concepts that arise from this optimization, such as selectively softening layers of the bucking cylinder by drilling or cutting, may be of use to real designs in a less-optimized form.
△ Less
Submitted 10 October, 2022; v1 submitted 9 June, 2022;
originally announced June 2022.
-
q-Stirling numbers in type B
Authors:
Bruce E. Sagan,
Joshua P. Swanson
Abstract:
Stirling numbers, which count partitions of a set and permutations in the symmetric group, have found extensive application in combinatorics, geometry, and algebra. We study analogues and q-analogues of these numbers corresponding to the Coxeter group of type B. In particular, we show how they are related to complete homogeneous and elementary symmetric polynomials; demonstrate how they q-count si…
▽ More
Stirling numbers, which count partitions of a set and permutations in the symmetric group, have found extensive application in combinatorics, geometry, and algebra. We study analogues and q-analogues of these numbers corresponding to the Coxeter group of type B. In particular, we show how they are related to complete homogeneous and elementary symmetric polynomials; demonstrate how they q-count signed partitions and permutations; compute their ordinary, exponential, and q-exponential generating functions; and prove various identities about them. Ordered analogues of the q-Stirling numbers of the second kind have recently appeared in conjectures of Zabrocki and of Swanson--Wallach concerning the Hilbert series of certain super coinvariant algebras. We provide conjectural bases for these algebras and show that they have the correct Hilbert series.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Electron heating in 2-D: combining Fermi-Ulam acceleration and magnetic-moment non-adiabaticity in a mirror-configuration plasma
Authors:
C. P. S. Swanson,
S. A. Cohen,
C. A. Galea
Abstract:
We analyze a new mechanism for the creation and confinement of energetic electrons in a mirror-configuration plasma. A Fermi-Ulam-type process, driven by end-localized coherent electrostatic oscillations, provides axial acceleration while a natural non-adiabaticity of μ provides phase decorrelation and energy isotropization. This novel 2-D combination causes the electron energy distribution functi…
▽ More
We analyze a new mechanism for the creation and confinement of energetic electrons in a mirror-configuration plasma. A Fermi-Ulam-type process, driven by end-localized coherent electrostatic oscillations, provides axial acceleration while a natural non-adiabaticity of μ provides phase decorrelation and energy isotropization. This novel 2-D combination causes the electron energy distribution function, calculated with a diffusive-loss model, to assume a Maxwellian shape with the μ non-adiabaticity reducing loss-cone escape and annulling the absolute-barrier energy-limiting Chirikov criterion of lower dimensional models. The theoretical predictions are compared with data from an experiment.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Curious cyclic sieving on increasing tableaux
Authors:
Christian Gaetz,
Oliver Pechenik,
Jessica Striker,
Joshua P. Swanson
Abstract:
We prove a cyclic sieving result for the set of $3 \times k$ packed increasing tableaux with maximum entry $m :=3+k$ under K-promotion. The "curiosity" is that the sieving polynomial arises from the $q$-hook formula for standard tableaux of "toothbrush shape" $(2^3, 1^{k-2})$ with $m+1$ boxes, whereas K-promotion here only has order $m$.
We prove a cyclic sieving result for the set of $3 \times k$ packed increasing tableaux with maximum entry $m :=3+k$ under K-promotion. The "curiosity" is that the sieving polynomial arises from the $q$-hook formula for standard tableaux of "toothbrush shape" $(2^3, 1^{k-2})$ with $m+1$ boxes, whereas K-promotion here only has order $m$.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Tanisaki witness relations for harmonic differential forms
Authors:
Joshua P. Swanson
Abstract:
Inspired by a series of conjectures related to higher coinvariant algebras, we present two families of relations involving harmonic differential forms of the symmetric group. Our relations, together with a novel bijection, are sufficient to give a filtration of the $1$-forms suggested by work of Haglund--Rhoades--Shimozono with composition factors given by Tanisaki quotients. These are "almost all…
▽ More
Inspired by a series of conjectures related to higher coinvariant algebras, we present two families of relations involving harmonic differential forms of the symmetric group. Our relations, together with a novel bijection, are sufficient to give a filtration of the $1$-forms suggested by work of Haglund--Rhoades--Shimozono with composition factors given by Tanisaki quotients. These are "almost all" of the necessary relations in a certain asymptotic sense we make precise.
△ Less
Submitted 23 August, 2023; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Harmonic differential forms for pseudo-reflection groups II. Bi-degree bounds
Authors:
Joshua P. Swanson,
Nolan R. Wallach
Abstract:
This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we prove for all Shephard--Todd groups $G(m, p, n)$ with $m \neq p$ or $m=1$. Our strongest result gives tight bi-degree bounds and is proven for all $G(m, 1, n)$, wh…
▽ More
This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we prove for all Shephard--Todd groups $G(m, p, n)$ with $m \neq p$ or $m=1$. Our strongest result gives tight bi-degree bounds and is proven for all $G(m, 1, n)$, which includes the Weyl groups of types $A$ and $B$/$C$. For symmetric groups (i.e. type $A$), this provides new evidence for a recent conjecture of Zabrocki related to the Delta Conjecture of Haglund--Remmel--Wilson. Finally, we examine analogues of a classic theorem of Steinberg and the Operator Theorem of Haiman.
Our arguments build on the type-independent classification of semi-invariant harmonic differential forms carried out in the first part of this series. In this paper we use concrete constructions including Gröbner and Artin bases for the classical coinvariant algebras of the pseudo-reflection groups $G(m, p, n)$, which we describe in detail. We also prove that exterior differentiation is exact on the super-coinvariant algebra of a general pseudo-reflection group. Finally, we discuss related conjectures and enumerative consequences.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
The effect of rigid electron rotation on the Grad-Shafranov equilibria of a class of FRC devices
Authors:
C. P. S. Swanson,
S. A. Cohen
Abstract:
Rigid electron rotation of a fully penetrated Rotamak-FRC produces a pressure flux function that is more peaked than the Solov'ev flux function. This paper explores the implications of this peaked pressure flux function, including the isothermal case, which appear when the temperature profile is broader than the density profile, creating both benefits and challenges to a Rotamak-FRC based fusion r…
▽ More
Rigid electron rotation of a fully penetrated Rotamak-FRC produces a pressure flux function that is more peaked than the Solov'ev flux function. This paper explores the implications of this peaked pressure flux function, including the isothermal case, which appear when the temperature profile is broader than the density profile, creating both benefits and challenges to a Rotamak-FRC based fusion reactor. In this regime, the density distribution becomes very peaked, enhancing the fusion power. The separatrix has a tendency to become oblate, which can be mitigated by flux conserving current loops. Plasma extends outside the separatrix, notably in the open field line region. This model does not apply to very kinetic FRCs or FRCs in which there are significant ion flows, but it may have some applicability to their outer layers.
△ Less
Submitted 19 March, 2021;
originally announced March 2021.
-
The metric space of limit laws for $q$-hook formulas
Authors:
Sara C. Billey,
Joshua P. Swanson
Abstract:
In earlier work, Billey--Konvalinka--Swanson studied the asymptotic distribution of the coefficients of Stanley's $q$-hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's $q$-hook-content formula related to semistandard tableaux and $q$-hook length formulas of Björner--Wachs related to linea…
▽ More
In earlier work, Billey--Konvalinka--Swanson studied the asymptotic distribution of the coefficients of Stanley's $q$-hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's $q$-hook-content formula related to semistandard tableaux and $q$-hook length formulas of Björner--Wachs related to linear extensions of labeled forests. We show that, while their coefficients are ``generically'' asymptotically normal, there are uncountably many non-normal limit laws. More precisely, we introduce and completely describe the compact closure of the metric space of distributions of these statistics in several regimes. The additional limit distributions involve generalized uniform sum distributions which are topologically parameterized by certain decreasing sequence spaces with bounded $2$-norm. The closure of these distributions in the Lévy metric gives rise to the space of DUSTPAN distributions. As an application, we completely classify the limiting distributions of the size statistic on plane partitions fitting in a box.
△ Less
Submitted 23 August, 2023; v1 submitted 23 October, 2020;
originally announced October 2020.
-
On the distribution of the major index on standard Young tableaux
Authors:
Sara C. Billey,
Matjaž Konvalinka,
Joshua P. Swanson
Abstract:
The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study tw…
▽ More
The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
Harmonic differential forms for pseudo-reflection groups I. Semi-invariants
Authors:
Joshua P. Swanson,
Nolan R. Wallach
Abstract:
We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to…
▽ More
We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to a recent conjecture of Zabrocki which provides a representation theoretic-model for the Delta conjecture of Haglund--Remmel--Wilson in terms of a certain non-commutative coinvariant algebra for the symmetric group. In particular, we verify the alternating component of a specialization of Zabrocki's conjecture.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
Existence and hardness of conveyor belts
Authors:
Molly Baird,
Sara C. Billey,
Erik D. Demaine,
Martin L. Demaine,
David Eppstein,
Sándor Fekete,
Graham Gordon,
Sean Griffin,
Joseph S. B. Mitchell,
Joshua P. Swanson
Abstract:
An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ b…
▽ More
An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ by at least two units, a conveyor belt always exists and can be found efficiently. Second, it is NP-complete to determine whether disks of varying radii have a conveyor belt, and it remains NP-complete when we constrain the belt to touch disks exactly once. Third, any disjoint set of $n$ disks of arbitrary radii can be augmented by $O(n)$ "guide" disks so that the augmented system has a conveyor belt touching each disk exactly once, answering a conjecture of Demaine, Demaine, and Palop.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Alternating super-polynomials and super-coinvariants of finite reflection groups
Authors:
Joshua P Swanson
Abstract:
Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynom…
▽ More
Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes Λ(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes Λ(V^*)$. Using our construction, we explicitly describe the alternating harmonics and coinvariants for all real reflection groups.
△ Less
Submitted 27 July, 2020; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Asymptotic normality of the major index on standard tableaux
Authors:
Sara C. Billey,
Matjaž Konvalinka,
Joshua P. Swanson
Abstract:
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very prec…
▽ More
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
On a theorem of Baxter and Zeilberger via a result of Roselle
Authors:
Joshua P. Swanson
Abstract:
We provide a new proof of a result of Baxter and Zeilberger showing that inv and maj on permutations are jointly independently asymptotically normally distributed. The main feature of our argument is that it uses a generating function due to Roselle, answering a question raised by Romik and Zeilberger.
We provide a new proof of a result of Baxter and Zeilberger showing that inv and maj on permutations are jointly independently asymptotically normally distributed. The main feature of our argument is that it uses a generating function due to Roselle, answering a question raised by Romik and Zeilberger.
△ Less
Submitted 18 February, 2019;
originally announced February 2019.
-
Tableau posets and the fake degrees of coinvariant algebras
Authors:
Sara C. Billey,
Matjaž Konvalinka,
Joshua P. Swanson
Abstract:
We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and ce…
▽ More
We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous components of the corresponding coinvariant algebra, strengthening a recent result of the third author for the modular major index. Our approach is to identify patterns in standard tableaux that allow one to mutate descent sets in a controlled manner. By work of Lusztig and Stembridge, the arguments extend to a classification of all nonzero fake degrees of coinvariant algebras for finite complex reflection groups in the infinite family of Shephard--Todd groups.
△ Less
Submitted 16 May, 2020; v1 submitted 13 September, 2018;
originally announced September 2018.
-
Cyclic sieving, necklaces, and branching rules related to Thrall's problem
Authors:
Connor Ahlbach,
Joshua P. Swanson
Abstract:
We show that the cyclic sieving phenomenon of Reiner--Stanton--White together with necklace generating functions arising from work of Klyachko offer a remarkably unified, direct, and largely bijective approach to a series of results due to Kraskiewicz--Weyman, Stembridge, and Schocker related to the so-called higher Lie modules and branching rules for inclusions…
▽ More
We show that the cyclic sieving phenomenon of Reiner--Stanton--White together with necklace generating functions arising from work of Klyachko offer a remarkably unified, direct, and largely bijective approach to a series of results due to Kraskiewicz--Weyman, Stembridge, and Schocker related to the so-called higher Lie modules and branching rules for inclusions $ C_a \wr S_b \hookrightarrow S_{ab} $. Extending the approach gives monomial expansions for certain graded Frobenius series arising from a generalization of Thrall's problem.
△ Less
Submitted 18 August, 2018;
originally announced August 2018.
-
On the Existence of Tableaux with Given Modular Major Index
Authors:
Joshua P. Swanson
Abstract:
We provide simple necessary and sufficient conditions for the existence of a standard Young tableau of a given shape and major index $r$ mod $n$, for all $r$. Our result generalizes the $r=1$ case due essentially to (1974) and proves a recent conjecture due to Sundaram (2016) for the $r=0$ case. A byproduct of the proof is an asymptotic equidistribution result for "almost all" shapes. The proof us…
▽ More
We provide simple necessary and sufficient conditions for the existence of a standard Young tableau of a given shape and major index $r$ mod $n$, for all $r$. Our result generalizes the $r=1$ case due essentially to (1974) and proves a recent conjecture due to Sundaram (2016) for the $r=0$ case. A byproduct of the proof is an asymptotic equidistribution result for "almost all" shapes. The proof uses a representation-theoretic formula involving Ramanujan sums and normalized symmetric group character estimates. Further estimates involving "opposite" hook lengths are given which are well-adapted to classifying which partitions $λ\vdash n$ have $f^λ\leq n^d$ for fixed $d$. We also give a new proof of a generalization of the hook length formula due to Fomin-Lulov (1995) for symmetric group characters at rectangles. We conclude with some remarks on unimodality of symmetric group characters.
△ Less
Submitted 20 September, 2017; v1 submitted 18 January, 2017;
originally announced January 2017.