On the ternary Cantor set and Julia sets

2026-07-06T16:12:27Z

In this article, we show that the ternary Cantor set is not the Julia set of a rational map.

A Transform Pair for Doubly Connected Domains

2026-07-06T15:34:20Z

A new transform-based technique that generalizes the unified transform method is developed for bounded doubly connected domains as a novel way to numerically solve boundary value problems for holomorphic functions and solutions to the Laplacian. This work builds on the transform methods for multiply connected circular domains developed by Crowdy (2015, IMA J., 80) and the methods for simply connected bounded domains developed by H., Lanzani, Llewellyn Smith, and Luca (2025, Proc. A, 481). The Szegö kernel of the annulus and a corresponding transformation law is pivotal in the derivation of this new technique. The modified Schwarz problem for two domains is implemented to demonstrate the effectiveness of this new method.

Integer Coefficient Power Series with Prescribed Zero Sets

2026-07-06T15:30:10Z

We prove that a discrete effective divisor on the open unit disk $\mathbb{D}$ is the zero divisor of a holomorphic function on $\mathbb{D}$ with integer Taylor coefficients if and only if it is invariant under complex conjugation. The construction uses a one-parameter deformation of the Weierstrass elementary factors in which each modified factor of order $n$ leaves all Taylor coefficients of degree $\leq n$ unchanged while shifting the coefficient of degree $n+1$ by a controlled affine amount. These modified factors act as elementary jet-correction operators: the triangular structure of the coefficient map permits an inductive rounding scheme compatible with canonical-product convergence. As a consequence, every holomorphic function on $\mathbb{D}$ differs from one with Gaussian-integer Taylor coefficients by multiplication by a nowhere-vanishing holomorphic factor.

Holomorphic families of knots

2026-07-06T15:27:01Z

Let $(M, [g])$ be a $3$-dimensional conformal manifold. The space of knots $\operatorname{Kn}(M)$ in $M$ is an infinite-dimensional manifold that is known to carry an almost complex structure. This structure is formally integrable by a result of Brylinski. We study finite dimensional holomorphic submanifolds in $\operatorname{Kn}(M)$. We define an holomorphic family of knots in $(M, [g])$ parametrised by a finite-dimensional complex manifold $(X, I_X)$, and construct several series of examples. We show that the base $(X, I_X)$ is Kähler, and if $X$ is compact, it is a projective variety of complex dimension at most $2$. In this case the conformal structure $[g]$ uniquely determines the complex structure $I_X$ and vice versa. We prove that if an holomorphic family of knots in $(M, [g])$ over a compact base $(X, I_X)$ defines a foliation on $\mathbf{S}(TM)$, then $(X, I_X) \simeq \mathbb{C}\mathbf{P}^1 \times \mathbb{C}\mathbf{P}^1$, the manifold $(M, [g])$ is conformally equivalent to either $S^3$ or $\mathbb{R}\mathbf{P}^3$ with round metric, and all knots are geodesic in some round metric in the class.

Approximation of Fractals via Lagrange-type Superoscillations

2026-07-06T11:44:44Z

We study the approximation of the Weierstrass function by means of superoscillating sequences. Superoscillatory functions are band-limited functions whose local oscillation rate can exceed the highest frequency contained in their Fourier spectrum. Starting from Lagrange-type interpolation at nodes in $[-1,1]$, we construct a double-indexed family $\mathcal{W}_{N,n}(x)$ that approximates the truncated Weierstrass function $W_N(x)$ for each fixed truncation order~$N$. We prove that if the number of interpolation nodes $n_N$ grows sufficiently fast relative to the highest frequency $b^Nπ$, namely $b^Nπ/n_N\to 0$, then $\mathcal{W}_{N,n_N}$ converges uniformly to the full Weierstrass function on every compact set. We also show that the two limits in $N$ and $n$ do \emph{not} commute: for any fixed~$n$ the series $\lim_{N\to\infty}\mathcal{W}_{N,n}(x)$ diverges for every $x\neq 0$, a phenomenon called the Divergence Wall.

Conformally Invariant Besov Spaces on Chord-Arc Domains

2026-07-06T09:08:03Z

Inspired by the classical Besov $p$-spaces defined via higher-order derivatives on the upper half-plane, we introduce Besov-type spaces on simply connected domains. We first prove that on quasidisks, the first-order Besov space is isomorphic to its higher-order counterparts, and that these higher-order spaces preserve conformal quasi-invariance. Based on this result, we characterize chord-arc domains in terms of the isomorphism between the first-order Besov space and the boundary Besov space. This extends recent results for the Dirichlet space ($p=2$) to the general case $1 < p < \infty$.

Stability and strong convergence for complex Hessian equations with $L^1$ data

2026-07-06T06:14:18Z

We study complex $m$-Hessian equations on bounded hyperconvex domains with right-hand side in $L^1(Ω)$. The main contribution of this paper is a strong stability result for weak solutions in the Hessian energy sense. More precisely, if $f_j \to f$ in $L^1(Ω)$ and $u_j, u$ are the corresponding solutions, then \[ \int_Ω|u_j-u|\, H_m(u_j) \longrightarrow 0. \] This provides convergence in the natural energy topology associated to the Hessian operator, which is significantly stronger than convergence in capacity. For completeness, we also recall the existence of solutions and stability in capacity, which follow from known results in the literature.

