Searcharxiv⌕ Search

arXiv subjects

Liang Cheng

Publications and source records attributed to Liang Cheng.

At least 55 records · Page 3Linked to original sources
arXiv2022

Spintronic Sources of Ultrashort Terahertz Electromagnetic Pulses

Spintronic terahertz emitters are novel, broadband and efficient sources of terahertz radiation, which emerged at the intersection of ultrafast spintronics and terahertz photonics. They are based on efficient spin-current generation, spin-to-charge-current and current-to-field conversion at terahertz rates. In this review, we address the recent developments and applications, the current understanding of the physical processes as well as the future challenges and perspectives of broadband spintronic terahertz emitters.

physics.optics↗
arXiv2021

No breather theorems for the mean curvature flow

In this article we study the breathers of the mean curvature flow in the Euclidean space. A breather is a solution to the mean curvature flow which repeats itself up to isometry and scaling once in a while. We prove several no breather theorems in the noncompact category, that is, under certain conditions, a breather of the mean curvature flow must be a solitonic solution (self-shrinker, self-expander, or translator).

math.DG↗
arXiv2021

Tea: Program Repair Using Neural Network Based on Program Information Attention Matrix

The advance in machine learning (ML)-driven natural language process (NLP) points a promising direction for automatic bug fixing for software programs, as fixing a buggy program can be transformed to a translation task. While software programs contain much richer information than one-dimensional natural language documents, pioneering work on using ML-driven NLP techniques for automatic program repair only considered a limited set of such information. We hypothesize that more comprehensive information of software programs, if appropriately utilized, can improve the effectiveness of ML-driven NLP approaches in repairing software programs. As the first step towards proving this hypothesis, we propose a unified representation to capture the syntax, data flow, and control flow aspects of software programs, and devise a method to use such a representation to guide the transformer model from NLP in better understanding and fixing buggy programs. Our preliminary experiment confirms that the more comprehensive information of software programs used, the better ML-driven NLP techniques can perform in fixing bugs in these programs.

cs.SE↗
arXiv2021

A no expanding breather theorem for noncompact Ricci flows

In this note we show that, under certain curvature positivity conditions (the weak $\operatorname{PIC}-2$ condition or the nonnegative bisectional curvature condition), a complete and noncompact expanding breather of the Ricci flow is also an expanding gradient Ricci soliton. This is the first no expanding breather theorem in the noncompact category.

math.DG↗
arXiv2021

Fuzzing Based on Function Importance by Interprocedural Control Flow Graph

Coverage-based graybox fuzzer (CGF), such as AFL has gained great success in vulnerability detection thanks to its ease-of-use and bug-finding power. Since some code fragments such as memory allocation are more vulnerable than others, various improving techniques have been proposed to explore the more vulnerable areas by collecting extra information from the program under test or its executions. However, these improvements only consider limited types of information sources and ignore the fact that the priority a seed input to be fuzzed may be influenced by all the code it covers. Based on the above observations, we propose a fuzzing method based on the importance of functions. First, a data structure called Attributed Interprocedural Control Flow Graph (AICFG) is devised to combine different features of code fragments. Second, the importance of each node in the AICFG is calculated based on an improved PageRank algorithm, which also models the influence between connected nodes. During the fuzzing process, the node importance is updated periodically by a propagation algorithm. Then the seed selection and energy scheduling of a seed input are determined by the importance of its execution trace. We implement this approach on top of AFL in a tool named FunAFL and conduct an evaluation on 14 real-world programs against AFL and two of its improvements. FunAFL, with 17% higher branch coverage than others on average, finds 13 bugs and 3 of them are confirmed by CVE after 72 hours.

cs.CR↗
arXiv2021

On the noncollapsedness of positively curved Type I ancient Ricci flows

In this article, we study complete Type I ancient Ricci flows with positive sectional curvature. Our main results are as follows: in the complete and noncompact case, all such ancient solutions must be noncollapsed on all scales; in the closed case, if the dimension is even, then all such ancient solutions must be noncollapsed on all scales. This furthermore gives a complete classification for three-dimensional noncompact Type I ancient solutions without assuming the noncollapsing condition.

math.DG↗
arXiv2020

Perelman-type no breather theorem for noncompact Ricci flows

In this paper, we first show that a complete shrinking breather with Ricci curvature bounded from below must be a shrinking gradient Ricci soliton. This result has several applications. First, we can classify all complete $3$-dimensional shrinking breathers. Second, we can show that every complete shrinking Ricci soliton with Ricci curvature bounded from below must be gradient -- a generalization of Naber's result. Furthermore, we develop a general condition for the existence of the asymptotic shrinking gradient Ricci soliton, which hopefully will contribute to the study of ancient solutions.

math.DG↗
arXiv2020

On the Type IIb solutions to mean curvature flow

In this paper we study the Type IIb mean curvature flow. We first prove that if the convex entire graph $(y,u(|y|))$ over $\mathbb{R}^n$, $n\geq 2$, satisfying there exist positive constants $ε$, $c$ and $N$ such that $ u'(r)\geq c r^ε $ for $r\geq N$, the longtime solution to mean curvature flow with initial data $(y,u(|y|))$ must be Type IIb. We also study the asymptotic behavior of Type IIb mean curvature flow and show that the limit of suitable rescaling sequence for mean-convex Type IIb mean curvature flow satisfying $δ$-Andrews' noncollapsing condition is translating soliton.

