title: SDSS IV MaNGA -- Metallicity and ionisation parameter in local star-forming galaxies from Bayesian fitting to photoionisation models

abstract: We measured gas-phase metallicity, ionisation parameter and dust extinction for 1795 representative local star-forming galaxies using integral field spectroscopy from the SDSS-IV MaNGA survey. We self-consistently derive these quantities by comparing observed line fluxes with photoionisation models using a Bayesian framework. We also present the first comprehensive study of the [SIII]$\lambda\lambda$9069,9532 nebular lines, which have long been predicted to be ideal tracers of the ionisation parameter. Unfortunately, we find that current photoionisation models substantially over-predict [SIII] lines intensity, while broadly reproducing other observed optical line ratios. We discuss how to nonetheless make use of the information provided by [SIII] lines by setting a prior on the ionisation parameter. Following this approach, we derive spatially-resolved maps and radial profiles of metallicity and ionisation parameter. The metallicity radial profiles are comparable with previous works, with metallicity declining toward the outer parts and a flattening in the central regions, in agreement with infall models of galaxy formation, that predict that spiral discs build up through accretion of material, which leads to an inside-out growth. On the other hand, ionisation parameter radial profiles are flat for low-mass galaxies, while their slope becomes positive as galaxy mass increases. However, the ionisation parameter maps we obtain are clumpy, especially for low-mass galaxies. Ionisation parameter is tightly correlated with the H$\alpha$ equivalent width [EW(H$\alpha$)], following a nearly universal relation, which we attribute to the change of the spectral shape of ionising sources due to ageing of HII regions. We derive a positive correlation between ionisation parameter and metallicity at fixed EW(H$\alpha$), in disagreement with previous theoretical works expecting an anti-correlation.


title: Development of the magnetism in the solid solution of the candidate Weyl semimetals Ce$_x$Pr$_{1-x}$AlGe

abstract: We investigate the macroscopic and microscopic physical properties of the solid solution of Ce$_{1-x}$Pr$_{x}$AlGe. The series tunes from CeAlGe with its multi-$\vec{k}$ structure and a major Moment in the ab-plane, to PrAlGe with an easy-c-axis ferromagnetic ground state co-existing with a low density of nanoscale textured magnetic Domain walls. Using AC-, DC-susceptiblity, resistivity, specific heat, muon spin relaxation/rotation and neutron scattering we analyze the magnetic ground state of the series. We provide further evidence supporting our previous claim for spin-glass like properties in pure PrAlGe. With introduction of Pr to CeAlGe the finite magnetic field required to stabilize the topological multi-$\vec{k}$ magnetic phase for $x=0$ becomes suppressed. The crossover between the two end-member ground states occurs in the vicinity of $x=0.3$, a region where we further anticipate the field-induced topological magnetic phase for $x < 0.3$ to become the zero field ground state.


title: Using Simulation to Analyze Interrupted Time Series Designs

abstract: We are sometimes forced to use the Interrupted Time Series (ITS) design as an identification strategy for potential policy change, such as when we only have a single treated unit and no comparable controls. For example, with recent county- and state-wide criminal justice reform efforts, where judicial bodies have changed bail setting practices for everyone in their jurisdiction in order to reduce rates of pre-trial detention while maintaining court order and public safety, we have no natural comparison group other than the past. In these contexts, it is imperative to model pre-policy trends with a light touch, allowing for structures such as autoregressive departures from any pre-existing trend, in order to accurately and realistically assess the statistical uncertainty of our projections (beyond the stringent assumptions necessary for the subsequent causal inferences). To tackle this problem we provide a methodological approach rooted in commonly understood and used modeling approaches that better captures uncertainty. We quantify uncertainty with simulation, generating a distribution of plausible counterfactual trajectories to compare to the observed; this approach naturally allows for incorporating seasonality and other time varying covariates, and provides confidence intervals along with point estimates for the potential impacts of policy change. We find simulation provides a natural framework to capture and show uncertainty in the ITS designs. It also allows for easy extensions such as nonparametric smoothing in order to handle multiple post-policy time points or more structural models to account for seasonality.


title: Multiple Metric Learning for Structured Data

abstract: We address the problem of merging graph and feature-space information while learning a metric from structured data. Existing algorithms tackle the problem in an asymmetric way, by either extracting vectorized summaries of the graph structure or adding hard constraints to feature-space algorithms. Following a different path, we define a metric regression scheme where we train metric-constrained linear combinations of dissimilarity matrices. The idea is that the input matrices can be pre-computed dissimilarity measures obtained from any kind of available data (e.g. node attributes or edge structure). As the model inputs are distance measures, we do not need to assume the existence of any underlying feature space. Main challenge is that metric constraints (especially positive-definiteness and sub-additivity), are not automatically respected if, for example, the coefficients of the linear combination are allowed to be negative. Both positive and sub-additive constraints are linear inequalities, but the computational complexity of imposing them scales as O(D3), where D is the size of the input matrices (i.e. the size of the data set). This becomes quickly prohibitive, even when D is relatively small. We propose a new graph-based technique for optimizing under such constraints and show that, in some cases, our approach may reduce the original computational complexity of the optimization process by one order of magnitude. Contrarily to existing methods, our scheme applies to any (possibly non-convex) metric-constrained objective function.


title: ACCORDION: Clustering and Selecting Relevant Data for Guided Network Extension and Query Answering

abstract: Querying new information from knowledge sources, in general, and published literature, in particular, aims to provide precise and quick answers to questions raised about a system under study. In this paper, we present ACCORDION (Automated Clustering Conditional On Relating Data of Interactions tO a Network), a novel tool and a methodology to enable efficient answering of biological questions by automatically assembling new, or expanding existing models using published literature. Our approach integrates information extraction and clustering with simulation and formal analysis to allow for an automated iterative process that includes assembling, testing and selecting the most relevant models, given a set of desired system properties. We applied our methodology to a model of the circuitry that con-trols T cell differentiation. To evaluate our approach, we compare the model that we obtained, using our automated model extension approach, with the previously published manually extended T cell differentiation model. Besides demonstrating automated and rapid reconstruction of a model that was previously built manually, ACCORDION can assemble multiple models that satisfy desired properties. As such, it replaces large number of tedious or even imprac-tical manual experiments and guides alternative hypotheses and interventions in biological systems.


title: Risk Sensitive Rendezvous Algorithm for Heterogeneous Agents in Urban Environments

abstract: Demand for fast and inexpensive parcel deliveries in urban environments has risen considerably in recent years. A framework is envisioned to enforce efficient last mile delivery in urban environments by leveraging a network of ride-sharing vehicles, where Unmanned Aerial Systems (UASs) drop packages on said vehicles which then cover the majority of the distance to finally be picked up by another UAS for delivery. This approach presents many engineering challenges, including the safe rendezvous of both agents: the UAS and the human-operated ground vehicle. In this paper, we introduce a framework to minimize the risk of failure, while allowing for optimal usage of the controlled agent. We formulate a compact fast planner to drive a UAS to a passive ground vehicle with inexact behavior, while providing intuitive and meaningful procedures to guarantee safety with minimal sacrifice of optimality. The resulting algorithm is shown to be fast and implementable in real-time via numerical tests.


title: An overview of the balanced excited random walk

abstract: The balanced excited random walk, introduced by Benjamini, Kozma and Schapira in $2011$, is defined as a discrete time stochastic process in $\mathbb Z^d$, depending on two integer parameters $1\le d_1,d_2\le d$, which whenever it is at a site $x\in\mathbb Z^d$ at time $n$, it jumps to $x\pm e_i$ with uniform probability, where $e_1,\ldots,e_d$ are the canonical vectors, for $1\le i\le d_1$, if the site $x$ was visited for the first time at time $n$, while it jumps to $x\pm e_i$ with uniform probability, for $1+d-d_2\le i\le d$, if the site $x$ was already visited before time $n$. Here we give an overview of this model when $d_1+d_2=d$ and introduce and study the cases when $d_1+d_2>d$. In particular, we prove that for all the cases $d\ge 5$ and most cases $d=4$, the balanced excited random walk is transient.


title: The OTELO survey. III. Demography, morphology, IR luminosity and environment of AGN hosts

abstract: We take advantage of the capabilities of the OTELO survey to select and study the AGN population in the field. We performed an analysis of the properties of these objects, including their demography, morphology, and IR luminosity. Focusing on the population of H$\alpha$ emitters at $z \sim 0.4$, we also aim to study the environments of AGN and non-AGN galaxies at that redshift. We make use of the multiwavelength catalog of objects in the field compiled by the OTELO survey, unique in terms of minimum line flux and equivalent width. The OTELO pseudo-spectra allow the identification of emission lines and the spectral classification of the sources. We obtained a sample of 72 AGNs in the field of OTELO, selected with four different methods in the optical, X-rays, and mid-infrared bands. We find that using X-rays is the most efficient way to select AGNs. An analysis was performed on the AGN population of OTELO in order to characterize its members. At $z \sim 0.4$, we find that up to 26\% of our H$\alpha$ emitters are AGNs. At that redshift, AGNs are found in identical environments to non-AGNs, although they represent the most clustered group when compared to passive and star-forming galaxies. The majority of our AGNs at any redshift were classified as late-type galaxies, including a 16\% proportion of irregulars. Another 16\% of AGNs show signs of interactions or mergers. Regarding the infrared luminosity, we are able to recover all the luminous infrared galaxies (LIRGs) in the field of OTELO up to $z\sim 1.6$. We find that the proportion of LIRGs and ultra-luminous infrared galaxies (ULIRGs) is higher among the AGN population, and that ULIRGs show a higher fraction of AGNs than LIRGs.


title: Periodic Fast Radio Bursts with Neutron Star Free/Radiative Precession

