Related papers: Complex analytic proofs of two probabilistic theor…
The PCP Theorem is one of the most stunning results in computational complexity theory, a culmination of a series of results regarding proof checking it exposes some deep structure of computational problems. As a surprising side-effect, it…
The paper contains the proof, in dimension 2, of a conjecture of R. G. Douglas and V. Paulsen concerning the characterization of the ideals of polynomials which are closed in the relative topology induced by the Hardy space of the polydisk.
A result of Graber, Harris, and Starr shows that a rationally connected variety defined over the function field of a curve over the complex numbers always has a rational point. Similarly, a separably rationally connected variety over a…
We show that the norm in the Hardy space $H^p$ satisfies \begin{equation}\label{absteq} \|f\|_{H^p}^p\asymp\int_0^1M_q^p(r,f')(1-r)^{p\left(1-\frac1q\right)}\,dr+|f(0)|^p\tag{\dag} \end{equation} for all univalent functions provided that…
A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…
Let $D$ be a closed disk in the complex plane centered at the origin, $f, g$ complex valued continuous function on $D$. Let $P[f,g; D]$ (res. $R[f, g; D])$) be the uniform closure on $D$ of polynomials (res. rational functions) in variables…
We prove the Zilber--Pink conjecture for curves in $Y(1)^n$ whose Zariski closure in $(\mathbb{P}^1)^n$ passes through the point $(\infty, \ldots, \infty)$, going beyond the asymmetry condition of Habegger and Pila. Our proof is based on a…
A variant of Siu's analyticity theorem is proved for relative types of plurisubharmonic functions. Some results on propagation of plurisubharmonic singularities and maximality of pluricomplex Green functions with analytic singularities are…
We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…
We show that the space of all bounded derivations from the disc algebra into its dual can be identified with the Hardy space $H^1$; using this, we infer that all such derivations are compact. Also, given a fixed derivation $D$, we construct…
In this work, we prove some trace theorems for function spaces with a nonlocal character that contain the classical $W^{s,p}$ space as a subspace. The result we obtain generalizes well known trace theorems for $W^{s,p}(\Omega)$ functions…
We prove that the radii of convergence of the solutions of a $p$-adic differential equation $\mathcal{F}$ over an affinoid domain $X$ of the Berkovich affine line are continuous functions on $X$ that factorize through the retraction of…
We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large"…
Ultrafinitism postulates that we can only compute on relatively short objects, and numbers beyond certain value are not available. This approach would also forbid many forms of infinitary reasoning and allow to remove certain paradoxes…
Compactness is one of the core notions of analysis: it connects local properties to global ones and makes limits well-behaved. We study the computational properties of the compactness of Cantor space $2^{\mathbb{N}}$ for uncountable covers.…
In this work, we consider "finite bandwidth" reproducing kernel Hilbert spaces which have orthonormal bases of the form $f_n(z)=z^n \prod_{j=1}^J \left( 1 - a_{n}w_j z \right)$, where $w_1 ,w_2, \ldots w_J $ are distinct points on the…
Recently, Charpentier showed that there exist holomorphic functions $f$ in the unit disk such that, for any proper compact subset $K$ of the unit circle, any continuous function $\phi$ on $K$ and any compact subset $L$ of the unit disk,…
High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…
We give an example of a function $f$ non-vanishing in the closed bidisk and the affine polynomial minimizing the norm of $1-pf$ in the Hardy space of the bidisk among all affine polynomials $p$. We show that this polynomial vanishes inside…
This work begins by introducing the groundbreaking concept of log-p-analytic functions. Following this introduction, we proceed to delineate four distinct formulations of Landau-type theorems, specifically crafted for the domain of…