The reviewed record of science sign in
Pith

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

Weighted counting of Bruhat paths by shifted R-polynomials

Masato Kobayashi This is my paper

Reviewed by Pith2026-05-24 15:08 UTCgrok-4.3pith:DQB3HH3Aopen to challenge →

classification math.CO
keywords shifted R-polynomialsBruhat pathsR-polynomialsCoxeter groupsJacobsthal numbersBruhat intervalsinterval irregularity
0
0 comments X

The pith

Shifted R-polynomials weight Bruhat paths and bound them by Jacobsthal numbers in finite Coxeter groups.

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

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

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.

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.

Figures

Figures reproduced from arXiv: 1907.11802 by Masato Kobayashi.

Figure 1
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 ▲ ▲ ▲ ▲ ▲▲ ▲ ▲ ▲ ▲ ▲ ▲▲ ▲ ▲ ▲ ▲ ▲ ▲ ▲▲ ▲ ▲ ▲ ▲ ▲… view at source ↗
Figure 2
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. Figure 3: Bruhat graph of B3, D3 and D5 [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗
read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 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.

pith-pipeline@v0.9.0 · 5604 in / 1088 out tokens · 23338 ms · 2026-05-24T15:08:17.497480+00:00 · methodology

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

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

  9. [9]

    European J

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

    work page 1998

  10. [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

    work page 1994

  11. [11]

    European J

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

    work page 2006

  12. [12]

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

    work page 1985

  13. [13]

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

    work page 1993

  14. [14]

    Compos itio Math

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

    work page 1993

  15. [15]

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

    work page 2014

  16. [16]

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

    work page 2013

  17. [17]

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

    work page 1979

  18. [18]

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

    work page 2013

  19. [19]

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

    work page

  20. [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

    work page 2004