title: TwoStreamVAN: Improving Motion Modeling in Video Generation

abstract: Video generation is an inherently challenging task, as it requires modeling realistic temporal dynamics as well as spatial content. Existing methods entangle the two intrinsically different tasks of motion and content creation in a single generator network, but this approach struggles to simultaneously generate plausible motion and content. To im-prove motion modeling in video generation tasks, we propose a two-stream model that disentangles motion generation from content generation, called a Two-Stream Variational Adversarial Network (TwoStreamVAN). Given an action label and a noise vector, our model is able to create clear and consistent motion, and thus yields photorealistic videos. The key idea is to progressively generate and fuse multi-scale motion with its corresponding spatial content. Our model significantly outperforms existing methods on the standard Weizmann Human Action, MUG Facial Expression, and VoxCeleb datasets, as well as our new dataset of diverse human actions with challenging and complex motion. Our code is available at https://github.com/sunxm2357/TwoStreamVAN/.


title: Light Spring amplification in a multi-frequency Raman amplifier

abstract: We propose to amplify and compress an ultrashort Light Spring laser seed with a long Gaussian-shaped laser pump through Raman amplification. This Light Spring, which has a helical spatio-temporal intensity profile, can be built on the superposition of three distinct laser frequency components. In order to get an independent frequency amplification, two criteria are established. Besides these criteria, a non equal frequency separation is necessary to avoid resonance overlapping when three or more frequencies are involved. The independent set of equations, which describes the wave-wave interaction in a plasma, is solved numerically for two different Light Spring configurations. In both cases, the amplification and transversal compression of the seed laser pulse have been observed, with a final profile similar to that of the usual Gaussian-shaped seed pulses. In addition, two different kinds of helical plasma waves are excited.


title: On eigenvalues of the kernel $\frac{1}{2} + \lfloor \frac{1}{xy}\rfloor - \frac{1}{xy}$, II

abstract: We study the eigenvalues $\lambda_1,\lambda_2,\lambda_3,\ldots$ (ordered by modulus) of the integral kernel $K(x,y) := \frac{1}{2} + \lfloor \frac{1}{x y}\rfloor - \frac{1}{x y}$ ($0<x,y\leq 1$). This kernel is of interest in connection with an identity of F. Mertens involving the M\"obius function. We establish that $\sum_{m=1}^{\infty} |\lambda_m|^{-1} = \infty$, and prove that $|\lambda_m| > m\log^{-3/2} m$ for all but finitely many positive integers $m$. The first of these results is an application of the theory of Hankel operators; the proof of the second result utilises a family of degenerate kernels $k_3,k_4,k_5,\ldots$ that are step-function approximations to $K$. Through separate computational work on eigenvalues of $k_N$ ($N=2^{21}$) we obtain numerical bounds, both upper and lower, for specific eigenvalues of $K$. Further computational work, on eigenvalues of $k_N$ ($N\in\{ 2^{10},2^{11},\ldots ,2^{21}\}$), leads us to formulate a quite precise conjecture concerning where on the real line the eigenvalues $\lambda_1,\lambda_2,\ldots ,\lambda_{767}$ are located: we discuss how this conjecture could (if it is correct) be viewed as supportive of certain interesting general conjectures concerning the eigenvalues of $K$.


title: Anomalous scalings of the cuprate strange metals from nonlinear electrodynamics

abstract: We examine transport in a holographic model which describes, through a nonlinear gauge field sector, generic nonlinear interactions between the charge carriers. Scaling exponents are introduced by using geometries which are nonrelativistic and hyperscaling-violating in the infrared. In the dilute charge limit in which the gauge field sector does not backreact on the geometry, a particularly simple nonlinear theory reproduces the anomalous temperature dependence of the resistivity and Hall angle of the cuprate strange metals, $R \sim T$ and $\cot\Theta_H \sim T^2$ while also allowing for a linear entropy $S \sim T$, and predicts that the magnetoresistance for small values of the magnetic field $h$ should scale as $\sim h^2 T^{-4}$. Our study lends evidence to the idea that the strange metal behavior of the cuprates relies crucially on the linear temperature dependence of the entropy.


title: Quantum Approximate Optimization Algorithm: Performance, Mechanism, and Implementation on Near-Term Devices

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a hybrid quantum-classical variational algorithm designed to tackle combinatorial optimization problems. Despite its promise for near-term quantum applications, not much is currently understood about QAOA's performance beyond its lowest-depth variant. An essential but missing ingredient for understanding and deploying QAOA is a constructive approach to carry out the outer-loop classical optimization. We provide an in-depth study of the performance of QAOA on MaxCut problems by developing an efficient parameter-optimization procedure and revealing its ability to exploit non-adiabatic operations. Building on observed patterns in optimal parameters, we propose heuristic strategies for initializing optimizations to find quasi-optimal $p$-level QAOA parameters in $O(\text{poly}(p))$ time, whereas the standard strategy of random initialization requires $2^{O(p)}$ optimization runs to achieve similar performance. We then benchmark QAOA and compare it with quantum annealing, especially on difficult instances where adiabatic quantum annealing fails due to small spectral gaps. The comparison reveals that QAOA can learn via optimization to utilize non-adiabatic mechanisms to circumvent the challenges associated with vanishing spectral gaps. Finally, we provide a realistic resource analysis on the experimental implementation of QAOA. When quantum fluctuations in measurements are accounted for, we illustrate that optimization will be important only for problem sizes beyond numerical simulations, but accessible on near-term devices. We propose a feasible implementation of large MaxCut problems with a few hundred vertices in a system of 2D neutral atoms, reaching the regime to challenge the best classical algorithms.


title: Tensor-product coaction functors

