arXiv Science⌕ Search

arXiv subjects

Jingwei Li

Publications and source records attributed to Jingwei Li.

At least 73 records · Page 4Linked to original sources

Online Policy Optimization for Robust MDP

Reinforcement learning (RL) has exceeded human performance in many synthetic settings such as video games and Go. However, real-world deployment of end-to-end RL models is less common, as RL models can be very sensitive to slight perturbation of the environment. The robust Markov decision process (MDP) framework -- in which the transition probabilities belong to an uncertainty set around a nominal model -- provides one way to develop robust models. While previous analysis shows RL algorithms are effective assuming access to a generative model, it remains unclear whether RL can be efficient under a more realistic online setting, which requires a careful balance between exploration and exploitation. In this work, we consider online robust MDP by interacting with an unknown nominal system. We propose a robust optimistic policy optimization algorithm that is provably efficient. To address the additional uncertainty caused by an adversarial environment, our model features a new optimistic update rule derived via Fenchel conjugates. Our analysis establishes the first regret bound for online robust MDPs.

cs.LG↗

Existence and uniqueness of solution of the differential equation describing the TASEP-LK coupled transport process

In this paper, the existence and uniqueness of solution of a specific differential equation is studied. This equation originates from the description of a coupled process by totally asymmetric simple exclusion process (TASEP) and Langmuir kinetics (LK). In the fields of physics and biology, the properties of the TASEP-LK coupled process have been extensively studied by Monte Carlo simulations and numerical calculations, as well as detailed experiments. However, so far, no rigorous mathematical analysis has been given to the corresponding differential equations, especially their existence and uniqueness of solution. In this paper, using the upper and lower solution method, the existence of solution of the steady state equation is obtained. Then using a generalized maximum principle, we show that the solution constructed from the upper and lower solution method is actually the unique solution in C∞ space. Moreover, the existence and uniqueness of solution of the time dependent differential equation are also obtained in one specific space X\b{eta}. Our results imply that the previous results obtained by numerical calculations and Monte Carlo simulations are theoretically correct, especially the most important phase diagram of particle density along the travel track under different model parameters. The study in this paper provides theoretical foundations for the analysis of TASEP-LK coupled process. At the same time, the methods used in this paper may be instructive for studies about the more general cases of the TASEP-LK process, such as the one with multiple travel tracks or the one with multiple particle species.

math.AP↗

Existence and uniqueness of solution of the differential equation describing the TASEP-LK coupled transport process

We study the existence and uniqueness of solution of a evolutionary partial differential equation originating from the continuum limit of a coupled process of totally asymmetric simple exclusion process (TASEP) and Langmuir kinetics (LK). In the fields of physics and biology, the TASEP-LK coupled process has been extensively studied by Monte Carlo simulations, numerical computations, and detailed experiments. However, no rigorous mathematical analysis so far has been given for the corresponding differential equations, especially the existence and uniqueness of their solutions. In this paper, we prove the existence of the $C^\infty[0,1]$ steady-state solution by the method of upper and lower solution, and the uniqueness in both $W^{1,2}(0,1)$ and $L^\infty(0,1)$ by a generalized maximum principle. We further prove the global existence and uniqueness of the time-dependent solution in $C([0,1]\times [0,+\infty))\cap C^{2,1}([0,1]\times (0,+\infty))$, which, for any continuous initial value, converges to the steady-state solution in $C[0,1]$ (global attractivity). Our results support the numerical calculations and Monte Carlo simulations, and provide theoretical foundations for the TASEP-LK coupled process, especially the most important phase diagram of particle density along the travel track under different model parameters, which is difficult because the boundary layers (at one or both boundaries) and domain wall (separating high and low particle densities) may appear as the length of the travel track tends to infinity. The methods used in this paper may be instructive for studies of the more general cases of the TASEP-LK process, such as the one with multiple travel tracks and/or multiple particle species.

math.AP↗

