Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Alternating dual Pieri rule conjecture and $k$-branching conjecture of closed $k$-Schur Katalan functions

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · 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 the alternating dual Pieri rule for closed k-Schur Katalan functions in the large-k limit and for strictly decreasing partitions, and proves the k-branching conjecture for strictly decreasing partitions.

desk verdict A well-intentioned but currently broken straightening lemma leaves Theorems 1.3–1.4 unproved as written. read the letter →

arxiv 2501.04200 v1 pith:4WYSTBIE submitted 2025-01-08 math.CO

Yaozhou Fang , Xing Gao This is my paper · ORCID
classification math.CO MSC 05E0505E1014N15
keywords k-SchurfunctionsKatalanclosedalternatingdualPierirulek-branchingloweringoperatorssymmetricfunctionpositivity
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

Closed $k$-Schur Katalan functions are a basis of a natural filtration of the symmetric functions, and their structure constants were conjectured to alternate in sign. This paper establishes the alternating dual Pieri rule for them in two regimes: in the large-$k$ limit, and for strictly decreasing $k$-bounded partitions for every $k$. It also establishes the $k$-branching expansion for strictly decreasing $k$-bounded partitions. The reason to care is that the alternating sign is the K-theoretic form of positivity: after multiplying by $(-1)^{|\lambda|-|\mu|-m}$, all coefficients are nonnegative integers, so the expansion is a genuine positive statement rather than a formal identity.

What carries the argument

The mechanism is the lowering-operator calculus on the root ideals $\Delta_k(\lambda) = \{ (i,j) : k - \lambda_i + i < j \}$. Lowering operators $L_z$ act on a generalized closed $k$-Schur Katalan function $\tilde{g}^{(k)}_\mu = K(\Delta_k(\mu); \Delta_k(\mu); \mu)$ by shifting the subscript; Theorem 3.5 expands $L_z \tilde{g}^{(k)}_\lambda$ into at most three such functions. The crucial 'straightening' Lemma 3.4, proved with the new Mirror Lemma II, uses the bounce-path structure of $\Delta_k(\mu)$ to replace a subscript by an equal function whose entries are closer to being a partition. Iterating the straightening along the bounce path yields Proposition 4.3, the $0$-or-$\pm 1$ expansion of a single lowering operator, which is the engine for the sign-alternation theorems.

What would settle it

Take any strictly decreasing $k$-bounded partition $\lambda$ and compute the expansion (38) for a single lowering operator $L_z$; if any coefficient outside $\{0, \pm 1\}$ appears, Proposition 4.3 and hence Theorem 1.3 collapse. Alternatively, test Lemma 3.4 directly on a root ideal with $\mathrm{top}_{\Delta_k(\mu)}(z+1) > \mathrm{top}_{\Delta_k(\mu)}(z)$ and check whether the asserted equality $\tilde{g}^{(k)}_\mu = \tilde{g}^{(k)}_{\mu - \epsilon_{z+1}}$ holds by direct computation; a single failure would break the proof at its first step.

Watch

Extended reading notes

Core claim

The central claim is that two sign-alternation conjectures for closed $k$-Schur Katalan functions are true on the stated families. For a strictly decreasing $k$-bounded partition $\lambda$, every coefficient $c_{\lambda\mu}$ in $G_{1m}^\perp \tilde{g}^{(k)}_\lambda = \sum_{\mu} c_{\lambda\mu} \tilde{g}^{(k)}_\mu$ satisfies $(-1)^{|\lambda|-|\mu|-m} c_{\lambda\mu} \in \mathbb{Z}_{\ge 0}$, and every coefficient $a_{\lambda\mu}$ in the $k$-branching expansion $\tilde{g}^{(k)}_\lambda = \sum_{\mu} a_{\lambda\mu} \tilde{g}^{(k+1)}_\mu$ satisfies $(-1)^{|\lambda|-|\mu|} a_{\lambda\mu} \in \mathbb{Z}_{\ge 0}$. In the large-$k$ limit, the first expansion is represented by the exact identity $G_{1\ell}^\perp g_\lambda = g_{\lambda - 1^\ell}$. The proof shows that a single lowering operator $L_z$ acts on a strictly decreasing shape with coefficients equal to $0$ or $\pm 1$, and that products of such operators, together with the binomial weights in $G_{1m}$, preserve the prescribed alternating sign.

