On the largest conjugacy class length of a finite group

Let $G$ be a finite group and $\mathrm{bcl}(G)$ the largest conjugacy class length of $G$ . In this note we slightly improve He and Shi’s lower bound for $\mathrm{bcl}(G)$ , showing that $|\mathrm{bcl}(G)|\ge p^{\frac{1}{p}}(|G:O_{p}(G)|_{p})^{\frac{p-1}{p}}$ .     

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.     

Nonscattering solutions and blowup at infinity for the critical wave equation

We consider the critical focusing wave equation $(-\partial _t^2+\Delta )u+u^5=0$ in ${\mathbb{R }}^{1+3}$ and prove the existence of energy class solutions which are of the form $$\begin{aligned} u(t,x)=t^\frac{\mu }{2}W(t^\mu x)+\eta (t,x) \end{aligned}$$ in the forward lightcone $\{(t,x)\in {\mathbb{R }}\times {\mathbb{R }}^3: |x|\le t, t\gg 1\}$ where $W(x)=(1+\frac{1}{3} |x|^2)^{-\frac{1}{2}}$ is the ground state soliton, $\mu $ is an arbitrary prescribed real number (positive or negative) with $|\mu |\ll 1$ , and the error $\eta $ satisfies $$\begin{aligned} \Vert \partial _t \eta (t,\cdot )\Vert _{L^2(B_t)} +\Vert \nabla \eta (t,\cdot )\Vert _{L^2(B_t)}\ll 1,\quad B_t:=\{x\in {\mathbb{R }}^3: |x|<t\} \end{aligned}$$ for all $t\gg 1$ . Furthermore, the kinetic energy of $u$ outside the cone is small. Consequently, depending on the sign of $\mu $ , we obtain two new types of solutions which either concentrate as $t\rightarrow \infty $ (with a continuum of rates) or stay bounded but do not scatter. In particular, these solutions contradict a strong version of the soliton resolution conjecture.     

Solution of the Propeller Conjecture in \mathbb R ^3

It is shown that every measurable partition $\{A_1,\ldots , A_k\}$ { A 1 , … , A k } of $\mathbb R ^3$ R 3 satisfies 1 $$\begin{aligned} \sum _{i=1}^k\big \Vert \int _{A_i} x\mathrm{{e}}^{-\frac{1}{2}\Vert x\Vert _2^2}\mathrm{{d}}x\big \Vert _2^2\leqslant 9\pi ^2. \end{aligned}$$ ∑ i = 1 k ‖ ∫ A i x e - 1 2 ‖ x ‖ 2 2 d x ‖ 2 2 ? 9 π 2 . Let $\{P_1,P_2,P_3\}$ { P 1 , P 2 , P 3 } be the partition of $\mathbb R ^2$ R 2 into $120^{\circ }$ 120 ° sectors centered at the origin. The bound (1) is sharp, with equality holding if $A_i=P_i\times \mathbb R $ A i = P i × R for $i\in \{1,2,3\}$ i ∈ { 1 , 2 , 3 } and $A_i=\emptyset $ A i = ? for $i\in \{4,\ldots ,k\}$ i ∈ { 4 , … , k } . This settles positively the $3$ 3 -dimensional Propeller Conjecture of Khot and Naor [(Mathematika 55(1-2):129–165, 2009 (FOCS 2008)]. The proof of (1) reduces the problem to a finite set of numerical inequalities which are then verified with full rigor in a computer-assisted fashion. The main consequence (and motivation) of (1) is complexity-theoretic: the unique games hardness threshold of the kernel clustering problem with $4\times 4$ 4 × 4 centered and spherical hypothesis matrix equals $\frac{2\pi }{3}$ 2 π 3 .     

Homogeneous almost quaternion-Hermitian manifolds

An almost quaternion-Hermitian structure on a Riemannian manifold $(M^{4n},g)$ is a reduction of the structure group of $M$ to $\mathrm{Sp}(n)\mathrm{Sp}(1)\subset \text{ SO }(4n)$ . In this paper we show that a compact simply connected homogeneous almost quaternion-Hermitian manifold of non-vanishing Euler characteristic is either a Wolf space, or $\mathbb{S }^2\times \mathbb{S }^2$ , or the complex quadric $\text{ SO }(7)/\mathrm{U}(3)$ .     

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)|$ .     

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.     

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.     

Singular limits for Liouville-type equations on the flat two-torus

