# Questions tagged [tensor]

The tensor tag has no usage guidance.

143
questions

1
vote

1
answer

121
views

### Diagonalizability, orthogonal diagonalizability of higher order tensors and their being or not being dense in some suitable topology

For our discussion, we'll assume that we're working with $\mathbb{R}^m$ only, but much or all of the following discussion should be carried over immediately to any finite dimensional inner product ...

3
votes

0
answers

113
views

### Is there a fast way to do this tensor power/trace operation?

Well, I asked this question on Math SE, and didn't get any responses, so I'm trying it here.
Given an $M*N*P$ tensor $T$, is there a fast way of computing the following "eighth-power trace"?
...

2
votes

0
answers

297
views

### About "residual" scalar curvature in Einstein warped product manifold

I have an Einstein warped product manifold $M=B \times_f F$ with warped metric $g=g^B+f^2g^F$, where $F$ is Ricci flat, then its scalar curvature is $S^F=0$.
It is well known that the scalar curvature ...

1
vote

0
answers

107
views

### Some kind of product of two 2d tensors to create a 3d tensor?

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}$, ...

2
votes

0
answers

38
views

### $1$-parameter family of metrics preserving the normal direction

Let $(M^n,g)$ be a compact Riemannian manifold with boundary, $n \geq 2$, and let $N$ be the unit outward normal to $\partial M$. Denote by $S^2(M)$ the symmetric covariant $2$-tensors, by $S^2_0(M)$ ...

2
votes

0
answers

70
views

### Is 'weak' Strassen Conjecture true?

$\newcommand{\rank}{\mathop{\mathrm{rank}}}$Strassen conjectured for two tensors $T_{1}$ and $T_{2}$, $\rank(T_{1}\oplus T_{2})=\rank(T_{1})+\rank(T_{2})$. This is not generally true according to ...

1
vote

0
answers

77
views

### tensor dimension/reshaping group

Consider an $N$ dimensional tensor $T$ using the strided view representation used by PyTorch, i.e. we have a storage vector $S$ projected into $N$ dimensions using a size tuple $s$ and a stride tuple $...

1
vote

1
answer

171
views

### Decomposition of tensor field on hypersurface

Let $(\mathcal{M},g)$ be a Lorentzian manifold, which is globally of the form $\mathcal{M}\cong I\times\Sigma$, where $I\subset\mathbb{R}$ ("time") and $\Sigma$ ("space") is some $...

5
votes

2
answers

305
views

### Example of a curvature with no associated metric

Is there a concrete example of a $4$ tensor $R_{ijkl}$ with the same symmetries as the Riemannian curvature tensor, i.e.
\begin{gather*}
R_{ijkl} = - R_{ijlk},\quad R_{ijkl} = R_{jikl},\quad R_{ijkl} =...

5
votes

1
answer

497
views

### Does every ‘curvature’ tensor induce a metric? [duplicate]

So we know that given a Riemannian manifold $(M,g)$ we can calculate its Riemannian curvature $R$. This covariant $4$-tensor field then satisfies some important symmetries
\begin{gather*}
R_{ijkl} = - ...

0
votes

1
answer

56
views

### Tensor nuclear norm for a binary 3rd-order tensor

I am interested in the low-rank approximation of a binary(01) third-order tensor. Does anyone know how to define its tensor nuclear norm based on whatever tensor decomposition methods? Could anyone ...

4
votes

2
answers

340
views

### Bounds for metric in normal coordinate

