{"id":"fea363a4-62ac-49b9-8b19-ba2de8ff2bb5","arxiv_id":"2608.11743","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Claims that artin algebras with representation bound at most four are exactly the wedged-string (bound three) and quadri-biserial (bound four) algebras, but the Kronecker algebra disproves the bound-four direction.","lead":"The paper defines the representation bound of an artin algebra as the maximal length of its indecomposable modules and claims a complete classification for algebras with bound at most four. The classification introduces new classes of biserial algebras, but a standard example invalidates the main theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.5.5's final step assumes the AR quiver is one component; the Kronecker algebra is a quadri-string algebra with radical cubed zero whose AR quiver has components with arbitrarily long modules, so the classification collapses.","rationale":"The reader's verdict identifies the same soft spot: the proof of Theorem 4.5.5 jumps from closure of length-at-most-four modules under irreducible maps to equality with the whole Auslander-Reiten quiver. The Kronecker algebra shows the jump is invalid and is a genuine internal counterexample under the paper's own definitions, not merely a disagreement with a conventional classification. The algebra is quadri-string with radical cubed zero, representation-infinite, and contains indecomposable modules of arbitrarily large length, directly contradicting Theorem 4.5.5 and hence the main classification Theorem 5.4.1. The paper develops substantial machinery in Sections 2 and 4, but the final connectivity assertion carries the entire conclusion and is unsupported. Therefore the rejection is warranted; no change to the reader's verdict is needed.","tokens_in":41724,"tokens_out":9498,"duration_ms":101931,"concrete_test":"Take A=kQ with Q the two-vertex quiver with two parallel arrows (the Kronecker algebra). Compute its Auslander-Reiten quiver explicitly: the preprojective component has indecomposable modules of dimension (n+1,n) for all n≥0, while the component containing the simple projective-injective module S_2 is just {S_2}. Verify that A satisfies every clause of Definition 4.1.1: indecomposable projectives have lengths 3 and 1, rad P_1 = S_2⊕S_2, I_{S_2}=S_2 is uniserial, and J^2=0. If this computation is correct, the final line of the proof of Theorem 4.5.5 (\"Γ modA = C\") is false, and Theorem 4.5.5 fails for a quadri-string algebra with radical cubed zero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the last paragraph of the proof of Theorem 4.5.5. After showing that the class F of modules of length at most four is closed under predecessors and successors, the authors write: \"Let C be a connected component of Γ modA containing a simple module S. Since S∈F, we conclude that C⊆F... It is then well known that Γ modA = C; see, for example, [6, (VI.1.4)].\" This assertion is false for representation-infinite connected algebras, and it is exactly what the theorem needs to prove. The Kronecker algebra A=kQ with Q:1⇉2 is a concrete counterexample. Its indecomposable projectives have lengths 3 and 1; rad P_1 = S_2⊕S_2; I_{S_2}=S_2 is uniserial; and J^2=0, so A satisfies Definition 4.1.1 of a quadri-string algebra with radical cubed zero. Yet A is representation-infinite: its preprojective component contains indecomposable modules with dimension vectors (n+1,n), hence lengths 2n+1 for every n≥0, while the component containing the simple projective-injective module S_2 is just the singleton {S_2}. Thus F is closed in the stated sense but is not the whole AR quiver, and the inference Γ modA = C is invalid. Since Theorem 5.4.1 depends directly on Theorem 4.5.5, the central classification claim is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the representation bound of an artin algebra as the supremum of the lengths of its indecomposable finite-length modules, develops techniques for computing almost split sequences and lower bounds for lengths of Auslander-Reiten translates, and claims to classify artin algebras of representation bound n for every positive integer n ≤ 4. The announced classifications for bounds three and four rest on Theorem 4.5.5, which asserts that every quadri-biserial algebra has representation bound at most four, and on Theorem 5.3.4, which asserts that wedged-string algebras with radical cubed zero have representation bound at most three.","tokens_in":41921,"tokens_out":9899,"duration_ms":108034,"significance":"The intended classification would be a substantial contribution to the representation theory of artin algebras if it were correct, and the paper contains several technically interesting lemmas, especially the almost split sequence computations in Sections 2 and 4 and the lower-bound estimates in Section 5.1. However, the central claims are false: the Kronecker algebra is a quadri-string algebra with radical cubed zero satisfying the paper's definitions, and it has indecomposable modules of arbitrarily large length. Because the main theorems are contradicted by a standard example, the classification does not provide a valid description of algebras of representation bound three or four.","major_comments":[{"comment":"The final step of the proof is invalid. After showing that the class F of modules of length at most four is closed under predecessors and successors, the authors write: \"Let C be a connected component of Γ modA containing a simple module S. Since S∈F, we conclude that C⊆F... It is then well known that Γ modA = C; see, for example, [6, (VI.1.4)].\" This inference assumes that the whole Auslander-Reiten quiver is one connected component, which is false for representation-infinite connected algebras. The Kronecker algebra A=kQ with Q:1⇉2 is a concrete counterexample: it is a string algebra with J^2=0, the projective P1 has length 3 and radical S2⊕S2, and I_S2=S2 is uniserial, so Definition 4.1.1 holds; yet its preprojective component contains indecomposable modules of dimension vector (n+1,n), hence of length 2n+1 for arbitrarily large n. Thus F is closed in the stated local sense but is not the whole AR quiver, and Theorem 4.5.5 is false.","section":"Theorem 4.5.5 (proof, final paragraph)"},{"comment":"The same Kronecker algebra also contradicts the wedged-string statements. In Definition 5.3.1, P1 is an astride biserial projective with radP1=S2⊕S2 and I_S2=S2 uniserial, so A is a wedged-string algebra with radical cubed zero; the definition does not require the two simple summands to be non-isomorphic, and the paper explicitly adds non-isomorphism only when needed, as in Lemma 4.1.4. Proposition 5.3.3(1) and the sufficiency direction of Theorem 5.3.4 therefore claim representation bound at most three for an algebra that has indecomposable modules of every odd length, which is impossible.","section":"Proposition 5.3.3 and Theorem 5.3.4"},{"comment":"The classification of representation bound four is unsupported because its proof depends directly on the false Theorem 4.5.5 and on Theorem 5.3.4. Moreover, the Kronecker algebra is simultaneously quadri-biserial and wedged-string with radical cubed zero, so it lies in the intersection of the two classes that Theorem 5.4.1 attempts to separate; the asserted dichotomy between \"quadri-biserial and not wedged-string\" and \"wedged-string with radical cubed zero\" is therefore not a valid partition of the relevant algebras.","section":"Theorem 5.4.1"}],"minor_comments":[{"comment":"There are several typographical errors in the proof, including \"connecetd\", \"containg\", and \"indeco mpoable\".","section":"Theorem 4.5.5"},{"comment":"There are repeated spelling errors in mathematical terms: \"biberial\" in Theorem 4.2.3(2), \"co-satride\" near the end of the proof of Theorem 4.2.3, and \"Loewy leng length\" in Sublemma 3 of the proof of Theorem 5.4.1.","section":"Sections 3 and 4"},{"comment":"The cited result is misapplied: it does not state that the Auslander-Reiten quiver of a connected artin algebra is a single component, and in fact representation-infinite algebras such as the Kronecker algebra have many components.","section":"Theorem 4.5.5, reference [6, (VI.1.4)]"}],"recommendation":"reject","confidential_remarks":"The central theorem is contradicted by the Kronecker algebra, which is a standard and well-understood example. This is not a presentation issue or a missing hypothesis that could be repaired locally; the claimed classification of representation bound four is false as stated. I therefore recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know about arXiv:2608.11743. The representation-bound framework is a sensible organizing idea, and the paper contains some genuinely reusable technical machinery. But the central classification theorem is wrong, and the counterexample is the Kronecker algebra.\n\nThe good parts first. The representation bound is a natural invariant, and the paper correctly handles bounds 1 and 2. Section 5.1 proves lower bounds for lengths of AR-translates that are clean and likely useful beyond this paper. The almost split sequence computations in Section 2 for uniserial modules over arbitrary artin algebras (Theorems 2.2.1–2.2.5) are nontrivial and may be worth citing independently. The bound-3 classification is explicitly credited to Tachikawa in the finite-dimensional case, so the genuinely new advertised result is bound 4.\n\nThe problem is Theorem 4.5.5, the claim that every indecomposable module over a quadri-biserial algebra has length at most four. The proof shows that the class F of modules of length ≤4 is closed under predecessors and successors. Then, for a component C containing a simple module, C⊆F. The next line is the whole weight: \"It is then well known that Γ modA = C; see [6, (VI.1.4)].\" That is false for connected representation-infinite algebras. The Kronecker algebra, path algebra of 1⇉2, is a quadri-string algebra with radical cubed zero under the paper's Definition 4.1.1: P1 has length 3 with radP1=S2⊕S2, I_S2 is uniserial, J^2=0, and the same holds on the opposite side. It is not representation-finite; its preprojective component contains modules of dimension (n+1,n), hence length 2n+1 for every n. So Theorem 4.5.5 is false as stated, and Theorems 5.3.3 and 5.4.1 collapse with it. The citation does not rescue the step; the AR quiver of a connected algebra is not one component in general.\n\nThis is not a fitting or circularity issue. The lemmas leading up to 4.5.5 may be fine locally; the failure is in the global inference. The paper also does not appear to hide anything: Remark 5.3.5 is honest about the bound-3 case.\n\nWho should read it: someone interested in the AR-theoretic tools in Sections 2 and 4, or in seeing a clean high-level counterexample. The advertised classification should not be used. If this lands on a journal desk, it deserves a referee (the error is subtle enough that a good report is useful), but the likely verdict is rejection unless the authors find an additional hypothesis that rules out Kronecker and its relatives.\n\nMy recommendation: engage with it as a technical preprint, not as a classification result.","headline":"The representation-bound idea is useful and the AR-theoretic toolbox is worth a look, but the main classification theorem is false: the Kronecker algebra is a quadri-biserial algebra with modules of arbitrary length.","tokens_in":42546,"tokens_out":15148,"would_cite":false,"duration_ms":148521,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16D90","16G20","16G70","16E35"],"pacs":[],"model":"deepseek-v4-flash","headline":"Artin algebras with modules bounded by length four are exactly the quadri-biserial ones, except the wedged-string cases.","keywords":["representation bound","artin algebras","biserial algebras","quadri-biserial algebras","almost split sequences","Auslander-Reiten translates","uniserial modules","string algebras"],"falsifier":"Exhibit a connected quadri-string algebra with radical cubed zero (as defined in Definition 4.1.1) that is representation-infinite and has an indecomposable module of length greater than four; such an algebra would directly contradict Theorem 4.5.5 and hence the necessity direction of the bound-4 classification Theorem 5.4.1.","tokens_in":41371,"feed_emoji":"🧩","tokens_out":10785,"duration_ms":102415,"temperature":0.7,"pith_summary":"This paper introduces the representation bound of a representation-finite artin algebra—the largest length of an indecomposable module—and uses it as an organizing invariant. It classifies all such algebras of bounds 1 through 4, with the main theorem stating that an algebra has representation bound 4 exactly when it is quadri-biserial and not a wedged-string algebra with radical cubed zero. Along the way the authors develop methods to compute almost split sequences for uniserial end-terms and to establish lower bounds on lengths of Auslander–Reiten translates. The classification yields an explicit description of all indecomposable modules and almost split sequences in the bound-4 case, which is the first boundary where biserial structure becomes essential.","feed_headline":"Bound-4 algebras are quadri-biserial, except wedged-string","feed_subtitle":"One theorem pins down all artin algebras whose indecomposable modules stop at length four.","key_machinery":"Quadri-biserial algebras (Definition 4.1.1): biserial artin algebras in which every indecomposable projective module in the algebra and its opposite has length at most 4, with two additional injectivity conditions on the simple summands arising from the radical. The proof machinery consists of a duality-based technique that computes almost split sequences whose end-terms are uniserial (Theorems 2.2.1–2.2.5), lower bounds for the lengths of Auslander–Reiten translates of simple modules and of socle factors or radicals (Propositions 5.1.1 and 5.1.2), and a reduction (Proposition 4.3.2) showing that the representation theory of a quadri-biserial algebra is captured by a quadri-string algebra with radical cubed zero, where all almost split sequences are computed explicitly in Section 4.4.","core_discovery":"On its own terms, the paper's central discovery is a classification theorem: for a connected artin algebra, the representation bound is 4 if and only if the algebra is quadri-biserial and not a wedged-string algebra with radical cubed zero (Theorem 5.4.1). The bound-3 classification says these are exactly wedged-string algebras with radical cubed zero excluding Nakayama algebras with radical squared zero, and bound-2 algebras are Nakayama algebras of Loewy length two. The technical core is Theorem 4.5.5, asserting that every indecomposable module over a quadri-biserial algebra has length at most 4, which is proved by reducing to quadri-string algebras with radical cubed zero and then showing the class of modules of length at most 4 is closed under irreducible maps.","pith_inferences":["The proof of Theorem 4.5.5 assumes that the Auslander–Reiten quiver of a quadri-string algebra with radical cubed zero is a single connected component; this is not automatic for representation-infinite string algebras, so the theorem as stated would need either an added hypothesis (such as representation-finiteness) or a different argument to close that gap.","If the classification is correct, the representation bound behaves like a coarse invariant that detects the transition from biserial geometry at bound 4 to the more restrictive wedged-string geometry at bound 3; one could test whether higher bounds force increasingly special 'multi-biserial' structures in a hierarchy.","The lower-bound estimates on Auslander–Reiten translates in Section 5.1 may be usable as a tool to rule out small representation bounds in other classes of algebras, since a single almost split sequence with a long middle term would push the bound upward."],"forward_implications":["Every bound-4 artin algebra has an explicit description of its indecomposable modules: they are uniserial, biserial, N-shaped, or lozenge projective-injective modules.","Every almost split sequence in a quadri-biserial algebra has at most three indecomposable middle terms, with the three-term case having a specific lozenge form (Theorem 4.5.7).","The classification gives a concrete test for representation bound 4: check the biserial structure of projectives and the injectivity conditions, without needing to classify all modules.","The bound-3 and bound-2 classifications are recovered as special cases, so the paper provides a unified ladder of classifications for n ≤ 4.","The techniques for computing almost split sequences via the dual of the transpose extend to broader classes of biserial and multiserial algebras, as the authors note."],"supporting_citations":[{"why":"Supplies the theorem that an artin algebra is representation-finite exactly when the lengths of its indecomposable modules are bounded, making the representation bound well-defined.","marker":"[2]"},{"why":"Provides the standard Auslander–Reiten theory used throughout, including almost split sequences, the AR quiver, and the dual of the transpose; also cited for the connectedness step in the proof of Theorem 4.5.5.","marker":"[6]"},{"why":"Supplies the definition of biserial rings and biserial modules that quadri-biserial algebras build on.","marker":"[11]"},{"why":"Introduces wedged-string algebras and the prior classification of algebras of small radical nilpotency, which the bound-3 and bound-4 classifications extend.","marker":"[17]"},{"why":"Provides the combinatorial computation of almost split sequences for string algebras, which the paper's dual-of-transpose technique replaces and extends.","marker":"[9]"},{"why":"Gives the representation-finite biserial algebra setting and the result on the number of middle terms, which the paper's Theorem 4.5.7 parallels.","marker":"[20]"},{"why":"Supplies Tachikawa's classification of algebras where every indecomposable module has an irreducible top or bottom Loewy constituent, which the authors note gives an alternative proof of the bound-3 theorem over fields.","marker":"[22]"}],"fun_headline_variants":["Quadri-biserial minus wedged-string classifies bound-4 algebras","Artin algebras of bound 4: quadri-biserial, except wedged-string","All bound-4 artin algebras are quadri-biserial, except wedged-string","Classification: representation bound 4 iff quadri-biserial, not wedged"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 4.5.5 assumes that the Auslander–Reiten quiver of a quadri-string algebra with radical cubed zero has a single connected component, so that showing all modules in one component are of length at most four suffices to bound every indecomposable module.","fun_headline_variants_meta":{"raw":{"variants":["Quadri-biserial minus wedged-string classifies bound-4 algebras","Artin algebras of bound 4: quadri-biserial, except wedged-string","All bound-4 artin algebras are quadri-biserial, except wedged-string","Classification: representation bound 4 iff quadri-biserial, not wedged"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000836,"raw_usage":{"total_tokens":3560,"prompt_tokens":774,"completion_tokens":2786,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":390,"completion_tokens_details":{"reasoning_tokens":2696}},"tokens_in":390,"tokens_out":2786,"duration_ms":20921,"temperature":1.0,"reasoning_tokens":2696,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:36:16.601374+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a connected quadri-string algebra with radical cubed zero (as defined in Definition 4.1.1) that is representation-infinite and has an indecomposable module of length greater than four; such an algebra would directly contradict Theorem 4.5.5 and hence the necessity direction of the bound-4 classification Theorem 5.4.1.","supporting_citations":[{"cited_title":"Auslander , ``Representation theory of artin algebras II\", Comm","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that an artin algebra is representation-finite exactly when the lengths of its indecomposable modules are bounded, making the representation bound well-defined."},{"cited_title":"Auslander, I","cited_arxiv_id":null,"evidence_quote":"Provides the standard Auslander–Reiten theory used throughout, including almost split sequences, the AR quiver, and the dual of the transpose; also cited for the connectedness step in the proof of Theorem 4.5.5."},{"cited_title":"Dlab and C","cited_arxiv_id":null,"evidence_quote":"Supplies the definition of biserial rings and biserial modules that quadri-biserial algebras build on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces wedged-string algebras and the prior classification of algebras of small radical nilpotency, which the bound-3 and bound-4 classifications extend."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the combinatorial computation of almost split sequences for string algebras, which the paper's dual-of-transpose technique replaces and extends."},{"cited_title":"Liu , ``Semi-stable components of an Auslander-Reiten quiver, J","cited_arxiv_id":null,"evidence_quote":"Gives the representation-finite biserial algebra setting and the result on the number of middle terms, which the paper's Theorem 4.5.7 parallels."},{"cited_title":"Liu , ``Auslander-Reiten theory in a Krull-Schmidt category\", Sao Paulo J","cited_arxiv_id":null,"evidence_quote":"Supplies Tachikawa's classification of algebras where every indecomposable module has an irreducible top or bottom Loewy constituent, which the authors note gives an alternative proof of the bound-3 theorem over fields."}],"review_version":1}