arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2611.00569

Promotion and Extension of General Escape-Covering Duality Relationship

Zhipeng Deng
View original source ↗Read source document ↗Export metadata ↓

Abstract

Bellman's lost-in-a-forest problem, Moser's worm problem, Lebesgue's universal covering problems, and the classical 'fits and covers' questions can be organized by a common obstruction principle: an object fits a region if some admissible group action places it in the region, whereas an escape object is one for which every placement fails to remain in the interior. In this paper, we develop a general theory of escape-covering duality for any dimension and explore several applications. For convex translation covers of all closed planar curves of Euclidean length one, we prove $ W \ge f(\sqrt3/9)+c_1>0.15545785378555,c_1=0.000009944944227372... $ Here $f(\sqrt3/9)$ is Wetzel's classical lower bound. For a rational polytopal Minkowski gauge and prescribed rational facet directions, we express universal closed-loop cover feasibility as a rational polyhedron in the facet offsets. After removing translations, minimum volume is attained at a vertex. Refining the facet directions gives explicit two-sided rational bounds for the unrestricted fixed-gauge worm constant. Four exact benchmarks recover known sharp values. The construction uses an elementary circuit--circumradius form of the established non-fitting-polygon and capacity theory. We supply its support and ledger derivation, the finite complete test family in arbitrary dimension, a cover vertex bound, and the resulting algebraicity statement. The surrounding escape--covering framework includes endpoint placement, attainment, gauge stability, and finite-to-continuum error bounds. For nonsymmetric gauges the objects are parametrized closed curves, so orientation-dependent length is retained. Through the published capacity identity, the improved Wetzel estimate gives a product volume--capacity factor below $1.023781939711102$ for every planar ellipsoidal gauge.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhipeng Deng. 2026-10-31. Promotion and Extension of General Escape-Covering Duality Relationship. https://arxiv.org/abs/2611.00569

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Many Antipodal Pairs Force Many Neighboring Pairs

Let $X=\{x_1,\dots,x_n\}\subset \mathbb{R}^2$ be a finite set of points of diameter at most $1$. It is natural to expect that if many pairs $(x_i,x_j)$ lie at distance close to $1$ from each other, then some clustering phenomenon must occur, implying that a significant number of these pairs are also very close to each other. %For $0<\varepsilon<1$, we call a pair $(x_i,x_j)$ $\varepsilon$-antipodal if $\|x_i-x_j\|\ge 1-\varepsilon$ and $\varepsilon$-neighboring if $\|x_i-x_j\|\le \varepsilon$. We prove that there exists a universal constant $c>0$ such that for all $0<\varepsilon<1$, whenever $n$ is large enough, we have: \[ \big|\{(i,j):\|x_i-x_j\|\le \varepsilon\}\big| \geq c\cdot \varepsilon^{1/2}\cdot \big|\{(i,j):\|x_i-x_j\|\geq 1-\varepsilon\}\big|. \] This confirms a recent conjecture of Steinerberger, who asked whether the $\varepsilon^{1/2}$ ratio is the best possible. We also study a two-parameter version of Steinerberger's question by considering the number of pairs at distance at most $\varepsilon_1$ and at distance at least $1-\varepsilon_2$. We show that in this case the optimal ratio is $\varepsilon_1^2\cdot\varepsilon_2^{-3/2}$ when $\varepsilon_1\leq\varepsilon_2$, and $\varepsilon_1^{1/2}$ otherwise. The proof proceeds by introducing an auxiliary graph associated with the set $X$ and reducing the problem to bounding the largest eigenvalue of its adjacency matrix. Our main result is the outcome of human--AI interactions using ChatGPT 5.4.

math.MG↗
arXiv2026

Monge's transport problem in synthetic Lorentzian spacetimes

We prove the existence of solutions to the Lorentzian Monge problem on synthetic Lorentzian spacetimes that satisfy the forward timelike measure contraction property $TMCP^+(K,N)$. The cost for this problem is the time separation function $\ell(x,y)$ (the Lorentz distance), which represents the maximum amount a particle can age when traveling from $x$ to $y$. The solution is based on the needle decomposition technique, and amounts to a reduction of the full problem to its one-dimensional counterparts. As an application of needle decomposition, we introduce the blended $TMCP$ condition, and obtain a quantitative refinement of the synthetic Hawking singularity theorem. We additionally prove a timelike nonbranching reversibility theorem for $TCD_p(K,N)$ spacetimes, showing that forward $p$-essentially nonbranching spacetimes are backward $p$-essentially nonbranching.

math.MG↗
arXiv2026

Metric foundations of geometry

A metric space is called all-set-homogeneous if every isometry between two of its subsets extends to an isometry of the whole space. We classify all-set-homogeneous length spaces: besides the classical examples, they include the universal metric trees of finite valence.

math.MG↗