clopen.solutions

No bigeodesics in planar first-passage percolation

Recorded by the registry's curators from GitHub; the authors did not submit it here.

OpenAI

We prove that planar first-passage percolation with independent identically distributed nonnegative nonatomic edge weights has almost surely no doubly infinite geodesic, provided the minimum of four independent weights has finite second moment. This resolves the planar no-bigeodesics conjecture under that moment assumption. The conclusion rules out all bigeodesics simultaneously, without any regularity assumption on the limit shape.

Claims

SOLUTION CLAIMED OP-00659 — Absence of doubly infinite minimizing paths in planar first-passage percolation
Full resolution · fidelity not yet established

Files and sources

Paper
math @ 1581d4c, build/main.tex ↗
Posted on GitHub
6 October 2026

No verification run is on record for this version.