title: Empirical Analysis of Factors and their Effect on Test Flakiness - Practitioners' Perceptions

abstract: Developers always wish to ensure that their latest changes to the code base do not break existing functionality. If test cases fail, they expect these failures to be connected to the submitted changes. Unfortunately, a flaky test can be the reason for a test failure. Developers spend time to relate possible test failures to the submitted changes only to find out that the cause for these failures is test flakiness. The dilemma of an identification of the real failures or flaky test failures affects developers' perceptions about what is test flakiness. Prior research on test flakiness has been limited to test smells and tools to detect test flakiness. In this paper, we have conducted a multiple case study with four different industries in Scandinavia to understand practitioners' perceptions about test flakiness and how this varies between industries. We observed that there are little differences in how the practitioners perceive test flakiness. We identified 23 factors that are perceived to affect test flakiness. These perceived factors are categorized as 1) Software test quality, 2) Software Quality, 3) Actual Flaky test and 4) Company-specific factors. We have studied the nature of effects such as whether factors increase, decrease or affect the ability to detect test flakiness. We validated our findings with different participants of the 4 companies to avoid biases. The average agreement rate of the identified factors and their effects are 86% and 86% respectively, among participants.


title: Contextually Propagated Term Weights for Document Representation

abstract: Word embeddings predict a word from its neighbours by learning small, dense embedding vectors. In practice, this prediction corresponds to a semantic score given to the predicted word (or term weight). We present a novel model that, given a target word, redistributes part of that word's weight (that has been computed with word embeddings) across words occurring in similar contexts as the target word. Thus, our model aims to simulate how semantic meaning is shared by words occurring in similar contexts, which is incorporated into bag-of-words document representations. Experimental evaluation in an unsupervised setting against 8 state of the art baselines shows that our model yields the best micro and macro F1 scores across datasets of increasing difficulty.


title: Deeply-supervised Knowledge Synergy

abstract: Convolutional Neural Networks (CNNs) have become deeper and more complicated compared with the pioneering AlexNet. However, current prevailing training scheme follows the previous way of adding supervision to the last layer of the network only and propagating error information up layer-by-layer. In this paper, we propose Deeply-supervised Knowledge Synergy (DKS), a new method aiming to train CNNs with improved generalization ability for image classification tasks without introducing extra computational cost during inference. Inspired by the deeply-supervised learning scheme, we first append auxiliary supervision branches on top of certain intermediate network layers. While properly using auxiliary supervision can improve model accuracy to some degree, we go one step further to explore the possibility of utilizing the probabilistic knowledge dynamically learnt by the classifiers connected to the backbone network as a new regularization to improve the training. A novel synergy loss, which considers pairwise knowledge matching among all supervision branches, is presented. Intriguingly, it enables dense pairwise knowledge matching operations in both top-down and bottom-up directions at each training iteration, resembling a dynamic synergy process for the same task. We evaluate DKS on image classification datasets using state-of-the-art CNN architectures, and show that the models trained with it are consistently better than the corresponding counterparts. For instance, on the ImageNet classification benchmark, our ResNet-152 model outperforms the baseline model with a 1.47% margin in Top-1 accuracy. Code is available at https://github.com/sundw2014/DKS.


title: Biophysically grounded mean-field models of neural populations under electrical stimulation

abstract: Electrical stimulation of neural systems is a key tool for understanding neural dynamics and ultimately for developing clinical treatments. Many applications of electrical stimulation affect large populations of neurons. However, computational models of large networks of spiking neurons are inherently hard to simulate and analyze. We evaluate a reduced mean-field model of excitatory and inhibitory adaptive exponential integrate-and-fire (AdEx) neurons which can be used to efficiently study the effects of electrical stimulation on large neural populations. The rich dynamical properties of this basic cortical model are described in detail and validated using large network simulations. Bifurcation diagrams reflecting the network's state reveal asynchronous up- and down-states, bistable regimes, and oscillatory regions corresponding to fast excitation-inhibition and slow excitation-adaptation feedback loops. The biophysical parameters of the AdEx neuron can be coupled to an electric field with realistic field strengths which then can be propagated up to the population description.We show how on the edge of bifurcation, direct electrical inputs cause network state transitions, such as turning on and off oscillations of the population rate. Oscillatory input can frequency-entrain and phase-lock endogenous oscillations. Relatively weak electric field strengths on the order of 1 V/m are able to produce these effects, indicating that field effects are strongly amplified in the network. The effects of time-varying external stimulation are well-predicted by the mean-field model, further underpinning the utility of low-dimensional neural mass models.


title: Self-organised dip-coating patterns of simple, partially wetting, nonvolatile liquids

abstract: When a solid substrate is withdrawn from a bath of simple, partially wetting, nonvolatile liquid, one typically distinguishes two regimes, namely, after withdrawal the substrate is macroscopically dry or homogeneously coated by a liquid film. In the latter case, the coating is called a Landau-Levich film. Its thickness depends on the angle and velocity of substrate withdrawal. We predict by means of a numerical and analytical investigation of a hydrodynamic thin-film model the existence of a third regime. It consists of the deposition of a regular pattern of liquid ridges oriented parallel to the meniscus. We establish that the mechanism of the underlying meniscus instability originates from competing film dewetting and Landau-Levich film deposition. Our analysis combines a marginal stability analysis, numerical time simulations and a numerical bifurcation study via path-continuation.


title: Quantum simulations with multiphoton Fock states

abstract: Quantum simulations are becoming an essential tool for studying complex phenomena, e.g. quantum topology, quantum information transfer, and relativistic wave equations, beyond the limitations of analytical computations and experimental observations. To date, the primary resources used in proof-of-principle experiments are collections of qubits, coherent states or multiple single-particle Fock states. Here we show the first quantum simulation performed using genuine higher-order Fock states, with two or more indistinguishable particles occupying the same bosonic mode. This was implemented by interfering pairs of Fock states with up to five photons on an interferometer, and measuring the output states with photon-number-resolving detectors. Already this resource-efficient demonstration reveals new topological matter, simulates non-linear systems and elucidates a perfect quantum transfer mechanism which can be used to transport Majorana fermions.


title: The Adversarial Machine Learning Conundrum: Can The Insecurity of ML Become The Achilles' Heel of Cognitive Networks?

abstract: The holy grail of networking is to create \textit{cognitive networks} that organize, manage, and drive themselves. Such a vision now seems attainable thanks in large part to the progress in the field of machine learning (ML), which has now already disrupted a number of industries and revolutionized practically all fields of research. But are the ML models foolproof and robust to security attacks to be in charge of managing the network? Unfortunately, many modern ML models are easily misled by simple and easily-crafted adversarial perturbations, which does not bode well for the future of ML-based cognitive networks unless ML vulnerabilities for the cognitive networking environment are identified, addressed, and fixed. The purpose of this article is to highlight the problem of insecure ML and to sensitize the readers to the danger of adversarial ML by showing how an easily-crafted adversarial ML example can compromise the operations of the cognitive self-driving network. In this paper, we demonstrate adversarial attacks on two simple yet representative cognitive networking applications (namely, intrusion detection and network traffic classification). We also provide some guidelines to design secure ML models for cognitive networks that are robust to adversarial attacks on the ML pipeline of cognitive networks.


title: Sum of weighted records in set partitions

abstract: The purpose of this paper is to find an explicit formula and asymptotic estimate for the total number of sum of weighted records over set partitions of $[n]$ in terms of Bell numbers. For that we study the generating function for the number of set partitions of $[n]$ according to the statistic sum of weighted records.


title: Kibble-Zurek Scaling in a Holographic p-wave Superconductor

abstract: We study the Kibble-Zurek mechanism in a 2d holographic p-wave superconductor model with a homogeneous source quench on the critical point. We derive, on general grounds, the scaling of the Kibble-Zurek time, which marks breaking-down of adiabaticity. It is expressed in terms of four critical exponents, including three static and one dynamical exponents. Via explicit calculations within a holographic model, we confirm the scaling of the Kibble-Zurek time and obtain the scaling functions in the quench process. We find the results are formally similar to a homogeneous quench in a higher dimensional holographic s-wave superconductor. The similarity is due to the special type of quench we take. We expect differences in the quench dynamics if the condition of homogeneous source and dominance of critical mode are relaxed.


title: CO observations of major merger pairs at z=0: Molecular gas mass and star formation

abstract: We present CO observations of 78 spiral galaxies in local merger pairs. These galaxies representa subsample of a Ks-band selected sample consisting of 88 close major-merger pairs (HKPAIRs), 44 spiral-spiral (S+S) pairs and 44 spiral-elliptical (S+E) pairs, with separation $<20 h^{-1}$ kpc and mass ratio <2.5. For all objects, the star formation rate (SFR) and dust mass were derived from HERSCHEL PACS and SPIRE data, and the atomic gas mass, MHI, from the Green Bank Telescope HI observations. The complete data set allows us to study the relation between the gas (atomic and molecular) mass, dust mass and SFR in merger galaxies. We derive the molecular gas fraction (MH2/M*), molecular-to-atomic gas mass ratio (MH2/MHI), gas-to-dust mass ratio and SFE (=SFR/MH2) and study their dependences on pair type (S+S compared to S+E), stellar mass and the presence of morphological interaction signs. We find an overall moderate enhancements (~2x) in both molecular gas fraction (MH2/M*), and molecular-to-atomic gas ratio (MH2/MHI) for star-forming galaxies in major-merger pairs compared to non-interacting comparison samples, whereas no enhancement was found for the SFE nor for the total gas mass fraction (MHI+MH2)/M*. When divided into S+S and S+E, low mass and high mass, and with and without interaction signs, there is a small difference in SFE, moderate difference in MH2/M*, and strong differences in MH2/MHI between subsamples. For MH2/MHI, the difference between S+S and S+E subsamples is 0.69+-0.16 dex and between pairs with and without interaction signs is 0.53+-0.18 dex. Together, our results suggest (1) star formation enhancement in close major-merger pairs occurs mainly in S+S pairs after the first close encounter (indicated by interaction signs) because the HI gas is compressed into star-forming molecular gas by the tidal torque; (2) this effect is much weakened in the S+E pairs.


