group
10224 papers tagged with this keyword
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.
Cayley compactifications of abelian groups
Published
• View Publication
• BIB
Following work of Rieffel, we define the Cayley compactification of an abelian group with specified generating set. We investigate its structure using methods from discrete geometry and commutative algebra.
Cumulants in Noncommutative Probability Theory III. Creation- and annihilation operators on Fock spaces
Published in Infin. Dimens. Anal. Quantum Probab. Relat. Top. 8 (2005), no. 3, 407-437
• View Publication
• BIB
Fock space constructions give rise to natural exchangeable families and are thus well suited for cumulant calculations. In this paper we develop some general formulas and compute cumulants for generalized Toeplitz operators, notably for q-Fock spaces, previously considered by M. Anshelevich and A. Nica, and Fock spaces for characters of the infinite symmetric group, which where constructed by Bozejko and Guta. An expression for cumulants in terms of the cycle-cover polynomials of certain directed graphs is obtained in this case.
Cohomology of symplectic reductions of generic coadjoint orbits
Published in Proc. Amer. Math. Soc. 132 (2004), no. 10, 3069--3074
• View Publication
• BIB
Let mathcal{O}_lambda be a generic coadjoint orbit of a compact semi-simple Lie group K. Weight varieties are the symplectic reductions of mathcal{O}_lambda by the maximal torus T in K. We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of \mathcal{O}_lambda and it makes explicit the dependence on λand a parameter in Lie(T)^*.
Transitive simple subgroups of wreath products in product action
Published
• View Publication
• BIB
A transitive simple subgroup of a finite symmetric group is very rarely contained in a full wreath product in product action. All such simple permutation groups are determined in this paper. This remarkable conclusion is reached after a definition and detailed examination of `Cartesian decompositions' of the permuted set, relating them to certain `Cartesian systemsof subgroups'. These concepts, and the bijective connections between them, are explored in greater generality, with specific future applications in mind.
Coxeter decompositions of hyperbolic simplices
Published
• View Publication
• BIB
Let X be a space of constant curvature and P be a convex polyhedron in X. A Coxeter decomposition of the polyhedron P is a decomposition of P into finitely many Coxeter polyhedra, such that any two polyhedra having a common facet are symmetric with respect to this facet. In this paper we classify Coxeter decompositions of simplices in hyperbolic space of dimension greater than 3. The problem is close to the classification of the finite index subgroups in the discrete hyperbolic reflection groups.
Criteria for Balance in Abelian Gain Graphs, with Applications to Piecewise-Linear Geometry
Published in Discrete and Computational Geometry, 34 (2005), no. 2, 251-268.
• View Publication
• BIB
A gain graph is a triple (G,h,H), where G is a connected graph with an arbitrary, but fixed, orientation of edges, H is a group, and h is a homomorphism from the free group on the edges of G to H. A gain graph is called balanced if the h-image of each closed walk on G is the identity.
Consider a gain graph with abelian gain group having no odd torsion. If there is a basis of the graph's binary cycle space each of whose members can be lifted to a closed walk whose gain is the identity, then the gain graph is balanced, provided that the graph is finite or the group has no nontrivial infinitely 2-divisible elements. We apply this theorem to deduce a result on the projective geometry of piecewise-linear realizations of cell-decompositions of manifolds.
Partially Ordered generalized patterns and k-ary words
Published
• View Publication
• BIB
Recently, Kitaev [Ki2] introduced partially ordered generalized patterns (POGPs) in the symmetric group, which further generalize the generalized permutation patterns introduced by Babson and Steingrímsson [BS]. A POGP p is a GP some of whose letters are incomparable. In this paper, we study the generating functions (g.f.) for the number of k-ary words avoiding some POGPs. We give analogues, extend and generalize several known results, as well as get some new results. In particular, we give the g.f. for the entire distribution of the maximum number of non-overlapping occurrences of a pattern p with no hyphens (that allowed to have repetition of letters), provided we know the g.f. for the number of k-ary words that avoid p.
The peak algebra of the symmetric group revisited
Published in Adv. in Math. 192 (2005), No. 2, 259-309
• View Publication
• BIB
The linear span P_n of the sums of all permutations in the symmetric group S_n with a given set of peaks is a sub-algebra of the symmetric group algebra, due to Nyman. This peak algebra is a left ideal of the descent algebra D_n; and the direct sum P of all P_n is a Hopf sub-algebra of the direct sum D of all D_n, dual to the Stembridge algebra of peak functions. In our self-contained approach, peak counterparts of several results on the descent algebra are established, including a simple combinatorial characterization of the algebra P_n; an algebraic characterization of P_n based on the action on the Poincar'e-Birkhoff-Witt basis of the free associative algebra; the display of peak variants of the classical Lie idempotents; an Eulerian-type sub-algebra of P_n; a description of the Jacobson radical of P_n and its nil-potency index, of the principal indecomposable and irreducible P_n-modules, and of the Cartan matrix of P_n. Furthermore, it is shown that the primitive Lie algebra of P is free, and that P is its enveloping algebra.
Cycle and Circle Tests of Balance in Gain Graphs: Forbidden Minors and Their Groups
Published in J. Graph Theory, 51 (2006), no. 1, 1--21.
• View Publication
• BIB
We examine two criteria for balance of a gain graph, one based on binary cycles and one on circles. The graphs for which each criterion is valid depend on the set of allowed gain groups. The binary cycle test is invalid, except for forests, if any possible gain group has an element of odd order. Assuming all groups are allowed, or all abelian groups, or merely the cyclic group of order 3, we characterize, both constructively and by forbidden minors, the graphs for which the circle test is valid. It turns out that these three classes of groups have the same set of forbidden minors. The exact reason for the importance of the ternary cyclic group is not clear.
Lie Elements and Knuth Relations
Published in Canadian J. Math. 56 (2004), No. 4, 871-882
• View Publication
• BIB
A coplactic class in the symmetric group S_n consists of all permutations in S_n with a given Schensted Q-symbol, and may be described in terms of local relations introduced by Knuth. Any Lie element in the group algebra of S_n which is constant on coplactic classes is already constant on descent classes. As a consequence, the intersection of the Lie convolution algebra introduced by Patras and Reutenauer and the coplactic algebra introduced by Poirier and Reutenauer is the Solomon descent algebra.
On some integrals over the U(N) unitary group and their large N limit
Published in J.Phys.A36:3173-3194,2003
• View Publication
• BIB
The integral over the U(N) unitary group $I=\int DU \exp\Tr A U B U^\dagger$ is reexamined. Various approaches and extensions are first reviewed. The second half of the paper deals with more recent developments: relation with integrable Toda lattice hierarchy, diagrammatic expansion and combinatorics, and on what they teach us on the large $N$ limit of $\log I$.
Lagrangian Pairs and Lagrangian Orthogonal Matroids
Published
• View Publication
• BIB
Represented Coxeter matroids of types $C_n$ and $D_n$, that is, symplectic and orthogonal matroids arising from totally isotropic subspaces of symplectic or (even-dimensional) orthogonal spaces, may also be represented in buildings of type $C_n$ and $D_n$, respectively. Indeed, the particular buildings involved are those arising from the flags or oriflammes, respectively, of totally isotropic subspaces. There are also buildings of type $B_n$ arising from flags of totally isotropic subspaces in odd-dimensional orthogonal space. Coxeter matroids of type $B_n$ are the same as those of type $C_n$ (since they depend only upon the reflection group, not the root system). However, buildings of type $B_n$ are distinct from those of the other types. The matroids representable in odd dimensional orthogonal space (and therefore in the building of type $B_n$) turn out to be a special case of symplectic (flag) matroids, those whose top component, or Lagrangian matroid, is a union of two Lagrangian orthogonal matroids. These two matroids are called a Lagrangian pair, and they are the combinatorial manifestation of the ``fork'' at the top of an oriflamme (or of the fork at the end of the Coxeter diagram of $D_n$).
Here we give a number of equivalent characterizations of Lagrangian pairs, and prove some rather strong properties of them.
Computation in Coxeter groups II. Minimal roots
Published
• View Publication
• BIB
In the recent paper (Casselman, 2001) I described how a number of ideas due to Fokko du Cloux and myself could be incorporated into a reasonably efficient program to carry out multiplication in arbitrary Coxeter groups. At the end of that paper I discussed how this algorithm could be used to build the reflection table of minimal roots, which could in turn form the basis of a much more efficient multiplication algorithm. In this paper, following a suggestion of Bob Howlett, I explain how results due to Brigitte Brink can be used to construct the minimal root reflection table directly and more efficiently.
On the quotient ring by diagonal harmonics
Published
• View Publication
• BIB
For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term. This confirms conjectures of Haiman. The proof makes use of rational Cherednik algebras, as studied by Etingof and Ginzburg, and others.
Non-trivial 1-classes in the homology of the real moduli spaces M-bar_{0,n} and related structures
We give lower bounds for the rank of the first homology group of the real points of the Deligne-Mumford-Knudsen compactification of stable n-pointed curves of genus 0,which coincides with the Chow quotient (RP^1)^n//PGL(2,R).The study has connections with spectral geometry and combinatorics.