Landau-type theorems for $K$-quasiregular harmonic mappings

2026-07-05T16:11:29Z

In this paper, our aim is to establish several sharp and improved Landau-type theorems for $K$-quasiregular harmonic mappings $f=h+\overline{g}$ in the unit disk $\Bbb{D} = \{z\in\Bbb{C}: |z|<1\}$. Under various boundedness assumptions on the analytic part $h$ or its derivative, we obtain explicit univalence radii and corresponding schlicht disk radii that significantly improve upon existing estimates in the literature. We also establish new Landau-type theorems under novel hypotheses. We provide examples to illustrate our results, and comprehensive numerical tables present quantitative values of the radii for various parameter choices, demonstrating the effectiveness of our results.

Results on the postsingular set of compositions of transcendental entire functions

2026-07-05T08:45:44Z

In this paper, we study the dynamics of commuting transcendental entire functions $f$ and $g$, where $g=af^p+b$ with $a,b\in\mathbb{C}$, $p\in\mathbb{N}$, and $a\neq 0,1$. We examine how singular values and postsingular sets behave under composition. Within this framework, we show that if one of the functions is postsingularly finite (respectively, postsingularly bounded, hyperbolic), then the other function also has this property, and so do their compositions. As an application, we derive several results concerning transcendental semigroups, including situations in which Eremenko's conjecture is satisfied.

Fefferman-Szegő kernels and finite-type rigidity on egg domains

2026-07-05T03:41:55Z

We compute the Fefferman boundary measure and the associated Fefferman--Szegő kernel for the egg domains $$ E_{n,m}=\{(z,w)\in\mathbb{C}^{n-1}\times\mathbb{C}:\ |z|^2+|w|^{2m}<1\}. $$ The kernel is given both by an orthogonal monomial expansion and by a closed form in a natural auxiliary finite-type variable; its diagonal weak-boundary exponent recovers the integer $m$. For $n\ge2$, the associated Fefferman--Szegő metric has constant scalar curvature only in the ball case $m=1$, and the Kähler--Einstein, constant Ricci-spectrum, and Bergman-proportionality statements follow as corollaries of the same calculation.

$L^p$-Extremal Teichmüller mappings between Riemann surfaces are diffeomorphisms

2026-07-04T23:01:39Z

We consider minimisers in the homotopy class of a homeomorphism $f_0:R\to S$ between analytically finite Riemann surfaces with minimal $L^p$- conformal energy \[ \mathsf{E}_p(f:R,S)=\int_R \IK^p(z,f)\; dσ_R(z). \] The problem was first raised by Ahlfors in his celebrated proof of Teichmüller's theorem-the case $p=\infty$, but the existence, topological regularity and analytic regularity of these $L^p$ minimisers remained unknown for all $1

Hereditary completeness for systems of exponentials in weighted $L^2$-spaces

2026-07-04T13:33:08Z

We prove that for any weight $w$, which has at most polynomial decay at the endpoints of the interval, there exists a complete and minimal system $\{e^{iλ_n t}\}_{n\in \mathbb{N}}$ of exponentials in the weighted space $L^2(w)$ which is not hereditarily complete.

Hessian type equations for $m-ω-$subharmonic functions on bounded domains in $\mathbb C^n$

2026-07-04T01:47:38Z

In this paper, we study Hessian type equations for $m-ω$ subharmonic functions. Using the recent results in \cite{KN23a}, \cite{KN23b}, we are able to show the existence of bounded solutions for such equations on bounded domains in $\mathbb{C}^n$.

A Database of Continued Fractions of Polynomial Type

2026-07-03T16:38:34Z

We describe a database of 1883 continued fractions with polynomial coefficients, of which more than 1600 are new, both for interesting constants and for transcendental functions, and provide the database inside the \TeX\ source of the paper. Look in particular at the section ``Table of Contents''.

Foliated and Mather-Jacobian discrepancies via tangential arcs

2026-07-03T14:48:44Z

This article develops a tangential arc-space approach to foliated discrepancies for logarithmic simple co-rank one foliations on threefolds, relative to a fixed invariant normal crossing separatrix divisor. In the non-resonant logarithmic case, reduced tangential arcs centred on the prescribed tangential locus are confined to this divisor. The tangential sector is therefore presented, at the reduced arc level, by the normalised separatrix-conductor system. Foliated adjunction transfers the discrepancy calculus to ordinary log pairs obtained by adjunction on the normalised branches and conductors. The arc-space theorem of Ein-Mustaţă-Yasuda, applied on these strata, then gives a tangential codimension formula identifying logarithmic codimensions of toroidal tangential divisorial cylinders with the corresponding tangential discrepancies. For toroidal invariant divisors read on branches, this tangential discrepancy agrees with the usual foliated discrepancy. The resulting theory gives toroidal tangential inversion of adjunction, a branch--conductor description of the tangential non-lc and non-klt loci, a cylinder criterion for tangential log canonicity, lower semicontinuity of the toroidal tangential minimal log discrepancy, and a relative Mather-Jacobian refinement for the canonical image separatrix system.