title: $CP$ Properties of Higgs Boson Interactions with Top Quarks in the $t\bar{t}H$ and $tH$ Processes Using $H \rightarrow \gamma\gamma$ with the ATLAS Detector

abstract: A study of the $CP$ properties of the interaction between the Higgs boson and top quarks is presented. Higgs bosons are identified via the diphoton decay channel ($H \rightarrow \gamma\gamma$) and their production in association with a top quark pair ($t\bar{t}H$) or single top quark ($tH$) is studied. The analysis uses 139 fb$^{-1}$ of proton-proton collision data recorded at a center-of-mass energy of $\sqrt{s}$ = 13 TeV with the ATLAS detector at the Large Hadron Collider. Assuming a $CP$-even coupling, the $t\bar{t}H$ process is observed with a significance of 5.2 standard deviations. The measured cross section times $H \to \gamma \gamma$ branching ratio is $1.64\;^{+0.38}_{-0.36}\;\text{(stat.)}\;^{+0.17}_{-0.14}\;(\text{sys.})$ fb, and the measured rate for $t\bar{t}H$ is $1.43\;^{+0.33}_{-0.31}\;\text{(stat.)}\;^{+0.21}_{-0.15}\;(\text{sys.})$ times the Standard Model expectation. The $tH$ production process is not observed and an upper limit on its rate of 12 times the Standard Model expectation is set. A $CP$-mixing angle greater (less) than 43 (-43)$^\circ$ is excluded at 95% confidence level.


title: SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks

abstract: Recognizing precise geometrical configurations of groups of objects is a key capability of human spatial cognition, yet little studied in the deep learning literature so far. In particular, a fundamental problem is how a machine can learn and compare classes of geometric spatial configurations that are invariant to the point of view of an external observer. In this paper we make two key contributions. First, we propose SpatialSim (Spatial Similarity), a novel geometrical reasoning benchmark, and argue that progress on this benchmark would pave the way towards a general solution to address this challenge in the real world. This benchmark is composed of two tasks: Identification and Comparison, each one instantiated in increasing levels of difficulty. Secondly, we study how relational inductive biases exhibited by fully-connected message-passing Graph Neural Networks (MPGNNs) are useful to solve those tasks, and show their advantages over less relational baselines such as Deep Sets and unstructured models such as Multi-Layer Perceptrons. Finally, we highlight the current limits of GNNs in these tasks.


title: Experimental Search for Dark Matter in China

abstract: The nature of dark matter is one of the greatest mysteries in modern physics and astronomy. A wide variety of experiments have been carried out worldwide to search for the evidence of particle dark matter. Chinese physicists started experimental search for dark matter about ten years ago, and have produced results with high scientific impact. In this paper, we present an overview of the dark matter program in China, and discuss recent results and future directions.


title: Sequential View Synthesis with Transformer

abstract: This paper addresses the problem of novel view synthesis by means of neural rendering, where we are interested in predicting the novel view at an arbitrary camera pose based on a given set of input images from other viewpoints. Using the known query pose and input poses, we create an ordered set of observations that leads to the target view. Thus, the problem of single novel view synthesis is reformulated as a sequential view prediction task. In this paper, the proposed Transformer-based Generative Query Network (T-GQN) extends the neural-rendering methods by adding two new concepts. First, we use multi-view attention learning between context images to obtain multiple implicit scene representations. Second, we introduce a sequential rendering decoder to predict an image sequence, including the target view, based on the learned representations. Finally, we evaluate our model on various challenging datasets and demonstrate that our model not only gives consistent predictions but also doesn't require any retraining for finetuning.


title: The effect of curvature on the eigenexcitations of magnetic skyrmions

abstract: Spectrum of spin eigenmodes localized on a ferromagnetic skyrmion pinned by a geometrical defect (bump) of magnetic films is studied theoretically. By means of direct numerical solution of the corresponding eigenvalue problem and finite element micromagnetic simulations we demonstrate, that the curvature can induce localized modes with higher azimuthal and radial quantum numbers, which are absent for planar skyrmions (for the same parameters). The eigenfrequencies of all modes, except the breathing and gyromodes decreases with increasing curvature. Due to the translational symmetry break, the zero translational mode of the skyrmion gains a finite frequency and forms the gyromode, which describes the uniform rotation of skyrmions around the equilibrium position. In order to treat the gyromotion analytically we developed a Thiele-like collective variable approach. We show that N\'{e}el skyrmions in curvilinear films experience a driving force originating from the gradient of the mean curvature. The gyrofrequency of the pinned skyrmion is proportional to the second derivative of the mean curvature at the point of equilibrium.


title: Groups of type $FP$ via graphical small cancellation

abstract: We construct an uncountable family of groups of type $FP$. In contrast to every previous construction of non-finitely presented groups of type $FP$ we do not use Morse theory on cubical complexes; instead we use Gromov's graphical small cancellation theory.


title: Nucleons and higher spin baryon resonances: an AdS/QCD configurational entropic incursion

abstract: Families of $J^P=1/2+$ nucleons (N(939), N(1440), N(1710), N(1880), N(2100), N(2300)) and $J^P=3/2-$ nucleons (N(1520), N(1700), N(1875) and N(2120)) are scrutinized from the point of view of the configurational entropy (CE). The mass spectra of higher $J^P$ resonances in each one of these families are then obtained when configurational-entropic Regge trajectories, that relate the CE of nucleon families to both their $J^P$ spin and also to their experimental mass spectra, are interpolated. The mass spectra of the next generation of nucleon resonances are then compared to already established baryonic states in PDG. Besides the zero temperature case, the finite temperature analysis is also implemented.


title: Interactions in information spread: quantification and interpretation using stochastic block models

abstract: In most real-world applications, it is seldom the case that a given observable evolves independently of its environment. In social networks, users' behavior results from the people they interact with, news in their feed, or trending topics. In natural language, the meaning of phrases emerges from the combination of words. In general medicine, a diagnosis is established on the basis of the interaction of symptoms. Here, we propose a new model, the Interactive Mixed Membership Stochastic Block Model (IMMSBM), which investigates the role of interactions between entities (hashtags, words, memes, etc.) and quantifies their importance within the aforementioned corpora. We find that interactions play an important role in those corpora. In inference tasks, taking them into account leads to average relative changes with respect to non-interactive models of up to 150\% in the probability of an outcome. Furthermore, their role greatly improves the predictive power of the model. Our findings suggest that neglecting interactions when modeling real-world phenomena might lead to incorrect conclusions being drawn.

categories: cs.LG cond-mat.stat-mech physics.data-an stat.ML


title: On the optimality of the rock-salt structure among lattices with charge distributions

abstract: The goal of this work is to investigate the optimality of the $d$-dimensional rock-salt structure, i.e., the cubic lattice $V^{1/d}\mathbb{Z}^d$ of volume $V$ with an alternation of charges $\pm 1$ at lattice points, among periodic distribution of charges and lattice structures. We assume that the charges are interacting through two types of radially symmetric interaction potentials, according to their signs. We first restrict our study to the class of orthorhombic lattices. We prove that, for our energy model, the $d$-dimensional rock-salt structure is always a critical point among periodic structures of fixed density. This holds for a large class of potentials. We then investigate the minimization problem among orthorhombic lattices with an alternation of charges for inverse power laws and Gaussian interaction potentials. High density minimality results and low-density non-optimality results are derived for both types of potentials. Numerically, we investigate several particular cases in dimensions $2$, $3$ and $8$. The numerics support the conjecture that the rock-salt structure is the global optimum among all lattices and periodic charges, satisfying some natural constraints. For $d=2$, we observe a phase transition of the type 'triangular-rhombic-square-rectangular' for the minimizer's shape as the density decreases.


title: Tuning electronic and optical properties of bismuth monolayers by molecular adsorption

abstract: We perform first-principles calculations of electronic and dielectric properties of bismuthene functionalized with small ligands using first-principle calculations. We show that all functionalized structures have topological insulating (TI) behavior with a sizeable gap by calculating the Z$_2$ topological invariant. Furthermore the adsorption of all groups induce a quasi-planar structure to the initially pristine bismuthene structure. Finally we show that the dielectric properties show a large anisotropy with two main in plane absorption peaks.


title: Mirror Descent Algorithms for Minimizing Interacting Free Energy

abstract: This note considers the problem of minimizing interacting free energy. Motivated by the mirror descent algorithm, for a given interacting free energy, we propose a descent dynamics with a novel metric that takes into consideration the reference measure and the interacting term. This metric naturally suggests a monotone reparameterization of the probability measure. By discretizing the reparameterized descent dynamics with the explicit Euler method, we arrive at a new mirror-descent-type algorithm for minimizing interacting free energy. Numerical results are included to demonstrate the efficiency of the proposed algorithms.


title: Alternating Euler $T$-sums and Euler $\tilde S$-sums

abstract: In this paper, we study the alternating Euler $T$-sums and related sums by using the method of contour integration. We establish the explicit formulas for all linear and quadratic Euler $T$-sums and related sums. Some interesting new consequences and illustrative examples are considered.


title: Deep Reinforcement Learning for Fog Computing-based Vehicular System with Multi-operator Support

abstract: This paper studies the potential performance improvement that can be achieved by enabling multi-operator wireless connectivity for cloud/fog computing-connected vehicular systems. Mobile network operator (MNO) selection and switching problem is formulated by jointly considering switching cost, quality-of-service (QoS) variations between MNOs, and the different prices that can be charged by different MNOs as well as cloud and fog servers. A double deep Q network (DQN) based switching policy is proposed and proved to be able to minimize the long-term average cost of each vehicle with guaranteed latency and reliability performance. The performance of the proposed approach is evaluated using the dataset collected in a commercially available city-wide LTE network. Simulation results show that our proposed policy can significantly reduce the cost paid by each fog/cloud-connected vehicle with guaranteed latency services.


