title: Lumos: A Library for Diagnosing Metric Regressions in Web-Scale Applications

abstract: Web-scale applications can ship code on a daily to weekly cadence. These applications rely on online metrics to monitor the health of new releases. Regressions in metric values need to be detected and diagnosed as early as possible to reduce the disruption to users and product owners. Regressions in metrics can surface due to a variety of reasons: genuine product regressions, changes in user population, and bias due to telemetry loss (or processing) are among the common causes. Diagnosing the cause of these metric regressions is costly for engineering teams as they need to invest time in finding the root cause of the issue as soon as possible. We present Lumos, a Python library built using the principles of AB testing to systematically diagnose metric regressions to automate such analysis. Lumos has been deployed across the component teams in Microsoft's Real-Time Communication applications Skype and Microsoft Teams. It has enabled engineering teams to detect 100s of real changes in metrics and reject 1000s of false alarms detected by anomaly detectors. The application of Lumos has resulted in freeing up as much as 95% of the time allocated to metric-based investigations. In this work, we open source Lumos and present our results from applying it to two different components within the RTC group over millions of sessions. This general library can be coupled with any production system to manage the volume of alerting efficiently.


title: Topological photon pairs in a superconducting quantum metamaterial

abstract: Recent discoveries in topological physics hold a promise for disorder-robust quantum systems and technologies. Topological states provide the crucial ingredient of such systems featuring increased robustness to disorder and imperfections. Here, we use an array of superconducting qubits to engineer a one-dimensional topologically nontrivial quantum metamaterial. By performing microwave spectroscopy of the fabricated array, we experimentally observe the spectrum of elementary excitations. We find not only the single-photon topological states but also the bands of exotic bound photon pairs arising due to the inherent anharmonicity of qubits. Furthermore, we detect the signatures of the two-photon bound edge-localized state which hints towards interaction-induced localization in our system. Our work demonstrates an experimental implementation of the topological model with attractive photon-photon interaction in a quantum metamaterial.


title: Development of the Soft X-ray AGM-AGS RIXS Beamline at Taiwan Photon Source

abstract: We report on the development of a high-resolution and highly efficient beamline for soft-X-ray resonant inelastic X-ray scattering (RIXS) located at Taiwan Photon Source. This beamline adopts an optical design that uses an active grating monochromator (AGM) and an active grating spectrometer (AGS) to implement the energy compensation principle of grating dispersion. Active gratings are utilized to diminish defocus, coma and higher-order aberrations as well as to decrease the slope errors caused by thermal deformation and optical polishing. The AGS is mounted on a rotatable granite platform to enable momentum-resolved RIXS measurements with scattering angle over a wide range. Several high-precision instruments developed in house for this beamline are briefly described. The best energy resolution obtained from this AGM-AGS beamline was 12.4 meV at 530 eV, achieving a resolving power 42,000, while the bandwidth of the incident soft X-rays was kept at 0.5 eV. To demonstrate the scientific impacts of high-resolution RIXS, we present an example of momentum-resolved RIXS measurements on a high-temperature superconducting cuprate, La$_{2-x}$Sr$_x$CuO$_4$. The measurements reveal the A$_{1g}$ apical oxygen phonons in superconducting cuprates, opening a new opportunity to investigate the coupling between these phonons and charge density waves.


title: Chemical Sensing with Nanogap AND Chemi-mechanical Devices

abstract: This article presents a new class of batch-fabricated, low-power and highly sensitive chemiresistive sensors. We first present the design, fabrication and characterization of batch-fabricated sidewall etched vertical nanogap tunnelling-junctions for bio-sensing. Using these devices we demonstrate the electrical detection of certain organic molecules from measurements of tunneling characteristics of target-mediated molecular junctions formed across nanogaps.


title: PCW-Net: Pyramid Combination and Warping Cost Volume for Stereo Matching

abstract: Existing deep learning based stereo matching methods either focus on achieving optimal performances on the target dataset while with poor generalization for other datasets or focus on handling the cross-domain generalization by suppressing the domain sensitive features which results in a significant sacrifice on the performance. To tackle these problems, we propose PCW-Net, a Pyramid Combination and Warping cost volume-based network to achieve good performance on both cross-domain generalization and stereo matching accuracy on various benchmarks. In particular, our PCW-Net is designed for two purposes. First, we construct combination volumes on the upper levels of the pyramid and develop a cost volume fusion module to integrate them for initial disparity estimation. Multi-scale receptive fields can be covered by fusing multi-scale combination volumes, thus, domain-invariant features can be extracted. Second, we construct the warping volume at the last level of the pyramid for disparity refinement. The proposed warping volume can narrow down the residue searching range from the initial disparity searching range to a fine-grained one, which can dramatically alleviate the difficulty of the network to find the correct residue in an unconstrained residue searching space. When training on synthetic datasets and generalizing to unseen real datasets, our method shows strong cross-domain generalization and outperforms existing state-of-the-arts with a large margin. After fine-tuning on the real datasets, our method ranks first on KITTI 2012, second on KITTI 2015, and first on the Argoverse among all published methods as of 7, March 2022. The code will be available at https://github.com/gallenszl/PCWNet.


title: Note: low-rank tensor train completion with side information based on Riemannian optimization

abstract: We consider the low-rank tensor train completion problem when additional side information is available in the form of subspaces that contain the mode-$k$ fiber spans. We propose an algorithm based on Riemannian optimization to solve the problem. Numerical experiments show that the proposed algorithm requires far fewer known entries to recover the tensor compared to standard tensor train completion methods.


title: Keyframe Segmentation and Positional Encoding for Video-guided Machine Translation Challenge 2020

abstract: Video-guided machine translation as one of multimodal neural machine translation tasks targeting on generating high-quality text translation by tangibly engaging both video and text. In this work, we presented our video-guided machine translation system in approaching the Video-guided Machine Translation Challenge 2020. This system employs keyframe-based video feature extractions along with the video feature positional encoding. In the evaluation phase, our system scored 36.60 corpus-level BLEU-4 and achieved the 1st place on the Video-guided Machine Translation Challenge 2020.


title: Calibration of Neural Networks using Splines

abstract: Calibrating neural networks is of utmost importance when employing them in safety-critical applications where the downstream decision making depends on the predicted probabilities. Measuring calibration error amounts to comparing two empirical distributions. In this work, we introduce a binning-free calibration measure inspired by the classical Kolmogorov-Smirnov (KS) statistical test in which the main idea is to compare the respective cumulative probability distributions. From this, by approximating the empirical cumulative distribution using a differentiable function via splines, we obtain a recalibration function, which maps the network outputs to actual (calibrated) class assignment probabilities. The spine-fitting is performed using a held-out calibration set and the obtained recalibration function is evaluated on an unseen test set. We tested our method against existing calibration approaches on various image classification datasets and our spline-based recalibration approach consistently outperforms existing methods on KS error as well as other commonly used calibration measures. Our Code is available at https://github.com/kartikgupta-at-anu/spline-calibration.


title: High-Fidelity Simultaneous Detection of Trapped Ion Qubit Register

abstract: Qubit state detection is an important part of a quantum computation. As number of qubits in a quantum register increases, it is necessary to maintain high fidelity detection to accurately measure the multi-qubit state. Here we present experimental demonstration of high-fidelity detection of a multi-qubit trapped ion register with average single qubit detection error of 4.2(1.5) ppm and a 4-qubit state detection error of 17(2) ppm, limited by the decay lifetime of the qubit, using a novel single-photon-sensitive camera with fast data collection, excellent temporal and spatial resolution, and low instrumental crosstalk.


title: K-CLASH: Strangulation and Ram Pressure Stripping in Galaxy Cluster Members at 0.3 < z < 0.6

abstract: Galaxy clusters have long been theorised to quench the star-formation of their members. This study uses integral-field unit observations from the $K$-band Multi-Object Spectrograph (KMOS) - Cluster Lensing And Supernova survey with Hubble (CLASH) survey (K-CLASH) to search for evidence of quenching in massive galaxy clusters at redshifts $0.3<z<0.6$. We first construct mass-matched samples of exclusively star-forming cluster and field galaxies, then investigate the spatial extent of their H$\alpha$ emission and study their interstellar medium conditions using emission line ratios. The average ratio of H$\alpha$ half-light radius to optical half-light radius ($r_{\rm{e},\rm{H}\alpha}/r_{\rm{e},R_c}$) for all galaxies is $1.14\pm0.06$, showing that star formation is taking place throughout stellar discs at these redshifts. However, on average, cluster galaxies have a smaller $r_{\rm{e},\rm{H}\alpha}/r_{\rm{e},R_c}$ ratio than field galaxies: $\langle r_{\rm{e},\rm{H}\alpha}/r_{\rm{e},R_c}\rangle = 0.96\pm0.09$ compared to $1.22\pm0.08$ (smaller at a 98\% credibility level). These values are uncorrected for the wavelength difference between H$\alpha$ emission and $R_c$-band stellar light, but implementing such a correction only reinforces our results. We also show that whilst the cluster and field samples follow indistinguishable mass-metallicity (MZ) relations, the residuals around the MZ relation of cluster members correlate with cluster-centric distance; galaxies residing closer to the cluster centre tend to have enhanced metallicities (significant at the 2.6$\sigma$ level). Finally, in contrast to previous studies, we find no significant differences in electron number density between the cluster and field galaxies. We use simple chemical evolution models to conclude that the effects of disc strangulation and ram-pressure stripping can quantitatively explain our observations.


title: The Chern classes and the Euler characteristic of the moduli spaces of abelian differentials

abstract: For the moduli spaces of Abelian differentials, the Euler characteristic is one of the most basic intrinsic topological invariants. We give a formula for the Euler characteristic that relies on intersection theory on the smooth compactification by multi-scale differentials. It is a consequence of a formula for the full Chern polynomial of the cotangent bundle of the compactification. The main new technical tools are an Euler sequence for the cotangent bundle of the moduli space of Abelian differentials and computational tools in the Chow ring, such as normal bundles to boundary divisors.


title: Benchmarking Learned Indexes

