title: Tuning the Magnetic and Electronic Properties of Monolayer VI3 by 3d Transition Metal Doping: A First-Principles Study

abstract: Two-dimensional (2D) materials with robust magnetism have drawn immense attention for their promising applications in spintronics. Recently, intrinsic ferromagnetic vanadium triiodide (VI3) has been synthesized experimentally. To enhance its spintronic property, we modified VI3 by interstitial doping with 3d transition metals (TM) and used first-principles calculations to investigate the geometric structure, formation energy, electronic property, and magnetism of pristine VI3 and 3d TM-doped VI3 monolayer. Among eight transition metal (Sc-, Ti-, V-, Cr-, Mn-, Fe-, Co-, and Ni-) doped VI3 materials, four of them (Ti-, V-, Mn-, and Ni-doped VI3) show robust magnetism with full spin polarization near the Fermi energy. Our research demonstrates that Ti-doped VI3 results in half-metallic semiconductor properties (HMS), while V-doped VI3 and Ni-doped VI3 result in half-semiconductor properties (HSC). Surprisingly, Mn-doped VI3 exhibits an unusual bipolar magnetic semiconductor property (BMS). This unique combination of strong ferromagnetism and 100% spin polarization with a half-metallic, half-semiconductor, or bipolar semiconductor property renders 3d TM-doped VI3 as potential candidates for next generation semiconductor spintronic applications. These spin-polarized materials will be extremely useful for spin-current generation and other spintronic applications.


title: Fractional dark energy

abstract: In this paper we introduce the fractional dark energy model, in which the accelerated expansion of the Universe is driven by a nonrelativistic gas (composed by either fermions or bosons) with a noncanonical kinetic term. The kinetic energy is inversely proportional to the cube of the absolute value of the momentum for a fluid with an equation of state parameter equal to minus one, and whose corresponding energy density mimics the one of the cosmological constant. In the general case, the dark energy equation of state parameter (times three) is precisely the exponent of the momentum in the kinetic term. We show that this inverse momentum operator appears in fractional quantum mechanics and it is the inverse of the Riesz fractional derivative. The observed vacuum energy can be obtained through the integral of the Fermi-Dirac (or Bose-Einstein) distribution and the lowest allowed energy of the particles. Finally, a possible thermal production and fate of fractional dark energy is investigated.


title: Circular Orbits Structure and Thin Accretion Disks around Kerr Black Holes with Scalar Hair

abstract: In this paper we first investigate the equatorial circular orbit structure of Kerr black holes with scalar hair (KBHsSH) and highlight their most prominent features which are quite distinct from the exterior region of ordinary bald Kerr black holes, i.e. peculiarities that arise from the combined bound system of a hole with an off-center, self-gravitating distribution of scalar matter. Some of these traits are incompatible with the thin disk approach, thus we identify and map out various regions in the parameter space respectively. All the solutions for which the stable circular orbital velocity (and angular momentum) curve is continuous are used for building thin and optically thick disks around them, from which we extract the radiant energy fluxes, luminosities and efficiencies. We compare the results in batches with the same spin parameter $j$ but different normalized charges, and the profiles are richly diverse. Because of the existence of a conserved scalar charge, $Q$, these solutions are non-unique in the $(M, J)$ parameter space. Furthermore, $Q$ cannot be extracted asymptotically from the metric functions. Nevertheless, by constraining the parameters through different observations, the luminosity profile could in turn be used to constrain the Noether charge and characterize the spacetime, should KBHsSH exist.


title: Implementing Dimer Metadynamics using GROMACS

abstract: We develop a Gromacs implementation of Dimer Metadynamics[JCTC 13, 425 (2017)] for enhanced sampling through artificial delocalization effects. This implementation is based entirely on a Plumed collective variable developed for this purpose, the fine tuning of Gromacs input parameters, modified forcefields and custom non-bonded interactions. We demonstrate this implementation on Alanine Dipeptide in vacuum and in water, and on the 12-residue Alanine Polypeptide in water and compare the results with a standard multiple-replica technique such as Parallel Tempering. In all the considered cases this comparison is consistent and the results with Dimer Metadynamics are smoother and require shorter simulations, thus proving the consistency and effectiveness of this Gromacs implementation.


title: Graded matrix factorizations of size two and reduction

abstract: We associate a complete intersection singularity to a graded matrix factorization of size two of a polynomial in three variables. We show that we get an inverse to the reduction of singularities considered by C.T.C.Wall. We study this for the full strongly exceptional collections in the triangulated category of graded matrix factorizations constructed by H.Kajiura, K.Saito, and the second author.


title: Cosmic Ray Background Rejection with Wire-Cell LArTPC Event Reconstruction in the MicroBooNE Detector

abstract: For a large liquid argon time projection chamber (LArTPC) operating on or near the Earth's surface to detect neutrino interactions, the rejection of cosmogenic background is a critical and challenging task because of the large cosmic ray flux and the long drift time of the TPC. We introduce a superior cosmic background rejection procedure based on the Wire-Cell three-dimensional (3D) event reconstruction for LArTPCs. From an initial 1:20,000 neutrino to cosmic-ray background ratio, we demonstrate these tools on data from the MicroBooNE experiment and create a high performance generic neutrino event selection with a cosmic contamination of 14.9\% (9.7\%) for a visible energy region greater than O(200)~MeV. The neutrino interaction selection efficiency is 80.4\% and 87.6\% for inclusive $\nu_\mu$ charged-current and $\nu_e$ charged-current interactions, respectively. This significantly improved performance compared to existing reconstruction algorithms, marks a major milestone toward reaching the scientific goals of LArTPC neutrino oscillation experiments operating near the Earth's surface.


title: Restyling Images with the Bangladeshi Paintings Using Neural Style Transfer: A Comprehensive Experiment, Evaluation, and Human Perspective

abstract: In today's world, Neural Style Transfer (NST) has become a trendsetting term. NST combines two pictures, a content picture and a reference image in style (such as the work of a renowned painter) in a way that makes the output image look like an image of the material, but rendered with the form of a reference picture. However, there is no study using the artwork or painting of Bangladeshi painters. Bangladeshi painting has a long history of more than two thousand years and is still being practiced by Bangladeshi painters. This study generates NST stylized image on Bangladeshi paintings and analyzes the human point of view regarding the aesthetic preference of NST on Bangladeshi paintings. To assure our study's acceptance, we performed qualitative human evaluations on generated stylized images by 60 individual humans of different age and gender groups. We have explained how NST works for Bangladeshi paintings and assess NST algorithms, both qualitatively \& quantitatively. Our study acts as a pre-requisite for the impact of NST stylized image using Bangladeshi paintings on mobile UI/GUI and material translation from the human perspective. We hope that this study will encourage new collaborations to create more NST related studies and expand the use of Bangladeshi artworks.


title: The ATLAS Fast TracKer system

abstract: The ATLAS Fast TracKer (FTK) was designed to provide full tracking for the ATLAS high-level trigger by using pattern recognition based on Associative Memory (AM) chips and fitting in high-speed field programmable gate arrays. The tracks found by the FTK are based on inputs from all modules of the pixel and silicon microstrip trackers. The as-built FTK system and components are described, as is the online software used to control them while running in the ATLAS data acquisition system. Also described is the simulation of the FTK hardware and the optimization of the AM pattern banks. An optimization for long-lived particles with large impact parameter values is included. A test of the FTK system with the data playback facility that allowed the FTK to be commissioned during the shutdown between Run 2 and Run 3 of the LHC is reported. The resulting tracks from part of the FTK system covering a limited $\eta$-$\phi$ region of the detector are compared with the output from the FTK simulation. It is shown that FTK performance is in good agreement with the simulation.


abstract: This paper provides a general framework for Stein's density method for multivariate continuous distributions. The approach associates to any probability density function a canonical operator and Stein class, as well as an infinite collection of operators and classes which we call standardizations. These in turn spawn an entire family of Stein identities and characterizations for any continuous distribution on $\mathbb{R}^d$, among which we highlight those based on the score function and the Stein kernel. A feature of these operators is that they do not depend on normalizing constants. A new definition of Stein kernel is introduced and examined; integral formulas are obtained through a connection with mass transport, as well as ready-to-use explicit formulas for elliptical distributions. The flexibility of the kernels is used to compare in Stein discrepancy (and therefore 2-Wasserstein distance) between two normal distributions, Student and normal distributions, as well as two normal-gamma distributions. Upper and lower bounds on the 1-Wasserstein distance between continuous distributions are provided, and computed for a variety of examples: comparison between different normal distributions (improving on existing bounds in some regimes), posterior distributions with different priors in a Bayesian setting (including logistic regression), centred Azzalini--Dalla Valle distributions. Finally the notion of weak Stein equation and weak Stein factors is introduced. Bounds for solutions of the weak Stein equation are obtained for Lipschitz test functions if the distribution admits a Poincar\'e constant. We use these bounds to compare different copulas on the unit square in 1-Wasserstein distance.


title: Exoplanet Imaging Data Challenge: benchmarking the various image processing methods for exoplanet detection

abstract: The Exoplanet Imaging Data Challenge is a community-wide effort meant to offer a platform for a fair and common comparison of image processing methods designed for exoplanet direct detection. For this purpose, it gathers on a dedicated repository (Zenodo), data from several high-contrast ground-based instruments worldwide in which we injected synthetic planetary signals. The data challenge is hosted on the CodaLab competition platform, where participants can upload their results. The specifications of the data challenge are published on our website. The first phase, launched on the 1st of September 2019 and closed on the 1st of October 2020, consisted in detecting point sources in two types of common data-set in the field of high-contrast imaging: data taken in pupil-tracking mode at one wavelength (subchallenge 1, also referred to as ADI) and multispectral data taken in pupil-tracking mode (subchallenge 2, also referred to as ADI mSDI). In this paper, we describe the approach, organisational lessons-learnt and current limitations of the data challenge, as well as preliminary results of the participants submissions for this first phase. In the future, we plan to provide permanent access to the standard library of data sets and metrics, in order to guide the validation and support the publications of innovative image processing algorithms dedicated to high-contrast imaging of planetary systems.


