{"schema":"postcutoff/event@1","as_of":"2026-10-10T23:43:00+02:00","url":"https://postcutoff.com/e/2026-10-07-cyclicity-conjecture-positive-operators-dobrick/","md":"https://postcutoff.com/e/2026-10-07-cyclicity-conjecture-positive-operators-dobrick/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-07-cyclicity-conjecture-positive-operators-dobrick","date":"2026-10-07","date_precision":"day","short_title":"Claimed proof of the cyclicity conjecture of Perron–Frobenius theory for positive operators (Dobrick, GPT-5.6 used to simplify arguments)","deck":null,"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Dobrick: On the Cyclicity Conjecture (arXiv 2610.10093)","url":"https://arxiv.org/abs/2610.10093","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"Glück: Growth rates and the peripheral spectrum of positive operators (arXiv 1512.07483), background on the open problem","url":"https://arxiv.org/abs/1512.07483","type":"paper","group":"primary","domain":"arxiv.org"}],"official":2,"filed":"2026-10-10","updated":"2026-10-10","orgs":["Alexander Dobrick"],"title":"Claimed proof of the cyclicity conjecture of Perron–Frobenius theory for positive operators (Dobrick, GPT-5.6 used to simplify arguments)","summary":"On 7 Oct 2026 Alexander Dobrick posted arXiv 2610.10093, \"On the Cyclicity Conjecture\". It claims that the peripheral spectrum of every positive operator on a complex Banach lattice is cyclic, with no growth assumptions. The paper calls this a central conjecture of infinite-dimensional Perron–Frobenius theory that had stayed open since the 1960s. AI played a supporting role: GPT-5.6 models in an OpenCode harness were used for editing and \"to simplify some arguments\", and an AI-assisted literature review found two of the propositions used. The proof is an unrefereed preprint by one author, and we found no expert reaction as of 10 Oct.","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)"],"key_numbers":[],"tags":["math","functional-analysis","operator-theory","banach-lattices","perron-frobenius","gpt-5-6","opencode","unverified"],"science":{"field":"mathematics","subfield":"functional analysis / spectral theory of positive operators (Perron–Frobenius theory on Banach lattices)","problem":"Cyclicity conjecture: is the peripheral spectrum of every positive operator on a complex Banach lattice cyclic?","result":"Claimed yes in full generality, with no growth assumptions, via spectral domination and rotationally self-similar critical minorants.","open_since":"1960s","ai_system":["GPT-5.6","OpenCode"],"human_role":"Human-led with AI tools: GPT-5.6 for editing, simplifying some arguments and the literature review; the author says all new contributions are his","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed single-author preprint; no formal proof; no expert assessment found as of 10 Oct 2026"},"status":"pending","shock":"","short":"Cyclicity conjecture (positive operators)"},"body_md":"## What happened\n\nAlexander Dobrick posted \"On the Cyclicity Conjecture\" ([arXiv 2610.10093](https://arxiv.org/abs/2610.10093); 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.\n\nThe 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.\n\n## Why it matters\n\nIf 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\".","disputed":[{"label":"Verification","text":"Unrefereed single-author preprint; no formal proof; no expert assessment found as of 10 Oct 2026","sources":[]}],"related":[{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":71,"official":13,"filed":"2026-10-07","updated":"2026-10-10","orgs":["OpenAI"]},{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":9,"official":4,"filed":"2026-09-30","updated":"2026-10-10","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]}],"people":[{"id":"mike-krieger","name":"Mike Krieger","url":"https://postcutoff.com/person/mike-krieger/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-10","type":"filed","text":"Created from arXiv AI-use section; PDF disclosure read. Previously listed as a minor-role disclosure in the summer-2026 catalogue entry"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-10","run":null,"sources_read":"ArXiv AI-use section; PDF disclosure read.","updated":"2026-10-10","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":160,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":99,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":190,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":129,"in_training_data":false}],"short_url":null}