title: Traveling wave solutions to the free boundary incompressible Navier-Stokes equations

abstract: In this paper we study a finite-depth layer of viscous incompressible fluid in dimension $n \ge 2$, modeled by the Navier-Stokes equations. The fluid is assumed to be bounded below by a flat rigid surface and above by a free, moving interface. A uniform gravitational field acts perpendicularly to the flat surface, and we consider the cases with and without surface tension acting on the free interface. In addition to these gravity-capillary effects, we allow for a second force field in the bulk and an external stress tensor on the free interface, both of which are posited to be in traveling wave form, i.e. time-independent when viewed in a coordinate system moving at a constant velocity parallel to the rigid lower boundary. We prove that, with surface tension in dimension $n \ge 2$ and without surface tension in dimension $n=2$, for every nontrivial traveling velocity there exists a nonempty open set of force and stress data that give rise to traveling wave solutions. While the existence of inviscid traveling waves is well known, to the best of our knowledge this is the first construction of viscous traveling wave solutions. Our proof involves a number of novel analytic ingredients, including: the study of an over-determined Stokes problem and its under-determined adjoint, a delicate asymptotic development of the symbol for a normal-stress to normal-Dirichlet map defined via the Stokes operator, a new scale of specialized anisotropic Sobolev spaces, and the study of a pseudodifferential operator that synthesizes the various operators acting on the free surface functions.


title: Sum-Product Network Decompilation

abstract: There exists a dichotomy between classical probabilistic graphical models, such as Bayesian networks (BNs), and modern tractable models, such as sum-product networks (SPNs). The former generally have intractable inference, but provide a high level of interpretability, while the latter admits a wide range of tractable inference routines, but are typically harder to interpret. Due to this dichotomy, tools to convert between BNs and SPNs are desirable. While one direction -- compiling BNs into SPNs -- is well discussed in Darwiche's seminal work on arithmetic circuit compilation, the converse direction -- decompiling SPNs into BNs -- has received surprisingly little attention. In this paper, we fill this gap by proposing SPN2BN, an algorithm that decompiles an SPN into a BN. SPN2BN has several salient features when compared to the only other two works decompiling SPNs. Most significantly, the BNs returned by SPN2BN are minimal independence-maps that are more parsimonious with respect to the introduction of latent variables. Secondly, the output BN produced by SPN2BN can be precisely characterized with respect to a compiled BN. More specifically, a certain set of directed edges will be added to the input BN, giving what we will call the moral-closure. Lastly, it is established that our compilation-decompilation process is idempotent. This has practical significance as it limits the size of the decompiled SPN.


title: Assessing Practitioner Beliefs about Software Defect Prediction

abstract: Just because software developers say they believe in "X", that does not necessarily mean that "X" is true. As shown here, there exist numerous beliefs listed in the recent Software Engineering literature which are only supported by small portions of the available data. Hence we ask what is the source of this disconnect between beliefs and evidence?. To answer this question we look for evidence for ten beliefs within 300,000+ changes seen in dozens of open-source projects. Some of those beliefs had strong support across all the projects; specifically, "A commit that involves more added and removed lines is more bug-prone" and "Files with fewer lines contributed by their owners (who contribute most changes) are bug-prone". Most of the widely-held beliefs studied are only sporadically supported in the data; i.e. large effects can appear in project data and then disappear in subsequent releases. Such sporadic support explains why developers believe things that were relevant to their prior work, but not necessarily their current work. Our conclusion will be that we need to change the nature of the debate with Software Engineering. Specifically, while it is important to report the effects that hold right now, it is also important to report on what effects change over time.


title: Chart Auto-Encoders for Manifold Structured Data

abstract: Deep generative models have made tremendous advances in image and signal representation learning and generation. These models employ the full Euclidean space or a bounded subset as the latent space, whose flat geometry, however, is often too simplistic to meaningfully reflect the manifold structure of the data. In this work, we advocate the use of a multi-chart latent space for better data representation. Inspired by differential geometry, we propose a \textbf{Chart Auto-Encoder (CAE)} and prove a universal approximation theorem on its representation capability. We show that the training data size and the network size scale exponentially in approximation error with an exponent depending on the intrinsic dimension of the data manifold. CAE admits desirable manifold properties that auto-encoders with a flat latent space fail to obey, predominantly proximity of data. We conduct extensive experimentation with synthetic and real-life examples to demonstrate that CAE provides reconstruction with high fidelity, preserves proximity in the latent space, and generates new data remaining near the manifold. These experiments show that CAE is advantageous over existing auto-encoders and variants by preserving the topology of the data manifold as well as its geometry.


title: Landscape Connectivity and Dropout Stability of SGD Solutions for Over-parameterized Neural Networks

abstract: The optimization of multilayer neural networks typically leads to a solution with zero training error, yet the landscape can exhibit spurious local minima and the minima can be disconnected. In this paper, we shed light on this phenomenon: we show that the combination of stochastic gradient descent (SGD) and over-parameterization makes the landscape of multilayer neural networks approximately connected and thus more favorable to optimization. More specifically, we prove that SGD solutions are connected via a piecewise linear path, and the increase in loss along this path vanishes as the number of neurons grows large. This result is a consequence of the fact that the parameters found by SGD are increasingly dropout stable as the network becomes wider. We show that, if we remove part of the neurons (and suitably rescale the remaining ones), the change in loss is independent of the total number of neurons, and it depends only on how many neurons are left. Our results exhibit a mild dependence on the input dimension: they are dimension-free for two-layer networks and depend linearly on the dimension for multilayer networks. We validate our theoretical findings with numerical experiments for different architectures and classification tasks.


title: Consistent, energy-conserving momentum transport for simulations of two-phase flows using the phase field equations

abstract: Realistic two-phase flow problems of interest often involve high $Re$ flows with high density ratios. Accurate and robust simulation of such problems requires special treatments. In this work, we present a consistent, energy-conserving momentum transport scheme in the context of a second order mass-conserving phase field method. This is achieved by (1) accounting for the mass flux associated with the right-hand-side of the phase field equation in the convective flux of the conservative form of the momentum transport equation---a correction absent in previous phase field simulations (2) utilization of non-dissipative spatial discretization. We demonstrate accuracy and robustness improvements from our proposed scheme via numerical tests, including a turbulent case of a water jet subject to air cross-flow. Our proposed modifications to the momentum transport equation can be quite readily extended to general conservative phase field methods. Additionally, in the framework of this phase field method, we present a free energy-based surface tension force calculation scheme. This scheme, which significantly reduces spurious currents, is based on a general paradigm that can also be extended to other two-phase flow methods.


title: Mining the Automotive Industry: A Network Analysis of Corporate Positioning and Technological Trends

abstract: The digital transformation is driving revolutionary innovations and new market entrants threaten established sectors of the economy such as the automotive industry. Following the need for monitoring shifting industries, we present a network-centred analysis of car manufacturer web pages. Solely exploiting publicly-available information, we construct large networks from web pages and hyperlinks. The network properties disclose the internal corporate positioning of the three largest automotive manufacturers, Toyota, Volkswagen and Hyundai with respect to innovative trends and their international outlook. We tag web pages concerned with topics like e-mobility and environment or autonomous driving, and investigate their relevance in the network. Sentiment analysis on individual web pages uncovers a relationship between page linking and use of positive language, particularly with respect to innovative trends. Web pages of the same country domain form clusters of different size in the network that reveal strong correlations with sales market orientation. Our approach maintains the web content's hierarchical structure imposed by the web page networks. It, thus, presents a method to reveal hierarchical structures of unstructured text content obtained from web scraping. It is highly transparent, reproducible and data driven, and could be used to gain complementary insights into innovative strategies of firms and competitive landscapes, which would not be detectable by the analysis of web content alone.


title: On The Effect Of Code Review On Code Smells

abstract: Code smells are symptoms of poor design quality. Since code review is a process that also aims at improving code quality, we investigate whether and how code review influences the severity of code smells. In this study, we analyze more than 21,000 code reviews belonging to seven Java open-source projects; we find that active and participated code reviews have a significant influence on the likelihood of reducing the severity of code smells. This result seems to confirm the expectations around code review's influence on code quality. However, by manually investigating 365 cases in which the severity of a code smell in a file was reduced with a review, we found that-in 95% of the cases-the reduction was a side effect of changes that reviewers requested on matters unrelated to code smells. Data and materials [https://doi.org/10.5281/zenodo.3588501].


title: Learning for Safety-Critical Control with Control Barrier Functions

abstract: Modern nonlinear control theory seeks to endow systems with properties of stability and safety, and have been deployed successfully in multiple domains. Despite this success, model uncertainty remains a significant challenge in synthesizing safe controllers, leading to degradation in the properties provided by the controllers. This paper develops a machine learning framework utilizing Control Barrier Functions (CBFs) to reduce model uncertainty as it impact the safe behavior of a system. This approach iteratively collects data and updates a controller, ultimately achieving safe behavior. We validate this method in simulation and experimentally on a Segway platform.


title: Isoclinic Subspaces and Quantum Error Correction

abstract: We exhibit equivalent conditions for subspaces of an inner product space to be isoclinic, including a characterization based on the classical notion of canonical angles. We identify a connection with quantum error correction, showing that every quantum error correcting code is associated with a family of isoclinic subspaces, and we prove a converse for pairs of such subspaces. We also show how the canonical angles for isoclinic subspaces arise in the structure of the higher rank numerical ranges of the corresponding orthogonal projections.


title: Flow-induced segregation and dynamics of red blood cells in sickle cell disease

