arXiv subjects

Yue Li

Publications and source records attributed to Yue Li.

At least 361 records · Page 20Linked to original sources

arXiv2019

Multiple and concentration of nontrivial nonnegative solutions for a fractional Choquard equation with critical exponent

In present paper, we study the fractional Choquard equation $$\varepsilon^{2s}(-Δ)^s u+V(x)u=\varepsilon^{μ-N}(\frac{1}{|x|^μ}\ast F(u))f(u)+|u|^{2^\ast_s-2}u$$ where $\varepsilon>0$ is a parameter, $s\in(0,1),$ $N>2s,$ $2^*_s=\frac{2N}{N-2s}$ and $0<μ<\min\{2s,N-2s\}$. Under suitable assumption on $V$ and $f$, we prove this problem has a nontrivial nonnegative ground state solution. Moreover, we relate the number of nontrivial nonnegative solutions with the topology of the set where the potential attains its minimum values and their's concentration behavior.

math.FA↗

arXiv2019

Coinductive Uniform Proofs

Coinduction occurs in two guises in Horn clause logic: in proofs of circular properties and relations, and in proofs involving construction of infinite data. Both instances of coinductive reasoning appeared in the literature before, but a systematic analysis of these two kinds of proofs and of their relation was lacking. We propose a general proof-theoretic framework for handling both kinds of coinduction arising in Horn clause logic. To this aim, we propose a coinductive extension of Miller et al framework of uniform proofs and prove its soundness relative to coinductive models of Horn clause logic.

cs.LO↗

arXiv2018

A latent topic model for mining heterogenous non-randomly missing electronic health records data

Electronic health records (EHR) are rich heterogeneous collection of patient health information, whose broad adoption provides great opportunities for systematic health data mining. However, heterogeneous EHR data types and biased ascertainment impose computational challenges. Here, we present mixEHR, an unsupervised generative model integrating collaborative filtering and latent topic models, which jointly models the discrete distributions of data observation bias and actual data using latent disease-topic distributions. We apply mixEHR on 12.8 million phenotypic observations from the MIMIC dataset, and use it to reveal latent disease topics, interpret EHR results, impute missing data, and predict mortality in intensive care units. Using both simulation and real data, we show that mixEHR outperforms previous methods and reveals meaningful multi-disease insights.

cs.LG↗

arXiv2018

Non-volatile ferroelectric memory effect in ultrathin α-In2Se3

Recent experiments on layered α-In2Se3 have confirmed its room-temperature ferroelectricity under ambient condition. This observation renders α-In2Se3 an excellent platform for developing two-dimensional (2D) layered-material based electronics with nonvolatile functionality. In this letter, we demonstrate non-volatile memory effect in a hybrid 2D ferroelectric field effect transistor (FeFET) made of ultrathin α-In2Se3 and graphene. The resistance of graphene channel in the FeFET is tunable and retentive due to the electrostatic doping, which stems from the electric polarization of the ferroelectric α-In2Se3. The electronic logic bit can be represented and stored with different orientations of electric dipoles in the top-gate ferroelectric. The 2D FeFET can be randomly re-written over more than $10^5$ cycles without losing the non-volatility. Our approach demonstrates a protype of re-writable non-volatile memory with ferroelectricity in van de Waals 2D materials.

cond-mat.mtrl-sci↗

arXiv2018

Origin of topologically trivial states and topological phase transitions in low-buckled plumbene

Combining tight-binding (TB) models with first-principles calculations, we investigate electronic and topological properties of plumbene. Different from the other two-dimensional (2D) topologically nontrivial insulators in group IVA (from graphene to stanene), low-buckled plumbene is a topologically trivial insulator. The plumbene without spin-orbit coupling exhibits simultaneously two kinds of degeneracies, i.e., quadratic non-Dirac and linear Dirac band dispersions around the Γand K/K' points, respectively. Our TB model calculations show that it is the coupling between the two topological states around the Γand K/K' points that triggers the global topologically trivial property of plumbene. Quantum anomalous Hall effects with Chern numbers of 2 or -2 can be, however, achieved after an exchange field is introduced. When the plumbene is functionalized with ethynyl (PbC2H), quantum spin Hall effects appear due to the breaking of the coupling effect of the local topological states.

