We gather evidence on a new local-global conjecture of Moretó and Rizo on values of irreducible characters of finite groups. For this we study subnormalisers and picky elements in finite groups of Lie type and determine them in many cases, for unipotent elements as well as for semisimple elements of prime power order. We also discuss subnormalisers of unipotent and semisimple elements in connected as well as in disconnected reductive linear algebraic groups.

Schubert Vanishing is a problem of deciding whether Schubert coefficients are zero. Until this work it was open whether this problem is in the polynomial hierarchy ${{\mathsf {PH}}}$. We prove this problem is in ${{\mathsf {AM}}} \cap {{\mathsf {coAM}}}$ assuming the Generalized Riemann Hypothesis ($\mathrm{GRH}$), that is, relatively low in ${{\mathsf {PH}}}$. Our approach uses Purbhoo’s criterion [57] to construct explicit polynomial systems for the problem. The result follows from a reduction to Parametric Hilbert’s Nullstellensatz, recently analyzed in [2]. We extend our results to all classical types.

The smallest eigenvalue of a graph is the smallest eigenvalue of its adjacency matrix. We show that the family of graphs with smallest eigenvalue at least $-\lambda $ can be defined by a finite set of forbidden induced subgraphs if and only if $\lambda < \lambda ^*$, where $\lambda ^* = \rho ^{1/2} + \rho ^{-1/2} \approx 2.01980$, and $\rho $ is the unique real root of $x^3 = x + 1$. This resolves a question raised by Bussemaker and Neumaier. As a byproduct, we find all the limit points of smallest eigenvalues of graphs, supplementing Hoffman’s work on those limit points in $[-2, \infty )$.

We also prove that the same conclusion about forbidden subgraph characterization holds for signed graphs. Our impetus for the study of signed graphs is to determine the maximum cardinality of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Denote by $N_{\alpha , \beta }(d)$ the maximum number of unit vectors in $\mathbb {R}^d$ where all pairwise inner products lie in $\{\alpha , \beta \}$ with $-1 \le \beta < 0 \le \alpha < 1$. Very recently Jiang, Tidor, Yao, Zhang, and Zhao determined the limit of $N_{\alpha , \beta }(d)/d$ as $d\to \infty $ when $\alpha + 2\beta < 0$ or $(1-\alpha )/(\alpha -\beta ) \in \{1,\sqrt 2,\sqrt 3\}$, and they proposed a conjecture on the limit in terms of eigenvalue multiplicities of signed graphs. We establish their conjecture whenever $(1-\alpha )/(\alpha - \beta ) < \lambda ^*$.

We provide a second-order energy expansion for a gas of N bosonic particles with three-body interactions in the Gross-Pitaevskii regime. We especially confirm a conjecture by Nam, Ricaud, and Triay in [25], where they predict the subleading term in the asymptotic expansion of the ground state energy to be of the order $\sqrt {N}$. In addition, we show that low-energy states satisfy Bose-Einstein condensation with a rate of the order $N^{-\frac {3}{4}}$.

Tao (2018) showed that in order to prove the Lonely Runner Conjecture (LRC) up to $n+1$ runners it suffices to consider positive integer velocities in the order of $n^{O(n^2)}$. Using the zonotopal reinterpretation of the conjecture due to the first and third authors (2017) we here drastically improve this result, showing that velocities up to $\binom {n+1}{2}^{n-1} \le n^{2n}$ are enough.

We prove the same finite-checking result, with the same bound, for the more general shifted Lonely Runner Conjecture (sLRC), except in this case our result depends on the solution of a question, that we dub the Lonely Vector Problem (LVP), about sumsets of n rational vectors in dimension two. We also prove the same finite-checking bound for a further generalization of sLRC that concerns cosimple zonotopes with n generators, a class of lattice zonotopes that we introduce.

In the last sections we look at dimensions two and three. In dimension two we prove our generalized version of sLRC (hence we reprove the sLRC for four runners), and in dimension three we show that to prove sLRC for five runners it suffices to look at velocities adding up to $195$.

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring $\mathrm {R}(T)$ universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over $\mathrm {R}(T)$ and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over $\mathrm {R}(T)$. These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously.

We prove new weighted decoupling estimates. As an application, we give an improved sufficient condition for almost everywhere convergence of the Bochner-Riesz means of arbitrary $L^p$ functions for $1<p<2$ in dimensions 2 and 3.

Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2,2n,2n+2,2n,2n+2,2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but finding an explicit bijection proving this belongs to the most difficult problems in bijective combinatorics. Towards constructing such a bijection, we generalize the result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. This is a significant step from a constant number of equidistributed statistics to a linear number of statistics in n. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects and then applying certain sign-reversing involutions. Another main result concerns the expansion of the multivariate generating function into symplectic characters as a sum over totally symmetric self-complementary plane partitions, which is in perfect analogy to the situation for ordinary ASMs where the Schur expansion can be written as a sum over totally symmetric plane partitions. This is exciting as it is reminiscent of the well-known Cauchy identity, and the Cauchy identity does have a bijective proof using the Robinson-Schensted-Knuth correspondence, and thus the result raises the question of whether there is a variation of the Robinson–Schensted–Knuth correspondence that does eventually lead to a bijective proof.

In 1967, Klarner proposed a problem concerning the existence of reflecting n-queens configurations. The problem considers the feasibility of placing n mutually nonattacking queens on the reflecting chessboard, an $n\times n$ chessboard with a $1\times n$ “reflecting strip” of squares added along one side of the board. A queen placed on the reflecting chessboard can attack the squares in the same row, column, and diagonal, with the additional feature that its diagonal path can be reflected via the reflecting strip. Klarner noted the equivalence of this problem to a number theory problem proposed by Slater, which asks: for which n is it possible to pair up the integers 1 through n with the integers $n+1$ through $2n$ such that no two of the sums or differences of the n pairs of integers are the same. We prove the existence of reflecting n-queens configurations for all sufficiently large n, thereby resolving both Slater’s and Klarner’s questions for all but a finite number of integers.

We build on a 1990 paper of Bukovský and Copláková-Hartová. First, we remove the hypothesis of ${\mathsf {CH}}$ from one of their minimality results. Then, using a measurable cardinal, we show that there is a $|\aleph _2^V|=\aleph _1$-minimal extension that is not a $|\aleph _3^V|=\aleph _1$-extension, answering the first of their questions.