title: Evaluating Fairness Using Permutation Tests

abstract: Machine learning models are central to people's lives and impact society in ways as fundamental as determining how people access information. The gravity of these models imparts a responsibility to model developers to ensure that they are treating users in a fair and equitable manner. Before deploying a model into production, it is crucial to examine the extent to which its predictions demonstrate biases. This paper deals with the detection of bias exhibited by a machine learning model through statistical hypothesis testing. We propose a permutation testing methodology that performs a hypothesis test that a model is fair across two groups with respect to any given metric. There are increasingly many notions of fairness that can speak to different aspects of model fairness. Our aim is to provide a flexible framework that empowers practitioners to identify significant biases in any metric they wish to study. We provide a formal testing mechanism as well as extensive experiments to show how this method works in practice.


title: Artificial Neural Network Approach for the Identification of Clove Buds Origin Based on Metabolites Composition

abstract: This paper examines the use of artificial neural network approach in identifying the origin of clove buds based on metabolites composition. Generally, large data sets are critical for accurate identification. Machine learning with large data sets lead to precise identification based on origins. However, clove buds uses small data sets due to lack of metabolites composition and their high cost of extraction. The results show that backpropagation and resilient propagation with one and two hidden layers identifies clove buds origin accurately. The backpropagation with one hidden layer offers 99.91% and 99.47% for training and testing data sets, respectively. The resilient propagation with two hidden layers offers 99.96% and 97.89% accuracy for training and testing data sets, respectively.


title: Time-dependent covariant density functional theory in 3D lattice space: benchmark calculation for 16O + 16O reaction

abstract: Time-dependent covariant density functional theory with the successful density functional PCPK1 is developed in a three-dimensional coordinate space without any symmetry restrictions, and benchmark calculations for the 16O + 16O reaction are performed systematically. The relativistic kinematics, the conservation laws of the momentum, total energy, and particle number, as well as the time-reversal invariance are examined and confirmed to be satisfied numerically. Two primary applications including the dissipation dynamics and above-barrier fusion cross sections are illustrated. The obtained results are in good agreement with the ones given by the nonrelativistic time-dependent density functional theory and the data available. This demonstrates that the newly developed time-dependent covariant density functional theory could serve as an effective approach for the future studies of nuclear dynamical processes.


title: On the high-dimensional geography problem

abstract: In 1962, Wall showed that smooth, closed, oriented, $(n-1)$-connected $2n$-manifolds of dimension at least $6$ are classified up to connected sum with an exotic sphere by an algebraic refinement of the intersection form which he called an $n$-space. In this paper, we complete the determination of which $n$-spaces are realizable by smooth, closed, oriented, $(n-1)$-connected $2n$-manifolds for all $n \neq 63$. In dimension $126$ the Kervaire invariant one problem remains open. Along the way, we completely resolve conjectures of Galatius-Randal-Williams and Bowden-Crowley-Stipsicz, showing that they are true outside of the exceptional dimension $23$, where we provide a counterexample. This counterexample is related to the Witten genus and its refinement to a map of $\mathbb{E}_\infty$-ring spectra by Ando-Hopkins-Rezk. By previous work of many authors, including Wall, Schultz, Stolz and Hill-Hopkins-Ravenel, as well as recent joint work of Hahn with the authors, these questions have been resolved for all but finitely many dimensions, and the contribution of this paper is to fill in these gaps.


title: Aligning free surface properties in time-varying hydraulic jumps

abstract: Hydraulic jumps occur commonly in natural channels and energy dissipation systems of hydraulic structures in the violent transition from supercritical to subcritical flows. They are characterised by large flow aeration, high turbulence and strong fluctuations of the free surface and the jump toe. For free surface measurements, fast-sampling, fixed-point instruments such as acoustic displacement meters (ADMs) and wire gauges (WGs) are commonly used, while LIDAR technology is a relatively new method for recording instantaneous free surface motions of aerated flows. While each of these instruments has been shown previously to provide reasonable results for basic and advanced free surface properties, differences between instruments and experiments remain unexplained. To systematically analyse these differences, simultaneous laboratory experiments of aerated hydraulic jumps were conducted. Good agreement between the three instruments was obtained for basic free surface properties including elevations, fluctuations, skewness, kurtosis, and frequencies, as well as advanced free surface properties such as integral time and length scales. These new results indicate that any of these instruments can be used for the recording of free surface properties albeit the integration limit for free surface scales must be considered. A key finding of this research was that differences between repeated experiments as well as previous studies were observed when using the visual jump toe for alignment. However, this bias could be resolved by using the mean jump toe location recorded with the LIDAR. Therefore, future studies should simultaneously measure the instantaneous jump toe to provide more consistent results across studies.


title: Senior Living Communities: Made Safer by AI

abstract: There is a historically unprecedented shift in demographics towards seniors, which will result in significant housing development over the coming decade. This is an enormous opportunity for real-estate operators to innovate and address the demand in this growing market. However, investments in this area are fraught with risk. Seniors often have more health issues, and Covid-19 has exposed just how vulnerable they are -- especially those living in close proximity. Conventionally, most services for seniors are "high-touch", requiring close physical contact with trained caregivers. Not only are trained caregivers short in supply, but the pandemic has made it evident that conventional high-touch approaches to senior care are high-cost and greater risk. There are not enough caregivers to meet the needs of this emerging demographic, and even fewer who want to undertake the additional training and risk of working in a senior facility, especially given the current pandemic. In this article, we rethink the design of senior living facilities to mitigate the risks and costs using automation. With AI-enabled pervasive automation, we claim there is an opportunity, if not an urgency, to go from high-touch to almost "no touch" while dramatically reducing risk and cost. Although our vision goes beyond the current reality, we cite measurements from Caspar AI-enabled senior properties that show the potential benefit of this approach.


title: $S^1$-invariant Laplacian flow

abstract: The Laplacian flow is a geometric flow introduced by Bryant as a way for finding torsion free $G_2$-structures. If the flow is $S^1$-invariant then it descends to a flow of $SU(3)$-structures on a $6$-manifold. In this article we derive expressions for these evolution equations. In our search for examples we discover the first inhomogeneous shrinking solitons, which are also gradient. We also show that any compact non-torsion free soliton admits no infinitesimal symmetry.


title: A Variance Inequality for Meromorphic Measurement Functions under Exterior Probability

abstract: The problem of measuring an unbounded system attribute near a singularity has been discussed. Lenses have been introduced as formal objects to study increasingly precise measurements around the singularity and a specific family of lenses called Exterior probabilities have been investigated. It has been shown that under such probabilities, measurement variance of a measurable function around a 1st order pole on a complex manifold, consists of two separable parts - one that decreases with diminishing scale of the lenses, and the other that increases. It has been discussed how this framework can lend mathematical support to ideas of non-deterministic uncertainty prevalent at a quantum scale. In fact, the aforementioned variance decomposition allows for a minimum possible variance for such a system irrespective of how close the measurements are. This inequality is structurally similar to Heisenberg uncertainty relationship if one considers energy/momentum to be a meromorphic function of a complex spacetime.


title: A Low-Mass Stellar-Debris Stream Associated with a Globular Cluster Pair in the Halo

abstract: There are expected to be physical relationships between the globular clusters (GCs) and stellar substructures in the Milky Way, not all of which have yet been found. We search for such substructures from a combined halo sample of SDSS blue horizontal-branch and SDSS+LAMOST RR Lyrae stars, cross-matched with astrometric information from $Gaia$ DR2. This is a sample of old stars which are also excellent tracers of structures, ideal for searching for ancient relics in the outer stellar halo. By applying the neural-network-based method StarGO to the full 4D dynamical space of our sample, we rediscover the Sagittarius Stream, and find the debris of the $Gaia$-Enceladus-Sausage (GES) and the Sequoia events in the outer halo, as well as their linkages with several GCs. Most importantly, we find a new, low-mass, debris stream associated with a pair of GCs (NGC 5024 and NGC 5053), which we dub LMS-1. This stream has a very polar orbit, and occupies a region between 10 to 20 kpc from the Galactic center. NGC 5024 (M53), the more-massive of the associated GC pair, is very likely the nuclear star cluster of a now-disrupted dwarf galaxy progenitor, based on the results from N-body simulations.


title: Honeycomb Toroidal Graphs

abstract: Honeycomb toroidal graphs are trivalent Cayley graphs on generalized dihedral groups. We examine the two historical threads leading to these graphs, some of the properties that have been established, and some open problems.


title: Revisiting One-vs-All Classifiers for Predictive Uncertainty and Out-of-Distribution Detection in Neural Networks

abstract: Accurate estimation of predictive uncertainty in modern neural networks is critical to achieve well calibrated predictions and detect out-of-distribution (OOD) inputs. The most promising approaches have been predominantly focused on improving model uncertainty (e.g. deep ensembles and Bayesian neural networks) and post-processing techniques for OOD detection (e.g. ODIN and Mahalanobis distance). However, there has been relatively little investigation into how the parametrization of the probabilities in discriminative classifiers affects the uncertainty estimates, and the dominant method, softmax cross-entropy, results in misleadingly high confidences on OOD data and under covariate shift. We investigate alternative ways of formulating probabilities using (1) a one-vs-all formulation to capture the notion of "none of the above", and (2) a distance-based logit representation to encode uncertainty as a function of distance to the training manifold. We show that one-vs-all formulations can improve calibration on image classification tasks, while matching the predictive performance of softmax without incurring any additional training or test-time complexity.


title: Dynamical stability, Vibrational and optical properties of anti-perovskite A3BX (Ti3TlN, Ni3SnN and Co3AlC) phases: a first principles study