Load-bearing premise

The proof needs the straightening step in Lemma 3.4 to always terminate at zero: repeatedly applying a lowering operator along a bounce path eventually annihilates the difference of the two generalized functions, and the vanishing bound of Proposition 2.10 must apply to both summands of every difference.

Editorial extensions

If this is right

  • The alternating dual Pieri rule holds for every strictly decreasing $k$-bounded partition, for every $k$ and every $m \ge 0$.
  • The $k$-branching conjecture holds for every strictly decreasing $k$-bounded partition, so the filtration steps $\Lambda^{(k)} \subset \Lambda^{(k+1)}$ have the predicted alternating-sign expansion on this family.
  • In the large-$k$ regime, the operator $G_{1\ell}^\perp$ sends $g_\lambda$ to the single function $g_{\lambda - 1^\ell}$, giving a clean identity that realizes the first conjecture's alternating sign as exactly one term.
  • Because Theorem 1.4 is deduced from Theorem 1.3 through shift invariance, any future extension of Theorem 1.3 to a larger class of partitions automatically yields a matching $k$-branching result.
  • The coefficient structure is rigid: individual lowering operators contribute $0$ or $\pm 1$, and the sign is fixed solely by the difference in sizes, so the conjectures' alternating signs are not accidental cancellations.

Reading between the lines

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

  • Beyond the paper's stated $m=\ell$ large-$k$ identity, the same $e_d^\perp$-expansion calculation implies the full alternating dual Pieri rule in the stable limit for every $m$; the ingredients are already in Lemma 4.1 and the definition of $G_{1m}$.
  • The failure of the $\pm 1$ structure for a single lowering operator when $\lambda$ has equal parts (Example 3.7) suggests the full conjecture reduces to controlling equal-part descents; a direct test is whether the binomial-weighted sum over subsets $S$ in (45) repairs the signs even when individual $L_z$ do not.
  • A signed combinatorial model for the straightening lemma, in which each nonzero coefficient corresponds to a bounce-path configuration, could turn these proofs into a bijective proof and likely extend them to all $k$-bounded partitions.
  • Under the K-theoretic identification that motivated the conjectures, these results imply alternating-sign properties for the polynomial images, a translation the paper leaves implicit.
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 / 4 minor

Summary. The paper studies two conjectures of Blasiak–Morse–Seelinger on closed k-Schur Katalan functions: the alternating dual Pieri rule and the k-branching conjecture. It proves the alternating dual Pieri rule in the large-k/stable limit (Theorem 1.2) and, for strictly decreasing k-bounded partitions, both the alternating dual Pieri rule (Theorem 1.3) and the k-branching expansion (Theorem 1.4). The proofs introduce a new Mirror Lemma (Lemma 2.9), analyze lowering operators on generalized closed k-Schur Katalan functions (Theorem 3.5), and reduce the positivity statements to a sign-pattern statement in Proposition 4.3.

Significance. If correct, the results would establish two open conjectures for a natural infinite family of partitions and give a simple, self-contained proof of the stable-limit Pieri statement. Theorem 1.2 is clean and convincing, and the lowering-operator expansion in Theorem 3.5 is a useful structural contribution. However, the proofs of Theorems 1.3 and 1.4 rest on Lemma 3.4(a), and the proof of that lemma contains a false structural assertion. Until this is repaired, the main positive results are not established as written. The paper does not provide machine-checked proofs or computational certificates for the intricate combinatorial steps.

major comments (2)
  1. [Section 3, Lemma 3.4(a)] The proof's claim that the root ideal has a ceiling in columns y,y+1 is false. Take k=6, ℓ=5, µ=(4,3,4,2,1), and z=2. Then µ∈\tilde P^6_5 and satisfies µ_z+1=µ_{z+1} and µ_x≥µ_{x+1} for all x≠z. The root ideal is Δ_6(µ)={(1,4),(1,5)}, and the bounce paths are the singletons {2} and {3}, so top_{Δ_6(µ)}(3)=3>2=top_{Δ_6(µ)}(2). But column 3 of Δ_6(µ) has length 0 and column 4 has length 1, so there is no ceiling in columns 3,4. Thus the invocation of Lemma 2.8 to deduce K(Δ_k(µ);Δ_k(µ);µ)=K(Δ_k(µ);Δ_k(µ);µ−ε_{z+1}) is unjustified. Since Lemma 3.4(a) is used in the induction proving Theorem 3.5, which feeds Proposition 4.3 and then Theorems 1.3 and 1.4, the central results are not established as written.
  2. [Section 3, proof of Lemma 3.4(a), Case 2] The iterative vanishing argument concluding X=0 via Proposition 2.10 requires hypotheses that are not verified. After proving X=L_d X for X=\tilde g^{(k)}_µ−\tilde g^{(k)}_{µ−ε_{z+1}}, the proof applies L_d^m to both summands and invokes Proposition 2.10. This requires that µ−ε_{z+1} lies in \tilde P^k_ℓ, or at least that Δ_k(µ−ε_{z+1}) is a root ideal, which is not automatic: if µ_{z+1}=µ_{z+2}, the decrement at position z+1 destroys the inequality µ_{z+1}−1≥µ_{z+2}. The vanishing bound for the second summand should be justified separately, or the argument should be restructured.
