• On the road of searching for Majorana zero modes (MZMs) in topological insulator-based Josephson junctions, a highly-sought signature is the protected full transparency of electron transport through the junctions due to the existence of the MZMs, associated with complete gap closing between the electron-like and hole-like Andreev bound states (ABSs). Here, we present direct experimental evidence of gap closing and full transparency in single Josephson junctions constructed on the surface of three-dimensional topological insulator (3D TI) Bi$_2$Te$_3$. Our results demonstrate that the 2D surface of 3D TIs provides a promising platform for hosting and manipulating MZMs.
  • Absorption, distribution, metabolism, and excretion (ADME) studies are critical for drug discovery. Conventionally, these tasks, together with other chemical property predictions, rely on domain-specific feature descriptors, or fingerprints. Following the recent success of neural networks, we developed Chemi-Net, a completely data-driven, domain knowledge-free, deep learning method for ADME property prediction. To compare the relative performance of Chemi-Net with Cubist, one of the popular machine learning programs used by Amgen, a large-scale ADME property prediction study was performed on-site at Amgen. The results showed that our deep neural network method improved current methods by a large margin. We foresee that the significantly increased accuracy of ADME prediction seen with Chemi-Net over Cubist will greatly accelerate drug discovery.
  • Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed sometimes, in both everyday discourse and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences.
  • This note proposes various axiomatizations of contingency logic under neighborhood semantics. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn's function is actually equal to a related function originally given by Humberstone.
  • In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in (Fan and van Ditmarsch, 2015), but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that $c$-bisimulation is equivalent to nbh-$\Delta$-bisimulation in the literature, which guides us to understand the essence of the latter notion. This perspective also provides various frame definability and axiomatization results.
  • Unconventional superconductivity is one of the most fascinating and intriguing quantum phenomena in condensed matter physics. Recently, Ising superconductivity has been theoretically predicated and experimentally realized in noncentrosymmetric monolayer transition metal dichalcogenides (TMDCs) MX2 (M =W, Mo and X=Te, Se, S). However, unconventional superconductivity in centrosymmetric TMDCs remains an open issue. Here, we report transport evidence of Ising superconductivity in few-layer 1Td-MoTe2 crystals. Our low-temperature magnetotransport experiments show that the in-plane upper critical field ($H_{c2,//}$) is at least 6 times higher than the Pauli paramagnetic limit ($H_p$), which strongly suggests the Zeeman-protected Ising superconductivity in the sample. Our study sheds light on the interplay between unconventional superconductivity and crystal symmetry property, and may pave a new avenue to search for unconventional superconductors in centrosymmetric TMDCs.
  • Nov. 15, 2016 math.LO
    Supervenience is an important philosophical concept. In this paper, inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality is very natural to correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a notion of bisimulation for the latter logic. We provide a sound proof system for our new logic. We also lift on to more general logics of supervenience. Related to this, we compare propositional logic of determinacy and non-contingency in expressive powers, and give axiomatizations of propositional logic of determinacy over various classes of frames, thereby resolving an open research direction listed in~\cite[Sec.~8.2]{Gorankoetal:2016}. As a corollary, we also present an alternative axiomatization for propositional logic of determinacy over universal models. We conclude with a lot of future work.
  • There have been continuous efforts in searching for unconventional superconductivity over the past five decades. Compared to the well-established d-wave superconductivity in cuprates, the existence of superconductivity with other high-angular-momentum pairing symmetries is less conclusive. Bi/Ni epitaxial bilayer is a potential unconventional superconductor with broken time reversal symmetry (TRS), for that it demonstrates superconductivity and ferromagnetism simultaneously at low temperatures. We employ a specially designed superconducting quantum interference device (SQUID) to detect, on the Bi/Ni bilayer, the orbital magnetic moment which is expected if the TRS is broken. An anomalous hysteretic magnetic response has been observed in the superconducting state, providing the evidence for the existence of chiral superconducting domains in the material.
  • Recently, much attention has been paid to search for Majorana fermions in solid-state systems. Among various proposals there is one based on radio-frequency superconducting quantum interference devices (rf-SQUIDs), in which the appearance of 4$\pi$-period energy-phase relations is regarded as smoking-gun evidence of Majorana fermion states. Here we report the observation of truncated 4$\pi$-period (i.e., 2$\pi$-period but fully skewed) oscillatory patterns of contact resistance on rf-SQUIDs constructed on the surface of three-dimensional topological insulator Bi$_2$Te$_3$. The results reveal the existence of 1/2 fractional modes of Cooper pairs and the occurrence of parity switchings, both of which are necessary signatures accompanied with the formation of Majorana fermion states.
  • June 5, 2015 cs.LO
    In the literature, essence is formalized in two different ways, either de dicto, or de re. Following \cite{Marcos:2005}, we adopt its de dicto formalization: a formula is essential, if once it is true, it is necessarily true; otherwise, it is accidental. In this article, we study the model theory and axiomatization of the logic of essence and accident, i.e. the logic with essence operator (or accident operator) as the only primitive modality. We show that the logic of essence and accident is less expressive than modal logic on non-reflexive models, but the two logics are equally expressive on reflexive models. We prove that some frame properties are undefinable in the logic of essence and accident, while some are. We propose the suitable bisimulation for this logic, based on which we characterize the expressive power of this logic within modal logic and within first-order logic. We axiomatize this logic over various frame classes, among which the symmetric case is missing, and our method is more suitable than those in the literature. We also find a method to compute certain axioms used to axiomatize this logic over special frames in the literature. As a side effect, we answer some open questions raised in \cite{Marcos:2005}.
  • May 15, 2015 cs.LO
    Inspired by Hintikka's treatment of question embedding verbs in [8] and the variations of noncontingency operator, we propose a logic with strong noncontingency operator $\blacktriangle$ as the only primitive modality. A proposition is strongly noncontingent, if no matter whether it is true or false, it does it necessarily; otherwise, it is weakly contingent. This logic is not a normal modal logic, since $\blacktriangle(\phi\to\psi)\to(\blacktriangle\phi\to\blacktriangle\psi)$ is invalid. We compare the relative expressivity of this logic and other logics, such as standard modal logic, noncontingency logic, and logic of essence and accident, and investigate its frame definability. Apart from these results, we also propose a suitable notion of bisimulation for the logic of strong noncontingency, based on which we characterize this logic within modal logic and within first-order logic. We also axiomatize the logic of strong noncontingency over various frame classes. Our work is also related to the treatment of agreement operator in [10].
  • Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that. This logic is not a normal modal logic, because we do not have Kw (phi -> psi) -> (Kw phi -> Kw psi). Knowing whether logic cannot define many common frame properties, and its expressive power less than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing knowing whether logics non-trivial. We axiomatize knowing whether logic over various frame classes. We also present an extension of knowing whether logic with public announcement operators and we give corresponding reduction axioms for that. We compare our work in detail to two recent similar proposals.
  • It is believed that the edges of a chiral p-wave superconductor host Majorana modes, relating to a mysterious type of fermions predicted seven decades ago. Much attention has been paid to search for p-wave superconductivity in solid-state systems, including recently those with strong spin-orbit coupling (SOC). However, smoking-gun experiments are still awaited. In this work, we have performed phase-sensitive measurements on particularly designed superconducting quantum interference devices constructing on the surface of topological insulators Bi2Te3, in such a way that a substantial portion of the interference loop is built on the proximity-effect-induced superconducting surface. Two types of Cooper interference patterns have been recognized at low temperatures. One is s-wave like and is contributed by a zero-phase loop inhabited in the bulk of Bi2Te3. The other, being identified to relate to the surface states, is anomalous for that there is a phase shift between the positive and negative bias current directions. The results support that the Cooper pairs on the surface of Bi2Te3 have a 2\pi Berry phase which makes the superconductivity p_x+ip_y-wave-like. Mesoscopic hybrid rings as constructed in this experiment are presumably arbitrary-phase loops good for studying topological quantum phenomena.
  • We have studied the electron transport properties of topological insulator-related material Bi2Se3 near the superconducting Pb-Bi2Se3 interface, and found that a superconducting state is induced over an extended volume in Bi2Se3. This state can carry a Josephson supercurrent, and demonstrates a gap-like structure in the conductance spectra as probed by a normal-metal electrode. The establishment of the gap is not by confining the electrons into a narrow space close to the superconductor-normal metal interface, as previously observed in other systems, but presumably via electron-electron attractive interaction in Bi2Se3.
  • We have investigated the conductance spectra of Sn-Bi2Se3 interface junctions down to 250 mK and in different magnetic fields. A number of conductance anomalies were observed below the superconducting transition temperature of Sn, including a small gap different from that of Sn, and a zero-bias conductance peak growing up at lower temperatures. We discussed the possible origins of the smaller gap and the zero-bias conductance peak. These phenomena support that a proximity-effect-induced chiral superconducting phase is formed at the interface between the superconducting Sn and the strong spin-orbit coupling material Bi2Se3.
  • Majarona fermions (MFs) were predicted more than seven decades ago but are yet to be identified [1]. Recently, much attention has been paid to search for MFs in condensed matter systems [2-10]. One of the seaching schemes is to create MF at the interface between an s-wave superconductor (SC) and a 3D topological insulator (TI) [11-13]. Experimentally, progresses have been achieved in the observations of a proximity-effect-induced supercurrent [14-16], a perfect Andreev reflection [17] and a conductance peak at the Fermi level [18]. However, further characterizations are still needed to clarify the nature of the SC-TI interface. In this Letter, we report on a strong proximity effect in Pb-Bi2Te3 hybrid structures, based on which Josephson junctions and superconducting quantum interference devices (SQUIDs) can be constructed. Josephson devices of this type would provide a test-bed for exploring novel phenomena such as MFs in the future.
  • Electrical control of spin dynamics in Bi$_{\rm 2}$Se$_{\rm 3}$ was investigated in ring-type interferometers. Aharonov-Bohm and Altshuler-Aronov-Spivak resistance oscillations against magnetic field, and Aharorov-Casher resistance oscillations against gate voltage were observed in the presence of a Berry phase of $\pi$. A very large tunability of spin precession angle by gate voltage has been obtained, indicating that Bi$_{\rm 2}$Se$_{\rm 3}$-related materials with strong spin-orbit coupling are promising candidates for constructing novel spintronic devices.