title: Average-case complexity of a branch-and-bound algorithm for min dominating set

abstract: The average-case complexity of a branch-and-bound algorithms for Minimum Dominating Set problem in random graphs in the G(n,p) model is studied. We identify phase transitions between subexponential and exponential average-case complexities, depending on the growth of the probability p with respect to the number n of nodes.


title: High Sensitivity {\phi}-OTDR over Long Distance with Polarization Multiplexed Codes

abstract: Newly introduced polarization diversity probing codes are suggested to enhance the sensitivity and bandwidth performance of differential phase-sensitive distributed OTDR systems. This was recently demonstrated by means of short-length specialized fibers with a backscattering induced by equally spaced Fiber Bragg Gratings inserted in the fiber itself. The work summarized in this letter aims to extend the polarization-diversity probing technique to widely spread standard single mode fibers (SSMF) used for telecommunications, by solely exploiting the Rayleigh backscattering. Conditions to achieve perfect phase estimation along such fibers are first detailed. An experimental validation highlights the ability to detect and localize, over 25km of SSMF, multiple low-energy perturbations within a 475Hz-bandwidth.


title: Explanation in Human-AI Systems: A Literature Meta-Review, Synopsis of Key Ideas and Publications, and Bibliography for Explainable AI

abstract: This is an integrative review that address the question, "What makes for a good explanation?" with reference to AI systems. Pertinent literatures are vast. Thus, this review is necessarily selective. That said, most of the key concepts and issues are expressed in this Report. The Report encapsulates the history of computer science efforts to create systems that explain and instruct (intelligent tutoring systems and expert systems). The Report expresses the explainability issues and challenges in modern AI, and presents capsule views of the leading psychological theories of explanation. Certain articles stand out by virtue of their particular relevance to XAI, and their methods, results, and key points are highlighted. It is recommended that AI/XAI researchers be encouraged to include in their research reports fuller details on their empirical or experimental methods, in the fashion of experimental psychology research reports: details on Participants, Instructions, Procedures, Tasks, Dependent Variables (operational definitions of the measures and metrics), Independent Variables (conditions), and Control Conditions.


title: A Surveillance Infrastructure for Malaria Analytics: Provisioning Data Access and Preservation of Interoperability

abstract: We propose the Semantics, Interoperability, and Evolution for Malaria Analytics (SIEMA) platform for use in malaria surveillance based on semantic data federation. Using this approach, it is possible to access distributed data, extend and preserve interoperability between multiple dynamic distributed malaria sources, and facilitate detection of system changes that can interrupt mission-critical global surveillance activities. We used Semantic Automated Discovery and Integration (SADI) Semantic Web Services to enable data access and improve interoperability, and the graphical user interface-enabled semantic query engine HYDRA to implement the target queries typical of malaria programs. We implemented a custom algorithm to detect changes to community-developed terminologies, data sources, and services that are core to SIEMA. This algorithm reports to a dashboard. Valet SADI is used to mitigate the impact of changes by rebuilding affected services. We developed a prototype surveillance and change management platform from a combination of third-party tools, community-developed terminologies, and custom algorithms. We illustrated a methodology and core infrastructure to facilitate interoperable access to distributed data sources using SADI Semantic Web services. This degree of access makes it possible to implement complex queries needed by our user community with minimal technical skill. We implemented a dashboard that reports on terminology changes that can render the services inactive, jeopardizing system interoperability. Using this information, end users can control and reactively rebuild services to preserve interoperability and minimize service downtime.


title: Disguised-Nets: Image Disguising for Privacy-preserving Outsourced Deep Learning

abstract: Deep learning model developers often use cloud GPU resources to experiment with large data and models that need expensive setups. However, this practice raises privacy concerns. Adversaries may be interested in: 1) personally identifiable information or objects encoded in the training images, and 2) the models trained with sensitive data to launch model-based attacks. Learning deep neural networks (DNN) from encrypted data is still impractical due to the large training data and the expensive learning process. A few recent studies have tried to provide efficient, practical solutions to protect data privacy in outsourced deep-learning. However, we find out that they are vulnerable under certain attacks. In this paper, we specifically identify two types of unique attacks on outsourced deep-learning: 1) the visual re-identification attack on the training data, and 2) the class membership attack on the learned models, which can break existing privacy-preserving solutions. We develop an image disguising approach to address these attacks and design a suite of methods to evaluate the levels of attack resilience for a privacy-preserving solution for outsourced deep learning. The experimental results show that our image-disguising mechanisms can provide a high level of protection against the two attacks while still generating high-quality DNN models for image classification.


title: Quantum Sparse Support Vector Machines

abstract: We analyze the computational complexity of Quantum Sparse Support Vector Machine, a linear classifier that minimizes the hinge loss and the $L_1$ norm of the feature weights vector and relies on a quantum linear programming solver instead of a classical solver. Sparse SVM leads to sparse models that use only a small fraction of the input features in making decisions, and is especially useful when the total number of features, $p$, approaches or exceeds the number of training samples, $m$. We prove a $\Omega(m)$ worst-case lower bound for computational complexity of any quantum training algorithm relying on black-box access to training samples; quantum sparse SVM has at least linear worst-case complexity. However, we prove that there are realistic scenarios in which a sparse linear classifier is expected to have high accuracy, and can be trained in sublinear time in terms of both the number of training samples and the number of features.


title: Dark Hole Maintenance and A Posteriori Intensity Estimation in the Presence of Speckle Drift in a High-Contrast Space Coronagraph

abstract: Direct exoplanet imaging via coronagraphy requires maintenance of high contrast in a dark hole for lengthy integration periods. Wavefront errors that change slowly over that time accumulate and cause systematic errors in the star's Point Spread Function (PSF) which limit the achievable signal-to-noise ratio of the planet. In this paper we show that estimating the speckle drift can be achieved via intensity measurements in the dark hole together with dithering of the deformable mirrors to increase phase diversity. A scheme based on an Extended Kalman Filter and Electric Field Conjugation is proposed for maintaining the dark hole during the integration phase. For the post-processing phase, an a posteriori approach is proposed to estimate the realization of the PSF drift process and the intensity of the planet light incoherent with the speckles.


title: So close, so different: characterization of the K2-36 planetary system with HARPS-N

abstract: K2-36 is a K dwarf orbited by two small ($R_{\rm b}=1.43\pm0.08$ $R_\oplus$ and $R_{\rm c}=3.2\pm0.3$ $R_\oplus$), close-in ($a_{\rm b}$=0.022 AU and $a_{\rm c}$=0.054 AU) transiting planets discovered by Kepler/K2. They are representatives of two families of small planets ($R_{\rm p}$<4 $R_\oplus$) recently emerged from the analysis of Kepler data, with likely a different structure, composition and evolutionary pathways. We revise the fundamental stellar parameters and the sizes of the planets, and provide the first measurement of their masses and bulk densities, which we use to infer their structure and composition. We observed K2-36 with the HARPS-N spectrograph over $\sim$3.5 years, collecting 81 useful radial velocity measurements. The star is active, with evidence for increasing levels of magnetic activity during the observing time span. The radial velocity scatter is $\sim$17 \ms due to the stellar activity contribution, which is much larger that the semi-amplitudes of the planetary signals. We tested different methods for mitigating the stellar activity contribution to the radial velocity time variations and measuring the planet masses with good precision. We found that K2-36 is likely a $\sim$1 Gyr old system, and by treating the stellar activity through a Gaussian process regression, we measured the planet masses $m_{\rm b}$=3.9$\pm$1.1 $M_\oplus$ and $m_{\rm c}$=7.8$\pm$2.3 $M_\oplus$. The derived planet bulk densities $\rho_{\rm b}$=7.2$^{+2.5}_{-2.1}$ $g/cm^{3}$ and $\rho_{\rm c}$=1.3$^{+0.7}_{-0.5}$ $g/cm^{3}$ point out that K2-36\,b has a rocky, Earth-like composition, and K2-36\,c is a low-density sub-Neptune. Composed of two planets with similar orbital separations but different densities, K2-36 represents an optimal laboratory for testing the role of the atmospheric escape in driving the evolution of close-in, low-mass planets after $\sim$1 Gyr from their formation.


title: Stability in the cohomology of the space of complex irreducible polynomials in several variables

abstract: We prove that the space of complex irreducible polynomials of degree $d$ in $n$ variables satisfies two forms of homological stability: first, its cohomology stabilizes as $d$ increases, and second, its compactly supported cohomology stabilizes as $n$ increases. Our topological results are inspired by counting results over finite fields due to Carlitz and Hyde.


title: Separating value functions across time-scales

abstract: In many finite horizon episodic reinforcement learning (RL) settings, it is desirable to optimize for the undiscounted return - in settings like Atari, for instance, the goal is to collect the most points while staying alive in the long run. Yet, it may be difficult (or even intractable) mathematically to learn with this target. As such, temporal discounting is often applied to optimize over a shorter effective planning horizon. This comes at the risk of potentially biasing the optimization target away from the undiscounted goal. In settings where this bias is unacceptable - where the system must optimize for longer horizons at higher discounts - the target of the value function approximator may increase in variance leading to difficulties in learning. We present an extension of temporal difference (TD) learning, which we call TD($\Delta$), that breaks down a value function into a series of components based on the differences between value functions with smaller discount factors. The separation of a longer horizon value function into these components has useful properties in scalability and performance. We discuss these properties and show theoretic and empirical improvements over standard TD learning in certain settings.


title: Kelvin-Froude wake patterns of a traveling pressure disturbance