title: Continuum Limit Matrix Elements for the Tonks-Girardeau Ground State

abstract: The Tonks-Girardeau model is a quantum mechanical model of N impenetrable bosons in 1+1 dimensions. A Vandermonde determinant provides the exact N-particle wave function of the ground state, or equivalently the matrix elements with respect to position eigenstates. We consider the large $N$ limit of these matrix elements. We present a binning prescription which calculates the leading terms of the matrix elements in a time which is independent of $N$, and so is suitable for this limit. In this sense, it allows one to solve for the ground state of a strongly coupled continuum quantum field theory in the field eigenstate basis. As examples, we calculate the matrix elements with respect to states with uniform density and also states consisting of two regions with distinct densities.


title: DANE: Domain Adaptive Network Embedding

abstract: Recent works reveal that network embedding techniques enable many machine learning models to handle diverse downstream tasks on graph structured data. However, as previous methods usually focus on learning embeddings for a single network, they can not learn representations transferable on multiple networks. Hence, it is important to design a network embedding algorithm that supports downstream model transferring on different networks, known as domain adaptation. In this paper, we propose a novel Domain Adaptive Network Embedding framework, which applies graph convolutional network to learn transferable embeddings. In DANE, nodes from multiple networks are encoded to vectors via a shared set of learnable parameters so that the vectors share an aligned embedding space. The distribution of embeddings on different networks are further aligned by adversarial learning regularization. In addition, DANE's advantage in learning transferable network embedding can be guaranteed theoretically. Extensive experiments reflect that the proposed framework outperforms other state-of-the-art network embedding baselines in cross-network domain adaptation tasks.


title: Revealing the chemical structure of the Class I disc Oph-IRS 67

abstract: (Abridged) The purpose of this paper is to explore the structure of a line-rich Class I protobinary source, Oph-IRS 67, and analyse the differences and similarities with Class 0 and Class II sources. We present a systematic molecular line study of IRS 67 with the Submillimeter Array (SMA) on 1 - 2" (150 - 300 AU) scales. The wide instantaneous band-width of the SMA observations (~30 GHz) provide detections of a range of molecular transitions that trace different physics, such as CO isotopologues, sulphur-bearing species, deuterated species, and carbon-chain molecules. We see significant differences between different groups of species. For example, the CO isotopologues and sulphur-bearing species show a rotational profile and are tracing the larger-scale circumbinary disc structure, while CN, DCN, and carbon-chain molecules peak at the southern edge of the disc at blue-shifted velocities. In addition, the cold gas tracer DCO+ is seen beyond the extent of the circumbinary disc. The detected molecular transitions can be grouped into three main components: cold regions far from the system, the circumbinary disc, and a UV-irradiated region likely associated with the surface layers of the disc that are reached by the UV radiation from the sources. The different components are consistent with the temperature structure derived from the ratio of two H2CO transitions, that is, warm temperatures are seen towards the outflow direction, lukewarm temperatures are associated with the UV-radiated region, and cold temperatures are related with the circumbinary disc structure. The chemistry towards IRS 67 shares similarities with both Class 0 and Class II sources, possibly due to the high gas column density and the strong UV radiation arising from the binary system. IRS 67 is, therefore, highlighting the intermediate chemistry between deeply embedded sources and T-Tauri discs.


title: Nonlinear Absorption and Photocurrent in Weyl Semimetals

abstract: Theory of light absorption and circular photocurrent in Weyl semimetals is developed for arbitrary large light intensities with account for both elastic and inelastic relaxation processes of Weyl fermions. The direct optical transition rate is shown to saturate at large intensity, and the saturation behaviour depends on the light polarization and on the ratio of the elastic and inelastic relaxation times. The linear-circular dichroism in absorption is shown to exceed 10~\% at intermediate light wave amplitudes and fast energy relaxation. At large intensity $I$, the light absorption coefficient drops as $1/\sqrt{I}$, and the circular photogalvanic current increases as $\sqrt{I}$.


title: Relation Embedding with Dihedral Group in Knowledge Graph

abstract: Link prediction is critical for the application of incomplete knowledge graph (KG) in the downstream tasks. As a family of effective approaches for link predictions, embedding methods try to learn low-rank representations for both entities and relations such that the bilinear form defined therein is a well-behaved scoring function. Despite of their successful performances, existing bilinear forms overlook the modeling of relation compositions, resulting in lacks of interpretability for reasoning on KG. To fulfill this gap, we propose a new model called DihEdral, named after dihedral symmetry group. This new model learns knowledge graph embeddings that can capture relation compositions by nature. Furthermore, our approach models the relation embeddings parametrized by discrete values, thereby decrease the solution space drastically. Our experiments show that DihEdral is able to capture all desired properties such as (skew-) symmetry, inversion and (non-) Abelian composition, and outperforms existing bilinear form based approach and is comparable to or better than deep learning models such as ConvE.


title: Singularity Analysis of a Variant of the Painlev{\'e}--Ince Equation

abstract: We examine by singularity analysis an equation derived by reduction using Lie point symmetries from the Euler--Bernoulli Beam equation which is the Painlev\'{e}--Ince Equation with additional terms. The equation possesses the same leading-order behaviour and resonances as the Painlev\'{e}--Ince Equation and has a Right Painlev\'{e} Series. However, it has no Left Painlev% \'{e} Series. A conjecture for the existence of Left Painlev\'{e} Series for ordinary differential equations is given.


title: Lie symmetries and similarity solutions for rotating shallow water

abstract: We study a nonlinear system of partial differential equations which describe rotating shallow water with an arbitrary constant polytropic index $\gamma $ for the fluid. In our analysis we apply the theory of symmetries for differential equations and we determine that the system of our study is invariant under a five dimensional Lie algebra. The admitted Lie symmetries form the $\left\{ 2A_{1}\oplus _{s}2A_{1}\right\} \oplus _{s}A_{1}$ Lie algebra for $\gamma \neq 1$ and $2A_{1}\oplus _{s}3A_{1}$ for $\gamma =1$. The application of the Lie symmetries is performed with the derivation of the corresponding zero-order Lie invariants which applied to reduce the system of partial differential equations into integrable systems of ordinary differential equations. For all the possible reductions the algebraic or closed-form solutions are presented. Travel-wave and scaling solutions are also determined.


title: NeuralVis: Visualizing and Interpreting Deep Learning Models

abstract: Deep Neural Network(DNN) techniques have been prevalent in software engineering. They are employed to faciliatate various software engineering tasks and embedded into many software applications. However, analyzing and understanding their behaviors is a difficult task for software engineers. In this paper, to support software engineers in visualizing and interpreting deep learning models, we present NeuralVis, an instance-based visualization tool for DNN. NeuralVis is designed for: 1). visualizing the structure of DNN models, i.e., components, layers, as well as connections; 2). visualizing the data transformation process; 3). integrating existing adversarial attack algorithms for test input generation; 4). comparing intermediate outputs of different instances to guide the test input generation; To demonstrate the effectiveness of NeuralVis, we conduct an user study involving ten participants on two classic DNN models, i.e., LeNet and VGG-12. The result shows NeuralVis can assist developers in identifying the critical features that determines the prediction results. Video: https://youtu.be/hRxCovrOZFI


title: Dynamical Phase Diagram of a Quantum Ising Chain with Long Range Interactions

abstract: We investigate the effect of short-range correlations on the dynamical phase diagram of quantum many-body systems with long-range interactions. Focusing on Ising spin chains with power-law decaying interactions and accounting for short-range correlations by a cluster mean field theory we show that short-range correlations are responsible for the emergence of a chaotic dynamical region. Analyzing the fine details of the phase diagram, we show that the resulting chaotic dynamics bears close analogies with that of a tossed coin.


abstract: The purpose of this document is to provide data about known Betti numbers of unordered configuration spaces of small graphs in order to guide research and avoid duplicated effort. It contains information for connected multigraphs having at most nine edges which contain no loops, no bivalent vertices, and no internal (i.e., non-leaf) bridges.


title: Quantum renewal processes

abstract: We introduce a general construction of master equations with memory kernel whose solutions are given by completely positive trace preserving maps. These dynamics going beyond the Lindblad paradigm are obtained with reference to classical renewal processes, so that they are termed quantum renewal processes. They can be described by means of semigroup dynamics interrupted by jumps, separated by independently distributed time intervals, following suitable waiting time distributions. In this framework, one can further introduce modified processes, in which the first few events follow different distributions. A crucial role, marking an important difference with respect to the classical case, is played by operator ordering. Indeed, for the same choice of basic quantum transformations, different quantum dynamics arise. In particular, for the case of modified processes, it is natural to consider the time inverted operator ordering, in which the last few events are distributed differently.


title: Central Quantile Subspace

abstract: Quantile regression (QR) is becoming increasingly popular due to its relevance in many scientific investigations. There is a great amount of work about linear and nonlinear QR models. Specifically, nonparametric estimation of the conditional quantiles received particular attention, due to its model flexibility. However, nonparametric QR techniques are limited in the number of covariates. Dimension reduction offers a solution to this problem by considering low-dimensional smoothing without specifying any parametric or nonparametric regression relation. Existing dimension reduction techniques focus on the entire conditional distribution. We, on the other hand, turn our attention to dimension reduction techniques for conditional quantiles and introduce a new method for reducing the dimension of the predictor X. The novelty of this paper is threefold. We start by considering a single index quantile regression model, which assumes that the conditional quantile depends on X through a single linear combination of the predictors, then extend to a multi index quantile regression model, and finally, generalize the proposed methodology to any statistical functional of the conditional distribution. The performance of the methodology is demonstrated through simulation examples and a real data application. Our results suggest that this method has a good finite sample performance and often outperforms existing methods.


