Related papers: Complex analytic proofs of two probabilistic theor…
Over extended systems of finite type arithmetic, we utilize a formal representation of the outer measure to define a translation which allows for the systematic formalization of probabilistic statements. As a main result, this translation…
`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program…
For two-dimensional, immersed closed surfaces $f:\Sigma \to \R^n$, we study the curvature functionals $\mathcal{E}^p(f)$ and $\mathcal{W}^p(f)$ with integrands $(1+|A|^2)^{p/2}$ and $(1+|H|^2)^{p/2}$, respectively. Here $A$ is the second…
We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of…
Circle packings with specified patterns of tangencies form a discrete counterpart of analytic functions. In this paper we study univalent packings (with a combinatorial closed disk as tangent graph) which are embedded in (or fill) a…
We give effective bounds on the generation of pushforwards of log-pluricanonical bundles twisted by ample line bundles. This gives a partial answer to a conjecture proposed by Popa and Schnell. We prove two types of statements: first, more…
A known Hardy-Littlewood theorem asserts that if both the function and its conjugate are of bounded variation, then their Fourier series are absolutely convergent. It is proved in the paper that the same result holds true for functions on…
We develop contractive finite dimensional realizations for rational matrix functions of one variable on domains that are not simply connected, such as the annulus. The proof uses multivariable contractive realization results as well as…
The purpose of this note is to show that the set functions defined in \cite{trong-tuyen} can be suitably extended to all subsets $E$ of the unit disk $\mathbb{D}$. In particular we obtain uniform nearly-optimal estimates for the following…
By using the vector-valued theory of singular integrals, we prove a Hardy--Littlewood--Sobolev inequality on product Hardy spaces $H^p_{\rm{prod}}$, which is a parallel result of the classical Hardy--Littlewood--Sobolev inequality. The same…
The purpose of this article is twofold. First, we prove that the squeezing function approaches 1 near strongly pseudoconvex boundary points of bounded domains in $\mathbb{C}^{n+1}$. Second, we show that the squeezing function approaches 1…
We prove non asymptotic polynomial bounds on the convergence of the Langevin Monte Carlo algorithm in the case where the potential is a convex function which is globally Lipschitz on its domain, typically the maximum of a finite number of…
This paper considers the problems of finite determinacy and approximation of flat analytic maps from germs of real or complex analytic spaces. It is shown that the flatness of analytic maps from germs of real or complex analytic spaces…
In this paper we consider Positive Definite functions on products $\Omega_{2q}\times\Omega_{2p}$ of complex spheres, and we obtain a condition, in terms of the coefficients in their disc polynomial expansions, which is necessary and…
It is proved the existence of single-valued analytic solutions in the unit disk and multivalent analytic solutions in domains bounded by a finite collection of circles for the Riemann-Hilbert problem with coefficients of sigma-finite…
By classical results of Herglotz and F. Riesz, any bounded analytic function in the complex unit disk has a unique inner-outer factorization. Here, a bounded analytic function is called \emph{inner} or \emph{outer} if multiplication by this…
This paper is mainly concerned with the disk of convergence of a power series s(x) representing an algebraic function of x and specifically with the relation between this disk and the branch points of the function. We shall focus especially…
Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if…
We show that doubling at some large scale in a Cayley graph implies uniform doubling at all subsequent scales. The proof is based on the structure theorem for approximate subgroups proved by Green, Tao and the first author. We also give a…
We give a sharp lower bound on the capacity of a real stable polynomial, depending only on the value of its gradient at $x = 1$. This result implies a sharp improvement to a similar inequality proved by Linial-Samorodnitsky-Wigderson in…