title: Deep Learning Approach Combining Lightweight CNN Architecture with Transfer Learning: An Automatic Approach for the Detection and Recognition of Bangladeshi Banknotes

abstract: Automatic detection and recognition of banknotes can be a very useful technology for people with visual difficulties and also for the banks itself by providing efficient management for handling different paper currencies. Lightweight models can easily be integrated into any handy IoT based gadgets/devices. This article presents our experiments on several state-of-the-art deep learning methods based on Lightweight Convolutional Neural Network architectures combining with transfer learning. ResNet152v2, MobileNet, and NASNetMobile were used as the base models with two different datasets containing Bangladeshi banknote images. The Bangla Currency dataset has 8000 Bangladeshi banknote images where the Bangla Money dataset consists of 1970 images. The performances of the models were measured using both the datasets and the combination of the two datasets. In order to achieve maximum efficiency, we used various augmentations, hyperparameter tuning, and optimizations techniques. We have achieved maximum test accuracy of 98.88\% on 8000 images dataset using MobileNet, 100\% on the 1970 images dataset using NASNetMobile, and 97.77\% on the combined dataset (9970 images) using MobileNet.


title: Real-time phase-retrieval and wavefront sensing enabled by an artificial neural network

abstract: In this manuscript we demonstrate a method to reconstruct the wavefront of focused beams from a measured diffraction pattern behind a diffracting mask in real-time. The phase problem is solved by means of a neural network, which is trained with simulated data and verified with experimental data. The neural network allows live reconstructions within a few milliseconds, which previously with iterative phase retrieval took several seconds, thus allowing the adjustment of complex systems and correction by adaptive optics in real time. The neural network additionally outperforms iterative phase retrieval with high noise diffraction patterns.


title: Functional calculi for sectorial operators and related function theory

abstract: We construct two bounded functional calculi for sectorial operators on Banach spaces, which enhance the functional calculus for analytic Besov functions, by extending the class of functions, generalizing and sharpening estimates, and adapting the calculus to the angle of sectoriality. The calculi are based on appropriate reproducing formulas, they are compatible with standard functional calculi and they admit appropriate convergence lemmas and spectral mapping theorems. To achieve this, we develop the theory of associated function spaces in ways which are interesting and significant. As consequences of our calculi, we derive several well-known operator norm-estimates and provide generalizations of some of them.


title: This Face Does Not Exist ... But It Might Be Yours! Identity Leakage in Generative Models

abstract: Generative adversarial networks (GANs) are able to generate high resolution photo-realistic images of objects that "do not exist." These synthetic images are rather difficult to detect as fake. However, the manner in which these generative models are trained hints at a potential for information leakage from the supplied training data, especially in the context of synthetic faces. This paper presents experiments suggesting that identity information in face images can flow from the training corpus into synthetic samples without any adversarial actions when building or using the existing model. This raises privacy-related questions, but also stimulates discussions of (a) the face manifold's characteristics in the feature space and (b) how to create generative models that do not inadvertently reveal identity information of real subjects whose images were used for training. We used five different face matchers (face_recognition, FaceNet, ArcFace, SphereFace and Neurotechnology MegaMatcher) and the StyleGAN2 synthesis model, and show that this identity leakage does exist for some, but not all methods. So, can we say that these synthetically generated faces truly do not exist? Databases of real and synthetically generated faces are made available with this paper to allow full replicability of the results discussed in this work.


title: Possibility to make a beam of tau-leptons and charmed particles by a channeling crystal

abstract: We suggest a way to capture by a focusing crystal the short-lived particles (tau leptons, charmed baryons) produced in the decays downstream of a target hit by primary protons. The beam of captured short-lived particles can be extracted from the debris produced in the target and bent onto experimental setup over a distance of centimetres. The debris is rejected by the crystal, i.e. it remains nonchannelled. The technique can handle the particles with decay length c{\tau} down to 1 micron.


title: Transitivity in nonautonomous systems

abstract: Let $(X,d)$ be a metric space and $f_{1,\infty}=\{f_n\}_{i=0}^{\infty}$ be a sequence of continuous maps $f_n:X\rightarrow X$ such that $(f_n)$ converges uniformly to a continuous map $f$. We investigate which conditions ensure that the transitivity of functions $f_n$ or the transitivity of the nonautonomous system $(X,f_{1,\infty})$ is inherited to the limit function $f$ and vice versa. Such problem have been studied for instance by A. Fedeli, A. Le Donne or J. Li who give different sufficient condition for inheriting of transitivity from $f_n$ to $f$. In this paper we give a survey of know result relating to this problem and prove new results concerning to transitivity.


title: Secure Consensus with Distributed Detection via Two-hop Communication

abstract: In this paper, we consider a multi-agent resilient consensus problem, where some of the nodes may behave maliciously. The approach is to equip all nodes with a scheme to detect neighboring nodes when they behave in an abnormal fashion. To this end, the nodes exchange not only their own states but also information regarding their neighbor nodes. Such two-hop communication has long been studied in fault-tolerant algorithms in computer science. We propose two distributed schemes for detection of malicious nodes and resilient consensus with different requirements on resources for communication and the structures of the networks. In particular, the detection schemes become effective under certain connectivity properties in the network so that the non-malicious nodes can share enough information about their neighbors. It is shown that the requirements are however less stringent than those for conventional algorithms. A numerical example is presented to demonstrate the performance of the proposed methods in wireless sensor networks.


title: Solar Radio Spectro-polarimetry (50-500 MHz) : Design and Development of Cross-Polarized Log-Periodic Dipole antenna and configuration of receiver system

abstract: A radio spectro-polarimeter was developed at the Gauribidanur radio observatory to study the characteristics of the polarized radio waves that are emitted by the impetuous solar corona in the 50 - 500 MHz frequency range. The instrument has three major components : a Cross-polarized Log-Periodic Dipole Antenna (CLPDA), an analog receiver, and a digital receiver (spectrum analyzer). This article elaborates the design and developmental aspects of the CLPDA, its characteristics and briefs about the configurations of the analog and digital receivers, setting up of the spectro-polarimeter, stage-wise tests performed to characterize it, etc. To demonstrate the instrumental capability, the estimation of the solar coronal magnetic field strength (B {\it Vs} heliocentric height), using the spectral data obtained with it, is exemplified. Throughout the above band, the CLPDA has a gain, return loss and polarization cross-talk of $\approx$ 6.6 dBi, $\lesssim$ -10 dB, and $\lesssim$ -27 dB, respectively. The design constraints, the procedure to tune its impedance and to minimize its dimension, etc. are elaborated. The analog receiver has a noise figure of $\approx 3$ dB and a receiver-noise-temperature ($T_{rcvr}$) of about 290 K. The receiver-flux-density ($S_{rcvr}$) is $\approx 5.3 \times 10^3 $, and $\approx 5.3 \times 10^5$ Jy at 50 and 500 MHz, respectively. The observed spectral data shows a Signal-to-Noise Ratio and Dynamic range of about 30 dB and 40 dB, respectively, at 50 MHz. The average polarization isolation / cross-talk of the CLPD varies from -30 dB to -24 dB over an azimuthal angle of $\pm 45^\circ$ with respect to the reference position angle ($0^\circ$). The average degree of circular polarization (DCP) is $\approx 100\%$ at the reference position and found to decrease gradually and reaches $\approx 80\%$ at an azimuthal angle of $\pm 45^\circ$.


title: Preparation and study of the entanglement of the Schr\"odinger cat state on the ibmq-melbourne quantum computer

abstract: We study the entanglement between a certain qubit and the remaining system in the Schr\"odinger cat state prepared on the ibmq-melbourne quantum computer. The protocol, which we use for this purpose, is based on the determination of the mean value of spin corresponding to a certain qubit. We explore the dependence of the entanglement on a parameter of the Schr\"odinger cat state which consists of different numbers of qubits. In addition, we explore the entanglement of each qubit with the remaining system in the maximum entangled Schr\"odinger cat state.


title: A novel approach to fluid-structure interaction simulations involving large translation and contact

abstract: In this work, we present a novel method for the mesh update in flow problems with moving boundaries, the phantom domain deformation mesh update method (PD-DMUM). The PD-DMUM is designed to avoid remeshing; even in the event of large, unidirectional displacements of boundaries. The method combines the concept of two mesh adaptation approaches: (1) The virtual ring shear-slip mesh updatemethod (VR-SSMUM); and (2) the elastic mesh update method (EMUM). As in the VR-SSMUM, the PD-DMUMextends the fluid domain by a phantom domain; the PD-DMUM can thus locally adapt the element density. Combined with the EMUM, the PD-DMUMallows the consideration of arbitrary boundary movements. In this work, we apply the PD-DMUM in two test cases. Within the first test case, we validate the PD-DMUM in a 2D Poiseuille flow on a moving background mesh. Subsequently the fluid-structure interaction (FSI) problem in the second test case serves as a proof of concept. More, we stress the advantages of the novel method with regard to conventional mesh update approaches.


title: MRI Images, Brain Lesions and Deep Learning

abstract: Medical brain image analysis is a necessary step in Computer Assisted /Aided Diagnosis (CAD) systems. Advancements in both hardware and software in the past few years have led to improved segmentation and classification of various diseases. In the present work, we review the published literature on systems and algorithms that allow for classification, identification, and detection of White Matter Hyperintensities (WMHs) of brain MRI images specifically in cases of ischemic stroke and demyelinating diseases. For the selection criteria, we used the bibliometric networks. Out of a total of 140 documents we selected 38 articles that deal with the main objectives of this study. Based on the analysis and discussion of the revised documents, there is constant growth in the research and proposal of new models of deep learning to achieve the highest accuracy and reliability of the segmentation of ischemic and demyelinating lesions. Models with indicators (Dice Score, DSC: 0.99) were found, however with little practical application due to the uses of small datasets and lack of reproducibility. Therefore, the main conclusion is to establish multidisciplinary research groups to overcome the gap between CAD developments and their complete utilization in the clinical environment.


