Claimed proof of the cyclicity conjecture of Perron–Frobenius theory for positive operators (Dobrick, GPT-5.6 used to simplify arguments)
Awaiting review
The takeaway
A single-author arXiv preprint claims to settle the cyclicity conjecture, open since the 1960s: the peripheral spectrum of every positive operator on a complex Banach lattice is cyclic. The author says he used GPT-5.6 models in an OpenCode harness for editing, simplifying some arguments and a literature review. All new contributions are his own. The proof has not been refereed.
Status
- Claim
Awaiting review
- Our reporting
- Medium confidence
- Verification
- Preprint only
- Importance
- 3 of 5
- Last verified
- 10 October 2026
Your AI and this story
- GPT-6 Astra160 days after its cutoff
- Claude Opus 5.599 days after its cutoff
- Gemini 3.8 Flash190 days after its cutoff
- Grok 4.7129 days after its cutoff
None of these four assistants can know about it. The closest, Claude Opus 5.5, stops 99 days before it.
Key facts
- Conjecture (Open Problem 1.1 in the paper): if T is a positive operator on a complex Banach lattice with spectral radius r(T) = 1 and λ is in the peripheral spectrum, then λ^k is in the spectrum of T for every integer k
- History, per the paper: studied in H. H. Schaefer’s Tübingen school in the 1960s–70s. Lotz and Krieger proved it for Abel-bounded operators, and later results added other growth conditions. All earlier results needed extra control of the operator’s or resolvent’s asymptotics
- Method: a spectral-domination theorem from Vesentini’s subharmonicity of the spectral radius (extending Räbiger–Wolff); torsion-operator averaging gives positive minorants that are asymptotically rotationally self-similar; an ultrapower argument makes this exact. The paper also gives a new proof of Lotz’s theorem for Abel-solvable operators
- AI disclosure (verbatim): ‘During the preparation of this work, the author used an OpenCode harness, custom-written auxiliary skills and large language models from OpenAI’s GPT-5.6 family for editorial assistance and to simplify some arguments. The statements of Proposition 2.1 and Proposition 2.2 were found by an AI-assisted literature review. In an earlier version of the paper, the notion of rotational self-similarity had a different AI-inspired name. The author reviewed and verified all AI-assisted material and takes full responsibility for the content of the manuscript. All new contributions are due to the author.’
- Not among the 722 manuscripts in OpenAI’s 6 Oct math catalogue (no match for cyclicity/peripheral/Perron in CONTENTS.md, checked 10 Oct)
What happened
Alexander Dobrick posted “On the Cyclicity Conjecture” (arXiv 2610.100931; the paper is dated 7 Sep 2026 and was posted 7 Oct). It claims a full answer to a question from the Perron–Frobenius theory of positive operators. For positive matrices it has been known since the early 20th century that the peripheral spectrum is cyclic. In infinite-dimensional Banach lattices it was proved only under extra growth conditions, such as Lotz–Krieger for Abel-bounded operators. The paper notes that the conjecture itself has no such condition.
The AI role is stated in the paper’s disclosure (quoted in full under key facts). GPT-5.6 models, run through an OpenCode harness with custom skills, were used for editing and to simplify some arguments, and an AI-assisted literature search turned up Propositions 2.1–2.2. The author says all new contributions are his own.
Why it matters
If the proof holds, a long-standing central problem in operator theory has been settled. It is also typical of autumn 2026 papers, in which a human-led result openly credits a coding-agent harness and frontier models for parts of the work. The claim is unverified: it is a fresh single-author preprint with no refereeing or formalisation yet. Treat the conjecture as “claimed resolved, pending verification”.
What is disputed or not yet verified
| Verification | Unrefereed single-author preprint; no formal proof; no expert assessment found as of 10 Oct 2026 |
|---|
Sources
2 sources from 1 site. Numbers match the chips in the text.
2 sources: 2 primary
Primary
Changes
- Filed from arXiv AI-use section; PDF disclosure read. Previously listed as a minor-role disclosure in the summer-2026 catalogue entry