abstract: Blood flow in sickle cell disease (SCD) can substantially differ from normal blood flow due to significant alterations in the physical properties of the red blood cells (RBCs). Chronic complications, such as inflammation of the endothelial cells lining blood vessel walls, are associated with SCD, for reasons that are unclear. Here, detailed boundary integral simulations are performed to investigate an idealized model flow flow in SCD, a binary suspension of flexible biconcave discoidal fluid-filled capsules and stiff curved prolate capsules that represent healthy and sickle RBCs, respectively, subjected to pressure-driven flow in a planar slit. The key observation is that, unlike healthy RBCs that concentrate around the center of the channel and form an RBC-depleted layer (i.e. cell-free layer) next to the walls, sickle cells are largely drained from the bulk of the suspension and aggregate inside the cell-free layer, displaying strong margination. These cells are found to undergo a rigid-body-like rolling orbit near the walls. Furthermore, the additional shear stress on the walls induced by the presence of marginated cells is computed. Compared to the small fluctuations in wall shear stress for a suspension of healthy RBCs, large local peaks in wall shear stress are observed for the binary suspensions, due to the proximity of the marginated stiff cells to the walls. As endothelial cells are known to mechanotransduce physical forces such as aberrations in shear stress and convert them to physiological processes such as activation of inflammatory signals, these results may aid in understanding mechanisms for endothelial dysfunction associated with SCD.


title: Predator-Prey Interactions between Droplets Driven by Nonreciprocal Oil Exchange

abstract: Chemotactic interactions are ubiquitous in nature and can lead to nonreciprocal and complex emergent behavior in multibody systems. Here we show how chemotactic signaling between microscale oil droplets of different chemistries in micellar surfactant solutions can result in predator-prey-like chasing interactions. The interactions and dynamic self-organization result from the net directional, micelle-mediated transport of oil between emulsion droplets of differing composition and are powered by the free energy of mixing. The nonreciprocal behavior occurs in a wide variety of oil and surfactant conditions, and we systematically elucidate chemical design rules for tuning the interactions between droplets by varying oil and surfactant chemical structure and concentration. Through integration of experiment and simulation, we also investigate the active behavior and dynamic reorganization of multi-droplet clusters. Our findings demonstrate how chemically-minimal systems can be designed with controllable, non-reciprocal chemotactic interactions to generate emergent self-organization and collective behaviors reminiscent of biological systems.


title: TentacleNet: A Pseudo-Ensemble Template for Accurate Binary Convolutional Neural Networks

abstract: Binarization is an attractive strategy for implementing lightweight Deep Convolutional Neural Networks (CNNs). Despite the unquestionable savings offered, memory footprint above all, it may induce an excessive accuracy loss that prevents a widespread use. This work elaborates on this aspect introducing TentacleNet, a new template designed to improve the predictive performance of binarized CNNs via parallelization. Inspired by the ensemble learning theory, it consists of a compact topology that is end-to-end trainable and organized to minimize memory utilization. Experimental results collected over three realistic benchmarks show TentacleNet fills the gap left by classical binary models, ensuring substantial memory savings w.r.t. state-of-the-art binary ensemble methods.


title: Achromatic number, achromatic index and diachromatic number of circulant graphs and digraphs

abstract: In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that $\alpha(C_{16q^2+20q+7}(1,2))=8q+5$, and for the diachromatic number we state that $dac(\overrightarrow{C}_{32q^2+24q+5}(1,2))=8q+3$. In general, we give the lower bounds $\alpha(C_{4q^2+aq+1}(1,a))\geq 4q+1$ and $dac(\overrightarrow{C}_{8q^2+2(a+4)q+a+3}(1,a))\geq 4q+3$ when $a$ is a non quadratic residue of $\mathbb{Z}_{4q+1}$ for graphs and $\mathbb{Z}_{4q+3}$ for digraphs, and the equality is attained, in both cases, for $a=3$. Finally, we determine the achromatic index for circulant graphs of $q^2+q+1$ vertices when the projective cyclic plane of odd order $q$ exists.


title: Dissecting Ethereum Blockchain Analytics: What We Learn from Topology and Geometry of Ethereum Graph

abstract: Blockchain technology and, in particular, blockchain-based cryptocurrencies offer us information that has never been seen before in the financial world. In contrast to fiat currencies, all transactions of crypto-currencies and crypto-tokens are permanently recorded on distributed ledgers and are publicly available. As a result, this allows us to construct a transaction graph and to assess not only its organization but to glean relationships between transaction graph properties and crypto price dynamics. The ultimate goal of this paper is to facilitate our understanding on horizons and limitations of what can be learned on crypto-tokens from local topology and geometry of the Ethereum transaction network whose even global network properties remain scarcely explored. By introducing novel tools based on topological data analysis and functional data depth into Blockchain Data Analytics, we show that Ethereum network (one of the most popular blockchains for creating new crypto-tokens) can provide critical insights on price strikes of crypto-tokens that are otherwise largely inaccessible with conventional data sources and traditional analytic methods.


title: Near-wake structure of full-scale vertical-axis wind turbines

abstract: To design and optimize arrays of vertical-axis wind turbines (VAWTs) for maximal power density and minimal wake losses, a careful consideration of the inherently three-dimensional structure of the wakes of these turbines in real operating conditions is needed. Accordingly, a new volumetric particle-tracking velocimetry method was developed to measure three-dimensional flow fields around full-scale VAWTs in field conditions. Experiments were conducted at the Field Laboratory for Optimized Wind Energy (FLOWE) in Lancaster, CA, using six cameras and artificial snow as tracer particles. Velocity and vorticity measurements were obtained for a 2-kW turbine with five straight blades and a 1-kW turbine with three helical blades, each at two distinct tip-speed ratios and at Reynolds numbers based on the rotor diameter $D$ between $1.26 \times 10^6$ and $1.81 \times 10^6$. A tilted wake was observed to be induced by the helical-bladed turbine. By considering the dynamics of vortex lines shed from the rotating blades, the tilted wake was connected to the geometry of the helical blades. Furthermore, the effects of the tilted wake on a streamwise horseshoe vortex induced by the rotation of the turbine were quantified. Lastly, the implications of these dynamics for the recovery of the wake were examined. This study thus establishes a fluid-mechanical connection between the geometric features of a VAWT and the salient three-dimensional flow characteristics of its near-wake region, which can potentially inform both the design of turbines and the arrangement of turbines into highly efficient arrays.


title: Assessing Data Quality of Annotations with Krippendorff Alpha For Applications in Computer Vision

abstract: Current supervised deep learning frameworks rely on annotated data for modeling the underlying data distribution of a given task. In particular for computer vision algorithms powered by deep learning, the quality of annotated data is the most critical factor in achieving the desired algorithm performance. Data annotation is, typically, a manual process where the annotator follows guidelines and operates in a best-guess manner. Labeling criteria among annotators can show discrepancies in labeling results. This may impact the algorithm inference performance. Given the popularity and widespread use of deep learning among computer vision, more and more custom datasets are needed to train neural networks to tackle different kinds of tasks. Unfortunately, there is no full understanding of the factors that affect annotated data quality, and how it translates into algorithm performance. In this paper we studied this problem for object detection and recognition.We conducted several data annotation experiments to measure inter annotator agreement and consistency, as well as how the selection of ground truth impacts the perceived algorithm performance.We propose a methodology to monitor the quality of annotations during the labeling of images and how it can be used to measure performance. We also show that neglecting to monitor the annotation process can result in significant loss in algorithm precision. Through these experiments, we observe that knowledge of the labeling process, training data, and ground truth data used for algorithm evaluation are fundamental components to accurately assess trustworthiness of an AI system.


title: AoA-aware Probabilistic Indoor Location Fingerprinting using Channel State Information

abstract: With expeditious development of wireless communications, location fingerprinting (LF) has nurtured considerable indoor location based services (ILBSs) in the field of Internet of Things (IoT). For most pattern-matching based LF solutions, previous works either appeal to the simple received signal strength (RSS), which suffers from dramatic performance degradation due to sophisticated environmental dynamics, or rely on the fine-grained physical layer channel state information (CSI), whose intricate structure leads to an increased computational complexity. Meanwhile, the harsh indoor environment can also breed similar radio signatures among certain predefined reference points (RPs), which may be randomly distributed in the area of interest, thus mightily tampering the location mapping accuracy. To work out these dilemmas, during the offline site survey, we first adopt autoregressive (AR) modeling entropy of CSI amplitude as location fingerprint, which shares the structural simplicity of RSS while reserving the most location-specific statistical channel information. Moreover, an additional angle of arrival (AoA) fingerprint can be accurately retrieved from CSI phase through an enhanced subspace based algorithm, which serves to further eliminate the error-prone RP candidates. In the online phase, by exploiting both CSI amplitude and phase information, a novel bivariate kernel regression scheme is proposed to precisely infer the target's location. Results from extensive indoor experiments validate the superior localization performance of our proposed system over previous approaches.


title: Theory of Four-Wave Mixing of Cylindrical Vector Beams in Optical Fibers

abstract: Cylindrical vector (CV) beams are a set of transverse spatial modes that exhibit a cylindrically symmetric intensity profile and a variable polarization about the beam axis. They are composed of a non-separable superposition of orbital and spin angular momentum. Critically, CV beams are also the eigenmodes of optical fiber and, as such, are of wide-spread practical importance in photonics and have the potential to increase communications bandwidth through spatial multiplexing. Here, we derive the coupled amplitude equations that describe the four-wave mixing (FWM) of CV beams in optical fibers. These equations allow us to determine the selection rules that govern the interconversion of CV modes in FWM processes. With these selection rules, we show that FWM conserves the total angular momentum, the sum of orbital and spin angular momentum, in the conversion of two input photons to two output photons. When applied to spontaneous four-wave mixing, the selection rules show that photon pairs can be generated in CV modes directly and can be entangled in those modes. Such quantum states of light in CV modes could benefit technologies such as quantum key distribution with satellites.


