arXiv Science⌕ Search

arXiv subjects

Shuo Li

Publications and source records attributed to Shuo Li.

At least 253 records · Page 14Linked to original sources
arXiv2020

Digital Quantum Simulation of Floquet Topological Phases with a Solid-State Quantum Simulator

Quantum simulator with the ability to harness the dynamics of complex quantum systems has emerged as a promising platform for probing exotic topological phases. Since the flexibility offered by various controllable quantum systems has enabled to gain insight into quantum simulation of such complicated problems, analog quantum simulator has recently shown its feasibility to tackle problems of exploring topological phases. However, digital quantum simulation and detection of topological phases still remain elusive. Here, we develop and experimentally realize the digital quantum simulation of topological phase with a solid-state quantum simulator at room temperature. Distinct from previous works dealing with static topological phases, the topological phases emulated here are Floquet topological phases. Furthermore, we also illustrate the procedure of digitally simulating a quantum quench and observing the nonequilibrium dynamics of Floquet topological phases. By means of quantum quench, the 0- and π-energy topological invariants are unambiguously detected through measuring time-averaged spin polarizations. Our experiment opens up a new avenue to digitally simulate and detect Floquet topological phases with fast-developed programmable quantum simulators.

quant-ph↗
arXiv2020

591 high velocity stars in the Galactic halo selected from LAMOST DR7 and Gaia DR2

In this paper, we report 591 high velocity star candidates (HiVelSCs) selected from over 10 million spectra of the data release seven (DR7) of the Large Sky Area Multi-object Fiber Spectroscopic Telescope and the second Gaia data release, with three-dimensional velocities in the Galactic rest-frame larger than 445 km/s. We show that at least 43 HiVelSCs are unbound to the Galaxy with escape probabilities larger than 50%, and this number decreases to eight if the possible parallax zero-point error is corrected. Most of these HiVelSCs are metal-poor and slightly alpha-enhanced inner halo stars. Only 14% of them have [Fe/H] > -1, which may be the metal-rich "in situ" stars in halo formed in the initial collapse of the Milky Way or metal-rich stars formed in the disk or bulge but kinematically heated. The low ratio of 14% implies that the bulk of stellar halo was formed from the accretion and tidal disruption of satellite galaxies. In addition, HiVelSCs on the retrograde orbits have a slightly lower metallicities on average compared with these on the prograde orbits, meanwhile metal-poor HiVelSCs with [Fe/H] < -1 have an even faster mean retrograde velocity compared with metal-rich HiVelSCs. To investigate the origins of HiVelSCs, we perform orbit integrations and divide them into four types, i.e., hypervelocity stars, hyper-runaway stars, runaway stars and fast halo stars. A catalog for these 591 HiVelSCs, including radial velocities, atmospheric parameters, Gaia astrometric parameters, spatial positions, and velocities, etc., is available at http://paperdata.chinavo.org/LYB/lamostdr7_gaiadr2_hvs_591.csv.

astro-ph.GA↗
arXiv2020

Direct Quantification for Coronary Artery Stenosis Using Multiview Learning

The quantification of the coronary artery stenosis is of significant clinical importance in coronary artery disease diagnosis and intervention treatment. It aims to quantify the morphological indices of the coronary artery lesions such as minimum lumen diameter, reference vessel diameter, lesion length, and these indices are the reference of the interventional stent placement. In this study, we propose a direct multiview quantitative coronary angiography (DMQCA) model as an automatic clinical tool to quantify the coronary artery stenosis from X-ray coronary angiography images. The proposed DMQCA model consists of a multiview module with two attention mechanisms, a key-frame module, and a regression module, to achieve direct accurate multiple-index estimation. The multi-view module comprehensively learns the Spatio-temporal features of coronary arteries through a three-dimensional convolution. The attention mechanisms of each view focus on the subtle feature of the lesion region and capture the important context information. The key-frame module learns the subtle features of the stenosis through successive dilated residual blocks. The regression module finally generates the indices estimation from multiple features.

eess.IV↗
arXiv2020

Deep Complementary Joint Model for Complex Scene Registration and Few-shot Segmentation on Medical Images

Deep learning-based medical image registration and segmentation joint models utilize the complementarity (augmentation data or weakly supervised data from registration, region constraints from segmentation) to bring mutual improvement in complex scene and few-shot situation. However, further adoption of the joint models are hindered: 1) the diversity of augmentation data is reduced limiting the further enhancement of segmentation, 2) misaligned regions in weakly supervised data disturb the training process, 3) lack of label-based region constraints in few-shot situation limits the registration performance. We propose a novel Deep Complementary Joint Model (DeepRS) for complex scene registration and few-shot segmentation. We embed a perturbation factor in the registration to increase the activity of deformation thus maintaining the augmentation data diversity. We take a pixel-wise discriminator to extract alignment confidence maps which highlight aligned regions in weakly supervised data so the misaligned regions' disturbance will be suppressed via weighting. The outputs from segmentation model are utilized to implement deep-based region constraints thus relieving the label requirements and bringing fine registration. Extensive experiments on the CT dataset of MM-WHS 2017 Challenge show great advantages of our DeepRS that outperforms the existing state-of-the-art models.

