title: A Spin-based model checking for the simple concurrent program on a preemptive RTOS

abstract: We adapt an existing preemptive scheduling model of RTOS kernel by eChronos from machine-assisted proof to Spin-based model checker. The model we constructed can be automatically verified rather than formulating proofs by hand. Moreover, we look into the designs of a Linux-like real-time kernel--Piko/RT and the specification of ARMv7-M architecture to reconstruct the model, and use LTL to specify a simple concurrent programs--consumer/producer problem during the development stage of the kernel. We show that under the preemptive scheduling and the mechanism of ARMv7-M, the program will not suffer from race condition, starvation, and deadlock.


title: Time evolution of the X-ray and gamma-ray fluxes of the Crab pulsar

abstract: We studied the evolution of the X-ray and gamma-ray spectra of the Crab pulsar utilizing the 11-year observations from the Rossi X-ray Timing Explorer (RXTE) and 9-year observations from the Fermi Gamma-ray Space Telescope (FGST). By fitting the spectrum of each observation, we obtained the corresponding flux, and then analysed the long term evolution of the X-ray (or gamma-ray) luminosities as well as their correlations with the spin down power of the pulsar. The X-ray flux in 5-60 keV obtained by the Proportional Counter Array (PCA) of RXTE decreases with a rate of (-2.4+/-0.4)*10^(-14) erg cm^(-2) s^(-1) per day. The X-ray flux in 15-250 keV obtained by the High Energy X-ray Timing Experiment (HEXTE) of RXTE and the gamma-ray flux in 0.1-300 GeV by the Large Area Telescope (LAT) onboard FGST show similar decreasing trend, but are unsignificant statistically. The 5--60 keV X-ray luminosity L_(X) is correlated with the spin down power L_(sd) by L_(X) propto L_(sd)^(1.6+/-0.3), which is similar to the statistical results for young pulsars.


title: Electromagnetic Emission from newly-born Magnetar Spin-Down by Gravitational-Wave and Magnetic Dipole Radiations

abstract: A newly-born magnetar is thought to be central engine of some long gamma-ray bursts (GRBs). We investigate the evolution of the electromagnetic (EM) emission from the magnetic dipole (MD) radiation wind injected by spin-down of a newly-born magnetar via both quadrupole gravitational-wave (GW) and MD radiations. We show that the EM luminosity evolves as $L_{\rm em}\propto (1+t/\tau_c)^{\alpha}$, and $\alpha$ is $-1$ and $-2$ in the GW and MD radiation dominated scenarios, respectively. Transition from the GW to MD radiation dominated epoch may show up as a smooth break with slope changing from $-1$ to $-2$. If the magnetar collapses to a black hole before $\tau_c$, the MD radiation should be shut down, then the EM light curve should be a plateau followed by a sharp drop. The expected generic light curve in this paradigm is consistent with the canonical X-ray light curve of {\em Swift} long GRBs. The X-ray emission of several long GRBs are identified and interpreted as magnetar spin-down via GW or MD, as well as constrain the physical parameters of magnetar. The combination of MD emission and GRB afterglows may make the diversity of the observed X-ray light curves. This may interpret the observed chromatic behaviors of the X-ray and optical afterglow light curves and the extremely low detection rate of a jet-like break in the X-ray afterglow light curves of long GRBs.


title: Applications of molecular communications to medicine: a survey

abstract: In recent years, progresses in nanotechnology have established the foundations for implementing nanomachines capable of carrying out simple but significant tasks. Under this stimulus, researchers have been proposing various solutions for realizing nanoscale communications, considering both electromagnetic and biological communications. Their aim is to extend the capabilities of nanodevices, so as to enable the execution of more complex tasks by means of mutual coordination, achievable through communications. However, although most of these proposals show how devices can communicate at the nanoscales, they leave in the background specific applications of these new technologies. Thus, this paper shows an overview of the actual and potential applications that can rely on a specific class of such communications techniques, commonly referred to as molecular communications. In particular, we focus on health-related applications. This decision is due to the rapidly increasing interests of research communities and companies to minimally invasive, biocompatible, and targeted health-care solutions. Molecular communication techniques have actually the potentials of becoming the main technology for implementing advanced medical solution. Hence, in this paper we provide a taxonomy of potential applications, illustrate them in some details, along with the existing open challenges for them to be actually deployed, and draw future perspectives.


title: Enqu\^ete sur les modes d'existence des \^etres math\'ematiques (version augment\'ee) [An inquiry into the modes of existence of mathematical beings (expanded version)]

abstract: This essay inquires how mathematical beings could be inserted into the architecture of modes of existence proposed by Bruno Latour in the framework of his pluralist and renewed ontology of the modern world. After a description of the problem, the work of Reviel Netz on the emergence of Greek mathematics, and of Charles Sanders Peirce on the diagrammatic dimension of mathematical practice are presented, as well as their impact on our essay. Its central part is the development of an empirical conception of mathematics that plays a central r\^ole in the sequel. Our analysis is based on the notion of experience according to William James; it is also inspired by certain aspects of Per Martin-L\"of's philosophy. It provides a way of thinking the firm certainty with which proofs endow theorems, while invalidating the interpretation of this certainty as the mark of a direct access to an absolute and transcendental truth. The sequel of our essay builds on this analysis for defining a sort of quasi-mode of existence appropriate for mathematical beings that respects the principal features of modes of existence according to the latourian ontology. In the conclusion, the way this quasi-mode might be integrated into this ontology is discussed, in particular with respect to the mode of reference that prevails in many other sciences.


title: Affect Estimation in 3D Space Using Multi-Task Active Learning for Regression

abstract: Acquisition of labeled training samples for affective computing is usually costly and time-consuming, as affects are intrinsically subjective, subtle and uncertain, and hence multiple human assessors are needed to evaluate each affective sample. Particularly, for affect estimation in the 3D space of valence, arousal and dominance, each assessor has to perform the evaluations in three dimensions, which makes the labeling problem even more challenging. Many sophisticated machine learning approaches have been proposed to reduce the data labeling requirement in various other domains, but so far few have considered affective computing. This paper proposes two multi-task active learning for regression approaches, which select the most beneficial samples to label, by considering the three affect primitives simultaneously. Experimental results on the VAM corpus demonstrated that our optimal sample selection approaches can result in better estimation performance than random selection and several traditional single-task active learning approaches. Thus, they can help alleviate the data labeling problem in affective computing, i.e., better estimation performance can be obtained from fewer labeling queries.


title: Active Learning for Regression Using Greedy Sampling

abstract: Regression problems are pervasive in real-world applications. Generally a substantial amount of labeled samples are needed to build a regression model with good generalization ability. However, many times it is relatively easy to collect a large number of unlabeled samples, but time-consuming or expensive to label them. Active learning for regression (ALR) is a methodology to reduce the number of labeled samples, by selecting the most beneficial ones to label, instead of random selection. This paper proposes two new ALR approaches based on greedy sampling (GS). The first approach (GSy) selects new samples to increase the diversity in the output space, and the second (iGS) selects new samples to increase the diversity in both input and output spaces. Extensive experiments on 12 UCI and CMU StatLib datasets from various domains, and on 15 subjects on EEG-based driver drowsiness estimation, verified their effectiveness and robustness.


title: Semiparametric Bayesian causal inference

abstract: We develop a semiparametric Bayesian approach for estimating the mean response in a missing data model with binary outcomes and a nonparametrically modelled propensity score. Equivalently we estimate the causal effect of a treatment, correcting nonparametrically for confounding. We show that standard Gaussian process priors satisfy a semiparametric Bernstein-von Mises theorem under smoothness conditions. We further propose a novel propensity score-dependent prior that provides efficient inference under strictly weaker conditions. We also show that it is theoretically preferable to model the covariate distribution with a Dirichlet process or Bayesian bootstrap, rather than modelling the covariate density using a Gaussian process prior.


title: Relational dynamic memory networks

abstract: Neural networks excel in detecting regular patterns but are less successful in representing and manipulating complex data structures, possibly due to the lack of an external memory. This has led to the recent development of a new line of architectures known as Memory-Augmented Neural Networks (MANNs), each of which consists of a neural network that interacts with an external memory matrix. However, this RAM-like memory matrix is unstructured and thus does not naturally encode structured objects. Here we design a new MANN dubbed Relational Dynamic Memory Network (RMDN) to bridge the gap. Like existing MANNs, RMDN has a neural controller but its memory is structured as multi-relational graphs. RMDN uses the memory to represent and manipulate graph-structured data in response to query; and as a neural network, RMDN is trainable from labeled data. Thus RMDN learns to answer queries about a set of graph-structured objects without explicit programming. We evaluate the capability of RMDN on several important prediction problems, including software vulnerability, molecular bioactivity and chemical-chemical interaction. Results demonstrate the efficacy of the proposed model.


title: Angle and magnitude decorrelation in the factorization breaking of collective flow

abstract: The collective harmonic flow in heavy-ion collisions correlates particles at all transverse momenta to be emitted preferably some directions. The factorization breaking coefficient measures the small decorrelation of the flow harmonics at two different transverse momenta. Using the hydrodynamic model I study in details the decorrelation of the harmonic flow due to the flow angle and the flow magnitude decorrelation at two transverse momenta. The effect can be seen in experiment measuring factorization breaking coefficients for the square of the harmonic flow vector at two transverse momenta. The hydrodynamic model predicts that the decorrelation of the flow magnitudes is about one half of the decorrelation of the overall flow (combining flow angle and flow magnitude decorrelations). These results are consistent with the principal component analysis of correlators of flow vectors squared.


title: Field tests for the ESPRESSO data analysis software

abstract: The data analysis software (DAS) for VLT ESPRESSO is aimed to set a new benchmark in the treatment of spectroscopic data towards the extremely-large-telescope era, providing carefully designed, fully interactive recipes to take care of complex analysis operations (e.g. radial velocity estimation in stellar spectra, interpretation of the absorption features in quasar spectra). A few months away from the instrument's first light, the DAS is now mature for science validation, with most algorithms already implemented and operational. In this paper, I will showcase the DAS features which are currently employed on high-resolution HARPS and UVES spectra to assess the scientific reliability of the recipes and their range of application. I will give a glimpse on the science that will be possible when ESPRESSO data become available, with a particular focus on the novel approach that has been adopted to simultaneously fit the emission continuum and the absorption lines in the Lyman-alpha forest of quasar spectra.


