title: Can chemotaxis speed up or slow down the spatial spreading in parabolic-elliptic Keller-Segel systems with logistic source?

abstract: The current paper is concerned with the spatial spreading speed and minimal wave speed of the following Keller-Segel chemoattraction system, \begin{equation}\label{abstract-eq1} \begin{cases} u_t=u_{xx}-\chi(uv_x)_x +u(a-bu),\quad x\in\R\cr 0=v_{xx}- \lambda v+\mu u,\quad x\in\R, \end{cases} \end{equation} where $\chi$, $a$, $b$, $\lambda$, and $\mu$ are positive constants. Assume $b>\chi\mu$. Then if in addition, $\big(1+\frac{1}{2}\frac{(\sqrt{a}-\sqrt{\lambda})_+}{(\sqrt{a}+\sqrt{\la})}\big)\chi\mu { \leq} b$ holds, it is proved that $c_0^*=2\sqrt a$ is the spreading speed of the solutions of \eqref{abstract-eq1} with nonnegative continuous initial function $u_0$ with nonempty compact support, that is, $$ \limsup_{|x|\ge ct, t\to\infty}u(t,x;u_0)=0\quad \forall\, c>c_0^* $$ and $$ \liminf_{|x|\le ct,t\to\infty} u(t,x;u_0)>0\quad \forall \, 0<c<c_0^*, $$ where $(u(t,x;u_0),v(t,x;u_0))$ is the unique global classical solution of \eqref{abstract-eq1} with $u(0,x;u_0)=u_0(x)$. It is also proved that, if $b>2\chi\mu$ and $\lambda \geq a$ holds, then $c_0^*=2\sqrt a$ is the minimal speed of the traveling wave solutions of \eqref{abstract-eq1} connecting $(0,0)$ and $(\frac{a}{b},\frac{\mu}{\lambda}\frac{a}{b})$, that is, for any $c\ge c_0^*$, \eqref{abstract-eq1} has a traveling wave solution connecting $(0,0)$ and $(\frac{a}{b},\frac{\mu}{\lambda}\frac{a}{b})$ with speed $c$, and \eqref{abstract-eq1} has no such traveling wave solutions with speed less than $c_0^*$. Note that $c_0^*=2\sqrt a$ is the spatial spreading speed as well as the minimal wave speed of the following Fisher-KPP equation, \begin{equation} \label{abstract-eq2} u_t=u_{xx}+u(a-bu),\quad x\in\R. \end{equation}


title: Edge Induced Topological Phase Transition of the Quantum Hall state at Half Filling

abstract: We show that in quantum Hall systems at half-filling, edge potentials alone can drive transitions between the Pfaffian and anti-Pfaffian topological phases. We conjecture this is true in realistic systems even in the presence of weak bulk interactions that break the particle-hole symmetry. The strong effects of edge potentials could be understood from different topological shifts of competing phases, manifested on the disk geometry as the variation of orbital numbers at fixed number of particles. In particular, we show analytically particle-hole conjugation of Hamiltonians on the disk is equivalent to the tuning of edge potentials, which allows us to explicitly demonstrate the phase transition numerically. The importance of edge potentials in various experimental contexts, including the recently discovered particle-hole symmetric phase is also discussed.


title: Emergent Commensurability from Hilbert Space Truncation in Fractional Quantum Hall Fluids

abstract: We show that model states of fractional quantum Hall fluids at all experimentally detected plateau can be uniquely determined by imposing translational invariance with a particular scheme of Hilbert space truncation motivated from physical local measurements. The scheme allows us to identify filling factors, topological shifts and pairing/clustering of topological quantum fluids unambiguously in a universal way without resorting to microscopic Hamiltonians. This prompts us to propose the notion of emergent commensurability as a fundamental property for at least most of the known FQH states, which allows us to predict if a particular FQH state conforming to a set of paradigms can be realised \emph{in principle}. We also discuss the implications of certain missing states proposed from other phenomenological approaches, and suggest that the physics of fractional quantum Hall physics could fundamentally arise from the algebra of the Hilbert space in a single Landau level.


title: The discovery of a Li-Na-rich giant star in Omega Centauri: formed from the pure ejecta of super-AGB stars?

