Simple operators and $q$-Whittaker coefficients of power sum symmetric functions

Samrith Ram

REVIEW 2 major objections 2 minor 18 references

Simple operators and $q$-Whittaker coefficients of power sum symmetric functions

T0 review · 2 major / 2 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A double count of pairs (subspace, operator) proves the closed formula for the number of subspaces with a given profile under a simple operator.

desk verdict A clean new proof of a known enumeration formula, with one load-bearing citation whose independence from the target is not demonstrated. read the letter →

arxiv 2411.16485 v2 pith:GIXUDVTH submitted 2024-11-25 math.CO

Samrith Ram This is my paper · ORCID

classification math.CO MSC 15B3305A1515A8305E05

keywords simpleoperatorsubspaceprofileq-Whittakerfunctionspowersumsymmetricsplittingsubspacespartiallinearmapsfinitefieldsq-binomialcoefficients

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that the number of subspaces of $\mathbb{F}_q^n$ with a specified profile with respect to a simple linear operator is given by a closed product formula, and that this formula admits a direct combinatorial proof by double counting. The counting problem is the same as finding the $q$-Whittaker coefficients in the power sum symmetric function, so the proof is also a coefficient derivation that avoids symmetric function theory. The argument goes through partial linear maps: a subspace profile becomes, by duality, the defect dimensions of a simple partial map, and two known enumeration results count such maps and their extensions. A corollary gives the count of splitting subspaces in a field extension, resolving a question about pseudorandom number generation.

What carries the argument

The load-bearing device is the double count over pairs $(W,\widetilde T)$, where $W\subseteq\mathbb{F}_q^n$ has dimension $k=n-\mu_1$ and $\widetilde T$ is an operator with fixed irreducible characteristic polynomial $f$ whose restriction to $W$ is simple with defect dimensions $\mu$. Two external counts support it: Theorem 2.2 counts simple partial maps on $W$ by defect dimensions, and Lemma 2.7 counts extensions of such a map to an operator with characteristic polynomial $f$ as $\prod_{j=k+1}^{n-1}(q^n-q^j)$. The bridge between the two settings is Lemma 2.3, a duality between the $T$-profile of a subspace and the defect dimensions of $T^*$ restricted to the annihilator.

What would settle it

Open reference [2] and trace the proof of Theorem 2.2. If that proof invokes the q-Whittaker expansion, the 1992 subspace-profile formula, or any equivalent statement, then the double-count proof of Theorem 2.8 is circular. Alternatively, for small values such as q=2 and n=4, the formula can be checked against direct enumeration of all subspaces, but that check would not settle whether the new proof is independent.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.8: for a simple operator $T$ on $\mathbb{F}_q^n$ and a partition $\mu$ of $n$, the number $\sigma(\mu,T)$ of subspaces with $T$-profile $\mu$ equals $$\frac{q^n-1}{$q^{{\mu_1}}$-1}\, $q^{{\sum_{j\ge 2}}$(\$mu_j^{2}$-\mu_j)} \prod_{i\ge1} \left[\frac{\mu_i}{\mu_{i+1}}\right]_q.$$ The new content is that this identity follows by counting pairs $(W,\widetilde T)$ in two orders. First choose $\widetilde T$ with a fixed irreducible characteristic polynomial $f$ and then count $W$, or first choose $W$, count simple maps on $W$ with defect dimensions $\mu$, then count extensions to operators with characteristic polynomial $f$. Equating the two counts and simplifying with the orbit–stabilizer identity for the general linear group yields the formula. The proof uses only finite-field linear algebra, not symmetric functions.

Load-bearing premise

The argument depends on a previously published counting theorem for simple partial maps with given defect dimensions, stated as Theorem 2.2 and not proved here; the paper does not show that this theorem was proved without using the formula being established.

Editorial extensions

If this is right

