---
title: Defected Temporal Graphs (DTGs)
url: https://www.emergentmind.com/topics/defected-temporal-graphs-dtgs
type: topic
---

# Defected Temporal Graphs (DTGs)

Defected Temporal Graphs (DTGs) are temporal graph structures introduced as graph-theoretic certificates for stability of time-varying Friedkin–Johnsen opinion dynamics. In this setting, temporal connectivity is not studied as an end in itself: the decisive question is whether stubborn influence repeatedly reaches all agents through temporally valid paths, so that the homogeneous state-transition matrix becomes contractive. A DTG encodes this quantitative condition, while a Weakly Defected Temporal Graph (WDTG) encodes a weaker qualitative variant; together they connect temporal graph structure, products of nonnegative substochastic matrices, and the long-run behavior of evolving opinion systems [2510.01580].

## 1. Conceptual position within temporal graph theory

Temporal graphs are commonly formalized either as event-expanded graphs built from time-stamped node instances and waiting edges, or as sequences of snapshots such as \(G=(V,E_0,E_1,\ldots,E_{\tau-1})\) [0807.2357] [2602.12446]. DTGs belong to this broader temporal-graph landscape, but they are not a generic representation class of the form “any graph with defects.” They arise inside a specific dynamical-systems problem: the stability analysis of time-varying Friedkin–Johnsen dynamics [2510.01580].

The word “defected” is therefore specialized. In the DTG framework, the relevant defect is a **row-sum defect** in the matrix \(\Lambda[t]W[t]\), caused by stubbornness. If agent \(i\) satisfies \(\lambda_i[t]<1\), then the \(i\)-th row of \(\Lambda[t]W[t]\) sums to less than one, and that deficiency can propagate through time along influence paths. A DTG is precisely a temporal graph window in which this propagated defect reaches all agents strongly enough to imply contraction of the state-transition product [2510.01580].

This meaning should be distinguished from several neighboring uses of “defect” in temporal-graph research. In some work, defects refer to data inconsistencies or rule violations; in others, to temporal-orientation obstructions or to damage/noise in predictive graph learning. DTGs, in the strict sense, are instead contraction certificates tied to stubborn influence in opinion dynamics. This positions the notion closer to stability theory than to anomaly detection, graph cleaning, or temporal representation learning [2510.01580].

## 2. Formal model, path structure, and definitions

The underlying dynamics are the time-varying Friedkin–Johnsen model over agents
\[
\mathcal{V}=\{\mathrm{v}_1,\ldots,\mathrm{v}_n\},
\]
with expressed opinions \(\mathbf{x}[t]\) and innate opinions \(\mathbf{s}\). The update equation is
\[
\mathbf{x}[t+1]=\Lambda[t]W[t]\mathbf{x}[t]+(I-\Lambda[t])\mathbf{s},
\]
where \(W[t]\) is row-stochastic and
\[
\Lambda[t]=\operatorname{diag}(\lambda_1[t],\ldots,\lambda_n[t]), \qquad \lambda_i[t]\in[0,1].
\]
The state-transition matrix is
\[
\Phi(t,\tau):=
\begin{cases}
\displaystyle\prod_{k=\tau}^{t-1}\Lambda[k]W[k], & t>\tau,\\
I,& t=\tau.
\end{cases}
\]
The system is asymptotically stable if \(\lim_{t\to\infty}\|\Phi(t,\tau)\|=0\), and exponentially stable if there exist \(c>0\), \(\gamma\in(0,1)\) such that
\[
\|\Phi(t,\tau)\|\le c\,\gamma^{t-\tau},\qquad \forall\, t\ge \tau\ge 0
\]
[2510.01580].

At each time \(t\), the influence matrix induces a directed graph
\[
\mathcal G[t]=(\mathcal V,\mathcal E[t]),
\]
with
\[
\mathcal E[t]:=\{(\mathrm v_j,\mathrm v_i)\mid w_{ij}[t]>0\}.
\]
Thus \((\mathrm v_j,\mathrm v_i)\) means that agent \(j\) influences agent \(i\). Over an interval \([t_1,t_2]\), the temporal graph is
\[
\mathcal G_{t_1}^{t_2}=\{\mathcal G[k]\}_{k=t_1}^{t_2}.
\]
A temporal edge is the triplet \((\mathrm v_j,\mathrm v_i,t)\), and an edge is a \(w\)-edge if \(w_{ij}[t]\ge w\) for some threshold \(w>0\) [2510.01580].

