Researcher profile

Na Yu

Na Yu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2024arXiv

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations

In the domain of large-scale software development, the demands for dynamic and multifaceted static code analysis exceed the capabilities of traditional tools. To bridge this gap, we present CodeFuse-Query, a system that redefines static code analysis through the fusion of Domain Optimized System Design and Logic Oriented Computation Design. CodeFuse-Query reimagines code analysis as a data computation task, support scanning over 10 billion lines of code daily and more than 300 different tasks. It optimizes resource utilization, prioritizes data reusability, applies incremental code extraction, and introduces tasks types specially for Code Change, underscoring its domain-optimized design. The system's logic-oriented facet employs Datalog, utilizing a unique two-tiered schema, COREF, to convert source code into data facts. Through Godel, a distinctive language, CodeFuse-Query enables formulation of complex tasks as logical expressions, harnessing Datalog's declarative prowess. This paper provides empirical evidence of CodeFuse-Query's transformative approach, demonstrating its robustness, scalability, and efficiency. We also highlight its real-world impact and diverse applications, emphasizing its potential to reshape the landscape of static code analysis in the context of large-scale software development.Furthermore, in the spirit of collaboration and advancing the field, our project is open-sourced and the repository is available for public access

preprint2022arXiv

Distribution-Aware Graph Representation Learning for Transient Stability Assessment of Power System

The real-time transient stability assessment (TSA) plays a critical role in the secure operation of the power system. Although the classic numerical integration method, \textit{i.e.} time-domain simulation (TDS), has been widely used in industry practice, it is inevitably trapped in a high computational complexity due to the high latitude sophistication of the power system. In this work, a data-driven power system estimation method is proposed to quickly predict the stability of the power system before TDS reaches the end of simulating time windows, which can reduce the average simulation time of stability assessment without loss of accuracy. As the topology of the power system is in the form of graph structure, graph neural network based representation learning is naturally suitable for learning the status of the power system. Motivated by observing the distribution information of crucial active power and reactive power on the power system's bus nodes, we thus propose a distribution-aware learning~(DAL) module to explore an informative graph representation vector for describing the status of a power system. Then, TSA is re-defined as a binary classification task, and the stability of the system is determined directly from the resulting graph representation without numerical integration. Finally, we apply our method to the online TSA task. The case studies on the IEEE 39-bus system and Polish 2383-bus system demonstrate the effectiveness of our proposed method.

preprint2022arXiv

Nontrivial topological states in BaSn5 superconductor probed by de Haas-van Alphen quantum oscillations

We report herein the nontrivial topological states in an intrinsic type-II superconductor BaSn5 (Tc ~ 4.4 K) probed via measuring the magnetizations, specific heat, de Haas-van Alphen (dHvA) effect and performing first principles calculations. The first principles calculations reveal a topological nodal ring structure centering at the H point in the kz = π plane of the Brillouin zone (BZ), which could be gapped by spin-orbit coupling (SOC), yielding rather small gaps below and above the Fermi level about 0.04 eV and 0.14 eV, respectively. The SOC also results in a pair of Dirac points along the Γ-A direction and located ~ 0.2 eV above the Fermi level. The analysis of the dHvA quantum oscillations supports the calculations by revealing nontrivial Berry phase originated from three hole and one electron pockets related to the bands forming the Dirac cones. Our study thus provides an excellent avenue for investigating the interplay between superconductivity and nontrivial topological states.

preprint2021arXiv

Quantum oscillations in Noncentrosymmetric Weyl semimetals RAlSi (R = Sm and Ce)

Weyl semimetal (WSM) as a new type of quantum state of matter hosting low energy relativistic quasiparticles, has attracted significant attention for both scientific community and potential quantum device applications. Here, we report a comprehensive investigation of the structural, magnetic and transport properties of noncentrosymmetric RAlSi (R = Sm, Ce), which have been predicted to be new magnetic WSM candidates. Both samples exhibit non-saturated magnetoresistance (MR), with ~ 900% for SmAlSi and 80% for CeAlSi at 1.8 K, 9 T. The carrier densities of SmAlSi and CeAlSi display remarkable change around magnetic transition temperatures, signifying that the electronic states are sensitive to magnetic ordering of rare earth elements. At low temperatures, SmAlSi reveals prominent Shubnikov-de Haas (SdH) oscillations associated with the nontrivial Berry phase. High pressure experiments demonstrate that the magnetic order is robust and survival under high pressure. Our results would yield valuable insights of WSM physics and potentials in application to the next-generation spintronic devices in RAX family.

