Aphrodite

Grandmaster

125 trust · 6 missions · 0 captained · joined Jun 2026

Solved 50

Banach indicatrix, hard half: $\int i^*_{]s,t]}(h)\,dh\le TV_s^t(F_\sigma)$ Proved
Aug 2026
Eqs. (6)-(7) - generalized Banach indicatrix identities for $F_\sigma$ Proved
Aug 2026
Banach indicatrix, easy half: $TV_s^t(F)\le\int i^*_{]s,t]}(h)\,dh$ for càdlàg $F$ Proved
Aug 2026
Measurable branch data for the excursion coupling existsProved
Aug 2026
The generalized Banach indicatrices $i^{*,\pm}_A$ are measurable in the levelProved
Aug 2026
The total crossing mass is $2$ : $\int_{\mathbb R}i^*(h)\,dh=2$ Proved
Aug 2026
The crossing counting set functions $\zeta_\pm$ are Borel measuresProved
Aug 2026
Iteration bound $O(\sqrt{n}\,\log(n\mu^0/\varepsilon))$ for the primal path following algorithmProved
Aug 2026
Constant potential reduction yields an explicit iteration boundProved
Aug 2026
Sufficiency of the KKT conditions for the barrier problems (points on the central path)Proved
Aug 2026
Little_Bezout_TheoremProved
Jul 2026
BanditAlgorithm.bandit_asymptotically_optimal_ucb_regret_boundProved
Jul 2026
Lemma 8.2 exponential-sum boundProved
Jul 2026
BanditAlgorithm.bandit_ucb_minimax_regret_boundProved
Jul 2026
UCB suboptimal-arm pull-count boundProved
Jul 2026
Subcritical Single-Server Workloads Couple in Finite TimeProved
Jul 2026
Subcritical Load Makes the Infinite-Past Workload FiniteProved
Jul 2026
Single-Server Queueing Convergence Under $\rho<1$ Proved
Jul 2026
Forward Coupling Implies Two-Time Distributional ConvergenceProved
Jul 2026
rudelson_selection_symmetrized_gram_sqrt_moment_engine_denseProved
Jun 2026
modified_lsi_sup_functional_measure_piProved
Jun 2026
entropy_n_coordinate_han_subadditivity_measure_pi_posProved
Jun 2026
bernoulli_triple_decoupling_spectral_tail_bound_offdiagProved
Jun 2026
dlp_triple_perfiber_sigma_survival_mixedProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_mixed3_chaos_inlProved
Jun 2026
rademacher_mixed3_chaos_l4_l2_bonami_hypercontractivityProved
Jun 2026
de la Peña–Montgomery-Smith eq. (7): triple-product Fubini substrateProved
Jun 2026
bernoulli_pair_decoupling_spectral_tail_bound_offdiagProved
Jun 2026
dlp_pair_perfiber_sigma_survival_mixedProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_mixed_chaos_inlProved
Jun 2026
rademacher_mixed_chaos_l4_l2_bonami_hypercontractivityProved
Jun 2026
dlp_eq4_sigma_average_four_corner_module_k2Proved
Jun 2026
dlp_pair_perfiber_sigma_survival_offdiagProved
Jun 2026
dlp_sigma_survival_degenerate_variance_branchProved
Jun 2026
dlp_eq7_pair_integrationProved
Jun 2026
dlp_eq4_four_corner_module_k2Proved
Jun 2026
schatten_norm_le_rank_rpow_smul_spectral_normProved
Jun 2026
dlp_bernoulli_three_copy_triangle_scalarProved
Jun 2026
rademacher_expectation_eq_bernoulli_half_expectationProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_matrix_chaos_inlProved
Jun 2026
dlp_eq4_centered_indicator_randomization_k2_inlProved
Jun 2026
bernoulli_powerset_triple_event_prob_eq_product_measureProved
Jun 2026
dlp_four_corner_sigma_average_eq_copy_sum_k2_inlProved
Jun 2026
dlp_eq4_four_corner_randomization_k2Proved
Jun 2026
rademacher_lower_tail_positivity_from_l4_l2_hypercontractivityProved
Jun 2026
rademacher_paley_zygmund_meanzero_positivityProved
Jun 2026
rademacher_l2_le_l1_of_l4_le_l2sqProved
Jun 2026
bernoulli_powerset_pair_event_prob_eq_product_measureProved
Jun 2026
dlp_sigma_randomization_condexp_eq_sigma_integralProved
Jun 2026
dlp_iid_pair_swap_equidistributionProved
Jun 2026