title: Continual learning with hypernetworks

abstract: Artificial neural networks suffer from catastrophic forgetting when they are sequentially trained on multiple tasks. To overcome this problem, we present a novel approach based on task-conditioned hypernetworks, i.e., networks that generate the weights of a target model based on task identity. Continual learning (CL) is less difficult for this class of models thanks to a simple key feature: instead of recalling the input-output relations of all previously seen data, task-conditioned hypernetworks only require rehearsing task-specific weight realizations, which can be maintained in memory using a simple regularizer. Besides achieving state-of-the-art performance on standard CL benchmarks, additional experiments on long task sequences reveal that task-conditioned hypernetworks display a very large capacity to retain previous memories. Notably, such long memory lifetimes are achieved in a compressive regime, when the number of trainable hypernetwork weights is comparable or smaller than target network size. We provide insight into the structure of low-dimensional task embedding spaces (the input space of the hypernetwork) and show that task-conditioned hypernetworks demonstrate transfer learning. Finally, forward information transfer is further supported by empirical results on a challenging CL benchmark based on the CIFAR-10/100 image datasets.


title: Transformed Central Quantile Subspace

abstract: Quantile regression (QR) is becoming increasingly popular due to its relevance in many scientific investigations. However, application of QR can become very challenging when dealing with high-dimensional data, making it necessary to use dimension reduction techniques. Existing dimension reduction techniques focus on the entire conditional distribution. We turn our attention to dimension reduction techniques for conditional quantiles and introduce a method that serves as an intermediate step between linear and nonlinear dimension reduction. The idea is to apply existing linear dimension reduction techniques on the transformed predictors. The proposed estimator, which is shown to be root-n consistent, is demonstrated through simulation examples and real data applications. Our results suggest that this method outperforms linear dimension reduction for conditional quantiles.


title: CNN-based Steganalysis and Parametric Adversarial Embedding: a Game-Theoretic Framework

abstract: CNN-based steganalysis has recently achieved very good performance in detecting content-adaptive steganography. At the same time, recent works have shown that, by adopting an approach similar to that used to build adversarial examples, a steganographer can adopt an adversarial embedding strategy to effectively counter a target CNN steganalyzer. In turn, the good performance of the steganalyzer can be restored by retraining the CNN with adversarial stego images. A problem with this model is that, arguably, at training time the steganalizer is not aware of the exact parameters used by the steganograher for adversarial embedding and, vice versa, the steganographer does not know how the images that will be used to train the steganalyzer are generated. In order to exit this apparent deadlock, we introduce a game theoretic framework wherein the problem of setting the parameters of the steganalyzer and the steganographer is solved in a strategic way. More specifically, a non-zero sum game is first formulated to model the problem, and then instantiated by considering a specific adversarial embedding scheme setting its operating parameters in a game-theoretic fashion. Our analysis shows that the equilibrium solution of the non zero-sum game can be conveniently found by solving an associated zero-sum game, thus reducing greatly the complexity of the problem. Then we run several experiments to derive the optimum strategies for the steganographer and the staganalyst in a game-theoretic sense, and to evaluate the performance of the game at the equilibrium, characterizing the loss with respect to the conventional non-adversarial case. Eventually, by leveraging on the analysis of the equilibrium point of the game, we introduce a new strategy to improve the reliability of the steganalysis, which shows the benefits of addressing the security issue in a game-theoretic perspective.


title: Adversarial Risk Bounds for Neural Networks through Sparsity based Compression

abstract: Neural networks have been shown to be vulnerable against minor adversarial perturbations of their inputs, especially for high dimensional data under $\ell_\infty$ attacks. To combat this problem, techniques like adversarial training have been employed to obtain models which are robust on the training set. However, the robustness of such models against adversarial perturbations may not generalize to unseen data. To study how robustness generalizes, recent works assume that the inputs have bounded $\ell_2$-norm in order to bound the adversarial risk for $\ell_\infty$ attacks with no explicit dimension dependence. In this work we focus on $\ell_\infty$ attacks on $\ell_\infty$ bounded inputs and prove margin-based bounds. Specifically, we use a compression based approach that relies on efficiently compressing the set of tunable parameters without distorting the adversarial risk. To achieve this, we apply the concept of effective sparsity and effective joint sparsity on the weight matrices of neural networks. This leads to bounds with no explicit dependence on the input dimension, neither on the number of classes. Our results show that neural networks with approximately sparse weight matrices not only enjoy enhanced robustness, but also better generalization.


title: Evaluating network partitions through visualization

abstract: Network clustering requires making many decisions manually, such as the number of groups and a statistical model to be used. Even after filtering using an information criterion or regularizing with a nonparametric framework, we are commonly left with multiple candidates with reasonable partitions. In the end, the user has to decide which inferred groups should be regarded as informative. Here we propose a visualization method that efficiently represents network partitioning based on statistical inference algorithms. Our non-statistical assessment procedure based on visualization helps users extract informative groups when they cannot uniquely determine significant groups on the basis of statistical assessments. The proposed visualization is also effective for use as a benchmark test of different clustering algorithms.


title: Fermi-surface topology of the heavy-fermion system Ce$_{2}$PtIn$_{8}$

abstract: Ce$_{2}$PtIn$_{8}$ is a recently discovered heavy-fermion system structurally related to the well-studied superconductor CeCoIn$_{5}$. Here, we report on low-temperature de Haas-van Alphen-effect measurements in high magnetic fields in Ce$_{2}$PtIn$_{8}$ and Pr$_{2}$PtIn$_{8}$. In addition, we performed band-structure calculations for localized and itinerant Ce-$4f$ electrons in Ce$_{2}$PtIn$_{8}$. Comparison with the experimental data of Ce$_{2}$PtIn$_{8}$ and of the $4f$-localized Pr$_{2}$PtIn$_{8}$ suggests the itinerant character of the Ce-$4f$ electrons. This conclusion is further supported by the observation of effective masses in Ce$_{2}$PtIn$_{8}$, which are strongly enhanced with up to 26 bare electron masses.


title: $B_s\to D_s \ell\nu$ Form Factors for the full $q^2$ range from Lattice QCD with non-perturbatively normalized currents

abstract: We present a lattice QCD determination of the $B_s \to D_s \ell\nu$ scalar and vector form factors over the full physical range of momentum transfer. The result is derived from correlation functions computed using the Highly Improved Staggered Quark (HISQ) formalism, on the second generation MILC gluon ensembles accounting for up, down, strange and charm contributions from the sea. We calculate correlation functions for three lattice spacing values and an array of unphysically light $b$-quark masses, and extrapolate to the physical value. Using the HISQ formalism for all quarks means that the lattice current coupling to the $W$ can be renormalized non-perturbatively, giving a result free from perturbative matching errors for the first time. Our results are in agreement with, and more accurate than, previous determinations of these form factors. From the form factors we also determine the ratio of branching fractions that is sensitive to violation of lepton universality: $R(D_s) = \mathcal{B}(B_s\to D_s \tau \nu_{\tau})/\mathcal{B}(B_s\to D_s \ell \nu_{l})$, where $\ell$ is an electron or a muon. We find $R(D_s) = 0.2987(46)$, which is also more accurate than previous lattice QCD results. Combined with a future measurement of $R(D_s)$, this could supply a new test of the Standard Model. We also compare the dependence on heavy quark mass of our form factors to expectations from Heavy Quark Effective Theory.


title: On Derrick's theorem in curved spacetime

abstract: We extend Derrick's theorem to the case of a generic irrotational curved spacetime adopting a strategy similar to the original proof. We show that a static relativistic star made of real scalar fields is never possible regardless of the geometrical properties of the (static) spacetimes. The generalised theorem offers a tool that can be used to check the stability of localised solutions of a number of types of scalar fields models as well as of compact objects of theories of gravity with a non-minimally coupled scalar degree of freedom.


title: Parameterised Complexity of Abduction in Schaefer's Framework

abstract: Abductive reasoning is a non-monotonic formalism stemming from the work of Peirce. It describes the process of deriving the most plausible explanations of known facts. Considering the positive version asking for sets of variables as explanations, we study, besides asking for existence of the set of explanations, two explanation size limited variants of this reasoning problem (less than or equal to, and equal to). In this paper, we present a thorough two-dimensional classification of these problems. The first dimension is regarding the parameterised complexity under a wealth of different parameterisations. The second dimension spans through all possible Boolean fragments of these problems in Schaefer's constraint satisfaction framework with co-clones (STOC 1978). Thereby, we almost complete the parameterised picture started by Fellows et al. (AAAI 2012), partially building on results of Nordh and Zanuttini (Artif. Intell. 2008). In this process, we outline a fine-grained analysis of the inherent parameterised intractability of these problems and pinpoint their FPT parts. As the standard algebraic approach is not applicable to our problems, we develop an alternative method that makes the algebraic tools partially available again.


title: Modelling pattern formation through differential repulsion

abstract: Motivated by experiments on cell segregation, we present a two-species model of interacting particles, aiming at a quantitative description of this phenomenon. Under precise scaling hypothesis, we derive from the microscopic model a macroscopic one and we analyze it. In particular, we determine the range of parameters for which segregation is expected. We compare our analytical results and numerical simulations of the macroscopic model to direct simulations of the particles, and comment on possible links with experiments.


title: An Adaptive Training-less System for Anomaly Detection in Crowd Scenes

