title: A transferable prediction model of molecular adsorption on metals based on adsorbate and substrate properties

abstract: Surface adsorption is one of the fundamental processes in numerous fields, including catalysis, environment, energy and medicine. The development of an adsorption model which provides an effective prediction of binding energy in minutes has been a long term goal in surface and interface science. The solution has been elusive as identifying the intrinsic determinants of the adsorption energy for various compositions, structures and environments is non-trivial. We introduce a new and flexible model for predicting adsorption energies to metal substrates. The model is based on easily computed, intrinsic properties of the substrate and adsorbate. It is parameterised using machine learning based on first-principles calculations of probe molecules (e.g., H$_2$O, CO$_2$, O$_2$, N$_2$) adsorbed to a range of pure metal substrates. The model predicts the computed dissociative adsorption energy to metal surfaces with a correlation coefficient of 0.93 and a mean absolute error of 0.77 eV for the large database of molecular adsorption energies provided by \textit{Catalysis-Hub.org} which have a range of 15 eV. As the model is based on pre-computed quantities it provides near-instantaneous estimates of adsorption energies and it is sufficiently accurate to eliminate around 90\% of candidates in screening study of new adsorbates. The model, therefore, significantly enhances current efforts to identify new molecular coatings in many applied research fields.


title: hEARt: Motion-resilient Heart Rate Monitoring with In-ear Microphones

abstract: With the soaring adoption of in-ear wearables, the research community has started investigating suitable in-ear heart rate (HR) detection systems. HR is a key physiological marker of cardiovascular health and physical fitness. Continuous and reliable HR monitoring with wearable devices has therefore gained increasing attention in recent years. Existing HR detection systems in wearables mainly rely on photoplethysmography (PPG) sensors, however, these are notorious for poor performance in the presence of human motion. In this work, leveraging the occlusion effect that enhances low-frequency bone-conducted sounds in the ear canal, we investigate for the first time \textit{in-ear audio-based motion-resilient} HR monitoring. We first collected HR-induced sounds in the ear canal leveraging an in-ear microphone under stationary and three different activities (i.e., walking, running, and speaking). Then, we devised a novel deep learning based motion artefact (MA) mitigation framework to denoise the in-ear audio signals, followed by an HR estimation algorithm to extract HR. With data collected from 20 subjects over four activities, we demonstrate that hEARt, our end-to-end approach, achieves a mean absolute error (MAE) of 3.02 $\pm$ 2.97~BPM, 8.12 $\pm$ 6.74~BPM, 11.23 $\pm$ 9.20~BPM and 9.39 $\pm$ 6.97~BPM for stationary, walking, running and speaking, respectively, opening the door to a new non-invasive and affordable HR monitoring with usable performance for daily activities. Not only does hEARt outperform previous in-ear HR monitoring work, but it outperforms reported in-ear PPG performance.


title: Beyond Tracking: Using Deep Learning to Discover Novel Interactions in Biological Swarms

abstract: Most deep-learning frameworks for understanding biological swarms are designed to fit perceptive models of group behavior to individual-level data (e.g., spatial coordinates of identified features of individuals) that have been separately gathered from video observations. Despite considerable advances in automated tracking, these methods are still very expensive or unreliable when tracking large numbers of animals simultaneously. Moreover, this approach assumes that the human-chosen features include sufficient features to explain important patterns in collective behavior. To address these issues, we propose training deep network models to predict system-level states directly from generic graphical features from the entire view, which can be relatively inexpensive to gather in a completely automated fashion. Because the resulting predictive models are not based on human-understood predictors, we use explanatory modules (e.g., Grad-CAM) that combine information hidden in the latent variables of the deep-network model with the video data itself to communicate to a human observer which aspects of observed individual behaviors are most informative in predicting group behavior. This represents an example of augmented intelligence in behavioral ecology -- knowledge co-creation in a human-AI team. As proof of concept, we utilize a 20-day video recording of a colony of over 50 Harpegnathos saltator ants to showcase that, without any individual annotations provided, a trained model can generate an "importance map" across the video frames to highlight regions of important behaviors, such as dueling (which the AI has no a priori knowledge of), that play a role in the resolution of reproductive-hierarchy re-formation. Based on the empirical results, we also discuss the potential use and current challenges.


title: On the trajectory of the nonlinear pendulum: Exact analytic solutions via power series

