Skip to main content
MathOverflow

Questions tagged [multilinear-algebra]

Ask Question

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

178 questions
Newest Active Bountied Unanswered
Filter by
Sorted by
Tagged with
1 vote
0 answers
176 views

This is a question about elementary algebraic geometry on the edges with classical analytic geometry. So here, by an algebraic variety I mean just a solution set of a family of algebraic equations. ...
Nik Bren's user avatar
  • 813
8 votes
0 answers
171 views

This is one of those things everyone repeats, but I can’t seem to find a proof: Let $n\in \mathbb{N}$ and $1\leqslant k\leqslant n$. Consider the standard action of $\mathrm{GL}_n(\mathbb{R})$ on $\...
Tintin's user avatar
  • 995
7 votes
0 answers
371 views

Let $k$ be a field and $f(x_1,...,x_n)=x_1...x_n$. $\textbf{Question:}$ what is the largest possible size of a set $S\subset k^n$ such that $f(x-y)=\pm1$ for all distinct $x,y\in S$? The problem can ...
Milan Boutros's user avatar
  • 91
4 votes
0 answers
178 views

Let $X$ be an $n \times k$ matrix. An interesting result of Leamer and Chamberlain (1976) establishes that the Ridge estimator satisfies the following identity \begin{equation}\label{eq:1} \hat{\beta}...
Dejan Evisal's user avatar
  • 35
25 votes
5 answers
3k views

I want to introduce tensor products in a 2nd year in a linear algebra course. The demographics is typical: mathematics, physics, computer sciences, etc. students, who already had a course focusing on ...
Daniel Teixeira's user avatar
  • 848
8 votes
0 answers
474 views

For a vector field $X$ on a manifold there are two ways to define a Lie derivative: an algebraic one using Cartan's formula $\mathcal{L}_X \alpha = i_X d \alpha + d i_X \alpha$ and a dynamical one ...
mlainz's user avatar
  • 161
2 votes
0 answers
83 views

Let $K$ be a compact (metrizable) space and let $C(K)$ be the Banach space of continuous real-valued functions on $K$, equipped with the supremum norm. It is then well known that the dual space $C(K)^*...
kiliroy's user avatar
  • 56
5 votes
0 answers
248 views