abstract: We have investigated various physical properties including phonon dispersion, thermodynamic parameters, optical constants, Fermi surface, Mulliken bond population, theoretical Vickers hardness and damage tolerance of anti-perovskite A3BX phases for the first time by employing density functional theory (DFT) methodology based on first principles method. Initially we assessed nine A3BX phases in total and found that only three phases (Ti3TlN, Ni3SnN and Co3AlC) are mechanically and dynamically stable based on analysis of computed elastic constants and phonon dispersion along with phonon density of states. We revisited the structural, elastic and electronic properties of the compounds to judge the reliability of our calculations. Absence of band gap at the Fermi level characterizes the phases under consideration as metallic in nature. The values of Pugh ratio, Poisson ratio and Cauchy factor have predicted the ductile nature associated with strong metallic bonding in these compounds. High temperature feasibility study of the phases has also been performed using the thermodynamic properties, such as the free energy, enthalpy, entropy, heat capacity and Debye temperature. The Vickers hardness of the compounds are estimated to be around 4 GPa which is comparable to many well-known MAX phases, indicating their reasonable hardness and easily machinable nature. The static refractive index n(zero) has been found around 8.0 for the phases under study that appeals as potential candidate to design optoelectronics appliances. The reflectivity is found above 44 percent for the Ti3TlN compound in the energy range of 0 to 14.8 eV demonstrating that this material holds significant promise as a coating agent to avoid solar heating.


title: LINTS^RT: A Learning-driven Testbed for Intelligent Scheduling in Embedded Systems

abstract: Due to the increasing complexity seen in both workloads and hardware resources in state-of-the-art embedded systems, developing efficient real-time schedulers and the corresponding schedulability tests becomes rather challenging. Although close to optimal schedulability performance can be achieved for supporting simple system models in practice, adding any small complexity element into the problem context such as non-preemption or resource heterogeneity would cause significant pessimism, which may not be eliminated by any existing scheduling technique. In this paper, we present LINTS^RT, a learning-based testbed for intelligent real-time scheduling, which has the potential to handle various complexities seen in practice. The design of LINTS^RT is fundamentally motivated by AlphaGo Zero for playing the board game Go, and specifically addresses several critical challenges due to the real-time scheduling context. We first present a clean design of LINTS^RT for supporting the basic case: scheduling sporadic workloads on a homogeneous multiprocessor, and then demonstrate how to easily extend the framework to handle further complexities such as non-preemption and resource heterogeneity. Both application and OS-level implementation and evaluation demonstrate that LINTS^RT is able to achieve significantly higher runtime schedulability under different settings compared to perhaps the most commonly applied schedulers, global EDF, and RM. To our knowledge, this work is the first attempt to design and implement an extensible learning-based testbed for autonomously making real-time scheduling decisions.


title: Versatile Physical Properties of a Novel Two-Dimensional Materials Composed of Group IV-V Elements

abstract: Owing to the fascinating physical characteristics of two-dimensional (2D) materials and their heterostructure, much effort has been devoted to exploring their basic physical properties as well as discovering other novel 2D materials. Herein, based on first-principles calculations, we propose novel 2D material groups with the form A$_2$B$_2$, composed of group IV (A = C, Si, Ge, or Sn) and V (B = N, P, As, Sb, or Bi) elements; the group forms two stable phases with the $P\bar{6}m2$ ($\mathcal{M}$ phase) and $P\bar{3}m1$ ($\mathcal{I}$ phase) crystal symmetries. We found that a total of 40 different freestanding A$_2$B$_2$ compounds were dynamically stable and displayed versatile physical properties, such as insulating, semiconducting, or metallic properties, depending on their elemental compositions. Our calculation results further revealed that the newly proposed 2D materials expressed high electrical and thermal transport properties. Additionally, some of the compounds that contained heavy elements exhibited non-trivial topological properties due to strong spin-orbit interactions.


title: Comet 41P/Tuttle-Giacobini-Kresak, 45P/Honda-Mrkos-Pajdusakova, and 46P/Wirtanen: Water Production Activity over 21 Years with SOHO/SWAN

abstract: In 2017, 2018 and 2019, comets 46P/Wirtanen, 45P/Honda-Mrkos-Pajdusakova, and 41P/Tuttle-Giacobini-Kresak all had perihelion passages. Their hydrogen comae were observed by the Solar Wind ANisotropies (SWAN) all-sky hydrogen Lyman-alpha Camera on the SOlar and Heliospheric Observer (SOHO) satellite: comet 46P for the fourth time and comets 45P and 41P for the third time each since 1997. Comet 46P/Wirtanen is one of a small class of so-called hyperactive comets whose gas production rates belie their small size. This comet was the original target comet of the Rosetta mission. The Solar Wind ANisotropies (SWAN) all-sky hydrogen Lyman-alpha camera on the SOlar and Heliospheric Observer (SOHO) satellite observed the hydrogen coma of comet 46P/Wirtanen during the apparitions of 1997, 2002, 2008 and 2018. Over the 22 years, the activity decreased and its variation with heliocentric distance has changed markedly in a way very similar to that of another hyperactive comet, 103P/Hartley 2. Comet 45P/Honda-Mrkos-Pajdusakova was observed by SWAN during its perihelion apparitions of 2001, 2011 and 2017. Over this time period the activity level has remained remarkably similar, with no long-term fading or abrupt decreases. Comet 41P/Tuttle-Giacobini-Kresak was observed by SWAN in its perihelion apparitions of 2001, 2006 and 2017 and has decreased in activity markedly over the same time period. In 1973 it was known for large outbursts, which continued during the 2001 (2 outbursts) and 2006 (1 outburst) apparitions. However, over the 2001 to 2017 time period covered by the SOHO/SWAN observations the water production rates have greatly decreased by factors of 10-30 over corresponding times during its orbit.


title: Mechanisms for Hiding Sensitive Genotypes with Information-Theoretic Privacy

abstract: Motivated by the growing availability of personal genomics services, we study an information-theoretic privacy problem that arises when sharing genomic data: a user wants to share his or her genome sequence while keeping the genotypes at certain positions hidden, which could otherwise reveal critical health-related information. A straightforward solution of erasing (masking) the chosen genotypes does not ensure privacy, because the correlation between nearby positions can leak the masked genotypes. We introduce an erasure-based privacy mechanism with perfect information-theoretic privacy, whereby the released sequence is statistically independent of the sensitive genotypes. Our mechanism can be interpreted as a locally-optimal greedy algorithm for a given processing order of sequence positions, where utility is measured by the number of positions released without erasure. We show that finding an optimal order is NP-hard in general and provide an upper bound on the optimal utility. For sequences from hidden Markov models, a standard modeling approach in genetics, we propose an efficient algorithmic implementation of our mechanism with complexity polynomial in sequence length. Moreover, we illustrate the robustness of the mechanism by bounding the privacy leakage from erroneous prior distributions. Our work is a step towards more rigorous control of privacy in genomic data sharing.


title: Towards Ubiquitous Positioning by Leveraging Reconfigurable Intelligent Surface

abstract: The received signal strength (RSS) based technique is widely utilized for ubiquitous positioning due to its advantage of simple implementability. However, its accuracy is limited because the RSS values of adjacent locations can be very difficult to distinguish. Against this background, we propose the novel RSS-based positioning scheme enabled by reconfigurable intelligent surface (RIS). By modifying the reflection coefficient of the RIS, the propagation channels are programmed in such a way that the differences between the RSS values of adjacent locations can be enlarged to improve the positioning accuracy. New challenge lies in the selection of suitable reflection coefficients for high-accuracy positioning. To tackle this challenge, we formulate the RIS-aided positioning problem and design an iterative algorithm to solve the problem. The effectiveness of the proposed positioning scheme is validated through simulations.


title: Accelerated Dual Averaging Methods for Decentralized Constrained Optimization

abstract: In this work, we study decentralized convex constrained optimization problems in networks. We focus on the dual averaging-based algorithmic framework that is well-documented to be superior in handling constraints and complex communication environments simultaneously. Two new decentralized dual averaging (DDA) algorithms are proposed. In the first one, a second-order dynamic average consensus protocol is tailored for DDA-type algorithms, which equips each agent with a provably more accurate estimate of the global dual variable than conventional schemes. We rigorously prove that the proposed algorithm attains $\mathcal{O}(1/t)$ convergence for general convex and smooth problems, for which existing DDA methods were only known to converge at $\mathcal{O}(1/\sqrt{t})$ prior to our work. In the second one, we use the extrapolation technique to accelerate the convergence of DDA. Compared to existing accelerated algorithms, where typically two different variables are exchanged among agents at each time, the proposed algorithm only seeks consensus on local gradients. Then, the extrapolation is performed based on two sequences of primal variables which are determined by the accumulations of gradients at two consecutive time instants, respectively. The algorithm is proved to converge at $\mathcal{O}(1)\left(\frac{1}{t^2}+\frac{1}{t(1-\beta)^2}\right)$, where $\beta$ denotes the second largest singular value of the mixing matrix. We remark that the condition for the algorithmic parameter to guarantee convergence does not rely on the spectrum of the mixing matrix, making itself easy to satisfy in practice. Finally, numerical results are presented to demonstrate the efficiency of the proposed methods.


title: Hyperpolarizability of plasmonic meta-atoms in metasurfaces

abstract: Plasmonic metasurfaces are promising as enablers of nanoscale nonlinear optics and flat nonlinear optical components. Nonlinear optical responses of such metasurfaces are determined by the nonlinear optical properties of individual nanostructured plasmonic meta-atoms, which are the building blocks of the metasurfaces. Unfortunately, no simple methods exist to determine the nonlinear coefficients (hyperpolarizabilities) of the meta-atoms hindering designing of nonlinear metasurfaces. Here, we develop the equivalent RLC circuit model of such meta-atoms to estimate their second-order nonlinear optical parameter i.e. the first-order hyperpolarizability in the optical spectral range. In parallel, we extract from second-harmonic generation experiments the spectrum of the 1st-order hyperpolarizabilities of individual meta-atoms consisting of asymmetrically shaped (elongated) plasmonic nanoprisms. Moreover, we verify our results using nonlinear hydrodynamic-FDTD and with calculations based on nonlinear scattering theory. All three approaches: analytical, experimental, and computational, yield results that agree very well. Our empirical RLC model can thus be used as a simple tool to enable efficient design of nonlinear plasmonic metasurfaces.


title: Dorroh extensions of algebras and coalgebras, II

