title: Generating Compatibility Conditions in Mathematical Physics

abstract: The search for generating compatibility conditions (CC) for a given operator is a very recent problem met in General Relativity in order to study the Killing operator for various standard useful metrics (Minkowski, Schwarschild and Kerr). In this paper, we prove that the link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with a kind of differential transcendence degree, also called degree of generality by A. Einstein in his 1930 letters to E. Cartan. The motivating examples that we provide are among the rare ones known in the literature and could be used as testing examples for future applications of computer algebra.


title: Theoretical foundation of detrending methods for fluctuation analysis such as detrended fluctuation analysis and detrending moving average

abstract: We present a general framework of detrending methods of fluctuation analysis of which detrended fluctuation analysis (DFA) is one prominent example. Another more recently introduced method is detrending moving average (DMA). Both methods are constructed differently but are similarly able to detect long-range correlations as well as anomalous diffusion even in the presence of nonstationarities. In this article we describe their similarities in a general framework of detrending methods. We establish this framework independently of the definition of DFA or DMA but by investigating the failure of standard statistical tools applied on nonstationary time series, let these be intrinsic nonstationarities such as for Brownian pathes, or external ones due to additive trends. In particular, we investigate the sample averaged mean squared displacement of the summed time series. By modifying this estimator we introduce a general form of the so-called fluctuation function and can formulate the framework of detrending methods. A detrending method provides an estimator of the fluctuation function which obeys the following principles: The first relates the scaling behaviour of the fluctuation function to the stochastic properties of the time series. The second principles claims unbiasedness of the estimatior. This is the centerpiece of the detrending procedure and ensures that the detrending method can be applied to nonstationary time series, e.g. FBM or additive trends. Both principles are formulated and investigated in detail for DFA and DMA by using the relationship between the fluctuation function and the autocovariance function of the underlying stochastic process of the time series.


title: Bayesian Neural Network Ensembles

abstract: Ensembles of neural networks (NNs) have long been used to estimate predictive uncertainty; a small number of NNs are trained from different initialisations and sometimes on differing versions of the dataset. The variance of the ensemble's predictions is interpreted as its epistemic uncertainty. The appeal of ensembling stems from being a collection of regular NNs - this makes them both scalable and easily implementable. They have achieved strong empirical results in recent years, often presented as a practical alternative to more costly Bayesian NNs (BNNs). The departure from Bayesian methodology is of concern since the Bayesian framework provides a principled, widely-accepted approach to handling uncertainty. In this extended abstract we derive and implement a modified NN ensembling scheme, which provides a consistent estimator of the Bayesian posterior in wide NNs - regularising parameters about values drawn from a prior distribution.


title: The validity of RFID badges measuring face-to-face interactions

abstract: Face-to-face interactions are important for a variety of individual behaviors and outcomes. In recent years a number of human sensor technologies have been proposed to incorporate direct observations in behavioral studies of face-to-face interactions. One of the most promising emerging technologies are active Radio Frequency Identification (RFID) badges. They are increasingly applied in behavioral studies because of their low costs, straightforward applicability, and moderate ethical concerns. However, despite the attention that RFID badges have recently received, there is a lack of systematic tests on how valid RFID badges are in measuring face-to-face interaction. With two studies we aim to fill this gap. Study 1 (N = 11) compares how data assessed with RFID badges correspond with video data of the same interactions (construct validity) and how this fit can be improved using straightforward data processing strategies. The analyses show that the RFID badges have a sensitivity of 50% that can be enhanced to 65% when flickering signals with gaps of less than 75 seconds are interpolated. The specificity is relatively less affected by this interpolation process (before interpolation 97%, after interpolation 94.7%) - resulting in an improved accuracy of the measurement. In Study 2 (N = 73) we show that self-report data of social interactions correspond highly with data gathered with the RFID badges (criterion validity).


title: Massive star evolution : rotation, winds, and overshooting vectors in the Mass-Luminosity plane I. A calibrated grid of rotating single star models

abstract: We aim to constrain massive star evolution models using the unique testbed eclipsing binary HD166734 with new grids of MESA stellar evolution models, adopting calibrated prescriptions of overshooting, mass loss, and rotation. We introduce a novel tool: the "mass-luminosity plane" or "M-L plane", as an equivalent to the traditional HR diagram, utilising it to reproduce the testbed binary HD166734 with newly calibrated MESA stellar evolution models for single stars. We can only reproduce the Galactic binary system with an enhanced amount of core overshooting (alpha = 0.5), mass loss, and rotational mixing. We can utilise the gradient in the M-L plane to constrain the amount of mass loss to 0.5 - 1.5 times the standard Vink et al. 2001 prescriptions, and we can exclude extreme reduction or multiplication factors. The extent of the vectors in the M-L plane leads us to conclude that the amount of core overshooting is larger than is normally adopted in contemporary massive star evolution models. We furthermore conclude that rotational mixing is mandatory to get the nitrogen abundance ratios between the primary and secondary components to be correct (3:1) in our testbed binary system. Our calibrated grid of models, alongside our new M-L plane approach, present the possibility of a widened main sequence due to an increased demand for core overshooting. The increased amount of core overshooting is not only needed to explain the extended main sequence, but the enhanced overshooting is also needed to explain the location of the upper-luminosity limit of the red supergiants. Finally, the increased amount of core overshooting has -- via the compactness parameter -- implications for supernova explodibility.


title: Cornell Model Calibration with NRQCD at N$^3$LO

abstract: The typical binding energy of heavy hadron spectroscopy makes the system accessible to perturbative calculations in terms of non-relativistic QCD. Within NRQCD the predictions of heavy quarkonium energy levels rely on the accurate description of the static QCD potential $V_{\rm QCD}(r)$. Historically, heavy quarkonium spectroscopy was studied using phenomenological approaches such as the Cornell model $V_{\rm Cornell}=-\kappa/r+\sigma\, r$, which assumes a short-distance dominant Coulomb potential plus a liner rising potential that emerges at long distances. Such model works reasonably well in describing the charmonium and bottomonium spectroscopy. However, even when there are physically-motivated arguments for the construction of the Cornell model, there is no conection a priori with QCD parameters. Based on a previous work on heavy meson spectroscopy, we calibrate the Cornell model with NRQCD predictions for the lowest lying bottomonium states at N$^3$LO, in which the bottom mass is varied within a wide range. We show that the Cornell model mass parameter can be identified with the low-scale short-distance MSR mass at the scale $R = 1$ GeV. This identification holds for any value of $\alpha_s$ or the bottom mass. For moderate values of $r$, the NRQCD and Cornell static potentials are in head-on agreement when switching the pole mass to the MSR scheme, which allows to simultaneously cancel the renormalon and sum up large logarithms.


title: A scalable estimator of sets of integral operators

abstract: We propose a scalable method to find a subspace $\widehat{\mathcal{H}}$ of low-rank tensors that simultaneously approximates a set of integral operators. The method can be seen as a generalization of the Tucker-2 decomposition model, which was never used in this context. In addition, we propose to construct a convex set $\widehat{\mathcal{C}} \subset \widehat{\mathcal{H}}$ as the convex hull of the observed operators. It is a minimax optimal estimator under the Nikodym metric. We then provide an efficient algorithm to compute projection on $\widehat{\mathcal{C}}$. We observe a good empirical behavior of the method in simulations. The main aim of this work is to improve the identifiability of complex linear operators in blind inverse problems.


title: The system operating time with two different unreliable servicing devices

abstract: Consider the reliability problem in a system with two different devices, which can break down.


title: Automatic Diagnosis of Short-Duration 12-Lead ECG using a Deep Convolutional Network

abstract: We present a model for predicting electrocardiogram (ECG) abnormalities in short-duration 12-lead ECG signals which outperformed medical doctors on the 4th year of their cardiology residency. Such exams can provide a full evaluation of heart activity and have not been studied in previous end-to-end machine learning papers. Using the database of a large telehealth network, we built a novel dataset with more than 2 million ECG tracings, orders of magnitude larger than those used in previous studies. Moreover, our dataset is more realistic, as it consist of 12-lead ECGs recorded during standard in-clinics exams. Using this data, we trained a residual neural network with 9 convolutional layers to map 7 to 10 second ECG signals to 6 classes of ECG abnormalities. Future work should extend these results to cover a large range of ECG abnormalities, which could improve the accessibility of this diagnostic tool and avoid wrong diagnosis from medical doctors.


title: Distribution of high-dimensional orbital angular momentum entanglement at telecom wavelength over 1km of optical fibre

abstract: High-dimensional entanglement has demonstrated potential for increasing channel capacity and resistance to noise in quantum information processing. However, its distribution is a challenging task, imposing a severe restriction on its application. Here we report the first distribution of three-dimensional orbital angular momentum (OAM) entanglement via a 1-km-long optical fibre. Using an actively-stabilizing phase pre-compensation technique, we successfully transport one photon of a three-dimensional OAM entangled photon pair through the fibre. The distributed OAM entangled state still shows a fidelity up to 71\% with respect to the three-dimensional maximal-entangled-state (MES). In addition, we certify that the high-dimensional quantum entanglement survives the transportation by violating a generalized Bell inequality, obtaining a violation of $\sim3$ standard deviations with $I_{3}=2.12\pm0.04$. The method we developed can be extended to higher OAM dimension and larger distances in principle. Our results make a significant step towards future OAM-based high-dimensional long-distance quantum communication.


title: Realization of a Large-Acceptance Faraday Cup for 3 MeV Electrons