title: Clique factors in pseudorandom graphs

abstract: An $n$-vertex graph is said to to be $(p,\beta)$-bijumbled if for any vertex sets $A,B\subseteq V(G)$, we have \[e(A,B)=p|A||B|\pm \beta \sqrt{|A||B|}.\] We prove that for any $3\leq r\in \mathbb{N}$ and $c>0$ there exists an $\varepsilon>0$ such that any $n$-vertex $(p,\beta)$-bijumbled graph with $n\in r \mathbb{N}$, $\delta(G)\geq cpn$ and $\beta \leq \varepsilon p^{r-1}n$, contains a $K_r$-factor. This implies a corresponding result for the stronger pseudorandom notion of $(n,d,\lambda)$-graphs. For the case of triangle factors, that is when $r=3$, this result resolves a conjecture of Krivelevich, Sudakov and Szab\'o from 2004 and it is tight due to a pseudorandom triangle-free construction of Alon. In fact, in this case even more is true: as a corollary to this result and a result of Han, Kohayakawa, Person and the author, we can conclude that the same condition of $\beta=o(p^2n)$ actually guarantees that a $(p,\beta)$-bijumbled graph $G$ contains every graph on $n$ vertices with maximum degree at most 2.


title: Protecting Privacy and Transforming COVID-19 Case Surveillance Datasets for Public Use

abstract: Objectives: Federal open data initiatives that promote increased sharing of federally collected data are important for transparency, data quality, trust, and relationships with the public and state, tribal, local, and territorial (STLT) partners. These initiatives advance understanding of health conditions and diseases by providing data to more researchers, scientists, and policymakers for analysis, collaboration, and valuable use outside CDC responders. This is particularly true for emerging conditions such as COVID-19 where we have much to learn and have evolving data needs. Since the beginning of the outbreak, CDC has collected person-level, de-identified data from jurisdictions and currently has over 8 million records, increasing each day. This paper describes how CDC designed and produces two de-identified public datasets from these collected data. Materials and Methods: Data elements were included based on the usefulness, public request, and privacy implications; specific field values were suppressed to reduce risk of reidentification and exposure of confidential information. Datasets were created and verified for privacy and confidentiality using data management platform analytic tools as well as R scripts. Results: Unrestricted data are available to the public through Data.CDC.gov and restricted data, with additional fields, are available with a data use agreement through a private repository on GitHub.com. Practice Implications: Enriched understanding of the available public data, the methods used to create these data, and the algorithms used to protect privacy of de-identified individuals allow for improved data use. Automating data generation procedures allows greater and more timely sharing of data.


title: Understanding Diffusion of Recurrent Innovations

abstract: The diffusion of innovations theory has been studied for years. Previous research efforts mainly focus on key elements, adopter categories, and the process of innovation diffusion. However, most of them only consider single innovations. With the development of modern technology, recurrent innovations gradually come into vogue. In order to reveal the characteristics of recurrent innovations, we present the first large-scale analysis of the adoption of recurrent innovations in the context of mobile app updates. Our analysis reveals the adoption behavior and new adopter categories of recurrent innovations as well as the features that have impact on the process of adoption.


title: Determination of the parton distribution functions of the proton from ATLAS measurements of differential $W^\pm$ and $Z$ boson production in association with jets

abstract: This article presents a new set of proton parton distribution functions, ATLASepWZVjet20, produced in an analysis at next-to-next-to-leading order in QCD. The new data sets considered are the measurements of $W^+$ and $W^-$ boson and $Z$ boson production in association with jets in $pp$ collisions at $\sqrt{s} = 8~\mathrm{TeV}$ performed by the ATLAS experiment at the LHC with integrated luminosities of $20.2~\mathrm{fb}^{-1}$ and $19.9~\mathrm{fb}^{-1}$, respectively. The analysis also considers the ATLAS measurements of differential $W^{\pm}$ and $Z$ boson production at $\sqrt{s} = 7~\mathrm{TeV}$ with an integrated luminosity of $4.6~\mathrm{fb}^{-1}$ and deep-inelastic-scattering data from $e^{\pm}p$ collisions at the HERA accelerator. An improved determination of the sea-quark densities at high Bjorken $x$ is shown, while confirming a strange-quark density similar in size to the up- and down-sea-quark densities in the range $x \lesssim 0.02$ found by previous ATLAS analyses.


title: Droplet Splashing on Rough Surfaces

abstract: When a droplet hits a surface fast enough, droplet splashing can occur: smaller secondary droplets detach from the main droplet during impact. While droplet splashing on smooth surfaces is by now well understood, the surface roughness also affects at which impact velocity a droplet splashes. In this study, the influence of the surface roughness on droplet splashing is investigated. By changing the root mean square roughness of the impacted surface, we show that the droplet splashing velocity is only affected when the droplet roughness is large enough to disrupt the spreading droplet lamella and change the droplet splashing mechanism from corona to prompt splashing. Finally, using Weber and Ohnesorge number scaling models, we also show that the measured splashing velocity for both water and ethanol on surfaces with different roughness and water-ethanol mixtures collapse onto a single curve, showing that the droplet splashing velocity on rough surfaces scales with the Ohnesorge number defined with the surface roughness length scale.


title: Telecom-heralded entanglement between remote multimode solid-state quantum memories

abstract: Future quantum networks will enable the distribution of entanglement between distant locations and allow applications in quantum communication, quantum sensing and distributed quantum computation. At the core of this network lies the ability of generating and storing entanglement at remote, interconnected quantum nodes. While remote physical systems of various nature have been successfully entangled, none of these realisations encompassed all of the requirements for network operation, such as telecom-compatibility and multimode operation. Here we report the demonstration of heralded entanglement between two spatially separated quantum nodes, where the entanglement is stored in multimode solid-state quantum memories. At each node a praseodymium-doped crystal stores a photon of a correlated pair, with the second photon at telecommunication wavelengths. Entanglement between quantum memories placed in different labs is heralded by the detection of a telecom photon at a rate up to 1.4 kHz and is stored in the crystals for a pre-determined storage time up to 25 microseconds. We also show that the generated entanglement is robust against loss in the heralding path, and demonstrate temporally multiplexed operation, with 62 temporal modes. Our realisation is extendable to entanglement over longer distances and provides a viable route towards field-deployed, multiplexed quantum repeaters based on solid-state resources.


title: Parker Solar Probe evidence for scattering of electrons in the young solar wind by narrowband whistler-mode waves

abstract: Observations of plasma waves by the Fields Suite and of electrons by the Solar Wind Electrons Alphas and Protons Investigation (SWEAP) on Parker Solar Probe provide strong evidence for pitch angle scattering of strahl-energy electrons by narrowband whistler-mode waves at radial distances less than ~0.3 AU. We present two example intervals of a few hours that include 8 waveform captures with whistler-mode waves and 26 representative electron distributions that are examined in detail. Two were narrow; 17 were clearly broadened, and 8 were very broad. The two with narrow strahl occurred when there were either no whistlers or very intermittent low amplitude waves. Six of the eight broadest distributions were associated with intense, long duration waves. Approximately half of the observed electron distributions have features consistent with an energy dependent scattering mechanism, as would be expected from interactions with narrowband waves. A comparison of the wave power in the whistler-mode frequency band to pitch angle width and a measure of anisotropy provides additional evidence for the electron scattering by whistler-mode waves. The pitch angle broadening occurs in over an energy range comparable to that obtained for the n=1 (co-streaming) resonance for the observed wave and plasma parameters. The additional observation that the heat flux is lower in the interval with multiple switchbacks may provide clues to the nature of switchbacks. These results provide strong evidence that the heat flux is reduced by narroweband whistler-mode waves scattering of strahl-energy electrons.


title: Maximum likelihood estimation for spinal-structured trees

abstract: We investigate some aspects of the problem of the estimation of birth distributions (BD) in multi-type Galton-Watson trees (MGW) with unobserved types. More precisely, we consider two-type MGW called spinal-structured trees. This kind of tree is characterized by a spine of special individuals whose BD $\nu$ is different from the other individuals in the tree (called normal whose BD is denoted $\mu$). In this work, we show that even in such a very structured two-type population, our ability to distinguish the two types and estimate $\mu$ and $\nu$ is constrained by a trade-off between the growth-rate of the population and the similarity of $\mu$ and $\nu$. Indeed, if the growth-rate is too large, large deviations events are likely to be observed in the sampling of the normal individuals preventing us to distinguish them from special ones. Roughly speaking, our approach succeeds if $r<\mathfrak{D}(\mu,\nu)$ where $r$ is the exponential growth-rate of the population and $\mathfrak{D}$ is a divergence measuring the dissimilarity between $\mu$ and $\nu$.


title: Demystifying Removed Apps in iOS App Store

abstract: With the popularity of mobile devices, mobile applications have become an essential part of people's lives. To provide secure mobile application download channels for users, various modern app markets are maintained by different companies. For example, Google maintains Google Play for Android users, while Apple maintains App Store for iOS, iPadOS, and MacOS users. Though app markets have come up with strict policies which impose restrictions on developers to avoid the potential harmful applications, we still have quite limited knowledge on the process of app vetting and the status of potential harmful apps. To fill this gap, this paper takes the initiative to conduct a large-scale and longitudinal study of removed apps in the iOS app store. Our analysis reveals that although most of the removed apps are low-quality apps, a number of them are quite popular. Furthermore, the mis-behaviors of these apps are reflected on app metadata, which makes it possible to distinguish potential harmful apps.


title: Exact Oscillation Probabilities of Neutrinos in Three generations derived from Relativistic Equation