abstract: For a discrete group $G$, we develop a `$G$-balanced tensor product' of two coactions $(A,\delta)$ and $(B,\epsilon)$, which takes place on a certain subalgebra of the maximal tensor product $A\otimes_{\max} B$. Our motivation for this is that we are able to prove that given two actions of $G$, the dual coaction on the crossed product of the maximal-tensor-product action is isomorphic to the $G$-balanced tensor product of the dual coactions. In turn, our motivation for this is to give an analogue, for coaction functors, of a crossed-product functor originated by Baum, Guentner, and Willett, and further developed by Buss, Echterhoff, and Willett, that involves tensoring an action with a fixed action $(C,\gamma)$, then forming the image inside the crossed product of the maximal-tensor-product action. We prove that composing our tensor-product coaction functor with the full crossed product of an action reproduces the tensor-crossed-product functor of Baum, Guentner, and Willett. We prove that every such tensor-product coaction functor is exact, thereby recovering the analogous result for the tensor-crossed-product functors of Baum, Guentner, and Willett. When $(C,\gamma)$ is the action by translation on $\ell^\infty(G)$, we prove that the associated tensor-product coaction functor is minimal, generalizing the analogous result of Buss, Echterhoff, and Willett for tensor-crossed-product functors.


title: Identification and Recognition of Rice Diseases and Pests Using Convolutional Neural Networks

abstract: An accurate and timely detection of diseases and pests in rice plants can help farmers in applying timely treatment on the plants and thereby can reduce the economic losses substantially. Recent developments in deep learning based convolutional neural networks (CNN) have greatly improved the image classification accuracy. Being motivated by the success of CNNs in image classification, deep learning based approaches have been developed in this paper for detecting diseases and pests from rice plant images. The contribution of this paper is two fold: (i) State-of-the-art large scale architectures such as VGG16 and InceptionV3 have been adopted and fine tuned for detecting and recognizing rice diseases and pests. Experimental results show the effectiveness of these models with real datasets. (ii) Since large scale architectures are not suitable for mobile devices, a two-stage small CNN architecture has been proposed, and compared with the state-of-the-art memory efficient CNN architectures such as MobileNet, NasNet Mobile and SqueezeNet. Experimental results show that the proposed architecture can achieve the desired accuracy of 93.3\% with a significantly reduced model size (e.g., 99\% less size compared to that of VGG16).


title: Quantum Computation and Visualization of Hamiltonians using Discrete Quantum Mechanics and IBM QISKit

abstract: Quantum computers have the potential to transform the ways in which we tackle some important problems. The efforts by companies like Google, IBM and Microsoft to construct quantum computers have been making headlines for years. Equally important is the challenge of translating problems into a state that can be fed to these machines. Because quantum computers are in essence controllable quantum systems, the problems that most naturally map to them are those of quantum mechanics. Quantum chemistry has seen particular success in the form of the variational quantum eigensolver (VQE) algorithm, which is used to determine the ground state energy of molecular systems. The goal of our work has been to use the matrix formulation of quantum mechanics to translate other systems so that they can be run through this same algorithm. We describe two ways of accomplishing this using a position basis approach and a Gaussian basis approach. We also visualize the wave functions from the eigensolver and make comparisons to theoretical results obtained with continuous operators.


title: First-Order Topological Quantum Phase Transition in a Strongly Correlated Ladder

abstract: We report on the discovery of a quantum tri-critical point (QTP) separating a line of first-order topological quantum phase transitions from a continuous transition regime in a strongly correlated one-dimensional lattice system. Specifically, we study a fermionic four-leg ladder supporting a symmetry-protected topological phase in the presence of on-site interaction, which is driven towards a trivial gapped phase by a nearest-neighbor interaction. Based on DMRG simulations, we show that, as a function of the interaction strength, the phase transition between the topological and the trivial phase switches from being continuous to exhibiting a first-order character. Remarkably, the QTP as well as the first-order character of the topological transition in the strongly correlated regime are found to clearly manifest in simple local observables.


title: Onset of Nonlinear Internal Gravity Waves in Intermediate-Mass Stars

abstract: Internal gravity waves (IGW) propagate in the radiation zones of all stars. During propagation, their amplitudes are affected by two main features: radiative diffusion and density stratification. We have studied the implications of these two features on waves traveling within the radiative zones of non-rotating stars with stellar parameters obtained from the one dimensional stellar evolution code, MESA. As a simple measure of induced wave dynamics, we define a criterion to see if waves can become nonlinear and if so, under what conditions. This was done to understand the role IGW may play in angular momentum transport and mixing within stellar interiors. We find that the IGW generation spectrum, convective velocities and the strength of density stratification all play major roles in whether waves become nonlinear. With increasing stellar mass, there is an increasing trend in nonlinear wave energies. The trends with different metallicities and ages depend on the generation spectrum.


title: The formula for Tur\'{a}n number of spanning linear forests

abstract: Let $\mathcal{F}$ be a family of graphs. The Tur\'{a}n number $ex(n;\mathcal{F})$ is defined to be the maximum number of edges in a graph of order $n$ that is $\mathcal{F}$-free. In 1959, Erd\H{o}s and Gallai determined the Tur\'an number of $M_{k+1}$ (a matching of size $k+1$) as follows: \[ ex(n;M_{k+1})= \max\left\{\binom{2k+1}{2},\binom{n}{2}-\binom{n-k}{2}\right\}. \] Since then, there has been a lot of research on Tur\'an number of linear forests. A linear forest is a graph whose connected components are all paths or isolated vertices. Let $\mathcal{L}_{n,k}$ be the family of all linear forests of order $n$ with $k$ edges. In this paper, we prove that \[ ex(n;\mathcal{L}_{n,k})= \max \left\{\binom{k}{2},\binom{n}{2}-\binom{n-\left\lfloor \frac{k-1}{2}\right \rfloor}{2}+ c \right\}, \] where $c=0$ if $k$ is odd and $c=1$ otherwise. This determines the maximum number of edges in a non-Hamiltonian graph with given Hamiltonian completion number and also solves two open problems in \cite{WY} as special cases. Moreover, we show that our main theorem implies Erd\H{o}s-Gallai Theorem and also gives a short new proof for it by the closure and counting techniques. Finally, we generalize our theorem to a conjecture which implies the famous Erd\H{o}s Matching Conjecture.


title: Complete Generalized Fibonacci Sequences Modulo Primes

abstract: We study generalized Fibonacci sequences $F_{n+1}=PF_n-QF_{n-1}$ with initial values $F_0=0$ and $F_1=1$. Let $P,Q$ be nonzero integers such that $P^2-4Q$ is not a perfect square. We show that if $Q=\pm 1$ then the sequence $\{F_n\}_{n=0}^\infty$ misses a congruence class modulo every prime large enough. On the other hand, if $Q \neq \pm 1$, we prove that (under GRH) the sequence $\{F_n\}_{n=0}^\infty$ hits every congruence class modulo infinitely many primes.


title: Brain Tumor Segmentation using an Ensemble of 3D U-Nets and Overall Survival Prediction using Radiomic Features

abstract: Accurate segmentation of different sub-regions of gliomas including peritumoral edema, necrotic core, enhancing and non-enhancing tumor core from multimodal MRI scans has important clinical relevance in diagnosis, prognosis and treatment of brain tumors. However, due to the highly heterogeneous appearance and shape, segmentation of the sub-regions is very challenging. Recent development using deep learning models has proved its effectiveness in the past several brain segmentation challenges as well as other semantic and medical image segmentation problems. Most models in brain tumor segmentation use a 2D/3D patch to predict the class label for the center voxel and variant patch sizes and scales are used to improve the model performance. However, it has low computation efficiency and also has limited receptive field. U-Net is a widely used network structure for end-to-end segmentation and can be used on the entire image or extracted patches to provide classification labels over the entire input voxels so that it is more efficient and expect to yield better performance with larger input size. Furthermore, instead of picking the best network structure, an ensemble of multiple models, trained on different dataset or different hyper-parameters, can generally improve the segmentation performance. In this study we propose to use an ensemble of 3D U-Nets with different hyper-parameters for brain tumor segmentation. Preliminary results showed effectiveness of this model. In addition, we developed a linear model for survival prediction using extracted imaging and non-imaging features, which, despite the simplicity, can effectively reduce overfitting and regression errors.


title: The Fornax Deep Survey with VST. V. Exploring the faintest regions of the bright early-type galaxies inside the virial radius

abstract: This paper is based on the multi-band (ugri) Fornax Deep Survey (FDS) with the VLT Survey Telescope (VST). We study bright early-type galaxies (m_B<15 mag) in the 9 square degrees around the core of the Fornax cluster, which covers the virial radius. The main goal of the present work is to provide the analysis of the light distribution for all galaxies out to unprecedented limits (in radius and surface brightness) and to release the main products resulting from this analysis in all FDS bands. From the isophote fit, we derive the azimuthally averaged surface brightness profiles, the position angle and ellipticity profiles as a function of the semi-major axis. In each band, we derive the total magnitudes, effective radii, integrated colors and stellar mass-to-light ratios. The long integration times, the arcsec-level angular resolution of OmegaCam@VST and the large covered area of FDS allow us to map the light and color distributions out to large galactocentric distances (up to about 10-15 R_e) and surface brightness levels beyond mu_r = 27 mag/arcsec^2 (mu_B > 28 mag/arcsec^2). Therefore, the new FDS data allow us to explore in great detail the morphology and structure of cluster galaxies out to the region of the stellar halo. The observations suggest that the Fornax cluster is not completely relaxed inside the virial radius. The bulk of the gravitational interactions between galaxies happens in the W-NW core region of the cluster, where most of the bright early-type galaxies are located and where the intra-cluster baryons (diffuse light and GCs) are found. We suggest that the W-NW sub-clump of galaxies results from an infalling group onto the cluster, which has modified the structure of the galaxy outskirts (making asymmetric stellar halos) and has produced the intra-cluster baryons (ICL and GCs), concentrated in this region of the cluster.


title: Isomorphisms and parity of complexes of rank 7/4

abstract: We study the isomorphism types of simply connected complexes of rank 7/4 using a local invariant called the parity. We show that the parity can be computed explicitly in certain constructions arising from surgery.


title: The Massive and Distant Clusters of WISE Survey V: Extended Radio Sources in Massive Galaxy Clusters at z~1

abstract: We present the results from a pilot study with the Karl G. Jansky Very Large Array (JVLA) to determine the radio morphologies of extended radio sources and the properties of their host-galaxies in 10 massive galaxy clusters at z~1, an epoch in which clusters are assembling rapidly. These clusters are drawn from a parent sample of WISE-selected galaxy clusters that were cross-correlated with the VLA Faint Images of the Radio Sky at Twenty-Centimeters survey (FIRST) to identify extended radio sources within 1$^{\prime}$ of the cluster centers. Out of the ten targeted sources, six are FR II sources, one is an FR I source, and three sources have undetermined morphologies. Eight radio sources have associated Spitzer data, 75% presenting infrared counterparts. A majority of these counterparts are consistent with being massive galaxies. The angular extent of the FR sources exhibits a strong correlation with the cluster-centric radius, which warrants further investigation with a larger sample.


title: MS-ASL: A Large-Scale Data Set and Benchmark for Understanding American Sign Language

abstract: Sign language recognition is a challenging and often underestimated problem comprising multi-modal articulators (handshape, orientation, movement, upper body and face) that integrate asynchronously on multiple streams. Learning powerful statistical models in such a scenario requires much data, particularly to apply recent advances of the field. However, labeled data is a scarce resource for sign language due to the enormous cost of transcribing these unwritten languages. We propose the first real-life large-scale sign language data set comprising over 25,000 annotated videos, which we thoroughly evaluate with state-of-the-art methods from sign and related action recognition. Unlike the current state-of-the-art, the data set allows to investigate the generalization to unseen individuals (signer-independent test) in a realistic setting with over 200 signers. Previous work mostly deals with limited vocabulary tasks, while here, we cover a large class count of 1000 signs in challenging and unconstrained real-life recording conditions. We further propose I3D, known from video classifications, as a powerful and suitable architecture for sign language recognition, outperforming the current state-of-the-art by a large margin. The data set is publicly available to the community.


title: Transferring Knowledge across Learning Processes

abstract: In complex transfer learning scenarios new tasks might not be tightly linked to previous tasks. Approaches that transfer information contained only in the final parameters of a source model will therefore struggle. Instead, transfer learning at a higher level of abstraction is needed. We propose Leap, a framework that achieves this by transferring knowledge across learning processes. We associate each task with a manifold on which the training process travels from initialization to final parameters and construct a meta-learning objective that minimizes the expected length of this path. Our framework leverages only information obtained during training and can be computed on the fly at negligible cost. We demonstrate that our framework outperforms competing methods, both in meta-learning and transfer learning, on a set of computer vision tasks. Finally, we demonstrate that Leap can transfer knowledge across learning processes in demanding reinforcement learning environments (Atari) that involve millions of gradient steps.


title: Rank reduction of string C-group representations

abstract: We show that a rank reduction technique for string C-group representations first used for the symmetric groups generalizes to arbitrary settings. The technique permits us, among other things, to prove that orthogonal groups defined on $d$-dimensional modules over fields of even order greater than 2 possess string C-group representations of all ranks $3\leq r\leq d$. The broad applicability of the rank reduction technique provides fresh impetus to construct, for suitable families of groups, string C-groups of highest possible rank. It also suggests that the alternating group ${\rm Alt}(11)$---the only known group having `rank gaps'---is perhaps more unusual than previously thought.


title: Wavelet Methods for Studying the Onset of Strong Plasma Turbulence