abstract: The design, construction, installation, and testing of a Faraday Cup intended to measure the current of a 3 MeV, 1 microampere electron beam is described. Built as a current monitor for a M{\o}ller scattering measurement at the MIT High Voltage Research Laboratory, the device combines a large angular acceptance with the capability to measure a continuous, low energy beam. Bench studies of its performance demonstrate current measurements accurate to the percent level at 1 microampere. The Faraday Cup was designed and constructed at MIT and has been in use at the HVRL since 2017, providing a significantly more detailed measurement of beam current than was previously available.


title: Iterative Residual CNNs for Burst Photography Applications

abstract: Modern inexpensive imaging sensors suffer from inherent hardware constraints which often result in captured images of poor quality. Among the most common ways to deal with such limitations is to rely on burst photography, which nowadays acts as the backbone of all modern smartphone imaging applications. In this work, we focus on the fact that every frame of a burst sequence can be accurately described by a forward (physical) model. This in turn allows us to restore a single image of higher quality from a sequence of low quality images as the solution of an optimization problem. Inspired by an extension of the gradient descent method that can handle non-smooth functions, namely the proximal gradient descent, and modern deep learning techniques, we propose a convolutional iterative network with a transparent architecture. Our network, uses a burst of low quality image frames and is able to produce an output of higher image quality recovering fine details which are not distinguishable in any of the original burst frames. We focus both on the burst photography pipeline as a whole, i.e. burst demosaicking and denoising, as well as on the traditional Gaussian denoising task. The developed method demonstrates consistent state-of-the art performance across the two tasks and as opposed to other recent deep learning approaches does not have any inherent restrictions either to the number of frames or their ordering. Code can be found at https://fkokkinos.github.io/deep_burst/


title: Working towards an optimal sampling of the 21 cm signal parameter space

abstract: With a statistical detection of the 21 cm signal fluctuations from the Epoch of Reionization (EoR) expected in the next few years, there is an interest in developing robust and precise techniques to constrain the underlying astrophysical parameters. Bayesian inference with Markov Chain Monte Carlo, or different types of supervised learning for backward modelling (from signal to parameters) are examples of such techniques. They usually require many instances of forward modelling (from parameters to signal) in sampling the parameters space, either when performing the steps of the Markov Chain or when building a training sample for supervised learning. As forward modelling can be costly (if performed with numerical simulations for example), we should attempt to perform an optimal sampling according to some principle. With this goal in mind, we present an approach based on defining a metric on the space of observables, induced by the manner through which the modelling creates a mapping from the parameter space onto the space of observables. This metric bears a close connection to Jeffreys' prior from information theory. It is used to generate a homogeneous and isotropic sampling of the signal space with two different methods. We show that when the resulting optimized samplings, created with 21cmFAST, are used to train a neural network we obtain a modest reduction of the error on parameter reconstruction of ~10% (compared to a na\"ive sampling of the same size). Excluding the borders of the parameter space region, the improvement is more substantial, on the order of 30-40%.


title: A Visual Interaction Framework for Dimensionality Reduction Based Data Exploration

abstract: Dimensionality reduction is a common method for analyzing and visualizing high-dimensional data. However, reasoning dynamically about the results of a dimensionality reduction is difficult. Dimensionality-reduction algorithms use complex optimizations to reduce the number of dimensions of a dataset, but these new dimensions often lack a clear relation to the initial data dimensions, thus making them difficult to interpret. Here we propose a visual interaction framework to improve dimensionality-reduction based exploratory data analysis. We introduce two interaction techniques, forward projection and backward projection, for dynamically reasoning about dimensionally reduced data. We also contribute two visualization techniques, prolines and feasibility maps, to facilitate the effective use of the proposed interactions. We apply our framework to PCA and autoencoder-based dimensionality reductions. Through data-exploration examples, we demonstrate how our visual interactions can improve the use of dimensionality reduction in exploratory data analysis.


title: The Lugiato-Lefever equation with nonlinear damping caused by two photon absorption

abstract: In this paper we investigate the effect of nonlinear damping on the Lugiato-Lefever equation $$ \i \partial_t a = -(\i-\zeta) a - da_{xx} -(1+\i\kappa)|a|^2a +\i f $$ on the torus or the real line. For the case of the torus it is shown that for small nonlinear damping $\kappa>0$ stationary spatially periodic solutions exist on branches that bifurcate from constant solutions whereas all nonconstant solutions disappear when the damping parameter $\kappa$ exceeds a critical value. These results apply both for normal ($d<0$) and anomalous ($d>0$) dispersion. For the case of the real line we show by the Implicit Function Theorem that for small nonlinear damping $\kappa>0$ and large detuning $\zeta\gg 1$ and large forcing $f\gg 1$ strongly localized, bright solitary stationary solutions exists in the case of anomalous dispersion $d>0$. These results are achieved by using techniques from bifurcation and continuation theory and by proving a convergence result for solutions of the time-dependent Lugiato-Lefever equation.


title: Black hole mechanics and thermodynamics in the light of Weyl transformations

abstract: The fate of black hole thermodynamics under Weyl transformations is investigated by going back to the laws of black hole mechanics. It is shown that the transformed surface gravity, that one would identify with the black hole temperature in the conformal frame, as well as the black hole entropy, that one would identify with the horizon area, cannot be invariant. It is also shown that the conformally invariant surface gravity, attributed to the so-called "conformal Killing horizon", cannot represent the black hole temperature in the conformal frame. Finally, using familiar thought experiments, we find that the effect a Weyl transformation should have on black hole thermodynamics becomes even subtler than what is suggested by the laws of black hole mechanics


title: Sensitivity of vortex pairing and mixing to initial perturbations in stratified shear flows

abstract: The effects of different initial perturbations on the evolution of stratified shear flows that are subject to Kelvin-Helmholtz instability and vortex pairing have been investigated through Direct Numerical Simulation (DNS). The effects of purely random perturbations of the background flow are sensitive to the phase of the subharmonic component of the perturbation that has a wavelength double that of the Kelvin-Helmholtz instability. If the phase relationship between the Kelvin-Helmholtz mode and its subharmonic mode is optimal, or close to it, vortex pairing occurs. Vortex paring is delayed when there is a phase difference, and this delay increases with increasing phase difference. In three dimensional simulations vortex pairing is suppressed if the phase difference is sufficiently large, reducing the amount of mixing and mixing efficiency. For a given phase difference close enough to the optimal phase, the response of the flow to eigenvalues perturbations is very similar to the response to random perturbations. In addition to traditional diagnostics, we show quantitatively that a non-modal Fourier component in a random perturbation quickly evolves to be modal and describe the process of vortex pairing using Lagrangian trajectories.


title: Contact loci and Hironaka's order

abstract: We study contact loci sets of arcs and the behavior of Hironaka's order function defined in constructive Resolution of singularities. We show that this function can be read in terms of the irreducible components of the contact loci sets at a singular point of an algebraic variety.


title: Chiller: Contention-centric Transaction Execution and Data Partitioning for Modern Networks

abstract: Distributed transactions on high-overhead TCP/IP-based networks were conventionally considered to be prohibitively expensive and thus were avoided at all costs. To that end, the primary goal of almost any existing partitioning scheme is to minimize the number of cross-partition transactions. However, with the new generation of fast RDMA-enabled networks, this assumption is no longer valid. In fact, recent work has shown that distributed databases can scale even when the majority of transactions are cross-partition. In this paper, we first make the case that the new bottleneck which hinders truly scalable transaction processing in modern RDMA-enabled databases is data contention, and that optimizing for data contention leads to different partitioning layouts than optimizing for the number of distributed transactions. We then present Chiller, a new approach to data partitioning and transaction execution, which aims to minimize data contention for both local and distributed transactions. Finally, we evaluate Chiller using various workloads, and show that our partitioning and execution strategy outperforms traditional partitioning techniques which try to avoid distributed transactions, by up to a factor of 2.


title: A construction which relates c-freeness to infinitesimal freeness

abstract: We consider two extensions of free probability that have been studied in the research literature, and are based on the notions of c-freeness and respectively of infinitesimal freeness for noncommutative random variables. In a 2012 paper, Belinschi and Shlyakhtenko pointed out a connection between these two frameworks, at the level of their operations of 1-dimensional free additive convolution. Motivated by that, we propose a construction which produces a multi-variate version of the Belinschi-Shlyakhtenko result, together with a result concerning free products of multi-variate noncommutative distributions. Our arguments are based on the combinatorics of the specific types of cumulants used in c-free and in infinitesimal free probability. They work in a rather general setting, where the initial data consists of a vector space $V$ given together with a linear map $\Delta : V \to V \otimes V$. In this setting, all the needed brands of cumulants live in the guise of families of multilinear functionals on $V$, and our main result concerns a certain transformation $\Delta^{*}$ on such families of multilinear functionals.


title: Current status of $\varepsilon'/\varepsilon$ in the Standard Model

abstract: A recent lattice prediction of $\varepsilon'/\varepsilon$, with a 2.1 $\sigma$ deviation from the experimental value, has triggered several studies of possible contributions from physics beyond the Standard Model. We have recently updated the SM prediction, including all known short-distance and long-distance contributions, our result $\mbox{Re}\left(\varepsilon'/\varepsilon\right) = (15 \pm 7)\cdot 10^{-4}$ is in complete agreement with the experimental measurement. In addition, we emphasize on the importance of the long-distance re-scattering of the final pions in $K \to \pi \pi$ for a correct prediction of $\varepsilon'/\varepsilon$.


title: The Population of Pulsating Variable Stars in the Sextans Dwarf Spheroidal Galaxy

