Riemannian median estimation and stochastic algorithms for

advertisement
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Riemannian median estimation and
stochastic algorithms for computing
p-means of probability measures
Marc Arnaudon∗ , Le Yang∗ and Frédéric Barbaresco†
∗ LMA,
Université de Poitiers.
† Thales
Air Systems.
Matrix Information Geometries 2011, Palaiseau, France
Riemannian median and stochastic algorithms
1 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
1
2
3
4
5
Introduction and Background : Radar Target Detection
Radar observation values
Standard method
Geometric method
Geometry of Covariance Matrices
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian p -means
Framework
Denition
Characterization and robustness
Stochastic Algorithms
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Perspectives
Riemannian median and stochastic algorithms
2 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
1
2
3
4
5
Radar observation values
Standard method
Geometric method
Introduction and Background : Radar Target Detection
Radar observation values
Standard method
Geometric method
Geometry of Covariance Matrices
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian p -means
Framework
Denition
Characterization and robustness
Stochastic Algorithms
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Perspectives
Riemannian median and stochastic algorithms
3 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Subdivide : radar cells
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Subdivide : radar cells
Emit −→ Reect −→ Receive
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Subdivide : radar cells
Emit −→ Reect −→ Receive
Fig. 1: Emission
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Subdivide : radar cells
Emit −→ Reect −→ Receive
Fig. 1: Reection
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Subdivide : radar cells
Emit −→ Reect −→ Receive
Fig. 1: Reception
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Radar observation values
Fix a direction
Subdivide : radar cells
Emit −→ Reect −→ Receive
Observation value of one radar cell
Z
= (z1 , ..., zk = rk e i ϕk , ..., zn )T
rk : amplitude of reected signal
ϕk : phase of reected signal
n : number of signals emitted in one burst
Riemannian median and stochastic algorithms
4 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Standard method for target detection
Observation value of one radar cell : Z = (z , ..., zn )T
1
Riemannian median and stochastic algorithms
5 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Standard method for target detection
Observation value of one radar cell : Z = (z , ..., zn )T
1
Method using Fourier transform
Discrete Fourier transform
Riemannian median and stochastic algorithms
5 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Standard method for target detection
Observation value of one radar cell : Z = (z , ..., zn )T
1
Method using Fourier transform
Discrete Fourier transform
Identication of exeptional frequency behavior : Constant False
Alarm Rate (CFAR)
Riemannian median and stochastic algorithms
5 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Standard method for target detection
Observation value of one radar cell : Z = (z , ..., zn )T
1
Method using Fourier transform
Discrete Fourier transform
Identication of exeptional frequency behavior : Constant False
Alarm Rate (CFAR)
Riemannian median and stochastic algorithms
5 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Standard method for target detection
Observation value of one radar cell : Z = (z , ..., zn )T
1
Method using Fourier transform
Discrete Fourier transform
Identication of exeptional frequency behavior : Constant False
Alarm Rate (CFAR)
Limitation : n small (for example, n = 8 or 16)=⇒ low resolution
Riemannian median and stochastic algorithms
5 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Geometric Method for target detection
Statistical modeling hypothesis : Z = (z , ..., zn )T is a
realization of a centered stationary Gaussian process.
1
Riemannian median and stochastic algorithms
6 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Geometric Method for target detection
Statistical modeling hypothesis : Z = (z , ..., zn )T is a
realization of a centered stationary Gaussian process.
1
Covariance Matrix

Rn = E[zi zj ]
ij n
≤, ≤
1
Riemannian median and stochastic algorithms
r
r
r
r
0
 1

= .
 ..
rn −
1
0
...
...
r n−
r n−
r
r
... ...
1
...
1
1
2



.. 
. 
0
6 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Geometric Method for target detection
Statistical modeling hypothesis : Z = (z , ..., zn )T is a
realization of a centered stationary Gaussian process.
1
Covariance Matrix

Rn = E[zi zj ]
ij n
≤, ≤
1
r
r
r
r
0
 1

= .
 ..
rn −
1
0
...
...
r n−
r n−
r
r
... ...
1
...
1
2



