title: The development and deployment of formal methods in the UK

abstract: UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both have tracked a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long-term impact.


title: See what I'm saying? Comparing Intelligent Personal Assistant use for Native and Non-Native Language Speakers

abstract: Limited linguistic coverage for Intelligent Personal Assistants (IPAs) means that many interact in a non-native language. Yet we know little about how IPAs currently support or hinder these users. Through native (L1) and non-native (L2) English speakers interacting with Google Assistant on a smartphone and smart speaker, we aim to understand this more deeply. Interviews revealed that L2 speakers prioritised utterance planning around perceived linguistic limitations, as opposed to L1 speakers prioritising succinctness because of system limitations. L2 speakers see IPAs as insensitive to linguistic needs resulting in failed interaction. L2 speakers clearly preferred using smartphones, as visual feedback supported diagnoses of communication breakdowns whilst allowing time to process query results. Conversely, L1 speakers preferred smart speakers, with audio feedback being seen as sufficient. We discuss the need to tailor the IPA experience for L2 users, emphasising visual feedback whilst reducing the burden of language production.


title: Subradiant emission from regular atomic arrays: universal scaling of decay rates from the generalized Bloch theorem

abstract: The Hermitian part of the dipole-dipole interaction in infinite periodic arrays of two-level atoms yields an energy band of singly excited states. In this Letter, we show that a dispersion relation, $\omega_k-\omega_{k_\ex} \propto (k-k_{\ex})^s$, near the band edge of the infinite system leads to the existence of subradiant states of finite one-dimensional arrays of $N$ atoms with decay rates scaling as $N^{-(s+1)}$. This explains the recently discovered $N^{-3}$ scaling and it leads to the prediction of power law scaling with higher power for special values of the lattice period. For the quantum optical implementation of the Su-Schrieffer-Heeger (SSH) topological model in a dimerized emitter array, the band-gap-closing inherent to topological transitions changes the value of $s$ in the dispersion relation and alters the decay rates of the subradiant states by many orders of magnitude.


title: Calabi-Yau fibrations, simple K-equivalence and mutations

abstract: A homogeneous roof is a rational homogeneous variety of Picard rank 2 and index $r$ equipped with two different $\mathbb P^{r-1}$-bundle structures. We consider bundles of homogeneous roofs over a smooth projective variety, formulating a relative version of the duality of Calabi--Yau pairs associated to roofs of projective bundles. We discuss how derived equivalence of such pairs can lift to Calabi--Yau fibrations, extending a result of Bridgeland and Maciocia to higher-dimensional cases. We formulate an approach to prove that the $DK$-conjecture holds for a class of simple $K$-equivalent maps arising from bundles of roofs. As an example, we propose a pair of eight-dimensional Calabi--Yau varieties fibered in dual Calabi--Yau threefolds, related by a GLSM phase transition, and we prove derived equivalence with the methods above.


title: Mental Workload and Language Production in Non-Native Speaker IPA Interaction

abstract: Through proliferation on smartphones and smart speakers, intelligent personal assistants (IPAs) have made speech a common interaction modality. Yet, due to linguistic coverage and varying levels of functionality, many speakers engage with IPAs using a non-native language. This may impact the mental workload and pattern of language production displayed by non-native speakers. We present a mixed-design experiment, wherein native (L1) and non-native (L2) English speakers completed tasks with IPAs through smartphones and smart speakers. We found significantly higher mental workload for L2 speakers during IPA interactions. Contrary to our hypotheses, we found no significant differences between L1 and L2 speakers in terms of number of turns, lexical complexity, diversity, or lexical adaptation when encountering errors. These findings are discussed in relation to language production and processing load increases for L2 speakers in IPA interaction.


title: A Variational Approach to Privacy and Fairness

abstract: In this article, we propose a new variational approach to learn private and/or fair representations. This approach is based on the Lagrangians of a new formulation of the privacy and fairness optimization problems that we propose. In this formulation, we aim to generate representations of the data that keep a prescribed level of the relevant information that is not shared by the private or sensitive data, while minimizing the remaining information they keep. The proposed approach (i) exhibits the similarities of the privacy and fairness problems, (ii) allows us to control the trade-off between utility and privacy or fairness through the Lagrange multiplier parameter, and (iii) can be comfortably incorporated to common representation learning algorithms such as the VAE, the $\beta$-VAE, the VIB, or the nonlinear IB.


title: The structure of strong $k$-quasi-transitive digraphs with large diameters

abstract: Let $k$ be an integer with $k\geq 2$. A digraph $D$ is $k$-quasi-transitive, if for any path $x_0x_1\ldots x_k$ of length $k$, $x_0$ and $x_k$ are adjacent. Suppose that there exists a path of length at least $k+2$ in $D$. Let $P$ be a shortest path of length $k+2$ in $D$. Wang and Zhang [Hamiltonian paths in $k$-quasi-transitive digraphs, Discrete Mathematics, 339(8) (2016) 2094--2099] proved that if $k$ is even and $k\ge 4$, then $D[V(P)]$ and $D[V(D)\setminus V(P)]$ are both semicomplete digraphs. In this paper, we shall prove that if $k$ is odd and $k\ge 5$, then $D[V(P)]$ is either a semicomplete digraph or a semicomplete bipartite digraph and $D[V(D)\setminus V(P)]$ is either a semicomplete digraph, a semicomplete bipartite digraph or an empty digraph.


title: A Ray-Knight representation of up-down Chinese restaurants

abstract: We study composition-valued continuous-time Markov chains that appear naturally in the framework of Chinese Restaurant Processes (CRPs). As time evolves, new customers arrive (up-step) and existing customers leave (down-step) at suitable rates derived from the ordered CRP of Pitman and Winkel (2009). We relate such up-down CRPs to the splitting trees of Lambert (2010) inducing spectrally positive L\'{e}vy processes. Conversely, we develop theorems of Ray-Knight type to recover more general up-down CRPs from the heights of L\'{e}vy processes with jumps marked by integer-valued paths. We further establish limit theorems for the L\'{e}vy process and the integer-valued paths to connect to work by Forman et al. (2018+) on interval partition diffusions and hence to some long-standing conjectures.


title: Leading theories of the cuprate superconductivity: a critique

abstract: We present a review of the leading theoretical approaches in the field of cuprate high temperature superconductivity. We start out by defining the problem and ask the question: whether an overarching theory possible (which is capable of explaining not only the mechanism of unconventional superconductivity but also a coherent understanding of the strange metal phase and the pseudogap phase)? If it is possible, what should we expect from the overarching theory? We list various experimental facts, and point out what can we learn from them and where do current theories stand in addressing them? Next, we present a critique of the current leading approaches. We conclude that although progress in the field has been unprecedented, but we still lack a coherent understanding.


title: Extracting and categorising the reactions to COVID-19 by the South African public -- A social media study

abstract: Social Media can be used to extract discussion topics during a disaster. With the COVID-19 pandemic impact on South Africa, we need to understand how the law and regulation promulgated by the government in response to the pandemic contrasts with discussion topics social media users have been engaging in. In this work, we expand on traditional media analysis by using Social Media discussions driven by or directed to South African government officials. We find topics that are similar as well as different in some cases. The findings can inform further study into social media during disaster settings in South Africa and beyond. This paper sets a framework for future analysis in understanding the opinions of the public during a pandemic and how these opinions can be distilled [in a semi-automated approach] to inform government communication in the future.


title: A Simple Traffic Signal Control Using Queue Length Information

abstract: Developments in sensor technologies, especially emerging connected and autonomous vehicles, facilitate better queue length (QL) measurements on signalized intersection approaches in real time. Currently there are very limited methods that utilize QL information in real-time to enhance the performance of signalized intersections. In this paper we present methods for QL estimation and a control algorithm that adjusts maximum green times in actuated signals at each cycle based on QLs. The proposed method is implemented at a single intersection with random and platoon arrivals, and evaluated in VISSIM (a microscopic traffic simulation environment) assuming 100 % accurate cycle-by-cycle queue length information is available. To test the robustness of the method, numerical experiments are performed where traffic demand is increased and by 20\% relative to the demand levels for which signal timing parameters are optimized. Compared to the typical fully-actuated signal control, the proposed QL-based method improves average delay, number of stops, and QL for random arrivals, by 6 %, 9 %, and 10 % respectively. In addition, the method improves average delay, number of stops, and QL by 3 %, 3 %, and 11 % respectively for platoon vehicle arrivals.


title: A tame sequence of transitive Boolean functions

abstract: Given a sequence of Boolean functions $(f_n)_{n \geq 1}$, $f_n \colon \{ 0,1 \}^{n} \to \{ 0,1 \}$, and a sequence $(X^{(n)})_{n\geq 1} $ of continuous time $p_n $-biased random walks $ X^{(n)} = (X_t^{(n)})_{t \geq 0}$ on $ \{ 0,1 \}^{n}$, let $ C_n $ be the (random) number of times in $(0,1) $ at which the process $ (f_n(X_t))_{t \geq 0} $ changes its value. In \cite{js2006}, the authors conjectured that if $ (f_n)_{n \geq 1} $ is non-degenerate, transitive and satisfies $ \lim_{n \to \infty} \mathbb{E}[C_n] = \infty$, then $ (C_n)_{n \geq 1} $ is not tight. We give an explicit example of a sequence of Boolean functions which disproves this conjecture.


title: AoI-optimal Joint Sampling and Updating for Wireless Powered Communication Systems

