title: Exathlon: A Benchmark for Explainable Anomaly Detection over Time Series

abstract: Access to high-quality data repositories and benchmarks have been instrumental in advancing the state of the art in many experimental research domains. While advanced analytics tasks over time series data have been gaining lots of attention, lack of such community resources severely limits scientific progress. In this paper, we present Exathlon, the first comprehensive public benchmark for explainable anomaly detection over high-dimensional time series data. Exathlon has been systematically constructed based on real data traces from repeated executions of large-scale stream processing jobs on an Apache Spark cluster. Some of these executions were intentionally disturbed by introducing instances of six different types of anomalous events (e.g., misbehaving inputs, resource contention, process failures). For each of the anomaly instances, ground truth labels for the root cause interval as well as those for the extended effect interval are provided, supporting the development and evaluation of a wide range of anomaly detection (AD) and explanation discovery (ED) tasks. We demonstrate the practical utility of Exathlon's dataset, evaluation methodology, and end-to-end data science pipeline design through an experimental study with three state-of-the-art AD and ED techniques.


title: Semi-supervised Neural Networks solve an inverse problem for modeling Covid-19 spread

abstract: Studying the dynamics of COVID-19 is of paramount importance to understanding the efficiency of restrictive measures and develop strategies to defend against upcoming contagion waves. In this work, we study the spread of COVID-19 using a semi-supervised neural network and assuming a passive part of the population remains isolated from the virus dynamics. We start with an unsupervised neural network that learns solutions of differential equations for different modeling parameters and initial conditions. A supervised method then solves the inverse problem by estimating the optimal conditions that generate functions to fit the data for those infected by, recovered from, and deceased due to COVID-19. This semi-supervised approach incorporates real data to determine the evolution of the spread, the passive population, and the basic reproduction number for different countries.


title: Unsupervised Neural Networks for Quantum Eigenvalue Problems

abstract: Eigenvalue problems are critical to several fields of science and engineering. We present a novel unsupervised neural network for discovering eigenfunctions and eigenvalues for differential eigenvalue problems with solutions that identically satisfy the boundary conditions. A scanning mechanism is embedded allowing the method to find an arbitrary number of solutions. The network optimization is data-free and depends solely on the predictions. The unsupervised method is used to solve the quantum infinite well and quantum oscillator eigenvalue problems.


title: Generalization of Separation of Variables n-Harmonic Equation m Dimension and Unbounded Boundary Value Problem

abstract: The method of separation of variables is significant, it has been applied to physics, engineering , chemistry and other fields. It allows to reduce the diffculity of problems by separating the variables from partial differential equation system into ordinary differential equations system. However, this method has complexity in higher order partial differential equations. In this reserach, we generalize this method by using multinomial theorem of n-harmonic equation to solve n-harmonic equation with $m$ dimension and then solving an important class of partial differential equations with unbounded boundary conditions. Additionaly, application of convolution.


title: Maximin Optimization for Binary Regression

abstract: We consider regression problems with binary weights. Such optimization problems are ubiquitous in quantized learning models and digital communication systems. A natural approach is to optimize the corresponding Lagrangian using variants of the gradient ascent-descent method. Such maximin techniques are still poorly understood even in the concave-convex case. The non-convex binary constraints may lead to spurious local minima. Interestingly, we prove that this approach is optimal in linear regression with low noise conditions as well as robust regression with a small number of outliers. Practically, the method also performs well in regression with cross entropy loss, as well as non-convex multi-layer neural networks. Taken together our approach highlights the potential of saddle-point optimization for learning constrained models.


title: Bifurcations in asymptotically autonomous Hamiltonian systems under oscillatory perturbations

abstract: The effect of decaying oscillatory perturbations on autonomous Hamiltonian systems in the plane with a stable equilibrium is investigated. It is assumed that perturbations preserve the equilibrium and satisfy a resonance condition. The behaviour of the perturbed trajectories in the vicinity of the equilibrium is investigated. Depending on the structure of the perturbations, various asymptotic regimes at infinity in time are possible. In particular, a phase locking and a phase drifting can occur in the systems. The paper investigates the bifurcations associated with a change of Lyapunov stability of the equilibrium in both regimes. The proposed stability analysis is based on a combination of the averaging method and the construction of Lyapunov functions.


title: Nowcasting of COVID-19 confirmed cases: Foundations, trends, and challenges

abstract: The coronavirus disease 2019 (COVID-19) has become a public health emergency of international concern affecting more than 200 countries and territories worldwide. As of September 30, 2020, it has caused a pandemic outbreak with more than 33 million confirmed infections and more than 1 million reported deaths worldwide. Several statistical, machine learning, and hybrid models have previously tried to forecast COVID-19 confirmed cases for profoundly affected countries. Due to extreme uncertainty and nonstationarity in the time series data, forecasting of COVID-19 confirmed cases has become a very challenging job. For univariate time series forecasting, there are various statistical and machine learning models available in the literature. But, epidemic forecasting has a dubious track record. Its failures became more prominent due to insufficient data input, flaws in modeling assumptions, high sensitivity of estimates, lack of incorporation of epidemiological features, inadequate past evidence on effects of available interventions, lack of transparency, errors, lack of determinacy, and lack of expertise in crucial disciplines. This chapter focuses on assessing different short-term forecasting models that can forecast the daily COVID-19 cases for various countries. In the form of an empirical study on forecasting accuracy, this chapter provides evidence to show that there is no universal method available that can accurately forecast pandemic data. Still, forecasters' predictions are useful for the effective allocation of healthcare resources and will act as an early-warning system for government policymakers.


title: Noise in Classification

abstract: This chapter considers the computational and statistical aspects of learning linear thresholds in presence of noise. When there is no noise, several algorithms exist that efficiently learn near-optimal linear thresholds using a small amount of data. However, even a small amount of adversarial noise makes this problem notoriously hard in the worst-case. We discuss approaches for dealing with these negative results by exploiting natural assumptions on the data-generating process.


title: On the modified fractional Korteweg-de Vries and related equations

abstract: We consider in this paper modified fractional Korteweg-de Vries and related equations (modified Burgers-Hilbert and Whitham). They have the advantage with respect to the usual fractional KdV equation to have a defocusing case with a different dynamics. We will distinguish the weakly dispersive case where the phase velocity is unbounded for low frequencies and tends to zero at infinity and the strongly dispersive case where the phase velocity vanishes at the origin and goes to infinity at infinity. In the former case, the nonlinear hyperbolic effects dominate for large data, leading to the possibility of shock formation though the dispersive effects manifest for small initial data where scattering is possible. In the latter case, finite time blow-up is possible in the focusing case but not the shock formation. In the defocusing case global existence and scattering is expected in the energy subcritical case, while finite time blow-up is expected in the energy supercritical case. We establish rigorously the existence of shocks with blow-up time and location being explicitly computed in the weakly dispersive case, while most of the results on the strongly dispersive case are derived via numerical simulations, for large solutions. Moreover, the shock formation result can be extended to the weakly dispersive equation with some generalized nonlinearity. We will also comment briefly on the BBM versions of those equations.


title: GstLAL: A software framework for gravitational wave discovery

abstract: The GstLAL library, derived from Gstreamer and the LIGO Algorithm Library, supports a stream-based approach to gravitational-wave data processing. Although GstLAL was primarily designed to search for gravitational-wave signatures of merging black holes and neutron stars, it has also contributed to other gravitational-wave searches, data calibration, and detector-characterization efforts. GstLAL has played an integral role in all of the LIGO-Virgo collaboration detections, and its low-latency configuration has enabled rapid electromagnetic follow-up for dozens of compact binary candidates.


title: Assessing Excess Mortality in Times of Pandemics Based on Principal Component Analysis of Weekly Mortality Data -- The Case of COVID-19

abstract: The current outbreak of COVID-19 has called renewed attention to the need for sound statistical analysis for monitoring mortality patterns and trends over time. Excess mortality has been suggested as the most appropriate indicator to measure the overall burden of the pandemic on mortality. As such, excess mortality has received considerable interest during the first months of the COVID-19 pandemic. Previous approaches to estimate excess mortality are somewhat limited, as they do not include sufficiently long-term trends, correlations among different demographic and geographic groups, and the autocorrelations in the mortality time series. This might lead to biased estimates of excess mortality, as random mortality fluctuations may be misinterpreted as excess mortality. We present a blend of classical epidemiological approaches to estimating excess mortality during extraordinary events with an established demographic approach in mortality forecasting, namely a Lee-Carter type model, which covers the named limitations and draws a more realistic picture of the excess mortality. We illustrate our approach using weekly age- and sex-specific mortality data for 19 countries and the current COVID-19 pandemic as a case study. Our proposed model provides a general framework that can be applied to future pandemics as well as to monitor excess mortality from specific causes of deaths.


title: Reflexive Design for Fairness and Other Human Values in Formal Models

abstract: Algorithms and other formal models purportedly incorporating human values like fairness have grown increasingly popular in computer science. In response to sociotechnical challenges in the use of these models, designers and researchers have taken widely divergent positions on how formal models incorporating aspects of human values should be used: encouraging their use, moving away from them, or ignoring the normative consequences altogether. In this paper, we seek to resolve these divergent positions by identifying the main conceptual limits of formal modeling, and develop four reflexive values--value fidelity, appropriate accuracy, value legibility, and value contestation--vital for incorporating human values adequately into formal models. We then provide a brief methodology for reflexively designing formal models incorporating human values.


title: Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum

abstract: A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and define orbit equivalence relations that are universal for each Borel complexity class. We also identify an obstruction to classifiability by actions of such groups, namely generic ergodicity with respect to $E_\infty$, which we apply to Clemens-Coskey jumps of countable Borel equivalence relations. Finally, we characterize the equivalence relations that are both Borel-reducible to $=^+$ and classifiable by non-Archimedean TSI Polish groups, extending a result of Ding and Gao. In the process, several tools are developed in the Borel reducibility theory of orbit equivalence relations which are likely to be of independent interest.