Control Theory Illustrates the Energy Efficiency in the Dynamic Reconfiguration of Functional Connectivity

The brain's functional connectivity fluctuates over time instead of remaining steady in a stationary mode even during the resting state. This fluctuation establishes the dynamical functional connectivity that transitions in a non-random order between multiple modes. Yet it remains unexplored how the transition facilitates the entire brain network as a dynamical system and what utility this mechanism for dynamic reconfiguration can bring over the widely used graph theoretical measurements. To address these questions, we propose to conduct an energetic analysis of functional brain networks using resting-state fMRI and behavioral measurements from the Human Connectome Project. Through comparing the state transition energy under distinct adjacent matrices, we justify that dynamic functional connectivity leads to 60% less energy cost to support the resting state dynamics than static connectivity when driving the transition through default mode network. Moreover, we demonstrate that combining graph theoretical measurements and our energy-based control measurements as the feature vector can provide complementary prediction power for the behavioral scores. Our approach integrates statistical inference and dynamical system inspection towards understanding brain networks.

q-bio.NC↗

Two ways towards combining Sequential Neural Network and Statistical Methods to Improve the Prediction of Time Series

Statistic modeling and data-driven learning are the two vital fields that attract many attentions. Statistic models intend to capture and interpret the relationships among variables, while data-based learning attempt to extract information directly from the data without pre-processing through complex models. Given the extensive studies in both fields, a subtle issue is how to properly integrate data based methods with existing knowledge or models. In this paper, based on the time series data, we propose two different directions to integrate the two, a decomposition-based method and a method exploiting the statistic extraction of data features. The first one decomposes the data into linear stable, nonlinear stable and unstable parts, where suitable statistical models are used for the linear stable and nonlinear stable parts while the appropriate machine learning tools are used for the unstable parts. The second one applies statistic models to extract statistics features of data and feed them as additional inputs into the machine learning platform for training. The most critical and challenging thing is how to determine and extract the valuable information from mathematical or statistical models to boost the performance of machine learning algorithms. We evaluate the proposal using time series data with varying degrees of stability. Performance results show that both methods can outperform existing schemes that use models and learning separately, and the improvements can be over 60%. Both our proposed methods are promising in bridging the gap between model-based and data-driven schemes and integrating the two to provide an overall higher learning performance.

cs.LG↗

Octave-spanning microcomb generation in 4H-silicon-carbide-on-insulator photonics platform

Silicon carbide has recently emerged as a promising photonics material due to its unique properties, including possessing strong second- and third-order nonlinear coefficients and hosting various color centers that can be utilized for a wealth of quantum applications. Here, we report the design and demonstration of octave-spanning microcombs in a 4H-silicon-carbide-on-insulator platform for the first time. Such broadband operation is enabled by optimized nanofabrication achieving >1 million intrinsic quality factors in a 36-$μ$m-radius microring resonator, and careful dispersion engineering by investigating the dispersion properties of different mode families. For example, for the fundamental transverse-electric mode whose dispersion can be tailored by simply varying the microring waveguide width, we realized a microcomb spectrum covering the wavelength range from 1100 nm to 2400 nm with an on-chip power near 120 mW. While the observed comb state is verified to be chaotic and not soliton, attaining such a large bandwidth is a crucial step towards realizing $f$-2$f$ self-referencing. In addition, we have also observed coherent soliton-crystal state for the fundamental transverse-magnetic mode, which exhibits stronger dispersion than the fundamental transverse-electric mode and hence a narrower bandwidth.

physics.optics↗

Unconditionally stable exponential time differencing schemes for the mass-conserving Allen-Cahn equation with nonlocal and local effects

