title: Machine learning prediction errors better than DFT accuracy

abstract: We investigate the impact of choosing regressors and molecular representations for the construction of fast machine learning (ML) models of thirteen electronic ground-state properties of organic molecules. The performance of each regressor/representation/property combination is assessed using learning curves which report out-of-sample errors as a function of training set size with up to $\sim$117k distinct molecules. Molecular structures and properties at hybrid density functional theory (DFT) level of theory used for training and testing come from the QM9 database [Ramakrishnan et al, {\em Scientific Data} {\bf 1} 140022 (2014)] and include dipole moment, polarizability, HOMO/LUMO energies and gap, electronic spatial extent, zero point vibrational energy, enthalpies and free energies of atomization, heat capacity and the highest fundamental vibrational frequency. Various representations from the literature have been studied (Coulomb matrix, bag of bonds, BAML and ECFP4, molecular graphs (MG)), as well as newly developed distribution based variants including histograms of distances (HD), and angles (HDA/MARAD), and dihedrals (HDAD). Regressors include linear models (Bayesian ridge regression (BR) and linear regression with elastic net regularization (EN)), random forest (RF), kernel ridge regression (KRR) and two types of neural net works, graph convolutions (GC) and gated graph networks (GG). We present numerical evidence that ML model predictions deviate from DFT less than DFT deviates from experiment for all properties. Furthermore, our out-of-sample prediction errors with respect to hybrid DFT reference are on par with, or close to, chemical accuracy. Our findings suggest that ML models could be more accurate than hybrid DFT if explicitly electron correlated quantum (or experimental) data was available.


title: Optimal digital dynamical decoupling for general decoherence via Walsh modulation

abstract: We provide a general framework for constructing digital dynamical decoupling sequences based on Walsh modulation --- applicable to arbitrary qubit decoherence scenarios. By establishing equivalence between decoupling design based on Walsh functions and on concatenated projections, we identify a family of {\em optimal Walsh sequences}, which can be exponentially more efficient, in terms of the required total pulse number, for fixed cancellation order, than known digital sequences based on concatenated design. Optimal sequences for a given cancellation order are highly non-unique --- their performance depending sensitively on the control path. We provide an analytic upper bound to the achievable decoupling error, and show how sequences within the optimal Walsh family can substantially outperform concatenated decoupling, while respecting realistic timing constraints. We validate these conclusions by numerically computing the average fidelity in a toy model capturing the essential feature of hyperfine-induced decoherence in a quantum dot.


title: Structural identities for generalized multiple zeta values

abstract: There has been an avalanche of recent research on multiple zeta values. We propose dividing identities for multiple zeta values into structural and specific types. Structural identities are valid for any generalized multiple zeta function, and we systematically investigate them through symmetric functions. Specific identities are only valid for a specific zeta function, and we show how these can be used in conjunction with structural identities to find closed form multiple zeta values. This allows us to interpret generalized multiple zeta values as the moments of a random variable, which we characterize in certain cases. We also evaluate certain multiple Bessel zeta values and multiple Hurwitz zeta values.


title: A Lower Bound for the Number of Central Configurations on H^2

abstract: We study the indices of the geodesic central configurations on $\H^2$. We then show that central configurations are bounded away from the singularity set. With Morse's inequality, we get a lower bound for the number of central configurations on $\H^2$.


title: Beyond the Hazard Rate: More Perturbation Algorithms for Adversarial Multi-armed Bandits

abstract: Recent work on follow the perturbed leader (FTPL) algorithms for the adversarial multi-armed bandit problem has highlighted the role of the hazard rate of the distribution generating the perturbations. Assuming that the hazard rate is bounded, it is possible to provide regret analyses for a variety of FTPL algorithms for the multi-armed bandit problem. This paper pushes the inquiry into regret bounds for FTPL algorithms beyond the bounded hazard rate condition. There are good reasons to do so: natural distributions such as the uniform and Gaussian violate the condition. We give regret bounds for both bounded support and unbounded support distributions without assuming the hazard rate condition. We also disprove a conjecture that the Gaussian distribution cannot lead to a low-regret algorithm. In fact, it turns out that it leads to near optimal regret, up to logarithmic factors. A key ingredient in our approach is the introduction of a new notion called the generalized hazard rate.


title: Globally smooth approximations for shock pressure decay in impacts

abstract: New forms of empirical formulae that provide an approximate description of the decay of shock pressure with distance in hypervelocity impacts are proposed. These forms, which are intended for use in applications such as large-scale mantle convection models, are continuous and smooth from the point of impact to arbitrarily large distances, thereby avoiding the need to divide the domain into different decay regimes and yielding the maximum pressure in a self-consistent way without resorting to the impedance-match solution. Individual fits for different impact velocities as well as a tentative general fitting formula are given, especially for the case of dunite-on-dunite impacts. The temperature effects resulting from the shock are estimated for different decay models, and the differences between them are found to be substantial in some cases, potentially leading to over- or underestimates of impact heating and melt production in modeling contexts like mantle convection, where such parameterizations are commonly used to represent giant impacts.


title: Dataset Augmentation in Feature Space

abstract: Dataset augmentation, the practice of applying a wide array of domain-specific transformations to synthetically expand a training set, is a standard tool in supervised learning. While effective in tasks such as visual recognition, the set of transformations must be carefully designed, implemented, and tested for every new domain, limiting its re-use and generality. In this paper, we adopt a simpler, domain-agnostic approach to dataset augmentation. We start with existing data points and apply simple transformations such as adding noise, interpolating, or extrapolating between them. Our main insight is to perform the transformation not in input space, but in a learned feature space. A re-kindling of interest in unsupervised representation learning makes this technique timely and more effective. It is a simple proposal, but to-date one that has not been tested empirically. Working in the space of context vectors generated by sequence-to-sequence models, we demonstrate a technique that is effective for both static and sequential data.


title: A General Probabilistic Approach for Quantitative Assessment of LES Combustion Models

abstract: The Wasserstein metric is introduced as a probabilistic method to enable quantitative evaluations of LES combustion models. The Wasserstein metric can directly be evaluated from scatter data or statistical results using probabilistic reconstruction against experimental data. The method is derived and generalized for turbulent reacting flows, and applied to validation tests involving the Sydney piloted jet flame. It is shown that the Wasserstein metric is an effective validation tool that extends to multiple scalar quantities, providing an objective and quantitative evaluation of model deficiencies and boundary conditions on the simulation accuracy. Several test cases are considered, beginning with a comparison of mixture-fraction results, and the subsequent extension to reactive scalars, including temperature and species mass fractions of \ce{CO} and \ce{CO2}. To demonstrate the versatility of the proposed method in application to multiple datasets, the Wasserstein metric is applied to a series of different simulations that were contributed to the TNF-workshop. Analysis of the results allowed to identify competing contributions to model deviations, arising from uncertainties in the boundary conditions and model deficiencies. These applications demonstrate that the Wasserstein metric constitutes an easily applicable mathematical tool that reduce multiscalar combustion data and large datasets into a scalar-valued quantitative measure.


title: Gauge symmetry and constraints structure in topologically massive AdS gravity: A symplectic viewpoint

abstract: By applying the Faddeev-Jackiw symplectic approach we systematically show that both the local gauge symmetry and the constraint structure of topologically massive gravity with a cosmological constant $\Lambda$, elegantly encoded in the zero-modes of the symplectic matrix, can be identified. Thereafter, via an appropriate partial gauge-fixing procedure, the time gauge, we calculate the quantization bracket structure (generalized Faddeev-Jackiw brackets) for the dynamic variables and confirm that the number of physical degrees of freedom is one. This approach provides an alternative to explore the dynamical content of massive gravity models.


title: AMUSE: Empowering Users for Cost-Aware Offloading with Throughput-Delay Tradeoffs

abstract: To cope with recent exponential increases in demand for mobile data, wireless Internet service providers (ISPs) are increasingly changing their pricing plans and deploying WiFi hotspots to offload their mobile traffic. However, these ISP-centric approaches for traffic management do not always match the interests of mobile users. Users face a complex, multi-dimensional tradeoff between cost, throughput, and delay in making their offloading decisions: while they may save money and receive a higher throughput by waiting for WiFi access, they may not wait for WiFi if they are sensitive to delay. To navigate this tradeoff, we develop AMUSE (Adaptive bandwidth Management through USer-Empowerment), a functional prototype of a practical, cost-aware WiFi offloading system that takes into account a user's throughput-delay tradeoffs and cellular budget constraint. Based on predicted future usage and WiFi availability, AMUSE decides which applications to offload to what times of the day. Since nearly all traffic flows from mobile devices are TCP flows, we introduce a new receiver-side bandwidth allocation mechanism to practically enforce the assigned rate of each TCP application. Thus, AMUSE users can optimize their bandwidth rates according to their own cost-throughput-delay tradeoff without relying on support from different apps' content servers. Through a measurement study of 20 smartphone users' traffic usage traces, we observe that though users already offload a large amount of some application types, our framework can offload a significant additional portion of users' cellular traffic. We implement AMUSE and evaluate its effectiveness with 3G and WiFi usage data obtained from a trial with 37 mobile users. Our results show that AMUSE improves user utility, when compared with AMUSE, other offloading algorithms yield 14\% and 27\% lower user utilities for light and heavy users, respectively.


title: The multivariate bisection algorithm

abstract: The aim of this paper is the study of the bisection method in $\mathbb{R}^n$. In this work we propose a multivariate bisection method supported by the Poincar\'e-Miranda theorem in order to solve non-linear system of equations. Given an initial cube verifying the hypothesis of Poincar\'e-Miranda theorem the algorithm performs congruent refinements throughout its center by generating a root approximation. Throughout preconditioning we will prove the local convergence of this new root finder methodology and moreover we will perform a numerical implementation for the two dimensional case.


title: A Fixed-Parameter Perspective on #BIS

