Ivo G. Rosenberg's Work on Maximal Clones and Minimal Clones

Agnes Szendrei

2024-06-21

Abstract:The aim of this paper is to honor Ivo G. Rosenberg by describing some of his most influential results and their impact in logic, discrete mathematics, algebra, and computer science.

Logic,History and Overview

What problem does this paper attempt to address?

Rosenberg's classification of maximal clones

Michael Pinsker

DOI: https://doi.org/10.48550/arXiv.math/0211420

2002-11-27

Abstract:We give a proof of I. G. Rosenberg's characterization of maximal clones. The theorem lists six types of relations on a finite set such that a clone over this set is maximal if and only if it contains just the functions preserving one of the relations of the list. In Universal Algebra, this translates immediately into a characterization of the finite preprimal algebras: A finite algebra is preprimal if and only if its term operations are exactly the functions preserving a relation of one of the six types listed in the theorem. The difficult part of the proof is to show that all maximal clones or preprimal algebras respectively are of that form. This follows from, and, as we also demonstrate, is indeed equivalent to, a characterization of primal algebras: We show that the primal algebras are exactly those whose term operations do not preserve any of the relations on the list.

Logic
On k-ary parts of maximal clones

Dragan Mašulović,Maja Pech

DOI: https://doi.org/10.1007/s00012-024-00851-x

2024-03-18

Algebra Universalis

Abstract:The main problem of clone theory is to describe the clone lattice for a given basic set. For a two-element basic set this was resolved by E.L. Post, but for at least three-element basic set the full structure of the lattice is still unknown, and the complete description in general is considered to be hopeless. Therefore, it is studied by its substructures and its approximations. One of the possible directions is to examine k -ary parts of the clones and their mutual inclusions. In this paper we study k -ary parts of maximal clones, for building on the already known results for their unary parts. It turns out that the poset of k -ary parts of maximal clones defined by central relations contains long chains.

mathematics
On $k$-ary parts of maximal clones

Dragan Mašulović,Maja Pech

2024-01-31

Abstract:The main problem of clone theory is to describe the clone lattice for a given basic set. For a two-element basic set this was resolved by E.L. Post, but for at least three-element basic set the full structure of the lattice is still unknown, and the complete description in general is considered to be hopeless. Therefore, it is studied by its substructures and its approximations. One of the possible directions is to examine $k$-ary parts of the clones and their mutual inclusions. In this paper we study $k$-ary parts of maximal clones, for $k\geq2$, building on the already known results for their unary parts. It turns out that the poset of $k$-ary parts of maximal clones defined by central relations contains long chains.

Rings and Algebras
Submaximal clones over a three-element set up to minor-equivalence

Zhuk, Dmitriy

DOI: https://doi.org/10.1007/s00012-024-00852-w

2024-03-18

Algebra Universalis

Abstract:We study clones modulo minor homomorphisms, which are mappings from one clone to another preserving arities of operations and respecting permutation and identification of variables. Minor-equivalent clones satisfy the same sets of identities of the form , also known as minor identities, and therefore share many algebraic properties. Moreover, it was proved that the complexity of the of a finite structure only depends on the set of minor identities satisfied by the polymorphism clone of . In this article we consider the poset that arises by considering all clones over a three-element set with the following order: we write if there exists a minor homomorphism from to . We show that the aforementioned poset has only three submaximal elements.

mathematics
Minimal clones generated by majority operations

Tamás Waldhauser

DOI: https://doi.org/10.48550/arXiv.1102.1567

2011-02-08

Rings and Algebras

Abstract:We determine all majority operations on a four-element set that generate a minimal clone.
Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

Libor Barto,Maryia Kapytka

2024-09-12

Abstract:We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to both coordinates have at most two elements. This class can be alternatively described up to minion homomorphisms as the class of multisorted Boolean clones determined by binary relations. We also introduce and apply the concept of a minion core which provides canonical representatives for equivalence classes of clones, more generally minions, on finite sets.

Combinatorics,Logic
Cloning Games, Black Holes and Cryptography

Alexander Poremba,Seyoon Ragavan,Vinod Vaikuntanathan