abstract: Recent advancements in learned index structures propose replacing existing index structures, like B-Trees, with approximate learned models. In this work, we present a unified benchmark that compares well-tuned implementations of three learned index structures against several state-of-the-art "traditional" baselines. Using four real-world datasets, we demonstrate that learned index structures can indeed outperform non-learned indexes in read-only in-memory workloads over a dense array. We also investigate the impact of caching, pipelining, dataset size, and key size. We study the performance profile of learned index structures, and build an explanation for why learned models achieve such good performance. Finally, we investigate other important properties of learned index structures, such as their performance in multi-threaded systems and their build times.


title: Thermal interfacial resistance and nanolayer effect on the thermal conductivity of Al2O3-CO2 nanofluid: A Molecular Dynamics approach

abstract: Nanofluids are known to have significantly different thermal properties relative to the corresponding conventional fluids. Heat transfer at the solid-fluid interface affects the thermal properties of nanofluids. The current work helps in understanding the role of two nanoscale phenomena, namely ordering of fluid layer around the nanoparticle (nanolayer) and thermal resistance at the interface of solid-fluid in the enhancement of thermal conductivity of Al2O3 - CO2 nanofluid. In this study, molecular dynamics (MD) simulations have been used to study the thermal interfacial resistance by transient non-equilibrium heat technique and nanolayer formed between Al2O3 nanoparticle (np) and surrounded CO2 molecules in the gaseous and supercritical phase. The nanoparticle diameter (dNP) is varied between 2 and 5 nm to investigate the size effect on thermal interfacial resistance (TIR) and thermal conductivity of nanofluid and the results indicate that the TIR for larger diameters is relatively high in both the phases. The study of the effect of surface wettability and temperature on TIR reveals that the resistance decreases with increase in interaction strength and temperature, but is entirely independent at higher temperatures, in both gaseous and supercritical nanofluid. A density distribution study of the nanolayer and the monolayer around the nanoparticle revealed that the latter is more ordered in smaller diameter with less thermal resistance. However, nanolayer study reveals that the nanoparticle with bigger diameters are more suitable for the cooling/heating purpose, as the system with larger diameters has higher thermal conductivity. Results show that the nanolayer plays a significant role in determining the effective thermal conductivity of the nanofluid, while the influence of TIR appears negligible compared to the nanolayer.


title: Seeded intervals and noise level estimation in change point detection: A discussion of Fryzlewicz (2020)

abstract: In this discussion, we compare the choice of seeded intervals and that of random intervals for change point segmentation from practical, statistical and computational perspectives. Furthermore, we investigate a novel estimator of the noise level, which improves many existing model selection procedures (including the steepest drop to low levels), particularly for challenging frequent change point scenarios with low signal-to-noise ratios.


title: Post-hoc Calibration of Neural Networks by g-Layers

abstract: Calibration of neural networks is a critical aspect to consider when incorporating machine learning models in real-world decision-making systems where the confidence of decisions are equally important as the decisions themselves. In recent years, there is a surge of research on neural network calibration and the majority of the works can be categorized into post-hoc calibration methods, defined as methods that learn an additional function to calibrate an already trained base network. In this work, we intend to understand the post-hoc calibration methods from a theoretical point of view. Especially, it is known that minimizing Negative Log-Likelihood (NLL) will lead to a calibrated network on the training set if the global optimum is attained (Bishop, 1994). Nevertheless, it is not clear learning an additional function in a post-hoc manner would lead to calibration in the theoretical sense. To this end, we prove that even though the base network ($f$) does not lead to the global optimum of NLL, by adding additional layers ($g$) and minimizing NLL by optimizing the parameters of $g$ one can obtain a calibrated network $g \circ f$. This not only provides a less stringent condition to obtain a calibrated network but also provides a theoretical justification of post-hoc calibration methods. Our experiments on various image classification benchmarks confirm the theory.


title: RG and logarithmic CFT multicritical properties of randomly diluted Ising models

abstract: We discuss how a spin system, which is subject to quenched disorder, might exhibit multicritical behaviors at criticality if the distribution of the impurities is arbitrary. In order to provide realistic candidates for such multicritical behaviors, we discuss several generalizations of the standard randomly diluted Ising's universality class adopting the $\epsilon$-expansion close to several upper critical dimensions. In the presentation, we spend a special effort in bridging between CFT and RG results and discuss in detail the computation of quantities, which are of prominent interest in the case of logarithmic CFT.


title: 3D Probabilistic Segmentation and Volumetry from 2D projection images

abstract: X-Ray imaging is quick, cheap and useful for front-line care assessment and intra-operative real-time imaging (e.g., C-Arm Fluoroscopy). However, it suffers from projective information loss and lacks vital volumetric information on which many essential diagnostic biomarkers are based on. In this paper we explore probabilistic methods to reconstruct 3D volumetric images from 2D imaging modalities and measure the models' performance and confidence. We show our models' performance on large connected structures and we test for limitations regarding fine structures and image domain sensitivity. We utilize fast end-to-end training of a 2D-3D convolutional networks, evaluate our method on 117 CT scans segmenting 3D structures from digitally reconstructed radiographs (DRRs) with a Dice score of $0.91 \pm 0.0013$. Source code will be made available by the time of the conference.


title: The uncertainty of Side-Channel Analysis: A way to leverage from heuristics

abstract: Performing a comprehensive side-channel analysis evaluation of small embedded devices is a process known for its variability and complexity. In real-world experimental setups, the results are largely influenced by a huge amount of parameters that are not easily adjusted without trial and error and are heavily relying on the experience of professional security analysts. In this paper, we advocate the use of an existing statistical methodology called Six Sigma (6{\sigma}) for side-channel analysis optimization for this purpose. This well-known methodology is commonly used in other industrial fields, such as production and quality engineering, to reduce the variability of industrial processes. We propose a customized Six Sigma methodology, which enables even a less-experienced security analysis to select optimal values for the different variables that are critical for the side-channel analysis procedure. Moreover, we show how our methodology helps in improving different phases in the side-channel analysis process.


title: Adding flexibility to clinical trial designs: an example-based guide to the practical use of adaptive designs

abstract: Adaptive designs for clinical trials permit alterations to a study in response to accumulating data in order to make trials more flexible, ethical and efficient. These benefits are achieved while preserving the integrity and validity of the trial, through the pre-specification and proper adjustment for the possible alterations during the course of the trial. Despite much research in the statistical literature highlighting the potential advantages of adaptive designs over traditional fixed designs, the uptake of such methods in clinical research has been slow. One major reason for this is that different adaptations to trial designs, as well as their advantages and limitations, remain unfamiliar to large parts of the clinical community. The aim of this paper is to clarify where adaptive designs can be used to address specific questions of scientific interest; we introduce the main features of adaptive designs and commonly used terminology, highlighting their utility and pitfalls, and illustrate their use through case studies of adaptive trials ranging from early-phase dose escalation to confirmatory Phase III studies.


title: An Efficient Index for Contact Tracing Query in a Large Spatio-Temporal Database

abstract: In this paper, we study a novel contact tracing query (CTQ) that finds users who have been in $direct$ $contact$ with the query user or $in$ $contact$ $with$ $the$ $already$ $contacted$ $users$ in subsequent timestamps from a large spatio-temporal database. The CTQ is of paramount importance in the era of new COVID-19 pandemic world for finding possible list of potential COVID-19 exposed patients. A straightforward way to answer the CTQ is using traditional spatio-temporal indexes. However, these indexes cannot serve the purpose as each user covers a large area within the time-span of potential disease spreading and thus they can hardly use efficient pruning techniques. We propose a multi-level index, namely QR-tree, that consider both space coverage and the co-visiting patterns to group users so that users who are likely to meet the query user are grouped together. More specifically, we use a quadtree to partition user movement traces w.r.t. space and time, and then exploit these space-time mapping of user traces to group users using an R-tree. The QR-tree facilitates efficient pruning and enables accessing only potential sets of user who can be the candidate answers for the CTQ. Experiments with real datasets show the effectiveness of our approach.


title: NeuralScale: Efficient Scaling of Neurons for Resource-Constrained Deep Neural Networks

abstract: Deciding the amount of neurons during the design of a deep neural network to maximize performance is not intuitive. In this work, we attempt to search for the neuron (filter) configuration of a fixed network architecture that maximizes accuracy. Using iterative pruning methods as a proxy, we parameterize the change of the neuron (filter) number of each layer with respect to the change in parameters, allowing us to efficiently scale an architecture across arbitrary sizes. We also introduce architecture descent which iteratively refines the parameterized function used for model scaling. The combination of both proposed methods is coined as NeuralScale. To prove the efficiency of NeuralScale in terms of parameters, we show empirical simulations on VGG11, MobileNetV2 and ResNet18 using CIFAR10, CIFAR100 and TinyImageNet as benchmark datasets. Our results show an increase in accuracy of 3.04%, 8.56% and 3.41% for VGG11, MobileNetV2 and ResNet18 on CIFAR10, CIFAR100 and TinyImageNet respectively under a parameter-constrained setting (output neurons (filters) of default configuration with scaling factor of 0.25).


title: $L$-retracts

abstract: We study the relation of $L$-equivalence, which derives from the construction of the free locally convex spaces, through a concept that particularizes several notions related to the simultaneous extension of continuous functions. We also explore the relationship that this concept has with the Dugundji's extension theorem, and, based on this theorem we give sufficient conditions that allow us to identify these sets in different types of topological spaces. In particular, we present a method for constructing examples of $L$-equivalent mappings (and hence $L$-equivalent spaces) that show that the properties of being an open or closed mapping are not $L$-invariant.


title: diffstrata -- a Sage package for calculations in the tautological ring of the moduli space of Abelian differentials

abstract: The boundary of the multi-scale differential compactification of strata of abelian differentials admits an explicit combinatorial description. However, even for low-dimensional strata, the complexity of the boundary requires use of a computer. We give a description of the algorithms implemented in the SageMath package diffstrata to enumerate the boundary components and perform intersection theory on this space. In particular, the package can compute the Euler characteristic of strata using the methods developed by the same authors in [CMZ20].