title: Positivity of Mass in Higher Dimensions

abstract: The positive mass theorem in higher dimensions is proved using causality arguments inspired by those of Penrose, Sorkin and Woolgar in 3+1 dimensions.


title: Proportional resource allocation in dynamic n-player Blotto games

abstract: A variety of social, economic, and political interactions have long been modelled after Blotto games. In this paper, we introduce a general model of dynamic $n$-player Blotto contests. The players have asymmetric resources, and the battlefield prizes are not necessarily homogeneous. Each player's probability of winning the prize in a battlefield is governed by a contest success function and players' resource allocation on that battlefield. We show that there exists a subgame perfect equilibrium in which players allocate their resources proportional to the battlefield prizes for every history. This result is robust to exogenous resource shocks throughout the game.


title: Feynman checkers: the probability to find an electron vanishes nowhere inside the light cone

abstract: We study Feynman checkers, the most elementary model of electron motion introduced by R. Feynman. For the model, we prove that the probability to find an electron vanishes nowhere inside the light cone. We also prove several results on the average electron velocity. In addition, we present a lot of identities related to the model.


title: Ferroelastic Hysteresis in Thin Films of Methylammonium Lead Iodide

abstract: Mechanical strain can modify the structural and electronic properties of methylammonium lead iodide MAPbI3. The consequences of ferroelastic hysteresis, which involves the retention of structural memory upon cycles of deformation, in polycrystalline thin films of MAPbI3 are reported. Repeatedly bent films of MAPbI3 on flexible polyimide substrates were examined using Grazing Incidence Wide-Angle X-ray Scattering (GIWAXS) to quantitatively characterize the strain state, populations, and minimum sizes of twin domains. Approximate locations for the coercive stress and saturation on the ferroelastic stress-strain curve are identified, and domains from differently-strained twin sets in the films are found to interact with each other. The presence of specific twin domains is found to correlate to reports of the heterogeneity of strain states with defect content. Long-term stability testing reveals that domain walls are highly immobile over extended periods. Nucleation of new domain walls occurs for specific mechanical strains and correlates closely with degradation of the films. These results help to explain the behavior of ion migration, degradation rate, and photoluminescence in thin films under compressive and tensile strain.


title: Semi-supervised Formality Style Transfer using Language Model Discriminator and Mutual Information Maximization

abstract: Formality style transfer is the task of converting informal sentences to grammatically-correct formal sentences, which can be used to improve performance of many downstream NLP tasks. In this work, we propose a semi-supervised formality style transfer model that utilizes a language model-based discriminator to maximize the likelihood of the output sentence being formal, which allows us to use maximization of token-level conditional probabilities for training. We further propose to maximize mutual information between source and target styles as our training objective instead of maximizing the regular likelihood that often leads to repetitive and trivial generated responses. Experiments showed that our model outperformed previous state-of-the-art baselines significantly in terms of both automated metrics and human judgement. We further generalized our model to unsupervised text style transfer task, and achieved significant improvements on two benchmark sentiment style transfer datasets.


title: On contact numbers of locally separable unit sphere packings

abstract: The contact number of a packing of finitely many balls in Euclidean $d$-space is the number of touching pairs of balls in the packing. A prominent subfamily of sphere packings is formed by the so-called totally separable sphere packings: here, a packing of balls in Euclidean $d$-space is called totally separable if any two balls can be separated by a hyperplane such that it is disjoint from the interior of each ball in the packing. Bezdek, Szalkai and Szalkai (Discrete Math. 339(2): 668-676, 2016) upper bounded the contact numbers of totally separable packings of $n$ unit balls in Euclidean $d$-space in terms of $n$ and $d$. In this paper we improve their upper bound and extend that new upper bound to the so-called locally separable packings of unit balls. We call a packing of unit balls a locally separable packing if each unit ball of the packing together with the unit balls that are tangent to it form a totally separable packing. In the plane, we prove a crystallization result by characterizing all locally separable packings of $n$ unit disks having maximum contact number.


title: Object picture of scalar field perturbation on Kerr black hole in scalar-Einstein-Gauss-Bonnet theory

abstract: Scalar perturbations around the Kerr black hole in scalar-Einstein-Gauss-Bonnet (sEGB) theory are studied in the time domain. To overcome the "outer boundary problem" that usually encountered in traditional numerical calculations, we apply the hyperboloidal compactification technique to perform a $(2+1)$-dimensional simulation aiming to obtain a precise object picture of the wave propagation under the scalar field perturbation. We find that the big enough coupling constant between the scalar field and the Gauss-Bonnet curvature is responsible to destroy the original Kerr black hole. The breakdown of the Kerr spacetime happens earlier and the instability becomes more violent when the coupling becomes stronger. We further present object confirmations on the special case for the negative coupling where there exists a minimum rotation and below which the instability can never happen no matter how strong the coupling is. We also illustrate the fine structure property in the quasinormal ringing frequency once there is the coupling, and present the characteristic imprint of the sEGB theory. We expect that such a fine structure can be detected in the future gravitational wave observation to test the sEGB theory.


title: Adiabatic theorem revisited: the unexpectedly good performance of adiabatic passage

abstract: Adiabatic passage employs a slowly varying time-dependent Hamiltonian to control the evolution of a quantum system along the Hamiltonian eigenstates. For processes of finite duration, the exact time evolving state may deviate from the adiabatic eigenstate at intermediate times, but in numerous applications it is observed that this deviation reaches a maximum and then decreases significantly towards the end of the process. We provide a straightforward theoretical explanation for this welcome but often unappreciated fact. Our analysis emphasizes a separate adiabaticity criterion for high fidelity state-to-state transfer and it points to new effective shortcut strategies for near adiabatic dynamics.


title: Drag Control by Hydrogen Injection in Shocked Stagnation Zone of Blunt Nose

abstract: The main motivation of the current study is to propose a high-pressure hydrogen injection as an hybrid active flow control technique in order to manipulate the flow-field in front of a blunt nose during hypersonic flight. Hydrogen injection can lead to self-igition under the right environment conditions in a stagnation zone, and may cause thermal heat addition through combustion and provide the counterjet effect together by pushing bow shock upstream. The axisymmetric numerical simulations for the hemispherical blunt nose are performed at a Mach 6 freestream flow with 10000 Pa pressure and 293 K temperature. The sonic and supersonic hydrogen and air injections are compared for drag reduction at the same stagnation pressure ratio $PR$ and momentum ratio ($R_{MA}$). The sonic air and hydrogen injection scenarios show similar performance in terms of drag reduction and similar SPM flow features, but hydrogen injection has a mass flow rate 3.76 times lower than air. Supersonic hydrogen injection at $M_j$ 2.94 behaves differently than supersonic air injection and can achieve up to 60 % drag reduction at lower PR and LPM mode with lower mass flow rate. Additionally, air injection achieves a drag reduction of 40 % in SPM mode at higher PR with very high mass flow rate.


title: On the X-ray Properties of the Putative Central Compact Object in 1E 0102.2-7219

abstract: We have analyzed the archival Chandra X-ray Observatory observations of the compact feature in the Small Magellanic Cloud supernova remnant (SNR) 1E 0102.2-7219 which has recently been suggested to be the Central Compact Object remaining after the supernova explosion. In our analysis, we have used appropriate, time-dependent responses for each of the archival observations, modeled the background instead of subtracting it, and have fit unbinned spectra to preserve the maximal spectral information. The spectrum of this feature is similar to the spectrum of the surrounding regions which have significantly enhanced abundances of O, Ne, \& Mg. We find that the previously suggested blackbody model is inconsistent with the data as Monte Carlo simulations indicate that more than 99\% of the simulated data sets have a test statistic value lower than that of the data. The spectrum is described adequately by a non-equilibrium ionization thermal model with two classes of models that fit the data equally well. One class of models has a temperature of $kT\sim0.79$ keV, an ionization timescale of $\sim3\times10^{11}\,\mathrm{cm}^{-3}\mathrm{s}$, and marginal evidence for enhanced abundances of O and Ne and the other has a temperature of $kT\sim0.91$ keV, an ionization timescale of $\sim7\times10^{10}\,\mathrm{cm}^{-3}\mathrm{s}$, and abundances consistent with local interstellar medium values. We also performed an image analysis and find that the spatial distribution of the counts is not consistent with that of a point source. The hypothesis of a point source distribution can be rejected at the 99.9\% confidence level. Therefore this compact feature is most likely a knot of O and Ne rich ejecta associated with the reverse shock.


title: Leveraging Spatial Information in Radiology Reports for Ischemic Stroke Phenotyping

abstract: Classifying fine-grained ischemic stroke phenotypes relies on identifying important clinical information. Radiology reports provide relevant information with context to determine such phenotype information. We focus on stroke phenotypes with location-specific information: brain region affected, laterality, stroke stage, and lacunarity. We use an existing fine-grained spatial information extraction system--Rad-SpatialNet--to identify clinically important information and apply simple domain rules on the extracted information to classify phenotypes. The performance of our proposed approach is promising (recall of 89.62% for classifying brain region and 74.11% for classifying brain region, side, and stroke stage together). Our work demonstrates that an information extraction system based on a fine-grained schema can be utilized to determine complex phenotypes with the inclusion of simple domain rules. These phenotypes have the potential to facilitate stroke research focusing on post-stroke outcome and treatment planning based on the stroke location.


title: Study of Star-Forming Regions in the Peculiar Galaxies NGC 660, NGC 1512, NGC 4395, and NGC 4618