abstract: This paper characterizes the structure of the Age of Information (AoI)-optimal policy in wireless powered communication systems while accounting for the time and energy costs of generating status updates at the source nodes. In particular, for a single source-destination pair in which a radio frequency (RF)-powered source sends status updates about some physical process to a destination node, we minimize the long-term average AoI at the destination node. The problem is modeled as an average cost Markov Decision Process (MDP) in which, the generation times of status updates at the source, the transmissions of status updates from the source to the destination, and the wireless energy transfer (WET) are jointly optimized. After proving the monotonicity property of the value function associated with the MDP, we analytically demonstrate that the AoI-optimal policy has a threshold-based structure w.r.t. the state variables. Our numerical results verify the analytical findings and reveal the impact of state variables on the structure of the AoI-optimal policy. Our results also demonstrate the impact of system design parameters on the optimal achievable average AoI as well as the superiority of our proposed joint sampling and updating policy w.r.t. the generate-at-will policy.


title: 2020 UK Lockdown Cyber Narratives: the Secure, the Insecure and the Worrying

abstract: On the 23rd March 2020, the UK entered a period of lockdown in the face of a deadly pandemic. While some were unable to work from home, many organisations were forced to move their activities online. Here, we discuss the technologies they used, from a privacy and security perspective. We also mention the communication failures that have exacerbated uncertainty and anxiety during the crisis. An organisation could be driven to move their activities online by a range of disasters, of which a global pandemic is only one. We seek, in this paper, to highlight the need for organisations to have contingency plans in place for this kind of eventuality. The insecure usages and poor communications we highlight are a symptom of a lack of advance pre-pandemic planning. We hope that this paper will help organisations to plan more effectively for the future.


title: Provenance for Linguistic Corpora Through Nanopublications

abstract: Research in Computational Linguistics is dependent on text corpora for training and testing new tools and methodologies. While there exists a plethora of annotated linguistic information, these corpora are often not interoperable without significant manual work. Moreover, these annotations might have evolved into different versions, making it challenging for researchers to know the data's provenance. This paper addresses this issue with a case study on event annotated corpora and by creating a new, more interoperable representation of this data in the form of nanopublications. We demonstrate how linguistic annotations from separate corpora can be reliably linked from the start, and thereby be accessed and queried as if they were a single dataset. We describe how such nanopublications can be created and demonstrate how SPARQL queries can be performed to extract interesting content from the new representations. The queries show that information of multiple corpora can be retrieved more easily and effectively because the information of different corpora is represented in a uniform data format.


title: Spin squeezing and concurrence under Lee-Yang dephasing channels

abstract: The Lee-Yang zeros are one-to-one mapping to zeros in the coherence of a probe spin coupled to a many-body system. Here, we study the spin squeezing under two different types of Lee-Yang dephasing channels in which the partition functions vanish at Lee-Yang zeros. Under the first type of the channels in which probes are coupled to their own bath, we find that the performance of spin squeezing is improved and its maximum only depends on the initial state. Moreover, the centers of all the concurrence vanishing domains are corresponding to the Lee-Yang zeros. Under the second type of the channels in which probes are coupled to one bath together, the performance of spin squeezing is not improved, however, the concurrence shares almost the same properties under both channels. These results provide new experimental possibilities in many-body physics and extend a new perspective of the relationship between the entanglement and spin squeezing in probes-bath systems.


title: A framework for step-wise explaining how to solve constraint satisfaction problems

abstract: We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of explaining the inference steps that one can take during propagation, in a way that is easy to interpret for a person. Thereby, we aim to give the constraint solver explainable agency, which can help in building trust in the solver by being able to understand and even learn from the explanations. The main challenge is that of finding a sequence of simple explanations, where each explanation should aim to be as cognitively easy as possible for a human to verify and understand. This contrasts with the arbitrary combination of facts and constraints that the solver may use when propagating. We propose the use of a cost function to quantify how simple an individual explanation of an inference step is, and identify the explanation-production problem of finding the best sequence of explanations of a CSP. Our approach is agnostic of the underlying constraint propagation mechanisms, and can provide explanations even for inference steps resulting from combinations of constraints. In case multiple constraints are involved, we also develop a mechanism that allows to break the most difficult steps up and thus gives the user the ability to zoom in on specific parts of the explanation. Our proposed algorithm iteratively constructs the explanation sequence by using an optimistic estimate of the cost function to guide the search for the best explanation at each step. Our experiments on logic grid puzzles show the feasibility of the approach in terms of the quality of the individual explanations and the resulting explanation sequences obtained.


title: The high-order block RIP for non-convex block-sparse compressed sensing

abstract: This paper concentrates on the recovery of block-sparse signals, which is not only sparse but also nonzero elements are arrayed into some blocks (clusters) rather than being arbitrary distributed all over the vector, from linear measurements. We establish high-order sufficient conditions based on block RIP to ensure the exact recovery of every block $s$-sparse signal in the noiseless case via mixed $l_2/l_p$ minimization method, and the stable and robust recovery in the case that signals are not accurately block-sparse in the presence of noise. Additionally, a lower bound on necessary number of random Gaussian measurements is gained for the condition to be true with overwhelming probability. Furthermore, the numerical experiments conducted demonstrate the performance of the proposed algorithm.


title: Topological rainbow trapping for elastic energy harvesting in graded SSH systems

abstract: We amalgamate two fundamental designs from distinct areas of wave control in physics, and place them in the setting of elasticity. Graded elastic metasurfaces, so-called metawedges, are combined with the now classical Su-Schrieffer-Heeger (SSH) model from the field of topological insulators. The resulting structures form one-dimensional graded-SSH-metawedges that support multiple, simultaneous, topologically protected edge states. These robust, enhanced localised modes are leveraged for applications in elastic energy harvesting using the piezoelectric effect. The designs we develop are first motivated by applying the SSH model to mass-loaded Kirchhoff-Love thin elastic plates. We then extend these ideas to using graded resonant rods, and create SSH models, coupled to elastic beams and full elastic half-spaces.


title: Latent Transformations for Discrete-Data Normalising Flows

abstract: Normalising flows (NFs) for discrete data are challenging because parameterising bijective transformations of discrete variables requires predicting discrete/integer parameters. Having a neural network architecture predict discrete parameters takes a non-differentiable activation function (eg, the step function) which precludes gradient-based learning. To circumvent this non-differentiability, previous work has employed biased proxy gradients, such as the straight-through estimator. We present an unbiased alternative where rather than deterministically parameterising one transformation, we predict a distribution over latent transformations. With stochastic transformations, the marginal likelihood of the data is differentiable and gradient-based learning is possible via score function estimation. To test the viability of discrete-data NFs we investigate performance on binary MNIST. We observe great challenges with both deterministic proxy gradients and unbiased score function estimation. Whereas the former often fails to learn even a shallow transformation, the variance of the latter could not be sufficiently controlled to admit deeper NFs.


title: Signatures of Spatial Curvature on Growth of Structures

abstract: We write down Boltzmann equation for massive particles in a spatially curved FRW universe and solve the approximate line-of-sight solution for evolution of matter density, including the effects of spatial curvature to the first order of approximation. It is shown that memory of early time gravitational potential is affected by presence of spatial curvature. Then we revisit Boltzmann equation for photons in the general FRW background. Using it, we show that how the frequency of oscillations and damping factor (known as Silk damping) changed in presence of spatial curvature. At last, using this modified damping factor in hydrodynamic regime of cosmological perturbations, we find our analytic solution which shows the effects of spatial curvature on growing mode of matter density.


title: A Unified Nanopublication Model for Effective and User-Friendly Access to the Elements of Scientific Publishing

abstract: Scientific publishing is the means by which we communicate and share scientific knowledge, but this process currently often lacks transparency and machine-interpretable representations. Scientific articles are published in long coarse-grained text with complicated structures, and they are optimized for human readers and not for automated means of organization and access. Peer reviewing is the main method of quality assessment, but these peer reviews are nowadays rarely published and their own complicated structure and linking to the respective articles is not accessible. In order to address these problems and to better align scientific publishing with the principles of the Web and Linked Data, we propose here an approach to use nanopublications as a unifying model to represent in a semantic way the elements of publications, their assessments, as well as the involved processes, actors, and provenance in general. To evaluate our approach, we present a dataset of 627 nanopublications representing an interlinked network of the elements of articles (such as individual paragraphs) and their reviews (such as individual review comments). Focusing on the specific scenario of editors performing a meta-review, we introduce seven competency questions and show how they can be executed as SPARQL queries. We then present a prototype of a user interface for that scenario that shows different views on the set of review comments provided for a given manuscript, and we show in a user study that editors find the interface useful to answer their competency questions. In summary, we demonstrate that a unified and semantic publication model based on nanopublications can make scientific communication more effective and user-friendly.


title: Weyl points and exceptional rings with polaritons in bulk semiconductors

abstract: Weyl points are the simplest topologically-protected degeneracy in a three-dimensional dispersion relation. The realization of Weyl semimetals in photonic crystals has allowed these singularities and their consequences to be explored with electromagnetic waves. However, it is difficult to achieve nonlinearities in such systems. One promising approach is to use the strong-coupling of photons and excitons, because the resulting polaritons interact through their exciton component. Yet topological polaritons have only been realized in two dimensions. Here, we predict that the dispersion relation for polaritons in three dimensions, in a bulk semiconductor with an applied magnetic field, contains Weyl points and Weyl line nodes. We show that absorption converts these Weyl points to Weyl exceptional rings. We conclude that bulk semiconductors are a promising system in which to investigate topological photonics in three dimensions, and the effects of dissipation, gain, and nonlinearity.


title: Wilks' theorem for semiparametric regressions with weakly dependent data

abstract: The empirical likelihood inference is extended to a class of semiparametric models for stationary, weakly dependent series. A partially linear single-index regression is used for the conditional mean of the series given its past, and the present and past values of a vector of covariates. A parametric model for the conditional variance of the series is added to capture further nonlinear effects. We propose a fixed number of suitable moment equations which characterize the mean and variance model. We derive an empirical log-likelihood ratio which includes nonparametric estimators of several functions, and we show that this ratio has the same limit as in the case where these functions are known.