title: Inductive Unsupervised Domain Adaptation for Few-Shot Classification via Clustering

abstract: Few-shot classification tends to struggle when it needs to adapt to diverse domains. Due to the non-overlapping label space between domains, the performance of conventional domain adaptation is limited. Previous work tackles the problem in a transductive manner, by assuming access to the full set of test data, which is too restrictive for many real-world applications. In this paper, we set out to tackle this issue by introducing a inductive framework, DaFeC, to improve Domain adaptation performance for Few-shot classification via Clustering. We first build a representation extractor to derive features for unlabeled data from the target domain (no test data is necessary) and then group them with a cluster miner. The generated pseudo-labeled data and the labeled source-domain data are used as supervision to update the parameters of the few-shot classifier. In order to derive high-quality pseudo labels, we propose a Clustering Promotion Mechanism, to learn better features for the target domain via Similarity Entropy Minimization and Adversarial Distribution Alignment, which are combined with a Cosine Annealing Strategy. Experiments are performed on the FewRel 2.0 dataset. Our approach outperforms previous work with absolute gains (in classification accuracy) of 4.95%, 9.55%, 3.99% and 11.62%, respectively, under four few-shot settings.


title: Optical harmonic generation on the exciton-polariton in ZnSe

abstract: We study optical harmonic generation on the 1S exciton-polariton in the semiconductor ZnSe. Intense and spectrally narrow exciton resonances are found in optical second (SHG), third (THG), and fourth (FHG) harmonic generation spectra. The resonances are shifted to higher energy by 3.2 meV from the exciton energy in the linear reflectivity spectrum. Additional resonances are observed in the THG and FHG spectra and assigned to combinations of incident and backscattered photons in the crystal. Rotational anisotropy diagrams are measured and further information on the origin of the optical harmonic generation and the involved exciton states is obtained by a symmetry analysis using group theory in combination with a microscopic consideration.


title: Steering alkyne homocoupling with on-surface synthesized catalysts

abstract: We report a multi-step on-surface synthesis strategy. The first step consists in the surface-supported synthesis of metal-organic complexes, which are subsequently used as catalysts to steer on-surface alkyne coupling reactions. In addition, we analyze and compare the electronic properties of the different coupling motifs obtained.


title: Distributed Subgraph Enumeration via Backtracking-based Framework

abstract: Finding or monitoring subgraph instances that are isomorphic to a given pattern graph in a data graph is a fundamental query operation in many graph analytic applications, such as network motif mining and fraud detection. The state-of-the-art distributed methods are inefficient in communication. They have to shuffle partial matching results during the distributed multiway join. The partial matching results may be much larger than the data graph itself. To overcome the drawback, we develop the Batch-BENU framework (B-BENU) for distributed subgraph enumeration. B-BENU executes a group of local search tasks in parallel. Each task enumerates subgraphs around a vertex in the data graph, guided by a backtracking-based execution plan. B-BENU does not shuffle any partial matching result. Instead, it stores the data graph in a distributed database. Each task queries adjacency sets of the data graph on demand. To support dynamic data graphs, we propose the concept of incremental pattern graphs and turn continuous subgraph enumeration into enumerating incremental pattern graphs at each time step. We develop the Streaming-BENU framework (S-BENU) to enumerate their matches efficiently. We implement B-BENU and S-BENU with the local database cache and the task splitting techniques. The extensive experiments show that B-BENU and S-BENU can scale to big data graphs and complex pattern graphs. They outperform the state-of-the-art methods by up to one and two orders of magnitude, respectively.


title: A Note on the Cross-Correlation of Costas Permutations

abstract: We build on the work of Drakakis et al. (2011) on the maximal cross-correlation of the families of Welch and Golomb Costas permutations. In particular, we settle some of their conjectures. More precisely, we prove two results. First, for a prime $p\ge 5$, the maximal cross-correlation of the family of the $\varphi(p-1)$ different Welch Costas permutations of $\{1,\ldots,p-1\}$ is $(p-1)/t$, where $t$ is the smallest prime divisor of $(p-1)/2$ if $p$ is not a safe prime and at most $1+p^{1/2}$ otherwise. Here $\varphi$ denotes Euler's totient function and a prime $p$ is a safe prime if $(p-1)/2$ is also prime. Second, for a prime power $q\ge 4$ the maximal cross-correlation of a subfamily of Golomb Costas permutations of $\{1,\ldots,q-2\}$ is $(q-1)/t-1$ if $t$ is the smallest prime divisor of $(q-1)/2$ if $q$ is odd and of $q-1$ if $q$ is even provided that $(q-1)/2$ and $q-1$ are not prime, and at most $1+q^{1/2}$ otherwise. Note that we consider a smaller family than Drakakis et al. Our family is of size $\varphi(q-1)$ whereas there are $\varphi(q-1)^2$ different Golomb Costas permutations. The maximal cross-correlation of the larger family given in the tables of Drakakis et al. is larger than our bound (for the smaller family) for some $q$.


title: The ARCiS framework for Exoplanet Atmospheres: Modelling Philosophy and Retrieval

abstract: Aims: ARCiS, a novel code for the analysis of exoplanet transmission and emission spectra is presented. The aim of the modelling framework is to provide a tool able to link observations to physical models of exoplanet atmospheres. Methods: The modelling philosophy chosen in this paper is to use physical and chemical models to constrain certain parameters while keeping free the parts where our physical understanding is still more limited. This approach, in between full physical modelling and full parameterisation, allows us to use the processes we understand well and parameterise those less understood. A Bayesian retrieval framework is implemented and applied to the transit spectra of a set of 10 hot Jupiters. The code contains chemistry and cloud formation and has the option for self consistent temperature structure computations. Results: The code presented is fast and flexible enough to be used for retrieval and for target list simulations for e.g. JWST or the ESA Ariel missions. We present results for the retrieval of elemental abundance ratios using the physical retrieval framework and compare this to results obtained using a parameterised retrieval setup. Conclusions: We conclude that for most of the targets considered the current dataset is not constraining enough to reliably pin down the elemental abundance ratios. We find no significant correlations between different physical parameters. We confirm that planets in our sample with a strong slope in the optical transmission spectrum are the planets where we find cloud formation to be most active. Finally, we conclude that with ARCiS we have a computationally efficient tool to analyse exoplanet observations in the context of physical and chemical models.


title: Counterfactual Explanations of Concept Drift

abstract: The notion of concept drift refers to the phenomenon that the distribution, which is underlying the observed data, changes over time; as a consequence machine learning models may become inaccurate and need adjustment. While there do exist methods to detect concept drift or to adjust models in the presence of observed drift, the question of explaining drift has hardly been considered so far. This problem is of importance, since it enables an inspection of the most prominent features where drift manifests itself; hence it enables human understanding of the necessity of change and it increases acceptance of life-long learning models. In this paper we present a novel technology, which characterizes concept drift in terms of the characteristic change of spatial features represented by typical examples based on counterfactual explanations. We establish a formal definition of this problem, derive an efficient algorithmic solution based on counterfactual explanations, and demonstrate its usefulness in several examples.


title: Knot theory for two-band model of two-dimensional square lattice with high topological numbers

abstract: A knot theory for two-dimensional square lattice is proposed, which sheds light on design of new two-dimensional material with high topological numbers. We consider a two-band model, focusing on the Hall conductance {\sigma}xy = e^2/hbar*P, where P is a topological number, the so-called Pontrjagin index. By re-interpreting the periodic momentum components kx and ky as the string parameters of two entangled knots, we discover that P becomes the Gauss linking number between the knots. This leads to a successful re-derivation of the typical P-evaluations in literature: P = 0;{\pm}1. Furthermore, with the aid of this explicit knot theoretical picture we modify the two-band model to achieve higher topological numbers, P = 0;{\pm}1;{\pm}2.


title: Quantum corrected gravitational potential beyond monopole-monopole interactions

abstract: We investigate spin- and velocity-dependent contributions to the gravitational inter-particle potential. The methodology adopted here is based on the expansion of the effective action in terms of form factors encoding quantum corrections. Restricting ourselves to corrections up to the level of the graviton propagator, we compute, in terms of general form factors, the non-relativistic gravitational potential associated with the scattering of spin-0 and -1/2 particles. We discuss comparative aspects concerning different types of scattered particles and we also establish some comparisons with the case of electromagnetic potentials. Moreover, we apply our results to explicit examples of form factors based on non-perturbative approaches for quantum gravity. Finally, the cancellation of Newtonian singularity is analysed in the presence of terms beyond the monopole-monopole sector.


title: Equivalence of 'Reversible' and 'Irreversible' Entropy Modeling

abstract: There are currently two main, continuum models of entropy: a 'reversible' (Clausius) entropy model and an 'irreversible' (Onsager-Prigogine) entropy model. It is shown that the equations of the 'reversible' and the 'irreversible' entropy models are equivalent with respect to entropy accumulation - which entails same values of entropy change and, thus, same values of entropy. The equivalence of the equations of the 'reversible' and the 'irreversible' entropy models entails that the equations have the same domain, which contradicts the domain of the 'second fundamental equation' of the 'reversible' entropy model, dS = dQ/T, being and the domains of the equations of the 'irreversible' entropy model not being restricted to 'reversible' phenomena. Several examples - conceptual, numerical and by practical engineering software - show that the domain of the equation dS = dQ/T is not restricted to 'reversible' phenomena. This is consistent with no experimental or observational evidence for equation dS = dQ/T not holding true for not 'reversible' phenomena - which is the fundamental proposition of the 'reversible' entropy model. The main implication of the equivalence of the two entropy models is a signification simplification of the language used in the context of entropy modeling.


title: Canonical double covers of circulants

abstract: The canonical double cover $B(X)$ of a graph $X$ is the direct product of $X$ and $K_2$. If $Aut(B(X)) \cong Aut(X) \times \mathbb{Z}_2$ then $X$ is called stable; otherwise $X$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. Circulant is a Cayley graph on a cyclic group. Qin et al. conjectured in [J. Combin. Theory Ser. B 136 (2019), 154-169] that there are no nontrivialy unstable circulants of odd order. In this paper we prove this conjecture.


