BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jie Fan

Jie Fan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
cond-mat.mes-hallcond-mat.supr-conArtificial IntelligenceLogic in Computer ScienceComputer Visioneess.IVmath.LO

Catalog footprint

What is connected

13works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

BDG-Net: Boundary Distribution Guided Network for Accurate Polyp Segmentation

Colorectal cancer (CRC) is one of the most common fatal cancer in the world. Polypectomy can effectively interrupt the progression of adenoma to adenocarcinoma, thus reducing the risk of CRC development. Colonoscopy is the primary method to find colonic polyps. However, due to the different sizes of polyps and the unclear boundary between polyps and their surrounding mucosa, it is challenging to segment polyps accurately. To address this problem, we design a Boundary Distribution Guided Network (BDG-Net) for accurate polyp segmentation. Specifically, under the supervision of the ideal Boundary Distribution Map (BDM), we use Boundary Distribution Generate Module (BDGM) to aggregate high-level features and generate BDM. Then, BDM is sent to the Boundary Distribution Guided Decoder (BDGD) as complementary spatial information to guide the polyp segmentation. Moreover, a multi-scale feature interaction strategy is adopted in BDGD to improve the segmentation accuracy of polyps with different sizes. Extensive quantitative and qualitative evaluations demonstrate the effectiveness of our model, which outperforms state-of-the-art models remarkably on five public polyp datasets while maintaining low computational complexity. Code: https://github.com/zihuanqiu/BDG-Net

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Commonly Knowing Whether

This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of standard `knowing that'. After giving five possible definitions of this notion, we explore the logical relations among them in the single-agent and multi-agent cases. We propose a sound and complete axiomatization. We investigate one of the five definitions in terms of expressivity via a strategy of modal comparison games.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Logics of Essence and Accident

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

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Anomalous Cooper pair interference on Bi2Te3 surface

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π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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Knowing Whether

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Proximity effect at superconducting Sn-Bi2Se3 interface

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Proximity-effect-induced superconductivity in topological insulator-related material Bi2Se3

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Aharonov-Casher effect in Bi$_{\rm 2}$Se$_{\rm 3}$ square-ring interferometers

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

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Strong Superconducting Proximity Effect in Pb-Bi2Te3 Hybrid Structures

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.

0 citations0 reviewsNo code linkedOpen access