title: Neutron star cooling within the equation of state with induced surface tension

abstract: We study the thermal evolution of neutron stars described within the equation of state with induced surface tension (IST) that reproduces properties of normal nuclear matter, fulfills the proton flow constraint, provides a high-quality description of hadron multiplicities created during the nuclear-nuclear collision experiments, and it is equally compatible with the constraints from astrophysical observations and the GW170817 event. The model features strong direct Urca processes for the stars above $1.91~M_{\odot}$. The IST equation of state shows very good agreement with the available cooling data, even without introducing nuclear pairing. We also analysed the effect of the singlet proton/neutron and triplet neutron pairing on the cooling of neutron stars of different mass. We show that the description of the compact object in the center of the Cassiopeia A does not necessarily require an inclusion of neutron superfluidity and/or proton superconductivity. Our results indicate that data of Cassiopeia A can be adequately well reproduced by a $1.66~M_{\odot}$ star with an atmosphere of light elements. Moreover, the IST EoS reproduces each of the observational datasets for the surface temperature of Cassiopeia A either by a rapidly cooling $\sim$ $1.955~M_{\odot}$ star with paired and unpaired matter or by a $1.91~M_{\odot}$ star with the inclusion of neutron and proton pairings in the singlet channel.


title: PAC Bounds for Imitation and Model-based Batch Learning of Contextual Markov Decision Processes

abstract: We consider the problem of batch multi-task reinforcement learning with observed context descriptors, motivated by its application to personalized medical treatment. In particular, we study two general classes of learning algorithms: direct policy learning (DPL), an imitation-learning based approach which learns from expert trajectories, and model-based learning. First, we derive sample complexity bounds for DPL, and then show that model-based learning from expert actions can, even with a finite model class, be impossible. After relaxing the conditions under which the model-based approach is expected to learn by allowing for greater coverage of state-action space, we provide sample complexity bounds for model-based learning with finite model classes, showing that there exist model classes with sample complexity exponential in their statistical complexity. We then derive a sample complexity upper bound for model-based learning based on a measure of concentration of the data distribution. Our results give formal justification for imitation learning over model-based learning in this setting.


title: What adaptive neuronal networks teach us about power grids

abstract: Power grid networks, as well as neuronal networks with synaptic plasticity, describe real-world systems of tremendous importance for our daily life. The investigation of these seemingly unrelated types of dynamical networks has attracted increasing attention over the last decade. In this paper, we provide insight into the fundamental relation between these two types of networks. For this, we consider well-established models based on phase oscillators and show their intimate relation. In particular, we prove that phase oscillator models with inertia can be viewed as a particular class of adaptive networks. This relation holds even for more general classes of power grid models that include voltage dynamics. As an immediate consequence of this relation, we find a novel type of multicluster state for phase oscillators with inertia. Moreover, the phenomenon of cascading line failure in power grids is translated into an adaptive neuronal network.


title: Quantum gravitational interaction between two objects induced by external gravitational radiation fields

abstract: We explore, in the framework of linearized quantum gravity, the induced gravitational interaction between two gravitationally polarizable objects in their ground states in the presence of an external quantized gravitational radiation field. The interaction energy decreases as $r^{-5}$ in the near regime, and oscillates with a decreasing amplitude proportional to $r^{-1}$ in the far regime, where $r$ is the distance between the two objects. The interaction can be either attractive or repulsive depending on the propagation direction, polarization and frequency of the external gravitational field. That is, the induced interaction can be manipulated by varying the relative direction between the orientation of the objects with respect to the propagation direction of the incident gravitational radiation.


title: Improved Design of Quadratic Discriminant Analysis Classifier in Unbalanced Settings

abstract: The use of quadratic discriminant analysis (QDA) or its regularized version (R-QDA) for classification is often not recommended, due to its well-acknowledged high sensitivity to the estimation noise of the covariance matrix. This becomes all the more the case in unbalanced data settings for which it has been found that R-QDA becomes equivalent to the classifier that assigns all observations to the same class. In this paper, we propose an improved R-QDA that is based on the use of two regularization parameters and a modified bias, properly chosen to avoid inappropriate behaviors of R-QDA in unbalanced settings and to ensure the best possible classification performance. The design of the proposed classifier builds on a refined asymptotic analysis of its performance when the number of samples and that of features grow large simultaneously, which allows to cope efficiently with the high-dimensionality frequently met within the big data paradigm. The performance of the proposed classifier is assessed on both real and synthetic data sets and was shown to be much better than what one would expect from a traditional R-QDA.


title: Adversarial Attack Vulnerability of Medical Image Analysis Systems: Unexplored Factors

abstract: Adversarial attacks are considered a potentially serious security threat for machine learning systems. Medical image analysis (MedIA) systems have recently been argued to be vulnerable to adversarial attacks due to strong financial incentives and the associated technological infrastructure. In this paper, we study previously unexplored factors affecting adversarial attack vulnerability of deep learning MedIA systems in three medical domains: ophthalmology, radiology, and pathology. We focus on adversarial black-box settings, in which the attacker does not have full access to the target model and usually uses another model, commonly referred to as surrogate model, to craft adversarial examples. We consider this to be the most realistic scenario for MedIA systems. Firstly, we study the effect of weight initialization (ImageNet vs. random) on the transferability of adversarial attacks from the surrogate model to the target model. Secondly, we study the influence of differences in development data between target and surrogate models. We further study the interaction of weight initialization and data differences with differences in model architecture. All experiments were done with a perturbation degree tuned to ensure maximal transferability at minimal visual perceptibility of the attacks. Our experiments show that pre-training may dramatically increase the transferability of adversarial examples, even when the target and surrogate's architectures are different: the larger the performance gain using pre-training, the larger the transferability. Differences in the development data between target and surrogate models considerably decrease the performance of the attack; this decrease is further amplified by difference in the model architecture. We believe these factors should be considered when developing security-critical MedIA systems planned to be deployed in clinical practice.


title: Unifying Regularisation Methods for Continual Learning

abstract: Continual Learning addresses the challenge of learning a number of different tasks sequentially. The goal of maintaining knowledge of earlier tasks without re-accessing them starkly conflicts with standard SGD training for artificial neural networks. An influential method to tackle this problem without storing old data are so-called regularisation approaches. They measure the importance of each parameter for solving a given task and subsequently protect important parameters from large changes. In the literature, three ways to measure parameter importance have been put forward and they have inspired a large body of follow-up work. Here, we present strong theoretical and empirical evidence that these three methods, Elastic Weight Consolidation (EWC), Synaptic Intelligence (SI) and Memory Aware Synapses (MAS), are surprisingly similar and are all linked to the same theoretical quantity. Concretely, we show that, despite stemming from very different motivations, both SI and MAS approximate the square root of the Fisher Information, with the Fisher being the theoretically justified basis of EWC. Moreover, we show that for SI the relation to the Fisher -- and in fact its performance -- is due to a previously unknown bias. On top of uncovering unknown similarities and unifying regularisation approaches, we also demonstrate that our insights enable practical performance improvements for large batch training.


title: Equilibrium states of intermediate entropies

abstract: We explore an approach to the conjecture of Katok on intermediate entropies that based on uniqueness of equilibrium states, provided the entropy function is upper semi-continuous. As an application, we prove Katok's conjecture for Ma\~n\'e diffeomorphisms.


title: Improved Algorithms for Convex-Concave Minimax Optimization

abstract: This paper studies minimax optimization problems $\min_x \max_y f(x,y)$, where $f(x,y)$ is $m_x$-strongly convex with respect to $x$, $m_y$-strongly concave with respect to $y$ and $(L_x,L_{xy},L_y)$-smooth. Zhang et al. provided the following lower bound of the gradient complexity for any first-order method: $\Omega\Bigl(\sqrt{\frac{L_x}{m_x}+\frac{L_{xy}^2}{m_x m_y}+\frac{L_y}{m_y}}\ln(1/\epsilon)\Bigr).$ This paper proposes a new algorithm with gradient complexity upper bound $\tilde{O}\Bigl(\sqrt{\frac{L_x}{m_x}+\frac{L\cdot L_{xy}}{m_x m_y}+\frac{L_y}{m_y}}\ln\left(1/\epsilon\right)\Bigr),$ where $L=\max\{L_x,L_{xy},L_y\}$. This improves over the best known upper bound $\tilde{O}\left(\sqrt{\frac{L^2}{m_x m_y}} \ln^3\left(1/\epsilon\right)\right)$ by Lin et al. Our bound achieves linear convergence rate and tighter dependency on condition numbers, especially when $L_{xy}\ll L$ (i.e., when the interaction between $x$ and $y$ is weak). Via reduction, our new bound also implies improved bounds for strongly convex-concave and convex-concave minimax optimization problems. When $f$ is quadratic, we can further improve the upper bound, which matches the lower bound up to a small sub-polynomial factor.


title: Rock-paper-scissors models with a preferred mobility direction

abstract: We investigate a modified spatial stochastic Lotka-Volterra formulation of the rock-paper-scissors model using off-lattice stochastic simulations. In this model one of the species moves preferentially in a specific direction -- the level of preference being controlled by a noise strength parameter $\eta \in [0, 1]$ ($\eta = 0$ and $\eta = 1$ corresponding to total preference and no preference, respectively) -- while the other two species have no referred direction of motion. We study the behaviour of the system starting from random initial conditions, showing that the species with asymmetric mobility has always an advantage over its predator. We also determine the optimal value of the noise strength parameter which gives the maximum advantage to that species. Finally, we find that the critical number of individuals, below which the probability of extinction becomes significant, decreases as the noise level increases, thus showing that the addition of a preferred mobility direction studied in the present paper does not favour coexistence.