abstract: In this paper, we study Dorroh extensions of bialgebras and Hopf algebras. Let $(H,I)$ be both a Dorroh pair of algebras and a Dorroh pair of coalgebras. We give necessary and sufficient conditions for $H\ltimes_dI$ to be a bialgebra and a Hopf algebra, respectively. We also describe all ideals of Dorroh extensions of algebras and subcoalgebras of Dorroh extensions of coalgebras and compute these ideals and subcoalgebras for some concrete examples.


title: A deep learning view of the census of galaxy clusters in IllustrisTNG

abstract: The origin of the diverse population of galaxy clusters remains an unexplained aspect of large-scale structure formation and cluster evolution. We present a novel method of using X-ray images to identify cool core (CC), weak cool core (WCC), and non cool core (NCC) clusters of galaxies, that are defined by their central cooling times. We employ a convolutional neural network, ResNet-18, which is commonly used for image analysis, to classify clusters. We produce mock Chandra X-ray observations for a sample of 318 massive clusters drawn from the IllustrisTNG simulations. The network is trained and tested with low resolution mock Chandra images covering a central 1 Mpc square for the clusters in our sample. Without any spectral information, the deep learning algorithm is able to identify CC, WCC, and NCC clusters, achieving balanced accuracies (BAcc) of 92%, 81%, and 83%, respectively. The performance is superior to classification by conventional methods using central gas densities, with an average BAcc = 81%, or surface brightness concentrations, giving BAcc = 73%. We use Class Activation Mapping to localize discriminative regions for the classification decision. From this analysis, we observe that the network has utilized regions from cluster centers out to r~300 kpc and r~500 kpc to identify CC and NCC clusters, respectively. It may have recognized features in the intracluster medium that are associated with AGN feedback and disruptive major mergers.


title: Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples

abstract: We present a transductive learning algorithm that takes as input training examples from a distribution $P$ and arbitrary (unlabeled) test examples, possibly chosen by an adversary. This is unlike prior work that assumes that test examples are small perturbations of $P$. Our algorithm outputs a selective classifier, which abstains from predicting on some examples. By considering selective transductive learning, we give the first nontrivial guarantees for learning classes of bounded VC dimension with arbitrary train and test distributions---no prior guarantees were known even for simple classes of functions such as intervals on the line. In particular, for any function in a class $C$ of bounded VC dimension, we guarantee a low test error rate and a low rejection rate with respect to $P$. Our algorithm is efficient given an Empirical Risk Minimizer (ERM) for $C$. Our guarantees hold even for test examples chosen by an unbounded white-box adversary. We also give guarantees for generalization, agnostic, and unsupervised settings.


title: Optical Flow Distillation: Towards Efficient and Stable Video Style Transfer

abstract: Video style transfer techniques inspire many exciting applications on mobile devices. However, their efficiency and stability are still far from satisfactory. To boost the transfer stability across frames, optical flow is widely adopted, despite its high computational complexity, e.g. occupying over 97% inference time. This paper proposes to learn a lightweight video style transfer network via knowledge distillation paradigm. We adopt two teacher networks, one of which takes optical flow during inference while the other does not. The output difference between these two teacher networks highlights the improvements made by optical flow, which is then adopted to distill the target student network. Furthermore, a low-rank distillation loss is employed to stabilize the output of student network by mimicking the rank of input videos. Extensive experiments demonstrate that our student network without an optical flow module is still able to generate stable video and runs much faster than the teacher network.


title: Third-Order Asymptotics of Variable-Length Compression Allowing Errors

abstract: This study investigates the fundamental limits of variable-length compression in which prefix-free constraints are not imposed (i.e., one-to-one codes are studied) and non-vanishing error probabilities are permitted. Due in part to a crucial relation between the variable-length and fixed-length compression problems, our analysis requires a careful and refined analysis of the fundamental limits of fixed-length compression in the setting where the error probabilities are allowed to approach either zero or one polynomially in the blocklength. To obtain the refinements, we employ tools from moderate deviations and strong large deviations. Finally, we provide the third-order asymptotics for the problem of variable-length compression with non-vanishing error probabilities. We show that unlike several other information-theoretic problems in which the third-order asymptotics are known, for the problem of interest here, the third-order term depends on the permissible error probability.


title: Spectral Theories and Topological Strings on del Pezzo Geometries

abstract: Motivated by understanding M2-branes, we propose to reformulate partition functions of M2-branes by quantum curves. Especially, we focus on the backgrounds of del Pezzo geometries, which enjoy Weyl group symmetries of exceptional algebras. We construct quantum curves explicitly and turn to the analysis of classical phase space areas and quantum mirror maps. We find that the group structure helps in clarifying previous subtleties, such as the shift of the chemical potential in the area and the identification of the overall factor of the spectral operator in the mirror map. We list the multiplicities characterizing the quantum mirror maps and find that the decoupling relation known for the BPS indices works for the mirror maps. As a result, with the group structure we can present explicitly the statement for the correspondence between spectral theories and topological strings on del Pezzo geometries.


title: Localized Motion Artifact Reduction on Brain MRI Using Deep Learning with Effective Data Augmentation Techniques

abstract: In-scanner motion degrades the quality of magnetic resonance imaging (MRI) thereby reducing its utility in the detection of clinically relevant abnormalities. We introduce a deep learning-based MRI artifact reduction model (DMAR) to localize and correct head motion artifacts in brain MRI scans. Our approach integrates the latest advances in object detection and noise reduction in Computer Vision. Specifically, DMAR employs a two-stage approach: in the first, degraded regions are detected using the Single Shot Multibox Detector (SSD), and in the second, the artifacts within the found regions are reduced using a convolutional autoencoder (CAE). We further introduce a set of novel data augmentation techniques to address the high dimensionality of MRI images and the scarcity of available data. As a result, our model was trained on a large synthetic dataset of 225,000 images generated from 375 whole brain T1-weighted MRI scans. DMAR visibly reduces image artifacts when applied to both synthetic test images and 55 real-world motion-affected slices from 18 subjects from the multi-center Autism Brain Imaging Data Exchange (ABIDE) study. Quantitatively, depending on the level of degradation, our model achieves a 27.8%-48.1% reduction in RMSE and a 2.88--5.79 dB gain in PSNR on a 5000-sample set of synthetic images. For real-world artifact-affected scans from ABIDE, our model reduced the variance of image voxel intensity within artifact-affected brain regions (p = 0.014).


title: A supplement to the laws of large numbers and the large deviations

abstract: Let $0 < p < 2$. Let $\{X, X_{n}; n \geq 1\}$ be a sequence of independent and identically distributed $\mathbf{B}$-valued random variables and set $S_{n} = \sum_{i=1}^{n}X_{i},~n \geq 1$. In this paper, a supplement to the classical laws of large numbers and the classical large deviations is provided. We show that if $S_{n}/n^{1/p} \rightarrow_{\mathbb{P}} 0$, then, for all $s > 0$, \[ \limsup_{n \to \infty} \frac{1}{\log n} \log \mathbb{P}\left(\left\|S_{n} \right\| > s n^{1/p} \right) = - (\bar{\beta} - p)/p \] and \[ \liminf_{n \to \infty} \frac{1}{\log n} \log \mathbb{P}\left(\left\|S_{n} \right\| > s n^{1/p} \right) = -(\underline{\beta} - p)/p, \] where \[ \bar{\beta} = - \limsup_{t \rightarrow \infty} \frac{\log \mathbb{P}(\log \|X\| > t)}{t} ~~\mbox{and}~~\underline{\beta} = - \liminf_{t \rightarrow \infty} \frac{\log \mathbb{P}(\log \|X\| > t)}{t}. \] The main tools employed in proving this result are the symmetrization technique and three powerful inequalities established by Hoffmann-J{\o}rgensen (1974), de Acosta (1981), and Ledoux and Talagrand (1991), respectively. As a special case of this result, the main results of Hu and Nyrhinen (2004) are not only improved, but also extended.


title: Time-resolved Photoluminescence in Terahertz-driven Hybrid Systems of Plasmons and Excitons

abstract: Ultrafast pump-probe technique is a powerful tool to understand and manipulate properties of materials for designing novel quantum devices. An intense, single cycle terahertz pulse can change the intrinsic properties of semiconductor quantum dots to have different luminescence. In a hybrid system of plasmon and exciton, the coherence and coupling between these two degrees of freedom play an important role on their optical properties. Therefore, we consider a terahertz pump optical probe experiment in the hybrid systems where the terahertz pump pulse couples to the exciton degrees of freedom on the quantum dot. The time resolved photoluminescence of the hybrid system shows that the response of the characteristic frequency shifts according to the overlap between the pump and probe pulses. Furthermore, the resonance between the exciton and plasmons can be induced by the terahertz pump pulse in some parameter regimes. Our results show the terahertz driven hybrid system can be a versatile tool for manipulating the material properties and open a new route to design modern optical devices.


title: Symmetry-protected Spinful Magnetic Weyl Nodal Loops and Multi-Weyl Nodes in $5d^n$ Cubic Double Perovskites $(n=1,2)$

abstract: Using both an effective three-band model and {\it ab initio} calculations, we have investigated various topological features in the cubic ferromagnetic $5d^{1,2}$ systems showing large spin-orbit coupling (SOC): Ba$_2$NaOsO$_6$, Sr$_2$SrOsO$_6$, and Ba$_2$$B$ReO$_6$ ($B$= Mg, Zn). In the presence of time-reversal symmetry (${\cal T}$), spinless Dirac nodal loops linked to each other at the $W$ points appear in the mirror planes. Remarkably, breaking ${\cal T}$ leads to spinful magnetic Weyl nodal loops (MWNLs) that are robust even at large SOC and correlation strength $U$ variation due to the combination of mirror symmetry and broken ${\cal T}$. Additionally, there are two types of magnetic Weyl points with chiral charges $|\chi|=1, 2$ along the $C_{4v}$ symmetry line, and another type-II MWNL encircling the zone center, that are dependent on $U$. Furthermore, the ferromagnetic Ba$_2$ZnReO$_6$ is an ideal half semimetal with MWNLs and magnetic Weyl nodes at the Fermi level without the interference of topologically trivial bulk states. These systems give rise to a remarkably large anomalous Hall conductivity $\sigma_{xy}$ of up to 1160 ($\Omega$cm)$^{-1}$. Our findings may apply widely for $t_{2g}$ systems with cubic (or slightly distorted) fcc-like structures.