title: A facile approach to calculating superconducting transition temperatures in the bismuth solid phases

abstract: All solid phases of bismuth under pressure, but one, have been experimentally found to superconduct. From Bi-I to Bi-V, avoiding Bi-IV, they become superconductors and perhaps Bi-IV may also become superconductive. To investigate the influence of the electronic properties N(E) and the vibrational properties F({\omega}) on their superconductivity we have ab initio calculated them for the corresponding experimental crystalline structures, and using a BCS approach have been able to determine their critical temperatures Tc obtaining results close to experiment: For Bi-I (The Wyckoff Phase) we predicted a transition temperature of less than 1.3 mK and a year later a Tc of 0.5 mK was measured; for Bi-II Tc is 3.9 K measured and 3.6 K calculated; Bi-III has a measured Tc of 7 K and 6.5 K calculated for the structure reported by Chen et al., and for Bi-V Tc ~ 8 K measured and 6.8 K calculated. Bi-IV has not been found to be a superconductor but we have recently predicted a Tc of 4.25 K.


title: Proof Simplification and Automated Theorem Proving

abstract: The proofs first generated by automated theorem provers are far from optimal by any measure of simplicity. In this paper I describe a technique for simplifying automated proofs. Hopefully this discussion will stimulate interest in the larger, still open, question of what reasonable measures of proof simplicity might be.


title: A Structural Model For Simulating the Mechanical Response of Fingertip to Tactile Stimuli

abstract: Response of the mechanoreceptors underlying the skin is greatly affected by its mechanical properties. Knowledge of this response is essential in designing artificial tactile devices such as minimally invasive tools and tactile displays. The purpose of present research is to simulate the biomechanics of tactile sensation during indentation tests. A two-dimensional finite element model has been used for the analysis incorporating the essential anatomical structures of a finger (i.e., skin, subcutaneous tissue, bone, and nail). The skin and subcutaneous tissue are assumed to be hyperelastic and viscoelastic. We obtained the stress, strain and deformation fields in indentation tests. It was noted that the skin away from the indenter was experiencing considerable amount of strain energy density. Also, the response of SAI afferents could be predicted from the proposed model. These results were in agreement with the results mentioned in other published experimental data.


title: Computational design of metal-supported molecular switches: Transient ion formation during light- and electron-induced isomerisation of azobenzene

abstract: In molecular nanotechnology, a single molecule is envisioned to act as the basic building block of electronic devices. Such devices may be of special interest for organic photovoltaics, data storage, and smart materials. However, more often than not the molecular function is quenched upon contact with a conducting support. Trial-and-error-based decoupling strategies via molecular functionalisation and change of substrate have in many instances proven to yield unpredictable results. The adsorbate-substrate interactions that govern the function can be understood with the help of first-principles simulation. Employing dispersion-corrected Density-Functional Theory (DFT) and linear expansion Delta-Self-Consistent-Field DFT, the electronic structure of a prototypical surface-adsorbed functional molecule, namely azobenzene adsorbed to (111) single crystal facets of copper, silver and gold, is investigated and the main reasons for the loss or survival of the switching function upon adsorption are identified. The light-induced switching ability of a functionalised derivative of azobenzene on Au(111) and azobenzene on Ag(111) and Au(111) is assessed based on the excited-state potential energy landscapes of their transient molecular ions, which are believed to be the main intermediates of the experimentally observed isomerisation reaction. We provide a rationalisation of the experimentally observed function or lack thereof that connects to the underlying chemistry of the metal-surface interaction and provides insights into general design strategies for complex light-driven reactions at metal surfaces.


title: Homophonic Quotients of Linguistic Free Groups: German, Korean, and Turkish

abstract: In 1993, the homophonic quotient groups for French and English (the quotient of the free group generated by the French (respectively English) alphabet determined by relations representing standard pronunciation rules) were explicitly characterized [5]. In this paper we apply the same methodology to three different language systems: German, Korean, and Turkish. We argue that our results point to some interesting differences between these three languages (or at least their current script systems).


title: Detecting Weak Signals from Interfaces by High Accuracy Phase-Resolved SFG Spectroscopy

abstract: Much work over the last 25 years has demonstrated that the interface-specific, alloptical technique, vibrational sum frequency generation (v-SFG) spectroscopy, is often uniquely capable of characterizing the structure and dynamics of interfacial species. The desired information in such a measurement is the complex second order susceptibility which gives rise to the nonlinear response from interfacial molecules. The ability to detect molecular species yielding only small contributions to the susceptibility is meanwhile limited by the precision by which the spectral phase and amplitude can be determined. In this study we describe a new spectrometer design that offers unprecedented phase and amplitude accuracy while significantly improving the sensitivity of the technique. Combining a full collinear beam geometry with a technique enabling the simultaneous measurement of the complex sample and reference spectrum, uncertainties in the reference phase and amplitude are shown to be greatly reduced. Furthermore, we show that using balanced detection, the signal to noise ratio can be increased by one order of magnitude. The capabilities of the spectrometer are demonstrated by the isolation of a small isotropic surface signal from the bulk dominated nonlinear optical response of z-cut quartz. The achieved precision of our spectrometer enables measurements not currently feasible in v-SFG spectroscopy.


title: CT Super-resolution GAN Constrained by the Identical, Residual, and Cycle Learning Ensemble(GAN-CIRCLE)

abstract: Computed tomography (CT) is widely used in screening, diagnosis, and image-guided therapy for both clinical and research purposes. Since CT involves ionizing radiation, an overarching thrust of related technical research is development of novel methods enabling ultrahigh quality imaging with fine structural details while reducing the X-ray radiation. In this paper, we present a semi-supervised deep learning approach to accurately recover high-resolution (HR) CT images from low-resolution (LR) counterparts. Specifically, with the generative adversarial network (GAN) as the building block, we enforce the cycle-consistency in terms of the Wasserstein distance to establish a nonlinear end-to-end mapping from noisy LR input images to denoised and deblurred HR outputs. We also include the joint constraints in the loss function to facilitate structural preservation. In this deep imaging process, we incorporate deep convolutional neural network (CNN), residual learning, and network in network techniques for feature extraction and restoration. In contrast to the current trend of increasing network depth and complexity to boost the CT imaging performance, which limit its real-world applications by imposing considerable computational and memory overheads, we apply a parallel $1\times1$ CNN to compress the output of the hidden layer and optimize the number of layers and the number of filters for each convolutional layer. Quantitative and qualitative evaluations demonstrate that our proposed model is accurate, efficient and robust for super-resolution (SR) image restoration from noisy LR input images. In particular, we validate our composite SR networks on three large-scale CT datasets, and obtain promising results as compared to the other state-of-the-art methods.


title: From ESPRESSO to the future -- Analysis of QSO spectra with the Astrocook package

abstract: The ESPRESSO instrument, to be commissioned in the next months at the ESO VLT, is bound to became a landmark in the field of high-resolution optical spectroscopy, both for its ground-breaking science objectives (search for Earth-like exoplanets; measure of a possible variation of fundamental constants) and for its novel approach to data treatment. For the first time for an ESO instrument, scientific information will be extracted in real time by a dedicated Data Analysis Software (DAS), which includes several interactive workflows to handle the typical analysis cases in stellar and QSO spectroscopy. Data analysis tools in the oncoming ELT era will face very demanding requirements from compelling science case, such as the Sandage Test: the need of handling larger data sizes with a higher degree of accuracy, and the possibility to compare observations and simulated data on the fly. To this purpose, we are currently porting the solutions developed for ESPRESSO to a wider framework, integrating the algorithms within a full-fledged set of Python modules. The project, named "Astrocook", is aimed to provide a set of high-level, instrument-agnostic procedures to automatically extract physical information from the data.


title: Model Reduction with Memory and the Machine Learning of Dynamical Systems

abstract: The well-known Mori-Zwanzig theory tells us that model reduction leads to memory effect. For a long time, modeling the memory effect accurately and efficiently has been an important but nearly impossible task in developing a good reduced model. In this work, we explore a natural analogy between recurrent neural networks and the Mori-Zwanzig formalism to establish a systematic approach for developing reduced models with memory. Two training models-a direct training model and a dynamically coupled training model-are proposed and compared. We apply these methods to the Kuramoto-Sivashinsky equation and the Navier-Stokes equation. Numerical experiments show that the proposed method can produce reduced model with good performance on both short-term prediction and long-term statistical properties.


title: More on the Non-Gaussianity of Perturbations in a Non-Minimal Inflationary Model

abstract: We study nonlinear cosmological perturbations and their possible non-Gaussian character in an extended non-minimal inflation where gravity is coupled non-minimally to both the scalar field and its derivatives. By expansion of the action up to the third order, we focus on the non-linearity and non-Gaussianity of perturbations in comparison with recent observational data. By adopting an inflation potential of the form V(phi) = (1/n)(lambda)(phi)^n, we show that for n = 4, for instance, this extended model is consistent with observation if 0.013 <lambda< 0.095 in appropriate units. By restricting the equilateral amplitude of non-Gaussianity to the observationally viable values, the coupling parameter lambda is constraint to the values lambda< 0.1.


title: iNNvestigate neural networks!

abstract: In recent years, deep neural networks have revolutionized many application domains of machine learning and are key components of many critical decision or predictive processes. Therefore, it is crucial that domain specialists can understand and analyze actions and pre- dictions, even of the most complex neural network architectures. Despite these arguments neural networks are often treated as black boxes. In the attempt to alleviate this short- coming many analysis methods were proposed, yet the lack of reference implementations often makes a systematic comparison between the methods a major effort. The presented library iNNvestigate addresses this by providing a common interface and out-of-the- box implementation for many analysis methods, including the reference implementation for PatternNet and PatternAttribution as well as for LRP-methods. To demonstrate the versatility of iNNvestigate, we provide an analysis of image classifications for variety of state-of-the-art neural network architectures.