title: Sequentially guided MCMC proposals for synthetic likelihoods and correlated synthetic likelihoods

abstract: Synthetic likelihood (SL) is a strategy for parameter inference when the likelihood function is analytically or computationally intractable. In SL, the likelihood function of the data is replaced by a multivariate Gaussian density over summary statistics of the data. SL requires simulation of many replicate datasets at every parameter value considered by a sampling algorithm, such as Markov chain Monte Carlo (MCMC), making the method computationally-intensive. We propose two strategies to alleviate the computational burden. First, we introduce an algorithm producing a proposal distribution that is sequentially tuned and made conditional to data, thus it rapidly \textit{guides} the proposed parameters towards high posterior density regions. In our experiments, a small number of iterations of our algorithm is enough to rapidly locate high density regions, which we use to initialize one or several chains that make use of off-the-shelf adaptive MCMC methods. Our "guided" approach can also be potentially used with MCMC samplers for approximate Bayesian computation (ABC). Second, we exploit strategies borrowed from the correlated pseudo-marginal MCMC literature, to improve the chains mixing in a SL framework. Moreover, our methods enable inference for challenging case studies, when the posterior is multimodal and when the chain is initialised in low posterior probability regions of the parameter space, where standard samplers failed. To illustrate the advantages stemming from our framework we consider five benchmark examples, including estimation of parameters for a cosmological model and a stochastic model with highly non-Gaussian summary statistics.


title: Gridless Super-Resolution Sparse Recovery for Non-sidelooking STAP using Reweighted Atomic Norm Minimization

abstract: Sparse recovery Space-time Adaptive Processing (STAP) can reduce the requirements of clutter samples, and suppress clutter effectively using limited training samples for airborne radar. The whole angle-Doppler plane is discretized into small grid points uniformly in presently available sparse recovery STAP methods, however, the clutter ridge is not located exactly on the pre-discretized grid points in non-sidelooking STAP radar. The off-grid effect degrades the performance of STAP significantly. In this paper, a gridless sparse recovery STAP method is proposed based on reweighted atomic norm minimization, in which the clutter spectrum is precisely estimated in continuous angle-Doppler plane without resolution limit. Numerical results show that the proposed method provides an improved performance to the sparse recovery STAP methods with discretized dictionaries and STAP method utilizing atomic norm minimization.


title: Populations of Spiking Neurons for Reservoir Computing: Closed Loop Control of a Compliant Quadruped

abstract: Compliant robots can be more versatile than traditional robots, but their control is more complex. The dynamics of compliant bodies can however be turned into an advantage using the physical reservoir computing frame-work. By feeding sensor signals to the reservoir and extracting motor signals from the reservoir, closed loop robot control is possible. Here, we present a novel framework for implementing central pattern generators with spiking neural networks to obtain closed loop robot control. Using the FORCE learning paradigm, we train a reservoir of spiking neuron populations to act as a central pattern generator. We demonstrate the learning of predefined gait patterns, speed control and gait transition on a simulated model of a compliant quadrupedal robot.


title: On the general properties of non-linear optical conductivities

abstract: The optical conductivity is the basic defining property of materials characterizing the current response toward time-dependent electric fields. In this work, following the approach of Kubo's response theory, we study the general properties of the nonlinear optical conductivities of quantum many-body systems both in equilibrium and non-equilibrium. We obtain an expression of the second- and the third-order optical conductivity in terms of correlation functions and present a perturbative proof of the generalized Kohn formula proposed recently. We also discuss a generalization of the $f$-sum rule to a non-equilibrium setting by focusing on the instantaneous response.


title: Defect CFT in the 6d (2,0) theory from M2 brane dynamics in AdS$_7 \times$S$^4$

abstract: Surface operators in the 6d (2,0) theory at large $N$ have a holographic description in terms of M2 branes probing the AdS$_7 \times S^4$ M-theory background. The most symmetric, 1/2-BPS, operator is defined over a planar or spherical surface, and it preserves a 2d superconformal group. This includes, in particular, an $SO(2,2)$ subgroup of 2d conformal transformations, so that the surface operator may be viewed as a conformal defect in the 6d theory. The dual M2 brane has an AdS$_3$ induced geometry, reflecting the 2d conformal symmetry. Here we use the holographic description to extract the defect CFT data associated to the surface operator. The spectrum of transverse fluctuations of the M2 brane is found to be in one-to-one correspondence with a protected multiplet of operator insertions on the surface, which includes the displacement operator. We compute the one-loop determinants of fluctuations of the M2 brane, and extract the conformal anomaly coefficient of the spherical surface to order $N^0$. We also briefly discuss the RG flow from the non-supersymmetric to the 1/2-BPS defect operator, and its consistency with a "$b$-theorem" for the defect CFT. Starting with the M2 brane action, we then use AdS$_3$ Witten diagrams to compute the 4-point functions of the elementary bosonic insertions on the surface operator, and extract some of the defect CFT data from the OPE. The 4-point function is shown to satisfy superconformal Ward identities, and we discuss a related subsector of "twisted" scalar insertions, whose correlation functions are constrained by the residual superconformal symmetry.


title: Robust Dual Control based on Gain Scheduling

abstract: We present a novel strategy for robust dual control of linear time-invariant systems based on gain scheduling with performance guarantees. This work relies on prior results of determining uncertainty bounds of system parameters estimated through exploration. Existing approaches are unable to account for changes of the mean of system parameters in the exploration phase and thus to accurately capture the dual effect. We address this limitation by selecting the future (uncertain) mean as a scheduling variable in the control design. The result is a semi-definite program-based design that computes a suitable exploration strategy and a robust gain-scheduled controller with probabilistic quadratic performance bounds after the exploration phase.


title: Interpretability Analysis for Named Entity Recognition to Understand System Predictions and How They Can Improve

abstract: Named Entity Recognition systems achieve remarkable performance on domains such as English news. It is natural to ask: What are these models actually learning to achieve this? Are they merely memorizing the names themselves? Or are they capable of interpreting the text and inferring the correct entity type from the linguistic context? We examine these questions by contrasting the performance of several variants of LSTM-CRF architectures for named entity recognition, with some provided only representations of the context as features. We also perform similar experiments for BERT. We find that context representations do contribute to system performance, but that the main factor driving high performance is learning the name tokens themselves. We enlist human annotators to evaluate the feasibility of inferring entity types from the context alone and find that, while people are not able to infer the entity type either for the majority of the errors made by the context-only system, there is some room for improvement. A system should be able to recognize any name in a predictive context correctly and our experiments indicate that current systems may be further improved by such capability.


title: CovidSens: A Vision on Reliable Social Sensing for COVID-19

abstract: With the spiraling pandemic of the Coronavirus Disease 2019 (COVID-19), it has becoming inherently important to disseminate accurate and timely information about the disease. Due to the ubiquity of Internet connectivity and smart devices, social sensing is emerging as a dynamic AI-driven sensing paradigm to extract real-time observations from online users. In this paper, we propose CovidSens, a vision of social sensing based risk alert systems to spontaneously obtain and analyze social data to infer COVID-19 propagation. CovidSens can actively help to keep the general public informed about the COVID-19 spread and identify risk-prone areas. The CovidSens concept is motivated by three observations: 1) people actively share their experience of COVID-19 via online social media, 2) official warning channels and news agencies are relatively slower than people reporting on social media, and 3) online users are frequently equipped with powerful mobile devices that can perform data processing and analytics. We envision unprecedented opportunities to leverage posts generated by ordinary people to build real-time sensing and analytic system for gathering and circulating COVID-19 propagation data. Specifically, the vision of CovidSens attempts to answer the questions: How to distill reliable information on COVID-19 with prevailing rumors and misinformation? How to inform the general public about the state of the spread timely and effectively? How to leverage the computational power on edge devices to construct fully integrated edge-based social sensing platforms? In this vision paper, we discuss the roles of CovidSens and identify potential challenges in developing reliable social sensing based risk alert systems. We envision that approaches originating from multiple disciplines can be effective in addressing the challenges. Finally, we outline a few research directions for future work in CovidSens.


title: Controlling the microstructure and phase behavior of confined soft colloids by active interaction switching

abstract: We explore the microstructure and phase behavior of confined soft colloids which can actively switch their interactions at a predefined kinetic rate. For this, we employ a reaction-diffusion approach based on a reactive dynamical density-functional theory (R-DDFT) and study the effect of a binary (two-state) switching of the size of colloids interacting with a Gaussian pair potential. The rate of switching interpolates between a near-equilibrium binary Gaussian mixture at low rates and an effective monodisperse liquid for large rates, hence strongly affecting the one-body density profiles, adsorption, and pressure at confining walls. Importantly, we demonstrate that sufficiently fast switching impedes the phase separation of an (in equilibrium) unstable liquid, allowing the dynamic control of the degree of mixing/condensation and local micro-structuring in a cellular confinement by tuning the switching rate.


title: The pandemic of viruses with a long incubation phase in the small world

abstract: A model of the spread of viruses in selected city and in a network of cities is considered, taking into account the delay caused by the long incubation period of the virus. The effect of delay effects is shown in comparison with pandemics without such delay. A temporary asymmetry of the spread of infection has been identified, which means that the time for a pandemic to develop significantly exceeds the time for its completion. Model calculations of the spread of viruses in a network of interconnected large and small cities were carried out, and dynamics features were revealed in comparison with the spread of viruses in a single city, including the possibility of reinfection of megalopolis.


title: Fundamental effective temperature measurements for eclipsing binary stars I. Development of the method and application to AI Phoenicis