title: Experimentally Calibrated Kinetic Monte Carlo Model Reproduces Organic Solar Cell Current-Voltage Curve

abstract: Kinetic Monte Carlo (KMC) simulations are a powerful tool to study the dynamics of charge carriers in organic photovoltaics. However, the key characteristic of any photovoltaic device, its current-voltage ($J$-$V$) curve under solar illumination, has proven challenging to simulate using KMC. The main challenges arise from the presence of injecting contacts and the importance of charge recombination when the internal electric field is low, i.e., close to open-circuit conditions. In this work, an experimentally calibrated KMC model is presented that can fully predict the $J$-$V$ curve of a disordered organic solar cell. It is shown that it is crucial to make experimentally justified assumptions on the injection barriers, the blend morphology, and the kinetics of the charge transfer state involved in geminate and nongeminate recombination. All of these properties are independently calibrated using charge extraction, electron microscopy, and transient absorption measurements, respectively. Clear evidence is provided that the conclusions drawn from microscopic and transient KMC modeling are indeed relevant for real operating organic solar cell devices.


title: On the equality of two-variable general functional means

abstract: Given two functions $f,g:I\to\mathbf{R}$ and a probability measure $\mu$ on the Borel subsets of $[0,1]$, the two-variable mean $M_{f,g;\mu}:I^2\to I$ is defined by $$ M_{f,g;\mu}(x,y) :=\bigg(\frac{f}{g}\bigg)^{-1}\left( \frac{\int_0^1 f\big(tx+(1-t)y\big)d\mu(t)} {\int_0^1 g\big(tx+(1-t)y\big)d\mu(t)}\right) \qquad(x,y\in I). $$ This class of means includes quasiarithmetic as well as Cauchy and Bajraktarevi\'c means. The aim of this paper is, for a fixed probability measure $\mu$, to study their equality problem, i.e., to characterize those pairs of functions $(f,g)$ and $(F,G)$ such that $$ M_{f,g;\mu}(x,y)=M_{F,G;\mu}(x,y) \qquad(x,y\in I) $$ holds. Under at most sixth-order differentiability assumptions for the unknown functions $f,g$ and $F,G$, we obtain several necessary conditions for the solutions of the above functional equation. For two particular measures, a complete description is obtained. These latter results offer eight equivalent conditions for the equality of Bajraktarevi\'c means and of Cauchy means.


title: Coherent Communications in Self-Organizing Networks with Distributed Beamforming

abstract: Coherent communications aim to support higher data rates and extended connectivity at lower power consumption compared with traditional point-to-point transmissions. The typical setting of coherent communication schemes is based on a single data stream with multiple transmitters and a single receiver. This paper studies the case of multiple concurrent data streams, each with multiple transmitters and multiple receivers, in self-organizing wireless networks. A distributed optimization solution based on joint network formation and beamforming is developed for coherent group communications in a network of nodes that need to communicate over long distances. This solution significantly improves the power gain for a single data stream and the signal-to-interference-ratio for multiple data streams compared to point-to-point communications. These gains are in turn translated to improvements in communication range, power efficiency, reliability, and throughput. In this multi-layer network optimization solution, nodes coordinate with each other in a distributed manner to form transmitter and receiver groups, and communicate with each other coherently over long distances. The coherent beamforming protocol is optimized for given transmitter and receiver groups, whereas the network formation protocol is optimized to determine these groups. By using single-antenna communication nodes, the proposed optimization solution provides a major gain in network communications and outperforms other benchmark combinations of beamforming and network formation protocols.


title: Teaching robots to perceive time -- A reinforcement learning approach (Extended version)

abstract: Time perception is the phenomenological experience of time by an individual. In this paper, we study how to replicate neural mechanisms involved in time perception, allowing robots to take a step towards temporal cognition. Our framework follows a twofold biologically inspired approach. The first step consists of estimating the passage of time from sensor measurements, since environmental stimuli influence the perception of time. Sensor data is modeled as Gaussian processes that represent the second-order statistics of the natural environment. The estimated elapsed time between two events is computed from the maximum likelihood estimate of the joint distribution of the data collected between them. Moreover, exactly how time is encoded in the brain remains unknown, but there is strong evidence of the involvement of dopaminergic neurons in timing mechanisms. Since their phasic activity has a similar behavior to the reward prediction error of temporal-difference learning models, the latter are used to replicate this behavior. The second step of this approach consists therefore of applying the agent's estimate of the elapsed time in a reinforcement learning problem, where a feature representation called Microstimuli is used. We validate our framework by applying it to an experiment that was originally conducted with mice, and conclude that a robot using this framework is able to reproduce the timing mechanisms of the animal's brain.


title: Dual Stochastic MPC for Systems with Parametric and Structural Uncertainty

abstract: Designing controllers for systems affected by model uncertainty can prove to be a challenge, especially when seeking the optimal compromise between the conflicting goals of identification and control. This trade-off is explicitly taken into account in the dual control problem, for which the exact solution is provided by stochastic dynamic programming. Due to its computational intractability, we propose a sampling-based approximation for systems affected by both parametric and structural model uncertainty. The approach proposed in this paper separates the prediction horizon in a dual and an exploitation part. The dual part is formulated as a scenario tree that actively discriminates among a set of potential models while learning unknown parameters. In the exploitation part, achieved information is fixed for each scenario, and open-loop control sequences are computed for the remainder of the horizon. As a result, we solve one optimization problem over a collection of control sequences for the entire horizon, explicitly considering the knowledge gained in each scenario, leading to a dual model predictive control formulation.


title: Failure to slide: a brief note on the interplay between the Kenig-Pipher condition and the absolute continuity of elliptic measures

abstract: In this note, we explore some consequences of the Modica-Mortola construction of a singular elliptic measure, as regards the link between the quantitative absolute continuity ($A_{\infty}$) of their approximations and the suitability of a well-known tool, the so-called Kenig-Pipher condition ($\operatorname{KP}$). The Kenig-Pipher condition is used to ascertain absolute continuity in the presence of some mild regularity of the coefficient matrix. We perform some modifications of the Modica-Mortola example to show the following two statements: (a) There are sequences of matrices for which both $\operatorname{KP}$ and the $A_{\infty}$ condition break down in the limit. (b) There are sequences of matrices for which $\operatorname{KP}$ breaks down but $A_{\infty}$ is preserved in the limit.


title: Probabilistic Safety Constraints for Learned High Relative Degree System Dynamics

abstract: This paper focuses on learning a model of system dynamics online while satisfying safety constraints.Our motivation is to avoid offline system identification or hand-specified dynamics models and allowa system to safely and autonomously estimate and adapt its own model during online operation.Given streaming observations of the system state, we use Bayesian learning to obtain a distributionover the system dynamics. In turn, the distribution is used to optimize the system behavior andensure safety with high probability, by specifying a chance constraint over a control barrier function.


title: The search for solitons on homogeneous spaces

