Pith. sign in

REVIEW 2 major objections 5 minor 30 references

On Frobenius-Perron Dimension

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

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

Pith's one-line read This paper defines a generalized Frobenius-Perron dimension for certain infinite-rank Z-modules and proves that, for polynomial representations of the unitary group U(k), its value on each irreducible S_λ(V) is exactly the ordinary…

desk verdict A genuine but modest paper: the Z•_+-ring framework and the numerical computation for Rep(U(k))+ are solid, but the proof that FPd• is a ring homomorphism has a real gap that needs repair. read the letter →

arxiv 1909.01693 v3 pith:ZAAQU3F7 submitted 2019-09-04 math.AG math.RA

Changzheng Li , Ryan M. Shifler , Mingzhi Yang , Chi Zhang This is my paper · ORCID
classification math.AGmath.RA MSC 14N3520G0514M1505E10
keywords Frobenius-PerrondimensionquantumcohomologyGrassmannianVerlindealgebraunitarygrouprepresentationsSchubertclassesspectralradius
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 proposes a way to extend Frobenius-Perron dimension from finite-rank fusion rings to certain free Z-modules of infinite rank, by taking limits over a nested filtration by finite-rank rings. It applies this to the Grothendieck ring of polynomial representations of U(k), filtered by Verlinde algebras at increasing levels. The central result is that the limiting dimension exists and sends each irreducible representation S_λ(V) to its ordinary dimension dim S_λ(V). The paper also proves a quantitative lower bound for the spectral radius of Schubert classes in the quantum cohomology of complex Grassmannians, and shows this bound yields a known lower-bound conjecture for Grassmannians. If correct, the construction gives an algebraic realization of the ordinary dimension function as a limit of spectral radii of quantum multiplication operators.

What carries the argument

The central object is a Z°_+-ring, namely a free Z-module equipped with a nested filtration by finite-rank Z_+-rings (A_r, B_r, ⋆_r), together with a generalized Frobenius-Perron dimension defined as the pointwise limit of the ordinary Frobenius-Perron dimensions FPdim_{A_r}. The load-bearing identity is the explicit formula for the spectral radius ρ_{k,λ}(n) of the operator of quantum multiplication by a Schubert class on QH*(Gr(k,n))|_{q=1}, expressed as a product of ratios of sines indexed by boxes of the Young diagram of λ. In the limit n→∞ this product becomes the Weyl dimension formula for S_λ(V), and an isomorphism between quantum cohomology and the Verlinde algebra transfers the computation to the representation ring.

What would settle it

Compute, for a small Grassmannian such as Gr(2,5) at q=1, the full eigenvalue spectra of quantum multiplication by two distinct Schubert classes and check whether ρ([X_λ]+[X_μ]) equals ρ([X_λ])+ρ([X_μ]) and whether ρ([X_λ][X_μ]) equals ρ([X_λ])ρ([X_μ]); any counterexample would directly falsify the ring-homomorphism step of the main theorem.

Watch

Extended reading notes

Core claim

The main theorem asserts that the Z-module A = Gr(Rep(U(k))+) together with the Verlinde-algebra filtration {((A_r, ⋆_r), B_r)} is a Z°_+-ring, that the generalized Frobenius-Perron dimension FPd• is well defined and is a Z°_+-ring homomorphism, and that FPd•([S_λ(V)]) = dim S_λ(V) for every polynomial irreducible representation of U(k). The proof combines an isomorphism between the quantum cohomology of the Grassmannian Gr(k,k+r) at q=1 and the level-(r,k+r) Verlinde algebra with an explicit hook-length formula for the spectral radius of quantum multiplication by a Schubert class, whose limit as n→∞ reduces exactly to the Weyl dimension formula.

Load-bearing premise

The proof that the limiting map is a ring homomorphism rests on assuming that spectral radius adds across sums and multiplies across products of the commuting quantum-multiplication operators, a property the paper does not prove from simultaneous diagonalizability alone.

Editorial extensions

