pith. sign in

arxiv: 1907.09291 · v1 · pith:JSCLLVB2new · submitted 2019-07-22 · 🧮 math.NA · cs.NA

Reverse-order law for core inverse of tensors

Pith reviewed 2026-05-24 18:00 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords core inversetensorsEinstein productreverse-order lawmultilinear systemsgeneralized inversesPoisson problem
0
0 comments X

The pith

Sufficient and necessary conditions are established for the reverse-order law of the core inverse of tensors under the Einstein product.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper works with the core inverse of tensors defined via the Einstein product, a notion introduced only recently. It derives conditions that are both necessary and sufficient for the reverse-order law to hold, so the core inverse of a product equals the product of the individual core inverses taken in reverse order. Additional results address mixed-type versions of this law. The core inverse is applied to obtain solutions for multilinear systems of tensor equations. An explicit demonstration solves the Poisson problem inside this multilinear framework.

Core claim

The notion of the core inverse of tensors with the Einstein product was introduced very recently. Sufficient and necessary conditions for the reverse-order law of this inverse are established. New results related to the mixed-type reverse-order law for core inverse are presented. Core inverse solutions of multilinear systems of tensors via the Einstein product are discussed, and the approach is demonstrated for solving the Poisson problem in the multilinear system framework.

What carries the argument

The core inverse of a tensor with respect to the Einstein product, together with the rank and range conditions that make the reverse-order law (A * B)^# = B^# * A^# hold.

If this is right

  • The reverse-order law holds exactly when the identified sufficient and necessary conditions on the tensors are met.
  • Mixed-type reverse-order laws hold under the additional relations derived in the paper.
  • Multilinear tensor systems possess core-inverse solutions whenever the core inverse exists.
  • The Poisson equation admits an explicit solution when recast as a multilinear system and solved via the core inverse.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The conditions may guide the design of algorithms that compute core inverses for large tensor arrays without forming the full product first.
  • Similar rank-based criteria could be tested for other generalized inverses of tensors under the same product.
  • The multilinear Poisson example suggests the method may apply to other linear PDEs discretized on tensor grids.
  • Numerical stability of the resulting solutions could be checked on low-order test tensors that meet the conditions.

Load-bearing premise

The core inverse of each tensor in the statements is assumed to exist.

What would settle it

A concrete pair of tensors A and B satisfying the stated rank and range conditions for which (A * B)^# does not equal B^# * A^#.

Figures

Figures reproduced from arXiv: 1907.09291 by Jajati Kesahri Sahoo, Ratikanta Behera.

Figure 1
Figure 1. Figure 1: Solution of the multilinear system for different values of [PITH_FULL_IMAGE:figures/full_fig_p022_1.png] view at source ↗
read the original abstract