title: Approximations of Lyapunov functions for ISS analysis of a class of nonlinear parabolic PDEs

abstract: This paper addresses the input-to-state stability (ISS) and integral input-to-state stability (iISS) for a class of nonlinear higher dimensional parabolic partial differential equations (PDEs) with different types of boundary disturbances (Robin or Neumann or Dirichlet) from different spaces by means of approximations of Lyapunov functions. Specifically, by constructing approximations of (coercive and non-coercive) ISS Lyapunov functions we establish: (i) the ISS and iISS in $L^1$-norm (and weighted $L^1$-norm) for PDEs with boundary disturbances from $L^q_{loc}(\mathbb{R}_+;L^1(\partial\Omega))$-space for any $q\in [1,+\infty]$; (ii) the iISS in $L^1$-norm (and weighted $L^1$-norm) for PDEs with boundary disturbances from $L^\Phi_{loc}(\mathbb{R}_+;L^1(\partial\Omega))$-space for certain Young function $\Phi$; and (iii) the ISS and iISS in $L^\Phi$-norm (and weighted $K_\Phi$-class) for PDEs with boundary disturbances from $L^q_{loc}(\mathbb{R}_+;K_\Phi(\partial\Omega))$-class for any $q\in [1,+\infty]$ and certain Young function $\Phi$. The ISS properties stated in (ii) and (iii) are assessed in the framework of Orlicz space or Orlicz class.


title: Acoustic analogue of Hawking radiation in quantized circular superflows of Bose-Einstein condensates

abstract: We propose emulation of Hawking radiation (HR) by means of acoustic excitations propagating on top of persistent current in an atomic Bose-Einstein condensate (BEC) loaded in an annular confining potential. The setting is initially created as a spatially uniform one, and then switches into a nonuniform configuration, while maintaining uniform BEC density. The eventual setting admits the realization of sonic black and white event horizons with different slopes of the local sound speed. A smooth slope near the white-hole horizon suppresses instabilities in the supersonic region. It is found that tongue-shaped patterns of the density-density correlation function, which represent the acoustic analog of HR, are strongly affected by the radius of the ring-shaped configuration and number of discrete acoustic modes admitted by it. There is a minimum radius that enables the emulation of HR. We also briefly discuss a possible similarity of properties of the matter-wave sonic black holes to the known puzzle of the stability of Planck-scale primordial black holes in quantum gravity.


title: Does the disk in the hard state of XTE J1752-223 extend to the innermost stable circular orbit?

abstract: The accreting black-hole binary XTE J1752--223 was observed in a stable hard state for 25 d by RXTE, yielding a 3--140 keV spectrum of unprecedented statistical quality. Its published model required a single Comptonization spectrum reflecting from a disk close to the innermost stable circular orbit. We studied that model as well as a number of other single-Comptonization models (yielding similarly low inner radii), but found they violate a number of basic physical constraints, e.g., their compactness is much above the maximum allowed by pair equilibrium. We also studied the contemporaneous 0.55--6 keV spectrum from the Swift/XRT and found it well fitted by an absorbed power law and a disk blackbody with the innermost temperature of 0.1 keV. The normalization of the disk blackbody corresponds to an inner radius of $\gtrsim$20 gravitational radii and its temperature, to irradiation of the truncated disk by a hot inner flow. We have also developed a Comptonization/reflection model including the disk irradiation and intrinsic dissipation, but found that it does not yield any satisfactory fits. On the other hand, we found that the $\leq$10 keV band from RXTE is much better fitted by a reflection from a disk with the inner radius $\gtrsim$100 gravitational radii, which model then underpredicts the spectrum at $>$10 keV by $<$10%. We argue that the most plausible explanation of the above results is inhomogeneity of the source, with the local spectra hardening with the decreasing radius. Our results support the presence of a complex Comptonization region and a large disk truncation radius in this source.


title: Extension of Direct Feedback Alignment to Convolutional and Recurrent Neural Network for Bio-plausible Deep Learning

abstract: Throughout this paper, we focus on the improvement of the direct feedback alignment (DFA) algorithm and extend the usage of the DFA to convolutional and recurrent neural networks (CNNs and RNNs). Even though the DFA algorithm is biologically plausible and has a potential of high-speed training, it has not been considered as the substitute for back-propagation (BP) due to the low accuracy in the CNN and RNN training. In this work, we propose a new DFA algorithm for BP-level accurate CNN and RNN training. Firstly, we divide the network into several modules and apply the DFA algorithm within the module. Second, the DFA with the sparse backward weight is applied. It comes with a form of dilated convolution in the CNN case, and in a form of sparse matrix multiplication in the RNN case. Additionally, the error propagation method of CNN becomes simpler through the group convolution. Finally, hybrid DFA increases the accuracy of the CNN and RNN training to the BP-level while taking advantage of the parallelism and hardware efficiency of the DFA algorithm.


title: SIAT: A Systematic Inter-Component Communication Analysis Technology for Detecting Threats on Android

abstract: In this paper, we present the design and implementation of a Systematic Inter-Component Communication Analysis Technology (SIAT) consisting of two key modules: \emph{Monitor} and \emph{Analyzer}. As an extension to the Android operating system at framework layer, the \emph{Monitor} makes the first attempt to revise the taint tag approach named TaintDroid both at method-level and file-level, to migrate it to the app-pair ICC paths identification through systemwide tracing and analysis of taint in intent both at the data flow and control flow. By taking over the taint logs offered by the \emph{Monitor}, the \emph{Analyzer} can build the accurate and integrated ICC models adopted to identify the specific threat models with the detection algorithms and predefined rules. Meanwhile, we employ the models' deflation technology to improve the efficiency of the \emph{Analyzer}. We implement the SIAT with Android Open Source Project and evaluate its performance through extensive experiments on well-known datasets and real-world apps. The experimental results show that, compared to state-of-the-art approaches, the SIAT can achieve about 25\%$\sim$200\% accuracy improvements with 1.0 precision and 0.98 recall at the cost of negligible runtime overhead. Moreover, the SIAT can identify two undisclosed cases of bypassing that prior technologies cannot detect and quite a few malicious ICC threats in real-world apps with lots of downloads on the Google Play market.


title: Weak Lensing Skew-Spectrum

abstract: We introduce the skew-spectrum statistic for weak lensing convergence $\kappa$ maps and test it against state-of-the-art high-resolution all-sky numerical simulations. We perform the analysis as a function of source redshift and smoothing angular scale for individual tomographic bins. We also analyse the cross-correlation between different tomographic bins. We compare the numerical results to fitting-functions used to model the bispectrum of the underlying density field as a function of redshift and scale. We derive a closed form expression for the skew-spectrum for gravity-induced secondary non-Gaussianity. We also compute the skew-spectrum for the projected $\kappa$ inferred from Cosmic Microwave Background (CMB) studies. As opposed to the low redshift case we find the post-Born corrections to be important in the modelling of the skew-spectrum for such studies. We show how the presence of a mask and noise can be incorporated in the estimation of a skew-spectrum.


title: The Weyl -- Wigner -- Moyal Formalism on a Discrete Phase Space. II. The Photon Wigner Function

abstract: Classical model of light in helicity formalism is presented. Then quantum point of view at photons -- construction and interpretation of photon wave function is proposed. Quantum mechanics of photon is investigated. The Bia\l ynicki -- Birula scalar product $\langle {\bf \Psi}_{1}|{\bf \Psi}_{2}\rangle_{BB}$ and the generalized Hermitian conjugation $\widehat{\gamma}^{+\hspace{-0.45em}+}$ of linear operator $\widehat{\gamma}$ are discussed. Quantum description of light on a phase space is developed. A photon Wigner function is built.


title: Sparse-RS: a versatile framework for query-efficient sparse black-box adversarial attacks

abstract: We propose a versatile framework based on random search, Sparse-RS, for score-based sparse targeted and untargeted attacks in the black-box setting. Sparse-RS does not rely on substitute models and achieves state-of-the-art success rate and query efficiency for multiple sparse attack models: $l_0$-bounded perturbations, adversarial patches, and adversarial frames. The $l_0$-version of untargeted Sparse-RS outperforms all black-box and even all white-box attacks for different models on MNIST, CIFAR-10, and ImageNet. Moreover, our untargeted Sparse-RS achieves very high success rates even for the challenging settings of $20\times20$ adversarial patches and $2$-pixel wide adversarial frames for $224\times224$ images. Finally, we show that Sparse-RS can be applied to generate targeted universal adversarial patches where it significantly outperforms the existing approaches. The code of our framework is available at https://github.com/fra31/sparse-rs.


title: Using gradient boosting regression to improve ambient solar wind model predictions

abstract: Studying the ambient solar wind, a continuous pressure-driven plasma flow emanating from our Sun, is an important component of space weather research. The ambient solar wind flows in interplanetary space determine how solar storms evolve through the heliosphere before reaching Earth, and especially during solar minimum are themselves a driver of activity in the Earth's magnetic field. Accurately forecasting the ambient solar wind flow is therefore imperative to space weather awareness. Here we present a machine learning approach in which solutions from magnetic models of the solar corona are used to output the solar wind conditions near the Earth. The results are compared to observations and existing models in a comprehensive validation analysis, and the new model outperforms existing models in almost all measures. In addition, this approach offers a new perspective to discuss the role of different input data to ambient solar wind modeling, and what this tells us about the underlying physical processes. The final model discussed here represents an extremely fast, well-validated and open-source approach to the forecasting of ambient solar wind at Earth.


title: Momentum and pressure balance of a comet ionosphere

abstract: We calculate the momentum flux and pressure of ions measured by the Ion Composition Analyzer (ICA) on the Rosetta mission at comet 67P/Churyumov-Gerasimenko. The total momentum flux stays roughly constant over the mission, but the contributions of different ion populations change depending on heliocentric distance. The magnetic pressure, calculated from Rosetta magnetometer measurements, roughly corresponds with the cometary ion momentum flux. When the spacecraft enters the solar wind ion cavity, the solar wind fluxes drop drastically, while the cometary momentum flux becomes roughly ten times the solar wind fluxes outside of the ion cavity, indicating that pickup ions behave similarly to the solar wind ions in this region. We use electron density from the Langmuir probe to calculate the electron pressure, which is particularly important close to the comet nucleus where flow changes from antisunward to radially outward.