abstract: In three generations or more, we derive the oscillation probabilities of both Dirac and Majorana neutrinos relativistically by using the Dirac equation. We present various oscillation probabilities for including wrong-helicity neutrinos, right-handed neutrinos, and anti-neutrinos. We summarize the relations between these probabilities. As neutrinos have finite mass, there are two components for each chirality corresponding to positive and negative helicities. We show that the probability is different for each component even if neutrinos have the same chirality. The probabilities derived by the relativistic equation depend on not only the mass squared differences but also the absolute masses of neutrinos. Besides, the new CP phases appear in the probabilities of oscillations with chirality-flip. These new CP phases are equivalent to the Majorana CP phases in the case of Majorana neutrinos. We investigate the CP dependence of oscillation probabilities in vacuum. There are no direct CP violation in $\nu_{\alpha}\leftrightarrow \nu_{\beta}^c$ oscillations even if the flavors, $\alpha$ and $\beta$, are different as in the same as two generations. In other words, the difference between the CP-conjugate probabilities vanishes. However, in three generations or more, the sine terms of new CP phases appear in the probabilities in addition to the cosine terms. This is different from the result obtained in two generations. Furthermore, the zero-distance effect does not appear in our formulation.


title: ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing

abstract: We present a new benchmark (ProFuzzBench) for stateful fuzzing of network protocols. The benchmark includes a suite of representative open-source network servers for popular protocols, and tools to automate experimentation. We discuss challenges and potential directions for future research based on this benchmark.


title: Gaussian approximation for sums of region-stabilizing scores