abstract: Stars with accurate and precise effective temperature (T$_{\rm eff}$) measurements are needed to test stellar atmosphere models and calibrate empirical methods to determine T$_{\rm eff}$. There are few standard stars currently available to calibrate temperature indicators for dwarf stars. Gaia parallaxes now make it possible, in principle, to measure T$_{\rm eff}$ for many dwarf stars in eclipsing binaries. We aim to develop a method that uses high-precision measurements of detached eclipsing binary stars, Gaia parallaxes and multi-wavelength photometry to obtain accurate and precise fundamental effective temperatures that can be used to establish a set of benchmark stars. We select the well-studied binary AI Phoenicis to test our method, since it has very precise absolute parameters and extensive archival photometry. The method uses the stellar radii and parallax for stars in eclipsing binaries. We use a Bayesian approach to obtain the integrated bolometric fluxes for the two stars from observed magnitudes, colours and flux ratios. The fundamental effective temperature of two stars in AI Phoenicis are $6199\pm22$ K for the F7V component and $5094\pm16$ K for the K0IV component. The zero-point error in the flux scale leads to a systematic error of only 0.2% ($\approx$ 11K) in T$_{\rm eff}$. We find that these results are robust against the details of the analysis, such as the choice of model spectra. Our method can be applied to eclipsing binary stars with radius, parallax and photometric measurements across a range of wavelengths. Stars with fundamental effective temperatures determined with this method can be used as benchmarks in future surveys.


title: COVID-19: A Survey on Public Medical Imaging Data Resources

abstract: This regularly updated survey provides an overview of public resources that offer medical images and metadata of COVID-19 cases. The purpose of this survey is to simplify the access to open COVID-19 image data resources for all scientists currently working on the coronavirus crisis.


title: Diamagnetic-like response from localised heating of a paramagnetic material

abstract: In the search of material properties out-of-equilibrium, the non-equilibrium steady states induced by electric current are an appealing research direction where unconventional states may emerge. However, the unavoidable Joule heating caused by flowing current calls for the development of new measurement protocols, with a particular attention to the physical properties of the background materials involved. Here, we demonstrate that localised heating can give rise to a large, spurious diamagnetic-like signal. This occurs due to the local reduction of the background magnetisation caused by the heated sample, provided that the background material has a Curie-like susceptibility. Our experimental results, along with numerical calculations, constitute an important building block for performing accurate magnetic measurements under the flow of electric current.


title: Learning Bayesian Networks that enable full propagation of evidence

abstract: This paper builds on recent developments in Bayesian network (BN) structure learning under the controversial assumption that the input variables are dependent. This assumption can be viewed as a learning constraint geared towards cases where the input variables are known or assumed to be dependent. It addresses the problem of learning multiple disjoint subgraphs that do not enable full propagation of evidence. This problem is highly prevalent in cases where the sample size of the input data is low with respect to the dimensionality of the model, which is often the case when working with real data. The paper presents a novel hybrid structure learning algorithm, called SaiyanH, that addresses this issue. The results show that this constraint helps the algorithm to estimate the number of true edges with higher accuracy compared to the state-of-the-art. Out of the 13 algorithms investigated, the results rank SaiyanH 4th in reconstructing the true DAG, with accuracy scores lower by 8.1% (F1), 10.2% (BSF), and 19.5% (SHD) compared to the top ranked algorithm, and higher by 75.5% (F1), 118% (BSF), and 4.3% (SHD) compared to the bottom ranked algorithm. Overall, the results suggest that the proposed algorithm discovers satisfactorily accurate connected DAGs in cases where other algorithms produce multiple disjoint subgraphs that often underfit the true graph.


title: ARCH: Animatable Reconstruction of Clothed Humans

abstract: In this paper, we propose ARCH (Animatable Reconstruction of Clothed Humans), a novel end-to-end framework for accurate reconstruction of animation-ready 3D clothed humans from a monocular image. Existing approaches to digitize 3D humans struggle to handle pose variations and recover details. Also, they do not produce models that are animation ready. In contrast, ARCH is a learned pose-aware model that produces detailed 3D rigged full-body human avatars from a single unconstrained RGB image. A Semantic Space and a Semantic Deformation Field are created using a parametric 3D body estimator. They allow the transformation of 2D/3D clothed humans into a canonical space, reducing ambiguities in geometry caused by pose variations and occlusions in training data. Detailed surface geometry and appearance are learned using an implicit function representation with spatial local features. Furthermore, we propose additional per-pixel supervision on the 3D reconstruction using opacity-aware differentiable rendering. Our experiments indicate that ARCH increases the fidelity of the reconstructed humans. We obtain more than 50% lower reconstruction errors for standard metrics compared to state-of-the-art methods on public datasets. We also show numerous qualitative examples of animated, high-quality reconstructed avatars unseen in the literature so far.


title: Backprojection for Training Feedforward Neural Networks in the Input and Feature Spaces

abstract: After the tremendous development of neural networks trained by backpropagation, it is a good time to develop other algorithms for training neural networks to gain more insights into networks. In this paper, we propose a new algorithm for training feedforward neural networks which is fairly faster than backpropagation. This method is based on projection and reconstruction where, at every layer, the projected data and reconstructed labels are forced to be similar and the weights are tuned accordingly layer by layer. The proposed algorithm can be used for both input and feature spaces, named as backprojection and kernel backprojection, respectively. This algorithm gives an insight to networks with a projection-based perspective. The experiments on synthetic datasets show the effectiveness of the proposed method.


title: Model-based actor-critic: GAN (model generator) + DRL (actor-critic) => AGI

