title: KELT-17: a chemically peculiar Am star and a hot-Jupiter planet

abstract: Context. The detection of planets orbiting chemically peculiar stars is very scarcely known in the literature. Aims. To determine the detailed chemical composition of the remarkable planet host star KELT-17. This object hosts a hot-Jupiter planet with 1.31 MJup detected by transits, being one of the more massive and rapidly rotating planet hosts to date. We aimed to derive a complete chemical pattern for this star, in order to compare it with those of chemically peculiar stars. Methods. We carried out a detailed abundance determination in the planet host star KELT-17 via spectral synthesis. Stellar parameters were estimated iteratively by fitting Balmer line profiles and imposing the Fe ionization balance, using the program SYNTHE together with plane-parallel ATLAS12 model atmospheres. Specific opacities for an arbitrary composition and microturbulence velocity vmicro were calculated through the Opacity Sampling (OS) method. The abundances were determined iteratively by fitting synthetic spectra to metallic lines of 16 different chemical species using the program SYNTHE. The complete chemical pattern of KELT-17 was compared to the recently published average pattern of Am stars. We estimated the stellar radius by two methods: a) comparing the synthetic spectral energy distribution with the available photometric data and the Gaia parallax, and b) using a Bayesian estimation of stellar parameters using stellar isochrones. Results. We found overabundances of Ti, Cr, Mn, Fe, Ni, Zn, Sr, Y, Zr, and Ba, together with subsolar values of Ca and Sc. Notably, the chemical pattern agrees with those recently published of Am stars, being then KELT-17 the first exoplanet host whose complete chemical pattern is unambiguously identified with this class. The stellar radius derived by two different methods agrees to each other and with those previously obtained in the literature.


title: Maximal Function Characterizations of Hardy Spaces on ${\mathbb{R}}^{n}$ with Pointwise Variable Anisotropy

abstract: In 2011, Dekel et al. developed highly geometric Hardy spaces $H^p(\Theta)$, for the full range $0<p\leq 1$, which are constructed by continuous multi-level ellipsoid covers $\Theta$ of $\mathbb{R}^n$ with high anisotropy in the sense that the ellipsoids can change shape rapidly from point to point and from level to level. In this article, if the cover $\Theta$ is pointwise continuous, then the authors further obtain some real-variable characterizations of $H^p(\Theta)$ in terms of the radial, the non-tangential and the tangential maximal functions, which generalize the known results on the anisotropic Hardy spaces of Bownik.


title: Deconvolutional artificial neural network models for large eddy simulation of turbulence

abstract: Deconvolutional artificial neural network (DANN) models are developed for subgrid-scale (SGS) stress in large eddy simulation (LES) of turbulence. The filtered velocities at different spatial points are used as input features of the DANN models to reconstruct the unfiltered velocity. The grid width of the DANN models is chosen to be smaller than the filter width, in order to accurately model the effects of SGS dynamics. The DANN models can predict the SGS stress more accurately than the conventional approximate deconvolution method (ADM) and velocity gradient model (VGM) in a prior study: the correlation coefficients can be made larger than 99\% and the relative errors can be made less than 15\% for the DANN model. In an a posteriori study, a comprehensive comparison of the DANN model, the implicit large eddy simulation (ILES), the dynamic Smagorinsky model (DSM), and the dynamic mixed model (DMM) shows that: the DANN model is superior to the ILES, DSM, and DMM models in the prediction of the velocity spectrum, various statistics of velocity and the instantaneous coherent structures without increasing the considerable computational cost. Besides, the trained DANN models without any fine-tuning can predict the velocity statistics well for different filter widths. These results indicate that the DANN framework with consideration of SGS spatial features is a promising approach to develop advanced SGS models in the LES of turbulence.


title: On geometry of Fano threefold hypersurfaces

abstract: We prove that a quasi-smooth Fano threefold hypersurface is birationally rigid if and only if it has Fano index one.


title: The Concept 'Indistinguishable'

abstract: The concept of indistinguishable particles in quantum theory is fundamental to questions of ontology. All ordinary matter is made of electrons, protons, neutrons, and photons and they are all indistinguishable particles. Yet the concept itself has proved elusive, in part because of the interpretational difficulties that afflict quantum theory quite generally, and in part because the concept was so central to the discovery of the quantum itself, by Planck in 1900; it came encumbered with revolution. I offer a deflationary reading of the concept "indistinguishable" that is identical to the Gibbs concept of "generic phase", save that it is defined for state spaces with only finitely-many states of bounded volume and energy (finitely-many orthogonal states, in quantum mechanics). That, and that alone, makes for the difference between the quantum and Gibbs concepts of indistinguishability. This claim is heretical on several counts, but here we consider only the content of the claim itself, and its bearing on the early history of quantum theory rather than in relation to contemporary debates about particle indistinguishability and permutation symmetry. It powerfully illuminates that history.


title: A Review on Computational Intelligence Techniques in Cloud and Edge Computing

abstract: Cloud computing (CC) is a centralized computing paradigm that accumulates resources centrally and provides these resources to users through Internet. Although CC holds a large number of resources, it may not be acceptable by real-time mobile applications, as it is usually far away from users geographically. On the other hand, edge computing (EC), which distributes resources to the network edge, enjoys increasing popularity in the applications with low-latency and high-reliability requirements. EC provides resources in a decentralized manner, which can respond to users' requirements faster than the normal CC, but with limited computing capacities. As both CC and EC are resource-sensitive, several big issues arise, such as how to conduct job scheduling, resource allocation, and task offloading, which significantly influence the performance of the whole system. To tackle these issues, many optimization problems have been formulated. These optimization problems usually have complex properties, such as non-convexity and NP-hardness, which may not be addressed by the traditional convex optimization-based solutions. Computational intelligence (CI), consisting of a set of nature-inspired computational approaches, recently exhibits great potential in addressing these optimization problems in CC and EC. This paper provides an overview of research problems in CC and EC and recent progresses in addressing them with the help of CI techniques. Informative discussions and future research trends are also presented, with the aim of offering insights to the readers and motivating new research directions.


title: Using local dynamics to explain analog forecasting of chaotic systems

abstract: Analogs are nearest neighbors of the state of a system. By using analogs and their successors in time, one is able to produce empirical forecasts. Several analog forecasting methods have been used in atmospheric applications and tested on well-known dynamical systems. Although efficient in practice, theoretical connections between analog methods and dynamical systems have been overlooked. Analog forecasting can be related to the real dynamical equations of the system of interest. This study investigates the properties of different analog forecasting strategies by taking local approximations of the system's dynamics. We find that analog forecasting performances are highly linked to the local Jacobian matrix of the flow map, and that analog forecasting combined with linear regression allows to capture projections of this Jacobian matrix. The proposed methodology allows to estimate analog forecasting errors, and to compare different analog methods. These results are derived analytically and tested numerically on two simple chaotic dynamical systems.


title: Dimensional analysis in relativity and in differential geometry

abstract: This note provides a short guide to dimensional analysis in Lorentzian and general relativity and in differential geometry. It tries to revive Dorgelo and Schouten's notion of 'intrinsic' or 'absolute' dimension of a tensorial quantity. The intrinsic dimension is independent of the dimensions of the coordinates and expresses the physical and operational meaning of a tensor. The dimensional analysis of several important tensors and tensor operations is summarized. In particular it is shown that the components of a tensor need not have all the same dimension, and that the Riemann (once contravariant and thrice covariant), Ricci (twice covariant), and Einstein (twice covariant) curvature tensors are dimensionless. The relation between dimension and operational meaning for the metric and stress-energy-momentum tensors is discussed; and the possible conventions for the dimensions of these two tensors and of Einstein's constant $\kappa$, including the curious possibility $\kappa = 8\pi G$ without $c$ factors, are reviewed.


title: Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores

abstract: In this paper, we evaluate and compare the performance of two approaches, namely self-stabilization and rollback, to handling consistency violating faults (\cvf) that occur when a self-stabilizing distributed graph-based program is executed on an eventually consistent key-value store. Consistency violating faults are caused by reading wrong values due to weaker level of consistency provided by the key-value store. One way to deal with these faults is to utilize rollback whereas another way is to rely on the property of self-stabilization that is expected to provide recovery from arbitrary states. We evaluate both these approaches in different case studies --planar graph coloring, arbitrary graph coloring, and maximal matching-- as well as for different problem dimensions such as input data characteristics, workload partition, and network latency. We also consider the effect of executing non-stabilizing algorithm with rollback with a similar stabilizing algorithm that does not utilize rollback.


title: Charged particle production in $pp$ collisions at $\sqrt{s}$=8, 7 and 2.76 TeV at the LHC -- a case study

abstract: We analyse the charged${\text -}$particle multiplicity distributions measured by the ALICE experiment, over a wide pseudorapidity range, for $pp$ collisions at $\sqrt{s}$=8,\,7\,and\, 2.76~TeV at the LHC.~The analysis offers an understanding of particle production in high energy collisions in the purview of a new distribution, the shifted Gompertz distribution.~Data are compared with the distribution and moments of the distributions are calculated.~A modified version of the distribution is also proposed and used to improve the description of the data consisting of two different event classes; the inelastic and the non${\text -}$single${\text -}$diffractive and their subsets in different windows of pseudorapidity, $\eta$.~The distribution used to analyse the data has a wide range of applicability to processes in different fields and complements the analysis done by the ALICE collaboration in terms of various LHC event generators and IP-Glasma calculations.


title: Effective computations of joint excursion times for stationary Gaussian processes

