Related papers: Complex analytic proofs of two probabilistic theor…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails…
Partition functions arise in statistical physics and probability theory as the normalizing constant of Gibbs measures and in combinatorics and graph theory as graph polynomials. For instance the partition functions of the hard-core model…
We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, of which one is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension of such…
We say that a subset of C^n is hypoconvex if its complement is the union of complex hyperplanes. Let D be the closed unit disk in C, T the unit circle. We prove two conjectures of Helton and Marshall. (See ``Frequency domain design and…
Our results concern analytic functions on the open unit $p$-adic poly-disc in $\mathbb{C}^n_p$ centered at the multiplicative unit and we prove that such functions only vanish at finitely many $n$-tuples of roots of unity…
Let P be a locally finite disk pattern on the complex plane C whose combinatorics are described by the one-skeleton G of a triangulation of the open topological disk and whose dihedral angles are equal to a function \Theta:E\to [0,\pi/2] on…
The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced proof theoretic techniques. In particular, consider the…
Let $\{F_n\}$ be the sequence of the Fej\'er kernels on the unit circle $\mathbb{T}$. The first author recently proved that if $X$ is a separable Banach function space on $\mathbb{T}$ such that the Hardy-Littlewood maximal operator $M$ is…
The product homomorphism problem (PHP) takes as input a finite collection of relational structures A1, ..., An and another relational structure B, all over the same schema, and asks whether there is a homomorphism from the direct product A1…
We decompose $p$ - integrable functions on the boundary of a simply connected Lipschitz domain $\Omega \subset \mathbb C$ into the sum of the boundary values of two, uniquely determined holomorphic functions, where one is holomorphic in…
In the present article, we investigate the univalence property of polyanalytic functions and $\log$-$\alpha$-analytic functions. First, by using a new idea, we prove an improved lemma and the coefficient estimates for bounded polyanalytic…
Given a complex domain $\Omega$ and analytic functions $\varphi_1,\ldots,\varphi_n : \Omega \to \mathbb{D}$, we give geometric conditions for $H^\infty(\Omega)$ to be generated by functions of the form $g \circ \varphi_k$, $g \in…
In this paper we will deal with problems in approximation theory of bounded analytic functions on the unit disc and their boundary behavior on the unit circle. We will attempt to unify two known such theorems to create a stronger theorem.…
We consider the classical problem of maximizing the derivative at a fixed point over the set of all bounded analytic functions in the unit disk with prescribed critical points. We show that the extremal function is essentially unique and…
The tendency of semidefinite programs to compose perfectly under product has been exploited many times in complexity theory: for example, by Lovasz to determine the Shannon capacity of the pentagon; to show a direct sum theorem for…
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…
Let $E$ be a subset of the unit disc $U$ of the complex plane $\CC$. Recall that $H^p(U)$ is the space of all holomorphic functions $g$ on $U$ for which $\|g\|_{H^p}$ $<$ $\infty$. Put \begin{equation} C_p(\epsilon, R) = \sup \{\sup_{|z|…
Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…