abstract: According to Kelvin, a point pressure source uniformly traveling over the surface of deep calm water leaves behind universal wake pattern confined within $39^{\circ}$ sector and consisting of the so-called transverse and diverging wavefronts. Actual ship wakes differ in their appearance from both each other and Kelvin's prediction. The difference can be attributed to a deviation from the point source limit and for given shape of the disturbance quantified by the Froude number $F$. We show that within linear theory effect of arbitrary disturbance on the wake pattern can be mimicked by an effective pressure distribution. Further, resulting wake patterns are qualitatively different depending on whether water-piercing is present or not ("sharp" vs "smooth" disturbances). For smooth pressure sources, we generalize Kelvin's stationary phase argument to encompass finite size effects and classify resulting wake patterns. Specifically, we show that there exist two characteristic Froude numbers, $F_{1}$ and $F_{2}>F_{1}$, such as the wake is only present if $F\gtrsim F_{1}$. For $F_{1}\lesssim F \lesssim F_{2}$, the wake consists of the transverse wavefronts confined within a sector of an angle that may be smaller than Kelvin's. An additional $39^{\circ}$ wake made of both the transverse and diverging wavefronts is found for $F\gtrsim F_{2}$. If the pressure source has sharp boundary, the wake is always present and features additional interference effects. Specifically, for a constant pressure line segment source mimicking slender ship the wake pattern can be understood as due to two opposing effect wakes resembling (but not identical to) Kelvin's and originating at segment's ends.


title: On diffusion processes with $B(\mathbb{R}^{2}, VMO)$ coefficients and "good" Green's functions of the corresponding operators

abstract: The solvability in Sobolev spaces with special mixed norms is proved for nondivergence form second order parabolic equations. The leading coefficients are assumed to be measurable in the time variable and two coordinates of space variables, and be almost in VMO (vanishing mean oscillation) with respect to the other coordinates. This solvability result implies the weak uniqueness of solutions of the corresponding stochastic It\^o equations in the class of "good" solutions (which is nonempty). This also implies uniqueness of a Green's function in the class of "good" ones (which is always nonempty).


title: Situational Grounding within Multimodal Simulations

abstract: In this paper, we argue that simulation platforms enable a novel type of embodied spatial reasoning, one facilitated by a formal model of object and event semantics that renders the continuous quantitative search space of an open-world, real-time environment tractable. We provide examples for how a semantically-informed AI system can exploit the precise, numerical information provided by a game engine to perform qualitative reasoning about objects and events, facilitate learning novel concepts from data, and communicate with a human to improve its models and demonstrate its understanding. We argue that simulation environments, and game engines in particular, bring together many different notions of "simulation" and many different technologies to provide a highly-effective platform for developing both AI systems and tools to experiment in both machine and human intelligence.


title: An experimental test of gravity at high energy

abstract: Gravitational lensing of very high energy photons has recently been observed in the JVAS B0218+357 strong lensing system. This observation opens the possibility of performing a test of gravity at high energy by comparing the difference in propagation time of high energy photons over different travel paths. The time delay is computed in the framework of a LIV (Lorentz Invariance Violation) extension of the equations of motion of photons in the field of a massive object. However, the method obtained can be transposed to other models of gravity at high energy. The potential for constraining high energy gravity with future observations of JVAS B0218+357 is discussed. The bounds on the LIV energy scale will not be competitive with other astrophysical bounds such as those coming from AGN and GRB flares. However, these bounds are free of any assumption on the emission process.


title: A Survey of Limitations and Enhancements of the IPv6 Routing Protocol for Low-power and Lossy Networks: A Focus on Core Operations

abstract: Driven by the special requirements of the Lowpower and Lossy Networks (LLNs), the IPv6 Routing Protocol for LLNs (RPL) was standardized by the IETF some six years ago to tackle the routing issue in such networks. Since its introduction, however, numerous studies have pointed out that, in its current form, RPL suffers from issues that limit its efficiency and domain of applicability. Thus, several solutions have been proposed in the literature in an attempt to overcome these identified limitations. In this survey, we aim mainly to provide a comprehensive review of these research proposals assessing whether such proposals have succeeded in overcoming the standard reported limitations related to its core operations. Although some of RPL weaknesses have been addressed successfully, the study found that the proposed solutions remain deficient in overcoming several others. Hence, the study investigates where such proposals still fall short, the challenges and pitfalls to avoid, thus would help researchers formulate a clear foundation for the development of further successful extensions in future allowing the protocol to be applied more widely.


title: Analyzing and Improving Representations with the Soft Nearest Neighbor Loss

abstract: We explore and expand the $\textit{Soft Nearest Neighbor Loss}$ to measure the $\textit{entanglement}$ of class manifolds in representation space: i.e., how close pairs of points from the same class are relative to pairs of points from different classes. We demonstrate several use cases of the loss. As an analytical tool, it provides insights into the evolution of class similarity structures during learning. Surprisingly, we find that $\textit{maximizing}$ the entanglement of representations of different classes in the hidden layers is beneficial for discrimination in the final layer, possibly because it encourages representations to identify class-independent similarity structures. Maximizing the soft nearest neighbor loss in the hidden layers leads not only to improved generalization but also to better-calibrated estimates of uncertainty on outlier data. Data that is not from the training distribution can be recognized by observing that in the hidden layers, it has fewer than the normal number of neighbors from the predicted class.


title: Beltrami fields with nonconstant proportionality factor

abstract: We consider the question raised by Enciso and Peralta-Salas in [4] (see arXiv:1402.6825): What nonconstant functions $f$ can occur as the proportionality factor for a Beltrami field $\mathbf{u}$ on an open subset $U \subset \mathbb{R}^3$? We also consider the related question: For any such $f$, how large is the space of associated Beltrami fields? By applying Cartan's method of moving frames and the theory of exterior differential systems, we are able to improve upon the results given in [4]. In particular, the answer to the second question depends crucially upon the geometry of the level surfaces of $f$. We conclude by giving a complete classification of Beltrami fields that possess either a translation symmetry or a rotation symmetry.


title: Central polynomials with involution for the algebra of $2\times 2$ upper triangular matrices

abstract: Let F be a field of characteristic different from $2$, and let $UT_2(F)$ be the algebra of $2\times 2$ upper triangular matrices over $F$. For every involution of the first kind on $UT_2(F)$, we describe the set of all $*$-central polynomials for this algebra.


title: Atomistic survey of grain boundary dislocation interactions in FCC Nickel

abstract: It is well known that grain boundaries (GBs) have a strong influence on mechanical properties of polycrystalline materials. Not as well-known is how different GBs interact with dislocations to influence dislocation movement. This work presents a molecular dynamics study of 33 different FCC Ni bicrystals, each subjected to four different strain states to induce incident dislocation-GB interactions for 132 unique configurations. The resulting simulations are analyzed to determine properties of the interaction that affect the likelihood of transmission of the dislocation through the GB in an effort to better inform mesoscale models of dislocation movement within polycrystals. It is found that the ability to predict the slip system of a transmitted dislocation using common geometric criteria is confirmed. Furthermore, machine learning processes are implemented revealing that geometric properties, such as the minimum potential residual Burgers vector (RBV) and the disorientation between the two grains, are stronger indicators of whether or not a dislocation would transmit than other properties, such as the resolved shear stress.


title: TzK: Flow-Based Conditional Generative Model

abstract: We formulate a new class of conditional generative models based on probability flows. Trained with maximum likelihood, it provides efficient inference and sampling from class-conditionals or the joint distribution, and does not require a priori knowledge of the number of classes or the relationships between classes. This allows one to train generative models from multiple, heterogeneous datasets, while retaining strong prior models over subsets of the data (e.g., from a single dataset, class label, or attribute). In this paper, in addition to end-to-end learning, we show how one can learn a single model from multiple datasets with a relatively weak Glow architecture, and then extend it by conditioning on different knowledge types (e.g., a single dataset). This yields log likelihood comparable to state-of-the-art, compelling samples from conditional priors.


title: A Generalized Framework for Population Based Training

abstract: Population Based Training (PBT) is a recent approach that jointly optimizes neural network weights and hyperparameters which periodically copies weights of the best performers and mutates hyperparameters during training. Previous PBT implementations have been synchronized glass-box systems. We propose a general, black-box PBT framework that distributes many asynchronous "trials" (a small number of training steps with warm-starting) across a cluster, coordinated by the PBT controller. The black-box design does not make assumptions on model architectures, loss functions or training procedures. Our system supports dynamic hyperparameter schedules to optimize both differentiable and non-differentiable metrics. We apply our system to train a state-of-the-art WaveNet generative model for human voice synthesis. We show that our PBT system achieves better accuracy, less sensitivity and faster convergence compared to existing methods, given the same computational resource.


title: Minimal plateau inflationary cosmologies and constraints from reheating

abstract: With the growing consensus on simple power law inflation models not being favored by the PLANCK observations, dynamics for the non-standard inflation gain significant interest in the recent past. In this paper, we analyze in detail a class of supergravity inspired phenomenological inflationary models with non-polynomial potential based on Maity (Nucl.Phys. B919 (2017) 560), and compare the model predictions with the currently most favored Starobinsky and its generalized $\alpha$-attractor models in the ($n_s$ , $r$) plane constrained by PLANCK. Importantly for a wide range of parameter space, our model provides successful inflation in the sub-Planckian regime. We also have performed model independent analysis of reheating in terms of the effective equation of state parameter. In particular, we consider two stages of reheating dynamics with generalized inflaton equation of state in the initial and relativistic equation of state in the later phase. Finally, we show how our generalized reheating analysis constrains the inflation models under consideration


title: A Composable Coreset for k-Center in Doubling Metrics