The definitions of stubbornness are central. Agent \(\mathrm v_i\) is **stubborn** at time \(t\) if
\[
\lambda_i[t]<1,
\]
and **strictly stubborn** or **\(\epsilon\)-stubborn** if there exists \(\epsilon>0\) such that
\[
\lambda_i[t]\le 1-\epsilon.
\]
A temporal path starting at a stubborn agent is an \(s\)-path; a temporal path starting at an \(\epsilon\)-stubborn agent and using only \(w\)-edges is an influential-path [2510.01580].

The two key graph notions are then defined as follows.

| Notion | Requirement on every agent in a window \([t_0,t_d)\) | Strength |
|---|---|---|
| **WDTG** | stubborn, or connected to a stubborn agent via a finite \(s\)-path | qualitative |
| **DTG** | \(\epsilon\)-stubborn, or connected to an \(\epsilon\)-stubborn agent via a finite influential-path | quantitative |

More precisely, a temporal graph \(\mathcal G_{t_0}^{t_d}\) is a WDTG if there exists \(k\in[t_0,t_d)\) such that, in layer \(\mathcal G[k]\), every agent is either stubborn or connected to a stubborn agent via a finite \(s\)-path fully contained in \([t_0,t_d)\). It is a DTG if there exists \(k\in[t_0,t_d)\) such that, in layer \(\mathcal G[k]\), every agent is either \(\epsilon\)-stubborn or connected to an \(\epsilon\)-stubborn agent via a finite influential-path entirely within \([t_0,t_d)\) [2510.01580].

Two structural assumptions are also imposed. Assumption 1 states
\[
\lambda_i[t]=0 \iff w_{ij}[t]=0 \quad \forall \mathrm{v}_j\in\mathcal{V},
\]
and Assumption 2 excludes any time \(\tau\) such that \(\Lambda[\tau]=\mathbf{0}\) [2510.01580].

## 3. DTGs as quantitative contraction certificates

The main technical role of a DTG is to certify strict contraction of the homogeneous dynamics. The fundamental lemma states that if \(\mathcal G_{t_0}^{t_d}\) is a DTG, then
\[
\|\Phi(t_d,t_0)\|\le 1-\epsilon w^\delta,\qquad \delta:=t_d-t_0.
\]
This inequality is the core quantitative content of the definition: the window is not merely connected to stubborn agents, but connected strongly enough to force a uniform row-sum contraction [2510.01580].

The proof mechanism is structural. If an agent is itself \(\epsilon\)-stubborn, then its row sum is at most \(1-\epsilon\). If an agent is reached from an \(\epsilon\)-stubborn source by an influential-path of length \(\delta_i\), then at least \(w^{\delta_i}\) of the upstream defect propagates to that row, yielding a bound of the form
\[
\sum_{j=1}^n \phi_{ij}(t_d,t_0)\le 1-\epsilon w^{\delta_i}.
\]
Taking the maximal path length over agents produces the uniform estimate above [2510.01580].

This immediately extends to unions of DTG windows. If a time interval is partitioned into consecutive subintervals and \(\alpha\) of them are DTGs with lengths \(\delta_a\), then
\[
\|\Phi(t_d,t_1)\| \le \prod_{a=1}^{\alpha}\bigl(1-\epsilon w^{\delta_a}\bigr).
\]
Hence repeated DTG windows multiply strict contraction factors [2510.01580].

From this lemma, the principal stability results follow. If there exist infinitely many pairwise-disjoint finite intervals \([t_i,t_{i+1})\) such that each temporal graph \(\mathcal G_{t_i}^{t_{i+1}}\) is a DTG, then the TVFJ system is asymptotically stable. If, more strongly, every sliding window of fixed length \(p_s\) is defected—what the paper calls a semi-periodic defected network—then the system is exponentially stable with
\[
c=\frac{1}{(1-\varepsilon w^{p_s})^{p_s}}, \qquad
\gamma\le \sqrt[p_s]{1-\varepsilon w^{p_s}}
\]
[2510.01580].