title: SWAG: A Wrapper Method for Sparse Learning

abstract: The majority of machine learning methods and algorithms give high priority to prediction performance which may not always correspond to the priority of the users. In many cases, practitioners and researchers in different fields, going from engineering to genetics, require interpretability and replicability of the results especially in settings where, for example, not all attributes may be available to them. As a consequence, there is the need to make the outputs of machine learning algorithms more interpretable and to deliver a library of "equivalent" learners (in terms of prediction performance) that users can select based on attribute availability in order to test and/or make use of these learners for predictive/diagnostic purposes. To address these needs, we propose to study a procedure that combines screening and wrapper approaches which, based on a user-specified learning method, greedily explores the attribute space to find a library of sparse learners with consequent low data collection and storage costs. This new method (i) delivers a low-dimensional network of attributes that can be easily interpreted and (ii) increases the potential replicability of results based on the diversity of attribute combinations defining strong learners with equivalent predictive power. We call this algorithm "Sparse Wrapper AlGorithm" (SWAG).


title: Analytic Solution to the Piecewise Linear Interface Construction Problem and its Application in Curvature Calculation for Volume-of-Fluid Simulation Codes

abstract: The plane-cube intersection problem has been around in literature since 1984 and iterative solutions to it have been used as part of piecewise linear interface construction (PLIC) in computational fluid dynamics simulation codes ever since. In many cases, PLIC is the bottleneck of these simulations regarding compute time, so a faster, analytic solution to the plane-cube intersection would greatly reduce compute time for such simulations. We derive an analytic solution for all intersection cases and compare it to the one previous solution from Scardovelli and Zaleski (Ruben Scardovelli and Stephane Zaleski. "Analytical relations connecting linear interfaces and volume fractions in rectangular grids". In: Journal of Computational Physics 164.1 (2000), pp. 228-237.), which we further improve to include edge cases and micro-optimize to reduce arithmetic operations and branching. We then extend our comparison regarding compute time and accuracy to include two different iterative solutions as well. We find that the best choice depends on the employed hardware platform: on the CPU, Newton-Raphson is fastest with vectorization while analytic solutions perform better without. The reason for this is that vectorization instruction sets do not include trigonometric functions as used in the analytic solutions. On the GPU, the fastest method is our optimized version of the analytic SZ solution. We finally provide details on one of the applications of PLIC: curvature calculation for the Volume-of-Fluid model used for free surface fluid simulations in combination with the lattice Boltzmann method.


title: Conditional independence testing via weighted partial copulas and nearest neighbors

abstract: This paper introduces the \textit{weighted partial copula} function for testing conditional independence. The proposed test procedure results from these two ingredients: (i) the test statistic is an explicit Cramer-von Mises transformation of the \textit{weighted partial copula}, (ii) the regions of rejection are computed using a bootstrap procedure which mimics conditional independence by generating samples from the product measure of the estimated conditional marginals. Under conditional independence, the weak convergence of the \textit{weighted partial copula proces}s is established when the marginals are estimated using a smoothed local linear estimator. Finally, an experimental section demonstrates that the proposed test has competitive power compared to recent state-of-the-art methods such as kernel-based test.


title: Spatially dispersing Yu-Shiba-Rusinov states in the unconventional superconductor $\mathrm{FeTe}_{0.55}\mathrm{Se}_{0.45}$

abstract: By using scanning tunneling microscopy (STM) we find and characterize dispersive, energy-symmetric in-gap states in the iron-based superconductor $\mathrm{FeTe}_{0.55}\mathrm{Se}_{0.45}$, a material that exhibits signatures of topological superconductivity, and Majorana bound states at vortex cores or at impurity locations. We use a superconducting STM tip for enhanced energy resolution, which enables us to show that impurity states can be tuned through the Fermi level with varying tip-sample distance. We find that the impurity state is of the Yu-Shiba-Rusinov (YSR) type, and argue that the energy shift is caused by the low superfluid density in $\mathrm{FeTe}_{0.55}\mathrm{Se}_{0.45}$, which allows the electric field of the tip to slightly penetrate the sample. We model the newly introduced tip-gating scenario within the single-impurity Anderson model and find good agreement to the experimental data.


title: Online Multi-agent Reinforcement Learning for Decentralized Inverter-based Volt-VAR Control

abstract: The distributed Volt/Var control (VVC) methods have been widely studied for active distribution networks(ADNs), which is based on perfect model and real-time P2P communication. However, the model is always incomplete with significant parameter errors and such P2P communication system is hard to maintain. In this paper, we propose an online multi-agent reinforcement learning and decentralized control framework (OLDC) for VVC. In this framework, the VVC problem is formulated as a constrained Markov game and we propose a novel multi-agent constrained soft actor-critic (MACSAC) reinforcement learning algorithm. MACSAC is used to train the control agents online, so the accurate ADN model is no longer needed. Then, the trained agents can realize decentralized optimal control using local measurements without real-time P2P communication. The OLDC with MACSAC has shown extraordinary flexibility, efficiency and robustness to various computing and communication conditions. Numerical simulations on IEEE test cases not only demonstrate that the proposed MACSAC outperforms the state-of-art learning algorithms, but also support the superiority of our OLDC framework in the online application.


title: Compressing phase space detects state changes in nonlinear dynamical systems

abstract: Equations governing the nonlinear dynamics of complex systems are usually unknown and indirect methods are used to reconstruct their manifolds. In turn, they depend on embedding parameters requiring other methods and long temporal sequences to be accurate. In this paper, we show that an optimal reconstruction can be achieved by lossless compression of system's time course, providing a self-consistent analysis of its dynamics and a measure of its complexity, even for short sequences. Our measure of complexity detects system's state changes such as weak synchronization phenomena, characterizing many systems, in one step, integrating results from Lyapunov and fractal analysis.


title: A Comparative Study of Gamma Markov Chains for Temporal Non-Negative Matrix Factorization

abstract: Non-negative matrix factorization (NMF) has become a well-established class of methods for the analysis of non-negative data. In particular, a lot of effort has been devoted to probabilistic NMF, namely estimation or inference tasks in probabilistic models describing the data, based for example on Poisson or exponential likelihoods. When dealing with time series data, several works have proposed to model the evolution of the activation coefficients as a non-negative Markov chain, most of the time in relation with the Gamma distribution, giving rise to so-called temporal NMF models. In this paper, we review four Gamma Markov chains of the NMF literature, and show that they all share the same drawback: the absence of a well-defined stationary distribution. We then introduce a fifth process, an overlooked model of the time series literature named BGAR(1), which overcomes this limitation. These temporal NMF models are then compared in a MAP framework on a prediction task, in the context of the Poisson likelihood.


title: Averaging with a time-dependent perturbation parameter

abstract: Motivated by recent problems in mathematical cosmology, in which temporal averaging methods are applied in order to analyze the future asymptotics of models which exhibit oscillatory behavior, we provide a theorem concerning the large-time behavior for solutions of a general class of systems. We thus propose our result to be applicable to a wide range of problems in spatially homogenous cosmology with oscillatory behavior. Mathematically the theorem builds upon the standard theory of averaging in non-linear dynamical systems.


title: Efficient Inference of Flexible Interaction in Spiking-neuron Networks