abstract: A set of points $P$ in a metric space and a constant integer $k$ are given. The $k$-center problem finds $k$ points as centers among $P$, such that the maximum distance of any point of $P$ to their closest centers $(r)$ is minimized. Doubling metrics are metric spaces in which for any $r$, a ball of radius $r$ can be covered using a constant number of balls of radius $r/2$. Fixed dimensional Euclidean spaces are doubling metrics. The lower bound on the approximation factor of $k$-center is $1.822$ in Euclidean spaces, however, $(1+\epsilon)$-approximation algorithms with exponential dependency on $\frac{1}{\epsilon}$ and $k$ exist. For a given set of sets $P_1,\ldots,P_L$, a composable coreset independently computes subsets $C_1\subset P_1, \ldots, C_L\subset P_L$, such that $\cup_{i=1}^L C_i$ contains an approximation of a measure of the set $\cup_{i=1}^L P_i$. We introduce a $(1+\epsilon)$-approximation composable coreset for $k$-center, which in doubling metrics has size sublinear in $|P|$. This results in a $(2+\epsilon)$-approximation algorithm for $k$-center in MapReduce with a constant number of rounds in doubling metrics for any $\epsilon>0$ and sublinear communications, which is based on parametric pruning. We prove the exponential nature of the trade-off between the number of centers $(k)$ and the radius $(r)$, and give a composable coreset for a related problem called dual clustering. Also, we give a new version of the parametric pruning algorithm with $O(\frac{nk}{\epsilon})$ running time, $O(n)$ space and $2+\epsilon$ approximation factor for metric $k$-center.


title: Imaging the Distribution of Solids in Planet-forming Disks undergoing Hydrodynamical Instabilities with the Next Generation Very Large Array

abstract: We present simulations of the capabilities of the Next Generation Very Large Array to image at high angular resolution substructures in the dust emission of protoplanetary disks. The main goal of this study is to investigate the kinds of substructures that are expected by state-of-the-art 3D simulations of disks and that an instrument like the ngVLA, with its current design, can detect. The disk simulations adopted in this investigation consist of global 3D radiation-hydrodynamics models with embedded particles, the latter representing dust grains. Our work shows that the ngVLA can detect and spatially resolve, down to sub-astronomical unit scales in disks in nearby star forming regions, the dust continuum emission at 3mm from azimuthal asymmetric structures, as well as from weak rings and gaps produced in these models as a consequence of the vertical shear instability (VSI). This hydrodynamical instability has been proposed to generate turbulence in regions of weak coupling between the disk gas and magnetic field, as well as to form vortices which may be preferred locations of planetesimal formation.


title: Optimal Divisible Load Scheduling for Resource-Sharing Network

abstract: Scheduling is an important task allowing parallel systems to perform efficiently and reliably. For modern computation systems, divisible load is a special type of data which can be divided into arbitrary sizes and independently processed in parallel. Such loads are commonly encountered in applications which are processing a great amount of similar data units. For a multi-task processor, the processor's speed may be time-varying due to the arrival and departure of other background jobs. This paper studies an optimal divisible loads scheduling problem on a single level tree network, whose processing speeds and channel speeds are time-varying. Two recursive algorithms are provided to solve this problem when the arrival and departure times of the background jobs are known a priori and an iterative algorithm is provided to solve the case where such times are not known. Numerical tests and evaluations are performed for these three algorithms under different numbers of background jobs and processors.


title: Reinforcement Learning for Optimal Load Distribution Sequencing in Resource-Sharing System

abstract: Divisible Load Theory (DLT) is a powerful tool for modeling divisible load problems in data-intensive systems. This paper studied an optimal divisible load distribution sequencing problem using a machine learning framework. The problem is to decide the optimal sequence to distribute divisible load to processors in order to achieve minimum finishing time. The scheduling is performed in a resource-sharing system where each physical processor is virtualized to multiple virtual processors. A reinforcement learning method called Multi-armed bandit (MAB) is used for our problem. We first provide a naive solution using the MAB algorithm and then several optimizations are performed. Various numerical tests are conducted. Our algorithm shows an increasing performance during the training progress and the global optimum will be acheived when the sample size is large enough.


title: Crossed modules and symmetric cohomology of groups

abstract: This paper links the third symmetric cohomology (introduced by Staic and Zarelua ) to crossed modules with certain properties. The equivalent result in the language of 2-groups states that an extension of 2-groups corresponds to an element of $HS^3$ iff it possesses a section which preserves inverses in the 2-categorical sense. This ties in with Staic's (and Zarelua's) result regarding $HS^2$ and abelian extensions of groups.


title: Conserved chiral currents on the boundary of 3D Maxwell theory

abstract: In this paper the 3D Maxwell theory with single-sided planar boundary is studied. As a consequence of the existence, on the boundary, of two Ward identities, we find two chiral conserved edge currents satisfying a Ka\c{c}-Moody algebra with central charge equal to the inverse of the Maxwell coupling constant. We show that the boundary degrees of freedom are two 2D scalar chiral bosons whose chiralities depend on the parameters of the bulk Maxwell theory. In particular, the edge chiral bosons may have opposite chiralities, in close analogy with the "spinon" and "holon" currents characterizing the 3D topological insulators.


title: Asymptotic Consistency of $\alpha-$R\'enyi-Approximate Posteriors

abstract: We study the asymptotic consistency properties of $\alpha$-R\'enyi approximate posteriors, a class of variational Bayesian methods that approximate an intractable Bayesian posterior with a member of a tractable family of distributions, the member chosen to minimize the $\alpha$-R\'enyi divergence from the true posterior. Unique to our work is that we consider settings with $\alpha > 1$, resulting in approximations that upperbound the log-likelihood, and consequently have wider spread than traditional variational approaches that minimize the Kullback-Liebler (KL) divergence from the posterior. Our primary result identifies sufficient conditions under which consistency holds, centering around the existence of a 'good' sequence of distributions in the approximating family that possesses, among other properties, the right rate of convergence to a limit distribution. We further characterize the good sequence by demonstrating that a sequence of distributions that converges too quickly cannot be a good sequence. We also extend our analysis to the setting where $\alpha$ equals one, corresponding to the minimizer of the reverse KL divergence, and to models with local latent variables. We also illustrate the existence of good sequence with a number of examples. Our results complement a growing body of work focused on the frequentist properties of variational Bayesian methods.


title: Exponentiated Gradient Meets Gradient Descent

abstract: The (stochastic) gradient descent and the multiplicative update method are probably the most popular algorithms in machine learning. We introduce and study a new regularization which provides a unification of the additive and multiplicative updates. This regularization is derived from an hyperbolic analogue of the entropy function, which we call hypentropy. It is motivated by a natural extension of the multiplicative update to negative numbers. The hypentropy has a natural spectral counterpart which we use to derive a family of matrix-based updates that bridge gradient methods and the multiplicative method for matrices. While the latter is only applicable to positive semi-definite matrices, the spectral hypentropy method can naturally be used with general rectangular matrices. We analyze the new family of updates by deriving tight regret bounds. We study empirically the applicability of the new update for settings such as multiclass learning, in which the parameters constitute a general rectangular matrix.


title: Spectral sequences of Type Ia supernovae. II. Carbon as a diagnostic tool for explosion mechanisms

abstract: How an otherwise inert carbon-oxygen white dwarf can be made to explode as a Type Ia supernova remains unknown. A promising test of theoretical models is to constrain the distribution of material that is left unburned, in particular of carbon. So far, most investigations used line identification codes to detect carbon in the ejecta, a method that cannot be readily compared against model predictions because it requires assumed opacities and temperatures. Here, we instead use tomographic techniques to investigate the amount of carbon in the inner layers of SN~2011fe, starting from the previously published tomographic analysis of Mazzali et al. From the presence of the carbon feature in the optical at early epochs and its disappearance later on, we derive an average carbon mass fraction between 0.001 and 0.05 for velocities in the range $13500 \lesssim v \lesssim 16000\ \rm{km\ s^{-1}}$, and an upper limit of 0.005 inside that region. Based on our models and the assumed density profile, only small amounts of carbon should be in the neutral state, too little to be responsible for features seen in near-infrared spectra that were previously identified as due to neutral carbon; We discuss possible reasons for this discrepancy. We compare our results against a suite of explosion models, although uncertainties in both the models and our simulations make it difficult to draw definitive conclusions.


title: Directional emission of a deterministically fabricated quantum dot - Bragg reflection multi-mode waveguide system

abstract: We report on the experimental study and numerical analysis of chiral light-matter coupling in deterministically fabricated quantum dot (QD) waveguide structures. We apply in-situ electron beam lithography to deterministically integrate single InGaAs/GaAs QDs into GaAs-DBR waveguides to systematically explore the dependence of chiral coupling on the position of the QD inside the waveguide. By a series of micro-photoluminescence measurements, we determine the directionality contrast of emission into left and right traveling waveguide modes revealing a maximum of 0.93 for highly off-center QDs and an oscillatory dependence of this contrast on the QD position. In numerical simulations we obtain insight into chiral light-matter coupling by computing the light field emitted by a circularly polarized source and its overlap with multiple guided modes of the structure, which enables us to calculate directional $\beta$-factors for the quantum emitters. The calculated dependence of the directionality on the off-center QD position is in good agreement with the experimental data. It confirms the control of chiral effects in deterministically fabricated QD-waveguide systems with high potential for future non-reciprocal on-chip systems required for quantum information processing.


title: Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software

abstract: Rust is a popular programming language in building various low-level software in recent years. It aims to provide safe concurrency when implementing multi-threaded software through a suite of compiler checking rules. Unfortunately, there is limited understanding of how the checking rules influence the safety of concurrent programming in Rust applications. In this paper, we perform a preliminary study on Rust's concurrency safety from two aspects: concurrency usage and concurrency bugs. Our study can provide better understanding on Rust's concurrency and can guide future researchers and practitioners in writing better, more reliable Rust software and in developing debugging and bug detection tools for Rust.