abstract: This work is to popularize the method of computing the distribution of the excursion times for a Gaussian process that involves extended and multivariate Rice's formula. The approach was used in numerical implementations of the high-dimensional integration routine and in earlier work it was shown that the computations are more effective and thus more precise than those based on Rice expansions. The joint distribution of excursion times is related to the distribution of the number of level crossings, a problem that can be attacked via the Rice series expansion, based on the moments of the number of crossings. Another point of attack is the "Independent Interval Approximation" intensively studied for the persistence of physical systems. It treats the lengths of successive crossing intervals as statistically independent. A renewal type argument leads to an expression that provides the approximate interval distribution via its Laplace transform. However, independence is not valid in typical situations. Even if it leads to acceptable results for the persistency exponent, rigorous assessment of the approximation error is not available. Moreover, we show that the IIA approach cannot deliver properly defined probability distributions and thus the method is limited to persistence studies. This paper presents an alternative approach that is both more general, more accurate, and relatively unknown. It is based on exact expressions for the probability density for one and for two successive excursion lengths. The numerical routine RIND computes the densities using recent advances in scientific computing and is easily accessible via a simple Matlab interface. The result solves the problem of two-step excursion dependence for a general stationary differentiable Gaussian process. The work offers also some analytical results that explain the effectiveness of the implemented method.


title: The Ionised- and Cool-Gas Content of The BR1202-0725 System as seen by MUSE and ALMA

abstract: We present MUSE observations of the gas-rich major-merger BR1202-0725 at z~4.7, which constitutes one of the most overdense fields known in the early Universe. We utilise these data in conjunction with existing ALMA observations to compare and contrast the spatially resolved ionised- and cool-gas content of this system which hosts a quasar (QSO), a sub-millimeter galaxy (SMG), the two known optical companions ("LAE1", "LAE2"), and an additional companion discovered in this work "LAE3" just 5 arcsec to the North of the QSO. We find that QSO BR1202-0725 exhibits a large Ly$\alpha$ halo, covering $\approx55$ pkpc on-sky at surface brightness levels of SB$\geq$1E-17 erg/s/cm$^2$/arcsec$^2$. In contrast, the SMG, of similar far-infrared luminosity and star formation rate (SFR), does not exhibit such a Ly$\alpha$ halo. The QSO's halo exhibits high velocity widths ($\sim1000$ km/s) but the gas motion is to some extent kinematically coupled with the previously observed [CII] bridge between the QSO and the SMG. We note that the object known in the literature as LAE2 shows no local peak of Ly$\alpha$ emission, rather, its profile is more consistent with being part of the QSO's extended Ly$\alpha$ halo. The properties of LAE3 are typical of high-redshift LAEs; we measure F$_{\rm{Ly\alpha}}$(LAE3) = $0.24\pm$0.03E-16 erg/s/cm$^2$, corresponding to SFR$_{\rm{Ly\alpha}}\approx\ $5.0$\pm$0.5 M${_\odot}$/yr. The velocity width is $\Delta v$(LAE3) $\approx 400$ km/s, and equivalent width EW$_0$(Ly$\alpha_{\,5\sigma}^{\,lim})\geq 34.05$ $\\A$, consistent with star formation being the primary driver of Ly$\alpha$ emission. We also note a coherent absorption feature at $\sim -400$km/s in spectra from at least three objects; the QSO, LAE1 and "LAE2" which could imply the presence of an expanding neutral gas shell with an extent of at least $24$ pkpc.


title: Word embedding and neural network on grammatical gender -- A case study of Swedish

abstract: We analyze the information provided by the word embeddings about the grammatical gender in Swedish. We wish that this paper may serve as one of the bridges to connect the methods of computational linguistics and general linguistics. Taking nominal classification in Swedish as a case study, we first show how the information about grammatical gender in language can be captured by word embedding models and artificial neural networks. Then, we match our results with previous linguistic hypotheses on assignment and usage of grammatical gender in Swedish and analyze the errors made by the computational model from a linguistic perspective.


title: Multimodal Integration for Large-Vocabulary Audio-Visual Speech Recognition

abstract: For many small- and medium-vocabulary tasks, audio-visual speech recognition can significantly improve the recognition rates compared to audio-only systems. However, there is still an ongoing debate regarding the best combination strategy for multi-modal information, which should allow for the translation of these gains to large-vocabulary recognition. While an integration at the level of state-posterior probabilities, using dynamic stream weighting, is almost universally helpful for small-vocabulary systems, in large-vocabulary speech recognition, the recognition accuracy remains difficult to improve. In the following, we specifically consider the large-vocabulary task of the LRS2 database, and we investigate a broad range of integration strategies, comparing early integration and end-to-end learning with many versions of hybrid recognition and dynamic stream weighting. One aspect, which is shown to provide much benefit here, is the use of dynamic stream reliability indicators, which allow for hybrid architectures to strongly profit from the inclusion of visual information whenever the audio channel is distorted even slightly.


title: Categories for Grassmannian cluster algebras of infinite rank

abstract: We construct Grassmannian categories of infinite rank, providing an infinite analogue of the Grassmannian cluster categories introduced by Jensen, King, and Su. Each Grassmannian category of infinite rank is given as the category of graded maximal Cohen-Macaulay modules over a certain hypersurface singularity. We show that generically free modules of rank $1$ in a Grassmannian category of infinite rank are in bijection with the Pl\"ucker coordinates in an appropriate Grassmannian cluster algebra of infinite rank. Moreover, this bijection is structure preserving, as it relates rigidity in the category to compatibility of Pl\"ucker coordinates. Along the way, we develop a combinatorial formula to compute the dimension of the $\mathrm{Ext}^1$-spaces between any two generically free modules of rank $1$ in the Grassmannian category of infinite rank.


title: The Complexity of the Partition Coloring Problem

abstract: Given a simple undirected graph $G=(V,E)$ and a partition of the vertex set $V$ into $p$ parts, the \textsc{Partition Coloring Problem} asks if we can select one vertex from each part of the partition such that the chromatic number of the subgraph induced on the $p$ selected vertices is bounded by $k$. PCP is a generalized problem of the classical \textsc{Vertex Coloring Problem} and has applications in many areas, such as scheduling and encoding etc. In this paper, we show the complexity status of the \textsc{Partition Coloring Problem} with three parameters: the number of colors, the number of parts of the partition, and the maximum size of each part of the partition. Furthermore, we give a new exact algorithm for this problem.


title: A Competitive Deep Neural Network Approach for the ImageCLEFmed Caption 2020 Task

abstract: The aim of ImageCLEFmed Caption task is to develop a system that automatically labels radiology images with relevant medical concepts. We describe our Deep Neural Network (DNN) based approach for tackling this problem. On the challenge test set of 3,534 radiology images, our system achieves an F1 score of 0.375 and ranks high, 12th among all systems that were successfully submitted to the challenge, whereby we only rely on the provided data sources and do not use any external medical knowledge or ontologies, or pretrained models from other medical image repositories or application domains.


title: Simultaneous existence of ultra-high and ultra-low spectral sensitivity for Directional Couplers

abstract: We present the experimental evidence for the existence of two exciting wavelengths, termed critical and cross-over wavelength in the transmission spectrum of fiber-optic directional coupler, whose properties are conjugate to each other. The spectral shift associated with the transmission maxima/minima suddenly flip around these wavelengths and the spectrum shows largest (nil) spectral shift for the transmission maxima/minima closest to the critical ( at the cross-over) wavelength, corresponding to the same perturbation parameter. A theoretical explanation of the observed experimental behavior has also been presented, highlighting that the underlying mechanisms for the existence of these wavelengths are entirely different. The knowledge of the precise spectral location of these wavelengths is necessary to avoid false alarms.


title: An orthogonalization-free parallelizable framework for all-electron calculations in density functional theory

abstract: All-electron calculations play an important role in density functional theory, in which improving computational efficiency is one of the most needed and challenging tasks. In the model formulations, both nonlinear eigenvalue problem and total energy minimization problem pursue orthogonal solutions. Most existing algorithms for solving these two models invoke orthogonalization process either explicitly or implicitly in each iteration. Their efficiency suffers from this process in view of its cubic complexity and low parallel scalability in terms of the number of electrons for large scale systems. To break through this bottleneck, we propose an orthogonalization-free algorithm framework based on the total energy minimization problem. It is shown that the desired orthogonality can be gradually achieved without invoking orthogonalization in each iteration. Moreover, this framework fully consists of Basic Linear Algebra Subprograms (BLAS) operations and thus can be naturally parallelized. The global convergence of the proposed algorithm is established. We also present a precondition technique which can dramatically accelerate the convergence of the algorithm. The numerical experiments on all-electron calculations show the efficiency and high scalability of the proposed algorithm.


title: Parameter estimation in dynamical systems via Statistical Learning: a reinterpretation of Approximate Bayesian Computation applied to COVID-19 spread

abstract: We propose a robust parameter estimation method for dynamical systems based on Statistical Learning techniques which aims to estimate a set of parameters that well fit the dynamics in order to obtain robust evidences about the qualitative behaviour of its trajectory. The method is quite general and flexible, since it does not rely on any specific property of the dynamical system, and represents a reinterpretation of Approximate Bayesian Computation methods through the lens of Statistical Learning. The method is specially useful for estimating parameters in epidemiological compartmental models in order to obtain qualitative properties of a disease evolution. We apply it to simulated and real data about COVID-19 spread in the US in order to evaluate qualitatively its evolution over time, showing how one may assess the effectiveness of measures implemented to slow the spread and some qualitative features of the disease current and future evolution.


title: Inequity exemplified by underrepresented minority students receiving lower grades and having higher rates of attrition across STEM disciplines