title: FRagmentation and Evolution of dense cores Judged by ALMA (FREJA). I (Overview). Inner $\sim$1000 au structures of prestellar/protostellar cores in Taurus

abstract: We have performed survey-type observations in 1 mm continuum and molecular lines toward dense cores (32 prestellar + 7 protostellar) with an average density of $\gtrsim$10$^5$ cm$^{-3}$ in the Taurus molecular clouds using the Atacama Large Millimeter/submillimeter Array-Atacama Compact Array (ALMA-ACA) stand-alone mode with an angular resolution of 6.$''$5 ($\sim$900 au). The primary purpose of this study is to investigate the innermost part of dense cores toward understanding the initial condition of star formation. In the protostellar cores, contributions from protostellar disks dominate the observed continuum flux with a range of 35-90% except for the very low-luminosity object. For the prestellar cores, we have successfully confirmed continuum emission from dense gas with a density of $\gtrsim$3 $\times$10$^5$ cm$^{-3}$ toward approximately one-third of the targets. Thanks to the lower spatial frequency coverage with the ACA-7 m array, the detection rate is significantly higher than that of the previous surveys, which have 0 or 1 continuum detected sources among large number of starless samples using the ALMA Main array. The statistical counting method tells us that the lifetime of the prestellar cores until protostar formation therein approaches the free-fall time as the density increases. Among the prestellar cores, at least two targets have possible internal substructures, which are detected in continuum emission with the size scale of $\sim$1000 au if we consider the molecular line (C$^{18}$O and N$_2$D$^{+}$) distributions. These results suggest that small-scale fragmentation/coalescence processes occur in a region smaller than 0.1 pc, which may determine the final core mass associated with individual protostar formation before starting the dynamical collapse of the core with central density of $\sim$(0.3-1) $\times$ 10$^6$ cm$^{-3}$.


title: Geometric rough paths on infinite dimensional spaces

abstract: Similar to ordinary differential equations, rough paths and rough differential equations can be formulated in a Banach space setting. For $\alpha\in (1/3,1/2)$, we give criteria for when we can approximate Banach space-valued weakly geometric $\alpha$-rough paths by signatures of curves of bounded variation, given some tuning of the H\"older parameter. We show that these criteria are satisfied for weakly geometric rough paths on Hilbert spaces. As an application, we obtain Wong-Zakai type result for function space valued martingales using the notion of (unbounded) rough drivers.


title: Critical velocity in resonantly driven polariton superfluids

abstract: We study the necessary condition under which a resonantly driven exciton polariton superfluid flowing against an obstacle can generate turbulence. The value of the critical velocity is well estimated by the transition from elliptic to hyperbolic of an operator following ideas developed by Frisch, Pomeau, Rica for a superfluid flow around an obstacle, though the nature of equations governing the polariton superfluid is quite different. We find analytical estimates depending on the pump amplitude and on the pump energy detuning, quite consistent with our numerical computations.


title: Blurred quantum Darwinism across quantum reference frames

abstract: Quantum Darwinism describes objectivity of quantum systems via their correlations with their environment--information that hypothetical observers can recover by measuring the environments. However, observations are done with respect to a frame of reference. Here, we take the formalism of [Giacomini, Castro-Ruiz, & Brukner. Nat Commun 10, 494 (2019)], and consider the repercussions on objectivity when changing quantum reference frames. We find that objectivity depends on non-degenerative relative separations, conditional state localisation, and environment macro-fractions. There is different objective information in different reference frames due to the interchangeability of entanglement and coherence, and of statistical mixing and classical correlations. As such, objectivity is subjective across quantum reference frames.


title: Sparse recovery by reduced variance stochastic approximation

abstract: In this paper, we discuss application of iterative Stochastic Optimization routines to the problem of sparse signal recovery from noisy observation. Using Stochastic Mirror Descent algorithm as a building block, we develop a multistage procedure for recovery of sparse solutions to Stochastic Optimization problem under assumption of smoothness and quadratic minoration on the expected objective. An interesting feature of the proposed algorithm is linear convergence of the approximate solution during the preliminary phase of the routine when the component of stochastic error in the gradient observation which is due to bad initial approximation of the optimal solution is larger than the "ideal" asymptotic error component owing to observation noise "at the optimal solution." We also show how one can straightforwardly enhance reliability of the corresponding solution by using Median-of-Means like techniques. We illustrate the performance of the proposed algorithms in application to classical problems of recovery of sparse and low rank signals in generalized linear regression framework. We show, under rather weak assumption on the regressor and noise distributions, how they lead to parameter estimates which obey (up to factors which are logarithmic in problem dimension and confidence level) the best known to us accuracy bounds.


title: A Class of Algorithms for General Instrumental Variable Models

abstract: Causal treatment effect estimation is a key problem that arises in a variety of real-world settings, from personalized medicine to governmental policy making. There has been a flurry of recent work in machine learning on estimating causal effects when one has access to an instrument. However, to achieve identifiability, they in general require one-size-fits-all assumptions such as an additive error model for the outcome. An alternative is partial identification, which provides bounds on the causal effect. Little exists in terms of bounding methods that can deal with the most general case, where the treatment itself can be continuous. Moreover, bounding methods generally do not allow for a continuum of assumptions on the shape of the causal effect that can smoothly trade off stronger background knowledge for more informative bounds. In this work, we provide a method for causal effect bounding in continuous distributions, leveraging recent advances in gradient-based methods for the optimization of computationally intractable objective functions. We demonstrate on a set of synthetic and real-world data that our bounds capture the causal effect when additive methods fail, providing a useful range of answers compatible with observation as opposed to relying on unwarranted structural assumptions.


title: Synergetic Learning Systems: Concept, Architecture, and Algorithms

abstract: Drawing on the idea that brain development is a Darwinian process of ``evolution + selection'' and the idea that the current state is a local equilibrium state of many bodies with self-organization and evolution processes driven by the temperature and gravity in our universe, in this work, we describe an artificial intelligence system called the ``Synergetic Learning Systems''. The system is composed of two or more subsystems (models, agents or virtual bodies), and it is an open complex giant system. Inspired by natural intelligence, the system achieves intelligent information processing and decision-making in a given environment through cooperative/competitive synergetic learning. The intelligence evolved by the natural law of ``it is not the strongest of the species that survives, but the one most responsive to change,'' while an artificial intelligence system should adopt the law of ``human selection'' in the evolution process. Therefore, we expect that the proposed system architecture can also be adapted in human-machine synergy or multi-agent synergetic systems. It is also expected that under our design criteria, the proposed system will eventually achieve artificial general intelligence through long term coevolution.


title: The Dead-Alive Physicist experiment: a case-study disproving the hypothesis that consciousness causes the wave-function collapse in the quantum measurement process

abstract: This paper aims to falsify the hypothesis that the observer's consciousness is necessary for quantum measurement. To achieve our target, we propose a variation of the Schroedinger's cat thought experiment called "DAP", short for "Dead-Alive Physicist", in which a human being replaces the cat. This strategy enables us to logically disprove the consistency of the above hypothesis and to oblige its supporters either to be trapped in solipsism or to rely on an alternative interpretation of quantum mechanics in which the role of the conscious observer has to be reviewed. Our analysis hence provides support to clarify the relationship between the observer the objects of her/his experimental observation; this and a few other implications are discussed in the fourth section and in the conclusions.


title: Lift of the trivial representation to a nonlinear double cover

abstract: Let $\widetilde G$ be the nonlinear double cover of the real points of a connected, simply connected, semisimple complex group. In [Ts], we introduce a set of genuine small representations of $\widetilde G$ with infinitesimal character $\lambda$, denoted $\prod _\lambda ^s (\widetilde G)$. In this paper, we show that $\prod _{\rho/2} ^s (\widetilde G)$ is precisely the set of genuine irreducible representations arising from the Kazhdan-Patterson lifting of the trivial representation, when $\widetilde G$ is simply laced and split.


title: High circular polarization of near infrared light induced by micron-size dust grains

abstract: We explore the induction of circular polarization (CP) of near-infrared light in star-forming regions using three-dimensional radiative transfer calculations. The simulations trace the change of Stokes parameters at each scattering/absorption process in a dusty gas slab composed of aligned grains. We find that the CP degree enlarges significantly according as the size of dust grains increases and exceeds $\sim 20$ percent for micron-size grains. Therefore, if micron-size grains are dominant in a dusty gas slab, the high CP observed around luminous young stellar objects can be accounted for. The distributions of CP show the asymmetric quadrupole patters regardless of the grain sizes. Also, we find that the CP degree depends on the relative position of a dusty gas slab. If a dusty gas slab is located behind a star-forming region, the CP reaches $\sim 60$ percent in the case of $1.0~{\rm \mu m}$ dust grains. Hence, we suggest that the observed variety of CP maps can be explained by different size distributions of dust grains and the configuration of aligned grains.


title: Metabelian groups: full-rank presentations, randomness and Diophantine problems

abstract: We study metabelian groups $G$ given by full rank finite presentations $\langle A \mid R \rangle_{\mathcal{M}}$ in the variety $\mathcal{M}$ of metabelian groups. We prove that $G$ is a product of a free metabelian subgroup of rank $\max\{0, |A|-|R|\}$ and a virtually abelian normal subgroup, and that if $|R| \leq |A|-2$ then the Diophantine problem of $G$ is undecidable, while it is decidable if $|R|\geq |A|$. We further prove that if $|R| \leq |A|-1$ then in any direct decomposition of $G$ all, but one, factors are virtually abelian. Since finite presentations have full rank asymptotically almost surely, finitely presented metabelian groups satisfy all the aforementioned properties asymptotically almost surely.


title: TS-UCB: Improving on Thompson Sampling With Little to No Additional Computation

