representation ↗ reference
4143 papers tagged with this keyword
0-Hecke algebra actions on coinvariants and flags
Published
• View Publication
• BIB
The 0-Hecke algebra $H_n(0)$ is a deformation of the group algebra of the symmetric group $\SS_n$. We show that its coinvariant algebra naturally carries the regular representation of $H_n(0)$, giving an analogue of the well-known result for $\SS_n$ by Chevalley-Shephard-Todd. By investigating the action of $H_n(0)$ on coinvariants and flag varieties, we interpret the generating functions counting the permutations with fixed inverse descent set by their inversion number and major index. We also study the action of $H_n(0)$ on the cohomology rings of the Springer fibers, and similarly interpret the (noncommutative) Hall-Littlewood symmetric functions indexed by hook shapes.
Pattern avoidance in matchings and partitions
Published
• View Publication
• BIB
Extending the notion of pattern avoidance in permutations, we study matchings and set partitions whose arc diagram representation avoids a given configuration of three arcs. These configurations, which generalize 3-crossings and 3-nestings, have an interpretation, in the case of matchings, in terms of patterns in full rook placements on Ferrers boards.
We enumerate 312-avoiding matchings and partitions, obtaining algebraic generating functions, in contrast with the known D-finite generating functions for the 321-avoiding (i.e., 3-noncrossing) case. Our approach also provides a more direct proof of a formula of Bóna for the number of 1342-avoiding permutations. Additionally, we give a bijection proving the shape-Wilf-equivalence of the patterns 321 and 213 which greatly simplifies existing proofs by Backelin--West--Xin and Jelínek, and provides an extension of work of Gouyou-Beauchamps for matchings with fixed points. Finally, we classify pairs of patterns of length 3 according to shape-Wilf-equivalence, and enumerate matchings and partitions avoiding a pair in most of the resulting equivalence classes.
(2^n,2^n,2^n,1)-relative difference sets and their representations
Published
• View Publication
• BIB
We show that every $(2^n,2^n,2^n,1)$-relative difference set $D$ in $\Z_4^n$ relative to $\Z_2^n$ can be represented by a polynomial $f(x)\in \F_{2^n}[x]$, where $f(x+a)+f(x)+xa$ is a permutation for each nonzero $a$. We call such an $f$ a planar function on $\F_{2^n}$. The projective plane $Π$ obtained from $D$ in the way of Ganley and Spence \cite{ganley_relative_1975} is coordinatized, and we obtain necessary and sufficient conditions of $Π$ to be a presemifield plane. We also prove that a function $f$ on $\F_{2^n}$ with exactly two elements in its image set and $f(0)=0$ is planar, if and only if, $f(x+y)=f(x)+f(y)$ for any $x,y\in\F_{2^n}$.
Modelling Breakage-Fusion-Bridge Cycles as a Stochastic Paper Folding Process
Published
• View Publication
• BIB
Breakage-Fusion-Bridge cycles in cancer arise when a broken segment of DNA is duplicated and an end from each copy joined together. This structure then `unfolds' into a new piece of palindromic DNA. This is one mechanism responsible for the localised amplicons observed in cancer genome data. The process has parallels with paper folding sequences that arise when a piece of paper is folded several times and then unfolded. Here we adapt such methods to study the breakage-fusion-bridge structures in detail. We firstly consider discrete representations of this space with 2-d trees to demonstrate that there are 2^(n(n-1)/2) qualitatively distinct evolutions involving n breakage-fusion-bridge cycles. Secondly we consider the stochastic nature of the fold positions, to determine evolution likelihoods, and also describe how amplicons become localised. Finally we highlight these methods by inferring the evolution of breakage-fusion-bridge cycles with data from primary tissue cancer samples.
Representing and counting the subgroups of the group Z_m x Z_n
Published in Journal of Numbers, Volume 2014, Article ID 491428
• View Publication
• BIB
We deduce a simple representation and the invariant factor decompositions of the subgroups of the group $\Bbb{Z}_m \times \Bbb{Z}_n$, where $m$ and $n$ are arbitrary positive integers. We obtain formulas for the total number of subgroups and the number of subgroups of a given order.
Some properties of symbol algebras of degree three
In this paper we will study some properties of the matrix representations of symbol algebras of degree three, we study some equations with coefficients in these algebras, we find an octonion algebra in a symbol algebra of degree three, we define the Fibonacci symbol elements and we give some properties of them.
Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids
In contrast to matroids, vf-safe delta-matroids have three kinds of minors and are closed under the operations of twist and loop complementation. We show that the delta-matroids representable over GF(4) with respect to the nontrivial automorphism of GF(4) form a subclass of the vf-safe delta-matroids closed under twist and loop complementation. In particular, quaternary matroids are vf-safe.
Using this result, we show that the matroid of a bicycle space of a quaternary matroid M is obtained from M by using loop complementation. As a consequence, the matroid of a bicycle space of a quaternary matroid M is independent of the chosen representation. This also leads to, e.g., an extension of a known parity-type characterization of the bicycle dimension, a generalization of the tripartition of Rosenstiehl and Read [Ann. Disc. Math. (1978)], and a suitable generalization of the dual notions of bipartite and Eulerian binary matroids to a vf-safe delta-matroids.
Finally, we generalize a number of results concerning the Penrose polynomial from binary matroids to vf-safe delta-matroids. In this general setting the Penrose polynomial turns out to have a recursive relation much like the recursive relation of the Tutte polynomial.
Boolean Differential Operators
Published in Comment. Math. Univ. Carolin. 55 (2014) 141-158
• Search Publication
We consider four combinatorial interpretations for the algebra of Boolean differential operators. We show that each interpretation yields an explicit matrix representation for Boolean differential operators.
Matroids, hereditary collections and simplicial complexes having boolean representations
Inspired by the work of Izakhian and Rhodes, a theory of representation of hereditary collections by boolean matrices is developed. This corresponds to representation by finite $\vee$-generated lattices. The lattice of flats, defined for hereditary collections, lattices and matrices, plays a central role in the theory. The representations constitute a lattice and the minimal and strictly join irreducible elements are studied, as well as various closure operators.
Dimensions of components of tensor products of the linear groups representations with applications to Beurling-Fourier algebras
Published in Studia Math. 220 (2014), no. 3, 221-241
• View Publication
• BIB
We give universal upper bounds on the relative dimensions of isotypic components of a tensor product of the linear group GL(n) representations and universal upper bounds on the relative dimensions of irreducible components of a tensor product of the special linear group SL(n) representations. This problem is motivated by harmonic analysis problems, and we give some applications of this result in the theory of Beurling-Fourier algebras.
Mirkovic-Vilonen polytopes and Khovanov-Lauda-Rouquier algebras
Published in Compositio Math. 152 (2016) 1648-1696
• View Publication
• BIB
We describe how Mirkovic-Vilonen polytopes arise naturally from the categorification of Lie algebras using Khovanov-Lauda-Rouquier algebras. This gives an explicit description of the unique crystal isomorphism between simple representations of the KLR algebra and MV polytopes.
MV polytopes, as defined from the geometry of the affine Grassmannian, only make sense for finite dimensional semi-simple Lie algebras, but our construction actually gives a map from the infinity crystal to polytopes in all symmetrizable Kac-Moody algebras. However, to make the map injective and have well-defined crystal operators on the image, we must in general decorate our polytopes with some extra information. We suggest that the resulting KLR polytopes are the general-type analogues of MV polytopes.
We give a combinatorial description of the resulting decorated polytopes in all affine cases, and show that this recovers the affine MV polytopes recently defined by Kamnitzer and Baumann and the first author in symmetric affine types. We also briefly discuss the situation beyond affine type.
Obstructions to chordal circular-arc graphs of small independence number
Published
• View Publication
• BIB
A blocking quadruple (BQ) is a quadruple of vertices of a graph such that any two vertices of the quadruple either miss (have no neighbours on) some path connecting the remaining two vertices of the quadruple, or are connected by some path missed by the remaining two vertices. This is akin to the notion of asteroidal triple used in the classical characterization of interval graphs by Lekkerkerker and Boland. We show that a circular-arc graph cannot have a blocking quadruple. We also observe that the absence of blocking quadruples is not in general sufficient to guarantee that a graph is a circular-arc graph. Nonetheless, it can be shown to be sufficient for some special classes of graphs, such as those investigated by Bonomo et al. In this note, we focus on chordal graphs, and study the relationship between the structure of chordal graphs and the presence/absence of blocking quadruples. Our contribution is two-fold. Firstly, we provide a forbidden induced subgraph characterization of chordal graphs without blocking quadruples. In particular, we observe that all the forbidden subgraphs are variants of the subgraphs forbidden for interval graphs. Secondly, we show that the absence of blocking quadruples is sufficient to guarantee that a chordal graph with no independent set of size five is a circular-arc graph. In our proof we use a novel geometric approach, constructing a circular-arc representation by traversing around a carefully chosen clique tree.
A chord diagram expansion coming from some Dyson-Schwinger equations
Published
• View Publication
• BIB
We give an expression for the solution to propagator-type Dyson-Schwinger equations with one primitive at 1 loop as an expansion over rooted connected chord diagrams. Along the way we give a refinement of a classical recurrence of rooted connected chord diagrams, and a representation in terms of binary trees.
Two Layer 3D Floor Planning
Published
• View Publication
• BIB
A 3D floor plan is a non-overlapping arrangement of blocks within a large box. Floor planning is a central notion in chip-design, and with recent advances in 3D integrated circuits, understanding 3D floor plans has become important. In this paper, we study so called mosaic 3D floor plans where the interior blocks partition the host box under a topological equivalence. We give representations which give an upper bound on the number of general 3D floor plans, and further consider the number of two layer mosaic floorplans. We prove that the number of two layer mosaic floor plans is $n^{(1+o(1))n/3}$. This contrasts with previous work which has studied `corner free' mosaic floor plans, where the number is just exponential. The upper bound is by giving a representation, while the lower bound is a randomized construction.
A stability result for balanced dictatorships in $S_{n}$
Published
• View Publication
• BIB
We prove that a balanced Boolean function on $S_{n}$ whose Fourier transform is highly concentrated on the first two irreducible representations of $S_{n}$, is close in structure to a dictatorship, a function which is determined by the image or pre-image of a single element. As a corollary, we obtain a stability result concerning extremal isoperimetric sets in the Cayley graph on $S_{n}$ generated by the transpositions. Our proof works in the case where the expectation of the function is bounded away from $0$ and $1$. In contrast, [Ellis, D., Filmus, Y., Friedgut, E., A quasi-stability result for dictatorships in $S_{n}$, Combinatorica 35 (2015), pp. 573-618] deals with Boolean functions of expectation O(1/n) whose Fourier transform is highly concentrated on the first two irreducible representations of $S_{n}$. These need not be close to dictatorships; rather, they must be close to a union of a constant number of cosets of point-stabilizers.
Spectral Properties of Descent Algebra Elements
Published
• View Publication
• BIB
The descent algebra of finite Coxeter groups is studied by many famous mathematicians like Bergeron, Brown, Howlett, or Reutenauer. Blessenohl, Hohlweg, and Schocker, for example, proved a symmetry property of the descent algebra, when it is linked to the representation theory of its Coxeter group. The interest is particularly showed for the descent algebra of symmetric group. Thibon determined the eigenvalues and their multiplicities of the action on the group algebra of symmetric group of the descent algebra element, which is the sum over all permutations weighted by q^maj. And even the author diagonalized the matrix of the action of the descent algebra element, which is the sum over all permutations weighted by the new introduced statistic desX. In this article, we give a more general result by determining the eigenvalues and their multiplicities of the action on the group algebra of finite Coxeter group of an element of its descent algebra.
The Veronese Surface in PG(5,3) and Witt's 5-$(12,6,1$ Design
Published in J. Comb. Theory Ser. A 84 (1998), 87-94
• View Publication
• BIB
A conic of the Veronese surface in PG(5,3) is a quadrangle. If one such quadrangle is replaced with its diagonal triangle, then one obtains a point model $K$ for Witt's 5-$(12,6,1)$ design, the blocks being the hyperplane sections containing more than three (actually six) points of $K$. As such a point model is projectively unique, the present construction yields an easy coordinate-free approach to some results obtained independently by H.S.M. Coxeter and G. Pellegrino, including a projective representation of the Mathieu group $M_{12}$ in PG(5,3).
FI-modules over Noetherian rings
Published in Geom. Topol. 18 (2014) 2951-2984
• View Publication
• BIB
FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups.
Extended Orbits-Fixedpoints Relations
I extend further, using new proofs, two generalizations of an earlier orbits-fixed-points theorem, which was restricted to group action of the symmetric group. The extended equality makes use of the Stirling numbers of the second kind. An illustration using Mathieu group M24 is discussed. Possible applications using tensor products of matrix permutation representations is indicated.
Combinatorial and Geometric Properties of Planar Laman Graphs
Published
• View Publication
• BIB
Laman graphs naturally arise in structural mechanics and rigidity theory. Specifically, they characterize minimally rigid planar bar-and-joint systems which are frequently needed in robotics, as well as in molecular chemistry and polymer physics. We introduce three new combinatorial structures for planar Laman graphs: angular structures, angle labelings, and edge labelings. The latter two structures are related to Schnyder realizers for maximally planar graphs. We prove that planar Laman graphs are exactly the class of graphs that have an angular structure that is a tree, called angular tree, and that every angular tree has a corresponding angle labeling and edge labeling.
Using a combination of these powerful combinatorial structures, we show that every planar Laman graph has an L-contact representation, that is, planar Laman graphs are contact graphs of axis-aligned L-shapes. Moreover, we show that planar Laman graphs and their subgraphs are the only graphs that can be represented this way.
We present efficient algorithms that compute, for every planar Laman graph G, an angular tree, angle labeling, edge labeling, and finally an L-contact representation of G. The overall running time is O(n^2), where n is the number of vertices of G, and the L-contact representation is realized on the n x n grid.