Related papers: Ax-Schanuel and strong minimality for the $j$-func…
This paper provides a discrete Poincar\'e inequality in $n$ space dimensions on a simplex $K$ with explicit constants. This inequality bounds the norm of the piecewise derivative of functions with integral mean zero on $K$ and all integrals…
The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The…
We consider the optimization problem with a generally quadratic matrix constraint of the form $X^TAX = J$, where $A$ is a given nonsingular, symmetric $n\times n$ matrix and $J$ is a given $k\times k$ symmetric matrix, with $k\leq n$,…
In this manuscript, we define (E, F)-invex set, (E, F)-invex functions, and (E, F)-preinvex functions on Euclidean space. We explore the concepts on the Riemannian manifold. We also detail the fundamental properties of (E, F)-preinvex…
The closure conditions of the inexact exterior differential form and dual form (an equality to zero of differentials of these forms) can be treated as a definition of some differential-geometrical structure. Such a connection discloses the…
Seminal work by Edmonds and Lovasz shows the strong connection between submodularity and convexity. Submodular functions have tight modular lower bounds, and subdifferentials in a manner akin to convex functions. They also admit poly-time…
In this work we analyse the functional ${\cal J}(u)=\|\nabla u\|_\infty$ defined on Lipschitz functions with homogeneous Dirichlet boundary conditions. Our analysis is performed directly on the functional without the need to approximate…
Working over a field $k$ of characteristic zero, this paper studies algebraic actions of $SL_2(k)$ on affine $k$-domains by defining and investigating fundamental pairs of derivations. There are three main results: (1) The Structure Theorem…
For self-similar sets, there are two important separation properties: the open set condition and the weak separation condition introduced by Zerner, which may be replaced by the formally stronger finite type property of Ngai and Wang. We…
We solve a case of the Abelian Exponential-Algebraic Closedness Conjecture, a conjecture due to Bays and Kirby, building on work of Zilber, which predicts sufficient conditions for systems of equations involving algebraic operations and the…
We present a framework for tame geometry on Henselian valued fields which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and…
In this paper, we extend the class of strongly $E$-preinvex and strongly $E$-invex functions to quasi strongly $E$-preinvex, quasi strongly $E$-invex and pseudo strongly $E$-invex functions. Some nontrivial suitable examples have been…
The contributions in this note begin with a new characterization of (positive) scalar multiples of minimal tripotents in a general JB$^*$-triple $E$, proving that a non-zero element $a\in E$ is a positive scalar multiple of a minimal…
We give new explicit constructions of several fundamental objects in linear-algebraic pseudorandomness and combinatorics, including lossless rank extractors, weak subspace designs, and strong $s$-blocking sets over finite fields. Our focus…
We develop criteria to guarantee uniqueness of the C$^*$-norm on a *-algebra $\mathcal{B}$. Nontrivial examples are provided by the noncommutative algebras of $\mathcal{C}$-valued functions $\mathcal{S}_J^\mathcal{C}(\mathbb{R}^n)$ and…
The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes…
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…
In [2], the authors prove Stillman's conjecture in all characteristics and all degrees by showing that, independent of the algebraically closed field $K$ or the number of variables, $n$ forms of degree at most $d$ in a polynomial ring $R$…
For a bivariate $P(x,y) \in \mathbb{R}[x,y]\setminus (\mathbb{R}[x] \cup \mathbb{R}[y])$, our first result shows that for all finite $A \subseteq \mathbb{R}$, $|P(A,A)|\geq \alpha|A|^{5/4}$ with $\alpha =\alpha(\mathrm{deg} P) \in…
We introduce the family of trimmed serendipity finite element differential form spaces, defined on cubical meshes in any number of dimensions, for any polynomial degree, and for any form order. The relation between the trimmed serendipity…