abstract: The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RH\Pi_1. It is believed that #BIS does not have an efficient approximation algorithm but also that it is not NP-hard. We study the robustness of the intermediate complexity of #BIS by considering variants of the problem parameterised by the size of the independent set. We exhaustively map the complexity landscape for three problems, with respect to exact computation and approximation and with respect to conventional and parameterised complexity. The three problems are counting independent sets of a given size, counting independent sets with a given number of vertices in one vertex class and counting maximum independent sets amongst those with a given number of vertices in one vertex class. Among other things, we show that all of these problems are NP-hard to approximate within any polynomial ratio. (This is surprising because the corresponding problems without the size parameter are complete in #RH\Pi_1, and hence are not believed to be NP-hard.) We also show that the first problem is #W[1]-hard to solve exactly but admits an FPTRAS, whereas the other two are W[1]-hard to approximate even within any polynomial ratio. Finally, we show that, when restricted to graphs of bounded degree, all three problems have efficient exact fixed-parameter algorithms.


title: On the Necessity of Structured Codes for Communications over MAC with Feedback

abstract: The problem of three-user multiple-access channel (MAC) with noiseless feedback is investigated. A new coding strategy is presented. The coding scheme builds upon the natural extension of the Cover-Leung (CL) scheme; and uses quasi-linear codes. A new single-letter achievable rate region is derived. The new achievable region strictly contains the CL region. This is shown through an example. In this example, the coding scheme achieves optimality in terms of transmission rates. It is shown that any optimality achieving scheme for this example must have a specific algebraic structure. Particularly, the codebooks must be closed under binary addition.


title: Some Theorems on Optimality of a Single Observation Confidence Interval for the Mean of a Normal Distribution

abstract: We consider the problem of finding a proper confidence interval for the mean based on a single observation from a normal distribution with both mean and variance unknown. Portnoy (2017) characterizes the scale-sign invariant rules and shows that the Hunt-Stein construction provides a randomized invariant rule that improves on any given randomized rule in the sense that it has greater minimal coverage among all procedures with a fixed expected length. Mathematical results here provide a specific mixture of two non-randomized invariant rules that achieve the minimax optimality. A multivariate confidence set based on a single observation vector is also developed.


title: A Sequential Scheme for Large Scale Bayesian Multiple Testing

abstract: The problem of large scale multiple testing arises in many contexts, including testing for pairwise interaction among large numbers of neurons. With advances in technologies, it has become common to record from hundreds of neurons simultaneously, and this number is growing quickly, so that the number of pairwise tests can be very large. It is important to control the rate at which false positives occur. In addition, there is sometimes information that affects the probability of a positive result for any given pair. In the case of neurons, they are more likely to have correlated activity when they are close together, and when they respond similarly to various stimuli. Recently a method was developed to control false positives when covariate information, such as distances between pairs of neurons, is available. This method, however, relies on computationally-intensive Markov Chain Monte Carlo (MCMC). Here we develop an alternative, based on Sequential Monte Carlo, which scales well with the size of the dataset. This scheme considers data items sequentially, with relevant probabilities being updated at each step. Simulation experiments demonstrate that the proposed algorithm delivers results as accurately as the previous MCMC method with only a single pass through the data. We illustrate the method by using it to analyze neural recordings from extrastriate cortex in a macaque monkey.


title: Nontrivial Turmites are Turing-universal

abstract: A Turmit is a Turing machine that works over a two-dimensional grid, that is, an agent that moves, reads and writes symbols over the cells of the grid. Its state is an arrow and, depending on the symbol that it reads, it turns to the left or to the right, switching the symbol at the same time. Several symbols are admitted, and the rule is specified by the turning sense that the machine has over each symbol. Turmites are a generalization of Langtons ant, and they present very complex and diverse behaviors. We prove that any Turmite, except for those whose rule does not depend on the symbol, can simulate any Turing Machine. We also prove the P-completeness of prediction their future behavior by explicitly giving a log-space reduction from the Topological Circuit Value Problem. A similar result was already established for Langtons ant; here we use a similar technique but prove a stronger notion of simulation, and for a more general family.


title: Bi-Level Online Control without Regret

abstract: This paper considers a bi-level discrete-time control framework with real-time constraints, consisting of several local controllers and a central controller. The objective is to bridge the gap between the online convex optimization and real-time control literature by proposing an online control algorithm with small dynamic regret, which is a natural performance criterion in nonstationary environments related to real-time control problems. We illustrate how the proposed algorithm can be applied to real-time control of power setpoints in an electrical grid.


title: Rotation-driven phase transitions in the cores of pulsars

abstract: In this paper, we discuss the impact of rotation on the particle composition of rotating neutron stars (pulsars). Particular emphasis is put on the formation of quark matter during stellar spin-down, driven by continuous gravitational compression. Our study is based on modern models for the nuclear equation of state whose parameters are tightly constrained by nuclear data, neutron star masses, and the latest estimates of neutron star radii.


title: Guiding waves along an infinitesimal line between impedance surfaces

abstract: We present a new electromagnetic mode that forms at the interface between two planar surfaces laid side by side in free space, effectively guiding energy along an infinitesimal, one-dimensional line. It is shown that this mode occurs when the boundaries have complementary surface impedances, and it is possible to control the mode confinement by altering their values correspondingly. The mode exhibits singular field enhancement, broad bandwidth, direction-dependent polarization, and robustness to certain defects. As a proof-of-concept, experimental results in the microwave regime are provided using patterned conducting sheets. Our proposed effective-medium-based approach is general, however, thus allowing for potential implementation up to optical frequencies. Our system is promising for applications including integrated photonics, sensing, switching, chiral quantum coupling, and reconfigurable waveguides.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.ins-det physics.optics


title: A Distributed Online Pricing Strategy for Demand Response Programs

abstract: We study a demand response problem from utility (also referred to as operator)'s perspective with realistic settings, in which the utility faces uncertainty and limited communication. Specifically, the utility does not know the cost function of consumers and cannot have multiple rounds of information exchange with consumers. We formulate an optimization problem for the utility to minimize its operational cost considering time-varying demand response targets and responses of consumers. We develop a joint online learning and pricing algorithm. In each time slot, the utility sends out a price signal to all consumers and estimates the cost functions of consumers based on their noisy responses. We measure the performance of our algorithm using regret analysis and show that our online algorithm achieves logarithmic regret with respect to the operating horizon. In addition, our algorithm employs linear regression to estimate the aggregate response of consumers, making it easy to implement in practice. Simulation experiments validate the theoretic results and show that the performance gap between our algorithm and the offline optimality decays quickly.


title: Soft + Hardwired Attention: An LSTM Framework for Human Trajectory Prediction and Abnormal Event Detection

abstract: As humans we possess an intuitive ability for navigation which we master through years of practice; however existing approaches to model this trait for diverse tasks including monitoring pedestrian flow and detecting abnormal events have been limited by using a variety of hand-crafted features. Recent research in the area of deep-learning has demonstrated the power of learning features directly from the data; and related research in recurrent neural networks has shown exemplary results in sequence-to-sequence problems such as neural machine translation and neural image caption generation. Motivated by these approaches, we propose a novel method to predict the future motion of a pedestrian given a short history of their, and their neighbours, past behaviour. The novelty of the proposed method is the combined attention model which utilises both "soft attention" as well as "hard-wired" attention in order to map the trajectory information from the local neighbourhood to the future positions of the pedestrian of interest. We illustrate how a simple approximation of attention weights (i.e hard-wired) can be merged together with soft attention weights in order to make our model applicable for challenging real world scenarios with hundreds of neighbours. The navigational capability of the proposed method is tested on two challenging publicly available surveillance databases where our model outperforms the current-state-of-the-art methods. Additionally, we illustrate how the proposed architecture can be directly applied for the task of abnormal event detection without handcrafting the features.


title: A simple mathematical model inspired by the Purkinje cells: from delayed travelling waves to fractional diffusion

abstract: Recently, several experiments have demonstrated the existence of fractional diffusion in the neuronal transmission occurringin the Purkinje cells, whose malfunctioning is known to be related to the lack of voluntary coordination and the appearance of tremors. Also, a classical mathematical feature is that (fractional) parabolic equations possess smoothing effects, in contrast with the case of hyperbolic equations, which typically exhibit shocks and discontinuities. In this paper, we show how a simple toy-model of a highly ramified structure, somehow inspired by that of the Purkinje cells, may produce a fractional diffusion via the superposition of travelling waves that solve a hyperbolic equation. This could suggest that the high ramification of the Purkinje cells might have provided an evolutionary advantage of "smoothing" the transmission of signals and avoiding shock propagations (at the price of slowing a bit such transmission). Although an experimental confirmation of the possibility of such evolutionary advantage goes well beyond the goals of this paper, we think that it is intriguing, as a mathematical counterpart, to consider the time fractional diffusion as arising from the superposition of delayed travelling waves in highly ramified transmission media. The case of a travelling concave parabola with sufficiently small curvature is explicitly computed. The new link that we propose between time fractional diffusion and hyperbolic equation also provides a novelty with respect to the usual paradigm relating time fractional diffusion with parabolic equations in the limit. This paper is written in such a way as to be of interest to both biologists and mathematician alike. In order to accomplish this aim, both complete explanations of the objects considered and detailed lists of references are provided.


title: Incidence systems on Cartesian powers of algebraic curves

abstract: We show that a reduct of the Zariski structure of an algebraic curve which is not locally modular interprets a field, answering a question of Zilber's.


title: Defect detection for patterned fabric images based on GHOG and low-rank decomposition

abstract: In order to accurately detect defects in patterned fabric images, a novel detection algorithm based on Gabor-HOG (GHOG) and low-rank decomposition is proposed in this paper. Defect-free pattern fabric images have the specified direction, while defects damage their regularity of direction. Therefore, a direction-aware descriptor is designed, denoted as GHOG, a combination of Gabor and HOG, which is extremely valuable for localizing the defect region. Upon devising a powerful directional descriptor, an efficient low-rank decomposition model is constructed to divide the matrix generated by the directional feature extracted from image blocks into a low-rank matrix (background information) and a sparse matrix (defect information). A nonconvex log det(.) as a smooth surrogate function for the rank instead of the nuclear norm is also exploited to improve the efficiency of the low-rank model. Moreover, the computational efficiency is further improved by utilizing the alternative direction method of multipliers (ADMM). Thereafter, the saliency map generated by the sparse matrix is segmented via the optimal threshold algorithm to locate the defect regions. Experimental results show that the proposed method can effectively detect patterned fabric defects and outperform the state-of-the-art methods.


