title: Impact of dark matter models on the EoR 21-cm signal bispectrum

abstract: The nature of dark matter sets the timeline for the formation of first collapsed halos and thus affects the sources of reionization. Here, we consider two different models of dark matter: cold dark matter (CDM) and thermal warm dark matter (WDM), and study how they impact the epoch of reionization (EoR) and its 21-cm observables. Using a suite of simulations, we find that in the WDM scenarios, the structure formation on small scales gets suppressed resulting in a smaller number of low mass dark matter halos compared to the CDM scenario. Assuming that the efficiency of sources in producing ionizing photons remain the same, this leads to a lower number of total ionizing photons produced at any given cosmic time and thus in a delay in the reionization process. We also find visual differences in the neutral hydrogen (HI) topology and in 21-cm maps in case of the WDM compared to the CDM. However, differences in the 21-cm power spectra, at the same neutral fraction, are found to be small. Thus, we focus on the non-Gaussianity in the EoR 21-cm signal, quantified through its bispectrum. We find that the 21-cm bispectra (driven by the HI topology) are significantly different in WDM models when compared with CDM, even for same mass averaged neutral fractions. This establishes that the 21-cm bispectrum is a unique and promising way to differentiate between different dark matter models, and can be used to constrain the nature of the dark matter in the future EoR observations.


title: Towards a unified description of knotted light

abstract: Several complementary approaches to investigate knotted solutions of Maxwell's equations in vacuum are now available in literature. However, only partial results towards a unified description of them have been achieved. This is potentially worrying, since new developments of the theory possibly lie at the intersection between the appropriate formalisms. The aim of this paper is to pave the way for a theoretical framework in which this unification becomes feasible, in principle.


title: Resonant Tunneling Diodes Strongly Coupled to the Cavity Field

abstract: We demonstrate Resonant Tunneling Diodes, embedded in double metal cavities, strongly coupled to the cavity field, while maintaining their electronic properties. We measure the polariton dispersion and find a relative vacuum Rabi splitting of 16%, which explicitly qualifies for the strong-coupling regime. Additionally we show that electronic transport has a significant influence on the polaritons by modulating the coupling strength. The merge between electronic transport and polaritonic physics in our devices opens up a new aspect of cavity quantum electro-dynamics and integrated photonics.


title: Health Information Standardisation as a basis for Learning Health Systems

abstract: Standardisation of healthcare has been the focus of hospital management and clinicians since the 1990's. Electronic health records were already intended to provide clinicians with real-time access to clinical knowledge and care plans while also recording and storing vast amounts of patient data. It took more than three decades for electronic health records to start to become ubiquitous in all aspects of healthcare. Learning health systems are the next stage in health information systems whose potential benefits have been promoted for more than a decade - yet few are seen in clinical practice. Clinical care process specifications are a primary form of clinical documentation used in all aspects of healthcare, but they lack standardisation. This thesis contends that this lack of standardisation was inherited by electronic health records and that this is a significant issue holding back the development and adoption of learning health systems. Standardisation of clinical documents is used to mitigate issues in electronic health records as a basis for enabling learning health systems. One type of clinical document, the caremap, is standardised in order to achieve an effective approach to containing resources and ensuring consistency and quality. This led not only to improved clinicians' comprehension and acceptance of the clinical document, but also to reduced time expended in developing complicated learning health systems built using the input of clinical experts.


title: Deep Learning based Frameworks for Handling Imbalance in DGA, Email, and URL Data Analysis

abstract: Deep learning is a state of the art method for a lot of applications. The main issue is that most of the real-time data is highly imbalanced in nature. In order to avoid bias in training, cost-sensitive approach can be used. In this paper, we propose cost-sensitive deep learning based frameworks and the performance of the frameworks is evaluated on three different Cyber Security use cases which are Domain Generation Algorithm (DGA), Electronic mail (Email), and Uniform Resource Locator (URL). Various experiments were performed using cost-insensitive as well as cost-sensitive methods and parameters for both of these methods are set based on hyperparameter tuning. In all experiments, the cost-sensitive deep learning methods performed better than the cost-insensitive approaches. This is mainly due to the reason that cost-sensitive approach gives importance to the classes which have a very less number of samples during training and this helps to learn all the classes in a more efficient manner.


title: Use of Available Data To Inform The COVID-19 Outbreak in South Africa: A Case Study

abstract: The coronavirus disease (COVID-19), caused by the SARS-CoV-2 virus, was declared a pandemic by the World Health Organization (WHO) in February 2020. Currently, there are no vaccines or treatments that have been approved after clinical trials. Social distancing measures, including travel bans, school closure, and quarantine applied to countries or regions are being used to limit the spread of the disease and the demand on the healthcare infrastructure. The seclusion of groups and individuals has led to limited access to accurate information. To update the public, especially in South Africa, announcements are made by the minister of health daily. These announcements narrate the confirmed COVID-19 cases and include the age, gender, and travel history of people who have tested positive for the disease. Additionally, the South African National Institute for Communicable Diseases updates a daily infographic summarising the number of tests performed, confirmed cases, mortality rate, and the regions affected. However, the age of the patient and other nuanced data regarding the transmission is only shared in the daily announcements and not on the updated infographic. To disseminate this information, the Data Science for Social Impact research group at the University of Pretoria, South Africa, has worked on curating and applying publicly available data in a way that is computer-readable so that information can be shared to the public - using both a data repository and a dashboard. Through collaborative practices, a variety of challenges related to publicly available data in South Africa came to the fore. These include shortcomings in the accessibility, integrity, and data management practices between governmental departments and the South African public. In this paper, solutions to these problems will be shared by using a publicly available data repository and dashboard as a case study.


title: Deep learning for synthetic microstructure generation in a materials-by-design framework for heterogeneous energetic materials

abstract: The sensitivity of heterogeneous energetic (HE) materials (propellants, explosives, and pyrotechnics) is critically dependent on their microstructure. Initiation of chemical reactions occurs at hot spots due to energy localization at sites of porosities and other defects. Emerging multi-scale predictive models of HE response to loads account for the physics at the meso-scale, i.e. at the scale of statistically representative clusters of particles and other features in the microstructure. Meso-scale physics is infused in machine-learned closure models informed by resolved meso-scale simulations. Since microstructures are stochastic, ensembles of meso-scale simulations are required to quantify hot spot ignition and growth and to develop models for microstructure-dependent energy deposition rates. We propose utilizing generative adversarial networks (GAN) to spawn ensembles of synthetic heterogeneous energetic material microstructures. The method generates qualitatively and quantitatively realistic microstructures by learning from images of HE microstructures. We show that the proposed GAN method also permits the generation of new morphologies, where the porosity distribution can be controlled and spatially manipulated. Such control paves the way for the design of novel microstructures to engineer HE materials for targeted performance in a materials-by-design framework.


title: Learning Unsplit-field-based PML for the FDTD Method by Deep Differentiable Forest

abstract: Alternative unsplit-filed-based absorbing boundary condition (ABC) computation approach for the finite-difference time-domain (FDTD) is efficiently proposed based on the deep differentiable forest. The deep differentiable forest (DDF) model is introduced to replace the conventional perfectly matched layer (PML) ABC during the computation process of FDTD. The field component data on the interface of traditional PML are adopted to train the DDF-based PML model. DDF has the advantages of both trees and neural networks. Its tree structure is easy to use and explain for the numerical PML data. It has full differentiability like neural networks. DDF could be trained by powerful techniques from deep learning. So compared to the traditional PML implementation, the proposed method can greatly reduce the size of FDTD physical domain and the calculation complexity of FDTD due to the novel model which only involves the one-cell thickness of boundary layer. Numerical simulations have been carried out to benchmark the performance of the proposed approach. Numerical results illustrate that the proposed method can not only easily replace the traditional PML, but also be integrated into the FDTD computation process with satisfactory numerical accuracy and compatibility to the FDTD.


title: CSRN: Collaborative Sequential Recommendation Networks for News Retrieval

abstract: Nowadays, news apps have taken over the popularity of paper-based media, providing a great opportunity for personalization. Recurrent Neural Network (RNN)-based sequential recommendation is a popular approach that utilizes users' recent browsing history to predict future items. This approach is limited that it does not consider the societal influences of news consumption, i.e., users may follow popular topics that are constantly changing, while certain hot topics might be spreading only among specific groups of people. Such societal impact is difficult to predict given only users' own reading histories. On the other hand, the traditional User-based Collaborative Filtering (UserCF) makes recommendations based on the interests of the "neighbors", which provides the possibility to supplement the weaknesses of RNN-based methods. However, conventional UserCF only uses a single similarity metric to model the relationships between users, which is too coarse-grained and thus limits the performance. In this paper, we propose a framework of deep neural networks to integrate the RNN-based sequential recommendations and the key ideas from UserCF, to develop Collaborative Sequential Recommendation Networks (CSRNs). Firstly, we build a directed co-reading network of users, to capture the fine-grained topic-specific similarities between users in a vector space. Then, the CSRN model encodes users with RNNs, and learns to attend to neighbors and summarize what news they are reading at the moment. Finally, news articles are recommended according to both the user's own state and the summarized state of the neighbors. Experiments on two public datasets show that the proposed model outperforms the state-of-the-art approaches significantly.


title: Efficient mesh deformation using radial basis functions with a grouping-circular-based greedy algorithm

