DeepAI AI Chat
Log In Sign Up

The local-global property for G-invariant terms

09/05/2021
βˆ™
by   Alexandr Kazda, et al.
βˆ™
Logic Industries
βˆ™
0
βˆ™

For some Maltsev conditions Ξ£ it is enough to check if a finite algebra 𝐀 satisfies Ξ£ locally on subsets of bounded size, in order to decide, whether 𝐀 satisfies Ξ£ (globally). This local-global property is the main known source of tractability results for deciding Maltsev conditions. In this paper we investigate the local-global property for the existence of a G-term, i.e. an n-ary term that is invariant under permuting its variables according to a permutation group G ≀ Sym(n). Our results imply in particular that all cyclic loop conditions (in the sense of Bodirsky, Starke, and Vucaj) have the local-global property (and thus can be decided in polynomial time), while symmetric terms of arity n>2 fail to have it.

READ FULL TEXT

page 1

page 2

page 3

page 4

βˆ™ 12/28/2020

Local-to-Global Contraction in Simplicial Complexes

We give a local-to-global principle for relative entropy contraction in ...
βˆ™ 01/29/2021

Local to global high dimensional expansion and Garland's method for general posets

In simplicial complexes it is well known that many of the global propert...
βˆ™ 01/02/2019

Deciding the existence of minority terms

This paper investigates the computational complexity of deciding if a gi...
βˆ™ 07/22/2021

High dimensional expansion implies amplified local testability

In this work we show that high dimensional expansion implies locally tes...
βˆ™ 12/22/2020

Structure and Complexity of Bag Consistency

Since the early days of relational databases, it was realized that acycl...
βˆ™ 05/18/2022

Symbolic-Numeric Factorization of Differential Operators

We present a symbolic-numeric Las Vegas algorithm for factoring Fuchsian...
βˆ™ 01/15/2019

Existence of cube terms in finite finitely generated clones

We study the problem of whether a given finite clone generated by finite...