arXiv++ Combinatorics

B. Xu characterized rank $4$ self-dual association schemes inducing three partial geometric designs by their character tables. We construct such association schemes as Schur rings over abelian $2$-groups.

Integrality properties of partial sums over irreducible representations, along columns of character tables of finite groups, were recently derived using combinatorial topological string theories (CTST). These CTST were based on Dijkgraaf-Witten theories of flat $G$-bundles for finite groups $G$ in two dimensions, denoted $G$-TQFTs. We define analogous combinatorial topological strings related to two dimensional TQFTs based on fusion coefficients of finite groups. These TQFTs are denoted as $R(G)$-TQFTs and allow analogous integrality results to be derived for partial row sums of characters over conjugacy classes along fixed rows. This relation between the $G$-TQFTs and $R(G)$-TQFTs defines a row-column duality for character tables, which provides a physical framework for exploring the mathematical analogies between rows and columns of character tables. These constructive proofs of integrality are complemented with the proof of similar and complementary results using the more traditional Galois theoretic framework for integrality properties of character tables. The partial row and column sums are used to define generalised partitions of the integer row and column sums, which are of interest in combinatorial representation theory.

Whether or not the Kronecker coefficients of the symmetric group count some set of combinatorial objects is a longstanding open question. In this work we show that a given Kronecker coefficient is proportional to the rank of a projector that can be measured efficiently using a quantum computer. In other words a Kronecker coefficient counts the dimension of the vector space spanned by the accepting witnesses of a QMA verifier, where QMA is the quantum analogue of NP. This implies that approximating the Kronecker coefficients to within a given relative error is not harder than a certain natural class of quantum approximate counting problems that captures the complexity of estimating thermal properties of quantum many-body systems. A second consequence is that deciding positivity of Kronecker coefficients is contained in QMA, complementing a recent NP-hardness result of Ikenmeyer, Mulmuley and Walter. We obtain similar results for the related problem of approximating row sums of the character table of the symmetric group. Finally, we discuss an efficient quantum algorithm that approximates normalized Kronecker coefficients to inverse-polynomial additive error.

Proving a conjecture of Miller, we show that as $n$ tends to infinity almost all entries in the character table of $S_n$ are divisible by any given prime power. This extends our earlier work which treated divisibility by primes.

For a finite group $G$ with integer-valued character table and a prime $p$, we show that almost every entry in the character table of $G \wr S_N$ is divisible by $p$ as $N \to \infty$. This result generalizes the work of Peluse and Soundararajan on the character table of $S_N$.

Using the classification of transitive groups of degree $n$, for $2 \leqslant n \leqslant 48$, we classify the Schurian association schemes of order $n$, and as a consequence, the transitive groups of degree $n$ that are $2$-closed. In addition, we compute the character table of each association scheme and provide a census of important properties. Finally, we compute the $2$-closure of each transitive group of degree $n$, for $2 \leqslant n \leqslant 48$. The results of this classification are made available as a supplementary database.

Let $\mathcal{C}_n =\left [χ_λ(μ)\right]_{λ, μ}$ be the character table for $S_n,$ where the indices $λ$ and $μ$ run over the $p(n)$ many integer partitions of $n.$ In this note we study $Z_{\ell}(n),$ the number of zero entries $χ_λ(μ)$ in $\mathcal{C}_n,$ where $λ$ is an $\ell$-core partition of $n.$ For every prime $\ell\geq 5,$ we prove an asymptotic formula of the form $$ Z_{\ell}(n)\sim α_{\ell}\cdot σ_{\ell}(n+δ_{\ell})p(n)\gg_{\ell} n^{\frac{\ell-5}{2}}e^{π\sqrt{2n/3}},$$ where $σ_{\ell}(n)$ is a twisted Legendre symbol divisor function, $δ_{\ell}:=(\ell^2-1)/24,$ and $1/α_{\ell}>0$ is a normalization of the Dirichlet $L$-value $L\left(\left(\frac{\cdot}{\ell}\right),\frac{\ell-1}{2}\right).$ For primes $\ell$ and $n>\ell^6/24,$ we show that $χ_λ(μ)=0$ whenever $λ$ and $μ$ are both $\ell$-cores. Furthermore, if $Z^*_{\ell}(n)$ is the number of zero entries indexed by two $\ell$-cores, then for $\ell\geq 5$ we obtain the asymptotic $$ Z^*_{\ell}(n)\sim α_{\ell}^2 \cdot σ_{\ell}( n+δ_{\ell})^2 \gg_{\ell} n^{\ell-3}. $$

An (association) scheme is said to be Frobenius if it is the scheme of a Frobenius group. A scheme which has the same tensor of intersection numbers as some Frobenius scheme is said to be pseudofrobenius. We establish a necessary and sufficient condition for an imprimitive pseudofrobenius scheme to be Frobenius. We also prove strong necessary conditions for existence of an imprimitive pseudofrobenius scheme which is not Frobenius. As a byproduct, we obtain a sufficient condition for an imprimitive Frobenius group $G$ with abelian kernel to be determined up to isomorphism only by the character table of $G$. Finally, we prove that the Weisfeiler-Leman dimension of a circulant graph with $n$ vertices and Frobenius automorphism group is equal to $2$ unless $n\in \{p,p^2,p^3,pq,p^2q\}$, where $p$ and $q$ are distinct primes.

Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs. In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise. Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests.

