group
10275 papers tagged with this keyword
A Ham Sandwich Analogue for Quaternionic Measures and Finite Subgroups of S^3
A "ham sandwich" theorem is established for n quaternionic Borel measures on quaternionic space H^n. For each finite subgroup G of S^3, it is shown that there is a quaternionic hyperplane H and a corresponding tiling of H^n into |G| fundamental regions which are rotationally symmetric about H with respect to G, and satisfy the condition that for each of the n measures, the "G average" of the measures of these regions is zero. If each quaternionic measure is a 4-tuple of finite Borel measures on R^{4n}, the original ham sandwich theorem on R^{4n} is recovered when G = Z_2. The theorem applies to [n/4] finite Borel measures on R^n, and when G is the quaternion group Q_8 this gives a decomposition of R^n into 2 rings of 4 cubical "wedges" each, such that the measure any two opposite wedges is equal for each finite measure.
Generators of the Hecke algebra of $(S_{2n},B_n)$
A set of ring generators for the Hecke algebra of the Gel'fand pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of the symmetric group $S_{2n}$ is presented. Various corollaries are given. A conjecture of Sho Matsumoto is proven.
An $E_8$-approach to the moonshine vertex operator algebra
Published
• View Publication
• BIB
In this article, we study the moonshine vertex operator algebra starting with the tensor product of three copies of the vertex operator algebra $V_{\sqrt2E_8}^+$, and describe it by the quadratic space over $\F_2$ associated to $V_{\sqrt2E_8}^+$. Using quadratic spaces and orthogonal groups, we show the transitivity of the automorphism group of the moonshine vertex operator algebra on the set of all full vertex operator subalgebras isomorphic to the tensor product of three copies of $V_{\sqrt2E_8}^+$, and determine the stabilizer of such a vertex operator subalgebra. Our approach is a vertex operator algebra analogue of "An $E_8$-approach to the Leech lattice and the Conway group" by Lepowsky and Meurman. Moreover, we find new analogies among the moonshine vertex operator algebra, the Leech lattice and the extended binary Golay code.
Bounding reflection length in an affine Coxeter group
Published
• View Publication
• BIB
In any Coxeter group, the conjugates of elements in the standard minimal generating set are called reflections and the minimal number of reflections needed to factor a particular element is called its reflection length. In this article we prove that the reflection length function on an affine Coxeter group has a uniform upper bound. More precisely we prove that the reflection length function on an affine Coxeter group that naturally acts faithfully and cocompactly on $\R^n$ is bounded above by $2n$ and we also show that this bound is optimal. Conjecturally, spherical and affine Coxeter groups are the only Coxeter groups with a uniform bound on reflection length.
The Rees product of posets
Published in Journal of Combinatorics 2 (2011), no. 2, 165--191
• View Publication
• BIB
We determine how the flag f-vector of any graded poset changes under the Rees product with the chain, and more generally, any t-ary tree. As a corollary, the Möbius function of the Rees product of any graded poset with the chain, and more generally, the t-ary tree, is exactly the same as the Rees product of its dual with the chain, respectively, t-ary chain. We then study enumerative and homological properties of the Rees product of the cubical lattice with the chain. We give a bijective proof that the Möbius function of this poset can be expressed as n times a signed derangement number. From this we derive a new bijective proof of Jonsson's result that the Möbius function of the Rees product of the Boolean algebra with the chain is given by a derangement number. Using poset homology techniques we find an explicit basis for the reduced homology and determine a representation for the reduced homology of the order complex of the Rees product of the cubical lattice with the chain over the symmetric group.
Simple Modules of Classical Linear Groups with Normal Closures of Maximal Torus Orbits
Published
• View Publication
• BIB
Let T be a maximal torus in a classical linear group G. In this paper we find all simple rational G-modules V such that for each vector v in V the closure of its T-orbit is a normal affine variety. For every other G-module we present a T-orbit with the non-normal closure. We use a combinatorial criterion of normality formulated in terms of the set of weights of a simple G-module. This work is a continuation of the previous work, where the same problem was solved in the case G=SL(n).
Point sets that minimize $(\le k)$-edges, 3-decomposable drawings, and the rectilinear crossing number of $K_{30}$
Published
• View Publication
• BIB
There are two properties shared by all known crossing-minimizing geometric drawings of $K_n$, for $n$ a multiple of 3. First, the underlying $n$-point set of these drawings has exactly $3\binom{k+2}{2}$ $(\le k)$-edges, for all $0\le k < n/3$. Second, all such drawings have the $n$ points divided into three groups of equal size; this last property is captured under the concept of 3-decomposability. In this paper we show that these properties are tightly related: every $n$-point set with exactly $3\binom{k+2}{2}$ $(\le k)$-edges for all $0\le k < n/3$, is 3-decomposable. As an application, we prove that the rectilinear crossing number of $K_{30}$ is 9726.
Stability anaylsis for k-wise intersecting families
Published in Stability analysis for $k$-wise intersecting families, Electronic Journal of Combinatorics, 18 (2011), no. 1, Paper 115, 8 pp
• View Publication
• BIB
We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For some k>=2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. for any k sets F1,...,Fk in F, their intersection is nonempty. If r <= ((k-1)n)/k, then |F|<= {n-1 \choose r-1}. We prove a stability version of this theorem, analogous to similar results of Dinur-Friedgut, Keevash-Mubayi and others for the Erdős-Ko-Rado theorem. The technique we use is a generalization of Katona's circle method, initially employed by Keevash, which uses expansion properties of a particular Cayley graph of the symmetric group.
Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras
Published in Advances in Mathematics 229 (2012) 2310--2337
• View Publication
• BIB
We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.
Exponential Dowling structures
Published in European J Combinatorics, 30 (2009), 311--326
• View Publication
• BIB
The notion of exponential Dowling structures is introduced, generalizing Stanley's original theory of exponential structures. Enumerative theory is developed to determine the Möbius function of exponential Dowling structures, including a restriction of these structures to elements whose types satisfy a semigroup condition. Stanley's study of permutations associated with exponential structures leads to a similar vein of study for exponential Dowling structures. In particular, for the extended r-divisible partition lattice we show the Möbius function is, up to a sign, the number of permutations in the symmetric group on rn+k elements having descent set {r, 2r, ..., nr}. Using Wachs' original EL-labeling of the r-divisible partition lattice, the extended r-divisible partition lattice is shown to be EL-shellable.
Hyperbolic surface subgroups of one-ended doubles of free groups
Published in J. Topology 7(December 2014)(4), pp. 927-947, 2014
• View Publication
• BIB
Gromov asked whether every one-ended word-hyperbolic group contains a hyperbolic surface group. We prove that every one-ended double of a free group has a hyperbolic surface subgroup if (1) the free group has rank two, or (2) every generator is used the same number of times in the amalgamating words. To prove this, we formulate a stronger statement on Whitehead graphs and prove its specialization by combinatorial induction for (1) and the characterization of perfect matching polytopes by Edmonds for (2).
Nilspaces, nilmanifolds and their morphisms
Recent developments in ergodic theory, additive combinatorics, higher order Fourier analysis and number theory give a central role to a class of algebraic structures called nilmanifolds. In the present paper we continue a program started by Host and Kra. We introduce nilspaces as structures satisfying a variant of the Host-Kra axiom system for parallelepiped structures. We give a detailed structural analysis of abstract and compact topological nilspaces. Among various results it will be proved that compact nilspaces are inverse limits of finite dimensional ones. Then we show that finite dimensional compact connected nilspaces are nilmanifolds. The theory of compact nilspaces is a generalization of the theory of compact abelian groups. This paper is the main algebraic tool in the second authors approach to Gowers's uniformity norms and higher order Fourier analysis.
Betti numbers of smooth Schubert varieties and the remarkable formula of Kostant,Macdonald,Shapiro and Steinberg
Published
• View Publication
• BIB
The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.
Supplemental material to the article "Partitions of the triangles of the cross polytope into surfaces''
We present a constructive proof, that there exists a decomposition of the 2-skeleton of the k-dimensional cross polytope β^k into closed surfaces of genus \leq 1, each with a transitive automorphism group given by the vertex transitive Z_{2k}-action on β^k. Furthermore we show, that for each k \equiv 1,5(6) the 2-skeleton of the (k-1)-simplex is a union of highly symmetric tori and Möbius strips.
Partitioning the triangles of the cross polytope into surfaces
Published in Beitr. Algebra Geom. / Contributions to Algebra and Geometry, 53(2):473-486, 2012
• View Publication
• BIB
We present a constructive proof that there exists a decomposition of the 2-skeleton of the k-dimensional cross polytope $β^k$ into closed surfaces of genus $g \leq 1$, each with a transitive automorphism group given by the vertex transitive $\mathbb{Z}_{2k}$-action on $β^k$. Furthermore we show that for each $k \equiv 1,5(6)$ the 2-skeleton of the (k-1)-simplex is a union of highly symmetric tori and Möbius strips.
Vector-Valued Jack Polynomials from Scratch
Published in SIGMA 7 (2011), 026, 48 pages
• View Publication
• BIB
Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections groups $G(r,p,N)$ and studied by one of the authors (C. Dunkl) in the specialization $r=p=1$ (i.e. for the symmetric group). By adapting a construction due to Lascoux, we describe an algorithm allowing us to compute explicitly the Jack polynomials following a Yang-Baxter graph. We recover some properties already studied by C. Dunkl and restate them in terms of graphs together with additional new results. In particular, we investigate normalization, symmetrization and antisymmetrization, polynomials with minimal degree, restriction etc. We give also a shifted version of the construction and we discuss vanishing properties of the associated polynomials.
On Isosceles Triangles and Related Problems in a Convex Polygon
Given any convex $n$-gon, in this article, we: (i) prove that its vertices can form at most $n^2/2 + Θ(n\log n)$ isosceles trianges with two sides of unit length and show that this bound is optimal in the first order, (ii) conjecture that its vertices can form at most $3n^2/4 + o(n^2)$ isosceles triangles and prove this conjecture for a special group of convex $n$-gons, (iii) prove that its vertices can form at most $\lfloor n/k \rfloor$ regular $k$-gons for any integer $k\ge 4$ and that this bound is optimal, and (iv) provide a short proof that the sum of all the distances between its vertices is at least $(n-1)/2$ and at most $\lfloor n/2 \rfloor \lceil n/2 \rceil(1/2)$ as long as the convex $n$-gon has unit perimeter.
Subgroup S-commutativity degrees of finite groups
Published in Bull. Belgian Math. Soc. 19 (2012), 373-382
• View Publication
• BIB
The so--called subgroup commutativity degree $sd(G)$ of a finite group $G$ is the number of permuting subgroups $(H,K) \in \mathrm{L}(G) \times \mathrm{L}(G)$, where $\mathrm{L}(G)$ is the subgroup lattice of $G$, divided by $|\mathrm{L}(G)|^2$. It allows us to measure how $G$ is far from the celebrated classification of quasihamiltonian groups of K. Iwasawa. Here we generalize $sd(G)$, looking at suitable sublattices of $\mathrm{L}(G)$, and show some new lower bounds.
A Spectral Approach to Consecutive Pattern-Avoiding Permutations
Published
• View Publication
• BIB
We consider the problem of enumerating permutations in the symmetric group on $n$ elements which avoid a given set of consecutive pattern $S$, and in particular computing asymptotics as $n$ tends to infinity. We develop a general method which solves this enumeration problem using the spectral theory of integral operators on $L^{2}([0,1]^{m})$, where the patterns in $S$ has length $m+1$. Kreĭn and Rutman's generalization of the Perron--Frobenius theory of non-negative matrices plays a central role. Our methods give detailed asymptotic expansions and allow for explicit computation of leading terms in many cases. As a corollary to our results, we settle a conjecture of Warlimont on asymptotics for the number of permutations avoiding a consecutive pattern.
The Shi arrangement and the Ish arrangement
Published
• View Publication
• BIB
This paper is about two arrangements of hyperplanes. The first --- the Shi arrangement --- was introduced by Jian-Yi Shi to describe the Kazhdan-Lusztig cells in the affine Weyl group of type $A$. The second --- the Ish arrangement --- was recently defined by the first author who used the two arrangements together to give a new interpretation of the $q,t$-Catalan numbers of Garsia and Haiman. In the present paper we will define a mysterious "combinatorial symmetry" between the two arrangements and show that this symmetry preserves a great deal of information. For example, the Shi and Ish arrangements share the same characteristic polynomial, the same numbers of regions, bounded regions, dominant regions, regions with $c$ "ceilings" and $d$ "degrees of freedom", etc. Moreover, all of these results hold in the greater generality of "deleted" Shi and Ish arrangements corresponding to an arbitrary subgraph of the complete graph. Our proofs are based on nice combinatorial labelings of Shi and Ish regions and a new set partition-valued statistic on these regions.