Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems

Atomic registers are certainly the most basic objects of computing science. Their implementation on top of an n-process asynchronous message-passing system has received a lot of attention. It has been shown that t \textless{} n/2 (where t is the maximal number of processes that may crash) is a necessary and sufficient requirement to build an atomic register on top of a crash-prone asynchronous message-passing system. Considering such a context, this paper presents an algorithm which implements a single-writer multi-reader atomic register with four message types only, and where no message needs to carry control information in addition to its type. Hence, two bits are sufficient to capture all the control information carried by all the implementation messages. Moreover, the messages of two types need to carry a data value while the messages of the two other types carry no value at all. As far as we know, this algorithm is the first with such an optimality property on the size of control information carried by messages. It is also particularly efficient from a time complexity point of view

Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems

The atomic register is certainly the most basic object of computing science. Its implementation on top of an n-process asynchronous message-passing system has received a lot of attention. It has been shown that t \textless{} n/2 (where t is the maximal number of processes that may crash) is a necessary and sufficient requirement to build an atomic register on top of a crash-prone asynchronous message-passing system. Considering such a context, this paper visits the notion of a fast implementation of an atomic register, and presents a new time-efficient asynchronous algorithm. Its time-efficiency is measured according to two different underlying synchrony assumptions. Whatever this assumption, a write operation always costs a round-trip delay, while a read operation costs always a round-trip delay in favorable circumstances (intuitively, when it is not concurrent with a write). When designing this algorithm, the design spirit was to be as close as possible to the one of the famous ABD algorithm (proposed by Attiya, Bar-Noy, and Dolev)

Commutator Relations Reveal Solvable Structures in Unambiguous State Discrimination

We present a criterion, based on three commutator relations, that allows to decide whether two self-adjoint matrices with non-overlapping support are simultaneously unitarily similar to quasidiagonal matrices, i.e., whether they can be simultaneously brought into a diagonal structure with 2x2-dimensional blocks. Application of this criterion to unambiguous state discrimination provides a systematic test whether the given problem is reducible to a solvable structure. As an example, we discuss unambiguous state comparison.Comment: 5 pages, discussion of related work adde

Borderline and schizotypal traits in college students: Relationship and personality profiles

The relationships between borderline and schizotypal traits are still debated. Borderline traits, schizotypal traits, and several psychopathological symptoms were assessed among 2,341 college students. A factor analysis was performed on borderline and schizotypal personality measures, leading to 10 factors. Borderline factors were largely intercorrelated, as were schizotypal factors. Moreover, borderline factors were weakly to largely correlated to schizotypal factors. Five factors were very strongly correlated (r > .50). Dissociation was strongly related to Odd Beliefs/Unusual Perceptive Experiences and Anxious-Depressive factors. Social Anxiety was strongly related to Suspiciousness. Based on these 10 factors, a cluster analysis was conducted, and resulted in four clearly distinct groups: a Low Traits cluster, a Narcissistic cluster, a Social Anxiety cluster, and a High Traits cluster. This High Traits cluster had the lowest levels of academic achievement and the highest levels of internalizing behaviors and externalizing behaviors. The clinical implications of the results are discussed

Fisheye Consistency: Keeping Data in Synch in a Georeplicated World

Over the last thirty years, numerous consistency conditions for replicated data have been proposed and implemented. Popular examples of such conditions include linearizability (or atomicity), sequential consistency, causal consistency, and eventual consistency. These consistency conditions are usually defined independently from the computing entities (nodes) that manipulate the replicated data; i.e., they do not take into account how computing entities might be linked to one another, or geographically distributed. To address this lack, as a first contribution, this paper introduces the notion of proximity graph between computing nodes. If two nodes are connected in this graph, their operations must satisfy a strong consistency condition, while the operations invoked by other nodes are allowed to satisfy a weaker condition. The second contribution is the use of such a graph to provide a generic approach to the hybridization of data consistency conditions into the same system. We illustrate this approach on sequential consistency and causal consistency, and present a model in which all data operations are causally consistent, while operations by neighboring processes in the proximity graph are sequentially consistent. The third contribution of the paper is the design and the proof of a distributed algorithm based on this proximity graph, which combines sequential consistency and causal consistency (the resulting condition is called fisheye consistency). In doing so the paper not only extends the domain of consistency conditions, but provides a generic provably correct solution of direct relevance to modern georeplicated systems