abstract: Anomaly detection in crowd videos has become a popular area of research for the computer vision community. Several existing methods generally perform a prior training about the scene with or without the use of labeled data. However, it is difficult to always guarantee the availability of prior data, especially, for scenarios like remote area surveillance. To address such challenge, we propose an adaptive training-less system capable of detecting anomaly on-the-fly while dynamically estimating and adjusting response based on certain parameters. This makes our system both training-less and adaptive in nature. Our pipeline consists of three main components, namely, adaptive 3D-DCT model for multi-object detection-based association, local motion structure description through saliency modulated optic flow, and anomaly detection based on earth movers distance (EMD). The proposed model, despite being training-free, is found to achieve comparable performance with several state-of-the-art methods on the publicly available UCSD, UMN, CHUK-Avenue and ShanghaiTech datasets.


title: Shell model results for $^{47-58}$Ca isotopes in the $fp$, $fpg_{9/2}$ and $fpg_{9/2}d_{5/2}$ model spaces

abstract: We have reported shell-model results for $^{47-58}$Ca isotopes in the $fp$, $fpg_{9/2}$ and $fpg_{9/2}d_{5/2}$ model spaces using realistic $NN$ interaction. We have also performed a systematic shell-model study using interactions derived from in-medium similarity-renormalization group (IM-SRG) targeted for a particular nucleus with chiral $NN$ and $3N$ forces. The results obtained are in a reasonable agreement with the available experimental data in $fp$ model space with $NN$ interaction. It is shown that the $g_{9/2}$ and $d_{5/2}$ orbitals play an important role for heavier neutron-rich $^{54-58}$Ca isotopes, while it is marginal for $^{47-52}$Ca. We have also examined spectroscopic factor strengths using $NN$ and $NN+3N$ interactions for recently available experimental data.


title: Closed-form expression for cross-channel conformal blocks near the lightcone

abstract: In the study of conformal field theories, conformal blocks in the lightcone limit are fundamental to the analytic conformal bootstrap method. Here we consider the lightcone limit of 4-point functions of generic scalar primaries. Based on the nonperturbative pole structure in spin of Lorentzian inversion, we propose the natural basis functions for cross-channel conformal blocks. In this new basis, we find a closed-form expression for crossed conformal blocks in terms of the Kamp\'e de F\'eriet function, which applies to intermediate operators of arbitrary spin in general dimensions. We derive the general Lorentzian inversion for the case of identical external scaling dimensions. Our results for the lightcone limit also shed light on the complete analytic structure of conformal blocks in the lightcone expansion.


title: Observations of zero electrical resistance of Au-Ag thin films near room temperature

abstract: Recent observations of superconducting like transition at 286 K in Ag and Ag nanostructures by Thapa et al. (arxiv: 1807.08572) have rekindled the hope for room temperature superconductivity under ambient conditions. We also investigated the electrical properties of Ag-Au nanostructure in the form of thin film grown on SiO2/Si substrate by DC sputtering and observed signature of zero resistance in the temperatures range of 243 K to 275 K. While the observed electrical resistance of samples shows intriguing and perplexing behavior under temperature cycling and external magnetic field; the large spatial inhomogeneity present in thin film hampers the reproducibility indicating the stability issues associated with superconducting like phase.


title: cGANs with Conditional Convolution Layer

abstract: Conditional generative adversarial networks (cGANs) have been widely researched to generate class conditional images using a single generator. However, in the conventional cGANs techniques, it is still challenging for the generator to learn condition-specific features, since a standard convolutional layer with the same weights is used regardless of the condition. In this paper, we propose a novel convolution layer, called the conditional convolution layer, which directly generates different feature maps by employing the weights which are adjusted depending on the conditions. More specifically, in each conditional convolution layer, the weights are conditioned in a simple but effective way through filter-wise scaling and channel-wise shifting operations. In contrast to the conventional methods, the proposed method with a single generator can effectively handle condition-specific characteristics. The experimental results on CIFAR, LSUN and ImageNet datasets show that the generator with the proposed conditional convolution layer achieves a higher quality of conditional image generation than that with the standard convolution layer.


title: Numerical investigations into a model of partially incompressible two-phase flow in pipes

abstract: We consider a model for flow of liquid and gas in a pipe. We assume that the gas is ideal and that the liquid is incompressible. Under this assumption the resulting equations, expressing conservation of mass and momentum, splits into two subsystems such that the gas flow is independent of the liquid flow, and the liquid flow is described by a conservation law parametrized by the mass fraction of gas. When solving these equations numerically, we propose to stagger the gas and liquid variables with respect to each other. The advantage of this is that in finite volume methods one can use numerical flux functions designed for 2x2 systems of hyperbolic conservation laws to solve both the gas flow and the liquid flow, rather than a much more complicated numerical flux for the whole 4x4 system. We test this using the Roe numerical flux for both subsystems, and compare the results with results produced by using the second-order Nessyahu--Tadmor scheme for the second subsystem.


title: Joint Optimization of Service Caching Placement and Computation Offloading in Mobile Edge Computing Systems

abstract: In mobile edge computing (MEC) systems, edge service caching refers to pre-storing the necessary programs for executing computation tasks at MEC servers. At resource-constrained edge servers, service caching placement is in general a complicated problem that highly correlates to the offloading decisions of computation tasks. In this paper, we consider a single edge server that assists a mobile user (MU) in executing a sequence of computation tasks. In particular, the MU can run its customized programs at the edge server, while the server can selectively cache the previously generated programs for future service reuse. To minimize the computation delay and energy consumption of the MU, we formulate a mixed integer non-linear programming (MINLP) that jointly optimizes the service caching placement, computation offloading, and system resource allocation. We first derive the closed-form expressions of the optimal resource allocation, and subsequently transform the MINLP into an equivalent pure 0-1 integer linear programming (ILP). To further reduce the complexity in solving the ILP, we exploit the underlying structures in optimal solutions, and devise a reduced-complexity alternating minimization technique to update the caching placement and offloading decision alternately. Simulations show that the proposed techniques achieve substantial resource savings compared to other representative benchmark methods.


title: Revisiting Variations in Topological Transitivity

abstract: Topological dynamical systems $(X,T)$ are actions $T \times X \to X$, given as $(t, x) \to tx$, on a compact, Hausdorff topological space $X$ with $T$ as an acting group or monoid. We take up the property of topological transitivity especially for semiflows $(X,S)$ and discuss the variations in its definitions.


title: Context-Enriched Identification of Particles with a Convolutional Network for Neutrino Events

abstract: Particle detectors record the interactions of subatomic particles and their passage through matter. The identification of these particles is necessary for in-depth physics analysis. While particles can be identified by their individual behavior as they travel through matter, the full context of the interaction in which they are produced can aid the classification task substantially. We have developed the first convolutional neural network for particle identification which uses context information. This is also the first implementation of a four-tower siamese-type architecture both for separation of independent inputs and inclusion of context information. The network classifies clusters of energy deposits from the NOvA neutrino detectors as electrons, muons, photons, pions, and protons with an overall efficiency and purity of 83.3% and 83.5%, respectively. We show that providing the network with context information improves performance by comparing our results with a network trained without context information.


title: The role of pseudo-hypersurfaces in non-holonomic motion

abstract: The geometry of hypersurfaces is generalized to pseudo-hypersurfaces, which are defined by Pfaff equations. The general methods are then applied to modeling the kinematics of motion constrained by a single linear, non-holonomic constraint. They are then applied to the example of a charge moving in an electromagnetic field, and the Lorentz equation of motion is shown to represent a geodesic that is constrained to lie in a pseudo-hypersurface that is defined by the potential 1-form.


title: On Modelling the Avoidability of Patterns as CSP

abstract: Solving avoidability problems in the area of string combinatorics often requires, in an initial step, the construction, via a computer program, of a very long word that does not contain any word that matches a given pattern. It is well known that this is a computationally hard task. Despite being rather straightforward that, ultimately, all such tasks can be formalized as constraints satisfaction problems, no unified approach to solving them was proposed so far, and very diverse ad-hoc methods were used. We aim to fill this gap: we show how several relevant avoidability problems can be modelled, and consequently solved, in an uniform way as constraint satisfaction problems, using the framework of MiniZinc. The main advantage of this approach is that one is now required only to formulate the avoidability problem in the MiniZinc language, and then the actual search for a solution does not have to be implemented ad-hoc, being instead carried out by a standard CSP-solver.


title: On a Multilocus Wright-Fisher Model with Mutation and a Svirezhev-Shahshahani Gradient-like Selection Dynamics

abstract: In this paper we introduce a multilocus diffusion model of a population of $N$ haploid, asexually reproducing individuals. The model includes parent-dependent mutation and interlocus selection, the latter limited to pairwise relationships but among a large number of simultaneous loci. The diffusion is expressed as a system of stochastic differential equations (SDEs) that are coupled in the drift functions through a Shahshahani gradient-like structure for interlocus selection. The system of SDEs is derived from a sequence of Markov chains by weak convergence. We find the explicit stationary (invariant) density by solving the corresponding stationary Fokker-Planck equation under parent-independent mutation, i.e., Kingman's house-of-cards mutation. The density formula enables us to readily construct families of Wright-Fisher models corresponding to networks of loci.


title: Masked Non-Autoregressive Image Captioning

abstract: Existing captioning models often adopt the encoder-decoder architecture, where the decoder uses autoregressive decoding to generate captions, such that each token is generated sequentially given the preceding generated tokens. However, autoregressive decoding results in issues such as sequential error accumulation, slow generation, improper semantics and lack of diversity. Non-autoregressive decoding has been proposed to tackle slow generation for neural machine translation but suffers from multimodality problem due to the indirect modeling of the target distribution. In this paper, we propose masked non-autoregressive decoding to tackle the issues of both autoregressive decoding and non-autoregressive decoding. In masked non-autoregressive decoding, we mask several kinds of ratios of the input sequences during training, and generate captions parallelly in several stages from a totally masked sequence to a totally non-masked sequence in a compositional manner during inference. Experimentally our proposed model can preserve semantic content more effectively and can generate more diverse captions.


