Related papers: Separation of bounded arithmetic using a consisten…
In this article we introduce a dual of the uniform boundedness principle which does not require completeness and gives an indirect means for testing the boundedness of a set. The dual principle, although known to the analyst and despite its…
We formalize the notion of Herbrand Consistency in an appropriate way for bounded arithmetics, and show the existence of a finite fragment of ${\rm I\Delta_0}$ whose Herbrand Consistency is not provable in the thoery ${\rm I\Delta_0}$. We…
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want…
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…
The top part of the preceding figure [figure appears in actual paper] shows some classes from the (truth-table) bounded-query and boolean hierarchies. It is well-known that if either of these hierarchies collapses at a given level, then all…
We give an algorithm to compute the stable lengths of pseudo-Anosovs on the curve graph, answering a question of Bowditch. We also give a procedure to compute all invariant tight geodesic axes of pseudo-Anosovs. Along the way we show that…
This article presents a comprehensive and rigorously formulated algebraic framework for investigating 1+1-dimensional SU(N) gauge theories within the paradigm of Algebraic Quantum Field Theory (AQFT), building upon foundational results…
This expository paper explains, in the case of $\mathfrak{sl}_2$, the ideas introduced in the preprints (arXiv:2509.17007, 2604.22262), which develop a new framework for the study of multiplicities in branching laws of representations, with…
We investigate the failure of B\'ezout's Theorem for two symplectic surfaces in $\mathbb{C}\mathrm{P}^2$ (and more generally on an algebraic surface), by proving that every plane algebraic curve $C$ can be perturbed in the…
The superposition operators have been widely studied in nonlinear analysis, which are essential for the well-posedness theory of nonlinear equations. In this paper, we investigate the boundedness estimates of superposition operators with…
We study geometric variations of the discriminating code problem. In the \emph{discrete version} of the problem, a finite set of points $P$ and a finite set of objects $S$ are given in $\mathbb{R}^d$. The objective is to choose a subset…
Let $(i,j)\in \mathbb{N}\times \mathbb{N}_{\geq2}$ and $S_{i,j}$ be an infinite subset of positive integers including all prime numbers in some arithmetic progression. In this paper, we prove the linear independence over $\mathbb{Q}$ of the…
The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior.…
We argue that scale-separated AdS$_2$ vacua with at least two preserved supercharges cannot arise from flux compactifications in a regime of computational control. We deduce this by showing that the AdS$_2$ scale is parametrically of the…
This paper is concerned with the structure of Gromov-Hausdorff limit spaces $(M^n_i,g_i,p_i)\stackrel{d_{GH}}{\longrightarrow} (X^n,d,p)$ of Riemannian manifolds satisfying a uniform lower Ricci curvature bound $Rc_{M^n_i}\geq -(n-1)$ as…
The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform…
In 1971 Cusick proved that every real number $x\in[0,1]$ can be expressed as a sum of two continued fractions with no partial quotients equal to $1$. In other words, if we define a set $$ S(k):= \{ x\in[0,1] : a_n(x) \geq k \text{ for all }…
In this paper, we study the structure of set-multilinear arithmetic circuits and set-multilinear branching programs with the aim of showing lower bound results. We define some natural restrictions of these models for which we are able to…
We propose an algorithmic framework for dataset normalization in data augmentation pipelines that preserves topological stability under non-uniform scaling transformations. Given a finite metric space \( X \subset \mathbb{R}^n \) with…
In this paper we consider the problem of bounding the Betti numbers, $b_i(S)$, of a semi-algebraic set $S \subset \R^k$ defined by polynomial inequalities $P_1 \geq 0,...,P_s \geq 0$, where $P_i \in \R[X_1,...,X_k]$ and $\deg(P_i) \leq 2$,…