title: A Catalog of 531 White Dwarf Candidates in the Local Galactic Halo from Gaia Data Release 2

abstract: We present a catalog of 531 white dwarf candidates that have large apparent transverse motions relative to the Sun ($v_{T} > 200$ km s$^{-1}$), thus making them likely members of the local Galactic halo population. The candidates were selected from the Gaia Data Release 2, and are located in a great circle with $20^\circ$ width running across both Galactic poles and Galactic center and anti-center, a zone that spans 17.3% of the sky. The selection used a combination of kinematic and photometric properties, derived primarily from Gaia proper motions, $G$ magnitudes, and $G_{{\rm BP}}\,-\,G_{{\rm RP}}$ color, and including parallax whenever available. Additional validation of the white dwarf candidates is made using PanSTARRS photometric ($gri$) data. Our final catalog includes not only stars having full kinematic and luminosity estimates from reliable Gaia parallax, but also stars with presently unreliable or no available Gaia parallax measurements. We argue that our method to select local halo objects with and without reliable parallax data leads us to rounding up all possible halo white dwarfs in the Gaia catalog (in that particular section of that sky) with recorded proper motions $> 40$ mas yr$^{-1}$, and that pass our $v_{T} > 200$ km s$^{-1}$ threshold requirement. We expect this catalog will be useful for the study of the white dwarf population of the local Galactic halo.


title: Quasi-periodic travelling waves for a class of damped beams on rectangular tori

abstract: This article concerns a class of beam equations with damping on rectangular tori. When the generators satisfy certain relationship, by excluding some value of two model parameters, we prove that such models admit small amplitude quasi-periodic travelling wave solutions with two frequencies, which are continuations of two rotating wave solutions with one frequency. This result holds not only for an isotropic torus, but also for an anisotropic torus. The proof is mainly based on a Lyapunov--Schmidt reduction together with the implicit function theorem.


title: Approximate Time-Optimal Trajectories for Damped Double Integrator in 2D Obstacle Environments under Bounded Inputs

abstract: This article provides extensions to existing path-velocity decomposition based time optimal trajectory planning algorithm \cite{kant1986toward} to scenarios in which agents move in 2D obstacle environment under double integrator dynamics with drag term (damped double integrator). Particularly, we extend the idea of a tangent graph \cite{liu1992path} to $\calC^1$-Tangent graph to find continuously differentiable ($\calC^1$) shortest path between any two points. $\calC^1$-Tangent graph has a continuously differentiable ($\calC^1$) path between any two nodes. We also provide analytical expressions for a near time-optimal velocity profile for an agent moving on these shortest paths under the damped double integrator with bounded acceleration.


title: A Survey on Autonomous Vehicle Control in the Era of Mixed-Autonomy: From Physics-Based to AI-Guided Driving Policy Learning

abstract: This paper serves as an introduction and overview of the potentially useful models and methodologies from artificial intelligence (AI) into the field of transportation engineering for autonomous vehicle (AV) control in the era of mixed autonomy. We will discuss state-of-the-art applications of AI-guided methods, identify opportunities and obstacles, raise open questions, and help suggest the building blocks and areas where AI could play a role in mixed autonomy. We divide the stage of autonomous vehicle (AV) deployment into four phases: the pure HVs, the HV-dominated, the AVdominated, and the pure AVs. This paper is primarily focused on the latter three phases. It is the first-of-its-kind survey paper to comprehensively review literature in both transportation engineering and AI for mixed traffic modeling. Models used for each phase are summarized, encompassing game theory, deep (reinforcement) learning, and imitation learning. While reviewing the methodologies, we primarily focus on the following research questions: (1) What scalable driving policies are to control a large number of AVs in mixed traffic comprised of human drivers and uncontrollable AVs? (2) How do we estimate human driver behaviors? (3) How should the driving behavior of uncontrollable AVs be modeled in the environment? (4) How are the interactions between human drivers and autonomous vehicles characterized? Hopefully this paper will not only inspire our transportation community to rethink the conventional models that are developed in the data-shortage era, but also reach out to other disciplines, in particular robotics and machine learning, to join forces towards creating a safe and efficient mixed traffic ecosystem.


title: Differentially Private Simple Linear Regression

abstract: Economics and social science research often require analyzing datasets of sensitive personal information at fine granularity, with models fit to small subsets of the data. Unfortunately, such fine-grained analysis can easily reveal sensitive individual information. We study algorithms for simple linear regression that satisfy differential privacy, a constraint which guarantees that an algorithm's output reveals little about any individual input data record, even to an attacker with arbitrary side information about the dataset. We consider the design of differentially private algorithms for simple linear regression for small datasets, with tens to hundreds of datapoints, which is a particularly challenging regime for differential privacy. Focusing on a particular application to small-area analysis in economics research, we study the performance of a spectrum of algorithms we adapt to the setting. We identify key factors that affect their performance, showing through a range of experiments that algorithms based on robust estimators (in particular, the Theil-Sen estimator) perform well on the smallest datasets, but that other more standard algorithms do better as the dataset size increases.


title: Pulsed Ultrasound Assisted Thermo-therapy for Subsurface Tumor Ablation: A numerical investigation

abstract: High Intensity Focused Ultrasound (HIFU) is a promising therapy for thermal ablation and hyperthermia, characterised by it noninvasiveness, high penetration depth. Effective HIFU thermo-therapy requires the ability to accurately predict temperature elevation and corresponding thermal dose distribution in target tissues. We report a parametric numerical study of the thermal response and corresponding of thermal dose in a bio-tissue in response to ultrasound. We compared the predictions of tissue models with two, three and seven layers, to ultrasound induced heating at duty cycles ranging from 0.6 and 0.9. Further, two tumor sizes and transducer powers (10 W and 15 W) were considered. Inhomogeneous Helmholtz equation was coupled with Penne's bioheat equation to predict heating in response to pulsed ultrasound. Necrotic lesion size was calculated using the cumulative equivalent minute (CEM) thermal dose function. In-vitro experiments were performed with agar-based tissue phantoms as a preliminary validation of the numerical results. The simulations conducted with the seven layered model predicted up to 33.5% lower peak pressure amplitude than the three-layered model. As the ultrasound pulse width decreased with the equivalent sonication time fixed, the corresponding magnitude of the peak temperature and the rate of temperature rise decreased. Pulsed ultrasound resulted in increased the volume of necrotic lesions for equivalent time of sonication. The findings of this study highlight the dependence of HIFU-induced heating on target geometry and acoustic properties, and could help guide the choice of suitable ultrasound exposure parameters for further studies.


title: Solving System of Nonlinear Equations with the Genetic Algorithm and Newton's Method

abstract: An implementation and an application of the combination of the genetic algorithm and Newton's method for solving a system of nonlinear equations is presented. The method first uses the advantage of the robustness of the genetic algorithm for guessing the rough location of the roots, then it uses the advantage of a good rate of convergence of Newton's method. An effective application of the method for the positioning problem of multiple small rovers proposed for the use in asteroid exploration is shown.


title: The Sloan Digital Sky Survey Reverberation Mapping Project: Photometric g and i Light Curves

abstract: The Sloan Digital Sky Survey Reverberation Mapping (SDSS-RM) program monitors 849 active galactic nuclei (AGN) both spectroscopically and photometrically. The photometric observations used in this work span over four years and provide an excellent baseline for variability studies of these objects. We present the photometric light curves from 2014 to 2017 obtained by the Steward Observatory's Bok telescope and the CFHT telescope with MegaCam. We provide details on the data acquisition and processing of the data from each telescope, the difference imaging photometry used to produce the light curves, and the calculation of a variability index to quantify each AGN's variability. We find that the Welch-Stetson J-index provides a useful characterization of AGN variability and can be used to select AGNs for further study.


title: Restriction estimates in a conical singular space: wave equation

abstract: We study the restriction estimates in a class of conical singular space $X=C(Y)=(0,\infty)_r\times Y$ with the metric $g=\mathrm{d}r^2+r^2h$, where the cross section $Y$ is a compact $(n-1)$-dimensional closed Riemannian manifold $(Y,h)$. Let $\Delta_g$ be the Friedrich extension positive Laplacian on $X$, and consider the operator $\mathcal{L}_V=\Delta_g+V$ with $V=V_0r^{-2}$, where $V_0(\theta)\in\mathcal{C}^\infty(Y)$ is a real function such that the operator $\Delta_h+V_0+(n-2)^2/4$ is positive. In the present paper, we prove a type of modified restriction estimates for the solutions of wave equation associated with $\mathcal{L}_V$. The smallest positive eigenvalue of the operator $\Delta_h+V_0+(n-2)^2/4$ plays an important role in the result. As an application, for independent of interests, we prove local energy estimates and Keel-Smith-Sogge estimates for the wave equation in this setting.


title: Solutions of Painlev\'e II on real intervals: novel approximating sequences

abstract: Novel sequences of approximants to solutions of Painlev\'e II on finite intervals of the real line, with Neumann boundary conditions, are constructed. Numerical experiments strongly suggest convergence of these sequences in a surprisingly wide range of cases, even ones where ordinary perturbation series fail to converge. These sequences are here labeled extraordinary because of their unusual properties. Each element of such a sequence is defined on its own interval. As the sequence (apparently) converges to a solution of the corresponding boundary value problem for Painlev\'e II, these intervals themselves (apparently) converge to the defining interval for that problem, and an associated sequence of constants (apparently) converges to the constant term in the Painlev\'e II equation itself. Each extraordinary sequence is constructed in a nonlinear fashion from a perturbation series approximation to the solution of a supplementary boundary value problem, involving a generalization of Painlev\'e II that arises in studies of electrodiffusion.


title: Handling Collocations in Hierarchical Latent Tree Analysis for Topic Modeling

