arXiv subjects

Hao Zheng

Publications and source records attributed to Hao Zheng.

At least 217 records · Page 12Linked to original sources

arXiv2020

Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs

Comprehensive specifications are essential for various activities across the entire validation continuum for system-on-chip (SoC) designs. However, specifications are often ambiguous, incomplete, or even contain inconsistencies or errors. This paper addresses this problem by developing a specification mining approach that automatically extracts sequential patterns from SoC transaction-level traces such that the mined patterns collectively characterize system-level specifications for SoC designs. This approach exploits long short-term memory (LSTM) networks trained with the collected SoC execution traces to capture sequential dependencies among various communication events. Then, a novel algorithm is developed to efficiently extract sequential patterns on system-level communications from the trained LSTM models. Several trace processing techniques are also proposed to enhance the mining performance. We evaluate the proposed approach on simulation traces of a non-trivial multi-core SoC prototype. Initial results show that the proposed approach is capable of extracting various patterns on system-level specifications from the highly concurrent SoC execution traces.

cs.DC↗

arXiv2020

A mathematical theory of gapless edges of 2d topological orders. Part II

This is the second part of a two-part work on the unified mathematical theory of gapped and gapless edges of 2+1D topological orders. In Part I, we have developed the mathematical theory of chiral gapless edges. In Part II, we study boundary-bulk relation and non-chiral gapless edges. In particular, we explain how the notion of the center of an enriched monoidal category naturally emerges from the boundary-bulk relation. After the study of 0+1D gapless walls, we give the complete boundary-bulk relation for 2+1D topological orders with chiral gapless edges (including gapped edges) and 0d walls between edges. This relation is stated precisely and proved rigorously as a monoidal equivalence, which generalizes the functoriality of the usual Drinfeld center to an enriched setting. We also develop the mathematical theory of non-chiral gapless edges and 0+1D walls, and explain how to gap out certain non-chiral 1+1D gapless edges and 0+1D gapless walls categorically. In the end, we show that all anomaly-free 1+1D boundary-bulk rational CFT's can be recovered from 2d topological orders with chiral gapless edges via a dimensional reduction process. This provides physical meanings to some mysterious connections between mathematical results in fusion categories and those in rational CFT's.

cond-mat.str-el↗

arXiv2020

Discovery of topological Weyl fermion lines and drumhead surface states in a room temperature magnet

Topological matter is known to exhibit unconventional surface states and anomalous transport owing to unusual bulk electronic topology. In this study, we use photoemission spectroscopy and quantum transport to elucidate the topology of the room temperature magnet Co$_2$MnGa. We observe sharp bulk Weyl fermion line dispersions indicative of nontrivial topological invariants present in the magnetic phase. On the surface of the magnet, we observe electronic wave functions that take the form of drumheads, enabling us to directly visualize the crucial components of the bulk-boundary topological correspondence. By considering the Berry curvature field associated with the observed topological Weyl fermion lines, we quantitatively account for the giant anomalous Hall response observed in our samples. Our experimental results suggest a rich interplay of strongly correlated electrons and topology in this quantum magnet.

cond-mat.mtrl-sci↗

arXiv2020

A mathematical theory of gapless edges of 2d topological orders. Part I

This is the first part of a two-part work on a unified mathematical theory of gapped and gapless edges of 2d topological orders. We analyze all the possible observables on the 1+1D world sheet of a chiral gapless edge of a 2d topological order, and show that these observables form an enriched unitary fusion category, the Drinfeld center of which is precisely the unitary modular tensor category associated to the bulk. This mathematical description of a chiral gapless edge automatically includes that of a gapped edge (i.e. a unitary fusion category) as a special case. Therefore, we obtain a unified mathematical description and a classification of both gapped and chiral gapless edges of a given 2d topological order. In the process of our analysis, we encounter an interesting and reoccurring phenomenon: spatial fusion anomaly, which leads us to propose the Principle of Universality at RG fixed points for all quantum field theories. Our theory also implies that all chiral gapless edges can be obtained from a so-called topological Wick rotations. This fact leads us to propose, at the end of this work, a surprising correspondence between gapped and gapless phases in all dimensions.

cond-mat.str-el↗

arXiv2019

Pointed Drinfeld center functor

