BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

J. Almeida

J. Almeida appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GRquant-phBiological Physicscond-mat.quant-gascond-mat.str-elCryptography and SecurityBiomoleculescond-mat.otherLogic in Computer Sciencephysics.chem-ph

Catalog footprint

What is connected

13works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

13 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

A geometric interpretation of the Schützenberger group of a minimal subshift

The first author has associated in a natural way a profinite group to each irreducible subshift. The group in question was initially obtained as a maximal subgroup of a free profinite semigroup. In the case of minimal subshifts, the same group is shown in the present paper to also arise from geometric considerations involving the Rauzy graphs of the subshift. Indeed, the group is shown to be isomorphic to the inverse limit of the profinite completions of the fundamental groups of the Rauzy graphs of the subshift. A further result involving geometric arguments on Rauzy graphs is a criterion for freeness of the profinite group of a minimal subshift based on the Return Theorem of Berthé et. al.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Reducibility of pointlike problems

We show that the pointlike and the idempotent pointlike problems are reducible with respect to natural signatures in the following cases: the pseudovariety of all finite semigroups in which the order of every subgroup is a product of elements of a fixed set of primes; the pseudovariety of all finite semigroups in which every regular J-class is the product of a rectangular band by a group from a fixed pseudovariety of groups that is reducible for the pointlike problem, respectively graph reducible. Allowing only trivial groups, we obtain omega-reducibility of the pointlike and idempotent pointlike problems, respectively for the pseudovarieties of all finite aperiodic semigroups (A) and of all finite semigroups in which all regular elements are idempotents (DA).

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
preprint2013arXiv

Origin of long-lived oscillations in 2D-spectra of a Quantum Vibronic Model: Electronic vs Vibrational coherence

We demonstrate that the coupling of excitonic and vibrational motion in biological complexes can provide mechanisms to explain the long-lived oscillations that have been obtained in non linear spectroscopic signals of different photosynthetic pigment protein complexes and we discuss the contributions of excitonic versus purely vibrational components to these oscillatory features. Considering a dimer model coupled to a structured spectral density we exemplify the fundamental aspects of the electron-phonon dynamics, and by analyzing separately the different contributions to the non linear signal, we show that for realistic parameter regimes purely electronic coherence is of the same order as purely vibrational coherence in the electronic ground state. Moreover, we demonstrate how the latter relies upon the excitonic interaction to manifest. These results link recently proposed microscopic, non-equilibrium mechanisms to support long lived coherence at ambient temperatures with actual experimental observations of oscillatory behaviour using 2D photon echo techniques to corroborate the fundamental importance of the interplay of electronic and vibrational degrees of freedom in the dynamics of light harvesting aggregates.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Probing quantum coherence in qubit arrays

We discuss how the observation of population localization effects in periodically driven systems can be used to quantify the presence of quantum coherence in interacting qubit arrays. Essential for our proposal is the fact that these localization effects persist beyond tight-binding Hamiltonian models. This result is of special practical relevance in those situations where direct system probing using tomographic schemes becomes infeasible beyond a very small number of qubits. As a proof of principle, we study analytically a Hamiltonian system consisting of a chain of superconducting flux qubits under the effect of a periodic driving. We provide extensive numerical support of our results in the simple case of a two-qubits chain. For this system we also study the robustness of the scheme against different types of noise and disorder. We show that localization effects underpinned by quantum coherent interactions should be observable within realistic parameter regimes in chains with a larger number of

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Computation of 2-D spectra assisted by compressed sampling

The computation of scientific data can be very time consuming even if they are ultimately determined by a small number of parameters. The principle of compressed sampling suggests that we can achieve a considerable decrease in the computation time by avoiding the need to sample the full data set. We demonstrate the usefulness of this approach at the hand of 2-D spectra in the context of ultra-fast non-linear spectroscopy of biological systems where numerical calculations are highly challenging due to the considerable computational effort involved in obtaining individual data points.

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

Coding for Cryptographic Security Enhancement using Stopping Sets

In this paper we discuss the ability of channel codes to enhance cryptographic secrecy. Toward that end, we present the secrecy metric of degrees of freedom in an attacker's knowledge of the cryptogram, which is similar to equivocation. Using this notion of secrecy, we show how a specific practical channel coding system can be used to hide information about the ciphertext, thus increasing the difficulty of cryptographic attacks. The system setup is the wiretap channel model where transmitted data traverse through independent packet erasure channels with public feedback for authenticated ARQ (Automatic Repeat reQuest). The code design relies on puncturing nonsystematic low-density parity-check codes with the intent of inflicting an eavesdropper with stopping sets in the decoder. Furthermore, the design amplifies errors when stopping sets occur such that a receiver must guess all the channel-erased bits correctly to avoid an expected error rate of one half in the ciphertext. We extend previous results on the coding scheme by giving design criteria that reduces the effectiveness of a maximum-likelihood attack to that of a message-passing attack. We further extend security analysis to models with multiple receivers and collaborative attackers. Cryptographic security is enhanced in all these cases by exploiting properties of the physical-layer. The enhancement is accurately presented as a function of the degrees of freedom in the eavesdropper's knowledge of the ciphertext, and is even shown to be present when eavesdroppers have better channel quality than legitimate receivers.

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
preprint2011arXiv

Physical-Layer Security over Correlated Erasure Channels

We explore the additional security obtained by noise at the physical layer in a wiretap channel model setting. Security enhancements at the physical layer have been proposed recently using a secrecy metric based on the degrees of freedom that an attacker has with respect to the sent ciphertext. Prior work focused on cases in which the wiretap channel could be modeled as statistically independent packet erasure channels for the legitimate receiver and an eavesdropper. In this paper, we go beyond the state-of-the-art by addressing correlated erasure events across the two communication channels. The resulting security enhancement is presented as a function of the correlation coefficient and the erasure probabilities for both channels. It is shown that security improvements are achievable by means of judicious physical-layer design even when the eavesdropper has a better channel than the legitimate receiver. The only case in which this assertion may not hold is when erasures are highly correlated across channels. However, we are able to prove that correlation cannot nullify the expected security enhancement if the channel quality of the legitimate receiver is strictly better than that of the eavesdropper.

0 citations0 reviewsNo code linkedOpen access