title: Apples to Oranges: Causal Effects of Answer Changing in Multiple-Choice Exams

abstract: Whether examinees' answer changing behavior while taking multiple-choice exams is beneficial or harmful is a long-standing puzzle in the educational and psychological measurement literature. Formalizing the problem using the potential outcomes framework, this article shows that the traditional method of comparing the proportions of "wrong to right" and "right to wrong" answer changing patterns--a method that has recently been criticized by van der Linden, Jeon, and Ferrara (2011)--indeed correctly identify the sign of the average answer changing effect, but only for those examinees who actually changed their initial responses. This subgroup effect is referred to as the average treatment effect on the treated (ATT) and generally differs from the average treatment effect on the untreated (ATU), that is, those who did not change their initial responses. Analyzing two real data sets, including van der Linden et al.'s (2011) controversial data, this article finds that the ATT of answer changing is positive while the ATU of answer changing is negative, therefore, the debate on answer changing effects can be easily resolved. The article also shows that answer changing and answer reviewing are two distinct treatments and knowing answer changing effects is not informative for predicting answer reviewing effects.


title: Isoperimetric Bounds for Eigenvalues of the Wentzell-Laplace, the Laplacian and a biharmonic Steklov Problem

abstract: In this paper, we prove some isoperimetric bounds for lower order eigenvalues of the Wentzell-Laplace operator on bounded domains of a Euclidean space or a Hadamard manifold, of the Laplacian on closed hypersurfaces of a Euclidean space or a Hadamard manifold, and of a biharmonic Steklov problem on bounded domains of a Euclidean space. Especially, interesting rigidity results can be obtained if sharp bounds were achieved.


title: Wide dynamic range magnetic field cycler: Harnessing quantum control at low and high fields

abstract: We describe the construction of a fast field cycling device capable of sweeping a 4-order-of-magnitude range of magnetic fields, from ~1mT to 7T, in under 700ms. Central to this system is a high-speed sample shuttling mechanism between a superconducting magnet and a magnetic shield, with the capability to access arbitrary fields in between with high resolution. Our instrument serves as a versatile platform to harness the inherent dichotomy of spin dynamics on offer at low and high fields - in particular, the low anisotropy, fast spin manipulation, and rapid entanglement growth at low field as well as the long spin lifetimes, spin specific control, and efficient inductive measurement possible at high fields. Exploiting these complementary capabilities in a single device open up applications in a host of problems in quantum control, sensing, and information storage, besides in nuclear hypepolarization, relaxometry and imaging. In particular, in this paper, we focus on the ability of the device to enable low-field hyperpolarization of 13C nuclei in diamond via optically pumped electronic spins associated with Nitrogen Vacancy (NV) defect centers.


title: GPU-Accelerated Particle Methods for Evaluation of Sparse Observations for PDE-Constrained Inverse Problems

abstract: We consider the inverse problem of estimating parameters of a driven diffusion (e.g., the underlying fluid flow, diffusion coefficient, or source terms) from point measurements of a passive scalar (e.g., the concentration of a pollutant). We present two particle methods that leverage the structure of the inverse problem to enable efficient computation of the forward map, one for time evolution problems and one for a Dirichlet boundary-value problem. The methods scale in a natural fashion to modern computational architectures, enabling substantial speedup for applications involving sparse observations and high-dimensional unknowns. Numerical examples of applications to Bayesian inference and numerical optimization are provided.


title: Thomsen-Li's Theorem Revisited

abstract: In this paper, we prove a general version of Thomsen-Li's Theorem--a Krein-Milman type theorem for C*-algebras. To be precise, for a Markov operator on $C[0,1]$ which preserves certain subspace of $C[0,1]$, we approximate it by an average of homomorphisms on $C[0,1]$ in the strong operator topology, additionally we require that this average also preserves the same subspace. Such results could be useful for constructing homomorphisms for subhomogeneous C*-algebras.


title: Effect of Polarization Field on the Photocurrent Characteristics of GaN/AlN Multi-Quantum-Well Avalanche Photodiode

abstract: Polarization is an important property of GaN/AlN multi-quantum-well (MQW) avalanche diode (MAPD) but has been ignored in recent analyses of MAPD to simplify the Monte Carlo simulation. Here, the photocurrent characteristics of GaN/AlN MAPD are investigated to understand the role of polarization field in the MQW structure. Carrier multiplication in AlN/GaN MAPD is found as a result of interfacial impact ionization not much helped from external field but instead considerably contributed by the polarization field. In addition, the movement of ionized electrons out of quantum well is proved as Fowler-Nordheim tunneling process helped by the polarization field in AlN barrier. Furthermore, the transport of ionized electrons through MQW structure is found influenced by the reverse polarization field in GaN layer, which could be suppressed by the external electric field. With all the three effects, the quick photocurrent increase of GaN/AlN MAPD is ascribed to the efficient transport of interfacial-ionized electrons step by step out of MQW at high voltages, which is in big difference from conventional APD due to avalanche breakdown.


title: AISHELL-2: Transforming Mandarin ASR Research Into Industrial Scale

abstract: AISHELL-1 is by far the largest open-source speech corpus available for Mandarin speech recognition research. It was released with a baseline system containing solid training and testing pipelines for Mandarin ASR. In AISHELL-2, 1000 hours of clean read-speech data from iOS is published, which is free for academic usage. On top of AISHELL-2 corpus, an improved recipe is developed and released, containing key components for industrial applications, such as Chinese word segmentation, flexible vocabulary expension and phone set transformation etc. Pipelines support various state-of-the-art techniques, such as time-delayed neural networks and Lattic-Free MMI objective funciton. In addition, we also release dev and test data from other channels(Android and Mic). For research community, we hope that AISHELL-2 corpus can be a solid resource for topics like transfer learning and robust ASR. For industry, we hope AISHELL-2 recipe can be a helpful reference for building meaningful industrial systems and products.


title: Learning to Describe Differences Between Pairs of Similar Images

abstract: In this paper, we introduce the task of automatically generating text to describe the differences between two similar images. We collect a new dataset by crowd-sourcing difference descriptions for pairs of image frames extracted from video-surveillance footage. Annotators were asked to succinctly describe all the differences in a short paragraph. As a result, our novel dataset provides an opportunity to explore models that align language and vision, and capture visual salience. The dataset may also be a useful benchmark for coherent multi-sentence generation. We perform a firstpass visual analysis that exposes clusters of differing pixels as a proxy for object-level differences. We propose a model that captures visual salience by using a latent variable to align clusters of differing pixels with output sentences. We find that, for both single-sentence generation and as well as multi-sentence generation, the proposed model outperforms the models that use attention alone.


title: On the Minimal Supervision for Training Any Binary Classifier from Only Unlabeled Data

abstract: Empirical risk minimization (ERM), with proper loss function and regularization, is the common practice of supervised classification. In this paper, we study training arbitrary (from linear to deep) binary classifier from only unlabeled (U) data by ERM. We prove that it is impossible to estimate the risk of an arbitrary binary classifier in an unbiased manner given a single set of U data, but it becomes possible given two sets of U data with different class priors. These two facts answer a fundamental question---what the minimal supervision is for training any binary classifier from only U data. Following these findings, we propose an ERM-based learning method from two sets of U data, and then prove it is consistent. Experiments demonstrate the proposed method could train deep models and outperform state-of-the-art methods for learning from two sets of U data.


title: Semi-Classical Analysis and Design of Quantum dot Based Electrically Pumped plasmonic nanolaser

abstract: Recently there is an increasing attention to electrically pumped room temperature sub-wavelength plasmon sources because of their various potential applications mainly in the integrated plasmonic field. In this paper, a GaAs/AlGaAs quantum dot based waveguide integrated plasmonic nanolaser is introduced and theoretically investigated. Using a semi-classical rate equation model, performance of our nanolaser is studied and its characteristics are presented in details. The proposed nanolaser has a tiny footprint of 0.25 um2, room temperature operating condition and CMOS friendly process while having remarkable output performance. The new structure generates 1uW output power with 3.5mA injection current ( the threshold pump current is calculated to be about 2.5uA ) in 850 nm and has wide modulation frequency of 10 THz in threshold pumping rate, large Purcell factor about 3460 and high output coupling ratio to the host plasmonic waveguide.


title: Geometric algebra and singularities of ruled and developable surfaces

abstract: Any ruled surface in Euclidean 3-space is described as a curve of unit dual vectors in the algebra of dual quaternions (=the even Clifford algebra of type (0,3,1)). Combining this classical framework and Singularity Theory, we characterize local diffeomorphic types of singular ruled surfaces in terms of geometric invariants. In particular, using a theorem of G. Ishikawa, we show that local topological type of singular (non-cylindrical) developable surfaces is completely determined by vanishing order of the dual torsion, that generalizes an old result of D. Mond for tangent developables of non-singular space curves. Our approach would be useful for analysis on singularities arising in differential line geometry related with several applications such as robotics, vision theory and architectural geometry.


title: Kirigami Metamaterials for Reconfigurable Toroidal Circular Dichroism

abstract: The ancient paper craft of kirigami has recently emerged as a potential tool for the design of functional materials. Inspired by the kirigami concept, we propose a class of kirigami-based metamaterials whose electromagnetic functionalities can be switched between nonchiral and chiral states by stretching the predesigned split-ring resonator array. Single-band, dual-band and broadband circular polarizers with reconfigurable performance are experimentally demonstrated with maximum circular dichroisms of 0.88, 0.94 and 0.92, respectively. The underlying mechanism is explained and calculated via detailed analysis of the excited multipoles, including the electric, magnetic, and toroidal dipoles and quadrupole. Our approach enables tailoring the electromagnetic functionalities in kirigami patterns and provides an alternate avenue for reconfigurable optical metadevices with exceptional mechanical properties.


title: Real and quaternionic second-order free cumulants and connections to matrix cumulants