abstract: The star-forming regions (SFRs) in the peculiar galaxies NGC 660, NGC 1512, NGC 4395 and NGC 4618 are studied. The relationships between such characteristics of star forming regions as UV, nearand far-IR fluxes, as well as in the Halpha and HI lines, surface brightness in these ranges, and the scatter of the radial velocities of ionized and neutral hydrogen are considered. It is shown that in all the galaxies considered, the IR fluxes from SFRs are less than in the "normal" galaxies, but for different reasons: in the galaxies with signs of recent interaction NGC 660 and NGC 1512, this is due to the low surface brightness of SFRs; in the lopsided galaxies NGC 4395 and NGC 4618, the low brightness of SFRs in the infrared range is due to their compact size. These differences indicate that the star formation process depends not only on the morphological type of a galaxy, but also on many other factors.


title: Relay Protocol for Approximate Byzantine Consensus

abstract: Approximate byzantine consensus is a fundamental problem of distributed computing. This paper presents a novel algorithm for approximate byzantine consensus, called Relay-ABC. The algorithm allows machines to achieve approximate consensus to arbitrary exactness in the presence of byzantine failures. The algorithm relies on the usage of a relayed messaging system and signed messages with unforgeable signatures that are unique to each node. The use of signatures and relays allows the strict necessary network conditions of traditional approximate byzantine consensus algorithms to be circumvented. We also provide theoretical guarantees of validity and convergence for Relay-ABC. To do this, we utilize the idea that the iteration of states in the network can be modeled by a sequence of transition matrices. We extend previous methods, which use transition matrices to prove ABC convergence, by having each state vector model not just one iteration, but a set of $D$ iterations, where $D$ is a diameter property of the graph. This allows us to accurately model the delays of messages inherent within the relay system.


title: Diagnosing and Preventing Instabilities in Recurrent Video Processing

abstract: Recurrent models are a popular choice for video enhancement tasks such as video denoising or super-resolution. In this work, we focus on their stability as dynamical systems and show that they tend to fail catastrophically at inference time on long video sequences. To address this issue, we (1) introduce a diagnostic tool which produces input sequences optimized to trigger instabilities and that can be interpreted as visualizations of temporal receptive fields, and (2) propose two approaches to enforce the stability of a model during training: constraining the spectral norm or constraining the stable rank of its convolutional layers. We then introduce Stable Rank Normalization for Convolutional layers (SRN-C), a new algorithm that enforces these constraints. Our experimental results suggest that SRN-C successfully enforces stability in recurrent video processing models without a significant performance loss.


title: Recent and new results on octonionic Bergman and Szeg\"o kernels

abstract: Very recently one has started to study Bergman and Szeg\"o kernels in the setting of octonionic monogenic functions. In particular, explicit formulas for the Bergman kernel for the octonionic unit ball and for the octonionic right half-space as well as a formula for the Szeg\"o kernel for the octonionic unit ball have been established. In this paper we extend this line of investigation by developing explicit formulas for the Szeg\"o kernel of strip domains of the form ${\cal{S}} := \{z \in \mathbb{O} \mid 0 < \Re(z) < d\}$ from which we derive by a limit argument considering $d \to \infty$ the Szeg\"o kernel of the octonionic right half-space. Additionally, we set up formulas for the Bergman kernel of such strip domains and relate both kernels with each other. In fact, these kernel functions can be expressed in terms of one-fold periodic octonionic monogenic generalizations of the cosecant function and the cotangent function, respectively.


title: Every Jordan curve inscribes uncountably many rhombi

abstract: We prove that every Jordan curve in $\mathbb{R}^2$ inscribes uncountably many rhombi. No regularity condition is assumed on the Jordan curve.


title: Software Sustainability & High Energy Physics

abstract: New facilities of the 2020s, such as the High Luminosity Large Hadron Collider (HL-LHC), will be relevant through at least the 2030s. This means that their software efforts and those that are used to analyze their data need to consider sustainability to enable their adaptability to new challenges, longevity, and efficiency, over at least this period. This will help ensure that this software will be easier to develop and maintain, that it remains available in the future on new platforms, that it meets new needs, and that it is as reusable as possible. This report discusses a virtual half-day workshop on "Software Sustainability and High Energy Physics" that aimed 1) to bring together experts from HEP as well as those from outside to share their experiences and practices, and 2) to articulate a vision that helps the Institute for Research and Innovation in Software for High Energy Physics (IRIS-HEP) to create a work plan to implement elements of software sustainability. Software sustainability practices could lead to new collaborations, including elements of HEP software being directly used outside the field, and, as has happened more frequently in recent years, to HEP developers contributing to software developed outside the field rather than reinventing it. A focus on and skills related to sustainable software will give HEP software developers an important skill that is essential to careers in the realm of software, inside or outside HEP. The report closes with recommendations to improve software sustainability in HEP, aimed at the HEP community via IRIS-HEP and the HEP Software Foundation (HSF).


title: On the Importance of Adaptive Data Collection for Extremely Imbalanced Pairwise Tasks

abstract: Many pairwise classification tasks, such as paraphrase detection and open-domain question answering, naturally have extreme label imbalance (e.g., $99.99\%$ of examples are negatives). In contrast, many recent datasets heuristically choose examples to ensure label balance. We show that these heuristics lead to trained models that generalize poorly: State-of-the art models trained on QQP and WikiQA each have only $2.4\%$ average precision when evaluated on realistically imbalanced test data. We instead collect training data with active learning, using a BERT-based embedding model to efficiently retrieve uncertain points from a very large pool of unlabeled utterance pairs. By creating balanced training data with more informative negative examples, active learning greatly improves average precision to $32.5\%$ on QQP and $20.1\%$ on WikiQA.


title: Ab initio mobility of mono-layer MoS2 and WS2: comparison to experiments and impact on the device characteristics

abstract: We combine the linearized Boltzmann Transport Equation (LBTE) and quantum transport by means of the Non-equilibrium Green's Functions (NEGF) to simulate single-layer MoS2 and WS2 ultra-scaled transistors with carrier mobilities extracted from experiments. Electron-phonon, charged impurity, and surface optical phonon scattering are taken into account with all necessary parameters derived from ab initio calculations or measurements, except for the impurity concentration. The LBTE method is used to scale the scattering self-energies of NEGF, which only include local interactions. This ensures an accurate reproduction of the measured mobilities by NEGF. We then perform device simulations and demonstrate that the considered transistors operate far from their performance limit (from 50% for MoS2 to 60% for WS2). Higher quality materials and substrate engineering will be needed to improve the situation.


title: Long term simulation analysis of deceased donor initiated chains in kidney exchange programs

abstract: Kidney exchange programs have been developed to find compatible kidneys for recipients who have incompatible donors. On the other hand, patients who do not have a living donor depend upon deceased donor (DD) donations to get a kidney transplant. Currently, in India a deceased donor donates kidneys directly to a deceased donor wait-list. The idea of initiating an exchange chain starting from a deceased donor kidney is proposed in a few articles (and recently executed in Italy), but no mathematical formulation has been given for this merger. We have introduced an integer programming formulation that creates deceased donor initiated chains, considering both paired exchange registry and deceased donor allocations simultaneously. There is a possibility of overlap between paired exchange registry and deceased donor wait-list registry data as recipients can register for both registries independently. This has also been addressed in the paper. A long term simulation study is done to analyze the gain of these DD initiated chains over time. It suggests that even with small numbers of deceased donors, these chains can increases the number of potential transplants significantly. Also, waiting time and dropout rates in the merged registry decreases substantially.


title: Localizing Open-Ontology QA Semantic Parsers in a Day Using Machine Translation

abstract: We propose Semantic Parser Localizer (SPL), a toolkit that leverages Neural Machine Translation (NMT) systems to localize a semantic parser for a new language. Our methodology is to (1) generate training data automatically in the target language by augmenting machine-translated datasets with local entities scraped from public websites, (2) add a few-shot boost of human-translated sentences and train a novel XLMR-LSTM semantic parser, and (3) test the model on natural utterances curated using human translators. We assess the effectiveness of our approach by extending the current capabilities of Schema2QA, a system for English Question Answering (QA) on the open web, to 10 new languages for the restaurants and hotels domains. Our models achieve an overall test accuracy ranging between 61% and 69% for the hotels domain and between 64% and 78% for restaurants domain, which compares favorably to 69% and 80% obtained for English parser trained on gold English data and a few examples from validation set. We show our approach outperforms the previous state-of-the-art methodology by more than 30% for hotels and 40% for restaurants with localized ontologies for the subset of languages tested. Our methodology enables any software developer to add a new language capability to a QA system for a new domain, leveraging machine translation, in less than 24 hours.


title: Kolmogorov widths of Besov classes $B^1_{1,\theta}$ and products of octahedra

abstract: In this paper we find the orders of decay for Kolmogorov widths of some Besov classes related to $W^1_1$ (the behaviour of the widths for $W^1_1$ remains unknown): $$ d_n(B^1_{1,\theta}[0,1],L_q[0,1])\asymp n^{-1/2}\log^{\max(\frac12,1-\frac{1}{\theta})}n,\quad 2<q<\infty. $$ The proof relies on the lower bound for widths of product of octahedra in a special norm (maximum of two weighted $\ell_q$ norms). This bound generalizes the theorem of B.S.~Kashin on widths of octahedra in $\ell_q^N$.


title: Chemical evolution during the formation of a protoplanetary disk

abstract: (Abridged) The aim of this study is to investigate the chemical evolution from the prestellar phase to the formation of the disk, and to determine the impact that the chemical composition of the cold and dense core has on the final composition of the disk. We performed 3D nonideal magneto-hydrodynamic (MHD) simulations of a dense core collapse using the adaptive-mesh-refinement RAMSES code. For each particle ending in the young rotationally supported disk, we ran chemical simulations with the three-phase gas-grain chemistry code Nautilus. Two different sets of initial abundances, which are characteristic of cold cores, were considered. The final distributions of the abundances of common species were compared to each other, as well as with the initial abundances of the cold core. We find that the spatial distributions of molecules reflect their sensitivity to the temperature distribution. The main carriers of the chemical elements in the disk are usually the same as the ones in the cold core, except for the S-bearing species, where HS is replaced by H$_2$S$_3$, and the P-bearing species, where atomic P leads to the formation of PO, PN, HCP, and CP. However, the abundances of less abundant species change over time. This is especially the case for "large" complex organic molecules (COMs) such as CH$_3$CHO, CH$_3$NH$_2$, CH$_3$OCH$_3$, and HCOOCH$_3$ which see their abundances significantly increase during the collapse. These COMs often present similar abundances in the disk despite significantly different abundances in the cold core. In contrast, the abundances of many radicals decrease with time. A significant number of species still show the same abundances in the cold core and the disk, which indicates efficient formation of these molecules in the cold core. This includes H$_2$O, H$_2$CO, HNCO, and "small" COMs such as CH$_3$OH, CH$_3$CN, and NH$_2$CHO.


