Nonlinear centralizers in homology

It is shown that every nonlinear centralizer from $L_p$ to $L_q$ is trivial unless $q=p$ . This means that if $q\ne p$ , the only exact sequence of quasi-Banach $L_\infty $ -modules and homomorphisms $0\rightarrow L_q\rightarrow Z\rightarrow L_p\rightarrow 0$ is the trivial one where $Z=L_q\oplus L_p$ . From this it follows that the space of centralizers on $L_p$ is essentially independent on $p\in (0,\infty )$ , which confirms a conjecture by Kalton.     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

Convergence of the eigenvalues of the p-Laplace operator as p goes to 1

Let $(\lambda ^k_p)_k$ be the usual sequence of min-max eigenvalues for the $p$ -Laplace operator with $p\in (1,\infty )$ and let $(\lambda ^k_1)_k$ be the corresponding sequence of eigenvalues of the 1-Laplace operator. For bounded $\Omega \subseteq \mathbb{R }^n$ with Lipschitz boundary the convergence $\lambda ^k_p\rightarrow \lambda ^k_1$ as $p\rightarrow 1$ is shown for all $k\in \mathbb{N }$ . The proof uses an approximation of $BV(\Omega )$ -functions by $C_0^\infty (\Omega )$ -functions in the sense of strict convergence on $\mathbb{R }^n$ .     

Difference Inequalities for the Groups and Semigroups of Operators on Banach Spaces

Let ${\mathbf{T}=\{T(t)\} _{t\in\mathbb{R}}}$ be a ??(X, F)-continuous group of isometries on a Banach space X with generator A, where ??(X, F) is an appropriate local convex topology on X induced by functionals from ${ F\subset X^{\ast}}$ . Let ?? _A (x) be the local spectrum of A at ${x\in X}$ and ${r_{A}(x):=\sup\{\vert\lambda\vert :\lambda \in \sigma_{A}(x)\},}$ the local spectral radius of A at x. It is shown that for every ${x\in X}$ and ${\tau\in\mathbb{R},}$ $$\left\Vert T(\tau) x-x\right\Vert \leq \left\vert \tau \right\vert r_{A}(x)\left\Vert x\right\Vert.$$ Moreover if ${0\leq \tau r_{A}(x)\leq \frac{\pi}{2},}$ then it holds that $$\left\Vert T(\tau) x-T(-\tau)x\right\Vert \leq 2\sin \left(\tau r_{A}(x)\right)\left\Vert x\right\Vert.$$ Asymptotic versions of these results for C ₀-semigroup of contractions are also obtained. If ${\mathbf{T}=\{T(t)\}_{t\geq 0}}$ is a C ₀-semigroup of contractions, then for every ${x\in X}$ and ????? 0, $$\underset{t\rightarrow \infty }{\lim } \left\Vert T( t+\tau) x-T(t) x\right\Vert\leq\tau\sup\left\{ \left\vert \lambda \right\vert :\lambda \in\sigma_{A}(x)\cap i \mathbb{R} \right\} \left\Vert x\right\Vert. $$ Several applications are given.     

Sharpening the Norm Bound in the Subspace Perturbation Theory