cond-mat.mtrl-sci↗

arXiv2018

Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper

Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in the literature before, but a systematic analysis of these two kinds of proofs and of their relation was lacking. We propose a general proof-theoretic framework for handling both kinds of coinduction arising in Horn clause logic. To this aim, we propose a coinductive extension of Miller et al's framework of uniform proofs and prove its soundness relative to coinductive models of Horn clause logic.

cs.LO↗

arXiv2018

Superferromagnetism and domain-wall topologies in artificial 'pinwheel' spin ice

For over ten years, arrays of interacting single-domain nanomagnets, referred to as artificial spin ices, have been engineered with the aim to study frustration in model spin systems. Here, we use Fresnel imaging to study the reversal process in 'pinwheel' artificial spin ice, a modified square ASI structure obtained by rotating each island by some angle about its midpoint. Our results demonstrate that a simple 45° rotation changes the magnetic ordering from antiferromagnetic to ferromagnetic, creating a superferromagnet which exhibits mesoscopic domain growth mediated by domain wall nucleation and coherent domain propagation. We observe several domain-wall configurations, most of which are direct analogues to those seen in continuous ferromagnetic films. However, novel charged walls also appear due to the geometric constraints of the system. Changing the orientation of the external magnetic field allows control of the nature of the spin reversal with the emergence of either 1-D or 2-D avalanches. This unique property of pinwheel ASI could be employed to tune devices based on magnetotransport phenomena such as Hall circuits.

cond-mat.dis-nn↗

arXiv2018

A switchable diode based on room-temperature two-dimensional ferroelectric α-In2Se3 thin layers

Nanoscaled room-temperature ferroelectricity is ideal for developing advanced non-volatile high-density memories. However, reaching the thin film limit in conventional ferroelectrics is a long-standing challenge due to the possible critical thickness effect. Van der Waals materials, thanks to their stable layered structure, saturate interfacial chemistry and weak interlayer couplings, are promising for exploring ultra-thin two-dimensional (2D) ferroelectrics and device applications. Here, we demonstrate a switchable room-temperature ferroelectric diode built upon a 2D ferroelectric α-In2Se3 layer as thin as 5 nm in the form of graphene/α-In2Se3 heterojunction. The intrinsic out-of-plane ferroelectricity of the α-In2Se3 thin layers is evidenced by the observation of reversible spontaneous electric polarization with a relative low coercive electric field of ~$2 X 10^5 V/cm$ and a typical ferroelectric domain size of around tens $μm^2$. Owing to the out-of-plane ferroelectricity of the α-In2Se3 layer, the Schottky barrier at the graphene/α-In2Se3 interface can be effectively tuned by switching the electric polarization with an applied voltage, leading to a pronounced switchable double diode effect with an on/off ratio of ~$10^4$. Our results offer a new way for developing novel nanoelectronic devices based on 2D ferroelectrics.

cond-mat.mtrl-sci↗

arXiv2018

Supercritical degenerate parabolic-parabolic Keller-Segel system -- existence criterion given by the best constant in Sobolev's inequality

This article presents a relationship between the sharp constant of the Sobolev inequality and the initial criterion to the global existence of degenerate parabolic-parabolic Keller-Segel system with the diffusion exponent $\frac{2n}{2+n}<m<2-\frac{2}{n}$. The global weak solution obtained in this article does not need any smallness assumption on the initial data. Furthermore, a uniform in time $L^{\infty}$ estimate of the weak solutions is obtained via the Moser iteration, where the constant in $L^p$ estimate for the gradient of the chemical concentration has been exactly formulated in order to complete the iteration process.

math.AP↗

arXiv2017

Cycle-expansion method for the Lyapunov exponent, susceptibility, and higher moments

Lyapunov exponents characterize the chaotic nature of dynamical systems by quantifying the growth rate of uncertainty associated with the imperfect measurement of initial conditions. Finite-time estimates of the exponent, however, experience fluctuations due to both the initial condition and the stochastic nature of the dynamical path. The scale of these fluctuations is governed by the Lyapunov susceptibility, the finiteness of which typically provides a sufficient condition for the law of large numbers to apply. Here, we obtain a formally exact expression for this susceptibility in terms of the Ruelle dynamical zeta function for one-dimensional systems. We further show that, for systems governed by sequences of random matrices, the cycle expansion of the zeta function enables systematic computations of the Lyapunov susceptibility and of its higher-moment generalizations. The method is here applied to a class of dynamical models that maps to static disordered spin chains with interactions stretching over a varying distance, and is tested against Monte Carlo simulations.