abstract: We provide an exact infinite power series solution that describes the trajectory of a nonlinear simple pendulum undergoing librating and rotating motion for all time. Although the series coefficients were previously given in [V. Fair\'en, V. L\'opez, and L. Conde, Am. J. Phys 56 (1), (1988), pp. 57-61], the series itself -- as well as the optimal location about which an expansion should be chosen to assure series convergence and maximize the domain of convergence -- was not examined, and is provided here. By virtue of its representation as an elliptic function, the pendulum function has singularities that lie off of the real axis in the complex time plane. This, in turn, imposes a radius of convergence on the physical problem in real time. By choosing the expansion point at the top of the trajectory, the power series converges all the way to the bottom of the trajectory without being affected by these singularities. In constructing the series solution, we re-derive the coefficients using an alternative approach that generalizes to other nonlinear problems of mathematical physics. Additionally, we provide an exact resummation of the pendulum series -- Motivated by the asymptotic approximant method given in [Barlow et al., Q. J. Mech. Appl. Math., 70 (1) (2017), pp. 21-48] -- that accelerates the series' convergence uniformly from the top to the bottom of the trajectory. We also provide an accelerated exact resummation of the infinite series representation for the elliptic integral used in calculating the period of a pendulum's trajectory. This allows one to preserve analyticity in the use of the period to extend the pendulum series for all time via symmetry.


title: Immersed boundary simulations of cell-cell interactions in whole blood

abstract: We present a new method for the geometric reconstruction of elastic surfaces simulated by the immersed boundary method with the goal of simulating the motion and interactions of cells in whole blood. Our method uses parameter-free radial basis functions for high-order meshless parametric reconstruction of point clouds and the elastic force computations required by the immersed boundary method. This numerical framework allows us to consider the effect of endothelial geometry and red blood cell motion on the motion of platelets. We find red blood cells to be crucial for understanding the motion of platelets, to the point that the geometry of the vessel wall has a negligible effect in the presence of RBCs. We describe certain interactions that force the platelets to remain near the endothelium for extended periods, including a novel platelet motion that can be seen only in 3-dimensional simulations that we term "unicycling." We also observe red blood cell-mediated interactions between platelets and the endothelium for which the platelet has reduced speed. We suggest that these behaviors serve as mechanisms that allow platelets to better maintain vascular integrity.


title: Development of a cryocooler conduction-cooled 650 MHz SRF cavity operating at ~10 MV/m cw accelerating gradient

abstract: SRF cavities for particle acceleration are conventionally operated immersed in a bath of liquid helium at 4.2 K and below. Although this cooling configuration is practically and economically viable for large scientific accelerator installations, it may not be so for smaller accelerators intended for industrial applications such as the treatment of wastewater, sludge, flue gases, etc. In this paper, we describe a procedure to operate SRF cavities without liquid helium that can be used to construct electron-beam sources for industrial applications of electron irradiation (1-10 MeV electron energy). In this procedure, an elliptical single-cell 650 MHz niobium-tin coated niobium cavity is coupled to a closed-cycle 4 K cryocooler using high purity aluminum thermal links. The cryocooler conductively extracts heat (RF dissipation) from the cavity without requiring liquid helium around the cavity. We present construction details of this cryocooler conduction-cooling technique and systematic experiments that have demonstrated ~10 MV/m cw gradient on the cavity. By straightforward scaling up the cavity length and number of cryocoolers, the technique will provide the complete range of 1-10 MeV electron energy for industrial applications.


title: Stress distribution and surface shock wave of drop impact

abstract: Drop impact causes severe surface erosion, dictating many important natural, environmental and engineering processes and calling for substantial prevention and preservation efforts. Nevertheless, despite extensive studies on the kinematic features of impacting drops over the last two decades, the dynamic process that leads to the drop-impact erosion is still far from clear. Here, we develop a method of high-speed stress microscopy, which measures the key dynamic properties of drop impact responsible for erosion, i.e., the shear stress and pressure distributions of impacting drops, with unprecedented spatiotemporal resolutions. Our experiments reveal the fast propagation of self-similar noncentral stress maxima underneath impacting drops and quantify the shear force on impacted substrates. Moreover, we examine the deformation of elastic substrates under impact and uncover impact-induced surface shock waves. Our study opens the door for quantitative measurements of the impact stress of liquid drops and sheds light on the origin of low-speed drop-impact erosion.


title: Lackadaisical quantum walk in the hypercube to search for multiple marked vertices

abstract: Adding self-loops at each vertex of a graph improves the performance of quantum walks algorithms over loopless algorithms. Many works approach quantum walks to search for a single marked vertex. In this article, we experimentally address several problems related to quantum walk in the hypercube with self-loops to search for multiple marked vertices. We first investigate the quantum walk in the loopless hypercube. We saw that neighbor vertices are also amplified and that approximately $1/2$ of the system energy is concentrated in them. We show that the optimal value of $l$ for a single marked vertex is not optimal for multiple marked vertices. We define a new value of $l = (n/N)\cdot k$ to search multiple marked vertices. Next, we use this new value of $l$ found to analyze the search for multiple marked vertices non-adjacent and show that the probability of success is close to $1$. We also use the new value of $l$ found to analyze the search for several marked vertices that are adjacent and show that the probability of success is directly proportional to the density of marked vertices in the neighborhood. We also show that, in the case where neighbors are marked, if there is at least one non-adjacent marked vertex, the probability of success increases to close to $1$. The results found show that the self-loop value for the quantum walk in the hypercube to search for several marked vertices is $l = (n / N) \cdot k $.


title: Regression Discontinuity Designs

abstract: The Regression Discontinuity (RD) design is one of the most widely used non-experimental methods for causal inference and program evaluation. Over the last two decades, statistical and econometric methods for RD analysis have expanded and matured, and there is now a large number of methodological results for RD identification, estimation, inference, and validation. We offer a curated review of this methodological literature organized around the two most popular frameworks for the analysis and interpretation of RD designs: the continuity framework and the local randomization framework. For each framework, we discuss three main topics: (i) designs and parameters, which focuses on different types of RD settings and treatment effects of interest; (ii) estimation and inference, which presents the most popular methods based on local polynomial regression and analysis of experiments, as well as refinements, extensions, and alternatives; and (iii) validation and falsification, which summarizes an array of mostly empirical approaches to support the validity of RD designs in practice.


title: Confined and eruptive catastrophes of solar magnetic flux ropes caused by mass loading and unloading

abstract: It is widely accepted that coronal magnetic flux ropes are the core structures of large-scale solar eruptive activities, which inflict dramatic impacts on the solar-terrestrial system. Previous studies have demonstrated that varying magnetic properties of a coronal flux rope system could result in a catastrophe of the rope, which may trigger solar eruptive activities. Since the total mass of a flux rope also plays an important role in stabilizing the rope, we use 2.5-dimensional magnetohydrodynamic (MHD) numerical simulations in this letter to investigate how a flux rope evolves as its total mass varies. It is found that an unloading process that decreases the total mass of the rope could result in an upward (eruptive) catastrophe in the flux rope system, during which the rope jumps upward and the magnetic energy is released. This indicates that mass unloading processes could initiate the eruption of the flux rope. Moreover, when the system is not too diffusive, there is also a downward (confined) catastrophe that could be caused by mass loading processes, via which the total mass accumulates. The magnetic energy, however, is increased during the downward catastrophe, indicating that mass loading processes could cause confined activities that may contribute to the storage of energy before the onset of coronal eruptions.


title: A Multi-Task Learning Framework for COVID-19 Monitoring and Prediction of PPE Demand in Community Health Centres

abstract: Currently, the world seeks to find appropriate mitigation techniques to control and prevent the spread of the new SARS-CoV-2. In our paper herein, we present a peculiar Multi-Task Learning framework that jointly predicts the effect of SARS-CoV-2 as well as Personal-Protective-Equipment consumption in Community Health Centres for a given populace. Predicting the effect of the virus (SARS-CoV-2), via studies and analyses, enables us to understand the nature of SARS-CoV- 2 with reference to factors that promote its growth and spread. Therefore, these foster widespread awareness; and the populace can become more proactive and cautious so as to mitigate the spread of Corona Virus Disease 2019 (COVID- 19). Furthermore, understanding and predicting the demand for Personal Protective Equipment promotes the efficiency and safety of healthcare workers in Community Health Centres. Owing to the novel nature and strains of SARS-CoV-2, relatively few literature and research exist in this regard. These existing literature have attempted to solve the problem statement(s) using either Agent-based Models, Machine Learning Models, or Mathematical Models. In view of this, our work herein adds to existing literature via modeling our problem statements as Multi- Task Learning problems. Results from our research indicate that government actions and human factors are the most significant determinants that influence the spread of SARS-CoV-2.


title: Deadlock and Noise in Self-Organized Aggregation Without Computation

abstract: Aggregation is a fundamental behavior for swarm robotics that requires a system to gather together in a compact, connected cluster. In 2014, Gauci et al. proposed a surprising algorithm that reliably achieves swarm aggregation using only a binary line-of-sight sensor and no arithmetic computation or persistent memory. It has been rigorously proven that this algorithm will aggregate one robot to another, but it remained open whether it would always aggregate a system of $n > 2$ robots as was observed in experiments and simulations. We prove that there exist deadlocked configurations from which this algorithm cannot achieve aggregation for $n > 3$ robots when the robots' motion is uniform and deterministic. On the positive side, we show that the algorithm (i) is robust to small amounts of error, enabling deadlock avoidance, and (ii) provably achieves a linear runtime speedup for the $n = 2$ case when using a cone-of-sight sensor. Finally, we introduce a noisy, discrete adaptation of this algorithm that is more amenable to rigorous analysis of noise and whose simulation results align qualitatively with the original, continuous algorithm.


title: Safe Transformative AI via a Windfall Clause

abstract: Society could soon see transformative artificial intelligence (TAI). Models of competition for TAI show firms face strong competitive pressure to deploy TAI systems before they are safe. This paper explores a proposed solution to this problem, a Windfall Clause, where developers commit to donating a significant portion of any eventual extremely large profits to good causes. However, a key challenge for a Windfall Clause is that firms must have reason to join one. Firms must also believe these commitments are credible. We extend a model of TAI competition with a Windfall Clause to show how firms and policymakers can design a Windfall Clause which overcomes these challenges. Encouragingly, firms benefit from joining a Windfall Clause under a wide range of scenarios. We also find that firms join the Windfall Clause more often when the competition is more dangerous. Even when firms learn each other's capabilities, firms rarely wish to withdraw their support for the Windfall Clause. These three findings strengthen the case for using a Windfall Clause to promote the safe development of TAI.


title: First direct detection constraints on Planck-scale mass dark matter with multiple-scatter signatures using the DEAP-3600 detector

abstract: Dark matter particles with Planck-scale mass ($\simeq10^{19}\text{GeV}/c^2$) arise in well-motivated theories and could be produced by several cosmological mechanisms. Using a blind analysis of data collected over a 813 d live time with DEAP-3600, a 3.3 t single-phase liquid argon-based dark matter experiment at SNOLAB, a search for supermassive dark matter was performed, looking for multiple-scatter signals. No candidate signal events were observed, leading to the first direct detection constraints on Planck-scale mass dark matter. Leading limits constrain dark matter masses between $8.3\times10^{6}$ and $1.2\times10^{19} \text{GeV}/c^2$, and cross sections for scattering on $^{40}$Ar between $1.0\times10^{-23}$ and $2.4\times10^{-18} \text{cm}^2$. These are used to constrain two composite dark matter models.


title: Observability is Sufficient for the Design of Globally Exponentially Convergent State Observers for State-affine Nonlinear Systems

abstract: In this paper we are interested in the problem of state observation of state-affine nonlinear systems. Our main contribution is to propose a globally exponentially convergent observer that requires only the necessary assumption of observability of the system. To the best of the authors' knowledge this is the first time such a result is reported in the literature.


title: First Principle Study of Gravitational Pressure and Thermodynamics of FRW Universe

abstract: We make a first principle study of gravitational pressure in cosmic thermodynamics. The pressure is directly derived from the unified first law, in fact the Einstein field equation in spherically symmetric spacetime. By using this pressure, we obtain the thermodynamics for the FRW universe, especially presenting the gravitational equation of state for the FRW spacetime itself, i.e. $P=P(R_A, T)$ for the first time. Furthermore, we study the Joule-Thomson expansion as an application of the thermodynamic equation of state to find the cooling-heating property of the FRW universe. We demonstrate that there is an inversion temperature for a FRW universe if its enthalpy ${\cal H}$ is negative. These investigations shed insights on the evolution of our universe in view of thermodynamics.


title: Multi-scale Edge-based U-shape Network for Salient Object Detection

abstract: Deep-learning based salient object detection methods achieve great improvements. However, there are still problems existing in the predictions, such as blurry boundary and inaccurate location, which is mainly caused by inadequate feature extraction and integration. In this paper, we propose a Multi-scale Edge-based U-shape Network (MEUN) to integrate various features at different scales to achieve better performance. To extract more useful information for boundary prediction, U-shape Edge Network modules are embedded in each decoder units. Besides, the additional down-sampling module alleviates the location inaccuracy. Experimental results on four benchmark datasets demonstrate the validity and reliability of the proposed method. Multi-scale Edge based U-shape Network also shows its superiority when compared with 15 state-of-the-art salient object detection methods.


title: Investigating strong gravitational lensing with black hole metrics modified with an additional term

abstract: Gravitational lensing is one of the most impressive celestial phenomena, which has interesting behaviors in its strong field limit. Near such limit, Bozza finds that the deflection angle of light is well-approximated by a logarithmic term and a constant term. In this way he explicitly derived the analytic expressions of deflection angles for a few types of black holes. In this paper, we study the explicit calculation to two new types of metrics in the strong field limit: (i) the Schwarzschild metric extended with an additional $r^{-n}(n\geq 3)$ term in the metric function; (ii) the Reissner-Nordstrom metric extended with an additional $r^{-6}$ term in the metric function. With such types of metrics, Bozza's original way of choosing integration variables may lead to technical difficulties in explicitly expressing the deflection angles, and we use a slightly modified version of Bozza's method to circumvent the problem.


title: Analytic twists of $\rm GL_2\times\rm GL_2$ automorphic forms

abstract: Let $f$ and $g$ be holomorphic or Maass cusp forms for $\rm SL_2(\mathbb{Z})$ with normalized Fourier coefficients $\lambda_f(n)$ and $\lambda_g(n)$, respectively. In this paper, we prove nontrivial estimates for the sum $$ \sum_{n=1}^{\infty}\lambda_f(n) \lambda_g(n)e\left(t \varphi\left(\frac{n}{X}\right)\right)V\left(\frac{n}{X}\right), $$ where $e(x)=e^{2\pi ix}$, $V(x)\in \mathcal{C}_c^{\infty}(1,2)$, $t\geq 1$ is a large parameter and $\varphi(x)$ is some nonlinear real valued smooth function. Applications of these estimates include a subconvex bound for the Rankin-Selberg $L$-function $L(s,f\otimes g)$ in the $t$-aspect, an improved estimate for a nonlinear exponential twisted sum and the following asymptotic formula for the sum of the Fourier coefficients of certain $\rm{GL}_5$ Eisenstein series $$ \sum_{n \leq X}\lambda_{1\boxplus(f\times g)}(n) =L(1,f\times g)X + O(X^{\frac{2}{3}-\frac{1}{356}+\varepsilon}) $$ for any $\varepsilon>0$.


title: The P-V Phase Transition of the FRW Universe

abstract: We define thermodynamic pressure $P$ by work density $W$ as the conjugate quantity of thermodynamic volume $V$ from field equation. We derive the equations of state $P$=$P(V, T)$ for the Friedmann-Robertson-Walker (FRW) universe in Einstein gravity and a modified gravity respectively. We find that the equation of state from Einstein gravity shows no $P$-$V$ phase transition, while the equation of state from the modified gravity does, where the critical exponents are the same as those in mean field theory.


title: SemiFed: Semi-supervised Federated Learning with Consistency and Pseudo-Labeling

abstract: Federated learning enables multiple clients, such as mobile phones and organizations, to collaboratively learn a shared model for prediction while protecting local data privacy. However, most recent research and applications of federated learning assume that all clients have fully labeled data, which is impractical in real-world settings. In this work, we focus on a new scenario for cross-silo federated learning, where data samples of each client are partially labeled. We borrow ideas from semi-supervised learning methods where a large amount of unlabeled data is utilized to improve the model's accuracy despite limited access to labeled examples. We propose a new framework dubbed SemiFed that unifies two dominant approaches for semi-supervised learning: consistency regularization and pseudo-labeling. SemiFed first applies advanced data augmentation techniques to enforce consistency regularization and then generates pseudo-labels using the model's predictions during training. SemiFed takes advantage of the federation so that for a given image, the pseudo-label holds only if multiple models from different clients produce a high-confidence prediction and agree on the same label. Extensive experiments on two image benchmarks demonstrate the effectiveness of our approach under both homogeneous and heterogeneous data distribution settings


title: Integer-arithmetic-only Certified Robustness for Quantized Neural Networks

abstract: Adversarial data examples have drawn significant attention from the machine learning and security communities. A line of work on tackling adversarial examples is certified robustness via randomized smoothing that can provide a theoretical robustness guarantee. However, such a mechanism usually uses floating-point arithmetic for calculations in inference and requires large memory footprints and daunting computational costs. These defensive models cannot run efficiently on edge devices nor be deployed on integer-only logical units such as Turing Tensor Cores or integer-only ARM processors. To overcome these challenges, we propose an integer randomized smoothing approach with quantization to convert any classifier into a new smoothed classifier, which uses integer-only arithmetic for certified robustness against adversarial perturbations. We prove a tight robustness guarantee under L2-norm for the proposed approach. We show our approach can obtain a comparable accuracy and 4x~5x speedup over floating-point arithmetic certified robust methods on general-purpose CPUs and mobile devices on two distinct datasets (CIFAR-10 and Caltech-101).


title: Combinatorial Perspectives on the Crank and Mex Partition Statistics

abstract: Several authors have recently considered the smallest positive part missing from an integer partition, known as the minimum excludant or mex. In this work, we revisit and extend connections between Dyson's crank statistics, the mex, and Frobenius symbols, with a focus on combinatorial proof techniques. One highlight is a generating function expression for the number of partitions with a bounded crank that does not include an alternating sum. This leads to a combinatorial interpretation involving types of Durfee rectangles.


title: Non-Sequential Neural Network for Simultaneous, Consistent Classification and Photometric Redshifts of OTELO Galaxies

abstract: Context. Computational techniques are essential for mining large databases produced in modern surveys with value-added products. Aims. This paper presents a machine learning procedure to carry out simultaneously galaxy morphological classification and photometric redshift estimates. Currently, only spectral energy distribution (SED) fitting has been used to obtain these results all at once. Methods. We used the ancillary data gathered in the OTELO catalog and designed a non-sequential neural network that accepts optical and near-infrared photometry as input. The network transfers the results of the morphological classification task to the redshift fitting process to ensure consistency between both procedures. Results. The results successfully recover the morphological classification and the redshifts of the test sample, reducing catastrophic redshift outliers produced by SED fitting and avoiding possible discrepancies between independent classification and redshift estimates. Our technique may be adapted to include galaxy images to improve the classification.


title: 2020 U.S. presidential election in swing states: Gender differences in Twitter conversations

abstract: Social media is commonly used by the public during election campaigns to express their opinions regarding different issues. Among various social media channels, Twitter provides an efficient platform for researchers and politicians to explore public opinion regarding a wide range of topics such as the economy and foreign policy. Current literature mainly focuses on analyzing the content of tweets without considering the gender of users. This research collects and analyzes a large number of tweets and uses computational, human coding, and statistical analyses to identify topics in more than 300,000 tweets posted during the 2020 U.S. presidential election and to compare female and male users regarding the average weight of the discussed topics. Our findings are based upon a wide range of topics, such as tax, climate change, and the COVID-19 pandemic. Out of the topics, there exists a significant difference between female and male users for more than 70% of topics.


title: Data Correction and Evolution Analysis of the ProgrammableWeb Service Ecosystem

abstract: The evolution analysis on Web service ecosystems has become a critical problem as the frequency of service changes on the Internet increases rapidly. Developers need to understand these evolution patterns to assist in their decision-making on service selection. ProgrammableWeb is a popular Web service ecosystem on which several evolution analyses have been conducted in the literature. However, the existing studies have ignored the quality issues of the ProgrammableWeb dataset and the issue of service obsolescence. In this study, we first report the quality issues identified in the ProgrammableWeb dataset from our empirical study. Then, we propose a novel method to correct the relevant evolution analysis data by estimating the life cycle of application programming interfaces (APIs) and mashups. We also reveal how to use three different dynamic network models in the service ecosystem evolution analysis based on the corrected ProgrammableWeb dataset. Our experimental experience iterates the quality issues of the original ProgrammableWeb and highlights several research opportunities.


title: Technical Report: Using Static Analysis to Compute Benefit of Tolerating Consistency

abstract: Synchronization is the Achilles heel of concurrent programs. Synchronization requirement is often used to ensure that the execution of the concurrent program can be serialized. Without synchronization requirement, a program suffers from consistency violations. Recently, it was shown that if programs are designed to tolerate such consistency violation faults (\cvf{s}) then one can obtain substantial performance gain. Previous efforts to analyze the effect of \cvf-tolerance are limited to run-time analysis of the program to determine if tolerating \cvf{s} can improve the performance. Such run-time analysis is very expensive and provides limited insight. In this work, we consider the question, `Can static analysis of the program predict the benefit of \cvf-tolerance?' We find that the answer to this question is affirmative. Specifically, we use static analysis to evaluate the cost of a \cvf and demonstrate that it can be used to predict the benefit of \cvf-tolerance. We also find that when faced with a large state space, partial analysis of the state space (via sampling) also provides the required information to predict the benefit of \cvf-tolerance. Furthermore, we observe that the \cvf-cost distribution is exponential in nature, i.e., the probability that a \cvf has a cost of $c$ is $A.B^{-c}$, where $A$ and $B$ are constants, i.e., most \cvf{s} cause no/low perturbation whereas a small number of \cvf{s} cause a large perturbation. This opens up new aveneus to evaluate the benefit of \cvf-tolerance.


title: Bursty magnetic reconnection at the Earth's magnetopause triggered by high-speed jets

abstract: The impact of high-speed jets -- dynamic pressure enhancements in the magnetosheath -- on the Earth's magnetopause has been observed to trigger local magnetic reconnection. We perform a three-dimensional hybrid simulation to study the magnetosheath and magnetopause under turbulent conditions using a quasi-radial southward interplanetary magnetic field (IMF). In contrast to quasi-steady reconnection with a strong southward IMF, we show that after the impact of a jet on the magnetopause, the magnetopause moves inwards, the current sheet is compressed and intensified and signatures of local magnetic reconnection are observed, showing similarities to spacecraft measurements


title: Fast Sketching of Polynomial Kernels of Polynomial Degree

abstract: Kernel methods are fundamental in machine learning, and faster algorithms for kernel approximation provide direct speedups for many core tasks in machine learning. The polynomial kernel is especially important as other kernels can often be approximated by the polynomial kernel via a Taylor series expansion. Recent techniques in oblivious sketching reduce the dependence in the running time on the degree $q$ of the polynomial kernel from exponential to polynomial, which is useful for the Gaussian kernel, for which $q$ can be chosen to be polylogarithmic. However, for more slowly growing kernels, such as the neural tangent and arc-cosine kernels, $q$ needs to be polynomial, and previous work incurs a polynomial factor slowdown in the running time. We give a new oblivious sketch which greatly improves upon this running time, by removing the dependence on $q$ in the leading order term. Combined with a novel sampling scheme, we give the fastest algorithms for approximating a large family of slow-growing kernels.


title: Mellin-Barnes and the method of brackets

abstract: The method of brackets is a method for the evaluation of definite integrals based on a small number of rules. This is employed here for the evaluation of Mellin-Barnes integral. The fundamental idea is to transform these integral representations into a bracket series to obtain their values. The expansion of the gamma function in such a series constitute the main part of this new application. The power and flexibility of this procedure is illustrated with a variety of examples.


title: L3C-Stereo: Lossless Compression for Stereo Images

abstract: A large number of autonomous driving tasks need high-definition stereo images, which requires a large amount of storage space. Efficiently executing lossless compression has become a practical problem. Commonly, it is hard to make accurate probability estimates for each pixel. To tackle this, we propose L3C-Stereo, a multi-scale lossless compression model consisting of two main modules: the warping module and the probability estimation module. The warping module takes advantage of two view feature maps from the same domain to generate a disparity map, which is used to reconstruct the right view so as to improve the confidence of the probability estimate of the right view. The probability estimation module provides pixel-wise logistic mixture distributions for adaptive arithmetic coding. In the experiments, our method outperforms the hand-crafted compression methods and the learning-based method on all three datasets used. Then, we show that a better maximum disparity can lead to a better compression effect. Furthermore, thanks to a compression property of our model, it naturally generates a disparity map of an acceptable quality for the subsequent stereo tasks.


title: Adaptive unsupervised learning with enhanced feature representation for intra-tumor partitioning and survival prediction for glioblastoma

abstract: Glioblastoma is profoundly heterogeneous in regional microstructure and vasculature. Characterizing the spatial heterogeneity of glioblastoma could lead to more precise treatment. With unsupervised learning techniques, glioblastoma MRI-derived radiomic features have been widely utilized for tumor sub-region segmentation and survival prediction. However, the reliability of algorithm outcomes is often challenged by both ambiguous intermediate process and instability introduced by the randomness of clustering algorithms, especially for data from heterogeneous patients. In this paper, we propose an adaptive unsupervised learning approach for efficient MRI intra-tumor partitioning and glioblastoma survival prediction. A novel and problem-specific Feature-enhanced Auto-Encoder (FAE) is developed to enhance the representation of pairwise clinical modalities and therefore improve clustering stability of unsupervised learning algorithms such as K-means. Moreover, the entire process is modelled by the Bayesian optimization (BO) technique with a custom loss function that the hyper-parameters can be adaptively optimized in a reasonably few steps. The results demonstrate that the proposed approach can produce robust and clinically relevant MRI sub-regions and statistically significant survival predictions.


title: Resistivity size effect due to surface steps on ruthenium thin films computed with a realistic tight-binding model

abstract: A realistic tight-binding model is developed and employed to elucidate the resistivity size effect due to steps on Ru thin films. The resistivity of two different film orientations, $(0001)$ and $(1 \bar{1}00)$, is computed for transport along a $[1 1 \bar{2} 0]$ direction both for smooth surfaces and for surfaces with monolayer-high steps. In the case of smooth films, the systems are also studied using solutions to the Boltzmann transport equation (BTE). Interestingly, the resistivity of $(1 \bar{1}00)$ surfaces exhibits a significant size effect even in the absence of surface steps. When monolayer-high steps are spaced $\sim 10$ nm apart, the resistivity is shown to increase due to scattering from the steps. However, only a small increase was found which cannot explain the large effect seen in recent experiments with Ru thin films. This highlights the need for further elucidation of the resistivity size effect. Theoretical analysis suggest that films made from materials with a relatively large ballistic conductance per area like Ru should exhibit a reduced resistivity size effect. This result points to Ru as a promising interconnect material. Finally, because a very efficient algorithm for computing resistivity based on the kernel polynomial method (KPM) is used, the approach fulfills a need for realistic models that can span length scales directly relevant to experimental results. The calculations described here include films approaching $5$ nm in thickness, with in-plane distances up to $\sim 160$ nm and $3.8\times10^{5}$ atomic sites.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.other


title: Energy equality in the isentropic compressible Navier-Stokes equations allowing vacuum

abstract: It is well-known that a Leray-Hopf weak solution in $L^4 (0,T; L^4(\Omega))$ for the incompressible Navier-Stokes system is persistence of energy due to Lions [19]. In this paper, it is shown that Lions's condition for energy balance is also valid for the weak solutions of the isentropic compressible Navier-Stokes equations allowing vacuum under suitable integrability conditions on the density and its derivative. This allows us to establish various sufficient conditions implying energy equality for the compressible flow as well as the non-homogenous incompressible Navier-Stokes equations. This is an improvement of corresponding results obtained by Yu in [32, Arch. Ration. Mech. Anal., 225 (2017)], and our criterion via the gradient of the velocity partially answers a question posed by Liang in [18, Proc. Roy. Soc. Edinburgh Sect. A (2020)].


title: Mechanisms of bulk and surface diffusion in metallic glasses determined from molecular dynamics simulations

abstract: The bulk and surface dynamics of Cu50Zr50 metallic glass were studied using classical molecular dynamics (MD) simulations. As the alloy undergoes cooling, it passes through liquid, supercooled, and glassy states. While bulk dynamics showed a marked slowing down prior to glass formation, with increasing activation energy, the slowdown in surface dynamics was relatively subtle. The surface exhibited a lower glass transition temperature than the bulk, and the dynamics preceding the transition were accurately described by a temperature-independent activation energy. Surface dynamics were much faster than bulk at a given temperature in the supercooled state, but surface and bulk dynamics were found to be very similar when compared at their respective glass transition temperatures. The manifestation of dynamical heterogeneity, as characterized by the non-Gaussian parameter and breakdown of the Stokes-Einstein equation, was also similar between bulk and surface for temperatures scaled by their respective glass transition temperatures. Individual atom motion was dominated by a cage and jump mechanism in the glassy state for both the bulk and surface. We utilize this cage and jump mechanisms to separate the activation energy for diffusion into two parts: (i) cage-breaking barrier (Q1), associated with the rearrangement of neighboring atoms to free up space and (ii) the subsequent jump barrier (Q2). It was observed that Q1 dominates Q2 for both bulk and surface diffusion, and the difference in activation energies for bulk and surface diffusion mainly arose from the differences in cage-breaking barrier Q1.


title: Virial ans\"atze for the Schr\"odinger Equation with a symmetric strictly convex potential. Part II

abstract: Recently was introduced in the literature a procedure to obtain ans\"atze, free of parameters, for the eigenfunctions of the time-independent Schr\"odinger equation with symmetric convex potential. In the present work, we test this technique in regard to $x^{2\kappa}$-type potentials. We study the behavior of the ans\"atze regarding the degree of the potential and to the intervening coupling constant. Finally, we discuss how the results could be used to establish the upper bounds of the relative errors in situations where intervening polynomial potentials.


title: A subfield-based construction of optimal linear codes over finite fields

abstract: In this paper, we construct four families of linear codes over finite fields from the complements of either the union of subfields or the union of cosets of a subfield, which can produce infinite families of optimal linear codes, including infinite families of (near) Griesmer codes. We also characterize the optimality of these four families of linear codes with an explicit computable criterion using the Griesmer bound and obtain many distance-optimal linear codes. In addition, we obtain several classes of distance-optimal linear codes with few weights and completely determine their weight distributions. It is shown that most of our linear codes are self-orthogonal or minimal which are useful in applications.


title: A phenomenological model for measuring generalised Faraday rotation

abstract: Generalised Faraday rotation can induce frequency-dependent conversion between the linear and circular polarisation spectra of compact radio sources such as pulsars, fast radio bursts and active galactic nuclei. I devise a simple phenomenological model that can be used to measure the effects of generalised Faraday rotation on the linearly and circularly polarised spectra of these sources. The model is theory-agnostic, with an arbitrary wavelength dependence, and hence can accommodate for a variety of potential generalised Faraday rotation inducing media. It can also be combined with additional observables to infer the physical properties of the intervening medium.


title: An Attention-Aided Deep Learning Framework for Massive MIMO Channel Estimation

abstract: Channel estimation is one of the key issues in practical massive multiple-input multiple-output (MIMO) systems. Compared with conventional estimation algorithms, deep learning (DL) based ones have exhibited great potential in terms of performance and complexity. In this paper, an attention mechanism, exploiting the channel distribution characteristics, is proposed to improve the estimation accuracy of highly separable channels with narrow angular spread by realizing the "divide-and-conquer" policy. Specifically, we introduce a novel attention-aided DL channel estimation framework for conventional massive MIMO systems and devise an embedding method to effectively integrate the attention mechanism into the fully connected neural network for the hybrid analog-digital (HAD) architecture. Simulation results show that in both scenarios, the channel estimation performance is significantly improved with the aid of attention at the cost of small complexity overhead. Furthermore, strong robustness under different system and channel parameters can be achieved by the proposed approach, which further strengthens its practical value. We also investigate the distributions of learned attention maps to reveal the role of attention, which endows the proposed approach with a certain degree of interpretability.


title: Equivariant Variance Estimation for Multiple Change-point Model

abstract: The variance of noise plays an important role in many change-point detection procedures and the associated inferences. Most commonly used variance estimators require strong assumptions on the true mean structure or normality of the error distribution, which may not hold in applications. More importantly, the qualities of these estimators have not been discussed systematically in the literature. In this paper, we introduce a framework of equivariant variance estimation for multiple change-point models. In particular, we characterize the set of all equivariant unbiased quadratic variance estimators for a family of change-point model classes, and develop a minimax theory for such estimators.


title: ARAPReg: An As-Rigid-As Possible Regularization Loss for Learning Deformable Shape Generators

abstract: This paper introduces an unsupervised loss for training parametric deformation shape generators. The key idea is to enforce the preservation of local rigidity among the generated shapes. Our approach builds on an approximation of the as-rigid-as possible (or ARAP) deformation energy. We show how to develop the unsupervised loss via a spectral decomposition of the Hessian of the ARAP energy. Our loss nicely decouples pose and shape variations through a robust norm. The loss admits simple closed-form expressions. It is easy to train and can be plugged into any standard generation models, e.g., variational auto-encoder (VAE) and auto-decoder (AD). Experimental results show that our approach outperforms existing shape generation approaches considerably on public benchmark datasets of various shape categories such as human, animal and bone.


title: BoundaryNet: An Attentive Deep Network with Fast Marching Distance Maps for Semi-automatic Layout Annotation

abstract: Precise boundary annotations of image regions can be crucial for downstream applications which rely on region-class semantics. Some document collections contain densely laid out, highly irregular and overlapping multi-class region instances with large range in aspect ratio. Fully automatic boundary estimation approaches tend to be data intensive, cannot handle variable-sized images and produce sub-optimal results for aforementioned images. To address these issues, we propose BoundaryNet, a novel resizing-free approach for high-precision semi-automatic layout annotation. The variable-sized user selected region of interest is first processed by an attention-guided skip network. The network optimization is guided via Fast Marching distance maps to obtain a good quality initial boundary estimate and an associated feature representation. These outputs are processed by a Residual Graph Convolution Network optimized using Hausdorff loss to obtain the final region boundary. Results on a challenging image manuscript dataset demonstrate that BoundaryNet outperforms strong baselines and produces high-quality semantic region boundaries. Qualitatively, our approach generalizes across multiple document image datasets containing different script systems and layouts, all without additional fine-tuning. We integrate BoundaryNet into a document annotation system and show that it provides high annotation throughput compared to manual and fully automatic alternatives.


title: Evolution of superconductivity and charge order in pressurized RbV$_3$Sb$_5$

abstract: The kagome metals $A$V$_3$Sb$_5$ ($A=$ K, Rb, Cs) under ambient pressure exhibit an unusual charge order, from which superconductivity emerges. In this work, by applying hydrostatic pressure using a liquid pressure medium and carrying out electrical resistance measurements for RbV$_3$Sb$_5$, we find the charge order becomes suppressed under a modest pressure $p_{\rm c}$ ($1.4<p_{\rm c}<1.6$ GPa), while the superconducting transition temperature $T_{\rm c}$ is maximized. $T_{\rm c}$ is then gradually weakened with further increase of pressure and reaches a minimum around 14.3 GPa, before exhibiting another maximum around 22.8 GPa, signifying the presence of a second superconducting dome. Distinct normal state resistance anomalies are found to be associated with the second superconducting dome, similar to KV$_3$Sb$_5$. Our findings point to qualitatively similar temperature-pressure phase diagrams in KV$_3$Sb$_5$ and RbV$_3$Sb$_5$, and suggest a close link between the second superconducting dome and the high-pressure resistance anomalies.


title: Fairness-Aware Online Meta-learning

abstract: In contrast to offline working fashions, two research paradigms are devised for online learning: (1) Online Meta Learning (OML) learns good priors over model parameters (or learning to learn) in a sequential setting where tasks are revealed one after another. Although it provides a sub-linear regret bound, such techniques completely ignore the importance of learning with fairness which is a significant hallmark of human intelligence. (2) Online Fairness-Aware Learning. This setting captures many classification problems for which fairness is a concern. But it aims to attain zero-shot generalization without any task-specific adaptation. This therefore limits the capability of a model to adapt onto newly arrived data. To overcome such issues and bridge the gap, in this paper for the first time we proposed a novel online meta-learning algorithm, namely FFML, which is under the setting of unfairness prevention. The key part of FFML is to learn good priors of an online fair classification model's primal and dual parameters that are associated with the model's accuracy and fairness, respectively. The problem is formulated in the form of a bi-level convex-concave optimization. Theoretic analysis provides sub-linear upper bounds for loss regret and for violation of cumulative fairness constraints. Our experiments demonstrate the versatility of FFML by applying it to classification on three real-world datasets and show substantial improvements over the best prior work on the tradeoff between fairness and classification accuracy


title: Palmira: A Deep Deformable Network for Instance Segmentation of Dense and Uneven Layouts in Handwritten Manuscripts

abstract: Handwritten documents are often characterized by dense and uneven layout. Despite advances, standard deep network based approaches for semantic layout segmentation are not robust to complex deformations seen across semantic regions. This phenomenon is especially pronounced for the low-resource Indic palm-leaf manuscript domain. To address the issue, we first introduce Indiscapes2, a new large-scale diverse dataset of Indic manuscripts with semantic layout annotations. Indiscapes2 contains documents from four different historical collections and is 150% larger than its predecessor, Indiscapes. We also propose a novel deep network Palmira for robust, deformation-aware instance segmentation of regions in handwritten manuscripts. We also report Hausdorff distance and its variants as a boundary-aware performance measure. Our experiments demonstrate that Palmira provides robust layouts, outperforms strong baseline approaches and ablative variants. We also include qualitative results on Arabic, South-East Asian and Hebrew historical manuscripts to showcase the generalization capability of Palmira.


title: Superconductivity of Light-Elements Doped H$ {}_{3} $S

abstract: Pressurized hydrogen-rich compounds, which could be viewed as precompressed metallic hydrogen, exhibit high superconductivity, thereby providing a viable route toward the discovery of high-temperature superconductors. Of particular interest is to search for high-temperature superconductors with low stable pressure in terms of pressure-stabilized hydrides. In this work, with the aim of obtaining high-temperature superconducting compounds at low pressure, we attempt to study the doping effects for high-temperature superconductive $ \mathrm{H_3S} $ with supercells up to 64 atoms using first principle electronic structure simulations. As a result of various doping, we found that Na doping for $ \mathrm{H_3S} $ could lower the dynamically stable pressure by 40 GPa. The results also indicate P doping could enhance the superconductivity of $ \mathrm{H_3S} $ system, which is in agreement with previous calculations. Moreover, our work proposed an approach that could reasonably estimate the superconducting critical temperature ($ T_{c} $) of a compound containing a large number of atoms, saving the computational cost significantly for large-scale elements-doping superconductivity simulations.


title: A Maximum Entropy Copula Model for Mixed Data: Representation, Estimation, and Applications

abstract: A new nonparametric model of maximum-entropy (MaxEnt) copula density function is proposed, which offers the following advantages: (i) it is valid for mixed random vector. By `mixed' we mean the method works for any combination of discrete or continuous variables in a fully automated manner; (ii) it yields a bonafide density estimate with intepretable parameters. By `bonafide' we mean the estimate guarantees to be a non-negative function, integrates to 1; and (iii) it plays a unifying role in our understanding of a large class of statistical methods. Our approach utilizes modern machinery of nonparametric statistics to represent and approximate log-copula density function via LP-Fourier transform. Several real-data examples are also provided to explore the key theoretical and practical implications of the theory.


title: Helium-like ions in $d$-dimensions: analyticity and generalized ground state Majorana solutions

abstract: Non-relativistic Helium-like ions $(-e,-e,Ze)$ with static nucleus in a $d-$dimensional space $\mathbb{R}^d$ ($d>1$) are considered. Assuming $r^{-1}$ Coulomb interactions, a 2-parametric correlated Hylleraas-type trial function is used to calculate the ground state energy of the system in the domain $Z \leq 10$. For odd $d=3,5$, the variational energy is given by a rational algebraic function of the variational parameters whilst for even $d=2,4$ it is shown for the first time that it corresponds to a more complicated non-algebraic expression. This twofold analyticity will hold for any $d$. It allows us to construct reasonably accurate approximate solutions for the ground state energy $E_0(Z,d)$ in the form of compact analytical expressions. We call them generalized Majorana solutions. They reproduce the first leading terms in the celebrated $\frac{1}{Z}$ expansion, and serve as generating functions for certain correlation-dependent properties. The (first) critical charge $Z_{\rm c}$ vs $d$ and the Shannon entropy $S_{r}^{(d)}$ vs $Z$ are also calculated within the present variational approach. In the light of these results, for the physically important case $d=3$ a more general 3-parametric correlated Hylleraas-type trial is used to compute the finite mass effects in the Majorana solution for a three-body Coulomb system with arbitrary charges and masses. It admits a straightforward generalization to any $d$ as well. Concrete results for the systems $e^-\,e^-\,e^+$, $H_2^+$ and $H^-$ are indicated explicitly. Our variational analytical results are in excellent agreement with the exact numerical values reported in the literature.


title: Unsupervised Local Discrimination for Medical Images

abstract: Contrastive learning, which aims to capture general representation from unlabeled images to initialize the medical analysis models, has been proven effective in alleviating the high demand for expensive annotations. Current methods mainly focus on instance-wise comparisons to learn the global discriminative features, however, pretermitting the local details to distinguish tiny anatomical structures, lesions, and tissues. To address this challenge, in this paper, we propose a general unsupervised representation learning framework, named local discrimination (LD), to learn local discriminative features for medical images by closely embedding semantically similar pixels and identifying regions of similar structures across different images. Specifically, this model is equipped with an embedding module for pixel-wise embedding and a clustering module for generating segmentation. And these two modules are unified through optimizing our novel region discrimination loss function in a mutually beneficial mechanism, which enables our model to reflect structure information as well as measure pixel-wise and region-wise similarity. Furthermore, based on LD, we propose a center-sensitive one-shot landmark localization algorithm and a shape-guided cross-modality segmentation model to foster the generalizability of our model. When transferred to downstream tasks, the learned representation by our method shows a better generalization, outperforming representation from 18 state-of-the-art (SOTA) methods and winning 9 out of all 12 downstream tasks. Especially for the challenging lesion segmentation tasks, the proposed method achieves significantly better performances. The source codes are publicly available at https://github.com/HuaiChen-1994/LDLearning.


title: Flagellar length control in multiflagellated eukaryotes: a case study with Giardia

abstract: Every organism has a size that is convenient for its function. Not only multicellular organisms but also uni-cellular organisms and even subcellular structures have convenient sizes. Flagella of eukaryotic cells are long dynamic cell protrusions. Because of their simple linear geometry, these cell appendages have been popular system for experimental investigation of the mechanisms of size control of organelles of eukaryotic cells. In the past most of the attention have been focussed on mono-flagellates and bi-flagellates. By extending our earlier model of bi-flagellates, here we develop a theoretical model for flagellar length control in {\it Giardia} which is an octo-flagellate. It has four pairs of flagella of four different lengths. Analyzing our model we predict the different sizes of the four pairs of flagella . This analysis not only provide insight into the physical origins of the different lengths but the predicted lengths are also consistent with the experimental data.


title: A Geometric Kinematic Model for Flexible Voxel-Based Robots

abstract: Voxel-based structures provide a modular, mechanically flexible periodic lattice which can be used as a soft robot through internal deformations. To engage these structures for robotic tasks, we use a finite element method to characterize the motion caused by deforming single degrees of freedom and develop a reduced kinematic model. We find that node translations propagate periodically along geometric planes within the lattice, and briefly show that translational modes dominate the energy usage of the actuators. The resulting kinematic model frames the structural deformations in terms of user-defined control and end effector nodes, which further reduces the model size. The derived Planes of Motion (POM) model can be equivalently used for forward and inverse kinematics, as demonstrated by the design of a tripod stable gait for a locomotive voxel robot and validation of the quasi-static model through physical experiments.


title: Towards Personalized and Human-in-the-Loop Document Summarization

abstract: The ubiquitous availability of computing devices and the widespread use of the internet have generated a large amount of data continuously. Therefore, the amount of available information on any given topic is far beyond humans' processing capacity to properly process, causing what is known as information overload. To efficiently cope with large amounts of information and generate content with significant value to users, we require identifying, merging and summarising information. Data summaries can help gather related information and collect it into a shorter format that enables answering complicated questions, gaining new insight and discovering conceptual boundaries. This thesis focuses on three main challenges to alleviate information overload using novel summarisation techniques. It further intends to facilitate the analysis of documents to support personalised information extraction. This thesis separates the research issues into four areas, covering (i) feature engineering in document summarisation, (ii) traditional static and inflexible summaries, (iii) traditional generic summarisation approaches, and (iv) the need for reference summaries. We propose novel approaches to tackle these challenges, by: i)enabling automatic intelligent feature engineering, ii) enabling flexible and interactive summarisation, iii) utilising intelligent and personalised summarisation approaches. The experimental results prove the efficiency of the proposed approaches compared to other state-of-the-art models. We further propose solutions to the information overload problem in different domains through summarisation, covering network traffic data, health data and business process data.


title: Temporal Induced Self-Play for Stochastic Bayesian Games

abstract: One practical requirement in solving dynamic games is to ensure that the players play well from any decision point onward. To satisfy this requirement, existing efforts focus on equilibrium refinement, but the scalability and applicability of existing techniques are limited. In this paper, we propose Temporal-Induced Self-Play (TISP), a novel reinforcement learning-based framework to find strategies with decent performances from any decision point onward. TISP uses belief-space representation, backward induction, policy learning, and non-parametric approximation. Building upon TISP, we design a policy-gradient-based algorithm TISP-PG. We prove that TISP-based algorithms can find approximate Perfect Bayesian Equilibrium in zero-sum one-sided stochastic Bayesian games with finite horizon. We test TISP-based algorithms in various games, including finitely repeated security games and a grid-world game. The results show that TISP-PG is more scalable than existing mathematical programming-based methods and significantly outperforms other learning-based methods.


title: Universal description of wetting on multiscale surfaces using integral geometry

abstract: Hypothesis Emerging energy-related technologies deal with multiscale hierarchical structures, intricate surface morphology, non-axisymmetric interfaces, and complex contact lines where wetting is difficult to quantify with classical methods. We hypothesis that a universal description of wetting on multiscale surfaces can be developed by using integral geometry coupled to thermodynamic laws. The proposed approach separates the different hierarchy levels of physical description from the thermodynamic description, allowing for a universal description of wetting on multiscale surfaces. Theory and Simulations The theoretical framework is presented followed by application to limiting cases of various wetting states. The wetting states include those considered in the Wenzel, Cassie-Baxter and wicking state models. The wetting behaviour of multiscale surfaces is then explored by conducting direct simulations of a fluid droplet on a structurally rough surface and a chemically heterogeneous surface. Findings The underlying origin of the classical wetting models is shown to be rooted within the proposed theoretical framework. In addition, integral geometry provides a topological-based wetting metric that is not contingent on any type of wetting state. Being of geometrical origin the wetting metric is applicable to describe any type of wetting phenomena on complex surfaces. The proposed framework is applicable to any complex fluid topology and multiscale surface.


title: Reservoir Computing with Diverse Timescales for Prediction of Multiscale Dynamics

abstract: Machine learning approaches have recently been leveraged as a substitute or an aid for physical/mathematical modeling approaches to dynamical systems. To develop an efficient machine learning method dedicated to modeling and prediction of multiscale dynamics, we propose a reservoir computing (RC) model with diverse timescales by using a recurrent network of heterogeneous leaky integrator (LI) neurons. We evaluate computational performance of the proposed model in two time series prediction tasks related to four chaotic fast-slow dynamical systems. In a one-step-ahead prediction task where input data are provided only from the fast subsystem, we show that the proposed model yields better performance than the standard RC model with identical LI neurons. Our analysis reveals that the timescale required for producing each component of target multiscale dynamics is appropriately and flexibly selected from the reservoir dynamics by model training. In a long-term prediction task, we demonstrate that a closed-loop version of the proposed model can achieve longer-term predictions compared to the counterpart with identical LI neurons depending on the hyperparameter setting.


title: Curvature of minimal graphs

abstract: We consider the Gaussian curvature conjecture of a minimal graph $S$ over the unit disk. First of all we reduce the general conjecture to the estimating the Gaussian curvature of some Scherk's type minimal surfaces over a quadrilateral inscribed in the unit disk containing the origin inside. As an application we improve so far the obtained upper estimates of Gaussian curvature at the point above the center. Further we obtain an optimal estimate of the Gaussian curvature at the point $\mathbf{w}$ over the center of the disk, provided $\mathbf{w}$ satisfies certain "symmetric" conditions. The result extends a classical result of Finn and Osserman in 1964. In order to do so, we construct a certain family $S^t$, $t\in[t_\circ, \pi/2]$ of Scherk's type minimal graphs over the isosceles trapezoid inscribed in the unit disk. Then we compare the Gaussian curvature of the graph $S$ with that of $S^t$ at the point $\mathbf{w}$ over the center of the disk.


title: Thing Constellation Visualizer: Exploring Emergent Relationships of Everyday Objects

abstract: Designing future IoT ecosystems requires new approaches and perspectives to understand everyday practices. While researchers recognize the importance of understanding social aspects of everyday objects, limited studies have explored the possibilities of combining data-driven patterns with human interpretations to investigate emergent relationships among objects. This work presents Thing Constellation Visualizer (thingCV), a novel interactive tool for visualizing the social network of objects based on their co-occurrence as computed from a large collection of photos. ThingCV enables perspective-changing design explorations over the network of objects with scalable links. Two exploratory workshops were conducted to investigate how designers navigate and make sense of a network of objects through thingCV. The results of eight participants showed that designers were actively engaged in identifying interesting objects and their associated clusters of related objects. The designers projected social qualities onto the identified objects and their communities. Furthermore, the designers changed their perspectives to revisit familiar contexts and to generate new insights through the exploration process. This work contributes a novel approach to combining data-driven models with designerly interpretations of thing constellation towards More-Than Human-Centred Design of IoT ecosystems.


title: Bifurcation and Nonlinear Oscillation of the Bead Motion

abstract: This research focuses on the interesting physical phenomenon of the bead-hoop system. The bifurcation can be observed investigating the equilibrium point of the bead, and nonlinear oscillation also occurs from the bead's motion. This paper includes the theoretical investigation by setting the quantitative model and studying pitchfork bifurcation. Also, the equation of motion is derived by investigating resistance. Three parts of experiments were done and went through analysis by examining standard error, error of experiment, and the error of fitting.


title: Momentum considerations inside near-zero index materials

abstract: Near-zero-index (NZI) materials, i.e. materials having a phase refractive index close to zero, are known to enhance or inhibit light-matter interactions. Most theoretical derivations of fundamental radiative processes rely on energetic considerations and detailed balance equations, but not on momentum considerations. Because momentum exchange should also be incorporated into theoretical models, we investigate momentum inside the three categories of NZI materials, i.e. inside epsilon-and-mu near-zero (EMNZ), epsilon-near-zero (ENZ) and mu-near-zero (MNZ) materials. In the context of Abraham-Minkowski debate in dispersive materials, we show that Minkowski-canonical momentum of light is zero inside all categories of NZI materials while Abraham-kinetic momentum of light is zero in ENZ and MNZ materials but nonzero inside EMNZ materials. We theoretically demonstrate that momentum recoil, transfer momentum from the field to the atom and Doppler shift are inhibited in NZI materials. Fundamental radiative processes inhibition is also explained due to those momentum considerations inside three-dimensional NZI materials. Lastly, absence of diffraction pattern in slits experiments is seen as a consequence of zero Minkowski momentum. Those findings are appealing for a better understanding of fundamental light-matter interactions at the nanoscale as well as for lasing applications.


title: Learn-Explain-Reinforce: Counterfactual Reasoning and Its Guidance to Reinforce an Alzheimer's Disease Diagnosis Model

abstract: Existing studies on disease diagnostic models focus either on diagnostic model learning for performance improvement or on the visual explanation of a trained diagnostic model. We propose a novel learn-explain-reinforce (LEAR) framework that unifies diagnostic model learning, visual explanation generation (explanation unit), and trained diagnostic model reinforcement (reinforcement unit) guided by the visual explanation. For the visual explanation, we generate a counterfactual map that transforms an input sample to be identified as an intended target label. For example, a counterfactual map can localize hypothetical abnormalities within a normal brain image that may cause it to be diagnosed with Alzheimer's disease (AD). We believe that the generated counterfactual maps represent data-driven and model-induced knowledge about a target task, i.e., AD diagnosis using structural MRI, which can be a vital source of information to reinforce the generalization of the trained diagnostic model. To this end, we devise an attention-based feature refinement module with the guidance of the counterfactual maps. The explanation and reinforcement units are reciprocal and can be operated iteratively. Our proposed approach was validated via qualitative and quantitative analysis on the ADNI dataset. Its comprehensibility and fidelity were demonstrated through ablation studies and comparisons with existing methods.


title: The space of tight contact structures on ${\mathbb R}^3$ is contractible

abstract: It was proven in the first author's paper "Contact 3-manifolds twenty years since J. Martinet's work" (Ann. Inst. Fourier, 42(1992), 165--192) that any tight contact structure on the 3-sphere is diffeomorphic to the standard one. It was also claimed there without a proof that similar methods could be used to prove a multi-parametric version: the space of tight contact structures on $S^3$, fixed at a point, is contractible. We prove this result in the current paper.


title: Condensates, massive gauge fields and confinement in the SU(3) gauge theory

abstract: SU(3) gauge theory in the nonlinear gauge of the Curci--Ferrari type is studied. In the low-energy region, ghost condensation and subsequent gauge field condensation can happen. The latter condensation makes classical gauge fields massive. If the color electric potential with string is chosen as the classical gauge field, it produces the static potential with the linear potential. We apply this static potential to the three-quark system, and show, different from the $Y$-type potential, infrared divergence remains in the $\Delta$-type potential. The color electric flux is also studied, and show that the current which plays the role of the magnetic current appears.


title: "Adversarial Examples" for Proof-of-Learning

abstract: In S&P '21, Jia et al. proposed a new concept/mechanism named proof-of-learning (PoL), which allows a prover to demonstrate ownership of a machine learning model by proving integrity of the training procedure. It guarantees that an adversary cannot construct a valid proof with less cost (in both computation and storage) than that made by the prover in generating the proof. A PoL proof includes a set of intermediate models recorded during training, together with the corresponding data points used to obtain each recorded model. Jia et al. claimed that an adversary merely knowing the final model and training dataset cannot efficiently find a set of intermediate models with correct data points. In this paper, however, we show that PoL is vulnerable to ``adversarial examples''! Specifically, in a similar way as optimizing an adversarial example, we could make an arbitrarily-chosen data point ``generate'' a given model, hence efficiently generating intermediate models with correct data points. We demonstrate, both theoretically and empirically, that we are able to generate a valid proof with significantly less cost than generating a proof by the prover.


title: Natural Evolution Strategy for Unconstrained and Implicitly Constrained Problems with Ridge Structure

abstract: In this paper, we propose a new natural evolution strategy for unconstrained black-box function optimization (BBFO) problems and implicitly constrained BBFO problems. BBFO problems are known to be difficult because explicit representations of objective functions are not available. Implicit constraints make the problems more difficult because whether or not a solution is feasible is revealed when the solution is evaluated with the objective function. DX-NES-IC is one of the promising methods for implicitly constrained BBFO problems. DX-NES-IC has shown better performance than conventional methods on implicitly constrained benchmark problems. However, DX-NES-IC has a problem in that the moving speed of the probability distribution is slow on ridge structure. To address the problem, we propose the Fast Moving Natural Evolution Strategy (FM-NES) that accelerates the movement of the probability distribution on ridge structure by introducing the rank-one update into DX-NES-IC. The rank-one update is utilized in CMA-ES. Since naively introducing the rank-one update makes the search performance deteriorate on implicitly constrained problems, we propose a condition of performing the rank-one update. We also propose to reset the shape of the probability distribution when an infeasible solution is sampled at the first time. In numerical experiments using unconstrained and implicitly constrained benchmark problems, FM-NES showed better performance than DX-NES-IC on problems with ridge structure and almost the same performance as DX-NES-IC on the others. Furthermore, FM-NES outperformed xNES, CMA-ES, xNES with the resampling technique, and CMA-ES with the resampling technique.


title: A Modular Design of Continuously Tunable Full Color Plasmonic Pixels with Broken Rotational Symmetry

abstract: Color tuning is a fascinating and indispensable property in applications such as advanced display, active camouflaging and information encryption. Thus far, a variety of reconfigurable approaches have been implemented to achieve color change. However, it is still a challenge to enable a continuous color tuning over the entire hue range in a simple, stable and rapid manner without changes in configuration and material properties. Here, we demonstrate an all-optical continuously tunable plasmonic pixel scheme via a modular design approach to realize polarization-controlled full color tuning by breaking the intrinsic symmetry of the unit cell layout. The polarization-controlled full color tunable plasmonic pixels consist of three different types of color modules oriented at an angle of 60{\deg} with respect to each other, corresponding to three subtractive primary colors. Without changing the structural properties or surrounding environment, the structural colors can be continuously and precisely tuned across all hues by illuminating linearly polarized light with different polarization directions. Meanwhile, the plasmonic pixels can be flexibly customized for various color tuning processes, such as different initial output colors and color tuning sequences, through the appropriate choice of component modules and the elaborate design of module layouts. Furthermore, we extend the color tuning to achromatic colors, white or black, with the utilization of a single module or the introduction of a black module. The proposed polarization-controlled full color tunable plasmonic pixels hold considerable potential to function as next-generation color pixels integrated with liquid-crystal polarizers.


title: DeepEdgeBench: Benchmarking Deep Neural Networks on Edge Devices

abstract: EdgeAI (Edge computing based Artificial Intelligence) has been most actively researched for the last few years to handle variety of massively distributed AI applications to meet up the strict latency requirements. Meanwhile, many companies have released edge devices with smaller form factors (low power consumption and limited resources) like the popular Raspberry Pi and Nvidia's Jetson Nano for acting as compute nodes at the edge computing environments. Although the edge devices are limited in terms of computing power and hardware resources, they are powered by accelerators to enhance their performance behavior. Therefore, it is interesting to see how AI-based Deep Neural Networks perform on such devices with limited resources. In this work, we present and compare the performance in terms of inference time and power consumption of the four Systems on a Chip (SoCs): Asus Tinker Edge R, Raspberry Pi 4, Google Coral Dev Board, Nvidia Jetson Nano, and one microcontroller: Arduino Nano 33 BLE, on different deep learning models and frameworks. We also provide a method for measuring power consumption, inference time and accuracy for the devices, which can be easily extended to other devices. Our results showcase that, for Tensorflow based quantized model, the Google Coral Dev Board delivers the best performance, both for inference time and power consumption. For a low fraction of inference computation time, i.e. less than 29.3% of the time for MobileNetV2, the Jetson Nano performs faster than the other devices.


title: Scattering and Strebel graphs

abstract: We consider a special scattering experiment with n particles in $\mathbb{R}^{n-3,1}$. The scattering equations in this set-up become the saddle-point equations of a Penner-like matrix model, where in the large $n$ limit, the spectral curve is directly related to the unique Strebel differential on a Riemann sphere with three punctures. The solutions to the scattering equations localize along different kinds of graphs, tuned by a kinematic variable. We conclude with a few comments on a connection between these graphs and scattering in the Gross-Mende limit.


title: Developments in Mathematical Algorithms and Computational Tools for Proton CT and Particle Therapy Treatment Planning

abstract: We summarize recent results and ongoing activities in mathematical algorithms and computer science methods related to proton computed tomography (pCT) and intensity-modulated particle therapy (IMPT) treatment planning. Proton therapy necessitates a high level of delivery accuracy to exploit the selective targeting imparted by the Bragg peak. For this purpose, pCT utilizes the proton beam itself to create images. The technique works by sending a low-intensity beam of protons through the patient and measuring the position, direction, and energy loss of each exiting proton. The pCT technique allows reconstruction of the volumetric distribution of the relative stopping power (RSP) of the patient tissues for use in treatment planning and pre-treatment range verification. We have investigated new ways to make the reconstruction both efficient and accurate. Better accuracy of RSP also enables more robust inverse approaches to IMPT. For IMPT, we developed a framework for performing intensity-modulation of the proton pencil beams. We expect that these developments will lead to additional project work in the years to come, which requires a regular exchange between experts in the fields of mathematics, computer science, and medical physics. We have initiated such an exchange by organizing annual workshops on pCT and IMPT algorithm and technology developments. This report is, admittedly, tilted toward our interdisciplinary work and methods. We offer a comprehensive overview of results, problems, and challenges in pCT and IMPT with the aim of making other scientists wanting to tackle such issues and to strengthen their interdisciplinary collaboration by bringing together cutting-edge know-how from medicine, computer science, physics, and mathematics to bear on medical physics problems at hand.


title: Ensemble of CNN classifiers using Sugeno Fuzzy Integral Technique for Cervical Cytology Image Classification

abstract: Cervical cancer is the fourth most common category of cancer, affecting more than 500,000 women annually, owing to the slow detection procedure. Early diagnosis can help in treating and even curing cancer, but the tedious, time-consuming testing process makes it impossible to conduct population-wise screening. To aid the pathologists in efficient and reliable detection, in this paper, we propose a fully automated computer-aided diagnosis tool for classifying single-cell and slide images of cervical cancer. The main concern in developing an automatic detection tool for biomedical image classification is the low availability of publicly accessible data. Ensemble Learning is a popular approach for image classification, but simplistic approaches that leverage pre-determined weights to classifiers fail to perform satisfactorily. In this research, we use the Sugeno Fuzzy Integral to ensemble the decision scores from three popular pretrained deep learning models, namely, Inception v3, DenseNet-161 and ResNet-34. The proposed Fuzzy fusion is capable of taking into consideration the confidence scores of the classifiers for each sample, and thus adaptively changing the importance given to each classifier, capturing the complementary information supplied by each, thus leading to superior classification performance. We evaluated the proposed method on three publicly available datasets, the Mendeley Liquid Based Cytology (LBC) dataset, the SIPaKMeD Whole Slide Image (WSI) dataset, and the SIPaKMeD Single Cell Image (SCI) dataset, and the results thus yielded are promising. Analysis of the approach using GradCAM-based visual representations and statistical tests, and comparison of the method with existing and baseline models in literature justify the efficacy of the approach.


title: Normalized solutions for Schr\"{o}dinger system with quadratic and cubic interactions

abstract: In this paper, we give a complete study on the existence and non-existence of normalized solutions for Schr\"{o}dinger system with quadratic and cubic interactions. In the one dimension case, the energy functional is bounded from below on the product of $L^2$-spheres, normalized ground states exist and are obtained as global minimizers. When $N=2$, the energy functional is not always bounded on the product of $L^2$-spheres. We give a classification of the existence and nonexistence of global minimizers. Then under suitable conditions on $b_1$ and $b_2$, we prove the existence of normalized solutions. When $N=3$, the energy functional is always unbounded on the product of $L^2$-spheres. We show that under suitable conditions on $b_1$ and $b_2$, at least two normalized solutions exist, one is a ground state and the other is an excited state. Furthermore, by refining the upper bound of the ground state energy, we provide a precise mass collapse behavior of the ground state and a precise limit behavior of the excited state as $\beta\rightarrow 0$. Finally, we deal with the high dimensional cases $N\geq 4$. Several non-existence results are obtained if $\beta<0$. When $N=4$, $\beta>0$, the system is a mass-energy double critical problem, we obtain the existence of a normalized ground state and its synchronized mass collapse behavior. Comparing with the well studied homogeneous case $\beta=0$, our main results indicate that the quadratic interaction term not only enriches the set of solutions to the above Schr\"{o}dinger system but also leads to a stabilization of the related evolution system.


title: Post-Processed Posteriors for Sparse Covariances and Its Application to Global Minimum Variance Portfolio

abstract: We consider Bayesian inference of sparse covariance matrices and propose a post-processed posterior. This method consists of two steps. In the first step, posterior samples are obtained from the conjugate inverse-Wishart posterior without considering the sparse structural assumption. The posterior samples are transformed in the second step to satisfy the sparse structural assumption through the hard-thresholding function. This non-traditional Bayesian procedure is justified by showing that the post-processed posterior attains the optimal minimax rates. We also investigate the application of the post-processed posterior to the estimation of the global minimum variance portfolio. We show that the post-processed posterior for the global minimum variance portfolio also attains the optimal minimax rate under the sparse covariance assumption. The advantages of the post-processed posterior for the global minimum variance portfolio are demonstrated by a simulation study and a real data analysis with S&P 400 data.


title: Heterogeneous multiscale methods for the Landau-Lifshitz equation

abstract: In this paper, we present a finite difference heterogeneous multiscale method for the Landau-Lifshitz equation with a highly oscillatory diffusion coefficient. The approach combines a higher order discretization and artificial damping in the so-called micro problem to obtain an efficient implementation. The influence of different parameters on the resulting approximation error is discussed. Numerical examples for both periodic as well as more general coefficients are given to demonstrate the functionality of the approach.


title: Construction and Classification of Combinatorial Weaving Diagrams

abstract: This paper introduces a new systematic algorithm for constructing periodic Euclidean weaving diagrams with combinatorial arguments. It is shown that such a weaving diagram can be considered as a specific type of four-regular periodic planar tiling with over or under information at each vertex. Therefore, a weaving diagram can be constructed using two sets of cycles, one to build a tiling, and a second to define the crossing information. However, this construction method does not guarantee the uniqueness of the diagram, so we define the notion of equivalence classes of weaving diagrams using the concept of crossing-matrices. Finally, we present a classification of our periodic structures according to the minimum number of crossings on a unit cell.


title: A determination of the longitudinal structure function $F_{L}$ from the parametrization of $F_{2}$ based on the Laplace transformation

abstract: I calculate the longitudinal structure function, using Laplace transform techniques, from the parametrization of the structure function $F_{2}(x,Q^{2})$ and its derivative at low values of the Bjorken variable $x$. I consider the effect of the charm quark mass to the longitudinal structure function, which leads to rescaling variable for $n_{f}=4$. The results are compared with the H1 collaboration data and the CTEQ-Jefferson Lab (CJ) collaboration [Phys.Rev.D {\bf93}, 114017 (2016)] parametrization model. The obtained results with the Bjorken variable of $x$ are found to be comparable with the results L.P.Kaptari et al. [Phys.Rev.D {\bf99}, 096019 (2019)] which is based on the Mellin transform techniques.


title: Trapping of null geodesics in slowly rotating extremely compact Tolman VII spacetimes

abstract: Region of trapped null geodesics hidden inside of extremely compact objects is of astrophysical importance because of trapping of gravitational waves, or neutrinos. The trapping effect of null geodesics was extensively studied for spherically symmetric extremely compact objects. Recently, influence of rotation of the extremely compact objects on the trapping of null geodesics was treated in the simplest possible model of internal linearised \mbox{Hartle--Thorne} spacetime with uniform energy density distribution and uniform emissivity distribution of null geodesics. Here we extend the study of the rotation influence on the trapping effect in the case of linearized \mbox{Hartle--Thorne} spacetimes based on the Tolman VII spherically symmetric solutions, where we assume the emissivity of the null geodesics proportional to the energy density of the Tolman VII object having quadratic radial profile. We demonstrate enhancement (suppression) of the trapping effect in the case of counter-rotating (co-rotating) null geodesics due to the behavior of the effective potentials and escape cones of the null geodesics in the linearised Hartle--Thorne--Tolman VII spacetimes. In dependence on the parameters of these spacetimes we determine the "local" and "global" coefficients of efficiency of the trapping and compare the results to those related to the rotating spacetimes based on the internal Schwarzschild spacetimes. We demonstrate that in the Tolman VII spacetimes the trapping is more efficient, being allowed in objects with radii larger than those of the trapping internal Schwarzschild spacetimes, occurring even for $R>3.3M$.


title: Magnetohydrodynamic spectroscopy of a non-adiabatic solar atmosphere

abstract: The quantification of all possible waves and instabilities in a given system is of paramount importance, and knowledge of the full magnetohydrodynamic (MHD) spectrum allows one to predict the (in)stability of a given equilibrium state. This is highly relevant in many (astro)physical disciplines, and when applied to the solar atmosphere it may yield various new insights in processes like prominence formation and coronal loop oscillations. In this work we present a detailed, high-resolution spectroscopic study of the solar atmosphere, where we use our newly developed Legolas code to calculate the full spectrum with corresponding eigenfunctions of equilibrium configurations that are based on fully realistic solar atmospheric models, including gravity, optically thin radiative losses and thermal conduction. Special attention is given to thermal instabilities, known to be responsible for the formation of prominences, together with a new outlook on the thermal and slow continua and how they behave in different chromospheric and coronal regions. We show that thermal instabilities are unavoidable in our solar atmospheric models and that there exist certain regions where both the thermal, slow and fast modes all have unstable wave mode solutions. We also encounter regions where the slow and thermal continua become purely imaginary and merge on the imaginary axis. The spectra discussed in this work illustrate clearly that thermal instabilities (both discrete and continuum modes) and magneto-thermal overstable propagating modes are ubiquitous throughout the solar atmosphere, and may well be responsible for much of the observed fine-structuring and multi-thermal dynamics.


title: End2End Occluded Face Recognition by Masking Corrupted Features

abstract: With the recent advancement of deep convolutional neural networks, significant progress has been made in general face recognition. However, the state-of-the-art general face recognition models do not generalize well to occluded face images, which are exactly the common cases in real-world scenarios. The potential reasons are the absences of large-scale occluded face data for training and specific designs for tackling corrupted features brought by occlusions. This paper presents a novel face recognition method that is robust to occlusions based on a single end-to-end deep neural network. Our approach, named FROM (Face Recognition with Occlusion Masks), learns to discover the corrupted features from the deep convolutional neural networks, and clean them by the dynamically learned masks. In addition, we construct massive occluded face images to train FROM effectively and efficiently. FROM is simple yet powerful compared to the existing methods that either rely on external detectors to discover the occlusions or employ shallow models which are less discriminative. Experimental results on the LFW, Megaface challenge 1, RMF2, AR dataset and other simulated occluded/masked datasets confirm that FROM dramatically improves the accuracy under occlusions, and generalizes well on general face recognition. Code is available at https://github.com/haibo-qiu/FROM


title: Nonuniqueness of solutions to the Euler equations with vorticity in a Lorentz space

abstract: For the two dimensional Euler equations, a classical result by Yudovich states that solutions are unique in the class of bounded vorticity; it is a celebrated open problem whether this uniqueness result can be extended in other integrability spaces. We prove in this note that such uniqueness theorem fails in the class of vector fields $u$ with uniformly bounded kinetic energy and vorticity in the Lorentz space $L^{1, \infty}$.


title: Photon antibunching in a cavity-QED system with two Rydberg-Rydberg interaction atoms

abstract: We propose how to achieve strong photon antibunching effect in a cavity-QED system coupled with two Rydberg-Rydberg interaction atoms. Via calculating the equal time second order correlation function g(2)(0), we find that the unconventional photon blockade and the conventional photon blockade appear in the atom-driven scheme, and they are both significantly affected by the Rydberg-Rydberg interaction. We also find that under appropriate parameters, the photon antibunching and the mean photon number can be significantly enhanced by combining the conventional photon blockade and the unconventional photon blockade. In the cavity-driven scheme, the existence of the Rydberg-Rydberg interaction severely destroys the photon antibunching under the unconventional photon blockade mechanism. These results will help to guide the implementation of the single photon emitter in the Rydberg atoms-cavity system.


title: Primordial Black Holes from Confinement

abstract: A mechanism for the formation of primordial black holes is proposed. Here, heavy quarks of a confining gauge theory produced by de Sitter fluctuations are pushed apart by inflation and get confined after horizon re-entry. The large amount of energy stored in the colour flux tubes connecting the quark pair leads to black-hole formation. These are much lighter and can be of higher spin than those produced by standard collapse of horizon-size inflationary overdensities. Other difficulties exhibited by such mechanisms are also avoided. Phenomenological features of the new mechanism are discussed as well as accounting for both the entirety of the dark matter and the supermassive black holes in the galactic centres. Under proper conditions, the mechanism can be realised in a generic confinement theory, including ordinary QCD. We discuss a possible string-theoretic realisation via $D$-branes. Interestingly, for conservative values of the string scale, the produced gravity waves are within the range of recent NANOGrav data. Simple generalisations of the mechanism allow for the existence of a significant scalar component of gravity waves with distinct observational signatures.