title: Expression, Affect, Action Unit Recognition: Aff-Wild2, Multi-Task Learning and ArcFace

abstract: Affective computing has been largely limited in terms of available data resources. The need to collect and annotate diverse in-the-wild datasets has become apparent with the rise of deep learning models, as the default approach to address any computer vision task. Some in-the-wild databases have been recently proposed. However: i) their size is small, ii) they are not audiovisual, iii) only a small part is manually annotated, iv) they contain a small number of subjects, or v) they are not annotated for all main behavior tasks (valence-arousal estimation, action unit detection and basic expression classification). To address these, we substantially extend the largest available in-the-wild database (Aff-Wild) to study continuous emotions such as valence and arousal. Furthermore, we annotate parts of the database with basic expressions and action units. As a consequence, for the first time, this allows the joint study of all three types of behavior states. We call this database Aff-Wild2. We conduct extensive experiments with CNN and CNN-RNN architectures that use visual and audio modalities; these networks are trained on Aff-Wild2 and their performance is then evaluated on 10 publicly available emotion databases. We show that the networks achieve state-of-the-art performance for the emotion recognition tasks. Additionally, we adapt the ArcFace loss function in the emotion recognition context and use it for training two new networks on Aff-Wild2 and then re-train them in a variety of diverse expression recognition databases. The networks are shown to improve the existing state-of-the-art. The database, emotion recognition models and source code are available at http://ibug.doc.ic.ac.uk/resources/aff-wild2.


title: Video-Based Convolutional Attention for Person Re-Identification

abstract: In this paper we consider the problem of video-based person re-identification, which is the task of associating videos of the same person captured by different and non-overlapping cameras. We propose a Siamese framework in which video frames of the person to re-identify and of the candidate one are processed by two identical networks which produce a similarity score. We introduce an attention mechanisms to capture the relevant information both at frame level (spatial information) and at video level (temporal information given by the importance of a specific frame within the sequence). One of the novelties of our approach is given by a joint concurrent processing of both frame and video levels, providing in such a way a very simple architecture. Despite this fact, our approach achieves better performance than the state-of-the-art on the challenging iLIDS-VID dataset.


title: Sampling the "Inverse Set" of a Neuron: An Approach to Understanding Neural Nets

abstract: With the recent success of deep neural networks in computer vision, it is important to understand the internal working of these networks. What does a given neuron represent? The concepts captured by a neuron may be hard to understand or express in simple terms. The approach we propose in this paper is to characterize the region of input space that excites a given neuron to a certain level; we call this the inverse set. This inverse set is a complicated high dimensional object that we explore by an optimization-based sampling approach. Inspection of samples of this set by a human can reveal regularities that help to understand the neuron. This goes beyond approaches which were limited to finding an image which maximally activates the neuron or using Markov chain Monte Carlo to sample images, but this is very slow, generates samples with little diversity and lacks control over the activation value of the generated samples. Our approach also allows us to explore the intersection of inverse sets of several neurons and other variations.


title: Training-Free Uncertainty Estimation for Dense Regression: Sensitivity as a Surrogate

abstract: Uncertainty estimation is an essential step in the evaluation of the robustness for deep learning models in computer vision, especially when applied in risk-sensitive areas. However, most state-of-the-art deep learning models either fail to obtain uncertainty estimation or need significant modification (e.g., formulating a proper Bayesian treatment) to obtain it. Most previous methods are not able to take an arbitrary model off the shelf and generate uncertainty estimation without retraining or redesigning it. To address this gap, we perform a systematic exploration into training-free uncertainty estimation for dense regression, an unrecognized yet important problem, and provide a theoretical construction justifying such estimations. We propose three simple and scalable methods to analyze the variance of outputs from a trained network under tolerable perturbations: infer-transformation, infer-noise, and infer-dropout. They operate solely during the inference, without the need to re-train, re-design, or fine-tune the models, as typically required by state-of-the-art uncertainty estimation methods. Surprisingly, even without involving such perturbations in training, our methods produce comparable or even better uncertainty estimation when compared to training-required state-of-the-art methods.


title: The Detection of Distributional Discrepancy for Text Generation

abstract: The text generated by neural language models is not as good as the real text. This means that their distributions are different. Generative Adversarial Nets (GAN) are used to alleviate it. However, some researchers argue that GAN variants do not work at all. When both sample quality (such as Bleu) and sample diversity (such as self-Bleu) are taken into account, the GAN variants even are worse than a well-adjusted language model. But, Bleu and self-Bleu can not precisely measure this distributional discrepancy. In fact, how to measure the distributional discrepancy between real text and generated text is still an open problem. In this paper, we theoretically propose two metric functions to measure the distributional difference between real text and generated text. Besides that, a method is put forward to estimate them. First, we evaluate language model with these two functions and find the difference is huge. Then, we try several methods to use the detected discrepancy signal to improve the generator. However the difference becomes even bigger than before. Experimenting on two existing language GANs, the distributional discrepancy between real text and generated text increases with more adversarial learning rounds. It demonstrates both of these language GANs fail.


title: Generative One-Shot Face Recognition