abstract: Hawkes process provides an effective statistical framework for analyzing the time-dependent interaction of neuronal spiking activities. Although utilized in many real applications, the classic Hawkes process is incapable of modelling inhibitory interactions among neurons. Instead, the nonlinear Hawkes process allows for a more flexible influence pattern with excitatory or inhibitory interactions. In this paper, three sets of auxiliary latent variables (P\'{o}lya-Gamma variables, latent marked Poisson processes and sparsity variables) are augmented to make functional connection weights in a Gaussian form, which allows for a simple iterative algorithm with analytical updates. As a result, an efficient expectation-maximization (EM) algorithm is derived to obtain the maximum a posteriori (MAP) estimate. We demonstrate the accuracy and efficiency performance of our algorithm on synthetic and real data. For real neural recordings, we show our algorithm can estimate the temporal dynamics of interaction and reveal the interpretable functional connectivity underlying neural spike trains.


title: Quantifying the spatial resolution of the maximum a posteriori estimate in linear, rank-deficient, Bayesian hard field tomography

abstract: Image based diagnostics are interpreted in the context of spatial resolution. The same is true for tomographic image reconstruction. Current empirically driven approaches to quantify spatial resolution rely on a deterministic formulation based on point-spread functions which neglect the statistical prior information, that is integral to rank-deficient tomography. We propose a statistical spatial resolution measure based on the covariance of the reconstruction (point estimate) and show that the prior information acts as a lower limit for the spatial resolution. Furthermore, the spatial resolution measure can be employed for designing tomographic systems under consideration of spatial inhomogeneity of spatial resolution.


title: Real Time Speech Enhancement in the Waveform Domain

abstract: We present a causal speech enhancement model working on the raw waveform that runs in real-time on a laptop CPU. The proposed model is based on an encoder-decoder architecture with skip-connections. It is optimized on both time and frequency domains, using multiple loss functions. Empirical evidence shows that it is capable of removing various kinds of background noise including stationary and non-stationary noises, as well as room reverb. Additionally, we suggest a set of data augmentation techniques applied directly on the raw waveform which further improve model performance and its generalization abilities. We perform evaluations on several standard benchmarks, both using objective metrics and human judgements. The proposed model matches state-of-the-art performance of both causal and non causal methods while working directly on the raw waveform.


title: Quantum machines powered by correlated baths

abstract: We consider thermal machines powered by locally equilibrium reservoirs that share classical or quantum correlations. The reservoirs are modelled by the so-called collisional model or repeated interactions model. In our framework, two reservoir particles, initially prepared in a thermal state, are correlated through a unitary transformation and afterwards interact locally with the two quantum subsystems which form the working fluid. For a particular class of unitaries, we show how the transformation applied to the reservoir particles affects the amount of heat transferred and the work produced. We then compute the distribution of heat and work when the unitary is chosen randomly, proving that the total swap transformation is the optimal one. Finally, we analyse the performance of the machines in terms of classical and quantum correlations established among the microscopic constituents of the machine.


title: Frictionless motion of lattice defects

abstract: Energy dissipation by fast crystalline defects takes place mainly through the resonant interaction of their cores with periodic lattice. We show that the resultant effective friction can be reduced to zero by appropriately tuned acoustic sources located on the boundary of the body. To illustrate the general idea, we consider three prototypical models describing the main types of strongly discrete defects: dislocations, cracks and domain walls. The obtained control protocols, ensuring dissipation-free mobility of topological defects, can be also used in the design of meta-material systems aimed at transmitting mechanical information.


title: Real-time Control of Battery Energy Storage Systems to Provide Ancillary Services Considering Voltage-Dependent Capability of DC-AC Converters

abstract: Frequency response and voltage support are vital ancillary services for power grids. In this paper, we design and experimentally validate a real-time control framework for battery energy storage systems (BESSs) to provide ancillary services to power grids. The objective of the control system is to utilize the full capability of the BESSs to provide ancillary services. We take the voltage-dependent capability curve of the DC-AC converter and the security requirements of BESSs as constraints of the control system. The initial power set-points are obtained based on the droop control approach. To guarantee the feasibility of the power set-points with respect to both the converter capability and BESS security constraints, the final power set-points calculation is formulated as a nonconvex optimization problem. A convex and computationally efficient reformulation of the original control problem is then proposed. We prove that the proposed convex optimization gives the global optimal solution to the original nonconvex problem. We improve the computational performance of this algorithm by discretizing the feasible region of the optimization model. We achieve a 100 ms update time of the controller setpoint computation in the experimental validation of the utility-scale 720 kVA / 560 kWh BESS on the EPFL campus.


title: Travelling wave solutions of the density-suppressed motility model

abstract: In this paper, we study the traveling wave solutions to the density-suppressed motility model describing the ``self-trapping'' mechanism that induces spatio-temporal pattern formations observed in the experiment. We establish the existence of traveling wavefronts with a minimal wave speed and discuss the selection of wave profiles supplemented with numerical simulations illustrating the wave patterns which are well consistent with experimental observations.


title: Scale-Space Autoencoders for Unsupervised Anomaly Segmentation in Brain MRI

abstract: Brain pathologies can vary greatly in size and shape, ranging from few pixels (i.e. MS lesions) to large, space-occupying tumors. Recently proposed Autoencoder-based methods for unsupervised anomaly segmentation in brain MRI have shown promising performance, but face difficulties in modeling distributions with high fidelity, which is crucial for accurate delineation of particularly small lesions. Here, similar to these previous works, we model the distribution of healthy brain MRI to localize pathologies from erroneous reconstructions. However, to achieve improved reconstruction fidelity at higher resolutions, we learn to compress and reconstruct different frequency bands of healthy brain MRI using the laplacian pyramid. In a range of experiments comparing our method to different State-of-the-Art approaches on three different brain MR datasets with MS lesions and tumors, we show improved anomaly segmentation performance and the general capability to obtain much more crisp reconstructions of input data at native resolution. The modeling of the laplacian pyramid further enables the delineation and aggregation of lesions at multiple scales, which allows to effectively cope with different pathologies and lesion sizes using a single model.


title: Investigation on radiation generated by Sub-GeV electrons in ultrashort Si and Ge bent crystals

abstract: We report on the measurements of the spectra of gamma radiation generated by 855 MeV electrons in bent silicon and germanium crystals at MAMI (MAinzer MIkrotron). The crystals were 15 {\mu}m thick along the beam direction to ensure high deflection efficiency. Their (111) crystalline planes were bent by means of a piezo-actuated mechanical holder, which allowed to remotely change the crystal curvature. In such a way it was possible to investigate the radiation emitted under planar channeling and volume reflection as a function of the curvature of the crystalline planes. We show that using volume reflection, one can produce intense gamma radiation with comparable intensity but higher angular acceptance than for channeling. We studied the trade-off between radiation intensity and angular acceptance at different values of the crystal curvature. The measurements of radiation spectra have been carried out for the first time in bent Germanium crystals. In particular, the intensity of radiation in the Ge crystal is higher than in the Si one due to the higher atomic number, which is important for the development of the X-ray and gamma radiation sources based on higher-Z deformed crystals, such as crystalline undulator.


title: Electron doping of the layered nickelate La$_4$Ni$_3$O$_{10}$ by aluminum substitution: A combined experimental and DFT study

abstract: The physical properties of La$_4$Ni$_3$O$_{10}$ with a 2D-like Ruddlesden-Popper-type crystal structure are extraordinarily dependent on temperature and chemical substitution. By introducing Al$^{3+}$ atoms ($x$) randomly at the Ni-sites, the average oxidation state for the two non-equivalent Ni-cations is tuned and adopt values below the average of +2.67 in La$_4$Ni$_3$O$_{10}$. La$_4$Ni$_{3-x}$Al$_x$O$_{10}$ is a solid solution for $x=0.00$ to 1.00, and are prepared by the citric acid method. The samples adopt a slightly distorted monoclinic structure (P21/a), evidenced by peak broadening of the (117) reflection. We report on a remarkable effect on the electronic properties induced by tiny amounts of homogeneously distributed Al-cations, with clear correspondence between resistivity, magnetization, diffraction, and DFT data. DFT shows that electronically there is no significant difference between the non-equivalent Ni atoms and no tendency towards any Ni$^{3+}$/Ni$^{2+}$ charge ordering. The electron doping via Al-substitution has a profound effect on electric and magnetic properties. The resistivity changes from metallic to semiconducting with increasing band-gap at higher Al-levels, consistent with results from DFT. The metal-to-metal transition reported for La$_4$Ni$_3$O$_{10}$, which is often interpreted as a charge density wave, is maintained until $x = 0.15$ Al-level. However, the temperature characteristics of the resistivity change already at very low Al-levels (below 0.03). A coupling of the metal-to-metal transition to the lattice is evidenced by an anomaly in the unit cell dimensions. No long-range magnetic order is detected by powder neutron diffraction. The introduction of the non-magnetic Al$^{3+}$ changes the Ni$^{3+}$/Ni$^{2+}$ ratio and is likely to block double-exchange pathways by means of -Ni-O-Al-O-Ni- fragments into the network of corner shared octahedra with the emergence of possible short-range order in ferromagnetic like islands.


title: Probing Surface-Bound Atoms with Quantum Nanophotonics

abstract: Quantum control of atoms at ultrashort distances from surfaces would open a new paradigm in quantum optics and offer a novel tool for the investigation of near-surface physics. Here, we investigate the motional states of atoms that are bound weakly to the surface of a hot optical nanofiber. We theoretically demonstrate that with optimized mechanical properties of the nanofiber these states are quantized despite phonon-induced decoherence. We further show that it is possible to influence their properties with additional nanofiber-guided light fields and suggest heterodyne fluorescence spectroscopy to probe the spectrum of the quantized atomic motion. Extending the optical control of atoms to smaller atom-surface separations could create opportunities for quantum communication and instigate the convergence of surface physics, quantum optics, and the physics of cold atoms.


title: PRIPEL: Privacy-Preserving Event Log Publishing Including Contextual Information

abstract: Event logs capture the execution of business processes in terms of executed activities and their execution context. Since logs contain potentially sensitive information about the individuals involved in the process, they should be pre-processed before being published to preserve the individuals' privacy. However, existing techniques for such pre-processing are limited to a process' control-flow and neglect contextual information, such as attribute values and durations. This thus precludes any form of process analysis that involves contextual factors. To bridge this gap, we introduce PRIPEL, a framework for privacy-aware event log publishing. Compared to existing work, PRIPEL takes a fundamentally different angle and ensures privacy on the level of individual cases instead of the complete log. This way, contextual information as well as the long tail process behaviour are preserved, which enables the application of a rich set of process analysis techniques. We demonstrate the feasibility of our framework in a case study with a real-world event log.


title: Tensor-network strong-disorder renormalization groups for random quantum spin systems in two dimensions

abstract: Novel randomness-induced disordered ground states in two-dimensional (2D) quantum spin systems have been attracting much interest. For quantitative analysis of such random quantum spin systems, one of the most promising numerical approaches is the tensor-network strong-disorder renormalization group (tSDRG), which was basically established for one-dimensional (1D) systems. In this paper, we propose a possible improvement of its algorithm toward 2D random spin systems, focusing on a generating process of the tree network structure of tensors, and precisely examine their performances for the random antiferromagnetic Heisenberg model not only on the 1D chain but also on the square- and triangular-lattices. On the basis of comparison with the exact numerical results up to 36 site systems, we demonstrate that accuracy of the optimal tSDRG algorithm is significantly improved even for the 2D systems in the strong-randomness regime.


title: Impacts of COVID-19 control measures on tropospheric NO$_2$ over China, South Korea and Italy

abstract: Tropospheric nitrogen dioxide (NO$_2$) concentrations are strongly affected by anthropogenic activities. Using space-based measurements of tropospheric NO$_2$, here we investigate the responses of tropospheric NO$_2$ to the 2019 novel coronavirus (COVID-19) over China, South Korea, and Italy. We find noticeable reductions of tropospheric NO$_2$ columns due to the COVID-19 controls by more than 40% over E. China, South Korea, and N. Italy. The 40% reductions of tropospheric NO$_2$ are coincident with intensive lockdown events as well as up to 20% reductions in anthropogenic nitrogen oxides (NO$_x$) emissions. The perturbations in tropospheric NO$_2$ diminished accompanied with the mitigation of COVID-19 pandemic, and finally disappeared within around 50-70 days after the starts of control measures over all three nations, providing indications for the start, maximum, and mitigation of intensive controls. This work exhibits significant influences of lockdown measures on atmospheric environment, highlighting the importance of satellite observations to monitor anthropogenic activity changes.


title: Global Well-Posedness for the Fifth-Order Kadomtsev-Petviashvili II Equation in Anisotropic Gevrey Spaces

abstract: We show that the fifth-order Kadomtsev-Petviashvili II equation is globally well-posed in an anisotropic Gevrey space, which complements earlier results on the well-posedness of this equation in anisotropic Sobolev spaces.


title: Loop-induced $ZZ$ production at the LHC: an improved description by matrix-element matching

abstract: Loop-induced $ZZ$ production can be enhanced by the large gluon flux at the LHC, and thus should be taken into account in relevant experimental analyses. We present for the first time the results of a fully exclusive simulation based on the matrix elements for loop-induced $ZZ + 0,1,2$-parton processes at leading order, matched to parton showers. The new description is studied and validated by comparing it with well-established simulation with jets from parton showers. We find that the matched simulation provides a state-of-the-art description of the final state jets. We also briefly discuss the physics impact on vector boson scattering (VBS) measurements at the LHC, where event yields are found to be smaller by about 40% in a VBS $ZZjj$ baseline search region, compared to previous simulations. We hence advocate relevant analyses to employ a more accurate jet description for the modeling of the loop-induced process.


title: Updated theoretical Period-Age and Period-Age-Color relations for Galactic Classical Cepheids: an application to the Gaia DR2 sample

abstract: Updated evolutionary and pulsational model predictions are combined in order to interpret the properties of Galactic Classical Cepheids in the Gaia Data Release 2. In particular, the location of the instability strip boundaries and the analytical relations connecting pulsation periods to the intrinsic stellar parameters are combined with evolutionary tracks to derive reliable and accurate period-age, and the first theoretical period-age-color relations in the Gaia bands for a solar chemical abundance pattern ($Z$=$0.02$, $Y$=$0.28$). The adopted theoretical framework takes into account possible variations in the mass-luminosity relation for the core helium-burning stage as due to changes in the core convective overshooting and/or mass loss efficiency, as well as the impact on the instability strip boundaries due to different assumptions for superadiabatic convection efficiency. The inferred period-age and period-age-color relations are applied to a selected sample of both fundamental and first overtone Gaia Cepheids, and individual ages for the various adopted theoretical scenarios are derived. The retrieved age distributions confirm that a variation in the efficiency of superadiabatic convection in the pulsational model computations has a negligible effect, whereas a brighter Mass-Luminosity relation, as produced by mild overshooting, rotation or mass loss, implies significantly older age predictions. Moreover, older Cepheids are found at larger Galactocentric distances, while first overtone Cepheids are found to be systematically older than the fundamental ones. The comparison with independent age distribution analysis in literature supports the predictive capability of current theoretical framework.


title: Automatic Data Augmentation for Generalization in Deep Reinforcement Learning

abstract: Deep reinforcement learning (RL) agents often fail to generalize to unseen scenarios, even when they are trained on many instances of semantically similar environments. Data augmentation has recently been shown to improve the sample efficiency and generalization of RL agents. However, different tasks tend to benefit from different kinds of data augmentation. In this paper, we compare three approaches for automatically finding an appropriate augmentation. These are combined with two novel regularization terms for the policy and value function, required to make the use of data augmentation theoretically sound for certain actor-critic algorithms. We evaluate our methods on the Procgen benchmark which consists of 16 procedurally-generated environments and show that it improves test performance by ~40% relative to standard RL algorithms. Our agent outperforms other baselines specifically designed to improve generalization in RL. In addition, we show that our agent learns policies and representations that are more robust to changes in the environment that do not affect the agent, such as the background. Our implementation is available at https://github.com/rraileanu/auto-drac.


title: Experimental quantum key distribution secure against malicious devices

abstract: The fabrication of quantum key distribution (QKD) systems typically involves several parties, thus providing Eve with multiple opportunities to meddle with the devices. As a consequence, conventional hardware and/or software hacking attacks pose natural threats to the security of practical QKD. Fortunately, if the number of corrupted devices is limited, the security can be restored by using redundant apparatuses. Here, we report on the demonstration of a secure QKD setup with optical devices and classical post-processing units possibly controlled by an eavesdropper. We implement a 1.25 GHz chip-based measurement-device-independent QKD system secure against malicious devices on \emph{both} the measurement and the users' sides. The secret key rate reaches 137 bps over a 24 dB channel loss. Our setup, benefiting from high clock rate, miniaturized transmitters and a cost-effective structure, provides a promising solution for widespread applications requiring uncompromising communication security.


title: Object recognition through pose and shape estimation

abstract: Computer vision helps machines or computer to see like humans. Computer Takes information from the images and then understands of useful information from images. Gesture recognition and movement recognition are the current area of research in computer vision. For both gesture and movement recognition finding pose of an object is of great importance. The purpose of this paper is to review many state of art which is already available for finding the pose of object based on shape, based on appearance, based on feature and comparison for its accuracy, complexity and performance


title: Optical spectroscopy of BL Lac objects: TeV candidates

abstract: We investigate the spectroscopic optical properties of gamma-ray sources detected with high significance above 50 GeV in the Third Catalog of Hard Fermi-LAT Sources (3FHL) and that are good candidates as TeV emitters. We focus on the 91 sources that are labelled by the Fermi team as BL Lac objects (BLL) or Blazar candidates of uncertain type (BCU) , that are in the Northern hemisphere, and are with unknown or uncertain redshift. We report here on GTC spectra (in the spectral range 4100 - 7750 AA) of 13 BCU and 42 BLL. We are able to classify the observed targets as BLL and each source is briefly discussed. The spectra allowed us to determine the redshift of 25 objects on the basis of emission and/or absorption lines, finding 0.05 < z < 0.91. Most of the emission lines detected are due to forbidden transition of [O III] and [N II]. The observed line luminosity is found lower than that of QSOs at similar continuum and could be reconciled with the line-continuum luminosity relationship of QSOs if a significant beaming factor is assumed. Moreover for 5 sources we found intervening absorption lines that allows to set a spectroscopic lower limit of the redshift. For the remaining 25 sources, for which the spectra are lineless, a lower limit to z is given, assuming that the host galaxies are giant ellipticals.


title: Possible probability and irreducibility of balanced non-transitive dice

abstract: We construct irreducible balanced non-transitive sets of $n$-sided dice for any positive integer $n$, which was raised in \cite[Question 5.2]{SS17}. One main tool of the construction is to study so-called fair sets of dice. Furthermore, we also study the distribution of the probabilities of balanced non-transitive sets of dice. For a lower bound, we show that the probability could be arbitrarily close to $\frac{1}{2}$ and for a upper bound, we construct a balanced non-transitive set of dice whose probability is $\frac{1}{2} + \frac{13-\sqrt{153}}{24} \approx \frac{1}{2} + \frac{1}{9.12}.$


abstract: The Quantum Self-Consistent Ab-Initio Lattice Dynamics package (QSCAILD) is a python library that computes temperature-dependent effective 2nd and 3rd order interatomic force constants in crystals, including anharmonic effects. QSCAILD's approach is based on the quantum statistics of a harmonic model. The program requires the forces acting on displaced atoms of a solid as an input, which can be obtained from an external code based on density functional theory, or any other calculator. This article describes QSCAILD's implementation, clarifies its connections to other methods, and illustrates its use in the case of the SrTiO3 cubic perovskite structure.


title: A Constructive, Type-Theoretic Approach to Regression via Global Optimisation

abstract: We examine the connections between deterministic, complete, and general global optimisation of continuous functions and a general concept of regression from the perspective of constructive type theory via the concept of 'searchability'. We see how the property of convergence of global optimisation is a straightforward consequence of searchability. The abstract setting allows us to generalise searchability and continuity to higher-order functions, so that we can formulate novel convergence criteria for regression, derived from the convergence of global optimisation. All the theory and the motivating examples are fully formalised in the proof assistant Agda.


title: Minimally critical endomorphisms of P^N

abstract: We study the dynamics of the map endomorphism of N-dimensional projective space defined by f(X)=AX^d, where A is a matrix and d is at least 2. When d>N^2+N+1, we show that the critical height of such a morphism is comparable to its height in moduli space, confirming a case of a natural generalization of a conjecture of Silverman.


title: NLPContributions: An Annotation Scheme for Machine Reading of Scholarly Contributions in Natural Language Processing Literature

abstract: We describe an annotation initiative to capture the scholarly contributions in natural language processing (NLP) articles, particularly, for the articles that discuss machine learning (ML) approaches for various information extraction tasks. We develop the annotation task based on a pilot annotation exercise on 50 NLP-ML scholarly articles presenting contributions to five information extraction tasks 1. machine translation, 2. named entity recognition, 3. question answering, 4. relation classification, and 5. text classification. In this article, we describe the outcomes of this pilot annotation phase. Through the exercise we have obtained an annotation methodology; and found ten core information units that reflect the contribution of the NLP-ML scholarly investigations. The resulting annotation scheme we developed based on these information units is called NLPContributions. The overarching goal of our endeavor is four-fold: 1) to find a systematic set of patterns of subject-predicate-object statements for the semantic structuring of scholarly contributions that are more or less generically applicable for NLP-ML research articles; 2) to apply the discovered patterns in the creation of a larger annotated dataset for training machine readers of research contributions; 3) to ingest the dataset into the Open Research Knowledge Graph (ORKG) infrastructure as a showcase for creating user-friendly state-of-the-art overviews; 4) to integrate the machine readers into the ORKG to assist users in the manual curation of their respective article contributions. We envision that the NLPContributions methodology engenders a wider discussion on the topic toward its further refinement and development. Our pilot annotated dataset of 50 NLP-ML scholarly articles according to the NLPContributions scheme is openly available to the research community at https://doi.org/10.25835/0019761.