title: Maps with finitely many critical points into high dimensional manifolds

abstract: Assume that there exists a smooth map between two closed manifolds $M^m\to N^k$ with only finitely many cone-like singular points, where $2\leq k\leq m\leq 2k-1$. If $(m,k)\not\in\{(2,2), (4,3), (5,3), (8,5), (16,9)\}$, then $M^m$ admits a locally trivial topological fibration over $N^k$ and there exists a smooth map $M^m\to N^k$ with at most one critical point.


title: Proximity Neighbor Selection in Blockchain Networks

abstract: Blockchains have attracted a great deal of attention as a technology for the distributed management of register information at multiple nodes without a centralized system. However, they possess the drawbacks of low transaction throughput and long approval time. These problems can be addressed by shortening the block generation interval; however, shortening this interval alone has the effect of increasing the frequency of forks. In this study, we aim to shorten the block generation interval without increasing the fork generation rate by improving the network topology of the nodes and shortening the propagation time. We propose a neighbor node selection method forming a network topology with a short block propagation time. A blockchain simulator is used to demonstrate the effect of the proposed neighbor node selection method on the propagation delay of the network. This result indicates that the proposed method improves block propagation time.


title: Blow up profiles for a reaction-diffusion equation with critical weighted reaction

abstract: We classify the blow up self-similar profiles for the following reaction-diffusion equation with weighted reaction $$ u_t=(u^m)_{xx} + |x|^{\sigma}u^m, $$ posed for $(x,t)\in\real\times(0,T)$, with $m>1$ and $\sigma>0$. In strong contrast with the well-studied equation without the weight (that is $\sigma=0$), on the one hand we show that for $\sigma>0$ sufficiently small there exist \emph{multiple self-similar profiles with interface} at a finite point, more precisely, given any positive integer $k$, there exists $\delta_k>0$ such that for $\sigma\in(0,\delta_k)$, there are at least $k$ different blow up profiles with compact support and interface at a positive point. On the other hand, we also show that for $\sigma$ sufficiently large, the blow up self-similar profiles with interface \emph{cease to exist}. This unexpected balance between existence of multiple solutions and non-existence of any, when $\sigma>0$ increases, is due to the effect of the presence of the weight $|x|^{\sigma}$, whose influence is the main goal of our study. We also show that for any $\sigma>0$, there are no blow up profiles supported in the whole space, that is with $u(x,t)>0$ for any $x\in\real$ and $t\in(0,T)$.


title: Cross-correlation between 21-cm radiation and CMB B modes from the cosmic birefringence in the presence of a light scalar field

abstract: We study the cross-correlation between the 21cm and CMB B mode fluctuations which are induced by the cosmic birefringence when the non-constant scalar field couples to the electromagnetic field strength. Such multi-wavelength signals can potentially probe the reionization history of the Universe and also explore the nature of fundamental physics such as the parity violation and the scalar field dynamics in the early Universe. We illustrate the feasibility to detect such 21cm-B mode cross-correlations through commonly discussed scalar field models, the quintessence-like scalar field which is responsible for the current dark energy and the axion-like scalar field which is responsible for the current dark matter density.


title: Topological Autoencoders

abstract: We propose a novel approach for preserving topological structures of the input space in latent representations of autoencoders. Using persistent homology, a technique from topological data analysis, we calculate topological signatures of both the input and latent space to derive a topological loss term. Under weak theoretical assumptions, we construct this loss in a differentiable manner, such that the encoding learns to retain multi-scale connectivity information. We show that our approach is theoretically well-founded and that it exhibits favourable latent representations on a synthetic manifold as well as on real-world image data sets, while preserving low reconstruction errors.


title: Semiparametric Analysis of the Proportional Likelihood Ratio Model and Omnibus Estimation Procedure

abstract: We provide a semi-parametric analysis for the proportional likelihood ratio model, proposed by Luo & Tsai (2012). We study the tangent spaces for both the parameter of interest and the nuisance parameter, and obtain an explicit expression for the efficient score function. We propose a family of Z-estimators based on the score functions, including an approximated efficient estimator. Using inverse probability weighting, the proposed estimators can also be applied to different missing-data mechanisms, such as right censored data and non-random sampling. A simulation study that illustrates the finite-sample performance of the estimators is presented.


title: Effects of strong electron interactions and resonance scattering on power output of nano-devices

abstract: We develop a Fermi-liquid based approach to investigate the power output of nano devices in the presence of strong interactions and resonance scattering. The developed scheme is then employed to study the power output of a SU($N$) Kondo impurity at the strong-coupling regime. The interplay between Kondo resonance and the filling-factors in the SU($N$) quantum systems is found to be a key to enhance output power. Such enhancement results an output power corresponding to $50\%$ of the quantum upper bound. We demonstrate that given a proper tuning of the electron occupancy, the investigated power grows linearly with degeneracy of Kondo state ($N$). This relation can hence be exploited to obtain output power that is larger than the one in existing non interacting setups.


title: S\'eries discr\`etes des espaces sym\'etriques et paquets d'Arthur

abstract: We check Sakellaridis-Venkatesh conjectures giving a description of the discrete spectrum of a spherical variety $\mathscr{X}=G/H$ in the Langlands-Arthur formalism when $G$ is a classical real group and $\mathscr{X}$ is a symmetric space. Then, we compute explicitly the representations in the relevant Arthur paquets which appear in the discrete spectrum, and we establish some multiplicity one results.


title: Spectrum of Modular Hamiltonian in the Vacuum and Excited States

abstract: We study the non-zero eigenmodes for the modular Hamiltonian in the context of AdS$_3/$CFT$_2$. We show how to perturbatively construct zero eigenmodes for the modular Hamiltonian of the class of excited states constructed in Lashkari et al.(arxiv:1811.05052), using information about the vacuum non-zero eigen modular modes.


title: New parametrization of the form factors in $\bar{B}\to D\ell\bar{\nu}_\ell$ decays

abstract: A new model-independent parametrization is proposed for the hadronic form factors in the semileptonic $\bar{B}\to D\ell\bar{\nu}_\ell$ decay. By a combined consideration of the recent experimental and lattice QCD data, we determine precisely the Cabibbo-Kobayashi-Maskawa matrix element $|V_{cb}|=41.01(75)\times 10^{-3}$ and the ratio $\mathcal{R}_D=\frac{\mathcal{BR}(\bar{B}\to D \tau \bar{\nu}_\tau)}{\mathcal{BR}(\bar{B}\to D \ell \bar{\nu}_\ell)}=0.301(5)$. The coefficients in this parametrization, related to phase shifts by sumrulelike dispersion relations and hence called phase moments, encode important scattering information of the $\bar{B}\bar{D}$ interactions which are poorly known so far. Thus, we give strong hints about the existence of at least one bound and one virtual $\bar B \bar D$ $S$-wave $0^+$ states, subject to uncertainties produced by potentially sizable inelastic effects. This formalism is also applicable for any other semileptonic processes induced by the weak $b\to c$ transition.


title: Awareness as inference in a higher-order state space

abstract: Humans have the ability to report the contents of their subjective experience - we can say to each other, "I am aware of X". The decision processes that support these reports about mental contents remain poorly understood. In this article I propose a computational framework that characterises awareness reports as metacognitive decisions (inference) about a generative model of perceptual content. This account is motivated from the perspective of how flexible hierarchical state spaces are built during learning and decision-making. Internal states supporting awareness reports, unlike those covarying with perceptual contents, are simple and abstract, varying along a one-dimensional continuum from absent to present. A critical feature of this architecture is that it is both higher-order and asymmetric: a vast number of perceptual states is nested under "present", but a much smaller number of possible states nested under "absent". Via simulations I show that this asymmetry provides a natural account of observations of "global ignition" in brain imaging studies of awareness reports.


title: Policy Optimization Provably Converges to Nash Equilibria in Zero-Sum Linear Quadratic Games

abstract: We study the global convergence of policy optimization for finding the Nash equilibria (NE) in zero-sum linear quadratic (LQ) games. To this end, we first investigate the landscape of LQ games, viewing it as a nonconvex-nonconcave saddle-point problem in the policy space. Specifically, we show that despite its nonconvexity and nonconcavity, zero-sum LQ games have the property that the stationary point of the objective function with respect to the linear feedback control policies constitutes the NE of the game. Building upon this, we develop three projected nested-gradient methods that are guaranteed to converge to the NE of the game. Moreover, we show that all of these algorithms enjoy both globally sublinear and locally linear convergence rates. Simulation results are also provided to illustrate the satisfactory convergence properties of the algorithms. To the best of our knowledge, this work appears to be the first one to investigate the optimization landscape of LQ games, and provably show the convergence of policy optimization methods to the Nash equilibria. Our work serves as an initial step toward understanding the theoretical aspects of policy-based reinforcement learning algorithms for zero-sum Markov games in general.


title: Impact of kinetic and potential self-interactions on scalar dark matter

abstract: We consider models of scalar dark matter with a generic interaction potential and non-canonical kinetic terms of the K-essence type that are subleading with respect to the canonical term. We analyze the low-energy regime and derive, in the nonrelativistic limit, the effective equations of motions. In the fluid approximation they reduce to the conservation of matter and to the Euler equation for the velocity field. We focus on the case where the scalar field mass $10^{-21} \ll m \lesssim 10^{-4} \, {\rm eV}$ is much larger than for fuzzy dark matter, so that the quantum pressure is negligible on cosmological and galactic scales, while the self-interaction potential and non-canonical kinetic terms generate a significant repulsive pressure. At the level of cosmological perturbations, this provides a dark-matter density-dependent speed of sound. At the nonlinear level, the hydrostatic equilibrium obtained by balancing the gravitational and scalar interactions imply that virialized structures have a solitonic core of finite size depending on the speed of sound of the dark matter fluid. For the most relevant potential in $\lambda_4 \phi^4/4$ or K-essence with a $(\partial \phi)^4$ interaction, the size of such stable cores cannot exceed 60 kpc. Structures with a density contrast larger than $10^6$ can be accommodated with a speed of sound $c_s\lesssim 10^{-6}$. We also consider the case of a cosine self-interaction, as an example of bounded nonpolynomial self-interaction. This gives similar results in low-mass and low-density halos whereas solitonic cores are shown to be absent in massive halos.


