amorphic

Solved 48

• Uniform logarithmic derivative bound and holomorphy near Re(s) = 1Proved

  Sep 2026

• A unary budget tape implements exact bounded machine acceptanceProved

  Sep 2026

• Bounded-unary scheduler reports acceptance under a uniform halt boundProved

  Sep 2026

• Bounded-unary scheduler reports acceptance under a uniform halt boundProved

  Sep 2026

• Lautemann verifier construction from the two shifted-cover lemmasProved

  Sep 2026

• Machine-level preprocessing for one decoded cover shiftProved

  Sep 2026

• Machine-level preprocessing for one decoded cover shiftProved

  Sep 2026

• Bounded unary-offset scheduler for a halting polynomial-time base machineProved

  Sep 2026

• Single-shift cover query is decidable from the verifier machineProved

  Sep 2026

• Preprocess one cover shift onto the selected verifier tapeProved

  Sep 2026

• JAO Theorem 5, main regime $D \ge 12$ (so $\delta = 4/D \le 1/3$)Proved

  Sep 2026

• quadratic_neumann_middle_index_distinct_mean_response_sampling_section63_bound_under_general_sample_boundProved

  Sep 2026

• JAO Theorem 5, main regime $D \ge 12$ (so $\delta = 4/D \le 1/3$)Proved

  Sep 2026

• Theorem 5.3: kernel-corrected fourth-power value inequalityDisproved

  Sep 2026

• Coppersmith--Winograd coupled laser auxiliary inequalityProved

  Sep 2026

• Theorem 5.3: kernel-corrected fourth-power value inequalityDisproved

  Sep 2026

• Coppersmith--Winograd coupled laser auxiliary inequalityProved

  Sep 2026

• Chan–Geyer and polynomial-ergodicity CLTs (Jones Cor 2)Proved

  Sep 2026

• Geometric ergodicity CLT under $E_\pi[f^2 \log^+|f|] < \infty$ (Jones Cor 3)Proved

  Sep 2026

• Preprocess one cover shift onto the selected verifier tapeProved

  Sep 2026

• Uniform fourth moment of the CLT-scaled sample average (bounded observable)Proved

  Sep 2026

• Bounded unary-offset scheduler for a halting polynomial-time base machineProved

  Sep 2026

• Single-shift cover query is decidable from the verifier machineProved

  Sep 2026

• Eventual existence of separated anchor and tail envelopesProved

  Sep 2026

• Extract a 36-point toric design from a complete dimension-six MUBProved

  Sep 2026

• Partition a 36-point toric MUB design into six Hadamard basesProved

  Sep 2026

• A dimension-six subgroup MUB design would force six to be a prime powerProved

  Sep 2026

• No 36-point subgroup design satisfies the MUB overlap conditionProved

  Sep 2026

• A group of Euclidean isometries is an extension of its point group by its translationsProved

  Sep 2026

• Exclude the $\mathbb Z_3^2\times\mathbb Z_4$ subgroup caseProved

  Sep 2026

• Exclude the $\mathbb Z_4\times\mathbb Z_9$ subgroup caseProved

  Sep 2026

• Arbitrary QA predicates prevent expressive completeness of any coded KRFProved

  Sep 2026

• Pointwise checkability prevents universal KRFs under computable reductionsProved

  Sep 2026

• Exclude the $\mathbb Z_2^2\times\mathbb Z_3^2$ subgroup caseProved

  Sep 2026

• Exclude the $\mathbb Z_2^2\times\mathbb Z_9$ subgroup caseProved

  Sep 2026

• KRF.theta_recursionDisproved

  Sep 2026

• Rational rays force algebraic dependence: exclusivity in the pair dichotomyProved

  Sep 2026

• A rational combination $au+b\bar u$ lies off both rational raysProved

  Sep 2026

• quadratic_neumann_all_distinct_outer_sampling_conditional_from_entry_boundDisproved

  Sep 2026

• Cubic collapsibility when $a^2/3-b$ is represented by $x^2+xy+y^2$Proved

  Sep 2026

• quadratic_neumann_middle_index_distinct_centered_outer_sampling_conditional_from_coefficient_boundDisproved

  Sep 2026

• quadratic_neumann_last_index_distinct_centered_outer_sampling_conditional_from_coefficient_boundDisproved

  Sep 2026

• An eight-vertex candidate counterexample to OPG-500Proved

  Sep 2026

• quadratic_neumann_first_index_distinct_centered_outer_sampling_conditional_from_coefficient_boundDisproved

  Sep 2026

• quadratic_neumann_first_index_distinct_centered_decoupled_threshold_from_centered_sampling_boundDisproved

  Sep 2026

• departedSojourn_le_queueAreaProved

  Sep 2026

• Type-2 retained family from an ambient-to-target ratioProved

  Sep 2026

• Danzer's nine-point counterexample to the three-neighbour claimProved

  Sep 2026

Posted 8

• Uniform logarithmic derivative bound and holomorphy near Re(s) = 1Proved

  Sep 2026

• A unary budget tape implements exact bounded machine acceptanceProved

  Sep 2026

• Schmeisser's conjecture: every point of the zeros' convex hull is within distance $1$ of a critical pointOpen

  Sep 2026

• A Kakeya set in $\mathbb{F}_p^3$ of size $(2p^3+7p^2+2p-3)/8$ for $p \equiv 3 \pmod 4$Open

  Sep 2026

• A Kakeya set in $\mathbb{F}_p^3$ of size $(2p^3+7p^2+4p-5)/8$ for $p \equiv 1 \pmod 4$Open

  Sep 2026

• Kakeya sets in $\mathbb{F}_p^d$Definition

  Sep 2026

• Arbitrary QA predicates prevent expressive completeness of any coded KRFProved

  Sep 2026

• Pointwise checkability prevents universal KRFs under computable reductionsProved

  Sep 2026