度量几何

This note is a complete library of symbolic parametrized expressions for both real and complexified configuration spaces of a planar 4-bar linkage. Building upon the previous work from Izmestiev (2015), this library expands on the…

The Cramer-Castillon problem (CCP) consists in finding one or more polygons inscribed in a circle such that their sides pass cyclically through a list of $N$ points. We study this problem where the points are the vertices of a triangle and…

Two subsets $A, B$ of the plane are betweenness isomorphic if there is a bijection $f\colon A\to B$ such that, for every $x,y,z\in A$, the point $f(z)$ lies on the line segment connecting $f(x)$ and $f(y)$ if and only if $z$ lies on the…

Graphs are fundamental tools for modeling pairwise interactions in complex systems. However, many real-world systems involve multi-way interactions that cannot be fully captured by standard graphs. Hypergraphs, which generalize graphs by…

We determine the local geometric structure of two-dimensional metric spaces with curvature bounded above as the union of finitely many properly embedded/branched immersed Lipschitz disks. As a result, we obtain a graph structure of the…

In a series of papers in the 1960's, S. G\"ahler defined and investigated so-called m-metric spaces and their topological properties. An m-metric assigns to any tuple of m+1 elements a real value (more generally an element in a partially…

Let $\epsilon<1/384$ and let $\Omega$ be a smooth embedded paper Moebius band of aspect ratio less than $\sqrt 3 + \epsilon$. We prove that $\Omega$ is within Hausdorff distance $18 \sqrt \epsilon$ of an equilateral triangle of perimeter $2…

Inspired by the linear programming method developed by Cohn and Elkies (Ann. Math. 157(2): 689-714, 2003), we introduce a new linear programming method to solve the sphere packing problem. More concretely, we consider sequences of auxiliary…

The moving sofa problem asks for the connected shape with the largest area $\mu_{\text{max}}$ that can move around the right-angled corner of a hallway $L$ with unit width. The best bounds currently known on $\mu_{\max}$ are summarized as…

We resolve the moving sofa problem by showing that Gerver's construction with 18 curve sections attains the maximum area $2.2195\cdots$.

We study the ambient Lipschitz geometry of semialgebraic surfaces. It was discovered in \cite{BBG} that ambient Lipschitz Geometry is different from the outer Lipschtz geometry. We show that two surface germs in $\mathbb{R}^3$, Lipschitz…

Let $\sigma_q : \mathbb{R}^q \to {\bf S}^q \setminus N_q$ be the inverse of the stereographic projection with centre the north pole $N_q$. Let $W_i$ be a closed subset of $\mathbb{R}^{q_i}$, for $i=1,2$. Let $\Phi:W_1 \to W_2$ be a…

Suppose that $C$ is a bounded, convex subset of $\mathbb{R}^n$, and that $P_1, \dots, P_k$ are planks which cover $C$ in respective directions $v_1, \dots, v_k$ and with widths $w_1, \dots, w_k$. In 1951, Bang conjectured that the sum of…

The Tammes problem delves into the optimal arrangement of $N$ points on the surface of the $n$-dimensional unit sphere (denoted as $\mathbb{S}^{n-1}$), aiming to maximize the minimum distance between any two points. In this paper, we…

We construct a sphere-homeomorphic flexible self-intersection free polyhedron in Euclidean 3-space such that all its dihedral angles change during some flex of this polyhedron. The constructed polyhedron has 26 vertices, 72 edges and 48…

We study the problem of existence of two affine-equivalent bar-and-joint frameworks in Euclidean $d$-space which have prescribed combinatorial structure and edge lengths. We prove that theoretically this problem is always solvable, but we…

In this article, we investigate the bivariate multifractal analysis of pairs of Borel probability measures. We prove that, contrarily to what happens in the univariate case, the natural extension of the Legendre spectrum does not yield an…

In this paper we define a novel edit distance for merge trees, which we argue to be suitable for a good range of applications. Relying also on some technical results contained in other works, we investigate its stability properties, which…

In this paper we prove that the Gromov--Hausdorff distance between $\mathbb{R}^n$ and its subset $A$ is finite if and only if $A$ is an $\varepsilon$-net in $\mathbb{R}^n$ for some $\varepsilon>0$. For infinite-dimensional Euclidean spaces…

We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Tim\'ar for classical expansion of bounded…