abstract: We present definitions for real and quaternionic second-order free cumulants, functions whose collective vanshing when applied to elements from different subalgebras is equivalent to the second-order real (resp.\ quaternionic) freeness of those subalgebras. We construct a poset related to the annular noncrossing partitions, and calculate the M\"{o}bius function, which may be used to compute the coefficients in the expression for the second-order free cumulants. We show the connection between second-order free cumulants and the topological expansion interpretation of matrix cumulants. This provides a construction for higher-order free cumulants. Coefficients are given in terms of the asymptotics of the cumulants of the Weingarten function.


title: Value of Information in Bayesian Routing Games

abstract: We study a routing game in an environment with multiple heterogeneous information systems and an uncertain state that affects edge costs of a congested network. Each information system sends a noisy signal about the state to its subscribed traveler population. Travelers make route choices based on their private beliefs about the state and other populations' signals. The question then arises, "How does the presence of asymmetric and incomplete information affect the travelers' equilibrium route choices and costs?'' We develop a systematic approach to characterize the equilibrium structure, and determine the effect of population sizes on the relative value of information (i.e. difference in expected traveler costs) between any two populations. This effect can be evaluated using a population-specific size threshold. One population enjoys a strictly positive value of information in comparison to the other if and only if its size is below the corresponding threshold. We also consider the situation when travelers may choose an information system based on its value, and characterize the set of equilibrium adoption rates delineating the sizes of subscribed traveler populations. The resulting routing strategies are such that all travelers face an identical expected cost and no traveler has the incentive to change her subscription.


title: A global model for predicting the arrival of imported dengue infections

abstract: With approximately half of the world's population at risk of contracting dengue, this mosquito-borne disease is of global concern. International travellers significantly contribute to dengue's rapid and large-scale spread by importing the disease from endemic into non-endemic countries. To prevent future outbreaks and dengue from establishing in non-endemic countries, knowledge about the arrival time and location of infected travellers is crucial. We propose a network model that predicts the monthly number of dengue-infected air passengers arriving at any given airport. We consider international air travel volumes to construct weighted networks, representing passenger flows between airports. We further calculate the probability of passengers, who travel through the international air transport network, being infected with dengue. The probability of being infected depends on the destination, duration and timing of travel. Our findings shed light onto dengue importation routes and reveal country-specific reporting rates that have been until now largely unknown. This paper provides important new knowledge about the spreading dynamics of dengue that is highly beneficial for public health authorities to strategically allocate the often limited resources to more efficiently prevent the spread of dengue.


title: Ensemble Sequence Level Training for Multimodal MT: OSU-Baidu WMT18 Multimodal Machine Translation System Report

abstract: This paper describes multimodal machine translation systems developed jointly by Oregon State University and Baidu Research for WMT 2018 Shared Task on multimodal translation. In this paper, we introduce a simple approach to incorporate image information by feeding image features to the decoder side. We also explore different sequence level training methods including scheduled sampling and reinforcement learning which lead to substantial improvements. Our systems ensemble several models using different architectures and training methods and achieve the best performance for three subtasks: En-De and En-Cs in task 1 and (En+De+Fr)-Cs task 1B.


title: Asymptotic Seed Bias in Respondent-driven Sampling

abstract: Respondent-driven sampling (RDS) collects a sample of individuals in a networked population by incentivizing the sampled individuals to refer their contacts into the sample. This iterative process is initialized from some seed node(s). Sometimes, this selection creates a large amount of seed bias. Other times, the seed bias is small. This paper gains a deeper understanding of this bias by characterizing its effect on the limiting distribution of various RDS estimators. Using classical tools and results from multi-type branching processes (Kesten and Stigum, 1966), we show that the seed bias is negligible for the Generalized Least Squares (GLS) estimator and non-negligible for both the inverse probability weighted and Volz-Heckathorn (VH) estimators. In particular, we show that (i) above a critical threshold, VH converge to a non-trivial mixture distribution, where the mixture component depends on the seed node, and the mixture distribution is possibly multi-modal. Moreover, (ii) GLS converges to a Gaussian distribution independent of the seed node, under a certain condition on the Markov process. Numerical experiments with both simulated data and empirical social networks suggest that these results appear to hold beyond the Markov conditions of the theorems.


title: Proximity Forest: An effective and scalable distance-based classifier for time series

abstract: Research into the classification of time series has made enormous progress in the last decade. The UCR time series archive has played a significant role in challenging and guiding the development of new learners for time series classification. The largest dataset in the UCR archive holds 10 thousand time series only; which may explain why the primary research focus has been in creating algorithms that have high accuracy on relatively small datasets. This paper introduces Proximity Forest, an algorithm that learns accurate models from datasets with millions of time series, and classifies a time series in milliseconds. The models are ensembles of highly randomized Proximity Trees. Whereas conventional decision trees branch on attribute values (and usually perform poorly on time series), Proximity Trees branch on the proximity of time series to one exemplar time series or another; allowing us to leverage the decades of work into developing relevant measures for time series. Proximity Forest gains both efficiency and accuracy by stochastic selection of both exemplars and similarity measures. Our work is motivated by recent time series applications that provide orders of magnitude more time series than the UCR benchmarks. Our experiments demonstrate that Proximity Forest is highly competitive on the UCR archive: it ranks among the most accurate classifiers while being significantly faster. We demonstrate on a 1M time series Earth observation dataset that Proximity Forest retains this accuracy on datasets that are many orders of magnitude greater than those in the UCR repository, while learning its models at least 100,000 times faster than current state of the art models Elastic Ensemble and COTE.


title: The study of gluon energy loss in cold nuclear matter from $J/\psi$ production

abstract: The energy loss effects of the incident quark, gluon and the color octet $c\bar{c}$ on $J/\psi$ suppression in p-A collisions are studied by means of the experimental data at E866, RHIC and LHC energy. By the Salgado-Wiedemann (SW) quenching weights and the recent EPPS16 nuclear parton distribution functions together with nCTEQ15, we extract the transport coefficient for the gluon energy loss from the E866 experimental data in the middle $x_{F}$ region ($0.20<x_{F}<0.65$). It is found that the difference between the values of the transport coefficient for light quark, gluon and heavy quark in the cold nuclear matter is very small. The theoretical results modified by the parton energy loss effects are consistent with the experimental data for E866 and RHIC energy, and the gluon energy loss plays a remarkable role on $J/\psi$ suppression in a broad variable range. Since the corrections of the nuclear parton distribution functions in the $J/\psi$ channel are significant at LHC energy, the nuclear modification due to the parton energy loss is minimal. It is worth noting that we use CEM at leading order to compute the p-p baseline, and the conclusion in this paper is CEM model dependent.


title: Explicit State Tracking with Semi-Supervision for Neural Dialogue Generation

abstract: The task of dialogue generation aims to automatically provide responses given previous utterances. Tracking dialogue states is an important ingredient in dialogue generation for estimating users' intention. However, the \emph{expensive nature of state labeling} and the \emph{weak interpretability} make the dialogue state tracking a challenging problem for both task-oriented and non-task-oriented dialogue generation: For generating responses in task-oriented dialogues, state tracking is usually learned from manually annotated corpora, where the human annotation is expensive for training; for generating responses in non-task-oriented dialogues, most of existing work neglects the explicit state tracking due to the unlimited number of dialogue states. In this paper, we propose the \emph{semi-supervised explicit dialogue state tracker} (SEDST) for neural dialogue generation. To this end, our approach has two core ingredients: \emph{CopyFlowNet} and \emph{posterior regularization}. Specifically, we propose an encoder-decoder architecture, named \emph{CopyFlowNet}, to represent an explicit dialogue state with a probabilistic distribution over the vocabulary space. To optimize the training procedure, we apply a posterior regularization strategy to integrate indirect supervision. Extensive experiments conducted on both task-oriented and non-task-oriented dialogue corpora demonstrate the effectiveness of our proposed model. Moreover, we find that our proposed semi-supervised dialogue state tracker achieves a comparable performance as state-of-the-art supervised learning baselines in state tracking procedure.


title: Electric Dipole Moments from Post-Sphaleron Baryogenesis

abstract: We consider a model in which baryogenesis occurs at low scale, at a temperature below the electroweak phase transition. This model involves new diquark-type scalars which carry baryon number. Baryon number violation is introduced in the scalar potential, permitting $\Delta B=2$ violating process involving Standard Model quarks while avoiding stringent proton decay constraints. Depending on their quantum number assignment, the diquark-type scalars can couple to either right or left handed quarks, or to both. We show that this model can provide a viable explanation of the baryon asymmetry of the universe provided that the coupling to left handed quarks are present. However, the coexistence of couplings to left and right handed quarks introduces important phenomenological constraints on the model, such as radiative contributions to quark masses and the generation of electric dipole moments for nuclei, which probe the CP even and CP odd products of the relevant couplings constants, respectively. We demonstrate that the strongest such constraints arise from electric dipole moment measurements of the neutron and $^{199}$Hg. These constraints are sufficiently strong that, in the absence of an intricate flavor structure, baryogenesis must be dominated by the couplings of the new scalars to left handed quarks.


title: Jump Rope Vortex in Liquid Metal Convection

abstract: Understanding large scale circulations (LSCs) in turbulent convective systems is important for the study of stars, planets and in many industrial applications. The canonical model of the LSC is quasi-planar with additional horizontal sloshing and torsional modes [Brown E, Ahlers G (2009) J. Fluid Mech. 638:383--400; Funfschilling D, Ahlers G (2004) Phys. Rev. Lett. 92(19):194502; Xi HD et al. (2009) Phys. Rev. Lett. 102(4):044503; Zhou Q et al. (2009) J. Fluid Mech. 630:367--390]. Using liquid gallium as the working fluid, we show via coupled laboratory-numerical experiments that the LSC in a tank with aspect ratios greater than unity takes instead the form of a "jump rope vortex", a strongly three-dimensional mode that periodically orbits around the tank following a motion much like a jump rope on a playground. Further experiments show that this jump rope flow also exists in more viscous fluids such as water, albeit with a far smaller signal. Thus, this new jump rope mode is an essential component of the turbulent convection that underlies our observations of natural systems.


