Related papers: Existence and Density Theorems of Henig Global Pro…

We review several (and provide new) results on the theory of moments, sums of squares and basic semi-algebraic sets when convexity is present. In particular, we show that under convexity, the hierarchy of semidefinite relaxations for…

We review various characterizations of uniform convexity and smoothness on norm balls in finite-dimensional spaces and connect results stemming from the geometry of Banach spaces with \textit{scaling inequalities} used in analysing the…

Let $X$ be a Banach space and let $C$ be a closed convex bounded subset of $X$. It is proved that $C$ is weakly compact if, and only if, $C$ has the {it generic} fixed point property ($\mathcal{G}$-FPP) for the class of $L$-bi-Lipschitz…

The standard moment-sum-of-squares (SOS) hierarchy is a powerful method for solving global polynomial optimization problems. However, its convergence relies on Putinar's Positivstellensatz, which requires the feasible set to satisfy the…

We prove a local in time existence and uniqueness theorem of classical solutions of the coupled Einstein--Euler system, and therefore establish the well posedness of this system. We use the condition that the energy density might vanish or…

In this paper, we review existing points-to Separation Logics for dynamic memory reasoning and we find that different usages of heap separation tend to be an obstacle. Hence, two total and strict spatial heap operations are proposed upon…

Building on results developed in https://doi.org/10.48550/arXiv.2404.14902, where It\^{o}-SDEs with possibly degenerate and discontinuous dispersion coefficient and measurable drift were analyzed with respect to a given (sub-)invariant…

We prove a rigidity theorem in Poisson geometry around compact Poisson submanifolds, using the Nash-Moser fast convergence method. In the case of one-point submanifolds (fixed points), this immediately implies a stronger version of Conn's…

We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points…

We examine the analogues for the respective categories of locales of two well-known results about regularity and effectiveness of some categories of spaces. We show that the category of compact regular locales is effective regular…

We establish the global existence of weak solutions to a nonlinear kinetic Fokker--Planck equation with degenerate diffusion, under either inflow or partial absorption-reflection boundary conditions. The novelty of our approach lies in…

In this paper we prove a strong Hahn-Banach theorem: separation of disjoint convex sets by linear forms is possible without any further conditions, if the target field $\R$ is replaced by a more general real closed extension field. From…

We prove a new, efficient version of the hypergraph container theorems that is suited for hypergraphs with large uniformities. The main novelty is a refined approach to constructing containers that employs simple ideas from high-dimensional…

Although the \emph{residual method}, or \emph{constrained regularization}, is frequently used in applications, a detailed study of its properties is still missing. This sharply contrasts the progress of the theory of Tikhonov…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

We prove two compactness results for function spaces with finite Dirichlet energy of half-space nonlocal gradients. In each of these results, we provide sufficient conditions on a sequence of kernel functions that guarantee the asymptotic…

We first show local-in-time well-posedness of the compressible Navier-Stokes equations, assuming striated regularity while no other smoothness or smallness conditions on the initial density. With these local-in-time solutions served as…

We study a pinned variant of Bourgain's theorem, concerning the occurrence of affine copies of $k$-point patterns in $\mathbb{R}^d$. Focusing on the case $k=2$, which corresponds to pinned distances, we show that the classical conclusion…

In the context of tvs-cone metric spaces, we prove a Bishop-Phelps and a Caristi's type theorem. These results allow us to prove a fixed point theorem for $(\delta, L)$-weak contraction according to a pseudo Hausdorff metric defined by…

We prove global well-posedness for the microscopic FENE model under a sharp boundary requirement. The well-posedness of the FENE model that consists of the incompressible Navier-Stokes equation and the Fokker-Planck equation has been…