REVIEW 1 major objections 3 minor 35 references
Very Basics of Tensors with Graphical Notations: Unfolding, Calculations, and Decompositions
T0 review · 1 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read One graphical notation—a node per tensor, an edge per mode—is shown to cover inner, outer, Hadamard, Kronecker, and Khatri-Rao products, and to make tensor decompositions easier to learn.
desk verdict A genuinely useful graphical tutorial with a real, fixable error: the QR/SVD equations in Sec 6.1/6.2 omit a mode permutation for n<N. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the tensor network diagram: an $N$th-order tensor is a vertex with $N$ emanating edges, a scalar is a vertex with no edges, and contraction—connecting two edges of equal length—is the only operation. Two auxiliary drawn objects carry the argument: the semicircular folding/unfolding node, which represents vectorization and its inverse as a tensor of suitable order, and the super-diagonal tensor (a node whose entries are $1$ only when all indices coincide), which represents the Hadamard product and, by extension, the Khatri-Rao product after unfolding. These pictures turn algebraic identities into edge-rewiring rules; for example, the Kronecker-product identity is shown in one figure by sliding boxes past each other, and the expensive versus cheap contraction order in a tensor network is visible as which intermediate tensor is created.
What would settle it
Write a two-line check in a row-major language: define a 2-by-2 matrix $A = [[1,2],[3,4]]$, let $\mathrm{vec}_{\text{row}}(A) = (1,2,3,4)$, and compute $\text{fold}(\mathrm{vec}_{\text{row}}(A))$ by reshaping back; the resulting matrix differs from $A$. Equivalently, with $G$ the identity, evaluate $\mathrm{vec}(AGB^{\top})$ against $(B \otimes A)\mathrm{vec}(G)$; they disagree unless factors are transposed, showing the drawn identity is convention-bound.
Extended reading notes
Core claim
The central assertion is that the obstacles a beginner faces in tensor literature—confusing definitions of vectorization, matricization, and the many names of products—are largely notation problems, and that tensor network diagrams dissolve them. Concretely, the note proves that the inner product, outer product, Hadamard product, Kronecker product, Khatri-Rao product, mode product, and tensor product are all special cases of connecting edges between tensor nodes, and that reshaping operations (mode permutation, vectorization, folding, matricization) are linear maps that can themselves be drawn as tensors with a semicircular node. On this foundation, identities such as $(A \otimes B)(C \otimes D)=AC \otimes BD$ and $\mathrm{vec}(AGB^{\top})=(B \otimes A)\mathrm{vec}(G)$ are read directly off the pictures, and every major decomposition—QR, SVD, CP, Tucker, tensor-train, and variants—appears as a small tensor network whose optimization (alternating least squares per factor) follows from the displayed unfolding formulas.
Load-bearing premise
Everything rests on one convention: vectorization uses column-major ordering, so the folding and unfolding diagrams are exact inverses only when the reader's software stores tensors in that same order.
Editorial extensions
If this is right
- Every product a reader meets in tensor papers—from vector inner products to multi-tensor contractions—has one uniform drawing, so a beginner can check the meaning of a symbol with a picture.
- Reshaping operations are linear and invertible, so any identity stated for a tensor can be restated for its vectorization or matricization without changing the mathematics.
- The Hadamard product becomes diagonal-matrix multiplication after vectorization, and its operator is the super-diagonal tensor; this links elementwise operations to linear algebra.
- The unfolding formulas for CP and Tucker, such as $X_{(1)} = A\Lambda(C \odot B)^{\top}$, fall out of the same diagrams, which is exactly what an alternating-least-squares implementation needs.
- Tensor-train decompositions reduce to chaining third-order cores, and the TT-SVD algorithm is the repeated pattern of SVD on the remaining sub-train, visible in the figures.
Reading between the lines
- One testable consequence of the note's pedagogical claim: students taught with both the formula and the diagram should make fewer transposition and index-order mistakes than students taught formulas alone; a controlled study could check this.
- The column-major linearization is a convention, not a mathematical necessity. Any software that uses row-major storage must transpose the factors in $\mathrm{vec}(AGB^{\top})=(B \otimes A)\mathrm{vec}(G)$; readers porting the diagrams to such software should treat the drawn identities as holding after that adjustment.
- The same graphical dictionary can be carried further than the note goes: any contraction pattern—including hierarchical Tucker, tensor rings, and fully-connected networks—is already representable, and the note's rules for contraction cost apply directly to those variants.
- A library that implements these diagrams as a typing system (each edge carries its length) could verify whether user-defined tensor formulas match an identity or whether an implicit transpose is hiding.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This lecture note proposes tensor network (Penrose) diagrams as a pedagogical notation for basic tensor operations and decompositions. It defines tensors, modes, fibers, slices, and reshaping operations (mode permutation, vectorization, matricization, folding), then presents graphical descriptions of Hadamard, inner, outer, Kronecker, Khatri-Rao, mode, and tensor products. It concludes with QR, SVD, CP, Tucker, TT, and related decompositions, using diagrams to illustrate standard identities and algorithms such as TT-SVD. The paper's intended contribution is expository: to lower the entry barrier to tensor decomposition literature by making the building blocks visually explicit.
Significance. The manuscript is a well-organized tutorial rather than a research contribution, and its value rests on correctness and clarity. Its strengths are the consistent use of diagrams to prove standard identities (e.g., (A⊗B)(C⊗D)=AC⊗BD in Fig. 30, vec(AGB^T)=(B⊗A)vec(G) in Fig. 31, and (A⊙B)^T(A⊙B)=A^T A ⊙ B^T B in Fig. 33) and the explicit treatment of vectorization and unfolding conventions. Under the column-major convention fixed in Eq. (24), most checked identities are consistent. However, the tensor QR/SVD statements in Section 6 contain a mode-order error that affects the correctness of the central decomposition diagrams; once corrected, the note would be a useful reference for students and practitioners.
major comments (1)
- [Section 6.1, Eq. (201); Section 6.2, Eq. (212); Figs. 43–44] The claimed equivalence X^T_(n) = Q^T_(n) R ⇔ X = Q n×1 R is false for n<N under the tensor-product definition of Sec. 5.13. That definition contracts the n-th mode of Q with the first mode of R and concatenates the remaining modes of Q followed by the remaining mode of R, so Q n×1 R has mode order (1,...,n−1,n+1,...,N,n). In contrast, X has mode order (1,...,N). For example, when N=3 and n=1, Q 1×1 R equals permute_{[2,3,1]}(X), not X. The same issue occurs in Eq. (212), where U n×1 ΣV^T also produces a permuted version of X for n<N. The fix is to include the inverse mode permutation (e.g., X = permute^{-1}_{[1,...,n-1,n+1,...,N,n]}(Q n×1 R)) or to introduce a mode-inserting tensor product; without this correction, the graphical QR and SVD representations misstate the mode order of the reconstructed tensor.
minor comments (3)
- [Section 4.2, Eq. (24)] The recursive definition of vec relies on the column-major convention. Please add an explicit statement that all reshaping identities are convention-dependent and that readers using row-major software must apply transposition adjustments; otherwise the pedagogical promise of the diagrams is weakened for a large part of the intended audience.
- [Section 5.13] The general tensor-product definition should specify the output mode order explicitly for the case of multiple contraction pairs and for the zero-contraction case in Eq. (186); the current notation is understandable from the examples but not fully formal.
- [Various] There are several typographical errors that should be corrected: 'entrie' at Eq. (111), 'vectorrization' in Section 4.2, 'representad' after Eq. (171), 'all orghogonality' in Section 6.4, and 'prduct' in the caption of Figure 38.
Circularity Check
No significant circularity: standard tensor algebra exposition; sole self-citation is terminological and not load-bearing.
full rationale
This lecture note is a self-contained exposition of established tensor definitions and identities. The central content is built forward from explicit entrywise definitions (vectorization in Sec. 4.2, mode product in Sec. 5.12, tensor product in Sec. 5.13), and the displayed identities are derived from those definitions by linearity and contraction, for example Eqs. (142), (151), (172)-(174), (217)-(220), and (223)-(226). No parameter is fitted to data and no quantity is predicted from its own definition. The only self-citation is [18] (Matsui and Yokota) in Sec. 5.4, where the alignability condition for broadcasting is given a name; this reference is terminological and does not support any of the paper's proofs or decompositions. No uniqueness theorem from the authors' prior work is invoked, and no ansatz is imported via citation. The suspicious identities in Secs. 6.1-6.2 (Eqs. (200)-(201) and (211)-(212)) involve a mode-order mismatch: with the tensor product defined in Sec. 5.13, Q n x 1 R has the contracted R-mode appended after the remaining modes of Q, so for n<N it equals a mode permutation of X rather than X itself. This is an internal mathematical correctness issue, not a circularity: X is not defined as the right-hand side, nor is the formula fitted from X. The derivation chain is therefore self-contained; the identities can be checked against standard tensor algebra without reference to the paper's conclusions.
Assumptions & free parameters
assumptions (6)
- domain assumption Existence of SVD for any matrix
- domain assumption Eckart-Young theorem gives the optimal rank-K approximation
- domain assumption Existence of QR decomposition for any tall matrix
- standard math Standard linear algebra identities for Kronecker and Khatri-Rao products
- domain assumption Validity of the graphical notation as a calculus for contractions
- domain assumption CP, Tucker, TT, TR, and FCTN decompositions are well-defined as in the cited literature
Cite this review
Pith. "Pith review of Very Basics of Tensors with Graphical Notations: Unfolding, Calculations, and Decompositions." pith.science (2026). https://pith.science/paper/S7JL7TFW
@misc{pith2026241116094,
author = {Pith},
title = {Pith review of: Very Basics of Tensors with Graphical Notations: Unfolding, Calculations, and Decompositions},
year = {2026},
howpublished = {\url{https://pith.science/paper/S7JL7TFW}},
note = {Machine review of arXiv:2411.16094}
}
read the original abstract
Tensor network diagram (graphical notation) is a useful tool that graphically represents multiplications between multiple tensors using nodes and edges. Using the graphical notation, complex multiplications between tensors can be described simply and intuitively, and it also helps to understand the essence of tensor products. In fact, most of matrix/tensor products including inner product, outer product, Hadamard product, Kronecker product, and Khatri-Rao product can be written in graphical notation. These matrix/tensor operations are essential building blocks for the use of matrix/tensor decompositions in signal processing and machine learning. The purpose of this lecture note is to learn the very basics of tensors and how to represent them in mathematical symbols and graphical notation. Many papers using tensors omit these detailed definitions and explanations, which can be difficult for the reader. I hope this note will be of help to such readers.
Figures
Figures from the paper (49 more)
Reference graph
Works this paper leans on
-
[1]
M. Amiridi, N. Kargas, and N. D. Sidiropoulos. Low-rank characteristic tensor density estimation part I: Foundations. IEEE Transactions on Signal Processing, 70:2654–2668, 2022. 3
work page 2022
-
[2]
M. Amiridi, N. Kargas, and N. D. Sidiropoulos. Low-rank characteristic tensor density estimation part II: Compression and latent density esti- mation. IEEE Transactions on Signal Processing , 70:2669–2680, 2022. 3
work page 2022
-
[3]
J. D. Carroll and J.-J. Chang. Analysis of individual differences in mul- tidimensional scaling via an N-way generalization of “Eckart-Young” de- composition. Psychometrika, 35(3):283–319, 1970. 3, 52
work page 1970
-
[4]
A. Cichocki, N. Lee, I. Oseledets, A.-H. Phan, Q. Zhao, and D. P. Mandic. Tensor networks for dimensionality reduction and large-scale optimiza- tion: Part 1 low-rank tensor decompositions. Foundations and Trends® in Machine Learning , 9(4-5):249–429, 2016. 3
work page 2016
-
[5]
A. Cichocki, D. Mandic, L. De Lathauwer, G. Zhou, Q. Zhao, C. Caiafa, and H. A. Phan. Tensor decompositions for signal processing applications: From two-way to multiway component analysis. IEEE Signal Processing Magazine, 32(2):145–163, 2015. 3
work page 2015
-
[6]
A. Cichocki, A.-H. Phan, Q. Zhao, N. Lee, I. Oseledets, M. Sugiyama, and D. P. Mandic. Tensor networks for dimensionality reduction and large- scale optimization: Part 2 applications and future perspectives. Founda- tions and Trends® in Machine Learning , 9(6):431–673, 2017. 3
work page 2017
-
[7]
A. Cichocki, R. Zdunek, A. H. Phan, and S.-I. Amari. Nonnegative Matrix and Tensor Factorizations: Applications to Exploratory Multi-Way Data Analysis and Blind Source Separation. John Wiley & Sons, Ltd, 2009. 26
work page 2009
-
[8]
L. De Lathauwer, B. De Moor, and J. Vandewalle. A multilinear singular value decomposition. SIAM Journal on Matrix Analysis and Applications, 21(4):1253–1278, 2000. 56 65
work page 2000
Show all 35 references
-
[9]
Eckart and G
C. Eckart and G. Young. The approximation of one matrix by another of lower rank. Psychometrika, 1(3):211–218, 1936. 52
1936
-
[10]
Y. N. Fern´ andez, M. K. Ritter, M. Jeannin, J.-W. Li, T. Kloss, T. Louvet, S. Terasaki, O. Parcollet, J. von Delft, H. Shinaoka, and X. Waintal. Learning tensor networks with tensor cross interpolation: new algorithms and libraries. arXiv preprint arXiv:2407.02454 , 2024. 3, 10
2024 arXiv
-
[11]
Grasedyck
L. Grasedyck. Hierarchical singular value decomposition of tensors. SIAM Journal on Matrix Analysis and Applications , 31(4):2029–2054, 2010. 63
2010
-
[12]
explanatory
R. A. Harshman. Foundations of the PARAF AC procedure: Models and conditions for an “explanatory” multimodal factor analysis. UCLA Work- ing Paper in Phonetics , 16:1–84, 1970. 3, 52
1970
-
[13]
F. L. Hitchcock. The expression of a tensor or a polyadic as a sum of products. Journal of Mathematics and Physics , 6(1-4):164–189, 1927. 52
1927
-
[14]
Holtz, T
S. Holtz, T. Rohwedder, and R. Schneider. The alternating linear scheme for tensor optimization in the tensor train format. SIAM Journal on Scientific Computing , 34(2):A683–A713, 2012. 3
2012
-
[15]
R. A. Horn and C. R. Johnson. Matrix Analysis . Cambridge University Press, second edition, 2012. 49
2012
-
[16]
A. K. Jain. Fundamentals of Digital Image Processing . Prentice-Hall,
-
[17]
T. G. Kolda and B. W. Bader. Tensor decompositions and applications. SIAM Review, 51(3):455–500, 2009. 3, 26
2009
-
[18]
Matsui and T
Y. Matsui and T. Yokota. Broadcast product: Shape-aligned element- wise multiplication and beyond. arXiv preprint arXiv:2409.17502 , 2024. 4, 30
2024 arXiv
-
[19]
Memmel, C
E. Memmel, C. Menzen, J. Schuurmans, F. Wesel, and K. Batselier. Po- sition: Tensor networks are a valuable asset for green AI. In Proceedings of ICML , 2024. 3
2024
-
[20]
Novikov, D
A. Novikov, D. Podoprikhin, A. Osokin, and D. P. Vetrov. Tensorizing neural networks. Proceedings of NeurIPS, 28, 2015. 3 66
2015
-
[21]
G. S. Novikov, M. E. Panov, and I. V. Oseledets. Tensor-train density estimation. In Proceedings of Conference on Uncertainty in Artificial Intelligence, pages 1321–1331. PMLR, 2021. 3, 12
2021
-
[22]
I. V. Oseledets. Tensor-train decomposition. SIAM Journal on Scientific Computing, 33(5):2295–2317, 2011. 3, 58, 62
2011
-
[23]
R. Penrose. Applications of negative dimensional tensors. Combinatorial Mathematics and its Applications , 1:221–244, 1971. 3, 10
1971
-
[24]
S.-J. Ran, E. Tirrito, C. Peng, X. Chen, L. Tagliacozzo, G. Su, and M. Lewenstein. Tensor Network Contractions: Methods and Applications to Quantum Many-Body Systems . Springer Nature, 2020. 3, 58
2020
-
[25]
Sengupta, S
R. Sengupta, S. Adhikary, I. Oseledets, and J. Biamonte. Tensor networks in machine learning. European Mathematical Society Magazine, (126):4– 12, 2022. 3
2022
-
[26]
N. D. Sidiropoulos, L. De Lathauwer, X. Fu, K. Huang, E. E. Papalex- akis, and C. Faloutsos. Tensor decomposition for signal processing and machine learning. IEEE Transactions on Signal Processing, 65(13):3551– 3582, 2017. 3
2017
-
[27]
Stoudenmire and D
E. Stoudenmire and D. J. Schwab. Supervised learning with tensor net- works. Proceedings of NeurIPS, 29, 2016. 3, 12
2016
-
[28]
G. Strang. Linear Algebra and Learning from Data. Wellesley-Cambridge Press Cambridge, 2019. 26
2019
-
[29]
J. K. Taylor. An introduction to graphical tensor notation for mechanistic interpretability. arXiv preprint arXiv:2402.01790 , 2024. 3, 10
2024 arXiv
-
[30]
L. R. Tucker. Implications of factor analysis of three-way matrices for measurement of change. Problems in Measuring Change , pages 122–137,
-
[31]
L. R. Tucker. The extension of factor analysis to three-dimensional ma- trices. Contributions to Mathematical Psychology , pages 109–127, 1964. 54
1964
-
[32]
L. R. Tucker. Some mathematical notes on three-mode factor analysis. Psychometrika, 31(3):279–311, 1966. 54 67
1966
-
[33]
T. Xiang. Density Matrix and Tensor Network Renormalization . Cam- bridge University Press, 2023. 58
2023
-
[34]
Q. Zhao, G. Zhou, S. Xie, L. Zhang, and A. Cichocki. Tensor ring de- composition. arXiv preprint arXiv:1606.05535 , 2016. 3, 63
2016 arXiv
-
[35]
Zheng, T.-Z
Y.-B. Zheng, T.-Z. Huang, X.-L. Zhao, Q. Zhao, and T.-X. Jiang. Fully- connected tensor network decomposition and its application to higher- order tensor completion. In Proceedings of AAAI Conference on Artificial Intelligence, pages 11071–11078, 2021. 64 68
2021
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.