Local Maxima of Quadratic Boolean Functions

How many strict local maxima can a real quadratic function on $\{0,1\}^n$ have? Holzman conjectured a maximum of $n \choose \lfloor n/2 \rfloor$. The aim of this paper is to prove this conjecture. Our approach is via a generalization of Sperner's theorem that may be of independent interest.Comment: 6 pages, 1 figur

Algebraic and o-minimal flows beyond the cocompact case

Let $X \subset \mathbb{C}^n$ be an algebraic variety, and let $\Lambda \subset \mathbb{C}^n$ be a discrete subgroup whose real and complex spans agree. We describe the topological closure of the image of $X$ in $\mathbb{C}^n / \Lambda$, thereby extending a result of Peterzil-Starchenko in the case when $\Lambda$ is cocompact. We also obtain a similar extension when $X\subset \mathbb{R}^n$ is definable in an o-minimal structure with no restrictions on $\Lambda$, and as an application prove the following conjecture of Gallinaro: for a closed semi-algebraic $X\subset \mathbb{C}^n$ (such as a complex algebraic variety) and $\exp:\mathbb{C}^n\to (\mathbb{C}^*)^n$ the coordinate-wise exponential map, we have $\overline{\exp(X)}=\exp(X)\cup \bigcup_{i=1}^m \exp(C_i)\cdot \mathbb{T}_i$ where $\mathbb{T}_i\subset (\mathbb{C}^*)^n$ are positive-dimensional compact real tori and $C_i\subset \mathbb{C}^n$ are semi-algebraic.Comment: 8 pages, comments welcome

Log-concavity of matroid h-vectors and mixed Eulerian numbers

For any matroid $M$, we compute the Tutte polynomial $T_M(x,y)$ using the mixed intersection numbers of certain tautological classes in the combinatorial Chow ring $A^\bullet(M)$ arising from Grassmannians. Using mixed Hodge-Riemann relations, we deduce a strengthening of the log-concavity of the h-vector of a matroid complex, improving on an old conjecture of Dawson whose proof was announced recently by Ardila, Denham and Huh.Comment: 29 pages, comments welcome

Geometric and o-minimal Littlewood-Offord problems

The classical Erd\H{o}s-Littlewood-Offord theorem says that for nonzero vectors $a_1,\dots,a_n\in \mathbb{R}^d$, any $x\in \mathbb{R}^d$, and uniformly random $(\xi_1,\dots,\xi_n)\in\{-1,1\}^n$, we have $\Pr(a_1\xi_1+\dots+a_n\xi_n=x)=O(n^{-1/2})$. In this paper we show that $\Pr(a_1\xi_1+\dots+a_n\xi_n\in S)\le n^{-1/2+o(1)}$ whenever $S$ is definable with respect to an o-minimal structure (for example, this holds when $S$ is any algebraic hypersurface), under the necessary condition that it does not contain a line segment. We also obtain an inverse theorem in this setting