arXiv++ Combinatorics

For a set of $n$ alternatives, the best--worst choice polytope is the convex hull of the deterministic best--worst choice vectors induced by all linear rankings of the alternatives. The question of determining the dimension of this polytope as a function of $n$ has been raised by Doignon \cite{Doignon2023}. In this paper we answer this question by finding an explicit formula for this dimension. Our proof is motivated by a representation-theoretic interpretation of the relevant rank problem for the symmetric group, but is presented entirely in elementary linear-algebraic terms. The connection with representation theory will be explored elsewhere.

Consider the tree obtained by attaching a leaf to the third vertex of a path with n-1 vertices. In this note, we prove that the characteristic polynomial of this tree is irreducible when n belongs to certain arithmetic progressions modulo 30. As a result there are infinitely many pairwise non-isomorphic trees with an irreducible the characteristic polynomial. Our proof combines several number-theoretic arguments with a result of Gross, Hironaka, and McMullen [GHM09] concerning the cyclotomic factors of the Coxeter polynomials associated with the diagrams En. This resolves affirmatively a conjecture of Akbari, Kumar, Mohar and Pragada.

Let $\mathfrak b_n(\mathbb F_q)$ denote the Lie algebra of upper triangular $n \times n$ matrices over $\mathbb F_q$, and let $\mathfrak u_n(\mathbb F_q)$ be the subalgebra of strictly upper triangular matrices. For every $\mathfrak b_n(\mathbb F_q)$-stable ideal $\mathfrak a \subseteq \mathfrak u_n(\mathbb F_q)$ and partition $μ$ of $n$, we give an explicit formula for the number of elements in $\mathfrak a$ of Jordan type $μ$. Up to a power of $q$, the number of points is given by the Hall scalar product of a modified Hall-Littlewood function indexed by $μ$ and a chromatic quasisymmetric function associated to $\mathfrak a$. In the special case $\mathfrak a = \mathfrak u_Λ(\mathbb F_q)$, the nilradical of the standard parabolic subalgebra of $\mathfrak{gl}_n(\mathbb F_q)$ corresponding to a composition $Λ$ of $n$, our formula specializes to a result of Karp and Thomas: up to a polynomial in $q$, the number of elements in $\mathfrak u_Λ(\mathbb F_q)$ of Jordan type $μ$ equals the coefficient of $\mathbf x^Λ$ in the specialization of the dual Macdonald symmetric function $\mathrm Q_{μ'}(\mathbf x; q^{-1}, t)$ at $t = 0$. We give a new and shorter proof using a parabolic version of Borodin's division algorithm. We present four applications: (1) a formula for the number of points on a nilpotent Hessenberg variety; (2) a derivation of Kirillov's recurrence for counting nilpotent matrices of fixed Jordan type; (3) a formula for the number of $X \in \mathfrak u_Λ(\mathbb F_q)$ with $X^2 = 0$, yielding a new proof of the Kirillov-Melnikov-Ekhad-Zeilberger formula via two-row Macdonald polynomials; (4) a formula for the number of double cosets $\mathsf U_1 \backslash \mathsf{GL}_n(\mathbb F_q) / \mathsf U_2$, where $\mathsf U_1$ and $\mathsf U_2$ are unipotent subgroups from $\mathfrak b_n(\mathbb F_q)$-stable ideals.

In this work, we will introduce and study the notion of local randomness for compact metric groups. We prove a mixing inequality as well as a product result for locally random groups under an additional dimension condition on the volume of small balls and provide several examples of such groups. In particular, this leads to new examples of groups satisfying such a mixing inequality. In the same context, we will develop a Littlewood-Paley decomposition and explore its connection to the existence of the spectral gap for random walks. Moreover, under the dimension condition alone, we will prove a multi-scale entropy gain result `a la Bourgain-Gamburd and Tao.

Let $F(x)=(f_1(x), \dots, f_m(x))$ be such that $1, f_1, \dots, f_m$ are linearly independent polynomials with real coefficients. Based on ideas of Bachoc, DeCorte, Oliveira and Vallentin in combination with estimating certain oscillatory integrals with polynomial phase we will show that the independence ratio of the Cayley graph of $\mathbb{R}^m$ with respect to the portion of the graph of $F$ defined by $a\leq \log |s| \leq T$ is at most $O(1/(T-a))$. We conclude that if $I \subseteq \mathbb{R}^m$ has positive upper density, then the difference set $I-I$ contains vectors of the form $F(s)$ for an unbounded set of values $s \in \mathbb{R}$. It follows that the Borel chromatic number of the Cayley graph of $\mathbb{R}^m$ with respect to the set $\{ \pm F(s): s \in \mathbb{R} \}$ is infinite. Analogous results are also proven when $\mathbb{R}$ is replaced by the field of $p$-adic numbers $\mathbb{Q}_p$. At the end, we will also the existence of real analytic functions $f_1, \dots, f_m$, for which the analogous statements no longer hold.

We will give a criterion for the amenability of arbitrary locally finite trees. The criterion is based on the trimming operator which is defined on the space of trees. As an application, we obtain a necessary and sufficient condition for that amenability of Galton-Watson trees.

In this paper, we will study the chromatic number of Cayley graphs of algebraic groups that arise from algebraic constructions. Using Lang-Weil bound and representation theory of finite simple groups of Lie type, we will establish lower bounds on the chromatic number of these graphs. This provides a lower bound for the chromatic number of Cayley graphs of the regular graphs associated to the ring of $n\times n$ matrices over finite fields. Using Weil's bound for Kloosterman sums we will also prove an analogous result for $\mathrm{SL}_2$ over finite rings.

For a field $F$ and a quadratic form $Q$ defined on an $n$-dimensional vector space $V$ over $F$, let $\mathrm{QG}_Q$, called the quadratic graph associated to $Q$, be the graph with the vertex set $V$ where vertices $u,w \in V$ form an edge if and only if $Q(v-w)=1$. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger-Nelson problem. In the present paper, we will prove that for a local field $F$ of characteristic zero, the Borel chromatic number of $\mathrm{QG}_Q$ is infinite if and only if $Q$ represents zero non-trivially over $F$. The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009.

Let $F$ be a non-Archimedean local field with the ring of integers $\mathcal{O}$ and the prime ideal $\mathfrak{p}$ and let $G={\bf G}\left(\mathcal{O}/\mathfrak{p}^n\right)$ be the adjoint Chevalley group. Let $m_f(G)$ denote the smallest possible dimension of a faithful representation of $G$. Using the Stone-von Neumann theorem, we determine a lower bound for $m_f(G)$ which is asymptotically the same as the results of Landazuri, Seitz and Zalesskii for split Chevalley groups over $\mathbb{F}_q$. Our result yields a conceptual explanation of the exponents that appear in the aforementioned results

Let a finite group $G$ act transitively on a finite set $X$. A subset $S\subseteq G$ is said to be {\it intersecting} if for any $s_1,s_2\in S$, the element $s_1^{-1}s_2$ has a fixed point. The action is said to have the {\it weak Erdős-Ko-Rado} property, if the cardinality of any intersecting set is at most $|G|/|X|$. If, moreover, any maximal intersecting set is a coset of a point stabilizer, the action is said to have the {\it strong Erdős-Ko-Rado} property. In this paper we will investigate the weak and strong Erdős-Ko-Rado property and attempt to classify the groups whose all transitive actions have these properties. In particular, we show that a group with the weak Erdős-Ko-Rado property is solvable and that a nilpotent group with the strong Erdős-Ko-Rado property is product of a $2$-group and an abelian group of odd order.

We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our method also delivers a lower bound for the minimal degree of a faithful representation for these groups. Using the suitable machinery from functional analysis, we establish exponential lower and upper bounds for the supremal measure of a product-free measurable subset of the profinite groups $\mathrm{SL}_{k}({\mathbb{Z}_p})$ and $\mathrm{Sp}_{2k}(\mathbb{Z}_p)$. We also obtain analogous bounds for a special subgroup of the automorphism group of a regular tree.