abstract: A grouping-circular-based (GCB) greedy algorithm is proposed to promote the efficiency of mesh deformation. By incorporating the multigrid concept that the computational errors on the fine mesh can be approximated with those on the coarse mesh, this algorithm stochastically divides all boundary nodes into $m$ groups and uses the locally maximum radial basis functions (RBF) interpolation error of each group as an approximation to the globally maximum one of all boundary nodes in each iterative procedure for reducing the RBF support nodes. For this reason, it avoids the interpolation conducted at all boundary nodes and thus reduces the corresponding computational complexity from $O\left({N_c^2{N_b}} \right)$ to $O\left( {N_c^3} \right)$. Besides, after $m$ iterations, the interpolation errors of all boundary nodes are computed once, thus allowing all boundary nodes can contribute to error control. Two canonical deformation problems of the ONERA M6 wing and the DLR-F6 Wing-Body-Nacelle-Pylon configuration are computed to validate the GCB greedy algorithm. The computational results show that the GCB greedy algorithm is able to remarkably promote the efficiency of computing the interpolation errors in the data reducing procedure by dozens of times. Because an increase of $m$ results in an increase of $N_c$, an appropriate range of $\left[ {{N_b}/{N_c},{\rm{ }}2{N_b}/{N_c}}\right]$ for $m$ is suggested to prevent too much additional computations for solving the linear algebraic system and computing the displacements of volume nodes induced by the increase of $N_c $. The results also show that the GCB greedy algorithm tends to generate a more significant efficiency improvement for mesh deformation when a larger-scale mesh is applied.


title: Speed of sound from fundamental physical constants

abstract: Two dimensionless fundamental physical constants, the fine structure constant $\alpha$ and the proton-to-electron mass ratio $\frac{m_p}{m_e}$ are attributed a particular importance from the point of view of nuclear synthesis, formation of heavy elements, planets, and life-supporting structures. Here, we show that a combination of these two constants results in a new dimensionless constant which provides the upper bound for the speed of sound in condensed phases, $v_u$. We find that $\frac{v_u}{c}=\alpha\left(\frac{m_e}{2m_p}\right)^{\frac{1}{2}}$, where $c$ is the speed of light in vacuum. We support this result by a large set of experimental data and first principles computations for atomic hydrogen. Our result expands current understanding of how fundamental constants can impose new bounds on important physical properties.


title: Some fractal thoughts about the COVID-19 infection outbreak

abstract: Some ideas are presented about the physical motivation of the apparent capacity of generalized logistic equations to describe the outbreak of the COVID-19 infection, and in general of quite many other epidemics. The main focuses here are: the complex, possibly fractal, structure of the locus describing the "contagion event set"; what can be learnt from the models of trophic webs with "herd behaviour".


title: Exogenous Shocks Lead to Increased Responsiveness and Shifts in Sentimental Resilience in Online Discussions

abstract: The effects of real-world events on the dynamics and sentiment expressed through online conversations is not entirely understood. In particular, the dynamics of highly polarized communities, deeply invested in the outcome of a particular event naturally tend to have a contrasting emotional sensitivity to exogenous events. In this study, we analyze Twitter conversations during the Mexico vs Germany group match of the 2018 FIFA World Cup, and investigate the effect of the live game outcomes on the conversation dynamics and sentiment. We find that the exogenous events influence conversation volume and virality less, while having high influence on user responsiveness. Interestingly, we observe a shift in the influence that exogenous events have on fans immediately following the only goal scored in the game. The emotional resilience of fans of the advantaged team increased following this exogenous shock. In contrast, the sentiment of the disadvantaged team was left more susceptible to further exogenous events following the exogenous shock. These results support the fact that user engagement and emotional resilience of an online population holding highly polarized stances can be manipulated through an exogenous event of high importance.


title: Underwater quantum communication over a 30-meter flume tank

abstract: Underwater quantum communication has recently been explored using polarization and orbital angular momentum. Here, we show that spatially structured modes, e.g., a coherent superposition of beams carrying both polarization and orbital angular momentum, can also be used for underwater quantum cryptography. We also use the polarization degree of freedom for quantum communication in an underwater channel having various lengths, up to $30$ meters. The underwater channel proves to be a difficult environment for establishing quantum communication as underwater optical turbulence results in significant beam wandering and distortions. However, the errors associated to the turbulence do not result in error rates above the threshold for establishing a positive key in a quantum communication link with both the polarization and spatially structured photons. The impact of the underwater channel on the spatially structured modes is also investigated at different distances using polarization tomography.


title: Analysis on DeepLabV3+ Performance for Automatic Steel Defects Detection

abstract: Our works experimented DeepLabV3+ with different backbones on a large volume of steel images aiming to automatically detect different types of steel defects. Our methods applied random weighted augmentation to balance different defects types in the training set. And then applied DeeplabV3+ model three different backbones, ResNet, DenseNet and EfficientNet, on segmenting defection regions on the steel images. Based on experiments, we found that applying ResNet101 or EfficientNet as backbones could reach the best IoU scores on the test set, which is around 0.57, comparing with 0.325 for using DenseNet. Also, DeepLabV3+ model with ResNet101 as backbone has the fewest training time.


title: High-resolution wide-field OCT angiography with a self-navigation method to correct microsaccades and blinks

abstract: In this study, we demonstrate a novel self-navigated motion correction method that suppresses eye motion and blinking artifacts on wide-field optical coherence tomographic angiography (OCTA) without requiring any hardware modification. Highly efficient GPU-based, real-time OCTA image acquisition and processing software was developed to detect eye motion artifacts. The algorithm includes an instantaneous motion index that evaluates the strength of motion artifact on en face OCTA images. Areas with suprathreshold motion and eye blinking artifacts are automatically rescanned in real-time. Both healthy eyes and eyes with diabetic retinopathy were imaged, and the self-navigated motion correction performance was demonstrated.


title: Optimal User-Cell Association for 360 Video Streaming over Dense Wireless Networks

abstract: Delivering 360 degree video streaming for virtual and augmented reality presents many technical challenges especially in bandwidth starved wireless environments. Recently, a so-called two-tier approach has been proposed which delivers a basic-tier chunk and select enhancement-tier chunks to improve user experience while reducing network resources consumption. The video chunks are to be transmitted via unicast or multicast over an ultra-dense small cell infrastructure with enough bandwidth where small cells store video chunks in local caches. In this setup, user-cell association algorithms play a central role to efficiently deliver video since users may only download video chunks from the cell they are associated with. Motivated by this, we jointly formulate the problem of user-cell association and video chunk multicasting/unicasting as a mixed integer linear programming, prove its NP-hardness, and study the optimal solution via the Branch-and-Bound method. We then propose two polynomial-time, approximation algorithms and show via extensive simulations that they are near-optimal in practice and improve user experience by 30% compared to baseline user-cell association schemes.


title: Biaxial extensional viscous dissipation in sheets expansion formed by impact of drops of Newtonian and non-Newtonian fluids

abstract: We investigate freely expanding liquid sheets made of either simple Newtonian fluids or solutions of high molecular water-soluble polymer chains. A sheet is produced by the impact of a drop on a quartz plate covered with a thin layer of liquid nitrogen that suppresses shear viscous dissipation thanks to an inverse Leidenfrost effect. The sheet expands radially until reaching a maximum diameter and subsequently recedes. Experiments indicate the presence of two expansion regimes: the capillary regime, where the maximum expansion is controlled by surface tension forces and does not depend on the viscosity, and the viscous regime, where the expansion is reduced with increasing viscosity. In the viscous regime, the sheet expansion for polymeric samples is strongly enhanced as compared to that of Newtonian samples with comparable zero-shear viscosity. We show that data for Newtonian and non-Newtonian fluids collapse on a unique master curve where the maximum expansion factor is plotted against the relevant effective biaxial extensional Ohnesorge number that depends on fluid density, surface tension and the biaxial extensional viscosity. For Newtonian fluids, this biaxial extensional viscosity is six times the shear viscosity. By contrast, for the non- Newtonian fluids, a characteristic Weissenberg number-dependent biaxial extensional viscosity is identified, which is in quantitative agreement with experimental and theoretical results reported in the literature for biaxial extensional flows of polymeric liquids.


title: Load balancing system under Join the Shortest Queue: Many-Server-Heavy-Traffic Asymptotics

abstract: We study the load balancing system operating under Join the Shortest Queue (JSQ) in the many-server heavy-traffic regime. If $N$ is the number of servers, we let the difference between the total service rate and the total arrival rate be $N^{1-\alpha}$ with $\alpha>0$. We show that for $\alpha>4$ the average queue length behaves similarly to the classical heavy-traffic regime. Specifically, we prove that the distribution of the average queue length multiplied by $N^{1-\alpha}$ converges to an exponential random variable. Moreover, we show a result analogous to state space collapse. We provide two proofs for our result: one using the one-sided Laplace transform, and one using Stein's method. We additionally obtain the rate of convergence in the Wasserstein's distance.


title: Methods for Generating Typologies of Non/use

abstract: Prior studies of technology non-use demonstrate the need for approaches that go beyond a simple binary distinction between users and non-users. This paper proposes a set of two different methods by which researchers can identify types of non/use$^{1}$ relevant to the particular sociotechnical settings they are studying. These methods are demonstrated by applying them to survey data about Facebook non/use. The results demonstrate that the different methods proposed here identify fairly comparable types of non/use. They also illustrate how the two methods make different trade offs between the granularity of the resulting typology and the total sample size. The paper also demonstrates how the different typologies resulting from these methods can be used in predictive modeling, allowing for the two methods to corroborate or disconfirm results from one another. The discussion considers implications and applications of these methods, both for research on technology non/use and for studying social computing more broadly.


title: The depth, the delooping level and the finitistic dimension

abstract: We investigate two invariants of Noetherian semiperfect rings, namely the depth and a new invariant we call the "delooping level". These give lower and upper bounds for the finitistic dimension, respectively. As first theorems, we give a necessary and sufficient criterion for the delooping level to be finite in terms of the splitting of the unit map of a related adjunction, and use this to give a sufficient torsionfreeness criterion for finiteness. We further relate these invariants to the Auslander-Bridger grade conditions for modules, which are vanishing conditions on double Ext duals. As main theorem, we prove that these bounds agree whenever the first non-trivial grade conditions are satified for simple modules, so that either invariant computes the finitistic dimension in this case. Over Artinian rings, we show that the delooping level also bounds the big finitistic dimension, and we obtain a sufficient cohomological criterion for the first finitistic dimension conjecture to hold. Over commutative local Noetherian rings, these conditions always hold and we obtain a new characterisation of the depth as the delooping level of the ring.