It is well known that the classic Allen-Cahn equation satisfies the maximum bound principle (MBP), that is, the absolute value of its solution is uniformly bounded for all time by certain constant under suitable initial and boundary conditions. In this paper, we consider numerical solutions of the modified Allen-Cahn equation with a Lagrange multiplier of nonlocal and local effects, which not only shares the same MBP as the original Allen-Cahn equation but also conserves the mass exactly. We reformulate the model equation with a linear stabilizing technique, then construct first- and second-order exponential time differencing schemes for its time integration. We prove the unconditional MBP preservation and mass conservation of the proposed schemes in the time discrete sense and derive their error estimates under some regularity assumptions. Various numerical experiments in two and three dimensions are also conducted to verify the theoretical results.

math.NA↗

Stabilized integrating factor Runge-Kutta method and unconditional preservation of maximum bound principle

Maximum bound principle (MBP) is an important property for a large class of semilinear parabolic equations, in the sense that the time-dependent solution of the equation with appropriate initial and boundary conditions and nonlinear operator preserves for all time a uniform pointwise bound in absolute value. It has been a challenging problem on how to design unconditionally MBP-preserving high-order accurate time-stepping schemes for these equations. In this paper, we combine the integrating factor Runge-Kutta (IFRK) method with the linear stabilization technique to develop a stabilized IFRK (sIFRK) method, and successfully derive sufficient conditions for the proposed method to preserve MBP unconditionally in the discrete setting. We then elaborate some sIFRK schemes with up to the third-order accuracy, which are proven to be unconditionally MBP-preserving by verifying these conditions. In addition, it is shown that many classic strong stability-preserving sIFRK schemes do not satisfy these conditions except the first-order one. Extensive numerical experiments are also carried out to demonstrate the performance of the proposed method.

math.NA↗

Information Leakage in Encrypted Deduplication via Frequency Analysis: Attacks and Defenses

Encrypted deduplication combines encryption and deduplication to simultaneously achieve both data security and storage efficiency. State-of-the-art encrypted deduplication systems mainly build on deterministic encryption to preserve deduplication effectiveness. However, such deterministic encryption reveals the underlying frequency distribution of the original plaintext chunks. This allows an adversary to launch frequency analysis against the ciphertext chunks and infer the content of the original plaintext chunks. In this paper, we study how frequency analysis affects information leakage in encrypted deduplication storage, from both attack and defense perspectives. Specifically, we target backup workloads, and propose a new inference attack that exploits chunk locality to increase the coverage of inferred chunks. We further combine the new inference attack with the knowledge of chunk sizes and show its attack effectiveness against variable-size chunks. We conduct trace-driven evaluation on both real-world and synthetic datasets and show that our proposed attacks infer a significant fraction of plaintext chunks under backup workloads. To defend against frequency analysis, we present two defense approaches, namely MinHash encryption and scrambling. Our trace-driven evaluation shows that our combined MinHash encryption and scrambling scheme effectively mitigates the severity of the inference attacks, while maintaining high storage efficiency and incurring limited metadata access overhead.

cs.CR↗

Nature of the growth of plasma electrolyte oxidation coating on Aluminum

The localized dielectric breakdown had been considered as the driving force for growth of plasma electrolytic oxide (PEO) coatings for several decades. However, the TEM study here reveals the dielectric breakdown behavior has little contribution for coating thickening. The presented evidences show the nature of PEO coating growth in all three consecutive stages I-III is ionic migration behavior inside the amorphous alumina layer (AAL) at the coating/matrix interface. The evolution of morphological characterizations in the PEO process is attributed to the interfacial reactions of AAL/alkaline (stage I), AAL/discharge-on-surface (stage II) and AAL/discharge-in-pore (stage III).

physics.app-ph↗

The Design and Implementation of a Rekeying-aware Encrypted Deduplication Storage System

