arXiv preprints from January 1, 2026 through September 22, 2026 — 00:17:03 EST
By contrast with S4, the analysis of local tabularity above IPC has provided a difficult challenge. This paper studies a strengthening of local tabularity - uniform local tabularity - where one demands that all formulas be equivalent to formulas of a given implication depth. Algebraically, this amounts to considering Heyting algebras...
In this paper we derive, by two$-$scale convergence, periodically wrinked shell models starting from three dimensional linear elasticity, depending of the behaviour of the small parameter $\varepsilon>0$ and $p>1$, differents theories appear. We assume that the mid-surface of the shell is given by $\displaystyle...
Enrico Bombieri showed conditionally (1994) that the ABC conjecture implies Roth's theorem, and Van Frankenhuysen (1999) later provided a complete proof. Building on Bombieri's and Van der Poorten's explicit formula for continued-fraction coefficients of algebraic numbers (specialized to cubic roots) we derive an effective bound for a...
We show that the combinatorial Lefschetz number is a topological invariant. This is an important result in itself; in order to point it out, we will also work here several relevant consequences in different directions. The first of them is a significant simplification of the computations involved in obtaining the Lefschetz number of...
In this paper we consider the Gabor wave front set of ultradistributions in the frame of ultradifferentiable functions. We prove that such a wave front set, defined through a Gabor frame on a regular lattice, is not affected by perturbations of the frame, in two different cases: when we consider $\varepsilon$-perturbations of...
We study an elastic Calderon-type inverse problem: recover the mass density $ρ(x)$ in a bounded domain $Ω\subset\mathbb{R}^3$ from the Neumann-to-Dirichlet map associated with the isotropic Lamé system $\mathcal{L}_{λ,μ}u+ω^2ρ(x)u=0$. We introduce a constructive strategy that embeds a subwavelength periodic array of resonant...
Achieving net-zero carbon emissions requires a transformation of energy systems, industrial processes, and consumption patterns. In particular, a transition towards that goal involves a gradual reduction of excess carbon emissions that are not essential for the well-functioning of society. In this paper we study this problem from a...
We derive explicitly the e-values with optimal (relative) growth rate in the worst case for testing the mean of a bounded random variable, thereby providing the first application of the (RE)GROW quality criteria beyond the assumption of mutually absolutely continuous hypotheses for e-values originally proposed by Grünwald et al....
We extend the theory of structured deformations to the setting of linearized elasticity by providing an integral representation for the underlying energy that features bulk and surface contributions. Our derivation is obtained both via a direct approach by means of a global method for relaxation in BD and via an approximation from...
We present two algorithms for constructing orthonormal bases of rational function vectors with respect to a discrete inner product, and discuss how to use them for a rational approximation problem. Building on the pencil-based formulation of the inverse generalized eigenvalue problem by Van Buggenhout et al. (2022), we extend it to...
Utilizing the framework of quaternionic contact geometry, we define a sequence of Riemannian metrics $\{g_L\}$ on the quaternionic Heisenberg group $\mathfrak{H}_{\mathbb{H}}$ by rescaling the vertical directions. By analyzing the limit of this sequence, we characterize the Carnot-Carathéodory geodesics and provide the explicit...
A novel recovery-based error indicator for high-order Finite Difference Methods, based on post-processing of the Finite Difference values is presented. The values obtained on the Finite Difference grid are interpolated into a suitable polynomial Finite Element space. A recovery-based error indicator, with the polynomial-preserving...
In the present paper we are dealing with reflection equation algebras ${\cal L}(R)$ corresponding to even skew-invertible Hecke symmetries. Our main result consists in computing the characters of the spectral values of the generating matrix $L$ of ${\cal L}(R)$ in finite-dimensional representations labeled by partitions of integers....
In the present paper, we provide an algebraic and geometric proof of the Landen formula for complex multiple polylogarithms originally established by Okuda and Ueno. Our approach employs a chain rule of complex KZ solutions arising from the symmetry $z \mapsto \frac{z}{z-1}$ of $\mathbb{P}^1 \backslash \{0,1,\infty\}$. Furthermore, by...
In this paper, we investigate the inverse quasi-variational inequality problem in finite-dimensional spaces. First, we introduce a second-order dynamical system whose trajectory converges exponentially to the solution of the inverse quasi-variational inequality, under the assumptions of Lipschitz continuity and strong monotonicity....
We study optimal control problems for interacting branching diffusion processes, a class of measure-valued dynamics capturing both spatial motion and branching mechanisms. From the perspective of the dynamic programming principle, we establish a rigorous connection between the control problem and an infinite system of coupled...
Fix two integers $1\leq d<e$. We study the birational geometry of a parameter space for pairs of homogeneous polynomials of degrees $d$ and $e$ in two variables (in which the higher degree polynomial is well defined only up to a multiple of the lower degree polynomial). We show that one can run the MMP on this space, and that it...
We present a novel probabilistic approach for optimal experimental path design. In this approach a discrete path optimization problem is defined on a static navigation mesh, and trajectories are modeled as random variables governed by a parametric Markov policy. The discrete path optimization problem is then replaced with an...
We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories are comonadic in a 2-dimensional sense over the 2-category of semiexact categories with naturally...
We study the Dvoretzky covering problem for random covering sets driven by general Borel probability measures. As our main result, we solve the problem of covering analytic sets by random covering sets generated by arbitrary Borel probability measures on the real line. Prior to this work, a complete solution was not known for any...
This paper introduces the XL set, a new collection of large-scale benchmark instances for the capacitated vehicle routing problem (CVRP). The set extends previous benchmarks by covering instances with 1,000 to 10,000 customers and a wide range of structural characteristics, following established generation principles from prior CVRP...
This article is an exposition on some recent theoretical advances in learning latent structured models, with a primary focus on the fundamental roles that optimal transport distances play in the statistical theory. We aim at what may be the most critical and novel ingredient in this theory: the motivation, formulation, derivation and...
We study the classification of spaces of continuous functions $C(K)$ under positive linear maps. For infinite countable compacta, we show that whenever $C(K)$ and $C(L)$ are isomorphic, there exists an isomorphism $T:C(K)\to C(L)$ satisfying either $T\geq 0$ or $T^{-1}\geq 0$. We also prove that for any compact spaces $K$ and $L$, the...
This paper investigates the asymptotic behavior of stochastic recursive inclusions in the presence of non-zero, non-diminishing bias, a setting that frequently arises in zeroth-order optimization, stochastic approximation with iterate-dependent noise, and distributed learning with adversarial agents. The analysis is conducted through...
We prove that any finite $δ$-index hypersurface $M$ in ${\mathbb R}^{n+1}$ with constant mean curvature must be minimal, provided either of the following conditions holds: - the volume growth of $M$ is sub-exponential; - the Ricci curvature of $M$ satisfies $\operatorname{Ric}_M\geq -\frac{3(1-δ)}{n-1}|A|^2g,$ where $A$ is the...