Related papers: Complex analytic proofs of two probabilistic theor…
We generalize ultraproducts and local-global limits of graphs to hypergraphs and other structures. We show that the local statistics of an ultraproduct of a sequence of hypergraphs are the ultralimits of the local statistics of the…
We consider Bernoulli bond percolation on the product graph of a regular tree and a line. Schonmann showed that there are a.s. infinitely many infinite clusters at $p=p_u$ by using a certain function $\alpha(p)$. The function $\alpha(p)$ is…
We first show that infinite satisfiability can be reduced to finite satisfiability for all prenex formulas of Separation Logic with $k\geq1$ selector fields ($\seplogk{k}$). Second, we show that this entails the decidability of the finite…
Let $f$ be a homogeneous polynomial over a field. For many fields, including number fields and function fields, we prove that the strength of $f$ is bounded above by a constant multiple of the Birch rank of $f.$ The constant depends only on…
Let $f$ be an entire transcendental function of finite order and $\Delta$ be a forward invariant bounded Siegel disk for $f$ with rotation number in Herman's class $\mathcal{H}$. We show that if $f$ has two singular values with bounded…
This paper is concerned with the problem of decomposing a higher order Lipschitz function on a closed Jordan curve $\Gamma$ into a sum of two polyanalytic functions in each open domain defined by $\Gamma$. Our basic tools are the Hardy…
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…
In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the…
In geometry group theory, one of the milestones is M. Gromov's polynomial growth theorem: Finitely generated groups have polynomial growth if and only if they are virtually nilpotent. Inspired by M. Gromov's work, we introduce the growth…
Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a normal crossings divisor. We show that there are only finitely many log crystalline $\mathbb…
To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in…
We denote by ${\rm Hess}^+$ the set of all points $p\in\mathbb{R}^n$ such that the Hessian matrix $H_p(f)$ of the $C^2$-smooth function $f:\mathbb{R}^n\longrightarrow\mathbb{R}$ is positive definite. In this paper we provide a class of…
A rational function of degree at least two with coefficients in an algebraically closed field is post-critically finite (PCF) if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF…
By treating the multiple argument identity of the logarithm of the Gamma function as a functional equation, we obtain a curious infinite product representation of the $sinc$ function in terms of the cotangent function. This result is…
The well known result of Bourgain and Kwapie\'n states that the projection $P_{\leq m}$ onto the subspace of the Hilbert space $L^2\left(\Omega^\infty\right)$ spanned by functions dependent on at most $m$ variables is bounded in $L^p$ with…
In this paper K closedness is proved in the case of the couple of real Hardy spaces in the corresponding couple of Lebesgue spaces. This means roughly that any measurable decomposition of an analytic function gives rise to an "analytic"…
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…
Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, f \in\mathcal{A}(\bar{\C} \setminus A), \sharp A <\infty. J. Nuttall has put…
We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound…
We introduce sufficient conditions on discrete singular integral operators for their maximal truncations to satisfy a sparse bound. The latter imply a range of quantitative weighted inequalities, which are new. As an application, we prove…