Table of Contents
Fetching ...

The $q$-deformed random-to-random family in the Hecke algebra

Sarah Brauner, Patricia Commins, Darij Grinberg, Franco Saliola

TL;DR

This work extends the classical random-to-random shuffles to the $q$-deformed Type-$A$ Iwahori–Hecke algebra setting, proving that the family $\\{\\mathcal{R}_{n,k}(q)\\}$ of operators commute and are generically diagonalizable with eigenvalues that are polynomials in $q$ with nonnegative coefficients. The authors construct a joint eigenbasis via Specht modules, index eigenvalues by horizontal strips $\\lambda\\setminus\\mu$, and provide explicit lifting recursions that relate eigenvectors across sizes. They derive closed formulas for principal eigenvalues in hook-shaped cases and prove a broad positivity result for all eigenvalues, thereby extending and simplifying prior results in the $q=1$ case and resolving a conjecture on the second-largest eigenvalue. The spectral data obtained have implications for Markov chains on Hecke algebras and reveal deeper connections between combinatorial representation theory and Hall–Littlewood–type structures, with potential applications to stochastic processes on algebraic objects. Overall, the paper unifies combinatorial and algebraic approaches to eigenvalue problems in Hecke algebras and provides a detailed framework for understanding the spectra of a broad family of symmetrized shuffling operators.

Abstract

We generalize Reiner--Saliola--Welker's well-known but mysterious family of *$k$-random-to-random shuffles* from Markov chains on symmetric groups to Markov chains on the Type-$A$ Iwahori--Hecke algebras. We prove that the family of operators pairwise commutes and has eigenvalues that are polynomials in $q$ with non-negative integer coefficients. Our work generalizes work of Reiner--Saliola--Welker and Lafrenière for the symmetric group, and simplifies all known proofs in this case.

The $q$-deformed random-to-random family in the Hecke algebra

TL;DR

This work extends the classical random-to-random shuffles to the -deformed Type- Iwahori–Hecke algebra setting, proving that the family of operators commute and are generically diagonalizable with eigenvalues that are polynomials in with nonnegative coefficients. The authors construct a joint eigenbasis via Specht modules, index eigenvalues by horizontal strips , and provide explicit lifting recursions that relate eigenvectors across sizes. They derive closed formulas for principal eigenvalues in hook-shaped cases and prove a broad positivity result for all eigenvalues, thereby extending and simplifying prior results in the case and resolving a conjecture on the second-largest eigenvalue. The spectral data obtained have implications for Markov chains on Hecke algebras and reveal deeper connections between combinatorial representation theory and Hall–Littlewood–type structures, with potential applications to stochastic processes on algebraic objects. Overall, the paper unifies combinatorial and algebraic approaches to eigenvalue problems in Hecke algebras and provides a detailed framework for understanding the spectra of a broad family of symmetrized shuffling operators.

Abstract

We generalize Reiner--Saliola--Welker's well-known but mysterious family of *-random-to-random shuffles* from Markov chains on symmetric groups to Markov chains on the Type- Iwahori--Hecke algebras. We prove that the family of operators pairwise commutes and has eigenvalues that are polynomials in with non-negative integer coefficients. Our work generalizes work of Reiner--Saliola--Welker and Lafrenière for the symmetric group, and simplifies all known proofs in this case.

Paper Structure

This paper contains 29 sections, 55 theorems, 200 equations, 3 tables.

Key Result

Theorem A

Let $n \geq 0$. Then the following holds for $\{ \mathop{\mathrm{\mathcal{R}}}\nolimits_{n,k} \}_{k\geq 0}$:

Theorems & Definitions (125)

  • Example 1.1
  • Theorem A
  • Theorem B: Theorem \ref{['thm:BnRnk']}
  • Theorem C
  • Definition 2.1
  • Example 2.2
  • Definition 2.3
  • Example 2.4
  • Example 2.5
  • Proposition 2.6
  • ...and 115 more