abstract: The CHIME/FRB collaboration recently reported the detection of a 16 day periodicity in the arrival times of radio bursts from FRB 180916.J0158+65. We study the possibility that the observed periodicity arises from free precession of a magnetized neutron star, and put constraints on different components of the star's magnetic fields. Using a simple geometric model, where radio bursts are emitted from a rotating neutron star magnetosphere, we show that the emission pattern as a function of time can match that observed from FRB 180916.J0158+65.


title: Multi-objective Ranking via Constrained Optimization

abstract: In this paper, we introduce an Augmented Lagrangian based method to incorporate the multiple objectives (MO) in a search ranking algorithm. Optimizing MOs is an essential and realistic requirement for building ranking models in production. The proposed method formulates MO in constrained optimization and solves the problem in the popular Boosting framework -- a novel contribution of our work. Furthermore, we propose a procedure to set up all optimization parameters in the problem. The experimental results show that the method successfully achieves MO criteria much more efficiently than existing methods.


title: Quantum probes for universal gravity corrections

abstract: We address estimation of the minimum length arising from gravitational theories. In particular, we provide bounds on precision and assess the use of quantum probes to enhance the estimation performances. At first, we review the concept of minimum length and show how it induces a perturbative term appearing in the Hamiltonian of any quantum system, which is proportional to a parameter depending on the minimum length. We then systematically study the effects of this perturbation on different state preparations for several 1-dimensional systems, and we evaluate the Quantum Fisher Information in order to find the ultimate bounds to the precision of any estimation procedure. Eventually, we investigate the role of dimensionality by analysing the use of two-dimensional square well and harmonic oscillator systems to probe the minimal length. Our results show that quantum probes are convenient resources, providing potential enhancement in precision. Additionally, our results provide a set of guidelines to design possible future experiments to detect minimal length.


title: Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles

abstract: We propose a novel external indoor positioning system that computes the position and orientation of multiple model-scale vehicles. For this purpose, we use a camera mounted at a height of 3.3m and LEDs attached to each vehicle. We reach an accuracy of about 1.1 cm for the position and around 0.6 {\deg} for the orientation in the mean. Our system is real-time capable with a soft deadline of 20 ms. Moreover, it is robust against changing lighting conditions and reflections.


title: Planet formation: key mechanisms and global models

abstract: Models of planet formation are built on underlying physical processes. In order to make sense of the origin of the planets we must first understand the origin of their building blocks. This review comes in two parts. The first part presents a detailed description of six key mechanisms of planet formation: 1) The structure and evolution of protoplanetary disks 2) The formation of planetesimals 3) Accretion of protoplanets 4) Orbital migration of growing planets 5) Gas accretion and giant planet migration 6) Resonance trapping during planet migration. While this is not a comprehensive list, it includes processes for which our understanding has changed in recent years or for which key uncertainties remain. The second part of this review shows how global models are built out of planet formation processes. We present global models to explain different populations of known planetary systems, including close-in small/low-mass planets (i.e., super-Earths), giant exoplanets, and the Solar System's planets. We discuss the different sources of water on rocky exoplanets, and use cosmochemical measurements to constrain the origin of Earth's water. We point out the successes and failings of different models and how they may be falsified. Finally, we lay out a path for the future trajectory of planet formation studies.


title: Subspace foliations and collapse of closed flat manifolds

abstract: We study relations between certain totally geodesic foliations of a closed flat manifold and its collapsed Gromov-Hausdorff limits. Our main results explicitly identify such collapsed limits as flat orbifolds, and provide algebraic and geometric criteria to determine whether they are singular.


title: FastMinors package for Macaulay2

abstract: In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a given rank in a provided matrix (when present), verifying that a ring is regular in codimension n, recursively computing the ideals of minors in a matrix, and finding an upper bound of the projective dimension of a module.


title: Quantum Chaos of Unitary Fermi Gases in Strong Pairing Fluctuation Region

abstract: The growth rate of the out-of-time-ordered correlator in a N-flavor Fermi gas is investigated and the Lyapunove exponent $\lambda_L$ is calculated to the order of $1/N$. We find that the Lyapunove exponent monotonically increases as the the interaction strength increases from the BCS limit to the unitary region. At the unitarity the Lyapunove exponent increases while the temperature drops and it can reach to the order of $\lambda_L\sim T$ around the critical temperature for the $N=1$ case. The system scrambles faster for stronger pairing fluctuations. At the BCS limit, the Lyapunov exponent behaviors as $\lambda_L\propto e^{\mu/T} a^2_s T^2/N$.


title: An Exploratory Study of Code Smells in Web Games

abstract: With the continuous growth of the internet market, games are becoming more and more popular worldwide. However, increased market competition for game demands developers to write more efficient games in terms of performance, security, and maintenance. The continuous evolution of software systems and its increasing complexity may result in bad design decisions. Researchers analyzed the cognitive, behavioral and social effects of games. Also, gameplay and game mechanics have been a research area to enhance game playing, but to the extent of our knowledge, there hardly exists any research work that studies the bad coding practices in game development. Hence, through our study, we try to analyze and identify the presence of bad coding practices called code smells that may cause quality issues in games. To accomplish this, we created a dataset of 361 web games written in JavaScript. On this dataset, we run a JavaScript code smell detection tool JSNose to find the occurrence and distribution of code smell in web games. Further, we did a manual study on 9 web games to find violation of existing game programming patterns. Our results show that existing tools are mostly language-specific and are not enough in the context of games as they were not able to detect the anti-patterns or bad coding practices that are game-specific, motivating the need of game-specific code smell detection tools.


title: The use of Convolutional Neural Networks for signal-background classification in Particle Physics experiments

abstract: The success of Convolutional Neural Networks (CNNs) in image classification has prompted efforts to study their use for classifying image data obtained in Particle Physics experiments. Here, we discuss our efforts to apply CNNs to 2D and 3D image data from particle physics experiments to classify signal from background. In this work we present an extensive convolutional neural architecture search, achieving high accuracy for signal/background discrimination for a HEP classification use-case based on simulated data from the Ice Cube neutrino observatory and an ATLAS-like detector. We demonstrate among other things that we can achieve the same accuracy as complex ResNet architectures with CNNs with less parameters, and present comparisons of computational requirements, training and inference times.


title: Understanding Physical Properties of Young M-dwarfs: NIR spectroscopic studies

abstract: We present here medium resolution (\lambda /\Delta\lambda\sim1200) H- and K-band spectra of M type dwarf stars covering the wavelength range 1.50 - 1.80 {\mu}m and 1.95 - 2.45 {\mu}m. The sample includes 53 dwarf stars (M0V-M7V) from new observations using the TIFR Near-Infrared Spectrometer and Imager (TIRSPEC) instrument on the 2-m Himalayan Chandra Telescope (HCT). Using interferometrically-measured effective temperature (T_{eff}), radius and luminosity of nearby bright calibrator stars, we have created new empirical relationships among those fundamental parameters and spectral indices. The equivalent widths of H-band spectral features like Mg (1.57 {\mu}m), Al (1.67 {\mu}m) and Mg (1.71 {\mu}m), and the H_{2}O-H index are found to be good indicators of T_{eff}, radius and luminosity and we establish the linear functions using these features relating to those stellar parameters. The root mean squared error (RMSE) of our best fits are 102K, 0.027R_{\sun} and 0.12dex respectively. Using spectral type standards along with known parallaxes, we calibrate both H and K-band H_{2}O indices as a tracer of spectral type and absolute K_{s} magnitude. Metallicities of M-dwarf samples are estimated using the K-band calibration relationships. The mass of M-dwarfs could be determined using the luminosity (L/L_{\sun}) and we establish a new empirical relation for this. We also compare and contrast our results with other similar work from the literature.


title: Estimation of the Epidemic Branching Factor in Noisy Contact Networks

abstract: Many fundamental concepts in network-based epidemic modeling depend on the branching factor, which captures a sense of dispersion in the network connectivity and quantifies the rate of spreading across the network. Moreover, contact network information generally is available only up to some level of error. We study the propagation of such errors to the estimation of the branching factor. Specifically, we characterize the impact of network noise on the bias and variance of the observed branching factor for arbitrary true networks, with examples in sparse, dense, homogeneous and inhomogeneous networks. In addition, we propose a method-of-moments estimator for the true branching factor. We illustrate the practical performance of our estimator through simulation studies and with contact networks observed in British secondary schools and a French hospital.


title: The origin of tail-like structures around protoplanetary disks

abstract: We study the origin of tail-like structures recently detected around the disk of SU Aurigae and several FU~Orionis-type stars. Dynamic protostellar disks featuring ejections of gaseous clumps and quiescent protoplanetary disks experiencing a close encounter with an intruder star were modeled using the numerical hydrodynamics code FEOSAD. Both the gas and dust dynamics were taken into account, including dust growth and mutual friction between the gas and dust components. Only plane-of-the-disk encounters were considered. Ejected clumps produce a unique type of tail that is characterized by a bow-shock shape. Such tails originate from the supersonic motion of ejected clumps through the dense envelope that often surrounds young gravitationally unstable protostellar disks. The ejected clumps either sit at the head of the tail-like structure or disperse if their mass is insufficient to withstand the head wind of the envelope. On the other hand, close encounters with quiescent protoplanetary disks produce three types of the tail-like structure; we define these as pre-collisional, post-collisional, and spiral tails. These tails can in principle be distinguished from one another by particular features of the gas and dust flow in and around them. We find that the brown-dwarf-mass intruders do not capture circumintruder disks during the encounter, while the subsolar-mass intruders can acquire appreciable circumintruder disks with elevated dust-to-gas ratios, which can ease their observational detection. However, this is true only for prograde collisions; the retrograde intruders fail to collect appreciable amounts of gas or dust from the disk of the target. The predicted mass of dust in the model tail-like structures is higher than what was inferred for similar structures in SU~Aur, FU~Ori, and Z~CMa, making their observational detection feasible. Abridged.


title: Type II Finite time blow-up for the three dimensional energy critical heat equation

