Catalog footprint

What is connected

49works
26topics
4close collaborators

Actions

Connect this record

Log in to claim

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

49 published item(s)

preprint2026arXiv

Separation Assurance between Heterogeneous Fleets of Small Unmanned Aerial Systems via Multi-Agent Reinforcement Learning

In the envisioned future dense urban airspace, multiple companies will operate heterogeneous fleets of small unmanned aerial systems (sUASs), where each fleet includes several homogeneous aircraft with identical policies and configurations, e.g., equipage, sensing, and communication ranges, making tactical deconfliction highly complex for the aircraft. This paper aims to address two core questions: (1) Can tactical deconfliction policies converge or reach an equilibrium to ensure a conflict-free airspace when companies operate heterogeneous fleets of homogeneous aircraft? (2) If so, will the converged policies discriminate against companies operating sUASs with weaker configurations? We investigate a multi-agent reinforcement learning paradigm in which homogeneous aircraft within heterogeneous fleets operate concurrently to perform package delivery missions over Dallas, Texas, USA. An attention-enhanced Proximal Policy Optimization-based Advantage Actor-Critic (PPOA2C) framework is employed to resolve intra- and inter-fleet conflicts, with each fleet independently training its own policy while preserving privacy. Experimental results show that two fleets with distinct, shared PPOA2C policies can reach an equilibrium to maintain safe separation. While two PPOA2C policies outperform two strong rule-based baselines in terms of conflict resolution, a PPOA2C policy exhibits safer interaction with a rule-based policy, indicating adaptive capabilities of PPOA2C policies. Furthermore, we conducted extensive policy-configuration evaluations, which reveal that equilibria between similar policy types tend to favor fleets with stronger configurations. Even under similar configurations but different policy types, the equilibrium favors one of the heterogeneous policies, underscoring the need for fairness-aware conflict management in heterogeneous sUAS operations.

preprint2022arXiv

A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we propose offline mixed-fidelity verification tools that incorporate knowledge from different levels of granularity in simulated environments. From the run-time assurance perspective, we propose reachability- and statistics-based online monitoring and safety guards for a learning-based decision-making model to complement the offline verification methods. This framework is designed to be loosely coupled among modules, allowing the individual modules to be developed using independent methodologies and techniques, under varying circumstances and with different tool access. The proposed framework offers feasible solutions for meeting system safety requirements at different stages throughout the system development and deployment cycle, enabling the continuous learning and assessment of the system product.

preprint2022arXiv

Comparison of Effect Size Measures for Mediation Analysis of Survival Outcomes with Application to the Framingham Heart Study

There is an increasing trend of research in mediation analysis for survival outcomes. Such analyses help researchers to better understand how exposure affects disease outcomes through mediators. However, due to censored observations in survival outcomes, it is not straightforward to extend mediation analysis from linear models to survival outcomes. In this article, we extend a mediation effect size measure based on $R^2$ in linear regression to survival outcomes. Due to multiple definitions of $R^2$ for survival models, we compare and evaluate five $R^2$ measures for mediation analysis. Based on extensive simulations, we recommend two $R^2$ measures with good operating characteristics. We illustrate the utility of the $R^2$-based mediation measures by analyzing the mediation effects of multiple lifestyle risk factors on the relationship between environmental exposures and time to coronary heart disease and all-cause mortality in the Framingham Heart Study.

preprint2022arXiv

Reinforcement Learning-Empowered Mobile Edge Computing for 6G Edge Intelligence

Mobile edge computing (MEC) is considered a novel paradigm for computation-intensive and delay-sensitive tasks in fifth generation (5G) networks and beyond. However, its uncertainty, referred to as dynamic and randomness, from the mobile device, wireless channel, and edge network sides, results in high-dimensional, nonconvex, nonlinear, and NP-hard optimization problems. Thanks to the evolved reinforcement learning (RL), upon iteratively interacting with the dynamic and random environment, its trained agent can intelligently obtain the optimal policy in MEC. Furthermore, its evolved versions, such as deep RL (DRL), can achieve higher convergence speed efficiency and learning accuracy based on the parametric approximation for the large-scale state-action space. This paper provides a comprehensive research review on RL-enabled MEC and offers insight for development in this area. More importantly, associated with free mobility, dynamic channels, and distributed services, the MEC challenges that can be solved by different kinds of RL algorithms are identified, followed by how they can be solved by RL solutions in diverse mobile applications. Finally, the open challenges are discussed to provide helpful guidance for future research in RL training and learning MEC.

preprint2022arXiv

Safety Enhancement for Deep Reinforcement Learning in Autonomous Separation Assurance

The separation assurance task will be extremely challenging for air traffic controllers in a complex and high density airspace environment. Deep reinforcement learning (DRL) was used to develop an autonomous separation assurance framework in our previous work where the learned model advised speed maneuvers. In order to improve the safety of this model in unseen environments with uncertainties, in this work we propose a safety module for DRL in autonomous separation assurance applications. The proposed module directly addresses both model uncertainty and state uncertainty to improve safety. Our safety module consists of two sub-modules: (1) the state safety sub-module is based on the execution-time data augmentation method to introduce state disturbances in the model input state; (2) the model safety sub-module is a Monte-Carlo dropout extension that learns the posterior distribution of the DRL model policy. We demonstrate the effectiveness of the two sub-modules in an open-source air traffic simulator with challenging environment settings. Through extensive numerical experiments, our results show that the proposed sub-safety modules help the DRL agent significantly improve its safety performance in an autonomous separation assurance task.

preprint2021arXiv

Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition

Hardware accelerators (HAs) are essential building blocks for fast and energy-efficient computing systems. Accelerator Quick Error Detection (A-QED) is a recent formal technique which uses Bounded Model Checking for pre-silicon verification of HAs. A-QED checks an HA for self-consistency, i.e., whether identical inputs within a sequence of operations always produce the same output. Under modest assumptions, A-QED is both sound and complete. However, as is well-known, large design sizes significantly limit the scalability of formal verification, including A-QED. We overcome this scalability challenge through a new decomposition technique for A-QED, called A-QED with Decomposition (A-QED$^2$). A-QED$^2$ systematically decomposes an HA into smaller, functional sub-modules, called sub-accelerators, which are then verified independently using A-QED. We prove completeness of A-QED$^2$; in particular, if the full HA under verification contains a bug, then A-QED$^2$ ensures detection of that bug during A-QED verification of the corresponding sub-accelerators. Results on over 100 (buggy) versions of a wide variety of HAs with millions of logic gates demonstrate the effectiveness and practicality of A-QED$^2$.

preprint2020arXiv

A Deep Multi-Agent Reinforcement Learning Approach to Autonomous Separation Assurance

A novel deep multi-agent reinforcement learning framework is proposed to identify and resolve conflicts among a variable number of aircraft in a high-density, stochastic, and dynamic sector. Currently the sector capacity is constrained by human air traffic controller's cognitive limitation. We investigate the feasibility of a new concept (autonomous separation assurance) and a new approach to push the sector capacity above human cognitive limitation. We propose the concept of using distributed vehicle autonomy to ensure separation, instead of a centralized sector air traffic controller. Our proposed framework utilizes Proximal Policy Optimization (PPO) that we modify to incorporate an attention network. This allows the agents to have access to variable aircraft information in the sector in a scalable, efficient approach to achieve high traffic throughput under uncertainty. Agents are trained using a centralized learning, decentralized execution scheme where one neural network is learned and shared by all agents. The proposed framework is validated on three challenging case studies in the BlueSky air traffic control environment. Numerical results show the proposed framework significantly reduces offline training time, increases performance, and results in a more efficient policy.

preprint2020arXiv

A Survival Mediation Model with Bayesian Model Averaging

Determining the extent to which a patient is benefiting from cancer therapy is challenging. Criteria for quantifying the extent of "tumor response" observed within a few cycles of treatment have been established for various types of solid as well as hematologic malignancies. These measures comprise the primary endpoints of phase II trials. Regulatory approvals of new cancer therapies, however, are usually contingent upon the demonstration of superior overall survival with randomized evidence acquired with a phase III trial comparing the novel therapy to an appropriate standard of care treatment. With nearly two thirds of phase III oncology trials failing to achieve statistically significant results, researchers continue to refine and propose new surrogate endpoints. This article presents a Bayesian framework for studying relationships among treatment, patient subgroups, tumor response and survival. Combining classical components of mediation analysis with Bayesian model averaging (BMA), the methodology is robust to model mis-specification among various possible relationships among the observable entities. Posterior inference is demonstrated via application to a randomized controlled phase III trial in metastatic colorectal cancer. Moreover, the article details posterior predictive distributions of survival and statistical metrics for quantifying the extent of direct and indirect, or tumor response mediated, treatment effects.

preprint2020arXiv

Continuous Control for Searching and Planning with a Learned Model

Decision-making agents with planning capabilities have achieved huge success in the challenging domain like Chess, Shogi, and Go. In an effort to generalize the planning ability to the more general tasks where the environment dynamics are not available to the agent, researchers proposed the MuZero algorithm that can learn the dynamical model through the interactions with the environment. In this paper, we provide a way and the necessary theoretical results to extend the MuZero algorithm to more generalized environments with continuous action space. Through numerical results on two relatively low-dimensional MuJoCo environments, we show the proposed algorithm outperforms the soft actor-critic (SAC) algorithm, a state-of-the-art model-free deep reinforcement learning algorithm.

preprint2020arXiv

Physical Properties of H II Regions in M51 from Spectroscopic Observations

M51 and NGC 5195 is an interacting system that can be explored in great details with ground-based telescopes. The H II regions in M51 were observed using the 2.16 m telescope of the National Astronomical Observatories of the Chinese Academy of Sciences and the 6.5 m Multiple Mirror Telescope with spatial resolution of less than $\sim100$ pc. We obtain a total of 113 spectra across the galaxy and combine the literature data of Croxall et al. to derive a series of physical properties, including the gas-phase extinction, stellar population age, star formation rate (SFR) surface density, and oxygen abundance. The spatial distributions and radial profiles of these properties are investigated in order to study the characteristics of M51 and the clues to the formation and evolution of this galaxy. M51 presents a mild radial extinction gradient. The lower gas-phase extinction in the north spiral arms compared to the south arms are possibly caused by the past encounters with the companion galaxy of NGC 5195. A number of H II regions have the stellar age between 50 and 500 Myr, consistent with the recent interaction history by simulations in the literatures. The SFR surface density presents a mild radial gradient, which is ubiquitous in spiral galaxies. There is a negative metallicity gradient of $-0.08$ dex $R_{e}^{-1}$ in the disk region, which is also commonly found in many spiral galaxies. It is supported by the "inside-out" scenario of galaxy formation. We find a positive abundance gradient of 0.26 dex $R_{e}^{-1}$ in the inner region. There are possible reasons causing the positive gradient, including the freezing of the chemical enrichment due to the star-forming quenching in the bulge and the gas infall and dilution due to the pseudobulge growth and/or galactic interaction.

preprint2020arXiv

Prioritized Sequence Experience Replay

Experience replay is widely used in deep reinforcement learning algorithms and allows agents to remember and learn from experiences from the past. In an effort to learn more efficiently, researchers proposed prioritized experience replay (PER) which samples important transitions more frequently. In this paper, we propose Prioritized Sequence Experience Replay (PSER) a framework for prioritizing sequences of experience in an attempt to both learn more efficiently and to obtain better performance. We compare the performance of PER and PSER sampling techniques in a tabular Q-learning environment and in DQN on the Atari 2600 benchmark. We prove theoretically that PSER is guaranteed to converge faster than PER and empirically show PSER substantially improves upon PER.

preprint2020arXiv

Scalable FastMDP for Pre-departure Airspace Reservation and Strategic De-conflict