abstract: A large extension of the Sextans dwarf spheroidal galaxy, 7 sq degrees, has been surveyed for variable stars using the Dark Energy Camera at the Blanco Telescope in Cerro Tololo Inter-American Observatory, Chile. We report 7 Anomalous Cepheids, 199 RR Lyrae stars and 16 dwarf Cepheids in the field. This is only the fifth extra-galactic systems in which dwarf Cepheids have been systematically searched. Henceforth, the new stars increase the census of stars coming from different environments that can be used to asses the advantages and limitations of using dwarf Cepheids as standard candles in populations for which the metallicity is not necessarily known. The dwarf Cepheids found in Sextans have a mean period of 0.066 days, and a mean $g$ amplitude of 0.87 mags. They are located below the horizontal branch spanning a range of 0.8 mag, between $21.9 < g < 22.7$. The number of dwarf Cepheids in Sextans is low compared with other galaxies such as Carina, which have a strong intermediate-age population. On the other hand, the number and ratio of RR Lyrae stars to dwarf Cepheids is quite similar to Sculptor, a galaxy which, as Sextans, is dominated by an old stellar population. The dwarf Cepheid stars found in Sextans follow a well constrained Period-Luminosity relationship with an rms=0.05 mag in the $g$ band, which was set up by anchoring to the distance modulus given by the RR Lyrae stars. Although the majority of the variable stars in Sextans are located toward the center of the galaxy, we have found 2 RR Lyrae stars and 1 Anomalous Cepheid in the outskirts of the galaxy, which may be extra-tidal stars and suggest this galaxy may be undergoing tidal destruction. These possible extra-tidal variable stars share the same proper motions as Sextans, as seen by recent Gaia measurements.


title: UFANS: U-shaped Fully-Parallel Acoustic Neural Structure For Statistical Parametric Speech Synthesis With 20X Faster

abstract: Neural networks with Auto-regressive structures, such as Recurrent Neural Networks (RNNs), have become the most appealing structures for acoustic modeling of parametric text to speech synthesis (TTS) in ecent studies. Despite the prominent capacity to capture long-term dependency, these models consist of massive sequential computations that cannot be fully parallel. In this paper, we propose a U-shaped Fully-parallel Acoustic Neural Structure (UFANS), which is a deconvolutional alternative of RNNs for Statistical Parametric Speech Synthesis (SPSS). The experiments verify that our proposed model is over 20 times faster than RNN based acoustic model, both training and inference on GPU with comparable speech quality. Furthermore, We also investigate that how long information dependence really matters to synthesized speech quality.


title: Engineering zero modes, Fano resonance and Tamm surface states of 'bound states in the gapped continuum'

abstract: In this article, we developed a generalized coupled-mode theory for mixing an isolated state with the gapped continuum to unify the engineering mechanism of gap-protected zero modes, Fano resonance and Tamm surface states, even though those phenomena are diverse in numerous branches of physics and optics. By tuning the on-site potential and coupling strength of/with the isolated state, we found the operating characteristics from zero modes, Fano resonance and to Tamm modes, with explicitly demonstrating their localization, transmission spectra and distinct evolution dynamics of the 'bound states in the gapped continuum' (BIGC). As an extent, we designed two sandwich-like structures in the BIGC framework: (1) the 'isolated-continuous-isolated' (ICI), which leads to adiabatic elimination technique and topologically-protected edge states, and (2) the 'continuous-isolated-continuous' (CIC), which results into the domain wall dynamics. Finally, we proposed the optical waveguide array (WA) modelling of the modified Su-Schrieffer-Heeger dimerized lattice to achieve those interesting engineering processes, and meanwhile to shed light on the generalization of bound states in the continuum into photonics and condensed matters.


title: A comparison of cluster algorithms as applied to unsupervised surveys

abstract: When considering answering important questions with data, unsupervised data offers extensive insight opportunity and unique challenges. This study considers student survey data with a specific goal of clustering students into like groups with underlying concept of identifying different poverty levels. Fuzzy logic is considered during the data cleaning and organizing phase helping to create a logical dependent variable for analysis comparison. Using multiple data reduction techniques, the survey was reduced and cleaned. Finally, multiple clustering techniques (k-means, k-modes, and hierarchical clustering) are applied and compared. Though each method has strengths, the goal was to identify which was most viable when applied to survey data and specifically when trying to identify the most impoverished students.


title: Particle Probability Hypothesis Density Filter based on Pairwise Markov Chains

abstract: Most multi-target tracking filters assume that one target and its observation follow a Hidden Markov Chain (HMC) model, but the implicit independence assumption of HMC model is invalid in many practical applications, and a Pairwise Markov Chain (PMC) model is more universally suitable than traditional HMC model. A particle probability hypothesis density filter based on PMC model (PF-PMC-PHD) is proposed for the nonlinear multi-target tracking system. Simulation results show the effectiveness of PF-PMC-PHD filter, and that the tracking performance of PF-PMC-PHD filter is superior to the particle PHD filter based on HMC model in a scenario where we kept the local physical properties of nonlinear and Gaussian HMC models while relaxing their independence assumption.


title: A Structured Approach to the Construction of Stable Linear Lattice-Boltzmann Collision Operators

abstract: We introduce a structured approach to the construction of linear BGK-type collision operators ensuring that the resulting Lattice-Boltzmann methods are stable with respect to a weighted $L^2$-norm. The results hold for particular boundary conditions including periodic, bounce-back, and bounce-back with flipping of sign. This construction uses the equivalent moment-space definition of BGK-type collision operators and the notion of stability structures as guiding principle for the choice of the equilibrium moments for those moments influencing the error term only but not the order of consistency. The presented structured approach is then applied to the 3D isothermal linearized Euler equations with non-vanishing background velocity. Finally, convergence results in the strong discrete $L^\infty$-norm highlight the suitability of the structured approach introduced in this manuscript.


title: Superconductivity Induced at a Point Contact on the Topological Semimetal Tungsten Carbide

abstract: We report the observation of local superconductivity induced at the point contact formed between a normal metal tip and WC -- a triple point topological semimetal with super hardness. Remarkably, the maximum critical temperature is up to near 12 K but insensitive to the tip's magnetism. The lateral dimensions of the superconducting puddles were evaluated and the temperature dependencies of superconducting gap and upper critical field were also obtained. These results put constraints on the explanation of the induced superconductivity and pave a pathway for exploring topological superconductivity.


title: Play as You Like: Timbre-enhanced Multi-modal Music Style Transfer

abstract: Style transfer of polyphonic music recordings is a challenging task when considering the modeling of diverse, imaginative, and reasonable music pieces in the style different from their original one. To achieve this, learning stable multi-modal representations for both domain-variant (i.e., style) and domain-invariant (i.e., content) information of music in an unsupervised manner is critical. In this paper, we propose an unsupervised music style transfer method without the need for parallel data. Besides, to characterize the multi-modal distribution of music pieces, we employ the Multi-modal Unsupervised Image-to-Image Translation (MUNIT) framework in the proposed system. This allows one to generate diverse outputs from the learned latent distributions representing contents and styles. Moreover, to better capture the granularity of sound, such as the perceptual dimensions of timbre and the nuance in instrument-specific performance, cognitively plausible features including mel-frequency cepstral coefficients (MFCC), spectral difference, and spectral envelope, are combined with the widely-used mel-spectrogram into a timber-enhanced multi-channel input representation. The Relativistic average Generative Adversarial Networks (RaGAN) is also utilized to achieve fast convergence and high stability. We conduct experiments on bilateral style transfer tasks among three different genres, namely piano solo, guitar solo, and string quartet. Results demonstrate the advantages of the proposed method in music style transfer with improved sound quality and in allowing users to manipulate the output.


title: Gridless Line Spectral Estimation with Multiple Measurement Vector via Variational Bayesian Inference

abstract: Line spectral estimation (LSE) from multi snapshot samples is studied utilizing the variational Bayesian methods. Motivated by the recently proposed variational line spectral estimation (VALSE) method for a single snapshot, we develop the multisnapshot VALSE (MVALSE) for multi snapshot scenarios, which is important for array processing. The MVALSE shares the advantages of the VALSE method, such as automatically estimating the model order, noise variance and weight variance, closed-form updates of the posterior probability density function (PDF) of the frequencies. By using multiple snapshots, MVALSE improves the recovery performance and it encodes the prior distribution naturally. Finally, numerical results demonstrate the competitive performance of the MVALSE compared to state-of-the-art methods.


title: Notes on Integrable Motion of Two Interacting Curves and Two-layer Generalized Heisenberg Ferromagnet Equations

abstract: In the present paper, we study the integrable 2-layer generalized Heisenberg ferromagnet equation (HFE). The relation between this generalized HFE and differential geometry of curves is established. Using this relation we found the geometrical equivalent counterpart of the 2-layer spin system which is the 2-component KdV equation. Finally, the gauge equivalence between these equations is established.


title: Dispersing and non-dispersing satellites in the photoemission spectra of aluminum

abstract: Satellites in electronic spectra are pure many-body effects, and their study has been of increasing interest in both experiment and theory. The presence of satellites due to plasmon excitations can be understood with simple models of electron-boson coupling. It is far from obvious how to match such a model to real spectra, where more than one kind of quasi-particle and of satellite excitation coexist. Our joint experimental and theoretical study shows that satellites in the angle-resolved photoemission spectra of the prototype simple metal aluminum consist of a superposition of dispersing and non-dispersing features. Both are due to electron-electron interaction, but the non-dispersing satellites also reflect the thermal motion of the atoms. Moreover, besides their energy dispersion, we also show and explain a strong shape dispersion of the satellites. By taking into account these effects, our first principles calculations using the GW+C approach of many-body perturbation theory reproduce and explain the experimental spectra to an unprecedented extent.


title: Two-valenced association schemes and the Desargues theorem

