Quantitative improvements of functional inequalities under concavity properties

2025-10-01T08:21:41Z

A classical result of Hensley provides a sharp lower bound for the functional $\int_\mathbb{R} t^2f$, where $f$ is a non-negative, even log-concave function. In the context of studying the minimal slabs of the unit cube, Barthe and Koldobsky established a quantitative improvement of Hensley's bound. In this work, we complement their result in several directions. First, we prove the corresponding upper bound inequality for $s$-concave functions with $s\geq 0$. Second, we present a generalization of Barthe and Koldobsky's result for functionals of the form $\int_\mathbb{R} Nf\,\mathrm{d}μ$, where $N$ is a convex, even function and $μ$ belongs to a suitable class of positive Borel measures. As a consequence of the employed methods, we obtain quantitative refinements of classical inequalities for $p$-norms and for the entropy of log-concave functions. Finally, we discuss both geometric consequences and probabilistic interpretations of our results.

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

2025-10-01T02:01:49Z

Under natural assumptions on curvature and cross section, we establish the uniqueness of asymptotic limits and the exponential convergence rate for complete noncollapsed Ricci-flat manifolds with linear volume growth, which are known to only admit cylindrical asymptotic limits. In dimension four, these assumptions hold automatically, yielding unconditional uniqueness and convergence. In particular, our results show that all asymptotically cylindrical Calabi--Yau manifolds converge exponentially to their asymptotic limits, thereby answering affirmatively a question by Haskins--Hein--Nordström. In dimension four our result strengthens those of Chen--Chen, who proved exponential convergence to its asymptotic limit space for any ALH instanton.

Intersection Number, Length, and Systole on Compact Hyperbolic Surfaces

2025-09-30T20:29:23Z

The interaction strength I(X) of a compact hyperbolic surface X is the best upper bound for the intersection number of two closed geodesics divided by the product of their lengths. Let $M_g$ be the moduli space of compact hyperbolic surfaces of genus g and sys(X) the length of a shortest closed geodesic on $X \in M_g$. We determine the asymptotic behavior of I(X), as $X \to \infty$ in $M_g$, in terms of sys(X). We also determine the approximate behavior of the minimum of I(X) over $M_g$, as $g \to \infty$.

Volumes of Nullhomotopies in Nilpotent Spaces

2025-09-30T18:29:43Z

The Shadowing Principle of Manin has proved a valuable tool for addressing questions of quantitative topology raised by Gromov in the late 1900s. The principle informally provides a way for bounded algebraic maps between differential graded algebras to be translated into nearby genuine maps between their geometric realizations. We extend this principle to finite towers of principal $K(G,n)$ fibrations, and in particular apply this construction to nilpotent spaces. As a specific application of the extended principle, we provide upper bounds on the asymptotic behavior of volumes of nullhomotopies of Lipschitz maps into nilpotent spaces. We further refine these bounds in the case when $c = 1$ to nearly meet those of the simply connected setting. We similarly refine these bounds in the event the target space is coformal, and demonstrate that the bounds in this setting are nearly sharp.

Extended Set Difference : Inverse Operation of Minkowski Summation

2025-09-30T14:15:54Z

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.

Error bounds for perspective cones of a class of nonnegative Legendre functions

2025-09-30T14:07:37Z

Error bounds play a central role in the study of conic optimization problems, including the analysis of convergence rates for numerous algorithms. Curiously, those error bounds are often Hölderian with exponent 1/2. In this paper, we try to explain the prevalence of the 1/2 exponent by investigating generic properties of error bounds for conic feasibility problems where the underlying cone is a perspective cone constructed from a nonnegative Legendre function on $\mathbb{R}$. Our analysis relies on the facial reduction technique and the computation of one-step facial residual functions (1-FRFs). Specifically, under appropriate assumptions on the Legendre function, we show that 1-FRFs can be taken to be Hölderian of exponent 1/2 almost everywhere with respect to the two-dimensional Hausdorff measure. This enables us to further establish that having a uniform Hölderian error bound with exponent 1/2 is a generic property for a class of feasibility problems involving these cones.

On $k$-convex hulls

2025-09-30T10:24:02Z

For every integer $k\geq 2$ and every $R>1$ one can find a dimension $n$ and construct a symmetric convex body $K\subset\mathbb{R}^n$ with $\text{diam}\,Q_{k-1}(K)\geq R\cdot\text{diam}\,Q_k(K)$, where $Q_k(K)$ denotes the $k$-convex hull of $K$. The purpose of this short note is to show that this result due to E.\ Kopecká is impossible to obtain if one additionally requires that all isometric images of $K$ satisfy the same inequality. To this end, we introduce the dual construction to the $k$-convex hull of $K$, which we call the $k$-cross approximation of $K$. We also prove an infinite-dimensional version of the main result that holds in general Hilbert spaces.

