TheoremBase

Theorems

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

Showing 2341-2360 of 3335
BackNext
  • Adopt the setting, hypotheses and notation of the pathwise tracking lemma: 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}, its transition-rate family β\beta with rate bound BB,…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, hypotheses and notation of the time-shift lemma for the mean-field control problem: the affine-controlled transition-rate family (β0,β1)(\beta_{0},\beta_{1}) on ll states — whose control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^{m} is nonempty, compact and convex as pa…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, hypotheses and notation of the definition of the optimal value, controls and trajectories of the mean-field problem — in particular: the affine-controlled transition-rate family (β0,β1)(\beta_{0},\beta_{1}) on ll states with control set…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, notation, hypotheses and definitions of the pre-stopping envelope lemma: the affine-controlled transition-rate family (β0,β1)(\beta_0,\beta_1) on ll states with compact convex control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^m, its transition-rate family β\beta with r…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, notation and definitions of the extended good-set stopping-time lemma: the affine-controlled transition-rate family (β0,β1)(\beta_0,\beta_1) on ll states with compact convex control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^m, its transition-rate family β\beta with rat…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting of 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 Rm\mathbb{R}^m, and rate bound BB; an observation-rate family β~\tilde{\beta};…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting, notation and definitions of the extended good-set stopping-time lemma: the affine-controlled transition-rate family (β0,β1)(\beta_0,\beta_1) on ll states with compact convex control set A⊆Rm\mathcal{A}\subseteq\mathbb{R}^m, its transition-rate family β\beta with rat…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • Adopt the setting and notation of the good-set stopping-time lemma, together with those of the progressive measurability lemma for the realized control and of the causality and adaptedness lemma for the realized mean-field flow on which it rests: the…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v2, Aaron · Created

  • 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

Showing 2341-2360 of 3335
BackNext