arXiv subjects

Hao Zheng

Publications and source records attributed to Hao Zheng.

At least 217 records · Page 12Linked to original sources

arXiv2020

Combining quantum spin hall effect and superconductivity in few-layer stanene

Stanene was proposed to be a quantum spin hall insulator containing topological edges states and a time reversal invariant topological superconductor hosting helical Majorana edge mode. Recently, experimental evidences of existence of topological edge states have been found in monolayer stanene films and superconductivity has been observed in few-layer stanene films excluding single layer. An integrated system with both topological edge states and superconductivity are higly pursued as a possible platform to realize topological superconductivity. Few-layer stanene show great potential to meet this requirement and is highly desired in experiment. Here we successfully grow few-layer stanene on bismuth (111) substrate. Both topological edge states and superconducting gaps are observed by in-situ scanning tunneling microscopy/spectroscopy (STM/STS). Our results take a further step towards topological superconductivity by stanene films.

cond-mat.mes-hall↗

arXiv2020

Mining Message Flows from System-on-Chip Execution Traces

Comprehensive and well-defined specifications are necessary to perform rigorous and thorough validation of system-on-chip (SoC) designs. Message flows specify how components of an SoC design communicate and coordinate with each other to realize various system functions. Message flow specifications are essential for efficient system-level validation and debug for SoC designs. However, in practice such specifications are usually not available, often ambiguous, incomplete, or even contain errors. This paper addresses that problem by proposing a specification mining framework, FlowMiner, that automatically extracts message flows from SoC execution traces, which, unlike software traces, show a high degree of concurrency. A set of inference rules and optimization techniques are presented to improve mining performance and reduce mining complexity. Evaluation of this framework in several experiments shows promising results.

cs.SE↗

arXiv2020

A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug

Reconstructing system-level behavior from silicon traces is a critical problem in post-silicon validation of System-on-Chip designs. Current industrial practice in this area is primarily manual, depending on collaborative insights of the architects, designers, and validators. This paper presents a trace analysis approach that exploits architectural models of the system-level protocols to reconstruct design behavior from partially observed silicon traces in the presence of ambiguous and noisy data. The output of the approach is a set of all potential interpretations of a system's internal executions abstracted to the system-level protocols. To support the trace analysis approach, a companion trace signal selection framework guided by system-level protocols is also presented, and its impacts on the complexity and accuracy of the analysis approach are discussed. That approach and the framework have been evaluated on a multi-core system-on-chip prototype that implements a set of common industrial system-level protocols.

cs.AR↗

arXiv2020

Quantum liquid from strange frustration in the trimer magnet Ba4Ir3O10

Quantum spin systems such as magnetic insulators usually show classical magnetic order, but such classical states can give way to quantum liquids with exotic entanglement through two known mechanisms of frustration: geometric frustration in lattices with triangle motifs, and spin-orbit-coupling frustration in the exactly solvable quantum liquid of Kitaev's honeycomb lattice. Here we present the experimental observation of a new kind of frustrated quantum liquid arising in an unlikely place: the magnetic insulator Ba4Ir3O10 where Ir3O12 trimers form an unfrustrated square lattice. Experimentally we find a quantum liquid state persisting down to 0.2 K that is stabilized by strong antiferromagnetic interaction with Curie-Weiss temperature - 766 K. The astonishing frustration parameter of 3800 is beyond any known iridate thus far. Heat capacity and thermal conductivity are both linear at low temperatures, a familiar feature in metals but here in an insulator pointing to an exotic quantum liquid state. A mere 2% Sr substitution for Ba produces long-range order at 130 K and destroys the linear-T features. Although the Ir4+(5d5) ions in Ba4Ir3O10 appear to form Ir3O12 trimers of face-sharing IrO6 octahedra, we propose that intra-trimer exchange is reduced and the lattice recombines into an array of coupled 1D chains with additional spins. An extreme limit of decoupled 1D chains can explain most but not all of the striking experimental observations, indicating that the inter-chain coupling plays an important role in the novel frustration mechanism leading to this quantum liquid.

cond-mat.str-el↗

arXiv2020

Local State Space Analysis to Assist Partial Order Reduction

This paper presents an approach to more efficient partial order reduction for model checking concurrent systems. This approach utilizes a compositional reachability analysis to generate over-approximate local state transition models for all processes in a concurrent system where an independence relation and other useful information can be extracted. The extracted independence relation, compared to what can be obtained by statically analyzing the system descriptions, is more precise and refined, therefore leads to more efficient partial order reduction. This approach is demonstrated on a set of concurrent system examples. Significantly higher reduction in state space has been observed in several cases compared to what can be obtained using SPIN.

cs.SE↗

arXiv2020

Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking

The enormous number of states reachable during explicit model checking is the main bottleneck for scalability. This paper presents approaches of using decision diagrams to represent very large state space compactly and efficiently. This is possible for asynchronous systems as two system states connected by a transition often share many same local portions. Using decision diagrams can significantly reduce memory demand by not using memory to store the redundant information among different states. This paper considers multi-value decision diagrams for this purpose. Additionally, a technique to reduce the runtime overhead of using these diagrams is also described. Experimental results and comparison with the state compression method as implemented in the model checker SPIN show that the approaches presented in this paper are memory efficient for storing large state space with acceptable runtime overhead.

cs.SE↗

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↗