salim

Solved 50

• flt5_cyclotomic_pid_descent_witnessesProved

  Sep 2026

• flt5_cyc5_pid_descent_coreProved

  Sep 2026

• flt5_z_zeta5_fifth_powersProved

  Sep 2026

• Is the root of $x^3+6x+1$ collapsible? (any collapsing has degree $\ge 32$)Proved

  Sep 2026

• Lautemann verifier construction from the two shifted-cover lemmasProved

  Sep 2026

• The two angle axioms hold for any chart-compatible direction assignmentDisproved

  Sep 2026

• A Euclidean building given by a maximal atlas is one in the sense of Kleiner--LeebDisproved

  Sep 2026

• quadratic_neumann_first_index_distinct_contribution_small_with_lambdaProved

  Sep 2026

• linear_neumann_off_diagonal_coefficient_bound_small_with_lambdaProved

  Sep 2026

• linear_neumann_off_diagonal_decoupled_contribution_small_with_lambdaProved

  Sep 2026

• quadratic_neumann_section63_middle_index_distinct_mean_case_bound_under_general_sample_boundProved

  Sep 2026

• MOSS large-gap arm expected pull boundDisproved

  Sep 2026

• A Euclidean building given by its atlas carries a $\Delta_{\mathrm{mod}}$-direction assignmentDisproved

  Sep 2026

• $T_i(n) \le \kappa_i$ when $2\tilde\Delta < \Delta_i$Disproved

  Sep 2026

• Closed-loop stability of a positive definite Riccati fixed point (Prop. 4.4.1, part 4, conditional form)Proved

  Sep 2026

• Ternary-majority verifier scheduler with polynomially bounded depthDisproved

  Sep 2026

• Ternary majority scheduler with explicit polynomial simulation boundDisproved

  Sep 2026

• Ternary-majority scheduler reports acceptance under a uniform halt boundDisproved

  Sep 2026

• An odd prime missing the cubic discriminant misses the indexProved

  Sep 2026

• Cubic splitting law: $p$ splits completely in $\mathbb{Q}[x]/(x^3+dx+e)$ iff $(\Delta/p)=1$Proved

  Sep 2026

• A depressed cubic over $\mathbb{F}_p$ with a root and square discriminant has three distinct factorsProved

  Sep 2026

• A depressed cubic over $\mathbb{F}_p$ with three distinct factors has square discriminantProved

  Sep 2026

• The minimal polynomial of $\theta$ over $\mathbb{Z}$ is the depressed cubicProved

  Sep 2026

• If $p$ misses the index $[\mathcal{O}_K:\mathbb{Z}[\theta]]$ it misses the exponent of $\theta$Proved

  Sep 2026

• A prime dividing the binary cubic form gives a root mod $p$Proved

  Sep 2026

• The unit circle of a constant-distance homogeneous map lifts to a closed billiards pathDisproved

  Sep 2026

• Constant distance to the cone point makes the local frame orthonormal, in an apartment of the atlasDisproved

  Sep 2026

• In an apartment the map is $r^\alpha g(\theta)$ and harmonic in polar coordinatesDisproved

  Sep 2026

• Constant distance forces the apartment frame to be orthonormal of radius LDisproved

  Sep 2026

• LQG cost difference from the certainty-equivalent policyProved

  Sep 2026

• Talagrand–Bennett upper-tail bound, density-threadedProved

  Sep 2026

• Lemma 3.2 — $\ell(u(\mathbb{S}^1)) = 2\pi\alpha L$ in the constant-distance caseDisproved

  Sep 2026

• Positive semidefiniteness of the LQG stage weightProved

  Sep 2026

• In an apartment the map is $r^\alpha g(\theta)$ and harmonic in polar coordinatesDisproved

  Sep 2026

• Single-scale tangent deviation bound, density-threaded (positive samples)Proved

  Sep 2026

• CR Theorem 4.2 from increment and variance bounds, density-threadedProved

  Sep 2026

• Around-expectation tangent deviation, density-threaded (positive samples)Proved

  Sep 2026

• Constant distance forces the apartment frame to be orthonormal of radius LDisproved

  Sep 2026

• The sifted von Mangoldt weight is nonnegativeProved

  Sep 2026

• The cutoff $\eta_1$ is nonnegativeProved

  Sep 2026

• The cutoff $\eta_0$ is nonnegativeProved

  Sep 2026

• clean open lemma 2Proved

  Sep 2026

• Local calculus and equivariance of mixed-period test functionsProved

  Sep 2026

• Tile integrability of mixed-period Wirtinger densities at positive levelProved

  Sep 2026

• Nielsen Theorem 1: $N < (d+1)^{4^k}$ for odd $n/d$-perfect $N$Proved

  Sep 2026

• Nielsen's upper bound for odd $n/d$-perfect Diophantine solutionsProved

  Sep 2026

• Nielsen Lemma 1: product estimate $a\\prod x_i < (a+1)^{2^r}$Proved

  Sep 2026

• CLP Slice Rank Subadditivity and Power-Law Tensor RigidityProved

  Sep 2026

• Lemma 16 — CLP Polynomial Tensor Product Ratio Strict DecayProved

  Sep 2026

• Nielsen comparison for $\prod(1-1/z)$ under partial-product dominanceProved

  Sep 2026

Posted 3

• A space covered by the 3-sphere has finite fundamental groupProved

  Sep 2026

• Elliptization: a spherical cover for a closed 3-manifold with finite fundamental groupOpen

  Sep 2026

• A connected covering of a simply connected space is a homeomorphismProved

  Sep 2026