clopen.solutions

Topological complexity two in the homogeneous lower model

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

Kaiwen Jin

In the lower multiparameter model of random simplicial complexes, a simplex is retained when all its nonempty subfaces pass independent Bernoulli trials. We prove that, when every trial has the same fixed probability in $(0,1)$, the resulting complex is path-connected and has reduced topological complexity two with probability tending to one along all ambient sample sizes. Thus three continuous local motion-planning rules are necessary and sufficient. This removes the density-one restriction in the result of Barmak and Farber. The new step is an anti-concentration estimate for the Euler characteristic: after the other variables are exposed, many remaining face trials independently add or remove a single maximal simplex.

Claims

SOLUTION CLAIMED OP-00811 — Topological complexity in the homogeneous medial regime for all sample sizes
Full resolution · fidelity not yet established

Files and sources

Paper
AIM @ 24edaad, paper/main.pdf ↗
Posted on GitHub
14 October 2026

No verification run is on record for this version.