abstract: Wavelet basis functions are a natural tool for analyzing turbulent flows containing localized coherent structures of different spatial scales. Here, wavelets are used to study the onset and subsequent transition to fully developed turbulence from a laminar state. Originally applied to neutral fluid turbulence, an iterative wavelet technique decomposes the field into coherent and incoherent contributions. In contrast to Fourier power spectra, finite time Lyapunov exponents (FTLE), and simple measures of intermittency such as non-Gaussian statistics of field increments, the wavelet technique is found to provide a quantitative measure for the onset of turbulence and to track the transition to fully developed turbulence. The wavelet method makes no assumptions about the structure of the coherent current sheets or the underlying plasma model. Temporal evolution of the coherent and incoherent wavelet fluctuations is found to be highly correlated with the magnetic field energy and plasma thermal energy, respectively. The onset of turbulence is identified with the rapid growth of a background of incoherent fluctuations spreading across a range of scales and a corresponding drop in the coherent components. This is suggestive of the interpretation of the coherent and incoherent wavelet fluctuations as measures of coherent structures (e.g., current sheets) and dissipation, respectively. The ratio of the incoherent to coherent fluctuations $R_{ic}$ is found to be fairly uniform across different plasma models and provides an empirical threshold for turbulence onset. The technique is illustrated through examples. First, it is applied to the Kelvin--Helmholtz instability from different simulation models including fully kinetic, hybrid (kinetic ion/fluid electron), and Hall MHD simulations. Second, it is applied to the development of turbulence downstream of the bowshock in a magnetosphere simulation.


title: Highly stable common-path quantitative phase microscope for biomedical imaging

abstract: High temporal stability is the primary requirement of any quantitative phase microscope (QPM) systems for the early stage detection of various human related diseases. The high temporal stability of the system provides accurate measurement of membrane fluctuations of the biological cells, which can be good indicator of various diseases. We developed a single element highly stable common-path QPM system to obtain temporally stable holograms of the biological specimens. With the proposed system, the temporal stability is obtained ~ 15 mrad without using any vibration isolation table. The capability of the proposed system is demonstrated on USAF resolution chart, polystyrene spheres (dia. 4.5 micron) and human red blood cells (RBCs). The membrane fluctuation of healthy human RBCs is further successfully measured and found to be equal to 63 nm. Contrary to its counterparts, present system offers energy efficient, cost effective and simple way of generating object and reference beam for the development of common-path QPM.


title: Propagation of Chaos for reflecting diffusions with local-time dependent noise

abstract: We prove existence and uniqueness of a reaction-diffusion equation whose diffusivity is a non-linear functional of the boundary temperature. We do this by studying systems of one-dimensional reflecting diffusions whose noise is a function of the reflection local-time of the system, and by characterizing the large-scale (hydrodynamic) behavior by showing propagation of chaos. In addition, we analyze the one-particle case by computing the distribution of the hitting times of its reflection local-time. This work is the noise analog of work done by Frank Knight (2001).


title: Towards the P-wave nucleon-pion scattering amplitude in the $\Delta (1232)$ channel

abstract: We use lattice QCD and the L\"uscher method to study elastic pion-nucleon scattering in the isospin $I = 3/2$ channel, which couples to the $\Delta(1232)$ resonance. Our $N_f=2+1$ flavor lattice setup features a pion mass of $m_\pi \approx 250$ MeV, such that the strong decay channel $\Delta \rightarrow \pi N$ is close to the threshold. We present our method for constructing the required lattice correlation functions from single- and two-hadron interpolating fields and their projection to irreducible representations of the relevant symmetry group of the lattice. We show preliminary results for the energy spectra in selected moving frames and irreducible representations, and extract the scattering phase shifts. Using a Breit-Wigner fit, we also determine the resonance mass $m_\Delta$ and the $g_{\Delta-\pi N}$ coupling.


title: Bach2Bach: Generating Music Using A Deep Reinforcement Learning Approach

abstract: A model of music needs to have the ability to recall past details and have a clear, coherent understanding of musical structure. Detailed in the paper is a deep reinforcement learning architecture that predicts and generates polyphonic music aligned with musical rules. The probabilistic model presented is a Bi-axial LSTM trained with a pseudo-kernel reminiscent of a convolutional kernel. To encourage exploration and impose greater global coherence on the generated music, a deep reinforcement learning approach DQN is adopted. When analyzed quantitatively and qualitatively, this approach performs well in composing polyphonic music.


title: On the Relationship Between Modularity and Stability in Software Packages

abstract: Modular and well-written software is an ideal that programmers strive to achieve. However, real-world project constraints limit the amount of reusable and modular code that programmers can produce. Many techniques exist that refactor code automatically using graph-based measurements and increase the quality and modularity of a codebase. While these measures work in the graph domain, their effect on the stability of software has been uncertain. In this work, we provide mathematical proof that modularity measures are indeed in favor of software stability.


title: Symbolic Approximation of Weighted Timed Games

abstract: Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the accumulated weight while reaching a target. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. For non-negative weights, the largest class that can be analysed has been introduced by Bouyer, Jaziri and Markey in 2015. Though the value problem is undecidable, the authors show how to approximate the value by considering regions with a refined granularity. In this work, we extend this class to incorporate negative weights, allowing one to model energy for instance, and prove that the value can still be approximated, with the same complexity. In addition, we show that a symbolic algorithm, relying on the paradigm of value iteration, can be used as an approximation schema on this class.


title: A Hybrid Instance-based Transfer Learning Method

abstract: In recent years, supervised machine learning models have demonstrated tremendous success in a variety of application domains. Despite the promising results, these successful models are data hungry and their performance relies heavily on the size of training data. However, in many healthcare applications it is difficult to collect sufficiently large training datasets. Transfer learning can help overcome this issue by transferring the knowledge from readily available datasets (source) to a new dataset (target). In this work, we propose a hybrid instance-based transfer learning method that outperforms a set of baselines including state-of-the-art instance-based transfer learning approaches. Our method uses a probabilistic weighting strategy to fuse information from the source domain to the model learned in the target domain. Our method is generic, applicable to multiple source domains, and robust with respect to negative transfer. We demonstrate the effectiveness of our approach through extensive experiments for two different applications.


title: Heat transfer statistics in mixed quantum-classical systems

abstract: The modelling of quantum heat transfer processes at the nanoscale is crucial for the development of energy harvesting and molecular electronics devices. Herein, we adopt a mixed quantum-classical description of a device, in which the open subsystem of interest is treated quantum mechanically and the surrounding heat baths are treated in a classical-like fashion. By introducing such a mixed quantum-classical description of the composite system, one is able to study the heat transfer between the subsystem and bath from a closed system point of view, thereby avoiding simplifying assumptions related to the bath time scale and subsystem-bath coupling strength. In particular, we adopt the full counting statistics approach to derive a general expression for the moment generating function of heat in systems whose dynamics are described by the quantum-classical Liouville equation (QCLE). From this expression, one can deduce expressions for the dynamics of the average heat and heat current, which may be evaluated using numerical simulations. Due to the approximate nature of the QCLE, we also find that the steady state fluctuation symmetry holds up to order $\hbar$ for systems whose subsystembath couplings and baths go beyond bilinear and harmonic, respectively. To demonstrate the approach, we consider the nonequilibrium spin boson model and simulate its time-dependent average heat and heat current under various conditions.


title: QR code denoising using parallel Hopfield networks

abstract: We propose a novel algorithm for using Hopfield networks to denoise QR codes. Hopfield networks have mostly been used as a noise tolerant memory or to solve difficult combinatorial problems. One of the major drawbacks in their use in noise tolerant associative memory is their low capacity of storage, scaling only linearly with the number of nodes in the network. A larger capacity therefore requires a larger number of nodes, thereby reducing the speed of convergence of the network in addition to increasing hardware costs for acquiring more precise data to be fed to a larger number of nodes. Our paper proposes a new algorithm to allow the use of several Hopfield networks in parallel thereby increasing the cumulative storage capacity of the system many times as compared to a single Hopfield network. Our algorithm would also be much faster than a larger single Hopfield network with the same total capacity. This enables their use in applications like denoising QR codes, which we have demonstrated in our paper. We then test our network on a large set of QR code images with different types of noise and demonstrate that such a system of Hopfield networks can be used to denoise and recognize QR codes in real time.


title: Rationality is decidable for nearly Euclidean Thurston maps

abstract: Nearly Euclidean Thurston (NET) maps are described by simple diagrams which admit a natural notion of size. Given a size bound $C$, there are finitely many diagrams of size at most $C$. Given a NET map $F$ presented by a diagram of size at most $C$, the problem of determining whether $F$ is equivalent to a rational function is, in theory, a finite computation. We give bounds for the size of this computation in terms of $C$ and one other natural geometric quantity. This result partially explains the observed effectiveness of the computer program NETmap in deciding rationality.


title: Meta-stable non-extremal anti-branes

abstract: We find new and compelling evidence for the meta-stability of SUSY-breaking states in holographic backgrounds whose consistency has been the source of ongoing disagreements in the literature. As a concrete example, we analyse anti-D3 branes at the tip of the Klebanov-Strassler (KS) throat. Using the blackfold formalism we examine how temperature affects the conjectured meta-stable state and determine whether and how the existing extremal results generalize when going beyond extremality. In the extremal limit we exactly recover the results of Kachru, Pearson and Verlinde (KPV), in a regime of parameter space that was previously inaccesible. Away from extremality we uncover a meta-stable black NS5 state that disappears near a geometric transition where black anti-D3 branes and black NS5 branes become indistinguishable. This is remarkably consistent with complementary earlier results based on the analysis of regularity conditions of backreacted solutions. We therefore provide highly non-trivial evidence for the meta-stability of anti-branes in non-compact throat geometries since we find a consistent picture over different regimes in parameter space.


title: Machine Friendly Machine Learning: Interpretation of Computed Tomography Without Image Reconstruction

abstract: Recent advancements in deep learning for automated image processing and classification have accelerated many new applications for medical image analysis. However, most deep learning applications have been developed using reconstructed, human-interpretable medical images. While image reconstruction from raw sensor data is required for the creation of medical images, the reconstruction process only uses a partial representation of all the data acquired. Here we report the development of a system to directly process raw computed tomography (CT) data in sinogram-space, bypassing the intermediary step of image reconstruction. Two classification tasks were evaluated for their feasibility for sinogram-space machine learning: body region identification and intracranial hemorrhage (ICH) detection. Our proposed SinoNet performed favorably compared to conventional reconstructed image-space-based systems for both tasks, regardless of scanning geometries in terms of projections or detectors. Further, SinoNet performed significantly better when using sparsely sampled sinograms than conventional networks operating in image-space. As a result, sinogram-space algorithms could be used in field settings for binary diagnosis testing, triage, and in clinical settings where low radiation dose is desired. These findings also demonstrate another strength of deep learning where it can analyze and interpret sinograms that are virtually impossible for human experts.


