<?xml version="1.0" encoding="UTF-8"?>
<doi_batch version="5.3.1" xmlns="http://www.crossref.org/schema/5.3.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:jats="http://www.ncbi.nlm.nih.gov/JATS1" xmlns:ai="http://www.crossref.org/AccessIndicators.xsd" xsi:schemaLocation="http://www.crossref.org/schema/5.3.1 http://www.crossref.org/schema/deposit/crossref5.3.1.xsd">
 <head>
  <doi_batch_id>aspg-40-4465-1792461942</doi_batch_id>
  <timestamp>20261020020542</timestamp>
  <depositor>
   <depositor_name>American Scientific Publishing Group</depositor_name>
   <email_address>admin@americaspg.com</email_address>
  </depositor>
  <registrant>American Scientific Publishing Group</registrant>
 </head>
 <body>
  <journal>
   <journal_metadata language="en">
    <full_title>Pure Mathematics for Theoretical Computer Science</full_title>
    <abbrev_title>PMTCS</abbrev_title>
    <issn media_type="electronic">2995-3162</issn>
   </journal_metadata>
   <journal_issue>
    <publication_date media_type="online">
     <year>2026</year>
    </publication_date>
    <journal_volume>
     <volume>6</volume>
    </journal_volume>
    <issue>1</issue>
   </journal_issue>
   <journal_article publication_type="full_text">
    <titles>
     <title>Reversibility of Circular Linear Cellular Automata over Finite Fields: An Exact Enumeration via the Unit Group of the Cyclic Group Algebra</title>
    </titles>
    <contributors>
     <person_name sequence="first" contributor_role="author">
      <given_name>Lee</given_name>
      <surname>Xu</surname>
      <affiliations>
       <institution>
        <institution_name>Mathematics Department, University of Chinese Academy of Sciences (CAS), Beijing, China</institution_name>
       </institution>
      </affiliations>
     </person_name>
     <person_name sequence="additional" contributor_role="author">
      <given_name>Olalekan</given_name>
      <surname>Joosati</surname>
      <affiliations>
       <institution>
        <institution_name>Faculty of Applied Science, Cape Peninsula University of Technology, South Africa</institution_name>
       </institution>
      </affiliations>
     </person_name>
    </contributors>
    <jats:abstract>
     <jats:p>We study the reversibility of one-dimensional linear cellular automata (CA) with periodic boundary conditions over a finite field Fq, identifying the global transition map with multiplication by a rule polynomial f (x) in the cyclic group algebra Rn = Fq[x]/(xn−1). We prove that reversibility is exactly equivalent to f (x) being a unit of Rn, and, when gcd(n,q) = 1, we use the classical correspondence between irreducible factors of xn−1 and q-cyclotomic cosets modulo n to derive a closed-form count of the reversible rules of a given neighborhood size: |R×n | = Πi(qdi −1), where the di are the sizes of the q-cyclotomic cosets modulo n. We then resolve the complementary case gcd(n,q)&gt;1: writing n = pam with p = char(Fq) and gcd(m, p) = 1, we show xn−1 = (xm−1)pa , determine the local structure of each factor ring Fq[x]/(g(x)pa) for g irreducible, and obtain the fully general count |R×n| = Πi qdi(pa−1)(qdi −1), valid for every n and every finite field Fq. We give an explicit closed form for the case where m is prime and q is a primitive root modulo m, a density lower bound, an explicit description of the group of reversible rules under composition together with a formula for the exact dynamical period of any reversible rule via its coordinates under the Chinese Remainder Theorem, and a remark on explicit inverse-rule construction. All results are stated and proved in full; numerical instances used to validate the formulas were checked by direct and brute-force computation and are reported without tabulation.</jats:p>
    </jats:abstract>
    <publication_date media_type="online">
     <year>2026</year>
    </publication_date>
    <pages>
     <first_page>40</first_page>
     <last_page>44</last_page>
    </pages>
    <publisher_item>
     <item_number item_number_type="article-number">4465</item_number>
    </publisher_item>
    <ai:program name="AccessIndicators">
     <ai:license_ref applies_to="vor">https://creativecommons.org/licenses/by/4.0/</ai:license_ref>
    </ai:program>
    <doi_data>
     <doi>10.54216/PMTCS.060106</doi>
     <resource>https://www.americaspg.com/journal/40/article/4465</resource>
     <collection property="text-mining">
      <item>
       <resource mime_type="application/pdf">https://www.americaspg.com/storage/articles/manuscripts/01KYFKMT2D7DSY7EEWK5EQ3330.pdf</resource>
      </item>
     </collection>
    </doi_data>
   </journal_article>
  </journal>
 </body>
</doi_batch>