title: Neutrino phenomenology of a high scale supersymmetry model

abstract: CP violation in the lepton sector, and other aspects of neutrino physics, are studied within a high scale supersymmetry model. In addition to the sneutrino vacuum expectation values (VEVs), the heavy vector-like triplet also contributes to neutrino masses. Phases of the VEVs of relevant fields, complex couplings and Zino mass are considered. The approximate degeneracy of neutrino masses $m_{\nu_1}$ and $m_{\nu_2}$ can be naturally understood. The neutrino masses are then normal ordered, $\sim$ 0.020 eV, 0.022 eV, and 0.054 eV. Large CP violation in neutrino oscillations is favored. The effective Majorana mass of the electron neutrino is about 0.02 eV.


title: Content-based feature exploration for transparent music recommendation using self-attentive genre classification

abstract: Interpretation of retrieved results is an important issue in music recommender systems, particularly from a user perspective. In this study, we investigate the methods for providing interpretability of content features using self-attention. We extract lyric features with the self-attentive genre classification model trained on 140,000 tracks of lyrics. Likewise, we extract acoustic features using the acoustic model with self-attention trained on 120,000 tracks of acoustic signals. The experimental results show that the proposed methods provide the characteristics that are interpretable in terms of both lyrical and musical contents. We demonstrate this by visualizing the attention weights, and by presenting the most similar songs found using lyric or audio features.


title: Quantum Neural Network States: A Brief Review of Methods and Applications

abstract: One of the main challenges of quantum many-body physics is that the dimensionality of the Hilbert space grows exponentially with the system size, which makes it extremely difficult to solve the Schr\"{o}dinger equations of the system. But typically, many physical systems have a simplified internal structure which makes the parameters needed to characterize their ground states exponentially smaller. This makes many numerical methods possible in capture the physics of the system. Among these modern numerical techniques, neural networks, which show great power in approximating functions and extracting features of the big data, are now attracting many interests. Neural network representation of quantum many-body states shows great potential in solving some traditionally difficult quantum problems involving large number of freedoms. In this work, we briefly review the progress of using the artificial neural network to build quantum many-body ansatz states. We take Boltzmann machine representation as a prototypical example to illustrate various aspects of neural network representation of quantum many-body states. We first briefly review the classical neural networks, then we illustrate how to use neural networks to represent quantum states and density operators. Some physical properties of the neural network states, including entanglement features, representational power, and the relation with tensor network states, are discussed. For applications, we briefly review the progress of many-body calculating based on neural network states, neural network state approach to tomography, and also the classical simulation of quantum computing based on Boltzmann machine states. At the end of the work, some outlooks and open problems are given.


title: Hidden regimes during preheating

abstract: The Effective Field Theory (EFT) of Preheating with scalar fields, implies three types of derivative couplings between the inflaton and the reheating field. Two of these couplings lead to scales below which only one of the two species appear as the low energy modes. In this paper, the variety of low energy regimes in terms of the species they accommodate are explored by studying the scales introduced by the derivative couplings and the dispersion relations they lead to. It is noted that the EFT of two scalar fields can give rise to non-trivial sound speed for both the inflation and reheating sector even at scales where modes of both species propagate freely, suggesting the presence of additional heavy fields. The regimes where one of the species affects the dispersion relation of the other while not appearing as an effective mode itself, are named as "Hidden Regimes" during preheating.


title: Non-linear Pattern Matching with Backtracking for Non-free Data Types

abstract: Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\{a,b,b\}$ has two other equivalent but literally different forms $\{b,a,b\}$ and $\{b,b,a\}$. Pattern matching is known to provide a handy tool set to treat such data types. Although many studies on pattern matching and implementations for practical programming languages have been proposed so far, we observe that none of these studies satisfy all the criteria of practical pattern matching, which are as follows: i) efficiency of the backtracking algorithm for non-linear patterns, ii) extensibility of matching process, and iii) polymorphism in patterns. This paper aims to design a new pattern-matching-oriented programming language that satisfies all the above three criteria. The proposed language features clean Scheme-like syntax and efficient and extensible pattern matching semantics. This programming language is especially useful for the processing of complex non-free data types that not only include multisets and sets but also graphs and symbolic mathematical expressions. We discuss the importance of our criteria of practical pattern matching and how our language design naturally arises from the criteria. The proposed language has been already implemented and open-sourced as the Egison programming language.


title: Fundamental properties of basic slc-trivial fibrations, II

abstract: We prove that if the moduli $\mathbb Q$-b-divisor of a basic slc-trivial fibration is b-numerically trivial then it is $\mathbb Q$-b-linearly trivial. As a consequence, we prove that the moduli part of a basic slc-trivial fibration is semi-ample when the base space is a curve.


title: Kaluza-Klein reduction on a maximally non-Riemannian space is moduli-free

abstract: We propose a novel Kaluza-Klein scheme which assumes the internal space to be maximally non-Riemannian, meaning that no Riemannian metric can be defined for any subspace. Its description is only possible through Double Field Theory but not within supergravity. We spell out the corresponding Scherk-Schwarz twistable Kaluza--Klein ansatz, and point out that the internal space prevents rigidly any graviscalar moduli. Plugging the same ansatz into higher-dimensional pure Double Field Theory and also to a known doubled-yet-gauged string action, we recover heterotic supergravity as well as heterotic worldsheet action. In this way, we show that 1) supergravity and Yang-Mills theory can be unified into higher-dimensional pure Double Field Theory, free of moduli, and 2) heterotic string theory may have a higher-dimensional non-Riemannian origin.


title: Renormalizations in unconventional superconducting states of Ce$_{1-x}$Yb$_{x}$CoIn$_{5}$

abstract: We have measured the superconducting penetration depth~$\Lambda(T)$ in the heavy-fermion/intermediate-valent superconducting alloy series~Ce$_{1-x}$Yb$_x$CoIn$_5$ using transverse-field muon spin relaxation, to study the effect of intermediate-valent Yb doping on Fermi-liquid renormalization. From $\Lambda(T)$ we determine the superfluid density $\rho_s(T)$, and find that it decreases continuously with increasing nominal Yb concentration~$x$, i.e., with increasing intermediate valence. The temperature-dependent renormalization of the "normal" fluid density~$\rho_N(T) = \rho_s(0) - \rho_s(T)$ in both the heavy-fermion and intermediate valence limits is proportional to the temperature-dependent renormalization of the specific heat. This indicates that the temperature-dependent Fermi-liquid Landau parameters of the superconducting quasiparticles entering the two different physical quantities are the same. These results represent an important advance in understanding of both intermediate valence and heavy-fermion phenomena in superconductors.


title: On the plausible nature of the size effect in heterogeneous catalysis on gold nanoparticles

abstract: We suggest that the size effect in heterogeneous catalysis on gold nanoparticles (GNP) of ~1.3 - 9 nm size can be related to spontaneous terahertz (THz) emission of GNPs in the process of channeling the energy of longitudinal phonons therein into THz electromagnetic radiation. Since rotational and vibrational energy levels of molecules adsorbed on the GNP surface are in the THz range, the irradiation by self-induced THz photons would engage the molecules' swing and twisting, which in its turn would weaken or break the intramolecular bonds, facilitating their entering a chemical reaction on the GNP surface.


title: Resonant Electro-Optic Frequency Comb

abstract: High speed optical telecommunication is enabled by wavelength division multiplexing, whereby hundreds of individually stabilized lasers encode the information within a single mode optical fiber. In the seek for larger bandwidth the optical power sent into the fiber is limited by optical non-linearities within the fiber and energy consumption of the light sources starts to become a significant cost factor. Optical frequency combs have been suggested to remedy this problem by generating multiple laser lines within a monolithic device, their current stability and coherence lets them operate only in small parameter ranges. Here we show that a broadband frequency comb realized through the electro-optic effect within a high quality whispering gallery mode resonator can operate at low microwave and optical powers. Contrary to the usual third order Kerr non-linear optical frequency combs we rely on the second order non-linear effect which is much more efficient. Our result uses a fixed microwave signal which is mixed with an optical pump signal to generate a coherent frequency comb with a precisely determined carrier separation. The resonant enhancement enables us to operate with microwave powers three order magnitude smaller than in commercially available devices. We can expect the implementation into the next generation long distance telecommunication which relies on coherent emission and detection schemes to allow for operation with higher optical powers and at reduced cost.


title: Quantum Computation Based on Quantum Adiabatic Bifurcations of Kerr-Nonlinear Parametric Oscillators

abstract: Quantum computers with Kerr-nonlinear parametric oscillators (KPOs) have recently been proposed by the author and others. Quantum computation using KPOs is based on quantum adiabatic bifurcations of the KPOs, which lead to quantum superpositions of coherent states, such as Schrodinger cat states. Therefore, these quantum computers are referred to as "quantum bifurcation machines (QbMs)." QbMs can be used for qauntum adiabatic optimization and universal quantum computation. Superconducting circuits with Josephson junctions, Josephson parametric oscillators (JPOs) in particular, are promising for physical implementation of KPOs. Thus, KPOs and QbMs offer not only a new path toward the realization of quantum bits (qubits) and quantum computers, but also a new application of JPOs. Here we theoretically explain the physics of KPOs and QbMs, comparing them with their dissipative counterparts. Their physical implementations with superconducting circuits are also presented.


title: Three-Dimensional Fermi-Surface and Electron-Phonon Coupling in Semimetallic 1T-TiTe2 studied by Angle-Resolved Photoemission Spectroscopy

