title: Deep Interleaved Network for Image Super-Resolution With Asymmetric Co-Attention

abstract: Recently, Convolutional Neural Networks (CNN) based image super-resolution (SR) have shown significant success in the literature. However, these methods are implemented as single-path stream to enrich feature maps from the input for the final prediction, which fail to fully incorporate former low-level features into later high-level features. In this paper, to tackle this problem, we propose a deep interleaved network (DIN) to learn how information at different states should be combined for image SR where shallow information guides deep representative features prediction. Our DIN follows a multi-branch pattern allowing multiple interconnected branches to interleave and fuse at different states. Besides, the asymmetric co-attention (AsyCA) is proposed and attacked to the interleaved nodes to adaptively emphasize informative features from different states and improve the discriminative ability of networks. Extensive experiments demonstrate the superiority of our proposed DIN in comparison with the state-of-the-art SR methods.


title: Sensor selection on graphs via data-driven node sub-sampling in network time series

abstract: This paper is concerned by the problem of selecting an optimal sampling set of sensors over a network of time series for the purpose of signal recovery at non-observed sensors with a minimal reconstruction error. The problem is motivated by applications where time-dependent graph signals are collected over redundant networks. In this setting, one may wish to only use a subset of sensors to predict data streams over the whole collection of nodes in the underlying graph. A typical application is the possibility to reduce the power consumption in a network of sensors that may have limited battery supplies. We propose and compare various data-driven strategies to turn off a fixed number of sensors or equivalently to select a sampling set of nodes. We also relate our approach to the existing literature on sensor selection from multivariate data with a (possibly) underlying graph structure. Our methodology combines tools from multivariate time series analysis, graph signal processing, statistical learning in high-dimension and deep learning. To illustrate the performances of our approach, we report numerical experiments on the analysis of real data from bike sharing networks in different cities.


title: Selected Topics in Statistical Computing

abstract: The field of computational statistics refers to statistical methods or tools that are computationally intensive. Due to the recent advances in computing power some of these methods have become prominent and central to modern data analysis. In this article we focus on several of the main methods including density estimation, kernel smoothing, smoothing splines, and additive models. While the field of computational statistics includes many more methods, this article serves as a brief introduction to selected popular topics.


title: Fast Scanning Probe Microscopy via Machine Learning: Non-rectangular scans with compressed sensing and Gaussian process optimization

abstract: Fast scanning probe microscopy enabled via machine learning allows for a broad range of nanoscale, temporally resolved physics to be uncovered. However, such examples for functional imaging are few in number. Here, using piezoresponse force microscopy (PFM) as a model application, we demonstrate a factor of 5.8 improvement in imaging rate using a combination of sparse spiral scanning with compressive sensing and Gaussian processing reconstruction. It is found that even extremely sparse scans offer strong reconstructions with less than 6 % error for Gaussian processing reconstructions. Further, we analyze the error associated with each reconstructive technique per reconstruction iteration finding the error is similar past approximately 15 iterations, while at initial iterations Gaussian processing outperforms compressive sensing. This study highlights the capabilities of reconstruction techniques when applied to sparse data, particularly sparse spiral PFM scans, with broad applications in scanning probe and electron microscopies.


title: Diffusion MRI Consistent Wire Models for Efficient Solutions of the Anisotropic Forward Problem in Electroencephalography

abstract: The surface Boundary Element Method (BEM) is one of the most commonly employed formulations to solve the forward problem in electroencephalography, but the applicability of its classical incarnations is lamentably limited to piece-wise homogeneous media. Several head tissues, however, are strongly anisotropic due to their complex underlying micro-structure. This implies that standard boundary integral formulations oversimplify the electrical properties of the head and produce unrealistic solutions, something that drastically limits the suitability and impact of BEM technologies to brain imaging. This contribution addresses this issue by observing that the brain anisotropy in the white matter is due to the presence of neuronal wire-like structures. We then extend the well known wire integral equations used for high frequency problems to the imperfectly conducting quasi-static case and we propose a new hybrid wire/surface/volume integral equation. When applied on multimodal magnetic resonance images combined with tractography, this new approach can flexibly and realistically handle the conductivity anisotropy in any head compartment providing high level of accuracy and efficiency. The beneficial properties of the new formulation together with its impact on brain imaging is demonstrated via numerical results on both canonical and realistic case scenarios.


title: Domain Adaptive Transfer Attack (DATA)-based Segmentation Networks for Building Extraction from Aerial Images

abstract: Semantic segmentation models based on convolutional neural networks (CNNs) have gained much attention in relation to remote sensing and have achieved remarkable performance for the extraction of buildings from high-resolution aerial images. However, the issue of limited generalization for unseen images remains. When there is a domain gap between the training and test datasets, CNN-based segmentation models trained by a training dataset fail to segment buildings for the test dataset. In this paper, we propose segmentation networks based on a domain adaptive transfer attack (DATA) scheme for building extraction from aerial images. The proposed system combines the domain transfer and adversarial attack concepts. Based on the DATA scheme, the distribution of the input images can be shifted to that of the target images while turning images into adversarial examples against a target network. Defending adversarial examples adapted to the target domain can overcome the performance degradation due to the domain gap and increase the robustness of the segmentation model. Cross-dataset experiments and the ablation study are conducted for the three different datasets: the Inria aerial image labeling dataset, the Massachusetts building dataset, and the WHU East Asia dataset. Compared to the performance of the segmentation network without the DATA scheme, the proposed method shows improvements in the overall IoU. Moreover, it is verified that the proposed method outperforms even when compared to feature adaptation (FA) and output space adaptation (OSA).


title: Decoupling Global and Local Representations via Invertible Generative Flows

abstract: In this work, we propose a new generative model that is capable of automatically decoupling global and local representations of images in an entirely unsupervised setting, by embedding a generative flow in the VAE framework to model the decoder. Specifically, the proposed model utilizes the variational auto-encoding framework to learn a (low-dimensional) vector of latent variables to capture the global information of an image, which is fed as a conditional input to a flow-based invertible decoder with architecture borrowed from style transfer literature. Experimental results on standard image benchmarks demonstrate the effectiveness of our model in terms of density estimation, image generation and unsupervised representation learning. Importantly, this work demonstrates that with only architectural inductive biases, a generative model with a likelihood-based objective is capable of learning decoupled representations, requiring no explicit supervision. The code for our model is available at https://github.com/XuezheMax/wolf.


title: Galactic population of black holes in detached binaries with low-mass stripped helium stars: the case of LB-1 (LS~V+22~25)

abstract: We model the Galactic population of detached binaries that harbor black holes with (0.5-1.7) solar mass companions -- the remnants of case B mass-exchange that rapidly cross Hertzsprung gap after the termination of the Roche-lobe overflow or as He-shell burning stars. Several such binaries can be currently present in the Galaxy. The range of black hole masses in them is about 4 to 10 solar ones, the orbital periods are tens to hundreds day. The unique BH-binary LB-1 fits well into this extremely rare class of double stars.


title: 3D Human Pose Estimation using Spatio-Temporal Networks with Explicit Occlusion Training

abstract: Estimating 3D poses from a monocular video is still a challenging task, despite the significant progress that has been made in recent years. Generally, the performance of existing methods drops when the target person is too small/large, or the motion is too fast/slow relative to the scale and speed of the training data. Moreover, to our knowledge, many of these methods are not designed or trained under severe occlusion explicitly, making their performance on handling occlusion compromised. Addressing these problems, we introduce a spatio-temporal network for robust 3D human pose estimation. As humans in videos may appear in different scales and have various motion speeds, we apply multi-scale spatial features for 2D joints or keypoints prediction in each individual frame, and multi-stride temporal convolutional net-works (TCNs) to estimate 3D joints or keypoints. Furthermore, we design a spatio-temporal discriminator based on body structures as well as limb motions to assess whether the predicted pose forms a valid pose and a valid movement. During training, we explicitly mask out some keypoints to simulate various occlusion cases, from minor to severe occlusion, so that our network can learn better and becomes robust to various degrees of occlusion. As there are limited 3D ground-truth data, we further utilize 2D video data to inject a semi-supervised learning capability to our network. Experiments on public datasets validate the effectiveness of our method, and our ablation studies show the strengths of our network\'s individual submodules.


title: Facial Expression Recognition with Deep Learning

abstract: One of the most universal ways that people communicate is through facial expressions. In this paper, we take a deep dive, implementing multiple deep learning models for facial expression recognition (FER). Our goals are twofold: we aim not only to maximize accuracy, but also to apply our results to the real-world. By leveraging numerous techniques from recent research, we demonstrate a state-of-the-art 75.8% accuracy on the FER2013 test set, outperforming all existing publications. Additionally, we showcase a mobile web app which runs our FER models on-device in real time.


title: Detecting Unsigned Physical Road Incidents from Driver-View Images

abstract: Safety on roads is of uttermost importance, especially in the context of autonomous vehicles. A critical need is to detect and communicate disruptive incidents early and effectively. In this paper we propose a system based on an off-the-shelf deep neural network architecture that is able to detect and recognize types of unsigned (non-placarded, such as traffic signs), physical (visible in images) road incidents. We develop a taxonomy for unsigned physical incidents to provide a means of organizing and grouping related incidents. After selecting eight target types of incidents, we collect a dataset of twelve thousand images gathered from publicly-available web sources. We subsequently fine-tune a convolutional neural network to recognize the eight types of road incidents. The proposed model is able to recognize incidents with a high level of accuracy (higher than 90%). We further show that while our system generalizes well across spatial context by training a classifier on geostratified data in the United Kingdom (with an accuracy of over 90%), the translation to visually less similar environments requires spatially distributed data collection. Note: this is a pre-print version of work accepted in IEEE Transactions on Intelligent Vehicles (T-IV;in press). The paper is currently in production, and the DOI link will be added soon.