minor comments (4)
  1. [Page 2] The phrase 'Hopf algbra' should read 'Hopf algebra'.
  2. [Equation (44)] The notation '(-1)a_{µµ(1)}' is ambiguous; it should be written with an explicit multiplication sign or parentheses, e.g. '(-1)a_{\mu\mu^{(1)}}', to avoid reading as a power.
  3. [Remark 3.1(d) and Figures 1–2] The figure captions refer to orange and green bounce paths, but the figures themselves are not labeled; the paths described in the captions should be marked directly in the figures.
  4. [References] Reference [24] is cited as an arXiv preprint; if a published version exists, it should be cited instead or in addition.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proofs derive from prior Katalan-function machinery and do not assume the conjectures they establish.

full rationale

The paper's central claims are Theorems 1.2, 1.3, and 1.4. Theorem 1.2 is derived directly from Lemma 4.1, which expresses the action of an elementary symmetric function on a Katalan function as a sum over subsets, without invoking any target positivity statement. Theorem 1.3 is then reduced through the Claim, Proposition 4.3, Theorem 3.5, and Lemma 3.4 to the Mirror Lemma 2.8 and other results imported from Blasiak, Morse, and Seelinger [3]; nowhere is Conjecture 1.1(a) assumed as a hypothesis. Theorem 1.4 uses the shift-invariance identity (49) from [3] together with Theorem 1.3, which is a legitimate external input rather than a restatement of the conclusion. The authors' Remark 4.4 concedes that the strict-decreasing condition is necessary for their method, but that is a limitation statement, not a circular step. No self-citations by Fang and Gao are load-bearing, and the target conjectures are framed as open problems rather than assumed. A possible false ceiling claim in Lemma 3.4, if real, would be a correctness flaw rather than circularity. Overall, the derivation chain is self-contained relative to the cited prior work and does not reduce any prediction to its own input.

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

The paper's central claims rest on established results from [1] and [3], taken as black boxes. No free parameters or invented entities are introduced; the paper's new lemmas are proven internally.

assumptions (5)
  • domain assumption Mirror Lemma (Lemma 2.8, from [3, Lemma 4.6])
    Used to prove the new Mirror Lemma 2.9 and to force certain Katalan functions to vanish or simplify in Section 3.
  • domain assumption Structural facts for root ideals Δ_k(λ) (Remark 3.1, from [1,3])
    Provides walls, mirrors, ceilings, and bounce paths; the top(z) vs top(z+1) dichotomy is used in Lemma 3.4.
  • domain assumption Operator identities for Katalan functions (Lemmas 2.6 and 2.7, from [3])
    Relates K(Ψ;M;γ) to variants with addable/removable roots and with elements added/removed from the multiset M; used throughout.
  • domain assumption Adjunction identity for e_d^⊥ on Katalan functions (Lemma 4.1, from [3, p.8])
    Gives the action of e_d^⊥ as a sum over subsets; central to Theorems 1.2 and 1.3.
  • domain assumption Shift invariance and large-k identification (Proposition 2.16, from [3])
    Gives G_{1ℓ}^⊥ \tilde{g}^{(k+1)}_{λ+1ℓ} = \tilde{g}^{(k)}_λ and equality with dual Grothendieck polynomials for large k; used in Theorems 1.2 and 1.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Alternating dual Pieri rule conjecture and $k$-branching conjecture of closed $k$-Schur Katalan functions." pith.science (2026). https://pith.science/paper/4WYSTBIE

