Search arXiv⌕ Search

arXiv · 2503.14157

The Theory of Khinchin Families

Abstract

The theory of Khinchin families connects Probability Theory and Complex Analysis. Along this PhD thesis, we exploit this connection to obtain, using a variety of local central limit theorems, asymptotic formulas for the coefficients of analytic functions with non-negative coefficients. We give criteria for a power series to have certain specific, and in most cases, computable, asymptotic formula. The theory of Khinchin families was initiated and is strongly influenced by the work of Walter K. Hayman, Paul C. Rosembloom, and Luis Báez-Duarte. We can assign to each power series $f$ in the class $\mathcal{K}$, having radius of convergence $R>0$, a family of random variables $(X_t)_{[0,R)}$. This theory examines the behavior of this family of random variables, and also of its normalized version, as $t \uparrow R$. This thesis aims to harmonize the various asymptotic formulas for combinatorial or probabilistic objects within a single framework. With this aim we have extended some of the classes of functions and also studied the coefficients of large powers of analytic functions. One of our main goals was to consolidate and develop some aspects of a comprehensive theory: providing a guidebook for combinatorialists or probabilists, a series of results, or basic criteria, where they can follow a step-by-step process, verify if certain straightforward conditions are met, and then derive an asymptotic formula for the object of study. However, this is not the sole primary goal; we are also profoundly interested in the functional theoretical properties of these classes of functions and their connections to the respective Khinchin families (such as the case of $f \in \mathcal{K}$ being an entire function).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Víctor J. Maciá. 2025-03-18. The Theory of Khinchin Families. https://arxiv.org/abs/2503.14157

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hilbert metric and quasiconformal mappings

We prove a functional identity between the Hilbert metric and the visual angle metric in the unit disk. The proof utilizes the Poincaré hyperbolic metric in terms of which both metrics can be expressed. This identity then yields sharp distortion results for quasiregular mappings and analytic functions, expressed in terms of the Hilbert metric. We also prove that Hilbert circles are, in fact, Euclidean ellipses. The proof makes use of computer algebra methods. In particular, Gröbner bases are used.

math.CV↗

Cyclicity in Poletsky-Stessin Weighted Bergman Spaces

We study the cyclicity of polynomials in Poletsky-Stessin weighted Bergman spaces on various domains in $\mathbb{C}^2$, including the unit ball, the bidisk, and the complex ellipsoid. To this end, we introduce a natural extension of the parameter range for Poletsky-Stessin weighted Bergman spaces on complete Reinhardt domains, yielding a family of spaces that resemble Dirichlet-type spaces on the unit ball. We highlight the differences in the cyclicity behavior of polynomials in these spaces on the bidisk compared to those studied by Bénéteau et al. Finally, we propose several open problems concerning the structure of cyclic polynomials in these spaces.

math.CV↗

Weak Solutions to the complex Monge-Ampère flows on compact Kähler manifolds : general measures on the right-hand side

We show the existence of a bounded solution to the Cauchy problem for the complex Monge-Ampère flow on a compact Kähler manifold, with the right-hand side of the form $dt \wedge dμ$ where $dμ$ is either a Monge-Ampère measure with a bounded potential or dominated by a Monge-Ampère measure with a Hölder continuous potential. For the second case, we also prove that for a given semi-positive big from $θ$, the $t$-slice of the solution is locally Hölder continuous on $\rm{Amp(θ)}$ for all $t \in (0, T)$. Next, we prove a comparison principle when $dμ$ is dominated by a Monge-Ampère measure of a bounded quasi-plurisubharmonic function, which implies the uniqueness of the solution.

math.CV↗