title: Null controllability of a degenerate parabolic equation with delay

abstract: We are concerned about the null controllability of a linear degenerate parabolic equation with one delay parameter on the line $(0,1)$, where the control force is exerted on a subdomain of $(0,1)$ or on the boundary. For that we show how Carleman estimate can be used to establish such results. The second novelty, we discus the problem of boundary control for parabolic degenerate equations with delay.


title: Superconductivity in nanocrystalline tungsten thin films growth by sputtering in a nitrogen-argon mixture

abstract: We report on the structural and superconducting properties of nanocrystalline tungsten thin films growth by sputtering at room temperature with an N2:Ar mixture (N2 from 3% to 50%). The crystalline phases were identified by comparing pristine and thermal annealed thin films. For N2/(Ar+N2) mixtures between 3 and 10 %, the films display nanocrystalline beta-W phase. Coexistence of beta-W and W2N phases are observed for gas mixtures with N2 between 20 % and 40%. A detailed study of the superconducting properties as function of the thickness was performed for W films growth with 8 % N2 mixtures. For this concentration, the nitrogen atoms increase the disorder at the nanoscale reducing the grain size and avoiding the crystallization of alpha-W. The superconducting critical temperature (Tc = 4.7 K) is thickness independent for films thicker than ~ 17 nm. Below this thickness, the Tc value decreases systematically being 3.1 K for 4 nm thick films. Our study provides a simple method for the fabrication of nanocrystalline beta-W thin films with potential applications in superconducting devices.


title: Adaptive Stress Testing for Autonomous Vehicles

abstract: This paper presents a method for testing the decision making systems of autonomous vehicles. Our approach involves perturbing stochastic elements in the vehicle's environment until the vehicle is involved in a collision. Instead of applying direct Monte Carlo sampling to find collision scenarios, we formulate the problem as a Markov decision process and use reinforcement learning algorithms to find the most likely failure scenarios. This paper presents Monte Carlo Tree Search (MCTS) and Deep Reinforcement Learning (DRL) solutions that can scale to large environments. We show that DRL can find more likely failure scenarios than MCTS with fewer calls to the simulator. A simulation scenario involving a vehicle approaching a crosswalk is used to validate the framework. Our proposed approach is very general and can be easily applied to other scenarios given the appropriate models of the vehicle and the environment.


title: Quantum Memory and Quantum Cloning in Atomic Frequency Comb

abstract: Atomic frequency comb (AFC) made of an ensemble of atoms with a periodic optical resonance was originally proposed as a viable approach for quantum memory for photons. In this paper, we examine the quantum cloning capacity of an AFC in terms of the spectral distribution of the atomic populations in the energy levels associated by the optical transition. Expressions are derived for the memory readout efficiency, signal to noise ratio, and fidelity for an input at the single photon level. When applied to a square toothed AFC, our analysis shows that there is a region where amplification from the excited state results in greater than unit recall efficiency, while maintaining a fidelity greater than the classical limit.


title: Uniform concentration and symmetrization for weak interactions

abstract: The method to derive uniform bounds with Gaussian and Rademacher complexities is extended to the case where the sample average is replaced by a nonlinear statistic. Tight bounds are obtained for U-statistics, smoothened L-statistics and error functionals of l2-regularized algorithms.


title: Holographic Complexity and Charged Scalar Fields

abstract: We construct a time-dependent expression of the computational complexity of a quantum system which consists of two conformal complex scalar field theories in d dimensions coupled to constant electric potentials and defined on the boundaries of a charged AdS black hole in (d+1) dimensions. Using a suitable choice of the reference state, Hamiltonian gates and the metric on the manifold of unitaries, we find that the complexity grows linearly for a relatively large interval of time. We also remark that for scalar fields with very small charges the rate of variation of the complexity cannot exceed a maximum value known as the Lloyd bound.


title: Joint Channel Coding and Cooperative Network Coding on PSK Constellations in Wireless Networks

abstract: In this paper, we consider the application of Reed- Solomon (RS) channel coding for joint error correction and cooperative network coding on non-binary phase shift keying (PSK) modulated signals. The relay first decodes the RS channel coded messages received each in a time slot from all sources before applying network coding (NC) by the use of bit-level exclusive OR (XOR) operation. The network coded resulting message is then channel encoded before its transmission to the next relay or to the destination according to the network configuration. This scenario shows superior performance in comparison with the case where the relay does not perform channel coding/decoding. For different orders of PSK modulation and different wireless configurations, simulation results demonstrate the improvements resulting from the use of RS channel codes in terms of symbol error rate (SER) versus signal-to-noise ratio (SNR).


title: Wall turbulence with constrained energy extraction from mean flow

abstract: We study the mechanism of energy injection from the mean flow to the fluctuating velocity necessary to maintain wall turbulence. This process is believed to be correctly represented by the linearized Navier--Stokes equations, and three potential linear mechanisms have been considered, namely, modal instability of the streamwise mean cross-flow $U(y,z,t)$, non-modal transient growth, and non-modal transient growth supported by parametric instability. We have designed three numerical experiments of plane turbulent channel flow with additional forcing terms aiming to neutralize one or various linear mechanisms for energy extraction. From our preliminary experiments, only cases with mean cross-flows capable of supporting modal instabilities were found to sustain turbulence. However, the question whether such a new turbulence complies with the same physical mechanisms as those occurring in actual (unforced) turbulence remains unanswered. On the other hand, cases exclusively supported by transient growth decayed until laminarization.


title: Is there any hidden symmetry in the stripe structure of perovskite high temperature superconductors?

abstract: Local and fast structural probes using synchrotron radiation have shown nanoscale striped puddles and nanoscale phase separation in doped perovskites.It is known that the striped phases in doped perovskites are due to competing interactions involving charge, spin and lattice degrees of freedom,but while many theoretical models for spin and charge stripes have been proposed we are missing theoretical models describing the complex lattice striped modulations in doped perovskites. In this work we show that two different stripes can be represented as a superposition of a pair of stripes, U(theta_n) and D(theta_n), characterized by perovskite tilts where one of the pair is rotated in relation to the other partner by an angle Delta(theta _n)=pi/2. The spatial distribution of the U and D stripes is reduced to all possible maps in the well-known mathematical four-color theorem. Both the periodic striped puddles and random structures can be represented by using $planar$ graphs with a chromatic number. To observe the colors in mapping experiments, it is necessary to recover variously oriented tilting effects from the replica. It is established that there is an interplay between the annihilation/creation of new stripes and ordering/disordering tilts in relation to the theta _n angle in the CuO2 plane, where the characteristic shape of the stripes coincides with the tilting-ordered regions. By their origin, the boundaries between the stripes should be atomically sharp.


title: The Fuglede conjecture holds in $\mathbb{Z}^3_5$

abstract: The Fuglede conjecture states that a set is spectral if and only if it tiles by translation. The conjecture was disproved by T. Tao for dimensions 5 and higher by giving a counterexample in $\mathbb{Z}_3^5$. We present a computer program that determines that the Fuglede conjecture holds in $\mathbb{Z}_5^3$ by exhausting the search space. A. Iosevich, A. Mayeli and J. Pakianathan showed that the Fuglede conjecture holds over prime fields when the dimension does not exceed 2. The question for dimension 3 was previously addressed by Aten et al. for $p=3$. In this paper we build upon the results of their work to allow a computer to carry out the lengthy computations.


title: Same, Same But Different - Recovering Neural Network Quantization Error Through Weight Factorization

abstract: Quantization of neural networks has become common practice, driven by the need for efficient implementations of deep neural networks on embedded devices. In this paper, we exploit an oft-overlooked degree of freedom in most networks - for a given layer, individual output channels can be scaled by any factor provided that the corresponding weights of the next layer are inversely scaled. Therefore, a given network has many factorizations which change the weights of the network without changing its function. We present a conceptually simple and easy to implement method that uses this property and show that proper factorizations significantly decrease the degradation caused by quantization. We show improvement on a wide variety of networks and achieve state-of-the-art degradation results for MobileNets. While our focus is on quantization, this type of factorization is applicable to other domains such as network-pruning, neural nets regularization and network interpretability.


title: CMS Sematrix: A Tool to Aid the Development of Clinical Quality Measures (CQMs)

abstract: As part of the effort to improve quality and to reduce national healthcare costs, the Centers for Medicare and Medicaid Services (CMS) are responsible for creating and maintaining an array of clinical quality measures (CQMs) for assessing healthcare structure, process, outcome, and patient experience across various conditions, clinical specialties, and settings. The development and maintenance of CQMs involves substantial and ongoing evaluation of the evidence on the measure's properties: importance, reliability, validity, feasibility, and usability. As such, CMS conducts monthly environmental scans of the published clinical and health service literature. Conducting time consuming, exhaustive evaluations of the ever-changing healthcare literature presents one of the largest challenges to an evidence-based approach to healthcare quality improvement. Thus, it is imperative to leverage automated techniques to aid CMS in the identification of clinical and health services literature relevant to CQMs. Additionally, the estimated labor hours and related cost savings of using CMS Sematrix compared to a traditional literature review are roughly 818 hours and 122,000 dollars for a single monthly environmental scan.


title: Fuzzy Limits of Fuzzy Functions

abstract: In this paper, we propose the theory of fuzzy limit of fuzzy function depending on the Altai principle and using the representation theorem (resolution principle) to run the fuzzy arithmetic


title: An Enhanced Interleaving Frame Loss Concealment Method for Voice Over IP Network Services

