Search

The problem of code generation from textual program descriptions has long been viewed as a grand challenge in software engineering. In recent years, many deep learning based approaches have been proposed, which can generate a sequence of code from a sequence of textual program description. However, the existing approaches ignore the global relationships among API methods, which are important for understanding the usage of APIs. In this paper, we propose to model the dependencies among API methods as an API dependency graph (ADG) and incorporate the graph embedding into a sequence-to-sequence (Seq2Seq) model. In addition to the existing encoder-decoder structure, a new module named ``embedder" is introduced. In this way, the decoder can utilize both global structural dependencies and textual program description to predict the target code. We conduct extensive code generation experiments on three public datasets and in two programming languages (Python and Java). Our proposed approach, called ADG-Seq2Seq, yields significant improvements over existing state-of-the-art methods and maintains its performance as the length of the target code increases. Extensive ablation tests show that the proposed ADG embedding is effective and outperforms the baselines.

Motivated by the lack of systematic tools to obtain safe control laws for hybrid systems, we propose an optimization-based framework for learning certifiably safe control laws from data. In particular, we assume a setting in which the system dynamics are known and in which data exhibiting safe system behavior is available. We propose hybrid control barrier functions for hybrid systems as a means to synthesize safe control inputs. Based on this notion, we present an optimization-based framework to learn such hybrid control barrier functions from data. Importantly, we identify sufficient conditions on the data such that feasibility of the optimization problem ensures correctness of the learned hybrid control barrier functions, and hence the safety of the system. We illustrate our findings in two simulations studies, including a compass gait walker., Comment: 27 pages, Conference on Robot Learning 2020

Coupled mode theory (CMT) is a powerful framework for decomposing interactions between electromagnetic waves and scattering bodies into resonances and their couplings with power-carrying channels. It has widespread use in few-resonance, weakly coupled resonator systems across nanophotonics, but cannot be applied to the complex scatterers of emerging importance. We use quasinormal modes to develop an exact, ab initio generalized coupled mode theory from Maxwell's equations. This quasinormal coupled mode theory, which we denote "QCMT", enables a direct, mode-based construction of scattering matrices without resorting to external solvers or data. We consider canonical scattering bodies, for which we show that a CMT model will necessarily be highly inaccurate, whereas QCMT exhibits near-perfect accuracy.

It is generally accepted that melt extraction from the mantle at mid-ocean ridges (MORs) is concentrated in narrow regions of elevated melt fraction called channels. Two feedback mechanisms have been proposed to explain why these channels grow by linear instability: shear flow of partially molten mantle and reactive flow of the ascending magma. These two mechanisms have been studied extensively, in isolation from each other, through theory and laboratory experiments as well as field and geophysical observations. Here, we develop a consistent theory that accounts for both proposed mechanisms and allows us to weigh their relative contributions. We show that interaction of the two feedback mechanisms is insignificant and that the total linear growth rate of channels is well-approximated by summing their independent growth rates. Furthermore, we explain how their competition is governed by the orientation of channels with respect to gravity and mantle shear. By itself, analysis of the reaction-infiltration instability predicts the formation of tube-shaped channels. We show that with the addition of even a small amount of extension in the horizontal, the combined instability favours tabular channels, consistent with the observed morphology of dunite bodies in ophiolites. We apply the new theory to MORs by calculating the accumulated growth and rotation of channels along streamlines of the solid flow. We show that reactive flow is the dominant mechanism deep beneath the ridge axis, where the most unstable orientation of high-porosity channels is sub-vertical. Channels are then rotated by the solid flow away from the vertical. The contribution of the shear-driven instability is confined to the margins of the melting region. Within the limitations of our study, the shear-driven feedback is not responsible for significant melt focusing or for shallowly dipping seismic anisotropy [abridged]., Comment: [32 pages, 17 figures.] This is a pre-copyedited, author-produced PDF of an article accepted for publication in Geophysical Journal International following peer review. The version of record is available online at https://doi.org/10.1093/gji/ggab112

An almost Abelian Lie group is a non-Abelian Lie group with a codimension 1 Abelian normal subgroup. The majority of 3-dimensional real Lie groups are almost Abelian, and they appear in all parts of physics that deal with anisotropic media - cosmology, crystallography etc. In theoretical physics and differential geometry, almost Abelian Lie groups and their homogeneous spaces provide some of the simplest solvmanifolds on which a variety of geometric structures such as symplectic, K\"ahler, spin etc., are currently studied in explicit terms. Recently, almost Abelian Lie algebras were classified and studied in details. However, a systematic investigation of almost Abelian Lie groups has not been carried out yet, and the present paper is devoted to an explicit description of properties of this wide and diverse class of groups. The subject of investigation are real almost Abelian Lie groups with their Lie group theoretical aspects, such as the exponential map, faithful matrix representations, discrete and connected subgroups, quotients and automorphisms. The emphasis is put on explicit description of all technical details.

Inspired by the success of imitation and inverse reinforcement learning in replicating expert behavior through optimal control, we propose a learning based approach to safe controller synthesis based on control barrier functions (CBFs). We consider the setting of a known nonlinear control affine dynamical system and assume that we have access to safe trajectories generated by an expert - a practical example of such a setting would be a kinematic model of a self-driving vehicle with safe trajectories (e.g., trajectories that avoid collisions with obstacles in the environment) generated by a human driver. We then propose and analyze an optimization-based approach to learning a CBF that enjoys provable safety guarantees under suitable Lipschitz smoothness assumptions on the underlying dynamical system. A strength of our approach is that it is agnostic to the parameterization used to represent the CBF, assuming only that the Lipschitz constant of such functions can be efficiently bounded. Furthermore, if the CBF parameterization is convex, then under mild assumptions, so is our learning process. We end with extensive numerical evaluations of our results on both planar and realistic examples, using both random feature and deep neural network parameterizations of the CBF. To the best of our knowledge, these are the first results that learn provably safe control barrier functions from data.

The brightness theorem---brightness is nonincreasing in passive systems---is a foundational conservation law, with applications ranging from photovoltaics to displays, yet it is restricted to the field of ray optics. For general linear wave scattering, we show that power per scattering channel generalizes brightness, and we derive power-concentration bounds for systems of arbitrary coherence. The bounds motivate a concept of "wave \'{e}tendue" as a measure of incoherence among the scattering-channel amplitudes, and which is given by the rank of an appropriate density matrix. The bounds apply to nonreciprocal systems that are of increasing interest, and we demonstrate their applicability to maximal control in nanophotonics, for metasurfaces and waveguide junctions. Through inverse design, we discover metasurface elements operating near the theoretical limits.