-
On the Boson-Fermion Correspondence for Factorial Schur Functions
Authors:
Daniel Bump,
Andrew Hardt,
Travis Scrimshaw
Abstract:
We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we reali…
▽ More
We give an algebraic (non-analytic) proof of the deformed boson-fermion Fock space construction of Molev's double supersymmetric Schur functions, among other results, from our previous paper. In other words, we make no assumptions on the variables and parameters. By specializing to a finite number of variables and shifting parameters, we recover the factorial Schur functions. Furthermore, we realize the bosonic construction through a representation of a completion of the infinite rank general linear Lie algebra.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
Stability of products of double Grothendieck polynomials
Authors:
Andrew Hardt,
David Wallach
Abstract:
We prove that products of double Grothendieck polynomials have the same back- and forward-stability numbers as products of Schubert polynomials, characterize which simple reflections appear in such products, and also give a new proof of a finiteness conjecture of Lam-Lee-Shimozono on products of back-stable Grothendieck polynomials which was first proved by Anderson. To do this, we use the main th…
▽ More
We prove that products of double Grothendieck polynomials have the same back- and forward-stability numbers as products of Schubert polynomials, characterize which simple reflections appear in such products, and also give a new proof of a finiteness conjecture of Lam-Lee-Shimozono on products of back-stable Grothendieck polynomials which was first proved by Anderson. To do this, we use the main theorems from our recent work, as well as expansion formulas of Lenart, Fomin-Kirillov, and Lam-Lee-Shimozono.
△ Less
Submitted 27 March, 2025; v1 submitted 24 January, 2025;
originally announced January 2025.
-
When do Schubert polynomial products stabilize?
Authors:
Andrew Hardt,
David Wallach
Abstract:
The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a conjecture of N. Li in a strengthened form. This leads to an additional result: a formula for the smallest $n$ such that a given Schubert product expands complete…
▽ More
The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a conjecture of N. Li in a strengthened form. This leads to an additional result: a formula for the smallest $n$ such that a given Schubert product expands completely over $S_n$.
Our method is to explore back-stable fundamental slide polynomials and their products combinatorially, in the context of their associated words. We use three main tools: (i) an algebra consisting of "colored words", with a modified shuffle product, and which contains the rings of back (quasi)symmetric functions as subquotients; (ii) the combinatorics of increasing suffixes of reduced words; and (iii) the lift of differential operators to the space of colored words.
△ Less
Submitted 24 January, 2025; v1 submitted 9 December, 2024;
originally announced December 2024.
-
Factorial Fock free fermions
Authors:
Daniel Bump,
Andrew Hardt,
Travis Scrimshaw
Abstract:
We use a double shifted power analog of free fermion fields to introduce current operators, Hamiltonians, and vertex operators which are deformed by two families of parameters and satisfy analogous formulas to the classical case. We show that the deformed half vertex operators correspond to the row transfer matrices of a solvable six vertex model recently given by Naprienko [arXiv:2301.12110], whi…
▽ More
We use a double shifted power analog of free fermion fields to introduce current operators, Hamiltonians, and vertex operators which are deformed by two families of parameters and satisfy analogous formulas to the classical case. We show that the deformed half vertex operators correspond to the row transfer matrices of a solvable six vertex model recently given by Naprienko [arXiv:2301.12110], which under a specialization yields the factorial Schur functions (up to a reindexing of parameters). As a consequence, we show that under the boson-fermion correspondence using our deformed half vertex operators, the natural basis (under this specialization) maps to the double factorial Schur functions. Furthermore, the image of the natural basis vectors are tau function solutions to the 2D Toda lattice.
△ Less
Submitted 18 February, 2025; v1 submitted 9 October, 2024;
originally announced October 2024.
-
Solving the n-color ice model
Authors:
Patrick Addona,
Ethan Bockenhauer,
Ben Brubaker,
Michael Cauthorn,
Cianan Conefrey-Shinozaki,
David Donze,
William Dudarov,
Jessamyn Dukes,
Andrew Hardt,
Cindy Li,
Jigang Li,
Yanli Liu,
Neelima Puthanveetil,
Zain Qudsi,
Jordan Simons,
Joseph Sullivan,
Autumn Young
Abstract:
Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named becaus…
▽ More
Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting.
△ Less
Submitted 29 May, 2024; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Lattice Models, Hamiltonian Operators, and Symmetric Functions
Authors:
Andrew Hardt
Abstract:
We give general conditions for the existence of a Hamiltonian operator whose discrete time evolution matches the partition function of certain solvable lattice models. In particular, we examine two classes of lattice models: the classical six-vertex model and a generalized family of $(2n+4)$-vertex models for each positive integer $n$. These models depend on a statistic called charge, and are asso…
▽ More
We give general conditions for the existence of a Hamiltonian operator whose discrete time evolution matches the partition function of certain solvable lattice models. In particular, we examine two classes of lattice models: the classical six-vertex model and a generalized family of $(2n+4)$-vertex models for each positive integer $n$. These models depend on a statistic called charge, and are associated to the quantum group $U_q(\widehat{\mathfrak{gl}}(1|n))$. Our results show a close and unexpected connection between Hamiltonian operators and the Yang-Baxter equation.
The six-vertex model can be associated with Hamiltonians from classical Fock space, and we show that such a correspondence exists precisely when the Boltzmann weights are free fermionic. This allows us to prove that the free fermionic partition function is always a (skew) supersymmetric Schur function and then use the Berele-Regev formula to correct a result from of Brubaker, Bump, and Friedberg on the free fermionic domain-wall partition function. In this context, the supersymmetric function involution takes us between two lattice models that generalize the vicious walker and osculating walker models.
Then, we prove a sharp solvability criterion for the six-vertex model with charge that provides the proper analogue of the free fermion condition. Building on results by Brubaker, Buciumas, Bump, and Gustafsson, we show that this criterion exactly dictates when a charged model has a Hamiltonian operator acting on a Drinfeld twist of $q$-Fock space. The resulting partition function is then a (skew) supersymmetric LLT polynomial, and almost all supersymmetric LLT polynomials appear as partition functions of our lattice models. We also prove a Cauchy identity for skew supersymmetric LLT polynomials. (see 2024 author's note below)
△ Less
Submitted 28 May, 2024; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Frozen Pipes: Lattice Models for Grothendieck Polynomials
Authors:
Ben Brubaker,
Claire Frechette,
Andrew Hardt,
Emily Tibor,
Katherine Weber
Abstract:
We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partiti…
▽ More
We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(\widehat{\mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $β$-Grothendieck polynomials and dual double $β$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $β$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $β$-Grothendieck polynomials, and prove a new branching rule for double $β$-Grothendieck polynomials.
△ Less
Submitted 10 September, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Arborescences of Covering Graphs
Authors:
Sunita Chepuri,
CJ Dowd,
Andy Hardt,
Gregory Michel,
Sylvester W. Zhang,
Valerie Zhang
Abstract:
An arborescence of a directed graph $Γ$ is a spanning tree directed toward a particular vertex $v$. The arborescences of a graph rooted at a particular vertex may be encoded as a polynomial $A_v(Γ)$ representing the sum of the weights of all such arborescences. The arborescences of a graph and the arborescences of a covering graph $\tildeΓ$ are closely related. Using voltage graphs as means to con…
▽ More
An arborescence of a directed graph $Γ$ is a spanning tree directed toward a particular vertex $v$. The arborescences of a graph rooted at a particular vertex may be encoded as a polynomial $A_v(Γ)$ representing the sum of the weights of all such arborescences. The arborescences of a graph and the arborescences of a covering graph $\tildeΓ$ are closely related. Using voltage graphs as means to construct arbitrary regular covers, we derive a novel explicit formula for the ratio of $A_v(Γ)$ to the sum of arborescences in the lift $A_{\tilde{v}}(\tildeΓ)$ in terms of the determinant of Chaiken's voltage Laplacian matrix, a generalization of the Laplacian matrix. Chaiken's results on the relationship between the voltage Laplacian and vector fields on $Γ$ are reviewed, and we provide a new proof of Chaiken's results via a deletion-contraction argument.
△ Less
Submitted 23 August, 2021; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Characters of Renner Monoids and Their Hecke Algebras
Authors:
Andy Hardt,
Jared Marx-Kuo,
Vaughan McDonald,
John M. O'Brien,
Alexander Vetter
Abstract:
This paper gives a general algorithm for computing the character table of any Renner monoid Hecke algebra, by adapting and generalizing techniques of Solomon used to study the rook monoid. The character table of the Hecke algebra of the rook monoid (i.e., the Cartan type $A$ Renner monoid) was computed earlier by Dieng, Halverson, and Poladian using different methods. Our approach uses analogues o…
▽ More
This paper gives a general algorithm for computing the character table of any Renner monoid Hecke algebra, by adapting and generalizing techniques of Solomon used to study the rook monoid. The character table of the Hecke algebra of the rook monoid (i.e., the Cartan type $A$ Renner monoid) was computed earlier by Dieng, Halverson, and Poladian using different methods. Our approach uses analogues of so-called A- and B-matrices of Solomon. In addition to the algorithm, we give explicit combinatorial formulas for the A- and B-matrices in Cartan type $C$ and use them to obtain an explicit description of the character table for the type $C$ Renner monoid Hecke algebra.
△ Less
Submitted 7 July, 2020; v1 submitted 29 November, 2018;
originally announced November 2018.
-
An Adaptive CM Array Preconditioner for Blind Multi-User Separation
Authors:
Stanislaw Gorlow,
João Paulo C. L. da Costa,
and Martin Haardt
Abstract:
The family of constant-modulus algorithms is widely used in wireless communication systems and in radar. The classical constant-modulus adaptive (CMA) algorithm, however, fails to lock onto a single mode when used in conjunction with an antenna array. Instead, it equalizes the entire spatial spectrum. In this paper, we describe in full detail our recently proposed approach for the separation of mu…
▽ More
The family of constant-modulus algorithms is widely used in wireless communication systems and in radar. The classical constant-modulus adaptive (CMA) algorithm, however, fails to lock onto a single mode when used in conjunction with an antenna array. Instead, it equalizes the entire spatial spectrum. In this paper, we describe in full detail our recently proposed approach for the separation of multiple users in a radio system with frequency reuse, such as a cellular network, making use of the CMA algorithm. Based on the observation that the differential filter weights resemble a superposition of the array steering vectors, we cast the original task to a direction-of-arrival estimation problem. With rigorous theoretical analysis of the array response based on the discrete-space Fourier transform we elaborate a solution that solves the problem by finding the roots of a polynomial equation. We provide a numerical example to demonstrate the validity of the approach under high-SNR conditions. In addition, we propose a more general preprocessor for the CMA array which allows the modulated signals to differ in amplitude. As a byproduct, the preprocessor yields a low-cost estimate of the number of concurrent users, i.e. the model order, by simply counting the roots with the strongest response.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Combinatorial species and graph enumeration
Authors:
Andy Hardt,
Pete McNeely,
Tung Phan,
Justin M. Troyka
Abstract:
In enumerative combinatorics, it is often a goal to enumerate both labeled and unlabeled structures of a given type. The theory of combinatorial species is a novel toolset which provides a rigorous foundation for dealing with the distinction between labeled and unlabeled structures. The cycle index series of a species encodes the labeled and unlabeled enumerative data of that species. Moreover, by…
▽ More
In enumerative combinatorics, it is often a goal to enumerate both labeled and unlabeled structures of a given type. The theory of combinatorial species is a novel toolset which provides a rigorous foundation for dealing with the distinction between labeled and unlabeled structures. The cycle index series of a species encodes the labeled and unlabeled enumerative data of that species. Moreover, by using species operations, we are able to solve for the cycle index series of one species in terms of other, known cycle indices of other species. Section 3 is an exposition of species theory and Section 4 is an enumeration of point-determining bipartite graphs using this toolset. In Section 5, we extend a result about point-determining graphs to a similar result for point-determining Φ-graphs, where Φ is a class of graphs with certain properties. Finally, Appendix A is an expository on species computation using the software Sage [9] and Appendix B uses Sage to calculate the cycle index series of point-determining bipartite graphs.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
Search for gravitational waves associated with gamma-ray bursts during LIGO science run 6 and Virgo science runs 2 and 3
Authors:
The LIGO Scientific Collaboration,
Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
M. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
C. Affeldt,
M. Agathos,
K. Agatsuma,
P. Ajith,
B. Allen,
E. Amador Ceron,
D. Amariutei,
S. B. Anderson,
W. G. Anderson,
K. Arai,
M. A. Arain,
M. C. Araya,
S. M. Aston,
P. Astone
, et al. (785 additional authors not shown)
Abstract:
We present the results of a search for gravitational waves associated with 154 gamma-ray bursts (GRBs) that were detected by satellite-based gamma-ray experiments in 2009-2010, during the sixth LIGO science run and the second and third Virgo science runs. We perform two distinct searches: a modeled search for coalescences of either two neutron stars or a neutron star and black hole; and a search f…
▽ More
We present the results of a search for gravitational waves associated with 154 gamma-ray bursts (GRBs) that were detected by satellite-based gamma-ray experiments in 2009-2010, during the sixth LIGO science run and the second and third Virgo science runs. We perform two distinct searches: a modeled search for coalescences of either two neutron stars or a neutron star and black hole; and a search for generic, unmodeled gravitational-wave bursts. We find no evidence for gravitational-wave counterparts, either with any individual GRB in this sample or with the population as a whole. For all GRBs we place lower bounds on the distance to the progenitor, under the optimistic assumption of a gravitational-wave emission energy of 10^-2 M c^2 at 150 Hz, with a median limit of 17 Mpc. For short hard GRBs we place exclusion distances on binary neutron star and neutron star-black hole progenitors, using astrophysically motivated priors on the source parameters, with median values of 16 Mpc and 28 Mpc respectively. These distance limits, while significantly larger than for a search that is not aided by GRB satellite observations, are not large enough to expect a coincidence with a GRB. However, projecting these exclusions to the sensitivities of Advanced LIGO and Virgo, which should begin operation in 2015, we find that the detection of gravitational waves associated with GRBs will become quite possible.
△ Less
Submitted 24 September, 2012; v1 submitted 10 May, 2012;
originally announced May 2012.
-
The characterization of Virgo data and its impact on gravitational-wave searches
Authors:
J. Aasi,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
M. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
T. Adams,
P. Addesso,
R. Adhikari,
C. Affeldt,
M. Agathos,
K. Agatsuma,
P. Ajith,
B. Allen,
A. Allocca,
E. Amador Ceron,
D. Amariutei,
S. B. Anderson,
W. G. Anderson,
K. Arai,
M. C. Araya,
S. Ast
, et al. (778 additional authors not shown)
Abstract:
Between 2007 and 2010 Virgo collected data in coincidence with the LIGO and GEO gravitational-wave (GW) detectors. These data have been searched for GWs emitted by cataclysmic phenomena in the universe, by non-axisymmetric rotating neutron stars or from a stochastic background in the frequency band of the detectors. The sensitivity of GW searches is limited by noise produced by the detector or its…
▽ More
Between 2007 and 2010 Virgo collected data in coincidence with the LIGO and GEO gravitational-wave (GW) detectors. These data have been searched for GWs emitted by cataclysmic phenomena in the universe, by non-axisymmetric rotating neutron stars or from a stochastic background in the frequency band of the detectors. The sensitivity of GW searches is limited by noise produced by the detector or its environment. It is therefore crucial to characterize the various noise sources in a GW detector. This paper reviews the Virgo detector noise sources, noise propagation, and conversion mechanisms which were identified in the three first Virgo observing runs. In many cases, these investigations allowed us to mitigate noise sources in the detector, or to selectively flag noise events and discard them from the data. We present examples from the joint LIGO-GEO-Virgo GW searches to show how well noise transients and narrow spectral lines have been identified and excluded from the Virgo data. We also discuss how detector characterization can improve the astrophysical reach of gravitational-wave searches.
△ Less
Submitted 18 June, 2012; v1 submitted 26 March, 2012;
originally announced March 2012.
-
All-sky search for gravitational-wave bursts in the second joint LIGO-Virgo run
Authors:
the LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
M. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
C. Affeldt,
M. Agathos,
K. Agatsuma,
P. Ajith,
B. Allen,
E. Amador Ceron,
D. Amariutei,
S. B. Anderson,
W. G. Anderson,
K. Arai,
M. A. Arain,
M. C. Araya,
S. M. Aston,
P. Astone
, et al. (766 additional authors not shown)
Abstract:
We present results from a search for gravitational-wave bursts in the data collected by the LIGO and Virgo detectors between July 7, 2009 and October 20, 2010: data are analyzed when at least two of the three LIGO-Virgo detectors are in coincident operation, with a total observation time of 207 days. The analysis searches for transients of duration < 1 s over the frequency band 64-5000 Hz, without…
▽ More
We present results from a search for gravitational-wave bursts in the data collected by the LIGO and Virgo detectors between July 7, 2009 and October 20, 2010: data are analyzed when at least two of the three LIGO-Virgo detectors are in coincident operation, with a total observation time of 207 days. The analysis searches for transients of duration < 1 s over the frequency band 64-5000 Hz, without other assumptions on the signal waveform, polarization, direction or occurrence time. All identified events are consistent with the expected accidental background. We set frequentist upper limits on the rate of gravitational-wave bursts by combining this search with the previous LIGO-Virgo search on the data collected between November 2005 and October 2007. The upper limit on the rate of strong gravitational-wave bursts at the Earth is 1.3 events per year at 90% confidence. We also present upper limits on source rate density per year and Mpc^3 for sample populations of standard-candle sources. As in the previous joint run, typical sensitivities of the search in terms of the root-sum-squared strain amplitude for these waveforms lie in the range 5 10^-22 Hz^-1/2 to 1 10^-20 Hz^-1/2. The combination of the two joint runs entails the most sensitive all-sky search for generic gravitational-wave bursts and synthesizes the results achieved by the initial generation of interferometric detectors.
△ Less
Submitted 20 April, 2012; v1 submitted 13 February, 2012;
originally announced February 2012.
-
Search for Gravitational Waves from Low Mass Compact Binary Coalescence in LIGO's Sixth Science Run and Virgo's Science Runs 2 and 3
Authors:
the LIGO Scientific Collaboration,
the Virgo Collaboration,
J. Abadie,
B. P. Abbott,
R. Abbott,
T. D. Abbott,
M. Abernathy,
T. Accadia,
F. Acernese,
C. Adams,
R. Adhikari,
C. Affeldt,
M. Agathos,
P. Ajith,
B. Allen,
G. S. Allen,
E. Amador Ceron,
D. Amariutei,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
K. Arai,
M. A. Arain,
M. C. Araya,
S. M. Aston
, et al. (775 additional authors not shown)
Abstract:
We report on a search for gravitational waves from coalescing compact binaries using LIGO and Virgo observations between July 7, 2009 and October 20, 2010. We searched for signals from binaries with total mass between 2 and 25 solar masses; this includes binary neutron stars, binary black holes, and binaries consisting of a black hole and neutron star. The detectors were sensitive to systems up to…
▽ More
We report on a search for gravitational waves from coalescing compact binaries using LIGO and Virgo observations between July 7, 2009 and October 20, 2010. We searched for signals from binaries with total mass between 2 and 25 solar masses; this includes binary neutron stars, binary black holes, and binaries consisting of a black hole and neutron star. The detectors were sensitive to systems up to 40 Mpc distant for binary neutron stars, and further for higher mass systems. No gravitational-wave signals were detected. We report upper limits on the rate of compact binary coalescence as a function of total mass, including the results from previous LIGO and Virgo observations. The cumulative 90%-confidence rate upper limits of the binary coalescence of binary neutron star, neutron star- black hole and binary black hole systems are 1.3 x 10^{-4}, 3.1 x 10^{-5} and 6.4 x 10^{-6} Mpc^{-3}yr^{-1}, respectively. These upper limits are up to a factor 1.4 lower than previously derived limits. We also report on results from a blind injection challenge.
△ Less
Submitted 18 January, 2012; v1 submitted 30 November, 2011;
originally announced November 2011.
