{"id":"arxiv/2607.21338","url":"https://arxiv.org/abs/2607.21338","tags":["math.CO"],"score":0,"title":"The Ehrhart series of magic squares of orders seven and eight","domain":"math.CO","source":"arxiv","authors":["Dun Qiu","Guoce Xin","Zihao Zhang"],"reviews":0,"subject":"math.CO","summary":"Let $\\mathrm{IMS}_n(m)$ count the $n\\times n$ nonnegative integer matrices whose row sums, column sums, main-diagonal sum, and antidiagonal sum are all $m$. We determine the Ehrhart series $F_n(q)=\\sum_{m\\geq0}\\mathrm{IMS}_n(m)q^m$ as reduced rational functions for $n=7$ and $n=8$. Their numerator--denominator degrees are respectively $(366,373)$ and $(540,548)$. Both numerators have positive integer coefficients, are palindromic and strictly unimodal. The proofs share one finite architecture: a signed SimpCone decomposition is evaluated by quotient characters over finite fields, a certified…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}