Questions tagged [tensor]
The tensor tag has no summary.
163 questions
0
votes
0
answers
154
views
On tensor product and rank
I am getting confused by the tensor product. I would appreciate some basic insight.
I consider $M_2\otimes M_3$. (Here $M_n$ denotes the complex $n\times n$ matrices.) The dimension of this space is 4*...
- 109
1
vote
0
answers
122
views
Is there a generalization of Gamas's theorem that works for any finite permutation group?
Let $n$ be a positive integer and let $G$ be a subgroup of $S_n$. Let $\rho$ be an irreducible finite-dimensional representation of $G$ with character $\chi_\rho$.
Let
$$\pi_\rho = \frac{\chi_\rho(e)}{...
- 5,377
3
votes
0
answers
114
views
Duality for "sum of squares" tensors
Let $T$ be a symmetric tensor in $\left( \mathbb{R}^d \right)^{\otimes n}$ such that the polynomial $$\sum_{i_1,i_2, \ldots i_n}T_{i_1i_2 \ldots i_n} x_{i_1}^2 x_{i_2}^2 \ldots x_{i_n}^2$$ is a sum ...
3
votes
0
answers
238
views
Decomposition of tensor invariant under $SO(n)$
I am working with spherical harmonics on $S^n$ where orthonormal elements of $L^2(S^n)$ will be denoted $h_\alpha (x)$ i.e.:
$$
\int\mathrm{d}\Omega\;h_\alpha(x)h_\beta(x)=\delta_{\alpha\beta}
$$
I ...
- 31
0
votes
1
answer
357
views
Prove that a matrix is almost surely full rank
[Cross-posted from MS after 8 days without reply.] I have a real matrix $R_{ij} \in \mathbb{R}^{n \times m}$ whose entries are sampled iid from an absolutely continuous distribution $D$; a fixed real ...
- 165
1
vote
0
answers
110
views
Rank of tensors with a $G-$action
I've come across this question while trying to prove a divisibility criterion for the rank of symmetric tensors.
The problem can be stated in much more generality, and can be generalized as follows:
...
- 1,353
0
votes
0
answers
84
views
Least-square distance between an array of quadratic forms and a given positive vector
Suppose we are given a list of $N$ positive definite quadratic forms $X^TQ_k X$ (where $k\in[1,N]$ and
$Q_k\in\mathbb{R}^{p\times p}$ $\forall k$), and a positive vector $V$ of same length $N$ i.e. $V=...
- 1
5
votes
1
answer
263
views
Invariant theory for unitary groups $\mathcal{U}(n)$
I'm trying to understand the invariant theory of the unitary groups $\mathcal{U}(n)$ on tensor powers of their standard representations $V^{\otimes p} \otimes (V^*)^{\otimes q}$. Let $\mathcal{U}(n)$ ...
- 1,194
3
votes
1
answer
693
views
Question on Lorentzian geometry
I apologize in advance if this is a too basic question.
Let $(M,g)$ be a Lorentzian manifold with signature convention $(-,+,\dots,+)$. Now, lets suppose $X\in\Gamma(TM)$ defines a global time-...
user199422
0
votes
1
answer
227
views
Can the derivative of eigenvectors with respect to its components be taken as zero if all eigenvalues are equal?
I want to ask a couple of follow up questions to the question answered on the thread "Derivative of eigenvectors of a matrix with respect to its components".
I noticed that in the accepted ...
- 45
1
vote
0
answers
167
views
Space of all orthogonal partially complex $2\times2\times2$ tensors
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 $...
- 101
4
votes
0
answers
173
views
Space of all orthogonal $2\times2\times2$ tensors
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 ...
- 101
2
votes
0
answers
82
views
Adjoint to "strict twocategory of strict twofunctors"
Let C be the category of strict twofunctors, featuring the addition of a Grothendieck universe. Strict twocategories are categories enriched over the category of categories.
C has an internal hom ...
user531303
1
vote
0
answers
180
views
Can numerical differentiation be applied to tensor derivatives?
I know that for a 1D function, I can calculate the numerical derivative at every point, $\DeclareMathOperator{\d}{d\!} (x_1,y_1)$, with $\d y/\d x$ where $\d y = y_2 - y_0$ and $\d x = x_2 - x_0$. If ...
- 19
2
votes
1
answer
256
views
Combination of simple tensors - II
This is a follow-up question to Combination of simple tensors.
I am interested in devising an alternative norm (I mean, other than the usual $\pi$ or $\epsilon$ norms) in the tensor product of two ...
2
votes
1
answer
281
views
Combination of simple tensors
I aksed this question on Math Stack Exchange 6 days ago, with no answer: https://math.stackexchange.com/q/4875445/1297919
Let $X$ and $Y$ two Banach spaces and let $X\otimes Y$ their tensor product. ...
4
votes
1
answer
835
views
Bochner Laplacian in coordinates
Sorry if this is a too basic question, but I didn't find an answer anywhere:
The connection Laplacian, or Bochner Laplacian, is the differential operator acting on $k$-tensor fields $T\in\Gamma^{\...
user199422
5
votes
1
answer
350
views
Is the asymptotic rank of a tensor bounded by (naive) border rank?
Write $R(T)$ for the rank of an order-$3$ tensor $T \in \mathbb C^{m \times n \times p}$ over the complex numbers. If $T' \in \mathbb {C}^{m' \times n' \times p'}$ is another such tensor then let $T \...
- 11.5k
3
votes
1
answer
163
views
What is the best known bound for the bilinear complexity of $4\times 4$ matrices product
Assume we work on the complex field $\mathbb{C}$. And we use $\langle p,q,r\rangle$ to denote the bilinear complexity of product of a $p\times q$ matrix and a $q\times r$. Recently I read a paper on ...
- 191
5
votes
1
answer
226
views
What is expected (border) rank of the knonecker product of 3-tensors
Given two three order tensors $T$ and $S$ in $F^{m\times n\times p}$ and $F^{a\times b\times c}$. Clearly $\operatorname{rk}(T\otimes S)\le \operatorname{rk}(T)\operatorname{rk}(S)$. Does the equality ...
- 191
0
votes
1
answer
157
views
How far is the slice rank of a tensor from its CP rank
Assume we work on any infinite field and 3-ordered tensor. Clearly for any tensor $T$, we have $\operatorname{srk}(T)\le \operatorname{rk}(T)$. Here, $\operatorname{srk}(T)$ (resp. $\operatorname{rk}(...
- 191
1
vote
1
answer
187
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,691
4
votes
0
answers
166
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"?
...
- 525
1
vote
0
answers
542
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 ...
- 282
1
vote
0
answers
200
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
65
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,127
3
votes
0
answers
132
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 ...
- 191
1
vote
0
answers
93
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
0
votes
1
answer
249
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 $...
user199422
5
votes
2
answers
428
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} =...
- 75
6
votes
1
answer
922
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} = - ...
- 75
0
votes
1
answer
127
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 ...
5
votes
2
answers
761
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\...
- 923
6
votes
1
answer
806
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_{...
- 6,882
4
votes
1
answer
266
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,363
2
votes
0
answers
375
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
486
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
150
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
390
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?
- 48
1
vote
0
answers
80
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
1k
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,517
5
votes
0
answers
123
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,127
-1
votes
1
answer
122
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
156
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,...
- 283
0
votes
0
answers
170
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
233
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(...
- 111
3
votes
3
answers
846
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. ...
- 141
0
votes
0
answers
83
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
176
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
161
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,534