If this is right

  • The ordinary dimension function on polynomial representations of U(k) is realized as a limit of spectral radii of quantum-product operators on Grassmannians.
  • For any Schubert class [X_λ] in QH*(Gr(k,n))|_{q=1}, the spectral radius satisfies the explicit lower bound ρ_{k,λ}(n) ≥ dim S_λ(V) ∏_{(i,j)∈λ}(1 − π²(k−i+j)²/(6n²)).
  • For partitions with at least two distinct parts, the function ρ_{k,λ}(x) is strictly increasing on the interval (k+λ₁−1, ∞) and concave down for sufficiently large x.
  • The lower bound implies the known conjecture for complex Grassmannians that n ρ_{k,(1,0,…,0)}(n) ≥ k(n−k)+1, with equality exactly when k=1 or n−1.
  • If the ring-homomorphism property holds, the construction supplies an amenable algebraic dimension function on Gr(Rep(U(k))+) in the spirit of dimension functions on rigid tensor categories.

Reading between the lines

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

  • The same limit-of-spectral-radii mechanism could be tested on other flag varieties without a known quantum-cohomology/Verlinde isomorphism, provided an explicit spectral-radius formula or numerical approximation is available.
  • A direct test of the unproved spectral-radius additivity on simultaneous eigenbases would settle the ring-homomorphism claim: for a small Grassmannian, compute all eigenvalues of the quantum-product operators for two Schubert classes and compare the spectral radius of their sum and product with the sum and product of their spectral radii.
  • The filtration by Verlinde algebras is a natural truncation of the polynomial representation ring, so a similar construction might yield dimension functions for compact Lie groups beyond U(k) if analogous fusion-ring limits can be computed.
  • The lower bound in the paper suggests an asymptotic expansion of ρ_{k,λ}(n) around dim S_λ(V), with the first correction governed by the sum of squares of the arm-length terms; a fuller expansion could yield sharper inequalities for Schubert classes.
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.

Referee Report

2 major / 5 minor

Summary. The paper introduces a notion of Frobenius-Perron dimension for free Z-modules equipped with an increasing filtration by finite-rank Z+-rings, called Z-bullet_+-rings. The main application is to A = Gr(Rep(U(k))_+), the polynomial representation ring of U(k), filtered by principal ideals indexed by partitions in P_k(k+r). Two ring structures on the filtered pieces are considered: one induced by the tensor product and one given by the Verlinde fusion product. Witten's isomorphism identifies the Verlinde algebra at level (r, k+r) with QH^*(Gr(k,k+r))|_{q=1}, and Rietsch's spectral-radius formula for Schubert classes then gives, via the hook-length formula, that the limit of Frobenius-Perron dimensions is dim S_lambda(V). The paper also proves a lower bound for the spectral radius of Schubert classes in quantum cohomology of Grassmannians and recovers Galkin's lower bound conjecture for Gr(k,n).

Significance. If the main theorem is fully established, the paper provides an attractive algebraic realization of the ordinary dimension function on Rep(U(k))_+ as a limit of spectral radii of quantum-product operators, and it strengthens the Frobenius-Perron bridge between fusion categories, quantum cohomology, and representation theory. The numerical computation is clean and relies on external, independent results: Rietsch's formula and the hook-length formula. The lower-bound theorem in Section 3 is also a genuine contribution and its proof in the appendix is essentially correct. No fitted parameters or normalization choices enter the computation, so there is no circularity concern. The main weakness is a gap in the proof of the ring-homomorphism assertion in Theorem 4.3, which is load-bearing for the stated form of the main theorem.

major comments (2)
  1. [Section 4, proof of Theorem 4.3] The proof asserts that because the commuting operators \hat{[X_\lambda]} on QH^*(Gr(k,n))|_{q=1} are simultaneously diagonalizable, the spectral radius satisfies \rho(a\hat{[X_\lambda]}+b\hat{[X_\mu]})=a\rho(\hat{[X_\lambda]})+b\rho(\hat{[X_\mu]}) and \rho(\hat{[X_\lambda]}\hat{[X_\mu]})=\rho(\hat{[X_\lambda]})\rho(\hat{[X_\mu]}). This implication is false: for A=diag(2,1) and B=diag(1,-2) one has \rho(A)=2, \rho(B)=2, but \rho(A+B)=3 and \rho(AB)=2. These equalities are the only justification given for the claim that FPdim_{A_r} is a ring homomorphism, which in turn is needed for FPd^\bullet to be a Z^\bullet_+-ring homomorphism. The gap is repairable: the fusion matrices of (A_r,\star_r) are nonnegative and share the positive Perron-Frobenius eigenvector given by quantum dimensions, so for nonnegative combinations of basis classes the spectral-radius identities follow from Perron-Frobenius theory rather than from simultaneous diagonalizability. The paper should supply this argument and state precisely the cone on which additivity is proved before extending linearly.
  2. [Theorem 1.4 and Theorem 4.3] The main theorem states that FPd^\bullet is a Z^\bullet_+-ring homomorphism, and the proof uses the invalid spectral-radius implication exactly at the point where this homomorphism property is derived. The numerical formula FPd^\bullet([S_\lambda(V)]) = \dim S_\lambda(V) is independently established by Theorem 3.6 and is not in question, but the homomorphism conclusion is unsupported as written. Because the homomorphism property is a defining requirement for FPd^\bullet to be the generalized Frobenius-Perron dimension, the stated form of Theorem 4.3 is not yet proved.
