Abstract:Given a special biserial algebra $\Lambda$ over an algebraically closed field, let $\mathrm{rad}_\Lambda$ denote the radical of its module category. The authors showed with Sinha that the stable rank of a special biserial algebra $\Lambda$, i.e., the least ordinal $\gamma$ satisfying $\mathrm{rad}_\Lambda^\gamma=\mathrm{rad}_\Lambda^{\gamma+1}$, is strictly bounded above by $\omega^2$. We use finite automata to give simple algorithmic proofs, complete with their time complexity analyses, of two key ingredients in the proof of this result--the first one states that certain linear orders called hammocks associated with such algebras are \emph{finite description linear orders}, i.e., they lie in the smallest class of linear orders that contains finite linear orders and $\omega$, and that is closed under isomorphisms, order-reversals, binary sums, co-lexicographic products and finitary shuffles. We also document a complete proof of the result that the class of order types(=order-isomorphism classes) of finite description linear orders coincides with that of languages of finite automata under inorder.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate the stable rank of special biserial algebras and provide algorithmic proofs and time - complexity analysis. Specifically, the author uses finite automata to simplify the proofs of two key results, which are important components in proving that the stable rank of special biserial algebras is strictly less than $\omega^2$. ### Background and Motivation In the theory of algebraic representation, special biserial algebras are an important class of algebraic structures, and their stable rank is an invariant that measures the complexity of factorizations in the module category. The definition of stable rank is as follows: Given a finite - dimensional associative $K$-algebra $\Lambda$, its stable rank $st(\Lambda)$ is the smallest ordinal $\gamma$ such that the following recursively defined ordinal power chain stabilizes: \[ \Lambda\text{-mod} = \text{rad}^0 \Lambda \supseteq \text{rad}^1 \Lambda \supseteq \cdots \supseteq \text{rad}^\omega \Lambda \supseteq \text{rad}^{\omega + 1} \Lambda \supseteq \cdots \] where $\text{rad} \Lambda$ is the two - sided ideal of the module category $\Lambda\text{-mod}$ generated by non - invertible (i.e., non - split) morphisms. ### Main Results The main results of the paper are: **Theorem Special**: If $\Lambda$ is a special biserial $K$-algebra, then $st(\Lambda)<\omega^2$. In fact, there exist natural numbers $n$, $d$, $e$ which depend on the bounded quiver $(Q,\rho)$ such that: \[ 0\leq st(\Lambda)-(\omega\cdot n + d)\leq e \] ### Key Technical Means To prove the above results, the author uses finite automata to simplify the proofs of two key components: 1. **Theorem $\alpha$**: For any vertex $v$ of a string algebra $\Lambda$, the corresponding hammock linear orders $H_l(v)$ and $H_r(v)$ are finitely - described linear orders. 2. **Theorem $E$**: For each vertex $v$, the number of exceptional points in $H(v)$ is finite. ### Methods and Contributions 1. **Finitely - Described Linear Orders**: The author defines a class of finitely - described linear orders and proves that hammock linear orders belong to this class. 2. **Application of Automata Theory**: By constructing specific finite automata, the author proves that hammock linear orders can be described in the language of finite automata, thus bypassing complex combinatorial proofs. 3. **Time - Complexity Analysis**: The author also discusses the time - complexity of related algorithms, making these algorithms not only theoretically feasible but also highly efficient in practical applications. ### Conclusion This paper simplifies the proof process of calculating the stable rank of special biserial algebras by introducing the method of finite automata and provides specific steps for algorithm implementation and time - complexity analysis. This not only provides new tools for the research of algebraic representation theory but also provides valuable references for future researchers when applying these techniques.

Automating the stable rank computation for special biserial algebras

On the stable radical of the module category for special biserial algebras

Rank-stability of polynomial equations

The Rank of Tree-Automatic Linear Orderings

Semialgebraic groups and generalized affine buildings

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Finite rank operators in Jacobson radical $$\mathcal{R}_{\mathcal{N} \otimes \mathcal{M}} $$

Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context

Improvising Linguistic Style: Social and Affective Bases for Agent Personality

Semigroups of self-similar actions and higher rank Baumslag-Solitar semigroups

Uniform rank metric stability of Lie algebras, Lie groups and lattices

Strong Algebras and Radical Sylvester-Gallai Configurations

The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

Biserial algebras and generic bricks

Asymptotic Cohomology and Uniform Stability for Lattices in Semisimple Groups

A Short Return to Simple Ah-Algebras with Real Rank Zero

Automatic Linear Orders and Trees

Homological stability for general linear groups over Dedekind domains

From Automatic Structures to Borel Structures

On Automatic Partial Orders

Decomposition rank and Z-stability