The formula of [4] is established by a double count, so it does not require proving auxiliary $q$-binomial identities.
The $q$-Whittaker coefficients of the power sum $p_n$ are given by the same closed product, because profile counts equal those coefficients.
The number of $m$-dimensional $\alpha$-splitting subspaces in the extension $\mathbb{F}_{q^{md}}/\mathbb{F}_q$ is $(q^{md}-1)/(q^m-1)\,q^{m(m-1)(d-1)}$.
Subspace profile enumeration is tied to enumeration of partial linear transformations over finite fields, giving a route that may apply when characteristic polynomials are not irreducible.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If Theorem 2.2 is independent of the target formula, the same double-counting pattern could be tried for operators whose characteristic polynomial has repeated factors; the extension count would then involve invariant factors rather than a single irreducible polynomial.
A direct bijective reading of the formula might be obtainable: the factor $q^{\sum \mu_j^2-\mu_j}$ suggests a canonical flag or matrix canonical form underlying each counted subspace, though the paper does not construct such a bijection.
The equivalence with $q$-Whittaker coefficients means any future refinement of $\sigma(\mu,T)$, for instance keeping track of the operator's invariant factors, would translate into a refined identity for symmetric functions.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper delivers a genuinely attractive new proof of the Bender–Coley–Robbins–Rumsey formula for sigma(mu,T), not a new theorem. The author is upfront about this, and the proof is the content. The double-counting via partial maps and extension counts avoids symmetric functions and Mobius inversion, and it works. Lemma 2.7 is a neat little argument using Wimmer's theorem; the cancellation leading to the q-binomial product checks out. I verified the main steps and saw no internal inconsistency.

The soft spot is the one the stress-test flags. The second count rests entirely on Theorem 2.2, cited from the author's own earlier paper (Arora–Ram). Once Lemma 2.7 is accepted, Theorem 2.2 and Theorem 1.3 are equivalent modulo the double-count equation. So if Theorem 2.2 was proved using BCRR or the q-Whittaker expansion, this proof is circular. The manuscript gives no independence argument. I do not think this is fatal: the partial-map count in [2] is a different-looking theorem and likely has an independent proof, but the author needs to say so. A referee should ask for a one-sentence pointer to the proof of [2, Cor. 3.6] and an explicit statement that it does not rely on Theorem 1.3.

Minor issue: the algebra display after substituting for gamma(n) looks typographically off. The second displayed fraction does not obviously equal the first, even though the final result is correct. That is a small fix.

The paper is honest, well-written, and the citation pattern is transparent. It is a methodological contribution to finite-field enumeration, useful for people who want a combinatorial proof of a known formula and for the splitting-subspace corollary. The main theorem is not new, but the proof is. I would bring it to a reading group for the technique, and I would cite it as an alternative proof if I worked in this area.

Recommendation: send to peer review. The paper deserves a serious referee, provided the referee asks the author to resolve the independence question for Theorem 2.2 and clean up the algebra display. The central argument holds up on its own terms.

Referee Report

2 major / 2 minor

Summary. The paper gives a short proof of Bender–Coley–Robbins–Rumsey's formula for the number of subspaces of F_q^n with a prescribed T-profile for a simple operator T. The argument double-counts pairs (W, \tilde T), where W is k-dimensional and \tilde T is an operator with irreducible characteristic polynomial f. The first count chooses \tilde T first and then W; the second chooses W and a simple partial map T':W→F_q^n with defect dimensions μ, then counts extensions of T' to an operator with characteristic polynomial f. The second count relies on Theorem 2.2 from Arora–Ram on simple partial maps, Lemma 2.5 from Arora–Ram–Venkateswarlu, and a new Lemma 2.7 on extensions with prescribed characteristic polynomial. The paper then derives Chen–Tseng's splitting-subspace formula as a corollary and explains the connection to q-Whittaker coefficients.

Significance. If the proof is fully justified, the paper provides a genuinely different, combinatorially transparent route to a formula previously obtained through Möbius inversion and q-binomial identities, and it sharpens the connection between subspace profiles, simple partial maps, and q-Whittaker coefficients. The double-counting framework and the explicit extension lemma are attractive and likely to be useful for related enumerative problems. The paper is concise and mostly self-contained apart from two cited external results. The main caveat is the unresolved provenance of Theorem 2.2, which is the only non-elementary load-bearing input.

