English

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 (C1,C2)(C_1,C_2)-clonoids of Boolean functions for certain pairs (C1,C2)(C_1,C_2) of clones of Boolean functions. Namely, when C1C_1 is a subclone (a proper subclone, resp.) of the clone of all linear (affine) functions and C2C_2 is a subclone of the clone generated by a semilattice operation and constants (a subclone of the clone of all 00- or 11-separating functions, resp.), then the lattice of (C1,C2)(C_1,C_2)-clonoids is uncountable. Combining this fact with several earlier results, we obtain a complete classification of the cardinalities of the lattices of (C1,C2)(C_1,C_2)-clonoids for all pairs (C1,C2)(C_1,C_2) of clones on {0,1}\{0,1\}.

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

R2 v1 2026-06-28T22:48:34.402Z