group
10275 papers tagged with this keyword
Z2Z4-linear codes: generator matrices and duality
A code ${\cal C}$ is $\Z_2\Z_4$-additive if the set of coordinates can be partitioned into two subsets $X$ and $Y$ such that the punctured code of ${\cal C}$ by deleting the coordinates outside $X$ (respectively, $Y$) is a binary linear code (respectively, a quaternary linear code). In this paper $\Z_2\Z_4$-additive codes are studied. Their corresponding binary images, via the Gray map, are $\Z_2\Z_4$-linear codes, which seem to be a very distinguished class of binary group codes.
As for binary and quaternary linear codes, for these codes the fundamental parameters are found and standard forms for generator and parity check matrices are given. For this, the appropriate inner product is deduced and the concept of duality for $\Z_2\Z_4$-additive codes is defined. Moreover, the parameters of the dual codes are computed. Finally, some conditions for self-duality of $\Z_2\Z_4$-additive codes are given.
Combinatorial Alexander Duality -- a Short and Elementary Proof
Published in Discrete Comput. Geom. 42(4) (2009), 586-593
• View Publication
• BIB
Let X be a simplicial complex with the ground set V. Define its Alexander dual as a simplicial complex X* = {A \subset V: V \setminus A \notin X}. The combinatorial Alexander duality states that the i-th reduced homology group of X is isomorphic to the (|V|-i-3)-th reduced cohomology group of X* (over a given commutative ring R). We give a self-contained proof.
Connectivity of Addition Cayley Graphs
Published
• View Publication
• BIB
For any finite abelian group $G$ and any subset $S\seq G$, we determine the connectivity of the addition Cayley graph induced by $S$ on $G$. Moreover, we show that if this graph is not complete, then it possesses a minimum vertex cut of a special, explicitly described form.
From Bruhat intervals to intersection lattices and a conjecture of Postnikov
Published
• View Publication
• BIB
We prove the conjecture of A. Postnikov that (A) the number of regions in the inversion hyperplane arrangement associated with a permutation $w\in \Sn$ is at most the number of elements below $w$ in the Bruhat order, and (B) that equality holds if and only if $w$ avoids the patterns 4231, 35142, 42513 and 351624. Furthermore, assertion (A) is extended to all finite reflection groups.
A byproduct of this result and its proof is a set of inequalities relating Betti numbers of complexified inversion arrangements to Betti numbers of closed Schubert cells. Another consequence is a simple combinatorial interpretation of the chromatic polynomial of the inversion graph of a permutation which avoids the above patterns.
A Step Beyond Kemperman's Structure Theorem
Published
• View Publication
• BIB
A classical result of Kemperman gives a complete recursive description of the structure of those subsets $A$ and $B$ of an abelian group that fail to satisfy the triangle inequality, i.e., $|A+B|<|A|+|B|$. In this paper, we achieve the complete description in the case when equality holds: $|A+B|=|A|+|B|$.
Formulas for Birkhoff-(Rota-Baxter) decompositions related to connected bialgebra
In recent years, The BPHZ algorithm for renormalization in quantum field theory has been interpreted, after dimensional regularization, as the Birkhoff-(Rota-Baxter) decomposition (BRB) of characters on the Hopf algebra of Feynmann graphs, with values in a Rota-Baxter algebra. We give in this paper formulas for the BRB decomposition in the group $\mathcal{C}(H, A)$ of characters on a connected Hopf algebra $H$, with values in a Rota-Baxter (commutative) algebra $A$. To do so we first define the stuffle (or quasi-shuffle) Hopf algebra $A^{\tmop{st}}$ associated to an algebra $A$. We prove then that for any connected Hopf algebra $H = k 1_H \oplus H'$, there exists a canonical injective morphism from $H$ to $H'^{\tmop{st}}$. This morphism induces an action of $\mathcal{C}(A^{\tmop{st}}, A)$ on $\mathcal{C}(H, A)$ so that the BRB decomposition in $\mathcal{C}(H, A)$ is determined by the action of a unique (universal) element of $\mathcal{C}(A^{\tmop{st}}, A)$.
Planar trees, free nonassociative algebras, invariants, and elliptic integrals
Published in Algebra Discrete Math. 2008, no. 2, 1-41
• Search Publication
We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows to apply combinatorial techniques to study their Hilbert series and the asymptotics of their coefficients. These algebras satisfy the Nielsen-Schreier property and their subalgebras are also free. Then, over a field of characteristic 0, we investigate the subalgebras of invariants under the action of a linear group, their sets of free generators and their Hilbert series. It has turned out that, except in the trivial cases, the algebra of invariants is never finitely generated. In important partial cases the Hilbert series of the algebras of invariants and the generating functions of their sets of free generators are expressed in terms of elliptic integrals.
Combinatorial Aspects of Elliptic Curves II: Relationship between Elliptic Curves and Chip-Firing Games on Graphs
Let q be a power of a prime and E be an elliptic curve defined over F_q. In "Combinatorial aspects of elliptic curves" [17], the present author examined a sequence of polynomials which express the N_k's, the number of points on E over the field extensions F_{q^k}, in terms of the parameters q and N_1 = #E(F_q). These polynomials have integral coefficients which alternate in sign, and a combinatorial interpretation in terms of spanning trees of wheel graphs. In this sequel, we explore further ramifications of this connection. In particular, we highlight a relationship between elliptic curves and chip-firing games on graphs by comparing the groups structures of both. As a coda, we construct a cyclic rational language whose zeta function is dual to that of an elliptic curve.
Matrix pairs over discrete valuation rings determine Littlewood-Richardson fillings
Published
• View Publication
• BIB
Let M and N be two r x r matrices over a discrete valuation ring of characteristic zero. The orders (with respect to a uniformizing parameter) of the invariant factors of M form a partition of non-negative integers, called the invariant partition of M. Let the invariant partition of M be mu, of N be nu, and of the product MN be lambda. In this paper we construct a Littlewood-Richardson filling of the skew shape lambda/mu with content nu, and show that this filling is an invariant of the orbit of the pair (M,N) with respect to a natural group action on the pair. We relate the algebraic combinatorics of Littlewood-Richardson fillings to a special semicanonical matrix in the orbit of (M,N), from which the Littlewood-Richardson filling, and other combinatorial invariants may be obtained.
On regular configurations and disjoint cycles in shift graphs
Configurations are necklaces with prescribed numbers of red and black beads. Among all possible configurations, the regular one plays an important role in many applications. In this paper, several aspects of regular configurations are discussed, including construction, uniqueness, symmetry group and the link with balanced words.
Another model of configurations is the polygons formed by a given number of sides of two different lengths. In this context, regular configurations are used to obtain a lower bound for the cycles packing number of shift graphs, a subclass of the directed circulant graphs.
Eriksson's numbers game and finite Coxeter groups
Published
• View Publication
• BIB
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game and its interactions with Coxeter/Weyl group theory and Lie theory have been studied by many authors. In particular, Eriksson connects certain geometric representations of Coxeter groups with games on graphs with certain real number amplitudes. Games played on such graphs are ``E-games.'' Here we investigate various finiteness aspects of E-game play: We extend Eriksson's work relating moves of the game to reduced decompositions of elements of a Coxeter group naturally associated to the game graph. We use Stembridge's theory of fully commutative Coxeter group elements to classify what we call here the ``adjacency-free'' initial positions for finite E-games. We characterize when the positive roots for certain geometric representations of finite Coxeter groups can be obtained from E-game play. Finally, we provide a new Dynkin diagram classification result of E-game graphs meeting a certain finiteness requirement.
Combinatorial Stokes formulas via minimal resolutions
Published in J. Combin. Theory Ser. A 116 (2009), no. 2, 404-420
• View Publication
• BIB
We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn implies "Dold's theorem" that there is no equivariant map from an n-connected to an n-dimensional free Z_k-complex.
Thus we build a combinatorial access road to problems in combinatorics and discrete geometry that have previously been treated with methods from equivariant topology. The special case k=2 for this is classical; it involves Tucker's (1949) combinatorial lemma which implies the Borsuk-Ulam theorem, its proof via chain complexes by Lefschetz (1949), the combinatorial Stokes formula of Fan (1967), and Meunier's work (2006).
Affine descents and the Steinberg torus
Published
• View Publication
• BIB
Let $W\ltimes L$ be an irreducible affine Weyl group with Coxeter complex $Σ$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $Σ$ by the lattice $L$. We show that the ordinary and flag $h$-polynomials of the Steinberg torus (with the empty face deleted) are generating functions over $W$ for a descent-like statistic first studied by Cellini. We also show that the ordinary $h$-polynomial has a nonnegative $γ$-vector, and hence, symmetric and unimodal coefficients. In the classical cases, we also provide expansions, identities, and generating functions for the $h$-polynomials of Steinberg tori.
Permutahedra and generalized associahedra
Published in Advances in Math., 226 (2011), pp.608-640
• View Publication
• BIB
Given a finite Coxeter system $(W,S)$ and a Coxeter element $c$, we construct a simple polytope whose outer normal fan is N. Reading's Cambrian fan $F_c$, settling a conjecture of Reading that this is possible. We call this polytope the $c$-generalized associahedron. Our approach generalizes Loday's realization of the associahedron (a type $A$ $c$-generalized associahedron whose outer normal fan is not the cluster fan but a coarsening of the Coxeter fan arising from the Tamari lattice) to any finite Coxeter group. A crucial role in the construction is played by the $c$-singleton cones, the cones in the $c$-Cambrian fan which consist of a single maximal cone from the Coxeter fan.
Moreover, if $W$ is a Weyl group and the vertices of the permutahedron are chosen in a lattice associated to $W$, then we show that our realizations have integer coordinates in this lattice.
A converse to Moore's theorem on cellular automata
Published in J. Eur. Math. Soc. 12 (2010), 241-248
• View Publication
• BIB
We prove a converse to Moore's ``Garden-of-Eden'' theorem: a group G is amenable if and only if all cellular automata living on G that admit mutually erasable patterns also admit gardens of Eden.
It had already been conjectured in that amenability could be characterized by cellular automata. We prove the first part of that conjecture.
A Quiver Presentation for Solomon's Descent Algebra
Published
• View Publication
• BIB
The descent algebra $Σ(W)$ is a subalgebra of the group algebra $\Q W$ of a finite Coxeter group $W$, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of $W$. Thus $Σ(W)$ is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct $Σ(W)$ as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of $S$, the set of simple reflections in $W$. From this construction we obtain some general information about the quiver of $Σ(W)$ and an algorithm for the construction of a quiver presentation for the descent algebra $Σ(W)$ of any given finite Coxeter group $W$.
Combinatorial Gelfand Models
Published
• View Publication
• BIB
A combinatorial construction of a Gelafand model for the symmetric group and its Iwahori-Hecke algebra is presented.
Cubical convex ear decompositions
Published in Electronic J. Combinatorics 16(2) (2009) R17
• View Publication
• BIB
We consider the problem of constructing a convex ear decomposition for a poset. The usual technique, first used by Nyman and Swartz, starts with a CL-labeling and uses this to shell the `ears' of the decomposition. We axiomatize the necessary conditions for this technique as a "CL-ced" or "EL-ced". We find an EL-ced of the d-divisible partition lattice, and a closely related convex ear decomposition of the coset lattice of a relatively complemented group. Along the way, we construct new EL-labelings of both lattices. The convex ear decompositions so constructed are formed by face lattices of hypercubes.
We then proceed to show that if two posets P_1 and P_2 have convex ear decompositions (CL-ceds), then their products P_1 \times P_2, P_1 \lrtimes P_2, and P_1 \urtimes P_2 also have convex ear decompositions (CL-ceds). An interesting special case is: if P_1 and P_2 have polytopal order complexes, then so do their products.
Values of characters sums for finite unitary groups
Published
• View Publication
• BIB
A known result for the finite general linear group $\GL(n,\FF_q)$ and for the finite unitary group $\U(n,\FF_{q^2})$ posits that the sum of the irreducible character degrees is equal to the number of symmetric matrices in the group. Fulman and Guralnick extended this result by considering sums of irreducible characters evaluated at an arbitrary conjugacy class of $\GL(n,\FF_q)$. We develop an explicit formula for the value of the permutation character of $\U(2n,\FF_{q^2})$ over $\Sp(2n,\FF_q)$ evaluated an an arbitrary conjugacy class and use results concerning Gelfand-Graev characters to obtain an analogous formula for $\U(n,\FF_{q^2})$ in the case where $q$ is an odd prime. These results are also given as probabilistic statements.
Counting descent pairs with prescribed colors in the colored permutation groups
We define new statistics, (c, d)-descents, on the colored permutation groups Z_r \wr S_n and compute the distribution of these statistics on the elements in these groups. We use some combinatorial approaches, recurrences, and generating functions manipulations to obtain our results.