.. 
. 
0
Rn ∈ THPDn : Toeplitz Hermitian positive denite
Riemannian median and stochastic algorithms
1
6 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Principle of target detection : geometric method
Observation value of one radar cell : Rn
Riemannian median and stochastic algorithms
7 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Principle of target detection : geometric method
Observation value of one radar cell : Rn
Riemannian median and stochastic algorithms
7 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Principle of target detection : geometric method
Observation value of one radar cell : Rn
To be precisely dened
Distance between two covariance matrices
Riemannian median and stochastic algorithms
7 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Radar observation values
Standard method
Geometric method
Principle of target detection : geometric method
Observation value of one radar cell : Rn
To be precisely dened
Distance between two covariance matrices
Average of covariance matrices
Riemannian median and stochastic algorithms
7 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
1
2
3
4
5
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Introduction and Background : Radar Target Detection
Radar observation values
Standard method
Geometric method
Geometry of Covariance Matrices
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian p -means
Framework
Denition
Characterization and robustness
Stochastic Algorithms
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Perspectives
Riemannian median and stochastic algorithms
8 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients by means of autoregressive model
Autoregressive model : zk + = ek + −
1
Riemannian median and stochastic algorithms
1
Pk
i = aik zk + −i
1
1
9 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients by means of autoregressive model
Autoregressive model : zk + = ek + −
Minimize prediction error : E[|ek + | ]
1
1
1
Riemannian median and stochastic algorithms
2
Pk
i = aik zk + −i
1
1
9 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients by means of autoregressive model
P
Autoregressive model : zk + = ek + − ki= aik zk + −i
Minimize prediction error : E[|ek + | ]
Optimal prediction coecients : (ak , ..., akk )
1
1
1
1
1
2
1
Riemannian median and stochastic algorithms
9 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients by means of autoregressive model
P
Autoregressive model : zk + = ek + − ki= aik zk + −i
Minimize prediction error : E[|ek + | ]
Optimal prediction coecients : (ak , ..., akk )
1
1
1
1
1
2
1
Denition
µk = akk ∈ D = {z ∈ C : |z | < 1}
is called the k-th reection coecient.
Riemannian median and stochastic algorithms
9 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients parametrization
Change of coordinates
ϕ:
THDPn −→ R∗+ × Dn− , Rn 7−→ (r
is a dieomorphism.
Riemannian median and stochastic algorithms
1
0
, µ1 , . . . , µn−1 )
10 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients parametrization
Change of coordinates
ϕ:
THDPn −→ R∗+ × Dn− , Rn 7−→ (r
1
is a dieomorphism.
0
, µ1 , . . . , µn−1 )
Computation of ϕ :
det Sk
2, . . . , k + 1
µk = (−1)k
, where Sk = Rk +
det Rk
1, . . . , k
1
Riemannian median and stochastic algorithms
10 / 34
.
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Reection coecients parametrization
Computation of ϕ− :
1
r
0
1
r
1
= −P0 µ1 ,
+ αkT−1 Jk −1 Rk−−11 αk −1 ,
Q
= P0 ik=−11 (1 − |µi |2 ),
rk = −µk Pk −
where Pk −
= P0 ,

1
r


αk −1 =  ... 
rk −
1
Riemannian median and stochastic algorithms
0 ... 0 1
0 . . . 1 0
.
=




1
2 ≤ k ≤ n − 1,
and Jk −
1