title: Plasticity and Aging of Folded Elastic Sheets

abstract: We investigate the dissipative mechanisms exhibited by creased material sheets when subjected to mechanical loading, which comes in the form of plasticity and relaxation phenomena within the creases. After demonstrating that plasticity mostly affects the rest angle of the creases, we devise a mapping between this quantity and the macroscopic state of the system that allows us to track its reference configuration along an arbitrary loading path, resulting in a powerful monitoring and design tool for crease-based metamaterials. Furthermore, we show that complex relaxation phenomena, in particular memory effects, can give rise to a non-monotonic response at the crease level, possibly relating to the similar behavior reported for crumpled sheets. We describe our observations through a classical double-logarithmic time evolution and obtain a constitutive behavior compatible with that of the underlying material. Thus the lever effect provided by the crease allows magnified access to the material's rheology.


title: Dynamical Systems and Neural Networks

abstract: Neural Networks (NNs) have been identified as a potentially powerful tool in the study of complex dynamical systems. A good example is the NN differential equation (DE) solver, which provides closed form, differentiable, functional approximations for the evolution of a wide variety of dynamical systems. A major disadvantage of such NN solvers can be the amount of computational resources needed to achieve accuracy comparable to existing numerical solvers. We present new strategies for existing dynamical system NN DE solvers, making efficient use of the \textit{learnt} information, to speed up their training process, while still pursuing a completely unsupervised approach. We establish a fundamental connection between NN theory and dynamical systems theory via Koopman Operator Theory (KOT), by showing that the usual training processes for Neural Nets are fertile ground for identifying multiple Koopman operators of interest. We end by illuminating certain applications that KOT might have for NNs in general.


title: A model reduction approach for inverse problems with operator valued data

abstract: We study the efficient numerical solution of linear inverse problems with operator valued data which arise, e.g., in seismic exploration, inverse scattering, or tomographic imaging. The high-dimensionality of the data space implies extremely high computational cost already for the evaluation of the forward operator which makes a numerical solution of the inverse problem, e.g., by iterative regularization methods, practically infeasible. To overcome this obstacle, we take advantage of the underlying tensor product structure of the problem and propose a strategy for constructing low-dimensional certified reduced order models of quasi-optimal rank for the forward operator which can be computed much more efficiently than the truncated singular value decomposition. A complete analysis of the proposed model reduction approach is given in a functional analytic setting and the efficient numerical construction of the reduced order models as well as of their application for the numerical solution of the inverse problem is discussed. In summary, the setup of a low-rank approximation can be achieved in an offline stage at essentially the same cost as a single evaluation of the forward operator, while the actual solution of the inverse problem in the online phase can be done with extremely high efficiency. The theoretical results are illustrated by application to a typical model problem in fluorescence optical tomography.


title: A note on a stability result for the Fano plane

