title: Metamorphs: Bistable Planar Structures

abstract: Extreme deformation can drastically morph a structure from one structural form into another. Programming such deformation properties into the structure is often challenging and in many cases an impossible task. The morphed forms do not hold and usually relapse to the original form, where the structure is in its lowest energy state. For example, a stick, when bent, resists its bent form and tends to go back to its initial straight form, where it holds the least amount of potential energy. In this project, we present a computational design method which can create fabricable planar structure that can morph into two different bistable forms. Once the user provides the initial desired forms, the method automatically creates support structures (internal springs), such that, the structure can not only morph, but also hold the respective forms under external force application. We achieve this through an iterative nonlinear optimization strategy for shaping the potential energy of the structure in the two forms simultaneously. Our approach guarantees first and second-order stability with respect to the potential energy of the bistable structure.


title: An extreme ultraviolet wave generating upward secondary waves in a streamer-like solar structure

abstract: Extreme ultraviolet (EUV) waves, spectacular horizontally propagating disturbances in the low solar corona, always trigger horizontal secondary waves (SWs) when they encounter ambient coronal structure. We present a first example of upward SWs in a streamer-like structure after the passing of an EUV wave. The event occurred on 2017 June 1. The EUV wave happened during a typical solar eruption including a filament eruption, a CME, a C6.6 flare. The EUV wave was associated with quasi-periodic fast propagating (QFP) wave trains and a type II radio burst that represented the existence of a coronal shock. The EUV wave had a fast initial velocity of $\sim$1000 km s$^{-1}$, comparable to high speeds of the shock and the QFP wave trains. Intriguingly, upward SWs rose slowly ($\sim$80 km s$^{-1}$) in the streamer-like structure after the sweeping of the EUV wave. The upward SWs seemed to originate from limb brightenings that were caused by the EUV wave. All the results show the EUV wave is a fast-mode magnetohydrodynamic shock wave, likely triggered by the flare impulses. We suggest that part of the EUV wave was probably trapped in the closed magnetic fields of streamer-like structure, and upward SWs possibly resulted from the release of trapped waves in the form of slow-mode. It is believed that an interplay of the strong compression of the coronal shock and the configuration of the streamer-like structure is crucial for the formation of upward SWs.


title: Backwards theory supports modelling via invariant manifolds for non-autonomous dynamical systems

abstract: This article establishes the foundation for a new theory of invariant/integral manifolds for non-autonomous dynamical systems. Current rigorous support for dimensional reduction modelling of slow-fast systems is limited by the rare events in stochastic systems that may cause escape, and limited in many applications by the unbounded nature of PDE operators. To circumvent such limitations, we initiate developing a backward theory of invariant/integral manifolds that complements extant forward theory. Here, for deterministic non-autonomous ODE systems, we construct a conjugacy with a normal form system to establish the existence, emergence and exact construction of center manifolds in a finite domain for systems `arbitrarily close' to that specified. A benefit is that the constructed invariant manifolds are known to be exact for systems `close' to the one specified, and hence the only error is in determining how close over the domain of interest for any specific application. Built on the base developed here, planned future research should develop a theory for stochastic and/or PDE systems that is useful in a wide range of modelling applications.


title: New detections of (sub)millimeter hydrogen radio recombination lines towards high-mass star-forming clumps

abstract: Previous radio recombination line (RRL) observations of dust clumps identified in the APEX Telescope Large Area Survey of the Galaxy (ATLASGAL) have led to the detection of a large number of RRLs in the 3mm range. Here, we aim to study their excitation with shorter wavelength (sub)millimeter radio recombination line (submm-RRL) observations. We made observations of submm-RRLs with low principal quantum numbers ($n$ $\leq$ 30) using the APEX 12 m telescope, toward 104 HII regions associated with massive dust clumps from ATLASGAL. The observations covered the H25$\alpha$, H28$\alpha$, and H35$\beta$ transitions. Toward a small subsample the H26$\alpha$, H27$\alpha$, H29$\alpha$, and H30$\alpha$ lines were observed to avoid contamination by molecular lines at adjacent frequencies. We have detected submm-RRLs (signal-to-noise $\geq$ 3 $\sigma$) from compact HII regions embedded within 93 clumps. The submm-RRLs are approximately a factor of two brighter than the mm-RRLs and consistent with optically thin emission in local thermodynamic equilibrium (LTE). The average ratio (0.31) of the measured H35$\beta$/H28$\alpha$ fluxes is close to the LTE value of 0.28. No indication of RRL maser emission has been found. The Lyman photon flux, bolometric, and submm-RRL luminosities toward the submm-RRL detected sources present significant correlations. The trends of dust temperature and the ratio of bolometric luminosity to clump mass, $L_{\rm bol}/M_{\rm clump}$, indicate that the HII regions are related to the most massive and luminous clumps. By estimating the production rate of ionizing photons, $Q$, from the submm-RRL flux, we find that the $Q$(H28$\alpha$) measurements provide estimates of the Lyman continuum photon flux consistent with those determined from 5 GHz radio continuum emission.


title: Utilizing Neural Networks and Linguistic Metadata for Early Detection of Depression Indications in Text Sequences

abstract: Depression is ranked as the largest contributor to global disability and is also a major reason for suicide. Still, many individuals suffering from forms of depression are not treated for various reasons. Previous studies have shown that depression also has an effect on language usage and that many depressed individuals use social media platforms or the internet in general to get information or discuss their problems. This paper addresses the early detection of depression using machine learning models based on messages on a social platform. In particular, a convolutional neural network based on different word embeddings is evaluated and compared to a classification based on user-level linguistic metadata. An ensemble of both approaches is shown to achieve state-of-the-art results in a current early detection task. Furthermore, the currently popular ERDE score as metric for early detection systems is examined in detail and its drawbacks in the context of shared tasks are illustrated. A slightly modified metric is proposed and compared to the original score. Finally, a new word embedding was trained on a large corpus of the same domain as the described task and is evaluated as well.


title: Effect of capping layer on spin-orbit torques

abstract: In order to enhance the magnitude of spin-orbit torque (SOT), considerable experimental works have been devoted to studying the thickness dependence of the different layers in multilayers consisting of heavy metal (HM), ferromagnet (FM) and capping layers. Here we present a theoretical model based on the spin-drift-diffusion (SDD) formalism to investigate the effect of the capping layer properties such as its thickness on the SOT observed in experiments. It is found that the spin Hall-induced SOT can be significantly enhanced by incorporating a capping layer with opposite spin Hall angle to that of the HM layer. The spin Hall torque can be maximized by tuning the capping layer thickness. However, in the absence of the spin Hall effect (SHE) in the capping layer, the torque decreases monotonically with capping layer thickness. Conversely, the spin Hall torque is found to decrease monotonically with the FM layer thickness, irrespective of the presence or absence of SHE in the capping layer. All these trends are in correspondence with experimental observations. Finally, our model suggests that capping layers with long spin diffusion length and high resistivity would also enhance the spin Hall torque.


title: On the mean-field limit for the Vlasov-Poisson-Fokker-Planck system

abstract: We rigorously justify the mean-field limit of a $N$-particle system subject to the Brownian motion and interacting through a Newtonian potential in $\mathbb{R}^3$. Our result leads to a derivation of the Vlasov-Poisson-Fokkker-Planck (VPFP) equation from the microscopic $N$-particle system. More precisely, we show that the maximal distance between the exact microscopic trajectories and trajectories following the the mean-field is bounded by $N^{-\frac{1}{3}+\varepsilon}$ ($\frac{1}{63}\leq\varepsilon<\frac{1}{36}$) for a system with blob size $N^{-\delta}$ ($\frac{1}{3}\leq\delta<\frac{19}{54}-\frac{2\varepsilon}{3}$) up to a probability $1-N^{-\alpha}$ for any $\alpha>0$. Moreover, we prove the convergence rate between the empirical measure associated to the particle system and the solution of the VPFP equations. The technical novelty of this paper is that our estimates crucially rely on the randomness coming from the initial data and from the Brownian motion.


title: Synchronization in Quantum Key Distribution Systems

abstract: In the description of quantum key distribution systems, much attention is paid to the operation of quantum cryptography protocols. The main problem is the insufficient study of the synchronization process of quantum key distribution systems. This paper contains a general description of quantum cryptography principles. A two-line fiber-optic quantum key distribution system with phase coding of photon states in transceiver and coding station synchronization mode was examined. A quantum key distribution system was built on the basis of the scheme with automatic compensation of polarization mode distortions. Single-photon avalanche diodes were used as optical radiation detecting devices. It was estimated how the parameters used in quantum key distribution systems of optical detectors affect the detection of the time frame with attenuated optical pulse in synchronization mode with respect to its probabilistic and time-domain characteristics. A design method was given for the process that detects the time frame that includes an optical pulse during synchronization. This paper describes the main quantum communication channel attack methods by removing a portion of optical emission. This paper describes the developed synchronization algorithm that takes into account the time required to restore the photodetectors operation state after the photon has been registered during synchronization. The computer simulation results of the developed synchronization algorithm were analyzed...


