Research

Paper

TESTING March 19, 2026

An automata-based test for bricks over string algebras

Authors

Amit Kuber, Annoy Sengupta

Abstract

Motivated by the recent work of Deaconu, Mousavand and Paquette on the connection between infinite string bricks for certain gentle algebras and Sturmian words, we develop a decorated version of a deterministic automaton, called a multi-entry inverse automaton (MIA, for short) that accepts pointed words. We then associate an MIA $\mathsf M_{Λδ}$ over $\{0,1\}$ to a string algebra $Λ$, and show that strings over $Λ$ can be viewed as certain equivalence classes of the pointed words accepted by $\mathsf M_{Λδ}$. By defining (weak) brick words over this MIA, we show that a finite/infinite string module (resp. band module) is a brick if and only if every word in the associated equivalence class of pointed binary words is a brick word (resp. a weak brick word) over $\mathsf M_{Λδ}$. The result of Deaconu et al. follows as an immediate consequence.

Metadata

arXiv ID: 2603.18820
Provider: ARXIV
Primary Category: cs.FL
Published: 2026-03-19
Fetched: 2026-03-20 06:02

Related papers

Raw Data (Debug)
{
  "raw_xml": "<entry>\n    <id>http://arxiv.org/abs/2603.18820v1</id>\n    <title>An automata-based test for bricks over string algebras</title>\n    <updated>2026-03-19T12:18:38Z</updated>\n    <link href='https://arxiv.org/abs/2603.18820v1' rel='alternate' type='text/html'/>\n    <link href='https://arxiv.org/pdf/2603.18820v1' rel='related' title='pdf' type='application/pdf'/>\n    <summary>Motivated by the recent work of Deaconu, Mousavand and Paquette on the connection between infinite string bricks for certain gentle algebras and Sturmian words, we develop a decorated version of a deterministic automaton, called a multi-entry inverse automaton (MIA, for short) that accepts pointed words. We then associate an MIA $\\mathsf M_{Λδ}$ over $\\{0,1\\}$ to a string algebra $Λ$, and show that strings over $Λ$ can be viewed as certain equivalence classes of the pointed words accepted by $\\mathsf M_{Λδ}$. By defining (weak) brick words over this MIA, we show that a finite/infinite string module (resp. band module) is a brick if and only if every word in the associated equivalence class of pointed binary words is a brick word (resp. a weak brick word) over $\\mathsf M_{Λδ}$. The result of Deaconu et al. follows as an immediate consequence.</summary>\n    <category scheme='http://arxiv.org/schemas/atom' term='cs.FL'/>\n    <category scheme='http://arxiv.org/schemas/atom' term='math.RT'/>\n    <published>2026-03-19T12:18:38Z</published>\n    <arxiv:comment>11 pages, 4 figures</arxiv:comment>\n    <arxiv:primary_category term='cs.FL'/>\n    <author>\n      <name>Amit Kuber</name>\n    </author>\n    <author>\n      <name>Annoy Sengupta</name>\n    </author>\n  </entry>"
}