Related papers: Maps on ultrametric spaces, Hensel's Lemma, and di…
We discuss linear algebra of infinite-dimensional vector spaces in terms of algebraic (Hamel) bases. As an application we prove the surjectivity of a large class of linear partial differential operators with smooth ($\mathcal…
We show that asymptotic (valued differential) fields have unique maximal immediate extensions. Connecting this to differential-henselianity, we prove that any differential-henselian asymptotic field is differential-algebraically maximal,…
Rademacher theorem asserts that Lipschitz continuous functions between Euclidean spaces are differentiable almost everywhere. In this work we extend this result to set-valued maps using an adequate notion of set-valued differentiability…
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…
We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear…
In this work, our aim is to obtain conditions to assure polynomial approximation in Hilbert spaces $L^{2}(\mu)$, with $\mu$ a compactly supported measure in the complex plane, in terms of properties of the associated moment matrix to the…
Many algorithms require discriminative boundaries, such as separating hyperplanes or hyperballs, or are specifically designed to work on spherical data. By applying inversive geometry, we show that the two discriminative boundaries can be…
We prove an arithmetic removal result for all compact abelian groups, generalizing a finitary removal result of Kr\'al', Serra and the third author. To this end, we consider infinite measurable hypergraphs that are invariant under certain…
In this paper, first we prove the existence of invariant vector field on a homogeneous Finsler space with infinite series $(\alpha, \beta)$-metric and exponential metric. Next, we deduce an explicit formula for the the $S$-curvature of…
Symmetric Positive Definite (SPD) matrices have become popular to encode image information. Accounting for the geometry of the Riemannian manifold of SPD matrices has proven key to the success of many algorithms. However, most existing…
We identify a class of hyperbolic transcendental entire maps and we prove that some of its elements generate a class of potentials for which exhibit a conformal and invariant probability Gibbs measure. The methods and techniques from the…
We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is $0$-hmix-minimality (which, in…
We show that tautological integrals on Hilbert schemes of points can be written in terms of universal polynomials in Chern numbers. The results hold in all dimensions, though they strengthen known results even for surfaces by allowing…
We use two ingredients to prove the hyperbolicity of generic hypersurfaces of sufficiently high degree and of their complements in the complex projective space. One is the pullbacks of appropriate low pole order meromorphic jet…
With the aim of estimating the abundance map from observations only, linear unmixing approaches are not always suitable to spectral images, especially when the number of bands is too small or when the spectra of the observed data are too…
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…
We consider some combinatorial problems on matrix polynomials over finite fields. Using results from control theory we give a proof of a result of Helmke, Jordan and Lieb on the number of linear unimodular matrix polynomials over a finite…
Consider a finite dimensional complex Hilbert space $\cH$, with $dim(\cH) \geq 3$, define $\bS(\cH):= \{x\in \cH \:|\: ||x||=1\}$, and let $\nu_\cH$ be the unique regular Borel positive measure invariant under the action of the unitary…