abstract: We consider the following Cauchy problem for three dimensional energy critical heat equation \begin{equation*} \begin{cases} u_t=\Delta u+u^{5},~&\mbox{ in } \ {\mathbb R}^3 \times (0,T),\\ u(x,0)=u_0(x),~&\mbox{ in } \ {\mathbb R}^3. \end{cases} \end{equation*} We construct type II finite time blow-up solution $u(x,t)$ with the blow-up rates $ \| u\|_{L^\infty} \sim (T-t)^{-k}$, where $ k=1,2,... $. This gives a rigorous proof of the formal computations by Filippas, Herrero and Velazquez \cite{fhv}. This is the first instance of type II finite time blow-up for three dimensional energy critical heat equation.


title: Quantum Limits in Optical Communications

abstract: This tutorial reviews the Holevo capacity limit as a universal tool to analyze the ultimate transmission rates in a variety of optical communication scenarios, ranging from conventional optically amplified fiber links to free-space communication with power-limited optical signals. The canonical additive white Gaussian noise model is used to describe the propagation of the optical signal. The Holevo limit exceeds substantially the standard Shannon limit when the power spectral density of noise acquired in the course of propagation is small compared to the energy of a single photon at the carrier frequency per unit time-bandwidth area. General results are illustrated with a discussion of efficient communication strategies in the photon-starved regime.


title: Unconventional Bio-Inspired Model for Design of Logic Gates

abstract: During the last years, a well studied biological substrate, namely Physarum polycephalum, has been proven efficient on finding appropriate and efficient solutions in hard to solve complex mathematical problems. The plasmodium of P. polycephalum is a single-cell that serves as a prosperous bio-computational example. Consequently, it has been successfully utilized in the past to solve a variety of path problems in graphs and combinatorial problems. In this work, this interesting behaviour is mimicked by a robust unconventional computational model, drawing inspiration from the notion of Cellular and Learning Automata. Namely, we employ principles of Cellular Automata (CAs) enriched with learning capabilities to develop a robust computational model, able of modelling appropriately the aforementioned biological substrate and, thus, capturing its computational capabilities. CAs are very efficient in modelling biological systems and solving scientific problems, owing to their ability of incarnating essential properties of a system where global behaviour arises as an effect of simple components, interacting locally. The resulting computational tool, after combining CAs with learning capabilities, should be appropriate for modelling the behaviour of living organisms. Thus, the inherent abilities and computational characteristics of the proposed bio-inspired model are stressed towards the experimental verification of Physarum's ability to model Logic Gates, while trying to find minimal paths in properly configured mazes with food sources. The presented simulation results for various Logic Gates are found in good agreement, both qualitatively and quantitatively, with the corresponding experimental results, proving the efficacy of this unconventional bio-inspired model and providing useful insights for its enhanced usage in various computing applications.


title: Groupes convexes-cocompacts en rang sup\'erieur

abstract: The convex-cocompact subgroups are central in hyperbolic geometry and more generally in negative curvature. Labourie introduced in 2005 the notion of 'Anosov' subgroup which proves progressively to be the right generalizations of convex-cocompact groups, especially after the works of Kapovich, Leeb and Porti. This expos\'e will review different caracteriations of those groups, emphasizing the parallel (or difference) with the negative curvature, and will give their basic properties.


title: The Efficiency of Human Cognition Reflects Planned Information Processing

abstract: Planning is useful. It lets people take actions that have desirable long-term consequences. But, planning is hard. It requires thinking about consequences, which consumes limited computational and cognitive resources. Thus, people should plan their actions, but they should also be smart about how they deploy resources used for planning their actions. Put another way, people should also "plan their plans". Here, we formulate this aspect of planning as a meta-reasoning problem and formalize it in terms of a recursive Bellman objective that incorporates both task rewards and information-theoretic planning costs. Our account makes quantitative predictions about how people should plan and meta-plan as a function of the overall structure of a task, which we test in two experiments with human participants. We find that people's reaction times reflect a planned use of information processing, consistent with our account. This formulation of planning to plan provides new insight into the function of hierarchical planning, state abstraction, and cognitive control in both humans and machines.


title: Harvesting Ambient RF for Presence Detection Through Deep Learning

abstract: This paper explores the use of ambient radio frequency (RF) signals for human presence detection through deep learning. Using WiFi signal as an example, we demonstrate that the channel state information (CSI) obtained at the receiver contains rich information about the propagation environment. Through judicious pre-processing of the estimated CSI followed by deep learning, reliable presence detection can be achieved. Several challenges in passive RF sensing are addressed. With presence detection, how to collect training data with human presence can have a significant impact on the performance. This is in contrast to activity detection when a specific motion pattern is of interest. A second challenge is that RF signals are complex-valued. Handling complex-valued input in deep learning requires careful data representation and network architecture design. Finally, human presence affects CSI variation along multiple dimensions; such variation, however, is often masked by system impediments such as timing or frequency offset. Addressing these challenges, the proposed learning system uses pre-processing to preserve human motion induced channel variation while insulating against other impairments. A convolutional neural network (CNN) properly trained with both magnitude and phase information is then designed to achieve reliable presence detection. Extensive experiments are conducted. Using off-the-shelf WiFi devices, the proposed deep learning based RF sensing achieves near perfect presence detection during multiple extended periods of test and exhibits superior performance compared with leading edge passive infrared sensors. Comparison with existing RF based human presence detection also demonstrates its robustness in performance, especially when deployed in a completely new environment.


title: Particle response of antenna-coupled TES arrays: results from SPIDER and the lab

abstract: Future mm-wave and sub-mm space missions will employ large arrays of multiplexed Transition Edge Sensor (TES) bolometers. Such instruments must contend with the high flux of cosmic rays beyond our atmosphere that induce "glitches" in bolometer data, which posed a challenge to data analysis from the Planck bolometers. Future instruments will face the additional challenges of shared substrate wafers and multiplexed readout wiring. In this work we explore the susceptibility of modern TES arrays to the cosmic ray environment of space using two data sets: the 2015 long-duration balloon flight of the SPIDER cosmic microwave background polarimeter, and a laboratory exposure of SPIDER flight hardware to radioactive sources. We find manageable glitch rates and short glitch durations, leading to minimal effect on SPIDER analysis. We constrain energy propagation within the substrate through a study of multi-detector coincidences, and give a preliminary look at pulse shapes in laboratory data.


title: The quantum character of buckling instabilities in thin rods

abstract: Here the buckling of inextensible rods due to axial body forces is mapped to 1d, nonrelativistic, time-independent quantum mechanics. Focusing on the pedagogical case of rods confined to 2d, three simple and physically realizable applications of the mapping are given in detail; the quantum counterparts of these are particle in a box, particle in a delta-function well, and particle in a triangular well. A fourth application examines the buckling counterpart of a quantum many-body problem (in the Hartree approximation). Through a fifth application, given in the form of an exercise, the reader can explore the surprising consequences of adding a second transverse dimension to the rod buckling problem and imposing periodic boundary conditions.


title: ACEnet: Anatomical Context-Encoding Network for Neuroanatomy Segmentation

abstract: Segmentation of brain structures from magnetic resonance (MR) scans plays an important role in the quantification of brain morphology. Since 3D deep learning models suffer from high computational cost, 2D deep learning methods are favored for their computational efficiency. However, existing 2D deep learning methods are not equipped to effectively capture 3D spatial contextual information that is needed to achieve accurate brain structure segmentation. In order to overcome this limitation, we develop an Anatomical Context-Encoding Network (ACEnet) to incorporate 3D spatial and anatomical contexts in 2D convolutional neural networks (CNNs) for efficient and accurate segmentation of brain structures from MR scans, consisting of 1) an anatomical context encoding module to incorporate anatomical information in 2D CNNs and 2) a spatial context encoding module to integrate 3D image information in 2D CNNs. In addition, a skull stripping module is adopted to guide the 2D CNNs to attend to the brain. Extensive experiments on three benchmark datasets have demonstrated that our method achieves promising performance compared with state-of-the-art alternative methods for brain structure segmentation in terms of both computational efficiency and segmentation accuracy.


title: What is the function of inter-hemispheric inhibition?

abstract: It is widely supposed that following unilateral brain injury, there arises an asymmetry in inter-hemispheric inhibition which has an adverse influence upon motor control. I argue that this 'inter-hemispheric imbalance' model arises from a fundamental misunderstanding of the roles played by inter-hemispheric (callosal) projections in mammalian brains. Drawing upon a large body of empirical data, derived largely from animal models, and associated theoretical modeling, it is demonstrated that inter-hemispheric projections perform contrast enhancing and integrative functions via mechanisms such as surround/lateral inhibition. The principal functional unit of callosal influence comprises a facilitatory centre and a depressing peripheral zone, that together shape the influence of converging inputs to pyramidal neurons. Inter-hemispheric inhibition is an instance of a more general feature of mammalian neural systems, whereby inhibitory interneurons act not simply to prevent over-excitation but to sculpt the output of specific circuits. The narrowing of the excitatory focus that occurs through crossed surround inhibition is a highly conserved motif of transcallosal interactions in mammalian sensory and motor cortices. A case is presented that the notion of 'inter-hemispheric imbalance' has been sustained, and clinical interventions derived from this model promoted, by erroneous assumptions concerning that revealed by investigative techniques such as transcranial magnetic stimulation (TMS). The alternative perspective promoted by the present analysis, also permits the basis of positive (e.g. post stroke) associations between the structural integrity of transcallosal projections and motor capability to be better understood.


title: Constraining Gravity with Eccentric Gravitational Waves: Projected Upper Bounds and Model Selection

