Unsolved

Multiple change-point inference for piecewise constant diffusivity

Sourced from the work of Markus Reiß, Claudia Strauch, Lukas Trottner

§ Problem Statement

Setup

Consider a one-dimensional stochastic heat equation with multiple change points in piecewise-constant diffusivity and local spatial measurements at resolution δ0\delta\to 0. Let (Ω,F,(Ft)0tT,P)(\Omega,\mathcal F,(\mathcal F_t)_{0\le t\le T},\mathbb P) be a filtered probability space, T(0,)T\in(0,\infty) fixed, and let WW be a cylindrical Wiener process on L2(0,1)L^2(0,1). Consider

{dX(t,x)=x ⁣(ϑ(x)xX(t,x))dt+dW(t,x),(t,x)(0,T]×(0,1),X(0,x)=0,x(0,1),X(t,0)=X(t,1)=0,t[0,T],\begin{cases} dX(t,x)=\partial_x\!\big(\vartheta(x)\partial_x X(t,x)\big)\,dt+dW(t,x), & (t,x)\in(0,T]\times(0,1),\\ X(0,x)=0, & x\in(0,1),\\ X(t,0)=X(t,1)=0, & t\in[0,T], \end{cases}

with piecewise-constant diffusivity

ϑ(x)=j=1m+1ϑj1(τj1,τj](x),0=τ0<τ1<<τm<τm+1=1,\vartheta(x)=\sum_{j=1}^{m+1}\vartheta_j\,\mathbf 1_{(\tau_{j-1},\tau_j]}(x),\qquad 0=\tau_0<\tau_1<\cdots<\tau_m<\tau_{m+1}=1,

where mN0m\in\mathbb N_0, jump locations (τj)j=1m(\tau_j)_{j=1}^m, and levels (ϑj)j=1m+1(\vartheta_j)_{j=1}^{m+1} are unknown, subject to 0<ϑϑjϑ<0<\underline\vartheta\le\vartheta_j\le\overline\vartheta<\infty.

For δ=1/n0\delta=1/n\to0, let xk=kδx_k=k\delta and KH2(R)K\in H^2(\mathbb R) be compactly supported, with Kδ,k(x)=δ1/2K((xxk)/δ)K_{\delta,k}(x)=\delta^{-1/2}K((x-x_k)/\delta). In line with the single-jump setup, use both local measurements

Yδ,k(t)=X(t,),Kδ,kL2(0,1),Zδ,k(t)=X(t,),ΔKδ,kL2(0,1),0tT,Y_{\delta,k}(t)=\langle X(t,\cdot),K_{\delta,k}\rangle_{L^2(0,1)},\qquad Z_{\delta,k}(t)=\langle X(t,\cdot),\Delta K_{\delta,k}\rangle_{L^2(0,1)},\qquad 0\le t\le T,

for admissible kk (with support inside (0,1)(0,1)), where in 1D Δ=xx\Delta=\partial_{xx}.

Unsolved Problem

Under explicit minimal-spacing and minimal-jump conditions, e.g.

min1jm+1(τjτj1)sδ,min1jmϑj+1ϑjaδ,\min_{1\le j\le m+1}(\tau_j-\tau_{j-1})\ge s_\delta,\qquad \min_{1\le j\le m}|\vartheta_{j+1}-\vartheta_j|\ge a_\delta,

construct estimators of (m,τ1,,τm,ϑ1,,ϑm+1)(m,\tau_1,\dots,\tau_m,\vartheta_1,\dots,\vartheta_{m+1}) that are jointly consistent and characterize achievable rates and (where feasible) limit laws for location/level errors.

§ Discussion

Loading discussion…

§ Significance & Implications

The cited work analyzes a one-jump baseline model. Treating multiple jumps is a natural but nontrivial extension relevant for heterogeneous media and for connecting SPDE inverse problems with change-point/segmentation theory.

§ Known Partial Results

  • Reiß et al. (2023): Available results in the cited preprint cover the one-jump case (including rates and a faint-signal limit theorem in a restricted setting). No claim is made here that optimal 1D multi-jump theory is currently unresolved without dedicated, up-to-date verification.

§ References

[1]

Change Point Estimation for a Stochastic Heat Equation

Markus Reiß, Claudia Strauch, Lukas Trottner (2023)

arXiv preprint

📍 Abstract (first paragraph) and introductory setup for one unknown jump.

Primary accessible source for the single-jump model and results; multiple jumps are not formulated there as a numbered open problem.

[2]

Change Point Estimation for a Stochastic Heat Equation

Markus Reiß, Claudia Strauch, Lukas Trottner (2026)

Annals of Statistics (forthcoming/in press; final bibliographic details pending)

📍 Bibliographic publication-status record; not tied to a separate multi-jump theorem statement.

Journal-status record kept separate from preprint metadata; add DOI, volume, issue, and page range once finalized.

§ Tags