Nonnegativity of the second largest eigenvalue of 4 times 4 tridiagonal stochastic matrices

Brando Vagenende, Brecht Verbeken, Marie-Anne Guerry

Pith reviewed 2026-05-11 01:48 UTC · model grok-4.3

classification 🧮 math.PR

keywords stochastic matricestridiagonal matriceseigenvaluesnonnegativityMarkov chainsirreducible matricesreducible matrices

0 comments

The pith

The second largest eigenvalue of every 4x4 tridiagonal stochastic matrix is nonnegative.

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

This paper proves that the second largest eigenvalue of an irreducible 4x4 tridiagonal stochastic matrix is nonnegative, confirming a conjecture by Ran and Teng. It further shows the same nonnegativity holds for reducible 4x4 tridiagonal stochastic matrices. Stochastic matrices describe transition probabilities of Markov chains, and their eigenvalues govern the speed and character of convergence to equilibrium. The result follows from the limited possibilities created by the fixed small size and the tridiagonal zero pattern combined with row sums of one.

Core claim

The authors prove that for every 4x4 tridiagonal stochastic matrix the second largest eigenvalue is nonnegative. The argument first settles the irreducible case, thereby resolving the Ran-Teng conjecture, and then extends the nonnegativity statement to all reducible cases by direct examination of the possible block structures.

What carries the argument

Direct algebraic analysis of the characteristic polynomial of a 4x4 tridiagonal matrix whose rows sum to one.

Load-bearing premise

The matrix must be exactly 4 by 4, tridiagonal, with nonnegative entries and each row summing to one.

What would settle it

Any explicit 4x4 tridiagonal stochastic matrix whose second largest eigenvalue is strictly negative would falsify the claim.

read the original abstract

The spectral study of nonnegative and more specifically stochastic matrices is an important topic in matrix theory. In this paper, we prove a conjecture, formulated by Ran and Teng, which states that the second largest eigenvalue of an irreducible $4\times4$ tridiagonal stochastic matrix is nonnegative. We establish this conjecture and extend the result to arbitrary $4\times4$ tridiagonal stochastic matrices, including both irreducible and reducible cases.

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.

Desk Editor's Note private letter to a colleague

The paper proves the Ran-Teng conjecture for 4x4 tridiagonal stochastic matrices by factoring the characteristic polynomial and applying Routh-Hurwitz to the resulting cubic.

read the letter

The paper proves the Ran-Teng conjecture that the second largest eigenvalue of an irreducible 4x4 tridiagonal stochastic matrix is nonnegative, and it extends the claim to reducible matrices too. They factor the characteristic polynomial as (λ-1) times a cubic, then use coefficient signs and the Routh-Hurwitz criterion to show the cubic's largest root is nonnegative. For reducible cases the same cubic factors control the other eigenvalues while 1 simply gains multiplicity. This is a clean algebraic argument that sticks to the nonnegativity and row-sum conditions without extra assumptions. It is new because the conjecture was open and the reducible extension fills a gap left by earlier work. The approach fits the small dimension well, where explicit polynomial analysis stays manageable. The stress-test description of the steps matches a direct, self-contained proof with no evident circularity or missing cases. One limitation is the tight focus on exactly 4x4 tridiagonal form. The method would not transfer easily to larger sizes or different patterns, though the paper makes no broader claims. A couple of concrete matrix examples showing the eigenvalue reaching zero would help readers see the boundary behavior, but they are not required for the algebraic result. This work targets specialists in the spectral theory of nonnegative matrices and analysts of small-state Markov chains. It supplies a precise structural fact useful for convergence or stability questions in those settings. The paper shows clear thinking by addressing the open conjecture head-on with standard tools. It deserves a serious referee. I would send it out for peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves the conjecture of Ran and Teng that the second-largest eigenvalue of any irreducible 4×4 tridiagonal stochastic matrix is nonnegative. It factors the characteristic polynomial as (λ−1) times a cubic, applies coefficient sign analysis together with the Routh–Hurwitz criterion to establish that the largest root of the cubic is nonnegative, and extends the same algebraic conditions to the reducible case by observing that eigenvalue 1 acquires higher multiplicity while the remaining roots continue to be governed by the cubic factors arising from the diagonal blocks.

Significance. If the derivation holds, the result supplies an explicit, self-contained algebraic verification of a concrete spectral property for 4×4 tridiagonal stochastic matrices, relying only on nonnegativity and row-sum conditions. The low-dimensional banded setting permits a complete case analysis that furnishes a benchmark for the broader study of eigenvalue locations in stochastic matrices and Markov-chain transition operators.

minor comments (3)

