group
10399 papers tagged with this keyword
The Non-commutative Topological Vertex and Wall Crossing Phenomena
Published in Adv.Theor.Math.Phys.14:1147-1181,2010
• View Publication
• BIB
We propose a generalization of the topological vertex, which we call the "non-commutative topological vertex". This gives open BPS invariants for a toric Calabi-Yau manifold without compact 4-cycles, where we have D0/D2/D6-branes wrapping holomorphic 0/2/6-cycles, as well as D2-branes wrapping disks whose boundaries are on D4-branes wrapping non-compact Lagrangian 3-cycles. The vertex is defined combinatorially using the crystal melting model proposed recently, and depends on the value of closed string moduli at infinity. The vertex in one special chamber gives the same answer as that computed by the ordinary topological vertex. We prove an identify expressing the non-commutative topological vertex of a toric Calabi-Yau manifold X as a specialization of the closed BPS partition function of an orbifold of X, thus giving a closed expression for our vertex. We also clarify the action of the Weyl group of an affine A_L Lie algebra on chambers, and comment on the generalization of our results to the case of refined BPS invariants.
A combinatorial approach to Specht module cohomology
Published
• View Publication
• BIB
For a Specht module S^λfor the symmetric group Σ_d, the cohomology H^i(Σ_d, S^λ) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd characteristic. Our condition generalizes James' solution in degree zero. We apply this combinatorial description to give some computations of Specht module cohomology, together with an explicit description of the corresponding modules. Finally we suggest some general conjectures that might be particularly amenable to proof using this description.
Involutions of the Symmetric Group and Congruence B-orbits of Anti-Symmetric Matrices
Published
• View Publication
• BIB
We present the poset of Borel congruence classes of anti-symmetric matrices ordered by containment of closures. We show that there exists a bijection between the set of these classes and the set of involutions of the symmetric group. We give two formulas for the rank function of this poset.
Block diagonalization for algebra's associated with block codes
For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies for coding bounds using moment matrices. We give a computationally efficient block diagonalization of A in terms of a given block diagonalization of B, and work out some examples, including the Terwilliger algebra of the binary- and nonbinary Hamming cube. As a tool we use some basic facts about representations of the symmetric group.
Quotient Representations of Uniform Tilings
Published in Symmetry Cult. Sci. 2011 vol. 22 no. 3-4 pg. 289-306
• Search Publication
Given a flag in each of the vertex-transitive tessellations of the Euclidean plane by regular polygons, we determine the flag stabilizer under the action of the automorphism group of a regular cover. In so doing we give a presentation of these tilings as quotients of regular (infinite) polyhedra.
Posets from Admissible Coxeter Sequences
Published in Electron. J. Combin. 18(1) (2011) #R197
• View Publication
• BIB
We study the equivalence relation on the set of acyclic orientations of an undirected graph G generated by source-to-sink conversions. These conversions arise in the contexts of admissible sequences in Coxeter theory, quiver representations, and asynchronous graph dynamical systems. To each equivalence class we associate a poset, characterize combinatorial properties of these posets, and in turn, the admissible sequences. This allows us to construct an explicit bijection from the equivalence classes over G to those over G' and G", the graphs obtained from G by edge deletion and edge contraction of a fixed cycle-edge, respectively. This bijection yields quick and elegant proofs of two non-trivial results: (i) A complete combinatorial invariant of the equivalence classes, and (ii) a solution to the conjugacy problem of Coxeter elements for simply-laced Coxeter groups. The latter was recently proven by H. Eriksson and K. Eriksson using a much different approach.
On the growth of cocompact hyperbolic Coxeter groups
Published
• View Publication
• BIB
For an arbitrary cocompact hyperbolic Coxeter group G with finite generator set S and complete growth function P(x)/Q(x), we provide a recursion formula for the coefficients of the denominator polynomial Q(x) which allows to determine recursively the Taylor coefficients and the pole behavior of the growth function of G in terms of its Coxeter subgroup structure. We illustrate this in the easy case of compact right-angled hyperbolic n-polytopes. Finally, we provide detailed insight into the case of Coxeter groups with at most 6 generators, acting cocompactly on hyperbolic 4-space, by considering the three combinatorially different families discovered and classified by Lanner, Kaplinskaya and Esselmann, respectively.
On covering by translates of a set
Published in Random Structures and Algorithms 38 (2011), 33--67
• View Publication
• BIB
In this paper we study the minimal number of translates of an arbitrary subset $S$ of a group $G$ needed to cover the group, and related notions of the efficiency of such coverings. We focus mainly on finite subsets in discrete groups, reviewing the classical results in this area, and generalizing them to a much broader context. For example, we show that while the worst-case efficiency when $S$ has $k$ elements is of order $1/\log k$, for $k$ fixed and $n$ large, almost every $k$-subset of any given $n$-element group covers $G$ with close to optimal efficiency.
The Graphicahedron
Published
• View Publication
• BIB
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a generalization of the well-known permutahedron; the latter is obtained when the graph is a path. We also discuss symmetry properties of the graphicahedron and determine its structure when G is small.
Counting the spanning trees of a directed line graph
The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.
Invariant and coinvariant spaces for the algebra of symmetric polynomials in non-commuting variables
Published
• View Publication
• BIB
We analyze the structure of the algebra N of symmetric polynomials in non-commuting variables in so far as it relates to its commutative counterpart. Using the "place-action" of the symmetric group, we are able to realize the latter as the invariant polynomials inside the former. We discover a tensor product decomposition of N analogous to the classical theorems of Chevalley, Shephard-Todd on finite reflection groups.
On a pattern avoidance condition for the wreath product of cyclic groups with symmetric groups
Published
• View Publication
• BIB
In this paper, we extend to a non-consecutive case, the study of the pattern matching condition on the wreath product of the cyclic group and the symmetric group initiated by the authors in a previous paper. The main focus of our paper is (colored) patterns of length 2, although a number of enumerative results for longer patterns are also presented. A new non-trivial bijective interpretation for the Catalan numbers is found, in terms of simultaneously bi-avoiding two patterns in a wreath product.
An Erdos-Ko-Rado theorem for the derangement graph of PGL(2,q) acting on the projective line
Published
• View Publication
• BIB
Let G=PGL(2,q) be the projective general linear group acting on the projective line P_q. A subset S of G is intersecting if for any pair of permutations π,σin S, there is a projective point p in P_q such that p^π=p^σ. We prove that if S is intersecting, then the size of S is no more than q(q-1). Also, we prove that the only sets S that meet this bound are the cosets of the stabilizer of a point of P_q.
Steiner quadruple systems with point-regular abelian automorphism groups
Published in J. Stat. Theory Practice 6 (2012), 97-128
• View Publication
• BIB
In this paper we present a graph theoretic construction of Steiner quadruple systems (SQS) admitting abelian groups as point-regular automorphism groups. The resulting SQS has an extra property which we call A-reversibility, where A is the underlying abelian group. In particular, when A is a 2-group of exponent at most 4, it is shown that an A-reversible SQS always exists. When the Sylow 2-subgroup of A is cyclic, we give a necessary and sufficient condition for the existence of an A-reversible SQS, which is a generalization of a necessary and sufficient condition for the existence of a dihedral SQS by Piotrowski (1985). This enables one to construct A-reversible SQS for any abelian group A of order v such that for every prime divisor p of v there exists a dihedral SQS(2p).
Equiangular Frames and Signature Sets
Published
• View Publication
• BIB
We will present a relation between real equiangular frames and certain special sets in groups which we call signature sets and show that many equiangular frames arise in this manner. Then we will define quasi-signature sets and will examine equiangular frames associated to these subsets of groups. We will extend these results to complex equiangular frames where the inner product between any pair of vectors is a common multiple of a cube root of unity and exhibit equiangular frames that arise from groups in this manner.
Representing the Sporadic Archimedean Polyhedra as Abstract Polytopes
Published
• View Publication
• BIB
We present the results of an investigation into the representations of Archimedean polyhedra (those polyhedra containing only one type of vertex figure) as quotients of regular abstract polytopes. Two methods of generating these presentations are discussed, one of which may be applied in a general setting, and another which makes use of a regular polytope with the same automorphism group as the desired quotient. Representations of the 14 sporadic Archimedean polyhedra (including the pseudorhombicuboctahedron) as quotients of regular abstract polyhedra are obtained, and summarised in a table. The information is used to characterise which of these polyhedra have acoptic Petrie schemes (that is, have well-defined Petrie duals).
Hall polynomials via automorphisms of short exact sequences
Published in Algebras and Representation Theory 15 (2012), 449-481
• View Publication
• BIB
We present a sum-product formula for the classical Hall polynomial which is based on tableaux that have been introduced by T. Klein in 1969. In the formula, each summand corresponds to a Klein tableau, while the product is taken over the cardinalities of automorphism groups of short exact sequences which are derived from the tableau. For each such sequence, one can read off from the tableau the summands in an indecomposable decomposition, and the size of their homomorphism and automorphism groups. Klein tableaux are refinements of Littlewood-Richardson tableaux in the sense that each entry $\ell \geq 2$ carries a subscript $r$. We describe module theoretic and categorical properties shared by short exact sequences which have the same symbol $\ell_r$ in a given row in their Klein tableau. Moreover, we determine the interval in the Auslander-Reiten quiver in which indecomposable sequences of $p^n$-bounded groups which carry such a symbol occur.
On a conjecture by Pierre Cartier about a group of associators
In \cite{cartier2}, Pierre Cartier conjectured that for any non commutative formal power series $Φ$ on $X=\{x_0,x_1\}$ with coefficients in a $\Q$-extension, $A$, subjected to some suitable conditions, there exists an unique algebra homomorphism $\varphi$ from the $\Q$-algebra generated by the convergent polyzêtas to $A$ such that $Φ$ is computed from $Φ_{KZ}$ Drinfel'd associator by applying $\varphi$ to each coefficient. We prove $\varphi$ exists and it is a free Lie exponential over $X$. Moreover, we give a complete description of the kernel of polyzêta and draw some consequences about a structure of the algebra of convergent polyzêtas and about the arithmetical nature of the Euler constant.
Platonic solids in $\mathbb Z^3$
Extending previous results on a characterization of all equilateral triangle in space having vertices with integer coordinates ("in $\mathbb Z^3$"), we look at the problem of characterizing all regular polyhedra (Platonic Solids) with the same property. To summarize, we show first that there is no regular icosahedron/ dodecahedron in $\mathbb Z^3$. On the other hand, there is a finite (6 or 12) class of regular tetrahedra in $\mathbb Z^3$, associated naturally to each nontrivial solution $(a,b,c,d)$ of the Diophantine equation $a^2+b^2+c^2=3d^2$ and for every nontrivial integer solution $(m,n,k)$ of the equation $m^2-mn+n^2=k^2$. Every regular tetrahedron in $\mathbb Z^3$ belongs, up to an integer translation and/or rotation, to one of these classes. We then show that each such tetrahedron can be completed to a cube with integer coordinates. The study of regular octahedra is reduced to the cube case via the duality between the two. This work allows one to basically give a description the orthogonal group $O(3,\mathbb Q)$ in terms of the seven integer parameters satisfying the two relations mentioned above.
An alternative ending to "Pleasant extensions retaining algebraic structure''
The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(μ)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\quad\quad f_1,f_2\in L^\infty(μ) associated to an arbitrary probability-preserving \bbZ^2-system (X,μ,T_1,T_2). This is a special case of the Bergelson-Leibman conjecture on the norm convergence of polynomial nonconventional ergodic averages.
That proof relied on some new machinery for extending probability-preserving $\bbZ^d$-systems to obtain simplified asymptotic behaviour for various nonconventional averages such as the above. The engine of this machinery is formed by some detailed structure theorems for the `characteristic factors' that are available for some such averages after ascending to a suitably-extended system. However, these new structure theorems underwent two distinct phases of development, separated by the discovery of some new technical results in Moore's cohomology theory for locally compact groups (arXiv:1004.4937). That discovery enabled a significant improvement to the main structure theorem (Theorem 1.1 in (arXiv:0905.0518)), which in turn afforded a much shortened proof of convergence. However, since the proof of convergence using the original structure theorem required some quite different ideas that are now absent from these other papers, I have recorded it here in case it has some independent interest.