14 citations · 24 across the 10 of their papers we have counts for
13 papers
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation
Catarina Carvalho, Florent Madelaine, Barnaby Martin +1
Let A be an idempotent algebra on a finite domain. By mediating between results of Chen and Zhuk, we argue that if A satisfies the polynomially generated powers property (PGP) and…
The lattice and semigroup structure of multipermutations
Catarina Carvalho, Barnaby Martin
We study the algebraic properties of binary relations whose underlying digraph is smooth, that is has no source or sink. Such objects have been studied as surjective hyper-operatio…
Gluing action groupoids: Fredholm conditions and layer potentials
Catarina Carvalho, Rémi Côme, Yu Qiao
This paper is a merge of arXiv:1807.05418 and arXiv:1808.01442. We introduce a new class of groupoids, called "boundary action groupoids", which are obtained by gluing reductions o…
Fredholm Groupoids and Layer Potentials on Conical Domains
Catarina Carvalho, Yu Qiao
We show that layer potential groupoids for conical domains constructed in an earlier paper (Carvalho-Qiao, Central European J. Math., 2013) are Fredholm groupoids, which enables us…
Fredholm conditions on non-compact manifolds: theory and examples
Catarina Carvalho, Victor Nistor, Yu Qiao
We give explicit Fredholm conditions for classes of pseudodifferential operators on suitable singular and non-compact spaces. In particular, we include a "user's guide" to Fredholm…
The complexity of quantified constraints using the algebraic formulation
Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
Let A be an idempotent algebra on a finite domain. We combine results of Chen, Zhuk and Carvalho et al. to argue that if A satisfies the polynomially generated powers property (PGP…