Quantum $\mathfrak{gl}$-weight system and its average values

Mikhail Zaitsev

REVIEW 4 major objections 6 minor 12 references

Quantum $\mathfrak{gl}$-weight system and its average values

T0 review · 4 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the average value of the universal gl-weight system on permutations is a finite sum of one-part Schur functions with Bernoulli-polynomial coefficients, obtained as the classical limit of a new quantum deformation.

desk verdict Genuine proof of the KKLS conjecture with a new q-deformation, worth refereeing despite typos and a terse q→1 limit step. read the letter →

arxiv 2506.17706 v1 pith:S6PK4QCP submitted 2025-06-21 math.CO math.QA

Mikhail Zaitsev This is my paper · ORCID

classification math.COmath.QA MSC 05E0505E1020C0817B37

keywords weightsystemsuniversalgl-weightsystemHeckealgebraReflectionEquationone-partSchurfunctionsq-BernoullipolynomialsquantumHarish-Chandraisomorphism

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 a conjectured closed formula for the average value of the universal $\mathfrak{gl}$-weight system, a family of polynomial invariants attached to permutations that encodes finite-type knot invariants and unifies all $\mathfrak{gl}(N)$-weight systems. The formula says that the average $W_m$ is a finite linear combination of one-part Schur functions $S_k$ (Schur polynomials indexed by partitions with a single part) with explicit coefficients built from Bernoulli polynomials of order $\nu=N-1$: $$W_m(N)=\sum_{l=0}^{m}\frac{(\nu+m)_l}{l!}\,$B_l^{{(\nu)}}$\left(\frac{\nu}{2}\right)S_{m-l},$$ with the equivalent generating-function identity of Theorem 4. To get there, the paper builds a quantum analogue of the weight system on Hecke algebras of type $A$ and shows that its average value $\Omega_m(N)$ on the $q$-symmetrizer is the same kind of combination with $q$-Bernoulli coefficients; the classical formula is recovered by taking $q\to 1$ coefficient-wise. The proof makes the averaged universal $\mathfrak{gl}$-weight system explicitly computable for every $m$ and $N$ without summing over permutations, and it yields a one-parameter quantum deformation of the classical average.

What carries the argument

The central mechanism is the quantum $\mathfrak{gl}$-weight system $\omega_m$ on the type-$A$ Hecke algebra $H_m$, built from the Reflection Equation algebra $M(N)$ and its $R$-matrix representation. The center of $M(N)$ is identified with symmetric polynomials in auxiliary variables $\xi_i$ (the quantum analogue of the Harish-Chandra isomorphism), and the quantum power sums $p_m$ and quantum Casimirs $C_m$ are expressed through those variables by the quantum Perelomov-Popov formulas. The averaged value $\Omega_m(N)=\omega_{m,N}(h_m)$ is computed with the characteristic mapping $\chi_m$ and the $q$-symmetrizer $h_m$, using the trace formula $\langle H^{(m)}\rangle_{m,m}=q^{-1}\frac{[\nu+m]_q}{[m]_q}H^{(m-1)}$; the result is a finite sum of one-part Schur functions whose coefficients are $q$-Bernoulli polynomials. The classical Bernoulli polynomials $B_l^{(\nu)}$ emerge as the $q\to 1$ limits of these coefficients.

What would settle it

Directly evaluate both sides of Eq. (2.2) for a small case such as $m=3$, $N=2$: compute the left side from the definition of the $\mathfrak{gl}(2)$-weight system on the six permutations of $S_3$, and compute the right side as a polynomial in $x_1,x_2$ using the Schur functions $S_0,S_1,S_2,S_3$ and Bernoulli polynomials $B_l^{(1)}(1/2)$. Any mismatch between these two explicit polynomials would refute the theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 4: the averaged universal $\mathfrak{gl}$-weight system satisfies the generating function identity $$\sum_{m=0}^\infty\frac{W_m}{(m+\nu)!}t^m = \left(\frac{$e^{{t/2}}$-$e^{{-t/2}}$}{t}\right)^{-\nu}\sum_{k=0}^\infty \frac{S_k}{(k+\nu)!}t^k,$$ where $\nu=N-1$ and $S_k$ are the one-part Schur polynomials. Equivalently, $W_m(N)=\sum_{l=0}^m \frac{(\nu+m)_l}{l!}B_l^{(\nu)}(\nu/2)S_{m-l}$, which is precisely the expression previously conjectured. The proof introduces the quantum $\mathfrak{gl}$-weight system $\omega_m$ on the Hecke algebra $H_m$ and demonstrates that its value on the $q$-symmetrizer $h_m$ is $$\Omega_m(N)=\frac{m!}{(\nu+m)!}\frac{[\nu+m]_q!}{[m]_q!}\sum_{l=0}^m \frac{(\nu+m)_l}{$q^{{2l}}$l!}\$beta_l^{{(\nu+m-l,\nu)}}$(\nu/2)S_{m-l},$$ where $\beta_l^{(h,k)}$ are order-$k$ $q$-Bernoulli polynomials. The paper then proves that the termwise $q\to 1$ limit of this quantum expression equals $W_m(N)$, establishing the conjectured classical formula as a specialization of the quantum invariant.

