BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Catarina Carvalho contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism condition cannot be replaced by a single fixed-point- free automorphism.
Inspired by computational complexity results for the quantified constraint satisfaction problem, we study the clones of idempotent polymorphisms of certain digraph classes. Our first results are two algebraic dichotomy, even "gap", theorems. Building on and extending [Martin CP'11], we prove that partially reflexive paths bequeath a set of idempotent polymorphisms whose associated clone algebra has: either the polynomially generated powers property (PGP); or the exponentially generated powers property (EGP). Similarly, we build on [DaMM ICALP'14] to prove that semicomplete digraphs have the same property. These gap theorems are further motivated by new evidence that PGP could be the algebraic explanation that a QCSP is in NP even for unbounded alternation. Along the way we also effect a study of a concrete form of PGP known as collapsibility, tying together the algebraic and structural threads from [Chen Sicomp'08], and show that collapsibility is equivalent to its $Π_2$-restriction. We also give a decision procedure for $k$-collapsibility from a singleton source of a finite structure (a form of collapsibility which covers all known examples of PGP for finite structures). Finally, we present a new QCSP trichotomy result, for partially reflexive paths with constants. Without constants it is known these QCSPs are either in NL or Pspace-complete [Martin CP'11], but we prove that with constants they attain the three complexities NL, NP-complete and Pspace-complete.
We prove a regularity result in weighted Sobolev spaces (or Babuska--Kondratiev spaces) for the eigenfunctions of a Schrödinger operator. More precisely, let K_{a}^{m}(\mathbb{R}^{3N}) be the weighted Sobolev space obtained by blowing up the set of singular points of the Coulomb type potential V(x) = \sum_{1 \le j \le N} \frac{b_j}{|x_j|} + \sum_{1 \le i < j \le N} \frac{c_{ij}}{|x_i-x_j|}, x in \mathbb{R}^{3N}, b_j, c_{ij} in \mathbb{R}. If u in L^2(\mathbb{R}^{3N}) satisfies (-Δ+ V) u = λu in distribution sense, then u belongs to K_{a}^{m} for all m \in \mathbb{Z}_+ and all a \le 0. Our result extends to the case when b_j and c_{ij} are suitable bounded functions on the blown-up space. In the single-electron, multi-nuclei case, we obtain the same result for all a<3/2.
We give an index formula for a class of Dirac operators coupled with unbounded potentials. More precisely, we study operators of the form P := D+ V, where D is a Dirac operators and V is an unbounded potential at infinity on a possibly non-compact manifold M_0. We assume that M_0 is a Lie manifold with compactification denoted M. Examples of Lie manifolds are provided by asymptotically Euclidean or asymptotically hyperbolic spaces. The potential V is required to be invertible outside a compact set K and V^{-1} extends to a smooth function on M\K that vanishes on all faces of M in a controlled way. Using tools from analysis on non-compact Riemannian manifolds, we show that the computation of the index of P reduces to the computation of the index of an elliptic pseudodifferential operator of order zero on M_0 that is a multiplication operator at infinity. The index formula for P can then be obtained from earlier results. The proof also yields similar index formulas for Callias-type pseudodifferential operators coupled with bounded potentials that are invertible at infinity on asymptotically commutative Lie manifolds, a class of manifolds that includes the scattering and double-edge calculi.
To a domain with conical points Ω, we associate a natural C*-algebra that is motivated by the study of boundary value problems on Ω, especially using the method of layer potentials. In two dimensions, we allow Ωto be a domain with ramified cracks. We construct an explicit groupoid associated to the boundary of Ωand use the theory of pseudodifferential operators on groupoids and its representations to obtain our layer potentials C*-algebra. We study its structure, compute the associated K-groups, and prove Fredholm conditions for the natural pseudodifferential operators affiliated to this C*-algebra.