arXiv subjects

Jie Fan

Publications and source records attributed to Jie Fan.

At least 55 records · Page 3Linked to original sources

arXiv2020

Magnitude and Spatial Distribution Control of the Supercurrent in Bi2O2Se-Based Josephson Junction

Many proposals in exploring topological quantum computation are based on superconducting quantum devices constructed on materials with strong spin-orbit coupling (SOC). For these devices, a full control on both the magnitude and the spatial distribution of the supercurrent would be highly demanded, but has been elusive up to now. We constructed proximity-type Josephson junction on nanoplates of Bi2O2Se, a new emerging semiconductor with strong SOC. Through electrical gating, we show that the supercurrent can be fully turned ON and OFF, and its real-space pathways can be configured either through the bulk or along the edges. Our work demonstrates Bi2O2Se as a promising platform for constructing multifunctional hybrid superconducting devices as well as for searching for topological superconductivity.

cond-mat.mes-hall↗

arXiv2020

Notes on neighborhood semantics for logics of unknown truths and false beliefs

In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize some results in the literature. We axiomatize the two logics over various classes of neighborhood frames. Last but not least, we extend the results to the case of public announcements, which has good applications to Moore sentences and some others.

math.LO↗

arXiv2019

Gate-tunable h/e-period magnetoresistance oscillations in Bi2O2Se nanowires

We report on the successful synthesis and low-temperature electron transport investigations of a new form of material - Bi2O2Se semiconducting nanowires. Gate-tunable 0- and $π$-h/e (h is the Planck constant and e the elementary charge) periodic resistance oscillations in longitudinal magnetic field were observed unexpectedly, demonstrating novel quasi-ballistic, phase-coherent surface states in Bi2O2Se nanowires. By reaching a very good agreement between the calculated density of states and the experimental data, we clarified the mechanism to be the one dimensional subbands formed along the circumference of the nanowire rather than the usually considered Aharonov-Bohm interference. A qualitative physical picture based on downward band bending associated with the complex band structure is proposed to describe the formation of the surface states.

cond-mat.mes-hall↗

arXiv2019

Phase evolution and superconductivity enhancement in Se-substituted MoTe$_2$ thin films

The strong spin$-$orbit coupling (SOC) and numerous crystal phases in few$-$layer transition metal dichalcogenides (TMDCs) MX$_2$ (M$=$W, Mo, and X$=$Te, Se, S) has led to a variety of novel physics, such as Ising superconductivity and quantum spin Hall effect realized in monolayer 2H$-$ and Td$-$MX$_2$, respectively. Consecutive tailoring of the MX$_2$ structure from 2H to Td phase may realize the long$-$sought topological superconductivity in one material system by incorporating superconductivity and quantum spin Hall effect together. In this work, by combing Raman spectrum, X-ray photoelectron spectrum (XPS), scanning transmission electron microscopy imaging (STEM) as well as electrical transport measurements, we demonstrate that a consecutively structural phase transitions from Td to 1T$'$ to 2H polytype can be realized as the Se-substitution concentration increases. More importantly, the Se$-$substitution has been found to notably enhance the superconductivity of the MoTe$_2$ thin film, which is interpreted as the introduction of the two$-$band superconductivity. The chemical constituent induced phase transition offers a new strategy to study the s$_{+-}$ superconductivity and the possible topological superconductivity as well as to develop phase$-$sensitive devices based on MX$_2$ materials.

cond-mat.mes-hall↗

arXiv2019

Two variants of noncontingency operator

