The tensor tag has no usage guidance.

**54**

votes

**11**answers

6k views

### Why are matrices ubiquitous but hypermatrices rare?

I am puzzled by the amazing utility and therefore ubiquity of
two-dimensional matrices in comparison to the relative
paucity of multidimensional arrays of numbers, hypermatrices.
Of course ...

**17**

votes

**3**answers

3k views

### Geometrical meaning of the Ricci Tensor and its Symmetry

Let $M$ be a smooth, pseudo-Riemannian manifold with $\dim(M) \ge 2.$ Let $\nabla$ be any affine connection on $M$. No reason for it to be the Levi-Civita connection. All we assume is that it has zero ...

**15**

votes

**4**answers

1k views

### Equations satisfied by the Riemann curvature tensor

It is well known that the Riemann curvature tensor of a metric satisfies
\begin{eqnarray}
R_{jikl}=-R_{ijkl}=R_{ijlk},(1)\\
R_{klij}=R_{ijkl},(2)\\
R_{i[jkl]}=0 \mbox{(1st Bianchi identity)}.(3)
...

**15**

votes

**1**answer

527 views

### Exponentiation of vector spaces?

This question occurred to me while thinking on another one here, Name for an operation on matrices?
Can one define in an invariant way a binary operation on finite-dimensional vector spaces - let us ...

**13**

votes

**4**answers

2k views

### Is there any way to rewrite a partial differential equation using language of differential forms, tensors, etc?

My question is: usually, a partial differential equation, for example, those coming from physics, is written in a language of vector calculus in a local coordinate. Is there any way (or any algorithm) ...

**13**

votes

**2**answers

1k views

### Who coined the name tensor and why?

Who coined the name "tensor" and why? What does the word "tensor" really mean, not the mathematical definition?

**10**

votes

**3**answers

835 views

### Best known bounds on tensor rank of matrix multiplication of 3×3 matrices

Years ago I attended a conference where they taught us that matrix multiplication can be represented by a tensor. The rank of the tensor is important, because putting it into minimal rank form ...

**9**

votes

**2**answers

1k views

### A generalization of Boolean matrix multiplication for order-3 tensors

The Boolean matrix product of two 0-1 $n \times n$ matrices $A$ and $B$ is the matrix $C$ defined as
$$C[i,j] = \vee_{k=1}^n (A[i,k] \wedge B[k,j]).$$ If $A = B$ and the matrix is an adjacency matrix ...

**8**

votes

**2**answers

330 views

### Does the hyperdeterminant calculate a quantity akin to the volume of a parallelepiped?

If $M$ is an $n \times n$ matrix, $|\det(M)|$ is the volume of the $n$-dimensional
parallelepiped spanned by the column vectors of $M$.
...

**7**

votes

**1**answer

264 views

### Recovering a smooth manifold from its tensor fields

1) Consider the algebra $\mathcal T (M) = \bigoplus \limits _{p, q \ge 0} \mathcal T ^{p, q} (M)$, where $\mathcal T ^{p, q} (M)$ is the space of tensor fields of type $(p,q)$. I should endow it with ...

**6**

votes

**1**answer

135 views

### Is $\max_{\|x\|_p=\|y\|_p=1} |\langle x, Ay\rangle|$ equivalent to $\max_{\|x\|_p=|} |\langle x, Ax\rangle|$ for symmetric $A$ & $p\geq 2$?

Let $A\in \mathbb{R}^{n\times n}$ be a symmetric matrix, and consider the $l_p$ norm ($p\geq 2$).
Can we prove that the following problems are equivalent:
$$\max_{\|x\|_p=\|y\|_p=1} \left| \langle x, ...

**5**

votes

**3**answers

3k views

### Hessian as a tensor, multi-dimensional taylor series, and generalizations

The Hessian matrix $\{\partial_i \partial_j f \}$ of a function $f:\mathbb{R}^n \to \mathbb{R}$ depends on the coordinate system you choose. If $x_1,\cdots,x_n$ and $y_1,\cdots,y_n$ are two sets of ...

**5**

votes

**0**answers

76 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

**2**answers

243 views

### Derivative of eigenvectors of a matrix with respect to its components

Suppose that $B$ is a real, positive-definitive symmetric ($3\times3$) matrix (more accurately, $B$ is a tensor) with distinct eigenvalues, and that we can write it as
$$
B= \sum_{i=1}^3 ...

**4**

votes

**1**answer

422 views

### Are constant connection coefficients uniquely determined by the (1,3) curvature coefficients?

Suppose that on a certain coordinate system the coefficients $\Gamma^i_{jk}$, $i,j,k=1,\cdots, n$, of a linear connection are constant. We do not require compatibility with a metric, however I am ...

**4**

votes

**2**answers

628 views

### Indexed tensor manipulation CAS

hello.
I am looking for tensor manipulation software that would allow me:
declare indices
declare results of contraction (or simplification rules)
allow algebraic simplifications and expansion
...