abstract: The concept of soliton, in its most general version, allows us to find canonical or distinguished elements on any set provided with an equivalence relation and an `optimal' tangent direction at each point. We study in this paper solitons on homogeneous spaces, which have consolidated its role as a quite useful tool to find soliton geometric structures in Riemannian, pseudo-Riemannian, complex, symplectic and G2 geometries.


title: Quasistatic evolution for dislocation-free finite plasticity

abstract: We investigate quasistatic evolution in finite plasticity under the assumption that the plastic strain is compatible. This assumption is well-suited to describe the special case of dislocation-free plasticity and entails that the plastic strain is the gradient of a plastic deformation map. The total deformation can be then seen as the composition of a plastic and an elastic deformation. This opens the way to an existence theory for the quasistatic evolution problem featuring both Lagrangian and Eulerian variables. A remarkable trait of the result is that it does not require second-order gradients.


title: Power law scaling of early-stage forces during granular impact

abstract: We experimentally and computationally study the early-stage forces during intruder impacts with granular beds in the regime where the impact velocity approaches the granular force propagation speed. Experiments use 2D assemblies of photoelastic disks of varying stiffness, and complimentary discrete-element simulations are performed in 2D and 3D. The peak force during the initial stages of impact and the time at which it occurs depend only on the impact speed, the intruder diameter, the mass density of the grains, and the elastic modulus of the grains according to power-law scaling forms that are not consistent with Poncelet models, granular shock theory, or added-mass models. The insensitivity of our results to many system details suggest that they may also apply to impacts into similar materials like foams and emulsions.


title: Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability

abstract: In Bansal et al. (2019), a novel visual navigation framework that combines learning-based and model-based approaches has been proposed. Specifically, a Convolutional Neural Network (CNN) predicts a waypoint that is used by the dynamics model for planning and tracking a trajectory to the waypoint. However, the CNN inevitably makes prediction errors which often lead to collisions in cluttered and tight spaces. In this paper, we present a novel Hamilton-Jacobi (HJ) reachability-based method to generate supervision for the CNN for waypoint prediction in an unseen environment. By modeling CNN prediction error as "disturbances" in robot's dynamics, our generated waypoints are robust to these disturbances, and consequently to the prediction errors. Moreover, using globally optimal HJ reachability analysis leads to predicting waypoints that are time-efficient and avoid greedy behavior. Through simulations and hardware experiments, we demonstrate the advantages of the proposed approach on navigating through cluttered, narrow indoor environments.


title: On the global wellposedness of free boundary problem for the Navier-Stokes system with surface tension

abstract: The aim of this paper is to show the global wellposedness of the Navier-Stokes equations, including surface tension and gravity, with a free surface in an unbounded domain such as bottomless ocean. In addition, it is proved that the solution decays polynomially as time $t$ tends to infinity. To show these results, we first use the Hanzawa transformation in order to reduce the problem in a time-dependent domain $\Omega_t\subset\mathbf{R}^3$, $t>0$, to a problem in the lower half-space $\mathbf{R}_-^3$. We then establish some time-weighted estimate of solutions, in an $L_p$-in-time and $L_q$-in-space setting, for the linearized problem around the trivial steady state with the help of $L_r\text{-}L_s$ time decay estimates of semigroup. Next, the time-weighted estimate, combined with the contraction mapping principle, shows that the transformed problem in $\mathbf{R}_-^3$ admits a global-in-time solution in the $L_p\text{-}L_q$ setting and that the solution decays polynomially as time $t$ tends to infinity under the assumption that $p$, $q$ satisfy the conditions: $2<p<\infty$, $3<q<16/5$, and $(2/p)+(3/q)<1$. Finally, we apply the inverse transformation of Hanzawa's one to the solution in $\mathbf{R}_-^3$ to prove our main results mentioned above for the original problem in $\Omega_t$. Here we want to emphasize that it is not allowed to take $p=q$ in the above assumption about $p$, $q$, which means that the different exponents $p$, $q$ of $L_p\text{-}L_q$ setting play an essential role in our approach.


title: A Region-based Randers Geodesic Approach for Image Segmentation

abstract: The geodesic model based on the eikonal partial differential equation (PDE) has served as a fundamental tool for the applications of image segmentation and boundary detection in the past two decades. However, the existing approaches commonly only exploit the image edge-based features for computing minimal geodesic paths, potentially limiting their performance in complicated segmentation situations. In this paper, we introduce a new variational image segmentation model based on the minimal geodesic path framework and the eikonal PDE, where the region-based appearance term that defines then regional homogeneity features can be taken into account for estimating the associated minimal geodesic paths. This is done by constructing a Randers geodesic metric interpretation of the region-based active contour energy functional. As a result, the minimization of the active contour energy functional is transformed into finding the solution to the Randers eikonal PDE. We also suggest a practical interactive image segmentation strategy, where the target boundary can be delineated by the concatenation of several piecewise geodesic paths. We invoke the Finsler variant of the fast marching method to estimate the geodesic distance map, yielding an efficient implementation of the proposed region-based Randers geodesic model for image segmentation. Experimental results on both synthetic and real images exhibit that our model indeed achieves encouraging segmentation performance.


title: Extending Quantum Links: Modules for Fiber- and Memory-Based Quantum Repeaters

abstract: We analyze elementary building blocks for quantum repeaters based on fiber channels and memory stations. Implementations are considered for three different physical platforms, for which suitable components are available: quantum dots, trapped atoms and ions, and color centers in diamond. We evaluate and compare the performances of basic quantum repeater links for these platforms both for present-day, state-of-the-art experimental parameters as well as for parameters that could in principle be reached in the future. The ultimate goal is to experimentally explore regimes at intermediate distances, up to a few 100 km, in which the repeater-assisted secret key transmission rates exceed the maximal rate achievable via direct transmission. We consider two different protocols, one of which is better adapted to the higher source clock rate and lower memory coherence time of the quantum dot platform, while the other circumvents the need of writing photonic quantum states into the memories in a heralded, non-destructive fashion. The elementary building blocks and protocols can be connected in a modular form to construct a quantum repeater system that is potentially scalable to large distances.


title: Simplified single-shot supercontinuum spectral interferometry

abstract: We have experimentally demonstrated a simplified method for performing single-shot supercontinuum spectral interferometry (SSSI) that does not require pre-characterization of the probe pulse. The method, originally proposed by D. T. Vu, D. Jang, and K. Y. Kim, uses a genetic algorithm (GA) and as few as two time-delayed pump-probe shots to retrieve the pump-induced phase shift on the probe [Opt. Express 26, 20572 (2018)]. We show that the GA is able to successfully retrieve the transient modulations on the probe, and that the error in the retrieved modulation decreases dramatically with the number of shots used. In addition, we propose and demonstrate a practical method that allows SSSI to be done with a single pump-probe shot (again, without the need for pre-characterization of the probe). This simplified method can prove to be immensely useful when performing SSSI with a low-repetition-rate laser source.


title: Unlocking Galactic Wolf-Rayet stars with $\textit{Gaia}$ DR2 I: Distances and absolute magnitudes

abstract: We obtain distances to 383 Galactic Wolf-Rayet (WR) stars from $\textit{Gaia}$ DR2 parallaxes and Bayesian methods, with a prior based on H$\mathrm{\scriptsize{II}}$ regions and dust extinction. Distances agree with those from Bailer-Jones et al. for stars up to 2 kpc from the Sun, though deviate thereafter due to differing priors, leading to modest reductions in luminosities for recent WR spectroscopic results. We calculate visual and K-band absolute magnitudes, accounting for dust extinction contributions and binarity, and identify 187 stars with reliable absolute magnitudes. For WR and O stars within 2 kpc, we find a WR/O ratio of 0.09. The distances are used to generate absolute magnitude calibrations and obtain the $\mathrm{\textit{Gaia}}$ colour magnitude diagram for WR stars. Average $v^{\rm WR}$-band absolute magnitudes for WN stars range from -3.6 mag (WN3-4) to -7.0 mag (WN8-9ha), and -3.1 (WO2-4) to -4.6 mag (WC9), with standard deviations of $\sim$0.6 mag. Using H$\mathrm{\scriptsize{II}}$ region scale heights, we identify 31 WR stars at large (3$\sigma$, |z|$\geq$156 pc) distances from the mid-plane as potential runaways accounting for the Galactic warp, of which only 4 involve WN8-9 stars, contrary to previous claims.


title: Realization of Anomalous Floquet Insulators in Strongly-Coupled Nanophotonic Lattices

abstract: We experimentally realized Floquet topological photonic insulators using a square lattice of direct-coupled octagonal resonators. Unlike previously reported topological insulator systems based on microring lattices, the nontrivial topological behaviors of our system arise directly from the periodic evolution of light around each octagon to emulate a periodically-driven system. By exploiting asynchronism in the evanescent coupling between adjacent octagonal resonators, we could achieve strong and asymmetric couplings in each unit cell, which are necessary for observing Anomalous Floquet Insulator behaviors. Direct imaging of scattered light from fabricated samples confirmed the existence of chiral edge states as predicted by the topological phase map of the lattice. In addition, by exploiting the frequency dispersion of the coupling coefficients, we could also observe topological phase changes of the lattice from normal insulator to Chern and Floquet insulators. Our lattice thus provides a versatile nanophotonic system for investigating 2D Floquet topological insulators.


title: A Generalizable Method for Automated Quality Control of Functional Neuroimaging Datasets

abstract: Over the last twenty five years, advances in the collection and analysis of fMRI data have enabled new insights into the brain basis of human health and disease. Individual behavioral variation can now be visualized at a neural level as patterns of connectivity among brain regions. Functional brain imaging is enhancing our understanding of clinical psychiatric disorders by revealing ties between regional and network abnormalities and psychiatric symptoms. Initial success in this arena has recently motivated collection of larger datasets which are needed to leverage fMRI to generate brain-based biomarkers to support development of precision medicines. Despite methodological advances and enhanced computational power, evaluating the quality of fMRI scans remains a critical step in the analytical framework. Before analysis can be performed, expert reviewers visually inspect raw scans and preprocessed derivatives to determine viability of the data. This Quality Control (QC) process is labor intensive, and the inability to automate at large scale has proven to be a limiting factor in clinical neuroscience fMRI research. We present a novel method for automating the QC of fMRI scans. We train machine learning classifiers using features derived from brain MR images to predict the "quality" of those images, based on the ground truth of an expert's opinion. We emphasize the importance of these classifiers' ability to generalize their predictions across data from different studies. To address this, we propose a novel approach entitled "FMRI preprocessing Log mining for Automated, Generalizable Quality Control" (FLAG-QC), in which features derived from mining runtime logs are used to train the classifier. We show that classifiers trained on FLAG-QC features perform much better (AUC=0.79) than previously proposed feature sets (AUC=0.56) when testing their ability to generalize across studies.


title: Learning Singing From Speech

abstract: We propose an algorithm that is capable of synthesizing high quality target speaker's singing voice given only their normal speech samples. The proposed algorithm first integrate speech and singing synthesis into a unified framework, and learns universal speaker embeddings that are shareable between speech and singing synthesis tasks. Specifically, the speaker embeddings learned from normal speech via the speech synthesis objective are shared with those learned from singing samples via the singing synthesis objective in the unified training framework. This makes the learned speaker embedding a transferable representation for both speaking and singing. We evaluate the proposed algorithm on singing voice conversion task where the content of original singing is covered with the timbre of another speaker's voice learned purely from their normal speech samples. Our experiments indicate that the proposed algorithm generates high-quality singing voices that sound highly similar to target speaker's voice given only his or her normal speech samples. We believe that proposed algorithm will open up new opportunities for singing synthesis and conversion for broader users and applications.


title: Picosecond spin-orbit torque switching of ferrimagnets

abstract: Spintronics provides an efficient platform for realizing non-volatile memory and logic devices. In these systems, data is stored in the magnetization of magnetic materials, and magnetization is switched in the writing process. In conventional spintronic devices, ferromagnetic materials are used which have a magnetization dynamics timescale of around the nanoseconds, setting a limit for the switching speed. Increasing the magnetization switching speed has been one of the challenges in spintronic research. In this work we take advantage of the ultrafast magnetization dynamics in ferrimagnetic materials instead of ferromagnets, and we use femtosecond laser pulses and a photoconductive Auston switch to create picosecond current pulses for switching the ferrimagnet. By anomalous Hall and magneto-optic Kerr (MOKE) measurement, we demonstrate the robust picosecond SOT driven magnetization switching of ferrimagnetic GdFeCo. The time-resolved MOKE shows more than 50 GHz magnetic resonance frequency of GdFeCo, indicating faster than 20 ps spin dynamics and tens of picosecond SOT switching speed. Our work provides a promising route to realize picosecond operation speed for non-volatile magnetic memory and logic applications.


title: Modeling Intent, Dialog Policies and Response Adaptation for Goal-Oriented Interactions

abstract: Building a machine learning driven spoken dialog system for goal-oriented interactions involves careful design of intents and data collection along with development of intent recognition models and dialog policy learning algorithms. The models should be robust enough to handle various user distractions during the interaction flow and should steer the user back into an engaging interaction for successful completion of the interaction. In this work, we have designed a goal-oriented interaction system where children can engage with agents for a series of interactions involving `Meet \& Greet' and `Simon Says' game play. We have explored various feature extractors and models for improved intent recognition and looked at leveraging previous user and system interactions in novel ways with attention models. We have also looked at dialog adaptation methods for entrained response selection. Our bootstrapped models from limited training data perform better than many baseline approaches we have looked at for intent recognition and dialog action prediction.


