http://arxiv.org/api/X0AOl8Wi9lfnxmf+PhN/JhDDSEY 2025-05-13T00:00:00-04:00 11940 105 15 http://arxiv.org/abs/2403.04102v2 2025-04-14T23:52:23Z 2024-03-06T23:11:03Z

We prove the integral Varadhan short-time formula for non-linear heat flow on measured Finsler manifolds. To the best of the authors' knowledge, this is the first result establishing a Varadhan-type formula for non-linear semigroups. We do not assume the reversibility of the metric, and the distance function can be asymmetric. In this generality, we reveal that the probabilistic interpretation is well-suited for our formula; the probability that a particle starting from a set $A$ can be found in another set $B$ describes the distance from $A$ to $B$. One side of the estimates (the upper bound of the probability) is also established in the nonsmooth setting of infinitesimally strictly convex metric measure spaces satisfying the local Sobolev-to-Lipschitz property.

Shin-ichi Ohta Kohei Suzuki 10.1016/j.jfa.2025.110983 25 pages, comments are welcomed! Journal of Functional Analysis, Volume 289, Issue 8, 15 October 2025, 110983 http://arxiv.org/abs/2412.19779v4 2025-04-14T21:39:09Z 2024-12-27T18:19:27Z

This paper introduces the extended set difference, a generalization of the Hukuhara and generalized Hukuhara differences, defined for compact convex sets in $\mathbb{R}^d$. The proposed difference guarantees existence for any pair of such sets, offering a broader framework for set arithmetic. The difference may not be necessarily unique, but we offer a bound on the variety of solutions. The definition of the extended set difference is formulated through an optimization problem, which provides a constructive approach to its computation. The paper explores the properties of this new difference, including its stability under orthogonal transformations and its robustness to perturbations of the input sets. We propose a method to compute this difference through a formulated linear optimization problem.

Arie Beresteanu Behrooz Moosavi Ramezanzadeh http://arxiv.org/abs/2312.04446v4 2025-04-14T20:35:12Z 2023-12-07T17:11:03Z

This paper explores the Lipschitz geometric and combinatorial properties of germs of real semialgebraic surfaces (or, more generally, definable in a polynomially bounded o-minimal structure) with circular link (homeomorphic to the circle $\mathbb{S}^1$). We define and investigate the outer Lipschitz geometry of the so-called circular snakes, showing what results in the paper "Lipschitz geometry and combinatorics of abnormal surface germs" (by Andrei Gabrielov and Emanoel Souza) valid to snakes still holds for the circular case. We prove the existence of a canonical decomposition for the Valette link of a circular snake into finitely many segments and nodal zones and establish some necessary and sufficient criteria to determine when it is possible to obtain a snake from a circular snake by "removing" either one of its segments or a H\"older triangle whose Valette link is contained in one of its nodal zones. We construct a combinatorial object associated with a circular snake and prove a realization theorem for this combinatorial object. We also present a weakly outer Lipschitz classification for circular snakes. Finally, we show some results about the combinatorics of binary circular snakes, which is wildly distinct from the corresponding case shown in the work of Gabrielov and Souza.

André Costa Davi Medeiros Emanoel Souza New sections 5, 6, 7, 8 and 9 added in the submisson did in Apr 14th 2025. arXiv admin note: substantial text overlap with arXiv:2101.02302 http://arxiv.org/abs/2410.17254v2 2025-04-14T15:18:01Z 2024-10-03T18:57:50Z