abstract: Gravitational waves allow us to test general relativity in the highly dynamical regime. While current observations have been consistent with waves emitted by quasi-circular binaries, eccentric binaries may also produce detectable signals in the near future with ground- and space-based detectors. We here explore how tests of general relativity scale with the orbital eccentricity of the source during the inspiral of compact objects up to $e \sim 0.8$. We use a new, 3rd post-Newtonian-accurate, eccentric waveform model for the inspiral of compact objects, which is fast enough for Bayesian parameter estimation and model selection, and highly accurate for modeling moderately eccentric inspirals. We derive and incorporate the eccentric corrections to this model induced in Brans-Dicke theory and in Einstein-dilaton-Gauss-Bonnet gravity at leading post-Newtonian order, which suggest a straightforward eccentric extension of the parameterized post-Einsteinian formalism. We explore the upper limits that could be set on the coupling parameters of these modified theories through both a confidence-interval- and Bayes-factor-based approach, using a Markov-Chain Monte Carlo and a trans-dimensional, reversible-jump, Markov-Chain Monte Carlo method. We find projected constraints with signals from sources with $e \sim 0.4$ that are one order of magnitude stronger than that those obtained with quasi-circular binaries in advanced LIGO. In particular, eccentric gravitational waves detected at design sensitivity should be able to constrain the Brans-Dicke coupling parameter $\omega \gtrsim 3300$ and the Gauss-Bonnet coupling parameter $\alpha^{1/2} \lesssim 0.5 \; {\rm{km}}$ at 90% confidence. Although the projected constraint on $\omega$ is weaker than other current constraints, the projected constraint on $\alpha^{1/2}$ is 10 times stronger than the current gravitational wave bound.


title: HATS-47b, HATS-48Ab, HATS-49b and HATS-72b: Four Warm Giant Planets Transiting K Dwarfs

abstract: We report the discovery of four transiting giant planets around K dwarfs. The planets HATS-47b, HATS-48Ab, HATS-49b, and HATS-72b have masses of $0.369_{-0.021}^{+0.031}$ $M_{J}$, $0.243_{-0.030}^{+0.022}$ $M_{J}$, $0.353_{-0.027}^{+0.038}$ $M_{J}$ and $0.1254\pm0.0039$ $M_{J}$, respectively, and radii of $1.117\pm0.014$ $R_{J}$, $0.800\pm0.015$ $R_{J}$, $0.765\pm0.013$ $R_{J}$, and $0.7224\pm0.0032$ $R_{J}$, respectively. The planets orbit close to their host stars with orbital periods of $3.9228$ d, $3.1317$ d, $4.1480$ d and $7.3279$ d, respectively. The hosts are main sequence K dwarfs with masses of $0.674_{-0.012}^{+0.016}$ $M_{\odot}$, $0.7279\pm0.0066$ $M_{\odot}$, $0.7133\pm0.0075$ $M_{\odot}$, and $0.7311\pm0.0028$ $M_{\odot}$ and with $V$-band magnitudes of $V = 14.829\pm0.010$, $14.35\pm0.11$, $14.998\pm0.040$ and $12.469\pm0.010$. The Super-Neptune HATS-72b (a.k.a.\ WASP-191b and TOI 294.01) was independently identified as a transiting planet candidate by the HATSouth, WASP and TESS surveys, and we present a combined analysis of all of the data gathered by each of these projects (and their follow-up programs). An exceptionally precise mass is measured for HATS-72b thanks to high-precision radial velocity (RV) measurements obtained with VLT/ESPRESSO, FEROS, HARPS and Magellan/PFS. We also incorporate TESS observations of the warm Saturn-hosting systems HATS-47 (a.k.a. TOI 1073.01), HATS-48A and HATS-49. HATS-47 was independently identified as a candidate by the TESS team, while the other two systems were not previously identified from the TESS data. The RV orbital variations are measured for these systems using Magellan/PFS. HATS-48A has a resolved $5.\!\!^{\prime\prime}4$ neighbor in Gaia~DR2, which is a common-proper-motion binary star companion to HATS-48A with a mass of $0.22$ $M_{\odot}$ and a current projected physical separation of $\sim$1,400 au.


title: Semi-Structured Distributional Regression -- Extending Structured Additive Models by Arbitrary Deep Neural Networks and Data Modalities

abstract: Combining additive models and neural networks allows to broaden the scope of statistical regression and extend deep learning-based approaches by interpretable structured additive predictors at the same time. Existing attempts uniting the two modeling approaches are, however, limited to very specific combinations and, more importantly, involve an identifiability issue. As a consequence, interpretability and stable estimation are typically lost. We propose a general framework to combine structured regression models and deep neural networks into a unifying network architecture. To overcome the inherent identifiability issues between different model parts, we construct an orthogonalization cell that projects the deep neural network into the orthogonal complement of the statistical model predictor. This enables proper estimation of structured model parts and thereby interpretability. We demonstrate the framework's efficacy in numerical experiments and illustrate its special merits in benchmarks and real-world applications.


title: Boltzmann hierarchies for self-interacting warm dark matter scenarios

abstract: We provide a general framework for self-interacting warm dark matter (WDM) in cosmological perturbations, by deriving from first principles a Boltzmann hierarchy which retains certain independence from a particular interaction Lagrangian. We consider elastic interactions among the massive particles, and obtain a hierarchy which is more general than the ones usually obtained for non-relativistic (as for cold DM) or for ultra-relativistic (as for neutrinos) approximations. The more general momentum-dependent kernel integrals in the Boltzmann collision terms, are explicitly calculated for different field-mediator models, including examples of a scalar field (either massive or massless) or a massive vector field. As an application, we study the evolution of the interaction rate per particle under the relaxation time approximation, and assess when a given self-interaction is relevant in comparison with the Hubble expansion rate. Our framework aims to be a useful starting point to evaluate DM self-interaction effects in the linear power spectrum, necessary to then study its evolution all the way to non-linear stages of structure formation, where certain DM interactions were proven to be relevant.


title: Aspects of The First Law of Complexity

abstract: We investigate the first law of complexity proposed in arXiv:1903.04511, i.e., the variation of complexity when the target state is perturbed, in more detail. Based on Nielsen's geometric approach to quantum circuit complexity, we find the variation only depends on the end of the optimal circuit. We apply the first law to gain new insights into the quantum circuits and complexity models underlying holographic complexity. In particular, we examine the variation of the holographic complexity for both the complexity=action and complexity=volume conjectures in perturbing the AdS vacuum with coherent state excitations of a free scalar field. We also examine the variations of circuit complexity produced by the same excitations for the free scalar field theory in a fixed AdS background. In this case, our work extends the existing treatment of Gaussian coherent states to properly include the time dependence of the complexity variation. We comment on the similarities and differences of the holographic and QFT results.


title: Reinforcement-Learning based Portfolio Management with Augmented Asset Movement Prediction States

abstract: Portfolio management (PM) is a fundamental financial planning task that aims to achieve investment goals such as maximal profits or minimal risks. Its decision process involves continuous derivation of valuable information from various data sources and sequential decision optimization, which is a prospective research direction for reinforcement learning (RL). In this paper, we propose SARL, a novel State-Augmented RL framework for PM. Our framework aims to address two unique challenges in financial PM: (1) data heterogeneity -- the collected information for each asset is usually diverse, noisy and imbalanced (e.g., news articles); and (2) environment uncertainty -- the financial market is versatile and non-stationary. To incorporate heterogeneous data and enhance robustness against environment uncertainty, our SARL augments the asset information with their price movement prediction as additional states, where the prediction can be solely based on financial data (e.g., asset prices) or derived from alternative sources such as news. Experiments on two real-world datasets, (i) Bitcoin market and (ii) HighTech stock market with 7-year Reuters news articles, validate the effectiveness of SARL over existing PM approaches, both in terms of accumulated profits and risk-adjusted profits. Moreover, extensive simulations are conducted to demonstrate the importance of our proposed state augmentation, providing new insights and boosting performance significantly over standard RL-based PM method and other baselines.


title: Innovative remotely-controlled bending device for thin silicon and germanium crystals

abstract: Steering of negatively charged particle beams below 1 GeV has demonstrated to be possible with thin bent silicon and germanium crystals. A newly designed mechanical holder was used for bending crystals, since it allows a remotely-controlled adjustment of crystal bending and compensation of unwanted torsion. Bent crystals were installed and tested at the MAMI Mainz MIcrotron to achieve steering of 0.855-GeV electrons at different bending radii. We report the description and characterization of the innovative bending device developed at INFN Laboratori Nazionali di Legnaro (LNL).


title: Power-Expected-Posterior Priors as Mixtures of g-Priors

abstract: One of the main approaches used to construct prior distributions for objective Bayes methods is the concept of random imaginary observations. Under this setup, the expected-posterior prior (EPP) offers several advantages, among which it has a nice and simple interpretation and provides an effective way to establish compatibility of priors among models. In this paper, we study the power-expected posterior prior as a generalization to the EPP in objective Bayesian model selection under normal linear models. We prove that it can be represented as a mixture of $g$-prior, like a wide range of prior distributions under normal linear models, and thus posterior distributions and Bayes factors are derived in closed form, keeping therefore computational tractability. Comparisons with other mixtures of $g$-prior are made and emphasis is given in the posterior distribution of g and its effect on Bayesian model selection and model averaging.


title: Third order parametric downconversion: a stimulated approach

abstract: We study the process of seeded, or stimulated, third-order parametric down-conversion, as an extension of our previous work on spontaneous parametric downconversion (TOSPDC). We present general expressions for the spectra and throughputs expected for the cases where the seed field or fields overlap either only one or two of the TOSPDC modes, and also allow for both pump and seed to be either monochromatic or pulsed. We present a numerical study for a particular source design, showing that doubly-overlapped seeding can lead to a considerably greater generated flux as compared with singly-overlapped seeding. We furthermore show that doubly-overlapped seeding permits stimulated emission tomography for the reconstruction of the three-photon TOSPDC joint spectral intensity. We hope that our work will guide future experimental efforts based on the process of third-order parametric downconversion.


title: Improving S&P stock prediction with time series stock similarity

