With what probability does an inscribed triangle contain a given point?

2026-01-06T11:20:06Z

Three points uniformly selected on the unit circle form a triangle containing a point $X$ at distance $r \in [0; 1]$ from its center with probability $P(r) = \frac{1}{4} - \frac{3}{2 π^2}\textrm{Li}_2(r^2)$, where $\textrm{Li}_2$ is the dilogarithm function (Jeremy Tan Jie Rui, 2018). In this paper we present an alternative proof of this fact. We also discuss a couple of other geometric probability problems where the dilogarithm function arises.

Fixed point theorems on perturbed metric space with an application

2026-01-06T11:05:01Z

Following the definition of perturbed metric space, in this paper, some fixed point theorems are established for $ F $-perturbed mappings in complete perturbed metric spaces and justify the result by counter example. Finally, an application of this theorem for the existence of a solution for the second-order boundary value problem is given.

Frostman and Fourier characterisations of fractal dimensions

2026-01-06T10:29:37Z

We examine Frostman-type characterisations and other extremal measure criteria for a range of fractal dimensions of sets. In particular we derive properties of the less familiar modified lower box dimension and upper correlation dimension. We also express a number of fractal dimensions in terms of Fourier properties of measures.

Morse index of min-max stationary integral varifolds

2026-01-06T09:45:52Z

We prove an upper bound for the Morse index of min-max stationary integral varifolds realizing the $d$-dimensional $p$-width of a closed Riemannian manifold.

Completeness conditions for spacetimes with low-regularity metrics

2026-01-06T05:07:57Z

We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite compactness implies timelike Cauchy completeness and that timelike Cauchy completeness implies Condition A for globally hyperbolic Lorentzian length spaces. Furthermore, for globally hyperbolic $C^{1}$-spacetimes, we establish the equivalence of the three conditions assuming the causally non-branching and non-intertwining conditions, which in fact imply the continuity of the causal exponential map. These results can be regarded as a Hopf-Rinow type theorem for low-regularity Lorentzian geometry. The appendix presents examples of $C^{1}$-spacetimes -- where geodesic uniqueness may fail -- in which causal geodesics nevertheless behave well, illustrating the scope of our results.

Extensions of the Busemann-Petty Problem for Arbitrary Measures

2026-01-05T16:50:47Z

The classical Busemann-Petty problem asks whether smaller central hyperplane sections of origin-symmetric convex bodies necessarily imply smaller total volume. Zvavitch studied this question for arbitrary measures with continuous even densities, providing sufficient conditions for affirmative cases in terms of the distributional behavior of the ratio between the densities involved. We refine this result by extending it to a broader class of distributions and allowing a distinct pair of densities for each body, one for hyperplane sections and another for the full volume. We also present some examples illustrating cases not covered by previous results.

On Lakes of Wada

2026-01-05T16:50:16Z

There exist Lakes of Wada in $\mathbb S^n, n\ge 3,$ which are quasiconformally equivalent to a Euclidean ball and are John domains.

Some comments on the mth-order Projection Bodies

2026-01-05T13:36:39Z

The celebrated Petty's projection inequality is a sharp upper bound for the volume of the polar projection body of a convex body. Lutwak introduced the concept of mixed projection bodies and extended Petty's projection inequality. Alonso-Gutiérrez later did a stability result for Petty's projection inequality. In 1970, Schneider introduced the $m$th-order setting and extended the difference body to that setting. In a previous work, we, working with Haddad, Putterman, Roysdon, and Ye, established an extension of the projection body operator to this setting. In this note, we continue this study for the mixed projection body operator as well as the question of stability.

Antipodality of spherical designs with odd harmonic indices

2026-01-05T13:00:37Z

We determine the smallest size of a non-antipodal spherical design with harmonic indices $\{1,3,\dots,2m-1\}$ to be $2m+1$, where $m$ is a positive integer. This is achieved by proving an analogous result for interval designs.

The rectifiable rectangular peg problem

2026-01-05T11:13:26Z

We give an affirmative answer to the rectangular peg problem for a large class of continuous Jordan curves that contains all rectifiable curves and Stromquist's locally monotone curves. Our proof is based on microlocal sheaf theory and inspired by recent work of Greene and Lobb.

Uniqueness of the asymptotic limits for Ricci-flat manifolds with linear volume growth II

2026-01-04T18:03:57Z