abstract: In this note, we adapt the Keevash-Sudakov proof of the (Tur\'{a}n) Stability Theorem for the Fano plane to find an explicit dependency between the parameters $\varepsilon$ and $\delta$. This is useful in the solution of a multicolored version for hypergraphs of an extremal problem about edge-colorings, known as the Erd\H{o}s-Rothschild problem, which may be considered for the Fano plane.


title: A survey on domain adaptation theory: learning bounds and theoretical guarantees

abstract: All famous machine learning algorithms that comprise both supervised and semi-supervised learning work well only under a common assumption: the training and test data follow the same distribution. When the distribution changes, most statistical models must be reconstructed from newly collected data, which for some applications can be costly or impossible to obtain. Therefore, it has become necessary to develop approaches that reduce the need and the effort to obtain new labeled samples by exploiting data that are available in related areas, and using these further across similar fields. This has given rise to a new machine learning framework known as transfer learning: a learning setting inspired by the capability of a human being to extrapolate knowledge across tasks to learn more efficiently. Despite a large amount of different transfer learning scenarios, the main objective of this survey is to provide an overview of the state-of-the-art theoretical results in a specific, and arguably the most popular, sub-field of transfer learning, called domain adaptation. In this sub-field, the data distribution is assumed to change across the training and the test data, while the learning task remains the same. We provide a first up-to-date description of existing results related to domain adaptation problem that cover learning bounds based on different statistical learning frameworks.


title: A rigorous derivation and energetics of a wave equation with fractional damping

abstract: We consider a linear system that consists of a linear wave equation on a horizontal hypersurface and a parabolic equation in the half space below. The model describes longitudinal elastic waves in organic monolayers at the water-air interface, which is an experimental setup that is relevant for understanding wave propagation in biological membranes. We study the scaling regime where the relevant horizontal length scale is much larger than the vertical length scale and provide a rigorous limit leading to a fractionally-damped wave equation for the membrane. We provide the associated existence results via linear semigroup theory and show convergence of the solutions in the scaling limit. Moreover, based on the energy-dissipation structure for the full model, we derive a natural energy and a natural dissipation function for the fractionally-damped wave equation with a time derivative of order 3/2


title: Curvature blow-up rates in spherically symmetric gravitational collapse to a Schwarzschild black hole

abstract: We study the black hole interiors of spacetimes arising from gravitational collapse in the spherically symmetric Einstein-scalar field setting, and we investigate the precise blow-up rates of curvature and mass at the spacelike singularity near timelike infinity. We show in particular that the Kretschmann scalar blows up faster than in the Schwarzschild setting, due to mass inflation. Moreover, the blow-up rate is not constant and converges to the Schwarzschild rate towards timelike infinity and it depends on the precise late-time polynomial behaviour of the scalar field along the event horizon. This indicates a new blow-up phenomenon, driven by a PDE mechanism, rather than an ODE mechanism.


title: Constrained stochastic LQ control with regime switching and application to portfolio selection

abstract: This paper is concerned with a stochastic linear-quadratic optimal control problem with regime switching, random coefficients, and cone control constraint. The randomness of the coefficients comes from two aspects: the Brownian motion and the Markov chain. Using It\^{o}'s lemma for Markov chain, we obtain the optimal state feedback control and optimal cost value explicitly via two new systems of extended stochastic Riccati equations (ESREs). We prove the existence and uniqueness of the two ESREs using tools including multidimensional comparison theorem, truncation function technique, log transformation and the John-Nirenberg inequality. These results are then applied to study mean-variance portfolio selection problems with and without short-selling prohibition with random parameters depending on both the Brownian motion and the Markov chain. Finally, the efficient portfolios and efficient frontiers are presented in closed forms.


title: Downlink Spectral Efficiency of Cell-Free Massive MIMO Systems with Multi-antenna Users

abstract: This paper studies a cell-free massive multiple-input multiple-output (MIMO) system where its access points (APs) and users are equipped with multiple antennas. Two transmission protocols are considered. In the first transmission protocol, there are no downlink pilots, while in the second transmission protocol, downlink pilots are proposed in order to improve the system performance. In both transmission protocols, the users use the minimum mean-squared error-based successive interference cancellation (MMSE-SIC) scheme to detect the desired signals. For the analysis, we first derive a general spectral efficiency formula with arbitrary side information at the users. Then analytical expressions for the spectral efficiency of different transmission protocols are derived. To improve the spectral efficiency (SE) of the system, max-min fairness power control (PC) is applied for the first protocol by using the closed-form expression of its SE. Due to the computation complexity of deriving the closed-form performance expression of SE for the second protocol, we apply the optimal power coefficients of the first protocol to the second protocol. Numerical results show that two protocols combining with multi-antenna users are prerequisites to achieve the suboptimal SE regardless of the number of user in the system.


title: Pattern-based Long Short-term Memory for Mid-term Electrical Load Forecasting

abstract: This work presents a Long Short-Term Memory (LSTM) network for forecasting a monthly electricity demand time series with a one-year horizon. The novelty of this work is the use of pattern representation of the seasonal time series as an alternative to decomposition. Pattern representation simplifies the complex nonlinear and nonstationary time series, filtering out the trend and equalizing variance. Two types of patterns are defined: x-pattern and y-pattern. The former requires additional forecasting for the coding variables. The latter determines the coding variables from the process history. A hybrid approach based on x-patterns turned out to be more accurate than the standard LSTM approach based on a raw time series. In this combined approach an x-pattern is forecasted using a sequence-to-sequence LSTM network and the coding variables are forecasted using exponential smoothing. A simulation study performed on the monthly electricity demand time series for 35 European countries confirmed the high performance of the proposed model and its competitiveness to classical models such as ARIMA and exponential smoothing as well as the MLP neural network model.


title: Structure of multicorrelation sequences with integer part polynomial iterates along primes

abstract: Let $T$ be a measure preserving $\mathbb{Z}^\ell$-action on the probability space $(X,{\mathcal B},\mu),$ $q_1,\dots,q_m:{\mathbb R}\to{\mathbb R}^\ell$ vector polynomials, and $f_0,\dots,f_m\in L^\infty(X)$. For any $\epsilon > 0$ and multicorrelation sequences of the form $\displaystyle\alpha(n)=\int_Xf_0\cdot T^{ \lfloor q_1(n) \rfloor }f_1\cdots T^{ \lfloor q_m(n) \rfloor }f_m\;d\mu$ we show that there exists a nilsequence $\psi$ for which $\displaystyle\lim_{N - M \to \infty} \frac{1}{N-M} \sum_{n=M}^{N-1} |\alpha(n) - \psi(n)| \leq \epsilon$ and $\displaystyle\lim_{N \to \infty} \frac{1}{\pi(N)} \sum_{p \in {\mathbb P}\cap[1,N]} |\alpha(p) - \psi(p)| \leq \epsilon.$ This result simultaneously generalizes previous results of Frantzikinakis [2] and the authors [11,13].


title: Convolutional Neural Network Array for Sign Language Recognition using Wearable IMUs

abstract: Advancements in gesture recognition algorithms have led to a significant growth in sign language translation. By making use of efficient intelligent models, signs can be recognized with precision. The proposed work presents a novel one-dimensional Convolutional Neural Network (CNN) array architecture for recognition of signs from the Indian sign language using signals recorded from a custom designed wearable IMU device. The IMU device makes use of tri-axial accelerometer and gyroscope. The signals recorded using the IMU device are segregated on the basis of their context, such as whether they correspond to signing for a general sentence or an interrogative sentence. The array comprises of two individual CNNs, one classifying the general sentences and the other classifying the interrogative sentence. Performances of individual CNNs in the array architecture are compared to that of a conventional CNN classifying the unsegregated dataset. Peak classification accuracies of 94.20% for general sentences and 95.00% for interrogative sentences achieved with the proposed CNN array in comparison to 93.50% for conventional CNN assert the suitability of the proposed approach.


title: The Covering-Assignment Problem for Swarm-powered Ad-hoc Clouds: A Distributed 3D Mapping Use-case

abstract: The popularity of drones is rapidly increasing across the different sectors of the economy. Aerial capabilities and relatively low costs make drones the perfect solution to improve the efficiency of those operations that are typically carried out by humans (e.g., building inspection, photo collection). The potential of drone applications can be pushed even further when they are operated in fleets and in a fully autonomous manner, acting de facto as a drone swarm. Besides automating field operations, a drone swarm can serve as an ad-hoc cloud infrastructure built on top of computing and storage resources available across the swarm members and other connected elements. Even in the absence of Internet connectivity, this cloud can serve the workloads generated by the swarm members themselves, as well as by the field agents operating within the area of interest. By considering the practical example of a swarm-powered 3D reconstruction application, we present a new optimization problem for the efficient generation and execution, on top of swarm-powered ad-hoc cloud infrastructure, of multi-node computing workloads subject to data geolocation and clustering constraints. The objective is the minimization of the overall computing times, including both networking delays caused by the inter-drone data transmission and computation delays. We prove that the problem is NP-hard and present two combinatorial formulations to model it. Computational results on the solution of the formulations show that one of them can be used to solve, within the configured time-limit, more than 50% of the considered real-world instances involving up to two hundred images and six drones.


title: Analysis of Social Media Data using Multimodal Deep Learning for Disaster Response

abstract: Multimedia content in social media platforms provides significant information during disaster events. The types of information shared include reports of injured or deceased people, infrastructure damage, and missing or found people, among others. Although many studies have shown the usefulness of both text and image content for disaster response purposes, the research has been mostly focused on analyzing only the text modality in the past. In this paper, we propose to use both text and image modalities of social media data to learn a joint representation using state-of-the-art deep learning techniques. Specifically, we utilize convolutional neural networks to define a multimodal deep learning architecture with a modality-agnostic shared representation. Extensive experiments on real-world disaster datasets show that the proposed multimodal architecture yields better performance than models trained using a single modality (e.g., either text or image).


title: Detecting Driver's Distraction using Long-term Recurrent Convolutional Network

abstract: In this study we demonstrate a novel Brain Computer Interface (BCI) approach to detect driver distraction events to improve road safety. We use a commercial wireless headset that generates EEG signals from the brain. We collected real EEG signals from participants who undertook a 40-minute driving simulation and were required to perform different tasks while driving. These signals are segmented into short windows and labelled using a time series classification (TSC) model. We studied different TSC approaches and designed a Long-term Recurrent Convolutional Network (LCRN) model for this task. Our results showed that our LRCN model performs better than the state of the art TSC models at detecting driver distraction events.


title: Number of equidistant neighbors on honeycomb lattice

abstract: A convenient scheme is presented for calculating potential energy of van der Waals interacting bilayer graphene and other similar 2D compounds. It is based on the notion of the existence of two types of local symmetry of carbon atoms ordering, a 3- and 6-fold one. Potential energy of an atom is expressed as a sum of contributions from rings of equidistant atoms on neighboring layer. Methods are described to compute the radius of rings of equidistant atoms and number of atoms they contain. Exact positions of atoms are found as well, allowing to apply the introduced method in modelling of anisotropic potentials and to be used when twisting between layers is present.


title: Risk Estimation of SARS-CoV-2 Transmission from Bluetooth Low Energy Measurements

abstract: Digital contact tracing approaches based on Bluetooth low energy (BLE) have the potential to efficiently contain and delay outbreaks of infectious diseases such as the ongoing SARS-CoV-2 pandemic. In this work we propose a novel machine learning based approach to reliably detect subjects that have spent enough time in close proximity to be at risk of being infected. Our study is an important proof of concept that will aid the battery of epidemiological policies aiming to slow down the rapid spread of COVID-19.


title: A Mobile Cloud-Based eHealth Scheme

abstract: Mobile cloud computing is an emerging field that is gaining popularity across borders at a rapid pace. Similarly, the field of health informatics is also considered as an extremely important field. This work observes the collaboration between these two fields to solve the traditional problem of extracting Electrocardiogram signals from trace reports and then performing analysis. The developed system has two front ends, the first dedicated for the user to perform the photographing of the trace report. Once the photographing is complete, mobile computing is used to extract the signal. Once the signal is extracted, it is uploaded into the server and further analysis is performed on the signal in the cloud. Once this is done, the second interface, intended for the use of the physician, can download and view the trace from the cloud. The data is securely held using a password-based authentication method. The system presented here is one of the first attempts at delivering the total solution, and after further upgrades, it will be possible to deploy the system in a commercial setting.


title: The spectrum of Gravitational Waves, their overproduction in quintessential inflation and its influence in the reheating temperature

abstract: One of the most important issues in an inflationary theory as standard or quintessential inflation is the mechanism to reheat the universe after the end of the inflationary period in order to match with the Hot Big Bang universe. In quintessential inflation two mechanisms are frequently used, namely the reheating via gravitational particle production which is, as we will see, very efficient when the phase transition from the end of inflation to a kinetic regime (all the energy of the inflaton field is kinetic) is very abrupt, and the so-called instant preheating which is used for a very smooth phase transition because in that case the gravitational particle production is very inefficient. In the present work, a detailed study of these mechanisms is done, obtaining bounds for the reheating temperature and the range of the parameters involved in each reheating mechanism in order that the Gravitational Waves (GWs) produced at the beginning of kination do not disturb the Big Bang Nucleosynthesis (BBN) success.


title: Quasi-Many-Body Localization of Interacting Fermions with Long-Range Couplings

abstract: A number of experimental platforms for quantum simulations of disordered quantum matter, from dipolar systems to trapped ions, involve degrees of freedom which are coupled by power-law decaying hoppings or interactions, yet the interplay of disorder and interactions in these systems is far less understood than in their short-ranged counterpart. Here we consider a prototype model of interacting fermions with disordered long-ranged hoppings and interactions, and use the flow equation approach to map out its dynamical phase diagram as a function of hopping and interaction exponents. We demonstrate that the flow equation technique is ideally suited to problems involving long-range couplings due to its ability to accurately simulate very large system sizes. We show that, at large on-site disorder and for short-range interactions, a transition from a delocalized phase to a quasi many-body localized (MBL) phase exists as the hopping range is decreased. This quasi-MBL phase is characterized by intriguing properties such as a set of emergent conserved quantities which decay algebraically with distance. Surprisingly we find that a crossover between delocalized and quasi-MBL phases survives even in the presence of long-range interactions.


title: An Examination of Geometrical and Potential Time Delays in Gravitational Lensing

abstract: In this paper we investigate the relation between the potential and geometric time delays in gravitational lensing. In the original paper of Shapiro (1964), it is stated that there is a time delay in the radar signals between Earth and Venus that pass near a massive object (the Sun), compared to the path taken in the absence of any mass. The reason for this delay is connected with the influence of gravity on the coordinate velocity of a light ray in a gravitational potential. The contribution from the change of the path length, which happens to be of second order, is considered as negligible. Nevertheless, in the gravitational lens theory the geometrical delay, related to the change of path length, is routinely taken into account along with the potential term. In this work we explain this apparent discrepancy. We address the contribution of the geometric part of the time delay in different situations, and introduce a unified treatment with two limiting regimes of lensing. One of these limits corresponds to the time delay experiments near the Sun where the geometrical delay is shown to be negligible. The second corresponds to the typical gravitational lens scenario with multiple imaging where the geometrical delay is shown to be significant. We introduce a compact, analytical, and quantitative criteria based on relation between the angular position of source and the Einstein radius. This criterion allows one to find out easily when it is necessary to take the geometrical delay into account. In particular, it is shown that the geometrical delay is non-negligible in the case of good alignment between source, lens and observer, because in such a case it becomes a first order quantity (the same order as the potential term).


title: Towards Bridging the Gap between Control and Self-Adaptive System Properties

abstract: Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, control systems consider properties that concern static aspects like stability, as well as dynamic properties that capture the transient evolution of variables such as settling time. On the other hand, self-adaptive systems consider mostly non-functional properties that capture concerns such as performance, reliability, and cost. In general, it is not easy to reconcile these two types of properties or identify under which conditions they constitute a good fit to provide run-time guarantees. There is a need of identifying the key properties in the areas of control and self-adaptation, as well as of characterizing and mapping them to better understand how they relate and possibly complement each other. In this paper, we take a first step to tackle this problem by: (1) identifying a set of key properties in control theory, (2) illustrating the formalization of some of these properties employing temporal logic languages commonly used to engineer self-adaptive software systems, and (3) illustrating how to map key properties that characterize self-adaptive software systems into control properties, leveraging their formalization in temporal logics. We illustrate the different steps of the mapping on an exemplar case in the cloud computing domain and conclude with identifying open challenges in the area.


title: Age of Information for Single Buffer Systems with Vacation Server

abstract: In this research, we study the information freshness in M/G/1 queueing system with a single buffer and the server taking multiple vacations. This system has wide applications in communication systems. We aim to evaluate the information freshness in this system with both i.i.d. and non-i.i.d. vacations under three different scheduling policies, namely Conventional Buffer System (CBS), Buffer Relaxation System (BRS), and Conventional Buffer System with Preemption in Service (CBS-P). For the systems with i.i.d. vacations, we derive the closed-form expressions of information freshness metrics such as the expected Age of Information (AoI), the expected Peak Age of Information (PAoI), and the variance of peak age under each policy. For systems with non-i.i.d. vacations, we use the polling system as an example and provide the closed-form expression of its PAoI under each policy. We explore the conditions under which one of these policies has advantages over the others for each information freshness metric. We further perform numerical studies to validate our results and develop insights.


title: Deep learning for smart fish farming: applications, opportunities and challenges

abstract: With the rapid emergence of deep learning (DL) technology, it has been successfully used in various fields including aquaculture. This change can create new opportunities and a series of challenges for information and data processing in smart fish farming. This paper focuses on the applications of DL in aquaculture, including live fish identification, species classification, behavioral analysis, feeding decision-making, size or biomass estimation, water quality prediction. In addition, the technical details of DL methods applied to smart fish farming are also analyzed, including data, algorithms, computing power, and performance. The results of this review show that the most significant contribution of DL is the ability to automatically extract features. However, challenges still exist; DL is still in an era of weak artificial intelligence. A large number of labeled data are needed for training, which has become a bottleneck restricting further DL applications in aquaculture. Nevertheless, DL still offers breakthroughs in the handling of complex data in aquaculture. In brief, our purpose is to provide researchers and practitioners with a better understanding of the current state of the art of DL in aquaculture, which can provide strong support for the implementation of smart fish farming.


title: A Bayesian Multilevel Random-Effects Model for Estimating Noise in Image Sensors

abstract: Sensor noise sources cause differences in the signal recorded across pixels in a single image and across multiple images. This paper presents a Bayesian approach to decomposing and characterizing the sensor noise sources involved in imaging with digital cameras. A Bayesian probabilistic model based on the (theoretical) model for noise sources in image sensing is fitted to a set of a time-series of images with different reflectance and wavelengths under controlled lighting conditions. The image sensing model is a complex model, with several interacting components dependent on reflectance and wavelength. The properties of the Bayesian approach of defining conditional dependencies among parameters in a fully probabilistic model, propagating all sources of uncertainty in inference, makes the Bayesian modeling framework more attractive and powerful than classical methods for approaching the image sensing model. A feasible correspondence of noise parameters to their expected theoretical behaviors and well calibrated posterior predictive distributions with a small root mean square error for model predictions have been achieved in this study, thus showing that the proposed model accurately approximates the image sensing model. The Bayesian approach could be extended to formulate further components aimed at identifying even more specific parameters of the imaging process.


title: Hawking for beginners: A dimensional analysis activity to perform in the classroom

abstract: In this paper we present a simple dimensional analysis exercise that allows us to derive the equation for the Hawking temperature of a black hole. The exercise is intended for high school students, and it is developed from a chapter of Stephen Hawking's bestseller A Brief History of Time.


title: Evaluation of Pool-based Testing Approaches to Enable Population-wide Screening for COVID-19

abstract: Background: Rapid testing for an infection is paramount during a pandemic to prevent continued viral spread and excess morbidity and mortality. This study aimed to determine whether alternative testing strategies based on sample pooling can increase the speed and throughput of screening for SARS-CoV-2. Methods: A mathematical modelling approach was chosen to simulate six different testing strategies based on key input parameters (infection rate, test characteristics, population size, testing capacity etc.). The situations in five countries (US, DE, UK, IT and SG) currently experiencing COVID-19 outbreaks were simulated to reflect a broad variety of population sizes and testing capacities. The primary study outcome measurements that were finalised prior to any data collection were time and number of tests required; number of cases identified; and number of false positives. Findings: The performance of all tested methods depends on the input parameters, i.e. the specific circumstances of a screening campaign. To screen one tenth of each country's population at an infection rate of 1% - e.g. when prioritising frontline medical staff and public workers -, realistic optimised testing strategies enable such a campaign to be completed in ca. 29 days in the US, 71 in the UK, 25 in Singapore, 17 in Italy and 10 in Germany (ca. eight times faster compared to individual testing). When infection rates are considerably lower, or when employing an optimal, yet logistically more complex pooling method, the gains are more pronounced. Pool-based approaches also reduces the number of false positive diagnoses by 50%. Interpretation: The results of this study provide a clear rationale for adoption of pool-based testing strategies to increase speed and throughput of testing for SARS-CoV-2. The current individual testing approach unnecessarily wastes valuable time and resources.


title: The Farthest Point Map on the Regular Octahedron

abstract: On any compact space one can consider the map which sends a point to the set of points farthest from this point. In nice cases, there is just a single point farthest from a given point and so by restricting the domain slightly one can form a dynamical system on the space based on this map. We give a complete characterization of this map, including explicit formulas, when the metric space is the regular octahedron equipped with its intrinsic flat cone metric.


title: DFUC2020: Analysis Towards Diabetic Foot Ulcer Detection

abstract: Every 20 seconds, a limb is amputated somewhere in the world due to diabetes. This is a global health problem that requires a global solution. The MICCAI challenge discussed in this paper, which concerns the automated detection of diabetic foot ulcers using machine learning techniques, will accelerate the development of innovative healthcare technology to address this unmet medical need. In an effort to improve patient care and reduce the strain on healthcare systems, recent research has focused on the creation of cloud-based detection algorithms. These can be consumed as a service by a mobile app that patients (or a carer, partner or family member) could use themselves at home to monitor their condition and to detect the appearance of a diabetic foot ulcer (DFU). Collaborative work between Manchester Metropolitan University, Lancashire Teaching Hospital and the Manchester University NHS Foundation Trust has created a repository of 4,000 DFU images for the purpose of supporting research toward more advanced methods of DFU detection. Based on a joint effort involving the lead scientists of the UK, US, India and New Zealand, this challenge will solicit original work, and promote interactions between researchers and interdisciplinary collaborations. This paper presents a dataset description and analysis, assessment methods, benchmark algorithms and initial evaluation results. It facilitates the challenge by providing useful insights into state-of-the-art and ongoing research. This grand challenge takes on even greater urgency in a peri and post-pandemic period, where stresses on resource utilization will increase the need for technology that allows people to remain active, healthy and intact in their home.


title: On Sparsifying Encoder Outputs in Sequence-to-Sequence Models

abstract: Sequence-to-sequence models usually transfer all encoder outputs to the decoder for generation. In this work, by contrast, we hypothesize that these encoder outputs can be compressed to shorten the sequence delivered for decoding. We take Transformer as the testbed and introduce a layer of stochastic gates in-between the encoder and the decoder. The gates are regularized using the expected value of the sparsity-inducing L0penalty, resulting in completely masking-out a subset of encoder outputs. In other words, via joint training, the L0DROP layer forces Transformer to route information through a subset of its encoder states. We investigate the effects of this sparsification on two machine translation and two summarization tasks. Experiments show that, depending on the task, around 40-70% of source encodings can be pruned without significantly compromising quality. The decrease of the output length endows L0DROP with the potential of improving decoding efficiency, where it yields a speedup of up to 1.65x on document summarization tasks against the standard Transformer. We analyze the L0DROP behaviour and observe that it exhibits systematic preferences for pruning certain word types, e.g., function words and punctuation get pruned most. Inspired by these observations, we explore the feasibility of specifying rule-based patterns that mask out encoder outputs based on information such as part-of-speech tags, word frequency and word position.


title: Learning Gaussian Maps for Dense Object Detection

abstract: Object detection is a famous branch of research in computer vision, many state of the art object detection algorithms have been introduced in the recent past, but how good are those object detectors when it comes to dense object detection? In this paper we review common and highly accurate object detection methods on the scenes where numerous similar looking objects are placed in close proximity with each other. We also show that, multi-task learning of gaussian maps along with classification and bounding box regression gives us a significant boost in accuracy over the baseline. We introduce Gaussian Layer and Gaussian Decoder in the existing RetinaNet network for better accuracy in dense scenes, with the same computational cost as the RetinaNet. We show the gain of 6\% and 5\% in mAP with respect to baseline RetinaNet. Our method also achieves the state of the art accuracy on the SKU110K \cite{sku110k} dataset.


title: Decentralized linear quadratic systems with major and minor agents and non-Gaussian noise

abstract: A decentralized linear quadratic system with a major agent and a collection of minor agents is considered. The major agent affects the minor agents, but not vice versa. The state of the major agent is observed by all agents. In addition, the minor agents have a noisy observation of their local state. The noise processes is \emph{not} assumed to be Gaussian. The structures of the optimal strategy and the best linear strategy are characterized. It is shown that major agent's optimal control action is a linear function of the major agent's MMSE (minimum mean squared error) estimate of the system state while the minor agent's optimal control action is a linear function of the major agent's MMSE estimate of the system state and a "correction term" which depends on the difference of the minor agent's MMSE estimate of its local state and the major agent's MMSE estimate of the minor agent's local state. Since the noise is non-Gaussian, the minor agent's MMSE estimate is a non-linear function of its observation. It is shown that replacing the minor agent's MMSE estimate by its LLMS (linear least mean square) estimate gives the best linear control strategy. The results are proved using a direct method based on conditional independence, common-information-based splitting of state and control actions, and simplifying the per-step cost based on conditional independence, orthogonality principle, and completion of squares.


title: Generalized Assignment for Multi-Robot Systems via Distributed Branch-And-Price

abstract: In this paper, we consider a network of agents that has to self-assign a set of tasks while respecting resource constraints. One possible formulation is the Generalized Assignment Problem, where the goal is to find a maximum payoff while satisfying capability constraints. We propose a purely distributed branch-and-price algorithm to solve this problem in a cooperative fashion. Inspired by classical (centralized) branch-and-price schemes, in the proposed algorithm each agent locally solves small linear programs, generates columns by solving simple knapsack problems, and communicates to its neighbors a fixed number of basic columns. We prove finite-time convergence of the algorithm to an optimal solution of the problem. Then, we apply the proposed scheme to a generalized assignment scenario in which a team of robots has to serve a set of tasks. We implement the proposed algorithm in a ROS testbed and provide experiments for a team of heterogeneous robots solving the assignment problem.


title: Impact of different belief facets on agents' decision -- a refined cognitive architecture to model the interaction between organisations' institutional characteristics and agents' behaviour

abstract: This paper presents a conceptual refinement of agent cognitive architecture inspired from the beliefs-desires-intentions (BDI) and the theory of planned behaviour (TPB) models, with an emphasis on different belief facets. This enables us to investigate the impact of personality and the way that an agent weights its internal beliefs and social sanctions on an agent's actions. The study also uses the concept of cognitive dissonance associated with the fairness of institutions to investigate the agents' behaviour. To showcase our model, we simulate two historical long-distance trading societies, namely Armenian merchants of New-Julfa and the English East India Company. The results demonstrate the importance of internal beliefs of agents as a pivotal aspect for following institutional rules.


title: Investigations on $c$-Boomerang Uniformity and Perfect Nonlinearity

abstract: We defined in~\cite{EFRST20} a new multiplicative $c$-differential, and the corresponding $c$-differential uniformity and we characterized the known perfect nonlinear functions with respect to this new concept, as well as the inverse in any characteristic. The work was continued in~\cite{RS20}, investigating the $c$-differential uniformity for some further APN functions. Here, we extend the concept to the boomerang uniformity, introduced at Eurocrypt '18 by Cid et al.~\cite{Cid18}, to evaluate S-boxes of block ciphers, and investigate it in the context of perfect nonlinearity and related functions.


title: Near optimal sparsity-constrained group testing: improved bounds and algorithms

abstract: Recent advances in noiseless non-adaptive group testing have led to a precise asymptotic characterization of the number of tests required for high-probability recovery in the sublinear regime $k = n^{\theta}$ (with $\theta \in (0,1)$), with $n$ individuals among which $k$ are infected. However, the required number of tests may increase substantially under real-world practical constraints, notably including bounds on the maximum number $\Delta$ of tests an individual can be placed in, or the maximum number $\Gamma$ of individuals in a given test. While previous works have given recovery guarantees for these settings, significant gaps remain between the achievability and converse bounds. In this paper, we substantially or completely close several of the most prominent gaps. In the case of $\Delta$-divisible items, we show that the definite defectives (DD) algorithm coupled with a random regular design is asymptotically optimal in dense scaling regimes, and optimal to within a factor of $\eul$ more generally; we establish this by strengthening both the best known achievability and converse bounds. In the case of $\Gamma$-sized tests, we provide a comprehensive analysis of the regime $\Gamma = \Theta(1)$, and again establish a precise threshold proving the asymptotic optimality of SCOMP (a slight refinement of DD) equipped with a tailored pooling scheme. Finally, for each of these two settings, we provide near-optimal adaptive algorithms based on sequential splitting, and provably demonstrate gaps between the performance of optimal adaptive and non-adaptive algorithms.


title: Event-QA: A Dataset for Event-Centric Question Answering over Knowledge Graphs

abstract: Semantic Question Answering (QA) is a crucial technology to facilitate intuitive user access to semantic information stored in knowledge graphs. Whereas most of the existing QA systems and datasets focus on entity-centric questions, very little is known about these systems' performance in the context of events. As new event-centric knowledge graphs emerge, datasets for such questions gain importance. In this paper, we present the Event-QA dataset for answering event-centric questions over knowledge graphs. Event-QA contains 1000 semantic queries and the corresponding English, German and Portuguese verbalizations for EventKG - an event-centric knowledge graph with more than 970 thousand events.


title: Fr\'echet Distance for Uncertain Curves

abstract: In this paper we study a wide range of variants for computing the (discrete and continuous) Fr\'echet distance between uncertain curves. We define an uncertain curve as a sequence of uncertainty regions, where each region is a disk, a line segment, or a set of points. A realisation of a curve is a polyline connecting one point from each region. Given an uncertain curve and a second (certain or uncertain) curve, we seek to compute the lower and upper bound Fr\'echet distance, which are the minimum and maximum Fr\'echet distance for any realisations of the curves. We prove that both the upper and lower bound problems are NP-hard for the continuous Fr\'echet distance in several uncertainty models, and that the upper bound problem remains hard for the discrete Fr\'echet distance. In contrast, the lower bound (discrete and continuous) Fr\'echet distance can be computed in polynomial time. Furthermore, we show that computing the expected discrete Fr\'echet distance is #P-hard when the uncertainty regions are modelled as point sets or line segments. The construction also extends to show #P-hardness for computing the continuous Fr\'echet distance when regions are modelled as point sets. On the positive side, we argue that in any constant dimension there is a FPTAS for the lower bound problem when $\Delta / \delta$ is polynomially bounded, where $\delta$ is the Fr\'echet distance and $\Delta$ bounds the diameter of the regions. We then argue there is a near-linear-time 3-approximation for the decision problem when the regions are convex and roughly $\delta$-separated. Finally, we also study the setting with Sakoe--Chiba time bands, where we restrict the alignment between the two curves, and give polynomial-time algorithms for upper bound and expected discrete and continuous Fr\'echet distance for uncertainty regions modelled as point sets.


title: Analysis and reduction of spurious noise generated at grid refinement interfaces with the lattice Boltzmann method

abstract: The present study focuses on the unphysical effects induced by the use of non-uniform grids in the lattice Boltzmann method. In particular, the convection of vortical structures across a grid refinement interface is likely to generate spurious noise that may impact the whole computation domain. This issue becomes critical in the case of aeroacoustic simulations, where accurate pressure estimations are of paramount importance. The purpose of this article is to identify the issues occurring at the interface and to propose possible solutions yielding significant improvements for aeroacoustic simulations. More specifically, this study highlights the critical involvement of non-physical modes in the generation of spurious vorticity and acoustics. The identification of these modes is made possible thanks to linear stability analyses performed in the fluid core, and non-hydrodynamic sensors specifically developed to systematically emphasize them during a simulation. Investigations seeking pure acoustic waves and sheared flows allow for isolating the contribution of each mode. An important result is that spurious wave generation is intrinsically due to the change in the grid resolution (i.e. aliasing) independently of the details of the grid transition algorithm. Finally, the solution proposed to minimize spurious wave amplitude consists of choosing an appropriate collision model in the fluid core so as to cancel the non-hydrodynamic mode contribution regardless the grid coupling algorithm. Results are validated on a convected vortex and on a turbulent flow around a cylinder where a huge reduction of both spurious noise and vorticity are obtained.


title: Infinite energy solutions for weakly damped quintic wave equations in $\mathbb{R}^3$

abstract: The paper gives a comprehensive study of infinite-energy solutions and their long-time behavior for semi-linear weakly damped wave equations in $\mathbb{R}^3$ with quintic nonlinearities. This study includes global well-posedness of the so-called Shatah-Struwe solutions, their dissipativity, the existence of a locally compact global attractors (in the uniformly local phase spaces) and their extra regularity.


title: Numerical Calculations of Finite Key Rate for General Quantum Key Distribution Protocols

abstract: Finite key analysis of quantum key distribution (QKD) is an important tool for any QKD implementation. While much work has been done on the framework of finite key analysis, the application to individual protocols often relies on the the specific protocol being simple or highly symmetric as well as represented in small finite-dimensional Hilbert spaces. In this work, we extend our pre-existing reliable, efficient, tight, and generic numerical method for calculating the asymptotic key rate of device-dependent QKD protocols in finite-dimensional Hilbert spaces to the finite key regime using the security analysis framework of Renner. We explain how this extension preserves the reliability, efficiency, and tightness of the asymptotic method. We then explore examples which illustrate both the generality of our method as well as the importance of parameter estimation and data processing within the framework.


title: The Origin of inequality: isolated formation of a 30+10Msun binary black-hole merger

abstract: The LIGO/Virgo collaboration has reported the detection of GW190412, a BH-BH merger with the most unequal masses to date: 24.4-34.7 Msun and 7.4-10.1 Msun (a mass ratio of q=0.21-0.41). Additionally, GW190412's effective spin was estimated to be Xeff=0.14-0.34, with the spin of the primary BH in the range a=0.17-0.59. Based on this and prior detections, about 10 percent of BH-BH mergers have q<0.4. Major BH-BH formation channels tend to produce BH-BH mergers with comparable masses (typically with q>0.5). Here we test whether the classical isolated binary evolution channel can produce mergers resembling GW190412. We show that our standard binary evolution scenario, with the typical assumptions on input physics we have used in the past, produces such mergers (masses and spins). For this particular model of the input physics the overall BH-BH merger rate density in the local Universe (z=0) is: 73.5 Gpc^-3 yr^-1, while for systems with q<0.41 the rate density is: 6.8 Gpc^-3 yr^-1. As GW190412 shows some weak evidence for misaligned spins, we provide distribution of precession parameter in our models and conclude that if among the new LIGO/Virgo detections the evidence of system precession is strong and more than 10 percent of BH-BH mergers have large in-plane spin components (Xp>0.5) then common envelope isolated binary BH-BH formation channel can be excluded as their origin.


title: Improving Massively Multilingual Neural Machine Translation and Zero-Shot Translation

abstract: Massively multilingual models for neural machine translation (NMT) are theoretically attractive, but often underperform bilingual models and deliver poor zero-shot translations. In this paper, we explore ways to improve them. We argue that multilingual NMT requires stronger modeling capacity to support language pairs with varying typological characteristics, and overcome this bottleneck via language-specific components and deepening NMT architectures. We identify the off-target translation issue (i.e. translating into a wrong target language) as the major source of the inferior zero-shot performance, and propose random online backtranslation to enforce the translation of unseen training language pairs. Experiments on OPUS-100 (a novel multilingual dataset with 100 languages) show that our approach substantially narrows the performance gap with bilingual models in both one-to-many and many-to-many settings, and improves zero-shot performance by ~10 BLEU, approaching conventional pivot-based methods.


title: Using B cell receptor lineage structures to predict affinity

abstract: We are frequently faced with a large collection of antibodies, and want to select those with highest affinity for their cognate antigen. When developing a first-line therapeutic for a novel pathogen, for instance, we might look for such antibodies in patients that have recovered. There exist effective experimental methods of accomplishing this, such as cell sorting and baiting; however they are time consuming and expensive. Next generation sequencing of B cell receptor (BCR) repertoires offers an additional source of sequences that could be tapped if we had a reliable method of selecting those coding for the best antibodies. In this paper we introduce a method that uses evolutionary information from the family of related sequences that share a naive ancestor to predict the affinity of each resulting antibody for its antigen. When combined with information on the identity of the antigen, this method should provide a source of effective new antibodies. We also introduce a method for a related task: given an antibody of interest and its inferred ancestral lineage, which branches in the tree are likely to harbor key affinity-increasing mutations? These methods are implemented as part of continuing development of the partis BCR inference package, available at https://github.com/psathyrella/partis.


title: Counterexample to a conjecture of Ziegler concerning a simple polytope and its dual

abstract: Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple $3$-dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this note we state a higher-dimensional analogue of this conjecture and provide a family of counterexamples for dimension $d \geq 3$.


title: CQE in Description Logics Through Instance Indistinguishability (extended version)

abstract: We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for query answering over DL-Lite$_{\mathcal{R}}$ ontologies, through a comparison with an alternative, existing confidentiality-preserving approach to CQE. Finally, we identify a semantically well-founded notion of approximated query answering for CQE, and prove that, for DL-Lite$_{\mathcal{R}}$ ontologies, this form of CQE is tractable with respect to data complexity and is first-order rewritable, i.e., it is always reducible to the evaluation of a first-order query over the data instance.


title: Nonlinear caging in All-Bands-Flat Lattices

abstract: We study the impact of classical short-range nonlinear interactions on transport in lattices with no dispersion. The single particle band structure of these lattices contains flat bands only, and cages non-interacting particles into compact localized eigenstates. We demonstrate that there always exist local unitary transformations that detangle such lattices into decoupled sites in dimension one. Starting from a detangled representation, inverting the detangling into entangling unitary transformations and extending to higher lattice dimensions, we arrive at an All-Bands-Flat generator for single particle states in any lattice dimension. The entangling unitary transformations are parametrized by sets of angles. For a given member of the set of all-bands-flat, additional short-range nonlinear interactions destroy caging in general, and induce transport. However, fine-tuned subsets of the unitary transformations allow to completely restore caging. We derive the necessary and sufficient fine-tuning conditions for nonlinear caging, and provide computational evidence of our conclusions for one-dimensional systems.


title: Collective excitations of quantum Hall states under tilted magnetic field

abstract: We study the neutral excitations of fractional quantum Hall states in electronic systems of finite width where an external anisotropy is introduced by tilting the magnetic field. As in the isotropic case, the neutral collective excitation can be worked out through the conserving method of composite fermions in the Hamiltonian theory because the interaction potential has a natural cutoff due to the quantum well width. We show how such a computation can be carried out perturbatively for an anisotropic interaction. We find that unlike the charge gap, the neutral collective gap is much more sensitive to the tilt and can thus, for certain fractional quantum Hall states, be easily destroyed by the parallel component of the magnetic field. We also discuss the convergence of the collective spectrum to the activation gap in the large-momentum limit.


title: State-of-the-art AGN SEDs for Photoionization Models: BLR Predictions Confront the Observations

abstract: The great power offered by photoionization models of Active Galactic Nuclei (AGN) emission-line regions has long been mitigated by the fact that very little is known about the spectral energy distribution (SED) between the Lyman limit, where intervening absorption becomes a problem, and 0.3 keV, where soft x-ray observations become possible. The emission lines themselves can, to some degree, be used to probe the SED, but only in the broadest terms. This paper employs a new generation of theoretical SEDs which are internally self-consistent, energy-conserving, and tested against observations, to infer properties of the emission-line regions. The SEDs are given as a function of the Eddington ratio, allowing emission-line correlations to be investigated on a fundamental basis. We apply the simplest possible tests, based on the foundations of photoionization theory, to investigate the implications for the geometry of the emission-line region. The SEDs become more far-ultraviolet bright as the Eddington ratio increases, so the equivalent widths of recombination lines should also become larger, an effect which we quantify. The observed lack of correlation between Eddington ratio and equivalent width shows that the cloud covering factor must decrease as Eddington ratio increases. This would be consistent with recent models proposing that the broad-line region is a failed dusty wind off the accretion disc.


title: Finding a shortest odd hole

abstract: An odd hole in a graph is a induced cycle with odd length greater than 3. In an earlier paper (with Sophie Spirkl), solving a longstanding open problem, we gave a polynomial-time algorithm to test if a graph has an odd hole. We subsequently showed that, for every t, there is a polynomial time algorithm to test whether a graph contains an odd hole of length at least t. In this paper, we give an algorithm that finds a shortest odd hole, if one exists.


title: Solution-processed silver sulphide nanocrystal film for resistive switching memories

abstract: Resistive switching memories allow electrical control of the conductivity of a material, by inducing a high resistance (OFF) or a low resistance (ON) state, using electrochemical and ion transport processes. As alternative to high temperature and vacuum-based physical sulphurization methods of silver (Ag), here we propose, as resistive switching medium, a layer built from colloidal Ag$_{2-x}$S nanocrystals -compatible with solution-processed approaches. The effect of the electrode size (from macro- to micro-scale), composition (Ag, Ti and Pt) and geometry on the device performance together with the electrochemical mechanisms involved are evaluated. We achieved an optimized Ag/Ti bowtie proof-of-concept configuration by e-beam lithography, which fulfils the general requirements for ReRAM devices in terms of low power consumption and reliable $I_{ON}/I_{OFF}$ ratio. This configuration demonstrates reproducible switching between ON and OFF states with data endurance of at least 20 cycles; and an $I_{ON}/I_{OFF}$ ratio up to 10$^3$ at low power consumption (0.1V readout), which outperforms previous results in literature for devices with resistive layers fabricated from silver chalcogenide nanoparticles.


title: mudirac: a Dirac equation solver for elemental analysis with muonic X-rays

abstract: We present a new open source software for the integration of the radial Dirac equation developed specifically with muonic atoms in mind. The software, called mudirac, is written in C++ and can be used to predict frequencies and probabilities of the transitions between levels of the muonic atom. In this way, it provides an invaluable tool in helping with the interpretation of muonic X-ray spectra for elemental analysis. We introduce the details of the algorithms used by the software, show the interpretation of a few example spectra, and discuss the more complex issues involved with predicting the intensities of the spectral lines. The software is available publicly at https://github.com/muon-spectroscopy-computational-project/mudirac.


title: Stable, low-error and calibration-free polarization encoder for free-space quantum communication

abstract: Polarization-encoded free-space Quantum Communication requires a quantum state source featuring fast polarization modulation, long-term stability and a low intrinsic error rate. Here we present a source based on a Sagnac interferometer and composed of polarization maintaining fibers, a fiber polarization beam splitter and an electro-optic phase modulator. The system generates predetermined polarization states with a fixed reference frame in free-space that does not require calibration neither at the transmitter nor at the receiver. In this way we achieve long-term stability and low error rates. A proof-of-concept experiment is also reported, demonstrating a Quantum Bit Error Rate lower than 0.2% for several hours without any active recalibration of the devices.


title: Fiducial Symmetry in Action

abstract: Symmetry is key in classical and modern physics. A striking example is conservation of energy as a consequence of time-shift invariance from Noether's theorem. Symmetry is likewise a key element in statistics, which, as also physics, provide models for real world phenomena. Sufficiency, conditionality, and invariance are examples of basic principles. Galili and Meilijson (2016) and Mandel (2020) illustrate the first two principles very nicely by considering the scaled uniform model. We illustrate the third principle by providing further results which give optimal inference for the scaled uniform by symmetry considerations. The proofs are simplified by relying on fiducial arguments as initiated by Fisher (1930). Keywords: Data generating equation; Optimal equivariant estimate; Scale family; Conditionality principle; Minimal sufficient; Uniform distribution;


title: Conservation Voltage Reduction (CVR) via Two-Timescale Control in Unbalanced Power Distribution Systems

abstract: Voltage control devices are employed in power distribution systems to reduce the power consumption by operating the system closer to the lower acceptable voltage limits; this technique is called conservation voltage reduction (CVR). The different modes of operation for system's legacy devices (with binary control) and new devices (e.g. smart inverters with continuous control) coupled with variable photovoltaic (PV) generation results in voltage fluctuations which makes it challenging to achieve CVR objective. This paper presents a two-timescale control of feeder's voltage control devices to achieve CVR that includes (1) a centralized controller operating in a slower time-scale to coordinate voltage control devices across the feeder and (2) local controllers operating in a faster timescale to mitigate voltage fluctuations due to PV variability. The centralized controller utilizes a three-phase optimal power flow model to obtain the decision variables for both legacy devices and smart inverters. The local controllers operate smart inverters to minimize voltage fluctuations and restore nodal voltages to their reference values by adjusting the reactive power support. The proposed approach is validated using the IEEE-123 bus (medium-size) and R3-12.47-2 (large-size) feeders. It is demonstrated that the proposed approach is effective in achieving the CVR objective for unbalanced distribution systems.


title: Quantum Caging in Interacting Many-Body All-Bands-Flat Lattices

abstract: We consider translationally invariant tight-binding all-bands-flat networks which lack dispersion. In a recent work [arXiv:2004.11871] we derived the subset of these networks which preserves nonlinear caging, i.e. keeps compact excitations compact in the presence of Kerr-like local nonlinearities. Here we replace nonlinear terms by Bose-Hubbard interactions and study quantum caging. We prove the existence of degenerate energy renormalized compact states for two and three particles, and use an inductive conjecture to generalize to any finite number M of participating particles in one dimension. Our results explain and generalize previous observations for two particles on a diamond chain [Vidal et.al. Phys. Rev. Lett. 85, 3906 (2000)]. We further prove that quantum caging conditions guarantee the existence of extensive sets of conserved quantities in any lattice dimension, as first revealed in [Tovmasyan et al Phys. Rev. B 98, 134513 (2018)] for a set of specific networks. Consequently transport is realized through moving pairs of interacting particles which break the single particle caging.


title: Growth of non-linear structures and spherical collapse in the Galileon Ghost Condensate model

abstract: We present a detailed study of the collapse of a spherical matter overdensity and the non-linear growth of large scale structures in the Galileon ghost condensate (GGC) model. This model is an extension of the cubic covariant Galileon (G3) which includes a field derivative of type $(\nabla_\mu\phi\nabla^\mu\phi)^2$ in the Lagrangian. We find that the cubic term activates the modifications in the main physical quantities whose time evolution is then strongly affected by the additional term. Indeed, the GGC model shows largely mitigated effects in the linearised critical density contrast, non-linear effective gravitational coupling and the virial overdensity with respect to G3 but still preserves peculiar features with respect to the standard $\Lambda$CDM cosmological model, e.g. both the linear critical density contrast and the virial overdensity are larger than those in $\Lambda$CDM. The results of the spherical collapse model are then used to predict the evolution of the halo mass function, non-linear matter and lensing power spectra. While at low masses the GGC model presents about 10% fewer objects with respect to $\Lambda$CDM, at higher masses for $z>0$ it predicts 10% ($z=0.5$)-20% ($z=1$) more objects per comoving volume. Using a phenomenological approach to include the screening effect in the matter power spectrum, we show that the difference induced by the modifications of gravity are strongly dependent on the screening scale and that differences can be up to 20% with respect to $\Lambda$CDM. These differences translate to the lensing power spectrum where qualitatively the largest differences with respect to the standard cosmological model are for $\ell<10^3$. Depending on the screening scale, they can be up to 25% on larger angular scales and then decrease for growing $\ell$. These results are obtained for the best fit parameters from linear cosmological data for each model.


title: Molecular dynamics study of the competitive binding of hydrogen peroxide and water molecules with the DNA phosphate groups

abstract: The hydrogen peroxide is present in the living cell at small concentrations that increase under the action of the heavy ion beams in the process of anticancer therapy. The interactions of hydrogen peroxide with DNA, proteins and other biological molecules are poorly understood. In the present work the competitive binding of the hydrogen peroxide and water molecules with the DNA double helix backbone has been studied using the molecular dynamics method. The simulations have been carried out for the DNA double helix in a water solution with hydrogen peroxide molecules and Na$^{+}$ counterions. The obtained radial distribution functions of counterions, H$_2$O$_2$ and H$_2$O molecules with respect to the oxygen atoms of DNA phosphate groups have been used for the analysis of the formation of different complexes. The calculated mean residence times show that a hydrogen peroxide molecule stays at least twice as long near the phosphate group (up to 7 ps) than a water molecule (about 3 ps). The hydrogen peroxide molecules form more stable complexes with the phosphate groups of the DNA backbone than water molecules do.


title: MoVie: Revisiting Modulated Convolutions for Visual Counting and Beyond

abstract: This paper focuses on visual counting, which aims to predict the number of occurrences given a natural image and a query (e.g. a question or a category). Unlike most prior works that use explicit, symbolic models which can be computationally expensive and limited in generalization, we propose a simple and effective alternative by revisiting modulated convolutions that fuse the query and the image locally. Following the design of residual bottleneck, we call our method MoVie, short for Modulated conVolutional bottlenecks. Notably, MoVie reasons implicitly and holistically and only needs a single forward-pass during inference. Nevertheless, MoVie showcases strong performance for counting: 1) advancing the state-of-the-art on counting-specific VQA tasks while being more efficient; 2) outperforming prior-art on difficult benchmarks like COCO for common object counting; 3) helped us secure the first place of 2020 VQA challenge when integrated as a module for 'number' related questions in generic VQA models. Finally, we show evidence that modulated convolutions such as MoVie can serve as a general mechanism for reasoning tasks beyond counting.


