Dependence-Aware KCPD Theory

• The paper introduces a dependence-aware framework for KCPD that formalizes m-dependence to capture local correlations in sequential data.
• It employs rigorous concentration analysis via Janson's inequality to derive oracle inequalities and robust segmentation guarantees.
• The theory bridges statistical segmentation with process calculi, enabling precise change-point localization and extending applicability to language data.

Dependence-aware theory for Kernel Change-Point Detection (KCPD) addresses the key challenge of statistical inference and segmentation under dependence structures intrinsic to real-world sequential data, such as text, where observations cannot be assumed independent. By formalizing and analyzing KCPD under $m$-dependent sequences—a finite-memory model capturing short-range dependence—the theory enables nonparametric consistency results and robust segmentation guarantees applicable to language and other domains exhibiting local correlation. The dependence-aware framework further develops connections to reversible process calculi, embedding structural relations like dependence, independence, and causality directly into the detection paradigm.

1. The $m$-Dependence Model

The $m$-dependence framework posits that a sequence $(Y_t)_{t=1}^T$ is $m$-dependent if any two non-overlapping blocks separated by more than $m$ indices are probabilistically independent. Specifically, for $|t'-t|>m$, $Y_t$ and $Y_{t'}$ are independent. This model is well-suited for text, where contextual dependencies decay beyond a short window. It retains sufficient complexity to model linguistic phenomena—such as local discourse coherence—while remaining analytically tractable for concentration and consistency analysis in the KCPD setting (Jia et al., 26 Jan 2026, Diaz-Rodriguez et al., 3 Oct 2025).

Formal Definition

Let $(Y_t)_{t=1}^T$ denote a sequence of random variables. The sequence is $m$0-dependent if, for all $m$1 such that $m$2, the $m$3-algebras generated by $m$4 and $m$5 are independent. This finite-memory assumption captures the prevalence of strong short-range, but negligible long-range, correlations in natural language data.

2. KCPD Objective and Penalized Population Risk

Given a sequence of embeddings $m$6 and a bounded, characteristic kernel $m$7 with associated RKHS $m$8 and feature map $m$9, the population segment cost for $m$0 is

$m$1

where $m$2 is the empirical within-segment RKHS scatter. For a candidate segmentation $m$3 of length $m$4, the penalized population risk is

$m$5

with a penalty parameter $m$6 to control over-segmentation. For $m$7-dependence, it is required that

$m$8

3. Statistical Guarantees: Oracle Inequality and Localization

Oracle Inequality

Let $m$9 be $(Y_t)_{t=1}^T$0-dependent and piecewise stationary with bounded characteristic kernel $(Y_t)_{t=1}^T$1. The empirical KCPD estimator

$(Y_t)_{t=1}^T$2

satisfies, with probability at least $(Y_t)_{t=1}^T$3,

$(Y_t)_{t=1}^T$4

with $(Y_t)_{t=1}^T$5. This inequality bounds the estimator's (population) penalized risk by the optimal attainable risk, up to a $(Y_t)_{t=1}^T$6 excess term that is only mildly inflated by $(Y_t)_{t=1}^T$7-dependence (Jia et al., 26 Jan 2026, Diaz-Rodriguez et al., 3 Oct 2025).

Localization Guarantee

Under further assumptions: detectability ($(Y_t)_{t=1}^T$8), minimum spacing ($(Y_t)_{t=1}^T$9), and signal dominance on mixed intervals, every true change point $m$0 is recovered by the estimator within a window of size $m$1, which is negligible compared to $m$2 as $m$3. Explicitly,

$m$4

Thus, KCPD under $m$5-dependence achieves nonparametric consistency both in the number and (in a weak sense) the location of change points as $m$6 increases.

4. Proof Techniques and Theoretical Machinery

The dependence-aware theory leverages several foundational tools:

• Uniform deviation of empirical RKHS costs $m$7 from their expectation $m$8 is obtained by applying Janson's inequality on dependency graphs with chromatic number $m$9. This yields exponential concentration and supports a union bound over all $m$0 segments.
• The non-oversegmentation result relies on stability: no subdivision of a homogeneous segment can decrease penalized risk, due to concentration and the lower bound on $m$1.
• In mixed intervals, careful lower bounding of segment cost reductions justifies that failing to estimate a true change incurs a detectable excess risk, thus enforcing location consistency.
• $m$2-dependence is essential in both the concentration analysis (controlling the effective variance via dependency graph methods) and in the population cost expansion (factorizing off-diagonal kernel terms beyond lag $m$3).

