Characterization of tangent quasicircles and quasiannuli

2026-02-19T10:30:48Z

We give a necessary and sufficient condition so that a pair of disjoint Jordan regions in the sphere can be quasiconformally mapped to a pair of disks. As a consequence, we obtain a simple characterization that involves Lipschitz functions for the case that one of the Jordan regions is a half-plane. We apply these results to prove that all polynomial cusps are quasiconformally equivalent and that a quasisymmetric embedding of the union of two disjoint disks extends to a quasiconformal map of the sphere, quantitatively. Also, in combination with previous work of the author, we obtain a new characterization of compact sets that are quasiconformally equivalent to Schottky sets.

Slicing Wasserstein Over Wasserstein Via Functional Optimal Transport

2026-02-19T10:17:30Z

Wasserstein distances define a metric between probability measures on arbitrary metric spaces, including meta-measures (measures over measures). The resulting Wasserstein over Wasserstein (WoW) distance is a powerful, but computationally costly tool for comparing datasets or distributions over images and shapes. Existing sliced WoW accelerations rely on parametric meta-measures or the existence of high-order moments, leading to numerical instability. As an alternative, we propose to leverage the isometry between the 1d Wasserstein space and the quantile functions in the function space $L_2([0,1])$. For this purpose, we introduce a general sliced Wasserstein framework for arbitrary Banach spaces. Due to the 1d Wasserstein isometry, this framework defines a sliced distance between 1d meta-measures via infinite-dimensional $L_2$-projections, parametrized by Gaussian processes. Combining this 1d construction with classical integration over the Euclidean unit sphere yields the double-sliced Wasserstein (DSW) metric for general meta-measures. We show that DSW minimization is equivalent to WoW minimization for discretized meta-measures, while avoiding unstable higher-order moments and computational savings. Numerical experiments on datasets, shapes, and images validate DSW as a scalable substitute for the WoW distance.

Minimal projections onto spaces of polynomials on real euclidean spheres

2026-02-18T20:14:31Z

We investigate projection constants within classes of multivariate polynomials over finite-dimensional real Hilbert spaces. Specifically, we consider the projection constant for spaces of spherical harmonics and spaces of homogeneous polynomials as well as for spaces of polynomials of finite degree on the unit sphere. We establish a connection between these quantities and certain weighted $L_1$-norms of specific Jacobi polynomials. As a consequence, we present exact formulas, computable expressions and asymptotically accurate estimates for them. The real case we address is considerably more nuanced than its complex counterpart.

Cantor sets in higher dimensions II: Optimal dimension constraint for stable intersections

2026-02-18T18:06:13Z

It is well known that a pair of compact sets in $\mathbb{R}^d$ ($d \in \mathbb{N}$) can be separated by small deformations if the sum of their Hausdorff dimensions is less than $d$. In this paper, we demonstrate that this dimension constraint is optimal for regular Cantor sets. Specifically, for any prescribed Hausdorff dimensions whose sum is greater than $d$, we construct classes of pairs of regular Cantor sets that exhibit $C^{1+α}$-stable intersections. Our method is geometrically flexible, enabling the construction of examples with arbitrarily small thickness in both projectively hyperbolic and nearly conformal regimes. These results also extend to the complex setting for holomorphic Cantor sets in $\mathbb{C}^d$. The proof relies on the ``covering criterion" for stable intersection introduced in the first part of this series \cite{NZ1}, which generalizes the ``recurrent compact set criterion" of Moreira-Yoccoz to higher dimensions.

Ellipsoids in pseudoconvex domains

2026-02-18T16:49:43Z

We consider the problem of maximizing the volume of hermitian ellipsoids inscribed in a given pseudoconvex domain in complex Euclidean space. We prove existence and uniqueness, and give a characterization of the maximizer.

Fit systolic groups, exactly

2026-02-18T14:02:49Z