title: Multi-wavelength observations of PSRJ 2032+4127 during the 2017 periastron passage

abstract: PSRJ 2032+4127 is only the second known gamma-ray binary where it is confirmed that a young radio pulsar is in orbit around a Be-star. The interaction of the pulsar wind with the mass outflow from the companion leads to broad band emission from radio up to TeV energies. In the current paper we present results of optical monitoring of the 2017 periastron passage with the Nordic Optical Telescope. These observations are complemented by X-ray (Swift/XRT, NuSTAR) and GeV (Fermi/LAT) monitoring. Joint analysis of the evolution of the parameters of the Halpha line and the broadband (X-ray to TeV) spectral shape allows us to propose a model linking the observed emission to the interaction of the pulsar and Be-star winds under the assumption of the inclined disc geometry. Our model allows the observed flux and spectral evolution of the system to be explained in a self-consistent way.


title: Tuning photon statistics with coherent fields

abstract: Photon correlations, as measured by Glauber's $n$-th order coherence functions $g^{(n)}$, are highly sought to be minimized and/or maximized. In systems that are coherently driven, so-called blockades can give rise to strong correlations according to two scenarios based on level-repulsion (conventional blockade) or interferences (unconventional blockade). Here we show how these two approaches relate to the admixing of a coherent state with a quantum state such as a squeezed state for the simplest and most recurrent case. The emission from a variety of systems, such as resonance fluorescence, the Jaynes-Cummings model or microcavity polaritons, as a few examples of a large family of quantum optical sources, are shown to be particular cases of such admixtures, that can further be doctored-up externally by adding an amplitude- and phase-controlled coherent field with the effect of tuning the photon statistics from exactly zero to infinity. We show how such an understanding also allows to classify photon statistics throughout platforms according to conventional and unconventional features, with the effect of optimizing the correlations and with possible spectroscopic applications. In particular, we show how configurations that can realize simultaneously conventional and unconventional antibunching bring the best of both worlds: huge antibunching (unconventional) with large populations and being robust to dephasing (conventional).