title: AEGD: Adaptive Gradient Descent with Energy

abstract: We propose AEGD, a new algorithm for first-order gradient-based optimization of non-convex objective functions, based on a dynamically updated energy variable. The method is shown to be unconditionally energy stable, irrespective of the step size. We prove energy-dependent convergence rates of AEGD for both non-convex and convex objectives, which for a suitably small step size recovers desired convergence rates for the batch gradient descent. We also provide an energy-dependent bound on the stationary convergence of AEGD in the stochastic non-convex setting. The method is straightforward to implement and requires little tuning of hyper-parameters. Experimental results demonstrate that AEGD works well for a large variety of optimization problems: it is robust with respect to initial data, capable of making rapid initial progress. The stochastic AEGD shows comparable and often better generalization performance than SGD with momentum for deep neural networks.


title: Information geometry and Frobenius algebra

abstract: We show that a Frobenius sturcture is equivalent to a dually flat sturcture in information geometry. We define a multiplication structure on the tangent spaces of statistical manifolds, which we call the statistical product. We also define a scalar quantity, which we call the Yukawa term. By showing two examples from statistical mechanics, first the classical ideal gas, second the quantum bosonic ideal gas, we argue that the Yukawa term quantifies information generation, which resembles how mass is generated via the 3-points interaction of two fermions and a Higgs boson (Higgs mechanism). In the classical case, The Yukawa term is identically zero, whereas in the quantum case, the Yukawa term diverges as the fugacity goes to zero, which indicates the Bose-Einstein condensation.

categories: math.DG cond-mat.quant-gas cs.IT math.IT


title: Hierarchical Evidence Set Modeling for Automated Fact Extraction and Verification

abstract: Automated fact extraction and verification is a challenging task that involves finding relevant evidence sentences from a reliable corpus to verify the truthfulness of a claim. Existing models either (i) concatenate all the evidence sentences, leading to the inclusion of redundant and noisy information; or (ii) process each claim-evidence sentence pair separately and aggregate all of them later, missing the early combination of related sentences for more accurate claim verification. Unlike the prior works, in this paper, we propose Hierarchical Evidence Set Modeling (HESM), a framework to extract evidence sets (each of which may contain multiple evidence sentences), and verify a claim to be supported, refuted or not enough info, by encoding and attending the claim and evidence sets at different levels of hierarchy. Our experimental results show that HESM outperforms 7 state-of-the-art methods for fact extraction and claim verification. Our source code is available at https://github.com/ShyamSubramanian/HESM.


title: Paramagnetic effects of j-electron superconductivity and application to UTe2

abstract: The putative spin-triplet superconductor UTe2 has an Ising-like magnetic anisotropy, indicating the Cooper pair spins parallel to the easy-axis. However, the upper critical field for the hard-axis direction is much larger than that for the easy-axis, implying the strong suppression of the Pauli depairing effect even for the hard-axis direction. This observation is consistent with the recent NMR measurements which show the tiny decrease of the Knight shift below the transition temperature Tc for hard-axis magnetic fields. We clarify that these behaviors are naturally understood as a result of multi-orbital f -electron bands with total angular momentum j=5/2. Taking into account spin-orbit couplings for an orthorhombic structure, we demonstrate that for hard-axis magnetic fields, the decrease of the spin susceptibility below Tc and the Pauli depairing effect are strongly suppressed.


title: Contrastive Representation Learning: A Framework and Review

abstract: Contrastive Learning has recently received interest due to its success in self-supervised representation learning in the computer vision domain. However, the origins of Contrastive Learning date as far back as the 1990s and its development has spanned across many fields and domains including Metric Learning and natural language processing. In this paper we provide a comprehensive literature review and we propose a general Contrastive Representation Learning framework that simplifies and unifies many different contrastive learning methods. We also provide a taxonomy for each of the components of contrastive learning in order to summarise it and distinguish it from other forms of machine learning. We then discuss the inductive biases which are present in any contrastive learning system and we analyse our framework under different views from various sub-fields of Machine Learning. Examples of how contrastive learning has been applied in computer vision, natural language processing, audio processing, and others, as well as in Reinforcement Learning are also presented. Finally, we discuss the challenges and some of the most promising future research directions ahead.


title: Topological convexity in complex surfaces

abstract: We study a notion of strict pseudoconvexity in the context of topologically (often unsmoothably) embedded 3-manifolds in complex surfaces. Topologically pseudoconvex (TPC) 3-manifolds behave similarly to their smooth analogues, cutting out open domains of holomorphy (Stein surfaces), but they are much more common. We provide tools for constructing TPC embeddings, and show that every closed, oriented 3-manifold M has a TPC embedding in a compact, complex surface (without boundary) realizing any homotopy class of almost-complex structures (the analogue of the homotopy class of the contact plane field in the smooth case). We prove our tool theorems with invariants that classify almost-complex structures on any 4-manifold homotopy equivalent to M. These invariants are amenable to computation and respected by homeomorphisms (not necessarily smooth). We study the two equivalence classes of smoothings on the product of a 3-manifold with a line, and on collared ends. Both classes of smoothings are realized by holomorphic embeddings exhibiting any preassigned homotopy class of almost-complex structures. One class arises from TPC embedded 3-manifolds, while the other likely does not.


title: Autonomous Vehicle Visual Signals for Pedestrians: Experiments and Design Recommendations

abstract: Autonomous Vehicles (AV) will transform transportation, but also the interaction between vehicles and pedestrians. In the absence of a driver, it is not clear how an AV can communicate its intention to pedestrians. One option is to use visual signals. To advance their design, we conduct four human-participant experiments and evaluate six representative AV visual signals for visibility, intuitiveness, persuasiveness, and usability at pedestrian crossings. Based on the results, we distill twelve practical design recommendations for AV visual signals, with focus on signal pattern design and placement. Moreover, the paper advances the methodology for experimental evaluation of visual signals, including lab, closed-course, and public road tests using an autonomous vehicle. In addition, the paper also reports insights on pedestrian crosswalk behaviours and the impacts of pedestrian trust towards AVs on the behaviors. We hope that this work will constitute valuable input to the ongoing development of international standards for AV lamps, and thus help mature automated driving in general.


title: Application and Extension of Mean-Field Theory such as SIR to Discuss the Non-Mean Field Problem of COVID-19

abstract: The concept of the effective infection opportunity population (EIOP) was incorporated into the SIQR model, and it was assumed that this EIOP would change with the spread of infection, and this was named as the effective SIQR model. When calculated with this model, the uninfected population S decreases with the passage of time. However, when the EIOP N increases because of any reason, the infection threshold becomes larger than 1. Even after the first wave seems to have subsided, the infection begins to spread again. Firstly, we find the curve of EIOP change so that the calculation result by this model matches the data of the first and second waves. Then, we use this curve to fit with only the data of the second wave alone, and the third wave is predicted. In the case of new coronavirus infection, there are various restrictions on data collection to identify individual coefficients of mathematical models, and the true value is almost unknown. Therefore, the discussion in this paper is only about data fitting for predictive calculation. Therefore, the simulation on the true value is not aimed. However, since the data of infected persons reflect the true values, the results of data fitting can be used for the prediction of infected persons, isolated care recipients, inpatients, and severely ill persons. They are useful for a qualitative understanding of infection. The idea of EIOP is important in the sense that it connects the mean-field and the non-mean field, but the existence of data is essential, and the theory alone cannot simulate the non-mean field. We have developed two methods for treating the non-mean field cases where we don't have enough data. We have briefly introduced them.


title: Combining Observational and Experimental Data to Improve Efficiency Using Imperfect Instruments

abstract: Randomized controlled trials generate experimental variation that can credibly identify causal effects, but often suffer from limited scale, while observational datasets are large, but often violate desired identification assumptions. To improve estimation efficiency, I propose a method that leverages imperfect instruments - pretreatment covariates that satisfy the relevance condition but may violate the exclusion restriction. I show that these imperfect instruments can be used to derive moment restrictions that, in combination with the experimental data, improve estimation efficiency. I outline estimators for implementing this strategy, and show that my methods can reduce variance by up to 50%; therefore, only half of the experimental sample is required to attain the same statistical precision. I apply my method to a search listing dataset from Expedia that studies the causal effect of search rankings on clicks, and show that the method can substantially improve the precision.


title: Prescribing Ricci curvature on a Product of Spheres

abstract: We prove an existence result for the prescribed Ricci curvature equation for certain doubly warped product metrics on $\mathbb{S}^{d_1+1}\times \mathbb{S}^{d_2}$, where $d_i \geq 2$. If $T$ is a metric satisfying certain curvature assumptions, we show that $T$ can be scaled independently on the two factors so as to itself be the Ricci tensor of some metric.


title: Anomaly Detection based on Zero-Shot Outlier Synthesis and Hierarchical Feature Distillation

abstract: Anomaly detection suffers from unbalanced data since anomalies are quite rare. Synthetically generated anomalies are a solution to such ill or not fully defined data. However, synthesis requires an expressive representation to guarantee the quality of the generated data. In this paper, we propose a two-level hierarchical latent space representation that distills inliers' feature-descriptors (through autoencoders) into more robust representations based on a variational family of distributions (through a variational autoencoder) for zero-shot anomaly generation. From the learned latent distributions, we select those that lie on the outskirts of the training data as synthetic-outlier generators. And, we synthesize from them, i.e., generate negative samples without seen them before, to train binary classifiers. We found that the use of the proposed hierarchical structure for feature distillation and fusion creates robust and general representations that allow us to synthesize pseudo outlier samples. And in turn, train robust binary classifiers for true outlier detection (without the need for actual outliers during training). We demonstrate the performance of our proposal on several benchmarks for anomaly detection.