preprint2020arXiv

High-Pressure Crystal Growth, Superconducting Properties, and Electronic Band Structure of Nb2P5

Orthorhombic (space group: Pnma) Nb2P5 is a high-pressure phase that is quenchable to ambient pressure, which could viewed as the zigzag infinite P chain-inserted NbP2. We report herein the high-pressure crystal growth of Nb2P5 and the discovery of its superconducting transition at Tc ~ 2.6 K. The electrical resistivity, magnetization, and specific heat capacity measurements on the high-quality crystal unveiled a conventional type-II weakly coupled s-wave nature of the superconductivity, with the upper critical field Hc2(0) ~ 0.5 T, the electron-phonon coupling strength λep ~ 0.5 - 0.8, and the Ginzburg-Landau parameter \k{appa} ~ 100. The ab initio calculations on the electronic band structure unveiled nodal-line structures protected by different symmetries. The one caused by band inversion, for example, on the Γ-X and U-R paths of the Brillouin zone, likely could bring nontrivial topology and hence possible nontrivial surface state on the surface. The surface states on the (100), (010) and (110) surfaces were also calculated and discussed. The discovery of the phosphorus-rich Nb2P5 superconductor would be instructive for the design of more metal phosphides superconductors which might host unconventional superconductivity or potential technical applications.

preprint2020arXiv

Magnetic critical behavior of the van der Waals Fe5GeTe2 crystal with near room temperature ferromagnetism

The van der Waals ferromagnet Fe5GeTe2 has a Curie temperature TC of about 270 K, which can be raised above room temperature by tuning the Fe deficiency content. To achieve insights into its ferromagnetic exchange, we have studied the critical behavior by measuring the magnetization in bulk Fe5GeTe2 crystal around the ferromagnetic to paramagnetic phase transition. The analysis of the magnetization by employing various techniques including the modified Arrott plot, Kouvel-Fisher plot and critical isotherm analysis achieved a set of reliable critical exponents with TC = 273.7 K, beta = 0.3457, gamma = 1.40617, and delta = 5.021, suggesting a three-dimensional magnetic exchange with the distance decaying as J(r) ~ (r)$^-4.916, which is close to that of a three-dimensional Heisenberg model with long-range magnetic coupling.

preprint2020arXiv

Magnetism-induced topological transition in EuAs3

The nature of the interaction between magnetism and topology in magnetic topological semimetals remains mysterious, but may be expected to lead to a variety of novel physics. We present $ab$ $initio$ band calculations, electrical transport and angle-resolved photoemission spectroscopy (ARPES) measurements on the magnetic semimetal EuAs$_3$, demonstrating a magnetism-induced topological transition from a topological nodal-line semimetal in the paramagnetic or the spin-polarized state to a topological massive Dirac metal in the antiferromagnetic (AFM) ground state at low temperature, featuring a pair of massive Dirac points, inverted bands and topological surface states on the (010) surface. Shubnikov-de Haas (SdH) oscillations in the AFM state identify nonzero Berry phase and a negative longitudinal magnetoresistance ($n$-LMR) induced by the chiral anomaly, confirming the topological nature predicted by band calculations. When magnetic moments are fully polarized by an external magnetic field, an unsaturated and extremely large magnetoresistance (XMR) of $\sim$ 2$\times10^5$ % at 1.8 K and 28.3 T is observed, likely arising from topological protection. Consistent with band calculations for the spin-polarized state, four new bands in quantum oscillations different from those in the AFM state are discerned, of which two are topologically protected. Nodal-line structures at the $Y$ point in the Brillouin zone (BZ) are proposed in both the spin-polarized and paramagnetic states, and the latter is proven by ARPES. Moreover, a temperature-induced Lifshitz transition accompanied by the emergence of a new band below 3 K is revealed. These results indicate that magnetic EuAs$_3$ provides a rich platform to explore exotic physics arising from the interaction of magnetism with topology.

preprint2020arXiv

The de Hass-van Alphen quantum oscillations in a three-dimensional Dirac semimetal TiSb2