abstract: Stock market prediction with forecasting algorithms is a popular topic these days where most of the forecasting algorithms train only on data collected on a particular stock. In this paper, we enriched the stock data with related stocks just as a professional trader would have done to improve the stock prediction models. We tested five different similarities functions and found co-integration similarity to have the best improvement on the prediction model. We evaluate the models on seven S&P stocks from various industries over five years period. The prediction model we trained on similar stocks had significantly better results with 0.55 mean accuracy, and 19.782 profit compare to the state of the art model with an accuracy of 0.52 and profit of 6.6.


title: Economic complexity of prefectures in Japan

abstract: Every nation prioritizes the inclusive economic growth and development of all regions. However, we observe that economic activities are clustered in space, which results in a disparity in per-capita income among different regions. A complexity-based method was proposed by Hidalgo and Hausmann [PNAS 106, 10570-10575 (2009)] to explain the large gaps in per-capita income across countries. Although there have been extensive studies on countries' economic complexity using international export data, studies on economic complexity at the regional level are relatively less studied. Here, we study the industrial sector complexity of prefectures in Japan based on the basic information of more than one million firms. We aggregate the data as a bipartite network of prefectures and industrial sectors. We decompose the bipartite network as a prefecture-prefecture network and sector-sector network, which reveals the relationships among them. Similarities among the prefectures and among the sectors are measured using a metric. From these similarity matrices, we cluster the prefectures and sectors using the minimal spanning tree technique.The computed economic complexity index from the structure of the bipartite network shows a high correlation with macroeconomic indicators, such as per-capita gross prefectural product and prefectural income per person. We argue that this index reflects the present economic performance and hidden potential of the prefectures for future growth.


title: Deep Learning for Financial Applications : A Survey

abstract: Computational intelligence in finance has been a very popular topic for both academia and financial industry in the last few decades. Numerous studies have been published resulting in various models. Meanwhile, within the Machine Learning (ML) field, Deep Learning (DL) started getting a lot of attention recently, mostly due to its outperformance over the classical models. Lots of different implementations of DL exist today, and the broad interest is continuing. Finance is one particular area where DL models started getting traction, however, the playfield is wide open, a lot of research opportunities still exist. In this paper, we tried to provide a state-of-the-art snapshot of the developed DL models for financial applications, as of today. We not only categorized the works according to their intended subfield in finance but also analyzed them based on their DL models. In addition, we also aimed at identifying possible future implementations and highlighted the pathway for the ongoing research within the field.


title: The "higher" status language does not always win: The fall of English in India and the rise of Hindi

abstract: Classical language dynamics explains language shift as a process in which speakers adopt a higher status language in lieu of a lower status language. This is well documented with English having out-competed languages such as Scottish Gaelic, Welsh and Mandarin. The 1961-1991 Indian censuses report a sharp increase in Hindi/English Bilinguals, suggesting that English is on the rise in India - and is out-competing Hindi. However, the 1991 - 2011 data shows that Bilingual numbers have saturated, while Monolingual Hindi speakers continue to rise exponentially. To capture this counter-intuitive dynamic, we propose a novel language dynamics model of interaction between Monolingual Hindi speakers and Hindi/English Bilinguals, which captures the Indian census data of the last 50 years with near perfect accuracy, outperforming the best known language dynamics models from the literature. We thus provide a first example of a lower status language having out competed a higher status language.


title: Transition of University to Prosumer Consortium Energy Model

abstract: The conventional electricity grid system has many critical issues, which could lead to power instability, blackout, and many other issues. One main perspective is to consume the relative amount of distributed renewable energy in the adaptation system. Prosumer Consortium Model in a small community can be one of the solutions to reduce the price of electricity, increase efficiency and provide a better electronification for University, moreover, to solve the frequent blackout of electricity at university level in developing countries. It can be the learning opportunity for the researchers as well as the complementary benefit for the consumers inside university's grid.


title: Gaussian process imputation of multiple financial series

abstract: In Financial Signal Processing, multiple time series such as financial indicators, stock prices and exchange rates are strongly coupled due to their dependence on the latent state of the market and therefore they are required to be jointly analysed. We focus on learning the relationships among financial time series by modelling them through a multi-output Gaussian process (MOGP) with expressive covariance functions. Learning these market dependencies among financial series is crucial for the imputation and prediction of financial observations. The proposed model is validated experimentally on two real-world financial datasets for which their correlations across channels are analysed. We compare our model against other MOGPs and the independent Gaussian process on real financial data.


title: An Improved Wrist Kinematic Model for Human-Robot Interaction

abstract: Human kinematics is of fundamental importance for rehabilitation and assistive robotic systems that physically interact with human. The wrist plays an essential role for dexterous human-robot interaction, but its conventional kinematic model is oversimplified with intrinsic inaccuracies and its biomechanical model is too complicated for robotic applications. In this work, we establish an improved kinematic model of the wrist. In vivo kinematic behavior of the wrist was investigated through noninvasive marker-less optical tracking. Data analysis demonstrated the existence of measurable dynamic axes in carpal rotation, justifying inevitable misalignment between the wrist and robotic representation if using the conventional wrist model. A novel wrist kinematic model was then proposed with rigid body transformation in fusion with a varying prismatic term indicating the dynamic axes location. Accurate and real-time estimation of this term has been achieved through coupled wrist angles with nonlinear regression. The proposed model is not only accurate but also conveniently applicable for translating anatomical behaviors into robotic implementation and functional assessment for precise and dexterous human-robot interaction.


title: The Effect of Network Adoption Subsidies: Evidence from Digital Traces in Rwanda

abstract: Governments spend billions of dollars subsidizing the adoption of different goods. However, it is difficult to gauge whether those goods are resold, or are valued by their ultimate recipients. This project studies a program to subsidize the adoption of mobile phones in one of the poorest countries in the world. Rwanda subsidized the equivalent of 8% of the stock of mobile phones for select rural areas. We analyze the program using 5.3 billion transaction records from the dominant mobile phone network. Transaction records reveal where and how much subsidized handsets were ultimately used, and indicators of resale. Some subsidized handsets drifted from the rural areas where they were allocated to urban centers, but the subsidized handsets were used as much as handsets purchased at retail prices, suggesting they were valued. Recipients are similar to those who paid for phones, but are highly connected to each other. We then simulate welfare effects using a network demand system that accounts for how each person's adoption affects the rest of the network. Spillovers are substantial: 73-76% of the operator revenue generated by the subsidy comes from nonrecipients. We compare the enacted subsidy program to counterfactual targeting based on different network heuristics.


title: Minimaxity and Limits of Risks Ratios of Shrinkage Estimators of a Multivariate Normal Mean in the Bayesian Case

abstract: In this article, we consider two forms of shrinkage estimators of the mean $\theta$ of a multivariate normal distribution $X\sim N_{p}\left(\theta, \sigma^{2}I_{p}\right)$ where $\sigma^{2}$ is unknown. We take the prior law $\theta \sim N_{p}\left(\upsilon, \tau^{2}I_{p}\right)$ and we constuct a Modified Bayes estimator $\delta_{B}^{\ast}$ and an Empirical Modified Bayes estimator $\delta_{EB}^{\ast}$. We are interested in studying the minimaxity and the limits of risks ratios of these estimators, to the maximum likelihood estimator $X$, when $n$ and $p$ tend to infinity.


title: Sampling from Networks: Respondent-Driven Sampling

abstract: Respondent-Driven Sampling (RDS) is a variant of link-tracing, a sampling technique for surveying hard-to-reach communities that takes advantage of community members' social networks to reach potential participants. As a network-based sampling method, RDS is faced with the fundamental problem of sampling from population networks where features such as homophily (the tendency for individuals with similar traits to share social ties) and differential activity (the ratio of the average number of connections by attribute) are sensitive to the choice of a sampling method. Though not clearly described in the RDS literature, many simple methods exist to generate simulated RDS data, with specific levels of network features, where the focus is on estimating simple estimands. However, the accuracy of these methods in their abilities to consistently recover those targeted network features remains unclear. This is also motivated by recent findings that some population network parameters (e.g.~homophily) cannot be consistently estimated from the RDS data alone \citep{Crawford17}. In this paper, we conduct a simulation study to assess the accuracy of existing RDS simulation methods, in terms of their abilities to generate RDS samples with the desired levels of two network parameters: homophily and differential activity. The results show that (1) homophily cannot be consistently estimated from simulated RDS samples and (2) differential activity estimates are more precise when groups, defined by traits, are equally active and equally represented in the population. We use this approach to mimic features of the Engage Study, an RDS sample of gay, bisexual and other men who have sex with men in Montreal.


title: On affine invariant and local Loomis-Whitney type inequalities

abstract: We prove various extensions of the Loomis-Whitney inequality and its dual, where the subspaces on which the projections (or sections) are considered are either spanned by vectors $w_i$ of a not necessarily orthonormal basis of $\mathbb{R}^n$, or their orthogonal complements. In order to prove such inequalities we estimate the constant in the Brascamp-Lieb inequality in terms of the vectors $w_i$. Restricted and functional versions of the inequality will also be considered.


title: Electron Beam-Induced Nanopores in Bernal-Stacked Hexagonal Boron Nitride

abstract: Controlling the size and shape of nanopores in two-dimensional materials is a key challenge in applications such as DNA sequencing, sieving, and quantum emission in artificial atoms. We here investigate experimentally and theoretically triangular vacancies in (unconventional) Bernal-stacked AB-h-BN formed using a high-energy electron beam. Due to the geometric configuration of AB-h-BN, triangular pores in different layers are aligned, and their sizes are controlled by the duration of the electron irradiation. Interlayer covalent bonding at the vacancy edge is not favored, as opposed to what occurs in the more common AA'-stacked BN. A variety of monolayer, concentric and bilayer pores in bilayer AB-h-BN are observed in high-resolution transmission electron microscopy and characterized using ab initio simulations. Bilayer pores in AB-h-BN are commonly formed, and grow without breaking the bilayer character. Nanopores in AB-h-BN exhibit a wide range of electronic properties, ranging from half-metallic to non-magnetic and magnetic semiconducting. Therefore, because of the controllability of the pore size, the electronic structure is also highly controllable in these systems, and can potentially be tuned for particular applications.


