Related papers: Hive-type polytopes for quiver multiplicities and …

In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite…

In the polytope membership problem, a convex polytope $K$ in $\mathbb{R}^d$ is given, and the objective is to preprocess $K$ into a data structure so that, given any query point $q \in \mathbb{R}^d$, it is possible to determine efficiently…

The $k$-tiling problem for a convex polytope $P$ is the problem of covering $\mathbb R^d$ with translates of $P$ using a discrete multiset $\Lambda$ of translation vectors, such that every point in $\mathbb R^d$ is covered exactly $k$…

Let $\beta \equiv \{ \beta_\mathbf{i} \}_{\mathbf{i} \in \mathbb{Z}_+^d}$ be a $d$-dimensional multisequence. Curto and Fialkow, have shown that if the infinite moment matrix $M(\beta)$ is finite-rank positive semidefinite, then $\beta$ has…

For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $\Delta_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $\Delta_Q^2$ is graded by…

Consider a partial flag variety $X$ which is not a grassmaninan. Consider also its cohomology ring ${\rm H}^*(X,\ZZ)$ endowed with the base formed by the Poincar\'e dual classes of the Schubert varieties. In \cite{Richmond:recursion}, E.…

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying…

A central problem in algebraic complexity, posed by J. Edmonds, asks to decide if the span of a given $l$-tuple $\V=(\V_1, \ldots, \V_l)$ of $N \times N$ complex matrices contains a non-singular matrix. In this paper, we provide a quiver…

Beginning with the data of a quiver Q, and its dimension vector d, we construct an algebra D_q=D_q(Mat_d(Q)), which is a flat q-deformation of the algebra of differential operators on the affine space Mat_d(Q). The algebra D_q is…

In this paper we derive a closed formula for the $(\mathbb{Z}\times\mathbb{Z}_2)$-graded dimension of the cyclotomic quiver Hecke superalgebra $R^\Lambda(\beta)$ associated to an {\it arbitrary} Cartan superdatum $(A,P,\Pi,\Pi^\vee)$,…

We study the semistability of quiver representations from an algorithmic perspective. We present efficient algorithms for several fundamental computational problems on the semistability of quiver representations: deciding the semistability…

We present a polynomial time algorithm to approximately scale tensors of any format to arbitrary prescribed marginals (whenever possible). This unifies and generalizes a sequence of past works on matrix, operator and tensor scaling. Our…

In this note we explicitly construct top-dimensional components of the cyclic convolution varieties. These components correspond (via the geometric Satake equivalence) to irreducible summands $V(\lambda+\mu-N\beta) \subset V(\lambda)…

Fortin and Reutenauer defined the non-commutative rank for a matrix with entries that are linear functions. The non-commutative rank is related to stability in invariant theory, non-commutative arithmetic circuits, and Edmonds' problem. We…

Let ${\rm SI}_\beta(Q)$ be the semi-invariant ring of $\beta$-dimensional representations of a quiver $Q$. Suppose that $(Q,\beta)$ projects to another quiver with dimension vector $(Q',\beta')$ through an exceptional representation $E$. We…

We consider the integer point transform $\sigma _P (\mathbf{x}) = \sum _{\mathbf{m} \in P\cap \mathbb{Z}^n} \mathbf{x}^\mathbf{m} \in \mathbb C [x_1^{\pm 1},\ldots, x_n^{\pm 1}]$ of a polytope $P\subset \mathbb{R}^n$. We show that if $P$ is…

We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the…

Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product…

The purpose of this paper is to describe a method for computing homotopy groups of the space of $\alpha$-stable representations of a quiver with fixed dimension vector and stability parameter $\alpha$. The main result is that the homotopy…

We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(\beta,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $\beta$-Grothendieck polynomials…