minor comments (5)
  1. [Proof of Theorem 4.3] The line 'Br = {[S_\lambda(V)] | \lambda \in P_k(r)}' should read '\lambda \in P_k(k+r)', matching the definition of Br given earlier in Section 4 and the filtration used throughout.
  2. [Definition 2.4] The sentence 'Assume lim ... exits and belongs to R' contains a typo: 'exits' should be 'exists'. It would also help to specify explicitly that the limit is taken over r \to +\infty.
  3. [Question 1.3] The phrase 'specture radius' should be 'spectral radius'.
  4. [Example 3.2] The Young-diagram figure is garbled in the manuscript; please replace it with a cleanly typeset diagram, since the hook-length notation is central to the subsequent formulas.
  5. [Section 4.2] The notation V_{\bar\lambda}^* for the dual representation is confusing because the dual of V_{\bar\lambda} is indexed by a different dominant weight; clarify this indexing.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the central computation rests on external formulas (Rietsch, Witten, hook-length), with only non-load-bearing self-citations.

full rationale

The paper's main derivation is self-contained against external results. Theorem 3.6 derives lim_{x->∞} ρ_{k,λ}(x) = dim S_λ(V) directly from Rietsch's explicit spectral-radius formula (external, [25]) and the hook-length formula (external, [26]). Proposition 4.2 invokes Witten's isomorphism (external, [30], [1], [3]) to identify each Verlinde algebra A_r with quantum cohomology, and Theorem 4.3 then assembles the limit as FPd•([S_λ(V)]) = dim S_λ(V). No parameter is fitted, no closely related quantity is first measured and then 'predicted', and no uniqueness theorem is imported from the authors' prior work. The self-citations [14] and [27] concern Galkin's lower bound conjecture and numerical investigation; they appear in Example 3.10 and the introduction but are not load-bearing for the central Theorem 4.3. The proof of Theorem 4.3 contains a genuine gap: it asserts that simultaneous diagonalizability alone implies additive and multiplicative spectral-radius identities, which is false in general. That is a mathematical correctness issue, not a circularity, because it does not reduce the conclusion to the assumption by definition or by fitted data. Thus the circularity score is low, reflecting only the presence of a minor non-load-bearing self-citation.

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

The central computation rests on external theorems: Rietsch's spectral radius formula and Witten's isomorphism from quantum cohomology to Verlinde algebras, plus the hook-length formula. There are no fitted parameters and no invented entities. One internal assertion, the additivity of spectral radius in Theorem 4.3, is used without proof and is not a standard consequence of simultaneous diagonalizability; this is the weakest point in the paper.