title: Undecidability of Inferring Linear Integer Invariants

abstract: We show that the problem of determining the existence of an inductive invariant in the language of quantifier free linear integer arithmetic (QFLIA) is undecidable, even for transition systems and safety properties expressed in QFLIA.


title: Learning Multimodal Graph-to-Graph Translation for Molecular Optimization

abstract: We view molecular optimization as a graph-to-graph translation problem. The goal is to learn to map from one molecular graph to another with better properties based on an available corpus of paired molecules. Since molecules can be optimized in different ways, there are multiple viable translations for each input graph. A key challenge is therefore to model diverse translation outputs. Our primary contributions include a junction tree encoder-decoder for learning diverse graph translations along with a novel adversarial training method for aligning distributions of molecules. Diverse output distributions in our model are explicitly realized by low-dimensional latent vectors that modulate the translation process. We evaluate our model on multiple molecular optimization tasks and show that our model outperforms previous state-of-the-art baselines.


title: Semantic Image Inpainting Through Improved Wasserstein Generative Adversarial Networks

abstract: Image inpainting is the task of filling-in missing regions of a damaged or incomplete image. In this work we tackle this problem not only by using the available visual data but also by incorporating image semantics through the use of generative models. Our contribution is twofold: First, we learn a data latent space by training an improved version of the Wasserstein generative adversarial network, for which we incorporate a new generator and discriminator architecture. Second, the learned semantic information is combined with a new optimization loss for inpainting whose minimization infers the missing content conditioned by the available data. It takes into account powerful contextual and perceptual content inherent in the image itself. The benefits include the ability to recover large regions by accumulating semantic information even it is not fully present in the damaged image. Experiments show that the presented method obtains qualitative and quantitative top-tier results in different experimental situations and also achieves accurate photo-realism comparable to state-of-the-art works.


title: Observation of aerodynamic instability in the flow of a particle stream in a dilute gas

abstract: Forming macroscopic solid bodies in circumstellar discs requires local dust concentration levels significantly higher than the mean. Interactions of the dust particles with the gas must serve to augment local particle densities, and facilitate growth past barriers in the metre size range. Amongst a number of mechanisms that can amplify the local density of solids, aerodynamic streaming instability (SI) is one of the most promising. This work tests the physical assumptions of models that lead to SI in protoplanetary disks (PPDs). We conduct laboratory experiments in which we track the three-dimensional motion of spherical solid particles fluidized in a low-pressure, laminar, incompressible, gas stream. The particle sizes span the Stokes-Epstein drag regime transition and the overall dust-to-gas mass density ratio is close to unity. Lambrechts et al. (2016) established the similarity of the laboratory flow to a simplified PPD model flow. We obtain experimental results suggesting an instability due to particle-gas interaction: i) there exist variations in particle concentration in the direction of the mean drag forces; ii) the particles have a tendency to 'catch up' to one another when they are in proximity; iii) particle clumping occurs on very small scales, which implies local enhancements above the background dust-to-gas mass density ratio by factors of several tens; v) the presence of these density enhancements occurs for a mean dust-to-gas mass density ratio approaching or greater than 1; v) we find evidence for collective particle drag reduction when the local particle number density becomes high and when the background gas pressure is high so that the drag is in the continuum regime. The experiments presented here are precedent-setting for observing SI under controlled conditions and may lead to a deeper understanding of how it operates in nature.


title: Chiral symmetry breaking corrections to the pseudoscalar pole contribution of the Hadronic Light-by-Light piece of $a_\mu$

abstract: We have studied the $P\to\gamma^\star\gamma^\star$ form factor in Resonance Chiral Theory, with $P = \pi^0\eta\eta'$, to compute the contribution of the pseudoscalar pole to the hadronic light-by-light piece of the anomalous magnetic moment of the muon. In this work we allow the leading $U(3)$ chiral symmetry breaking terms, obtaining the most general expression for the form factor up to $\mathcal{O}(m_P^2)$. The parameters of the Effective Field Theory are obtained by means of short distance constraints on the form factor and matching with the expected behavior from QCD. Those parameters that cannot be fixed in this way are fitted to experimental determinations of the form factor within the spacelike region. Chiral symmetry relations among the transition form factors for $\pi^0,\eta$ and $\eta'$ allow for a simultaneous fit to experimental data for the three mesons. This shows an inconsistency between the BaBar $\pi^0$ data and the rest of the experimental inputs. Thus, we find a total pseudoscalar pole contribution of $a_\mu^{P,HLbL}=(8.47\pm 0.16)\cdot 10^{-10}$ for our best fit (that neglecting the BaBar $\pi^0$ data). Also, a preliminary rough estimate of the impact of NLO in $1/N_C$ corrections and higher vector multiplets (asym) enlarges the uncertainty up to $a_\mu^{P,HLbL}=(8.47\pm 0.16_{\rm stat}\pm 0.09_{N_C}{}^{+0.5}_{-0.0_{\rm asym}})10^{-10}$.


title: Distilling Information from a Flood: A Possibility for the Use of Meta-Analysis and Systematic Review in Machine Learning Research

abstract: The current flood of information in all areas of machine learning research, from computer vision to reinforcement learning, has made it difficult to make aggregate scientific inferences. It can be challenging to distill a myriad of similar papers into a set of useful principles, to determine which new methodologies to use for a particular application, and to be confident that one has compared against all relevant related work when developing new ideas. However, such a rapidly growing body of research literature is a problem that other fields have already faced - in particular, medicine and epidemiology. In those fields, systematic reviews and meta-analyses have been used exactly for dealing with these issues and it is not uncommon for entire journals to be dedicated to such analyses. Here, we suggest the field of machine learning might similarly benefit from meta-analysis and systematic review, and we encourage further discussion and development along this direction.


title: Johann-type laboratory-scale X-ray absorption spectrometer with versatile detection modes

abstract: We present a low-cost laboratory X-ray absorption spectrometer that uses a conventional X-ray tube source and bent Johann-type crystal monochromators. The instrument is designed for XAS studies in the 4-20 keV range which covers most K edges of 3d transition metals and L edges of 5d transition metals and actinides. The energy resolution is typically in the range of 1-5 eV at 10 keV depending on the crystal analyser and the Bragg angle. Measurements can be performed in transmission, fluorescence, and imaging modes. Due to its simple and modular design, the spectrometer can be modified to accommodate additional equipment and complex sample environments required for e.g. in situ studies. A showcase of various applications is presented.


title: Gravitational Lensing in Weyl Gravity

abstract: We calculate the deflection angle of light from a distant source by a galaxy cluster in Weyl's conformal gravity. The general method of calculation is first applied to calculate the deflection angle in Schwarzschild-de Sitter (Kottler) spacetime. The deflection angle calculated in Kottler spacetime includes the contribution of the cosmological constant, which quantitatively agrees with one work and disagrees with many works in the literature. We then calculate the deflection angle in Mannheim-Kazanas spacetime in two conformally related coordinate systems and find that the result includes contributions from both the cosmological constant and the Mannheim-Kazanas parameter. There are conflicting results on the deflection angle for light in Weyl gravity in the literature. We point out a possible reason for the discrepancy between our work and the others.


title: Brief survey of Mobility Analyses based on Mobile Phone Datasets

abstract: This is a brief survey of the research performed by Grandata Labs in collaboration with numerous academic groups around the world on the topic of human mobility. A driving theme in these projects is to use and improve Data Science techniques to understand mobility, as it can be observed through the lens of mobile phone datasets. We describe applications of mobility analyses for urban planning, prediction of data traffic usage, building delay tolerant networks, generating epidemiologic risk maps and measuring the predictability of human mobility.


title: Effect of Geometry on Sensitivity and Offset of AlGaN/GaN and InAlN/GaN Hall-effect Sensors

abstract: The current- and voltage-scaled sensitivities and signal-to-noise ratios (SNR) (with respect to thermal noise) of various octagonal AlGaN/GaN and InAlN/GaN Hall-effect sensors were examined in this work. The effect of metal contact lengths on sensitivity and sensor offset was evaluated. Calculations that take into account the shape of the device show that devices with point-like contacts have the highest current-scaled sensitivity (68.9 V/A/T), while devices with contacts of equal length to their non-contact sides have the highest voltage-scaled sensitivity (86.9 mV/V/T). The sensitivities of the two other devices follow the predicted trends closely. All the devices have offsets less than 20 $\mu$T at low supply current operation (< 300 $\mu$A) and most remain below 35 $\mu$T at higher supply current (up to 1.2 mA). The consistent low offsets across the devices imply that the choice of Hall-effect sensor geometry should mainly depend on whether the device is current-biased or voltage-biased and the frequency at which it will operate. This work demonstrates that GaN Hall-effect sensor performance can be improved by adjusting the geometry of the Hall-effect plate specific to its function (e.g., power electronics, navigation, automotive applications).


title: Actively crosslinked microtubule networks: mechanics, dynamics and filament sliding

abstract: Cytoskeletal networks are foundational examples of active matter and central to self-organized structures in the cell. In vivo, these networks are active and heavily crosslinked. Relating their large-scale dynamics to properties of their constituents remains an unsolved problem. Here we study an in vitro system made from microtubules and XCTK2 kinesin motors, which forms an aligned and active gel. Using photobleaching we demonstrate that the gel's aligned microtubules, driven by motors, continually slide past each other at a speed independent of the local polarity. This phenomenon is also observed, and remains unexplained, in spindles. We derive a general framework for coarse graining microtubule gels crosslinked by molecular motors from microscopic considerations. Using the microtubule-microtubule coupling, and force-velocity relationship for kinesin, this theory naturally explains the experimental results: motors generate an active strain-rate in regions of changing polarity, which allows microtubules of opposite polarities to slide past each other without stressing the material.


title: Symmetries of Celestial Amplitudes

