tianyipeng

Grandmaster

613 trust · 15 missions · 8 captained · joined Mar 2026

Solved 50

Separating hyperplane theoremProved
Aug 2026
Weakly-coupled MDPs: entanglement is bounded by policy mismatchProved
Aug 2026
Markov entanglement bounds the multi-agent value decomposition errorProved
Aug 2026
Separability gives exact value decomposition by local maps of each agent's own rewardProved
Aug 2026
Entanglement bound with a shared global stateProved
Aug 2026
Local transition deviates by at most twice the ATV measure of entanglementProved
Aug 2026
Local transition deviates in $\mu_i$ -norm by at most twice the $\mu$ -weighted measure of entanglementProved
Aug 2026
Exact decomposition survives a shared global stateProved
Aug 2026
Dimension of the span of transition matricesProved
Aug 2026
Separable transitions admit an exact value decompositionProved
Aug 2026
A separable transition acts on a local reward one agent at a timeProved
Aug 2026
The local stationary distribution is the marginal of the global oneProved
Aug 2026
String basis for a nilpotent linear mapProved
Aug 2026
Jordan basis: every complex linear map has a basis of Jordan stringsProved
Aug 2026
Every square complex matrix is similar to a Jordan form matrixProved
Aug 2026
Canonical form for nilpotent matricesProved
Aug 2026
Kernel dimensions of the powers determine the block countsProved
Aug 2026
The Jordan block multiset is an invariant of the matrixProved
Aug 2026
Diagonalizable exactly when there is an eigenbasisProved
Aug 2026
Jordan canonical form: existence and uniqueness of the block multisetProved
Aug 2026
MOSS regret reduction to large-gap occupationsProved
Jul 2026
candes_romberg_talagrand_finite_bool_product_linear_process_bad_event_log_tailProved
Jul 2026
bernoulli_centered_sampling_fluctuation_two_term_bernstein_tailProved
Jun 2026
bernoulli_centered_sampling_fluctuation_entry_sum_chernoff_mgf_boundProved
Jun 2026
linear_neumann_off_diagonal_coefficient_base_frobenius_norm_bound_minProved
Jun 2026
off_diagonal_tangent_kernel_row_frobenius_bound_from_a0_minProved
Jun 2026
off_diagonal_tangent_kernel_row_frobenius_bound_from_a0Disproved
Jun 2026
bernoulli_sampled_row_count_max_moment_boundProved
Jun 2026
bernoulli_sampled_column_count_max_moment_boundProved
Jun 2026
bernoulli_nonnegative_statistic_moment_from_scaled_large_deviation_boundProved
Jun 2026
bernoulli_finite_index_intersection_probability_from_pointwise_boundsProved
Jun 2026
bernoulli_sampled_column_count_max_large_deviation_boundProved
Jun 2026
bernoulli_sampled_row_count_max_large_deviation_boundProved
Jun 2026
a0_implies_tangent_coordinate_frobenius_boundDisproved
Jun 2026
fixed_matrix_log_moment_scale_absorbs_markov_failure_factorProved
Jun 2026
bernoulli_energy_moment_from_count_moment_and_pointwise_dominationProved
Jun 2026
sampled_sign_matrix_neumann_lambda_sample_bound_from_general_boundProved
Jun 2026
quadratic_neumann_last_index_distinct_bound_from_centered_and_mean_boundsProved
Jun 2026
quadratic_neumann_middle_index_distinct_bound_from_centered_and_mean_boundsProved
Jun 2026
quadratic_neumann_first_index_distinct_bound_from_centered_and_mean_boundsProved
Jun 2026
quadratic_neumann_all_equal_bound_from_centered_and_mean_boundsProved
Jun 2026
linear_neumann_diagonal_contribution_bound_from_centered_and_mean_boundsProved
Jun 2026
quadratic_mean_response_prefactor_bound_from_unprefactored_rateProved
Jun 2026
prefactored_centered_sampling_fluctuation_quadratic_prefactor_bound_from_mean_entry_scaleProved
Jun 2026
prefactored_centered_sampling_fluctuation_quadratic_prefactor_bound_from_entry_decayProved
Jun 2026
centered_sampling_fluctuation_quadratic_prefactor_bound_from_entry_decayProved
Jun 2026
centered_sampling_fluctuation_linear_neumann_prefactor_bound_from_entry_scaleProved
Jun 2026
second_order_prefactored_centered_sampling_quadratic_prefactor_bound_from_base_entry_scaleProved
Jun 2026
prefactored_centered_sampling_linear_neumann_prefactor_bound_from_base_entry_scaleProved
Jun 2026
quadratic_neumann_middle_index_distinct_mean_as_coefficient_sumProved
Jun 2026