abstract: We report the discovery of two Li-rich giant stars (fainter than the red giant branch bump) in the stellar system Omega Centauri using GIRAFFE-FLAMES spectra. These two stars have A(Li)=1.65 and 2.40 dex and they belong to the main population of the system ([Fe/H]=--1.70 and --1.82, respectively). The most Li-rich of them (#25664) has [Na/Fe]=+0.87 dex that is ~0.5 dex higher than those measured in the most Na-rich stars of Omega Centauri of similar metallicity. The chemical abundances of Li and Na in #25664 can be qualitatively explained by deep extra mixing efficient within the star during its RGB evolution or by super-asymptotic giant branch (AGB) stars with masses between ~7 and 8 Msun. In the latter scenario, this Li-Na-rich star could be formed from the pure ejecta of super-AGB stars before the dilution with pristine material occurs, or, alternatively, be part of a binary system and experienced mass transfer from the companion when this latter evolved through the super-AGB phase. In both these cases, the chemical composition of this unique object could allow to look for the first time at the chemical composition of the gas processed in the interior of super-AGB stars.


title: SiCloPe: Silhouette-Based Clothed People

abstract: We introduce a new silhouette-based representation for modeling clothed human bodies using deep generative models. Our method can reconstruct a complete and textured 3D model of a person wearing clothes from a single input picture. Inspired by the visual hull algorithm, our implicit representation uses 2D silhouettes and 3D joints of a body pose to describe the immense shape complexity and variations of clothed people. Given a segmented 2D silhouette of a person and its inferred 3D joints from the input picture, we first synthesize consistent silhouettes from novel view points around the subject. The synthesized silhouettes which are the most consistent with the input segmentation are fed into a deep visual hull algorithm for robust 3D shape prediction. We then infer the texture of the subject's back view using the frontal image and segmentation mask as input to a conditional generative adversarial network. Our experiments demonstrate that our silhouette-based model is an effective representation and the appearance of the back view can be predicted reliably using an image-to-image translation network. While classic methods based on parametric models often fail for single-view images of subjects with challenging clothing, our approach can still produce successful results, which are comparable to those obtained from multi-view input.


title: Partial smoothness of the numerical radius at matrices whose fields of values are disks

abstract: Solutions to optimization problems involving the numerical radius often belong to a special class: the set of matrices having field of values a disk centered at the origin. After illustrating this phenomenon with some examples, we illuminate it by studying matrices around which this set of "disk matrices" is a manifold with respect to which the numerical radius is partly smooth. We then apply our results to matrices whose nonzeros consist of a single superdiagonal, such as Jordan blocks and the Crabb matrix related to a well-known conjecture of Crouzeix. Finally, we consider arbitrary complex three-by-three matrices; even in this case, the details are surprisingly intricate. One of our results is that in this real vector space with dimension 18, the set of disk matrices is a semi-algebraic manifold with dimension 12.


title: TESS delivers its first Earth-sized planet and a warm sub-Neptune

abstract: The future of exoplanet science is bright, as TESS once again demonstrates with the discovery of its longest-period confirmed planet to date. We hereby present HD 21749b (TOI 186.01), a sub-Neptune in a 36-day orbit around a bright (V = 8.1) nearby (16 pc) K4.5 dwarf. TESS measures HD21749b to be 2.61$^{+0.17}_{-0.16}$ $R_{\oplus}$, and combined archival and follow-up precision radial velocity data put the mass of the planet at $22.7^{+2.2}_{-1.9}$ $M_{\oplus}$. HD 21749b contributes to the TESS Level 1 Science Requirement of providing 50 transiting planets smaller than 4 $R_{\oplus}$ with measured masses. Furthermore, we report the discovery of HD 21749c (TOI 186.02), the first Earth-sized ($R_p = 0.892^{+0.064}_{-0.058} R_{\oplus}$) planet from TESS. The HD21749 system is a prime target for comparative studies of planetary composition and architecture in multi-planet systems.


title: Clustering and Trend Analysis of Global Extreme Droughts from 1900 to 2014

abstract: Drought is one of the most devastating environmental disasters. Analyzing historical changes in climate extremes is critical for mitigating its adverse impacts in the future. In the present study, the spatial and temporal characteristics of the global severe droughts using Palmer Drought Intensity Index (PDSI) from 1900 to 2014 are explored. K-means clustering is implemented to partition the extreme negative PDSI values. The global extreme droughts magnitude around the world from 1950 to 1980 were less intense compared to the other decades. In 2012, the largest areas around the world, especially Canada, experienced their most severe historical droughts. Results show that the most recent extreme droughts occurred in some regions such as the North of Canada, central regions of the US, Southwest of Europe and Southeast Asia. We found that after 1980, the spatial extent of the regions that experienced extreme drought have increased substantially.


title: Spanning 2-Forests and Resistance Distance in 2-Connected Graphs

abstract: A spanning 2-forest separating vertices $u$ and $v$ of an undirected connected graph is a spanning forest with 2 components such that $u$ and $v$ are in distinct components. Aside from their combinatorial significance, spanning 2-forests have an important application to the calculation of resistance distance or effective resistance. The resistance distance between vertices $u$ and $v$ in a graph representing an electrical circuit with unit resistance on each edge is the number of spanning 2-forests separating $u$ and $v$ divided by the number of spanning trees in the graph. There are also well-known matrix theoretic methods for calculating resistance distance, but the way in which the structure of the underlying graph determines resistance distance via these methods is not well understood. For any connected graph $G$ with a 2-separator separating vertices $u$ and $v$, we show that the number of spanning trees and spanning 2-forests separating $u$ and $v$ can be expressed in terms of these same quantities for the smaller separated graphs, which makes computation significantly more tractable. An important special case is the preservation of the number of spanning 2-forests if $u$ and $v$ are in the same smaller graph. In this paper we demonstrate that this method of calculating resistance distance is more suitable for certain structured families of graphs than the more standard methods. We apply our results to count the number of spanning 2-forests and calculate the resistance distance in a family of Sierpinski triangles and in the family of linear 2-trees with a single bend.


title: A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks

abstract: Deep neural networks (DNNs) have been widely used in the fields such as natural language processing, computer vision and image recognition. But several studies have been shown that deep neural networks can be easily fooled by artificial examples with some perturbations, which are widely known as adversarial examples. Adversarial examples can be used to attack deep neural networks or to improve the robustness of deep neural networks. A common way of generating adversarial examples is to first generate some noises and then add them into original examples. In practice, different examples have different noise-sensitive. To generate an effective adversarial example, it may be necessary to add a lot of noise to low noise-sensitive example, which may make the adversarial example meaningless. In this paper, we propose a noise-sensitivity-analysis-based test prioritization technique to pick out examples by their noise sensitivity. We construct an experiment to validate our approach on four image sets and two DNN models, which shows that examples are sensitive to noise and our method can effectively pick out examples by their noise sensitivity.


title: Multiple Sclerosis Lesion Inpainting Using Non-Local Partial Convolutions

abstract: Multiple sclerosis (MS) is an inflammatory demyelinating disease of the central nervous system (CNS) that results in focal injury to the grey and white matter. The presence of white matter lesions biases morphometric analyses such as registration, individual longitudinal measurements and tissue segmentation for brain volume measurements. Lesion-inpainting with intensities derived from surrounding healthy tissue represents one approach to alleviate such problems. However, existing methods inpaint lesions based on texture information derived from local surrounding tissue, often leading to inconsistent inpainting and the generation of artifacts such as intensity discrepancy and blurriness. Based on these observations, we propose non-local partial convolutions (NLPC) that integrates a Unet-like network with the non-local module. The non-local module is exploited to capture long range dependencies between the lesion area and remaining normal-appearing brain regions. Then, the lesion area is filled by referring to normal-appearing regions with more similar features. This method generates inpainted regions that appear more realistic and natural. Our quantitative experimental results also demonstrate superiority of this technique of existing state-of-the-art inpainting methods.


title: Entity Synonym Discovery via Multipiece Bilateral Context Matching

abstract: Being able to automatically discover synonymous entities in an open-world setting benefits various tasks such as entity disambiguation or knowledge graph canonicalization. Existing works either only utilize entity features, or rely on structured annotations from a single piece of context where the entity is mentioned. To leverage diverse contexts where entities are mentioned, in this paper, we generalize the distributional hypothesis to a multi-context setting and propose a synonym discovery framework that detects entity synonyms from free-text corpora with considerations on effectiveness and robustness. As one of the key components in synonym discovery, we introduce a neural network model SYNONYMNET to determine whether or not two given entities are synonym with each other. Instead of using entities features, SYNONYMNET makes use of multiple pieces of contexts in which the entity is mentioned, and compares the context-level similarity via a bilateral matching schema. Experimental results demonstrate that the proposed model is able to detect synonym sets that are not observed during training on both generic and domain-specific datasets: Wiki+Freebase, PubMed+UMLS, and MedBook+MKG, with up to 4.16% improvement in terms of Area Under the Curve and 3.19% in terms of Mean Average Precision compared to the best baseline method.


title: Relativistic X-ray jets at high redshift

abstract: Powerful radio sources and quasars emit relativistic jets of plasma and magnetic fields that travel hundreds of kilo-parsecs, ultimately depositing energy into the intra- or inter-cluster medium. In the rest frame of the jet, the energy density of the cosmic microwave background is enhanced by the bulk Lorentz factor squared, and when this exceeds the magnetic energy density the primary loss mechanism of the relativistic electrons is via inverse Compton scattering. The microwave energy density is also enhanced by a factor (1+z)^4, which becomes important at large redshifts. We are using Chandra to survey a z>3 sub-sample of radio sources selected with 21 cm wavelength flux density > 70 mJy, and with a spectroscopic redshift. Out of the first 12 objects observed, there are two clear cases of the X-rays extending beyond the detectable radio jet.


title: The quasiconvex envelope of conformally invariant planar energy functions in isotropic hyperelasticity

abstract: We consider conformally invariant energies $W$ on the group $\operatorname{GL}^+(2)$ of $2\times2$-matrices with positive determinant, i.e. $W\colon\operatorname{GL}^+(2)\to\mathbb{R}$ such that \[W(AFB) = W(F) \qquad\text{for all }\; A,B\in\{aR\in\operatorname{GL}^+(2) \,|\, a\in(0,\infty)\,,\; R\in\operatorname{SO}(2)\}\,,\] where $\operatorname{SO}(2)$ denotes the special orthogonal group, and provide an explicit formula for the (notoriously difficult to compute) quasiconvex envelope of these functions. Our results, which are based on the representation $W(F)=h(\frac{\lambda_1}{\lambda_2})$ of $W$ in terms of the singular values $\lambda_1,\lambda_2$ of $F$, are applied to a number of example energies in order to demonstrate the convenience of the eigenvalue-based expression compared to the more common representation in terms of the distortion $\mathbb{K}:=\frac12\frac{\lVert F\rVert^2}{\det F}$. Special cases of our results can be obtained from earlier works by Astala et al. and Yan.


title: Determining Principal Component Cardinality through the Principle of Minimum Description Length

abstract: PCA (Principal Component Analysis) and its variants areubiquitous techniques for matrix dimension reduction and reduced-dimensionlatent-factor extraction. One significant challenge in using PCA, is thechoice of the number of principal components. The information-theoreticMDL (Minimum Description Length) principle gives objective compression-based criteria for model selection, but it is difficult to analytically applyits modern definition - NML (Normalized Maximum Likelihood) - to theproblem of PCA. This work shows a general reduction of NML prob-lems to lower-dimension problems. Applying this reduction, it boundsthe NML of PCA, by terms of the NML of linear regression, which areknown.


title: Updates on Nucleon Form Factors from Clover-on-HISQ Lattice Formulation

abstract: Updates on results for the electric, magnetic and axial vector form factors are presented. The data analyzed cover high statistics measurements on 11 ensembles generated with 2+1+1 flavors of HISQ fermions by the MILC collaboration. The data cover the range $0.057\;\mathrm{fm} < a < 0.15\;\mathrm{fm}$ in lattice spacing, $135\;\mathrm{MeV} < M_\pi < 320\;\mathrm{MeV}$ in the pion mass and $3.3 < M_\pi L < 5.5 $ in the lattice size. Fits to control excited-state contamination use up to 3-states in the spectral decomposition of the 3-point functions. The simultaneous chiral-continuum-finite-volume fits include leading order corrections in each of the three variables.


title: Irreducible Bases and Subgroups of a Wreath Product in Applying to Diffeomorphism Groups acting on the M\"obius Band

abstract: Given a permutational wreath product sequence of cyclic groups we investigate its minimal generating set, minimal generating set for its commutator and some properties of its commutator subgroup. We strengthen the result of author \cite{SkVC, SkMal, SkAr} and construct minimal generating set for wreath product of finite and infinite cyclic groups and direct product of such groups. We generalize results of Meldrum about commutator subgroup of wreath product \cite{Meld} because we take in consideration as regular wreath product as well as no regular (where active group $\mathcal{A}$ can acts not faithfully). Also commutator of such group and its minimal generating set. Also center of such products was investigated. Also fundamental group of orbits of a Morse function $f:M\to \mathbb{R}$ defined on a Mebius band $M$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(M)$ is investigated by us. The paper describes precise algebraic structure of the group $\pi_1 O(f)$. A minimal set of generators for the group of orbits of functions ${{\pi }_{1}}({{O}_{f}},f)$ arising under the action of diffeomorphisms group stabilizing the function $f$ and stabilizing $\partial M$ is found. The the Morse function $f$ has critical sets with one saddle point. The quotient group of restricted wreath products by its commutator was found. The generic sets of commutator of wreath product were investigated. Minimal generating set for this group and for commutator of group are found. This paper after previous Arxiv versions from 2019 \cite{SkArM, SkArM3} with previous title "Minimal generating set and structure of wreath product of groups with non-faithful action, comutator subgroup of wreath product and the fundamental group of orbit of Morse function $\pi_1 O(f)$" was published \cite{SkRendi}.


title: Deep Frame Prediction for Video Coding

abstract: We propose a novel frame prediction method using a deep neural network (DNN), with the goal of improving video coding efficiency. The proposed DNN makes use of decoded frames, at both encoder and decoder, to predict textures of the current coding block. Unlike conventional inter-prediction, the proposed method does not require any motion information to be transferred between the encoder and the decoder. Still, both uni-directional and bi-directional prediction are possible using the proposed DNN, which is enabled by the use of the temporal index channel, in addition to color channels. In this study, we developed a jointly trained DNN for both uni- and bi- directional prediction, as well as separate networks for uni- and bi-directional prediction, and compared the efficacy of both approaches. The proposed DNNs were compared with the conventional motion-compensated prediction in the latest video coding standard, HEVC, in terms of BD-Bitrate. The experiments show that the proposed joint DNN (for both uni- and bi-directional prediction) reduces the luminance bitrate by about 4.4%, 2.4%, and 2.3% in the Low delay P, Low delay, and Random access configurations, respectively. In addition, using the separately trained DNNs brings further bit savings of about 0.3%-0.5%.


title: Extreme Relative Pose Estimation for RGB-D Scans via Scene Completion

abstract: Estimating the relative rigid pose between two RGB-D scans of the same underlying environment is a fundamental problem in computer vision, robotics, and computer graphics. Most existing approaches allow only limited maximum relative pose changes since they require considerable overlap between the input scans. We introduce a novel deep neural network that extends the scope to extreme relative poses, with little or even no overlap between the input scans. The key idea is to infer more complete scene information about the underlying environment and match on the completed scans. In particular, instead of only performing scene completion from each individual scan, our approach alternates between relative pose estimation and scene completion. This allows us to perform scene completion by utilizing information from both input scans at late iterations, resulting in better results for both scene completion and relative pose estimation. Experimental results on benchmark datasets show that our approach leads to considerable improvements over state-of-the-art approaches for relative pose estimation. In particular, our approach provides encouraging relative pose estimates even between non-overlapping scans.


title: Impossibility and Uncertainty Theorems in AI Value Alignment (or why your AGI should not have a utility function)

abstract: Utility functions or their equivalents (value functions, objective functions, loss functions, reward functions, preference orderings) are a central tool in most current machine learning systems. These mechanisms for defining goals and guiding optimization run into practical and conceptual difficulty when there are independent, multi-dimensional objectives that need to be pursued simultaneously and cannot be reduced to each other. Ethicists have proved several impossibility theorems that stem from this origin; those results appear to show that there is no way of formally specifying what it means for an outcome to be good for a population without violating strong human ethical intuitions (in such cases, the objective function is a social welfare function). We argue that this is a practical problem for any machine learning system (such as medical decision support systems or autonomous weapons) or rigidly rule-based bureaucracy that will make high stakes decisions about human lives: such systems should not use objective functions in the strict mathematical sense. We explore the alternative of using uncertain objectives, represented for instance as partially ordered preferences, or as probability distributions over total orders. We show that previously known impossibility theorems can be transformed into uncertainty theorems in both of those settings, and prove lower bounds on how much uncertainty is implied by the impossibility results. We close by proposing two conjectures about the relationship between uncertainty in objectives and severe unintended consequences from AI systems.


title: Dynamics of thin liquid films on vertical cylindrical fibers

abstract: Recent experiments of thin films flowing down a vertical fiber with varying nozzle diameters present a wealth of new dynamics that illustrate the need for more advanced theory. We present a detailed analysis using a full lubrication model that includes slip boundary conditions, nonlinear curvature terms, and a film stabilization term. This study brings to focus the presence of a stable liquid layer playing an important role in the full dynamics. We propose a combination of these physical effects to explain the observed velocity and stability of traveling droplets in the experiments and their transition to isolated droplets. This is also supported by stability analysis of the traveling wave solution of the model.


title: Improving Tree-LSTM with Tree Attention

abstract: In Natural Language Processing (NLP), we often need to extract information from tree topology. Sentence structure can be represented via a dependency tree or a constituency tree structure. For this reason, a variant of LSTMs, named Tree-LSTM, was proposed to work on tree topology. In this paper, we design a generalized attention framework for both dependency and constituency trees by encoding variants of decomposable attention inside a Tree-LSTM cell. We evaluated our models on a semantic relatedness task and achieved notable results compared to Tree-LSTM based methods with no attention as well as other neural and non-neural methods and good results compared to Tree-LSTM based methods with attention.


title: On form invariance of the Kirchhoff-Love plate equation

abstract: We propose an alternative approach called backward transformation for the design of platonic cloaks, without resorting to in-plane body forces and pre-stresses, which can lead to unphysical features. It is shown that the Kirchhoff-Love equation for an anisotropic heterogeneous plate is actually form invariant for a class of transformations with a vanishing Hessian. This formalism is detailed and numerically validated with three-dimensional simulations in the time domain. Results published in the literature fall in the class of transformations proposed here.


title: A Bayesian Spatial Model for Imaging Genetics

abstract: We develop a Bayesian bivariate spatial model for multivariate regression analysis applicable to studies examining the influence of genetic variation on brain structure. Our model is motivated by an imaging genetics study of the Alzheimer's Disease Neuroimaging Initiative (ADNI), where the objective is to examine the association between images of volumetric and cortical thickness values summarizing the structure of the brain as measured by magnetic resonance imaging (MRI) and a set of 486 SNPs from 33 Alzheimer's Disease (AD) candidate genes obtained from 632 subjects. A bivariate spatial process model is developed to accommodate the correlation structures typically seen in structural brain imaging data. First, we allow for spatial correlation on a graph structure in the imaging phenotypes obtained from a neighbourhood matrix for measures on the same hemisphere of the brain. Second, we allow for correlation in the same measures obtained from different hemispheres (left/right) of the brain. We develop a mean-field variational Bayes algorithm and a Gibbs sampling algorithm to fit the model. We also incorporate Bayesian false discovery rate (FDR) procedures to select SNPs. We implement the methodology in a new release of the R package bgsmtr. We show that the new spatial model demonstrates superior performance over a standard model in our application. Data used in the preparation of this article were obtained from the Alzheimer's Disease Neuroimaging Initiative (ADNI) database (adni.loni.usc.edu).


title: Recurrent Neural Networks for Time Series Forecasting

abstract: Time series forecasting is difficult. It is difficult even for recurrent neural networks with their inherent ability to learn sequentiality. This article presents a recurrent neural network based time series forecasting framework covering feature engineering, feature importances, point and interval predictions, and forecast evaluation. The description of the method is followed by an empirical study using both LSTM and GRU networks.


title: An ALMA view of CS and SiS around oxygen-rich AGB stars

abstract: We aim to determine the distributions of molecular SiS and CS in the circumstellar envelopes of oxygen-rich asymptotic giant branch stars and how these distributions differ between stars that lose mass at different rates. In this study we analyse ALMA observations of SiS and CS emission lines for three oxygen-rich galactic AGB stars: IK Tau, with a moderately high mass-loss rate of $5\times10^{-6}$M$_\odot$ yr$^{-1}$, and W Hya and R Dor with low mass loss rates of $\sim1\times10^{-7}$M$_\odot$ yr$^{-1}$. These molecules are usually more abundant in carbon stars but the high sensitivity of ALMA allows us to detect their faint emission in the low mass-loss rate AGB stars. The high spatial resolution of ALMA also allows us to precisely determine the spatial distribution of these molecules in the circumstellar envelopes. We run radiative transfer models to calculate the molecular abundances and abundance distributions for each star. We find a spread of peak SiS abundances with $\sim10^{-8}$ for R Dor, $\sim10^{-7}$ for W Hya, and $\sim3\times10^{-6}$ for IK Tau relative to H$_2$. We find lower peak CS abundances of $\sim7\times10^{-9}$ for R Dor, $\sim7\times10^{-8}$ for W Hya and $\sim4\times10^{-7}$ for IK Tau, with some stratifications in the abundance distributions. For IK Tau we also calculate abundances for the detected isotopologues: C$^{34}$S, $^{29}$SiS, $^{30}$SiS, Si$^{33}$S, Si$^{34}$S, $^{29}$Si$^{34}$S, and $^{30}$Si$^{34}$S. Overall the isotopic ratios we derive for IK Tau suggest a lower metallicity than solar.


title: Triply-resonant coupled-cavity electro-optic modulators for on-chip RF photonic systems

abstract: We propose a triply-resonant electro-optic modulator architecture which maximizes modulation efficiency using simultaneous resonant enhancement of the RF drive signal, the optical pump, and the generated optical sideband. Optical enhancement of the optical pump and the sideband is achieved using resonant supermodes of two coupled optical resonators, and the RF enhancement is achieved with LC circuits formed by the capacitances of the optical resonators and inductors which can be implemented using CMOS technology. In the proposed configuration, the photon lifetime determines the bandwidth of the RF response but not its center frequency, which is set by the coupling strength between the two resonators and is not subject to the photon lifetime constraint inherent to conventional single-mode resonant modulators. This enables efficient operation at high RF carrier frequencies without a reduction in efficiency commonly associated with the photon lifetime limit. Two optical configurations of the modulator are proposed: a "basic" configuration with equal Q-factors in both supermodes, most suitable for narrowband RF signals, and a "generalized" configuration with independently tailored Q-factors of the two supermodes, which makes it possible to broaden the RF bandwidth without sacrificing the resonant enhancement of the optical pump and paying a penalty in modulation efficiency associated with doing so. Additionally, a significant gain in modulation efficiency is expected from RF signal enhancement by LC resonant matching. This results in a modulator which is compact, efficient, and capable of modulation at high RF carrier frequencies. The proposed modulator architecture optimally engineers the interaction of the device with each of the three signals and between them, can be applied to any modulator cavity design or modulation mechanism and promises to enable complex RF-photonic systems on chip.


title: Exploring spectro-temporal features in end-to-end convolutional neural networks

abstract: Triangular, overlapping Mel-scaled filters ("f-banks") are the current standard input for acoustic models that exploit their input's time-frequency geometry, because they provide a psycho-acoustically motivated time-frequency geometry for a speech signal. F-bank coefficients are provably robust to small deformations in the scale. In this paper, we explore two ways in which filter banks can be adjusted for the purposes of speech recognition. First, triangular filters can be replaced with Gabor filters, a compactly supported filter that better localizes events in time, or Gammatone filters, a psychoacoustically-motivated filter. Second, by rearranging the order of operations in computing filter bank features, features can be integrated over smaller time scales while simultaneously providing better frequency resolution. We make all feature implementations available online through open-source repositories. Initial experimentation with a modern end-to-end CNN phone recognizer yielded no significant improvements to phone error rate due to either modification. The result, and its ramifications with respect to learned filter banks, is discussed.


title: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology

abstract: The CREST 2018 workshop is the third in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities. The main objective of CREST is to bring together researchers and practitioners from industry and academia in order to enable discussions how explicit and implicit reasoning about causation is performed. A further objective is to link to the foundations of causal reasoning in the philosophy of sciences and to causal reasoning performed in other areas of computer science, engineering, and beyond.


title: A Fully Relativistic Treatment of Confined Hydrogen-Like Atoms

abstract: The Dirac equation is used to provide a relativistic calculation of the binding energy of a hydrogen-like atom confined within a penetrable spherical barrier. We take the potential to be Coulombic within the barrier and constant outside the barrier. Binding energies are derived for the ground state of hydrogen for various barrier heights and confining radii. In addition, it is shown that without the introduction of the principle quantum number $n$, all energy states of the confined relativistic hydrogen atom, determined by a single quantum number $k$, transfer into the known energy states of the free relativistic hydrogen atom as the radius of confinement becomes large.


title: Finite-size dark matter and its effect on small-scale structure

abstract: If dark matter has a finite size that is larger than its Compton wavelength, the corresponding self-interaction cross section decreases with the velocity. We investigate the implications of this Puffy Dark Matter for addressing the small-scale problems of the $\Lambda$CDM model. In particular, we show that the way the non-relativistic cross section varies with the velocity is largely independent of the dark matter internal structure when the range of the mediating force is very short. We present an explicit example in the context of a QCD-like theory of dark matter and show that low-threshold direct detection experiments have the potential to probe Puffy Dark Matter.


title: The Influence of Social Media Writing on Online Search Behavior for Seasonal Events: The Sociophysics Approach

abstract: Using seasonal topics as the study subject, in this study, we focus on the timing gap between social media writing and online search behavior. To conduct our analysis, we used the mathematical model of search behavior, comprising the sociophysics approach. The seasonal topics selected were St.Valentine's Day, Halloween and New Year countdown. We also picked up the event like Christmas and Halloween. We analyzed the influence of blogs and Twitter on search behavior and found a deviation of interest in terms of timing. We also analyzed Japanese seasonal event of eating Eho-maki in February 3 and eels at the day of the ox in midsummer.


title: Derivations and Reflection Positivity on the Quantum Cylinder

abstract: We describe the general structure of unbounded derivations in the quantum cylinder. We prove a noncommutative analog of reflection positivity for Laplace-type operators in a noncommutative cylinder following the ideas of Jaffe and Ritter proof of reflection positivity for Laplace operators on manifolds equipped with a reflection.


title: Birational superrigidity is not a locally closed property

abstract: We prove an optimal result on the birational rigidity and K-stability of index $1$ hypersurfaces in $\mathbb{P}^{n+1}$ with ordinary singularities when $n\gg 0$ and also study the birational superrigidity and K-stability of certain weighted complete intersections. As an application, we show that birational superrigidity is not a locally closed property in moduli. We also prove (in the appendix) that the alpha invariant function is constructible in some families of complete intersections.


title: On the superconvergence of a hydridizable discontinuous Galerkin method for the Cahn-Hilliard equation

abstract: We propose a hydridizable discontinuous Galerkin (HDG) method for solving the Cahn-Hilliard equation. The temporal discretization can be based on either the backward Euler method or the convex-splitting method. We show that the fully discrete scheme admits a unique solution, and we establish optimal convergence rates for all variables in the $L^2$ norm for arbitrary polynomial orders. In terms of the globally coupled degrees of freedom, the scalar variables are superconvergent. Another theoretical contribution of this work is a novel HDG Sobolev inequality that is useful for HDG error analysis of nonlinear problems. Numerical results are reported to confirm the theoretical convergence rates.


title: Agent-based simulations of China inbound tourism network

abstract: Based on the results of a large-scale survey, we construct an agent-based network model for the independent inbound tourism of China and, by the approach of numerical simulation, investigate the dynamical responses of the tourist flows to external perturbations in different scenarios, including the closure of a tourist city, the opening of a new port in western China, and the increase of the tourism attractiveness of a specific city. Numerical results show that: (1) the closure of a single city in general will affect the tourist visitations of many other cities in the network and, comparing to the non-port cities, the overall visitation volume of the system is more influenced by closing a port city; (2) the opening of a new port city in western China will attract more tourists to the western cities, but has a negligible impact on either the overall visitation volume or the imbalanced tourist distribution; and (3) the increase of the tourism attractiveness of a non-port (port) city normally increases (decreases) the overall visitation volume, yet there are exceptions due to the spillover effect. Furthermore, by increasing the tourism attractiveness of a few cities simultaneously, we investigate also the strategy of multiple-city-upgrade in tourism development. Numerical results show that the overall tourist volume is better improved by upgrading important non-port cities that are geographically distant from each other. The study reveals the rich dynamics inherent in complex tourism network, and the findings could be helpful to the development and management of China inbound tourism.


title: Machine learning materials physics: Integrable deep neural networks enable scale bridging by learning free energy functions

abstract: The free energy of a system is central to many material models. Although free energy data is not generally found directly, its derivatives can be observed or calculated. In this work, we present an Integrable Deep Neural Network (IDNN) that can be trained to derivative data, then analytically integrated to recover an accurate representation of the free energy. The IDNN is demonstrated by training to the chemical potential values of a binary alloy with B2 ordering. The resulting DNN representation of the free energy is used in a phase field simulation and found to predict the appropriate formation of antiphase boundaries in the material. In contrast, a B-spline representation of the same data failed to represent the physics of the system with sufficient fidelity to resolve the antiphase boundaries.


title: Stability of characters and filters for weighted semilattices

abstract: We continue the study of the AMNM property for weighted semilattices that was initiated in [Y. Choi, J. Austral. Math. Soc. 95 (2013), no. 1, 36-67; arXiv 1203.6691]. We reformulate this in terms of stability of filters with respect to a given weight function, and then provide a combinatorial condition which is necessary and sufficient for this "filter stability" property to hold. Examples are given to show that this new condition allows for easier and unified proofs of some results in [Choi, ibid.], and furthermore allows us to verify the AMNM property in situations not covered by the results of that paper. As a final application, we show that for a large class of semilattices, arising naturally as union-closed set systems, one can always construct weights for which the AMNM property fails.


title: Possible nodeless $s^\pm$-wave superconductivity in twisted bilayer graphene

abstract: Recent discovery of superconductivity in the twisted bilayer graphene has stimulated numerous theoretical proposals concerning its exact gap symmetry. Among them, $d+id$ or $p+ip$-wave were believed to be the most plausible solutions. Here considering the superconductivity emerges near a correlated insulating state and may be induced by antiferromagnetic spin fluctuations, we apply the strong-coupling Eliashberg theory with both inter- and intraband quantum critical pairing interactions and discuss the possible gap symmetry in an effective low-energy four-orbital model. Our calculations reveal a nodeless $s^\pm$-wave as the most probable candidate for superconducting gap symmetry in the experimentally relevant parameter range. This solution is distinctly different from previous theoretical proposals. In particular, it contains interesting topological components in the valley space, which might be tuned by experimental manipulation of the valley degree of freedom.


title: Arc-transitive graphs of valency twice a prime admit a semiregular automorphism

abstract: We prove that every finite arc-transitive graph of valency twice a prime admits a nontrivial semiregular automorphism, that is, a non-identity automorphism whose cycles all have the same length. This is a special case of the Polycirculant Conjecture, which states that all finite vertex-transitive digraphs admit such automorphisms.


title: Observation and study of the decay $J/\psi\rightarrow\phi\eta\eta'$

abstract: We report the observation and study of the decay $J/\psi\rightarrow\phi\eta\eta'$ using $1.3\times{10^9}$ $J/\psi$ events collected with the BESIII detector. Its branching fraction, including all possible intermediate states, is measured to be $(2.32\pm0.06\pm0.16)\times{10^{-4}}$. We also report evidence for a structure, denoted as $X$, in the $\phi\eta'$ mass spectrum in the $2.0-2.1$ GeV/$c^2$ region. Using two decay modes of the $\eta'$ meson ($\gamma\pi^+\pi^-$ and $\eta\pi^+\pi^-$), a simultaneous fit to the $\phi\eta'$ mass spectra is performed. Assuming the quantum numbers of the $X$ to be $J^P = 1^-$, its significance is found to be 4.4$\sigma$, with a mass and width of $(2002.1 \pm 27.5 \pm 21.4)$ MeV/$c^2$ and $(129 \pm 17 \pm 9)$ MeV, respectively, and a product branching fraction $\mathcal{B}(J/\psi\rightarrow\eta{}X)\times{}\mathcal{B}(X\rightarrow\phi\eta')=(9.8 \pm 1.2 \pm 1.7)\times10^{-5}$. Alternatively, assuming $J^P = 1^+$, the significance is 3.8$\sigma$, with a mass and width of $(2062.8 \pm 13.1 \pm 7.2)$ MeV/$c^2$ and $(177 \pm 36 \pm 35)$ MeV, respectively, and a product branching fraction $\mathcal{B}(J/\psi\rightarrow\eta{}X)\times{}\mathcal{B}(X\rightarrow\phi\eta')=(9.6 \pm 1.4 \pm 2.0)\times10^{-5}$. The angular distribution of $J/\psi\rightarrow\eta{}X$ is studied and the two $J^P$ assumptions of the $X$ cannot be clearly distinguished due to the limited statistics. In all measurements the first uncertainties are statistical and the second systematic.


title: A Search for Water Vapor Plumes on Europa using SOFIA

abstract: We present mid-infrared SOFIA/EXES spectroscopy of Europa, seeking direct evidence of the presence of water vapor arising from plumes venting from the surface of Europa. We place quantitatively useful upper limits on the strength of water vibrational-rotational emission lines. Conversion to water mass limits is dependent on the rotational temperature of the vapor. For low rotational temperature, the limits lie below the inferred water mass from previous HST plume observations. For higher temperatures, the limits are comparable. We also present coordinated HST transit observations obtained close in time to the SOFIA observations. There is evidence for a feature close to the location of the previously seen feature north of the crater Pwyll in one of the HST images, although it was not observable by EXES given its location. We conclude that if a water plume had been active at the time of the SOFIA observation, with the strength implied by previous HST observations, then under the right Earth atmospheric and geometric conditions, the plume could have been detected by EXES, however no IR water vibrational-rotational emission was detected.


title: The closed ordinal Ramsey number $R^{cl}(\omega^2,3) = \omega^6$

abstract: Closed ordinal Ramsey numbers are a topological variant of the classical (ordinal) Ramsey numbers. We compute the exact value of the closed ordinal Ramsey number $R^{cl}(\omega^2,3) = \omega^6$.


title: Quantum Annealing Based Binary Compressive Sensing with Matrix Uncertainty

abstract: Compressive sensing is a novel approach that linearly samples sparse or compressible signals at a rate much below the Nyquist-Shannon sampling rate and outperforms traditional signal processing techniques in acquiring and reconstructing such signals. Compressive sensing with matrix uncertainty is an extension of the standard compressive sensing problem that appears in various applications including but not limited to cognitive radio sensing, calibration of the antenna, and deconvolution. The original problem of compressive sensing is NP-hard so the traditional techniques, such as convex and nonconvex relaxations and greedy algorithms, apply stringent constraints on the measurement matrix to indirectly handle this problem in the realm of classical computing. We propose well-posed approaches for both binary compressive sensing and binary compressive sensing with matrix uncertainty problems that are tractable by quantum annealers. Our approach formulates an Ising model whose ground state represents a sparse solution for the binary compressive sensing problem and then employs an alternating minimization scheme to tackle the binary compressive sensing with matrix uncertainty problem. This setting only requires the solution uniqueness of the considered problem to have a successful recovery process, and therefore the required conditions on the measurement matrix are notably looser. As a proof of concept, we can demonstrate the applicability of the proposed approach on the D-Wave quantum annealers; however, we can adapt our method to employ other modern computing phenomena -like adiabatic quantum computers (in general), CMOS annealers, optical parametric oscillators, and neuromorphic computing.


title: Approximation of the Cell Under Test in Sliding Window Detection Processes

abstract: Analysis of sliding window detection detection processes requires careful consideration of the cell under test, which is an amplitude squared measurement of the signal plus clutter in the complex domain. Some authors have suggested that there is sufficient merit in the approximation of the cell under test by a distributional model similar to that assumed for the clutter distribution. Under such an assumption, the development of Neyman-Pearson detectors is facilitated. The purpose of the current paper is to demonstrate, in a modern maritime surveillance radar context, that such an approximation is invalid.


title: Multi-echelon Supply Chain Inventory Planning using Simulation-Optimization with Data Resampling

abstract: Modeling and optimization of multi-echelon supply chain systems is challenging as it requires a holistic approach that exploits synergies and interactions between echelons while accurately accounting for variability observed by these systems. We develop a simulation-optimization framework that minimizes average inventory while maintaining desired average $\beta$ service level at stocking locations. We use a discrete-event simulation framework to accurately capture system interactions. Instead of a parametric estimation approach, the demand and the lead time variability are quantified by bootstrap sampling the historical data, thus preserving the true nature of the variability. We compare three different open source simulation-optimization libraries - the derivative free methods from SciPy.Optimize, a Bayesian optimization algorithm Scikit-Optimize, and a radial basis function based black-box optimizer RBFOpt. The experiments demonstrate practical applicability of our approach. While we observe substantially lower inventory levels and computationally superior results from RBFOpt, depending on the problem, search strategy, and the random start states, close enough good solution can be obtained from both RBFOpt and Scikit-Optimize. The optimization results demonstrate a preference for a centralized inventory planning scheme that help with risk pooling. Moreover, with no order placement cost, the optimal solution tends to order more frequently in order to lower inventory.


title: Identifying Clusters on a Discrete Periodic Lattice via Machine Learning

abstract: Given the ubiquity of lattice models in physics, it is imperative for researchers to possess robust methods for quantifying clusters on the lattice --- whether they be Ising spins or clumps of molecules. Inspired by biophysical studies, we present Python code for handling clusters on a 2D periodic lattice. Properties of individual clusters, such as their area, can be obtained with a few function calls. Our code invokes an unsupervised machine learning method called hierarchical clustering, which is simultaneously effective for the present problem and simple enough for non-experts to grasp qualitatively. Moreover, our code transparently merges clusters neighboring each other across periodic boundaries using breadth-first search (BFS), an algorithm well-documented in computer science pedagogy. The fact that our code is written in Python --- instead of proprietary languages --- further enhances its value for reproducible science.


title: High Performance GNR Power Gating for Low-Voltage CMOS Circuits

abstract: A robust power gating design using Graphene Nano-Ribbon Field Effect Transistors (GNRFET) is proposed using 16nm technology. The Power Gating (PG) structure is composed of GNRFET as a power switch and MOS power gated module. The proposed structure resolves the main drawbacks of the traditional PG design from the point of view increasing the propagation delay and wake-up time in low voltage regions. GNRFET/MOSFET Conjunction (GMC) is employed to build various structures of PG, GMCPG-SS and GMCPG-NS. In addition to exploiting it to build two multi-mode PG structures. Circuit analysis for CMOS power gated logic modules ISCAS85 benchmark of 16nm technology is used to evaluate the performance of the proposed GNR power switch is compared to the traditional MOS one. Leakage power, wake-up time and power delay product are used as performance circuit parameters for the evaluation.


title: D$_4$-flops of the E$_7$-model

abstract: We study the geography of crepant resolutions of E$_7$-models. An E$_7$-model is a Weierstrass model corresponding to the output of Step 9 of Tate's algorithm characterizing the Kodaira fiber of type III$^*$ over the generic point of a smooth prime divisor. The dual graph of the Kodaira fiber of type III$^*$ is the affine Dynkin diagram of type E$_7$. A Weierstrass model of type E$_7$ is conjectured to have eight distinct crepant resolutions whose flop diagram is a Dynkin diagram of type E$_8$. We construct explicitly four of these eight crepant resolutions forming a sub-diagram of type D$_4$. We explain how the flops between these four crepant resolutions can be understood using the flops between the crepant resolutions of two well-chosen suspended pinch points.


title: The dynamics of bimeron skyrmions in easy-plane magnets induced by a spin supercurrent

abstract: We theoretically study the interaction of an isolated bimeron skyrmion in quasi-two-dimensional easy-plane magnets with a surrounding spin superfluid associated with spontaneously broken U(1) spin-rotational symmetry, revealing that skyrmion energy depends on the local spin current flowing in its background. The finding leads us to propose to manipulate a skyrmion energy landscape via a spin supercurrent, which can be controlled non-locally by varying the magnitudes of spin-current injection and ejection through the boundaries. Two exemplary cases are discussed: a steady-state motion of a skyrmion induced by a uniform force and a skyrmion motion localized along a one-dimensional racetrack. We envision that a skyrmion interacting with a spin superfluid can serve as a robust point-like information carrier that can be operated with minimal dissipation.


title: Matrix model and Yukawa couplings on the noncommutative torus

abstract: The IKKT model is proposed as a non-perturbative formulation of superstring theory. We propose a Dirac operator on the noncommutative torus,which is consistent with the IKKT model, based on noncommutative geometry. Next, we consider zero-mode equations of the Dirac operator with magnetic fluxes. We find that zero-mode solutions have the chirality and the generation structures similar to the commutative case. Moreover, we compute Yukawa couplings of chiral matter fields.


title: Controllable spin-Hall and related effects of light in an atomic medium via coupling fields

abstract: We show the existence of spin-Hall effect of light (SHEL) in an atomic medium which is made anisotropic via electromagnetically induced transparency. The medium is made birefringent by applying an additional linearly polarized coupling light beam. The refractive index and the orientation of the optics axis are controlled by the coupling beam. We show that after transmitting the atomic medium, a linearly polarized probe light beam splits into its two spin components by opposite transverse shifts. With proper choice of parameters and atomic density of about $2.5\times10^{17}\,\mathrm{m}^{-3}$, the shifts are about the order of wavelength and can be larger than the wavelength by increasing the atomic density. We propose a novel measurement scheme based on a balanced homodyne detection (BHD). By properly choosing the polarization, phase, and transverse mode of the local oscillator of the BHD, one can independently measure (i) the SHEL shifts of the two spin components; (ii) the spatial and angular shifts; (iii) the transverse and longitudinal shifts. The measurement can reach the quantum limit of precision by detecting signals at the modulation frequency of the electro-optic modulator used to modulate the input probe beam. The precision is estimated to be at the nanometer level limited by the quantum noise.


title: Not All Words are Equal: Video-specific Information Loss for Video Captioning

abstract: An ideal description for a given video should fix its gaze on salient and representative content, which is capable of distinguishing this video from others. However, the distribution of different words is unbalanced in video captioning datasets, where distinctive words for describing video-specific salient objects are far less than common words such as 'a' 'the' and 'person'. The dataset bias often results in recognition error or detail deficiency of salient but unusual objects. To address this issue, we propose a novel learning strategy called Information Loss, which focuses on the relationship between the video-specific visual content and corresponding representative words. Moreover, a framework with hierarchical visual representations and an optimized hierarchical attention mechanism is established to capture the most salient spatial-temporal visual information, which fully exploits the potential strength of the proposed learning strategy. Extensive experiments demonstrate that the ingenious guidance strategy together with the optimized architecture outperforms state-of-the-art video captioning methods on MSVD with CIDEr score 87.5, and achieves superior CIDEr score 47.7 on MSR-VTT. We also show that our Information Loss is generic which improves various models by significant margins.


title: Training with the Invisibles: Obfuscating Images to Share Safely for Learning Visual Recognition Models

abstract: High-performance visual recognition systems generally require a large collection of labeled images to train. The expensive data curation can be an obstacle for improving recognition performance. Sharing more data allows training for better models. But personal and private information in the data prevent such sharing. To promote sharing visual data for learning a recognition model, we propose to obfuscate the images so that humans are not able to recognize their detailed contents, while machines can still utilize them to train new models. We validate our approach by comprehensive experiments on three challenging visual recognition tasks; image classification, attribute classification, and facial landmark detection on several datasets including SVHN, CIFAR10, Pascal VOC 2012, CelebA, and MTFL. Our method successfully obfuscates the images from humans recognition, but a machine model trained with them performs within about 1% margin (up to 0.48%) of the performance of a model trained with the original, non-obfuscated data.


title: Microglial memory of early life stress and inflammation: susceptibility to neurodegeneration in adulthood

abstract: We review evidence supporting the role of early life programming in the susceptibility for adult neurodegenerative diseases while highlighting questions and proposing avenues for future research to advance our understanding of this fundamental process. The key elements of this phenomenon are chronic stress, neuroinflammation triggering microglial polarization, microglial memory and their connection to neurodegeneration. We review the mediating mechanisms which may function as early biomarkers of increased susceptibility for neurodegeneration. Can we devise novel early life-modifying interventions to steer developmental trajectories to their optimum?


title: A Hardware Friendly Unsupervised Memristive Neural Network with Weight Sharing Mechanism

abstract: Memristive neural networks (MNNs), which use memristors as neurons or synapses, have become a hot research topic recently. However, most memristors are not compatible with mainstream integrated circuit technology and their stabilities in large-scale are not very well so far. In this paper, a hardware friendly MNN circuit is introduced, in which the memristive characteristics are implemented by digital integrated circuit. Through this method, spike timing dependent plasticity (STDP) and unsupervised learning are realized. A weight sharing mechanism is proposed to bridge the gap of network scale and hardware resource. Experiment results show the hardware resource is significantly saved with it, maintaining good recognition accuracy and high speed. Moreover, the tendency of resource increase is slower than the expansion of network scale, which infers our method's potential on large scale neuromorphic network's realization.


title: Probabilistically Safe Corridors to Guide Sampling-Based Motion Planning

abstract: In this paper, we introduce a new probabilistically safe local steering primitive for sampling-based motion planning in complex high-dimensional configuration spaces. Our local steering procedure is based on a new notion of a convex probabilistically safe corridor that is constructed around a configuration using tangent hyperplanes of confidence ellipsoids of Gaussian mixture models learned from prior collision history. Accordingly, we propose to expand a random motion planning graph towards a sample goal using its projection onto probabilistically safe corridors, which efficiently exploits the local geometry of configuration spaces for selecting proper steering direction and adapting steering stepsize. We observe that the proposed local steering procedure generates effective steering motion around difficult regions of configuration spaces, such as narrow passages, while minimizing collision likelihood. We evaluate the proposed steering method with randomized motion planners in a number of planning scenarios, both in simulation and on a physical 7DoF robot arm, demonstrating the effectiveness of our safety guided local planner over the standard straight-line planner.


title: Improved Bethe-Heitler formula

abstract: The bremsstrahlung cross section of electron in the atomic electric field is re-derived using the time ordered perturbative theory. The results are compared with the Bethe-Heitler formula. We indicate that both the TOPT-description and a soft version for the bremsstrahlung process predict a strong screening parameter-dependent cross section, which is missed by previous bremsstrahlung theory.


title: Statistical Analysis Of NYC Buildings And Wind Damages

abstract: The objective of this study is to determine the types of existing buildings that are at risk of falling debris based on height, age, construction classification, construction methods and materials and occupancy. This study focuses on elements that could become debris under high wind action and present a hazard to pedestrians, vehicles, and nearby structures. This study evaluated the particular building elements that might become Wind Generated Debris (WGD). This was accomplished by inspecting 500 buildings located in Manhattan that experienced wind-related incidents. The results illustrate that the building elements most likely to produce WGD are windows, followed by exterior fixtures, roof elements, stairs/sidewalk shed, and balcony elements, respectively. Consequently, FISP inspectors should pay particular attention to these elements, which have higher probabilities in causing incidents.


title: On polyhedral formula for Kirillov-Reshetikhin modules

abstract: We propose a method to prove a polyhedral branching formula for Kirillov-Reshetikhin modules over a quantum affine algebra. When the underlying simple Lie algebra is of exceptional type, such a formula remains mostly conjectural. We convert a polyhedral formula into an identity between two rational functions of a single variable with only simple poles at known locations. It is then sufficient to check the equalities of the residues at those poles, which are explicitly computable quantities. By following this strategy, we obtain a computer-assisted proof of a conjectural polyhedral formula in type $F_4$.


title: Top-Assisted Di-Higgs boson Production Motivated by Baryogenesis

abstract: We study top-assisted di-Higgs production via $cg \to tH \to thh$, where $h$ is the 125 GeV scalar boson, and $H$ is the $CP$-even heavy Higgs. The context is the two Higgs doublet model without a $Z_2$ symmetry, where the extra Yukawa coupling $\rho_{tc}$ generates $tH$ production, with the extra top Yukawa $\rho_{tt} \simeq 0$ to avoid $gg \to H$ constraints. We find that discovery is possible for $m_H$ around 300 GeV or so at the LHC, but would need finite $h$-$H$ mixing angle $\cos\gamma$ to allow for finite $\lambda_{Hhh}$ coupling, and $\rho_{tc}$ also needs to be not too small. A sizable $\rho_{tc}$ could drive electroweak baryogenesis, which further motivates the search.


title: DECT-MULTRA: Dual-Energy CT Image Decomposition With Learned Mixed Material Models and Efficient Clustering

abstract: Dual energy computed tomography (DECT) imaging plays an important role in advanced imaging applications due to its material decomposition capability. Image-domain decomposition operates directly on CT images using linear matrix inversion, but the decomposed material images can be severely degraded by noise and artifacts. This paper proposes a new method dubbed DECT-MULTRA for image-domain DECT material decomposition that combines conventional penalized weighted-least squares (PWLS) estimation with regularization based on a mixed union of learned transforms (MULTRA) model. Our proposed approach pre-learns a union of common-material sparsifying transforms from patches extracted from all the basis materials, and a union of cross-material sparsifying transforms from multi-material patches. The common-material transforms capture the common properties among different material images, while the cross-material transforms capture the cross-dependencies. The proposed PWLS formulation is optimized efficiently by alternating between an image update step and a sparse coding and clustering step, with both of these steps having closed-form solutions. The effectiveness of our method is validated with both XCAT phantom and clinical head data. The results demonstrate that our proposed method provides superior material image quality and decomposition accuracy compared to other competing methods.


title: Symmetric integrators based on continuous-stage Runge-Kutta-Nystrom methods for reversible systems

abstract: In this paper, we study symmetric integrators for solving second-order ordinary differential equations on the basis of the notion of continuous-stage Runge-Kutta-Nystrom methods. The construction of such methods heavily relies on the Legendre expansion technique in conjunction with the symmetric conditions and simplifying assumptions for order conditions. New families of symmetric integrators as illustrative examples are presented. For comparing the numerical behaviors of the presented methods, some numerical experiments are also reported.


title: Correlated Paramagnetism and Interplay of Magnetic and Phononic Degrees of Freedom in 3d-5d Coupled La2CuIrO6

abstract: Conventional Paramagnetism - a state with finite magnetic moment per ion sans long range magnetic ordering, but with lowering temperature the moment on each ion picks up a particular direction, breaking rotational symmetry, and results into long range magnetic ordering. However, in systems with competing multiple degrees of freedom this conventional notion may easily breaks and results into short range correlation much above the global magnetic transition temperature. La2CuIrO6 with complex interplay of spins (s =1/2) on Cu site and pseudo-spin (j =1/2) on Ir site owing to strong spin-orbit coupling provides fertile ground to observe such correlated phenomena. By a comprehensive temperature dependent Raman study, we have shown the presence of such a correlated paramagnetic state in La2CuIrO6 much above the long range magnetic ordering temperature (TN ). Our observation of strong interactions of phonons, associated with Cu/Ir octahedra, with underlying magnetic degrees of freedom mirrored in the observed Fano asymmetry, which remarkably persists as high as ~ 3.5TN clearly signals the existence of correlated paramagnetism hence broken rotational symmetry. Our detailed analysis also reveals anomalous changes in the self-energy parameters of the phonon modes, i.e. mode frequencies and linewidth, below TN, providing a useful gauge for monitoring the strong coupling between phonons and magnetic degrees of freedom.


title: Morphological Network: How Far Can We Go with Morphological Neurons?

abstract: Morphological neurons, that is morphological operators such as dilation and erosion with learnable structuring elements, have intrigued researchers for quite some time because of the power these operators bring to the table despite their simplicity. These operators are known to be powerful nonlinear tools, but for a given problem coming up with a sequence of operations and their structuring element is a non-trivial task. So, the existing works have mainly focused on this part of the problem without delving deep into their applicability as generic operators. A few works have tried to utilize morphological neurons as a part of classification (and regression) networks when the input is a feature vector. However, these methods mainly focus on a specific problem, without going into generic theoretical analysis. In this work, we have theoretically analyzed morphological neurons and have shown that these are far more powerful than previously anticipated. Our proposed morphological block, containing dilation and erosion followed by their linear combination, represents a sum of hinge functions. Existing works show that hinge functions perform quite well in classification and regression problems. Two morphological blocks can even approximate any continuous function. However, to facilitate the theoretical analysis that we have done in this paper, we have restricted ourselves to the 1D version of the operators, where the structuring element operates on the whole input. Experimental evaluations also indicate the effectiveness of networks built with morphological neurons, over similarly structured neural networks.


title: Time series classification based on triadic time series motifs

abstract: It is of great significance to identify the characteristics of time series to qualify their similarity. We define six types of triadic time-series motifs and investigate the motif occurrence profiles extracted from logistic map, chaotic logistic map, chaotic Henon map, chaotic Ikeda map, hyperchaotic generalized Henon map and hyperchaotic folded-tower map. Based on the similarity of motif profiles, we further propose to estimate the similarity coefficients between different time series and classify these time series with high accuracy. We further apply the motif analysis method to the UCR Time Series Classification Archive and provide evidence of good classification ability for some data sets. Our analysis shows that the proposed triadic time series motif analysis performs better than the classic dynamic time wrapping method in classifying time series for certain data sets investigated in this work.


title: A node-based SIRS epidemic model with infective media on complex networks

abstract: In this paper, we focus on the node-based epidemic modeling for networks, introduce the propagation medium and propose a node-based Susceptible-Infected-Recovered-Susceptible (SIRS) epidemic model with infective media. Theoretical investigations show that the endemic equilibrium is globally asymptotically stable. Numerical examples of three typical network structures also verify the theoretical results. Furthermore, Comparison between network node degree and its infected percents implies that there is a strong positive correlation between both, namely, the node with bigger degree is infected with more percents. Finally, we discuss the impact of the epidemic spreading rate of media as well as the effective recovered rate on the network average infected state. Theoretical and numerical results show that (1) network average infected percents go up (down) with the increase of the infected rate of media (the effective recovered rate); (2) the infected rate of media has almost no influence on network average infected percents for the fully-connected network and NW small-world network; (3) network average infected percents decrease exponentially with the increase of the effective recovered rate, implying that the percents can be controlled at low level by an appropriate large effective recovered rate.


title: A two-level overlapping Schwarz method with energy-minimizing multiscale coarse basis functions

abstract: A two-level overlapping Schwarz method is developed for second order elliptic problems with highly oscillatory and high contrast coefficients, for which it is known that the standard coarse problem fails to give a robust preconditioner. In this paper, we develop energy minimizing multiscale finite element functions to form a more robust coarse problem. First, a local spectral problem is solved in each non-overlapping coarse subdomain, and dominant eigenfunctions are selected as auxiliary functions, which are crucial for the high contrast case. The required multiscale basis functions are then obtained by minimizing an energy subject to some orthogonality conditions with respect to the auxiliary functions. Due to an exponential decay property, the minimization problem is solved locally on oversampling subdomains, that are unions of a few coarse subdomains. The coarse basis functions are therefore local and can be computed efficiently. The resulting preconditioner is shown to be robust with respect to the contrast in the coefficients as well as the overlapping width in the subdomain partition. Numerical results are presented to validate the theory and show the performance.


title: Probery: A Probability-based Incomplete Query Optimization for Big Data

abstract: Nowadays, query optimization has been highly concerned in big data management, especially in NoSQL databases. Approximate queries boost query performance by loss of accuracy, for example, sampling approaches trade off query completeness for efficiency. Different from them, we propose an uncertainty of query completeness, called Probability of query Completeness (PC for short). PC refers to the possibility that query results contain all satisfied records. For example PC=0.95, it guarantees that there are no more than 5 incomplete queries among 100 ones, but not guarantees how incomplete they are. We trade off PC for query performance, and experiments show that a small loss of PC doubles query performance. The proposed Probery (PROBability-based data quERY) adopts the uncertainty of query completeness to accelerate OLTP queries. This paper illustrates the data and probability models, the probability based data placement and query processing, and the Apache Drill-based implementation of Probery. In experiments, we first prove that the percentage of complete queries is larger than the given PC confidence for various cases, namely that the PC guarantee is validate. Then Probery is compared with Drill, Impala and Hive in terms of query performance. The results indicate that Drill-based Probery performs as fast as Drill with complete query, while averagely 1.8x, 1.3x and 1.6x faster than Drill, Impala and Hive with possible complete query, respectively.


title: Closing the gap towards end-to-end autonomous vehicle system

abstract: Designing a driving policy for autonomous vehicles is a difficult task. Recent studies suggested an end-toend (E2E) training of a policy to predict car actuators directly from raw sensory inputs. It is appealing due to the ease of labeled data collection and since handcrafted features are avoided. Explicit drawbacks such as interpretability, safety enforcement and learning efficiency limit the practical application of the approach. In this paper, we amend the basic E2E architecture to address these shortcomings, while retaining the power of end-to-end learning. A key element in our proposed architecture is formulation of the learning problem as learning of trajectory. We also apply a Gaussian mixture model loss to contend with multi-modal data, and adopt a finance risk measure, conditional value at risk, to emphasize rare events. We analyze the effect of each concept and present driving performance in a highway scenario in the TORCS simulator. Video is available in this link: https://www.youtube.com/watch?v=1JYNBZNOe_4


title: Morse index and bifurcation for figure-eight choreographies of the equal mass three-body problem

abstract: We report on the Morse index and periodic solutions bifurcating from the figure-eight choreography for the equal mass three-body problem under homogeneous potential $-1/r^a$ for $a \ge 0$, and under Lennard-Jones (LJ) type potential $1/r^{12}-1/r^6$, where $r$ is a distance between bodies. It is shown that the Morse index changes at a bifurcation point and all solutions bifurcating are approximated by variational functions responsible for the change of the Morse index. Inversely we observed %numerically bifurcation occurs at every point where the Morse index changes for the figure-eight choreography under $-1/r^a$, and for $\alpha$ solution under LJ type potential, where $\alpha$ solution is a figure-eight choreography tending to that under $-1/r^6$ for infinitely large period. Thus, to our numerical studies, change of the Morse index is not only necessary but also sufficient condition for bifurcation for these choreographies. Further we observed that the change of the Morse index is equal to the number of bifurcated solutions regarding solutions with congruent orbits as the same solution.


title: Different contributions to space weather and space climate from different big solar active regions

abstract: The purpose of this paper is to show that large active regions (ARs) with different magnetic configurations have different contributions to short-term and long-term variations of the Sun. As a case study, the complex $\delta$-type AR 12673 and the simple $\beta$-type AR 12674 are investigated in detail. Since the axial dipole moment at cycle minimum determines the amplitude of the subsequent cycle and space climate, we have assimilated the individual observed magnetic configurations of these two ARs into a surface flux transport model to compare their contributions to the axial dipole moment $D$. We find that AR 12673 has a significant effect on $D$ at the end of the cycle, making it weaker because of the abnormal and complicated magnetic polarities. An initial strongly positive $D$ ends up with a strongly negative value. The flare-poor AR 12674 has a greater contribution to the long-term axial dipole moment than the flare-rich AR 12673. We then carry out a statistical analysis of ARs larger than 800 $\mu$Hem from 1976 to 2017. We use the flare index FI and define an axial dipole moment index DI to quantify the effects of each AR on space weather and space climate, respectively. Whereas the FI has a strong dependence on the magnetic configuration, the DI shows no such dependence. The DI is mainly determined by the latitudinal location and the latitudinal separation of the positive and negative magnetic fluxes of the ARs. Simple ARs have the same possibility as complex ARs to produce big DI values affecting space climate.


title: An Active Learning Framework for Efficient Robust Policy Search

abstract: Robust Policy Search is the problem of learning policies that do not degrade in performance when subject to unseen environment model parameters. It is particularly relevant for transferring policies learned in a simulation environment to the real world. Several existing approaches involve sampling large batches of trajectories which reflect the differences in various possible environments, and then selecting some subset of these to learn robust policies, such as the ones that result in the worst performance. We propose an active learning based framework, EffAcTS, to selectively choose model parameters for this purpose so as to collect only as much data as necessary to select such a subset. We apply this framework using Linear Bandits, and experimentally validate the gains in sample efficiency and the performance of our approach on standard continuous control tasks. We also present a Multi-Task Learning perspective to the problem of Robust Policy Search, and draw connections from our proposed framework to existing work on Multi-Task Learning.


title: Approximation forte sur un produit de vari\'et\'es ab\'eliennes \'epoint\'e en des points de torsion

abstract: Consider strong approximation for algebraic varieties defined over a number field $k$. Let $S$ be a finite set of places of $k$ containing all archimedean places. Let $E$ be an elliptic curve of positive Mordell-Weil rank and let $A$ be an abelian variety of positive dimension and of finite Mordell-Weil group. For an arbitrary finite set $\mathfrak{T}$ of torsion points of $E\times A$, denote by $X$ its complement. Supposing the finiteness of $Sha(E\times A)$, we prove that $X$ satisfies strong approximation with Brauer-Manin obstruction off $S$ if and only if the projection of $\mathfrak{T}$ to $A$ contains no $k$-rational points.


title: Inverse spectral problems for non-self-adjoint Sturm-Liouville operators with discontinuous boundary conditions

abstract: This paper deals with the inverse spectral problem for a non-self-adjoint Sturm-Liouville operator with discontinuous conditions inside the interval. We obtain that if the potential $q$ is known a priori on a subinterval $ \left[ b,\pi \right] $ with $b\in \left( d,\pi \right] $ or $b=d$, then $h,$ $\beta ,$ $\gamma \ $and $q$ on $\left[ 0,\pi \right] \ $can be uniquely determined by partial spectral data consisting of a sequence of eigenvalues and a subsequence of the corresponding generalized normalizing constants or a subsequence of the pairs of eigenvalues and the corresponding generalized ratios. For the case $b\in \left( 0,d\right) ,$ a similar statement holds if $ \beta ,$ $\gamma \ $are also known a priori. Moreover, if $q$ satisfies a local smoothness condition, we provide an alternative approach instead of using the high-energy asymptotic expansion of the Weyl $m$-function to solve the problem of missing eigenvalues and norming constants.


title: Gated-Dilated Networks for Lung Nodule Classification in CT scans

abstract: Different types of Convolutional Neural Networks (CNNs) have been applied to detect cancerous lung nodules from computed tomography (CT) scans. However, the size of a nodule is very diverse and can range anywhere between 3 and 30 millimeters. The high variation of nodule sizes makes classifying them a difficult and challenging task. In this study, we propose a novel CNN architecture called Gated-Dilated (GD) networks to classify nodules as malignant or benign. Unlike previous studies, the GD network uses multiple dilated convolutions instead of max-poolings to capture the scale variations. Moreover, the GD network has a Context-Aware sub-network that analyzes the input features and guides the features to a suitable dilated convolution. We evaluated the proposed network on more than 1,000 CT scans from the LIDC-LDRI dataset. Our proposed network outperforms state-of-the-art baseline models including Multi-Crop, Resnet, and Densenet, with an AUC of >0.95. Compared to the baseline models, the GD network improves the classification accuracies of mid-range sized nodules. Furthermore, we observe a relationship between the size of the nodule and the attention signal generated by the Context-Aware sub-network, which validates our new network architecture.


title: FPGA-based Accelerators of Deep Learning Networks for Learning and Classification: A Review

abstract: Due to recent advances in digital technologies, and availability of credible data, an area of artificial intelligence, deep learning, has emerged, and has demonstrated its ability and effectiveness in solving complex learning problems not possible before. In particular, convolution neural networks (CNNs) have demonstrated their effectiveness in image detection and recognition applications. However, they require intensive CPU operations and memory bandwidth that make general CPUs fail to achieve desired performance levels. Consequently, hardware accelerators that use application specific integrated circuits (ASICs), field programmable gate arrays (FPGAs), and graphic processing units (GPUs) have been employed to improve the throughput of CNNs. More precisely, FPGAs have been recently adopted for accelerating the implementation of deep learning networks due to their ability to maximize parallelism as well as due to their energy efficiency. In this paper, we review recent existing techniques for accelerating deep learning networks on FPGAs. We highlight the key features employed by the various techniques for improving the acceleration performance. In addition, we provide recommendations for enhancing the utilization of FPGAs for CNNs acceleration. The techniques investigated in this paper represent the recent trends in FPGA-based accelerators of deep learning networks. Thus, this review is expected to direct the future advances on efficient hardware accelerators and to be useful for deep learning researchers.


title: Multiphoton Quantum-State Engineering using Conditional Measurements

abstract: The quantum theory of electromagnetic radiation predicts characteristic statistical fluctuations for light sources as diverse as sunlight, laser radiation and molecule fluorescence. Indeed, these underlying statistical fluctuations of light are associated with the fundamental physical processes behind their generation. In this contribution, we demonstrate that the manipulation of the quantum electromagnetic fluctuations of a pair of vacuum states leads to a novel family of quantum-correlated multiphoton states with tunable mean photon numbers and degree of correlation. Our technique relies on the use of conditional measurements to engineer the excitation mode of the field through the simultaneous subtraction of photons from two-mode squeezed vacuum states. The experimental generation of multiphoton states with quantum correlations by means of photon subtraction unveils novel mechanisms to control fundamental properties of light. As a remarkable example, we demonstrate the engineering of a quantum correlated state of light, with nearly Poissonian photon statistics, that constitutes the first step towards the generation of entangled lasers. Our technique enables a robust protocol to prepare quantum states with multiple photons in high-dimensional spaces and, as such, it constitutes a novel platform for exploring quantum phenomena in mesoscopic systems.


title: Finitely dependent processes are finitary

abstract: We show that any finitely dependent invariant process on a transitive amenable graph is a finitary factor of an i.i.d. process. With an additional assumption on the geometry of the graph, namely that no two balls with different centers are identical, we further show that the i.i.d. process may be taken to have entropy arbitrarily close to that of the finitely dependent process. As an application, we give an affirmative answer to a question of Holroyd.


title: Random Switching near Bifurcations

abstract: The interplay between bifurcations and random switching processes of vector fields is studied. More precisely, we provide a classification of piecewise deterministic Markov processes arising from stochastic switching dynamics near fold, Hopf, transcritical and pitchfork bifurcations. We prove the existence of invariant measures for different switching rates. We also study, when the invariant measures are unique, when multiple measures occur, when measures have smooth densities, and under which conditions finite-time blow-up occurs. We demonstrate the applicability of our results for three nonlinear models arising in applications.


title: Kinked Entropy and Discontinuous Microcanonical Spontaneous Symmetry Breaking

abstract: Spontaneous symmetry breaking (SSB) in statistical physics is a macroscopic collective phenomenon. For the paradigmatic Q-state Potts model it means a transition from the disordered color-symmetric phase to an ordered phase in which one color dominates. Existing mean field theories imply that SSB in the microcanonical statistical ensemble (with energy being the control parameter) should be a continuous process. Here we study microcanonical SSB on the random-graph Potts model, and discover that the entropy is a kinked function of energy. This kink leads to a discontinuous phase transition at certain energy density value, characterized by a jump in the density of the dominant color and a jump in the microcanonical temperature. This discontinuous SSB in random graphs is confirmed by microcanonical Monte Carlo simulations, and it is also observed in bond-diluted finite-size lattice systems.


title: Disappearance of Superconductivity and a Concomitant Lifshitz Transition in Heavily-Overdoped Bi2Sr2CuO6 Superconductor Revealed by Angle-Resolved Photoemission Spectroscopy

abstract: By partially doping Pb to effectively suppress the superstructure in single-layered cuprate Bi2Sr2CuO6+{\delta}(Pb-Bi2201) and annealing them in vacuum or in high pressure oxygen atmosphere, a series of high quality Pb-Bi2201 single crystals are obtained with Tc covering from 17 K to non-supercondcuting in the overdoped region. High resolution angle resolved photoemission spectroscopy (ARPES) measurements are carried out on these samples to investigate the evolution of the Fermi surface topology with doping in the normal state. Clear and complete Fermi surface are observed and quantitatively analyzed in all these overdoped Pb-Bi2201 samples. A Lifshitz transition from hole-like Fermi surface to electron like Fermi surface with increasing doping is observed at a doping level of ~0.35. This transition coincides with the change that the sample undergoes from superconducting to non-superconducting states. Our results reveal the emergence of an electron-like Fermi surface and the existence of a Lifshitz transition in heavily overdoped Bi2201 samples. They provide important information in understanding the connection between the disappearance of superconductivity and the Lifshitz transition in the overdoped region.


title: Normal-mode splitting of four-level atom-cavity system under collective strong coupling

abstract: We investigate the transmission spectrum of an optical cavity coupled with four-level atoms. Multiple normal-mode splitting peaks of the strongly coupled atom-cavity system are obtained as single cavity mode couples three separated atomic transitions simultaneously. We employ a confocal optical cavity and an ensemble of cold Rb-85 atoms for cavity quantum electrodynamics. We observe four normal-mode splitting peaks of the cavity transmission in the strong coupling regime due to collective enhancement of the atom-cavity coupling strength by ensemble of cold atoms. The experimental observations are consistent with the theoretical analysis. The multiple normal-mode excitation in the strongly coupled multi-level atom-cavity system may lead to practical application for realizing multi-channel all-optical devices.


title: MaD: Mapping and debugging framework for implementing deep neural network onto a neuromorphic chip with crossbar array of synapses

abstract: Neuromorphic systems or dedicated hardware for neuromorphic computing is getting popular with the advancement in research on different device materials for synapses, especially in crossbar architecture and also algorithms specific or compatible to neuromorphic hardware. Hence, an automated mapping of any deep neural network onto the neuromorphic chip with crossbar array of synapses and an efficient debugging framework is very essential. Here, mapping is defined as the deployment of a section of deep neural network layer onto a neuromorphic core and the generation of connection lists among population of neurons to specify the connectivity between various neuromorphic cores on the neuromorphic chip. Debugging is the verification of computations performed on the neuromorphic chip during inferencing. Together the framework becomes Mapping and Debugging (MaD) framework. MaD framework is quite general in usage as it is a Python wrapper which can be integrated with almost every simulator tools for neuromorphic chips. This paper illustrates the MaD framework in detail, considering some optimizations while mapping onto a single neuromorphic core. A classification task on MNIST and CIFAR-10 datasets are considered for test case implementation of MaD framework.


title: Wild globally hyperbolic maximal anti-de Sitter structures

abstract: Let $\Sigma$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce wild globally hyperbolic anti-de Sitter structures on $\Sigma \times \mathbb{R}$ and provide two parameterisations of their deformation space: as a quotient of the product of two copies of the Teichm\"uller space of crowned hyperbolic surfaces and as the bundle over the Teichm\"uller space of $\Sigma$ of meromorphic quadratic differentials with poles of order at least $3$ at the punctures.


title: Realizing data features by deep nets

abstract: This paper considers the power of deep neural networks (deep nets for short) in realizing data features. Based on refined covering number estimates, we find that, to realize some complex data features, deep nets can improve the performances of shallow neural networks (shallow nets for short) without requiring additional capacity costs. This verifies the advantage of deep nets in realizing complex features. On the other hand, to realize some simple data feature like the smoothness, we prove that, up to a logarithmic factor, the approximation rate of deep nets is asymptotically identical to that of shallow nets, provided that the depth is fixed. This exhibits a limitation of deep nets in realizing simple features.


title: Martingale approximations and anisotropic Banach spaces with an application to the time-one map of a Lorentz gas

abstract: In this paper, we show how the Gordin martingale approximation method fits into the anisotropic Banach space framework. In particular, for the time-one map of a finite horizon planar periodic Lorentz gas, we prove that Holder observables satisfy statistical limit laws such as the central limit theorem and associated invariance principles.


title: 5G Traffic Forecasting: If Verticals and Mobile Operators Cooperate

abstract: In 5G research, it is traditionally assumed that vertical industries (a.k.a verticals) set the performance requirements for the services they want to offer to mobile users, and the mobile operators alone are in charge of orchestrating their resources so as to meet such requirements. Motivated by the observation that successful orchestration requires reliable traffic predictions, in this paper we investigate the effects of having the verticals, instead of the mobile operators, performing such predictions. Leveraging a real-world, large-scale, crowd-sourced trace, we find that involving the verticals in the prediction process reduces the prediction errors and improves the quality of the resulting orchestration decisions.


title: Some sharp bounds for Steklov eigenvalues

abstract: This work is an extension of a result given by Kuttler and Sigillito (SIAM Rev $10$:$368-370$, $1968$) on a star-shaped bounded domain in $\mathbb{R}^2$. Let $\Omega$ be a star-shaped bounded domain in a hypersurface of revolution, having smooth boundary. In this article, we obtain a sharp lower bound for all Steklov eigenvalues on $\Omega$ in terms of the Steklov eigenvalues of the largest geodesic ball contained in $\Omega$ with the same center as $\Omega$. We also obtain similar bounds for all Steklov eigenvalues on star-shaped bounded domain in paraboloid, $P = \left\lbrace (x, y, z) \in \mathbb{R}^{3} : z = x^2 + y^2\right\rbrace$.


title: Supersymmetric S-matrices from the worldsheet in 10 and 11d

abstract: We obtain compact formulae for tree super-amplitudes for 10 and 11-dimensional supergravity and 10-dimensional supersymmetric Yang-Mills and Born-Infeld. These are based on the \emph{polarised scattering equations}. These incorporate polarization data into a spinor field on the Riemann sphere and arise from a twistorial representation of ambitwistor strings in 10 and 11 dimensions. They naturally extend amplitude formulae to manifest maximal supersymmetry. The framework is the natural generalization of twistorial ambitwistor string formulae found previously in four and six dimensions and is informally motivated from a vertex operator prescription for a family of supersymmetric worldsheet ambitwistor string models.


title: On a bounded remainder set for $(t,s)$ sequences I

abstract: Let ${\bf x}_0,{\bf x}_1,...$ be a sequence of points in $[0,1)^s$. A subset $S$ of $[0,1)^s$ is called a bounded remainder set if there exist two real numbers $a$ and $C$ such that, for every integer $N$, $$ | {\rm card}\{n <N \; | \; {\bf x}_{n} \in S\} - a N| <C . $$ Let $ ({\bf x}_n)_{n \geq 0} $ be an $s-$dimensional Halton-type sequence obtained from a global function field, $b \geq 2$, ${\bf \gamma} =(\gamma_1,...,\gamma_s)$, $\gamma_i \in [0, 1)$, with $b$-adic expansion $\gamma_i= \gamma_{i,1}b^{-1}+ \gamma_{i,2}b^{-2}+...$, $i=1,...,s$. In this paper, we prove that $[0,\gamma_1) \times ...\times [0,\gamma_s)$ is the bounded remainder set with respect to the sequence $({\bf x}_n)_{n \geq 0}$ if and only if \begin{equation} \nonumber \max_{1 \leq i \leq s} \max \{ j \geq 1 \; | \; \gamma_{i,j} \neq 0 \} < \infty. \end{equation} We also obtain the similar results for a generalized Niederreiter sequences, Xing-Niederreiter sequences and Niederreiter-Xing sequences.