By slightly adapting two equivalent semantics of noncontingency operator, we obtain two variants, $\boxdot$ and $\boxplus$, with non-equivalent semantics. We show that on the class of models satisfying any of five basic properties (i.e. seriality, reflexivity, transitivity, symmetry, Euclidicity), the logic $\mathcal{L}(\boxdot)$, which has $\boxdot$ as the sole modal primitive, is less expressive than the logic $\mathcal{L}(\boxplus)$, which has $\boxplus$ as the sole modal primitive. We investigate the frame definability of both languages. We then axiomatize $\mathcal{L}(\boxplus)$ and $\mathcal{L}(\boxdot)$ over various classes of bimodal frames. Among other results, a notion of morphisms, called `$\boxdot$-morphisms', are provided to show the completeness of axiomatizations of $\mathcal{L}(\boxdot)$ over serial frames and also over symmetric frames.

math.LO↗

arXiv2019

Evidence of Majorana Zero Modes in Josephson Trijunctions

In search of fault-tolerant topological quantum computation (TQC), zero-bias conductance peak as a necessary signature of Majorana zero modes (MZMs) has been observed in a number of solid-state systems. Here, we present the signature of MZMs from a phase-sensitive experiment on Josephson trijunctions constructed on the surface of three-dimensional topological insulators. We observed that the minigap at the center of the trijunction is protected to close over extended regions in phase space, supporting in principle the Majorana phase diagram proposed by Fu and Kane in 2008. Our study paves the way for further braiding MZMs and exploring TQC on a scalable two-dimensional platform.

cond-mat.mes-hall↗

arXiv2018

A family of neighborhood contingency logics

This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. 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.

math.LO↗

arXiv2018

Transport evidence of asymmetric spin-orbit coupling in few$-$layer superconducting 1Td$-$MoTe$_2$

Two-dimensional (2D) transition metal dichalcogenides (TMDCs) MX2 (M=W, Mo, Nb, and X=Te, Se, S) with strong spin-orbit coupling (SOC) possess plenty of novel physics including superconductivity. Due to the Ising SOC, monolayer NbSe$_2$ and gated MoS$_2$ of 2H structure can realize the Ising superconductivity phase, which manifests itself with in-plane upper critical field far exceeding Pauli paramagnetic limit. Surprisingly, we find that a few-layer 1Td structure MoTe$_2$ also exhibits an in-plane upper critical field ($H_{c2,//}$) which goes beyond the Pauli paramagnetic limit. Importantly, the in-plane upper critical field shows an emergent two-fold symmetry which is different from the isotropic $H_{c2,//}$ in 2H structure TMDCs. We show that this is a result of an asymmetric SOC in 1Td structure TMDCs. The asymmetric SOC is very strong and estimated to be on the order of tens of meV. Our work provides the first transport evidence of a new type of asymmetric SOC in TMDCs which may give rise to novel superconducting and spin transport properties. Moreover, our findings mostly depend on the symmetry of the crystal and apply to a whole class of 1Td TMDCs such as 1Td-WTe$_2$ which is under intense study due to its topological properties.

cond-mat.supr-con↗

arXiv2018

Protected gap closing in Josephson junctions constructed on Bi$_2$Te$_3$ surface

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.

cond-mat.mes-hall↗

arXiv2018

A road to ultrafilter extensions

We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This method can help us understand why the known ultrafilter extensions of models for normal modal logics and for classical modal logics are so defined. We then apply this method to obtain ultrafilter extensions of models for Kripke contingency logics and for neighborhood contingency logics.

math.LO↗

arXiv2018

Chemi-net: a graph convolutional network for accurate drug property prediction

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.

cs.LG↗

arXiv2018

Bimodal logics with contingency and accident

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.

math.LO↗

arXiv2018

A sequence of neighborhood contingency logics

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.

math.LO↗

arXiv2018

Neighborhood Contingency Logic: A New Perspective

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-$Δ$-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.

math.LO↗

arXiv2017

Prediction of amino acid side chain conformation using a deep neural network

A deep neural network based architecture was constructed to predict amino acid side chain conformation with unprecedented accuracy. Amino acid side chain conformation prediction is essential for protein homology modeling and protein design. Current widely-adopted methods use physics-based energy functions to evaluate side chain conformation. Here, using a deep neural network architecture without physics-based assumptions, we have demonstrated that side chain conformation prediction accuracy can be improved by more than 25%, especially for aromatic residues compared with current standard methods. More strikingly, the prediction method presented here is robust enough to identify individual conformational outliers from high resolution structures in a protein data bank without providing its structural factors. We envisage that our amino acid side chain predictor could be used as a quality check step for future protein structure model validation and many other potential applications such as side chain assignment in Cryo-electron microscopy, crystallography model auto-building, protein folding and small molecule ligand docking.

q-bio.BM↗

arXiv2016

A Modal Logic of Supervenience

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.

math.LO↗

arXiv2016

Observation of Anomalous Magnetic Moments in Superconducting Bi/Ni Bilayer

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.

cond-mat.supr-con↗

arXiv2016

Majorana fermions in a superconducting Mobius strip

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$π$-period energy-phase relations is regarded as smoking-gun evidence of Majorana fermion states. Here we report the observation of truncated 4$π$-period (i.e., 2$π$-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.

cond-mat.mes-hall↗