Pith. sign in

REVIEW 3 minor 20 references

Weighted counting of Bruhat paths by shifted $R$-polynomials

T0 review · 0 major / 3 minor · reviewed 2026-05-24 · grok-4.3

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

Pith's one-line read Shifted R-polynomials weight Bruhat paths and bound them by Jacobsthal numbers in finite Coxeter groups.

desk verdict The paper defines shifted R-polynomials on Bruhat intervals, derives weighted path counts from them, and proves an irregularity criterion plus a Jacobsthal bound. read the letter →

arxiv 1907.11802 v1 pith:DQB3HH3A submitted 2019-07-26 math.CO

Masato Kobayashi This is my paper · ORCID
classification math.CO
keywords shiftedR-polynomialsBruhatpathsCoxetergroupsJacobsthalnumbersintervalsintervalirregularity
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 defines shifted R-polynomials, also called Bruhat weights, for every Bruhat interval in a finite Coxeter group. These polynomials are then applied to count Bruhat paths with explicit weights. The construction produces a criterion that detects when a lower interval is irregular, modeled on earlier tests by Carrell-Peterson and Dyer. For any interval of fixed length the shifted R-polynomials are shown to lie below the corresponding Jacobsthal number.

What carries the argument

Shifted R-polynomials, which assign a Bruhat weight to each interval and thereby encode the weighted sum over all paths in that interval.

What would settle it

An explicit Bruhat interval of length n in some finite Coxeter group where the shifted R-polynomial either fails to equal the weighted path sum or exceeds the nth Jacobsthal number.

Watch

Extended reading notes

Core claim

Defining shifted R-polynomials on Bruhat intervals supplies a uniform mechanism for weighted enumeration of paths between any two elements in the Bruhat order of a finite Coxeter group. The same definition immediately yields an irregularity criterion for lower intervals and an explicit upper bound, expressed by Jacobsthal numbers, once the interval length is fixed.

Load-bearing premise

Shifted R-polynomials are well-defined and consistent on every Bruhat interval of every finite Coxeter group so that path weights and the irregularity test follow directly from the definition.

Editorial extensions

If this is right

  • Weighted counting of Bruhat paths becomes available for every pair of elements in any finite Coxeter group.
  • A new test, analogous to Carrell-Peterson and Dyer, identifies irregular lower intervals.
  • Shifted R-polynomials on intervals of fixed length are bounded above by Jacobsthal numbers.
  • The entire apparatus applies uniformly without further restrictions on the Coxeter group or the interval.

Reading between the lines

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

  • Explicit algorithms for computing the weighted path counts could now be written for concrete groups such as the symmetric group.
  • The appearance of Jacobsthal numbers may link Bruhat-path statistics to other combinatorial sequences counted by the same numbers.
  • If the definition of shifted R-polynomials extends beyond finite groups, the irregularity criterion could be tested in affine or infinite Coxeter systems.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper introduces shifted R-polynomials (also called Bruhat weights) for all Bruhat intervals in finite Coxeter groups. It applies these polynomials to obtain weighted counts of Bruhat paths, proves a new criterion for irregularity of lower intervals that is analogous to the results of Carrell-Peterson and Dyer, and establishes an upper bound on the shifted R-polynomials for intervals of fixed length in terms of Jacobsthal numbers.

Significance. If the central claims hold, the work supplies a new family of polynomials on Bruhat intervals together with recurrence relations, positivity properties, a weighted path enumeration, an irregularity criterion, and a Jacobsthal bound, all derived internally from the Bruhat order. These tools extend existing results on R-polynomials and may be useful for further combinatorial and algebraic study of Coxeter groups.

