group
10399 papers tagged with this keyword
A Birthday Paradox for Markov chains with an optimal bound for collision in the Pollard Rho algorithm for discrete logarithm
Published in Annals of Applied Probability 2010, Vol. 20, No. 2, 495-521
• View Publication
• BIB
We show a Birthday Paradox for self-intersections of Markov chains with uniform stationary distribution. As an application, we analyze Pollard's Rho algorithm for finding the discrete logarithm in a cyclic group $G$ and find that if the partition in the algorithm is given by a random oracle, then with high probability a collision occurs in $Θ(\sqrt{|G|})$ steps. Moreover, for the parallelized distinguished points algorithm on $J$ processors we find that $Θ(\sqrt{|G|}/J)$ steps suffices. These are the first proofs of the correct order bounds which do not assume that every step of the algorithm produces an i.i.d. sample from $G$.
A new upper bound for the cross number of finite Abelian groups
Published in Israel Journal of Mathematics 172 (2009) 253-278
• View Publication
• BIB
In this paper, building among others on earlier works by U. Krause and C. Zahlten (dealing with the case of cyclic groups), we obtain a new upper bound for the little cross number valid in the general case of arbitrary finite Abelian groups. Given a finite Abelian group, this upper bound appears to depend only on the rank and on the number of distinct prime divisors of the exponent. The main theorem of this paper allows us, among other consequences, to prove that a classical conjecture concerning the cross and little cross numbers of finite Abelian groups holds asymptotically in at least two different directions.
Inverse Problems for Representation Functions in Additive Number Theory
Published in Surveys in Number Theory, Springer, New York, 2008, pp. 89--117
• View Publication
• BIB
For every positive integer h, the representation function of order h associated to a subset A of the integers or, more generally, of any group or semigroup X, counts the number of ways an element of X can be written as the sum (or product, if X is nonabelian) of h not necessarily distinct elements of X. The direct problem for representation functions in additive number theory begins with a subset A of X and seeks to understand its representation functions. The inverse problem for representation functions starts with a function f:X ->N_0 U {\infty} and asks if there is a set A whose representation function is f, and, if the answer is yes, to classify all such sets. This paper is a survey of recent progress on the inverse representation problem.
Automorphism groups of root systems matroids
Given a root system $\mathsf{R}$, the vector system $\tilde{\mathsf{R}}$ is obtained by taking a representative $v$ in each antipodal pair $\{v, -v\}$. The matroid $M(\mathsf{R})$ is formed by all independent subsets of $\tilde{\mathsf{R}}$. The automorphism group of a matroid is the group of permutations preserving its independent subsets. We prove that the automorphism groups of all irreducible root systems matroids $M(\mathsf{R})$ are uniquely determined by their independent sets of size 3. As a corollary, we compute these groups explicitly, and thus complete the classification of the automorphism groups of root systems matroids.
Transitive projective planes and 2-rank
Suppose that a group $G$ acts transitively on the points of a non-Desarguesian plane, $\mathcal{P}$. We prove first that the Sylow 2-subgroups of $G$ are cyclic or generalized quaternion. We also prove that $\mathcal{P}$ must admit an odd order automorphism group which acts transitively on the set of points of $\mathcal{P}$.
Weighted Ehrhart Theory and Orbifold Cohomology
Published in Adv. Math. 219 (2008), 63-88.
• View Publication
• BIB
We introduce the notion of a weighted $δ$-vector of a lattice polytope. Although the definition is motivated by motivic integration, we study weighted $δ$-vectors from a combinatorial perspective. We present a version of Ehrhart Reciprocity and prove a change of variables formula. We deduce a new geometric interpretation of the coefficients of the Ehrhart $δ$-vector. More specifically, they are sums of dimensions of orbifold cohomology groups of a toric stack.
A weighted generalization of Gao's n+D-1 Theorem
Published
• View Publication
• BIB
Let $G$ denotes a finite abelian group of order $n$ and Davenport constant $D$, and put $m= n+D-1$.
Let $x=(x_1, ..., x_m)\in G^m$ be a sequence with a maximal repetition $\ell$ attained by $x_m$ and put $r=\min(D,\ell)$. Let $w=(w_1, ..., w_{m-r})\in \Z^{m-r}.$ Then there are an $n$-subset $I\subset [1,m-r]$ and an injection $f: I\mapsto [1,m]$, such that $m\in f(I)$ and $$\sum_{i\in I}w_{i}x_{f({i})}=(\sum_{i\in I}w_{i})x_{m}.$$
Cluster algebras and preprojective algebras : the non simply-laced case
Published in L. Demonet, C. R. Acad. Sci. Paris, Ser. I 346 (2008)
• View Publication
• BIB
We generalize to the non simply-laced case results of Geiß, Leclerc and Schröer about the cluster structure of the coordinate ring of the maximal unipotent subgroups of simple Lie groups. In this way, cluster structures in the non simply-laced case can be seen as projections of cluster structures in the simply-laced case. This allows us to prove that cluster monomials are linearly independent in the non simply-laced case.
The sphericity of the complex of non-degenerate subspaces
Published in J. Lond. Math. Soc. (2) 79 (2009), no. 3, 684-700
• View Publication
• BIB
We prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same is true for a slight generalization, the so-called generalized Phan geometries of type A_n. These generalized Phan geometries occur as relative links of certain filtrations. Their sphericity implies finiteness properties of suitable arithmetic groups and allows for a revision of Phan's group-theoretical local recognition of suitable finite groups of Lie type with simply laced diagram.
The centers of spin symmetric group algebras and Catalan numbers
Published in J. Algebr. Combin. 29 (2009), 175--193.
• View Publication
• BIB
Generalizing the work of Farahat-Higman on symmetric groups, we describe the structures of the even centers Z_n of integral spin symmetric group superalgebras, which lead to universal algebras termed as the spin FH-algebras. A connection between the odd Jucys-Murphy elements and the Catalan numbers is developed and then used to determine the algebra generators of the spin FH-algebras and of the even centers Z_n.
Cayley graphs formed by conjugate generating sets of S_n
We investigate subsets of the symmetric group with structure similar to that of a graph. The trees of these subsets correspond to minimal conjugate generating sets of the symmetric group. There are two main theorems in this paper. The first is a characterization of minimal conjugate generating sets of S_n. The second is a generalization of a result due to Feng characterizing the automorphism groups of the Cayley graphs formed by certain generating sets composed of cycles. We compute the full automorphism groups subject to a weak condition and conjecture that the characterization still holds without the condition. We also present some computational results in relation to hamiltonicity of Cayley graphs, including a generalization of the work on quasi-hamiltonicity by Gutin and Yeo to undirected graphs.
The fundamental group of random 2-complexes
Published in J. Amer. Math. Soc. 24 (2011), 1-28
• View Publication
• BIB
We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest.
Pattern avoidance and the Bruhat order on involutions
Published in J. Algebraic Combin. 30 (2009), no. 1, 87--102
• View Publication
• BIB
We show that the principal order ideal below an element w in the Bruhat order on involutions in a symmetric group is a Boolean lattice if and only if w avoids the patterns 4321, 45312 and 456123. Similar criteria for signed permutations are also stated. Involutions with this property are enumerated with respect to natural statistics. In this context, a bijective correspondence with certain Motzkin paths is demonstrated.
Cutsets in infinite graphs
Published in Published in Combinatorics, Probability and Computing, 16 (2007), issue 1, 159-166
• Search Publication
We answer three questions posed in a paper by Babson and Benjamini. They introduced a parameter $C_G$ for Cayley graphs $G$ that has significant application to percolation. For a minimal cutset of $G$ and a partition of this cutset into two classes, take the minimal distance between the two classes. The supremum of this number over all minimal cutsets and all partitions is $C_G$. We show that if it is finite for some Cayley graph of the group then it is finite for any (finitely generated) Cayley graph. Having an exponential bound for the number of minimal cutsets of size $n$ separating $o$ from infinity also turns out to be independent of the Cayley graph chosen. We show a 1-ended example (the lamplighter group), where $C_G$ is infinite. Finally, we give a new proof for a question of de la Harpe, proving that the number of $n$-element cutsets separating $o$ from infinity is finite unless $G$ is a finite extension of $Z$.
Branching properties for the groups G(de,e,r)
We study general properties of the restriction of the representations of the finite complex reflection groups $G(de,e,r+1)$ to their maximal parabolic subgroups of type $G(de,e,r)$, and focus notably on the multiplicity of components. In combinatorial terms, this amounts to the following question : which symmetries arise or disappear when one changes (exactly) one pearl in a combinatorial necklace ?
The Hecke group algebra of a Coxeter group and its representation theory
Published
• View Publication
• BIB
Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...).
In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well.
This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.
Discrete Kakeya-type problems and small bases
Published
• View Publication
• BIB
A subset U of a group G is called k-universal if U contains a translate of every k-element subset of G. We give several nearly optimal constructions of small k-universal sets, and use them to resolve an old question of Erdos and Newman on bases for sets of integers, and to obtain several extensions for other groups.
Leading coefficients of Kazhdan--Lusztig polynomials for Deodhar elements
Published
• View Publication
• BIB
We show that the leading coefficient of the Kazhdan--Lusztig polynomial $P_{x,w}(q)$ known as $μ(x,w)$ is always either 0 or 1 when $w$ is a Deodhar element of a finite Weyl group. The Deodhar elements have previously been characterized using pattern avoidance by Billey--Warrington (2001) and Billey--Jones (2007). In type $A$, these elements are precisely the 321-hexagon avoiding permutations. Using Deodhar's (1990) algorithm, we provide some combinatorial criteria to determine when $μ(x,w) = 1$ for such permutations $w$.
Random subgroups of Thompson's group $F$
Published in Groups Geom. Dyn. 4 (2010), no. 1, 91-126
• View Publication
• BIB
We consider random subgroups of Thompson's group $F$ with respect to two natural stratifications of the set of all $k$ generator subgroups. We find that the isomorphism classes of subgroups which occur with positive density are not the same for the two stratifications.
We give the first known examples of {\em persistent} subgroups, whose isomorphism classes occur with positive density within the set of $k$-generator subgroups, for all sufficiently large $k$. Additionally, Thompson's group provides the first example of a group without a generic isomorphism class of subgroup. Elements of $F$ are represented uniquely by reduced pairs of finite rooted binary trees.
We compute the asymptotic growth rate and a generating function for the number of reduced pairs of trees, which we show is D-finite and not algebraic. We then use the asymptotic growth to prove our density results.
Regular cell complexes in total positivity
Published
• View Publication
• BIB
This paper proves a conjecture of Fomin and Shapiro that their combinatorial model for any Bruhat interval is a regular CW complex which is homeomorphic to a ball. The model consists of a stratified space which may be regarded as the link of an open cell intersected with a larger closed cell, all within the totally nonnegative part of the unipotent radical of an algebraic group. A parametrization due to Lusztig turns out to have all the requisite features to provide the attaching maps. A key ingredient is a new, readily verifiable criterion for which finite CW complexes are regular involving an interplay of topology with combinatorics.