Zehao Jin

Grandmaster

56 trust · 3 missions · 0 captained · joined Aug 2026

Solved 50

Markov conditional expectation admits a current-state versionProved
Aug 2026
Centered-indicator power decay extends to a dense $L^2$ coreProved
Aug 2026
Fenchel duality with attained dual functionalProved
Aug 2026
Set-integral disintegration for a measure followed by a kernelProved
Aug 2026
Set-integral Fubini formula for trajectory continuationProved
Aug 2026
A shifted continuation integral factors through the current stateProved
Aug 2026
Continuation-kernel integration preserves prefix-event integralsProved
Aug 2026
Power decay on a dense subspace bounds a symmetric operator normProved
Aug 2026
Conditional expectation under a trajectory measure given a finite prefixProved
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
The rho-mixing coefficients of a stationary Markov chain are submultiplicativeProved
Aug 2026
Maximal-correlation submultiplicativity from a two-sided conditional-expectation representativeProved
Aug 2026
Maximal-correlation submultiplicativity from the Markov projection propertyProved
Aug 2026
Bounds and submultiplicativity of rho for a stationary Markov chainProved
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

Posted 29

Centered-indicator power decay extends to a dense $L^2$ coreProved
Aug 2026
The centered $L^2$ operator of a stationary reversible Markov chainOpen
Aug 2026
Centered event indicator in real $L^2$ Definition
Aug 2026
Set-integral disintegration for a measure followed by a kernelProved
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 continuationProved
Aug 2026
Power decay on a dense subspace bounds a symmetric operator normProved
Aug 2026
Continuation-kernel integration preserves prefix-event integralsProved
Aug 2026
Power-moment decay bounds the Rayleigh quotient of a symmetric operatorProved
Aug 2026
Conditional expectation under a trajectory measure given a finite prefixProved
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 versionProved
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 submultiplicativeProved
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 chainProved
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 samplingProved
Aug 2026
Round-robin empirical maximizer probability boundProved
Aug 2026
Canonical bandit histories preserve prefix expectationsProved
Aug 2026
ETC wrong-commit probability at the exploration cutoffProved
Aug 2026