
On the road of searching for Majorana zero modes (MZMs) in topological
insulatorbased Josephson junctions, a highlysought 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
electronlike and holelike 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 threedimensional 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 domainspecific feature descriptors, or
fingerprints. Following the recent success of neural networks, we developed
ChemiNet, a completely datadriven, domain knowledgefree, deep learning
method for ADME property prediction. To compare the relative performance of
ChemiNet with Cubist, one of the popular machine learning programs used by
Amgen, a largescale ADME property prediction study was performed onsite 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 ChemiNet 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 modeltheoretical
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 HennessyMilner 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 fewlayer 1TdMoTe2 crystals. Our lowtemperature
magnetotransport experiments show that the inplane upper critical field
($H_{c2,//}$) is at least 6 times higher than the Pauli paramagnetic limit
($H_p$), which strongly suggests the Zeemanprotected 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.

Supervenience is an important philosophical concept. In this paper, inspired
by the superveniencedetermined 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
superveniencedetermined consequence relation, in a quite similar way that the
strict implication corresponds to the inferencedetermined 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 noncontingency 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 wellestablished
dwave superconductivity in cuprates, the existence of superconductivity with
other highangularmomentum 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
solidstate systems. Among various proposals there is one based on
radiofrequency superconducting quantum interference devices (rfSQUIDs), in
which the appearance of 4$\pi$period energyphase relations is regarded as
smokinggun 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 rfSQUIDs constructed on the surface of
threedimensional 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.

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
nonreflexive 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 firstorder 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}.

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 firstorder 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 nontrivial. 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 pwave superconductor host Majorana
modes, relating to a mysterious type of fermions predicted seven decades ago.
Much attention has been paid to search for pwave superconductivity in
solidstate systems, including recently those with strong spinorbit coupling
(SOC). However, smokinggun experiments are still awaited. In this work, we
have performed phasesensitive 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 proximityeffectinduced superconducting
surface. Two types of Cooper interference patterns have been recognized at low
temperatures. One is swave like and is contributed by a zerophase 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_ywavelike. Mesoscopic hybrid rings as constructed in
this experiment are presumably arbitraryphase loops good for studying
topological quantum phenomena.

We have studied the electron transport properties of topological
insulatorrelated material Bi2Se3 near the superconducting PbBi2Se3 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
gaplike structure in the conductance spectra as probed by a normalmetal
electrode. The establishment of the gap is not by confining the electrons into
a narrow space close to the superconductornormal metal interface, as
previously observed in other systems, but presumably via electronelectron
attractive interaction in Bi2Se3.

We have investigated the conductance spectra of SnBi2Se3 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 zerobias conductance
peak growing up at lower temperatures. We discussed the possible origins of the
smaller gap and the zerobias conductance peak. These phenomena support that a
proximityeffectinduced chiral superconducting phase is formed at the
interface between the superconducting Sn and the strong spinorbit 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 [210]. One of the seaching schemes is to
create MF at the interface between an swave superconductor (SC) and a 3D
topological insulator (TI) [1113]. Experimentally, progresses have been
achieved in the observations of a proximityeffectinduced supercurrent
[1416], 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 SCTI interface. In this Letter, we report on a strong proximity
effect in PbBi2Te3 hybrid structures, based on which Josephson junctions and
superconducting quantum interference devices (SQUIDs) can be constructed.
Josephson devices of this type would provide a testbed 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 ringtype interferometers. AharonovBohm and
AltshulerAronovSpivak resistance oscillations against magnetic field, and
AharorovCasher 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 spinorbit coupling are promising
candidates for constructing novel spintronic devices.