{"id":"arxiv/2609.15879","url":"https://arxiv.org/abs/2609.15879","tags":["cs.LO","math.CT","math.LO"],"score":0,"title":"Finite Dependence and Invariance Hierarchies for Finitely Supported Structures","domain":"cs.LO","source":"arxiv","authors":["Gabriel Ciobanu"],"reviews":0,"subject":"cs.LO","summary":"Finite support indicates that the dependence is limited, but not how each finite context controls what can be observed. For a data symmetry G \\leq Sym(A) and a finitely supported G-set X, we study the finite-dependence profile X^S = {x : Fix_G(S) fixes x}, indexed by finite contexts S \\subseteq A. For relations on A^n this yields Boolean algebras B^{(n)}_{G,S} = Inv_n(Fix_G(S)), forming the invariance hierarchy. The hierarchy separates several nominal principles. Its meet law is the relation-algebra form of the Bojanczyk-Klin-Lasota least-support criterion, while level injectivity is…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}