abstract: Celestial amplitudes provide holographic imprints of four-dimensional scattering processes in terms of conformal correlation functions on a two-dimensional sphere describing Minkowski space at null infinity. We construct the generators of Poincare and conformal groups in the celestial representation and discuss how these symmetries are manifest in the amplitudes.


title: Crowd Sourcing based Active Learning Approach for Parking Sign Recognition

abstract: Deep learning models have been used extensively to solve real-world problems in recent years. The performance of such models relies heavily on large amounts of labeled data for training. While the advances of data collection technology have enabled the acquisition of a massive volume of data, labeling the data remains an expensive and time-consuming task. Active learning techniques are being progressively adopted to accelerate the development of machine learning solutions by allowing the model to query the data they learn from. In this paper, we introduce a real-world problem, the recognition of parking signs, and present a framework that combines active learning techniques with a transfer learning approach and crowd-sourcing tools to create and train a machine learning solution to the problem. We discuss how such a framework contributes to building an accurate model in a cost-effective and fast way to solve the parking sign recognition problem in spite of the unevenness of the data associated with the fact that street-level images (such as parking signs) vary in shape, color, orientation and scale, and often appear on top of different types of background.


title: ZerNet: Convolutional Neural Networks on Arbitrary Surfaces via Zernike Local Tangent Space Estimation

abstract: In this paper, we propose a novel formulation to extend CNNs to two-dimensional (2D) manifolds using orthogonal basis functions, called Zernike polynomials. In many areas, geometric features play a key role in understanding scientific phenomena. Thus, an ability to codify geometric features into a mathematical quantity can be critical. Recently, convolutional neural networks (CNNs) have demonstrated the promising capability of extracting and codifying features from visual information. However, the progress has been concentrated in computer vision applications where there exists an inherent grid-like structure. In contrast, many geometry processing problems are defined on curved surfaces, and the generalization of CNNs is not quite trivial. The difficulties are rooted in the lack of key ingredients such as the canonical grid-like representation, the notion of consistent orientation, and a compatible local topology across the domain. In this paper, we prove that the convolution of two functions can be represented as a simple dot product between Zernike polynomial coefficients; and the rotation of a convolution kernel is essentially a set of 2-by-2 rotation matrices applied to the coefficients. As such, the key contribution of this work resides in a concise but rigorous mathematical generalization of the CNN building blocks.


title: A System for Automated Image Editing from Natural Language Commands

abstract: This work presents the task of modifying images in an image editing program using natural language written commands. We utilize a corpus of over 6000 image edit text requests to alter real world images collected via crowdsourcing. A novel framework composed of actions and entities to map a user's natural language request to executable commands in an image editing program is described. We resolve previously labeled annotator disagreement through a voting process and complete annotation of the corpus. We experimented with different machine learning models and found that the LSTM, the SVM, and the bidirectional LSTM-CRF joint models are the best to detect image editing actions and associated entities in a given utterance.


title: Numerical Frequency Transfer Function Analysis of a Leaky Integrate-and-Fire Neuron

abstract: This work reports a transfer function-based approach to characterizing the operation of single neuronal cells in terms of the instantaneous frequency of the input and output signals. We adopt the leaky integrate-and-fire model. The transfer relationship is obtained by performing successive numeric-computational simulations and statistical regressions. Several interesting results are reported, including the identification and characterization of linearity in the transfer relationship, as well as the identification of regions in the parameter space characterized by sharper transfer functions. These properties can be used to facilitate simulations under certain circumstances and to validate the model by comparison with biological results.


title: High-Resolution Adiabatic Calorimetry of Supercooled Water

abstract: Liquid water exhibits anomalous behavior in the supercooled region. A popular hypothesis to explain supercooled water's anomalies is the existence of a metastable liquid-liquid transition terminating at a critical point. The hypothesized phase transition is not directly accessible in a bulk experiment because it is expected to occur in "no-man's" region below the kinetic stability limit of the liquid phase at about 235 K, the temperature of homogeneous ice formation. Therefore, verifications of this hypothesis are usually based on extrapolations from the experimentally accessible region. In this work, we present the results of high-resolution adiabatic calorimetry measurements of cold and supercooled liquid water in the range from 294 to 244 K, the lowest temperature of water's supercooling achieved so far in a bulk adiabatic-calorimetry experiment. The resolution of the measurements is also record-high, with the average statistical (random) error of about 0.1 %. The data are consistent with adiabatic-calorimetry measurements of supercooled water earlier reported by Tombari et al. [Chem. Phys Lett., Vol. 300, P. 749 (1999)] but significantly deviate from differential-scanning calorimetry measurements in emulsified water reported by Angell et al. [J. Phys. Chem., Vol. 86, P. 998 (1982)] and by Archer and Carter [J. Phys. Chem B., Vol. 104, P. 8563 (2000)]. Consequences of the new heat-capacity data in interpretation of the nature of water's anomalies are discussed.


title: Centroaffine Duality for Spatial Polygons

abstract: In this paper, we discuss centroaffine geometry of polygons in $3$-space. For a polygon $X$ that is locally convex with respect to an origin together with a transversal vector field $U$, we define the centroaffine dual pair $(Y,V)$ similarly to [6]. We prove that vertices of $(X,U)$ correspond to flattening points for $(Y,V)$ and also that constant curvature polygons are dual to planar polygons. As an application, we give a new proof of a known $4$ flattening points theorem for spatial polygons.


title: Disease Detection in Weakly Annotated Volumetric Medical Images using a Convolutional LSTM Network

abstract: We explore a solution for learning disease signatures from weakly, yet easily obtainable, annotated volumetric medical imaging data by analyzing 3D volumes as a sequence of 2D images. We demonstrate the performance of our solution in the detection of emphysema in lung cancer screening low-dose CT images. Our approach utilizes convolutional long short-term memory (LSTM) to "scan" sequentially through an imaging volume for the presence of disease in a portion of scanned region. This framework allowed effective learning given only volumetric images and binary disease labels, thus enabling training from a large dataset of 6,631 un-annotated image volumes from 4,486 patients. When evaluated in a testing set of 2,163 volumes from 2,163 patients, our model distinguished emphysema with area under the receiver operating characteristic curve (AUC) of .83. This approach was found to outperform 2D convolutional neural networks (CNN) implemented with various multiple-instance learning schemes (AUC=0.69-0.76) and a 3D CNN (AUC=.77).


title: Constraints on Neutrino Lifetime from the Sudbury Neutrino Observatory

abstract: The long baseline between the Earth and the Sun makes solar neutrinos an excellent test beam for exploring possible neutrino decay. The signature of such decay would be an energy-dependent distortion of the traditional survival probability which can be fit for using well-developed and high precision analysis methods. Here a model including neutrino decay is fit to all three phases of $^8$B solar neutrino data taken by the Sudbury Neutrino Observatory. This fit constrains the lifetime of neutrino mass state $\nu_2$ to be ${>8.08\times10^{-5}}$ s/eV at $90\%$ confidence. An analysis combining this SNO result with those from other solar neutrino experiments results in a combined limit for the lifetime of mass state $\nu_2$ of ${>1.04\times10^{-3}}$ s/eV at $99\%$ confidence.


title: On $4$-dimensional Lorentzian affine hypersurfaces with an almost symplectic form

abstract: In this paper we study $4$-dimensional affine hypersurfaces with a Lorentzian second fundamental form additionally equipped with an almost symplectic structure $\omega$. We prove that the rank of the shape operator is at most one if $R^k\cdot \omega=0$ or $\nabla^k\omega=0$ for some positive integer $k$. This result is the final step in a classification of Lorentzian affine hypersurfaces with higher order parallel almost symplectic forms.


title: Search for Tri-Nucleon Decay in the Majorana Demonstrator

abstract: The Majorana Demonstrator is an ultra low-background experiment searching for neutrinoless double-beta decay in $^{76}$Ge. The heavily shielded array of germanium detectors, placed nearly a mile underground at the Sanford Underground Research Facility in Lead, South Dakota, also allows searches for new exotic physics. We present the first limits for tri-nucleon decay-specific modes and invisible decay modes for Ge isotopes. We find a half-life limit of $4.9 \times 10^{25}$ yr for the decay $^{76}{\rm Ge(ppn)} \to {}^{73}{\rm Zn}\ e^+\pi^+$ and $4.7\times10^{25}$ yr for the decay $^{76}{\rm Ge(ppp)} \to ^{73}{\rm Cu}\ e^+\pi^+\pi^+$. The half-life limit for the invisible tri-proton decay mode of $^{76}$Ge was found to be $7.5\times10^{24}$ yr.


title: Statistical Model Checking based Analysis of Biological Networks

abstract: We introduce a framework for analyzing ordinary differential equation (ODE) models of biological networks using statistical model checking (SMC). A key aspect of our work is the modeling of single-cell variability by assigning a probability distribution to intervals of initial concentration values and kinetic rate constants. We propagate this distribution through the system dynamics to obtain a distribution over the set of trajectories of the ODEs. This in turn opens the door for performing statistical analysis of the ODE system's behavior. To illustrate this we first encode quantitative data and qualitative trends as bounded linear time temporal logic (BLTL) formulas. Based on this we construct a parameter estimation method using an SMC-driven evaluation procedure applied to the stochastic version of the behavior of the ODE system. We then describe how this SMC framework can be generalized to hybrid automata by exploiting the given distribution over the initial states and the--much more sophisticated--system dynamics to associate a Markov chain with the hybrid automaton. We then establish a strong relationship between the behaviors of the hybrid automaton and its associated Markov chain. Consequently, we sample trajectories from the hybrid automaton in a way that mimics the sampling of the trajectories of the Markov chain. This enables us to verify approximately that the Markov chain meets a BLTL specification with high probability. We have applied these methods to ODE based models of Toll-like receptor signaling and the crosstalk between autophagy and apoptosis, as well as to systems exhibiting hybrid dynamics including the circadian clock pathway and cardiac cell physiology. We present an overview of these applications and summarize the main empirical results. These case studies demonstrate that the our methods can be applied in a variety of practical settings.