abstract: We present an investigation on electronic structure of 1T-TiTe2 material via high-resolution angle-resolved photoemission spectroscopy (ARPES), utilizing tunable photon energy excitations. The typical semimetal-like electronic structure is observed and examined, where multiple hole pockets related to Te 5p bands and one electron pockets related to Ti 3d band are populated. The obtained results reveals i) a pronounced three-dimensional (3D) electronic structure of 1T-TiTe2 with typical semi-metallic features, for both the Ti 3d and the Te 5p states; ii) multiple Fermi surface (FS) sheets and complex band structure; and iii) an obvious kink in dispersion at an energy of about 18 meV below the Fermi energy, the first experimental observation of a kink structure in 1T-TiTe2, which may originate from electron-phonon coupling. These important and significant findings can help us to gain an in-depth understanding of the 3D electronic structure of semimetallic 1T- TiTe2.


title: The effect of electron-phonon interactions on the spectral properties of single defects in hexagonal boron nitride

abstract: We investigate temperature-dependent spectral properties of a single defect in hexagonal boron nitride (hBN). We observe a sharp zero-phonon line (ZPL) emission accompanied by Stokes and anti-Stokes optical phonon sidebands assisted by the Raman active low-energy ($\approx~6.5$ meV) interlayer shear mode of hBN. Spectral lineshape around the ZPL is measured down to 78 K, at which the linewidth of the ZPL is measured as 172 $\mu$eV. By employing a quadratic electron-phonon interaction, the temperature-dependent broadening and the lineshift of the ZPL are found to follow $T+T^5$ and $T+T^3$ temperature dependence, respectively. Furthermore, the temperature-dependent lineshape around the ZPL is modeled with a linear electron-phonon coupling theory, which results in the Debye-Waller factor of the ZPL emission as 0.59.


title: The Limiting Behavior of the FTASEP with Product Bernoulli Initial Distribution

abstract: We study the facilitated totally asymmetric exclusion process on the one dimensional integer lattice. We investigate the invariant measures and the limiting behavior of the process. We mainly derive the limiting distribution of the process when the initial distribution is the Bernoulli product measure with density $1/2$. We also prove that in the low density regime, the system finally converges to an absorbing state.


title: Discovery and characterization of superefficiency in pulsar wind nebulae

abstract: We numerically study the radiative properties of the reverberation phase of pulsar wind nebulae. Reverberation brings a significant evolution in a short period of time. We show that even the Crab nebula, associated to the more energetic pulsar of the sample we consider, has a period in its future time evolution where the X-ray luminosity will exceed the spin-down power at the time. In fact, all nebulae in our sample are expected to have a period of radio, X-ray, and GeV superefficiency, and most will also have a period of TeV superefficiency. We analyze and characterize these superefficient phases.


title: Low temperature (Ts/Tm < 0.1) epitaxial growth of HfN/MgO(001) via reactive HiPIMS with metal-ion synchronized substrate bias

abstract: Low-temperature epitaxial growth of refractory transition-metal nitride thin films by means of physical vapor deposition has been a recurring theme in advanced thin-film technology for several years. In the present study, 150-nm-thick epitaxial HfN layers are grown on MgO(001) by reactive high-impulse magnetron sputtering (HiPIMS) with no external substrate heating. Maximum film growth temperatures Ts due to plasma heating range from 70-150 {\deg}C, corresponding to Ts/Tm = 0.10-0.12 (in which Tm is the HfN melting point in K). During HiPIMS, gas and sputtered-metal ion fluxes incident at the growing film surface are separated in time due to strong gas rarefaction and the transition to a metal-ion dominated plasma. In the present experiments, a negative bias of 100 V is applied to the substrate, either continuously during the entire deposition or synchronized with the metal-rich portion of the ion flux. Two different sputtering-gas mixtures, Ar/N2 and Kr/N2, are employed in order to probe effects associated with the noble-gas mass and ionization potential. The combination of x-ray diffraction, high-resolution reciprocal-lattice maps, and high-resolution cross-sectional transmission electron microscopy analyses establish that all HfN films have a cube-on-cube orientational relationship with the substrate, i.e., [001]HfN||[001]MgO and (100)HfN||(100)MgO. Layers grown with continuous substrate bias, in either Ar/N2 or Kr/N2, exhibit a relatively high mosaicity and a high concentration of trapped inert gas. In distinct contrast, layers grown in Kr/N2 with the substrate bias synchronized to the metal-ion-rich portion of HiPIMS pulses, have much lower mosaicity, no measurable inert-gas incorporation, and a hardness of 25.7 GPa, in good agreement with results for epitaxial HfN(001) layers grown at Ts = 650 C (Ts/Tm = 0.26).


title: Universally valid uncertainty relations in general quantum systems

abstract: We study universally valid uncertainty relations in general quantum systems described by general $\sigma$-finite von Neumann algebras to foster developing quantitative analysis in quantum systems with infinite degrees of freedom such as quantum fields. We obtain the most stringent measurement-disturbance relation ever, applicable to systems with infinite degrees of freedom, by refining the proofs given by Branciard and one of the authors (MO) for systems with finite degrees of freedom. In our proof the theory of the standard form of von Neumann algebras plays a crucial role, incorporating with measurement theory for local quantum systems recently developed by the authors.


title: Factorizations in Numerical Semigroup Algebras

abstract: We study a numerical semigroup ring as an algebra over another numerical semigroup ring. The complete intersection property of numerical semigroup algebras is investigated using factorizations of monomials into minimal ones. The goal is to study whether a flat rectangular algebra is a complete intersection. Along this direction, special types of algebras generated by few monomials are worked out in detail.


title: Gradual Collective Upgrade of a Swarm of Autonomous Buoys for Dynamic Ocean Monitoring

abstract: Swarms of autonomous surface vehicles equipped with environmental sensors and decentralized communications bring a new wave of attractive possibilities for the monitoring of dynamic features in oceans and other waterbodies. However, a key challenge in swarm robotics design is the efficient collective operation of heterogeneous systems. We present both theoretical analysis and field experiments on the responsiveness in dynamic area coverage of a collective of 22 autonomous buoys, where 4 units are upgraded to a new design that allows them to move 80\% faster than the rest. This system is able to react on timescales of the minute to changes in areas on the order of a few thousand square meters. We have observed that this partial upgrade of the system significantly increases its average responsiveness, without necessarily improving the spatial uniformity of the deployment. These experiments show that the autonomous buoy designs and the cooperative control rule described in this work provide an efficient, flexible, and scalable solution for the pervasive and persistent monitoring of water environments.


title: Understanding the Characteristics of Frequent Users of Emergency Departments: What Role Do Medical Conditions Play?

abstract: Frequent users of emergency departments (ED) pose a significant challenge to hospital emergency services. Despite a wealth of studies in this field, it is hardly understood, what medical conditions lead to frequent attendance. We examine (1) what ambulatory care sensitive conditions (ACSC) are linked to frequent use, (2) how frequent users can be clustered into subgroups with respect to their diagnoses, acuity and admittance, and (3) whether frequent use is related to higher acuity or admission rate. We identified several ACSC that highly increase the risk for heavy ED use, extracted four major diagnose subgroups and found no significant effect neither for acuity nor admission rate. Our study indicates that especially patients in need of (nursing) care form subgroups of frequent users, which implies that quality of care services might be crucial for tackling frequent use. Hospitals are advised to regularly analyze their ED data in the EHR to better align resources.


title: Uniqueness of martingale solutions for the stochastic nonlinear Schr\"odinger equation on 3d compact manifolds

abstract: We prove pathwise uniqueness for solutions of the nonlinear Schr\"{o}dinger equation with conservative multiplicative noise on compact 3D manifolds. In particular, we generalize the result by Burq, G\'erard and Tzvetkov (N. Burq, P. G\'erard, and N. Tzvetkov. Strichartz inequalities and the nonlinear Schr\"{o}dinger equation on compact manifolds. American Journal of Mathematics, 126 (3):569--605, 2004) to the stochastic setting. The proof is based on deterministic and stochastic Strichartz estimates and the Littlewood-Paley decomposition.


title: Single-Microphone Speech Enhancement and Separation Using Deep Learning

abstract: The cocktail party problem comprises the challenging task of understanding a speech signal in a complex acoustic environment, where multiple speakers and background noise signals simultaneously interfere with the speech signal of interest. A signal processing algorithm that can effectively increase the speech intelligibility and quality of speech signals in such complicated acoustic situations is highly desirable. Especially for applications involving mobile communication devices and hearing assistive devices. Due to the re-emergence of machine learning techniques, today, known as deep learning, the challenges involved with such algorithms might be overcome. In this PhD thesis, we study and develop deep learning-based techniques for two sub-disciplines of the cocktail party problem: single-microphone speech enhancement and single-microphone multi-talker speech separation. Specifically, we conduct in-depth empirical analysis of the generalizability capability of modern deep learning-based single-microphone speech enhancement algorithms. We show that performance of such algorithms is closely linked to the training data, and good generalizability can be achieved with carefully designed training data. Furthermore, we propose uPIT, a deep learning-based algorithm for single-microphone speech separation and we report state-of-the-art results on a speaker-independent multi-talker speech separation task. Additionally, we show that uPIT works well for joint speech separation and enhancement without explicit prior knowledge about the noise type or number of speakers. Finally, we show that deep learning-based speech enhancement algorithms designed to minimize the classical short-time spectral amplitude mean squared error leads to enhanced speech signals which are essentially optimal in terms of STOI, a state-of-the-art speech intelligibility estimator.


title: A concavity condition for existence of a negative Neumann-Poincar\'e eigenvalue in three dimensions

abstract: It is proved that if a bounded domain in three dimensions satisfies a certain concavity condition, then the Neumann-Poincar\'e operator on the boundary of the domain or its inversion in a sphere has at least one negative eigenvalue. The concavity condition is quite simple, and is satisfied if there is a point on the boundary at which the Gaussian curvature is negative.


title: Strangeness photoproduction at extremely forward angles at the BGO-OD experiment

