Regular Totally Nonnegative Loops Without Entire Matrix Logarithms

For positive a,b,c,d, put Q(a,b;t)=[[0,a],[bt,0]]. We prove that A(t)=exp Q(a,b;t) exp Q(c,d;t) has an infinitely supported regular totally nonnegative periodic unfolding, yet admits an entire complex matrix logarithm if and only if ad=bc. A Jordan trace-parity obstruction proves the nonexistence direction; proportional generators prove the converse. An explicit noncommuting example has rational Taylor coefficients. The examples contradict the single-logarithm assertion of Lemma 8.4 in arXiv:0812.0840v3 and show sharpness within regular TN foldings of the known Kutzschebauch–Studer two-exponential bound. That bound and general single-logarithm failures are credited prior work. The journal-version passage was not verified. This is not a full solution of the general AESW-type factorization request in AIM-LINEAR_ALGEBRA-0007, nor an absolute-priority claim. Exact Python and Node regression code supplements the written analytic proof. This English note is AI-assisted, originating-researcher self-audited and unrefereed. No independent peer review or proof-assistant verification is claimed; novelty remains undetermined.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-03
DOI
https://doi.org/10.5281/zenodo.23122701
Primary Topic
Matrix Theory and Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Regular Totally Nonnegative Loops Without Entire Matrix Logarithms

Alper Ferudun
Zenodo (CERN European Organization for Nuclear Research)
Matrix Theory and Algorithms
preprint

Regular Totally Nonnegative Loops Without Entire Matrix Logarithms

Alper Ferudun
preprint en

Abstract

For positive a,b,c,d, put Q(a,b;t)=[[0,a],[bt,0]]. We prove that A(t)=exp Q(a,b;t) exp Q(c,d;t) has an infinitely supported regular totally nonnegative periodic unfolding, yet admits an entire complex matrix logarithm if and only if ad=bc. A Jordan trace-parity obstruction proves the nonexistence direction; proportional generators prove the converse. An explicit noncommuting example has rational Taylor coefficients. The examples contradict the single-logarithm assertion of Lemma 8.4 in arXiv:0812.0840v3 and show sharpness within regular TN foldings of the known Kutzschebauch–Studer two-exponential bound. That bound and general single-logarithm failures are credited prior work. The journal-version passage was not verified. This is not a full solution of the general AESW-type factorization request in AIM-LINEAR_ALGEBRA-0007, nor an absolute-priority claim. Exact Python and Node regression code supplements the written analytic proof. This English note is AI-assisted, originating-researcher self-audited and unrefereed. No independent peer review or proof-assistant verification is claimed; novelty remains undetermined.

Zenodo (CERN European Organization for Nuclear Research)
Matrix Theory and Algorithms
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.