abstract: Topic modeling has been one of the most active research areas in machine learning in recent years. Hierarchical latent tree analysis (HLTA) has been recently proposed for hierarchical topic modeling and has shown superior performance over state-of-the-art methods. However, the models used in HLTA have a tree structure and cannot represent the different meanings of multiword expressions sharing the same word appropriately. Therefore, we propose a method for extracting and selecting collocations as a preprocessing step for HLTA. The selected collocations are replaced with single tokens in the bag-of-words model before running HLTA. Our empirical evaluation shows that the proposed method led to better performance of HLTA on three of the four data sets tested.


title: On the (in)-approximability of Bayesian Revenue Maximization for a Combinatorial Buyer

abstract: We consider a revenue-maximizing single seller with $m$ items for sale to a single buyer whose value $v(\cdot)$ for the items is drawn from a known distribution $D$ of support $k$. A series of works by Cai et al. establishes that when each $v(\cdot)$ in the support of $D$ is additive or unit-demand (or $c$-demand), the revenue-optimal auction can be found in $\operatorname{poly}(m,k)$ time. We show that going barely beyond this, even to matroid-based valuations (a proper subset of Gross Substitutes), results in strong hardness of approximation. Specifically, even on instances with $m$ items and $k \leq m$ valuations in the support of $D$, it is not possible to achieve a $1/m^{1-\varepsilon}$-approximation for any $\varepsilon>0$ to the revenue-optimal mechanism for matroid-based valuations in (randomized) poly-time unless NP $\subseteq$ RP (note that a $1/k$-approximation is trivial). Cai et al.'s main technical contribution is a black-box reduction from revenue maximization for valuations in class $\mathcal{V}$ to optimizing the difference between two values in class $\mathcal{V}$. Our main technical contribution is a black-box reduction in the other direction (for a wide class of valuation classes), establishing that their reduction is essentially tight.


title: Structural Properties of Conditioned Random Walks on Integer Lattices with Random Local Constraints

abstract: We consider a random walk on a multidimensional integer lattice with random bounds on local times, conditioned on the event that it hits a high level before its death. We introduce an auxiliary "core" process that has a regenerative structure and plays a key role in our analysis. We obtain a number of representations for the distribution of the random walk in terms of the similar distribution of the "core" process. Based on that, we prove a number of limiting results by letting the high level to tend to infinity. In particular, we generalise results for a simple symmetric one-dimensional random walk obtained earlier in the paper by Benjamini and Berestycki (2010).


title: Self-Reflective Variational Autoencoder

abstract: The Variational Autoencoder (VAE) is a powerful framework for learning probabilistic latent variable generative models. However, typical assumptions on the approximate posterior distribution of the encoder and/or the prior, seriously restrict its capacity for inference and generative modeling. Variational inference based on neural autoregressive models respects the conditional dependencies of the exact posterior, but this flexibility comes at a cost: such models are expensive to train in high-dimensional regimes and can be slow to produce samples. In this work, we introduce an orthogonal solution, which we call self-reflective inference. By redesigning the hierarchical structure of existing VAE architectures, self-reflection ensures that the stochastic flow preserves the factorization of the exact posterior, sequentially updating the latent codes in a recurrent manner consistent with the generative model. We empirically demonstrate the clear advantages of matching the variational posterior to the exact posterior - on binarized MNIST, self-reflective inference achieves state-of-the art performance without resorting to complex, computationally expensive components such as autoregressive layers. Moreover, we design a variational normalizing flow that employs the proposed architecture, yielding predictive benefits compared to its purely generative counterpart. Our proposed modification is quite general and complements the existing literature; self-reflective inference can naturally leverage advances in distribution estimation and generative modeling to improve the capacity of each layer in the hierarchy.


title: Rain Streak Removal in a Video to Improve Visibility by TAWL Algorithm

abstract: In computer vision applications, the visibility of the video content is crucial to perform analysis for better accuracy. The visibility can be affected by several atmospheric interferences in challenging weather-one of them is the appearance of rain streak. In recent time, rain streak removal achieves lots of interest to the researchers as it has some exciting applications such as autonomous car, intelligent traffic monitoring system, multimedia, etc. In this paper, we propose a novel and simple method by combining three novel extracted features focusing on temporal appearance, wide shape and relative location of the rain streak and we called it TAWL (Temporal Appearance, Width, and Location) method. The proposed TAWL method adaptively uses features from different resolutions and frame rates. Moreover, it progressively processes features from the up-coming frames so that it can remove rain in the real-time. The experiments have been conducted using video sequences with both real rains and synthetic rains to compare the performance of the proposed method against the relevant state-of-the-art methods. The experimental results demonstrate that the proposed method outperforms the state-of-the-art methods by removing more rain streaks while keeping other moving regions.


title: SeqHAND:RGB-Sequence-Based 3D Hand Pose and Shape Estimation

abstract: 3D hand pose estimation based on RGB images has been studied for a long time. Most of the studies, however, have performed frame-by-frame estimation based on independent static images. In this paper, we attempt to not only consider the appearance of a hand but incorporate the temporal movement information of a hand in motion into the learning framework for better 3D hand pose estimation performance, which leads to the necessity of a large scale dataset with sequential RGB hand images. We propose a novel method that generates a synthetic dataset that mimics natural human hand movements by re-engineering annotations of an extant static hand pose dataset into pose-flows. With the generated dataset, we train a newly proposed recurrent framework, exploiting visuo-temporal features from sequential images of synthetic hands in motion and emphasizing temporal smoothness of estimations with a temporal consistency constraint. Our novel training strategy of detaching the recurrent layer of the framework during domain finetuning from synthetic to real allows preservation of the visuo-temporal features learned from sequential synthetic hand images. Hand poses that are sequentially estimated consequently produce natural and smooth hand movements which lead to more robust estimations. We show that utilizing temporal information for 3D hand pose estimation significantly enhances general pose estimations by outperforming state-of-the-art methods in experiments on hand pose estimation benchmarks.


title: Detecting Malicious Accounts in Permissionless Blockchains using Temporal Graph Properties

abstract: The temporal nature of modeling accounts as nodes and transactions as directed edges in a directed graph -- for a blockchain, enables us to understand the behavior (malicious or benign) of the accounts. Predictive classification of accounts as malicious or benign could help users of the permissionless blockchain platforms to operate in a secure manner. Motivated by this, we introduce temporal features such as burst and attractiveness on top of several already used graph properties such as the node degree and clustering coefficient. Using identified features, we train various Machine Learning (ML) algorithms and identify the algorithm that performs the best in detecting which accounts are malicious. We then study the behavior of the accounts over different temporal granularities of the dataset before assigning them malicious tags. For Ethereum blockchain, we identify that for the entire dataset - the ExtraTreesClassifier performs the best among supervised ML algorithms. On the other hand, using cosine similarity on top of the results provided by unsupervised ML algorithms such as K-Means on the entire dataset, we were able to detect 554 more suspicious accounts. Further, using behavior change analysis for accounts, we identify 814 unique suspicious accounts across different temporal granularities.


title: A Two-Timescale Framework for Bilevel Optimization: Complexity Analysis and Application to Actor-Critic

abstract: This paper analyzes a two-timescale stochastic algorithm framework for bilevel optimization. Bilevel optimization is a class of problems which exhibit a two-level structure, and its goal is to minimize an outer objective function with variables which are constrained to be the optimal solution to an (inner) optimization problem. We consider the case when the inner problem is unconstrained and strongly convex, while the outer problem is constrained and has a smooth objective function. We propose a two-timescale stochastic approximation (TTSA) algorithm for tackling such a bilevel problem. In the algorithm, a stochastic gradient update with a larger step size is used for the inner problem, while a projected stochastic gradient update with a smaller step size is used for the outer problem. We analyze the convergence rates for the TTSA algorithm under various settings: when the outer problem is strongly convex (resp.~weakly convex), the TTSA algorithm finds an $\mathcal{O}(K^{-2/3})$-optimal (resp.~$\mathcal{O}(K^{-2/5})$-stationary) solution, where $K$ is the total iteration number. As an application, we show that a two-timescale natural actor-critic proximal policy optimization algorithm can be viewed as a special case of our TTSA framework. Importantly, the natural actor-critic algorithm is shown to converge at a rate of $\mathcal{O}(K^{-1/4})$ in terms of the gap in expected discounted reward compared to a global optimal policy.


title: Stopped processes and Doob's optional sampling theorem

abstract: Using the spectral measure $\mu_\mathbb{S}$ of the stopping time $\mathbb{S},$ we define the stopping element $X_\mathbb{S}$ as a Daniell integral $\int X_t\,d\mu_\mathbb{S}$ for an adapted stochastic process $(X_t)_{t\in J}$ that is a Daniell summable vector-valued function. This is an extension of the definition previously given for right-order-continuous sub-martingales with the Doob-Meyer decomposition property. The more general definition of $X_\mathbb{S}$ necessitates a new proof of Doob's optional sampling theorem, because the definition given earlier for sub-martingales implicitly used Doob's theorem applied to martingales. We provide such a proof, thus removing the heretofore necessary assumption of the Doob-Meyer decomposition property in the result. Another advancement presented in this paper is our use of unbounded order convergence, which properly characterizes the notion of almost everywhere convergence found in the classical theory. Using order projections in place of the traditional indicator functions, we also generalize the notion of uniformly integrable sequences. In an essential ingredient to our main theorem mentioned above, we prove that uniformly integrable sequences that converge with respect to unbounded order convergence also converge to the same element in $\mathcal{L}^1$.


title: A Cubic Deformation of ABJM: The Squashed, Stretched, Warped, and Perturbed Gets Invaded

abstract: A superpotential deformation that is cubic in one of the chiral superfields of ABJM makes the latter theory flow into a new, ${\cal N}=2$ superconformal phase. This is holographically dual to a warped $\textrm{AdS}_4 \times_w S^7$ solution of M-theory equipped with a squashed and stretched metric on $S^7$. We determine the spectrum of spin-2 operators of the cubic deformation at low energies by computing the spectrum of Kaluza-Klein (KK) gravitons over the dual AdS$_4$ solution. We calculate, numerically, the complete graviton spectrum and, analytically, the spectrum of gravitons that belong to short multiplets. We also use group theory to assess the structure of the full KK spectrum, and conclude that ${\cal N}=2$ supermultiplets cannot be allocated KK level by KK level. This phenomenon, usually referred to as "space invaders scenario", is also known to occur for another $\textrm{AdS}_4$ solution based on a different squashed $S^7$.


