Norm Estimates of the Pre-Schwarzian Derivatives for \alpha -Spiral-Like Functions of Order \rho

For a constant $\alpha \in (-\frac{\pi }{2},\frac{\pi }{2})$ and $0\!\le \!\rho \!<\!1,$ we define the set of all $\alpha $ -spiral-like functions of order $\rho $ consisting of functions $f$ that are univalent on the unit disk and satisfy the condition $ Re\left(e^{-i\alpha }\frac{zf^{\prime }(z)}{f(z)}\right)>\rho \cos \alpha $ for any point $z$ in the unit disk. In the present paper, we shall give the best estimate for the norm of the pre-Schwarzian derivative ${\text{ T}}_f(z)=f^{\prime \prime }(z)/f^{\prime }(z)$ where $||T_f||= \sup (1-|z|^2)|T_f(z)|$ .     

Privileged Regions in Critical Strips of Non-lattice Dirichlet Polynomials

This paper shows, by means of Kronecker’s theorem, the existence of infinitely many privileged regions called $r$ -rectangles (rectangles with two semicircles of small radius $r$ ) in the critical strip of each function $L_{n}(z)\!:=\!$ $1-\sum _{k=2}^{n}k^{z}$ , $n\!\ge \!2$ , containing exactly $\left[ \dfrac{T\log n}{2\pi }\right] +1$ zeros of $L_{n}(z)$ , where $T$ is the height of the $r$ -rectangle and $\left[\cdot \right]$ represents the integer part.     

Two-Point Distortion for Nehari Functions

Let $\mathcal N (t)$ , $t\ge 0$ , be the Nehari class of locally injective holomorphic functions on the unit disk $\mathbb D $ that satisfy $$\begin{aligned} \sup _{z\in \mathbb D }\big (1-|z|^2\big )^2|S_f(z)| \le 2t, \end{aligned}$$ where $S_f = f^{\prime \prime \prime }/f^{\prime } - (3/2)\big (f^{\prime \prime }/f^{\prime }\big )^2$ is the Schwarzian derivative of $f$ . Sharp two-point upper and lower distortion theorems for these functions were recently established by Chuaqui, Duren, Ma, Mejia, Minda and Osgood. A classical result of Krauss shows that all univalent functions on $\mathbb D $ lie in $\mathcal N (3)$ . There are two different two-point upper distortion theorems for univalent functions due to Jenkins, Ma and Minda, and Kraus and Roth. Two similar two-point upper distortion theorems hold for $\mathcal N (t)$ . These two-point upper distortion theorems for $\mathcal N (3)$ are the known two-point upper distortion theorems for univalent functions, so the latter are actually valid for the larger class $\mathcal N (3)$ . Two-point distortion theorems for $\mathcal N (t)$ imply local uniform control in the hyperbolic sense on absolute cross-ratio distortion for functions in $\mathcal N (t)$ .     

SIP: critical value functions have finite modulus of non-convexity

We consider semi-infinite programming problems ${{\rm SIP}(z)}$ depending on a finite dimensional parameter ${z \in \mathbb{R}^p}$ . Provided that ${\bar{x}}$ is a strongly stable stationary point of ${{\rm SIP}(\bar{z})}$ , there exists a locally unique and continuous stationary point mapping ${z \mapsto x(z)}$ . This defines the local critical value function ${\varphi(z) := f(x(z); z)}$ , where ${x \mapsto f(x; z)}$ denotes the objective function of ${{\rm SIP}(z)}$ for a given parameter vector ${z\in \mathbb{R}^p}$ . We show that ${\varphi}$ is the sum of a convex function and a smooth function. In particular, this excludes the appearance of negative kinks in the graph of ${\varphi}$ .     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .     

Linear complementarity as absolute value equation solution

We consider the linear complementarity problem (LCP): $Mz+q\ge 0, z\ge 0, z^{\prime }(Mz+q)=0$ as an absolute value equation (AVE): $(M+I)z+q=|(M-I)z+q|$ , where $M$ is an $n\times n$ square matrix and $I$ is the identity matrix. We propose a concave minimization algorithm for solving (AVE) that consists of solving a few linear programs, typically two. The algorithm was tested on 500 consecutively generated random solvable instances of the LCP with $n=10, 50, 100, 500$ and 1,000. The algorithm solved $100\,\%$ of the test problems to an accuracy of $10^{-8}$ by solving 2 or less linear programs per LCP problem.     

