A comprehensive analysis of the Snellius-Pothenot problem

2026-03-06T16:38:56Z

It is known that a point in three-dimensional Euclidean space whose coordinates are equal to the cosines of the angles $\angle BDC, \angle ADC, \angle ADB$, where the point $D$ lies in the plane of a given triangle $ABC$, lies on the surface $\mathbb{BP}\subset [-1,1]^3$, given by the equation $1+2x_1x_2x_3-x_1^2-x_2^2-x_3^2 = 0$. It should be emphasized that the set of corresponding points essentially depends on the shape of triangle $ABC$. In this paper, we solve the following problem: For a fixed triangle $ABC$, for each point $U \in \mathbb{BP}$, determine the number of points $D$ from the plane of the triangle with the condition $U=(\cos \angle BDC, \cos \angle ADC, \cos \angle ADB)$. The problem of determining such points $D$ is known as the Snellius-Pothenot problem.

Mosco-convergence of Cheeger energies on varying spaces satisfying curvature dimension conditions

2026-03-06T14:39:23Z

We study the Mosco-convergence of Cheeger energies on Gromov-Hausdorff converging spaces satisfying different types of curvature dimension conditions. The case of functions of bounded variation is also considered. Applications to the continuity of Neumann eigenvalues are obtained. Our method, covering possibly infinite dimensional settings, is based on a Lagrangian approach and combines the stability properties of Wasserstein geodesics with the characterization of the nonsmooth calculus in duality with test plans.

Dynamical propagation and Roe algebras of warped spaces

2026-03-06T14:16:50Z

Given a non-singular action $Γ\curvearrowright (X,μ)$, we define the $*$-algebra $\mathbb C_{\rm fp}[Γ\curvearrowright X]$ of operators of finite dynamical propagation associated with this action. This assignment is completely canonical and only depends on the measure class of $μ$. We prove that the algebraic crossed product $L^{\infty}X \rtimes_{\rm alg} Γ$ surjects onto $\mathbb C_{\rm fp}[Γ\curvearrowright X]$ and that this surjection is a $\ast$-isomorphism whenever the action is essentially free. As a consequence, we canonically characterize ergodicity and strong ergodicity of the action in terms of structural properties of $\mathbb C_{\rm fp}[Γ\curvearrowright X]$ and its closure. We also use these techniques to describe the Roe algebra of a warped space in terms of the Roe algebra of the (non-warped) space and the group action. We apply this result to Roe algebras of warped cones.

Traces of Newton-Sobolev functions on the visible boundary of domains in doubling metric measure spaces supporting a $p$-Poincaré inequality

2026-03-06T02:27:33Z

We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves connecting the interior point to the points on the "visible boundary". In this paper, we provide an affirmative answer in the setting of a doubling metric measure space supporting a $p$-Poincaré inequality for $1

Lipschitz Bounds and Uniform Convergence for Sequences of Bounded Rough Riemannian Metrics

2026-03-05T20:42:15Z

Here we study what we call bounded rough Riemannian metrics $(M,g)$, which are positive definite, symmetric tensors on each tangent space, $T_pM$, which are bounded and measurable as functions in coordinates. This is enough structure to study the length space given by taking the infimum of the length of all piecewise smooth curves connecting points $p,q \in M$. The goal is to find the weakest conditions one can place on $g$ which can guarantee Lipschitz or uniform bounds from above and below. For each condition, an example is given showing that the condition cannot be weakened any further which also explores the geometric intuition.

Rogers's proof of Vaaler's theorem

2026-03-05T18:41:16Z

We note that an argument by Rogers (1958) gives a proof of Vaaler's theorem (1979) about sections of the cube and allows certain generalizations of the theorem.

Ultralimits of Sobolev maps and stability of Dehn functions

2026-03-05T14:59:37Z