title: Embedding calculus and grope cobordism of knots

abstract: We show that embedding calculus invariants $ev_n$ are surjective for long knots in an arbitrary $3$-manifold. This solves some remaining open cases of Goodwillie--Klein--Weiss connectivity estimates, and at the same time confirms one half of the conjecture that for classical knots $ev_n$ are universal additive Vassiliev invariants over the integers. In addition, we give a sufficient condition for this conjecture to hold over a coefficient group, which is by recent results of Boavida de Brito and Horel fulfilled for the rationals and for the $p$-adic integers in a range. Therefore, embedding calculus invariants are strictly more powerful than the Kontsevich integral. Furthermore, our work shows they are more computable as well. Namely, the main theorem computes the first possibly non-vanishing invariant $ev_n$ of a knot which is grope cobordant to the unknot to be precisely equal to the equivalence class of the underlying decorated tree of the grope in the associated graph complex. Actually, our techniques apply beyond dimension $3$, offering a description of the layers in embedding calculus for long knots in a manifold of any dimension, and suggesting that certain generalised gropes realise the corresponding graph complex classes.


title: Stencil growth of metallic nanorod: An atomistic simulation

abstract: We demonstrate the stencil growth of nanoscale patterns using molecular dynamic simulation. A comparison has been made to a film grown by identical conditions without a stencil. It is shown that in the case of nanoscale proximity between mask and substrate, patterns of the same dimension as the mask can be obtained. The results also indicate that the obtained nanorod presents a higher surface area than the corresponding thin film. It is demonstrated that nanorod surface roughness decreases by merging adjacent surface irregularity during the deposition.


title: SJTU-NICT's Supervised and Unsupervised Neural Machine Translation Systems for the WMT20 News Translation Task

abstract: In this paper, we introduced our joint team SJTU-NICT 's participation in the WMT 2020 machine translation shared task. In this shared task, we participated in four translation directions of three language pairs: English-Chinese, English-Polish on supervised machine translation track, German-Upper Sorbian on low-resource and unsupervised machine translation tracks. Based on different conditions of language pairs, we have experimented with diverse neural machine translation (NMT) techniques: document-enhanced NMT, XLM pre-trained language model enhanced NMT, bidirectional translation as a pre-training, reference language based UNMT, data-dependent gaussian prior objective, and BT-BLEU collaborative filtering self-training. We also used the TF-IDF algorithm to filter the training set to obtain a domain more similar set with the test set for finetuning. In our submissions, the primary systems won the first place on English to Chinese, Polish to English, and German to Upper Sorbian translation directions.


title: Towards Hardware-Agnostic Gaze-Trackers

abstract: Gaze-tracking is a novel way of interacting with computers which allows new scenarios, such as enabling people with motor-neuron disabilities to control their computers or doctors to interact with patient information without touching screen or keyboard. Further, there are emerging applications of gaze-tracking in interactive gaming, user experience research, human attention analysis and behavioral studies. Accurate estimation of the gaze may involve accounting for head-pose, head-position, eye rotation, distance from the object as well as operating conditions such as illumination, occlusion, background noise and various biological aspects of the user. Commercially available gaze-trackers utilize specialized sensor assemblies that usually consist of an infrared light source and camera. There are several challenges in the universal proliferation of gaze-tracking as accessibility technologies, specifically its affordability, reliability, and ease-of-use. In this paper, we try to address these challenges through the development of a hardware-agnostic gaze-tracker. We present a deep neural network architecture as an appearance-based method for constrained gaze-tracking that utilizes facial imagery captured on an ordinary RGB camera ubiquitous in all modern computing devices. Our system achieved an error of 1.8073cm on GazeCapture dataset without any calibration or device specific fine-tuning. This research shows promise that one day soon any computer, tablet, or phone will be controllable using just your eyes due to the prediction capabilities of deep neutral networks.


title: A Short Note on Asymptotic Enumeration of Contingency Tables with Non-Uniform Margins

abstract: In this short note, we compute the precise asymptotics for the number of contingency tables with non-uniform margins. More precisely, for parameter $n,\delta, B,C>0$, we consider the set of matrices whose first $[n^\delta]$ rows and columns have sum $[BCn]$ and the rest $n$ rows and columns have sum $[Cn]$. We compute the precise asymptotics of the cardinality of this set when $B<B_c=1+\sqrt{1+1/C}$ using the maximal entropy methods developed by Barvinok and Hartigan. The only contribution of this note is a detailed expansion of the determinant of quadratic forms in asymptotic formulas.


title: Learning Task-aware Robust Deep Learning Systems

abstract: Many works demonstrate that deep learning system is vulnerable to adversarial attack. A deep learning system consists of two parts: the deep learning task and the deep model. Nowadays, most existing works investigate the impact of the deep model on robustness of deep learning systems, ignoring the impact of the learning task. In this paper, we adopt the binary and interval label encoding strategy to redefine the classification task and design corresponding loss to improve robustness of the deep learning system. Our method can be viewed as improving the robustness of deep learning systems from both the learning task and deep model. Experimental results demonstrate that our learning task-aware method is much more robust than traditional classification while retaining the accuracy.


title: Extremely High-Order Convergence in Simulations of Relativistic Stars