We consider the problem $$\begin{aligned} -\Delta u=\varepsilon ^{2}e^{u}- \frac{1}{|\Omega |}\int _\Omega \varepsilon ^{2} e^{u}+ {4\pi N\over |\Omega |} - 4 \pi N\delta _p, \quad \text{ in} {\Omega }, \quad \int _\Omega u=0 \end{aligned}$$ in a flat two-torus $\Omega $ with periodic boundary conditions, where $\varepsilon >0,\,|\Omega |$ is the area of the $\Omega $ , $N>0$ and $\delta _p$ is a Dirac mass at $p\in \Omega $ . We prove that if $1\le m<N+1$ then there exists a family of solutions $\{u_\varepsilon \}_{\varepsilon }$ such that $\varepsilon ^{2}e^{u_\varepsilon }\rightharpoonup 8\pi \sum _{i=1}^m\delta _{q_i}$ as $\varepsilon \rightarrow 0$ in measure sense for some different points $q_{1}, \ldots , q_{m}$ . Furthermore, points $q_i$ , $i=1,\dots ,m$ are different from $p$ .     

Some properties of a hypergeometric function which appear in an approximation problem

In this paper we consider properties and power expressions of the functions $f:(-1,1)\rightarrow \mathbb{R }$ and $f_L:(-1,1)\rightarrow \mathbb{R }$ , defined by $$\begin{aligned} f(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma }{\sqrt{1-t^2}}\,\mathrm{d}t \quad \text{ and}\quad f_L(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma \log (1+x t)}{\sqrt{1-t^2}}\,\mathrm{d}t, \end{aligned}$$ respectively, where $\gamma $ is a real parameter, as well as some properties of a two parametric real-valued function $D(\,\cdot \,;\alpha ,\beta ) :(-1,1) \rightarrow \mathbb{R }$ , defined by $$\begin{aligned} D(x;\alpha ,\beta )= f(x;\beta )f(x;-\alpha -1)- f(x;-\alpha )f(x;\beta -1),\quad \alpha ,\beta \in \mathbb{R }. \end{aligned}$$ The inequality of Turán type $$\begin{aligned} D(x;\alpha ,\beta )>0,\quad -1<x<1, \end{aligned}$$ for $\alpha +\beta >0$ is proved, as well as an opposite inequality if $\alpha +\beta <0$ . Finally, for the partial derivatives of $D(x;\alpha ,\beta )$ with respect to $\alpha $ or $\beta $ , respectively $A(x;\alpha ,\beta )$ and $B(x;\alpha ,\beta )$ , for which $A(x;\alpha ,\beta )=B(x;-\beta ,-\alpha )$ , some results are obtained. We mention also that some results of this paper have been successfully applied in various problems in the theory of polynomial approximation and some “truncated” quadrature formulas of Gaussian type with an exponential weight on the real semiaxis, especially in a computation of Mhaskar–Rahmanov–Saff numbers.     

Differentiable vectors and unitary representations of Fréchet–Lie supergroups

A locally convex Lie group G has the Trotter property if, for every $x_1, x_2 \in \mathfrak{g }$ , $$\begin{aligned} \exp _G(t(x_1 + x_2))=\lim _{n \rightarrow \infty } \left(\exp _G\left(\frac{t}{n}x_1\right)\exp _G\left(\frac{t}{n}x_2\right)\right)^n \end{aligned}$$ holds uniformly on compact subsets of $\mathbb{R }$ . All locally exponential Lie groups have this property, but also groups of automorphisms of principal bundles over compact smooth manifolds. A key result of the present article is that, if G has the Trotter property, $\pi : G \rightarrow {\mathrm{GL}}(V)$ is a continuous representation of G on a locally convex space, and $v \in V$ is a vector such that $\overline{\mathtt{d}\pi }(x)v :=\frac{d}{dt}|_{t=0} \pi (\exp _G(tx))v$ exists for every $x \in \mathfrak{g }$ , then the map $\mathfrak{g }\rightarrow V,x \mapsto \overline{\mathtt{d}\pi }(x)v$ is linear. Using this result we conclude that, for a representation of a locally exponential Fréchet–Lie group G on a metrizable locally convex space, the space of $\mathcal{C }^{k}$ -vectors coincides with the common domain of the k-fold products of the operators $\overline{\mathtt{d}\pi }(x)$ . For unitary representations on Hilbert spaces, the assumption of local exponentiality can be weakened to the Trotter property. As an application, we show that for smooth (resp., analytic) unitary representations of Fréchet–Lie supergroups $(G,\mathfrak{g })$ where G has the Trotter property, the common domain of the operators of $\mathfrak{g }=\mathfrak{g }_{\overline{0}}\oplus \mathfrak{g }_{\overline{1}}$ can always be extended to the space of smooth (resp., analytic) vectors for G.     