A systolic complex/bridged graph is fit when its (metric) intervals are "not too large". We prove that uniformly locally finite fit systolic complexes have Yu's Property A. In particular, groups acting properly on such complexes have Property A, (equivalently) they are exact, and (equivalently) they are boundary amenable. As applications we show that groups from a class containing all large-type Artin groups, as well as all finitely presented graphical $C(3)$--$T(6)$ small cancellation groups, and finitely presented classical $C(6)$ small cancellation groups are exact. We also provide further examples. Our proof relies on a combinatorial criterion for Property~A due to Špakula and Wright.

Packings in classical Banach spaces

2026-02-18T10:56:25Z

We obtain several new results on the simultaneous packing and covering constant $γ(\mathcal{X})$ of a Banach space $\mathcal{X}$, and its lattice counterpart $γ^*(\mathcal{X})$. These constants measure how efficient a (lattice) packing by unit balls in $\mathcal{X}$ can be, the optimal case being that $γ(\mathcal{X})= 1$ and the worst that $γ(\mathcal{X})= 2$. Our first main result is that $γ(\mathcal{X})> 1$ whenever $B_\mathcal{X}$ admits a LUR point, which leads us to a negative answer to a question of Swanepoel. We also develop general methods to compute these constants for a large class of spaces. As a sample of our findings: (i) $γ^*(\mathcal{X})= 1$ when $\mathcal{X}$ is a separable octahedral Banach space, or $\mathcal{X}= \mathcal{C}(\mathcal{K})$, where $\mathcal{K}$ is zero-dimensional; (ii) $γ(\ell_p(κ)\oplus_r \mathcal{X})= γ^*(\ell_p(κ)\oplus_r \mathcal{X})= \frac{2}{2^{1/p}}$, whenever $\rm{dens}(\mathcal{X})< κ$ and $1\leq r\leq p< \infty$; (iii) $γ(L_p(μ))= γ^*(L_p(μ))= \frac{2}{2^{1/p}}$ for $1\leq p\leq 2$ and every measure $μ$; (iv) there exist reflexive (resp. octahedral) Banach spaces $\mathcal{X}$ with $γ(\mathcal{X})= 2$. We leave a large area open for further research and we indicate several possible directions.

Cantor sets in higher dimension I: Criterion for stable intersections

2026-02-17T20:21:34Z

We study the geometry of dynamically defined Cantor sets in arbitrary dimensions, introducing a criterion for $\mathcal{C}^{1+α}$ stable intersections of such Cantor sets, under a mild bunching condition. This condition is naturally satisfied for perturbations of conformal Cantor sets and, in particular, always holds in dimension one. Our work extends the celebrated recurrent compact set criterion of Moreira and Yoccoz for stable intersection of Cantor sets in the real line to higher-dimensional spaces. Based on this criterion, we develop a method for constructing explicit examples of stably intersecting Cantor sets in any dimension. This construction operates in the most fragile and critical regimes, where the Hausdorff dimension of one of the Cantor sets is arbitrarily small and both Cantor sets are nearly homothetical. All results and examples are provided in both real and complex settings.

Solving Dirichlet problem on unbounded uniform domains by using sphericalization techniques

2026-02-17T16:33:18Z

Within the setting of metric spaces equipped with a doubling measure and supporting a $p$-Poincaré inequality, establishing existence of solutions to Dirichlet problem in a bounded domain in such a metric space is accomplished via direct methods of calculus of variation and the use of a Maz'ya type inequality, which is a consequence of the Poincaré inequality. However, when the domain and its boundary are unbounded, such a method is unavailable. In this paper, using the technique of sphericalization developed in the prior paper~[32], we establish the existence of solutions to the Dirichlet boundary value problem for $p$-harmonic functions in unbounded uniform domains with unbounded boundary when $1

Urysohn Width and Surgeries

2026-02-17T13:26:01Z

We analyze the behavior of Urysohn width of manifolds under a connected sum operation, specifically, bounding widths of summands in terms of widths of the sum and vice versa. Our methods also apply to the universal covers of these spaces, and to more general type of surgeries. Lastly, we provide examples that show the optimality of constants in our estimates.