abstract: The BGO-OD experiment at the ELSA accelerator facility uses an energy tagged bremstrahlung photon beam to investigate the internal structure of the nucleon. The setup consists of a highly segmented BGO calorimeter surrounding the target, with a particle tracking magnetic spectrometer at forward angles. BGO-OD is ideal for investigating low momentum transfer processes due to the acceptance and high momentum resolution at forward angles. This enables the investigation of strangeness photoproduction where $t$-channel exchange mechanisms play a dominant role. A detailed understanding of this low-momentum transfer region is also crucial for constraints in hypernuclei electroproduction, and sensitive to any extended, molecular-like interactions that may contribute to reaction mechanisms. Progress in the study of $K^+\Lambda$(1405) differential cross sections and line shapes, $K^0$ photoproduction, and differential cross section measurements for $K^+\Lambda$ and $K^+\Sigma^0$ photoproduction at extremely forward angles is presented. Opportunities for hypernuclei studies are also discussed.


title: Random Bit Multilevel Algorithms for Stochastic Differential Equations

abstract: We study the approximation of expectations $\E(f(X))$ for solutions $X$ of SDEs and functionals $f \colon C([0,1],\R^r) \to \R$ by means of restricted Monte Carlo algorithms that may only use random bits instead of random numbers. We consider the worst case setting for functionals $f$ from the Lipschitz class w.r.t.\ the supremum norm. We construct a random bit multilevel Euler algorithm and establish upper bounds for its error and cost. Furthermore, we derive matching lower bounds, up to a logarithmic factor, that are valid for all random bit Monte Carlo algorithms, and we show that, for the given quadrature problem, random bit Monte Carlo algorithms are at least almost as powerful as general randomized algorithms.


title: Role of Trust in OAuth 2.0 and OpenID Connect

abstract: OAuth 2.0 is a framework for authorization. Being a framework, OAuth 2.0 allows extensions to build on top of it. OpenID Connect is one such extension which adds authentication layer using identity details. OAuth 2.0 define several roles that are required to complete the protocol. Both OAuth 2.0 and OpenID Connect involve interactions between these roles. These interactions require a pre-established trust or a trust establishment while protocol operate. This paper analyzes trust establishments between OAuth 2.0 roles and discuss important aspects of them. Such analysis is required for proper understanding of the protocols.


title: An exact copositive programming formulation for the Discrete Ordered Median Problem: Extended version

abstract: This paper presents a first continuous, linear, conic formulation for the Discrete Ordered Median Problem (DOMP). Starting from a binary, quadratic formulation in the original space of location and allocation variables that are common in Location Analysis (L.A.), we prove that there exists a transformation of that formulation, using the same space of variables, that allows us to cast DOMP as a continuous linear problem in the space of completely positive matrices. This is the first positive result that states equivalence between the family of continuous convex problems and some hard problems in L.A. The result is of theoretical interest because it allows us to share the tools from continuous optimization to shed new light into the difficult combinatorial structure of the class of ordered median problems.


title: $hp$-Multilevel Monte Carlo Methods for Uncertainty Quantification of Compressible Flows

abstract: We propose a novel $hp$-multilevel Monte Carlo method for the quantification of uncertainties in the compressible Navier-Stokes equations, using the Discontinuous Galerkin method as deterministic solver. The multilevel approach exploits hierarchies of uniformly refined meshes while simultaneously increasing the polynomial degree of the ansatz space. It allows for a very large range of resolutions in the physical space and thus an efficient decrease of the statistical error. We prove that the overall complexity of the $hp$-multilevel Monte Carlo method to compute the mean field with prescribed accuracy is, in best-case, of quadratic order with respect to the accuracy. We also propose a novel and simple approach to estimate a lower confidence bound for the optimal number of samples per level, which helps to prevent overestimating these quantities. The method is in particular designed for application on queue-based computing systems, where it is desirable to compute a large number of samples during one iteration, without overestimating the optimal number of samples. Our theoretical results are verified by numerical experiments for the two-dimensional compressible Navier-Stokes equations. In particular we consider a cavity flow problem from computational acoustics, demonstrating that the method is suitable to handle complex engineering problems.


title: Do Language Models Understand Anything? On the Ability of LSTMs to Understand Negative Polarity Items

abstract: In this paper, we attempt to link the inner workings of a neural language model to linguistic theory, focusing on a complex phenomenon well discussed in formal linguis- tics: (negative) polarity items. We briefly discuss the leading hypotheses about the licensing contexts that allow negative polarity items and evaluate to what extent a neural language model has the ability to correctly process a subset of such constructions. We show that the model finds a relation between the licensing context and the negative polarity item and appears to be aware of the scope of this context, which we extract from a parse tree of the sentence. With this research, we hope to pave the way for other studies linking formal linguistics to deep learning.


title: Retrieve-and-Read: Multi-task Learning of Information Retrieval and Reading Comprehension

abstract: This study considers the task of machine reading at scale (MRS) wherein, given a question, a system first performs the information retrieval (IR) task of finding relevant passages in a knowledge source and then carries out the reading comprehension (RC) task of extracting an answer span from the passages. Previous MRS studies, in which the IR component was trained without considering answer spans, struggled to accurately find a small number of relevant passages from a large set of passages. In this paper, we propose a simple and effective approach that incorporates the IR and RC tasks by using supervised multi-task learning in order that the IR component can be trained by considering answer spans. Experimental results on the standard benchmark, answering SQuAD questions using the full Wikipedia as the knowledge source, showed that our model achieved state-of-the-art performance. Moreover, we thoroughly evaluated the individual contributions of our model components with our new Japanese dataset and SQuAD. The results showed significant improvements in the IR task and provided a new perspective on IR for RC: it is effective to teach which part of the passage answers the question rather than to give only a relevance score to the whole passage.


title: Continuous-wave mirrorless lasing at 2.21 {\mu}m in sodium vapors

abstract: We demonstrate backward-directed continuous-wave (cw) emission at 2.21 {\mu}m generated on the 4P3/2-4S1/2 population-inverted transition in Na vapors two-photon excited with resonant laser light at 589 and 569 nm. Our study of power and atom-number-density threshold characteristics shows that lasing occurs at sub-10 mW total power of the applied laser light. The observed 6 mrad divergence is defined mainly by the aspect ratio of the gain region. We find that mirrorless lasing at 2.21 {\mu}m is magnetic field and polarization dependent that may be useful for remote magnetometry. The presented results could help determine the requirements for obtaining directional return from sodium atoms in the mesosphere


title: On the equivariant cohomology of hyperpolar actions on symmetric spaces

abstract: We show that the equivariant cohomology of any hyperpolar action of a compact and connected Lie group on a symmetric space of compact type is a Cohen-Macaulay ring. This generalizes some results previously obtained by the authors.


title: Learning in Memristive Neural Network Architectures using Analog Backpropagation Circuits

abstract: The on-chip implementation of learning algorithms would speed-up the training of neural networks in crossbar arrays. The circuit level design and implementation of backpropagation algorithm using gradient descent operation for neural network architectures is an open problem. In this paper, we proposed the analog backpropagation learning circuits for various memristive learning architectures, such as Deep Neural Network (DNN), Binary Neural Network (BNN), Multiple Neural Network (MNN), Hierarchical Temporal Memory (HTM) and Long-Short Term Memory (LSTM). The circuit design and verification is done using TSMC 180nm CMOS process models, and TiO2 based memristor models. The application level validations of the system are done using XOR problem, MNIST character and Yale face image databases


title: A novel extension of Generalized Low-Rank Approximation of Matrices based on multiple-pairs of transformations

abstract: Dimensionality reduction is a main step in the learning process which plays an essential role in many applications. The most popular methods in this field like SVD, PCA, and LDA, only can be applied to data with vector format. This means that for higher order data like matrices or more generally tensors, data should be fold to the vector format. So, in this approach, the spatial relations of features are not considered and also the probability of over-fitting is increased. Due to these issues, in recent years some methods like Generalized low-rank approximation of matrices (GLRAM) and Multilinear PCA (MPCA) are proposed which deal with the data in their own format. So, in these methods, the spatial relationships of features are preserved and the probability of overfitting could be fallen. Also, their time and space complexities are less than vector-based ones. However, because of the fewer parameters, the search space in a multilinear approach is much smaller than the search space of the vector-based approach. To overcome this drawback of multilinear methods like GLRAM, we proposed a new method which is a general form of GLRAM and by preserving the merits of it have a larger search space. Experimental results confirm the quality of the proposed method. Also, applying this approach to the other multilinear dimensionality reduction methods like MPCA and MLDA is straightforward.


title: Towards Exascale Simulations of the ICM Dynamo with WENO-Wombat

abstract: In galaxy clusters, modern radio interferometers observe non-thermal radio sources with unprecedented spatial and spectral resolution. For the first time, the new data allows to infer the structure of the intra-cluster magnetic fields on small scales via Faraday tomography. This leap forward demands new numerical models for the amplification of magnetic fields in cosmic structure formation - the cosmological magnetic dynamo. Here we present a novel numerical approach to astrophyiscal MHD simulations aimed to resolve this small-scale dynamo in future cosmological simulations. As a first step, we implement a fifth order WENO scheme in the new code WOMBAT. We show that this scheme doubles the effective resolution of the simulation and is thus less expensive than common second order schemes. WOMBAT uses a novel approach to parallelization and load balancing developed in collaboration with performance engineers at Cray Inc. This will allow us scale simulation to the exaflop regime and achieve kpc resolution in future cosmological simulations of galaxy clusters. Here we demonstrate the excellent scaling properties of the code and argue that resolved simulations of the cosmological small scale dynamo within the whole virial radius are possible in the next years.


title: Singular cycles connecting saddle periodic orbit and saddle equilibrium in piecewise smooth systems

