Showing 1–5 of 5 results for author: Schölzel, K

Hereditarily rigid relations

Authors: Miguel Couceiro, Lucien Haddad, Maurice Pouzet, Karsten Schölzel

Abstract: An $h$-ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\r \in {\mathcal F}$ are the subfunctions of projections… ▽ More An $h$-ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\r \in {\mathcal F}$ are the subfunctions of projections or constant functions. In this paper we show that hereditarily rigid relations exist and we give a lower bound on their arities. We also prove that no finite hereditarily strongly rigid families of relations exist and we also construct an infinite hereditarily strongly rigid family of relations. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 15pages, to be presented at ISMVL 2015

MSC Class: 08A

Dichotomy on intervals of strong partial Boolean clones

Authors: Karsten Schölzel

Abstract: The following result has been shown recently in the form of a dichotomy: For every total clone $C$ on $\mathbf{2} := \{0,1\}$, the set $\mathcal{I}(C)$ of all partial clones on $\mathbf{2}$ whose total component is $C$, is either finite or of continuum cardinality. In this paper we show that the dichotomy holds, even if only strong partial clones are considered, i.e., partial clones which are clos… ▽ More The following result has been shown recently in the form of a dichotomy: For every total clone $C$ on $\mathbf{2} := \{0,1\}$, the set $\mathcal{I}(C)$ of all partial clones on $\mathbf{2}$ whose total component is $C$, is either finite or of continuum cardinality. In this paper we show that the dichotomy holds, even if only strong partial clones are considered, i.e., partial clones which are closed under taking subfunctions: For every total clone $C$ on $\mathbf{2}$, the set $\mathcal{I}_{\mathrm{Str}}(C)$ of all strong partial clones on $\mathbf{2}$ whose total component is $C$, is either finite or of continuum cardinality. △ Less

Submitted 22 January, 2014; originally announced January 2014.

Comments: submitted to Algebra Universalis

Set-reconstructibility of Post classes

Authors: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel

Abstract: The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas the remaing clones are not weakly reconstructible. The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas the remaing clones are not weakly reconstructible. △ Less

Submitted 29 October, 2013; originally announced October 2013.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:1306.5578

Journal ref: Discrete Appl. Math. 187 (2015) 12-18

A complete classification of equational classes of threshold functions included in clones

Authors: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel

Abstract: The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational constraints. It was shown by Hellerstein that this class cannot be characterized by a finite number of such objects. In this paper, we investigate classes of threshold functions which arise as intersections of the class of all threshold functi… ▽ More The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational constraints. It was shown by Hellerstein that this class cannot be characterized by a finite number of such objects. In this paper, we investigate classes of threshold functions which arise as intersections of the class of all threshold functions with clones of Boolean functions, and provide a complete classification of such intersections in respect to whether they have finite characterizations. Moreover, we provide a characterizing set of relational constraints for each class of threshold functions arising in this way. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Comments: 22 pages

Journal ref: RAIRO Oper. Res. 49 (2015) 39-66

Hypomorphic Sperner systems and nonreconstructible functions

Authors: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel

Abstract: A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of nonreconstructible functions are thus obtained. The clones of… ▽ More A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of nonreconstructible functions are thus obtained. The clones of Boolean functions are completely classified in regard to reconstructibility. △ Less

Submitted 24 June, 2013; originally announced June 2013.

Comments: 38 pages

Journal ref: Order 32 (2015) 255-292