cs.CV↗
arXiv2020

$ϕ$-Thue-Morse sequences and infinite products

In this article we introduce a new approach to compute infinite products defined by automatic sequences involving the Thue-Morse sequence. As examples, for any positive integers $q$ and $r$ such that $0 \leq r \leq q-1$, we find infinitely many couples of rational functions $R(x)$ and $S(n)$ such that $$\prod_{n=0}^{\infty}R(n)^{\frac{1+a_n}{2}}S(n)^{\frac{1-a_n}{2}}=2cos(\frac{2r+1}{2q}π),$$ where $(a_n)_{n \in \mathbf{N}}$ is the Thue-Morse sequence beginning with $a_0=1,a_1= -1$.

math.CO↗
arXiv2020

Multi-Task Reinforcement Learning based Mobile Manipulation Control for Dynamic Object Tracking and Grasping

Agile control of mobile manipulator is challenging because of the high complexity coupled by the robotic system and the unstructured working environment. Tracking and grasping a dynamic object with a random trajectory is even harder. In this paper, a multi-task reinforcement learning-based mobile manipulation control framework is proposed to achieve general dynamic object tracking and grasping. Several basic types of dynamic trajectories are chosen as the task training set. To improve the policy generalization in practice, random noise and dynamics randomization are introduced during the training process. Extensive experiments show that our policy trained can adapt to unseen random dynamic trajectories with about 0.1m tracking error and 75\% grasping success rate of dynamic objects. The trained policy can also be successfully deployed on a real mobile manipulator.

cs.RO↗
arXiv2020

Unifying Neural Learning and Symbolic Reasoning for Spinal Medical Report Generation

Automated medical report generation in spine radiology, i.e., given spinal medical images and directly create radiologist-level diagnosis reports to support clinical decision making, is a novel yet fundamental study in the domain of artificial intelligence in healthcare. However, it is incredibly challenging because it is an extremely complicated task that involves visual perception and high-level reasoning processes. In this paper, we propose the neural-symbolic learning (NSL) framework that performs human-like learning by unifying deep neural learning and symbolic logical reasoning for the spinal medical report generation. Generally speaking, the NSL framework firstly employs deep neural learning to imitate human visual perception for detecting abnormalities of target spinal structures. Concretely, we design an adversarial graph network that interpolates a symbolic graph reasoning module into a generative adversarial network through embedding prior domain knowledge, achieving semantic segmentation of spinal structures with high complexity and variability. NSL secondly conducts human-like symbolic logical reasoning that realizes unsupervised causal effect analysis of detected entities of abnormalities through meta-interpretive learning. NSL finally fills these discoveries of target diseases into a unified template, successfully achieving a comprehensive medical report generation. When it employed in a real-world clinical dataset, a series of empirical studies demonstrate its capacity on spinal medical report generation as well as show that our algorithm remarkably exceeds existing methods in the detection of spinal structures. These indicate its potential as a clinical tool that contributes to computer-aided diagnosis.

cs.CV↗
arXiv2020

Laboratory experiments on CO2 gas exchange with wave breaking

The CO2 gas transfer velocity (KCO2) at air-water interface in a wind-wave flume was estimated at the circumstance of wave breaking. Three types of dynamic processes in the flume were created: monochromatic waves generated by wavemaker, mechanically-generated monochromatic waves with superimposed wind forcing, pure wind waves with 10-meter wind speed ranging from 4.5 m/s to 15.5 m/s. Without wind forcing, KCO2 correlated with the wave breaking probability, wave height of breakers and energy loss due to wave breaking. With superimposed wind, wind speed was found to influence KCO2 both in the coupled wind/mechanical wave experiments and in pure wind waves, but wave breaking still played a significant role in CO2 gas exchange. Therefore, wave properties should be considered directly in parameterization of KCO2. A non-dimensional empirical formula was established in which KCO2 is expressed as a function of wave breaking probability, a modified Reynolds number and an enhancement factor to account for wind speed.

physics.ao-ph↗
arXiv2020

Simultaneous Left Atrium Anatomy and Scar Segmentations via Deep Learning in Multiview Information with Attention

