BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

J. Almeida

J. Almeida contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRcond-mat.quant-gascond-mat.str-elquant-phcond-mat.otherLogic in Computer Science

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2020arXiv

Profinite congruences and unary algebras

Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra. On the other hand, closed congruences and fully invariant congruences can be described constructively. In a previous paper, we conjectured that fully invariant closed congruences on a relatively free profinite algebra are always profinite. Here, we show that our conjecture fails for unary algebras and that closed congruences on relatively free profinite semigroups are not necessarily profinite. As part of our study of unary algebras, we establish an adjunction between profinite unary algebras and profinite monoids. We also show that the Polish representation of the free profinite unary algebra is faithful.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Nilpotency and strong nilpotency for finite semigroups

Nilpotent semigroups in the sense of Mal'cev are defined by semigroup identities. Finite nilpotent semigroups constitute a pseudovariety, $\mathsf{MN}$, which has finite rank. The semigroup identities that define nilpotent semigroups, lead us to define strongly Mal'cev nilpotent semigroups. Finite strongly Mal'cev nilpotent semigroups constitute a non-finite rank pseudovariety, $\mathsf{SMN}$. The pseudovariety $\mathsf{SMN}$ is strictly contained in the pseudovariety $\mathsf{MN}$ but all finite nilpotent groups are in $\mathsf{SMN}$. We show that the pseudovariety $\mathsf{MN}$ is the intersection of the pseudovariety $\mathsf{BG_{nil}}$ with a pseudovariety defined by a $κ$-identity. We further compare the pseudovarieties $\mathsf{MN}$ and $\mathsf{SMN}$ with the Mal'cev product of the pseudovarieties $\mathsf{J}$ and $\mathsf{G_{nil}}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Representations of relatively free profinite semigroups, irreducibility, and order primitivity

We establish that, under certain closure assumptions on a pseudovariety of semigroups, the corresponding relatively free profinite semigroups freely generated by a non-singleton finite set act faithfully on their minimum ideals. As applications, we enlarge the scope of several previous join irreducibility results for pseudovarieties of semigroups, which turn out to be even join irreducible in the lattice of pseudovarieties of ordered semigroups, so that, in particular, they are not generated by proper subpseudovarieties of ordered semigroups. We also prove the stronger form of join irreducibility for the Krohn-Rhodes complexity pseudovarieties, thereby solving a problem proposed by Rhodes and Steinberg.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantum Magnetism of Spin-Ladder Compounds with Trapped-Ion Crystals

The quest for experimental platforms that allow for the exploration, and even control, of the interplay of low dimensionality and frustration is a fundamental challenge in several fields of quantum many-body physics, such as quantum magnetism. Here, we propose the use of cold crystals of trapped ions to study a variety of frustrated quantum spin ladders. By optimizing the trap geometry, we show how to tailor the low dimensionality of the models by changing the number of legs of the ladders. Combined with a method for selectively hiding of ions provided by laser addressing, it becomes possible to synthesize stripes of both triangular and Kagome lattices. Besides, the degree of frustration of the phonon-mediated spin interactions can be controlled by shaping the trap frequencies. We support our theoretical considerations by initial experiments with planar ion crystals, where a high and tunable anisotropy of the radial trap frequencies is demonstrated. We take into account an extensive list of possible error sources under typical experimental conditions, and describe explicit regimes that guarantee the validity of our scheme.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Frustrated Quantum Spin Models with Cold Coulomb Crystals

We exploit the geometry of a zig-zag cold-ion crystal in a linear trap to propose the quantum simulation of a paradigmatic model of long-ranged magnetic frustration. Such a quantum simulation would clarify the complex features of a rich phase diagram that presents ferromagnetic, dimerized antiferromagnetic, paramagnetic, and floating phases, together with previously unnoticed features that are hard to assess by numerics. We analyze in detail its experimental feasibility, and provide supporting numerical evidence on the basis of realistic parameters in current ion-trap technology.

0 citations0 reviewsNo code linkedOpen access