title: {\emph{Ab initio} magneto-optical spectrum of Group-IV -- Vacancy color centers in diamond

abstract: Group-IV -- Vacancy color centers in diamond are fast emerging qubits that can be harnessed in quantum communication and sensor applications. There is an immediate quest for understanding their magneto-optical properties, in order to select the appropriate qubits for varying needs of particular quantum applications. Here we present results from cutting edge \emph{ab initio} calculations about the charge state stability, zero-phonon-line energies, spin-orbit and electron-phonon couplings for Group-IV -- Vacancy color centers. Based on the analysis of our results, we develop a novel spin Hamiltonian for these qubits which incorporates the interaction of the electron spin and orbit coupled with phonons beyond perturbation theory. Our results are in good agreement with previous data and predict a new defect for qubit applications with thermally initialized ground state spin and long spin coherence time.

categories: quant-ph cond-mat.mtrl-sci physics.atom-ph physics.comp-ph


title: On twisted reality conditions

abstract: We study the twisted reality condition of Math. Phys. Anal. Geom. 19 (2016),no. 3, Art. 16, for spectral triples, in particular with respect to the product and the commutant. Motivated by this we present the procedure, which allows one to "untwist" the twisted spectral triples studied in Lett. Math. Phys. 106 (2016), 1499-1530. We also relate this construction to conformally rescaled real twisted spectral triples, and discuss the untwisting of the `minimal twist' procedure of an even spectral triple.


title: Large Margin Structured Convolution Operator for Thermal Infrared Object Tracking

abstract: Compared with visible object tracking, thermal infrared (TIR) object tracking can track an arbitrary target in total darkness since it cannot be influenced by illumination variations. However, there are many unwanted attributes that constrain the potentials of TIR tracking, such as the absence of visual color patterns and low resolutions. Recently, structured output support vector machine (SOSVM) and discriminative correlation filter (DCF) have been successfully applied to visible object tracking, respectively. Motivated by these, in this paper, we propose a large margin structured convolution operator (LMSCO) to achieve efficient TIR object tracking. To improve the tracking performance, we employ the spatial regularization and implicit interpolation to obtain continuous deep feature maps, including deep appearance features and deep motion features, of the TIR targets. Finally, a collaborative optimization strategy is exploited to significantly update the operators. Our approach not only inherits the advantage of the strong discriminative capability of SOSVM but also achieves accurate and robust tracking with higher-dimensional features and more dense samples. To the best of our knowledge, we are the first to incorporate the advantages of DCF and SOSVM for TIR object tracking. Comprehensive evaluations on two thermal infrared tracking benchmarks, i.e. VOT-TIR2015 and VOT-TIR2016, clearly demonstrate that our LMSCO tracker achieves impressive results and outperforms most state-of-the-art trackers in terms of accuracy and robustness with sufficient frame rate.


title: QuaSE: Accurate Text Style Transfer under Quantifiable Guidance

abstract: We propose the task of Quantifiable Sequence Editing (QuaSE): editing an input sequence to generate an output sequence that satisfies a given numerical outcome value measuring a certain property of the sequence, with the requirement of keeping the main content of the input sequence. For example, an input sequence could be a word sequence, such as review sentence and advertisement text. For a review sentence, the outcome could be the review rating; for an advertisement, the outcome could be the click-through rate. The major challenge in performing QuaSE is how to perceive the outcome-related wordings, and only edit them to change the outcome. In this paper, the proposed framework contains two latent factors, namely, outcome factor and content factor, disentangled from the input sentence to allow convenient editing to change the outcome and keep the content. Our framework explores the pseudo-parallel sentences by modeling their content similarity and outcome differences to enable a better disentanglement of the latent factors, which allows generating an output to better satisfy the desired outcome and keep the content. The dual reconstruction structure further enhances the capability of generating expected output by exploiting the couplings of latent factors of pseudo-parallel sentences. For evaluation, we prepared a dataset of Yelp review sentences with the ratings as outcome. Extensive experimental results are reported and discussed to elaborate the peculiarities of our framework.


title: CANDID: Robust Change Dynamics and Deterministic Update Policy for Dynamic Background Subtraction

abstract: Background subtraction in video provides the preliminary information which is essential for many computer vision applications. In this paper, we propose a sequence of approaches named CANDID to handle the change detection problem in challenging video scenarios. The CANDID adaptively initializes the pixel-level distance threshold and update rate. These parameters are updated by computing the change dynamics at a location. Further, the background model is maintained by formulating a deterministic update policy. The performance of the proposed method is evaluated over various challenging scenarios such as dynamic background and extreme weather conditions. The qualitative and quantitative measures of the proposed method outperform the existing state-of-the-art approaches.


title: Non-degeneracy and uniqueness of solutions to singular mean field equations on bounded domains

abstract: The aim of this paper is to complete the program initiated in [50], [23] and then carried out by several authors concerning non-degeneracy and uniqueness of solutions to mean field equations. In particular, we consider mean field equations with general singular data on non-smooth domains. The argument is based on the Alexandrov-Bol inequality and on the eigenvalues analysis of linearized singular Liouville-type problems.


title: Forward-Backward Stochastic Neural Networks: Deep Learning of High-dimensional Partial Differential Equations

abstract: Classical numerical methods for solving partial differential equations suffer from the curse dimensionality mainly due to their reliance on meticulously generated spatio-temporal grids. Inspired by modern deep learning based techniques for solving forward and inverse problems associated with partial differential equations, we circumvent the tyranny of numerical discretization by devising an algorithm that is scalable to high-dimensions. In particular, we approximate the unknown solution by a deep neural network which essentially enables us to benefit from the merits of automatic differentiation. To train the aforementioned neural network we leverage the well-known connection between high-dimensional partial differential equations and forward-backward stochastic differential equations. In fact, independent realizations of a standard Brownian motion will act as training data. We test the effectiveness of our approach for a couple of benchmark problems spanning a number of scientific domains including Black-Scholes-Barenblatt and Hamilton-Jacobi-Bellman equations, both in 100-dimensions.


title: Unusual Strain glassy phase in Fe doped Ni$_2$Mn$_{1.5}$In$_{0.5}$

abstract: Fe doped Ni$_2$Mn$_{1.5}$In$_{0.5}$, particularly, Ni$_2$Mn$_{1.4}$Fe$_{0.1}$In$_{0.5}$, despite having an incommensurate, modulated 7M martensitic structure at room temperature exhibits frequency dependent behavior of storage modulus and loss that obeys Vogel-Fulcher law as well as shows ergodicity breaking between zero field cooled and field cooled strain measurements just above the transition temperature. Both, frequency dependence and ergodicity breaking are characteristics of a strain glassy phase and occur due to presence of strain domains which are large enough to present signatures of long range martensitic order in diffraction but are non interacting with other strain domains due to presence of Fe impurity.


title: Giant Rashba splitting of quasi-1D surface states on Bi/InAs(110)-(2$\times$1)

abstract: Electronic states on the Bi/InAs(110)-(2$\times$1) surface and its spin-polarized structure are revealed by angle-resolved photoelectron spectroscopy (ARPES), spin-resolved ARPES, and density-functional-theory calculation. The surface state showed quasi-one-dimensional (Q1D) dispersion and a nearly metallic character; the top of the hole-like surface band is just below the Fermi level. The size of the Rashba parameter ($\alpha_{\rm R}$) reached quite a large value ($\sim$5.5 eV\AA). The present result would provide a fertile playground for further studies of the exotic electronic phenomena in 1D or Q1D systems with the spin-split electronic states as well as for advanced spintronic devices.


title: An Integrated Development Environment for Planning Domain Modeling

abstract: In order to make the task, description of planning domains and problems, more comprehensive for non-experts in planning, the visual representation has been used in planning domain modeling in recent years. However, current knowledge engineering tools with visual modeling, like itSIMPLE (Vaquero et al. 2012) and VIZ (Vodr\'a\v{z}ka and Chrpa 2010), are less efficient than the traditional method of hand-coding by a PDDL expert using a text editor, and rarely involved in finetuning planning domains depending on the plan validation. Aim at this, we present an integrated development environment KAVI for planning domain modeling inspired by itSIMPLE and VIZ. KAVI using an abstract domain knowledge base to improve the efficiency of planning domain visual modeling. By integrating planners and a plan validator, KAVI proposes a method to fine-tune planning domains based on the plan validation.


title: To Find Where You Talk: Temporal Sentence Localization in Video with Attention Based Location Regression

abstract: Given an untrimmed video and a sentence description, temporal sentence localization aims to automatically determine the start and end points of the described sentence within the video. The problem is challenging as it needs the understanding of both video and sentence. Existing research predominantly employs a costly "scan and localize" framework, neglecting the global video context and the specific details within sentences which play as critical issues for this problem. In this paper, we propose a novel Attention Based Location Regression (ABLR) approach to solve the temporal sentence localization from a global perspective. Specifically, to preserve the context information, ABLR first encodes both video and sentence via Bidirectional LSTM networks. Then, a multi-modal co-attention mechanism is introduced to generate not only video attention which reflects the global video structure, but also sentence attention which highlights the crucial details for temporal localization. Finally, a novel attention based location regression network is designed to predict the temporal coordinates of sentence query from the previous attention. ABLR is jointly trained in an end-to-end manner. Comprehensive experiments on ActivityNet Captions and TACoS datasets demonstrate both the effectiveness and the efficiency of the proposed ABLR approach.


title: Double normals of most convex bodies

abstract: We consider a typical (in the sense of Baire categories) convex body $K$ in $\mathbb{R}^{d+1}$. The set of feet of its double normals is a Cantor set, having lower box-counting dimension $0$ and packing dimension $d$. The set of lengths of those double normals is also a Cantor set of lower box-counting dimension $0$. Its packing dimension is equal to $\frac{1}{2}$ if $d=1$, is at least $\frac{3}{4}$ if $d=2$, and equals $1$ if $d\geq3$. We also consider the lower and upper curvatures at feet of double normals of $K$, with a special interest for local maxima of the length function (they are countable and dense in the set of double normals). In particular, we improve a previous result about the metric diameter.


title: A Spark is Enough in a Straw World: a Study of Websites Password Management in the Wild

abstract: The widespread usage of password authentication in online websites leads to an ever-increasing concern, especially when considering the possibility for an attacker to recover the user password by leveraging the loopholes in the password recovery mechanisms. Indeed, if a website adopts a poor password management system, this choice makes useless even the most robust password chosen by its users. In this paper, we first provide a survey of currently adopted password recovery mechanisms. Later, we model an attacker with different capabilities and we show how current password recovery mechanisms can be exploited in our attacker model. Then, we provide a thorough analysis of the password management of some of the Alexa's top 200 websites in different countries, including England, France, Germany, Spain and Italy. Of these 1,000 websites, 722 do not require authentication -- and hence are excluded by our study -- while out of the remaining 278 we focused on 174, since 104 demanded a complex registration procedure. Of these 174, almost 25% of the them have critical vulnerabilities, while 44% have some form of vulnerability. Finally, we propose some effective countermeasures and we point out that, by considering the entry into force of the General Data Protection Regulation (GDPR) in May, 2018, most of websites are not compliant with the legislation and may incur in heavy fines. This study, other than being important on its own since it highlights some severe current vulnerabilities and proposes corresponding remedies, has the potential to also have a relevant impact on the EU industrial ecosystem.


title: Programming Parallel Dense Matrix Factorizations with Look-Ahead and OpenMP

abstract: We investigate a parallelization strategy for dense matrix factorization (DMF) algorithms, using OpenMP, that departs from the legacy (or conventional) solution, which simply extracts concurrency from a multithreaded version of BLAS. This approach is also different from the more sophisticated runtime-assisted implementations, which decompose the operation into tasks and identify dependencies via directives and runtime support. Instead, our strategy attains high performance by explicitly embedding a static look-ahead technique into the DMF code, in order to overcome the performance bottleneck of the panel factorization, and realizing the trailing update via a cache-aware multi-threaded implementation of the BLAS. Although the parallel algorithms are specified with a highlevel of abstraction, the actual implementation can be easily derived from them, paving the road to deriving a high performance implementation of a considerable fraction of LAPACK functionality on any multicore platform with an OpenMP-like runtime.


title: On time-inconsistent stopping problems and mixed strategy stopping times

abstract: A game-theoretic framework for time-inconsistent stopping problems where the time-inconsistency is due to the consideration of a non-linear function of an expected reward is developed. A class of mixed strategy stopping times that allows the agents in the game to jointly choose the intensity function of a Cox process is introduced and motivated. A subgame perfect Nash equilibrium is defined. The equilibrium is characterized and other necessary and sufficient equilibrium conditions including a smooth fit result are proved. Existence and uniqueness are investigated. A mean-variance and a variance problem are studied. The state process is a general one-dimensional It\^{o} diffusion.


title: Simple Yet Efficient Content Based Video Copy Detection

abstract: Given a collection of videos, how to detect content-based copies efficiently with high accuracy? Detecting copies in large video collections still remains one of the major challenges of multimedia retrieval. While many video copy detection approaches show high computation times and insufficient quality, we propose a new efficient content-based video copy detection algorithm improving both aspects. The idea of our approach consists in utilizing self-similarity matrices as video descriptors in order to capture different visual properties. We benchmark our algorithm on the MuscleVCD ST1 benchmark dataset and show that our approach is able to achieve a score of 100\% and a score of at least 93\% in a wide range of parameters.


title: A System's Perspective Towards an Architecture Framework for Safe Automated Vehicles

abstract: With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe challenge. Emergent properties like system safety are not solely arguable in singular viewpoints such as structural representations of software or electrical wiring (e.g. fault tolerant). This states the need to get several viewpoints on a system and describe correspondences between these views in order to enable traceability of emergent system properties. Today, the most abstract view found in architecture frameworks is a logical description of system functions which structures the system in terms of information flow and functional components. In this article we extend established system viewpoints towards a capability-based assessment of an automated vehicle and conduct an exemplary safety analysis to derive behavioral safety requirements. These requirements can afterwards be attributed to different viewpoints in an architecture frameworks and thus be integrated into a development process for automated vehicles.


title: Group Actions on cyclic covers of the projective line

abstract: We use tools from combinatorial group theory in order to study actions of three types on groups acting on a curve, namely the automorphism group of a compact Riemann surface, the mapping class group acting on a surface (which now is allowed to have some points removed) and the absolute Galois group $\mathrm{Gal}(\bar{\Q}/\Q)$ in the case of cyclic covers of the projective line.


title: The determinants of bank loan recovery rates in good times and bad - new evidence

abstract: We find that factors explaining bank loan recovery rates vary depending on the state of the economic cycle. Our modeling approach incorporates a two-state Markov switching mechanism as a proxy for the latent credit cycle, helping to explain differences in observed recovery rates over time. We are able to demonstrate how the probability of default and certain loan-specific and other variables hold different explanatory power with respect to recovery rates over `good' and `bad' times in the credit cycle. That is, the relationship between recovery rates and certain loan characteristics, firm characteristics and the probability of default differs depending on underlying credit market conditions. This holds important implications for modelling capital retention, particularly in terms of countercyclicality.


title: Effect of magnons on interfacial phonon drag in YIG/metal systems

abstract: We examine substrate-to-film interfacial phonon drag on typical spin Seebeck heterostructures, in particular studying the effect of ferromagnetic magnons on the phonon-electron drag dynamics at the interface. We investigate with high precision the effect of magnons in the Pt|YIG heterostructure by designing a magnon drag thermocouple; a hybrid sample with both a Pt|YIG film and Pt|GGG interface accessible isothermally via a 6 nm Pt film patterned in a rectangular U shape with one arm on the 250 nm YIG film and the other on GGG. We measure the voltage between the isothermal ends of the U, while applying a temperature gradient parallel to the arms and perpendicular to the bottom connection. With a uniform applied temperature gradient, the Pt acts as a differential thermocouple. We conduct temperature-dependent longitudinal thermopower measurements on this sample. Results show that the YIG interface actually decreases the thermopower of the film, implying that magnons impede phonon drag. We repeat the experiment using metals with low spin Hall angles, Ag and Al, in place of Pt. We find that the phonon drag peak in thermopower is killed in samples where the metallic interface is with YIG. We also investigate magneto-thermopower and YIG film thickness dependence. These measurements confirm our findings that magnons impede the phonon-electron drag interaction at the metallic interface in these heterostructures.


title: Delaunay simplices in diagonally distorted lattices

abstract: Delaunay protection is a measure of how far a Delaunay triangulation is from being degenerate. In this short paper we study the protection properties and other quality measures of the Delaunay triangulations of a family of lattices that is obtained by distorting the integer grid in $\mathbb{R}^d$. We show that the quality measures of this family are maximized for a certain distortion parameter, and that for this parameter, the lattice is isometric to the permutahedral lattice, which is a well-known object in discrete geometry.


title: Best constants for two families of higher order critical Sobolev embeddings

abstract: In this paper we obtain the best constants in some higher order Sobolev inequalities in the critical exponent. These inequalities can be separated into two types: those that embed into $L^\infty(\mathbb{R}^N)$ and those that embed into slightly larger target spaces. Concerning the former, we show that for $k \in \{1,\ldots, N-1\}$, $N-k$ even, one has an optimal constant $c_k>0$ such that \[ \|u\|_{L^\infty} \leq c_k \int |\nabla^k (-\Delta)^{(N-k)/2} u|\] for all $u \in C^\infty_c(\mathbb{R}^N)$ (the case $k=N$ was handled in a recent paper by Shafrir). Meanwhile the most significant of the latter is a variation of D. Adams' higher order inequality of J. Moser: For $\Omega \subset \mathbb{R}^N$, $m \in \mathbb{N}$ and $p=\frac{N}{m}$, there exists $A>0$ and optimal constant $\beta_0>0$ such that \[ \int_{\Omega} \exp (\beta_0 |u|^{p^\prime}) \leq A |\Omega| \] for all $u$ such that $\|\nabla^m u\|_{L^p(\Omega)} \leq 1$, where $\|\nabla^m u\|_{L^p(\Omega)}$ is the traditional semi-norm on the space $W^{m,p}(\Omega)$.


title: Constraints on a Spin-Dependent Exotic Interaction between Electrons with Single Electron Spin Quantum Sensors

abstract: A new laboratory bound on the axial-vector mediated interaction between electron spins at micrometer scale is established with single nitrogen-vacancy (NV) centers in diamond. A single crystal of $p$-terphenyl doped pentacene-$d_{14}$ under laser pumping provides the source of polarized electron spins. Based on the measurement of polarization signal via nitrogen-vacancy centers, we set a constraint for the exotic electron-electron coupling $g_A^eg_A^e$, within the force range from 10 to 900 $\mu$m. The obtained upper bound of the coupling at 500 $\mu$m is $|g_A^eg_A^e / 4\pi\hbar c |\leq 1.8\times 10^{-19} $, which is one order of magnitude more stringent than a previous experiment. Our result shows that the NV center can be a promising platform for searching for new particles predicted by theories beyond the standard model.


title: VH-HFCN based Parking Slot and Lane Markings Segmentation on Panoramic Surround View

abstract: The automatic parking is being massively developed by car manufacturers and providers. Until now, there are two problems with the automatic parking. First, there is no openly-available segmentation labels of parking slot on panoramic surround view (PSV) dataset. Second, how to detect parking slot and road structure robustly. Therefore, in this paper, we build up a public PSV dataset. At the same time, we proposed a highly fused convolutional network (HFCN) based segmentation method for parking slot and lane markings based on the PSV dataset. A surround-view image is made of four calibrated images captured from four fisheye cameras. We collect and label more than 4,200 surround view images for this task, which contain various illuminated scenes of different types of parking slots. A VH-HFCN network is proposed, which adopts an HFCN as the base, with an extra efficient VH-stage for better segmenting various markings. The VH-stage consists of two independent linear convolution paths with vertical and horizontal convolution kernels respectively. This modification enables the network to robustly and precisely extract linear features. We evaluated our model on the PSV dataset and the results showed outstanding performance in ground markings segmentation. Based on the segmented markings, parking slots and lanes are acquired by skeletonization, hough line transform and line arrangement.


title: Automatic Vector-based Road Structure Mapping Using Multi-beam LiDAR

abstract: In this paper, we studied a SLAM method for vector-based road structure mapping using multi-beam LiDAR. We propose to use the polyline as the primary mapping element instead of grid cell or point cloud, because the vector-based representation is precise and lightweight, and it can directly generate vector-based High-Definition (HD) driving map as demanded by autonomous driving systems. We explored: 1) the extraction and vectorization of road structures based on local probabilistic fusion. 2) the efficient vector-based matching between frames of road structures. 3) the loop closure and optimization based on the pose-graph. In this study, we took a specific road structure, the road boundary, as an example. We applied the proposed matching method in three different scenes and achieved the average absolute matching error of 0.07. We further applied the mapping system to the urban road with the length of 860 meters and achieved an average global accuracy of 0.466 m without the help of high precision GPS.