title: not-MIWAE: Deep Generative Modelling with Missing not at Random Data

abstract: When a missing process depends on the missing values themselves, it needs to be explicitly modelled and taken into account while doing likelihood-based inference. We present an approach for building and fitting deep latent variable models (DLVMs) in cases where the missing process is dependent on the missing data. Specifically, a deep neural network enables us to flexibly model the conditional distribution of the missingness pattern given the data. This allows for incorporating prior information about the type of missingness (e.g. self-censoring) into the model. Our inference technique, based on importance-weighted variational inference, involves maximising a lower bound of the joint likelihood. Stochastic gradients of the bound are obtained by using the reparameterisation trick both in latent space and data space. We show on various kinds of data sets and missingness patterns that explicitly modelling the missing process can be invaluable.


title: Time lags of the type-B QPO in MAXI J1348-630

abstract: The fast variability observed in the X-ray emission from black-hole binaries has a very complex phenomenology, but offers the possibility to investigate directly the properties of the inner accretion flow. In particular, type-B oscillations in the 2-8 Hz range, observed in the Soft-Intermediate state, have been associated to the emission from a relativistic jet. We present the results of the timing and spectral analysis of a set of observations of the bright transient MAXI J1348-630 made with the NICER telescope. The observations are in the brightest part of the outburst and all feature a strong type-B QPO at ~4.5 Hz. We compute the energy dependence of the fractional rms and the phase lags at the QPO frequency, obtaining high signal-to-noise data and sampling for the first time at energies below 2 keV. The fractional rms decreases from more than 10% at 9 keV to 0.6% at 1.5 keV, and is constant below that energy. Taking the 2-3 keV band as reference, photons at all energies show a hard lag, increasing with the distance from the reference band. The behaviour below 2 keV has never been observed before, due to the higher energy bandpass of previous timing instruments. The energy spectrum can be fitted with a standard model for this state, consisting of a thin disc component and a harder power law, plus an emission line between 6 and 7 keV. We discuss the results, concentrating on the phase lags, and show that they can be interpreted within a Comptonization model.