We show that the ultralimit of a bounded sequence of Lipschitz maps into pointed metric spaces extends naturally to $p$-bounded sequences of Sobolev maps and that this ultralimit for Sobolev maps enjoys desirable properties. We use this to prove the stability of Dehn functions under ultraconvergence of pointed length spaces, thus resolving a problem posed by several researchers in the field. As an application, we obtain a simpler proof of a recent result of Stadler--Wenger, previously proved in the locally compact case by Lytchak--Wenger, characterizing spaces of curvature bounded above by $κ$ via an isoperimetric inequality for curves.

The Minkowski problem of $p$-affine dual curvature measures

2026-03-05T13:14:23Z

For $p\in (-\infty,0)\cup(0,1)$ and a convex body $K\subset\mathbb{R}^n$ with the origin in its interior, we construct the family of $p$-affine dual curvature measures $\mathcal{I}_p(K,\cdot)$ with respect to $K$. The affine-invariant measure $\widetilde{C}_{n-1}^{\mathrm{a}}(K, \cdot)$ given in the paper [9] is the limit case of $\mathcal{I}_p(K,\cdot)$ as $p\rightarrow 1^-$. The classical cone-volume measure is the limit case of the affine measures $2|p|\mathcal{I}_p(K,\cdot)/(n^2V(\mathrm{I}_pK))$ when $p\rightarrow 0$ and $V(K)=2$, where $\mathrm{I}_pK$ denotes the $L_p$ intersection body of $K$. The Minkowski problems for the $p$-affine dual curvature measures are proposed and studied. Specifically, we give a sufficient condition for the existence of a solution to the even Minkowski problem for $p$-affine dual curvature measure. Moreover, a necessary condition is given when $p\in (0,1)$. The smooth case of this Minkowski problem is equivalent to solving a new type of partial differential equations with respect to $p$-cosine transforms.

A note on pliability and the openness of the multiexponential map in Carnot groups

2026-03-05T12:27:49Z

In recent years, several notions of non-rigidity of horizontal vectors in Carnot groups have been proposed, motivated, in particular, by the characterization of monotone sets and Whitney extension properties. In this note we compare some of these notions.

Local Stability and Quantitative Bounds for the Betke-Henk-Wills Conjecture

2026-03-05T05:40:44Z

The Betke-Henk-Wills conjecture provides an upper bound for the lattice point enumerator $G(K, Λ)$ of a convex body in terms of its successive minima. While the conjecture is established for orthogonal parallelotopes, its validity for general convex bodies in dimensions $d \ge 5$ remains open. In this paper, we examine the stability of the conjecture under metric perturbations. Specifically, we demonstrate that the inequality is strictly maintained for integer boxes subjected to rotations within a calculated radius, a consequence of the discrete nature of the lattice point enumerator. We derive explicit, geometry-invariant quantitative bounds on the perturbation radius using the operator norm. Furthermore, we extend the analysis to $L_p$-balls for sufficiently large $p$, identifying a sharp threshold $p_0$ for the invariance of the integer hull.

Cotype of random polytopes

2026-03-05T02:54:10Z

For $N\geq n$, let $P_{N,n}$ be a random polytope in ${\mathbb R}^n$ with vertices $\pm X_i$, $1\leq i\leq N$, where $X_1,\dots,X_N$ are i.i.d standard Gaussian vectors in ${\mathbb R}^n$. Random polytopes $P_{N,n}$, as well as their duals, are classical objects of interest in high-dimensional convex geometry and local Banach space theory. In this paper, we provide a {\it dimension-independent} bound on the cotype of the corresponding normed space $({\mathbb R}^n,\|\cdot\|_{P_{N,n}})$, generated by $P_{N,n}$. Let $K'\geq K>1$, and assume that $K'\geq \frac{N}{n}\geq K$. We show that with probability $1-o(1)$, for any $k\geq 1$, and any collection $y_1,\dots,y_k$ of vectors in ${\mathbb R}^n$, $$ {\mathbb E}_σ\,\Big\|\sum_{i=1}^k σ_i y_i\Big\|_{P_{N,n}}^q \geq \frac{1}{C_q^q}\sum_{i=1}^k \big\|y_i\big\|_{P_{N,n}}^q, $$ where $σ=(σ_1,\dots,σ_k)$ is a vector of random signs, and where $q\in [2,\infty)$ and $C_q\in[1,\infty)$ may only depend on $K,K'$. We discuss the result in context of infinite-dimensional Banach spaces.

