144 research outputs found
Uniform decision problems in automatic semigroups
We consider various decision problems for automatic semigroups, which involve
the provision of an automatic structure as part of the problem instance. With
mild restrictions on the automatic structure, which seem to be necessary to
make the problem well-defined, the uniform word problem for semigroups
described by automatic structures is decidable. Under the same conditions, we
show that one can also decide whether the semigroup is completely simple or
completely zero-simple; in the case that it is, one can compute a Rees matrix
representation for the semigroup, in the form of a Rees matrix together with an
automatic structure for its maximal subgroup. On the other hand, we show that
it is undecidable in general whether a given element of a given automatic
monoid has a right inverse.Comment: 19 page
Prefix monoids of groups and right units of special inverse monoids
A prefix monoid is a finitely generated submonoid of a finitely presented
group generated by the prefixes of its defining relators. Important results of
Guba (1997), and of Ivanov, Margolis and Meakin (2001), show how the word
problem for certain one-relator monoids, and inverse monoids, can be reduced to
solving the membership problem in prefix monoids of certain one-relator groups.
Motivated by this, in this paper we study the class of prefix monoids of
finitely presented groups. We obtain a complete description of this class of
monoids. All monoids in this family are finitely generated, recursively
presented and group-embeddable. Our results show that not every finitely
generated recursively presented group-embeddable monoid is a prefix monoid, but
for every such monoid if we take a free product with a suitably chosen free
monoid of finite rank, then we do obtain a prefix monoid. Conversely we prove
that every prefix monoid arises in this way. Also, we show that the groups that
arise as groups of units of prefix monoids are precisely the finitely generated
recursively presented groups, while the groups that arise as Sch\"utzenberger
groups of prefix monoids are exactly the recursively enumerable subgroups of
finitely presented groups. We obtain an analogous result classifying the
Sch\"utzenberger groups of monoids of right units of special inverse monoids.
We also give some examples of right cancellative monoids arising as monoids of
right units of finitely presented special inverse monoids, and show that not
all right cancellative recursively presented monoids belong to this class.Comment: 22 page
Computing Possible and Certain Answers over Order-Incomplete Data
This paper studies the complexity of query evaluation for databases whose
relations are partially ordered; the problem commonly arises when combining or
transforming ordered data from multiple sources. We focus on queries in a
useful fragment of SQL, namely positive relational algebra with aggregates,
whose bag semantics we extend to the partially ordered setting. Our semantics
leads to the study of two main computational problems: the possibility and
certainty of query answers. We show that these problems are respectively
NP-complete and coNP-complete, but identify tractable cases depending on the
query operators or input partial orders. We further introduce a duplicate
elimination operator and study its effect on the complexity results.Comment: 55 pages, 56 references. Extended journal version of
arXiv:1707.07222. Up to the stylesheet, page/environment numbering, and
possible minor publisher-induced changes, this is the exact content of the
journal paper that will appear in Theoretical Computer Scienc
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
A certain class of Frobenius algebras has been used to characterize
orthonormal bases and observables on finite-dimensional Hilbert spaces. The
presence of units in these algebras means that they can only be realized
finite-dimensionally. We seek a suitable generalization, which will allow
arbitrary bases and observables to be described within categorical
axiomatizations of quantum mechanics. We develop a definition of H*-algebra
that can be interpreted in any symmetric monoidal dagger category, reduces to
the classical notion from functional analysis in the category of (possibly
infinite-dimensional) Hilbert spaces, and hence provides a categorical way to
speak about orthonormal bases and quantum observables in arbitrary dimension.
Moreover, these algebras reduce to the usual notion of Frobenius algebra in
compact categories. We then investigate the relations between nonunital
Frobenius algebras and H*-algebras. We give a number of equivalent conditions
to characterize when they coincide in the category of Hilbert spaces. We also
show that they always coincide in categories of generalized relations and
positive matrices.Comment: 29 pages. Final versio
Word problems recognisable by deterministic blind monoid automata
We consider blind, deterministic, finite automata equipped with a register
which stores an element of a given monoid, and which is modified by right
multiplication by monoid elements. We show that, for monoids M drawn from a
large class including groups, such an automaton accepts the word problem of a
group H if and only if H has a finite index subgroup which embeds in the group
of units of M. In the case that M is a group, this answers a question of Elston
and Ostheimer.Comment: 8 pages, fixed some typos and clarified ambiguity in the abstract,
results unchange
- …