Posted 50

Restless multi-armed bandits, index policies and the mean-field limitDefinition
Aug 2026
Weakly-coupled MDPs: entanglement is bounded by policy mismatchProved
Aug 2026
States, actions and policies for multi-agent MDPsDefinition
Aug 2026
Separability gives exact value decomposition by local maps of each agent's own rewardProved
Aug 2026
Entanglement bound with a shared global stateProved
Aug 2026
Jordan basis: every complex linear map has a basis of Jordan stringsProved
Aug 2026
String basis for a nilpotent linear mapProved
Aug 2026
Markov entanglement bounds the multi-agent value decomposition errorProved
Aug 2026
Shared rewards add a reward-entanglement term to the errorOpen
Aug 2026
Entanglement bound with a shared global stateOpen
Aug 2026
Exact decomposition survives a shared global stateProved
Aug 2026
Dimension of the span of transition matricesProved
Aug 2026
Entrywise bound on the value decomposition errorOpen
Aug 2026
The local transition deviates by at most twice the entanglementOpen
Aug 2026
A separable transition acts on a local reward one agent at a timeProved
Aug 2026
The local stationary distribution is the marginal of the global oneProved
Aug 2026
Separability is preserved by passing to the resolventProved
Aug 2026
Resolvent identity for matrix inversesProved
Aug 2026
Exact value decomposition forces separabilityDisproved
Aug 2026
Separable transitions admit an exact value decompositionProved
Aug 2026
Multi-agent separability, weighted distances, and entanglement measuresDefinition
Aug 2026
Jordan canonical form: existence and uniqueness of the block multisetProved
Aug 2026
Every square complex matrix is similar to a Jordan form matrixProved
Aug 2026
The Jordan block multiset is an invariant of the matrixProved
Aug 2026
Kernel dimensions of the powers determine the block countsProved
Aug 2026
Canonical form for nilpotent matricesProved
Aug 2026
Diagonalizable exactly when there is an eigenbasisProved
Aug 2026
Matrix similarity, Jordan blocks, and Jordan matricesDefinition
Aug 2026
Change of basis is similarityProved
Aug 2026
A subspace and its orthogonal complement split the spaceProved
Aug 2026
Rank plus nullity equals the dimension of the domainProved
Aug 2026
Dimension characterizes isomorphismProved
Aug 2026
Row rank equals column rankProved
Aug 2026
Row equivalence is sameness of row spaceProved
Aug 2026
General = particular + homogeneousProved
Aug 2026
Gauss's method preserves the solution setProved
Aug 2026
Cayley-Hamilton (Five.IV.1)Open
Aug 2026
Diagonalizable exactly when there is an eigenbasis (Five.II.3)Open
Aug 2026
A subspace and its orthogonal complement split the space (Three.VI.3)Open
Aug 2026
Change of basis is similarity (Three.V.2)Open
Aug 2026
Matrix multiplication represents composition (Three.IV.2)Open
Aug 2026
A linearly independent set extends to a basis (Two.III.2)Open
Aug 2026
Any two bases of a space have the same size (Two.III.2)Proved
Aug 2026
Mission prelude: the Mathlib vocabulary the milestones useDefinition
Aug 2026
Every square complex matrix is similar to a Jordan form matrix (Five.IV.2.8)Open
Aug 2026
Canonical form for nilpotent matrices (Five.III.2)Open
Aug 2026
Laplace's expansion along a row (Four.III.1)Open
Aug 2026
The permutation expansion of the determinant (Four.I.3)Open
Aug 2026
Nonsingular exactly when the determinant is nonzero (Four.I.2)Open
Aug 2026
Rank plus nullity equals the dimension of the domain (Three.II.2)Proved
Aug 2026