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 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…

In Grayson's combinatorial description of higher K-groups, the generators are bounded acyclic binary multi-complexes of arbitrary size. Generalising work by Kasprowski, Winges and the author, we show in this paper that multi-complexes of…

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 prove separation and excision results in functor homology. These results explain how the global Steinberg decomposition of functors proved by Djament, Touz{\'e} and Vespa behaves in Ext and Tor computations.

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…

This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph…

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 Witt group of skew hermitian forms over a division algebra $D$ with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of $D$ with values in a…

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,…

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…