title: The Drag Instability in a 1D Isothermal C-Shock

abstract: We investigate whether the drag instability, proposed by Gu et al., occurs in a one-dimensional (1D) C-shock. The 1D background model proposed by Chen and Ostriker for a steady isothermal C-shock is adopted, and a 1D isothermal linear analysis is performed. We confirm the postulation of Gu et al. that the drift velocity between the ions and the neutrals is sufficiently high within a C-shock to allow for the drag instability. We also study the underlying physics of the decaying modes in the shock and post-shock regions. The drag instability is an overstability phenomenon associated with an exponentially growing mode of a propagating wave. We find that the growing wave mode can only propagate downstream within the shock and subsequently decay in the post-shock region. The maximum total growth (MTG) for such an unstable wave before it is damped is estimated in typical environments of star-forming clouds, which is approximately 10-30 times larger than the initial perturbation at the modest shock velocities and can be significantly enhanced several hundred times for a stronger C-shock with a larger width.


title: Role of solitary states in forming spatiotemporal patterns in a 2D lattice of van der Pol oscillators

abstract: The behavior of the ensemble of coupled van der Pol oscillators is abundant when coupling parameters are changed. Incoherent and chimera-like regimes are observed at small values of the coupling strength parameter. Synchronization takes place with an increase in the coupling strength and coupling range parameters. Various chimera and solitary states are realised when the coupling strength parameter is sufficiently large. The single van der Pol oscillator is taken in the regime of relaxation oscillations. Therefore, the lattice may realise spiral wave and spiral wave chimera regimes. Besides, target wave and solitary state regimes are observed in the ensemble. Finally, the solitary state and solitary state chimera regimes are firstly shown for the lattice of coupled van der Pol oscillators.


title: Affine Non-negative Collaborative Representation Based Pattern Classification

abstract: During the past decade, representation-based classification methods have received considerable attention in pattern recognition. In particular, the recently proposed non-negative representation based classification (NRC) method has been reported to achieve promising results in a wide range of classification tasks. However, NRC has two major drawbacks. First, there is no regularization term in the formulation of NRC, which may result in unstable solution and misclassification. Second, NRC ignores the fact that data usually lies in a union of multiple affine subspaces, rather than linear subspaces in practical applications. To address the above issues, this paper presents an affine non-negative collaborative representation (ANCR) model for pattern classification. To be more specific, ANCR imposes a regularization term on the coding vector. Moreover, ANCR introduces an affine constraint to better represent the data from affine subspaces. The experimental results on several benchmarking datasets demonstrate the merits of the proposed ANCR method. The source code of our ANCR is publicly available at https://github.com/yinhefeng/ANCR.


title: A concise modification of Marshall-Olkin family of distributions for reliability analysis

abstract: The significance of Marshall-Olkin distribution in reliability theory has motivated us to introduce a generalized exponentiated Marshall-Olkin (GEMO), a family of distributions.


title: Deep Unfolding Basis Pursuit: Improving Sparse Channel Reconstruction via Data-Driven Measurement Matrices

abstract: For massive multiple-input multiple-output (MIMO) systems operating in frequency-division duplex mode, downlink channel state information (CSI) acquisition will incur large overhead. This overhead is substantially reduced when sparse channel estimation techniques are employed, owing to the channel sparsity in the angular domain. When a sparse channel estimation method is implemented, the measurement matrix, which is related to the pilot matrix, is essential to the channel estimation performance. Existing sparse channel estimation schemes widely adopt random measurement matrices, which have been criticized for their suboptimal reconstruction performance. This paper proposes novel data-driven solutions to design the measurement matrix. Model-based autoencoders are customized to optimize the measurement matrix by unfolding the classical basis pursuit algorithm. The obtained data-driven measurement matrices are applied to existing sparse reconstruction algorithms, leading to flexible hybrid data-driven implementations for sparse channel estimation. Numerical results show that the proposed data-driven measurement matrices can achieve more accurate reconstructions and use fewer measurements than the existing random matrices, thereby leading to a higher achievable rate for CSI acquisition. Moreover, compared with existing pure deep learning-based sparse reconstruction methods, the proposed hybrid data-driven scheme, which uses the novel data-driven measurement matrices with conventional sparse reconstruction algorithms, can achieve higher reconstruction accuracy.


title: Second Order Necessary Conditions for Endpoints-Constrained Optimal Control Problems on Riemannian manifolds

abstract: In this paper, we are concerned with optimal control problems evolved on Riemannian manifolds, where the initial and final states satisfy some inequality and equality type constraints, and the control set is a separable metric space. We obtain the second order necessary conditions of integral and quasi-pointwise forms, both of which work for Pontryagin type critical controls and involve the curvature tensor. Also, we apply the condition of integral form to the Bolza problem, where the initial and final states are subject to equality's type constraint.


title: Current Advancements on Autonomous Mission Planning and Management Systems: an AUV and UAV perspective

abstract: Advances in hardware technology have enabled more integration of sophisticated software, triggering progress in the development and employment of Unmanned Vehicles (UVs), and mitigating restraints for onboard intelligence. As a result, UVs can now take part in more complex mission where continuous transformation in environmental condition calls for a higher level of situational responsiveness. This paper serves as an introduction to UVs mission planning and management systems aiming to highlight some of the recent developments in the field of autonomous underwater and aerial vehicles in addition to stressing some possible future directions and discussing the learned lessons. A comprehensive survey over autonomy assessment of UVs, and different aspects of autonomy such as situation awareness, cognition, and decision-making has been provided in this study. The paper separately explains the humanoid and autonomous system's performance and highlights the role and impact of a human in UVs operations.


title: Fast and Accurate Forecasting of COVID-19 Deaths Using the SIkJ$\alpha$ Model

abstract: Forecasting the effect of COVID-19 is essential to design policies that may prepare us to handle the pandemic. Many methods have already been proposed, particularly, to forecast reported cases and deaths at country-level and state-level. Many of these methods are based on traditional epidemiological model which rely on simulations or Bayesian inference to simultaneously learn many parameters at a time. This makes them prone to over-fitting and slow execution. We propose an extension to our model SIkJ$\alpha$ to forecast deaths and show that it can consider the effect of many complexities of the epidemic process and yet be simplified to a few parameters that are learned using fast linear regressions. We also present an evaluation of our method against seven approaches currently being used by the CDC, based on their two weeks forecast at various times during the pandemic. We demonstrate that our method achieves better root mean squared error compared to these seven approaches during majority of the evaluation period. Further, on a 2 core desktop machine, our approach takes only 3.18s to tune hyper-parameters, learn parameters and generate 100 days of forecasts of reported cases and deaths for all the states in the US. The total execution time for 184 countries is 11.83s and for all the US counties ($>$ 3000) is 101.03s.


title: Sample-based Regularization: A Transfer Learning Strategy Toward Better Generalization

abstract: Training a deep neural network with a small amount of data is a challenging problem as it is vulnerable to overfitting. However, one of the practical difficulties that we often face is to collect many samples. Transfer learning is a cost-effective solution to this problem. By using the source model trained with a large-scale dataset, the target model can alleviate the overfitting originated from the lack of training data. Resorting to the ability of generalization of the source model, several methods proposed to use the source knowledge during the whole training procedure. However, this is likely to restrict the potential of the target model and some transferred knowledge from the source can interfere with the training procedure. For improving the generalization performance of the target model with a few training samples, we proposed a regularization method called sample-based regularization (SBR), which does not rely on the source's knowledge during training. With SBR, we suggested a new training framework for transfer learning. Experimental results showed that our framework outperformed existing methods in various configurations.


title: Compact Relativistic Stars under Karmarkar Condition

abstract: A class of new solutions for Einstein's field equations, by choosing the ansatz $e^{\lambda(r)}=\frac{1+ar^{2}}{1+br^{2}}$ for metric potential, are obtained under Karmarkar condition. It is found that a number of pulsars like 4U 1820-30, PSR J1903+327, 4U 1608-52, Vela X-1, PSR J1614-2230, Cen X-3 can be accomodated in this model. We have displayed the nature of physical parameters and energy conditions throughout the distribution using numerical and graphical methods for a particular pulsar 4U 1820-30 and found that the solution satisfies all physical requirements.


title: Conditioned Time-Dilated Convolutions for Sound Event Detection

abstract: Sound event detection (SED) is the task of identifying sound events along with their onset and offset times. A recent, convolutional neural networks based SED method, proposed the usage of depthwise separable (DWS) and time-dilated convolutions. DWS and time-dilated convolutions yielded state-of-the-art results for SED, with considerable small amount of parameters. In this work we propose the expansion of the time-dilated convolutions, by conditioning them with jointly learned embeddings of the SED predictions by the SED classifier. We present a novel algorithm for the conditioning of the time-dilated convolutions which functions similarly to language modelling, and enhances the performance of the these convolutions. We employ the freely available TUT-SED Synthetic dataset, and we assess the performance of our method using the average per-frame $\text{F}_{1}$ score and average per-frame error rate, over the 10 experiments. We achieve an increase of 2\% (from 0.63 to 0.65) at the average $\text{F}_{1}$ score (the higher the better) and a decrease of 3\% (from 0.50 to 0.47) at the error rate (the lower the better).


title: A new stability and convergence proof of the Fourier-Galerkin spectral method for the spatially homogeneous Boltzmann equation

abstract: Numerical approximation of the Boltzmann equation is a challenging problem due to its high-dimensional, nonlocal, and nonlinear collision integral. Over the past decade, the Fourier-Galerkin spectral method has become a popular deterministic method for solving the Boltzmann equation, manifested by its high accuracy and potential of being further accelerated by the fast Fourier transform. Albeit its practical success, the stability of the method is only recently proved by Filbet, F. & Mouhot, C. in [$ Trans. Amer. Math. Soc.$ 363, no. 4 (2011): 1947-1980.] by utilizing the "spreading" property of the collision operator. In this work, we provide a new proof based on a careful $L^2$ estimate of the negative part of the solution. We also discuss the applicability of the result to various initial data, including both continuous and discontinuous functions.


