Claims

../

2026_09_17_fang_lu_nevo_yao_zheng: Fang, Lu, Nevo, Yao and Zheng claim that the independence sequence of every forest with at least N_0 vertices is unimodal, for an unspecified absolute N_0, by a central limit theorem and end monotonicity; arXiv preprint with Lean.

2026_09_27_zhang_li: Zhang and Li claim that the independence sequence of every finite forest is unimodal; a Zenodo preprint of 27 September 2026, revised on 6 October 2026 with Vallier, posted on arXiv, with a Lean development; unreviewed.

---