group
10275 papers tagged with this keyword
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.
Groups with maximal irredundant covers and minimal blocking sets
Let $n$ be a positive integer. Denote by $\mathrm{PG}(n,q)$ the $n$-dimensional projective space over the finite field $\mathbb{F}_q$ of order $q$. A blocking set in $\mathrm{PG}(n,q)$ is a set of points that has non-empty intersection with every hyperplane of $\mathrm{PG}(n,q)$. A blocking set is called minimal if none of its proper subsets are blocking sets. In this note we prove that if $\mathrm{PG}(n_i,q)$ contains a minimal blocking set of size $k_i$ for $i\in\{1,2\}$, then $\mathrm{PG}(n_1+n_2+1,q)$ contains a minimal blocking set of size $k_1+k_2-1$. This result is proved by a result on groups with maximal irredundant covers.
K-theory Schubert calculus of the affine Grassmannian
Published in Compositio Math. 146 (2010) 811-852
• View Publication
• BIB
We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology.
For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called K-k-Schur functions, whose highest degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology.
Many of our constructions have geometric interpretations using Kashiwara's thick affine flag manifold.
q,t-Fuss-Catalan numbers for finite reflection groups
Published
• View Publication
• BIB
In type A, the q,t-Fuss-Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group. We generalize this construction to (finite) complex reflection groups and, based on computer experiments, we exhibit several conjectured algebraic and combinatorial properties of these polynomials with non-negative integer coefficients. We prove the conjectures for the dihedral groups and for the cyclic groups. Finally, we present several ideas how the q,t-Fuss-Catalan numbers could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras and thereby generalize known connections.
The Erdos-Turan problem in infinite groups
Published
• View Publication
• BIB
Let $G$ be an infinite abelian group with $|2G|=|G|$. We show that if $G$ is not the direct sum of a group of exponent 3 and the group of order 2, then $G$ possesses a perfect additive basis; that is, there is a subset $S\subseteq G$ such that every element of $G$ is uniquely representable as a sum of two elements of $S$. Moreover, if $G$ \emph{is} the direct sum of a group of exponent 3 and the group of order 2, then it does not have a perfect additive basis; however, in this case there is a subset $S\subseteq G$ such that every element of $G$ has at most two representations (distinct under permuting the summands) as a sum of two elements of $S$. This solves completely the Erdos-Turan problem for infinite groups.
It is also shown that if $G$ is an abelian group of exponent 2, then there is a subset $S\subseteq G$ such that every element of $G$ has a representation as a sum of two elements of $S$, and the number of representations of non-zero elements is bounded by an absolute constant.