Rekeying refers to an operation of replacing an existing key with a new key for encryption. It renews security protection, so as to protect against key compromise and enable dynamic access control in cryptographic storage. However, it is non-trivial to realize efficient rekeying in encrypted deduplication storage systems, which use deterministic content-derived encryption keys to allow deduplication on ciphertexts. We design and implement REED, a rekeying-aware encrypted deduplication storage system. REED builds on a deterministic version of all-or-nothing transform (AONT), such that it enables secure and lightweight rekeying, while preserving the deduplication capability. We propose two REED encryption schemes that trade between performance and security, and extend REED for dynamic access control. We implement a REED prototype with various performance optimization techniques and demonstrate how we can exploit similarity to mitigate key generation overhead. Our trace-driven testbed evaluation shows that our REED prototype maintains high performance and storage efficiency.

cs.DC↗

How does a protein reach its binding locus: sliding along DNA chain or not?

In gene expression, various kinds of proteins need to bind to specific locus of DNA. It is still not clear how these proteins find their target locus. In this study, the mean first-passage time (FPT) of protein binding to its target locus on DNA chain is discussed by a chain-space coupled model. Our results show that the 1-dimensional diffusion constant has a critical value, with which the mean time spent by a protein to find its target locus is almost independent of the binding rate of protein to DNA chain and the detachment rate from DNA chain. Which implies that, the frequency of protein binding to DNA and the sliding time on DNA chain have little influence on the search efficiency, and therefore whether or not the 1-dimensional sliding on DNA chain increases the search efficiency depends on the 1-dimensional diffusion constant of the protein on DNA chain. This study also finds that only protein bindings to DNA loci which are close to the target locus help to increase the search efficiency, while bindings to those loci which are far from the target locus might delay the target binding process. As expected, the mean FPT increases with the distance between the initial position of protein in cell space and its target locus on DNA chain. The direct binding probability, which can be regarded as one index to describe if the 1-dimensional sliding along DNA chain is helpful to increase the search efficiency is calculated. Our results show that the influence of 1-dimensional sliding along DNA chain on the search process depends on both diffusion constants of protein in cell space and on the 1-dimensional DNA chain.

physics.bio-ph↗

Distributed Control for Charging Multiple Electric Vehicles with Overload Limitation

Severe pollution induced by traditional fossil fuels arouses great attention on the usage of plug-in electric vehicles (PEVs) and renewable energy. However, large-scale penetration of PEVs combined with other kinds of appliances tends to cause excessive or even disastrous burden on the power grid, especially during peak hours. This paper focuses on the scheduling of PEVs charging process among different charging stations and each station can be supplied by both renewable energy generators and a distribution network. The distribution network also powers some uncontrollable loads. In order to minimize the on-grid energy cost with local renewable energy and non-ideal storage while avoiding the overload risk of the distribution network, an online algorithm consisting of scheduling the charging of PEVs and energy management of charging stations is developed based on Lyapunov optimization and Lagrange dual decomposition techniques. The algorithm can satisfy the random charging requests from PEVs with provable performance. Simulation results with real data demonstrate that the proposed algorithm can decrease the time-average cost of stations while avoiding overload in the distribution network in the presence of random uncontrollable loads.

eess.SY↗

Correlations between promoter activity and its nucleotide positions in spacing region

Transcription is one of the essential processes for cells to read genetic information encoded in genes, which is initiated by the binding of RNA polymerase to related promoter. Experiments have found that the nucleotide sequence of promoter has great influence on gene expression strength, or promoter activity. In synthetic biology, one interesting question is how we can synthesize a promoter with given activity, and which positions of promoter sequence are important for determining its activity. In this study, based on recent experimental data, correlations between promoter activity and its sequence positions are analyzed by various methods. Our results show that, except nucleotides in the two highly conserved regions, $-35$ box and $-10$ box, influences of nucleotides in other positions are also not neglectable. For example, modifications of nucleotides around position $-19$ in spacing region may change promoter activity in a large scale. The results of this study might be helpful to our understanding of biophysical mechanism of gene transcription, and may also be helpful to the design of synthetic cell factory.

q-bio.GN↗

Theoretical analysis of transcription process with polymerase stalling