title: Paschen-Back effect and Rydberg-state diamagnetism in vapor-cell electromagnetically induced transparency

abstract: We report on rubidium vapor-cell Rydberg electromagnetically induced transparency (EIT) in a 0.7~T magnetic field where all involved levels are in the hyperfine Paschen-Back regime, and the Rydberg state exhibits a strong diamagnetic interaction with the magnetic field. Signals from both $^{85}\mathrm{Rb}$ and $^{87}\mathrm{Rb}$ are present in the EIT spectra. This feature of isotope-mixed Rb cells allows us to measure the field strength to within a $\pm 0.12$\% relative uncertainty. The measured spectra are in excellent agreement with the results of a Monte Carlo calculation and indicate unexpectedly large Rydberg-level dephasing rates. Line shifts and broadenings due to small inhomogeneities of the magnetic field are included in the model.


title: Enhanced thermal conduction through nanostructured interfaces

abstract: Interfaces dominate heat conduction in nanostructured systems, and much work has focused on methods to enhance interfacial conduction. These approaches generally address planar interfaces, where the heat flux vector is everywhere normal to the interface. Here, we explore a nanostructured interface geometry that uses nonplanar features to enhance the effective interfacial conductance beyond what is possible with planar interfaces. This interface consists of interdigitating Al pillars embedded within SiO2 with characteristic feature size ranging from 100 nm to 800 nm. The total sidewall surface area is modulated to highlight the impact of this additional channel by changing the pillar-to-pillar pitch L_P between 1.6 um and 200 nm while maintaining the same Al:SiO2 fill fraction. Using optical pump-probe thermoreflectance measurements, we show that the effective conductance of a ~65 nm thick fin layer monotonically increases with decreasing L_P, and that the conductance for L_P = 200 nm is more than twice the prediction for a layered stack with the same volume ratio and a planar interface. Through a combination of Boltzmann transport modeling and finite element calculations, we explore the impact of the pitch L_P and the pillar aspect ratio on effective thermal conductance. This analysis suggests that the concept of nanostructured interfaces can be extended to interfaces between diffusive and quasi-ballistic media in highly scaled devices. Our work proposes that the controlled texturing of interfaces can facilitate interfacial conduction beyond the planar interface regime, opening new avenues for thermal management at the nanoscale.


title: Pseudo-Hermitian and PT -symmetric quantum systems with energy-dependent potentials: Bound-state solutions and energy spectra

abstract: We introduce generalized versions of complex Scarf and Morse-type potentials that con- tain energy-dependent parameters. PT -symmetry and pseudo-hermiticity of the associated quantum systems are discussed, and a modified orthogonality relation and pseudo-norm are constructed. We show that despite energy-dependence, our systems can admit real energy spectra and normalizable solutions of bound-state type.


title: Independent Measurements of the Dynamical Masses of Six Galaxy Clusters in the Local Universe

abstract: We present independent measurements of the masses of the galaxy clusters in the local universe by employing the Dynamical Mass Estimator (DME) originally developed by Falco et al in 2014. In the catalog of the galaxy groups/clusters constructed by Tempel et al. from the Sloan Digital Sky Survey Data Release 10, we search for those as the targets around which the neighbor galaxies constitute thin straight filamentary structures in the configuration space spanned by the redshifts and the projected distances. Out of the $29$ Sloan clusters that have $100$ or more member galaxies, a total of six targets are found to have filamentary structures in their bound zones. For each of the six targets, we construct the profile of the recession velocities of the filament galaxies, which depends on the cluster mass and the angle of the filament relative the line of the sight direction. Fitting the constructed profile to the universal formula with constant amplitude and slope, we statistically determine the dynamical mass of each cluster and compare it with the previous estimates made by a conventional method. The weak and strong points of the DME as well as its prospect for the measurements of the dynamical masses of the high-$z$ clusters are discussed.


title: A Connection Between Mixing and Kac's Chaos

abstract: The Boltzmann equation is an integro-differential equation which describes the density function of the distribution of the velocities of the molecules of dilute monoatomic gases under the assumption that the energy is only transferred via collisions between the molecules. In 1956 Kac studied the Boltzmann equation and defined a property of the density function that he called the "Boltzmann property" which describes the behavior of the density function at a given fixed time as the number of particles tends to infinity. The Boltzmann property has been studied extensively since then, and now it is simply called chaos, or Kac's chaos. On the other hand, in ergodic theory, chaos usually refers to the mixing properties of a dynamical system as time tends to infinity. A relationship is derived between Kac's chaos and the notion of mixing.


title: Quantum-interference transport through surface layers of indium-doped ZnO nanowires

abstract: We have fabricated indium-doped ZnO (IZO) nanowires (NWs) and carried out 4-probe electrical-transport measurements at low temperatures. The NWs reveal charge conduction behavior characteristic of disordered metals. In addition to the $T$ dependence of resistance $R$, we have measured the magnetoresistances (MR) in perpendicular and parallel magnetic fields. Our $R(T)$ and MR data in different $T$ intervals are consistent with the theoretical predictions of the one- (1D), two- (2D) or three-dimensional (3D) weak-localization (WL) and the electron-electron interaction (EEI) effects. In particular, a few dimensionality crossovers in the two effects are observed. These crossover phenomena are consistent with the model of a "core-shell-like structure" in individual IZO NWs, where an outer shell of a thickness $t$ ($\simeq$ 15-17 nm) is responsible for the quantum-interference transport. In the WL effect, as the electron dephasing length $L_\phi$ gradually decreases with increasing $T$ from the lowest measurement temperatures, a 1D-to-2D dimensionality crossover takes place around a characteristic temperature where $L_\phi$ approximately equals $d$, an effective NW diameter which is slightly smaller than the geometric diameter. As $T$ further increases, a 2D-to-3D dimensionality crossover occurs around another characteristic temperature where $L_\phi$ approximately equals $t$ ($< d$). In the EEI effect, a 2D-to-3D dimensionality crossover takes place when the thermal diffusion length $L_T$ progressively decreases with increasing $T$ and approaches $t$. However, a crossover to the 1D EEI effect is not seen because $L_T < d$ even at $T$ = 1 K in our IZO NWs. Furthermore, we explain the various inelastic electron scattering processes which govern $L_\phi$. This work indicates that the surface-related conduction processes are essential to doped semiconductor nanostructures.


title: Spiral Arms, Infall, and Misalignment of the Circumbinary Disk from the Circumstellar Disks in the Protostellar Binary System L1551 NE

abstract: We report the ALMA Cycle 2 observations of the Class I binary protostellar system L1551 NE in the 0.9-mm continuum, C18O (3-2), 13CO (3-2), SO (7_8-6_7), and the CS (7-6) emission. At 0.18" (= 25 AU) resolution, ~4-times higher than that of our Cycle 0 observations, the circumbinary disk as seen in the 0.9-mm emission is shown to be comprised of a northern and a southern spiral arm, with the southern arm connecting to the circumstellar disk around Source B. The western parts of the spiral arms are brighter than the eastern parts, suggesting the presence of an m=1 spiral mode. In the C18O emission, the infall gas motions in the inter-arm regions and the outward gas motions in the arms are identified. These observed features are well reproduced with our numerical simulations, where gravitational torques from the binary system impart angular momenta to the spiral-arm regions and extract angular momenta from the inter-arm regions. Chemical differentiation of the circumbinary disk is seen in the four molecular species. Our Cycle 2 observations have also resolved the circumstellar disks around the individual protostars, and the beam-deconvolved sizes are 0.29" X 0.19" (= 40 X 26 AU) (P.A. = 144 deg) and 0.26" X 0.20" (= 36 X 27 AU) (P.A. = 147 deg) for Sources A and B, respectively. The position and inclination angles of these circumstellar disks are misaligned with that of the circumbinary disk. The C18O emission traces the Keplerian rotation of the misaligned disk around Source A.


title: On the Equivalence of Holographic and Complex Embeddings for Link Prediction

abstract: We show the equivalence of two state-of-the-art link prediction/knowledge graph completion methods: Nickel et al's holographic embedding and Trouillon et al.'s complex embedding. We first consider a spectral version of the holographic embedding, exploiting the frequency domain in the Fourier transform for efficient computation. The analysis of the resulting method reveals that it can be viewed as an instance of the complex embedding with certain constraints cast on the initial vectors upon training. Conversely, any complex embedding can be converted to an equivalent holographic embedding.


title: The Ciona17 Dataset for Semantic Segmentation of Invasive Species in a Marine Aquaculture Environment

abstract: An original dataset for semantic segmentation, Ciona17, is introduced, which to the best of the authors' knowledge, is the first dataset of its kind with pixel-level annotations pertaining to invasive species in a marine environment. Diverse outdoor illumination, a range of object shapes, colour, and severe occlusion provide a significant real world challenge for the computer vision community. An accompanying ground-truthing tool for superpixel labeling, Truth and Crop, is also introduced. Finally, we provide a baseline using a variant of Fully Convolutional Networks, and report results in terms of the standard mean intersection over union (mIoU) metric.


title: On the Hotspot Problem in Flash Sintering

abstract: A perturbation analysis has been conducted to evaluate the generation of hotspots inside an electrical loaded ceramic sample, which is assumed to have an Arrhenius-type conductivity. The results identified a critical size, above which a small temperature perturbations will be magnified and hotspots will be generated. It provides an estimate for the largest sample size suitable for flash sintering, beyond which hotspots are likely to form, resulting in inhomogeneous heating and sintering.