We have used the de Hass-van Alphen (dHvA) effect to investigate the Fermi surface of high-quality crystalline TiSb2, which unveiled a nontrivial topologic nature by analyzing the dHvA quantum oscillations. Moreover, our analysis on the quantum oscillation frequencies associated with nonzero Berry phase when the magnetic field is parallel to both of the ab-plane and c-axis of TiSb2 finds that the Fermi surface topology has a three-dimensional (3D) feature. The results are supported by the first-principle calculations which revealed a symmetry-protected Dirac point appeared along the Γ-Z high symmetry line near the Fermi level. On the (001) surface, the bulk Dirac points are found to project onto the -Γ point with nontrivial surface states. Our finding will substantially enrich the family of 3D Dirac semimetals which are useful for topological applications.

preprint2020arXiv

The de Hass-van Alphen quantum oscillations in BaSn3 superconductor with multiple Dirac fermions

By measuring the de Hass-van Alphen effect and calculating the electronic band structure, we have investigated the bulk Fermi surface of the BaSn3 superconductor with a transition temperature of ~ 4.4 K. Striking de Haas-van Alphen (dHvA) quantum oscillations are observed when the magnetic field B is perpendicular to both (100) and (001) planes. Our analysis unveiled nontrivial Berry phase imposed in the quantum oscillations when B is perpendicular to (100), with two fundamental frequencies at 31.5 T and 306.7 T, which likely arise from two corresponding hole pockets of the bands forming a type-II Dirac point. The results are supported by the ab initio calculations indicating a type-II Dirac point setting and tilting along the high symmetric K-H line of the Brillouin zone, about 0.13 eV above the Fermi level. Moreover, the calculations also revealed other two type-I Dirac points on the high symmetric Γ-A direction, but slightly far below the Fermi level. The results demonstrate BaSn3 as an excellent platform for the study of not only exotic properties of different types of Dirac fermions in a single material, but also the interplay between nontrivial topological states and superconductivity.

preprint2019arXiv

Bulk Fermi surface of the layered superconductor TaSe3 with three-dimensional strong topological insulator state

High magnetic field transport measurements and ab initio calculations on the layered superconductor TaSe3 have provided compelling evidences for the existence of a three-dimensional strong topological insulator state. Longitudinal magnetotransport measurements up to ~ 33 T unveiled striking Shubnikov-de Hass oscillations with two fundamental frequencies at 100 T and 175 T corresponding to a nontrivial electron Fermi pocket at the B point and a nontrivial hole Fermi pocket at the Γ point respectively in the Brillouin zone. However, calculations revealed one more electron pocket at the B point, which was not detected by the magnetotransport measurements, presumably due to the limited carrier momentum relaxation time. Angle dependent quantum oscillations by rotating the sample with respect to the magnetic field revealed clear changes in the two fundamental frequencies, indicating anisotropic electronic Fermi pockets. The ab initio calculations gave the topological Z2 invariants of (1; 100) and revealed a single Dirac cone on the (1 0 -1) surface at the X point with helical spin texture at a constant-energy contour, suggesting a strong topological insulator state. The results demonstrate TaSe3 an excellent platform to study the interplay between topological phase and superconductivity and a promising system for the exploration of topological superconductivity.

preprint2019arXiv

Magnetotransport properties of the layered CaAl2Si2 semimetal hosting multiple nontrivial topological states

Combination of different nontrivial topological states in a single material is capable of realizing multiple functionalities and exotic physics, but such materials are still very sparse. We report herein the results of magnetotransport measurements and ab initio calculations on single crystalline CaAl2Si2 semimetal. The transport properties could be well understood in connection with the two-band model, agreeing well with the theoretical calculations indicating four main sheets of Fermi surface consisting of three hole pockets centered at the Γ point and one electron pocket centered at the M point in the Brillouin zone. The single fundamental frequency imposed in the quantum oscillations of magnetoresistance corresponds to the electron Fermi pocket. Without spin-orbit coupling (SOC), the ab initio calculations suggest CaAl2Si2 as a system hosting a topological nodal-line setting around the Γ point in the Brillouin zone close to the Fermi level. Once including the SOC, the fragile nodal-line will be gapped and a pair of Dirac points emerge along the high symmetric Γ-A direction, which is about 1.22 eV below the Fermi level. The SOC can also induce a topological insulator state along the Γ-A direction with a gap of about 3 meV. The results demonstrate CaAl2Si2 as an excellent platform for the study of novel topological physics with multiple topological states.