major comments (2)

[§2, Theorem 2.2 and Theorem 2.8] Theorem 2.8 depends on Theorem 2.2, quoted from [2, Cor. 3.6] without proof and without an indication of which ingredients its proof uses. The manuscript's own double-counting equation, together with Lemma 2.7 and the orbit-stabilizer identity, makes Theorem 2.2 and Theorem 1.3 equivalent: each can be derived from the other. If [2, Cor. 3.6] was proved using the BCRR formula, the q-Whittaker expansion, or the Chen–Tseng splitting-subspace formula, then the present argument would be circular rather than a new proof. Please either include a proof of Theorem 2.2 or state explicitly, with a precise location in [2], that its proof is independent of Theorem 1.3, of [16], and of [5].
[§2, Lemma 2.5 and Lemma 2.7] Lemma 2.5 is imported from [3, Lem. 2.10] without proof and is used in the proof of Lemma 2.7. Since Lemma 2.7 is the newly proved extension-counting result that drives the second count, the paper should either prove Lemma 2.5 or reproduce its short proof so that the reader can verify the chain of deductions without consulting another paper.

minor comments (2)

[§2, proof of Theorem 2.8] In the display following the comparison of the two counts, the exponent on q is written with a summation sign whose index range is easy to miss; adding an explicit 'j≥2' under the summation or writing q^{∑_{j≥2} μ_j^2} would prevent ambiguity.
[References] Reference [16] is an arXiv preprint; if a published version now exists, the reference should be updated.

Circularity Check

0 steps flagged · score 2.0 of 10

No demonstrated circularity: the new proof reduces the Bender–Coley–Robbins–Rumsey formula to an independent-looking count of simple partial maps, with a mild burden from same-author citations.

full rationale

The proof of Theorem 2.8 is a genuine double count of pairs (W, \tilde T): fixing \tilde T with characteristic polynomial f gives γ_q(n)/(q^n-1)·σ(μ,T), while fixing W and using Theorem 2.2 plus Lemma 2.7 gives the same count in terms of simple partial maps and their extensions to characteristic polynomial f. The algebraic simplification is carried out explicitly and produces exactly the Bender–Coley–Robbins–Rumsey formula. The non-elementary inputs are Theorem 2.2, cited from [2, Cor. 3.6], and Lemma 2.5, cited from [3, Lem. 2.10], both from papers co-authored by the present author. These are statements about simple partial maps and defect dimensions, not restatements of Theorem 1.3 or of the q-Whittaker expansion, and no equation in the paper defines one in terms of the other. The main caveat is that, because Theorem 2.2 and Theorem 1.3 are connected by the same double-count identity up to elementary factors, the proof would be circular if [2, Cor. 3.6] had itself been proved from the BCRR formula; the paper does not demonstrate independence, but the cited theorem is a published external result and the manuscript itself contains no reduction of the target to itself. That is a self-citation burden rather than demonstrated circularity, hence the low score.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities. The proof depends on several external results, particularly Theorem 2.2 from the author's own prior work, which should be checked for independence from the target theorem.

assumptions (4)

domain assumption Theorem 2.2 (Arora-Ram, [2]): The number of simple maps on a k-dimensional subspace with defect dimensions mu is q^{sum_{j>=2} mu_j^2} gamma_q(k) prod [mu_i/mu_{i+1}]_q.
Quoted as a known result and used as the cornerstone of the double counting. Not proved in this paper and potentially close to the target formula.
domain assumption Lemma 2.5 (Arora-Ram-Venkateswarlu, [3]): The number of extensions of a simple map to a simple map on a subspace of dimension one larger is q^n - q^{k+1}.
Used in Lemma 2.7 to count extensions along a partial flag.
standard math Theorem 2.6 (Wimmer, [18]): A partial map can be extended to an operator with characteristic polynomial f iff the product of its invariant factors divides f.
Used to argue that every monic polynomial is the characteristic polynomial of an extension; classical matrix completion result.
standard math The number of operators with a given irreducible characteristic polynomial f over F_q^n is |GL_n(F_q)|/(q^n-1).
Uses cyclicity and centralizer size; standard in finite-field linear algebra.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Simple operators and $q$-Whittaker coefficients of power sum symmetric functions." pith.science (2026). https://pith.science/paper/GIXUDVTH