2024-11-07

Abstract:The no-cloning principle has played a foundational role in quantum information and cryptography. Following a long-standing tradition of studying quantum mechanical phenomena through the lens of interactive games, Broadbent and Lord (TQC 2020) formalized cloning games in order to quantitatively capture no-cloning in the context of unclonable encryption schemes. The conceptual contribution of this paper is the new, natural, notion of Haar cloning games together with two applications. In the area of black-hole physics, our game reveals that, in an idealized model of a black hole which features Haar random (or pseudorandom) scrambling dynamics, the information from infalling entangled qubits can only be recovered from either the interior or the exterior of the black hole -- but never from both places at the same time. In the area of quantum cryptography, our game helps us construct succinct unclonable encryption schemes from the existence of pseudorandom unitaries, thereby, for the first time, bridging the gap between "MicroCrypt" and unclonable cryptography. The technical contribution of this work is a tight analysis of Haar cloning games which requires us to overcome many long-standing barriers in our understanding of cloning games. Answering these questions provably requires us to go beyond existing methods (Tomamichel, Fehr, Kaniewski and Wehner, New Journal of Physics 2013). In particular, we show a new technique for analyzing cloning games with respect to binary phase states through the lens of binary subtypes, and combine it with novel bounds on the operator norms of block-wise tensor products of matrices.

Quantum Physics,Cryptography and Security,High Energy Physics - Theory
Permutation clones that preserve relations

Tim Boykett

2024-12-09

Abstract:Permutation clones generalise permutation groups and clone theory. We investigate permutation clones defined by relations, or equivalently, the automorphism groups of powers of relations. We find many structural results on the lattice of all relationally defined permutation clones on a finite set. We find all relationally defined permutation clones on two element set. We show that all maximal borrow closed permutation clones are either relationally defined or cancellatively defined. Permutation clones generalise clones to permutations of $A^n$. Emil Jeřábek found the dual structure to be weight mappings $A^k\rightarrow M$ to a commutative monoid, generalising relations. We investigate the case when the dual object is precisely a relation, equivalently, that $M={\mathbb B}$, calling these relationally defined permutation clones. We determine the number of relationally defined permutation clones on two elements (13). We note that many infinite classes of clones collapse when looked at as permutation clones.

Combinatorics,Discrete Mathematics,Logic in Computer Science,Group Theory,Rings and Algebras
Exploring new topologies for the theory of clones

Antonio Bucciarelli,Antonino Salibra

DOI: https://doi.org/10.1007/s00012-024-00877-1

2024-11-02

Algebra Universalis

Abstract:Clones of operations of arity (referred to as -operations) have been employed by Neumann to represent varieties of infinitary algebras defined by operations of at most arity . More recently, clone algebras have been introduced to study clones of functions, including -operations, within the framework of one-sorted universal algebra. Additionally, polymorphisms of arity , which are -operations preserving the relations of a given first-order structure, have recently been used to establish model theory results with applications in the field of complexity of CSP problems. In this paper, we undertake a topological and algebraic study of polymorphisms of arity and their corresponding invariant relations. Given a Boolean ideal X on the set , we endow the set of -operations on A with a topology, which we refer to as X -topology. Notably, the topology of pointwise convergence can be retrieved as a special case of this approach. Polymorphisms and invariant relations are then defined parametrically with respect to the X -topology. We characterise the X -closed clones of -operations in terms of - and present a method to relate - to the classical (finitary) - .

mathematics
Asymmetric cloning in quantum information theory

Denis Rochette

2023-09-29

Abstract:This thesis investigates quantum cloning and related quantum entanglement problems using core concepts of representation theory, in particular those associated with the symmetric group. The research explores Schur-Weyl duality and its extensions, which allow efficient representation and manipulation of quantum systems, serving as a valuable tool for quantum information theory. A primary application of Schur-Weyl duality is the quantum cloning problem, which is studied for both the $1 \to 2$ and the more general $1 \to N$ cases, providing new insights into the constraints imposed by the no-cloning theorem. The investigation extends to a more general quantum entanglement problem on a complete graph.