WDTGs behave differently. If an interval contains at least one WDTG, then
\[
\|\Phi(t_d,t_0)\|<1,
\]
but no explicit quantitative factor like \(1-\epsilon w^\delta\) is available. This distinction is essential. The paper gives a counterexample for general TVFJ using
\[
W=\frac13\mathbf 1\mathbf 1^\top,\qquad \Lambda[t]=\lambda[t]I,\qquad \lambda[t]=1-\frac{1}{(t+1)^2},
\]
where each step is a WDTG, yet
\[
\lim_{t\to\infty}\|\Phi(t,0)\|>0.
\]
Thus WDTG recurrence alone does not guarantee asymptotic stability in the general model [2510.01580].

## 4. Trust-based extension, omega-limit structure, and robustness

The paper also studies a trust-based Friedkin–Johnsen extension in which the time variation is structured by a fixed trust matrix \(\hat W\) and a time-varying adjacency \(A[t]\). The weights are defined by
\[
w_{ij}[t] := \frac{a_{ij}[t]\hat w_{ij}}{\sum_{k\in\mathcal{N}_i[t]} a_{ik}[t]\hat w_{ik}},
\]
and susceptibility is determined by a neighborhood function
\[
\lambda_i[t]:=f_i(\mathcal{N}_i[t]), \qquad f_i:2^{\mathcal V}\to[0,1],\qquad f_i(\emptyset)=0.
\]
In this structured setting, infinitely many disjoint WDTG intervals of uniformly bounded length are sufficient for asymptotic stability [2510.01580].

The reason is combinatorial finiteness. Because \(A[t]\in\{0,1\}^{n\times n}\), the number of possible adjacency matrices is finite. Given fixed \(\hat W\), each adjacency determines a unique \(W[t]\), and since each \(\lambda_i[t]\) depends only on \(\mathcal N_i[t]\), each adjacency also determines \(\Lambda[t]\). With bounded WDTG interval length, only finitely many WDTG block types can occur. At least one must recur infinitely often, and each such block contracts strictly, which suffices for asymptotic stability [2510.01580].

Beyond stability, the paper characterizes long-run behavior. The solution admits the representation
\[
\mathbf{x}[t] = \Phi(t,t_0)\mathbf{x}[t_0] +\sum_{\tau=t_0}^{t-1}\Phi(t,\tau+1)(I-\Lambda[\tau])\mathbf{s}.
\]
Defining
\[
\Sigma[t]:=\sum_{\tau=0}^{t-1}\Phi(t,\tau+1)(I-\Lambda[\tau]),
\]
the paper proves that \(\Sigma[t]\) is row-substochastic for all \(t\). When the system is asymptotically stable, every accumulation point satisfies
\[
\min_i s_i \le x_i^* \le \max_i s_i.
\]
Thus the omega-limit set is contained in the convex hull of innate beliefs [2510.01580].

For periodically switching systems of period \(p\), the dynamics can be decomposed into a \(p\)-LTI family
\[
\mathbf x_l[k+1]=M_l\mathbf x_l[k]+N_l\mathbf s,
\]
with
\[
M_l=\prod_{j=0}^{p-1}\Lambda_{\langle l+j\rangle_p}W_{\langle l+j\rangle_p},
\]
and
\[
N_l = \sum_{j=0}^{p-1} \left( \prod_{r=j+1}^{p-1}\Lambda_{\langle l+r\rangle_p}W_{\langle l+r\rangle_p} \right) \left(I-\Lambda_{\langle l+j\rangle_p}\right).
\]
If \(\mathcal G_0^p\) is a WDTG, then the system is exponentially stable and the omega-limit set contains at most \(p\) points,
\[
\mathbf x_l^*=(I-M_l)^{-1}N_l\mathbf s,\qquad l=1,\dots,p.
\]
The bound \(|\omega|\le p\) is explicit and tight in the theorem’s formulation [2510.01580].

Robustness is addressed through a perturbed system
\[
\mathbf{x}[t+1]=P[t]\mathbf{x}[t]+D[t]\mathbf{s},
\]
with
\[
P[t]=\bar\Lambda[t]\bar W[t]+E[t].
\]
If the nominal model is exponentially stable with constants \(c\) and \(\gamma\), and
\[
\|E[t]\|<-\frac{\gamma}{c}\ln\gamma,
\]
then the perturbed dynamics remain exponentially stable. DTGs matter here because they are what generate the nominal exponential-stability constants in the first place [2510.01580].

## 5. Relation to adjacent “defect” notions in temporal-graph research

