Questions tagged [tensor]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1
votes
1answer
130 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
0answers
121 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
0answers
171 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} \...
0
votes
1answer
63 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}$ ...
2
votes
1answer
197 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
1answer
50 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
0answers
74 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 \...
0
votes
0answers
18 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)...
2
votes
0answers
43 views

Characterization of all-orthogonal tensors

In the paper [1], it is proven in Theorem 2 that any $n$-tensor $\mathcal{A}\in\mathbb{R}^{d_1\times...\times d_n}$ can be decomposed as $$ \mathcal{A}=\mathcal{S} \times_1 U_1 ...\times_n U_n $$ ...
3
votes
1answer
110 views

Generalized tensor-train decomposition

If $U\in\bigotimes_{k=1}^p\mathbb R^{n_k}$ and $U^{(k)}\in\mathbb R^{r_{k-1}}\otimes\mathbb R^{n_k}\otimes\mathbb R^{r_k}$ with$^1$ $$U_{i_1,\:\ldots\:,i_p}=\sum_{j_0=1}^{r_0}\cdots\sum_{j_p=1}^{r_p}U^...
0
votes
0answers
70 views

Tensor contraction (vector-valued trace) on $\bigotimes_{i=1}^k\mathcal L(E_{i-1},E_i)$

If $E_i$ is a $\mathbb R$-vector space, then the vector-valued trace $\operatorname{tr}_{E_1}:(E_2\otimes E_1^\ast)\otimes(E_1\otimes E_0)\to E_1\otimes E_0$ (or tensor contraction) is the ...
1
vote
0answers
15 views

Show that a tensor-train is contained in a recursive sequence of subspaces

Let $p\in\mathbb N$; $n_k\in\mathbb N$ and $\left(e^{(k)}_1,\ldots,e^{(k)}_{n_k}\right)$ denote the standard basis of $\mathbb R^{n_k}$ for $k\in\{1,\ldots,p\}$; $u\in\bigotimes_{k=1}^p\mathbb R^{n_k}...
0
votes
0answers
31 views

How are the vector-valued trace and the unique linearization of $\mathfrak L(X,Y)\:\hat\otimes_π\:X→Y$ of $\mathfrak L(X,Y)×X→Y,\;(L,x)↦Lx$ related?