A plausible implication is that these concentration tools could be extended to more general dependence structures, such as $m$4-mixing or $m$5-mixing, although this remains an open direction (Jia et al., 26 Jan 2026, Diaz-Rodriguez et al., 3 Oct 2025).

5. Simulation and Empirical Validation

To empirically validate dependence-aware KCPD, synthetic documents were generated by prompting LLMs (GPT-4.1) to write sequentially in an $m$6-order Markov manner (conditioning each sentence on the previous $m$7). These synthetic sequences, with known boundaries and controlled $m$8, serve as testbeds to:

• Verify that segmentation errors (as measured by $m$9 error and WindowDiff) decrease as document length $|t'-t|>m$0 increases, consistent with the theory's $|t'-t|>m$1 window scaling.
• Confirm that the prescribed penalty scaling for $|t'-t|>m$2 ensures robust performance.
• Demonstrate practical segmentation reliability on both synthetic and real data, including Choi's synthetic benchmark, Wikipedia, arXiv abstracts, and Taylor Swift's tweets (Jia et al., 26 Jan 2026, Diaz-Rodriguez et al., 3 Oct 2025).

Table: Simulation Design Elements

Aspect	Specification	Purpose
Text Generation	GPT-4.1, $|t'-t|>m$3-Markov conditioning ($|t'-t|>m$4)	Enforce $|t'-t|>m$5-dependence
Segmentation	$|t'-t|>m$6 true change points	Mirror theoretical model
Evaluation	$|t'-t|>m$7 error, WindowDiff metrics	Quantify segmentation accuracy
Embeddings	sBERT, MPNet, OpenAI text-embedding-3	Test across modern text embedding models

6. Structural Dependence: Process Calculi and Bisimulation

While the statistical theory of KCPD addresses dependence via $|t'-t|>m$8-dependent random sequences, dependence-aware semantics has also been formalized for process calculi—systems modeling concurrent computations using labeled transition systems with communication keys and proof labels (Aubert et al., 2024). In this setting:

• Dependence and independence relations between proof labels or transitions are formalized and shown to be complementary on connected transitions (Theorem 8).
• Canonicity results guarantee uniqueness of independence relations and thus of derived causality and conflict.
• Key-preserving (KP) and dependence-preserving (DP) bisimulations offer behavioral equivalence notions; for standard processes, KP and DP bisimulations coincide (Theorem 28).

A plausible implication is that such semantic notions can be instantiated analogously in KCPD frameworks, with keys representing segment boundaries and dependency relations controlling the granularity and compositionality of change-point detection.

7. Limitations and Open Problems

Current dependence-aware KCPD is limited by the strictness of the $|t'-t|>m$9-dependence assumption—real text may exhibit decaying, not finite, memory. Extending theoretical guarantees to more realistic dependence structures such as $Y_t$0-mixing or $Y_t$1-mixing sequences remains an open direction. Additionally:

• The penalty parameter $Y_t$2 and window size $Y_t$3 are conservatively set via worst-case uniform concentration; tighter or adaptive selection under dependence is not yet established.
• Theoretical analysis presumes characteristic kernel functions, whereas in practice non-characteristic kernels (e.g., cosine similarity) may outperform or be preferred in NLP applications—establishing dependence-aware theory for such kernels is unresolved.
• Long-range dependence (such as topic drift) may necessitate new statistical tools, such as self-normalization or block bootstrap (Jia et al., 26 Jan 2026).

The dependence-aware theory for KCPD provides the first comprehensive nonparametric consistency analysis and empirical foundation for segmentation under short-range dependence, unifying concentration, risk bounds, and localization guarantees (Jia et al., 26 Jan 2026, Diaz-Rodriguez et al., 3 Oct 2025). The structural approaches from the process calculi literature further invite extensions to compositional and semantic analyses of dependency in KCPD systems (Aubert et al., 2024).