Large deviations for the empirical mean of an M/M/1 queue

Let $(Q(k):k\ge 0)$ be an $M/M/1$ queue with traffic intensity $\rho \in (0,1).$ Consider the quantity $$\begin{aligned} S_{n}(p)=\frac{1}{n}\sum _{j=1}^{n}Q\left( j\right) ^{p} \end{aligned}$$ for any $p>0.$ The ergodic theorem yields that $S_{n}(p) \rightarrow \mu (p) :=E[Q(\infty )^{p}]$ , where $Q(\infty )$ is geometrically distributed with mean $\rho /(1-\rho ).$ It is known that one can explicitly characterize $I(\varepsilon )>0$ such that $$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{1}{n}\log P\big (S_{n}(p)<\mu \left( p\right) -\varepsilon \big ) =-I\left( \varepsilon \right) ,\quad \varepsilon >0. \end{aligned}$$ In this paper, we show that the approximation of the right tail asymptotics requires a different logarithm scaling, giving $$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{1}{n^{1/(1+p)}}\log P\big (S_{n} (p)>\mu \big (p\big )+\varepsilon \big )=-C\big (p\big ) \varepsilon ^{1/(1+p)}, \end{aligned}$$ where $C(p)>0$ is obtained as the solution of a variational problem. We discuss why this phenomenon—Weibullian right tail asymptotics rather than exponential asymptotics—can be expected to occur in more general queueing systems.     

Weak-strong uniqueness criterion for the \beta -generalized surface quasi-geostrophic equation

We prove that weak-strong uniqueness holds for the $\beta $ -generalized surface quasi-geostrophic equation in the regular class $\nabla \theta \in L^{q}(0,T; L^{p}(\mathbb{R }^{2}))$ with $\frac{\alpha }{q}+\frac{2}{p}=\alpha +\beta -1$ , where $\alpha \in (0,1], \beta \in [1,2)$ and $\frac{2}{\alpha +\beta -1}<p<\infty $ .     

Reorthogonalization for the Golub–Kahan–Lanczos bidiagonal reduction

The Golub–Kahan–Lanczos (GKL) bidiagonal reduction generates, by recurrence, the matrix factorization of $X \in \mathbb{R }^{m \times n}, m \ge n$ , given by $$\begin{aligned} X = UBV^T \end{aligned}$$ where $U \in \mathbb{R }^{m \times n}$ is left orthogonal, $V \in \mathbb{R }^{n \times n}$ is orthogonal, and $B \in \mathbb{R }^{n \times n}$ is bidiagonal. When the GKL recurrence is implemented in finite precision arithmetic, the columns of $U$ and $V$ tend to lose orthogonality, making a reorthogonalization strategy necessary to preserve convergence of the singular values. The use of an approach started by Simon and Zha (SIAM J Sci Stat Comput, 21:2257–2274, 2000) that reorthogonalizes only one of the two left orthogonal matrices $U$ and $V$ is shown to be very effective by the results presented here. Supposing that $V$ is the matrix reorthogonalized, the reorthogonalized GKL algorithm proposed here is modeled as the Householder Q–R factorization of $\left( \begin{array}{c} 0_{n \times k} \\ X V_k \end{array}\right) $ where $V_k = V(:,1:k)$ . That model is used to show that if $\varepsilon _M $ is the machine unit and $$\begin{aligned} \bar{\eta }= \Vert \mathbf{tril }(I-V^T\!~V)\Vert _F, \end{aligned}$$ where $\mathbf{tril }(\cdot )$ is the strictly lower triangular part of the contents, then: (1) the GKL recurrence produces Krylov spaces generated by a nearby matrix $X + \delta X$ , $\Vert \delta X\Vert _F = \mathcal O (\varepsilon _M + \bar{\eta }) \Vert X\Vert _F$ ; (2) singular values converge in the Lanczos process at the rate expected from the GKL algorithm in exact arithmetic on a nearby matrix; (3) a new proposed algorithm for recovering leading left singular vectors produces better bounds on loss of orthogonality and residual errors.     