abstract: This paper focuses on AMR WB G.722.2 speech codec, and discusses the unused bandwidth resources of the senders by using a Word16(16 bit) to encode the sent frames. A packet loss concealment (PLC) method for G.722.2 speech codec is proposed in order to overcome this problem and increases the efficiency of this codec by improving the quality of decoded speech under burst frame loss conditions over frame-switched networks. Objective and subjective experimental results confirm that our proposed algorithm could achieve better speech quality. Our proposed method achieves a PESQ value higher than 2 at 20% frame erasure rate and ensure the compatibility between our modified decoder and the non-modified G.722.2 coder.


title: Dust rotational dynamics in non-stationary shock: rotational disruption of nanoparticles by stochastic mechanical torques and spinning dust emission

abstract: In a previous work, Hoang and Tram discovered a new mechanism for destruction of nanoparticles due to suprathermal rotation of grains in stationary C-shocks, which is termed rotational disruption. In this paper, we extend our previous study for non-stationary shocks driven by outflows and young supernovae remnants that have dynamical ages shorter than the time required to establish a stationary C-shock, which is composed of a C-shock and a J-shock tail (referred as CJ-shock). For the C-shock component, we find that smallest nanoparticles (size $\lesssim 1$ nm) of weak materials (i.e., tensile strength $S_{\rm max} \lesssim 10^{9}\ \rm erg\ cm^{-3}$) can be rotationally disrupted due to suprathermal rotation induced by supersonic neutral drift. For the J-shock component, although nanoparticles are rotating thermally, the smallest ones can still be disrupted because the gas is heated to higher temperatures by J-shocks. We then model microwave emission from rapidly spinning nanoparticles where the grain size distribution has the lower cutoff determined by rotational disruption for the different shock models. We also calculate the spectral flux of microwave emission from a shocked region at distance of 100 pc from the observer for the different gas density, shock age, and shock velocities. We suggest that microwave emission from spinning dust can be used to trace nanoparticles and shock velocities in dense molecular outflows. Finally, we discuss a new way that can release molecules from the nanoparticle surface into the gas in the shocked regions, which we name rotational desorption.


title: Fast Decoding of Multi-Kernel Polar Codes

abstract: Polar codes are a class of linear error correction codes which provably attain channel capacity with infinite codeword lengths. Finite length polar codes have been adopted into the 5th Generation 3GPP standard for New Radio, though their native length is limited to powers of 2. Utilizing multiple polarizing matrices increases the length flexibility of polar codes at the expense of a more complicated decoding process. Successive cancellation (SC) is the standard polar decoder and has time complexity $\mathcal{O}(N \log N)$ due to its sequential nature. However, some patterns in the frozen set mirror simple linear codes with low latency decoders, which allows for a significant reduction in SC latency by pruning the decoding schedule. Such fast decoding techniques have only previously been used for traditional Arikan polar codes, causing multi-kernel polar codes to be an impractical length-compatibility technique with no fast decoders available. We propose fast simplified successive cancellation decoding node patterns, which are compatible with polar codes constructed with both the Arikan and ternary kernels, and generalization techniques. We outline efficient implementations, made possible by imposing constraints on ternary node parameters. We show that fast decoding of multi-kernel polar codes has at least 72% reduced latency compared with an SC decoder in all cases considered where codeword lengths are (96, 432, 768, 2304).


title: Active Learning for High-Dimensional Binary Features

abstract: Erbium-doped fiber amplifier (EDFA) is an optical amplifier/repeater device used to boost the intensity of optical signals being carried through a fiber optic communication system. A highly accurate EDFA model is important because of its crucial role in optical network management and optimization. The input channels of an EDFA device are treated as either on or off, hence the input features are binary. Labeled training data is very expensive to collect for EDFA devices, therefore we devise an active learning strategy suitable for binary variables to overcome this issue. We propose to take advantage of sparse linear models to simplify the predictive model. This approach simultaneously improves prediction and accelerates active learning query generation. We show the performance of our proposed active learning strategies on simulated data and real EDFA data.


title: Real-time Communication between Robot PLC and PC over Ethernet-based Protocols

abstract: The article provides a comparative analysis of four communication protocols between Omron PLC and PC for their use in real-time control of an industrial robot. The need for real-time communication appears when the robot control system is located on an external PC. The subject of the study is the FINS, CIP, UDP, and OPC protocols. The physical medium for data transmission is Fast Ethernet 100 Mbit/s. The average time characteristics of reading, writing, and write/read cycle for each protocol are given. The evaluation of the applicability of protocols for real-time robot control and the convenience of their use is also given.


title: Evaluation of Mg compounds as coating materials in Mg batteries

abstract: Mg batteries utilizing a Mg metal anode with a high-voltage intercalation cathode define a potential pathway toward energy storage with high energy density. However, the realization of Mg batteries is plagued by the instability of existing electrolytes against the Mg-metal anode and high-voltage cathode materials. One viable solution to this problem is the identification of protective coating materials that could effectively separate the distinct chemistries of the metal-anode and the cathode materials from the electrolyte. Using first-principles calculations we map the electrochemical stability windows for non-redox-active Mg binary and ternary compounds in order to identify potential coating materials for Mg batteries. Our results identify Mg-halides and Mg(BH$_4$)$_2$ as promising anode coating materials based on their significant reductive stability. On the cathode side, we single out MgF$_2$, Mg(PO$_3$)$_2$ and MgP$_4$O$_11$ as effective passivating agents.


title: IoT Device Fingerprint using Deep Learning

abstract: Device Fingerprinting (DFP) is the identification of a device without using its network or other assigned identities including IP address, Medium Access Control (MAC) address, or International Mobile Equipment Identity (IMEI) number. DFP identifies a device using information from the packets which the device uses to communicate over the network. Packets are received at a router and processed to extract the information. In this paper, we worked on the DFP using Inter Arrival Time (IAT). IAT is the time interval between the two consecutive packets received. This has been observed that the IAT is unique for a device because of different hardware and the software used for the device. The existing work on the DFP uses the statistical techniques to analyze the IAT and to further generate the information using which a device can be identified uniquely. This work presents a novel idea of DFP by plotting graphs of IAT for packets with each graph plotting 100 IATs and subsequently processing the resulting graphs for the identification of the device. This approach improves the efficiency to identify a device DFP due to achieved benchmark of the deep learning libraries in the image processing. We configured Raspberry Pi to work as a router and installed our packet sniffer application on the Raspberry Pi . The packet sniffer application captured the packet information from the connected devices in a log file. We connected two Apple devices iPad4 and iPhone 7 Plus to the router and created IAT graphs for these two devices. We used Convolution Neural Network (CNN) to identify the devices and observed the accuracy of 86.7%.


title: The Isoperimetric Problem in Riemannian Optical Geometry

abstract: In general relativity, spatial light rays of static spherically symmetric spacetimes are geodesics of surfaces in Riemannian optical geometry. In this paper, we apply results on the isoperimetric problem to show that length-minimizing curves subject to an area constraint are circles, and discuss implications for the photon spheres of Schwarzschild, Reissner-Nordstrom, as well as continuous mass models solving the Tolman-Oppenheimer-Volkoff equation. Moreover, we derive an isoperimetric inequality for gravitational lensing in Riemannian optical geometry, using curve shortening flow and the Gauss-Bonnet theorem.


title: 3-D Motion Correction for Volumetric Super-Resolution Ultrasound (SR-US) Imaging

abstract: Motion during image acquisition can cause image degradation in all medical imaging modalities. This is particularly relevant in 2-D ultrasound imaging, since out-of-plane motion can only be compensated for movements smaller than elevational beamwidth of the transducer. Localization based super-resolution imaging creates even a more challenging motion correction task due to the requirement of a high number of acquisitions to form a single super-resolved frame. In this study, an extension of two-stage motion correction method is proposed for 3-D motion correction. Motion estimation was performed on high volumetric rate ultrasound acquisitions with a handheld probe. The capability of the proposed method was demonstrated with a 3-D microvascular flow simulation to compensate for handheld probe motion. Results showed that two-stage motion correction method reduced the average localization error from 136 to 18 micrometres.


title: Lessons from Four Years of PHONELAB Experimentation

abstract: Over the last four years we have operated a public smartphone platform testbed called PHONELAB. PHONELAB consists of up to several-hundred participants who run an experimental platform image on their primary smartphone. The experimental platform consists of both instrumentation and experimental changes to platform components, including core Android services and Linux. This paper describes the design of the testbed, the process of conducting PHONELAB experiments, and some of the research the testbed has supported. We also offer many lessons learned along the way, almost all of which have been learned the hard way--through trial and a lot of error. We expect our experiences will help those contemplating operating large user-facing testbeds, anyone conducting experiments on smartphones, and many mobile systems researchers.


title: Electromagnetism as Quantum Physics

abstract: One can interpret the Dirac equation either as giving the dynamics for a classical field or a quantum wave function. Here I examine whether Maxwell's equations, which are standardly interpreted as giving the dynamics for the classical electromagnetic field, can alternatively be interpreted as giving the dynamics for the photon's quantum wave function. I explain why this quantum interpretation would only be viable if the electromagnetic field were sufficiently weak, then motivate a particular approach to introducing a wave function for the photon (following Good, 1957). This wave function ultimately turns out to be unsatisfactory because the probabilities derived from it do not always transform properly under Lorentz transformations. The fact that such a quantum interpretation of Maxwell's equations is unsatisfactory suggests that the electromagnetic field is more fundamental than the photon.


title: Parallel Contextual Bandits in Wireless Handover Optimization

