# Questions tagged [multilinear-algebra]

Tensors, multivectors, wedge products, multilinear maps, exterior (Grassmann) algebras.

114
questions

**33**

votes

**4**answers

2k views

### Why there is a relation among the second-order minors of a symmetric $4\times 4$ matrix?

A $4\times 4$ symmetric matrix
$$
\left(
\begin{array}{cccc}
a_{11} & a_{12} & a_{13} & a_{14} \\
a_{12} & a_{22} & a_{23} & a_{24} \\
a_{13} & a_{23} & a_{33} & ...

**20**

votes

**3**answers

1k views

### Simultaneous “orthonormalization” in $\mathbb{C}^4$

Let $A$ be a positive, invertible $4 \times 4$ hermitian complex matrix.
So we have a positive sesquilinear form $\langle Av,w\rangle$. Say that a pair $(v,w)$ of vectors in $\mathbb{C}^4$ is good ...

**19**

votes

**1**answer

2k views

### Are the following identities well known?

$$
x \cdot y = \frac{1}{2 \cdot 2 !} \left( (x + y)^2 - (x - y)^2 \right)
$$
$$
\begin{eqnarray}
x \cdot y \cdot z &=& \frac{1}{2^2 \cdot 3 !} ((x + y + z)^3 - (x + y - z)^3 \nonumber \\
&-...

**19**

votes

**1**answer

1k views

### Why is the standard definition of a $(p, q)$-tensor so bizarre?

At time of writing the first definition of a $ (p, q) $-tensor on the Wikipedia page is as follows.
Definition. A $ (p, q) $-tensor is an assignment of a multidimensional array $$ T^{i_1\dots i_p}_{...

**17**

votes

**1**answer

727 views

### Tracing the word “form”

Today the word form can refer to (at least) three different kinds of mathematical object:
A homogeneous polynomial. This was apparently started by Gauss (1801), renaming what others had called ...

**17**

votes

**0**answers

443 views

### Bunnity of multilinear maps

Is there a way to compute the following nullity of multilinear maps? As it is different from any nullity I know of, I call it bunnity after myself:-)) If it already has a name, it be nice to know it. ...

**13**

votes

**1**answer

2k views

### Why does this matrix have zero determinant?

This curious identity arose from studying reductions of the maximal ideal in certain monomial algebra. It can be proved "by hand", (i.e, using Macaulay 2), but I am seeking a more conceptual ...

**12**

votes

**2**answers

644 views

### Clifford algebras as deformations of exterior algebras

$\def\Cl{\mathcal C\ell}
\def\CL{\boldsymbol{\mathscr{C\kern-.1eml}}(\mathbb R)}$
I'm not an expert in neither of the fields I'm touching, so don't be too rude with me :-) here's my question.
A well ...

**12**

votes

**3**answers

537 views

### Example of a form linear in infinitely many variables ?

We all know plenty of examples of multilinear forms in finitely many variables (e.g. determinants). However, I am missing an interesting example of a form in infinitely many variables, linear in each. ...

**12**

votes

**0**answers

564 views

### On a tentative generalization of the Schmidt decomposition

Background
I am a PhD student in Physics and I am currently developing quite refined computer codes that allow to simulate many-body quantum systems living on a lattice. The difficulty resides in ...

**11**

votes

**1**answer

410 views

### Is there an analogue of spin/oscillator representation for the general linear Lie algebra?

(Work over complex numbers)
Let $V$ be an orthogonal space. Let $Pin(V)$ be the double cover of the orthogonal group $O(V)$. Then $Pin(V)$ has a basic spin representation which we can think of as the ...

**10**

votes

**2**answers

1k views

### basics of classification of trilinear forms (when is it non-discrete)

Consider tri-linear forms, $\{A_{ijk}\}$ where $i=1,..,n_1$, $j=1,..,n_2$, $k=1,..n_3$, over a field of zero characteristic, up to the equivalence $A\to (U_1,U_2,U_3)(A)$, by three matrices.
What is ...

**9**

votes

**2**answers

792 views

### Norm of $n$-linear symmetric forms

Let $B$ be a symmetric bilinear form over a Euclidean space $E$. Say that $|B(v,v)|\le c\|v\|^2$ for every $v\in E$, for some $c\ge0$. Then
$$4B(v,w)=B(v+w)+B(v-w)$$
yields $2|B(v,w)|\le c(\|v\|^2+\|w\...

**9**

votes

**1**answer

1k views

### Multilinear generalization of Cauchy-Schwarz inequality

Let $V$ be a real vector space, and let $(\cdot,\cdot;\cdot,\cdot) : V^4 \to \mathbb{R}$ be a multilinear form with the following properties:
$(x,y;z,w) = (y,x;z,w) = (x,y;w,z)$ (symmetry in the ...

**9**

votes

**1**answer

439 views

### What is the total polarization of the determinant?

Let $A\in\mathfrak{gl}(\mathbb{R},n)$ be an endomorphism, and think up to conformal factors (in particular, $\Lambda^n\mathbb{R}^n$ will be the same as $\mathbb{R}$). By the total polarization $\...

**9**

votes

**1**answer

1k views

### Exact sequences of bundles on Grassmannians

We're looking for a large set of exact sequences of vector bundles on Grassmannians. Here's the set up:
$V$ and $Q$ are complex vector spaces of dimensions $d$ and $r$ respectively $(d\geq r)$, and ...

**8**

votes

**1**answer

1k views

### Co-ends as a trace operation on profunctors

The n-lab site on profunctors (http://ncatlab.org/nlab/show/profunctor) describes profunctor composition as using a co-end to "trace out" the connecting variable:
$F\circ G := \int^{d\in D} F(-, d) \...

**8**

votes

**1**answer

199 views

### A symmetric bilinear form and a Plücker identity

It turns out that a special case of something I'm working on gives, as a corollary, a rather 19th-century-looking elementary statement about the rank of a certain symmetric matrix. I thought I would ...

**8**

votes

**2**answers

461 views

### generalizations of Vandermonde matrix to high dimensions

Let $x_1,x_2,\cdots,x_n\in\mathbb{R} $ or $\mathbb{C}$. By the non-degeneracy of Vandermonde matrix
the maps
$$
f: \mathbb{R}\longrightarrow\mathbb{R}^n,$$ $$
x\longmapsto (1,x,x^2,\cdots,x^{n-1})...

**7**

votes

**3**answers

500 views

### Is there a rank for higher degree homogeneous forms analogous to that of quadratic forms?

Given a quadratic form $Q(x_1, ..., x_n)$, there is a natural notion of rank defined by looking at the rank of the unique symmetric matrix associated to the quadratic form, i.e. we consider the ...

**7**

votes

**5**answers

2k views

### Generalization of the polarisation formula for symmetric bilinear forms to symmetric multilinear forms

Given a symmetric bilinear form $f:V\times V \to K$ , where $V$ is a vector space and $K$ is an appropriate field, define the quadratic form $q:V \to K$ as $q(v):= f(v,v)$.
The Polarisation Formula ...

**7**

votes

**1**answer

187 views

### Is $\max_{\|x\|_p=\|y\|_p=1} |\langle x, Ay\rangle|$ equivalent to $\max_{\|x\|_p=|} |\langle x, Ax\rangle|$ for symmetric $A$ & $p\geq 2$?

Let $A\in \mathbb{R}^{n\times n}$ be a symmetric matrix, and consider the $l_p$ norm ($p\geq 2$).
Can we prove that the following problems are equivalent:
$$\max_{\|x\|_p=\|y\|_p=1} \left| \langle x, ...

**7**

votes

**1**answer

277 views

### Finite dimensional commutative algebras containing infinitely many nilpotents whose $d$-way products are nonzero

I'm interested in the following strange question: for some $d > 1$, what is the minimum dimension of a commutative $\mathbb{C}$-algebra containing infinitely many elements that square to zero, but ...

**7**

votes

**1**answer

255 views

### Exterior powers and choice

Under the assumption that any vector space has a basis (so under the assumption of the axiom of choice), we can prove the following algebraic statements :
1) If $\varphi:V\to W$ is an injective ...

**7**

votes

**1**answer

173 views

### Is there any sort of higher-order SVD (quadratic and above) for dimensionality reduction?

(Posted this on math.stackexchange and cross.correlated over more than a week ago, but didn't get an answer, and this is a question in my research so this seems like it might have been the better ...

**7**

votes

**1**answer

375 views

### Question about decomposition of exterior product

In their paper "New lower bounds for the border rank of matrix multiplication", Landsberg and Ottaviani make use of the fact that
$$\tag{$\dagger$} {\textstyle\bigwedge}^p(V\otimes W) \cong \...

**6**

votes

**1**answer

311 views

### Equivalence of exterior forms

Let us start with the following definition.
Let $1\leqslant k\leqslant n$ and let $\omega_1,\omega_2\in\Lambda^k(\mathbb{R}^n)$. We say that $\omega_1$, $\omega_2$ are equivalent, if there exists $T\...

**6**

votes

**3**answers

304 views

### Axiomatizing orientation in the complex plane

Lately I've begun to suspect that a certain ternary relation might play a role in $\bf{C}$ analogous to the role played by the binary relation $>$ in $\bf{R}$, namely, the relation that the ...

**6**

votes

**1**answer

252 views

### Are SL(n) Invariants of this wedge product isomorphic to a symmetric product?

In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special ...

**6**

votes

**1**answer

169 views

### Some intuition on the $SL_n$-module $V_{[1,1,…,1]}$

(This question highly overlaps with this and also this.)
The irreducible ${\sf SL}_{n-1}$-module $V_{[1,1,\ldots,1]}$ is the one providing the minimal projective embedding $\mathbb{P}(V_{[1,1,\ldots,...

**6**

votes

**1**answer

389 views

### Augmentation ideal is finitely generated if and only if $A$ is finitely generated as a $k$-algebra?

Let $A \subset k[x_1, \dots, x_n]$ be a subalgebra, which is also a graded subspace $A = \oplus_{i \ge 0} A_i$. One can write $A = A_0 \oplus A_{> 0}$ where we have $A_0 = k^0[x_1, \dots, x_n] = k$ ...

**6**

votes

**2**answers

381 views

### Alternating multilinear invariants of GL(n) on End (k^n)

Introduction. Let $k$ be a field of characteristic $0$, and let $n\in\mathbb N$. Let $V=k^n$. The group $\mathrm{GL}_n\left(k\right)=\mathrm{GL} V$ acts on $\mathrm{End} V$ by conjugation, and thus ...

**6**

votes

**1**answer

219 views

### Is the (super-)symmetric power of the exterior algebra free?

Let $V$ be a vector space over $k$ of dimension $m$. (I'm only interested in the case $k=\mathbb{Q}$.) Let $R:=\Lambda^*V$ be the exterior algebra. It carries the structure of a supercommutative ring: ...

**5**

votes

**1**answer

442 views

### Waring rank vs tensor rank of symmetric tensors?

Suppose we work in an algebraically closed field. Then, do the Waring rank (symmetric tensor rank) and tensor rank of a symmetric tensor coincide in general? Recall that tensor rank is rank with ...

**5**

votes

**2**answers

407 views

### (Efficient) computation of symmetric powers of square matrices

I'm looking for software that can compute symmetric powers of medium-size square (say rational, 100 by 100) matrices, and ideally can do so efficiently if the matrix is sparse enough. I haven't found ...

**5**

votes

**2**answers

1k views

### A basis of the symmetric power consisting of powers

I have asked this question on math.se, but did not get an answer - I was quite surprised because I thought that lots of people must have though about this before:
Let $V$ be a complex vector space ...

**5**

votes

**1**answer

279 views

### Subgroups of the tensor product $A\otimes A$

I have this problem about subgroups of the tensor product of an abelian group $A$ with itself which arises from a complete different setting.
I fell into this question studying quandles and quandle ...

**5**

votes

**1**answer

235 views

### Is every basis for $\bigwedge^kV$ satisfying a “complementary” property a rescaling of a “standard” basis?

This is a cross-post.
Let $V$ be a $4$-dimensional real vector space. Let $\omega_{i_1,i_2}$
be a basis for $\bigwedge^2V$, where each $\omega_{i_1,i_2}$ is decomposable. Suppose that for every $\...

**5**

votes

**1**answer

91 views

### Looking for a tractable algorithm or formula for the determinant of a tensor

It is possible to define the determinant of a tensor.
We think of a tensor as a collection of numbers but this collection easily extends to a proper multilinear map.
If $T:\{1,....,n\}^m\to \mathbb C$ ...

**5**

votes

**1**answer

575 views

### Tensor rank of anti-symmetric tensor

Let $V$ be a vector space of dimension $n$. Let us consider $V^{\otimes n}=V\otimes V \ldots \otimes V$. This vector space contains one dimentional vector space $\wedge^n V$. My question is does it ...

**5**

votes

**0**answers

324 views

### Tensor matricizations and their decompositions

Suppose we have a 4-index tensor $t_{ijkl}$ (all 4 dimensions are equal size). We can make a matrix out of it by taking first and last two indexes as new indexes: $t_{ijkl} \rightarrow M_{ij, kl}$. ...

**4**

votes

**1**answer

1k views

### Determinant of exterior power

Suppose $A$ is a $n$ times $n$ matrix.
What is the determinant of the $i$-th exterior power of $A$, in terms of determinant of $A$?

**4**

votes

**3**answers

3k views

### n-dimensional “cross product” reference request

I have written a paper which involves a "cross product" in $\mathbb{R}^n$ and I would like to have a reference to point to.
Let ${\bf e_1}, \dots, {\bf e_n}$ be the standard basis for $\mathbb{R}^n$ ...

**4**

votes

**3**answers

2k views

### A nice necessary and sufficient condition on positive semi-definiteness of a matrix with a special structure

Let
$$
A =
\begin{pmatrix}
\sum_{j\ne 1}a_{1j} & -a_{12} & \cdots & -a_{1n}\\
-a_{21} & \sum_{j\ne 2}a_{2j} & \cdots & -a_{2n}\\
\vdots & \vdots & \ddots & \...

**4**

votes

**2**answers

757 views

### Tensor and Hom objects for finite flat group schemes

Is the category of finite flat group schemes equipped with "tensor products" and Hom-objects, encoding bilinear maps? I'm aware that the Cartier dual is $Hom(\mathbb{G}, \mathbb{G}_m)$, and want to ...

**4**

votes

**1**answer

1k views

### Spectral sequence of symmetric or exterior algebras?

This question is inspired by Hartshorne's exercise II.5.7 (c-d): the problem reads:
Let $0\rightarrow \mathcal{F}'\rightarrow\mathcal{F}\rightarrow\mathcal{F}''\rightarrow0$ be a short exact sequence ...

**4**

votes

**1**answer

194 views

### Irreducible representations of $\mathrm{SL}_n(K)$, $K$ finite

Let $\mathrm{SL}_n/K$ ($K$ finite) be given with its natural action on an $n$-dimensional vector space $V/K$. Consider the action of $\mathrm{SL}_n$ on the $m$-fold tensor product $V\otimes \dotsc \...

**4**

votes

**1**answer

333 views

### Homogeneous polynomials and symmetric binary forms

Let $f\in k[x_0,...,x_n]_d$ be a degree $d$ homogeneous polynomial in $n+1$ variables.
Is there a way to associate to $f$ a form $g(y_1,...,y_m)$ which is symmetric in the sets of binary variables $...

**4**

votes

**2**answers

1k views

### Relationship between curvature tensor, algebraic Bianchi identity and sectional curvature

I am currently trying to understand the algebraic Bianchi identity, and I am clearly missing some purely algebraic fact.
Let $M$ be a Riemannian manifold, $R$ its curvature tensor (with index lowered,...

**4**

votes

**1**answer

131 views

### Exterior Powers of finite abelian group

Let $A$ be a finite $\mathbb{Z}$-module (i.e., a finite abelian group). My question is: for what $n\in \mathbb{Z}^{n\geq 2}$ the map
\begin{align}
\alpha_{n}:\bigwedge^nA&\to A^{\otimes n}\\
a_1\...