title: Leveraging Topics and Audio Features with Multimodal Attention for Audio Visual Scene-Aware Dialog

abstract: With the recent advancements in Artificial Intelligence (AI), Intelligent Virtual Assistants (IVA) such as Alexa, Google Home, etc., have become a ubiquitous part of many homes. Currently, such IVAs are mostly audio-based, but going forward, we are witnessing a confluence of vision, speech and dialog system technologies that are enabling the IVAs to learn audio-visual groundings of utterances. This will enable agents to have conversations with users about the objects, activities and events surrounding them. In this work, we present three main architectural explorations for the Audio Visual Scene-Aware Dialog (AVSD): 1) investigating `topics' of the dialog as an important contextual feature for the conversation, 2) exploring several multimodal attention mechanisms during response generation, 3) incorporating an end-to-end audio classification ConvNet, AclNet, into our architecture. We discuss detailed analysis of the experimental results and show that our model variations outperform the baseline system presented for the AVSD task.


title: Exploring Context, Attention and Audio Features for Audio Visual Scene-Aware Dialog

abstract: We are witnessing a confluence of vision, speech and dialog system technologies that are enabling the IVAs to learn audio-visual groundings of utterances and have conversations with users about the objects, activities and events surrounding them. Recent progress in visual grounding techniques and Audio Understanding are enabling machines to understand shared semantic concepts and listen to the various sensory events in the environment. With audio and visual grounding methods, end-to-end multimodal SDS are trained to meaningfully communicate with us in natural language about the real dynamic audio-visual sensory world around us. In this work, we explore the role of `topics' as the context of the conversation along with multimodal attention into such an end-to-end audio-visual scene-aware dialog system architecture. We also incorporate an end-to-end audio classification ConvNet, AclNet, into our models. We develop and test our approaches on the Audio Visual Scene-Aware Dialog (AVSD) dataset released as a part of the DSTC7. We present the analysis of our experiments and show that some of our model variations outperform the baseline system released for AVSD.


title: Enhancing Neutrino Event Reconstruction with Pixel-Based 3D Readout for Liquid Argon Time Projection Chambers

abstract: In this paper we explore the potential improvements in neutrino event reconstruction that a 3D pixelated readout could offer over a 2D projective wire readout for liquid argon time projection chambers. We simulate and study events in two generic, idealized detector configurations for these two designs, classifying events in each sample with deep convolutional neural networks to compare the best 2D results to the best 3D results. In almost all cases we find that the 3D readout provides better reconstruction efficiency and purity than the 2D projective wire readout, with the advantages of 3D being particularly evident in more complex topologies, such as electron neutrino charged current events. We conclude that the use of a 3D pixelated detector could significantly enhance the reach and impact of future liquid argon TPC experiments physics program, such as DUNE.


title: An optimal stopping problem for spectrally negative Markov additive processes

abstract: Previous authors have considered optimal stopping problems driven by the running maximum of a spectrally negative L\'evy process $X$, as well as of a one-dimensional diffusion. Many of the aforementioned results are either implicitly or explicitly dependent on Peskir's maximality principle. In this article, we are interested in understanding how some of the main ideas from these previous works can be brought into the setting of problems driven by the maximum of a class of Markov additive processes (more precisely Markov modulated L\'evy processes). Similarly to previous works in the L\'evy setting, the optimal stopping boundary is characterised by a system of ordinary first-order differential equations, one for each state of the modulating component of the Markov additive process. Moreover, whereas scale functions played an important role in the previously mentioned work, we work instead with scale matrices for Markov additive processes here. We exemplify our calculations in the setting of the Shepp-Shiryaev optimal stopping problem, as well as a family of capped maximum optimal stopping problems.


title: QuB: A Resource Aware Functional Programming Language

abstract: Managing resources---file handles, database connections, etc.---is a hard problem. Debugging resource leaks and runtime errors due to resource mismanagement are difficult in evolving production code. Programming languages with static type systems are great tools to ensure erroneous code is detected at compile time. However, modern static type systems do little in the aspect of resource management as resources are treated as normal values. We propose a type system, Qub, based on the logic of bunched implications (BI) which models resources as first class citizens. We distinguish two kinds of program objects---restricted and unrestricted---and two kinds of functions---sharing and separating. Our approach guarantees resource correctness without compromising existing functional abstractions.


title: A vector-contraction inequality for Rademacher complexities using $p$-stable variables

abstract: Andreas Maurer in the paper "A vector-contraction inequality for Rademacher complexities" extended the contraction inequality for Rademacher averages to Lipschitz functions with vector-valued domains; He did it replacing the Rademacher variables in the bounding expression by arbitrary idd symmetric and sub-gaussian variables. We will see how to extend this work when we replace sub-gaussian variables by $p$-stable variables for $1<p<2$.


title: Spectra of infinite graphs via freeness with amalgamation

abstract: We use tools from free probability to study the spectra of Hermitian operators on infinite graphs. Special attention is devoted to universal covering trees of finite graphs. For operators on these graphs we derive a new variational formula for the spectral radius and provide new proofs of results due to Sunada and Aomoto using free probability. With the goal of extending the applicability of free probability techniques beyond universal covering trees, we introduce a new combinatorial product operation on graphs and show that, in the non-commutative probability context, it corresponds to the notion of freeness with amalgamation. We show that Cayley graphs of amalgamated free products of groups, as well as universal covering trees, can be constructed using our graph product.


title: Covering point-sets with parallel hyperplanes and sparse signal recovery

abstract: We give a new deterministic construction of integer sensing matrices that can be used for the recovery of integer-valued signals in compressed sensing. This is a family of $n \times d$ integer matrices, $d \geq n$, with bounded sup-norm and the property that no $\ell$ column vectors are linearly dependent, $\ell \leq n$. Further, if $\ell \leq o(\log n)$ then $d/n \to \infty$ as $n \to \infty$. Our construction comes from particular sets of difference vectors of point-sets in $\mathbb R^n$ that cannot be covered by few parallel hyperplanes. We construct examples of such sets on the $0, \pm 1$ grid and use them for the matrix construction. We also show a connection of our constructions to a simple version of the Tarski plank problem.


title: Predictions for the Leptonic Dirac CP-Violating Phase

abstract: We explore the theoretical constraints on the observable parameters of neutrino mixing on predictions for the leptonic Dirac CP-violating phase within a well-studied class of simple theoretical models that includes a single source of CP violation due to charged lepton corrections. The approach guarantees that a physically meaningful prediction for the most likely values for the leptonic Dirac CP-violating phase is obtained.


title: String factorisations with maximum or minimum dimension

abstract: In this paper we consider two problems concerning string factorisation. Specifically given a string $w$ and an integer $k$ find a factorisation of $w$ where each factor has length bounded by $k$ and has the minimum (the FmD problem) or the maximum (the FMD problem) number of different factors. The FmD has been proved to be NP-hard even if $k=2$ in [9] and for this case we provide a $3/2$-approximation algorithm. The FMD problem, up to our knowledge has not been considered in the literature. We show that this problem is NP-hard for any $k\geq 3$. In view of this we propose a $2$-approximation algorithm (for any $k$) an exact exponential algorithm. We conclude with some open problems.


title: Some asymptotic estimates on the Von Neumann Inequality for homogeneous polynomials

abstract: We will discuss some results of the paper "Asymptotic estimates on the Von Neumann Inequality for homogeneous polynomials", of Galicer D., Muro S. and Sevilla-Peris P. Also, we will see how to extend some of these results using the same techniques in such paper.


title: Extreme escape from a cusp: when does geometry matter for the fastest Brownian particles moving in crowded cellular environments?

abstract: We study here the extreme statistics of Brownian particles escaping from a cusp funnel: the fastest Brownian particles among $n$ follow an ensemble of optimal trajectories located near the shortest path from the source to the target. For the time of such first arrivers, we derive an asymptotic formula that differs from the classical narrow escape and dire strait obtained for the mean first passage time. Consequently, when particles are initially distributed at a given distance from a cusp, the fastest do see some properties characterizing the cusp geometry. Therefore, when many particles diffuse around impermeable obstacles, the geometry plays a role in the time to reach a target. In the biological context of cellular transduction with signalling molecules, having to escape such cusp-like domains slows down fast signaling. To conclude, generating multiple copies of the same molecule helps bypass a crowded environment to transmit a molecular signal quickly.


title: Periodic TASEP with general initial conditions

abstract: We consider the one-dimensional totally asymmetric simple exclusion process with an arbitrary initial condition in a spatially periodic domain, and obtain explicit formulas for the multi-point distributions in the space-time plane. The formulas are given in terms of an integral involving a Fredholm determinant. We then evaluate the large-time, large-period limit in the relaxation time scale, which is the scale such that the system size starts to affect the height fluctuations. The limit is obtained assuming certain conditions on the initial condition, which we show that the step, flat, and step-flat initial conditions satisfy. Hence, we obtain the limit theorem for these three initial conditions in the periodic model, extending the previous work on the step initial condition. We also consider uniform random and uniform-step random initial conditions.


title: Magnetic field-controlled 0-$\pi$ transitions and their experimental signatures in superconductor-ferromagnet-superconductor junctions

abstract: Superconductor-ferromagnet-superconductor Josephson junctions are known to exist in the $0$ and $\pi$ states with the transitions between them controlled by the temperature and ferromagnetic interlayer thickness. We demonstrate that these transitions can be controlled also by the external magnetic field directed perpendicular to the layers. By varying the ratio of diffusion coefficients in superconducting and ferromagnetic layers, these field-controlled transitions can be made detectable for arbitrary large value of the exchange energy in the ferromagnet. We also show that the $0$-$\pi$ transitions in the perpendicular field can be observed as the specific features of the flux-flow conductivity dependencies on the ferromagnetic thickness in accordance with recent experimental results.


title: J-PLUS: Tools to identify compact planetary nebulae in the Javalambre and southern photometric local universe surveys

abstract: From the approximately $\sim$3,500 planetary nebulae (PNe) discovered in our Galaxy, only 14 are known to be members of the Galactic halo. Nevertheless, a systematic search for halo PNe has never been performed. In this study, we present new photometric diagnostic tools to identify compact PNe in the Galactic halo by making use of the novel 12-filter system projects, J-PLUS (Javalambre Photometric Local Universe Survey) and S-PLUS (Southern-Photometric Local Universe Survey). We reconstructed the IPHAS (Isaac Newton Telescope (INT) Photometric H${\alpha}$ Survey of the Northern Galactic Plane) diagnostic diagram and propose four new ones using i) the J-PLUS and S-PLUS synthetic photometry for a grid of photo-ionisation models of halo PNe, ii) several observed halo PNe, as well as iii) a number of other emission-line objects that resemble PNe. All colour-colour diagnostic diagrams are validated using two known halo PNe observed by J-PLUS during the scientific verification phase and the first data release (DR1) of S-PLUS and the DR1 of J-PLUS. By applying our criteria to the DR1s ($\sim$1,190 deg$^2$), we identified one PN candidate. However, optical follow-up spectroscopy proved it to be a H II region belonging to the UGC 5272 galaxy. Here, we also discuss the PN and two H II galaxies recovered by these selection criteria. Finally, the cross-matching with the most updated PNe catalogue (HASH) helped us to highlight the potential of these surveys, since we recover all the known PNe in the observed area. The tools here proposed to identify PNe and separate them from their emission-line contaminants proved to be very efficient thanks to the combination of many colours, even when applied -like in the present work- to an automatic photometric search that is limited to compact PNe.


