group
10258 papers tagged with this keyword
A Note on Linear Complementary Pairs of Group Codes
Published
• View Publication
• BIB
We give a short and elementary proof of the fact that for a linear complementary pair $(C,D)$, where $C$ and $D$ are $2$-sided ideals in a group algebra, $D$ is uniquely determined by $C$ and the dual code $D^\perp$ is permutation equivalent to $C$. This includes earlier results of Carlet et al. and Güneri et al. on nD cyclic codes which have been proved by subtle and lengthy calculations in the space of polynomials.
A Cheeger type inequality in finite Cayley sum graphs
Published
• View Publication
• BIB
Let $G$ be a finite group and $S$ be a symmetric generating set of $G$ with $|S| = d$. We show that if the undirected Cayley sum graph $C_Σ(G,S)$ is an expander graph and is non-bipartite, then the spectrum of its normalised adjacency operator is bounded away from $-1$. We also establish an explicit lower bound for the spectrum of these graphs, namely, the non-trivial eigenvalues of the normalised adjacency operator lies in the interval $\left(-1+\frac{h(G)^{4}}η, 1-\frac{h(G)^{2}}{2d^{2}}\right]$, where $h(G)$ denotes the (vertex) Cheeger constant of the $d$-regular graph $C_Σ(G,S)$ and $η= 2^{9}d^{8}$. Further, we improve upon a recently obtained bound on the non-trivial spectrum of the normalised adjacency operator of the non-bipartite Cayley graph $C(G,S)$.
Graphs with large girth and free groups
We use Margulis' construction together with lattice counting arguments to build Cayley graphs on $\mathrm{SL}_{2}\left(\mathbb{F}_{p}\right),\;p\to\infty$ which are d-regular graphs with girth $\geq\frac{2}{3}\frac{\ln\left(n\right)}{\ln\left(d-1\right)+\ln\left(C\right)}$ for some absolute constant C.
Ordinal pattern probabilities for symmetric random walks
An ordinal pattern for a finite sequence of real numbers is a permutation that records the relative positions in the sequence. For random walks with steps drawn uniformly from $[-1,1]$, we show an ordinal pattern occurs with probability $\frac{|[1,w]|}{2^n n!}$, where $[1,w]$ is a weak order interval in the affine Weyl group $\widetilde{A}_n$. For random walks with steps drawn from a symmetric Laplace distribution, the probability is $\frac{1}{2^n \prod_{j=1}^n \mathrm{lev}(π)_j}$, where $\mathrm{lev}(π)_j$ measures how often $j$ occurs between consecutive values in $π$. Permutations whose consecutive values are at most two positions apart in $π$ are shown to occur with the same probability for any choice of symmetric continuous step distribution. For random walks with steps from a mean zero normal distribution, ordinal pattern probabilities are determined by a matrix whose $ij$-th entry measures how often $i$ and $j$ are between consecutive values.
Spanning subspace configurations and representation stability
Published
• View Publication
• BIB
Let $V_1, V_2, V_3, \dots $ be a sequence of $\mathbb{Q}$-vector spaces where $V_n$ carries an action of $\mathfrak{S}_n$ for each $n$. {\em Representation stability} and {\em multiplicity stability} are two related notions of when the sequence $V_n$ has a limit. An important source of stability phenomena arises in the case where $V_n$ is the $d^{th}$ homology group (for fixed $d$) of the configuration space of $n$ distinct points in some fixed topological space $X$. We replace these configuration spaces with the variety $X_{n,k}$ of {\em spanning configurations} of $n$-tuples $(\ell_1, \dots, \ell_n)$ of lines in $\mathbb{C}^k$ which satisfy $\ell_1 + \cdots + \ell_n = \mathbb{C}^k$ as vector spaces. We study stability phenomena for the homology groups $H_d(X_{n,k})$ as the parameter $(n,k)$ grows.
Flag-transitive non-symmetric $2$-designs with $(r,λ)=1$ and exceptional groups of Lie type
Published
• View Publication
• BIB
This paper determined all pairs $(\mathcal{D},G)$ where $\mathcal{D}$ is a non-symmetric 2-$(v,k,λ)$ design with $(r,λ)=1$ and $G$ is the almost simple flag-transitive automorphism group of $\mathcal{D}$ with an exceptional socle of Lie type. We prove that if $T\trianglelefteq G\leq Aut(T)$ where $T$ is an exceptional group of Lie type, then $T$ must be the Ree group or Suzuki group, and there are five classes of non-isomorphic designs $\mathcal{D}$.
Subgroups of simple primitive permutation groups defined by unordered relations (Automorphism groups of hypergraphs)
The problem of describing the invariance groups of unordered relations, called briefly \emph{relation groups}, goes back to classical work by H. Wielandt. In general, the problem turned out to be hard, and so far it has been settled only for a few special classes of permutation groups. The problem have been solved, in particular, for the class of primitive permutation groups, using the classification of finite simple groups and other deep results of permutation group theory. In this paper we show that, if $G$ is a finite simple primitive permutation group other then the alternating group $A_n$, then each subgroup of $G$, with four exceptions, is a relation group.
The automorphism groups of some token graphs
Published in Proyecciones Journal Mathematics, 42(6) 2023, pp. 1627-1651
• View Publication
• BIB
In this paper we obtain the automorphism groups of the token graphs of some graphs. In particular we obtain the automorphism group of the $k$-token graph of the path graph $P_n$, for $n\neq 2k$. Also, we obtain the automorphism group of the $2$-token graph of the following graphs: cycle, star, fan and wheel graphs.
The special value $u=1$ of Artin-Ihara $L$-functions
Published
• View Publication
• BIB
We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.
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.