Reducibility for a Class of Analytic Multipliers on the Dirichlet Space

It is proved that if \(\phi \) is a finite Blaschke product with four zeros, then \(M_\phi \) is reducible on the Dirichlet space with norm \(\Vert \ \Vert \) if and only if \(\phi =\phi _1\circ \phi _2\), where \(\phi _1, \phi _2\) are Blaschke products and \(\phi _2\) is equivalent to \(z^2\). Also, the same reducibility of \(M_\phi \) with finite Blaschke product \(\phi \) on the Dirichlet space under the equivalent norms \(\Vert \ \Vert _1\) and \(\Vert \ \Vert _0\) is given.     

Asymptotic diophantine approximation: the multiplicative case

Let \(\alpha \) and \(\beta \) be irrational real numbers and \(0<\varepsilon <1/30\). We prove a precise estimate for the number of positive integers \(q\le Q\) that satisfy \(\Vert q\alpha \Vert \cdot \Vert q\beta \Vert <\varepsilon \). If we choose \(\varepsilon \) as a function of Q, we get asymptotics as Q gets large, provided \(\varepsilon Q\) grows quickly enough in terms of the (multiplicative) Diophantine type of \((\alpha ,\beta )\), e.g., if \((\alpha ,\beta )\) is a counterexample to Littlewood’s conjecture, then we only need that \(\varepsilon Q\) tends to infinity. Our result yields a new upper bound on sums of reciprocals of products of fractional parts and sheds some light on a recent question of Lê and Vaaler.     

The $$\lambda $$-Function in the Space of Trace Class Operators

Let \(C_1(H)\) denote the space of all trace class operators on an arbitrary complex Hilbert space H. We prove that \(C_1(H)\) satisfies the \(\lambda \)-property, and we determine the form of the \(\lambda \)-function of Aron and Lohman on the closed unit ball of \(C_1(H)\) by showing that

$$\begin{aligned} \lambda (a) = \frac{1 - \Vert a\Vert _1 + 2 \Vert a\Vert _{\infty }}{2}, \end{aligned}$$

for every a in \({C_1(H)}\) with \(\Vert a\Vert _1 \le 1\). This is a non-commutative extension of the formula established by Aron and Lohman for \(\ell _1\).

     

Corona problem with data in ideal spaces of sequences

Let E be a Banach lattice on \({\mathbb {Z}}\) with order continuous norm. We show that for any function \(f = \{f_j\}_{j \in {\mathbb {Z}}}\) from the Hardy space \(\mathrm H_{\infty }\left( E \right) \) such that \(\delta \leqslant \Vert f (z)\Vert _E \leqslant 1\) for all z from the unit disk \({\mathbb {D}}\) there exists some solution \(g = \{g_j\}_{j \in {\mathbb {Z}}} \in \mathrm H_{\infty }\left( E' \right) \), \(\Vert g\Vert _{\mathrm H_{\infty }\left( E' \right) } \leqslant C_\delta \) of the Bézout equation \(\sum _j f_j g_j = 1\), also known as the vector-valued corona problem with data in \(\mathrm H_{\infty }\left( E \right) \).     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

Sharp MSE Bounds for Proximal Denoising