title: On the Distribution of Range for Tree-Indexed Random Walks

abstract: We study tree-indexed random walks as introduced by Benjamini, H\"aggstr\"om, and Mossel, i.e. labelings of a tree for which adjacent vertices have labels differing by 1. It is a conjecture of those authors that the distribution of the range for any such tree is dominated by that of a path on the same number of edges. The two main variants of this conjecture considered in the literature are the $\textit{standard}$ walks, in which adjacent vertices must have labels differing by $\textit{exactly}$ 1, and $\textit{lazy}$ walks, in which adjacent vertices must have labels differing by $\textit{at most}$ 1. We confirm this conjecture for all trees in the lazy case and provide some partial results in the standard case.


title: Connectivity-Driven Brain Parcellation via Consensus Clustering

abstract: We present two related methods for deriving connectivity-based brain atlases from individual connectomes. The proposed methods exploit a previously proposed dense connectivity representation, termed continuous connectivity, by first performing graph-based hierarchical clustering of individual brains, and subsequently aggregating the individual parcellations into a consensus parcellation. The search for consensus minimizes the sum of cluster membership distances, effectively estimating a pseudo-Karcher mean of individual parcellations. We assess the quality of our parcellations using (1) Kullback-Liebler and Jensen-Shannon divergence with respect to the dense connectome representation, (2) inter-hemispheric symmetry, and (3) performance of the simplified connectome in a biological sex classification task. We find that the parcellation based-atlas computed using a greedy search at a hierarchical depth 3 outperforms all other parcellation-based atlases as well as the standard Dessikan-Killiany anatomical atlas in all three assessments.


title: Non-Standard Interactions and Prospects for Studying Standard Parameter Degeneracies in DUNE and T2HKK

abstract: The future long baseline experiments such as DUNE and T2HKK have promising prospects to determine the neutrino mass hierarchy and measuring standard $CP$ phase $\delta$. However, presence of possible non-standard interactions of neutrinos with matter may intricate this picture and is the subject matter of the present work. We have studied the standard parameter degeneracies in presence of non-standard interactions(NSI) with DUNE and T2HKK experiments. We examine the mass hierarchy degeneracy assuming (i) all NSI parameters to be non-zero and (ii) one NSI parameter($\epsilon_{e\mu}$) and its corresponding $CP$ phase($\delta_{e\mu}$) to be non-zero. We find that the later case is more appropriate to resolve mass hierarchy degeneracy with DUNE and T2HKK experiments due to relatively small uncertainties emanating from the NSI sector. We have, also, investigated the octant degeneracy with neutrino($\nu_{\mu}\rightarrow\nu_{e}$) and antineutrino($\bar{\nu}_{\mu}\rightarrow\bar{\nu}_{e}$) mode separately. We find that to resolve this degeneracy the long baseline experiment with combination of neutrino and antineutrino mode is essential. Furthermore, we have considered DUNE in conjunction with T2HKK experiment to study $CP$ phase degeneracy due to standard($\delta$) and non-standard($\delta_{e\mu}$) $CP$ phases. We find that DUNE and T2HKK, in conjunction, has more sensitivity for $CP$ violation effects(10$\sigma$ for true NH and 8.2$\sigma$ for true IH).


title: A short introduction to program algebra with instructions for Boolean registers

abstract: A parameterized algebraic theory of instruction sequences, objects that represent the behaviours produced by instruction sequences under execution, and objects that represent the behaviours exhibited by the components of the execution environment of instruction sequences is the basis of a line of research in which issues relating to a wide variety of subjects from computer science have been rigorously investigated thinking in terms of instruction sequences. In various papers that belong to this line of research, use is made of an instantiation of this theory in which the basic instructions are instructions to read out and alter the content of Boolean registers and the components of the execution environment are Boolean registers. In this paper, we give a simplified presentation of the most general such instantiated theory.


title: Turnpike Property and Convergence Rate for an Investment and Consumption Model

abstract: We discuss the turnpike property for optimal investment and consumption problems. We find there exists a threshold value that determines the turnpike property for investment policy. The threshold value only depends on the Sharpe ratio, the riskless interest rate and the discount rate. We show that if utilities behave asymptotically like power utilities and satisfy some simple relations with the threshold value, then the turnpike property for investment holds. There is in general no turnpike property for consumption policy. We also provide the rate of convergence and illustrate the main results with examples of power and non-HARA utilities and numerical tests.


title: The Chirka - Lindelof and Fatou theorems for d-bar subsolutions

abstract: We prove analogs of the Chirka - Lindelof and Fatou theorems for bounded functions with bounded d-bar on a strictly pseudoconvex domain in an almost complex manifold


title: Physical properties and electrochemical performance of Zn-substituted Na$_{0.44}$Mn$_{1-x}$Zn$_x$O$_2$ nanostructures as cathode in Na-ion batteries

abstract: We report the synthesis, physical properties and electrochemical performance of Zn substituted Na$_{0.44}$Mn$_{1-x}$Zn$_x$O$_2$ ($x=$ 0 -- 0.02) nanostructures as cathode in Na-ion batteries for energy storage applications. These samples stabilize in the orthorhombic structure and the morphology is found to be slab like with 100 -- 200~nm width and few micrometer of length. The resistivity measurements show highly insulating nature for all the samples, where the activation energy decreases with increasing Zn concentration indicating more defect levels in the band gap. The cyclic voltammogram (CV) shows reversible oxidation and reduction peaks, which clearly shift towards higher/lower potentials with increasing Zn concentration up to 2\%. We observed the specific capacity of about 100~mAh/g at current density of 4 mA/g and improved cycle life for Zn substituted $x=$ 0.005 sample. However, with further increasing the Zn concentration ($x=$ 0.02), the specific capacity decreases, which can be a manifestation of the decreased number of reduction peaks in the CV data.


title: Decomposition of Spectral flow and Bott-type Iteration Formula

abstract: Let $A(t)$ be a continuous path of Fredhom operators, we first prove that the spectral flow $sf(A(t))$ is cogredient invariant. Based on this property, we give a decomposition formula of spectral flow if the path is invariant under a matrix-like cogredient. As applications, we give the generalized Bott-type iteration formula for linear Hamiltonian systems.


title: Fully commutative elements of the complex reflection groups

abstract: We extend the usual notion of fully commutative elements from the Coxeter groups to the complex reflection groups. Then we decompose the sets of fully commutative elements into natural subsets according to their combinatorial properties, and investigate the structure of these decompositions. As a consequence, we enumerate and describe the form of these elements in the complex reflection groups.


title: Self Healing Interconnects with a Near Plastically Stretchable Heal

abstract: Flexible electronic systems such as roll up displays, wearable devices etc. promise exciting possibilities that could change the way humans interact with the environment. However, they suffer from poor reliability of interconnects and devices. Interconnects on flex are prone to open circuit failures due to mechanical stress, electrostatic discharge and environmental degradation. Passive approaches such as the use of stretchable conductors and novel geometries improve their response to mechanical stress but cannot salvage the interconnect if a fault were to occur. Active approaches using self healing techniques can repair a fault and have been demonstrated using methods that either use relatively rare materials, change conventional interconnect fabrication processes, only address faults due to mechanical stress or do not permit stretching. In this work we discuss a self healing technique that overcomes these limitations and demonstrate heals having metallic conductivity and nearly plastic stretchability. This is achieved using a dispersion of conductive particles in an insulating fluid encapsulated over the interconnect. Healing is automatically triggered by the electric field appearing in the open gap of a failed interconnect, irrespective of the cause of failure. The field polarizes the conductive particles causing them aggregate and chain up to bridge the gap and repair the fault. Using copper-silicone oil dispersions, we show self healing interconnects with the stretchable heal having conductivity of about $5 \times 10^{5}$ Sm and allowing strains from 12 to 60. Previously, stretchable interconnects used materials other than copper. Here we effectively show self healing, stretchable copper. This work promises high speed, self healing and stretchable interconnects on flex thereby improving system reliability.


title: Timed context-free temporal logics (extended version)

abstract: The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free properties by ensuring decidability and tractability in the combined setting. To this end we introduce two real-time linear temporal logics for specifying quantitative timing context-free requirements in a pointwise semantics setting: Event-Clock Nested Temporal Logic (ECNTL) and Nested Metric Temporal Logic (NMTL). The logic ECNTL is an extension of both the logic CARET (a context-free extension of standard LTL) and Event-Clock Temporal Logic (a tractable real-time logical framework related to the class of Event-Clock automata). We prove that satisfiability of ECNTL and visibly model-checking of Visibly Pushdown Timed Automata VPTA against ECNTL are decidable and EXPTIME-complete. The other proposed logic NMTL is a context-free extension of standard Metric Temporal Logic (MTL). It is well known that satisfiability of future MTL is undecidable when interpreted over infinite timed words but decidable over finite timed words. On the other hand, we show that by augmenting future MTL with future context-free temporal operators, the satisfiability problem turns out to be undecidable also for finite timed words. On the positive side, we devise a meaningful and decidable fragment of the logic NMTL which is expressively equivalent to ECNTL and for which satisfiability and visibly model-checking of VPTA are EXPTIME-complete.


title: Epsilon-Near-Zero Grids for On-chip Quantum Networks

abstract: Realization of an on-chip quantum network is a major goal in the field of integrated quantum photonics. A typical network scalable on-chip demands optical integration of single photon sources, optical circuitry and detectors for routing and processing of quantum information. Current solutions either notoriously experience considerable decoherence or suffer from extended footprint dimensions limiting their on-chip scaling. Here we propose and numerically demonstrate a robust on-chip quantum network based on an epsilon-near-zero (ENZ) material, whose dielectric function has the real part close to zero. We show that ENZ materials strongly protect quantum information against decoherence and losses during its propagation in the dense network. As an example, we model a feasible implementation of an ENZ network and demonstrate that quantum information can be reliably sent across a titanium nitride grid with a coherence length of 434 nm, operating at room temperature, which is more than 40 times larger than state-of-the-art plasmonic analogs. Our results facilitate practical realization of large multi-node quantum photonic networks and circuits on-a-chip.