abstract: The main goal of the paper is to establish a sufficient condition for a two-valenced association scheme to be schurian and separable. To this end, an analog of the Desargues theorem is introduced for a noncommutative geometry defined by the scheme in question. It turns out that if the geometry has enough many Desarguesian configurations, then under a technical condition the scheme is schurian and separable. This result enables us to give short proofs for known statements on the schurity and separability of quasi-thin and pseudocyclic schemes. Moreover, by the same technique we prove a new result: given a prime $p$, any $\{1,p\}$-scheme with thin residue isomorphic to an elementary abelian $p$-group of rank greater than two, is schurian and separable.


title: Forms over fields and Witt's lemma

abstract: We give an overview of the general framework of forms of Bak, Tits and Wall, when restricting to vector spaces over fields, and describe its relationship to the classical notions of Hermitian, alternating and quadratic forms. We then prove a version of Witt's lemma in this context, showing in particular that the action of the group of isometries of a space equipped with a form is transitive on isometric subspaces.


title: Detecting edges from non-uniform Fourier data via sparse Bayesian learning

abstract: In recent investigations, the problem of detecting edges given non-uniform Fourier data was reformulated as a sparse signal recovery problem with an l1-regularized least squares cost function. This result can also be derived by employing a Bayesian formulation. Specifically, reconstruction of an edge map using l1 regularization corresponds to a so-called type-I (maximum a posteriori) Bayesian estimate. In this paper, we use the Bayesian framework to design an improved algorithm for detecting edges from non-uniform Fourier data. In particular, we employ what is known as type-II Bayesian estimation, specifically a method called sparse Bayesian learning. We also show that our new edge detection method can be used to improve downstream processes that rely on accurate edge information like image reconstruction, especially with regards to compressed sensing techniques.


title: Wing fold angle determines the terminal descent velocity of double winged autorotating seeds, fruits and other diaspores

abstract: Wind dispersal of seeds is one essential mechanisms for plants to proliferate and to invade new territories. In this paper we present a methodology that combines 3D-printing, a minimal theoretical model and experiments to determine the shape of multi-winged autorotating seeds, fruits and other diaspores that provide them with the optimal wind dispersion potential i.e. minimal terminal descent velocity. Experiments are performed on 3D-printed synthetic fruits for a wide range of wing fold angles, base wing angles and wing loadings to determine how these affect the flight. Our experimental and theoretical model find an optimal wing fold angle that minimizes the descent velocity, which may be an important parameter that improves the fitness of these plants in an ecological strategy.


title: ApolloCar3D: A Large 3D Car Instance Understanding Benchmark for Autonomous Driving

abstract: Autonomous driving has attracted remarkable attention from both industry and academia. An important task is to estimate 3D properties(e.g.translation, rotation and shape) of a moving or parked vehicle on the road. This task, while critical, is still under-researched in the computer vision community - partially owing to the lack of large scale and fully-annotated 3D car database suitable for autonomous driving research. In this paper, we contribute the first large-scale database suitable for 3D car instance understanding - ApolloCar3D. The dataset contains 5,277 driving images and over 60K car instances, where each car is fitted with an industry-grade 3D CAD model with absolute model size and semantically labelled keypoints. This dataset is above 20 times larger than PASCAL3D+ and KITTI, the current state-of-the-art. To enable efficient labelling in 3D, we build a pipeline by considering 2D-3D keypoint correspondences for a single instance and 3D relationship among multiple instances. Equipped with such dataset, we build various baseline algorithms with the state-of-the-art deep convolutional neural networks. Specifically, we first segment each car with a pre-trained Mask R-CNN, and then regress towards its 3D pose and shape based on a deformable 3D car model with or without using semantic keypoints. We show that using keypoints significantly improves fitting performance. Finally, we develop a new 3D metric jointly considering 3D pose and 3D shape, allowing for comprehensive evaluation and ablation study. By comparing with human performance we suggest several future directions for further improvements.


title: A Scoring Method for Driving Safety Credit Using Trajectory Data

abstract: Urban traffic systems worldwide are suffering from severe traffic safety problems. Traffic safety is affected by many complex factors, and heavily related to all drivers' behaviors involved in traffic system. Drivers with aggressive driving behaviors increase the risk of traffic accidents. In order to manage the safety level of traffic system, we propose Driving Safety Credit inspired by credit score in financial security field, and design a scoring method using trajectory data and violation records. First, we extract driving habits, aggressive driving behaviors and traffic violation behaviors from driver's trajectories and traffic violation records. Next, we train a classification model to filtered out irrelevant features. And at last, we score each driver with selected features. We verify our proposed scoring method using 40 days of traffic simulation, and proves the effectiveness of our scoring method.


title: Design of a Highly Reliable Wireless Module for Ultra-Low-Latency Short Range Applications

abstract: Current radio systems are currently optimized for capacity and range. However, certain applications of wireless systems require fast and reliable communication over short distances. The challenge of these systems is to communicate with a minimum time delay (latency) while at the same time being very reliable and resilient to interference. This paper describes the concept and the proposed abstract architecture of a wireless technology that allows highly reliable and ultra low latency transmission of data between moving units over a few meters, the applications of which can be found in multitude of domains such as Train Communicaion Networks (TCNs), Truck/Tractor - Trailer Communication, Platooning, and in smart industry in the form of co-ordinating machines. The paper also describes the set of novelties that were planned to be realized as part of the final demo hardware


title: Extremal particles of two-dimensional Coulomb gases and random polynomials on a positive background

abstract: We study the outliers for two models which have an interesting connection. On the one hand, we study a specific class of planar Coulomb gases which are determinantal. It corresponds to the case where the confining potential is the logarithmic potential of a radial probability measure. On the other hand, we study the zeros of random polynomials that appear to be closely related to the first model. Their behavior far from the origin is shown to depend only on the decaying properties of the probability measure generating the potential. A similar feature is observed for their behavior near the origin. Furthermore, in some cases, the appearance of outliers is observed, and the zeros of random polynomials and the Coulomb gases are seen to exhibit exactly the same behavior, which is related to the unweighted Bergman kernel.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: A dichotomy for integral group rings via higher modular groups as amalgamated products

abstract: We show that $\mathcal{U}(\mathbb{Z}G)$, the unit group of the integral group ring $\mathbb{Z} G$, either satisfies Kazhdan's property (T) or is, up to commensurability, a non-trivial amalgamated product, in case $G$ is a finite group satisfying some mild conditions. Crucial in the proof is the construction of amalgamated decompositions of the elementary group $\operatorname{E}_2(\mathcal{O})$, where $\mathcal{O}$ is an order in a rational division algebra. A major step is to introduce subgroups $\operatorname{E}_2(\Gamma_n(\mathbb{Z}))$ inside the so-called higher modular groups $\operatorname{SL}_+(\Gamma_n(\mathbb{Z}))$, which are discrete subgroups of certain $2 \times 2$ matrix groups with entries in a Clifford algebra. The groups $\operatorname{E}_2(\Gamma_n(\mathbb{Z}))$ mimic the elementary groups in linear groups over rings. We prove that $\operatorname{E}_2(\Gamma_n(\mathbb{Z}))$ has in general a non-trivial decomposition as a free product with amalgamated subgroup $\operatorname{E}_2(\Gamma_{n-1}(\mathbb{Z}))$. From this we obtain that also the higher modular groups do have a very clearly structured amalgam decompositions in low dimensions.


title: Early Stratification of Patients at Risk for Postoperative Complications after Elective Colectomy

abstract: Stratifying patients at risk for postoperative complications may facilitate timely and accurate workups and reduce the burden of adverse events on patients and the health system. Currently, a widely-used surgical risk calculator created by the American College of Surgeons, NSQIP, uses 21 preoperative covariates to assess risk of postoperative complications, but lacks dynamic, real-time capabilities to accommodate postoperative information. We propose a new Hidden Markov Model sequence classifier for analyzing patients' postoperative temperature sequences that incorporates their time-invariant characteristics in both transition probability and initial state probability in order to develop a postoperative "real-time" complication detector. Data from elective Colectomy surgery indicate that our method has improved classification performance compared to 8 other machine learning classifiers when using the full temperature sequence associated with the patients' length of stay. Additionally, within 44 hours after surgery, the performance of the model is close to that of full-length temperature sequence.


title: Machine Learning Based Obstacle Detection for Automatic Train Pairing