Denoising has to do with estimating a signal \(\mathbf {x}_0\) from its noisy observations \(\mathbf {y}=\mathbf {x}_0+\mathbf {z}\). In this paper, we focus on the “structured denoising problem,” where the signal \(\mathbf {x}_0\) possesses a certain structure and \(\mathbf {z}\) has independent normally distributed entries with mean zero and variance \(\sigma ^2\). We employ a structure-inducing convex function \(f(\cdot )\) and solve \(\min _\mathbf {x}\{\frac{1}{2}\Vert \mathbf {y}-\mathbf {x}\Vert _2^2+\sigma {\lambda }f(\mathbf {x})\}\) to estimate \(\mathbf {x}_0\), for some \(\lambda >0\). Common choices for \(f(\cdot )\) include the \(\ell _1\) norm for sparse vectors, the \(\ell _1-\ell _2\) norm for block-sparse signals and the nuclear norm for low-rank matrices. The metric we use to evaluate the performance of an estimate \(\mathbf {x}^*\) is the normalized mean-squared error \(\text {NMSE}(\sigma )=\frac{{\mathbb {E}}\Vert \mathbf {x}^*-\mathbf {x}_0\Vert _2^2}{\sigma ^2}\). We show that NMSE is maximized as \(\sigma \rightarrow 0\) and we find the exact worst-case NMSE, which has a simple geometric interpretation: the mean-squared distance of a standard normal vector to the \({\lambda }\)-scaled subdifferential \({\lambda }\partial f(\mathbf {x}_0)\). When \({\lambda }\) is optimally tuned to minimize the worst-case NMSE, our results can be related to the constrained denoising problem \(\min _{f(\mathbf {x})\le f(\mathbf {x}_0)}\{\Vert \mathbf {y}-\mathbf {x}\Vert _2\}\). The paper also connects these results to the generalized LASSO problem, in which one solves \(\min _{f(\mathbf {x})\le f(\mathbf {x}_0)}\{\Vert \mathbf {y}-{\mathbf {A}}\mathbf {x}\Vert _2\}\) to estimate \(\mathbf {x}_0\) from noisy linear observations \(\mathbf {y}={\mathbf {A}}\mathbf {x}_0+\mathbf {z}\). We show that certain properties of the LASSO problem are closely related to the denoising problem. In particular, we characterize the normalized LASSO cost and show that it exhibits a “phase transition” as a function of number of observations. We also provide an order-optimal bound for the LASSO error in terms of the mean-squared distance. Our results are significant in two ways. First, we find a simple formula for the performance of a general convex estimator. Secondly, we establish a connection between the denoising and linear inverse problems.     

Erratum to: Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams

A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume \(\Vert M\Vert \) of M is equal to \(\mathrm{Vol}(M)/v_n\), where \(v_n\) is a constant depending only on the dimension of M. The same result also holds for complete finite-volume hyperbolic manifolds without boundary, while Jungreis proved that the ratio \(\mathrm{Vol}(M)/\Vert M\Vert \) is strictly smaller than \(v_n\) if M is compact with nonempty geodesic boundary. We prove here a quantitative version of Jungreis’ result for \(n\ge 4\), which bounds from below the ratio \(\Vert M\Vert /\mathrm{Vol}(M)\) in terms of the ratio \(\mathrm{Vol}(\partial M)/\mathrm{Vol}(M)\). As a consequence, we show that, for \(n\ge 4\), a sequence \(\{M_i\}\) of compact hyperbolic n-manifolds with geodesic boundary satisfies \(\lim _i \mathrm{Vol}(M_i)/\Vert M_i\Vert =v_n\) if and only if \(\lim _i \mathrm{Vol}(\partial M_i)/\mathrm{Vol}(M_i)=0\). We also provide estimates of the simplicial volume of hyperbolic manifolds with geodesic boundary in dimension 3.     

$$L^{p}$$-Norms a nd Mahler’s Measure of Poly nomials o n the n-Dime nsio nal Torus

We prove Nikol’skii type inequalities that, for polynomials on the n-dimensional torus \(\mathbb {T}^n\), relate the \(L^p\)-norm with the \(L^q\)-norm (with respect to the normalized Lebesgue measure and \(0 <p <q < \infty \)). Among other things, we show that \(C=\sqrt{q/p}\) is the best constant such that \(\Vert P\Vert _{L^q}\le C^{\text {deg}(P)} \Vert P\Vert _{L^p}\) for all homogeneous polynomials P on \(\mathbb {T}^n\). We also prove an exact inequality between the \(L^p\)-norm of a polynomial P on \(\mathbb {T}^n\) and its Mahler measure M(P), which is the geometric mean of |P| with respect to the normalized Lebesgue measure on \(\mathbb {T}^n\). Using extrapolation, we transfer this estimate into a Khintchine–Kahane type inequality, which, for polynomials on \(\mathbb {T}^n\), relates a certain exponential Orlicz norm and Mahler’s measure. Applications are given, including some interpolation estimates.     

Power-normed spaces