abstract: We provide a road towards obtaining gravitational waveforms from inspiraling material binaries with an accuracy viable for third-generation gravitational wave detectors, without necessarily advancing computational hardware or massively-parallel software infrastructure. We demonstrate a proof-of-principle 1+1-dimensional numerical implementation that exhibits up to 7th-order convergence for highly dynamic barotropic stars in curved spacetime, and numerical errors up to 6 orders of magnitude smaller than a standard method. Aside from high-order interpolation errors (Runge's phenomenon), there are no obvious fundamental obstacles to obtaining convergence of even higher order. The implementation uses a novel surface-tracking method, where the surface is evolved and high-order accurate boundary conditions are imposed there. Computational memory does not need to be allocated to fluid variables in the vacuum region of spacetime. We anticipate the application of this new method to full $3\! +\! 1$-dimensional simulations of the inspiral phase of compact binary systems with at least one material body. The additional challenge of a deformable surface must be addressed in multiple spatial dimensions, but it is also an opportunity to input more precise surface tension physics.

categories: gr-qc astro-ph.HE physics.comp-ph physics.flu-dyn


title: Approximation Algorithms for Stochastic Minimum Norm Combinatorial Optimization

abstract: Motivated by the need for, and growing interest in, modeling uncertainty in data, we introduce and study {\em stochastic minimum-norm optimization}. We have an underlying combinatorial optimization problem where the costs involved are {\em random variables} with given distributions; each feasible solution induces a random multidimensional cost vector, and given a certain objective function, the goal is to find a solution (that does not depend on the realizations of the costs) that minimizes the expected objective value. For instance, in stochastic load balancing, jobs with random processing times need to be assigned to machines, and the induced cost vector is the machine-load vector. Recently, in the deterministic setting, Chakrabarty and Swamy \cite{ChakrabartyS19a} considered a fairly broad suite of objectives, wherein we seek to minimize the $f$-norm of the cost vector under a given {\em arbitrary monotone, symmetric norm} $f$. In stochastic minimum-norm optimization, we work with this broad class of objectives, and seek a solution that minimizes the {\em expected $f$-norm} of the induced cost vector. We give a general framework for devising algorithms for stochastic minimum-norm combinatorial optimization, using which we obtain approximation algorithms for the stochastic minimum-norm versions of the load balancing and spanning tree problems. Two key technical contributions of this work are: (1) a structural result of independent interest connecting stochastic minimum-norm optimization to the simultaneous optimization of a (\emph{small}) collection of expected $\mathsf{Top}$-$\ell$-norms; and (2) showing how to tackle expected $\mathsf{Top}$-$\ell$-norm minimization by leveraging techniques used to deal with minimizing the expected maximum, circumventing the difficulties posed by the non-separable nature of $\mathsf{Top}$-$\ell$ norms.


title: GRB 200415A: A Short Gamma-Ray Burst from a Magnetar Giant Flare?

abstract: The giant flares of soft gamma-ray repeaters (SGRs) have long been proposed to contribute to at least a subsample of the observed short gamma-ray bursts (GRBs). In this paper, we perform a comprehensive analysis of the high-energy data of the recent bright short GRB 200415A, which was located close to the Sculptor galaxy. Our results suggest that a magnetar giant flare provides the most natural explanation for most observational properties of GRB 200415A, including its location, temporal and spectral features, energy, statistical correlations, and high-energy emissions. On the other hand, the compact star merger GRB model is found to have difficulty reproducing such an event in a nearby distance. Future detections and follow-up observations of similar events are essential to firmly establish the connection between SGR giant flares and a subsample of nearby short GRBs.


title: Document-Level Definition Detection in Scholarly Documents: Existing Models, Error Analyses, and Future Directions

abstract: The task of definition detection is important for scholarly papers, because papers often make use of technical terminology that may be unfamiliar to readers. Despite prior work on definition detection, current approaches are far from being accurate enough to use in real-world applications. In this paper, we first perform in-depth error analysis of the current best performing definition detection system and discover major causes of errors. Based on this analysis, we develop a new definition detection system, HEDDEx, that utilizes syntactic features, transformer encoders, and heuristic filters, and evaluate it on a standard sentence-level benchmark. Because current benchmarks evaluate randomly sampled sentences, we propose an alternative evaluation that assesses every sentence within a document. This allows for evaluating recall in addition to precision. HEDDEx outperforms the leading system on both the sentence-level and the document-level tasks, by 12.7 F1 points and 14.4 F1 points, respectively. We note that performance on the high-recall document-level task is much lower than in the standard evaluation approach, due to the necessity of incorporation of document structure as features. We discuss remaining challenges in document-level definition detection, ideas for improvements, and potential issues for the development of reading aid applications.


title: Global existence and singularity of the Hill's type lunar problem with strong potential

abstract: We characterize the fate of the solutions of Hill's type lunar problem using the ideas of ground states from PDE. In particular, the relative equilibrium will be defined as the ground state, which satisfies some crucial energetic variational properties in our analysis. We study the dynamics of the solutions below, at, and (slightly) above the ground state energy threshold.


title: Segmenting Epipolar Line

abstract: Identifying feature correspondence between two images is a fundamental procedure in three-dimensional computer vision. Usually the feature search space is confined by the epipolar line. Using the cheirality constraint, this paper finds that the feature search space can be restrained to one of two or three segments of the epipolar line that are defined by the epipole and a so-called virtual infinity point.


title: Potential higher radial excitations in the light pseudoscalar meson family

abstract: Inspired by the event accumulation around 2.6 GeV in the $\eta^\prime\pi^+\pi^-$ invariant mass spectrum of $J/\psi\to \gamma \eta^\prime\pi^+\pi^-$, which was reported by the BESIII Collaboration, we carry out the study of the mass spectrum and decay behavior of four radial excitations in the pseudoscalar meson family, which include $\eta^{(\prime)}(6S)$ and $\eta^{(\prime)}(7S)$. Combining with these analysis, we present the calculation of the reactions induced by a pion or kaon on the proton target which are relevant to these four discussed states. According to this information, we give concrete experimental suggestion of searching for them, which will become a new task for future experiments.


title: SDMTL: Semi-Decoupled Multi-grained Trajectory Learning for 3D human motion prediction

abstract: Predicting future human motion is critical for intelligent robots to interact with humans in the real world, and human motion has the nature of multi-granularity. However, most of the existing work either implicitly modeled multi-granularity information via fixed modes or focused on modeling a single granularity, making it hard to well capture this nature for accurate predictions. In contrast, we propose a novel end-to-end network, Semi-Decoupled Multi-grained Trajectory Learning network (SDMTL), to predict future poses, which not only flexibly captures rich multi-grained trajectory information but also aggregates multi-granularity information for predictions. Specifically, we first introduce a Brain-inspired Semi-decoupled Motion-sensitive Encoding module (BSME), effectively capturing spatiotemporal features in a semi-decoupled manner. Then, we capture the temporal dynamics of motion trajectory at multi-granularity, including fine granularity and coarse granularity. We learn multi-grained trajectory information using BSMEs hierarchically and further capture the information of temporal evolutional directions at each granularity by gathering the outputs of BSMEs at each granularity and applying temporal convolutions along the motion trajectory. Next, the captured motion dynamics can be further enhanced by aggregating the information of multi-granularity with a weighted summation scheme. Finally, experimental results on two benchmarks, including Human3.6M and CMU-Mocap, show that our method achieves state-of-the-art performance, demonstrating the effectiveness of our proposed method. The code will be available if the paper is accepted.


title: Deep Imitation Learning for Bimanual Robotic Manipulation

abstract: We present a deep imitation learning framework for robotic bimanual manipulation in a continuous state-action space. A core challenge is to generalize the manipulation skills to objects in different locations. We hypothesize that modeling the relational information in the environment can significantly improve generalization. To achieve this, we propose to (i) decompose the multi-modal dynamics into elemental movement primitives, (ii) parameterize each primitive using a recurrent graph neural network to capture interactions, and (iii) integrate a high-level planner that composes primitives sequentially and a low-level controller to combine primitive dynamics and inverse kinematics control. Our model is a deep, hierarchical, modular architecture. Compared to baselines, our model generalizes better and achieves higher success rates on several simulated bimanual robotic manipulation tasks. We open source the code for simulation, data, and models at: https://github.com/Rose-STL-Lab/HDR-IL.


title: Efimov-like states and quantum funneling effects on synthetic hyperbolic surfaces

abstract: Engineering lattice models with tailored inter-site tunnelings and onsite energies could synthesize essentially arbitrary Riemannian surfaces with highly tunable local curvatures. Here, we point out that discrete synthetic Poincar\'e half-planes and Poincar\'e disks, which are created by lattices in flat planes, support infinitely degenerate eigenstates for any nonzero eigenenergies. Such Efimov-like states exhibit a discrete scaling symmetry and imply an unprecedented apparatus for studying quantum anomaly using hyperbolic surfaces. Furthermore, all eigenstates are exponentially localized in the hyperbolic coordinates, signifying the first example of quantum funneling effects in Hermitian systems. As such, any initial wave packet travels towards the edge of the Poincar\'e half-plane or its equivalent on the Poincar\'e disk, delivering an efficient scheme to harvest light and atoms in two dimensions. Our findings unfold the intriguing properties of hyperbolic spaces and suggest that Efimov states may be regarded as a projection from a curved space with an extra dimension.


title: Theory of Transport in Ferroelectric Capacitors

abstract: We present a time-dependent diffusion theory for heat and polarization transport in a planar ferroelectric capacitor with parameters derived from a one-dimensional phonon model. We predict steady-state Seebeck and transient Peltier effects.


title: An Open Review of OpenReview: A Critical Analysis of the Machine Learning Conference Review Process

abstract: Mainstream machine learning conferences have seen a dramatic increase in the number of participants, along with a growing range of perspectives, in recent years. Members of the machine learning community are likely to overhear allegations ranging from randomness of acceptance decisions to institutional bias. In this work, we critically analyze the review process through a comprehensive study of papers submitted to ICLR between 2017 and 2020. We quantify reproducibility/randomness in review scores and acceptance decisions, and examine whether scores correlate with paper impact. Our findings suggest strong institutional bias in accept/reject decisions, even after controlling for paper quality. Furthermore, we find evidence for a gender gap, with female authors receiving lower scores, lower acceptance rates, and fewer citations per paper than their male counterparts. We conclude our work with recommendations for future conference organizers.


title: The $3$-class groups of $\mathbb{Q}(\sqrt[3]{p})$ and its normal closure

abstract: We determine the $3$-class groups of $\mathbb{Q}(\sqrt[3]{p})$ and $K=\mathbb{Q}(\sqrt[3]{p},\sqrt{-3})$ when $p\equiv 4,7\bmod 9$ is a prime and $3$ is a cubic modulo $p$. This confirms a conjecture made by Barrucand-Cohn, and proves the last remaining case of a conjecture of Lemmermeyer on the $3$-class group of $K$.


title: CDEvalSumm: An Empirical Study of Cross-Dataset Evaluation for Neural Summarization Systems

abstract: Neural network-based models augmented with unsupervised pre-trained knowledge have achieved impressive performance on text summarization. However, most existing evaluation methods are limited to an in-domain setting, where summarizers are trained and evaluated on the same dataset. We argue that this approach can narrow our understanding of the generalization ability for different summarization systems. In this paper, we perform an in-depth analysis of characteristics of different datasets and investigate the performance of different summarization models under a cross-dataset setting, in which a summarizer trained on one corpus will be evaluated on a range of out-of-domain corpora. A comprehensive study of 11 representative summarization systems on 5 datasets from different domains reveals the effect of model architectures and generation ways (i.e. abstractive and extractive) on model generalization ability. Further, experimental results shed light on the limitations of existing summarizers. Brief introduction and supplementary code can be found in https://github.com/zide05/CDEvalSumm.


title: Mapping Charge Recombination and the Effect of Point Defect Insertion in Gallium Arsenide Nanowire Heterojunctions

abstract: Electronic devices are extremely sensitive to defects in their constituent semiconductors, but locating electronic point defects in bulk semiconductors has previously been impossible. Here we apply scanning transmission electron microscopy (STEM) electron beam-induced current (EBIC) imaging to map electronic defects in a GaAs nanowire Schottky diode. Imaging with a non-damaging 80 or 200 kV STEM acceleration potential reveals a minority-carrier diffusion length that decreases near the surface of the hexagonal nanowire, thereby demonstrating that the device's charge collection efficiency (CCE) is limited by surface defects. Imaging with a 300 keV STEM beam introduces vacancy-interstitial (VI, or Frenkel) defects in the GaAs that increase carrier recombination and reduce the CCE of the diode. We create, locate, and characterize a single insertion event, determining that a defect inserted 7 nm from the Schottky interface broadly reduces the CCE by 10% across the entire nanowire device. Variable-energy STEM EBIC imaging thus allows both benign mapping and pinpoint modification of a device's e-h recombination landscape, enabling controlled experiments that illuminate the impact of both extended (1D and 2D) and point (0D) defects on semiconductor device performance.


title: Plan ahead: Self-Supervised Text Planning for Paragraph Completion Task

abstract: Despite the recent success of contextualized language models on various NLP tasks, language model itself cannot capture textual coherence of a long, multi-sentence document (e.g., a paragraph). Humans often make structural decisions on what and how to say about before making utterances. Guiding surface realization with such high-level decisions and structuring text in a coherent way is essentially called a planning process. Where can the model learn such high-level coherence? A paragraph itself contains various forms of inductive coherence signals called self-supervision in this work, such as sentence orders, topical keywords, rhetorical structures, and so on. Motivated by that, this work proposes a new paragraph completion task PARCOM; predicting masked sentences in a paragraph. However, the task suffers from predicting and selecting appropriate topical content with respect to the given context. To address that, we propose a self-supervised text planner SSPlanner that predicts what to say first (content prediction), then guides the pretrained language model (surface realization) using the predicted content. SSPlanner outperforms the baseline generation models on the paragraph completion task in both automatic and human evaluation. We also find that a combination of noun and verb types of keywords is the most effective for content selection. As more number of content keywords are provided, overall generation quality also increases.


title: Mining Truck Platooning Patterns Through Massive Trajectory Data

abstract: Truck platooning refers to a series of trucks driving in close proximity via communication technologies, and it is considered one of the most implementable systems of connected and automated vehicles, bringing huge energy savings and safety improvements. Properly planning platoons and evaluating the potential of truck platooning are crucial to trucking companies and transportation authorities. This study proposes a series of data mining approaches to learn spontaneous truck platooning patterns from massive trajectories. An enhanced map matching algorithm is developed to identify truck headings by using digital map data, followed by an adaptive spatial clustering algorithm to detect instantaneous co-moving truck sets. These sets are then aggregated to find the network-wide maximum platoon duration and size through frequent itemset mining for computational efficiency. We leverage real GPS data collected from truck fleeting systems in Liaoning Province, China, to evaluate platooning performance and successfully extract spatiotemporal platooning patterns. Results show that approximately 36% spontaneous truck platoons can be coordinated by speed adjustment without changing routes and schedules. The average platooning distance and duration ratios for these platooned trucks are 9.6% and 9.9%, respectively, leading to a 2.8% reduction in total fuel consumption. We also distinguish the optimal platooning periods and space headways for national freeways and trunk roads, and prioritize the road segments with high possibilities of truck platooning. The derived results are reproducible, providing useful policy implications and operational strategies for large-scale truck platoon planning and roadside infrastructure construction.


title: PHICON: Improving Generalization of Clinical Text De-identification Models via Data Augmentation

abstract: De-identification is the task of identifying protected health information (PHI) in the clinical text. Existing neural de-identification models often fail to generalize to a new dataset. We propose a simple yet effective data augmentation method PHICON to alleviate the generalization issue. PHICON consists of PHI augmentation and Context augmentation, which creates augmented training corpora by replacing PHI entities with named-entities sampled from external sources, and by changing background context with synonym replacement or random word insertion, respectively. Experimental results on the i2b2 2006 and 2014 de-identification challenge datasets show that PHICON can help three selected de-identification models boost F1-score (by at most 8.6%) on cross-dataset test setting. We also discuss how much augmentation to use and how each augmentation method influences the performance.


title: Towards a Lightweight Continuous Authentication Protocol for Device-to-Device Communication

abstract: Continuous Authentication (CA) has been proposed as a potential solution to counter complex cybersecurity attacks that exploit conventional static authentication mechanisms that authenticate users only at an ingress point. However, widely researched human user characteristics-based CA mechanisms cannot be extended to continuously authenticate Internet of Things (IoT) devices. The challenges are exacerbated with increased adoption of device-to-device (d2d) communication in critical infrastructures. Existing d2d authentication protocols proposed in the literature are either prone to subversion or are computationally infeasible to be deployed on constrained IoT devices. In view of these challenges, we propose a novel, lightweight, and secure CA protocol that leverages communication channel properties and a tunable mathematical function to generate dynamically changing session keys. Our preliminary informal protocol analysis suggests that the proposed protocol is resistant to known attack vectors and thus has strong potential for deployment in securing critical and resource-constrained d2d communication.


title: Optical night sky brightness measurements from the stratosphere

abstract: This paper presents optical night sky brightness measurements from the stratosphere using CCD images taken with the Super-pressure Balloon-borne Imaging Telescope (SuperBIT). The data used for estimating the backgrounds were obtained during three commissioning flights in 2016, 2018, and 2019 at altitudes ranging from 28 km to 34 km above sea level. For a valid comparison of the brightness measurements from the stratosphere with measurements from mountain-top ground-based observatories (taken at zenith on the darkest moonless night at high Galactic and high ecliptic latitudes), the stratospheric brightness levels were zodiacal light and diffuse Galactic light subtracted, and the airglow brightness was projected to zenith. The stratospheric brightness was measured around 5.5 hours, 3 hours, and 2 hours before the local sunrise time in 2016, 2018, and 2019 respectively. The $B$, $V$, $R$, and $I$ brightness levels in 2016 were 2.7, 1.0, 1.1, and 0.6 mag arcsec$^{-2}$ darker than the darkest ground-based measurements. The $B$, $V$, and $R$ brightness levels in 2018 were 1.3, 1.0, and 1.3 mag arcsec$^{-2}$ darker than the darkest ground-based measurements. The $U$ and $I$ brightness levels in 2019 were 0.1 mag arcsec$^{-2}$ brighter than the darkest ground-based measurements, whereas the $B$ and $V$ brightness levels were 0.8 and 0.6 mag arcsec$^{-2}$ darker than the darkest ground-based measurements. The lower sky brightness levels, stable photometry, and lower atmospheric absorption make stratospheric observations from a balloon-borne platform a unique tool for astronomy. We plan to continue this work in a future mid-latitude long duration balloon flight with SuperBIT.


title: On the Le Cam distance between Poisson and Gaussian experiments and the asymptotic properties of Szasz estimators

abstract: In this paper, we prove a local limit theorem for the ratio of the Poisson distribution to the Gaussian distribution with the same mean and variance, using only elementary methods (Taylor expansions and Stirling's formula). We then apply the result to derive an upper bound on the Le Cam distance between Poisson and Gaussian experiments, which gives a complete proof of the sketch provided in the unpublished set of lecture notes by Pollard (2010), who uses a different approach. We also use the local limit theorem to derive the asymptotics of the variance for Bernstein c.d.f. and density estimators with Poisson weights on the positive half-line (also called Szasz estimators). The propagation of errors in the literature due to the incorrect estimate in Lemma 2 (iv) of Leblanc (2012) is addressed in the Appendix.


title: Uniformization of compact complex manifolds by Anosov representations

abstract: We study uniformization problems for compact manifolds that arise as quotients of domains in complex flag varieties by images of Anosov homomorphisms. We focus on Anosov homomorphisms with "small" limit sets, as measured by the Riemannian Hausdorff codimension in the flag variety. Under such a codimension hypothesis, we show that all first-order deformations of complex structure on the associated compact complex manifolds are realized by deformations of the Anosov homomorphism. With some mild additional hypotheses we show that the character variety maps locally homeomorphically to the (generalized) Teichm\"uller space of the manifold. In particular this provides a local analogue of the Bers Simultaneous Uniformization Theorem in the setting of Anosov homomorphisms to higher-rank complex semisimple Lie groups.


title: Probing tqZ anomalous couplings in the trilepton signal at the HL-LHC, HE-LHC and FCC-hh

abstract: We investigate the prospects for discovering the Flavour Changing Neutral Current (FCNC) $tqZ$ couplings via two production processes yielding trilepton signals: top quark pair production $pp\to t\bar{t}$ with one top decaying to the $Z$ boson and one light jet and the anomalous single top plus $Z$ boson production process $pp\to tZ$. We study these channels at various successors of the Large Hadron Collider~(LHC), i.e., the approved High-Luminosity LHC (HL-LHC) as well as the proposed High-Energy LHC~(HE-LHC) and Future Circular Collider in hadron-hadron mode (FCC-hh). We perform a full simulation for the signals and the relevant Standard Model (SM) backgrounds and obtain limits on the Branching Ratios (BRs) of $t\to qZ~(q=u,c)$, eventually yielding a trilepton final state through the decay modes $t\to b W^{+}\to b\ell^{+}\nu_{\ell}$ and $Z\to \ell^{+}\ell^{-}$. The upper limits on these FCNC BRs at 95\% Confidence Level (CL) are obtained at the HL-LHC with $\sqrt s=14$ TeV and 3 ab$^{-1}$, at the HE-LHC with $\sqrt s=27$ TeV and 15 ab$^{-1}$ as well as at the FCC-hh with $\sqrt s=100$ TeV and 30 ab$^{-1}$.


title: SDE-AWB: a Generic Solution for 2nd International Illumination Estimation Challenge

abstract: We propose a neural network-based solution for three different tracks of 2nd International Illumination Estimation Challenge (chromaticity.iitp.ru). Our method is built on pre-trained Squeeze-Net backbone, differential 2D chroma histogram layer and a shallow MLP utilizing Exif information. By combining semantic feature, color feature and Exif metadata, the resulting method -- SDE-AWB -- obtains 1st place in both indoor and two-illuminant tracks and 2nd place in general track.


title: Safe Reinforcement Learning with Natural Language Constraints

abstract: While safe reinforcement learning (RL) holds great promise for many practical applications like robotics or autonomous cars, current approaches require specifying constraints in mathematical form. Such specifications demand domain expertise, limiting the adoption of safe RL. In this paper, we propose learning to interpret natural language constraints for safe RL. To this end, we first introduce HazardWorld, a new multi-task benchmark that requires an agent to optimize reward while not violating constraints specified in free-form text. We then develop an agent with a modular architecture that can interpret and adhere to such textual constraints while learning new tasks. Our model consists of (1) a constraint interpreter that encodes textual constraints into spatial and temporal representations of forbidden states, and (2) a policy network that uses these representations to produce a policy achieving minimal constraint violations during training. Across different domains in HazardWorld, we show that our method achieves higher rewards (up to11x) and fewer constraint violations (by 1.8x) compared to existing approaches. However, in terms of absolute performance, HazardWorld still poses significant challenges for agents to learn efficiently, motivating the need for future work.


title: Gravitational-wave constraints on the cosmic opacity at $z\sim 5$: forecast from space gravitational-wave antenna DECIGO

abstract: Since gravitational waves (GWs) propagate freely through a perfect fluid, coalescing compact binary systems as standard sirens allow to measure the luminosity distance directly and provide distance measurements unaffected by the cosmic opacity. DECi-hertz Interferometer Gravitational-wave Observatory (DECIGO) is a future Japanese space gravitational-wave antenna sensitive to frequency range between target frequencies of LISA and ground-based detectors. Combining the predicted future GW observations from DECIGO and three current popular astrophysical probes (HII regions, SNe Ia Pantheon sample, quasar sample) in electromagnetic (EM) domains, one would be able to probe the opacity of the Universe at different redshifts. In this paper, we show that the cosmic opacity parameter can be constrained to a high precision ($\Delta \epsilon\sim 10^{-2}$) out to high redshifts ($z\sim$5). In order to reconstruct the evolution of cosmic opacity without assuming any particular functional form of it, the cosmic opacity tests should be applied to individual redshift bins independently. Therefore, we also calculate the optical depth at individual redshifts and averaged $\tau(z)$ within redshift bins. Our findings indicate that, compared with the results obtained from the HII galaxies and Pantheon SNe Ia, there is an improvement in precision when the quasar sample is considered. While non-zero optical depth is statistically significant only for redshift ranges $0<z<0.5$, $1<z<2$, and $2.5<z<3.5$, such tendency is different from that obtained in the framework of its parametrized form. Therefore the importance of cosmic-opacity test without a prescribed phenomenological function should be emphasized.


title: Time dependent fluctuations of linear eigenvalue statistics of some patterned matrices

abstract: Consider the $n \times n$ reverse circulant $RC_n(t)$ and symmetric circulant $SC_n(t)$ matrices with independent Brownian motion entries. We discuss the process convergence of the time dependent fluctuations of linear eigenvalue statistics of these matrices as $n \tends \infty$, when the test functions of the statistics are polynomials. The proofs are mainly combinatorial, based on the trace formula, method of moments and some results on process convergence.


title: Online Learning and Distributed Control for Residential Demand Response

abstract: This paper studies the automated control method for regulating air conditioner (AC) loads in incentive-based residential demand response (DR). The critical challenge is that the customer responses to load adjustment are uncertain and unknown in practice. In this paper, we formulate the AC control problem in a DR event as a multi-period stochastic optimization that integrates the indoor thermal dynamics and customer opt-out status transition. Specifically, machine learning techniques including Gaussian process and logistic regression are employed to learn the unknown thermal dynamics model and customer opt-out behavior model, respectively. We consider two typical DR objectives for AC load control: 1) minimizing the total demand, 2) closely tracking a regulated power trajectory. Based on the Thompson sampling framework, we propose an online DR control algorithm to learn customer behaviors and make real-time AC control schemes. This algorithm considers the influence of various environmental factors on customer behaviors and is implemented in a distributed fashion to preserve the privacy of customers. Numerical simulations demonstrate the control optimality and learning efficiency of the proposed algorithm.