In this work, using the functoriality of Drinfeld center of fusion categories, we generalize an earlier result on the functoriality of full center of simple separable algebras in a fixed fusion category to all fusion categories. This generalization produces a new center functor, which involves both Drinfeld center and full center and will be called the pointed Drinfeld center functor. We prove that this pointed Drinfeld center functor is a symmetric monoidal equivalence. It turns out that this functor provides a precise and rather complete mathematical formulation of the boundary-bulk relation of 1+1D rational conformal field theories (RCFT). In this process, we solve an old problem of computing the fusion of two 0D (or 1D) wall CFT's along a non-trivial 1+1D bulk RCFT.

math.QA↗

arXiv2019

Field-free platform for topological zero-energy mode in superconductors LiFeAs and PbTaSe$_2$

Superconducting materials exhibiting topological properties are emerging as an exciting platform to realize fundamentally new excitations from topological quantum states of matter. In this work, we explore the possibility of a field-free platform for generating Majorana zero energy excitations by depositing magnetic Fe impurities on the surface of candidate topological superconductors, LiFeAs and PbTaSe$_2$. We use scanning tunneling microscopy to probe localized states induced at the Fe adatoms on the atomic scale and at sub-Kelvin temperatures. We find that each Fe adatom generates a striking zero-energy bound state inside the superconducting gap, which do not split in magnetic fields up to 8T, underlining a nontrivial topological origin. Our findings point to magnetic Fe adatoms evaporated on bulk superconductors with topological surface states as a new platform for exploring Majorana zero modes and quantum information science under field-free conditions.

cond-mat.supr-con↗

arXiv2019

Semisimple and separable algebras in multi-fusion categories

We give a classification of semisimple and separable algebras in a multi-fusion category over an arbitrary field in analogy to Wedderben-Artin theorem in classical algebras. It turns out that, if the multi-fusion category admits a semisimple Drinfeld center, the only obstruction to the separability of a semisimple algebra arises from inseparable field extensions as in classical algebras. Among others, we show that a division algebra is separable if and only if it has a nonvanishing dimension.

math.QA↗

arXiv2019

Directional massless Dirac fermions in a layered van der Waals material with one-dimensional long-range order

Exotic properties in single or few layers of van der Waals materials carry great promise for applications in nanoscaled electronics, optoelectronics and flexible devices. The established, distinct examples include extremely high mobility and superior thermal conductivity in graphene, a large direct band gap in monolayer MoS2 and quantum spin Hall effect in WTe2 monolayer, etc. All these exotic properties arise from the electron quantum confinement effect in the two-dimensional limit. Here we report a novel phenomenon due to one-dimensional (1D) confinement of carriers in a layered van der Waals material NbSi0.45Te2 revealed by angle-resolved photoemission spectroscopy, i.e. directional massless Dirac fermions. The 1D behavior of the carriers is directly related to a stripe-like structural modulation with the long-range translational symmetry only along the stripe direction, as perceived by scanning tunneling microscopy experiment. The four-fold degenerated node of 1D Dirac dispersion is essential and independent on band inversion, because of the protection by nonsymmorphic symmetry of the stripe structure. Our study not only provides a playground for investigating the striking properties of the essential directional massless Dirac fermions, but also introduces a unique monomer with 1D long-range order for engineering nano-electronic devices based on heterostructures of layered van der Waals materials.

cond-mat.mtrl-sci↗

arXiv2019

Giant thermal magnetoconductivity in CrCl$_3$ and a general model for spin-phonon scattering

Insulating quantum magnets lie at the forefront both of fundamental research into quantum matter and of technological exploitation in the increasingly applied field of spintronics. In this context, the magnetic thermal transport is a particularly sensitive probe of the elementary spin and exotic topological excitations in unconventional magnetic insulators. However, magnetic contributions to heat conduction are invariably intertwined with lattice contributions, and thus the issue of spin-phonon coupling in determining the spin and thermal transport properties becomes more important with emergent topological magnetic system. Here we report the observation of an anomalously strong enhancement of the thermal conductivity, occurring at all relevant temperatures, in the layered honeycomb material CrCl$_3$ in the presence of an applied magnetic field. Away from the magnetically ordered phase at low temperatures and small fields, there is no coherent spin contribution to the heat conduction, and hence the effect must be caused by a strong suppression of the phonon thermal conductivity due to magnetic fluctuations, which are in turn suppressed by the field. We build an empirical model for the thermal conductivity of CrCl$_3$ within a formalism assuming an independently determined number of spin-flip processes and an efficiency of the phonon scattering events they mediate. By extracting the intrinsic phonon thermal conductivity we obtain a quantitative description at all fields and temperatures and demonstrate that the scattering efficiency is entirely independent of the field. In this way we use CrCl$_3$ as a model system to understand the interactions between spin and phonon excitations in the context of thermal transport. We anticipate that the completely general framework we introduce will have broad implications for the interpretation of transport phenomena in magnetic quantum materials.

