We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Rings and Algebras

Title: A graph-theoretic approach to a conjecture of Dixon and Pressman

Abstract: Given $n \times n$ matrices, $A_1, \dots, A_k$, consider the linear operator $L(A_1,\dots,A_k) \, \colon \; \operatorname{M}_n \to \operatorname{M}_n$ given by \[ L(A_1,\dots,A_k)(A_{k+1})= \sum_{\sigma\in S_{k+1}} \operatorname{sign}(\sigma) A_{\sigma(1)}A_{\sigma(2)} \cdots A_{\sigma(k+1)}. \] The Amitsur-Levitzki theorem asserts that $L(A_1, \ldots, A_k)$ is identically $0$ for every $k \geq 2n-1$. Dixon and Pressman conjectured that if $k$ is an even number between $2$ and $2n - 2$, then the kernel of $L(A_1, \ldots, A_k)$ is of dimension $k$ for $A_1, \ldots, A_k\in \operatorname{M}_n(\mathbb{R})$ in general position. We prove this conjecture using graph-theoretic techniques.
Comments: 32 pages
Subjects: Rings and Algebras (math.RA); Combinatorics (math.CO)
MSC classes: 15A24, 15A54, 05C38
Cite as: arXiv:2010.04679 [math.RA]
  (or arXiv:2010.04679v1 [math.RA] for this version)

Submission history

From: Zinovy Reichstein [view email]
[v1] Fri, 9 Oct 2020 16:58:50 GMT (37kb)

Link back to: arXiv, form interface, contact.