title: Ultralow 1/f Noise in a Heterostructure of Superconducting Epitaxial Cobalt-Disilicide Thin Film on Silicon

abstract: High-precision resistance noise measurements indicate that the epitaxial CoSi$_2$/Si hetero-structures at 150 K and 2 K (slightly above its superconducting transition temperature $T_c$ of 1.54 K) exhibit an unusually low 1/f noise level in the frequency range of 0.008-0.2 Hz. This corresponds to an upper limit of Hooge constant $\gamma \leq 3 \times 10^{-6}$, about 100 times lower than that of single-crystalline aluminum films on SiO$_2$ capped Si substrates. Supported by high-resolution cross-sectional transmission electron microscopy studies, our analysis reveals that the 1/f noise is dominated by excess interfacial Si atoms and their dimer reconstruction induced fluctuators. Unbonded orbitals (i.e., dangling bonds) on excess Si atoms are intrinsically rare at the epitaxial CoSi$_2$/Si(100) interface, giving limited trapping-detrapping centers for localized charges. With its excellent normal-state properties, CoSi$_2$ has been used in silicon-based integrated circuits for decades. The intrinsically low noise properties discovered in this work could be utilized for developing quiet qubits and scalable superconducting circuits for future quantum computing.


title: A $\frac{3}{2}$-Approximation Algorithm for Tree Augmentation via Chv\'atal-Gomory Cuts