assumptions (5)
  • standard math Frobenius-Perron theorem for nonnegative matrices: an irreducible nonnegative matrix has its spectral radius as a simple eigenvalue (Berman-Plemmons).
    Used in Definition 2.1 to guarantee that the spectral radius of each induced operator is an eigenvalue for finite-rank Z+-rings.
  • domain assumption Rietsch's formula (Lemma 3.1) for the spectral radius of Schubert class multiplication in QH*(Gr(k,n))|_{q=1}: rho_{k,lambda}(n) is the product over boxes of sin(k-i+j)pi/n divided by sin(hook length)pi/n.
    External theorem from [25], cited as the source of the key formula; it is load-bearing for the limit in Theorem 3.6 and therefore for Theorem 4.3.
  • domain assumption Witten's isomorphism (Proposition 4.2) between QH*(Gr(k,k+r))|_{q=1} and the Verlinde algebra of U(k) at level (r,k+r).
    External theorem from [30,1,3]; it identifies the finite-rank truncations used in the filtration with quantum cohomology rings so that Rietsch's formula can be applied.
  • standard math Hook-length formula for dimensions of irreducible representations of U(k) (Lemma 3.5).
    Standard representation theory result from [26]; it pairs with Rietsch's formula to produce dim S_lambda(V) as the limit.
  • ad hoc to paper Additivity and multiplicativity of spectral radius for the simultaneously diagonalizable operators {[X_lambda]} on QH*(Gr(k,n))|_{q=1}.
    Asserted in the proof of Theorem 4.3 without proof. It is not a general consequence of simultaneous diagonalizability, and the paper needs an additional argument, for example using the Perron-Frobenius character of the fusion ring, to establish that FPdim_{A_r} is a ring homomorphism.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Frobenius-Perron Dimension." pith.science (2026). https://pith.science/paper/ZAAQU3F7

@misc{pith2026190901693,
  author       = {Pith},
  title        = {Pith review of: On Frobenius-Perron Dimension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZAAQU3F7}},
  note         = {Machine review of arXiv:1909.01693}
}
abstract

We propose a notion of Frobenius-Perron dimension for certain free $\mathbb{Z}$-modules of infinite rank and compute it for the $\mathbb{Z}$-modules of finite dimensional complex representations of unitary groups with nonnegative dominant weights. We also provide a lower bound for the Frobenius-Perron dimension of Schubert classes in the quantum cohomology of complex Grassmannians.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages

  1. [1]

    Agnihotri, Quantum cohomology and the verlinde algebra , Ph.D

    S. Agnihotri, Quantum cohomology and the verlinde algebra , Ph.D. thesis, University of Oxford, 1995

    work page 1995

  2. [2]

    A. Beauville, Conformal blocks, fusion rules and the Verlinde formula , In: Proceedings of the Hirzebruch 65 Conference on Algebraic Geometry (Ramat Gan, 1993), 75–96, Bar-Ilan University, Ramat Gan, 1996

    work page 1993

  3. [3]

    Belkale, Quantum generalization of the Horn conjecture , J

    P. Belkale, Quantum generalization of the Horn conjecture , J. Amer. Math. Soc. 21 (2008), no. 2, 365–408

    work page 2008

  4. [4]

    Berman, R.J

    A. Berman, R.J. Plemmons, Nonnegative matrices in the mathematical sciences , Classics in Applied Mathematics, 9. SIAM, Philadelphia, PA, 1994

    work page 1994

  5. [5]

    J. Chen, Z. Gao, E. Wicks, J.J. Zhang, X. Zhang and H. Zhu, Frobenius-Perron Theory of Endofunctors, preprint at arxiv: math.RA/1711.06670

    work page Pith review arXiv

  6. [6]

    Galkin's Lower bound Conjecure for Lagrangian and orthogonal Grassmannians

    D. Cheong, M. Han, Galkin’s lower bound conjecture for Lagrangian and orthogonal Grass- mannians, arxiv: math.AG/1906.11646

    work page Pith review arXiv 1906

  7. [7]

    Cheong and C

    D. Cheong and C. Li, On the conjecture O of GGI for G/P , Adv. Math. 306 (2017), 704–721

    work page 2017

  8. [8]

    Doplicher, J.E

    S. Doplicher, J.E. Roberts, A new duality theory for compact groups, Invent. Math. 98 (1989), no. 1, 157–218

    work page 1989