abstract: As cellular networks become denser, a scalable and dynamic tuning of wireless base station parameters can only be achieved through automated optimization. Although the contextual bandit framework arises as a natural candidate for such a task, its extension to a parallel setting is not straightforward: one needs to carefully adapt existing methods to fully leverage the multi-agent structure of this problem. We propose two approaches: one derived from a deterministic UCB-like method and the other relying on Thompson sampling. Thanks to its bayesian nature, the latter is intuited to better preserve the exploration-exploitation balance in the bandit batch. This is verified on toy experiments, where Thompson sampling shows robustness to the variability of the contexts. Finally, we apply both methods on a real base station network dataset and evidence that Thompson sampling outperforms both manual tuning and contextual UCB.


title: The Zwicky Transient Facility: System Overview, Performance, and First Results

abstract: The Zwicky Transient Facility (ZTF) is a new optical time-domain survey that uses the Palomar 48-inch Schmidt telescope. A custom-built wide-field camera provides a 47 deg$^2$ field of view and 8 second readout time, yielding more than an order of magnitude improvement in survey speed relative to its predecessor survey, the Palomar Transient Factory (PTF). We describe the design and implementation of the camera and observing system. The ZTF data system at the Infrared Processing and Analysis Center provides near-real-time reduction to identify moving and varying objects. We outline the analysis pipelines, data products, and associated archive. Finally, we present on-sky performance analysis and first scientific results from commissioning and the early survey. ZTF's public alert stream will serve as a useful precursor for that of the Large Synoptic Survey Telescope.


title: Combining Physically-Based Modeling and Deep Learning for Fusing GRACE Satellite Data: Can We Learn from Mismatch?

abstract: Global hydrological and land surface models are increasingly used for tracking terrestrial total water storage (TWS) dynamics, but the utility of existing models is hampered by conceptual and/or data uncertainties related to various underrepresented and unrepresented processes, such as groundwater storage. The gravity recovery and climate experiment (GRACE) satellite mission provided a valuable independent data source for tracking TWS at regional and continental scales. Strong interests exist in fusing GRACE data into global hydrological models to improve their predictive performance. Here we develop and apply deep convolutional neural network (CNN) models to learn the spatiotemporal patterns of mismatch between TWS anomalies (TWSA) derived from GRACE and those simulated by NOAH, a widely used land surface model. Once trained, our CNN models can be used to correct the NOAH simulated TWSA without requiring GRACE data, potentially filling the data gap between GRACE and its follow-on mission, GRACE-FO. Our methodology is demonstrated over India, which has experienced significant groundwater depletion in recent decades that is nevertheless not being captured by the NOAH model. Results show that the CNN models significantly improve the match with GRACE TWSA, achieving a country-average correlation coefficient of 0.94 and Nash-Sutcliff efficient of 0.87, or 14\% and 52\% improvement respectively over the original NOAH TWSA. At the local scale, the learned mismatch pattern correlates well with the observed in situ groundwater storage anomaly data for most parts of India, suggesting that deep learning models effectively compensate for the missing groundwater component in NOAH for this study region.


title: The GROWTH Marshal: A Dynamic Science Portal for Time-Domain Astronomy

abstract: We describe a dynamic science portal called the GROWTH Marshal that allows time-domain astronomers to define science programs, program filters to save sources from different discovery streams, co-ordinate follow-up with various robotic or classical telescopes, analyze the panchromatic follow-up data and generate summary tables for publication. The GROWTH marshal currently serves 137 scientists, 38 science programs and 67 telescopes. Every night, in real-time, several science programs apply various customized filters to the 10^5 nightly alerts from the Zwicky Transient Facility. Here, we describe the schematic and explain the functionality of the various components of this international collaborative platform.


title: A Morphological Classification Model to Identify Unresolved PanSTARRS1 Sources: Application in the ZTF Real-Time Pipeline

abstract: In the era of large photometric surveys, the importance of automated and accurate classification is rapidly increasing. Specifically, the separation of resolved and unresolved sources in astronomical imaging is a critical initial step for a wide array of studies, ranging from Galactic science to large scale structure and cosmology. Here, we present our method to construct a large, deep catalog of point sources utilizing Pan-STARRS1 (PS1) 3$\pi$ survey data, which consists of $\sim$3$\times10^9$ sources with $m\lesssim23.5\,$mag. We develop a supervised machine-learning methodology, using the random forest (RF) algorithm, to construct the PS1 morphology model. We train the model using $\sim$5$\times10^4$ PS1 sources with HST COSMOS morphological classifications and assess its performance using $\sim$4$\times10^6$ sources with Sloan Digital Sky Survey (SDSS) spectra and $\sim$2$\times10^8$ \textit{Gaia} sources. We construct 11 "white flux" features, which combine PS1 flux and shape measurements across 5 filters, to increase the signal-to-noise ratio relative to any individual filter. The RF model is compared to 3 alternative models, including the SDSS and PS1 photometric classification models, and we find that the RF model performs best. By number the PS1 catalog is dominated by faint sources ($m\gtrsim21\,$mag), and in this regime the RF model significantly outperforms the SDSS and PS1 models. For time-domain surveys, identifying unresolved sources is crucial for inferring the Galactic or extragalactic origin of new transients. We have classified $\sim$1.5$\times10^9$ sources using the RF model, and these results are used within the Zwicky Transient Facility real-time pipeline to automatically reject stellar sources from the extragalactic alert stream.


title: Machine Learning for the Zwicky Transient Facility

abstract: The Zwicky Transient Facility is a large optical survey in multiple filters producing hundreds of thousands of transient alerts per night. We describe here various machine learning (ML) implementations and plans to make the maximal use of the large data set by taking advantage of the temporal nature of the data, and further combining it with other data sets. We start with the initial steps of separating bogus candidates from real ones, separating stars and galaxies, and go on to the classification of real objects into various classes. Besides the usual methods (e.g., based on features extracted from light curves) we also describe early plans for alternate methods including the use of domain adaptation, and deep learning. In a similar fashion we describe efforts to detect fast moving asteroids. We also describe the use of the Zooniverse platform for helping with classifications through the creation of training samples, and active learning. Finally we mention the synergistic aspects of ZTF and LSST from the ML perspective.


title: Virtually the Same: Comparing Physical and Virtual Testbeds

abstract: Network designers, planners, and security professionals increasingly rely on large-scale virtual testbeds to emulate networks and make decisions about real-world deployments. However, there has been limited research on how well these virtual testbeds match their physical counterparts. Specifically, does the virtualization that these testbeds depend on actually capture real-world behaviors sufficiently well to support decisions? As a first step, we perform simple experiments on both physical and virtual testbeds to begin to understand where and how the testbeds differ. We set up a web service on one host and run ApacheBench against this service from a different host, instrumenting each system during these tests. We define an initial repeatable methodology to quantitatively compare testbeds. Specifically, we compare the testbeds at three levels of abstraction: application, operating system (OS) and network. For the application level, we use the ApacheBench results. For OS behavior, we compare patterns of system call orderings using Markov chains. This provides a unique visual representation of the workload and OS behavior in our testbeds. We also drill down into read-system-call behaviors and show how at one level both systems are deterministic and identical, but as we move up in abstractions that consistency declines. Finally, we use packet captures to compare network behaviors and performance. We reconstruct flows and compare per-flow and per-experiment statistics. We find that the behavior of the workload in the testbeds is similar but that the underlying processes to support it do vary. The low-level network behavior can vary widely in packetization depending on the virtual network driver. While these differences can be important, and knowing about them will help experiment designers, the core application and OS behaviors still represent similar processes.


title: Ultrafast Electron Dynamics in Thiolate-Protected Plasmonic Gold Clusters: Size and Ligand Effect

abstract: The influence of passivating ligand on electron-phonon relaxation dynamics of the smallest sized gold clusters was studied using ultrafast transient absorption spectroscopy and theoretical modeling. The electron dynamics in Au279, Au329, and Au329 passivated with TBBT, SC2Ph and SC6, respectively, were investigated. Ultrafast transient absorption measurements were also carried out on Au~1400 (SC6) and Au~2000 (SC6) to understand the influence of the size on electron-phonon relaxation with the same passivating ligand. The study has revealed interesting aspects on the role of ligand on electron-phonon relaxation dynamics wherein the aromatic passivating ligands, SC2Ph and TBBT, have shown smaller power dependence and higher plasmon bleach indicating dampened plasmon resonance while the cluster with aliphatic passivating ligand has behaved similarly to regular plasmonic gold nanoparticles. To model the effect of the ligand on the plasmonic properties of the investigated samples , free electron density correction factor of each one was calculated using three-layered Mie theory, and the results show that SC6 inter-acts least with core-gold while TBBT and SC2Ph have a greater effect on the surface electronic conductivity that is attributed to pi-interaction of the ligand with gold. The results also shed light on unusual electron-phonon relaxation and smaller slope observed for Au329 (SC2Ph) that is ascribed to surface gold-pi interaction creating a hybrid state. In contrast, extended pi-interaction is probably the reason for plasmonic nature observed in Au279 (TBBT) even though its size is smaller when compared to Au329. In addition, the results also have shown that the electron-phonon coupling has increased with an increase in the size of the cluster and theoretical modeling has shown higher electron conductivity for larger plasmonic gold clusters.


title: The Fast Heuristic Algorithms and Post-Processing Techniques to Design Large and Low-Cost Communication Networks

