group
10258 papers tagged with this keyword
Soliton cellular automata associated with infinite reduced words
We consider a family of cellular automata $Φ(n,k)$ associated with infinite reduced elements on the affine symmetric group $\hat S_n$, which is a tropicalization of the rational maps introduced by two of the authors. We study the soliton solutions for $Φ(n,k)$ and explore a `duality' with the $\mathfrak{sl}_n$-box-ball system.
Bricks over preprojective algebras and join-irreducible elements in Coxeter groups
Published
• View Publication
• BIB
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.
Homology of Finite Topological Spaces
A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous injective maps between spaces called immersions. The so-called orb complex which is much smaller than the order complex induces a surjective map of its homology to the simplicial homology of the space. An analysis of the kernel of this map allows to define an effective algorithm for computing the homology groups, whose time complexity is polynomial in the size of the space.
Cyclic Sieving of Matchings
The cyclic sieving phenomenon (CSP) was introduced by Reiner, Stanton, and White to study combinatorial structures with actions of cyclic groups. The crucial step is to find a polynomial, for example a q-analog, that satisfies the CSP conditions for an action. This polynomial will give us a lot of information about the symmetry and structure of the set under the action. In this paper, we study the cyclic sieving phenomenon of the cyclic group $C_{2n}$ acting on $P_{n,k}$, which is the set of matchings of $2n$ points on a circle with $k$ crossings. The noncrossing matchings ($k=0$) was recently studied as a Catalan object. In this paper, we study more general cases, the matchings with more number of crossings. We prove that there exists $q$-analog polynomials $f_{n,k}(q)$ such that $(P_{n,k},f_{n,k},C_{2n})$ exhibits the cyclic sieving phenomenon for $k=1,2,3$. In the proof, we also introduce an efficient representation of the elements in $P_{n,k}$, which helps us to understand the symmetrical structure of the set.
On the matchings-Jack and hypermap-Jack conjectures for labelled matchings and star hypermaps
Published
• View Publication
• BIB
Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the $b$-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for Jack symmetric functions and in the logarithm of the same sum interpolate respectively between the structure constants of the class algebra and the double coset algebra of the symmetric group and between the numbers of orientable and locally orientable hypermaps. They further provide some evidence that these two families of coefficients indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are polynomials in $β= α-1$ with non negative integer coefficients of combinatorial significance. This paper is devoted to the case when one of the three partitions is equal to $(n)$. We exhibit some polynomial properties of both families of coefficients and prove a variation of the hypermap-Jack conjecture and the matchings-Jack conjecture involving labelled hypermaps and matchings in some important cases.
A Plünnecke-Ruzsa inequality in compact abelian groups
Published
• View Publication
• BIB
The Plünnecke-Ruzsa inequality is a fundamental tool to control the growth of finite subsets of abelian groups under repeated addition and subtraction. Other tools to handle sumsets have gained applicability by being extended to more general subsets of more general groups. This motivates extending the Plünnecke-Ruzsa inequality, in particular to measurable subsets of compact abelian groups by replacing the cardinality with the Haar probability measure. This objective is related to the question of the stability of classes of Haar measurable sets under addition. In this direction the class of analytic sets is a natural one to work with. We prove a Plünnecke-Ruzsa inequality for K-analytic sets in general compact (Hausdorff) abelian groups. We also discuss further extensions, some of which raise questions of independent interest in descriptive topology.
Cyclotomic shuffles
Published
• View Publication
• BIB
Analogues of 1-shuffle elements for complex reflection groups of type $G(m,1,n)$ are introduced. A geometric interpretation for $G(m,1,n)$ in terms of rotational permutations of polygonal cards is given. We compute the eigenvalues, and their multiplicities, of the 1-shuffle element in the algebra of the group $G(m,1,n)$. Considering shuffling as a random walk on the group $G(m,1,n)$, we estimate the rate of convergence to randomness of the corresponding Markov chain. We report on the spectrum of the 1-shuffle analogue in the cyclotomic Hecke algebra $H(m,1,n)$ for $m=2$ and small $n$.
Permutation Modules associated to the Hyperoctahedron and Group Actions
We investigate the permutation modules associated to the set of $k$-dimensional faces of the hyperoctahedron in dimension $n$, denoted $H^{n}.$ For any $k\leq n$ such a module can be defined over an arbitrary field $F$, it is called a face module of $H^{n}$ over $F.$ We describe a spectral decomposition of such face modules into submodules and show that these submodules are irreducible under the hyperoctahedral group $B_{n}.$ The same method can be used to describe the exact relationship between the face modules in any two dimensions $0\leq t\leq k\leq n.$ Applications of this technique include a rank formula for the rank of the incidence matrix of $t$-dimensional versus $k$-dimensional faces of $H^{n}$ and a characterization of $(t,k,\ell)$-designs on $H^{n}.$ We also prove an orbit theorem for subgroups of the hyperoctahedral group on the set of faces of $H^{n}.$ The decomposition method is elementary, mostly characteristic free and does not involve the representation theory of automorphism groups. It is therefore quite general and can be used to decompose permutation modules associated to other geometries.
Binary Parseval frames from group orbits
Published
• View Publication
• BIB
Binary Parseval frames share many structural properties with real and complex ones. On the other hand, there are subtle differences, for example that the Gramian of a binary Parseval frame is characterized as a symmetric idempotent whose range contains at least one odd vector. Here, we study binary Parseval frames obtained from the orbit of a vector under a group representation, in short, binary Parseval group frames. In this case, the Gramian of the frame is in the algebra generated by the right regular representation. We identify equivalence classes of such Parseval frames with binary functions on the group that satisfy a convolution identity. This allows us to find structural constraints for such frames. We use these constraints to catalogue equivalence classes of binary Parseval frames obtained from group representations. As an application, we study the performance of binary Parseval frames generated with abelian groups for purposes of error correction. We show that $Z_p^q$ is always preferable to $Z_{p^q}$ when searching for best performing codes associated with binary Parseval group frames.
Structural Relations of Symmetry among Players in Strategic Games
Published
• View Publication
• BIB
The notions of symmetry and anonymity in strategic games have been formalized in different ways in the literature. We propose a combinatorial framework to analyze these notions, using group actions. Then, the same framework is used to define partial symmetries in payoff matrices. With this purpose, we introduce the notion of the role a player plays with respect to another one, and combinatorial relations between roles are studied. Building on them, we define relations directly between players, which provide yet another characterization of structural symmetries in the payoff matrices of strategic games.
On the Saxl graph of a permutation group
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 219-248
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $Σ(G)$, which we call the Saxl graph of $G$. The vertices of $Σ(G)$ are the points of $Ω$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $Σ(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $Σ(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.
A simple characterization of special matchings in lower Bruhat intervals
Published
• View Publication
• BIB
We give a simple characterization of special matchings in lower Bruhat intervals (that is, intervals starting from the identity element) of a Coxeter group. As a byproduct, we obtain some results on the action of special matchings.
The Representation Theory of 2-Sylow Subgroups of the Symmetric Group
We use binary trees to study the Bratteli diagram of Sylow 2-subgroups of symmetric groups. We show that it is simple, has a recursive structure, and self-similarities at all scales. We contrast its subgraph of one-dimensional representations with the Macdonald tree. We exploit the recursive structure to find the multiplicities of irreducible characters in the restriction to a Sylow 2-subgroup of odd-dimensional representations of the symmetric group $S_{2^k}$.
On permutation characters and Sylow $p$-subgroups of $\mathfrak{S}_n$
Published
• View Publication
• BIB
Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.
Orientable $\mathbb{Z}{}_{n}$-distance magic regular graphs
Published
• View Publication
• BIB
Hefetz, Mütze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper we support the analogous question for distance magic labeling. Let $Γ$ be an Abelian group of order $n$. A \textit{directed $Γ$-distance magic labeling} of an oriented graph $\vec{G} = (V,A)$ of order $n$ is a bijection $\vec{l}:V \rightarrow Γ$ with the property that there is a \textit{magic constant} $μ\in Γ$ such that for every $x \in V(G)$ $ w(x) = \sum_{y \in N^{+}(x)}\vec{l}(y) - \sum_{y \in N^{-}(x)} \vec{l}(y) = μ. $ In this paper we provide an infinite family of odd regular graphs possessing an orientable $\mathbb{Z}_{n}$-distance magic labeling. Our results refer to lexicographic product of graphs. We also present a family of odd regular graphs that are not orientable $\mathbb{Z}_{n}$-distance magic.
Median inverse problem and approximating the number of $k$-median inverses of a permutation
We introduce the "Median Inverse Problem" for metric spaces. In particular, having a permutation $π$ in the symmetric group $S_n$ (endowed with the breakpoint distance), we study the set of all $k$-subsets $\{x_1,...,x_k\}\subset S_n$ for which $π$ is a breakpoint median. The set of all $k$-tuples $(x_1,...,x_k)$ with this property is called the $k$-median inverse of $π$. Finding an upper bound for the cardinality of this set, we provide an asymptotic upper bound for the probability that $π$ is a breakpoint median of $k$ permutations $ξ_1^{(n)},...,ξ_k^{(n)}$ chosen uniformly and independently at random from $S_n$.
Improved lower bound on generalized Erdos-Ginzburg-Ziv constants
If $G$ is a finite Abelian group, define $s_{k}(G)$ to be the minimal $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. Recently Bitz et al. proved that if $n = exp(G)$, then $s_{2n}(C_{n}^{r}) > \frac{n}{2}[\frac{5}{4}-O(n^{-\frac{3}{2}})]^{r}$ and $s_{k n}(C_{n}^{r}) > \frac{k n}{4} [1+\frac{1}{e k}-O(\frac{1}{n})]^{r}$ for $k > 2$. In this note, we sharpen their general bound by showing that $s_{k n}(C_{n}^{r}) > \frac{k n}{4} [1+\frac{(k-1)^{(k-1)}}{k^k}-O(\frac{1}{n})]^{r}$ for $k > 2$.
Arrangements of Pseudocircles: On Circularizability
Published
• View Publication
• BIB
An arrangement of pseudocircles is a collection of simple closed curves on the sphere or in the plane such that any two of the curves are either disjoint or intersect in exactly two crossing points. We call an arrangement intersecting if every pair of pseudocircles intersects twice. An arrangement is circularizable if there is a combinatorially equivalent arrangement of circles.
In this paper we present the results of the first thorough study of circularizability. We show that there are exactly four non-circularizable arrangements of 5 pseudocircles (one of them was known before). In the set of 2131 digon-free intersecting arrangements of 6 pseudocircles we identify the three non-circularizable examples. We also show non-circularizability of 8 additional arrangements of 6 pseudocircles which have a group of symmetries of size at least 4.
Most of our non-circularizability proofs depend on incidence theorems like Miquel's. In other cases we contradict circularizability by considering a continuous deformation where the circles of an assumed circle representation grow or shrink in a controlled way.
The claims that we have all non-circularizable arrangements with the given properties are based on a program that generated all arrangements up to a certain size. Given the complete lists of arrangements, we used heuristics to find circle representations. Examples where the heuristics failed were examined by hand.
A family of group divisible designs with arbitrary block sizes
Published
• View Publication
• BIB
Recently, a construction of group divisible designs (GDDs) derived from the decoding of quadratic residue (QR) codes was given. In this paper, we extend the idea to obtain a new family of GDDs, which is also involved with a well-known balanced incomplete block design (BIBD).
Which groups are amenable to proving exponent two for matrix multiplication?
The Cohn-Umans group-theoretic approach to matrix multiplication suggests embedding matrix multiplication into group algebra multiplication, and bounding $ω$ in terms of the representation theory of the host group. This framework is general enough to capture the best known upper bounds on $ω$ and is conjectured to be powerful enough to prove $ω= 2$, although finding a suitable group and constructing such an embedding has remained elusive. Recently it was shown, by a generalization of the proof of the Cap Set Conjecture, that abelian groups of bounded exponent cannot prove $ω= 2$ in this framework, which ruled out a family of potential constructions in the literature.
In this paper we study nonabelian groups as potential hosts for an embedding. We prove two main results:
(1) We show that a large class of nonabelian groups---nilpotent groups of bounded exponent satisfying a mild additional condition---cannot prove $ω= 2$ in this framework. We do this by showing that the shrinkage rate of powers of the augmentation ideal is similar to the shrinkage rate of the number of functions over $(\mathbb{Z}/p\mathbb{Z})^n$ that are degree $d$ polynomials; our proof technique can be seen as a generalization of the polynomial method used to resolve the Cap Set Conjecture.
(2) We show that symmetric groups $S_n$ cannot prove nontrivial bounds on $ω$ when the embedding is via three Young subgroups---subgroups of the form $S_{k_1} \times S_{k_2} \times \dotsb \times S_{k_\ell}$---which is a natural strategy that includes all known constructions in $S_n$.
By developing techniques for negative results in this paper, we hope to catalyze a fruitful interplay between the search for constructions proving bounds on $ω$ and methods for ruling them out.