title: Concentration inequalities for bounded functionals via generalized log-Sobolev inequalities

abstract: In this paper we prove multilevel concentration inequalities for bounded functionals $f = f(X_1, \ldots, X_n)$ of random variables $X_1, \ldots, X_n$ that are either independent or satisfy certain logarithmic Sobolev inequalities. The constants in the tail estimates depend on the operator norms of $k$-tensors of higher order differences of $f$. We provide applications in both dependent and independent random variables. This includes deviation inequalities for empirical processes $f(X) = \sup_{g \in \mathcal{F}} \lvert g(X) \rvert$ and suprema of homogeneous chaos in bounded random variables in the Banach space case given by $f(X) = \sup_{t} \lVert \sum_{i_1 \neq \ldots \neq i_d} t_{i_1 \ldots i_d} X_{i_1} \cdots X_{i_d}\rVert_{\mathcal{B}}$. The latter application is comparable to earlier results of Boucheron-Bousquet-Lugosi-Massart and provides the upper tail bounds of Talagrand. In the case of Rademacher random variables, we give an interpretation of the results in terms of quantities familiar in Boolean analysis. Further applications are concentration inequalities for $U$-statistics with bounded kernels $h$ and for the number of triangles in an exponential random graph model.


title: Universal cluster size distribution in a system of randomly spaced particles

