“Oh GOSH! Reflecting on Hackteria's Collaborative Practices in a Global Do-It...
Sea Ice Data Assimilation Challenges
1. Section 0
Sea ice, Unstable subspace, Model error:
three topics in data assimilation
Amit Apte
International Centre for Theoretical Sciences (ICTS-TIFR)
Bangalore, India
Data assimilation working group, and in particular,
Anugu Sumith Reddy, ICTS-TIFR (unstable subspace);
Colin Guider, UNC (Sea ice)
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 1 / 32
2. Section 0
Sea ice, Unstable subspace, Model error:
three topics in data assimilation
Amit Apte
International Centre for Theoretical Sciences (ICTS-TIFR)
Bangalore, India
Data assimilation working group, and in particular,
Anugu Sumith Reddy, ICTS-TIFR (unstable subspace);
Colin Guider, UNC (Sea ice)
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 2 / 32
3. Section 1 Data assimilation: 3 minute introduction
What is data assimilation?
The art of optimally incorporating
partial and noisy observational data of a
chaotic and complex dynamical system with an
imperfect model of the data noise and the system dynamics to get a
prediction and the associated uncertainty for the system state
——————————————————————————————–
8MQI
XVYI
XVENIGXSV]
SFWIVZEXMSRW
L SFW
JYRGXMSR
SFW IVVSV
IRWIQFPI
JSVIGEWX
YTHEXIH
IRWIQFPI
EVVS[W MRHMGEXI HEXE
EWWMQMPEXMSR TVSGIWW SFW
WTEGI
WXEXI
WTEGI
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 3 / 32
4. Section 1 Data assimilation: 3 minute introduction
Nonlinear filtering ≡ determination of posterior i.e.
conditional distribution given the observations
Consider a Markov chain (or dynamics or plant)
xt+1 = m(xt) + ζt with x0 ∈ Rd
unknown
We will assume a probability density pa(x0) for the initial condition.
We will consider the problem of estimating the state xt at some time
t given observations at times t1, t2, . . . , tN.
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Observations yt ∈ Rp (typically p ≤ d) are local in time.
yt = h(xt) + ηt t = 1, . . . , N
h is called the observation operator. ηt is observational noise. Eventually
we will assume independence between ηt and ζt.
Main object of interest: the posterior distribution of the state conditioned
on the observations
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 4 / 32
5. Section 1 Data assimilation: 3 minute introduction
Nonlinear filtering ≡ determination of posterior i.e.
conditional distribution given the observations
Consider a Markov chain (or dynamics or plant)
xt+1 = m(xt) + ζt with x0 ∈ Rd
unknown
We will assume a probability density pa(x0) for the initial condition.
We will consider the problem of estimating the state xt at some time
t given observations at times t1, t2, . . . , tN.
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 4 / 32
6. Section 1 Data assimilation: 3 minute introduction
Filtering density satisfies a recursion relation
A notation: y1:t = {y1, y2, . . . , yt} and x1:t = {x1, x2, . . . , xt}
“prediction” given by
pf
(x1:t, xt+1|y1:t) = pa
(x1:t|y1:t) · pm
(xt+1|xt)
“update” given by Bayes theorem
pa
(x1:t+1|y1:t, yt+1) ∝ pf
(x1:t+1|y1:t) · pη(yt+1|xt+1)
we obtain the following recursive relation for the posterior distribution
pa
(x1:t+1|y1:t+1) ∝ pa
(x1:t|y1:t) · pm
(xt+1|xt) · pη(yt+1|xt+1)
where pη(yt+1|xt+1) is the observational noise and pm(xt+1|xt) is the
Markov transition Kernel for the dynamical model.
In continuous time setup: Zakai or Kushner-Stratonovich equation for the
conditional distribution
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 5 / 32
7. Section 1 Data assimilation: 3 minute introduction
Kalman filter in two moments
Linear Gaussian case:
Linear model: m(xt) = Mtxt
Linear observation operator: h(xt) = Htxt
Gaussian noise: ζt ∼ N(0, Qt) and ηt ∼ N(0, Rt)
Gaussian initial condition: x0 ∼ N(xa
0 , ∆0)
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 6 / 32
8. Section 1 Data assimilation: 3 minute introduction
Kalman filter in two moments
Linear Gaussian case:
Linear model: m(xt) = Mtxt
Linear observation operator: h(xt) = Htxt
Gaussian noise: ζt ∼ N(0, Qt) and ηt ∼ N(0, Rt)
Gaussian initial condition: x0 ∼ N(xa
0 , ∆0)
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
All the distributions appearing in the recursive relation are Gaussian
pa
(x1:t+1|y1:t+1) ∝ pa
(x1:t|y1:t) · pm
(xt+1|xt) · pη(yt+1|xt+1)
pa
(xt|y1:t) ∼ N(xa
t , ∆t)
pf
(xt+1|y1:t) ∼ N(xf
t+1, Σt+1)
pm
(xt+1|xt) ∼ N(xt, Qt)
pη(yt+1|xt+1) ∼ N(xt+1, Rt)
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 6 / 32
9. Section 1 Data assimilation: 3 minute introduction
Kalman filter in two moments
Linear Gaussian case:
Linear model: m(xt) = Mtxt
Linear observation operator: h(xt) = Htxt
Gaussian noise: ζt ∼ N(0, Qt) and ηt ∼ N(0, Rt)
Gaussian initial condition: x0 ∼ N(xa
0 , ∆0)
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Kalman filter gives a recursion relation for the mean and covariance:
“Update step” given by (with Kt = ΣtHT
t (HtΣtHT
t + Rt)−1
)
xa
t = xf
t + Kt(yt − Htxf
t ) and ∆t = (I − KtHt)Σt
“Prediction step” gives forecast error covariance Σt:
xf
t+1 = Mtxa
t and Σt+1 = Mt∆tMT
t + Qt
The covariance forecast or update do not depend on the mean.
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 6 / 32
10. Section 1 Data assimilation: 3 minute introduction
Ensemble Kalman filter
Suppose we have a sample {xi
t }, i = 1, . . . , N from pa(xt|y1:t), i.e.,
we approximate pa(xt|y1:t) ≈ (1/N) N
i=1 δ(xt − xi
t )
Ensemble Kalman filter prediction uses the nonlinear model and
update uses sample statistics.
“Prediction step” uses the full nonlinear model:
xf ,i
t = m(xa,i
t−1)
“Update step” given by
xa,i
t = xf ,i
t + K(yi
t − Hxf ,i
t )
Here K = ˆPf
t HT
(H ˆPf
t HT
+ R)−1
is calculated using the sample
covariance ˆPf
t .
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 7 / 32
11. Section 2 Challenges in sea ice data assimilation
Outline
Data assimilation: 3 minute introduction
Challenges in sea ice data assimilation
Role of unstable subspace in data assimilation
Role of model error in data assimilation
Thanks to Colin Guider for the slides in this section
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 8 / 32
12. Section 2 Challenges in sea ice data assimilation
neXtSIM: a new Lagrangian sea ice model
neXtSIM simulation video
Lagrangian model
running on triangular,
unstructured mesh
When mesh becomes too
distorted, a remeshing
process occurs
Variables: Ice and snow
thickness; Ice
concentration; Ice
damage; Internal stress
tensor; Sea ice velocity
https://www.youtube.com/watch?v=cFfQsu6xWZ4
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 9 / 32
13. Section 2 Challenges in sea ice data assimilation
The number of edges and vertices changes in time
=⇒ the state space dimension changes in time!
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 10 / 32
14. Section 2 Challenges in sea ice data assimilation
The changing state space dimension poses a challenge
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 11 / 32
15. Section 2 Challenges in sea ice data assimilation
1 dimensional model problem: Burgers’ equation
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 12 / 32
16. Section 2 Challenges in sea ice data assimilation
Adaptive mesh is coupled to the evolution of the dynamical
field u
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 13 / 32
17. Section 2 Challenges in sea ice data assimilation
The minimum mesh size defines a fixed dimensional state
space: one point per interval of size δ1
Numerical experiments using this approach,
with EnKF as the data assimilation scheme
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 14 / 32
18. Section 2 Challenges in sea ice data assimilation
EnKF with fixed dimensional state space defined using
supermesh
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 15 / 32
19. Section 2 Challenges in sea ice data assimilation
Various future directions
A different choice for the reference mesh, using the maximum cell
size, leading to multiple grid points in a cell
Updating the mesh locations during the assimilation step
Moving reference mesh, evolving according to some specified
dynamics
Applications to neXtSIM: definition of 2-dimensional supermesh
Thanks to Colin Guider for the slides and the results in this section
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 16 / 32
20. Section 3 Role of unstable subspace in data assimilation
Outline
Data assimilation: 3 minute introduction
Challenges in sea ice data assimilation
Role of unstable subspace in data assimilation
Role of model error in data assimilation
Thanks to Anugu Sumith Reddy for the slides in this section
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 17 / 32
21. Section 3 Role of unstable subspace in data assimilation
Let us recall Kalman filter
Linear Gaussian case:
Linear model: m(xt) = Mtxt
Linear observation operator: h(xt) = Htxt
Gaussian noise: ζt ∼ N(0, Qt) and ηt ∼ N(0, Rt)
Gaussian initial condition: x0 ∼ N(xa
0 , ∆0)
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
The Kalman filter algorithm is summarized as
(xf
0 , Σ0) → (xa
0 , ∆0) → · · · (xa
t−1, ∆t−1)
forecast
−→ (xf
t , Σ1)
update
−→ (xa
t , ∆t) · ·
Main questions we ask (and answer1): does the following sequence
converge, and what are the asymptotic properties?
Σ0 → ∆0 · · · → Σt → ∆t · · ·
t→∞
−→ Σ → ∆
1
Gurumoorthy et al. doi:10.1137/15M102857395 and Bocquet et al.
doi:10.1137/16M10677128
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 18 / 32
22. Section 3 Role of unstable subspace in data assimilation
Null space of Σt contains the stable Lyapnuov subspace,
rate of convergence ∼ Lyapunov exponents
in the case Qt = 0 for all t (deterministic dynamics): The stable
backward Lyapunov subspace2 of the dynamics is contained within
the null space of Σt asymptotically in time (as t → ∞):
if ut
k is left singular vector of Mt:0 with λt
k < 0, then
lim
t→∞
Σtut
k = 0
Thus,
lim
t→∞
rank(Σt) = min {n0, rank(Σ0)}
where n0 is the dimension of unstable-neutral space = number of
non-negative Lyapyunov exponents.
2
in case it is well defined
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 19 / 32
23. Section 3 Role of unstable subspace in data assimilation
Current work: similar results for continuous time
Kalman-Bucy filter
dxt = Atxtdt , dyt = Ctxtdt + R
1
2
t dWt , x0 ∼ N(m, P)
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 20 / 32
24. Section 3 Role of unstable subspace in data assimilation
Stability and projection onto unstable subspace
If ξi are the Lyapunov exponents for ΦT (t, t0), we show that
and hence, projection of Pt onto the “stable subspace” goes to zero
exponentially in time. Futher,
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 21 / 32
25. Section 3 Role of unstable subspace in data assimilation
Work in progress and future directions
The above direction of research is motivated by the work of Trevisan,
Carrassi, et al. on the set of methods called “assimilation in unstable
subspace” (AUS)
Relation of the stability result to integral separation and exponential
dichotomy (with Erik Van Vleck)
Small noise limits of linear filtering problem and large deviations
Stability results for linear case with non-Gaussian initial conditions
Eventually stability results for nonlinear filters for deterministic
dynamical systems
Thanks to Anugu Sumith Reddy for the slides and the results in this
section
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 22 / 32
26. Section 4 Role of model error in data assimilation
Outline
Data assimilation: 3 minute introduction
Challenges in sea ice data assimilation
Role of unstable subspace in data assimilation
Role of model error in data assimilation
Time
true
trajectory
observations
h: obs.
function
obs. error
ensemble
forecast
updated
ensemble
arrows indicate data
assimilation process obs.
space
state
space
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 23 / 32
27. Section 4 Role of model error in data assimilation
Outline
Data assimilation: 3 minute introduction
Challenges in sea ice data assimilation
Role of unstable subspace in data assimilation
Role of model error in data assimilation
Time
true
trajectory
observations
h: obs.
function
obs. error
ensemble
forecast
updated
ensemble
arrows indicate data
assimilation process obs.
space
state
space
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 24 / 32
28. Section 4 Role of model error in data assimilation
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 25 / 32
29. Section 4 Role of model error in data assimilation
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 26 / 32
30. Section 4 Role of model error in data assimilation
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 27 / 32
31. Section 4 Role of model error in data assimilation
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 28 / 32
32. Section 4 Role of model error in data assimilation
Statistics for representativeness error
True trajectories are solutions of ˙w = g(w)
Model trajectories are solutions of ˙wd = f (wd )
Choose observation space and the observation operators y = h(π(w))
and y = hc(wd )
Fix τ. Solve the above two on time interval (0, τ), starting with the
same initial condition w0. What is the probability distribution of
h(π(w(τ))) − hc(wd (τ))?
Use that probability distribution as (state dependent) observational
noise
Compare with choosing state independent observational noise
(relation to inflation??)
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 29 / 32
33. Section 4 Role of model error in data assimilation
Possible setup for implementing the above strategy
Lagrangian data assimilation
Truth: ¨x + ˙x = u(x, t)
Model: ˙x = u(x, t)
Lorenz-96: a well-studied chaotic system with attractor
Truth:
˙xi = (xi+1 − xi−2)xi−1 − xi + F − α
J
j=1
yj,k
˙yj,k = −γ(yj+2,k − yj−1,k)yj+1,k − βyj,k + αxk
Model:
˙xi = (xi+1 − xi−2)xi−1 − xi + F
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 30 / 32
34. Section 4 Role of model error in data assimilation
Some preliminary results on 2-dim Henon map
Truth: xt+1 = 1 − ax2
t + yt , yt+1 = bxt with (a, b) = (1.4, 0.3)
Model: Same map with (a , b ) = (a, b) + (0.001, 0.001)
0.00000.00050.00100.0015
0
50
100
150
200
250
k = 1
0.0000 0.0025 0.0050
0
50
100
150
200
250
k = 2
0.00 0.01
0
100
200
300
400
k = 3
0.00 0.02
0
100
200
300
400 k = 4
0.025 0.000 0.025 0.050
0
100
200
300
400 k = 5
0.1 0.0 0.1 0.2
0
100
200
300
400 k = 8
0.5 0.0 0.5
0
100
200
300
400
500
600
k = 10
2 0 2
0
100
200
300
400
500
600
700
k = 12
2 0 2
0
100
200
300
400
k = 15
2 0 2
0
50
100
150
200
global
Representativeness error depends on time between observations (denoted
by k here), and may be highly non-Gaussian.
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 31 / 32
35. Section 4 Role of model error in data assimilation
Various future directions
Find a better name for representativeness error
State dependence of representativeness error
Develop a framework for using representativeness error in data
assimilation
Thanks to SAMSI (not for the slides in this section but) for providing an
excellent opportunity for the members of the data assimilation working
group to discuss these and other ideas
Amit Apte (ICTS-TIFR, Bangalore) Data Assimilation working group ( apte@icts.res.in ) p. 32 / 32