group
10399 papers tagged with this keyword
Kazhdan constants of group extensions
Published
• View Publication
• BIB
We give bounds on Kazhdan constants of abelian extensions of (finite) groups. As a corollary, we improved known results of Kazhdan constants for some meta-abelian groups and for the relatively free group in the variety of $p$-groups of lower $p$-series of class 2. Furthermore, we calculate Kazhdan constants of the tame automorphism groups of the free nilpotent groups.
Representations of Lie Algebras and Coding Theory
Linear codes with large minimal distances are important error correcting codes in information theory.Orthogonal codes have more applications in the other fields of mathematics. In this paper, we study the binary and ternary orthogonal codes generated by the weight matrices on finite-dimensional modules of simple Lie algebras. The Weyl groups of the Lie algebras act on these codes isometrically. It turns out that certain weight matrices of $sl(n,\mbb{C})$ and $o(2n,\mbb{C})$ generate doubly-even binary orthogonal codes and ternary orthogonal codes with large minimal distances. Moreover, we prove that the weight matrices of $F_4$, $E_6$, $E_7$ and $E_8$ on their minimal irreducible modules and adjoint modules all generate ternary orthogonal codes with large minimal distances. In determining the minimal distances, we have used the Weyl groups and branch rules of the irreducible representations of the related simple Lie algebras.
A formal calculus on the Riordan near algebra
Published in Advances and Applications in Discrete Mathematics 6, 1 (2010) 11-44
• Search Publication
The Riordan group is the semi-direct product of a multiplicative group of invertible series and a group, under substitution, of non units. The Riordan near algebra, as introduced in this paper, is the Cartesian product of the algebra of formal power series and its principal ideal of non units, equipped with a product that extends the multiplication of the Riordan group. The later is naturally embedded as a subgroup of units into the former. In this paper, we prove the existence of a formal calculus on the Riordan algebra. This formal calculus plays a role similar to those of holomorphic calculi in the Banach or Fréchet algebras setting, but without the constraint of a radius of convergence. Using this calculus, we define \emph{en passant} a notion of generalized powers in the Riordan group.
RSK bases and Kazhdan-Lusztig cells
Published
• View Publication
• BIB
From the combinatorial characterizations of the right, left, and two-sided Kazhdan-Lusztig cells of the symmetric group, 'RSK bases' are constructed for certain quotients by two-sided ideals of the group ring and the Hecke algebra. Applications to invariant theory, over various base rings, of the general linear group and representation theory of the symmetric group are discussed.
Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with Applications to Derangements
Published
• View Publication
• BIB
We present explicit upper bounds for the number and size of conjugacy classes in finite Chevalley groups and their variations. These results have been used by many authors to study zeta functions associated to representations of finite simple groups, random walks on Chevalley groups, the final solution to the Ore conjecture about commutators in finite simple groups and other similar problems. In this paper, we solve a strong version of the Boston-Shalev conjecture on derangements in simple groups for most of the families of primitive permutation group representations of finite simple groups (the remaining cases are settled in two other papers of the authors and applications are given in a third).
Représentations linéaires des graphes finis
Let X be a non-empty finite set and alpha a symmetric bilinear form on a real finite dimensional vector space E. We say that a set GG={U_i | i in X} of linear lines in E is an isometric sheaf, if there exist generators u_i of the lines U_i, and real constants ''omega'' and ''c '' such that : forall i,j in X, alpha(u_i,u_i)=omega, and if i is different from j, then alpha(u_i,u_j)=epsilon_{i,j}.c, with epsilon_i,j in {-1,+1} Let Gamma be the graph whose set of vertices is X, two of them, say i and j, being linked when epsilon_{i,j} = - 1. In this article we explore the relationship between GG and Gamma ; we describe all sheaves associated with a given graph Gamma and construct the group of isometries stabilizing one of those as an extension group of Aut(Gamma). We finally illustrate our construction with some examples.
The Identity Correspondence Problem and its Applications
Published in P. C. Bell, I. Potapov, On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups, International Journal of Foundations of Computer Science, World Scientific, Vol. 21, Issue 6, 2010
• View Publication
• BIB
In this paper we study several closely related fundamental problems for words and matrices. First, we introduce the Identity Correspondence Problem (ICP): whether a finite set of pairs of words (over a group alphabet) can generate an identity pair by a sequence of concatenations. We prove that ICP is undecidable by a reduction of Post's Correspondence Problem via several new encoding techniques.
In the second part of the paper we use ICP to answer a long standing open problem concerning matrix semigroups: "Is it decidable for a finitely generated semigroup S of square integral matrices whether or not the identity matrix belongs to S?". We show that the problem is undecidable starting from dimension four even when the number of matrices in the generator is 48. From this fact, we can immediately derive that the fundamental problem of whether a finite set of matrices generates a group is also undecidable. We also answer several question for matrices over different number fields. Apart from the application to matrix problems, we believe that the Identity Correspondence Problem will also be useful in identifying new areas of undecidable problems in abstract algebra, computational questions in logic and combinatorics on words.
Extensions of the Moser-Scherck-Kemperman-Wehn Theorem
Let $Γ=(V,E)$ be a reflexive relation having a transitive group of automorphisms and let $v\in V.$ Let $F$ be a subset of $V$ with $F\cap Γ^-(v)=\{v\}$.
(i) If $F$ is finite, then $| Γ(F)\setminus F|\ge |Γ(v)|-1.$ (ii) If $F$ is cofinite, then $| Γ(F)\setminus F|\ge |Γ^- (v)|-1.$
In particular, let $G$ be group, $B$ be a finite subset of $G$ and let $F$ be a finite or a cofinite subset of $G$ such that $F\cap B^{-1}=\{1\}$. Then $| (FB)\setminus F|\ge |B|-1.$ The last result (for $F$ finite), is famous Moser-Scherck-Kemperman-Wehn Theorem. Its extension to cofinite subsets seems new. We give also few applications.
Random Graphons and a Weak Positivstellensatz for Graphs
In an earlier paper the authors proved that limits of convergent graph sequences can be described by various structures, including certain 2-variable real functions called graphons, random graph models satisfying certain consistency conditions, and normalized, multiplicative and reflection positive graph parameters. In this paper we show that each of these structures has a related, relaxed version, which are also equivalent. Using this, we describe a further structure equivalent to graph limits, namely probability measures on countable graphs that are ergodic with respect to the group of permutations of the nodes.
As an application, we prove an analogue of the Positivstellensatz for graphs: We show that every linear inequality between subgraph densities that holds asymptotically for all graphs has a formal proof in the following sense: it can be approximated arbitrarily well by another valid inequality that is a "sum of squares" in the algebra of partially labeled graphs.
The Automorphism Group of a Metropolis-Rota Implication Algebra
We discuss the group of automorphisms of a general MR-algebra. We develop several functors between implication algebras and cubic algebras. These allow us to generalize the notion of inner automorphism. We then show that this group is always isomorphic to the group of inner automorphisms of a filter algebra.
Projective reflection groups
Published
• View Publication
• BIB
We introduce the class of projective reflection groups which includes all complex reflection groups. We show that several aspects involving the combinatorics and the representation theory of all non exceptional irreducible complex reflection groups find a natural description in this wider setting.
On the eigenvalues of Cayley graphs on the symmetric group generated by a complete multipartite set of transpositions
Published in J. Algebraic Combin. 32, no. 2, 155-185 (2010)
• View Publication
• BIB
Given a finite simple graph $\cG$ with $n$ vertices, we can construct the Cayley graph on the symmetric group $S_n$ generated by the edges of $\cG$, interpreted as transpositions. We show that, if $\cG$ is complete multipartite, the eigenvalues of the Laplacian of $\Cay(\cG)$ have a simple expression in terms of the irreducible characters of transpositions, and of the Littlewood-Richardson coefficients. As a consequence we can prove that the Laplacians of $\cG$ and of $\Cay(\cG)$ have the same first nontrivial eigenvalue. This is equivalent to saying that Aldous's conjecture, asserting that the random walk and the interchange process have the same spectral gap, holds for complete multipartite graphs.
Counting elements and geodesics in Thompson's group $F$
Published
• View Publication
• BIB
We present two quite different algorithms to compute the number of elements in the sphere of radius $n$ of Thompson's group $F$ with standard generating set. The first of these requires exponential time and polynomial space, but additionally computes the number of geodesics and is generalisable to many other groups.
The second algorithm requires polynomial time and space and allows us to compute the size of the spheres of radius $n$ with $n \leq 1500$. Using the resulting series data we find that the growth rate of the group is bounded above by $2.62167...$. This is very close to Guba's lower bound of $\tfrac{3+\sqrt{5}}{2}$ \cite{Guba2004}. Indeed, numerical analysis of the series data strongly suggests that the growth rate of the group is exactly $\tfrac{3+\sqrt{5}}{2}$.
The Algebra of Filters of a Cubic Algebra
In this paper we discuss the inclusion ordering on the filters of a filter algebra, a special type of Metropolis-Rota algeba. Using embeddings into interval algebras we show that the notion of "untwisted" gives rise to a congruence relation on the group of g-filters. We also show that there is a natural reflection operator on the class of filters with an easily definable enveloping cubic subalgebra.
Triangle-Free Triangulations
Published
• View Publication
• BIB
The flip operation on colored inner-triangle-free triangulations of a convex polygon is studied. It is shown that the affine Weyl group $\widetilde{C}_n$ acts transitively on these triangulations by colored flips, and that the resulting colored flip graph is closely related to a lower interval in the weak order on $\widetilde{C}_n$. Lattice properties of this order are then applied to compute the diameter.
Khovanov homology and words
This paper is concerned with nanowords, a generalization of links, introduced by Turaev. It is shown that the system of bigraded homology groups is an invariant of nanowords by introducing a new notion. This paper gives two examples which show the independence of this invariant from some of Turaev's homotopy invariants.
Large zero-free subsets of Z/pZ
Published
• View Publication
• BIB
A finite subset $A$ of an abelian group $G$ is said to be zero-free if the identity element of $G$ cannot be written as a sum of distinct elements from $A$. In this article we study the structure of zero-free subsets of $Z/pZ$ the cardinality of which is close to largest possible. In particular, we determine the cardinality of the largest zero-free subset of $Z/pZ$, when $p$ is a sufficiently large prime.
How the work of Gian Carlo Rota had influenced my group research and life
One outlines here in brief how the work of $Gian Carlo Rota$ had influenced my group research and life, starting from the end of the last century up to present time state of $The Internet Gian Carlo Rota Polish Seminar$. This note has been written for the $Rota Memorial Conference$ to be held on 16-18 Feb 2009, Milan, Italy.
An inverse theorem for the uniformity seminorms associated with the action of $F^ω$
Published in Geom. Funct. Anal. 19 (2010), No. 6, 1539-1596
• View Publication
• BIB
Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.
Distribution of Random Variables on the Symmetric Group
The well known Erdos-Turan law states that the logarithm of an order of a random permutation is asymptotically normally distributed. The aim of this work is to estimate convergence rate in this theorem and also to prove analogous result for distribution of the logarithm of an order of a random permutation on a certain class of subsets of the symmetric group. We also study the asymptotic behavior of the mean values of multiplicative functions on the symmetric group and the results we obtain are of independent interest besides their application to the investigation of the remainder term in the Erdos-Turan law.
We also study a related problem of distribution of the degree of a splitting field of a random polynomial and obtain sharp estimates for its convergence rate to normal law.
In research we apply both probabilistic and analytic methods. Some analytic methods used here have their origins in the probabilistic number theory, and some have their roots in the theory of summation of divergent series. One of the approaches we use is to apply Tauberian type estimates for Voronoi summability of divergent series to analyze the generating functions of the mean values of multiplicative functions.