Let $M$ be a Riemannian $n$-manifold and $x \in M$. For the metric tensor $g_{ij}$ of geodesic normal coordinates at $x$, there is a formula $g_{ij}(y) = \delta_{ij} + \frac13 R_{kijl} y^k y^l + O(\|y\...

5
votes

1
answer

317
views

### Waring rank of monomials, and how it depends on the ground field

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_{...

4
votes

1
answer

175
views

### Singular value decomposition for tensor

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 ...

2
votes

0
answers

222
views

### What are examples of "perfect tensors"?

A "perfect tensor" is defined on the nLab very abstractly as "its tensor/hom-adjuncts $V^{\otimes k} \to V^{\otimes n - k}$ for $k \le n/2$ are isometries". The only example I'm ...

5
votes

2
answers

377
views

### Local diagonalisation of a degenerated 2d metric tensor

Consider a smooth 2d-manifold $M$ and let $g$ be a smooth $(0,2)$-tensor satisfying $rk(g)\geq1$ everywhere. Obviously if $rk(g)=2$ at a point $p\in M$ then $g$ is locally diagonalisable (i.e. there ...

1
vote

1
answer

84
views

### What resource do Markov and Shi mean when they estimate tensor contraction complexity?

Markov and Shi in their paper Simulating quantum computation by contracting tensor networks define the contraction complexity as follows (page 10):
The complexity of π is the maximum degree of a ...

2
votes

1
answer

206
views

### Decomposition of tensors

It is well known that every traceless, symmetric $2$-tensor can be decomposed uniquely into a Lie derivative part and a Codazzi part. Is there an analog for totally symmetric $k$-tensors?

1
vote

0
answers

59
views

### Tucker decompositions over arbitrary fields

Given an $n$-mode tensor $\mathcal{T}\in\mathbb{R}^{d_1\times\dotsb\times d_n}$, there exists a Tucker decomposition of $\mathcal T$ of the form
$$\mathcal{T} = \mathcal{X}\times_1 W_1\times_2\dotsb\...

2
votes

1
answer

743
views

### Is there a geometric intepretation of the trace of tensor on a Riemannian manifold?

For a long time I thought the trace for matrices were just an elementary function with nice properties. But it is much more than that and really should be think of as a geometrical object (see ...

5
votes

0
answers

98
views

### How is this product of tensors defined?

I am reading the paper “ The first eigenvalue of a small geodesic ball in a riemannian manifold”, by Karp and Pinsky, from where I took the following:
Here, $\Delta_{-2}$ denotes the usual Laplacian ...

-1
votes

1
answer

88
views

### Multi-variable expansion of $e^{u^T X}$ as a power series in terms of tensors [closed]

I have the following question related to multivariable moment generating functions. Given two vectors $u,X\in\mathbb{R}^d$, I want to characterize the quantity $e^{u^T X}$ in terms of "powers&...

2
votes

0
answers

102
views

### The Ricci curvature is bounded below by scalar curvature

So I have more questions coming from Dr Hamilton's "Three-Manifolds with Positive Ricci Curvature" paper here. I'm working in section 9 on Preserving Positive Ricci Curvature. In theorem 9.4,...

0
votes

0
answers

113
views

### A question from Richard Hamilton's paper "A matrix Harnack estimate for the heat equation"

Richard Hamilton "A matrix Harnack estimate for the heat equation. Communications in Analysis and Geometry. 1(1993), 113-126."
On page 125, at the end of the proof of Theorem 4.3, I abstract ...

0
votes

0
answers

160
views

### Is the kernel $\vert d_X - d_Y \vert^p$ conditionally negative definite?

Given two finite metric spaces $(X,d_X)$ and $(Y,d_Y)$, for $p > 0$, define the kernel ($4$-D tensor) $K$ on $(X \times Y)^2$ by:
$$K\big( (x_i, y_k), (x_j, y_l) \big) = \vert d_X(x_i, x_j) - d_Y(...

2
votes

3
answers

375
views

### Proving the graded structure of the tensor algebra from only the universal property

When the tensor algebra is presented, it is usually constructed as the direct sum of all tensor powers of the space. By this construction, the graded structure of the tensor algebra is easy to prove. ...

0
votes

0
answers

51
views

### Solving nonlinear differential multi-variable equation with block-matrices

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)$,...

4
votes

1
answer

108
views

### Construct a 4th-order tensor with matricization ranks $r$ that is not rank $r$

I ask you for this possibly not so simple task:
Explicitly construct a 4th-order tensor $A \in \mathbb{C}^{n_1 \times \ldots \times n_4}$ that does not have (border) rank $r$, but for which each ...

1
vote

0
answers

113
views

### Adjacency matrix/tensor operations for graph sequences?

Consider a graph $G=(V,E)$. Its adjacency matrix $A$ is defined by $A_{u,v} = 1$ if $(u,v)\in E$, $0$ otherwise.
Consider a vector $x$ that associates a value $x_v$ to each vertex of $G$. Consider the ...

1
vote

1
answer

143
views

### Derivative of eigenpair with respect to matrix

Suppose that $A$ is real and symmetric matrix (or tensor) of dimension $3 \times 3$, with its spectral decomposition
$$A = \sum_{i=1}^3 \lambda_i\ n_i\otimes n_i$$
where $\lambda_i$, $n_i$ and $\...

1
vote

0
answers

90
views

### References Request: Bach tensor

Recently I want to study about Bach tensor in detail. From the fundemental definition and properties to conformal invariant. Is there any references to me about Bach tensor? If there are some origins ...

4
votes

0
answers

197
views

### Pseudo-tensor- and tensor-densities: Sections of what bundle?

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}.$$
...

3
votes

1
answer

274
views

### Eigenvectors of a tensor in $\mathbb{C}^2 \otimes \mathbb{C}^2 \otimes \mathbb{C}^2$

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 ...

7
votes

0
answers

262
views

### Generalization of a standard algebraic group theory result for a tensor problem

$\DeclareMathOperator\GL{GL}$Let $X$, $Y$, $Z$ be $\mathbb{C}$-vector spaces, and let $A\subseteq X$ and $B\subseteq Y$ and $C\subseteq Z$ be linear subspaces. Let $V=X \otimes Y \otimes Z$, acted on ...

2
votes

1
answer

189
views

### Eigenvalues of large symmetric random tensors

I am studying the eigenvalues of large random tensors and realise that very little is known about it. I was wondering what is already known and what could be potential leads to find their limiting ...

1
vote

0
answers

68
views

### Spectral theorem for symmetric real tensors

Is there a definition of eigenvalues that allows to use a spectral theorem?
Let $\mathbf{T}$ be a real fully symmetric tensor of order $3$ and size $N$. Its components can be represented as $T_{ijk}\...

0
votes

0
answers

121
views

### Is it possible to reduce eigenvalues of tensors to an matrix eigenvalue problem?

Can we construct a larger matrix $M$ such that its eigenvalues are the same as the eigenvalues of a tensor $T$ of order 3?
Let $\mathbf{T}$ be a fully symmetric tensor of order $3$ and size $N$. Its ...

2
votes

2
answers

488
views

### Can the eigenvalues of a real symmetric tensor be complex?

Let $T$ be a fully symmetric tensor of rank $3$ and size $N$.
Using the following definition of eigenvalues, let $x\in \mathbb{C}^N$ and $\lambda\in\mathbb{C}$ such that:
\begin{equation}
\sum_{jk}^...

2
votes

1
answer

135
views

### Mean Gaussian curvature from non-unit vector

Pg.248 of "Textbook in Tensor Calculus and Differential Geometry" by Prasun Nayak.
Let us suppose that $\lambda_{h|}^i$
is not a unit vector and therefore, the mean curvature $M_h$ in
this ...

3
votes

1
answer

304
views

### Quaternions as eigenvalues of rank 3 tensors

Let us consider a matrix $M^{(a)}$ of size $N \times N$, having $N$ eigenvalues $\lambda_i \in \mathbb{C}$.
Considering a rank-3 tensor, we can informally think of it as a sequence of $N$ matrices $M^{...

4
votes

2
answers

393
views

### What is the current status of representation theory of $n$-ary groups in terms of hypermatrices?

An $n$-ary group is a generalization of the usual concept of a group where the binary operation (2-argument operation) is instead an $n$-ary ($n$-argument) operation. More info here on Wikipedia.
I ...

3
votes

1
answer

206
views

### A different notion of a decomposable symmetric tensor (besides Veronese)

$\DeclareMathOperator{\complex}{\mathbb{C}}$
Let $\bigvee^m(\complex^n)\subseteq (\complex^n)^{\otimes m}$ denote the space of symmetric tensors, i.e. the set of $x \in (\complex^n)^{\otimes m}$ that ...

-1
votes

1
answer

449
views

### Christoffel symbols as the expansion coefficients of covariant/contravariant derivatives

Page 155 of Vector and Tensor Analysis with Applications, by A.I Borishenko and I.E. Tarapov, the authors state that Christoffel symbols of the second kind are expansions of $\frac{\partial {\bf e}_j}{...

0
votes

0
answers

306
views

### What is the physical meaning of torsion

The torsion tensor in 4 dimensions $S_{ab}^{\hphantom0\hphantom0 c}$ has 24 components and it can be split into a vector part $\hphantom0^{V}S_{ab}^{\hphantom0\hphantom0 c}=\frac{1}{3}(S_a\delta^c_b-...

3
votes

0
answers

240
views

### Why some operations on tensors don't give a tensor? [closed]

I asked the following question on math.stackexchange but no one seemed to have an authorative answer so I'm posting here hoping that experts will see it.
The gradient is a tensor $\nabla f:\mathbf{V} \...

1
vote

1
answer

256
views

### Best approximation with tensors of rank $\ge2$

Let $k\in\mathbb N$, $H_i$ be a (finite-dimensional, if necessary) $\mathbb R$-Hilbert space for $i\in I:=\{1,\ldots,k\}$, $H:=\bigotimes_{i\in I}H_i$ denote the tensor product$^1$ of $(H_i)_{i\in I}$ ...

3
votes

1
answer

364
views

### Exactness of injective tensor products

For (algebraic) tensor products, it is well-known that the functor $A\otimes_R \cdot:Mod_R\rightarrow Mod_R$ is only (left-) exact when $A$ is a flat $R$-module. In particular, all vector spaces are ...

1
vote

1
answer

162
views

### Analytical decomposed form of a specific traceless symmetric tensor

Assume an m-way tensor $\mathcal{Z}$.
$\mathcal{Z}_{p_1 p_2 ... p_m} = 0$ if any different indices match
and $\mathcal{Z}_{p_1 p_2 ... p_m} = 1$ otherwise.
It is a symmetric tensor. Now if it is 2-...

2
votes

0
answers

83
views

### Estimates for tensors using local coordinates

Suppose that we have a Kähler manifold $(M, \omega_0)$ and another $(1,1)$ form $\eta$ on $M$. Let $\varphi$ be a smooth function such that $\omega_{\varphi} = \omega_0 + i \partial \bar \partial \...

1
vote

0
answers

134
views

### Compute Frobenius inner product of two tensor-trains in terms of tensor contractions

Let $p\in\mathbb N$, $n\in\mathbb N^p$ and identify the Hilbert space tensor $\bigotimes_{k=1}^p\mathbb R^{n_k}$ with $\mathbb R^{n_1\times\cdots\times n_p}$ (equipped with the Euclidean inner product)...