title: Lite Transformer with Long-Short Range Attention

abstract: Transformer has become ubiquitous in natural language processing (e.g., machine translation, question answering); however, it requires enormous amount of computations to achieve high performance, which makes it not suitable for mobile applications that are tightly constrained by the hardware resources and battery. In this paper, we present an efficient mobile NLP architecture, Lite Transformer to facilitate deploying mobile NLP applications on edge devices. The key primitive is the Long-Short Range Attention (LSRA), where one group of heads specializes in the local context modeling (by convolution) while another group specializes in the long-distance relationship modeling (by attention). Such specialization brings consistent improvement over the vanilla transformer on three well-established language tasks: machine translation, abstractive summarization, and language modeling. Under constrained resources (500M/100M MACs), Lite Transformer outperforms transformer on WMT'14 English-French by 1.2/1.7 BLEU, respectively. Lite Transformer reduces the computation of transformer base model by 2.5x with 0.3 BLEU score degradation. Combining with pruning and quantization, we further compressed the model size of Lite Transformer by 18.2x. For language modeling, Lite Transformer achieves 1.8 lower perplexity than the transformer at around 500M MACs. Notably, Lite Transformer outperforms the AutoML-based Evolved Transformer by 0.5 higher BLEU for the mobile NLP setting without the costly architecture search that requires more than 250 GPU years. Code has been made available at https://github.com/mit-han-lab/lite-transformer.