Pre-departure flight plan scheduling for Urban Air Mobility (UAM) and cargo delivery drones will require on-demand scheduling of large numbers of aircraft. We examine the scalability of an algorithm known as FastMDP which was shown to perform well in deconflicting many dozens of aircraft in a dense airspace environment with terrain. We show that the algorithm can adapted to perform first-come-first-served pre-departure flight plan scheduling where conflict free flight plans are generated on demand. We demonstrate a parallelized implementation of the algorithm on a Graphics Processor Unit (GPU) which we term FastMDP-GPU and show the level of performance and scaling that can be achieved. Our results show that on commodity GPU hardware we can perform flight plan scheduling against 2000-3000 known flight plans and with server-class hardware the performance can be higher. We believe the results show promise for implementing a large scale UAM scheduler capable of performing on-demand flight scheduling that would be suitable for both a centralized or distributed flight planning system

preprint2020arXiv

Signature of a pair of Majorana zero modes in superconducting gold surface states

Under certain conditions, a fermion in a superconductor can separate in space into two parts known as Majorana zero modes, which are immune to decoherence from local noise sources and are attractive building blocks for quantum computers. Promising experimental progress has been made to demonstrate Majorana zero modes in materials with strong spin-orbit coupling proximity coupled to superconductors. Here we report signatures of Majorana zero modes in a new material platform utilizing the surface states of gold. Using scanning tunneling microscope to probe EuS islands grown on top of gold nanowires, we observe two well separated zero bias tunneling conductance peaks aligned along the direction of the applied magnetic field, as expected for a pair of Majorana zero modes. This platform has the advantage of having a robust energy scale and the possibility of realizing complex designs using lithographic methods.

preprint2020arXiv

Site testing campaign for the Large Optical/infrared Telescope of China: Overview

The Large Optical/infrared Telescope (LOT) is a ground-based 12m diameter optical/infrared telescope which is proposed to be built in the western part of China in the next decade. Based on satellite remote sensing data, along with geographical, logistical and political considerations, three candidate sites were chosen for ground-based astronomical performance monitoring. These sites include: Ali in Tibet, Daocheng in Sichuan, and Muztagh Ata in Xinjiang. Up until now, all three sites have continuously collected data for two years. In this paper, we will introduce this site testing campaign, and present its monitoring results obtained during the period between March 2017 and March 2019.

preprint2020arXiv

Site-testing at Muztagh-ata site I: Ground Meteorology and Sky Brightness

Site-testing is crucial for achieving the goal of scientific research and analysis of meteorological and optical observing conditions is one of the basic tasks of it. As one of three potential sites to host 12-meter Large Optical/infrared Telescope (LOT), Muztagh-ata site which is located on the Pamirs Plateau in west China's Xinjiang began its site-testing task in the spring of 2017. In this paper, we firstly start with an introduction to the site and then present a statistical analysis of the ground-level meteorological properties such as air temperature, barometric pressure, relative humidity, wind speed and direction, recorded by automatic weather station with standard meteorological sensors for two-year long. We also show the monitoring results of sky brightness during this period.

preprint2020arXiv

Site-testing at Muztagh-ata site II: Seeing statistics

In this article, we present a detailed analysis of the statistical properties of seeing for the Muztagh-ata site which is the candidate site for hosting future Chinese Large Optical/infrared Telescope (LOT) project. The measurement was obtained with Differential Image Motion Monitor (DIMM) from April 2017 to November 2018 at different heights during different periods. The median seeing at 11 meters and 6 meters are very close but different significantly from that on the ground. We mainly analyzed the seeing at 11 meters monthly and hourly, having found that the best season for observing was from late autumn to early winter and seeing tended to improve during the night only in autumn. The analysis of the dependence on temperature inversion, wind speed, direction also was made and the best meteorological conditions for seeing is given.

preprint2020arXiv

Spatially-resolved Stellar Population Properties of the M 51-NGC 5195 System from Multi-wavelength Photometric Data

Using multi-band photometric images of M 51 and its companion NGC 5195 from ultraviolet to optical and infrared, we investigate spatially resolved stellar population properties of this interacting system with stellar population synthesis models. The observed IRX is used to constrain dust extinction. Stellar mass is also inferred from the model fitting. By fitting observed spectral energy distributions (SEDs) with synthetical ones, we derive two-dimensional distributions of stellar age, metallicity, dust extinction, and stellar mass. In M 51, two grand-designed spiral arms extending from the bulge show young age, rich metallicity, and abundant dust. The inter-arm regions are filled with older, metal-poorer, and less dusty stellar populations. Except for the spiral arm extending from M 51 into NGC 5195, the stellar population properties of NGC 5195 are quite featureless. NGC 5195 is much older than M 51, and its core is very dusty with $A_V$ up to 1.67 mag and dense in stellar mass surface density. The close encounters might drive the dust in the spiral arm of M51 into the center of NGC 5195.

preprint2020arXiv

Strain controlled superconductivity in few-layer NbSe2

The controlled tunability of superconductivity in low-dimensional materials may enable new quantum devices. Particularly in triplet or topological superconductors, tunneling devices such as Josephson junctions etc. can demonstrate exotic functionalities. The tunnel barrier, an insulating or normal material layer separating two superconductors, is a key component for the junctions. Thin layers of NbSe2 have been shown as a superconductor with strong spin orbit coupling, which can give rise to topological superconductivity if driven by a large magnetic exchange field. Here we demonstrate the superconductor-insulator transitions in epitaxially grown few-layer NbSe2 with wafer-scale uniformity on insulating substrates. We provide the electrical transport, Raman spectroscopy, cross-sectional transmission electron microscopy, and X-ray diffraction characterizations of the insulating phase. We show that the superconductor-insulator transition is driven by strain, which also causes characteristic energy shifts of the Raman modes. Our observation paves the way for high quality hetero-junction tunnel barriers to be seamlessly built into epitaxial NbSe2 itself, thereby enabling highly scalable tunneling devices for superconductor-based quantum electronics.

preprint2020arXiv

The Third Data Release of the Beijing-Arizona Sky Survey

