Reflection length with two parameters in the asymptotic representation theory of type B/C and applications
Pith reviewed 2026-05-24 13:24 UTC · model grok-4.3
The pith
A two-parameter refinement of reflection length on the infinite hyperoctahedral group is positive definite precisely when it equals an extreme character.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The signed reflection function φ_{q+,q-} is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group, and the corresponding set of parameters q+,q- is classified explicitly. The associated representations arise from the natural action of the finite hyperoctahedral group B(n) on the tensor product of n copies of a vector space, which supplies the two-parameter analog of the Schur-Weyl duality. Applications include a cyclic Fock space of type B and a Gaussian operator whose moments are identified with the Askey-Wimp-Kerov distribution by counting cycles on pair-partitions.
What carries the argument
The two-parameter signed reflection function φ_{q+,q-}, defined as a bivariate refinement of reflection length that records long and short reflections separately.
If this is right
- The classification produces explicit representations of the infinite hyperoctahedral group via tensor-product actions of the finite groups B(n).
- A cyclic Fock space of type B is obtained that generalizes the one-parameter construction previously known for type A.
- A Gaussian operator on this Fock space has all moments determined by the Askey-Wimp-Kerov distribution through the enumeration of cycles on pair-partitions.
- The same classification reduces the problem of extreme characters for type D Coxeter groups to the type B case.
Where Pith is reading between the lines
- The separation of reflection lengths into two families may extend to other infinite Coxeter groups that possess more than one conjugacy class of reflections.
- The cycle enumeration on pair-partitions supplies a combinatorial model that could be used to compute higher moments or joint distributions in noncommutative probability spaces of type B.
- The tensor-product construction suggests a possible multi-parameter deformation of Schur-Weyl duality for other infinite wreath products.
- One could test the boundary cases of the classified parameter region by direct computation of the positive-definiteness matrix for small n.
Load-bearing premise
The bivariate refinement of reflection length that separates long and short reflections can be used to test positive definiteness directly against the list of extreme characters.
What would settle it
Compute the matrix of inner products for φ_{q+,q-} at a pair (q+,q-) outside the classified set and check whether the resulting form is positive definite; the claim fails if any such pair yields a positive definite function that is not an extreme character.
Figures
read the original abstract
We introduce a two-parameter function $\phi_{q_+,q_-}$ on the infinite hyperoctahedral group, which is a bivariate refinement of the reflection length keeping track of the long and the short reflections separately. We show that this signed reflection function $\phi_{q_+,q_-}$ is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group and we classify the corresponding set of parameters $q_+,q_-$. We construct the corresponding representations through a natural action of the hyperoctahedral group $B(n)$ on the tensor product of $n$ copies of a vector space, which gives a two-parameter analog of the classical construction of Schur--Weyl. We apply our classification to construct a cyclic Fock space of type B generalizing the one-parameter construction in type A found previously by Bo\.zejko and Guta. We also construct a new Gaussian operator acting on the cyclic Fock space of type B and we relate its moments with the Askey--Wimp--Kerov distribution by using the notion of cycles on pair-partitions, which we introduce here. Finally, we explain how to solve the analogous problem for the Coxeter groups of type D by using our main result.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a two-parameter function φ_{q+,q-} on the infinite hyperoctahedral group B_∞ as a bivariate refinement of the reflection length that separately tracks long and short reflections. It proves that φ_{q+,q-} is positive definite if and only if it is an extreme character of B_∞ and classifies the admissible parameters q+, q-. The corresponding representations are realized by a natural action of the finite groups B(n) on an n-fold tensor product of a two-parameter vector space, yielding a two-parameter analog of the classical Schur–Weyl construction. The classification is applied to construct a cyclic Fock space of type B (generalizing the one-parameter type-A construction of Bożejko–Guta), to define a new Gaussian operator on this space whose moments are identified with the Askey–Wimp–Kerov distribution via a new notion of cycles on pair-partitions, and to solve the analogous problem for Coxeter groups of type D.
Significance. If the classification and constructions hold, the work supplies a two-parameter extension of known results on extreme characters and positive-definite functions in the asymptotic representation theory of infinite Coxeter groups of type B/C. The Schur–Weyl-type tensor-product realization and the explicit link between the Gaussian operator moments and the Askey–Wimp–Kerov distribution (via the introduced cycles on pair-partitions) are concrete strengths that could be useful for further work on Fock spaces and non-commutative probability.
minor comments (3)
- [Introduction] The definition of the signed reflection function φ_{q+,q-} (Introduction) should include an explicit formula or generating-function expression before the positive-definiteness statement is invoked.
- [Applications] In the section on the Gaussian operator, the precise relation between the moments and the Askey–Wimp–Kerov distribution via cycles on pair-partitions should be stated as a numbered theorem or proposition rather than only in the text.
- Notation for the infinite group (B_∞ versus the inductive limit of B(n)) and for the two-parameter vector space should be fixed consistently throughout.
Simulated Author's Rebuttal
We thank the referee for the careful summary of our manuscript and for the positive assessment of its significance. The recommendation of minor revision is noted. As the major comments section contains no specific points, we have no individual comments to address point-by-point and will make any appropriate minor adjustments in the revised version.
Circularity Check
Minor self-citation present but derivation remains self-contained
full rationale
The paper defines φ_{q+,q-} directly as a bivariate refinement of reflection length on the infinite hyperoctahedral group, constructs the associated representations explicitly via a two-parameter tensor-product action of B(n) that generalizes the classical Schur-Weyl construction, and derives the positive-definiteness condition together with the parameter classification from this representation-theoretic setup and the inductive-limit argument. The single reference to prior one-parameter work by Bożejko and Guta supplies only contextual generalization for the type-A case and does not supply any load-bearing step, uniqueness theorem, or fitted input for the type-B/C classification. No self-definitional reductions, fitted inputs renamed as predictions, or ansätze smuggled via citation appear in the derivation chain.
Axiom & Free-Parameter Ledger
free parameters (1)
- q_+, q_-
axioms (1)
- standard math A function on a group is positive definite if and only if it is the character of a unitary representation
invented entities (1)
-
cycles on pair-partitions
no independent evidence
Reference graph
Works this paper leans on
-
[1]
L. Accardi and M. Bo\. z ejko, Interacting F ock spaces and G aussianization of probability measures , Infin. Dimens. Anal. Quantum Probab. Relat. Top. 1 (1998), no. 4, 663--670. 1665281
work page 1998
-
[2]
R. Askey and J. Wimp, Associated L aguerre and H ermite polynomials , Proc. Roy. Soc. Edinburgh Sect. A 96 (1984), no. 1-2, 15--37. 741641
work page 1984
-
[3]
S. T. Belinschi, M. Bo\. z ejko, F. Lehner, and R. Speicher, The normal distribution is -infinitely divisible , Adv. Math. 226 (2011), no. 4, 3677--3698. 2764902
work page 2011
-
[4]
J. Bouttier, P. Di Francesco , and E. Guitter, Planar maps as labeled mobiles , Electron. J. Combin 11 (2004), no. 1, R69
work page 2004
-
[5]
M. Bo\. z ejko, W. Ejsmont, and T. Hasebe, Fock space associated to C oxeter groups of type B , J. Funct. Anal. 269 (2015), no. 6, 1769--1795. 3373433
work page 2015
-
[6]
, Noncommutative probability of type D , Internat. J. Math. 28 (2017), no. 2, 1750010, 30. 3615583
work page 2017
-
[7]
Bessis, Finite complex reflection arrangements are K( ,1) , Ann
D. Bessis, Finite complex reflection arrangements are K( ,1) , Ann. of Math. (2) 181 (2015), no. 3, 809--904. 3296817
work page 2015
-
[8]
M. Bo\. z ejko and M. Gu t a , Functors of white noise associated to characters of the infinite symmetric group, Comm. Math. Phys. 229 (2002), no. 2, 209--227. 1923173
work page 2002
-
[9]
M. Bo\. z ejko, \' S . R. Gal, and W. M otkowski, Positive definite functions on C oxeter groups with applications to operator spaces and noncommutative probability , Comm. Math. Phys. 361 (2018), no. 2, 583--604. 3828893
work page 2018
-
[10]
B. Baumeister, T. Gobet, K. Roberts, and P. Wegener, On the H urwitz action in finite C oxeter groups , J. Group Theory 20 (2017), no. 1, 103--131. 3592608
work page 2017
-
[11]
M. Bo\. z ejko, T. Januszkiewicz, and R. J. Spatzier, Infinite C oxeter groups do not have K azhdan's property , J. Operator Theory 19 (1988), no. 1, 63--67. 950825
work page 1988
-
[12]
A. Borodin and G. Olshanski, Representations of the infinite symmetric group, Cambridge Studies in Advanced Mathematics, vol. 160, Cambridge University Press, Cambridge, 2017. 3618143
work page 2017
-
[13]
M. Bo\. z ejko and R. Speicher, Interpolations between bosonic and fermionic relations given by generalized B rownian motions , Math. Z. 222 (1996), no. 1, 135--159. 1388006
work page 1996
-
[14]
M. Bo\. z ejko and R. Szwarc, Algebraic length and P oincar\' e series on reflection groups with applications to representations theory , Asymptotic combinatorics with applications to mathematical physics ( S t. P etersburg, 2001), Lecture Notes in Math., vol. 1815, Springer, Berlin, 2003, pp. 201--221. 2009841
work page 2001
-
[15]
Carleman, Les fonctions quasi analytiques, 1926
T. Carleman, Les fonctions quasi analytiques, 1926
work page 1926
-
[16]
G. Chapuy and M. Do e ga, A bijection for rooted maps on general surfaces, J. Combin. Theory Ser. A 145 (2017), 252--307. 3551653
work page 2017
- [17]
-
[18]
T. S. Chihara, An introduction to orthogonal polynomials, Gordon and Breach Science Publishers, New York-London-Paris, 1978, Mathematics and its Applications, Vol. 13. 0481884
work page 1978
-
[19]
, Hamburger moment problems and orthogonal polynomials, Trans. Amer. Math. Soc. 315 (1989), no. 1, 189--203. 986686
work page 1989
- [20]
-
[21]
J. De Canni\`ere and U. Haagerup, Multipliers of the F ourier algebras of some simple L ie groups and their discrete subgroups , Amer. J. Math. 107 (1985), no. 2, 455--500. 784292
work page 1985
-
[22]
M. Do e ga and M. Lepoutre, Blossoming bijection for bipartite pointed maps and parametric rationality of general maps on any surface, Preprint arXiv:2002.07238, 2020
-
[23]
Drake, The combinatorics of associated H ermite polynomials , European J
D. Drake, The combinatorics of associated H ermite polynomials , European J. Combin. 30 (2009), no. 4, 1005--1021. 2504659
work page 2009
-
[24]
Gal, On normal subgroups of C oxeter groups generated by standard parabolic subgroups , Geom
\' S .R. Gal, On normal subgroups of C oxeter groups generated by standard parabolic subgroups , Geom. Dedicata 115 (2005), 65--78. 2180042
work page 2005
-
[25]
U. Haagerup, An example of a nonnuclear C^ -algebra, which has the metric approximation property , Invent. Math. 50 (1978/79), no. 3, 279--293. 520930
work page 1978
-
[26]
T. Hirai and E. Hirai, Characters for the infinite W eyl groups of type B_ /C_ and D_ , and for analogous groups , Non-commutativity, infinite-dimensionality and probability at the crossroads, QP--PQ: Quantum Probab. White Noise Anal., vol. 16, World Sci. Publ., River Edge, NJ, 2002, pp. 296--317. 2059866
work page 2002
-
[27]
, Characters of wreath products of finite groups with the infinite symmetric group, J. Math. Kyoto Univ. 45 (2005), no. 3, 547--597. 2206362
work page 2005
-
[28]
A. Hora and N. Obata, Quantum probability and spectral analysis of graphs, Theoretical and Mathematical Physics, Springer, Berlin, 2007, With a foreword by Luigi Accardi. 2316893
work page 2007
-
[29]
U. Haagerup and G. Pisier, Bounded linear operators between C^* -algebras , Duke Math. J. 71 (1993), no. 3, 889--925. 1240608
work page 1993
-
[30]
Takahiro Hasebe, Noriyoshi Sakuma, and Steen Thorbj rnsen, The normal distribution is freely self-decomposable, Int. Math. Res. Not. IMRN (2019), no. 6, 1758--1787. 3932595
work page 2019
-
[31]
Hurwitz, Ueber R iemann'sche F l\" a chen mit gegebenen V erzweigungspunkten , Math
A. Hurwitz, Ueber R iemann'sche F l\" a chen mit gegebenen V erzweigungspunkten , Math. Ann. 39 (1891), no. 1, 1--60. 1510692
-
[32]
Kerber, Representations of permutation groups
A. Kerber, Representations of permutation groups. II , Lecture Notes in Mathematics, Vol. 495, Springer-Verlag, Berlin-New York, 1975. 0409624
work page 1975
-
[33]
Kerov, Interlacing measures , Kirillov's seminar on representation theory , Amer
S. Kerov, Interlacing measures , Kirillov's seminar on representation theory , Amer. Math. Soc. Transl. Ser. 2 , vol. 181, Amer. Math. Soc., Providence, RI, 1998, pp. 35--83. MR1618739 (99h:30034)
work page 1998
-
[34]
Sergei Kerov, Asymptotic representation theory of the symmetric group and its applications in analysis , Translations of Mathematical Monographs , vol. 219, American Mathematical Society, Providence, RI, 2003, Translated from the Russian manuscript by N. V. Tsilevich, With a foreword by A. Vershik and comments by G. Olshanski. MR1984868 (2005b:20021)
work page 2003
-
[35]
M. Lepoutre, Blossoming bijection for higher-genus maps, Journal of Combinatorial Theory, Series A 165 (2019), 187--224
work page 2019
-
[36]
Looijenga, The complement of the bifurcation variety of a simple singularity, Invent
E. Looijenga, The complement of the bifurcation variety of a simple singularity, Invent. Math. 23 (1974), 105--116. 422675
work page 1974
-
[37]
P. M\' e liot, Representation theory of symmetric groups, Discrete Mathematics and its Applications (Boca Raton), CRC Press, Boca Raton, FL, 2017. 3616172
work page 2017
-
[38]
S. Poirier, Cycle type and descent set in wreath products, Proceedings of the 7th C onference on F ormal P ower S eries and A lgebraic C ombinatorics ( N oisy-le- G rand, 1995), vol. 180, 1998, pp. 315--343. 1603753
work page 1995
-
[39]
Reiner, Non-crossing partitions for classical reflection groups, Discrete Math
V. Reiner, Non-crossing partitions for classical reflection groups, Discrete Math. 177 (1997), no. 1-3, 195--222. 1483446
work page 1997
-
[40]
G. Schaeffer, Bijective census and random generation of E ulerian planar maps with prescribed vertex degrees , Electron. J. Combin. 4 (1997), no. 1, Research Paper 20, 14. 1465581
work page 1997
-
[41]
R. P. Stanley, Enumerative combinatorics. V ol. 2 , Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999, With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. 1676282 (2000k:05026)
work page 1999
-
[42]
Elmar Thoma, Die unzerlegbaren, positiv-definiten K lassenfunktionen der abz \"a hlbar unendlichen, symmetrischen G ruppe , Math. Z. 85 (1964), 40--61. MR0173169 (30 \#3382)
work page 1964
-
[43]
G. Viennot, A combinatorial theory for general orthogonal polynomials with extensions and applications, Orthogonal polynomials and applications ( B ar-le- D uc, 1984), Lecture Notes in Math., vol. 1171, Springer, Berlin, 1985, pp. 139--157. 838979
work page 1984
-
[44]
Anatoly Vershik and Sergey Kerov, Characters and factor representations of the infinite symmetric group , Dokl. Akad. Nauk SSSR 257 (1981), no. 5, 1037--1040. MR614033 (83f:20011)
work page 1981
-
[45]
D. Voiculescu, Sur les repr\' e sentations factorielles finies de U ( ) et autres groupes semblables , C. R. Acad. Sci. Paris S\' e r. A 279 (1974), 945--946. 360924
work page 1974
-
[46]
, Repr\' e sentations factorielles de type II 1 de U( ) , J. Math. Pures Appl. (9) 55 (1976), no. 1, 1--20. 442153
work page 1976
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.