$7$-located locally $5$-large complexes are aspherical

2025-09-30T02:16:52Z

We prove that $7$-located locally $5$-large simplicial complexes are aspherical.

Total orders realizable as the distances between two sets of points

2025-09-29T21:57:44Z

In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb{R}^{n-1}$ such that every pair of points in $X\cup Y$ defines a unique distance. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on $X\times Y$ can be obtained in this way. We show that the answer is negative when $n

An algebraic approach to circle packing

2025-09-29T11:08:50Z

We show that for certain triangulations of surfaces, circle packings realising the triangulation can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The variables in these equations are associated to corners of triangles in the complex, with equations for interior vertices, edges, faces, and generators of first homology. The vertex equations are generalisations of the Descartes circle theorem, of higher degree but more symmetric than those previously found by the authors. We also provide some connections between the spinorial approach of previous work of the authors, and classical Euclidean geometry.

The causal structure of the c-completion of warped spacetimes

2025-09-29T07:39:56Z

In this work we study the structure of the future causal completion $\hat{M}$ of a globally hyperbolic GRW spacetime $\mathbb{R}\times_αM$ using the novel notion of Lorentzian pre-length spaces. As our main result, we prove that the causal completion of a GRW spacetime is a globally hyperbolic pre-length space provided the chronological topology is Hausdorff.

Magnitude and matrix inequalities

2025-09-29T03:01:38Z

We present several applications of matrix-theoretic inequalities to the magnitude of metric spaces. We first resolve an open problem by showing that the magnitude of any finite metric space of negative type is less than or equal to its cardinality. This is a direct consequence of Styan's matrix inequality involving the Hadamard product of matrices. By related methods we also show a subadditivity property for the magnitude function of negative type compact metric spaces, and prove a convexity property for the magnitude for metrics interpolating in a natural way between two given, comparable metrics on a given set.

Metric Representations of Network Data

2025-09-28T22:17:47Z

Networks are structures that encode relationships between pairs of elements or nodes. However, there is no imposed connection between these relationships, i.e., the relationship between two nodes can be independent of every other one in the network, and need not be defined for every possible pair of nodes. This is not true for metric spaces, where the triangle inequality imposes conditions that must be satisfied by triads of distances in the space, and these distances must be defined for every pair of nodes. In this paper, we study how to project networks into q-metric spaces, a generalization of metric spaces that encompasses a larger class of structured representations. In order to do this, we encode as axioms two intuitively desirable properties of the mentioned projections. We show that there is only one way of projecting networks onto q-metric spaces satisfying these axioms. Moreover, for the special case of (regular) metric spaces, this method boils down to computing the shortest path between every node and, for the case of ultrametric spaces, it coincides with single linkage hierarchical clustering. Furthermore, we show that the projection method satisfies two properties of practical relevance: optimality, which enables its utilization for the efficient estimation of combinatorial optimization problems, and nestedness, which entails consistency of the structure induced when projecting onto different q-metric spaces. Finally, we illustrate how metric projections can be used to efficiently search networks aided by metric trees.

A nonstanadard analysis approach to limit operators and Fredholmness in Roe-like algebras

2025-09-28T16:55:10Z

Let $(X,d)$ be a uniformly locally finite metric space, and $T$ an operator in the uniform Roe algebra $C_u^*(X)$ (or uniform quasi-local algebra $C_{ql}^*(X)$). In this paper, we introduce the concept of limit operators of $T$ on galaxies in the nonstandard extension of $X$, and prove that $T$ is a generalized Fredholm operator with respect to the ghost ideal in $C_u^*(X)$ (or $C_{ql}^*(X)$) if and only if all limit operators on afar galaxies are invertible, and their inverses are uniformly bounded. In particular, if $X$ has Yu's Property A, then $T$ is a Fredholm operator if and only if all limit operators on afar galaxies are invertible. Using techniques in nonstandard analysis, our result strengthens a work of Špakula--Willett \cite{SpW} on the characterization of Fredholmness by using less limit operators.

On the smallest eigenvalues of $3$-colorable graphs

2025-09-28T16:19:54Z

We prove that the set of the smallest eigenvalues attained by $3$-colorable graphs is dense in $(-\infty, -λ^*)$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$ and $ρ$ is the positive real root of $x^3 = x + 1$. As a consequence, in the context of spherical two-distance sets, our result precludes any further refinement of the forbidden-subgraph method through the chromatic number of signed graphs.