{"id":"arxiv/2605.18875","url":"https://arxiv.org/abs/2605.18875","tags":["cs.FL","math.CO"],"score":0,"title":"On the transversals of Latin squares generated by nonlinear bipermutive cellular automata","domain":"cs.FL","source":"arxiv","authors":["Alberto Dennunzio","Maximilien Gadouleau","Luca Mariot"],"reviews":0,"subject":"cs.FL","summary":"In this short paper, we begin to investigate the conditions under which a generic Bipermutive Cellular Automaton (BCA) with no-boundary conditions of diameter $d$ generates a Latin square of order $N=2^{d-1}$ admitting an orthogonal mate, without relying on the linearity of the local rule. Since an orthogonal mate exists if and only if the Latin square can be partitioned into $N$ disjoint \\emph{transversals}, we start by characterizing the subclass of BCA whose Latin squares have a transversal on the main diagonal. In particular, we prove that the main diagonal forms a transversal if and…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}