title: Forced vibrations and wave propagation in multilayered solid spheres using a one-dimensional semi-analytical finite element method

abstract: A numerical model is proposed to compute the eigenmodes and the forced response of multilayered elastic spheres. The main idea is to describe analytically the problem along the angular coordinates with spherical harmonics and to discretize the radial direction with one-dimensional finite elements. The proper test function must be carefully chosen so that both vector and tensor spherical harmonics orthogonality relationships can be used. The proposed approach yields a general one-dimensional formulation with a fully analytical description of the angular behaviour, suitable for any interpolating technique. A linear eigenvalue problem, simple and fast to solve, is then obtained. The eigensolutions are the spheroidal and torsional modes. They are favourably compared with literature results for a homogeneous sphere. The eigensolutions are superposed to compute explicitly the forced response. The latter is used to reconstruct the propagation of surfaces waves. In particular, the collimation of a Rayleigh wave (non-diffracted surface wave propagating with a quasi-constant width) excited by a line source in a homogeneous sphere is recovered with the model. Based on the vibration eigenmodes, a modal analysis shows that such a wave is a superposition of fundamental spheroidal modes with a displacement confined at the equator of the sphere. These modes are the so-called Rayleigh modes, of sectoral type and high polar wavenumbers. When a thin viscoelastic coating is added to the sphere, the Rayleigh mode behaviour is recovered in a limited frequency range, allowing the generation of a collimating wave at the interface between the sphere and the coating.