Metric embeddings of cubes into dense subsets of cubes

2026-03-04T22:12:53Z

Fix $k \in \mathbb{N}$ and $0 < δ< 1$. We study how large $N$ must be so that every $δ$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq δ2^N$) contains the image of a metric embedding $f: \{0,1\}^k \to \mathcal{D}$. We study three variants. For a $(1+\varepsilon)$-bi-Lipschitz map $f$ with fixed $\varepsilon > 0$, we show $N = O(\varepsilon^{-2} \log(1/δ) k^3)$. For an isometric map with arbitrary rescaling (undistorted), we show $N = \log(1/δ) e^{Ω(k)}$ and conjecture $N = \log(1/δ) e^{O(k)}$. For an isometric map with bounded rescaling we show $N = \exp[\log(1/δ) e^{Θ(k)}]$. As a geometric application, we obtain a nonpositive Alexandrov curvature counterpart to the work of Bartal-Linial-Mendel-Naor on the nonlinear Dvoretzky problem. It is known that any subset of $\{0,1\}^N$ embedding with bi-Lipschitz distortion $< α$ into a metric space of nonnegative Alexandrov curvature must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-2}))}$. Work of Gromov and Kondo shows that this approach does not extend to CAT(0) targets. We prove that for every $N \gtrsim α^6 \geq 1$, any $\mathcal{D} \subset \{0,1\}^N$ embedding with distortion $< α$ into a CAT(0) space must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-4}))}$, via a completely different approach. Similar results hold for targets of nontrivial Enflo type. Finally, we prove the density analogue of a coloring theorem of Rodl-Sales: we give bounds for $(1+\varepsilon)$-bi-Lipschitz embeddings of the path $\{1,\ldots,k\}$ into dense subsets of $\{1,\ldots,N\}$ (improving a bound of Dumitrescu), and prove similar bounds for binary tree metrics.

Characterization of foliations via disintegration maps

2026-03-04T21:55:20Z

In this paper, we present a novel approach for analyzing the relationship between the supports of conditional measures and their geometric arrangement in Wasserstein space via the disintegration map. Our method establishes criteria to determine when such conditional measures arise from a metric measure foliation. Additionally, we provide a example demonstrating how this framework can be applied to study perturbations of disintegration-induced foliations.

From simplex slicing to sharp reverse Hölder inequalities

2026-03-04T16:24:13Z

Simplex slicing (Webb, 1996) is a sharp upper bound on the volume of central hyperplane sections of the regular simplex. We extend this to sharp bounds in the probabilistic framework of negative moments, and beyond, of centred log-concave random variables, establishing a curious phase transition of the extremising distribution for new sharp reverse Hölder-type inequalities.

Seeing Through Hyperbolic Space: Visibility for $λ$-Geodesic Hyperplanes

2026-03-04T11:25:13Z

We study visibility from a fixed point in the presence of a Poisson process of $λ$--geodesic hyperplanes in a $d$-dimensional hyperbolic space. The family of $λ$--geodesic hyperplanes interpolates between totally geodesic hyperplanes and horospheres. Our main result establishes a universality principle for this model: we prove that the fundamental visibility properties are invariant with respect to the parameter $λ\in[0,1]$. Namely, there is a critical intensity $γ_{\mathrm{crit}}>0$ such that the visible region is unbounded with positive probability for $γ< γ_{\mathrm{crit}}$ and almost surely bounded for $γ> γ_{\mathrm{crit}}$. For $d=2$ we establish almost sure boundedness also at criticality. The value for $γ_{\mathrm{crit}}$ is explicit and does not depend on $λ$. In the bounded phase, we show that the mean visible volume is identical with the known formula for $λ=0$. The key integral-geometric step is an explicit computation showing that the measure of $λ$-geodesic hyperplanes hitting a geodesic segment is a linear function of the length of the segment, independent of~$λ$.