Load-bearing premise

The whole argument assumes the algebraic quantities can be faithfully re-expressed as ordinary polynomials in some auxiliary variables, and that the classical limit can be taken piece by piece in those variables; if that re-expression or that limit is not valid, the formula collapses.

Editorial extensions

If this is right

The averaged $\mathfrak{gl}(N)$-weight system is explicitly computable by substituting $N$ and the variables $x_1,\dots,x_N$ into Eq. (2.2); no summation over all $m!$ permutations is required.
The generating-function identity of Theorem 4 packages every average $W_m$ into a single expression, so information about all $m$ can be extracted from one expansion.
The quantum formula (2.1) provides a one-parameter deformation $\Omega_m(N)$ whose $q\to 1$ limit is the classical value, giving a bridge between Hecke-algebra computations and classical weight systems.
Since the coefficients are Bernoulli polynomials of order $\nu$, the average weight system inherits the generating series, recurrences, and arithmetic properties of classical Bernoulli polynomials.

Reading between the lines

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

Beyond the paper, the same characteristic-mapping and $q$-Casimir machine should give explicit averaged formulas for other central idempotents of the Hecke algebra, not just the $q$-symmetrizer.
The appearance of $q$-Bernoulli polynomials points to a measure-theoretic reading of the average weight system as an expectation against a $q$-deformed distribution, in the spirit of $q$-Volkenborn integration.
The classical formula's Bernoulli-polynomial coefficients invite a connection to Todd classes and Hirzebruch genera; the averaged $\mathfrak{gl}$-weight system could be a combinatorial shadow of a universal multiplicative genus, a direction the paper does not explore.
A direct numerical check of Eq. (2.1) for small $N$ and $m$ using the $R$-matrix definition of $\omega_{m,N}$ would test the quantum formula independently of the derivations.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

Bottom line: this is a proof of the KKLS conjecture, not a restatement, and it adds a genuinely new q-deformed result. The main formula is not fitted; it emerges from a structured computation in the Reflection Equation algebra, and the classical limit is benchmarked against independent results. I think it should be refereed.

What is new: Theorem 4 was open in [KKLS]. The proof goes through the universal quantum gl-weight system on Hecke algebras, uses the characteristic map to reduce the average of the q-symmetrizer, and lands on q-Bernoulli polynomials times one-part Schur functions. The universality arguments in Propositions 12–16 are a real piece of work: they establish the weight system by polynomial identities checked at infinitely many N. Section 6.2 on q-Bernoulli limits is the cleanest part; the recursion there is explicit and the limit is Carlitz's theorem applied through legitimate identities. There are no free parameters anywhere.

Soft spots, in size order. First, the manuscript has concrete typos in central formulas: Eq. (2.1) and Eq. (6.1) disagree on the order parameter of the q-Bernoulli polynomial, and Eq. (6.2) contains an undefined l. These are likely copy-paste errors, but they make the printed derivation impossible to verify as written. Second, the limit q→1 after the Harish-Chandra substitution is asserted more quickly than I would like. Remark 3 says the limit is coefficient-wise in the xi variables, but the relation xi = q^{1-N−ξ_i}/(q^2−1) is singular at q=1, and the text does not justify that the image converges coefficient-wise. This is the one mathematically substantive gap. I would not call it fatal: the computation is checked against independent results of [JLM] and [Ok], and the conjecture itself is not assumed, so there is no circularity. But a referee should ask for a direct justification of the limit or a cleaner change of variables. The paper's own admission that it cannot yet prove specialization on arbitrary Hecke elements is honest and does not affect the averaged statement.

This is for people in weight systems, Vassiliev invariants, and Hecke-algebra centers. I would send it to a serious referee; after the typos and the limit justification are addressed, I would cite it.

Referee Report

4 major / 6 minor