abstract: Thompson sampling has become a ubiquitous approach to online decision problems with bandit feedback. The key algorithmic task for Thompson sampling is drawing a sample from the posterior of the optimal action. We propose an alternative arm selection rule we dub TS-UCB, that requires negligible additional computational effort but provides significant performance improvements relative to Thompson sampling. At each step, TS-UCB computes a score for each arm using two ingredients: posterior sample(s) and upper confidence bounds. TS-UCB can be used in any setting where these two quantities are available, and it is flexible in the number of posterior samples it takes as input. TS-UCB achieves materially lower regret on a comprehensive suite of synthetic and real-world datasets, including a personalized article recommendation dataset from Yahoo! and a suite of benchmark datasets from a deep bandit suite proposed in Riquelme et al. (2018). Finally, from a theoretical perspective, we establish optimal regret guarantees for TS-UCB for both the K-armed and linear bandit models.


title: The Limits to Learning a Diffusion Model

abstract: This paper provides the first sample complexity lower bounds for the estimation of simple diffusion models, including the Bass model (used in modeling consumer adoption) and the SIR model (used in modeling epidemics). We show that one cannot hope to learn such models until quite late in the diffusion. Specifically, we show that the time required to collect a number of observations that exceeds our sample complexity lower bounds is large. For Bass models with low innovation rates, our results imply that one cannot hope to predict the eventual number of adopting customers until one is at least two-thirds of the way to the time at which the rate of new adopters is at its peak. In a similar vein, our results imply that in the case of an SIR model, one cannot hope to predict the eventual number of infections until one is approximately two-thirds of the way to the time at which the infection rate has peaked. This lower bound in estimation further translates into a lower bound in regret for decision-making in epidemic interventions. Our results formalize the challenge of accurate forecasting and highlight the importance of incorporating additional data sources. To this end, we analyze the benefit of a seroprevalence study in an epidemic, where we characterize the size of the study needed to improve SIR model estimation. Extensive empirical analyses on product adoption and epidemic data support our theoretical findings.


title: CPGD: Cadzow Plug-and-Play Gradient Descent for Generalised FRI

abstract: Finite rate of innovation (FRI) is a powerful reconstruction framework enabling the recovery of sparse Dirac streams from uniform low-pass filtered samples. An extension of this framework, called generalised FRI (genFRI), has been recently proposed for handling cases with arbitrary linear measurement models. In this context, signal reconstruction amounts to solving a joint constrained optimisation problem, yielding estimates of both the Fourier series coefficients of the Dirac stream and its so-called annihilating filter, involved in the regularisation term. This optimisation problem is however highly non convex and non linear in the data. Moreover, the proposed numerical solver is computationally intensive and without convergence guarantee. In this work, we propose an implicit formulation of the genFRI problem. To this end, we leverage a novel regularisation term which does not depend explicitly on the unknown annihilating filter yet enforces sufficient structure in the solution for stable recovery. The resulting optimisation problem is still non convex, but simpler since linear in the data and with less unknowns. We solve it by means of a provably convergent proximal gradient descent (PGD) method. Since the proximal step does not admit a simple closed-form expression, we propose an inexact PGD method, coined as Cadzow plug-and-play gradient descent (CPGD). The latter approximates the proximal steps by means of Cadzow denoising, a well-known denoising algorithm in FRI. We provide local fixed-point convergence guarantees for CPGD. Through extensive numerical simulations, we demonstrate the superiority of CPGD against the state-of-the-art in the case of non uniform time samples.


title: Low-loss single-mode hybrid-lattice hollow-core photonic crystal fiber

abstract: The remarkable recent demonstrations in ultralow loss Inhibited-Coupling (IC) hollow-core photonic crystal fibers (HCPCFs) place them as serious candidates for the next-generation of long-haul fiber optics systems. A hindrance to this prospect, but also to short-haul applications such as micromachining, where stable and high-quality beam delivery is needed, is the challenge to design and fabricate an IC-guiding fiber that combines ultra-low loss, truly and robust single-modeness, and polarization-maintaining operation. Design solutions proposed up to now require a trade-off between low loss and truly single modeness. Here, we propose a novel concept of IC HCPCF for obtaining low-loss and effective single-mode operation. The fiber is endowed with a hybrid cladding composed of a Kagome-tubular lattice (HKT). This new concept of microstructured cladding allows to significantly reduce confinement loss and, at the same time, preserving a truly and robust single-mode operation. Experimental results show a HKT-IC-HCPCF with a minimum loss figure of 1.6 dB/km at 1050 nm and a higher-order modes extinction ratio as high as 47.0 dB for a 10 m long fiber. The robustness of the fiber single-modeness was tested by moving the fiber and varying the coupling conditions. The design proposed herein opens a new route for the accomplishment of HCPCFs that combine robust ultralow loss transmission and single-mode beam delivery and provides new insight into the understanding of IC guidance.


title: Wide and Deep Graph Neural Networks with Distributed Online Learning

abstract: Graph neural networks (GNNs) learn representations from network data with naturally distributed architectures, rendering them well-suited candidates for decentralized learning. Oftentimes, this decentralized graph support changes with time due to link failures or topology variations. These changes create a mismatch between the graphs on which GNNs were trained and the ones on which they are tested. Online learning can be used to retrain GNNs at testing time, overcoming this issue. However, most online algorithms are centralized and work on convex problems (which GNNs rarely lead to). This paper proposes the Wide and Deep GNN (WD-GNN), a novel architecture that can be easily updated with distributed online learning mechanisms. The WD-GNN comprises two components: the wide part is a bank of linear graph filters and the deep part is a GNN. At training time, the joint architecture learns a nonlinear representation from data. At testing time, the deep part (nonlinear) is left unchanged, while the wide part is retrained online, leading to a convex problem. We derive convergence guarantees for this online retraining procedure and further propose a decentralized alternative. Experiments on the robot swarm control for flocking corroborate theory and show potential of the proposed architecture for distributed online learning.


title: STL-SGD: Speeding Up Local SGD with Stagewise Communication Period

abstract: Distributed parallel stochastic gradient descent algorithms are workhorses for large scale machine learning tasks. Among them, local stochastic gradient descent (Local SGD) has attracted significant attention due to its low communication complexity. Previous studies prove that the communication complexity of Local SGD with a fixed or an adaptive communication period is in the order of $O (N^{\frac{3}{2}} T^{\frac{1}{2}})$ and $O (N^{\frac{3}{4}} T^{\frac{3}{4}})$ when the data distributions on clients are identical (IID) or otherwise (Non-IID), where $N$ is the number of clients and $T$ is the number of iterations. In this paper, to accelerate the convergence by reducing the communication complexity, we propose \textit{ST}agewise \textit{L}ocal \textit{SGD} (STL-SGD), which increases the communication period gradually along with decreasing learning rate. We prove that STL-SGD can keep the same convergence rate and linear speedup as mini-batch SGD. In addition, as the benefit of increasing the communication period, when the objective is strongly convex or satisfies the Polyak-\L ojasiewicz condition, the communication complexity of STL-SGD is $O (N \log{T})$ and $O (N^{\frac{1}{2}} T^{\frac{1}{2}})$ for the IID case and the Non-IID case respectively, achieving significant improvements over Local SGD. Experiments on both convex and non-convex problems demonstrate the superior performance of STL-SGD.


title: A low-velocity bipolar outflow from a deeply embedded object in Taurus revealed by the Atacama Compact Array

abstract: The first hydrostatic core, the first quasi-hydrostatic object formed during the star formation process, is still the observational missing link between the prestellar and protostellar phases, mainly due to its short lifetime. Although we have not established a clear method to identify this rare object, recent theoretical studies predict that the first core has millimeter continuum emission and low-velocity outflow with a wide opening angle. An extensive continuum/outflow survey toward a large number of $"$starless$"$ cores in nearby star-forming regions works as a pathfinder. We observed 32 prestellar cores in Taurus with an average density of $\gtrsim$10$^5$ cm$^{-3}$ in 1.3 mm continuum and molecular lines using the Atacama Large Millimeter/submillimeter Array$-$Atacama Compact Array (ALMA$-$ACA) stand-alone mode. Among the targets, MC35-mm centered at one of the densest $"$starless$"$ cores in Taurus has blueshifted/redshifted wings in the $^{12}$CO (2-1) line, indicating that there is deeply embedded object driving molecular outflow. The observed velocities and sizes of the possible outflow lobes are 2-4 km s$^{-1}$, and $\sim$2 $\times$10$^3$ au, respectively, and the dynamical time is calculated to be $\sim$10$^3$ yr. In addition to this, the core is one of the strongest N$_2$D$^{+}$ (3-2) emitters in our sample. All of the observed signatures do not conflict with any of the theoretical predictions about the first hydrostatic core so far, and thus MC35-mm is unique as the only first-core candidate in the Taurus molecular cloud.


title: The planar limit of $\mathcal{N}=2$ superconformal quiver theories

abstract: We compute the planar limit of both the free energy and the expectation value of the $1/2$ BPS Wilson loop for four dimensional ${\cal N}=2$ superconformal quiver theories, with a product of SU($N$)s as gauge group and bi-fundamental matter. Supersymmetric localization reduces the problem to a multi-matrix model, that we rewrite in the zero-instanton sector as an effective action involving an infinite number of double-trace terms, determined by the relevant extended Cartan matrix. We find that the results, as in the case of $\mathcal{N}=2$ SCFTs with a simple gauge group, can be written as sums over tree graphs. For the $\widehat{A_1}$ case, we find that the contribution of each tree can be interpreted as the partition function of a generalized Ising model defined on the tree; we conjecture that the partition functions of these models defined on trees satisfy the Lee-Yang property, i.e. all their zeros lie on the unit circle.