abstract: Our effort is toward unifying GAN and DRL algorithms into a unifying AI model (AGI or general-purpose AI or artificial general intelligence which has general-purpose applications to: (A) offline learning (of stored data) like GAN in (un/semi-/fully-)SL setting such as big data analytics (mining) and visualization; (B) online learning (of real or simulated devices) like DRL in RL setting (with/out environment reward) such as (real or simulated) robotics and control; Our core proposal is adding an (generative/predictive) environment model to the actor-critic (model-free) architecture which results in a model-based actor-critic architecture with temporal-differencing (TD) error and an episodic memory. The proposed AI model is similar to (model-free) DDPG and therefore it's called model-based DDPG. To evaluate it, we compare it with (model-free) DDPG by applying them both to a variety (wide range) of independent simulated robotic and control task environments in OpenAI Gym and Unity Agents. Our initial limited experiments show that DRL and GAN in model-based actor-critic results in an incremental goal-driven intellignce required to solve each task with similar performance to (model-free) DDPG. Our future focus is to investigate the proposed AI model potential to: (A) unify DRL field inside AI by producing competitive performance compared to the best of model-based (PlaNet) and model-free (D4PG) approaches; (B) bridge the gap between AI and robotics communities by solving the important problem of reward engineering with learning the reward function by demonstration.


title: Shears for quasisymmetric maps

abstract: We give an elementary proof of a theorem that characterizes quasisymmetric maps of the unit circle in terms of shear coordinates on the Farey tesselation. The proof only uses the normal family argument for quasisymmetric maps and some elementary hyperbolic geometry.


title: Nonadiabatic energy fluctuations of scale-invariant quantum systems in a time-dependent trap

abstract: We consider the nonadiabatic energy fluctuations of a many-body system in a time-dependent harmonic trap. In the presence of scale-invariance, the dynamics becomes self-similar and the nondiabatic energy fluctuations can be found in terms of the initial expectation values of the second moments of the Hamiltonian, square position, and squeezing operators. Nonadiabatic features are expressed in terms of the scaling factor governing the size of the atomic cloud, which can be extracted from time-of-flight images. We apply this exact relation to a number of examples: the single-particle harmonic oscillator, the one-dimensional Calogero-Sutherland model, describing bosons with inverse-square interactions that includes the non-interacting Bose gas and the Tonks-Girdardeau gas as limiting cases, and the unitary Fermi gas. We illustrate these results for various expansion protocols involving sudden quenches of the trap frequency, linear ramps and shortcuts to adiabaticity. Our results pave the way to the experimental study of nonadiabatic energy fluctuations in driven quantum fluids.


title: On a Central Transform of Integer Sequences

abstract: We use the concept of the half of a lower-triangular matrix to define a transformation on integer sequences. We explore the properties of this transformation, including in some cases a study of the Hankel transform of the transformed sequences. Starting from simple sequences with elementary rational generating functions, we obtain many sequences of combinatorial significance. We make extensive use of techniques drawn from the theory of Riordan arrays.


title: Anomalous Hall effect in $\kappa$-type organic antiferromagnets

abstract: We theoretically propose a mechanism for the anomalous Hall effect (AHE) in an antiferrromagnetic (AFM) state of $\kappa$-type organic conductors. We incorporate the spin-orbit coupling in the effective Hubbard model on the $\kappa$-type lattice structure taking into account the orientation of the molecules and their arrangement with dimerization. Treating this model by means of the Hartree-Fock approximation and the linear response theory, we find that an intrinsic contribution to the Hall conductivity becomes nonzero in the electron-doped AFM metallic phase with a small canted ferromagnetic moment. We show that, contrary to the conventional wisdom, the spin canting is irrelevant to the Hall response; the nonzero Hall conductivity originates from the collinear component of the AFM order in the presence of the spin-orbit coupling. These features are well explained analytically in the limit of strong dimerization on the anisotropic triangular lattice. Furthermore, we present an intuitive picture for the present AHE by considering the real-space configuration of emergent magnetic fluxes. We also find that the Hall response appears even in the undoped AFM insulating phase at nonzero frequency as the magneto-optical Kerr effect, which is enhanced around the charge transfer excitations. We discuss possible detections of the AHE in ET based compounds.


title: Blow-up phenomena in nonlocal eigenvalue problems: when theories of $L^1$ and $L^2$ meet

abstract: We develop a linear theory of very weak solutions for nonlocal eigenvalue problems $\mathcal L u = \lambda u + f$ involving integro-differential operators posed in bounded domains with homogeneous Dirichlet exterior condition, with and without singular boundary data. We consider mild hypotheses on the Green's function and the standard eigenbasis of the operator. The main examples in mind are the fractional Laplacian operators. Without singular boundary datum and when $\lambda$ is not an eigenvalue of the operator, we construct an $L^2$-projected theory of solutions, which we extend to the optimal space of data for the operator $\mathcal L$. We present a Fredholm alternative as $\lambda$ tends to the eigenspace and characterise the possible blow-up limit. The main new ingredient is the transfer of orthogonality to the test function. We then extend the results to singular boundary data and study the so-called large solutions, which blow up at the boundary. For that problem we show that, for any regular value $\lambda$, there exist "large eigenfunctions" that are singular on the boundary and regular inside. We are also able to present a Fredholm alternative in this setting, as $\lambda$ approaches the values of the spectrum. We also obtain a maximum principle for weighted $L^1$ solutions when the operator is $L^2$-positive. It yields a global blow-up phenomenon as the first eigenvalue is approached from below. Finally, we recover the classical Dirichlet problem as the fractional exponent approaches one under mild assumptions on the Green's functions. Thus "large eigenfunctions" represent a purely nonlocal phenomenon.


title: Reciprocity-gap misfit functional for Distributed Acoustic Sensing, combining data from passive and active sources

abstract: Quantitative imaging of sub-surface Earth's properties in elastic media is performed from Distributed Acoustic Sensing data. A new misfit functional based upon the reciprocity-gap is designed, taking cross-correlations of displacement and strain, and these products further associate an observation with a simulation. In comparison with other misfit functionals, this one has the advantage to only require little a-priori information on the exciting sources. In particular, the misfit criterion enables the use of data from regional earthquakes (teleseismic events can be included as well), followed by exploration data to perform a multi-resolution reconstruction. The data from regional earthquakes contain the low-frequency content which is missing in the exploration ones, allowing for the recovery of the long spatial wavelength, even with very few sources. These data are used to build prior models for the subsequent reconstruction from the higher-frequency exploration data. This gives the elastic Full Reciprocity-gap Waveform Inversion method, and we demonstrate its performance with a pilot experiment for elastic isotropic reconstruction.


title: Self-supervised Equivariant Attention Mechanism for Weakly Supervised Semantic Segmentation

abstract: Image-level weakly supervised semantic segmentation is a challenging problem that has been deeply studied in recent years. Most of advanced solutions exploit class activation map (CAM). However, CAMs can hardly serve as the object mask due to the gap between full and weak supervisions. In this paper, we propose a self-supervised equivariant attention mechanism (SEAM) to discover additional supervision and narrow the gap. Our method is based on the observation that equivariance is an implicit constraint in fully supervised semantic segmentation, whose pixel-level labels take the same spatial transformation as the input images during data augmentation. However, this constraint is lost on the CAMs trained by image-level supervision. Therefore, we propose consistency regularization on predicted CAMs from various transformed images to provide self-supervision for network learning. Moreover, we propose a pixel correlation module (PCM), which exploits context appearance information and refines the prediction of current pixel by its similar neighbors, leading to further improvement on CAMs consistency. Extensive experiments on PASCAL VOC 2012 dataset demonstrate our method outperforms state-of-the-art methods using the same level of supervision. The code is released online.


title: DeepCOVIDExplainer: Explainable COVID-19 Diagnosis Based on Chest X-ray Images

abstract: Amid the coronavirus disease(COVID-19) pandemic, humanity experiences a rapid increase in infection numbers across the world. Challenge hospitals are faced with, in the fight against the virus, is the effective screening of incoming patients. One methodology is the assessment of chest radiography(CXR) images, which usually requires expert radiologist's knowledge. In this paper, we propose an explainable deep neural networks(DNN)-based method for automatic detection of COVID-19 symptoms from CXR images, which we call DeepCOVIDExplainer. We used 15,959 CXR images of 15,854 patients, covering normal, pneumonia, and COVID-19 cases. CXR images are first comprehensively preprocessed, before being augmented and classified with a neural ensemble method, followed by highlighting class-discriminating regions using gradient-guided class activation maps(Grad-CAM++) and layer-wise relevance propagation(LRP). Further, we provide human-interpretable explanations of the predictions. Evaluation results based on hold-out data show that our approach can identify COVID-19 confidently with a positive predictive value(PPV) of 91.6%, 92.45%, and 96.12%; precision, recall, and F1 score of 94.6%, 94.3%, and 94.6%, respectively for normal, pneumonia, and COVID-19 cases, respectively, making it comparable or improved results over recent approaches. We hope that our findings will be a useful contribution to the fight against COVID-19 and, in more general, towards an increasing acceptance and adoption of AI-assisted applications in the clinical practice.


title: Comparison of different exit scenarios from the lock-down for COVID-19 epidemic in the UK and assessing uncertainty of the predictions

abstract: We model further development of the COVID-19 epidemic in the UK given the current data and assuming different scenarios of handling the epidemic. In this research, we further extend the stochastic model suggested in \cite{us} and incorporate in it all available to us knowledge about parameters characterising the behaviour of the virus and the illness induced by it. The models we use are flexible, comprehensive, fast to run and allow us to incorporate the following: -time-dependent strategies of handling the epidemic; -spatial heterogeneity of the population and heterogeneity of development of epidemic in different areas; -special characteristics of particular groups of people, especially people with specific medical pre-histories and elderly. Standard epidemiological models such as SIR and many of its modifications are not flexible enough and hence are not precise enough in the studies that requires the use of the features above. Decision-makers get serious benefits from using better and more flexible models as they can avoid of nuanced lock-downs, better plan the exit strategy based on local population data, different stages of the epidemic in different areas, making specific recommendations to specific groups of people; all this resulting in a lesser impact on economy, improved forecasts of regional demand upon NHS allowing for intelligent resource allocation.


title: Deterministically fabricated quantum dot single-photon source emitting indistinguishable photons in the telecom O-band

abstract: In this work we develop and study single-photon sources based on InGaAs quantum dots (QDs) emitting in the telecom O-band. The quantum devices are fabricated using in-situ electron beam lithography in combination with the thermocompression bonding to realize a backside gold mirror. Our structures are based on InGaAs/GaAs heterostructures, where the QD emission is redshifted towards the telecom O-band at 1.3 {\mu}m via a strain reducing layer. QDs pre-selected by cathodoluminescence mapping are embedded into mesa structures with a back-side gold mirror for enhanced photon-extraction efficiency. Photon-autocorrelation measurements under pulsed non-resonant wetting-layer excitation are performed at temperatures up to 40 K showing pure single-photon emission which makes the devices compatible with stand-alone operation using Stirling cryocoolers. Using pulsed p-shell excitation we realize single-photon emission with high multi-photon suppression of g(2)(0) = 0.027 +- 0.005, post-selected two-photon interference of about (96 +- 10) % and an associated coherence time of (212 +- 25) ps. Moreover, the structures show an extraction efficiency of ~5 %, which compares well with values expected from numeric simulations of this photonic structure. Further improvements on our devices will enable implementations of quantum communication via optical fibers.


title: From quantum curves to topological string partition functions II

abstract: We propose a geometric characterisation of the topological string partition functions associated to the local Calabi-Yau (CY) manifolds used in the geometric engineering of $d=4$, $\mathcal{N}=2$ supersymmetric field theories of class $\mathcal{S}$. A quantisation of these CY manifolds defines differential operators called quantum curves. The partition functions are extracted from the isomonodromic tau-functions associated to the quantum curves by expansions of generalised theta series type. It turns out that the partition functions are in one-to-one correspondence with preferred coordinates on the moduli spaces of quantum curves defined using the Exact WKB method. The coordinates defined in this way jump across certain loci in the moduli space. The changes of normalisation of the tau-functions associated to these jumps define a natural line bundle playing a key role in the geometric characterisation of the topological string partition functions proposed here.


title: Storing Set Families More Compactly with Top ZDDs

abstract: Zero-suppressed Binary Decision Diagrams (ZDDs) are data structures for representing set families in a compressed form. With ZDDs, many valuable operations on set families can be done in time polynomial in ZDD size. In some cases, however, the size of ZDDs for representing large set families becomes too huge to store them in the main memory. This paper proposes top ZDD, a novel representation of ZDDs which uses less space than existing ones. The top ZDD is an extension of top tree, which compresses trees, to compress directed acyclic graphs by sharing identical subgraphs. We prove that navigational operations on ZDDs can be done in time poly-logarithmicin ZDD size, and show that there exist set families for which the size of the top ZDD is exponentially smaller than that of the ZDD. We also show experimentally that our top ZDDs have smaller size than ZDDs for real data.


title: Radar evidence of subglacial liquid water on Mars

abstract: The presence of liquid water at the base of the Martian polar caps has long been suspected but not observed. We surveyed the Planum Australe region using the Mars Advanced Radar for Subsurface and Ionosphere Sounding, a low-frequency radar on the Mars Express spacecraft. Radar profiles collected between May 2012 and December 2015, contain evidence of liquid water trapped below the ice of the South Polar Layered Deposits. Anomalously bright subsurface reflections were found within a well-defined, 20km wide zone centered at 193{\deg}E, 81{\deg}S, surrounded by much less reflective areas. Quantitative analysis of the radar signals shows that this bright feature has high dielectric permittivity >15, matching water-bearing materials. We interpret this feature as a stable body of liquid water on Mars.


title: Finite Element Approximation of the Modified Maxwell's Stekloff Eigenvalues

abstract: The modified Maxwell's Stekloff eigenvalue problem arises recently from the inverse electromagnetic scattering theory for inhomogeneous media. This paper contains a rigorous analysis of both the eigenvalue problem and the associated source problem on Lipschitz polyhedra. A new finite element method is proposed to compute Stekloff eigenvalues. By applying the Babuska-Osborn theory, we prove an error estimate without additional regularity assumptions. Numerical results are presented for validation.


title: Low Mach and low Froude number limit for vacuum free boundary problem of all-time classical solutions of 1-D compressible Navier-Stokes equations

abstract: In this paper, we study the low Mach and Froude number limit for the all-time classical solution of a fluid-vacuum free boundary problem of one-dimensional compressible Navier-Stokes equations. No smallness of initial data for the existence of all-time solutions are supposed. The uniform estimates of solutions with respect to the Mach number and the Froude number are established for all the time, in particular for high order derivatives of the pressure, which is a novelty in contrast to previous results. The cases of "ill-prepared" initial data and "well-prepared" initial data are both discussed. It is interesting to see, either both the Mach number and the Froude number vanish, or the time goes to infinity, the limiting functions are the same, that is, the steady state. The main difficulty is that, the system is degenerate near the free boundary and contains singular terms. This result can be viewed as the first one on the low Mach and Froude numbers limit for free boundary problems. At the same time, we also establish the all-time existence of the classical solution with sharp convergent rates to the steady state, while previous results are only concerned with the weak or strong solutions.


title: Dust Settling Instability in Protoplanetary Discs

abstract: The streaming instability (SI) has been extensively studied in the linear and non-linear regimes as a mechanism to concentrate solids and trigger planetesimal formation in the midplane of protoplanetary discs. A related dust settling instability (DSI) applies to particles while settling towards the midplane. The DSI has previously been studied in the linear regime, with predictions that it could trigger particle clumping away from the midplane. This work presents a range of linear calculations and non-linear simulations, performed with FARGO3D, to assess conditions for DSI growth. We expand on previous linear analyses by including particle size distributions and performing a detailed study of the amount of background turbulence needed to stabilize the DSI. When including binned size distributions, the DSI often produces converged growth rates with fewer bins than the standard SI. With background turbulence, we find that the most favorable conditions for DSI growth are weak turbulence, characterized by $\alpha \lesssim 10^{-6}$ with intermediate-sized grains that settle from one gas scale-height. These conditions could arise during a sudden decrease in disc turbulence following an accretion outburst. Ignoring background turbulence, we performed a parameter survey of local 2D DSI simulations. Particle clumping was either weak or occurred slower than particles settle. Clumping was reduced by a factor of two in a comparison 3D simulation. Overall, our results strongly disfavor the hypothesis that the DSI significantly promotes planetesimal formation. Non-linear simulations of the DSI with different numerical methods could support or challenge these findings.


title: Information Seeking Responses to News of Local COVID-19 Cases: Evidence from Internet Search Data

abstract: The novel coronavirus (COVID-19) outbreak is a global pandemic with community circulation in many countries, including the U.S. where every state is reporting confirmed cases. The course of this pandemic will be largely shaped by how governments enact timely policies, disseminate the information, and most importantly, how the public reacts to them. Here, we examine informationseeking responses to the first COVID-19 case public announcement in a state. By using an eventstudy framework, we show that such news increases collective attention to the crisis right away, but the elevated level of attention is short-lived, even though the initial announcements were followed by increasingly strong measures. We find that people respond to the first report of COVID-19 in their state by immediately seeking information about COVID-19, as measured by searches for coronavirus, coronavirus symptoms and hand sanitizer. On the other hand, searches for information regarding community level policies (e.g., quarantine, school closures, testing), or personal health strategies (e.g., masks, grocery delivery, over-the-counter medications) do not appear to be immediately triggered by first reports. These results are encouraging given our study period is relatively early in the epidemic and more elaborate policy responses were not yet part of the public discourse. Further analysis will track evolving patterns of responses to subsequent flows of public information.


title: Robust ferroelectric properties of organic Croconic Acid films grown on spintronically relevant substrates

abstract: The discovery of stable room temperature ferroelectricity in Croconic Acid, an organic ferroelectric material, with polarization values on par with those found in inorganic ferroelectric materials and highest among organic ferroelectric materials, has opened up possibilities to realize myriads of nano-electronic and spintronic devices based on organic ferroelectrics. Such possibilities require an adequate understanding of the ferroelectric properties of Croconic Acid grown on surfaces that are commonly employed in device fabrication. While several macroscopic studies on relatively larger crystals of Croconic Acid have been performed, studies on thin films are only in their early stages. We have grown thin films of Croconic Acid on gold and cobalt surfaces, which are commonly used in spintronic devices as metallic electrodes, and studied the ferroelectric response of the films using ex-situ Piezoresponse Force Microscopy at room temperature. We show that the polarization reversal in Croconic Acid domains is sensitive to the substrate surface. Using the same experimental protocol, we observe the robust polarization reversal of a single, mostly in-plane electrical domain for a cobalt substrate, whereas polarization reversal is hardly observed for a gold substrate. We attribute this difference to the influence of substrates on the Croconic Acid molecular networks. Our study suggests that to realize devices one has to take care about the substrate on which Croconic Acid will be deposited. The fact that polarization switching is robust on cobalt surface can be used to fabricate multifunctional devices that utilize the cobalt-Croconic Acid interface.


title: The Importance of Good Starting Solutions in the Minimum Sum of Squares Clustering Problem

abstract: The clustering problem has many applications in Machine Learning, Operations Research, and Statistics. We propose three algorithms to create starting solutions for improvement algorithms for this problem. We test the algorithms on 72 instances that were investigated in the literature. Forty eight of them are relatively easy to solve and we found the best known solution many times for all of them. Twenty four medium and large size instances are more challenging. We found five new best known solutions and matched the best known solution for 18 of the remaining 19 instances.


title: Erd\H{o}s-Hajnal-type results for ordered paths

abstract: An ordered graph is a graph with a linear ordering on its vertex set. We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that any ordered graph $G$ on $n$ vertices with the property that neither $G$ nor its complement contains an induced monotone path of size $k$, has either a clique or an independent set of size at least $n^{c_k}$. This strengthens a result of Bousquet, Lagoutte, and Thomass\'e, who proved the analogous result for unordered graphs. A key idea of the above paper was to show that any unordered graph on $n$ vertices that does not contain an induced path of size $k$, and whose maximum degree is at most $c(k)n$ for some small $c(k)>0$, contains two disjoint linear size subsets with no edge between them. This approach fails for ordered graphs, because the analogous statement is false for $k\geq 3$, by a construction of Fox. We provide further examples how this statement fails for ordered graphs avoiding other ordered trees as well.


title: Robust Beamforming Design for Intelligent Reflecting Surface Aided Cognitive Radio Systems with Imperfect Cascaded CSI

abstract: In this paper, intelligent reflecting surface (IRS) is introduced to enhance the network performance of cognitive radio (CR) systems. Specifically, we investigate robust beamforming design based on both bounded channel state information (CSI) error model and statistical CSI error model for primary user (PU)-related channels in IRS-aided CR systems. We jointly optimize the transmit precoding (TPC) at the secondary user (SU) transmitter (ST) and phase shifts at the IRS to minimize the ST' s total transmit power subject to the quality of service of SUs, the limited interference imposed on the PU and unit-modulus of the reflective beamforming. The successive convex approximation (SCA) method, Schur's complement, General sign-definiteness principle, inverse Chi-square distribution and penalty convex-concave procedure are invoked for dealing with these intricate constraints. The non-convex optimization problems are transformed into several convex subproblems and efficient algorithms are proposed. Simulation results verify the efficiency of the proposed algorithms and reveal the impacts of CSI uncertainties on ST's minimum transmit power and feasibility rate of the optimization problems. Simulation results also show that the number of transmit antennas at the ST and the number of phase shifts at the IRS should be carefully chosen to balance the channel realization feasibility rate and the total transmit power.


title: Global Public Health Surveillance using Media Reports: Redesigning GPHIN

abstract: Global public health surveillance relies on reporting structures and transmission of trustworthy health reports. But in practice, these processes may not always be fast enough, or are hindered by procedural, technical, or political barriers. GPHIN, the Global Public Health Intelligence Network, was designed in the late 1990s to scour mainstream news for health events, as that travels faster and more freely. This paper outlines the next generation of GPHIN, which went live in 2017, and reports on design decisions underpinning its new functions and innovations.


title: Challenges in Forecasting Malicious Events from Incomplete Data

abstract: The ability to accurately predict cyber-attacks would enable organizations to mitigate their growing threat and avert the financial losses and disruptions they cause. But how predictable are cyber-attacks? Researchers have attempted to combine external data -- ranging from vulnerability disclosures to discussions on Twitter and the darkweb -- with machine learning algorithms to learn indicators of impending cyber-attacks. However, successful cyber-attacks represent a tiny fraction of all attempted attacks: the vast majority are stopped, or filtered by the security appliances deployed at the target. As we show in this paper, the process of filtering reduces the predictability of cyber-attacks. The small number of attacks that do penetrate the target's defenses follow a different generative process compared to the whole data which is much harder to learn for predictive models. This could be caused by the fact that the resulting time series also depends on the filtering process in addition to all the different factors that the original time series depended on. We empirically quantify the loss of predictability due to filtering using real-world data from two organizations. Our work identifies the limits to forecasting cyber-attacks from highly filtered data.


title: Violent music vs violence and music: Drill rap and violent crime in London

abstract: The current policy of removing drill music videos from social media platforms such as YouTube remains controversial because it risks conflating the co-occurrence of drill rap and violence with a causal chain of the two. Empirically, we revisit the question of whether there is evidence to support the conjecture that drill music and gang violence are linked. We provide new empirical insights suggesting that: i) drill music lyrics have not become more negative over time if anything they have become more positive; ii) individual drill artists have similar sentiment trajectories to other artists in the drill genre, and iii) there is no meaningful relationship between drill music and real-life violence when compared to three kinds of police-recorded violent crime data in London. We suggest ideas for new work that can help build a much-needed evidence base around the problem.