title: Producing flow in "racetrack" atom circuits by stirring at zero and non-zero temperature

abstract: We present a study of how macroscopic flow can be produced in Bose-Einstein condensate confined in a "racetrack" potential by stirring with a wide rectangular barrier. This potential consists of two half-circle channels separated by straight channels of length $L$ and is a ring potential if $L=0$. We present the results of a large set of simulations where racetrack condensates stirred with a barrier under varying conditions of barrier height, stir speed, racetrack geometry, and temperature. We found that stirring was readily able to produce circulation in ring and non-ring geometries but that the exact amount of flow produced was complicated. We therefore also studied the mechanism by which flow was produced in the stirring process. We found that circulation was induced by the swap of a vortex/anti-vortex pair that was initially created by backflow of the condensate in the region of depressed density by the barrier. When the barrier strength reached a critical value a number of these vortex-swap events occurred in rapid succession so that flow speed of the circulation produced was enough to exceed the stir speed of the barrier. Flow that was initially localized in the vortices involved in the vortex swap was converted into macroscopic flow around the racetrack by pairs of disturbances each generated during the vortex swap. Each pair consisted of a vortex/anti-vortex pair moving in the anti-stir direction and a compression wave moving in the stir direction. This picture of the mechanism for making flow will enable the design of stirring schedules that create a desired amount of flow.


title: Extinction threshold in spatial stochastic logistic model: Space homogeneous case

abstract: We consider the extinction regime in the spatial stochastic logistic model in $\mathbb{R}^d$ (a.k.a. Bolker--Pacala--Dieckmann--Law model of spatial populations) using the first-order perturbation beyond the mean-field equation. In space homogeneous case (i.e. when the density is non-spatial and the covariance is translation invariant), we show that the perturbation converges as time tends to infinity; that yields the first-order approximation for the stationary density. Next, we study the critical mortality---the smallest constant death rate which ensures the extinction of the population---as a function of the mean-field scaling parameter $\varepsilon>0$. We find the leading term of the asymptotic expansion (as $\varepsilon\to0$) of the critical mortality which is apparently different for the cases $d\geq3$, $d=2$, and $d=1$.


title: Stability and the deformed Hermitian-Yang-Mills equation

abstract: We survey some recent progress on the deformed Hermitian-Yang-Mills (dHYM) equation. We discuss the role of geometric invariant theory (GIT) in approaching the solvability of the dHYM equation, following work of the first author and S.-T. Yau. We compare the GIT picture with the conjectural picture for dHYM involving Bridgeland stability. In particular, following Arcara-Miles, we show that on the blow-up of $\mathbb{P}^2$ any line bundle admitting a solution of the deformed Hermitian-Yang-Mills equation is Bridgeland stable, but not conversely. Finally, we survey some recent progress on heat flows associated to the dHYM equation.


title: Exploration of lattice Hamiltonians for functional and structural discovery via Gaussian Process-based Exploration-Exploitation

abstract: Statistical physics models ranging from simple lattice to complex quantum Hamiltonians are one of the mainstays of modern physics, that have allowed both decades of scientific discovery and provided a universal framework to understand a broad range of phenomena from alloying to frustrated and phase-separated materials to quantum systems. Traditionally, exploration of the phase diagrams corresponding to multidimensional parameter spaces of Hamiltonians was performed using a combination of basic physical principles, analytical approximations, and extensive numerical modeling. However, exploration of complex multidimensional parameter spaces is subject to the classic dimensionality problem, and the behaviors of interest concentrated on low dimensional manifolds can remain undiscovered. Here, we demonstrate that a combination of exploration and exploration-exploitation with Gaussian process modeling and Bayesian optimization allows effective exploration of the parameter space for lattice Hamiltonians, and effectively maps the regions at which specific macroscopic functionalities or local structures are maximized. We argue that this approach is general and can be further extended well beyond the lattice Hamiltonians to effectively explore parameter space of more complex off-lattice and dynamic models.


title: 2D-FFTLog: Efficient computation of real space covariance matrices for galaxy clustering and weak lensing

abstract: Accurate covariance matrices for two-point functions are critical for inferring cosmological parameters in likelihood analyses of large-scale structure surveys. Among various approaches to obtaining the covariance, analytic computation is much faster and less noisy than estimation from data or simulations. However, the transform of covariances from Fourier space to real space involves integrals with two Bessel integrals, which are numerically slow and easily affected by numerical uncertainties. Inaccurate covariances may lead to significant errors in the inference of the cosmological parameters. In this paper, we introduce a 2D-FFTLog algorithm for efficient, accurate and numerically stable computation of non-Gaussian real space covariances for both 3D and projected statistics. The 2D-FFTLog algorithm is easily extended to perform real space bin-averaging. We apply the algorithm to the covariances for galaxy clustering and weak lensing for a Dark Energy Survey Year 3-like and a Rubin Observatory's Legacy Survey of Space and Time Year 1-like survey, and demonstrate that for both surveys, our algorithm can produce numerically stable angular bin-averaged covariances with the flat sky approximation, which are sufficiently accurate for inferring cosmological parameters. The code CosmoCov for computing the real space covariances with or without the flat sky approximation is released along with this paper.


title: Friend or Faux: Graph-Based Early Detection of Fake Accounts on Social Networks

