OpenFrontiers
← Back to the index
OP-10648SolvedProbability

Fluctuations and scaling relations · Question 3.5

First passage percolation · AIMPL workshop record

Editorial mapping of AIMPL source category: Probability. http://aimpl.org/firstpercolation/ Not an author-supplied MSC code.

Source reports solvedAs of 2026-09-10 source snapshot; not a current-status certificationSource & evidence ↓

Problem statement

In the inhomogeneous model for which the pair (F−,F+)(F_-,F_+) produces a `pyramid' on the asymptotic shape, does that imply that Var(T(0,ne2)){\rm Var}(T(0,n{\bf e}_2)) is order nn, and that T(0,ne2)T(0,n{\bf e}_2), properly rescaled, satisfies a Gaussian central limit theorem?

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Background

Workshop introduction

This is a summary of the set of problems discussed at the AIM workshop on first-passage percolation and related models in August 2015. The name of the person who raised the question at the workshop is mentioned within parenthesis for each problem.

In first-passage percolation the edges of the Zd\mathbb{Z}^d nearest neighbor lattice is equipped with non-negative random weights {ωe}\{\omega_e\}, which are usually assumed to be i.i.d. The resulting weighted graph induces a metric T:Zd×Zd→[0,∞)T:\mathbb{Z}^d\times\mathbb{Z}^d\to[0,\infty) on Zd\mathbb{Z}^d, and it is understanding the large-scale behavior of distances, balls and geodesics in this random metric space which is the primary objective. See Source citation: arXiv:1511.03262 for an extensive recent survey.

Section context

The best current bounds on fluctuations of the first-passage metric says that for some constant c>0c>0 we have

clog⁡n ≤ Var(T(0,ne1)) ≤ nclog⁡n,c\log n\,\le\,{\rm Var}\big(T(0,n{\bf e}_1)\big)\,\le\,\frac{n}{c\log n},

where the lower bound holds for d=2d=2, see Source citation: MR1283187, Source citation: MR1349159, and the upper bound for d≥2d\ge2, see Source citation: MR2016607, Source citation: MR3405617.

Question context

An inhomogeneous model for first-passage percolation was introduced in Source citation: MR3485346 in which edges in the left and right half-planes of Z2\mathbb{Z}^2 are assigned weights according to different distributions F−F_- and F+F_+. It was further proven that a shape theorem holds in this setting, and that the asymptotic shape equals the convex hull of the shapes associated with the distributions F−F_- and F+F_+, intersected with respective half-plane, and a potential additional line segment along the vertical axis. In the presence of a line segment this would produce a `pyramid' on the shape in the vertical direction, and it is known that there exists pairs (F−,F+)(F_-,F_+) for which such a pyramid is produced.

Progress & source assessment

Dated source record, inspected 2026-09-10. Source explicitly says the question was answered affirmatively during the workshop. Source-reported results have not been independently verified.

Status note in the source

This question was answered affirmatively by Ahlberg, Bhatnagar, Dey and Ganguly during the workshop.

References
  1. [1]First passage percolation · Original question link
  2. [2]AIMPL source bibliography link
  3. [3]AIMPL text license · CC BY-SA 3.0 linkAIM Problem Lists (AIMPL), original contributors; CC BY-SA 3.0. Adaptation: structural TeX converted to Markdown, documented source macros expanded, and source bibliography links added. Mathematical wording retained. These adapted source texts remain under CC BY-SA 3.0.

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.