REVIEW 2 minor 46 references
Enumerating matrices with prescribed entries in an adjoint orbit
T0 review · 0 major / 2 minor · reviewed 2026-06-29 · grok-4.3
Pith's one-line read A Hall scalar product of skew modified Hall-Littlewood and q-Whittaker functions counts extensions of a partial linear map to an endomorphism with prescribed similarity invariants over a finite field.
desk verdict The paper gives a Hall scalar product formula, in skew modified Hall-Littlewood and q-Whittaker functions, for counting extensions of a partial linear map with fixed columns to an endomorphism with prescribed similarity invariants over F_q. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Hall scalar product formula for the number of extensions of a partially defined linear map to an endomorphism with prescribed similarity invariants, expressed via skew modified Hall-Littlewood and q-Whittaker functions.
What would settle it
Explicit enumeration, for a small prime power q and small matrix dimension, of all matrices extending a concrete partial map and realizing concrete invariants, compared against the numerical value of the proposed scalar product.
Extended reading notes
Core claim
For a partially defined linear map over a finite field, the number of extensions to an endomorphism whose similarity invariants are prescribed is given by a Hall scalar product expressed in terms of skew modified Hall-Littlewood functions and q-Whittaker functions.
Load-bearing premise
The counting formula holds when the prescribed entries form complete columns and the similarity invariants are compatible with the Hall scalar product construction.
Editorial extensions
If this is right
- The number of monic matrix polynomials over F_q with a prescribed Smith normal form is obtained directly from the formula.
- The number of monic matrix polynomials over F_q with a prescribed determinant is obtained directly from the formula.
- The Gerstenhaber-Reiner count of square matrices with a fixed characteristic polynomial is recovered as a special case.
- Known point-count formulas for Hessenberg varieties yield related formulas for Hessenberg supports involving chromatic quasisymmetric functions.
Reading between the lines
- The scalar-product approach may extend to other partial-entry patterns once suitable symmetric-function identities are identified.
- The appearance of chromatic quasisymmetric functions raises the question of whether the resulting generating functions remain polynomials for more general affine slices.
- The same counting technique could be tested on related problems such as counting nilpotent matrices with prescribed entries and Jordan form.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies intersections of conjugacy classes of square matrices over finite fields with affine subspaces (prescribed entries). Its main result gives a Hall scalar product formula, in terms of skew modified Hall-Littlewood functions and q-Whittaker functions, for the number of extensions of a partial linear map (with prescribed complete columns) to an endomorphism having prescribed similarity invariants. Applications recover the Gerstenhaber-Reiner formula, count monic matrix polynomials with given Smith normal form or determinant, and relate Hessenberg supports to chromatic quasisymmetric functions.
Significance. If the central formula holds, the work supplies a new, explicit combinatorial tool for counting problems in linear algebra over finite fields that are governed by similarity invariants. The recovery of the Gerstenhaber-Reiner count and the applications to Smith normal forms of matrix polynomials constitute independent consistency checks. The link to Hessenberg varieties and chromatic quasisymmetric functions raises well-posed polynomiality questions for more general supports.
minor comments (2)
- The abstract is dense; a short sentence clarifying the precise compatibility conditions on the partial map and the invariants would help readers locate the main theorem.
- Notation for the Hall scalar product and the skew functions is introduced without an early reference to the relevant Macdonald or Hall-Littlewood literature; a single sentence directing the reader to the standard sources would improve accessibility.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive assessment of the significance of the work, and recommendation to accept the manuscript.
Circularity Check
No significant circularity; derivation applies known Hall scalar product to counting problem
full rationale
The central result is a formula for the number of extensions of a partial linear map (prescribed complete columns) to an endomorphism with given similarity invariants, expressed via skew modified Hall-Littlewood and q-Whittaker functions. The manuscript recovers the independent Gerstenhaber-Reiner formula and gives applications to Smith normal forms of matrix polynomials. These external checks confirm the construction does not reduce to its inputs by definition or self-citation. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided description or abstract.
Assumptions & free parameters
assumptions (1)
- standard math Standard algebraic and combinatorial properties of Hall-Littlewood and q-Whittaker functions, including the Hall scalar product
Cite this review
Pith. "Pith review of Enumerating matrices with prescribed entries in an adjoint orbit." pith.science (2026). https://pith.science/paper/VYFKN6FX
@misc{pith2026260627497,
author = {Pith},
title = {Pith review of: Enumerating matrices with prescribed entries in an adjoint orbit},
year = {2026},
howpublished = {\url{https://pith.science/paper/VYFKN6FX}},
note = {Machine review of arXiv:2606.27497}
}
abstract
We study intersections of conjugacy classes of square matrices over a finite field with affine coordinate subspaces, or equivalently matrices in a fixed adjoint orbit with prescribed entries. Our main result treats the case of prescribed columns: for a partially defined linear map we give a Hall scalar product formula for the number of extensions to an endomorphism with prescribed similarity invariants. This formula is expressed in terms of skew modified Hall--Littlewood functions and $q$-Whittaker functions. As applications, we count monic matrix polynomials over $\mathbb{F}_q$ with prescribed Smith normal form and with prescribed determinant, and recover the Gerstenhaber--Reiner formula for the number of square matrices with a fixed characteristic polynomial. We also note that known point-count formulas for Hessenberg varieties imply related formulas for Hessenberg supports involving chromatic quasisymmetric functions, motivating polynomiality questions for more general supports and prescribed affine slices.
Reference graph
Works this paper leans on
- [1]
-
[2]
Splitting subspaces of linear operators over finite fields
D. Aggarwal and S. Ram. “Splitting subspaces of linear operators over finite fields”.Finite Fields Appl.78 (2022), Paper No. 101982, 17.doi
2022
-
[3]
Enumerating partial linear transformations in a similarity class
A. Arora and S. Ram. “Enumerating partial linear transformations in a similarity class”.Linear Algebra Appl.625 (2021), pp. 196–211.doi
2021
-
[4]
Unimodular polynomial matrices over finite fields
A. Arora, S. Ram, and A. Venkateswarlu. “Unimodular polynomial matrices over finite fields”.J. Algebraic Combin.53.4 (2021), pp. 1299–1312.doi
2021
-
[5]
Bardestani, K
M. Bardestani, K. Mallahi-Karai, S. Ram, and H. Salmasian.CountingF q-points of orbital varieties in ad-nilpotent ideals of typeA n. Preprint. 2026. arXiv:2503. 15440 [math.CO].url
2026
-
[6]
Enumeration of subspaces by dimension sequence
E. A. Bender, R. Coley, D. P. Robbins, and H. Rumsey Jr. “Enumeration of subspaces by dimension sequence”.J. Combin. Theory Ser. A59.1 (1992), pp. 1– 11.doi. 28 REFERENCES
1992
-
[7]
Unit interval orders and the dot action on the cohomology of regular semisimple Hessenberg varieties
P. Brosnan and T. Y. Chow. “Unit interval orders and the dot action on the cohomology of regular semisimple Hessenberg varieties”.Adv. Math.329 (2018), pp. 955–1001.doi
2018
-
[8]
Subgroup lattices and symmetric functions
L. M. Butler. “Subgroup lattices and symmetric functions”.Mem. Amer. Math. Soc.112.539 (1994), pp. vi+160.doi
1994
Show all 46 references
-
[9]
The splitting subspace conjecture
E. Chen and D. Tseng. “The splitting subspace conjecture”.Finite Fields Appl. 24 (2013), pp. 15–28.doi
2013
-
[10]
Hessenberg varieties
F. De Mari, C. Procesi, and M. A. Shayman. “Hessenberg varieties”.Trans. Amer. Math. Soc.332.2 (1992), pp. 529–534.doi
1992
-
[11]
Fonctions de M¨ obius sur les groupes abeliens finis
S. Delsarte. “Fonctions de M¨ obius sur les groupes abeliens finis”.Ann. of Math. (2)49 (1948), pp. 600–609.doi
1948
-
[12]
On the number of subgroups of a finite abelian group
P. Djubjuk. “On the number of subgroups of a finite abelian group”.Izv. Akad. Nauk SSSR Ser. Mat.12 (1948), pp. 351–378
1948
-
[13]
The number of solutions ofX 2 = 0 in triangular matrices over GF(q)
S. B. Ekhad and D. Zeilberger. “The number of solutions ofX 2 = 0 in triangular matrices over GF(q)”.Electron. J. Combin.3.1 (1996), Research Paper 2, approx. 2.doi
1996
-
[14]
Transitivity in finite general linear groups
A. Ernst and K.-U. Schmidt. “Transitivity in finite general linear groups”.Math. Z.307 (2024), Paper No. 45.doi
2024
-
[15]
Jordan types of triangular matrices over a finite field
D. Fuchs and A. S. Kirillov. “Jordan types of triangular matrices over a finite field”.Arnold Math. J.8 (2022), pp. 543–559.doi
2022
-
[16]
A unipotent realization of the chromatic quasisymmetric function
L. Gagnon. “A unipotent realization of the chromatic quasisymmetric function”. Algebra Number Theory18.9 (2024), pp. 1737–1766.doi
2024
-
[17]
On the number of nilpotent matrices with coefficients in a finite field
M. Gerstenhaber. “On the number of nilpotent matrices with coefficients in a finite field”.Illinois J. Math.5 (1961), pp. 330–333.doi
1961
-
[18]
Block companion Singer cycles, primitive recursive vector sequences, and coprime polynomial pairs over finite fields
S. R. Ghorpade and S. Ram. “Block companion Singer cycles, primitive recursive vector sequences, and coprime polynomial pairs over finite fields”.Finite Fields Appl.17.5 (2011), pp. 461–472.doi
2011
-
[19]
Enumeration of splitting subspaces over finite fields
S. R. Ghorpade and S. Ram. “Enumeration of splitting subspaces over finite fields”.Arithmetic, geometry, cryptography and coding theory. Vol. 574. Contemp. Math. Amer. Math. Soc., Providence, RI, 2012, pp. 49–58.doi
2012
-
[20]
Gohberg, P
I. Gohberg, P. Lancaster, and L. Rodman.Matrix polynomials. Vol. 58. Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2009.doi
2009
-
[21]
Gohberg, M
I. Gohberg, M. A. Kaashoek, and F. van Schagen.Partially specified matrices and operators: classification, completion, applications. Vol. 79. Operator Theory: Advances and Applications. Birkh¨ auser Verlag, Basel, 1995.doi
1995
-
[22]
The characters of the finite general linear groups
J. A. Green. “The characters of the finite general linear groups”.Trans. Amer. Math. Soc.80 (1955), pp. 402–447.doi
1955
-
[23]
q-rook polynomials and matrices over finite fields
J. Haglund. “q-rook polynomials and matrices over finite fields”.Adv. in Appl. Math.20.4 (1998), pp. 450–487.doi
1998
-
[24]
The irreducible representations of the finite general linear groups
G. James. “The irreducible representations of the finite general linear groups”. Proc. Lond. Math. Soc. (3)52.2 (1986), pp. 236–268.doi
1986
-
[25]
On a remarkable sequence of polynomials
A. A. Kirillov and A. Melnikov. “On a remarkable sequence of polynomials”. Alg` ebre non commutative, groupes quantiques et invariants (Reims, 1995). Vol. 2. S´ emin. Congr. Soc. Math. France, Paris, 1997, pp. 35–42
1995
-
[26]
Counting matrices over finite fields with support on skew Young diagrams and complements of Rothe diagrams
A. J. Klein, J. B. Lewis, and A. H. Morales. “Counting matrices over finite fields with support on skew Young diagrams and complements of Rothe diagrams”.J. Algebraic Combin.(2013).doi
2013
-
[27]
Sur une conjecture de H. O. Foulkes
A. Lascoux and M.-P. Sch¨ utzenberger. “Sur une conjecture de H. O. Foulkes”. C. R. Acad. Sci. Paris S´ er. A-B286.7 (1978), A323–A324. REFERENCES 29
1978
-
[28]
Matrices with restricted entries andq-analogues of permutations
J. B. Lewis, R. I. Liu, A. H. Morales, G. Panova, S. V. Sam, and Y. X. Zhang. “Matrices with restricted entries andq-analogues of permutations”.J. Comb.2.3 (2011), pp. 355–395.doi
2011
-
[29]
Green polynomials and singularities of unipotent classes
G. Lusztig. “Green polynomials and singularities of unipotent classes”.Adv. in Math.42.2 (1981), pp. 169–178.doi
1981
-
[30]
I. G. Macdonald.Symmetric functions and Hall polynomials. Second. Oxford Mathematical Monographs. With contributions by A. Zelevinsky, Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. url
1995
-
[31]
The multiple-recursive matrix method for pseudorandom num- ber generation
H. Niederreiter. “The multiple-recursive matrix method for pseudorandom num- ber generation”.Finite Fields Appl.1.1 (1995), pp. 3–30.doi
1995
-
[32]
Enumeration of anti-invariant subspaces and Touchard’s formula for the entries of theq-Hermite Catalan matrix
A. Prasad and S. Ram. “Enumeration of anti-invariant subspaces and Touchard’s formula for the entries of theq-Hermite Catalan matrix”.Adv. in Appl. Math. 154 (2024), Paper No. 102654.doi
2024
-
[33]
Set partitions, tableaux, and subspace profiles under regular diagonal matrices
A. Prasad and S. Ram. “Set partitions, tableaux, and subspace profiles under regular diagonal matrices”.European J. Combin.124 (2025), Paper No. 104060. doi
2025
-
[34]
Splitting subspaces and a finite field interpretation of the Touchard-Riordan formula
A. Prasad and S. Ram. “Splitting subspaces and a finite field interpretation of the Touchard-Riordan formula”.European J. Combin.110 (2023), Paper No. 103705, 11.doi
2023
-
[35]
Ram.Simple operators andq-Whittaker coefficients of power sum symmetric functions
S. Ram.Simple operators andq-Whittaker coefficients of power sum symmetric functions. 2024. arXiv:2411.16485 [math.CO].url
2024
-
[36]
Subspace profiles over finite fields andq-Whittaker expansions of sym- metric functions
S. Ram. “Subspace profiles over finite fields andq-Whittaker expansions of sym- metric functions”.Forum Math. Sigma14 (2026), Paper No. e48.doi
2026
-
[37]
Diagonal operators,q-Whittaker functions and rook theory
S. Ram and M. J. Schlosser. “Diagonal operators,q-Whittaker functions and rook theory”.Comb. Theory5.4 (2025), Paper No. 11, 42.doi
2025
-
[38]
On the number of matrices with given characteristic polynomial
I. Reiner. “On the number of matrices with given characteristic polynomial”. Illinois J. Math.5 (1961), pp. 324–329.doi
1961
-
[39]
Chromatic quasisymmetric functions
J. Shareshian and M. L. Wachs. “Chromatic quasisymmetric functions”.Adv. Math.295 (2016), pp. 497–551.doi
2016
-
[40]
A symmetric function generalization of the chromatic polynomial of a graph
R. P. Stanley. “A symmetric function generalization of the chromatic polynomial of a graph”.Adv. Math.111.1 (1995), pp. 166–194.doi
1995
-
[41]
R. P. Stanley.Enumerative combinatorics. Vol. 2. Vol. 62. Cambridge Studies in Advanced Mathematics. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. Cambridge University Press, Cambridge, 1999.doi
1999
-
[42]
R. P. Stanley.Enumerative combinatorics. Volume 1. Second. Vol. 49. Cam- bridge Studies in Advanced Mathematics. Cambridge University Press, Cam- bridge, 2012.doi
2012
-
[43]
Counting points on varieties over finite fields related to a conjecture of Kontsevich
J. R. Stembridge. “Counting points on varieties over finite fields related to a conjecture of Kontsevich”.Ann. Comb.2.4 (1998), pp. 365–385.doi
1998
-
[44]
Linear conditions imposed on flag varieties
J. S. Tymoczko. “Linear conditions imposed on flag varieties”.Amer. J. Math. 128.6 (2006), pp. 1587–1604.doi
2006
-
[45]
On prime power Abelian groups
Y. Yeh. “On prime power Abelian groups”.Bull. Amer. Math. Soc.54 (1948), pp. 323–327.doi
1948
-
[46]
Rook placements and Jordan forms of upper-triangular nilpotent ma- trices
M. Yip. “Rook placements and Jordan forms of upper-triangular nilpotent ma- trices”.Electron. J. Combin.25.1 (2018), Paper No. 1.68, 25.doi. Indraprastha Institute of Information Technology Delhi, New Delhi, India. Email address:samrith@iiitd.ac.in
2018
Reviewed June 29, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.