cond-mat.str-el↗

arXiv2019

Highly Mobile Carriers in a Candidate of Quasi-Two-Dimensional Topological Semimetal AuTe$_2$Br

We report the crystal and electronic structures of a non-centrosymmetric quasi-two-dimensional (2D), candidate of topological semimetal AuTe2Br. The Fermi surface of this layered compound consists of 2D-like, topological trivial electron and non-trivial hole pockets which host a Dirac cone along the kz direction. Our transport measurements on the single crystals show highly anisotropic, compensated low-density electrons and holes, both of which exhibit ultrahigh mobility at a level of 10^5cm^2V^-1s^-1 at low temperature. The highly mobile, compensated carriers lead a non-saturated, parabolic magnetoresistance as large as 3*10^5 in single-crystalline AuTe2Br in a magnetic field up to 58 T.

cond-mat.mtrl-sci↗

arXiv2019

A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration Debug

Reconstruction of how components communicate with each other during system execution is crucial for debugging system-on-chip designs. However, limited observability is the major obstacle to the efficient and accurate reconstruction in the post-silicon validation stage. This paper addresses that problem by proposing several communication event selection methods guided by system-level communication protocols. Such methods are optimized for on-chip communication event tracing infrastructure to enhance observability. The effectiveness of these methods are demonstrated with experiments on a non-trivial multicore SoC prototype. The results show that with the proposed method, more comprehensive information on system internal execution can be inferred from traces under limited observability.

cs.DC↗

arXiv2019

AirwayNet: A Voxel-Connectivity Aware Approach for Accurate Airway Segmentation Using Convolutional Neural Networks

Airway segmentation on CT scans is critical for pulmonary disease diagnosis and endobronchial navigation. Manual extraction of airway requires strenuous efforts due to the complicated structure and various appearance of airway. For automatic airway extraction, convolutional neural networks (CNNs) based methods have recently become the state-of-the-art approach. However, there still remains a challenge for CNNs to perceive the tree-like pattern and comprehend the connectivity of airway. To address this, we propose a voxel-connectivity aware approach named AirwayNet for accurate airway segmentation. By connectivity modeling, conventional binary segmentation task is transformed into 26 tasks of connectivity prediction. Thus, our AirwayNet learns both airway structure and relationship between neighboring voxels. To take advantage of context knowledge, lung distance map and voxel coordinates are fed into AirwayNet as additional semantic information. Compared to existing approaches, AirwayNet achieved superior performance, demonstrating the effectiveness of the network's awareness of voxel connectivity.

eess.IV↗

arXiv2019

The Unusual Suppression of Superconducting Transition Temperature in Double-Doping 2H-NbSe$_2$

2H-NbSe2 is one of the most widely researched transition metal dichalcogenide (TMD) superconductors, which undergoes charge-density wave (CDW) transition at TCDW about 33 K and superconducting transition at Tc of 7.3 K. To explore the relation between its superconductivity and Fermi surface nesting, we combined S substitution with Cu intercalation in 2H-NbSe2 to make CuxNbSe2-ySy. Upon systematic substitution of S and intercalation of Cu ions into 2H-NbSe2, we found that when the Cu and S contents increases, the Tc decreases in CuxNbSe2-ySy. While at higher x and y values, Tc keeps a constant value near 2 K, which is not commonly observed for a layered TMD. For comparison, we found the simultaneous substitution of Nb by Cu and Se by S in CuxNb1-xSe2-ySy lowered the Tc substantially faster. We construct a superconducting phase diagrams for our double-doping compounds in contrast with the related single-ions doping systems.

cond-mat.supr-con↗

arXiv2019

Sentence Centrality Revisited for Unsupervised Summarization