Novel distance-based masking and adaptive alpha-shape methods for CNN-ready reconstruction of arbitrary 2D CFD flow domains

2026-02-17T12:34:45Z

Interpolating scattered CFD datasets onto a uniform Cartesian grid can distort the true geometry, producing a convex-hull type envelope and activating nonphysical regions. This work presents a reconstruction framework that recovers physically consistent masks before exporting CNN-ready fields. It introduces two novel strategies, distance-based masking and an adaptive alpha-shape formulation that normalizes alpha using local data resolution, and evaluates them against classical alpha-shape boundary recovery. A quantitative, topology-aware metric suite is introduced to assess retention, suppression of unsupported regions, overlap consistency, and connectivity. The novel distance-based method is robust across the geometries considered under the same threshold rule, with tau set to the minimum CFD grid spacing, and achieves 500-800 times speedups over classical alpha-shapes. The adaptive alpha-shape remains stable when its control parameter is set to 1 and is 1.7-2.6 times faster than the classical variant, which requires geometry-specific alpha tuning. A lightweight boundary inflation post-process using a minimal dilation further improves retention by up to 2.96% with negligible unsupported activation (less than 0.08%). Overall, the distance-based method is recommended as the default due to its accuracy, stability, minimal tuning, and low cost, while the adaptive alpha-shape is a strong alternative when grid-spacing information for threshold selection is unavailable. A companion web application operationalizes the workflow end to end, enabling 2D ASCII dataset upload, parameter tuning, mask and boundary generation, and export of CNN-ready outputs.

Mazur-Ulam Theorem With Gromov-Hausdorff Distance

2026-02-17T11:58:15Z

It is shown that two Banach spaces are linearly isometric if and only if the Gromov--Hausdorff distance between them is finite, in particular, zero. The proof is compilative and relies on results obtained by many researchers on the approximability of almost-surjective almost-isometries by linear surjective isometries. In the finite-dimensional case, previously obtained by I.~Mikhailov, a simpler proof under weaker assumptions is given. In the finite-dimensional case, a criterion for isometry in terms of finite (compact) subsets is also given.

From Blaschke--Santaló-type inequalities to uniform contractions

2026-02-17T04:39:17Z

In this short note, we establish Blaschke--Santaló-type inequalities for $r$-ball bodies. Building on these inequalities, we somewhat further extend earlier results on analogues of the Kneser--Poulsen conjecture concerning intersections of balls under uniform contractions in Euclidean $d$-space. As an immediate corollary, we obtain a proof of Alexander's conjecture for uniform contractions.

On basic $r$-ball polyhedra

2026-02-17T04:25:30Z

This note introduces the class of basic $r$-ball polyhedra in the $d$-dimensional Euclidean space $\mathbb{E}^{d}$ for $d>1$ and $r>0$. We investigate their face structure and, for given integers $0\leq i\leq d-1$, $n\geq d+1\geq 3$ determine the maximal number of $i$-dimensional faces among all basic $r$-ball polyhedra in $\mathbb{E}^{d}$ with $n$ facets. In addition, we establish that for $d>2$, every basic $r$-ball polyhedron is globally rigid with respect to its inner dihedral angles.

Chord Sobolev inequalities

2026-02-16T19:59:31Z

The paper establishes a new family of analytic inequalities. Together with the fractional Sobolev inequalities of Almgren and Lieb, they form a complete class of analytic inequalities, referred to as the chord Sobolev inequalities. The paper also demonstrates the connection of all these inequalities to the chord isoperimetric inequalities in integral geometry. The limiting cases of the chord Sobolev inequalities are derived as well, one of which can be viewed as a logarithmic Sobolev-type inequality. These limiting cases, combined with the work of Bourgain, Brezis and Mironescu, complete the theory of chord Sobolev inequalities.