Related papers: Proof mining in ${\mathbb R}$-trees and hyperbolic…
Foundation models pre-trained on massive datasets, including large language models (LLMs), vision-language models (VLMs), and large multimodal models, have demonstrated remarkable success in diverse downstream tasks. However, recent studies…
Gromov hyperbolic spaces have become an essential concept in geometry, topology and group theory. Here we extend Ancona's potential theory on Gromov hyperbolic manifolds and graphs of bounded geometry to a large class of Schr\"odinger…
In this paper, we introduce a notion of stable coarse algebras for metric spaces with bounded geometry, and formulate the twisted coarse Baum--Connes conjecture with respect to stable coarse algebras. We prove permanence properties of this…
Hyperbolic geometry is gaining traction in machine learning for its effectiveness at capturing hierarchical structures in real-world data. Hyperbolic spaces, where neighborhoods grow exponentially, offer substantial advantages and…
The problem of establishing out-of-sample bounds for the values of an unkonwn ground-truth function is considered. Kernels and their associated Hilbert spaces are the main formalism employed herein along with an observational model where…
Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence…
We prove a radial source estimate in H\"older-Zygmund spaces for uniformly hyperbolic dynamics (also known as Anosov flows), in the spirit of Dyatlov-Zworski. The main consequence is a new linear stability estimate for the marked length…
Many high-dimensional practical data sets have hierarchical structures induced by graphs or time series. Such data sets are hard to process in Euclidean spaces and one often seeks low-dimensional embeddings in other space forms to perform…
The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails…
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras, i.e., Kleene algebras enriched with meets and residuals.…
We consider a complete, unbounded, hyperbolic metric space $X$ and a concave, nonzero and nondecreasing function $\omega:[0,+\infty)\to[0,+\infty)$ with $\omega(0)=0$ and study the space $\mathcal{C}_\omega(X)$ of uniformly continous…
Search trees are fundamental data structures in computer science. We study functionals on random search trees that satisfy recurrence relations of a simple additive form. Many important functionals including the space requirement, internal…
In 1998, Bremner conjectured that elliptic curves over the rationals having long sequences of distinct rational points whose $x$-coordinates are in arithmetic progression, have large rank. This was proved some years ago in a strong form as…
The purpose of this paper is to provide a very short proof of a generalized categorified version, within the motivic stable homotopy category of Morel and Voevodsky, of the integral identity for virtual motives conjectured by Kontsevich and…
A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik (independently from each other) to metric spaces leads to a stronger version of ultrahomogeneity of the infinite random graph $R$, the universal Urysohn metric…
We extend the notion of canonical measures to all (possibly non-compact) metric graphs. This will allow us to introduce a notion of "hyperbolic measures" on universal covers of metric graphs. Kazhdan's theorem for Riemann surfaces describes…
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…
In his work on singularities, expanders and topology of maps, Gromov showed, using isoperimetric inequalities in graded algebras, that every real valued map on the $n$-torus admits a fibre whose homological size is bounded below by some…
This paper is a self-contained presentation of certain aspects of the theory of weighted Sobolev spaces and elliptic operators on non-compact Riemannian manifolds. Specifically, we discuss (i) the standard and weighted Sobolev Embedding…
We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the…