English

Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones

Combinatorics 2024-12-03 v1 Rings and Algebras

Abstract

Extending Sparks's theorem, we determine the cardinality of the lattice of (C1,C2)(C_1,C_2)-clonoids of Boolean functions for certain pairs (C1,C2)(C_1,C_2) of clones of essentially unary, linear, or 00- or 11-separating functions or semilattice operations. When such a (C1,C2)(C_1,C_2)-clonoid lattice is uncountable, the proof is in most cases based on exhibiting a countably infinite family of functions with the property that distinct subsets thereof always generate distinct (C1,C2)(C_1,C_2)-clonoids. In the cases when the lattice is finite, we enumerate the corresponding (C1,C2)(C_1,C_2)-clonoids. We also provide a summary of the known results on cardinalities of (C1,C2)(C_1,C_2)-clonoid lattices of Boolean functions.

Keywords

Cite

@article{arxiv.2412.01107,
  title  = {Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones},
  author = {Erkko Lehtonen},
  journal= {arXiv preprint arXiv:2412.01107},
  year   = {2024}
}

Comments

27 pages