title: Combinatorial Hopf algebras from representations of families of wreath products

abstract: We construct Hopf algebras whose elements are representations of combinatorial automorphism groups, by generalising a theorem of Zelevinsky on Hopf algebras of representations of wreath products. As an application we attach symmetric functions to representations of graph automorphism groups, generalising and refining Stanley's chromatic symmetric function.


title: No Radio Bursts Detected from FIRST J141918.9+394036 in Green Bank Telescope Observations

abstract: FRB 121102, the first-known repeating fast radio burst (FRB) source, is associated with a dwarf host galaxy and compact, persistent radio source. In an effort to find other repeating FRBs, FIRST J141918.9+394036 (hereafter FIRST J1419+3940) was identified in a search for similar persistent radio sources in dwarf host galaxies. FIRST J1419+3940 was subsequently identified as a radio transient decaying on timescales of decades, and it has been argued that it is the orphan afterglow of a long gamma-ray burst. FIRST J1419+3940 and FRB 121102's persistent radio source show observational similarities, though the latter appears to be stable in brightness. Nonetheless, if they have similar physical origins, then FIRST J1419+3940 may also contain a source capable of producing fast radio bursts. We report the non-detection of short-duration radio bursts from FIRST J1419+3940 during 3.1 h of observations with the 110-m Green Bank Telescope at both 2 and 6 GHz. FIRST J1419+3940 is 11 times closer compared with FRB 121102, and exhibits an optically-thin synchrotron spectrum above 1.4GHz; our search was thus sensitive to bursts more than 100 times weaker than those seen from FRB 121102. We encourage future burst searches to constrain the possible presence of an FRB-emitting source. Although such searches are high-risk, any such detection could greatly elucidate the origins of the FRB phenomenon.


