TheoremBase

Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 801-820 of 1090
BackNext

  • Stopped Weighted Second-Moment Evolution of the State Fluctuation Process

    lemmalem:fluctuation-weighted-second-moment-stopped-2026aProbability
    Adopt the setting of the weighted second-moment evolution lemma for the state fluctuation process: the fluctuation processes of the controlled NN-agent dynamics — a transition-rate family β\beta on ll states with control set A\mathcal{A}, a nonempty subset of Euclidean space…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting of the martingale decomposition theorem for the controlled NN-agent dynamics with NN agents, ll states, l~\tilde{l} observation channels, and control dimension mm: a transition-rate family β\beta with control set A\mathcal{A}, a nonempty subset of…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be a real number, let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T], and let τ\tau be a stopping time of (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]}.…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting and notation of claims 3 and 4 of the adaptedness lemma for the realized mean-field flow, together with those of the progressive measurability lemma for the realized control on which it rests: the affine-controlled transition-rate family with compact convex cont…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting and notation of the flow stability lemma: an affine-controlled transition-rate family (β0,β1)(\beta_0,\beta_1) on ll states with control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^m, its transition-rate family β\beta with rate bound BB, state-Lipschitz constant…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, hypotheses and notation of the realized-control lemma: natural numbers N≥1N\ge1, l≥2l\ge2, l~≥1\tilde{l}\ge1, m≥1m\ge1; a nonempty convex subset A\mathcal{A} of Euclidean space Rm\mathbb{R}^m which is compact for the topology determined by the Euclidean distance, w…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting and notation of the conditional mean-square optimality lemma: a probability space (Ω,F,P)(\Omega,\mathcal{F},P), a sub-σ\sigma-algebra G\mathcal{G} of F\mathcal{F}, a natural number k≥1k\ge1, a tuple X=(X1,…,Xk)X=(X^1,\dots,X^k) of square-integrable random variables, a fixe…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 and K≥0K\ge0 be real numbers, let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T], and let (Mt)t∈[0,T](M_t)_{t\in[0,T]} be a square-integrable martingale with resp…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be a real number, let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T], and let M=(Mt)t∈[0,T]M=(M_t)_{t\in[0,T]} be a square-integrable martingale with respect to…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 and K≥0K\ge0 be real numbers, let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T], and let M=(Mt)t∈[0,T]M=(M_t)_{t\in[0,T]} be a square-integrable martingale with re…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let R\mathbb{R} be the real numbers, let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be real, and let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T]. Stopping times are those of…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Process Sampled at a Random Time and Stopped Process

    definitiondef:sampled-and-stopped-process-2026aProbability
    Let Ω\Omega be a set, let T>0T>0 be a real number, let X=(Xt)t∈[0,T]X=(X_t)_{t\in[0,T]} be a family of real-valued functions on Ω\Omega, and let τ:Ω→[0,T]\tau:\Omega\to[0,T] be a function (a random time). The process XX sampled at τ\tau is the real-valued function XτX_\tau on Ω\Omega defined…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Sigma-Algebra of Events Prior to a Stopping Time

    definitiondef:stopping-time-sigma-algebra-2026aProbability
    Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be a real number, let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T], and let τ\tau be a stopping time of (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]}. The…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be a real number, and let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T]. A stopping time of (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} is a function…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting of the moment bounds for the aggregate compensated counters with NN agents, ll states, l~\tilde{l} observation channels, and control dimension mm: a transition-rate family β\beta with control set A\mathcal{A}, a nonempty subset of Euclidean space…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, hypotheses, and notation of the comparison lemma for the NN-agent system and the mean-field flow: the affine-controlled transition-rate family (β0,β1)(\beta_0,\beta_1) on ll states with control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^m and its transition-rate family…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let R\mathbb{R} be the real numbers, let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be real, and let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T]. Progressive measurability of a family…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Progressively Measurable Process

    definitiondef:progressively-measurable-process-2026aProbability
    Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let T>0T>0 be a real number, and let (Ft)t∈[0,T](\mathcal{F}_t)_{t\in[0,T]} be a filtration on (Ω,F,P)(\Omega,\mathcal{F},P) with time index restricted to [0,T][0,T]. For t∈(0,T]t\in(0,T] let B[0,t]\mathcal{B}_{[0,t]} be the trace Borel σ\sigma-algebra…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

  • Let (U,βˉ0,βˉ1)(U,\bar{\beta}_0,\bar{\beta}_1) be twice continuously differentiable affine-controlled rate data on ll states with control set A\mathcal{A} and derivative bound K0K_0, and let Δl\Delta^l be the probability simplex. For each ordered pair (σ,γ)(\sigma,\gamma) with…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Let ll and mm be natural numbers with l≥2l\ge2 and m≥1m\ge1, let Δl⊂Rl\Delta^l\subset\mathbb{R}^l be the probability simplex, let A\mathcal{A} be a nonempty subset of Euclidean space Rm\mathbb{R}^m that is convex and compact for the topology determined by the Euclidean distance, ca…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v2, Aaron · Created

Showing 801-820 of 1090
BackNext