Questions tagged [multilinear-algebra]

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

29 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
17
votes
0answers
449 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. ...
12
votes
0answers
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 ...
5
votes
0answers
331 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
0answers
216 views

Formal multidimensional Taylor series expansion over commutative rings

If $F:V\to W$ is a smooth at $a\in V$ function between finite-dimensional vector spaces over $\mathbb{R}$, then we have $$ F(x) = \sum_{k=0}^N\frac{1}{k!}(D^kF)(a)[(x-a)^{\otimes k}]+\text{remainder}, ...
4
votes
0answers
127 views

Cannot multivectors be classified more easily than general tensors?

This is sort of a spinoff of Is there a useful generalization of the Schmidt decomposition to the tensoring together of 3 or more vector spaces? - seems to be almost hopeless, but maybe some partial ...
3
votes
0answers
85 views

Number of vectors such that the projection is decomposable

Let $V$ be a vector space of dimension $n\geq 6$ over the finite field $\mathbb{F}_q$. Let $\omega\in\bigwedge^{n-3}V$ be a nonzero element. Define the annihilator subspace of $\omega$ by $V_\omega=\{...
3
votes
0answers
60 views

Multilinear maps that preserve unitarity

Let $M_1, M_2, M_3$ be spaces of square complex matrices, respectively acting on finite-dimensional Hilbert spaces $V_1, V_2$, and $V_3 = V_1 \otimes V_2$. Consider bilinear maps $$\phi: M_1 \times ...
3
votes
0answers
250 views

When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...
3
votes
0answers
1k views

Tensors as multilinear maps

I am aware that many books on differential geometry define tensors as multilinear maps. Namely $$ V\otimes W := L_2(V^* \times W^*,\Bbb F) $$ I am also aware that this space is isomorphic to the ...
2
votes
0answers
42 views

Rank-1 decomposability of symmetric tensors

My question is about rank-1 decomposability of symmetric tensors over the reals. Let $v_1,\dots,v_n\in\mathbb{R}^d$ be vectors. Construct the object: $$ V=\sum_{j=1}^n \underbrace{v_j\otimes v_j\...
2
votes
0answers
50 views

Is there a way of separating symmetric multilinear forms?

I have a very simple question which seemingly falls into the category of multilinear algebra. I need this concept in one of my research papers, but unfortunately did not learn it before. Let me state ...
2
votes
0answers
177 views

Normal multivariate orthant probabilities

(Previously I posted a similar question on math.SE, hoping that this question would have an easy answer. As the question appears hard, I am hoping I can perhaps get more feedback here.) Let $\mathbf{...
2
votes
0answers
63 views

Points on Sphere whose image, under symmetric positive definite matrix, is contained in cube

Let $\Sigma \in \mathbb{R}^{n \times n}$ be a symmetric, positive definite matrix and let $\mu_r$ denote surface measure on the sphere in $\mathbb{R}^n$ with radius $r$. Let $$ R = \{x \in \mathbb{R}^...
2
votes
0answers
95 views

Spectrum of a special sum of matrices

Suppose I have a vector space with a tensor product structure $H = V^{\otimes m}$ and suppose I have some traceless Hermitian operator $A: V \otimes V \rightarrow V \otimes V$. Denote by $A_{i,j}$ ...
2
votes
0answers
58 views

A tensor equation related to an invariant of a diffeomorphism

Let $M$ be an $n$-dimensional differentiable manifold, $f : U \rightarrow V$ a diffeomorphism between open neighbourhoods $U$, $V$ of $M$ with $f(x)=x$ for some $x \in U$, and let $R$, $S$, $T$ be ...
2
votes
0answers
169 views

Real-rooted polynomials and higher rank matrices

For $A$ and $B$ being matrices of the same dimension and $B$ being rank $1$, one knows that $det(A+tB)$ is a linear polynomial in $t \in \mathbb{R}$. Hence by Taylor series it follows that $det(A + tB)...
1
vote
0answers
17 views

Computational complexity of higher order orthogonal iteration for Tucker decompositions

I am currently doing background reading for my Masters Thesis. I am working with tensor decompositions, where by tensor I simply mean a multi-dimensional array. The aim of my masters project is to ...
1
vote
0answers
34 views

On symmetric tensors with same rank, different orders

Let $A,B$ be two symmetric tensors of same rank $m$; and orders $k$ and $\ell$, respectively. In particular, assume that $A,B$ admits the following structure: There exists $v_1,\dots,v_m\in\mathbb{R}^...
1
vote
0answers
53 views

Function for unique volume element

This is an issue that I'm am trying to solve for a fine-tuning measure in particle physics, but it is purely mathematical. Consider three vectors $\{v_1, v_2, v_3\}$ in $\mathbb{R}^3$. I would like a ...
1
vote
0answers
50 views

Efficient way to express a symmetric tensor in terms of rank one elements

Let $$P(\mathbf{x})=P(x_1, \ldots, x_n)=x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n}$$ be a homogenous polynomial of degree $k=k_1+\cdots+k_n$. It follows from a standard polarization identity (see for ...
1
vote
0answers
70 views

Maximum Number of Skew-Symmetric matrices

I want to count the maximum number of rank 2 matrices in a space of certain dimension but I am stuck at some point. Any help/ suggestions are appreciated. Here is the question. Let $\mathbb{M}_m$ be ...
1
vote
0answers
51 views

Maximum number of matrices satisfying given rank conditions

Assume that we have $2k$ matrices $S_1,\ldots,S_k$ and $\Phi_1,\ldots,\Phi_k$ over some finite field $F$ such that (i) $S_i\in F^{l/2\times l}$ and $\dim S_i=l/2$ for any $i\in\{1,\ldots,k\}$; (ii)...
1
vote
0answers
76 views

About a particular definition of a Hessian of a function of tuples of matrices

Say I have a function $L : (W_1,..,W_{H+1}) \rightarrow \mathbb{R}$ i.e it takes a tuple of $n$ matrices of different dimensions and computes a number from them. Then I see being defined a ...
1
vote
0answers
183 views

Metric(s) on Grassmann Manifold and Plucker Embedding

I'm working on a numerical optimization problem that naturally lives on the Grassmann Manifold Gr$_N(\mathbb{C^M})$, however the objective function is defined on the alternating algebra given by the ...
1
vote
0answers
187 views

Non-negative Quadratic forms with Exterior Forms

Hello All, I apologize if the following question is too elementary. Any suggestion is greatly appreciated. Thank you. Let $n\geqslant 4$, $X$ be an $n$-dimensional inner product space over $\mathbb{...
1
vote
0answers
212 views

Singular quadratic space

Let $(V,b)$ a symmetric bilinear space. An old theorem of Witt says that if $(V,b)$ is regular, then given a subspace $W$ of $V$ and an isometry $\sigma: W \to V$, there exists an isometry $\Sigma: V \...
0
votes
0answers
42 views

Integrating over some domain of the Stiefel manifold to analyze its support

Define the square $d$ dimensional Stiefel manifold as $$V_{d} = \{ R \in \mathbb{R}^{d \times d} : R ^\top R = I_d \} .$$ How does one integrate on this manifold over a domain defined as $\{ R \in V_{...
0
votes
0answers
121 views

Number of Symmetric matrices

Let $S_m(q)$ denote the space of all $m\times m$ symmetric matrices over the finite field $\mathbb{F}_q$ of size $q$. What is the number of matrices $A=(a_{ij})\in S_m(q)$ of rank at most $3$ and $a_{...
0
votes
0answers
675 views

modified bessel fucntion of the third kind

Hi I'm doing a computation where the modified bessel function of the third kind is the main source of computational strain, we are using a 10,000 dimension's for our distribution, is there any easier ...