title: Collapse modes in SC and BCC arrangements of elastic beads

abstract: Collapse modes in compressed simple cubic (SC) and body-centered cubic (BCC) periodic arrangements of elastic frictionless beads were studied numerically using the discrete element method. Under pure hydrostatic compression, the SC arrangement tends to transform into a defective hexagonal close-packed or amorphous structure. The BCC assembly exhibits several modes of collapse, one of which, identified as cI16 structure, is consistent with the behavior of BCC metals Li and Na under high pressure. The presence of a deviatoric stress leads to the transformation of the BCC structure into face-centered cubic (FCC) one via the Bain path. The observed effects provide important insights on the origins of mechanical behavior of atomic systems, while the elastic spheres model used in our work can become a useful paradigm, expanding the capabilities of a hard sphere model widely used in many branches of science.


title: Plane-wave approach to the exact van der Waals interaction between colloid particles

abstract: The numerically exact evaluation of the van der Waals interaction, also known as Casimir interaction when including retardation effects, constitutes a challenging task. We present a new approach based on the plane-wave basis and demonstrate that it possesses advantages over the more commonly used multipole basis. The rotational symmetry of the plane-sphere and sphere-sphere geometries can be exploited by means of a discrete Fourier transform. The new technique is applied to a study of the interaction between a colloid particle made of polystyrene or mercury and another polystyrene sphere or a polystyrene wall in an aqueous solution. Special attention is paid to the influence of screening caused by a variable salt concentration in the medium. It is found that in particular for low salt concentrations the error implied by the proximity force approximation is larger than usually assumed. For a mercury droplet, a repulsive interaction is found for sufficiently large distances provided screening is negligible. We emphasize that the effective Hamaker parameter depends significantly on the scattering geometry on which it is based.