Let $A$ be a (possibly unbounded) self-adjoint operator on a separable Hilbert space $\mathfrak H .$ Assume that $\sigma $ is an isolated component of the spectrum of $A$ , that is, $\mathrm{dist}(\sigma ,\Sigma )=d>0$ where $\Sigma =\mathrm spec (A)\setminus \sigma .$ Suppose that $V$ is a bounded self-adjoint operator on $\mathfrak H $ such that $\Vert V\Vert <d/2$ and let $L=A+V$ , $\mathrm{Dom }(L)=\mathrm{Dom }(A).$ Denote by $P$ the spectral projection of $A$ associated with the spectral set $\sigma $ and let $Q$ be the spectral projection of $L$ corresponding to the closed $\Vert V\Vert $ -neighborhood of $\sigma .$ Introducing the sequence $$\begin{aligned} \varkappa _n=\frac{1}{2}\left(1-\frac{(\pi ^2-4)^n}{(\pi ^2+4)^n}\right), \quad n\in \{0\}\cup {\mathbb N }, \end{aligned}$$ we prove that the following bound holds: $$\begin{aligned} \arcsin (\Vert P-Q\Vert )\le M_\star \left(\frac{\Vert V\Vert }{d}\right), \end{aligned}$$ where the estimating function $M_\star (x)$ , $x\in \bigl [0,\frac{1}{2}\bigr )$ , is given by $$\begin{aligned} M_\star (x)=\frac{1}{2}\,\,n_{_\#}(x)\,\arcsin \left(\frac{4\pi }{\pi ^2+4}\right) +\frac{1}{2}\,\arcsin \left(\frac{\pi ( x-\varkappa _{n_{_\#}(x)})}{1-2\varkappa _{n_{_\#}(x)})}\right), \end{aligned}$$ with $n_{_\#}(x)=\max \left\{ n\,\bigr |\,\,n\in \{0\}\cup {\mathbb N }\,, \varkappa _n\le x\right\} $ . The bound obtained is essentially stronger than the previously known estimates for $\Vert P-Q\Vert .$ Furthermore, this bound ensures that $\Vert P-Q\Vert <1$ and, thus, that the spectral subspaces $\mathrm{Ran }(P)$ and $\mathrm{Ran }(Q)$ are in the acute-angle case whenever $\Vert V\Vert <c_\star \,d$ , where $$\begin{aligned} c_\star =16\,\,\frac{\pi ^6-2\pi ^4+32\pi ^2-32}{(\pi ^2+4)^4}=0.454169\ldots . \end{aligned}$$ Our proof of the above results is based on using the triangle inequality for the maximal angle between subspaces and on employing the a priori generic $\sin 2\theta $ estimate for the variation of a spectral subspace. As an example, the boundedly perturbed quantum harmonic oscillator is discussed.     

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.     

Asymptotics for Some Combinatorial Characteristics of the Convex Hull of a Poisson Point Process in the Clifford Torus

Let $\mathcal P _\lambda $ be a homogeneous Poisson point process of rate $\lambda $ in the Clifford torus $T^2\subset \mathbb E ^4$ . Let $(f_0, f_1, f_2, f_3)$ be the $f$ -vector of conv $\,\mathcal P _\lambda $ and let $\bar{v}$ be the mean valence of a vertex of the convex hull. Asymptotic expressions for $\mathsf E \, f_1$ , $\mathsf E \, f_2$ , $\mathsf E \, f_3$ and $\mathsf E \, \bar{v}$ as $\lambda \rightarrow \infty $ are proved in this paper.     

Geodesics,distance, and the CAT(0) property for the manifold of Riemannian metrics

Let $\mathcal F ^a_\lambda $ be the PBW degeneration of the flag varieties of type $A_{n-1}$ . These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$ . We prove that $\mathcal F ^a_\lambda $ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\lambda $ of $\mathcal F ^a_\lambda $ . The varieties $R_\lambda $ can be viewed as towers of successive $\mathbb{P }^1$ -fibrations, thus providing an analogue of the classical Bott–Samelson–Demazure–Hansen desingularization. We prove that the varieties $R_\lambda $ are Frobenius split. This gives us Frobenius splitting for the degenerate flag varieties and allows to prove the Borel–Weil type theorem for $\mathcal F ^a_\lambda $ . Using the Atiyah–Bott–Lefschetz formula for $R_\lambda $ , we compute the $q$ -characters of the highest weight $\mathfrak sl _n$ -modules.     

\alpha -Admissibility for Ritt Operators

Let $T:X\rightarrow X$ be a power bounded operator on Banach space. An operator $C:X\rightarrow Y$ is called admissible for $T$ if it satisfies an estimate $\sum _k\Vert CT^k(x)\Vert ^2\,\le M^2\Vert x\Vert ^2$ . Following Harper and Wynn, we study the validity of a certain Weiss conjecture in this discrete setting. We show that when $X$ is reflexive and $T$ is a Ritt operator satisfying a appropriate square function estimate, $C$ is admissible for $T$ if and only if it satisfies a uniform estimate $(1-\vert \omega \vert ^2)^{\frac{1}{2}}\Vert C(I-\omega T)^{-1}\Vert \,\le K\,$ for $\omega \in \mathbb{C }$ , $\vert \omega \vert <1$ . We extend this result to the more general setting of $\alpha $ -admissibility. Then we investigate a natural variant of admissibility involving $R$ -boundedness and provide examples to which our general results apply.     

A functional model associated with a generalized Nevanlinna pair

Let $ \mathcal{L} $ be a Hilbert space, and let $ \mathcal{H} $ be a Pontryagin space. For every self-adjoint linear relation $ \tilde{A} $ in $ \mathcal{H} \oplus \mathcal{L} $ , the pair $ \{ I + \lambda \psi (\lambda ),\,\psi (\lambda )\} $ where $ \psi (\lambda ) $ is the compressed resolvent of $ \tilde{A} $ , is a normalized generalized Nevanlinna pair. Conversely, every normalized generalized Nevanlinna pair is shown to be associated with some self-adjoint linear relation $ \tilde{A} $ in the above sense. A functional model for this selfadjoint linear relation $ \tilde{A} $ is constructed.     

An Index Formula in Connection with Meromorphic Approximation

Let $\Phi $ be a continuous $n\times n$ matrix-valued function on the unit circle $\mathbb T $ such that the $(k-1)$ st singular value of the Hankel operator with symbol $\Phi $ is greater than the $k$ th singular value. In this case, it is well-known that $\Phi $ has a unique superoptimal meromorphic approximant $Q$ in $H^{\infty }_{(k)}$ ; that is, $Q$ has at most $k$ poles in the unit disc $\mathbb D $ (in the sense that the McMillan degree of $Q$ in $\mathbb D $ is at most $k$ ) and $Q$ minimizes the essential suprema of singular values $s_{j}\left((\Phi -Q)(\zeta )\right)\!, j\ge 0$ , with respect to the lexicographic ordering. For each $j\ge 0$ , the essential supremum of $s_{j}\left((\Phi -Q)(\zeta )\right)$ is called the $j$ th superoptimal singular value of degree $k$ of $\Phi $ . We prove that if $\Phi $ has $n$ non-zero superoptimal singular values of degree $k$ , then the Toeplitz operator $T_{\Phi -Q}$ with symbol $\Phi -Q$ is Fredholm and has index $$ \mathrm{ind}T_{\Phi -Q}=\dim \ker T_{\Phi -Q}=2k+\dim \mathcal E , $$ where $\mathcal E =\{ \xi \in \ker H_{Q}: \Vert H_{\Phi }\xi \Vert _{2}=\Vert (\Phi -Q)\xi \Vert _{2}\}$ and $H_{\Phi }$ denotes the Hankel operator with symbol $\Phi $ . This result can in fact be extended from continuous matrix-valued functions to the wider class of $k$ -admissible matrix-valued functions, i.e. essentially bounded $n\times n$ matrix-valued functions $\Phi $ on $\mathbb T $ for which the essential norm of the Hankel operator $H_{\Phi }$ is strictly less than the smallest non-zero superoptimal singular value of degree $k$ of $\Phi $ .     

A Characterization of Compact Operators Via the Non-Connectedness of the Attractors of a Family of IFSs

In this paper we present a result which establishes a connection between the theory of compact operators and the theory of iterated function systems. For a Banach space $X$ , $S$ and $T$ bounded linear operators from $X$ to $X$ such that $\Vert S\Vert , \Vert T\Vert <1$ and $w\in X$ , let us consider the IFS $\mathcal S _{w}=(X,f_{1},f_{2})$ , where $f_{1},f_{2}:X\rightarrow X$ are given by $f_{1}(x)=S(x)$ and $f_{2}(x)=T(x)+w$ , for all $x\in X$ . On one hand we prove that if the operator $S$ is compact, then there exists a family $(K_{n})_{n\in \mathbb N }$ of compact subsets of $X$ such that $A_{\mathcal S _{w}}$ is not connected, for all $w\in X-\bigcup _{n\in \mathbb N } K_{n}$ . On the other hand we prove that if $H$ is an infinite dimensional Hilbert space, then a bounded linear operator $S:H\rightarrow H$ having the property that $\Vert S\Vert <1$ is compact provided that for every bounded linear operator $T:H\rightarrow H$ such that $\Vert T\Vert <1$ there exists a sequence $(K_{T,n})_{n}$ of compact subsets of $H$ such that $A_{\mathcal S _{w}}$ is not connected for all $w\in H-\bigcup _{n}K_{T,n}$ . Consequently, given an infinite dimensional Hilbert space $H$ , there exists a complete characterization of the compactness of an operator $S:H\rightarrow H$ by means of the non-connectedness of the attractors of a family of IFSs related to the given operator. Finally we present three examples illustrating our results.     

Remarks on the existence of solutions to some quasilinear elliptic problems involving the Hardy-Leray potential

We study the solvability of the quasilinear problem $$\begin{aligned} -\Delta _p u =\frac{u^q }{|x|^p}+g(\lambda , x, u) \quad u>0 \quad \text{ in}\;\Omega , \end{aligned}$$ with $u=0$ on $\partial \Omega $ , where $-\Delta _p(\cdot )$ is the $p$ -Laplacian operator, $q>0, 1<p<N$ and $\Omega $ a smooth bounded domain in $\mathbb R ^N$ . We consider the following cases:

1. $g(\lambda ,x,u)\equiv 0$ ;
2. $g(\lambda ,x,u)=\lambda f(x)u^r$ , with $\lambda >0$ and $f(x) \gneq 0$ belonging to $L^{\infty }(\Omega )$ and $0 \le r<p-1$ .

In the case $(i)$ , the existence of solutions depends on the location of the origin in the domain, on the geometry of the domain and on the exponent $q$ . On the other hand, in the case $(ii)$ , the existence of solutions only depends on the position of the origin and on the coefficient $\lambda $ , but does not depend either on the exponent $q$ or on the geometry of $\Omega $ .     

Growth estimates for orbits of self-adjoint groups

Let $G$ denote a closed, connected, self-adjoint, noncompact subgroup of $GL(n,\mathbb R )$ , and let $d_{R}$ and $d_{L}$ denote respectively the right and left invariant Riemannian metrics defined by the canonical inner product on $M(n,\mathbb R ) = T_{I} GL(n,\mathbb R )$ . Let $v$ be a nonzero vector of $\mathbb R ^{n}$ such that the orbit $G(v)$ is unbounded in $\mathbb R ^{n}$ . Then the function $g \rightarrow d_{R}(g, G_{v})$ is unbounded, where $G_{v} = \{g \in G : g(v) = v \}$ , and we obtain algebraically defined upper and lower bounds $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ for the asymptotic behavior of the function $\frac{log|g(v)|}{d_{R}(g, G_{v})}$ as $d_{R}(g, G_{v}) \rightarrow \infty $ . The upper bound $\lambda ^{+}(v)$ is at most 1. The orbit $G(v)$ is closed in $\mathbb R ^{n} \Leftrightarrow \lambda ^{-}(w)$ is positive for some w $\in G(v)$ . If $G_{v}$ is compact, then $g \rightarrow |d_{R}(g,I) - d_{L}(g,I)|$ is uniformly bounded in $G$ , and the exponents $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ are sharp upper and lower asymptotic bounds for the functions $\frac{log|g(v)|}{d_{R}(g,I)}$ and $\frac{log|g(v)|}{d_{L}(g,I)}$ as $d_{R}(g,I) \rightarrow \infty $ or as $d_{L}(g,I) \rightarrow \infty $ . However, we show by example that if $G_{v}$ is noncompact, then there need not exist asymptotic upper and lower bounds for the function $\frac{log|g(v)|}{d_{L}(g, G_{v})}$ as $d_{L}(g, G_{v}) \rightarrow \infty $ . The results apply to representations of noncompact semisimple Lie groups $G$ on finite dimensional real vector spaces. We compute $\lambda ^{+}$ and $\lambda ^{-}$ for the irreducible, real representations of $SL(2,\mathbb R )$ , and we show that if the dimension of the $SL(2,\mathbb R )$ -module $V$ is odd, then $\lambda ^{+} = \lambda ^{-}$ on a nonempty open subset of $V$ . We show that the function $\lambda ^{-}$ is $K$ -invariant, where $K = O(n,\mathbb R ) \cap G$ . We do not know if $\lambda ^{-}$ is $G$ -invariant.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

On the singular set of minimizers of p(x)-energies

We treat the partial regularity of locally bounded local minimizers $u$ for the $p(x)$ -energy functional $$\begin{aligned} \mathcal{E }(v;\Omega ) = \int \left( g^{\alpha \beta }(x)h_{ij}(v) D_\alpha v^i (x) D_\beta v^j (x) \right) ^{p(x)/2} dx, \end{aligned}$$ defined for maps $v : \Omega (\subset \mathbb R ^m) \rightarrow \mathbb R ^n$ . Assuming the Lipschitz continuity of the exponent $p(x) \ge 2$ , we prove that $u \in C^{1,\alpha }(\Omega _0)$ for some $\alpha \in (0,1)$ and an open set $\Omega _0 \subset \Omega $ with $\dim _\mathcal{H }(\Omega \setminus \Omega _0) \le m-[\gamma _1]-1$ , where $\dim _\mathcal{H }$ stands for the Hausdorff dimension, $[\gamma _1]$ the integral part of $\gamma _1$ , and $\gamma _1 = \inf p(x)$ .     

Small perturbation of a disordered harmonic chain by a noise and an anharmonic potential

We study the thermal properties of a pinned disordered harmonic chain weakly perturbed by a noise and an anharmonic potential. The noise is controlled by a parameter $\lambda \rightarrow 0$ , and the anharmonicity by a parameter $\lambda ^{\prime } \le \lambda $ . Let $\kappa $ be the conductivity of the chain, defined through the Green–Kubo formula. Under suitable hypotheses, we show that $\kappa = \mathcal O (\lambda )$ and, in the absence of anharmonic potential, that $\kappa \sim \lambda $ . This is in sharp contrast with the ordered chain for which $\kappa \sim 1/\lambda $ , and so shows the persistence of localization effects for a non-integrable dynamics.     

On the field of definition of p-torsion points on elliptic curves over the rationals

Let $S_\mathbb Q (d)$ be the set of primes $p$ for which there exists a number field $K$ of degree $\le d$ and an elliptic curve $E/\mathbb Q $ , such that the order of the torsion subgroup of $E(K)$ is divisible by $p$ . In this article we give bounds for the primes in the set $S_\mathbb Q (d)$ . In particular, we show that, if $p\ge 11$ , $p\ne 13,37$ , and $p\in S_\mathbb Q (d)$ , then $p\le 2d+1$ . Moreover, we determine $S_\mathbb Q (d)$ for all $d\le 42$ , and give a conjectural formula for all $d\ge 1$ . If Serre’s uniformity problem is answered positively, then our conjectural formula is valid for all sufficiently large $d$ . Under further assumptions on the non-cuspidal points on modular curves that parametrize those $j$ -invariants associated to Cartan subgroups, the formula is valid for all $d\ge 1$ .     

Partial regularity at the first singular time for hypersurfaces evolving by mean curvature

In this paper, we consider smooth, properly immersed hypersurfaces evolving by mean curvature in some open subset of   $\mathbb R ^{n+1}$ on a time interval $(0, t_0)$ . We prove that $p$ -integrability with $p\ge 2$ for the second fundamental form of these hypersurfaces in some space–time region $B_R(y)\times (0, t_0)$ implies that the $\mathcal H ^{n+2-p}$ -measure of the first singular set vanishes inside $B_R(y)$ . For $p=2$ and $n=2$ , this was established by Han and Sun. Our result furthermore generalizes previous work of Xu, Ye and Zhao and of Le and Sesum for $p\ge n+2$ , in which case the singular set was shown to be empty. By a theorem of Ilmanen, our integrability condition is satisfied for $p=2$ and $n=2\,$ if the initial surface has finite genus. Thus, the first singular set has zero $\mathcal H ^2$ -measure in this case. This is the conclusion of Brakke’s main regularity theorem for the special case of surfaces, but derived without having to impose the area continuity and unit density hypothesis. It follows from recent work of Head and of Huisken and Sinestrari that for the flow of closed, $k$ -convex hypersurfaces, that is hypersurfaces whose sum of the smallest $k$ principal curvatures is positive, our integrability criterion holds with exponent $p=n+3-k-\alpha $ for all small $\alpha >0$ as long as $1\le k\le n-1$ . Therefore, the first singular set of such solutions is at most $(k-1)$ -dimensional, which is an optimal estimate in view of some explicit examples.