@misc{pith2026241116485,
  author       = {Pith},
  title        = {Pith review of: Simple operators and $q$-Whittaker coefficients of power sum symmetric functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GIXUDVTH}},
  note         = {Machine review of arXiv:2411.16485}
}

abstract

We give a new proof of a theorem of Bender, Coley, Robbins and Rumsey on counting subspaces with a given profile with respect to a simple operator. Counting such subspaces is equivalent to the problem of determining the $q$-Whittaker coefficients in the expansion of the power sum symmetric function. As a consequence we obtain a result of Chen and Tseng which answers a problem of Niederreiter on splitting subspaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages

[2]

Enumerating partial linear transformatio ns in a similarity class

A. Arora and S. Ram. “Enumerating partial linear transformatio ns in a similarity class”. Linear Algebra Appl. 625 (2021), pp. 196–211. doi

work page 2021
[16]

S. Ram. Subspace proﬁles over ﬁnite ﬁelds and q-Whittaker expansions of symmetric functions . 2023. arXiv: 2309.16607 [math.CO]

arXiv 2023
[5]

The splitting subspace conjecture

E. Chen and D. Tseng. “The splitting subspace conjecture”. Finite Fields Appl. 24 (2013), pp. 15–28. doi

work page 2013
[1]

Splitting subspaces of linear operator s over ﬁnite ﬁelds

D. Aggarwal and S. Ram. “Splitting subspaces of linear operator s over ﬁnite ﬁelds”. Finite Fields Appl. 78 (2022), Paper No. 101982, 17. doi

work page 2022
[3]

Unimodular polynomial matrices over ﬁnite ﬁelds

A. Arora, S. Ram, and A. Venkateswarlu. “Unimodular polynomial matrices over ﬁnite ﬁelds”. J. Algebraic Combin. 53.4 (2021), pp. 1299–1312. doi

work page 2021
[4]

Enumeration of subspaces by dimension sequ ence

E. A. Bender et al. “Enumeration of subspaces by dimension sequ ence”. J. Combin. Theory Ser. A 59.1 (1992), pp. 1–11. doi

work page 1992
[6]

A pentagonal number sieve

S. Corteel et al. “A pentagonal number sieve”. J. Combin. Theory Ser. A 82.2 (1998), pp. 186–192. doi

work page 1998
[7]

Matrix completion problems

G. Cravo. “Matrix completion problems”. Linear Algebra Appl. 430.8-9 (2009), pp. 2511–2540. doi

work page 2009

Show all 18 references

[8]

Block companion Singer cycles, primit ive recursive vector sequences, and coprime polynomial pairs over ﬁn ite ﬁelds

S. R. Ghorpade and S. Ram. “Block companion Singer cycles, primit ive recursive vector sequences, and coprime polynomial pairs over ﬁn ite ﬁelds”. Finite Fields Appl. 17.5 (2011), pp. 461–472. doi

2011
[9]

Enumeration of splitting subspaces over ﬁ- nite ﬁelds

S. R. Ghorpade and S. Ram. “Enumeration of splitting subspaces over ﬁ- nite ﬁelds”. Arithmetic, geometry, cryptography and coding theory . Vol. 574. Contemp. Math. Providence, RI: Amer. Math. Soc., 2012, pp. 49– 58. doi

2012
[10]

Gohberg, M

I. Gohberg, M. A. Kaashoek, and F. van Schagen. Partially speciﬁed matri- ces and operators: classiﬁcation, completion, applicatio ns. Vol. 79. Operator Theory: Advances and Applications. Birkh¨ auser Verlag, Basel, 1995. doi

