Clonoids of Boolean functions with a linear source clone and a semilattice or 0- or 1-separating target clone
Combinatorics
2025-04-14 v2 Rings and Algebras
Abstract
Extending Sparks's theorem, we determine the cardinality of the lattice of -clonoids of Boolean functions for certain pairs of clones of Boolean functions. Namely, when is a subclone (a proper subclone, resp.) of the clone of all linear (affine) functions and is a subclone of the clone generated by a semilattice operation and constants (a subclone of the clone of all - or -separating functions, resp.), then the lattice of -clonoids is uncountable. Combining this fact with several earlier results, we obtain a complete classification of the cardinalities of the lattices of -clonoids for all pairs of clones on .
Cite
@article{arxiv.2504.04481,
title = {Clonoids of Boolean functions with a linear source clone and a semilattice or 0- or 1-separating target clone},
author = {Erkko Lehtonen},
journal= {arXiv preprint arXiv:2504.04481},
year = {2025}
}
Comments
19 pages, a few typos fixed, abstract rewritten. arXiv admin note: text overlap with arXiv:2412.01107