The abstract and introduction would benefit from a single sentence stating that the Routh–Hurwitz criterion is applied to the cubic factor after the (λ−1) term is extracted.
Notation for the off-diagonal entries (e.g., a_{i,i+1} versus b_i) should be introduced once and used uniformly in all displayed matrices and polynomial coefficients.
A short remark on the boundary case in which a reducible matrix has a zero on the subdiagonal would clarify that the cubic factors remain unchanged.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for the recommendation to accept. The report correctly captures both the algebraic approach via the characteristic polynomial and the extension to the reducible case.

Circularity Check

0 steps flagged

No significant circularity; direct algebraic proof of external conjecture

full rationale

The paper proves the Ran-Teng conjecture for irreducible 4×4 tridiagonal stochastic matrices by explicitly factoring the characteristic polynomial as (λ−1) times a cubic, then using coefficient sign patterns and the Routh-Hurwitz criterion to establish nonnegativity of the remaining roots. The same cubic factors govern the reducible case via block-diagonal structure. All steps rely only on the defining properties (nonnegative entries, row sums equal to 1) and standard matrix algebra; no parameters are fitted, no self-definitions appear, and the cited conjecture is external (Ran and Teng). The derivation is therefore self-contained and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not describe the proof steps, so no specific free parameters, ad-hoc axioms, or invented entities can be identified. The result rests on the standard definition of a stochastic matrix and the tridiagonal structure.

pith-pipeline@v0.9.0 · 5370 in / 1175 out tokens · 44208 ms · 2026-05-11T01:48:54.691342+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages

[1]

2000 , publisher=

The theory of matrices , author=. 2000 , publisher=

work page 2000
[2]

Proceedings of the American Mathematical Society , volume=

Some results on doubly stochastic matrices , author=. Proceedings of the American Mathematical Society , volume=

work page
[3]

Linear Algebra and Its Applications , volume=

Bounds for eigenvalues of doubly stochastic matrices , author=. Linear Algebra and Its Applications , volume=. 1972 , publisher=

work page 1972
[4]

Linear Algebra and Its Applications , volume=

The inverse eigenvalue problem for symmetric doubly stochastic matrices , author=. Linear Algebra and Its Applications , volume=. 2004 , publisher=

work page 2004
[5]

Symmetry , volume=

On spectral properties of doubly stochastic matrices , author=. Symmetry , volume=. 2020 , publisher=

work page 2020
[6]

Linear Algebra and Its Applications , volume=

On a spectral property of doubly stochastic matrices and its application to their inverse eigenvalue problem , author=. Linear Algebra and Its Applications , volume=. 2012 , publisher=

work page 2012
[7]

and Forbes, A.F

Bartholomew, D.J. and Forbes, A.F. and McClean, S.I. , Publisher =. Statistical techniques for manpower planning. Second edition. , Year =

work page
[8]

Models, algorithms and applications , volume=

Markov chains , author=. Models, algorithms and applications , volume=. 2006 , publisher=

work page 2006
[9]

1971 , publisher=

Markov chains , author=. 1971 , publisher=

work page 1971
[10]

Non-negative matrices: an introduction to theory and applications , author=

work page
[11]

Karpelevich , Isbn =

F.I. Karpelevich , Isbn =. Eleven Papers Translated from the Russian: On characteristic roots of matrices with nonnegative elements. , Year =

work page
[12]

and Dynkin, E.B

Dmitriev, N.A. and Dynkin, E.B. , Isbn =. Eleven Papers Translated from the Russian: Characteristic roots of stochastic matrices. , Year =

work page
[13]

arXiv preprint arXiv:1910.01829 , year=

On the eigenvalue region of permutative doubly stochastic matrices , author=. arXiv preprint arXiv:1910.01829 , year=

work page arXiv 1910
[14]

Stochastic Processes and their Applications , volume=

Monotone matrices and monotone Markov processes , author=. Stochastic Processes and their Applications , volume=. 1977 , publisher=

work page 1977
[15]

Special Matrices , volume=

On monotone Markov chains and properties of monotone matrix roots , author=. Special Matrices , volume=. 2022 , publisher=

work page 2022
[16]

IEEE Signal Processing Magazine , volume=

The Perron-Frobenius theorem: some of its applications , author=. IEEE Signal Processing Magazine , volume=. 2005 , publisher=

work page 2005
[17]

Empirical Economics , volume=

Markov chains, eigenvalues and the stability of economic growth processes , author=. Empirical Economics , volume=. 2023 , publisher=

work page 2023
[18]

Mathematical Modelling of Systems , volume=

On a new method of Markov chain reduction , author=. Mathematical Modelling of Systems , volume=. 1995 , publisher=

work page 1995
[19]

Philadelphia, PA, USA: SIAM , year=

Applied Linear Algebra and Matrix Analysis , author=. Philadelphia, PA, USA: SIAM , year=

work page
[20]

Advances in Applied Probability , volume=

On equal-input and monotone Markov matrices , author=. Advances in Applied Probability , volume=. 2022 , publisher=

work page 2022
[21]