title: Parkes transient events: I. Database of single pulses, initial results and missing FRBs

abstract: A large number of observations from the Parkes 64\,m-diameter radio telescope, recorded with high time resolution, are publicly available. We have re-processed all of the observations obtained during the first four years (from 1997 to 2001) of the Parkes Multibeam receiver system in order to identify transient events and have built a database that records the 568,736,756 pulse candidates generated during this search. We have discovered a new fast radio burst (FRB), FRB~010305, with a dispersion measure of 350$\pm$5\,\,cm$^{-3}\,$pc and explored why so few FRBs have been discovered in data prior to 2001. After accounting for the dispersion smearing across the channel bandwidth and the sky regions surveyed, the number of FRBs is found to be consistent with model predictions. We also present five single pulse candidates from unknown sources, but with Galactic dispersion measures. We extract a diverse range of sources from the database, which can be used, for example, as a training set of data for new software being developed to search for FRBs in the presence of radio frequency interference.


title: Modeling Epidemic Spreading through Public Transit using Time-Varying Encounter Network

abstract: Passenger contact in public transit (PT) networks can be a key mediate in the spreading of infectious diseases. This paper proposes a time-varying weighted PT encounter network to model the spreading of infectious diseases through the PT systems. Social activity contacts at both local and global levels are also considered. We select the epidemiological characteristics of coronavirus disease 2019 (COVID-19) as a case study along with smart card data from Singapore to illustrate the model at the metropolitan level. A scalable and lightweight theoretical framework is derived to capture the time-varying and heterogeneous network structures, which enables to solve the problem at the whole population level with low computational costs. Different control policies from both the public health side and the transportation side are evaluated. We find that people's preventative behavior is one of the most effective measures to control the spreading of epidemics. From the transportation side, partial closure of bus routes helps to slow down but cannot fully contain the spreading of epidemics. Identifying "influential passengers" using the smart card data and isolating them at an early stage can also effectively reduce the epidemic spreading.


title: Adaptive optics with reflected light and deep neural networks

abstract: Light scattering and aberrations limit optical microscopy in biological tissue, which motivates the development of adaptive optics techniques. Here, we develop a method for adaptive optics with reflected light and deep neural networks compatible with an epi-detection configuration. Large datasets of sample aberrations which consist of excitation and detection path aberrations as well as the corresponding reflected focus images are generated. These datasets are used for training deep neural networks. After training, these networks can disentangle and independently correct excitation and detection aberrations based on reflected light images recorded from scattering samples. A similar deep learning approach is also demonstrated with scattering guide stars. The predicted aberration corrections are validated using two photon imaging.


title: Efficiency of Covid-19 Mobile Contact Tracing Containment by Measuring Time Dependent Doubling Time

abstract: The Covid-19 epidemic of the novel coronavirus (severe acute respiratory syndrome SARS - CoV-2) has been spreading around the world. While different containment policies using non-pharmaceutical interventions have been applied, their efficiency are not known quantitatively. We show that the doubling time Td(t) with the success s factor, the characteristic time of the exponential growth of Td(t) in the arrested regime, is a reliable tool for early predictions of epidemic spread time evolution and it provides a quantitative measure of the success of different containment measures. The efficiency of the containment policy Lockdown case Finding mobile Tracing (LFT) using mandatory mobile contact tracing is much higher than the Lockdown Stop and Go (LSG) policy proposed by the Imperial College team in London. A very low s factor was reached by LFT policy giving the shortest time width of the dome of positive case curve and the lowest number of fatalities. The LFT policy has been able to reduce by a factor 100 the number of fatalities in the first 100 days of the Covid-19 epidemic, to reduce the time width of the Covid-19 pandemic dome by a factor 2.5 and to rapidly stop new outbreaks avoiding the second wave


title: The cost of Bitcoin mining has never really increased

abstract: The Bitcoin network is burning a large amount of energy for mining. In this paper we estimate the lower bound for the global energy cost for a period of ten years from 2010, taking into account changing oil costs, improvements in hashing technologies and hashing activity. Despite a ten-billion-fold increase in hashing activity and a ten-million-fold increase in total energy consumption, we find the cost relative to the volume of transactions has not increased nor decreased since 2010. This is consistent with the perspective that, in order to keep a the Blockchain system secure from double spending attacks, the proof or work must cost a sizable fraction of the value that can be transferred through the network. We estimate that in the Bitcoin network this fraction is of the order of 1%.


title: The coupling of matter and spacetime geometry

abstract: The geometrical formulation of gravity is not unique and can be set up in a variety of spacetimes. Even though the gravitational sector enjoys this freedom of different geometrical interpretations, consistent matter couplings have to be assured for a steady foundation of gravity. In generalised geometries, further ambiguities arise in the matter couplings unless the minimal coupling principle (MCP) is adopted that is compatible with the principles of relativity, universality and inertia. In this work, MCP is applied to all Standard Model gauge fields and matter fields in a completely general (linear) affine geometry. This is also discussed from an effective field theory perspective. It is found that the presence of torsion generically leads to theoretical problems. However, symmetric teleparallelism, wherein the affine geometry is integrable and torsion-free, is consistent with MCP. The generalised Bianchi identity is derived and shown to determine the dynamics of the connection in a unified fashion. Also, the parallel transport with respect to a teleparallel connection is shown to be free of second clock effects.


title: Enhanced Self-seeding with Ultra-short Electron Beams

abstract: We describe a new method to produce intensity stable, highly coherent, narrow-band x-ray pulses in self-seeded free electron (FEL) lasers. The approach uses an ultra-short electron beam to generate a single spike FEL pulse with a wide coherent bandwidth. The self-seeding monochromator then notches out a narrow spectral region of this pulse to be amplified by a long portion of electron beam to full saturation. In contrast to typical self-seeding where monochromatization of noisy SASE pulses leads to either large intensity fluctuations or multiple frequencies, we show that this method produces a stable, coherent FEL output pulse with statistical properties similar to a fully coherent optical laser.


title: Time, Space and Social Interactions: Exit Mechanisms for the Covid-19 Epidemics

abstract: We develop a minimalist compartmental model to study the impact of mobility restrictions in Italy during the Covid-19 outbreak. We show that an early lockdown shifts the epidemic in time, while that beyond a critical value of the lockdown strength, the epidemic tend to restart after lifting the restrictions. As a consequence, specific mitigation strategies must be introduced. We characterize the relative importance of different broad strategies by accounting for two fundamental sources of heterogeneity, i.e. geography and demography. First, we consider Italian regions as separate administrative entities, in which social interactions between age classs occur. Due to the sparsity of the inter-regional mobility matrix, once started the epidemics tend to develop independently across areas, justifying the adoption of solutions specific to individual regions or to clusters of regions. Second, we show that social contacts between age classes play a fundamental role and that measures which take into account the age structure of the population can provide a significant contribution to mitigate the rebound effects. Our model is general, and while it does not analyze specific mitigation strategies, it highlights the relevance of some key parameters on non-pharmaceutical mitigation mechanisms for the epidemics.


title: Quality-Bayesian approach to inverse acoustic source problems with partial data

abstract: A quality-Bayesian approach, combining the direct sampling method and the Bayesian inversion, is proposed to reconstruct the locations and intensities of the unknown acoustic sources using partial data. First, we extend the direct sampling method by constructing a new indicator function to obtain the approximate locations of the sources. The behavior of the indicator is analyzed. Second, the inverse problem is formulated as a statistical inference problem using the Bayes' formula. The well-posedness of the posterior distribution is proved. The source locations obtained in the first step are coded in the priors. Then an Metropolis-Hastings MCMC algorithm is used to explore the posterior density. Both steps use the same physical model and measured data. Numerical experiments show that the proposed method is effective even with partial data.


title: On the regular power structure of $p$-groups and applications