minor comments (3)
  1. [Introduction] The abstract states that the shifted R-polynomials are defined 'for all Bruhat intervals in finite Coxeter groups,' but the introduction should explicitly record the precise recurrence or initial conditions used to define them (e.g., the base case for length-0 intervals and the covering-relation step).
  2. [Section on irregularity criterion] The statement of the irregularity criterion (analogous to Carrell-Peterson and Dyer) should include a short reminder of the original statements so that the analogy is immediately verifiable by the reader.
  3. [Section containing the Jacobsthal bound] The induction proof of the Jacobsthal bound would benefit from an explicit statement of the inductive hypothesis on the length of the interval.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation of minor revision. The referee's summary correctly reflects the paper's contributions on shifted R-polynomials, weighted Bruhat path counting, the irregularity criterion, and the Jacobsthal bound.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The manuscript introduces shifted R-polynomials via an explicit new definition on Bruhat intervals, then derives the weighted path enumeration, the irregularity criterion (as a direct consequence of the definition and Bruhat order), and the Jacobsthal bound by induction, all internally to the given Coxeter system. No step reduces a claimed prediction or theorem to a fitted parameter, a self-citation chain, or a renaming of prior results; external citations to Carrell-Peterson and Dyer supply analogy only and are not load-bearing for the new claims.

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

The central claims rest on the validity of the new definition of shifted R-polynomials and on the correctness of the subsequent combinatorial arguments; no free parameters, background axioms, or invented entities are identifiable from the abstract alone.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weighted counting of Bruhat paths by shifted $R$-polynomials." pith.science (2026). https://pith.science/paper/DQB3HH3A

@misc{pith2026190711802,
  author       = {Pith},
  title        = {Pith review of: Weighted counting of Bruhat paths by shifted $R$-polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DQB3HH3A}},
  note         = {Machine review of arXiv:1907.11802}
}
abstract

We revisit $R$-polynomials with introducing the new idea ``shifted $R$-polynomials" (or Bruhat weight) for all Bruhat intervals in finite Coxeter groups. Then, we apply these polynomials to weighted counting of Bruhat paths. Further, we prove a new criterion of irregularity of lower intervals as analogy of Carrell-Peterson's and Dyer's results. Also, we present the upper bound of shifted $R$-polynomials for Bruhat intervals of fixed length by Jacobsthal numbers.

Figures

Figures reproduced from arXiv: 1907.11802 by the authors.

