Exact limiting distribution of normalized triangle shapes in the moduli space

Determine the limiting probability distribution on the moduli space of triangles \(\mathcal{M}_\Delta\) for the multiplicity-weighted set of similarity classes arising from lattice triangles with vertices in \(\mathbb{Z}^2\cap([-N,N]\times[-N,N])\), as \(N\to\infty\). Equivalently, determine the probability distribution of the normalized side-length triple \((a,b,c)\in\mathbb{R}^3_+\) obtained by dividing each side length by the semi-perimeter so that \(a+b+c=2\) when three points are chosen independently and uniformly at random in the unit square \([0,1]\times[0,1]\).

Background

The paper defines the moduli space of triangles MΔ\mathcal{M}_\Delta via normalized side lengths (a,b,c)(a,b,c) with a+b+c=2a+b+c=2, and studies the subset determined by lattice triangles. It proves density of lattice triangles in MΔ\mathcal{M}_\Delta but shows that the similarity classes of lattice triangles with vertices in [N,N]2[-N,N]^2, counted with multiplicity, do not equidistribute with respect to the area measure.

Despite non-equidistribution, numerical evidence suggests the resulting distribution is close to uniform, motivating the problem of identifying the exact limiting distribution. The authors reformulate this limit in terms of the distribution of normalized side lengths when three points are chosen independently and uniformly at random in the unit square, which corresponds to the NN\to\infty scaling limit of lattice triangles.

References

As mentioned in the Introduction, we do not know the expression for the exact limiting probability distribution in $\mathcal{M}\Delta$ for the weighted subsets $S_N$ that we considered, as $N\to \infty$. Given a triple of points $A,B,C$ in the unit square $[0,1]\times [0,1]$ chosen independently and randomly with respect to the uniform distribution, what is the probability distribution of the normalized triple of side-lengths $(a,b,c) \in \mathbb{R}3+$ as defined in eq:norm?

eq:norm:

a=1sBA, b=1sCB, c=1sACa=\frac{1}{s}\lVert B-A\rVert,\ b=\frac{1}{s}\lVert C-B\rVert,\ c=\frac{1}{s}\lVert A-C\rVert

From discrete to dense: explorations in the moduli space of triangles  (2604.00373 - Aggarwal et al., 1 Apr 2026) in Section 5 (Epilogue), Question 5.1