abstract: For flows, the singular cycles connecting saddle periodic orbit and saddle equilibrium can poten- tially result in the so-called singular horseshoe, which means the existence of a non-uniformly hyperbolic chaotic invariant set. However, it is very hard to find a specific dynamical system that exhibits such singular cycles in general. In this paper, the existence of the singular cycles involved in saddle periodic orbits is studied by two types of piecewise affine systems: one is the piecewise affine system having an admissible saddle point with only real eigenvalues and an admissible saddle periodic orbit, and the other is the piecewise affine system having an admissible saddle- focus and an admissible saddle periodic orbit. Precisely, several kinds of sufficient conditions are obtained for the existence of only one heteroclinic cycle or only two heteroclinic cycles in the two types of piecewise affine systems, respectively. In addition, some examples are presented to illustrate the results.


title: The role of flux cancellation in eruptions from bipolar active regions

abstract: The physical processes or trigger mechanisms that lead to the eruption of coronal mass ejections (CMEs), the largest eruptive phenomenon in the heliosphere, are still undetermined. Low-altitude magnetic reconnection associated with flux cancellation appears to play an important role in CME occurrence as it can form an eruptive configuration and reduce the magnetic flux that contributes to the overlying, stabilising field. We conduct the first comprehensive study of 20 small bipolar active regions in order to probe the role of flux cancellation as an eruption trigger mechanism. We categorise eruptions from the bipolar regions into three types related to location and find that the type of eruption produced depends on the evolutionary stage of the active region. In addition we find that active regions that form eruptive structures by flux cancellation (low-altitude reconnection) had, on average, lower flux cancellation rates than the active region sample as a whole. Therefore, while flux cancellation plays a key role, by itself it is insufficient for the production of an eruption. The results support that although flux cancellation in a sheared arcade may be able to build an eruptive configuration, a successful eruption depends upon the removal of sufficient overlying and stabilising field. Convergence of the bipole polarities also appears to be present in regions that produce an eruption. These findings have important implications for understanding the physical processes that occur on our Sun in relation to CMEs and for space weather forecasting.


title: A cosmic microscope to probe the Universe from Present to Cosmic Dawn - dual-element low-frequency space VLBI observatory

abstract: A space-based very long baseline interferometry (VLBI) programme, named as the Cosmic Microscope, is proposed to involve dual VLBI telescopes in the space working together with giant ground-based telescopes (e.g., Square Kilometre Array, FAST, Arecibo) to image the low radio frequency Universe with the purpose of unraveling the compact structure of cosmic constituents including supermassive black holes and binaries, pulsars, astronomical masers and the underlying source, and exoplanets amongst others. The operational frequency bands are 30, 74, 330 and 1670 MHz, supporting broad science areas. The mission plans to launch two 30-m-diameter radio telescopes into 2,000 km x 90,000 km elliptical orbits. The two telescopes can work in flexibly diverse modes: (i) space-ground VLBI. The maximum space-ground baseline length is about 100,000 km; it provides a high-dynamic-range imaging capacity with unprecedented high resolutions at low frequencies (0.4 mas at 1.67 GHz and 20 mas at 30 MHz) enabling studies of exoplanets and supermassive black hole binaries (which emit nanoHz gravitational waves); (ii) space-space single-baseline VLBI. This unique baseline enables the detection of flaring hydroxyl masers, and more precise position measurement of pulsars and radio transients at milli-arcsecond level; (iii) single dish mode, where each telescope can be used to monitor transient bursts and rapidly trigger follow-up VLBI observations. The large space telescope will also contribute in measuring and constraining the total angular power spectrum from the Epoch of Reionization. In short, the Cosmic Microscope offers astronomers the opportunity to conduct novel, frontier science.


title: Type II blow-up in the 5-dimensional energy critical heat equation

abstract: We consider the Cauchy problem for the energy critical heat equation $$ u_t = \Delta u + |u|^{\frac 4{n-2}}u {{\quad\hbox{in } }} \ {\mathbb R}^n \times (0, T), \quad u(\cdot,0) =u_0 {{\quad\hbox{in } }} {\mathbb R}^n $$ in dimension $n=5$. More precisely we find that for given points $q_1, q_2,\ldots, q_k$ and any sufficiently small $T>0$ there is an initial condition $u_0$ such that the solution $u(x,t)$ of the problem blows-up at exactly those $k$ points with rates type II, namely with absolute size $ \sim (T-t)^{-\alpha} $ for $\alpha > \frac 34 $. The blow-up profile around each point is of bubbling type, in the form of sharply scaled Aubin-Talenti bubbles.


title: TenDSuR: Tensor-Based 4D Sub-Nyquist Radar

abstract: We propose Tensor-based 4D Sub-Nyquist Radar (TenDSuR) that samples in spectral, spatial, Doppler, and temporal domains at sub-Nyquist rates while simultaneously recovering the target's direction, Doppler velocity, and range without loss of native resolutions. We formulate the radar signal model wherein the received echo samples are represented by a partial third-order tensor. We then apply compressed sensing in the tensor domain and use our tensor-OMP and tensor completion algorithms for signal recovery. Our numerical experiments demonstrate joint estimation of all three target parameters at the same native resolutions as a conventional radar but with reduced measurements. Furthermore, tensor completion methods show enhanced performance in off-grid target recovery with respect to tensor-OMP.


title: On the Use of Emoticons in Open Source Software Development

abstract: Background: Using sentiment analysis to study software developers' behavior comes with challenges such as the presence of a large amount of technical discussion unlikely to express any positive or negative sentiment. However, emoticons provide information about developer sentiments that can easily be extracted from software repositories. Aim: We investigate how software developers use emoticons differently in issue trackers in order to better understand the differences between developers and determine to which extent emoticons can be used as in place of sentiment analysis. Method: We extract emoticons from 1.3M comments from Apache's issue tracker and 4.5M from Mozilla's issue tracker using regular expressions built from a list of emoticons used by SentiStrength and Wikipedia. We check for statistical differences using Mann-Whitney U tests and determine the effect size with Cliff's delta. Results: Overall Mozilla developers rely more on emoticons than Apache developers. While the overall ratio of comments with emoticons is of 2% and 3.6% for Apache and Mozilla, some individual developers can have a ratio above 20%. Looking specifically at Mozilla developers, we find that western developers use significantly more emoticons (with large size effect) than eastern developers. While the majority of emoticons are used to express joy, we find that Mozilla developers use emoticons more frequently to express sadness and surprise than Apache developers. Finally, we find that developers use overall more emoticons during weekends than during weekdays, with the share of sad and surprised emoticons increasing during weekends. Conclusions: While emoticons are primarily used to express joy, the more occasional use of sad and surprised emoticons can potentially be utilized to detect frustration in place of sentiment analysis among developers using emoticons frequently enough.


title: Modelling optical emission of Ultra-luminous X-ray Sources accreting above the Eddington limit

abstract: We study the evolution of binary systems of Ultra-luminous X-ray sources and compute their optical emission assuming accretion onto a black hole via a non standard, advection-dominated slim disc with an outflow. We consider systems with black holes of $20M_{\odot}$ and $100M_{\odot}$, and donor masses between $8M_{\odot}$ and $25M_{\odot}$. Super-critical accretion has considerable effects on the optical emission. The irradiating flux in presence of an outflow remains considerably stronger than that produced by a standard disc. However, at very high accretion rates the contribution of X-ray irradiation becomes progressively less important in comparison with the intrinsic flux emitted from the disc. After Main Sequence the evolutionary tracks of the optical counterpart on the colour-magnitude diagram are markely different from those computed for Eddington-limited accretion. Systems with stellar-mass black holes and $12-20 M_{\odot}$ donors accreting supercritically are characterized by blue colors (F450W -- F555W $\simeq - 0.2 : +0.1$) and high luminosity ($M_{V} \simeq - 4 : - 6.5$). Systems with more massive black holes accreting supercritically from evolved donors of similar mass have comparable colours but can reach $M_V \simeq - 8$. We apply our model to NGC 1313 X-2 and NGC 4559 X-7. Both sources are well represented by a system accreting above Eddington from a massive evolved donor. For NGC 1313 X-2 the agreement is for a $\sim 20M_{\odot}$ black hole, while NGC4559 X-7 requires a significantly more massive black hole.


title: Two-particle angular correlations in pp and p-Pb collisions at LHC energies from a multi-phase transport model

abstract: We apply a multi-phase transport (AMPT) model to study two-particle angular correlations in $pp$ collisions at $\sqrt{s}= 7$ TeV. Besides being able to describe the angular correlation functions of meson-meson pairs, a large improvement for the angular correlations of baryon-baryon and antibaryon-antibaryon is achieved. We further find that the AMPT model with new quark coalescence provides an even better description on the anti-correlation feature of baryon-baryon correlations observed in the experiments. We also extend the study to p-Pb collisions at $\sqrt{s}= 5.02$ TeV and obtained similar results. These results help us better understand the particle production mechanism in $pp$ and p-Pb collisions at LHC energies.


title: The use of Charts, Pivot Tables, and Array Formulas in two Popular Spreadsheet Corpora

abstract: The use of spreadsheets in industry is widespread. Companies base decisions on information coming from spreadsheets. Unfortunately, spreadsheets are error-prone and this increases the risk that companies base their decisions on inaccurate information, which can lead to incorrect decisions and loss of money. In general, spreadsheet research is aimed to reduce the error-proneness of spreadsheets. Most research is concentrated on the use of formulas. However, there are other constructions in spreadsheets, like charts, pivot tables, and array formulas, that are also used to present decision support information to the user. There is almost no research about how these constructions are used. To improve spreadsheet quality it is important to understand how spreadsheets are used and to obtain a complete understanding, the use of charts, pivot tables, and array formulas should be included in research. In this paper, we analyze two popular spreadsheet corpora: Enron and EUSES on the use of the aforementioned constructions.


title: Steady state distributions of network of degenerate optical parametric oscillators in solving combinatorial optimization problems