abstract: In this paper, we give elementary proofs of the Restricted Burnside Problem and the Hughes Conjecture for finite $p$-groups with Hall's regular power structure property. Moreover, in this setting we determine an explicit bound on the order of a finite $d$-generator $p$-group of fixed exponent. Further applications of $p$-groups with regular power structure are presented. For example, we give a short new proof of an important property of powerful $p$-groups; namely, that the minimal number of generators of a subgroup of such a group $G$ is at most the number needed to generate $G$.


title: Dynamical Majorana Neutrino Masses and Axions

abstract: We discuss dynamical mass generation for fermions and pseudoscalar fields (axion-like particles (ALP)), in the context of effective theories containing Yukawa type interactions between the fermions and ALPs. We discuss both Hermitian and non-Hermitian Yukawa interactions, which are motivated in the context of some scenarios for radiative (anomalous) Majorana sterile neutrino masses in some effective field theories. The latter contain shift-symmetry breaking Yukawa interactions between sterile neutrinos and ALPs. We show that, for a Hermitian Yukawa interaction, there is no (pseudo)scalar dynamical mass generation, but there is fermion dynamical mass generation, provided one adds a bare (pseudo)scalar mass. The situation is opposite for an anti-Hermitian Yukawa model: there is (pseudo)scalar dynamical mass generation, but no fermion dynamical mass generation.In the presence of additional attractive four-fermion interactions, dynamical fermion mass generation can occur in these models, under appropriate conditions and range of their couplings.


title: Critical behavior of QED$_3$--Gross-Neveu-Yukawa Theory in an Arbitrary Gauge

abstract: The chiral QED$_3$--Gross-Neveu-Yukawa (QED$_3$-GNY) theory is a $2+1$-dimensional U(1) gauge theory with $N_f$ flavors of four-component Dirac fermions coupled to a scalar field. For $N_f=1$, the specific chiral Ising QED$_3$-GNY model has recently been conjectured to be dual to the deconfined quantum critical point that describes Neel--valence-bond-solid transition of frustrated quantum magnets on square lattice. We study the universal critical behaviors of the chiral QED$_3$-GNY model in $d=4-\epsilon$ dimensions for an arbitrary $N_f$ . We calculate the boson anomalous dimensions, inverse correlation length exponent, as well as the scaling dimensions of nonsinglet fermion bilinear in the chiral QED$_3$-GNY model. The Pad$\acute{e}$ estimates for the exponents are obtained in the chiral Ising-, XY- and Heisenberg-QED$_3$-GNY universality class respectively. We also establish the general condition of the supersymmetric criticality for the ungauged QED$_3$-GNY model. For the conjectured duality between chiral QED$_3$-GNY critical point and deconfined quantum critical point, we find the inverse correlation length exponent has a lower boundary $\nu^{-1}>0.75$, beyond which the Ising-QED$_3$-GNY--$\mathbb{C}$P$^1$ duality may hold.


title: QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)

abstract: The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far fewer verification efforts that go beyond the core protocols and target applications that are built on top of agreement protocols. This is unfortunate, as agreement-based distributed services such as data stores, locks, and ledgers are ubiquitous and potentially permit modular, scalable verification approaches that mimic their modular design. We address this need for verification of distributed agreement-based systems through our novel modeling and verification framework, QuickSilver, that is not only modular, but also fully automated. The key enabling feature of QuickSilver is our encoding of abstractions of verified agreement protocols that facilitates modular, decidable, and scalable automated verification. We demonstrate the potential of QuickSilver by modeling and efficiently verifying a series of tricky case studies, adapted from real-world applications, such as a data store, a lock service, a surveillance system, a pathfinding algorithm for mobile robots, and more.


title: Using random testing to manage a safe exit from the COVID-19 lockdown

abstract: We argue that frequent sampling of the fraction of infected people (either by random testing or by analysis of sewage water), is central to managing the COVID-19 pandemic because it both measures in real time the key variable controlled by restrictive measures, and anticipates the load on the healthcare system due to progression of the disease. Knowledge of random testing outcomes will (i) significantly improve the predictability of the pandemic, (ii) allow informed and optimized decisions on how to modify restrictive measures, with much shorter delay times than the present ones, and (iii) enable the real-time assessment of the efficiency of new means to reduce transmission rates. Here we suggest, irrespective of the size of a suitably homogeneous population, a conservative estimate of 15000 for the number of randomly tested people per day which will suffice to obtain reliable data about the current fraction of infections and its evolution in time, thus enabling close to real-time assessment of the quantitative effect of restrictive measures. Still higher testing capacity permits detection of geographical differences in spreading rates. Furthermore and most importantly, with daily sampling in place, a reboot could be attempted while the fraction of infected people is still an order of magnitude higher than the level required for a relaxation of restrictions with testing focused on symptomatic individuals. This is demonstrated by considering a feedback and control model of mitigation where the feed-back is derived from noisy sampling data.

categories: q-bio.PE cond-mat.other cond-mat.stat-mech physics.med-ph


title: Cross-Matching of OGLE III and GAIA catalogues: Investigation of Dark-lens microlensing candidates

abstract: In this work, we use $13$ microlensing candidates with dark lenses from OGLE III catalogue \cite{2016MNRAS.458.3012W} and cross-match them with the GAIA catalogue. We identify the microlensing source stars in the GAIA catalogue by comparing the coordinate and the magnitude of stars and using the proper motion and the parallax parameters of the source stars. Combining with the microlensing light curves as well as the microlensing parallax effect, we determine the mass and the distance of lenses from Earth. We conclude that the lens for this set of microlensing events for the massive lenses are blackholes and for the small lenses are neutron/white dwarf candidates.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

abstract: To ensure interoperability and the correct behavior of heterogeneous distributed systems in key scenarios, it is important to conduct automated integration tests, based on distributed test components (called local testers) that are deployed close to the system components to simulate inputs from the environment and monitor the interactions with the environment and other system components. We say that a distributed test scenario is locally controllable and locally observable if test inputs can be decided locally and conformance errors can be detected locally by the local testers, without the need for exchanging coordination messages between the test components during test execution (which may reduce the responsiveness and fault detection capability of the test harness). DCO Analyzer is the first tool that checks if distributed test scenarios specified by means of UML sequence diagrams exhibit those properties, and automatically determines a minimum number of coordination messages to enforce them.


title: Cortical surface registration using unsupervised learning

abstract: Non-rigid cortical registration is an important and challenging task due to the geometric complexity of the human cortex and the high degree of inter-subject variability. A conventional solution is to use a spherical representation of surface properties and perform registration by aligning cortical folding patterns in that space. This strategy produces accurate spatial alignment but often requires a high computational cost. Recently, convolutional neural networks (CNNs) have demonstrated the potential to dramatically speed up volumetric registration. However, due to distortions introduced by projecting a sphere to a 2D plane, a direct application of recent learning-based methods to surfaces yields poor results. In this study, we present SphereMorph, a diffeomorphic registration framework for cortical surfaces using deep networks that addresses these issues. SphereMorph uses a UNet-style network associated with a spherical kernel to learn the displacement field and warps the sphere using a modified spatial transformer layer. We propose a resampling weight in computing the data fitting loss to account for distortions introduced by polar projection, and demonstrate the performance of our proposed method on two tasks, including cortical parcellation and group-wise functional area alignment. The experiments show that the proposed SphereMorph is capable of modeling the geometric registration problem in a CNN framework and demonstrate superior registration accuracy and computational efficiency. The source code of SphereMorph will be released to the public upon acceptance of this manuscript at https://github.com/voxelmorph/spheremorph.


title: Deep Reinforcement Learning (DRL): Another Perspective for Unsupervised Wireless Localization

abstract: Location is key to spatialize internet-of-things (IoT) data. However, it is challenging to use low-cost IoT devices for robust unsupervised localization (i.e., localization without training data that have known location labels). Thus, this paper proposes a deep reinforcement learning (DRL) based unsupervised wireless-localization method. The main contributions are as follows. (1) This paper proposes an approach to model a continuous wireless-localization process as a Markov decision process (MDP) and process it within a DRL framework. (2) To alleviate the challenge of obtaining rewards when using unlabeled data (e.g., daily-life crowdsourced data), this paper presents a reward-setting mechanism, which extracts robust landmark data from unlabeled wireless received signal strengths (RSS). (3) To ease requirements for model re-training when using DRL for localization, this paper uses RSS measurements together with agent location to construct DRL inputs. The proposed method was tested by using field testing data from multiple Bluetooth 5 smart ear tags in a pasture. Meanwhile, the experimental verification process reflected the advantages and challenges for using DRL in wireless localization.


title: Irreversibility mitigation in unital non-Markovian quantum evolutions

abstract: The relation between the thermodynamic entropy production and non-Markovian evolutions is matter of current research. Here, we study the behavior of the stochastic entropy production in open quantum systems undergoing unital non-Markovian dynamics. In particular, for the family of Pauli channels we show that in some specific time intervals both the average entropy production and the variance can decrease, provided that the quantum dynamics fails to be P-divisible. Although the dynamics of the system is overall irreversible, our result may be interpreted as a transient tendency towards reversibility, described as a delta peaked distribution of entropy production around zero. Finally, we also provide analytical bounds on the parameters in the generator giving rise to the quantum system dynamics, so as to ensure irreversibility mitigation of the corresponding non-Markovian evolution.


title: Bayesian Computation with Intractable Likelihoods

abstract: This article surveys computational methods for posterior inference with intractable likelihoods, that is where the likelihood function is unavailable in closed form, or where evaluation of the likelihood is infeasible. We review recent developments in pseudo-marginal methods, approximate Bayesian computation (ABC), the exchange algorithm, thermodynamic integration, and composite likelihood, paying particular attention to advancements in scalability for large datasets. We also mention R and MATLAB source code for implementations of these algorithms, where they are available.


title: Influence of the surface viscous stress on the pinch-off of free surfaces loaded with nearly-inviscid surfactants

