title: Dynamic-TDD Interference Tractability Approaches and Performance Analysis in Macro-Cell and Small-Cell Deployments

abstract: Meeting the continued growth in data traffic volume, Dynamic Time Division Duplex (D-TDD) has been introduced as a solution to deal with the uplink (UL) and downlink (DL) traffic asymmetry, mainly observed for dense heterogeneous network deployments, since it is based on instantaneous traffic estimation and provide more flexibility in resource assignment. However, the use of this feature requires new interference mitigation schemes capable to handle two additional types of interference between cells in opposite transmission direction: DL to UL and UL to DL interference. The aim of this work is to provide a complete analytical approach to model inter-cell interference in macro-cell and dense small-cell networks. We derive the explicit expressions of Interference to Signal Ratio (ISR) at each position of the network, in both DL and UL, to quantify the impact of each type of interference on the system performance. Also, we provide the explicit expressions of the coverage probability as functions of different system parameters by covering different scenarios. Finally, through system level simulations, we analyze the feasibility of D-TDD implementation in both deployments and we compare its performance to the static-TDD (S-TDD) configuration.


title: Discrete Moments of the Riemann Zeta-Function near $\sigma=1$

abstract: We employ mean value estimates of Weyl sums in order to obtain discrete second moments of the Riemann Zeta-function with respect to polynomials near the vertical line $1+i\mathbb{R}$.


title: Genuine Network Multipartite Entanglement

abstract: The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipartite entanglement, whereby a quantum state is genuinely network $k$-entangled if it cannot be produced by applying local trace-preserving maps over several $k$-partite states distributed among the parties, even with the aid of global shared randomness. We provide analytic and numerical witnesses of genuine network entanglement, and we reinterpret many past quantum experiments as demonstrations of this feature.


title: Assessment of GaPSb/Si tandem material association properties for photoelectrochemical cells

abstract: Here, the structural, electronic and optical properties of the GaP1-xSbx/Si tandem materials association are determined in view of its use for solar water splitting applications. The GaPSb crystalline layer is grown on Si by Molecular Beam Epitaxy with different Sb contents. The bandgap value and bandgap type of GaPSb alloy are determined on the whole Sb range, by combining experimental absorption measurements with tight binding (TB) theoretical calculations. The indirect (X-band) to direct ({\Gamma}-band) cross-over is found to occur at 30% Sb content. Especially, at a Sb content of 32%, the GaP1-xSbx alloy reaches the desired 1.7eV direct bandgap, enabling efficient sunlight absorption, that can be ideally combined with the Si 1.1 eV bandgap. Moreover, the band alignment of GaP1-xSbx alloys and Si with respect to water redox potential levels has been analyzed, which shows the GaPSb/Si association is an interesting combination both for the hydrogen evolution and oxygen evolution reactions. These results open new routes for the development of III-V/Si low-cost high-efficiency photoelectrochemical cells.


title: Context Aware Image Annotation in Active Learning

abstract: Image annotation for active learning is labor-intensive. Various automatic and semi-automatic labeling methods are proposed to save the labeling cost, but a reduction in the number of labeled instances does not guarantee a reduction in cost because the queries that are most valuable to the learner may be the most difficult or ambiguous cases, and therefore the most expensive for an oracle to label accurately. In this paper, we try to solve this problem by using image metadata to offer the oracle more clues about the image during annotation process. We propose a Context Aware Image Annotation Framework (CAIAF) that uses image metadata as similarity metric to cluster images into groups for annotation. We also present useful metadata information as context for each image on the annotation interface. Experiments show that it reduces that annotation cost with CAIAF compared to the conventional framework, while maintaining a high classification performance.


title: RAID: Randomized Adversarial-Input Detection for Neural Networks

abstract: In recent years, neural networks have become the default choice for image classification and many other learning tasks, even though they are vulnerable to so-called adversarial attacks. To increase their robustness against these attacks, there have emerged numerous detection mechanisms that aim to automatically determine if an input is adversarial. However, state-of-the-art detection mechanisms either rely on being tuned for each type of attack, or they do not generalize across different attack types. To alleviate these issues, we propose a novel technique for adversarial-image detection, RAID, that trains a secondary classifier to identify differences in neuron activation values between benign and adversarial inputs. Our technique is both more reliable and more effective than the state of the art when evaluated against six popular attacks. Moreover, a straightforward extension of RAID increases its robustness against detection-aware adversaries without affecting its effectiveness.


title: Precision measurements of Triple Gauge Couplings at future electron-positron colliders

abstract: A precise knowledge of charged Triple Gauge Couplings (cTGCs) is important for the determination of Higgs couplings and for constraining physics beyond the Standard Model. Future high-energy $e^{+}e^{-}$ colliders could have a significantly improved sensitivity to anomalous cTGCs. The fit framework presented here extracts cTGCs in parallel with chiral cross sections and beam polarisation parameters. It demonstrates that cTGCs can be measured with precision in the $10^{-3}-10^{-4}$ range. A strong dependence of the cTGC sensitivity on the available luminosities and polarisations is observed.


title: PLLay: Efficient Topological Layer based on Persistence Landscapes

abstract: We propose PLLay, a novel topological layer for general deep learning models based on persistence landscapes, in which we can efficiently exploit the underlying topological features of the input data structure. In this work, we show differentiability with respect to layer inputs, for a general persistent homology with arbitrary filtration. Thus, our proposed layer can be placed anywhere in the network and feed critical information on the topological features of input data into subsequent layers to improve the learnability of the networks toward a given task. A task-optimal structure of PLLay is learned during training via backpropagation, without requiring any input featurization or data preprocessing. We provide a novel adaptation for the DTM function-based filtration, and show that the proposed layer is robust against noise and outliers through a stability analysis. We demonstrate the effectiveness of our approach by classification experiments on various datasets.


title: Generating Digital Twins with Multiple Sclerosis Using Probabilistic Neural Networks

abstract: Multiple Sclerosis (MS) is a neurodegenerative disorder characterized by a complex set of clinical assessments. We use an unsupervised machine learning model called a Conditional Restricted Boltzmann Machine (CRBM) to learn the relationships between covariates commonly used to characterize subjects and their disease progression in MS clinical trials. A CRBM is capable of generating digital twins, which are simulated subjects having the same baseline data as actual subjects. Digital twins allow for subject-level statistical analyses of disease progression. The CRBM is trained using data from 2395 subjects enrolled in the placebo arms of clinical trials across the three primary subtypes of MS. We discuss how CRBMs are trained and show that digital twins generated by the model are statistically indistinguishable from their actual subject counterparts along a number of measures.