title: Propagating stress-pulses and wiggling transition revealed in string dynamics

abstract: Understanding string dynamics yields insights into the intricate dynamic behaviors of various filamentary thin structures in nature and industry covering multiple length scales. In this work, we investigate the planar dynamics of a flexible string where one end is free and the other end is subject to transverse and longitudinal motions. Under transverse harmonic motion, we reveal the propagating pulse structure in the stress profile over the string, and analyze its role in bringing the system into a chaotic state. For a string where one end is under longitudinal uniform acceleration, we identify the wiggling transition, derive the analytical wiggling solution from the string equations, and present the phase diagram.


title: On Strong Gravitational Lensing in Rotating Galactic Space-times

abstract: We study strong gravitational lensing in rotating space-times which can be thought of as realistic galactic models in General Relativity. To this end, using the Newman-Janis algorithm, we first obtain a rotating version of a static galactic metric advanced by Bharadwaj and Kar. This is matched with a generic external Kerr solution without a slowly-rotating approximation. Next, we construct a rotating version of Perlick's Bertrand space-times and establish this as a new rotating solution of Einstein's equations where each spatial radius admits a stable circular orbit. A rotating generalization of a strong lensing formalism due to Perlick is then applied to the rotating Bharadwaj-Kar metric and the differences with lensing in the purely Kerr background (for a Kerr black hole at the galactic center) is pointed out. Then, arguing that a rotating Bertrand space-time might be a realistic galactic model away from the galactic center, strong lensing is studied in this situation where the central singularity is naked. Possible observational signatures are elaborated upon, which might be useful in distinguishing black holes from naked singularities.