The Beijing-Arizona Sky Survey (BASS) is a wide and deep imaging survey to cover a 5400 deg$^2$ area in the Northern Galactic Cap with the 2.3m Bok telescope using two filters ($g$ and $r$ bands). The Mosaic $z$-band Legacy Survey (MzLS) covers the same area in $z$ band with the 4m Mayall telescope. These two surveys will be used for spectroscopic targeting of the Dark Energy Spectroscopic Instrument (DESI). The BASS survey observations were completed in 2019 March. This paper describes the third data release (DR3) of BASS, which contains the photometric data from all BASS and MzLS observations between 2015 January and 2019 March. The median astrometric precision relative to {\it Gaia} positions is about 17 mas and the median photometric offset relative to the PanSTARRS1 photometry is within 5 mmag. The median $5σ$ AB magnitude depths for point sources are 24.2, 23.6, and 23.0 mag for $g$, $r$, and $z$ bands, respectively. The photometric depth within the survey area is highly homogeneous, with the difference between the 20\% and 80\% depth less than 0.3 mag. The DR3 data, including raw data, calibrated single-epoch images, single-epoch photometric catalogs, stacked images, and co-added photometric catalogs, are publicly accessible at \url{http://batc.bao.ac.cn/BASS/doku.php?id=datarelease:home}.

preprint2019arXiv

Electroconvection of Thin Liquid Crystals: Model Reduction and Numerical Simulations

We propose a finite element method for the numerical simulation of electroconvection of thin liquid crystals. The liquid is located in between two concentric circular electrodes which are either assumed to be of infinite height or slim. Each configuration results in a different nonlocal electro-magnetic model defined on a two dimensional bounded domain. The numerical method consists in approximating the surface charge density, the liquid velocity and pressure, and the electric potential in the two dimensional liquid region. Finite elements for the space discretization coupled with standard time stepping methods are put forward. Unlike for the infinite electrodes configuration, our numerical simulations indicate that slim electrodes are favorable for electroconvection to occur and are able to sustain the phenomena over long period of time. Furthermore, we provide a numerical study on the influence of the three main parameters of the system: the Rayleigh number, the Prandtl number and the electrodes aspect ratio.

preprint2016arXiv

A Class of Low-Interference N-Continuous OFDM Schemes

N-continuous orthogonal frequency division multiplexing (NC-OFDM) was demonstrated to provide significant sidelobe suppression for baseband OFDM signals. However, it will introduce severe interference to the transmit signals. Hence in this letter, we specifically design a class of low-interference NC-OFDM schemes for alleviating the introduced interference. Meanwhile, we also obtain an asymptotic spectrum analysis by a closed-form expression. It is shown that the proposed scheme is capable of reducing the interference to a negligible level, and hence to save the high complexity of signal recovery at the receiver, while maintaining similar sidelobe suppression performance compared to traditional NC-OFDM.

preprint2016arXiv

Improved N-continuous OFDM for 5G Wireless Communications

N-continuous orthogonal frequency division multiplexing (NC-OFDM) is a promising technique to obtain significant sidelobe suppression for baseband OFDM signals, in future 5G wireless communications. However, the precoder of NC-OFDM usually causes severe interference and high complexity. To reduce the interference and complexity, this paper proposes an improved time-domain N-continuous OFDM (TD-NC-OFDM) by shortening the smooth signal, which is linearly combined by rectangularly pulsed OFDM basis signals truncated by a smooth window. Furthermore, we obtain an asymptotic spectrum analysis of the TD-NC-OFDM signals by a closed-form expression, calculate its low complexity in OFDM transceiver, and derive a closed-form expression of the received signal-to-interference-plus-noise ratio (SINR). Simulation results show that the proposed low-interference TD-NC-OFDM can achieve similar suppression performance but introduce negligible bit error rate (BER) degradation and much lower computational complexity, compared to conventional NC-OFDM.

preprint2016arXiv

Induced superconductivity and engineered Josephson tunneling devices in epitaxial (111)-oriented gold/vanadium heterostructures

We report a unique experimental approach to create topological superconductors by inducing superconductivity into epitaxial metallic thin film with strong spin-orbit coupling. Utilizing molecular beam epitaxy technique under ultra-high vacuum condition, we are able to achieve (111) oriented single phase of gold (Au) thin film grown on a well-oriented vanadium (V) s-wave superconductor film with clean interface. We obtained atomically smooth Au thin films with thicknesses even down to below a nanometer showing near-ideal surface quality. The as-grown V/Au bilayer heterostructure exhibits superconducting transition at around 4 K. Clear Josephson tunneling and Andreev reflection are observed in S-I-S tunnel junctions fabricated from the epitaxial bi-layers. The barrier thickness dependent tunneling and the associated subharmonic gap structures (SGS) confirmed the induced superconductivity in Au (111), paving the way for engineering thin film heterostructure based p-wave superconductors and nano devices for Majorana fermion.

preprint2016arXiv

Observational evidence for the evolution of nuclear metallicity and star formation rate as the merger stage

We investigate the evolution of nuclear gas-phase oxygen abundance and star formation rate (SFR) of local far-infrared selected star-forming galaxies along the merger sequence, as traced by their optical morphologies. The sample was drawn from a cross-correlation analysis of the IRAS Point Source Catalog Redshift Survey and 1 Jy ultraluminous infrared galaxies sample with the Sloan Digital Sky Survey Data Release 7 database. The investigation is done by comparing our sample to a control sample matched in the normalized redshift distribution in two diagnostics, which are the nuclear gas-phase metallicity vs. stellar mass and the nuclear SFR vs. stellar mass diagrams. Galaxies with different morphological types show different mass-metallicity relations (MZR). Compared to the MZR defined by the control sample, isolated spirals have comparable metallicities with the control sample at a given stellar mass. Spirals in pairs and interacting galaxies with projected separations $r_{p} >$ 20 kpc show mild metallicity dilution of 0.02-0.03 dex. Interacting galaxies with $r_{p} <$ 20 kpc, pre-mergers and advanced mergers are under-abundant by ~0.06, ~0.05 and ~0.04 dex, respectively. This shows an evolutionary trend that the metallicity is increasingly depressed as the merging proceeds and it is diluted most dramatically when two galaxies are closely interacting. Afterwards, the interstellar medium (ISM) is enriched when the galaxies coalesce. This is the first time that such ISM enrichment at the final coalescence stage is observed, which demonstrates the importance of supernova explosion in affecting the nuclear metallicity. Meanwhile the central SFR enhancement relative to the control sample evolves simultaneously with the nuclear gas-phase oxygen abundance. Our results support the predictions from numerical simulations.

preprint2016arXiv

Revisiting FPGA Acceleration of Molecular Dynamics Simulation with Dynamic Data Flow Behavior in High-Level Synthesis

Molecular dynamics (MD) simulation is one of the past decade's most important tools for enabling biology scientists and researchers to explore human health and diseases. However, due to the computation complexity of the MD algorithm, it takes weeks or even months to simulate a comparatively simple biology entity on conventional multicore processors. The critical path in molecular dynamics simulations is the force calculation between particles inside the simulated environment, which has abundant parallelism. Among various acceleration platforms, FPGA is an attractive alternative because of its low power and high energy efficiency. However, due to its high programming cost using RTL, none of the mainstream MD software packages has yet adopted FPGA for acceleration. In this paper we revisit the FPGA acceleration of MD in high-level synthesis (HLS) so as to provide affordable programming cost. Our experience with the MD acceleration demonstrates that HLS optimizations such as loop pipelining, module duplication and memory partitioning are essential to improve the performance, achieving a speedup of 9.5X compared to a 12-core CPU. More importantly, we observe that even the fully optimized HLS design can still be 2X slower than the reference RTL architecture due to the common dynamic (conditional) data flow behavior that is not yet supported by current HLS tools. To support such behavior, we further customize an array of processing elements together with a data-driven streaming network through a common RTL template, and fully automate the design flow. Our final experimental results demonstrate a 19.4X performance speedup and 39X energy efficiency for the widely used ApoA1 MD benchmark on the Convey HC1ex FPGA compared to a 12-core Intel Xeon server.

preprint2016arXiv

Strong interfacial exchange field in the graphene/EuS heterostructure

Exploiting 2D materials for spintronic applications can potentially realize next-generation devices featuring low-power consumption and quantum operation capability. The magnetic exchange field (MEF) induced by an adjacent magnetic insulator enables efficient control of local spin generation and spin modulation in 2D devices without compromising the delicate material structures. Using graphene as a prototypical 2D system, we demonstrate that its coupling to the model magnetic insulator (EuS) produces a substantial MEF (> 14 T) with potential to reach hundreds of Tesla, which leads to orders-of-magnitude enhancement in the spin signal originated from Zeeman spin-Hall effect. Furthermore, the new ferromagnetic ground state of Dirac electrons resulting from the strong MEF may give rise to quantized spin-polarized edge transport. The MEF effect shown in our graphene/EuS devices therefore provides a key functionality for future spin logic and memory devices based on emerging 2D materials in classical and quantum information processing.

preprint2015arXiv

19 low mass hyper-velocity star candidates from the first data release of LAMOST survey

Hyper-velocity stars are believed to be ejected out from the Galactic center through dynamical interactions between (binary) stars and the central massive black hole(s). In this paper, we report 19 low mass F/G/K type hyper-velocity star candidates from over one mil- lion stars of the first data release of the LAMOST general survey. We determine the unbound probability for each candidate using a Monte-Carlo simulation by assuming a non-Gaussian proper-motion error distribution, Gaussian heliocentric distance and radial velocity error dis- tributions. The simulation results show that all the candidates have unbound possibilities over 50% as expected, and one of them may even exceed escape velocity with over 90% probabili- ty. In addition, we compare the metallicities of our candidates with the metallicity distribution functions of the Galactic bulge, disk, halo and globular cluster, and conclude that the Galactic bulge or disk is likely the birth place for our candidates.

preprint2015arXiv

A Large Sample of Am Candidates from LAMOST Data Release 1

We present a sample of metallic-line star (Am) candidates from the Large sky Area Multi-Object fiber Spectroscopic Telescope Data Release one (LAMOST DR1). According to the characteristic of under-abundance of calcium and overabundance of iron element of Am stars, we propose an empirical separation curve derived from line indices of Ca II K-line and iron lines we choose for low resolution spectra. 3537 Am candidates are ultimately selected from more than 30,000 stars which are classified as A-type or early-F stars by both LAMOST pipeline and visual inspection. Then we make some analysis on this sample and finally provide a list of these Am candidates with 10 relevant parameters. Comparing with other catalogues, Am candidates selected from LAMOST DR1 are much fainter on the whole. Obviously, our list is an important complementary to already known bright Am catalogues, and it offers valuable material for the research on this type of chemically peculiar stars.

preprint2015arXiv

Independent tuning of electronic properties and induced ferromagnetism in topological insulators with heterostructure approach

The quantum anomalous Hall effect (QAHE) has been recently demonstrated in Cr- and V-doped three-dimensional topological insulators (TIs) at temperatures below 100 mK. In those materials, the spins of unfilled d-electrons in the transition metal dopants are exchange coupled to develop a long-range ferromagnetic order, which is essential for realizing QAHE. However, the addition of random dopants does not only introduce excess charge carriers that require readjusting the Bi/Sb ratio, but also unavoidably introduces paramagnetic spins that can adversely affect the chiral edge transport in QAHE. In this work, we show a heterostructure approach to independently tune the electronic and magnetic properties of the topological surface states in (BixSb1-x)2Te3 without resorting to random doping of transition metal elements. In heterostructures consisting of a thin (BixSb1-x)2Te3 TI film and yttrium iron garnet (YIG), a high Curie temperature (~ 550 K) magnetic insulator, we find that the TI surface in contact with YIG becomes ferromagnetic via proximity coupling which is revealed by the anomalous Hall effect (AHE). The Curie temperature of the magnetized TI surface ranges from 20 to 150 K but is uncorrelated with the Bi fraction x in (BixSb1-x)2Te3. In contrast, as x is varied, the AHE resistivity scales with the longitudinal resistivity. In this approach, we decouple the electronic properties from the induced ferromagnetism in TI. The independent optimization provides a pathway for realizing QAHE at higher temperatures, which is important for novel spintronic device applications.

preprint2015arXiv

Inducing magnetism onto the surface of a topological crystalline insulator

Inducing magnetism onto a topological crystalline insulator (TCI) has been predicted to result in several novel quantum electromagnetic effects. This is a consequence of the highly strain-sensitive band topology of such symmetry-protected systems. We thus show that placing the TCI surface of SnTe in proximity to EuS, a ferromagnetic insulator, induces magnetism at the interface between SnTe and EuS and thus breaks time-reversal-symmetry in the TCI. Magnetotransport experiments on SnTe-EuS-SnTe trilayer devices reveal a hysteretic lowering of the resistance at the TCI surface that coincides with an increase in the density of magnetic domain walls. This additional conduction could be a signature of topologically-protected surface states within domain walls. Additionally, a hysteretic anomalous Hall effect reveals that the usual in-plane magnetic moment of the EuS layer is canted towards a perpendicular direction at the interface. These results are evidence of induced magnetism at the SnTe-EuS interfaces resulting in broken time-reversal symmetry in the TCI.

preprint2015arXiv

Zero-field dissipationless chiral edge transport and the nature of dissipation in the quantum anomalous Hall state

The quantum anomalous Hall (QAH) effect is predicted to possess, at zero magnetic field, chiral edge channels that conduct spin polarized current without dissipation. While edge channels have been observed in previous experimental studies of the QAH effect, their dissipationless nature at a zero magnetic field has not been convincingly demonstrated. By a comprehensive experimental study of the gate and temperature dependences of local and nonlocal magnetoresistance, we unambiguously establish the dissipationless edge transport. By studying the onset of dissipation, we also identify the origin of dissipative channels and clarify the surprising observation that the critical temperature of the QAH effect is two orders of magnitude smaller than the Curie temperature of ferromagnetism.

preprint2014arXiv

A new method of CCD dark current correction via extracting the dark information from scientific images

We have developed a new method to correct dark current at relatively high temperatures for Charge-Coupled Device (CCD) images when dark frames cannot be obtained on the telescope. For images taken with the Antarctic Survey Telescopes (AST3) in 2012, due to the low cooling efficiency, the median CCD temperature was -46$^\circ$C, resulting in a high dark current level of about 3$e^-$/pix/sec, even comparable to the sky brightness (10$e^-$/pix/sec). If not corrected, the nonuniformity of the dark current could even overweight the photon noise of the sky background. However, dark frames could not be obtained during the observing season because the camera was operated in frame-transfer mode without a shutter, and the telescope was unattended in winter. Here we present an alternative, but simple and effective method to derive the dark current frame from the scientific images. Then we can scale this dark frame to the temperature at which the scientific images were taken, and apply the dark frame corrections to the scientific images. We have applied this method to the AST3 data, and demonstrated that it can reduce the noise to a level roughly as low as the photon noise of the sky brightness, solving the high noise problem and improving the photometric precision. This method will also be helpful for other projects that suffer from similar issues.

preprint2014arXiv

A Search for Spectral Galaxy Pairs of Overlapping Galaxies based on Fuzzy Recognition

The Spectral Galaxy Pairs (SGPs) are defined as the composite galaxy spectra which contain two independent redshift systems. These spectra are useful for studying dust properties of the foreground galaxies. In this paper, a total of 165 spectra of SGPs are mined out from Sloan Digital Sky Survey (SDSS) Data Release 9 (DR9) using the concept of membership degree from the fuzzy set theory particularly defined to be suitable for fuzzily identifying emission lines. The spectra and images of this sample are classified according to the membership degree and their image features, respectively. Many of these 2nd redshift systems are too small or too dim to select from the SDSS images alone, making the sample a potentially unique source of information on dust effects in low-luminosity or low-surface-brightness galaxies that are underrepresented in morphological pair samples. The dust extinction of the objects with high membership degree is also estimated by Balmer decrement. Additionally, analyses for a series of spectroscopic observations of one SGP from 165 systems indicate that a newly star-forming region of our Milky Way might occur.

preprint2014arXiv

Breaking time reversal symmetry in topological insulators

A wide class of materials that were discovered to carry a topologically protected phase order has led to a highly active area of research called topological insulators. This phenomenon has radically changed our thinking because of their robust quantum coherent behavior showing two-dimensional Dirac-type metallic surface states and simultaneously insulating bulk states. The Dirac SSs are induced by the strong spin-orbit coupling as well as protected by the time reversal symmetry. Breaking TRS in a TI with ferromagnetic perturbation can lead to many exotic quantum phenomena, such as the quantum anomalous Hall effect, topological magnetoelectric effect, as well as image magnetic monopole. This article presents an overview of the current status of TRS breaking in TIs and outlines the prospects for future studies

preprint2014arXiv

Problems with twilight/supersky flat-field for wide-field robotic telescopes and the solution

Twilight/night sky images are often used for flat-fielding CCD images, but the brightness gradient in twilight/night sky causes problems of accurate flat-field correction in astronomical images for wide-field telescopes. Using data from the Antarctic Survey Telescope (AST3), we found that when the sky brightness gradient is minimum and stable, there is still a gradient of 1% across AST3's field-of-view of 4.3 square degrees. We tested various approaches to remove the varying gradients in individual flat-field images. Our final optimal method can reduce the spatially dependent errors caused by the gradient to the negligible level. We also suggest a guideline of flat-fielding using twilight/night sky images for wide-field robotic autonomous telescopes.

preprint2014arXiv

Quantum Coherent Transport in SnTe Topological Crystalline Insulator Thin Films

Topological crystalline insulators (TCI) are unique systems where a band inversion that is protected by crystalline mirror symmetry leads to a multiplicity of topological surface states. Binary SnTe is an attractive lead-free TCI compound; the present work on high-quality thin films provides a route for increasing the mobility and reducing the carrier density of SnTe without chemical doping. Results of quantum coherent magnetotransport measurements reveal a multiplicity of Dirac surface states that are unique to TCI. Modeling of the weak antilocalization shows variations in the extracted number of carrier valleys that reflect the role of coherent intervalley scattering in coupling different Dirac states on the degenerate TCI surface.

preprint2014arXiv

The nonlinear photon transfer curve of CCDs and its effects on photometry

The photon transfer curve (PTC, variance vs. signal level) is a commonly used and effective tool in characterizing CCD performance. It is theoretically linear in the range where photon shot noise dominates, and its slope is utilized to derive the gain of the CCD. However, recent researches on different CCDs have revealed that the variance progressively drops at high signal levels, while the linearity shown by signal versus exposure time is still excellent and unaffected. On the other hand, bright stars are found to exhibit fatter point spread function (PSF). Both nonlinear PTC and the brighter-fatter effect are regarded as the result of spreading of charges between pixels, an interaction progress increasing with signal level. In this work we investigate the nonlinear PTC based on the images with a STA1600FT CCD camera, whose PTC starts to become nonlinear at about 1/3 full well. To explain the phenomenon, we present a model to characterize the charge-sharing PSF. This signal-dependent PSF can be derived from flat-field frames, and allow us to quantify the effects on photometry and measured shape of stars. This effect is essentially critical for projects requiring accurate photometry and shape parameters.

preprint2013arXiv

Linear magnetoresistance in topological insulators: Quantum phase coherence effects at high temperatures

In addition to the weak antilocalization cusp observed in the magnetoresistance (MR) of topological insulators at low temperatures and low magnetic fields, we find that the high-field MR in Bi2Te2Se is linear in field. At fields up to B=14T the slope of this linear-like MR is nearly independent of temperature over the range T=7 to 150K. We find that the linear MR arises from the competition between a logarithmic phase coherence component and a quadratic component. The quantum phase coherence dominates up to high temperatures, where the coherence length remains longer than the mean free path of electrons.

preprint2013arXiv

Mid-infrared Spectral Properties of Post-Starburst Quasars

We present Spitzer InfraRed Spectrograph (IRS) low-resolution spectra of 16 spectroscopically selected post-starburst quasars (PSQs) at z ~ 0.3. The optical spectra of these broad-lined active galactic nuclei (AGNs) simultaneously show spectral signatures of massive intermediate-aged stellar populations making them good candidates for studying the connections between AGNs and their hosts. The resulting spectra show relatively strong polycyclic aromatic hydrocarbon (PAH) emission features at 6.2 and 11.3\micron and a very weak silicate feature, indicative of ongoing star formation and low dust obscuration levels for the AGNs. We find that the mid-infrared composite spectrum of PSQs has spectral properties between ULIRGs and QSOs, suggesting that PSQs are hybrid AGN and starburst systems as also seen in their optical spectra. We also find that PSQs in early-type host galaxies tend to have relatively strong AGN activities, while those in spiral hosts have stronger PAH emission, indicating more star formation.

preprint2013arXiv

N-continuous OFDM: System Optimization and Performance Analysis

N-continuous orthogonal frequency division multiplexing (NC-OFDM) is a promising technique to achieve significant sidelobe suppression of baseband OFDM signals. However, the high complexity limits its application. Based on conventional NC-OFDM, in this paper, a new technique, called time-domain N-continuous OFDM (TD-NC-OFDM), is proposed to transfer the original frequency-domain processing to the time domain, by the linear combination of a novel basis set to smooth the consecutive OFDM symbols and their high-order derivatives. We prove that TD-NC-OFDM is an equivalent to conventional one while consuming much lower complexity. Furthermore, via the time-domain structure, a closed-form spectral expression of NC-OFDM signals is derived and a compact upper bound of sidelobe decaying is derived. This paper also investigates the impact of the TD-NC-OFDM technique on received signal-to-interference-plus-noise ratio (SINR) and provides a closed-form analytical expression. Theoretical analyses and simulation results show that TD-NC-OFDM can prohibitively suppress the sidelobe with much lower complexity.

preprint2013arXiv

Search for carbon stars and DZ white dwarfs in SDSS spectra survey through machine learning

Carbon stars and DZ white dwarfs are two types of rare objects in the Galaxy. In this paper, we have applied the label propagation algorithm to search for these two types of stars from Data Release Eight (DR8) of the Sloan Digital Sky Survey (SDSS), which is verified to be efficient by calculating precision and recall. From nearly two million spectra including stars, galaxies and QSOs, we have found 260 new carbon stars in which 96 stars have been identified as dwarfs and 7 identified as giants, and 11 composition spectrum systems (each of them consists of a white dwarf and a carbon star). Similarly, using the label propagation method, we have obtained 29 new DZ white dwarfs from SDSS DR8. Compared with PCA reconstructed spectra, the 29 findings are typical DZ white dwarfs. We have also investigated their proper motions by comparing them with proper motion distribution of 9,374 white dwarfs, and found that they satisfy the current observed white dwarfs by SDSS generally have large proper motions. In addition, we have estimated their effective temperatures by fitting the polynomial relationship between effective temperature and g-r color of known DZ white dwarfs, and found 12 of the 29 new DZ white dwarfs are cool, in which nine are between 6000K and 6600K, and three are below 6000K.

preprint2013arXiv

Spin-filtered Edge States with an Electrically Tunable Gap in a Two-Dimensional Topological Crystalline Insulator

Three-dimensional topological crystalline insulators were recently predicted and observed in the SnTe class of IV-VI semiconductors, which host metallic surface states protected by crystal symmetries. In this work, we study thin films of these materials and expose their potential for device applications. We demonstrate that thin films of SnTe and Pb(1-x)Sn(x)Se(Te) grown along the (001) direction are topologically nontrivial in a wide range of film thickness and carry conducting spin-filtered edge states that are protected by the (001) mirror symmetry via a topological invariant. Application of an electric field perpendicular to the film will break the mirror symmetry and generate a band gap in these edge states. This functionality motivates us to propose a novel topological transistor device, in which charge and spin transport are maximally entangled and simultaneously controlled by an electric field. The high on/off operation speed and coupling of spin and charge in such a device may lead to electronic and spintronic applications for topological crystalline insulators.

preprint2013arXiv

White dwarf-main sequence binaries identified from the LAMOST pilot survey

We present a set of white dwarf-main sequence (WDMS) binaries identified spectroscopically from the Large sky Area Multi-Object fiber Spectroscopic Telescope (LAMOST, also called the Guo Shou Jing Telescope) pilot survey. We develop a color selection criteria based on what is so far the largest and most complete Sloan Digital Sky Survey (SDSS) DR7 WDMS binary catalog and identify 28 WDMS binaries within the LAMOST pilot survey. The primaries in our binary sample are mostly DA white dwarfs except for one DB white dwarf. We derive the stellar atmospheric parameters, masses, and radii for the two components of 10 of our binaries. We also provide cooling ages for the white dwarf primaries as well as the spectral types for the companion stars of these 10 WDMS binaries. These binaries tend to contain hot white dwarfs and early-type companions. Through cross-identification, we note that nine binaries in our sample have been published in the SDSS DR7 WDMS binary catalog. Nineteen spectroscopic WDMS binaries identified by the LAMOST pilot survey are new. Using the 3$σ$ radial velocity variation as a criterion, we find two post-common-envelope binary candidates from our WDMS binary sample.

preprint2012arXiv

Bayesian joint modeling of multiple gene networks and diverse genomic data to identify target genes of a transcription factor

We consider integrative modeling of multiple gene networks and diverse genomic data, including protein-DNA binding, gene expression and DNA sequence data, to accurately identify the regulatory target genes of a transcription factor (TF). Rather than treating all the genes equally and independently a priori in existing joint modeling approaches, we incorporate the biological prior knowledge that neighboring genes on a gene network tend to be (or not to be) regulated together by a TF. A key contribution of our work is that, to maximize the use of all existing biological knowledge, we allow incorporation of multiple gene networks into joint modeling of genomic data by introducing a mixture model based on the use of multiple Markov random fields (MRFs). Another important contribution of our work is to allow different genomic data to be correlated and to examine the validity and effect of the independence assumption as adopted in existing methods. Due to a fully Bayesian approach, inference about model parameters can be carried out based on MCMC samples. Application to an E. coli data set, together with simulation studies, demonstrates the utility and statistical efficiency gains with the proposed joint model.

preprint2012arXiv

Field-effect mobility enhanced by tuning the Fermi level into the band gap of Bi2Se3

By eliminating normal fabrication processes, we preserve the bulk insulating state of calcium-doped Bi2Se3 single crystals in suspended nanodevices, as indicated by the activated temperature dependence of the resistivity at low temperatures. We perform low-energy electron beam irradiation (<16 keV) and electrostatic gating to control the carrier density and therefore the Fermi level position in the nanodevices. In slightly p-doped Bi2-xCaxSe3 devices, continuous tuning of the Fermi level from the bulk valence band to the band-gap reveals dramatic enhancement (> a factor of 10) in the field-effect mobility, which suggests suppressed backscattering expected for the Dirac fermion surface states in the gap of topological insulators.

preprint2012arXiv

Modified electrical transport probe design for standard magnetometer

Making electrical transport measurements on a material is often a time consuming process that involves testing a large number of samples. It is thus inconvenient to wire up and rewire samples on to a sample probe. We therefore present a method of modifying Quantum Design's MPMS SQUID magnetometer transport probe that simplifies the process of sample mounting. One of the difficulties to overcome is the small diameter of the sample space. A small socket is designed and mounted on the probe so that various samples mounted on individual headers can be readily exchanged in the socket. We also present some test results on the topological insulator Bi2Te2Se using the modified probe.

preprint2011arXiv

Automatic Determination of Stellar Atmospheric Parameters and Construction of Stellar Spectral Templates of the Guoshoujing Telescope (LAMOST)

A number of spectroscopic surveys have been carried out or are planned to study the origin of the Milky Way. Their exploitation requires reliable automated methods and softwares to measure the fundamental parameters of the stars. Adopting the ULySS package, we have tested the effect of different resolutions and signal-to-noise ratios (SNR) on the measurement of the stellar atmospheric parameters (effective temperature Teff, surface gravity log g, and metallicity [Fe/H]). We show that ULySS is reliable to determine these parameters with medium-resolution spectra (R~2000). Then, we applied the method to measure the parameters of 771 stars selected in the commissioning database of the Guoshoujing Telescope (GSJT). The results were compared with the SDSS/SEGUE Stellar Parameter Pipeline (SSPP), and we derived precisions of 167 K, 0.34 dex, and 0.16 dex for Teff, log g and [Fe/H] respectively. Furthermore, 120 of these stars are selected to construct the primary stellar spectra template library (Version 1.0) of GSJT, and will be deployed as basic ingredients for the GSJT automated parametrization pipeline.

preprint2010arXiv

Tuning carrier type and density in Bi2Se3 by Ca-doping

The carrier type and density in Bi2Se3 single crystals are systematically tuned by introducing a calcium (Ca) dopant. A carrier density of ~1x1017 cm-3 which corresponds to ~25 meV in the Fermi energy is obtained in both n- and p-type materials. Electrical transport properties show that the insulating behavior is achieved in low carrier density crystals. In addition, both the band gap and reduced effective mass of carriers are determined.

preprint2009arXiv

Anomalous thermoelectric transport of Dirac particles in graphene

We report a thermoelectric study of graphene in both zero and applied magnetic fields. As a direct consequence of the linear dispersion of massless particles, we find that the Seebeck coefficient Sxx diverges with 1 /, where n2D is the carrier density. We observe a very large Nernst signal Sxy (~ 50 uV/K at 8 T) at the Dirac point, and an oscillatory dependence of both Sxx and Sxy on n2D at low temperatures. Our results underscore the anomalous thermoelectric transport in graphene, which may be used as a highly sensitive probe for impurity bands near the Dirac point.