abstract: We analyze both theoretically and experimentally the breakup of a pendant water droplet loaded with Sodium Dodecyl Sulfate (SDS). The free surface minimum radius measured in the experiments is compared with that obtained from a numerical solution of the full Navier-Stokes equations for different values of the shear and dilatational surface viscosities. This comparison shows the small but measurable effect of the surface viscous stresses on the system dynamics for sufficiently small spatiotemporal distances from the breakup point, and allows to establish upper bounds for the values of the shear and dilatational viscosities. We study numerically the distribution of Marangoni and viscous stresses over the free surface as a function of the time to the pinching, and describe how surface viscous stresses grow in the pinching region as the free surface approaches its breakup. When Marangoni and surface viscosity stresses are taken into account, the surfactant is not swept away from the thread neck in the time interval analyzed. Surface viscous stresses eventually balance the driving capillary pressure in that region for small enough values of the time to pinching. Based on this result, we propose a scaling law to account for the effect of the surface viscosities on the last stage of the temporal evolution of the neck radius.


title: Cartan Connection for Schr\"{o}dinger equation. The nature of vacuum

abstract: We reinterpret the Schr\"{o}dinger equation as a continuity equation in the space with the Cartan connection given by scaling Lie-B\"{a}cklund group on a specific jet space. In this space, the wave function and their gradient coordinates are treated as independent coordinates. This approach gives a full Cartan connection form a divergence-free condition. Once constructed, the connection makes it possible to investigate the geometry of the space on which this Schr\"{o}dinger-Cartan connection is constructed. This is the idea that generalizes the concepts present in de Broglie-Bohm (pilot wave) theory in a geometric way. We also present this procedure for constructing (non-uniquely) torsion-free Cartan connections for general Partial Differential Equations.

categories: math-ph math.AP math.DG math.MP quant-ph


title: The Web is Still Small After More Than a Decade

abstract: Understanding web co-location is essential for various reasons. For instance, it can help one to assess the collateral damage that denial-of-service attacks or IP-based blocking can cause to the availability of co-located web sites. However, it has been more than a decade since the first study was conducted in 2007. The Internet infrastructure has changed drastically since then, necessitating a renewed study to comprehend the nature of web co-location. In this paper, we conduct an empirical study to revisit web co-location using datasets collected from active DNS measurements. Our results show that the web is still small and centralized to a handful of hosting providers. More specifically, we find that more than 60% of web sites are co-located with at least ten other web sites---a group comprising less popular web sites. In contrast, 17.5% of mostly popular web sites are served from their own servers. Although a high degree of web co-location could make co-hosted sites vulnerable to DoS attacks, our findings show that it is an increasing trend to co-host many web sites and serve them from well-provisioned content delivery networks (CDN) of major providers that provide advanced DoS protection benefits. Regardless of the high degree of web co-location, our analyses of popular block lists indicate that IP-based blocking does not cause severe collateral damage as previously thought.


title: More 1-cocycles for classical knots

abstract: Let $M^{reg}$ be the topological moduli space of long knots up to regular isotopy, and for any natural number $n > 1$ let $M^{reg}_n$ be the moduli space of all n-cables of framed long knots which are twisted by a string link to a knot in the solid torus $V^3$ . We upgrade the Vassiliev invariant $v_2$ of a knot to an integer valued combinatorial 1-cocycle for $M^{reg}_n$ by a very simple formula. This 1-cocycle depends on a natural number $a \in \mathbb{Z}\cong H_1(V^3;\mathbb{Z})$ with $0<a<n$ as a parameter and we obtain a polynomial-valued 1-cocycle by taking the Lagrange interpolation polynomial with respect to the parameter. We show that it induces a non-trivial pairing on $H_0(M^{reg}_n) \times H_0(M^{reg})$ already for $n=2$.


title: Demonstration of quantum delayed-choice experiment on a quantum computer

abstract: Wave-particle duality of quantum objects is one of the most striking features of quantum physics and has been widely studied in past decades. Developments of quantum technologies enable us to experimentally realize several quantum phenomena. Observation of wave-particle morphing behavior in the context of the quantum delayed-choice experiment (QDCE) is one of them. Adopting the scheme of QDCE, we demonstrate how the coexistence of wave and particle nature emerges as a consequence of the uncertainty in the quantum controlled experimental setup, using a five-qubit cloud-based quantum processor. We also show that an entanglement-assisted scheme of the same reproduces the predictions of quantum mechanics. We put evidence that a local hidden variable theory is incompatible with quantum mechanical predictions by comparing the variation of intensities obtained from our experiment with hidden variable predictions.


title: Do you need a blockchain in construction? Use case categories and decision framework for DLT design options

abstract: Blockchain and other forms of distributed ledger technology (DLT) provide an opportunity to integrate digital information, management, and contracts to increase trust and collaboration within the construction industry. DLT enables direct peer-to-peer transactions of value across a distributed network by providing an immutable and transparent record of these transactions. Furthermore, there is potential for business process optimization and automation on the transaction level, through the use of smart contracts, which are code protocols deployed on supported DLT systems. However, DLT research in the construction industry remains at a theoretical level; there have been few implementation case studies to date. One potential reason for this is a knowledge gap between use-case ideas and the DLT technical system implementation. This paper aims to reduce this gap by 1) reviewing and categorizing proposed DLT use cases in construction literature, 2) providing an overview of DLT and its design options, 3) proposing an integrated framework to match DLT design options with desired characteristics of a use case, and 4) analysing the use cases using the new framework. Together, the use case categories and proposed decision framework can guide future implementers toward more connected and structured thinking between the technological properties of DLT and use cases in construction.


title: AdaStereo: A Simple and Efficient Approach for Adaptive Stereo Matching

abstract: Recently, records on stereo matching benchmarks are constantly broken by end-to-end disparity networks. However, the domain adaptation ability of these deep models is quite poor. Addressing such problem, we present a novel domain-adaptive pipeline called AdaStereo that aims to align multi-level representations for deep stereo matching networks. Compared to previous methods for adaptive stereo matching, our AdaStereo realizes a more standard, complete and effective domain adaptation pipeline. Firstly, we propose a non-adversarial progressive color transfer algorithm for input image-level alignment. Secondly, we design an efficient parameter-free cost normalization layer for internal feature-level alignment. Lastly, a highly related auxiliary task, self-supervised occlusion-aware reconstruction is presented to narrow down the gaps in output space. Our AdaStereo models achieve state-of-the-art cross-domain performance on multiple stereo benchmarks, including KITTI, Middlebury, ETH3D, and DrivingStereo, even outperforming disparity networks finetuned with target-domain ground-truths.


title: White Paper from Workshop on Large-scale Parallel Numerical Computing Technology (LSPANC 2020): HPC and Computer Arithmetic toward Minimal-Precision Computing

abstract: In numerical computations, precision of floating-point computations is a key factor to determine the performance (speed and energy-efficiency) as well as the reliability (accuracy and reproducibility). However, precision generally plays a contrary role for both. Therefore, the ultimate concept for maximizing both at the same time is the minimal-precision computing through precision-tuning, which adjusts the optimal precision for each operation and data. Several studies have been already conducted for it so far (e.g. Precimoniuos and Verrou), but the scope of those studies is limited to the precision-tuning alone. Hence, we aim to propose a broader concept of the minimal-precision computing system with precision-tuning, involving both hardware and software stack. In 2019, we have started the Minimal-Precision Computing project to propose a more broad concept of the minimal-precision computing system with precision-tuning, involving both hardware and software stack. Specifically, our system combines (1) a precision-tuning method based on Discrete Stochastic Arithmetic (DSA), (2) arbitrary-precision arithmetic libraries, (3) fast and accurate numerical libraries, and (4) Field-Programmable Gate Array (FPGA) with High-Level Synthesis (HLS). In this white paper, we aim to provide an overview of various technologies related to minimal- and mixed-precision, to outline the future direction of the project, as well as to discuss current challenges together with our project members and guest speakers at the LSPANC 2020 workshop; https://www.r-ccs.riken.jp/labs/lpnctrt/lspanc2020jan/.


title: Development of an ion exchange resin for gadolinium-loaded water

abstract: Large water Cherenkov detectors have been successfully used for decades in high- and low-energy particle physics. Nevertheless, detecting neutrons remains a challenge for such detectors since a neutron capture on a hydrogen atom doesn't release a sufficient amount of gamma energy to be observed efficiently. The use of gadolinium in the form of soluble salts has been explored extensively to remedy this issue, as gadolinium exhibits both a very large neutron capture cross section and a subsequent high-energy gamma cascade. However, in order for large gadolinium-loaded detectors to operate stably over long time periods, water optical transparency must be maintained by in situ purification. New methods have been developed involving band-pass molecular filtering. While these methods are very successful, they are expensive and consume considerable power and space as they seek to minimize loss of gadolinium while removing other impurities. For smaller detectors where some gadolinium loss can be tolerated, a less expensive way to do this is very desirable. In this paper, we describe the design, development and testing of a system used to purify the gadolinium-loaded water in the 26-ton ANNIE neutrino detector.


title: Where Does It End? -- Reasoning About Hidden Surfaces by Object Intersection Constraints

abstract: Dynamic scene understanding is an essential capability in robotics and VR/AR. In this paper we propose Co-Section, an optimization-based approach to 3D dynamic scene reconstruction, which infers hidden shape information from intersection constraints. An object-level dynamic SLAM frontend detects, segments, tracks and maps dynamic objects in the scene. Our optimization backend completes the shapes using hull and intersection constraints between the objects. In experiments, we demonstrate our approach on real and synthetic dynamic scene datasets. We also assess the shape completion performance of our method quantitatively. To the best of our knowledge, our approach is the first method to incorporate such physical plausibility constraints on object intersections for shape completion of dynamic objects in an energy minimization framework.