group
10399 papers tagged with this keyword
On inversion sets of joins in weak Bruhat order
It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite.
Some proofs were developed in collaboration with Claude Opus 5.
An infinite family of intransitive directed strongly regular graphs with rank 6 Weisfeiler--Leman closure
We construct an infinite family of directed strongly regular graphs (DSRGs) with intransitive full automorphism groups whose Weisfeiler--Leman closure are association schemes of rank 6. This is the smallest possible rank for an association scheme admitting a proper DSRG merging. We also exhibit rigid sporadic DSRGs with the same closure property, showing that combinatorial regularity, group-theoretic symmetry, and Weisfeiler--Leman regularity capture fundamentally different aspects of graph structure.
Abstract regular polytopes of $G_2(q)$ in even characteristic
For every even prime power $q>2$, we explicitly construct a rank five string C-group representation of the Chevalley simple group $G_2(q)$ using its natural seven-dimensional matrix representation. We also give a census for the string C-group representations of $G_2(q)$ of ranks four and above for every prime power $3 \le q \le 11$; providing computational evidence that rank five string C-group representations of $G_2(q)$ are rare and that this construction is exceptional among the currently known examples.
Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties
Skew-symmetric matrix Schubert varieties are determinantal varieties obtained by intersecting matrix Schubert varieties with the space of skew-symmetric matrices. They are closely related to the orbit closures of the symplectic group action on the flag variety, and their torus-equivariant K-classes are the symplectic Grothendieck polynomials. We compute the Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties by giving a combinatorial formula for the degree of symplectic Grothendieck polynomials. In addition, we characterize the highest-degree homogeneous component of a symplectic Grothendieck polynomial and compute the maximal Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties.
Commutators of signed $n$-cycles
We show that for $n \geq 6$ each element of the commutator subgroup in the symmetric group $\mathfrak{S}_n$ resp. in the signed symmetric group $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is the commutator of two $n$-cycles resp. the commutator of two $n$-cycles with a negative sign product; with one exception. If $n \equiv 2$ $\mathrm{mod}~4$, the element $-\mathrm{id}$ of $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is not such a commutator. In the language of Coxeter groups, this yields a description of commutators of Coxeter elements in types $A$ and $B$.
How to Construct High Barrycades
Given two positive integers height $h$ and order $n$, the barrycade construction problem asks for a set of $h$ permutations of the integers from $1$ to $n$ such that all the proper partial sums given by these permutations are pairwise distinct. The name barrycade was coined by Richard K. Guy and refers to Barry Cipra, who introduced this kind of arrangement problem. A simple calculation shows that a solution can only exist for $n \ge 2h-2$ and it is conjectured that there always exists a solution for every height $h \ge 2$ and order $n \ge 2h-2$.
In this work, for every height $h \ge 1$, we present a construction of a barrycade of height $h$ and order $n = 2h+3$. We also present a randomized heuristic that allows us to find a barrycade of height $h$ and conjectured optimal order $n=2h-2$, for every height $2 \leq h \leq 50$. Thus, we confirm the conjectured optimal order for all heights up to $50$.
We also consider a related corral construction problem, where the permutations define a cyclic arrangement. In this setting, for every height $h \ge 1$, we present a construction of a corral of height $h$ and order $n=2h$. A heuristic approach, similar to the one used for barrycades, allows us to find a corral of height $h$ and conjectured optimal order $n=2h-1$, for every height $1 \leq h \leq 50$. We confirm Tomoki Nakamigawa's conjecture on well-dispersed partitions of cyclic groups for the number of parts up to $20$.
Sudoku Analogues of Baranyai's Theorem
Motivated by higher-dimensional generalizations of Sudoku, we study exact block-structured decompositions, algebraic characterizations, and orthogonality for Sudoku hypercubes. Let $n=\prod_{i=1}^d a_i$, let $b_i=n/a_i$, and consider the $λ$-fold complete $d$-uniform $d$-partite hypergraph with $d$ vertex classes of size $n$, where the $i$th class is partitioned into $a_i$ groups of size $b_i$. Given positive integers $m_1,\dots,m_k$ with $\sum_{j=1}^k m_j=λn^d$, we partition the edges into color classes of sizes $m_1,\dots,m_k$ so that, in color $j$, vertex degrees and block counts are each either $\lfloor m_j/n\rfloor$ or $\lceil m_j/n\rceil$, while the multiplicity of an underlying edge is either $\lfloor m_j/n^d\rfloor$ or $\lceil m_j/n^d\rceil$. When $m_j=nr_j$, the vertex and block balances are exact, yielding block factorizations and higher-dimensional Sudoku analogues of Baranyai's theorem.
Within the same block framework, we give a Delsarte characterization of the Sudoku condition using association schemes and study mutually orthogonal Sudoku hypercubes of order $q^3$ for prime powers $q$. For block sizes $(q^3,q^2,q)$ and $(q^3,q^3,1)$, the resulting families attain a general upper bound and are best possible. For block size $(q^2,q^2,q^2)$, we construct $q^2(q^2-1)(q^2-q)$ mutually orthogonal hypercubes; this construction is asymptotically best possible as $q\to\infty$.
Surface subgroups of Baumslag doubles along short words
If $U$ is a minimal, diskbusting, finite list of words in a free group $F_n$ of rank $n$ such that the sum of the lengths of words in $U$ is at most $2n+4$, we prove that the natural presentation complex of the Baumslag double of $F_n$ along $U$ virtually contains a $π_1$-injective embedded closed hyperbolic surface. This verifies the Tiling Conjecture of Kim and Wilton for this type of lists of words, and in particular, implies that the corresponding Baumslag double contains a hyperbolic surface subgroup.
A characterization of idempotent Schur multipliers
We prove that every idempotent Schur multiplier is a finite signed sum of contractive idempotent Schur multipliers. This was conjectured by Katavolos and Paulsen in 2003 and previously known only for translation-invariant Schur multipliers, by the Cohen-Host idempotent theorem.
Concretely, we show that any boolean matrix $A$ with Schur multiplier norm at most $γ$ (or equivalently $\lVert A\rVert_{γ_2} \le γ$) can be written as \[ A=\sum_{i=1}^{L}σ_i B_i,\] where $L\leq 2^{Cγ^6}$ for an absolute constant $C$, $σ_i\in\{-1,1\}$ are signs, and each $B_i$ is a contractive idempotent Schur multiplier, that is, a boolean matrix whose $1$-entries form a union of all-one rectangular blocks, with no two blocks sharing a row or a column.
As observed by Carenini, a key lemma in our work yields a new proof of the Cohen-Host theorem and gives a simple proof of the quantitative refinements of Green-Sanders and Sanders, with improved bounds. We include a self-contained exposition of these results in the case of finite groups.
Geometric Complexity Theory and Graph Isomorphism
We investigate ideas from the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001) in the setting of graph isomorphism. This provides us a playground of finite combinatorial objects on which to explore these techniques. We seek to separate non-isomorphic pairs of graphs using vector spaces of polynomials that are set-wise invariant under permutations (so-called separating modules). We characterize the power of this method for distinguishing graphs under several different complexity measures:
- We show that separating modules of "support-degree" $k$ are equivalent in power to the counts of $O(k)$-vertex subgraphs.
- We show that separating modules of symmetric algebraic circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-dimensional Weisfeiler-Leman. This generalizes and strengthens the result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025).
- When considering only the representation-theoretic multiplicities of separating modules, we show that two graphs are separated by multiplicities if and only if their automorphism groups have different multiplicity of cycle types (cycle index).
The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect support size (from the study of WL) to complexity measures on $S_n$ (Dafni, Filmus, Lifshitz, Lindzey, & Vinyals, ITCS '21); as well as connections between invariant polynomials, the Graph Reconstruction Conjectures, and Forman's "invariants of finite type" (Adv. Math., 2004).
Word Measures on Wreath Products II
Published
• View Publication
• BIB
Every word $w$ in $F_r$, the free group of rank $r$, induces a probability measure (the $w$-measure) on every finite group $G$, by substitution of random $G$-elements in the letters. This measure is determined by its Fourier coefficients: the $w$-expectations $E_w[χ]$ of the irreducible characters of $G$. For every finite group $G$, every stable character $χ$ of $G\wr S_n$ (trace of a finitely generated $FI_G$-module), and every word $w\in F_r$, we approximate $E_w[χ]$ up to an error term of $O(n^{-π(w)})$, where $π(w)$ is the primitivity rank of $w$. This generalizes previous works by Puder, Hanany, Magee and the author. As an application we show that random Schreier graphs of representation-stable actions of $G\wr S_n$ are close-to-optimal expanders. The paper reveals a surprising relation between stable representation theory of wreath products and not-necessarily connected Stallings core graphs.
Kostant $ρ$-decomposition of homology I. Finite-dimensional representations
We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.
Ramsey theory and topological dynamics of 0-dimensional flows
We introduce several Ramsey-theoretic properties of 0-dimensional ambits and obtain their dynamical characterizations. In consequence, we obtain Ramsey-theoretic criteria for triviality and for profiniteness of some important invariants (in particular, of the Ellis groups) of the ambits in question. This yields a criterion for the structural property that each distal minimal factor of the given ambit is a profinite flow. Another result is a criterion for metrizability of the minimal left ideals in the Ellis semigroup.
Then we study three specializations of the above abstract context: to first order theories, to definable groups, and to the classical Kechris-Pestov-Todorčević theory, recovering known and obtaining new results in each of these contexts.
Brauer-Kuroda relations for ramified graph covers
We establish graph-theoretic analogues of the Brauer-Kuroda relations for ramified Galois covers of finite graphs with arbitrary finite Galois groups. These formulas relate the numbers of spanning trees of intermediate quotient graphs and recover the corresponding formulas for unramified covers. Our proofs use $h$-functions defined on multiplicity spaces of complex representations of the Galois group.
Nonexistence results and constructions for signed difference sets
Signed difference sets (SDSs) extend ordinary difference sets by allowing negative coefficients. We establish new nonexistence criteria and existence constructions for SDSs in finite abelian groups. Using the classical self-conjugate-prime method and a support-refined quotient method, we derive four obstructions, including the $C_2$-quotient, near-full-support, and small-defect obstructions. Applied cumulatively to the $67{,}823$ open group-specific cases in the database with $9\leq v\leq499$, these criteria rule out $45{,}361$ cases. For existence, we construct an infinite family from PCP-type regular partial difference sets arising from Desarguesian spreads and an explicit $(125,28,3)$-SDS in $C_5^3$ using quartic multiplicative characters. These constructions settle three further open cases.
An Efficient Triangulation of $\mathbb{R}P^5$
We present a $6$-dimensional centrally symmetric simplicial polytope for which the antipodal quotient of its boundary forms a $24$-vertex triangulation of the $5$-dimensional real projective space. This $6$-polytope is highly symmetric with an automorphism group of order $192$, and is of independent interest. We conjecture that our construction uses the fewest number of vertices among all triangulations of $\mathbb{R}P^5$. Our method also produces two triangulations of $\mathbb{R}P^6$ on $45$ and $49$ vertices; both improve the previously best known construction in dimension $6$ that used $53$ vertices.
The unique extremal threemodular lattice of rank 26, the generalized hexagon $(2,8)$, and the tight Cayley-plane $5$-design
We reconstruct the generalized hexagon of order $(2,8)$ from an abstract even rank-$26$ lattice of determinant $3$ and minimum $4$, and conversely reconstruct the lattice from the hexagon. Harmonic theta identities determine the $819$ shortest vectors in a non-zero discriminant class and their association scheme, and show that every non-empty positive-norm shell of the lattice and its dual is a spherical $5$-design. In the converse direction, the rank-$26$ idempotent gives the lattice, with saturation proved by a short dual-coset argument. A positive-definite Niemeier construction proves existence and uniqueness of the lattice and hence of the hexagon.
The third moment of a projective $3$-design in the Cayley plane reconstructs the traceless Albert product. This upgrades angle-preserving bijections to elements of $F_4(\mathbb R)$ and proves geometric uniqueness of the tight $819$-point projective $5$-design. Finally, line deletion gives a rootless index-four sublattice of $N(A_1^{24})$ with a Golay trio and an oriented gluing. The gluing data form eight root-sign orbits, on which $L_3(2)\cong L_2(7)$ acts as on $\mathbf P^1(\mathbf{F}_7)$; two explicit Golay permutations prove transitivity. This proves uniqueness and gives the automorphism-group order. The group is identified afterward as ${}^3D_4(2):3$, with a central factor $C_2$ for the full lattice group. The reconstruction and deletion arguments parallel the length-$26$ binary code construction.
Maximal proper extremal subset in the crystal basis of a finite-dimensional irreducible module
The notion of extremal subsets was introduced by Assaf, Dranowski, and González as a natural generalization of Demazure crystals. In this paper, we show that the crystal basis of a finite-dimensional irreducible module over a quantum group of finite type has a unique maximal proper extremal subset, whose complement is the set of elements that generate the whole crystal basis as an extremal subset. We conjecture that this complement consists of all nonzero elements obtained by successively applying the lowering Kashiwara operators to a distinguished element, which is constructed from the lowest element of the crystal basis. We prove this conjecture in type A.
A twelve-term exclusion for the small Davenport constant of $E_2\times C_3^r$
Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. For every $r\ge1$, we prove that a product-one-free sequence of length $2r+11$ over $E_2\times C_3^r$ cannot contain exactly $2r-1$ central terms. Thus the critical layer with twelve noncentral terms is excluded. The proof combines a relative moment criterion for abelian normal subgroups with a finite theorem in a symplectic four-space over $\mathbb F_3$. Under explicit subspace occupancy bounds, the family of balanced triangles that can actually be completed to a nonfull zero-sum block admits edge weights summing to one on every triangle. A dual cycle argument reduces this assertion to a potential condition on branching edges. All remaining configurations contain one of eleven minimal frames; two separately implemented exhaustive checks verify all their admissible extensions. The unrestricted check has 9544046 leaves. Complete source code and execution records are supplied. The exact value of $\mathsf{d}(E_2\times C_3^r)$ for arbitrary $r$ is not determined by this result.
Butson Hadamard Matrices from Pairs of Gauss Sums
Let $q$ be a prime power. We give a construction of Butson Hadamard matrices $BH((F_q\times F_q,+),lcm(6,d))$ for any divisor $d>1$ of $q-1$. Most character values of the group ring elements corresponding to these matrices involve products of two Gauss sums over $F_q$ (with non-quadratic Gauss sums occurring) and this property distinguishes our result from all previously known constructions of group invariant Butson Hadamard matrices. In fact, our $BH((F_q\times F_q,+),lcm(6,d))$ matrices arise as a special case of a more general construction based on what we call ``Butson-Jacobsthal functions'' that resembles the construction of Hadamard matrices from Jacobsthal matrices.