abstract: It is challenging to design large and low-cost communication networks. In this paper, we formulate this challenge as the prize-collecting Steiner Tree Problem (PCSTP). The objective is to minimize the costs of transmission routes and the disconnected monetary or informational profits. Initially, we note that the PCSTP is MAX SNP-hard. Then, we propose some post-processing techniques to improve suboptimal solutions to PCSTP. Based on these techniques, we propose two fast heuristic algorithms: the first one is a quasilinear time heuristic algorithm that is faster and consumes less memory than other algorithms; and the second one is an improvement of a stateof-the-art polynomial time heuristic algorithm that can find high-quality solutions at a speed that is only inferior to the first one. We demonstrate the competitiveness of our heuristic algorithms by comparing them with the state-of-the-art ones on the largest existing benchmark instances (169 800 vertices and 338 551 edges). Moreover, we generate new instances that are even larger (1 000 000 vertices and 10 000 000 edges) to further demonstrate their advantages in large networks. The state-ofthe-art algorithms are too slow to find high-quality solutions for instances of this size, whereas our new heuristic algorithms can do this in around 6 to 45s on a personal computer. Ultimately, we apply our post-processing techniques to update the bestknown solution for a notoriously difficult benchmark instance to show that they can improve near-optimal solutions to PCSTP. In conclusion, we demonstrate the usefulness of our heuristic algorithms and post-processing techniques for designing large and low-cost communication networks.


title: A User-Centric Cooperative Scheme for UAV Assisted Wireless Networks in Malfunction Areas

abstract: A promising application of unmanned aerial vehicles (UAVs) to the future communication networks is to address emergency communications. This paper considers such a scenario where a UAV is employed to a malfunction area (modeled as a circular disc) in which all ground base stations (BSs) break down. The ground BSs outside the malfunction area are modelled as a homogeneous Poisson point process (HPPP). Particularly, a user-centric cooperative scheme is proposed to serve the UEs in the malfunction area. According to the user equipment's (UE's) connections to the UAV and the nearest ground BS, the malfunction area is divided into three regions, namely the UAV region, the cooperation region and the nearest ground BS region, in which the UEs are served by the UAV only, both the UAV and the nearest ground BS, and the nearest ground BS, respectively. The region size of each type can be adjusted by a cooperation parameter $\delta$. Through rigorous derivations, an expression for the coverage probability achieved by the UE in the malfunction area is obtained. In order to provide a fair comparison, the normalized spectral efficiency (NSE) which is defined by taking both system throughput and the number of serving BSs into consideration, is used as a criterion for the performance evaluation. Numerical results are presented to verify the accuracy of the analytical results and also to demonstrate the superior performance of the proposed scheme.


title: Market Manipulation of Bitcoin: Evidence from Mining the Mt. Gox Transaction Network

abstract: The cryptocurrency market is a very huge market without effective supervision. It is of great importance for investors and regulators to recognize whether there are market manipulation and its manipulation patterns. This paper proposes an approach to mine the transaction networks of exchanges for answering this question.By taking the leaked transaction history of Mt. Gox Bitcoin exchange as a sample,we first divide the accounts into three categories according to its characteristic and then construct the transaction history into three graphs. Many observations and findings are obtained via analyzing the constructed graphs. To evaluate the influence of the accounts' transaction behavior on the Bitcoin exchange price,the graphs are reconstructed into series and reshaped as matrices. By using singular value decomposition (SVD) on the matrices, we identify many base networks which have a great correlation with the price fluctuation. When further analyzing the most important accounts in the base networks, plenty of market manipulation patterns are found. According to these findings, we conclude that there was serious market manipulation in Mt. Gox exchange and the cryptocurrency market must strengthen the supervision.


title: Minimizing the Signaling Overhead and Latency based on Users' Mobility Patterns

abstract: We demonstrate a distributed and a centralized 4G/5G compliant approach to minimize signaling and latency related to user mobility in cellular networks. This is crucial due to the densification of networks and the additional signaling introduced by the new 5G service based architecture. By exploiting standardized protocols, our solutions dynamically reorganize the association between nodes in Radio Access Network (RAN) and the core. We validated the proposed approaches using real user mobility datasets. Our results show that both our distributed and centralized solutions significantly reduce the signaling between core and RAN compared to the traditional approach based on geographical proximity. As a result, both approaches significantly reduce the average handover procedure processing time. Moreover, by relying on locally available information, the distributed approach can quickly adapt to changes in the user movement patterns as they happen.


title: A New Relation Between Energy Efficiency and Spectral Efficiency in Wireless Communications Systems

abstract: When designing wireless communication systems (WCS), spectral efficiency (SE) has been the main design performance metric. Recently, energy efficiency (EE) is attracting a huge interest due to the massive deployment of power limited WCS such as IoT devices, and stringent environmental concerns. For this reason, many works in the literature focused on optimizing the EE and highlighted the EE-SE relationship as a trade-off (meaning that increasing one decreases the other). In this article, after introducing the EE metric, we highlight a new perspective of the EE-SE relationship based on energy-efficient power control. In particular, we give insights about the EE-based performance of various transmission technologies and its impact on 5G future design. Via numerical results, we show that the corresponding power scheme allows an increase of both the SE as the EE with no trade-off. Finally, we present relevant open research problems.


title: Particle Swarm Optimization Approaches for Primary User Emulation Attack Detection and Localization in Cognitive Radio Networks

abstract: The primary user emulation attack (PUEA) is one of the common threats in cognitive radio networks (CRNs), in this problem, an attacker mimics the Primary User (PU) signal to deceive other secondary users (SUs) to make them leave the white spaces (free spaces) in the spectrum assigned by the PU. In this paper, the PUEA is detected and localized using the Time-Difference-Of-Arrival (TDOA) localization technique. Particle Swarm Optimization (PSO) algorithms are proposed to solve the cost function of TDOA measurements. The PSO variants are developed by changing the parameters of the standard PSO such as inertia weight and acceleration constants. These approaches are presented and compared with the standard PSO in terms of convergence speed and processing time. This paper presents the first study of designing a PSO algorithm suitable for the localization problem and will be considered as a good guidance for applying the optimization algorithms in wireless positioning techniques. Mean square error (MSE) and cumulative distribution function (CDF) are used as the evaluation metrics to measure the accuracy of the proposed algorithms. Simulation results show that the proposed PSO approaches provide higher accuracy and faster convergence than the standard PSO and the Taylor series estimation (TSE).


title: The Zwicky Transient Facility: Science Objectives

abstract: The Zwicky Transient Facility (ZTF), a public-private enterprise, is a new time domain survey employing a dedicated camera on the Palomar 48-inch Schmidt telescope with a 47 deg$^2$ field of view and 8 second readout time. It is well positioned in the development of time domain astronomy, offering operations at 10% of the scale and style of the Large Synoptic Survey Telescope (LSST) with a single 1-m class survey telescope. The public surveys will cover the observable northern sky every three nights in g and r filters and the visible Galactic plane every night in g and r. Alerts generated by these surveys are sent in real time to brokers. A consortium of universities which provided funding ("partnership") are undertaking several boutique surveys. The combination of these surveys producing one million alerts per night allows for exploration of transient and variable astrophysical phenomena brighter than r $\sim$ 20.5 on timescales of minutes to years. We describe the primary science objectives driving ZTF including the physics of supernovae and relativistic explosions, multi-messenger astrophysics, supernova cosmology, active galactic nuclei and tidal disruption events, stellar variability, and Solar System objects.


title: Thirty Years of Machine Learning: The Road to Pareto-Optimal Wireless Networks

abstract: Future wireless networks have a substantial potential in terms of supporting a broad range of complex compelling applications both in military and civilian fields, where the users are able to enjoy high-rate, low-latency, low-cost and reliable information services. Achieving this ambitious goal requires new radio techniques for adaptive learning and intelligent decision making because of the complex heterogeneous nature of the network structures and wireless services. Machine learning (ML) algorithms have great success in supporting big data analytics, efficient parameter estimation and interactive decision making. Hence, in this article, we review the thirty-year history of ML by elaborating on supervised learning, unsupervised learning, reinforcement learning and deep learning. Furthermore, we investigate their employment in the compelling applications of wireless networks, including heterogeneous networks (HetNets), cognitive radios (CR), Internet of things (IoT), machine to machine networks (M2M), and so on. This article aims for assisting the readers in clarifying the motivation and methodology of the various ML algorithms, so as to invoke them for hitherto unexplored services as well as scenarios of future wireless networks.


title: Design and Implementation of Location and Activity Monitoring System Based on LoRa

abstract: The location and human activity are usually used as one of the important parameters to monitor the health status in healthcare devices. However, nearly all existing location and monitoring systems have the limitation of short-range communication and high power consumption. In this paper, we propose a new mechanism to collect and transmit monitoring information based on LoRa technology. The monitoring device with sensors can collect the real-time activity and location information and transmit them to the cloud server through LoRa gateway. The user can check all his history and current information through the specific designed mobile applications. Experiment was carried out to verify the communication, power consumption and monitoring performance of the entire system. Experimental results demonstrate that this system can collect monitoring and activity information accurately and provide the long rang coverage with low power consumption.


title: Multi-Channel Access Solutions for 5G New Radio

abstract: 5G New Radio paves the way for introducing novel multi-service radio resource management solutions tailored for enhanced Mobile Broadband and Ultra-Reliable Low Latency Communication service classes. Multi-Channel Access is a family of such multi-service solutions that enable a user equipment to aggregate radio resources from multiple sources. The objective is multi-fold; throughput enhancement through access to a larger bandwidth, reliability improvement by increasing the diversity order and/or coordinated transmission/reception, as well as flexibility and load balancing improvement by decoupling the downlink and the uplink access points. This paper presents several multi-channel access solutions for 5G New Radio multi-service scenarios. In particular, throughput enhancement and latency reduction concepts like multi-connectivity, carrier aggregation, downlink-uplink decoupled access and coordinated multi-point connectivity are discussed. Moreover, novel design solutions exploiting these concepts are proposed. Numerical evaluation of the introduced solutions indicates significant performance gains over state-of-the-art schemes; for example, our proposed component carrier selection mechanism leads to a median throughput gain of up to 100% by means of an implicit load balance. Therefore, the proposed Multi-Channel Access solutions have the potential to be key multi-service enablers for 5G New Radio.