title: Algorithms and Conditional Lower Bounds for Planning Problems

abstract: We consider planning problems for graphs, Markov decision processes (MDPs), and games on graphs. While graphs represent the most basic planning model, MDPs represent interaction with nature and games on graphs represent interaction with an adversarial environment. We consider two planning problems where there are k different target sets, and the problems are as follows: (a) the coverage problem asks whether there is a plan for each individual target set, and (b) the sequential target reachability problem asks whether the targets can be reached in sequence. For the coverage problem, we present a linear-time algorithm for graphs and quadratic conditional lower bound for MDPs and games on graphs. For the sequential target problem, we present a linear-time algorithm for graphs, a sub-quadratic algorithm for MDPs, and a quadratic conditional lower bound for games on graphs. Our results with conditional lower bounds establish (i) model-separation results showing that for the coverage problem MDPs and games on graphs are harder than graphs and for the sequential reachability problem games on graphs are harder than MDPs and graphs; (ii) objective-separation results showing that for MDPs the coverage problem is harder than the sequential target problem.


title: Principal fibrations over noncommutative spheres

abstract: We present examples of noncommutative four-spheres that are base spaces of $SU(2)$-principal bundles with noncommutative seven-spheres as total spaces. The noncommutative coordinate algebras of the four-spheres are generated by the entries of a projection which is invariant under the action of $SU(2)$. We give conditions for the components of the Connes--Chern character of the projection to vanish but the second (the top) one. The latter is then a non zero Hochschild cycle that plays the role of the volume form for the noncommutative four-spheres.


title: Atiyah covering index theorem for riemannian foliations

abstract: We use the symbol calculus for foliations developed in our previous paper to derive a cohomological formula for the Connes-Chern character of the semi-finite spectral triple. The same proof works for the Type I spectral triple of Connes-Moscovici. The cohomology classes of the two Connes-Chern characters induce the same map on the image of the maximal Baum-Connes map in K-theory, thereby proving an Atiyah $L^2$ covering index theorem.


title: Fast Identification of Wiener-Hammerstein Systems using Discrete Optimization

abstract: This letter proposes a fast identification algorithm for Wiener-Hammerstein systems. The computational cost of separating the front and the back linear time invariant block dynamics is significantly improved by using discrete optimization. The discrete optimization is implemented as a genetic algorithm. Numerical results confirm the efficiency and accuracy of the proposed approach.


title: Comparison of several data-driven nonlinear system identification methods on a simplified glucoregulatory system example

abstract: In this paper, several advanced data-driven nonlinear identification techniques are compared on a specific problem: a simplified glucoregulatory system modeling example. This problem represents a challenge in the development of an artificial pancreas for T1DM treatment, since for this application good nonlinear models are needed to design accurate closed-loop controllers to regulate the glucose level in the blood. Block-oriented as well as state-space models are used to describe both the dynamics and the nonlinear behavior of the insulin-glucose system, and the advantages and drawbacks of each method are pointed out. The obtained nonlinear models are accurate in simulating the patient's behavior, and some of them are also sufficiently simple to be considered in the implementation of a model-based controller to develop the artificial pancreas.


title: Learning to Extract Coherent Summary via Deep Reinforcement Learning

abstract: Coherence plays a critical role in producing a high-quality summary from a document. In recent years, neural extractive summarization is becoming increasingly attractive. However, most of them ignore the coherence of summaries when extracting sentences. As an effort towards extracting coherent summaries, we propose a neural coherence model to capture the cross-sentence semantic and syntactic coherence patterns. The proposed neural coherence model obviates the need for feature engineering and can be trained in an end-to-end fashion using unlabeled data. Empirical results show that the proposed neural coherence model can efficiently capture the cross-sentence coherence patterns. Using the combined output of the neural coherence model and ROUGE package as the reward, we design a reinforcement learning method to train a proposed neural extractive summarizer which is named Reinforced Neural Extractive Summarization (RNES) model. The RNES model learns to optimize coherence and informative importance of the summary simultaneously. Experimental results show that the proposed RNES outperforms existing baselines and achieves state-of-the-art performance in term of ROUGE on CNN/Daily Mail dataset. The qualitative evaluation indicates that summaries produced by RNES are more coherent and readable.


title: An HI study of the collisional ring galaxy NGC 922

abstract: We present new atomic hydrogen (HI) observations of the collisional ring galaxy NGC 922 obtained using the Australia Telescope Compact Array. Our observations reveal for the first time the vast extent of the HI disc of this galaxy. The HI morphology and kinematics of NGC 922 show that this galaxy is not the product of a simple drop-through interaction, but has a more complex interaction history. The integrated HI flux density of NGC 922 from our observations is 24.7 Jy km s$^{-1}$, which is within the error of the flux value obtained using the $64$-m Parkes radio telescope. This flux density translates to a total HI mass of $1.1*10^{10}$ M$_{\circ}$ and corresponds to an HI to total mass fraction (M$_{HI}$/M$_{tot}$) of approximately $0.11$. The gaseous structures of NGC 922 are more extended to the north and include an HI tail that has a projected physical length of $8$ kpc. Gas warps are also evident in the velocity field of NGC 922 and are more prominent on the approaching and the western side of the disc. In comparison with a large sample of star-forming galaxies in the local Universe, NGC 922 possesses a high gas fraction relative to galaxies with a similar stellar mass of ~$10^{10.4}$ M$_{\circ}$, and exhibits a high specific star formation rate.


title: B-L Higgs Inflation in Supergravity With Several Consequences

abstract: We consider a renormalizable extension of the minimal supersymmetric standard model endowed by an R and a gauged B - L symmetry. The model incorporates chaotic inflation driven by a quartic potential, associated with the Higgs field which leads to a spontaneous breaking of U(1)B-L, and yields possibly detectable gravitational waves. We employ semi-logarithmic Kahler potentials with an enhanced symmetry which include only quadratic terms and integer prefactor for the logarithms. An explanation of the mu term of the MSSM is also provided, consistently with the low energy phenomenology, under the condition that one related parameter in the superpotential is somewhat small. Baryogenesis occurs via non-thermal leptogenesis which is realized by the inflaton's decay to the lightest or next-to-lightest right-handed neutrinos.


title: The GAPS Programme with HARPS-N at TNG XVII. Line profile indicators and kernel regression as diagnostics of radial-velocity variations due to stellar activity in solar-like stars

abstract: Stellar activity is the ultimate source of radial-velocity (RV) noise in the search for Earth-mass planets orbiting late-type main-sequence stars. We analyse the performance of four different indicators and the chromospheric index $\log R'_{\rm HK}$ in detecting RV variations induced by stellar activity in 15 slowly rotating ($v\sin i \leq 5$ km/s), weakly active ($\log R'_{\rm HK} \leq -4.95$) solar-like stars observed with the high-resolution spectrograph HARPS-N. We consider indicators of the asymmetry of the cross-correlation function (CCF) between the stellar spectrum and the binary weighted line mask used to compute the RV, that is the bisector inverse span (BIS), $\Delta V$, and a new indicator $V_{\rm asy(mod)}$ together with the full width at half maximum (FWHM) of the CCF. We present methods to evaluate the uncertainties of the CCF indicators and apply a kernel regression (KR) between the RV, the time, and each of the indicators to study their capability of reproducing the RV variations induced by stellar activity. The considered indicators together with the KR prove to be useful to detect activity-induced RV variations in $47 \pm 18$ percent of the stars over a two-year time span when a significance (two-sided p-value) threshold of one percent is adopted. In those cases, KR reduces the standard deviation of the RV time series by a factor of approximately two. The BIS, the FWHM, and the newly introduced $V_{\rm asy(mod)}$ are the best indicators, being useful in $27 \pm 13$, $13 \pm 9$, and $13 \pm 9$ percent of the cases, respectively. The relatively limited performances of the activity indicators are related to the very low activity level and $v\sin i$ of the considered stars. For the application of our approach to sun-like stars, a spectral resolution of at least $10^5$ and highly stabilized spectrographs are recommended.


title: A Stabilized Dual Mixed Hybrid Finite Element Method with Lagrange multipliers for Three-Dimensional Problems with Internal Interfaces

abstract: This work focuses on a class of elliptic boundary value problems with diffusive, advective and reactive terms, motivated by the study of three-dimensional heterogeneous physical systems composed of two or more media separated by a selective interface. We propose a novel approach for the numerical approximation of such heterogeneous systems combining, for the first time: (1) a dual mixed hybrid (DMH) finite element method (FEM) based on the lowest order Raviart-Thomas space (RT0); (2) a Three-Field (3F) formulation; and (3) a Streamline Upwind/Petrov-Galerkin (SUPG) stabilization method. Using the abstract theory for generalized saddle-point problems and their approximation, we show that the weak formulation of the proposed method and its numerical counterpart are both uniquely solvable and that the resulting finite element scheme enjoys optimal convergence properties with respect to the discretization parameter. In addition, an efficient implementation of the proposed formulation is presented. The implementation is based on a systematic use of static condensation which reduces the method to a nonconforming finite element approach on a grid made by three-dimensional simplices. Extensive computational tests demonstrate the theoretical conclusions and indicate that the proposed DMH-RT0 FEM scheme is accurate and stable even in the presence of marked interface jump discontinuities in the solution and its associated normal flux. Results also show that in the case of strongly dominating advective terms, the proposed method with the SUPG stabilization is capable of resolving accurately steep boundary and/or interior layers without introducing spurious unphysical oscillations or excessive smearing of the solution front.


