group
10275 papers tagged with this keyword
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 (*).
The generating rank of the unitary and symplectic Grassmannians
Published
• View Publication
• BIB
We prove that the Grassmannian of totally isotropic $k$-spaces of the polar space associated to the unitary group $\mathsf{SU}_{2n}(\mathbb{F})$ ($n\in \mathbb{N}$) has generating rank ${2n\choose k}$ when $\mathbb{F}\ne \mathbb{F}_4$. We also reprove the main result of Blok [Blok2007], namely that the Grassmannian of totally isotropic $k$-spaces associated to the symplectic group $\mathsf{Sp}_{2n}(\mathbb{F})$ has generating rank ${2n\choose k}-{2n\choose k-2}$, when $\rm{Char}(\mathbb{F})\ne 2$.
The cone of Hilbert nullforms
Published in Proc. Steklov Math. Inst. 241 (2003), 192--209
• Search Publication
We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their dimensions. In particular, it provides a constructive approach to calculating the dimension of the null-cone and determining all its irreducible components of maximal dimension. In the case of the adjoint representation (and, more generally, a $θ$-representation), the algorithm turns into the classification algorithm for the conjugacy classes of nilpotent elements in a semisimple Lie algebra (respectively, homogeneous nilpotent elements in a cyclically graded semisimple Lie algebra).
On the cardinality of sumsets in torsion-free groups
Published
• View Publication
• BIB
Let $A, B$ be finite subsets of a torsion-free group $G$. We prove that for every positive integer $k$ there is a $c(k)$ such that if $|B|\ge c(k)$ then the inequality $|AB|\ge |A|+|B|+k$ holds unless a left translate of $A$ is contained in a cyclic subgroup. We obtain $c(k)<c_0k^{6}$ for arbitrary torsion-free groups, and $c(k)<c_0k^{3}$ for groups with the unique product property, where $c_0$ is an absolute constant. We give examples to show that $c(k)$ is at least quadratic in $k$.
The Weak Bruhat Order and Separable Permutations
In this paper we consider the rank generating function of a separable permutation $π$ in the weak Bruhat order on the two intervals $[\text{id}, π]$ and $[π, w_0]$, where $w_0 = n,(n-1),..., 1$. We show a surprising result that the product of these two generating functions is the generating function for the symmetric group with the weak order. We then obtain explicit formulas for the rank generating functions on $[\text{id}, π]$ and $[π, w_0]$, which leads to the rank-symmetry and unimodality of the two graded posets.
On the Davenport constant and on the structure of extremal zero-sum free sequences
Published
• View Publication
• BIB
Let $G = C_{n_1} \oplus ... \oplus C_{n_r}$ with $1 < n_1 \t ... \t n_r$ be a finite abelian group, $\mathsf d^* (G) = n_1 + ... + n_r - r$, and let $\mathsf d (G)$ denote the maximal length of a zero-sum free sequence over $G$. Then $\mathsf d (G) \ge \mathsf d^* (G)$, and the standing conjecture is that equality holds for $G = C_n^r$. We show that equality does not hold for $C_2 \oplus C_{2n}^r$, where $n \ge 3$ is odd and $r \ge 4$. This gives new information on the structure of extremal zero-sum free sequences over $C_{2n}^r$.