arxiv: 2603.23879 · v3 · submitted 2026-03-25 · 🧮 math.CO

Recognition: 1 theorem link

· Lean Theorem

Foata, Hikita, and the Bulldozer Problem

Timothy Y. Chow

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:03 UTC · model grok-4.3

classification 🧮 math.CO

keywords combinatorial interpretationprobability distributionpermutationswatershed statisticRenyi-Foata bijectionHikita formulae-positivity

0 comments

The pith

Hikita's probability distribution on permutations receives a combinatorial interpretation through the watershed statistic.

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

The paper offers a combinatorial explanation for why Hikita's formulas φ_k sum to one, defining a probability distribution on permutations. It introduces the watershed statistic on permutations, defined via the Renyi-Foata bijection, and shows that this statistic reproduces the probabilities given by the φ_k. This interpretation links the distribution to a classic combinatorial problem known as the bulldozer problem.

Core claim

The watershed statistic, which counts certain descent-like features in permutations using the Renyi-Foata bijection, provides a direct combinatorial count that matches the probabilities from Hikita's φ_k formula, thereby explaining why these formulas sum to one without algebraic manipulation.

What carries the argument

The watershed statistic, a permutation statistic defined using the Renyi-Foata bijection that assigns to each permutation a value whose generating function matches Hikita's φ_k.

If this is right

It gives a combinatorial proof that the sum of φ_k equals one by direct counting.
Permutations grouped by watershed value directly yield the probabilities in Hikita's distribution.
The same statistic connects Hikita's work to the bulldozer problem from the 2015 IMO shortlist.

Where Pith is reading between the lines

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

The Renyi-Foata bijection may supply similar counting interpretations for other distributions that arise in algebraic combinatorics.
Watershed-type statistics could be tested on small permutations to verify or refine related positivity conjectures.

Load-bearing premise

The watershed statistic defined via the Renyi-Foata bijection produces exactly the same probabilities as Hikita's φ_k formula for every permutation.

What would settle it

Finding a specific permutation where the probability assigned by the watershed statistic differs from the value given by Hikita's φ_k formula.

read the original abstract

In a remarkable paper, Tatsuyuki Hikita settled a longstanding e-positivity conjecture of Stanley and Stembridge. Among many other things, he wrote down a certain formula ${\varphi}_k$, and proved that the ${\varphi}_k$ sum to one, thereby defining a probability distribution. Though Hikita's proof was simple, it remains surprising that the ${\varphi}_k$ sum to one. In this note, we give a combinatorial interpretation of Hikita's probability distribution. The main tool is a certain permutation statistic that we call the watershed. After seeing an early version of our work, Darij Grinberg noticed that the permutation statistic was implicit in a so-called "bulldozer problem" that was on the short list for the 2015 International Mathematics Olympiad. However, our description of the statistic, which makes use of the Renyi-Foata bijection, appears to be new.

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.

Desk Editor's Note private letter to a colleague

This short note supplies a fresh combinatorial interpretation of Hikita's probability distribution using a watershed permutation statistic.

read the letter

The paper's main contribution is a combinatorial model for the probabilities that Hikita defined in his work on e-positivity. Chow introduces the watershed statistic on permutations, built from the Renyi-Foata bijection, and argues that it matches Hikita's phi_k distribution exactly. The note also records that this statistic appears implicitly in the bulldozer problem from the 2015 IMO shortlist. This approach works because it gives a direct counting reason for the probabilities adding to one, separate from Hikita's algebraic proof. The reliance on a well-known bijection makes the construction transparent, and the IMO connection is a pleasant observation that doesn't distract from the core point. It avoids any circularity by defining the statistic independently and then verifying the distribution. The potential weakness is that the note is brief, so it leaves open how this statistic behaves under other operations or whether it simplifies other proofs in the area. No major gaps show up in the argument as described, and the claim does not appear circular. A reader might want a few explicit examples to see the matching in small cases, but that is a minor request. Specialists in algebraic combinatorics and permutation statistics would find this useful for understanding Hikita's distribution better. It is the kind of clean note that merits referee attention rather than a desk rejection. The thinking is clear and engages honestly with the existing literature on the topic. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper provides a combinatorial interpretation of the probability distribution defined by Hikita's formula φ_k (which sums to one) on permutations. The main tool is a new permutation statistic called the watershed, constructed using the Rényi-Foata bijection; the authors also observe that this statistic is implicit in the 2015 IMO shortlist 'bulldozer problem'.

Significance. If the watershed statistic is shown to induce exactly the same distribution as φ_k, the result supplies a direct combinatorial explanation for the normalization of Hikita's probabilities, which is surprising in the original algebraic treatment. This interpretation may simplify further work on the Stanley–Stembridge e-positivity conjecture and related permutation statistics, while the bulldozer link adds an unexpected connection to elementary combinatorics.

minor comments (2)

[Section 2] The definition of the watershed statistic (via the Rényi-Foata bijection) would benefit from an explicit small example (e.g., for a permutation of length 4 or 5) showing how the statistic is computed and why it matches φ_k.
[Section 3] Add a brief comparison table or statement confirming that the induced probabilities agree with Hikita's original formula on a few small n, to make the equality immediately verifiable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. We appreciate the recognition of the combinatorial interpretation provided by the watershed statistic and its unexpected connection to the 2015 IMO bulldozer problem.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs a combinatorial interpretation of Hikita's phi_k distribution by defining the watershed statistic on permutations via the standard Renyi-Foata bijection, which is an external, well-known tool not originating in this work or Hikita's. The central claim is that this independently defined statistic reproduces the target probabilities, but the definition does not reduce to Hikita's formula by construction, fitting, or self-citation; the bijection and statistic are presented as a separate combinatorial object whose matching property is asserted as a new observation rather than an identity forced by the inputs. No load-bearing self-citation, ansatz smuggling, or renaming of known results occurs in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the definition of the watershed statistic and its equivalence to Hikita's distribution under the Renyi-Foata bijection; these are introduced in the paper with no free parameters or new postulated entities beyond the statistic itself.

axioms (1)

standard math The Renyi-Foata bijection preserves the relevant permutation statistics needed for the interpretation.
The bijection is a previously established tool in permutation combinatorics invoked to connect the new statistic to the target distribution.

pith-pipeline@v0.9.0 · 5447 in / 1275 out tokens · 53469 ms · 2026-05-15T01:03:14.582471+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic LogicNat recovery and embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1: unique k such that cycle lengths of Phi^{-1} on left/right subsequences are even; watershed defined thereby

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.