CGS conjecture for Jack polynomials

About 1 year old · traced to

Let λ\lambda and μ\mu be partitions with ∣λ∣=∣μ∣|\lambda|=|\mu|. For Jack polynomials Pλ(x;τ)P_\lambda(x;\tau), let F⩾0R\mathbb F_{\geqslant0}^{\mathbb R} denote the real cone of rational functions in τ\tau represented by quotients of polynomials with nonnegative real coefficients. CGS conjecture. The following are equivalent:

Pλ(x;τ)Pλ(1;τ)−Pμ(x;τ)Pμ(1;τ)∈F⩾0R,∀x∈[0,∞)n.\frac{P_\lambda(x;\tau)}{P_\lambda(\bm1;\tau)}-\frac{P_\mu(x;\tau)}{P_\mu(\bm1;\tau)}\in\mathbb F_{\geqslant0}^{\mathbb R},\qquad \forall x\in[0,\infty)^n.
  1. For some fixed τ0∈[0,∞]\tau_0\in[0,\infty],
Pλ(x;τ0)Pλ(1;τ0)−Pμ(x;τ0)Pμ(1;τ0)⩾0,∀x∈[0,∞)n.\frac{P_\lambda(x;\tau_0)}{P_\lambda(\bm1;\tau_0)}-\frac{P_\mu(x;\tau_0)}{P_\mu(\bm1;\tau_0)}\geqslant0,\qquad \forall x\in[0,\infty)^n.
  1. For some fixed τ0∈[0,∞]\tau_0\in[0,\infty],
Pλ(x;τ0)Pλ(1;τ0)−Pμ(x;τ0)Pμ(1;τ0)⩾0,∀x∈(0,1)n∪(1,∞)n.\frac{P_\lambda(x;\tau_0)}{P_\lambda(\bm1;\tau_0)}-\frac{P_\mu(x;\tau_0)}{P_\mu(\bm1;\tau_0)}\geqslant0,\qquad \forall x\in(0,1)^n\cup(1,\infty)^n.
  1. λ\lambda majorizes μ\mu. This conjecture upgrades the corresponding Jack-polynomial positivity conjecture from the literature from containment to majorization; its general resolution is not supplied here.
Equivalent formulations 1Other wordings

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. CGS conjecture for Jack polynomials

    Let λ\lambda and μ\mu be partitions with ∣λ∣=∣μ∣|\lambda|=|\mu|, and let Pλ(x;τ)P_\lambda(x;\tau) denote the relevant Jack polynomial. Write

    F⩾0R={fg:f,g∈R⩾0[τ], g≠0}.\mathbb F_{\geqslant0}^{\mathbb R}=\left\{\frac{f}{g}:f,g\in\mathbb R_{\geqslant0}[\tau],\ g\neq0\right\}.

    Here λ\lambda dominates μ\mu when ∑i=1kλi≥∑i=1kμi\sum_{i=1}^k\lambda_i\geq\sum_{i=1}^k\mu_i for every kk. CGS conjecture. The following are equivalent: λ\lambda dominates μ\mu; there exists τ0∈[0,∞]\tau_0\in[0,\infty] such that

    Pλ(x;τ0)Pλ(1;τ0)−Pμ(x;τ0)Pμ(1;τ0)⩾0for all x∈[0,∞)n;\frac{P_\lambda(x;\tau_0)}{P_\lambda(\bm1;\tau_0)}-\frac{P_\mu(x;\tau_0)}{P_\mu(\bm1;\tau_0)}\geqslant0\quad\text{for all }x\in[0,\infty)^n;

    for every fixed τ0∈[0,∞]\tau_0\in[0,\infty] the same inequality holds; and

    Pλ(x;τ)Pλ(1;τ)−Pμ(x;τ)Pμ(1;τ)∈F⩾0Rfor all x∈[0,∞)n.\frac{P_\lambda(x;\tau)}{P_\lambda(\bm1;\tau)}-\frac{P_\mu(x;\tau)}{P_\mu(\bm1;\tau)}\in\mathbb F_{\geqslant0}^{\mathbb R}\quad\text{for all }x\in[0,\infty)^n.

    This is a proposed duality between dominance order and evaluation positivity for Jack polynomials; its resolution is not specified in the source.

    source: Hong Chen and Siddhartha Sahi, “Interpolation Polynomials, Binomial Coefficients, and Symmetric Function Inequalities”, arXiv:2403.02490 (2026).

References

Primary source

Hong Chen, Apoorva Khare and Siddhartha Sahi, “Majorization via positivity of Jack and Macdonald polynomial differences”, arXiv:2509.19649 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.