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 ...
- 1,303
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"?
...
- 515
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 ...
- 35
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}$, ...
- 461
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,073
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 ...
- 71
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 $...
- 11
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 $...
- 833
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} =...
- 103
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} = - ...
- 103
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\...
- 649
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_{...
- 5,523
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,169
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 ...
- 451
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 ...
- 275
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 ...
- 135
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?
- 169
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\...
- 228
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 ...
- 4,286
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 ...
- 2,073
-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&...
- 9
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,...
- 263
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(...
- 101
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. ...
- 121
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 ...
- 390
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,365
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 $\...
- 13
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 ...
- 11
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}.$$
...
- 833
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 ...
- 301
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 ...
- 1,000
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 ...
- 87
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}\...
- 87
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 ...
- 87
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}^...
- 87
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 ...
- 23
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^{...
- 87
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 ...
- 2,233
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,000
-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}{...
- 661
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-...
- 1
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} \...
- 139
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}$ ...
- 121
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 ...
- 5,001
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-...
- 47
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 \...
- 121
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)...
- 121