abstract: We investigate network of degenerate optical parametric oscillators (DOPOs) as a model of the coherent Ising machine, an architecture for solving Ising problems. The network represents the interaction in the Ising model, which is a generalization of a previously proposed one for the two-DOPO case. Dynamics of the DOPOs is described by the Fokker-Planck equation in the positive $P$ representation. We obtain approximate steady state distributions for arbitrary Ising problems under some ansatz. Using the method of statistical mechanics, we analytically demonstrate that the most probable states in a particular range of the parameters correspond to the true optimal states for two rather simple problems, i.e., fully-connected ferromagnetic coupling without/with binary random fields. In particular, for the random-field problem, the distribution correctly detects the phase transition that occurs in the target Ising model with varying the magnitude of the fields.


title: Nucleon - Light Dark Matter Annihilation through Baryon Number Violation

abstract: Dark matter that participates in baryon-number violating interactions can annihilate with baryons if the dark matter particle is not protected under discrete symmetries. In this paper we investigate the dark matter - baryon annihilation in color-triplet extensions of the Standard Model, in which a fermionic dark matter can be kinematically stable within a small mass range near the proton mass. We demonstrate that the DM's annihilation with nucleons can be probed to stringent limits at large-volume water Cherenkov detectors like the Super-Kamionkonde experiment, with the mediator scale $m_\Phi$ constrained up to $10^{7}$ GeV. In case of a Majorana light dark matter, this constraint is weaker yet close in magnitude to that from neutron-antineutron oscillation. In the Dirac DM case, the dark matter- nucleon annihilation gives much stronger bounds than that from the uncertainties of the neutron decay lifetime. In a limited range of the DM mass above $m_p+m_e$, the DM-nucleon annihilation bound can be higher than the requirement from the DM's stability in the Universe. Given the strong limits from Super-Kamionkonde, we find it below the current experimental capabilities to indirectly detecting the dark matter- nucleon annihilation signal in diffuse Galactic gamma rays and neutron star heating.


title: Analysis of Solar Activity and Atmospheric Pressure Competition Effects on Cosmic Radiation Events

abstract: In this paper, we analyze the influence of characteristic solar activity parameters as well as the competition effects in solar activity and atmospheric pressure on the records of cosmic radiation based on HiSPARC (The High School Project on Astro physics Research with Cosmic rays), a ground-based muon detector system monitoring secondary cosmic ray intensity. We gather the data from No.501 HiSPARC station situated at Nikhef in Science Park, Amsterdam, Netherlands (52.3558963{\deg}N, 4.9509827{\deg}E, 56.18 m of altitude). The accepted anticorrelation between solar activity and the intensity of near ground cosmic ray is confirmed by comparing the number of solar flares, relative number of sunspots and counting rates of the detector. The barometric effect has been considered to correct the number of events. Furthermore, a new empirical equation is given to show the correlation between the cosmic ray intensity and the characteristic solar activity parameters, including the number, the area and the latitude of sunspot groups. As for the competition effects of solar activity and atmospheric pressure, we find there exists a threshold in detector's sensitivity to the sunspot numbers. Above the threshold, the detector is more sensitive to the atmospheric pressure rather than the solar activity. Our discovery delineating the solar activities and atmospheric pressure competition effects on the event rate can provide a different way to monitor real-time space weather and cast light on the investigation of short-term solar activity forecast.


title: A Unified Mammogram Analysis Method via Hybrid Deep Supervision

abstract: Automatic mammogram classification and mass segmentation play a critical role in a computer-aided mammogram screening system. In this work, we present a unified mammogram analysis framework for both whole-mammogram classification and segmentation. Our model is designed based on a deep U-Net with residual connections, and equipped with the novel hybrid deep supervision (HDS) scheme for end-to-end multi-task learning. As an extension of deep supervision (DS), HDS not only can force the model to learn more discriminative features like DS, but also seamlessly integrates segmentation and classification tasks into one model, thus the model can benefit from both pixel-wise and image-wise supervisions. We extensively validate the proposed method on the widely-used INbreast dataset. Ablation study corroborates that pixel-wise and image-wise supervisions are mutually beneficial, evidencing the efficacy of HDS. The results of 5-fold cross validation indicate that our unified model matches state-of-the-art performance on both mammogram segmentation and classification tasks, which achieves an average segmentation Dice similarity coefficient (DSC) of 0.85 and a classification accuracy of 0.89. The code is available at https://github.com/angrypudding/hybrid-ds.


title: The integer homology threshold in $Y_d(n, p)$

abstract: We prove that in the $d$-dimensional Linial--Meshulam stochastic process the $(d - 1)$st homology group with integer coefficients vanishes exactly when the final isolated $(d - 1)$-dimensional face is covered by a top-dimensional face. This generalizes the $d = 2$ case proved recently by \L uczak and Peled and establishes that $p = \frac{d \log n}{n}$ is the sharp threshold for homology with integer coefficients to vanish in $Y_d(n, p),$ answering a 2003 question of Linial and Meshulam.


title: Adaptation and Robust Learning of Probabilistic Movement Primitives

abstract: Probabilistic representations of movement primitives open important new possibilities for machine learning in robotics. These representations are able to capture the variability of the demonstrations from a teacher as a probability distribution over trajectories, providing a sensible region of exploration and the ability to adapt to changes in the robot environment. However, to be able to capture variability and correlations between different joints, a probabilistic movement primitive requires the estimation of a larger number of parameters compared to their deterministic counterparts, that focus on modeling only the mean behavior. In this paper, we make use of prior distributions over the parameters of a probabilistic movement primitive to make robust estimates of the parameters with few training instances. In addition, we introduce general purpose operators to adapt movement primitives in joint and task space. The proposed training method and adaptation operators are tested in a coffee preparation and in robot table tennis task. In the coffee preparation task we evaluate the generalization performance to changes in the location of the coffee grinder and brewing chamber in a target area, achieving the desired behavior after only two demonstrations. In the table tennis task we evaluate the hit and return rates, outperforming previous approaches while using fewer task specific heuristics.


title: Anisotropic Characteristic Lengths of Colloidal Monolayers Near a Water-Air Interface

abstract: Near-interface colloidal monolayers have often been used as model systems for research on hydrodynamics in biophysics and microfluidic systems. Using optical microscopy and multiparticle tracking techniques, the correlated diffusion of particles is experimentally measured in colloidal monolayers near a water-air interface. It is found that the characteristic lengths X1 and X2 of such a colloidal monolayer are anisotropic in these two perpendicular directions. The former (X1)is equal to the Saffman length of the monolayer and reflects the continuous nature of the system in the longitudinal direction. The latter (X2)is a function of both the Saffman length and the radius of the colloids and reflects the discrete nature of the system in the transverse direction. This discovery demonstrates that the hydrodynamics intrinsically follow different rules in these two directions in this system.


title: Graph reduction with spectral and cut guarantees

abstract: Can one reduce the size of a graph without significantly altering its basic properties? The graph reduction problem is hereby approached from the perspective of restricted spectral approximation, a modification of the spectral similarity measure used for graph sparsification. This choice is motivated by the observation that restricted approximation carries strong spectral and cut guarantees, and that it implies approximation results for unsupervised learning problems relying on spectral embeddings. The paper then focuses on coarsening---the most common type of graph reduction. Sufficient conditions are derived for a small graph to approximate a larger one in the sense of restricted similarity. These findings give rise to nearly-linear algorithms that, compared to both standard and advanced graph reduction methods, find coarse graphs of improved quality, often by a large margin, without sacrificing speed.


title: Identifying the Discount Factor in Dynamic Discrete Choice Models

abstract: Empirical research often cites observed choice responses to variation that shifts expected discounted future utilities, but not current utilities, as an intuitive source of information on time preferences. We study the identification of dynamic discrete choice models under such economically motivated exclusion restrictions on primitive utilities. We show that each exclusion restriction leads to an easily interpretable moment condition with the discount factor as the only unknown parameter. The identified set of discount factors that solves this condition is finite, but not necessarily a singleton. Consequently, in contrast to common intuition, an exclusion restriction does not in general give point identification. Finally, we show that exclusion restrictions have nontrivial empirical content: The implied moment conditions impose restrictions on choices that are absent from the unconstrained model.


title: Wasabi: A Framework for Dynamically Analyzing WebAssembly

abstract: WebAssembly is the new low-level language for the web and has now been implemented in all major browsers since over a year. To ensure the security, performance, and correctness of future web applications, there is a strong need for dynamic analysis tools for WebAssembly. Unfortunately, building such tools from scratch requires knowledge of low-level details of the language, and perhaps even its runtime environment. This paper presents Wasabi, the first general-purpose framework for dynamically analyzing WebAssembly. Wasabi provides an easy-to-use, high-level API that allows implementing heavyweight dynamic analyses that can monitor all low-level behavior. The approach is based on binary instrumentation, which inserts calls to analysis functions written in JavaScript into a WebAssembly binary. Wasabi addresses several unique challenges not present for other binary instrumentation tools, such as the problem of tracing type-polymorphic instructions with analysis functions that have a fixed type, which we address through an on-demand monomorphization of analysis calls. To control the overhead imposed by an analysis, Wasabi selectively instruments only those instructions relevant for the analysis. Our evaluation on compute-intensive benchmarks and real-world applications shows that Wasabi (i) faithfully preserves the original program behavior, (ii) imposes an overhead that is reasonable for heavyweight dynamic analysis (depending on the program and the analyzed instructions, between 1.02x and 163x), and (iii) makes it straightforward to implement various dynamic analyses, including instruction counting, call graph extraction, memory access tracing, and taint analysis.


title: An Empirical Analysis of the Role of Amplifiers, Downtoners, and Negations in Emotion Classification in Microblogs