title: AnyHLS: High-Level Synthesis with Partial Evaluation

abstract: FPGAs excel in low power and high throughput computations, but they are challenging to program. Traditionally, developers rely on hardware description languages like Verilog or VHDL to specify the hardware behavior at the register-transfer level. High-Level Synthesis (HLS) raises the level of abstraction, but still requires FPGA design knowledge. Programmers usually write pragma-annotated C/C++ programs to define the hardware architecture of an application. However, each hardware vendor extends its own C dialect using its own vendor-specific set of pragmas. This prevents portability across different vendors. Furthermore, pragmas are not first-class citizens in the language. This makes it hard to use them in a modular way or design proper abstractions. In this paper, we present AnyHLS, an approach to synthesize FPGA designs in a modular and abstract way. AnyHLS is able to raise the abstraction level of existing HLS tools by resorting to programming language features such as types and higher-order functions as follows: It relies on partial evaluation to specialize and to optimize the user application based on a library of abstractions. Then, vendor-specific HLS code is generated for Intel and Xilinx FPGAs. Portability is obtained by avoiding any vendor-specific pragmas at the source code. In order to validate achievable gains in productivity, a library for the domain of image processing is introduced as a case study, and its synthesis results are compared with several state-of-theart Domain-Specific Language (DSL) approaches for this domain.


title: Hierarchical Overlapping Belief Estimation by Structured Matrix Factorization

abstract: Much work on social media opinion polarization focuses on a flat categorization of stances (or orthogonal beliefs) of different communities from media traces. We extend in this work in two important respects. First, we detect not only points of disagreement between communities, but also points of agreement. In other words, we estimate community beliefs in the presence of overlap. Second, in lieu of flat categorization, we consider hierarchical belief estimation, where communities might be hierarchically divided. For example, two opposing parties might disagree on core issues, but within a party, despite agreement on fundamentals, disagreement might occur on further details. We call the resulting combined problem a hierarchical overlapping belief estimation problem. To solve it, this paper develops a new class of unsupervised Non-negative Matrix Factorization (NMF) algorithms, we call Belief Structured Matrix Factorization (BSMF). Our proposed unsupervised algorithm captures both the latent belief intersections and dissimilarities, as well as a hierarchical structure. We discuss the properties of the algorithm and evaluate it on both synthetic and real-world datasets. In the synthetic dataset, our model reduces error by 40%. In real Twitter traces, it improves accuracy by around 10%. The model also achieves 96.08% self-consistency in a sanity check.


title: Compensation of Linear Attacks to Cyber Physical Systems through ARX System Identification

abstract: Cyber-Physical Systems (CPSs) are vastly used in today's cities critical infrastructure. The cyber part of these systems usually has a network component through which cyber attacks can be launched. In this paper, we first design an intrusion detection system (IDS) by identifying the plant. We assume the initial operation period of the CPS is attack-free and learn the plant model. Then, we compare the expected output found via the identifier with the real one coming through the feedback link. Any difference greater than a threshold is deemed to be an anomaly. To compensate, once the IDS flags a change in the loop, we restart the system identification to find the new transfer function. With the estimation of the new transfer function at hand, a new controller is designed to keep the system stable. To test the idea, we took a DC motor as the plant and employed ARX identifier. MATLAB Simulink environment was used to test the proposed intrusion detection and compensation framework. We applied a set of deception attacks to the forward channel in our experiments. The obtained results prove that our detection strategy works well and timely reacts to anomalies. Moreover, they show that the compensation strategy is also effective and keeps the system stable under such attacks.


title: Martingale Solution for Stochastic Active Liquid Crystal System

abstract: The global weak martingale solution is built through a four-level approximation scheme to stochastic compressible active liquid crystal system driven by multiplicative noise in a smooth bounded domain in $\mathbb{R}^{3}$ with large initial data. The coupled structure makes the analysis challenging, and more delicate arguments are required in stochastic case compared to the deterministic one \cite{11}.


title: On Learning Meaningful Assert Statements for Unit Test Cases

abstract: Software testing is an essential part of the software lifecycle and requires a substantial amount of time and effort. It has been estimated that software developers spend close to 50% of their time on testing the code they write. For these reasons, a long standing goal within the research community is to (partially) automate software testing. While several techniques and tools have been proposed to automatically generate test methods, recent work has criticized the quality and usefulness of the assert statements they generate. Therefore, we employ a Neural Machine Translation (NMT) based approach called Atlas(AuTomatic Learning of Assert Statements) to automatically generate meaningful assert statements for test methods. Given a test method and a focal method (i.e.,the main method under test), Atlas can predict a meaningful assert statement to assess the correctness of the focal method. We applied Atlas to thousands of test methods from GitHub projects and it was able to predict the exact assert statement manually written by developers in 31% of the cases when only considering the top-1 predicted assert. When considering the top-5 predicted assert statements, Atlas is able to predict exact matches in 50% of the cases. These promising results hint to the potential usefulness ofour approach as (i) a complement to automatic test case generation techniques, and (ii) a code completion support for developers, whocan benefit from the recommended assert statements while writing test code.


title: Semidefinite tests for quantum network topologies

abstract: Quantum networks play a major role in long-distance communication, quantum cryptography, clock synchronization, and distributed quantum computing. Generally, these protocols involve many independent sources sharing entanglement among distant parties that, upon measuring their systems, generate correlations across the network. The question of which correlations a given quantum network can give rise to, remains almost uncharted. Here we show that constraints on the observable covariances, previously derived for the classical case, also hold for quantum networks. The network topology yields tests that can be cast as semidefinite programs, thus allowing for the efficient characterization of the correlations in a wide class of quantum networks, as well as systematic derivations of device-independent and experimentally testable witnesses. We obtain such semidefinite tests for fixed measurement settings, as well as parties that independently choose among collections of measurement settings. The applicability of the method is demonstrated for various networks, and compared with previous approaches.


title: Unidirectional flocks in hydrodynamic Euler Alignment system II: Singular models

abstract: In this note we continue our study of unidirectional solutions to hydrodynamic Euler alignment systems with strongly singular communication kernels $\phi(x):=|x|^{-(n+\alpha)}$ for $\alpha\in(0,2)$. The solutions describe unidirectional parallel motion of agents governing multi-dimensional collective behavior of flocks. Here, we consider the range $1<\alpha<2$ and establish the global regularity of smooth solutions, together with a full description of their long time dynamics. Specifically, we develop the flocking theory of these solutions and show long time convergence to traveling wave with rapidly aligned velocity field.


title: First-principles discovery of stable two-dimensional materials with high-level piezoelectric response

abstract: The rational design of two-dimensional piezoelectric materials has recently garnered great interest due to their increasing use in technological applications, including sensor technology, actuating devices, energy harvesting, and medical applications. Several materials possessing high piezoelectric response have been reported so far, but a high-throughput first-principles approach to estimate the piezoelectric potential of layered materials has not been performed yet. In this study, we systematically investigated the piezoelectric ($e_{11}$, $d_{11}$) and elastic (C$_{11}$ and C$_{12}$) properties of 128 thermodynamically stable two-dimensional (2D) semiconductor materials by employing first-principle methods. Our high-throughput approach demonstrates that the materials containing Group-\textrm{V} elements produce significantly high piezoelectric strain constants, $d_{11}$ $>$ 40 pmV$^{-1}$, and 49 of the materials considered have the $e_{11}$ coefficient higher than MoS$_{2}$ insomuch as BrSSb has one of the largest $d_{11}$ with a value of 373.0 pmV$^{-1}$. Moreover, we established a simple empirical model in order to estimate the $d_{11}$ coefficients by utilizing the relative ionic motion in the unit cell and the polarizability of the individual elements in the compounds.


title: pySiDR: Python Event Reconstruction for SiD

abstract: Event reconstruction in the ILC community has typically relied on algorithms implemented in C++, a fast compiled language. However, the Python package pyLCIO provides a full interface to tracker and calorimeter hits stored in LCIO files, opening up the possibility to implement reconstruction algorithms in a language uniquely well suited to working with large lists of hits built with list comprehensions. Python, an interpreted language which can perform complex tasks with minimal code, also allows seamless integration with powerful machine learning tools developed recently. We discuss pySiDR, a Python package for SiD event reconstruction.


title: Production and measurement of $e^{+}e^{-}\rightarrow c\bar{c}$ signatures at the 250 GeV ILC

abstract: This document discusses for the first time the experimental prospects on the measurement of cross section and the forward-backward asymmetry in $e^{-}e^{+}\rightarrow c\bar{c}$ collisions at 250 GeV at the International Linear Collider operating polarised beams. The cross section will be normalised to the total hadronic cross section. We discuss the results for an analysis assuming the integrated luminosity of 2000 fb$^{-1}$ foreseen in the baseline project. The measurement requires determining the charge of both jets identified as originated by a $c$-quark. The charge measurement is optimally performed using the precise micro-vertex detector of the detector ILD and the charged kaon identification provided by the $\frac{dE}{dx}$ information of its TPC. Thanks to the beam polarisation, we can separate the four independent chirality combinations of the electroweak couplings, enhancing in this way the sensitivity to new physics effects. We show that due to the unprecedented precision that will be achieved by the ILC for these observables, the ILC will be sensitive to the existence of beyond the standard model Randal Sundrum resonances of several tens of TeV.


title: Mass Outflow of the X-ray Emission Line Gas in NGC 4151