We relate the uniqueness of asymptotic limits for noncollapsed Ricci flat manifolds with linear volume growth to the existence of a harmonic function asymptotic to a Busemann function. Parallel to the work of Colding--Minicozzi in the Euclidean volume growth setting, we prove uniqueness of the asymptotic limit and establish a quantitative polynomial convergence rate via a monotone quantity associated with this harmonic function, assuming such harmonic function exists and one asymptotic limit is smooth. Conversely, for an open manifold with nonnegative Ricci curvature, we show that uniqueness of the asymptotic limit implies the existence of the desired harmonic function, without assuming smoothness of the cross section.

Avoiding Intersections of Dragon Curves

2026-01-02T15:54:35Z

This article proves that there are no self-intersections in the dragon curve when the unfolding angle is greater than 98.195°. This is shown by constructing a hull for the dragon curve that is mapped onto itself by the generating mappings for the dragon curve. The treatment is purely geometric. The proof is supplemented by a conjecture that reduces the boundary for the unfolding angle to 96.241°.

On some Fréchet spaces associated to the functions satisfying Mulholland inequality

2026-01-01T15:38:53Z

In this article we explore a new growth condition on Young functions, which we call Mulholland condition, pertaining to the mathematician H.P Mulholland, who studied these functions for the first time, albeit in a different context. We construct a non-trivial Young function $Ω$ which satisfies Mulholland condition and $Δ_2$-condition. We then associate exotic $F$-norms to the vector space $X_1\oplus X_2$, where $X_1$ and $X_2$ are Banach spaces, using the function $Ω$. This $F$-spaces contains the Banach space $X_1$ and $X_2$ as a maximal Banach subspace. Further, the Banach envelope $(X_1\oplus X_2,||.||_{Ω_o})$ of this $F$-space corresponds to the Young function $Ω_o$ who characteristic function is an asymptotic line to the characteristic function of the Young function $Ω$. Thus these $F$-spaces serves as "interpolation space" for Banach spaces $X_1$ and $(X_1\oplus X_2, ||.||_{Ω_o})$ in some sense. These $F$-space are well behaved in regards to Hahn-Banach extension property, which is lacking in classical $F$-spaces like $L^p$ and $H^p$ for $0

Penny graphs in the hyperbolic plane

2025-12-31T12:53:40Z

We consider the problem of finding the maximum number $e_d(n)$ of pairs of touching circles in a packing of $n$ congruent circles of diameter $d$ in the hyperbolic plane of curvature $-1$. In the Euclidean plane, the maximum comes from a spiral construction of the tiling of the plane with equilateral triangles (Harborth 1974), with a similar result in the hyperbolic plane for the values of $d$ corresponding to the order-$k$ triangular tilings (Bowen 2000). We present various upper and lower bounds for $e_d(n)$ for all values of $d > 0$. In particular, we prove that if $d > 0.66114\dots$ except for $d=0.76217\dots$, then the number of touching pairs is less than the one coming from a spiral construction in the order-$7$ triangular tiling, which we conjecture to be extremal. We also give a lower bound $e_d(n) > (2+\varepsilon_d)n$ where $\varepsilon_d > 1$ for all $d > 0$.

The Z-Gromov-Wasserstein Distance

2025-12-31T06:08:18Z

The Gromov-Wasserstein (GW) distance is a powerful tool for comparing metric measure spaces which has found broad applications in data science and machine learning. Driven by the need to analyze datasets whose objects have increasingly complex structure (such as node and edge-attributed graphs), several variants of GW distance have been introduced in the recent literature. With a view toward establishing a general framework for the theory of GW-like distances, this paper considers a vast generalization of the notion of a metric measure space: for an arbitrary metric space $Z$, we define a $Z$-network to be a measure space endowed with a kernel valued in $Z$. We introduce a method for comparing $Z$-networks by defining a generalization of GW distance, which we refer to as $Z$-Gromov-Wasserstein ($Z$-GW) distance. This construction subsumes many previously known metrics and offers a unified approach to understanding their shared properties. This paper demonstrates that the $Z$-GW distance defines a metric on the space of $Z$-networks which retains desirable properties of $Z$, such as separability, completeness, and geodesicity. Many of these properties were unknown for existing variants of GW distance that fall under our framework. Our focus is on foundational theory, but our results also include computable lower bounds and approximations of the distance which will be useful for practical applications.