Three-dimensional late gadolinium enhanced (LGE) cardiac MR (CMR) of left atrial scar in patients with atrial fibrillation (AF) has recently emerged as a promising technique to stratify patients, to guide ablation therapy and to predict treatment success. This requires a segmentation of the high intensity scar tissue and also a segmentation of the left atrium (LA) anatomy, the latter usually being derived from a separate bright-blood acquisition. Performing both segmentations automatically from a single 3D LGE CMR acquisition would eliminate the need for an additional acquisition and avoid subsequent registration issues. In this paper, we propose a joint segmentation method based on multiview two-task (MVTT) recursive attention model working directly on 3D LGE CMR images to segment the LA (and proximal pulmonary veins) and to delineate the scar on the same dataset. Using our MVTT recursive attention model, both the LA anatomy and scar can be segmented accurately (mean Dice score of 93% for the LA anatomy and 87% for the scar segmentations) and efficiently (~0.27 seconds to simultaneously segment the LA anatomy and scars directly from the 3D LGE CMR dataset with 60-68 2D slices). Compared to conventional unsupervised learning and other state-of-the-art deep learning based methods, the proposed MVTT model achieved excellent results, leading to an automatic generation of a patient-specific anatomical model combined with scar segmentation for patients in AF.

eess.IV↗
arXiv2020

Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics

This paper proposes a framework for safe reinforcement learning that can handle stochastic nonlinear dynamical systems. We focus on the setting where the nominal dynamics are known, and are subject to additive stochastic disturbances with known distribution. Our goal is to ensure the safety of a control policy trained using reinforcement learning, e.g., in a simulated environment. We build on the idea of model predictive shielding (MPS), where a backup controller is used to override the learned policy as needed to ensure safety. The key challenge is how to compute a backup policy in the context of stochastic dynamics. We propose to use a tube-based robust NMPC controller as the backup controller. We estimate the tubes using sampled trajectories, leveraging ideas from statistical learning theory to obtain high-probability guarantees. We empirically demonstrate that our approach can ensure safety in stochastic systems, including cart-pole and a non-holonomic particle with random obstacles.

eess.SY↗
arXiv2020

Coupling loss at the end connections of REBCO stacks: 2D modelling and measurement

In high power density superconducting motors, superconducting tapes are usually stacked and connected together at terminals to improve the current capacity. When a parallel sinusoidal magnetic field is applied on this partially coupled stack, the coupling current is induced and causes additional coupling loss. Usually 3D modeling is needed to calculate the coupling loss but it takes too much computing resource and time. In this paper, a numerical 2D modeling by minimum electromagnetic entropy production (MEMEP) method is developed to speed up the calculation. The presented MEMEP model shows good accuracy and the capability to take the realistic resistance between tapes into account for coupling loss calculation with a high number of mesh element, which agrees to measurements.Thanks to the model, a systemic study of coupling loss on amplitude-dependence, frequency-dependence, resistance-dependence, and length-dependence, is presented and discussed. The results reveal the features of coupling loss which is very helpful devices with multi-tape conductors, such as the stator or rotor windings of motors.

physics.app-ph↗
arXiv2019

Visual Model-predictive Localization for Computationally Efficient Autonomous Racing of a 72-gram Drone

Drone racing is becoming a popular e-sport all over the world, and beating the best human drone race pilots has quickly become a new major challenge for artificial intelligence and robotics. In this paper, we propose a strategy for autonomous drone racing which is computationally more efficient than navigation methods like visual inertial odometry and simultaneous localization and mapping. This fast light-weight vision-based navigation algorithm estimates the position of the drone by fusing race gate detections with model dynamics predictions. Theoretical analysis and simulation results show the clear advantage compared to Kalman filtering when dealing with the relatively low frequency visual updates and occasional large outliers that occur in fast drone racing. Flight tests are performed on a tiny racing quadrotor named "Trashcan", which was equipped with a Jevois smart-camera for a total of 72g. The test track consists of 3 laps around a 4-gate racing track. The gates spaced 4 meters apart and can be displaced from their supposed position. An average speed of 2m/s is achieved while the maximum speed is 2.6m/s. To the best of our knowledge, this flying platform is the smallest autonomous racing drone in the world and is 6 times lighter than the existing lightest autonomous racing drone setup (420g), while still being one of the fastest autonomous racing drones in the world.

cs.RO↗
arXiv2019

Aggressive Online Control of a Quadrotor via Deep Network Representations of Optimality Principles