The review of financial studies , volume=

A Markov model for the term structure of credit risk spreads , author=. The review of financial studies , volume=. 1997 , publisher=

work page 1997
[22]

Conlisk, John , TITLE =. J. Math. Sociol. , FJOURNAL =. 1990 , NUMBER =. doi:, URL =

work page 1990
[23]

1988 , publisher=

Nonnegative matrices , author=. 1988 , publisher=

work page 1988
[24]

SIAM review , volume=

Inverse eigenvalue problems , author=. SIAM review , volume=. 1998 , publisher=

work page 1998
[25]

, author=

On spectrum of Metzler matrices. , author=. Przeglad Elektrotechniczny , volume=

work page
[26]

Linear Algebra and Its Applications , volume=

A new statement about the theorem determining the region of eigenvalues of stochastic matrices , author=. Linear Algebra and Its Applications , volume=. 1997 , publisher=

work page 1997
[27]

Linear and Multilinear Algebra , volume=

On a conjecture about the eigenvalues of doubly stochastic matrices , author=. Linear and Multilinear Algebra , volume=. 2007 , publisher=

work page 2007
[28]

Experimental Mathematics , volume=

The doubly stochastic single eigenvalue problem: A computational approach , author=. Experimental Mathematics , volume=. 2022 , publisher=

work page 2022
[29]

Linear Algebra and Its Applications , volume=

Cyclic polygons, roots of polynomials with decreasing nonnegative coefficients, and eigenvalues of stochastic matrices , author=. Linear Algebra and Its Applications , volume=. 1990 , publisher=

work page 1990
[30]

Linear Algebra and Its Applications , volume=

Conjectures about determining the regions of eigenvalues of stochastic and doubly stochastic matrices , author=. Linear Algebra and Its Applications , volume=. 2022 , publisher=

work page 2022
[31]

Demystifying the Karpelevi

Munger, Devon N and Nickerson, Andrew L and Paparella, Pietro , journal=. Demystifying the Karpelevi. 2024 , publisher=

work page 2024
[32]

The Karpelevi

Kirkland, Stephen and Laffey, Thomas and. The Karpelevi. Journal of Mathematical Analysis and Applications , volume=. 2020 , publisher=

work page 2020
[33]

Linear Algebra and Its Applications , volume=

Proofs of conjectures on the Karpelevich arcs in the region of eigenvalues of stochastic matrices , author=. Linear Algebra and Its Applications , volume=. 2020 , publisher=

work page 2020
[34]

Stochastic matrices realising the boundary of the Karpelevi

Kirkland, Stephen and. Stochastic matrices realising the boundary of the Karpelevi. Linear Algebra and Its Applications , volume=. 2022 , publisher=

work page 2022
[35]

A matricial view of the Karpelevi

Johnson, Charles R and Paparella, Pietro , journal=. A matricial view of the Karpelevi. 2017 , publisher=

work page 2017
[36]

Powers of Karpelevi

Joshi, Priyanka and Kirkland, Stephen and. Powers of Karpelevi. Linear Algebra and Its Applications , year=

work page
[37]

Realizing Sule

Paparella, Pietro and Thrall, Amber R , journal=. Realizing Sule. 2019 , publisher=

work page 2019
[38]

Linear and Multilinear Algebra , volume=

Row stochastic matrices similar to doubly stochastic matrices , author=. Linear and Multilinear Algebra , volume=. 1981 , publisher=

work page 1981
[39]

SIAM journal on matrix analysis and applications , volume=

An eigenvalue region for Leslie matrices , author=. SIAM journal on matrix analysis and applications , volume=. 1992 , publisher=

work page 1992
[40]

Journal of Mathematical Sociology , volume=

Monotone mobility matrices , author=. Journal of Mathematical Sociology , volume=. 1990 , publisher=

work page 1990
[41]

Zeitschrift f

Stochastically monotone Markov chains , author=. Zeitschrift f. 1968 , publisher=

work page 1968
[42]

Mathematics , volume=

Star-Convexity of the Eigenvalue Regions for Stochastic Matrices and Certain Subclasses , author=. Mathematics , volume=. 2025 , publisher=

work page 2025
[43]

Linear and Multilinear Algebra , volume=

A note on an inverse problem for nonnegative matrices , author=. Linear and Multilinear Algebra , volume=. 1978 , publisher=

work page 1978
[44]

Transactions of the American Mathematical Society , volume=

Perron similarities and the nonnegative inverse eigenvalue problem , author=. Transactions of the American Mathematical Society , volume=

work page
[45]

Stochastic matrices with real characteristic values , author=. Dokl. Akad. Nauk SSSR , volume=

work page
[46]

The Electronic Journal of Linear Algebra , volume=

The nonnegative inverse eigenvalue problem with prescribed zero patterns in dimension three , author=. The Electronic Journal of Linear Algebra , volume=

work page