Discrete Concavity of Token-Graph Spectral Radii via Lorentzian Semigroups
Let $F_k(G)$ be the $k$-token graph of a finite graph with nonnegative edge weights, and let $A_k$ and $D_k$ be its weighted adjacency and degree matrices. For every $-1\leq\vartheta\leq1$, we prove that $k\mapsto\lambda_{\max}(A_k+\vartheta D_k)$ is discretely concave. Complement symmetry then makes this sequence nond...