abstract: We have analysed Chandra/High Energy Transmission Gratings spectra of the X-ray emission line gas in the Seyfert galaxy NGC 4151. The zeroth order spectral images show extended H- and He-like O and Ne, up to a distance $r \sim$ 200 pc from the nucleus. Using the 1st order spectra, we measure an average line velocity $\sim -230$ km s$^{-1}$, suggesting significant outflow of X-ray gas. We generated Cloudy photoionisation models to fit the 1st order spectra. We required three emission-line components, with column density, log$N_{H}$, and ionisation parameter, log$U$, of 22.5/1.0, 22.5/0.19, and 23.0/-0.50, respectively. To estimate the total mass of ionised gas and the mass outflow rates, we applied the model parameters to fit the zeroth order emission-line profiles of Ne~IX and Ne~X. We determined the total mass of $\approx 5.4 \times$ 10$^{5}$ M_sun. Assuming the same kinematic profile as that for the [O~III] gas, the peak X-ray mass outflow rate was $\approx 1.8$ M_sun yr$^{-1}$, at $r \sim 150$ pc. The total mass and mass outflow rates are similar to those determined using [O~III], implying that the X-ray gas is a major outflow component. However, unlike the optical outflows, the X-ray outflow rate does not drop off at $r >$ 100 pc, which suggests that it may have a greater impact on the host galaxy.


title: Complex a priori bounds for Lorenz maps

abstract: We construct complex a-priori bounds for certain infinitely renormalizable Lorenz maps. As a corollary, we show that renormalization is a real-analytic operator on the corresponding space of Lorenz maps.


title: Online Algorithms for Multi-shop Ski Rental with Machine Learned Advice

abstract: We study the problem of augmenting online algorithms with machine learned (ML) advice. In particular, we consider the \emph{multi-shop ski rental} (MSSR) problem, which is a generalization of the classical ski rental problem. In MSSR, each shop has different prices for buying and renting a pair of skis, and a skier has to make decisions on when and where to buy. We obtain both deterministic and randomized online algorithms with provably improved performance when either a single or multiple ML predictions are used to make decisions. These online algorithms have no knowledge about the quality or the prediction error type of the ML prediction. The performance of these online algorithms are robust to the poor performance of the predictors, but improve with better predictions. Extensive experiments using both synthetic and real world data traces verify our theoretical observations and show better performance against algorithms that purely rely on online decision making.


title: Variational Conditional Dependence Hidden Markov Models for Skeleton-Based Action Recognition

abstract: Hidden Markov Models (HMMs) comprise a powerful generative approach for modeling sequential data and time-series in general. However, the commonly employed assumption of the dependence of the current time frame to a single or multiple immediately preceding frames is unrealistic; more complicated dynamics potentially exist in real world scenarios. This paper revisits conventional sequential modeling approaches, aiming to address the problem of capturing time-varying temporal dependency patterns. To this end, we propose a different formulation of HMMs, whereby the dependence on past frames is dynamically inferred from the data. Specifically, we introduce a hierarchical extension by postulating an additional latent variable layer; therein, the (time-varying) temporal dependence patterns are treated as latent variables over which inference is performed. We leverage solid arguments from the Variational Bayes framework and derive a tractable inference algorithm based on the forward-backward algorithm. As we experimentally show, our approach can model highly complex sequential data and can effectively handle data with missing values.


title: RNA Secondary Structure Prediction By Learning Unrolled Algorithms

abstract: In this paper, we propose an end-to-end deep learning model, called E2Efold, for RNA secondary structure prediction which can effectively take into account the inherent constraints in the problem. The key idea of E2Efold is to directly predict the RNA base-pairing matrix, and use an unrolled algorithm for constrained programming as the template for deep architectures to enforce constraints. With comprehensive experiments on benchmark datasets, we demonstrate the superior performance of E2Efold: it predicts significantly better structures compared to previous SOTA (especially for pseudoknotted structures), while being as efficient as the fastest algorithms in terms of inference time.


title: Picard groupoids and $\Gamma$-categories

abstract: In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are (permutative) Picard groupoids. The main result is that the Segal's nerve functor induces a Quillen equivalence between the two aforementioned model categories. Our main result implies the classical result that Picard groupoids model stable homotopy one-types.


title: Probing nuclear effects with neutrino-induced charged-current neutral pion production

abstract: We study neutrino-induced charged-current (CC) $\pi^0$ production on carbon nuclei using events with fully imaged final-state proton-$\pi^0$ systems. Novel use of final-state correlations based on transverse kinematic imbalance enable the first measurements of the struck nucleon's Fermi motion, of the intranuclear momentum transfer (IMT) dynamics, and of the final-state hadronic momentum configuration in neutrino pion production. Event distributions are presented for i) the momenta of neutrino-struck neutrons below the Fermi surface, ii) the direction of missing transverse momentum characterizing the strength of IMT, and iii) proton-pion momentum imbalance with respect to the lepton scattering plane. The observed Fermi motion and IMT strength are compared to the previous MINERvA measurement of neutrino CC quasielastic-like production. The measured shapes and absolute rates of these distributions, as well as the cross-section asymmetries show tensions with predictions from current neutrino generator models.


title: Effects of surface plasmons on spin currents in a thin film system

abstract: We propose and analyze surface-plasmon-driven electron spin currents in a thin metallic film. The electron gas in the metal follows the transversally rotating electric fields of the surface plasmons (SPs), which leads to a static magnetization gradient. We consider herein SPs in a thin-film insulator-metal-insulator structure and solve the spin diffusion equation in the presence of a magnetization gradient. The results reveal that the SPs at the metal interfaces generate spin currents in the metallic film. For thinner film, the SPs become strongly hybridized, which increases the magnetization gradient and enhances the spin current. We also discuss how the spin current depends on SP wavelength and the spin-diffusion length of the metal. The polarization of the spin current can be controlled by tuning the wavelength of the SPs and/or the spin diffusion length.


title: Hoplite: Efficient and Fault-Tolerant Collective Communication for Task-Based Distributed Systems

abstract: Task-based distributed frameworks (e.g., Ray, Dask, Hydro) have become increasingly popular for distributed applications that contain asynchronous and dynamic workloads, including asynchronous gradient descent, reinforcement learning, and model serving. As more data-intensive applications move to run on top of task-based systems, collective communication efficiency has become an important problem. Unfortunately, traditional collective communication libraries (e.g., MPI, Horovod, NCCL) are an ill fit, because they require the communication schedule to be known before runtime and they do not provide fault tolerance. We design and implement Hoplite, an efficient and fault-tolerant collective communication layer for task-based distributed systems. Our key technique is to compute data transfer schedules on the fly and execute the schedules efficiently through fine-grained pipelining. At the same time, when a task fails, the data transfer schedule adapts quickly to allow other tasks to keep making progress. We apply Hoplite to a popular task-based distributed framework, Ray. We show that Hoplite speeds up asynchronous stochastic gradient descent, reinforcement learning, and serving an ensemble of machine learning models that are difficult to execute efficiently with traditional collective communication by up to 7.8x, 3.9x, and 3.3x, respectively.


title: Point-Set Kernel Clustering

abstract: Measuring similarity between two objects is the core operation in existing clustering algorithms in grouping similar objects into clusters. This paper introduces a new similarity measure called point-set kernel which computes the similarity between an object and a set of objects. The proposed clustering procedure utilizes this new measure to characterize every cluster grown from a seed object. We show that the new clustering procedure is both effective and efficient that enables it to deal with large scale datasets. In contrast, existing clustering algorithms are either efficient or effective. In comparison with the state-of-the-art density-peak clustering and scalable kernel k-means clustering, we show that the proposed algorithm is more effective and runs orders of magnitude faster when applying to datasets of millions of data points, on a commonly used computing machine.


title: High powers of Hamiltonian cycles in randomly augmented graphs