Experimental evidences show that in gene transcription, RNA polymerase has the possibility to be stalled at certain position of the transcription template. This may be due to the template damage, or protein barriers. Once stalled, polymerase may backtrack along the template to the previous nucleotide to wait for the repair of the damaged site, or simply bypass the barrier or damaged site and consequently synthesize an incorrect messenger RNA, or degrade and detach from the template. Thus, the {\it effective} transcription rate (the rate to synthesize correct product mRNA) and the transcription {\it effectiveness} (the ratio of the {\it effective} transcription rate to the {\it effective} transcription initiation rate) are both influenced by polymerase stalling events. This study shows that, Without backtracking, detachment of stalled polymerase can also help to increase the {\it effective} transcription rate and transcription {\it effectiveness}. Generally, the increase of bypass rate of the stalled polymerase will lead to the decrease of the {\it effective} transcription rate and transcription {\it effectiveness}. But when both detachment rate and backtracking rate of the stalled polymerase vanish, the {\it effective} transcription rate may also be increased by the bypass mechanism.

physics.bio-ph↗

Translation with frameshifting of ribosome along mRNA transcript

Translation is an important process for prokaryotic and eukaryotic cells to produce necessary proteins for cell growth. Numerious experiments have been performed to explore the translational properties. Diverse models have also been developed to determine the biochemical mechanism of translation. However, to simplify the majority of the existing models, the frameshifting of ribosome along the mRNA transcript is neglected, which actually occurs in real cells and has been extensively experimentally studied. The frameshifting of ribosome evidently influences the efficiency and speed of translation, considering that the peptide chains synthesized by shifted ribosomes will not fold into functional proteins and will degrade rapidly. In this study, a theoretical model is presented to describe the translational process based on the model for totally asymmetric simple exclusion process. In this model, the frameshifting of the ribosome along the mRNA transcript and the attachment/detachment of the ribosome to/from the main body of mRNA codons during translation elongation process, are explicitly included. The results show that, with ribosome frameshifing, the speed of correctly synthesized peptide chains may increase first and then decrease with both the translation initiation rate $α$ and the ribosome detachment rate $ω_d$. This results indicates that regulating the translation process to reach maximal synthesized speed of proteins is theoretically feasible. Traffic-related problems of ribosome motion along the mRNA transcript are also addressed theoretically. Depending on parameter values, shock wave (or domain wall) may exist for ribosome probabilities along the mRNA.

physics.bio-ph↗

Characterizing and Subsetting Big Data Workloads

Big data benchmark suites must include a diversity of data and workloads to be useful in fairly evaluating big data systems and architectures. However, using truly comprehensive benchmarks poses great challenges for the architecture community. First, we need to thoroughly understand the behaviors of a variety of workloads. Second, our usual simulation-based research methods become prohibitively expensive for big data. As big data is an emerging field, more and more software stacks are being proposed to facilitate the development of big data applications, which aggravates hese challenges. In this paper, we first use Principle Component Analysis (PCA) to identify the most important characteristics from 45 metrics to characterize big data workloads from BigDataBench, a comprehensive big data benchmark suite. Second, we apply a clustering technique to the principle components obtained from the PCA to investigate the similarity among big data workloads, and we verify the importance of including different software stacks for big data benchmarking. Third, we select seven representative big data workloads by removing redundant ones and release the BigDataBench simulation version, which is publicly available from http://prof.ict.ac.cn/BigDataBench/simulatorversion/.

cs.PF↗

ExpertBayes: Automatically refining manually built Bayesian networks

Bayesian network structures are usually built using only the data and starting from an empty network or from a naive Bayes structure. Very often, in some domains, like medicine, a prior structure knowledge is already known. This structure can be automatically or manually refined in search for better performance models. In this work, we take Bayesian networks built by specialists and show that minor perturbations to this original network can yield better classifiers with a very small computational cost, while maintaining most of the intended meaning of the original model.

cs.AI↗