title: Optimizing Collision Avoidance in Dense Airspace using Deep Reinforcement Learning

abstract: New methodologies will be needed to ensure the airspace remains safe and efficient as traffic densities rise to accommodate new unmanned operations. This paper explores how unmanned free-flight traffic may operate in dense airspace. We develop and analyze autonomous collision avoidance systems for aircraft operating in dense airspace where traditional collision avoidance systems fail. We propose a metric for quantifying the decision burden on a collision avoidance system as well as a metric for measuring the impact of the collision avoidance system on airspace. We use deep reinforcement learning to compute corrections for an existing collision avoidance approach to account for dense airspace. The results show that a corrected collision avoidance system can operate more efficiently than traditional methods in dense airspace while maintaining high levels of safety.


title: On projective $q^r$-divisible codes

abstract: A projective linear code over $\mathbb{F}_q$ is called $\Delta$-divisible if all weights of its codewords are divisible by $\Delta$. Especially, $q^r$-divisible projective linear codes, where $r$ is some integer, arise in many applications of collections of subspaces in $\mathbb{F}_q^v$. One example are upper bounds on the cardinality of partial spreads. Here we survey the known results on the possible lengths of projective $q^r$-divisible linear codes.


title: Improved Upper and Lower Bounds for LR Drawings of Binary Trees

abstract: In SODA'99, Chan introduced a simple type of planar straight-line upward order-preserving drawings of binary trees, known as LR drawings: such a drawing is obtained by picking a root-to-leaf path, drawing the path as a straight line, and recursively drawing the subtrees along the paths. Chan proved that any binary tree with $n$ nodes admits an LR drawing with $O(n^{0.48})$ width. In SODA'17, Frati, Patrignani, and Roselli proved that there exist families of $n$-node binary trees for which any LR drawing has $\Omega(n^{0.418})$ width. In this note, we improve Chan's upper bound to $O(n^{0.437})$ and Frati et al.'s lower bound to $\Omega(n^{0.429})$.


title: A Swiss Army Knife for Dynamic Caching in Small Cell Networks

abstract: We consider a dense cellular network, in which a limited-size cache is available at every base station (BS). Coordinating content allocation across the different caches can lead to significant performance gains, but is a difficult problem even when full information about the network and the request process is available. In this paper we present qLRU-$\Delta$, a general-purpose dynamic caching policy that can be tailored to optimize different performance metrics also in presence of coordinated multipoint transmission techniques. The policy requires neither direct communication among BSs, nor a priori knowledge of content popularity and, under stationary request processes, has provable performance guarantees.


title: Learning Diverse Stochastic Human-Action Generators by Learning Smooth Latent Transitions

abstract: Human-motion generation is a long-standing challenging task due to the requirement of accurately modeling complex and diverse dynamic patterns. Most existing methods adopt sequence models such as RNN to directly model transitions in the original action space. Due to high dimensionality and potential noise, such modeling of action transitions is particularly challenging. In this paper, we focus on skeleton-based action generation and propose to model smooth and diverse transitions on a latent space of action sequences with much lower dimensionality. Conditioned on a latent sequence, actions are generated by a frame-wise decoder shared by all latent action-poses. Specifically, an implicit RNN is defined to model smooth latent sequences, whose randomness (diversity) is controlled by noise from the input. Different from standard action-prediction methods, our model can generate action sequences from pure noise without any conditional action poses. Remarkably, it can also generate unseen actions from mixed classes during training. Our model is learned with a bi-directional generative-adversarial-net framework, which not only can generate diverse action sequences of a particular class or mix classes, but also learns to classify action sequences within the same model. Experimental results show the superiority of our method in both diverse action-sequence generation and classification, relative to existing methods.


title: Can UVB variations reconcile simulated quasar absorption lines at high redshift?

abstract: In this work, we present new calculations of the observables associated with synthetic metal and HI absorption lines in the spectra of high redshift quasars, inspired by questions and limitations raised in work with a uniform Haardt-Madau 2012 ultraviolet background (UVB). We introduce variations at $z \sim$ 6 to the UVB and HI self--shielding and explore the sensitivity of the absorption features to modifications of the hardness of the UVB. We find that observed SiIV and low ionization states (e.g. CII, SiII, OI) are well represented by a soft UV ionizing field at $z =$ 6 but, this same prescription, fails to reproduce the statistical properties of the observed ion CIV absorber population. Therefore, we recommend a moderate reduction of the UVB at this redshift, an emissivity change between the UVB models that lies in between the Haardt-Madau 2012 emissivity J$_{\nu}$ and one with a dex below J$_{\nu} -$ 1 at 1 Ryd. On the other hand, variations in the HI self--shielding (SSh) prescription leave a non--negligible imprint in the calculated HI column density distribution function (CDDF) at $z =$ 4 and the comoving mass density of neutral Hydrogen (and the associated calculation with damped Lyman--$\alpha$ absorber systems) at 4 $< z <$ 6. We conclude that small variations in the UVB and HI SSh at $z \sim$ 6 play an important role in improving the estimation of metal ions and HI statistics at this redshift.


title: Detection of missing baryons in galaxy groups with kinetic Sunyaev-Zel'dovich effect

abstract: We present the detection of the kinetic Sunyaev-Zel'dovich effect (kSZE) signals from groups of galaxies as a function of halo mass down to $\log (M_{500}/{\rm M_\odot}) \sim 12.3$, using the {\it Planck} CMB maps and stacking about $40,000$ galaxy systems with known positions, halo masses, and peculiar velocities. The signals from groups of different mass are constrained simultaneously to take care of projection effects of nearby halos. The total kSZE flux within halos estimated implies that the gas fraction in halos is about the universal baryon fraction, even in low-mass halos, indicating that the `missing baryons' are found. Various tests performed show that our results are robust against systematic effects, such as contamination by infrared/radio sources and background variations, beam-size effects and contributions from halo exteriors. Combined with the thermal Sunyaev-Zel'dovich effect, our results indicate that the `missing baryons' associated with galaxy groups are contained in warm-hot media with temperatures between $10^5$ and $10^6\,{\rm K}$.


title: High-dimensional states of light with full control of transverse path and OAM degrees of freedom

abstract: We present here a compact scheme for the generation of high-dimensional states of light encoded in the transverse path variable of photons that carry orbital angular momentum. We use a programmable spatial light modulator in phase configuration to create correlations between these two spatial degrees of freedom. With our setup we are able to control, independently, the relative phases and amplitudes of the path superposition in addition to the topological charge of each path. Moreover, we engineer correlations that emulate bipartite quantum states of dimensions $d\times m$. Experimental results from the characterization of different generated states of dimensions up to $9\times 5$ are in excellent agreement with the numerical simulations. Fidelity with the target state is, for all cases, above $95\%$.


title: Measuring Dataset Granularity

