Related papers: Semi-algebraic Geometry and generic Hamiltonian st…

We study the relationship between two measures of Boolean functions; \emph{algebraic thickness} and \emph{normality}. For a function $f$, the algebraic thickness is a variant of the \emph{sparsity}, the number of nonzero coefficients in the…

We study the smooth structure of convex functions by generalizing a powerful concept so-called self-concordance introduced by Nesterov and Nemirovskii in the early 1990s to a broader class of convex functions, which we call generalized…

The notion of $n$th order convexity in the sense of Hopf and Popoviciu is defined via the nonnegativity of the $(n+1)$st order divided differences of a given real-valued function. In view of the well-known recursive formula for divided…

This paper proposes an original Riemmanian geometry for low-rank structured elliptical models, i.e., when samples are elliptically distributed with a covariance matrix that has a low-rank plus identity structure. The considered geometry is…

We study the problem of solving fixed-point equations for seminorm-contractive operators and establish foundational results on the non-asymptotic behavior of iterative algorithms in both deterministic and stochastic settings. Specifically,…

In symplectic topology one uses elliptic methods to prove rigidity results about symplectic manifolds and solutions of Hamiltonian equations on them, where the most basic example is given by geodesics on Riemannian manifolds. Harmonic maps…

Any procedure applied to data, and any quantity derived from data, is required to respect the nature and symmetries of the data. This axiom applies to refinement procedures and multiresolution transforms as well as to more basic operations…

In this paper, we introduce the notions of slope stability and the Hermitian Einstein metric for big cohomology classes. The main result is the Kobayashi Hitchin correspondence on compact normal spaces with big classes admitting the…

In the theory of zero-dimensional systems and their relation to $C^*$-algebras, Poon (1990) introduced a class of closed sets. We call the closed sets quasi-sections. Medynets (2006) introduced basic sets that are part of quasi-sections in…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

The Hardy-Littlewood maximal function $\mathcal{M}$ and the trigonometric function $\sin{x}$ are two central objects in harmonic analysis. We prove that $\mathcal{M}$ characterizes $\sin{x}$ in the following way: let $f \in…

The purpose of the present paper is to establish explicit bounds on moderate deviation probabilities for a rather general class of geometric functionals enjoying the stabilization property, under Poisson input and the assumption of a…

We develop a new $C^{\,0}$-continuous Petrov-Galerkin spectral element method for one-dimensional fractional elliptic problems of the form ${}_{0}{\mathcal{D}}_{x}^{\alpha} u(x) - \lambda u(x) = f(x)$, $\alpha \in (1,2]$, subject to…

We develop and analyze a stabilization term for cut finite element approximations of an elliptic second order partial differential equation on a surface embedded in $\mathbb{R}^d$. The new stabilization term combines properly scaled normal…

Divided into three parts, the first marks out enormous geometric issues with the notion of quasi-freenss of an algebra and seeks to replace this notion of formal smoothness with an approximation by means of a minimal unital commutative…

We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…

Nonnegative measures that are solutions to a transport equation with continuous coefficients have been widely studied. Because of the low regularity of the associated vector field, there is no natural flow since nonuniqueness of integral…

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…

We consider linearly stable elliptic fixed points for a symplectic vector field and prove generic results of super-exponential stability for nearby solutions. Morbidelli and Giorgilli have proved a theorem of stability over…

We obtain a generic regularity result for stationary integral $n$-varifolds with only strongly isolated singularities inside $N$-dimensional Riemannian manifolds, in absence of any restriction on the dimension ($n\geq 2$) and codimension.…