Optimal control holds great potential to improve a variety of robotic applications. The application of optimal control on-board limited platforms has been severely hindered by the large computational requirements of current state of the art implementations. In this work, we make use of a deep neural network to directly map the robot states to control actions. The network is trained offline to imitate the optimal control computed by a time consuming direct nonlinear method. A mixture of time optimality and power optimality is considered with a continuation parameter used to select the predominance of each objective. We apply our networks (termed G\&CNets) to aggressive quadrotor control, first in simulation and then in the real world. We give insight into the factors that influence the `reality gap' between the quadrotor model used by the offline optimal control method and the real quadrotor. Furthermore, we explain how we set up the model and the control structure on-board of the real quadrotor to successfully close this gap and perform time-optimal maneuvers in the real world. Finally, G\&CNet's performance is compared to state-of-the-art differential-flatness-based optimal control methods. We show, in the experiments, that G\&CNets lead to significantly faster trajectory execution due to, in part, the less restrictive nature of the allowed state-to-input mappings.

cs.RO↗
arXiv2019

Generalized Dirichlet series of n variables associated with automatic sequences

This article consists to give a necessary and sufficient condition of the meromorphic continuity of Dirichlet series defined as $\sum_{x\in \mathbf{N}^n} \frac{a_{x}}{P(x)^s}$, Where $a_{x}$ is a $q$-automatic sequence of $n$ parameters and $P: \mathbf{C}^n \to \mathbf{C}$ a polynomial, such that $P$ does not have zeros on $\mathbf{Q}^{n}_{+}$. And some specific cases of $n=1$ will also be studied in this article as examples to show the possibility to have an holomorphic continuity on the whole complex plane. Some equivalences between infinite products are also built as consequences of these results.

math.CO↗
arXiv2019

On completely multiplicative automatic sequences

In this article we prove that all completely multiplicative automatic sequences $(a_n)_{n \in \mathbf{N}}$ defined on $\mathbf{C}$, vanishing or not, can be written in the form $a_n=b_nχ_n$ where $(b_n)_{n \in \mathbf{N}}$ is an almost constant sequence, and $(χ_n)_{n \in \mathbf{N}}$ is a Dirichlet character.

math.CO↗
arXiv2019

Automatic sequences defined by Theta functions and some infinite products

Let $p(x) \in C(x)$ be a rational function satisfying the condition $p(0)=1$ and $q$ an integer larger than $1$, in this article we will consider the power expansion of the infinite product $$f(x)=\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=0}^{\infty}c_ix^i,$$ and study when the sequence $(c_i)_{i \in \mathbf{N}}$ is $q$-automatic. The main result is that for given integers $q \geq 2$ and $d \geq 0$, there exist finitely many polynomials of degree $d$ defined over the field of rational numbers $\mathbf{Q}$, such that $\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=1}^{\infty}c_ix^i$ is a $q$-automatic power series.

math.NT↗
arXiv2019

Control of spintronic and electronic properties of bimetallic and vacancy-ordered vanadium carbide MXenes via surface functionalization

MXenes are 2D transition metal carbides with high potential for overcoming limitations of conventional two-dimensional electronics. In this context, various MXenes have shown magnetic properties suitable for applications in spintronics, yet the number of MXenes reported so far is far smaller than their parental MAX phases. Therefore, we have studied the structural, electronic and magnetic properties of bimetallic and vacancy-ordered MXenes derived from a new $(V_{2/3}Zr_{1/3})_2AlC $ MAX phase to assess whether MXene exfoliation would return stable magnetic materials. In particular, we have investigated the properties of pristine and surface-functionalized $(V_{2/3}Zr_{1/3})_2CX_2$ bimetallic and $(V_{2/3} \square_{1/3})_2CX2$ vacancy-ordered MXenes with X = O, F and OH. Our density functional theory (DFT) calculations showed that modifying the MXene stoichiometry and/or MXene surface functionalization changes MXene properties. After testing all possible combinations of metallic motifs and functionalization, we identified $V_{2/3}Zr_{1/3})_2CX_2$, $(V_{2/3}\square_{1/3})_2CF_2$ and $(V_{2/3}\square_{1/3})_2C(OH)_2$ as stable structures. Among them, $(V_{2/3}Zr_{1/3})_2CO_2$ MXene is predicted to be an FM intrinsic half-semiconductor with a remarkably high Curie temperature ($T_C$)) of 270 K. The $(V_{2/3}Zr_{1/3})_2C(OH)_2$ MXene exhibits a rather low work function (WF) (1.37 eV) and is thus a promising candidate for ultra-low work function electron emitters. Conversely, the $(V_{2/3}\square_{1/3})_2CF_2$ MXene has a rather high WF and hence can be used as a hole injector for Schottky-barrier-free contact applications. Overall, our proof-of-concept study shows that theoretical predictions of MXene exfoliation and properties support further experimental research towards developing spintronics devices.

cond-mat.mtrl-sci↗