title: A Distributed `Black Box' Audit Trail Design Specification for Connected and Automated Vehicle Data and Software Assurance

abstract: Automotive software is increasingly complex and critical to safe vehicle operation, and related embedded systems must remain up-to-date to ensure long-term system performance. Update mechanisms and data modification tools introduce opportunities for malicious actors to compromise these cyber-physical systems, and for trusted actors to mistakenly install incompatible software versions. A distributed and stratified "black box" audit trail for automotive software and data provenance is proposed to assure users, service providers, and original equipment manufacturers (OEMs) of vehicular software integrity and reliability. The proposed black box architecture is both layered and diffuse, employing distributed hash tables (DHT), a parity system and a public blockchain to provide high resilience, assurance, scalability, and efficiency for automotive and other high-assurance systems.


title: Zebra-like patterns in whistler wave emission spectra from nonequilibrium mirror-confined laboratory plasma

abstract: Zebra-like patterns have been observed in the electron cyclotron emission spectra from strongly nonequilibrium plasma confined in a table-top mirror magnetic trap. The analysis of the experimental data suggests that the formation of zebra-like patterns could eventually be related to modulation of the whistler waves by the ion-acoustic waves excited during the abrupt ejection of electrons into a loss cone caused by the development of the whistler instability under the electron cyclotron resonance condition.


title: Inverse Learning of Symmetries

abstract: Symmetry transformations induce invariances which are frequently described with deep latent variable models. In many complex domains, such as the chemical space, invariances can be observed, yet the corresponding symmetry transformation cannot be formulated analytically. We propose to learn the symmetry transformation with a model consisting of two latent subspaces, where the first subspace captures the target and the second subspace the remaining invariant information. Our approach is based on the deep information bottleneck in combination with a continuous mutual information regulariser. Unlike previous methods, we focus on the challenging task of minimising mutual information in continuous domains. To this end, we base the calculation of mutual information on correlation matrices in combination with a bijective variable transformation. Extensive experiments demonstrate that our model outperforms state-of-the-art methods on artificial and molecular datasets.


title: Integral P-Recursive Sequences

abstract: In an earlier paper, the notion of integrality known from algebraic number fields and fields of algebraic functions has been extended to D-finite functions. The aim of the present paper is to extend the notion to the case of P-recursive sequences. In order to do so, we formulate a general algorithm for finding all integral elements for valued vector spaces and then show that this algorithm includes not only the algebraic and the D-finite cases but also covers the case of P-recursive sequences.


title: Truncated Homogeneous Symmetric Functions

abstract: Extending the elementary and complete homogeneous symmetric functions, we introduce the truncated homogeneous symmetric function $h_{\lambda}^{\dd}$ in $(\ref{THSF})$ for any integer partition $\lambda$, and show that the transition matrix from $h_{\lambda}^{\dd}$ to the power sum symmetric functions $p_\lambda$ is given by \[M(h^{\dd},p)=M'(p,m)z^{-1}D^{\dd},\] where $D^{\dd}$ and $z$ are nonsingular diagonal matrices. Consequently, $\{h_{\lambda}^{\dd}\}$ forms a basis of the ring $\Lambda$ of symmetric functions. In addition, we show that the generating function $H^{\dd}(t)=\ssum_{n\ge 0}h_n^{\dd}(x)t^n$ satisfies \[\omega(H^{\dd}(t))=\left(H^{\dd}(-t)\right)^{-1},\] where $\omega$ is the involution of $\Lambda$ sending each elementary symmetric function $e_\lambda$ to the complete homogeneous symmetric function $h_\lambda$.


title: Towards a Heavy Diquark Effective Theory for Weak Decays of Doubly Heavy Baryons

abstract: We construct a leading-order effective field theory for both scalar and axial-vector heavy diquarks, and consider its power expansion in the heavy diquark limit. By assuming the transition from QCD to diquark effective theory, we derive the most general form for the effective diquark transition currents based on the heavy diquark symmetry. The short-distance coefficients between QCD and heavy diquark effective field theory are also obtained by a tree level matching. With the effective currents in the heavy diquark limit, we perform a reduction of the form factors for semi-leptonic decays of doubly heavy baryons, and find that only one nonperturbative function is remaining. It is shown that this soft function can be related to the Isgur-Wise function in heavy meson transitions. As a phenomenological application, we take a single pole structure for the reduced form factor, and use it to calculate the semi-leptonic decay widths of doubly heavy baryons. The obtained results are consistent with others given in the literature, and can be tested in the future.


title: Charge carrier drop at the onset of pseudogap behavior in the two-dimensional Hubbard model

abstract: We show that antiferromagnetic spin-density wave order in the two-dimensional Hubbard model yields a drop of the charge carrier density as observed in recent transport measurements for cuprate superconductors in high magnetic fields upon entering the pseudogap regime. The amplitude and the (generally incommensurate) wave vector of the spin-density wave is obtained from dynamical mean-field theory (DMFT). An extrapolation of the finite temperature results to zero temperature yields an approximately linear doping dependence of the magnetic gap $\Delta(p) \propto p^*-p$ in a broad doping range below the critical doping $p^*$. The magnetic order leads to a Fermi surface reconstruction with electron and hole pockets, where electron pockets exist only in a restricted doping range below $p^*$. DC charge transport properties are computed by combining the renormalized band structure as obtained from the DMFT with a doping-independent phenomenological scattering rate. A pronounced drop of the longitudinal conductivity and the Hall number in a narrow doping range below $p^*$ is obtained.


title: Solar Flare Detection Method using Rn-222 Radioactive Source

abstract: Solar neutrino detection is known to be a very challenging task, due to the minuscule absorption cross-section and mass of the neutrino. One research showed that relative large solar-flares affected the decay-rates of Mn-54 in December 2006. Since most the radiation emitted during a solar flare are blocked before reaching the earth surface, it should be assumed that such decay-rate changes could be due to neutrino flux increase from the sun, in which only neutrinos can penetrate the radionuclide. This study employs the Rn-222 radioactive source for the task of solar flare detection, based on the prediction that it will provide a stable gamma ray counting rate. In order to ascertain counting stability, three counting systems were constructed to track the count-rate changes. The Rn-222 count-rate measurements showed several radiation counting dips, indicating that the radioactive nuclide can be affected by order of magnitude neutrino flux change from the sun. We conclude that using the cooled Radon source obtained the clearest responses, and therefore this is the preferable system for detecting neutrino emissions from a controlled source.


title: A Review of the Exceptional Supersymmetric Standard Model

abstract: Local supersymmetry (SUSY) provides an attractive framework for the incorporation of gravity and unification of gauge interactions within Grand Unified Theories (GUTs). Its breakdown can lead to a variety of models with softly broken SUSY at low energies. In this review article we focus on the SUSY extension of the Standard Model (SM) with an extra U(1)_{N} gauge symmetry originating from a string-inspired E_6 grand unified gauge group. Only in this U(1) extension of the minimal supersymmetric standard model (MSSM) inspired by E_6 GUTs the right-handed neutrinos can be superheavy providing a mechanism for the generation of the lepton and baryon asymmetry of the Universe. The particle content of this exceptional supersymmetric standard model (E_6SSM) includes three 27 representations of the E_6 group, to ensure anomaly cancellation, plus a pair of SU(2)_W doublets as required for gauge coupling unification. Thus E_6SSM involves extra exotic matter beyond the MSSM. We consider symmetries that permit to suppress non-diagonal flavour transitions and rapid proton decay, as well as gauge coupling unification, the breakdown of the gauge symmetry and the spectrum of Higgs bosons in this model. The possible Large Hadron Collider (LHC) signatures caused by the presence of exotic states are also discussed.


title: Computing envy-freeable allocations with limited subsidies

abstract: Fair division has emerged as a very hot topic in multiagent systems, and envy-freeness is among the most compelling fairness concepts. An allocation of indivisible items to agents is envy-free if no agent prefers the bundle of any other agent to his own in terms of value. As envy-freeness is rarely a feasible goal, there is a recent focus on relaxations of its definition. An approach in this direction is to complement allocations with payments (or subsidies) to the agents. A feasible goal then is to achieve envy-freeness in terms of the total value an agent gets from the allocation and the subsidies. We consider the natural optimization problem of computing allocations that are {\em envy-freeable} using the minimum amount of subsidies. As the problem is NP-hard, we focus on the design of approximation algorithms. On the positive side, we present an algorithm that, for a constant number of agents, approximates the minimum amount of subsidies within any required accuracy, at the expense of a graceful increase in the running time. On the negative side, we show that, for a super-constant number of agents, the problem of minimizing subsidies for envy-freeness is not only hard to compute exactly (as a folklore argument shows) but also, more importantly, hard to approximate.


title: Slopes of links and signature formulas

abstract: We present a new invariant, called slope, of a colored link in an integral homology sphere and use this invariant to complete the signature formula for the splice of two links. We develop a number of ways of computing the slope and a few vanishing results. Besides, we discuss the concordance invariance of the slope and establish its close relation to the Conway polynomials, on the one hand, and to the Kojima--Yamasaki $\eta$-function (in the univariate case) and Cochran invariants, on the other hand.


title: Intersatellite-link demonstration mission between CubeSOTA (LEO CubeSat) and ETS9-HICALI (GEO satellite)

abstract: LEO-to-GEO intersatellite links using laser communications bring important benefits to greatly enhance applications such as downloading big amounts of data from LEO satellites by using the GEO satellite as a relay. By using this strategy, the total availability of the LEO satellite increases from less than 1% if the data is downloaded directly to the ground up to about 60% if the data is relayed through GEO. The main drawback of using a GEO relay is that link budget is much more difficult to close due to the much larger distance. However, this can be partially compensated by transmitting at a lower data rate, and still benefiting from the much-higher link availability when compared to LEO-to-ground downlinks, which additionally are more limited by the clouds than the relay option. After carrying out a feasibility study, NICT and the University of Tokyo started preparing a mission to demonstrate the technologies needed to perform these challenging lasercom links. Furthermore, to demonstrate the feasibility of this technique, an extremely-small satellite, i.e. a 6U CubeSat, will be used to achieve data rates as high as 10 Gbit/s between LEO and GEO. Some of the biggest challenges of this mission are the extremely low size, weight and power available in the CubeSat, the accurate pointing precision required for the lasercom link, and the difficulties of closing the link at such a high speed as 10 Gbit/s.


title: AnimePose: Multi-person 3D pose estimation and animation

abstract: 3D animation of humans in action is quite challenging as it involves using a huge setup with several motion trackers all over the person's body to track the movements of every limb. This is time-consuming and may cause the person discomfort in wearing exoskeleton body suits with motion sensors. In this work, we present a trivial yet effective solution to generate 3D animation of multiple persons from a 2D video using deep learning. Although significant improvement has been achieved recently in 3D human pose estimation, most of the prior works work well in case of single person pose estimation and multi-person pose estimation is still a challenging problem. In this work, we firstly propose a supervised multi-person 3D pose estimation and animation framework namely AnimePose for a given input RGB video sequence. The pipeline of the proposed system consists of various modules: i) Person detection and segmentation, ii) Depth Map estimation, iii) Lifting 2D to 3D information for person localization iv) Person trajectory prediction and human pose tracking. Our proposed system produces comparable results on previous state-of-the-art 3D multi-person pose estimation methods on publicly available datasets MuCo-3DHP and MuPoTS-3D datasets and it also outperforms previous state-of-the-art human pose tracking methods by a significant margin of 11.7% performance gain on MOTA score on Posetrack 2018 dataset.


title: Views on Quality Requirements in Academia and Practice: Commonalities, Differences, and Context-Dependent Grey Areas

abstract: Context: Quality requirements (QRs) are a topic of constant discussions both in industry and academia. Debates entwine around the definition of quality requirements, the way how to handle them, or their importance for project success. While many academic endeavors contribute to the body of knowledge about QRs, practitioners may have different views. In fact, we still lack a consistent body of knowledge on QRs since much of the discussion around this topic is still dominated by observations that are strongly context-dependent. This holds for both academic and practitioners' views. Our assumption is that, in consequence, those views may differ. Objective: We report on a study to better understand the extent to which available research statements on quality requirements, as found in exemplary peer-reviewed and frequently cited publications, are reflected in the perception of practitioners. Our goal is to analyze differences, commonalities, and context-dependent grey areas in the views of academics and practitioners to allow a discussion on potential misconceptions (on either sides) and opportunities for future research. Method: We conducted a survey with 109 practitioners to assess whether they agree with research statements about QRs reflected in the literature. Based on a statistical model, we evaluate the impact of a set of context factors to the perception of research statements. Results: Our results show that a majority of the statements is well respected by practitioners; however, not all of them. When examining the different groups and backgrounds of respondents, we noticed interesting deviations of perceptions within different groups that may lead to new research questions. Conclusions: Our results help identifying prevalent context-dependent differences about how academics and practitioners view QRs and pinpointing statements where further research might be useful.


title: Reward-Free Exploration for Reinforcement Learning

abstract: Exploration is widely regarded as one of the most challenging aspects of reinforcement learning (RL), with many naive approaches succumbing to exponential sample complexity. To isolate the challenges of exploration, we propose a new "reward-free RL" framework. In the exploration phase, the agent first collects trajectories from an MDP $\mathcal{M}$ without a pre-specified reward function. After exploration, it is tasked with computing near-optimal policies under for $\mathcal{M}$ for a collection of given reward functions. This framework is particularly suitable when there are many reward functions of interest, or when the reward function is shaped by an external agent to elicit desired behavior. We give an efficient algorithm that conducts $\tilde{\mathcal{O}}(S^2A\mathrm{poly}(H)/\epsilon^2)$ episodes of exploration and returns $\epsilon$-suboptimal policies for an arbitrary number of reward functions. We achieve this by finding exploratory policies that visit each "significant" state with probability proportional to its maximum visitation probability under any possible policy. Moreover, our planning procedure can be instantiated by any black-box approximate planner, such as value iteration or natural policy gradient. We also give a nearly-matching $\Omega(S^2AH^2/\epsilon^2)$ lower bound, demonstrating the near-optimality of our algorithm in this setting.


title: Non-detection of TiO and VO in the atmosphere of WASP-121b using high-resolution spectroscopy

abstract: Thermal inversions have long been predicted to exist in the atmospheres of ultra-hot Jupiters. However, detection of two species thought to be responsible -- TiO and VO -- remain elusive. We present a search for TiO and VO in the atmosphere of the ultra-hot Jupiter WASP-121b ($T_\textrm{eq} \gtrsim 2400$ K), an exoplanet already known to show water features in its dayside spectrum characteristic of a temperature inversion as well as tentative evidence for VO at low-resolution. We observed its transmission spectrum with UVES/VLT and used the cross-correlation method -- a powerful tool for the unambiguous identification of the presence of atomic and molecular species -- in an effort to detect whether TiO or VO were responsible for the observed temperature inversion. No evidence for the presence of TiO or VO was found at the terminator of WASP-121b. By injecting signals into our data at varying abundance levels, we set rough detection limits of $[\text{VO}] \lesssim -7.9$ and $[\text{TiO}] \lesssim -9.3$. However, these detection limits are largely degenerate with scattering properties and the position of the cloud deck. Our results may suggest that neither TiO or VO are the main drivers of the thermal inversion in WASP-121b, but until a more accurate line list is developed for VO, we cannot conclusively rule out its presence. Future work will search for finding other strong optically-absorbing species that may be responsible for the excess absorption in the red-optical.


title: Unfolding of antiferromagnetic phases and multicritical points in a two-orbital model for Uranium compounds under pressure and magnetic field

abstract: We investigate the occurrence of multicritical points under pressure and magnetic field in a model that describes two 5f bands (of either $\alpha$ or $\beta$ characters) which hybridize with a single itinerant conduction band. The 5f-electrons interact through Coulomb and exchange terms. The AF order parameter is a N\'eel vector, which is assumed to be fixed by an Ising anisotropy. The applied magnetic field is transverse to the anisotropy axis. Without field, our results for the temperature - pressure phase diagram show that, at low temperatures, a first-order phase transition occurs between two distinct antiferromagnetic phases, AF$_1$ and AF$_2$, as the pressure is increased. The two phases are characterized by the gaps of bands $\alpha$ and $\beta$ given by $\Delta_{\alpha}$ and $\Delta_{\beta}$, respectively. The AF$_1$ phase occurs when $\Delta_{\beta}>\Delta_{\alpha}>0$, while in the AF$_2$ phase, the gaps satisfy $\Delta_{\alpha}>\Delta_{\beta}>0$. The application of a magnetic field produces a drastic change in the phase diagram. The AF1 and AF2 phases separate with the latter acquiring a dome shape which is eventually suppressed for large values of the applied field. The evolution of the phase diagram under pressure, without and with magnetic field, shows the presence of multicritical points. Our results show that the evolution of these multicritical points by the simultaneous application of pressure and field is also drastic with the suppression of some multicritical points and the emergence of others ones. We believe that these results may have relevance for the growing field of multicritical points (classical and quantum) in the physics of Uranium compounds.


title: Variational Depth Search in ResNets

abstract: One-shot neural architecture search allows joint learning of weights and network architecture, reducing computational cost. We limit our search space to the depth of residual networks and formulate an analytically tractable variational objective that allows for obtaining an unbiased approximate posterior over depths in one-shot. We propose a heuristic to prune our networks based on this distribution. We compare our proposed method against manual search over network depths on the MNIST, Fashion-MNIST, SVHN datasets. We find that pruned networks do not incur a loss in predictive performance, obtaining accuracies competitive with unpruned networks. Marginalising over depth allows us to obtain better-calibrated test-time uncertainty estimates than regular networks, in a single forward pass.


title: How to train your neural ODE: the world of Jacobian and kinetic regularization

abstract: Training neural ODEs on large datasets has not been tractable due to the necessity of allowing the adaptive numerical ODE solver to refine its step size to very small values. In practice this leads to dynamics equivalent to many hundreds or even thousands of layers. In this paper, we overcome this apparent difficulty by introducing a theoretically-grounded combination of both optimal transport and stability regularizations which encourage neural ODEs to prefer simpler dynamics out of all the dynamics that solve a problem well. Simpler dynamics lead to faster convergence and to fewer discretizations of the solver, considerably decreasing wall-clock time without loss in performance. Our approach allows us to train neural ODE-based generative models to the same performance as the unregularized dynamics, with significant reductions in training time. This brings neural ODEs closer to practical relevance in large-scale applications.


title: A PDE hierarchy for directed polymers in random environments

abstract: For a Brownian directed polymer in a Gaussian random environment, with $q(t,\cdot)$ denoting the quenched endpoint density and \[ Q_n(t,x_1,\ldots,x_n)=\mathbf{E}[q(t,x_1)\ldots q(t,x_n)], \] we derive a hierarchical PDE system satisfied by $\{Q_n\}_{n\geq1}$. We present two applications of the system: (i) we compute the generator of $\{\mu_t(dx)=q(t,x)dx\}_{t\geq0}$ for some special functionals, where $\{\mu_t(dx)\}_{t\geq0}$ is viewed as a Markov process taking values in the space of probability measures; (ii) in the high temperature regime with $d\geq 3$, we prove a quantitative central limit theorem for the annealed endpoint distribution of the diffusively rescaled polymer path. We also study a nonlocal diffusion-reaction equation motivated by the generator and establish a super-diffusive $O(t^{2/3})$ scaling.


title: Depressed individuals express more distorted thinking on social media

abstract: Depression is a leading cause of disability worldwide, but is often under-diagnosed and under-treated. One of the tenets of cognitive-behavioral therapy (CBT) is that individuals who are depressed exhibit distorted modes of thinking, so-called cognitive distortions, which can negatively affect their emotions and motivation. Here, we show that individuals with a self-reported diagnosis of depression on social media express higher levels of distorted thinking than a random sample. Some types of distorted thinking were found to be more than twice as prevalent in our depressed cohort, in particular Personalizing and Emotional Reasoning. This effect is specific to the distorted content of the expression and can not be explained by the presence of specific topics, sentiment, or first-person pronouns. Our results point towards the detection, and possibly mitigation, of patterns of online language that are generally deemed depressogenic. They may also provide insight into recent observations that social media usage can have a negative impact on mental health.


title: Multiple Access in Dynamic Cell-Free Networks: Outage Performance and Deep Reinforcement Learning-Based Design

abstract: In future cell-free (or cell-less) wireless networks, a large number of devices in a geographical area will be served simultaneously in non-orthogonal multiple access scenarios by a large number of distributed access points (APs), which coordinate with a centralized processing pool. For such a centralized cell-free network with static predefined beamforming design, we first derive a closed-form expression of the uplink per-user probability of outage. To significantly reduce the complexity of joint processing of users' signals in presence of a large number of devices and APs, we propose a novel dynamic cell-free network architecture. In this architecture, the distributed APs are partitioned (i.e. clustered) among a set of subgroups with each subgroup acting as a virtual AP equipped with a distributed antenna system (DAS). The conventional static cell-free network is a special case of this dynamic cell-free network when the cluster size is one. For this dynamic cell-free network, we propose a successive interference cancellation (SIC)-enabled signal detection method and an inter-user-interference (IUI)-aware DAS's receive diversity combining scheme. We then formulate the general problem of clustering APs and designing the beamforming vectors with an objective to maximizing the sum rate or maximizing the minimum rate. To this end, we propose a hybrid deep reinforcement learning (DRL) model, namely, a deep deterministic policy gradient (DDPG)-deep double Q-network (DDQN) model, to solve the optimization problem for online implementation with low complexity. The DRL model for sum-rate optimization significantly outperforms that for maximizing the minimum rate in terms of average per-user rate performance. Also, in our system setting, the proposed DDPG-DDQN scheme is found to achieve around $78\%$ of the rate achievable through an exhaustive search-based design.


title: From kinetic to macroscopic models and back

abstract: We study kinetic models for traffic flow characterized by the property of producing backward propagating waves. These waves may be identified with the phenomenon of stop-and-go waves typically observed on highways. In particular, a refined modeling of the space of the microscopic speeds and of the interaction rate in the kinetic model allows to obtain weakly unstable backward propagating waves in dense traffic, without relying on non-local terms or multi--valued fundamental diagrams. A stability analysis of these waves is carried out using the Chapman-Enskog expansion. This leads to a BGK-type model derived as the mesoscopic limit of a Follow-The-Leader or Bando model, and its macroscopic limit belongs to the class of second-order Aw-Rascle and Zhang models.


title: Model of Algal Growth Depending on Nutrients and Inorganic Carbon in a Poorly Mixed Water Column

abstract: In this paper, we establish a reaction-diffusion-advection partial differential equation model to describe the growth of algae depending on both nutrients and inorganic carbon in a poorly mixed water column. Nutrients from the water bottom and inorganic carbon from the water surface form an asymmetric resource supply mechanism on the algal growth. The existence and stability of semi-trivial steady state and coexistence steady state of the model are proved, and a threshold condition for the regime shift from extinction to survival of algae is established. The influence of environmental parameters on the vertical distribution of algae is investigated in the water column. It is shown that the vertical distribution of algae can exhibit many different profiles under the joint limitation of nutrients and inorganic carbon.


title: A deep learning approach for the computation of curvature in the level-set method

abstract: We propose a deep learning strategy to estimate the mean curvature of two-dimensional implicit interfaces in the level-set method. Our approach is based on fitting feed-forward neural networks to synthetic data sets constructed from circular interfaces immersed in uniform grids of various resolutions. These multilayer perceptrons process the level-set values from mesh points next to the free boundary and output the dimensionless curvature at their closest locations on the interface. Accuracy analyses involving irregular interfaces, in both uniform and adaptive grids, show that our models are competitive with traditional numerical schemes in the $L^1$ and $L^2$ norms. In particular, our neural networks approximate curvature with comparable precision in coarse resolutions, when the interface features steep curvature regions, and when the number of iterations to reinitialize the level-set function is small. Although the conventional numerical approach is more robust than our framework, our results have unveiled the potential of machine learning for dealing with computational tasks where the level-set method is known to experience difficulties. We also establish that an application-dependent map of local resolutions to neural models can be devised to estimate mean curvature more effectively than a universal neural network.


title: Short Term Blood Glucose Prediction based on Continuous Glucose Monitoring Data

abstract: Continuous Glucose Monitoring (CGM) has enabled important opportunities for diabetes management. This study explores the use of CGM data as input for digital decision support tools. We investigate how Recurrent Neural Networks (RNNs) can be used for Short Term Blood Glucose (STBG) prediction and compare the RNNs to conventional time-series forecasting using Autoregressive Integrated Moving Average (ARIMA). A prediction horizon up to 90 min into the future is considered. In this context, we evaluate both population-based and patient-specific RNNs and contrast them to patient-specific ARIMA models and a simple baseline predicting future observations as the last observed. We find that the population-based RNN model is the best performing model across the considered prediction horizons without the need of patient-specific data. This demonstrates the potential of RNNs for STBG prediction in diabetes patients towards detecting/mitigating severe events in the STBG, in particular hypoglycemic events. However, further studies are needed in regards to the robustness and practical use of the investigated STBG prediction models.


title: A Comprehensive Feature Comparison Study of Open-Source Container Orchestration Frameworks

abstract: (1) Background: Container orchestration frameworks provide support for management of complex distributed applications. Different frameworks have emerged only recently, and they have been in constant evolution as new features are being introduced. This reality makes it difficult for practitioners and researchers to maintain a clear view of the technology space. (2) Methods: we present a descriptive feature comparison study of the three most prominent orchestration frameworks: Docker Swarm, Kubernetes, and Mesos, which can be combined with Marathon, Aurora or DC/OS. This study aims at (i) identifying the common and unique features of all frameworks, (ii) comparing these frameworks qualitatively and quantitatively with respect to genericity in terms of supported features, and (iii) investigating the maturity and stability of the frameworks as well as the pioneering nature of each framework by studying the historical evolution of the frameworks on GitHub. (3) Results: (i) we have identified 124 common features and 54 unique features that we divided into a taxonomy of 9 functional aspects and 27 functional sub-aspects. (ii) Kubernetes supports the highest number of accumulated common and unique features for all 9 functional aspects; however, no evidence has been found for significant differences in genericity with Docker Swarm and DC/OS. (iii) Very little feature deprecations have been found and 15 out of 27 sub-aspects have been identified as mature and stable. These are pioneered in descending order by Kubernetes, Mesos, and Marathon. (4) Conclusion: there is a broad and mature foundation that underpins all container orchestration frameworks. Likely areas for further evolution and innovation include system support for improved cluster security and container security, performance isolation of GPU, disk and network resources, and network plugin architectures.


title: Adaptive control for hindlimb locomotion in a simulated mouse through temporal cerebellar learning

abstract: Human beings and other vertebrates show remarkable performance and efficiency in locomotion, but the functioning of their biological control systems for locomotion is still only partially understood. The basic patterns and timing for locomotion are provided by a central pattern generator (CPG) in the spinal cord. The cerebellum is known to play an important role in adaptive locomotion. Recent studies have given insights into the error signals responsible for driving the cerebellar adaptation in locomotion. However, the question of how the cerebellar output influences the gait remains unanswered. We hypothesize that the cerebellar correction is applied to the pattern formation part of the CPG. Here, a bio-inspired control system for adaptive locomotion of the musculoskeletal system of the mouse is presented, where a cerebellar-like module adapts the step time by using the double support interlimb asymmetry as a temporal teaching signal. The control system is tested on a simulated mouse in a split-belt treadmill setup similar to those used in experiments with real mice. The results show adaptive locomotion behavior in the interlimb parameters similar to that seen in humans and mice. The control system adaptively decreases the double support asymmetry that occurs due to environmental perturbations in the split-belt protocol.


title: Ab initio Description of Bond-Breaking in Large Electric Fields

abstract: Strong ($10^{10}$ V/m) electric fields capable of inducing atomic bond-breaking represent a powerful tool for surface chemistry. However, their exact effects are difficult to predict due to a lack of suitable tools to probe their associated atomic-scale mechanisms. Here we introduce a generalized dipole correction for charged repeated-slab models that controls the electric field on both sides of the slab, thereby enabling direct theoretical treatment of field-induced bond-breaking events. As a prototype application, we consider field evaporation from a kinked W surface. We reveal two qualitatively different desorption mechanisms that can be selected by the magnitude of the applied field.


title: Recursive PGFs for BSTs and DSTs

abstract: We review fundamentals underlying binary search trees and digital search trees, with (atypical) emphasis on recursive formulas for associated probability generating functions. Other topics include higher moments of BST search costs and combinatorics for a certain finite-key analog of DSTs.


title: On meso-scale approximations for vibrations of membranes with lower-dimensional clusters of inertial inclusions

abstract: In this paper we consider formal asymptotic algorithms for a class of meso-scale approximations for problems of vibration of elastic membranes, which contain clusters of small inertial inclusions distributed along contours of pre-defined smooth shapes. Effective transmission conditions have been identified for inertial structured interfaces, and approximations to solutions of eigenvalue problems have been derived for domains containing lower-dimensional clusters of inclusions.


title: Inelastic Boltzmann Equation Driven by a Particle Thermal Bath

abstract: We consider the spatially inhomogeneous Boltzmann equation for inelastic hard-spheres, with constant restitution coefficient $\alpha\in(0,1)$, under the thermalization induced by a host medium with a fixed Maxwellian distribution and any fixed $e\in(0,1]$. When the restitution coefficient $\alpha$ is close to 1 we prove existence and uniqueness of global solutions considering the close-to-equilibrium regime. We also study the long-time behaviour of these solutions and prove a convergence to equilibrium with an exponential rate.


title: Randomized Algorithms for Generalized Singular Value Decomposition with Application to Sensitivity Analysis

abstract: The generalized singular value decomposition (GSVD) is a valuable tool that has many applications in computational science. However, computing the GSVD for large-scale problems is challenging. Motivated by applications in hyper-differential sensitivity analysis (HDSA), we propose new randomized algorithms for computing the GSVD which use randomized subspace iteration and weighted QR factorization. Detailed error analysis is given which provides insight into the accuracy of the algorithms and the choice of the algorithmic parameters. We demonstrate the performance of our algorithms on test matrices and a large-scale model problem where HDSA is used to study subsurface flow.


title: Correlation function: biasing and fractal properties of the cosmic web

abstract: We calculated spatial correlation functions of galaxies, $\xi(r)$, structure functions, $g(r)=1 +\xi(r)$, gradient functions, $\gamma(r)= d \log g(r)/ d \log r$, and fractal dimension functions, $D(r)= 3+\gamma(r)$, using dark matter particles of the biased $\Lambda$ cold dark matter (CDM) simulation, observed galaxies of the Sloan Digital Sky Survey (SDSS), and simulated galaxies of the Millennium and EAGLE simulations. We analysed how these functions describe fractal and biasing properties of the cosmic web. The correlation functions of the biased $\Lambda$CDM model samples at small distances (particle and galaxy separations), $r \le 2.25$~\Mpc, describe the distribution of matter inside dark matter (DM) halos. In real and simulated galaxy samples, only the brightest galaxies in clusters are visible, and the transition from clusters to filaments occurs at a distance $r \approx 0.8 - 1.5$~\Mpc. Real and simulated galaxies of low luminosity, $M_r \ge -19$, have almost identical correlation lengths and amplitudes, indicating that dwarf galaxies are satellites of brighter galaxies, and do not form a smooth population in voids. The combination of several physical processes (e.g. the formation of halos along the caustics of particle trajectories and the phase synchronisation of density perturbations on various scales) transforms the initial random density field to the current highly non-random density field. Galaxy formation is suppressed in voids, which increases the amplitudes of correlation functions and power spectra of galaxies, and increases the large-scale bias parameter. The combined evidence leads to the large-scale bias parameter of $L_\star$ galaxies the value $b_\star =1.85 \pm 0.15$. We find $r_0(L_\star) = 7.20 \pm 0.19$ for the correlation length of $L_\star$ galaxies.


title: Fine-Grained Fashion Similarity Learning by Attribute-Specific Embedding Network

abstract: This paper strives to learn fine-grained fashion similarity. In this similarity paradigm, one should pay more attention to the similarity in terms of a specific design/attribute among fashion items, which has potential values in many fashion related applications such as fashion copyright protection. To this end, we propose an Attribute-Specific Embedding Network (ASEN) to jointly learn multiple attribute-specific embeddings in an end-to-end manner, thus measure the fine-grained similarity in the corresponding space. With two attention modules, i.e., Attribute-aware Spatial Attention and Attribute-aware Channel Attention, ASEN is able to locate the related regions and capture the essential patterns under the guidance of the specified attribute, thus make the learned attribute-specific embeddings better reflect the fine-grained similarity. Extensive experiments on four fashion-related datasets show the effectiveness of ASEN for fine-grained fashion similarity learning and its potential for fashion reranking.


title: Switchable Precision Neural Networks

abstract: Instantaneous and on demand accuracy-efficiency trade-off has been recently explored in the context of neural networks slimming. In this paper, we propose a flexible quantization strategy, termed Switchable Precision neural Networks (SP-Nets), to train a shared network capable of operating at multiple quantization levels. At runtime, the network can adjust its precision on the fly according to instant memory, latency, power consumption and accuracy demands. For example, by constraining the network weights to 1-bit with switchable precision activations, our shared network spans from BinaryConnect to Binarized Neural Network, allowing to perform dot-products using only summations or bit operations. In addition, a self-distillation scheme is proposed to increase the performance of the quantized switches. We tested our approach with three different quantizers and demonstrate the performance of SP-Nets against independently trained quantized models in classification accuracy for Tiny ImageNet and ImageNet datasets using ResNet-18 and MobileNet architectures.


title: The Aarhus red giants challenge II. Stellar oscillations in the red giant branch phase

abstract: Context. The large quantity of high-quality asteroseismic data that obtained from space-based photometric missions and the accuracy of the resulting frequencies motivate a careful consideration of the accuracy of computed oscillation frequencies of stellar models, when applied as diagnostics of the model properties. Aims. Based on models of red-giant stars that have been independently calculated using different stellar evolution codes, we investigate the extent to which the differences in the model calculation affect the model oscillation frequencies. Methods. For each of the models, which cover four different masses and different evolution stages on the red-giant branch, we computed full sets of low-degree oscillation frequencies using a single pulsation code and, from these frequencies, typical asteroseismic diagnostics. In addition, we carried out preliminary analyses to relate differences in the oscillation properties to the corresponding model differences. Results. In general, the differences in asteroseismic properties between the different models greatly exceed the observational precision of these properties, in particular for the nonradial modes whose mixed acoustic and gravity-wave character makes them sensitive to the structure of the deep stellar interior. In some cases, identifying these differences led to improvements in the final models presented here and in Paper I; here we illustrate particular examples of this. Conclusions. Further improvements in stellar modelling are required in order fully to utilise the observational accuracy to probe intrinsic limitations in the modelling. However, our analysis of the frequency differences and their relation to stellar internal properties provides a striking illustration of the potential of the mixed modes of red-giant stars for the diagnostics of stellar interiors.


title: Timely Updates By Multiple Sources: The M/M/1 Queue Revisited

abstract: Multiple sources submit updates to a monitor through an M/M/1 queue. A stochastic hybrid system (SHS) approach is used to derive the average age of information (AoI) for an individual source as a function of the offered load of that source and the competing update traffic offered by other sources. This work corrects an error in a prior analysis. By numerical evaluation, this error is observed to be small and qualitatively insignificant.


title: Nonparametric Regression Quantum Neural Networks

abstract: In two pervious papers \cite{dndiep3}, \cite{dndiep4}, the first author constructed the least square quantum neural networks (LS-QNN), and ploynomial interpolation quantum neural networks ( PI-QNN), parametrico-stattistical QNN like: leanr regrassion quantum neural networks (LR-QNN), polynomial regression quantum neural networks (PR-QNN), chi-squared quantum neural netowrks ($\chi^2$-QNN). We observed that the method works also in the cases by using nonparametric statistics. In this paper we analyze and implement the nonparametric tests on QNN such as: linear nonparametric regression quantum neural networks (LNR-QNN), polynomial nonparametric regression quantum neural networks (PNR-QNN). The implementation is constructed through the Gauss-Jordan Elimination quantum neural networks (GJE-QNN).The training rule is to use the high probability confidence regions or intervals.


title: Lightning Network: a second path towards centralisation of the Bitcoin economy

abstract: The Bitcoin Lightning Network (BLN), a so-called "second layer" payment protocol, was launched in 2018 to scale up the number of transactions between Bitcoin owners. In this paper, we analyse the structure of the BLN over a period of 18 months, ranging from 12th January 2018 to 17th July 2019. Here, we consider three representations of the BLN: the daily snapshot one, the weekly snapshot one and the daily-block snapshot one. By studying the topological properties of the three representations above, we find that the total volume of transacted bitcoins approximately grows as the square of the network size; however, despite the huge activity characterising the BLN, the bitcoins distribution is very unequal: the average Gini coefficient of the node strengths (computed across the entire history of the Bitcoin Lightning Network) is, in fact, ~0.88 causing the 10% (50%) of the nodes to hold the 80% (99%) of the bitcoins at stake in the BLN (on average, across the entire period). This concentration brings up the question of which minimalist network model allows us to explain the network topological structure. Like for other economic systems, we hypothesise that local properties of nodes, like the degree, ultimately determine part of its characteristics. Therefore, we have tested the goodness of the Undirected Binary Configuration Model (UBCM) in reproducing the structural features of the BLN: the UBCM recovers the disassortative and the hierarchical character of the BLN but underestimates the centrality of nodes; this suggests that the BLN is becoming an increasingly centralised network, more and more compatible with a core-periphery structure. Further inspection of the resilience of the BLN shows that removing hubs leads to the collapse of the network into many components, an evidence suggesting that this network may be a target for the so-called split attacks.


title: Noisy-Input Entropy Search for Efficient Robust Bayesian Optimization

abstract: We consider the problem of robust optimization within the well-established Bayesian optimization (BO) framework. While BO is intrinsically robust to noisy evaluations of the objective function, standard approaches do not consider the case of uncertainty about the input parameters. In this paper, we propose Noisy-Input Entropy Search (NES), a novel information-theoretic acquisition function that is designed to find robust optima for problems with both input and measurement noise. NES is based on the key insight that the robust objective in many cases can be modeled as a Gaussian process, however, it cannot be observed directly. We evaluate NES on several benchmark problems from the optimization literature and from engineering. The results show that NES reliably finds robust optima, outperforming existing methods from the literature on all benchmarks.


title: The QCD crossover at finite chemical potential from lattice simulations

abstract: We provide the most accurate results for the QCD transition line so far. We optimize the definition of the crossover temperature $T_c$, allowing for its very precise determination, and extrapolate from imaginary chemical potential up to real $\mu_B \approx 300$ MeV. The definition of $T_c$ adopted in this work is based on the observation that the chiral susceptibility as a function of the condensate is an almost universal curve at zero and imaganiary $\mu_B$. We obtain the parameters $\kappa_2=0.0153(18)$ and $\kappa_4=0.00032(67)$ as a continuum extrapolation based on $N_t=10,12$ and $16$ lattices with physical quark masses. We also extrapolate the peak value of the chiral susceptibility and the width of the chiral transition along the crossover line. In fact, both of these are consistent with a constant function of $\mu_B$. We see no sign of criticality in the explored range.


title: The impact of AGN feedback on the 1D power spectra from the Ly$\alpha$ forest using the Horizon-AGN suite of simulations

abstract: The Lyman-$\alpha$ forest is a powerful probe for cosmology, but it is also strongly impacted by galaxy evolution and baryonic processes such as Active Galactic Nuclei (AGN) feedback, which can redistribute mass and energy on large scales. We constrain the signatures of AGN feedback on the 1D power spectrum of the Lyman-$\alpha$ forest using a series of eight hydro-cosmological simulations performed with the Adaptative Mesh Refinement code RAMSES. This series starts from the Horizon-AGN simulation and varies the sub-grid parameters for AGN feeding, feedback and stochasticity. These simulations cover the whole plausible range of feedback and feeding parameters according to the resulting galaxy properties. AGNs globally suppress the Lyman-$\alpha$ power at all scales. On large scales, the energy injection and ionization dominate over the supply of gas mass from AGN-driven galactic winds, thus suppressing power. On small scales, faster cooling of denser gas mitigates the suppression. This effect increases with decreasing redshift. We provide lower and upper limits of this signature at nine redshifts between $z=4.25$ and $z=2.0$, making it possible to account for it at post-processing stage in future work given that running simulations without AGN feedback can save considerable amounts of computing resources. Ignoring AGN feedback in cosmological inference analyses leads to strong biases with 2\% shift on $\sigma_8$ and 1\% shift on $n_s$, which represents twice the standards deviation of the current constraints on $n_s$.


title: Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification

abstract: Given a Bell inequality, if its maximal quantum violation can be achieved only by a single set of measurements for each party or a single quantum state, up to local unitaries, one refers to such a phenomenon as self-testing. For instance, the maximal quantum violation of the Clauser-Horne-Shimony-Holt inequality certifies that the underlying state contains the two-qubit maximally entangled state and the measurements of one party contains a pair of anti-commuting qubit observables. As a consequence, the other party automatically verifies the set of states remotely steered, namely the "assemblage", is in the eigenstates of a pair of anti-commuting observables. It is natural to ask if the quantum violation of the Bell inequality is not maximally achieved, or if one does not care about self-testing the state or measurements, are we capable of estimating how close the underlying assemblage is to the reference one? In this work, we provide a systematic device-independent estimation by proposing a framework called "robust self-testing of steerable quantum assemblages". In particular, we consider assemblages violating several paradigmatic Bell inequalities and obtain the robust self-testing statement for each scenario. Our result is device-independent (DI), i.e., no assumption is made on the shared state and the measurement devices involved. Our work thus not only paves a way for exploring the connection between the boundary of quantum set of correlations and steerable assemblages, but also provides a useful tool in the areas of DI quantum certification. As two explicit applications, we show 1) that it can be used for an alternative proof of the protocol of DI certification of all entangled two-qubit states proposed by Bowles et al., and 2) that it can be used to verify all non-entanglement-breaking qubit channels with fewer assumptions compared with the work of Rosset et al.


title: Population Monotonic Allocation Schemes for Vertex Cover Games

abstract: For vertex cover games (introduced by Deng et al., Math. Oper. Res., 24:751-766, 1999), we investigate population monotonic allocation schemes (introduced by Sprumont, Games Econ. Behav., 2: 378-394, 1990). We show that the existence of a population monotonic allocation scheme (PMAS for short) for vertex cover games can be determined efficiently and that a PMAS, if exists, can be constructed accordingly. We also show that integral PMAS-es for vertex cover games can be characterized with stable matchings and be enumerated by employing Gale-Shapley algorithm (introduced by Gale and Shapley, Amer. Math. Monthly, 69:9-15, 1962).


title: The symbiotic branching model: duality and interfaces

abstract: The symbiotic branching model describes the dynamics of a spatial two-type population, where locally particles branch at a rate given by the frequency of the other type combined with nearest-neighbour migration. This model generalizes various classic models in population dynamics, such as the stepping stone model and the mutually catalytic branching model. We are particularly interested in understanding the region of coexistence, i.e. the interface between the two types. In this chapter, we give an overview over our results that describe the dynamics of these interfaces at large scales. One of the reasons that this system is tractable is that it exhibits a rich duality theory. So at the same time, we take the opportunity to provide an introduction to the strength of duality methods in the context of spatial population models.


title: Conditional Deep Gaussian Processes: multi-fidelity kernel learning

abstract: Deep Gaussian Processes (DGPs) were proposed as an expressive Bayesian model capable of a mathematically grounded estimation of uncertainty. The expressivity of DPGs results from not only the compositional character but the distribution propagation within the hierarchy. Recently, [1] pointed out that the hierarchical structure of DGP well suited modeling the multi-fidelity regression, in which one is provided sparse observations with high precision and plenty of low fidelity observations. We propose the conditional DGP model in which the latent GPs are directly supported by the fixed lower fidelity data. Then the moment matching method in [2] is applied to approximate the marginal prior of conditional DGP with a GP. The obtained effective kernels are implicit functions of the lower-fidelity data, manifesting the expressivity contributed by distribution propagation within the hierarchy. The hyperparameters are learned via optimizing the approximate marginal likelihood. Experiments with synthetic and high dimensional data show comparable performance against other multi-fidelity regression methods, variational inference, and multi-output GP. We conclude that, with the low fidelity data and the hierarchical DGP structure, the effective kernel encodes the inductive bias for true function allowing the compositional freedom discussed in [3,4].


title: Circular symmetric Airy beam with the inverse propagation of the abruptly autofocusing Airy beam

abstract: In this letter, we introduce a new class of light beam, the circular symmetric Airy beam (CSAB), which arises from the extensions of the one dimensional (1D) spectrum of Airy beam from rectangular coordinates to cylindrical ones. The CSAB propagates at initial stages with a single central lobe that autofocuses and then defocuses into the multi-rings structure. Then, these multi-rings perform the outward accelerations during the propagation. That means the CSAB has the inverse propagation of the abruptly autofocusing Airy beam. Besides, the propagation features of the circular symmetric Airy vortex beam (CSAVB) also have been investigated in detail. Our results offer a complementary tool with respect to the abruptly autofocusing Airy beam for practical applications.


title: On the shape of the local bubble

abstract: The shape of the local bubble is modeled in the framework of the thin layer approximation. The asymmetric shape of the local bubble is simulated by introducing axial profiles for the density of the interstellar medium, such as exponential, Gaussian, inverse square dependence and Navarro--Frenk--White. The availability of some observed asymmetric profiles for the local bubble allows us to match theory and observations via the observational percentage of reliability. The model is compatible with the presence of radioisotopes on Earth.


title: Off-policy Maximum Entropy Reinforcement Learning : Soft Actor-Critic with Advantage Weighted Mixture Policy(SAC-AWMP)

abstract: The optimal policy of a reinforcement learning problem is often discontinuous and non-smooth. I.e., for two states with similar representations, their optimal policies can be significantly different. In this case, representing the entire policy with a function approximator (FA) with shared parameters for all states maybe not desirable, as the generalization ability of parameters sharing makes representing discontinuous, non-smooth policies difficult. A common way to solve this problem, known as Mixture-of-Experts, is to represent the policy as the weighted sum of multiple components, where different components perform well on different parts of the state space. Following this idea and inspired by a recent work called advantage-weighted information maximization, we propose to learn for each state weights of these components, so that they entail the information of the state itself and also the preferred action learned so far for the state. The action preference is characterized via the advantage function. In this case, the weight of each component would only be large for certain groups of states whose representations are similar and preferred action representations are also similar. Therefore each component is easy to be represented. We call a policy parameterized in this way an Advantage Weighted Mixture Policy (AWMP) and apply this idea to improve soft-actor-critic (SAC), one of the most competitive continuous control algorithm. Experimental results demonstrate that SAC with AWMP clearly outperforms SAC in four commonly used continuous control tasks and achieve stable performance across different random seeds.


title: H2 and H-infinity Suboptimal Distributed Filter Design for Linear Systems

abstract: This paper investigates the H2 and H-infinity suboptimal distributed filtering problems for continuous time linear systems. Consider a linear system monitored by a number of filters, where each of the filters receives only part of the measured output of the system. Each filter can communicate with the other filters according to an a priori given strongly connected weighted directed graph. The aim is to design filter gains that guarantee the H2 or H-infinity norm of the transfer matrix from the disturbance input to the output estimation error to be smaller than an a priori given upper bound, while all local filters reconstruct the full system state asymptotically. We provide a centralized design method for obtaining such H2 and H-infinity suboptimal distributed filters. The proposed design method is illustrated by a simulation example.


title: Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs

abstract: Memory spatial errors, i.e., buffer overflow vulnerabilities, have been a well-known issue in computer security for a long time and remain one of the root causes of exploitable vulnerabilities. Most of the existing mitigation tools adopt a fail-stop strategy to protect programs from intrusions, which means the victim program will be terminated upon detecting a memory safety violation. Unfortunately, the fail-stop strategy harms the availability of software. In this paper, we propose Saturation Memory Access (SMA), a memory spatial error mitigation mechanism that prevents out-of-bounds access without terminating a program. SMA is based on a key observation that developers generally do not rely on out-of-bounds accesses to implement program logic. SMA modifies dynamic memory allocators and adds paddings to objects to form an enlarged object boundary. By dynamically correcting all the out-of-bounds accesses to operate on the enlarged protecting boundaries, SMA can tolerate out-of-bounds accesses. For the sake of compatibility, we chose tagged pointers to record the boundary metadata of a memory object in the pointer itself, and correct the address upon detecting out-of-bounds access. We have implemented the prototype of SMA on LLVM 10.0. Our results show that our compiler enables the programs to execute successfully through buffer overflow attacks. Experiments on MiBench show that our prototype incurs an overhead of 78\%. Further optimizations would require ISA supports.


title: Bayesian inference of quasi-linear radial diffusion parameters using Van Allen Probes

abstract: The Van Allen radiation belts in the magnetosphere have been extensively studied using models based on radial diffusion theory, which is based on a quasi-linear approach with prescribed inner and outer boundary conditions. The 1-d diffusion model requires the knowledge of a diffusion coefficient and an electron loss timescale, which are typically parameterized in terms of various quantities such as the spatial ($L$) coordinate or a geomagnetic index (for example, $Kp$). These terms are empirically derived, not directly measurable, and hence are not known precisely, due to the inherent non-linearity of the process and the variable boundary conditions. In this work, we demonstrate a probabilistic approach by inferring the values of the diffusion and loss term parameters, along with their uncertainty, in a Bayesian framework, where identification is obtained using the Van Allen Probe measurements. Our results show that the probabilistic approach statistically improves the performance of the model, compared to the parameterization employed in the literature.


title: Accelerating linear system solvers for time domain component separation of cosmic microwave background data

abstract: Component separation is one of the key stages of any modern, cosmic microwave background (CMB) data analysis pipeline. It is an inherently non-linear procedure and typically involves a series of sequential solutions of linear systems with similar, albeit not identical system matrices, derived for different data models of the same data set. Sequences of this kind arise for instance in the maximization of the data likelihood with respect to foreground parameters or sampling of their posterior distribution. However, they are also common in many other contexts. In this work we consider solving the component separation problem directly in the measurement (time) domain, which can have a number of important advantageous over the more standard pixel-based methods, in particular if non-negligible time-domain noise correlations are present as it is commonly the case. The time-domain based approach implies, however, significant computational effort due to the need to manipulate the full volume of time-domain data set. To address this challenge, we propose and study efficient solvers adapted to solving time-domain-based, component separation systems and their sequences and which are capable of capitalizing on information derived from the previous solutions. This is achieved either via adapting the initial guess of the subsequent system or through a so-called subspace recycling, which allows to construct progressively more efficient, two-level preconditioners. We report an overall speed-up over solving the systems independently of a factor of nearly 7, or 5, in the worked examples inspired respectively by the likelihood maximization and likelihood sampling procedures we consider in this work.

categories: math.NA astro-ph.CO cs.NA physics.comp-ph


title: Collective stiffening of soft hair assemblies

abstract: Many living systems use assemblies of soft and slender structures whose deflections allow them to mechanically probe their immediate environment. In this work, we study the collective response of artificial soft hair assemblies to a shear flow by imaging their deflections. At all hair densities, the deflection is found to be proportional to the local shear stress with a proportionality factor that decreases with density. The measured collective stiffening of hairs is modeled both with a microscopic elastohydrodynamic model that takes into account long range hydrodynamic hair-hair interactions and a phenomenological model that treats the hair assemblies as an effective porous medium. While the microscopic model is in reasonable agreement with the experiments at low hair density, the phenomenological model is found to be predictive across the entire density range.


title: On the Effectiveness of Richardson Extrapolation in Machine Learning

abstract: Richardson extrapolation is a classical technique from numerical analysis that can improve the approximation error of an estimation method by combining linearly several estimates obtained from different values of one of its hyperparameters, without the need to know in details the inner structure of the original estimation method. The main goal of this paper is to study when Richardson extrapolation can be used within machine learning, beyond the existing applications to step-size adaptations in stochastic gradient descent. We identify two situations where Richardson interpolation can be useful: (1) when the hyperparameter is the number of iterations of an existing iterative optimization algorithm, with applications to averaged gradient descent and Frank-Wolfe algorithms (where we obtain asymptotically rates of $O(1/k^2)$ on polytopes, where $k$ is the number of iterations), and (2) when it is a regularization parameter, with applications to Nesterov smoothing techniques for minimizing non-smooth functions (where we obtain asymptotically rates close to $O(1/k^2)$ for non-smooth functions), and ridge regression. In all these cases, we show that extrapolation techniques come with no significant loss in performance, but with sometimes strong gains, and we provide theoretical justifications based on asymptotic developments for such gains, as well as empirical illustrations on classical problems from machine learning.


title: Causally Correct Partial Models for Reinforcement Learning

abstract: In reinforcement learning, we can learn a model of future observations and rewards, and use it to plan the agent's next actions. However, jointly modeling future observations can be computationally expensive or even intractable if the observations are high-dimensional (e.g. images). For this reason, previous works have considered partial models, which model only part of the observation. In this paper, we show that partial models can be causally incorrect: they are confounded by the observations they don't model, and can therefore lead to incorrect planning. To address this, we introduce a general family of partial models that are provably causally correct, yet remain fast because they do not need to fully model future observations.


title: Report on the ECFA Early-Career Researchers Debate on the 2020 European Strategy Update for Particle Physics

abstract: A group of Early-Career Researchers (ECRs) has been given a mandate from the European Committee for Future Accelerators (ECFA) to debate the topics of the current European Strategy Update (ESU) for Particle Physics and to summarise the outcome in a brief document [1]. A full-day debate with 180 delegates was held at CERN, followed by a survey collecting quantitative input. During the debate, the ECRs discussed future colliders in terms of the physics prospects, their implications for accelerator and detector technology as well as computing and software. The discussion was organised into several topic areas. From these areas two common themes were particularly highlighted by the ECRs: sociological and human aspects; and issues of the environmental impact and sustainability of our research.


title: A convergent low-wavenumber, high-frequency homogenization of the wave equation in periodic media with a source term

abstract: We pursue a low-wavenumber, second-order homogenized solution of the time-harmonic wave equation at both low and high frequency in periodic media with a source term whose frequency resides inside a band gap. Considering the wave motion in an unbounded medium $\mathbb{R}^d$ ($d\geqslant1$), we first use the (Floquet-)Bloch transform to formulate an equivalent variational problem in a bounded domain. By investigating the source term's projection onto certain periodic functions, the second-order model can then be derived via asymptotic expansion of the Bloch eigenfunction and the germane dispersion relationship. We establish the convergence of the second-order homogenized solution, and we include numerical examples to illustrate the convergence result.


title: Transferrable AlGaN/GaN HEMTs to Arbitrary Substrates via a Two-dimensional Boron Nitride Release Layer

abstract: Mechanical transfer of high performing thin film devices onto arbitrary substrates represents an exciting opportunity to improve device performance, explore non-traditional manufacturing approaches, and paves the way for soft, conformal, and flexible electronics. Using a two-dimensional (2D) boron nitride (BN) release layer, we demonstrate the transfer of AlGaN/GaN high-electron mobility transistors (HEMTs) to arbitrary substrates through both direct van der Waals (vdW) bonding and with a polymer adhesive interlayer. No device degradation was observed due to the transfer process, and a significant reduction in device temperature (327 {\deg}C to 132 {\deg}C at 600 mW) was observed when directly bonded to a silicon carbide (SiC) wafer relative to the starting wafer. With the use of a benzocyclobutene (BCB) adhesion interlayer, devices were easily transferred and characterized on Kapton and ceramic films, representing an exciting opportunity for integration onto arbitrary substrates. Upon reduction of this polymer adhesive layer thickness, the AlGaN/GaN HEMTs transferred onto a BCB/SiC substrate resulted in comparable peak temperatures during operation at powers as high as 600 mW to the as-grown wafer, revealing that by optimizing interlayer characteristics such as thickness and thermal conductivity, transferrable devices on polymer layers can still improve performance outputs.


title: Occurrence and Architecture of Kepler Planetary Systems as Functions of Stellar Mass and Effective Temperature

abstract: The Kepler mission has discovered thousands of exoplanets around various stars with different spectral types (M, K, G, and F) and thus different masses and effective temperatures. Previous studies have shown that the planet occurrence rate, in terms of average number of planets per star, drops with increasing stellar effective temperature (Teff). In this paper, with the final Kepler Data Release (DR25) catalog, we revisit the relation between stellar effective temperature (as well as mass) and planet occurrence, but in terms of the fraction of stars with planets and the number of planets per planetary system (i.e. planet multiplicity). We find that both the fraction of stars with planets and planet multiplicity decrease with increasing stellar temperature and mass. Specifically, about 75% late-type stars (Teff<5000 K) have Kepler-like planets with an average planet multiplicity of ~2.8; while for early-type stars (Teff>6500 K), this fraction and the average multiplicity fall down to ~35% and ~1.8, respectively. The decreasing trend in the fraction of stars with planets is very significant with ${\Delta}$AIC> 30, though the trend in planet multiplicity is somewhat tentative with ${\Delta}$AIC~5. Our results also allow us to derive the dispersion of planetary orbital inclinations in relationship with stellar effective temperature. Interestingly, it is found to be similar to the well-known trend between obliquity and stellar temperature, indicating that the two trends might have a common origin.


title: Driven Tracers in a One-Dimensional Periodic Hard-Core Lattice Gas

abstract: Totally asymmetric tracer particles in an environment of symmetric hard-core particles on a ring are studied. Stationary state properties, including the environment density profile and tracer velocity are derived explicitly for a single tracer. Systems with more than one tracer are shown to factorise into single-tracer subsystems, allowing the single tracer results to be extended to an arbitrary number of tracers. We demonstrate the existence of a cooperative effect, where many tracers move with a higher velocity than a single tracer in an environment of the same size and density. Analytic calculations are verified by simulations. Results are compared to established results in related systems.


title: Assessing the Adversarial Robustness of Monte Carlo and Distillation Methods for Deep Bayesian Neural Network Classification

abstract: In this paper, we consider the problem of assessing the adversarial robustness of deep neural network models under both Markov chain Monte Carlo (MCMC) and Bayesian Dark Knowledge (BDK) inference approximations. We characterize the robustness of each method to two types of adversarial attacks: the fast gradient sign method (FGSM) and projected gradient descent (PGD). We show that full MCMC-based inference has excellent robustness, significantly outperforming standard point estimation-based learning. On the other hand, BDK provides marginal improvements. As an additional contribution, we present a storage-efficient approach to computing adversarial examples for large Monte Carlo ensembles using both the FGSM and PGD attacks.


title: DISIMb(2) Local Relativistic Symmetry and Finslerian Extension of the Theory of Relativity

abstract: Finslerian extension of the theory of relativity implies that space-time can be not only in an amorphous state which is described by Riemann geometry but also in ordered, i.e. crystalline states which are described by Finsler geometry. Transitions between various metric states of space-time have the meaning of phase transitions in its geometric structure. These transitions together with the evolution of each of the possible metric states make up the general picture of space-time manifold dynamics. It is shown that there are only two types of curved Finslerian spaces endowed with local relativistic symmetry. However the metric of only one of them satisfies the correspondence principle with Riemannian metric of the general theory of relativity and therefore underlies viable Finslerian extension of the GR. Since the existing purely geometric approaches to a Finslerian generalization of Einstein's equations do not allow one to obtain such generalized equations which would provide a local relativistic symmetry of their solutions, special attention is paid to the property of the specific invariance of viable Finslerian metric under local conformal transformations of those fields on which it explicitly depends. It is this property that makes it possible to use the well-known methods of conventional field theory and thereby to circumvent the above-mentioned difficulties arising within the framework of purely geometric approaches to a Finslerian generalization of Einstein's equations.


title: Stable Sparse Subspace Embedding for Dimensionality Reduction

abstract: Sparse random projection (RP) is a popular tool for dimensionality reduction that shows promising performance with low computational complexity. However, in the existing sparse RP matrices, the positions of non-zero entries are usually randomly selected. Although they adopt uniform sampling with replacement, due to large sampling variance, the number of non-zeros is uneven among rows of the projection matrix which is generated in one trial, and more data information may be lost after dimension reduction. To break this bottleneck, based on random sampling without replacement in statistics, this paper builds a stable sparse subspace embedded matrix (S-SSE), in which non-zeros are uniformly distributed. It is proved that the S-SSE is stabler than the existing matrix, and it can maintain Euclidean distance between points well after dimension reduction. Our empirical studies corroborate our theoretical findings and demonstrate that our approach can indeed achieve satisfactory performance.


title: Gevrey estimates of formal solutions for certain moment partial differential equations with variable coefficients

abstract: The goal of this paper is to investigate Gevrey properties of formal solutions of certain generalized linear partial differential equations with variable coefficients. In particular, we extend the notion of moment partial differential equations to include differential operators that are not connected with kernel functions. Using the modified version of Nagumo norms and the properties of the Newton polygon we compute the Gevrey estimate for formal solutions of such generalized partial differential equations.


title: Fast Kernel k-means Clustering Using Incomplete Cholesky Factorization

abstract: Kernel-based clustering algorithm can identify and capture the non-linear structure in datasets, and thereby it can achieve better performance than linear clustering. However, computing and storing the entire kernel matrix occupy so large memory that it is difficult for kernel-based clustering to deal with large-scale datasets. In this paper, we employ incomplete Cholesky factorization to accelerate kernel clustering and save memory space. The key idea of the proposed kernel $k$-means clustering using incomplete Cholesky factorization is that we approximate the entire kernel matrix by the product of a low-rank matrix and its transposition. Then linear $k$-means clustering is applied to columns of the transpose of the low-rank matrix. We show both analytically and empirically that the performance of the proposed algorithm is similar to that of the kernel $k$-means clustering algorithm, but our method can deal with large-scale datasets.


title: Signatures of the Galactic bar in high-order moments of proper motions measured by Gaia

abstract: Our location in the Milky Way provides an exceptional opportunity to gain insight on the galactic evolution processes, and complement the information inferred from observations of external galaxies. Since the Milky Way is a barred galaxy, the study of motions of individual stars in the bulge and disc is useful to understand the role of the bar. The Gaia mission enables such study by providing the most precise parallaxes and proper motions to date. In this theoretical work, we explore the effects of the bar on the distribution of higher-order moments --the skewness and kurtosis-- of the proper motions by confronting two simulated galaxies, one with a bar and one nearly axisymmetric, with observations from the latest Gaia data release (GaiaDR2). We introduce the code ASGAIA to account for observational errors of Gaia in the kinematical structures predicted by the numerical models. As a result, we find clear imprints of the bar in the skewness distribution of the longitudinal proper motion $\mu_\ell$ in GaiaDR2, as well as other features predicted for the next Gaia data releases.


title: Unsupervised pretraining transfers well across languages

abstract: Cross-lingual and multi-lingual training of Automatic Speech Recognition (ASR) has been extensively investigated in the supervised setting. This assumes the existence of a parallel corpus of speech and orthographic transcriptions. Recently, contrastive predictive coding (CPC) algorithms have been proposed to pretrain ASR systems with unlabelled data. In this work, we investigate whether unsupervised pretraining transfers well across languages. We show that a slight modification of the CPC pretraining extracts features that transfer well to other languages, being on par or even outperforming supervised pretraining. This shows the potential of unsupervised methods for languages with few linguistic resources.


title: Geometric description of the Kitaev honeycomb lattice model

abstract: It is widely accepted that topological superconductors can only have an effective interpretation in terms of curved geometry rather than gauge fields due to their charge neutrality. This approach is commonly employed in order to investigate their properties, such as the behaviour of their energy currents. Nevertheless, it is not known how accurately curved geometry can describe actual microscopic models. Here, we demonstrate that the low-energy properties of the Kitaev honeycomb lattice model, a topological superconductor that supports localised Majorana zero modes at its vortex excitations, are faithfully described in terms of Riemann-Cartan geometry. In particular, we show analytically that the continuum limit of the model is given in terms of the Majorana version of the Dirac Hamiltonian coupled to both curvature and torsion. We numerically establish the accuracy of the geometric description for a wide variety of couplings of the microscopic model. Our work opens up the opportunity to accurately predict dynamical properties of the Kitaev model from its effective geometric description.


title: Geometry and Topology Tango in Ordered and Amorphous Chiral Matter

abstract: Systems as diverse as mechanical structures assembled from elastic components, and photonic metamaterials enjoy a common geometrical feature: a sublattice symmetry. This property realizes a chiral symmetry first introduced to characterize a number of electronic insulators in the vicinity of their energy gaps. In this article, we introduce a generic framework to elucidate and design zero-energy topological boundary modes in all systems enjoying a chiral symmetry, whether crystalline or amorphous. We first show how to distinguish chiral insulators from one another by a real-space measure: their chiral polarization. In crystals, we use it to redefine the very concept of bulk-boundary correspondence, and resolve long-standing ambiguities in its application to chiral insulators. In amorphous metamaterials, we use it to lay out generic geometrical rules to locate topologically distinct phases, and explain how to engineer localized zero-mode wave guides even more robust than in periodic structures.


title: On the Estimation of Information Measures of Continuous Distributions

abstract: The estimation of information measures of continuous distributions based on samples is a fundamental problem in statistics and machine learning. In this paper, we analyze estimates of differential entropy in $K$-dimensional Euclidean space, computed from a finite number of samples, when the probability density function belongs to a predetermined convex family $\mathcal{P}$. First, estimating differential entropy to any accuracy is shown to be infeasible if the differential entropy of densities in $\mathcal{P}$ is unbounded, clearly showing the necessity of additional assumptions. Subsequently, we investigate sufficient conditions that enable confidence bounds for the estimation of differential entropy. In particular, we provide confidence bounds for simple histogram based estimation of differential entropy from a fixed number of samples, assuming that the probability density function is Lipschitz continuous with known Lipschitz constant and known, bounded support. Our focus is on differential entropy, but we provide examples that show that similar results hold for mutual information and relative entropy as well.


title: Input Dropout for Spatially Aligned Modalities

abstract: Computer vision datasets containing multiple modalities such as color, depth, and thermal properties are now commonly accessible and useful for solving a wide array of challenging tasks. However, deploying multi-sensor heads is not possible in many scenarios. As such many practical solutions tend to be based on simpler sensors, mostly for cost, simplicity and robustness considerations. In this work, we propose a training methodology to take advantage of these additional modalities available in datasets, even if they are not available at test time. By assuming that the modalities have a strong spatial correlation, we propose Input Dropout, a simple technique that consists in stochastic hiding of one or many input modalities at training time, while using only the canonical (e.g. RGB) modalities at test time. We demonstrate that Input Dropout trivially combines with existing deep convolutional architectures, and improves their performance on a wide range of computer vision tasks such as dehazing, 6-DOF object tracking, pedestrian detection and object classification.


title: Equilibrium Statistical Mechanics of Barotropic Quasi-Geostrophic Equations

abstract: We consider equations describing a barotropic inviscid flow in a channel with topography effects and beta-plane approximation of Coriolis force, in which a large-scale mean flow interacts with smaller scales. Gibbsian measures associated to the first integrals energy and enstrophy are Gaussian measures supported by distributional spaces. We define a suitable weak formulation for barotropic equations, and prove existence of a stationary solution preserving Gibbsian measures, thus providing a rigorous infinite-dimensional framework for the equilibrium statistical mechanics of the model.


title: Idempotent solutions of the Yang-Baxter equation and twisted group division

abstract: Idempotent left nondegenerate solutions of the Yang-Baxter equation are in one-to-one correspondence with twisted Ward left quasigroups, which are left quasigroups satisfying the identity $(x*y)*(x*z)=(y*y)*(y*z)$. Using combinatorial properties of the Cayley kernel and the squaring mapping, we prove that a twisted Ward left quasigroup of prime order is either permutational or a quasigroup. Up to isomorphism, all twisted Ward quasigroups $(X,*)$ are obtained by twisting the left division operation in groups (that is, they are of the form $x*y=\psi(x^{-1}y)$ for a group $(X,\cdot)$ and its automorphism $\psi$), and they correspond to idempotent latin solutions. We solve the isomorphism problem for idempotent latin solutions.


title: Security Certification in Payment Card Industry: Testbeds, Measurements, and Recommendations

abstract: The massive payment card industry (PCI) involves various entities such as merchants, issuer banks, acquirer banks, and card brands. Ensuring security for all entities that process payment card information is a challenging task. The PCI Security Standards Council requires all entities to be compliant with the PCI Data Security Standard (DSS), which specifies a series of security requirements. However, little is known regarding how well PCI DSS is enforced in practice. In this paper, we take a measurement approach to systematically evaluate the PCI DSS certification process for e-commerce websites. We develop an e-commerce web application testbed, BuggyCart, which can flexibly add or remove 35 PCI DSS related vulnerabilities. Then we use the testbed to examine the capability and limitations of PCI scanners and the rigor of the certification process. We find that there is an alarming gap between the security standard and its real-world enforcement. None of the 6 PCI scanners we tested are fully compliant with the PCI scanning guidelines, issuing certificates to merchants that still have major vulnerabilities. To further examine the compliance status of real-world e-commerce websites, we build a new lightweight scanning tool named PciCheckerLite and scan 1,203 e-commerce websites across various business sectors. The results confirm that 86% of the websites have at least one PCI DSS violation that should have disqualified them as non-compliant. Our in-depth accuracy analysis also shows that PciCheckerLite's output is more precise than w3af. We reached out to the PCI Security Council to share our research results to improve the enforcement in practice.


title: Reduction of the spin susceptibility in the superconducting state of Sr2RuO4 observed by polarized neutron scattering

abstract: Recent observations [A.~Pustogow et al. Nature 574, 72 (2019)] of a drop of the $^{17}$O nuclear magnetic resonance (NMR) Knight shift in the superconducting state of Sr$_2$RuO$_4$ challenged the popular picture of a chiral odd-parity paired state in this compound. Here we use polarized neutron scattering to show that there is a $34 \pm 6$ % drop in the magnetic susceptibility at the ruthenium site below the superconducting transition temperature. Measurements are made at lower fields $H \sim \tfrac{1}{3} H_{c2}$ than a previous study allowing the suppression to be observed. Our results are consistent with the recent NMR observations and rule out the chiral odd-parity $\mathbf{d}=\hat{\mathbf{z}}(k_x\pm ik_y)$ state. The observed susceptibility is consistent with several recent proposals including even-parity $B_{1g}$ and odd-parity helical states.