@misc{pith2026250104200,
  author       = {Pith},
  title        = {Pith review of: Alternating dual Pieri rule conjecture and $k$-branching conjecture of closed $k$-Schur Katalan functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4WYSTBIE}},
  note         = {Machine review of arXiv:2501.04200}
}
abstract

For closed $k$-Schur Katalan functions $\fg{\lambda}{k}$ with $k$ a positive integer and $\lambda$ a $k$-bounded partition, Blasiak, Morse and Seelinger proposed the alternating dual Pieri rule conjecture and the $k$-branching conjecture. In the present paper, we positively prove the first one for large enough $k$ and for strictly decreasing partitions $\lambda$ respectively, as well as the second one for strictly decreasing partitions $\lambda$.

Figures

Figures reproduced from arXiv: 2501.04200 by the authors.

Figure 1
Figure 1. z z + 1 y1 • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Weighted $K$-$k$-Schur functions and their application to the $K$-$k$-Schur alternating conjecture

    math.CO 2025-07 accept novelty 7.0 of 10

    Weighted K-k-Schur functions interpolate between two known Katalan function families, and their recursive expansion proves the K-k-Schur alternating conjecture for partitions whose first b_lambda parts are strictly de...

  2. Lowering operators on $K$-$k$-Schur functions and a lowering operator formula for closed $K$-$k$-Schur functions

    math.CO 2025-02 conditional novelty 6.0 of 10

    A lowering-operator formula expresses closed K-k-Schur functions as sums of K-k-Schur functions in the Bruhat order, yielding a new proof of a theorem by Ikeda, Iwao and Naito.

Reference graph

Works this paper leans on

26 extracted references · 24 canonical work pages · cited by 2 Pith papers

  1. [1]

    Blasiak, J

    J. Blasiak, J. Morse, A. Pun and D. Summers, Catalan funct ions and k-schur positivity, J. Amer . Math. Soc.32 (4) (2019), 921-963. 3, 6, 9

    work page 2019

  2. [2]

    Blasiak, J

    J. Blasiak, J. Morse, A. Pun and D. Summers, k-Schur expansions of Catalan functions, Adv. Math. 371 (2020), 107209. 1

    work page 2020

  3. [3]

    Blasiak, J

    J. Blasiak, J. Morse and G. H. Seelinger, K-theoretic Cat alan functions, Adv. Math. 404 (2022), 108421. 1, 2, 3, 5, 6, 7, 9, 17, 22

    work page 2022

  4. [4]

    Bott, The space of loops on a Lie group, Michigan Math

    R. Bott, The space of loops on a Lie group, Michigan Math. J. 5 (1) (1958), 35-61. 2

    work page 1958

  5. [5]

    Broer, Normality of some nilpotent varieties and coho mology of line bundles on the cotangent bundle of the flag variety, Lie theory and geometry, Progr

    B. Broer, Normality of some nilpotent varieties and coho mology of line bundles on the cotangent bundle of the flag variety, Lie theory and geometry, Progr . Math., V ol. 123, Birkh¨auser Boston, Inc., Boston, MA (1994), 1-19. 3

    work page 1994

  6. [6]

    L. C. Chen, Skew-linked partitions and a representation theoretic model for k-Schur functions, Ph.D. thesis (2010). 3

    work page 2010

  7. [7]

    Fomin, S

    S. Fomin, S. Gelfand and A. Postnikov, Quantum Schubert p olynomials, J. Am. Math. Soc. 10 (3) (1997) 565-596. 2

    work page 1997

  8. [8]

    Fomin and A

    S. Fomin and A. N. Kirillov, Grothendieck polynomials an d the Y ang-Baxter equation, Proc. formal power series and alg. comb. (1994), 183-190. 3

    work page 1994

