Topologically protected quantum transport in locally exfoliated bismuth at room temperature

We report electrical conductance measurements of Bi nanocontacts created by repeated tip-surface indentation using a scanning tunneling microscope at temperatures of 4 and 300 K. As a function of the elongation of the nanocontact, we measure robust, tens of nanometers long plateaus of conductance G0=2e2/h at room temperature. This observation can be accounted for by the mechanical exfoliation of a Bi(111) bilayer, a predicted quantum spin Hall (QSH) insulator, in the retracing process following a tip-surface contact. The formation of the bilayer is further supported by the additional observation of conductance steps below G0 before breakup at both temperatures. Our finding provides the first experimental evidence of the possibility of mechanical exfoliation of Bi bilayers, the existence of the QSH phase in a two-dimensional crystal, and, most importantly, the observation of the QSH phase at room temperature.

Truth Values in t-norm based Systems Many-valued FUZZY Logic

In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E on [0,1]. The general propositional algebra of t-norm based many-valued logic is then constructed from seven axioms. It contains classical logic (not many-valued) as a special case. It is first applied to the case where E=[0,1] and V is the identity. The result is a t-norm based many-valued logic in which contradiction can have a nonzero degree of truth but cannot be true; for this reason, this logic is called quasi-paraconsistent.