In neighboring temporal-graph subfields, related terms refer to substantially different objects. In model checking on temporal graphs, the closest construction is the **differential**
\[
\mathcal G^{t,\Delta}_\rightarrow,
\]
defined as the static expansion graph of a sliding window of \(\Delta\) consecutive snapshots. That derivative-like object is explicitly not a difference graph of edge additions and removals, and it is not a DTG in the Friedkin–Johnsen sense; it is instead a bounded-window static expansion used for width measures and local FO/MSO reasoning [2602.12446].

In temporal comparability theory, “defects” correspond to violations of temporal transitivity, correlated monolabel triangles, contradiction patterns in implication digraphs, or cycles in the set of necessary arcs. There, the main obstruction is temporal orientability rather than contraction of a state-transition matrix. A graph is defective when its time-label/orientation constraints cannot be completed into a temporal transitive orientation, not when stubborn influence fails to propagate [2510.06849].

In temporal graph data quality, the closest analogue to a defected temporal graph is a graph violating a set of Temporal Graph Functional Dependencies. A TGFD
\[
\sigma = (Q[\bar{x}], \Delta, X \rightarrow Y)
\]
declares a structural-temporal consistency rule, and the defect set is the violation set
\[
\mathcal{E}(G,\Sigma).
\]
This notion of defect is rule-theoretic and data-centric: it concerns inconsistent matched subgraphs across snapshots, not contraction or stability [2108.08719].

In temporal graph learning, discrete-time dynamic graphs are typically modeled as sequences
\[
\mathcal{G}=\{G_1,G_2,\ldots,G_T\},
\]
with downstream tasks such as future link prediction. That literature can discuss noisy, partially observed, sparsified, or structurally damaged graphs, but it does not define DTGs as graph-theoretic stability certificates. The emphasis there is representation learning, sequence encoding, and pairwise prediction rather than stubbornness-induced contraction [2407.18523].

These contrasts clarify a common misconception. “Defected temporal graph” is not a universal synonym for corrupted temporal data, anomalous interaction streams, or temporal inconsistency in general. In the strict technical sense established in the opinion-dynamics literature, a DTG is a temporal window certifying propagated row-sum defect and hence contraction [2510.01580].

## 6. Scope, limitations, and broader significance

The DTG framework is strong precisely because it is specialized. It converts a stability question for a linear time-varying opinion process into a graph condition that is interpretable: repeated reachability from stubborn agents through time-respecting influence chains. It is also quantitatively explicit, since the contraction rate depends on \(\epsilon\), \(w\), and the window length \(\delta\) or \(p_s\) [2510.01580].

The same specialization also marks its limits. The framework is built for time-varying Friedkin–Johnsen systems and their trust-based extension; it is not introduced as a general anomaly-detection formalism, a missing-data model, or a universal representation of damaged temporal networks. The paper emphasizes graph-based interpretability and scalability, but it does not provide a dedicated algorithmic complexity analysis for DTG recognition or extraction [2510.01580].

A second limitation is the separation between DTGs and WDTGs. In general TVFJ, WDTGs are too weak: recurring qualitative access to stubborn agents does not prevent contraction factors from approaching one too quickly. Only the quantitative DTG condition yields the explicit bound
\[
\|\Phi(t_d,t_0)\|\le 1-\epsilon w^\delta.
\]
This sharp distinction is one of the central conceptual contributions of the theory [2510.01580].

A broader implication is that temporal graph theory now contains several non-equivalent ways to formalize “defect”: contraction certificates in opinion dynamics, temporal-transitivity obstructions, rule violations in evolving graph data, and localized temporal derivatives for logic and model checking [2510.01580] [2510.06849] [2108.08719] [2602.12446]. This suggests that “defect” in temporal graphs is not a single primitive but a family of semantics indexed by task: dynamical stability, orientation consistency, data integrity, or local temporal structure.

A plausible implication is that future DTG research could combine these perspectives. The stability-oriented DTG notion already provides a rigorous bridge between temporal paths and nonnegative-matrix contraction. Rule-based TGFD frameworks provide explicit defect witnesses in data; derivative-based temporal expansions provide logical locality; and topological pipelines based on temporal motifs and persistent homology provide graph-level signatures of temporal irregularity [2502.10076]. Such a synthesis would move beyond the current, task-specific meanings of defect while preserving the mathematical precision that made DTGs useful in the first place.

Source: https://www.emergentmind.com/topics/defected-temporal-graphs-dtgs