...
1 ... 0 0
11 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian metric and curvature of
THPDn
Kähler potential : Φ(Rn ) = − ln(det Rn ) − n ln(π e )
Riemannian median and stochastic algorithms
12 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian metric and curvature of
THPDn
Kähler potential : Φ(Rn ) = − ln(det Rn ) − n ln(π e )
Riemannian metric (F. Barbaresco, 2008)
dr
ds = n
r
2
0
2
0
1
(n − k )
k=
, . . . , µn− ) = ϕ(Rn ).
2
0
where (r , µ
+
n −1
X
1
|d µk |2
,
(1 − |µk |2 )2
1
Riemannian median and stochastic algorithms
12 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian metric and curvature of
THPDn
Kähler potential : Φ(Rn ) = − ln(det Rn ) − n ln(π e )
Riemannian metric (F. Barbaresco, 2008)
dr
ds = n
r
2
0
2
0
1
(n − k )
k=
, . . . , µn− ) = ϕ(Rn ).
2
0
where (r , µ
+
n −1
X
1
|d µk |2
,
(1 − |µk |2 )2
1
Curvature
THPDn is a Cartan-Hadamard manifold with −4 ≤ K ≤ 0.
Riemannian median and stochastic algorithms
12 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Riemannian distance of
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
THPDn
Riemannian distance
x = (P , µ
y = (Q , ν , . . . , νn− ). Then the
Riemannian distance between x and y is given by
/
n−
X
d (x , y ) = nσ(P , Q ) + (n − k )τ (µk , νk )
k=
1
, . . . , µn−1 ),
1
1
1
2
1 2
2
,
1
Q
where σ(P , Q ) = | ln( )| and
P
Riemannian median and stochastic algorithms
νk −µk
|
1 1 + | −µ̄
k νk .
τ (µk , νk ) = ln
k −µk |
2 1 − | ν−µ̄
ν
1
1
13 / 34
k k
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Geodesics of
Geodesics
x = (P , µ
1
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
THPDn
, . . . , µn−1 ),
v = (v , v
0
1
, . . . , vn−1 ) ∈ Tx . The geodesic
starting from x with velocity v is given by
ζ(t , x , v ) = (ζ0 (t ), ζ1 (t ), . . . , ζn−1 (t )),
where ζ (t ) = Pe P t and for 1 ≤ k ≤ n − 1,
v0
0
2|vk |t
ζk (t ) =
(µk + e i θk )e 1−|µk |2 + (µk − e i θk )
2|v |t
k
(1 + µ̄k e i θk )e 1−|µk |2
Riemannian median and stochastic algorithms
+ (1 − µ̄k e i θk )
,
θk = arg vk .
14 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
1
2
3
4
5
Framework
Denition
Characterization and robustness
Introduction and Background : Radar Target Detection
Radar observation values
Standard method
Geometric method
Geometry of Covariance Matrices
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian p -means
Framework
Denition
Characterization and robustness
Stochastic Algorithms
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Perspectives
Riemannian median and stochastic algorithms
15 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the framework
Let M be a Riemannian manifold with Riemannian distance ρ
and pinched sectional curvatures : −β ≤ Kσ ≤ α .
2
Riemannian median and stochastic algorithms
2
16 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the framework
Let M be a Riemannian manifold with Riemannian distance ρ
and pinched sectional curvatures : −β ≤ Kσ ≤ α .
Fix a geodesic ball B (a, r ) ⊂ M .
2
Riemannian median and stochastic algorithms
2
16 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the framework
Let M be a Riemannian manifold with Riemannian distance ρ
and pinched sectional curvatures : −β ≤ Kσ ≤ α .
Fix a geodesic ball B (a, r ) ⊂ M .
Let µ be a probability measure on M such that
supp µ ⊂ B (a, r ).
2
Riemannian median and stochastic algorithms
2
16 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the framework
Let M be a Riemannian manifold with Riemannian distance ρ
and pinched sectional curvatures : −β ≤ Kσ ≤ α .
Fix a geodesic ball B (a, r ) ⊂ M .
Let µ be a probability measure on M such that
supp µ ⊂ B (a, r ).
p ∈ [1, +∞).
2
Riemannian median and stochastic algorithms
2
16 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the framework
Let M be a Riemannian manifold with Riemannian distance ρ
and pinched sectional curvatures : −β ≤ Kσ ≤ α .
Fix a geodesic ball B (a, r ) ⊂ M .
Let µ be a probability measure on M such that
supp µ ⊂ B (a, r ).
p ∈ [1, +∞).
2
2
Assumption ∗
The support of µ is not reduced to one point. Either p > 1 or the
support of µ is not contained in a line, and the radius r satises
r < rα,p with
rα,p
rα,p
= 12 min inj(M ), 2πα if p ∈ [1, 2)
if p ∈ [2, ∞)
= 21 min inj(M ), απ
Riemannian median and stochastic algorithms
16 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the denition
Theorem (B. Afsari, 2010)
Under the Assumption ∗, the function
Hp : M −→ R+
x 7−→
Z
M
ρp (x , y )µ(dy )
has a unique minimizer ep in M , which is called the p -mean of µ.
Moreover ep ∈ B (a, r ).
Riemannian median and stochastic algorithms
17 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : the denition
Theorem (B. Afsari, 2010)
Under the Assumption ∗, the function
Hp : M −→ R+
x 7−→
Z
M
ρp (x , y )µ(dy )
has a unique minimizer ep in M , which is called the p -mean of µ.
Moreover ep ∈ B (a, r ).
Two important particular cases
p = 1 : e is the median of µ.
p = 2 : e is the mean (or barycenter, center of mass) of µ.
1
2
Riemannian median and stochastic algorithms
17 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : characterization and robustness
Characterization
p=1: x =e
Z
⇐⇒
− exp−
x 1 y µ(dy ) ≤ µ{x }.
ρ(x , y )
M \{x }
p > 1 : x = ep ⇐⇒ grad Hp (x ) = 0.
1
Riemannian median and stochastic algorithms
18 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : characterization and robustness
Characterization
p=1: x =e
Z
⇐⇒
− exp−
x 1 y µ(dy ) ≤ µ{x }.
ρ(x , y )
M \{x }
p > 1 : x = ep ⇐⇒ grad Hp (x ) = 0.
1
Robustness
p < q =⇒ ep is less sensitive to outliers than eq .
Riemannian median and stochastic algorithms
18 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Framework
Denition
Characterization and robustness
Riemannian p −means : characterization and robustness
Characterization
p=1: x =e
Z
⇐⇒
− exp−
x 1 y µ(dy ) ≤ µ{x }.
ρ(x , y )
M \{x }
p > 1 : x = ep ⇐⇒ grad Hp (x ) = 0.
1
Robustness
p < q =⇒ ep is less sensitive to outliers than eq .
The median e is the most robust in (ep )p≥ : in order to move
the median of a set of N points to innity, one should move at
least b(N + 1)/2c points in this set (Fletcher et al, 2009).
1
Riemannian median and stochastic algorithms
1
18 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
1
2
3
4
5
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Introduction and Background : Radar Target Detection
Radar observation values
Standard method
Geometric method
Geometry of Covariance Matrices
Reection coecients parametrization
Riemannian metric and curvature
Riemannian distance and geodesics
Riemannian p -means
Framework
Denition
Characterization and robustness
Stochastic Algorithms
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Perspectives
Riemannian median and stochastic algorithms
19 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Stochastic algorithms for computing p -means
Theorem 1 (M. Arnaudon et al, 2010)
Let (Pk )k ≥ be a sequence of independent B (a, r )-valued
random variables with law µ.
Let (tk )k ≥P⊂ (0, Cp,µ,r ] be a sequence
P∞ of positive numbers
satisfying ∞
t
=
+∞
and
k= k
k = tk < ∞.
Let x ∈ B (a, r ) and dene a random walk (Xk )k ≥ by
1
1
2
1
1
0
X
0
= x0 ;
0
Xk +
1
= expXk −tk +1 gradXk
Fp (·, Pk +
1
where Fp (x , y ) = ρp (x , y ) and gradx Fp (·, x ) = 0.
Then Xk −→ ep in L and a.s.
2
Riemannian median and stochastic algorithms
20 / 34
) ,
k ≥ 0;
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Example :
M = Rd
and
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
p=2
µ is a compactly supported probability measure on
Riemannian median and stochastic algorithms
21 / 34
Rd .
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Example :
M = Rd
and
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
p=2
µ is a compactly supported probability measure on
e
2
= E[P1 ].
Riemannian median and stochastic algorithms
21 / 34
Rd .
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Example :
M = Rd
and
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
p=2
µ is a compactly supported probability measure on
e
2
= E[P1 ].
Taking tk = k gives Xk = k
1
2
Riemannian median and stochastic algorithms
1
Pk
j = Pj .
1
21 / 34
Rd .
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Example :
M = Rd
and
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
p=2
µ is a compactly supported probability measure on
e
2
= E[P1 ].
Taking tk = k gives Xk = k
1
2
SLLN
Theorem 1 =⇒
1
Pk
j = Pj .
1
k
1X
P −→ E[P
k j= j
1
]
a.s .
1
Riemannian median and stochastic algorithms
21 / 34
Rd .
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Example :
M = Rd
and
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
p=2
µ is a compactly supported probability measure on
e
2
= E[P1 ].
Taking tk = k gives Xk = k
1
2
SLLN
Theorem 1 =⇒
1
Pk
Rd .
j = Pj .
1
k
1X
P −→ E[P
k j= j
1
]
a.s .
1
Nothing but the strong law of large numbers !
Riemannian median and stochastic algorithms
21 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
How does the algorithm work
A , A , A and A are data points, M is the p-mean of them.
1
2
3
4
Riemannian median and stochastic algorithms
22 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Simulating example 1
Median of the uniform measure on an equilateral triangle in the
plane.
Riemannian median and stochastic algorithms
23 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Simulating example 2
Median of the uniform measure on the unit square in the plane
Riemannian median and stochastic algorithms
24 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Simulating example 3
Median of a non uniform measure on [0, 4] × [0, 4] in the plane
4
3
2
1
0
0
1
Riemannian median and stochastic algorithms
2
3
4
25 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Simulating example 4
Median of Another non uniform measure on the unit square in the
plane.
2
1.5
1
0.5
1
0.5
0
0
-0.5
-0.5
-1
-2
-1.5
-2
-1.5
-1
-0.5
-1
-1
-0.5
0
0
0.5
-1.5
0.5
1
1
1.5
1.5
2 2
Riemannian median and stochastic algorithms
-2
-2
-1.5
-1
-0.5
0
26 / 34
0.5
1
1.5
2
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Simulating example 5 : Function
p 7−→ ep .
e∞
mean
4
median
3
2
1
Riemannian median and stochastic algorithms
27 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Simulating example 6 : convergence in nonconvex case
Median of a non uniform measure on the sphere S .
2
Riemannian median and stochastic algorithms
28 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Rate of convergence : a central limit theorem
Theorem 2 (M. Arnaudon et al, 2010)
Let (Xk )k ≥ be the time inhomogeneous M -valued Markov
chain dened in Theorem 1 with tk = min (δ/k , Cp,µ,r ) .
Dene for n ≥ 1 the rescaled Tep M -valued Markov chain
(Ykn )k ≥ by
0
0
k
Ykn = √ exp−ep Xk .
n
1
Assume that Hp is C in a neighborhood of ep and δ > Cp−,µ,r .
2
1
Then the sequence of processes Y[nnt ]
weakly converges
t≥
in D((0, ∞), Tep M ) to a diusion process (yδ (t ))t ≥ .
0
0
Riemannian median and stochastic algorithms
29 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Stochastic algorithms for computing p -means
Rate of convergence : a central limit theorem
Rate of convergence : a central limit theorem
Theorem 2 (M. Arnaudon et al, 2010)
Moreover, the diusion process (yδ (t ))t ≥ has the follwing
representation :
0
yδ (t ) =
d
X
t
Z
t
hδσ dBs , ei iei ,
i=
where σ ∈h End(Tep M ) such that
i
σσ ∗ = E gradep Fp (·, P ) ⊗ gradep Fp (·, P ) and Bt is a standard
Brownian motion on Tep M , (ei ) ≤i ≤d is an orthonormal basis
diagonalizing the symmetric bilinear form ∇dHp (ep ) and (λi ) ≤i ≤d
−δλi
1
s δλi −
1
0
1
1
1
1
1
are the associated eigenvalues.
Riemannian median and stochastic algorithms
30 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Perspectives
What if µ has some mass out of the convex ball B (a, r ) ?
Then where are the p -means ? Is ep unique ?
Whether the stochastic algorithm converges even in nonconvex
case ? If so, speed of convergence ?
Riemannian median and stochastic algorithms
31 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
References
Riemannian Lp center of mass : existence, uniqueness,
and convexity, Proceedings of the American Mathematical Society,
B. Afsari, S 0002-9939(2010)10541-5, Article electronically published on
August 27, (2010).
M. Arnaudon and X. M. Li, stochastic ows,
Barycenters of measures transported by
The Annals of Probability, vol. 33, no. 4,
15091543, (2005)
M. Arnaudon, C. Dombry, A. Phan and L. Yang, algorithms for computing means of probability
Stochastic
measures, preprint
hal-00540623, version 1, (2010).
Innovative Tools for Radar Signal Processing Based
on Cartan's Geometry of SPD Matrices and Information Geometry ,
Barbaresco F. IEEE International Radar Conference, (2008).
Riemannian median and stochastic algorithms
32 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
References
Interactions between Symmetric Cone and
Information Geometries, ETVC'08, Springer Lecture Notes
F. Barbaresco, in
Computer Science, 5416, pp. 124-163, (2009).
Robust Statistics on Riemannian Manifolds via
the Geometric Median, Neuroimage, (2009).
T. Fletcher et al. L. Yang, M. Arnaudon and F. Barbaresco, Riemannian Median,
Geometry of Covariance Matrices and Radar Target Detection,
European Radar Conference, (2010).
L. Yang, R
iemannian median and its estimation,
LMS J. Comput.
Math. Vol. 13, 461-479, (2010).
Riemannian median and stochastic algorithms
33 / 34
Introduction and Background
Geometry of Covariance Matrices
Riemannian p -means
Stochastic Algorithms
Perspectives
Thank you for your attention
Riemannian median and stochastic algorithms
34 / 34
Download