abstract: In this paper, we study the problem of early detection of fake user accounts on social networks based solely on their network connectivity with other users. Removing such accounts is a core task for maintaining the integrity of social networks, and early detection helps to reduce the harm that such accounts inflict. However, new fake accounts are notoriously difficult to detect via graph-based algorithms, as their small number of connections are unlikely to reflect a significant structural difference from those of new real accounts. We present the SybilEdge algorithm, which determines whether a new user is a fake account (`sybil') by aggregating over (I) her choices of friend request targets and (II) these targets' respective responses. SybilEdge performs this aggregation giving more weight to a user's choices of targets to the extent that these targets are preferred by other fakes versus real users, and also to the extent that these targets respond differently to fakes versus real users. We show that SybilEdge rapidly detects new fake users at scale on the Facebook network and outperforms state-of-the-art algorithms. We also show that SybilEdge is robust to label noise in the training data, to different prevalences of fake accounts in the network, and to several different ways fakes can select targets for their friend requests. To our knowledge, this is the first time a graph-based algorithm has been shown to achieve high performance (AUC>0.9) on new users who have only sent a small number of friend requests.


title: COVID-19 in a social reinsurance framework: Forewarned is forearmed

abstract: The crisis caused by COVID-19 revealed the global unpreparedness to handle the impact of a pandemic. In this paper, we present a statistical analysis of the data related to the COVID-19 outbreak in China, specifically the infection speed, death and fatality rates in Hubei province. By fitting distributions of these quantities we design a parametric reinsurance contract whose trigger and cap are based on the probability distributions of the infection speed, death and fatality rates. In particular, fitting the distribution for the infection speed and death rates we provide a measure of the effectiveness of a state's action during an epidemic, and propose a reinsurance contract as a supplement to a state's social insurance to alleviate financial costs.


title: Towards Dynamic Simulations of Materials on Quantum Computers

abstract: A highly anticipated application for quantum computers is as a universal simulator of quantum many-body systems, as was conjectured by Richard Feynman in the 1980s. The last decade has witnessed the growing success of quantum computing for simulating static properties of quantum systems, i.e., the ground state energy of small molecules. However, it remains a challenge to simulate quantum many-body dynamics on current-to-near-future noisy intermediate-scale quantum computers. Here, we demonstrate successful simulation of nontrivial quantum dynamics on IBM's Q16 Melbourne quantum processor and Rigetti's Aspen quantum processor; namely, ultrafast control of emergent magnetism by THz radiation in an atomically-thin two-dimensional material. The full code and step-by-step tutorials for performing such simulations are included to lower the barrier to access for future research on these two quantum computers. As such, this work lays a foundation for the promising study of a wide variety of quantum dynamics on near-future quantum computers, including dynamic localization of Floquet states and topological protection of qubits in noisy environments.


title: Is Group Testing Ready for Prime-time in Disease Identification?

abstract: Large scale disease screening is a complicated process in which high costs must be balanced against pressing public health needs. When the goal is screening for infectious disease, one approach is group testing in which samples are initially tested in pools and individual samples are retested only if the initial pooled test was positive. Intuitively, if the prevalence of infection is small, this could result in a large reduction of the total number of tests required. Despite this, the use of group testing in medical studies has been limited, largely due to skepticism about the impact of pooling on the accuracy of a given assay. While there is a large body of research addressing the issue of testing errors in group testing studies, it is customary to assume that the misclassification parameters are known from an external population and/or that the values do not change with the group size. Both of these assumptions are highly questionable for many medical practitioners considering group testing in their study design. In this article, we explore how the failure of these assumptions might impact the efficacy of a group testing design and, consequently, whether group testing is currently feasible for medical screening. Specifically, we look at how incorrect assumptions about the sensitivity function at the design stage can lead to poor estimation of a procedure's overall sensitivity and expected number of tests. Furthermore, if a validation study is used to estimate the pooled misclassification parameters of a given assay, we show that the sample sizes required are so large as to be prohibitive in all but the largest screening programs


title: Quantum transduction of optical photons from a superconducting qubit

abstract: Bidirectional conversion of electrical and optical signals lies at the foundation of the global internet. Such converters are employed at repeater stations to extend the reach of long-haul fiber optic communication systems and within data centers to exchange high-speed optical signals between computers. Likewise, coherent microwave-to-optical conversion of single photons would enable the exchange of quantum states between remotely connected superconducting quantum processors, a promising quantum computing hardware platform. Despite the prospects of quantum networking, maintaining the fragile quantum state in such a conversion process with superconducting qubits has remained elusive. Here we demonstrate the conversion of a microwave-frequency excitation of a superconducting transmon qubit into an optical photon. We achieve this using an intermediary nanomechanical resonator which converts the electrical excitation of the qubit into a single phonon by means of a piezoelectric interaction, and subsequently converts the phonon to an optical photon via radiation pressure. We demonstrate optical photon generation from the qubit with a signal-to-noise greater than unity by recording quantum Rabi oscillations of the qubit through single-photon detection of the emitted light over an optical fiber. With proposed improvements in the device and external measurement set-up, such quantum transducers may lead to practical devices capable of realizing new hybrid quantum networks, and ultimately, distributed quantum computers.


title: Convexification for an Inverse Problem for a 1D Wave Equation with Experimental Data

abstract: The forward problem here is the Cauchy problem for a 1D hyperbolic PDE with a variable coefficient in the principal part of the operator. That coefficient is the spatially distributed dielectric constant. The inverse problem consists of the recovery of that dielectric constant from backscattering boundary measurements. The data depend on one variable, which is time. To address this problem, a new version of the convexification method is analytically developed. The theory guarantees the global convergence of this method. Numerical testing is conducted for both computationally simulated and experimental data. Experimental data, which are collected in the field, mimic the problem of the recovery of the spatially distributed dielectric constants of antipersonnel land mines and improvised explosive devices.


title: Magnetic Damping in Epitaxial Fe Alloyed with Vanadium and Aluminum

abstract: To develop low-moment, low-damping metallic ferromagnets for power-efficient spintronic devices, it is crucial to understand how magnetic relaxation is impacted by the addition of nonmagnetic elements. Here, we compare magnetic relaxation in epitaxial Fe films alloyed with light nonmagnetic elements of V and Al. FeV alloys exhibit lower intrinsic damping compared to pure Fe, reduced by nearly a factor of 2, whereas damping in FeAl alloys increases with Al content. Our experimental and computational results indicate that reducing the density of states at the Fermi level, rather than the average atomic number, has a more significant impact in lowering damping in Fe alloyed with light elements. Moreover, FeV is confirmed to exhibit an intrinsic Gilbert damping parameter of $\simeq$0.001, among the lowest ever reported for ferromagnetic metals.


title: The VC-dimension of k-vertex d-polytopes

abstract: In this short note, we show that the VC-dimension of the class of $k$-vertex polytopes in $\mathbb R^d$ is at most $8d^2k\log_2k$, answering an old question of Long and Warmuth.


title: Four Dimensional Anomaly-Free Twistor String

abstract: This paper presents a covariant twistor string model in four dimensions coupled to two-dimensional worldsheet gravity with an anomaly-free BRST charge. The model contains two twistors and two fermionic bi-spinors with incidence related gauge symmetries and an SU(2) gauge symmetry between the twistors. It is shown that the model leads to familiar gravitational N$^k$MHV amplitudes and has modular-invariant one-loop amplitudes.


title: Policy Gradient using Weak Derivatives for Reinforcement Learning

abstract: This paper considers policy search in continuous state-action reinforcement learning problems. Typically, one computes search directions using a classic expression for the policy gradient called the Policy Gradient Theorem, which decomposes the gradient of the value function into two factors: the score function and the Q-function. This paper presents four results:(i) an alternative policy gradient theorem using weak (measure-valued) derivatives instead of score-function is established; (ii) the stochastic gradient estimates thus derived are shown to be unbiased and to yield algorithms that converge almost surely to stationary points of the non-convex value function of the reinforcement learning problem; (iii) the sample complexity of the algorithm is derived and is shown to be $O(1/\sqrt(k))$; (iv) finally, the expected variance of the gradient estimates obtained using weak derivatives is shown to be lower than those obtained using the popular score-function approach. Experiments on OpenAI gym pendulum environment show superior performance of the proposed algorithm.

categories: cs.LG cs.MA cs.SY eess.SY math.OC stat.ML


title: A random observation-based management model of population dynamics and its ecological application

abstract: A new stochastic control problem of population dynamics under partial observation is formulated and analyzed both mathematically and numerically, with an emphasis on environmental and ecological problems. The decision-maker can only randomly and time-discretely observe and impulsively intervene the population dynamics governed by a regime-switching stochastic differential equation. The hybrid nature of the problem leads to an optimality equation containing an integro-differential equation and a static optimization problem. It is therefore different from the conventional Hamilton-Jacobi-Bellman equations. Existence and solvability issues of this optimality equation are analyzed in a viscosity sense. Its exact solution to a reduced but still nontrivial model is derived as well. The model is finally applied to a realistic environmental management problem in a river using a finite difference scheme.


title: Out-of-equilibrium quantum thermodynamics in the Bloch sphere: temperature and internal entropy production

abstract: An explicit expression for the temperature of an open two-level quantum system is obtained as a function of local properties, under the hypothesis of weak interaction with the environment. This temperature is defined for both equilibrium and out-of-equilibrium states, and coincides with the environment temperature if the system reaches thermal equilibrium with a heat reservoir. Additionally, we show that within this theoretical framework the total entropy production can be partitioned into two contributions: one due to heat transfer, and another, associated to internal irreversibilities, related to the loss of internal coherence by the qubit. The positiveness of the heat capacity is established, as well as its consistency with the well known results at thermal equilibrium. We apply these concepts to two different systems, and show that they behave in analogous ways as their classical counterparts.


title: $\mu$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions

abstract: With the alarming rate of security advisories and privacy concerns on connected devices, there is an urgent need for strong isolation guarantees in resource-constrained devices that demand very lightweight solutions. However, the status quo is that Unix-like operating systems do not offer privilege separation inside a process. Lack of practical fine-grained compartmentalization inside a shared address space leads to private data leakage through applications' untrusted dependencies and compromised threads. To this end, we propose $\mu$Tiles, a lightweight kernel abstraction and set of security primitives based on mutual distrust for intra-process privilege separation, memory protection, and secure multithreading. $\mu$Tiles takes advantage of hardware support for virtual memory tagging (e.g., ARM memory domains) to achieve significant performance gain while eliminating various hardware limitations. Our results (based on OpenSSL, the Apache HTTP server, and LevelDB) show that $\mu$Tiles is extremely lightweight (adds $\approx 10KB$ to kernel image) for IoT use cases. It adds negligible runtime overhead ($\approx 0.5\%-3.5\%$) and is easy to integrate with existing applications for providing strong privilege separation.


title: CKS IX: Revisiting the Minimum-Mass Extrasolar Nebula with Precise Stellar Parameters

abstract: We investigate a possible correlation between the solid surface density $\Sigma$ of the minimum-mass extrasolar nebulae (MMEN) and the host star mass $M_\star$ and metallicity [Fe/H]. Leveraging on the precise host star properties from the California-{\it Kepler}-Survey (CKS), we found that $\Sigma=$ 50^{+33}_{-20} \rm{~g~cm}^{-2} $(a/1AU)^{-1.75\pm0.07}$ $(M_\star/M_\odot)^{1.04\pm0.22}$ $10^{0.22\pm0.05{\rm [Fe/H]}}$ for {\it Kepler}-like systems (1-4$R_\oplus$; $a<$1AU). The strong $M_\star$ dependence is reminiscent of previous dust continuum results that the solid disk mass scales with $M_\star$. The weaker [Fe/H] dependence shows that sub-Neptune planets, unlike giant planets, form readily in lower-metallicity environment. The innermost region ($a<$ 0.1AU) of a MMEN maintains a smooth profile despite a steep decline of planet occurrence rate: a result that favors the truncation of disks by co-rotating magnetospheres with a range of rotation periods, rather than the sublimation of dusts. The $\Sigma$ of {\it Kepler} multi-transiting systems shows a much stronger correlation with $M_\star$ and [Fe/H] than singles. This suggests that the dynamically hot evolution that produced single systems also partially removed the memory of formation in disks. Radial-velocity planets yielded a MMEN very similar to CKS planets; transit-timing-variation planets' postulated convergent migration history is supported by their poorly constrained MMEN. We found that lower-mass stars have a higher efficiency of forming/retaining planets: for sun-like stars about 20\% of the solid mass within $\sim$1AU are converted/preserved as sub-Neptunes, compared to 70\% for late-K-early-M stars. This may be due to the lower binary fraction, lower giant-planet occurrence or the longer disk lifetime of lower-mass stars.


title: Speed, retention loss, and motional heating of atoms in an optical conveyor belt

abstract: The problem of high-speed transport for cold atoms with minimal heating has received considerable attention in theory and experiment. Much theoretical work has focused on solutions of general problems, often assuming a harmonic trapping potential or a 1D geometry. However in the case of optical conveyor belts these assumptions are not always valid. Here we present experimental and numerical studies of the effects of various motional parameters on heating and retention of atoms transported in an optical conveyor. Our numerical model is specialized to the geometry of a moving optical lattice and uses dephasing in the density matrix formalism to account for effects of motion in the transverse plane. We verify the model by a comparison with experimental measurements, and use it to gain further insight into the relationship between the conveyor's performance and the various parameters of the system.


title: More Bang for Your Buck: Natural Perturbation for Robust Question Answering

abstract: While recent models have achieved human-level scores on many NLP datasets, we observe that they are considerably sensitive to small changes in input. As an alternative to the standard approach of addressing this issue by constructing training sets of completely new examples, we propose doing so via minimal perturbation of examples. Specifically, our approach involves first collecting a set of seed examples and then applying human-driven natural perturbations (as opposed to rule-based machine perturbations), which often change the gold label as well. Local perturbations have the advantage of being relatively easier (and hence cheaper) to create than writing out completely new examples. To evaluate the impact of this phenomenon, we consider a recent question-answering dataset (BoolQ) and study the benefit of our approach as a function of the perturbation cost ratio, the relative cost of perturbing an existing question vs. creating a new one from scratch. We find that when natural perturbations are moderately cheaper to create, it is more effective to train models using them: such models exhibit higher robustness and better generalization, while retaining performance on the original BoolQ dataset.


title: Entropy production in the quantum walk

abstract: We explore the notion of generated entropy in open quantum systems. We focus on the study of the discrete-time quantum walk on the line, from the entropy production perspective. We argue that the evolution of the coin can be modeled as an open two-level system that exchanges energy with the lattice at some effective temperature that depends on the initial state. The entropy balance shows that there is a positive entropy production during the evolution, in accordance with the second law of thermodynamics.


title: Spatial Priming for Detecting Human-Object Interactions

abstract: The relative spatial layout of a human and an object is an important cue for determining how they interact. However, until now, spatial layout has been used just as side-information for detecting human-object interactions (HOIs). In this paper, we present a method for exploiting this spatial layout information for detecting HOIs in images. The proposed method consists of a layout module which primes a visual module to predict the type of interaction between a human and an object. The visual and layout modules share information through lateral connections at several stages. The model uses predictions from the layout module as a prior to the visual module and the prediction from the visual module is given as the final output. It also incorporates semantic information about the object using word2vec vectors. The proposed model reaches an mAP of 24.79% for HICO-Det dataset which is about 2.8% absolute points higher than the current state-of-the-art.


title: Predictable Accelerator Design with Time-Sensitive Affine Types

abstract: Field-programmable gate arrays (FPGAs) provide an opportunity to co-design applications with hardware accelerators, yet they remain difficult to program. High-level synthesis (HLS) tools promise to raise the level of abstraction by compiling C or C++ to accelerator designs. Repurposing legacy software languages, however, requires complex heuristics to map imperative code onto hardware structures. We find that the black-box heuristics in HLS can be unpredictable: changing parameters in the program that should improve performance can counterintuitively yield slower and larger designs. This paper proposes a type system that restricts HLS to programs that can predictably compile to hardware accelerators. The key idea is to model consumable hardware resources with a time-sensitive affine type system that prevents simultaneous uses of the same hardware structure. We implement the type system in Dahlia, a language that compiles to HLS C++, and show that it can reduce the size of HLS parameter spaces while accepting Pareto-optimal designs.


title: Domain formation in the deposition of thin films of two-component mixtures

abstract: We perform a kinetic Monte Carlo simulation study of a model of thin film deposition of a two-component mixture in which the activation energy for diffusion of an adatom is additive over its nearest neighbors and in which the interactions between adatoms of the same species are stronger than those between adatoms of different species. The film morphology is investigated for broad ranges of values of the ratios between terrace diffusivity and atomic flux, of the probabilities of detachment from lateral neighbors, and of probabilities of crossing terrace edges. First, we consider a symmetric case in which the interactions of adatoms of the same species are the same for the two components. For low and intermediate temperatures, we show the formation of narrow domains, whose widths are $3$-$30$ lattice constants, which meander in the layers parallel to the substrate, and are connected through very long distances. The domain width depends on the diffusivity-flux ratio of the same species, but it is weakly affected by interactions of different species, so rough estimates of that width can be obtained by using tabulated properties of films with a single component. At high temperatures, the separation of domains is enhanced, but their long distance connectivity is lost, which shows that the formation of the long meandering domains is restricted to a certain range of temperature and flux. Similar morphological features are obtained when the intra-species interactions are different and the adatom diffusion coefficients on terraces of the same species differ up to two orders of magnitude. An approximate scaling relation for the domain width is obtained, but the species with the largest mobility constrains the temperature range in which the long connected domains are found.


title: Politeness for the Theory of Algebraic Datatypes

abstract: Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its latest stable version, the SMT-LIB standard defines a theory of algebraic datatypes, which is currently supported by several mainstream SMT solvers. In this paper, we study this particular theory of datatypes and prove that it is strongly polite, showing also how it can be combined with other arbitrary disjoint theories using polite combination. Our results cover both inductive and finite datatypes, as well as their union. The combination method uses a new, simple, and natural notion of additivity, that enables deducing strong politeness from (weak) politeness.


title: The distribution of spacings between the fractional parts of $\boldsymbol{n^d\alpha}$

abstract: We study the distribution of spacings between the fractional parts of $n^d\alpha$. For $\alpha$ of high enough Diophantine type we prove a necessary and sufficient condition for $n^d\alpha\mod 1, 1\leq n\leq N,$ to be Poissonian as $N\to \infty$ along a suitable subsequence.


title: The Asymptotic Distribution of Modularity in Weighted Signed Networks

abstract: Modularity is a popular metric for quantifying the degree of community structure within a network. The distribution of the largest eigenvalue of a network's edge weight or adjacency matrix is well studied and is frequently used as a substitute for modularity when performing statistical inference. However, we show that the largest eigenvalue and modularity are asymptotically uncorrelated, which suggests the need for inference directly on modularity itself when the network size is large. To this end, we derive the asymptotic distributions of modularity in the case where the network's edge weight matrix belongs to the Gaussian Orthogonal Ensemble, and study the statistical power of the corresponding test for community structure under some alternative model. We empirically explore universality extensions of the limiting distribution and demonstrate the accuracy of these asymptotic distributions through type I error simulations. We also compare the empirical powers of the modularity based tests with some existing methods. Our method is then used to test for the presence of community structure in two real data applications.


title: Sharp well-posedness results of the Benjamin-Ono equation in $H^{s}(\mathbb{T},\mathbb{R})$ and qualitative properties of its solution

abstract: We prove that the Benjamin--Ono equation on the torus is globally in time well-posed in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s > - 1/2$ and ill-posed for $s \le - 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin-Ono equation on the torus are orbitally stable in $H^{s}(\mathbb{T},\mathbb{R})$ for any $ s > - 1/2$. Novel conservation laws and a nonlinear Fourier transform on $H^{s}(\mathbb{T},\mathbb{R})$ with $s > - 1/2$ are key ingredients into the proofs of these results.


title: Pattern Discovery in Colored Strings

abstract: In this paper, we consider the problem of identifying patterns of interest in colored strings. A colored string is a string where each position is assigned one of a finite set of colors. Our task is to find substrings of the colored string that always occur followed by the same color at the same distance. The problem is motivated by applications in embedded systems verification, in particular, assertion mining. The goal there is to automatically find properties of the embedded system from the analysis of its simulation traces. We show that, in our setting, the number of patterns of interest is upper-bounded by $\mathcal{O}(n^2)$, where $n$ is the length of the string. We introduce a baseline algorithm, running in $\mathcal{O}(n^2)$ time, which identifies all patterns of interest satisfying certain minimality conditions, for all colors in the string. For the case where one is interested in patterns related to one color only, we also provide a second algorithm which runs in $\mathcal{O}(n^2\log n)$ time in the worst case but is faster than the baseline algorithm in practice. Both solutions use suffix trees, and the second algorithm also uses an appropriately defined priority queue, which allows us to reduce the number of computations. We performed an experimental evaluation of the proposed approaches over both synthetic and real-world datasets, and found that the second algorithm outperforms the first algorithm on all simulated data, while on the real-world data, the performance varies between a slight slowdown (on half of the datasets) and a speedup by a factor of up to 11.


title: Thin film growth models with long surface diffusion lengths

abstract: In limited mobility (LM) models of thin film deposition, the final position of each atom or molecule is chosen according to a set of stochastic rules before the incidence of another atom or molecule. Here we investigate the possibility of a LM model to reproduce features of a more realistic approach that represents the interplay of collective adatom diffusion and the external flux. In the LM model introduced here, each adatom may execute $G$ hops to neighboring columns of the deposit, but a hop attempt from a site with $n$ lateral neighbors has probability $P^n$, with $P<1$. These rules resemble those of the Clarke-Vvedensky (CV) model without energy barriers at step edges, whose main parameters are the diffusion-to-deposition ratio $R$ on terraces and the detachment probability $\epsilon$ per lateral neighbor. At short times, the roughness of the LM model can be written in terms of a scaling function of $G$ and $P$ and the growth exponent is consistent with the Villain-Lai-Das Sarma universality class. The evolution of the surface roughness and of the autocorrelation function of the CV model is reproduced with reasonable accuracy by the LM model with suitable choices of parameters. The increase of the parameters $G$ and $R$ of those models produces smoother film surfaces, while the increase of $P$ and $\epsilon$ smoothen the terrace boundaries at short lengthscales. However, the detachment probabilities of the two models have very different effects on the surface roughness: in the LM model, for fixed $G$, the surface roughness increases as $P$ increases; in the CV model, the surface smoothens as $\epsilon$ increases, for fixed $R$. This result is related to the non-Markovian nature of the LM model, since the diffusivity of an adatom depends on its history at the film surface and may be severely reduced after a detachment from a terrace step.


title: Brain Interface Based Wheel Chair Control System for Handicap -- An advance and viable approach

abstract: This paper presents advancement towards making an efficient and viable wheel chair control system based on brain computer interface via electro-oculogram (EOG) signals. The system utilizes the movement of eye as the element of purpose for controlling the movement of the wheel chair. Skin-surface electrodes are placed over skin for the purpose of acquiring the electro-oculogram signal and with the help of differential amplifier the bio-potential is measured between the reference and the point of interest, afterwards these obtained low voltage pulses are amplified, then passed through a sallen-key filter for noise removal and smoothening. These pulses are then collected on to the micro-controller; based on these pulses motor is switched to move in either right or left direction. A prototype system was developed and tested. The system showed promising results. The test conducted showed 99.5% efficiency of movement in correct direction.


title: A Network Topology for Composable Infrastructures

abstract: This paper proposes a passive optical backplane as a new network topology for composable computing infrastructures. The topology provides a high capacity, low-latency and flexible fabric that interconnects disaggregated resource components. The network topology is dedicated to inter-resource communication between composed logical hosts to ensure effective performance. We formulated a mixed integer linear programming (MILP) model that dynamically creates logical networks to support intra logical host communication over the physical network topology. The MILP performs energy efficient logical network instantiation given each application resource demand. The topology can achieve 1Tbps capacity per resource node given appropriate wavelength transmission data rate and the right number of wavelengths per node.


title: Alloying V in MnBi$_2$Te$_4$ for Robust Ferromagnetic Coupling and Quantum Anomalous Hall Effect

abstract: The intrinsic antiferromagnetic (AFM) interlayer coupling in two-dimensional magnetic topological insulator MnBi$_2$Te$_4$ places a restriction on realizing stable quantum anomalous Hall effect (QAHE) [Y. Deng et al., Science 367, 895 (2020)]. Through density functional theory calculations, we demonstrate the possibility of tuning the AFM coupling to the ferromagnetic coupling in MnBi$_2$Te$_4$ films by alloying about 50% V with Mn. As a result, QAHE can be achieved without alternation with the even or odd septuple layers. This provides a practical strategy to get robust QAHE in ultrathin MnBi$_2$Te$_4$ films, rendering them attractive for technological innovations.


title: Design and Implementation of a DTMF Based Pick and Place Robotic Arm

abstract: In recent times, developments in field of communication and robotics has progressed with leaps and bounds. In addition, the blend of both disciplines has contributed heavily in making human life easier and better. So in this work while making use of both the aforementioned technologies, a procedure for design and implementation of a mobile operated mechanical arm is proposed, that is, the proposed arm will be operated via a cellular device that connects with the receiver mounted on the robotic arm. Moreover, over the duration of a call, if any key is pressed from the cellular device than an indicator indistinct to the key pressed is noticed at the receiver side. This tone represents superimposition of two distinct frequencies and referred to as DTMF (dual tone multi-frequency). Further, the mechanical arm is handled via the DTMF tone. Also, the acquired tone at the receiver is taken into a micro-controller (ATMEGA16) using the DTMF decipher module i.e. MT8870. Further, the decipher module unwinds the DTMF signal into its corresponding two bit representation and then the matched number is transmitted to the micro-controller. The micro-controller is programmed to take an action based on the decoded value. Further, the micro-controller forwards control signals to the motor driver unit to move the arm in forward/backward or multi-directional course. Lastly, the mechanical arm is capable of picking and placing objects while being controlled wirelessly over GSM (Global System for Mobile Communications).


title: Vehicle Intrusion And Theft Control System Using GSM and GPS -- An advance and viable approach

abstract: This paper presents a novel approach towards the designing and development of a feasible and an embedded vehicle intrusion and theft control system using GSM (Global System for Mobile Communication) and GPS (Global Positioning System). The proposed system uses GSM technology as one of the distinguishing building blocks of the system. A GPS module Holux GR89 is used to trace the position of the vehicle and Mercury Switches are used to collect analog data continuously, in case of an intrusion, variations will be observed in sensors reading. Continuous readings from sensors are collected on to the microcontroller constantly and on the basis of those readings decision is taken whether an intrusion is made or not and in case of an intrusion a message from a predefined set of messages is generated to the owner of the vehicle and on reception of the message, the owner will have the luxury to take an action via an SMS either to lock the gears of the vehicle or seize the engine of the vehicle from a far-off place. A relay is used to control gears and engine of the vehicle while working with the microcontroller. A prototype system was built and tested. The results were very positive and encouraging.


title: SMART Paths for Latency Reduction in ReRAM Processing-In-Memory Architecture for CNN Inference

abstract: This research work proposes a design of an analog ReRAM-based PIM (processing-in-memory) architecture for fast and efficient CNN (convolutional neural network) inference. For the overall architecture, we use the basic hardware hierarchy such as node, tile, core, and subarray. On the top of that, we design intra-layer pipelining, inter-layer pipelining, and batch pipelining to exploit parallelism in the architecture and increase overall throughput for the inference of an input image stream. We also optimize the performance of the NoC (network-on-chip) routers by decreasing hop counts using SMART (single-cycle multi-hop asynchronous repeated traversal) flow control. Finally, we experiment with weight replications for different CNN layers in VGG (A-E) for large-scale data set ImageNet. In our simulation, we achieve 40.4027 TOPS (tera-operations per second) for the best-case performance, which corresponds to over 1029 FPS (frames per second). We also achieve 3.5914 TOPS/W (tera-operaions per second per watt) for the best-case energy efficiency. In addition, the architecture with aggressive pipelining and weight replications can achieve 14X speedup compared to the baseline architecture with basic pipelining, and SMART flow control achieves 1.08X speedup in this architecture compared to the baseline. Last but not least, we also evaluate the performance of SMART flow control using synthetic traffic.


title: Latent regularization for feature selection using kernel methods in tumor classification

abstract: The transcriptomics of cancer tumors are characterized with tens of thousands of gene expression features. Patient prognosis or tumor stage can be assessed by machine learning techniques like supervised classification tasks given a gene expression profile. Feature selection is a useful approach to select the key genes which helps to classify tumors. In this work we propose a feature selection method based on Multiple Kernel Learning that results in a reduced subset of genes and a custom kernel that improves the classification performance when used in support vector classification. During the feature selection process this method performs a novel latent regularisation by relaxing the supervised target problem by introducing unsupervised structure obtained from the latent space learned by a non linear dimensionality reduction model. An improvement of the generalization capacity is obtained and assessed by the tumor classification performance on new unseen test samples when the classifier is trained with the features selected by the proposed method in comparison with other supervised feature selection approaches.


title: The Benefits and Costs of Social Distancing in Rich and Poor Countries

abstract: Social distancing is the primary policy prescription for combating the COVID-19 pandemic, and has been widely adopted in Europe and North America. We estimate the value of disease avoidance using an epidemiological model that projects the spread of COVID-19 across rich and poor countries. Social distancing measures that "flatten the curve" of the disease to bring demand within the capacity of healthcare systems are predicted to save many lives in high-income countries, such that practically any economic cost is worth bearing. These social distancing policies are estimated to be less effective in poor countries with younger populations less susceptible to COVID-19, and more limited healthcare systems, which were overwhelmed before the pandemic. Moreover, social distancing lowers disease risk by limiting people's economic opportunities. Poorer people are less willing to make those economic sacrifices. They place relatively greater value on their livelihood concerns compared to contracting COVID-19. Not only are the epidemiological and economic benefits of social distancing much smaller in poorer countries, such policies may exact a heavy toll on the poorest and most vulnerable. Workers in the informal sector lack the resources and social protections to isolate themselves and sacrifice economic opportunities until the virus passes. By limiting their ability to earn a living, social distancing can lead to an increase in hunger, deprivation, and related mortality and morbidity. Rather than a blanket adoption of social distancing measures, we advocate for the exploration of alternative harm-reduction strategies, including universal mask adoption and increased hygiene measures.


title: Multitransition solutions for a generalized Frenkel-Kontorova model

abstract: We study a generalized Frenkel-Kontorova model. Using minimal and Birkhoff solutions as building blocks, we construct a lot of homoclinic solutions and heteroclinic solutions for this generalized Frenkel-Kontorova model under gap conditions. These new solutions are not minimal and Birkhoff any more. We use constrained minimization method to prove our results.


title: Influence of salt on membrane rigidity of neu-tral DOPC vesicles

abstract: Salt is a very common molecule in aqueous environments but the question of whether the interactions of monovalent ions Na^+ and Cl^- ,with the neutral heads of phospholipids are impactful enough to change the membrane rigidity is still a mystery. To provide a resolution to this long simmering debate, we investigated the dynamics of DOPC vesicles in the fluid phase with increasing external salt concentration. At higher salt concentrations, we observe an increase in bending rigidity from neutron spin echo spectroscopy (NSE) and an increase in bilayer thickness from small-angle X-ray scattering (SAXS). We compared different models to distinguish membrane undulations, lipid tail motions and the translational diffusion of the vesicles. All the models indicate an increase in bending rigidity by a factor of 1.3 to 3.6. We demonstrate that even for t > 10 ns, and for Q > 0.07 1/{\AA} the observed NSE relaxation spectra is clearly influenced by the translational diffusion of the vesicles. For t < 5 ns, the lipid tail motions dominate the intermediate dynamic structure factor. As the salt concentration increases this contribution diminishes. We introduced a new time-dependent analysis for the bending rigidity that highlights only a limited Zilman-Granek time window where the rigidity is physically meaningful.


title: Topological Phase Transitions in a Hybridized Three-Dimensional Topological Insulator

abstract: As the thickness of a three-dimensional (3D) topological insulator (TI) becomes comparable to the penetration depth of the surface states, quantum tunneling between surfaces turns their gapless Dirac electronic structure into a gapped surface state. Analytical formulation suggests that the hybridization gap scales exponentially with decrease in number of layers while the system oscillates between topologically trivial and non-trivial insulators. This work explores the transport properties of a 3D TI in the inter-surface hybridization regime. By experimentally probing the hybridization gap as a function of BiSbTeSe2 thickness using three different methods, we map the crossover from the 3D to 2D state. In the 2D topological state, we observe a finite longitudinal conductance at ~2e2/h when the Fermi level is aligned within the surface gap, indicating a quantum spin Hall (QSH) state. Additionally, we study the response of trivial and non-trivial hybridization gapped states modulated by external out-of-plane magnetic and electric fields. Our revelations of surface gap-closing and/or reopening features are strongly indicative of topological phase transitions (TPTs) in the hybridization gap regime, realizing magnetic/electric field switching between band insulating and QSH states with immense potential for practical applications.


title: MRQy: An Open-Source Tool for Quality Control of MR Imaging Data

abstract: We sought to develop a quantitative tool to quickly determine relative differences in MRI volumes both within and between large MR imaging cohorts (such as available in The Cancer Imaging Archive (TCIA)), in order to help determine the generalizability of radiomics and machine learning schemes to unseen datasets. The tool is intended to help quantify presence of (a) site- or scanner-specific variations in image resolution, field-of-view, or image contrast, or (b) imaging artifacts such as noise, motion, inhomogeneity, ringing, or aliasing; which can adversely affect relative image quality between data cohorts. We present MRQy, a new open-source quality control tool to (a) interrogate MRI cohorts for site- or equipment-based differences, and (b) quantify the impact of MRI artifacts on relative image quality; to help determine how to correct for these variations prior to model development. MRQy extracts a series of quality measures (e.g. noise ratios, variation metrics, entropy and energy criteria) and MR image metadata (e.g. voxel resolution, image dimensions) for subsequent interrogation via a specialized HTML5 based front-end designed for real-time filtering and trend visualization. MRQy was used to evaluate (a) n=133 brain MRIs from TCIA (7 sites), and (b) n=104 rectal MRIs (3 local sites). MRQy measures revealed significant site-specific variations in both cohorts, indicating potential batch effects. Marked differences in specific MRQy measures were also able to identify outlier MRI datasets that needed to be corrected for common MR imaging artifacts. MRQy is designed to be a standalone, unsupervised tool that can be efficiently run on a standard desktop computer. It has been made freely accessible at \url{http://github.com/ccipd/MRQy} for wider community use and feedback.


title: Full Law Identification In Graphical Models Of Missing Data: Completeness Results

abstract: Missing data has the potential to affect analyses conducted in all fields of scientific study, including healthcare, economics, and the social sciences. Several approaches to unbiased inference in the presence of non-ignorable missingness rely on the specification of the target distribution and its missingness process as a probability distribution that factorizes with respect to a directed acyclic graph. In this paper, we address the longstanding question of the characterization of models that are identifiable within this class of missing data distributions. We provide the first completeness result in this field of study -- necessary and sufficient graphical conditions under which, the full data distribution can be recovered from the observed data distribution. We then simultaneously address issues that may arise due to the presence of both missing data and unmeasured confounding, by extending these graphical conditions and proofs of completeness, to settings where some variables are not just missing, but completely unobserved.


title: $B$-rigidity of the property to be an almost Pogorelov polytope

abstract: Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. We study the notion of $B$-rigidity. A property of a polytope $P$ is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that it also has this property. We study families of $3$-dimensional polytopes defined by their cyclic $k$-edge-connectivity. These families include flag polytopes and Pogorelov polytopes, that is polytopes realizable as bounded right-angled polytopes in Lobachevsky space $\mathbb L^3$. Pogorelov polytopes include fullerenes -- simple polytopes with only pentagonal and hexagonal faces. It is known that the properties to be flag and Pogorelov polytope are $B$-rigid. We focus on almost Pogorelov polytopes, which are strongly cyclically $4$-edge-connected polytopes. They correspond to right-angled polytopes of finite volume in $\mathbb L^3$. There is a subfamily of ideal almost Pogorelov polytopes corresponding to ideal right-angled polytopes. We prove that the properties to be an almost Pogorelov polytope and an ideal almost Pogorelov polytope are $B$-rigid. As a corollary we obtain that $3$-dimensional associahedron $As^3$ and permutohedron $Pe^3$ are $B$-rigid. We generalize methods known for Pogorelov polytopes. We obtain results on $B$-rigidity of subsets in $H^*(\mathcal{Z}_P,\mathbb Z)$ and prove an analog of the so-called separable circuit condition (SCC). As an example we consider the ring $H^*(\mathcal{Z}_{As^3},\mathbb Z)$.


title: Implications of the virus-encoded miRNA and host miRNA in the pathogenicity of SARS-CoV-2

abstract: The outbreak of COVID-19 caused by SARS-CoV-2 has rapidly spread worldwide and has caused over 1,400,000 infections and 80,000 deaths. There are currently no drugs or vaccines with proven efficacy for its prevention and little knowledge was known about the pathogenicity mechanism of SARS-CoV-2 infection. Previous studies showed both virus and host-derived MicroRNAs (miRNAs) played crucial roles in the pathology of virus infection. In this study, we use computational approaches to scan the SARS-CoV-2 genome for putative miRNAs and predict the virus miRNA targets on virus and human genome as well as the host miRNAs targets on virus genome. Furthermore, we explore miRNAs involved dysregulation caused by the virus infection. Our results implicated that the immune response and cytoskeleton organization are two of the most notable biological processes regulated by the infection-modulated miRNAs. Impressively, we found hsa-miR-4661-3p was predicted to target the S gene of SARS-CoV-2, and a virus-encoded miRNA MR147-3p could enhance the expression of TMPRSS2 with the function of strengthening SARS-CoV-2 infection in the gut. The study may provide important clues for the mechisms of pathogenesis of SARS-CoV-2.


title: Veiled Talbot effect

abstract: A freely propagating optical field having a periodic transverse spatial profile undergoes periodic axial revivals - a well-known phenomenon known as the Talbot effect or self-imaging. We show here that introducing tight spatio-temporal spectral correlations into an ultrafast pulsed optical field with a periodic transverse spatial profile eliminates all axial dynamics in physical space while revealing a novel space-time Talbot effect that can be observed only when carrying out time-resolved measurements. Indeed, 'time-diffraction' is observed whereupon the temporal profile of the field envelope at a fixed axial plane corresponds to a segment of the spatial propagation profile of a monochromatic field sharing the initial spatial profile and observed at the same axial plane. Time-averaging, which is intrinsic to observing the intensity, altogether veils this effect.


title: Distributed Control Design for Heterogeneous Interconnected Systems

abstract: This paper presents scalable controller synthesis methods for heterogeneous and partially heterogeneous systems. First, heterogeneous systems composed of different subsystems that are interconnected over a directed graph are considered. Techniques from robust and gain-scheduled controller synthesis are employed, in particular the full-block S-procedure, to deal with the decentralized system part in a nominal condition and with the interconnection part in a multiplier condition. Under some structural assumptions, we can decompose the synthesis conditions into conditions that are the size of the individual subsystems. To solve these decomposed synthesis conditions that are coupled only over neighboring subsystems, we propose a distributed method based on the alternating direction method of multipliers. It only requires nearest-neighbor communication and no central coordination is needed. Then, a new classification of systems is introduced that consists of groups of homogeneous subsystems with different interconnection types. This classification includes heterogeneous systems as the most general and homogeneous systems as the most specific case. Based on this classification, we show how the interconnected system model and the decomposed synthesis conditions can be formulated in a more compact way. The computational scalability of the presented methods with respect to a growing number of subsystems and interconnections is analyzed, and the results are demonstrated in numerical examples.


title: Probing Neural Language Models for Human Tacit Assumptions

abstract: Humans carry stereotypic tacit assumptions (STAs) (Prince, 1978), or propositional beliefs about generic concepts. Such associations are crucial for understanding natural language. We construct a diagnostic set of word prediction prompts to evaluate whether recent neural contextualized language models trained on large text corpora capture STAs. Our prompts are based on human responses in a psychological study of conceptual associations. We find models to be profoundly effective at retrieving concepts given associated properties. Our results demonstrate empirical evidence that stereotypic conceptual representations are captured in neural models derived from semi-supervised linguistic exposure.


title: Spherically Symmetric Solutions in Higher-Derivative Theories of Gravity

abstract: Higher-order theories of gravity have received much attention from several areas including quantum gravity, string theory and cosmology. This paper proposes a higher-order gravity whose action includes all curvature scalar terms up to the second-order corrections of general relativity, namely, $R^{2}$, $R^{3}$ and $R\square R$. Then, we explore spherically symmetric and static solutions in the weak-field regime and black holes context. All solutions in the weak-field regime due to a point mass are deduced, and by making a stability analysis of these solutions, we restrict them to Yukawa-type solutions. In regard to black hole solutions, we use the Lichnerovicz method to investigate the possibility of existence of non-Schwarzschild black holes. The results obtained show that non-Schwarzschild solutions might exist. However, for reasonable values of the parameters of the theory, its horizon radii are extremely small making macroscopic black holes different from Schwarzschild unfeasible.


title: Full Lattice Convergence on Riesz Spaces

abstract: The full lattice convergence on a locally solid Riesz space is an abstraction of the topological, order, and relatively uniform convergences. We investigate four modifications of a full convergence $\mathbb{c}$ on a Riesz space. The first one produces a sequential convergence $\mathbb{sc}$. The second makes an absolute $\mathbb{c}$-convergence and generalizes the absolute weak convergence. The third modification makes an unbounded $\mathbb{c}$-convergence and generalizes various unbounded convergences recently studied in the literature. The last one is applicable whenever $\mathbb{c}$ is a full convergence on a commutative $l$-algebra and produces the multiplicative modification $\mathbb{mc}$ of $\mathbb{c}$. We study general properties of full lattice convergence with emphasis on universally complete Riesz spaces and on Archimedean $f$-algebras. The technique and results in this paper unify and extend those which were developed and obtained in recent literature on unbounded convergences.


title: A Resilient AWGR and Server Based PON Data Centre Architecture

abstract: This paper studies the resilience of an AWGR and server based PON DCN architecture against link failure scenarios and proposes a modified design for improved resilience. A MILP model is developed to evaluate the performance of the modified design considering different failure scenarios. The results show a limited increase in power consumption and a large increase in delay under failure scenarios compared to the normal state.


title: Improved Automatic Summarization of Subroutines via Attention to File Context

abstract: Software documentation largely consists of short, natural language summaries of the subroutines in the software. These summaries help programmers quickly understand what a subroutine does without having to read the source code him or herself. The task of writing these descriptions is called "source code summarization" and has been a target of research for several years. Recently, AI-based approaches have superseded older, heuristic-based approaches. Yet, to date these AI-based approaches assume that all the content needed to predict summaries is inside subroutine itself. This assumption limits performance because many subroutines cannot be understood without surrounding context. In this paper, we present an approach that models the file context of subroutines (i.e. other subroutines in the same file) and uses an attention mechanism to find words and concepts to use in summaries. We show in an experiment that our approach extends and improves several recent baselines.


title: Machine-learning Based Extraction of the Short-Range Part of the Interaction in Non-contact Atomic Force Microscopy

abstract: A machine-learning method for extracting the short-range part of the probe-surface interaction from force spectroscopy curves is presented. Our machine-learning algorithm consists of two stages: the first stage determines a boundary that separates the region where the short-range interaction is dominantly acting on the probe, and a second stage that finds the parameters to fit the interaction over the long-range region. We successfully applied this method to force spectroscopy maps acquired over the Si(111)-(7x7) surface and found, as a result, a faint structure on the short-range interaction for one of the probes used in the experiments that would have probably been obviated using human-supervised fitting strategies.


title: Generalized Green functions and unipotent classes for finite reductive groups, III

abstract: Lusztig's algorithm of computing generalized Green functions of reductive groups involves an ambiguity of certain scalars. In this paper, for reductive groups of classical type with arbitrary characteristic, we determine those scalars explicitly, and eliminate the ambiguity. Our results imply that all the generalized Green functions of classical type are computable.


title: Deep Domain Decomposition Method: Elliptic Problems

abstract: This paper proposes a deep-learning-based domain decomposition method (DeepDDM), which leverages deep neural networks (DNN) to discretize the subproblems divided by domain decomposition methods (DDM) for solving partial differential equations (PDE). Using DNN to solve PDE is a physics-informed learning problem with the objective involving two terms, domain term and boundary term, which respectively make the desired solution satisfy the PDE and corresponding boundary conditions. DeepDDM will exchange the subproblem information across the interface in DDM by adjusting the boundary term for solving each subproblem by DNN. Benefiting from the simple implementation and mesh-free strategy of using DNN for PDE, DeepDDM will simplify the implementation of DDM and make DDM more flexible for complex PDE, e.g., those with complex interfaces in the computational domain. This paper will firstly investigate the performance of using DeepDDM for elliptic problems, including a model problem and an interface problem. The numerical examples demonstrate that DeepDDM exhibits behaviors consistent with conventional DDM: the number of iterations by DeepDDM is independent of network architecture and decreases with increasing overlapping size. The performance of DeepDDM on elliptic problems will encourage us to further investigate its performance for other kinds of PDE and may provide new insights for improving the PDE solver by deep learning.


title: Nonlinear Bloch-Zener oscillations for Bose-Einstein condensates in a Lieb optical lattice

abstract: We investigate Bloch-Zener oscillations and mean-field Bloch bands of a Bose-Einstein condensate (BEC) in a Lieb optical lattice. We find that the atomic interaction will break the point group symmetry of the system, leading to the destruction of the Dirac cone structure, while the flat band is preserved on the highly symmetric lines. Due to the nonlinear effect, a tubular band structure with a flat band will appear in the system. Furthermore, comparing with that the tight-binding (TB) model fails to describe the interacting bosonic systems in the honeycomb lattice, we show that the TB model is applicable to study the nonlinear energy band structures for the Lieb lattice. In addition, we show that the loop structure can be determined by the observation of the chaos of the state in the Bloch-Zener oscillations.


title: Edge collapse and subsequent longitudinal accretion in Filament S242

abstract: Filament S242 is 25 pc long with massive clumps and YSO clusters concentrated in its end regions; it is considered a good example of edge collapse. We mapped this filament in the $^{12}$CO(1-0) and $^{13}$CO(1-0) lines. A large-scale velocity gradient along filament S242 has been detected; the relative velocity between the two end-clumps is $\sim$ 3 km s$^{-1}$, indicating an approaching motion between them. These signatures are consistent with the filament S242 being formed through the collapse of a single elongated entity, where an effect known as "gravitational focusing" drives the ends of the filament to collapse (edge collapse). Based on this picture, we estimate a collapse timescale of $\sim$ 4.2 Myr, which is the time needed for a finite and elongated entity evolving to the observed filament S242. For the whole filament, we find that increases in surface densities lead to increases in velocity dispersion, which can be consistently explained as the result of self-gravity. We also calculated the contribution of longitudinal collapse to the observed velocity dispersion and found it to be the dominant effect in driving the gas motion near the end-clumps. We propose that our filament S242 is formed through a two-stage collapse model, where the edge collapse of a truncated filament is followed by a stage of longitudinal accretion toward the dense end-clumps.


title: Searching for Molecular Outflows with Support Vector Machines: Dark Cloud Complex in Cygnus

abstract: We present a survey of molecular outflows across the dark cloud complex in the Cygnus region, based on 46.75 deg^2 field of CO isotopologues data from Milky Way Imaging Scroll Painting (MWISP) survey. A supervised machine learning algorithm, Support Vector Machine (SVM), is introduced to accelerate our visual assessment of outflow features in the data cube of 12CO and 13CO J = 1-0 emission. A total of 130 outflow candidates are identified, of which 77 show bipolar structures and 118 are new detections. Spatially, these outflows are located inside dense molecular clouds and some of them are found in clusters or in elongated linear structures tracing the underlying gas filament morphology. Along the line of sight, 97, 31, and 2 candidates reside in the Local, Perseus, and Outer arm, respectively. Young stellar objects as outflow drivers are found near most outflows, while 36 candidates show no associated source. The clusters of outflows that we detect are inhomogeneous in their properties; nevertheless, we show that the outflows cannot inject turbulent energy on cloud scales. Instead, at best, they are restricted to affecting the so called "clump" and "core" scales, and this only on short (~0.3 Myr) estimated timescales. Combined with outflow samples in the literature, our work shows a tight outflow mass-size correlation.


title: Cavity molecular dynamics simulations of liquid water under vibrational ultrastrong coupling

abstract: We simulate vibrational strong (VSC) and ultrastrong coupling (V-USC) for liquid water with classical molecular dynamics simulations. When the cavity modes are resonantly coupled to the O-H stretch mode of liquid water, the infrared spectrum shows asymmetric Rabi splitting. The lower polariton (LP) may be suppressed or enhanced relative to the upper polariton (UP) depending on the frequency of the cavity mode. Moreover, although the static properties and the translational diffusion of water are not changed under VSC or V-USC, we do find the modification of the orientational autocorrelation function of H$_2$O molecules especially under V-USC, which could play a role in ground-state chemistry.


title: Spectral density estimation with the Gaussian Integral Transform

abstract: The spectral density operator $\hat{\rho}(\omega)=\delta(\omega-\hat{H})$ plays a central role in linear response theory as its expectation value, the dynamical response function, can be used to compute scattering cross-sections. In this work, we describe a near optimal quantum algorithm providing an approximation to the spectral density with energy resolution $\Delta$ and error $\epsilon$ using $\mathcal{O}\left(\sqrt{\log\left(1/\epsilon\right)\left(\log\left(1/\Delta\right)+\log\left(1/\epsilon\right)\right)}/\Delta\right)$ operations. This is achieved without using expensive approximations to the time-evolution operator but exploiting instead qubitization to implement an approximate Gaussian Integral Transform (GIT) of the spectral density. We also describe appropriate error metrics to assess the quality of spectral function approximations more generally.


title: Prediction of intrinsic topological superconductivity in Mn-doped GeTe monolayer from first-principles

abstract: Recent discovery of topological superconductors (TSCs) has sparked enormous interest. Realization of TSC requires a delicate tuning of multiple microscopic parameters, which remains a great challenge. Here, we develop a first-principles approach to quantify realistic conditions of TSC by solving self-consistently Bogoliubov-de Gennes equation based on Wannier function construction of band structure, in presence of Rashba spin-orbit coupling, Zeeman splitting and electron-phonon coupling. We further demonstrate the power of this new method by predicting the Mn-doped GeTe (Ge$_{1-x}$Mn$_x$Te) monolayer - a well-known dilute magnetic semiconductor showing superconductivity under hole doping - to be a Class D TSC with Chern number of -1 and chiral Majorana edge modes. By constructing a first-principles phase diagram in the parameter space of temperature and Mn concentration, we propose the TSC phase can be induced at a lower-limit transition temperature of ~40 mK and the Mn concentration of $x$~0.015%. Our approach can be generally applied to TSCs with a phonon-mediated pairing, providing useful guidance for future experiments.


title: Theoretical prediction of superconductivity in monolayer h-BN doped with alkaline-earth metals (Ca, Sr, Ba)

abstract: We investigated the possibility of superconductivity in monolayer hexagonal boron nitride (h-BN) doped using each group-1 (Li, Na, K) and group-2 (Be, Mg, Ca, Sr, Ba) atom via ab-initio calculations. Consequently, we reveal that Sr- and Ba-doped monolayer h-BN and Ca-doped monolayer h-BN with 3.5% tensile strain are energetically stable and become superconductors with Tc values of 5.83 K, 1.53 K, and 12.8 K, respectively, which are considerably higher than those of Ca-, Sr-, and Ba-doped graphene. In addition, the momentum-resolved electron-phonon coupling (EPC) constant shows that the scattering among intrinsic {\pi} electrons around the {\Gamma} point dominates Tc. The scattering process is mediated by the low-energy vibration of the adsorbate. Moreover, compared with graphene, the stronger adsorbate-substrate interaction and lower symmetry in h-BN are critical for enhancing EPC in doped h-BN.