title: Games of Social Distancing during an Epidemic: Local vs Statistical Information

abstract: The spontaneous behavioral changes of the agents during an epidemic can have significant effects on the delay and the prevalence of its spread. In this work, we study a social distancing game among the agents of a population, who determine their social interactions during the spread of an epidemic. The interconnections between the agents are modeled by a network and local interactions are considered. The payoffs of the agents depend on their benefits from their social interactions, as well as on the costs to their health due to their possible contamination. The information available to the agents during the decision making plays a crucial role in our model. We examine two extreme cases. In the first case, the agents know exactly the health states of their neighbors and in the second they have statistical information for the global prevalence of the epidemic. The Nash equilibria of the games are studied and, interestingly, in the second case the equilibrium strategies for an agent are either full isolation or no social distancing at all. Experimental studies are presented through simulations, where we observe that in the first case of perfect local information the agents can affect significantly the prevalence of the epidemic with low cost for their sociability, while in the second case they have to pay the burden of not being well informed. Moreover, the effects of the information quality (fake news), the health care system capacity and the network structure are discussed and relevant simulations are provided, which indicate that these parameters affect the size, the peak and the start of the outbreak, as well as the possibility of a second outbreak.


title: GLOW : Global Weighted Self-Attention Network for Web Search

abstract: Deep matching models aim to facilitate search engines retrieving more relevant documents by mapping queries and documents into semantic vectors in the first-stage retrieval. When leveraging BERT as the deep matching model, the attention score across two words are solely built upon local contextualized word embeddings. It lacks prior global knowledge to distinguish the importance of different words, which has been proved to play a critical role in information retrieval tasks. In addition to this, BERT only performs attention across sub-words tokens which weakens whole word attention representation. We propose a novel Global Weighted Self-Attention (GLOW) network for web document search. GLOW fuses global corpus statistics into the deep matching model. By adding prior weights into attention generation from global information, like BM25, GLOW successfully learns weighted attention scores jointly with query matrix $Q$ and key matrix $K$. We also present an efficient whole word weight sharing solution to bring prior whole word knowledge into sub-words level attention. It aids Transformer to learn whole word level attention. To make our models applicable to complicated web search scenarios, we introduce combined fields representation to accommodate documents with multiple fields even with variable number of instances. We demonstrate GLOW is more efficient to capture the topical and semantic representation both in queries and documents. Intrinsic evaluation and experiments conducted on public data sets reveal GLOW to be a general framework for document retrieve task. It significantly outperforms BERT and other competitive baselines by a large margin while retaining the same model complexity with BERT.


title: The Lynden-Bell bar formation mechanism in simple and realistic galactic models

abstract: Using the canonical Hamilton-Jacobi approach we study the Lynden-Bell concept of bar formation based on the idea of orbital trapping parallel to the long or short axes of the oval potential distortion. The concept considered a single parameter - a sign of the derivative of the precession rate over angular momentum, determining the orientation of the trapped orbits. We derived a perturbation Hamiltonian which includes two more parameters characterising the background disc and the perturbation, that are just as important as the earlier known one. This allows us to link the concept with the matrix approach in linear perturbation theory, the theory of weak bars, and explain some features of the nonlinear secular evolution observed in N-body simulations.


title: Intelligent Credit Limit Management in Consumer Loans Based on Causal Inference

abstract: Nowadays consumer loan plays an important role in promoting the economic growth, and credit cards are the most popular consumer loan. One of the most essential parts in credit cards is the credit limit management. Traditionally, credit limits are adjusted based on limited heuristic strategies, which are developed by experienced professionals. In this paper, we present a data-driven approach to manage the credit limit intelligently. Firstly, a conditional independence testing is conducted to acquire the data for building models. Based on these testing data, a response model is then built to measure the heterogeneous treatment effect of increasing credit limits (i.e. treatments) for different customers, who are depicted by several control variables (i.e. features). In order to incorporate the diminishing marginal effect, a carefully selected log transformation is introduced to the treatment variable. Moreover, the model's capability can be further enhanced by applying a non-linear transformation on features via GBDT encoding. Finally, a well-designed metric is proposed to properly measure the performances of compared methods. The experimental results demonstrate the effectiveness of the proposed approach.


title: Learning Unstable Dynamical Systems with Time-Weighted Logarithmic Loss

abstract: When training the parameters of a linear dynamical model, the gradient descent algorithm is likely to fail to converge if the squared-error loss is used as the training loss function. Restricting the parameter space to a smaller subset and running the gradient descent algorithm within this subset can allow learning stable dynamical systems, but this strategy does not work for unstable systems. In this work, we look into the dynamics of the gradient descent algorithm and pinpoint what causes the difficulty of learning unstable systems. We show that observations taken at different times from the system to be learned influence the dynamics of the gradient descent algorithm in substantially different degrees. We introduce a time-weighted logarithmic loss function to fix this imbalance and demonstrate its effectiveness in learning unstable systems.


title: $QQ\bar{s}\bar{s}$ tetraquarks in the chiral quark model

abstract: The low-lying $S$-wave $QQ\bar{s}\bar{s}$ ($Q=c, b$) tetraquark states with $IJ^P=00^+$, $01^+$ and $02^+$ are systematically investigated in the framework of complex scaling range of chiral quark model. Every structure including meson-meson, diquark-antidiquark and K-type configurations, and all possible color channels in four-body sector are considered by means of a commonly extended variational approach, Gaussian expansion method. Several narrow and wide resonance states are obtained for $cc\bar{s}\bar{s}$ and $bb\bar{s}\bar{s}$ tetraquarks with $IJ^P=00^+$ and $02^+$. Meanwhile, narrow resonances for $cb\bar{s}\bar{s}$ tetraquarks are also found in $IJ^P=00^+$, $01^+$ and $02^+$ states. These results confirm the possibility of finding hadronic molecules with masses $\sim\,0.6\,\text{GeV}$ above the noninteracting hadron-hadron thresholds.


title: Overcoming label noise in audio event detection using sequential labeling

abstract: This paper addresses the noisy label issue in audio event detection (AED) by refining strong labels as sequential labels with inaccurate timestamps removed. In AED, strong labels contain the occurrence of a specific event and its timestamps corresponding to the start and end of the event in an audio clip. The timestamps depend on subjectivity of each annotator, and their label noise is inevitable. Contrary to the strong labels, weak labels indicate only the occurrence of a specific event. They do not have the label noise caused by the timestamps, but the time information is excluded. To fully exploit information from available strong and weak labels, we propose an AED scheme to train with sequential labels in addition to the given strong and weak labels after converting the strong labels into the sequential labels. Using sequential labels consistently improved the performance particularly with the segment-based F-score by focusing on occurrences of events. In the mean-teacher-based approach for semi-supervised learning, including an early step with sequential prediction in addition to supervised learning with sequential labels mitigated label noise and inaccurate prediction of the teacher model and improved the segment-based F-score significantly while maintaining the event-based F-score.


title: Negation and Implication in Partition Logic