abstract: We consider the Gaussian approximation for functionals of a Poisson process that are expressible as sums of region-stabilizing (determined by the points of the process within some specified regions) score functions and provide a bound on the rate of convergence in the Wasserstein and the Kolmogorov distances. While such results have previously been shown in Lachi\`eze-Rey, Schulte and Yukich (2019), we extend the applicability by relaxing some conditions assumed there and provide further insight into the results. This is achieved by working with stabilization regions that may differ from balls of random radii commonly used in the literature concerning stabilizing functionals. We also allow for non-diffuse intensity measures and unbounded scores, which are useful in some applications. As our main application, we consider the Gaussian approximation of number of minimal points in a homogeneous Poisson process in $[0,1]^d$ with $d \ge 2$, and provide a presumably optimal rate of convergence.


title: A bright gamma-ray flare interpreted as a giant magnetar flare in NGC 253

abstract: Magnetars are young, highly magnetized neutron stars that produce extremely rare giant flares of gamma-rays, the most luminous astrophysical phenomena in our Galaxy. The detection of these flares from outside the Local Group of galaxies has been predicted, with just two candidates so far. Here we report on the extremely bright gamma-ray flare GRB 200415A of April 15, 2020, which we localize, using the Interplanetary Network, to a tiny (20 sq. arcmin) area on the celestial sphere, that overlaps the central region of the Sculptor galaxy at 3.5 Mpc from the Milky Way. From the Konus-Wind detections, we find a striking similarity between GRB 200415A and GRB 051103, the even more energetic flare that presumably originated from the M81/M82 group of galaxies at nearly the same distance (3.6 Mpc). Both bursts display a sharp, millisecond-scale, hard-spectrum initial pulse, followed by an approximately 0.2 s long steadily fading and softening tail. Apart from the huge initial pulses of magnetar giant flares, no astrophysical signal with this combination of temporal and spectral properties and implied energy has been reported previously. At the inferred distances, the energy released in both flares is on par with that of the December 27, 2004 superflare from the Galactic magnetar SGR 1806-20, but with a higher peak luminosity. Taken all together, this makes GRB 200415A and its twin GRB 051103 the most significant candidates for extragalactic magnetar giant flares, both a factor of five more luminous than the brightest Galactic magnetar flare observed previously, thus providing an important step towards a better understanding of this fascinating phenomenon.


title: F3SNet: A Four-Step Strategy for QIM Steganalysis of Compressed Speech Based on Hierarchical Attention Network

abstract: Traditional machine learning-based steganalysis methods on compressed speech have achieved great success in the field of communication security. However, previous studies lacked mathematical description and modeling of the correlation between codewords, and there is still room for improvement in steganalysis for small-sized and low embedding rates sample. To deal with the challenge, We use Bayesian networks to measure different types of correlations between codewords in linear prediction code and present F3SNet -- a four-step strategy: Embedding, Encoding, Attention and Classification for quantizaition index modulation steganalysis of compressed speech based on Hierarchical Attention Network. Among them, Embedding converts codewords into high-density numerical vectors, Encoding uses the memory characteristics of LSTM to retain more information by distributing it among all its vectors and Attention further determines which vectors have a greater impact on the final classification result. To evaluate the performance of F3SNet, we make comprehensive comparison of F3SNet with existing steganography methods. Experimental results show that F3SNet surpasses the state-of-the-art methods, particularly for small-sized and low embedding rate samples.


title: Planetary Embryo Collisions and the Wiggly Nature of Extreme Debris Disks

abstract: In this paper, we present results from a multi-stage numerical campaign to begin to explain and determine why extreme debris disk detections are rare, what types of impacts will result in extreme debris disks and what we can learn about the parameters of the collision from the extreme debris disks. We begin by simulating many giant impacts using a smoothed particle hydrodynamical code with tabulated equations of state and track the escaping vapour from the collision. Using an $N$-body code, we simulate the spatial evolution of the vapour generated dust post-impact. We show that impacts release vapour anisotropically not isotropically as has been assumed previously and that the distribution of the resulting generated dust is dependent on the mass ratio and impact angle of the collision. In addition, we show that the anisotropic distribution of post-collision dust can cause the formation or lack of formation of the short-term variation in flux depending on the orientation of the collision with respect to the orbit around the central star. Finally, our results suggest that there is a narrow region of semi-major axis where a vapour generated disk would be observable for any significant amount of time implying that giant impacts where most of the escaping mass is in vapour would not be observed often but this does not mean that the collisions are not occurring.


title: Relatively Lazy: Indoor-Outdoor Navigation Using Vision and GNSS

abstract: Visual Teach and Repeat has shown relative navigation is a robust and efficient solution for autonomous vision-based path following in difficult environments. Adding additional absolute sensors such as Global Navigation Satellite Systems (GNSS) has the potential to expand the domain of Visual Teach and Repeat to environments where the ability to visually localize is not guaranteed. Our method of lazy mapping and delaying estimation until a path-tracking error is needed avoids the need to estimate absolute states. As a result, map optimization is not required and paths can be driven immediately after being taught. We validate our approach on a real robot through an experiment in a joint indoor-outdoor environment comprising 3.5km of autonomous route repeating across a variety of lighting conditions. We achieve smooth error signals throughout the runs despite large sections of dropout for each sensor.


title: Fast convolutional neural networks on FPGAs with hls4ml

abstract: We introduce an automated tool for deploying ultra low-latency, low-power deep neural networks with convolutional layers on FPGAs. By extending the hls4ml library, we demonstrate an inference latency of $5\,\mu$s using convolutional architectures, targeting microsecond latency applications like those at the CERN Large Hadron Collider. Considering benchmark models trained on the Street View House Numbers Dataset, we demonstrate various methods for model compression in order to fit the computational constraints of a typical FPGA device used in trigger and data acquisition systems of particle detectors. In particular, we discuss pruning and quantization-aware training, and demonstrate how resource utilization can be significantly reduced with little to no loss in model accuracy. We show that the FPGA critical resource consumption can be reduced by 97% with zero loss in model accuracy, and by 99% when tolerating a 6% accuracy degradation.

categories: cs.LG cs.CV hep-ex physics.ins-det stat.ML


title: Bose-Hubbard models with on-site and nearest-neighbor interactions: Exactly solvable case

abstract: We study the discrete spectrum of the two-particle Schr\"odinger operator $\hat H_{\mu\lambda}(K),$ $K\in\mathbb{T}^2,$ associated to the Bose-Hubbard Hamiltonian $\hat {\mathbb H}_{\mu\lambda}$ of a system of two identical bosons interacting on site and nearest-neighbor sites in the two dimensional lattice $\mathbb{Z}^2$ with interaction magnitudes $\mu\in\mathbb{R}$ and $\lambda\in\mathbb{R},$ respectively. We completely describe the spectrum of $\hat H_{\mu\lambda}(0)$ and establish the optimal lower bound for the number of eigenvalues of $\hat H_{\mu\lambda}(K)$ outside its essential spectrum for all values of $K\in\mathbb{T}^2.$ Namely, we partition the $(\mu,\lambda)$-plane such that in each connected component of the partition the number of bound states of $\hat H_{\mu\lambda}(K)$ below or above its essential spectrum cannot be less than the corresponding number of bound states of $\hat H_{\mu\lambda}(0)$ below or above its essential spectrum.


title: Polarimetry, photometry, and spectroscopy of comet C/2009 P1(Garradd)

abstract: We present the results of photometry, linear spectropolarimetry, and imaging circular polarimetry ofcomet C/2009 P1 (Garradd) performed at the 6-m telescope BTA of the Special Astrophysical Observatory(Russia) equipped by the multi-mode focal reducer SCORPIO-2. The comet was observed at two epochspost-perihelion: on February 2-14, 2012 at r=1.6 au and {\alpha}=36 {\deg}; and on April 14-21, 2012 at r=2.2 au and {\alpha}=27 deg. The spatial maps of the relative intensity and circular polarization as well as the spectral distribution of linear polarization are presented. There were two features (dust and gas tails) orientedin the solar and antisolar directions on February 2 and 14 that allowed us to determine rotation periodof the nucleus as 11.1 hours. We detected emissions of C2 , C3 , CN, CH, NH2 molecules as well as CO+ and H2O+ ions, along with a high level of the dust continuum. On February 2, the degree of linear polarization in the continuum, within the wavelength range of 0.67-0.68 {\mu}m, was about 5% in the near-nucleus region up to near 6000 km and decreased to about 3% at near 40,000 km. The left-handed (negative) circular polarization at the level approximately from -0.06% to -0.4% was observed at the distances up to 3*10^4 km from the nucleus on February 14 and April 21, respectively.


title: Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain

abstract: On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validation activities are typically performed and assessed by third party organizations. To further minimize the risk of human mistakes, space agencies, such as the European Space Agency (ESA), are looking for automated solutions for the assessment of software testing activities, which play a crucial role in this context. Over the years, mutation analysis has shown to be a promising solution for the automated assessment of test suites; it consists of measuring the quality of a test suite in terms of the percentage of injected faults leading to a test failure. A number of optimization techniques, addressing scalability and accuracy problems, have been proposed to facilitate the industrial adoption of mutation analysis. However, to date, two major problems prevent space agencies from enforcing mutation analysis in space software development. In this paper, we enhance mutation analysis optimization techniques to enable their applicability to embedded software and propose a pipeline that successfully integrates them to address scalability and accuracy issues in this context, as described above. Further, we report on the largest study involving embedded software systems in the mutation analysis literature. Our research is part of a research project funded by ESA ESTEC involving private companies (GomSpace Luxembourg and LuxSpace) in the space sector. These industry partners provided the case studies reported in this paper; they include an on-board software system managing a microsatellite currently on-orbit, a set of libraries used in deployed cubesats, and a mathematical library certified by ESA.


title: Infinite Loops and the $p$-adic Littlewood Conjecture. Part I: Reformulating the $p$-adic Littlewood Conjecture in Terms of Infinite Loops

abstract: In this paper we introduce the concept of an infinite loop mod $n$ and discuss the properties that these objects have. In particular, we show that a real number $\alpha$ is a counterexample to the $p$-adic Littlewood Conjecture if and only if there exists some $m\in\mathbb{N}$ such that $p^k\alpha$ is an infinite loop mod $p^m$, for all $k\in\mathbb{N}$. This paper is the first of a two part series, which investigate the link between infinite loops and the $p$-adic Littlewood Conjecture.


title: Beyond Procrustes: Balancing-Free Gradient Descent for Asymmetric Low-Rank Matrix Sensing

abstract: Low-rank matrix estimation plays a central role in various applications across science and engineering. Recently, nonconvex formulations based on matrix factorization are provably solved by simple gradient descent algorithms with strong computational and statistical guarantees. However, when the low-rank matrices are asymmetric, existing approaches rely on adding a regularization term to balance the scale of the two matrix factors which in practice can be removed safely without hurting the performance when initialized via the spectral method. In this paper, we provide a theoretical justification to this for the matrix sensing problem, which aims to recover a low-rank matrix from a small number of linear measurements. As long as the measurement ensemble satisfies the restricted isometry property, gradient descent -- in conjunction with spectral initialization -- converges linearly without the need of explicitly promoting balancedness of the factors; in fact, the factors stay balanced automatically throughout the execution of the algorithm. Our analysis is based on analyzing the evolution of a new distance metric that directly accounts for the ambiguity due to invertible transforms, and might be of independent interest.


title: Additive Manufacturing of Fibrous Sound Absorbers

abstract: We investigate the possibility of additively manufacturing fibrous sound absorbers using fused deposition modeling. Two methods for 3D printing fibers are proposed. The fiber bridging method involves extruding the filament between two points with no underlying supports. The extrude-and-pull method involves extruding a filament droplet before pulling away the extruder rapidly to generate thin fibers. Both methods can produce fibers with aspect ratios greater than 100. Optical microscopy is used to investigate the effect of various printing parameters on the fiber characteristics. The sound absorption coefficient of samples printed using the two techniques are measured using a two-microphone normal incidence impedance tube setup. Effects of printing parameters and fiber density variables are experimentally studied. The experimental studies are supported by the Johnson-Champoux-Allard semi-empirical analytical model informed using an inverse characterization approach. The analytical model is then utilized to understand the effect of fiber parameters on the acoustical transport parameters. It is observed that the two methods result in individual fibers with distinct characteristics. On average, the fiber bridging method results in thicker fibers, which results in comparatively higher sound absorption. However, the extrude-and-pull method results in fibers with hair-like characteristics (thick base with progressively decreasing thickness) and one may easily incorporate it within existing additive manufacturing routines to add fibers to a base surface, thus opening up a new route towards fiber-enhanced multifunctional structures.


title: Gradient estimates for the nonlinear parabolic equation with two exponents on Riemannian manifolds

abstract: In this paper, we study the nonlinear parabolic equation with two exponents on complete noncompact Riemannian maniflods. The special types of such equation include the Fisher-KPP equation, the parabolic Allen-Cahn equation and the Newell-Whitehead equation. We get the Souplet-Zhang's gradeint estimates for the positive solutions to such equation. We also obtain the Liouville theorem for positive ancient solutions. Our results extend those of Souplet-Zhang (Bull. London. Math. Soc. 38:1045-1053, 2006) and Zhu (Acta Mathematica Scientia 36B(2): 514-526, 2016).


title: How do degenerate mobilities determine singularity formation in Cahn-Hilliard equations?

abstract: Cahn-Hilliard models are central for describing the evolution of interfaces in phase separation processes and free boundary problems. In general, they have non-constant and often degenerate mobilities. However, in the latter case, the spontaneous appearance of points of vanishing mobility and their impact on the solution are not well understood. In this paper we develop a singular perturbation theory to identify a range of degeneracies for which the solution of the Cahn-Hilliard equation forms a singularity in infinite time. This analysis forms the basis for a rigorous sharp interface theory and enables the systematic development of robust numerical methods for this family of model equations.

categories: math.AP cond-mat.mtrl-sci cs.NA math-ph math.MP math.NA


title: The four-point function of determinant operators in $\mathcal{N}=4$ SYM

abstract: We calculate the four-point function of $1/2$-BPS determinant operators in $\mathcal{N}=4$ SYM at next-to-leading order at weak coupling. We use two complementary methods recently developed for a class of determinant three-point functions: one is based on Feynman diagrams and it extracts perturbative data at finite $N$, while the other one expresses a generic correlator of determinants as the zero-dimensional integral over an auxiliary matrix field. We generalise the latter approach to calculate one-loop corrections and we solve the four-point function in a semi-classical approach at large $N$. The results allow to comment on the order of the phase transition that the four-point function is expected to exhibit in an exact integrability-based description.


title: Common envelope jets supernovae with a black hole companion as possible high energy neutrino sources

abstract: We study high energy neutrino emission from relativistic jets launched by a black hole (BH) spiraling-in inside the envelope of a red supergiant (RSG), and find that such common envelope jets supernovae (CEJSNe) are a potential source for the ~10^15 eV neutrinos detected by IceCube. We first use the stellar evolution code MESA to mimic the effect of the jets on the RSG envelope, and find that the jets substantially inflate the envelope. We then study the propagation of jets inside the extended RSG envelope and find that in most cases the jets do not penetrate the envelope but are rather stalled. We show that such jets can accelerate cosmic rays to high enough energies to produce high energy neutrinos. While the neutrinos stream out freely, the gamma-rays that accompany the neutrino production remain trapped inside the optically thick envelope. This explains the lack of observational association between high energy neutrinos and gamma-rays. We crudely estimate the diffuse neutrino spectrum from a CEJSN and find that CEJSNe with BH companions might have a substantial contribution to the high energy neutrinos flux detected by IceCube.


title: Multiscale regression on unknown manifolds

abstract: We consider the regression problem of estimating functions on $\mathbb{R}^D$ but supported on a $d$-dimensional manifold $ \mathcal{M} \subset \mathbb{R}^D $ with $ d \ll D $. Drawing ideas from multi-resolution analysis and nonlinear approximation, we construct low-dimensional coordinates on $\mathcal{M}$ at multiple scales, and perform multiscale regression by local polynomial fitting. We propose a data-driven wavelet thresholding scheme that automatically adapts to the unknown regularity of the function, allowing for efficient estimation of functions exhibiting nonuniform regularity at different locations and scales. We analyze the generalization error of our method by proving finite sample bounds in high probability on rich classes of priors. Our estimator attains optimal learning rates (up to logarithmic factors) as if the function was defined on a known Euclidean domain of dimension $d$, instead of an unknown manifold embedded in $\mathbb{R}^D$. The implemented algorithm has quasilinear complexity in the sample size, with constants linear in $D$ and exponential in $d$. Our work therefore establishes a new framework for regression on low-dimensional sets embedded in high dimensions, with fast implementation and strong theoretical guarantees.


title: Quasi-one-dimensional magnetism in the spin-$\frac12$ antiferromagnet BaNa$_{2}$Cu(VO$_{4}$)$_{2}$

abstract: We report synthesis and magnetic properties of quasi-one-dimensional spin-$\frac{1}{2}$ Heisenberg antiferromagnetic chain compound BaNa$_2$Cu(VO$_4$)$_2$. This orthovanadate has a centrosymmetric crystal structure, $C2/c$, where the magnetic Cu$^{2+}$ ions form spin chains. These chains are arranged in layers, with the chain direction changing by 62$^0$ between the two successive layers. Alternatively, the spin lattice can be viewed as anisotropic triangular layers upon taking the inter-chain interactions into consideration. Despite this potential structural complexity, temperature-dependent magnetic susceptibility, heat capacity, ESR intensity, and NMR shift agree well with the uniform spin-$1/2$ Heisenberg chain model with an intrachain coupling of $J/k_{\rm B} \simeq 5.6$ K. The saturation field obtained from the magnetic isotherm measurement consistently reproduces the value of $J/k_{\rm B}$. Further, the $^{51}$V NMR spin-lattice relaxation rate mimics the 1D character in the intermediate temperature range, whereas magnetic long-range order sets in below $T_{\rm N} \simeq 0.25$ K. The effective interchain coupling is estimated to be $J_{\perp}/k_{\rm B} \simeq 0.1$ K. The theoretical estimation of exchange couplings using band-structure calculations reciprocate our experimental findings and unambiguously establish the 1D character of the compound. Finally, the spin lattice of BaNa$_2$Cu(VO$_4$)$_2$ is compared with the chemically similar but not isostructural compound BaAg$_2$Cu(VO$_4)_2$.


title: The general structure of the Decoherence-free subalgebra for uniformly continuous Quantum Markov semigroups

abstract: By using the decomposition of the decoherence-free subalgebra N(T) in direct integrals of factors, we obtain a structure theorem for every uniformly continuous QMSs. Moreover we prove that, when there exists a faithful normal invariant state, N(T) has to be atomic and decoherence takes place.


title: Saturating PI control of stable nonlinear systems using singular perturbations

abstract: This paper presents an anti-windup PI controller, using a saturating integrator, for a single-input single-output stable nonlinear plant, whose steady-state input-output map is increasing. We prove that, under reasonable assumptions, there exists an upper bound on the controller gain such that for any constant reference input, the corresponding equilibrium point of the closed-loop system is exponentially stable, with a "large" region of attraction. When the state of the closed-loop system converges to this equilibrium point, then the tracking error tends to zero. The closed-loop stability analysis employs Lyapunov methods in the framework of singular perturbations theory. Finally, we show that if the plant satisfies the asymptotic gain property, then the closed-loop system is globally asymptotically stable for any sufficiently small controller gain. The effectiveness of the proposed PI controller is proved by showing how it performs as part of the control algorithm of a synchronverter (a special type of DC to AC power converter).


title: Transformation of a graphene nanoribbon into a hybrid 1D nanoobject with alternating double chains and polycyclic regions

abstract: Molecular dynamics simulations show that a graphene nanoribbon with alternating regions which are one and three hexagons wide can transform into a hybrid 1D nanoobject with alternating double chains and polycyclic regions under electron irradiation in HRTEM. A scheme of synthesis of such a nanoribbon using Ullmann coupling and dehydrogenation reactions is proposed. The reactive REBO-1990EVC potential is adapted for simulations of carbon-hydrogen systems and is used in combination with the CompuTEM algorithm for modeling of electron irradiation effects. The atomistic mechanism of formation of the new hybrid 1D nanoobject is found to be the following. Firstly hydrogen is removed by electron impacts. Then spontaneous breaking of bonds between carbon atoms leads to decomposition of narrow regions of the graphene nanoribbon into double chains. Simultaneously thermally activated growth of polycyclic regions occurs. Density functional theory calculations give barriers along the growth path of polycyclic regions consistent with this mechanism. Electronic properties of the new 1D nanoobject are shown to be strongly affected by the edge magnetism and make this nanostructure promising nanoelectronic and spintronic applications. The way of synthesis the 1D nanoobject proposed here can be considered as an example of the general three-stage strategy of production of nanoobjects and macromolecules. 1) precursors are synthesized by traditional chemical method, 2) precursors are placed in HRTEM with the electron energy that is sufficient only to remove hydrogen atoms, 3) as a result of hydrogen removal, the precursors become unstable or metastable and transform into new nanoobjects or macromolecules.


title: A Unified Approach to Gated Reactions on Networks

abstract: For two molecules to react they first have to meet. Yet, reaction times are rarely on par with the first-passage times that govern such molecular encounters. A prime reason for this discrepancy is stochastic transitions between reactive and non-reactive molecular states, which results in effective gating of product formation and altered reaction kinetics. To better understand this phenomenon we develop a unifying approach to gated reactions on networks. We first show that the mean and distribution of the gated reaction time can always be expressed in terms of ungated first-passage and return times. This relation between gated and ungated kinetics is then explored to reveal universal features of gated reactions. The latter are exemplified using a diverse set of case studies which are also used to expose the exotic kinetics that arises due to molecular gating.


title: Formalising Concepts as Grounded Abstractions

abstract: The notion of concept has been studied for centuries, by philosophers, linguists, cognitive scientists, and researchers in artificial intelligence (Margolis & Laurence, 1999). There is a large literature on formal, mathematical models of concepts, including a whole sub-field of AI -- Formal Concept Analysis -- devoted to this topic (Ganter & Obiedkov, 2016). Recently, researchers in machine learning have begun to investigate how methods from representation learning can be used to induce concepts from raw perceptual data (Higgins, Sonnerat, et al., 2018). The goal of this report is to provide a formal account of concepts which is compatible with this latest work in deep learning. The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces. The mathematics of partial orders and lattices is a standard tool for modelling conceptual spaces (Ch.2, Mitchell (1997), Ganter and Obiedkov (2016)); however, there is no formal work that we are aware of which defines a conceptual lattice on top of a representation that is induced using unsupervised deep learning (Goodfellow et al., 2016). The advantages of partially-ordered lattice structures are that these provide natural mechanisms for use in concept discovery algorithms, through the meets and joins of the lattice.


title: Self-Synchronising On-Off-Keying Visible Light Communication System For Intra and Inter-Vehicle Data Transmission

abstract: Visible Light Communication (VLC) is a current technology which allows data to be transmitted by modulating information onto a light source. It has many advantages over traditional radio frequency communication and up to 10,000 times larger bandwidth. Existing research in visible light communication assumes a synchronised channel, however, this is not always easily achieved. In this paper, a novel synchronised intra and inter-vehicle VLC system is proposed to ensure reliable communication in both inter and intra-vehicle communication for Infotainment Systems (IS). The protocol achieves synchronisation at the symbol level using the transistor-transistor logic protocol and achieves frame synchronisations with markers. Consequently, the deployment of the protocol in both inter and intra-vehicle communication presents numerous advantages over existing data transmission processes. A practical application, where VLC is used for media streaming is also previewed. In addition, various regions of possible data transmission are determined with the intention to infer forward error correction schemes to ensure reliable communication.


title: Low Latency Scheduling Algorithms for Full-Duplex V2X Networks

abstract: Vehicular communication systems have been an active subject of research for many years and are important technologies in the 5G and the post-5G era. One important use case is platooning which is seemingly the first step towards fully autonomous driving systems. Furthermore, a key performance parameter in all vehicular communication systems is the end-to-end packet latency. Towards this goal, full-duplex (FD) transceivers can potentially be an efficient and practical solution towards reducing the delay in platooning networks. In this paper, we study the delay performance of dynamic and TDMAbased scheduling algorithms and assess the effect of FD-enabled vehicles with imperfect self-interference cancellation (SIC). By simulations, we demonstrate the performance-complexity tradeoff of these algorithms and show that a TDMA centralized scheme with low-complexity and overhead can achieve comparable performance with a fully-dynamic, centralized algorithm.


title: Spin pumping between noncollinear ferromagnetic insulators through thin superconductors

abstract: Dynamical magnets can pump spin currents into superconductors. To understand such a phenomenon, we develop a method utilizing the generalized Usadel equation to describe time-dependent situations in superconductors in contact with dynamical ferromagnets. Our proof-of-concept theory is valid when there is sufficient dephasing at finite temperatures, and when the ferromagnetic insulators are weakly polarized. We derive the effective equation of motion for the Keldysh Green's function focusing on a thin film superconductor sandwiched between two noncollinear ferromagnetic insulators of which one is dynamical. In turn, we compute the spin currents in the system as a function of the temperature and the magnetizations' relative orientations. When the induced Zeeman splitting is weak, we find that the spin accumulation in the superconducting state is smaller than in the normal states due to the lack of quasiparticle states inside the gap. This feature gives a lower backflow spin current from the superconductor as compared to a normal metal. Furthermore, in superconductors, we find that the ratio between the backflow spin current in the parallel and anti-parallel magnetization configuration depends strongly on temperature, in contrast to the constant ratio in normal metals.


title: Certifiable Risk-Based Engineering Design Optimization

abstract: Reliable, risk-averse design of complex engineering systems with optimized performance requires dealing with uncertainties. A conventional approach is to add safety margins to a design that was obtained from deterministic optimization. Safer engineering designs require appropriate cost and constraint function definitions that capture the \textit{risk} associated with unwanted system behavior in the presence of uncertainties. The paper proposes two notions of certifiability. The first is based on accounting for the magnitude of failure to ensure data-informed conservativeness. The second is the ability to provide optimization convergence guarantees by preserving convexity. Satisfying these notions leads to \textit{certifiable} risk-based design optimization (CRiBDO). In the context of CRiBDO, risk measures based on superquantile (a.k.a.\ conditional value-at-risk) and buffered probability of failure are analyzed. CRiBDO is contrasted with reliability-based design optimization (RBDO), where uncertainties are accounted for via the probability of failure, through a structural and a thermal design problem. A reformulation of the short column structural design problem leading to a convex CRiBDO problem is presented. The CRiBDO formulations capture more information about the problem to assign the appropriate conservativeness, exhibit superior optimization convergence by preserving properties of underlying functions, and alleviate the adverse effects of choosing hard failure thresholds required in RBDO.


title: DAEs for Linear Inverse Problems: Improved Recovery with Provable Guarantees

abstract: Generative priors have been shown to provide improved results over sparsity priors in linear inverse problems. However, current state of the art methods suffer from one or more of the following drawbacks: (a) speed of recovery is slow; (b) reconstruction quality is deficient; (c) reconstruction quality is contingent on a computationally expensive process of tuning hyperparameters. In this work, we address these issues by utilizing Denoising Auto Encoders (DAEs) as priors and a projected gradient descent algorithm for recovering the original signal. We provide rigorous theoretical guarantees for our method and experimentally demonstrate its superiority over existing state of the art methods in compressive sensing, inpainting, and super-resolution. We find that our algorithm speeds up recovery by two orders of magnitude (over 100x), improves quality of reconstruction by an order of magnitude (over 10x), and does not require tuning hyperparameters.


title: VoxelHop: Successive Subspace Learning for ALS Disease Classification Using Structural MRI

abstract: Deep learning has great potential for accurate detection and classification of diseases with medical imaging data, but the performance is often limited by the number of training datasets and memory requirements. In addition, many deep learning models are considered a "black-box," thereby often limiting their adoption in clinical applications. To address this, we present a successive subspace learning model, termed VoxelHop, for accurate classification of Amyotrophic Lateral Sclerosis (ALS) using T2-weighted structural MRI data. Compared with popular convolutional neural network (CNN) architectures, VoxelHop has modular and transparent structures with fewer parameters without any backpropagation, so it is well-suited to small dataset size and 3D imaging data. Our VoxelHop has four key components, including (1) sequential expansion of near-to-far neighborhood for multi-channel 3D data; (2) subspace approximation for unsupervised dimension reduction; (3) label-assisted regression for supervised dimension reduction; and (4) concatenation of features and classification between controls and patients. Our experimental results demonstrate that our framework using a total of 20 controls and 26 patients achieves an accuracy of 93.48$\%$ and an AUC score of 0.9394 in differentiating patients from controls, even with a relatively small number of datasets, showing its robustness and effectiveness. Our thorough evaluations also show its validity and superiority to the state-of-the-art 3D CNN classification methods. Our framework can easily be generalized to other classification tasks using different imaging modalities.


title: Long-range Rydberg-atom-ion molecules of Rb and Cs

abstract: We propose a novel type of Rydberg dimer, consisting of a Rydberg-state atom bound to a distant positive ion. The molecule is formed through long-range electric-multipole interaction between the Rydberg atom and the point-like ion. We present potential energy curves (PECs) that are asymptotically connected with Rydberg $nP$- or $nD$-states of rubidium or cesium. The PECs exhibit deep, long-range wells which support many vibrational states of Rydberg-atom-ion molecules (RAIMs). We consider photo-association of RAIMs in both the weak and the strong optical-coupling regimes between initial and Rydberg states of the neutral atom. Experimental considerations for the realization of RAIMs are discussed.


title: Optimal leap angle of legged and legless insects in a landscape of uniformly-distributed random obstacles

abstract: We investigate theoretically the ballistic motion of small legged insects and legless larvae after a jump. Notwithstanding their completely different morphologies and jumping strategies, these legged and legless animals have convergently evolved to jump with a take-off angle of 60$^\circ$, which differs significantly from the leap angle of 45$^\circ$ that allows reaching maximum range. We show that in the presence of uniformly-distributed random obstacles the probability of a successful jump is directly proportional to the area under the trajectory. In the presence of negligible air drag, the probability is maximized by a take-off angle of 60$^\circ$. The numerical calculation of the trajectories shows that they are significantly affected by air drag, but the maximum probability of a successful jump still occurs for a take-off angle of 59-60$^\circ$ in a wide range of the dimensionless Reynolds and Froude numbers that control the process. We discuss the implications of our results for the exploration of unknown environments such as planets and disaster scenarios by using jumping robots.


title: Modelling the Vibration-Rotation Energy Levels of D218O molecule with Effective Hamiltonian Method

abstract: Using the effective rotational Hamiltonian method, we have conducted an analysis of the D218O ground and the first excited vibration state rotational energy levels. The analysis was based on the effective Hamiltonians represented in several forms: the Watson Hamiltonian, the Hamiltonian expressed in terms of Pad\'e-Borel approximants, and the Hamiltonian in terms of generating function expansions. The rotational and centrifugal constants have been determined from the fitting, which describe the rotational energy levels with an accuracy close to that of the experimental data. The predictive performance of the model with respect to highly excited rotational states has been evaluated against the global variation calculations. The radii of convergence of the effective rotation Hamiltonian series have been determined.


title: A Latent Variable Model for Relational Events with Multiple Receivers

abstract: Directional relational event data, such as email data, often contain unicast messages (i.e., messages of one sender towards one receiver) and multicast messages (i.e., messages of one sender towards multiple receivers). The Enron email data that is the focus in this paper consists of 31% multicast messages. Multicast messages contain important information about the roles of actors in the network, which is needed for better understanding social interaction dynamics. In this paper a multiplicative latent factor model is proposed to analyze such relational data. For a given message, all potential receiver actors are placed on a suitability scale, and the actors are included in the receiver set whose suitability score exceeds a threshold value. Unobserved heterogeneity in the social interaction behavior is captured using a multiplicative latent factor structure with latent variables for actors (which differ for actors as senders and receivers) and latent variables for individual messages. A Bayesian computational algorithm, which relies on Gibbs sampling, is proposed for model fitting. Model assessment is done using posterior predictive checks. Based on our analyses of the Enron email data, a mc-amen model with a 2 dimensional latent variable can accurately capture the empirical distribution of the cardinality of the receiver set and the composition of the receiver sets for commonly observed messages. Moreover the results show that actors have a comparable (but not identical) role as a sender and as a receiver in the network.


title: Leveraging Structured Biological Knowledge for Counterfactual Inference: a Case Study of Viral Pathogenesis

abstract: Counterfactual inference is a useful tool for comparing outcomes of interventions on complex systems. It requires us to represent the system in form of a structural causal model, complete with a causal diagram, probabilistic assumptions on exogenous variables, and functional assignments. Specifying such models can be extremely difficult in practice. The process requires substantial domain expertise, and does not scale easily to large systems, multiple systems, or novel system modifications. At the same time, many application domains, such as molecular biology, are rich in structured causal knowledge that is qualitative in nature. This manuscript proposes a general approach for querying a causal biological knowledge graph, and converting the qualitative result into a quantitative structural causal model that can learn from data to answer the question. We demonstrate the feasibility, accuracy and versatility of this approach using two case studies in systems biology. The first demonstrates the appropriateness of the underlying assumptions and the accuracy of the results. The second demonstrates the versatility of the approach by querying a knowledge base for the molecular determinants of a severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2)-induced cytokine storm, and performing counterfactual inference to estimate the causal effect of medical countermeasures for severely ill patients.


title: Overlapping Community Detection in Temporal Text Networks

abstract: Analyzing the groups in the network based on same attributes, functions or connections between nodes is a way to understand network information. The task of discovering a series of node groups is called community detection. Generally, two types of information can be utilized to fulfill this task, i.e., the link structures and the node attributes. The temporal text network is a special kind of network that contains both sources of information. Typical representatives include online blog networks, the World Wide Web (WWW) and academic citation networks. In this paper, we study the problem of overlapping community detection in temporal text network. By examining 32 large temporal text networks, we find a lot of edges connecting two nodes with no common community and discover that nodes in the same community share similar textual contents. This scenario cannot be quantitatively modeled by practically all existing community detection methods. Motivated by these empirical observations, we propose MAGIC (Model Affiliation Graph with Interacting Communities), a generative model which captures community interactions and considers the information from both link structures and node attributes. Our experiments on 3 types of datasets show that MAGIC achieves large improvements over 4 state-of-the-art methods in terms of 4 widely-used metrics.


title: Lateral spreading effects on VLBI radio images of neutron star merger jets

abstract: Very long base interferometry (VLBI) radio images recently proved to be essential in breaking the degeneracy in the ejecta model for the neutron star merger GW170817. We discuss the properties of synthetic radio images of merger jet afterglows by using semi-analytic models of laterally spreading or non-spreading jets. The image centroid initially moves away from the explosion point in the sky with apparent superlumianal velocity. After reaching a maximum displacement its motion is reversed. This behavior is in line with that found in full hydrodynamics simulations. We show that the evolution of the centroid shift and image size are significantly different when lateral spreading is considered. For Gaussian jet models with plausible model parameters, the morphology of the laterally spreading jet images is much closer to circular. The maximum displacement of the centroid shift and its occurrence time are smaller/earlier by a factor of a few for spreading jets. Our results indicate that it is crucial to include lateral spreading effects when analyzing radio images of neutron star merger jets. We also obtain the viewing angle $\theta_{\rm obs}$ by using the centroid shift of radio images provided the ratio of the jet core size $\theta_{c}$ and $\theta_{\rm obs}$ is determined by afterglow light curves. We show that a simple method based on a point-source approximation provides reasonable angular estimates ($10-20\%$ errors at most). By taking a sample of laterally spreading structured Gaussian jets, we obtain $\theta_{\rm obs} \sim 0.32$ for GW 170817, consistent with previous studies.


title: Delocalisation and absolute-value-FKG in the solid-on-solid model

abstract: The solid-on-solid model is a model of height functions, introduced to study the interface separating the $+$ and $-$ phase in the Ising model. The planar solid-on-solid model thus corresponds to the three-dimensional Ising model. Delocalisation of this model at high temperature and at zero slope was first derived by Fr\"ohlich and Spencer, in parallel to proving the Berezinskii-Kosterlitz-Thouless phase transition. The first main result of this article consists of a simple, alternative proof of delocalisation of the solid-on-solid model. In fact, the argument is more general: it works on any planar graph -- not just the square lattice -- and implies that the interface delocalises at any slope rather than exclusively at the zero slope. The second main result, proved independently, is that the absolute value of the height function in this model satisfies the FKG lattice condition. This property is believed to be intimately linked to the (quantitative) understanding of delocalisation, given the recent successes in the context of the square ice and (more generally) the six-vertex model, and it has already been used elsewhere in a new proof of the BKT transition. The new FKG inequality is shown to hold true for both the solid-on-solid model as well as for the discrete Gaussian model, which in this article implies that the two notions of delocalisation, namely delocalisation in finite volume and delocalisation of shift-invariant Gibbs measures, coincide.


title: Secure Process Algebra

abstract: Based on our previous work on truly concurrent process algebras APTC, we use it to verify the security protocols. This work (called Secure APTC, abbreviated SAPTC) have the following advantages in verifying security protocols: (1) It has a firmly theoretic foundations, including equational logics, structured operational semantics, and axiomatizations between them; (2) It has rich expressive powers to describe security protocols. Cryptographic operations are modeled as atomic actions and can be extended, explicit parallelism and communication mechanism to modeling communication operations and principals, rich computational properties to describing computational logics in the security protocols, including conditional guards, alternative composition, sequential composition, parallelism and communication, encapsulation and deadlock, recursion, abstraction. (3) Especially by abstraction, it is convenient and obvious to observe the relations between the inputs and outputs of a security protocols, including the relations without any attack, the relations under each known attack, and the relations under unknown attacks if the unknown attacks can be described.


title: Approximation of the spectral fractional powers of the Laplace-Beltrami Operator

abstract: We consider numerical approximations of spectral fractional Laplace-Beltrami problems on closed surfaces. The proposed numerical algorithms rely on their Balakrishnan integral representation and consist of a sinc quadrature coupled with standard finite element methods for parametric surfaces. Possibly up to a log term, optimal rates of convergence are observed and derived analytically when the discrepancies between the exact solution and its numerical approximations are measured in $L^2$ and $H^1$. The performances of the algorithms are illustrated in different settings including the approximation of Gaussian fields on surfaces.


title: Resolution with Symmetry Rule applied to Linear Equations

abstract: This paper considers the length of resolution proofs when using Krishnamurthy's classic symmetry rules. We show that inconsistent linear equation systems of bounded width over a fixed finite field $\mathbb{F}_p$ with $p$ a prime have, in their standard encoding as CNFs, polynomial length resolutions when using the local symmetry rule (SRC-II). As a consequence it follows that the multipede instances for the graph isomorphism problem encoded as CNF formula have polynomial length resolution proofs. This contrasts exponential lower bounds for individualization-refinement algorithms on these graphs. For the Cai-F\"urer-Immerman graphs, for which Tor\'an showed exponential lower bounds for resolution proofs (SAT 2013), we also show that already the global symmetry rule (SRC-I) suffices to allow for polynomial length proofs.


title: Direct Observation of Collective Electronuclear Modes About a Quantum Critical Point

abstract: We directly measure the low energy excitation modes of the quantum Ising magnet LiHoF$_4$ using microwave spectroscopy. Instead of a single electronic mode, we find a set of collective electronuclear modes, in which the spin-$1/2$ Ising electronic spins hybridize with the bath of spin-$7/2$ Ho nuclear spins. The lowest-lying electronuclear mode softens at the approach to the quantum critical point, even in the presence of disorder. This softening is rapidly quenched by a longitudinal magnetic field. Similar electronuclear structures should exist in other spin-based quantum Ising systems.


title: Identification of a Local Sample of Gamma-Ray Bursts Consistent with a Magnetar Giant Flare Origin

abstract: Cosmological Gamma-Ray Bursts (GRBs) are known to arise from distinct progenitor channels: short GRBs mostly from neutron star mergers and long GRBs from a rare type of core-collapse supernova (CCSN) called collapsars. Highly magnetized neutron stars called magnetars also generate energetic, short-duration gamma-ray transients called Magnetar Giant Flares (MGFs). Three have been observed from the Milky Way and its satellite galaxies and they have long been suspected to contribute a third class of extragalactic GRBs. We report the unambiguous identification of a distinct population of 4 local ($<$5 Mpc) short GRBs, adding GRB 070222 to previously discussed events. While identified solely based on alignment to nearby star-forming galaxies, their rise time and isotropic energy release are independently inconsistent with the larger short GRB population at $>$99.9% confidence. These properties, the host galaxies, and non-detection in gravitational waves all point to an extragalactic MGF origin. Despite the small sample, the inferred volumetric rates for events above $4\times10^{44}$ erg of $R_{MGF}=3.8_{-3.1}^{+4.0}\times10^5$ Gpc$^{-3}$ yr$^{-1}$ place MGFs as the dominant gamma-ray transient detected from extragalactic sources. As previously suggested, these rates imply that some magnetars produce multiple MGFs, providing a source of repeating GRBs. The rates and host galaxies favor common CCSN as key progenitors of magnetars.


title: Self-Supervised Vessel Enhancement Using Flow-Based Consistencies

abstract: Vessel segmentation is an essential task in many clinical applications. Although supervised methods have achieved state-of-art performance, acquiring expert annotation is laborious and mostly limited for two-dimensional datasets with a small sample size. On the contrary, unsupervised methods rely on handcrafted features to detect tube-like structures such as vessels. However, those methods require complex pipelines involving several hyper-parameters and design choices rendering the procedure sensitive, dataset-specific, and not generalizable. We propose a self-supervised method with a limited number of hyper-parameters that is generalizable across modalities. Our method uses tube-like structure properties, such as connectivity, profile consistency, and bifurcation, to introduce inductive bias into a learning algorithm. To model those properties, we generate a vector field that we refer to as a flow. Our experiments on various public datasets in 2D and 3D show that our method performs better than unsupervised methods while learning useful transferable features from unlabeled data. Unlike generic self-supervised methods, the learned features learn vessel-relevant features that are transferable for supervised approaches, which is essential when the number of annotated data is limited.


title: Rapid Spectral Variability of a Giant Flare from a Magnetar in NGC 253

abstract: Magnetars are slowly-rotating neutron stars with extremely strong magnetic fields ($10^{13-15}$ G), episodically emitting $\sim100$ ms long X-ray bursts with energies of $\sim10^{40-41}$ erg. Rarely, they produce extremely bright, energetic giant flares that begin with a short ($\sim0.2$ s), intense flash, followed by fainter, longer lasting emission modulated by the magnetar spin period (typically 2-12 s), thus confirming their origin. Over the last 40 years, only three such flares have been observed in our local group; they all suffered from instrumental saturation due to their extreme intensity. It has been proposed that extra-galactic giant flares likely constitute a subset of short gamma-ray bursts, noting that the sensitivity of current instrumentation prevents us from detecting the pulsating tail, while the initial bright flash is readily observable out to distances $\sim 10-20$ Mpc. Here, we report X- and gamma-ray observations of GRB 200415A, which exhibits a rapid onset, very fast time variability, flat spectra and significant sub-millisecond spectral evolution. These attributes match well with those expected for a giant flare from an extra-galactic magnetar, noting that GRB 200415A is directionally associated with the galaxy NGC 253 ($\sim$3.5 Mpc away). The detection of $\sim3$ MeV photons provides definitive evidence for relativistic motion of the emitting plasma. The observed rapid spectral evolution can naturally be generated by radiation emanating from such rapidly-moving gas in a rotating magnetar.


title: CobBO: Coordinate Backoff Bayesian Optimization with Two-Stage Kernels

abstract: Bayesian optimization is a popular method for optimizing expensive black-box functions. Yet it oftentimes struggles in high dimensions where the computation could be prohibitively heavy. To alleviate this problem, we introduce Coordinate backoff Bayesian Optimization (CobBO) with two-stage kernels. During each round, the first stage uses a simple coarse kernel that sacrifices the approximation accuracy for computational efficiency. It captures the global landscape by purposely smoothing away local fluctuations. Then, in the second stage of the same round, past observed points in the full space are projected to the selected subspace to form virtual points. These virtual points, along with the means and variances of their unknown function values estimated using the simple kernel of the first stage, are fitted to a more sophisticated kernel model in the second stage. Within the selected low dimensional subspace, the computational cost of conducting Bayesian optimization therein becomes affordable. To further enhance the performance, a sequence of consecutive observations in the same subspace are collected, which can effectively refine the approximation of the function. This refinement lasts until a stopping rule is met determining when to back off from a certain subspace and switch to another. This decoupling significantly reduces the computational burden in high dimensions, which fully leverages the observations in the whole space rather than only relying on observations in each coordinate subspace. Extensive evaluations show that CobBO finds solutions comparable to or better than other state-of-the-art methods for dimensions ranging from tens to hundreds, while reducing both the trial complexity and computational costs.


title: A mean field game model of firm--level innovation

abstract: Knowledge spillovers occur when a firm researches a new technology and that technology is adapted or adopted by another firm, resulting in a social value of the technology that is larger than the initially predicted private value. As a result, firms systematically under--invest in research compared with the socially optimal investment strategy. Understanding the level of under--investment, as well as policies to correct it, is an area of active economic research. In this paper, we develop a new model of spillovers, taking inspiration from the available microeconomic data. We prove existence and uniqueness of solutions to the model, and we conduct some initial simulations to understand how indirect spillovers contribute to the productivity of a sector.


title: On the Computational Properties of Obviously Strategy-Proof Mechanisms

abstract: We present a polynomial-time algorithm that determines, given some choice rule, whether there exists an obviously strategy-proof mechanism for that choice rule.


title: Microscopic theory of high-temperature superconductivity in strongly correlated electronic systems

abstract: A consistent microscopic theory of superconductivity for strongly correlated electronic systems is presented. The Dyson equation for the normal and anomalous Green functions for the projected (Hubbard) electronic operators is derived. To compare various mechanisms of pairing, the extended Hubbard model is considered where the intersite Coulomb repulsion and the electron-phonon interaction are taken into account. We obtain the $d$-wave pairing with high-$T_c$ induced by the strong kinematical interaction of electrons with spin fluctuations, while the Coulomb repulsion and the electron-phonon interaction are suppressed for the $d$-wave pairing. These results support the spin-fluctuation mechanism of high-temperature superconductivity in cuprates previously proposed in phenomenological models.


title: Temporal Knowledge Graph Forecasting with Neural ODE

abstract: There has been an increasing interest in inferring future links on temporal knowledge graphs (KG). While links on temporal KGs vary continuously over time, the existing approaches model the temporal KGs in discrete state spaces. To this end, we propose a novel continuum model by extending the idea of neural ordinary differential equations (ODEs) to multi-relational graph convolutional networks. The proposed model preserves the continuous nature of dynamic multi-relational graph data and encodes both temporal and structural information into continuous-time dynamic embeddings. In addition, a novel graph transition layer is applied to capture the transitions on the dynamic graph, i.e., edge formation and dissolution. We perform extensive experiments on five benchmark datasets for temporal KG reasoning, showing our model's superior performance on the future link forecasting task.


title: Glioblastoma Treatments with Photo-Nanotherapeutics Induce Massive Devascularization and Tumor Elimination

abstract: Glioblastoma multiforme (GBM) is one of the deadliest and most aggressive cancers, remarkably resilient to current therapeutic treatments. Here, we report in vivo studies of GBM treatments based on photo-nanotherapeutics able to induce synergistic killing mechanisms. Core-shell nanoparticles have been weaponized by combining the photophysical properties of an Ir(III) complex - a new generation PDT agent - with the thermo-plasmonic effects of resonant gold nanospheres. To investigate the damages induced in GBM treated with these nanosystems and exposed to optical radiation, we recurred to the X-ray phase contrast tomography (XPCT). This high-resolution 3D imaging technique highlighted a vast devascularization process by micro-vessels disruption, which is responsible of a tumor elimination without relapse.