2025-04-25 | | Total: 6
We consider the $q^\text{Volume}$ lozenge tiling model on a large, finite hexagon. It is well-known that random lozenge tilings of the hexagon correspond to a two-dimensional determinantal point process via a bijection with ensembles of non-intersecting paths. The starting point of our analysis is a formula for the correlation kernel due to Duits and Kuijlaars which involves the Christoffel-Darboux kernel of a particular family of non-Hermitian orthogonal polynomials. Our main results are split into two parts: the first part concerns the family of orthogonal polynomials, and the second concerns the behavior of the boundary of the so-called arctic curve. In the first half, we identify the orthogonal polynomials as a non-standard instance of little $q$-Jacobi polynomials and compute their large degree asymptotics in the $q \to 1$ regime. A consequence of this analysis is a proof that the zeros of the orthogonal polynomials accumulate on an arc of a circle and an asymptotic formula for the Christoffel-Darboux kernel. In the second half, we use these asymptotics to show that the boundary of the liquid region converges to the Airy process, in the sense of finite dimensional distributions, away from the boundary of the hexagon. At inflection points of the arctic curve, we show that we do not need to subtract/add a parabola to the Airy line ensemble, and this effect persists at distances which are $o(N^{-2/9})$ in the tangent direction.
A piecewise continuous biharmonic problem in domains with corner points and a corresponding Schwarz type boundary value problem for monogenic functions in a commutative biharmonic algebra are considered. A method for reducing the problems to a system of integral equations is developed.
Minimal surfaces play a fundamental role in differential geometry, with applications spanning physics, material science, and geometric design. In this paper, we explore a novel quaternionic representation of minimal surfaces, drawing an analogy with the well-established theory of Pythagorean Hodograph (PH) curves. By exploiting the algebraic structure of complex quaternions, we introduce a new approach to generating minimal surfaces via quaternionic transformations. This method extends classical Weierstra\ss-Enneper representations and provides insights into the interplay between quaternionic analysis, PH curves, and minimal surface geometry. Additionally, we discuss the role of the Sylvester equation in this framework and demonstrate practical examples, including the construction of Enneper surface patches. The findings open new avenues in computational geometry and geometric modeling, bridging abstract algebraic structures with practical applications in CAD and computer graphics.
Let $D\subset\mathbb C^n$ be a bounded, strongly pseudoconvex domain whose boundary $bD$ satisfies the minimal regularity condition of class $C^2$. A 2017 result of Lanzani \& Stein states that the Cauchy--Szegö projection $S_\omega$ defined with respect to a bounded, positive continuous multiple $\omega$ of induced Lebesgue measure, {maps $L^p(bD, \omega)$ to $L^p(bD, \omega)$ continuously} for any $1<p<\infty$. Here we show that $S_\omega$ satisfies explicit quantitative bounds in $L^p(bD, \Omega)$, for any $1<p<\infty$ and for any $\Omega$ in the maximal class of \textit{$A_p$}-measures, that is for $\Omega_p = \psi_p\sigma$ where $\psi_p$ is a Muckenhoupt $A_p$-weight and $\sigma$ is the induced Lebesgue measure (with $\omega$'s as above being a sub-class). Earlier results rely upon an asymptotic expansion and subsequent pointwise estimates of the Cauchy--Szegö kernel, but these are unavailable in our setting of minimal regularity {of $bD$}; at the same time, more recent techniques that allow to handle domains with minimal regularity (Lanzani--Stein 2017) are not applicable to $A_p$-measures. It turns out that the method of {quantitative} extrapolation is an appropriate replacement for the missing tools. To finish, we identify a class of holomorphic Hardy spaces defined with respect to $A_p$-measures for which a meaningful notion of Cauchy--Szegö projection can be defined when $p=2$.
We construct ample smooth strictly plurisubharmonic non-quadratic solutions to the Monge-Ampère equation on either cylindrical type domains or the whole complex Euclidean space $\mathbb C^2$. Among these, the entire solutions defined on $\mathbb C^2$ induce flat Kahler metrics, as expected by a question of Calabi. In contrast, those on cylindrical domains produce a family of nowhere flat Kahler metrics. Beyond these smooth solutions, we also classify solutions that are radially symmetric in one variable, which exhibit various types of singularities. Finally, we explore analogous solutions to Donaldson's equation motivated by a result of He.
We generalize the theory of Widom factors to the $\mathbb C^n$ setting. We define Widom factors of compact subsets $K\subset \mathbb C^n$ associated with multivariate orthogonal polynomials and weighted Chebyshev polynomials. We show that on product subsets $K=K_1\times\cdots\times K_n$ of $\mathbb C^n$, where each $K_j$ is a non-polar compact subset of $\mathbb C$, these quantities have universal lower bounds which directly extend one dimensional results. Under the additional assumption that each $K_j$ is a subset of the real line, we provide improved lower bounds for Widom factors for some weight functions $w$; in particular, for the case $w\equiv 1$. Finally, we define the Mahler measure of a multivariate polynomial relative to $K\subset \mathbb C^n$ and obtain lower bounds for this quantity on product sets.