abstract: Despite the increasing visibility of fine-grained recognition in our field, "fine-grained'' has thus far lacked a precise definition. In this work, building upon clustering theory, we pursue a framework for measuring dataset granularity. We argue that dataset granularity should depend not only on the data samples and their labels, but also on the distance function we choose. We propose an axiomatic framework to capture desired properties for a dataset granularity measure and provide examples of measures that satisfy these properties. We assess each measure via experiments on datasets with hierarchical labels of varying granularity. When measuring granularity in commonly used datasets with our measure, we find that certain datasets that are widely considered fine-grained in fact contain subsets of considerable size that are substantially more coarse-grained than datasets generally regarded as coarse-grained. We also investigate the interplay between dataset granularity with a variety of factors and find that fine-grained datasets are more difficult to learn from, more difficult to transfer to, more difficult to perform few-shot learning with, and more vulnerable to adversarial attacks.


title: Finite-Time Performance of Distributed Two-Time-Scale Stochastic Approximation

abstract: Two-time-scale stochastic approximation is a popular iterative method for finding the solution of a system of two equations. Such methods have found broad applications in many areas, especially in machine learning and reinforcement learning. In this paper, we propose a distributed variant of this method over a network of agents, where the agents use two graphs representing their communication at different speeds due to the nature of their two-time-scale updates. Our main contribution is to provide a finite-time analysis for the performance of the proposed method. In particular, we establish an upper bound for the convergence rates of the mean square errors at the agents to zero as a function of the step sizes and the network topology.


title: Black Box Recursive Translations for Molecular Optimization

abstract: Machine learning algorithms for generating molecular structures offer a promising new approach to drug discovery. We cast molecular optimization as a translation problem, where the goal is to map an input compound to a target compound with improved biochemical properties. Remarkably, we observe that when generated molecules are iteratively fed back into the translator, molecular compound attributes improve with each step. We show that this finding is invariant to the choice of translation model, making this a "black box" algorithm. We call this method Black Box Recursive Translation (BBRT), a new inference method for molecular property optimization. This simple, powerful technique operates strictly on the inputs and outputs of any translation model. We obtain new state-of-the-art results for molecular property optimization tasks using our simple drop-in replacement with well-known sequence and graph-based models. Our method provides a significant boost in performance relative to its non-recursive peers with just a simple "for" loop. Further, BBRT is highly interpretable, allowing users to map the evolution of newly discovered compounds from known starting points.


title: Numerical solution of large scale Hartree-Fock-Bogoliubov equations

abstract: The Hartree-Fock-Bogoliubov (HFB) theory is the starting point for treating superconducting systems. However, the computational cost for solving large scale HFB equations can be much larger than that of the Hartree-Fock equations, particularly when the Hamiltonian matrix is sparse, and the number of electrons $N$ is relatively small compared to the matrix size $N_{b}$. We first provide a concise and relatively self-contained review of the HFB theory for general finite sized quantum systems, with special focus on the treatment of spin symmetries from a linear algebra perspective. We then demonstrate that the pole expansion and selected inversion (PEXSI) method can be particularly well suited for solving large scale HFB equations. For a Hubbard-type Hamiltonian, the cost of PEXSI is at most $\Or(N_b^2)$ for both gapped and gapless systems, which can be significantly faster than the standard cubic scaling diagonalization methods. We show that PEXSI can solve a two-dimensional Hubbard-Hofstadter model with $N_b$ up to $2.88\times 10^6$, and the wall clock time is less than $100$ s using $17280$ CPU cores. This enables the simulation of physical systems under experimentally realizable magnetic fields, which cannot be otherwise simulated with smaller systems.


title: Regularized Operating Envelope with Interpretability and Implementability Constraints