abstract: One-shot face recognition measures the ability to identify persons with only seeing them at one glance, and is a hallmark of human visual intelligence. It is challenging for conventional machine learning approaches to mimic this way, since limited data are hard to effectively represent the data variance. The goal of one-shot face recognition is to learn a large-scale face recognizer, which is capable to fight off the data imbalance challenge. In this paper, we propose a novel generative adversarial one-shot face recognizer, attempting to synthesize meaningful data for one-shot classes by adapting the data variances from other normal classes. Specifically, we target at building a more effective general face classifier for both normal persons and one-shot persons. Technically, we design a new loss function by formulating knowledge transfer generator and a general classifier into a unified framework. Such a two-player minimax optimization can guide the generation of more effective data, which effectively promote the underrepresented classes in the learned model and lead to a remarkable improvement in face recognition performance. We evaluate our proposed model on the MS-Celeb-1M one-shot learning benchmark task, where we could recognize 94.98% of the test images at the precision of 99% for the one-shot classes, keeping an overall Top1 accuracy at $99.80\%$ for the normal classes. To the best of our knowledge, this is the best performance among all the published methods using this benchmark task with the same setup, including all the participants in the recent MS-Celeb-1M challenge at ICCV 2017\footnote{http://www.msceleb.org/challenge2/2017}.


title: Place Deduplication with Embeddings

abstract: Thanks to the advancing mobile location services, people nowadays can post about places to share visiting experience on-the-go. A large place graph not only helps users explore interesting destinations, but also provides opportunities for understanding and modeling the real world. To improve coverage and flexibility of the place graph, many platforms import places data from multiple sources, which unfortunately leads to the emergence of numerous duplicated places that severely hinder subsequent location-related services. In this work, we take the anonymous place graph from Facebook as an example to systematically study the problem of place deduplication: We carefully formulate the problem, study its connections to various related tasks that lead to several promising basic models, and arrive at a systematic two-step data-driven pipeline based on place embedding with multiple novel techniques that works significantly better than the state-of-the-art.


title: Vision-Based Autonomous Vehicle Control using the Two-Point Visual Driver Control Model

abstract: This work proposes a new self-driving framework that uses a human driver control model, whose feature-input values are extracted from images using deep convolutional neural networks (CNNs). The development of image processing techniques using CNNs along with accelerated computing hardware has recently enabled real-time detection of these feature-input values. The use of human driver models can lead to more "natural" driving behavior of self-driving vehicles. Specifically, we use the well-known two-point visual driver control model as the controller, and we use a top-down lane cost map CNN and the YOLOv2 CNN to extract feature-input values. This framework relies exclusively on inputs from low-cost sensors like a monocular camera and wheel speed sensors. We experimentally validate the proposed framework on an outdoor track using a 1/5th-scale autonomous vehicle platform.


title: Merging Virtual and Real Environments for Visualizing Seismic Hazards and Risk

abstract: Earthquake research in the last few decades has led to considerable advances in seismic hazard and risk modeling across academia, industry, and government. Technological advances such as high performance computing and visualization can further facilitate earthquake hazard and risk research. This work utilizes the CAVE of the Marquette Visualization Laboratory to visualize seismic hazards and risk by integrating hazard characterization, structural modeling, and emergency response. Building upon the framework of performance-based earthquake engineering, site-specific ground motions, which link seismic hazards to structural responses, serve as loading inputs to structural models. The resulting structural responses can then be translated into damage states of building elements in the immediate room environment based on fragility functions. To illustrate, we display a map of the Los Angeles region with ground motions for the Mw7.8 ShakeOut scenario, create a virtual room in a residential building subjected to such earthquake shaking, and simulate emergency response in this immersive environment. The illustrative visualization can be extended to various scenarios and help communicate site- and structure-specific hazards and risk to the general public.


title: Brain-inspired automated visual object discovery and detection

abstract: Despite significant recent progress, machine vision systems lag considerably behind their biological counterparts in performance, scalability, and robustness. A distinctive hallmark of the brain is its ability to automatically discover and model objects, at multiscale resolutions, from repeated exposures to unlabeled contextual data and then to be able to robustly detect the learned objects under various nonideal circumstances, such as partial occlusion and different view angles. Replication of such capabilities in a machine would require three key ingredients: (i) access to large-scale perceptual data of the kind that humans experience, (ii) flexible representations of objects, and (iii) an efficient unsupervised learning algorithm. The Internet fortunately provides unprecedented access to vast amounts of visual data. This paper leverages the availability of such data to develop a scalable framework for unsupervised learning of object prototypes--brain-inspired flexible, scale, and shift invariant representations of deformable objects (e.g., humans, motorcycles, cars, airplanes) comprised of parts, their different configurations and views, and their spatial relationships. Computationally, the object prototypes are represented as geometric associative networks using probabilistic constructs such as Markov random fields. We apply our framework to various datasets and show that our approach is computationally scalable and can construct accurate and operational part-aware object models much more efficiently than in much of the recent computer vision literature. We also present efficient algorithms for detection and localization in new scenes of objects and their partial views.


title: NASS-AI: Towards Digitization of Parliamentary Bills using Document Level Embedding and Bidirectional Long Short-Term Memory

abstract: There has been several reports in the Nigerian and International media about the Senators and House of Representative Members of the Nigerian National Assembly (NASS) being the highest paid in the world. Despite this high-level of parliamentary compensation and a lack of oversight, most of the legislative duties like bills introduced and vote proceedings are shrouded in mystery without an open and annotated corpus. In this paper, we present results from ongoing research on the categorization of bills introduced in the Nigerian parliament since the fourth republic (1999 - 2018). For this task, we employed a multi-step approach which involves extracting text from scanned and embedded pdfs with low to medium quality using Optical Character Recognition (OCR) tools and labeling them into eight categories. We investigate the performance of document level embedding for feature representation of the extracted texts before using a Bidirectional Long Short-Term Memory (Bi-LSTM) for our classifier. The performance was further compared with other feature representation and machine learning techniques. We believe that these results are well-positioned to have a substantial impact on the quest to meet the basic open data charter principles.


title: Automatic Segmentation of Muscle Tissue and Inter-muscular Fat in Thigh and Calf MRI Images

abstract: Magnetic resonance imaging (MRI) of thigh and calf muscles is one of the most effective techniques for estimating fat infiltration into muscular dystrophies. The infiltration of adipose tissue into the diseased muscle region varies in its severity across, and within, patients. In order to efficiently quantify the infiltration of fat, accurate segmentation of muscle and fat is needed. An estimation of the amount of infiltrated fat is typically done visually by experts. Several algorithmic solutions have been proposed for automatic segmentation. While these methods may work well in mild cases, they struggle in moderate and severe cases due to the high variability in the intensity of infiltration, and the tissue's heterogeneous nature. To address these challenges, we propose a deep-learning approach, producing robust results with high Dice Similarity Coefficient (DSC) of 0.964, 0.917 and 0.933 for muscle-region, healthy muscle and inter-muscular adipose tissue (IMAT) segmentation, respectively.


title: A Large-scale Study of Representation Learning with the Visual Task Adaptation Benchmark

abstract: Representation learning promises to unlock deep learning for the long tail of vision tasks without expensive labelled datasets. Yet, the absence of a unified evaluation for general visual representations hinders progress. Popular protocols are often too constrained (linear classification), limited in diversity (ImageNet, CIFAR, Pascal-VOC), or only weakly related to representation quality (ELBO, reconstruction error). We present the Visual Task Adaptation Benchmark (VTAB), which defines good representations as those that adapt to diverse, unseen tasks with few examples. With VTAB, we conduct a large-scale study of many popular publicly-available representation learning algorithms. We carefully control confounders such as architecture and tuning budget. We address questions like: How effective are ImageNet representations beyond standard natural datasets? How do representations trained via generative and discriminative models compare? To what extent can self-supervision replace labels? And, how close are we to general visual representations?


title: Estimating localized complexity of white-matter wiring with GANs

abstract: In-vivo examination of the physical connectivity of axonal projections through the white matter of the human brain is made possible by diffusion weighted magnetic resonance imaging (dMRI) Analysis of dMRI commonly considers derived scalar metrics such as fractional anisotrophy as proxies for "white matter integrity," and differences of such measures have been observed as significantly correlating with various neurological diagnosis and clinical measures such as executive function, presence of multiple sclerosis, and genetic similarity. The analysis of such voxel measures is confounded in areas of more complicated fiber wiring due to crossing, kissing, and dispersing fibers. Recently, Volz et al. introduced a simple probabilistic measure of the count of distinct fiber populations within a voxel, which was shown to reduce variance in group comparisons. We propose a complementary measure that considers the complexity of a voxel in context of its local region, with an aim to quantify the localized wiring complexity of every part of white matter. This allows, for example, identification of particularly ambiguous regions of the brain for tractographic approaches of modeling global wiring connectivity. Our method builds on recent advances in image inpainting, in which the task is to plausibly fill in a missing region of an image. Our proposed method builds on a Bayesian estimate of heteroscedastic aleatoric uncertainty of a region of white matter by inpainting it from its context. We define the localized wiring complexity of white matter as how accurately and confidently a well-trained model can predict the missing patch. In our results, we observe low aleatoric uncertainty along major neuronal pathways which increases at junctions and towards cortex boundaries. This directly quantifies the difficulty of lesion inpainting of dMRI images at all parts of white matter.


title: Inferring and Improving Street Maps with Data-Driven Automation

abstract: Street maps are a crucial data source that help to inform a wide range of decisions, from navigating a city to disaster relief and urban planning. However, in many parts of the world, street maps are incomplete or lag behind new construction. Editing maps today involves a tedious process of manually tracing and annotating roads, buildings, and other map features. Over the past decade, many automatic map inference systems have been proposed to automatically extract street map data from satellite imagery, aerial imagery, and GPS trajectory datasets. However, automatic map inference has failed to gain traction in practice due to two key limitations: high error rates (low precision), which manifest in noisy inference outputs, and a lack of end-to-end system design to leverage inferred data to update existing street maps. At MIT and QCRI, we have developed a number of algorithms and approaches to address these challenges, which we combined into a new system we call Mapster. Mapster is a human-in-the-loop street map editing system that incorporates three components to robustly accelerate the mapping process over traditional tools and workflows: high-precision automatic map inference, data refinement, and machine-assisted map editing. Through an evaluation on a large-scale dataset including satellite imagery, GPS trajectories, and ground-truth map data in forty cities, we show that Mapster makes automation practical for map editing, and enables the curation of map datasets that are more complete and up-to-date at less cost.


title: Road scenes analysis in adverse weather conditions by polarization-encoded images and adapted deep learning

abstract: Object detection in road scenes is necessary to develop both autonomous vehicles and driving assistance systems. Even if deep neural networks for recognition task have shown great performances using conventional images, they fail to detect objects in road scenes in complex acquisition situations. In contrast, polarization images, characterizing the light wave, can robustly describe important physical properties of the object even under poor illumination or strong reflections. This paper shows how non-conventional polarimetric imaging modality overcomes the classical methods for object detection especially in adverse weather conditions. The efficiency of the proposed method is mostly due to the high power of the polarimetry to discriminate any object by its reflective properties and on the use of deep neural networks for object detection. Our goal by this work, is to prove that polarimetry brings a real added value compared with RGB images for object detection. Experimental results on our own dataset composed of road scene images taken during adverse weather conditions show that polarimetry together with deep learning can improve the state-of-the-art by about 20% to 50% on different detection tasks.


title: Global visual localization in LiDAR-maps through shared 2D-3D embedding space

abstract: Global localization is an important and widely studied problem for many robotic applications. Place recognition approaches can be exploited to solve this task, e.g., in the autonomous driving field. While most vision-based approaches match an image w.r.t. an image database, global visual localization within LiDAR-maps remains fairly unexplored, even though the path toward high definition 3D maps, produced mainly from LiDARs, is clear. In this work we leverage Deep Neural Network (DNN) approaches to create a shared embedding space between images and LiDAR-maps, allowing for image to 3D-LiDAR place recognition. We trained a 2D and a 3D DNN that create embeddings, respectively from images and from point clouds, that are close to each other whether they refer to the same place. An extensive experimental activity is presented to assess the effectiveness of the approach w.r.t. different learning paradigms, network architectures, and loss functions. All the evaluations have been performed using the Oxford Robotcar Dataset, which encompasses a wide range of weather and light conditions.


title: Modeling Conceptual Understanding in Image Reference Games

abstract: An agent who interacts with a wide population of other agents needs to be aware that there may be variations in their understanding of the world. Furthermore, the machinery which they use to perceive may be inherently different, as is the case between humans and machines. In this work, we present both an image reference game between a speaker and a population of listeners where reasoning about the concepts other agents can comprehend is necessary and a model formulation with this capability. We focus on reasoning about the conceptual understanding of others, as well as adapting to novel gameplay partners and dealing with differences in perceptual machinery. Our experiments on three benchmark image/attribute datasets suggest that our learner indeed encodes information directly pertaining to the understanding of other agents, and that leveraging this information is crucial for maximizing gameplay performance.


title: IRAS 09002-4732: A Laboratory for the Formation of Rich Stellar Clusters

abstract: IRAS 09002-4732 is a poorly studied embedded cluster of stars in the Vela Molecular Ridge at a distance of 1.7kpc. Deep observations with the Chandra X-ray Observatory, combined with existing optical and infrared surveys, produce a catalog of 441 probable pre-main sequence members of the region. The stellar spatial distribution has two components: most stars reside in a rich, compact, elliptical cluster, but a minority reside within a molecular filament several parsecs long that straddles the cluster. The filament has active distributed star formation with dozens of unclustered protostars. The cluster pre-main sequence population is $\leq 0.8$ Myr old and deeply embedded; its most massive member is extremely young producing an ultracompact H II region. The cluster total population deduced from the X-ray luminosity function is surprisingly rich, twice that of the Orion Nebula Cluster. The cluster core is remarkably dense where strong N-body interactions should be occurring; its Initial Mass Function may be deficient in massive stars. We infer that IRAS 09002-4732 is a rare case where a rich cluster is forming today in a molecular filament, consistent with astrophysical models of cluster formation in clouds that involve the hierarchical formation and merging of groups in molecular filaments.


title: A Stereo Algorithm for Thin Obstacles and Reflective Objects

abstract: Stereo cameras are a popular choice for obstacle avoidance for outdoor lighweight, low-cost robotics applications. However, they are unable to sense thin and reflective objects well. Currently, many algorithms are tuned to perform well on indoor scenes like the Middlebury dataset. When navigating outdoors, reflective objects, like windows and glass, and thin obstacles, like wires, are not well handled by most stereo disparity algorithms. Reflections, repeating patterns and objects parallel to the cameras' baseline causes mismatches between image pairs which leads to bad disparity estimates. Thin obstacles are difficult for many sliding window based disparity methods to detect because they do not take up large portions of the pixels in the sliding window. We use a trinocular camera setup and micropolarizer camera capable of detecting reflective objects to overcome these issues. We present a hierarchical disparity algorithm that reduces noise, separately identify wires using semantic object triangulation in three images, and use information about the polarization of light to estimate the disparity of reflective objects. We evaluate our approach on outdoor data that we collected. Our method contained an average of 9.27% of bad pixels compared to a typical stereo algorithm's 18.4% of bad pixels in scenes containing reflective objects. Our trinocular and semantic wire disparity methods detected 53% of wire pixels, whereas a typical two camera stereo algorithm detected 5%.


title: FastEstimator: A Deep Learning Library for Fast Prototyping and Productization

abstract: As the complexity of state-of-the-art deep learning models increases by the month, implementation, interpretation, and traceability become ever-more-burdensome challenges for AI practitioners around the world. Several AI frameworks have risen in an effort to stem this tide, but the steady advance of the field has begun to test the bounds of their flexibility, expressiveness, and ease of use. To address these concerns, we introduce a radically flexible high-level open source deep learning framework for both research and industry. We introduce FastEstimator.


title: Wave polarisation and dynamic degeneracy in a chiral elastic lattice

abstract: This paper addresses fundamental questions arising in the theory of Bloch-Floquet waves in chiral elastic lattice systems. This area has received a significant attention in the context of "topologically protected" waveforms. Although practical applications of chiral elastic lattices are widely appreciated, especially in problems of controlling low-frequency vibrations, wave polarisation and filtering, the fundamental questions of the relationship of these lattices to classical waveforms associated with longitudinal and shear waves retain a substantial scope for further development. The notion of chirality is introduced into the systematic analysis of dispersive elastic waves in a doubly-periodic lattice. Important quantitative characteristics of the dynamic response of the lattice, such as lattice flux and lattice circulation, are used in the analysis along with the novel concept of "vortex waveforms" that characterise the dynamic response of the chiral system. We note that the continuum concepts of pressure and shear waves do not apply for waves in a lattice, especially in the case when the wavelength is comparable with the size of the elementary cell of the periodic structure. Special critical regimes are highlighted when vortex waveforms become dominant. Analytical findings are accompanied by illustrative numerical simulations.


title: Bit Efficient Quantization for Deep Neural Networks

abstract: Quantization for deep neural networks have afforded models for edge devices that use less on-board memory and enable efficient low-power inference. In this paper, we present a comparison of model-parameter driven quantization approaches that can achieve as low as 3-bit precision without affecting accuracy. The post-training quantization approaches are data-free, and the resulting weight values are closely tied to the dataset distribution on which the model has converged to optimality. We show quantization results for a number of state-of-art deep neural networks (DNN) using large dataset like ImageNet. To better analyze quantization results, we describe the overall range and local sparsity of values afforded through various quantization schemes. We show the methods to lower bit-precision beyond quantization limits with object class clustering.


title: Pathways connecting two opposed bilayers with a fusion pore: A molecularly-informed phase field approach

abstract: A phase field model with two phase fields, representing the concentration and the head-tail separation of amphiphilic molecules, respectively, has been constructed using an extension of the Ohta-Kawasaki model (Macromolecules 19, 2621-2632 (1986)). It is shown that this molecularly-informed phase field model is capable of producing various self-assembled amphiphilic aggregates, such as bilayers, vesicles and micelles. Furthermore, pathways connecting two opposed bilayers with a fusion pore are obtained by using a combination of the phase field model and the string method. Multiple fusion pathways, including a classical pathway and a leaky pathway, have been obtained depending on the initial separation of the two bilayers. The study shed light to the understanding of membrane fusion pathways and, more importantly, laid a foundation for further investigation of more complex membrane morphologies and transitions.


title: Predicting Auction Price of Vehicle License Plate with Deep Residual Learning

abstract: Due to superstition, license plates with desirable combinations of characters are highly sought after in China, fetching prices that can reach into the millions in government-held auctions. Despite the high stakes involved, there has been essentially no attempt to provide price estimates for license plates. We present an end-to-end neural network model that simultaneously predict the auction price, gives the distribution of prices and produces latent feature vectors. While both types of neural network architectures we consider outperform simpler machine learning methods, convolutional networks outperform recurrent networks for comparable training time or model complexity. The resulting model powers our online price estimator and search engine.


title: On the uncertainty principle in Rindler and Friedmann spacetimes

abstract: We revise the extended uncertainty relations for the Rindler and Friedmann spacetimes recently discussed by Dabrowski and Wagner in [9]. We reveal these results to be coordinate dependent expressions of the invariant uncertainty relations recently derived for general 3-dimensional spaces of constant curvature in [10]. Moreover, we show that the non-zero minimum standard deviations of the momentum in [9] are just artifacts caused by an unfavorable choice of coordinate systems which can be removed by standard arguments of geodesic completion.


title: Evaluating Quantum Approximate Optimization Algorithm: A Case Study

abstract: Quantum Approximate Optimization Algorithm (QAOA) is one of the most promising quantum algorithms for the Noisy Intermediate-Scale Quantum (NISQ) era. Quantifying the performance of QAOA in the near-term regime is of utmost importance. We perform a large-scale numerical study of the approximation ratios attainable by QAOA is the low- to medium-depth regime. To find good QAOA parameters we perform 990 million 10-qubit QAOA circuit evaluations. We find that the approximation ratio increases only marginally as the depth is increased, and the gains are offset by the increasing complexity of optimizing variational parameters. We observe a high variation in approximation ratios attained by QAOA, including high variations within the same class of problem instances. We observe that the difference in approximation ratios between problem instances increases as the similarity between instances decreases. We find that optimal QAOA parameters concentrate for instances in out benchmark, confirming the previous findings for a different class of problems.


title: Remote Control: A Simple Deadlock Avoidance Scheme for Modular System on Chip

abstract: The increase in design cost and complexity have motivated designers to adopt modular design of System on Chip (SoC) by integrating independently designed small chiplets. However, it introduces new challenges for correctness validation, increasing chances of forming deadlock in the system involving multiple chiplets. Although there have been many solutions available for deadlock freedom in flat networks, the study on deadlock issue in chiplet-based systems is still in its infancy. A recent study suggests adding extra turn restrictions as a viable solution for this problem. However, imposing extra turn restrictions reduces chiplet design flexibility and interposer design complexity. In addition, it may lead to non-minimal route and traffic imbalance forming hotspots, resulting in high latency and low throughput. We propose Remote Control (RC), a simple routing oblivious deadlock avoidance scheme. Our proposal is based on two key observations. First, packets with destinations in the current chiplet are blocked by packets with destinations outside the chiplet. Second, deadlock always involves multiple boundary routers. Hence, we segregate different traffics to alleviate mutual blocking at the chiplet's boundary routers. Along with guarantee of deadlock freedom and performance enhancements, our simple RC scheme also provides more routing flexibility to both chiplet and SoC designers, as compared to the state-of-the-art.


title: Latent Dirichlet Analysis of Categorical Survey Responses

abstract: Beliefs are important determinants of an individual's choices and economic outcomes, so understanding how they comove and differ across individuals is of considerable interest. Researchers often rely on surveys that report individual beliefs as qualitative data. We propose using a Bayesian hierarchical latent class model to analyze the comovements and observed heterogeneity in categorical survey responses. We show that the statistical model corresponds to an economic structural model of information acquisition, which guides interpretation and estimation of the model parameters. An algorithm based on stochastic optimization is proposed to estimate a model for repeated surveys when responses follow a dynamic structure and conjugate priors are not appropriate. Guidance on selecting the number of belief types is also provided. Two examples are considered. The first shows that there is information in the Michigan survey responses beyond the consumer sentiment index that is officially published. The second shows that belief types constructed from survey responses can be used in a subsequent analysis to estimate heterogeneous returns to education.


title: Time-Domain Boundary Integral Methods in Linear Thermoelasticity

abstract: This paper is concerned with the application of time domain boundary integral methods(TDBIMs) to a non-stationary boundary value problem for the thermo-elasto-dynamic equations, based on the Lubich approach via the Laplace transform. Fundamental solutions of the transformed thermo-elasto-dynamic equations are constructed explicitly by the H\"{o}rmander method. Simple- and double-layer potential boundary integral operators are introduced in the transformed domain and their coercivity is established. Based on the estimates of various boundary integral operators in the transformed domain, existence and uniqueness results of solutions are established in the time domain. These results may serve as a mathematical foundation for the semi-discretization and full-discretization schemes based on the boundary element method and convolution quadrature method for time domain boundary integral equations arising in thermoelasticity.


title: Towards a first measurement of the free neutron bound beta decay detecting hydrogen atoms at a throughgoing beamtube in a high flux reactor

abstract: In addition to the common 3-body decay of the neutron $n\rightarrow p e^-\overline{\nu_e}$ there should exist an effective 2-body subset with the electron and proton forming a Hydrogen bound state with well defined total momentum, total spin and magnetic quantum numbers. The atomic spectroscopic analysis of this bound system can reveal details about the underlying weak interaction as it mirrors the helicity distributions of all outgoing particles. Thus, it is unique in the information it carries, and an experiment unravelling this information is an analogue to the Goldhaber experiment performed more than 60 years ago. The proposed experiment will search for monoenergetic metastable BoB H atoms with 326 eV kinetic energy, which are generated at the center of a throughgoing beamtube of a high-flux reactor (e.g., at the PIK reactor, Gatchina). Although full spectroscopic information is needed to possibly reveal new physics our first aim is to prove the occurrence of this decay and learn about backgrounds. Key to the detection is the identification of a monoerergtic line of hydrogen atoms occurring at a rate of about 1 $\rm{s}^{-1}$ in the environment of many hydrogen atoms, however having a thermal distribution of about room temperature. Two scenarios for velocity (energy) filtering are discussed in this paper. The first builds on an purely electric chopper system, in which metastable hydrogen atoms are quenched to their ground state and thus remain mostly undetectable. This chopper system employs fast switchable Bradbury Nielsen gates. The second method exploits a strongly energy dependent charge exchange process of metastable hydrogen picking up an electron while traversing an argon filled gas cell, turning it into manipulable charged hydrogen. The final detection of hydrogen occurs through multichannel plate (MCP) detector.


title: The Heavy Photon Search Experiment

abstract: The Heavy Photon Search (HPS) experiment searches for an electro-produced dark photon using an electron beam provided by the CEBAF accelerator at the Thomas Jefferson National Accelerator Facility. HPS has successfully completed two engineering runs. In 2015 using a 1.056 GeV, 50 nA electron beam, 1.7 days (10 mC) of data was obtained and 5.4 days (92.5 mC) of data was collected in 2016 using a 2.3 GeV, 200 nA electron beam. In addition, HPS will complete its first physics run in the summer of 2019. HPS looks for dark photons through two distinct methods, a resonance search in the $e^{+}e^{-}$ invariant mass distribution above the large QED background (large dark photon-SM particles coupling region) and a displaced vertex search for long-lived dark photons (small coupling region). HPS employs a compact spectrometer, matched to the forward kinematic characteristics of A$^\prime$ electro-production. The detector consists of a silicon tracker for momentum analysis and vertexing and a lead tungstate (PbWO$_4$) electromagnetic calorimeter for particle ID and triggering. Both analyses are complete for the 2015 engineering run and demonstrate the full functionality of the experiment that will probe hitherto unexplored parameter space with higher luminosity runs. Results from the 2015 dataset will be presented as well as an update on 2016 analysis and the status of the 2019 physics run.


title: Visual Natural Language Query Auto-Completion for Estimating Instance Probabilities

abstract: We present a new task of query auto-completion for estimating instance probabilities. We complete a user query prefix conditioned upon an image. Given the complete query, we fine tune a BERT embedding for estimating probabilities of a broad set of instances. The resulting instance probabilities are used for selection while being agnostic to the segmentation or attention mechanism. Our results demonstrate that auto-completion using both language and vision performs better than using only language, and that fine tuning a BERT embedding allows to efficiently rank instances in the image. In the spirit of reproducible research we make our data, models, and code available.


title: Induced Fermionic vacuum polarization in dS spacetime with a compactified cosmic string

abstract: We study the fermionic condensate (FC) and the vacuum expectation value (VEV) of the energy-momentum tensor for a massive spinor field in the de Sitter (dS) spacetime including an ideal cosmic string. In addition, spatial dimension along the string is compactified to a circle of length $L$. The fermionic field is assumed to obey quasi-periodic condition along the $z$-axis. There are also magnetic fluxes running along the cosmic string and enclosed by the compact dimension. Both, the FC and the VEV of the energy-momentum tensor, are decomposed into two parts: one induced by the cosmic string in dS spacetime considering the absence of the compactification, and another one induced by the compactification. In particular, we show that the FC vanishes for a massless fermionic field.


title: The concept of induced surface and curvature tensions and a unified description of the gas of hard discs and hard spheres

abstract: Mathematically rigorous derivation of the hadron matter equation of state within the induced surface and curvature tensions approach is worked out. Such an equation of state allows one to go beyond the Van der Waals approximation for the interaction potential of hard spheres. The compressibility of a single- and two-component hadron mixtures are found for two- and three-dimensional cases. The obtained results are compared to the well known one- and two-component equations of state of hard spheres and hard discs. The values of the model parameters which successfully reproduce the above-mentioned equations of state on different intervals of packing fractions are determined from fitting their compressibility factors. It is argued that after some modification the developed approach can be also used to describe the mixtures of gases of convex hard particles of different sizes and shapes.


title: Mass and star formation rate of the host galaxies of compact binary mergers across cosmic time

abstract: We investigate the properties of the host galaxies of compact binary mergers across cosmic time, by means of population-synthesis simulations combined with galaxy catalogues from the EAGLE suite. We analyze the merger rate per galaxy of binary neutron stars (BNSs), black hole--neutron star binaries (BHNSs) and binary black holes (BBHs) from redshift zero up to redshift six. The binary merger rate per galaxy strongly correlates with the stellar mass of the host galaxy at any redshift considered here. This correlation is significantly steeper for BNSs than for both BHNSs and BBHs. Moreover, we find that the merger rate per galaxy depends also on host galaxy's star formation rate and metallicity. We derive a robust fitting formula that relates the merger rate per galaxy with galaxy's star formation rate, stellar mass and metallicity at different redshifts. The typical masses of the host galaxies increase significantly as redshift decreases, as a consequence of the interplay between delay time distribution of compact binaries and cosmic assembly of galaxies. Finally, we study the evolution of the merger rate density with redshift. At low redshift ($z\leq{}0.1$) early-type galaxies give a larger contribution to the merger rate density than late-type galaxies. This trend reverts at $z\ge{}1$.

categories: astro-ph.GA astro-ph.CO astro-ph.HE astro-ph.SR


title: Implementing evaluation strategies for continuous real functions

abstract: We give a technical overview of our exact-real implementation of various representations of the space of continuous unary real functions over the unit domain and a family of associated (partial) operations, including integration, range computation, as well as pointwise addition, multiplication, division, sine, cosine, square root and maximisation. We use several representations close to the usual theoretical model, based on an oracle that evaluates the function at a point or over an interval. We also include several representations based on an oracle that computes a converging sequence of rigorous (piecewise or one-piece) polynomial and rational approximations over the whole unit domain. Finally, we describe "local" representations that combine both approaches, i.e. oracle-like representations that return a rigorous symbolic approximation of the function over a requested interval sub-domain with a requested effort. See also our paper "Representations and evaluation strategies for feasibly approximable functions" which compares the efficiency of these representations and algorithms and also formally describes and analyses one of the key algorithms, namely a polynomial-time division of functions in a piecewise-polynomial representation. We do not reproduce this division algorithm here.


title: Backfolded acoustic phonons in metal-oxide superlattices

abstract: We report the observation of low-frequency modes in the Raman spectra of thin-film superlattices of the high-temperature superconductor YBa$ _{2} $Cu$ _{3} $O$ _{7-\delta} $ and various manganite perovskites. Our study shows that these modes are caused by the backfolding of acoustic phonons due to the additional periodicity introduced by the superlattice. Such modes were previously only observed for ultra-pure semiconductor superlattices. They can be used to determine the bilayer thickness of the superlattice and its speed of sound. Moreover, we use the spatial resolution of Raman microscopy to map the film thickness inhomogeneity across a sample, making these modes a useful tool to characterize thin-film superlattices.


title: Dynamical regimes of ultrafast kinematic vortices in the resistive state of mesoscopic superconductors

abstract: A superconducting state coexists with static electrical fields under the formation of phase-slips and kinematic vortices (kV 's). Besides that, such a resistive state installed in the superconductor is not desirable in many applications. Then, it is essential to know the ultrafast kV dynamics for controlling the fluxonics of the system. Thus, in this work, we studied the dynamics of the kV 's in a mesoscopic superconductor under the influence of external magnetic fields (H) and transport currents (Jtr). As a result, the kV dynamics are affected by increasing H. With those significant changes, it was possible to build a Jtr(H) phase diagram. There, in between the Meissner and the normal states, the kV 's present three distinct behaviors. For high fields, the vortices behave as Abrikosov-like ones, with velocities two orders of magnitude lower than those at low fields regime. Besides that, one demonstrates how the interplay between Jtr and the shielding currents, its controlled by H, allowing for some quantitative predictions of boundaries in the phase diagram. Additionally, for H's where only a kV is nucleated, for tenths of picoseconds, a surface barrier effect acts over the instantaneous velocity of the kV.


title: Multi-Scale Perturbation Theory I: Methodology and Leading-Order Bispectrum Corrections in the Matter-Dominated Era

abstract: Two-parameter perturbation theory is a scheme tailor-made to consistently include nonlinear density contrasts on small scales ($<100\; \mathrm{Mpc}$), whilst retaining a traditional approach to cosmological perturbations in the long-wavelength universe. In this paper we study the solutions that arise from this theory in a spatially-flat dust-filled cosmology, and what these imply for the bispectrum of matter. This is achieved by using Newtonian perturbation theory to model the gravitational fields of nonlinear structures in the quasi-linear regime, and then using the resulting solutions as source terms for the cosmological equations. We find that our approach results in the leading-order part of the cosmological gravitational potentials being identical to those that result from standard cosmological perturbation theory at second-order, while the dark matter bispectrum itself yields some differences on Hubble scales. This demonstrates that our approach is sufficient to capture most leading-order relativistic effects, but within a framework that is far easier to generalize. We expect this latter property to be particularly useful for calculating leading-order relativistic corrections to the matter power spectrum, as well as for deriving predictions for relativistic effects in alternative theories of gravity.


title: PROFET: Construction and Inference of DBNs Based on Mathematical Models

abstract: This paper presents, evaluates, and discusses a new software tool to automatically build Dynamic Bayesian Networks (DBNs) from ordinary differential equations (ODEs) entered by the user. The DBNs generated from ODE models can handle both data uncertainty and model uncertainty in a principled manner. The application, named PROFET, can be used for temporal data mining with noisy or missing variables. It enables automatic re-estimation of model parameters using temporal evidence in the form of data streams. For temporal inference, PROFET includes both standard fixed time step particle filtering and its extension, adaptive-time particle filtering algorithms. Adaptive-time particle filtering enables the DBN to automatically adapt its time step length to match the dynamics of the model. We demonstrate PROFET's functionality by using it to infer the model variables by estimating the model parameters of four benchmark ODE systems. From the generation of the DBN model to temporal inference, the entire process is automated and is delivered as an open-source platform-independent software application with a comprehensive user interface. PROFET is released under the Apache License 2.0. Its source code, executable and documentation are available at http:://profet.it.nuigalway.ie.


title: Monomial invariants applied to graph coloring

abstract: This article is built upon three main ideas. First, for a class of monomial ideals, it is proven that the multiplicity of an ideal equals the number of realizations of its codimension (an intuitive concept that we define later). Next, for an arbitrary graph G, we construct a monomial ideal M_G, and show that the chromatic number of G is equal to the codimension of M_G. Finally, for a class of graphs, we give a formula that computes the chromatic polynomial of G, evaluated at the chromatic number of G, in terms of the codimension and multiplicity of M_G. In particular, the formula applies to all graphs satisfying the Erdos-Faber-Lov\'asz conjecture.


title: A $p$-DG deformed Webster algebra of type $A_1$

abstract: We define a $p$-DG structure on a deformation of Webster algebra of type $A_1$ and its splitter bimodules.


title: Nuclearity of semigroup C*-algebras

abstract: We study the semigroup C*-algebra of a positive cone P of a weakly quasi-lattice ordered group. That is, P is a subsemigroup of a discrete group G with P\cap P^{-1}=\{e\} and such that any two elements of P with a common upper bound in P also have a least upper bound. We find sufficient conditions for the semigroup C*-algebra of P to be nuclear. These conditions involve the idea of a generalised length function, called a "controlled map", into an amenable group. Here we give a new definition of a controlled map and discuss examples from different sources. We apply our main result to establish nuclearity for semigroup C*-algebras of a class of one-relator semigroups, motivated by a recent work of Li, Omland and Spielberg. This includes all the Baumslag--Solitar semigroups. We also analyse semidirect products of weakly quasi-lattice ordered groups and use our theorem in examples to prove nuclearity of the semigroup C*-algebra. Moreover, we prove that the graph product of weak quasi-lattices is again a weak quasi-lattice, and show that the corresponding semigroup C*-algebra is nuclear when the underlying groups are amenable.


title: Young stars raining through the Galactic Halo: the nature and orbit of Price-Whelan 1

abstract: We present radial velocities for five member stars of the recently discovered young (age= 100-150 Myr) stellar system Price-Whelan 1 (PW 1), that is located far away in the Galactic Halo (D~ 29 kpc, Z~ 15 kpc), and that is probably associated to the Leading Arm (LA) of the Magellanic Stream. We measure the systemic radial velocity of PW 1, V_r=275 +/- 10 km/s, significantly larger than the velocity of the LA gas in the same direction. We re-discuss the main properties and the origin of this system in the light of these new observations, computing the orbit of the system and comparing its velocity with that of the HI in its surroundings. We show that the bulk of the gas at the velocity of the stars is more than 10 deg (5~kpc) away from PW 1 and the velocity difference between the gas and the stars become larger as gas closer to the stars is considered. We discuss the possibilities that (a) the parent gas cloud was dissolved by the interaction with the Galactic gas, and (b) that the parent cloud is the high velocity cloud HVC287.5+22.5+240, lagging behind the stellar system by ~25 km/s and ~10 deg.


title: Online control of the familywise error rate

abstract: Biological research often involves testing a growing number of null hypotheses as new data is accumulated over time. We study the problem of online control of the familywise error rate (FWER), that is testing an apriori unbounded sequence of hypotheses (p-values) one by one over time without knowing the future, such that with high probability there are no false discoveries in the entire sequence. This paper unifies algorithmic concepts developed for offline (single batch) FWER control and online false discovery rate control to develop novel online FWER control methods. Though many offline FWER methods (e.g. Bonferroni, fallback procedures and Sidak's method) can trivially be extended to the online setting, our main contribution is the design of new, powerful, adaptive online algorithms that control the FWER when the p-values are independent or locally dependent in time. Our experiments demonstrate substantial gains in power, that are also formally proved in a Gaussian sequence model. Multiple testing, FWER control, online setting.


title: Dodelson-Widrow Mechanism In the Presence of Self-Interacting Neutrinos

abstract: keV-scale gauge-singlet fermions, allowed to mix with the active neutrinos, are elegant dark matter (DM) candidates. They are produced in the early universe via the Dodelson-Widrow mechanism and can be detected as they decay very slowly, emitting X-rays. In the absence of new physics, this hypothesis is virtually ruled out by astrophysical observations. Here, we show that new interactions among the active neutrinos allow these sterile neutrinos to make up all the DM while safely evading all current experimental bounds. The existence of these new neutrino interactions may manifest itself in next-generation experiments, including DUNE.


title: Invariant probabilities for discrete time Linear Dynamics via Thermodynamic Formalism

abstract: We show the existence of invariant ergodic $\sigma$-additive probability measures with full support on $X$ for a class of linear operators $L: X \to X$, where $L$ is a weighted shift operator and $X$ either is the Banach space $c_0(\mathbb{R})$ or $l^p(\mathbb{R})$ for $1\leq p<\infty$. In order to do so, we adapt ideas from Thermodynamic Formalism as follows. For a given bounded H\"older continuous potential $A:X \to \mathbb{R}$, we define a transfer operator $\mathcal{L}_A$ which acts on continuous functions on $X$ and prove that this operator satisfies a Ruelle-Perron-Frobenius theorem. That is, we show the existence of an eigenfunction for $\mathcal{L}_A$ which provides us with a normalized potential $\overline{A}$ and an action of the dual operator $\mathcal{L}_{\overline{A}}^*$ on the $1$-Wasserstein space of probabilities on $X$ with a unique fixed point, to which we refer to as Gibbs probability. It is worth noting that the definition of $\mathcal{L}_A$ requires an {\it a priori} probability on the kernel of $L$. These results are extended to a wide class of operators with a non-trivial kernel defined on separable Banach spaces.


title: Coloring the Black Box: Visualizing neural network behavior with a self-introspective model

abstract: The following work presents how autoencoding all the possible hidden activations of a network for a given problem can provide insight about its structure, behavior, and vulnerabilities. The method, termed self-introspection, can show that a trained model showcases similar activation patterns (albeit randomly distributed due to initialization) when shown data belonging to the same category, and classification errors occur in fringe areas where the activations are not as clearly defined, suggesting some form of random, slowly varying, implicit encoding occurring within deep networks, that can be observed with this representation. Additionally, obtaining a low-dimensional representation of all the activations allows for (1) real-time model evaluation in the context of a multiclass classification problem, (2) the rearrangement of all hidden layers by their relevance in obtaining a specific output, and (3) the obtainment of a framework where studying possible counter-measures to noise and adversarial attacks is possible. Self-introspection can show how damaged input data can modify the hidden activations, producing an erroneous response. A few illustrative are implemented for feedforward and convolutional models and the MNIST and CIFAR-10 datasets, showcasing its capabilities as a model evaluation framework.


title: Semialgebraic methods and generalized sum-product phenomena

abstract: For a bivariate $P(x,y) \in \mathbb{R}[x,y]\setminus (\mathbb{R}[x] \cup \mathbb{R}[y])$, our first result shows that for all finite $A \subseteq \mathbb{R}$, $|P(A,A)|\geq \alpha|A|^{5/4}$ with $\alpha =\alpha(\mathrm{deg} P) \in \mathbb{R}^{>0}$ unless $$ P(x,y)=f(\gamma u(x)+\delta u(y)) \text{ or } P(x,y)=f(u^m(x)u^n(y)) $$ for some univariate $f, u \in \mathbb{R}[t]\setminus \mathbb{R}$, constants $\gamma, \delta \in \mathbb{R}^{\neq 0}$, and $m, n\in \mathbb{N}^{\geq 1}$. This resolves the symmetric nonexpanders classification problem proposed by de Zeeuw. Our second and third results are sum-product type theorems for two polynomials, generalizing the classical result by Erdos and Szemer\'edi as well as a theorem by Shen. We also obtained similar results for $\mathbb{C}$, and from this deduce results for fields of characteristic $0$ and fields of large prime characteristic. The proofs of our results use tools from semialgebraic/o-minimal geometry.


title: Localization of the first eigenfunction of a convex domain

abstract: We study the first Dirichlet eigenfunction of the Laplacian in a $n$-dimensional convex domain. For domains of a fixed inner radius, estimates of Chiti imply that the ratio of the $L^2$-norm and $L^{\infty}$-norm of the eigenfunction is minimized when the domain is a ball. However, when the eccentricity of the domain is large the eigenfunction should spread out at a certain scale and this ratio should increase. We make this precise by obtaining a lower bound on the $L^2$-norm of the eigenfunction and show that the eigenfunction cannot localize to too small a subset of the domain. As a consequence, we settle a conjecture of van den Berg, in the general $n$-dimensional case. The main feature of the proof is to obtain sufficiently sharp estimates on the first eigenvalue in order to estimate the first derivatives of the eigenfunction.


title: Hindsight Analysis of the Chicago Food Inspection Forecasting Model

abstract: The Chicago Department of Public Health (CDPH) conducts routine food inspections of over 15,000 food establishments to ensure the health and safety of their patrons. In 2015, CDPH deployed a machine learning model to schedule inspections of establishments based on their likelihood to commit critical food code violations. The City of Chicago released the training data and source code for the model, allowing anyone to examine the model. We provide the first independent analysis of the model, the data, the predictor variables, the performance metrics, and the underlying assumptions. We present a summary of our findings, share lessons learned, and make recommendations to address some of the issues our analysis unearthed.


title: Metastability-Resilient Synchronization FIFO for SFQ Logic

abstract: Digital single-flux quantum (SFQ) technology promises to meet the demands of ultra low power and high speed computing needed for future exascale supercomputing systems. The combination of ultra high clock frequencies, gate-level pipelines, and numerous sources of variability in SFQ circuits, however, make low-skew global clock distribution a challenge. This motivates the support of multiple independent clock domains and related clock domain crossing circuits that enable reliable communication across domains. Existing J-SIM simulation models indicate that setup violations can cause clock-to-Q increases of up to 100%. This paper first shows that naive SFQ clock domain crossing (CDC) first-in-first-out buffers (FIFOs) are vulnerable to these delay increases, motivating the need for more robust CDC FIFOs. Inspired by CMOS multi-flip-flop asynchronous FIFO synchronizers, we then propose a novel 1-bit metastability-resilient SFQ CDC FIFO that simulations show delivers over a 1000 reduction in logical error rate at 30 GHz. Moreover, for a 10-stage FIFO, the Josephson junction (JJ) area of our proposed design is only 7.5% larger than the non-resilient counterpart. Finally, we propose design guidelines that define the minimal FIFO depth subject to both throughput and burstiness constraints.


title: A many-body Fredholm index for ground state spaces and Abelian anyons

abstract: We propose a many-body index that extends Fredholm index theory to many-body systems. The index is defined for any charge-conserving system with a topologically ordered $p$-dimensional ground state sector. The index is fractional with the denominator given by $p$. In particular, this yields a new short proof of the quantization of the Hall conductance and of Lieb-Schulz-Mattis theorem. In the case that the index is non-integer, the argument provides an explicit construction of Wilson loop operators exhibiting a non-trivial braiding and that can be used to create fractionally charged Abelian anyons.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Dealing with Stochasticity in Biological ODE Models

abstract: Mathematical modeling with Ordinary Differential Equations (ODEs) has proven to be extremely successful in a variety of fields, including biology. However, these models are completely deterministic given a certain set of initial conditions. We convert mathematical ODE models of three benchmark biological systems to Dynamic Bayesian Networks (DBNs). The DBN model can handle model uncertainty and data uncertainty in a principled manner. They can be used for temporal data mining for noisy and missing variables. We apply Particle Filtering algorithm to infer the model variables by re-estimating the models parameters of various biological ODE models. The model parameters are automatically re-estimated using temporal evidence in the form of data streams. The results show that DBNs are capable of inferring the model variables of the ODE model with high accuracy in situations where data is missing, incomplete, sparse and irregular and true values of model parameters are not known.


title: Threshold Logic in a Flash

abstract: This paper describes a novel design of a threshold logic gate (a binary perceptron) and its implementation as a standard cell. This new cell structure, referred to as flash threshold logic (FTL), uses floating gate (flash) transistors to realize the weights associated with a threshold function. The threshold voltages of the flash transistors serve as a proxy for the weights. An FTL cell can be equivalently viewed as a multi-input, edge-triggered flipflop which computes a threshold function on a clock edge. Consequently, it can be used in the automatic synthesis of ASICs. The use of flash transistors in the FTL cell allows programming of the weights after fabrication, thereby preventing discovery of its function by a foundry or by reverse engineering. This paper focuses on the design and characteristics of the FTL cell. We present a novel method for programming the weights of an FTL cell for a specified threshold function using a modified perceptron learning algorithm. The algorithm is further extended to select weights to maximize the robustness of the design in the presence of process variations. The FTL circuit was designed in 40nm technology and simulations with layout-extracted parasitics included, demonstrate significant improvements in the area (79.7%), power (61.1%), and performance (42.5%) when compared to the equivalent implementations of the same function in conventional static CMOS design. Weight selection targeting robustness is demonstrated using Monte Carlo simulations. The paper also shows how FTL cells can be used for fixing timing errors after fabrication.


title: Truly Subcubic Min-Plus Product for Less Structured Matrices, with Applications

abstract: The goal of this paper is to get truly subcubic algorithms for Min-Plus product for less structured inputs than what was previously known, and to apply them to versions of All-Pairs Shortest Paths (APSP) and other problems. The results are as follows: (1) Our main result is the first truly subcubic algorithm for the Min-Plus product of two $n\times n$ matrices $A$ and $B$ with $\text{polylog}(n)$ bit integer entries, where $B$ has a partitioning into $n^{\epsilon}\times n^{\epsilon}$ blocks (for any $\epsilon>0$) where each block is at most $n^\delta$-far (for $\delta<3-\omega$, where $2\leq \omega<2.373$) in $\ell_\infty$ norm from a constant rank integer matrix. This result presents the most general case to date of Min-Plus product that is solvable in truly subcubic time. (2) The first application of our main result is a truly subcubic algorithm for APSP in a new type of geometric graph. Our result extends the result of Chan'10 in the case of integer edge weights by allowing the weights to differ from a function of the end-point identities by at most $n^\delta$ for small $\delta$. (3) In the second application we consider a batch version of the range mode problem in which one is given a length $n$ sequence and $n$ contiguous subsequences, and one is asked to compute the range mode of each subsequence. We give the first $O(n^{1.5-\epsilon})$ time for $\epsilon>0$ algorithm for this batch range mode problem. (4) Our final application is to the Maximum Subarray problem: given an $n\times n$ integer matrix, find the contiguous subarray of maximum entry sum. We show that Maximum Subarray can be solved in truly subcubic, $O(n^{3-\epsilon})$ (for $\epsilon>0$) time, as long as the entries are no larger than $O(n^{0.62})$ in absolute value. We also improve all the known conditional hardness results for the $d$-dimensional variant of Maximum Subarray.


title: Physical parameters of the torus for the type 2 Seyfert IC 5063 from mid-IR and X-ray simultaneous spectral fitting

abstract: In order to understand the diversity of classes observed in active galactic nuclei (AGN), a geometrically and optically thick torus of gas and dust is required to obscure the central engine depending on the line of sight to the observer. We perform a simultaneous fitting of X-ray and mid-infrared (mid-IR) spectra to investigate if the same structure could produce both emissions and, if this the case, to obtain better constraints for the physical parameters of the torus. In this case, we take advantage of the fact that both emissions show important signatures of obscuration. We used the nearby type-2 active nucleus IC 5063 as a test object. This object is ideal because of the wealth of archival data including some high resolution data. It also has a relatively high AGN luminosity that dominates at both X-ray and mid-IR frequencies. We use high spectral resolution NuSTAR and IRS/Spitzer spectra. The AGN dusty models used several physically motivated models. We found that the combination of the smooth torus models at mid-IR by Fritz et al. (2006) and at X-rays by Balokovi\'c et al. (2018), with the viewing and half-opening angles linked to the same value, is the best choice to fit the spectra at both wavelengths. This allows us to determine all the parameters of its torus. This result suggests that the structure producing the continuum emission at mid-IR and the reflection component at X-ray is the same. Therefore, we prove that this technique can be used to infer the physical properties of the torus, at least when AGN dust dominates the mid-IR emission and the reflection component is significant at X-rays.


title: Phonon Transport within Periodic Porous Structures -- From Classical Phonon Size Effects to Wave Effects

abstract: Tailoring thermal properties with nanostructured materials can be of vital importance for many applications. Generally classical phonon size effects are employed to reduce the thermal conductivity, where strong phonon scattering by nanostructured interfaces or boundaries can dramatically supress the heat conduction. When these boundaries or interfaces are arranged in a periodic pattern, coherent phonons may have interference and modify the phonon dispersion, leading to dramatically reduced thermal conductivity. Such coherent phonon transport has been widely studied for superlattice films and recently emphasized for periodic nanoporous patterns. Although the wave effects have been proposed for reducing the thermal conductivity, more recent experimental evidence shows that such effects can only be critical at an ultralow temperature, i.e., around 10 K or below. At room temperature, the impacted phonons are mostly restricted to hypersonic modes that contribute little to the thermal conductivity. In this review, the theoretical and experimental studies of periodic porous structures are summarized and compared. The general applications of periodic nanostructured materials are further discussed.


title: General Countable Product Measures

abstract: A new construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques giving a coherent extension of the classical theory of finite product measures to countable many. Moreover, the Lebesgue spaces of this measures are simplified in terms of finite product measures. This decomposition simplifies all the considerations regarding infinite dimensional integration and gives to it a computational framework.


title: Flexible Multi-task Networks by Learning Parameter Allocation

abstract: This paper proposes a novel learning method for multi-task applications. Multi-task neural networks can learn to transfer knowledge across different tasks by using parameter sharing. However, sharing parameters between unrelated tasks can hurt performance. To address this issue, we propose a framework to learn fine-grained patterns of parameter sharing. Assuming that the network is composed of several components across layers, our framework uses learned binary variables to allocate components to tasks in order to encourage more parameter sharing between related tasks, and discourage parameter sharing otherwise. The binary allocation variables are learned jointly with the model parameters by standard back-propagation thanks to the Gumbel-Softmax reparametrization method. When applied to the Omniglot benchmark, the proposed method achieves a 17% relative reduction of the error rate compared to state-of-the-art.


title: Multi-wavelength observations of the triple-peaked AGN Mrk 622

abstract: A detailed multi-wavelength study of the properties of the triple-peaked AGN Mrk\,622 showing different aspects of the nuclear emission region is presented. Radio, near- and mid-infrared, optical and X-ray data has been considered for the analysis. In the optical, the WHAN diagnostic diagrams show that the three nuclear peaks are strong active galactic nuclei since the EW of $H{\alpha}$ is $>$\,6 \AA\, and $\log$ [NII]$\lambda$6584/H$\alpha$\, ratio is $>$\,-0.4. Optical variability of both the continuum flux and intensity of the narrow emission lines is detected in a time-span of 13 years. The size of the narrow line region is found to be 2.7\,pc, with a light-crossing time of 8.7\,y. Analysis done to an archival Hubble Space Telescope image at 1055.2\,nm shows that the host galaxy has a 3.6\,kpc inner bar with PA\,=\,74$^\circ$, faint spiral arms and a pseudobulge, evolving through secular processes. High resolution mid-infrared images obtained with the \textit{Gran Telescopio Canarias (GTC)} and the instrument \textit{CanariCam} show that the nuclear emission at 11.6 $\mu$m is not spatially resolved. Very Large Array archival observations at 10\,GHz reveal a core source with a total flux density of 1.47\,$\pm$\,0.03\,mJy. The spectral index of the core between 8 and 12\,GHz is -0.5\,$\pm$\,0.2, characteristic of AGN. The core deconvolves into a source with dimensions of 82\,$\pm$\,13\,mas\,$\,\times\,$\,41\,$\pm$\,20\,mas, and a PA\,=\,70\,$\pm$\,18\,deg; which suggests that the core is elongated or that it is constituted by multiple components distributed along a $\sim$65$^\circ$ axis.


title: Theory of functional connections applied to quadratic and nonlinear programming under equality constraints

abstract: This paper introduces an efficient approach to solve quadratic and nonlinear programming problems subject to linear equality constraints via the Theory of Functional Connections. This is done without using the traditional Lagrange multiplier technique. More specifically, two distinct expressions (fully satisfying the equality constraints) are provided, to first solve the constrained quadratic programming problem as an unconstrained one for closed-form solution. Such expressions are derived via using an optimization variable vector, which is called the free vector $\boldsymbol{g}$ by the Theory of Functional Connections. In the spirit of this Theory, for the equality constrained nonlinear programming problem, its solution is obtained by the Newton's method combining with elimination scheme in optimization. Convergence analysis is supported by a numerical example for the proposed approach.


title: Deep Learning for Prostate Pathology

abstract: The current study detects different morphologies related to prostate pathology using deep learning models; these models were evaluated on 2,121 hematoxylin and eosin (H&E) stain histology images captured using bright field microscopy, which spanned a variety of image qualities, origins (whole slide, tissue micro array, whole mount, Internet), scanning machines, timestamps, H&E staining protocols, and institutions. For case usage, these models were applied for the annotation tasks in clinician-oriented pathology reports for prostatectomy specimens. The true positive rate (TPR) for slides with prostate cancer was 99.7% by a false positive rate of 0.785%. The F1-scores of Gleason patterns reported in pathology reports ranged from 0.795 to 1.0 at the case level. TPR was 93.6% for the cribriform morphology and 72.6% for the ductal morphology. The correlation between the ground truth and the prediction for the relative tumor volume was 0.987 n. Our models cover the major components of prostate pathology and successfully accomplish the annotation tasks.


title: From Species to Cultivar: Soybean Cultivar Recognition using Multiscale Sliding Chord Matching of Leaf Images

abstract: Leaf image recognition techniques have been actively researched for plant species identification. However it remains unclear whether leaf patterns can provide sufficient information for cultivar recognition. This paper reports the first attempt on soybean cultivar recognition from plant leaves which is not only a challenging research problem but also important for soybean cultivar evaluation, selection and production in agriculture. In this paper, we propose a novel multiscale sliding chord matching (MSCM) approach to extract leaf patterns that are distinctive for soybean cultivar identification. A chord is defined to slide along the contour for measuring the synchronised patterns of exterior shape and interior appearance of soybean leaf images. A multiscale sliding chord strategy is developed to extract features in a coarse-to-fine hierarchical order. A joint description that integrates the leaf descriptors from different parts of a soybean plant is proposed for further enhancing the discriminative power of cultivar description. We built a cultivar leaf image database, SoyCultivar, consisting of 1200 sample leaf images from 200 soybean cultivars for performance evaluation. Encouraging experimental results of the proposed method in comparison to the state-of-the-art leaf species recognition methods demonstrate the availability of cultivar information in soybean leaves and effectiveness of the proposed MSCM for soybean cultivar identification, which may advance the research in leaf recognition from species to cultivar.


title: Fast and Furious Convergence: Stochastic Second Order Methods under Interpolation

abstract: We consider stochastic second-order methods for minimizing smooth and strongly-convex functions under an interpolation condition satisfied by over-parameterized models. Under this condition, we show that the regularized subsampled Newton method (R-SSN) achieves global linear convergence with an adaptive step-size and a constant batch-size. By growing the batch size for both the subsampled gradient and Hessian, we show that R-SSN can converge at a quadratic rate in a local neighbourhood of the solution. We also show that R-SSN attains local linear convergence for the family of self-concordant functions. Furthermore, we analyze stochastic BFGS algorithms in the interpolation setting and prove their global linear convergence. We empirically evaluate stochastic L-BFGS and a "Hessian-free" implementation of R-SSN for binary classification on synthetic, linearly-separable datasets and real datasets under a kernel mapping. Our experimental results demonstrate the fast convergence of these methods, both in terms of the number of iterations and wall-clock time.


title: Measurement of the cross section for $e^{+}e^{-}\rightarrow\Xi^{-}\bar\Xi^{+}$ and observation of an excited $\Xi$ baryon

abstract: Using a total of 11.0 fb$^{-1}$ of $e^{+}e^{-}$ collision data with center-of-mass energies between 4.009 GeV and 4.6 GeV and collected with the BESIII detector at BEPCII, we measure fifteen exclusive cross sections and effective form factors for the process $e^{+}e^{-}\rightarrow\Xi^{-}\bar\Xi^{+}$ by means of a single baryon-tag method. After performing a fit to the dressed cross section of $e^{+}e^{-}\rightarrow\Xi^{-}\bar\Xi^{+}$, no significant $\psi(4230)$ or $\psi(4260)$ resonance is observed in the $\Xi^{-}\bar\Xi^{+}$ final states, and upper limits at the 90\% confidence level on $\Gamma_{ee}\mathcal{B}$ for the processes $\psi(4230)$/$\psi(4260)\rightarrow\Xi^{-}\bar\Xi^{+}$ are determined. In addition, an excited $\Xi$ baryon at 1820 MeV/$c^{2}$ is observed with a statistical significance of 6.2 $\sim$ 6.5$\sigma$ by including the systematic uncertainty, and the mass and width are measured to be $M = (1825.5 \pm 4.7 \pm 4.7)$~MeV/$c^{2}$ and $\Gamma = (17.0 \pm 15.0 \pm 7.9)$~MeV, which confirms the existence of the $J^{P}=\frac{3}{2}^{-}$ state $\Xi(1820)$.


title: Unconventional critical behavior in quasi-one-dimensional $S$ = 1 chain NiTe$_{2}$O$_{5}$

abstract: Here we report a new quasi-one-dimensional $S$ = 1 chain compound NiTe$_{2}$O$_{5}$. From the comprehensive study of the structure and magnetic properties on high quality single crystalline NiTe$_{2}$O$_{5}$, it's revealed that NiTe$_{2}$O$_{5}$ undergoes a transition into an intriguing long-range antiferromagnetic order at $T_{\rm N}=30.5 {\rm K}$, in which longitudinal magnetic moments along the chain direction are ferromagnetically ordered, while their transverse components have an alternating ferromagnetic-antiferromagnetic coupling. Even though the temperature dependence of magnetic susceptibility represents an archetypal anisotropic antiferromagnetic order, we found that critical behavior of unconventional nature with $\alpha'\sim0.25$ and $\beta\sim0.18$ is accompanied by the temperature evolution of the antiferromagnetic order parameter.


title: Dependence of Lightcurves on Phase Angle and Asteroid Shape

abstract: We investigate the phase angle dependence of asteroid lightcurves using numerical scattering models applied to simple body shapes. For simplicity, the Kaasalainen scattering parameters are obtained from the corresponding Hapke scattering laws for C-type, S-type, and V-type asteroids. The spectral types differ substantially in the role of multiple scattering (which is largely a function of their geometric albedos) but we find that the differences on the light curve vs.~phase relations are modest. By using a Kaasalainen scattering law, the amplitudes and axis ratios with respect to different phase angles from $0^\circ$ to $140^\circ$ are plotted for these types asteroids based on a biaxial ellipsoid shape model. Additionally, we examine the relationship between amplitude and axis ratio for a contact binary represented by identical biaxial ellipsoids, including the effects of shadowing of one component by the other. We compare the models with published high phase angle observations, and with interstellar object 1I/`Oumuamua ($\Delta m = 2.5$ magnitude at phase angle $\alpha = 23^\circ$), finding axis ratio $5.2:1$ if represented as a single ellipsoid and $3.5:1$ for each component if represented as a nose-to-nose contact binary. While a detailed fit is not attempted, the comparison shows that the single ellipsoid model is better.


title: Measurement of the Reactor Antineutrino Spectrum from $^{235}$U Fission using PROSPECT

abstract: PROSPECT is a short-baseline reactor antineutrino experiment designed to search for short-baseline sterile neutrino oscillations and perform a precise measurement of $^{235}$U reactor antineutrino spectrum from the High Flux Isotope Reactor at Oak Ridge National Laboratory. This measurement probes our understanding of recent anomalous results observed in reactor antineutrinos. PROSPECT uses a $\sim$4-ton optically segmented, $^{6}$Li-loaded liquid scintillator detector with high light yield, world-leading energy resolution, and excellent pulse shape discrimination. The latest antineutrino spectrum measurement results from $^{235}$U fissions at HFIR are reported.


title: DiabDeep: Pervasive Diabetes Diagnosis based on Wearable Medical Sensors and Efficient Neural Networks

abstract: Diabetes impacts the quality of life of millions of people. However, diabetes diagnosis is still an arduous process, given that the disease develops and gets treated outside the clinic. The emergence of wearable medical sensors (WMSs) and machine learning points to a way forward to address this challenge. WMSs enable a continuous mechanism to collect and analyze physiological signals. However, disease diagnosis based on WMS data and its effective deployment on resource-constrained edge devices remain challenging due to inefficient feature extraction and vast computation cost. In this work, we propose a framework called DiabDeep that combines efficient neural networks (called DiabNNs) with WMSs for pervasive diabetes diagnosis. DiabDeep bypasses the feature extraction stage and acts directly on WMS data. It enables both an (i) accurate inference on the server, e.g., a desktop, and (ii) efficient inference on an edge device, e.g., a smartphone, based on varying design goals and resource budgets. On the server, we stack sparsely connected layers to deliver high accuracy. On the edge, we use a hidden-layer long short-term memory based recurrent layer to cut down on computation and storage. At the core of DiabDeep lies a grow-and-prune training flow: it leverages gradient-based growth and magnitude-based pruning algorithms to learn both weights and connections for DiabNNs. We demonstrate the effectiveness of DiabDeep through analyzing data from 52 participants. For server (edge) side inference, we achieve a 96.3% (95.3%) accuracy in classifying diabetics against healthy individuals, and a 95.7% (94.6%) accuracy in distinguishing among type-1/type-2 diabetic, and healthy individuals. Against conventional baselines, DiabNNs achieve higher accuracy, while reducing the model size (FLOPs) by up to 454.5x (8.9x). Therefore, the system can be viewed as pervasive and efficient, yet very accurate.


title: Preconditioned Multiple Orthogonal Least Squares and Applications in Ghost Imaging via Sparsity Constraint

abstract: Ghost imaging via sparsity constraint (GISC) can recover objects from the intensity fluctuation of light fields even when the sampling rate is far below the Nyquist sampling rate. In this paper, we develop an efficient algorithm called the preconditioned multiple orthogonal least squares (PmOLS) for solving the GISC reconstruction problem. Our analysis shows that the PmOLS algorithm perfectly recovers any $n$-dimensional $K$-sparse signal from $m$ random linear samples of the signal with probability exceeding $1-3n^2 e^{-cm/K^2}$. Simulations and experiments demonstrate that the proposed algorithm has very competitive imaging quality compared to the state-ofthe-art methods.


title: GREASE: A Generative Model for Relevance Search over Knowledge Graphs

abstract: Relevance search is to find top-ranked entities in a knowledge graph (KG) that are relevant to a query entity. Relevance is ambiguous, particularly over a schema-rich KG like DBpedia which supports a wide range of different semantics of relevance based on numerous types of relations and attributes. As users may lack the expertise to formalize the desired semantics, supervised methods have emerged to learn the hidden user-defined relevance from user-provided examples. Along this line, in this paper we propose a novel generative model over KGs for relevance search, named GREASE. The model applies to meta-path based relevance where a meta-path characterizes a particular type of semantics of relating the query entity to answer entities. It is also extended to support properties that constrain answer entities. Extensive experiments on two large-scale KGs demonstrate that GREASE has advanced the state of the art in effectiveness, expressiveness, and efficiency.


title: Old Dog Learns New Tricks: Randomized UCB for Bandit Problems

abstract: We propose $\tt RandUCB$, a bandit strategy that builds on theoretically derived confidence intervals similar to upper confidence bound (UCB) algorithms, but akin to Thompson sampling (TS), it uses randomization to trade off exploration and exploitation. In the $K$-armed bandit setting, we show that there are infinitely many variants of $\tt RandUCB$, all of which achieve the minimax-optimal $\widetilde{O}(\sqrt{K T})$ regret after $T$ rounds. Moreover, for a specific multi-armed bandit setting, we show that both UCB and TS can be recovered as special cases of $\tt RandUCB$. For structured bandits, where each arm is associated with a $d$-dimensional feature vector and rewards are distributed according to a linear or generalized linear model, we prove that $\tt RandUCB$ achieves the minimax-optimal $\widetilde{O}(d \sqrt{T})$ regret even in the case of infinitely many arms. Through experiments in both the multi-armed and structured bandit settings, we demonstrate that $\tt RandUCB$ matches or outperforms TS and other randomized exploration strategies. Our theoretical and empirical results together imply that $\tt RandUCB$ achieves the best of both worlds.


title: Analytical and Numerical Methods and Test Calculations of One-Dimensional Force--Free Magnetodynamics on Arbitrary Magnetic Surfaces across Horizons of Spinning Black Holes

abstract: Numerical simulations of the force-free magnetodynamics (FFMD) of the electromagnetic field around a spinning black hole are useful to investigate the dynamic electromagnetic processes around a spinning black hole, such as the emergence of the Blandford--Znajek mechanism. To reveal the basic physics of magnetic fields around a black hole through the dynamic process, we use one-dimensional (1D) FFMD along the axisymmetric magnetic surface, which provides a relatively simple, sufficiently precise, and powerful tool to analyze the dynamic process around a spinning black hole. We review the analytic and numerical aspects of 1D FFMD for an arbitrary magnetic surface around a black hole. In addition, we also show some numerical simulation test results for three types of magnetic surfaces at the equatorial plane of the black hole.


title: Random Quadratic Forms with Dependence: Applications to Restricted Isometry and Beyond

abstract: Several important families of computational and statistical results in machine learning and randomized algorithms rely on uniform bounds on quadratic forms of random vectors or matrices. Such results include the Johnson-Lindenstrauss (J-L) Lemma, the Restricted Isometry Property (RIP), randomized sketching algorithms, and approximate linear algebra. The existing results critically depend on statistical independence, e.g., independent entries for random vectors, independent rows for random matrices, etc., which prevent their usage in dependent or adaptive modeling settings. In this paper, we show that such independence is in fact not needed for such results which continue to hold under fairly general dependence structures. In particular, we present uniform bounds on random quadratic forms of stochastic processes which are conditionally independent and sub-Gaussian given another (latent) process. Our setup allows general dependencies of the stochastic process on the history of the latent process and the latent process to be influenced by realizations of the stochastic process. The results are thus applicable to adaptive modeling settings and also allows for sequential design of random vectors and matrices. We also discuss stochastic process based forms of J-L, RIP, and sketching, to illustrate the generality of the results.


title: On the automorphism groups of graphs with twice prime valency

abstract: A graph is edge-transitive if its automorphism group acts transitively on the edge set. In this paper, we investigate the automorphism groups of edge-transitive graphs of odd order and twice prime valency. Let $\Gamma$ be a connected graph of odd order and twice prime valency, and let $G$ be a subgroup of the automorphism group of $\Ga$. In the case where $G$ acts transitively on the edges and quasiprimitively on the vertices of $\Ga$, we prove that either $G$ is almost simple or $G$ is a primitive group of affine type. If further $G$ is an almost simple primitive group then, with two exceptions, the socle of $G$ acts transitively on the edges of $\Gamma$.


title: Measuring Impact of Climate Change on Tree Species: analysis of JSDM on FIA data

abstract: One of the first beings affected by changes in the climate are trees, one of our most vital resources. In this study tree species interaction and the response to climate in different ecological environments is observed by applying a joint species distribution model to different ecological domains in the United States. Joint species distribution models are useful to learn inter-species relationships and species response to the environment. The climates' impact on the tree species is measured through species abundance in an area. We compare the model's performance across all ecological domains and study the sensitivity of the climate variables. With the prediction of abundances, tree species populations can be predicted in the future and measure the impact of climate change on tree populations.


title: Controlling Thermal Emission by Parity-symmetric Fano Resonance of Optical Absorbers in Metasurfaces

abstract: In this study, we designed a metasurface based on Al/SiN/Al nano-sandwich optical absorbers. Parity-symmetric dark magnetic resonance modes, anti-symmetric bright magnetic resonance modes, and surface lattice modes are established simultaneously in such a meta-surface. By changing the structural parameters, the wavelength of the dark mode can be tuned to overlap with the lattice mode. Fano resonance is introduced by coupling between the dark and lattice modes. Angular-resolved thermal emission experiments showed that the thermal emission induced by Fano resonance exhibited a narrow wavelength spectrum and directional radiation angle. Fano-type thermal emitters proposed in this work can possibly be used as coherent infrared light sources in the future.


title: Transportation inequalities under uniform metric for a stochastic heat equation driven by time-white and space-colored noise

abstract: In this paper, we prove transportation inequalities on the space of continuous paths with respect to the uniform metric, for the law of solution to a stochastic heat equation defined on $[0,T]\times [0,1]^d$. This equation is driven by the Gaussian noise, white in time and colored in space. The proof is based on a new moment inequality under the uniform metric for the stochastic convolution with respect to the time-white and space-colored noise, which is of independent interest.


title: FetusMap: Fetal Pose Estimation in 3D Ultrasound

abstract: The 3D ultrasound (US) entrance inspires a multitude of automated prenatal examinations. However, studies about the structuralized description of the whole fetus in 3D US are still rare. In this paper, we propose to estimate the 3D pose of fetus in US volumes to facilitate its quantitative analyses in global and local scales. Given the great challenges in 3D US, including the high volume dimension, poor image quality, symmetric ambiguity in anatomical structures and large variations of fetal pose, our contribution is three-fold. (i) This is the first work about 3D pose estimation of fetus in the literature. We aim to extract the skeleton of whole fetus and assign different segments/joints with correct torso/limb labels. (ii) We propose a self-supervised learning (SSL) framework to finetune the deep network to form visually plausible pose predictions. Specifically, we leverage the landmark-based registration to effectively encode case-adaptive anatomical priors and generate evolving label proxy for supervision. (iii) To enable our 3D network perceive better contextual cues with higher resolution input under limited computing resource, we further adopt the gradient check-pointing (GCP) strategy to save GPU memory and improve the prediction. Extensively validated on a large 3D US dataset, our method tackles varying fetal poses and achieves promising results. 3D pose estimation of fetus has potentials in serving as a map to provide navigation for many advanced studies.


title: Coarse-To-Fine Visual Localization Using Semantic Compact Map

abstract: Robust visual localization for urban vehicles remains challenging and unsolved. The limitation of computation efficiency and memory size has made it harder for large-scale applications. Since semantic information serves as a stable and compact representation of the environment, we propose a coarse-to-fine localization system based on a semantic compact map. Pole-like objects are stored in the compact map, then are extracted from semantically segmented images as observations. Localization is performed by a particle filter, followed by a pose alignment module decoupling translation and rotation to achieve better accuracy. We evaluate our system both on synthetic and realistic datasets and compare it with two baselines, a state-of-art semantic feature-based system, and a traditional SIFT feature-based system. Experiments demonstrate that even with a significantly small map, such as a 10 KB map for a 3.7 km long trajectory, our system provides a comparable accuracy with the baselines.