Show all 26 references
  1. [9]

    Fomin and A

    S. Fomin and A. N. Kirillov, The Y ang-Baxter equation, sy mmetric functions, and Schubert polynomials, Discrete Mathematics 153 (1-3) (1996), 123-143. 3

    1996

  2. [10]

    Givental and Y

    A. Givental and Y . P . Lee, Quantum K-theory on flag manifolds, finite-di fference Toda lattices and quantum groups, Invent. Math. 151 (1) (2003), 193-219. 2

    2003

  3. [11]

    Ikeda, S

    T. Ikeda, S. Iwao and T. Maeno, Peterson isomorphism in K -theory and relativistic Toda lattice, Int. Math. Res. Not. 2020 (19) (2020), 6421-6462. 2

    2020

  4. [12]

    Ikeda, S

    T. Ikeda, S. Iwao and S. Naito, Closed k-Schur Katalan functions as K-homology Schubert representatives of the affine Grassmannian, Trans. Amer . Math. Soc. Ser . B11 (20) (2024), 667-702. 2, 3

    2024

  5. [13]

    Lam, Schubert polynomials for the a ffine Grassmannian, J

    T. Lam, Schubert polynomials for the a ffine Grassmannian, J. Amer . Math. Soc.21 (1) (2008), 259-281. 1, 2

    2008

  6. [14]

    T. Lam, L. Lapointe, J. Morse, A. Schilling, M. Shimozon o and M. Zabrocki, k-Schur functions and a ffine Schubert calculus, Fields Institute Monographs, vol. 33, Springer/Fields Institute for Research in Mathematical Sciences, New Y ork/Toronto, (2014). 1

    2014

  7. [15]

    T. Lam, L. Lapointe, J. Morse and M. Shimozono, A ffine insertion and Pieri rules for the a ffine Grassmannian, Mem. Amer . Math. Soc.208 (977) (2010), xii+82. 1

    2010

  8. [16]

    T. Lam, A. Schilling and M. Shimozono, K-theory schuber t calculus of the a ffine grassmannian, Compos. Math. 146 (4) (2010), 811-852. 2

    2010

  9. [17]

    Lam and M

    T. Lam and M. Shimozono, From quantum Schubert polynomi als to k-Schur functions via the Toda lattice, Math. Res. Lett. 19 (1) (2012), 81-93. 1, 2

    2012

  10. [18]

    Lapointe, A

    L. Lapointe, A. Lascoux and J. Morse, Tableau atoms and a new Macdonald positivity conjecture, Duke Math. J. 116 (1) (2003), 103-146. 1, 2

    2003

  11. [19]

    Lapointe and J

    L. Lapointe and J. Morse, Schur function analogs for a fil tration of the symmetric function space, J. Combin. Theory Ser . A101 (2) (2003), 191-224. 1

    2003

  12. [20]

    Lapointe and J

    L. Lapointe and J. Morse, Tableaux on k + 1-cores, reduced words for a ffine permutations, and k-schur expan- sions, J. Combin. Theory Ser . A 112 (1) (2005), 44-81. 1

    2005

  13. [21]

    Lascoux, Anneau de Grothendieck de la vari´ et´ e de drapeaux, The Grothendieck Festschrift, V ol

    A. Lascoux, Anneau de Grothendieck de la vari´ et´ e de drapeaux, The Grothendieck Festschrift, V ol. III, Progr . Math., V ol. 88, Birkh¨auser Boston, Inc., Boston, MA (1990), 1-34. 3 24 Y AOZHOU FANG AND XING GAO ∗

    1990

  14. [22]

    A. Lascoux, Ordering the a ffine symmetric group, Algebraic Combinatorics and Applications: Proceedings of the Euroconference, Algebraic Combinatorics and Applicat ions (ALCOMA), held in G¨ oßweinstein, Germany, September 12–19, 1999 90 (7) (2001), 219-231. 4

    2001

  15. [23]

    Lenart, Combinatorial aspects of the K-theory of Grassmannians, Ann

    C. Lenart, Combinatorial aspects of the K-theory of Grassmannians, Ann. Comb. 4 (2000), 67-82. 4

    2000

  16. [24]

    Lenart and T

    C. Lenart and T. Maeno, Quantum Grothendieck polynomia ls, arXiv:math/0608232. 2

    arXiv

  17. [25]

    D. I. Panyushev, Generalised Kostka-Foulkes polynomi als and cohomology of line bundles on homogeneous vector bundles, Selecta Math. (N.S.) 16 (2) (2010), 315-342. 3

    2010

  18. [26]

    Shimozono and J

    M. Shimozono and J. Weyman, Graded characters of module s supported in the closure of a nilpotent conjugacy class, European J. Combin. 21 (2) (2000), 257-288. 3 School of Mathematics and Statistics, Lanzhou University Lanzhou, 730000, China Email address: fangyzh21@lzu.edu.cn ...

    2000

Pith tools

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