Related papers: Bounded Point Evaluations For Certain Polynomial A…

We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darni\`ere and Halupczok showing that $P$-minimal fields satisfy the…

We prove that if an analytic subset $A$ of a linear metric space $X$ is not contained in a $\sigma Z_\omega$-subset of $X$ then for every Polish convex set $K$ with dense affine hull in $X$ the sum $A+K$ is non-meager in $X$ and the sets…

Peak interpolation is concerned with a foundational kind of mathematical task: building functions in a fixed algebra $A$ which have prescribed values or behaviour on a fixed closed subset (or on several disjoint subsets). In this paper we…

Let $V\subset\mathbb{P}^n(\overline{F}_{\hskip-0.7mm q})$ be a complete intersection defined over a finite field $F_{\hskip-0.7mm q}$ of dimension $r$ and singular locus of dimension at most $0\le s\le r-2$. We obtain an explicit version of…

We find probability error bounds for approximations of functions $f$ in a separable reproducing kernel Hilbert space $\mathcal{H}$ with reproducing kernel $K$ on a base space $X$, firstly in terms of finite linear combinations of functions…

For any compact set $K\subset \mathbb{R}^n$ we develop the theory of Jensen measures and subharmonic peak points, which form the set $\mathcal{O}_K$, to study the Dirichlet problem on $K$. Initially we consider the space $h(K)$ of functions…

Answering a question posed by Adam Epstein, we show that the collection of conjugacy classes of polynomials admitting a parabolic fixed point and at most one infinite critical orbit is a set of bounded height in the relevant moduli space.…

In a sequence of seminal results in the 80's, Kaltofen showed that the complexity class VP is closed under taking factors. A natural question in this context is to understand if other natural classes of multivariate polynomials, for…

It is well known that, using fast algorithms for polynomial multiplication and division, evaluation of a polynomial $F \in \mathbb{C}[x]$ of degree $n$ at $n$ complex-valued points can be done with $\tilde{O}(n)$ exact field operations in…

Given a field $K$, a rational function $\phi \in K(x)$, and a point $b \in \mathbb{P}^1(K)$, we study the extension $K(\phi^{-\infty}(b))$ generated by the union over $n$ of all solutions to $\phi^n(x) = b$, where $\phi^n$ is the $n$th…

We study Hilbert functions of certain non-reduced schemes A supported at finite sets of points in projective space, in particular, fat point schemes. We give combinatorially defined upper and lower bounds for the Hilbert function of A using…

For Banach spaces of analytic functions on the disc for which the polynomials are dense and their pointt evaluations continuous, we prove the following: If they contain a function such that the limit superior of its modulus is infinite…

A Peano compactum is a compact metric space having locally connected components such that at most finitely many of them are of diameter greater than any fixed number C>0. Given a compactum K in the extended complex plane, it is known that…

Let $X$ be a smooth irreducible quasi-projective algebraic variety over a number field $K$. Suppose $X$ is equipped with a $p$-adic \'{e}tale local system compatible with an admissible graded-polarized variation of mixed Hodge structures on…

Let $L:[0,1]\setminus\{d\}\rightarrow [0,1]$ be a one-dimensional Lorenz like expanding map ($d$ is the point of discontinuity), $\mathcal{P}=\{ (0,d),(d,1) \}$ be a partition of $[0,1]$ and $C^{\alpha}([0,1],\mathcal{P})$ the set of…

Evaluating a polynomial on a set of points is a fundamental task in computer algebra. In this work, we revisit a particular variant called trimmed multipoint evaluation: given an $n$-variate polynomial with bounded individual degree $d$ and…

We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement…

Holomorphic functions are amazing because their values in an ever so small disk in the complex plane completely determine the function values at arbitrary points in their maximum possible domain. The process of extending such a function…

We present a self-contained separation framework for P vs NP developed entirely within ZFC. The approach consists of: (i) a deterministic, radius-1 compilation from uniform polynomial-time Turing computation to local sum-of-squares (SoS)…

Let K be a non-archimedean field, and let f in K(z) be a polynomial or rational function of degree at least 2. We present a necessary and sufficient condition, involving only the fixed points of f and their preimages, that determines…