abstract: Operating envelope is an important concept in industrial operations. Accurate identification for operating envelope can be extremely beneficial to stakeholders as it provides a set of operational parameters that optimizes some key performance indicators (KPI) such as product quality, operational safety, equipment efficiency, environmental impact, etc. Given the importance, data-driven approaches for computing the operating envelope are gaining popularity. These approaches typically use classifiers such as support vector machines, to set the operating envelope by learning the boundary in the operational parameter spaces between the manually assigned `large KPI' and `small KPI' groups. One challenge to these approaches is that the assignment to these groups is often ad-hoc and hence arbitrary. However, a bigger challenge with these approaches is that they don't take into account two key features that are needed to operationalize operating envelopes: (i) interpretability of the envelope by the operator and (ii) implementability of the envelope from a practical standpoint. In this work, we propose a new definition for operating envelope which directly targets the expected magnitude of KPI (i.e., no need to arbitrarily bin the data instances into groups) and accounts for the interpretability and the implementability. We then propose a regularized `GA + penalty' algorithm that outputs an envelope where the user can tradeoff between bias and variance. The validity of our proposed algorithm is demonstrated by two sets of simulation studies and an application to a real-world challenge in the mining processes of a flotation plant.


title: The Relativistic Geoid: Gravity Potential and Relativistic Effects

abstract: The Earth's geoid is one of the most essential and fundamental concepts to provide a gravity field-related height reference in geodesy and associated sciences. To keep up with the ever-increasing experimental capabilities and to consistently interpret high-precision measurements without any doubt, a relativistic treatment of geodetic notions (including the geoid) within Einstein's theory of General Relativity is inevitable. Building on the theoretical construction of isochronometric surfaces and the so-called redshift potential for clock comparison, we define a relativistic gravity potential as a generalization of (post-)Newtonian notions. This potential exists in any stationary configuration with rigidly co-rotating observers, and it is the same as realized by local plumb lines. In a second step, we employ the gravity potential to define the relativistic geoid in direct analogy to the Newtonian understanding. In the respective limit, the framework allows to recover well-known (post-) Newtonian results. For a better illustration and proper interpretation of the general relativistic gravity potential and geoid, some particular examples are considered. Explicit results are derived for exact vacuum solutions to Einstein's field equation as well as a parametrized post-Newtonian model. Comparing the Earth's Newtonian geoid to its relativistic generalization is a very subtle problem, but of high interest. An isometric embedding into Euclidean three-dimensional space is an appropriate solution and allows a genuinely intrinsic comparison. With this method, the leading-order differences are determined, which are at the mm-level.


title: AMUSED: A Multi-Stream Vector Representation Method for Use in Natural Dialogue

abstract: The problem of building a coherent and non-monotonous conversational agent with proper discourse and coverage is still an area of open research. Current architectures only take care of semantic and contextual information for a given query and fail to completely account for syntactic and external knowledge which are crucial for generating responses in a chit-chat system. To overcome this problem, we propose an end to end multi-stream deep learning architecture which learns unified embeddings for query-response pairs by leveraging contextual information from memory networks and syntactic information by incorporating Graph Convolution Networks (GCN) over their dependency parse. A stream of this network also utilizes transfer learning by pre-training a bidirectional transformer to extract semantic representation for each input sentence and incorporates external knowledge through the the neighborhood of the entities from a Knowledge Base (KB). We benchmark these embeddings on next sentence prediction task and significantly improve upon the existing techniques. Furthermore, we use AMUSED to represent query and responses along with its context to develop a retrieval based conversational agent which has been validated by expert linguists to have comprehensive engagement with humans.


title: Implicit Knowledge in Argumentative Texts: An Annotated Corpus

abstract: When speaking or writing, people omit information that seems clear and evident, such that only part of the message is expressed in words. Especially in argumentative texts it is very common that (important) parts of the argument are implied and omitted. We hypothesize that for argument analysis it will be beneficial to reconstruct this implied information. As a starting point for filling such knowledge gaps, we build a corpus consisting of high-quality human annotations of missing and implied information in argumentative texts. To learn more about the characteristics of both the argumentative texts and the added information, we further annotate the data with semantic clause types and commonsense knowledge relations. The outcome of our work is a carefully de-signed and richly annotated dataset, for which we then provide an in-depth analysis by investigating characteristic distributions and correlations of the assigned labels. We reveal interesting patterns and intersections between the annotation categories and properties of our dataset, which enable insights into the characteristics of both argumentative texts and implicit knowledge in terms of structural features and semantic information. The results of our analysis can help to assist automated argument analysis and can guide the process of revealing implicit information in argumentative texts automatically.


title: Design and implementation of an open source Greek POS Tagger and Entity Recognizer using spaCy

abstract: This paper proposes a machine learning approach to part-of-speech tagging and named entity recognition for Greek, focusing on the extraction of morphological features and classification of tokens into a small set of classes for named entities. The architecture model that was used is introduced. The greek version of the spaCy platform was added into the source code, a feature that did not exist before our contribution, and was used for building the models. Additionally, a part of speech tagger was trained that can detect the morphology of the tokens and performs higher than the state-of-the-art results when classifying only the part of speech. For named entity recognition using spaCy, a model that extends the standard ENAMEX type (organization, location, person) was built. Certain experiments that were conducted indicate the need for flexibility in out-of-vocabulary words and there is an effort for resolving this issue. Finally, the evaluation results are discussed.


title: Can AI Generate Love Advice?: Toward Neural Answer Generation for Non-Factoid Questions

abstract: Deep learning methods that extract answers for non-factoid questions from QA sites are seen as critical since they can assist users in reaching their next decisions through conversations with AI systems. The current methods, however, have the following two problems: (1) They can not understand the ambiguous use of words in the questions as word usage can strongly depend on the context. As a result, the accuracies of their answer selections are not good enough. (2) The current methods can only select from among the answers held by QA sites and can not generate new ones. Thus, they can not answer the questions that are somewhat different with those stored in QA sites. Our solution, Neural Answer Construction Model, tackles these problems as it: (1) Incorporates the biases of semantics behind questions into word embeddings while also computing them regardless of the semantics. As a result, it can extract answers that suit the contexts of words used in the question as well as following the common usage of words across semantics. This improves the accuracy of answer selection. (2) Uses biLSTM to compute the embeddings of questions as well as those of the sentences often used to form answers. It then simultaneously learns the optimum combination of those sentences as well as the closeness between the question and those sentences. As a result, our model can construct an answer that corresponds to the situation that underlies the question; it fills the gap between answer selection and generation and is the first model to move beyond the current simple answer selection model for non-factoid QAs. Evaluations using datasets created for love advice stored in the Japanese QA site, Oshiete goo, indicate that our model achieves 20% higher accuracy in answer creation than the strong baselines. Our model is practical and has already been applied to the love advice service in Oshiete goo.


title: Decomposing predictability: Semantic feature overlap between words and the dynamics of reading for meaning

abstract: The present study uses a computational approach to examine the role of semantic constraints in normal reading. This methodology avoids confounds inherent in conventional measures of predictability, allowing for theoretically deeper accounts of semantic processing. We start from a definition of associations between words based on the significant log likelihood that two words co-occur frequently together in the sentences of a large text corpus. Direct associations between stimulus words were controlled, and semantic feature overlap between prime and target words was manipulated by their common associates. The stimuli consisted of sentences of the form pronoun, verb, article, adjective and noun, followed by a series of closed class words, e. g. "She rides the grey elephant on one of her many exploratory voyages". The results showed that verb-noun overlap reduces single and first fixation durations of the target noun and adjective-noun overlap reduces go-past durations. A dynamic spreading of activation account suggests that associates of the prime words take some time to become activated: The verb can act on the target noun's early eye-movement measures presented three words later, while the adjective is presented immediately prior to the target, which induces sentence re-examination after a difficult adjective-noun semantic integration.


title: Zero-shot Text Classification With Generative Language Models

abstract: This work investigates the use of natural language to enable zero-shot model adaptation to new tasks. We use text and metadata from social commenting platforms as a source for a simple pretraining task. We then provide the language model with natural language descriptions of classification tasks as input and train it to generate the correct answer in natural language via a language modeling objective. This allows the model to generalize to new classification tasks without the need for multiple multitask classification heads. We show the zero-shot performance of these generative language models, trained with weak supervision, on six benchmark text classification datasets from the torchtext library. Despite no access to training data, we achieve up to a 45% absolute improvement in classification accuracy over random or majority class baselines. These results show that natural language can serve as simple and powerful descriptors for task adaptation. We believe this points the way to new metalearning strategies for text problems.


title: MedCAT -- Medical Concept Annotation Tool

abstract: Biomedical documents such as Electronic Health Records (EHRs) contain a large amount of information in an unstructured format. The data in EHRs is a hugely valuable resource documenting clinical narratives and decisions, but whilst the text can be easily understood by human doctors it is challenging to use in research and clinical applications. To uncover the potential of biomedical documents we need to extract and structure the information they contain. The task at hand is Named Entity Recognition and Linking (NER+L). The number of entities, ambiguity of words, overlapping and nesting make the biomedical area significantly more difficult than many others. To overcome these difficulties, we have developed the Medical Concept Annotation Tool (MedCAT), an open-source unsupervised approach to NER+L. MedCAT uses unsupervised machine learning to disambiguate entities. It was validated on MIMIC-III (a freely accessible critical care database) and MedMentions (Biomedical papers annotated with mentions from the Unified Medical Language System). In case of NER+L, the comparison with existing tools shows that MedCAT improves the previous best with only unsupervised learning (F1=0.848 vs 0.691 for disease detection; F1=0.710 vs. 0.222 for general concept detection). A qualitative analysis of the vector embeddings learnt by MedCAT shows that it captures latent medical knowledge available in EHRs (MIMIC-III). Unsupervised learning can improve the performance of large scale entity extraction, but it has some limitations when working with only a couple of entities and a small dataset. In that case options are supervised learning or active learning, both of which are supported in MedCAT via the MedCATtrainer extension. Our approach can detect and link millions of different biomedical concepts with state-of-the-art performance, whilst being lightweight, fast and easy to use.


title: Machine Translation with Cross-lingual Word Embeddings

abstract: Learning word embeddings using distributional information is a task that has been studied by many researchers, and a lot of studies are reported in the literature. On the contrary, less studies were done for the case of multiple languages. The idea is to focus on a single representation for a pair of languages such that semantically similar words are closer to one another in the induced representation irrespective of the language. In this way, when data are missing for a particular language, classifiers from another language can be used.


title: Two Way Adversarial Unsupervised Word Translation

abstract: Word translation is a problem in machine translation that seeks to build models that recover word level correspondence between languages. Recent approaches to this problem have shown that word translation models can learned with very small seeding dictionaries, and even without any starting supervision. In this paper we propose a method to jointly find translations between a pair of languages. Not only does our method learn translations in both directions but it improves accuracy of those translations over past methods.


title: A Comparison of Architectures and Pretraining Methods for Contextualized Multilingual Word Embeddings

abstract: The lack of annotated data in many languages is a well-known challenge within the field of multilingual natural language processing (NLP). Therefore, many recent studies focus on zero-shot transfer learning and joint training across languages to overcome data scarcity for low-resource languages. In this work we (i) perform a comprehensive comparison of state-ofthe-art multilingual word and sentence encoders on the tasks of named entity recognition (NER) and part of speech (POS) tagging; and (ii) propose a new method for creating multilingual contextualized word embeddings, compare it to multiple baselines and show that it performs at or above state-of-theart level in zero-shot transfer settings. Finally, we show that our method allows for better knowledge sharing across languages in a joint training setting.


title: Na\"iveRole: Author-Contribution Extraction and Parsing from Biomedical Manuscripts

abstract: Information about the contributions of individual authors to scientific publications is important for assessing authors' achievements. Some biomedical publications have a short section that describes authors' roles and contributions. It is usually written in natural language and hence author contributions cannot be trivially extracted in a machine-readable format. In this paper, we present 1) A statistical analysis of roles in author contributions sections, and 2) Na\"iveRole, a novel approach to extract structured authors' roles from author contribution sections. For the first part, we used co-clustering techniques, as well as Open Information Extraction, to semi-automatically discover the popular roles within a corpus of 2,000 contributions sections from PubMed Central. The discovered roles were used to automatically build a training set for Na\"iveRole, our role extractor approach, based on Na\"ive Bayes. Na\"iveRole extracts roles with a micro-averaged precision of 0.68, recall of 0.48 and F1 of 0.57. It is, to the best of our knowledge, the first attempt to automatically extract author roles from research papers. This paper is an extended version of a previous poster published at JCDL 2018.


title: Replication in Data Grids: Metrics and Strategies

abstract: We focus in this report on two main axes. The first is dedicated to the study of the effect of replicas distribution on data grid performances. In this respect, our main contributions are as follows: 1) An overview of replication strategies mainly from the viewpoints of the considered parameters in their associated steps as well as the used metrics in the literature for their evaluation. 2) A study of the impact of placement strategies on data grid performance which motivated the analysis of the effect of the replicas distribution quality on the performance results of replication strategies. 3) The proposal of new evaluation metrics dedicated to the evaluation of the distribution quality. 4) The setting of an objective evaluation of replication strategies which is based on a beforehand assessment of the distribution quality. The second axis is mainly dedicated to exploiting results of data mining techniques to enhance performances of replication strategies. With respect to this axis, we mainly concentrate on the following contributions listed below: 1) The study of the strengths and the drawbacks of the main replication strategies based on data mining techniques and how these latter are applied in this context. 2) The proposal of a new guideline to data mining application in the context of data grid replication strategies. 3) The proposal of a new algorithm for mining maximal frequent correlated patterns. The input of this algorithm is obtained through a preliminary step focusing on how to adapt the required grid concepts to the data mining algorithm. 4) The design and the implementation of a new replication strategy based on a data mining technique, and more precisely correlated patterns.


title: The formation of compact objects at finite temperatures in a dark-matter-candidate self-gravitating bosonic system

abstract: We study self-gravitating bosonic systems, candidates for dark-matter halos, by carrying out a suite of direct numerical simulations (DNSs) designed to investigate the formation of finitetemperature, compact objects in the three-dimensional (3D) Fourier-truncated Gross-Pitaevskii-Poisson equation (GPPE). This truncation allows us to explore the collapse and fluctuations of compact objects, which form at both zero temperature and finite temperature. We show that the statistically steady state of the GPPE, in the large-time limit and for the system sizes we study, can also be obtained efficiently by tuning the temperature in an auxiliary stochastic Ginzburg-Landau-Poisson equation (SGLPE). We show that, over a wide range of model parameters, this system undergoes a thermally driven first-order transition from a collapsed, compact, Bose-Einstein condensate (BEC) to a tenuous Bose gas without condensation. By a suitable choice of initial conditions in the GPPE, we also obtain a binary condensate that comprises a pair of collapsed objects rotating around their center of mass.


title: Bogomolny equations for the BPS Skyrme models with impurity

abstract: We show that the BPS Skyrme model, as well as its (2+1) dimensional baby version (restricted), can be coupled with an impurity in the BPS preserving manner. The corresponding Bogomolny equations are derived.


title: Measurement of BAS-TR imaging plate response to energetic aluminum ions

abstract: We measured the response of BAS-TR imaging plate (IP) to energetic aluminum ions in the 0 to 222 MeV energy range, and compared it with predictions from a Monte Carlo simulation code using two different IP models. Energetic aluminum ions were produced with an intense laser pulse, and the response was evaluated from cross-calibration between CR-39 track detector and IP energy spectrometer. For the first time, we obtained the response function of the BAS-TR IP for aluminum ions in the energy range from 0 to 222 MeV. Notably the IP sensitivity in the exponential model is nearly constant from 36 MeV to 160 MeV.

categories: physics.ins-det hep-ex nucl-ex physics.plasm-ph