Spectral Properties of Two Classes of Averaging Operators on the Little Bloch Space and the Analytic Besov Spaces

We investigate spectral properties of operators of the form $$\begin{aligned} P_\mu f(z):=-\frac{1}{(1-z)^{\mu +1}}\int _1^z f(\zeta )(1-\zeta )^{\mu }\,d\zeta \end{aligned}$$ and $$\begin{aligned} Q_\mu f(z):=(1-z)^{\mu -1}\int _0^z f(\zeta )(1-\zeta )^{-\mu }\,d\zeta \quad (z\in \mathbb{D }) \end{aligned}$$ acting on the analytic Besov spaces $B_p$ and the little Bloch space $\mathcal B _0$ . For $X=B_p$ , $1\le p\le \infty $ , or $X=\mathcal B _0$ , we identify the spectra of $P_\mu $ and $Q_\mu $ in $\mathcal{L }(X)$ , as well as, in the case $X\ne B_\infty $ , the essential spectrum and index together with one sided analytic resolvents in the Fredholm regions of $P_\mu $ and $Q_\mu $ .     

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $\Delta ^2 u = \lambda f(u) $ in $ \Omega $ with $ \Delta u = u =0 $ on $ {\partial \Omega }$ , where $ \lambda > 0$ is a parameter, $ \Omega $ is a bounded domain in $\mathbb{R }^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$ , $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$ . We show the extremal solution is smooth, provided $$\begin{aligned} N < 2 + 4 \sqrt{2} + 4 \sqrt{ 2 - \sqrt{2}} \approx 10.718 \text{ when} f(u)=e^u, \end{aligned}$$ and $$\begin{aligned} N < \frac{4p}{p-1} + \frac{4(p+1)}{p-1} \left( \sqrt{ \frac{2p}{p+1}} + \sqrt{ \frac{2p}{p+1} - \sqrt{ \frac{2p}{p+1}}} - \frac{1}{2} \right) \end{aligned}$$ when $ f(u)=(u+1)^p$ . New results are also obtained in the case where $ f(u)=(1-u)^{-p}$ . These are substantial improvements to various results on critical dimensions obtained recently by various authors. To do that, we derive a new stability inequality satisfied by minimal solutions of the above equation, which is more amenable to estimates as it allows a method of proof reminiscent of the second order case.     

\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.     

2-Nilpotent real section conjecture

We show a $2$ -nilpotent section conjecture over $\mathbb{R }$ : for a geometrically connected curve $X$ over $\mathbb{R }$ such that each irreducible component of its normalization has $\mathbb{R }$ -points, $\pi _0(X(\mathbb{R }))$ is determined by the maximal $2$ -nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that for $X$ smooth and proper, $X(\mathbb{R })^{\pm }$ is determined by the maximal $2$ -nilpotent quotient of $\mathrm{Gal }(\mathbb{C }(X))$ with its $\mathrm{Gal }(\mathbb{R })$ action, where $X(\mathbb{R })^{\pm }$ denotes the set of real points equipped with a real tangent direction, showing a $2$ -nilpotent birational real section conjecture.     

Invariant submanifolds of Sasakian space forms

In the present study, we consider isometric immersions ${f : M \rightarrow \tilde{M}(c)}$ of (2n + 1)-dimensional invariant submanifold M ²ⁿ⁺¹ of (2m + 1) dimensional Sasakian space form ${\tilde{M}^{2m+1}}$ of constant ${ \varphi}$ -sectional curvature c. We have shown that if f satisfies the curvature condition ${\overset{\_}{R}(X, Y) \cdot \sigma =Q(g, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=\frac{1}{3}(2c+n(c+1)),}$ or ${||\sigma||^{2}(x) > \frac{1}{3}(2c+n(c+1)}$ at some point x of M ²ⁿ⁺¹. We also prove that ${\overset{\_ }{R}(X, Y)\cdot \sigma = \frac{1}{2n}Q(S, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=-\frac{2}{3}(\frac{1}{2n}\tau -\frac{1}{2}(n+2)(c+3)+3)}$ , or ${||\sigma||^{2}(x) > -\frac{2}{3}(\frac{1}{2n} \tau (x)-\frac{1}{2} (n+2)(c+3)+3)}$ at some point x of M ²ⁿ⁺¹.