math.DG↗
arXiv2020

The Outbreak Evaluation of COVID-19 in Wuhan District of China

There were 27 novel coronavirus pneumonia cases found in Wuhan, China in December 2019, named as 2019-nCoV temporarily and COVID-19 formally by WHO on 11 February, 2020. In December 2019 and January 2020, COVID-19 has spread in large scale among the population, which brought terrible disaster to the life and property of the Chinese people. In this paper, we will first analyze the feature and pattern of the virus transmission, and discuss the key impact factors and uncontrollable factors of epidemic transmission based on public data. Then the virus transmission can be modelled and used for the inflexion and extinction period of epidemic development so as to provide theoretical support for the Chinese government in the decision-making of epidemic prevention and recovery of economic production. Further, this paper demonstrates the effectiveness of the prevention methods taken by the Chinese government such as multi-level administrative region isolation. It is of great importance and practical significance for the world to deal with public health emergencies.

q-bio.PE↗
arXiv2019

Optimizing seed inputs in fuzzing with machine learning

The success of a fuzzing campaign is heavily depending on the quality of seed inputs used for test generation. It is however challenging to compose a corpus of seed inputs that enable high code and behavior coverage of the target program, especially when the target program requires complex input formats such as PDF files. We present a machine learning based framework to improve the quality of seed inputs for fuzzing programs that take PDF files as input. Given an initial set of seed PDF files, our framework utilizes a set of neural networks to 1) discover the correlation between these PDF files and the execution in the target program, and 2) leverage such correlation to generate new seed files that more likely explore new paths in the target program. Our experiments on a set of widely used PDF viewers demonstrate that the improved seed inputs produced by our framework could significantly increase the code coverage of the target program and the likelihood of detecting program crashes.

cs.CR↗
arXiv2018

On the $κ-$solutions of the Ricci flow on noncompact 3-manifolds

In this paper we prove that there is no $κ$-solution of Ricci flow on 3-dimensional noncompact manifold with strictly positive sectional curvature and blow up at some finite time $T$ satisfying $\int^T_0 \sqrt{T-t} R(p_0,t)dt< \infty$ for some point $p_0$. This partially confirms a conjecture of Perelman.

math.DG↗
arXiv2018

Ultrafast Spin-To-Charge Conversion at the Surface of Topological Insulator Thin Films

Strong spin-orbit coupling, resulting in the formation of spin-momentum-locked surface states, endows topological insulators with superior spin-to-charge conversion characteristics, though the dynamics that govern it have remained elusive. Here, we present an all-optical method that enables unprecedented tracking of the ultrafast dynamics of spin-to-charge conversion in a prototypical topological insulator Bi$_2$Se$_3$/ferromagnetic Co heterostructure, down to the sub-picosecond timescale. Compared to pure Bi$_2$Se$_3$ or Co, we observe a giant terahertz emission in the heterostructure than originates from spin-to-charge conversion, in which the topological surface states play a crucial role. We identify a 0.12-picosecond timescale that sets a technological speed limit of spin-to-charge conversion processes in topological insulators. In addition, we show that the spin-to-charge conversion efficiency is temperature independent in Bi$_2$Se$_3$ as expected from the nature of the surface states, paving the way for designing next-generation high-speed opto-spintronic devices based on topological insulators at room temperature.

cond-mat.mtrl-sci↗
arXiv2017

Metal passivation effect on focused beam-induced nonuniform structure changes of amorphous SiOx nanowire

Passivation effect of heterogeneous Au nanoparticles (AuNPs) on the nonuniform structure changes of amorphous SiOx nanowire (a-SiOx NW) as athermally induced by focused electron beam (e-beam) irradiation is investigated in an in-situ transmission electron microscope. It is found that at room temperature the straight and uniform a-SiOx NW demonstrates an accelerated necking at the nanoscale along with a fast, plastic elongation and a local S-type deformation in the axial direction. However, once being modified with uniform AuNPs, the nanocurved sidewall surface of a-SiOx NW becomes intriguingly passivated and the processing transfers from a diffusion (or plastic flow)-dominated status to an evaporation (or ablation)-dominated status. As a result, the necking of the AuNPs-modified a-SiOx NW is greatly retarded without visible elongation and bending deformation. Two combined effects of nanocurvature and beam-induced soft mode and instability of atomic vibration are further proposed to elucidate the observed new phenomena.

physics.app-ph↗
arXiv2013

Terahertz conductivity of twisted bilayer graphene

Using terahertz time-domain spectroscopy, the real part of optical conductivity [$σ_{1}(ω)$] of twisted bilayer graphene was obtained at different temperatures (10 -- 300 K) in the frequency range 0.3 -- 3 THz. On top of a Drude-like response, we see a strong peak in $σ_{1} (ω)$ at $\sim$2.7 THz. We analyze the overall Drude-like response using a disorder-dependent (unitary scattering) model, then attribute the peak at 2.7 THz to an enhanced density of states at that energy, that is caused by the presence of a van Hove singularity arising from a commensurate twisting of the two graphene layers.

cond-mat.mes-hall↗
arXiv2012

A non-local area preserving curve flow

In this paper, we consider a kind of area preserving non-local flow for convex curves in the plane. We show that the flow exists globally, the length of evolving curve is non-increasing, and the curve converges to a circle in C^{\infty} sense as time goes into infinity.

math.DG↗