title: Pointer Graph Networks

abstract: Graph neural networks (GNNs) are typically applied to static graphs that are assumed to be known upfront. This static input structure is often informed purely by insight of the machine learning practitioner, and might not be optimal for the actual task the GNN is solving. In absence of reliable domain expertise, one might resort to inferring the latent graph structure, which is often difficult due to the vast search space of possible graphs. Here we introduce Pointer Graph Networks (PGNs) which augment sets or graphs with additional inferred edges for improved model generalisation ability. PGNs allow each node to dynamically point to another node, followed by message passing over these pointers. The sparsity of this adaptable graph structure makes learning tractable while still being sufficiently expressive to simulate complex algorithms. Critically, the pointing mechanism is directly supervised to model long-term sequences of operations on classical data structures, incorporating useful structural inductive biases from theoretical computer science. Qualitatively, we demonstrate that PGNs can learn parallelisable variants of pointer-based data structures, namely disjoint set unions and link/cut trees. PGNs generalise out-of-distribution to 5x larger test inputs on dynamic graph connectivity tasks, outperforming unrestricted GNNs and Deep Sets.


title: Design of a waveguide-coupled GeSn disk laser

abstract: We report on the design of a waveguide coupled GeSn microdisk-laser cavity in which the germanium virtual substrate serving as a template for GeSn growth is repurposed for the definition of passive on-chip interconnection waveguides. A main challenge resides in transferring the optical power from the upper (Si)GeSn gain stack to the underlying virtual substrate layer and is solved with laser mode engineering. Designs are based on experimentally realized layer stacks and waveguide outcoupling efficiencies as high as 27% are shown in compact resonator geometries with a small, 7 $\mu$m radius, with 42% of the power being recycled in the laser cavity.


title: Waves in Thin Oceans on Oblate Neutron Stars

abstract: Waves in thin fluid layers are important in various stellar and planetary problems. Due to rapid rotation such systems will become oblate, with a latitudinal variation in the gravitational acceleration across the surface of the object. In the case of accreting neutron stars, rapid rotation could lead to a polar radius smaller than the equatorial radius by a factor $\sim 0.8$. We investigate how the oblateness and a changing gravitational acceleration affect different hydrodynamic modes that exist in such fluid layers through analytic approximations and numerical calculations. The wave vectors of $g$-modes and Yanai modes increase for more oblate systems compared to spherical counterparts, although the impact of variations in the changing gravitational acceleration is effectively negligible. We find that for increased oblateness, Kelvin modes show less equatorial confinement and little change in their wave vector. For $r$-modes, we find that for more oblate systems the wave vector decreases. The exact manner of these changes for the $r$-modes depends on the model for the gravitational acceleration across the surface.


title: Massive Event-Shape Distributions at N$^2$LL

abstract: In a recent paper we have shown how to optimally compute the differential and cumulative cross sections for massive event-shapes at $\mathcal{O}(\alpha_s)$ in full QCD. In the present article we complete our study by obtaining resummed expressions for non-recoil-sensitive observables to N$^2$LL + $\mathcal{O}(\alpha_s)$ precision. Our results can be used for thrust, heavy jet mass and C-parameter distributions in any massive scheme, and are easily generalized to angularities and other event shapes. We show that the so-called E- and P-schemes coincide in the collinear limit, and compute the missing pieces to achieve this level of accuracy: the P-scheme massive jet function in Soft-Collinear Effective Theory (SCET) and boosted Heavy Quark Effective Theory (bHQET). The resummed expression is subsequently matched into fixed-order QCD to extend its validity towards the tail and far-tail of the distribution. The computation of the jet function cannot be cast as the discontinuity of a forward-scattering matrix element, and involves phase space integrals in $d=4-2\varepsilon$ dimensions. We show how to analytically solve the renormalization group equation for the P-scheme SCET jet function, which is significantly more complicated than its 2-jettiness counterpart, and derive rapidly-convergent expansions in various kinematic regimes. Finally, we perform a numerical study to pin down when mass effects become more relevant.


title: Diffusion-based height analysis reveals robust microswimmer-wall separation

abstract: Microswimmers typically move near walls, which can strongly influence their motion. However, direct experimental measurements of swimmer-wall separation remain elusive to date. Here, we determine this separation for model catalytic microswimmers from the height dependence of the passive component of their mean-squared displacement. We find that swimmers exhibit "ypsotaxis", a tendency to assume a fixed height above the wall for a range of salt concentrations, swimmer surface charges, and swimmer sizes. Our findings indicate that ypsotaxis is activity-induced, posing restrictions on future modeling of their still debated propulsion mechanism.


title: TensorFlow with user friendly Graphical Framework for object detection API

abstract: TensorFlow is an open-source framework for deep learning dataflow and contains application programming interfaces (APIs) of voice analysis, natural language process, and computer vision. Especially, TensorFlow object detection API in computer vision field has been widely applied to technologies of agriculture, engineering, and medicine but barriers to entry of the framework usage is still high through command-line interface (CLI) and code for amateurs and beginners of information technology (IT) field. Therefore, this is aim to develop an user friendly Graphical Framework for object detection API on TensorFlow which is called TensorFlow Graphical Framework (TF-GraF). The TF-GraF provides independent virtual environments according to user accounts in server-side, additionally, execution of data preprocessing, training, and evaluation without CLI in client-side. Furthermore, hyperparameter setting, real-time observation of training process, object visualization of test images, and metrics evaluations of test data can also be operated via TF-GraF. Especially, TF-GraF supports flexible model selection of SSD, Faster-RCNN, RFCN, and Mask-RCNN including convolutional neural networks (inceptions and ResNets) through GUI environment. Consequently, TF-GraF allows anyone, even without any previous knowledge of deep learning frameworks, to design, train and deploy machine intelligence models without coding. Since TF-GraF takes care of setting and configuration, it allows anyone to use deep learning technology for their project without spending time to install complex software and environment.


title: Asymptotics of Ridge (less) Regression under General Source Condition

abstract: We analyze the prediction error of ridge regression in an asymptotic regime where the sample size and dimension go to infinity at a proportional rate. In particular, we consider the role played by the structure of the true regression parameter. We observe that the case of a general deterministic parameter can be reduced to the case of a random parameter from a structured prior. The latter assumption is a natural adaptation of classic smoothness assumptions in nonparametric regression, which are known as source conditions in the the context of regularization theory for inverse problems. Roughly speaking, we assume the large coefficients of the parameter are in correspondence to the principal components. In this setting a precise characterisation of the test error is obtained, depending on the inputs covariance and regression parameter structure. We illustrate this characterisation in a simplified setting to investigate the influence of the true parameter on optimal regularisation for overparameterized models. We show that interpolation (no regularisation) can be optimal even with bounded signal-to-noise ratio (SNR), provided that the parameter coefficients are larger on high-variance directions of the data, corresponding to a more regular function than posited by the regularization term. This contrasts with previous work considering ridge regression with isotropic prior, in which case interpolation is only optimal in the limit of infinite SNR.


title: The Free Uniform Spanning Forest is disconnected in some virtually free groups, depending on the generator set

abstract: We prove the rather counterintuitive result that there exist finite transitive graphs H and integers k such that the Free Uniform Spanning Forest in the direct product of the k-regular tree and H has infinitely many trees almost surely. This shows that the number of trees in the FUSF is not a quasi-isometry invariant. Moreover, we give two different Cayley graphs of the same virtually free group such that the FUSF has infinitely many trees in one, but is connected in the other, answering a question of Lyons and Peres (2016) in the negative. A version of our argument gives an example of a non-unimodular transitive graph where WUSF\not=FUSF, but some of the FUSF trees are light with respect to Haar measure. This disproves a conjecture of Tang (2019).


title: Rational 2-functions are abelian

abstract: We show that the coefficients of rational 2-functions are contained in an abelian number field. More precisely, we show that the poles of such functions are poles of order one and given by roots of unity and rational residue.


title: Comparison between the first and second mass eruptions from progenitors of Type IIn supernovae

abstract: Some massive stars experience episodic and intense mass loss phases with fluctuations in the luminosity. Ejected material forms circumstellar matter around the star, and the subsequent core collapse results in a Type IIn supernova that is characterized by interaction between supernova ejecta and circumstellar matter. The energy source that triggers these mass eruptions and dynamics of the outflow have not been clearly explained. Moreover, the mass eruption itself can alter the density structure of the envelope and affect the dynamics of the subsequent mass eruption if these events are repeated. A large amount of observational evidence suggests multiple mass eruptions prior to core collapse. We investigate the density structure of the envelope altered by the first mass eruption and the nature of the subsequent second mass eruption event in comparison with the first event. We deposited extra energy at the bottom of the hydrogen envelope of 15$M_\odot$ stars twice and calculated the time evolution by radiation hydrodynamical simulation code. We did not deal with the origin of the energy source, but focused on the dynamics of repeated mass eruptions from a single massive star. There are significant differences between the first and second mass eruptions in terms of the luminosity and the color. The second eruption leads to a redder burst event in which the associated brightening phase lasts longer than the first. The amount of ejected matter is different even with the same deposited energy in the first and second event, but the difference depends on the density structure of the star. Upcoming high cadence and deep transient surveys will provide us a lot of pre-supernova activities, and some of which might show multi-peaked light curves. These should be interpreted taking the effect of density structure altered by the preceding outburst events into consideration.


title: Field-free switching of magnetic tunnel junctions driven by spin-orbit torques at sub-ns timescales

