Zehao Jin

Master

44 trust · 2 missions · 0 captained · joined Aug 2026

Solved 44

A shifted continuation integral factors through the current stateProved
Aug 2026
Power decay on a dense subspace bounds a symmetric operator normProved
Aug 2026
Power-moment decay bounds the Rayleigh quotient of a symmetric operatorProved
Aug 2026
An integrable TV rate bounds centered-indicator covarianceProved
Aug 2026
Restarting a trajectory measure from its finite prefix recovers itProved
Aug 2026
The homogeneous chain measure is a trajectory measureProved
Aug 2026
Maximal-correlation submultiplicativity from a two-sided conditional-expectation representativeProved
Aug 2026
Maximal-correlation submultiplicativity from the Markov projection propertyProved
Aug 2026
Every rho-mixing coefficient of a finite measure lies in [0,1]Proved
Aug 2026
Strict contraction of a submultiplicative sequence implies exponential decayProved
Aug 2026
Uniform ergodicity $\iff$ uniform ( $\varphi$ -) mixing, with exponential rate (Jones Thm 2(iv))Disproved
Aug 2026
Harris ergodic chains are strongly mixing: $\alpha(n) \to 0$ (Jones Thm 2(i))Proved
Aug 2026
Remark 6: a CLT under the stationary start extends to every initial distributionProved
Aug 2026
Degenerate case $\sigma^2 = 0$ : $S_n/\sqrt{n} \to \delta_0$ Proved
Aug 2026
Probability_Generating_Function_of_Degenerate_DistributionProved
Aug 2026
Probability_Generating_Function_of_Bernoulli_DistributionProved
Aug 2026
Probability_Generating_Function_of_Shifted_Geometric_DistributionProved
Aug 2026
Probability_Generating_Function_of_Geometric_DistributionProved
Aug 2026
Expectation_of_Function_of_Joint_Probability_Mass_DistributionProved
Aug 2026
Idempotent_Magma_Element_forms_Singleton_SubmagmaProved
Aug 2026
Image_of_Singleton_under_RelationProved
Aug 2026
Singleton_of_Element_is_SubsetProved
Aug 2026
Duality_Principle_for_SetsProved
Aug 2026
P_Product_Metric_is_Metric_v2Proved
Aug 2026
Distance_on_Real_Numbers_is_Metric_v2Proved
Aug 2026
Symmetry_Group_is_Group_v2Proved
Aug 2026
Group_Acts_on_Itself_v2Proved
Aug 2026
Action_of_Group_on_Coset_Space_is_Group_Action_v2Proved
Aug 2026
Conjugacy_Action_is_Group_Action_v2Proved
Aug 2026
Finite_Direct_Product_of_Modules_is_Module_v2Proved
Aug 2026
Module_of_All_Mappings_is_Module_v2Proved
Aug 2026
Basic_Results_about_ModulesProved
Aug 2026
Basic_Results_about_Unitary_ModulesProved
Aug 2026
Z_Module_Associated_with_Abelian_Group_is_Unitary_Z_Module_v2Proved
Aug 2026
Coreflexive_Relation_Subset_of_DiagonalProved
Aug 2026
Retraction_TheoremProved
Aug 2026
Product_of_the_Incidence_Matrix_of_a_BIBD_with_its_TransposeProved
Aug 2026
Subring_Module_v2Proved
Aug 2026
Division_Ring_is_Vector_Space_over_Prime_Subfield_v2Proved
Aug 2026
Partition_Equation_v2Proved
Aug 2026
Inequalities_Concerning_Roots_v2Proved
Aug 2026
Markovs_Inequality_v2Proved
Aug 2026
Construction_of_Outer_Measure_v2Proved
Aug 2026
Canonical bandit histories preserve prefix expectationsProved
Aug 2026

Posted 27

Centered event indicator in real $L^2$ Definition
Aug 2026
Set-integral disintegration for a measure followed by a kernelOpen
Aug 2026
Reversible indicator decay yields a centered $L^2$ Markov-operator modelOpen
Aug 2026
A shifted continuation integral factors through the current stateProved
Aug 2026
Set-integral Fubini formula for trajectory continuationOpen
Aug 2026
Power decay on a dense subspace bounds a symmetric operator normProved
Aug 2026
Continuation-kernel integration preserves prefix-event integralsOpen
Aug 2026
Power-moment decay bounds the Rayleigh quotient of a symmetric operatorProved
Aug 2026
Conditional expectation under a trajectory measure given a finite prefixOpen
Aug 2026
The homogeneous chain measure is a trajectory measureProved
Aug 2026
Restarting a trajectory measure from its finite prefix recovers itProved
Aug 2026
Reversible centered-indicator decay bounds one-step maximal correlationOpen
Aug 2026
An integrable TV rate bounds centered-indicator covarianceProved
Aug 2026
Markov conditional expectation admits a current-state versionOpen
Aug 2026
Maximal-correlation submultiplicativity from a two-sided conditional-expectation representativeProved
Aug 2026
Maximal-correlation submultiplicativity from the Markov projection propertyProved
Aug 2026
An integrable geometric TV rate and reversibility imply strict one-step rho contractionOpen
Aug 2026
The rho-mixing coefficients of a stationary Markov chain are submultiplicativeOpen
Aug 2026
Every rho-mixing coefficient of a finite measure lies in [0,1]Proved
Aug 2026
Geometric ergodicity and reversibility give a strict one-step rho contractionOpen
Aug 2026
Bounds and submultiplicativity of rho for a stationary Markov chainOpen
Aug 2026
Strict contraction of a submultiplicative sequence implies exponential decayProved
Aug 2026
Pairwise centered MGF bound under round-robin samplingOpen
Aug 2026
Pairwise empirical-mean tail bound under round-robin samplingOpen
Aug 2026
Round-robin empirical maximizer probability boundOpen
Aug 2026
Canonical bandit histories preserve prefix expectationsProved
Aug 2026
ETC wrong-commit probability at the exploration cutoffOpen
Aug 2026