Show all 30 references
  1. [9]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, Tensor categories, Mathematical Surveys and Monographs, 205. American Mathematical Society, Providence, RI, 2015

    2015

  2. [10]

    Etingof On Vafa’s theorem for tensor categories Math

    P. Etingof On Vafa’s theorem for tensor categories Math. Res. Lett. 9 (2002), no. 5, 651–658

    2002

  3. [11]

    Etingof Frobenius-Perron dimensions of integral Z+-rings and applications , preprint at arxiv: math.RA/1812.06556

    P. Etingof Frobenius-Perron dimensions of integral Z+-rings and applications , preprint at arxiv: math.RA/1812.06556

    arXiv

  4. [12]

    Etingof, D

    P. Etingof, D. Nikshych and V. Ostrik, On fusion categories , Annals of Mathematics 162 (2005), 581–642

    2005

  5. [13]

    Etingof, V

    P. Etingof, V. Ostrik, Finite tensor categories, Moscow Math. Journal 4 (2004), 627–654

    2004

  6. [14]

    Evans, L

    L. Evans, L. Schneider, R. Shifler, L. Short and S. Warman, Galkin’s lower bound conjecture holds for the Grassmannian , to appear in Comm. Algebra. ON FROBENIUS-PERRON DIMENSION 11

  7. [15]

    Fr¨ ohlich, T

    J. Fr¨ ohlich, T. Kerler,Quantum groups, quantum categories and quantum field theory , Lec- ture Notes in Math. 1542 (1993)

    1993

  8. [16]

    Fulton, Young tableaux

    W. Fulton, Young tableaux. With applications to representation theory and geometry, London Mathematical Society Student Texts, 35. Cambridge University Press, Cambridge, 1997

    1997

  9. [17]

    Galkin, The conifold point, preprint at arXiv: math.AG/1404.7388

    S. Galkin, The conifold point, preprint at arXiv: math.AG/1404.7388

    arXiv

  10. [18]

    Galkin, V

    S. Galkin, V. Golyshev and H. Iritani, Gamma classes and quantum cohomology of Fano manifolds: gamma conjectures , Duke Math. J. 165 (2016), no. 11, 2005–2077

    2016

  11. [19]

    P. Ghez, R. Lima and J.E. Roberts, W ∗-categories, Pacific J. Math. 120 (1985), no. 1, 79–109

    1985

  12. [20]

    F. Hiai, M. Izumi, Amenability and strong amenability for fusion algebras with applications to subfactor theory , Internat. J. Math. 9 (1998), no. 6, 669–722

    1998

  13. [21]

    Jones, Index for subfactors , Invent

    V. Jones, Index for subfactors , Invent. Math. 72 (1983), 1–25

    1983

  14. [22]

    Longo, J.E

    R. Longo, J.E. Roberts, A theory of dimension , K-Theory 11 (1997), no. 2, 103–159

    1997

  15. [23]

    Neshveyev, L

    S. Neshveyev, L. Tuset, Compact quantum groups and their representation categories , Cours Sp´ ecialis´ es, 20. Soci´ et´ e Math´ ematique de France, Paris, 2013

    2013

  16. [24]

    Popa, Sorin, Classification of amenable subfactors of type II , Acta Math

    S. Popa, Sorin, Classification of amenable subfactors of type II , Acta Math. 172 (1994), no. 2, 163–255

    1994

  17. [25]

    Rietsch, Quantum cohomology rings of Grassmannians and total positivity , Duke Math

    K. Rietsch, Quantum cohomology rings of Grassmannians and total positivity , Duke Math. J. 110 (2001), no. 3, 523–553

    2001

  18. [26]

    Robinson, Representation theory of the symmetric group , Mathematical Expositions, No

    G.B. Robinson, Representation theory of the symmetric group , Mathematical Expositions, No. 12. University of Toronto Press, Toronto 1961

    1961

  19. [27]

    Shifler, S

    R. Shifler, S. Warman, On Frobenius-Perron dimension and Galkin’s lower bound conjecture, preprint

  20. [28]

    Verlinde, Fusion rules and modular transformations in 2D conformal field theory, Nuclear Phys

    E. Verlinde, Fusion rules and modular transformations in 2D conformal field theory, Nuclear Phys. B 300 (1988), no. 3, 360–376

    1988

  21. [29]

    Wicks, Frobenius-Perron theory of modified ADE bound quiver algebras , J

    E. Wicks, Frobenius-Perron theory of modified ADE bound quiver algebras , J. Pure Appl. Algebra 223 (2019), no. 6, 2673–2708

    2019

  22. [30]

    Witten, The Verlinde algebra and the cohomology of the Grassmannian , Geometry, topol- ogy, and physics, 357–422, Conf

    E. Witten, The Verlinde algebra and the cohomology of the Grassmannian , Geometry, topol- ogy, and physics, 357–422, Conf. Proc. Lecture Notes Geom. Topology, IV, Int. Press, Cam- bridge, MA, 1995. School of Mathematics, Sun Yat-sen University, Guangzhou 510275, P.R. China E-m...

    1995

Pith tools

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