2026-08-19 | | Total: 5
Let $B$ denote Bloch's constant. We prove \[ B \ge \frac{\sqrt{3}}{4}+0.0153 = 0.448312701\ldots, \] improving the lower bounds by Chen--Gauthier ($\sqrt{3}/4+2\cdot10^{-4}$) and Xiong ($\sqrt{3}/4+3\cdot10^{-4}$). The proof refines Bonk's method through computer-assisted estimates rigorously verified using interval arithmetic.
For $k\geq1$, let $M_k=[(z-w)^k]\subset H^2(\mathbb D^2)$. We first determine the banded Toeplitz matrices associated with the homogeneous components of $M_k$, together with explicit formulas for their determinants and the relevant algebraic cofactors. These formulas lead to a complete description of the spectrum of the core operator: \[ σ(C_{M_k}) = \{0,1\} \cup \left\{ \pm\frac{k}{n+k}:n\geq1 \right\}. \] In particular, the spectral data determine the parameter $k$. The determinant and cofactor formulas further yield a unified finite-sum representation for $α_{n,j}^{(k)} =\langle w^jφ_n,z^jψ_n\rangle$, and hence for Yang's higher numerical invariants. We derive an adjacent relation connecting $α_{n,j}^{(k)}$ and $α_{n,j+1}^{(k)}$ by means of an explicit telescoping certificate, and show that the corresponding finite-section transformations are strict contractions. Combining these finite-dimensional estimates with the asymptotic behavior of $α_{n,j}^{(k)}$, we prove the strict monotonicity \[ Σ_0(M_k)> Σ_1(M_k)> Σ_2(M_k)> \cdots . \] The cases $k\geq3$ constitute the new part of the analysis, while the previously known cases $k=1,2$ are recovered within the same framework. Consequently, Yang's monotonicity conjecture holds in strict form for the entire family $\{[(z-w)^k]:k\geq1\}$.
For a bounded operator \(T\) between Banach spaces, we introduce the \emph{fixed-copy exponent sets} \[ \begin{aligned} \operatorname{Fix}_{\ell}(T) &:= \{r\ge1:T\text{ fixes a copy of }\ell^r\},\\ \operatorname{Fix}_{L}(T) &:= \{r\ge1:T\text{ fixes a copy of }L^r(0,1)\}. \end{aligned} \] For \(1\le p,q<\infty\), we completely determine both sets for every bounded composition operator \(C_\varphi:H^p\to H^q\). In particular, \(C_\varphi\) is strictly singular if and only if \(\operatorname{Fix}_{\ell}(C_\varphi)=\varnothing\). The classification also gives complete characterizations of the \(\ell^r\)-singular and \(L^r(0,1)\)-singular subclasses for every \(r\ge1\). As a further consequence, it completely resolves Problems~4.3\textup{(1)} and~4.3\textup{(2)} posed by Laitila, Nieminen, Saksman, and Tylli. The proofs introduce a new localization method for producing fixed copies from boundary lower estimates. Its main ingredient is a localization theorem independent of composition operators: for every measurable \(E\subset\mathbb T\) with \(m(E)>0\) and \(1\le p<r\le2\), it constructs a single copy of \(L^r(0,1)\) in \(H^p\) on which lower \(L^s(E)\) estimates hold simultaneously for all \(1\le s\le p\), with constants depending on \(E\) only through \(m(E)\). The classification combines this method with pullback measure criteria, known fixed-copy results, and classical subspace restrictions. For \(r<2\), the localization theorem is proved using stable integrals and analytic lifting; the endpoint \(r=2\) is handled by an \(E\)-adapted lacunary construction.
Let $Φ$ be a holomorphic IFS on a bounded domain in $\mathbb{C}$. Suppose that the following conditions hold: (1) the maps in $Φ$ do not have a common fixed point; (2) there does not exist a regular real-analytic curve which is invariant under all of the maps in $Φ$; (3) $Φ$ is not holomorphically conjugate to a homothetic IFS; (4) $Φ$ is exponentially separated. Under these assumptions, we show that the dimensions of the self-conformal measures associated to $Φ$, as well as the Hausdorff dimension of the associated self-conformal set, attain their natural upper bounds. The proof combines recently developed methods from the dimension theory of stationary fractal measures with complex-analytic arguments.
We construct planar simply-connected domains whose torsion function has an arbitrary prescribed number of local maxima while the distance to the boundary has only one local maximum inside the domain. This disproves a conjecture of Magnanini asserting that the number of local maxima of the torsion function is bounded above by the number of local maxima of the distance function to the boundary. We also answer a question of Steinerberger concerning the eccentricity of level sets near the point where the torsion function attains its maximum in simply-connected domains.