group
10405 papers tagged with this keyword
Betti numbers of symmetric shifted ideals
Published in Journal of Algebra, Volume 560, 15 October 2020, Pages 312-342
• View Publication
• BIB
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.
Some remarks on products of sets in the Heisenberg group and in the affine group
Published
• View Publication
• BIB
We obtain some new results on products of large and small sets in the Heisenberg group as well as in the affine group over the prime field. Also, we derive an application of these growth results to Freiman's isomorphism in nonabelian groups.
Homogeneous Dual Ramsey Theorem
For positive integers $k < n$ such that $k$ divides $n$, let $(n)^k_{\hom}$ be the set of homogeneous $k$-partitions of $\{1, \dots, n\}$, that is, the set of partitions of $\{1, \dots, n\}$ into $k$ classes of the same cardinality. In the article "Ramsey properties of infinite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem" by Kechris, Sokic, and Todorcevic, the following question was asked:
Is it true that given positive integers $k < m$ and $N$ such that $k$ divides $m$, there exists a number $n>m$ such that $m$ divides $n$, satisfying that for every coloring $(n)^k_{\hom}=C_1\cup\dots\cup C_N$ we can choose $u\in (n)^m_{\hom}$ such that $\{t\in (n)^k_{\hom}: t\mbox{ is coarser than } u\}\subseteq C_i$ for some $i$?
In this note we give a positive answer to that question. This result turns out to be a homogeneous version of the finite Dual Ramsey Theorem of Graham-Rothschild. As explained by Kechris, Sokic, and Todorcevic in their article, our result also proves that the class $\mathcal{OMBA}_{\mathbb Q_2}$ of naturally ordered finite measure algebras with measure taking values in the dyadic rationals has the Ramsey property.
On the Intersection Numbers of Finite Groups
The covering number of a nontrivial finite group $G$, denoted $σ(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $ι(G)$, to be the minimum number of maximal subgroups whose intersection equals the Frattini subgroup of $G$. We elucidate some basic properties of this invariant, and give an exact formula for $ι(G)$ when $G$ is a nontrivial finite nilpotent group. In addition, we determine the intersection numbers of a few infinite families of non-nilpotent groups. We conclude by discussing a generalization of the intersection number of a nontrivial finite group and pose some open questions about these invariants.
The Game of Poker Chips, Dominoes and Survival
Published
• View Publication
• BIB
The Game of Poker Chips, Dominoes and Survival fosters team building and high level cooperation in large groups, and is a tool applied in management training exercises. Each player, initially given two colored poker chips, is allowed to make exchanges with the game coordinator according to two rules, and must secure a domino before time is called in order to `survive'. Though the rules are simple, it is not evident by their form that the survival of the entire group requires that they cooperate at a high level. From the point of view of the game coordinator, the difficulty of the game for the group can be controlled not only by the time limit, but also by the initial distribution of chips, in a way we make precise by a time complexity type argument. That analysis also provides insight into good strategies for group survival, those taking the least amount of time. In addition, coordinators may also want to be aware of when the game is `solvable', that is, when their initial distribution of chips permits the survival of all group members if given sufficient time to make exchanges. It turns out that the game is solvable if and only if the initial distribution contains seven chips that have one of two particular color distributions. In addition to being a lively game to play in management training or classroom settings, the analysis of the game after play can make for an engaging exercise in any basic discrete mathematics course to give a basic introduction to elements of game theory, logical reasoning, number theory and the computation of algorithmic complexities.
Voting Rules that are Unbiased but not Transitive-Symmetric
Published in Electronic Journal of Combinatorics 27 (2020) P1.4
• View Publication
• BIB
We explore the relation between two natural symmetry properties of voting rules. The first is transitive-symmetry -- the property of invariance to a transitive permutation group -- while the second is the "unbiased" property of every voter having the same influence for all i.i.d. probability measures. We show that these properties are distinct by two constructions -- one probabilistic, one explicit -- of rules that are unbiased but not transitive-symmetric.
Coboundary and cosystolic expansion from strong symmetry
Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not have high dimensional edge-expansion. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, prior to this work, the only known bounded degree cosystolic expanders known were derived from the theory of buildings that is far from being elementary.
In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove coboundary and cosystolic expansion.
On the structure of modules over walled Brauer algebra via normal form and random walks
We analyze cyclic cell modules over walled Brauer algebra in terms of a certain normal form. The latter allows us to decompose the algebra into the generating set and annihilator ideal of a certain cyclic vector. In addition, we show that the numbers of reduced basis monomials of given length coincide with those for the symmetric group. For the semisimple case we utilize the theory of differential posets to calculate the dimensions of modules in terms of the paths in Bratelli diagram. It turns out that the number of primitive idempotents is the same as for the symmetric group.
Elementary Proof of a Theorem of Hawkes, Isaacs and Özaydin
We present an elementary proof of the theorem of Hawkes, Isaacs and Özaydin, which states that $Σ\,μ_{G}(H,K)\equiv 0$ mod $d$, where $μ_{G}$ denotes the Möbius function for the subgroup lattice of a finite group $G$, $H$ ranges over the conjugates of a given subgroup $F$ of $G$ with $[G:F]$ divisible by $d$, and $K$ over the supergroups of the $H$ for which $[K:H]$ divides $d$. We apply the theorem to obtain a result on the number of solutions of $|\langle H,g\rangle|\mid n$, for said $H$ and a natural number $n$.
The present version of the article includes an additional result on a quantity studied by K.S. Brown.
Representability of permutation representations on coalgebras and the isomorphism problem
Published
• View Publication
• BIB
Let $G$ be a group and let $ρ\colon G\to\operatorname{Sym}(V)$ be a permutation representation of $G$ on a set $V$. We prove that there is a faithful $G$-coalgebra $C$ such that $G$ arises as the image of the restriction of $\operatorname{Aut}(C)$ to $G(C)$, the set of grouplike elements of $C$. Furthermore, we show that $V$ can be regarded as a subset of $G(C)$ invariant through the $G$-action, and that the composition of the inclusion $G\hookrightarrow\operatorname{Aut}(C)$ with the restriction $\operatorname{Aut}(C)\to\operatorname{Sym}(V)$ is precisely $ρ$. We use these results to prove that isomorphism classes of certain families of groups can be distinguished through the coalgebras on which they act faithfully.
Finite free convolutions via Weingarten calculus
Published in Random Matrices Theory Appl. 10 (2021), no. 4, Paper No. 2150038
• View Publication
• BIB
We consider the three finite free convolutions for polynomials studied in a recent paper by Marcus, Spielman, and Srivastava. Each can be described either by direct explicit formulae or in terms of operations on randomly rotated matrices. We present an alternate approach to the equivalence between these descriptions, based on combinatorial Weingarten methods for integration over the unitary and orthogonal groups. A key aspect of our approach is to identify a certain \emph{quadrature property}, which is satisfied by some important series of subgroups of the unitary groups (including the groups of unitary, orthogonal, and signed permutation matrices), and which yields the desired convolution formulae.
Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach
Published
• View Publication
• BIB
The symmetries of a finite graph are described by its automorphism group; in the setting of Woronowicz's quantum groups, a notion of a quantum automorphism group has been defined by Banica capturing the quantum symmetries of the graph. In general, there are more quantum symmetries than symmetries and it is a non-trivial task to determine when this is the case for a given graph: The question is whether or not the algebra associated to the quantum automorphism group is commutative. We use Gröbner base computations in order to tackle this problem; the implementation uses GAP and the SINGULAR package LETTERPLACE. We determine the existence of quantum symmetries for all connected, undirected graphs without multiple edges and without self-edges, for up to seven vertices. As an outcome, we infer within our regime that a classical automorphism group of order one or two is an obstruction for the existence of quantum symmetries.
Roots of Formal Power Series and New Theorems on Riordan Group Elements
Elements of the Riordan group $\cal R$ over a field $\mathbb F$ of characteristic zero are infinite lower triangular matrices which are defined in terms of pairs of formal power series. We wish to bring to the forefront, as a tool in the theory of Riordan groups, the use of multiplicative roots $a(x)^\frac{1}{n}$ of elements $a(x)$ in the ring of formal power series over $\mathbb F$ . Using roots, we give a Normal Form for non-constant formal power series, we prove a surprising simple Composition-Cancellation Theorem and apply this to show that, for a major class of Riordan elements (i.e., for non-constant $g(x)$ and appropriate $F(x)$), only one of the two basic conditions for checking that $\big(g(x), \, F(x)\big)$ has order $n$ in the group $\cal R$ actually needs to be checked. Using all this, our main result is to generalize C. Marshall [Congressus Numerantium, 229 (2017), 343-351] and prove: Given non-constant $g(x)$ satisfying necessary conditions, there exists a unique $F(x)$, given by an explicit formula, such that $\big(g(x), \, F(x)\big)$ is an involution in $\cal R$. Finally, as examples, we apply this theorem to ``aerated" series $h(x) = g(x^q),\ q\ \text{odd}$, to find the unique $K(x)$ such that $\big(h(x), K(x)\big)$ is an involution.
Some implications of a conjecture of Zabrocki to the action of $S_{n}$ on polynomial differential forms
The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.
Factorization problems in complex reflection groups
Published in Canadian Journal of Mathematics 73 (2021), no. 4, 899--946
• View Publication
• BIB
We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions.
Alternating Catalan numbers and curves with triple ramification
Published
• View Publication
• BIB
It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a general curve of genus g.
Linear independences of maps associated to partitions
Given a suitable collection of partitions of sets, there exists a connection to easy quantum groups via intertwiner maps. A sufficient condition for this correspondence to be one-to-one are particular linear independences on the level of those maps. In the case of non-crossing partitions, a proof of this linear independence can be traced back to a matrix determinant formula, developed by W. Tutte. We present a revised and adapted version of Tutte's work and the link to the problem above, believing that this self-contained article will assist others in the field of easy quantum groups. In particular, we fixed some errors in the original work and adapted notations, definitions, statements and proofs.
Weak Modularity and $\widetilde{A}_n$ Buildings
The $\widetilde{A}_n$ Coxeter groups are known to not be systolic or cocompactly cubulated for $n\geq 3$. We prove that these groups act geometrically on weakly modular graphs, a weak notion of nonpositive curvature generalizing the 1-skeleta of $\mathrm{CAT}(0)$ cube complexes and systolic complexes. To prove weak modularity we describe the canonical emeddings of the 1-skeleta of $\widetilde{A}_n$ Coxeter complexes into the Euclidean spaces $\mathbb{R}^{n+1}$. We also prove weak modularity for buildings of type $\widetilde{A}_3$.
Trivalent dihedrants and bi-dihedrants
Published
• View Publication
• BIB
A Cayley (resp. bi-Cayley) graph on a dihedral group is called a {\em dihedrant} (resp. {\em bi-dihedrant}). In 2000, a classification of trivalent arc-transitive dihedrants was given by Maru\v si\v c and Pisanski, and several years later, trivalent non-arc-transitive dihedrants of order $4p$ or $8p$ $(p$ a prime) were classified by Feng et al. As a generalization of these results, our first result presents a classification of trivalent non-arc-transitive dihedrants. Using this, a complete classification of trivalent vertex-transitive non-Cayley bi-dihedrants is given, thus completing the study of trivalent bi-dihedrants initiated in our previous paper [Discrete Math. 340 (2017) 1757--1772]. As a by-product, we generalize a theorem in [The Electronic Journal of Combinatorics 19 (2012) $\#$P53].
On PM-monoids and braid PM-monoids
In this paper, we shall introduce two monoids. One is called a PM-monoid which contains the symmetric group, the other is called a braid PM-monoid which contains the braid group. We shall develop the theory of PM-monoids and that of braid PM-monoids. The PM-monoids is obtained in the context of the compactification of projective linear group defined by Mutsumi Saito. The structure of PM-monoids is described in terms of matched pairs. We can define braid PM-monoid using a presentation for the PM-monoid. As main results, we show that braid PM-monoids are described by geometric braids and we find a solution to the word problem for the braid PM-monoids.