A eubacterial origin for the human tRNA nucleotidyltransferase?

tRNA CCA-termini are generated and maintained by tRNA nucleotidyltransferases. Together with poly(A) polymerases and other enzymes they belong to the nucleotidyltransferase superfamily. However, sequence alignments within this family do not allow to distinguish between CCA-adding enzymes and poly(A) polymerases. Furthermore, due to the lack of sequence information about animal CCA-adding enzymes, identification of corresponding animal genes was not possible so far. Therefore, we looked for the human homolog using the baker's yeast tRNA nucleotidyltransferase as a query sequence in a BLAST search. This revealed that the human gene transcript CGI-47, (\#AF151805) deposited in GenBank is likely to encode such an enzyme. To identify the nature of this protein, the cDNA of the transcript was cloned and the recombinant protein biochemically characterized, indicating that CGI-47 encodes a bona fide CCA-adding enzyme and not a poly(A) polymerase. This confirmed animal CCA-adding enzyme allowed us to identify putative homologs from other animals. Calculation of a neighbor-joining tree, using an alignment of several CCA-adding enzymes, revealed that the animal enzymes resemble more eubacterial ones than eukaryotic plant and fungal tRNA nucleotidyltransferases, suggesting that the animal nuclear cca genes might have been derived from the endosymbiotic progenitor of mitochondria and are therefore of eubacterial origin

Possible explanation of the discrepancy of the light-cone QCD sum rule calculation of g(D*Dpi) coupling with experiment

The introduction of an explicit negative radial excitation contribution in the hadronic side of the light cone QCD sum rule (LCSR) of Belyaev, Braun, Khodjamirian and Ruckl, can explain the large experimental value of g(D*Dpi), recently measured by CLEO. At the same time, it considerably improves the stability of the sum rule when varying the Borel parameter.Comment: 9 pages, 1 PostScript figure

Study of internal structures of 9,10Be and 10B in scattering of 4He from 9Be

A study of inelastic scattering and single-particle transfer reactions was performed by an alpha beam at 63 MeV on a 9$Be target. Angular distributions of the differential cross sections for the 9Be(4He,4He')9Be*, 9Be(4He,3He)10Be and 9Be(4He,t)10B reactions were measured. Experimental angular distributions of the differential cross sections for the ground state and a few low-lying states were analyzed in the framework of the optical model, coupled channels and distorted-wave Born approximation. An analysis of the obtained spectroscopic factors was performed.Comment: 16 pages, 7 figures, 3 tables, regular paper, mispritns are corrected in new versio

Faraday waves on a viscoelastic liquid

We investigate Faraday waves on a viscoelastic liquid. Onset measurements and a nonlinear phase diagram for the selected patterns are presented. By virtue of the elasticity of the material a surface resonance synchronous to the external drive competes with the usual subharmonic Faraday instability. Close to the bicriticality the nonlinear wave interaction gives rise to a variety of novel surface states: Localised patches of hexagons, hexagonal superlattices, coexistence of hexagons and lines. Theoretical stability calculations and qualitative resonance arguments support the experimental observations.Comment: 4 pages, 4figure

Nuclear Medium Effects in the Relativistic Treatment of Quasifree Electron Scattering

Non-relativistic reduction of the S-matrix for the quasifree electron scattering process $A\left(~e, e'p~\right)A-1$ is studied in order to understand the source of differences between non-relativistic and relativistic models. We perform an effective Pauli reduction on the relativistic expression for the S-matrix in the one-photon exchange approximation. The reduction is applied to the nucleon current only; the electrons are treated fully relativistically. An expansion of the amplitude results in a power series in the nuclear potentials. The series is found to converge rapidly only if the nuclear potentials are included in the nuclear current operator. The results can be cast in a form which reproduces the non-relativistic amplitudes in the limit that the potentials are removed from the nuclear current operator. Large differences can be found between calculations which do and do not include the nuclear potentials in the different orders of the nuclear current operator. In the high missing momentum region we find that the non-relativistic calculations with potentials included in the nuclear current up to second order give results which are close to those of the fully relativistic calculation. This behavior is an indication of the importance of the medium modifications of the nuclear currents in this model, which are naturally built into the relativistic treatment of the reaction.Comment: Latex, 26 pages including 5 uuencoded postscript figures. accepted for publication in Phys. Rev. C