group
10399 papers tagged with this keyword
Asymptotics for random walks in alcoves of affine Weyl groups
Published in Séminaire Lotharingien Combin. 52 (2007), Article B52i, 72 pp
• Search Publication
Asymptotic results are derived for the number of random walks in alcoves of affine Weyl groups (which are certain regions in $n$-dimensional Euclidean space bounded by hyperplanes), thus solving problems posed by Grabiner [J. Combin. Theory Ser. A 97 (2002), 285-306]. These results include asymptotic expressions for the number of vicious walkers on a circle, and as well for the number of vicious walkers in an interval. The proofs depart from the exact results of Grabiner [loc. cit.], and require as diverse means as results from symmetric function theory and the saddle point method, among others.
Freely braided elements in Coxeter groups
Published in Annals of Combinatorics 6 (2002), 337-348
• View Publication
• BIB
We introduce a notion of "freely braided element" for simply laced Coxeter groups. We show that an arbitrary group element $w$ has at most $2^{N(w)}$ commutation classes of reduced expressions, where $N(w)$ is a certain statistic defined in terms of the positive roots made negative by $w$. This bound is achieved if $w$ is freely braided. In the type $A$ setting, we show that the bound is achieved only for freely braided $w$.
On the symmetry classes of the first covariant derivatives of tensor fields
Published in Seminaire Lotharingien de Combinatoire, 49 (2003) Article B49f
• Search Publication
We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. We apply these facts to derivatives $\nabla S$, $\nabla A$ of symmetric or alternating tensor fields. The symmetry classes of the differences $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ are characterized by Young frames (r, 1) and (2, 1^{r-1}), respectively. However, while the symmetry class of $\nabla A - alt(\nabla A)$ can be generated by Young symmetrizers of (2, 1^{r-1}), no Young symmetrizer of (r, 1) generates the symmetry class of $\nabla S - sym(\nabla S)$. Furthermore we show in the case r = 2 that $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ can be applied in generator formulas of algebraic covariant derivative curvature tensors. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.
A generalization of the Simion-Schmidt bijection for restricted permutations
Published
• View Publication
• BIB
We consider the two permutation statistics which count the distinct pairs obtained from the last two terms of occurrences of patterns t_1...t_{m-2}m(m-1) and t_1...t_{m-2}(m-1)m in a permutation, respectively. By a simple involution in terms of permutation diagrams we will prove their equidistribution over the symmetric group. As special case we derive a one-to-one correspondence between permutations which avoid each of the patterns t_1...t_{m-2}m(m-1) in S_m and such ones which avoid each of the patterns t_1...t_{m-2}(m-1)m. For m=3, this correspondence coincides with the bijection given by Simion and Schmidt in their famous paper on restricted permutations.
Bravais colourings of planar modules with N-fold symmetry
Published in Zeitschrift f. Kristallographie 219 (2004) 72-80
• View Publication
• BIB
The first step in investigating colour symmetries for periodic and aperiodic systems is the determination of all colouring schemes that are compatible with the symmetry group of the underlying structure, or with a subgroup of it. For an important class of colourings of planar structures, this mainly combinatorial question can be addressed with methods of algebraic number theory. We present the corresponding results for all planar modules with N-fold symmetry that emerge as the rings of integers in cyclotomic fields with class number one. The counting functions are multiplicative and can be encapsulated in Dirichlet series generating functions, which turn out to be the Dedekind zeta functions of the corresponding cyclotomic fields.
SPM Bulletin 1
This is the first issue of a semi-formal bulletin dealing with Selection Principles in Mathematics (SPM) -- this field deals with all sorts of studies of diagonalization arguments, especially in topology (covering properties, sequences of covers, etc.) and infinite combinatorics (cardinal characteristics of the continuum), and their applications to other areas of mathematics (function spaces, game theory, group theory, etc.)
On certain organic compounds with one mono-substitution and at least three di-substitution homogeneous derivatives
Published
• View Publication
• BIB
In this paper parent substances with molecules which can be divided into a skeleton and six univalent substituents, and that have the properties mentioned in the title, are considered. Two instances are the molecules of benzene and cyclopropane. The Lunn-Senior's symmetry groups of substitution isomerism of these compounds are described and upper bounds of the numbers of their di-substitution and tri-substitution homogeneous derivatives are found. Lists of the possible simple substitution reactions among di-substitution homogeneous derivatives, on one hand, and di-substitution heterogeneous, and tri-substitution homogeneous derivatives, on the other, are given. These substitution reactions allow for some derivatives to be identified with their structural formulae.
Zigzag Structure of Simple Two-faced Polyhedra
Published
• View Publication
• BIB
A zigzag in a plane graph is a circuit of edges, such that any two, but no three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbors on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of simple two-faced polyhedra, i.e., 3-valent 3-polytopes with only $a$-gonal and $b$-gonal faces, where $3 \le a < b \le 6$; the main cases are $(a,b)=(3,6)$, $(4,6)$ and $(5,6)$ (the fullerenes).
We completely describe the zigzag structure for the case $(a,b)$=$(3,6)$. For the case $(a,b)$=$(4,6)$ we describe symmetry groups, classify all tight graphs with simple zigzags and give the upper bound 9 for the number of zigzags in general tight graphs. For the remaining case $(a,b)$=$(5,6)$ we give a construction realizing a prescribed zigzag structure.
4-valent plane graphs with 2-, 3- and 4-gonal faces
Published
• View Publication
• BIB
Call {\em i-hedrite} any 4-valent n-vertex plane graph, whose faces are 2-, 3- and 4-gons only and $p_2+p_3=i$. The edges of an i-hedrite, as of any Eulerian plane graph, are partitioned by its {\em central circuits}, i.e. those, which are obtained by starting with an edge and continuing at each vertex by the edge opposite the entering one. So, any i-hedrite is a projection of an alternating link, whose components correspond to its central circuits.
Call an i-hedrite {\em irreducible}, if it has no {\em rail-road}, i.e. a circuit of 4-gonal faces, in which every 4-gon is adjacent to two of its neighbors on opposite edges.
We present the list of all i-hedrites with at most 15 vertices. Examples of other results:
(i) All i-hedrites, which are not 3-connected, are identified. (ii) Any irreducible i-hedrite has at most i-2 central circuits. (iii) All i-hedrites without self-intersecting central circuits are listed. (iv) All symmetry group of i-hedrites are listed.
The excedances and descents of bi-increasing permutations
Starting from some considerations we make about the relations between certain difference statistics and the classical permutation statistics we study permutations whose inversion number and excedance difference coincide. It turns out that these (so-called bi-increasing) permutations are just the 321-avoiding ones. The paper investigates their excedance and descent structure. In particular, we find some nice combinatorial interpretations for the distribution coefficients of the number of excedances and descents, respectively, and their difference analogues over the bi-increasing permutations in terms of parallelogram polyominoes and 2-Motzkin paths. This yields a connection between restricted permutations, parallelogram polyominoes, and lattice paths that reveals the relations between several well-known bijections given for these objects (e.g. by Delest-Viennot, Billey-Jockusch-Stanley, Francon-Viennot, and Foata-Zeilberger). As an application, we enumerate skew diagrams according to their rank and give a simple combinatorial proof for a result concerning the symmetry of the joint distribution of the number of excedances and inversions, respectively, over the symmetric group.
Reversible coagulation-fragmentation processes and random combinatorial structures:asymptotics for the number of groups
Published
• View Publication
• BIB
We establish the central limit theorem for the number of groups at the equilibrium of a coagulation-fragmentation process given by a parameter function with polynomial rate of growth. The result obtained is compared with the one for random combinatorial structures obeying the logarithmic condition.
Symplectic operad geometry and graph homology
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.
Castelnuovo-Mumford regularity by approximation
Published in Adv. Math. 188 (2004), no. 1, 104-123
• View Publication
• BIB
The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and the module of derivations of a hyperplane arrangement as well as to give degree bounds for invariants of finite groups.
Resonant local systems on complements of discriminantal arrangements and sl_2 representations
Published in Geom. Dedicata 101 (2003), 217-234
• View Publication
• BIB
We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines.
Decomposing Hessenberg varieties over classical groups
Hessenberg varieties are a family of subvarieties of the flag variety, including the Springer fibers, the Peterson variety, and the entire flag variety itself. The seminal example arises from a problem in numerical analysis and consists for a fixed linear operator M of the full flags V_1 \subsetneq V_2 >... \subsetneq V_n in GL_n with M V_i contained in V_{i+1} for all i.
In this paper I show that all Hessenberg varieties in type A_n and semisimple and regular nilpotent Hessenberg varieties in types B_n,C_n, and D_n can be paved by affine spaces. Moreover, this paving is the intersection of a particular Bruhat decomposition with the Hessenberg variety. In type A_n, an equivalent description of the cells of the paving in terms of certain fillings of a Young diagram can be used to compute the Betti numbers of Hessenberg varieties. As an example, I show that the Poincare polynomial of the Peterson variety in A_n is \sum_{i =0}^{n-1} \binom{n-1}{i} x^{2i}.
Sturmian Words and the Permutation that Orders Fractional Parts
Published in J. Algebraic Combin. 19 (2004), no. 1, 91--115.
• View Publication
• BIB
A Sturmian word is a map W from the natural numbers into {0,1} for which the set of {0,1}-vectors F_n(W):={(W(i),W(i+1),...,W(i+n-1))^T : i \ge 0} has cardinality exactly n+1 for each positive integer n. Our main result is that the volume of the simplex whose n+1 vertices are the n+1 points in F_n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation $π$ (depending on an irrational x and a positive integer n) that orders the fractional parts {1 x}, {2 x}, ..., {n x}, i.e., 0 < {π(1) x} < {π(2) x} < ... < {π(n) x} < 1. We give a formula for the sign of $π$, and prove that for every irrational x there are infinitely many n such that the order of $π$ (as an element of the symmetric group S_n) is less than n.
Representation functions of additive bases for abelian semigroups
Published in Int. Journal of Math. Math. Sci. (2004), 29-32
• View Publication
• BIB
Let X = S \oplus G, where S is a countable abelian semigroup and G is a countably infinite abelian group such that {2g : g in G} is infinite. Let pi: X \to G be the projection map defined by pi(s,g) = g for all x =(s,g) in X. Let f:X \to N_0 cup infty be any map such that the set pi(f^{-1}(0)) is a finite subset of G. Then there exists a set B contained in X such that r_B(x) = f(x) for all x in X, where the representation function r_B(x) counts the number of sets {x',x''} contained in B such that x' \neq x'' and x'+x''=x. In particular, every function f from the integers Z into N_0 \cup infty such that f^{-1}(0) is finite is the representation function of an asymptotic basis for Z.
Avoidable sets in groups
In a set equipped with a binary operation, (S,*), a subset U is defined to be avoidable if there exists a partition {A,B} of S such that no element of U is the product of two distinct elements of A or of two distinct elements of B. For more than two decades, avoidable sets in the natural numbers (under addition) have been studied by renowned mathematicians such as Erdos, and a few families of sets have been shown to be avoidable in that setting. In this paper we investigate the generalized notion of an avoidable set and determine the avoidable sets in several families of groups; previous work in this field considered only the case (S, *) = (N, +).
Determining a connected split reductive group from its irreducible representations
Published
• View Publication
• BIB
We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T.
Ideal decompositions and computation of tensor normal forms
Published in Seminaire Lotharingien de Combinatoire, 45 (2001) Article B45g. http://www.mat.univie.ac.at/~slc/wpapers/s45fiedler.html
• Search Publication
Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give the structure of these W for every situation which appears in symbolic tensor calculations by computer. Characterizing idempotents of such W can be determined by means of an ideal decomposition algorithm which works in every semisimple ring up to an isomorphism. Furthermore, we use tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms for S_r to increase the efficience of calculations. All described methods were implemented in a Mathematica package called PERMS.