title: Convergence Analysis of Gradient-Based Learning with Non-Uniform Learning Rates in Non-Cooperative Multi-Agent Settings

abstract: Considering a class of gradient-based multi-agent learning algorithms in non-cooperative settings, we provide local convergence guarantees to a neighborhood of a stable local Nash equilibrium. In particular, we consider continuous games where agents learn in (i) deterministic settings with oracle access to their gradient and (ii) stochastic settings with an unbiased estimator of their gradient. Utilizing the minimum and maximum singular values of the game Jacobian, we provide finite-time convergence guarantees in the deterministic case. On the other hand, in the stochastic case, we provide concentration bounds guaranteeing that with high probability agents will converge to a neighborhood of a stable local Nash equilibrium in finite time. Different than other works in this vein, we also study the effects of non-uniform learning rates on the learning dynamics and convergence rates. We find that much like preconditioning in optimization, non-uniform learning rates cause a distortion in the vector field which can, in turn, change the rate of convergence and the shape of the region of attraction. The analysis is supported by numerical examples that illustrate different aspects of the theory. We conclude with discussion of the results and open questions.


title: Cloud Storage for Multi-Service Battery Operation (Extended Version)

abstract: We study a cloud storage operator who provides shared storage service for electricity end-users using the residual part of a multi-service grid-scale battery primarily used for high priority grid services. We design an optimal product offering, pricing and customer portfolio. A framework and solution approach for assessing and operating such multi-service battery operations with stochastic services and different priority levels is an open problem is proposed. The methodology consists in modelling the problem as a two-stage stochastic optimization between high priority stochastic grid services and low priority cloud storage for stochastic end users. We also propose the operational metrics of multiplexing gain and probability of blocking to assess the operation of multi-service multi-user battery. To address the computational challenge of solving the stochastic optimization with a large number of end-users, we propose effective capacity as a convex approximation that allows an analytical solution. We then provide an empirical analysis based on real grid congestion data from RTE France, and a large dataset of end-users' electricity consumption in California. Our empirical analysis shows (i) our proposed effective capacity is a close approximation, (ii) battery operation and profit are sensitive to the cost of external resources, number of end-users, and RTE's leasing price of the battery, and (iii) with only a slight discount of the leasing price, the profit of the third party from a stochastic residual battery can be the same as that of a deterministic one. Cloud storage as a low priority service can profitably exist alongside other high priority battery services, making integration of more storage in the grid economically viable, and allowing larger intermittent renewables, a key path towards reduced carbon emissions.


title: Problem-Agnostic Speech Embeddings for Multi-Speaker Text-to-Speech with SampleRNN

abstract: Text-to-speech (TTS) acoustic models map linguistic features into an acoustic representation out of which an audible waveform is generated. The latest and most natural TTS systems build a direct mapping between linguistic and waveform domains, like SampleRNN. This way, possible signal naturalness losses are avoided as intermediate acoustic representations are discarded. Another important dimension of study apart from naturalness is their adaptability to generate voice from new speakers that were unseen during training. In this paper we first propose the use of problem-agnostic speech embeddings in a multi-speaker acoustic model for TTS based on SampleRNN. This way we feed the acoustic model with speaker acoustically dependent representations that enrich the waveform generation more than discrete embeddings unrelated to these factors. Our first results suggest that the proposed embeddings lead to better quality voices than those obtained with discrete embeddings. Furthermore, as we can use any speech segment as an encoded representation during inference, the model is capable to generalize to new speaker identities without retraining the network. We finally show that, with a small increase of speech duration in the embedding extractor, we dramatically reduce the spectral distortion to close the gap towards the target identities.


title: Separate In Latent Space: Unsupervised Single Image Layer Separation

abstract: Many real world vision tasks, such as reflection removal from a transparent surface and intrinsic image decomposition, can be modeled as single image layer separation. However, this problem is highly ill-posed, requiring accurately aligned and hard to collect triplet data to train the CNN models. To address this problem, this paper proposes an unsupervised method that requires no ground truth data triplet in training. At the core of the method are two assumptions about data distributions in the latent spaces of different layers, based on which a novel unsupervised layer separation pipeline can be derived. Then the method can be constructed based on the GANs framework with self-supervision and cycle consistency constraints, etc. Experimental results demonstrate its successfulness in outperforming existing unsupervised methods in both synthetic and real world tasks. The method also shows its ability to solve a more challenging multi-layer separation task.


title: Achieving Generalizable Robustness of Deep Neural Networks by Stability Training

abstract: We study the recently introduced stability training as a general-purpose method to increase the robustness of deep neural networks against input perturbations. In particular, we explore its use as an alternative to data augmentation and validate its performance against a number of distortion types and transformations including adversarial examples. In our image classification experiments using ImageNet data stability training performs on a par or even outperforms data augmentation for specific transformations, while consistently offering improved robustness against a broader range of distortion strengths and types unseen during training, a considerably smaller hyperparameter dependence and less potentially negative side effects compared to data augmentation.


title: Measurement of Branching Fractions of $\psi(3686)\rightarrow\phi\eta^\prime, \phi f_1(1285)$ and $\phi \eta(1405)$

abstract: Using a sample of $448.1\times10^6$ $\psi(3686)$ events collected with the BESIII detector, we perform a study of the decay $\psi(3686) \rightarrow \phi \pi^{+}\pi^{-}\eta$. The branching fraction of $\psi(3686)\rightarrow\phi\eta^\prime$ is determined to be $(1.51\pm0.16\pm0.12)\times 10^{-5}$, which is consistent with the previous measurement but with significantly improved precision. The resonances $f_{1}(1285)$ and $\eta(1405)$ are clearly observed in the $\pi^{+}\pi^{-}\eta$ mass spectrum with statistical significances of $18\sigma$ and $9.7\sigma$, respectively. The corresponding product branching fractions are measured to be $\mathcal{B}(\psi(3686)\rightarrow\phi f_{1}(1285),f_{1}(1285)\rightarrow\pi^{+}\pi^{-}\eta) =(1.03\pm0.10\pm0.09)\times 10^{-5}$ and $\mathcal{B}(\psi(3686)\rightarrow\phi\eta(1405),\eta(1405)\rightarrow\pi^{+}\pi^{-}\eta) =(8.46\pm1.37\pm0.92)\times 10^{-6}$.


title: The Hard Lefschetz Theorem for PL spheres

abstract: We provide a simpler proof of the hard Lefschetz Theorem for face rings of PL spheres: While the algebraic theory remains the same, we replace the geometric constructions by Pachner's Theorem. This simplifies the reasoning for an important special case of the main result of the first author in arxiv:1812.10454, and already implies the McMullen g-conjecture for PL spheres, as well as the Gr\"unbaum-Kalai-Sarkaria conjecture.


title: Characterization of Analytic Wavelet Transforms and a New Phaseless Reconstruction Algorithm

abstract: We obtain a characterization of all wavelets leading to analytic wavelet transforms (WT). The characterization is obtained as a by-product of the theoretical foundations of a new method for wavelet phase reconstruction from magnitude-only coefficients. The cornerstone of our analysis is an expression of the partial derivatives of the continuous WT, which results in phase-magnitude relationships similar to the short-time Fourier transform (STFT) setting and valid for the generalized family of Cauchy wavelets. We show that the existence of such relations is equivalent to analyticity of the WT up to a multiplicative weight and a scaling of the mother wavelet. The implementation of the new phaseless reconstruction method is considered in detail and compared to previous methods. It is shown that the proposed method provides significant performance gains and a great flexibility regarding accuracy versus complexity. Additionally, we discuss the relation between scalogram reassignment operators and the wavelet transform phase gradient and present an observation on the phase around zeros of the WT.


title: The truncated Lindley distribution with applications in astrophysics

abstract: This paper reviews the Lindley distribution and then introduces the scale and the double truncation. The unknown parameters of the truncated Lindley distribution are evaluated with the maximum likelihood estimators. An application of the Lindley distribution with scale is done to the initial mass function for stars. The magnitude version of the Lindley distribution with scale is applied to the luminosity function for the Sloan Digital Sky Survey (SDSS) galaxies and to the photometric maximum of the 2MASS Redshift Survey (2MRS) galaxies. The truncated Lindley luminosity function allows us to model the Malquist bias of the 2MRS galaxies.


title: Design of a 5G Ready and Reliable Architecture for the Smart Factory of the Future

abstract: The increasing demands for highly individual products as well as for flexible production lines represent new challenges. To address these demands, future plants must be highly flexible and dynamically reconfigurable. Current systems are usually based on wired technologies for the connection of sensors, actuators, and controlling or monitoring devices that allow only very limited dynamics. New applications, such as the use of robots, drones, or reconfigurable production lines, require the exploitation of wireless communication technologies. However, current technologies are not able to meet the high requirements in terms of latency, robustness, resilience and data rate. The introduction of the 5th generation (5G) cellular communication system will meet these requirements for the first time. Besides the use of radio-based solutions in new plants - so-called greenfield scenarios - deploying 5G also represents an efficient migration of existing plants - so-called brownfield scenarios - to Industry 4.0. In order to ensure that the challenging requirements are indeed meet in practical deployments of the new 5G technology, a tailor-made architecture is being developed within the Tactile Internet 4.0 (TACNET 4.0) project. As a basis for the design of the architecture, representative Industry 4.0 application scenarios, which are also be considered by the 3rd Generation Partnership Project (3GPP), were analyzed and compliance with the latest developments in the relevant standardization is also our target. The paper gives an overview of the considered use cases as well as the relevant reference architectures and the design process of the TACNET 4.0 architecture.