**4**

votes

**1**answer

566 views

### Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...

**4**

votes

**0**answers

45 views

### Is there a relation between the Hessian matrix and the structure Tensor?

for a 2 dimensional image, i am interested to find a relation between the Hessian
$H = \begin{pmatrix} \frac{\partial^2 I}{\partial x^2}&\frac{\partial^2 I}{\partial x \partial y}\\ ...

**4**

votes

**0**answers

150 views

### Obtaining the metric from the mixed Ricci tensor $R^i{}_j$

In chapter 5 of the book "Einstein Manifolds", Arthur Besse discusses the possibility to find the metric $g$ when knowing the Ricci curvature tensor $Ric(g)$ ($=R_{ij}$).
But what do we know about ...

**4**

votes

**0**answers

102 views

### Intuition for the tensor algebra? [closed]

As the question suggests, can someone give me their intuitions for working with the tensor algebra? Thanks in advance.
Here is my intuition/understanding for the tensor algebra. Given a ring $A$ ...

**3**

votes

**2**answers

1k views

### Maxwell Stress Tensor and Equations in Mathematician's Language [closed]

In my language, a differential two-form on $\mathbb{R}^4$ (viewed as a differentiable manifold with coordinates $t,x,y,z$) is a differentiable choice at each point of an alternating bilinear function ...

**3**

votes

**2**answers

494 views

### Derivative of an eigenvector with respect to his own 3x3 real symmetric matrix

$\mathbf{C}$ is a real, positive-definitive 3x3 symmetric matrix (I am thinking about the right Cauchy-Green tensor in solid mechanics). We perform eigendecomposition and get:
$$\mathbf{C} = ...

**3**

votes

**1**answer

1k views

### Levi-Civita symbol

Is the Levi-Civita symbol a tensor?
R. A. Sharipov afirm (In "Quick Introduction to Tensor Analysis", page 30) that "...the Levi-Civita symbol is NOT a tensor..."
...

**3**

votes

**1**answer

1k views

### Representation theory of (anti)self-dual tensors

I am using usual physics notations and I guess the physics motivations of this question are obvious.
Let a basis of the $SO(n,m)$ Lie algebra be denoted by $S^{\mu \nu}$ and the Lie algebra be, ...

**3**

votes

**0**answers

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

**2**

votes

**1**answer

124 views

### The Laplacian of an expression involving the Ricci tensor

While doing some computations on a compact Riemannian manifold I have reached the following expression:
$$ \Delta_y \big( Ric_y (\exp_y ^{-1} x, \exp_y ^{-1} x) \big) (x)$$
where $\Delta_y$ is the ...

**2**

votes

**1**answer

857 views

### Taylor's series for Lie groups

Let $G_1$ and $G_2$ be two (matrix) Lie groups, with $L(G_1)$ and $L(G_2)$ their respective Lie algebras.
I am interested to know if there is a well developed theory to approximate a (sufficiently) ...

**2**

votes

**1**answer

93 views

### Proof about affine connections

I'm reading Nomizu & Sasaki's "Affine Differential Geometry: Geometry of Affine Immersions" and I'm having some trouble with Proposition 1.4.
I have an immersed surface in $M \hookrightarrow ...

**2**

votes

**2**answers

410 views

### Calculating the Riemann Christoffel tensor for a diagonal metric

I am trying to calculate the entries of the Riemann curvature tensor $R^m_{\phantom{m}ijk}$ for the metric $g_{ij}$.
The Riemann-Christoffel tensor is given as
\begin{align}
R^m_{\phantom{m}ijk} = ...

**2**

votes

**1**answer

207 views

### How many flavors should a notational system offer for rank-1 tensors?

The notation for tensors is like the plumbing in a very old Vermont farmhouse. It may once have been intentionally designed, but after that it just evolved. As an example, it seems that depending on ...

**2**

votes

**0**answers

135 views

### Smoothness of a (given) global section of a vector bundle over G(2,6)

Let $G=Gr(2,6)$ the Grassmannian of two planes in $V=\mathbb C^6$, and let $\mathcal Q(1)$ the rank four quotient bundle on it twisted with $\mathcal O_G(1) \cong $ det$(S^*)$, $S$ being the ...

**2**

votes

**0**answers

59 views

### Mixed tensor index position significance

What is the significance of tensor index position?
For example the fourth order Riemann curvature tensor
\begin{align}
R^m_{ijk}
\end{align}
or
\begin{align}
R^{\phantom{i}m}_{i\phantom{m}jk}.
...

**2**

votes

**0**answers

33 views

### Tensor of Relative Bases

Suppose $U,V,W$ are the cyclotomic fields $\mathbb{Q}(\zeta_{m_3})$, $\mathbb{Q}_(\zeta_{m_2})$, and $\mathbb{Q}(\zeta_{m_1})$ respectively, where $m_1 \mid m_2 \mid m_3$ so that $U/V/W$ is a tower of ...

**1**

vote

