3. Method
Observe that if
R is ignored, the desired left-hand side (LHS) for (
3) is thaw depth difference:
However, only subsidence difference and
are measured. To see if subsidence difference can be related to thaw depth difference, (
1) is analyzed as a ratio:
For convenience,
is introduced. Next, a list of candidate
on some large interval of possible thaw depths is generated, and corresponding
is computed using (
7) for a fixed
K. The subsidence for each candidate
and
can be computed using (
2). A plot of candidate thaw depth differences and corresponding subsidence differences can then be constructed. See
Figure 2 for examples of this plot for two soil porosity models. Each of these models is explained in [
8]. As shown in the bottom two figures, a particular subsidence difference can unambiguously be mapped to a thaw depth difference. Intuitively, this is because (
7) enables multiplicative growth of
with respect to
. Consequently, the hope is that (
2) enables subsidence difference to grow strictly monotonically. Put another way, for each interferogram,
K (which is known) acts as a constraint parameter that helps search the space of possible thaw depth pairs
and
. Corresponding subsidences can be computed and a graph can depict whether subsidence difference can be related to thaw depth difference. Of course, there is no guarantee this will work for all soil porosity models. A counterexample is discussed in
Section 3.1. Also, note that in
Figure 2 the bottom images demonstrate the effect of
K on the method’s robustness. For the constant porosity model, there is no effect because the thaw depth difference is linearly related to the subsidence difference. For the “mixed soil model,” the slope is higher in the bottom-left image, making it easier to identify a particular thaw depth difference from a given subsidence difference. This is because larger
K make the thaw depth pair have smaller values for the same thaw depth difference, which then exhibit larger subsidence gradients, as the top-right plot shows.
This method is summarized in Algorithm 1. (
3) can be recast as:
Algorithm 1:Self-Consistent ReSALT LHS Retrieval |
- Require:
- Require:
- Require:
- Require:
- Require:
- 1:
▹ Step size for linear spacing
- 2:
fordo
- 3:
- 4:
- 5:
- 6:
▹ f is defined in ( 2)
- 7:
end for
- 8:
if not check_monotonically_changing then
- 9:
raise Error(“Fails SCReSALT requirement.”)
- 10:
end if
- 10:
This can be done with binary search, which enables fast solving for hundreds of pixels. Using a root-finding approach like Newton’s method would be slower.
- 11:
Find k such that is closest to D
- 12:
return
|
where
is the best-matching thaw depth difference reported for each
via Algorithm 1. This now forms a self-consistent modeling of thaw, temperature, and ground subsidence under variable soil porosity models. Hence, this new method is called SCReSALT (Self-Consistent ReSALT). Least-squares inversion gives the best
N. (
1) can then be used to find the thaw depth at any point in the thaw season.
To extend the formulation to multiple years, the long-term trend R must be discounted from before following the above approach. ReSALT jointly inverts for R and E, but a self-consistent model cannot do that. So, R must be estimated independently of and prior to N. Solving this is out-of-scope for this paper, but here are some ideas.
- (i)
Form interferograms across multiple years at the start of the thaw season, ideally when . Any observed subsidence can be attributed to R. Compute the best-fit R that solves all .
- (ii)
Compute an initial estimate of
N by solving (
8).
N could be solved either per thaw season (which makes
) or overall. Then, form interferograms across multiple years at the start of the thaw season and remove the subsidence contribution due to any initial thaw. This is known because the subsidence contribution due to initial thaw can be written as:
. Note
denotes
N for the thaw season in the 2nd SAR image in the
ith interferogram.
means the same for the 1st SAR image. Compute the best-fit
R that solves all
.
Once
R is known, the multi-year problem can be solved using (
8) but instead of giving Algorithm 1 the observed subsidence difference
, give it
.
For completeness, it is worth noting that both ReSALT and SCReSALT do not need both SAR acquisitions to be during the thaw season. One acquisition could be before the thaw season, in which case
can be assumed for that acquisition. Hence, any measured subsidence difference can be modeled as the true subsidence at that point. ReSALT can directly use (
3). SCReSALT would need a slight modification because it operates using ratios. Algorithm 1 could be modified such that if
, simply report
. Similarly, if
, report
.
Lastly, in
Appendix A, the Stefan equation is shown to also depend on a constant porosity model.
Appendix D introduces SCReSALT-NS which relaxes this constraint. `NS’ stands for `non-Stefan’.
3.1. SCReSALT Counterexample Discussion
In
Appendix C, a counterexample that does not meet the SCReSALT requirement is derived. Some possible solutions are described below.
- (i)
If a subsidence difference vs thaw depth difference graph can uniquely identify a subset of thaw depth differences, one could use the known thaw depth differences and the expectation that thaw depth only increases with time to select the right thaw depth.
- (ii)
Make sure to get a SAR acquisition before the thaw season starts. The measured subsidence difference is now true subsidence. Handling this was described earlier.
Note that any soil porosity model can be tested to see if it meets the SCReSALT requirement using Algorithm 1.
4. Experiments
To assess the practical improvement of SCReSALT, it is benchmarked against the results reported in [
9]. [
9] applies ReSALT to Utqiagvik (formerly Barrow), Alaska and uses the “mixed soil model” to predict ALT from 2006 to 2010. Metrics are extracted from the paper and the data product they release, which can be found at
https://daac.ornl.gov/ABOVE/guides/ReSALT_InSAR_Barrow.html. [
9] uses data from the U1 CALM
3 plot. It uses L-band ALOS-PALSAR data and generates interferograms using the ISCE2 framework
4. The paper defines the
metric:
where
e is the uncertainty in the measurement. In [
9],
cm. If
, it is called a “great match.” If the
is within the uncertainty of
, it is called a “good match." Otherwise, it is called a “bad match.” Uncertainty analysis is not described in this paper, but in brief, it could be computed by assigning an uncertainty distribution to each ReSALT/SCReSALT parameter and either analytically propagating that into a prediction uncertainty or more practically using numerical simulation. This work uses the fact that [
9] stated that the ReSALT uncertainty is roughly twice that of the measurement uncertainty. Hence,
cm. Other experimental details are described in
Appendix E. Results are shown in
Table 1.
5. Results
The metrics reported in [
9] closely match the results computed from the data product. The “good match” category is a little worse because
is not precisely known. That then influences the “bad match” category. Otherwise, the alignment is high, meaning there is high confidence in the derived Pearson
R, mean absolute error (MAE), and RMSE values. The author also attempted to reproduce ReSALT but generally obtained worse numbers. It is difficult to get precise replication without source code, which is not available for [
9]. Regardless, SCReSALT is shown to outperform ReSALT on virtually all metrics and handles outliers better given its reduced RMSE and
. If compared to the reproduced ReSALT, SCReSALT’s improvement is even stronger. Furthermore, SCReSALT-NS demonstrates improvement over SCReSALT, suggesting that incorporating non-Stefan thaw dynamics can improve modeling accuracy. Also, the author was puzzled by the ReSALT data product’s low Pearson
R. It is not clear why, but given the high measurement uncertainty, it is possible to have many “great matches” despite no correlation between predicted and ground-truth ALTs.
6. Conclusion
This work presents SCReSALT and SCReSALT-NS, two algorithms that modify ReSALT to enable self-consistent modeling of thaw, temperature, and ground subsidence in permafrost. It describes the conditions where SCReSALT can be used and shows its applicability to previously developed soil models. It is also shows that SCReSALT doesn’t work on all soil models. Possible solutions are discussed, but exploring them is left to future work. Experimentally, SCReSALT demonstrates significant improvement in estimating ALTs in Utqiagvik, Alaska. The author recommends that SCReSALT become a standard tool in permafrost thaw modeling.
Conflicts of Interest: The author declares no conflicts of interest.