title: Statistics and dynamics of the center of mass coordinate in a quantum liquid

abstract: Motivated by recent experiments in ultracold gases, we focus on the properties of the center of mass coordinate of an interacting one dimensional Fermi gas, displaying several distinct phases. While the variance of the center of mass vanishes in insulating phases such as phase separated and charge density wave phases, it remains finite in the metallic phase, which realizes a Luttinger liquid. By combining numerics with bosonization, we demonstrate that the autocorrelation function of the center of mass coordinate is universal throughout the metallic phase. It exhibits persistent oscillations and its short time dynamics reveal important features of the quantum liquid, such as the Luttinger liquid parameter and the renormalized velocity. The full counting statistics of the center of mass follows a normal distribution already for small systems. Our results apply to non-integrable systems as well and are within experimental reach for e.g. carbon nanotubes and cold atomic gases.


title: A single-photon router based on a modulated cavity optomechanical system

abstract: We investigate the routing of a single-photon in a modulated cavity optomechanical system, in which the cavity is driven by a strong coupling field, and the mechanical resonator (MR) is modulated with a weak coherent field. We show that, when there is no a weak coherent field modulating the MR, the system cannot act as a single-photon router, since the signal will be completely covered by the quantum and thermal noises. By introducing the weak coherent field, we can achieve the routing of the single-photon by adjusting the frequency of the weak coherent field, and the system can be immune to the quantum and thermal noises.


title: Bakry-\'Emery conditions on almost smooth metric measure spaces

abstract: In this short note, we give a sufficient condition for almost smooth compact metric measure spaces to satisfy the Bakry-\'Emery condition $BE (K, N)$. The sufficient condition is satisfied for the glued space of any two (not necessary same dimensional) closed pointed Riemannian manifolds at their base points. This tells us that the $BE$ condition is strictly weaker than the $RCD$ condition even in this setting, and that the local dimension is not constant even if the space satisfies the $BE$ condition with the coincidence between the induced distance by the Cheeger energy and the original distance. In particular, the glued space gives a first example with a Ricci bound from below in the Bakry-\'Emery sense, whose local dimension is not constant. We also give a necessary and sufficient condition for such spaces to be $RCD(K, N)$ spaces.


title: Atom-based quantum receiver for amplitude- and frequency-modulated baseband signals in high-frequency radio communication

abstract: An optical probe of cesium Rydberg atoms generated in a thermal vapor cell is used to retrieve a baseband signal modulated onto a 16.98-GHz carrier wave in real-time, demonstrating an atom-based quantum receiver suitable for microwave communication. The 60$S_{1/2}$ Rydberg level of cesium atoms in the cell is tracked via electromagnetically induced transparency (EIT), an established laser-spectroscopic method. The microwave carrier is resonant with the 60$S_{1/2}$ $\rightarrow$ 60$P_{1/2}$ Rydberg transition, resulting in an Autler-Townes (AT) splitting of the EIT signal. Amplitude modulation of the carrier wave results in a corresponding modulation in the optically retrieved AT splitting. Frequency modulation causes a change in relative height of the two AT peaks, which can be optically detected and processed to retrieve the modulation signal. The optical retrieval of the baseband signal does not require electronic demodulation. The method is suitable for carrier frequencies within a range from $\sim 1$~GHz to hundreds of GHz. The baseband bandwidth, which is $\sim$~20~Hz in the present demonstration, can be increased by faster spectroscopic sampling.


title: Semantic Adversarial Deep Learning

abstract: Fueled by massive amounts of data, models produced by machine-learning (ML) algorithms, especially deep neural networks, are being used in diverse domains where trustworthiness is a concern, including automotive systems, finance, health care, natural language processing, and malware detection. Of particular concern is the use of ML algorithms in cyber-physical systems (CPS), such as self-driving cars and aviation, where an adversary can cause serious consequences. However, existing approaches to generating adversarial examples and devising robust ML algorithms mostly ignore the semantics and context of the overall system containing the ML component. For example, in an autonomous vehicle using deep learning for perception, not every adversarial example for the neural network might lead to a harmful consequence. Moreover, one may want to prioritize the search for adversarial examples towards those that significantly modify the desired semantics of the overall system. Along the same lines, existing algorithms for constructing robust ML algorithms ignore the specification of the overall system. In this paper, we argue that the semantics and specification of the overall system has a crucial role to play in this line of research. We present preliminary research results that support this claim.


title: Inherent Brain Segmentation Quality Control from Fully ConvNet Monte Carlo Sampling

abstract: We introduce inherent measures for effective quality control of brain segmentation based on a Bayesian fully convolutional neural network, using model uncertainty. Monte Carlo samples from the posterior distribution are efficiently generated using dropout at test time. Based on these samples, we introduce next to a voxel-wise uncertainty map also three metrics for structure-wise uncertainty. We then incorporate these structure-wise uncertainty in group analyses as a measure of confidence in the observation. Our results show that the metrics are highly correlated to segmentation accuracy and therefore present an inherent measure of segmentation quality. Furthermore, group analysis with uncertainty results in effect sizes closer to that of manual annotations. The introduced uncertainty metrics can not only be very useful in translation to clinical practice but also provide automated quality control and group analyses in processing large data repositories.


title: Cell Selection with Deep Reinforcement Learning in Sparse Mobile Crowdsensing

abstract: Sparse Mobile CrowdSensing (MCS) is a novel MCS paradigm where data inference is incorporated into the MCS process for reducing sensing costs while its quality is guaranteed. Since the sensed data from different cells (sub-areas) of the target sensing area will probably lead to diverse levels of inference data quality, cell selection (i.e., choose which cells of the target area to collect sensed data from participants) is a critical issue that will impact the total amount of data that requires to be collected (i.e., data collection costs) for ensuring a certain level of quality. To address this issue, this paper proposes a Deep Reinforcement learning based Cell selection mechanism for Sparse MCS, called DR-Cell. First, we properly model the key concepts in reinforcement learning including state, action, and reward, and then propose to use a deep recurrent Q-network for learning the Q-function that can help decide which cell is a better choice under a certain state during cell selection. Furthermore, we leverage the transfer learning techniques to reduce the amount of data required for training the Q-function if there are multiple correlated MCS tasks that need to be conducted in the same target area. Experiments on various real-life sensing datasets verify the effectiveness of DR-Cell over the state-of-the-art cell selection mechanisms in Sparse MCS by reducing up to 15% of sensed cells with the same data inference quality guarantee.


title: On the Importance of PWV in Detecting Precipitation

abstract: With a rapid increase in the number of geostationary satellites around the earth's orbit, there has been a renewed interest in using Global Positioning System (GPS) to understand several phenomenon in earth's atmosphere. Such study using GPS devices are popular amongst the remote sensing community, as they provide several advantages with respect to scalability and range of applications. In this paper, we discuss how GPS signals can be used to estimate the amount of water vapor in the atmosphere. Furthermore, we demonstrate the importance of such precipitable water vapor (PWV) in the atmosphere for the task of rainfall detection. We present a detailed analysis in our dataset of meteorological data of 3 years. Test dataset shows that use of PWV in rainfall detection helps to reduce the false alarm rate by almost 12%.


title: A Predicted Astrometric Microlensing Event by a Nearby White Dwarf

abstract: We used the Tycho-Gaia Astrometric Solution catalogue, part of the Gaia Data Release 1, to search for candidate astrometric microlensing events expected to occur within the remaining lifetime of the Gaia satellite. Our search yielded one promising candidate. We predict that the nearby DQ type white dwarf LAWD 37 (WD 1142-645) will lens a background star and will reach closest approach on November 11th 2019 ($\pm$ 4 days) with impact parameter $380\pm10$ mas. This will produce an apparent maximum deviation of the source position of $2.8\pm0.1$ mas. In the most propitious circumstance, Gaia will be able to determine the mass of LAWD 37 to $\sim3\%$. This mass determination will provide an independent check on atmospheric models of white dwarfs with helium rich atmospheres, as well as tests of white dwarf mass radius relationships and evolutionary theory.


title: The Shards of $\omega$ Centauri

abstract: We use the SDSS-Gaia catalogue to search for substructure in the stellar halo. The sample comprises 62\,133 halo stars with full phase space coordinates and extends out to heliocentric distances of $\sim 10$ kpc. As actions are conserved under slow changes of the potential, they permit identification of groups of stars with a common accretion history. We devise a method to identify halo substructures based on their clustering in action space, using metallicity as a secondary check. This is validated against smooth models and numerical constructed stellar halos from the Aquarius simulations. We identify 21 substructures in the SDSS-Gaia catalogue, including 7 high significance, high energy and retrograde ones. We investigate whether the retrograde substructures may be material stripped off the atypical globular cluster $\omega$~Centauri. Using a simple model of the accretion of the progenitor of the $\omega$~Centauri, we tentatively argue for the possible association of up to 5 of our new substructures (labelled Rg1, Rg3, Rg4, Rg6 and Rg7) with this event. This sets a minimum mass of $5 \times 10^8 M_\odot$ for the progenitor, so as to bring $\omega$~Centauri to its current location in action -- energy space. Our proposal can be tested by high resolution spectroscopy of the candidates to look for the unusual abundance patterns possessed by $\omega$~Centauri stars.


title: Multi-Timescale Online Optimization of Network Function Virtualization for Service Chaining

