Taylor's modularity conjecture and related problems for idempotent varieties

We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we prove an analogue for idempotent varieties with a cube term. Also, similar results are proved for linear varieties and the properties of congruence modularity, having a cube term, congruence $n$-permutability for a fixed $n$, and satisfying a non-trivial congruence identity.Comment: 27 page

Cloning a real d-dimensional quantum state on the edge of the no-signaling condition

We investigate a new class of quantum cloning machines that equally duplicate all real states in a Hilbert space of arbitrary dimension. By using the no-signaling condition, namely that cloning cannot make superluminal communication possible, we derive an upper bound on the fidelity of this class of quantum cloning machines. Then, for each dimension d, we construct an optimal symmetric cloner whose fidelity saturates this bound. Similar calculations can also be performed in order to recover the fidelity of the optimal universal cloner in d dimensions.Comment: 6 pages RevTex, 1 encapuslated Postscript figur

An artificial immune system for fuzzy-rule induction in data mining

This work proposes a classification-rule discovery algorithm integrating artificial immune systems and fuzzy systems. The algorithm consists of two parts: a sequential covering procedure and a rule evolution procedure. Each antibody (candidate solution) corresponds to a classification rule. The classification of new examples (antigens) considers not only the fitness of a fuzzy rule based on the entire training set, but also the affinity between the rule and the new example. This affinity must be greater than a threshold in order for the fuzzy rule to be activated, and it is proposed an adaptive procedure for computing this threshold for each rule. This paper reports results for the proposed algorithm in several data sets. Results are analyzed with respect to both predictive accuracy and rule set simplicity, and are compared with C4.5rules, a very popular data mining algorithm

The number of clones determined by disjunctions of unary relations

We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $\Gamma$. We prove that whenever $\Gamma$ contains at least one non-empty relation distinct from the full carrier set, there is a countably infinite number of polymorphism clones determined by relations that are disjunctively definable from $\Gamma$. Finally, we extend our result to finitely related polymorphism clones and countably infinite sets $\Gamma$.Comment: manuscript to be published in Theory of Computing System

Mass concentration in a nonlocal model of clonal selection

Self-renewal is a constitutive property of stem cells. Testing the cancer stem cell hypothesis requires investigation of the impact of self-renewal on cancer expansion. To understand better this impact, we propose a mathematical model describing dynamics of a continuum of cell clones structured by the self-renewal potential. The model is an extension of the finite multi-compartment models of interactions between normal and cancer cells in acute leukemias. It takes a form of a system of integro-differential equations with a nonlinear and nonlocal coupling, which describes regulatory feedback loops in cell proliferation and differentiation process. We show that such coupling leads to mass concentration in points corresponding to maximum of the self-renewal potential and the model solutions tend asymptotically to a linear combination of Dirac measures. Furthermore, using a Lyapunov function constructed for a finite dimensional counterpart of the model, we prove that the total mass of the solution converges to a globally stable equilibrium. Additionally, we show stability of the model in space of positive Radon measures equipped with flat metric. The analytical results are illustrated by numerical simulations