title: Assortative-Constrained Stochastic Block Models

abstract: Stochastic block models (SBMs) are often used to find assortative community structures in networks, such that the probability of connections within communities is higher than in between communities. However, classic SBMs are not limited to assortative structures. In this study, we discuss the implications of this model-inherent indifference towards assortativity or disassortativity, and show that this characteristic can lead to undesirable outcomes for networks which are presupposedy assortative but which contain a reduced amount of information. To circumvent this issue, we introduce a constrained SBM that imposes strong assortativity constraints, along with efficient algorithmic approaches to solve it. These constraints significantly boost community recovery capabilities in regimes that are close to the information-theoretic threshold. They also permit to identify structurally-different communities in networks representing cerebral-cortex activity regions.


title: Control of nonlinear optical phenomena and spatially structured optical effects in a four-level quantum system near a plasmonic nanostructure

abstract: We investigate the nonlinear optical response of a four-level double-V-type quantum system interacting with a pair of weak probe fields while located near a two-dimensional array of metal-coated dielectric nanospheres. Such a quantum system contains a V-type subsystem interacting with surface plasmons, and another V-type subsystem interacting with the free-space vacuum. A distinctive feature of the proposed setup is its sensitivity to the relative phase of the applied fields when placed near the plasmonic nanostructure. We demonstrate that due to the presence of the plasmonic nanostructure, the third-order (Kerr-type) susceptibility for one of the laser fields can be significantly modified while another probe field is acting. Moreover, the Kerr nonlinearity of the system can be controlled and even enhanced by varying the distance of the quantum system from the plasmonic nanostructure.We also show that the Kerr nonlinearity of such a system can be controlled by adjusting the relative phase of the applied fields. The results obtained may find potential applications in on-chip nanoscale photonic devices. We also study the light-matter interaction in the case where one probe field carries an optical vortex, and another probe field has no vortex. We demonstrate that due to the phase sensitivity of the closed-loop double V-type quantum system, the linear and nonlinear susceptibility of the nonvortex probe beam depends on the azimuthal angle and orbital angular momentum (OAM) of the vortex probe beam. This feature is missing in open four-level double V-type quantum system interacting with free-space vacuum, as no quantum interference occurs in this case. We use the azimuthal dependence of optical susceptibility of the quantum system to determine the regions of spatially-structured transmittance.


title: Template-Based Question Generation from Retrieved Sentences for Improved Unsupervised Question Answering

abstract: Question Answering (QA) is in increasing demand as the amount of information available online and the desire for quick access to this content grows. A common approach to QA has been to fine-tune a pretrained language model on a task-specific labeled dataset. This paradigm, however, relies on scarce, and costly to obtain, large-scale human-labeled data. We propose an unsupervised approach to training QA models with generated pseudo-training data. We show that generating questions for QA training by applying a simple template on a related, retrieved sentence rather than the original context sentence improves downstream QA performance by allowing the model to learn more complex context-question relationships. Training a QA model on this data gives a relative improvement over a previous unsupervised model in F1 score on the SQuAD dataset by about 14%, and 20% when the answer is a named entity, achieving state-of-the-art performance on SQuAD for unsupervised QA.


title: Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem

abstract: We present a simple proof of the approximate Eastin-Knill theorem, which connects the quality of a quantum error-correcting code (QECC) with its ability to achieve a universal set of transversal logical gates. Our derivation employs powerful bounds on the quantum Fisher information in generic quantum metrological protocols to characterize the QECC performance measured in terms of the worst-case entanglement fidelity. The theorem is applicable to a large class of decoherence models, including independent erasure and depolarizing noise. Our approach is unorthodox, as instead of following the established path of utilizing QECCs to mitigate noise in quantum metrological protocols, we apply methods of quantum metrology to explore the limitations of QECCs.


title: TeamTat: a collaborative text annotation tool

abstract: Manually annotated data is key to developing text-mining and information-extraction algorithms. However, human annotation requires considerable time, effort and expertise. Given the rapid growth of biomedical literature, it is paramount to build tools that facilitate speed and maintain expert quality. While existing text annotation tools may provide user-friendly interfaces to domain experts, limited support is available for image display, project management, and multi-user team annotation. In response, we developed TeamTat (teamtat.org), a web-based annotation tool (local setup available), equipped to manage team annotation projects engagingly and efficiently. TeamTat is a novel tool for managing multi-user, multi-label document annotation, reflecting the entire production life cycle. Project managers can specify annotation schema for entities and relations and select annotator(s) and distribute documents anonymously to prevent bias. Document input format can be plain text, PDF or BioC, (uploaded locally or automatically retrieved from PubMed or PMC), and output format is BioC with inline annotations. TeamTat displays figures from the full text for the annotators convenience. Multiple users can work on the same document independently in their workspaces, and the team manager can track task completion. TeamTat provides corpus-quality assessment via inter-annotator agreement statistics, and a user-friendly interface convenient for annotation review and inter-annotator disagreement resolution to improve corpus quality.


title: Detecting scalar fields with Extreme Mass Ratio Inspirals

abstract: We study Extreme Mass Ratio Inspirals (EMRIs), during which a small body spirals into a supermassive black hole, in gravity theories with additional scalar fields. We first argue that no-hair theorems and the properties of known theories that manage to circumvent them introduce a drastic simplification to the problem: the effects of the scalar on supermassive black holes, if any, are mostly negligible for EMRIs in vast classes of theories. We then exploit this simplification to model the inspiral perturbatively and we demonstrate that the scalar charge of the small body leaves a significant imprint on gravitational wave emission. Although much higher precision is needed for waveform modelling, our results strongly suggest that this imprint is observable with LISA, rendering EMRIs promising probes of scalar fields.


title: The number of almost perfect nonlinear functions grows exponentially

abstract: Almost perfect nonlinear (APN) functions play an important role in the design of block ciphers as they offer the strongest resistance against differential cryptanalysis. Despite more than 25 years of research, only a limited number of APN functions are known. In this paper, we show that a recent construction by Taniguchi provides at least $\frac{\varphi(m)}{2}\left\lceil \frac{2^m+1}{3m} \right\rceil$ inequivalent APN functions on the finite field with ${2^{2m}}$ elements, where $\varphi$ denotes Euler's totient function. This is a great improvement of previous results: for even $m$, the best known lower bound has been $\frac{\varphi(m)}{2}\left(\lfloor \frac{m}{4}\rfloor +1\right)$, for odd $m$, there has been no such lower bound at all. Moreover, we determine the automorphism group of Taniguchi's APN functions.