abstract: Underrepresented minority (URM) students are subjected to historically rooted inequities when pursuing an education, especially in STEM disciplines with little diversity. In order to make STEM education equitable and inclusive, evidence for how students from different racial/ethnic demographics are faring is necessary. We use 10 years of institutional data at a large public university to investigate trends in the majors that Asian, URM, and White students declare, drop after declaring, and earn degrees in as well as the GPA of the students who drop or earn a degree. We find that higher percentages of the URM students drop most majors compared to other students and these trends are particularly pronounced in physics and economics. Moreover, we find alarming GPA trends in that the URM students consistently earn lower grades than their Asian and White peers. Furthermore, in some STEM disciplines, the URM students who earn a degree are earning the same grades as the Asian and White students who dropped the major. This troubling trend may signify lack of sufficient support, mentoring, and guidance to ensure excellence of the URM students who are already severely disadvantaged. These quantitative findings call for making learning environments equitable and inclusive so that many URM students who come to college with severe disadvantages are appropriately supported and can excel similar to other students.


title: On geometric medians of triangles

abstract: We obtain universal affine type estimates for the location of the geometric medians of triangle perimeters and for the location of the geometric medians of triangular domains. At the end, some alternative implementations of the triangle space are discussed.


title: A Probabilistic Approach to Driver Assistance for Delay Reduction at Congested Highway Lane Drops

abstract: This paper proposes an onboard advance warning system based on a probabilistic prediction model that advises vehicles on when to change lanes for an upcoming lane drop. Using several traffic- and driver-related parameters such as the distribution of inter-vehicle headway distances, the prediction model calculates the likelihood of utilizing one or multiple lane changes to successfully reach a target position on the road. When approaching a lane drop, the onboard system projects current vehicle conditions into the future and uses the model to continuously estimate the success probability of changing lanes before reaching the lane-end, and advises the driver or autonomous vehicle to start a lane changing maneuver when that probability drops below a certain threshold. In a simulation case study, the proposed system was used on a segment of the I-81 interstate highway with two lane drops - transitioning from four lanes to two lanes - to advise vehicles on avoiding the lane drops. The results indicate that the proposed system can reduce average delay by up to 50% and maximum delay by up to 33%, depending on traffic flow and the ratio of vehicles equipped with the advance warning system.


title: Horo-convex hypersurfaces with prescribed shifted Gauss curvatures in $\mathbb{H}^{n+1}$

abstract: In this paper, we consider prescribed shifted Gauss curvature equations for horo-convex hypersurfaces in $\mathbb{H}^{n+1}$. Under some sufficient condition, we obtain an existence result by the standard degree theory based on the a prior estimates for the solutions to the equations. Different from the prescribed Weingarten curvature problem in space forms, we do not impose a sign condition for radial derivative of the functions in the right-hand side of the equations to prove the existence due to the horo-covexity of hypersurfaces in $\mathbb{H}^{n+1}$.


title: Implementation of Ternary Weights with Resistive RAM Using a Single Sense Operation per Synapse

abstract: The design of systems implementing low precision neural networks with emerging memories such as resistive random access memory (RRAM) is a significant lead for reducing the energy consumption of artificial intelligence. To achieve maximum energy efficiency in such systems, logic and memory should be integrated as tightly as possible. In this work, we focus on the case of ternary neural networks, where synaptic weights assume ternary values. We propose a two-transistor/two-resistor memory architecture employing a precharge sense amplifier, where the weight value can be extracted in a single sense operation. Based on experimental measurements on a hybrid 130 nm CMOS/RRAM chip featuring this sense amplifier, we show that this technique is particularly appropriate at low supply voltage, and that it is resilient to process, voltage, and temperature variations. We characterize the bit error rate in our scheme. We show based on neural network simulation on the CIFAR-10 image recognition task that the use of ternary neural networks significantly increases neural network performance, with regards to binary ones, which are often preferred for inference hardware. We finally evidence that the neural network is immune to the type of bit errors observed in our scheme, which can therefore be used without error correction.


title: Structured Weight Priors for Convolutional Neural Networks

abstract: Selection of an architectural prior well suited to a task (e.g. convolutions for image data) is crucial to the success of deep neural networks (NNs). Conversely, the weight priors within these architectures are typically left vague, e.g.~independent Gaussian distributions, which has led to debate over the utility of Bayesian deep learning. This paper explores the benefits of adding structure to weight priors. It initially considers first-layer filters of a convolutional NN, designing a prior based on random Gabor filters. Second, it considers adding structure to the prior of final-layer weights by estimating how each hidden feature relates to each class. Empirical results suggest that these structured weight priors lead to more meaningful functional priors for image data. This contributes to the ongoing discussion on the importance of weight priors.


title: Fast simulations of highly-connected spiking cortical models using GPUs

abstract: Over the past decade there has been a growing interest in the development of parallel hardware systems for simulating large-scale networks of spiking neurons. Compared to other highly-parallel systems, GPU-accelerated solutions have the advantage of a relatively low cost and a great versatility, thanks also to the possibility of using the CUDA-C/C++ programming languages. NeuronGPU is a GPU library for large-scale simulations of spiking neural network models, written in the C++ and CUDA-C++ programming languages, based on a novel spike-delivery algorithm. This library includes simple LIF (leaky-integrate-and-fire) neuron models as well as several multisynapse AdEx (adaptive-exponential-integrate-and-fire) neuron models with current or conductance based synapses, user definable models and different devices. The numerical solution of the differential equations of the dynamics of the AdEx models is performed through a parallel implementation, written in CUDA-C++, of the fifth-order Runge-Kutta method with adaptive step-size control. In this work we evaluate the performance of this library on the simulation of a cortical microcircuit model, based on LIF neurons and current-based synapses, and on a balanced network of excitatory and inhibitory neurons, using AdEx neurons and conductance-based synapses. On these models, we will show that the proposed library achieves state-of-the-art performance in terms of simulation time per second of biological activity. In particular, using a single NVIDIA GeForce RTX 2080 Ti GPU board, the full-scale cortical-microcircuit model, which includes about 77,000 neurons and $3 \cdot 10^8$ connections, can be simulated at a speed very close to real time, while the simulation time of a balanced network of 1,000,000 AdEx neurons with 1,000 connections per neuron was about 70 s per second of biological activity.


title: A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement

abstract: Token-based replay used to be the standard way to conduct conformance checking. With the uptake of more advanced techniques (e.g., alignment based), token-based replay got abandoned. However, despite decomposition approaches and heuristics to speed-up computation, the more advanced conformance checking techniques have limited scalability, especially when traces get longer and process models more complex. This paper presents an improved token-based replay approach that is much faster and scalable. Moreover, the approach provides more accurate diagnostics that avoid known problems (e.g., "token flooding") and help to pinpoint compliance problems. The novel token-based replay technique has been implemented in the PM4Py process mining library. We will show that the replay technique outperforms state-of-the-art techniques in terms of speed and/or diagnostics. %Moreover, a revision of an existing precision measure (ETConformance) will be proposed through integration with the token-based replayer.


title: Going beyond communication intensity for estimating tie strengths in social networks

abstract: Even though the concept of tie strength is central in social network analysis, it is difficult to quantify how strong social ties are. One typical way of estimating tie strength in data-driven studies has been to simply count the total number or duration of contacts between two people. This, however, disregards many features that can be extracted from the rich data sets used for social network reconstruction. Here, we focus on contact data with temporal information. We systematically study how features of the contact time series are related to topological features usually associated with tie strength. We analyze a large mobile-phone dataset and measure a number of properties of the call time series for each tie, and use these to predict the so-called neighbourhood overlap, a feature related to strong ties in the sociological literature. We observe a strong relationship between temporal features and the neighbourhood overlap, with many features outperforming simple contact counts. Features that stand out include the number of days with calls, number of bursty cascades, typical times of contacts, and temporal stability. Our results suggest that these measures could be adapted for use in social network construction and indicate that the best results can be achieved by combining multiple temporal features.


title: Handling confounding variables in statistical shape analysis -- application to cardiac remodelling

abstract: Statistical shape analysis is a powerful tool to assess organ morphologies and find shape changes associated to a particular disease. However, imbalance in confounding factors, such as demographics might invalidate the analysis if not taken into consideration. Despite the methodological advances in the field, providing new methods that are able to capture complex and regional shape differences, the relationship between non-imaging information and shape variability has been overlooked. We present a linear statistical shape analysis framework that finds shape differences unassociated to a controlled set of confounding variables. It includes two confounding correction methods: confounding deflation and adjustment. We applied our framework to a cardiac magnetic resonance imaging dataset, consisting of the cardiac ventricles of 89 triathletes and 77 controls, to identify cardiac remodelling due to the practice of endurance exercise. To test robustness to confounders, subsets of this dataset were generated by randomly removing controls with low body mass index, thus introducing imbalance. The analysis of the whole dataset indicates an increase of ventricular volumes and myocardial mass in athletes, which is consistent with the clinical literature. However, when confounders are not taken into consideration no increase of myocardial mass is found. Using the downsampled datasets, we find that confounder adjustment methods are needed to find the real remodelling patterns in imbalanced datasets.


title: Characterisation and performance of the PADME electromagnetic calorimeter

abstract: The PADME experiment at the LNF Beam Test Facility searches for dark photons produced in the annihilation of positrons with the electrons of a fix target. The strategy is to look for the reaction $e^{+}+e^{-}\rightarrow \gamma+A'$, where $A'$ is the dark photon, which cannot be observed directly or via its decay products. The electromagnetic calorimeter plays a key role in the experiment by measuring the energy and position of the final-state $\gamma$. The missing four-momentum carried away by the $A'$ can be evaluated from this information and the particle mass inferred. This paper presents the design, construction, and calibration of the PADME's electromagnetic calorimeter. The results achieved in terms of equalisation, detection efficiency and energy resolution during the first phase of the experiment demonstrate the effectiveness of the various tools used to improve the calorimeter performance with respect to earlier prototypes.