We show that almost every entry in the character table of $S_N$ is divisible by any fixed prime as $N\to\infty$. This proves a conjecture of Miller.

We show that almost every entry in the character table of $S_n$ is even as $n\to\infty$. This resolves a conjecture of Miller. We similarly prove that almost every entry in the character table of $S_n$ is zero modulo $3,5,7,11,$ and $13$ as $n\to\infty$, partially addressing another conjecture of Miller.

We study Cameron-Liebler $k$-sets in the affine geometry, so sets of $k$-spaces in $\text{AG}(n, q)$. This generalizes research on Cameron-Liebler $k$-sets in the projective geometry $\text{PG}(n, q)$. Note that in algebraic combinatorics, Cameron-Liebler $k$-sets of $\text{AG}(n, q)$ correspond to certain equitable bipartitions of the Association scheme of $k$-spaces in $\text{AG}(n, q)$, while in the analysis of Boolean functions, they correspond to Boolean degree $1$ functions of $\text{AG}(n, q)$. We define Cameron-Liebler $k$-sets in $\text{AG}(n, q)$ by intersection properties with $k$-spreads and show the equivalence of several definitions. In particular, we investigate the relationship between Cameron-Liebler $k$-sets in $\text{AG}(n, q)$ and $\text{PG}(n, q)$. As a by-product, we calculate the character table of the association scheme of affine lines. Furthermore, we characterize the smallest examples of Cameron-Liebler $k$-sets. This paper focuses on $\text{AG}(n, q)$ for $n > 3$, while the case for Cameron-Liebler line classes in $\text{AG}(3, q)$ was already treated separately.

We construct a pair of non-commutative rank 8 association schemes from a rank 3 non-symmetric association scheme. For the pair, two association schemes have the same character table but different Frobenius-Schur indicators. This situation is similar to the pair of the dihedral group and the quaternion group of order 8. We also determine the structures of adjacency algebras of them over the rational number field.

If $λ$ and $μ$ are two non-empty Young diagrams with the same number of squares, and $\boldsymbolλ$ and $\boldsymbolμ$ are obtained by dividing each square into $d^2$ congruent squares, then the corresponding character value $χ_{\boldsymbolλ}(\boldsymbolμ)$ is divisible by $d!$.

For an arbitrary prime $p$ we prove that the proportion of entries divisible by $p$ in certain columns of the character table of the symmetric group $S_n$ tends to 1 as $n\to\infty$. This is done by finding lower bounds on the number of $k$-cores, for $k$ large enough with respect to $n$.

In previous work of this author it was conjectured that the sum of power sums $p_λ,$ for partitions $λ$ ranging over an interval $[(1^n), μ]$ in reverse lexicographic order, is Schur-positive. Here we investigate this conjecture and establish its truth in the following special cases: for $μ\in [(n-4,1^4), (n)]$ or $μ\in [(1^n), (3,1^{n-3})], $ or $μ=(3, 2^k, 1^r)$ when $k\geq 1$ and $0\leq r\leq 2.$ Many new Schur positivity questions are presented.

Recently, the authors of the present work (together with M. N. Kolountzakis) introduced a new version of the non-commutative Delsarte scheme and applied it to the problem of mutually unbiased bases. Here we use this method to investigate the existence of a finite projective plane of a given order d. In particular, a short new proof is obtained for the nonexistence of a projective plane of order 6. For higher orders like 10 and 12, the method is non decisive but could turn out to give important supplementary informations.

The object of this short note is to prove a theorem and present a conjecture for the number of even entries in the character table of the symmetric group.

An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. They are often represented as the columns of a short, fat matrix. In certain applications we want this matrix to be flat, that is, have the property that all of its entries have modulus one. In particular, real flat ETFs are equivalent to self-complementary binary codes that achieve the Grey-Rankin bound. Some flat ETFs are (complex) Hadamard ETFs, meaning they arise by extracting rows from a (complex) Hadamard matrix. These include harmonic ETFs, which are obtained by extracting the rows of a character table that correspond to a difference set in the underlying finite abelian group. In this paper, we give some new results about flat ETFs. One of these results gives an explicit Naimark complement for all Steiner ETFs, which in turn implies that all Kirkman ETFs are possibly-complex Hadamard ETFs. This in particular produces a new infinite family of real flat ETFs. Another result establishes an equivalence between real flat ETFs and certain types of quasi-symmetric designs, resulting in a new infinite family of such designs.

In order to find a tractable theory to substitute for the wild character theory of the group of $n\times n$ unipotent upper-triangular matrices over a finite field $\mathbb{F}_q$, André and Yan introduced the notion of supercharacter theory. In this paper, we construct a supercharacter theory from an arbitrary set $S$ of normal subgroups of $G$. We call such supercharacter theory the normal supercharacter theory generated by $S$. It is shown that normal supercharacter theories are integral, and a recursive formula for supercharacters of the normal supercharacter theory is provided. The normal supercharacter theory provides many substitutions for wild character theories. Also, we indicate that the superclasses of the normal supercharacter theory generated by all normal subgroups of $G$ are given by certain values on the primitive central idempotents. We study the connection between the finest normal supercharacter theory and faithful irreducible characters. Moreover, an algorithm is presented to construct the supercharacter table of the finest normal supercharacter theory from the character table. Finally, We justify that normal supercharacter theories cannot be obtained by preceding supercharacter theory constructions.