abstract: The effect of amplifiers, downtoners, and negations has been studied in general and particularly in the context of sentiment analysis. However, there is only limited work which aims at transferring the results and methods to discrete classes of emotions, e. g., joy, anger, fear, sadness, surprise, and disgust. For instance, it is not straight-forward to interpret which emotion the phrase "not happy" expresses. With this paper, we aim at obtaining a better understanding of such modifiers in the context of emotion-bearing words and their impact on document-level emotion classification, namely, microposts on Twitter. We select an appropriate scope detection method for modifiers of emotion words, incorporate it in a document-level emotion classification model as additional bag of words and show that this approach improves the performance of emotion classification. In addition, we build a term weighting approach based on the different modifiers into a lexical model for the analysis of the semantics of modifiers and their impact on emotion meaning. We show that amplifiers separate emotions expressed with an emotion- bearing word more clearly from other secondary connotations. Downtoners have the opposite effect. In addition, we discuss the meaning of negations of emotion-bearing words. For instance we show empirically that "not happy" is closer to sadness than to anger and that fear-expressing words in the scope of downtoners often express surprise.


title: Gibson Env: Real-World Perception for Embodied Agents

abstract: Developing visual perception models for active agents and sensorimotor control are cumbersome to be done in the physical world, as existing algorithms are too slow to efficiently learn in real-time and robots are fragile and costly. This has given rise to learning-in-simulation which consequently casts a question on whether the results transfer to real-world. In this paper, we are concerned with the problem of developing real-world perception for active agents, propose Gibson Virtual Environment for this purpose, and showcase sample perceptual tasks learned therein. Gibson is based on virtualizing real spaces, rather than using artificially designed ones, and currently includes over 1400 floor spaces from 572 full buildings. The main characteristics of Gibson are: I. being from the real-world and reflecting its semantic complexity, II. having an internal synthesis mechanism, "Goggles", enabling deploying the trained models in real-world without needing further domain adaptation, III. embodiment of agents and making them subject to constraints of physics and space.


title: Accretion heated atmospheres of X-ray bursting neutron stars

abstract: Some thermonuclear (type I) X-ray bursts at the neutron star surfaces in low-mass X-ray binaries take place during hard persistent states of the systems. Spectral evolution of these bursts is well described by the atmosphere model of a passively cooling neutron star when the burst luminosity is high enough. The observed spectral evolution deviates from the model predictions when the burst luminosity drops below a critical value of 20-70% of the maximum luminosity. We suggest that these deviations are induced by the additional heating of the accreted particles. We present a method for computation of the neutron star atmosphere models heated by accreted particles assuming that their energy is released via Coulomb interactions with electrons. We compute the temperature structures and the emergent spectra of the atmospheres of various chemical compositions and investigate the dependence of the results on the other model parameters. We show that the heated atmosphere develops the hot (20--100 keV) corona-like surface layer cooled by Compton scattering, and the deeper, almost isothermal optically thick region with a temperature of a few keV. The emergent spectra deviate strongly from those of undisturbed neutron star atmospheres, with the main differences being the presence of a high-energy tail and a strong excess in the low-energy part of the spectrum. They also lack the iron absorption edge, which is visible in the spectra of undisturbed low-luminosity atmospheres with solar chemical composition. Using the computed spectra, we obtained the dependences of the dilution and color-correction factors as functions of relative luminosities for pure helium and solar abundance atmospheres. We show that the helium model atmosphere heated by accretion corresponding to 5% of the Eddington luminosity describes well the late stages of the X-ray bursts in 4U 1820-30.


title: Temperature coefficient of Silicon based carrier selective solar cells

abstract: Carrier Selective (CS) Silicon solar cells are increasingly explored as a low cost alternative to PN junction Silicon solar cells. While the recent trends on power conversion efficiency are encouraging, the temperature coefficient and hence the power output under elevated temperatures are not well explored for such solar cells. Here, we address this issue through detailed numerical simulations to explore the influence of interface and material parameters on the temperature coefficient. Our results indicate that irrespective of the interface quality, the temperature coefficient of CS solar cells improves with an increase in band discontinuities. Interestingly, contrary to the trends related to efficiency, our results indicate that the temperature coefficient of CS solar cells is more critically affected by the interface quality of the minority carrier extraction layer than the majority carrier extraction layer. These insights have important implications towards the choice of optimal material and processing conditions for Si based CS solar cells.


title: Automated Prototype Generation from Formal Requirements Model

abstract: Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually developing a prototype of a software system requires additional efforts, which would increase the overall cost of software development. In this paper, we present an approach with a developed tool to automatic generation of prototypes from formal requirements models. A requirements model consists of a use case diagram, a conceptual class diagram, use case definitions specified by system sequence diagrams and the contracts of their system operations. We propose a method to decompose a contract into executable parts and non-executable parts. A set of transformation rules is given to decompose the executable part into pre-implemented primitive operations. A non-executable part is usually realized by significant algorithms such as sorting a list, finding the shortest path or domain-specific computation. It can be implemented manually or by using existing code. A CASE tool is developed that provides an interface for developers to develop a program for each non-executable part of a contract, and automatically transforms the executables into sequences of pre-implemented primitive operations. We have conducted four cases studies with over 50 use cases. The experimental result shows that the 93.65% of requirement specifications are executable, and only 6.35% are non-executable such as sorting and event-call, which can be implemented by developers manually or invoking the APIs of advanced algorithms in Java library. The one second generated the prototype of a case study requires approximate nine hours manual implementation by a skilled programmer. Overall, the result is satisfiable, and the proposed approach with the developed CASE tool can be applied to the software industry for requirements engineering.


title: Single-Source Bottleneck Path Algorithm Faster than Sorting for Sparse Graphs

abstract: In a directed graph $G=(V,E)$ with a capacity on every edge, a \emph{bottleneck path} (or \emph{widest path}) between two vertices is a path maximizing the minimum capacity of edges in the path. For the single-source all-destination version of this problem in directed graphs, the previous best algorithm runs in $O(m+n\log n)$ ($m=|E|$ and $n=|V|$) time, by Dijkstra search with Fibonacci heap [Fredman and Tarjan 1987]. We improve this time bound to $O(m\sqrt{\log n})$, thus it is the first algorithm which breaks the time bound of classic Fibonacci heap when $m=o(n\sqrt{\log n})$. It is a Las-Vegas randomized approach. By contrast, the s-t bottleneck path has an algorithm with running time $O(m\beta(m,n))$ [Chechik et al. 2016], where $\beta(m,n)=\min\{k\geq 1: \log^{(k)}n\leq\frac{m}{n}\}$.


title: Sparse and Switching Infinite Horizon Optimal Control with Mixed-Norm Penalizations

abstract: A class of infinite horizon optimal control problems involving mixed quasi-norms of $L^p$-type cost functionals for the controls is discussed. These functionals enhance sparsity and switching properties of the optimal controls. The existence of optimal controls and their structural properties are analyzed on the basis of first order optimality conditions. A dynamic programming approach is used for numerical realization.


title: Sup-norm adaptive simultaneous drift estimation for ergodic diffusions

abstract: We consider the question of estimating the drift and the invariant density for a large class of scalar ergodic diffusion processes, based on continuous observations, in $\sup$-norm loss. The unknown drift $b$ is supposed to belong to a nonparametric class of smooth functions of unknown order. We suggest an adaptive approach which allows to construct drift estimators attaining minimax optimal $\sup$-norm rates of convergence. In addition, we prove a Donsker theorem for the classical kernel estimator of the invariant density and establish its semiparametric efficiency. Finally, we combine both results and propose a fully data-driven bandwidth selection procedure which simultaneously yields both a rate-optimal drift estimator and an asymptotically efficient estimator of the invariant density of the diffusion. Crucial tool for our investigation are uniform exponential inequalities for empirical processes of diffusions.


title: Enhanced arc-flow formulations to minimize weighted completion time on identical parallel machines

abstract: We consider the problem of scheduling a set of jobs on a set of identical parallel machines, with the aim of minimizing the total weighted completion time. The problem has been solved in the literature with a number of mathematical formulations, some of which require the implementation of tailored branch-and-price methods. In our work, we solve the problem instead by means of new arc-flow formulations, by first representing it on a capacitated network and then invoking a mixed integer linear model with a pseudo-polynomial number of variables and constraints. According to our computational tests, existing formulations from the literature can solve to proven optimality benchmark instances with up to 100 jobs, whereas our most performing arc-flow formulation solves all instances with up to 400 jobs and provides very low gap for larger instances with up to 1000 jobs.


title: Approximate Conservation Laws in the KdV Equation

abstract: The Korteweg-de Vries equation is known to yield a valid description of surface waves for waves of small amplitude and large wavelength. The equation features a number of conserved integrals, but there is no consensus among scientists as to the physical meaning of these integrals. In particular, it is not clear whether these integrals are related to the conservation of momentum or energy, and some researchers have questioned the conservation of energy in the dynamics governed by the equation. In this note it is shown that while exact energy conservation may not hold, if momentum and energy densities and fluxes are defined in an appropriate way, then solutions of the Korteweg-de Vries equation give rise to approximate differential balance laws for momentum and energy.


title: A Multi-layer Gaussian Process for Motor Symptom Estimation in People with Parkinson's Disease

abstract: The assessment of Parkinson's disease (PD) poses a significant challenge as it is influenced by various factors which lead to a complex and fluctuating symptom manifestation. Thus, a frequent and objective PD assessment is highly valuable for effective health management of people with Parkinson's disease (PwP). Here, we propose a method for monitoring PwP by stochastically modeling the relationships between their wrist movements during unscripted daily activities and corresponding annotations about clinical displays of movement abnormalities. We approach the estimation of PD motor signs by independently modeling and hierarchically stacking Gaussian process models for three classes of commonly observed movement abnormalities in PwP including tremor, (non-tremulous) bradykinesia, and (non-tremulous) dyskinesia. We use clinically adopted severity measures as annotations for training the models, thus allowing our multi-layer Gaussian process prediction models to estimate not only their presence but also their severities. The experimental validation of our approach demonstrates strong agreement of the model predictions with these PD annotations. Our results show the proposed method produces promising results in objective monitoring of movement abnormalities of PD in the presence of arbitrary and unknown voluntary motions, and makes an important step towards continuous monitoring of PD in the home environment.