representation ↗ reference
4143 papers tagged with this keyword
Lattice Paths, Young Tableaux, and Weight Multiplicities
Published
• View Publication
• BIB
For $\ell \geq 1$ and $k \geq 2$, we consider certain admissible sequences of $k-1$ lattice paths in a colored $\ell \times \ell$ square. We show that the number of such admissible sequences of lattice paths is given by the sum of squares of the number of standard Young tableaux of partitions of $\ell$ with height $\leq k$, which is also the number of $(k+1)k\cdots21$-avoiding permutations of $\{1, 2, \ldots, \ell\}$. Finally, we apply this result to the representation theory of the affine Lie algebra $\widehat{sl}(n)$ and show that this quantity gives the multiplicity of certain maximal dominant weights in the irreducible module $V(kΛ_0)$.
Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry
Published
• View Publication
• BIB
In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent paper, the authors established a close connection between algebraic and combinatorial invariants of a left regular band by showing that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band.
The purpose of the present monograph is to further develop and deepen the connection between left regular bands and poset topology. This allows us to compute finite projective resolutions of all simple modules of left regular band algebras over fields and much more. In the process, we are led to define the class of CW left regular bands as the class of left regular bands whose associated posets are the face posets of regular CW complexes. Most of the examples that have arisen in the literature belong to this class. A new and important class of examples is a left regular band structure on the face poset of a CAT(0) cube complex. Also, the recently introduced notion of a COM (complex of oriented matroids or conditional oriented matroid) fits nicely into our setting and includes CAT(0) cube complexes and certain more general CAT(0) zonotopal complexes. A fairly complete picture of the representation theory for CW left regular bands is obtained.
A representation of antimatroids by Horn rules and its application to educational systems
Published in Journal of Mathematical Psychology 77 (2017), 82-93
• View Publication
• BIB
We study a representation of an antimatroid by Horn rules, motivated by its recent application to computer-aided educational systems. We associate any set $\mathcal{R}$ of Horn rules with the unique maximal antimatroid $\mathcal{A}(\mathcal{R})$ that is contained in the union-closed family $\mathcal{K}(\mathcal{R})$ naturally determined by ${\cal R}$. We address algorithmic and Boolean function theoretic aspects on the association ${\cal R} \mapsto \mathcal{A}(\mathcal{R})$, where ${\cal R}$ is viewed as the input. We present linear time algorithms to solve the membership problem and the inference problem for ${\cal A}({\cal R})$. We also provide efficient algorithms for generating all members and all implicates of ${\cal A}({\cal R})$. We show that this representation is essentially equivalent to the Korte-Lovász representation of antimatroids by rooted sets. Based on the equivalence, we provide a quadratic time algorithm to construct the uniquely-determined minimal representation. % These results have potential applications to computer-aided educational systems, where an antimatroid is used as a model of the space of possible knowledge states of learners, and is constructed by giving Horn queries to a human expert.
Tensor Powers of the Defining Representation of $S_n$
Published in Journal of Theoretical Probability, 30:3(2017), 1191-1199
• View Publication
• BIB
We give a decomposition formula for tensor powers of the defining representation of $S_n$ and apply it to bound the mixing time of a Markov chain on $S_n$.
Colored triangulations of arbitrary dimensions are stuffed Walsh maps
Published in The Electronic Journal of Combinatorics, 24(1)(2017), #P1.56
• View Publication
• BIB
Regular edge-colored graphs encode colored triangulations of pseudo-manifolds. Here we study families of edge-colored graphs built from a finite but arbitrary set of building blocks, which extend the notion of $p$-angulations to arbitrary dimensions. We prove the existence of a bijection between any such family and some colored combinatorial maps which we call stuffed Walsh maps. Those maps generalize Walsh's representation of hypermaps as bipartite maps, by replacing the vertices which correspond to hyperedges with non-properly-edge-colored maps. This shows the equivalence of tensor models with multi-trace, multi-matrix models by extending the intermediate field method perturbatively to any model. We further use the bijection to study the graphs which maximize the number of faces at fixed number of vertices and provide examples where the corresponding stuffed Walsh maps can be completely characterized.
Differences of subgroups in subgroups
Published
• View Publication
• BIB
We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \ll |\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a sufficiently large subgroup G with |G| \ll p^{1/2-eps} there is no representation G as G = A+B, where A is another subgroup, and B is an arbitrary set, |A|,|B|>1. Finally, we study the number of collinear triples containing in a set of f_p and prove a "dual" sum-products estimate.
Incidence Geometry in a Weyl Chamber I: $GL_n$
Published
• View Publication
• BIB
We study the central hyperplane arrangement whose hyperplanes are the vanishing loci of the weights of the first and the second fundamental representations of $\mathfrak{gl}_n$ restricted to the dual fundamental Weyl chamber. We obtain generating functions that count flats and faces of a given dimension. This counting is interpreted in physics as the enumeration of the phases of the Coulomb and mixed Coulomb-Higgs branches of a five dimensional gauge theory with 8 supercharges in presence of hypermultiplets transforming in the fundamental and antisymmetric representation of a U(n) gauge group as described by the Intriligator-Morrison-Seiberg superpotential.
The Unit Bar Visibility Number of a Graph
Published
• View Publication
• BIB
A \textit{$t$-unit-bar representation} of a graph $G$ is an assignment of sets of at most $t$ horizontal unit-length segments in the plane to the vertices of $G$ so that (1) all of the segments are pairwise nonintersecting, and (2) two vertices $x$ and $y$ are adjacent if and only if there is a vertical channel of positive width connecting a segment assigned to $x$ and a segment assigned to $y$ that intersects no other segment. The \textit{unit bar visibility number} of a graph $G$, denoted $ub(G)$, is the minimum $t$ such that $G$ has a $t$-unit-bar visibility representation. Our results include a linear time algorithm that determines $ub(T)$ when $T$ is a tree, bounds on $ub(K_{m,n})$ that determine $ub(K_{m,n})$ asymptotically when $n$ and $m$ are asymptotically equal, and bounds on $ub(K_n)$ that determine $ub(K_n)$ exactly when $n\equiv 1,2\pmod 6$.
A Family of the Zeckendorf Theorem Related Identities
Published
• View Publication
• BIB
In this paper we present a family of identities for recursive sequences arising from a second order recurrence relation, that gives instances of Zeckendorf representation. We prove these results using a special case of an universal property of the recursive sequences. In particular cases we also establish a direct bijection. Besides, we prove further equalities that provide a representation of the sum of $(r+1)$-st and $(r-1)$-st Fibonacci number as the sum of powers of the golden ratio. Similarly, we show a class of natural numbers represented as the sum of powers of the silver ratio.
Marked chain-order polytopes
Published in European Journal of Combinatorics, Volume 58, November 2016, Pages 267-282
• View Publication
• BIB
We introduce in this paper the marked chain-order polytopes associated to a marked poset, generalizing the marked chain polytopes and marked order polytopes by putting them as extremal cases in an Ehrhart equivalent family. Some combinatorial properties of these polytopes are studied. This work is motivated by the framework of PBW degenerations in representation theory of Lie algebras.
Algebraic structures on cohomology of configuration spaces of manifolds with flows
Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polynomiality results for the cohomology groups H^i(PConf^n M, k). In the case of unordered configuration space Conf^n M = (PConf^n M)/S_n and rational coefficients, we show that cohomology dimension in fixed degree is nondecreasing.
Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures
Published in J. Combin. Theory Ser. A 160 (2018), 217-260
• View Publication
• BIB
Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.
Even-integer continued fractions and the Farey tree
Published
• View Publication
• BIB
Singerman introduced to the theory of maps on surfaces an object that is a universal cover for any map. This object is a tessellation of the hyperbolic plane together with a certain subset of the ideal boundary. The 1-skeleton of this tessellation comprises the edges of an infinite tree whose vertices belong to the ideal boundary. Here we show how this tree can be used to give a beautiful geometric representation of even-integer continued fractions. We use this representation to prove some of the fundamental theorems on even-integer continued fractions that are already known, and we also prove some new theorems with this technique, which have familiar counterparts in the theory of regular continued fractions.
The boundary value problem for Laplacian on differential forms and conformally Einstein infinity
We completely resolve the boundary value problem for differential forms and conformally Einstein infinity in terms of the dual Hahn polynomials. Consequently, we produce explicit formulas for the Branson-Gover operators on Einstein manifolds and prove their representation as a product of second order operators. This leads to an explicit description of $Q$-curvature and gauge companion operators on differential forms.
Structural Theory of 2-d Adinkras
Published
• View Publication
• BIB
Adinkras are combinatorial objects developed to study 1-dimensional supersymmetry representations. Recently, 2-d Adinkras have been developed to study 2-dimensional supersymmetry. In this paper, we classify all 2-d Adinkras, confirming a conjecture of T. Hübsch. Along the way, we obtain other structural results, including a simple characterization of Hübsch's even-split doubly even code.
Derangements in finite classical groups for actions related to extension field and imprimitive subgroups and the solution of the Boston-Shalev conjecture
Published
• View Publication
• BIB
This is the fourth paper in a series. We prove a conjecture made independently by Boston et al and Shalev. The conjecture asserts that there is an absolute positive constant delta such that if G is a finite simple group acting transitively on a set of size n > 1, then the proportion of derangements in G is greater than delta. We show that with possibly finitely many exceptions, one can take delta = .016. Indeed, we prove much stronger results showing that for many actions, the proportion of derangements goes to 1 as n increases and prove similar results for families of permutation representations.
On the Partition Dimension of Circulant Graphs
Published
• View Publication
• BIB
For a vertex $v$ of a connected graph $G(V,E)$ and a subset $S$ of $V$, the distance between $v$ and $S$ is defined by $d(v,S)=min\{d(v,x):x \in S \}.$ For an ordered \emph{k}-partition $Π=\{S_1,S_2\ldots S_k\}$ of $V$, the representation of $v$ with respect to $Π$ is the $k$-vector $r(v|Π) =(d(v,S_1),d(v,S_2)\ldots d(v,S_k)).$ The $k$-partition $Π$ is a resolving partition if the $k$-vectors $r(v|Π)$, $v \in V$ are distinct. The minimum $k$ for which there is a resolving $k$-partition of $V$ is the \emph{partition dimension} of $G$. Salman et al.{\rm\cite{SaJaCh12}} claimed that \emph{partition dimension} of a class of circulant graphs $C(n,\pm \{1,2\})$, for all even $n\geq6$ is 4 and it is 3 when $n$ is odd. In this paper we obtain the partition dimension of circulant graphs $G=C(n, \pm \{1,2 \ldots j\}), 1\leq j < \lfloor \frac{n}{2}\rfloor$, $n \geq(j+k)(j+1)$, $n \equiv \ k \ mod \ (2j)$ and $k$ and $2j$ are co-primes as, \begin{eqnarray*} pd(G) &=& j+1 \ \ \ \ \ \ \ when \ j \ \ is \ even \ and\ all \ k=2m-1, 1 \leq m \leq j \\ pd(G)&=& j+1\ \ \ \ \ \ \ when \ j \ \ is \ odd \ and\ all \ k=2m, 1 \leq m \leq j. \end{eqnarray*}
Polytopes of eigensteps of finite equal norm tight frames
Published in Discrete Comput. Geom. (2016) 56: 727
• View Publication
• BIB
Hilbert space frames generalize orthonormal bases to allow redundancy in representations of vectors while keeping good reconstruction properties. A frame comes with an associated frame operator encoding essential properties of the frame. We study a polytope that arises in an algorithm for constructing all finite frames with given lengths of frame vectors and spectrum of the frame operator, which is a Gelfand-Tsetlin polytope. For equal norm tight frames, we give a non-redundant description of the polytope in terms of equations and inequalities. From this we obtain the dimension and number of facets of the polytope.
Existence of $u$-representation of graphs
Published
• View Publication
• BIB
Recently, Jones et al. introduced the study of $u$-representable graphs, where $u$ is a word over $\{1,2\}$ containing at least one 1. The notion of a $u$-representable graph is a far-reaching generalization of the notion of a word-representable graph studied in the literature in a series of papers.
Jones et al. have shown that any graph is $11\cdots 1$-representable assuming that the number of 1s is at least three, while the class of 12-rerpesentable graphs is properly contained in the class of comparability graphs, which, in turn, is properly contained in the class of word-representable graphs corresponding to 11-representable graphs. Further studies in this direction were conducted by Nabawanda, who has shown, in particular, that the class of 112-representable graphs is not included in the class of word-representable graphs.
Jones et al. raised a question on classification of $u$-representable graphs at least for small values of $u$. In this paper we show that if $u$ is of length at least 3 then any graph is $u$-representable. This rather unexpected result shows that from existence of representation point of view there are only two interesting non-equivalent cases in the theory of $u$-representable graphs, namely, those of $u=11$ and $u=12$.
Symmetry in Turán Sums of Squares Polynomials from Flag Algebras
Published
• View Publication
• BIB
Turán problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on semidefinite programming to find sums of squares that establish edge density inequalities in Turán problems. Working with polynomial analogs of the flag algebra entities, we prove that such sums of squares created by flag algebras can be retrieved from a restricted version of the symmetry-adapted semidefinite program proposed by Gatermann and Parrilo. This involves using the representation theory of the symmetric group for finding succinct sums of squares expressions for invariant polynomials. The connection reveals several combinatorial and structural properties of flag algebra sums of squares, and offers new tools for Turán and other related problems.