Mathematics
We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for…
In this paper we prove the WALA conjecture.
In this short note we give a negative answer to the following open question: \emph{Let $X$ be a $\sigma$-compact paratopological group. Does there exist a continuous isomorphism of $X$ onto a topological group $G$?} Specifically, we…
In this paper, we study the dual Minkowski problem under group symmetry. For $0<q\le n$, we give a complete existence characterization in the framework of $G$-invariant convex bodies when the group $G\subset O(n)$ has no nonzero fixed…
This paper gives a complete description of the solutions of the global positioning problem, emphasizing the under-determined case. We show that the solutions form a quadric, which may degenerate in various ways. Perhaps more surprisingly,…
We define a distance analogous to the Gromov-Hausdorff distance that enables the comparison of arbitrary quasi-isometric spaces. We also investigate properties preserved under limits with respect to this distance, as well as properties of…
We study the bi-Lipschitz embedding problem for a class of metric spaces called slit carpets. First we show that the $n$th stage $\mathbb{M}_n$ of the standard slit carpet of Merenkov admits a bi-Lipschitz embedding into Euclidean space…
The chord-power integrals $I_k$ are classical integral-geometric functionals of a planar convex body, obtained by integrating powers of the chord length against the kinematic measure on the space of lines meeting the body. We establish a…
The study of bodies of constant width is a classical subject in convex geometry, with the 3-dimensional Meissner bodies being canonical examples. This paper presents a novel geometric construction of a body of constant width in $\mathbb…
Finite automata were used to determine multiple addresses in number systems and to find topological properties of self-affine tiles and finite type fractals. We join these two lines of research by axiomatically defining automata which…
The sliced Wasserstein distance $SW_2(\mu,\nu)$ compares high-dimensional probability measures by averaging one-dimensional optimal transport distances over linear projections. Although sliced Wasserstein distances are now standard…
We prove quantitative stability estimates for Wasserstein barycenters on Alexandrov spaces with curvature bounded from below. The proof combines the variational strategy of Carlier--Delalande--M\'erigot with heat-kernel regularization,…
We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…
Motivated by a discrete inequality problem proposed by Duanyang Zhang as Problem 6 of the 2022 Spring NSMO, we prove a median version of Hardy's inequality. For a nonnegative function $f\in L^p(0,\infty)$, $p>1$, let $A(t)$ be the average…
We give a simple computational approach to mathematical quasicrystals, combining cut-and-project methods with self-similarity. Starting with a Pisot unit $\beta$ and an iterated function system $g_k(z)=\beta z +z_k, \ k=1,...,m$ in a…
We extend the notion of illumination bodies to Riemannian spaces of constant curvature and to projective Finsler geometries. We prove that the derivative of their volume defines a notion of surface area for convex bodies in these settings,…
We define a complete metric structure $\mathfrak{d}_q^p$ on the family $\text{PL}_q^p(\mathbb{R}^n)$ of probability measures with densities in $L^p(\mathbb{R}^n)$ and finite $q$-moments. We establish the existence of generalized minimizing…
Let $\mu_p$ be the generalized Gaussian distribution on $\mathbb{R}^n$ with density $e^{-\frac{|x|^p}{p}}$ multiplied by a constant depending on $p\ge 1$ and $n$, and $\alpha_p(n)$ be the largest number such that the Brunn-Minkowski type…
In this paper, we establish a higher order Morrey's inequality in the framework of %non-collapsed $\mathsf{RCD}(K,N)$-spaces for $K\in\mathbb{R}$ and $N\in\mathbb{N}$. We do so by first introducing an alternate version of the second order…
The Hellinger-Kantorovich (HK) space provides a natural geometry for nonnegative measures with varying total mass, but its differential-geometric structure is less well understood than that of the closely related Wasserstein space of…