Pith. sign in

REVIEW 2 minor 14 references

The shifted Jack Littlewood-Richardson coefficients for triples differing by a single box move are congruent modulo the α-hook length of the pivot box.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-27 00:04 UTC pith:SAIYSRPK

load-bearing objection This note proves the author's earlier conjecture on a modular congruence for shifted Jack LR coefficients when partitions differ by one box move.

arxiv 2606.17822 v1 pith:SAIYSRPK submitted 2026-06-16 math.CO math.RT

Congruences of shifted Jack Littlewood-Richardson coefficients

Ryan Mickler This is my paper
classification math.CO math.RT
keywords shifted Jack Littlewood-Richardson coefficientscongruencesbox movesalpha-hook lengthsJack parameterpartitionsLaurent polynomialssymmetric functions
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper proves a conjecture stating that the shifted Jack Littlewood-Richardson coefficients g^λ_μν(α) for two triples of partitions, in which one partition differs from the other by moving a single box, are congruent modulo the α-hook length of the pivot box for that move. These coefficients are Laurent polynomials in the Jack parameter α attached to triples of partitions and generalize the classical Jack Littlewood-Richardson coefficients. A sympathetic reader would care because the congruence supplies a direct relation between values of these polynomials at different partitions, which may streamline their study or computation. The proof settles the Jack case while the analogous statement for shifted Macdonald functions is left open.

Core claim

The central claim is that if two triples of partitions differ by a single box move in one of the partitions, then their associated shifted Jack Littlewood-Richardson coefficients are congruent modulo the α-hook length of the pivot box for that move.

What carries the argument

The shifted Jack Littlewood-Richardson coefficients g^λ_μν(α), Laurent polynomials in α attached to triples of partitions.

Load-bearing premise

The shifted Jack Littlewood-Richardson coefficients are Laurent polynomials in the Jack parameter α.

What would settle it

A concrete counterexample would be any specific triple of partitions and box move for which the two coefficients differ by a nonzero multiple of the α-hook length when evaluated at some value of α.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The stated congruence holds for every single-box move between valid triples.
  • The result applies uniformly for all values of the Jack parameter α at which the coefficients are defined.
  • The Macdonald-function analogue of the congruence remains unresolved because two required properties of Lassalle's shift map are not yet established.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The congruence might support recursive algorithms that compute the coefficients by reducing partition size one box at a time.
  • Specializing the parameter α to particular numbers could produce new numerical identities among ordinary Littlewood-Richardson coefficients.
  • The modular relation may connect to combinatorial interpretations or positivity properties that have not yet been examined.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The manuscript proves the author's earlier conjecture that the shifted Jack Littlewood-Richardson coefficients g^λ_μν(α) for two triples of partitions differing by a single box move are congruent modulo the α-hook length of the pivot box. The coefficients are Laurent polynomials in the Jack parameter α (as established by Alexandersson-Féray). The note also records that the analogous statement for shifted Macdonald functions remains open, pending two properties of Lassalle's shift map.

Significance. If the proof holds, the result supplies a concrete congruence relation for these generalized coefficients, extending classical Littlewood-Richardson theory to the Jack setting. The manuscript explicitly credits the prior definition of g^λ_μν(α) and isolates the precise obstruction for the Macdonald case, which is a useful clarification.

minor comments (2)
  1. [Abstract] The abstract refers to 'a previous work of the author's' for the conjecture; adding the precise citation (even if it is the author's own arXiv preprint) would improve traceability.
  2. Notation for the α-hook length and the 'pivot box' is used without an inline definition or forward reference to the section where it is introduced; a brief parenthetical reminder would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. The report contains no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; proof of prior conjecture is self-contained

full rationale

The manuscript states a conjecture from the author's prior work and then proves it in the present note. The background fact that the coefficients are Laurent polynomials in α is cited from Alexandersson-Féray (external authors) and is used only to make the modulo statement well-defined; it is not derived from the present result. No equations, fitted parameters, ansatzes, or uniqueness theorems are shown to reduce the main congruence to the inputs by construction. The derivation chain consists of a mathematical proof whose steps are independent of the conjecture statement itself. This is the normal case of a paper proving an earlier claim rather than circularly re-deriving its own premises.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior definition of the coefficients as Laurent polynomials and on the conjecture from the author's previous work; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The shifted Jack Littlewood-Richardson coefficients are Laurent polynomials in the Jack parameter α
    Stated in the opening sentence of the abstract as the object of study

pith-pipeline@v0.9.1-grok · 5651 in / 1199 out tokens · 35600 ms · 2026-06-27T00:04:08.771723+00:00 · methodology

0 comments
read the original abstract

The shifted Jack Littlewood-Richardson coefficients $g^\lambda_{\mu\nu}(\alpha)$, first studied by Alexandersson-F\'eray, are Laurent polynomials in the Jack parameter $\alpha$ attached to triples of partitions, which generalize the classical Jack Littlewood-Richardson coefficients investigated by Stanley, et al. In a previous work of the author's, it was conjectured that the Littlewood-Richardson coefficients for two triples, in which one of the partitions differ by a single box move, are congruent modulo the $\alpha$-hook length of the pivot box for that move. In this note we prove that conjecture. We also investigate the extension of that conjecture to shifted Macdonald functions, which remains open pending two properies of Lassalle's shift map in that case.

Figures

Figures reproduced from arXiv: 2606.17822 by Ryan Mickler.