1995
[11]

Hoﬀman and R

K. Hoﬀman and R. Kunze. Linear algebra . Second edition. Prentice-Hall, Inc., Englewood Cliﬀs, N.J., 1971

1971
[12]

The multiple-recursive matrix method for pse udorandom number generation

H. Niederreiter. “The multiple-recursive matrix method for pse udorandom number generation”. Finite Fields Appl. 1.1 (1995), pp. 3–30. doi

1995
[13]

Enumeration of anti-invariant subspac es and Touc- hard’s formula for the entries of the q-Hermite Catalan matrix

A. Prasad and S. Ram. “Enumeration of anti-invariant subspac es and Touc- hard’s formula for the entries of the q-Hermite Catalan matrix”. Adv. in Appl. Math. 154 (2024), Paper No. 102654. doi. 8 REFERENCES

2024
[14]

Set partitions, tableaux, and subspac e proﬁles under regular diagonal matrices

A. Prasad and S. Ram. “Set partitions, tableaux, and subspac e proﬁles under regular diagonal matrices”. European J. Combin. 124 (2025), Paper No. 104060. doi

2025
[15]

Splitting subspaces and a ﬁnite ﬁeld inter pretation of the Touchard-Riordan formula

A. Prasad and S. Ram. “Splitting subspaces and a ﬁnite ﬁeld inter pretation of the Touchard-Riordan formula”. European J. Combin. 110 (2023), Paper No. 103705, 11. doi

2023
[17]

Ram and M

S. Ram and M. J. Schlosser. Diagonal operators, q-Whittaker functions and rook theory. 2023. arXiv: 2309.06401 [math.CO]

2023 arXiv
[18]

Existenzs¨ atze in der Theorie der Matrizen und lin eare Kontrolltheorie

H. K. Wimmer. “Existenzs¨ atze in der Theorie der Matrizen und lin eare Kontrolltheorie”. Monatsh. Math. 78 (1974), pp. 256–263. Indraprastha Institute of Information Technology Delhi, N ew Delhi, India. Email address : samrithram@gmail.com

1974

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [2]

Enumerating partial linear transformatio ns in a similarity class

A. Arora and S. Ram. “Enumerating partial linear transformatio ns in a similarity class”. Linear Algebra Appl. 625 (2021), pp. 196–211. doi

work page 2021

[2] [16]

S. Ram. Subspace proﬁles over ﬁnite ﬁelds and q-Whittaker expansions of symmetric functions . 2023. arXiv: 2309.16607 [math.CO]

arXiv 2023

[3] [5]

The splitting subspace conjecture

E. Chen and D. Tseng. “The splitting subspace conjecture”. Finite Fields Appl. 24 (2013), pp. 15–28. doi

work page 2013

[4] [1]

Splitting subspaces of linear operator s over ﬁnite ﬁelds

D. Aggarwal and S. Ram. “Splitting subspaces of linear operator s over ﬁnite ﬁelds”. Finite Fields Appl. 78 (2022), Paper No. 101982, 17. doi

work page 2022

[5] [3]

Unimodular polynomial matrices over ﬁnite ﬁelds

A. Arora, S. Ram, and A. Venkateswarlu. “Unimodular polynomial matrices over ﬁnite ﬁelds”. J. Algebraic Combin. 53.4 (2021), pp. 1299–1312. doi

work page 2021

[6] [4]

Enumeration of subspaces by dimension sequ ence

E. A. Bender et al. “Enumeration of subspaces by dimension sequ ence”. J. Combin. Theory Ser. A 59.1 (1992), pp. 1–11. doi

work page 1992

[7] [6]

A pentagonal number sieve

S. Corteel et al. “A pentagonal number sieve”. J. Combin. Theory Ser. A 82.2 (1998), pp. 186–192. doi

work page 1998

[8] [7]

Matrix completion problems

G. Cravo. “Matrix completion problems”. Linear Algebra Appl. 430.8-9 (2009), pp. 2511–2540. doi

work page 2009