放物型Lie代数のOomsスペクトルの単峰性と対数凹性

We study the Ooms multiplicities of Frobenius maximal parabolics $W(a,b)$ of type~$A$. For $a=mb+r$ with $1\le r<b$, the Euclidean algorithm relates their potential histograms to those of the smaller algebra $W(r,b-r)$. We prove strict unimodality for every positive coprime pair: the multiplicities increase strictly to the equal central values at eigenvalues $0$ and $1$, then decrease strictly. This strengthens the recent maximal-parabolic unimodality theorem of Giaquinto, Irving, Lauve, and Mastnak. We also prove log-concavity for the unbounded families $W(mb\pm t,b)$, where $t\in\{1,2,3\}$, $b>t$, $\gcd(b,t)=1$, and $m\ge1$. These results cover every Frobenius case with smaller block at most $8$, and also smaller block $10$. For each fixed residue class, we then prove that log-concavity of the whole family is determined by finitely many initial spectra. The finite cutoff is obtained symbolically. Exact integer verification of the resulting finite lists proves strict internal log-concavity whenever the smaller block is at most $128$, with no bound on the larger block. The unrestricted log-concavity conjecture is not proved here.