Complex trend inference for high-dimensional piecewise locally stationary time series
Pith reviewed 2026-05-23 19:06 UTC · model grok-4.3
The pith
AJDN recovers the number of jumps in high-dimensional time series with prescribed probability and near-optimal localization despite asynchronicity and nonstationarity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes that AJDN, a multiscale framework, consistently recovers the number of jumps with a prescribed asymptotic probability and achieves nearly optimal localization rates in the presence of asynchronicity and nonstationarity. Augmenting it with a homogeneity pursuit step produces AJDN-H, which identifies latent groups sharing common jump structures and trend parameters, enabling efficient information pooling and more accurate trend estimation under the same conditions.
What carries the argument
AJDN, the Asynchronous Jump Detection under Nonstationary Noise multiscale framework, which identifies and localizes jumps while handling nonstationarity and asynchronicity before a homogeneity pursuit step groups dimensions for pooled trend estimation.
If this is right
- AJDN recovers the number of jumps with a prescribed asymptotic probability.
- AJDN achieves nearly optimal localization rates even with asynchronicity and nonstationarity.
- AJDN-H improves trend estimation accuracy by pooling information across identified groups.
- The procedure remains robust in finite samples and demonstrates utility on financial data.
Where Pith is reading between the lines
- The separation of jump detection from group identification allows each component to be refined independently in follow-on work.
- The efficiency gains from homogeneity pursuit scale with how many dimensions truly share structures, suggesting a diagnostic for group strength could be added.
Load-bearing premise
The observed series arise from piecewise smooth signals that possess latent group structures allowing dimensions to share common jump locations and trend parameters.
What would settle it
A simulation or dataset with known jump locations, nonstationary noise, and asynchronicity in which AJDN fails to recover the correct number of jumps at the claimed asymptotic probability would falsify the consistency result.
Figures
read the original abstract
This paper studies high-dimensional trend inference for piecewise smooth signals under nonstationary noise and asynchronous structural breaks by first detecting asynchronous changes without assuming stationarity and then further exploiting latent group structures to estimate trend functions. In the first step, we propose AJDN (Asynchronous Jump Detection under Nonstationary Noise), a multiscale framework for the identification and localization of jumps in high-dimensional time series. We show that AJDN consistently recovers the number of jumps with a prescribed asymptotic probability and achieves nearly optimal localization rates in the presence of asynchronicity and nonstationarity, both of which often violate the assumptions of existing high-dimensional change point methods and thereby deteriorate their performance. In the second step, we augment AJDN with a homogeneity pursuit step and obtain AJDN-H, which identifies latent groups of dimensions that share common jump structures and trend parameters given the detected jumps. This allows for efficient information pooling and improves the accuracy of trend estimation under both asynchronicity and nonstationarity. The robustness and finite-sample performance of the proposed methodology are examined by extensive simulation studies. An application to financial data demonstrates the practical utility of the AJDN-H framework in complex, high-dimensional settings.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes AJDN, a multiscale framework for detecting and localizing asynchronous jumps in high-dimensional piecewise locally stationary time series under nonstationary noise without requiring stationarity assumptions. It establishes that AJDN consistently recovers the number of jumps with a user-prescribed asymptotic probability and attains nearly optimal localization rates. The paper then introduces AJDN-H, which augments AJDN with a homogeneity-pursuit step to identify latent groups of dimensions sharing common jump locations and trend parameters, enabling pooled estimation of the trend functions. Theoretical claims are supported by simulation studies and an application to financial data.
Significance. If the stated consistency and rate results hold under the piecewise-smooth-signal model, the work would meaningfully extend high-dimensional change-point methodology by accommodating asynchronicity and nonstationarity, settings that degrade existing procedures. The explicit separation of the detection step from the subsequent grouping step, together with the practical demonstration on financial series, strengthens the contribution.
minor comments (4)
- [Model and assumptions] The precise definition of the piecewise-smooth class (smoothness index, jump-size lower bound) should be stated explicitly in the model section before the consistency theorem, as it directly governs the localization rate.
- [Main theoretical result] In the statement of the localization rate, clarify whether the nearly-optimal claim is with respect to the minimax rate derived in the paper or to a cited lower bound from the literature; add the relevant reference if the latter.
- [Numerical studies] The simulation section reports recovery probabilities but does not tabulate the empirical coverage of the prescribed asymptotic probability across the range of dimensions and noise levels considered; adding such a table would strengthen the finite-sample validation.
- [AJDN algorithm] Notation for the multiscale scanning statistic should be introduced once and used consistently; currently the same symbol appears to be overloaded between the single-scale and aggregated versions.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive evaluation of the manuscript, including the accurate summary of the AJDN and AJDN-H contributions and the recommendation for minor revision. No specific major comments were raised in the report.
Circularity Check
No significant circularity identified
full rationale
The abstract and description present AJDN as a multiscale framework with claimed consistency and rate results for jump recovery under nonstationarity and asynchronicity, followed by a homogeneity pursuit step for AJDN-H. No equations, derivation steps, fitted parameters renamed as predictions, or self-citation chains are visible in the provided material. The central claims are stated as theoretical results without any reduction to inputs by construction or load-bearing self-references that would require external verification within the text. The derivation is therefore treated as self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
AJDN applies W(·), an optimal jump-pass filter … Gmax(T)=sup … |H(t,s,r)|/σ̂r,t … multiplier bootstrap …
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
piecewise locally stationary (PLS) process … δκ(L,i)=O(χ^i) … long-run variance σ²lrv,r(t) Lipschitz
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Aue, A. and Horv´ ath, L. (2013). Structural breaks in time series.Journal of Time Series Analysis , 34(1):1–16. Bai, Y. and Safikhani, A. (2022). A unified framework for change point detection in high- dimensional linear models. arXiv preprint arXiv:2207.09007 . Bardwell, L., Fearnhead, P., Eckley, I. A., Smith, S., and Spott, M. (2019). Most recent chan...
-
[2]
Chernozhukov, V., Chetverikov, D., and Kato, K. (2017). Central limit theorems and bootstrap in high dimensions. The Annals of Probability , 45(4):2309–2352. Cho, H. (2016). Change-point detection in panel data via double CUSUM statistic. Electronic Journal of Statistics , 10(2):2000 –
work page 2017
-
[3]
Cho, H. and Fryzlewicz, P. (2018). hdbinseg: Change-Point Analysis of High-Dimensional Time Series via Binary Segmentation . R package version 1.0.1. Dette, H. and G¨ osmann, J. (2018). Relevant change points in high dimensional time series. Elec- tronic Journal of Statistics , 12(2):2578 –
work page 2018
-
[4]
Dette, H. and Wu, W. (2024). Confidence surfaces for the mean of locally stationary functional time series. Statistica Sinica, to appear with doi:10.5705/ss.202023.0150 . Dumbgen, L. (1991). The asymptotic behavior of some nonparametric change-point estimators. The Annals of Statistics , 19(3):1471–1495. Enikeeva, F. and Harchaoui, Z. (2019). High-dimensi...
-
[5]
Gao, J., Gijbels, I., and Van Bellegem, S. (2008). Nonparametric simultaneous testing for structural breaks. Journal of Econometrics , 143(1):123–142. Grundy, T., Killick, R., and Mihaylov, G. (2020). High-dimensional changepoint detection via a geometrically inspired mapping. Statistics and Computing , 30(4):1155–1166. Hardy, M. R. (2001). A regime-switc...
-
[6]
Wang, T. and Samworth, R. (2020). InspectChangepoint: High-Dimensional Changepoint Estima- tion via Sparse Projection . R package version 1.1. Wang, T. and Samworth, R. J. (2018). High dimensional change point estimation via sparse projection. Journal of the Royal Statistical Society: Series B (Statistical Methodology) , 80(1):57–
work page 2020
-
[7]
Wu, W. (2005). Nonlinear system theory: Another look at dependence. Proceedings of the National Academy of Sciences, 102(40):14150–14154. Wu, W. and Zhou, Z. (2018). Gradient-based structural change detection for nonstationary time series m-estimation. The Annals of Statistics , 46(3):1197–1224. Wu, W. and Zhou, Z. (2024). Multiscale jump testing and esti...
work page 2005
-
[8]
Notice that ∥II r,1(t) − EII r,1(t)∥log p = ∥ X i∈Kr,lef t(t) ∞X j=0 Pi−jϵ2 r,i∥log p ≤ ∞X j=0 ∥ X i∈Kr,lef t(t) Pi−jϵ2 r,i∥log p (46) By Burkholder inequality of martingale difference (Rio (2009)), we have ∥ X i∈Kr,lef t(t) Pi−jϵ2 r,i∥2 log p ≤ C log p X Kr,lef t(t) ∥Pi−jϵ2 r,i∥2 log p ≤ C log p X Kr,lef t(t) ∥ϵ2 r,i − (ϵ(i−j) r,i )2∥2 log p (47) for som...
work page 2009
-
[9]
Assume conditions (M), (A), (B), then max 1≤r≤p sup t∈(Tr,d∪idr,i)∩Tr,c |Eˆσ2 r,t − σ2 r(t)| = O(¯s2 max + 1 n¯smin ). (62) Proof. By the proof of Proposition 1, we have E( X i∈Kr,lef t (yr,i − ¯yr,lef t(t))2) = Ir,lef t(t) + E(II r,lef t(t)), (63) where as defined in Ir(t) and II r(t) of Proposition 1, Ir,lef t(t) = X i∈Kr,lef t(t) (βr(ti) − ¯βr,lef t(t)...
work page 2010
-
[10]
Meanwhile, Ir,lef t(t) and Ir,right(t) are nonnegative for 1 ≤ r ≤ p
By condi- tion (M), it follows that for 1 ≤ r ≤ p and t ∈ [¯sr, 1− ¯sr], |Ir,lef t(t)|/|Kr,·(t)| and |Ir,right(t)|/|Kr,·(t)| are uniformly bounded. Meanwhile, Ir,lef t(t) and Ir,right(t) are nonnegative for 1 ≤ r ≤ p. Observ- ing (67) and (70), by condition (A5) we have for n sufficiently large, there exist positive constants ˜M1 and ˜M2 such that ˜M1 ≤ E...
work page 2024
-
[11]
(74) Further assume that |∆r,i,n| s+ 1 ns → ∞
Then uniformly for all t ∈ [dr,i − s, dr,i + s], 1 ≤ i ≤ mr,n, we have ˜G(t, s, r) = √ns∆r,i,n + O(√ns(s + 1 ns)) (73) where ∆r,i,n = βr(dr,i−) − βr(dr,i+), and if t ∈ (dr,i + s, dr,i+1 − s], 0 ≤ i ≤ mr,n then ˜G(t, s, r) = O(√ns(sk+1 + 1 ns). (74) Further assume that |∆r,i,n| s+ 1 ns → ∞. Then uniformly for |t − dr,i| ≤ s, 1 ≤ i ≤ mr,n we have that (i) ˜...
work page 2024
-
[12]
(81) Notice that H2(ti, sr,j, r) − H2(dr,v, sr,j, r) = Ir,v(ti, sr,j) + II r,v(ti, sr,j) + III r,v(ti, sr,j) (82) where Ir,v(ti, sr,j) = ˜G2(ti, sr,j, r) − ˜G2(dr,v, sr,j, r), (83) II r,v(ti, sr,j) = 2 ˜G(ti, sr,j, r) ˜H(ti, sr,j, r) − 2 ˜G(dr,v, sr,j, r) ˜H(dr,v, sr,j, r) (84) III r,v(ti, sr,j) = ˜H2(ti, sr,j, r) − ˜H2(dr,v, sr,j, r) (85) By Proposition ...
work page 2024
-
[13]
(129) We now show this theorem via two steps
Therefore by applying Proposition 7, we shall see that sup Ir∈Tr,d,1≤r≤p, x∈R P | sup 1≤r≤p 1≤j≤δn ti∈Ir | ˜H(ti, sr,j, r)|q Eˆσ2 r,t | ≤ x − P | sup 1≤r≤p 1≤j≤δn ti∈Ir | ˜H y(ti, sr,j, r)|q Eˆσ2 r,ti | ≤ x = O((nsmin)−1/8 log4 n). (129) We now show this theorem via two steps. Step (i). We compare sup 1≤r≤p 1≤j≤δn i:ti∈Ir | ˜H(ti,s,r)|√ Eˆσ2 r,ti with sup...
work page 2009
-
[14]
(175) The theorem then follows in view of (170), (171) and (175). Proof of Theorem 5 Proof. By the argument of Equation (51) we shall see that Ωκ := ∞X i=1 δκ(L, i) = O(κ2), (176) which means γ := lim sup κ→∞ Ωkκ1/2−1/(2/5) < ∞ (177) Then by the proof of (ii) of Theorem 4 of Wu and Zhou (2024) with β = 2/5 there (see also Theorem 4 of Wu (2005)), we have ...
work page 2024
-
[15]
Combining steps I, II and III we show (188) which completes the proof
Therefore Equation (188) with Θr,v(t) = Ir,v(t) holds. Combining steps I, II and III we show (188) which completes the proof. A.4 Gaussian Approximation for high dimensional nonstationary time series The next proposition extends the gaussian approximation for maximum of high dimensional time series of Zhang and Cheng (2018) to the approximations for the p...
work page 2018
-
[16]
(204) Moreover, by Lemma A.3 of Chernozhukov et al
Moreover, for every w ∈ Rp′ and τ ∈ [0, 1], for every z ∈ Rp′ such that max j≤p′ |zj|β ≤ 1, we have Ujk(w) ⪅ Ujk(w + τz) ⪅ Ujk(w), Ujkl(w) ⪅ Ujkl(w + τz) ⪅ Ujkl(w). (204) Moreover, by Lemma A.3 of Chernozhukov et al. (2013), we have |Fβ(w1) − Fβ(w2)| ≤ max 1≤j≤p |w1,j − w2,j| (205) for any p′ dimensional vectors w1 = (w1,1, ..., w1,p)⊤ and w2 = (w2,1, ......
work page 2013
-
[17]
Let {xi} be an M dependent vector and mean zero time series. Let yi, 1 ≤ i ≤ n be the Guassian random vectors which have the same autocovariance structure as xi, 1 ≤ i ≤ n. Let yW i and yW,S i be the vector define using yi, weight function W and scales skqk, 1 ≤ k ≤ p with evaluation points i/n such that skqk ≤ i/n ≤ 1 − skqk. through an analogue of (198)...
work page 2018
-
[18]
sup t∈[0,1] (2 √ t + √ 1 − t)Mxy/√nsmin ≤ √ 5(4M + 1)Mxy/√nsmin ≤ β−1. (210) Following the proof of Proposition 2.1 of Zhang and Cheng (2018) with slight modification we have that I2 ⪅ (G2 + G1β) Z 1 0 max 1≤j≤p nX i=1 |E( ˙Zij(t)V (i) k (t))| +(G3 + G2β + G1β2) Z 1 0 max 1≤k,j,l≤p nX i=1 E| ˙Zij(t)V (i) k (t)V(i) l (t)|dt := (G2 + G1β)I21 + (G3 + G2β + G...
work page 2018
-
[19]
Then we have sup A∈ARe |P(XW,S ∈ A) − P(YW,S ∈ A)| ⪅ (nsmin)−1/8 log4 n
Assume that p = O(nι) and δn = O(nι) for some ι > 0, and that there exist constant ι1 > ι 0 such that d1n−ι1 ≤ smin ≤ ¯smax < d 0n−ι0 for some small positive constant d1 and large constant d0. Then we have sup A∈ARe |P(XW,S ∈ A) − P(YW,S ∈ A)| ⪅ (nsmin)−1/8 log4 n. (219) Proof. Recall p′ =Pp s=1 msqs = O(nδnp) = O(n1+2ι). Let q be a sufficiently large con...
work page 2009
-
[20]
We evaluate ϕW,S(Mx, My). It is obvious that ϕW,S(Mx, My) ≤ ϕW,S(Mx) + ϕW,S(My) where ϕW,S(Mx) = max 1≤j,k≤p′ nX i=1 | X l:|l−i|≤M,1≤l≤n (E˜xW,S,(M) ij ˜xW,S,(M) lk − ExW,S,(M) ij xW,S,(M) lk )|, (224) ϕW,S(My) = max 1≤j,k≤p′ nX i=1 | X l:|l−i|≤M,1≤l≤n (E˜yW,S,(M) ij ˜yW,S,(M) lk − EyW,S,(M) ij yW,S,(M) lk )|. (225) 59 Notice that ϕW,S(Mx) = max 1≤j,k≤p 1...
work page 2018
-
[21]
1 1+q (p′χM/2) 1 1+q + √n¯smax log n M q x + np(exp(−tMx) + exp(−tM 2 y )) ⪅ (φ2 + φβ)(M −1 x + M −2 y ) + (φ3 + φ2β + φβ2)M 2/√nsmin + (φq) 1 1+q (p′χM/2) 1 1+q + √n¯smax log n M q x + np(exp(−tMx) + exp(−tM 2 y )) (236) subject to √ 5(4M + 1)(Mx ∨ My)/√nsmin ≤ β−1. On the other hand, notice that by Corollary 1 and condition (A), via Lemma E.4 of Wu and ...
work page 2024
-
[22]
By step 2 of the proof of Lemma 5.1 of Chernozhukov et al
Using the argument similar to Lemma A.2 of Zhang and Cheng (2018), we obtain that there exist positive constants c1 and c2 such that c1 ≤ V ar(X W,S,(M) j ), V ar(X W,S j ) ≤ c2, 1 ≤ j ≤ p′ (237) 61 Let C be a sufficiently constant only depending on c1. By step 2 of the proof of Lemma 5.1 of Chernozhukov et al. (2017), taking β = φ log p′, it is straightf...
work page 2018
-
[23]
for all φ ≥ 1 sup y∈Rp′ P(YW,S,(M) ≤ y) − P(YW,S,(M) ≤ y − φ−1) ≤ Cφ −1 log1/2 p′. (238) Combining with (236) and plugging β = φ log p′, we have that sup y∈Rp′ |P(XW,S ≤ y) − P(Y(W,S,(M)) ≤ y)| ⪅ (φ2 + φ2 log p′)(M −1 x + M −2 y ) + (φ3 + φ3 log p′ + φ3 log2 p′)M 2/√nsmin + (φq) 1 1+q (p′χM/2) 1 1+q + √n¯smax log n M q x + np′(exp(−tMx) + exp(−tM 2 y )) +...
work page 2018
-
[24]
Then following step 2 in the proof of Lemma 5.1 of Chernozhukov et al
Therefore m(w) = g(Fβ(w)) = g0(ϕFβ(w)) := mϕ(w). Then following step 2 in the proof of Lemma 5.1 of Chernozhukov et al. (2017), we shall see that for all φ ≥ 1, by taking β = φ log p, P(X ≤ y − φ−1) ≤ P(Y ≤ y − φ−1) + Cφ −1 log1/2 p + |E(mφ(X) − mφ(Y ))|, (244) P(X ≤ y − φ−1) ≥ P(Y ≤ y − φ−1) − Cφ −1 log1/2 p − |E(mφ(X) − mφ(Y ))|. (245) Here C is a const...
work page 2017
-
[25]
every component of Y is less than or equal to x
If Y is a p-dimensional centered Gaussian vector with strictly positive component-wise variance, it is a continuous random variable so P(||Y[A]|∞ − x| ≤ δ) = P(|Y[A]|∞ ≤ x + δ) − P(|Y[A]|∞ ≤ x − δ) = P(|Y[A]|e ≤ x + δ) − P(|Y[A]|e ≤ x − δ) = P(|Y[A]|e ≤ (x + δ)J[A]) − P(|Y[A]|e ≤ (x − δ)J[A]) = P(vec(Y[A], −Y[A]) ≤ vec((x + δ)J[A], (x + δ)J[A])) −P(vec(Y[...
work page 2003
-
[26]
Here due to the low signal to noise ratio AJDN has a tendency to overestimate the true number of jumps due to error in estimating where the true jump is in each dimension. Table 8: Power results for (IID) and (GS) error processes with and without trends. (IID) (IIDT) (GS) (GST) γ ∆ Scenario ¯m ˆmp MAD ¯m ˆmp MAD ¯m ˆmp MAD ¯m ˆmp MAD 0.020 2 1 1.982 0.920...
work page 2023
-
[27]
For computational reasons we set ( sr, ¯sr) = (s, ¯s) for all r = 1,
To select both s′ and {(s, ¯s)}p r=1 we select the combination of these parameters that minimize the average penalized-BIC across all dimensions. For computational reasons we set ( sr, ¯sr) = (s, ¯s) for all r = 1, . . . , p. Given that these companies report financial results every quarter throughout the year, we test a range of candidate ¯ s of approxim...
work page 2021
-
[28]
When comparing the performance of AJDN versus other methods, we see in Figure 13 that AJDN is able to identify both jumps specific to each individual stock, as well as times where jumps for both stocks occur around the same time. We see that both LOCLIN and DBLCUSUM are able to identify many of the jumps around quarterly earnings announcements, but appear...
work page 2021
-
[29]
Jump Date Major Event Date Quote 2021/02/08 2021/02/02 “Amazon CEO Jeff Bezos will leave his post later this year, turning the helm over to the company’s top cloud executive Andy Jassy.” 2021/04/15 2021/07/02 2021/07/06 “The Department of Defense announced Tuesday it’s calling off the $10 billion cloud contract that was the subject of a legal battle invol...
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.