Summary. The paper claims to prove a conjecture of Kazarian, Krasilnikov, Lando, and Shapiro giving an explicit formula for the average value of the universal gl-weight system on permutations: the generating function identity of Theorem 4, equivalently Eq. (2.2), expressing W_m(N) as a linear combination of one-part Schur functions with Bernoulli-polynomial coefficients. The proof introduces a universal quantum gl-weight system on Hecke algebras of type A, constructed through the Reflection Equation algebra, and derives a q-analogue formula (2.1)/(6.1) for the average value on the q-symmetrizer in terms of q-Bernoulli polynomials and Schur functions. The classical conjecture is then recovered by taking the q to 1 limit, with a separate proof of the limit of the q-Bernoulli polynomials.

Significance. The paper targets a recent conjecture and, if the proof is sound, would provide both a proof and a one-parameter quantum deformation of the average universal gl-weight system. The construction has a natural algebraic framework, uses independent external results ([GPS], [JLM], [Ok], [C]), and includes explicit low-degree computations as cross-checks. The main limitations are presentation and rigor gaps in the central formulas and the q to 1 limit, which are fixable but currently prevent verification.

major comments (4)

[§6.1, Eq. (6.2)] Eq. (6.2) uses an index l in the ratio ([nu+m+l]_q)_{m-k}/([m+l]_q)_{m-k} without defining it or summing over it, so the central formula for Omega_m(N) is not well-formed as printed. From Corollary 18 and Lemma 22 the factor should presumably be ([nu+m]_q)_{m-k}/([m]_q)_{m-k} (possibly with a q-power), and the correction is needed before the derivation can be checked.
[§2, Eq. (2.1); §6, Eq. (6.1)] The two displayed formulas for Omega_m(N), both presented as the main result, disagree on the order of the q-Bernoulli polynomial: Eq. (2.1) has beta^{(m-nu+1,nu)}_l(nu/2) while Eq. (6.1) has beta^{(nu+m-l,nu)}_l(nu/2). This is not a harmless difference, because the order enters the coefficient and its q to 1 limit; the inconsistency must be resolved.
[§4.2, Remark 3; §6.1, Corollary 27] The claim that the q to 1 limit can be taken coefficient-wise in the variables x_i is not justified. The change of variables x_i = q^{1-N-xi_i}/(q^2-1) is singular at q=1: if x_i are fixed, xi_i diverges, while if xi_i are fixed, x_i diverges. Corollary 27 substitutes u=q^{-nu} into Eq. (6.3) without explaining how the variables u-xi_i are related to the x_i appearing in Eq. (6.1). A precise statement of the ring in which Eq. (6.1) is an identity, and a proof that the Schur-function expansion is compatible with the classical Harish-Chandra image under this reparameterization, are needed for the limit step in Theorem 4.
[§5, proof of Theorem 21] The passage from the triangular relations (5.4)-(5.5) to the conclusion that lim_{q to 1} Omega_m(N) = W_m(N) is compressed into a single sentence. The paper should state explicitly that the inverse of a unitriangular matrix whose entries are regular at q=1 is regular at q=1 (or give the ring of functions in which the inversion is performed), and it should identify the limit of the inverse with the inverse of the classical limit; the current wording leaves the regularity of the inverse entries as an unstated assumption.

minor comments (6)

[§1.2 and throughout] The same symbols p_i and C_i denote generators of M(N), central elements of U(gl(N)), and universal variables; a short clarification of these identifications would improve readability.
[§4.2, Lemma 6] In the proof of Lemma 6, the sentence 'The element gm does not affect the calculation' should refer to g_{m-1}; as written it is a typo.
[§4.3, Example 1] In Example 1, item 5, the expression '1/q^2N' should be typeset as q^{-2N}.
[§6] The sentence 'Collecting these equalities for all n in a generating series' uses n where m is meant.
[References] Reference [Ok] has a typo in the title ('ans' should be 'and').
[§4.2, Proposition 15] The phrase 'This mapping may not satisfy the definition of a quantum weight system and may even be non-linear' is confusing in a proof of well-definedness and should be rephrased.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the KKLS conjecture is derived as the q→1 limit of an independently computed quantum average, not assumed as an input.

full rationale