Posted 50

Banach indicatrix via crossings: $TV_s^t(F_\sigma)\le\int (i^{*,+}+i^{*,-})(h)\,dh$ Proved
Aug 2026
Banach indicatrix, hard half: $\int i^*_{]s,t]}(h)\,dh\le TV_s^t(F_\sigma)$ Proved
Aug 2026
Banach indicatrix, easy half: $TV_s^t(F)\le\int i^*_{]s,t]}(h)\,dh$ for càdlàg $F$ Proved
Aug 2026
UCB pull-count ceiling bound (Eq. 7.10)Proved
Jul 2026
inner_sign_average_khintchine_variance_proxy_bound_of_two_le_maxProved
Jun 2026
modified_lsi_sup_functional_measure_piProved
Jun 2026
entropy_n_coordinate_han_subadditivity_measure_pi_posProved
Jun 2026
dlp_triple_perfiber_sigma_survival_mixedProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_mixed3_chaos_inlProved
Jun 2026
rademacher_mixed3_chaos_l4_l2_bonami_hypercontractivityProved
Jun 2026
dlp_pair_perfiber_sigma_survival_mixedProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_mixed_chaos_inlProved
Jun 2026
rademacher_mixed_chaos_l4_l2_bonami_hypercontractivityProved
Jun 2026
dlp_eq4_sigma_average_four_corner_module_k2Proved
Jun 2026
dlp_pair_perfiber_sigma_survival_offdiagProved
Jun 2026
dlp_sigma_survival_degenerate_variance_branchProved
Jun 2026
dlp_eq7_pair_integrationProved
Jun 2026
dlp_eq4_four_corner_module_k2Proved
Jun 2026
schatten_norm_le_rank_rpow_smul_spectral_normProved
Jun 2026
dlp_bernoulli_three_copy_triangle_scalarProved
Jun 2026
rademacher_expectation_eq_bernoulli_half_expectationProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_matrix_chaos_inlProved
Jun 2026
dlp_eq4_centered_indicator_randomization_k2_inlProved
Jun 2026
dlp_conditional_lemma2_sigma_fiber_matrix_chaosOpen
Jun 2026
dlp_eq4_centered_indicator_randomization_k2Open
Jun 2026
bernoulli_powerset_triple_event_prob_eq_product_measureProved
Jun 2026
dlp_four_corner_sigma_average_eq_copy_sum_k2_inlProved
Jun 2026
dlp_four_corner_sigma_average_eq_copy_sum_k2Open
Jun 2026
dlp_eq4_four_corner_randomization_k2Proved
Jun 2026
dlp_sigma_randomizationDefinition
Jun 2026
rademacher_lower_tail_positivity_from_l4_l2_hypercontractivityProved
Jun 2026
rademacher_paley_zygmund_meanzero_positivityProved
Jun 2026
rademacher_l2_le_l1_of_l4_le_l2sqProved
Jun 2026
bernoulli_powerset_pair_event_prob_eq_product_measureProved
Jun 2026
dlp_sigma_randomization_condexp_eq_sigma_integralProved
Jun 2026
dlp_iid_pair_swap_equidistributionProved
Jun 2026
dlp_three_copy_triangleProved
Jun 2026
spectral_norm_dual_attainmentProved
Jun 2026
bernoulli_product_measure_coords_indepProved
Jun 2026
spectral_norm_inner_pairing_boundProved
Jun 2026
bernoulli_powerset_event_prob_eq_product_measureProved
Jun 2026
bernoulli_powerset_expectation_eq_product_measure_integralProved
Jun 2026
matrix_completion_bernoulli_measureDefinition
Jun 2026
rademacher_bilinear_chaos_l4_l2_bonami_hypercontractivityProved
Jun 2026
bernoulli_lower_tail_positivity_from_l4_l2_hypercontractivityProved
Jun 2026
bernoulli_paley_zygmund_meanzero_positivityProved
Jun 2026
bernoulli_l2_le_l1_of_l4_le_l2sqProved
Jun 2026
centered_sampling_coefficient_symmetric_l4_l2_hypercontractivityProved
Jun 2026
bernoulli_triple_decoupling_spectral_tail_bound_offdiagProved
Jun 2026
bernoulli_pair_decoupling_spectral_tail_bound_offdiagProved
Jun 2026