On unitals in PG(2,q^2) stabilized by a homology group

The linear collineation group of a classical unital of $\mathrm{PG}(2,q^2)$ contains a group of homologies of order $q+1$ . In this paper we prove that if $\mathcal{U }$ is a unital of PG $(2,q^2)$ stabilized by a homology group of order $q+1$ and $q$ is a prime number, then $\mathcal{U }$ is classical.     

The distribution of the zeros of the Goss zeta-function for A=\mathbb{F }\,\!{}_2[x,y]/(y^2+y+x^3+x+1)

Let $F$ be a global function field over a finite constant field and $\infty $ a place of $F$ . The ring $A$ of functions regular away from $\infty $ in $F$ is a Dedekind domain. For such $A$ Goss defined a $\zeta $ -function which is a continuous function from $\mathbb{Z }_p$ to the ring of entire power series with coefficients in the completion $F_\infty $ of $F$ at $\infty $ . He asks what one can say about the distribution of the zeros of the entire function at any parameter of $\mathbb{Z }_p$ . In the simplest case $A$ is the polynomial ring in one variable over a finite field. Here the question was settled completely by J. Sheats, after previous work by J. Diaz-Vargas, B. Poonen and D. Wan: for any parameter in $\mathbb{Z }_p$ the zeros of the power series have pairwise different valuations and they lie in  $F_\infty $ . In the present article we completely determine the distribution of zeros for the simplest case different from polynomial rings, namely $A=\mathbb{F }\,\!{}_2[x,y]/(y^2+y+x^3+x+1)$ —this $A$ has class number $1$ , it is the affine coordinate ring of a supersingular elliptic curve and the place $\infty $ is $\mathbb{F }\,\!{}_2$ -rational. The answer is slightly different from the above case of polynomial rings. For arbitrary $A$ such that $\infty $ is a rational place of $F$ , we describe a pattern in the distribution of zeros which we observed in some computational experiments. Finally, we present some precise conjectures on the fields of rationality of these zeroes for one particular hyperelliptic $A$ of genus  $2$ .     

The Roles Played by Order of Convexity or Starlikeness and the Bloch Condition in the Extension of Mappings from the Disk to the Ball

Let ${G: \mathbb {C}^{n-1} \rightarrow \mathbb {C}}$ be holomorphic such that G(0)?=?0 and DG(0)?=?0. When f is a convex (resp. starlike) normalized (f(0)?=?0, f??(0)?=?1) univalent mapping of the unit disk ${\mathbb {D}}$ in ${\mathbb {C}}$ , then the extension of f to the Euclidean unit ball ${\mathbb {B}}$ in ${\mathbb {C}^n}$ given by ${\Phi_G(f)(z)=(f(z_1)+G(\sqrt{f^{\prime}(z_1)} \, \hat{z}),\sqrt{f^{\prime}(z_1)}\, \hat{z})}$ , ${\hat{z}=(z_2,\dots,z_n) \in \mathbb {C}^{n-1}}$ , is known to be convex (resp. starlike) if G is a homogeneous polynomial of degree 2 with sufficiently small norm. Conversely, it is known that G cannot have terms of degree greater than 2 in its expansion about 0 in order for ${\Phi_G(f)}$ to be convex (resp. starlike), in general. We examine whether the restriction that f be either convex or starlike of a certain order ${\alpha \in (0,1]}$ allows, in general, for G to contain terms of degree greater than 2 and still have ${\Phi_G(f)}$ maintain the respective geometric property. Related extension results for convex and starlike Bloch mappings are also given.     

Characterization of projective linear groups by the order of the normalizer of a Sylow subgroup

Let $r$ be a prime and $G$ be a finite group, and let $R, \,S$ be Sylow $r$ -subgroups of $G$ and $\text{ PGL }(2, r)$ respectively. We prove the following results: (1) If $|G|=|\text{ PGL }(2, r)|$ and $|N_{G}(R)|=|N_{\mathrm{PGL}(2, r)} (S)|$ and $r$ is not a Mersenne prime, then $G$ is isomorphic to $\text{ PSL } (2, r) \times C_{2}, \,\text{ SL }(2, r)$ or $\text{ PGL }(2, r)$ . (2) If $|G|=|\text{ PGL }(2, r)|, \,|N_{G}(R)|=|N_{\mathrm{PGL}(2, r)}(S)|$ where $r>3$ is a Mersenne prime and $r$ is an isolated vertex of the prime graph of $G$ , then $G\cong \text{ PGL }(2, r)$ .     