abstract: Network Function Virtualization (NFV) can cost-efficiently provide network services by running different virtual network functions (VNFs) at different virtual machines (VMs) in a correct order. This can result in strong couplings between the decisions of the VMs on the placement and operations of VNFs. This paper presents a new fully decentralized online approach for optimal placement and operations of VNFs. Building on a new stochastic dual gradient method, our approach decouples the real-time decisions of VMs, asymptotically minimizes the time-average cost of NFV, and stabilizes the backlogs of network services with a cost-backlog tradeoff of $[\epsilon,1/\epsilon]$, for any $\epsilon > 0$. Our approach can be relaxed into multiple timescales to have VNFs (re)placed at a larger timescale and hence alleviate service interruptions. While proved to preserve the asymptotic optimality, the larger timescale can slow down the optimal placement of VNFs. A learn-and-adapt strategy is further designed to speed the placement up with an improved tradeoff $[\epsilon,\log^2(\epsilon)/{\sqrt{\epsilon}}]$. Numerical results show that the proposed method is able to reduce the time-average cost of NFV by 30\% and reduce the queue length (or delay) by 83\%, as compared to existing benchmarks.


title: Stretchcam: Zooming Using Thin, Elastic Optics

abstract: Stretchcam is a thin camera with a lens capable of zooming with small actuations. In our design, an elastic lens array is placed on top of a sparse, rigid array of pixels. This lens array is then stretched using a small mechanical motion in order to change the field of view of the system. We present in this paper the characterization of such a system and simulations which demonstrate the capabilities of stretchcam. We follow this with the presentation of images captured from a prototype device of the proposed design. Our prototype system is able to achieve 1.5 times zoom when the scene is only 300 mm away with only a 3% change of the lens array's original length.


title: Solution of Cross-Kerr Interaction Combined with Parametric Amplification

abstract: We present a full operator approach to treatment of the cross-Kerr interaction combined with parametric amplification. It is shown that this problem can be exactly integrated using the method of higher-order operators. While the initial basis is infinite-dimensional, an orthogonal transformation can reduce the problem exactly into a six-dimensional basis which can be integrated conveniently.


title: Constant term formulas for refined enumerations of Gog and Magog trapezoids

abstract: Gog and Magog trapezoids are certain arrays of positive integers that generalize alternating sign matrices (ASMs) and totally symmetric self-complementary plane partitions (TSSCPPs) respectively. Zeilberger used constant term formulas to prove that there is the same number of (n,k)-Gog trapezoids as there is of (n,k)-Magog trapezoids, thereby providing so far the only proof for a weak version of a conjecture by Mills, Robbins and Rumsey from 1986. About 20 years ago, Krattenthaler generalized Gog and Magog trapezoids and formulated an extension of their conjecture, and, recently, Biane and Cheballah generalized Gog trapezoids further and formulated a related conjecture. In this paper, we derive constant term formulas for various refined enumerations of generalized Gog trapezoids including those considered by Krattenthaler and by Biane and Cheballah. For this purpose we employ a result on the enumeration of truncated monotone triangles which is in turn based in the author's operator formula for the number of monotone triangles with prescribed bottom row. As a byproduct, we also generalize the operator formula for monotone triangles by including the inversion number and the complementary inversion number for ASMs. Constant term formulas as well as determinant formulas for the refined Magog trapezoid numbers that appear in Krattenthaler's conjecture are also deduced by using the classical approach based on non-intersecting lattice paths and the Lindstr\"om-Gessel-Viennot theorem. Finally, we review and partly extend a few existing tools that may be helpful in relating constant term formulas for Gogs to those for Magogs to eventually prove the above mentioned conjectures.