title: A Machine Learning Approach to Online Fault Classification in HPC Systems

abstract: As High-Performance Computing (HPC) systems strive towards the exascale goal, failure rates both at the hardware and software levels will increase significantly. Thus, detecting and classifying faults in HPC systems as they occur and initiating corrective actions before they can transform into failures becomes essential for continued operation. Central to this objective is fault injection, which is the deliberate triggering of faults in a system so as to observe their behavior in a controlled environment. In this paper, we propose a fault classification method for HPC systems based on machine learning. The novelty of our approach rests with the fact that it can be operated on streamed data in an online manner, thus opening the possibility to devise and enact control actions on the target system in real-time. We introduce a high-level, easy-to-use fault injection tool called FINJ, with a focus on the management of complex experiments. In order to train and evaluate our machine learning classifiers, we inject faults to an in-house experimental HPC system using FINJ, and generate a fault dataset which we describe extensively. Both FINJ and the dataset are publicly available to facilitate resiliency research in the HPC systems field. Experimental results demonstrate that our approach allows almost perfect classification accuracy to be reached for different fault types with low computational overhead and minimal delay.


title: Nonequilibrium theory of enzyme chemotaxis and enhanced diffusion

abstract: Enhanced diffusion and anti-chemotaxis of enzymes have been reported in several experiments in the last decade, opening up entirely new avenues of research in the bio-nanosciences both at the applied and fundamental level. Here, we introduce a novel theoretical framework, rooted in non-equilibrium effects characteristic of catalytic cycles, that explains all observations made so far in this field. In addition, our theory predicts entirely novel effects, such as dissipation-induced switch between anti-chemotactic and chemotactic behavior.


title: Intelligent reflecting surface enhanced wideband MIMO-OFDM communications: From practical model to reflection optimization

abstract: Intelligent reflecting surface (IRS) is envisioned as a revolutionary technology for future wireless communication systems since it can intelligently change radio environment and integrate it into wireless communication optimization. However, most existing works adopted an ideal IRS reflection model, which is impractical and can cause significant performance degradation in realistic wideband systems. To address this issue, we first study the dual phase- and amplitude-squint effect of reflected signals and present a simplified practical IRS reflection model for wideband signals. Then, an IRS enhanced wideband multiuser multi-input single-output orthogonal frequency division multiplexing (MU-MISO-OFDM) system is investigated. We aim to jointly design the transmit beamformer and IRS reflection for the case of using both continuous and discrete phase shifters to maximize the average sum-rate over all subcarriers. By exploiting the relationship between sum-rate maximization and mean square error (MSE) minimization, the original problem is equivalently transformed into a multi-block/variable problem, which can be efficiently solved by the block coordinate descent (BCD) method. Complexity and convergence for both cases are analyzed or illustrated. Simulation results demonstrate that the proposed algorithm can offer significant average sum-rate enhancement compared to that achieved using the ideal IRS reflection model, which confirms the importance of the use of the practical model for the design of wideband systems.


title: Automated Database Indexing using Model-free Reinforcement Learning

abstract: Configuring databases for efficient querying is a complex task, often carried out by a database administrator. Solving the problem of building indexes that truly optimize database access requires a substantial amount of database and domain knowledge, the lack of which often results in wasted space and memory for irrelevant indexes, possibly jeopardizing database performance for querying and certainly degrading performance for updating. We develop an architecture to solve the problem of automatically indexing a database by using reinforcement learning to optimize queries by indexing data throughout the lifetime of a database. In our experimental evaluation, our architecture shows superior performance compared to related work on reinforcement learning and genetic algorithms, maintaining near-optimal index configurations and efficiently scaling to large databases.


title: Bayesian Multi Scale Neural Network for Crowd Counting

abstract: Crowd Counting is a difficult but important problem in computer vision. Convolutional Neural Networks based on estimating the density map over the image has been highly successful in this domain. However dense crowd counting remains an open problem because of severe occlusion and perspective view in which people can be present at various sizes. In this work, we propose a new network which uses a ResNet based feature extractor, downsampling block which uses dilated convolutions and upsampling block using transposed convolutions. We present a novel aggregation module which makes our network robust to the perspective view problem. We present the optimization details, loss functions and the algorithm used in our work. On evaluating on ShanghaiTech, UCF-CC-50 and UCF-QNRF datasets using MSE and MAE as evaluation metrics, our network outperforms previous state of the art approaches while giving uncertainty estimates in a principled bayesian manner.


title: A wide field-of-view low-resolution spectrometer at APEX: instrument design and science forecast

abstract: Characterise the large-scale structure in the Universe from present times to the high redshift epoch of reionisation is essential to constraining the cosmology, the history of star formation and reionisation, measuring the gas content of the Universe and obtaining a better understanding of the physical process that drive galaxy formation and evolution. Using the integrated emission from unresolved galaxies or gas clouds, line intensity mapping (LIM) provides a new observational window to measure the larger properties of structure. This very promising technique motivates the community to plan for LIM experiments. We describe the development of a large field-of-view instrument, named CONCERTO, operating in the range 130-310 GHz from the APEX 12-meters telescope. CONCERTO is a low-resolution spectrometer based on the Lumped Element Kinetic Inductance Detectors technology. Spectra are obtained using a fast Fourier Transform Spectrometer (FTS), coupled to a dilution cryostat with base temperature of 0.1K. Two 2 kilo-pixels arrays of LEKID are mounted inside the cryostat that also contains the cold optics and the front-end electronics. We present in detail the technological choices leading to the instrumental concept, together with the design and fabrication of the instrument and preliminary laboratory tests on the detectors. We also give our best estimates of CONCERTO sensitivity and give predictions for two of the main scientific goals of CONCERTO, i.e. a [CII]-intensity mapping survey and observations of galaxy clusters. We provide a detail description of the instrument design. Based on realistic comparisons with existing instruments developed by our group (NIKA, NIKA2, and KISS), and on laboratory detectors characterisation, we provide an estimate of CONCERTO sensitivity on sky. Finally, we describe in detail two out of the main science goals offered by CONCERTO at APEX.


title: Downlink channel access performance of NR-U: Impact of numerology and mini-slots on coexistence with Wi-Fi in the 5 GHz band

abstract: Coexistence between cellular systems and Wi-Fi gained the attention of the research community when LTE License Assisted Access (LAA) entered the unlicensed band. The recent introduction of NR-U as part of 5G introduces new coexistence opportunities because it implements scalable numerology (flexible subcarrier spacing and OFDM symbol lengths), and non-slot based scheduling (mini-slots), which considerably impact channel access. This paper analyzes the impact of NR-U settings on its coexistence with Wi-Fi networks and compares it with LAA operation using simulations and experiments. First, we propose a downlink channel access simulation model, which addresses the problem of the dependency and non-uniformity of transmission attempts of different nodes, as a result of the synchronization mechanism introduced by NR-U. Second, we validate the accuracy of the proposed model using FPGA-based LAA, NR-U, and Wi-Fi prototypes with over-the-air transmissions. Additionally, we show that replacing LAA with NR-U would not only allow to overcome the problem of bandwidth wastage caused by reservation signals but also, in some cases, to preserve fairness in channel access for both scheduled and random-access systems. Finally, we conclude that fair coexistence of the aforementioned systems in unlicensed bands is not guaranteed in general, and novel mechanisms are necessary for improving the sharing of resources between scheduled and contention-based technologies.


title: Defining Digital Quadruplets in the Cyber-Physical-Social Space for Parallel Driving

abstract: Parallel driving is a novel framework to synthesize vehicle intelligence and transport automation. This article aims to define digital quadruplets in parallel driving. In the cyber-physical-social systems (CPSS), based on the ACP method, the names of the digital quadruplets are first given, which are descriptive, predictive, prescriptive and real vehicles. The objectives of the three virtual digital vehicles are interacting, guiding, simulating and improving with the real vehicles. Then, the three virtual components of the digital quadruplets are introduced in detail and their applications are also illustrated. Finally, the real vehicles in the parallel driving system and the research process of the digital quadruplets are depicted. The presented digital quadruplets in parallel driving are expected to make the future connected automated driving safety, efficiently and synergistically.


title: RANDOM MASK: Towards Robust Convolutional Neural Networks

abstract: Robustness of neural networks has recently been highlighted by the adversarial examples, i.e., inputs added with well-designed perturbations which are imperceptible to humans but can cause the network to give incorrect outputs. In this paper, we design a new CNN architecture that by itself has good robustness. We introduce a simple but powerful technique, Random Mask, to modify existing CNN structures. We show that CNN with Random Mask achieves state-of-the-art performance against black-box adversarial attacks without applying any adversarial training. We next investigate the adversarial examples which 'fool' a CNN with Random Mask. Surprisingly, we find that these adversarial examples often 'fool' humans as well. This raises fundamental questions on how to define adversarial examples and robustness properly.


title: High-Throughput Production of Cheap Mineral-Based 2D Electrocatalysts for High-Current-Density Hydrogen Evolution

abstract: The high-throughput scalable production of cheap, efficient and durable electrocatalysts that work well at high current densities demanded by industry is a great challenge for the large-scale implementation of electrochemical technologies. Here we report the production of a 2D MoS2-based ink-type electrocatalyst by a scalable top-down exfoliation technique followed by a simple heat treatment. The catalyst shows a high current density of 1000 mA cm^-2 at an overpotential of 454 mV for the hydrogen evolution reaction (HER) without the need of iR correction, as well as good stability over 24 hours. Using the same method, we have, for the first time, produced a cheap MoS2 mineral-based catalyst and found that it had an excellent performance for high-current-density HER. Noteworthy, production rate of this MoS2-based catalyst is one to two orders of magnitude higher than those previously reported. In addition, the price of the MoS2 mineral is five orders of magnitude lower than commercial Pt catalysts, making the MoS2 mineral-based catalyst cheap, and the ink-type catalyst dispersions can be easily integrated with other technologies for large-scale catalyst electrode preparation. These advantages indicate the huge potentials of this method and mineral-based cheap and abundant natural resources as catalysts in the electrochemical technologies.