title: What should 6G be?

abstract: The standardization of fifth generation (5G) communications has been completed, and the 5G network should be commercially launched in 2020. As a result, the visioning and planning of sixth generation (6G) communications has begun, with an aim to provide communication services for the future demands of the 2030s. Here we provide a vision for 6G that could serve a research guide in the post-5G era. We suggest that human-centric mobile communications will still be the most important application of 6G and the 6G network should be human centric. Thus, high security, secrecy, and privacy should be key features of 6G and should be given particular attention by the wireless research community. To support this vision, we provide a systematic framework in which potential application scenarios of 6G are anticipated and subdivided. We subsequently define key potential features of 6G and discuss the required communication technologies. We also explore the issues beyond communication technologies that could hamper research and deployment of 6G.


title: Gender-preserving Debiasing for Pre-trained Word Embeddings

abstract: Word embeddings learnt from massive text collections have demonstrated significant levels of discriminative biases such as gender, racial or ethnic biases, which in turn bias the down-stream NLP applications that use those word embeddings. Taking gender-bias as a working example, we propose a debiasing method that preserves non-discriminative gender-related information, while removing stereotypical discriminative gender biases from pre-trained word embeddings. Specifically, we consider four types of information: \emph{feminine}, \emph{masculine}, \emph{gender-neutral} and \emph{stereotypical}, which represent the relationship between gender vs. bias, and propose a debiasing method that (a) preserves the gender-related information in feminine and masculine words, (b) preserves the neutrality in gender-neutral words, and (c) removes the biases from stereotypical words. Experimental results on several previously proposed benchmark datasets show that our proposed method can debias pre-trained word embeddings better than existing SoTA methods proposed for debiasing word embeddings while preserving gender-related but non-discriminative information.


title: Distributed Uplink Power Control in an Ultra-Dense Millimeter Wave Network: A Mean-field Game Approach

abstract: In this paper, a novel mean-field game framework is proposed for uplink power control in an ultra-dense millimeter wave network. The proposed mean-field game considers the time evolution of the mobile users' orientations as well as the energy available in their batteries, under adaptive user association. The objective of each mobile user is then to find the optimal transmission power that maximizes its energy efficiency. The expression of the energy efficiency is analytically derived for the realistic case of a finite size network. Simulation results show that the proposed approach yields gains of up to 24%, in terms of energy efficiency, compared to a baseline in which the nodes transmit according to the path loss compensating power control policy.


title: Hierarchical Decision Making by Generating and Following Natural Language Instructions

abstract: We explore using latent natural language instructions as an expressive and compositional representation of complex actions for hierarchical decision making. Rather than directly selecting micro-actions, our agent first generates a latent plan in natural language, which is then executed by a separate model. We introduce a challenging real-time strategy game environment in which the actions of a large number of units must be coordinated across long time scales. We gather a dataset of 76 thousand pairs of instructions and executions from human play, and train instructor and executor models. Experiments show that models using natural language as a latent variable significantly outperform models that directly imitate human actions. The compositional structure of language proves crucial to its effectiveness for action representation. We also release our code, models and data.


title: Encryption Scheme Based on Expanded Reed-Solomon Codes

abstract: We present a code-based public-key cryptosystem, in which we use Reed-Solomon codes over an extension field as secret codes and disguise it by considering its shortened expanded code over the base field. Considering shortened expanded codes provides a safeguard against distinguisher attacks based on the Schur product. Moreover, without using a cyclic or a quasi-cyclic structure we obtain a key size reduction of nearly $45 \%$ compared to the classic McEliece cryptosystem proposed by Bernstein et al.


title: The nature of faint radio galaxies at high redshifts

abstract: We present spectra and near-infrared images of a sample of faint radio sources initially selected as promising high-redshift radio galaxy (HzRG) candidates. We have determined redshifts for a total of 13 radio galaxies with redshifts ranging from $0.52\le z \le 5.72$. Our sample probes radio luminosities that are almost an order of magnitude fainter than previous large samples at the highest redshifts. We use near-infrared photometry for a subsample of these galaxies to calculate stellar masses using simple stellar population models, and find stellar masses to be in the range $10^{10.8} - 10^{11.7} M_\odot$. We then compare our faint radio galaxies with brighter radio galaxies at $z\ge2$ from the literature. We find that fainter radio galaxies have lower Ly$\alpha$ luminosities and narrower full width at half maxima compared to the bright ones, implying photoionisation by weaker AGN. We also rule out the presence of strong shocks in faint HzRGs. The stellar masses determined for faint HzRGs are lower than what has been observed for brighter ones. We find that faint HzRG population in the redshift range $2-4$ forms a bridge between star-forming and narrow-line AGN, whereas the ones at $z>4$ are dominated by star-formation, and may be building up their stellar mass through cold accretion of gas. Finally, we show that the overall redshift evolution of radio sizes at $z>2$ is fully compatible with increased inverse Compton scattering losses at high redshifts.


title: Quantitative non-divergence and Diophantine approximation on manifolds

abstract: The goal of this survey is to discuss the Quantitative non-Divergence estimate on the space of lattices and present a selection of its applications. The topics covered include extremal manifolds, Khintchine-Groshev type theorems, rational points lying close to manifolds and badly approximable points on manifolds. The main emphasis is on the role of the Quantitative non-Divergence estimate in the aforementioned topics within the theory of Diophantine approximation, and therefore this paper should not be regarded as a comprehensive overview of the area.


title: Improving Minimal Gated Unit for Sequential Data

abstract: In order to obtain a model which can process sequential data related to machine translation and speech recognition faster and more accurately, we propose adopting Chrono Initializer as the initialization method of Minimal Gated Unit. We evaluated the method with two tasks: adding task and copy task. As a result of the experiment, the effectiveness of the proposed method was confirmed.


title: Application Components Migration in NFV-based Hybrid Cloud/Fog Systems

abstract: Fog computing extends the cloud to the edge of the network, close to the end-users enabling the deployment of some application component in the fog while others in the cloud. Network Functions Virtualization (NFV) decouples the network functions from the underlying hardware. In NFV settings, application components can be implemented as sets of Virtual Network Functions (VNFs) chained in specific order representing VNF-Forwarding Graphs (VNF-FG). Many studies have been carried out to map the VNF-FGs to cloud systems. However, in hybrid cloud/fog systems, an additional challenge arises. The mobility of fog nodes may cause high latency as the distance between the end-users and the nodes hosting the components increases. This may not be tolerable for some applications. In such cases, a prominent solution is to migrate application components to a closer fog node. This paper focuses on application component migration in NFV-based hybrid cloud/fog systems. The objective is to minimize the aggregated makespan of the applications. The problem is modeled mathematically, and a heuristic is proposed to find the sub-optimal solution in an acceptable time. The heuristic aims at finding the optimal fog node in each time-slot considering a pre-knowledge of the mobility models of the fog nodes. The experiment's results show that our proposed solution improves the makespan and the number of migrations compared to random migration and No-migration.


title: Effects of Packet Loss and Jitter on VoLTE Call Quality

abstract: This work performs a preliminary, comparative analysis of the end-to-end quality guaranteed by Voice over LTE (VoLTE), examining several millions of VoLTE calls that employ two popular speech audio codecs, namely, Adaptive Multi-Rate (AMR) and Adaptive Multi-Rate WideBand (AMR-WB). To assess call quality, VQmon, an enhanced version of the standardized E-Model, is utilized. The study reveals to what extent AMR-WB based calls are more robust against network impairments than their narrowband counterparts; it further shows that the dependence of call quality on the packet loss rate is approximately exponential when the AMR codec is used, whereas it is nearly linear for the AMR-WB codec.


title: Long-term soft and hard X-ray investigation of the colliding wind WN+O binary WR 25

abstract: We investigated the long-term behaviour in X-rays of the colliding wind binary WR 25, using archival data obtained with Suzaku, Swift, XMM-Newton, and NuSTAR spanning over ~16 years. Our analysis reveals phase-locked variations repeating consistently over many consecutive orbits, in agreement with an X-ray emission fully explained by thermal emission from the colliding winds in the 208-d orbit. We report on a significant deviation of the X-ray flux with respect to the 1/D trend (expected for adiabatic shocked winds) close to periastron passage. The absence of a drop in post-shock plasma temperature close to periastron suggests this break in trend cannot be explained in terms of reduced pre-shock velocities in this part of the orbit. Finally, NuSTAR data reveal a lack of hard X-ray emission (above 10.0 keV) above the background level. Upper limits on a putative non-thermal emission strongly suggest that the sensitivity of present hard X-ray observatories is not sufficient to detect non-thermal emission from massive binaries above 10 keV, unless the wind kinetic power is large enough to significantly feed particle acceleration in the wind-wind interaction.


title: A test against trend in random sequences

abstract: We study a modification of Kendall's tau-test, replacing his permutations of n different numbers by sequences of length n, where repetition is allowed. In particular, binary sequences are included. Random sequences can be tested.


title: Accurate Localization in Wireless Sensor Networks in the Presence of Cross Technology Interference

abstract: Localization of mobile nodes in a wireless sensor networks (WSNs) is an active area of research. In this paper, we present a novel RSSI based localization algorithm for 802.15.4 (ZigBee) based WSNs. We propose and implement a novel range based localization algorithm to minimize cross technology interference operating in the same band. The goal is to minimize the mean square error of the localization algorithm. Hardware implementation of the algorithm is in agreement with ideal (no interference) simulation results where an accuracy of less than 0.5m has been achieved.