abstract: The weighted tree augmentation problem (WTAP) is a fundamental network design problem. We are given an undirected tree $G = (V,E)$, an additional set of edges $L$ called links and a cost vector $c \in \mathbb{R}^L_{\geq 1}$. The goal is to choose a minimum cost subset $S \subseteq L$ such that $G = (V, E \cup S)$ is $2$-edge-connected. In the unweighted case, that is, when we have $c_\ell = 1$ for all $\ell \in L$, the problem is called the tree augmentation problem (TAP). Both problems are known to be APX-hard, and the best known approximation factors are $2$ for WTAP by (Frederickson and J\'aJ\'a, '81) and $\tfrac{3}{2}$ for TAP due to (Kortsarz and Nutov, TALG '16). In the case where all link costs are bounded by a constant $M$, (Adjiashvili, SODA '17) recently gave a $\approx 1.96418+\varepsilon$-approximation algorithm for WTAP under this assumption. This is the first approximation with a better guarantee than $2$ that does not require restrictions on the structure of the tree or the links. In this paper, we improve Adjiashvili's approximation to a $\frac{3}{2}+\varepsilon$-approximation for WTAP under the bounded cost assumption. We achieve this by introducing a strong LP that combines $\{0,\frac{1}{2}\}$-Chv\'atal-Gomory cuts for the standard LP for the problem with bundle constraints from Adjiashvili. We show that our LP can be solved efficiently and that it is exact for some instances that arise at the core of Adjiashvili's approach. This results in the improved guarantee of $\frac{3}{2}+\varepsilon$. For TAP, this is the best known LP-based result, and matches the bound of $\frac{3}{2}+\varepsilon$ achieved by the best SDP-based algorithm due to (Cheriyan and Gao, arXiv '15).


title: "SHORT"er Reasoning About Larger Requirements Models

abstract: When Requirements Engineering(RE) models are unreasonably complex, they cannot support efficient decision making. SHORT is a tool to simplify that reasoning by exploiting the "key" decisions within RE models. These "keys" have the property that once values are assigned to them, it is very fast to reason over the remaining decisions. Using these "keys", reasoning about RE models can be greatly SHORTened by focusing stakeholder discussion on just these key decisions. This paper evaluates the SHORT tool on eight complex RE models. We find that the number of keys are typically only 12% of all decisions. Since they are so few in number, keys can be used to reason faster about models. For example, using keys, we can optimize over those models (to achieve the most goals at least cost) two to three orders of magnitude faster than standard methods. Better yet, finding those keys is not difficult: SHORT runs in low order polynomial time and terminates in a few minutes for the largest models.


title: An Online Secretary Framework for Fog Network Formation with Minimal Latency

abstract: Fog computing is seen as a promising approach to perform distributed, low-latency computation for supporting Internet of Things applications. However, due to the unpredictable arrival of available neighboring fog nodes, the dynamic formation of a fog network can be challenging. In essence, a given fog node must smartly select the set of neighboring fog nodes that can provide low-latency computations. In this paper, this problem of fog network formation and task distribution is studied considering a hybrid cloud-fog architecture. The goal of the proposed framework is to minimize the maximum computational latency by enabling a given fog node to form a suitable fog network, under uncertainty on the arrival process of neighboring fog nodes. To solve this problem, a novel approach based on the online secretary framework is proposed. To find the desired set of neighboring fog nodes, an online algorithm is developed to enable a task initiating fog node to decide on which other nodes can be used as part of its fog network, to offload computational tasks, without knowing any prior information on the future arrivals of those other nodes. Simulation results show that the proposed online algorithm can successfully select an optimal set of neighboring fog nodes while achieving a latency that is as small as the one resulting from an ideal, offline scheme that has complete knowledge of the system. The results also show how, using the proposed approach, the computational tasks can be properly distributed between the fog network and a remote cloud server.


title: Multi-way sparsest cut problem on trees with a control on the number of parts and outliers

abstract: Given a graph, the sparsest cut problem asks for a subset of vertices whose edge expansion (the normalized cut given by the subset) is minimized. In this paper, we study a generalization of this problem seeking for $ k $ disjoint subsets of vertices (clusters) whose all edge expansions are small and furthermore, the number of vertices remained in the exterior of the subsets (outliers) is also small. We prove that although this problem is $ NP-$hard for trees, it can be solved in polynomial time for all weighted trees, provided that we restrict the search space to subsets which induce connected subgraphs. The proposed algorithm is based on dynamic programming and runs in the worst case in $ O(k^2 n^3) $, when $ n $ is the number of vertices and $ k $ is the number of clusters. It also runs in linear time when the number of clusters and the number of outliers is bounded by a constant.


title: Thresholding based Efficient Outlier Robust PCA

abstract: We consider the problem of outlier robust PCA (OR-PCA) where the goal is to recover principal directions despite the presence of outlier data points. That is, given a data matrix $M^*$, where $(1-\alpha)$ fraction of the points are noisy samples from a low-dimensional subspace while $\alpha$ fraction of the points can be arbitrary outliers, the goal is to recover the subspace accurately. Existing results for \OR-PCA have serious drawbacks: while some results are quite weak in the presence of noise, other results have runtime quadratic in dimension, rendering them impractical for large scale applications. In this work, we provide a novel thresholding based iterative algorithm with per-iteration complexity at most linear in the data size. Moreover, the fraction of outliers, $\alpha$, that our method can handle is tight up to constants while providing nearly optimal computational complexity for a general noise setting. For the special case where the inliers are obtained from a low-dimensional subspace with additive Gaussian noise, we show that a modification of our thresholding based method leads to significant improvement in recovery error (of the subspace) even in the presence of a large fraction of outliers.


title: How to Wick rotate generic curved spacetime

abstract: It is an article of folklore that the collection of ideas identified as Euclidean quantum gravity may be derived from ordinary Lorentzian signature gravity by the procedure of Wick rotation. This note will attempt to shed some light on this relatively ill-understood procedure. I argue that it proves inappropriate and unhelpful to regard Wick rotation in terms of a complex deformation of the time coordinate. Rather, Wick rotation can more usefully be viewed as a complex deformation of the spacetime metric. This simple reformulation of the Wick rotation procedure, while it leaves flat space physics unaffected, has profound implications for quantum gravity.


title: Collaborative Deep Reinforcement Learning for Joint Object Search

abstract: We examine the problem of joint top-down active search of multiple objects under interaction, e.g., person riding a bicycle, cups held by the table, etc.. Such objects under interaction often can provide contextual cues to each other to facilitate more efficient search. By treating each detector as an agent, we present the first collaborative multi-agent deep reinforcement learning algorithm to learn the optimal policy for joint active object localization, which effectively exploits such beneficial contextual information. We learn inter-agent communication through cross connections with gates between the Q-networks, which is facilitated by a novel multi-agent deep Q-learning algorithm with joint exploitation sampling. We verify our proposed method on multiple object detection benchmarks. Not only does our model help to improve the performance of state-of-the-art active localization models, it also reveals interesting co-detection patterns that are intuitively interpretable.


title: Sample complexity of population recovery

abstract: The problem of population recovery refers to estimating a distribution based on incomplete or corrupted samples. Consider a random poll of sample size $n$ conducted on a population of individuals, where each pollee is asked to answer $d$ binary questions. We consider one of the two polling impediments: (a) in lossy population recovery, a pollee may skip each question with probability $\epsilon$, (b) in noisy population recovery, a pollee may lie on each question with probability $\epsilon$. Given $n$ lossy or noisy samples, the goal is to estimate the probabilities of all $2^d$ binary vectors simultaneously within accuracy $\delta$ with high probability. This paper settles the sample complexity of population recovery. For lossy model, the optimal sample complexity is $\tilde\Theta(\delta^{-2\max\{\frac{\epsilon}{1-\epsilon},1\}})$, improving the state of the art by Moitra and Saks in several ways: a lower bound is established, the upper bound is improved and the result depends at most on the logarithm of the dimension. Surprisingly, the sample complexity undergoes a phase transition from parametric to nonparametric rate when $\epsilon$ exceeds $1/2$. For noisy population recovery, the sharp sample complexity turns out to be more sensitive to dimension and scales as $\exp(\Theta(d^{1/3} \log^{2/3}(1/\delta)))$ except for the trivial cases of $\epsilon=0,1/2$ or $1$. For both models, our estimators simply compute the empirical mean of a certain function, which is found by pre-solving a linear program (LP). Curiously, the dual LP can be understood as Le Cam's method for lower-bounding the minimax risk, thus establishing the statistical optimality of the proposed estimators. The value of the LP is determined by complex-analytic methods.


title: A Hitting Time Analysis of Stochastic Gradient Langevin Dynamics

abstract: We study the Stochastic Gradient Langevin Dynamics (SGLD) algorithm for non-convex optimization. The algorithm performs stochastic gradient descent, where in each step it injects appropriately scaled Gaussian noise to the update. We analyze the algorithm's hitting time to an arbitrary subset of the parameter space. Two results follow from our general theory: First, we prove that for empirical risk minimization, if the empirical risk is point-wise close to the (smooth) population risk, then the algorithm achieves an approximate local minimum of the population risk in polynomial time, escaping suboptimal local minima that only exist in the empirical risk. Second, we show that SGLD improves on one of the best known learnability results for learning linear classifiers under the zero-one loss.


title: Nonlinear growth of zonal flows by secondary instability in general magnetic geometry

abstract: We present a theory of the nonlinear growth of zonal flows in magnetized plasma turbulence, by the mechanism of secondary instability. The theory is derived for general magnetic geometry, and is thus applicable to both tokamaks and stellarators. The predicted growth rate is shown to compare favorably with nonlinear gyrokinetic simulations, with the error scaling as expected with the small parameter of the theory.


title: A Statistical Comparison of Objective Functions for the Vehicle Routing Problem with Route Balancing

abstract: The Vehicle Routing Problem with Route Balancing (VRPRB) is a biobjective version of the original Vehicle Routing Problem (VRP) in which, besides minimizing the total distance traveled by the vehicles involved, the balance among route loads is also pursued. Different objective functions (OFs) to achieve balanced route configurations have been proposed in the literature, however to the best of the authors knowledge there is still no consensus on which OF is the most suitable one for addressing, through metaheuristics, this challenging multiobjective optimization problem. This paper inquires into the effectiveness of seven different OFs for the VRPRB. Their influence on the performance of a basic single solution based evolutionary algorithm is analyzed by comparing the quality of the Pareto approximations produced for a set of well known benchmark instances. The obtained results indicate that studying alternative evaluation schemes for the VRPRB represents a highly valuable direction for future research which merits more attention.


title: Two Lower Bounds for BPA

abstract: Branching bisimilarity on normed Basic Process Algebra (BPA) was claimed to be EXPTIME-hard in previous papers without any explicit proof. Recently it is reminded by Jan\v{c}ar that the claim is not so dependable. In this paper, we develop a new complete proof for EXPTIME-hardness of branching bisimilarity on normed BPA. We also prove the associate regularity problem on normed BPA is PSPACE-hard and in EXPTIME. This improves previous P-hard and NEXPTIME result.


title: Weyl node assisted conductivity switch in interfacial phase change memory with van der Waals interfaces

abstract: The interfacial phase-change memory (iPCM) GeTe/Sb2Te3, promising candidates for the next generation non-volatile random-access memories, exhibits fascinating topological properties. Depending on the atomic-layer-stacking sequence of the GeTe block, the iPCM can be either in the SET (Ge-Te-Ge-Te) or RESET (Te-Ge-Ge-Te) states, where the former exhibits ferroelectric polarization and electrical conductivity two orders of magnitude larger than that of the RESET state. But, its origin remains elusive. Here, we predict the emergence of a Weyl semimetal phase in the SET state induced by the ferroelectric polarization which breaks the crystal inversion symmetry. We show that the giant conductivity enhancement of the SET phase is due to the appearance of gapless Weyl nodes. The Ge-Te- or Sb-Te-terminated surfaces of Weyl semimetal iPCM produce surface states with completely distinctive topology, where the former consists solely of Fermi arcs while the latter consists of both closed Fermi surface and open Fermi arcs. The iPCM with van der Waals interfaces offers an ideal platform for exploiting the exotic Weyl properties for future memory device applications.


title: Searching for modified gravity: a conformal sector?

abstract: We conjecture that any modification of general relativity can be studied by the minimal geometric deformation approach provided that such modification can be represented by a traceless energy-momentum tensor.


title: Revisiting Perceptron: Efficient and Label-Optimal Learning of Halfspaces

abstract: It has been a long-standing problem to efficiently learn a halfspace using as few labels as possible in the presence of noise. In this work, we propose an efficient Perceptron-based algorithm for actively learning homogeneous halfspaces under the uniform distribution over the unit sphere. Under the bounded noise condition~\cite{MN06}, where each label is flipped with probability at most $\eta < \frac 1 2$, our algorithm achieves a near-optimal label complexity of $\tilde{O}\left(\frac{d}{(1-2\eta)^2}\ln\frac{1}{\epsilon}\right)$ in time $\tilde{O}\left(\frac{d^2}{\epsilon(1-2\eta)^3}\right)$. Under the adversarial noise condition~\cite{ABL14, KLS09, KKMS08}, where at most a $\tilde \Omega(\epsilon)$ fraction of labels can be flipped, our algorithm achieves a near-optimal label complexity of $\tilde{O}\left(d\ln\frac{1}{\epsilon}\right)$ in time $\tilde{O}\left(\frac{d^2}{\epsilon}\right)$. Furthermore, we show that our active learning algorithm can be converted to an efficient passive learning algorithm that has near-optimal sample complexities with respect to $\epsilon$ and $d$.


title: Fractional Calculus Approach to Logistic Equation and its Application

abstract: In this paper, we propose a solution of fractional logistic equation by using properties of Mittag-Leffler function.


title: Soliton-like behavior in fast two-pulse collisions in weakly perturbed linear physical systems

abstract: We demonstrate that pulses of linear physical systems, weakly perturbed by nonlinear dissipation, exhibit soliton-like behavior in fast collisions. The behavior is demonstrated for linear waveguides with weak cubic loss and for systems described by linear diffusion-advection models with weak quadratic loss. We show that in both systems, the expressions for the collision-induced amplitude shifts due to the nonlinear loss have the same form as the expression for the amplitude shift in a fast collision between two optical solitons in the presence of weak cubic loss. Our analytic predictions are confirmed by numerical simulations with the corresponding coupled linear evolution models with weak nonlinear loss. These results open the way for studying dynamics of fast collisions between pulses of weakly perturbed linear physical systems in an arbitrary spatial dimension.


title: Convex Functions and Spacetime Geometry

abstract: Convexity and convex functions play an important role in theoretical physics. To initiate a study of the possible uses of convex functions in General Relativity, we discuss the consequences of a spacetime $(M,g_{\mu \nu})$ or an initial data set $(\Sigma, h_{ij}, K_{ij})$ admitting a suitably defined convex function. We show how the existence of a convex function on a spacetime places restrictions on the properties of the spacetime geometry.


title: The SkyMapper Transient Survey

abstract: The SkyMapper 1.3 m telescope at Siding Spring Observatory has now begun regular operations. Alongside the Southern Sky Survey, a comprehensive digital survey of the entire southern sky, SkyMapper will carry out a search for supernovae and other transients. The search strategy, covering a total footprint area of ~2000 deg2 with a cadence of $\leq 5$ days, is optimised for discovery and follow-up of low-redshift type Ia supernovae to constrain cosmic expansion and peculiar velocities. We describe the search operations and infrastructure, including a parallelised software pipeline to discover variable objects in difference imaging; simulations of the performance of the survey over its lifetime; public access to discovered transients; and some first results from the Science Verification data.


title: Crumpling for Energy: Modeling Generated Power from the Crumpling of Polymer Piezoelectric Foils for Wearable Electronics

abstract: We consider possibility of embedding large sheets of polymer piezoelectrics in clothing for sensing and energy harvesting for wearable electronic applications. Power is generated by the crumpling of clothes due to human body movements. From the mechanics of a gently crumpled foil we develop theoretical models and scaling laws for the open circuit voltage and short circuit current and verify via experiments. It is concluded that stretching is the dominant charge generation mechanism with the open circuit voltage and short circuit current scaling as $l^{i}$ and $l^{i-1}(\mbox{d}l/\mbox{d}t)$, respectively with $1\leq i\leq 4/3$ and $l$ the height of the crumple cone.


title: Improving hot-spot pressure for ignition in high-adiabat Inertial Confinement Fusion implosion

abstract: A novel capsule target design to improve the hot-spot pressure in the high-adiabat implosion for inertial confinement fusion is proposed, where a layer of comparatively high-density material is used as a pusher between the fuel and the ablator. This design is based on our theoretical finding of the stagnation scaling laws, which indicates that the hot spot pressure can be improved by increasing the kinetic energy density $\rho_d V_{imp}^2/2$ ($\rho_d$ is the shell density when the maximum shell velocity is reached, $V_{imp}$ is the implosion velocity.) of the shell. The proposed design uses the high density pusher to enhance the shell density $\rho_d$ so that the hot spot pressure is improved. Radio-hydrodynamic simulations show that the hot spot pressure of the design reaches the requirement for ignition even driven by a very high-adiabat short-duration two-shock pulse. The design is hopeful to simultaneously overcome the two major obstacles to achieving ignition--ablative instability and laser-plasma instability.


title: Inf-sup stable finite-element methods for the Landau--Lifshitz--Gilbert and harmonic map heat flow equation

abstract: In this paper we propose and analyze a finite element method for both the harmonic map heat and Landau--Lifshitz--Gilbert equation, the time variable remaining continuous. Our starting point is to set out a unified saddle point approach for both problems in order to impose the unit sphere constraint at the nodes since the only polynomial function satisfying the unit sphere constraint everywhere are constants. A proper inf-sup condition is proved for the Lagrange multiplier leading to the well-posedness of the unified formulation. \emph{A priori} energy estimates are shown for the proposed method. When time integrations are combined with the saddle point finite element approximation some extra elaborations are required in order to ensure both \emph{a priori} energy estimates for the director or magnetization vector depending on the model and an inf-sup condition for the Lagrange multiplier. This is due to the fact that the unit length at the nodes is not satisfied in general when a time integration is performed. We will carry out a linear Euler time-stepping method and a non-linear Crank--Nicolson method. The latter is solved by using the former as a non-linear solver.


title: A Circuit-Based Approach to Efficient Enumeration

abstract: We study the problem of enumerating the satisfying valuations of a circuit while bounding the delay, i.e., the time needed to compute each successive valuation. We focus on the class of structured d-DNNF circuits originally introduced in knowledge compilation, a sub-area of artificial intelligence. We propose an algorithm for these circuits that enumerates valuations with linear preprocessing and delay linear in the Hamming weight of each valuation. Moreover, valuations of constant Hamming weight can be enumerated with linear preprocessing and constant delay. Our results yield a framework for efficient enumeration that applies to all problems whose solutions can be compiled to structured d-DNNFs. In particular, we use it to recapture classical results in database theory, for factorized database representations and for MSO evaluation. This gives an independent proof of constant-delay enumeration for MSO formulae with first-order free variables on bounded-treewidth structures.


title: Soft-proton exchange on Magnesium-oxide-doped substrates a route toward efficient and power-resistant nonlinear converters

abstract: Despite its attractive features, Congruent-melted Lithium Niobate (CLN) suffers from Photo-Refractive Damage (PRD). This light-induced refractive-index change hampers the use of CLN when high-power densities are in play, a typical regime in integrated optics. The resistance to PRD can be largely improved by doping the lithium-niobate substrates with magnesium oxide. However, the fabrication of waveguides on MgO-doped substrates is not as effective as for CLN: either the resistance to PRD is strongly reduced by the waveguide fabrication process (as it happens in Ti-indiffused waveguides) or the nonlinear conversion efficiency is lowered (as it occurs in annealed-proton exchange). Here we fabricate, for the first time, waveguides starting from MgO-doped substrates using the Soft-Proton Exchange (SPE) technique and we show that this third way represents a promising alternative. We demonstrate that SPE allows to produce refractive-index profiles almost identical to those produced on CLN without reducing the nonlinearity in the substrate. We also prove that the SPE does not affect substantially the resistance to PRD. Since the fabrication recipe is identical between CLN and MgO-doped substrates, we believe that SPE might outperform standard techniques to fabricate robust and efficient waveguides for high-intensity-beam confinement.


title: Verifying Digital Systems with MATLAB

abstract: A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a recently introduced verification tool, known as Digital-System Verifier, and checks overflow, limit cycle, quantization, stability, and minimum phase errors, in digital systems represented by transfer-function and state-space equations. It provides a command-line version, with simplified access to specific functions, and a graphical-user interface, which was developed as a MATLAB application. The resulting toolbox is important for the verification community, since it shows the applicability of verification to real-world systems.


title: Dependency-Aware Software Release Planning through Mining User Preferences

abstract: Considering user preferences is a determining factor in optimizing the value of a software release. This is due to the fact that user preferences for software features specify the values of those features and consequently determine the value of the release. Certain features of a software however, may encourage or discourage users to prefer (select or use) other features. As such, value of a software feature could be positively or negatively influenced by other features. Such influences are known as Value-related Feature (Requirement) Dependencies. Value-related dependencies need to be considered in software release planning as they influence the value of the optimal subset of the features selected by the release planning models. Hence, we have proposed considering value-related feature dependencies in software release planning through mining user preferences for software features. We have demonstrated the validity and practicality of the proposed approach by studying a real world software project.


title: Uncovering the Edge of the Polar Vortex

abstract: The polar vortices play a crucial role in the formation of the ozone hole and can cause severe weather anomalies. Their boundaries, known as the vortex `edges', are typically identified via methods that are either frame-dependent or return non-material structures, and hence are unsuitable for assessing material transport barriers. Using two-dimensional velocity data on isentropic surfaces in the northern hemisphere, we show that elliptic Lagrangian Coherent Structures (LCSs) identify the correct outermost material surface dividing the coherent vortex core from the surrounding incoherent surf zone. Despite the purely kinematic construction of LCSs, we find a remarkable contrast in temperature and ozone concentration across the identified vortex boundary. We also show that potential vorticity-based methods, despite their simplicity, misidentify the correct extent of the vortex edge. Finally, exploiting the shrinkage of the vortex at various isentropic levels, we observe a trend in the magnitude of vertical motion inside the vortex which is consistent with previous results.


title: Riemannian stochastic variance reduced gradient algorithm with retraction and vector transport

abstract: In recent years, stochastic variance reduction algorithms have attracted considerable attention for minimizing the average of a large but finite number of loss functions. This paper proposes a novel Riemannian extension of the Euclidean stochastic variance reduced gradient (R-SVRG) algorithm to a manifold search space. The key challenges of averaging, adding, and subtracting multiple gradients are addressed with retraction and vector transport. For the proposed algorithm, we present a global convergence analysis with a decaying step size as well as a local convergence rate analysis with a fixed step size under some natural assumptions. In addition, the proposed algorithm is applied to the computation problem of the Riemannian centroid on the symmetric positive definite (SPD) manifold as well as the principal component analysis and low-rank matrix completion problems on the Grassmann manifold. The results show that the proposed algorithm outperforms the standard Riemannian stochastic gradient descent algorithm in each case.


title: Split extension classifiers in the category of cocommutative Hopf algebras

abstract: We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of cocommutative Hopf algebras is then explored. We show that the categorical notion of center coincides with the one that is considered in the theory of general Hopf algebras.


title: Brain Inspired Cognitive Model with Attention for Self-Driving Cars

abstract: Perception-driven approach and end-to-end system are two major vision-based frameworks for self-driving cars. However, it is difficult to introduce attention and historical information of autonomous driving process, which are the essential factors for achieving human-like driving into these two methods. In this paper, we propose a novel model for self-driving cars named brain-inspired cognitive model with attention (CMA). This model consists of three parts: a convolutional neural network for simulating human visual cortex, a cognitive map built to describe relationships between objects in complex traffic scene and a recurrent neural network that combines with the real-time updated cognitive map to implement attention mechanism and long-short term memory. The benefit of our model is that can accurately solve three tasks simultaneously:1) detection of the free space and boundaries of the current and adjacent lanes. 2)estimation of obstacle distance and vehicle attitude, and 3) learning of driving behavior and decision making from human driver. More significantly, the proposed model could accept external navigating instructions during an end-to-end driving process. For evaluation, we build a large-scale road-vehicle dataset which contains more than forty thousand labeled road images captured by three cameras on our self-driving car. Moreover, human driving activities and vehicle states are recorded in the meanwhile.


title: One-Pass Error Bounded Trajectory Simplification

abstract: Nowadays, various sensors are collecting, storing and transmitting tremendous trajectory data, and it is known that raw trajectory data seriously wastes the storage, network band and computing resource. Line simplification (LS) algorithms are an effective approach to attacking this issue by compressing data points in a trajectory to a set of continuous line segments, and are commonly used in practice. However, existing LS algorithms are not sufficient for the needs of sensors in mobile devices. In this study, we first develop a one-pass error bounded trajectory simplification algorithm (OPERB), which scans each data point in a trajectory once and only once. We then propose an aggressive one-pass error bounded trajectory simplification algorithm (OPERB-A), which allows interpolating new data points into a trajectory under certain conditions. Finally, we experimentally verify that our approaches (OPERB and OPERB-A) are both efficient and effective, using four real-life trajectory datasets.


title: Alpha decay calculations with a new formula

abstract: A new semi-empirical formula for calculations of $\alpha$~decay halflives is presented. It was derived from Royer relationship by introducing new parameters which are fixed by fit to a set of experimental data. We are using three sets: set A with 130 e-e (even-even), 119 e-o (even-odd), 109 o-e, and 96 o-o, set B with 188 e-e, 147 e-o, 131 o-e, and 114 o-o, and set C with 136 e-e, 84 e-o, 76 o-e, and 48 o-o alpha emitters. A comparison of results obtained with the new formula and the following well known relationships: semFIS (semiempirical based on fission theory), ASAF (analytical superAsymmetric fission) model, and UNIV (universal formula) is made in terms of rms standard deviation. We also introduced a weighted mean value of this quantity, allowing to compare the global properties of a given model. For the set B the order of the four models is the following: semFIS, UNIV, newF, and ASAF. Nevertheless for even-even alpha emitters UNIV gives the 2nd best result after semFIS, and for odd-even parents the 2nd is newF. Despite its simplicity in comparison with semFIS the new formula, presented in this article, behaves quite well, competing with the others well known relationships.


title: A representation theorem for stochastic processes with separable covariance functions, and its implications for emulation

abstract: Many applications require stochastic processes specified on two- or higher-dimensional domains; spatial or spatial-temporal modelling, for example. In these applications it is attractive, for conceptual simplicity and computational tractability, to propose a covariance function that is separable; e.g., the product of a covariance function in space and one in time. This paper presents a representation theorem for such a proposal, and shows that all processes with continuous separable covariance functions are second-order identical to the product of second-order uncorrelated processes. It discusses the implications of separable or nearly separable prior covariances for the statistical emulation of complicated functions such as computer codes, and critically reexamines the conventional wisdom concerning emulator structure, and size of design.


title: Light Deflection by a Rotating Global Monopole Spacetime

abstract: We investigate the deflection of light by a rotating global monopole spacetime and a rotating Letelier spacetime in the weak deflection approximation. To this end, we apply the Gauss-Bonnet theorem to the corresponding osculating optical geometries and show that the deflection of light increases due to the presence of the global monopole parameter and the string cloud parameter, respectively. The results obtained for the deflection angle in the equatorial plane generalize known results for the corresponding non-rotating global monopole and Letelier spacetimes as well as the Kerr solution.


title: Certain systems of three falling balls satisfy the Chernov-Sinai ansatz

abstract: The system of falling balls is an autonomous Hamiltonian system with a smooth invariant measure and non-zero Lyapunov exponents almost everywhere. Since almost three decades, the question of ergodicity is still open. The subject of this work is to contribute to the solution of the ergodicity conjecture for three falling balls with a specific mass ratio. The latter is executed in the following three points: First, we prove the Chernov-Sinai ansatz. Second, we prove that there is an abundance of least expanding points and, third, we explain that the proper alignment condition can still be verified and is actually pointwise equivalent to Chernov's transversality condition. It is of special interest, that for the aforementioned specific mass ratio, the configuration space can be unfolded to a billiard table, where the proper alignment condition holds.


title: Tunable Hyperbolic Dispersion and Negative Refraction in Natural Electride Materials

abstract: Hyperbolic (or indefinite) materials have attracted significant attention due to their unique capabilities for engineering electromagnetic space and controlling light propagation. A current challenge is to find a hyperbolic material with wide working frequency window, low energy loss, and easy controllability. Here, we propose that naturally existing electride materials could serve as high-performance hyperbolic medium. Taking the electride Ca$_2$N as a concrete example and using first-principles calculations, we show that the material is hyperbolic over a wide frequency window from short-wavelength to near infrared. More importantly, it is almost lossless in the window. We clarify the physical origin of these remarkable properties, and show its all-angle negative refraction effect. Moreover, we find that the optical properties can be effectively tuned by strain. With moderate strain, the material can even be switched between elliptic and hyperbolic for a particular frequency. Our result points out a new route toward high-performance natural hyperbolic materials, and it offers realistic materials and novel methods to achieve controllable hyperbolic dispersion with great potential for applications.


title: A hybrid Lagrangean metaheuristic for the two-machine cross-docking flow shop scheduling problem

abstract: Cross-docking is a logistics strategy that minimizes the storage and picking functions of conventional warehouses. The objective is to unload the cargo from inbound trucks and directly load it into outbound trucks, with little or no storage. The success of the strategy depends on an efficient transshipment operation. This work undertakes a study of truck scheduling in a cross-docking center. The problem is modeled as a two-machine flow shop scheduling problem with precedence constraints, with the objective of minimizing the makespan. The proposed method is based on a Lagrangean relaxation solved by a Volume algorithm over a time-indexed formulation. We use polynomial time heuristics for generating efficient upper and lower bounds in a computationally efficient time, outperforming current results in the literature for small and large size instances.


title: Feedback controlled heat transport in quantum devices: Theory and solid state experimental proposal

abstract: A theory of feedback controlled heat transport in quantum systems is presented. It is based on modelling heat engines as driven multipartite systems subject to projective quantum measurements and measurement-conditioned unitary evolutions. The theory unifies various results presented in the previous literature. Feedback control breaks time reversal invariance. This in turn results in the fluctuation relation not being obeyed. Its restoration occurs by an appropriate accounting of the information gain and information use via measurements and feedback. We further illustrate an experimental proposal for the realisation of a Maxwell demon using superconducting circuits and single photon on-chip calorimetry. A two level qubit acts as a trapdoor which, conditioned on its state is coupled to either a hot resistor or a cold one. The feedback mechanism alters the temperatures felt by the qubit and can result in an effective inversion of temperature gradient, where heat flows from cold to hot thanks to information gain and use


title: Rings over which every matrix is the sum of a tripotent and a nilpotent

abstract: A ring $R$ is trinil clean if every element in $R$ is the sum of a tripotent and a nilpotent. If $R$ is a 2-primal strongly 2-nil-clean ring, we prove that $M_n(R)$ is trinil clean for all $n\in {\Bbb N}$. Furthermore, we show that the matrix ring over a strongly 2-nil-clean ring of bounded index is trinil clean. We thereby provide various type of rings over which every matrix is the sum of a tripotent and a nilpotent.


title: On the global and local magnetic fields in flare stars. Study of YZ CMi and OT Ser

abstract: Global magnetic fields of flare stars can evolve rapidly, in time scale of hundreds or dozens of days. We believe, that such changes result from rapid superposition of local magnetic fields generated by differential rotation of those stars. We discuss possible mechanisms of generation and dissipation of local and global magnetic fields in sample flare stars OT Ser and YZ CMi. We propose mechanism of magnetic braking of these stars, in which differential rotation generates local magnetic fields, and eventually energy accumulated in local fields is radiated away by flares. We obtained estimates of the rotational energy and the energy of the global magnetic field of OT Ser and YZ CMi. We also show that the energy of the local magnetic fields dissipated during superflare of YZ CMi on 9 February 2008 (UT 20:22:00) did not influence the global magnetic field of this star.


title: End-to-End Differentially-Private Parameter Tuning in Spatial Histograms

abstract: Differentially-private histograms have emerged as a key tool for location privacy. While past mechanisms have included theoretical & experimental analysis, it has recently been observed that much of the existing literature does not fully provide differential privacy. The missing component, private parameter tuning, is necessary for rigorous evaluation of these mechanisms. Instead works frequently tune on training data to optimise parameters without consideration of privacy; in other cases selection is performed arbitrarily and independent of data, degrading utility. We address this open problem by deriving a principled tuning mechanism that privately optimises data-dependent error bounds. Theoretical results establish privacy and utility while extensive experimentation demonstrates that we can practically achieve true end-to-end privacy.


title: Manifold calculus adapted for simplicial complexes

abstract: We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely, under certain conditions such a functor can be approximated by a tower of (appropriately adapted) polynomial functors.


title: Bounds for phylogenetic network space metrics

abstract: Phylogenetic networks are a generalization of phylogenetic trees that allow for representation of reticulate evolution. Recently, a space of unrooted phylogenetic networks was introduced, where such a network is a connected graph in which every vertex has degree 1 or 3 and whose leaf-set is a fixed set $X$ of taxa. This space, denoted $\mathcal{N}(X)$, is defined in terms of two operations on networks -- the nearest neighbor interchange and triangle operations -- which can be used to transform any network with leaf set $X$ into any other network with that leaf set. In particular, it gives rise to a metric $d$ on $\mathcal N(X)$ which is given by the smallest number of operations required to transform one network in $\mathcal N(X)$ into another in $\mathcal N(X)$. The metric generalizes the well-known NNI-metric on phylogenetic trees which has been intensively studied in the literature. In this paper, we derive a bound for the metric $d$ as well as a related metric $d_{N\!N\!I}$ which arises when restricting $d$ to the subset of $\mathcal{N}(X)$ consisting of all networks with $2(|X|-1+i)$ vertices, $i \ge 1$. We also introduce two new metrics on networks -- the SPR and TBR metrics -- which generalize the metrics on phylogenetic trees with the same name and give bounds for these new metrics. We expect our results to eventually have applications to the development and understanding of network search algorithms.


title: Bagchi's Theorem for families of automorphic forms

abstract: We prove a version of Bagchi's Theorem and of Voronin's Universality Theorem for family of primitive cusp forms of weight $2$ and prime level, and discuss under which conditions the argument will apply to general reasonable family of automorphic $L$-functions.


title: Stability of Fredholm property for regular operators on Hilbert $C^*$-modules

abstract: We study the stability of Fredholm property for regular operators on Hilbert $C^*$-modules under some certain perturbations. We treat this problem when perturbing operators are (relatively) bounded or relatively compact. We also consider the perturbations of regular Fredholm operators in terms of the gap metric. In particular, we prove that the space of all regular Fredholm operators on a Hilbert $C^*$-module $E$ is open in the space of all regular operators on $E$ with respect to the gap metric. As an application, we construct some continuous paths of selfadjoint regular Fredholm operators with respect to the gap metric.


title: Non Fermi liquid behavior and continuously tunable resistivity exponents in the Anderson-Hubbard model at finite temperature

abstract: We employ a recently developed computational many-body technique to study for the first time the half-filled Anderson-Hubbard model at finite temperature and arbitrary correlation ($U$) and disorder ($V$) strengths. Interestingly, the narrow zero temperature metallic range induced by disorder from the Mott insulator expands with increasing temperature in a manner resembling a quantum critical point. Our study of the resistivity temperature scaling $T^{\alpha}$ for this metal reveals non Fermi liquid characteristics. Moreover, a continuous dependence of $\alpha$ on $U$ and $V$ from linear to nearly quadratic was observed. We argue that these exotic results arise from a systematic change with $U$ and $V$ of the "effective" disorder, a combination of quenched disorder and intrinsic localized spins.


title: X-ray diagnostics of massive star winds

abstract: Observations with powerful X-ray telescopes, such as XMM-Newton and Chandra, significantly advance our understanding of massive stars. Nearly all early-type stars are X-ray sources. Studies of their X-ray emission provide important diagnostics of stellar winds. High-resolution X-ray spectra of O-type stars are well explained when stellar wind clumping is taking into account, providing further support to a modern picture of stellar winds as non-stationary, inhomogeneous outflows. X-ray variability is detected from such winds, on time scales likely associated with stellar rotation. High-resolution X-ray spectroscopy indicates that the winds of late O-type stars are predominantly in a hot phase. Consequently, X-rays provide the best observational window to study these winds. X-ray spectroscopy of evolved, Wolf-Rayet type, stars allows to probe their powerful metal enhanced winds, while the mechanisms responsible for the X-ray emission of these stars are not yet understood.


title: A Novel Method of Discrete-Time Amplification using NEMS Devices

abstract: In this paper we propose a novel method of realizing discrete-time (D-T) signal amplification using Nano-Electro-Mechanical (NEMS) devices. The amplifier uses mechanical devices instead of traditional solid-state circuits. The proposed NEMS-based D-T amplifier provides high gain and operate on a wide dynamic range of signals, consuming only a few micro watts of power. The proposed concept is subsequently verified using Verilog-A model of the NEMS device. Modifications in the proposed amplifier to suit different specifications are also presented.


title: Wigner functions for angle and orbital angular momentum: Operators and dynamics

abstract: Recently a paper on the construction of consistent Wigner functions for cylindrical phase spaces S^1 x R, i.e. for the canonical pair angle and angular momentum, was presented (arXiv:1601.02520), main properties of those functions derived, discussed and their usefulness illustrated by examples. The present paper is a continuation which compares properties of the new Wigner functions for cylindrical phase spaces with those of the well-known Wigner functions on planar ones in more detail. Furthermore, the mutual (Weyl) correspondence between Hilbert space operators and their phase space functions is discussed. The star product formalism is shown to be completely implementable. In addition basic dynamical laws for the new Wigner and Moyal functions are derived as generalized quantum Liouville and energy equations. They are very similar to those of the planar case, but also show characteristic differences.

categories: quant-ph math-ph math.MP physics.atom-ph


title: On the Unambiguous Distance of Multi-Carrier Phase Ranging with Random Hopped Frequencie

abstract: In a multi-carrier phase ranging (MPR) system, the distance that radio signal travels is estimated through phase shift of multiple carrier frequencies. Due to phase ambiguity, a unique estimation can only be obtained within the unambiguous distance (UD), which depends on the carrier frequencies used for ranging. Without external information, the maximum measurable distance of an MPR system is defined by its UD. The MPR system employing random frequency hopping (FH) waveform has a strong anti-jamming capability and sees promising potentials in many fields. However, it is challenging to depict its measurable distance. Different from current MPR system employing deterministic frequencies, the carrier frequency under the FH waveform hops randomly within the occupied bandwidth. Consequently, the UD is a random variable. In this paper, we try to find a deterministic value to depict the UD of an MPR system under the random spaced frequencies (RSF) configuration, serving as a metric of its measurable distance in engineering applications. It is safe to adopt the lower bound of the random UD as the metric, but the measurable distance may be drastically underestimated. Alternatively, we propose to adopt the upper bound of the random UD as the metric, because when the RSF set contains more than a dozen of carriers, i) we prove the probability that the random UD obtains its upper bound is very close to 1 if phase noise is not introduced; ii) simulations show that the upper bound can also be obtained reliably in the presence of phase noise. As a comparison, the practical measurable range of the MPR system under the traditional linearly spaced frequencies (LSF) configuration is only a fraction of its theoretical UD because the UD is more sensitive to phase error.


title: Growth of higher Sobolev norms for energy critical NLS on irrational tori: small energy case

abstract: We consider the energy critical nonlinear Schrodinger equation on generic irrational tori. Using the long-time Strichartz estimates proved in [8], we establish polynomial upper bounds for higher Sobolev norms for solutions with small energy.


title: Strichartz estimates for the Schrodinger equation on irrational tori

abstract: We prove Strichartz estimates over large time scales for the Schrodinger equation set on irrational tori. They are optimal for Lebesgue exponents $p > 6$.


title: 3D Face Reconstruction with Geometry Details from a Single Image

abstract: 3D face reconstruction from a single image is a classical and challenging problem, with wide applications in many areas. Inspired by recent works in face animation from RGB-D or monocular video inputs, we develop a novel method for reconstructing 3D faces from unconstrained 2D images, using a coarse-to-fine optimization strategy. First, a smooth coarse 3D face is generated from an example-based bilinear face model, by aligning the projection of 3D face landmarks with 2D landmarks detected from the input image. Afterwards, using local corrective deformation fields, the coarse 3D face is refined using photometric consistency constraints, resulting in a medium face shape. Finally, a shape-from-shading method is applied on the medium face to recover fine geometric details. Our method outperforms state-of-the-art approaches in terms of accuracy and detail recovery, which is demonstrated in extensive experiments using real world models and publicly available datasets.


title: Pupil size behavior during on line processing of sentences

abstract: In the present work we analyzed the pupil size behavior of forty subjects while they read well defined sentences with different contextual predictability (i.e., regular sentences and proverbs). In general, pupil size increased when reading regular sentences, but when readers realized that they were reading proverbs their pupils strongly increase until finishing proverbs' reading. Our results suggest that an increased pupil size is not limited to cognitive load (i.e., relative difficulty in processing) because when participants accurately recognized words during reading proverbs, theirs pupil size increased too. Our results show that pupil size dynamics may be a reliable measure to investigate the cognitive processes involved in sentence processing and memory functioning.


title: UCAC5: New Proper Motions using Gaia DR1

abstract: New astrometric reductions of the US Naval Observatory CCD Astrograph Catalog (UCAC) all-sky observations were performed from first principles using the TGAS stars in the 8 to 11 magnitude range as reference star catalog. Significant improvements in the astrometric solutions were obtained and the UCAC5 catalog of mean positions at a mean epoch near 2001 was generated. By combining UCAC5 with Gaia DR1 data new proper motions on the Gaia coordinate system for over 107 million stars were obtained with typical accuracies of 1 to 2 mas/yr (R = 11 to 15 mag), and about 5 mas/yr at 16th mag. Proper motions of most TGAS stars are improved over their Gaia data and the precision level of TGAS proper motions is extended to many millions more, fainter stars. External comparisons were made using stellar cluster fields and extragalactic sources. The TGAS data allow us to derive the limiting precision of the UCAC x,y data, which is significantly better than 1/100 pixel.


title: Power Allocation for Secure SWIPT Systems with Wireless-Powered Cooperative Jamming

abstract: This paper considers wireless-powered cooperative jamming (CJ) to secure communication between a transmitter (Tx) and an information receiver (IR), in the presence of an energy receiver (ER) which is termed as a potential eavesdropper. The full-duplex jammer harvests energy from the Tx's information signal and transmits jamming signal at the same time, where the jamming signal not only confounds the ER (potential eavesdropper) but also charges the ER. Our goal is to maximize the secrecy information rate by jointly optimizing the power allocation at the Tx and jammer while maintaining the harvested energy requirement of the ER. The studied problem is non-convex and we propose the optimal solution based on the Lagrange method. Simulation results show that the proposed scheme significantly outperforms the benchmark schemes.


title: Elliptic regularization of the isometric immersion problem

abstract: We introduce an elliptic regularization of the PDE system representing the isometric immersion of a surface in $\mathbb R^{3}$. The regularization is geometric, and has a natural variational interpretation.


title: Reproducing and learning new algebraic operations on word embeddings using genetic programming

abstract: Word-vector representations associate a high dimensional real-vector to every word from a corpus. Recently, neural-network based methods have been proposed for learning this representation from large corpora. This type of word-to-vector embedding is able to keep, in the learned vector space, some of the syntactic and semantic relationships present in the original word corpus. This, in turn, serves to address different types of language classification tasks by doing algebraic operations defined on the vectors. The general practice is to assume that the semantic relationships between the words can be inferred by the application of a-priori specified algebraic operations. Our general goal in this paper is to show that it is possible to learn methods for word composition in semantic spaces. Instead of expressing the compositional method as an algebraic operation, we will encode it as a program, which can be linear, nonlinear, or involve more intricate expressions. More remarkably, this program will be evolved from a set of initial random programs by means of genetic programming (GP). We show that our method is able to reproduce the same behavior as human-designed algebraic operators. Using a word analogy task as benchmark, we also show that GP-generated programs are able to obtain accuracy values above those produced by the commonly used human-designed rule for algebraic manipulation of word vectors. Finally, we show the robustness of our approach by executing the evolved programs on the word2vec GoogleNews vectors, learned over 3 billion running words, and assessing their accuracy in the same word analogy task.


title: Gross-Pitaevskii Dynamics for Bose-Einstein Condensates

abstract: We study the time-evolution of initially trapped Bose-Einstein condensates in the Gross-Pitaevskii regime. Under a physically motivated assumption on the energy of the initial data, we show that condensation is preserved by the many-body evolution and that the dynamics of the condensate wave function can be described by the time-dependent Gross-Pitaevskii equation. With respect to previous works, we provide optimal bounds on the rate of condensation (i.e. on the number of excitations of the Bose-Einstein condensate). To reach this goal, we combine the method of \cite{LNS}, where fluctuations around the Hartree dynamics for $N$-particle initial data in the mean-field regime have been analyzed, with ideas from \cite{BDS}, where the evolution of Fock-space initial data in the Gross-Pitaevskii regime has been considered.


title: Embeddings of Schatten Norms with Applications to Data Streams

abstract: Given an $n \times d$ matrix $A$, its Schatten-$p$ norm, $p \geq 1$, is defined as $\|A\|_p = \left (\sum_{i=1}^{\textrm{rank}(A)}\sigma_i(A)^p \right )^{1/p}$, where $\sigma_i(A)$ is the $i$-th largest singular value of $A$. These norms have been studied in functional analysis in the context of non-commutative $\ell_p$-spaces, and recently in data stream and linear sketching models of computation. Basic questions on the relations between these norms, such as their embeddability, are still open. Specifically, given a set of matrices $A^1, \ldots, A^{\operatorname{poly}(nd)} \in \mathbb{R}^{n \times d}$, suppose we want to construct a linear map $L$ such that $L(A^i) \in \mathbb{R}^{n' \times d'}$ for each $i$, where $n' \leq n$ and $d' \leq d$, and further, $\|A^i\|_p \leq \|L(A^i)\|_q \leq D_{p,q} \|A^i\|_p$ for a given approximation factor $D_{p,q}$ and real number $q \geq 1$. Then how large do $n'$ and $d'$ need to be as a function of $D_{p,q}$? We nearly resolve this question for every $p, q \geq 1$, for the case where $L(A^i)$ can be expressed as $R \cdot A^i \cdot S$, where $R$ and $S$ are arbitrary matrices that are allowed to depend on $A^1, \ldots, A^t$, that is, $L(A^i)$ can be implemented by left and right matrix multiplication. Namely, for every $p, q \geq 1$, we provide nearly matching upper and lower bounds on the size of $n'$ and $d'$ as a function of $D_{p,q}$. Importantly, our upper bounds are {\it oblivious}, meaning that $R$ and $S$ do not depend on the $A^i$, while our lower bounds hold even if $R$ and $S$ depend on the $A^i$. As an application of our upper bounds, we answer a recent open question of Blasiok et al. about space-approximation trade-offs for the Schatten $1$-norm, showing in a data stream it is possible to estimate the Schatten-$1$ norm up to a factor of $D \geq 1$ using $\tilde{O}(\min(n,d)^2/D^4)$ space.