representation ↗ reference
4053 papers tagged with this keyword
Counting Generating Invariants Under Semisimple Group and Torus Actions
Although degree bounds and algorithms for the generators of various invariant rings have been known for decades, little is known about the cardinality of minimal generating sets. Estimates of such would provide lower bounds for the runtime of algorithms that compute invariants. Fix a semisimple linear algebraic group, choose an irreducible representation of highest weight w, and consider the irreducible representations of highest weight nw. As n goes to infinity, the cardinality of a minimal set of generating invariants grows faster than any polynomial in n. On the other hand, combinatorial methods yield sub-exponential upper bounds for the growth of generating sets for torus invariants on the binary forms.
Quiver Grassmannians and degenerate flag varieties
Published in ALGEBRA & NUMBER THEORY, vol. 6, p. 165-194, 2012
• View Publication
• BIB
Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cellular decomposition. For type A quivers explicit formulas for the Euler characteristic (the median Genocchi numbers) and the Poincare polynomials are derived.
On the classification of Hermitian self-dual additive codes over GF(9)
Published in IEEE Trans. Inform. Theory 58(8), pp. 5500-5511, 2012
• View Publication
• BIB
Additive codes over GF(9) that are self-dual with respect to the Hermitian trace inner product have a natural application in quantum information theory, where they correspond to ternary quantum error-correcting codes. However, these codes have so far received far less interest from coding theorists than self-dual additive codes over GF(4), which correspond to binary quantum codes. Self-dual additive codes over GF(9) have been classified up to length 8, and in this paper we extend the complete classification to codes of length 9 and 10. The classification is obtained by using a new algorithm that combines two graph representations of self-dual additive codes. The search space is first reduced by the fact that every code can be mapped to a weighted graph, and a different graph is then introduced that transforms the problem of code equivalence into a problem of graph isomorphism. By an extension technique, we are able to classify all optimal codes of length 11 and 12. There are 56,005,876 (11,3^11,5) codes and 6493 (12,3^12,6) codes. We also find the smallest codes with trivial automorphism group.
Combinatorial expansions in K-theoretic bases
Published
• View Publication
• BIB
We study the class $\mathcal C$ of symmetric functions whose coefficients in the Schur basis can be described by generating functions for sets of tableaux with fixed shape. Included in this class are the Hall-Littlewood polynomials, $k$-atoms, and Stanley symmetric functions; functions whose Schur coefficients encode combinatorial, representation theoretic and geometric information. While Schur functions represent the cohomology of the Grassmannian variety of $GL_n$, Grothendieck functions $\{G_λ\}$ represent the $K$-theory of the same space. In this paper, we give a combinatorial description of the coefficients when any element of $\mathcal C$ is expanded in the $G$-basis or the basis dual to $\{G_λ\}$.
On the adjoint representation of $\mathfrak{sl}_n$ and the Fibonacci numbers
Published
• View Publication
• BIB
We decompose the adjoint representation of $\mathfrak{sl}_{r+1}=\mathfrak {sl}_{r+1}(\mathbb C)$ by a purely combinatorial approach based on the introduction of a certain subset of the Weyl group called the \emph{Weyl alternation set} associated to a pair of dominant integral weights. The cardinality of the Weyl alternation set associated to the highest root and zero weight of $\mathfrak {sl}_{r+1}$ is given by the $r^{th}$ Fibonacci number. We then obtain the exponents of $\mathfrak {sl}_{r+1}$ from this point of view.
A New Approach to Generalized Fractional Derivatives
Published in Bulletin of Mathematical Analysis and Applications, Vol 6, Issue 4, 2014, p.1-15
• View Publication
• BIB
The author \mbox{(Appl. Math. Comput. 218(3):860-865, 2011)} introduced a new fractional integral operator given by, \[ \big({}^ρ\mathcal{I}^α_{a+}f\big)(x) = \frac{ρ^{1- α}}{Γ(α)} \int^x_a \frac{τ^{ρ-1} f(τ) }{(x^ρ- τ^ρ)^{1-α}}\, dτ, \] which generalizes the well-known Riemann-Liouville and the Hadamard fractional integrals. In this paper we present a new fractional derivative which generalizes the familiar Riemann-Liouville and the Hadamard fractional derivatives to a single form. We also obtain two representations of the generalized derivative in question. An example is given to illustrate the results.
Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number
Published in IEEE Transactions on Information Theory, vol. 58, no. 4, April 2012
• View Publication
• BIB
The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $χ_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $χ(G)$ and the minimum dimension of orthogonal representations $ξ(G)$. It is known that $ξ(G) \leq χ_q^{(1)}(G) \leq χ(G)$. We answer three open questions about these relations: we give a necessary and sufficient condition to have $ξ(G) = χ_q^{(1)}(G)$, we exhibit a class of graphs such that $ξ(G) < χ_q^{(1)}(G)$, and we give a necessary and sufficient condition to have $χ_q^{(1)}(G) < χ(G)$. Our main tools are Kochen-Specker sets, collections of vectors with a traditionally important role in the study of noncontextuality of physical theories, and more recently in the quantification of quantum zero-error capacities. Finally, as a corollary of our results and a result by Avis, Hasegawa, Kikuchi, and Sasaki on the quantum chromatic number, we give a family of Kochen-Specker sets of growing dimension.
Setwise intersecting families of permutations
Published
• View Publication
• BIB
A family of permutations $A \subset S_n$ is said to be \emph{$t$-set-intersecting} if for any two permutations $σ, π\in A$, there exists a $t$-set $x$ whose image is the same under both permutations, i.e. $σ(x)=π(x)$. We prove that if $n$ is sufficiently large depending on $t$, the largest $t$-set-intersecting families of permutations in $S_n$ are cosets of stabilizers of $t$-sets. The $t=2$ case of this was conjectured by János Körner. It can be seen as a variant of the Deza-Frankl conjecture, proved in [4]. Our proof uses similar techniques to those of [4], namely, eigenvalue methods, together with the representation theory of the symmetric group, but the combinatorial part of the proof is harder.
New Formulas and Conjectures for the Nabla Operator
The operator nabla, introduced by Garsia and the author, plays a crucial role in many aspect of the study of diagonal harmonics. Besides giving several new formulas involving this operator, we show how one is lead to representation theoretic explanations for conjectures about the effect of this operator on Schur functions.
Cohomological and Combinatorial Methods in the Study of Symbolic Powers and Equations defining Varieties
In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior during a Groebner deformation and the arithmetical rank of certain varieties. In the third chapter, we will investigate the relations between the minors of a fixed size of a generic matrix by using tools from the representation theory of the general linear group (the results of this chapter will appear in a joint paper with Bruns and Conca). In the last chapter we will use combinatorial methods to study the Cohen-Macaulay property of the symbolic powers of Stanley-Reisner ideals. In the thesis are included five appendixes with some basic needed facts and a preliminary chapter introducing to local cohomology.
Cubicity, Degeneracy, and Crossing Number
Published
• View Publication
• BIB
A $k$-box $B=(R_1,...,R_k)$, where each $R_i$ is a closed interval on the real line, is defined to be the Cartesian product $R_1\times R_2\times ...\times R_k$. If each $R_i$ is a unit length interval, we call $B$ a $k$-cube. Boxicity of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$ is an intersection graph of $k$-boxes. Similarly, the cubicity of $G$, denoted as $\cubi(G)$, is the minimum integer $k$ such that $G$ is an intersection graph of $k$-cubes.
It was shown in [L. Sunil Chandran, Mathew C. Francis, and Naveen Sivadasan: Representing graphs as the intersection of axis-parallel cubes. MCDES-2008, IISc Centenary Conference, available at CoRR, abs/cs/ 0607092, 2006.] that, for a graph $G$ with maximum degree $Δ$, $\cubi(G)\leq \lceil 4(Δ+1)\log n\rceil$. In this paper, we show that, for a $k$-degenerate graph $G$, $\cubi(G) \leq (k+2) \lceil 2e \log n \rceil$. Since $k$ is at most $Δ$ and can be much lower, this clearly is a stronger result. This bound is tight. We also give an efficient deterministic algorithm that runs in $O(n^2k)$ time to output a $8k(\lceil 2.42 \log n\rceil + 1)$ dimensional cube representation for $G$.
An important consequence of the above result is that if the crossing number of a graph $G$ is $t$, then $\boxi(G)$ is $O(t^{1/4}{\lceil\log t\rceil}^{3/4})$ . This bound is tight up to a factor of $O((\log t)^{1/4})$. We also show that, if $G$ has $n$ vertices, then $\cubi(G)$ is $O(\log n + t^{1/4}\log t)$.
Using our bound for the cubicity of $k$-degenerate graphs we show that cubicity of almost all graphs in $\mathcal{G}(n,m)$ model is $O(d_{av}\log n)$, where $d_{av}$ denotes the average degree of the graph under consideration.
Double Catalan monoids
Published in J. Algebraic Combin. 36 (2012), no. 3, 333-354
• View Publication
• BIB
In this paper we define and study what we call the double Catalan monoid. This monoid is the image of a natural map from the 0-Hecke monoid to the monoid of binary relations. We show that the double Catalan monoid provides an algebraization of the (combinatorial) set of 4321-avoiding permutations and relate its combinatorics to various off-shoots of both the combinatorics of Catalan numbers and the combinatorics of permutations. In particular, we give an algebraic interpretation of the first derivative of the Kreweras involution on Dyck paths, of 4321-avoiding involutions and of recent results of Barnabei {\em et al.} on admissible pairs of Dyck paths. We compute a presentation and determine the minimal dimension of an effective representation for the double Catalan monoid. We also determine the minimal dimension of an effective representation for the 0-Hecke monoid.
On the derivative cones of polyhedral cones
Published
• View Publication
• BIB
Hyperbolic polynomials elegantly encode a rich class of convex cones that includes polyhedral and spectrahedral cones. Hyperbolic polynomials are closed under taking polars and the corresponding cones, the derivative cones, yield relaxations for the associated optimization problem and exhibit interesting facial properties. While it is unknown if every hyperbolicity cone is a section of the positive semidefinite cone, it is natural to ask whether spectrahedral cones are closed under taking polars. In this note we give an affirmative answer for polyhedral cones by exhibiting an explicit spectrahedral representation for the first derivative cone. We also proof that higher polars do not have an determinantal representation which shows that the problem for general spectrahedral cones is considerably more difficult.
Cluster-additive functions on stable translation quivers
Published
• View Publication
• BIB
Additive functions on translation quivers have played an important role in the representation theory of finite dimensional algebras, the most prominent ones are the hammock functions introduced by S. Brenner. When dealing with cluster categories (and cluster-tilted algebras), one should look at a corresponding class of functions defined on stable translation quivers, namely the cluster-additive ones. We conjecture that the cluster-additive functions on a stable translation quiver of Dynkin type A_n, D_n, E_6, E_7, E_8 are non-negative linear combinations of cluster-hammock functions (with index set a tilting set). The present paper provides a first study of cluster-additive functions and gives a proof of the conjecture in the case A_n.
Stacked directed animals and multi-directed animals defined without using heaps of pieces
Stacked directed animals and multi-directed animals are two lattice models defined by Bousquet-Mélou and Rechnitzer in 2002. The original definitions of those models involve heaps of pieces, i.e., some geometric representation of partially commutative monoids. The object of this writing is to define stacked directed animals and multi-directed animals in such a way that heaps of pieces are not involved. Our alternative definitions are equivalent to Bousquet-Mélou and Rechnitzer's original ones.
Topological representations of matroid maps
Published
• View Publication
• BIB
The Topological Representation Theorem for (oriented) matroids states that every (oriented) matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a homotopy sphere. In this paper, we use a construction of Engström to show that structure-preserving maps between matroids induce topological mappings between their representations; a result previously known only in the oriented case. Specifically, we show that weak maps induce continuous maps and that the process is a functor from the category of matroids with weak maps to the homotopy category of topological spaces. We also give a new and conceptual proof of a result regarding the Whitney numbers of the first kind of a matroid.
An application of global Weyl modules of $\lie{sl}_{n+1}[t]$ to invariant theory
Published
• View Publication
• BIB
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
Cell modules and canonical basic sets for Hecke algebras from Cherednik algebras
Published
• View Publication
• BIB
In this note we are interested in labelling the irreducible representations of non-semisimple specialisations of Hecke algebras of complex reflection groups. We will use category O for the rational Cherednik algebra and the KZ functor together with elementary algebraic and combinatorial arguments to construct "canonical basic sets" in many cases. We will also show that the images of the standard modules through the KZ functor agree with the appropriate cell modules, whenever the Hecke algebra has a cellular structure.
Some new series for $1/π$ and related congruences
Published in Nanjing Univ. J. Math. Biquarterly 31(2014), no.2, 150-164
• Search Publication
In this paper we prove some new series for $1/π$ as well as related congruences. We also raise several new kinds of series for $1/π$ and present some related conjectural congruences involving representations of primes by binary quadratic forms.
On polynomial representation functions for multilinear forms
Given an infinite sequence of positive integers $\cA$, we prove that for every nonnegative integer $k$ the number of solutions of the equation $n=a_1+...+a_k$, $a_1,\,..., a_k\in \cA$, is not constant for $n$ large enough. This result is a corollary of our main theorem, which partially answers a question of Sárközy and Sós on representation functions for multilinear forms. Additionally, we obtain an Erdős-Fuchs type result for a wide variety of representation functions.