Figure 1
Figure 1. Figure 1: For any partition, the possible pivot boxes p are given by the set of (non outer corner) boxes that either share a row with an addable box and a column with a removable box (red), or share a column with an addable box and a row with a removable box (blue). 1.2. Shifted coordinate congruence. The shifted variables zi = αxi − i are evaluated at a partition λ = (λ1, λ2, . . .) as zi(λ) = αλi − i. This present… view at source ↗
Figure 2
Figure 2. Figure 2: The graded symmetric function Φµν = sh−1 (J # µ J # ν ) has top degree |µ| + |ν|, where its leading slice is the ordinary product JµJν. By Knop–Sahi vanishing Φ (k) µν = 0 for k < max(|µ|, |ν|), so its support is the band max(|µ|, |ν|) ≤ k ≤ |µ| + |ν|. 2.3. Output pivots. Proposition 2. Let λ ∼p λ˜ be a pivot with shared hook h. Then g λ µν ≡ g λ˜ µν (mod h). Proof. Recall from (5) and its sequel that J # … view at source ↗
Figure 3
Figure 3. Figure 3: The function Ψλ/µ is supported in degrees |λ| − |µ| through |λ|. Its bottom slice is the ordinary skew Jack Jλ/µ, while its top slice is the single term J # µ (λ) Jλ, whose coefficient is proportional to the generalized Jack binomial coefficient λ µ  α = J # µ (λ)/J# µ (µ) of [8, 5]. 3. Extension to Macdonald functions We end by recording the parallel picture for shifted Macdonald polynomials. We will see… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 9 canonical work pages · 2 internal anchors

  1. [1]

    Hidden Structure of Jack Littlewood-Richardson Coefficients

    R. Mickler, “Hidden structure of Jack Littlewood-Richardson coefficients.” 2026.https://arxiv.org/abs/2605.10608

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  2. [2]

    Alexandersson and V

    P. Alexandersson and V. Féray,A positivity conjecture on the structure constants of shifted Jack functions, pp. 51–59. 09, 2024

    2024

  3. [3]

    Shifted symmetric functions and multirectangular coordinates of young diagrams,

    P. Alexandersson and V. Féray, “Shifted symmetric functions and multirectangular coordinates of young diagrams,” Journal of Algebra483(2017) 262–305. https://www.sciencedirect.com/science/article/pii/S0021869317302296

    2017

  4. [4]

    Some combinatorial properties of Jack symmetric functions,

    R. P. Stanley, “Some combinatorial properties of Jack symmetric functions,”Advances in Mathematics77no. 1, (1989) 76–115.https://www.sciencedirect.com/science/article/pii/0001870889900157

    work page arXiv 1989

  5. [5]

    A positivity conjecture for Jack polynomials,

    M. Lassalle, “A positivity conjecture for Jack polynomials,”Mathematical Research Letters15no. 4, (2008) 661 – 681. https://doi.org/10.4310/MRL.2008.v15.n4.a6

    work page doi:10.4310/mrl.2008.v15.n4.a6 2008

  6. [6]

    Macdonald characters from a new formula for Macdonald polynomials

    H. B. Dali and M. D’Adderio, “Macdonald characters from a new formula for Macdonald polynomials.” 2026. https://arxiv.org/abs/2404.03904

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  7. [7]

    I. G. Macdonald,Symmetric Functions and Hall Polynomials. Oxford University Press, 2nd ed., 1995

    1995

  8. [8]

    Shifted jack polynomials, binomial formula, and applications,

    A. Okounkov and G. Olshanski, “Shifted jack polynomials, binomial formula, and applications,”arXiv: Quantum Algebra(1996)

    1996

  9. [9]

    Difference equations and symmetric polynomials defined by their zeros,

    F. Knop and S. Sahi, “Difference equations and symmetric polynomials defined by their zeros,”International Mathematics Research Notices1996no. 10, (05, 1996) 473–486, https://academic.oup.com/imrn/article-pdf/1996/10/473/6925670/1996-10-473.pdf. https://doi.org/10.1155/S1073792896000311

    work page doi:10.1155/s1073792896000311 1996

  10. [10]

    A recursion and a combinatorial formula for Jack polynomials,

    F. Knop and S. Sahi, “A recursion and a combinatorial formula for Jack polynomials,”Inventiones mathematicae128 no. 1, (1997) 9–22.https://doi.org/10.1007/s002220050134. 14 R. MICKLER

    work page doi:10.1007/s002220050134 1997

  11. [11]

    Compositio Math

    A. Okounkov, “(shifted) Macdonald polynomials: q-integral representation and combinatorial formula,”Compositio Mathematica112no. 2, (1998) 147–182.https://doi.org/10.1023/A:1000436921311

    work page doi:10.1023/a:1000436921311 1998

  12. [12]

    Interpolation, integrality, and a generalization of Macdonald’s polynomials,

    S. Sahi, “Interpolation, integrality, and a generalization of Macdonald’s polynomials,”International Mathematics Research Notices1996no. 10, (01, 1996) 457–471, https://academic.oup.com/imrn/article-pdf/1996/10/457/6925668/1996-10-457.pdf. https://doi.org/10.1155/S107379289600030X

    work page doi:10.1155/s107379289600030x 1996

  13. [13]

    Integrality of two variable Kostka functions.,

    F. Knop, “Integrality of two variable Kostka functions.,”Journal für die reine und angewandte Mathematik482(1997) 177–190.http://eudml.org/doc/153884

    1997

  14. [14]

    Quelques valeurs prises par les polynômes de Macdonald décalés,

    M. Lassalle, “Quelques valeurs prises par les polynômes de Macdonald décalés,”Annales de l’Institut Fourier49no. 2, (1999) 543–561.https://www.numdam.org/articles/10.5802/aif.1682/. Singulariti Research, 55 University Street, Carlton, 3053, Australia Email address:ry.mickler@gmail.com

    work page doi:10.5802/aif.1682/ 1999