Let $X$ be a $\mathbb R$-Banach space and $X'\:\hat\otimes_\pi\:X$ denote the completion of the tensor product of $X'$ and $X$ with respect to the projective norm. The trace functional $\operatorname{...
0
votes
1answer
49 views

Cores in the tensor-train decomposition

Let $d_i\in\mathbb N$, $I_i:=\{1,\ldots,d_i\}$ and $u\in\mathbb R^{d_1}\otimes\mathbb R^{d_2}\otimes\mathbb R^{d_3}$. It's somehow clear to me that we may regard $u$ as a three-dimensional array (see ...
1
vote
1answer
98 views

Symmetric tensor components

EDIT: I thought on rephrasing the question in another way: I have been working recently with a tensor that satisfies $A_{ijkl}=A_{i+b,j+b,k+b,l+b}$ $\forall$ $i,j,k,l$ $\in$ Z $$dist(i,j,k,l)\...
4
votes
1answer
254 views

Simple way to calculate the eigenvalues of a $2 \times 2 \times 2$ tensor

I am working with hypergraphs. The various matrices associated with hypergraphs are hypermatrix or tensors. I am interested in spectral aspects. In particular, I want to find all the eigenvalues ...
8
votes
1answer
144 views

Question on Nash's paper on $C^1$ isometric immersions: Why approximating the error tensor $\delta$?

I am trying to go through the classical paper by Nash on the existance of $C^1$ isometric immersion of a Riemannian manifold $(M,g)$ (here is the Jstor link: https://www.jstor.org/stable/1969840?seq=1#...
0
votes
0answers
23 views

Spectral resolutions of a second-order orthogonal tensor

Page 37 of Continuum mechanics by C. S. Jog lists the following formulae as the "spectral resolutions" of an orthogonal tensor $\bf R$ as having the eigenvectors ${\bf e} , \, {\bf n} , \, {\bf \hat{n}...
3
votes
0answers
102 views

Most tensor subspaces of low dimension have rank-1 defining equations

Let $V_1,\ldots , V_k$ be vector spaces of dimensions $n_1,\ldots , n_k$ over a field of characteristic zero. Consider the rational map $ \newcommand{\PP}{\mathbb{P}} \newcommand{\bs}{\boldsymbol} \...
2
votes
0answers
85 views

Naive generalization of determinant from matrices to higher rank tensors

Recall that using the Levi-Cevita symbol the determinant can be written as $$\operatorname{det} A=\frac{1}{n!}\epsilon_{i_1\dots i_n}\epsilon_{j_1\dots j_n}A_{i_1j_1}\dots A_{i_nj_n}$$ Some ...
2
votes
0answers
64 views

For a manifold of positive curvature, can we lower bound the distance between unit normals?

Suppose $M \subset \mathbb R^d$ is a $C^2$ $(d-1)$-manifold. In particular I am interested in when $M$ is the set $\{x \in \mathbb R^d: f(x) \le 1\}$ for some $C^2$ function $f:\mathbb R^d \to \...
4
votes
0answers
128 views

Given a specific tensor on $V^{\otimes d}$, which $GL(V)$ orbit does the tensor belong to?

Suppose we have a vector space $V$ over a field $K$, with basis vectors $\hat{\bf{e}}_k$, and suppose we define a tensor $$ \Lambda = \lambda_{i_1, ..., i_d} (\hat{\bf{e}}_{i_1} \otimes ... \otimes \...
0
votes
1answer
82 views

Trace of a finite hypercubic tensor

Is the trace of a finite hypercubic tensor defined? Clearly, for the bidimensional case $n \times n$ the trace is defined as the sum of the elements on the main diagonal: $$\operatorname {tr} (\...
4
votes
0answers
79 views

Are mixed discriminants and hyper-determinants the same thing?

Premise Hello, I'm trying to learn more about hyperdeterminants, but as I'm sifting through the literature I'm finding more and more papers on Mixed discriminant and I find their definitions extremely ...
1
vote
0answers
93 views

Images and Kernels of tensor products of homomorphisms of modules

Let $\mathcal{H}$ be a Hopf algebra and let $M_1,M_2,N_1,N_2$ modules over $\mathcal{H}$. If $f:M_1\rightarrow N_1$ and $g:M_2\rightarrow N_2$ are homomorphisms of modules, then are the following ...
2
votes
0answers
48 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\...
0
votes
1answer
120 views

Rank of matrices and secant varieties

Consider the Segre embedding $\mathbb{P}^n\times \mathbb{P}^n\rightarrow \mathbb{P}^N$, and let $S\subset\mathbb{P}^N$ be its image. Then $rank(Z)\leq k$ implies that $Z\in Sec_k(S)$. Moreover if $Z\...
1
vote
0answers
38 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}^...
4
votes
1answer
228 views

Symmetric tensor decomposition

Let $T$ be an order-$k$, rank-$m$ symmetric tensor, that is, $T=\sum_{j=1}^m v_j\otimes v_j \otimes \cdots \otimes v_j$, where the Segre outer product is taken $k$ times, with $v_j\in\mathbb{R}^d$ for ...
0
votes
1answer
202 views

Sketching Frobenius norm of a tensor with a rank-1 random tensor

Let $A\in\mathbb{R}^{n^k}$ be a $k$-dimensional tensor with $n$ elements along each dimension. Moreover suppose $u_1,u_2,\dots,u_k\sim\text{Unif}(\pm1)^n$ are $n$ dimensional vectors with each of ...
1
vote
1answer
60 views

Connection of the existence of Killing-Yano tensor and Killing tensor

Stephani states that in 4 dimensions a spacetime admits a non-reducible Killing-Yano tensor only if the Weyl tensor either is of Petrov type D or vanishes. Does this imply that the spacetime also ...
2
votes
0answers
85 views

Example Petrov Classification

I would like to calculate the Petrov type for a specific spacetime, unfortunately I am not able to find a step by step algorithm or example for the process, either using null-tetrad, nor calculating ...
6
votes
1answer
179 views

How to count the number of tensors over a finite field of tensor rank $r$?

For simplicity, work over $\mathbb F_2$ and only consider order-$3$ equilateral tensors. For $r\in\mathbb Z_{>0}$, how many tensors $\mathfrak{T}\in\mathsf{Ten}_{n}^{\otimes 3}(\mathbb F_2)$ are ...
7
votes
1answer
150 views

Non-tensor-representable ultrafilters on $\omega$

If ${\cal U}$ and ${\cal V}$ are ultrafilters on non-empty sets $A$ and $B$ respectively, then the tensor product ${\cal U}\otimes{\cal V}$ is the following ultrafilter on $A\times B$: $$\big\{X\...
3
votes
2answers
120 views

Rank of order-3 tensor with all slices being rank-1

If some tensor $T=(t_{ijk})$ has that all of its (2 dimensional) slices (along all 3 axes) are of rank-1, does it follow that the tensor is also rank-1? That is, can be written as $$ t_{ijk}=a_i b_j ...
2
votes
1answer
401 views

Eigenvalue and Eigenmatrix of a 3D Tensor - How to calculate it?

How to calculate easily the eigenmatrix of a 3D tensor. I try immersing the tensor in a big matrix, in my case, the tensor is of nxnxn and I can build an n^2 x n^2 matrix that contains all the "...
1
vote
0answers
295 views

On a Riemannian manifold, calculate the metric from the distance [closed]

Given a Riemannian manifold $(M,g)$ is it possible to calculate the distance between two points on this manifold. Is it possible the inverse? That means: given a formula of the distance, for example: ...
2
votes
0answers
296 views

Generalization of Carleman coefficients to multivariable functions - Carleman tensor?

Recently I learned about a matrix called Carleman matrix. It is a matrix used to represent function iteration with matrix multiplying. Carleman linearization is a technique used to embed a finite ...
7
votes
1answer
185 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 ...
2
votes
1answer
719 views

Is there a generalization of eigenvalues and eigenvectors to tensors?

Two perhaps ill-posed or just silly questions: Let $n>0$, $T$ be an $(n+2)$-tensor, and $\otimes$ denote the Kronecker product of tensors. Is there a tensor generalization for the fundamental ...
2
votes
0answers
100 views

Product of cotton-york tensor with ricci tensor

In the process of calculation of a problem in tensor analysis, I have encountered with an expression given by $$C^{ij}R_{ij}=0.$$ This is for a Riemannian manifold of dimension 3. Assuming the ...
2
votes
2answers
454 views

A kind of “Curvature tensor” for higher dimensional tensors

I begin my question with a multilinear question then I will consider two local smooth analogies: Assume that $\alpha$ is a real valued symmetric $k$-tensor, that is a $k$-linear map $\alpha:\...
5
votes
1answer
397 views

higher order analogues of sylvester's law of inertia?

Sylvester's law of inertia (here I quote wikipedia) If A is the symmetric matrix that defines the quadratic form, and S is any invertible matrix such that D = SAS^{T} is diagonal, then the number ...
1
vote
1answer
154 views

Strassen-like algorithm for Hadamard product of $2\times 2$ matrices

Let $A=\pmatrix{a_1& a_2\\a_3&a_4}, B=\pmatrix{b_1& b_2\\b_3&b_4}$ be two matrices. Let $C$ be the Hadamard product of $A$ and $B$. $$C=\pmatrix{c_1& c_2\\c_3&c_4}=\pmatrix{...
5
votes
1answer
94 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$ ...
1
vote
0answers
50 views

Bounds on the tensor and border rank ratios of tensor unfoldings?

Consider $T_1 \in \mathbb{C}^{d_1 \times \cdots \times d_k}$ as an order-$k$ tensor of the format $(d_1, \cdots , d_k)$. Now, let $T_2$ be an unfolding of $T_1$ that is obtained by merging $\mathbb{C}^...
1
vote
0answers
26 views

Non Negative Tensor Tucker Decomposition Error Degradation

I have been working on iterative decomposition methods of tensors with non negativity constraints. I have noticed that $\textbf{N}$on negative $\textbf{T}$ensor $\textbf{F}$actorization "NTF" which is ...
8
votes
1answer
276 views

Geometric Interpretation of Multiplication in Pure Cubic Number Fields and Beyond

I got interested in the question of possible geometric interpretations of the multiplication in algebraic number fields of degree $>2$ (with application to multiplication of units in the ring of ...
3
votes
1answer
157 views

Multi-dimensional permanent

Is there a particularly natural / "correct" way of generalizing permanents to tensors? (I mean of course, 'square' tensors.) There seem to be very few resources on the matter. There needs to be a ...
2
votes
1answer
164 views

Vanishing of determinant of Cotton York tensor

suppose $\Omega \subset \mathbb{R}^3$ is a Riemannian manifold with $g= dx_1^2 + dx_2^2 + c(x_1,x_2,x_3)dx_3^2$. Is it true that $det(CY)=0$? Thanks