Abstract
This paper presents a formulation of the notion of monotonicity on homogeneous spaces. We review the general theory of invariant cone fields on homogeneous spaces and provide a list of examples involving spaces that arise in applications in information engineering and applied mathematics. Invariant cone fields associate a cone with the tangent space at each point in a way that is invariant with respect to the group actions that define the homogeneous space. We argue that invariance of conal structures induces orders that are tractable for use in analysis and propose invariant differential positivity as a natural generalization of monotonicity on such spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Monotonicity is the property of dynamical systems or maps that preserve a partial order, which is defined as a binary relation that is reflexive, antisymmetric, and transitive. That is, a monotone dynamical system is characterized by the property that any two points that are ordered at one instant in time will remain ordered at all subsequent times as the system evolves with the flow. Monotone flows and their discrete-time analogues, order-preserving maps, play an important role in the theory of dynamical systems and find applications to many biological, physical, chemical, and economic models [14, 33]. These systems are closely related to linear dynamical systems with input and output channels, where the monotonicity of a nonnegative input is preserved by the output [2, 3, 21, 23, 43]. Recently, this type of input-output preserving system has been further extended to the notion of unimodality [22].
One area of application of monotonicity is the theory of consensus algorithms [27, 35, 44, 45, 48, 49], where one is interested in designing and analyzing consensus protocols that define the interactions between a collection of agents exchanging information about their relative states via a communication network with the aim of achieving collective behavior. Monotone systems also arise naturally in many areas of biology [5, 6, 13]. A classical example of a monotone system arising from biology is described by a Kolmogorov model of interacting species where an increase in any population causes an increase in the growth rate of all other populations. Such systems are said to be cooperative [51]. Monotone systems also arise in areas of biology other than population dynamics. For instance, see [52] for an example concerning the dynamics of viral infections. Furthermore, monotone subsystems are often found as components of larger networks due to their robust dynamical stability and predictability of responses to perturbations. The decomposition of networks into monotone subsystems and the study of their interconnections using tools from control theory have also proven to be insightful [4, 7, 11].
This paper addresses the question of how to define monotonicity on a homogeneous manifold. The notion of order plays a defining role in monotonicity theory. In linear spaces, it is well known that orders are intimately connected with the theory of pointed solid convex cones. In this paper, a solid convex cone \({\mathcal {K}}\) is said to be pointed if \({\mathcal {K}}\cap -{\mathcal {K}}=\{0\}\). Every such cone \({\mathcal {K}}\) induces a partial order \(\le \) in a vector space, whereby \(a\le b\) if \(b-a\) lies in \({\mathcal {K}}\). The simplest example is provided by the positive orthant \({\mathbb {R}}^n_+\) in \({\mathbb {R}}^n\) consisting of vectors with nonnegative entries, which induces the standard vector order based on pairwise comparisons of vector entries. It is natural to generalize this approach by defining a field of cones on a manifold, whereby a cone is associated with the tangent space at each point on the manifold. A conal curve of a cone field is defined as a piecewise smooth curve whose tangent vector lies in the cone at every point along the curve wherever it exists. Cone fields induce the notion of conal orders, whereby a pair of points are said to be ordered if the first point can be joined to the second point by a conal curve. Conal orders locally define partial orders on a manifold. Whether the local partial order can be extended globally depends on the structure of the cone field and the underlying space.
In most applications in applied mathematics and engineering, we are interested in problems that are formulated on spaces with special geometries such as homogeneous spaces. These are manifolds that admit a transitive Lie group action and thus provide a way of systematically generating mathematical structures over the tangent bundle using constructs defined at a single point. This provides a methodology to incorporate the symmetries of the space in any additional structures that are endowed to the space for analysis and design purposes. The classical example of such a construction is that of a homogeneous Riemannian metric, which is entirely determined by the metric at a point. In a similar spirit, we define and characterize invariant cone fields on homogeneous spaces. In doing so, we closely review elements of the general theory of homogeneous cone fields as outlined in the important work by Hilgert et al. [24, 25] and Neeb [41]. We then present a number of examples of homogeneous spaces that arise in a variety of applications in information geometry, computational science and engineering, including Grassmann manifolds and spaces of symmetric positive definite matrices, and consider the existence of invariant cone fields on these spaces. A key theme of the paper is that geometric invariance yields ‘tractability’ in the analysis of orders and related concepts, which otherwise may appear daunting. In particular, we show that conality of geodesics on globally orderable Riemannian homogeneous spaces can be used to determine order relations between points on such spaces.
Cone fields and conal curves provide a local or differential way of thinking about order relations, which can be viewed as corresponding global concepts. Monotonicity itself is a global concept in the sense that it is classically defined in relation to some partial order. In extending any concept defined on vector spaces to manifolds, it is natural to seek the differential characterization of the property, which in turn will often provide a route for generalization to the nonlinear manifold setting. The local property that is equivalent to monotonicity in \({\mathbb {R}}^n\) with respect to a partial order defined by a constant cone field is differential positivity [17]. We propose invariant differential positivity (i.e., differential positivity with respect to an invariant cone field) as a generalization of monotonicity to homogeneous spaces. We will show that invariant differential positivity is indeed equivalent to monotonicity when the cone field induces a global partial order. Furthermore, we discuss how the property remains useful in cases where the order is not a global partial order. Invariant differential positivity can be a powerful analytic tool for the study of monotonicity in a variety of contexts, including the theory of consensus of oscillators [36, 40], nonlinear dynamical systems [15,16,17], and matrix monotone functions [10, 32, 37]. In this paper, we specify what we mean by invariant differential positivity on homogeneous spaces, including with respect to cones of rank k [19, 38, 46, 47], which are generalizations of cones to structures that are closed and invariant under scaling by all real numbers. We also consider the strong implications that invariant differential positivity can have for the asymptotic behavior of dynamical systems.
2 Homogeneous spaces
A left action of a Lie group G on a manifold \({\mathcal {M}}\) is a smooth map \(\varPhi :G\times {\mathcal {M}}\rightarrow {\mathcal {M}}\) satisfying \(\varPhi (e,x)=x\) and \(\varPhi (g_1g_2,x)=\varPhi (g_1,\varPhi (g_2,x))\) for all \(g_1,g_2\in G\), \(x\in {\mathcal {M}}\), where e is the identity element in G. Note that for a given \(g\in G\), the map \(x\mapsto \varPhi (g,x)\) is a diffeomorphism of \({\mathcal {M}}\). The group G is referred to as a transformation group of the manifold \({\mathcal {M}}\). We will use \(\varPhi (g,x)\) and \(g\cdot x\) interchangeably in this paper. A homogeneous space is defined as a manifold \({\mathcal {M}}\) on which a Lie group G acts transitively.
Definition 1
A smooth manifold \({\mathcal {M}}\) is said to be a homogeneous space if there exists a Lie group G acting on \({\mathcal {M}}\) such that for all \(x_1,x_2\in {\mathcal {M}}\), there exists \(g\in G\) such that \(g\cdot x_1=x_2\).
Homogeneous spaces are closely connected to coset manifolds. For a given Lie group G and a closed subgroup H, consider the set \(G/H:=\{g H:g\in G\}\) of left cosets of H in G. The set G / H is the set of equivalence classes for the equivalence relation \(\sim \) on G defined by
The set G / H can be made into a manifold in a unique way if we require that the projection map \(\pi :G\rightarrow G/H\), \(\pi (g):=gH\) be a submersion; i.e., if we require that the differential map \(d\pi \vert _g\) is surjective for each \(g\in G\). For each \(a\in G\), define the left translation \(\tau _a:G/H\rightarrow G/H\) by \(\tau _a(gH):=agH\). Note that the left translations \(\tau _g\) are related to the left translations \(L_g\) on the Lie group G by \(\pi \circ L_g=\tau _g\circ \pi \), for each \(g\in G\). The left translations \(\tau _a\) define a transitive action on G / H given by \(\varPhi (a,gH):=\tau _a(gH)=agH\). Thus, all coset manifolds of the form G / H are homogeneous spaces. Indeed, the converse is also true. That is, any homogeneous manifold \({\mathcal {M}}\) with a transitive group action \(G\times {\mathcal {M}}\rightarrow {\mathcal {M}}\) can be expressed as a suitable coset manifold G / H. To see this, we first define the isotropy group \(G_x\) at a point \(x\in {\mathcal {M}}\) to be the set \(G_x:=\{g\in G:g\cdot x =x\}\). That is, the isotropy group \(G_x\) consists of all elements in the transformation group G that keep x fixed. Fix a point \(o\in {\mathcal {M}}\) and note that \(H:=G_o\) forms a closed subgroup of G. The natural map \(\iota :G/H\rightarrow {\mathcal {M}}\) defined by \(\iota (gH)=g\cdot o\) is a diffeomorphism, so that \({\mathcal {M}}\cong G/H\) as smooth manifolds. Furthermore, it can be shown that \(\dim {\mathcal {M}}=\dim G - \dim H\) [8].
2.1 Reductive homogeneous spaces
Let \({\mathcal {M}}=G/H\) be a homogeneous space and consider the natural projection \(\pi :G\rightarrow G/H\), \(\pi (g)=gH\). The differential \(d\pi \vert _e:{\mathfrak {g}}\rightarrow T_{o}(G/H)\), where \(o=\pi (e)=eH\), is given by
for \(X\in {\mathfrak {g}}\). As the map \(d\pi \vert _e:T_eG\rightarrow T_o{\mathcal {M}}\) is a vector space homomorphism, we have \(T_eG/(\ker d\pi \vert _e)\cong \mathrm {im}\,d\pi \vert _e\). It follows from (2) that \(\ker d\pi \vert _e={\mathfrak {h}}\), where \({\mathfrak {h}}\) is the Lie algebra of H. Thus, we have the canonical isomorphism
where \(\mathfrak {g/h}\) is the set of cosets \(X+{\mathfrak {h}}=\{X+Y|Y\in {\mathfrak {h}}\}\) for \(X\in {\mathfrak {g}}\).
Definition 2
A homogeneous space \({\mathcal {M}}=G/H\) is said to be reductive if there exists a subspace \({\mathfrak {m}}\) of \({\mathfrak {g}}\) such that \({\mathfrak {g}}=\mathfrak {h\oplus m}\) and \( \mathrm {Ad}(h){\mathfrak {m}}\subseteq {\mathfrak {m}}\), for all \(h\in H\).
The \(\mathrm {Ad}(H)\)-invariance condition \(\mathrm {Ad}(h){\mathfrak {m}}\subseteq {\mathfrak {m}}\) implies \([{\mathfrak {h}},{\mathfrak {m}}]\subseteq {\mathfrak {m}}\). For a reductive homogeneous space G / H, the canonical isomorphism (3) reduces to \( {\mathfrak {m}}\cong T_o(G/H)\). Note that if the Lie group G is compact, then the homogeneous space \({\mathcal {M}}=G/H\) is reductive since \(\mathfrak {g=h\oplus m}\), where \({\mathfrak {m}}:={\mathfrak {h}}^{\perp }\) with respect to an \(\mathrm {Ad}\)-invariant inner product on \({\mathfrak {g}}\). Moreover, we note that the Killing form \(B:\mathfrak {g\times g}\rightarrow {\mathbb {R}}\), \( B(X,Y)=\mathrm {tr}(\mathrm {ad}X\circ \mathrm {ad}Y) \) of a Lie group G is always an \(\mathrm {Ad}\)-invariant symmetric bilinear form on \({\mathfrak {g}}\). Thus, if G is compact and semisimple so that \(-B\) is positive definite, then the Killing form defines a bi-invariant metric on G given by \(\langle \cdot ,\cdot \rangle =-B(\cdot ,\cdot )\) [8].
2.2 Symmetric spaces
Symmetric spaces constitute an important class of homogeneous spaces that includes many of the spaces that are of interest in applications and discussed in this paper. A connected Riemannian manifold \({\mathcal {M}}\) is said to be a symmetric space if for each \(p\in {\mathcal {M}}\), there exists an isometry \(j_p:{\mathcal {M}}\rightarrow {\mathcal {M}}\), such that
where \(\mathrm {Id}_p\) is the identity map on \(T_p{\mathcal {M}}\). The map \(j_p\) has the property that it “reverses” the geodesics that pass through \(p\in {\mathcal {M}}\), in the sense that if \(\gamma _v:(-\epsilon ,\epsilon )\rightarrow {\mathcal {M}}\) is the unique geodesic through p with \(\gamma _v(0)=p\) and \(\gamma '_v(0)=v\), then \(j_p(\gamma _v(t))=\gamma _v(-t)\). The Euclidean space \({\mathbb {R}}^n\) is clearly symmetric. A less trivial example is the n-sphere \({\mathbb {S}}^n\) embedded in \({\mathbb {R}}^{n+1}\), where the symmetry at the north pole \(p=(1,0,\ldots ,0)\) is given by \(j_p(x_1,x_2,\ldots ,x_{n+1})=(x_1,-x_2,\ldots ,-x_{n+1})\). A symmetric Riemannian manifold \({\mathcal {M}}\) is a homogeneous space G / H, where \(G=I({\mathcal {M}})\) is the isometry group of \({\mathcal {M}}\) acting transitively on \({\mathcal {M}}\) and H is the isotropy subgroup of a point \(o\in {\mathcal {M}}\).
Denote the symmetry of the symmetric space \({\mathcal {M}}=G/H\) at \(o=eH\) by j. Now for each \(g\in G\), define the map \(\sigma (g):{\mathcal {M}}\rightarrow {\mathcal {M}}\) by \(\sigma (g)=j\circ g\circ j\). Since \(\sigma (g)\) is an isometry of \({\mathcal {M}}\), it lies in G and thus we can define an automorphism \(\sigma :G\rightarrow G\) by \(g\mapsto \sigma (g)=j\circ g\circ j^{-1}\) as \(j^2=\mathrm {Id}\). Setting \(G_\sigma =\{g\in G:\sigma (g)=g\}\) to be the fixed points of \(\sigma \) and \(G_{\sigma }^o\) its connected component, one can show that \(\sigma ^2=\mathrm {Id}_G\) and \(G_{\sigma }\) is a closed subgroup of G that satisfies \(G_{\sigma }^o\subseteq H \subseteq G_{\sigma }\). The map \(\sigma \) is sometimes referred to as the involution map associated with the symmetric space G / H. Every symmetric space G / H with involution \(\sigma \) is a reductive homogeneous space with reductive decomposition \({\mathfrak {g}}=\mathfrak {h\oplus m}\), where
and \(\mathrm {Ad}(H){\mathfrak {m}}\subseteq {\mathfrak {m}}\) [8].
3 Invariant cone fields on homogeneous spaces
3.1 Homogeneous cone fields
A wedge is a closed and convex subset of a vector space that is closed under multiplication by nonnegative scalars [25]. A wedge field \(W_{{\mathcal {M}}}\) on a manifold \({\mathcal {M}}\) smoothly assigns to each point \(x\in {\mathcal {M}}\) a wedge \(W_{{\mathcal {M}}}(x)\) in the tangent space \(T_x{\mathcal {M}}\).
Definition 3
Let \(\varPhi :G\times {\mathcal {M}}\rightarrow {\mathcal {M}}\) be any left group action on \({\mathcal {M}}\) such that each of the maps \(\tau _g:{\mathcal {M}}\rightarrow {\mathcal {M}}\) defined by \(\tau _g(x):=\varPhi (g,x)=g\cdot x\) forms a diffeomorphism of \({\mathcal {M}}\). Then a wedge field \(W_{{\mathcal {M}}}\) is said to be G-invariant if
for all \(g\in G\) and \(x\in {\mathcal {M}}\).
We now specialize to the case where the group action is transitive so that \({\mathcal {M}}\) is a homogeneous space. A homogeneous cone field on a homogeneous space \({\mathcal {M}}=G/H\) of a connected Lie group G assigns to each point \(x\in {\mathcal {M}}\) a cone \({\mathcal {K}}_{{\mathcal {M}}}(x)\) in the tangent space \(T_x{\mathcal {M}}\), such that the cone field is invariant under the action of G on \({\mathcal {M}}\). Recall that elements of \({\mathcal {M}}\) can be identified with cosets \(gH:=\{gh:h\in H\}\) in G / H and let \(o:=eH\) denote the base point in \({\mathcal {M}}\). The left translations \(\tau _g:{\mathcal {M}}\rightarrow {\mathcal {M}}\) are defined by \(\tau _g(x)=g\cdot x\) for all \(g\in G\) and \(x\in {\mathcal {M}}\). Let \({\mathfrak {g}}=T_eG\) and \({\mathfrak {h}}=T_eH\) denote the Lie algebras of G and H, respectively. The canonical projection \(\pi :G\rightarrow {\mathcal {M}}\) defined by \(\pi (g)=gH\) induces a linear surjection \(d\pi \vert _e:{\mathfrak {g}}\rightarrow T_o{\mathcal {M}}\) with \(\ker d\pi \vert _e={\mathfrak {h}}\), so that we obtain the isomorphism \(\mathfrak {g/h}\cong T_o{\mathcal {M}}\) given by
Thus, the surjection \(d\pi \vert _e\) is identified with the quotient map \(p:\mathfrak {g\rightarrow g/h}\), where \(p(X)=X+{\mathfrak {h}}\).
Recall that H is the isotropy subgroup of G acting on \({\mathcal {M}}\) at o. That is, for each \(h\in H\), we have \(\tau _h(o)=o\). Thus, we obtain a vector space isomorphism \(d\tau _h\vert _o:T_o{\mathcal {M}}\rightarrow T_o{\mathcal {M}}\) and a representation \(\eta :H\rightarrow \mathrm {Aut}\left( T_o{\mathcal {M}}\right) \) of H given by \( \eta (h)=d\tau _h\big \vert _o\). Under the identification of \(T_o{\mathcal {M}}\) with \(\mathfrak {g/h}\), we have:
for all \(h\in H\) and \(X\in {\mathfrak {g}}\).
If we seek to describe invariant cone fields on \({\mathcal {M}}=G/H\) in terms of wedges defined in the Lie algebra \({\mathfrak {g}}\) of the total space G, then there are some consistency requirements that must be satisfied. In particular, any cone \({\mathcal {K}}\) in \(T_o{\mathcal {M}}=\mathfrak {g/h}\) arising as the projection of a wedge W in \({\mathfrak {g}}\) must be invariant under the group \(\eta (H)\), since otherwise we would have different cones at o depending on the choice of representative \(h\in H\) in \(o=eH=\pi (h)\).
Lemma 1
Let H be a closed subgroup of G and W a wedge in \({\mathfrak {g}}\) with edge \(W\cap -W={\mathfrak {h}}\). If
then the associated pointed cone \({\mathcal {K}}=p(W)\) in \(T_o{\mathcal {M}}=\mathfrak {g/h}\) is invariant under the group \(\eta (H)\).
Note that for a cone \({\mathcal {K}}\) in \(T_o{\mathcal {M}}\) that is invariant under \(\eta (H)\), the G-invariant cone field \({\mathcal {K}}_{{\mathcal {M}}}\) given by
is well defined. That is, for all \(g,g'\in G\) corresponding to the same point \(x\in {\mathcal {M}}\) (i.e., for all \(g,g'\in G\) satisfying \(\pi (g)=\pi (g')\)), we have
To see this, note that \(\pi (g)=\pi (g')\) precisely if there exists \(h\in H\) such that \(g'=gh\). Thus, we have \( d\tau _{g'}\vert _o=d\tau _g\vert _o\circ d\tau _h\vert _o=d\tau _g\vert _o\circ \eta (h)\), whence the result follows from the \(\eta (H)\)-invariance of \({\mathcal {K}}\). The following theorem from [25] describes the geometry of homogeneous cone fields on \({\mathcal {M}}=G/H\). See Fig. 1.
Theorem 1
Let H be a closed subgroup of a Lie group G and W a wedge in \({\mathfrak {g}}\) such that (i) \(W\cap -W={\mathfrak {h}}\), and (ii) \(\mathrm {Ad}(H)(W)=W\). Define \(W_{G}\) and \({\mathcal {K}}_{{\mathcal {M}}}\) by
where \({\mathcal {M}}:=G/H\), e is the identity element in G, \(o=eH\) is the base point in \({\mathcal {M}}\), and \({\mathcal {K}}\) is the pointed cone in \(T_o{\mathcal {M}}\) obtained as the projection of W onto \(\mathfrak {g/h}\). Then, \({\mathcal {K}}_G\) is an invariant wedge field on G and \({\mathcal {K}}_{{\mathcal {M}}}\) is a well-defined homogeneous or G-invariant cone field on \({\mathcal {M}}\). Moreover, for each \(g\in G\),
where \(\pi :G\rightarrow {\mathcal {M}}\) is the canonical projection \(\pi (g)=gH\).
3.2 Examples
3.2.1 Lie groups
Any Lie group G is itself a homogeneous space in at least two ways. First, it can be expressed as \(G\cong G/\{e\}\). Alternatively, one can write \(G\cong G\times G/G\), where \(G\times G\) acts on G by left and right translations and the isotropy subgroup is G diagonally embedded in \(G\times G\). Invariant cone fields can be defined on a Lie group as a homogeneous space using left translation. Given a cone \({\mathcal {K}}\) in \({\mathfrak {g}}\), the corresponding left-invariant cone field \({\mathcal {K}}_G\) is given by
for all \(g \in G\).
3.2.2 The quotient of the Heisenberg group by its center, G / Z(G)
The Heisenberg group G is a Lie group that arises in various fields including representation theory, sub-Riemannian geometry, and quantum mechanics. It can be defined as the group of \(3\times 3\) upper triangular matrices with diagonal elements equal to 1 and group operation given by matrix multiplication. The Lie algebra \({\mathfrak {g}}\) can be represented as the set of strictly upper triangular \(3\times 3\) matrices. That is,
The center Z(G) of G is defined as the set \(Z(G)=\{z\in G: zg=gz, \; \forall g\in G\}\) and forms a subgroup H of G with Lie algebra \({\mathfrak {h}}\) given by
The quotient manifold G / H defines a homogeneous space of dimension 2. To construct an invariant cone field on G / H, we first look for a wedge W in \({\mathfrak {g}}\) that satisfies condition (i) of Theorem 1; i.e., \(W\cap -W={\mathfrak {h}}\). This is achieved precisely if W is of the form
where \({\mathcal {K}}\) is any pointed convex solid cone in \({\mathbb {R}}^2\). For condition (ii) of Theorem 1, we consider \({\text {Ad}}(H)W\). Now since
for all \(c\in {\mathbb {R}}\) and \((\alpha ,\beta ,\gamma )\in {\mathbb {R}}^3\), \({\text {Ad}}(H)(W)=W\) trivially holds for any wedge W in \({\mathfrak {g}}\). Therefore, any wedge W of the form (17) uniquely defines an invariant cone field \({\mathcal {K}}_{{\mathcal {M}}}\) on \({\mathcal {M}}=G/H\).
3.2.3 The n-spheres and Grassmannians
The n-sphere \({\mathbb {S}}^n\) can be viewed as a homogeneous space with a transitive \(SO(n+1)\) action, since any two points on \({\mathbb {S}}^n\) embedded in \({\mathbb {R}}^{n+1}\) are related by a rotation. We fix the point \(o=(1,0,\ldots ,0)\in {\mathbb {S}}^n\) and note that the isotropy subgroup of o can be identified with SO(n) since it consists of matrices in \(SO(n+1)\) of the form
were \(R\in SO(n)\). Therefore, we can write \({\mathbb {S}}^n=SO(n+1)/SO(n)\). It is not possible to define homogeneous cone fields on every n-sphere. A direct way of proving this is to note that for all even-dimensional spheres \({\mathbb {S}}^{2m}\), \(m\in {\mathbb {N}}\) no global cone fields exist. This is a clear consequence of the Poincare–Brouwer theorem of algebraic topology, also known as the so-called hairy ball theorem, that the even-dimensional spheres do not admit any globally defined continuous and non-vanishing vector fields. Since a globally defined cone field on a manifold can be used to construct a continuous non-vanishing vector field by a continuous deformation of the cone field to a field of rays, the Poincare–Brouwer theorem implies the non-existence of global cone fields on \({\mathbb {S}}^{2m}\).
The set of all p-dimensional subspaces of \({\mathbb {R}}^n\) is called the Grassmannian of dimension p in \({\mathbb {R}}^n\) and is denoted by \(\mathrm {Gr}(p,n)\) [1, 31]. Grassmannians naturally arise in many applications including as parameter spaces in model estimation problems [53] and in computer vision applications including affine-invariant shape analysis, image matching, and learning theory [20, 54]. The set \(\mathrm {Gr}(p,n)\) can be endowed with a natural differentiable structure that turns it into a compact manifold of dimension \(p(n-p)\). The Grassmann manifold \(\mathrm {Gr}(p,n)\) is a homogeneous space with a natural transitive O(n) action [9, 12]:
The Killing form \(B:\mathfrak {g\times g}\rightarrow {\mathbb {R}}\) is non-degenerate for \({\mathfrak {g}}=\mathfrak {so}(n)\). Thus, \(\mathrm {Gr}(p,n)=G/H=O(n)/\left( O(p)\times O(n-p)\right) \) is a reductive homogeneous space with reductive decomposition \({\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}\), where
and \({\mathfrak {m}}={\mathfrak {h}}^{\perp }\) with respect to the Killing form B of \(\mathfrak {so}(n)\). That is,
As in the case of the n-spheres, the Poincare–Hopf theorem can be used to rule out the existence of homogeneous cone fields for most Grassmannians. Indeed, it can be shown using Schubert calculus [28] that unless p is odd and n is even, the real Grassmannian \({\text {Gr}}(p,n)\) has a nonzero Euler characteristic and hence does not admit a continuous globally defined cone field as a corollary of the Poincare–Hopf theorem. In particular, \({\text {Gr}}(p,n)\) does not in general admit a homogeneous cone field.
3.2.4 The space of positive definite matrices \(S^+_n\)
The space of positive definite matrices \(S^+_n\) of dimension n arises in many applications in information geometry and computational science. It is well known that \(S^+_n\) is a homogeneous space with a transitive GL(n)-action given by congruence transformations of the form
The isotropy group of this action at \(\varSigma = I\) is precisely O(n), since \(\tau _Q: I \mapsto QIQ^\mathrm{T}=I\) if and only if \(Q\in O(n)\). Thus, we can identify any \(\varSigma \in S^+_n\) with an element of the quotient space GL(n) / O(n). That is
The Lie algebra \(\mathfrak {gl}(n)\) of GL(n) consists of the set \({\mathbb {R}}^{n\times n}\) of all real \(n\times n\) matrices equipped with the Lie bracket \([X,Y]=XY-YX\), while the Lie algebra of O(n) is \({\mathfrak {o}}(n)=\{X\in {\mathbb {R}}^{n\times n}: X^\mathrm{T}=-X\}\). Since any matrix \(X\in {\mathbb {R}}^{n\times n}\) has a unique decomposition \( X=\frac{1}{2}(X-X^\mathrm{T}) + \frac{1}{2}(X+X^\mathrm{T})\), as a sum of an antisymmetric part and a symmetric part, we have \(\mathfrak {gl}(n)={\mathfrak {o}}(n)\oplus {\mathfrak {m}}\), where \({\mathfrak {m}}=\{X\in {\mathbb {R}}^{n\times n}: X^\mathrm{T}=X\}\). Furthermore, since \({\text {Ad}}_Q(S)=QSQ^{-1}=QSQ^\mathrm{T}\) is a symmetric matrix for each \(S\in {\mathfrak {m}}\), we have \( {\text {Ad}}_{O(n)}({\mathfrak {m}})=\{QSQ^{-1}:Q\in O(n), \ S\in {\mathfrak {m}}\}\subseteq {\mathfrak {m}}\). Hence, \(S^+_n=GL(n)/O(n)\) is in fact a reductive homogeneous space with reductive decomposition \(\mathfrak {gl}(n)={\mathfrak {o}}(n)\oplus {\mathfrak {m}}\). The tangent space \(T_oS^+_n\) of \(S^+_n\) at the base point \(o=[I]=I\cdot O(n)\) is identified with \({\mathfrak {m}}\). For each \(\varSigma \in S^+_n\), the action \(\tau _{\varSigma ^{1/2}}:S^+_n\rightarrow S^+_n\) induces the vector space isomorphism \(d\tau _{\varSigma ^{1/2}}\vert _I: T_I S^+_n \rightarrow T_{\varSigma } S^+_n\) given by \(d\tau _{\varSigma ^{1/2}}\vert _I X = \varSigma ^{1/2}X\varSigma ^{1/2}\) for each \(X\in {\mathfrak {m}}\), where \(\varSigma ^{1/2}\) is the unique positive definite square root of \(\varSigma \).
A cone field \({\mathcal {K}}\) on \(S^+_n\) is affine-invariant or homogeneous with respect to the quotient geometry \(S^+_n\cong GL(n)/O(n)\) if
for all \(\varSigma _1,\varSigma _2\in S^+_n\). To generate such a cone field, we require a cone \({\mathcal {K}}(I)\subset {\mathfrak {m}}\) at identity that is \({\text {Ad}}_{O(n)}\)-invariant:
Using such a cone, we uniquely generate a homogeneous cone field via
The \({\text {Ad}}_{O(n)}\)-invariance condition (26) is satisfied if \({\mathcal {K}}(I)\) has a spectral characterization. That is, the characterization of \(X\in {\mathcal {K}}(I)\) must only depend on the spectrum of X. For instance, \({\text {tr}}(X)\) and \({\text {tr}}(X^2)\) are spectral quantities because \({\text {tr}}(X)\) is the sum of the eigenvalues of X and \({\text {tr}}(X^2)\) is the sum of the squares of the eigenvalues of X. Therefore, these quantities are \({\text {Ad}}_{O(n)}\)-invariant. The following result gives a family of quadratic \({\text {Ad}}_{O(n)}\)-invariant cones in \({\mathfrak {m}}\), each of which generates a distinct homogeneous cone field on \(S^+_n\) [37].
Proposition 1
For any choice of parameter \(\mu \in (0,n)\), the set
defines an \({\text {Ad}}_{O(n)}\)-invariant cone in \(T_{I}S^+_n=\{X\in {\mathbb {R}}^{n\times n}: X^\mathrm{T}=X\}\).
The parameter \(\mu \) controls the opening angle of the cone. If \(\mu = 0\), then (28) defines the half-space \({\text {tr}}(X)\ge 0\). As \(\mu \) increases, the opening angle of the cone becomes smaller and for \(\mu = n\) (28) collapses to a ray. Now for any fixed \(\mu \in (0,n)\), we obtain a unique well-defined affine-invariant cone field given by
Of course, not all \({\text {Ad}}_{O(n)}\)-invariant cones at I are quadratic. In particular, the cone of positive semidefinite matrices in \(T_{I}S^+_n\) with spectral characterization \({\mathcal {K}}(I) = \{X\in T_I S^+_n: \lambda _i(X)\ge 0, \; i = 1, \ldots , n\}\) is also \({\text {Ad}}_{O(n)}\)-invariant. The homogeneous cone field generated by this cone at I induces the well-known Löwner order on \(S^+_n\) [10, 32].
4 Geodesics as conal curves
A cone field \({\mathcal {K}}_{{\mathcal {M}}}\) on a manifold \({{\mathcal {M}}}\) gives rise to a conal order \(\prec \) on \({\mathcal {M}}\). A continuous piecewise smooth curve \(\gamma :[t_0,t_1]\rightarrow {\mathcal {M}}\) is called a conal curve if
whenever the derivative exists. For points \(a,b\in {\mathcal {M}}\), we write \(a\prec b\) if there exists a conal curve \(\gamma :[0,1]\rightarrow {\mathcal {M}}\) with \(\gamma (0)=a\) and \(\gamma (1)=b\). If the conal order is also antisymmetric, then it is a partial order. For \(x\in {\mathcal {M}}\), we define the forward set \(\uparrow x=\{z\in {\mathcal {M}}:x\prec z\}\) and the backward set \(\downarrow x=\{z\in {\mathcal {M}}:z\prec x\}\). In the language of geometric control theory, the forward set of x is called the reachable set from x and the backward set of x is the set controllable to x. The closure \(\le _{{\mathcal {K}}}\) of this order is again an order and satisfies \(x\le _{{\mathcal {K}}} y\) if and only if \(y\in \overline{\{z:x\prec _{{\mathcal {K}}} z\}}\). We say that \({\mathcal {M}}\) is globally orderable if \(\le _{{\mathcal {K}}}\) is a partial order.
The conal order induced by a generic cone field on a path connected manifold is generally highly nontrivial. For instance, given a pair of points \(a,b\in {\mathcal {M}}\), the question of whether a and b are ordered or not is not at all straightforward to answer, since to rule out the existence of an order relation one has to demonstrate that none of an infinite collection of continuous piecewise smooth curves connecting the pair a, b is a conal curve. In this section, we discuss the significant role that geodesics play as conal curves on globally orderable Riemannian homogeneous spaces with respect to homogeneous cone fields, thereby reducing the search for an order relation between any two points a, b to a single statement on the pair of points. Thus, the use of invariant metric and conal structures on a globally orderable homogeneous space induces an order that is ‘tractable’ in the sense that we can check to see whether two points are ordered by checking a single condition.
First note that if G is a Lie group with a bi-invariant Riemannian metric, then the geodesics in G through the identity element e are precisely the one-parameter subgroups of G; i.e., curves \(\gamma \) of the form \(\gamma (t)=\exp t X\), where \(X\in {\mathfrak {g}}\). That is, the Lie group exponential map coincides with the Riemannian exponential map in such cases. Geodesics through a point \(a\in G\) have the form \(\gamma (t)=a\cdot \exp (t \, a^{-1}\cdot X)\), where \(X\in T_a G\). Now if G is equipped with a left-invariant cone field \({\mathcal {K}}(g)=dL_{g}\vert _e{\mathcal {K}}(e)\), then the geodesic \(\gamma (t)=a\cdot \exp (t \, a^{-1}\cdot X)\) through a in the direction of X is a conal curve if and only if \(X\in {\mathcal {K}}(a)\), since
A similar result can be established on homogeneous spaces that are geodesic orbit (g.o.) spaces. A Riemannian manifold \({\mathcal {M}}=G/H\) is said to be a g.o. space if every geodesic in \({\mathcal {M}}\) is the orbit of a one-parameter subgroup of G. To show that \({\mathcal {M}}=G/H\) equipped with a homogeneous Riemannian metric is a g.o. space, it is sufficient to show that all geodesics through a single point are orbits of one-parameter subgroups by homogeneity. A Riemannian reductive homogeneous space G / H with reductive decomposition \({\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}\) is said to be naturally reductive if \(\langle [X,Y]_{{\mathfrak {m}}},Z\rangle + \langle [X,Z]_{{\mathfrak {m}}},Y\rangle =0\) for all \(X,Y,Z\in {\mathfrak {m}}\). If \({\mathcal {M}}=G/H\) is a naturally reductive homogeneous space, then the geodesics of \({\mathcal {M}}\) through the point \(o=eH\) are precisely of the form
Furthermore, all symmetric spaces are naturally reductive and thus g.o spaces [8].
Proposition 2
Let \({\mathcal {M}}=G/H\) be a naturally reductive homogeneous space with reductive decomposition \({\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}\) that is endowed with a homogeneous Riemannian metric. If \({\mathcal {K}}\) is a homogeneous cone field on \({\mathcal {M}}\), then a geodesic \(\gamma =\gamma (t)\) through a point \(p\in {\mathcal {M}}\) is a conal curve if and only if \(\gamma '(0)\in {\mathcal {K}}(p)\).
Proof
By homogeneity, it is sufficient to consider geodesics through the base point \(o\in {\mathcal {M}}\), which are of the form \(\gamma (t)=\exp (tX)\cdot o\), \(X\in {\mathfrak {m}}\). Let \(\tau _g:{\mathcal {M}}\rightarrow {\mathcal {M}}\) be the map \(\tau _g(x)=g\cdot x\) for \(g\in G\). We have
as \({\mathcal {K}}\) is homogeneous. That is, \(\gamma \) is a conal curve if and only if its initial tangent vector lies in the cone at o. See Fig. 2. \(\square \)
We now consider the question of whether two given points a, b on a homogeneous space \({\mathcal {M}}=G/H\) equipped with a homogeneous cone field \({\mathcal {K}}\) are ordered. We first treat the example of \({\mathbb {R}}^n\) endowed with the Euclidean metric and a constant cone field, i.e., invariant with respect to translations. Given \(a,b\in {\mathbb {R}}^n\), we write \(a\prec b\) if there exists a curve \(\gamma :[0,1]\rightarrow {\mathbb {R}}^n\) such that \(\gamma (0)=a\), \(\gamma (1)=b\), and \(\gamma '(t)\in {\mathcal {K}}\), for all \(t\in [0,1]\). Since \({\mathcal {K}}\) is closed and convex, we have
as the integral can be thought of as the limit of a Riemann sum. But, of course, the integral is simply \(\gamma (1)-\gamma (0)=b-a\). Thus, to check whether a and b are ordered with respect to a constant cone field, it is sufficient to check \(b-a\in {\mathcal {K}}\); i.e., \(a\prec b\) if and only if the straight line from a to b is a conal curve. See Fig. 3.
Now suppose that \({\mathcal {M}}=G/H\) is a reductive homogeneous space with a global order induced by a homogeneous cone field \({\mathcal {K}}\). The following theorem is derived from [41].
Theorem 2
Let \({\mathcal {K}}\) be a homogeneous cone field on G / H arising as the projection of the left-invariant wedge field on G generated by a wedge W as described in Theorem 1. If \(S=\overline{\langle \exp W\rangle H}\subseteq G\), then \(S=\pi ^{-1}\left( \{x\in {\mathcal {M}}:o\le _{{\mathcal {K}}} x\}\right) \) and G / H is globally orderable with respect to \({\mathcal {K}}\) if and only if \(W={\varvec{L}}(S)\), where
It follows from the above result that any element of the set \(\pi ^{-1}(\uparrow o)\) in G can be reached as the image of a vector Z in the wedge W under the exponential map. This observation can in turn be used to prove the following result. For simplicity, the theorem is formulated with respect to symmetric spaces, which include all of the examples considered in this paper.
Theorem 3
Let \({\mathcal {M}}=G/H\) be a globally orderable symmetric space with a homogeneous Riemannian metric and homogeneous cone field \({\mathcal {K}}\). We have \(x_1\le _{{\mathcal {K}}} x_2\) if and only if the geodesic from \(x_1\) to \(x_2\) is a conal curve.
Proof
By homogeneity, it is sufficient to consider the case where \(x_1=o\) and \(x_2=x\). We define a wedge W in \({\mathfrak {g}}\) by \( W:=\{Y+X: X\in {\mathcal {K}}(o), Y\in {\mathfrak {h}}\}\subset {\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}, \) where \({\mathcal {K}}(o)\subset {\mathfrak {m}}\). Note that W satisfies the relevant properties in Theorem 1 by construction. If \(o\le _{{\mathcal {K}}} x\), it follows from Theorem 2 that there exists \(Z\in W\) such that
By Lawson’s polar decomposition theorem [30], any element \(g=\exp Z\) of the semigroup S admits a unique decomposition as \(g=(\exp X)h\) with \(X\in W\cap {\mathfrak {m}}={\mathcal {K}}(o)\) and \(h\in H\). Thus, we have
since \(h\cdot o = o\) for any \(h\in H\). Thus, it follows that \(\gamma (t)=\exp (tX) \cdot o\) is a conal curve. Since all symmetric spaces are g.o. spaces, \(\gamma \) is precisely the Riemannian geodesic from o to x. \(\square \)
Corollary 1
Let \({\mathcal {M}}\) be a globally orderable symmetric space with metric and conal structures as in Theorem 3. A map \(F:{\mathcal {M}}\rightarrow {\mathcal {M}}\) is monotone if and only if the geodesic from \(F(x_1)\) to \(F(x_2)\) is conal whenever the geodesic from \(x_1\) to \(x_2\) is conal.
4.1 Example: affine-invariant orders on \(S^+_n\)
Recall from Sect. 3.2 that \(S^+_n\) is a homogeneous space with quotient manifold structure GL(n) / O(n). The exponential map \(\exp : {\mathfrak {m}}\rightarrow S^+_n\) given by the usual matrix power series is a surjective map from the space of \(n\times n\) symmetric matrices \({\mathfrak {m}}\) onto \(S^+_n\). Here \({\mathfrak {m}}\) is identified with the tangent space of \(S^+_n\) at the identity I. Thus, the logarithm map \(\log :S^+_n\rightarrow {\mathfrak {m}}\) is well defined on all of \(S^+_n\). It is well known that \(S^+_n\) can be equipped with a standard affine-invariant Riemannian metric \(\langle \cdot , \cdot \rangle _{\varSigma }\) given by \(\langle X, Y \rangle _{\varSigma }= {\text {tr}}\left( \varSigma ^{-1}X\varSigma ^{-1}Y\right) \) for \(\varSigma \in S^+_n\), \(X,Y\in T_{\varSigma }S^+_n\), which turns \(S^+_n=GL(n)/O(n)\) into a non-compact Riemannian homogeneous space with negative curvature [29]. The Riemannian distance between any two points \(\varSigma _1,\varSigma _2\in S^+_n\) is given by
where \(\lambda _i(\varSigma _1^{-1}\varSigma _2)\), \((i=1, \ldots , n)\) denote the n real and positive eigenvalues of \(\varSigma ^{-1}_1\varSigma _2\). It follows from (38) that \(d(\varSigma ^{-1}_1,\varSigma ^{-1}_2)=d(\varSigma _1,\varSigma _2)\). Thus, the inversion \(\varSigma \mapsto \varSigma ^{-1}\) provides an involutive isometry on \(S^+_n\), which shows that \(S^+_n\) is a Riemannian symmetric space and hence a g.o. space. Therefore, given \(\varSigma \in S^+_n\), there exists a unique \(X=\log \varSigma \in {\mathfrak {m}}\), and the geodesic from I to \(\varSigma \) is given by \(\gamma (t)=\exp (tX)\). Note that the domain of the injective curve \(\gamma \) can be extended to all of \({\mathbb {R}}\).
In addition to the affine-invariant geometry of \(S^+_n\), there is a natural ‘flat’ or translational geometry of \(S^+_n\) viewed as a cone embedded in the flat space of \(n\times n\) symmetric matrices \({\text {Sym}}_n\). The Löwner order \(\ge _{L}\) can be defined on \({\text {Sym}}_n\) by
where \(A-B \ge _{L} O\) means that \(A-B\) is positive semidefinite. The restriction of (39) to \(S^+_n\) defines a partial order on \(S^+_n\) that coincides with the order induced on \(S^+_n\cong GL(n)/O(n)\) by the homogeneous cone field generated by the cone of positive semidefinite matrices in \({\mathfrak {m}}\cong T_{I}S^+_n\). That is, in the special case where the cone \({\mathcal {K}}(I)\) at identity is itself the cone of positive semidefinite matrices, the translation-invariant and affine-invariant cone fields generated by \({\mathcal {K}}(I)\) agree on \(S^+_n\). This is generally not the case for other choices of \({\mathcal {K}}(I)\), as shown in [37].
Now let \({\mathcal {K}}\) be an affine-invariant cone field on \(S^+_n\). Such a cone field induces a global partial order on \(S^+_n\) [39]. Given \(\varSigma \in S^+_n\), Theorem 3 implies that \(I \le _{{\mathcal {K}}} \varSigma \) if and only if the geodesic \(\gamma (t)=\exp (t\log \varSigma )\) from I to \(\varSigma \) is a conal curve; i.e., precisely if \(\log \varSigma \in {\mathcal {K}}(I)\). By homogeneity, it follows that \(\varSigma _1\le _{{\mathcal {K}}}\varSigma _2\) if and only if \(\log (\varSigma _1^{-1/2}\varSigma _2\varSigma _1^{-1/2})\in {\mathcal {K}}(I)\). If \({\mathcal {K}}\) is the cone field corresponding to the Löwner order, then \(\varSigma _1\le _{{\mathcal {K}}}\varSigma _2\) if and only if \(\log (\varSigma _1^{-1/2}\varSigma _2\varSigma _1^{-1/2})\ge _{L} O\). If \({\mathcal {K}}\) is any of the quadratic affine-invariant cone fields in (29), then \(\varSigma _1\le _{{\mathcal {K}}}\varSigma _2\) if and only if
which is equivalent to
where \(\lambda _i=\lambda (\varSigma _1^{-1/2}\varSigma _2\varSigma _1^{-1/2})=\lambda _i(\varSigma _2\varSigma _1^{-1})\) \((i=1,...,n)\) denote the n real and positive eigenvalues of \(\varSigma _2\varSigma _1^{-1}\). Thus, the use of invariant causal structures has enabled us to answer the question of whether a pair of positive definite matrices \(\varSigma _1\) and \(\varSigma _2\) are ordered by checking a pair of inequalities involving the spectrum of \(\varSigma _2\varSigma _1^{-1}\).
5 Invariant differential positivity
5.1 Cone fields of rank k
A closed set \({\mathcal {C}}\) in a vector space \({\mathcal {V}}\) is said to be a cone of rank k if (i) for any \(\lambda \in {\mathbb {R}}\), \(\lambda \cdot {\mathcal {C}}={\mathcal {C}}\), and (ii) the maximum dimension of any subspace of \({\mathcal {V}}\) contained in \({\mathcal {C}}\) is k. Note that if \({\mathcal {K}}\) is a pointed convex cone, \({\mathcal {C}}={\mathcal {K}}\cup -{\mathcal {K}}\) is a cone of rank 1 according to the stated definition. A polyhedral cone of rank k is of the form \({\mathcal {C}}=\tilde{{\mathcal {K}}}\cup -\tilde{{\mathcal {K}}}\), where \(\tilde{{\mathcal {K}}}\) is given as the intersection of a collection of half-spaces. A second class of cones of rank k can be defined using quadratic forms. If P is a symmetric \(n\times n\) matrix with k positive eigenvalues and \(n-k\) negative eigenvalues, then the set \( {\mathcal {C}}=\{x\in {\mathcal {V}}:\langle x,Px\rangle \ge 0\}\) defines a cone of rank k. Note that the closure of the complement of a quadratic cone of rank k in \({\mathbb {R}}^n\) is a quadratic cone of rank \(n-k\). See Fig. 4 for an illustration of polyhedral and quadratic cones of rank 2 in three dimensions.
We can define homogeneous cone fields of rank k on a homogeneous space \({\mathcal {M}}=G/H\) in an analogous way to pointed and convex homogeneous cone fields. That is, a cone field \({\mathcal {C}}\) of rank k is homogeneous if it satisfies
for all \(x,y\in {\mathcal {M}}\) and \(g\in G\) such that \(y=g\cdot x\). Given a cone \({\mathcal {C}}(o)\subset T_o{\mathcal {M}}\) at the base point \(o=eH\), we can extend \({\mathcal {C}}(o)\) to a unique homogeneous cone field on \({\mathcal {M}}\) if and only if \({\mathcal {C}}(o)\) is \({\text {Ad}}_{H}\)-invariant: \({\text {Ad}}(H){\mathcal {C}}(o)={\mathcal {C}}(o)\). Given a homogeneous cone field \({\mathcal {C}}\) of rank k on \({\mathcal {M}}\), we say that \(x_1\) and \(x_2\) are related via the cone field and write \(x_1\sim x_2\) if there exists a curve \(\gamma :[0,1]\rightarrow {\mathcal {M}}\) such that \(\gamma (0)=x_1\), \(\gamma (1)=x_2\) and \(\gamma '(t)\in {\mathcal {C}}(\gamma (t))\).
5.2 Monotonicity
A linear map \(T:{\mathcal {V}}\rightarrow {\mathcal {V}}\) on a vector space \({\mathcal {V}}\) is positive with respect to a cone \({\mathcal {C}}\) of any rank k if \(T({\mathcal {C}})\subseteq {\mathcal {C}}\). Strict positivity is characterized by \(T({\mathcal {C}})\subset {\text {int}} {\mathcal {C}}\). A smooth map \(F:{\mathcal {M}}\rightarrow {\mathcal {M}}\) is said to be differentially positive with respect to a cone field \({\mathcal {C}}={\mathcal {C}}(x)\) on \({\mathcal {M}}\) if \(dF\vert _{x}{\mathcal {C}}(x)\subseteq {\mathcal {C}}(F(x))\) for every \(x\in {\mathcal {M}}\) [17]. Invariant differential positivity refers to differential positivity with respect to a homogeneous or invariant cone field on a homogeneous space \({\mathcal {M}}=G/H\). Since a homogeneous cone field \({\mathcal {C}}\) satisfies \({\mathcal {C}}(g\cdot x)=d\tau _{g}\vert _x{\mathcal {C}}(x)\), where \(\tau _g(x)=g\cdot x\) is the left action of \(g\in G\) on \(x\in {\mathcal {M}}\), invariant differential positivity of F reduces to
for any \(g_1\in \pi ^{-1}(x)\) and \(g_2\in \pi ^{-1}(F(x))\), where \(\pi :G\rightarrow {\mathcal {M}}\) denotes the natural projection map. Note that (43) is a condition that is formulated in reference to a single cone \({\mathcal {C}}(o)\subset T_o{\mathcal {M}}\). A continuous-time dynamical system with semiflow \(\psi =\psi (t,x)\) is differentially positive if the flow map \(\psi _t:{\mathcal {M}}\rightarrow {\mathcal {M}}\), \(\psi _t(x)=\psi (t,x)\) is differentially positive for any choice of \(t>0\). Notions of strict differential positivity and uniform strict differential positivity are defined in a natural way. In particular, uniform strict differential positivity is characterized by a cone contraction measure that is bounded below by some nonzero factor over a uniform time horizon [40].
Invariant differential positivity with respect to a pointed convex cone field can be thought of as a generalization of monotonicity. Recall that a system is monotone if it preserves a partial order. Monotonicity in a vector space with respect to a constant cone field is equivalent to differential positivity with respect to the same cone field. Similarly, if a homogeneous cone field on a homogeneous space defines a global partial order, then a map on this space is monotone if and only if it is differentially positive with respect to the same conal structure. To see this, note that a smooth map \(F:{\mathcal {M}}\rightarrow {\mathcal {M}}\) is monotone with respect to a partial order \(\ge \) on \({\mathcal {M}}\) if \(F(x_1)\ge F(x_2)\) whenever \(x_1\ge x_2\). Let \(\ge _{{\mathcal {K}}}\) denote the partial order induced by a homogeneous cone field \({\mathcal {K}}\) on \({\mathcal {M}}\). If \(x_1\ge _{{\mathcal {K}}}x_2\), then there exists a conal curve \(\gamma :[0,1]\rightarrow {\mathcal {M}}\) such that \(\gamma (0)=x_ 1\), \(\gamma (1)=x_2\) and \(\gamma '(t)\in {\mathcal {K}}(\gamma (t))\) for all \(t\in (0,1)\). Now \(F\circ \gamma : [0,1]\rightarrow {\mathcal {M}}\) is a curve in \({\mathcal {M}}\) with \((F\circ \gamma ) (0)=F(x_1)\), \((F\circ \gamma )(1)=F(x_2)\), and \( (F\circ \gamma )'(t)=dF\vert _{\gamma (t)}\gamma '(t)\). Thus, \(F\circ \gamma \) is a conal curve joining \(F(x_1)\) to \(F(x_2)\) if and only if \(dF\vert _{\gamma (t)}{\mathcal {K}}(\gamma (t))\subseteq {\mathcal {K}}(F(\gamma (t))\); i.e., F is differentially positive with respect to \({\mathcal {K}}\) as expected. If an invariant cone field on a homogeneous space does not induce a partial order due to a failure of the antisymmetry condition arising from topological constraints, then monotonicity is not defined as it relies on the existence of a partial order. Nonetheless, invariant differential positivity provides the natural extension of the concept of monotonicity in this setting.
5.2.1 Example: Order-preserving maps on \(S^+_n\)
Invariant differential positivity can be a powerful tool for establishing monotonicity when the cone field characterization of a partial order is available. It can also be a particularly effective tool in proving monotonicity with respect to a family of partial orders corresponding to a collection of causal structures. A fundamental result in operator theory is the Löwner–Heinz theorem [10, 32], which states that the map \(\varSigma \mapsto \varSigma ^r\) on \(S^+_n\) \((n\ge 2)\) is monotone with respect to the Löwner order if and only if \(r\in [0,1]\). The following theorem provides an extension of this important result to an infinite collection of affine-invariant causal structures on \(S^+_n\), thereby highlighting the intimate connection of the Löwner–Heinz theorem to the affine-invariant geometry of \(S^+_n\). The proof is based on differential positivity and can be found in [39].
Theorem 4
Let \(\ge _{{\mathcal {K}}}\) denote the partial order induced by any quadratic affine-invariant cone field \({\mathcal {K}}\) on \(S^+_n\). If \(\varSigma _1\ge _{{\mathcal {K}}} \varSigma _2\) in \(S^+_n\) and \(r\in [0,1]\), then
Furthermore, if \(n\ge 2\) and \(r>1\), then the map \(\varSigma \mapsto \varSigma ^r\) is not monotone with respect to \(\ge _{{\mathcal {K}}}\).
5.3 Strict positivity
In linear positivity theory, strict positivity of a system with respect to a cone of rank k implies the existence of a dominant eigenspace of dimension k, which is an attractor for the system [19]. In the differential theory, the notion of a dominant eigenspace is replaced with that of a forward-invariant distribution \({\mathcal {D}}\) of rank k corresponding to the dominant modes of the linearized system [18, 38]. It is this distribution that shapes the asymptotic behavior of the dynamics. In particular, if \({\mathcal {D}}\) is involutive in the sense that for any pair of smooth vector fields X, Y defined near \(x\in {\mathcal {M}}\), \(X(x), Y(x)\in {\mathcal {D}}_x\subset T_x{\mathcal {M}}\Rightarrow [X,Y](x)\in {\mathcal {D}}_x\), then an integral manifold of \({\mathcal {D}}\) is an attractor of the system under suitable technical conditions.
Theorem 5
Let \(\varSigma \) be a uniformly strictly differentially positive system with respect to an invariant cone field \({\mathcal {C}}\) of rank k on a homogeneous Riemannian manifold \({\mathcal {M}}\) in a bounded, connected and forward-invariant region \(S\subseteq {\mathcal {M}}\). If the forward-invariant distribution of rank k corresponding to the k dominant modes of linearizations of \(\varSigma \) is involutive and satisfies
for all \(w\in {\mathcal {D}}_x\), then there exists a unique integral manifold of \({\mathcal {D}}\) that is an attractor for all the trajectories from S.
Proof
The strict differential positivity of \(\varSigma \) with respect to \({\mathcal {C}}\) on a bounded forward-invariant region determines a splitting \(T_x{\mathcal {M}}={\mathcal {D}}_x\oplus {\mathcal {D}}'_x\), where \({\mathcal {D}}_x\) and \({\mathcal {D}}'_x\) are distributions of rank k and \(n-k\), respectively, and \({\mathcal {D}}_x\) is forward-invariant:
and corresponds to the k dominant modes of the linearized system by arguments that can be found in the proofs of Theorem 1.2 of [42] and Theorem 1 of [18]. For each \(x\in {\mathcal {M}}\), define the map \(\varPhi _x:{\mathcal {C}}(x){\setminus } \{0_x\}\rightarrow {\mathbb {R}}^{\ge 0}\) by
where \(\varPi _{{\mathcal {D}}_x}\), \(\varPi _{{\mathcal {D}}'_x}\) denote the linear projections onto the subspaces \({\mathcal {D}}_x\) and \({\mathcal {D}}'_x\). The map \(\varPhi (x)\) is clearly well defined since \(\varPi _{{\mathcal {D}}_x}\delta x\ne 0_x\) for any \(\delta x\in {\mathcal {C}}(x){\setminus } \{0_x\}\). Strict differential positivity ensures that \( \lim _{t\rightarrow \infty }\varPhi _{\psi _t(x)}\left( d\psi _t\big \vert _x\delta x\right) =0\) for all \(x\in {\mathcal {M}}\) and \(\delta x \in {\mathcal {C}}(x)\setminus \{0_x\}\).
Now if \(w \in {\mathcal {D}}_x\), (45) guarantees that \(\lim _{t\rightarrow \infty }\varPhi _{\psi _t(x)}\left( d\psi _t\big \vert _x\delta x\right) =0\) implies that \(\lim _{t\rightarrow \infty }\varPi _{{\mathcal {D}}'_{\psi _t(x)}}(d\psi _t\vert _x\delta x)=0\). If \(\delta x\notin {\mathcal {C}}(x)\), then for some \(\alpha >0\) and \(w\in {\mathcal {D}}_x\), we have \(\delta x + \alpha w\in {\mathcal {C}}(x){\setminus }\{0_x\}\) and \(\lim _{t\rightarrow \infty }\varPhi _{\psi _t(x)}\left( \delta x+\alpha w\right) =0\), which implies that \(\lim _{t\rightarrow \infty }\varPi _{{\mathcal {D}}'_{\psi _t(x)}}(d\psi _t\vert _x\delta x)=0\) once again. Thus, in the limit of \(t\rightarrow \infty \), \(\delta x(t) = d\psi _t\vert _x\delta x\) becomes parallel to \({\mathcal {D}}_{\psi _t(x)}\). It follows that any curve \(\varGamma =\varGamma (s)\) in S evolves so that \(\psi _t(\varGamma (s))\) asymptotically lies on an integral manifold of \({\mathcal {D}}\). To prove uniqueness of the attractor, assume for contradiction that \({\mathcal {N}}_1\) and \({\mathcal {N}}_2\) are two distinct attractive integral manifolds of \({\mathcal {D}}\) and let \(x_1\in {\mathcal {N}}_1\), \(x_2\in {\mathcal {N}}_2\). By connectedness of S, there exists a smooth curve \(\varGamma \) in S connecting \(x_1\) and \(x_2\). Since the curve \(\psi _t(\varGamma (s))\) converges to an integral manifold of \({\mathcal {D}}\), \({\mathcal {N}}_1\) and \({\mathcal {N}}_2\) must be subsets of the same integral manifold of \({\mathcal {D}}\), which provides the contradiction that completes the proof. \(\square \)
Note that condition (45) is necessary to ensure that vectors along the distribution \({\mathcal {D}}\) do not grow unbounded as they evolve by the variational flow, thereby ensuring that strict differential positivity results in contraction toward an integral manifold of \({\mathcal {D}}\).
As noted earlier, invariant differential positivity is a generalization of monotonicity to homogeneous spaces. This generalization is made possible by the nonlinearity of the homogeneous space and allows for more complex asymptotic behavior to arise. For instance, as shown in the work of M. Hirsch [26, 50], almost all bounded trajectories of a strongly monotone (strictly differentially positive) system converge to the set of equilibria. Moreover, under mild smoothness and boundedness assumptions, almost every trajectory converges to one equilibrium. On the other hand, for systems that are strictly differentially positive with respect to pointed convex invariant cone fields on homogeneous spaces, almost all bounded trajectories may converge to a limit cycle under similarly mild technical assumptions [17]. For example, invariant differential positivity on the cylinder has been used to establish convergence to a unique limit cycle in a nonlinear pendulum model [16]. Such a one-dimensional asymptotic behavior is possible for an invariantly differentially positive system due to the topology of the cylinder, which allows for the existence of closed conal curves.
5.4 Coset stabilization on Lie groups
In many problems in dynamical systems and control theory, we are interested in asymptotic convergence of trajectories to a submanifold of the state space. Such problems arise in numerous applications including consensus, synchronization, pattern generation, and path following. Here we consider a special class of such systems which are defined on a Lie group G and converge to submanifolds which arise as integrals of left-invariant distributions on G. A left-invariant distribution \({\mathcal {D}}\) on G is a distribution that satisfies \({\mathcal {D}}_{g_1g_2}=dL_{g_1}\vert _{g_2}{\mathcal {D}}_{g_2}\) for all \(g_1,g_2\in G\). Any such distribution uniquely determines a subspace \({\mathcal {D}}_e\) of \(T_eG\cong {\mathfrak {g}}\) and conversely every subspace of \(T_eG\) defines a unique left-invariant distribution. Furthermore, the left-invariant distribution defined by a subspace U of the Lie algebra \({\mathfrak {g}}\) is integrable if and only if U is a subalgebra \({\mathfrak {h}}\) of \({\mathfrak {g}}\). Given such a left-invariant distribution \({\mathcal {D}}\), its integral through the identity element \(e\in G\) is a subgroup H of G with Lie algebra \({\mathfrak {h}}\). The integral of \({\mathcal {D}}\) through any other point \(g\in G\) corresponds to a translation of the subgroup H on G and can be identified with the left coset gH.
In many applications, we are interested in stabilizing a submanifold corresponding to a coset gH in G. For instance, in satellite surveillance the attitude of the satellite is an element of the special orthogonal group SO(3) and we often seek to control the orientation of the satellite by ensuring that the telescope axis points to a fixed point on the Earth’s surface. Since the set of attitudes which solve this problem can be identified with an SO(2) subgroup corresponding to rotations about the telescope axis, the problem is essentially a simple coset stabilization problem [34]. Another large class of coset stabilization problems involves consensus models involving N agents \(g_k\) whose states evolve on a Lie group G and exchange information about their relative positions via a communication graph. The consensus manifolds in such problems take the form of a single copy of G repeated N times and diagonally embedded in the Cartesian product of \(G^N\), which is the \((N\dim G)\)-dimensional state space of the system. Such consensus manifolds correspond to fixed formations of the N agents evolving uniformly on G and correspond to \((\dim G)\)-dimensional cosets in \(G^N\). The synchronization manifold on which all N agents have the same state is a special case of such a coset in \(G^N\). A simple example of such a model is a network of N oscillators evolving on the N-torus, where the cosets are one-dimensional and correspond to frequency synchronization and phase-locking behaviors.
Now consider a homogeneous space \({\mathcal {M}}=G/H\), where G is a semisimple and compact Lie group so that the negative of the Killing form \(-B\) of \({\mathfrak {g}}\) is positive definite. Then \({\mathcal {M}}\) is reductive with reductive decomposition \({\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}\), where \({\mathfrak {m}}={\mathfrak {h}}^{\perp }\). The negative of the Killing form \(-B\) induces a bi-invariant metric on G and a homogeneous metric on \({\mathcal {M}}\). The tangent space at each point \(g\in G\) admits the decomposition \(T_gG={\mathcal {H}}_g\oplus {\mathcal {H}}_g^{\perp }\), where \({\mathcal {H}}=dL_g\vert _e{\mathfrak {h}}\) and \({\mathcal {H}}^{\perp }=dL_g\vert _e{\mathfrak {m}}\). We choose a basis for \({\mathfrak {g}}\) of the form \(\{e_1,...,e_{\dim {\mathfrak {h}}},e_{\dim {\mathfrak {h}}+1},...,e_{\dim {\mathfrak {g}}}\}\), where \(\{e_i: i=1,...,\dim {\mathfrak {h}}\}\) is a basis of \({\mathfrak {h}}\). Define a cone \({\mathcal {C}}(e)\) of rank \(k=\dim {\mathfrak {h}}\) in \({\mathfrak {g}}\) by
where \(\mu >0\) is a sufficiently small parameter to ensure that (48) is non-empty. \({\mathcal {C}}(e)\) can be uniquely extended to a left-invariant cone field \({\mathcal {C}}(g)=dL_g\vert _e{\mathcal {C}}(e)\) of rank \(\dim {\mathfrak {h}}\) on G.
Note that a dynamical system \({\dot{g}}={\bar{f}}(g)\) on G induces a well-defined projected flow on \({\mathcal {M}}\) generated by \({\dot{x}}=f(x)\) if
for all \(g_1\sim g_2\), where \(\sim \) denotes the equivalence relation induced by the coset manifold structure G / H; i.e., \(g_1\sim g_2\) if and only if there exists \(h\in H\) such that \(g_1=g_2h\). \({\bar{f}}_{{\mathcal {H}}^{\perp }}(g)\) in (49) refers to the component of \({\bar{f}}\) in \({\mathcal {H}}^{\perp }_g\subset T_gG\). The following theorem shows how strict differential positivity with respect to the left-invariant cone field \({\mathcal {C}}\) in G can induce a contractive dynamical system on \({\mathcal {M}}\) under suitable technical conditions. See Figs. 5 and 6 for illustrations of the relevant concepts.
Theorem 6
Let \(\varSigma : {\dot{g}}={\bar{f}}(g)\) be a system on G that induces a well-defined projective dynamics \({\dot{x}}=f(x)\) on \({\mathcal {M}}=G/H\). Suppose that \(\varSigma \) is uniformly strictly differentially positive with respect to the left-invariant cone field \({\mathcal {C}}\) determined by (48) on a bounded, connected and forward-invariant region \(S\subset G\), with a distribution of dominant eigenspaces of the form \({\mathcal {D}}_g=dL_g\vert _e{\mathfrak {h}}\). If \(\limsup _{t\rightarrow \infty }\Vert d\psi _t\vert _g w\Vert _{\psi _t(g)}<\infty \), for all \(w\in {\mathcal {D}}_g\), then there exists a unique coset gH in S that is an attractor for all trajectories from S. Furthermore, the induced system on \({\mathcal {M}}\) is contractive with respect to any homogeneous metric and all trajectories from \(\pi (S)\subset {\mathcal {M}}\) converge to the fixed point \(x=\pi (gH)\in \pi (S)\).
An invariantly strictly differentially positive system on a Lie group G inducing a contractive system on \({\mathcal {M}}=G/H\). Under suitable technical conditions, trajectories in G converge to a coset gH in G corresponding to a point \(x\in {\mathcal {M}}\). In this figure the cosets are depicted as circles \({\mathbb {S}}^1\)
Trajectories of an invariantly strictly differentially positive system asymptotically aligning with a distribution \({\mathcal {D}}\) of dominant eigenspaces of the linearized system. In this figure the distribution corresponds to the left-invariant distribution generated by a subalgebra \({\mathfrak {h}}\) of \({\mathfrak {g}}\)
5.4.1 Example: consensus on \({\mathbb {S}}^1\)
Let G be a compact Lie group with a bi-invariant Riemannian metric giving rise to a distance function \(d:G \times G\rightarrow [0,\infty )\). Given a network of N agents \(g_k\) represented by an undirected connected graph \({\mathcal {G}}=({\mathcal {V}},{\mathcal {E}})\) consisting of a set of vertices \({\mathcal {V}}\) and edges \({\mathcal {E}}\) evolving on G, we can define a class of consensus protocols on G as follows. For each \(g_k\in G\) denote the Riemannian exponential and logarithm maps by \(\exp _{g_k}:T_{g_k}G\rightarrow G\) and \(\log _{g_k}:U_{g_k}\rightarrow T_{g_k}G\), respectively, where \(U_{g_k}\subset G\) is the maximal set containing \(g_k\) for which \(\exp _{g_k}\) is a diffeomorphism. The system given by
defines a consensus protocol on G for constant vectors \(\varOmega _k\in {\mathfrak {g}}\) and any collection of real-valued reshaping functions \(\mu _{ki}\) of the distance d that satisfy \(\mu _{ki}(0)=0\). Equation (50) defines a dynamical system on \(G\times \cdots \times G = G^N\) that yields a well-defined projected system on \(G^N/G\) in the sense of Eq. (49) and Theorem 6, since
for all \(g,g_k,g_i\in G\) leave Eq. (50) invariant.
For the sake of simplicity, we will consider the example of a network of N agents evolving on the circle \({\mathbb {S}}^1\). Equation (50) reduces to a system of the form
where \(\theta _k\in {\mathbb {S}}^1\) represents the phase of agent k, \(\omega _k\in {\mathbb {R}}\) are prescribed ‘intrinsic’ frequencies, and \(\mu _{ki}\) now denotes an odd coupling function on the domain \((-\pi ,\pi )\) extended to \({\mathbb {R}}\) in such a way so as to make it \(2\pi \)-periodic. Note that \(\mu _{ki}\) and \(\mu _{ik}\) need not be the same function. Let \(\theta =(\theta _1,\ldots ,\theta _N)\) denote an element of the N-torus \({\mathbb {T}}^N\) and consider the N-tuple of vector fields \( \left( \frac{\partial }{\partial \theta ^1},\ldots ,\frac{\partial }{\partial \theta ^N}\right) \), which defines a basis of left-invariant vector fields on \({\mathbb {T}}^N\). Assuming that the coupling functions \(\mu _{ki}\) are differentiable and strictly monotonically increasing on \((-\pi ,\pi )\), then it can be shown that the linearization \(\dot{\delta \theta } = A(\theta )\delta \theta \) of the system given by (52) is uniformly strictly differentially positive on the set \({\mathbb {T}}^N_{\pi }=\{\vartheta \in {\mathbb {T}}^N:|\vartheta _k-\vartheta _i|<\pi ,\;(i,k)\in {\mathcal {E}}\}\) with respect to the invariant cone field
for any strongly connected communication graph. Furthermore, the Perron–Frobenius vector field of the system on \({\mathbb {T}}^N_{\pi }\) is the left-invariant vector field \({\varvec{1}}(\theta )=(1,\ldots ,1)\in T_{\theta }{\mathbb {T}}^{N}\), where the vector representation is given with respect to the invariant basis defined by \(\left( \frac{\partial }{\partial \theta ^1},\ldots ,\frac{\partial }{\partial \theta ^N}\right) \). Moreover, if we denote the flow of (52) by \(\psi _t\), then the condition \(A(\theta ){\varvec{1}}(\theta )=0\) implies that \(d\psi _t\vert _{\theta }{\varvec{1}}_{\theta }={\varvec{1}}_{\psi _t(\theta )}\), which ensures that \(\limsup _{t\rightarrow \infty }\Vert d\psi _t\vert _{\theta } {\varvec{1}}(\theta )\Vert _{\psi _t(\theta )}<\infty \) for any flow confined to \({\mathbb {T}}^N_{\pi }\), where \(\Vert \cdot \Vert _{\theta }\) denotes the norm corresponding to the standard Riemannian metric on \({\mathbb {T}}^N\). If we add the requirement that the coupling functions \(\mu _{ki}\) be barrier functions on \((-\pi ,\pi )\) so that \(\mu _{ki}(\alpha )\rightarrow \infty \) as \(\alpha \rightarrow \pi \), then the flow \(\psi _t\) will be forward-invariant on \({\mathbb {T}}^N_{\pi }\), resulting in the following theorem.
Theorem 7
Consider a network of agents on \({\mathbb {S}}^1\) communicating via a strongly connected communication graph according to (52). If the coupling functions \(\mu _{ki}\) satisfy \(\mu _{ki}(0)=0\), \(\mu _{ki}(\alpha )\rightarrow \infty \) as \(\alpha \rightarrow \pi \), and \(\mu _{ki}'(\alpha )>0\) on \((-\pi ,\pi )\), then every trajectory from \({\mathbb {T}}_{\pi }^N\) converges to an integral curve of the vector field \({\varvec{1}}={\varvec{1}}(\theta )\).
Note that convergence to an integral curve of \({\varvec{1}}\) on \({\mathbb {T}}^N\) corresponds to a phase-locking behavior, whereby the collective motion asymptotically converges to movement in a fixed formation with frequency synchronization among the agents. Further details may be found in [40].
6 Conclusion
We have reviewed the notion of invariant cone fields on homogeneous spaces and presented examples of cone fields on a list of homogeneous spaces that are of special interest in applications in information science. Invariant differential positivity naturally arises as a generalization of monotonicity on homogeneous spaces within this context. Finally, we have illustrated the potential applications of monotone flows on homogeneous spaces in systems and control theory by reviewing the consensus problem on \({\mathbb {S}}^1\) and discussing possible extensions of the approach to higher-dimensional spaces.
References
Absil P, Mahony R, Sepulchre R (2008) Optimization algorithms on matrix manifolds. Princeton University Press, Princeton
Altafini C (2016) Minimal eventually positive realizations of externally positive systems. Automatica 68:140–147. https://doi.org/10.1016/j.automatica.2016.01.072, http://www.sciencedirect.com/science/article/pii/S000510981630019X
Anderson BDO, Deistler M, Farina L, Benvenuti L (1996) Nonnegative realization of a linear system with nonnegative impulse response. IEEE Trans Circuits Syst I Fundam Theory Appl 43(2):134–142. https://doi.org/10.1109/81.486435
Angeli D, Sontag ED (2003) Monotone control systems. IEEE Trans Autom Control 48(10):1684–1698
Angeli D, Sontag ED (2008) Translation-invariant monotone systems, and a global convergence result for enzymatic futile cycles. Nonlinear Anal Real World Appl 9(1):128–140
Angeli D, Sontag ED (2012) Remarks on the invalidation of biological models using monotone systems theory. In: 2012 IEEE 51st IEEE conference on decision and control CDC, pp 2989–2994
Angeli D, Ferrell JE, Sontag ED (2004) Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc Natl Acad Sci 101(7):1822–1827
Arvanitogeōrgos A (2003) An introduction to Lie groups and the geometry of homogeneous spaces, vol 22. American Mathematical Society, Providence
Besse A (1987) Einstein manifolds: classics in mathematics. Springer, Berlin
Bhatia R (2007) Positive definite matrices. Princeton University Press, Princeton
De Leenheer P, Angeli D, Sontag ED (2007) Monotone chemical reaction networks. J Math Chem 41(3):295–314
Edelman A, Arias TA, Smith ST (1999) The geometry of algorithms with orthogonality constraints. SIAM J Matrix Anal Appl 20(2):303–353
Enciso G, Sontag ED (2005) Monotone systems under positive feedback: multistability and a reduction theorem. Syst Control Lett 54(2):159–168
Farina L, Rinaldi S (2000) Positive linear systems: theory and applications. Pure and applied mathematics. Wiley, New York
Forni F (2015) Differential positivity on compact sets. In: 2015 54th IEEE conference on decision and control (CDC), pp 6355–6360
Forni F, Sepulchre R (2014) Differential analysis of nonlinear systems: revisiting the pendulum example. In: 53rd IEEE conference of decision and control, Los Angeles
Forni F, Sepulchre R (2016) Differentially positive systems. IEEE Trans Autom Control 61(2):346–359. https://doi.org/10.1109/TAC.2015.2437523
Forni F, Sepulchre R (2018) Differential dissipativity theory for dominance analysis. IEEE Trans Autom Control. https://doi.org/10.1109/TAC.2018.2867920
Fusco G, Oliva W (1991) A Perron theorem for the existence of invariant subspaces. WM Annali di Matematica pura ed applicata 160:63–76
Goodall CR, Mardia KV (1999) Projective shape analysis. J Comput Gr Stat 8(2):143–168
Grussler C, Rantzer A (2014) Modified balanced truncation preserving ellipsoidal cone-invariance. In: 53rd IEEE conference on decision and control, pp 2365–2370. https://doi.org/10.1109/CDC.2014.7039749
Grussler C, Sepulchre R (2018) Strongly unimodal systems. arXiv preprint arXiv:181103986
Grussler C, Umenberger J, Manchester IR (2017) Identification of externally positive systems. In: 2017 IEEE 56th annual conference on decision and control (CDC), pp 6549–6554. https://doi.org/10.1109/CDC.2017.8264646
Hilgert J, Neeb KH (2006) Lie semigroups and their applications. Springer, Berlin
Hilgert J, Hofmann KH, Lawson J (1989) Lie groups, convex cones, and semi-groups. Oxford University Press, Oxford
Hirsch MW (1988) Stability and convergence in strongly monotone dynamical systems. Journal für die reine und angewandte Mathematik 383:1–53
Jadbabaie A, Lin J (2003) Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans Autom Control 48(6):988–1001
Kleiman SL, Laksov D (1972) Schubert calculus. Am Math Mon 79(10):1061–1082
Lang S (2012) Fundamentals of differential geometry, vol 191. Springer, Berlin
Lawson JD (1991) Polar and Ol’shanski decompositions. Semin Sophus Lie 1:163–173
Lee JM (2003) Introduction to smooth manifolds. Graduate texts in mathematics. Springer, New York
Löwner K (1934) Über monotone matrixfunktionen. Mathematische Zeitschrift 38:177–216
Luenberger DG (1979) Introduction to dynamic systems: theory, models, and applications, vol 1. Wiley, New York
Montenbruck JM, Allgöwer F (2016) Asymptotic stabilization of submanifolds embedded in riemannian manifolds. Automatica 74:349–359
Moreau L (2004) Stability of continuous-time distributed consensus algorithms. In: 43rd IEEE conference on decision and control, vol 4, pp 3998–4003
Mostajeran C, Sepulchre R (2016) Invariant differential positivity and consensus on Lie groups. In: 10th IFAC symposium on nonlinear control systems
Mostajeran C, Sepulchre R (2017) Affine-invariant orders on the set of positive-definite matrices. In: International conference on the geometric science of information. Springer
Mostajeran C, Sepulchre R (2017) Differential positivity with respect to cones of rank k. In: IFAC world congress
Mostajeran C, Sepulchre R (2018) Ordering positive definite matrices. Inf Geom. https://doi.org/10.1007/s41884-018-0003-7
Mostajeran C, Sepulchre R (2018) Positivity, monotonicity, and consensus on Lie groups. SIAM J Control Optim 56(3):2436–2461. https://doi.org/10.1137/17M1127168
Neeb KH (1991) Conal orders on homogeneous spaces. Invent Math 104(1):467–496
Newhouse S (2004) Cone-fields, domination, and hyperbolicity. In: Brin M, Hasselblatt B, Katok AB, Pesin Y (eds) Modern dynamical systems and applications. Cambridge University Press, pp 419–432
Ohta Y, Maeda H, Kodama S (1984) Reachability, observability, and realizability of continuous-time positive systems. SIAM J Control Optim 22(2):171–180. https://doi.org/10.1137/0322013
Olfati-Saber R (2006) Flocking for multi-agent dynamic systems: algorithms and theory. IEEE Trans Autom Control 51(3):401–420
Olfati-Saber R, Fax J, Murray R (2007) Consensus and cooperation in networked multi-agent systems. Proc IEEE 95(1):215–233
Sanchez LA (2009) Cones of rank 2 and the Poincare–Bendixson property for a new class of monotone systems. J Differ Equ 246(5):1978–1990
Sanchez LA (2010) Existence of periodic orbits for high-dimensional autonomous systems. J Math Anal Appl 363(2):409–418
Sepulchre R (2011) Consensus on nonlinear spaces. Ann Rev Control 35(1):56–64
Sepulchre R, Sarlette A, Rouchon P (2010) Consensus in non-commutative spaces. In: 49th IEEE conference on decision and control (CDC), pp 6596–6601. https://doi.org/10.1109/CDC.2010.5717072
Smith HL (1995) Monotone dynamical systems. AMS, Providence
Smith HL (2008) Monotone dynamical systems: an introduction to the theory of competitive and cooperative systems, vol 41. American Mathematical Society, Providence
Smith HL, De Leenheer P (2003) Virus dynamics: a global analysis. SIAM J Appl Math 63(4):1313–1327
Smith ST (2005) Covariance, subspace, and intrinsic Cramer–Rao bounds. IEEE Trans Signal Process 53(5):1610–1630. https://doi.org/10.1109/TSP.2005.845428
Turaga P, Veeraraghavan A, Chellappa R (2008) Statistical analysis on stiefel and grassmann manifolds with applications in computer vision. In: IEEE conference on computer vision and pattern recognition, 2008—CVPR 2008. IEEE, pp 1–8
Acknowledgements
The authors are grateful to Dr. Fulvio Forni for numerous stimulating conversations and insightful comments on this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was funded by the Engineering and Physical Sciences Research Council (EPSRC) of the United Kingdom, as well as the European Research Council under the Advanced ERC Grant Agreement Switchlet No. 670645.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mostajeran, C., Sepulchre, R. Monotonicity on homogeneous spaces. Math. Control Signals Syst. 30, 22 (2018). https://doi.org/10.1007/s00498-018-0229-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00498-018-0229-x