**1**answer

137 views

### Petrov classification/Weyl scalars

There is one calculation in Chandrasekhar's "Mathematical Theory of Black Holes" that I cannot understand. Here is the setup:
We want to show that Petrov type D (i.e. two principal null directions) ...

**1**

vote

**1**answer

560 views

### A property on the Green-St Venant strain tensor

Green-St Venant strain tensor is defined by $E(u)={1\over 2}[\nabla u+(\nabla u)^T+(\nabla u)^T\nabla u]$, where $\nabla u$ is the displacement gradient.
Show that
$u\in H^1(\Omega), E(u)\in ...

**1**

vote

**1**answer

119 views

### Global geometry measures for Riemannian manifolds

I'm working on a stochastic algorithm and considering it to apply in case of any curved space (manifolds). But in order to make the algorithm as efficient as possible I want to include in it some ...

**1**

vote

**1**answer

124 views

### Number of linear independent equations

Is there any general rule to find the number of linearly independent equations such that
$$L_i(T_{\mu\nu},\partial_\eta T_{\mu\nu},\partial_\omega\partial_\eta T_{\mu\nu},...)=0$$
where $L_i$ is a ...

**1**

vote

**1**answer

327 views

### Decomposition of order-3 tensors over the complex numbers

This is a question about decomposition of order-3 tensors. The survey Tensor Decompositions and Applications give a good account of recent developments in this area.
Let $T$ be an order-3 tensor, ...

**1**

vote

**0**answers

27 views

### Divergence of a second order tensor [closed]

I think that I have found 2 seemingly conflicting sources relating to the divergence of a second order tensor. I am not sure which is correct.
Suppose you would like to compute the components of a ...

**1**

vote

**0**answers

46 views

### Possibility Of Curvature and/or Mellin based approach to (Non-linear) system Identification?

I have some experience in non-linear system identification (from an experimental point of view) using higher oder spectral analysis. I see this is the most popular way of identifying non-linearities ...

**1**

vote

**0**answers

117 views

### Null vector fields given Bondi metric

I'm trying to understand how to compute the null future-directed vector fields if I have a given (Bondi) metric
$g=-e^{2\nu}du^{2}-2e^{\nu+\lambda}dudr+r^{2}d\Omega$
with $d\Omega$-standard metric ...

**1**

vote

**0**answers

286 views

### How to find the tensor product of modules that we don't know a basis for them?

Hi
I know how to calculate some easy tensor products like $\mathbb{Z}/m\mathbb{Z} \otimes_{\mathbb{Z}} \mathbb{Z}/n\mathbb{Z}\cong_{\mathbb{Z}} \mathbb{Z}/(m,n)\mathbb{Z} $ or $F[X] \otimes_{F} F[Y] ...

**1**

vote

**0**answers

268 views

### tensor/hypermatrix analogues of $GL(n,\mathbb{C})$?

Please excuse me if this question turns out to be incredibly silly for one reason or another.
Are there tensor/hypermatrix analogues of $GL(n,\mathbb{C})$ that are interesting? What I'm mainly ...

**0**

votes

**1**answer

238 views

### Commutation of tensor products with inverse limits in a specific case

For $X,Y$ sets, let's denote $Y^X$ the set of all mappings $X\rightarrow Y$. If $Y(=R)$ is a ring, $R^X$ is a $R$-module (well, a bi-module but my question is - at first - concerning commutative ...

**0**

votes

**1**answer

96 views

### How does a high order tensor irreducible decompose? [closed]

I know the two tensor case, but how about high order?

**0**

votes

**2**answers

546 views

### Tensor algebra question [closed]

1)Why embedding of ( not necessarily finite-dimensional) vector spaces $V\rightarrow W$ produces embedding of tensor algebras $T(V)\rightarrow T(W)$.
I can prove it using Hamel basis in $W$ but is ...

**0**

votes

**1**answer

363 views

### Geometric interpretation of tracing [closed]

Let $(M,g)$ be a Riemannian manifold. Is it true that for any symmetric 2-tensor $\alpha$ we have:
$Trace_g(\alpha)=1/\omega_n\int_{S^{n-1}}\alpha(V,V)dvol(V)$
where $w_n$ is the volume of $S^{n-1}$?
...

**0**

votes

**0**answers

98 views

### Functional composition of Hadamard product

Let $\Bbb K$ be a ring. Are there universal functions $$f,h:\Bbb K^{n\times n}\times\Bbb K^{n\times n}\times\Bbb K^{n\times n}\times\Bbb K^{n\times n}\rightarrow\Bbb K^{n\times n}$$ $$g:\Bbb ...

**0**

votes

**0**answers

24 views

### Restrictions of potential tensor fields to toric subgroups

Let $G$ be a compact connected nonabelian Lie group and let $f$ be a symmetric tensor field of order $m\geq1$ on $G$.
Let $T\subset G$ be a translate of a torus subgroup of $G$ with $\dim(T)\geq1$.
...