title: A molecular communications model for drug delivery

abstract: This paper considers the scenario of a targeted drug delivery system, which consists of deploying a number of biological nanomachines close to a biological target (e.g. a tumor), able to deliver drug molecules in the diseased area. Suitably located transmitters are designed to release a continuous flow of drug molecules in the surrounding environment, where they diffuse and reach the target. These molecules are received when they chemically react with compliant receptors deployed on the receiver surface. In these conditions, if the release rate is relatively high and the drug absorption time is significant, congestion may happen, essentially at the receiver site. This phenomenon limits the drug absorption rate and makes the signal transmission ineffective, with an undesired diffusion of drug molecules elsewhere in the body. The original contribution of this paper consists of a theoretical analysis of the causes of congestion in diffusion-based molecular communications. For this purpose, it is proposed a reception model consisting of a set of pure loss queuing systems. The proposed model exhibits an excellent agreement with the results of a simulation campaign made by using the Biological and Nano-Scale communication simulator version 2 (BiNS2), a well-known simulator for molecular communications, whose reliability has been assessed through in-vitro experiments. The obtained results can be used in rate control algorithms to optimally determine the optimal release rate of molecules in drug delivery applications.


title: $\mathcal{H}$-matrix approximability of inverses of discretizations of the fractional Laplacian

abstract: The integral version of the fractional Laplacian on a bounded domain is discretized by a Galerkin approximation based on piecewise linear functions on a quasi-uniform mesh. We show that the inverse of the associated stiffness matrix can be approximated by blockwise low-rank matrices at an exponential rate in the block rank.


title: Symmetric Dellac configurations

abstract: We define symmetric Dellac configurations as the Dellac configurations that are symmetric with respect to their centers. The symmetric Dellac configurations whose lengths are even were previously introduced by Fang and Fourier under the name of symplectic Dellac configurations, to parametrize the torus fixed points of symplectic degenerate flag varieties. In general, symmetric Dellac configurations generate the Poincar\'e polynomials of (odd or even) symplectic or orthogonal versions of the degenerate flag varieties. In this paper, we give several combinatorial interpretations of the polynomial extensions $(D_n(x))_{n \geq~0}$ of median Euler numbers, defined by Randrianarivony and Zeng, in terms of objects that we name extended Dellac configurations and which generate symmetric Dellac configurations. As a consequence, the cardinalities of the odd and even symmetric Dellac configurations are respectively given by the two adjoining sequences $(l_n)_{n \geq~0} = (1, 1, 3, 21, 267,\dots)$ and $(r_n)_{n \geq~0} = (1,2,10,98,1594,\dots)$, defined as specializations of the polynomials $(D_n(x))_{n \geq~0}$.


title: Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems

abstract: Resilience to damage, component degradation, and adversarial action is a critical consideration in design of autonomous systems. In addition to designing strategies that seek to prevent such negative events, it is vital that an autonomous system remains able to achieve its control objective even if the system partially loses control authority. While loss of authority limits the system's control capabilities, it may be possible to use the remaining authority in such a way that the system's control objectives remain achievable. In this paper, we consider the problem of optimal design for an autonomous system with discrete-time linear dynamics where the available control actions depend on adversarial input produced as a result of loss of authority. The central question is how to partition the set of control inputs that the system can apply in such a way that the system state remains within a safe set regardless of an adversarial input limiting the available control inputs to a single partition elements. We interpret such a problem first as a variant of a safety game, and then as a problem of existence of an appropriate edge labeling on a graph. We obtain conditions for existence and a computationally efficient algorithm for determining a system design and a control policy that preserve system safety. We illustrate our results on two examples: a damaged autonomous vehicle and a method of communication over a channel that ensures a minimal running digital sum.


title: BACH: Grand Challenge on Breast Cancer Histology Images

abstract: Breast cancer is the most common invasive cancer in women, affecting more than 10% of women worldwide. Microscopic analysis of a biopsy remains one of the most important methods to diagnose the type of breast cancer. This requires specialized analysis by pathologists, in a task that i) is highly time- and cost-consuming and ii) often leads to nonconsensual results. The relevance and potential of automatic classification algorithms using hematoxylin-eosin stained histopathological images has already been demonstrated, but the reported results are still sub-optimal for clinical use. With the goal of advancing the state-of-the-art in automatic classification, the Grand Challenge on BreAst Cancer Histology images (BACH) was organized in conjunction with the 15th International Conference on Image Analysis and Recognition (ICIAR 2018). A large annotated dataset, composed of both microscopy and whole-slide images, was specifically compiled and made publicly available for the BACH challenge. Following a positive response from the scientific community, a total of 64 submissions, out of 677 registrations, effectively entered the competition. From the submitted algorithms it was possible to push forward the state-of-the-art in terms of accuracy (87%) in automatic classification of breast cancer with histopathological images. Convolutional neuronal networks were the most successful methodology in the BACH challenge. Detailed analysis of the collective results allowed the identification of remaining challenges in the field and recommendations for future developments. The BACH dataset remains publically available as to promote further improvements to the field of automatic classification in digital pathology.


title: Clustering genomic words in human DNA using peaks and trends of distributions

