Source author record

Daniel Kline

Daniel Kline appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Computational Complexity Data Structures and Algorithms math.RT math.AC

Catalog footprint

What is connected

3works

4topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Simultaneous robust subspace recovery and semi-stability of quiver representations

We consider the problem of simultaneously finding lower-dimensional subspace structures in a given $m$-tuple of possibly corrupted, high-dimensional data sets all of the same size. We refer to this problem as simultaneous robust subspace recovery (SRSR) and provide a quiver invariant theoretic approach to it. We show that SRSR is a particular case of the more general problem of effectively deciding whether a quiver representation is semi-stable (in the sense of Geometric Invariant Theory) and, in case it is not, finding a subrepresentation certifying in an optimal way that the representation is not semi-stable. In this paper, we show that SRSR and the more general quiver semi-stability problem can be solved effectively.

preprint2020arXiv

Edmonds' problem and the membership problem for orbit semigroups of quiver representations

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 invariant theoretic approach to this problem. Viewing $\V$ as a representation of the $l$-Kronecker quiver $\K_l$, Edmonds' problem can be rephrased as asking to decide if there exists a semi-invariant on the representation space $(\CC^{N\times N})^l$ of weight $(1,-1)$ that does not vanish at $\V$. In other words, Edmonds' problem is asking to decide if the weight $(1,-1)$ belongs to the orbit semigroup of $\V$. Let $Q$ be an arbitrary acyclic quiver and $\V$ a representation of $Q$. We study the membership problem for the orbit semi-group of $\V$ by focusing on the so-called $\V$-saturated weights. We first show that for any given $\V$-saturated weight $σ$, checking if $σ$ belongs to the orbit semigroup of $\V$ can be done in deterministic polynomial time. Next, let $(Q, \R)$ be an acyclic bound quiver with bound quiver algebra $A=KQ/\langle \R \rangle$ and assume that $\V$ satisfies the relations in $\R$. We show that if $A/\Ann_A(\V)$ is a tame algebra then any weight $σ$ in the weight semigroup of $\V$ is $\V$-saturated. Our results provide a systematic way of producing families of tuples of matrices for which Edmonds' problem can be solved effectively.

preprint2016arXiv

Sets of Lengths of Powers of a Variable

A positive integer k is a length of a polynomial if that polynomial factors into a product of k irreducible polynomials. We find the set of lengths of polynomials of the form x^n in R[x], where (R, m) is an Artinian local ring with m^2 = 0.