group
10399 papers tagged with this keyword
Counting packings of generic subsets in finite groups
Published in Electronic Journal of Combinatorics 19, 3 (2012) #P7
• View Publication
• BIB
A packing of subsets $\mathcal S_1,..., \mathcal S_n$ in a group $G$ is a sequence $(g_1,...,g_n)$ such that $g_1\mathcal S_1,...,g_n\mathcal S_n$ are disjoint subsets of $G$. We give a formula for the number of packings if the group $G$ is finite and if the subsets $\mathcal S_1,...,\mathcal S_n$ satisfy a genericity condition. This formula can be seen as a generalization of the falling factorials which encode the number of packings in the case where all the sets $\mathcal S_i$ are singletons.
Equivariant multiplicities of Coxeter arrangements and invariant bases
Published in Advances in Math. 230 (2012), 2364-2377
• View Publication
• BIB
Let $\A$ be an irreducible Coxeter arrangement and $W$ be its Coxeter group. Then $W$ naturally acts on $\A$. A multiplicity $\bfm : \A\rightarrow \Z$ is said to be equivariant when $\bfm$ is constant on each $W$-orbit of $\A$. In this article, we prove that the multi-derivation module $D(\A, \bfm)$ is a free module whenever $\bfm$ is equivariant by explicitly constructing a basis, which generalizes the main theorem of \cite{T02}. The main tool is a primitive derivation and its covariant derivative. Moreover, we show that the $W$-invariant part $D(\A, \bfm)^{W}$ for any multiplicity $\bfm$ is a free module over the $W$-invariant subring.
Gowers norms, regularization and limits of functions on abelian groups
For every natural number k we prove a decomposition theorem for bounded measurable functions on compact abelian groups into a structured part, a quasi random part and a small error term. In this theorem quasi randomness is measured with the Gowers norm U(k+1) and the structured part is a bounded complexity ``nilspace-polynomial'' of degree k. This statement implies a general inverse theorem for the U(k+1) norm. (We discuss some consequences in special families of groups such as bounded exponent groups, zero characteristic groups and the circle group.) Along these lines we introduce a convergence notion and corresponding limit objects for functions on abelian groups. This subject is closely related to the recently developed graph and hypergraph limit theory. An important goal of this paper is to put forward a new algebraic aspect of the notion ``higher order Fourier analysis''. According to this, k-th order Fourier analysis is regarded as the study of continuous morphisms between structures called compact k-step nilspaces. All our proofs are based on an underlying theory of topological nilspace factors of ultra product groups.
Generator Sets for the Alternating Group
Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev-Roichman, Vershik-Vserminov and others. In a recent work of Brenti- Reiner-Roichman it is explained that palindromes in Mitsuhashi's generating set play a role similar to that of re ections in a Coxeter system. We study in detail the length function with respect to the set of palindromes. Results include an explicit combinatorial description, a generating function, and an interesting connection to Broder's restricted Stirling numbers.
Finite motions from periodic frameworks with added symmetry
Published
• View Publication
• BIB
Recent work from authors across disciplines has made substantial contributions to counting rules (Maxwell type theorems) which predict when an infinite periodic structure would be rigid or flexible while preserving the periodic pattern, as an engineering type framework, or equivalently, as an idealized molecular framework. Other work has shown that for finite frameworks, introducing symmetry modifies the previous general counts, and under some circumstances this symmetrized Maxwell type count can predict added finite flexibility in the structure.
In this paper we combine these approaches to present new Maxwell type counts for the columns and rows of a modified orbit matrix for structures that have both a periodic structure and additional symmetry within the periodic cells. In a number of cases, this count for the combined group of symmetry operations demonstrates there is added finite flexibility in what would have been rigid when realized without the symmetry. Given that many crystal structures have these added symmetries, and that their flexibility may be key to their physical and chemical properties, we present a summary of the results as a way to generate further developments of both a practical and theoretic interest.
On a combinatorial problem of Erdos, Kleitman and Lemke
Published in Advances in Mathematics 231, 3-4 (2012) 1843-1857
• View Publication
• BIB
In this paper, we study a combinatorial problem originating in the following conjecture of Erdos and Lemke: given any sequence of n divisors of n, repetitions being allowed, there exists a subsequence the elements of which are summing to n. This conjecture was proved by Kleitman and Lemke, who then extended the original question to a problem on a zero-sum invariant in the framework of finite Abelian groups. Building among others on earlier works by Alon and Dubiner and by the author, our main theorem gives a new upper bound for this invariant in the general case, and provides its right order of magnitude.
Bases for the derivation modules of two-dimensional multi-Coxeter arrangements and universal derivations
Published in Tokyo J. of Math. 30, 1 (2007), 99-116
• View Publication
• BIB
Let $\A$ be an irreducible Coxeter arrangement and $\bfk$ be a multiplicity of $\A$. We study the derivation module $D(\A, \bfk)$. Any two-dimensional irreducible Coxeter arrangement with even number of lines is decomposed into two orbits under the action of the Coxeter group. In this paper, we will {explicitly} construct a basis for $D(\A, \bfk)$ assuming $\bfk$ is constant on each orbit. Consequently we will determine the exponents of $(\A, \bfk)$ under this assumption. For this purpose we develop a theory of universal derivations and introduce a map to deal with our exceptional cases.
Non-gatherable triples for classical affine root systems
Published
• View Publication
• BIB
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the affine classical root systems and some claims for arbitrary (reduced) affine root systems. It continues our previous paper devoted to the non-affine case; interestingly, the affine theory clarifies the classification in the non-affine case. The lambda-sequences are associated with reduced decompositions (words) in affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners in the theory of irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.
Groupes de réflexion, géométrie du discriminant et partitions non-croisées
Reflection groups, geometry of the discriminant and noncrossing partitions.
When W is a well-generated complex reflection group, the noncrossing partition lattice NCP_W of type W is a very rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. This structure appears in several algebraic setups (dual braid monoid, cluster algebras...). Many combinatorial properties of NCP_W are proved case-by-case, using the classification of reflection groups. It is the case for Chapoton's formula, expressing the number of multichains of a given length in the lattice NCP_W, in terms of the invariant degrees of W. This thesis work is motivated by the search for a geometric explanation of this formula, which could lead to a uniform understanding of the connections between the combinatorics of NCP_W and the invariant theory of W.
The starting point is to use the Lyashko-Looijenga covering (LL), based on the geometry of the discriminant of W. In the first chapter, some topological constructions of Bessis are refined, allowing to relate the fibers of LL with block factorisations of a Coxeter element. Then we prove a transitivity property for the Hurwitz action of the braid group B_n on certain factorisations. Chapter 2 is devoted to certain finite polynomial extensions, and to properties about their Jacobians and discriminants. In Chapter 3, these results are applied to the extension defined by the covering LL. We deduce --- with a case-free proof --- formulas for the number of submaximal factorisations of a Coxeter element in W, in terms of the homogeneous degrees of the irreducible components of the discriminant and Jacobian for LL.
On quasi-thin association schemes
Published
• View Publication
• BIB
An association scheme is called quasi-thin if the valency of each its basic relation is one or two. A quasi-thin scheme is Kleinian if the thin residue of it forms a Klein group with respect to the relation product. It is proved that any Kleinian scheme arises from near-pencil on~$3$ points, or affine or projective plane of order~$2$. The main result is that any non-Kleinian quasi-thin scheme a) is the two-orbit scheme of a suitable permutation group, and b) is characterized up to isomorphism by its intersection number array. An infinite family of Kleinian quasi-thin schemes for which neither a) nor b) holds is also constructed.
Equivalence classes for the mu-coefficient of Kazhdan-Lusztig polynomials in S_n
Published
• View Publication
• BIB
We study equivalence classes relating to the Kazhdan-Lusztig mu(x,w) coefficients in order to help explain the scarcity of distinct values. Each class is conjectured to contain a "crosshatch" pair. We also compute the values attained by mu(x,w) for the permutation groups S_10 and S_11.
Combinatorics of finite abelian groups and Weil representations
Published in Pacific Journal of Mathematics, vol. 275, no. 2, pages 295-324, June 2015
• View Publication
• BIB
The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.
The Tutte Polynomial of the Schreier graphs of the Grigorchuk group and the Basilica group
Published in Ischia Group Theory 2010 (Proceedings of the Conference) (M. Bianchi, P. Longobardi, M. Maj and C. M. Scoppola editors), World Scientific 2011, 45-68
• View Publication
• BIB
We study the Tutte polynomial of two infinite families of finite graphs. These are the Schreier graphs associated with the action of two well-known self-similar groups acting on the binary rooted tree by automorphisms: the first Grigorchuk group of intermediate growth, and the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group. For both of them, we describe the Tutte polynomial and we compute several special evaluations of it, giving further information about the combinatorial structure of these graphs.
Linear differential equations on $\mathbb{P}^{1}$ and root systems
In this paper, we study the Euler transform on linear ordinary differential operators on $\mathbb{P}^{1}$. The spectral type is the tuple of integers which count the multiplicities of local formal solutions with the same leading terms. We compute the changes of spectral types under the action of the Euler transform and show that the changes of spectral types generate a transformation group of a $\mathbb{Z}$-lattice which is isomorphic to a quotient lattice of a Kac-Moody root lattice with the Weyl group as the transformation group.
Structure of Hochschild cohomology of path algebras and differential formulation of Euler's polyhedron formula
Published in Asian Journal of Mathematics, 18 (2014) 545-572
• View Publication
• BIB
This article studies the Lie algebra $Diff(KΓ)$ of derivations on the path algebra $KΓ$ of a quiver $Γ$ and the Lie algebra on the first Hochschild cohomology group $H^1(KΓ)$. We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of $Diff(KΓ)$ and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra $H^1(KΓ)$, together with a semidirect sum decomposition of $H^1(KΓ)$.
Partitions of groups and matroids into independent subsets
Published in Algebra Discrete Math. 10:1 (2010), 1-7
• Search Publication
Can the real line with removed zero be covered by countably many linearly (algebraically) independent subsets over the field of rationals? We use a matroid approach to show that an answer is "Yes" under the Continuum Hypothesis, and "No" under its negation.
Non-Generic Tropical Hyperplane Arrangements and the Secondary polytope of $Δ_{n-1} \times Δ_{d-1}$
Ardila and Develin's paper on tropical oriented hyperplane arrangements and tropical oriented matroids defines tropical oriented matroids and conjectures a bijection between them and triangulations of products of simplices $Δ_{n-1} \times Δ_{d-1}$. Oh and Yoo recently confirmed this conjecture; however, neither group addressed the case of hyperplanes that are not in generic position. These non-generic arrangements do not correspond to tropical oriented matroids, but they encode information about subdivisions of $Δ_{n-1} \times Δ_{d-1}$. This note considers the non-generic case and presents some preliminary results in the area.
Singer 8-arcs of Mathon type in PG(2,2^7)
Published
• View Publication
• BIB
In a former paper the authors counted the number of non-isomorphic Mathon maximal arcs of degree 8 in PG(2,2^h), h not 7 and prime. In this paper we will show that in PG(2,2^7) a special class of Mathon maximal arcs of degree 8 arises which admits a Singer group (i.e. a sharply transitive group) on the 7 conics of these arcs. We will give a detailed description of these arcs, and then count the total number of non-isomorphic Mathon maximal arcs of degree 8. Finally we show that the special arcs found in PG(2,2^7) extend to two infinite families of Mathon arcs of degree 8 in PG(2,2^k), k odd and divisible by 7, while maintaining the nice property of admitting a Singer group.
Basic coset geometries
Published
• View Publication
• BIB
In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive respectively, on the set of elements of each type. For each O'Nan-Scott type of primitive group, we construct a new infinite family of geometries, which are thick and of unbounded rank, and which admit a flag-transitive automorphism group acting faithfully on the set of elements of each type as a primitive group of the given O'Nan-Scott type.
Inversion arrangements and Bruhat intervals
Published
• View Publication
• BIB
Let $W$ be a finite reflection group. For a given $w \in W$, the following assertion may or may not be satisfied:
(*) The principal Bruhat order ideal of $w$ contains as many elements as there are regions in the inversion hyperplane arrangement of $w$.
We present a type independent combinatorial criterion which characterises the elements $w\in W$ that satisfy (*). A couple of immediate consequences are derived:
(1) The criterion only involves the order ideal of $w$ as an abstract poset. In this sense, (*) is a poset-theoretic property.
(2) For $W$ of type $A$, another characterisation of (*), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sjöstrand. We obtain a short and simple proof of that result.
(3) If $W$ is a Weyl group and the Schubert variety indexed by $w \in W$ is rationally smooth, then $w$ satisfies (*).