abstract: In this work we seek clusters of genomic words in human DNA by studying their inter-word lag distributions. Due to the particularly spiked nature of these histograms, a clustering procedure is proposed that first decomposes each distribution into a baseline and a peak distribution. An outlier-robust fitting method is used to estimate the baseline distribution (the `trend'), and a sparse vector of detrended data captures the peak structure. A simulation study demonstrates the effectiveness of the clustering procedure in grouping distributions with similar peak behavior and/or baseline features. The procedure is applied to investigate similarities between the distribution patterns of genomic words of lengths 3 and 5 in the human genome. These experiments demonstrate the potential of the new method for identifying words with similar distance patterns.


title: Nuclear vs. Integrated Spectroscopy of Galaxies in the Herschel Reference Survey

abstract: Context. The determination of the relative frequency of active galactic nuclei (AGN) versus other spectral classes, for example, HII region-like (HII), transition objects (TRAN), passive (PAS), and retired (RET), in a complete set of galaxies in the local Universe is of primary importance to discriminate the source of ionization in the nuclear region of galaxies. Aims. Here we aim to provide a spectroscopic characterization of the nuclei of galaxies belonging to the Herschel Reference Survey (HRS), a volume and magnitude limited sample representative of the local Universe, which has become a benchmark for local and high-z studies, for semianalytical models and cosmological simulations. The comparison between the nuclear spectral classification and the one determined on the global galactic scale provides information about how galaxy properties change from the nuclear to the outer regions. Moreover, the extrapolation of the global star formation (SF) properties from the SDSS fiber spectroscopy compared to the one computed by Halpha photometry can be useful for testing the method based on aperture correction for determining the global star formation rate (SFR) for local galaxies. Methods. By collecting the existing nuclear spectroscopy available from the literature, complemented with new observations obtained using the Loiano 1.52m telescope, we analyze the 322 nuclear spectra of HRS galaxies. Results. Using two diagnostic diagrams (the BPT and the WHAN) we provide a nuclear and an integrated spectral classification for the HRS galaxies. Conclusions. We find that the fraction of AGNs increases with stellar mass, such that at logM > 10.0 M\odot or 66% of the LTGs are AGNs or TRAN.


title: Generalized Multivariate Extreme Value Models for Explicit Route Choice Sets

abstract: This paper analyses a class of route choice models with closed-form probability expressions, namely, Generalized Multivariate Extreme Value (GMEV) models. A large group of these models emerge from different utility formulas that combine systematic utility and random error terms. Twelve models are captured in a single discrete choice framework. The additive utility formula leads to the known logit family, being multinomial, path-size, paired combinatorial and link-nested. For the multiplicative formulation only the multinomial and path-size weibit models have been identified; this study also identifies the paired combinatorial and link-nested variations, and generalizes the path-size variant. Furthermore, a new traveller's decision rule based on the multiplicative utility formula with a reference route is presented. Here the traveller chooses exclusively based on the differences between routes. This leads to four new GMEV models. We assess the models qualitatively based on a generic structure of route utility with random foreseen travel times, for which we empirically identify that the variance of utility should be different from thus far assumed for multinomial probit and logit-kernel models. The expected travellers' behaviour and model-behaviour under simple network changes are analysed. Furthermore, all models are estimated and validated on an illustrative network example with long distance and short distance origin-destination pairs. The new multiplicative models based on differences outperform the additive models in both tests.


title: Estimating Heterogeneous Causal Effects in the Presence of Irregular Assignment Mechanisms

abstract: This paper provides a link between causal inference and machine learning techniques - specifically, Classification and Regression Trees (CART) - in observational studies where the receipt of the treatment is not randomized, but the assignment to the treatment can be assumed to be randomized (irregular assignment mechanism). The paper contributes to the growing applied machine learning literature on causal inference, by proposing a modified version of the Causal Tree (CT) algorithm to draw causal inference from an irregular assignment mechanism. The proposed method is developed by merging the CT approach with the instrumental variable framework to causal inference, hence the name Causal Tree with Instrumental Variable (CT-IV). As compared to CT, the main strength of CT-IV is that it can deal more efficiently with the heterogeneity of causal effects, as demonstrated by a series of numerical results obtained on synthetic data. Then, the proposed algorithm is used to evaluate a public policy implemented by the Tuscan Regional Administration (Italy), which aimed at easing the access to credit for small firms. In this context, CT-IV breaks fresh ground for target-based policies, identifying interesting heterogeneous causal effects.


title: Monotonicity properties for ranks of overpartitions

abstract: The rank of partitions play an important role in the combinatorial interpretations of several Ramanujan's famous congruence formulas. In 2005 and 2008, the $D$-rank and $M_2$-rank of an overpartition were introduced by Lovejoy, respectively. Let $\overline{N}(m,n)$ and $\overline{N2}(m,n)$ denote the number of overpartitions of $n$ with $D$-rank $m$ and $M_2$-rank $m$, respectively. In 2014, Chan and Mao proposed a conjecture on monotonicity properties of $\overline{N}(m,n)$ and $\overline{N2}(m,n)$. In this paper, we prove the Chan-Mao monotonicity conjecture. To be specific, we show that for any integer $m$ and nonnegative integer $n$, $\overline{N2}(m,n)\leq \overline{N2}(m,n+1)$; and for $(m,n)\neq (0,4)$ with $n\neq\, |m| +2$, we have $\overline{N}(m,n)\leq \overline{N}(m,n+1)$. Furthermore, when $m$ increases, we prove that $\overline{N}(m,n)\geq \overline{N}(m+2,n)$ and $\overline{N2}(m,n)\geq \overline{N2}(m+2,n)$ for any $m,n\geq 0$, which is an analogue of Chan and Mao's result for partitions.


title: Stability of Traveling Waves for Systems of Reaction-Diffusion Equations with Multiplicative Noise

abstract: We consider reaction-diffusion equations that are stochastically forced by a small multiplicative noise term. We show that spectrally stable traveling wave solutions to the deterministic system retain their orbital stability if the amplitude of the noise is sufficiently small. By applying a stochastic phase-shift together with a time-transform, we obtain a quasi-linear SPDE that describes the fluctuations from the primary wave. We subsequently follow the semigroup approach developed by Hamster and Hupkes in 2017 to handle the nonlinear stability question. The main novel feature is that we no longer require the diffusion coefficients to be equal.


title: Fluidization of collisionless plasma turbulence

abstract: In a collisionless, magnetized plasma, particles may stream freely along magnetic-field lines, leading to phase "mixing" of their distribution function and consequently to smoothing out of any "compressive" fluctuations (of density, pressure, etc.,). This rapid mixing underlies Landau damping of these fluctuations in a quiescent plasma-one of the most fundamental physical phenomena that make plasma different from a conventional fluid. Nevertheless, broad power-law spectra of compressive fluctuations are observed in turbulent astrophysical plasmas (most vividly, in the solar wind) under conditions conducive to strong Landau damping. Elsewhere in nature, such spectra are normally associated with fluid turbulence, where energy cannot be dissipated in the inertial scale range and is therefore cascaded from large scales to small. By direct numerical simulations and theoretical arguments, it is shown here that turbulence of compressive fluctuations in collisionless plasmas strongly resembles one in a collisional fluid and does have broad power-law spectra. This "fluidization" of collisionless plasmas occurs because phase mixing is strongly suppressed on average by "stochastic echoes", arising due to nonlinear advection of the particle distribution by turbulent motions. Besides resolving the long-standing puzzle of observed compressive fluctuations in the solar wind, our results suggest a conceptual shift for understanding kinetic plasma turbulence generally: rather than being a system where Landau damping plays the role of dissipation, a collisionless plasma is effectively dissipationless except at very small scales. The universality of "fluid" turbulence physics is thus reaffirmed even for a kinetic, collisionless system.


title: Unsupervised Hard Example Mining from Videos for Improved Object Detection

abstract: Important gains have recently been obtained in object detection by using training objectives that focus on {\em hard negative} examples, i.e., negative examples that are currently rated as positive or ambiguous by the detector. These examples can strongly influence parameters when the network is trained to correct them. Unfortunately, they are often sparse in the training data, and are expensive to obtain. In this work, we show how large numbers of hard negatives can be obtained {\em automatically} by analyzing the output of a trained detector on video sequences. In particular, detections that are {\em isolated in time}, i.e., that have no associated preceding or following detections, are likely to be hard negatives. We describe simple procedures for mining large numbers of such hard negatives (and also hard {\em positives}) from unlabeled video data. Our experiments show that retraining detectors on these automatically obtained examples often significantly improves performance. We present experiments on multiple architectures and multiple data sets, including face detection, pedestrian detection and other object categories.


title: D-RaNGe: Using Commodity DRAM Devices to Generate True Random Numbers with Low Latency and High Throughput

abstract: We propose a new DRAM-based true random number generator (TRNG) that leverages DRAM cells as an entropy source. The key idea is to intentionally violate the DRAM access timing parameters and use the resulting errors as the source of randomness. Our technique specifically decreases the DRAM row activation latency (timing parameter tRCD) below manufacturer-recommended specifications, to induce read errors, or activation failures, that exhibit true random behavior. We then aggregate the resulting data from multiple cells to obtain a TRNG capable of providing a high throughput of random numbers at low latency. To demonstrate that our TRNG design is viable using commodity DRAM chips, we rigorously characterize the behavior of activation failures in 282 state-of-the-art LPDDR4 devices from three major DRAM manufacturers. We verify our observations using four additional DDR3 DRAM devices from the same manufacturers. Our results show that many cells in each device produce random data that remains robust over both time and temperature variation. We use our observations to develop D-RanGe, a methodology for extracting true random numbers from commodity DRAM devices with high throughput and low latency by deliberately violating the read access timing parameters. We evaluate the quality of our TRNG using the commonly-used NIST statistical test suite for randomness and find that D-RaNGe: 1) successfully passes each test, and 2) generates true random numbers with over two orders of magnitude higher throughput than the previous highest-throughput DRAM-based TRNG.


title: Visual Sensor Network Reconfiguration with Deep Reinforcement Learning

abstract: We present an approach for reconfiguration of dynamic visual sensor networks with deep reinforcement learning (RL). Our RL agent uses a modified asynchronous advantage actor-critic framework and the recently proposed Relational Network module at the foundation of its network architecture. To address the issue of sample inefficiency in current approaches to model-free reinforcement learning, we train our system in an abstract simulation environment that represents inputs from a dynamic scene. Our system is validated using inputs from a real-world scenario and preexisting object detection and tracking algorithms.


title: Automatic Playlist Continuation through a Composition of Collaborative Filters

abstract: The RecSys Challenge 2018 focused on automatic playlist continuation, i.e., the task was to recommend additional music tracks for playlists based on the playlist's title and/or a subset of the tracks that it already contains. The challenge is based on the Spotify Million Playlist Dataset (MPD), containing the tracks and the metadata from one million real-life playlists. This paper describes the automatic playlist continuation solution of team Latte, which is based on a composition of collaborative filters that each capture different aspects of a playlist, where the optimal combination of those collaborative filters is determined using a Tree-structured Parzen Estimator (TPE). The solution obtained the 12th place out of 112 participating teams in the final leaderboard. Team Latte participated in the main track of the challenge of the RecSys Challenge 2018.


title: Eliminating Unstable Tests in Floating-Point Programs

abstract: Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate from the ideal flow of the real-number computation. This problem, which is called test instability, may result in a significant difference between the computation of a floating-point program and the expected output in real arithmetic. In this paper, a formally proven program transformation is proposed to detect and correct the effects of unstable tests. The output of this transformation is a floating-point program that is guaranteed to return either the result of the original floating-point program when it can be assured that both its real and its floating-point flows agree or a warning when these flows may diverge. The proposed approach is illustrated with the transformation of the core computation of a polygon containment algorithm developed at NASA that is used in a geofencing system for unmanned aircraft systems.


title: Existence of similar point configurations in thin subsets of $\Bbb R^d$

abstract: We prove the existence of similar and multi-similar point configurations (or simplexes) in sets of fractional Hausdorff measure in Euclidean space. These results can be viewed as variants, for thin sets, of theorems for sets of positive density in $\Bbb R^d$ due to Furstenberg, Katznelson and Weiss \cite{FKW90}, Bourgain \cite{B86} and Ziegler \cite{Z06}. Let $d \ge 2$ and $E\subset {\Bbb R}^d$ be a compact set. For $k\ge 1$, define $$\Delta_k(E)=\left\{\left(|x^1-x^2|, \dots, |x^i-x^j|,\dots, |x^k-x^{k+1}|\right): \left\{x^i\right\}_{i=1}^{k+1}\subset E\right\} \subset {\Bbb R}^{k(k+1)/2}, $$ the {\it $(k+1)$-point configuration set} of $E$. For $k\le d$, this is (up to permutations) the set of congruences of $(k+1)$-point configurations in $E$; for $k>d$, it is the edge-length set of $(k+1)$-graphs whose vertices are in $E$. Previous works by a number of authors have found values $s_{k,d}<d$ so that if the Hausdorff dimension of $E$ is $>s_{k,d}$, then $\Delta_k(E)$ has positive Lebesgue measure. In this paper we study more refined properties of $\Delta_k(E)$, namely the existence of (exactly) similar or multi--similar configurations. For $r\in\Bbb R,\, r>0$, let $$\Delta_{k}^{r}(E):=\left\{\vec{t}\in \Delta_k\left(E\right): r\vec{t}\in \Delta_k\left(E\right)\right\}\subset \Delta_k\left(E\right).$$ We show that for all $E$ with Hausdorff dimension $>s_{k,d}$, a natural measure $\nu_k$ on $\Delta_k(E)$ and all $r\in\Bbb R_+$, one has $\nu_k\left(\Delta_{k}^{r}\left(E\right)\right)>0$. Thus, there exist many pairs, $\{x^1, x^2, \dots, x^{k+1}\}$ and $\{y^1, y^2, \dots, y^{k+1}\}$, in $E$ which are similar by the scaling factor $r$. We also show the existence of triply-similar and multi-similar configurations.


title: Global Complexity Analysis of Inexact Successive Quadratic Approximation methods for Regularized Optimization under Mild Assumptions

abstract: Successive quadratic approximations (SQA) are numerically efficient for minimizing the sum of a smooth function and a convex function. The iteration complexity of inexact SQA methods has been analyzed recently. In this paper, we present an algorithmic framework of inexact SQA methods with four types of line searches, and analyze its global complexity under milder assumptions. First, we show its well-definedness and some decreasing properties. Second, under the quadratic growth condition and a uniform positive lower bound condition on stepsizes, we show that the function value sequence and the iterate sequence are linearly convergent. Moreover, we obtain a o(1/k) complexity without the quadratic growth condition, improving existing O(1/k) complexity results. At last, we show that a local gradient-Lipschitz-continuity condition could guarantee a uniform positive lower bound for the stepsizes.


title: The Ogievetsky-Polubarinov massive gravity and the benign Boulware-Deser mode

abstract: We present our analysis of the theory constructed in 1965 by Ogievetsky and Polubarinov (OP) -- the first ever theory of interacting massive gravitons. Its mass term is adjusted in such a way that the non-linear field equations imply as a consequence the linear Hilbert-Lorentz condition, which restricts the spin of states in the theory. Strikingly, for special parameter values this theory coincides with one of the "ghost-free" massive gravity models rediscovered only in 2010. For generic parameter values, however, it propagates 6 degrees of freedom and shows ghost around flat space. Surprizingly, we find that the de Sitter space remains stable for a large region of the parameter space, provided that the Hubble expansion rate is large enough, hence the Boulware-Deser mode is benign in this case. We study also other solutions and find that the Milne universe -- a sector of Minkowski space -- is stable in the UV limit. This presumably implies that at the non-linear level the ghost instability in flat space develops only for long waves, similarly to the classical Jeans instability.


title: Fast, Better Training Trick -- Random Gradient

abstract: In this paper, we will show an unprecedented method to accelerate training and improve performance, which called random gradient (RG). This method can be easier to the training of any model without extra calculation cost, we use Image classification, Semantic segmentation, and GANs to confirm this method can improve speed which is training model in computer vision. The central idea is using the loss multiplied by a random number to random reduce the back-propagation gradient. We can use this method to produce a better result in Pascal VOC, Cifar, Cityscapes datasets.


title: NICER Discovers mHz Oscillations in the "Clocked" Burster GS 1826-238

abstract: We report the discovery with the Neutron Star Interior Composition Explorer (NICER) of mHz X-ray brightness oscillations from the "clocked burster." NICER observed the source in the periods 2017 June 20 - 29, July 11 - 13, and September 9 - 15, for a total useful exposure of 34 ks. Two consecutive dwells obtained on 2017 September 9 revealed highly significant oscillations at a frequency of 8 mHz. The fractional, sinusoidal modulation amplitude increases from 0.7 % at 1 keV to approximately 2 % at 6 keV. Similar oscillations were also detected at lower significance in three additional dwells. The oscillation frequency and amplitude are consistent with those of mHz QPOs reported in other accreting neutron star systems. A thermonuclear X-ray burst was also observed on 2017 June 22. The burst properties and X-ray colors are both consistent with the source being in a soft spectral state during these observations, findings that are confirmed by ongoing monitoring with MAXI and SWIFT-BAT. Assuming that the mHz oscillations are associated with black body emission from the neutron star surface, modeling of the phase-resolved spectra shows that the oscillation is consistent with being produced by modulation of the temperature component of this emission. In this interpretation, the black body normalization, proportional to the emitting surface area, is consistent with being constant through the oscillation cycle. We place the observations in the context of the current theory of marginally stable burning and briefly discuss the potential for constraining neutron star properties using mHz oscillations.


title: Understanding training and generalization in deep learning by Fourier analysis

abstract: Background: It is still an open research area to theoretically understand why Deep Neural Networks (DNNs)---equipped with many more parameters than training data and trained by (stochastic) gradient-based methods---often achieve remarkably low generalization error. Contribution: We study DNN training by Fourier analysis. Our theoretical framework explains: i) DNN with (stochastic) gradient-based methods often endows low-frequency components of the target function with a higher priority during the training; ii) Small initialization leads to good generalization ability of DNN while preserving the DNN's ability to fit any function. These results are further confirmed by experiments of DNNs fitting the following datasets, that is, natural images, one-dimensional functions and MNIST dataset.

categories: cs.LG cs.AI math.OC math.ST stat.ML stat.TH


title: Nowhere to Hide: Radio-faint AGN in the GOODS-N field. I. Initial catalogue and radio properties

abstract: (Abridged) Conventional radio surveys of deep fields ordinarily have arc-second scale resolutions often insufficient to reliably separate radio emission in distant galaxies originating from star-formation and AGN-related activity. Very long baseline interferometry (VLBI) can offer a solution by identifying only the most compact radio emitting regions in galaxies at cosmological distances where the high brightness temperatures (in excess of $10^5$ K) can only be reliably attributed to AGN activity. We present the first in a series of papers exploring the faint compact radio population using a new wide-field VLBI survey of the GOODS-N field. The unparalleled sensitivity of the European VLBI Network (EVN) will probe a luminosity range rarely seen in deep wide-field VLBI observations, thus providing insights into the role of AGN to radio luminosities of the order $10^{22}~\mathrm{W\,Hz^{-1}}$ across cosmic time. The newest VLBI techniques are used to completely cover an entire 7'.5 radius area to milliarcsecond resolutions, while bright radio sources ($S > 0.1$ mJy) are targeted up to 25 arcmin from the pointing centre. Multi-source self-calibration, and a primary beam model for the EVN array are used to correct for residual phase errors and primary beam attenuation respectively. This paper presents the largest catalogue of VLBI detected sources in GOODS-N comprising of 31 compact radio sources across a redshift range of 0.11-3.44, almost three times more than previous VLBI surveys in this field. We provide a machine-readable catalogue and introduce the radio properties of the detected sources using complementary data from the e-MERLIN Galaxy Evolution survey (eMERGE).


title: Relative rigid objects in triangulated categories

abstract: Let $\mathcal{T}$ be a Krull-Schmidt, Hom-finite triangulated category with suspension functor $[1]$. Let $R$ be a basic rigid object, $\Gamma$ the endomorphism algebra of $R$, and $\operatorname{\mathsf{pr}}(R)\subseteq \mathcal{T}$ the subcategory of objects finitely presented by $R$. We investigate the relative rigid objects, \ie $R[1]$-rigid objects of $\mathcal{T}$. Our main results show that the $R[1]$-rigid objects in $\operatorname{\mathsf{pr}}(R)$ are in bijection with $\tau$-rigid $\Gamma$-modules, and the maximal $R[1]$-rigid objects with respect to $\operatorname{\mathsf{pr}}(R)$ are in bijection with support $\tau$-tilting $\Gamma$-modules. We also show that various previously known bijections involving support $\tau$-tilting modules are recovered under respective assumptions.


title: Null paths on a toroidal topological black hole in conformalWeyl gravity

abstract: The motion of massless particles on the background of a toroidal topological black hole is analyzed in the context of conformal Weyl gravity. Null geodesics, in terms of the Jacobi elliptic functions, are found analytically. In addition, the Sagnac effect in this space-time is characterized, and we find a strong condition in the theory's parameters that is required for its existence.


title: Randomized Hamiltonian Monte Carlo as Scaling Limit of the Bouncy Particle Sampler and Dimension-Free Convergence Rates

abstract: The Bouncy Particle Sampler is a Markov chain Monte Carlo method based on a nonreversible piecewise deterministic Markov process. In this scheme, a particle explores the state space of interest by evolving according to a linear dynamics which is altered by bouncing on the hyperplane tangent to the gradient of the negative log-target density at the arrival times of an inhomogeneous Poisson Process (PP) and by randomly perturbing its velocity at the arrival times of an homogeneous PP. Under regularity conditions, we show here that the process corresponding to the first component of the particle and its corresponding velocity converges weakly towards a Randomized Hamiltonian Monte Carlo (RHMC) process as the dimension of the ambient space goes to infinity. RHMC is another piecewise deterministic non-reversible Markov process where a Hamiltonian dynamics is altered at the arrival times of a homogeneous PP by randomly perturbing the momentum component. We then establish dimension-free convergence rates for RHMC for strongly log-concave targets with bounded Hessians using coupling ideas and hypocoercivity techniques.


title: The extreme HBL behaviour of Markarian 501 during 2012

abstract: A multiwavelength campaign was organized to take place between March and July of 2012. Excellent temporal coverage was obtained with more than 25 instruments, including the MAGIC, FACT and VERITAS Cherenkov telescopes, the instruments on board the Swift and Fermi spacecraft, and the telescopes operated by the GASP-WEBT collaboration. Mrk 501 showed a very high energy (VHE) gamma-ray flux above 0.2 TeV of $\sim$0.5 times the Crab Nebula flux (CU) for most of the campaign. The highest activity occurred on 2012 June 9, when the VHE flux was $\sim$3 CU, and the peak of the high-energy spectral component was found to be at $\sim$2 TeV. This study reports very hard X-ray spectra, and the hardest VHE spectra measured to date for Mrk 501. The fractional variability was found to increase with energy, with the highest variability occurring at VHE, and a significant correlation between the X-ray and VHE bands. The unprecedentedly hard X-ray and VHE spectra measured imply that their low- and high-energy components peaked above 5 keV and 0.5 TeV, respectively, during a large fraction of the observing campaign, and hence that Mrk 501 behaved like an extreme high-frequency- peaked blazar (EHBL) throughout the 2012 observing season. This suggests that being an EHBL may not be a permanent characteristic of a blazar, but rather a state which may change over time. The one-zone synchrotron self-Compton (SSC) scenario can successfully describe the segments of the SED where most energy is emitted, with a significant correlation between the electron energy density and the VHE gamma-ray activity, suggesting that most of the variability may be explained by the injection of high-energy electrons. The one-zone SSC scenario used reproduces the behaviour seen between the measured X-ray and VHE gamma-ray fluxes, and predicts that the correlation becomes stronger with increasing energy of the X-rays.


title: Gauged Six-Dimensional Supergravity from Warped IIB Reductions

abstract: We find a family of complete non-linear Kaluza-Kein reduction ansatze from type IIB supergravity to Romans' 6D $F(4)$ gauged supergravity in the bosonic sector. The reduction is over a sphere $S^2$ and a Riemann surface $\Sigma$, and depends on a pair of arbitrary locally holomorphic functions $\mathcal{A}_{\pm}$ on $\Sigma$. This family of reductions is inspired by the recent construction of 1/2 BPS supersymmetric warped $AdS_6$ solutions of IIB supergravity that depend on these same functions $\mathcal{A}_{\pm}$.


title: Simple Root Cause Analysis by Separable Likelihoods

abstract: Root Cause Analysis for Anomalies is challenging because of the trade-off between the accuracy and its explanatory friendliness, required for industrial applications. In this paper we propose a framework for simple and friendly RCA within the Bayesian regime under certain restrictions (that Hessian at the mode is diagonal, here referred to as \emph{separability}) imposed on the predictive posterior. We show that this assumption is satisfied for important base models, including Multinomal, Dirichlet-Multinomial and Naive Bayes. To demonstrate the usefulness of the framework, we embed it into the Bayesian Net and validate on web server error logs (real world data set).


title: Rank-1 Convolutional Neural Network

abstract: In this paper, we propose a convolutional neural network(CNN) with 3-D rank-1 filters which are composed by the outer product of 1-D filters. After being trained, the 3-D rank-1 filters can be decomposed into 1-D filters in the test time for fast inference. The reason that we train 3-D rank-1 filters in the training stage instead of consecutive 1-D filters is that a better gradient flow can be obtained with this setting, which makes the training possible even in the case where the network with consecutive 1-D filters cannot be trained. The 3-D rank-1 filters are updated by both the gradient flow and the outer product of the 1-D filters in every epoch, where the gradient flow tries to obtain a solution which minimizes the loss function, while the outer product operation tries to make the parameters of the filter to live on a rank-1 sub-space. Furthermore, we show that the convolution with the rank-1 filters results in low rank outputs, constraining the final output of the CNN also to live on a low dimensional subspace.


title: On Base 3/2 and its Sequences

abstract: We discuss properties of integers in base 3/2. We also introduce many new sequences related to base 3/2. Some sequences discuss patterns related to integers in base 3/2. Other sequence are analogues of famous base-10 sequences: we discuss powers of 3 and 2, Look-and-say, and sorted and reverse sorted Fibonaccis. The eventual behavior of sorted and reverse sorted Fibs leads to special Pinocchio and Oihcconip sequences respectively.


title: Evaluation of estimation approaches on the quality and robustness of collision warning system

abstract: Vehicle safety is one of the most challenging aspect of future-generation autonomous and semi-autonomous vehicles. Collision warning systems (CCWs), as a proposed solution framework, can be relied as the main structure to address the issues in this area. In this framework, information plays a very important role. Each vehicle has access to its own information immediately. However, another vehicle information is available through a wireless communication. Data loss is very common issue for such communication approach. As a consequence, CCW would suffer from providing late or false detection awareness. Robust estimation of lost data is of this paper interest which its goal is to reconstruct or estimate lost network data from previous available or estimated data as close to actual values as possible under different rate of lost. In this paper, we will investigate and evaluate three different algorithms including constant velocity, constant acceleration and Kalman estimator for this purpose. We make a comparison between their performance which reveals the ability of them in term of accuracy and robustness for estimation and prediction based on previous samples which at the end affects the quality of CCW in awareness generation.


title: Anomalous coupling between magnetic and nematic orders in quantum Hall systems

abstract: The interplay between different orders is of fundamental importance in physics. The spontaneous, symmetry-breaking charge order, responsible for the stripe or the nematic phase, has been of great interest in many contexts where strong correlations are present, such as high-temperature superconductivity and quantum Hall effect. In this article we show the unexpected result that in an interacting two-dimensional electron system, the robustness of the nematic phase, which represents an order in the charge degree of freedom, not only depends on the orbital index of the topmost, half-filled Landau level, but it is also strongly correlated with the magnetic order of the system. Intriguingly, when the system is fully magnetized, the nematic phase is particularly robust and persists to much higher temperatures compared to the nematic phases observed previously in quantum Hall systems. Our results give fundamental new insight into the role of magnetization in stabilizing the nematic phase, while also providing a new knob with which it can be effectively tuned.


title: Confined states in graphene quantum blisters

abstract: Bilayer graphene samples may exhibit regions where the two layers are locally delaminated forming a so-called quantum blister in the graphene sheet. Electron and hole states can be confined in this graphene quantum blisters (GQB) by applying a global electrostatic bias. We scrutinize the electronic properties of these confined states under the variation of interlayer bias, coupling, and blister's size. The spectra display strong anti-crossings due to the coupling of the confined states on upper and lower layers inside the blister. These spectra are layer localized where the respective confined states reside on either layer or equally distributed. For finite angular momentum, this layer localization can be at the edge of the blister and corresponds to degenerate modes of opposite momenta. Furthermore, the energy levels in GQB exhibit electron-hole symmetry that is sensitive to the electrostatic bias. Finally, we demonstrate that confinement in GQB persists even in the presence of a variation in the inter-layer coupling.


title: Explaining the Unique Nature of Individual Gait Patterns with Deep Learning

abstract: Machine learning (ML) techniques such as (deep) artificial neural networks (DNN) are solving very successfully a plethora of tasks and provide new predictive models for complex physical, chemical, biological and social systems. However, in most cases this comes with the disadvantage of acting as a black box, rarely providing information about what made them arrive at a particular prediction. This black box aspect of ML techniques can be problematic especially in medical diagnoses, so far hampering a clinical acceptance. The present paper studies the uniqueness of individual gait patterns in clinical biomechanics using DNNs. By attributing portions of the model predictions back to the input variables (ground reaction forces and full-body joint angles), the Layer-Wise Relevance Propagation (LRP) technique reliably demonstrates which variables at what time windows of the gait cycle are most relevant for the characterisation of gait patterns from a certain individual. By measuring the time-resolved contribution of each input variable to the prediction of ML techniques such as DNNs, our method describes the first general framework that enables to understand and interpret non-linear ML methods in (biomechanical) gait analysis and thereby supplies a powerful tool for analysis, diagnosis and treatment of human gait.


title: Precise Performance Analysis of the LASSO under Matrix Uncertainties

abstract: In this paper, we consider the problem of recovering an unknown sparse signal $\xv_0 \in \mathbb{R}^n$ from noisy linear measurements $\yv = \Hm \xv_0+ \zv \in \mathbb{R}^m$. A popular approach is to solve the $\ell_1$-norm regularized least squares problem which is known as the LASSO. In many practical situations, the measurement matrix $\Hm$ is not perfectely known and we only have a noisy version of it. We assume that the entries of the measurement matrix $\Hm$ and of the noise vector $\zv$ are iid Gaussian with zero mean and variances $1/n$ and $\sigma_{\zv}^2$. In this work, an imperfect measurement matrix is considered under which we precisely characterize the limiting behavior of the mean squared error and the probability of support recovery of the LASSO. The analysis is performed when the problem dimensions grow simultaneously to infinity at fixed rates. Numerical simulations validate the theoretical predictions derived in this paper.


title: Hubbard pair cluster in the external fields. Studies of the polarization and susceptibility

abstract: The electric and magnetic polarizations as well as the electric and magnetic susceptibilities of the Hubbard pair-cluster embedded in the external fields were studied by the exact method. Based on the grand canonical ensemble for open system, the numerical calculations were performed for the electron concentration corresponding to the half-filling case. It has been found that the electric and magnetic properties are strictly interrelated, what constitutes a manifestation of a magnetoelectric effect, and the detailed explanation of such behaviour was given. In particular, near the ground state where the transitions are induced by the external fields, discontinuous changes of the studied quantities have been found. They have been associated with the occurrence of the singlet-triplet transitions. An anomalous behaviour of the electric and magnetic polarizations as a function of the temperature, occurring below the critical magnetic field, was illustrated. In the presence of the competing electric and magnetic fields, the influence of Coulombic repulsion on the studied properties was discussed.


title: Design Flow of Accelerating Hybrid Extremely Low Bit-width Neural Network in Embedded FPGA

abstract: Neural network accelerators with low latency and low energy consumption are desirable for edge computing. To create such accelerators, we propose a design flow for accelerating the extremely low bit-width neural network (ELB-NN) in embedded FPGAs with hybrid quantization schemes. This flow covers both network training and FPGA-based network deployment, which facilitates the design space exploration and simplifies the tradeoff between network accuracy and computation efficiency. Using this flow helps hardware designers to deliver a network accelerator in edge devices under strict resource and power constraints. We present the proposed flow by supporting hybrid ELB settings within a neural network. Results show that our design can deliver very high performance peaking at 10.3 TOPS and classify up to 325.3 image/s/watt while running large-scale neural networks for less than 5W using embedded FPGA. To the best of our knowledge, it is the most energy efficient solution in comparison to GPU or other FPGA implementations reported so far in the literature.


title: Analysing Multiple Epidemic Data Sources

abstract: Evidence-based knowledge of infectious disease burden, including prevalence, incidence, severity and transmission, in different population strata and locations, and possibly in real time, is crucial to the planning and evaluation of public health policies. Direct observation of a disease process is rarely possible. However, latent characteristics of an epidemic and its evolution can often be inferred from the synthesis of indirect information from various routine data sources, as well as expert opinion. The simultaneous synthesis of multiple data sources, often conveniently carried out in a Bayesian framework, poses a number of statistical and computational challenges: the heterogeneity in type, relevance and granularity of the data, together with selection and informative observation biases, lead to complex probabilistic models that are difficult to build and fit, and challenging to criticize. Using motivating case studies of influenza, this chapter illustrates the cycle of model development and criticism in the context of Bayesian evidence synthesis, highlighting the challenges of complex model building, computationally efficient inference, and conflicting evidence.


title: Fourier transform inversion using an elementary differential equation and a contour integral

abstract: Let $f$ be a function on the real line. The Fourier transform inversion theorem is proved under the assumption that $f$ is absolutely continuous such that $f$ and $f'$ are Lebesgue integrable. A function $g$ is defined by $f'(t)-iwf(t)=g(t)$. This differential equation has a well known integral solution using the Heaviside step function. An elementary calculation with residues is used to write the Heaviside step function as a simple contour integral. The rest of the proof requires elementary manipulation of integrals. Hence, the Fourier transform inversion theorem is proved with very little machinery. With only minor changes the method is also used to prove the inversion theorem for functions of several variables and to prove Riemann's localization theorem.


title: Comparing morphological complexity of Spanish, Otomi and Nahuatl

abstract: We use two small parallel corpora for comparing the morphological complexity of Spanish, Otomi and Nahuatl. These are languages that belong to different linguistic families, the latter are low-resourced. We take into account two quantitative criteria, on one hand the distribution of types over tokens in a corpus, on the other, perplexity and entropy as indicators of word structure predictability. We show that a language can be complex in terms of how many different morphological word forms can produce, however, it may be less complex in terms of predictability of its internal structure of words.


title: Inflation with an antisymmetric tensor field

abstract: We investigate the possibility of inflation with models of antisymmetric tensor field having minimal and nonminimal couplings to gravity. Although the minimal model does not support inflation, the nonminimal models, through the introduction of a nonminimal coupling to gravity, can give rise to stable de-Sitter solutions with a bound on the coupling parameters. The values of field and coupling parameters are sub-planckian. Slow roll analysis is performed and slow-roll parameters are defined which can give the required number of e-folds for sufficient inflation. Stability analysis has been performed for perturbations to antisymmetric field while keeping the metric unperturbed, and it is found that only the sub-horizon modes are free of ghost instability for de-Sitter space.


title: Noncoherent Multiantenna Receivers for Cognitive Backscatter System with Multiple RF Sources

abstract: Cognitive backscattering, an integration of cognitive radio and backsatter modulation, is emerging as a potential candidate for green Internet of Things (IoT). In cognitive backscatter systems, the backscatter device (BD) shares not only the same spectrum, but also the same radio-frequency (RF) source with the legacy system. In this paper, we investigate the signal transmission problem, in which a basic transmission model is considered which consists of K RF sources, one BD and one reader equipped with M antennas. A non-cooperative scenario is considered, where there is no cooperation between the legacy systems and the backscatter system, and no pilots are transmitted from the RF sources or BD to the reader. The on-off keying differential modulation is adopted to achieve noncoherent transmission. Firstly, through the capacity analyses, we point out that high-throughput backscatter transmission can be achieved when the number of the receive antennas satisfies M>K. The Chernoff Information (CI) is also derived to predict the detection performance. Next, we address the signal detection problem at the reader. The optimal soft decision (SD) and suboptimal hard decision (HD) detectors are designed based on the maximum likelihood criterion. To tackle the non-cooperation challenge, a fully blind channel estimation method is proposed to learn the detection-required parameters based on clustering. Extensive numerical results verify the effectiveness of the proposed detectors and the channel estimation method. In addition, it is illustrated that the increase of K may not necessarily lead to performance degradation when multiple receive antennas are exploited.


title: Generating Paths with WFC

abstract: Motion plans are often randomly generated for minor game NPCs. Repetitive or regular movements, however, require non-trivial programming effort and/or integration with a pathing system. We here describe an example-based approach to path generation that requires little or no additional programming effort. Our work modifies the Wave Function Collapse (WFC) algorithm, adapting it to produce pathing plans similar to an input sketch. We show how simple sketch modifications control path characteristics, and demonstrate feasibility through a usable Unity implementation.


title: A simple counterexample to the Monge ansatz in multi-marginal optimal transport, convex geometry of the set of Kantorovich plans, and the Frenkel-Kontorova model

abstract: It is known from clever mathematical examples \cite{Ca10} that the Monge ansatz may fail in continuous two-marginal optimal transport (alias optimal coupling alias optimal assignment) problems. Here we show that this effect already occurs for finite assignment problems with $N=3$ marginals, $\ell=3$ 'sites', and symmetric pairwise costs, with the values for $N$ and $\ell$ both being optimal. Our counterexample is a transparent consequence of the convex geometry of the set of symmetric Kantorovich plans for $N=\ell=3$, which -- as we show -- possess 22 extreme points, only 7 of which are Monge. These extreme points have a simple physical meaning as irreducible molecular packings, and the example corresponds to finding the minimum energy packing for Frenkel-Kontorova interactions. Our finite example naturally gives rise, by superposition, to a continuous one, where failure of the Monge ansatz manifests itself as nonattainment and formation of 'microstructure'.


title: Persistence in nonautonomous quasimonotone parabolic partial functional differential equations with delay

abstract: This paper provides a dynamical frame to study non-autonomous parabolic partial differential equations with finite delay. Assuming monotonicity of the linearized semiflow, conditions for the existence of a continuous separation of type II over a minimal set are given. Then, practical criteria for the uniform or strict persistence of the systems above a minimal set are obtained.


title: On the structure of the conformal higher-spin wave operators

abstract: We study conformal higher spin (CHS) fields on constant curvature backgrounds. By employing parent formulation technique in combination with tractor description of GJMS operators we find a manifestly factorized form of the CHS wave operators for symmetric fields of arbitrary integer spin $s$ and gauge invariance of arbitrary order $t\leq s$. In the case of the usual Fradkin-Tseytlin fields $t=1$ this gives a systematic derivation of the factorization formulas known in the literature while for $t>1$ the explicit formulas were not known. We also relate the gauge invariance of the CHS fields to the partially-fixed gauge invariance of the factors and show that the factors can be identified with (partially gauge-fixed) wave operators for (partially)-massless or special massive fields. As a byproduct, we establish a detailed relationship with the tractor approach and, in particular, derive the tractor form of the CHS equations and gauge symmetries.


title: Conformal accelerations method and efficient evaluation of stable distributions, revisited

abstract: We introduce new efficient integral representations and methods for evaluation of pdfs, cpds and quantiles of stable distributions. For wide regions in the parameter space, absolute errors of order $10^{-15}$ can be achieved in 0.005-0.1 msec (Matlab implementation), even when the index of the distribution is small or close to 1. For the calculation of quantiles in wide regions in the tails using the Newton or bisection method, it suffices to precompute several hundred values of the characteristic exponent at points of an appropriate grid (conformal principal components) and use these values in formulas for cpdf and pdf, which require a fairly small number of elementary operations. The methods of the paper are applicable to other classes of integrals, especially highly oscillatory ones, and are typically faster than the popular methods.


title: MUFold-BetaTurn: A Deep Dense Inception Network for Protein Beta-Turn Prediction

abstract: Beta-turn prediction is useful in protein function studies and experimental design. Although recent approaches using machine-learning techniques such as SVM, neural networks, and K-NN have achieved good results for beta-turn pre-diction, there is still significant room for improvement. As previous predictors utilized features in a sliding window of 4-20 residues to capture interactions among sequentially neighboring residues, such feature engineering may result in incomplete or biased features, and neglect interactions among long-range residues. Deep neural networks provide a new opportunity to address these issues. Here, we proposed a deep dense inception network (DeepDIN) for beta-turn prediction, which takes advantages of the state-of-the-art deep neural network design of the DenseNet and the inception network. A test on a recent BT6376 benchmark shows that the DeepDIN outperformed the previous best BetaTPred3 significantly in both the overall prediction accuracy and the nine-type beta-turn classification. A tool, called MUFold-BetaTurn, was developed, which is the first beta-turn prediction tool utilizing deep neural networks. The tool can be downloaded at http://dslsrv8.cs.missouri.edu/~cf797/MUFoldBetaTurn/download.html.


title: Universality of the amplitude shift in fast two-pulse collisions in weakly perturbed linear physical systems

abstract: We demonstrate that the amplitude shifts in fast two-pulse collisions in perturbed linear physical systems with weak nonlinear dissipation exhibit universal soliton-like behavior. The behavior is demonstrated for linear optical waveguides with weak cubic loss and for systems described by linear diffusion-advection models with weak quadratic loss. We show that in both systems, the expressions for the collision-induced amplitude shifts due to the nonlinear loss have the same form as the expression obtained for a fast collision between two solitons of the nonlinear Schr\"odinger equation in the presence of weak cubic loss. Furthermore, we show that the expressions for the amplitude shifts are universal in the sense that they are independent of the exact details of the initial pulse shapes. We demonstrate the universal soliton-like behavior of the collision-induced amplitude shifts by carrying out numerical simulations with the two perturbed coupled linear evolution models with three different initial conditions corresponding to pulses with exponentially decreasing tails, pulses with power-law decreasing tails, and pulses that are initially nonsmooth and that develop significant tails during the collision. In all six cases we observe very good agreement between the analytic predictions for the amplitude shifts and the results of the numerical simulations.


title: Electro-Optics of Current-carrying Graphene

abstract: Electro-optical response of a current-carrying monolayer graphene is studied theoretically. Our calculation takes into account full (diagonal and non-diagonal) conductivity tensor obtained from a particle-conserving out-of-equilibrium distribution function of doped graphene. Our analytical and numerical results indicate that the presence of a moderate DC current throughout a doped graphene channel induces large Kerr rotations within a frequency range which can be tuned up to the mid-infrared frequency range.


title: Improving Shape Deformation in Unsupervised Image-to-Image Translation

abstract: Unsupervised image-to-image translation techniques are able to map local texture between two domains, but they are typically unsuccessful when the domains require larger shape change. Inspired by semantic segmentation, we introduce a discriminator with dilated convolutions that is able to use information from across the entire image to train a more context-aware generator. This is coupled with a multi-scale perceptual loss that is better able to represent error in the underlying shape of objects. We demonstrate that this design is more capable of representing shape deformation in a challenging toy dataset, plus in complex mappings with significant dataset variation between humans, dolls, and anime faces, and between cats and dogs.


title: Application of two-sublattice bilinearly coupled Heisenberg model to the description of certain ferrimagnetic materials

abstract: We study phenomenologically on the basis of two bilinearly coupled Heisen- berg models the phase diagram of some ferrimagnetic substances. Calculations are performed with the help of Landau energy obtained through applying the Hubbard-Stratonovich transformation to the initial microscopic Heisenberg Hamiltonian. The phase transitions within the model are of second order with the emergence of a compensation point at lower temperatures for some values of parameters of the system. The main phase is a two-sublattice collinear ferrimagnet but also a metastable non-collinear phase is present within the exchange approximation presented here. The numerical results give a detailed description of temperature dependence of magnetization on the strength of in- tersublattice interaction and the difference between the effective exchanges of two ferromagnetically ordered sublattices.