title: Quantum Lov{\'a}sz Local Lemma: Shearer's Bound is Tight

abstract: Lov{\'a}sz Local Lemma (LLL) is a very powerful tool in combinatorics and probability theory to show the possibility of avoiding all "bad" events under some "weakly dependent" condition. Over the last decades, the algorithmic aspect of LLL has also attracted lots of attention in theoretical computer science. A tight criterion under which the \emph{abstract} version LLL (ALLL) holds was given by Shearer. It turns out that Shearer's bound is generally not tight for \emph{variable} version LLL (VLLL). Recently, Ambainis et al. introduced a quantum version LLL (QLLL), which was then shown to be powerful for quantum satisfiability problem. In this paper, we prove that Shearer's bound is tight for QLLL, i.e., the relative dimension of the smallest satisfying subspace is completely characterized by the independent set polynomial, affirming a conjecture proposed by Sattath et al.. Our result also shows the tightness of Gily{\'e}n and Sattath's algorithm, and implies that the lattice gas partition function fully characterizes quantum satisfiability for almost all Hamiltonians with large enough qudits. Commuting LLL (CLLL), LLL for commuting local Hamiltonians which are widely studied in the literature, is also investigated here. We prove that the tight regions of CLLL and QLLL are different in general. Thus, the efficient region of algorithms for CLLL can go beyond Shearer's bound. In applications of LLLs, the symmetric cases are most common, i.e., the events are with the same probability and the Hamiltonians are with the same relative dimension. [See pdf file for full abstract]


title: Now you see me: evaluating performance in long-term visual tracking

abstract: We propose a new long-term tracking performance evaluation methodology and present a new challenging dataset of carefully selected sequences with many target disappearances. We perform an extensive evaluation of six long-term and nine short-term state-of-the-art trackers, using new performance measures, suitable for evaluating long-term tracking - tracking precision, recall and F-score. The evaluation shows that a good model update strategy and the capability of image-wide re-detection are critical for long-term tracking performance. We integrated the methodology in the VOT toolkit to automate experimental analysis and benchmarking and to facilitate the development of long-term trackers.


title: Probing Magnetic Sublattices in Multiferroic Ho$_{0.5}$Nd$_{0.5}$Fe$_{3}$(BO$_{3}$)$_{4}$ Single Crystal using X-ray Magnetic Circular Dichroism

abstract: Using element-specific X-ray magnetic circular dichroism (XMCD) technique we have studied different magnetic sublattices in a multiferroic Ho$_{0.5}$Nd$_{0.5}$Fe$_{3}$(BO$_{3}$)$_{4}$ single crystal. The XMCD measurements at the \emph{L}$_{2,3}$-edges of Ho and Nd, and at the Fe \emph{K}-edge have been performed at \emph{T}=2~K under a magnetic field up to 17~T applied along the trigonal \emph{c}-axis as well as in the basal \emph{ab}-plane. All three magnetic sublattices are shown to undergo a spin-reorientation transition under magnetic field applied along the \emph{c}-axis. On the contrary, when magnetic field is applied in the \emph{ab}-plane only the holmium atoms exhibit a magnetization jump. Thus, the element-specific magnetization curves revealed the Ho sublattice to be much stronger coupled to the Fe one than the Nd sublattice. The results demonstrate that the Ho$^{3+}$ subsystem plays even more dominant role in magnetic behavior of Ho$_{0.5}$Nd$_{0.5}$Fe$_{3}$(BO$_{3}$)$_{4}$ crystal than in pure HoFe$_{3}$(BO$_{3}$)$_{4}$ crystal.


title: The multidimensional truncated Moment Problem: Gaussian and Log-Normal Mixtures, their Carath\'eodory Numbers, and Set of Atoms

abstract: We study truncated moment sequences of distribution mixtures, especially from Gaussian and log-normal distributions and their Carath\'eodory numbers. For $\mathsf{A} = \{a_1,\dots,a_m\}$ continuous (sufficiently differentiable) functions on $\mathbb{R}^n$ we give a general upper bound of $m-1$ and a general lower bound of $\left\lceil \frac{2m}{(n+1)(n+2)}\right\rceil$. For polynomials of degree at most $d$ in $n$ variables we find that the number of Gaussian and log-normal mixtures is bounded by the Carath\'eodory numbers in \cite{didio17Cara}. Therefore, for univariate polynomials $\{1,x,\dots,x^d\}$ at most $\left\lceil\frac{d+1}{2}\right\rceil$ distributions are needed. For bivariate polynomials of degree at most $2d-1$ we find that $\frac{3d(d-1)}{2}+1$ Gaussian distributions are sufficient. We also treat polynomial systems with gaps and find, e.g., that for $\{1,x^2,x^3,x^5,x^6\}$ 3 Gaussian distributions are enough for almost all truncated moment sequences. For log-normal distributions the number is bounded by half of the moment number. We give an example of continuous functions where more Gaussian distributions are needed than Dirac delta measures. We show that any inner truncated moment sequence has a mixture which contains any given distribution.


title: Exploring Partially Observed Networks with Nonparametric Bandits

abstract: Real-world networks such as social and communication networks are too large to be observed entirely. Such networks are often partially observed such that network size, network topology, and nodes of the original network are unknown. In this paper we formalize the Adaptive Graph Exploring problem. We assume that we are given an incomplete snapshot of a large network and additional nodes can be discovered by querying nodes in the currently observed network. The goal of this problem is to maximize the number of observed nodes within a given query budget. Querying which set of nodes maximizes the size of the observed network? We formulate this problem as an exploration-exploitation problem and propose a novel nonparametric multi-arm bandit (MAB) algorithm for identifying which nodes to be queried. Our contributions include: (1) $i$KNN-UCB, a novel nonparametric MAB algorithm, applies $k$-nearest neighbor UCB to the setting when the arms are presented in a vector space, (2) provide theoretical guarantee that $i$KNN-UCB algorithm has sublinear regret, and (3) applying $i$KNN-UCB algorithm on synthetic networks and real-world networks from different domains, we show that our method discovers up to 40% more nodes compared to existing baselines.


title: Limits on radio emission from meteors using the MWA

abstract: Recently, low frequency, broadband radio emission has been observed accompanying bright meteors by the Long Wavelength Array (LWA). The broadband spectra between 20 and 60 MHz were captured for several events, while the spectral index (dependence of flux density on frequency, with $S_\nu \propto \nu^\alpha$) was estimated to be $-4\pm1$ during the peak of meteor afterglows. Here we present a survey of meteor emission and other transient events using the Murchison Widefield Array (MWA) at 72-103 MHz. In our 322-hour survey, down to a $5\sigma$ detection threshold of 3.5 Jy/beam, no transient candidates were identified as intrinsic emission from meteors. We derived an upper limit of -3.7 (95% confidence limit) on the spectral index in our frequency range. We also report detections of other transient events, like reflected FM broadcast signals from small satellites, conclusively demonstrating the ability of the MWA to detect and track space debris on scales as small as 0.1 m in low Earth orbits.


title: Scattering of a short electromagnetic pulse from a Lorentz-Duffing film: theoretical and numerical analysis

abstract: We combine scattering theory, Fourier, traveling wave and asymptotic analyses together with numerical simulations to present interesting and practically useful properties of femtosecond pulse interaction with thin films. The dispersive material is described by a single resonance Lorentz model and its nonlinear extension with a cubic Duffing-type nonlinearity. A key feature of the Lorentz dielectric function is that its real part becomes negative between its zero and its pole, generating a forbidden region. We illustrate numerically the linear interaction of the pulse with the film using both scattering theory and Fourier analysis. Outside this region we show the generation of a sequence of pulses separated by round trips in the Fabry-Perot cavity due to multiple reflections. When the pulse spectrum is inside the forbidden region, we observe total reflection. Near the pole of the dielectric function, we demonstrate the slowing down of the pulse (group velocity tending to zero) in the medium that behaves as a high-Q cavity. We use the combination of analysis and simulations in the linear regime to validate the delta function approximation of the thin layer; this collapses the forbidden region to a single resonant point of the spectrum. We also study the single cycle pulse interaction with a thin film and show three distinct types of reflection: half-pulse, sinusoidal wave train and cosine wavelet. Finally we analyze the influence of a strong nonlinearity and observe that the film switches from reflecting to trasparent.


title: Attacking Convolutional Neural Network using Differential Evolution

abstract: The output of Convolutional Neural Networks (CNN) has been shown to be discontinuous which can make the CNN image classifier vulnerable to small well-tuned artificial perturbations. That is, images modified by adding such perturbations(i.e. adversarial perturbations) that make little difference to human eyes, can completely alter the CNN classification results. In this paper, we propose a practical attack using differential evolution(DE) for generating effective adversarial perturbations. We comprehensively evaluate the effectiveness of different types of DEs for conducting the attack on different network structures. The proposed method is a black-box attack which only requires the miracle feedback of the target CNN systems. The results show that under strict constraints which simultaneously control the number of pixels changed and overall perturbation strength, attacking can achieve 72.29%, 78.24% and 61.28% non-targeted attack success rates, with 88.68%, 99.85% and 73.07% confidence on average, on three common types of CNNs. The attack only requires modifying 5 pixels with 20.44, 14.76 and 22.98 pixel values distortion. Thus, the result shows that the current DNNs are also vulnerable to such simpler black-box attacks even under very limited attack conditions.


title: MultiDark-Clusters: Galaxy Cluster Mock Light-Cones, eROSITA and the Cluster Power Spectrum

abstract: Cosmological simulations are fundamental tools to study structure formation and the astrophysics of evolving structures, in particular clusters of galaxies. While hydrodynamical simulations cannot sample efficiently large volumes and explore different cosmologies at the same time, N-body simulations lack the baryonic physics that is crucial to determine the observed properties of clusters. One solution is to use (semi-)analytical models to implement the needed baryonic physics. In this way, we can generate the many mock universes that will be required to fully exploit future large sky surveys, such as that from the upcoming eROSITA X-ray telescope. We developed a phenomenological model based on observations of clusters to implement gas density and temperature information on the dark-matter-only halos of the MultiDark simulations. We generate several full-sky mock light-cones of clusters for the WMAP and Planck cosmologies, adopting different parameters in our phenomenological model of the intra-cluster medium. For one of these simulations and models, we also generate 100 light-cones corresponding to 100 random observers and explore the variance among them in several quantities. In this first paper on MultiDark mock galaxy cluster light-cones, we focus on presenting our methodology and discuss predictions for eROSITA, in particular, exploring the potential of angular power spectrum analyses of its detected (and undetected) cluster population to study X-ray scaling relations, the intra-cluster medium, and the composition of the cosmic X-ray background. We make publicly available on-line more than 400 GB of light-cones, which include the expected eROSITA count rate, on Skies & Universes (http://www.skiesanduniverses.org).


title: Dynamics of linked filaments in excitable media

abstract: In this paper we present the results of parallel numerical computations of the long-term dynamics of linked vortex filaments in a three-dimensional FitzHugh-Nagumo excitable medium. In particular, we study all torus links with no more than 12 crossings and identify a timescale over which the dynamics is regular in the sense that each link is well-described by a spinning rigid conformation of fixed size that propagates at constant speed along the axis of rotation. We compute the properties of these links and demonstrate that they have a simple dependence on the crossing number of the link for a fixed number of link components. Furthermore, we find that instabilities that exist over longer timescales in the bulk can be removed by boundary interactions that yield stable torus links which settle snugly at the medium boundary. The Borromean rings are used as an example of a non-torus link to demonstrate both the irregular tumbling dynamics that arises in the bulk and its suppression by a tight confining medium. Finally, we investigate the collision of torus links and reveal that this produces a complicated wrestling motion where one torus link can eventually dominate over the other by pushing it into the boundary of the medium.

categories: nlin.PS cond-mat.soft hep-th physics.flu-dyn


title: Bayesian nonparametric analysis of Kingman's coalescent

abstract: Kingman's coalescent is one of the most popular models in population genetics. It describes the genealogy of a population whose genetic composition evolves in time according to the Wright-Fisher model, or suitable approximations of it belonging to the broad class of Fleming-Viot processes. Ancestral inference under Kingman's coalescent has had much attention in the literature, both in practical data analysis, and from a theoretical and methodological point of view. Given a sample of individuals taken from the population at time $t>0$, most contributions have aimed at making frequentist or Bayesian parametric inference on quantities related to the genealogy of the sample. In this paper we propose a Bayesian nonparametric predictive approach to ancestral inference. That is, under the prior assumption that the composition of the population evolves in time according to a neutral Fleming-Viot process, and given the information contained in an initial sample of $m$ individuals taken from the population at time $t>0$, we estimate quantities related to the genealogy of an additional unobservable sample of size $m^{\prime}\geq1$. As a by-product of our analysis we introduce a class of Bayesian nonparametric estimators (predictors) which can be thought of as Good-Turing type estimators for ancestral inference. The proposed approach is illustrated through an application to genetic data.


title: Emergent Dirac carriers across a pressure-induced Lifshitz transition in black phosphorus

abstract: The phase diagrams of correlated systems like cuprates or pnictides high-temperature superconductors are characterized by a topological change of the Fermi surface under continuous variation of an external parameter, the so-called Lifshitz transition. However, the large number of low-temperature instabilities and the interplay of multiple energy scales complicate the study of this phenomenon. Here we first identify the optical signatures of a pressure-induced Lifshitz transition in a clean elemental system, black phosphorus. By applying external pressures above 1.5 GPa, we observe a change in the pressure dependence of the Drude plasma frequency due to the appearance of massless Dirac fermions. At higher pressures, optical signatures of two structural phase transitions are also identified. Our findings suggest that a key fingerprint of the Lifshitz transition in solid state systems, and in absence of structural phase transitions, is a discontinuity of the Drude plasma frequency due to the change of Fermi surface topology.


title: Metallicity and superconductivity in doped strontium titanate

abstract: Strontium titanate is a wide-gap semiconductor avoiding a ferroelectric instability thanks to quantum fluctuations. This proximity leads to strong screening of static Coulomb interaction and paves the way for the emergence of a very dilute metal with extremely mobile carriers at liquid-helium temperature. Upon warming, mobility decreases by several orders of magnitude. Yet, metallicity persists above room temperature even when the apparent mean-free-path falls below the electron wavelength. The superconducting instability survives at exceptionally low concentrations and beyond the boundaries of Migdal-Eliashberg approximation. An intimate connection between dilute superconductivity and aborted ferroelectricity is widely suspected. In this review, we will give a brief account of ongoing research on bulk strontium titanate as an insulator, a metal and a superconductor.


title: Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning

abstract: In formal logic-based approaches to Recognizing Textual Entailment (RTE), a Combinatory Categorial Grammar (CCG) parser is used to parse input premises and hypotheses to obtain their logical formulas. Here, it is important that the parser processes the sentences consistently; failing to recognize a similar syntactic structure results in inconsistent predicate argument structures among them, in which case the succeeding theorem proving is doomed to failure. In this work, we present a simple method to extend an existing CCG parser to parse a set of sentences consistently, which is achieved with an inter-sentence modeling with Markov Random Fields (MRF). When combined with existing logic-based systems, our method always shows improvement in the RTE experiments on English and Japanese languages.


title: On distributions of exponential functionals of the processes with independent increments

abstract: The aim of this paper is to study the laws of the exponential functionals of the processes $X$ with independent increments, namely $$I_t= \int _0^t\exp(-X_s)ds, \,\, t\geq 0,$$ and also $$I_{\infty}= \int _0^{\infty}\exp(-X_s)ds.$$ Under suitable conditions we derive the integro-differential equations for the density of $I_t$ and $I_{\infty}$. We give sufficient conditions for the existence of smooth density of the laws of these functionals. In the particular case of Levy processes these equations can be simplified and, in a number of cases, solved explicitly.


title: Confinement- and strain-induced enhancement of thermoelectric properties in LaNiO$_3$/LaAlO$_3(001)$ superlattices

abstract: By combining ab initio simulations including an on-site Coulomb repulsion term and Boltzmann theory, we explore the thermoelectric properties of (LaNiO$_3$)$_n$/(LaAlO$_3$)$_n$(001) superlattices ($n=1,3$) and identify a strong dependence on confinement, spacer thickness, and epitaxial strain. While the system with $n=3$ shows modest values of the Seebeck coefficient and power factor, the simultaneous reduction of the LaNiO$_3$ region and the LaAlO$_3$ spacer thickness to single layers results in a strong enhancement, in particular of the in-plane values. This effect can be further tuned by using epitaxial strain as control parameter: Under tensile strain corresponding to the lateral lattice constant of SrTiO$_3$ we predict in- and cross-plane Seebeck coefficients of $\pm 600$ $\mu$V/K and an in-plane power factor of $11$ $\mu$W/K$^2$cm for an estimated relaxation time of $\tau = 4$ fs around room temperature. These values are comparable to some of the best performing oxide systems such as La-doped SrTiO$_3$ or layered cobaltates and are associated with the opening of a small gap ($0.29$ eV) induced by the concomitant effect of octahedral tilting and Ni-site disproportionation. This establishes oxide superlattices at the verge of a metal-to-insulator transition driven by confinement and strain as promising candidates for thermoelectric materials.


title: Identification of higher-order continua equivalent to a Cauchy elastic composite

abstract: A heterogeneous Cauchy elastic material may display micromechanical effects that can be modeled in a homogeneous equivalent material through the introduction of higher-order elastic continua. Asymptotic homogenization techniques provide an elegant and rigorous route to the evaluation of equivalent higher-order materials, but are often of difficult and awkward practical implementation. On the other hand, identification techniques, though relying on simplifying assumptions, are of straightforward use. A novel strategy for the identification of equivalent second-gradient Mindlin solids is proposed in an attempt to combine the accuracy of asymptotic techniques with the simplicity of identification approaches. Following the asymptotic homogenization scheme, the overall behaviour is defined via perturbation functions, which (differently from the asymptotic scheme) are evaluated on a finite domain obtained as the periodic repetition of cells and subject to quadratic displacement boundary conditions. As a consequence, the periodicity of the perturbation function is satisfied only in an approximate sense, nevertheless results from the proposed identification algorithm are shown to be reasonably accurate.


title: Star formation in the outskirts of DDO 154: A top-light IMF in a nearly dormant disc

abstract: We present optical photometry of Hubble Space Telescope (HST) ACS/WFC data of the resolved stellar populations in the outer disc of the dwarf irregular galaxy DDO 154. The photometry reveals that young main sequence stars are almost absent from the outermost HI disc. Instead, most are clustered near the main stellar component of the galaxy. We constrain the stellar initial mass function (IMF) by comparing the luminosity function of the main sequence stars to simulated stellar populations assuming a constant star formation rate over the dynamical timescale. The best-fitting IMF is deficient in high mass stars compared to a canonical Kroupa IMF, with a best-fit slope $\alpha = -2.45$ and upper mass limit $M_U = 16\ M_{\odot}$. This top-light IMF is consistent with predictions of the Integrated Galaxy-wide IMF theory. Combining the HST images with HI data from The HI Nearby Galaxy Survey Treasury (THINGS) we determine the star formation law (SFL) in the outer disc. The fit has a power law exponent $N = 2.92 \pm0.22$ and zero point $A=4.47 \pm 0.65 \times 10^{-7} \ M_{\odot} \ \text{yr}^{-1} \ \text{kpc}^{-2}$. This is depressed compared to the Kennicutt-Schmidt Star Formation Law, but consistent with weak star formation observed in diffuse HI environments. Extrapolating the SFL over the outer disc implies that there could be significant star formation occurring that is not detectable in H$\alpha$. Last, we determine the Toomre stability parameter $Q$ of the outer disc of DDO 154 using the THINGS HI rotation curve and velocity dispersion map. 72% of the HI in our field has $Q\leq 4$ and this incorporates 96% of the observed MS stars. Hence 28% of the HI in the field is largely dormant.


title: Darboux coordinates for Hamiltonian structures defined by Novikov algebras

abstract: The Gauss-Manin equations are solved for a class of flat-metrics defined by Novikov algebras, this generalizing a result of Balinskii and Novikov who solved this problem in the case of commutative Novikov algebras (where the algebraic conditions reduce to those of a Frobenius algebra). The problem stems from the theory of first-order Hamiltonian operators and their reduction to a constant, or Darboux, form. The monodromy group associated with the Novikov algebra gives rise to an orbit space, which is, for a wide range of Novikov algebras, a cyclic quotient singularity.


title: Backward Induction for Repeated Games

abstract: We present a method of backward induction for computing approximate subgame perfect Nash equilibria of infinitely repeated games with discounted payoffs. This uses the selection monad transformer, combined with the searchable set monad viewed as a notion of 'topologically compact' nondeterminism, and a simple model of computable real numbers. This is the first application of Escard\'o and Oliva's theory of higher-order sequential games to games of imperfect information, in which (as well as its mathematical elegance) lazy evaluation does nontrivial work for us compared with a traditional game-theoretic analysis. Since a full theoretical understanding of this method is lacking (and appears to be very hard), we consider this an 'experimental' paper heavily inspired by theoretical ideas. We use the famous Iterated Prisoner's Dilemma as a worked example.


title: Traveling waves for the quartic focusing Half Wave equation in one space dimension

abstract: We consider the quartic focusing Half Wave equation (HW) in one space dimension. We show first that that there exist traveling wave solutions with arbitrary small $H^{\frac 12}(\R)$ norm. This fact shows that small data scattering is not possible for (HW) equation and that below the ground state energy there are solutions whose energy travels as a localised packet and which preserve this localisation in time. This behaviour for (HW) is in sharp contrast with classical NLS in any dimension and with fractional NLS with radial data. The second result addressed is the non existence of traveling waves moving at the speed of light. The main ingredients of the proof are commutator estimates and a careful study of spatial decay of traveling waves profile using the harmonic extension to the upper half space.


title: Non-iterative computation of Gauss-Jacobi quadrature

abstract: Asymptotic approximations to the zeros of Jacobi polynomials are given, with methods to obtain the coefficients in the expansions. These approximations can be used as standalone methods for the non-iterative computation of the nodes of Gauss--Jacobi quadratures of high degree ($n\ge 100$). We also provide asymptotic approximations for functions related to the first order derivative of Jacobi polynomials which are used for computing the weights of the Gauss--Jacobi quadrature. The performance of the asymptotic approximations is illustrated with numerical examples, and it is shown that nearly double precision relative accuracy is obtained both for the nodes and the weights when $n\ge 100$ and $-1< \alpha, \beta\le 5$. For smaller degrees the approximations are also useful as they provide $10^{-12}$ relative accuracy for the nodes when $n\ge 20$, and just one Newton step would be sufficient to guarantee double precision accuracy in that cases.


title: $J/\psi \to \gamma\eta'\pi^+\pi^-$ and the structure observed around the $\bar pp$ threshold

abstract: We analyze the origin of the structure observed in the reaction $J/\psi \to \gamma \eta'\pi^+\pi^-$ for $\eta'\pi^+\pi^-$ invariant masses close to the antiproton-proton ($\bar pp$) threshold, commonly associated with the $X(1835)$ resonance. Specifically, we explore the effect of a possible contribution from the two-step process $J/\psi \to \gamma \bar NN \to \gamma \eta'\pi^+\pi^-$. The calculation is performed in distorted-wave Born approximation which allows an appropriate inclusion of the $\bar NN$ interaction in the transition amplitude. The $\bar NN$ amplitude itself is generated from a corresponding potential recently derived within chiral effective field theory. We are able to reproduce the measured spectra for the reactions $J/\psi \to \gamma \bar pp$ and $J/\psi \to \gamma \eta'\pi^+\pi^-$ for invariant masses around the $\bar pp$ threshold. The structure seen in the $\eta'\pi^+\pi^-$ spectrum emerges as a threshold effect due to the opening of the $\bar pp$ channel.


title: Reducing asynchrony to synchronized rounds

abstract: Synchronous computation models simplify the design and the verification of fault-tolerant distributed systems. For efficiency reasons such systems are designed and implemented using an asynchronous semantics. In this paper, we bridge the gap between these two worlds. We introduce a (synchronous) round-based computational model and we prove a reduction for a class of asynchronous protocols to our new model. The reduction is based on properties of the code that can be checked with sequential methods. We apply the reduction to state machine replication systems, such as, Paxos, Zab, and Viewstamped Replication.


title: On optimal allocation of treatment/condition variance in principal component analysis

abstract: The allocation of a (treatment) condition-effect on the wrong principal component (misallocation of variance) in principal component analysis (PCA) has been addressed in research on event-related potentials of the electroencephalogram. However, the correct allocation of condition-effects on PCA components might be relevant in several domains of research. The present paper investigates whether different loading patterns at each condition-level are a basis for an optimal allocation of between-condition variance on principal components. It turns out that a similar loading shape at each condition-level is a necessary condition for an optimal allocation of between-condition variance, whereas a similar loading magnitude is not necessary.


title: Damping of magnetization dynamics by phonon pumping

abstract: We theoretically investigate pumping of phonons by the dynamics of a magnetic film into a non-magnetic contact. The enhanced damping due to the loss of energy and angular momentum shows interference patterns as a function of resonance frequency and magnetic film thickness that cannot be described by viscous ("Gilbert") damping. The phonon pumping depends on magnetization direction as well as geometrical and material parameters and is observable, e.g., in thin films of yttrium iron garnet on a thick dielectric substrate.


title: A new method to quantify differentiate collapse models of star formation

abstract: Continuum emissions from dust grains are used as a general probe to constrain the initial physical conditions of molecular dense cores where new stars may born. To get as much information as possible from dust emissions, we have developed a tool, named as $COREGA$, which is capable of identifying positions of dense cores, optimizing a three-dimensional model for the dense cores with well characterized uncertainties. $COREGA$ can also estimate the physical properties of dense cores, such as density, temperature, and dust emissivity, through analyzing multi-wavelength dust continuum data sets. In the numerical tests on $COREGA$, the results of fitting simulated data are consistent with initial built-in parameters. We also demonstrate $COREGA$ by adding random gaussian noises with Monte Carlo methods and show that the results are stable against varying observational noise intensities within certain levels. A beam size $<$ 3 arcsec and rms $<$ 0.2mJy/pixel (1 pixel = 0.1") is needed for ALMA to distinguish different collapse models, such as power law and Bonner-Ebert sphere, during continuum observations of massive dense cores in Orion molecular cloud. Based on its advanced algorithm, $COREGA$ is capable of giving a quick and deep analysis on dust cores.


title: Cell Structure of Bimodules over Radical Square Zero Nakayama Algebras

abstract: We describe the combinatorics of the cell structure of the tensor category of bimodules over a radical square zero Nakayama algebra. This accounts to an explicit description of left, right, and two-sided cells.