Quantum Physics
$S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$, Part I

Peter Jipsen,Erkko Lehtonen,Reinhard Pöschel

2023-08-02

Abstract:We consider $S$-operations $f \colon A^{n} \to A$ in which each argument is assigned a signum $s \in S$ representing a "property" such as being order-preserving or order-reversing with respect to a fixed partial order on $A$. The set $S$ of such properties is assumed to have a monoid structure reflecting the behaviour of these properties under the composition of $S$-operations (e.g., order-reversing composed with order-reversing is order-preserving). The collection of all $S$-operations with prescribed properties for their signed arguments is not a clone (since it is not closed under arbitrary identification of arguments), but it is a preclone with special properties, which leads to the notion of $S$-preclone. We introduce $S$-relations $\varrho = (\varrho_{s})_{s \in S}$, $S$-relational clones, and a preservation property ($f \mathrel{\stackrel{S}{\triangleright}} \varrho$), and we consider the induced Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$. The $S$-preclones and $S$-relational clones turn out to be exactly the closed sets of this Galois connection. We also establish some basic facts about the structure of the lattice of all $S$-preclones on $A$.

Rings and Algebras
Maximal Ideals in Commutative Rings and the Axiom of Choice

Alexei Entin

2024-05-28

Abstract:It is well-known that within Zermelo-Fraenkel set theory (ZF), the Axiom of Choice (AC) implies the Maximal Ideal Theorem (MIT), namely that every nontrivial commutative ring has a maximal ideal. The converse implication MIT $\Rightarrow$ AC was first proved by Hodges, with subsequent proofs given by Banaschewski and Erné. Here we give another derivation of MIT $\Rightarrow$ AC, aiming to make the exposition self-contained and accessible to non-experts with only introductory familiarity with commutative ring theory and naive set theory.

Commutative Algebra
Almost associative operations generating a minimal clone

Tamás Waldhauser

DOI: https://doi.org/10.48550/arXiv.1102.2127

2011-02-10

Abstract:Characterizations of "almost associative" binary operations generating a minimal clone are given for two interpretations of the term "almost associative". One of them uses the associative spectrum, the other one uses the index of nonassociativity to measure how far an operation is from being associative.

Rings and Algebras
An algorithmic approach to the existence of ideal objects in commutative algebra

Thomas Powell,Peter M Schuster,Franziskus Wiesnet

DOI: https://doi.org/10.48550/arXiv.1903.03070

2019-03-08

Abstract:The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical.

Logic in Computer Science,Data Structures and Algorithms,Commutative Algebra,Logic
Optimal Asymmetric Quantum Cloning

Alastair Kay,Ravishankar Ramanathan,Dagomir Kaszlikowski

DOI: https://doi.org/10.48550/arXiv.1208.5574

2012-08-28

Abstract:While the no-cloning theorem, which forbids the perfect copying of quantum states, is well-known as one of the defining features of quantum mechanics, the question of how well the theory allows a state to be cloned is yet to be completely solved. In this paper, rigorous solutions to the problem of M to N asymmetric cloning of qudits are obtained in a number of interesting cases. The central result is the solution to the 1 to N universal asymmetric qudit cloning problem for which the exact trade-off in the fidelities of the clones for every N and d is derived. Analogous results are proven for qubits when M=N-1. We also consider state-dependent 1 to N qubit cloning, providing a general parametrization in terms of a Heisenberg star Hamiltonian. In all instances, we determine the feasibility of implementing the cloning economically, i.e., without an ancilla, and determine the dimension of the ancilla when an economic implementation is not possible.

Quantum Physics
Universal Clone Algebra

Antonino Salibra

DOI: https://doi.org/10.48550/arXiv.2203.14054

2022-06-02

Abstract:We develop a new general framework for algebras and clones, called Universal Clone Algebra. Algebras and clones of finitary operations are to Universal Algebra what t-algebras and clone algebras are to Universal Clone Algebra. Clone algebras have been recently introduced to found a one-sorted, purely algebraic theory of clones, while t-algebras are first introduced in this article. We present a method to codify algebras and clones into t-algebras and clone algebras, respectively. We provide concrete examples showing that general results in Universal Clone Algebra, when translated in terms of algebras and clones, give more powerful versions of known theorems in Universal Algebra. We apply this methodology to Birkhoff's HSP theorem and to the recent topological versions of Birkhoff's theorem.