title: Lambda Learner: Fast Incremental Learning on Data Streams

abstract: One of the most well-established applications of machine learning is in deciding what content to show website visitors. When observation data comes from high-velocity, user-generated data streams, machine learning methods perform a balancing act between model complexity, training time, and computational costs. Furthermore, when model freshness is critical, the training of models becomes time-constrained. Parallelized batch offline training, although horizontally scalable, is often not time-considerate or cost-effective. In this paper, we propose Lambda Learner, a new framework for training models by incremental updates in response to mini-batches from data streams. We show that the resulting model of our framework closely estimates a periodically updated model trained on offline data and outperforms it when model updates are time-sensitive. We provide theoretical proof that the incremental learning updates improve the loss-function over a stale batch model. We present a large-scale deployment on the sponsored content platform for a large social network, serving hundreds of millions of users across different channels (e.g., desktop, mobile). We address challenges and complexities from both algorithms and infrastructure perspectives, and illustrate the system details for computation, storage, and streaming production of training data.


title: A Method for Handling Multi-class Imbalanced Data by Geometry based Information Sampling and Class Prioritized Synthetic Data Generation (GICaPS)

abstract: This paper looks into the problem of handling imbalanced data in a multi-label classification problem. The problem is solved by proposing two novel methods that primarily exploit the geometric relationship between the feature vectors. The first one is an undersampling algorithm that uses angle between feature vectors to select more informative samples while rejecting the less informative ones. A suitable criterion is proposed to define the informativeness of a given sample. The second one is an oversampling algorithm that uses a generative algorithm to create new synthetic data that respects all class boundaries. This is achieved by finding \emph{no man's land} based on Euclidean distance between the feature vectors. The efficacy of the proposed methods is analyzed by solving a generic multi-class recognition problem based on mixture of Gaussians. The superiority of the proposed algorithms is established through comparison with other state-of-the-art methods, including SMOTE and ADASYN, over ten different publicly available datasets exhibiting high-to-extreme data imbalance. These two methods are combined into a single data processing framework and is labeled as ``GICaPS'' to highlight the role of geometry-based information (GI) sampling and Class-Prioritized Synthesis (CaPS) in dealing with multi-class data imbalance problem, thereby making a novel contribution in this field.


title: Improving Interdisciplinary Communication With Standardized Cyber Security Terminology: A Literature Review

abstract: The growing demand for computer security and the cyberization trend are hallmarks of the 21st century. The rise in cyber-crime, digital currency, e-governance, and more, is well met by a corresponding recent jump in investment in new technology for securing computers around the globe. Recently, business and government sectors have begun to focus efforts on comprehensive cyber security solutions. With this growth has emerged the need for greater methods of collabo-ration and measurement of security. Despite all these efforts, this need has not been met, and there is still too little cross-disciplinary collaboration in the realm of computer security. This paper reviews the new trends in cyber security research, their contributions, and some identifiable limitations. We argue that these limitations are due largely to the absence of co-operation required to address a problem that is clearly multifaceted. We then identify a need for further standardization of terminology in computer security and propose guidelines for the global Internet multistakeholder community to consider when crafting such standards. We also assess the viability of some specific terms, including whether cyber should be used as a separate word when it is a descriptor (e.g. cyber security or cybersecurity), and conclude with recommendations for writing future papers on cyber security or the broader new field of all things relating to cyberspace, which has recently been dubbed Cybermatics, a term we also examine and propose alternatives to, like Cyber or Cybernomics. By furthering the effort of standardizing cyber security terminology, this paper lays groundwork for cross-disciplinary collaboration, agreement between technical and nontechnical stakeholders, and the drafting of universal Internet governance laws.


title: Two-proton radioactivity within a generalized liquid drop model

abstract: The generalized liquid drop model (GLDM) is firstly extended to study the two-proton ($2p$) radioactivity half-lives of the ground-state of nuclei. According to the comparison between the calculated half-lives and the experimental data, it is shown that the GLDM describes the $2p$ radioactivity half-lives well. In addition, by comparing its accuracy with other models, it is found that the GLDM has a comparable accuracy with them. Finally, the $2p$ radioactivity half-lives of some most probable candidates are predicted with the GLDM by inputting the \textit{Q}$_{2p}$ values (the released energy of the $2p$ radioactivity) from the updated AME 2016 Mass Table, which may be useful for future experiments.


title: An Agile Very Low Frequency Radio Spectrum Explorer

abstract: The very low frequency (VLF) regime below 30 MHz in the electromagnetic spectrum has presently drawing global attentions in radio astronomical research due to its potentially significant science outcomes exploring many unknown extragalactic sources, transients, and so on. However, the non-transparency of the Earth's ionosphere, ionospheric distortion and artificial radio frequency interference (RFI) have made it difficult to detect the VLF celestial radio emission with ground-based instruments. A straightforward solution to overcome these problems is a space based VLF radio telescope, just like the VLF radio instruments onboard the Chang'E 4 spacecraft. But building such a space telescope would be inevitably costly and technically challenging. The alternative approach would be then a ground based VLF radio telescope. Particularly, in the period of post 2020 when the solar and terrestrial ionospheric activities are expected to be in a 'calm' state, it will provide us a good chance to perform VLF ground-based radio observations. Anticipating such an opportunity, we built an agile VLF radio spectrum explorer co-located with the currently operational Mingantu Spectra Radio Heliograph (MUSER). The instrument includes four antennas operating in the VLF frequency range 1-70 MHz. Along with them, we employ an eight-channel analog and digital receivers to amplify, digitize and process the radio signals received by the antennas. We present in the paper this VLF radio spectrum explorer and the instrument will be useful for celestial studies of VLF radio emissions.


title: Entanglement and decoherence of massive particles due to gravity

abstract: We analyze the dynamics of a gravity-induced entanglement for N massive particles. Considering the linear configuration of these particles, we investigate the entanglement between a specific pair of particles under the influence of the gravitational interaction between the massive particles. As the particle number increases, the specific particle pair decoheres more easily due to the gravitational interaction with other particles. The time scale of the gravity-induced decoherence is analytically determined. We also discuss the entanglement dynamics of initially entangled particles, which exemplify the monogamy of the gravity-induced entanglement.


title: Superclusters from velocity divergence fields

abstract: Superclusters are a convenient way to partition and characterize the large scale structure of the Universe. In this Letter we explore the advantages of defining superclusters as watershed basins in the divergence velocity field. We apply this definition on diverse datasets generated from linear theory and N-body simulations, with different grid sizes, smoothing scales and types of tracers. From this framework emerges a linear scaling relation between the average supercluster size and the autocorrelation length in the divergence field, a result that holds for one order of magnitude from 10 Mpc/h up to 100 Mpc/h. These results suggest that the divergence-based definition provides a robust context to quantitatively compare results across different observational or computational frameworks. Through its connection with linear theory, it can also facilitate the exploration of how supercluster properties depend on cosmological parameters, paving the way to use superclusters as cosmological probes.


title: Gravity-induced entanglement in optomechanical systems

abstract: We investigate the phenomenon of gravity-induced entanglement in optomechanical systems. Assuming photon number conservation and the Newtonian potential expanded up to the quadratic order of the oscillator positions, we exactly solve the dynamics of the optomehcanical systems. Then, we find that the phase difference due to the Newtonian gravity leads to the large entanglement of photons in separated cavities. We clarify the generating mechanism of large gravity-induced entanglements in optomechanical systems in an exact manner. We also determine the characteristic time to generate the maximal entanglement of photons. Finally, by comparing the characteristic time with the decoherence time due to photon leakage, we evaluate the range of the dissipation rate required for testing the gravity-induced entanglement.