The notion of the core inverse of tensors with the Einstein product was introduced, very recently. This paper we establish some sufficient and necessary conditions for reverse-order law of this inverse. Further, we present new results related to the mixed-type reverse-order law for core inverse. In addition to these, we discuss core inverse solutions of multilinear systems of tensors via the Einstein product. The prowess of the inverse is demonstrated for solving the Poisson problem in the multilinear system framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper builds on the recently introduced core inverse for tensors under the Einstein product. It derives sufficient and necessary conditions for the reverse-order law ((AB)^# = B^# A^#) to hold, presents results on mixed-type variants of this law, and shows how the core inverse yields solutions to multilinear tensor systems, with a demonstration on the Poisson problem.

Significance. If the derivations hold, the work extends matrix core-inverse theory to the tensor setting with the Einstein product, supplying explicit conditions under which the reverse-order law applies and a concrete method for solving multilinear systems. This could be useful for structured tensor computations in applications such as discretized PDEs.

major comments (2)
  1. [Abstract, §1] Abstract and §1: All stated sufficient/necessary conditions for the reverse-order law and the mixed-type variants, as well as the core-inverse solution method for multilinear systems, are conditional on the core inverse existing for the tensors involved. No new existence criteria or independent verification of existence within the Einstein-product framework are supplied; the results therefore inherit the standing assumption from the cited prior reference without additional analysis.
  2. [Application section (Poisson problem)] The demonstration for the Poisson problem is presented as an application of the core-inverse solution method, but because existence is not re-derived or guaranteed inside the manuscript, the numerical example only illustrates the method where the imported existence criterion already holds.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We respond to each major comment below.

read point-by-point responses
  1. Referee: [Abstract, §1] Abstract and §1: All stated sufficient/necessary conditions for the reverse-order law and the mixed-type variants, as well as the core-inverse solution method for multilinear systems, are conditional on the core inverse existing for the tensors involved. No new existence criteria or independent verification of existence within the Einstein-product framework are supplied; the results therefore inherit the standing assumption from the cited prior reference without additional analysis.

    Authors: We agree that all results are conditional on the existence of the core inverses, as established in the cited prior reference introducing the core inverse for tensors under the Einstein product. The manuscript's focus is the derivation of necessary and sufficient conditions for the reverse-order law (and mixed-type variants) assuming existence, together with the application to multilinear systems; new existence criteria lie outside the stated scope. In the revised version we will explicitly restate the standing existence assumption in the abstract and §1 to make the conditional nature of the results fully transparent. revision: partial

  2. Referee: [Application section (Poisson problem)] The demonstration for the Poisson problem is presented as an application of the core-inverse solution method, but because existence is not re-derived or guaranteed inside the manuscript, the numerical example only illustrates the method where the imported existence criterion already holds.

    Authors: The Poisson-problem example is intended solely as an illustration of how the core-inverse solution method applies to a concrete multilinear system once the existence conditions from the prior reference are met. We will add a clarifying sentence in the application section noting that the numerical demonstration assumes the relevant core inverses exist according to the imported criterion. revision: yes

Circularity Check

0 steps flagged

No significant circularity; conditions derived independently under existence prerequisite

full rationale

The paper assumes the core inverse exists (as introduced in cited prior work) and derives sufficient/necessary conditions for reverse-order laws plus applications to multilinear systems. These are presented as mathematical results without any quoted reduction of the claimed laws to fitted parameters, self-definitions, or load-bearing self-citations that force the outcomes by construction. The existence assumption is a standard prerequisite rather than a circular step within this manuscript's derivations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is visible, so the ledger is necessarily incomplete. No free parameters are mentioned. The central claims rest on the prior definition of the core inverse and on the algebraic properties of the Einstein product, both treated as background.

axioms (2)
  • domain assumption The core inverse of a tensor (as defined in the cited recent work) exists for the tensors under consideration.
    The abstract presupposes this existence before stating conditions for the reverse-order law.
  • standard math The Einstein product obeys the usual associativity and distributivity rules needed for inverse manipulations.
    Implicit in any algebraic treatment of tensor inverses via this product.

pith-pipeline@v0.9.0 · 5596 in / 1406 out tokens · 20132 ms · 2026-05-24T18:00:04.412462+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · 3 internal anchors

  1. [1]

    D. T. Barwick and J. D. Gilbert. Generalizations of the reverse or der law with related results. Linear Algebra and Appl. , 8:345–349, 1974

  2. [2]

    T. S. Baskett and I. J. Katz. Theorems on products of EPr matrices. Linear Algebra and Appl. , 2:87–103, 1969

  3. [3]

    Behera, S

    R. Behera, S. Maji, and R. N. Mohapatra. Weighted moore-penr ose inverses of arbitrary-order tensors. arXiv preprint arXiv:1812.03052 , 2018

  4. [4]

    Behera and D

    R. Behera and D. Mishra. Further results on generalized inverse s of tensors via the Einstein product. Linear Multilinear Algebra , 65(8):1662–1682, 2017

  5. [5]

    Behera, A

    R. Behera, A. K. Nandi, and J. K. Sahoo. Further results on the drazin inverse of even order tensors. arXiv preprint arXiv:1904.10783 , 2019

  6. [6]

    Brazell, N

    M. Brazell, N. Li, C. Navasca, and C. Tamon. Solving multilinear syst ems via tensor inversion. SIAM J. Matrix Anal. Appl. , 34(2):542–570, 2013

  7. [7]

    C. Cao, X. Zhang, and X. Tang. Reverse order law of group inver ses of products of two matrices. Appl. Math. Comput. , 158(2):489–495, 2004

  8. [8]

    De Lathauwer, B

    L. De Lathauwer, B. De Moor, and J. Vandewalle. A multilinear singu lar value decomposition. SIAM J. Matrix Anal. Appl. , 21(4):1253–1278, 2000

  9. [9]

    de Silva and L.-H

    V. de Silva and L.-H. Lim. Tensor rank and the ill-posedness of the b est low-rank approximation problem. SIAM J. Matrix Anal. Appl. , 30(3):1084–1127, 2008

  10. [10]

    C. Y. Deng. Reverse order law for the group inverses. J. Math. Anal. Appl. , 382(2):663–671, 2011

  11. [11]

    Einstein

    A. Einstein. The foundation of the general theory of relativity . Annalen der Physik , 49(7):769–822, 1916

  12. [12]

    T. N. E. Greville. Note on the generalized inverse of a matrix prod uct. SIAM Rev. , 9:249, 1966

  13. [13]

    Ishteva, P.-A

    M. Ishteva, P.-A. Absil, S. Van Huffel, and L. De Lathauwer. Bes t low multilinear rank approximation of higher-order tensors, based on the Riemannian trust-region s cheme. SIAM J. Matrix Anal. Appl. , 32(1):115–135, 2011

  14. [14]

    Ji and Y

    J. Ji and Y. Wei. Weighted Moore-Penrose inverses and fundam ental theorem of even-order tensors with Einstein product. Front. Math. China , 12(6):1319–1337, 2017

  15. [15]

    Ji and Y

    J. Ji and Y. Wei. The Drazin inverse of an even-order tensor an d its application to singular tensor equations. Comput. Math. Appl. , 75(9):3402–3413, 2018

  16. [16]

    T. G. Kolda and B. W. Bader. Tensor decompositions and applicat ions. SIAM Rev. , 51(3):455–500, 2009. 23

  17. [17]

    J. B. Kruskal. Three-way arrays: rank and uniqueness of trilin ear decompositions, with application to arithmetic complexity and statistics. Linear Algebra and Appl. , 18(2):95–138, 1977

  18. [18]

    W. Lai, D. Rubin, and E. Krempl. Introduction to Continuum Mechanics . Butterworth Heinemann, Oxford, 2009

  19. [19]

    Gradient-based iterative algorithms for solving Sylvester tensor equations and the associated tensor nearness problems

    M. Liang and B. Zheng. Gradient-based iterative algorithms for solving sylvester tensor equations and the associated tensor nearness problems. arXiv preprint arXiv:1811.10378 , 2018

  20. [20]

    Liang and B

    M. Liang and B. Zheng. Further results on Moore-Penrose inve rses of tensors with application to tensor nearness problems. Comput. Math. Appl. , 77(5):1282–1293, 2019

  21. [21]

    Liang, B

    M.-l. Liang, B. Zheng, and R.-j. Zhao. Tensor inversion and its ap plication to the tensor equations with Einstein product. Linear Multilinear Algebra , 67(4):843–870, 2019

  22. [22]

    Mishra and K

    D. Mishra and K. Panigrahy. Reverse-order law of tensors rev isited. arXiv preprint arXiv: 1809.07017 , 2018

  23. [23]

    Panigrahy, R

    K. Panigrahy, R. Behera, and D. Mishra. Reverse-order law fo r the moore–penrose inverses of tensors. Linear Multilinear Algebra , pages 1–19, 2018

  24. [24]

    Panigrahy and D

    K. Panigrahy and D. Mishra. Reverse-order law for weighted mo ore–penrose inverse of tensors. arXiv preprint arXiv:1901.01527, 2019

  25. [26]

    J. K. Sahoo, R. Behera, P. S. Stanimirovic, V. N. Katsikis, and H . Ma. Core and core-ep inverses of tensors. arXiv preprint arXiv:1905.07874 , 2019

  26. [27]

    X. Shi, Y. Wei, and S. Ling. Backward error and perturbation bo unds for high order Sylvester tensor equation. Linear Multilinear Algebra , 61(10):1436–1446, 2013

  27. [28]

    N. D. Sidiropoulos, L. De Lathauwer, X. Fu, K. Huang, E. E. Pap alexakis, and C. Faloutsos. Tensor decomposition for signal processing and machine learning. IEEE Trans. Signal Process. , 65(13):3551– 3582, 2017

  28. [29]

    Stanimirovic, M

    P. Stanimirovic, M. Ciric, V. Katsikis, C. Li, and H. Ma. Outer and ( b,c) inverses of tensors. Linear Multilinear Algebra, pages 1–32, 2018

  29. [30]

    L. Sun, B. Zheng, C. Bu, and Y. Wei. Moore-Penrose inverse of tensors via Einstein product. Linear Multilinear Algebra, 64(4):686–698, 2016

  30. [31]

    L. Sun, B. Zheng, Y. Wei, and C. Bu. Generalized inverses of ten sors via a general product of tensors. Front. Math. China , 13(4):893–911, 2018

  31. [32]

    Sun and Y

    W. Sun and Y. Wei. Inverse order rule for weighted generalized in verse. SIAM J. Matrix Anal. Appl. , 19(3):772–775, 1998. 24