On the Geometry of the Last Passage Percolation Problem
Pith reviewed 2026-05-25 12:37 UTC · model grok-4.3
The pith
The regions of weight space where a particular path is longest in last passage percolation are pointed polyhedral cones whose structure is determined by the model.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When weights are positive the set of weight vectors making a given path the unique longest one forms a pointed polyhedral cone in weight space. The extreme rays, facets and two-dimensional faces of these cones are characterized using last passage percolation arguments, and the maximal cones admit a well-known simplicial decomposition via the order cone. All properties are derived directly from the last passage model and apply to general finite partially ordered sets.
What carries the argument
The pointed polyhedral cones that form the domains of linearity for the passage time function, each corresponding to a particular path being maximal.
If this is right
- The extreme rays and facets of each cone can be listed explicitly from the partial order relations among the points.
- Path probabilities are obtained by integrating the weight distribution over the corresponding cone.
- The order cone provides a simplicial decomposition that triangulates the space of all weight vectors.
- Results hold for arbitrary finite posets, allowing the same geometric analysis beyond grid graphs.
Where Pith is reading between the lines
- These cone descriptions could be used to derive exact path probability formulas for small grids by direct integration.
- Similar cone structures might appear in other optimization problems over posets such as longest increasing subsequences.
- Computational verification on small posets would confirm whether the listed rays and facets match the actual domains.
Load-bearing premise
All weights are assumed positive so that each domain is a pointed polyhedral cone.
What would settle it
A positive weight vector for which the set of weights making one specific path longest fails to be a pointed polyhedral cone, or has rays or facets different from those described, would show the geometric characterization is incomplete.
read the original abstract
We analyze the geometrical structure of the passage times in the last passage percolation model. Viewing the passage time as a piecewise linear function of the weights we determine the domains of the various pieces, which are the subsets of the weight space that make a given path the longest one. We focus on the case when all weights are assumed to be positive, and as a result each domain is a pointed polyhedral cone. We determine the extreme rays, facets, and two-dimensional faces of each cone, and also review a well-known simplicial decomposition of the maximal cones via the so-called order cone. All geometric properties are derived using arguments phrased in terms of the last passage model itself. Our motivation is to understand path probabilities of the extremal corner paths on boxes in $\Z^2$, but all of our arguments apply to general, finite partially ordered sets.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper analyzes the geometric structure of domains in weight space where a given path realizes the maximum passage time in the last-passage percolation model on a finite poset. Restricting to positive weights, these domains are pointed polyhedral cones; the authors determine the extreme rays, facets, and two-dimensional faces of each cone via direct last-passage comparisons, and review the simplicial decomposition of maximal cones by the order cone. All arguments are phrased intrinsically in terms of the LPP model and apply to general finite posets, with motivation from extremal corner paths on boxes in Z^2.
Significance. If the derivations hold, the work supplies a model-intrinsic description of the conical domains and their facial structure for LPP on posets, which may facilitate exact or asymptotic computations of path probabilities. The explicit use of last-passage comparisons rather than external combinatorial machinery is a methodological strength, and the extension to arbitrary finite posets broadens applicability beyond the grid case.
minor comments (3)
- [§1] §1 (Introduction): the transition from the Z^2 box motivation to the general-poset setting is stated but not illustrated with a small example; adding a two-element poset or 2x2 grid diagram would clarify how the cone geometry specializes.
- The review of the order-cone decomposition (mentioned in the abstract and presumably in §4 or §5) cites it as 'well-known' but does not provide a self-contained reference or a one-paragraph recap of the simplicial property; a short citation or sketch would aid readers unfamiliar with the construction.
- Notation for the weight vector and the passage-time function is introduced without an explicit equation number in the early sections; cross-referencing the definition of the domain C_π would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript, recognition of its methodological strengths, and recommendation for minor revision. Since no specific major comments were raised, we address the report as a whole below.
Circularity Check
No significant circularity; direct structural derivation from model
full rationale
The paper performs a direct geometric analysis of domains in the last passage percolation model on a finite poset, deriving extreme rays, facets, and 2-faces from passage time comparisons under the positive-weights assumption that makes domains pointed polyhedral cones. The simplicial decomposition via the order cone is explicitly reviewed as a known fact rather than derived. No equations reduce claims to fitted inputs, self-definitions, or load-bearing self-citations; all arguments are phrased internally to the last-passage model on the stated poset. This matches the default expectation of a self-contained mathematical derivation with no circular reduction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Finite partially ordered sets admit well-defined last passage times as maxima over paths.
- domain assumption Positive weights make each maximal domain a pointed polyhedral cone.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.