REVIEW 2 major objections
Nonnegative tensors have s-irreducibility and s-primitivity that recover all matrix characterizations as special cases.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.3
2026-06-30 03:04 UTC pith:O65FFM25
load-bearing objection The paper proposes s-irreducibility and s-primitivity but the abstract gives no definitions or checks, leaving the matrix reduction claim unverified. the 2 major comments →
An Alternative Framework for Irreducibility and Primitivity of Nonnegative Tensors
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By introducing s-irreducibility and s-primitivity, the paper supplies a single framework that contains every relevant matrix result on irreducibility and primitivity as the order-one case and simultaneously generates additional statements that hold for tensors of arbitrary order.
What carries the argument
The definitions of s-irreducibility and s-primitivity, which reduce exactly to the classical matrix notions when the tensor reduces to a matrix.
Load-bearing premise
The new s-irreducibility and s-primitivity notions remain mathematically consistent and produce no contradictions when applied to tensors of order greater than two.
What would settle it
A concrete nonnegative tensor of order three for which the s-irreducibility classification differs from the outcome expected by any existing tensor definition, or for which the associated higher-order Markov chain exhibits behavior inconsistent with the predicted primitivity.
If this is right
- Every known matrix theorem on irreducibility and primitivity follows immediately by setting the tensor order to two.
- New sufficient and necessary conditions for irreducibility become available for tensors that appear in higher-order Markov chain models.
- Primitivity tests can be carried out directly on the tensor without first reducing the problem to a matrix.
- The framework supplies a uniform language that treats matrices and tensors of all orders inside one set of statements.
Where Pith is reading between the lines
- The same definitions may allow direct transfer of convergence-rate estimates from matrix Markov chains to their higher-order counterparts.
- Algorithms that decide matrix primitivity could be lifted to decide tensor primitivity without requiring separate proofs.
- Applications in multilinear systems beyond Markov chains, such as certain tensor eigenvalue problems, become accessible under the same irreducibility umbrella.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes an alternative framework for irreducibility and primitivity of nonnegative tensors via the new notions of s-irreducibility and s-primitivity. Motivated by higher-order Markov chains and matrix characterizations, it claims that the framework recovers the relevant matrix results as special cases while expanding existing tensor results, with implications for applied fields.
Significance. If the proposed notions are shown to recover the classical matrix characterizations exactly when the tensor order is 2 and to be mathematically consistent for higher-order tensors, the framework could provide a unified approach with potential utility in higher-order Markov chain analysis.
major comments (2)
- Abstract: the central claim that the framework 'includes the relevant results on matrices as its special cases' is unsupported, as the manuscript provides neither the definitions of s-irreducibility and s-primitivity nor any derivation or explicit check showing that these notions reduce to strong connectivity of the digraph (for irreducibility) and eventual entrywise positivity of a power (for primitivity) when the tensor order m=2.
- Abstract: no explicit comparison or proof is given establishing that the new notions expand existing tensor results without introducing inconsistencies, leaving the expansion claim unverified.
Simulated Author's Rebuttal
We thank the referee for the detailed comments. We address each major comment below, clarifying the support provided in the manuscript and indicating revisions where appropriate to strengthen the presentation.
read point-by-point responses
-
Referee: Abstract: the central claim that the framework 'includes the relevant results on matrices as its special cases' is unsupported, as the manuscript provides neither the definitions of s-irreducibility and s-primitivity nor any derivation or explicit check showing that these notions reduce to strong connectivity of the digraph (for irreducibility) and eventual entrywise positivity of a power (for primitivity) when the tensor order m=2.
Authors: The definitions of s-irreducibility and s-primitivity are given in Section 2. Section 3 contains the explicit verification that these notions reduce precisely to the classical matrix characterizations when m=2: s-irreducibility corresponds to strong connectivity of the associated digraph, and s-primitivity corresponds to the existence of a power that is entrywise positive. We will revise the abstract to reference these sections and briefly note the reductions. revision: yes
-
Referee: Abstract: no explicit comparison or proof is given establishing that the new notions expand existing tensor results without introducing inconsistencies, leaving the expansion claim unverified.
Authors: Section 5 provides a comparison with prior tensor notions of irreducibility and primitivity, showing that the new framework is consistent with and strictly generalizes several existing results while avoiding inconsistencies through the use of the auxiliary parameter s. To make this more prominent, we will add a short explicit statement in the abstract and ensure the comparison is highlighted in the introduction. revision: yes
Circularity Check
No circularity; new definitions form an independent generalization.
full rationale
The paper introduces s-irreducibility and s-primitivity as an alternative motivated by matrix characterizations and higher-order Markov chains. No equations, fitted parameters, or self-citation chains are exhibited that reduce the central claims (inclusion of matrix results as special cases, expansion of tensor results) to inputs by construction. The framework is presented as a proposal whose validity rests on external benchmarks and definitional consistency when m=2, with no load-bearing self-referential steps identified.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard characterizations of irreducibility and primitivity for nonnegative matrices hold and serve as the base case.
read the original abstract
Motivated by some recent studies on higher order Markov chains and well-known characterizations for irreducibility and primitivity of nonnegative matrices, we propose in this paper an alternative framework for irreducibility and primitivity of nonnegative tensors, giving rise to the concepts of s-irreducibility and s-primitivity. This framework includes the relevant results on matrices as its special cases, yet it expands existing results regarding irreducibility and primitivity for tensors. In addition to its tensor theoretic significance, such a framework has important implications for applied fields, especially when it comes to higher order Markov chains.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.