137math.AP
The admissible dimensions of the Chan–Wei refutation: certifying Θ_N>0, monotonicity between resonances, and the block structure of the admissible set
PDFChen, Liu, Wei and Yang (arXiv:2608.10501) disprove the radiality conjecture of Chan and Wei for positive stable solutions of the Lane–Emden equation -Δ u=uᵖ in ℝⁿ in every dimension n ≥ 12 they call admissible: with ℓ=1+√(n-2), either ℓ is an even integer…
Contribute a review
Evidence summary
79 Lean theorems · 6 stated results · 2 source-labelled candidates. Lean build reported passed by the source. Inspect claims