Figure 1
Figure 1. the Bruhat graph on [1234, 3412] 3412 W ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ 6 ✴ ♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥ h PP PP PP PP PP PP PP PP PP PP PP PP PP PP PP PP 3214 OO 3142 GG ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ ✎ W ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ 2413 6 ♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥♥ a ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ ❉ 1432 OO 2314 W✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ ✴ e ▲ ▲ ▲ ▲ ▲▲ ▲ ▲ ▲ ▲ ▲ ▲▲ ▲ ▲ ▲ ▲ ▲ ▲ ▲▲ ▲ ▲ ▲ ▲ ▲ 3124 a❉❉❉… view at source ↗
Figure 2
Figure 2. [1234, 4231] in the Hasse diagram of A3 4321 3421 ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ ✄ 4231 rr rr rr rrr rr rr rrr rr rr rrr rr rr ▲▲ ▲▲ ▲▲ ▲▲ ▲▲ ▲ ▲▲ ▲▲ ▲▲ ▲▲ ▲ ▲▲ ▲▲ ▲▲ ▲ 4312 ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ ❀ 3241 ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ 2431 ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ☎ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❋ ❚❚ ❚❚ ❚❚ ❚❚ ❚❚ ❚❚ ❚❚ ❚❚ ❚❚ ❚❚ … view at source ↗
Figure 3
Figure 3. Bruhat graph of B3, D3 and D5 [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Proceedings of the International Congress of Mathematicians

    Billera, Flag enumeration in polytopes, Eulerian partially ordered se ts and Coxeter groups. Proceedings of the International Congress of Mathematicians. V olume IV, 2389-2415, Hin- dustan Book Agency, New Delhi, 2010

    work page 2010

  2. [2]

    Is- rael J

    Billera-Brenti, Francesco Quasisymmetric functions and Kazhda n-Lusztig polynomials. Is- rael J. Math. 184 (2011), 317-348

    work page 2011

  3. [3]

    Billey-Lakshmibai, Singular loci of Schubert varieties, Birkh¨ auser Boston, Inc., Boston, MA, 2000

    work page 2000

  4. [4]

    231, Springer-Verlag, New York, 2005

    Bj¨ orner-Brenti, Combinatorics of Coxeter groups, Graduate Texts in Mathematics, vol. 231, Springer-Verlag, New York, 2005

    work page 2005

  5. [5]

    Electron

    Blanco, The complete cd-index of dihedral and universal Coxete r groups. Electron. J. Com- bin. 18 (2011), no. 1, Paper 174, 16 pp

    work page 2011

  6. [6]

    Blanco, Shortest path poset of Bruhat intervals. J. Algebraic C ombin. 38 (2013), no. 3, 585-596

    work page 2013

  7. [7]

    Ka zhdan-Lusztig theory and re- lated topics (Chicago, IL, 1989), 1-3, Contemp

    Boe, A counterexample to the Gabber-Joseph conjecture. Ka zhdan-Lusztig theory and re- lated topics (Chicago, IL, 1989), 1-3, Contemp. Math., 139, Amer . Math. Soc., Providence, RI, 1992

    work page 1989

  8. [8]

    Brenti, Combinatorial expansions of Kazhdan-Lusztig polynomia ls. J. London Math. Soc. (2) 55 (1997), no. 3, 448-472. 26 MASATO KOBAYASHI

    work page 1997

Show all 20 references
  1. [9]

    European J

    Brenti, Upper and lower bounds for Kazhdan-Lusztig polynomials . European J. Combin. 19 (1998), no. 3, 283-297

    1998

  2. [10]

    Carrell, The Bruhat graph of a Coxeter group, a conjecture o f Deodhar, and rational smooth- ness of Schubert varieties, Proc. Symp. Pure Math., Vol. 56, 1994 , 53-61

    1994

  3. [11]

    European J

    Caselli, Non-negativity properties of R-polynomials. European J. Combin. 27 (2006), no. 6, 1005-1021

    2006

  4. [12]

    Deodhar, On some geometric aspects of Bruhat orderings. I. A finer decomposition of Bruhat cells. Invent. Math. 79 (1985), no. 3, 499-511

    1985

  5. [13]

    Dyer, The nil Hecke ring and Deodhar’s conjecture on Bruhat in tervals, Invent. Math. 111 (1993), no. 3, 571-574

    1993

  6. [14]

    Compos itio Math

    Dyer, Hecke algebras and shellings of Bruhat intervals. Compos itio Math. 89 (1993), no. 1, 91-115

    1993

  7. [15]

    Elias-Williamson, The Hodge theory of Soergel bimodules, Ann. of Math. (2) 180 (2014), no. 3, 1089-1136

    2014

  8. [16]

    Karu, On the complete cd-index of a Bruhat interval. J. Algebra ic Combin. 38 (2013), no. 3, 527-541

    2013

  9. [17]

    Kazhdan-Lusztig, Representations of Coxeter groups and H ecke algebras, Invent. Math. 53 (1979), no. 2, 165-184

    1979

  10. [18]

    Kobayashi, Inequalities on Bruhat graphs, R- and Kazhdan-Lusztig polynomials, J. Comb. Th. Ser. A 120 (2013) no. 2, 470-482

    2013

  11. [19]

    The On-line Encyropedia of Integer Sequences, https://oeis.org/

  12. [20]

    Electron

    Reading, The cd-index of Bruhat intervals. Electron. J. Combin . 11 (2004), no. 1, Research Paper 74, 25 pp. Department of Engineering, Kanagawa University, 3-27-1 Ro kkaku-bashi, Yoko- hama 221-8686, Japan. E-mail address : masato210@gmail.com

    2004

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.