We study {\it permeable} sets. These are sets \(\Theta \subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(\gamma\) which has small (or even empty, apart from the end points of \(\gamma\)) intersection with \(\Theta\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with several notions of dimension. It turns out that for most notions of dimension each subset of \(\mathbb{R}^d\) of dimension less than \(d-1\) is permeable. We use our permeability result on the Nagata dimension to characterize permeability properties of self-similar sets with certain finiteness properties.

Gunther Leobacher Tapio Rajala Alexander Steinicke Jörg Thuswaldner http://arxiv.org/abs/2409.03709v3 2025-04-14T14:49:40Z 2024-09-05T17:14:56Z

In this paper, we investigate the question of whether a non-constant absolutely continuous path can be reparametrised as being unit speed with respect to the Kobayashi metric. Even when the answer is "Yes," which isn't always the case, its proof involves some subtleties. We answer the above question and discuss a small application to Kobayashi geometry.

Gautam Bharali Rumpa Masanta 8 pages; removed a superfluous condition in Definition 2.1; added a clarification in Section 4; resolved an ambiguity in notation in the proof of Proposition 4.2; comments welcome! http://arxiv.org/abs/2503.13829v2 2025-04-14T10:16:58Z 2025-03-18T02:11:05Z

Motivated by an experimental study of groups generated by reflections in planar patterns of tangent circles, we describe some methods for constructing and studying representation spaces of holonomy groups of infinite volume hyperbolic $3$-manifolds that arise from unknotting tunnels of links. We include full descriptions of our computational methods, which were guided by simplicity and generality rather than by being particularly efficient in special cases. This makes them easy for non-experts to understand and implement to produce visualisations that can suggest conjectures and support algebraic calculations in the character variety. Throughout, we have tried to make the exposition clear and understandable for graduate students in geometric topology and related fields.

Alex Elzenaar 29 pages, 17 figures. Comments welcomed. Second version fixes a number of minor typos and errors, no numbering changes http://arxiv.org/abs/2402.00513v3 2025-04-13T02:55:29Z 2024-02-01T11:28:08Z

The mass transference principle, discovered by Beresnevich and Velani [Ann Math (2), 2006], is a landmark result in Diophantine approximation that allows us to obtain the Hausdorff measure theory of $\limsup$ set. Another important tool is the notion of large intersection property, introduced and systematically studied by Falconer [J. Lond. Math. Soc. (2), 1994]. The former mainly focuses on passing between full (Lebesgue) measure and full Hausdorff measure statements, while the latter transfers full Hausdorff content statement to Hausdorff dimension. From this perspective, the proofs of the two results are quite similar but often treated in different ways. In this paper, we establish a general mass transference principle from the viewpoint of Hausdorff content, aiming to provide a unified proof for the aforementioned results. More precisely, this principle allows us to transfer the Hausdorff content bounds of a sequence of open sets $E_n$ to the full Hausdorff measure statement and large intersection property for $\limsup E_n$. One of the advantages of our approach is that the verification of the Hausdorff content bound does not require the construction of Cantor-like subset, resulting in a much simpler proof. As an application, we provide simpler proofs for several mass transference principles.

Yubin He http://arxiv.org/abs/2504.09320v1 2025-04-12T19:47:26Z 2025-04-12T19:47:26Z

The result of Guan and Ma (Invent. Math. 151 (2003)) states that if $\phi^{-1/k} : \mathbb{S}^n \to (0,\infty)$ is spherically convex, then $\phi$ arises as the $\sigma_k$ curvature (the $k$-th elementary symmetric function of the principal radii of curvature) of a strictly convex hypersurface. In this paper, we establish an analogous result in the capillary setting in the half-space for $\theta\in(0,\pi/2)$: if $\phi^{-1/k} : \mathcal{C}_{\theta} \to (0,\infty)$ is a capillary function and spherically convex, then $\phi$ is the $\sigma_k$ curvature of a strictly convex capillary hypersurface.

Yingxiang Hu Mohammad N. Ivaki Julian Scheuer http://arxiv.org/abs/2504.09251v1 2025-04-12T15:19:33Z 2025-04-12T15:19:33Z

In this paper, we consider two limiting cases ($\alpha\rightarrow n$ and $\alpha\rightarrow 0 $) of the recent affine HLS inequalities by Haddad and Ludwig. As $\alpha\rightarrow n$, the affine logarithmic HLS inequality is established, which is stronger than the logarithmic HLS inequality by Carlen and Loss from 1992 and Beckner from 1993. As $\alpha\rightarrow 0$, an affine version of Beckner's logarithmic Sobolev inequality is established, which is also a limiting case of the affine fractional $L^2$ Sobolev inequalities. The affine logarithmic Sobolev inequality is stronger than the original version by Beckner from 1995.

Xiaxing Cai http://arxiv.org/abs/2504.09241v1 2025-04-12T14:46:03Z 2025-04-12T14:46:03Z

We extend the algorithms of Robinson, Smyth, and McKee--Smyth to enumerate all real-rooted integer polynomials of a fixed degree, where the first few (at least three) leading coefficients are specified. Additionally, we introduce new linear programming algorithms to enumerate all feasible interlacing polynomials of a given polynomial that comes from a certain family of real-rooted integer polynomials. These algorithms are further specialised for the study of real equiangular lines, incorporating additional number-theoretic constraints to restrict the enumeration. Our improvements significantly enhance the efficiency of the methods presented in previous work by the authors.

Gary R. W. Greaves Jeven Syatriadi 25 pages http://arxiv.org/abs/2409.03047v2 2025-04-12T02:54:03Z 2024-09-04T19:33:35Z

We investigate dimension-theoretic properties of concentric topological spheres, which are fractal sets emerging both in pure and applied mathematics. We calculate the box dimension and Assouad spectrum of such collections, and use them to prove that fractal spheres cannot be shrunk into a point at a polynomial rate. We also apply these dimension estimates to quasiconformally classify certain spiral shells, a generalization of planar spirals in higher dimensions. This classification also provides a bi-H\"older map between shells, and constitutes an addition to a general programme of research proposed by J. Fraser.

Efstathios Konstantinos Chrontsios Garitsis 20 pages, 2 figures, appeared in "Nonlinearity" http://arxiv.org/abs/2504.01864v3 2025-04-11T18:10:25Z 2025-04-02T16:15:50Z

In this paper, we prove the $W$-entropy formula and the monotonicity and rigidity theorem of the $W$-entropy for the heat flow on RCD$(K, N)$ and RCD$(K, n, N)$ spaces $(X, d, \mu)$, where $K\in \mathbb{R}$, $n\in \mathbb{N}$ is the geometric dimension of $(X, d, \mu)$ and $N\geq n$. We also prove the $K$-concavity of the Shannon entropy power on RCD$(K, N)$ spaces. As an application, we derive the Shannon entropy isoperimetric inequality and the Stam type logarithmic Sobolev inequality on RCD$(0, N)$ spaces with maximal volume growth condition. Finally, we prove the rigidity theorem for the Stam type logarithmic Sobolev inequality with sharp constant on noncollapsing RCD$(0, N)$ spaces.

Xiang-Dong Li Enrui Zhang Add Section 9 http://arxiv.org/abs/2411.13248v2 2025-04-11T15:50:59Z 2024-11-20T12:07:19Z

Determining the maximal density $m_1(\mathbb{R}^2)$ of planar sets without unit distances is a fundamental problem in combinatorial geometry. This paper investigates lower bounds for this quantity. We introduce a novel approach to estimating $m_1(\mathbb{R}^2)$ by reformulating the problem as a Maximal Independent Set (MIS) problem on graphs constructed from flat torus, focusing on periodic sets with respect to two non-collinear vectors. Our experimental results, supported by theoretical justifications of proposed method, demonstrate that for a sufficiently wide range of parameters this approach does not improve the known lower bound $0.22936 \le m_1(\mathbb{R}^2)$. The best discrete sets found are approximations of Croft's construction. In addition, several open source software packages for MIS problem are compared on this task.

Alexander Tolmachev 10.1142/S1793830925500314 21 pages, 9 figures; typos corrected http://arxiv.org/abs/2504.08127v1 2025-04-10T21:04:23Z 2025-04-10T21:04:23Z

We prove that uniformly disconnected subsets of metric measure spaces with controlled geometry (complete, Ahlfors regular, supporting a Poincare inequality, and a mild topological condition) are contained in a quasisymmetric arc. This generalizes a result of MacManus in 1999 from Euclidean spaces to abstract metric setting. Along the way, we prove a geometric strengthening of the classical Denjoy-Riesz theorem in metric measure spaces. Finally, we prove that the complement of a uniformly disconnected set in such a metric space is uniform, quantitatively.

Jacob Honeycutt Vyron Vellis 34 pages, 5 figures http://arxiv.org/abs/2405.16167v2 2025-04-10T14:12:22Z 2024-05-25T10:25:38Z

A reformulation of the three circles theorem of Johnson with distance coordinates to the vertices of a triangle is explicitly represented in a polynomial system and solved by symbolic computation. A similar polynomial system in distance coordinates to the vertices of a tetrahedron $T \subset \mathbb{R}^3$ is introduced to represent the configurations of four spheres of radius $R^*$, which intersect in one point, each sphere containing three vertices of $T$ but not the fourth one. This problem is related to that of computing the largest value $R$ for which the set of vertices of $T$ is an $R$-body. For triangular pyramids we completely describe the set of geometric configurations with the required four balls of radius $R^*$. The solutions obtained by symbolic computation show that triangular pyramids are splitted into two different classes: in the first one $R^*$ is unique, in the second one three values $R^*$ there exist. The first class can be itself subdivided into two subclasses, one of which is related to the family of $R$-bodies.

Marco Longinetti Simone Naldi 24 pages, 6 figures, 3 appendices