The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations R and S on natural numbers, R is computably reducible to S if there is a computable function f from the natural numbers to the natural numbers that induces an injective map from R-equivalence classes to S-equivalence classes. In order to compare the complexity of equivalence relations which are computable, researchers considered also feasible variants of computable reducibility, such as the polynomial-time reducibility. In this work, we explore Peq, the degree structure generated by primitive recursive reducibility on primitive recursive equivalence relations with infinitely many equivalence classes. In contrast with all other known degree structures on equivalence relations, we show that Peq has much more structure: e.g., we show that it is a dense distributive lattice. On the other hand, we also offer evidence of the intricacy of Peq, proving, e.g., that the structure is neither rigid nor homogeneous.

Bazhenov, N., Meng Ng, K., San Mauro, L., Sorbi, A. (2022). Primitive recursive equivalence relations and their primitive recursive complexity. COMPUTABILITY, 11(3-4), 187-221 [10.3233/COM-210375].

Primitive recursive equivalence relations and their primitive recursive complexity

Andrea Sorbi
2022-01-01

Abstract

The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations R and S on natural numbers, R is computably reducible to S if there is a computable function f from the natural numbers to the natural numbers that induces an injective map from R-equivalence classes to S-equivalence classes. In order to compare the complexity of equivalence relations which are computable, researchers considered also feasible variants of computable reducibility, such as the polynomial-time reducibility. In this work, we explore Peq, the degree structure generated by primitive recursive reducibility on primitive recursive equivalence relations with infinitely many equivalence classes. In contrast with all other known degree structures on equivalence relations, we show that Peq has much more structure: e.g., we show that it is a dense distributive lattice. On the other hand, we also offer evidence of the intricacy of Peq, proving, e.g., that the structure is neither rigid nor homogeneous.
2022
Bazhenov, N., Meng Ng, K., San Mauro, L., Sorbi, A. (2022). Primitive recursive equivalence relations and their primitive recursive complexity. COMPUTABILITY, 11(3-4), 187-221 [10.3233/COM-210375].
File in questo prodotto:
File Dimensione Formato  
primitive-computability.pdf

non disponibili

Descrizione: file principale
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 326.68 kB
Formato Adobe PDF
326.68 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1205913