{"id":"arxiv/2601.01235","url":"https://arxiv.org/abs/2601.01235","tags":["math.CO","math.RT"],"score":0,"title":"Bruhat intervals that are large hypercubes","domain":"math.CO","source":"arxiv","authors":["Jordan Ellenberg","Nicolas Libedinsky","David Plaza","José Simental","Geordie Williamson"],"reviews":0,"subject":"math.CO","summary":"We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and which we show works well for general $n$. When $n$ is a power of 2 we exhibit a hypercube of dimension $O(n\\log n)$, matching the largest possible dimension up to a constant multiple. Furthermore, we give an exact characterization of the vertices of this…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-03","reactions":{}}