abstract: We investigate the existence of powers of Hamiltonian cycles in graphs with large minimum degree to which some additional edges have been added in a random manner. For all integers $k\geq1$, $r\geq 0$, and $\ell\geq (r+1)r$, and for any $\alpha>\frac{k}{k+1}$ we show that adding $O(n^{2-2/\ell})$ random edges to an $n$-vertex graph $G$ with minimum degree at least $\alpha n$ yields, with probability close to one, the existence of the $(k\ell+r)$-th power of a Hamiltonian cycle. In particular, for $r=1$ and $\ell=2$ this implies that adding $O(n)$ random edges to such a graph $G$ already ensures the $(2k+1)$-st power of a Hamiltonian cycle (proved independently by Nenadov and Truji\'c). In this instance and for several other choices of $k$, $\ell$, and $r$ we can show that our result is asymptotically optimal.


title: Random telegraph signal analysis with a recurrent neural network

abstract: We use an artificial neural network to analyze asymmetric noisy random telegraph signals (RTSs), and extract underlying transition rates. We demonstrate that a long short-term memory neural network can vastly outperform conventional methods, particularly for noisy signals. Our technique gives reliable results as the signal-to-noise ratio approaches one, and over a wide range of underlying transition rates. We apply our method to random telegraph signals generated by a superconducting double dot based photon detector, allowing us to extend our measurement of quasiparticle dynamics to new temperature regimes.


title: Optimal estimation of high-dimensional location Gaussian mixtures

abstract: This paper studies the optimal rate of estimation in a finite Gaussian location mixture model in high dimensions without separation conditions. We assume that the number of components $k$ is bounded and that the centers lie in a ball of bounded radius, while allowing the dimension $d$ to be as large as the sample size $n$. Extending the one-dimensional result of Heinrich and Kahn \cite{HK2015}, we show that the minimax rate of estimating the mixing distribution in Wasserstein distance is $\Theta((d/n)^{1/4} + n^{-1/(4k-2)})$, achieved by an estimator computable in time $O(nd^2+n^{5/4})$. Furthermore, we show that the mixture density can be estimated at the optimal parametric rate $\Theta(\sqrt{d/n})$ in Hellinger distance and provide a computationally efficient algorithm to achieve this rate in the special case of $k=2$. Both the theoretical and methodological development rely on a careful application of the method of moments. Central to our results is the observation that the information geometry of finite Gaussian mixtures is characterized by the moment tensors of the mixing distribution, whose low-rank structure can be exploited to obtain a sharp local entropy bound.


title: Fairness through Experimentation: Inequality in A/B testing as an approach to responsible design

abstract: As technology continues to advance, there is increasing concern about individuals being left behind. Many businesses are striving to adopt responsible design practices and avoid any unintended consequences of their products and services, ranging from privacy vulnerabilities to algorithmic bias. We propose a novel approach to fairness and inclusiveness based on experimentation. We use experimentation because we want to assess not only the intrinsic properties of products and algorithms but also their impact on people. We do this by introducing an inequality approach to A/B testing, leveraging the Atkinson index from the economics literature. We show how to perform causal inference over this inequality measure. We also introduce the concept of site-wide inequality impact, which captures the inclusiveness impact of targeting specific subpopulations for experiments, and show how to conduct statistical inference on this impact. We provide real examples from LinkedIn, as well as an open-source, highly scalable implementation of the computation of the Atkinson index and its variance in Spark/Scala. We also provide over a year's worth of learnings -- gathered by deploying our method at scale and analyzing thousands of experiments -- on which areas and which kinds of product innovations seem to inherently foster fairness through inclusiveness.


title: A Limited-Capacity Minimax Theorem for Non-Convex Games or: How I Learned to Stop Worrying about Mixed-Nash and Love Neural Nets

abstract: Adversarial training, a special case of multi-objective optimization, is an increasingly prevalent machine learning technique: some of its most notable applications include GAN-based generative modeling and self-play techniques in reinforcement learning which have been applied to complex games such as Go or Poker. In practice, a \emph{single} pair of networks is typically trained in order to find an approximate equilibrium of a highly nonconcave-nonconvex adversarial problem. However, while a classic result in game theory states such an equilibrium exists in concave-convex games, there is no analogous guarantee if the payoff is nonconcave-nonconvex. Our main contribution is to provide an approximate minimax theorem for a large class of games where the players pick neural networks including WGAN, StarCraft II, and Blotto Game. Our findings rely on the fact that despite being nonconcave-nonconvex with respect to the neural networks parameters, these games are concave-convex with respect to the actual models (e.g., functions or distributions) represented by these neural networks.


title: Current and future development of the photoionization code Cloudy

abstract: The gas that is present in the interstellar medium is usually very far removed from (local) thermodynamic equilibrium, and in some cases may also not be in a steady-state equilibrium with its surroundings. The physics of this material is complex and one needs a sophisticated numerical code to study it. For this purpose the open-source photoionization code Cloudy was created. It models the physical state of the gas and predicts the spectrum that it emits. Cloudy is continually being developed to improve the treatment of the microphysical processes and the database of fundamental data that it uses. In this paper we will discuss how we are developing the code to improve our high-density predictions by implementing better collisional-radiative models for all ions. We will also briefly discuss the experimental mode in Cloudy to model gas that is not in steady-state equilibrium and present a preliminary model of recombining gas in a planetary nebula that is on the cooling track. We finish with a short discussion of how we are speeding up the code by using parallelization.


title: Frequency-based Search-control in Dyna

abstract: Model-based reinforcement learning has been empirically demonstrated as a successful strategy to improve sample efficiency. In particular, Dyna is an elegant model-based architecture integrating learning and planning that provides huge flexibility of using a model. One of the most important components in Dyna is called search-control, which refers to the process of generating state or state-action pairs from which we query the model to acquire simulated experiences. Search-control is critical in improving learning efficiency. In this work, we propose a simple and novel search-control strategy by searching high frequency regions of the value function. Our main intuition is built on Shannon sampling theorem from signal processing, which indicates that a high frequency signal requires more samples to reconstruct. We empirically show that a high frequency function is more difficult to approximate. This suggests a search-control strategy: we should use states from high frequency regions of the value function to query the model to acquire more samples. We develop a simple strategy to locally measure the frequency of a function by gradient and hessian norms, and provide theoretical justification for this approach. We then apply our strategy to search-control in Dyna, and conduct experiments to show its property and effectiveness on benchmark domains.


title: Molecular jets from low-mass young protostellar objects

abstract: Molecular jets are seen coming from the youngest protostars in the early phase of low-mass star formation. They are detected in CO, SiO, and SO at (sub)millimeter wavelengths down to the innermost regions, where their associated protostars and accretion disks are deeply embedded and where they are launched and collimated. They are not only the fossil records of accretion history of the protostars but also are expected to play an important role in facilitating the accretion process. Studying their physical properties (e.g., mass-loss rate, velocity, rotation, radius, wiggle, molecular content, shock formation, periodical variation, magnetic field, etc) allows us to probe not only the jet launching and collimation, but also the disk accretion and evolution, and potentially binary formation and planetary formation in the disks. Here I review recent exciting results obtained with high-spatial and high-velocity resolution observations of molecular jets in comparison to those obtained in the optical jets in the later phase of star formation. Future observations of molecular jets with a large sample at high spatial and velocity resolution with ALMA are expected to lead to a breakthrough in our understanding of jets from young stars.


title: xGASS: passive disks do not host unexpectedly large reservoirs of cold atomic hydrogen

abstract: We use the extended GALEX Arecibo SDSS Survey (xGASS) to quantify the relationship between atomic hydrogen (HI) reservoir and current star formation rate (SFR) for central disk galaxies. This is primarily motivated by recent claims for the existence, in this sample, of a large population of passive disks harbouring HI reservoirs as large as those observed in main sequence galaxies. Across the stellar mass range 10$^{9}<$M$_{*}$/M$_{\odot}<$10$^{11}$, we practically find no passive ($\gtrsim$2$\sigma$ below the star-forming main sequence) disk galaxies with HI reservoirs comparable to those typical of star-forming systems. Even including HI non detections at their upper limits, passive disks typically have $\geq$0.5 dex less HI than their active counterparts. We show that previous claims are due to the use of aperture-corrected SFR estimates from the MPA/JHU SDSS DR7 catalog, which do not provide a fair representation of the global SFR of HI-rich galaxies with extended star-forming disks. Our findings confirm that the bulk of the passive disk population in the local Universe is HI-poor. These also imply that the reduction of star formation, even in central disk galaxies, has to be accompanied by a reduction in their HI reservoir.


title: An Inductive Bias for Distances: Neural Nets that Respect the Triangle Inequality

abstract: Distances are pervasive in machine learning. They serve as similarity measures, loss functions, and learning targets; it is said that a good distance measure solves a task. When defining distances, the triangle inequality has proven to be a useful constraint, both theoretically--to prove convergence and optimality guarantees--and empirically--as an inductive bias. Deep metric learning architectures that respect the triangle inequality rely, almost exclusively, on Euclidean distance in the latent space. Though effective, this fails to model two broad classes of subadditive distances, common in graphs and reinforcement learning: asymmetric metrics, and metrics that cannot be embedded into Euclidean space. To address these problems, we introduce novel architectures that are guaranteed to satisfy the triangle inequality. We prove our architectures universally approximate norm-induced metrics on $\mathbb{R}^n$, and present a similar result for modified Input Convex Neural Networks. We show that our architectures outperform existing metric approaches when modeling graph distances and have a better inductive bias than non-metric approaches when training data is limited in the multi-goal reinforcement learning setting.


title: Statistical Learning with Conditional Value at Risk

abstract: We propose a risk-averse statistical learning framework wherein the performance of a learning algorithm is evaluated by the conditional value-at-risk (CVaR) of losses rather than the expected loss. We devise algorithms based on stochastic gradient descent for this framework. While existing studies of CVaR optimization require direct access to the underlying distribution, our algorithms make a weaker assumption that only i.i.d.\ samples are given. For convex and Lipschitz loss functions, we show that our algorithm has $O(1/\sqrt{n})$-convergence to the optimal CVaR, where $n$ is the number of samples. For nonconvex and smooth loss functions, we show a generalization bound on CVaR. By conducting numerical experiments on various machine learning tasks, we demonstrate that our algorithms effectively minimize CVaR compared with other baseline algorithms.


title: Deep learning-based classification of high intensity patterns in photorefractive crystals

abstract: In this paper, we establish a new scheme for identification and classification of high intensity events generated by the propagation of light through a photorefractive SBN crystal. Among these events, which are the inevitable consequence of the development of modulation instability, are speckling and soliton-like patterns. The usual classifiers developed on statistical measures, such as the significant intensity, often provide only a partial characterization of these events. Here, we try to overcome this deficiency by implementing the convolution neural network method to relate experimental data of light intensity distribution and corresponding numerical outputs with different high intensity regimes. The train and test sets are formed of experimentally obtained intensity profiles at the crystal output facet and corresponding numerical profiles. The accuracy of detection of speckles reaches maximum value of 100%, while the accuracy of solitons and caustic detection is above 97%. These performances are promising for the creation of neural network based routines for prediction of extreme events in wave media.


title: Observing Strategy for the Legacy Surveys

abstract: The Legacy Surveys, a combination of three ground-based imaging surveys, have mapped 16,000 deg$^2$ in three optical bands ($g$, $r$, and $z$) to a depth 1--$2$~mag deeper than the Sloan Digital Sky Survey (SDSS). Our work addresses one of the major challenges of wide-field imaging surveys conducted at ground-based observatories: the varying depth that results from varying observing conditions at Earth-bound sites. To mitigate these effects, two of the Legacy Surveys (the Dark Energy Camera Legacy Survey, or DECaLS; and the Mayall $z$-band Legacy Survey, or MzLS) employed a unique strategy to dynamically adjust the exposure times as rapidly as possible in response to the changing observing conditions. We present the tiling and observing strategies used by these surveys. We demonstrate that the tiling and dynamic observing strategies jointly result in a more uniform-depth survey that has higher efficiency for a given total observing time compared with the traditional approach of using fixed exposure times.