group
10258 papers tagged with this keyword
A combinatorial $\mathfrak{sl}_2$-action and the Sperner property for the weak order
Published in Proc. Amer. Math. Soc. 148 (2020), 1-7
• View Publication
• BIB
We construct a simple combinatorially-defined representation of $\mathfrak{sl}_2$ which respects the order structure of the weak order on the symmetric group. This is used to resolve a conjecture of Stanley that the weak order has the strong Sperner property, and is therefore a Peck poset.
Weyl-Mahonian Statistics for Weighted Flags of Type A-D
We relate properties of weighted flags (or multiflags) of type AD to statistics of the corresponding Weyl groups. For type A, we recover the Mahonian statistics on symmetric groups. Finally, we sketch briefly an easy extension incorporating statistics for so-called Euler-polynomials.
Shortcut Graphs and Groups
Published
• View Publication
• BIB
We introduce shortcut graphs and groups. Shortcut graphs are graphs in which cycles cannot embed without metric distortion. Shortcut groups are groups which act properly and cocompactly on shortcut graphs. These notions unify a surprisingly broad family of graphs and groups of interest in geometric group theory and metric graph theory, including: the 1-skeletons of systolic and quadric complexes (in particular finitely presented C(6) and C(4)-T(4) small cancellation groups), 1-skeletons of finite dimensional CAT(0) cube complexes, hyperbolic graphs, standard Cayley graphs of finitely generated Coxeter groups and the standard Cayley graph of the Baumslag-Solitar group BS(1,2). Most of these examples satisfy a strong form of the shortcut property.
The shortcut properties also have important geometric group theoretic consequences. We show that shortcut groups are finitely presented and have exponential isoperimetric and isodiametric functions. We show that groups satisfying the strong form of the shortcut property have polynomial isoperimetric and isodiametric functions.
Convolution Algebras for Finite Reductive Monoids
For an arbitrary finite monoid $M$ and subgroup $K$ of the unit group of $M$, we prove that there is a bijection between irreducible representations of $M$ with nontrivial $K$-fixed space and irreducible representations of $\mathcal{H}_K$, the convolution algebra of $K\times K$-invariant functions from $M$ to $F$, where $F$ is a field of characteristic not dividing $|K|$. When $M$ is reductive and $K = B$ is a Borel subgroup of the group of units, this indirectly provides a connection between irreducible representations of $M$ and those of $F[R]$, where $R$ is the Renner monoid of $M$. We conclude with a quick proof of Frobenius Reciprocity for monoids for reference in future papers.
On Word and Gómez Graphs and Their Automorphism Groups in the Degree Diameter Problem
One of the prominent areas of research in graph theory is the degree-diameter problem, in which we seek to determine how many vertices a graph may have when constrained to a given degree and diameter. Different variants of this problem are obtained by considering further restrictions on the graph, such as whether it is directed, undirected, mixed, vertex-transitive etc. The currently best known extremal constructions are the Gómez graphs, both when considered as directed and undirected. As the Gómez graphs are similar to the Faber-Moore-Chen graphs, we give a natural generalisation of their definition which we call word graphs. We then prove that the Gómez graphs are as large as possible word graphs for given degree and diameter. Further, we provide a test to determine the full automorphism group of a word graph, and apply it to the extremal directed Gómez graphs to settle the previously open question of when the Gómez graphs are also Cayley graphs. Finally, we conclude with a brief list of interesting related open problems.
Counting the Number of Quasiplatonic Topological Actions of the Cyclic Group on Surfaces
Published
• View Publication
• BIB
Define $QC(n)$ to be the number of quasiplatonic topological actions of the cyclic group $C_n$ on surfaces of genus at least two. We use formulas of Benim and Wootton to give an explicit formula for $QC(n)$. In addition, we relate the number of quasiplatonic topological actions of $C_n$ to the number of regular dessins d'enfants having $C_n$ as a group of automorphisms.
The Relationship Between Pascal's Triangle and Random Walks
Random walks are a series of up, down, and level steps that enumerate distinct paths from $(0,0)$ to $(2n,0)$, where $n$ is the semi-length of the path. We used these paths to analyze Catalan, Schröder, and Motzkin number sequences through a combination of matrix operations, quadratic functions, and inductive reasoning. Our results revealed a number of distinct patterns, some unnamed, between these number sequences and Pascal's triangle that can be explained through generating functions, first returns, group theory, and the Riordan matrix.
Various proofs and properties of these number sequences are provided, including each generating function, their respective first returns, and matrix properties. These findings lead to a deeper understanding of combinatorics and graph theory.
Static Data Structure Lower Bounds Imply Rigidity
Published
• View Publication
• BIB
We show that static data structure lower bounds in the group (linear) model imply semi-explicit lower bounds on matrix rigidity. In particular, we prove that an explicit lower bound of $t \geq ω(\log^2 n)$ on the cell-probe complexity of linear data structures in the group model, even against arbitrarily small linear space $(s= (1+\varepsilon)n)$, would already imply a semi-explicit ($\bf P^{NP}\rm$) construction of rigid matrices with significantly better parameters than the current state of art (Alon, Panigrahy and Yekhanin, 2009). Our results further assert that polynomial ($t\geq n^δ$) data structure lower bounds against near-optimal space, would imply super-linear circuit lower bounds for log-depth linear circuits (a four-decade open question). In the succinct space regime $(s=n+o(n))$, we show that any improvement on current cell-probe lower bounds in the linear model would also imply new rigidity bounds. Our results rely on a new connection between the "inner" and "outer" dimensions of a matrix (Paturi and Pudlak, 2006), and on a new reduction from worst-case to average-case rigidity, which is of independent interest.
A Lattice Isomorphism Theorem for Cluster Groups of Mutation-Dynkin Type $A_{n}$
Published
• View Publication
• BIB
Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_{n}$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.
Gradedness of the set of rook placements in $A_{n-1}$
A rook placement is a subset of a root system consisting of positive roots with pairwise non-positive inner products. To each rook placement in a root system one can assign the coadjoint orbit of the Borel subgroup of a reductive algebraic group with this root system. Degenerations of such orbits induce a natural partial order on the set of rook placements. We study combinatorial structure of the set of rook placements in $A_{n-1}$ with respect to a slightly different order and prove that this poset is graded.
On curves intersecting at most once, II
We prove that on a closed, orientable surface of genus $g$, a set of simple loops with the property that no two are homotopic or intersect in more than $k$ points has cardinality $\lesssim_k g^{k+1} \log g$. The bound matches the size of the largest known construction to within a factor of $\sim_k \log g$. It generalizes an earlier result of the author, which treated the case $k=1$. The proof blends probabilistic ideas with covering space arguments related to the fact that surface groups are LERF.
Farey boat I. Continued fractions and triangulations, modular group and polygon dissections
Published
• View Publication
• BIB
We reformulate several known results about continued fractions in combinatorial terms. Among them the theorem of Conway and Coxeter and that of Series, both relating continued fractions and triangulations. More general polygon dissections appear when extending these theorems for elements of the modular group $PSL(2,\mathbb{Z})$. These polygon dissections are interpreted as walks in the Farey tessellation. The combinatorial model of continued fractions can be further developed to obtain a canonical presentation of elements of $PSL(2,\mathbb{Z})$.
Quantitative bounds in the inverse theorem for the Gowers $U^{s+1}$-norms over cyclic groups
We provide a new proof of the inverse theorem for the Gowers $U^{s+1}$-norm over groups $H=\mathbb Z/N\mathbb Z$ for $N$ prime. This proof gives reasonable quantitative bounds (the worst parameters are double-exponential), and in particular does not make use of regularity or non-standard analysis, both of which are new for $s \ge 3$ in this setting.
Wonderful models for generalized Dowling arrangements
Published
• View Publication
• BIB
For any triple given by a positive integer n, a finite group G, and a faithful representation V of G, one can describe a subspace arrangement whose intersection lattice is a generalized Dowling lattice in the sense of Hanlon. In this paper we construct the minimal De Concini-Procesi wonderful model associated to this subspace arrangement and give a description of its boundary. Our aim is to point out the nice poset provided by the intersections of the irreducible components in the boundary, which provides a geometric realization of the nested set poset of this generalized Dowling lattice. It can be represented by a family of forests with leaves and labelings that depend on the triple (n,G,V). We will study it from the enumerative point of view in the case when G is abelian.
The stability of finite sets in dyadic groups
Published in Acta Arith. 192 (2020), no. 2, 155-164
• View Publication
• BIB
We show that there is an absolute $c>0$ such that any subset of $\mathbb{F}_2^\infty$ of size $N$ is $O(N^{1-c})$-stable in the sense of Terry and Wolf. By contrast a size $N$ arithmetic progression in the integers is not $N$-stable.
Abelian groups are polynomially stable
Published
• View Publication
• BIB
In recent years, there has been a considerable amount of interest in stability of equations and their corresponding groups. Here, we initiate the systematic study of the quantitative aspect of this theory. We develop a novel method, inspired by the Ornstein-Weiss quasi-tiling technique, to prove that abelian groups are polynomially stable with respect to permutations, under the normalized Hamming metrics on the groups $\operatorname{Sym}(n)$. In particular, this means that there exists $D\geq 1$ such that for $A,B\in \operatorname{Sym}(n)$, if $AB$ is $δ$-close to $BA$, then $A$ and $B$ are $ε$-close to a commuting pair of permutations, where $ε\leq O(δ^{1/D})$. We also observe a property-testing reformulation of this result, yielding efficient testers for certain permutation properties.
Sects
Published
• View Publication
• BIB
By explicitly describing a cellular decomposition we determine the Borel invariant cycles that generate the Chow groups of the quotient of a reductive group by a Levi subgroup. For illustrations we consider the variety of polarizations $\mbf{SL}_n / \mbf{S}(\mbf{GL}_p\times \mbf{GL}_q)$, and we introduce the notion of a sect for describing its cellular decomposition. In particular, for $p=q$, we show that the Bruhat order on the sect corresponding to the dense cell is isomorphic, as a poset, to the rook monoid with the Bruhat-Chevalley-Renner order.
Stanley character formula for the spin characters of the symmetric groups
Published in Séminaire Lotharingien de Combinatoire 82B (2019) Article #1, 12 pp
• Search Publication
We give a new formula for the irreducible spin characters of the symmetric groups. This formula is analogous to Stanley's character formula for the usual (linear) characters of the symmetric groups.
Hamilton cycles in Cayley graphs on generalized dihedral groups
We study existence of Hamilton cycles in connected Cayley graphs on generalized dihedral groups
Triples of Orthogonal Latin and Youden Rectangles For Small Orders
We have performed a complete enumeration of non-isotopic triples of mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$. Here we will present a census of such triples, classified by various properties, including the order of the autotopism group of the triple. As part of this we have also achieved the first enumeration of pairwise orthogonal triples of Youden rectangles. We have also studied orthogonal triples of $k \times 8$ rectangles which are formed by extending mutually orthogonal triples with non-trivial autotopisms one row at a time, and requiring that the autotopism group is non-trivial in each step. This class includes a triple coming from the projective plane of order 8. Here we find a remarkably symmetrical pair of triples of $4 \times 8$ rectangles, formed by juxtaposing two selected copies of complete sets of MOLS of order 4.