-
Volume growth on manifolds with more than one end
Authors:
Anushree Das,
Soma Maity
Abstract:
For an open manifold $M$ and a function $v$ with bounded growth of derivative, there exists a Riemannian metric of bounded geometry on $M$ such that the volume growth function lies in the same growth class as $v$. This was proved by R. Grimaldi and P. Pansu with the proof focusing on the case of manifolds with a single end. We prove this in the case of manifolds with multiple ends and call the con…
▽ More
For an open manifold $M$ and a function $v$ with bounded growth of derivative, there exists a Riemannian metric of bounded geometry on $M$ such that the volume growth function lies in the same growth class as $v$. This was proved by R. Grimaldi and P. Pansu with the proof focusing on the case of manifolds with a single end. We prove this in the case of manifolds with multiple ends and call the constructed metrics Grimaldi-Pansu metrics. We give uniform bounds for the volume growth function of these metrics in terms of the given bgd-function in the case of a certain class of manifolds which can be written as connected sums of a finite collection of closed and compact manifolds. We study the volume doubling condition and the Relatively Connected Annulus (R.C.A.) property of the Grimaldi-Pansu metrics, which play an important role in studying geometric analysis on manifolds with finitely many ends.
△ Less
Submitted 25 April, 2024; v1 submitted 13 September, 2023;
originally announced September 2023.
-
How does overparametrization affect performance on minority groups?
Authors:
Subha Maity,
Saptarshi Roy,
Songkai Xue,
Mikhail Yurochkin,
Yuekai Sun
Abstract:
The benefits of overparameterization for the overall performance of modern machine learning (ML) models are well known. However, the effect of overparameterization at a more granular level of data subgroups is less understood. Recent empirical studies demonstrate encouraging results: (i) when groups are not known, overparameterized models trained with empirical risk minimization (ERM) perform bett…
▽ More
The benefits of overparameterization for the overall performance of modern machine learning (ML) models are well known. However, the effect of overparameterization at a more granular level of data subgroups is less understood. Recent empirical studies demonstrate encouraging results: (i) when groups are not known, overparameterized models trained with empirical risk minimization (ERM) perform better on minority groups; (ii) when groups are known, ERM on data subsampled to equalize group sizes yields state-of-the-art worst-group-accuracy in the overparameterized regime. In this paper, we complement these empirical studies with a theoretical investigation of the risk of overparameterized random feature models on minority groups. In a setting in which the regression functions for the majority and minority groups are different, we show that overparameterization always improves minority group performance.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
On transcendental meromorphic solutions of certain types of differential equations
Authors:
Tania Biswas,
Sayantan Maity,
Abhijit Banerjee
Abstract:
In this paper, for a transcendental meromorphic function $f$ and $a\in \mathbb{C}$, we have exhaustively studied the nature and form of solutions of a new type of non-linear differential equation of the following form which has never been investigated earlier: \beas f^n+af^{n-2}f'+ P_d(z,f) = \sum_{i=1}^{k}p_i(z)e^{α_i(z)},\eeas where $P_d(z,f)$ is differential polynomial of $f$, $p_i$'s and…
▽ More
In this paper, for a transcendental meromorphic function $f$ and $a\in \mathbb{C}$, we have exhaustively studied the nature and form of solutions of a new type of non-linear differential equation of the following form which has never been investigated earlier: \beas f^n+af^{n-2}f'+ P_d(z,f) = \sum_{i=1}^{k}p_i(z)e^{α_i(z)},\eeas where $P_d(z,f)$ is differential polynomial of $f$, $p_i$'s and $α_{i}$'s are non-vanishing rational functions and non-constant polynomials respectively. When $a=0$, we have pointed out a major lacuna in a recent result of Xue [Math. Slovaca, 70(1)(2020), 87-94] and rectifying the result, presented the corrected form of the same at a large extent. The case $a\neq 0$ has also been manipulated to determine the form of the solutions. We also illustrate a handful number of examples for showing the accuracy of our results.
△ Less
Submitted 11 May, 2021; v1 submitted 27 March, 2021;
originally announced March 2021.
-
The endomorphism semiring of a commutative inverse semigroup
Authors:
M. K. Sen,
S. K. Maity,
Sumanta Das
Abstract:
The authors [3] proved that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and described its monolith. Here we prove that the endomorphism semiring of a commutative inverse semigroup with at least two idempotents is always subdirectly irreducible and describe its monolith.
The authors [3] proved that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and described its monolith. Here we prove that the endomorphism semiring of a commutative inverse semigroup with at least two idempotents is always subdirectly irreducible and describe its monolith.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Uniform Poincaré inequalities on measured metric spaces
Authors:
Gautam Neelakantan Memana,
Soma Maity
Abstract:
Consider a proper geodesic metric space $(X,d)$ equipped with a Borel measure $μ.$ We establish a family of uniform Poincaré inequalities on $(X,d,μ)$ if it satisfies a local Poincaré inequality ($P_{loc}$) and a condition on growth of volume. Consequently if $μ$ is doubling and supports $(P_{loc})$ then it satisfies a $(σ,β,σ)$-Poincaré inequality. If $(X,d,μ)$ is a $δ$-hyperbolic space then usin…
▽ More
Consider a proper geodesic metric space $(X,d)$ equipped with a Borel measure $μ.$ We establish a family of uniform Poincaré inequalities on $(X,d,μ)$ if it satisfies a local Poincaré inequality ($P_{loc}$) and a condition on growth of volume. Consequently if $μ$ is doubling and supports $(P_{loc})$ then it satisfies a $(σ,β,σ)$-Poincaré inequality. If $(X,d,μ)$ is a $δ$-hyperbolic space then using the volume comparison theorem in \cite{BCS} we obtain a uniform Poincaré inequality with exponential growth of the Poincaré constant. If $X$ is the universal cover of a compact $CD(K,\infty)$ space then it supports a uniform Poincaré inequality and the Poincaré constant depends on the growth of the fundamental group.
△ Less
Submitted 22 October, 2022; v1 submitted 9 September, 2020;
originally announced September 2020.
-
The Satisfactory Partition Problem
Authors:
A**kya Gaikwad,
Soumen Maity,
Shuvam Kant Tripathi
Abstract:
The Satisfactory Partition problem consists in deciding if the set of vertices of a given undirected graph can be partitioned into two nonempty parts such that each vertex has at least as many neighbours in its part as in the other part. This problem was introduced by Gerber and Kobler [European J. Oper. Res. 125 (2000) 283-291] and further studied by other authors, but its parameterized complexit…
▽ More
The Satisfactory Partition problem consists in deciding if the set of vertices of a given undirected graph can be partitioned into two nonempty parts such that each vertex has at least as many neighbours in its part as in the other part. This problem was introduced by Gerber and Kobler [European J. Oper. Res. 125 (2000) 283-291] and further studied by other authors, but its parameterized complexity remains open until now. It is known that the Satisfactory Partition problem, as well as a variant where the parts are required to be of the same cardinality, are NP-complete. We enhance our understanding of the problem from the viewpoint of parameterized complexity by showing that (1) the problem is FPT when parameterized by the neighbourhood diversity of the input graph, (2) it can be solved in $O(n^{8 {\tt cw}})$ where ${\tt cw}$ is the clique-width,(3) a generalized version of the problem is W[1]-hard when parameterized by the treewidth.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Minimax optimal approaches to the label shift problem in non-parametric settings
Authors:
Subha Maity,
Yuekai Sun,
Moulinath Banerjee
Abstract:
We study the minimax rates of the label shift problem in non-parametric classification. In addition to the unsupervised setting in which the learner only has access to unlabeled examples from the target domain, we also consider the setting in which a small number of labeled examples from the target domain is available to the learner. Our study reveals a difference in the difficulty of the label sh…
▽ More
We study the minimax rates of the label shift problem in non-parametric classification. In addition to the unsupervised setting in which the learner only has access to unlabeled examples from the target domain, we also consider the setting in which a small number of labeled examples from the target domain is available to the learner. Our study reveals a difference in the difficulty of the label shift problem in the two settings, and we attribute this difference to the availability of data from the target domain to estimate the class conditional distributions in the latter setting. We also show that a class proportion estimation approach is minimax rate-optimal in the unsupervised setting.
△ Less
Submitted 22 November, 2022; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Stability of Quadratic curvature Functionals at product Einstein manifolds
Authors:
Atreyee Bhattacharya,
Soma Maity
Abstract:
In this paper, we study Riemannian functionals defined by $L^2$-norms of Ricci curvature, scalar curvature, Weyl curvature, and Riemannian curvature. We try to understand stability of their critical points that are products of Einstein metrics. In particular, we prove that the product of a spherical space form and a compact hyperbolic manifold is unstable for some quadratic functionals if the firs…
▽ More
In this paper, we study Riemannian functionals defined by $L^2$-norms of Ricci curvature, scalar curvature, Weyl curvature, and Riemannian curvature. We try to understand stability of their critical points that are products of Einstein metrics. In particular, we prove that the product of a spherical space form and a compact hyperbolic manifold is unstable for some quadratic functionals if the first eigenvalue of the Laplacian of the hyperbolic manifold is sufficiently small.
△ Less
Submitted 2 January, 2019; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Rank preservers of matrices over additively idempotent and multiplicatively cancellative semirings
Authors:
A. K. Bhuniya,
Sushobhan Maity
Abstract:
Here we characterize the linear operators that preserve rank of matrices over additively idempotent and multiplicatively cancellative semirings. The main results in this article generalize the corresponding results on the two element Boolean algebra and on the max algebra; and holds on max-plus algebra and some other tropical semirings.
Here we characterize the linear operators that preserve rank of matrices over additively idempotent and multiplicatively cancellative semirings. The main results in this article generalize the corresponding results on the two element Boolean algebra and on the max algebra; and holds on max-plus algebra and some other tropical semirings.
△ Less
Submitted 15 July, 2018;
originally announced July 2018.
-
Perfect 3-Colorings on 4-Regular Graph of Order 8
Authors:
Sk Rabiul Islam,
Sayantan Maity,
Ashish Kumar Upadhyay
Abstract:
We study the perfect $3$-colorings on 4-regular graphs of order 8.
We study the perfect $3$-colorings on 4-regular graphs of order 8.
△ Less
Submitted 30 June, 2018; v1 submitted 22 June, 2018;
originally announced June 2018.
-
The Congruence Y* on Quasi Completely Regular Semirings
Authors:
Sunil Kumar Maity,
Rituparna Ghosh
Abstract:
In this paper we investigate about the congruence generated by Y on quasi completely regular semirings and obtained the interval which Y* belongs to on quasi completely regular semirings.
In this paper we investigate about the congruence generated by Y on quasi completely regular semirings and obtained the interval which Y* belongs to on quasi completely regular semirings.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
On the spectrum of linear dependence graph of finite dimensional vector spaces
Authors:
A. K. Bhuniya,
Sushobhan Maity
Abstract:
In this paper, we introduce a graph structure called linear dependence graph of a finite dimensional vector space over a finite field. Some basic properties of the graph like connectedness, completeness, planarity, clique number, chromatic number etc. have been studied. It is shown that two vector spaces are isomorphic if and only if their corresponding linear dependence graphs are isomorphic. Als…
▽ More
In this paper, we introduce a graph structure called linear dependence graph of a finite dimensional vector space over a finite field. Some basic properties of the graph like connectedness, completeness, planarity, clique number, chromatic number etc. have been studied. It is shown that two vector spaces are isomorphic if and only if their corresponding linear dependence graphs are isomorphic. Also adjacency spectrum, Laplacian spectrum and distance spectrum of the linear dependence graph have been studied.
△ Less
Submitted 30 March, 2017;
originally announced March 2017.
-
B-lattice of nil-extensions of rectangular skew-rings
Authors:
S. K. Maity,
R. Chatterjee
Abstract:
Every quasi completely regular semiring is a b-lattice of completely Archimedean semirings, i.e., a b-lattice of nil-extensions of completely simple semirings. In this paper we consider the semiring which is a b-lattice of nil-extensions of orthodox completely simple semirings.
Every quasi completely regular semiring is a b-lattice of completely Archimedean semirings, i.e., a b-lattice of nil-extensions of completely simple semirings. In this paper we consider the semiring which is a b-lattice of nil-extensions of orthodox completely simple semirings.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Covering Arrays on Product Graphs
Authors:
Yasmeen Akhtar,
Soumen Maity
Abstract:
Two vectors $x,y$ in $\mathbb{Z}_g^n$ are $ qualitatively$ $ independent$ if for all pairs $(a,b)\in \mathbb{Z}_g\times \mathbb{Z}_g$, there exists $i\in \{1,2,\ldots,n\}$ such that $(x_i,y_i)=(a,b)$. A covering array on a graph $G$, denoted by $CA(n,G,g)$, is a $|V(G)|\times n$ array on $\mathbb{Z}_g$ with the property that any two rows which correspond to adjacent vertices in $G$ are qualitative…
▽ More
Two vectors $x,y$ in $\mathbb{Z}_g^n$ are $ qualitatively$ $ independent$ if for all pairs $(a,b)\in \mathbb{Z}_g\times \mathbb{Z}_g$, there exists $i\in \{1,2,\ldots,n\}$ such that $(x_i,y_i)=(a,b)$. A covering array on a graph $G$, denoted by $CA(n,G,g)$, is a $|V(G)|\times n$ array on $\mathbb{Z}_g$ with the property that any two rows which correspond to adjacent vertices in $G$ are qualitatively independent. The number of columns in such array is called its $size$. Given a graph $G$, a covering array on $G$ with minimum size is called $optimal$. Our primary concern in this paper is with constructions that make optimal covering arrays on large graphs those are obtained from product of smaller graphs. We consider four most extensively studied graph products in literature and give upper and lower bounds on the the size of covering arrays on graph products. We find families of graphs for which the size of covering array on the Cartesian product achieves the lower bound. Finally, we present a polynomial time approximation algorithm with approximation ratio $\log(\frac{V}{2^{k-1}})$ for constructing covering array on graph $G=(V,E)$ with $k>1$ prime factors with respect to the Cartesian product.
△ Less
Submitted 22 December, 2015;
originally announced December 2015.
-
Improved Strength Four Covering Arrays with Three Symbols
Authors:
Soumen Maity,
Yasmeen Akhtar,
Reshma C Chandrasekharan,
Charles J Colbourn
Abstract:
A covering array $t$-$CA(n,k,g)$, of size $n$, strength $t$, degree $k$, and order $g$, is a $k\times n$ array on $g$ symbols such that every $t\times n$ sub-array contains every $t\times 1$ column on $g$ symbols at least once. Covering arrays have been studied for their applications to software testing, hardware testing, drug screening, and in areas where interactions of multiple parameters are t…
▽ More
A covering array $t$-$CA(n,k,g)$, of size $n$, strength $t$, degree $k$, and order $g$, is a $k\times n$ array on $g$ symbols such that every $t\times n$ sub-array contains every $t\times 1$ column on $g$ symbols at least once. Covering arrays have been studied for their applications to software testing, hardware testing, drug screening, and in areas where interactions of multiple parameters are to be tested. In this paper, we present an algebraic construction that improves many of the best known upper bounds on $n$ for covering arrays 4-$CA(n,k,g)$ with $g=3$. The $coverage$ $measure$ $μ_t(A)$ of a testing array $A$ is defined by the ratio between the number of distinct $t$-tuples contained in the column vectors of $A$ and the total number of $t$-tuples. A covering array is a testing array with full coverage. The $covering$ $arrays$ $with$ $budget$ $constraints$ $problem$ is the problem of constructing a testing array of size at most $n$ having largest possible coverage measure, given values of $k,g$ and $n$. This paper presents several strength four testing arrays with high coverage. The construction here is a generalisation of the construction methods used by Chateauneuf, Colbourn and Kreher, and Meagher and Stevens.
△ Less
Submitted 30 December, 2015; v1 submitted 11 September, 2015;
originally announced September 2015.
-
Mixed Covering Arrays on 3-Uniform Hypergraphs
Authors:
Yasmeen Akhtar,
Soumen Maity
Abstract:
Covering arrays are combinatorial objects that have been successfully applied in the design of test suites for testing systems such as software, circuits and networks, where failures can be caused by the interaction between their parameters. In this paper, we perform a new generalization of covering arrays called covering arrays on 3-uniform hypergraphs. Let $n, k$ be positive integers with…
▽ More
Covering arrays are combinatorial objects that have been successfully applied in the design of test suites for testing systems such as software, circuits and networks, where failures can be caused by the interaction between their parameters. In this paper, we perform a new generalization of covering arrays called covering arrays on 3-uniform hypergraphs. Let $n, k$ be positive integers with $k\geq 3$. Three vectors $x\in \mathbb Z_{g_1}^n$, $y\in \mathbb Z_{g_2}^n$, $z\in \mathbb Z_{g_3}^n$ are {\it 3-qualitatively independent} if for any triplet $(a, b, c) \in \mathbb Z_{g_1}\,\times\, \mathbb Z_{g_2}\,\times\,\mathbb Z_{g_3}$, there exists an index $ j\in \lbrace 1, 2,...,n \rbrace $ such that $( x(j), y(j), z(j)) = (a, b, c)$. Let $H$ be a 3-uniform hypergraph with $k$ vertices $v_1,v_2,\ldots,v_k$ with respective vertex weights $g_1,g_2,\ldots,g_k$. A mixed covering array on $H$, denoted by $3-CA(n,H, \prod_{i=1}^{k}g_{i})$, is a $k\times n$ array such that row $i$ corresponds to vertex $v_i$, entries in row $i$ are from $Z_{g_i}$; and if $\{v_x,v_y,v_z\}$ is a hyperedge in $H$, then the rows $x,y,z$ are 3-qualitatively independent. The parameter $n$ is called the size of the array. Given a weighted 3-uniform hypergraph $H$, a mixed covering array on $H$ with minimum size is called optimal. We outline necessary background in the theory of hypergraphs that is relevant to the study of covering arrays on hypergraphs. In this article, we introduce five basic hypergraph operations to construct optimal mixed covering arrays on hypergraphs. Using these operations, we provide constructions for optimal mixed covering arrays on $α$-acyclic 3-uniform hypergraphs, conformal 3-uniform hypertrees having a binary tree as host tree, and on some specific 3-uniform cycle hypergraphs.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
On the stability of L^p-norms of Curvature Tensor at Rank one symmetrics spaces
Authors:
Soma Maity
Abstract:
We study stability and local minimizing properties of $L^p$- norms of Riemannian curvature tensor denoted by $\mathcal{R}_p$ by variational methods. We compute the Hessian of $\mathcal{R}_p$ at compact rank 1 symmetric spaces and prove that they are stable for $\mathcal{R}_p$ for certain values of p > 2. A similar result also holds for compact quotients of rank 1 symmetric spaces of non-compact ty…
▽ More
We study stability and local minimizing properties of $L^p$- norms of Riemannian curvature tensor denoted by $\mathcal{R}_p$ by variational methods. We compute the Hessian of $\mathcal{R}_p$ at compact rank 1 symmetric spaces and prove that they are stable for $\mathcal{R}_p$ for certain values of p > 2. A similar result also holds for compact quotients of rank 1 symmetric spaces of non-compact type. Consequently, we obtain stability of L^{n\2}- norm of Weyl curvature at these metrics.
△ Less
Submitted 19 March, 2018; v1 submitted 8 August, 2014;
originally announced August 2014.
-
Some Unstable Critical Metrics for $L^{\frac{n}{2}}$-norm of the Curvature Tensor
Authors:
Atreyee Bhattacharya,
Soma Maity
Abstract:
We consider the Riemannian functional defined on the space of Riemannian metrics with unit volume on a closed smooth manifold $M$ given by $\mathcal{R}_{\frac{n}{2}}(g):= \int_M |R(g)|^{\frac{n}{2}}dv_g$ where $R(g)$, $dv_g$ denote the Riemannian curvature and volume form corresponding to $g$. We show that there are locally symmetric spaces which are unstable critical points for this functional.
We consider the Riemannian functional defined on the space of Riemannian metrics with unit volume on a closed smooth manifold $M$ given by $\mathcal{R}_{\frac{n}{2}}(g):= \int_M |R(g)|^{\frac{n}{2}}dv_g$ where $R(g)$, $dv_g$ denote the Riemannian curvature and volume form corresponding to $g$. We show that there are locally symmetric spaces which are unstable critical points for this functional.
△ Less
Submitted 25 November, 2012;
originally announced November 2012.
-
Stability of the L^p-Norm of the Curvature Tensor at Kahler Space Forms
Authors:
Soma Maity
Abstract:
We consider the Riemannian functional defined on the space of Riemannian metrics with unit volume on a closed smooth manifold M given by $R_p(g) :=\int_M|R(g)|^pdvg$ where $R(g)$, $dv_g$ denote the corresponding Riemannian curvature, volume form and p is a real number greater than or equal to 2. We prove that $R_p$ restricted to the space of Kahler metrics attains its local minima at a metric with…
▽ More
We consider the Riemannian functional defined on the space of Riemannian metrics with unit volume on a closed smooth manifold M given by $R_p(g) :=\int_M|R(g)|^pdvg$ where $R(g)$, $dv_g$ denote the corresponding Riemannian curvature, volume form and p is a real number greater than or equal to 2. We prove that $R_p$ restricted to the space of Kahler metrics attains its local minima at a metric with constant holomorphic sectional curvature.
△ Less
Submitted 7 February, 2021; v1 submitted 28 May, 2012;
originally announced May 2012.
-
On The Stability of The L^p Norm of The Curvature Tensor
Authors:
Soma Maity
Abstract:
We investigate stability and local minimizing properties of the Riemannian functional defined by the L^p norm of the curvature tensor on the space of Riemannian metrics on a closed manifold. Riemannian metrics with constant curvature and products of such metrics are critical points of this functional. We prove that these points are strictly stable for this functional and if (M; g) is a manifold of…
▽ More
We investigate stability and local minimizing properties of the Riemannian functional defined by the L^p norm of the curvature tensor on the space of Riemannian metrics on a closed manifold. Riemannian metrics with constant curvature and products of such metrics are critical points of this functional. We prove that these points are strictly stable for this functional and if (M; g) is a manifold of this type, g has a neighborhood U such that g is the strict minima on it.
△ Less
Submitted 14 December, 2012; v1 submitted 9 January, 2012;
originally announced January 2012.
-
On Wilking's criterion for the Ricci flow
Authors:
H. A. Gururaja,
Soma Maity,
Harish Seshadri
Abstract:
B Wilking has recently shown that one can associate a Ricci flow invariant cone of curvature operators $C(S)$, which are nonnegative in a suitable sense, to every $Ad_{SO(n,\C)}$ invariant subset $S \subset {\bf so}(n,\C)$. For curvature operators of a Kähler manifold of complex dimension $n$, one considers $Ad_{GL(n,\C)}$ invariant subsets $S \subset {\bf gl}(n,\C)$. In this article we show:
(i…
▽ More
B Wilking has recently shown that one can associate a Ricci flow invariant cone of curvature operators $C(S)$, which are nonnegative in a suitable sense, to every $Ad_{SO(n,\C)}$ invariant subset $S \subset {\bf so}(n,\C)$. For curvature operators of a Kähler manifold of complex dimension $n$, one considers $Ad_{GL(n,\C)}$ invariant subsets $S \subset {\bf gl}(n,\C)$. In this article we show:
(i) If $S$ is an $Ad_{SO(n,\C)}$ subset, then $C(S)$ is contained in the cone of curvature operators with nonnegative isotropic curvature and if $S$ is an $Ad_{GL(n,\C)}$ subset, then $C(S)$ is contained in the cone of Kähler curvature operators with nonnegative orthogonal bisectional curvature.
(ii) If $S \subset {\bf so}(n,\C)$ is a closed $Ad_{SO(n,\C)}$ invariant subset and $C_+(S) \subset C(S)$ denotes the cone of curvature operators which are {\it positive} in the appropriate sense then one of the two possibilities holds: (a) The connected sum of any two Riemannian manifolds with curvature operators in $C_+(S)$ also admits a metric with curvature operator in $C_+(S)$ (b) The normalized Ricci flow on any compact Riemannian manifold $M$ with curvature operator in $C_+(S)$ converges to either to a metric of constant positive sectional curvature or constant positive holomorphic sectional curvature or $M$ is a rank-1 symmetric space.
△ Less
Submitted 8 April, 2011; v1 submitted 31 January, 2011;
originally announced January 2011.