The exterior algebra $\Lambda^*_kM$ can be defined for a $k$-module $M$, where $k$ is a commutative ring. A number of sources mention, without condition or proof, a (canonical) isomorphism $$(\Lambda^*...
Cameron's user avatar
  • 181
1 vote
0 answers
167 views

I am trying to understand the space of all orthogonal tensors, I asked a more general version of this question here but with no solution yet found. I want to look at the simplest case first, namely a $...
jujumumu's user avatar
  • 101
4 votes
0 answers
173 views

I am trying to understand the space of all orthogonal tensors, a question asked here before but with no real solution yet found. The solutions for order-$2$ tensors are clear so thus the simplest case ...
jujumumu's user avatar
  • 101
25 votes
1 answer
1k views

Let $G$ and $H$ be abelian groups. By an alternating form, I mean a bilinear function $A\colon G\times G\to H$ such that $A(x,x)=0$ for all $x\in G$. Question. If $A\colon G\times G\to H$ is an ...
Charles Rezk's user avatar
  • 27.9k
2 votes
0 answers
145 views

Before delving into my query, I'd like to provide some context. Consider a continuous function $f:\mathbb{R}^{k}\rightarrow\mathbb{R}^{m}$ and a compact set $\mathcal{B}\subset \mathbb{R}^{k}$ (...
Diego Fonseca's user avatar
  • 71
13 votes
1 answer
1k views

Denote by $W$ the space of all symmetric bilinear forms on $\mathbb{R}^n$. Let $Q$ be a quadratic form on $W$. Suppose that $Q(b)\geqslant 0$ for any $b\in W$ such that $b(X,Y)=\ell(X)\cdot\ell(Y)$ ...
Anton Petrunin's user avatar
  • 47.1k
2 votes
1 answer
257 views

I previously asked this on Mathematics Stack Exchange, to no result: Consider the standard induced inner product structure on $\wedge^k\mathbb{R}^d$ given by defining $$\langle u_1\wedge \cdots \wedge ...
Ian Morris's user avatar
  • 6,257
15 votes
2 answers
1k views

Let $S$ be solutions of a system of quadratic polynomials on $\mathbb{R}^n$. Suppose $q$ is another quadratic polynomial such that $q|_S\geqslant 0$. Is it possible to find a polynomial $\tilde q$ ...
Anton Petrunin's user avatar
  • 47.1k
2 votes
1 answer
299 views

I have the following two linear systems: $$\begin{bmatrix} u_{11} & u_{12} \end{bmatrix} A = 0$$ $$\begin{bmatrix} u_{21} & u_{22} \end{bmatrix} B = 0$$ Both $A,B$ are $2 \times 2$ matrices ...
NYG's user avatar
  • 149
1 vote
0 answers
200 views

I recently need to apply the following concept of product of two 2d tensors to create a 3d tensor (tensors understood as generalized arrays): given two 2d tensors $A_{m\times n}$ and $B_{n\times p}$, ...
Min Wu's user avatar
  • 461
1 vote
0 answers
214 views

In Section 5, Chapter 1 of the famous book "Principles of algebraic geometry" by Griffiths and Harris, there are two equivalent conditions to determine whether a multivector $\Lambda\in\...
tudong's user avatar
  • 41
3 votes
0 answers
82 views

$\newcommand{\cb}{\mathrm{cb}}$Let $T : X \rightarrow Y$ be a bounded linear map between Banach spaces. We have the following results concerning automatic complete boundedness: $\|T : X \rightarrow \...
Seven9's user avatar
  • 565
1 vote
1 answer
420 views

Suppose we have a function $f:\mathbb{R}^n\to\mathbb{R}$ that is at least three times differentiable. Clearly, there is a relationship between the symmetric trilinear form $$T_1=\nabla^3f(x),$$ and ...
RS-Coop's user avatar
  • 39
5 votes
1 answer
522 views

$\newcommand\KN{\mathbin{\bigcirc\mspace{-20mu}\wedge\mspace{3mu}}}$In the context of (pseudo)-Riemmian geometry, the Kulkarni–Nomizu product is defined to be an operation $\KN$, which takes two ...
user avatar
6 votes
1 answer
805 views

The Waring rank of a degree-$d$ homogeneous polynomial $p$ is the least integer $r$ such that you can write $p$ as a linear combination of $r$ $d$-th powers of linear forms $\{\ell_k\}$: $$ p = \sum_{...
Nathaniel Johnston's user avatar
  • 6,882
12 votes
1 answer
433 views

Let $\phi(x,y,z)$ be an alternating trilinear form on a space $V$ over a field $K$. Let $u \in \mathbb{P}(V)$ be a projective point over $V$, then we say that the rank of $u$ is equal to the rank of ...
Ward Beullens's user avatar
  • 271
1 vote
1 answer
167 views

If I have a system of $8$ linear equations for the eight variables $\{\alpha ,\beta ,\gamma ,\delta ,\eta ,\lambda ,\xi ,\rho \}$ and with the three parameters $\{x,y,z\}$ reals and $x>0$. I want ...
charmin's user avatar
  • 111
4 votes
1 answer
266 views

I am looking at (the limitation of) the extension of the singular value decomposition to tensors. I would like to show that there is a tensor $A_{i,j,k}$ that cannot be decomposed in the following ...
Hans's user avatar
  • 2,363
1 vote
1 answer
279 views

I would like to know if this equation is solvable for $a$ and $\alpha$: \begin{equation} \Sigma = \Gamma + a \left( \alpha 1^\top + 1\alpha^\top \right) +a^2 b \end{equation} $\Sigma$ & $\Gamma$ ...
maxamillianos's user avatar
  • 25
0 votes
0 answers
130 views

I am interested in the special case of a symmetric tensor $T_{i_1,\ldots,i_k}$ of rank $k$, where each index, say $i_\kappa$, where $1 \leq \kappa \leq k$, runs from $1$ to $2$. The entries of such a ...
Malkoun's user avatar
  • 5,377
1 vote
0 answers
108 views

Let $E$ and $F$ be (real) Hilbert spaces, where $\dim E = \infty$ and $1 \leq \dim F < \infty$. Let $T : E \to \operatorname{Sym}(F \times F,\mathbb{R})$ be a continuous linear map, where $\...
Eduardo Longa's user avatar
  • 2,127
2 votes
2 answers
371 views

Suppose I have $n$ Boolean variables $x_1,\dots,x_n$, and an objective function of the form $f(x_1,\dots,x_n) = \sum_{a_1,\dots,a_n}c_{a_1,\dots,a_n} x_1^{a_1} \cdots x_n^{a_n}$ with $(a_1,\dots,a_n) \...
James Propp's user avatar
  • 20.1k
2 votes
0 answers
89 views

The group $\operatorname{SL}(n_1,\mathbb{C}) \times \operatorname{SL}(n_2,\mathbb{C}) \times \operatorname{SL}(n_3,\mathbb{C})$ acts on ${\mathbb C}^{n_1} \otimes {\mathbb C}^{n_2} \otimes {\mathbb C}^...
TBS's user avatar
  • 101
0 votes
0 answers
140 views

Let $V$ be a vector space of dimension $n$ over the field $\mathbb {Q} $. A subspace $W$ is isotropic for a skew-bilinear form $\alpha$ on $V$ if $\alpha(x,y) = 0$ for all $x,y \in W$. More ...
Sky's user avatar
  • 923
4 votes
1 answer
242 views

Let $ A_{n}(F) $ be the collection of all skew-symmetric matrices over the field $ F $ ($\operatorname{char} F \neq 2 $). Let M be a subspace of $ A_{n}(F) $ such that all non zero elements have rank ...
Sky's user avatar
  • 923
6 votes
1 answer
179 views

Let $\{e_1,\ldots, e_n\}$ be the standard basis of $\mathbb{C}^n$. Consider the $m$-multilinear form $$v=\sum_{i=1}^n e_i^{\otimes m}\in (\mathbb{C}^n)^{\otimes m}$$ and consider the action of $\text{...
Ehud Meir's user avatar
  • 5,099
4 votes
0 answers
117 views

View $\mathbb{R}^{4n+4} = \mathbb{H}^{n+1}$ with its standard inner product. Right multiplication $R_I, R_J, R_K$ by the unit quaternions $I,J,K$ defines orthogonal complex structures on $\mathbb{R}^{...
Jesse Madnick's user avatar
  • 871
3 votes
0 answers
228 views

Let $(X, \| \cdot \|_X)$ $(Y, \| \cdot \|_Y)$ be normed space. A function $f \colon X \to Y$ shall be called an $n$-th degree (single variable) polynomial ($n \in \mathbb{N}\cup \{ 0\})$ if there ...
Kacper Kurowski's user avatar
  • 830
0 votes
0 answers
83 views

Here is the problem: Given a formula $f:\mathbb{R}^{n+k}\rightarrow\mathbb{R}^n$, written as $f(x_1(t),x_2(t),...,x_n(t);a1,...ak)$ with $k$ real unknown parameters $a_1,...,a_k$. For any $(a1,...ak)$,...
TomJunior's user avatar
  • 9
4 votes
0 answers
167 views

Let $V$ be a $n$-dimensional complex vector space. Assume we have a $\mathbb C$-linear map $\varphi:\Gamma^{(a_1,\dots,a_n)}V\rightarrow \Gamma^{(b_1,\dots,b_n)}V$ between two irreducible ...
pi_1's user avatar
  • 1,545
2 votes
1 answer
260 views

Let us consider a vector space $ V $ over $ \mathbb{Q} $ of dim $6$. We denote all the two dimensional subspace in $ V $ by $ G(2,6) $ (The Grassmanian variety). One can define a map $ p $ from $ G(2,...
Sky's user avatar
  • 923
3 votes
1 answer
557 views

Let $V$ be a vector space of dimension $n$ over a field $F$. An alternating bilinear form $\alpha\colon V \times V \rightarrow F $ will be called a skewform. A subspace $W$ is isotropic for $\alpha$...
Sky's user avatar
  • 923
3 votes
0 answers
236 views

This question deals with the polynomial invariant which relates the circumradius and the squares of the sides of a cyclic polygon. This invariant is discussed briefly in the seminal paper On the Areas ...
PalmTopTigerMO's user avatar
  • 219
3 votes
2 answers
673 views

I apologize in advance if this question is not up to the level of research level questions on Math overflow. I am a complete outsider to invariant theory/representation theory and would like someone ...
Amr's user avatar
  • 1,329
4 votes
0 answers
611 views

In geometric algebra, a simple k-blade may be defined as one which can be written as the outer product of $k$ vectors. For example, a 2-blade $A$ is one which may be factored as $A=\mathbf{a}\wedge\...
Jessica cc's user avatar
  • 57
0 votes
1 answer
163 views

$\DeclareMathOperator\span{span}$Denote two $p$-blades $\nu=v_1\wedge \dots \wedge v_p$ and $\omega=w_1\wedge \dots \wedge w_p$ $\in \bigwedge^p X$, where $X$ is an inner product space. How to define ...
John's user avatar
  • 193
2 votes
0 answers
220 views

A matrix M is usually called a hollow matrix if all of its diagonal elements are zero: $$ M_{pp} = 0, \quad \forall \: p. $$ We can generalize this to an $n$-way tensor T, such that: $$ T_{p_1 \cdots ...
twofiveone's user avatar
  • 47
5 votes
0 answers
295 views

Let $\mathcal{M}$ be a smooth manifold. A tensor field is then usually defined to be a section of the tensor bundle $$\bigotimes_{i=1}^{p}T\mathcal{M}\otimes\bigotimes_{i=1}^{q}T^{\ast}\mathcal{M}.$$ ...
user avatar
3 votes
1 answer
316 views

I want to find the critical point of tensor $f=a_0b_0c_0 + a_1b_1c_1$ in $\mathbb{C}^2 \otimes \mathbb{C}^2 \otimes \mathbb{C}^2$, and I followed this construction: First, I take the following partial ...
B.K-Theory's user avatar
  • 309
9 votes
1 answer
457 views

Given a Riemann tensor $Riem$, what are conditions such that $Riem=B\star B$ for some bilinear symmetric form $B$, where $\star$ is the Kulkarni-Nomizu product? It follows from the proof of ...
Carlo Mantegazza's user avatar
  • 1,309
7 votes
1 answer
1k views

Let $A$ be a symmetric $k$-tensor over a real or complex vector field $W$. We may define its spectral norm $|A|$ by $$|A| = \sup_{v\in W} \frac{|\langle A,x^{\otimes k}\rangle|}{|x|_2^k}.$$ (...
H A Helfgott's user avatar
  • 22k
1 vote
1 answer
259 views

All the matrices in this statement are in the field $\mathbb{F}_2$. Let $I$ be the identity matrix of size $10 \times 10$ and let $e_1$, $e_2$, $\ldots$, $e_{10}$ denote its rows. For $i\in \{1,5 \}$, ...
user avatar
2 votes
1 answer
119 views

All the matrices in this statement are in the field $\mathbb{F}_2$. Let $I$ be the identity matrix of size $10 \times 10$. What are all the possible $n$ ($\geq 6$) for which there exists a matrix $X$ ...
user avatar

1
2 3 4