{"id":"arxiv/2609.11323","url":"https://arxiv.org/abs/2609.11323","tags":["math.CO"],"score":0,"title":"Polynomial positivity cones for Coxeter roots and walks in trees","domain":"math.CO","source":"arxiv","authors":["Dongxiu Cai","Zhenbo Chen","Jiasheng Zeng","Xiao-Dong Zhang"],"reviews":0,"subject":"math.CO","summary":"For a finite simple graph $G$ and an integer $k\\ge0$, let $w_k(G)$ denote the number of walks of length $k$. We prove the conjecture of Täubig, Weihmann, Kosub, Hemmecke, and Mayr for every finite tree and determine all equality cases. If $T$ has $n\\ge1$ vertices, then $n w_{k+1}(T)-2(n-1)w_k(T)\\ge0$ for every $k\\ge1$; for $n\\ge3$, equality holds if and only if $T$ is a star and $k$ is even, whereas for $n=1$ or $n=2$, equality holds for every $k\\ge1$. For non-Dynkin trees and even indices, the proof is based on a polynomial positivity cone associated with the adjacency operator of a finite…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}