title: A gender analysis of top scientists' collaboration behavior: evidence from Italy

abstract: This work analyzes the differences in collaboration behavior between males and females among a particular type of scholars: top scientists, and as compared to non top scientists. The field of observation consists of the Italian academic system and the co-authorships of scientific publications by 11,145 professors. The results obtained from a cross-sectional analysis covering the five-year period 2006-2010 show that there are no significant differences in the overall propensity to collaborate in the top scientists of the two genders. At the level of single disciplines there are no differences in collaboration behavior, except in the case of: i) international collaborations, for Mathematics and Chemistry - where the propensity for collaboration is greater for males; and ii) extramural domestic collaborations in Physics, in which it is the females that show greater propensity for collaboration. Because international collaboration is positively correlated to research performance, findings can inform science policy aimed at increasing the representation of female top performers.


title: The envelope of the semiregular variable V CVn

abstract: V CVn is a semiregular variable star with a V-band amplitude of $\approx2$ mag. This star has an unusually high amplitude of polarimetric variability: up to 6 per cent. It also exhibits a prominent inverse correlation between the flux and the fraction of polarization and a substantial constancy of the angle of polarization. To figure out the nature of these features, we observed the object using the Differential Speckle Polarimetry at three bands centered on 550, 625 and 880 nm using the 2.5-m telescope of Sternberg Astronomical Institute. The observations were conducted on 20 dates distributed over three cycles of pulsation. We detected an asymmetric reflection nebula consisting of three regions and surrounding the star at the typical distance of 35 mas. The components of the nebula change their brightness with the same period as the star, but with significant and different phase shifts. We discuss several hypotheses that could explain this behavior.


title: The Strength of Structural Diversity in Online Social Networks

abstract: Understanding the way individuals are interconnected in social networks is of prime significance to predict their collective outcomes. Leveraging a large-scale dataset from a knowledge-sharing website, this paper presents an exploratory investigation of the way to depict structural diversity in directed networks and how it can be utilized to predict one's online social reputation. To capture the structural diversity of an individual, we first consider the number of weakly and strongly connected components in one's contact neighborhood and further take the coexposure network of social neighbors into consideration. We show empirical evidence that the structural diversity of an individual is able to provide valuable insights to predict personal online social reputation, and the inclusion of a coexposure network provides an additional ingredient to achieve that goal. After synthetically controlling several possible confounding factors through matching experiments, structural diversity still plays a nonnegligible role in the prediction of personal online social reputation. Our work constitutes one of the first attempts to empirically study structural diversity in directed networks and has practical implications for a range of domains, such as social influence and collective intelligence studies.


title: A high-order discretization of nonlinear poroelasticity

abstract: In this work we construct and analyze a nonconforming high-order discretization method for the quasi-static single-phase nonlinear poroelasticity problem describing Darcean flow in a deformable porous medium saturated by a slightly compressible fluid. The nonlinear elasticity operator is discretized using a Hybrid High-Order method, while the Darcy operator relies on a Symmetric Weighted Interior Penalty discontinuous Galerkin scheme. The method is valid in two and three space dimensions, delivers an inf-sup stable discretization on general meshes including polyhedral elements and nonmatching interfaces, supports arbitrary approximation orders, and has a reduced cost thanks to the possibility of statically condensing a large subset of the unknowns for linearized versions of the problem. Moreover, the proposed construction can handle both nonzero and vanishing specific storage coefficients.


title: Von Neumann Type of Trace Inequalities for Schatten-Class Operators

abstract: We generalize von Neumann's well-known trace inequality, as well as related eigenvalue inequalities for hermitian matrices, to Schatten-class operators between complex Hilbert spaces of infinite dimension. To this end, we exploit some recent results on the $C$-numerical range of Schatten-class operators. For the readers' convenience, we sketched the proof of these results in the Appendix.


title: Fuzzy-Controlled Scheduling of Route-Request Packets (FSRR) in Mobile Ad Hoc Networks

abstract: In ad hoc networks, the scheduling of route-request packets should be different from that of message packets, because during transmission of message packets the location of the destination is known whereas in route discovery this is not known in most of the cases. The router has to depend upon the last known location, if any, of the destination to determine the center and radius of the circle that embeds all possible current position of the destination. Route-request packets generated from the source are directed towards this circle i.e., directional route discovery can be applied. Otherwise, when no earlier location of the destination is known the route-requested has to be broadcast in the whole network consuming a significant amount of time than directional route discovery. The present article proposes fuzzy controlled scheduling of route-request packets in particular that greatly reduces the average delay in route discovery in ad hoc networks.


title: Fuzzy Route Switching For Energy Preservation (FEP) in Ad Hoc Networks

abstract: Nodes in ad hoc networks have limited battery power. Hence they require an energy-efficient technique to improve average network performance. Maintaining energy-efficiency in ad hoc networks is really challenging because highest energy efficiency is achieved if all the nodes are always switched off and energy-efficiency will be minimum if all the nodes are fully operational i.e. always turned-on. Energy preservation requires redirection of data packets through some other routes having good performance. This improves the data packet delivery ratio and the number of alive nodes decreasing the cost of messages.


title: A meta analysis of core-collapse supernova $^{56}$Ni masses

abstract: A fundamental property determining the transient behaviour of core-collapse supernovae (CCSNe) is the amount of radioactive $^{56}$Ni synthesised in the explosion. Using established methods, this is a relatively easy parameter to extract from observations. Here I provide a meta analysis of all published $^{56}$Ni masses for CCSNe. Collating a total of 258 literature $^{56}$Ni masses I compare distributions of the main CCSN types: SNeII; SNeIIb; SNeIb; SNeIc; and SNeIcBL. Using these published values, I calculate a median $^{56}$Ni mass of 0.032${\rm\ M}_\odot$ for SNeII (N=115), 0.102${\rm\ M}_\odot$ (N=27) for SNeIIb, SNeIb = 0.163${\rm\ M}_\odot$ (N=33), SNeIc = 0.155${\rm\ M}_\odot$ (N=48), and SNeIcBL = 0.369${\rm\ M}_\odot$ (N=32). On average, stripped-enevelope SNe (SE-SNe: IIb; Ib; Ic; and Ic-BL) have much higher values than SNeII. These observed distributions are compared to those predicted from neutrino-driven explosion models. While the SNII distribution follows model predictions, the SE-SNe have a significant fraction of events with $^{56}$Ni masses much higher than predicted. If the majority of published $^{56}$Ni masses are to be believed, these results imply significant differences in the progenitor structures and/or explosion properties between SNeII and SE-SNe. However, such distinct progenitor and explosion properties are not currently favoured in the literature. Alternatively, the popular methods used to estimate $^{56}$Ni masses for SE-SNe may not be accurate. Possible issues with these methods are discussed, as are the implications of true $^{56}$Ni mass differences on progenitor properties of different CCSNe.


title: Variations on a theme -- the puzzling behaviour of Schulte 12

abstract: One of the first massive stars detected in X-rays, Schulte 12 has remained a puzzle in several aspects. In particular, its extreme brightness both in the visible and X-ray ranges is intriguing. Thanks to Swift and XMM-Newton observations covering ~5000d, we report the discovery of a regular 108d modulation in X-ray flux of unknown origin. The minimum in the high-energy flux appears due to a combination of increased absorption and decreased intrinsic emission. We examined in parallel the data from a dedicated spectroscopic and photometric monitoring in the visible and near-IR domains, complemented by archives. While a similar variation timescale is found in those data, they do not exhibit the strict regular clock found at high energies. Changes in line profiles cannot be related to binarity but rather correspond to non-radial pulsations. Considering the substantial revision of the distance of Schulte 12 from the second GAIA data release, the presence of such oscillations agrees well with the evolutionary status of Schulte 12, as it lies in an instability region of the HR diagram.


title: Separation and Renaming in Nominal Sets

abstract: Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. These automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions.


title: Approximation capability of neural networks on spaces of probability measures and tree-structured domains

abstract: This paper extends the proof of density of neural networks in the space of continuous (or even measurable) functions on Euclidean spaces to functions on compact sets of probability measures. By doing so the work parallels a more then a decade old results on mean-map embedding of probability measures in reproducing kernel Hilbert spaces. The work has wide practical consequences for multi-instance learning, where it theoretically justifies some recently proposed constructions. The result is then extended to Cartesian products, yielding universal approximation theorem for tree-structured domains, which naturally occur in data-exchange formats like JSON, XML, YAML, AVRO, and ProtoBuffer. This has important practical implications, as it enables to automatically create an architecture of neural networks for processing structured data (AutoML paradigms), as demonstrated by an accompanied library for JSON format.


title: Dispersive readout of a weakly coupled qubit via the parity-time-symmetric phase transition

abstract: For some cavity-quantum-electrodynamics systems, such as a single electron spin coupled to a passive cavity, it is challenging to reach the strong-coupling regime. In such a weak-coupling regime, the conventional dispersive readout technique cannot be used to resolve the quantum states of the spin. Here we propose an improved dispersive readout method to measure the quantum states of a weakly coupled qubit by harnessing either one or two auxiliary cavities linearly coupled to the passive cavity containing the qubit. With appropriate parameters in both cases, the system excluding the qubit can exhibit a parity-time-symmetric phase transition at the exceptional point (EP). Because the EP can amplify the perturbation induced by the qubit and the parity-time symmetry can narrow the linewidths of the peaks in the transmission spectrum of the passive cavity, we can measure the quantum states of the weakly coupled qubit via this transmission spectrum. Owing to the weak coupling between the qubit and the passive cavity, the backaction due to the measurement of the qubit can also be reduced in comparison with the conventional dispersive readout technique in the strong-coupling regime.


title: An Operational Guide to Monitorability

abstract: Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.