The paper's central target, Theorem 4 / Eq. (2.2), is the KKLS conjecture, and it is not used as a premise anywhere. The derivation computes the averaged quantum gl-weight system Ω_m(N) from the R-matrix model ω_{m,N}(x)=⟨L_1...L_m ρ(x)⟩ (Definition 14, Proposition 15) and the characteristic map χ_m(h_m)=q^{-m}S_m(ξ) imported from [GPS] (Proposition 24). The coefficient reduction to q-Bernoulli polynomials in Corollary 27 is an explicit summation identity, not a definitional match: the β-polynomials are defined independently by a finite sum (Eq. (2.1)) and their appearance after substituting Proposition 26 is derived. The classical limit is transferred through the auxiliary elements bΩ_m and cW_m, whose Harish-Chandra images are quoted from [JLM] and [Ok] (Eqs. (5.1), (5.2)); these are external benchmark results, and the triangular relation (5.4)-(5.5) between the auxiliary and target sequences is proven in Proposition 23. The q→1 limit of β^{(h,k)}_m is quoted from [C] and proven via recursions in Proposition 28 with no use of the target formula. No fitted parameter is renamed as a prediction. The typos in Eq. (6.2) (undefined index l) and the tersely justified coefficient-wise limit of Remark 3 are correctness/rigor concerns, not circularity: they do not make Eq. (2.2) equal to an input by construction. The paper even flags an unproved general zeroth-order coincidence in Example 1, which is a limitation statement, not a circular assumption. No load-bearing self-citation is present: the non-original ingredients are attributed to [GPS], [GS], [JLM], [Ok], and [C], none by the author.

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

No constants are fitted to data anywhere in the paper. N (rank) and q (deformation parameter) are formal variables; the shift nu/2 in the Bernoulli argument and the falling-factorial coefficients arise from the computation itself (Corollary 27), not from an ad hoc choice. The derivation rests on structural results imported from [GPS], [JLM], [Ok], and [C], all of which are external benchmarks rather than results of this paper. The only new object, the universal quantum gl-weight system, is constructed with a proof of existence and has multiple independent specializations.

assumptions (5)

standard math The R-matrix representation rho(g_i) = R_{i,i+1} of the Hecke algebra H_m satisfies the Hecke and braid relations (Section 4.3, Eqs. (4.2)-(4.3)).
Standard facts about Drinfeld-Jimbo R-matrices and Hecke algebras of type A, cited to [OP]; used to define the characteristic and quantum weight systems.
domain assumption The center of the Reflection Equation algebra M(N) is identified with the ring of symmetric polynomials in variables xi_i via the quantum Harish-Chandra isomorphism, Eqs. (4.7)-(4.8).
Imported from [GPS] and [GS]; this identification puts all computed values into Schur polynomials S_m(xi) and permits the coefficient-wise q to 1 limit taken in Remark 3.
domain assumption The mean value of the quantum character on the q-symmetrizer satisfies chi_m(h_m) = q^{-m} S_m(xi_1,...,xi_N) (Proposition 24).
Stated as a result from [GPS]; it is the seed used to compute Omega_m via Corollary 18.
domain assumption The explicit images of bOmega_m(N) and cW_m(N) under the Harish-Chandra isomorphism, Eqs. (5.1) and (5.2), are as given in [JLM] Theorem 3.2 and [Ok] Eqs. (2.1)-(2.2).
These external formulas anchor the limit argument that the q to 1 limit of Omega_m equals W_m.
domain assumption The classical limit of the q-Bernoulli numbers beta^{(1,1)}_m is the classical Bernoulli number B_m (Proposition 30, cited from [C]).
Used in Proposition 28 to pass from q-Bernoulli polynomials to classical Bernoulli polynomials, which appear as coefficients in Theorem 4.

invented entities (1)

Universal quantum gl-weight system omega_m (Definition 9) with companion universal characteristic map chi_m (Definition 7) independent evidence
purpose: One-parameter (q) deformation of the gl-weight system on Hecke algebras, used to compute averaged values and then take the q to 1 limit.
Not postulated from a hat: existence is proved from the Reflection Equation algebra construction (Propositions 12 and 15), the system specializes to omega_{m,N} for every N, and concrete values on small Hecke elements are computed in Example 1. Its classical limit on the q-symmetrizer is the paper's central object.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantum $\mathfrak{gl}$-weight system and its average values." pith.science (2026). https://pith.science/paper/S6PK4QCP

@misc{pith2026250617706,
  author       = {Pith},
  title        = {Pith review of: Quantum $\mathfrakgl$-weight system and its average values},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S6PK4QCP}},
  note         = {Machine review of arXiv:2506.17706}
}

abstract

We present a proof of a recent conjecture due to M. Kazarian, E. Krasilnikov, S. Lando, and M. Shapiro, which describes the average value of the universal $\mathfrak{gl}$-weight system on permutations. The proof uses a quantum analogue of the $\mathfrak{gl}$-weight system on Hecke algebras of type $A$, which leads to a one-parameter deformation of the average value of the universal ${\mathfrak{gl}}$-weight system. We show that the average value of the quantum weight system is a linear combination of one-part Schur functions, with coefficients being $q$-analogues of Bernoulli polynomials.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 9 canonical work pages