title: Gravitational-wave constraints on the equatorial ellipticity of millisecond pulsars

abstract: We present a search for continuous gravitational waves from five radio pulsars, comprising three recycled pulsars (PSR J0437-4715, PSR J0711-6830, and PSR J0737-3039A) and two young pulsars: the Crab pulsar (J0534+2200) and the Vela pulsar (J0835-4510). We use data from the third observing run of Advanced LIGO and Virgo combined with data from their first and second observing runs. For the first time we are able to match (for PSR J0437-4715) or surpass (for PSR J0711-6830) the indirect limits on gravitational-wave emission from recycled pulsars inferred from their observed spin-downs, and constrain their equatorial ellipticities to be less than $10^{-8}$. For each of the five pulsars, we perform targeted searches that assume a tight coupling between the gravitational-wave and electromagnetic signal phase evolution. We also present constraints on PSR J0711-6830, the Crab pulsar and the Vela pulsar from a search that relaxes this assumption, allowing the gravitational-wave signal to vary from the electromagnetic expectation within a narrow band of frequencies and frequency derivatives.


title: How the growth of ice depends on the fluid dynamics underneath

abstract: Convective flows coupled with solidification or melting in water bodies play a major role in shaping geophysical landscapes. Particularly in relation to the global climate warming scenario, it is essential to be able to accurately quantify how water-body environments dynamically interplay with ice formation or melting process. Previous studies have revealed the complex nature of the icing process, but have often ignored one of the most remarkable particularity of water, its density anomaly, and the induced stratification layers interacting and coupling in a complex way in presence of turbulence and phase change. By combining experiments, numerical simulations, and theoretical modeling, we investigate solidification of freshwater, properly considering phase transition, water density anomaly, and real physical properties of ice and water phases, which we show to be essential for correctly predicting the different qualitative and quantitative behaviors. We identify, with increasing thermal driving, four distinct flow-dynamics regimes, where different levels of coupling among ice front, stably and unstably stratified water layers occur. Despite the complex interaction between the ice front and fluid motions, remarkably, the average ice thickness and growth rate can be well captured with the theoretical model. It is revealed that the thermal driving has major effects on the temporal evolution of the global icing process, which can vary from a few days to a few hours in the current parameter regime. Our model can be applied to general situations where the icing dynamics occurs under different thermal and geometrical conditions (e.g. cooling conditions or water layer depth).


title: Probing Feedback via IGM tomography and Ly$\alpha$ forest with Subaru PFS, TMT/ELT, and JWST

abstract: In preparation for the IGM tomography study by Subaru Prime Focus Spectrograph (PFS) survey and other large future telescopes such as TMT/ELT/GMT, we present the results of our pilot study on Ly$\alpha$ forest and IGM tomography statistics using the GADGET3-OSAKA cosmological smoothed particle hydrodynamical simulation. Our simulation includes models for star formation and supernova feedback, which enables more realistic cross-correlation studies between galaxies, neutral hydrogen (HI) and metals in circumgalactic and intergalactic medium. We create a light-cone data set at $z=2-3$ from our simulations and generate mock Ly$\alpha$ forest data. As a first step, in this paper, we focus on the distribution of HI and galaxies, and present statistical results on 1D flux PDF, 1D power spectrum, flux contrast vs. impact parameter, HI$-$galaxy cross-correlations. Our results show overall agreement with current observational data, with some interesting discrepancies on small scales that are due to either feedback effects or varying observational conditions. Our simulation shows stronger HI absorption with decreasing transverse distance from galaxies. We find that the massive galaxies with $M_\star \ge 10^{10}\,M_\odot$ contribute strongly to the flux contrast signal, and that the lower-mass galaxies with $M_\star \sim 10^8-10^{10}\,M_\odot$ tend to dilute the flux contrast signal from massive galaxies. On large scales, the average flux contrast smoothly connects to the IGM level, supporting the concordance $\Lambda$ cold dark matter model. We also find an increase in the HI absorption toward the center of a protocluster.


title: Improving Robustness on Seasonality-Heavy Multivariate Time Series Anomaly Detection

abstract: Robust Anomaly Detection (AD) on time series data is a key component for monitoring many complex modern systems. These systems typically generate high-dimensional time series that can be highly noisy, seasonal, and inter-correlated. This paper explores some of the challenges in such data, and proposes a new approach that makes inroads towards increased robustness on seasonal and contaminated data, while providing a better root cause identification of anomalies. In particular, we propose the use of Robust Seasonal Multivariate Generative Adversarial Network (RSM-GAN) that extends recent advancements in GAN with the adoption of convolutional-LSTM layers and attention mechanisms to produce excellent performance on various settings. We conduct extensive experiments in which not only do this model displays more robust behavior on complex seasonality patterns, but also shows increased resistance to training data contamination. We compare it with existing classical and deep-learning AD models, and show that this architecture is associated with the lowest false positive rate and improves precision by 30% and 16% in real-world and synthetic data, respectively.


title: Milnor K-theory, F-isocrystals and Syntomic Regulators

abstract: We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on syntomic regulators which we work in other papers.


title: RMPflow: A Geometric Framework for Generation of Multi-Task Motion Policies

abstract: Generating robot motion for multiple tasks in dynamic environments is challenging, requiring an algorithm to respond reactively while accounting for complex nonlinear relationships between tasks. In this paper, we develop a novel policy synthesis algorithm, RMPflow, based on geometrically consistent transformations of Riemannian Motion Policies (RMPs). RMPs are a class of reactive motion policies that parameterize non-Euclidean behaviors as dynamical systems in intrinsically nonlinear task spaces. Given a set of RMPs designed for individual tasks, RMPflow can combine these policies to generate an expressive global policy, while simultaneously exploiting sparse structure for computational efficiency. We study the geometric properties of RMPflow and provide sufficient conditions for stability. Finally, we experimentally demonstrate that accounting for the natural Riemannian geometry of task policies can simplify classically difficult problems, such as planning through clutter on high-DOF manipulation systems.


title: One- and Two-Particle Problem with Correlated Disorder Potential

abstract: Motivated by the recent experimental and theoretical progresses in the exploration of the effect of disorder in interacting system, we examine the effect of two types of correlated disorder, the quasi-periodic potential and speckle disorder potential, on one- and two-particle problem with exact diagonalization (ED) method. We give the phase diagram for single particle in the presence of quasi-periodic potential and also analyse the effect of strong interaction on the phase diagram for ground state in two dimensions. For the speckle disorder potential case, we examine both the effect of correlation length and disorder strength on single particle ground state energy and two-particle binding energy. The transport property for different interaction strength under speckle disorder potential is also calculated and discussed at last.


title: Light charged pion in ultra-strong magnetic field

abstract: In this work, the mass of charged pions is investigated in the presence of background magnetic fields stronger than the energy scale of QCD. We introduce an anomaly magnetic momentum term in the Dirac equation and obtain the quark propagator as consequence. We find a novel finite Landau level, denoted as $tl$LL, becoming dominant rather than the conventional lowest Landau level. We examine that, due to the shifting of Landau level, it drives a mass decreasing around $eB\sim 0.8~\mathrm{GeV}^2$ for charged pions and their masses drastically limit to the neutral one at ultra-strong magnetic field, $eB\sim 1.6~\mathrm{GeV}^2$, which is consistent with the recent lattice simulation.


title: Inductive Reachability Witnesses

abstract: In this work, we consider the fundamental problem of reachability analysis over imperative programs with real variables. The reachability property requires that a program can reach certain target states during its execution. Previous works that tackle reachability analysis are either unable to handle programs consisting of general loops (e.g. symbolic execution), or lack completeness guarantees (e.g. abstract interpretation), or are not automated (e.g. incorrectness logic/reverse Hoare logic). In contrast, we propose a novel approach for reachability analysis that can handle general programs, is (semi-)complete, and can be entirely automated for a wide family of programs. Our approach extends techniques from both invariant generation and ranking-function synthesis to reachability analysis through the notion of (Universal) Inductive Reachability Witnesses (IRWs/UIRWs). While traditional invariant generation uses over-approximations of reachable states, we consider the natural dual problem of under-approximating the set of program states that can reach a target state. We then apply an argument similar to ranking functions to ensure that all states in our under-approximation can indeed reach the target set in finitely many steps.


title: Corrigendum to "Center Manifolds without a Phase Space"

abstract: We correct the choice of cut-off function in our construction of center manifolds in [G. Faye and A. Scheel, \textit{Trans. Amer. Math. Soc.}, 370 (2018), pp. 5843--5885]. The main result there establishes center manifolds for systems of nonlinear functional equations posed on the real line with nonlocal coupling through convolution operators. In the construction, we need to modify the nonlinearity such that it maps spaces of exponentially growing functions into itself and possesses a small Lipschitz constant. The cut-off function presented there is suitable for $L^\infty$-based construction but insufficient for the choice of $H^1$-spaces. We correct this choice and demonstrate the effect on a pointwise superposition nonlinearity.


title: Groups of Worldview Transformations Implied by Isotropy of Space