To each power-norm \(((E^n, \Vert \cdot \Vert _n):n\in {\mathbb N})\) based on a given Banach space E, we associate two maximal symmetric sequence spaces \(L_\Phi ^E\) and \(L_\Psi ^E\) whose norms \(\Vert (z_k)\Vert _{L_\Phi ^E}\) and \(\Vert (z_k)\Vert _{L_\Psi ^E}\) are defined by \(\sup \{ \Vert (z_1x,\ldots ,z_nx)\Vert _n: \Vert x\Vert =1, n\in {\mathbb N}\}\) and \(\sup \{ \Vert \sum _{k=1}^n z_kx_k\Vert : \Vert (x_1,\ldots ,x_n)\Vert _n=1, n\in {\mathbb N}\}\) respectively. For each \(1\le p\le \infty \), we introduce and study the p-power-norms as those power-norms for which \(L_\Phi ^E=\ell ^p\) and \(L_\Psi ^E=\ell ^{p'}\), where \(1/p+1/p'=1\). As a special cases of p-power-norms we introduce certain smaller class, to be called the class of \(\ell ^p\)-power-norms, which is shown to contain the p-multi-norms defined in (Dales et al., Multi-norms and Banach lattices, 2016), and to coincide with the multi-norms and dual-multi-norms defined in (Dales and Polyakov, Diss Math 488, 2012) in the cases \(p=\infty \) and \(p=1\) respectively. We give several procedures to construct examples of such p-power and \(\ell ^p\)-power-norms and show that the natural formulations of the (p, q)-summing, (p, q)-concave, Rademacher power norms, t-standard power norms among others are examples in these classes. In particular, for instance the Rademacher power norm is a 2-power norm and the (p, q)-summing power-norm is a \(\ell ^r\)-power-norm for \(p>q\) with \(\frac{1}{r}=\frac{1}{q}-\frac{1}{p}\).     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Bochner representable operators on Banach function spaces

Let \((E,\Vert \cdot \Vert _E)\) be a Banach function space, \(E'\) the Köthe dual of E and \((X,\Vert \cdot \Vert _X)\) be a Banach space. It is shown that every Bochner representable operator \(T:E\rightarrow X\) maps relatively \(\sigma (E,E')\)-compact sets in E onto relatively norm compact sets in X. If, in particular, the associated norm \(\Vert \cdot \Vert _{E'}\) on \(E'\) is order continuous, then every Bochner representable operator \(T:E\rightarrow X\) is \((\gamma _E,\Vert \cdot \Vert _X)\)-compact, where \(\gamma _E\) stands for the natural mixed topology on E. Applications to Bochner representable operators on Orlicz spaces are given.     

Chains,antichains, and complements in infinite partition lattices

We consider the partition lattice \(\Pi (\lambda )\) on any set of transfinite cardinality \(\lambda \) and properties of \(\Pi (\lambda )\) whose analogues do not hold for finite cardinalities. Assuming AC, we prove: (I) the cardinality of any maximal well-ordered chain is always exactly \(\lambda \); (II) there are maximal chains in \(\Pi (\lambda )\) of cardinality \(> \lambda \); (III) a regular cardinal \(\lambda \) is strongly inaccessible if and only if every maximal chain in \(\Pi (\lambda )\) has size at least \(\lambda \); if \(\lambda \) is a singular cardinal and \(\mu ^{< \kappa } < \lambda \le \mu ^\kappa \) for some cardinals \(\kappa \) and (possibly finite) \(\mu \), then there is a maximal chain of size \(< \lambda \) in \(\Pi (\lambda )\); (IV) every non-trivial maximal antichain in \(\Pi (\lambda )\) has cardinality between \(\lambda \) and \(2^{\lambda }\), and these bounds are realised. Moreover, there are maximal antichains of cardinality \(\max (\lambda , 2^{\kappa })\) for any \(\kappa \le \lambda \); (V) all cardinals of the form \(\lambda ^\kappa \) with \(0 \le \kappa \le \lambda \) occur as the cardinalities of sets of complements to some partition \(\mathcal {P} \in \Pi (\lambda )\), and only these cardinalities appear. Moreover, we give a direct formula for the number of complements to a given partition. Under the GCH, the cardinalities of maximal chains, maximal antichains, and numbers of complements are fully determined, and we provide a complete characterisation.     

Epireflective subcategories of TOP,T$$_$$UNIF,UNIF, closed under epimorphic images,or being algebraic

The epireflective subcategories of \(\mathbf{Top}\), that are closed under epimorphic (or bimorphic) images, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \) and \(\mathbf{Top}\). The epireflective subcategories of \(\mathbf{T_2Unif}\), closed under epimorphic images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is compact \(T_2 \} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{T_2Unif}\). The epireflective subcategories of \(\mathbf{Unif}\), closed under epimorphic (or bimorphic) images, are: \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid \) covering character of X is \( \le \lambda _0 \} \) (where \(\lambda _0\) is an infinite cardinal), and \(\mathbf{Unif}\). The epireflective subcategories of \(\mathbf{Top}\), that are algebraic categories, are \(\{ X \mid |X| \le 1 \} \), and \(\{ X \mid X\) is indiscrete\(\} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being varietal, are \(\{ X \mid |X| \le 1 \} \), \(\{ X \mid X\) is indiscrete\(\} \), \(\{ X \mid X\) is compact \(T_2 \} \). The subcategories of \(\mathbf{Unif}\), closed under products and closed subspaces and being algebraic, are \(\{ X \mid X\) is indiscrete\( \} \), and all epireflective subcategories of \(\{ X \mid X\) is compact \(T_2 \} \). Also we give a sharpened form of a theorem of Kannan-Soundararajan about classes of \(T_3\) spaces, closed for products, closed subspaces and surjective images.     

Multiplicity Results for the Fractional Laplacian in Expanding Domains

In this paper, we establish a multiplicity result of nontrivial weak solutions for the problem \((-\Delta )^{\alpha } u +u= h(u)\)    in \(\Omega _{\lambda }\), \(u=0\)    on \(\partial \Omega _{\lambda }\), where \(\Omega _{\lambda }=\lambda \Omega \), \(\Omega \) is a smooth and bounded domain in \({\mathbb {R}}^N, N>2\alpha \), \(\lambda \) is a positive parameter, \(\alpha \in (0,1)\), \((-\Delta )^{\alpha }\) is the fractional Laplacian and the nonlinear term h(u) has subcritical growth. We use minimax methods, the Ljusternick–Schnirelmann and Morse theories to get multiplicity results depending on the topology of \(\Omega \).     

rthogonality Property $$\mathcal {}$$ and Compact Perturbations

A bounded linear operator T acting on a Hilbert space is said to have orthogonality property \(\mathcal {O}\) if the subspaces \(\ker (T-\alpha )\) and \(\ker (T-\beta )\) are orthogonal for all \(\alpha , \beta \in \sigma _p(T)\) with \(\alpha \ne \beta \). In this paper, the authors investigate the compact perturbations of operators with orthogonality property \(\mathcal {O}\). We give a sufficient and necessary condition to determine when an operator T has the following property: for each \(\varepsilon >0\), there exists \(K\in \mathcal {K(H)}\) with \(\Vert K\Vert <\varepsilon \) such that \(T+K\) has orthogonality property \(\mathcal {O}\). Also, we study the stability of orthogonality property \(\mathcal {O}\) under small compact perturbations and analytic functional calculus.     

The Sobolev Stability Threshold for 2D Shear Flows Near Couette

We consider the 2D Navier–Stokes equation on \(\mathbb T \times \mathbb R\), with initial datum that is \(\varepsilon \)-close in \(H^N\) to a shear flow (U(y), 0), where \(\Vert U(y) - y\Vert _{H^{N+4}} \ll 1\) and \(N>1\). We prove that if \(\varepsilon \ll \nu ^{1/2}\), where \(\nu \) denotes the inverse Reynolds number, then the solution of the Navier–Stokes equation remains \(\varepsilon \)-close in \(H^1\) to \((e^{t \nu \partial _{yy}}U(y),0)\) for all \(t>0\). Moreover, the solution converges to a decaying shear flow for times \(t \gg \nu ^{-1/3}\) by a mixing-enhanced dissipation effect, and experiences a transient growth of gradients. In particular, this shows that the stability threshold in finite regularity scales no worse than \(\nu ^{1/2}\) for 2D shear flows close to the Couette flow.     

Typical Behavior of the Harmonic Measure in Critical Galton–Watson Trees with Infinite Variance Offspring Distribution

We study the typical behavior of the harmonic measure in large critical Galton–Watson trees whose offspring distribution is in the domain of attraction of a stable distribution with index \(\alpha \in (1,2]\). Let \(\mu _n\) denote the hitting distribution of height n by simple random walk on the critical Galton–Watson tree conditioned on non-extinction at generation n. We extend the results of Lin (Typical behavior of the harmonic measure in critical Galton–Watson trees, arXiv:1502.05584, 2015) to prove that, with high probability, the mass of the harmonic measure \(\mu _n\) carried by a random vertex uniformly chosen from height n is approximately equal to \(n^{-\lambda _\alpha }\), where the constant \(\lambda _\alpha >\frac{1}{\alpha -1}\) depends only on the index \(\alpha \). In the analogous continuous model, this constant \(\lambda _\alpha \) turns out to be the typical local dimension of the continuous harmonic measure. Using an explicit formula for \(\lambda _\alpha \), we are able to show that \(\lambda _\alpha \) decreases with respect to \(\alpha \in (1,2]\), and it goes to infinity at the same speed as \((\alpha -1)^{-2}\) when \(\alpha \) approaches 1.     

Standard Jordan partitions with three parameters

We extend previous work on standard two-parameter Jordan partitions by Barry (Commun Algebra 43:4231–4246, 2015) to three parameters. Let \(J_r\) denote an \(r \times r\) matrix with minimal polynomial \((t-1)^r\) over a field F of characteristic p. For positive integers \(n_1\), \(n_2\), and \(n_3\) satisfying \(n_1 \le n_2 \le n_3\), the Jordan canonical form of the \(n_1 n_2 n_3 \times n_1 n_2 n_3\) matrix \(J_{n_1} \otimes J_{n_2} \otimes J_{n_3}\) has the form \(J_{\lambda _1} \oplus J_{\lambda _2} \oplus \cdots \oplus J_{\lambda _m}\) where \(\lambda _1 \ge \lambda _2 \ge \cdots \ge \lambda _m>0\) and \(\sum _{i=1}^m \lambda _i=n_1 n_2 n_3\). The partition \(\lambda (n_1,n_2,n_3:p)=(\lambda _1, \lambda _2,\ldots , \lambda _m)\) of \(n_1 n_2 n_3\), which depends on \(n_1\), \(n_2\), \(n_3\), and p, will be called a Jordan partition. We will define what we mean by a standard Jordan partition and give necessary and sufficient conditions for its existence.     

On the global convergence rate of the gradient descent method for functions with Hölder continuous gradients

The gradient descent method minimizes an unconstrained nonlinear optimization problem with \({\mathcal {O}}(1/\sqrt{K})\), where K is the number of iterations performed by the gradient method. Traditionally, this analysis is obtained for smooth objective functions having Lipschitz continuous gradients. This paper aims to consider a more general class of nonlinear programming problems in which functions have Hölder continuous gradients. More precisely, for any function f in this class, denoted by \({{\mathcal {C}}}^{1,\nu }_L\), there is a \(\nu \in (0,1]\) and \(L>0\) such that for all \(\mathbf{x,y}\in {{\mathbb {R}}}^n\) the relation \(\Vert \nabla f(\mathbf{x})-\nabla f(\mathbf{y})\Vert \le L \Vert \mathbf{x}-\mathbf{y}\Vert ^{\nu }\) holds. We prove that the gradient descent method converges globally to a stationary point and exhibits a convergence rate of \({\mathcal {O}}(1/K^{\frac{\nu }{\nu +1}})\) when the step-size is chosen properly, i.e., less than \([\frac{\nu +1}{L}]^{\frac{1}{\nu }}\Vert \nabla f(\mathbf{x}_k)\Vert ^{\frac{1}{\nu }-1}\). Moreover, the algorithm employs \({\mathcal {O}}(1/\epsilon ^{\frac{1}{\nu }+1})\) number of calls to an oracle to find \({\bar{\mathbf{x}}}\) such that \(\Vert \nabla f({{\bar{\mathbf{x}}}})\Vert <\epsilon \).