representation ↗ reference
4143 papers tagged with this keyword
Bidimensionality and Geometric Graphs
Published
• View Publication
• BIB
In this paper we use several of the key ideas from Bidimensionality to give a new generic approach to design EPTASs and subexponential time parameterized algorithms for problems on classes of graphs which are not minor closed, but instead exhibit a geometric structure. In particular we present EPTASs and subexponential time parameterized algorithms for Feedback Vertex Set, Vertex Cover, Connected Vertex Cover, Diamond Hitting Set, on map graphs and unit disk graphs, and for Cycle Packing and Minimum-Vertex Feedback Edge Set on unit disk graphs. Our results are based on the recent decomposition theorems proved by Fomin et al [SODA 2011], and our algorithms work directly on the input graph. Thus it is not necessary to compute the geometric representations of the input graph. To the best of our knowledge, these results are previously unknown, with the exception of the EPTAS and a subexponential time parameterized algorithm on unit disk graphs for Vertex Cover, which were obtained by Marx [ESA 2005] and Alber and Fiala [J. Algorithms 2004], respectively.
We proceed to show that our approach can not be extended in its full generality to more general classes of geometric graphs, such as intersection graphs of unit balls in R^d, d >= 3. Specifically we prove that Feedback Vertex Set on unit-ball graphs in R^3 neither admits PTASs unless P=NP, nor subexponential time algorithms unless the Exponential Time Hypothesis fails. Additionally, we show that the decomposition theorems which our approach is based on fail for disk graphs and that therefore any extension of our results to disk graphs would require new algorithmic ideas. On the other hand, we prove that our EPTASs and subexponential time algorithms for Vertex Cover and Connected Vertex Cover carry over both to disk graphs and to unit-ball graphs in R^d for every fixed d.
Categorification of the Fibonacci numbers using representations of quivers
In a previous paper we have presented a partition formula for the even-index Fibonacci numbers using the preprojective representations of the 3-Kronecker quiver and its universal cover, the 3-regular star. Now we deal in a similar way with the odd-index Fibonacci numbers. The Fibonacci modules introduced here provide a convenient categorification of the Fibonacci numbers.
Entropy of Schur-Weyl Measures
Published
• View Publication
• BIB
Relative dimensions of isotypic components of N-th order tensor representations of the symmetric group on n letters give a Plancherel-type measure on the space of Young diagrams with n cells and at most N rows. It was conjectured by G. Olshanski that dimensions of isotypic components of tensor representations of finite symmetric groups, after appropriate normalization, converge to a constant with respect to this family of Plancherel-type measures in the limit when N/sqrt{n} converges to a constant. The main result of the paper is the proof of this conjecture.
On Measures on Partitions Arising in Harmonic Analysis for Linear and Projective Characters of the Infinite Symmetric Group
The z-measures on partitions originated from the problem of harmonic analysis of linear representations of the infinite symmetric group in the works of Kerov, Olshanski and Vershik (1993, 2004). A similar family corresponding to projective representations was introduced by Borodin (1997). The latter measures live on strict partitions (i.e., partitions with distinct parts), and the z-measures are supported by all partitions. In this note we describe some combinatorial relations between these two families of measures using the well-known doubling of shifted Young diagrams.
Motzkin Algebras
Published
• View Publication
• BIB
We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.
Unitary representations of cyclotomic rational Cherednik algebras
Published
• View Publication
• BIB
We classify the irreducible unitary modules in category O for the rational Cherednik algebras of type G(r,1,n) and give explicit combinatorial formulas for their graded characters. More precisely, we produce a combinatorial algorithm determining, for each r-partition of n, the closed semi-linear set of parameters for which the contravariant form on the irreducible representation with the given r-partition as lowest weight is positive definite. We use this algorithm to give a closed form answer for the Cherednik algebra of the symmetric group (recovering a result of Etingof-Stoica and the author) and the Weyl groups of classical type.
On the number of hypercubic bipartitions of an integer
Published
• View Publication
• BIB
We revisit a well-known divide-and-conquer maximin recurrence $f(n) = \max(\min(n_1,n_2) + f(n_1) + f(n_2))$ where the maximum is taken over all proper bipartitions $n = n_1+n_2$, and we present a new characterization of the pairs $(n_1,n_2)$ summing to $n$ that yield the maximum $f(n) = \min(n_1,n_2) + f(n_1) + f(n_2)$. This new characterization allows us, for a given $n\in\nats$, to determine the number $h(n)$ of these bipartitions that yield the said maximum $f(n)$. We present recursive formulae for $h(n)$, a generating function $h(x)$, and an explicit formula for $h(n)$ in terms of a special representation of $n$.
Chromatic quasisymmetric functions and Hessenberg varieties
Published
• View Publication
• BIB
We discuss three distinct topics of independent interest; one in enumerative combinatorics, one in symmetric function theory, and one in algebraic geometry. The topic in enumerative combinatorics concerns a q-analog of a generalization of the Eulerian polynomials, the one in symmetric function theory deals with a refinement of the chromatic symmetric functions of Stanley, and the one in algebraic geometry deals with Tymoczko's representation of the symmetric group on the cohomology of the regular semisimple Hessenberg variety of type A. Our purpose is to explore some remarkable connections between these topics.
Representing some non-representable matroids
Published in Adv. in Appl. Math. 50 (2013), no. 1, 228-242
• View Publication
• BIB
We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field.
Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field.
Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class.
Quantum cohomology and the Satake isomorphism
We prove that the geometric Satake correspondence admits quantum corrections for minuscule Grassmannians of Dynkin types $A$ and $D$. We find, as a corollary, that the quantum connection of a spinor variety $OG(n,2n)$ can be obtained as the half-spinorial representation of that of the quadric $Q_{2n-2}$. We view the (quantum) cohomology of these Grassmannians as endowed simultaneously with two structures, one of a module over the algebra of symmetric functions, and the other, of a module over the Langlands dual Lie algebra, and investigate the interaction between the two. In particular, we study primitive classes $y$ in the cohomology of a minuscule Grassmannian $G/P$ that are characterized by the condition that the operator of cup product by $y$ is in the image of the Lie algebra action. Our main result states that quantum correction preserves primitivity. We provide a quantum counterpart to a result obtained by V. Ginzburg in the classical setting by giving explicit formulas for the quantum corrections to homogeneous primitive elements.
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.