cond-mat.stat-mech↗

arXiv2017

Structural Resolution with Co-inductive Loop Detection

A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction. In particular, we present the operational semantics, called co-inductive structural resolution, of this novel combination and prove its soundness with respect to the greatest complete Herbrand model.

cs.LO↗

arXiv2017

Productive Corecursion in Logic Programming

Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task. For example, the existing state-of-the-art algorithms can only semi-decide coinductive soundness of queries in logic programming for regular formulae. Another, less famous, but equally fundamental and important undecidable property is productivity. If a derivation is infinite and coinductively sound, we may ask whether the computed answer it determines actually computes an infinite formula. If it does, the infinite computation is productive. This intuition was first expressed under the name of computations at infinity in the 80s. In modern days of the Internet and stream processing, its importance lies in connection to infinite data structure processing. Recently, an algorithm was presented that semi-decides a weaker property -- of productivity of logic programs. A logic program is productive if it can give rise to productive derivations. In this paper we strengthen these recent results. We propose a method that semi-decides productivity of individual derivations for regular formulae. Thus we at last give an algorithmic counterpart to the notion of productivity of derivations in logic programming. This is the first algorithmic solution to the problem since it was raised more than 30 years ago. We also present an implementation of this algorithm.

cs.LO↗

arXiv2017

Convolutional Neural Network-Based Block Up-sampling for Intra Frame Coding

Inspired by the recent advances of image super-resolution using convolutional neural network (CNN), we propose a CNN-based block up-sampling scheme for intra frame coding. A block can be down-sampled before being compressed by normal intra coding, and then up-sampled to its original resolution. Different from previous studies on down/up-sampling-based coding, the up-sampling methods in our scheme have been designed by training CNN instead of hand-crafted. We explore a new CNN structure for up-sampling, which features deconvolution of feature maps, multi-scale fusion, and residue learning, making the network both compact and efficient. We also design different networks for the up-sampling of luma and chroma components, respectively, where the chroma up-sampling CNN utilizes the luma information to boost its performance. In addition, we design a two-stage up-sampling process, the first stage being within the block-by-block coding loop, and the second stage being performed on the entire frame, so as to refine block boundaries. We also empirically study how to set the coding parameters of down-sampled blocks for pursuing the frame-level rate-distortion optimization. Our proposed scheme is implemented into the High Efficiency Video Coding (HEVC) reference software, and a comprehensive set of experiments have been performed to evaluate our methods. Experimental results show that our scheme achieves significant bits saving compared with HEVC anchor especially at low bit rates, leading to on average 5.5% BD-rate reduction on common test sequences and on average 9.0% BD-rate reduction on ultra high definition (UHD) test sequences.

cs.MM↗

arXiv2017

Understanding and Analyzing Java Reflection

Java reflection has been increasingly used in a wide range of software. It allows a software system to inspect and/or modify the behaviour of its classes, interfaces, methods and fields at runtime, enabling the software to adapt to dynamically changing runtime environments. However, this dynamic language feature imposes significant challenges to static analysis, because the behaviour of reflection-rich software is logically complex and statically hard to predict, especially when manipulated frequently by statically unknown string values. As a result, existing static analysis tools either ignore reflection or handle it partially, resulting in missed, important behaviours, i.e., unsound results. Therefore, improving or even achieving soundness in (static) reflection analysis -- an analysis that infers statically the behaviour of reflective code -- will provide significant benefits to many analysis clients, such as bug detectors, security analyzers and program verifiers. This paper makes two contributions: we provide a comprehensive understanding of Java reflection through examining its underlying concept, API and real-world usage, and, building on this, we introduce a new static approach to resolving Java reflection effectively in practice. We have implemented our reflection analysis in an open-source tool, called SOLAR, and evaluated its effectiveness extensively with large Java programs and libraries. Our experimental results demonstrate that SOLAR is able to (1) resolve reflection more soundly than the state-of-the-art reflection analysis; (2) automatically and accurately identify the parts of the program where reflection is resolved unsoundly or imprecisely; and (3) guide users to iteratively refine the analysis results by using lightweight annotations until their specific requirements are satisfied.