abstract: The distribution function of particles over clusters is proposed for a system of identical intersecting spheres, the centres of which are uniformly distributed in space. Consideration is based on the concept of the rank number of clusters, where the rank is assigned to clusters according to the cluster sizes. Distribution is universal in the sense that it does not depend on boundary conditions and is valid for infinite medium. The form of the distribution function is determined by only one parameter, equal to the ratio of the sphere radius (`interaction radius') to the average distance between the centres of the spheres. This parameter plays also a role of the order parameter. It is revealed under what conditions the universal distribution behaves like well known log-normal distribution. Applications of the proposed distribution to some realistic physical situations, which are close to the conditions of the gas condensation to liquid, are considered.


title: A Single Time-Scale Stochastic Approximation Method for Nested Stochastic Optimization

abstract: We study constrained nested stochastic optimization problems in which the objective function is a composition of two smooth functions whose exact values and derivatives are not available. We propose a single time-scale stochastic approximation algorithm, which we call the Nested Averaged Stochastic Approximation (NASA), to find an approximate stationary point of the problem. The algorithm has two auxiliary averaged sequences (filters) which estimate the gradient of the composite objective function and the inner function value. By using a special Lyapunov function, we show that NASA achieves the sample complexity of ${\cal O}(1/\epsilon^{2})$ for finding an $\epsilon$-approximate stationary point, thus outperforming all extant methods for nested stochastic approximation. Our method and its analysis are the same for both unconstrained and constrained problems, without any need of batch samples for constrained nonconvex stochastic optimization. We also present a simplified variant of the NASA method for solving constrained single level stochastic optimization problems, and we prove the same complexity result for both unconstrained and constrained problems.


title: The Influence of the Dynamic State of Galaxy Clusters on Segregation Phenomena and Velocity Dispersion Profiles

abstract: In this work we investigate the influence of the dynamic state of galaxy clusters on segregation effects and velocity dispersion profiles (VDPs) for a sample of 111 clusters extracted from SDSS-DR7. We find that 73 clusters have Gaussian (G) velocity distribution and 38 clusters have a complex or non-Gaussian (NG) velocity distribution. We also split the G and NG samples into 'active' and 'passive' galaxies, according to their sSFRs and stellar masses. Our results indicate a strong spatial segregation between active and passive galaxies both in G and NG systems, with passive galaxies being more central. We also found that the passive population in G systems is the only family with lower velocity dispersions for the brightest galaxies ($M_r \lesssim -22.75$), thus presenting velocity segregation with luminosity. The similarity found between the VDPs of the galaxy populations in NG systems indicate that these sets probably share a similar mix of orbits. We also found a clear evolutionary trend for G systems, with brighter galaxies in richer clusters having flatter VDPs. The scenario emerging from this study suggests a direct relationship between segregation effects, VDPs and the dynamic state of clusters.


title: Interplay of dynamical and explicit chiral symmetry breaking effects on a quark

abstract: The relative contributions of explicit and dynamical chiral symmetry breaking in QCD models of the quark-gap equation are studied in dependence of frequently employed ans\"atze for the dressed interaction and quark-gluon vertex. The explicit symmetry breaking contributions are defined by a constituent-quark sigma term whereas the combined effects of explicit and dynamical symmetry breaking are described by a Euclidean constituent-mass solution. We extend this study of the gap equation to a quark-gluon vertex beyond the Abelian approximation complemented with numerical gluon- and ghost-dressing functions from lattice QCD. We find that the ratio of the sigma term over the Euclidean mass is largely independent of nonperturbative interaction and vertex models for current-quark masses, $m_{u,d}(\mu) \leq m(\mu) \leq m_b(\mu)$, and equal contributions of explicit and dynamical chiral symmetry breaking occur at $m(\mu) \approx 400$~MeV. For massive solutions of the gap equation with lattice propagators this value decreases to about 200~MeV.


title: LEAF: A Benchmark for Federated Settings

abstract: Modern federated networks, such as those comprised of wearable devices, mobile phones, or autonomous vehicles, generate massive amounts of data each day. This wealth of data can help to learn models that can improve the user experience on each device. However, the scale and heterogeneity of federated data presents new challenges in research areas such as federated learning, meta-learning, and multi-task learning. As the machine learning community begins to tackle these challenges, we are at a critical time to ensure that developments made in these areas are grounded with realistic benchmarks. To this end, we propose LEAF, a modular benchmarking framework for learning in federated settings. LEAF includes a suite of open-source federated datasets, a rigorous evaluation framework, and a set of reference implementations, all geared towards capturing the obstacles and intricacies of practical federated environments.


title: Antiferromagnetic self-ordering of a Fermi gas in a ring cavity

abstract: We explore the density and spin self-ordering of driven spin-$1/2$ collisionless fermionic atoms coupled to the electromagnetic fields of a ring resonator. The two spin states are two-photon Raman-coupled via a pair of degenerate counterpropagating cavity modes and two transverse pump fields. In this one-dimensional configuration the coupled atom-field system possesses a continuous $U(1)$ translational symmetry and a discrete $\mathbf{Z}_2$ spin inversion symmetry. At half filling for sufficiently strong pump strengths, the combined $U(1)\times \mathbf{Z}_2$ symmetry is spontaneously broken at the onset of a superradiant phase transition to a state with self-ordered density and spin structures. We predominately find an antiferromagnetic lattice order at the cavity wavelength. The self-ordered states exhibit unexpected positive momentum pair correlations between fermions with opposite spin. These strong cavity-mediated correlations vanish at higher pump strength.


title: R scripting libraries for comparative analysis of the correlation methods to identify factors affecting Mariana Trench formation

abstract: Mariana trench is the deepest place on the Earth. It crosses four tectonic plates of the Pacific Ocean: Mariana, Caroline, Pacific and Philippine. The formation of the trench is caused by the complex interconnection of various environmental factors. The aim of this study was to describe and characterize various impact factors affecting formation of the Mariana trench geomorphology and continental margin environments using R programming language and mathematical algorithms of correlation methods written on R code. To record the system of geological, tectonic, geographic, oceanological and bathymetric features affecting Mariana trench , a combination of statistical methods, GIS and R programming codes were applied. The questions answered are as follows: which factors are the most influencing for the Mariana trench morphology, and to what extend do they affect its development? Is sedimental thickness of the ocean trench basement more important factors for the trench formation comparing to the steepness slope angle and aspect degree? Three methods of computing were tested: Pearson correlation, Spearman correlation, Kendall correlation, numerical correlogram, correlation matrix and cross-correlatios to analyze environmental impact factors. The correlogram matrices are computed and visualized by R scripting libraries. Complex usage of programming tools, mathematical statistics and geospatial analysis enabled to get a differentiated understandings of the hadal environments of the Mariana trench. The results revealed following three types of factors having the highest score: geometric (tg{\deg} slope angle), geologic (sedimental thickness) and tectonic structure. The results furthermore indicated that tectonic plates, sedimental thickness of the trench basement and igneous volcanic areas causing earthquakes play the most essential role in the geomorphology of the trench.


title: On Fr\"oberg-Macaulay conjectures for algebras

abstract: Macaulay's theorem and Fr\"oberg's conjecture deal with the Hilbert function of homogeneous ideals in polynomial rings $S$ over a field $K$. In this short note we present some questions related to variants of Macaulay's theorem and Fr\"oberg's conjecture for $K$-subalgebras of polynomial rings. In details, given a subspace $V$ of forms of degree $d$ we consider the $K$-subalgebra $K[V]$ of $S$ generated by $V$. What can be said about Hilbert function of $K[V]$? The analogy with the ideal case suggests several questions. To state them we start by recalling Macaulay's theorem, Fr\"oberg's conjecture and Gotzmann's persistence theorem for ideals. Then we presents the variants for $K$-subalgebras along with some partial results and examples.


title: Automatic Seismic Salt Interpretation with Deep Convolutional Neural Networks

abstract: One of the most crucial tasks in seismic reflection imaging is to identify the salt bodies with high precision. Traditionally, this is accomplished by visually picking the salt/sediment boundaries, which requires a great amount of manual work and may introduce systematic bias. With recent progress of deep learning algorithm and growing computational power, a great deal of efforts have been made to replace human effort with machine power in salt body interpretation. Currently, the method of Convolutional neural networks (CNN) is revolutionizing the computer vision field and has been a hot topic in the image analysis. In this paper, the benefits of CNN-based classification are demonstrated by using a state-of-art network structure U-Net, along with the residual learning framework ResNet, to delineate salt body with high precision. Network adjustments, including the Exponential Linear Units (ELU) activation function, the Lov\'{a}sz-Softmax loss function, and stratified $K$-fold cross-validation, have been deployed to further improve the prediction accuracy. The preliminary result using SEG Advanced Modeling (SEAM) data shows good agreement between the predicted salt body and manually interpreted salt body, especially in areas with weak reflections. This indicates the great potential of applying CNN for salt-related interpretations.


title: Machine Learning for Yield Curve Feature Extraction: Application to Illiquid Corporate Bonds

abstract: This paper studies an application of machine learning in extracting features from the historical market implied corporate bond yields. We consider an example of a hypothetical illiquid fixed income market. After choosing a surrogate liquid market, we apply the Denoising Autoencoder (DAE) algorithm to learn the features of the missing yield parameters from the historical data of the instruments traded in the chosen liquid market. The DAE algorithm is then challenged by two "point-in-time" inpainting algorithms taken from the image processing and computer vision domain. It is observed that, when tested on unobserved rate surfaces, the DAE algorithm exhibits superior performance thanks to the features it has learned from the historical shapes of yield curves.


title: Predicting future stock market structure by combining social and financial network information

abstract: We demonstrate that future market correlation structure can be predicted with high out-of-sample accuracy using a multiplex network approach that combines information from social media and financial data. Market structure is measured by quantifying the co-movement of asset prices returns, while social structure is measured as the co-movement of social media opinion on those same assets. Predictions are obtained with a simple model that uses link persistence and link formation by triadic closure across both financial and social media layers. Results demonstrate that the proposed model can predict future market structure with up to a 40\% out-of-sample performance improvement compared to a benchmark model that assumes a time-invariant financial correlation structure. Social media information leads to improved models for all settings tested, particularly in the long-term prediction of financial market structure. Surprisingly, financial market structure exhibited higher predictability than social opinion structure.


title: Tidal Coulomb Failure Stresses in the northern Andean intermediate depth seismic clusters: implications for a possible correlation between tides and seismicity

abstract: A recent statistical analysis of the relationship between tides and seismic activity in Colombia has suggested the existence of correlation anomalies for the case of intermediate depth events in the Bucaramanga nest and the Cauca cluster (Moncayo et al., 2019). In this work, we explore in detail the hypothesis that tides may be triggering seismic activity in these regions and extend the analysis to two other seismic clusters in northern-central South America, specifically in the areas of El Puyo (Ecuador) and Pucallpa (Peru). For this purpose, we use the available focal mechanism information for seismic events at these locations, and calculate for each event the Tidal Coulomb Failure Stress (TCFS) as obtained from estimations of the tidal strain tensor. Tidal strains are computed considering the Earth body tides and the effect of the ocean tidal loading. Since our purpose is to elucidate the role of tides in earthquake nucleation, calculations of the TCFS are conducted not only for the time of earthquake, but also for the time of the closest maximum strain within a window of a few hours before the events. Our results tend to support the hypothesis that tidal stresses are contributing to earthquake generation in all the studied areas; this trend is especially stronger when TCFS are calculated at pre-earthquake times. The physical explanation for the positive contribution of tides to earthquake triggering in intermediate depth clusters may lie in the fact that a wide diversity of fault plane orientations is possible within a relatively small volume of subducted lithosphere, so making the tides more likely to help loosening up the blocks at the fault plane to promote slip.


title: Correspondence Analysis of Government Expenditure Patterns

abstract: We analyze expenditure patterns of discretionary funds by Brazilian congress members. This analysis is based on a large dataset containing over $7$ million expenses made publicly available by the Brazilian government. This dataset has, up to now, remained widely untouched by machine learning methods. Our main contributions are two-fold: (i) we provide a novel dataset benchmark for machine learning-based efforts for government transparency to the broader research community, and (ii) introduce a neural network-based approach for analyzing and visualizing outlying expense patterns. Our hope is that the approach presented here can inspire new machine learning methodologies for government transparency applicable to other developing nations.


title: Improving Traffic Safety Through Video Analysis in Jakarta, Indonesia

abstract: This project presents the results of a partnership between the Data Science for Social Good fellowship, Jakarta Smart City and Pulse Lab Jakarta to create a video analysis pipeline for the purpose of improving traffic safety in Jakarta. The pipeline transforms raw traffic video footage into databases that are ready to be used for traffic analysis. By analyzing these patterns, the city of Jakarta will better understand how human behavior and built infrastructure contribute to traffic challenges and safety risks. The results of this work should also be broadly applicable to smart city initiatives around the globe as they improve urban planning and sustainability through data science approaches.


title: Classifying Diophantine parallelepipeds

abstract: By examining the 3 surface angles which exist at any of the 8 vertices of a Diophantine parallelepiped, and classifying them by the appearance of a right angle, it is discovered that 5 unique classes of Diophantine parallelepipeds exist. It is proposed to name these classes: acute (triclinic), obtuse (triclinic), 1-ortho (biclinic), 2-ortho (monoclinic), and rectangular, according to the count of rights angles which may exist. A Diophantine analysis of the 83 possible rational components of the piped reveals that only 27 rationality checks need to be made when examining for rationality; such as skew triangles, body or face parallelograms, face diagonals, body diagonals, and volume. A computer search of 1,981,336,681 tetrahedrons with 6 rational face diagonals uncovers interesting examples of pipeds, including the perfect parallelepiped of Sawyer-Reiter (and 5 others), and the rectangular integer cuboid. Other interesting pipeds were also discovered in the 115 unique categories which the computer searches revealed. Some questions, conjectures and possible studies are provided at the conclusion.


title: TorchProteinLibrary: A computationally efficient, differentiable representation of protein structure

abstract: Predicting the structure of a protein from its sequence is a cornerstone task of molecular biology. Established methods in the field, such as homology modeling and fragment assembly, appeared to have reached their limit. However, this year saw the emergence of promising new approaches: end-to-end protein structure and dynamics models, as well as reinforcement learning applied to protein folding. For these approaches to be investigated on a larger scale, an efficient implementation of their key computational primitives is required. In this paper we present a library of differentiable mappings from two standard dihedral-angle representations of protein structure (full-atom representation "$\phi,\psi,\omega,\chi$" and backbone-only representation "$\phi,\psi,\omega$") to atomic Cartesian coordinates. The source code and documentation can be found at https://github.com/lupoglaz/TorchProteinLibrary.


title: Ramanujan's theta functions and linear combinations of four triangular numbers

abstract: Let $\Bbb Z$ and $\Bbb Z^+$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in\Bbb Z^+$ let $t(a,b,c,d;n)$ be the number of representations of $n$ by $ax(x+1)/2+by(y+1)/2+cz(z+1)/2+dw(w+1)/2$ $(x,y,z,w\in\Bbb Z)$. In this paper, by using Ramanujan's theta functions $\varphi(q)$ and $\psi(q)$ we present many formulas and conjectures on $t(a,b,c,d;n)$.


title: Quantum simulation: From basic principles to applications

abstract: Envisioned by Richard Feynman in the early 1980s, quantum simulation has received dramatic impetus thanks to the development of a variety of plateforms able to emulate a wide class of quantum Hamiltonians. During the past decade, most of the quantum simulators have implemented rather well-known models, hence permitting a direct comparison with theoretical calculations and a precise benchmarking of their reliability. The field has now reached a maturity such that one can address difficult problems, which cannot be solved efficiently using classical algorithms. These advances provide unprecedented opportunities to explore previously unreachable fields, test theoretical predictions, and inspire novel approaches. This contribution is an introduction to quantum simulation. It is published as a forward to the special issue on Quantum Simulation of the Comptes-Rendus de Physique of the French Academy of Sciences.


title: Some ribbon elements for the quasi-Hopf algebra $D^\omega(H)$

abstract: We construct an explicit isomorphism between the quasitriangular quasi-Hopf algebra $D^\omega(H)$ defined in \cite{bp} and a certain quantum double quasi-Hopf algebra. We give also new characterizations for a quasitriangular quasi-Hopf algebra to be ribbon and use them to construct some ribbon elements for $D^\omega(H)$.


title: An Indel-Resistant Error-Correcting Code for DNA-Based Information Storage

abstract: Synthetic DNA can in principle be used for the archival storage of arbitrary data. Because errors are introduced during DNA synthesis, storage, and sequencing, an error-correcting code (ECC) is necessary for error-free recovery of the data. Previous work has utilized ECCs that can correct substitution errors, but not insertion or deletion errors (indels), instead relying on sequencing depth and multiple alignment to detect and correct indels -- in effect an inefficient multiple-repetition code. This paper describes an ECC, termed "HEDGES", that corrects simultaneously for substitutions, insertions, and deletions in a single read. Varying code rates allow for correction of up to ~10% nucleotide errors and achieve 50% or better of the estimated Shannon limit.


title: Melting of a two-dimensional monodisperse cluster crystal to a cluster liquid

abstract: Monodisperse ensembles of particles that have cluster crystalline phases at low temperatures can model a number of physical systems, such as vortices in type-1.5 superconductors, colloidal suspensions and cold atoms. In this work we study a two-dimensional cluster-forming particle system interacting via an ultrasoft potential. We present a simple mean-field characterization of the cluster-crystal ground state, corroborating with Monte Carlo simulations for a wide range of densities. The efficiency of several Monte Carlo algorithms are compared and the challenges of thermal equilibrium sampling are identified. We demonstrate that the liquid to cluster-crystal phase transition is of first order and occurs in a single step, and the liquid phase is a cluster liquid.


title: Exploring galaxy evolution with generative models

abstract: Context. Generative models open up the possibility to interrogate scientific data in a more data-driven way. Aims: We propose a method that uses generative models to explore hypotheses in astrophysics and other areas. We use a neural network to show how we can independently manipulate physical attributes by encoding objects in latent space. Methods: By learning a latent space representation of the data, we can use this network to forward model and explore hypotheses in a data-driven way. We train a neural network to generate artificial data to test hypotheses for the underlying physical processes. Results: We demonstrate this process using a well-studied process in astrophysics, the quenching of star formation in galaxies as they move from low-to high-density environments. This approach can help explore astrophysical and other phenomena in a way that is different from current methods based on simulations and observations.


title: On learning with shift-invariant structures

abstract: We describe new results and algorithms for two different, but related, problems which deal with circulant matrices: learning shift-invariant components from training data and calculating the shift (or alignment) between two given signals. In the first instance, we deal with the shift-invariant dictionary learning problem while the latter bears the name of (compressive) shift retrieval. We formulate these problems using circulant and convolutional matrices (including unions of such matrices), define optimization problems that describe our goals and propose efficient ways to solve them. Based on these findings, we also show how to learn a wavelet-like dictionary from training data. We connect our work with various previous results from the literature and we show the effectiveness of our proposed algorithms using synthetic, ECG signals and images.


title: Tracking Sparse mmWave Channel under Time Varying Multipath Scatterers

abstract: Due to severe signal attenuation at millimeter-wave (mmWave) frequencies large antenna arrays are required at both base station and user equipment to achieve necessary beamfoming gain and compensate for the signal power loss. The initial access and beamforming algorithms are typically designed assuming sparsity of mmWave channels, resulting from a very few significant multipath clusters, and considering fixed locations of terminals and scatterers. Channel tracking algorithms have been proposed to account for channel variations due to user mobility. Existing works did not consider mobility of the scatterers, which adds new challenges and opportunities into a channel tracking problem. In this work, we consider a more realistic assumption of mobile scatterers and their impact on channel tracking algorithms. We propose a novel channel tracking algorithm that takes into account the dynamics of cluster evolution, and adaptively tracks channel parameters with the objective to reduce training overhead. We also propose a simple implementation of aperiodic tracking to accommodate tracking to different channel variations. We analyze the performance of the proposed tracking algorithm under highly dynamic channels, and compare it to existing channel tracking algorithms with respect to tracking accuracy, achievable rate, and required training overhead, when aperiodic and periodic trackings are used.


title: Multipole moments and universal relations for scalarized neutron stars

abstract: In recent years there has been a surge of interest in what has come to be known as the `universal relations' between various global properties of neutron stars. These universal relations are equation of state independent relations between quantities such as the moment of inertia $I$, the tidal deformability or Love number $\lambda$, and the quadrupole $Q$ (I-Love-Q relations), or the relativistic multipole moments (3-hair relations). While I-Love-Q relations have been studied extensively in both general relativity and various alternatives, 3-hair relations have been studied only in general relativity. Recent progress on the definition of the multipole moments of a compact object in the case of scalar-tensor theories allows for the study of 3-hair relations in modified theories of gravity. Specifically, the aim of this work is to study them for scalarized stars in scalar-tensor theories with a massless scalar field that admit spontaneous scalarization. We find that the 3-hair relations between the mass and angular momentum moments that hold in general relativity hold for scalarized stars as well. The scalar moments also exhibit a universal behaviour, which is equation of state independent within one specific theory, but differs between different theories. Combining astrophysical observations one can in principle measure the different properties of scalarized neutron star and tell different theories apart.


title: Tidal Disruptions of Stars by Binary Black Holes: Modifying the Spin Magnitudes and Directions of LIGO Sources in Dense Stellar Environments

abstract: Binary black holes (BBHs) appear to be widespread and are able to merge through the emission of gravitational waves, as recently illustrated by LIGO. The spin of the BBHs is one of the parameters that LIGO can infer from the gravitational wave signal and can be used to constrain their production site. If BBHs are assembled in stellar clusters they are likely to interact with stars, which could occasionally lead to a tidal disruption event (TDE). When a BBH tidally disrupts a star it can accrete a significant fraction of the debris, effectively altering the spins of the BHs. Therefore, although dynamically formed BBHs are expected to have random spin orientations, tidal stellar interactions can significantly alter their birth spins both in direction and magnitude. Here we investigate how TDEs by BBHs can affect the properties of the BH members as well as exploring the characteristics of the resulting electromagnetic signatures. We conduct hydrodynamic simulations with a Lagrangian Smoothed Particle Hydrodynamics code of a wide range of representative tidal interactions. We find that both spin magnitude and orientation can be altered and temporarily aligned or anti-aligned through accretion of stellar debris, with a significant dependence on the mass ratio of the disrupted star and the BBH members. These tidal interactions feed material to the BBH at very high accretion rates, with the potential to launch a relativistic jet. The corresponding beamed emission is a beacon to an otherwise quiescent BBH.


title: On Relative Entropy and Global Index

abstract: Certain duality of relative entropy can fail for chiral conformal net with nontrivial representations. In this paper we quantify such statement by defining a quantity which measures the failure of such duality, and identify this quantity with relative entropy and global index associated with multi-interval subfactors for a large class of conformal nets. In particular we show that the duality holds for a large class of conformal nets if and only if they are holomorphic. The same argument also applies to CFT in two dimensions. In particular we show that the duality holds for a large class of CFT in two dimensions if and only if they are modular invariant. We also obtain various limiting properties of relative entropies which naturally follow from our formula.


title: Challenges in materials and devices for Resistive-Switching-based Neuromorphic Computing

abstract: This tutorial describes challenges and possible avenues for the implementation of the components of a solid-state system, which emulates a biological brain. The tutorial is devoted mostly to a charge-based (i.e. electric controlled) implementation using transition metal oxides materials, which exhibit unique properties that emulate key functionalities needed for this application. In the Introduction, we compare the main differences between a conventional computational machine, based on the Turing-von Neumann paradigm, to a Neuromorphic machine, which tries to emulate important functionalities of a biological brain. We also describe the main electrical properties of biological systems, which would be useful to implement in a charge-based system. In Chapter II, we describe the main components of a possible solid-state implementation. In Chapter III, we describe a variety of Resistive Switching phenomena, which may serve as the functional basis for the implementation of key devices for Neuromorphic computing. In Chapter IV we describe why transition metal oxides, are promising materials for future Neuromorphic machines. Theoretical models describing different resistive switching mechanisms are discussed in Chapter V while existing implementations are described in Chapter VI. Chapter VII presents applications to practical problems. We list in Chapter VIII important basic research challenges and open issues. We discuss issues related to specific implementations, novel materials, devices and phenomena. The development of reliable, fault tolerant, energy efficient devices, their scaling and integration into a Neuromorphic computer may bring us closer to the development of a machine that rivals the brain.


title: Spin-Liquid-Like State in Pure and Mn-Doped TbInO3 with Nearly Triangular Lattice

abstract: Inelastic neutron scattering studies in single crystals of TbInO3 and TbIn0.95Mn0.05O3 with nearly-triangular antiferromagnetic lattice are reported. At low energies, a broad and apparently gapless continuum of magnetic excitations, located at the triangular lattice (TL) Brillouin zone boundary, is observed. The data are well described by the uncorrelated nearest-neighbor valence bonds model. At higher energies, a broad excitation branch dispersing from the TL zone boundary is observed. No signs of static magnetic order are found down to the temperatures two orders of magnitude smaller than the effective interaction energy. The fluctuating magnetic moment exceeds two thirds of the Tb3+ free-ion value and is confined to the TL plane. These observations are consistent with a TL-based spin liquid state in TbInO3.


title: Macroscopic irreversibility and decay to kinetic equilibrium of the 1-body PDF for finite hard-sphere systems

abstract: The conditions for the occurrence of the so-called macroscopic irreversibility property and the related phenomenon of decay to kinetic equilibrium which may characterize the 1-body probability density function (PDF) associated with hard-sphere systems are investigated. The problem is set in the framework of the axiomatic "ab initio" theory of classical statistical mechanics developed recently and the related establishment of an exact kinetic equation realized by the Master equation for the same kinetic PDF. As shown in the paper the task involves the introduction of a suitable functional of the 1-body PDF, identified here with the Master kinetic information. It is then proved that, provided the same PDF is prescribed in terms of suitably-smooth, i.e., stochastic, solution of the Master kinetic equation, the two properties indicated above are indeed realized.


title: Negative differential conductance effect and electrical anisotropy of 2D ZrB2 monolayers

abstract: Two-dimensional (2D) metal-diboride ZrB2 monolayers was predicted theoretically as a stable new electronic material [A. Lopez-Bezanilla, Phys. Rev. Mater., 2018, 2, 011002 (R)]. Here, we investigate its electronic transport properties along the zigzag (z-ZrB2) and armchair (a-ZrB2) directions, using the density functional theory and non-equilibrium Green's function methods. Under low biases, the 2D ZrB2 shows a similar electrical transport along zigzag and armchair directions as electric current propagates mostly via the metallic Zr-Zr bonds. However, it shows an electrical anistropy under high biases, and its I-V curves along zigzag and armchair directions diverge as the bias voltage is higher than 1.4 V, as more directional B-B transmission channels are opened. Importantly, both z-ZrB2 and a-ZrB2 show a pronounced negative differential conductance (NDC) effect and hence they can be promising for the use in NDC-based nanodevices.


title: ORACLE: Optimized Radio clAssification through Convolutional neuraL nEtworks

abstract: This paper describes the architecture and performance of ORACLE, an approach for detecting a unique radio from a large pool of bit-similar devices (same hardware, protocol, physical address, MAC ID) using only IQ samples at the physical layer. ORACLE trains a convolutional neural network (CNN) that balances computational time and accuracy, showing 99\% classification accuracy for a 16-node USRP X310 SDR testbed and an external database of $>$100 COTS WiFi devices. Our work makes the following contributions: (i) it studies the hardware-centric features within the transmitter chain that causes IQ sample variations; (ii) for an idealized static channel environment, it proposes a CNN architecture requiring only raw IQ samples accessible at the front-end, without channel estimation or prior knowledge of the communication protocol; (iii) for dynamic channels, it demonstrates a principled method of feedback-driven transmitter-side modifications that uses channel estimation at the receiver to increase differentiability for the CNN classifier. The key innovation here is to intentionally introduce controlled imperfections on the transmitter side through software directives, while minimizing the change in bit error rate. Unlike previous work that imposes constant environmental conditions, ORACLE adopts the `train once deploy anywhere' paradigm with near-perfect device classification accuracy.