title: Path Loss Characterization for Intra-Vehicle Wearable Deployments at 60 GHz

abstract: In this work, we present the results of a wideband measurement campaign at 60 GHz conducted inside a Linkker electric city bus. Targeting prospective millimeter-wave (mmWave) public transportation wearable scenarios, we mimic a typical deployment of mobile high-end consumer devices in a dense environment. Specifically, our intra-vehicle deployment includes one receiver and multiple transmitters corresponding to a mmWave access point and passengers' wearable and hand-held devices. While the receiver is located in the front part of the bus, the transmitters repeat realistic locations of personal devices (i) at the seat level (e.g., a hand-held device) and (ii) at a height 70 cm above the seat (e.g., a wearable device: augmented reality glasses or a head-mounted display). Based on the measured received power, we construct a logarithmic model for the distance-dependent path loss. The parametrized models developed in the course of this study have the potential to become an attractive ground for the link budget estimation and interference footprint studies in crowded public transportation scenarios.


title: Meta-Amortized Variational Inference and Learning

abstract: Despite the recent success in probabilistic modeling and their applications, generative models trained using traditional inference techniques struggle to adapt to new distributions, even when the target distribution may be closely related to the ones seen during training. In this work, we present a doubly-amortized variational inference procedure as a way to address this challenge. By sharing computation across not only a set of query inputs, but also a set of different, related probabilistic models, we learn transferable latent representations that generalize across several related distributions. In particular, given a set of distributions over images, we find the learned representations to transfer to different data transformations. We empirically demonstrate the effectiveness of our method by introducing the MetaVAE, and show that it significantly outperforms baselines on downstream image classification tasks on MNIST (10-50%) and NORB (10-35%).


title: Using multi-task learning to improve the performance of acoustic-to-word and conventional hybrid models

abstract: Acoustic-to-word (A2W) models that allow direct mapping from acoustic signals to word sequences are an appealing approach to end-to-end automatic speech recognition due to their simplicity. However, prior works have shown that modelling A2W typically encounters issues of data sparsity that prevent training such a model directly. So far, pre-training initialization is the only approach proposed to deal with this issue. In this work, we propose to build a shared neural network and optimize A2W and conventional hybrid models in a multi-task manner. Our results show that training an A2W model is much more stable with our multi-task model without pre-training initialization, and results in a significant improvement compared to a baseline model. Experiments also reveal that the performance of a hybrid acoustic model can be further improved when jointly training with a sequence-level optimization criterion such as acoustic-to-word.


title: Integrating Amdahl-like Laws and Divisible Load Theory

abstract: Integrating Amdahl's and Amdahl-like laws with Divisible Load Theory promises mathematical design methodology that will make possible the efficient design of tomorrow's systems.


title: Superconductivity under pressure in the Dirac semimetal PdTe2

abstract: The Dirac semimetal PdTe$_2$ was recently reported to be a type-I superconductor ($T_c = $1.64 K, $\mu_0 H_c (0) = 13.6$ mT) with unusual superconductivity of the surface sheath. We here report a high-pressure study, $p \leq 2.5$ GPa, of the superconducting phase diagram extracted from ac-susceptibility and transport measurements on single crystalline samples. $T_c (p)$ shows a pronounced non-monotonous variation with a maximum $T_c = $1.91 K around 0.91 GPa, followed by a gradual decrease to 1.27 K at 2.5 GPa. The critical field of bulk superconductivity in the limit $T \rightarrow 0$, $H_c(0,p)$, follows a similar trend and consequently the $H_c(T,p)$-curves under pressure collapse on a single curve: $H_c(T,p)=H_c(0,p)[1-(T/T_c(p))^2]$. Surface superconductivity is robust under pressure as demonstrated by the large superconducting screening signal that persists for applied dc-fields $H_a > H_c$. Surprisingly, for $p \geq 1.41$ GPa the superconducting transition temperature at the surface $T_c^S$ is larger than $T_c$ of the bulk. Therefore surface superconductivity may possibly have a non-trivial nature and is connected to the topological surface states detected by ARPES. We compare the measured pressure variation of $T_c$ with recent results from band structure calculations and discuss the importance of a Van Hove singularity.


title: A Neural Model for Generating Natural Language Summaries of Program Subroutines

abstract: Source code summarization -- creating natural language descriptions of source code behavior -- is a rapidly-growing research topic with applications to automatic documentation generation, program comprehension, and software maintenance. Traditional techniques relied on heuristics and templates built manually by human experts. Recently, data-driven approaches based on neural machine translation have largely overtaken template-based systems. But nearly all of these techniques rely almost entirely on programs having good internal documentation; without clear identifier names, the models fail to create good summaries. In this paper, we present a neural model that combines words from code with code structure from an AST. Unlike previous approaches, our model processes each data source as a separate input, which allows the model to learn code structure independent of the text in code. This process helps our approach provide coherent summaries in many cases even when zero internal documentation is provided. We evaluate our technique with a dataset we created from 2.1m Java methods. We find improvement over two baseline techniques from SE literature and one from NLP literature.


title: On the Choice of Modeling Unit for Sequence-to-Sequence Speech Recognition

abstract: In conventional speech recognition, phoneme-based models outperform grapheme-based models for non-phonetic languages such as English. The performance gap between the two typically reduces as the amount of training data is increased. In this work, we examine the impact of the choice of modeling unit for attention-based encoder-decoder models. We conduct experiments on the LibriSpeech 100hr, 460hr, and 960hr tasks, using various target units (phoneme, grapheme, and word-piece); across all tasks, we find that grapheme or word-piece models consistently outperform phoneme-based models, even though they are evaluated without a lexicon or an external language model. We also investigate model complementarity: we find that we can improve WERs by up to 9% relative by rescoring N-best lists generated from a strong word-piece based baseline with either the phoneme or the grapheme model. Rescoring an N-best list generated by the phonemic system, however, provides limited improvements. Further analysis shows that the word-piece-based models produce more diverse N-best hypotheses, and thus lower oracle WERs, than phonemic models.


title: Simultaneous Acoustic Trapping and Imaging of Microbubbles at Clinically Relevant Flow Rates

abstract: Mechanisms for non-invasive target drug delivery using microbubbles and ultrasound have attracted growing interest. Microbubbles can be loaded with a therapeutic payload and tracked via ultrasound imaging to selectively release their payload at ultrasound-targeted locations. In this study, an ultrasonic trapping method is proposed for simultaneously imaging and controlling the location of microbubbles in flow by using acoustic radiation force. Targeted drug delivery methods are expected to benefit from the use of the ultrasonic trap, since trapping will increase the MB concentration at a desired location in human body. The ultrasonic trap was generated by using an ultrasound research system UARP II and a linear array transducer. The trap was designed asymmetrically to produces a weaker radiation force at the inlet of the trap to further facilitate microbubble entrance. A pulse sequence was generated that can switch between a long duration trapping waveform and short duration imaging waveform. High frame rate plane wave imaging was chosen for monitoring trapped microbubbles at 1 kHz. The working principle of the ultrasonic trap was explained and demonstrated in an ultrasound phantom by injecting SonoVue microbubbles flowing at 80 mL/min flow rate in a 3.5 mm diameter vessel.


title: Solid-set functions and topological measures on locally compact spaces

abstract: A topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. Almost all works devoted to topological measures, corresponding non-linear functionals, and their applications deal with compact spaces. The present paper is one in a series that investigates topological measures and corresponding non-linear functionals on locally compact spaces. Here we examine solid and semi-solid sets on a locally compact space. We then give a method of constructing topological measures from solid-set functions on a locally compact, connected, locally connected space. The paper gives examples of finite and infinite topological measures on locally compact, non-compact spaces and presents an easy way to generate topological measures on spaces whose one-point compactification has genus 0 from existing examples of topological measures on compact spaces.


title: A General Theory for Structured Prediction with Smooth Convex Surrogates

abstract: In this work we provide a theoretical framework for structured prediction that generalizes the existing theory of surrogate methods for binary and multiclass classification based on estimating conditional probabilities with smooth convex surrogates (e.g. logistic regression). The theory relies on a natural characterization of structural properties of the task loss and allows to derive statistical guarantees for many widely used methods in the context of multilabeling, ranking, ordinal regression and graph matching. In particular, we characterize the smooth convex surrogates compatible with a given task loss in terms of a suitable Bregman divergence composed with a link function. This allows to derive tight bounds for the calibration function and to obtain novel results on existing surrogate frameworks for structured prediction such as conditional random fields and quadratic surrogates.


title: The VISCACHA survey - I. Overview and First Results

abstract: The VISCACHA (VIsible Soar photometry of star Clusters in tApii and Coxi HuguA) Survey is an ongoing project based on deep photometric observations of Magellanic Cloud star clusters, collected using the SOuthern Astrophysical Research (SOAR) telescope together with the SOAR Adaptive Module Imager. Since 2015 more than 200 hours of telescope time were used to observe about 130 stellar clusters, most of them with low mass (M < 10$^4$ M$_\odot$) and/or located in the outermost regions of the Large Magellanic Cloud and the Small Magellanic Cloud. With this high quality data set, we homogeneously determine physical properties from statistical analysis of colour-magnitude diagrams, radial density profiles, luminosity functions and mass functions. Ages, metallicities, reddening, distances, present-day masses, mass function slopes and structural parameters for these clusters are derived and used as a proxy to investigate the interplay between the environment in the Magellanic Clouds and the evolution of such systems. In this first paper we present the VISCACHA Survey and its initial results, concerning the SMC clusters AM3, K37, HW20 and NGC796 and the LMC ones KMHK228, OHSC3, SL576, SL61 and SL897, chosen to compose a representative subset of our cluster sample. The project's long term goals and legacy to the community are also addressed.