cs.PL↗

arXiv2017

Codebook Design for Channel Feedback in Lens-Based Millimeter-Wave Massive MIMO Systems

The number of radio frequency (RF) chains can be reduced through beam selection in lens-based millimeter-wave (mmWave) massive MIMO systems, where the equivalent channel between RF chains and multiple users is required at the BS to achieve the multi-user multiplexing gain. However, to the best of our knowledge, there is no dedicated codebook for the equivalent channel feedback in such systems. In this paper, we propose the dimension-reduced subspace codebook, which achieves a significant reduction of the feedback overhead and codebook size. Specifically, we firstly utilize the limited scattering property of mmWave channels to generate the high-dimensional vectors in the channel subspace. Then, according to the function of lens and beam selector, we propose the dimension-reduced subspace codebook to quantize the equivalent channel vector.Moreover, the performance analysis of the proposed codebook is also provided.Finally, simulation results show the superior performance of the proposed dimension-reduced subspace codebook compared with conventional codebooks.

cs.IT↗

arXiv2016

Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments

Despite its widespread use in Android apps, reflection poses graving problems for static security analysis. Currently, string inference is applied to handle reflection, resulting in significantly missed security vulnerabilities. In this paper, we bring forward the ubiquity of incomplete information environments (IIEs) for Android apps, where some critical data-flows are missing during static analysis, and the need for resolving reflective calls under IIEs. We present Ripple, the first IIE-aware static reflection analysis for Android apps that resolves reflective calls more soundly than string inference. Validation with 17 popular Android apps from Google Play demonstrates the effectiveness of Ripple in discovering reflective targets with a low false positive rate. As a result, Ripple enables FlowDroid, a taint analysis for Android apps, to find hundreds of sensitive data leakages that would otherwise be missed. As a fundamental analysis, Ripple will be valuable for many security analysis clients, since more program behaviors can now be analyzed under IIEs.

cs.CR↗

arXiv2016

Dispersion Synthesis with Multi-Ordered Metatronic Filters

We propose the synthesis of frequency dispersion of layered structures based on the design of multi-ordered optical filters using nanocircuit concepts. Following the well known insertion loss method commonly employed in the design of electronic and microwave filters, here we theoretically show how we can tailor optical dispersion as we carry out the design of several low-pass, high-pass, band-pass and band-stop filters of different order with a (maximally flat) Butterworth response. We numerically demonstrate that these filters can be designed by combining metasurfaces made of one or two materials acting as optical lumped elements, and, hence, leading to simple, easy to apply, design rules. The theoretical results based on this circuital approach are validated with full-wave numerical simulations. The results presented here can be extended to virtually any frequency dispersion synthesis, filter design procedure and/or functionality, thus opening up exciting possibilities in the design of composite materials with on-demand dispersion and high-performance and compact optical filters using one or two materials.

physics.optics↗

arXiv2015

Asymmetric Error Correction and Flash-Memory Rewriting using Polar Codes

We propose efficient coding schemes for two communication settings: 1. asymmetric channels, and 2. channels with an informed encoder. These settings are important in non-volatile memories, as well as optical and broadcast communication. The schemes are based on non-linear polar codes, and they build on and improve recent work on these settings. In asymmetric channels, we tackle the exponential storage requirement of previously known schemes, that resulted from the use of large Boolean functions. We propose an improved scheme, that achieves the capacity of asymmetric channels with polynomial computational complexity and storage requirement. The proposed non-linear scheme is then generalized to the setting of channel coding with an informed encoder, using a multicoding technique. We consider specific instances of the scheme for flash memories, that incorporate error-correction capabilities together with rewriting. Since the considered codes are non-linear, they eliminate the requirement of previously known schemes (called polar write-once-memory codes) for shared randomness between the encoder and the decoder. Finally, we mention that the multicoding scheme is also useful for broadcast communication in Marton's region, improving upon previous schemes for this setting.

cs.IT↗