abstract: We report time-resolved measurements of magnetization switching by spin-orbit torques in the absence of an external magnetic field in perpendicularly magnetized magnetic tunnel junctions (MTJ). Field-free switching is enabled by the dipolar field of an in-plane magnetized layer integrated above the MTJ stack, the orientation of which determines the switching polarity. Real-time single-shot measurements provide direct evidence of magnetization reversal and switching distributions. Close to the critical switching voltage we observe stochastic reversal events due to a finite incubation delay preceding the magnetization reversal. Upon increasing the pulse amplitude to twice the critical voltage the reversal becomes quasi-deterministic, leading to reliable bipolar switching at sub-ns timescales in zero external field. We further investigate the switching probability as a function of dc bias of the MTJ and external magnetic field, providing insight on the parameters that determine the critical switching voltage.


title: Search for resonant pair production of Higgs bosons in the bbZZ channel in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for the production of a narrow-width resonance decaying into a pair of Higgs bosons decaying into the bbZZ channel is presented. The analysis is based on data collected with the CMS detector during 2016, in proton-proton collisions at the LHC, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The final states considered are the ones where one of the Z bosons decays into a pair of muons or electrons, and the other Z boson decays either to a pair of quarks or a pair of neutrinos. Upper limits at 95% confidence level are placed on the production of narrow-width spin-0 or spin-2 particles decaying to a pair of Higgs bosons, in models with and without an extended Higgs sector. For a resonance mass range between 260 and 1000 GeV, limits on the production cross section times branching fraction of a spin-0 and spin-2 resonance range from 0.1 to 5.0 pb and 0.1 to 3.6 pb, respectively. These results set limits in parameter space in bulk Randall-Sundrum radion, Kaluza-Klein excitation of the graviton, and N2HDM models. For specific choices of parameters the N2HDM can be excluded in a mass range between 360 and 620 GeV for a resonance decaying to two Higgs bosons. This is the first search for Higgs boson resonant pair production in the bbZZ channel.


title: Interpreting CNN for Low Complexity Learned Sub-pixel Motion Compensation in Video Coding

abstract: Deep learning has shown great potential in image and video compression tasks. However, it brings bit savings at the cost of significant increases in coding complexity, which limits its potential for implementation within practical applications. In this paper, a novel neural network-based tool is presented which improves the interpolation of reference samples needed for fractional precision motion compensation. Contrary to previous efforts, the proposed approach focuses on complexity reduction achieved by interpreting the interpolation filters learned by the networks. When the approach is implemented in the Versatile Video Coding (VVC) test model, up to 4.5% BD-rate saving for individual sequences is achieved compared with the baseline VVC, while the complexity of learned interpolation is significantly reduced compared to the application of full neural network.


title: On a Conjecture for a Hypergraph Edge Coloring Problem

abstract: Let $H =(\mathcal{M} \cup \mathcal{J} ,E \cup \mathcal{E})$ be a hypergraph with two hypervertices $\mathcal{G}_1$ and $\mathcal{G}_2$ where $\mathcal{M} =\mathcal{G}_{1} \cup \mathcal{G}_{2}$ and $\mathcal{G}_{1} \cap \mathcal{G}_{2} =\varnothing $. An edge $\{h ,j\} \in E$ in a bi-partite multigraph graph $(\mathcal{M} \cup \mathcal{J} ,E)$ has an integer multiplicity $b_{j h}$, and a hyperedge $\{\mathcal{G}_{\ell } ,j\} \in \mathcal{E}$, $\ell=1,2$, has an integer multiplicity $a_{j \ell }$. It has been conjectured in [5] that $\chi \prime (H) =\lceil \chi \prime _{f} (H)\rceil $, where $\chi \prime (H)$ and $\chi \prime _{f} (H)$ are the edge chromatic number of $H$ and the fractional edge chromatic number of $H$ respectively. Motivation to study this hyperedge coloring conjecture comes from the University timetabling, and open shop scheduling with multiprocessors. We prove this conjecture in this paper.


title: Space-Time Modulated Metasurfaces with Spatial Discretization: Free-Space N-path Systems

abstract: This work theoretically and experimentally studies metasurfaces with spatially-discrete, traveling-wave modulation (SD-TWM). A representative metasurface is considered consisting of columns of time-modulated subwavelength unit cells, referred to as stixels. SD-TWM is achieved by enforcing a time delay between temporal waveforms applied to adjacent columns. In contrast to the continuous traveling-wave modulation commonly assumed in studies of space-time metasurfaces, here the modulation is spatially discretized. In order to account for the discretized spatial modulation, a modified Floquet analysis is introduced based on a new boundary condition that has been derived for SD-TWM structures. The modified Floquet analysis separates the scattered field into its macroscopic and microscopic variations. The reported theoretical and experimental results reveal that the electromagnetic behavior of an SD-TWM metasurface can be categorized into three regimes. For electrically-large spatial modulation periods, the microscopic field variation across each stixel can be neglected. In this regime, the space-time metasurface allows simultaneous frequency translation and angular deflection. When the spatial modulation period on the metasurface is electrically small, the microscopic variation results in new metasurface capabilities such as subharmonic mixing. When the spatial modulation period of the metasurface is wavelength-scale, the metasurface allows both subharmonic mixing and angular deflection to be achieved simultaneously. To verify our analysis, a dual-polarized, spatio-temporally modulated metasurface, is developed and measured at X-band frequencies.


title: Path-dependent Kyle equilibrium model

abstract: We consider an auction type equilibrium model with an insider in line with the one originally introduced by Kyle in 1985 and then extended to the continuous time setting by Back in 1992. The novelty introduced with this paper is that we deal with a general price functional depending on the whole past of the aggregate demand, i.e. we work with path-dependency. By using the functional It\^o calculus, we provide necessary and sufficient conditions for the existence of an equilibrium. Furthermore, we consider both the cases of a risk-neutral and a risk-averse insider.


title: Factorization of finite simple groups

abstract: We prove that all Mathieu groups, some linear, and unitary groups are factorizable.


title: Codes with locality from cyclic extensions of Deligne-Lusztig curves

abstract: Recently, Skabelund defined new maximal curves which are cyclic extensions of the Suzuki and Ree curves. Previously, the now well-known GK curves were found as cyclic extensions of the Hermitian curve. In this paper, we consider locally recoverable codes constructed from these new curves, complementing that done for the GK curve. Locally recoverable codes allow for the recovery of a single symbol by accessing only a few others which form what is known as a recovery set. If every symbol has at least two disjoint recovery sets, the code is said to have availability. Three constructions are described, as each best fits a particular situation. The first employs the original construction of locally recoverable codes from curves by Tamo and Barg. The second yields codes with availability by appealing to the use of fiber products as described by Haymaker, Malmskog, and Matthews, while the third accomplishes availability by taking products of codes themselves. We see that cyclic extensions of the Deligne-Lusztig curves provide codes with smaller locality than those typically found in the literature.


title: Redback/Black Widow Systems as progenitors of the highest neutron star masses and low-mass Black Holes

abstract: We suggest in this note that "spider" systems are the naturally expected progenitors of the highest neutron star masses, and possibly low-mass black holes, based on their long-term evolutionary features and actual mass measurements.


title: Revisiting Explicit Regularization in Neural Networks for Well-Calibrated Predictive Uncertainty

abstract: From the statistical learning perspective, complexity control via explicit regularization is a necessity for improving the generalization of over-parameterized models. However, the impressive generalization performance of neural networks with only implicit regularization may be at odds with this conventional wisdom. In this work, we revisit the importance of explicit regularization for obtaining well-calibrated predictive uncertainty. Specifically, we introduce a probabilistic measure of calibration performance, which is lower bounded by the log-likelihood. We then explore explicit regularization techniques for improving the log-likelihood on unseen samples, which provides well-calibrated predictive uncertainty. Our findings present a new direction to improve the predictive probability quality of deterministic neural networks, which can be an efficient and scalable alternative to Bayesian neural networks and ensemble methods.


title: Inertia in 4D-mechanics

abstract: An important methodological problem of theoretical mechanics related to inertia is discussed. Analysis Inertia is performed in four-dimensional Minkowski space-time based on the law of conservation of energy-momentum. This approach allows us to combine the laws of conservation of momentum and angular momentum into a single law and separate the forces of inertia that actually exist in nature from the imaginary forces introduced to simplify calculations or arising from the transition from one frame of reference to another. From the energy-momentum tensor, in a non-relativistic approximation, the equation of balance of inertia forces existing in nature for a moving continuous medium and a material point in an inertial frame of reference is obtained. It follows from this equation that the pseudo-Euclidean geometry of our world plays an important role in the manifestation of inertia forces. The tensor and the balance equations of all inertia forces in a continuous medium a moving with angular acceleration are obtained. This allows uniform formulation and presentation of the original categories and concepts of classical and relativistic mechanics in educational and scientific literature within the framework of the current paradigm.


title: Gas electron multipliers with metal electrodes and their applications in detectors

abstract: Gas electron multipliers (GEMs) with wire (WGEMs) or metal electrodes (MGEMs), which don't use any plastic insulators between the electrodes are created. The absence of plastic insulation between the electrodes of WGEMs excludes unwanted leakage currents and spark breakdowns between the electrodes. Accidental spark events in such MGEM don't lead to their failure as far as positive ions quickly move away from the breakdown region by a strong electric field in the gap region. In this work, we present a review of such GEMs. The chambers containing MGEMs (WGEMs) with pin-anodes are proposed as detectors for searching of interactions between Dark Matter particles and hydrogen (H2). In this paper, we present a review of such chambers. For investigation of the gas mixtures (Ar+10% H2, Ne+10%H2, H2 +3ppmTMAE), the chamber containing WGEM with pin-anodes detection system was constructed. In this paper we present the results of an experimental study of these gaseous mixtures exited by an alpha source. Finally, we discuss principles of operation of GEMs with pin-anodes as well as plans for constructing of large scale (150 mm x 150 mm) MGEM detectors.


title: CoSDA-ML: Multi-Lingual Code-Switching Data Augmentation for Zero-Shot Cross-Lingual NLP

