3,742 research outputs found
Algebraic foundations for qualitative calculi and networks
A qualitative representation is like an ordinary representation of a
relation algebra, but instead of requiring , as
we do for ordinary representations, we only require that , for each in the algebra. A constraint
network is qualitatively satisfiable if its nodes can be mapped to elements of
a qualitative representation, preserving the constraints. If a constraint
network is satisfiable then it is clearly qualitatively satisfiable, but the
converse can fail. However, for a wide range of relation algebras including the
point algebra, the Allen Interval Algebra, RCC8 and many others, a network is
satisfiable if and only if it is qualitatively satisfiable.
Unlike ordinary composition, the weak composition arising from qualitative
representations need not be associative, so we can generalise by considering
network satisfaction problems over non-associative algebras. We prove that
computationally, qualitative representations have many advantages over ordinary
representations: whereas many finite relation algebras have only infinite
representations, every finite qualitatively representable algebra has a finite
qualitative representation; the representability problem for (the atom
structures of) finite non-associative algebras is NP-complete; the network
satisfaction problem over a finite qualitatively representable algebra is
always in NP; the validity of equations over qualitative representations is
co-NP-complete. On the other hand we prove that there is no finite
axiomatisation of the class of qualitatively representable algebras.Comment: 22 page
Representations of categories of G-maps
We study representations of wreath product analogues of categories of finite
sets. This includes the category of finite sets and injections (studied by
Church, Ellenberg, and Farb) and the opposite of the category of finite sets
and surjections (studied by the authors in previous work). We prove noetherian
properties for the injective version when the group in question is
polycyclic-by-finite and use it to deduce general twisted homological stability
results for such wreath products and indicate some applications to
representation stability. We introduce a new class of formal languages
(quasi-ordered languages) and use them to deduce strong rationality properties
of Hilbert series of representations for the surjective version when the group
is finite.Comment: 27 pages, split off from arXiv:1409.1670v1; v2: added Section 5.2 on
wreath product version of Murnaghan's stability theorem; v3: significant
rewrite; v4: corrected some proof
Complexity of equivalence relations and preorders from computability theory
We study the relative complexity of equivalence relations and preorders from
computability theory and complexity theory. Given binary relations , a
componentwise reducibility is defined by R\le S \iff \ex f \, \forall x, y \,
[xRy \lra f(x) Sf(y)]. Here is taken from a suitable class of effective
functions. For us the relations will be on natural numbers, and must be
computable. We show that there is a -complete equivalence relation, but
no -complete for .
We show that preorders arising naturally in the above-mentioned
areas are -complete. This includes polynomial time -reducibility
on exponential time sets, which is , almost inclusion on r.e.\ sets,
which is , and Turing reducibility on r.e.\ sets, which is .Comment: To appear in J. Symb. Logi
- …