title: Accessing the anisotropic non-thermal phonon populations in black phosphorus

abstract: We combine femtosecond electron diffuse scattering experiments and first-principles calculations of the coupled electron-phonon dynamics to provide a detailed momentum-resolved picture of the ultrafast lattice thermalization in a thin film of black phosphorus. The measurements reveal the emergence of highly anisotropic non-thermal phonon populations which persist for several picoseconds following excitation of the electrons with a light pulse. Combining ultrafast dynamics simulations based on the time-dependent Boltzmann formalism and calculations of the structure factor, we reproduce the experimental data and identify the vibrational modes primarily responsible for the carrier relaxation via electron-phonon coupling and the subsequent lattice thermalization via phonon-phonon scattering. In particular, we attribute the non-equilibrium lattice dynamics of black phosphorus to highly-anisotropic phonon-assisted scattering processes, which are primarily mediated by high-energy optical phonons. Our approach paves the way towards unravelling and controlling microscopic energy-flow pathways in two-dimensional materials and van der Waals heterostructures, and may also be extended to other non-equilibrium phenomena involving coupled electron-phonon dynamics such as superconductivity, phase transitions or polaron physics.


title: Non-parametric spatially constrained local prior for scene parsing on real-world data

abstract: Scene parsing aims to recognize the object category of every pixel in scene images, and it plays a central role in image content understanding and computer vision applications. However, accurate scene parsing from unconstrained real-world data is still a challenging task. In this paper, we present the non-parametric Spatially Constrained Local Prior (SCLP) for scene parsing on realistic data. For a given query image, the non-parametric SCLP is learnt by first retrieving a subset of most similar training images to the query image and then collecting prior information about object co-occurrence statistics between spatial image blocks and between adjacent superpixels from the retrieved subset. The SCLP is powerful in capturing both long- and short-range context about inter-object correlations in the query image and can be effectively integrated with traditional visual features to refine the classification results. Our experiments on the SIFT Flow and PASCAL-Context benchmark datasets show that the non-parametric SCLP used in conjunction with superpixel-level visual features achieves one of the top performance compared with state-of-the-art approaches.


title: Singular Graphs with Dihedral Group Action

abstract: Let $\Gamma$ be a simple undirected graph on a finite vertex set and let $A$ be its adjacency matrix. Then $\Gamma$ is {\it singular} if $A$ is singular. The problem of characterising singular graphs is easy to state but very difficult to resolve in any generality. In this paper we investigate the singularity of graphs for which the dihedral group acts transitively on vertices as a group of automorphisms.


title: Invariants ideals in Leavitt Path algebras

abstract: It is known that the ideals of a Leavitt path algebra $L_K(E)$ generated by $\Pl(E)$, by $\Pc(E)$ or by $\Pec(E)$ are invariant under isomorphism. Though the ideal generated by $\Pb(E)$ is not invariant we find its \lq\lq natural\rq\rq\ replacement (which is indeed invariant): the one generated by the vertices of $\Pbp$ (vertices with pure infinite bifurcations). We also give some procedures to construct invariant ideals from previous known invariant ideals. One of these procedures involves topology, so we introduce the $\tops$ topology and relate it to annihilators in the algebraic counterpart of the work. To be more explicit: if $H$ is a hereditary saturated subset of vertices providing an invariant ideal, its exterior $\ext(H)$ in the $\tops$ topology of $E^0$ generates a new invariant ideal. The other constructor of invariant ideals is more categorical in nature. Some hereditary sets can be seen as functors from graphs to sets (for instance $\Pl$, etc). Thus a second method emerges from the possibility of applying the induced functor to the quotient graph. The easiest example is the known socle chain $\soc^{(1)}(\ )\subset\soc^{(2)}(\ )\subset\cdots$ all of which are proved to be invariant. We generalize this idea to any hereditary and saturated invariant functor. Finally we investigate a kind of composition of hereditary and saturated functors which is associative.


title: Dark Dust and single-cloud sightlines in the ISM

abstract: The precise characteristics of clouds and the nature of dust in the diffuse interstellar medium can only be extracted by inspecting the rare cases of single-cloud sightlines. In our nomenclature such objects are identified by interstellar lines, such as K I, that show at a resolving power of $\lambda /\Delta \lambda \sim 75,000$ one dominating Doppler component that accounts for more than half of the observed column density. We searched for such sightlines using high-resolution spectroscopy towards reddened OB stars for which far-UV extinction curves are known. We compiled a sample of 186 spectra, 100 of which were obtained specifically for this project with UVES. In our sample we identified 65 single-cloud sightlines, about half of which were previously unknown. We used the CH/CH$^+$ line ratio of our targets to establish whether the sightlines are dominated by warm or cold clouds. We found that CN is detected in all cold (CH/CH$^+ >1$) clouds, but is frequently absent in warm clouds. We inspected the WISE ($3-22\, \mu$m) observed emission morphology around our sightlines and excluded a circumstellar nature for the observed dust extinction. We found that most sightlines are dominated by cold clouds that are located far away from the heating source. For 132 stars, we derived the spectral type and the associated spectral type-luminosity distance. We also applied the interstellar Ca II distance scale, and compared these two distance estimates with GAIA parallaxes. These distance estimates scatter by 40%. By comparing spectral type-luminosity distances with those of GAIA, we detected a hidden dust component that amounts to a few mag of extinction for eight sightlines. This Dark Dust is populated by $\ge 1 \mu$m large grains and predominately appears in the field of the cold interstellar medium.


title: Direct Feedback Alignment Scales to Modern Deep Learning Tasks and Architectures

abstract: Despite being the workhorse of deep learning, the backpropagation algorithm is no panacea. It enforces sequential layer updates, thus preventing efficient parallelization of the training process. Furthermore, its biological plausibility is being challenged. Alternative schemes have been devised; yet, under the constraint of synaptic asymmetry, none have scaled to modern deep learning tasks and architectures. Here, we challenge this perspective, and study the applicability of Direct Feedback Alignment to neural view synthesis, recommender systems, geometric learning, and natural language processing. In contrast with previous studies limited to computer vision tasks, our findings show that it successfully trains a large range of state-of-the-art deep learning architectures, with performance close to fine-tuned backpropagation. At variance with common beliefs, our work supports that challenging tasks can be tackled in the absence of weight transport.


title: lensingGW: a Python package for lensing of gravitational waves

abstract: Advanced LIGO and Advanced Virgo could observe the first lensed gravitational waves in the coming years, while the future Einstein Telescope could observe hundreds of lensed events. Ground-based gravitational-wave detectors can resolve arrival time differences of the order of the inverse of the observed frequencies. As LIGO/Virgo frequency band spans from a few $\rm Hz$ to a few $ \rm kHz$, the typical time resolution of current interferometers is of the order of milliseconds. When microlenses are embedded in galaxies or galaxy clusters, lensing can become more prominent and result in observable time delays at LIGO/Virgo frequencies. Therefore, gravitational waves could offer an exciting alternative probe of microlensing. However, currently, only a few lensing configurations have been worked out in the context of gravitational-wave lensing. In this paper, we present lensingGW, a Python package designed to handle both strong and microlensing of compact binaries and the related gravitational-wave signals. This synergy paves the way for systematic parameter space investigations and the detection of arbitrary lens configurations and compact sources. We demonstrate the working mechanism of lensingGW and its use to study microlenses embedded in galaxies.

categories: astro-ph.CO astro-ph.GA astro-ph.HE gr-qc


title: ABID: Angle Based Intrinsic Dimensionality

abstract: The intrinsic dimensionality refers to the ``true'' dimensionality of the data, as opposed to the dimensionality of the data representation. For example, when attributes are highly correlated, the intrinsic dimensionality can be much lower than the number of variables. Local intrinsic dimensionality refers to the observation that this property can vary for different parts of the data set; and intrinsic dimensionality can serve as a proxy for the local difficulty of the data set. Most popular methods for estimating the local intrinsic dimensionality are based on distances, and the rate at which the distances to the nearest neighbors increase, a concept known as ``expansion dimension''. In this paper we introduce an orthogonal concept, which does not use any distances: we use the distribution of angles between neighbor points. We derive the theoretical distribution of angles and use this to construct an estimator for intrinsic dimensionality. Experimentally, we verify that this measure behaves similarly, but complementarily, to existing measures of intrinsic dimensionality. By introducing a new idea of intrinsic dimensionality to the research community, we hope to contribute to a better understanding of intrinsic dimensionality and to spur new research in this direction.