abstract: The Boolean logic of subsets, usually presented as `propositional logic,' is considered as being "classical" while intuitionistic logic and the many sublogics and off-shoots are "non-classical." But there is another mathematical logic, the logic of partitions, that is at the same mathmatical level as Boolean subset logic since subsets and quotient sets (partitions or equivalence relations) are dual to one another in the category-theoretic sense. Our purpose here is to explore the notions of negation and implication in that other mathematical logic of partitions.


title: Holographic Dual of The Weak Gravity Conjecture

abstract: The much-discussed \emph{Weak Gravity Conjecture} is interesting and important in both the asymptotically flat and the asymptotically AdS contexts. In the latter case, it is natural to ask what conditions it (and the closely related Cosmic Censorship principle) imposes, via gauge-gravity duality, on the boundary field theory. We find that these conditions take the form of lower bounds on the number of colours in this theory: that is, the WGC and Censorship might (depending on the actual sizes of the bounds) enforce the familiar holographic injunction that this number should be "large". We explicitly estimate lower bounds on this number in the case of the application of holography to the quark-gluon plasma produced in heavy ion collisions. We find that classical Censorship alone prohibits realistically small values for the number of colours, but that the WGC offers hope of resolving this problem.


title: What Can We Learn From Almost a Decade of Food Tweets

abstract: We present the Latvian Twitter Eater Corpus - a set of tweets in the narrow domain related to food, drinks, eating and drinking. The corpus has been collected over time-span of over 8 years and includes over 2 million tweets entailed with additional useful data. We also separate two sub-corpora of question and answer tweets and sentiment annotated tweets. We analyse contents of the corpus and demonstrate use-cases for the sub-corpora by training domain-specific question-answering and sentiment-analysis models using data from the corpus.


title: A survey on the study of real zeros of flow polynomials

abstract: For a bridgeless graph $G$, its flow polynomial is defined to be the function $F(G,q)$ which counts the number of nonwhere-zero $\Gamma$-flows on an orientation of $G$ whenever $q$ is a positive integer and $\Gamma$ is an additive Abelian group of order $q$. It was introduced by Tutte in 1950 and the locations of zeros of this polynomial have been studied by many researchers. This article gives a survey on the results and problems on the study of real zeros of flow polynomials.


title: Pre-trained Word Embeddings for Goal-conditional Transfer Learning in Reinforcement Learning

abstract: Reinforcement learning (RL) algorithms typically start tabula rasa, without any prior knowledge of the environment, and without any prior skills. This however often leads to low sample efficiency, requiring a large amount of interaction with the environment. This is especially true in a lifelong learning setting, in which the agent needs to continually extend its capabilities. In this paper, we examine how a pre-trained task-independent language model can make a goal-conditional RL agent more sample efficient. We do this by facilitating transfer learning between different related tasks. We experimentally demonstrate our approach on a set of object navigation tasks.


title: Hyperspectral Imaging to detect Age, Defects and Individual Nutrient Deficiency in Grapevine Leaves

abstract: Hyperspectral (HS) imaging was successfully employed in the 380 nm to 1000 nm wavelength range to investigate the efficacy of detecting age, healthiness and individual nutrient deficiency of grapevine leaves collected from vineyards located in central west NSW, Australia. For age detection, the appearance of many healthy grapevine leaves has been examined. Then visually defective leaves were compared with healthy leaves. Control leaves and individual nutrient-deficient leaves (e.g. N, K and Mg) were also analysed. Several features were employed at various stages in the Ultraviolet (UV), Visible (VIS) and Near Infrared (NIR) regions to evaluate the experimental data: mean brightness, mean 1st derivative brightness, variation index, mean spectral ratio, normalised difference vegetation index (NDVI) and standard deviation (SD). Experiment results demonstrate that these features could be utilised with a high degree of effectiveness to compare age, identify unhealthy samples and not only to distinguish from control and nutrient deficiency but also to identify individual nutrient defects. Therefore, our work corroborated that HS imaging has excellent potential as a non-destructive as well as a non-contact method to detect age, healthiness and individual nutrient deficiencies of grapevine leaves


title: An overview of sensing platform-technological aspects for vector magnetic measurement: a case study of the application in different scenarios

abstract: Magnetic sensing platform techniques have been used in many years in an attempt to better evaluate the likelihood of recoverable hydrocarbon reservoirs by determining the depth and pattern of sedimentary rock formations containing magnetic minerals, such as magnetite. Utilizing airplanes, large-area magnetic surveys have been conducted to estimate, for example, the depth of igneous rock and the thickness of sedimentary rock formations. In this case, the vector magnetic survey method can simultaneously obtain the modulus and direction information of the Earth's magnetic field, which can effectively reduce the multiplicity on data inversion, contribute to the quantitative interpretation of the magnetic body and obtain more precise information and characteristics of magnetic field resource, so as to improve the detection resolution and positioning accuracy of the underground target body. This paper presents a state-of-the-art review of the application situations, the technical features, and the development of the vector magnetic sensing platform-technical aspects for different application scenarios, i.e., ground, wells, marine, airborne, and satellites, respectively. The potential of multi-survey sensing platform technique fusion for magnetic field detection is also discussed.


title: On the phase-space structure of galaxy clusters from cosmological simulations

abstract: Cosmological N-body simulations represent an excellent tool to study the formation and evolution of dark matter (DM) halos and the mechanisms that have originated the universal profile at the largest mass scales in the Universe. In particular, the combination of the velocity dispersion $\sigma_\mathrm{v}$ with the density $\rho$ can be used to define the pseudo-entropy $S(r)=\sigma_\mathrm{v}^2/\rho^{\,2/3}$, whose profile is well-described by a simple power-law $S\propto\,r^{\,\alpha}$. We analyze a set of cosmological hydrodynamical re-simulations of massive galaxy clusters and study the pseudo-entropy profiles as traced by different collisionless components in simulated galaxy clusters: DM, stars, and substructures. We analyze four sets of simulations, exploring different resolution and physics (N-body and full hydrodynamical simulations) to investigate convergence and the impact of baryons. We find that baryons significantly affect the inner region of pseudo-entropy profiles as traced by substructures, while DM particles profiles are characterized by an almost universal behavior, thus suggesting that the level of pseudo-entropy could represent a potential low-scatter mass-proxy. We compare observed and simulated pseudo-entropy profiles and find good agreement in both normalization and slope. We demonstrate, however, that the method used to derive observed pseudo-entropy profiles could introduce biases and underestimate the impact of mergers. Finally, we investigate the pseudo-entropy traced by the stars focusing our interest in the dynamical distinction between intracluster light (ICL) and the stars bound to the brightest cluster galaxy (BCG): the combination of these two pseudo-entropy profiles is well-described by a single power-law out to almost the entire cluster virial radius.


title: On quotients of Boolean control networks

abstract: In this paper, we focus on the study of quotients of Boolean control networks (BCNs) with the motivation that they might serve as smaller models that still carry enough information about the original network. Given a BCN and an equivalence relation on the state set, we consider a labeled transition system that is generated by the BCN. The resulting quotient transition system then naturally captures the quotient dynamics of the BCN concerned. We therefore develop a method for constructing a Boolean system that behaves equivalently to the resulting quotient transition system. The use of the obtained quotient system for control design is discussed and we show that for BCNs, controller synthesis can be done by first designing a controller for a quotient and subsequently lifting it to the original model. We finally demonstrate the applicability of the proposed techniques on a biological example.


title: ROSE: A Retinal OCT-Angiography Vessel Segmentation Dataset and New Model

abstract: Optical Coherence Tomography Angiography (OCT-A) is a non-invasive imaging technique, and has been increasingly used to image the retinal vasculature at capillary level resolution. However, automated segmentation of retinal vessels in OCT-A has been under-studied due to various challenges such as low capillary visibility and high vessel complexity, despite its significance in understanding many eye-related diseases. In addition, there is no publicly available OCT-A dataset with manually graded vessels for training and validation. To address these issues, for the first time in the field of retinal image analysis we construct a dedicated Retinal OCT-A SEgmentation dataset (ROSE), which consists of 229 OCT-A images with vessel annotations at either centerline-level or pixel level. This dataset has been released for public access to assist researchers in the community in undertaking research in related topics. Secondly, we propose a novel Split-based Coarse-to-Fine vessel segmentation network (SCF-Net), with the ability to detect thick and thin vessels separately. In the SCF-Net, a split-based coarse segmentation (SCS) module is first introduced to produce a preliminary confidence map of vessels, and a split-based refinement (SRN) module is then used to optimize the shape/contour of the retinal microvasculature. Thirdly, we perform a thorough evaluation of the state-of-the-art vessel segmentation models and our SCF-Net on the proposed ROSE dataset. The experimental results demonstrate that our SCF-Net yields better vessel segmentation performance in OCT-A than both traditional methods and other deep learning methods.


title: Condensation and Metastable Behavior of Non-reversible Inclusion Processes

abstract: In this article, we perform quantitative analyses of metastable behavior of an interacting particle system known as the inclusion process. For inclusion processes, it is widely believed that the system nucleates the condensation of particles because of the attractive nature of the interaction mechanism. The metastable behavior of the inclusion processes corresponds to the movement of the condensate on a suitable time scale, and the computation of the corresponding time scale and the characterization of the scaling limit of the condensate motion are the main problems in the study of metastability of inclusion processes. Previously, these problems were solved for reversible inclusion processes in [Bianchi, Dommers, and Giardin\`a, Electronic Journal of Probability, 22: 1-34, 2017], and the main contribution of the present study is to extend this analysis to a wide class of non-reversible inclusion processes. Non-reversibility is a major obstacle to analyzing such models, mainly because there is no closed-form expression of the invariant measure for the general case, and our main achievement is to overcome this difficulty. In particular, our results demonstrate that the time scale and limiting process of non-reversible inclusion processes are quantitatively and qualitatively different from those of reversible ones, respectively. We emphasize that, to the best of our knowledge, these results are the first rigorous quantitative results in the study of metastability when the invariant measure is not explicitly known. In addition, we consider the thermodynamic limit of metastable behavior of inclusion processes on large torus as in the paper [Armend\'ariz, Grosskinsky, and Loulakis, Probability Theory and Related Fields, 169: 105-175, 2017]. For this model, we observe three different time scales according to the level of asymmetry of the model.


title: Designing Surface Charge Patterns for Shape Control of Deformable Nanoparticles

abstract: Designing reconfigurable materials based on deformable nanoparticles (NPs) hinges on an understanding of the energetically-favored shapes these NPs can adopt. Using simulations, we show that hollow, deformable patchy NPs tailored with surface charge patterns such as Janus patches, stripes, and polyhedrally-distributed patches differently adapt their shape in response to changes in patterns and ionic strength, transforming into capsules, hemispheres, variably-dimpled bowls, and polyhedra. The links between anisotropy in NP surface charge, shape, and the elastic energy density are discussed.


title: KMT-2018-BLG-0748Lb: Sub-Saturn Microlensing Planet Orbiting an Ultracool Host

abstract: We announce the discovery of a microlensing planetary system, in which a sub-Saturn planet is orbiting an ultracool dwarf host. We detect the planetary system by analyzing the short-timescale ($t_{\rm E}\sim 4.4$~days) lensing event KMT-2018-BLG-0748. The central part of the light curve exhibits asymmetry due to the negative deviations in the rising part and the positive deviations in the falling part. We find that the deviations are explained by a binary-lens model with a mass ratio between the lens components of $q\sim 2\times 10^{-3}$. The short event timescale together with the small angular Einstein radius, $\theta_{\rm E}\sim 0.11$~mas, indicate that the mass of the planet host is very small. The Bayesian analysis conducted under the assumption that the planet frequency is independent of the host mass indicates that the mass of the planet is $M_{\rm p}=0.18^{+0.29}_{-0.10}~M_{\rm J}$, and the mass of the host, $M_{\rm h}= 0.087^{+0.138}_{-0.047}~M_\odot$, is near the star/brown dwarf boundary, but the estimated host mass is sensitive to the assumption about the planet hosting probability. High-resolution follow-up observations would lead to revealing the nature of the planet host.


title: OT-driven Multi-Domain Unsupervised Ultrasound Image Artifact Removal using a Single CNN

abstract: Ultrasound imaging (US) often suffers from distinct image artifacts from various sources. Classic approaches for solving these problems are usually model-based iterative approaches that have been developed specifically for each type of artifact, which are often computationally intensive. Recently, deep learning approaches have been proposed as computationally efficient and high performance alternatives. Unfortunately, in the current deep learning approaches, a dedicated neural network should be trained with matched training data for each specific artifact type. This poses a fundamental limitation in the practical use of deep learning for US, since large number of models should be stored to deal with various US image artifacts. Inspired by the recent success of multi-domain image transfer, here we propose a novel, unsupervised, deep learning approach in which a single neural network can be used to deal with different types of US artifacts simply by changing a mask vector that switches between different target domains. Our algorithm is rigorously derived using an optimal transport (OT) theory for cascaded probability measures. Experimental results using phantom and in vivo data demonstrate that the proposed method can generate high quality image by removing distinct artifacts, which are comparable to those obtained by separately trained multiple neural networks.