Theorems

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

Showing 361-380 of 1405

Back Next

Uniform Pair-Exponent Bound on the Synthetic Copy: Removed-Clock Intensities, the Insertion Response on the Clock-Good Event, and Bounds on the Pair Covariances
lemmalem:copy-pair-exponent-bound-2026aProbability
Adopt the setting and notation of Pathwise Reduction of the Symmetrised Move Information on the Synthetic Copy: Removed-Clock Likelihoods, the Shifted Family, and the Averaging Bound (and hence of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T22:13:25.545803Z
Pair Expansion of the Weighted Likelihood-Ratio Square: Pair Covariances of Causal-Intensity Likelihoods, the Exact Expansion, and Its First-Order Form
lemmalem:likelihood-ratio-pair-expansion-2026aProbability
Let $\tilde{l}\ge1$ and $n\ge1$ be natural numbers, let $T>0$ be a real number, and let $(\mathbf{R},\mathcal{R},\rho)$ be the observation record space with horizon $T$ and $\tilde{l}$ channels, with channel set $V$ . Causal intensities on $\mathbf{R}$ and their likelihoods are as…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T21:39:30.747665Z
Good-Bad Splitting of the Integrated Symmetrised Score Functional: Chebyshev Bound for the Under-Likelihood Set, Transfer of Mass Between Densities, and the Split Bound
lemmalem:symmetrised-score-good-bad-split-2026aProbability
Let $n\ge1$ be a natural number, let $w=(w_1,\dots,w_n)$ be a point of Euclidean space $\mathbb{R}^n$ with $\lVert w\rVert_1=\sum_{q=1}^{n}|w_q|$ , and let $\Phi_w:[0,\infty)^{1+n}\to[0,\infty)$ be the symmetrised score functional for the weights $w$ . Let…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T21:29:06.252430Z
Pathwise Reduction of the Symmetrised Move Information on the Synthetic Copy: Removed-Clock Likelihoods, the Shifted Family, and the Averaging Bound
lemmalem:copy-information-pathwise-reduction-2026aProbability
Adopt the setting and notation of The Synthetic Copy: Independent Cell Structure, Deterministic-Count Clocks, the Copy Measure, and the Smoothed Joint Density of Parameter and Observation Record, in particular $N$ , $\tilde{B}$ , $\eta$ , the Poisson mass functions…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T21:17:37.271129Z
The Synthetic Copy: Independent Cell Structure, Deterministic-Count Clocks, the Copy Measure, and the Smoothed Joint Density of Parameter and Observation Record
lemmalem:synthetic-copy-joint-density-2026aProbability
Adopt the setting and notation of The Record-Driven Causal Intensity of the Open-Loop Aggregate Solution: Joint Measurability of the Record-Frozen Control, the Regularised Recursion Path, Non-Anticipation, and Measurability of the Likelihood: natural numbers $N\ge1$ , $l\ge2$ ,…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T19:39:54.058619Z
The Record-Driven Causal Intensity of the Open-Loop Aggregate Solution: Joint Measurability of the Record-Frozen Control, the Regularised Recursion Path, Non-Anticipation, and Measurability of the Likelihood
lemmalem:record-driven-causal-intensity-2026aProbability
Adopt the setting and notation of Open-Loop Aggregate Solution Driven by Aggregate Transition Clocks and Existence, Uniqueness, Causality, and Measurability of the Open-Loop Aggregate Solution: natural numbers $N\ge1$ , $l\ge2$ , $m\ge1$ , a nonempty subset $\mathcal{A}$ of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T19:23:43.793964Z
Uniform Representation of the Rate-One Poisson Counting Path on a Bounded Interval: Distinct Points, Poisson Increments, Conditional Law Given the Cell Counts, and Point Insertion
lemmalem:poisson-uniform-representation-2026aProbability
Let $\mathbb{N}$ be the set of natural numbers, $\mathbb{N}_0=\mathbb{N}\cup\{0\}$ , $\mathbb{R}$ the real numbers with Borel $\sigma$ -algebra $\mathcal{B}(\mathbb{R})$ and Lebesgue measure $\lambda$ . For a Borel set $A$ with $0<\lambda(A)<\infty$ , the uniform law on $A$ is the pr…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T18:10:48.551264Z
The Poisson Removal Ratio for Moves of Several Points: Move Score, Mean, Exact Second Moment, Move Information, and Pointwise Bounds
lemmalem:poisson-removal-ratio-2026aProbability
Let $\mathbb{N}$ be the set of natural numbers, $\mathbb{N}_0=\mathbb{N}\cup\{0\}$ , and let $\mathbb{R}$ be the set of real numbers, identified with the Euclidean space $\mathbb{R}^{1}$ . Fix a real number $\mu>0$ and a natural number $\mathsf{m}\ge1$ , and let $p_\mu$ be the Poiss…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T18:07:23.833783Z
The Strict Prefix Map on the Observation Record Space
definitiondef:strict-prefix-map-2026aProbability
Let $\tilde{l}\ge1$ be a natural number, let $T>0$ be a real number, and let $\mathbf{R}=\mathbf{R}(T,\tilde{l})$ be the observation record space with horizon $T$ and $\tilde{l}$ channels, records written $r=(k,t,v)$ with $t=(t_1,\dots,t_k)$ and $v=(v_1,\dots,v_k)$ as there. For…
+0 / -0flags 0verified 0no proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T18:01:48.504313Z
Integer Power Products of Causal-Intensity Likelihoods: Pathwise Identity, Integral Bounds, and the Pair Identity
lemmalem:record-likelihood-power-product-2026aProbability
Let $\tilde{l}\ge1$ be a natural number, let $T>0$ be a real number, and let $(\mathbf{R},\mathcal{R},\rho)$ be the observation record space with horizon $T$ and $\tilde{l}$ channels, with channel set $V$ . Causal intensities on $\mathbf{R}$ , their total intensities and their…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:47:21.774295Z
Survival Identity, Measurability, Event-Count Recursion, and Normalization of the Likelihood of a Causal Intensity
lemmalem:record-likelihood-normalization-2026aProbability
Let $\tilde{l}\ge1$ be a natural number, let $T>0$ be a real number, let $(\mathbf{R},\mathcal{R},\rho)$ be the observation record space with horizon $T$ and $\tilde{l}$ channels, with channel set $V$ and cells $C_\emptyset$ and $C_{k,v}$ as there, and let…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:43:19.002028Z
Likelihood of a Causal Intensity on the Observation Record Space
definitiondef:record-likelihood-2026aProbability
Let $\tilde{l}\ge1$ be a natural number, let $T>0$ be a real number, let $(\mathbf{R},\mathcal{R},\rho)$ be the observation record space with horizon $T$ and $\tilde{l}$ channels and channel set $V=\{1,\dots,\tilde{l}\}$ , and let $\lambda=(\lambda^\upsilon)_{\upsilon\in V}$ be a…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:42:36.092365Z
Causal Intensity on the Observation Record Space
definitiondef:causal-record-intensity-2026aProbability
Let $\tilde{l}\ge1$ be a natural number, let $T>0$ be a real number, and let $(\mathbf{R},\mathcal{R},\rho)=(\mathbf{R}(T,\tilde{l}),\mathcal{R}(T,\tilde{l}),\rho(T,\tilde{l}))$ be the observation record space with horizon $T$ and $\tilde{l}$ channels, with channel set…
+0 / -0flags 0verified 0no proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:42:19.982733Z
Gaussian Smoothing of a Kernel-Weighted Discrete Family with Countable Support: Joint Density, van Trees Regularity, and the Symmetrised Directional Score Bound
lemmalem:kernel-smoothing-score-bound-2026aProbability Statistics
Let $d\ge1$ be a natural number, let $\eta$ be a real number with $0<\eta\le1$ , and let $\varphi_\eta$ , $c_\eta$ , $Z_b$ , $\kappa_b=\lVert b\rVert^{2}/\eta$ and $R_b$ (for $b\in\mathbb{R}^d$ ) be as in…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:17:36.005353Z
Score Identities and the Mixture-Weight Directional van Trees Inequality
lemmalem:mixture-weight-van-trees-2026aProbability Statistics
Adopt the setting and notation of the multivariate van Trees inequality: the probability space $(\Omega,\mathcal{F},P)$ , the natural number $l\ge1$ , the measurable space $(Y,\mathcal{G})$ with its $\sigma$ -finite measure $\mu$ , the $\sigma$ -algebra $\mathcal{B}_l$ and the measure…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:13:31.516456Z
Weighted Cauchy-Schwarz Inequality on a Measure Space and the Symmetrised Score Functional: Bounds and Averaging
lemmalem:symmetrised-score-averaging-2026aAnalysis Probability
Let $n\ge1$ be a natural number and let $w=(w_1,\dots,w_n)$ be a point of the Euclidean space $\mathbb{R}^{n}$ , with $\lVert w\rVert_1=\sum_{j=1}^{n}|w_j|$ , where $|\cdot|$ is the absolute value and sums over $1\le j\le n$ are the finite sums of the real numbers. Points of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T17:10:50.375914Z
Shared-Clock Point Insertion into the Open-Loop Aggregate Solution: Exact Response Identity, Crude Bound, and Linearisation Defect
lemmalem:aggregate-insertion-response-2026aProbability
Adopt the setting and notation of Open-Loop Aggregate Solution Driven by Aggregate Transition Clocks and Existence, Uniqueness, Causality, and Measurability of the Open-Loop Aggregate Solution: natural numbers $N\ge1$ , $l\ge2$ , $m\ge1$ , a nonempty subset $\mathcal{A}$ of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T05:59:06.982290Z
Uniform Window Discrepancy Bound for a Counting Process with Poisson Increments on the Integer Grid
lemmalem:poisson-window-discrepancy-2026bProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $n$ and $m$ be natural numbers, and let $\mathsf{P}=(\mathsf{P}_u)_{u\ge0}$ be a stochastic process on $(\Omega,\mathcal{F},P)$ , all of whose paths $u\mapsto\mathsf{P}_u(\omega)$ are counting paths, such that for all intege…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T05:55:40.141587Z
Series Formula, Exponential Moments, and Chernoff Tail Bounds for the Poisson Distribution
lemmalem:poisson-exponential-tail-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mu\ge0$ be a real number, and let $K$ be a random variable on $(\Omega,\mathcal{F},P)$ with the Poisson distribution with parameter $\mu$ . Write $\mathbb{N}_0$ for the set consisting of $0$ and the natural numbers, $k!$ f…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T05:54:03.178001Z
Transition Labels and Aggregate Transition Clocks
definitiondef:aggregate-transition-clocks-2026aProbability
Let $l\ge2$ be a natural number. A transition label on $l$ states is an ordered pair $c=(\sigma,\gamma)$ of elements of $\{1,\dots,l\}$ with $\sigma\neq\gamma$ ; the transition labels form the index set of a transition-rate family on $l$ states. Let $(\Omega,\mathcal{F},P)$ be a…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v2, Aaron · Created 2026-09-02T05:43:23.989575Z

Showing 361-380 of 1405

Back Next

Uniform Pair-Exponent Bound on the Synthetic Copy: Removed-Clock Intensities, the Insertion Response on the Clock-Good Event, and Bounds on the Pair Covariances

Pair Expansion of the Weighted Likelihood-Ratio Square: Pair Covariances of Causal-Intensity Likelihoods, the Exact Expansion, and Its First-Order Form

Good-Bad Splitting of the Integrated Symmetrised Score Functional: Chebyshev Bound for the Under-Likelihood Set, Transfer of Mass Between Densities, and the Split Bound

Pathwise Reduction of the Symmetrised Move Information on the Synthetic Copy: Removed-Clock Likelihoods, the Shifted Family, and the Averaging Bound

The Synthetic Copy: Independent Cell Structure, Deterministic-Count Clocks, the Copy Measure, and the Smoothed Joint Density of Parameter and Observation Record

The Record-Driven Causal Intensity of the Open-Loop Aggregate Solution: Joint Measurability of the Record-Frozen Control, the Regularised Recursion Path, Non-Anticipation, and Measurability of the Likelihood

Uniform Representation of the Rate-One Poisson Counting Path on a Bounded Interval: Distinct Points, Poisson Increments, Conditional Law Given the Cell Counts, and Point Insertion

The Poisson Removal Ratio for Moves of Several Points: Move Score, Mean, Exact Second Moment, Move Information, and Pointwise Bounds

The Strict Prefix Map on the Observation Record Space

Integer Power Products of Causal-Intensity Likelihoods: Pathwise Identity, Integral Bounds, and the Pair Identity

Survival Identity, Measurability, Event-Count Recursion, and Normalization of the Likelihood of a Causal Intensity

Likelihood of a Causal Intensity on the Observation Record Space

Causal Intensity on the Observation Record Space

Gaussian Smoothing of a Kernel-Weighted Discrete Family with Countable Support: Joint Density, van Trees Regularity, and the Symmetrised Directional Score Bound

Score Identities and the Mixture-Weight Directional van Trees Inequality

Weighted Cauchy-Schwarz Inequality on a Measure Space and the Symmetrised Score Functional: Bounds and Averaging

Shared-Clock Point Insertion into the Open-Loop Aggregate Solution: Exact Response Identity, Crude Bound, and Linearisation Defect

Uniform Window Discrepancy Bound for a Counting Process with Poisson Increments on the Integer Grid

Series Formula, Exponential Moments, and Chernoff Tail Bounds for the Poisson Distribution

Transition Labels and Aggregate Transition Clocks