On generalized Dhombres equations with nonconstant polynomial solutions in the complex plane

We characterize functional equations of the form ${f(zf(z))=f(z)^{k+1},z\in\mathbb {C}}$ , with ${k\in\mathbb N}$ , like those generalized Dhombres equations ${f(zf(z))=\varphi (f(z))}$ , ${z\in\mathbb C}$ , with given entire function ${\varphi}$ , which have a nonconstant polynomial solution f.     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

Reducibility and Unitarily Equivalence for a Class of Analytic Multipliers on the Dirichlet Space

In this paper, we first prove that if $\phi $ is a finite Blaschke product with $N=2,3$ zeros, then $M_\phi $ is reducible on the Dirichlet space if and only if $\phi $ is equivalent to $z^N$ . Also, we prove that $M_\phi $ is unitary equivalent to Dirichlet shift of multiplicity $N$ if and only if $\phi =\lambda z^N$ for some unimodular constant $\lambda $ .     

On locally finite groups with a four-subgroup whose centralizer is small

Let $G$ be a locally finite group which contains a non-cyclic subgroup $V$ of order four such that $C_{G}\left( V\right) $ is finite and $C_{G}\left( \phi \right)$ has finite exponent for some $\phi \in V$ . We show that $[G,\phi ]^{\prime }$ has finite exponent. This enables us to deduce that $G$ has a normal series $1\le G_1\le G_2\le G_3\le G$ such that $G_1$ and $G/G_2$ have finite exponents while $G_2/G_1$ is abelian. Moreover $G_3$ is hyperabelian and has finite index in $G$ .     

Rank-two stable sheaves with odd determinant on Fano threefolds of genus nine

According to Mukai and Iliev, a smooth prime Fano threefold $X$ of genus $9$ is associated with a surface $\mathbb{P }(\mathcal{V })$ , ruled over a smooth plane quartic $\varGamma $ , and the derived category of $\varGamma $ embeds into that of $X$ by a theorem of Kuznetsov. We use this setup to study the moduli spaces of rank- $2$ stable sheaves on $X$ with odd determinant. For each $c_2 \ge 7$ , we prove that a component of their moduli space $\mathsf{M}_X(2,1,c_2)$ is birational to a Brill–Noether locus of vector bundles with fixed rank and degree on $\varGamma $ , having enough sections when twisted by $\mathcal{V }$ . For $c_2=7$ , we prove that $\mathsf{M}_X(2,1,7)$ is isomorphic to the blow-up of the Picard variety $\text{ Pic}^{2}({\varGamma })$ along the curve parametrizing lines contained in $X$ .     

On fluctuations of Riemann’s zeta zeros

It is shown that the normalized fluctuations of Riemann’s zeta zeros around their predicted locations follow the Gaussian law. It is also shown that fluctuations of two zeros, $\gamma _{k}$ and $\gamma _{k+x},$ with $x\sim \left( \log k\right) ^{\beta }, \beta >0,$ for large $k$ follow the two-variate Gaussian distribution with correlation $\left( 1-\beta \right) _{+}\! .$      

Infinitesimal Carleson Property for Weighted Measures Induced by Analytic Self-Maps of the Unit Disk

We prove that, for every $\alpha > -1$ , the pull-back measure $\varphi ({\mathcal A }_\alpha )$ of the measure $d{\mathcal A }_\alpha (z) = (\alpha + 1) (1 - |z|^2)^\alpha \, d{\mathcal A } (z)$ , where ${\mathcal A }$ is the normalized area measure on the unit disk $\mathbb D $ , by every analytic self-map $\varphi :\mathbb D \rightarrow \mathbb D $ is not only an $(\alpha \,{+}\, 2)$ -Carleson measure, but that the measure of the Carleson windows of size $\varepsilon h$ is controlled by $\varepsilon ^{\alpha + 2}$ times the measure of the corresponding window of size $h$ . This means that the property of being an $(\alpha + 2)$ -Carleson measure is true at all infinitesimal scales. We give an application by characterizing the compactness of composition operators on weighted Bergman–Orlicz spaces.