Logic
On the number of clonoids

Athena Sparks

DOI: https://doi.org/10.48550/arXiv.1810.12422

2019-09-20

Abstract:A clonoid is a set of finitary functions from a set $A$ to a set $B$ that is closed under taking minors. Hence clonoids are generalizations of clones. By a classical result of Post, there are only countably many clones on a 2-element set. In contrast to that, we present continuum many clonoids for $A = B = \{0,1\}$. More generally, for any finite set $A$ and any $2$-element algebra $\mathbf{B}$, we give the cardinality of the set of clonoids from $A$ to $\mathbf{B}$ that are closed under the operations of $\mathbf{B}$.

Rings and Algebras
Minimal sets determining universal and phase-covariant quantum cloning

Li Jing,Yi-Nan Wang,Han-Duo Shi,Liang-Zhu Mu,Heng Fan

DOI: https://doi.org/10.1103/PhysRevA.86.062315

2012-08-03

Abstract:We study the minimal input sets which can determine completely the universal and the phase-covariant quantum cloning machines. We find that the universal quantum cloning machine, which can copy arbitrary input qubit equally well, however can be determined completely by only four input states located at the four vertices of a tetrahedron. The phase-covariant quantum cloning machine, which can copy all qubits located on the equator of the Bloch sphere, can be determined by three equatorial qubits with equal angular distance. These results sharpen further the well-known results that BB84 states and six-states used in quantum cryptography can determine completely the phase-covariant and universal quantum cloning machines. This concludes the study of the power of universal and phase-covariant quantum cloning, i.e., from minimal input sets necessarily to full input sets by definition. This can simplify dramatically the testing of whether the quantum clone machines are successful or not, we only need to check that the minimal input sets can be cloned optimally.

Quantum Physics
Maximal Cliques in Scale-Free Random Graphs

Thomas Bläsius,Maximillian Katzmann,Clara Stegehuis

2024-09-05

Abstract:We investigate the number of maximal cliques, i.e., cliques that are not contained in any larger clique, in three network models: Erdős-Rényi random graphs, inhomogeneous random graphs (also called Chung-Lu graphs), and geometric inhomogeneous random graphs. For sparse and not-too-dense Erdős-Rényi graphs, we give linear and polynomial upper bounds on the number of maximal cliques. For the dense regime, we give super-polynomial and even exponential lower bounds. Although (geometric) inhomogeneous random graphs are sparse, we give super-polynomial lower bounds for these models. This comes from the fact that these graphs have a power-law degree distribution, which leads to a dense subgraph in which we find many maximal cliques. These lower bounds seem to contradict previous empirical evidence that (geometric) inhomogeneous random graphs have only few maximal cliques. We resolve this contradiction by providing experiments indicating that, even for large networks, the linear lower-order terms dominate, before the super-polynomial asymptotic behavior kicks in only for networks of extreme size.

Combinatorics,Discrete Mathematics

Ivo G. Rosenberg's Work on Maximal Clones and Minimal Clones

Rosenberg's classification of maximal clones

On k-ary parts of maximal clones

On $k$-ary parts of maximal clones

Submaximal clones over a three-element set up to minor-equivalence

Minimal clones generated by majority operations

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

Cloning Games, Black Holes and Cryptography

Permutation clones that preserve relations

Exploring new topologies for the theory of clones

Asymmetric cloning in quantum information theory

$S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$, Part I

Maximal Ideals in Commutative Rings and the Axiom of Choice

Almost associative operations generating a minimal clone

An algorithmic approach to the existence of ideal objects in commutative algebra

Optimal Asymmetric Quantum Cloning

Universal Clone Algebra

On the number of clonoids

Minimal sets determining universal and phase-covariant quantum cloning

Maximal Cliques in Scale-Free Random Graphs