abstract: Multi-lingual contextualized embeddings, such as multilingual-BERT (mBERT), have shown success in a variety of zero-shot cross-lingual tasks. However, these models are limited by having inconsistent contextualized representations of subwords across different languages. Existing work addresses this issue by bilingual projection and fine-tuning technique. We propose a data augmentation framework to generate multi-lingual code-switching data to fine-tune mBERT, which encourages model to align representations from source and multiple target languages once by mixing their context information. Compared with the existing work, our method does not rely on bilingual sentences for training, and requires only one training process for multiple target languages. Experimental results on five tasks with 19 languages show that our method leads to significantly improved performances for all the tasks compared with mBERT.


title: From Bad to Worse: Airline Boarding Changes in Response to COVID-19

abstract: Airlines have introduced a back-to-front boarding process in response to the COVID-19 pandemic. It is motivated by the desire to reduce passengers' likelihood of passing close to seated passengers when they take their seats. However, our prior work on the risk of Ebola spread in airplanes suggested that the driving force for increased exposure to infection transmission risk is the clustering of passengers while waiting for others to stow their luggage and take their seats. In this work, we examine whether the new boarding processes lead to increased or decreased risk of infection spread. We also study the reasons behind the risk differences associated with different boarding processes. We accomplish this by simulating the new boarding processes using pedestrian dynamics and compare them against alternatives. Our results show that back-to-front boarding roughly doubles the infection exposure compared with random boarding. It also increases exposure by around 50% compared to a typical boarding process prior to the outbreak of COVID-19. While keeping middle seats empty yields a substantial reduction in exposure, our results show that the different boarding processes have similar relative strengths in this case as with middle seats occupied. We show that the increased exposure arises from the proximity between passengers moving in the aisle and while seated. Our results suggest that airlines either revert to their earlier boarding process or adopt the better random process.


title: A model for the spread of an epidemic from local to global: A case study of COVID-19 in India

abstract: In this paper we propose an epidemiological model for the spread of COVID-19. The dynamics of the spread is based on four fundamental categories of people in a population: Tested and infected, Non-Tested but infected, Tested but not infected, and non-Tested and not infected. The model is based on two levels of dynamics of spread in the population: at local level and at the global level. The local level growth is described with data and parameters which include testing statistics for COVID-19, preventive measures such as nationwide lockdown, and the migration of people across neighboring locations. In the context of India, the local locations are considered as districts and migration or traffic flow across districts are defined by normalized edge weight of the metapopulation network of districts which are infected with COVID-19. Based on this local growth, state level predictions for number of people tested with COVID-19 positive are made. Further, considering the local locations as states, prediction is made for the country level. The values of the model parameters are determined using grid search and minimizing an error function while training the model with real data. The predictions are made based on the present statistics of testing, and certain linear and log-linear growth of testing at state and country level. Finally, it is shown that the spread can be contained if number of testing can be increased linearly or log-linearly by certain factors along with the preventive measures in near future. This is also necessary to prevent the sharp growth in the count of infected and to get rid of the second wave of pandemic.


title: Cylindrical gravitational waves: radiation and resonance

abstract: In the weak field approximation the gravitational wave is approximated as a linear wave, which ignores the nonlinear effect. In this paper, we present an exact general solution of the cylindrical gravitational wave. The exact solution of the cylindrical gravitational wave is far different from the weak field approximation. This solution implies the following conclusions. (1) There exist gravitational monopole radiations in the cylindrical gravitational radiation. (2) The gravitational radiation may generate the resonance in the spacetime. (3) The nonlinearity of the gravity source vanishes after time averaging, so the observed result of a long-time measurement may be linear.


title: k-essence classical Hamiltonian approach for an accelerated expansion of the Universe with $\omega\approx-1$

abstract: We obtain lagrangian for $k$-essence scalar field $\phi(r,t)$ with scalar curvature $k$ of Friedmann-Lemaitre-Robertson-Walker (FLRW) metric . Obtained lagrangian has two generalised co-ordinates $\phi$ and logarithm of scale factor ($q=\ln a$). Classical Hamiltonian $({\mathcal H})$ is obtained in terms of two corresponding conjugate momentum $p_{q}$ and $p_{\phi}$. Solving Hamilton's equation of motion , we obtain classical solution for scale factor $a(t)$, energy density $\rho$, equation of state parameter $\omega$ and deceleration parameter $q_{0}$ . At late time as $t\rightarrow\infty$, we have an exponential growth of scale factor with time, energy density $\rho$ becomes constant, which we can identify as dark energy density, equation of state parameter becomes $\omega\approx -1$ and deceleration parameter becomes $ q_{0}\approx -1$. All this results indicates an accelerated expansion of universe driven by negative pressure known as dark energy.


title: A Variable X-ray Source Close to the Magnetar SGR 1935+2154

abstract: The recent discovery of a millisecond radio burst from the Galactic magnetar SGR 1935+2154 has initiated an intense discussion about the connection between magnetars and fast radio bursts (FRBs). Although some properties of the radio burst from SGR 1935+2154 are not the same as cosmological FRBs, there are theoretical models which propose a connection between magnetars and FRBs (see review by Margalit et al. 2020). In particular, the role of a magnetar wind nebula is included in some models, and therefore it is worthwhile to investigate the X-ray environment of SGR 1935+2154 in more detail. Here, we report on the discovery of an X-ray transient feature near SGR 1935+2154 using archival Chandra data and discuss its possible origin.


title: A novel approach to chemotaxis: active particles guided by internal clocks

abstract: Motivated by the observation of non-exponential run-time distributions of bacterial swimmers, we propose a minimal phenomenological model for taxis of active particles whose motion is controlled by an internal clock. The ticking of the clock depends on an external concentration field, e.g. a chemical substance. We demonstrate that these particles can detect concentration gradients and respond to them by moving up- or down-gradient depending on the clock design, albeit measurements of these fields are purely local in space and instantaneous in time. Altogether, our results open a new route in the study of directional navigation, by showing that the use of a clock to control motility actions represents a generic and versatile toolbox to engineer behavioral responses to external cues, such as light, chemical, or temperature gradients.


title: Cyclical lock-down and the economic activity along the pandemic of COVID-19

abstract: The investigation focuses on an on-off protocol for controlling the COVID-19 widespread. The protocol establishes a working period of 4 days for all the citizens, followed by 8 days of lock-down. We further propose splitting people into smaller groups that undergo the on-off protocol, but shifted in time. This procedure is expected to regularize the overall economic activity. Our results show that either the on-of protocol and the splitting into groups reduces the amount of infected people. However, the latter seems to be better for economic reasons. Our simulations further show that the start-up time is a key issue for the success of the implementation.


title: Long-Term Care Facilities as a Risk Factor for Death Due to COVID-19

abstract: A large percentage of the deaths from COVID-19 occur among residents of long-term care facilities. There are two possible reasons for this phenomenon. First, the structural features of such settings may lead to death. Alternatively, it is possible that individuals in these facilities are in poorer health than those living elsewhere, and that these individuals would have died even if they had not been in these facilities. Our findings show that, controlling for the population density and the percentage of older adults in the population, there is a significant positive association between the number of long-term care beds per capita and COVID-19 mortality rates. This finding provides support for the claim that long-term care living arrangements (of older people) are a significant risk factor for dying from COVID-19.


title: Relativistic aberration and null Doppler shift within the framework of superluminal and subluminal nondiffracting waves

abstract: The relativistic aberration of a wavevector and the corresponding Doppler shift are examined in connection with superluminal and subluminal spatiotemporally localized pulsed optical waves. The requirement of a null Doppler shift is shown to give rise to a speed associated with the relativistic velocity composition law of a double (two-step) Lorentz transformation. The effects of such a transformation are examined both in terms of four-coordinates and in the spectral domain. It is established that a subluminal pulse reverses its direction. In addition to a change in direction, the propagation term of a superluminal pulse becomes negative. The aberration due to a double Lorentz transformation is examined in detail for propagation invariant superluminal waves (X wave, Bessel X wave), as well as intensity-invariant superluminal and subluminal waves. Detailed symmetry considerations are provided for the superluminal focus X wave and the subluminal MacKinnon wavepacket.


title: Modeling Human Driving Behavior through Generative Adversarial Imitation Learning

abstract: An open problem in autonomous vehicle safety validation is building reliable models of human driving behavior in simulation. This work presents an approach to learn neural driving policies from real world driving demonstration data. We model human driving as a sequential decision making problem that is characterized by non-linearity and stochasticity, and unknown underlying cost functions. Imitation learning is an approach for generating intelligent behavior when the cost function is unknown or difficult to specify. Building upon work in inverse reinforcement learning (IRL), Generative Adversarial Imitation Learning (GAIL) aims to provide effective imitation even for problems with large or continuous state and action spaces, such as modeling human driving. This article describes the use of GAIL for learning-based driver modeling. Because driver modeling is inherently a multi-agent problem, where the interaction between agents needs to be modeled, this paper describes a parameter-sharing extension of GAIL called PS-GAIL to tackle multi-agent driver modeling. In addition, GAIL is domain agnostic, making it difficult to encode specific knowledge relevant to driving in the learning process. This paper describes Reward Augmented Imitation Learning (RAIL), which modifies the reward signal to provide domain-specific knowledge to the agent. Finally, human demonstrations are dependent upon latent factors that may not be captured by GAIL. This paper describes Burn-InfoGAIL, which allows for disentanglement of latent variability in demonstrations. Imitation learning experiments are performed using NGSIM, a real-world highway driving dataset. Experiments show that these modifications to GAIL can successfully model highway driving behavior, accurately replicating human demonstrations and generating realistic, emergent behavior in the traffic flow arising from the interaction between driving agents.