Single document summarization has enjoyed renewed interests in recent years thanks to the popularity of neural network models and the availability of large-scale datasets. In this paper we develop an unsupervised approach arguing that it is unrealistic to expect large-scale and high-quality training data to be available or created for different types of summaries, domains, or languages. We revisit a popular graph-based ranking algorithm and modify how node (aka sentence) centrality is computed in two ways: (a)~we employ BERT, a state-of-the-art neural representation learning model to better capture sentential meaning and (b)~we build graphs with directed edges arguing that the contribution of any two nodes to their respective centrality is influenced by their relative position in a document. Experimental results on three news summarization datasets representative of different languages and writing styles show that our approach outperforms strong baselines by a wide margin.

cs.CL↗

arXiv2019

STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis

Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. This paper presents a new infinite state CTMC model checker, STAMINA, with improved scalability. It uses a novel state space approximation method to reduce large and possibly infinite state CTMC models to finite state representations that are amenable to existing stochastic model checkers. It is integrated with a new property-guided state expansion approach that improves the analysis accuracy. Demonstration of the tool on several benchmark examples shows promising results in terms of analysis efficiency and accuracy compared with a state-of-the-art CTMC model checker that deploys a similar approximation method.

cs.LO↗

arXiv2019

A Novel ground state in a new dimer iridate Ba13Ir6O30 with Ir6+(5d3) Ions

We have synthesized and studied a new iridate, Ba13Ir6O30, with unusual Ir oxidation states: 2/3 Ir6+(5d3) ions and 1/3 Ir5+(5d4) ions. Its crystal structure features dimers of face-sharing IrO6 octahedra, and IrO6 monomers, that are linked via long, zigzag Ir-O-Ba-O-Ir pathways. Nevertheless, Ba13Ir6O30 exhibits two transitions at TN1 = 4.7 K and TN2 = 1.6 K. This magnetic order is accompanied by a huge Sommerfeld coefficient 200 mJ/mole K below TN2, signaling a coexisting frustrated/disordered state persisting down to at least 0.05 K. This iridate hosts unusually large Jeff=3/2 degrees of freedom, which is enabled by strong spin-orbit interactions (SOI) in the monomers with Ir6+ ions and a joint effect of molecular orbitals and SOI in the dimers occupied by Ir5+ and Ir6+ ions. Features displayed by the magnetization and heat capacity suggest that the combination of covalency, SOI and large effective spins leads to highly frustrated ferrimagnetic ordering, possibly into a skyrmion crystal, a novelty of this new high-spin iridate.

cond-mat.str-el↗

arXiv2019

A topological phase transition on the edge of the 2d $\mathbb{Z}_2$ topological order

The unified mathematical theory of gapped and gapless edges of 2d topological orders was developed by two of the authors. It provides a powerful tool to study pure edge topological phase transitions on the edges of 2d topological orders (without altering the bulks). In particular, it implies that the critical points are described by enriched fusion categories. In this work, we illustrate this idea in a concrete example: the 2d $\mathbb{Z}_2$ topological order. In particular, we construct an enriched fusion category, which describes a gappable non-chiral gapless edge of the 2d $\mathbb{Z}_2$ topological order; then use an explicit lattice model construction to realize the critical point and, at the same time, all the ingredients of this enriched fusion category.

cond-mat.str-el↗

arXiv2019

Varifocal-Net: A Chromosome Classification Approach using Deep Convolutional Networks

Chromosome classification is critical for karyotyping in abnormality diagnosis. To expedite the diagnosis, we present a novel method named Varifocal-Net for simultaneous classification of chromosome's type and polarity using deep convolutional networks. The approach consists of one global-scale network (G-Net) and one local-scale network (L-Net). It follows three stages. The first stage is to learn both global and local features. We extract global features and detect finer local regions via the G-Net. By proposing a varifocal mechanism, we zoom into local parts and extract local features via the L-Net. Residual learning and multi-task learning strategies are utilized to promote high-level feature extraction. The detection of discriminative local parts is fulfilled by a localization subnet of the G-Net, whose training process involves both supervised and weakly-supervised learning. The second stage is to build two multi-layer perceptron classifiers that exploit features of both two scales to boost classification performance. The third stage is to introduce a dispatch strategy of assigning each chromosome to a type within each patient case, by utilizing the domain knowledge of karyotyping. Evaluation results from 1909 karyotyping cases showed that the proposed Varifocal-Net achieved the highest accuracy per patient case (%) 99.2 for both type and polarity tasks. It outperformed state-of-the-art methods, demonstrating the effectiveness of our varifocal mechanism, multi-scale feature ensemble, and dispatch strategy. The proposed method has been applied to assist practical karyotype diagnosis.

cs.CV↗