[1]

L. C. Carlitz, q-Bernoulli numbers and polynomials, Duke Math. J. 15 (1948), 987–1000

work page 1948
[2]

Gurevich D., Pyatov P., Saponov P., The GL(m|n) type quantum matrix algebras II: the structure of the characteristic subalgebra and its spectral parameterization, Theoretical and Mathematical Physics 147 (2006) 460-485

work page 2006
[3]

Gurevich D., Saponov P., Generalized Harish-Chandra morphism on Reflection Equation algebras Journal of Geometry and Physics. 2025. Vol. 210. Article 105435

work page 2025
[4]

arXiv:2408.09855v2 [math.QA] (2024)

Jing N., Lui M., Molev A., The q-immanants and higher quantum Capelli identities. arXiv:2408.09855v2 [math.QA] (2024)

arXiv 2024
[5]

Jones, Hecke algebra Representations of Braid Groups and Link Polynomials, Annals of Mathematics, Vol

V. Jones, Hecke algebra Representations of Braid Groups and Link Polynomials, Annals of Mathematics, Vol. 126, No. 2 (Sep., 1987), pp. 335--388

work page 1987
[6]

Kim, J. Choi, B. Lee and C. S. Ryoo, Some Identities on the Generalized q-Bernoulli Numbers and Polynomials Associated with q-Volkenborn Integrals, Journal of Inequalities and Applications, Vol. 2010, Article ID 575240, 17 pages

work page 2010
[7]

Kazarian, S

M. Kazarian, S. Lando, Weight systems and invariants of graphs and embedded graphs, Russ. Math. Surveys, 77 (5) 893–942 (2022)

work page 2022
[8]

Generalized chord diagrams and weight systems

M. Kazarian, E. Krasilnikov, S. Lando, M. Shapiro, Generalized chord diagrams and weight systems, arXiv:2505.24491 [math.CO] (2025)

work page Pith review arXiv 2025

Show all 12 references

[9]

1, no.1 & 2, 99-12

Okounkov A., Quantum immanants ans higher Capelli identities, Transformation Groups (1996), vol. 1, no.1 & 2, 99-12

1996
[10]

Okounkov, G

A. Okounkov, G. Olshanski, Shifted Schur Functions, St. Petersburg Math
[11]

Ogievetsky O., Pyatov P., Lecture on Hecke algebras, preprint CPT-000/P.4076 (2004)

2004
[12]

Zhuoke Yang, New approaches to gl(N) weight system, Izvestiya Mathematics, 87:6, 150–166 (2023), arXiv:2202.12225 (2022)

2023 arXiv

Pith tools

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

[1] [1]

L. C. Carlitz, q-Bernoulli numbers and polynomials, Duke Math. J. 15 (1948), 987–1000

work page 1948

[2] [2]

Gurevich D., Pyatov P., Saponov P., The GL(m|n) type quantum matrix algebras II: the structure of the characteristic subalgebra and its spectral parameterization, Theoretical and Mathematical Physics 147 (2006) 460-485

work page 2006

[3] [3]

Gurevich D., Saponov P., Generalized Harish-Chandra morphism on Reflection Equation algebras Journal of Geometry and Physics. 2025. Vol. 210. Article 105435

work page 2025

[4] [4]

arXiv:2408.09855v2 [math.QA] (2024)

Jing N., Lui M., Molev A., The q-immanants and higher quantum Capelli identities. arXiv:2408.09855v2 [math.QA] (2024)

arXiv 2024

[5] [5]

Jones, Hecke algebra Representations of Braid Groups and Link Polynomials, Annals of Mathematics, Vol

V. Jones, Hecke algebra Representations of Braid Groups and Link Polynomials, Annals of Mathematics, Vol. 126, No. 2 (Sep., 1987), pp. 335--388

work page 1987

[6] [6]

Kim, J. Choi, B. Lee and C. S. Ryoo, Some Identities on the Generalized q-Bernoulli Numbers and Polynomials Associated with q-Volkenborn Integrals, Journal of Inequalities and Applications, Vol. 2010, Article ID 575240, 17 pages

work page 2010

[7] [7]

Kazarian, S

M. Kazarian, S. Lando, Weight systems and invariants of graphs and embedded graphs, Russ. Math. Surveys, 77 (5) 893–942 (2022)

work page 2022

[8] [8]

Generalized chord diagrams and weight systems

M. Kazarian, E. Krasilnikov, S. Lando, M. Shapiro, Generalized chord diagrams and weight systems, arXiv:2505.24491 [math.CO] (2025)

work page Pith review arXiv 2025