Communication Dans Un Congrès Année : 2025

Group Order Logic

Résumé

We introduce an extension of fixed-point logic (FP) with a group-order operator (ord), that computes the size of a group generated by a definable set of permutations. This operation is a generalization of the rank operator (rk). We show that FP + ord constitutes a new candidate logic for the class of polynomial-time computable queries (P). As was the case for FP + rk, the model-checking of FP + ord formulae is polynomial-time computable. Moreover, the query separating FP + rk from P exhibited by Lichter in his recent breakthrough is definable in FP + ord. Precisely, we show that FP + ord canonizes structures with Abelian colors, a class of structures which contains Lichter's counter-example. This proof involves expressing a fragment of the group-theoretic approach to graph canonization in the logic FP + ord.

Fichier principal
Vignette du fichier
article.pdf (452.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05083596 , version 1 (25-05-2025)

Licence

Identifiants

Citer

Anatole Dahan. Group Order Logic. LICS 2025 - Logic in Computer Science, Jun 2025, Singapore, Singapore. ⟨10.48550/arXiv.2505.15359⟩. ⟨hal-05083596⟩
92 Consultations
114 Téléchargements

Altmetric

Partager

  • More