abstract: Short Range wireless devices are becoming more and more popular for ubiquitous sensor and actuator connectivity in industrial communication scenarios. Apart from communication-only scenarios, there are also mission-critical use cases where the distance between the two communicating nodes needs to be determined precisely. Applications such as Automatic Guided Vehicles (AGV's), Automatic Train Pairing additionally require the devices to scan the environment and detect any potential humans/obstacles. Ultra-Wide Band (UWB) has emerged as a promising candidate for Real-Time Ranging and Localization (RTRL) due to advantages such as large channel capacity, better co-existence with legacy systems due to low transmit power, better performance in multipath environments etc. In this paper, we evaluate the performance of a UWB COTS device - TimeDomain P440 which can operate as a ranging radio and a monostatic radar simultaneously. To this end, we evaluate the possibility of using Supervised Learning based estimators for predicting the presence of obstacles by constructing a multiclass hypothesis. Simulation results show that the Ensemble tree based methods are able to calculate the likelihood of obstacle collision with accuracies close to 95%.


title: Minimizing CM degree and slope stability of projective varieties

abstract: We discuss a minimization problem of the degree of the CM line bundle among all possible fillings of a polarized family with fixed general fibers. We show that such minimization implies the slope semistability of the fiber if the central fiber is smooth.


title: o-minimal GAGA and a conjecture of Griffiths

abstract: We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are definable with respect to a given o-minimal structure, and prove a GAGA-type theorem algebraizing definable coherent sheaves on complex algebraic spaces. We then combine this with algebraization theorems of Artin to show that proper definable images of complex algebraic spaces are algebraic. Applying this to period maps, we conclude that the images of period maps are quasi-projective and that the restriction of the Griffiths bundle is ample.


title: ImageNet-trained CNNs are biased towards texture; increasing shape bias improves accuracy and robustness

abstract: Convolutional Neural Networks (CNNs) are commonly thought to recognise objects by learning increasingly complex representations of object shapes. Some recent studies suggest a more important role of image textures. We here put these conflicting hypotheses to a quantitative test by evaluating CNNs and human observers on images with a texture-shape cue conflict. We show that ImageNet-trained CNNs are strongly biased towards recognising textures rather than shapes, which is in stark contrast to human behavioural evidence and reveals fundamentally different classification strategies. We then demonstrate that the same standard architecture (ResNet-50) that learns a texture-based representation on ImageNet is able to learn a shape-based representation instead when trained on "Stylized-ImageNet", a stylized version of ImageNet. This provides a much better fit for human behavioural performance in our well-controlled psychophysical lab setting (nine experiments totalling 48,560 psychophysical trials across 97 observers) and comes with a number of unexpected emergent benefits such as improved object detection performance and previously unseen robustness towards a wide range of image distortions, highlighting advantages of a shape-based representation.


title: Optical Detection and Storage of Entanglement in Plasmonically Coupled Quantum Dot Qubits

abstract: Recent proposals and advances in quantum simulations, quantum cryptography and quantum communications substantially rely on quantum entanglement formation. Contrary to the conventional wisdom that dissipation destroys quantum coherence, coupling with a dissipative environment can also generate entanglement. We consider a system composed of two quantum dot qubits coupled with a common, damped surface plasmon mode; each quantum dot is also coupled to a separate photonic cavity mode. Cavity quantum electrodynamics calculations show that upon optical excitation by a femtosecond laser pulse, entanglement of the quantum dot excitons occurs, and the time evolution of the $g^{(2)}$ pair correlation function of the cavity photons is an indicator of the entanglement. We also show that the degree of entanglement is conserved during the time evolution of the system. Furthermore, if coupling of the photonic cavity and quantum dot modes is large enough, the quantum dot entanglement can be transferred to the cavity modes to increase the overall entanglement lifetime. This latter phenomenon can be viewed as a signature of entangled, long-lived quantum dot exciton-polariton formation. The preservation of total entanglement in the strong coupling limit of the cavity/quantum dot interactions suggests a novel means of entanglement storage and manipulation in high-quality optical cavities.


title: MOND in galaxy groups: a superior sample

abstract: Intermediate-richness galaxy groups are an important test ground for MOND. First, they constitute a distinct type of galactic systems, with their own evolution histories and underlying physical processes; secondly, they probe little-chartered regions of parameter space, as they have baryonic masses similar to massive galaxies, and similar velocity dispersions, but much larger sizes -- similar to cluster cores (or even to clusters), but much lower dispersions. Importantly in the context of MOND, they have the lowest internal accelerations reachable inside galactic systems. I analyze a sample of 56 medium-richness groups having a large number ($\ge 15$) of members with measured velocities. The groups obey the deep-MOND, baryonic-mass-velocity-dispersion relation, $M_MGa_0=(81/4)\sigma^4$, with individual, MOND $M_M/L_K$ ratios of order $1$ solar unit, with $(M_M/L_K)_{median}=0.7$ s.u. compared with the much larger Newtonian $M_d/L_K$ -- several tens s.u., and $(M_d/L_K)_{median}=37$ s.u. The same MOND relation describes dwarf spheroidals -- 2-3 orders smaller in size, and 7-8 orders lower in mass. The groups conformation to the MOND relation is equivalent to their lying on the deep-MOND branch of the `acceleration-discrepancy relation', $g\approx (g_N a_0)^{1/2}$, for $g$ as low as a few percents of $a_0$ ($g_N$ is the baryonic, Newtonian, gravitational acceleration, and $g$ the actual one). This argues against a breakdown of MOND at extremely low accelerations. This conformation also argues against the hypothesis that the remaining MOND conundrum in cluster cores bespeaks a breakdown of MOND on large-distance scales; our groups are as large as cluster cores, but do not show obvious disagreement with MOND. I also discuss the possible presence of the idiosyncratic, MOND external-field effect.


title: Machine Learning on Electronic Health Records: Models and Features Usages to predict Medication Non-Adherence

abstract: Adherence can be defined as "the extent to which patients take their medications as prescribed by their healthcare providers"[Osterberg and Blaschke, 2005]. World Health Organization's reports point out that, in developed countries, only about 50% of patients with chronic diseases correctly follow their treatments. This severely compromises the efficiency of long-term therapy and increases the cost of health services. We propose in this paper different models of patient drug consumption in breast cancer treatments. The aim of these different approaches is to predict medication non-adherence while giving insights to doctors of the underlying reasons of these illegitimate drop-outs. Working with oncologists, we show the interest of Machine- Learning algorithms fined tune by the feedback of experts to estimate a risk score of a patient's non-adherence and thus improve support throughout their care path.


title: Poisson-Lie T-plurality revisited. Is T-duality unique?

abstract: We investigate (non-)Abelian T-duality from the perspective of Poisson-Lie T-plurality. We show that sigma models related by duality/plurality are given not only by Manin triples obtained from decompositions of Drinfel'd double, but also by their particular embeddings, i.e. maps that relate bases of these decompositions. This allows us to get richer set of dual or plural sigma models than previously thought. That's why we ask how T-duality is defined and what should be the `canonical' duality or plurality transformation.


title: Limit of Temporal Resolution in Atomic Force Microscopy: How fast can we image with atomically-engineered tips while preserving picometer range spatial resolution?

abstract: With recent advances in dynamic scanning probe microscopy techniques, it is now a routine to image the sub-molecular structure of molecules with atomically-engineered tips which are prepared via controlled modification of the tip termination and are chemically well-defined. The enhanced spatial resolution is possible as atomically-engineered tips can preserve their integrity in the repulsive interaction regime. Although the mechanism of improved spatial resolution has been investigated both experimentally and theoretically, the ultimate temporal resolution while preserving picometer scale spatial resolution still remains an open question. Here, we computationally analyze the temporal resolution of atomic force microscopy imaging with atomically-engineered tips. Our computational results reveal that non-metal terminated tips, e.g. oxygen-terminated copper, are well-suited for enhanced temporal resolution up to video rate imaging velocities while preserving picometer range spatial resolution. Contrarily, the highest-attainable spatial resolution of atomically-engineered tips with low-stiffness, e.g. CO-terminated, deteriorate with increasing imaging velocity. Our results reveal that when atomically-engineered tips terminated with molecules are in use, imaging velocities in the order of nanometers per second at most are inevitable even for atomically flat surfaces to retain atomic resolution and avoid slip-stick motion. In addition to shedding light on the temporal resolution of atomic force microscopy imaging with atomically-engineered tips, our numerical results provide an outlook to the scalability of atom-by-atom fabrication using scanning probe microscopy techniques.


title: Inflation and Reheating with a Fermionic Field

abstract: Inflation has long been the accepted paradigm for understanding the early universe. Most models of inflation have a scalar field acting as the inflaton particle which decays after inflation during a process called reheating into standard model (SM) particles. In this work, we consider a fermion as the inflaton field. Noether symmetry arguments show that an exponentially expanding universe is possible with a fermion if it is coupled non-minimally to gravity. We use such a scenario in this model to study both inflation and reheating. We find relations between the various parameters involved in this model which include the non-minimal coupling strength $\xi$, the mass $m$ and the Yukawa coupling $Y$.


title: Perceiving Physical Equation by Observing Visual Scenarios

abstract: Inferring universal laws of the environment is an important ability of human intelligence as well as a symbol of general AI. In this paper, we take a step toward this goal such that we introduce a new challenging problem of inferring invariant physical equation from visual scenarios. For instance, teaching a machine to automatically derive the gravitational acceleration formula by watching a free-falling object. To tackle this challenge, we present a novel pipeline comprised of an Observer Engine and a Physicist Engine by respectively imitating the actions of an observer and a physicist in the real world. Generally, the Observer Engine watches the visual scenarios and then extracting the physical properties of objects. The Physicist Engine analyses these data and then summarizing the inherent laws of object dynamics. Specifically, the learned laws are expressed by mathematical equations such that they are more interpretable than the results given by common probabilistic models. Experiments on synthetic videos have shown that our pipeline is able to discover physical equations on various physical worlds with different visual appearances.


title: Counterfactual Learning from Human Proofreading Feedback for Semantic Parsing

abstract: In semantic parsing for question-answering, it is often too expensive to collect gold parses or even gold answers as supervision signals. We propose to convert model outputs into a set of human-understandable statements which allow non-expert users to act as proofreaders, providing error markings as learning signals to the parser. Because model outputs were suggested by a historic system, we operate in a counterfactual, or off-policy, learning setup. We introduce new estimators which can effectively leverage the given feedback and which avoid known degeneracies in counterfactual learning, while still being applicable to stochastic gradient optimization for neural semantic parsing. Furthermore, we discuss how our feedback collection method can be seamlessly integrated into deployed virtual personal assistants that embed a semantic parser. Our work is the first to show that semantic parsers can be improved significantly by counterfactual learning from logged human feedback data.


title: Can Cryptocurrencies Preserve Privacy and Comply with Regulations?

abstract: Cryptocurrencies offer an alternative to traditional methods of electronic value exchange, promising anonymous, cash-like electronic transfers, but in practice they fall short for several key reasons. We consider the false choice between total surveillance, as represented by banking as currently implemented by institutions, and impenetrable lawlessness, as represented by privacy-enhancing cryptocurrencies as currently deployed. We identify a range of alternatives between those two extremes, and we consider two potential compromise approaches that offer both the auditability required for regulators and the anonymity required for users.


title: Latest results on astroparticle physics with H.E.S.S

abstract: The High Energy Spectroscopic System (H.E.S.S.) is pursuing a rich observational program in astroparticle physics. The latest results from H.E.S.S. on the search for dark matter towards the Galactic Center and dwarf galaxies, the test of Lorentz invariance, and the measurement of the cosmic-ray electron spectrum are presented.


title: Theory of mechano-chemical patterning in biphasic biological tissues

abstract: The formation of self-organized patterns is key to the morphogenesis of multicellular organisms, although a comprehensive theory of biological pattern formation is still lacking. Here, we propose a minimal model combining tissue mechanics to morphogen turnover and transport in order to explore new routes to patterning. Our active description couples morphogen reaction-diffusion, which impact on cell differentiation and tissue mechanics, to a two-phase poroelastic rheology, where one tissue phase consists of a poroelastic cell network and the other of a permeating extracellular fluid, which provides a feedback by actively transporting morphogens. While this model encompasses previous theories approximating tissues to inert monophasic media, such as Turing's reaction-diffusion model, it overcomes some of their key limitations permitting pattern formation via any two-species biochemical kinetics thanks to mechanically induced cross-diffusion flows. Moreover, we describe a qualitatively different advection-driven Keller-Segel instability which allows for the formation of patterns with a single morphogen, and whose fundamental mode pattern robustly scales with tissue size. We discuss the potential relevance of these findings for tissue morphogenesis.


title: Influence of dimension on the convergence of level-sets in total variation regularization

abstract: We extend some recent results on the Hausdorff convergence of level-sets for total variation regularized linear inverse problems. Dimensions higher than two and measurements in Banach spaces are considered. We investigate the relation between the dimension and the assumed integrability of the solution that makes such an extension possible. We also give some counterexamples of practical application scenarios where the natural choice of fidelity term makes such a convergence fail.


title: Rates of contraction of posterior distributions based on $p$-exponential priors

abstract: We consider a family of infinite dimensional product measures with tails between Gaussian and exponential, which we call $p$-exponential measures. We study their measure-theoretic properties and in particular their concentration. Our findings are used to develop a general contraction theory of posterior distributions on nonparametric models with $p$-exponential priors in separable Banach parameter spaces. Our approach builds on the general contraction theory for Gaussian process priors in van der Vaart and van Zanten 2008, namely we use prior concentration to verify prior mass and entropy conditions sufficient for posterior contraction. However, the specific concentration properties of $p$-exponential priors lead to a more complex entropy bound which can influence negatively the obtained rate of contraction, depending on the topology of the parameter space. Subject to the more complex entropy bound, we show that the rate of contraction depends on the position of the true parameter relative to a certain Banach space associated to $p$-exponential measures and on the small ball probabilities of these measures. For example, we apply our theory in the white noise model under Besov regularity of the truth and obtain minimax rates of contraction using (rescaled) $\alpha$-regular $p$-exponential priors. In particular, our results suggest that when interested in spatially inhomogeneous unknown functions, in terms of posterior contraction, it is preferable to use Laplace rather than Gaussian priors.


title: Effect of time of day on reward circuitry: Further thoughts on methods, prompted by Steel et al 2018

abstract: The interplay between circadian and reward function is well understood in animal models, and is of growing interest as an aetiological explanation in psychopathologies. Circadian modulation of reward function has been demonstrated in human behavioural data, but understanding at the neural level is limited. In 2017, our group published results of a first step in addressing this deficit, demonstrating a diurnal rhythm in fMRI-measured reward activation. In 2018, Steel et al wrote a constructive critique of our findings, and the aim of this paper is to outline how future research could improve on our first proof-of-concept study. Key challenges include addressing divergent and convergent validity (by addressing non-reward neural variation, and testing for absence of variation in threat-related pathways), preregistration and power analysis to protect against false positives, wider range of fMRI methods (to directly test our post-hoc hypothesis of some form of reward prediction error, and multiple phases of reward), the parallel collection of behavioural data (particularly self-reported positive affect, and actigraphically measured activity) to illuminate the nature of the reward activation across the day, and some attempt to parse out circadian versus homeostatic/masking influences on any observed diurnal rhythm in neural reward activation.


title: Three-step alternating iterations for index one matrices

abstract: Iterative methods based on matrix splittings are useful in solving large sparse linear systems. In this direction, proper splittings and its several extensions are used to deal with singular and rectangular linear systems. In this article, we introduce a new iteration scheme called three-step alternating iterations using proper splittings and group inverses to find an approximate solution of singular linear systems, iteratively. A preconditioned alternating iterative scheme is also proposed to relax some sufficient conditions and to obtain faster convergence as well. We then show that our scheme converges faster than the existing one. The theoretical findings are then validated numerically.


title: Agnostic Detector Error, Wigner Functions, and the Classical Limit of the High-Spin Einstein-Podolsky-Rosen Experiment

abstract: The spin-$j$ Einstein-Podolsky-Rosen experiment is studied with a view to understanding how classical behaviour emerges as $j \to \infty$. It is proposed that it is necessary to include detector error, which if it is be to viewed as an essential aspect of the emergence of classicality, should be both minimal, i.e., no more than necessary to wash out quantum mechanical behaviour, and agnostic, by which is meant that one should be able to ascribe it to error in the preparation of the state just as well as to the detector.Errors in the state preparation are discussed via the spin Wigner function. An agnostic error protocol is described which appears to be minimal.


title: Discovering Spatio-Temporal Action Tubes

abstract: In this paper, we address the challenging problem of spatial and temporal action detection in videos. We first develop an effective approach to localize frame-level action regions through integrating static and kinematic information by the early- and late-fusion detection scheme. With the intention of exploring important temporal connections among the detected action regions, we propose a tracking-by-point-matching algorithm to stitch the discrete action regions into a continuous spatio-temporal action tube. Recurrent 3D convolutional neural network is used to predict action categories and determine temporal boundaries of the generated tubes. We then introduce an action footprint map to refine the candidate tubes based on the action-specific spatial characteristics preserved in the convolutional layers of R3DCNN. In the extensive experiments, our method achieves superior detection results on the three public benchmark datasets: UCFSports, J-HMDB and UCF101.


title: An Evaluation of Design-based Properties of Different Composite Estimators

abstract: For the last several decades, the US Census Bureau has been using the AK composite estimation method to produce statistics on employment from the Current Population Survey (CPS) data. The CPS uses a rotating design and AK estimators are linear combinations of monthly survey weighted averages (called month-in-sample estimates) in each rotation groups. Denoting by $X$ the vector of month-in-sample estimates and by $\Sigma$ its design based variance, the coefficients of the linear combination were optimized by the Census Bureau after substituting $\Sigma$ by an estimate and under unrealistic stationarity assumptions. To show the limits of this approach, we compared the AK estimator with different competitors using three different synthetic populations that mimics the Current Population Survey (CPS) data and a simplified sample design that mimics the CPS design. In our simulation setup, empirically best estimators have larger mean square error than simple averages. In the real data analysis, the AK estimates are constantly below the survey-weighted estimates, indicating potential bias. Any attempt to improve on the estimated optimal estimator in either class would require a thorough investigation of the highly non-trivial problem of estimation of $\Sigma$ for a complex setting like the CPS (we did not entertain this problem in this paper). A different approach is to use a variant of the regression composite estimator used by Statistics Canada. The regression composite estimator does not require estimation of $\Sigma$ and is less sensitive to the rotation group bias in our simulations. Our study demonstrates that there is a great potential for improving the estimation of levels and month to month changes in the unemployment rates by using the regression composite estimator.


title: The Phillips - Barger model for the elastic cross section and the Odderon

abstract: Inspired by the recent TOTEM data for the elastic proton -- proton ($pp$) scattering at $\sqrt{s} =$ 8 and 13 TeV, we update previous studies of the differential cross sections using the Phillips -- Barger (PB) model, which parametrizes the amplitude in terms of a small number of free parameters. We demonstrate that this model is able to describe the recent $pp$ data on a statistically acceptable way. Additionally, we perform separate fits of the $pp$ data for each center - of - mass energy and propose a parametrization for the energy dependence of the parameters present in the PB model. As a consequence, we are able to present the PB predictions for the elastic proton - proton cross section at $\sqrt{s} = 546$ GeV and $1.8$ TeV, which are compared with the existing antiproton -- proton ($\bar{p}p$) data. We show that the PB predictions, constrained by the $pp$ data, are not able to describe the $\bar{p}p$ data. In particular, the PB model predicts a dip in the differential cross section that is not present in the $\bar{p}p$ data. Such result suggests the contribution of the Odderon exchange at high energies.


title: Non-fiducial cosmological test from geometrical and dynamical distortions around voids

abstract: We present a new cosmological test using the distribution of galaxies around cosmic voids without assuming a fiducial cosmology. The test is based on a physical model for the void-galaxy cross-correlation function projected along and perpendicular to the line of sight. We treat correlations in terms of void-centric angular distances and redshift differences between void-galaxy pairs, hence it is not necessary to assume a fiducial cosmology. This model reproduces the coupled dynamical (Kaiser effect, RSD) and geometrical (Alcock-Paczynski effect, GD) distortions that affect the correlation measurements. It also takes into account the scale mixing due to the projection ranges in both directions. The model is general, so it can be applied to an arbitrary cylindrical binning scheme, not only in the case of the projected correlations. It primarily depends on two cosmological parameters: $\Omega_m$, the matter fraction of the Universe today (sensitive to GD), and $\beta$, the ratio between the growth rate factor of density perturbations and the tracer bias (sensitive to RSD). In the context of the new generation of galaxy spectroscopic surveys, we calibrated the test using the Millennium XXL simulation for different redshifts. The method successfully recovers the cosmological parameters. We studied the effect of measuring with different projection ranges, finding robust results up to wide ranges. The resulting data covariance matrices are relatively small, which reduces the noise in the Gaussian likelihood analysis and will allow the usage of a smaller number of mock catalogues. The performance evaluated in this work indicates that the developed method is a promising test to be applied on real data.


title: Graph Isomorphism for $(H_1,H_2)$-free Graphs: An Almost Complete Dichotomy

abstract: We resolve the computational complexity of Graph Isomorphism for classes of graphs characterized by two forbidden induced subgraphs $H_1$ and $H_2$ for all but six pairs $(H_1,H_2)$. Schweitzer had previously shown that the number of open cases was finite, but without specifying the open cases. Grohe and Schweitzer proved that Graph Isomorphism is polynomial-time solvable on graph classes of bounded clique-width. Our work combines known results such as these with new results. By exploiting a relationship between Graph Isomorphism and clique-width, we simultaneously reduce the number of open cases for boundedness of clique-width for $(H_1,H_2)$-free graphs to five.


title: Unifying the stochastic and the adversarial Bandits with Knapsack

abstract: This paper investigates the adversarial Bandits with Knapsack (BwK) online learning problem, where a player repeatedly chooses to perform an action, pays the corresponding cost, and receives a reward associated with the action. The player is constrained by the maximum budget $B$ that can be spent to perform actions, and the rewards and the costs of the actions are assigned by an adversary. This problem has only been studied in the restricted setting where the reward of an action is greater than the cost of the action, while we provide a solution in the general setting. Namely, we propose EXP3.BwK, a novel algorithm that achieves order optimal regret. We also propose EXP3++.BwK, which is order optimal in the adversarial BwK setup, and incurs an almost optimal expected regret with an additional factor of $\log(B)$ in the stochastic BwK setup. Finally, we investigate the case of having large costs for the actions (i.e., they are comparable to the budget size $B$), and show that for the adversarial setting, achievable regret bounds can be significantly worse, compared to the case of having costs bounded by a constant, which is a common assumption within the BwK literature.


title: The Effect of Heterogeneous Data for Alzheimer's Disease Detection from Speech

abstract: Speech datasets for identifying Alzheimer's disease (AD) are generally restricted to participants performing a single task, e.g. describing an image shown to them. As a result, models trained on linguistic features derived from such datasets may not be generalizable across tasks. Building on prior work demonstrating that same-task data of healthy participants helps improve AD detection on a single-task dataset of pathological speech, we augment an AD-specific dataset consisting of subjects describing a picture with multi-task healthy data. We demonstrate that normative data from multiple speech-based tasks helps improve AD detection by up to 9%. Visualization of decision boundaries reveals that models trained on a combination of structured picture descriptions and unstructured conversational speech have the least out-of-task error and show the most potential to generalize to multiple tasks. We analyze the impact of age of the added samples and if they affect fairness in classification. We also provide explanations for a possible inductive bias effect across tasks using model-agnostic feature anchors. This work highlights the need for heterogeneous datasets for encoding changes in multiple facets of cognition and for developing a task-independent AD detection model.


title: So, what is a derived functor?

abstract: In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair (LF,RG). In particular, canonicity of this passage becomes obvious. 2nd version: added comparison to Deligne's definition (SGA4) and a discussion of diagrams of derived functors. Introduction rewritten and references added. 3rd version: description of Kan extensions in terms of correspondences more detailed. 4th version: the final version accepted to HHA.


title: Groups of piecewise linear homeomorphisms of flows

abstract: To every dynamical system $(X,\varphi)$ over a totally disconnected compact space, we associate a left-orderable group $T(\varphi)$. It is defined as a group of homeomorphisms of the suspension of $(X,\varphi)$ which preserve every orbit of the suspension flow and act by dyadic piecewise linear homeomorphisms in the flow direction. We show that if the system is minimal, the group is simple, and if it is a subshift then the group is finitely generated. The proofs of these two statements are short and elementary, providing straightforward examples of finitely generated simple left-orderable groups. We show that if the system is minimal, every action of the corresponding group on the circle has a fixed point. These constitute the first examples of finitely generated left-orderable groups with this fixed point property. We show that for every system $(X,\varphi)$, the group $T(\varphi)$ does not have infinite subgroups with Kazhdan's property $(T)$. In addition, we show that for every minimal subshift, the corresponding group is never finitely presentable. Finally if $(X,\varphi)$ has a dense orbit then the isomorphism type of the group $T(\varphi)$ is a complete invariant of flow equivalence of the pair $\{\varphi, \varphi^{-1}\}$. In the appendix we describe a Polish group into which $T(\varphi)$ embeds densely.


title: Locally Differentially-Private Randomized Response for Discrete Distribution Learning

abstract: We consider a setup in which confidential i.i.d. samples $X_1,\dotsc,X_n$ from an unknown finite-support distribution $\boldsymbol{p}$ are passed through $n$ copies of a discrete privatization channel (a.k.a. mechanism) producing outputs $Y_1,\dotsc,Y_n$. The channel law guarantees a local differential privacy of $\epsilon$. Subject to a prescribed privacy level $\epsilon$, the optimal channel should be designed such that an estimate of the source distribution based on the channel outputs $Y_1,\dotsc,Y_n$ converges as fast as possible to the exact value $\boldsymbol{p}$. For this purpose we study the convergence to zero of three distribution distance metrics: $f$-divergence, mean-squared error and total variation. We derive the respective normalized first-order terms of convergence (as $n\to\infty$), which for a given target privacy $\epsilon$ represent a rule-of-thumb factor by which the sample size must be augmented so as to achieve the same estimation accuracy as that of a non-randomizing channel. We formulate the privacy-fidelity trade-off problem as being that of minimizing said first-order term under a privacy constraint $\epsilon$. We further identify a scalar quantity that captures the essence of this trade-off, and prove bounds and data-processing inequalities on this quantity. For some specific instances of the privacy-fidelity trade-off problem, we derive inner and outer bounds on the optimal trade-off curve.


title: BCCNet: Bayesian classifier combination neural network

abstract: Machine learning research for developing countries can demonstrate clear sustainable impact by delivering actionable and timely information to in-country government organisations (GOs) and NGOs in response to their critical information requirements. We co-create products with UK and in-country commercial, GO and NGO partners to ensure the machine learning algorithms address appropriate user needs whether for tactical decision making or evidence-based policy decisions. In one particular case, we developed and deployed a novel algorithm, BCCNet, to quickly process large quantities of unstructured data to prevent and respond to natural disasters. Crowdsourcing provides an efficient mechanism to generate labels from unstructured data to prime machine learning algorithms for large scale data analysis. However, these labels are often imperfect with qualities varying among different citizen scientists, which prohibits their direct use with many state-of-the-art machine learning techniques. We describe BCCNet, a framework that simultaneously aggregates biased and contradictory labels from the crowd and trains an automatic classifier to process new data. Our case studies, mosquito sound detection for malaria prevention and damage detection for disaster response, show the efficacy of our method in the challenging context of developing world applications.


title: Genuine temporal correlations can certify the quantum dimension

abstract: Temporal correlations in quantum mechanics are the origin of several non-classical phenomena, but they depend on the dimension of the underlying quantum system. This allows one to use such correlations for the certification of a minimal Hilbert space dimension. Here we provide a theoretical proposal and an experimental implementation of a device-independent dimension test, using temporal correlations observed on a single trapped $^{171}$Yb$^+$ ion. Our test goes beyond the prepare-and-measure scheme of previous approaches, demonstrating the advantage of genuine temporal correlations.


title: SMEFT and the Drell-Yan Process at High Energy

abstract: The Drell-Yan process is a copious source of lepton pairs at high energy and is measured with great precision at the Large Hadron Collider (LHC). Barring any new light particles, beyond the Standard Model effects can be studied in Drell-Yan production using an effective field theory. At tree level, new 4-fermion interactions dominate, while at one loop operators modifying 3-gauge boson couplings contribute effects that are enhanced at high energy. We study the sensitivity of the neutral Drell-Yan process to these dimension-6 operators and compare the sensitivity to that of $W^+W^-$ pair production at the LHC.


title: Casimir effect in quadratic theories of gravity

abstract: In this paper, we study the Casimir effect in a curved spacetime described by gravitational actions quadratic in the curvature. In particular, we consider the dynamics of a massless scalar field confined between two nearby plates and compute the corresponding mean vacuum energy density and pressure in the framework of quadratic theories of gravity. Since we are interested in the weak-field limit, as far as the gravitational sector is concerned we work in the linear regime. Remarkably, corrections to the flat spacetime result due to extended models of gravity (although very small) may appear at the first-order of our perturbative analysis, whereas general relativity contributions start appearing at the second order. Future experiments on the Casimir effect might represent a useful tool to test and constrain extended theories of gravity.


title: Wigner-Eckart Theorem and the False EDM of $^{199}$Hg

abstract: In neutron electric dipole moment experiments, 199Hg is used as a comagnetometer. The comagnetometer suffers from a false EDM arising in leading order from a gradient dBz/dz in the magnetic field. Our work concerns higher-order multipole corrections to the false EDM of 199Hg. We show that for spherical traps, all higher-order multipole are identically zero. We further show that for the usual cylindrical traps used in EDM experiments, selection of quasi-spherical dimensions for the trap can reduce the higher-order contributions. The results are another indication that trap geometry is an important consideration for experiments desiring to control this systematic effect.


title: Monster Anatomy

abstract: We investigate the two-dimensional conformal field theories (CFTs) of $c=\frac{47}{2}$, $c=\frac{116}{5}$ and $c=23$ `dual' to the critical Ising model, the three state Potts model and the tensor product of two Ising models, respectively. We argue that these CFTs exhibit moonshines for the double covering of the baby Monster group, $2\cdot \mathbb{B}$, the triple covering of the largest Fischer group, $3\cdot \text{Fi}_{24}'$ and multiple-covering of the second largest Conway group, $2\cdot 2^{1+22} \cdot \text{Co}_2$. Various twined characters are shown to satisfy generalized bilinear relations involving Mckay-Thompson series. We also rediscover that the `self-dual' two-dimensional bosonic conformal field theory of $c=12$ has the Conway group $\text{Co}_{0}\simeq2\cdot\text{Co}_1$ as an automorphism group.


title: Quantum Gravity on the computer: Impressions of a workshop

abstract: Computer simulations allow us to explore non-perturbative phenomena in physics. This has the potential to help us understand quantum gravity. Finding a theory of quantum gravity is a hard problem, but in the last decades many promising and intriguing approaches that utilize or might benefit from using numerical methods were developed. These approaches are based on very different ideas and assumptions, yet they face the common challenge to derive predictions and compare them to data. In March 2018 we held a workshop at the Nordic Institute for Theoretical Physics (NORDITA) in Stockholm gathering experts in many different approaches to quantum gravity for a workshop on "Quantum gravity on the computer". In this article we try to encapsulate some of the discussions held and talks given during this workshop and combine them with our own thoughts on why and how numerical approaches will play an important role in pushing quantum gravity forward. The last section of the article is a road map providing an outlook of the field and some intentions and goalposts that were debated in the closing session of the workshop. We hope that it will help to build a strong numerical community reaching beyond single approaches to combine our efforts in the search for quantum gravity.


title: Electrosense+: Crowdsourcing Radio Spectrum Decoding using IoT Receivers

abstract: Web spectrum monitoring systems based on crowdsourcing have recently gained popularity. These systems are however limited to applications of interest for governamental organizationsor telecom providers, and only provide aggregated information about spectrum statistics. Theresult is that there is a lack of interest for layman users to participate, which limits its widespreaddeployment. We present Electrosense+ which addresses this challenge and creates a general-purpose and open platform for spectrum monitoring using low-cost, embedded, and software-defined spectrum IoT sensors. Electrosense+ allows users to remotely decode specific parts ofthe radio spectrum. It builds on the centralized architecture of its predecessor, Electrosense, forcontrolling and monitoring the spectrum IoT sensors, but implements a real-time and peer-to-peercommunication system for scalable spectrum data decoding. We propose different mechanismsto incentivize the participation of users for deploying new sensors and keep them operational inthe Electrosense network. As a reward for the user, we propose an incentive accounting systembased on virtual tokens to encourage the participants to host IoT sensors. We present the newElectrosense+ system architecture and evaluate its performance at decoding various wireless sig-nals, including FM radio, AM radio, ADS-B, AIS, LTE, and ACARS.


title: On certain class of locally conformal symplectic structures of the second kind

abstract: We study locally conformal symplectic (LCS) structures of the second kind on a Lie algebra. We show a method to build new examples of Lie algebras admitting LCS structures of the second kind starting with a lower dimensional Lie algebra endowed with a LCS structure and a suitable representation. Moreover, we characterize all LCS Lie algebras obtained with our construction. Finally, we study the existence of lattices in the associated simply connected Lie groups in order to obtain compact examples of manifolds admitting this kind of structure.


title: Minimizing rf-induced excess micromotion of a trapped ion with the help of ultracold atoms

abstract: We report on the compensation of excess micromotion due to parasitic rf-electric fields in a Paul trap. The parasitic rf-electric fields stem from the Paul trap drive but cause excess micromotion, e.g. due to imperfections in the setup of the Paul trap. We compensate these fields by applying rf-voltages of the same frequency but adequate phases and amplitudes to Paul trap electrodes. The magnitude of micromotion is probed by studying elastic collision rates of the trapped ion with a gas of ultracold neutral atoms. Furthermore, we demonstrate that also reactive collisions can be used to quantify micromotion. We achieve compensation efficiencies of about 1$\:\text{Vm}^{-1}$, which is comparable to other conventional methods.


title: Anisotropic charge density wave in electron-hole double monolayers: Applied to phosphorene

abstract: The possibility of an inhomogeneous charge density wave phase is investigated in a system of two coupled electron and hole monolayers separated by a hexagonal boron nitride insulating layer. The charge density wave state is induced through the assumption of negative compressibility of electron/hole gases in a Coulomb drag configuration between the electron and hole sheets. Under equilibrium conditions, we derive analytical expressions for the density oscillation along the zigzag and armchair directions. We find that the density modulation not only depends on the sign of the compressibility but also on the anisotropy of the low energy bands. Our results are applicable to any two dimensional system with anisotropic parabolic bands, characterized by different effective masses. For equal effective masses, i.e., isotropic energy bands, our results agree with Hrolak et al.[1]. Our numerical results are applied to phosphorene.


title: $\Psi$ec: A Local Spectral Exterior Calculus

abstract: We introduce $\Psi \mathrm{ec}$, a discretization of Cartan's exterior calculus of differential forms using wavelets. Our construction consists of differential $r$-form wavelets with flexible directional localization that provide tight frames for the spaces $\Omega^r(\mathbb{R}^n)$ of forms in $\mathbb{R}^2$ and $\mathbb{R}^3$. By construction, the wavelets satisfy the de Rahm co-chain complex, the Hodge decomposition, and that the $k$-dimensional integral of an $r$-form is an $(r-k)$-form. They also verify Stokes' theorem for differential forms, with the most efficient finite dimensional approximation attained using directionally localized, curvelet- or ridgelet-like forms. The construction of $\Psi \mathrm{ec}$ builds on the geometric simplicity of the exterior calculus in the Fourier domain. We establish this structure by extending existing results on the Fourier transform of differential forms to a frequency description of the exterior calculus, including, for example, a Plancherel theorem for forms and a description of the symbols of all important operators.


title: Coarse-graining of the Einstein-Hilbert Action rewritten by the Fisher information metric

abstract: In this study, considering the Fisher information metric (Fisher metric) given by a specific form, which is the form of weights in statistical physics, we rewrite the Einstein-Hilbert (EH) action. Then, determining the transformation rules of the Fisher metric, etc under the coarse-graining, we perform the coarse-graining toward that rewritten EH action. We finally show an existence of a trivial fixed-point. Here, the existence of a trivial fixed-point is not trivial for us because we consider the metric given by the Fisher metric, which is not the normal metric and has to satisfy some constraint in the formalism of the the Fisher metric. We use the path-integral in our analysis. At this time we have to accept that a fundamental constraint in the formalism of the Fisher metric is broken at the quantum level. However we consider we can accept this with the thought that some constraints and causal relations held at the classical level usually get broken at the quantum level. We finds some problems of the Fisher metric. The space-time we consider is two-dimensional.


title: Reliability Modeling, Analysis and Prediction of Wireless Mobile Communications

abstract: The future Fifth Generation (5G) mobile cellular networks that are currently in research phase today enable broad range of services/applications beyond classical mobile communications. One key enabler for Ultra-Reliable services to be integrated into mobile networks is the \textit{Reliability} of transmission success of a given data packet. This is harder mainly owing to the time-dependent effective link qualities of the communicating devices. However, successful indication of the availability of the instantaneous link quality (e.g., by the device) would allow opportunistic access of ultra reliable services/applications when the link conditions are fair enough. This paper introduces a framework for modeling, predicting and analyzing the theoretical reliability of the wireless link based on factors such as fading, mobility, interference etc. The analysis and prediction is based on the part stress method\cite{Birolini2010} by assuming time dependent factors as elements/components and their respective Transmission Times To Failure (TTTF). The proposed framework also supports other reliability analysis techniques such as Fault Tree Analysis and Accelerated testing. of wireless systems and to improve the components


title: The quick and the dead: Finding the surviving binary companions of Galactic supernovae with Gaia

abstract: We use Gaia Data Release 2 to search for possible surviving binary companions to three of the best studied historical Milky Way core-collapse supernovae. Consistent with previous work, we find there to be no plausible binary companion to either the Crab or Cas A supernovae. For the first time, we present a systematic search for a former companion to the Vela supernova, and rule out essentially any surviving luminous ($>L_\odot$) companion. Based on parallax and proper motion, we identify a faint source (Star A; Gaia Source ID 5521955992667891584) which is kinematically consistent with being a former binary companion to the Vela SN progenitor. However, the inferred absolute magnitude of this source is extremely faint, raising the possibility that it may in fact be a background interloper. In addition, we derive a new distance ($3.37^{+4.04}_{-0.97}$ kpc) to the Crab SN based on the Gaia parallax measurements, which is significantly further than the 2 kpc distance typically adopted. Finally, we demonstrate that Gaia can be used to measure the secular decline in the luminosity of the Crab pulsar, and provide a new test of pulsar models.


title: On the Transferability of Representations in Neural Networks Between Datasets and Tasks

abstract: Deep networks, composed of multiple layers of hierarchical distributed representations, tend to learn low-level features in initial layers and transition to high-level features towards final layers. Paradigms such as transfer learning, multi-task learning, and continual learning leverage this notion of generic hierarchical distributed representations to share knowledge across datasets and tasks. Herein, we study the layer-wise transferability of representations in deep networks across a few datasets and tasks and note some interesting empirical observations.