abstract: Given any Euclidean ordered field, $Q$, and any 'reasonable' group, $G$, of (1+3)-dimensional spacetime symmetries, we show how to construct a model $M_{G}$ of kinematics for which the set $W$ of worldview transformations between inertial observers satisfies $W=G$. This holds in particular for all relevant subgroups of $Gal$, $cPoi$, and $cEucl$ (the groups of Galilean, Poincar\'e and Euclidean transformations, respectively, where $c\in Q$ is a model-specific parameter orresponding to the speed of light in the case of Poincar\'e transformations). In doing so, by an elementary geometrical proof, we demonstrate our main contribution: spatial isotropy is enough to entail that the set $W$ of worldview transformations satisfies either $W\subseteq Gal$, $W\subseteq cPoi$, or $W\subseteq cEucl$ for some $c>0$. So assuming spatial isotropy is enough to prove that there are only 3 possible cases: either the world is classical (the worldview transformations between inertial observers are Galilean transformations); the world is relativistic (the worldview transformations are Poincar\'e transformations); or the world is Euclidean (which gives a nonstandard kinematical interpretation to Euclidean geometry). This result considerably extends previous results in this field, which assume a priori the (strictly stronger) special principle of relativity, while also restricting the choice of $Q$ to the field of reals. As part of this work, we also prove the rather surprising result that, for any $G$ containing translations and rotations fixing the time-axis $t$, the requirement that $G$ be a subgroup of one of the groups $Gal$, $cPoi$ or $cEucl$ is logically equivalent to the somewhat simpler requirement that, for all $g\in G$: $g[t]$ is a line, and if $g[t]=t$ then $g$ is a trivial transformation (i.e. $g$ is a linear transformation that preserves Euclidean length and fixes the time-axis setwise).


title: Potential of SKA to Detect CDM ALPs with Radio Astronomy

abstract: Axion-like particles (ALPs) are light pseudo-scalar particles predicted in many theoretically well-motivated extensions to the standard model of particle physics (SM). The search for cold dark matter (CDM) ALPs has gained tremendous ground over the last few years. Essentially ALPs are characterized by their coupling with two photons which allows ALPs to decay into two photons. In this work, we explore the potential of the Square Kilometer Array (SKA) to detect CDM ALPs with radio astronomy in an attempt to detect an observational signature of ALPs conversion onto photons in astrophysical field.


title: The Kechris-Pestov-Todor\vcevi\'c correspondence from the point of view of category theory

abstract: The Kechris-Pestov-Todor\v{c}evi\'c correspondence (KPT-correspondence for short) is a surprising correspondence between model theory, combinatorics and topological dynamics. In this paper we present a categorical re-interpretation of (a part of) the KPT-correspondence with the aim of proving a dual statement. Our strategy is to take a "direct" result and then analyze the necessary infrastructure that makes the result true by providing a purely categorical proof of the categorical version of the result. We can then capitalize on the Duality Principle to obtain the dual statements almost for free. We believe that the dual version of the KPT-correspondence can not only provide the new insights into the interplay of combinatorial, model-theoretic and topological phenomena this correspondence binds together, but also explores the limits to which categorical treatment of combinatorial phenomena can take us.


title: Mathematical Modelling of Astrophysical Objects and Processes

abstract: In this review, we present some advanced algorithms and programs used in our scientific school with short description of types of astrophysical systems, which we study. However, we discuss mainly mathematical methods, which may be applied to analysis of signal of any nature - in computer science, engineering, economics, social studies, decision making etc. The variety of types of signals need a diversity of adequate complementary specific methods, in an addition to common algorithms. As an example, one may refer to vibrations, stability of mechanisms. Many mathematical equations are common in Science, Technics and Humanities.


title: A minimax framework for quantifying risk-fairness trade-off in regression

abstract: We propose a theoretical framework for the problem of learning a real-valued function which meets fairness requirements. This framework is built upon the notion of $\alpha$-relative (fairness) improvement of the regression function which we introduce using the theory of optimal transport. Setting $\alpha = 0$ corresponds to the regression problem under the Demographic Parity constraint, while $\alpha = 1$ corresponds to the classical regression problem without any constraints. For $\alpha \in (0, 1)$ the proposed framework allows to continuously interpolate between these two extreme cases and to study partially fair predictors. Within this framework we precisely quantify the cost in risk induced by the introduction of the fairness constraint. We put forward a statistical minimax setup and derive a general problem-dependent lower bound on the risk of any estimator satisfying $\alpha$-relative improvement constraint. We illustrate our framework on a model of linear regression with Gaussian design and systematic group-dependent bias, deriving matching (up to absolute constants) upper and lower bounds on the minimax risk under the introduced constraint. We provide a general post-processing strategy which enjoys fairness, risk guarantees and can be applied on top of any black-box algorithm. Finally, we perform a simulation study of the linear model and numerical experiments of benchmark data, validating our theoretical contributions.


title: SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask

abstract: Disassembly of binary code is hard, but necessary for improving the security of binary software. Over the past few decades, research in binary disassembly has produced many tools and frameworks, which have been made available to researchers and security professionals. These tools employ a variety of strategies that grant them different characteristics. The lack of systematization, however, impedes new research in the area and makes selecting the right tool hard, as we do not understand the strengths and weaknesses of existing tools. In this paper, we systematize binary disassembly through the study of nine popular, open-source tools. We couple the manual examination of their code bases with the most comprehensive experimental evaluation (thus far) using 3,788 binaries. Our study yields a comprehensive description and organization of strategies for disassembly, classifying them as either algorithm or else heuristic. Meanwhile, we measure and report the impact of individual algorithms on the results of each tool. We find that while principled algorithms are used by all tools, they still heavily rely on heuristics to increase code coverage. Depending on the heuristics used, different coverage-vs-correctness trade-offs come in play, leading to tools with different strengths and weaknesses. We envision that these findings will help users pick the right tool and assist researchers in improving binary disassembly.


title: Efficient Adaptation of Neural Network Filter for Video Compression

abstract: We present an efficient finetuning methodology for neural-network filters which are applied as a postprocessing artifact-removal step in video coding pipelines. The fine-tuning is performed at encoder side to adapt the neural network to the specific content that is being encoded. In order to maximize the PSNR gain and minimize the bitrate overhead, we propose to finetune only the convolutional layers' biases. The proposed method achieves convergence much faster than conventional finetuning approaches, making it suitable for practical applications. The weight-update can be included into the video bitstream generated by the existing video codecs. We show that our method achieves up to 9.7% average BD-rate gain when compared to the state-of-art Versatile Video Coding (VVC) standard codec on 7 test sequences.


title: On the Convergence of Tsetlin Machines for the IDENTITY- and NOT Operators

abstract: The Tsetlin Machine (TM) is a recent machine learning algorithm with several distinct properties, such as interpretability, simplicity, and hardware-friendliness. Although numerous empirical evaluations report on its performance, the mathematical analysis of its convergence is still open. In this article, we analyze the convergence of the TM with only one clause involved for classification. More specifically, we examine two basic logical operators, namely, the "IDENTITY"- and "NOT" operators. Our analysis reveals that the TM, with just one clause, can converge correctly to the intended logical operator, learning from training data over an infinite time horizon. Besides, it can capture arbitrarily rare patterns and select the most accurate one when two candidate patterns are incompatible, by configuring a granularity parameter. The analysis of the convergence of the two basic operators lays the foundation for analyzing other logical operators. These analyses altogether, from a mathematical perspective, provide new insights on why TMs have obtained state-of-the-art performance on several pattern recognition problems.


title: Can we control the amount of useful nonclassicality in a photon added hypergeometric state?

abstract: Non-Gaussianity inducing operations are studied in the recent past from different perspectives. Here, we study the role of photon addition, a non-Gaussianity inducing operation, in the enhancement of nonclassicality in a finite dimensional quantum state, namely hypergeometric state with the help of some quantifiers and measures of nonclassicality. We observed that measures to characterize the quality of single photon source and anticlassicality lead to the similar conclusion, i.e., to obtain the desired quantum features one has to choose all the state parameters such that average photon numbers remains low. Wigner logarithmic negativity of the photon added hypergeometric state and concurrence of the two-mode entangled state generated at the output of a beamsplitter from this state show that nonclassicality can be enhanced by increasing the state parameter and photon number addition but decreasing the dimension of the state. In principle, decreasing the dimension of the state is analogous to holeburning and is thus expected to increase nonclassicality. Further, the variation of Wigner function not only qualitatively illustrates the same features as observed quantitatively through concurrence potential and Wigner logarithimic negativity, but illustrate non-Gaussianity of the quantum state as well.


title: Cost of quantum entanglement simplified

abstract: Quantum entanglement is a key physical resource in quantum information processing that allows for performing basic quantum tasks such as teleportation and quantum key distribution, which are impossible in the classical world. Ever since the rise of quantum information theory, it has been an open problem to quantify entanglement in an information-theoretically meaningful way. In particular, every previously defined entanglement measure bearing a precise information-theoretic meaning is not known to be efficiently computable, or if it is efficiently computable, then it is not known to have a precise information-theoretic meaning. In this Letter, we meet this challenge by introducing an entanglement measure that has a precise information-theoretic meaning as the exact cost required to prepare an entangled state when two distant parties are allowed to perform quantum operations that completely preserve the positivity of the partial transpose. Additionally, this entanglement measure is efficiently computable by means of a semidefinite program, and it bears a number of useful properties such as additivity and faithfulness. Our results bring key insights into the fundamental entanglement structure of arbitrary quantum states, and they can be used directly to assess and quantify the entanglement produced in quantum-physical experiments.

categories: quant-ph cs.IT hep-th math-ph math.IT math.MP


title: Declarative Experimentation in Information Retrieval using PyTerrier

abstract: The advent of deep machine learning platforms such as Tensorflow and Pytorch, developed in expressive high-level languages such as Python, have allowed more expressive representations of deep neural network architectures. We argue that such a powerful formalism is missing in information retrieval (IR), and propose a framework called PyTerrier that allows advanced retrieval pipelines to be expressed, and evaluated, in a declarative manner close to their conceptual design. Like the aforementioned frameworks that compile deep learning experiments into primitive GPU operations, our framework targets IR platforms as backends in order to execute and evaluate retrieval pipelines. Further, we can automatically optimise the retrieval pipelines to increase their efficiency to suite a particular IR platform backend. Our experiments, conducted on TREC Robust and ClueWeb09 test collections, demonstrate the efficiency benefits of these optimisations for retrieval pipelines involving both the Anserini and Terrier IR platforms.


title: Symmetric Positive Semi-definite Riemannian Geometry with Application to Domain Adaptation

abstract: In this paper, we present new results on the Riemannian geometry of symmetric positive semi-definite (SPSD) matrices. First, based on an existing approximation of the geodesic path, we introduce approximations of the logarithmic and exponential maps. Second, we present a closed-form expression for Parallel Transport (PT). Third, we derive a canonical representation for a set of SPSD matrices. Based on these results, we propose an algorithm for Domain Adaptation (DA) and demonstrate its performance in two applications: fusion of hyper-spectral images and motion identification.


title: Developing a measure of online wellbeing and user trust

abstract: This paper describes the first stage of the ongoing development of two scales to measure online wellbeing and trust, based on the results of a series of workshops with younger and older adults. The first, the Online Wellbeing Scale includes subscales covering both psychological, or eudaimonic, wellbeing and subjective, or hedonic, wellbeing, as well as digital literacy and online activity; the overall aim is to understand how a user's online experiences affect their wellbeing. The second scale, the Trust Index includes three subscales covering the importance of trust to the user, trusting beliefs, and contextual factors; the aim for this scale is to examine trust in online algorithm-driven systems. The scales will be used together to aid researchers in understanding how trust (or lack of trust) relates to overall wellbeing online. They will also contribute to the development of a suite of tools for empowering users to negotiate issues of trust online, as well as in designing guidelines for the inclusion of trust considerations in the development of online algorithm-driven systems. The next step is to release the prototype scales developed as a result of this pilot in a large online study in to validate the measures.


title: Simple combinatorial auctions with budget constraints

abstract: We study the efficiency of simple combinatorial auctions for the allocation of a set of items to a set of agents, with private subadditive valuation functions and budget constraints. The class we consider includes all auctions that allocate each item independently to the agent that submits the highest bid for it, and requests a payment that depends on the bids of all agents only for this item. Two well-known examples of this class are the simultaneous first and second price auctions. We focus on the pure equilibria of the induced strategic games, and using the liquid welfare as our efficiency benchmark, we show an upper bound of 2 on the price of anarchy for any auction in this class, as well as a tight corresponding lower bound on the price of stability for all auctions whose payment rules are convex combinations of the bids. This implies a tight bound of 2 on the price of stability of the well-known simultaneous first and second price auctions, which are members of the class. Additionally, we show lower bounds for the whole class, for more complex auctions (like VCG), and for settings where the budgets are assumed to be common knowledge rather than private information.


title: Ruelle-Taylor resonances of Anosov actions

abstract: Combining microlocal methods and a cohomological theory developped by J. Taylor, we define for $\mathbb{R}^\kappa$-Anosov actions a notion of joint Ruelle resonance spectrum. We prove that these Ruelle-Taylor resonances fit into a Fredholm theory, are intrinsic and form a discrete subset of $\mathbb{C}^\kappa$, with $\lambda=0$ being always a leading resonance. The joint resonant states at $0$ give rise to some new measures of SRB type and the mixing properties of these measures are related to the existence of purely imaginary resonances. The spectral theory developed in this article applies in particular to the case of Weyl chamber flows and provides a new way to study such flows.


title: A Survey of Software Code Review Practices in Brazil

abstract: Context: Software code review aims to early find code anomalies and to perform code improvements when they are less expensive. However, issues and challenges faced by developers who do not apply code review practices regularly are unclear. Goal: Investigate difficulties developers face to apply code review practices without limiting the target audience to developers who already use this practice regularly. Method: We conducted a web-based survey with 350 Brazilian practitioners engaged on the software development industry. Results: Code review practices are widespread among Brazilian practitioners who recognize its importance. However, there is no routine for applying these practices. In addition, they report difficulties to fit static analysis tools in the software development process. One possible reason recognized by practitioners is that most of these tools use a single metric threshold, which might be not adequate to evaluate all system classes. Conclusion: Improving guidelines to fit code review practices into the software development process could help to make them widely used. Additionally, future studies should investigate whether multiple metric thresholds that take source code context into account reduce static analysis tool false alarms. Finally, these tools should allow their use in distinct phases of the software development process.


title: Density of monochromatic infinite subgraphs II

abstract: Since 1967, there have been hundreds of papers on finite graph-Ramsey theory with many of the most important results being motivated by a series of conjectures of Burr and Erd\H{o}s about graphs with linear Ramsey numbers. In a sense, this paper begins a systematic study of (quantitative) countably infinite graph-Ramsey theory, focusing on infinite analogues of the Burr-Erd\H{o}s conjectures. The following are some of our main results. (i) Let $G$ be a countably infinite, (one-way) locally finite graph with chromatic number $\chi<\infty$. Every 2-colored $K_\mathbb{N}$ contains a monochromatic copy of $G$ with upper density at least $\frac{1}{2(\chi-1)}$. (ii) Let $G$ be a countably infinite graph having the property that there exists a finite set $X\subseteq V(G)$ such that $G-X$ has no finite dominating set (in particular, graphs with bounded degeneracy have this property, as does the infinite random graph). Every finitely-colored $K_\mathbb{N}$ contains a monochromatic copy of $G$ with positive upper density. (iii) Let $T$ be a countably infinite forest. Every 2-colored $K_\mathbb{N}$ contains a monochromatic copy of $T$ of upper density at least $1/2$. In particular, this is best possible for $T_\infty$, the tree in which every vertex has infinite degree. (iv) Surprisingly, there exist connected graphs $G$ such that every 2-colored $K_\mathbb{N}$ contains a monochromatic copy of $G$ which covers all but finitely many vertices of $\mathbb{N}$. In fact, we classify all forests with this property.


title: Visualising the Vertical Energetic Landscape in Organic Photovoltaics

abstract: Energy level diagrams in organic electronic devices play a crucial role in device performance and interpretation of device physics. In the case of organic solar cells, it has become routine to estimate the photovoltaic gap of the donor:acceptor blend using the energy values measured on the individual blend components, resulting in a poor agreement with the corresponding open-circuit voltage of the device. To address this issue, we developed a method that allows a direct visualisation of the vertical energetic landscape in the blend, obtained by combining ultraviolet photoemission spectroscopy and argon cluster etching. We investigate both model and high-performance photovoltaic systems and demonstrate that the resulting photovoltaic gaps are in close agreement with the measured CT energies and open-circuit voltages. Furthermore, we show that this method allows us to study the evolution of the energetic landscape upon environmental degradation, critically important for understanding degradation mechanisms and development of mitigation strategies.


title: Bowen-York Model Solution Redux

abstract: Initial value problem in General Relativity is often solved numerically; with only a few exceptions one of which is the "model" solution of Bowen and York where an analytical form of the solution is available. The solution describes a dynamical, time-asymmetric, gravitating system with mass and linear momentum. Here we revisit this solution and correct an error which turns out to be important for identifying the energy-content of the solution. Depending on the linear momentum, the ratio of the non-stationary part of the initial energy to the total ADM energy takes values between $[0, 0.592)$. This non-stationary part is expected to be turned into gravitational waves during the evolution of the system to possibly settle down to a black hole with mass and linear momentum. In the ultra-relativistic case (the high momentum limit), the maximum amount of gravitational wave energy is $59.2 \%$ of the total ADM energy. We also give a detailed account of the general solution of the Hamiltonian constraint.


title: Ultra-fast calorimetric measurements of the electronic heat capacity of graphene

abstract: Heat capacity is an invaluable quantity in condensed matter physics, yet it has been so far experimentally inaccessible in two-dimensional (2D) van der Waals (vdW) materials, owing to their ultra-fast thermal relaxation times and the lack of suitable nano-scale thermometers. Here, we demonstrate a novel thermal relaxation calorimetry scheme that allows the first measurements of the electronic heat capacity of graphene Ce. It is enabled by the grouping of a radio-frequency Johnson noise thermometer, which can measure the electronic temperature Te with a measurement sensitivity of {\delta}Te ~ 20 mK, and an ultra-fast photo-mixed optical heater, which can simultaneously modulate Te with a frequency of up to {\Omega}=0.2 THz. This combination allows record sensitive and record fast measurements of the electronic heat capacity Ce < 10^(-19) J/K, with an electronic thermal relaxation time {\tau}e < 10^(-13), representing orders of magnitude improvements as compared to previous state-of-the-art calorimeters. These features embody a breakthrough in heat capacity metrology of nano-scale and low-dimensional systems, and provide a new avenue for the investigation of their thermodynamic quantities.


title: DeepMP for Non-Negative Sparse Decomposition

abstract: Non-negative signals form an important class of sparse signals. Many algorithms have already beenproposed to recover such non-negative representations, where greedy and convex relaxed algorithms are among the most popular methods. The greedy techniques are low computational cost algorithms, which have also been modified to incorporate the non-negativity of the representations. One such modification has been proposed for Matching Pursuit (MP) based algorithms, which first chooses positive coefficients and uses a non-negative optimisation technique that guarantees the non-negativity of the coefficients. The performance of greedy algorithms, like all non-exhaustive search methods, suffer from high coherence with the linear generative model, called the dictionary. We here first reformulate the non-negative matching pursuit algorithm in the form of a deep neural network. We then show that the proposed model after training yields a significant improvement in terms of exact recovery performance, compared to other non-trained greedy algorithms, while keeping the complexity low.


title: Variational Monte Carlo calculations of $\mathbf{A\leq 4}$ nuclei with an artificial neural-network correlator ansatz

abstract: The complexity of many-body quantum wave functions is a central aspect of several fields of physics and chemistry where non-perturbative interactions are prominent. Artificial neural networks (ANNs) have proven to be a flexible tool to approximate quantum many-body states in condensed matter and chemistry problems. In this work we introduce a neural-network quantum state ansatz to model the ground-state wave function of light nuclei, and approximately solve the nuclear many-body Schr\"odinger equation. Using efficient stochastic sampling and optimization schemes, our approach extends pioneering applications of ANNs in the field, which present exponentially-scaling algorithmic complexity. We compute the binding energies and point-nucleon densities of $A\leq 4$ nuclei as emerging from a leading-order pionless effective field theory Hamiltonian. We successfully benchmark the ANN wave function against more conventional parametrizations based on two- and three-body Jastrow functions, and virtually-exact Green's function Monte Carlo results.


title: Faster Mean-shift: GPU-accelerated clustering for cosine embedding-based cell segmentation and tracking

abstract: Recently, single-stage embedding based deep learning algorithms gain increasing attention in cell segmentation and tracking. Compared with the traditional "segment-then-associate" two-stage approach, a single-stage algorithm not only simultaneously achieves consistent instance cell segmentation and tracking but also gains superior performance when distinguishing ambiguous pixels on boundaries and overlaps. However, the deployment of an embedding based algorithm is restricted by slow inference speed (e.g., around 1-2 mins per frame). In this study, we propose a novel Faster Mean-shift algorithm, which tackles the computational bottleneck of embedding based cell segmentation and tracking. Different from previous GPU-accelerated fast mean-shift algorithms, a new online seed optimization policy (OSOP) is introduced to adaptively determine the minimal number of seeds, accelerate computation, and save GPU memory. With both embedding simulation and empirical validation via the four cohorts from the ISBI cell tracking challenge, the proposed Faster Mean-shift algorithm achieved 7-10 times speedup compared to the state-of-the-art embedding based cell instance segmentation and tracking algorithm. Our Faster Mean-shift algorithm also achieved the highest computational speed compared to other GPU benchmarks with optimized memory consumption. The Faster Mean-shift is a plug-and-play model, which can be employed on other pixel embedding based clustering inference for medical image analysis. (Plug-and-play model is publicly available: https://github.com/masqm/Faster-Mean-Shift)


title: Discrepancy Minimization in Domain Generalization with Generative Nearest Neighbors

abstract: Domain generalization (DG) deals with the problem of domain shift where a machine learning model trained on multiple-source domains fail to generalize well on a target domain with different statistics. Multiple approaches have been proposed to solve the problem of domain generalization by learning domain invariant representations across the source domains that fail to guarantee generalization on the shifted target domain. We propose a Generative Nearest Neighbor based Discrepancy Minimization (GNNDM) method which provides a theoretical guarantee that is upper bounded by the error in the labeling process of the target. We employ a Domain Discrepancy Minimization Network (DDMN) that learns domain agnostic features to produce a single source domain while preserving the class labels of the data points. Features extracted from this source domain are learned using a generative model whose latent space is used as a sampler to retrieve the nearest neighbors for the target data points. The proposed method does not require access to the domain labels (a more realistic scenario) as opposed to the existing approaches. Empirically, we show the efficacy of our method on two datasets: PACS and VLCS. Through extensive experimentation, we demonstrate the effectiveness of the proposed method that outperforms several state-of-the-art DG methods.


title: Theory of Deep Convolutional Neural Networks II: Spherical Analysis

abstract: Deep learning based on deep neural networks of various structures and architectures has been powerful in many practical applications, but it lacks enough theoretical verifications. In this paper, we consider a family of deep convolutional neural networks applied to approximate functions on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$. Our analysis presents rates of uniform approximation when the approximated function lies in the Sobolev space $W^r_\infty (\mathbb{S}^{d-1})$ with $r>0$ or takes an additive ridge form. Our work verifies theoretically the modelling and approximation ability of deep convolutional neural networks followed by downsampling and one fully connected layer or two. The key idea of our spherical analysis is to use the inner product form of the reproducing kernels of the spaces of spherical harmonics and then to apply convolutional factorizations of filters to realize the generated linear features.


title: Lipschitz graphs and currents in Heisenberg groups

abstract: The main result of the present paper is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension $k\leq n$ in sub-Riemannian Heisenberg groups $\mathbb H^n$. For the purpose of proving such a result we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: these results stem both from a new definition (equivalent to the one introduced by F. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher's Theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated Constancy Theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin's complex of differential forms, we also provide a convenient basis of Rumin's spaces. Eventually, we provide some applications of Rademacher's Theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between $\mathbb H$-rectifiability and ``Lipschitz'' $\mathbb H$-rectifiability, and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.


title: Quarkonia formation in a holographic gravity-dilaton background describing QCD thermodynamics

abstract: A holographic model of probe quarkonia is presented, where the dynamical gravity-dilaton background is adjusted to the thermodynamics of 2 +1 flavor QCD with physical quark masses. The quarkonia action is modified to account for a systematic study of the heavy-quark mass dependence. We focus on the $J/\psi$ and $\Upsilon$ spectral functions and relate our model to heavy quarkonia formation as a special aspect of hadron phenomenology in heavy-ion collisions at LHC.


title: Quantum computing model of an artificial neuron with continuously valued input data

abstract: Artificial neural networks have been proposed as potential algorithms that could benefit from being implemented and run on quantum computers. In particular, they hold promise to greatly enhance Artificial Intelligence tasks, such as image elaboration or pattern recognition. The elementary building block of a neural network is an artificial neuron, i.e. a computational unit performing simple mathematical operations on a set of data in the form of an input vector. Here we show how the design for the implementation of a previously introduced quantum artificial neuron [npj Quant. Inf. $\textbf{5}$, 26], which fully exploits the use of superposition states to encode binary valued input data, can be further generalized to accept continuous -- instead of discrete-valued input vectors, without increasing the number of qubits. This further step is crucial to allow for a direct application of an automatic differentiation learning procedure, which would not be compatible with binary-valued data encoding.


title: Light Dark Matter Search with a High-Resolution Athermal Phonon Detector Operated Above Ground

abstract: We present limits on spin-independent dark matter-nucleon interactions using a $10.6$ $\mathrm{g}$ Si athermal phonon detector with a baseline energy resolution of $\sigma_E=3.86 \pm 0.04$ $(\mathrm{stat.})^{+0.19}_{-0.00}$ $(\mathrm{syst.})$ $\mathrm{eV}$. This exclusion analysis sets the most stringent dark matter-nucleon scattering cross-section limits achieved by a cryogenic detector for dark matter particle masses from $93$ to $140$ $\mathrm{MeV}/c^2$, with a raw exposure of $9.9$ $\mathrm{g}\cdot\mathrm{d}$ acquired at an above-ground facility. This work illustrates the scientific potential of detectors with athermal phonon sensors with eV-scale energy resolution for future dark matter searches.


title: Learning Stable Manoeuvres in Quadruped Robots from Expert Demonstrations

abstract: With the research into development of quadruped robots picking up pace, learning based techniques are being explored for developing locomotion controllers for such robots. A key problem is to generate leg trajectories for continuously varying target linear and angular velocities, in a stable manner. In this paper, we propose a two pronged approach to address this problem. First, multiple simpler policies are trained to generate trajectories for a discrete set of target velocities and turning radius. These policies are then augmented using a higher level neural network for handling the transition between the learned trajectories. Specifically, we develop a neural network-based filter that takes in target velocity, radius and transforms them into new commands that enable smooth transitions to the new trajectory. This transformation is achieved by learning from expert demonstrations. An application of this is the transformation of a novice user's input into an expert user's input, thereby ensuring stable manoeuvres regardless of the user's experience. Training our proposed architecture requires much less expert demonstrations compared to standard neural network architectures. Finally, we demonstrate experimentally these results in the in-house quadruped Stoch 2.


title: Equivariant harmonic maps depend real analytically on the representation

abstract: We prove that when assuming suitable non-degeneracy conditions equivariant harmonic maps into symmetric spaces of non-compact type depend in a real analytic fashion on the representation they are associated to. The main tool in the proof is the construction of a family of deformation maps which are used to transform equivariant harmonic maps into maps mapping into a fixed target space so that a real analytic version of the results in \cite{EellsLemaire} can be applied.


title: Monochrome and Color Polarization Demosaicking Using Edge-Aware Residual Interpolation

abstract: A division-of-focal-plane or microgrid image polarimeter enables us to acquire a set of polarization images in one shot. Since the polarimeter consists of an image sensor equipped with a monochrome or color polarization filter array (MPFA or CPFA), the demosaicking process to interpolate missing pixel values plays a crucial role in obtaining high-quality polarization images. In this paper, we propose a novel MPFA demosaicking method based on edge-aware residual interpolation (EARI) and also extend it to CPFA demosaicking. The key of EARI is a new edge detector for generating an effective guide image used to interpolate the missing pixel values. We also present a newly constructed full color-polarization image dataset captured using a 3-CCD camera and a rotating polarizer. Using the dataset, we experimentally demonstrate that our EARI-based method outperforms existing methods in MPFA and CPFA demosaicking.