title: Initial Design Strategies and their Effects on Sequential Model-Based Optimization

abstract: Sequential model-based optimization (SMBO) approaches are algorithms for solving problems that require computationally or otherwise expensive function evaluations. The key design principle of SMBO is a substitution of the true objective function by a surrogate, which is used to propose the point(s) to be evaluated next. SMBO algorithms are intrinsically modular, leaving the user with many important design choices. Significant research efforts go into understanding which settings perform best for which type of problems. Most works, however, focus on the choice of the model, the acquisition function, and the strategy used to optimize the latter. The choice of the initial sampling strategy, however, receives much less attention. Not surprisingly, quite diverging recommendations can be found in the literature. We analyze in this work how the size and the distribution of the initial sample influences the overall quality of the efficient global optimization~(EGO) algorithm, a well-known SMBO approach. While, overall, small initial budgets using Halton sampling seem preferable, we also observe that the performance landscape is rather unstructured. We furthermore identify several situations in which EGO performs unfavorably against random sampling. Both observations indicate that an adaptive SMBO design could be beneficial, making SMBO an interesting test-bed for automated algorithm design.


title: Co-occurrence of deep convolutional features for image search

abstract: Image search can be tackled using deep features from pre-trained Convolutional Neural Networks (CNN). The feature map from the last convolutional layer of a CNN encodes descriptive information from which a discriminative global descriptor can be obtained. We propose a new representation of co-occurrences from deep convolutional features to extract additional relevant information from this last convolutional layer. Combining this co-occurrence map with the feature map, we achieve an improved image representation. We present two different methods to get the co-occurrence representation, the first one based on direct aggregation of activations, and the second one, based on a trainable co-occurrence representation. The image descriptors derived from our methodology improve the performance in very well-known image retrieval datasets as we prove in the experiments.


title: Computational Methods for Single-Particle Cryo-EM

abstract: Single-particle electron cryomicroscopy (cryo-EM) is an increasingly popular technique for elucidating the three-dimensional structure of proteins and other biologically significant complexes at near-atomic resolution. It is an imaging method that does not require crystallization and can capture molecules in their native states. In single-particle cryo-EM, the three-dimensional molecular structure needs to be determined from many noisy two-dimensional tomographic projections of individual molecules, whose orientations and positions are unknown. The high level of noise and the unknown pose parameters are two key elements that make reconstruction a challenging computational problem. Even more challenging is the inference of structural variability and flexible motions when the individual molecules being imaged are in different conformational states. This review discusses computational methods for structure determination by single-particle cryo-EM and their guiding principles from statistical inference, machine learning, and signal processing that also play a significant role in many other data science applications.


title: Critical loci of convex domains in the plane

abstract: Let $K$ be a bounded convex domain in $\mathbb{R}^2$ symmetric about the origin. The critical locus of $K$ is defined to be the (non-empty compact) set of lattices $\Lambda$ in $\mathbb{R}^2$ of smallest possible covolume such that $\Lambda \cap K= \lbrace 0\rbrace$. These are classical objects in geometry of numbers; yet all previously known examples of critical loci were either finite sets or finite unions of closed curves. In this paper we give a new construction which, in particular, furnishes examples of domains having critical locus of arbitrary Hausdorff dimension between $0$ and $1$.


title: Sign Language Transformers: Joint End-to-end Sign Language Recognition and Translation

abstract: Prior work on Sign Language Translation has shown that having a mid-level sign gloss representation (effectively recognizing the individual signs) improves the translation performance drastically. In fact, the current state-of-the-art in translation requires gloss level tokenization in order to work. We introduce a novel transformer based architecture that jointly learns Continuous Sign Language Recognition and Translation while being trainable in an end-to-end manner. This is achieved by using a Connectionist Temporal Classification (CTC) loss to bind the recognition and translation problems into a single unified architecture. This joint approach does not require any ground-truth timing information, simultaneously solving two co-dependant sequence-to-sequence learning problems and leads to significant performance gains. We evaluate the recognition and translation performances of our approaches on the challenging RWTH-PHOENIX-Weather-2014T (PHOENIX14T) dataset. We report state-of-the-art sign language recognition and translation results achieved by our Sign Language Transformers. Our translation networks outperform both sign video to spoken language and gloss to spoken language translation models, in some cases more than doubling the performance (9.58 vs. 21.80 BLEU-4 Score). We also share new baseline translation results using transformer networks for several other text-to-text sign language translation tasks.


title: Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints

abstract: We investigate the data exchange from relational databases to RDF graphs inspired by R2RML with the addition of target shape schemas. We study the problems of consistency i.e., checking that every source instance admits a solution, and certain query answering i.e., finding answers present in every solution. We identify the class of constructive relational to RDF data exchange that uses IRI constructors and full tgds (with no existential variables) in its source to target dependencies. We show that the consistency problem is coNP-complete. We introduce the notion of universal simulation solution that allows to compute certain query answers to any class of queries that is robust under simulation. One such class are nested regular expressions (NREs) that are forward i.e., do not use the inverse operation. Using universal simulation solution renders tractable the computation of certain answers to forward NREs (data-complexity). Finally, we present a number of results that show that relaxing the restrictions of the proposed framework leads to an increase in complexity.


title: Quantum-inspired detection for Spectral Domain Optical Coherence Tomography

abstract: The intensity levels allowed by safety standards (ANSI or ICNIRP) limit the amount of light that can be used in a clinical setting to image highly scattering or absorptive tissues with Optical Coherence Tomography (OCT). To achieve high-sensitivity imaging at low intensity levels, we adapt a detection scheme -- which is used in quantum optics for providing information about spectral correlations of photons -- into a standard spectral domain OCT system. This detection scheme is based on the concept of Dispersive Fourier Transformation, where a fibre introduces a wavelength-dependent time delay measured by a single-pixel detector, usually a high-speed photoreceiver. Here, we use a fast Superconducting Single-Photon Detector (SSPD) as a single-pixel detector and obtain images of a glass stack and a slice of onion at the intensity levels of the order of 10 pW. We also provide a formula for a depth-dependent sensitivity fall-off in such a detection scheme which can be treated as a temporal equivalent of diffraction-grating-based spectrometers.


title: The European Language Technology Landscape in 2020: Language-Centric and Human-Centric AI for Cross-Cultural Communication in Multilingual Europe

abstract: Multilingualism is a cultural cornerstone of Europe and firmly anchored in the European treaties including full language equality. However, language barriers impacting business, cross-lingual and cross-cultural communication are still omnipresent. Language Technologies (LTs) are a powerful means to break down these barriers. While the last decade has seen various initiatives that created a multitude of approaches and technologies tailored to Europe's specific needs, there is still an immense level of fragmentation. At the same time, AI has become an increasingly important concept in the European Information and Communication Technology area. For a few years now, AI, including many opportunities, synergies but also misconceptions, has been overshadowing every other topic. We present an overview of the European LT landscape, describing funding programmes, activities, actions and challenges in the different countries with regard to LT, including the current state of play in industry and the LT market. We present a brief overview of the main LT-related activities on the EU level in the last ten years and develop strategic guidance with regard to four key dimensions.


title: Label-Efficient Learning on Point Clouds using Approximate Convex Decompositions

abstract: The problems of shape classification and part segmentation from 3D point clouds have garnered increasing attention in the last few years. Both of these problems, however, suffer from relatively small training sets, creating the need for statistically efficient methods to learn 3D shape representations. In this paper, we investigate the use of Approximate Convex Decompositions (ACD) as a self-supervisory signal for label-efficient learning of point cloud representations. We show that using ACD to approximate ground truth segmentation provides excellent self-supervision for learning 3D point cloud representations that are highly effective on downstream tasks. We report improvements over the state-of-the-art for unsupervised representation learning on the ModelNet40 shape classification dataset and significant gains in few-shot part segmentation on the ShapeNetPart dataset.Code available at https://github.com/matheusgadelha/PointCloudLearningACD


title: Abstract Vergleichsstellens\"atze for preordered semifields and semirings I

abstract: Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellens\"atze. However, there is a nascent subfield of real algebra which studies preordered semirings and semifields, which is motivated by applications to probability, graph theory and theoretical computer science, among others. Here, we contribute to this subfield by developing a number of foundational results for it, with two abstract Vergleichsstellens\"atze being our main theorems. Our first Vergleichsstellensatz states that every semifield preorder is the intersection of its total extensions. We apply this to derive our second main result, a Vergleichsstellensatz for certain non-Archimedean preordered semirings in which the homomorphisms to the tropical reals play an important role. We show how this result recovers the existing Vergleichsstellensatz of Strassen and (through the latter) the classical Positivstellensatz of Krivine--Kadison--Dubois.


title: Classification and Evolution of Galaxies According to the Dynamical State of Host Clusters and Galaxy Luminosities

abstract: We analyze the dependence of galaxy evolution on cluster dynamical state and galaxy luminosities for a sample of 146 galaxy clusters from the Yang SDSS catalog. Clusters were split according to their velocity distribution in Gaussians (G) and Non-Gaussians (NG), and further divided by luminosity regime. We performed a classification in the Age-SSFR plane providing three classes: star-forming (SF), passive (PAS), and intermediate (GV -- green valley). We show that galaxies evolve in the same way in G and NG systems, but also suggest that their formation histories leads to different mixtures of galactic types and infall patterns. Separating the GV into star-forming and passive components, we find more bright galaxies in the passive mode of NG than in G systems. We also find more intermediate faint galaxies in the star-forming component of NG than in G systems. Our results suggest the GV as the stage where the transition from types Sab and Scd to S0 must be taking place, but the conversion between morphological types is independent of the dynamical stage of the clusters. Analyzing the velocity dispersion profiles, we find that objects recently infalling in clusters have a different composition between G and NG systems. While all galaxy types infall onto G systems, Sab and Scd dominate the infall onto NG systems. Finally, we find that faint Scd in the outskirts of NG systems present higher asymmetries relative to the mean asymmetry of field galaxies, suggesting environmental effects acting on these objects.


title: Representing Realistic Human Driver Behaviors using a Finite Size Gaussian Process Kernel Bank

abstract: The performance of cooperative vehicular applications is tightly dependent on the reliability of the underneath Vehicle-to-Everything (V2X) communication technology. V2X standards, such as Dedicated Short-Range Communications (DSRC) and Cellular-V2X (C-V2X), which are passing their research phase before being mandated in the US, are supposed to serve as reliable circulatory systems for the time-critical information in vehicular networks; however, they are still heavily suffering from scalability issues in real traffic scenarios. The technology-agnostic notion of Model-Based Communications (MBC) has been proposed in our previous works as a promising paradigm to address the scalability issue and its performance, while acquiring different modeling strategies, has been vastly studied. In this work, the modeling capabilities of a powerful non-parametric Bayesian inference scheme, i.e., Gaussian Processes (GPs), is investigated within the MBC context with more details. Our observations reveal an important potential strength of GP-based MBC scheme, i.e., its capability of accurately modeling different driving behavioral patterns by utilizing only a limited size GP kernel bank. This interesting aspect of integrating GP inference with MBC framework, which has been verified in this work using realistic driving data sets, introduces this architecture as a strong and appealing candidate to address the scalability challenge. The results confirm that our proposed approach over-performs the state of the art research in terms of the required communication rate and GP kernel bank size.


title: High-Precision Determination of Oxygen-K$\alpha$ Transition Energy Excludes Incongruent Motion of Interstellar Oxygen

abstract: We demonstrate a widely applicable technique to absolutely calibrate the energy scale of x-ray spectra with experimentally well-known and accurately calculable transitions of highly charged ions, allowing us to measure the K-shell Rydberg spectrum of molecular O$_2$ with 8 meV uncertainty. We reveal a systematic $\sim$450 meV shift from previous literature values, and settle an extraordinary discrepancy between astrophysical and laboratory measurements of neutral atomic oxygen, the latter being calibrated against the aforementioned O$_2$ literature values. Because of the widespread use of such, now deprecated, references, our method impacts on many branches of x-ray absorption spectroscopy. Moreover, it potentially reduces absolute uncertainties there to below the meV level.


title: Model-Reference Reinforcement Learning Control of Autonomous Surface Vehicles with Uncertainties

abstract: This paper presents a novel model-reference reinforcement learning control method for uncertain autonomous surface vehicles. The proposed control combines a conventional control method with deep reinforcement learning. With the conventional control, we can ensure the learning-based control law provides closed-loop stability for the overall system, and potentially increase the sample efficiency of the deep reinforcement learning. With the reinforcement learning, we can directly learn a control law to compensate for modeling uncertainties. In the proposed control, a nominal system is employed for the design of a baseline control law using a conventional control approach. The nominal system also defines the desired performance for uncertain autonomous vehicles to follow. In comparison with traditional deep reinforcement learning methods, our proposed learning-based control can provide stability guarantees and better sample efficiency. We demonstrate the performance of the new algorithm via extensive simulation results.


title: ActGAN: Flexible and Efficient One-shot Face Reenactment

abstract: This paper introduces ActGAN - a novel end-to-end generative adversarial network (GAN) for one-shot face reenactment. Given two images, the goal is to transfer the facial expression of the source actor onto a target person in a photo-realistic fashion. While existing methods require target identity to be predefined, we address this problem by introducing a "many-to-many" approach, which allows arbitrary persons both for source and target without additional retraining. To this end, we employ the Feature Pyramid Network (FPN) as a core generator building block - the first application of FPN in face reenactment, producing finer results. We also introduce a solution to preserve a person's identity between synthesized and target person by adopting the state-of-the-art approach in deep face recognition domain. The architecture readily supports reenactment in different scenarios: "many-to-many", "one-to-one", "one-to-another" in terms of expression accuracy, identity preservation, and overall image quality. We demonstrate that ActGAN achieves competitive performance against recent works concerning visual quality.


title: A Hierarchical Transformer for Unsupervised Parsing

abstract: The underlying structure of natural language is hierarchical; words combine into phrases, which in turn form clauses. An awareness of this hierarchical structure can aid machine learning models in performing many linguistic tasks. However, most such models just process text sequentially and there is no bias towards learning hierarchical structure encoded into their architecture. In this paper, we extend the recent transformer model (Vaswani et al., 2017) by enabling it to learn hierarchical representations. To achieve this, we adapt the ordering mechanism introduced in Shen et al., 2018, to the self-attention module of the transformer architecture. We train our new model on language modelling and then apply it to the task of unsupervised parsing. We achieve reasonable results on the freely available subset of the WSJ10 dataset with an F1-score of about 50%.


title: Feature Matching and Heat Flow in Centro-Affine Geometry

abstract: In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equation. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm compares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods.


title: The shadow of dark matter as a shadow of string theory: String origin of the dipole term

abstract: We point out that the Kalb-Ramond field can couple to the Ramond and Neveu-Schwarz fields of superstring theory in a way that can generate a coupling of the Kalb-Ramond field to dark matter dipole moments. Electroweak dipole dark matter could then arise from the Ramond sector of superstrings with a low string scale up to 120 TeV.


title: Adaptive Estimation in Multivariate Response Regression with Hidden Variables

abstract: This paper studies the estimation of the coefficient matrix $\Ttheta$ in multivariate regression with hidden variables, $Y = (\Ttheta)^TX + (B^*)^TZ + E$, where $Y$ is a $m$-dimensional response vector, $X$ is a $p$-dimensional vector of observable features, $Z$ represents a $K$-dimensional vector of unobserved hidden variables, possibly correlated with $X$, and $E$ is an independent error. The number of hidden variables $K$ is unknown and both $m$ and $p$ are allowed but not required to grow with the sample size $n$. Since only $Y$ and $X$ are observable, we provide necessary conditions for the identifiability of $\Ttheta$. The same set of conditions are shown to be sufficient when the error $E$ is homoscedastic. Our identifiability proof is constructive and leads to a novel and computationally efficient estimation algorithm, called HIVE. The first step of the algorithm is to estimate the best linear prediction of $Y$ given $X$ in which the unknown coefficient matrix exhibits an additive decomposition of $\Ttheta$ and a dense matrix originated from the correlation between $X$ and the hidden variable $Z$. Under the row sparsity assumption on $\Ttheta$, we propose to minimize a penalized least squares loss by regularizing $\Ttheta$ via a group-lasso penalty and regularizing the dense matrix via a multivariate ridge penalty. Non-asymptotic deviation bounds of the in-sample prediction error are established. Our second step is to estimate the row space of $B^*$ by leveraging the covariance structure of the residual vector from the first step. In the last step, we remove the effect of hidden variable by projecting $Y$ onto the complement of the estimated row space of $B^*$. Non-asymptotic error bounds of our final estimator are established. The model identifiability, parameter estimation and statistical guarantees are further extended to the setting with heteroscedastic errors.


title: AvatarMe: Realistically Renderable 3D Facial Reconstruction "in-the-wild"

abstract: Over the last years, with the advent of Generative Adversarial Networks (GANs), many face analysis tasks have accomplished astounding performance, with applications including, but not limited to, face generation and 3D face reconstruction from a single "in-the-wild" image. Nevertheless, to the best of our knowledge, there is no method which can produce high-resolution photorealistic 3D faces from "in-the-wild" images and this can be attributed to the: (a) scarcity of available data for training, and (b) lack of robust methodologies that can successfully be applied on very high-resolution data. In this paper, we introduce AvatarMe, the first method that is able to reconstruct photorealistic 3D faces from a single "in-the-wild" image with an increasing level of detail. To achieve this, we capture a large dataset of facial shape and reflectance and build on a state-of-the-art 3D texture and shape reconstruction method and successively refine its results, while generating the per-pixel diffuse and specular components that are required for realistic rendering. As we demonstrate in a series of qualitative and quantitative experiments, AvatarMe outperforms the existing arts by a significant margin and reconstructs authentic, 4K by 6K-resolution 3D faces from a single low-resolution image that, for the first time, bridges the uncanny valley.


title: Provisioning Spot Instances Without Employing Fault-Tolerance Mechanisms

abstract: Cloud computing offers a variable-cost payment scheme that allows cloud customers to specify the price they are willing to pay for renting spot instances to run their applications at much lower costs than fixed payment schemes, and depending on the varying demand from cloud customers, cloud platforms could revoke spot instances at any time. To alleviate the effect of spot instance revocations, applications often employ different fault-tolerance mechanisms to minimize or even eliminate the lost work for each spot instance revocation. However, these fault-tolerance mechanisms incur additional overhead related to application completion time and deployment cost. We propose a novel cloud market-based approach that leverages cloud spot market features to provision spot instances without employing fault-tolerance mechanisms to reduce the deployment cost and completion time of applications. We evaluate our approach in simulations and use Amazon spot instances that contain jobs in Docker containers and realistic price traces from EC2 markets. Our simulation results show that our approach reduces the deployment cost and completion time compared to approaches based on fault-tolerance mechanisms.


title: Angle deficit & non-local gravitoelectromagnetism around a slowly spinning cosmic string

abstract: Cosmic strings, as remnants of the symmetry breaking phase in the Early Universe, may be susceptible to non-local physics. Here we show that the presence of a Poincar\'e-invariant non-locality -- parametrized by a factor $\exp(-\Box\ell^2)$ -- regularizes the gravitational field and thereby changes the properties of spacetime: it is now simply connected and the angle deficit around the cosmic string becomes a function of the radial distance. Similar changes occur for the non-local gravitomagnetic field of a rotating cosmic string, and we translate these mathematical facts into the language of non-local gravitoelectromagnetism and thereby provide a physical interpretation. We hope that these insights might prove helpful in the search for traces of non-local physics in our Universe.


title: Code Prediction by Feeding Trees to Transformers

abstract: We advance the state-of-the-art in the accuracy of code prediction (next token prediction) used in autocomplete systems. First, we report that using the recently proposed Transformer architecture even out-of-the-box outperforms previous neural and non-neural systems for code prediction. We then show that by making the Transformer architecture aware of the syntactic structure of code, we further increase the margin by which a Transformer-based system outperforms previous systems. With this, it outperforms the accuracy of an RNN-based system (similar to Hellendoorn et al. 2018) by 18.3%, the Deep3 system (Raychev et al 2016) by 14.1%, and an adaptation of Code2Seq (Alon et al., 2018) for code prediction by 14.4%. We present in the paper several ways of communicating the code structure to the Transformer, which is fundamentally built for processing sequence data. We provide a comprehensive experimental evaluation of our proposal, along with alternative design choices, on a standard Python dataset, as well as on a Facebook internal Python corpus. Our code and data preparation pipeline will be available in open source.


title: New exponential dispersion models for count data -- the ABM and LM classes

abstract: In their fundamental paper on cubic variance functions, Letac and Mora (The Annals of Statistics,1990) presented a systematic, rigorous and comprehensive study of natural exponential families on the real line, their characterization through their variance functions and mean value parameterization. They presented a section that for some reason has been left unnoticed. This section deals with the construction of variance functions associated with natural exponential families of counting distributions on the set of nonnegative integers and allows to find the corresponding generating measures. As exponential dispersion models are based on natural exponential families, we introduce in this paper two new classes of exponential dispersion models based on their results. For these classes, which are associated with simple variance functions, we derive their mean value parameterization and their associated generating measures. We also prove that they have some desirable properties. Both classes are shown to be overdispersed and zero-inflated in ascending order, making them as competitive statistical models for those in use in both, statistical and actuarial modeling. To our best knowledge, the classes of counting distributions we present in this paper, have not been introduced or discussed before in the literature. To show that our classes can serve as competitive statistical models for those in use (e.g., Poisson, Negative binomial), we include a numerical example of real data. In this example, we compare the performance of our classes with relevant competitive models.


title: Genetic Algorithmic Parameter Optimisation of a Recurrent Spiking Neural Network Model

abstract: Neural networks are complex algorithms that loosely model the behaviour of the human brain. They play a significant role in computational neuroscience and artificial intelligence. The next generation of neural network models is based on the spike timing activity of neurons: spiking neural networks (SNNs). However, model parameters in SNNs are difficult to search and optimise. Previous studies using genetic algorithm (GA) optimisation of SNNs were focused mainly on simple, feedforward, or oscillatory networks, but not much work has been done on optimising cortex-like recurrent SNNs. In this work, we investigated the use of GAs to search for optimal parameters in recurrent SNNs to reach targeted neuronal population firing rates, e.g. as in experimental observations. We considered a cortical column based SNN comprising 1000 Izhikevich spiking neurons for computational efficiency and biologically realism. The model parameters explored were the neuronal biased input currents. First, we found for this particular SNN, the optimal parameter values for targeted population averaged firing activities, and the convergence of algorithm by ~100 generations. We then showed that the GA optimal population size was within ~16-20 while the crossover rate that returned the best fitness value was ~0.95. Overall, we have successfully demonstrated the feasibility of implementing GA to optimise model parameters in a recurrent cortical based SNN.


title: Differential rotation in neutron stars with open and closed magnetic topologies

abstract: Analytic arguments have been advanced that the degree of differential rotation in a neutron star depends on whether the topology of the internal magnetic field is open or closed. To test this assertion, the ideal-magnetohydrodynamics solver PLUTO is employed to investigate numerically the flow of an incompressible, viscous fluid threaded by a magnetic field with open and closed topologies in a conducting, differentially rotating, spherical shell. Rigid body corotation with the outer sphere is enforced on the Alfv\'en time-scale, along magnetic field lines that connect the northern and southern hemispheres of the outer sphere. Along other field lines, however, the behavior is more complicated. For example, an initial point dipole field evolves to produce an approximately closed equatorial flux tube containing at least one predominantly toroidal and approximately closed field line surrounded by a bundle of predominantly toroidal but open field lines. Inside the equatorial flux tube, the field-line-averaged magnetic tension approaches zero, and the fluid rotates differentially, adjusting its angular velocity on the viscous time-scale to match the boundary conditions on the flux tube's toroidal surface. Outside the equatorial flux tube the differential rotation increases, as the magnetic tension averaged along open field lines decreases.


title: Can Deep Learning Recognize Subtle Human Activities?

abstract: Deep Learning has driven recent and exciting progress in computer vision, instilling the belief that these algorithms could solve any visual task. Yet, datasets commonly used to train and test computer vision algorithms have pervasive confounding factors. Such biases make it difficult to truly estimate the performance of those algorithms and how well computer vision models can extrapolate outside the distribution in which they were trained. In this work, we propose a new action classification challenge that is performed well by humans, but poorly by state-of-the-art Deep Learning models. As a proof-of-principle, we consider three exemplary tasks: drinking, reading, and sitting. The best accuracies reached using state-of-the-art computer vision models were 61.7%, 62.8%, and 76.8%, respectively, while human participants scored above 90% accuracy on the three tasks. We propose a rigorous method to reduce confounds when creating datasets, and when comparing human versus computer vision performance. Source code and datasets are publicly available.


title: Semi-supervised Learning for Few-shot Image-to-Image Translation

abstract: In the last few years, unpaired image-to-image translation has witnessed remarkable progress. Although the latest methods are able to generate realistic images, they crucially rely on a large number of labeled images. Recently, some methods have tackled the challenging setting of few-shot image-to-image translation, reducing the labeled data requirements for the target domain during inference. In this work, we go one step further and reduce the amount of required labeled data also from the source domain during training. To do so, we propose applying semi-supervised learning via a noise-tolerant pseudo-labeling procedure. We also apply a cycle consistency constraint to further exploit the information from unlabeled images, either from the same dataset or external. Additionally, we propose several structural modifications to facilitate the image translation task under these circumstances. Our semi-supervised method for few-shot image translation, called SEMIT, achieves excellent results on four different datasets using as little as 10% of the source labels, and matches the performance of the main fully-supervised competitor using only 20% labeled data. Our code and models are made public at: https://github.com/yaxingwang/SEMIT.


title: Exponential Dispersion Models for Overdispersed Zero-Inflated Count Data

abstract: We consider three new classes of exponential dispersion models of discrete probability distributions which are defined by specifying their variance functions in their mean value parameterization. In a previous paper (Bar-Lev and Ridder, 2020a), we have developed the framework of these classes and proved that they have some desirable properties. Each of these classes was shown to be overdispersed and zero inflated in ascending order, making them as competitive statistical models for those in use in statistical modeling. In this paper we elaborate on the computational aspects of their probability mass functions. Furthermore, we apply these classes for fitting real data sets having overdispersed and zero-inflated statistics. Classic models based on Poisson or negative binomial distributions show poor fits, and therefore many alternatives have already proposed in recent years. We execute an extensive comparison with these other proposals, from which we may conclude that our framework is a flexible tool that gives excellent results in all cases. Moreover, in most cases our model gives the best fit.


title: Calculation of higher-order corrections to the light shift of the $5s^2\, ^1\!S_0$--$5s5p\,^3\!P_0^o$ clock transition in Cd

abstract: In the recent work [A.~Yamaguchi et. al, Phys. Rev. Lett. {\bf 123}, 113201 (2019)] Cd has been identified as an excellent candidate for a lattice clock. Here, we carried out computations needed for further clock development and made an assessment of the higher-order corrections to the light shift of the $5s^2\, ^1\!S_0$--$5s5p\, ^3\!P_0^o$ clock transition. We carried out calculations of the magnetic dipole and electric quadrupole polarizabilities and linear and circular hyperpolarizabilities of the $5s^2\, ^1\!S_0$ and $5s5p\, ^3\!P_0^o$ clock states at the magic wavelength and estimated uncertainties of these quantities. We also evaluated the second-order Zeeman clock transition frequency shift.


title: Generalized uncertainty principle and $D$-dimensional quantum mechanics

abstract: The non-relativistic quantum mechanics with a generalized uncertainty principle (GUP) is examined in $D$-dimensional free particle and harmonic oscillator systems. The Feynman propagators for these systems are exactly derived within the first order of the GUP parameter.


title: A mountain-pass theorem for asymptotically conical self-expanders

abstract: We develop a min-max theory for asymptotically conical self-expanders of mean curvature flow. In particular, we show that given two distinct strictly stable self-expanders that are asymptotic to the same cone and bound a domain, there exists a new asymptotically conical self-expander trapped between the two.


title: Closed hypersurfaces of low entropy in $\mathbb{R}^4$ are isotopically trivial

abstract: We show that any closed connected hypersurface in $\mathbb{R}^4$ with entropy less than or equal to that of the round cylinder is smoothly isotopic to the standard three-sphere.


title: Ab initio quantum models for thin-film x-ray cavity QED

abstract: We develop two ab initio quantum approaches to thin-film x-ray cavity quantum electrodynamics with spectrally narrow x-ray resonances, such as those provided by M\"ossbauer nuclei. The first method is based on a few-mode description of the cavity, and promotes and extends existing phenomenological few-mode models to an ab initio theory. The second approach uses analytically-known Green's functions to model the system. The two approaches not only enable one to ab initio derive the effective few-level scheme representing the cavity and the nuclei in the low-excitation regime, but also provide a direct avenue for studies at higher excitation, involving non-linear or quantum phenomena. The ab initio character of our approaches further enables direct optimizations of the cavity structure and thus of the photonic environment of the nuclei, to tailor the effective quantum optical level scheme towards particular applications. To illustrate the power of the ab initio approaches, we extend the established quantum optical modeling to resonant cavity layers of arbitrary thickness, which is essential to achieve quantitative agreement for cavities used in recent experiments. Further, we consider multi-layer cavities featuring electromagnetically induced transparency, derive their quantum optical few-level systems ab initio, and identify the origin of discrepancies in the modeling found previously using phenomenological approaches as arising from cavity field gradients across the resonant layers.


title: On arithmetic progressions in model sets

abstract: In this project we show the existence of arbitrary length arithmetic progressions in model sets and Meyer sets in the Euclidean $d$-space. We prove a van der Waerden type theorem for Meyer sets. We show that pure point subsets of Meyer sets with positive density and pure point diffraction contain arithmetic progressions of arbitrary length.


title: A Pebble in the AI Race

abstract: Bhutan is sometimes described as \a pebble between two boulders", a small country caught between the two most populous nations on earth: India and China. This pebble is, however, about to be caught up in a vortex: the transformation of our economic, political and social orders by new technologies like Artificial Intelligence. What can a small nation like Bhutan hope to do in the face of such change? What should the nation do, not just to weather this storm, but to become a better place in which to live?


title: Technologies for supporting high-order geodesic mesh frameworks for computational astrophysics and space sciences

abstract: Many important problems in astrophysics, space physics, and geophysics involve flows of (possibly ionized) gases in the vicinity of a spherical object, such as a star or planet. The geometry of such a system naturally favors numerical schemes based on a spherical mesh. Despite its orthogonality property, the polar (latitude-longitude) mesh is ill suited for computation because of the singularity on the polar axis, leading to a highly non-uniform distribution of zone sizes. The consequences are (a) loss of accuracy due to large variations in zone aspect ratios, and (b) poor computational efficiency from a severe limitations on the time stepping. Geodesic meshes, based on a central projection using a Platonic solid as a template, solve the anisotropy problem, but increase the complexity of the resulting computer code. We describe a new finite volume implementation of Euler and MHD systems of equations on a triangular geodesic mesh (TGM) that is accurate up to fourth order in space and time and conserves the divergence of magnetic field to machine precision. The paper discusses in detail the generation of a TGM, the domain decomposition techniques, three-dimensional conservative reconstruction, and time stepping.


title: A bioinspired optically transparent tough glass composite

abstract: Glasses have numerous applications due to their exceptional transparency, however, poor fracture and impact resistance limit their applications as an engineering material. One relatively recent approach to improve the mechanical properties of materials is through bio-inspiration. Structural biological composites such as nacre, the protective inner layer of mollusk shells, offer far superior mechanical properties relative to their constituents. This has motivated researchers to mimic the design principles in natural composites to create tough transparent materials. However, current bio-inspired materials lack fabrication scalability or offer poor optical transmission. Here, an efficient, scalable bulk process is developed for creating optically transparent tough composites, resulting in a nacreous glass composite material with a four-fold increase in fracture toughness and a three-fold increase in flexural strength compared to conventional structural glasses, and with a 73% of average optical transmittance. The composite consists of glass flakes and poly (methyl methacrylate) (PMMA) assembled utilizing a centrifuge-based fabrication method that aligns and compacts the flakes into layers. To optimize the transparency of the structure, the refractive indices of the PMMA and glass are matched. Based on the results, this nacreous glass composite is proposed as a potential alternative in diverse architectural, vehicular, and electronics applications.


title: Retrograde-rotating exoplanets experience obliquity excitations in an eccentricity-enabled resonance

abstract: Previous studies have shown that planets that rotate retrograde (backwards with respect to their orbital motion) generally experience less severe obliquity variations than those that rotate prograde (the same direction as their orbital motion). Here we examine retrograde-rotating planets on eccentric orbits and find a previously unknown secular spin-orbit resonance that can drive significant obliquity variations. This resonance occurs when the frequency of the planet's rotation axis precession becomes commensurate with an orbital eigenfrequency of the planetary system. The planet's eccentricity enables a participating orbital frequency through an interaction in which the apsidal precession of the planet's orbit causes a cyclic nutation of the planet's orbital angular momentum vector. The resulting orbital frequency follows the relationship $f = 2 \dot{\varpi} - \dot{\Omega}$, where $\dot{\varpi}$ and $\dot{\Omega}$ are the rates of the planet's changing longitude of periapsis and ascending node, respectively. We test this mechanism by simulating cases of a simple Earth-Jupiter system, and confirm the predicted resonance. Over the course of 100 Myr, the test Earths with rotation axis precession rates near the predicted resonant frequency experienced pronounced obliquity variations of order $10^\circ$-$30^\circ$. These variations can be significant, and suggest that while retrograde rotation is a stabilizing influence most of the time, retrograde rotators can experience large obliquity variations if they are on eccentric orbits and enter this spin-orbit resonance.


title: COVID-CT-Dataset: A CT Scan Dataset about COVID-19

abstract: During the outbreak time of COVID-19, computed tomography (CT) is a useful manner for diagnosing COVID-19 patients. Due to privacy issues, publicly available COVID-19 CT datasets are highly difficult to obtain, which hinders the research and development of AI-powered diagnosis methods of COVID-19 based on CTs. To address this issue, we build an open-sourced dataset -- COVID-CT, which contains 349 COVID-19 CT images from 216 patients and 463 non-COVID-19 CTs. The utility of this dataset is confirmed by a senior radiologist who has been diagnosing and treating COVID-19 patients since the outbreak of this pandemic. We also perform experimental studies which further demonstrate that this dataset is useful for developing AI-based diagnosis models of COVID-19. Using this dataset, we develop diagnosis methods based on multi-task learning and self-supervised learning, that achieve an F1 of 0.90, an AUC of 0.98, and an accuracy of 0.89. According to the senior radiologist, models with such performance are good enough for clinical usage. The data and code are available at https://github.com/UCSD-AI4H/COVID-CT


title: Dataless Model Selection with the Deep Frame Potential

abstract: Choosing a deep neural network architecture is a fundamental problem in applications that require balancing performance and parameter efficiency. Standard approaches rely on ad-hoc engineering or computationally expensive validation on a specific dataset. We instead attempt to quantify networks by their intrinsic capacity for unique and robust representations, enabling efficient architecture comparisons without requiring any data. Building upon theoretical connections between deep learning and sparse approximation, we propose the deep frame potential: a measure of coherence that is approximately related to representation stability but has minimizers that depend only on network structure. This provides a framework for jointly quantifying the contributions of architectural hyper-parameters such as depth, width, and skip connections. We validate its use as a criterion for model selection and demonstrate correlation with generalization error on a variety of common residual and densely connected network architectures.


title: 3D-MPA: Multi Proposal Aggregation for 3D Semantic Instance Segmentation

abstract: We present 3D-MPA, a method for instance segmentation on 3D point clouds. Given an input point cloud, we propose an object-centric approach where each point votes for its object center. We sample object proposals from the predicted object centers. Then, we learn proposal features from grouped point features that voted for the same object center. A graph convolutional network introduces inter-proposal relations, providing higher-level feature learning in addition to the lower-level point features. Each proposal comprises a semantic label, a set of associated points over which we define a foreground-background mask, an objectness score and aggregation features. Previous works usually perform non-maximum-suppression (NMS) over proposals to obtain the final object detections or semantic instances. However, NMS can discard potentially correct predictions. Instead, our approach keeps all proposals and groups them together based on the learned aggregation features. We show that grouping proposals improves over NMS and outperforms previous state-of-the-art methods on the tasks of 3D object detection and semantic instance segmentation on the ScanNetV2 benchmark and the S3DIS dataset.


title: Lesion Conditional Image Generation for Improved Segmentation of Intracranial Hemorrhage from CT Images

abstract: Data augmentation can effectively resolve a scarcity of images when training machine-learning algorithms. It can make them more robust to unseen images. We present a lesion conditional Generative Adversarial Network LcGAN to generate synthetic Computed Tomography (CT) images for data augmentation. A lesion conditional image (segmented mask) is an input to both the generator and the discriminator of the LcGAN during training. The trained model generates contextual CT images based on input masks. We quantify the quality of the images by using a fully convolutional network (FCN) score and blurriness. We also train another classification network to select better synthetic images. These synthetic CT images are then augmented to our hemorrhagic lesion segmentation network. By applying this augmentation method on 2.5%, 10% and 25% of original data, segmentation improved by 12.8%, 6% and 1.6% respectively.


title: ManifoldNorm: Extending normalizations on Riemannian Manifolds

abstract: Many measurements in computer vision and machine learning manifest as non-Euclidean data samples. Several researchers recently extended a number of deep neural network architectures for manifold valued data samples. Researchers have proposed models for manifold valued spatial data which are common in medical image processing including processing of diffusion tensor imaging (DTI) where images are fields of $3\times 3$ symmetric positive definite matrices or representation in terms of orientation distribution field (ODF) where the identification is in terms of field on hypersphere. There are other sequential models for manifold valued data that recently researchers have shown to be effective for group difference analysis in study for neuro-degenerative diseases. Although, several of these methods are effective to deal with manifold valued data, the bottleneck includes the instability in optimization for deeper networks. In order to deal with these instabilities, researchers have proposed residual connections for manifold valued data. One of the other remedies to deal with the instabilities including gradient explosion is to use normalization techniques including {\it batch norm} and {\it group norm} etc.. But, so far there is no normalization techniques applicable for manifold valued data. In this work, we propose a general normalization techniques for manifold valued data. We show that our proposed manifold normalization technique have special cases including popular batch norm and group norm techniques. On the experimental side, we focus on two types of manifold valued data including manifold of symmetric positive definite matrices and hypersphere. We show the performance gain in one synthetic experiment for moving MNIST dataset and one real brain image dataset where the representation is in terms of orientation distribution field (ODF).


title: RetinaTrack: Online Single Stage Joint Detection and Tracking

abstract: Traditionally multi-object tracking and object detection are performed using separate systems with most prior works focusing exclusively on one of these aspects over the other. Tracking systems clearly benefit from having access to accurate detections, however and there is ample evidence in literature that detectors can benefit from tracking which, for example, can help to smooth predictions over time. In this paper we focus on the tracking-by-detection paradigm for autonomous driving where both tasks are mission critical. We propose a conceptually simple and efficient joint model of detection and tracking, called RetinaTrack, which modifies the popular single stage RetinaNet approach such that it is amenable to instance-level embedding training. We show, via evaluations on the Waymo Open Dataset, that we outperform a recent state of the art tracking algorithm while requiring significantly less computation. We believe that our simple yet effective approach can serve as a strong baseline for future work in this area.


title: The ancient main-sequence solar proxy HIP 102152 unveils the activity and rotational fate of our Sun

abstract: We present a detailed analysis of the possible future Sun's rotational evolution scenario based on the 8 Gyr-old solar twin HIP 102152. Using HARPS high-cadence observations (and TESS light curves), we analyzed the modulation of a variety of activity proxies (Ca II, HI Balmer, and Na I lines), finding a strong rotational signal of 35.7 $\pm$ 1.4 days ($\log B_{\rm factor}\sim70$, in the case of Ca II K line). This value matches with the theoretical expectations regarding the smooth rotational evolution of the Sun towards the end of the main-sequence, validating the use of gyrochronology after solar age.


title: Snake Graphs from Triangulated Orbifolds

abstract: We give an explicit combinatorial formula for the Laurent expansion of any arc or closed curve on an unpunctured triangulated orbifold. We do this by extending the snake graph construction of Musiker, Schiffler, and Williams to unpunctured orbifolds. In the case of an ordinary arc, this gives a combinatorial proof of positivity to the generalized cluster algebra from this orbifold.


title: A thermodynamic description of the glass state and its application to glass transition

abstract: Many properties of solids such as the glass state are commonly treated as nonequilibrium phenomena, which involve many conceptual difficulties. However, few studies have addressed the problem of understanding equilibrium itself. Equilibrium is commonly assessed based on the assumption that its thermodynamic state should be determined solely by temperature and pressure. However, this assumption must be reappraised from the beginning through a rigorous definition of equilibrium because no rigorous proof for this assumption exists. Previous work showed that for solids, the equilibrium positions of all constituent atoms of the solid are state variables (TC). In this study, this conclusion is further elaborated starting from the principles of solid-state physics. This theory has been applied to glass materials. Results show that first, the glass state is an equilibrium state. Accordingly, the properties of a glass can be solely described by the present positions of the atom, irrespective of their previous history. Second, the glass transition, although a nonequilibrium phenomenon, is well described using TCs if the thermal part of the energy is be assumed to be well separated from the structural part. The only dynamic parameter involved in this approach is the relaxation time, which is uniquely determined using the present values of the TCs. Therefore, complicated functions describing the past history are unnecessary. This implies that the activation energy for the structural relaxation strongly depends on TCs. This finding provides a reasonable understanding of the large deviations from the Arrhenius law. The unrealistic values of the activation energy and of the pre-exponential factor of the relaxation time can be resolved on this basis. The theory is particularly suitable for experiments that do not involve hypothetical quantities and models; therefore, all quantities are measurable.


title: A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction

abstract: The adoption of deep neural networks (DNNs) in safety-critical domains has engendered serious reliability concerns. A prominent example is hardware transient faults that are growing in frequency due to the progressive technology scaling, and can lead to failures in DNNs. This work proposes Ranger, a low-cost fault corrector, which directly rectifies the faulty output due to transient faults without re-computation. DNNs are inherently resilient to benign faults (which will not cause output corruption), but not to critical faults (which can result in erroneous output). Ranger is an automated transformation to selectively restrict the value ranges in DNNs, which reduces the large deviations caused by critical faults and transforms them to benign faults that can be tolerated by the inherent resilience of the DNNs. Our evaluation on 8 DNNs demonstrates Ranger significantly increases the error resilience of the DNNs (by 3x to 50x), with no loss in accuracy, and with negligible overheads.


title: Spin-torque switching mechanisms of perpendicular magnetic tunnel junctions nanopillars

abstract: Understanding the magnetization dynamics induced by spin transfer torques in perpendicularly magnetized magnetic tunnel junction nanopillars and its dependence on material parameters is critical to optimizing device performance. Here we present a micromagnetic study of spin-torque switching in a disk-shaped element as a function of the free layer's exchange constant and disk diameter. The switching is shown to generally occur by 1) growth of the magnetization precession amplitude in the element center; 2) an instability in which the reversing region moves to the disk edge, forming a magnetic domain wall; and 3) the motion of the domain wall across the element. For large diameters and small exchange, step 1 leads to a droplet with a fully reversed core that experiences a drift instability (step 2). While in the opposite case (small diameters and large exchange), the central region of the disk is not fully reversed before step 2 occurs. The origin of the micromagnetic structure is shown to be the disk's non-uniform demagnetization field. Faster, more coherence and energy efficient switching occur with larger exchange and smaller disk diameters, showing routes to increase device performance.


title: Higher topological charge and the QCD vacuum

abstract: It is shown that gauge field configurations with higher topological charge modify the structure of the QCD vacuum, which is reflected in its dependence on the CP-violating topological phase $\theta$. To explore this, topological susceptibilities and the production of axion dark matter are studied here. The former characterize the topological charge distribution and are therefore sensitive probes of the topological structure of QCD. The latter depends on the effective potential of axions, which is determined by the $\theta$-dependence of QCD. The production of cold dark matter through the vacuum realignement mechanism of axions can therefore be affected by higher topological charge effects. This is discussed qualitatively in the deconfined phase at high temperatures, where a description based on a dilute gas of instantons with arbitrary topological charge is valid. As a result, topological susceptibilities exhibit a characteristic temperature dependence due to anharmonic modifications of the $\theta$-dependence. Furthermore, multi-instanton effects give rise to a topological mechanism to increase the amount of axion dark matter.


title: Extremal $t$-intersecting families for direct products

abstract: In this paper, by shifting technique we study $t$-intersecting families for direct products where the ground set is divided into several parts. Assuming the size of each part is sufficiently large, we determine all extremal $t$-intersecting families for direct products. We also prove that every largest $t$-intersecting subfamily of a more general family introduced by Katona is trivial under certain conditions.


title: Procedural Reading Comprehension with Attribute-Aware Context Flow

abstract: Procedural texts often describe processes (e.g., photosynthesis and cooking) that happen over entities (e.g., light, food). In this paper, we introduce an algorithm for procedural reading comprehension by translating the text into a general formalism that represents processes as a sequence of transitions over entity attributes (e.g., location, temperature). Leveraging pre-trained language models, our model obtains entity-aware and attribute-aware representations of the text by joint prediction of entity attributes and their transitions. Our model dynamically obtains contextual encodings of the procedural text exploiting information that is encoded about previous and current states to predict the transition of a certain attribute which can be identified as a span of text or from a pre-defined set of classes. Moreover, our model achieves state of the art results on two procedural reading comprehension datasets, namely ProPara and npn-cooking


title: Making It Rain: How Giving Me Telescope Time Can Reduce Drought

abstract: In this paper we assess the correlation between recent observing runs (2018 and 2019) and inclement weather, and demonstrate that these observing runs have seen much more rainfall than would otherwise be expected, an increase of over 200%. We further look at a number of observatory sites in areas that are facing or will face drought, and suggest that a strong environmental benefit would follow from telescope allocation committees providing us an inordinate amount of telescope time at facilities located around the globe.


title: MUXConv: Information Multiplexing in Convolutional Neural Networks

abstract: Convolutional neural networks have witnessed remarkable improvements in computational efficiency in recent years. A key driving force has been the idea of trading-off model expressivity and efficiency through a combination of $1\times 1$ and depth-wise separable convolutions in lieu of a standard convolutional layer. The price of the efficiency, however, is the sub-optimal flow of information across space and channels in the network. To overcome this limitation, we present MUXConv, a layer that is designed to increase the flow of information by progressively multiplexing channel and spatial information in the network, while mitigating computational complexity. Furthermore, to demonstrate the effectiveness of MUXConv, we integrate it within an efficient multi-objective evolutionary algorithm to search for the optimal model hyper-parameters while simultaneously optimizing accuracy, compactness, and computational efficiency. On ImageNet, the resulting models, dubbed MUXNets, match the performance (75.3% top-1 accuracy) and multiply-add operations (218M) of MobileNetV3 while being 1.6$\times$ more compact, and outperform other mobile models in all the three criteria. MUXNet also performs well under transfer learning and when adapted to object detection. On the ChestX-Ray 14 benchmark, its accuracy is comparable to the state-of-the-art while being $3.3\times$ more compact and $14\times$ more efficient. Similarly, detection on PASCAL VOC 2007 is 1.2% more accurate, 28% faster and 6% more compact compared to MobileNetV2. Code is available from https://github.com/human-analysis/MUXConv


title: Information-Theoretic Lower Bounds for Zero-Order Stochastic Gradient Estimation

abstract: In this paper we analyze the necessary number of samples to estimate the gradient of any multidimensional smooth (possibly non-convex) function in a zero-order stochastic oracle model. In this model, an estimator has access to noisy values of the function, in order to produce the estimate of the gradient. We also provide an analysis on the sufficient number of samples for the finite difference method, a classical technique in numerical linear algebra. For $T$ samples and $d$ dimensions, our information-theoretic lower bound is $\Omega(\sqrt{d/T})$. We show that the finite difference method for a bounded-variance oracle has rate $O(d^{4/3}/\sqrt{T})$ for functions with zero third and higher order derivatives. These rates are tight for Gaussian oracles. Thus, the finite difference method is not minimax optimal, and therefore there is space for the development of better gradient estimation methods.


title: Investigating the diffractive gluon jet production in lepton-ion collisions

abstract: We study the diffractive jet production in electron-ion collisions in the kinematical region where the mass $M_X$ of the diffractive final state is larger than $Q^2$. Based on parton saturation framework predictions are done for the kinematics of future or possible $eA$ machines as the EIC, LHeC, HE-LHeC and FCC-eA. We analyze the differential cross section as a function of jet (gluon) transverse momentum and from the experimental point of view this observable could be used to extract the saturation scale as a function of $x_{I\!\!P}$.


title: Autonomous Cave Surveying with an Aerial Robot

abstract: This paper presents a method for cave surveying in total darkness using an autonomous aerial vehicle equipped with a depth camera for mapping, downward-facing camera for state estimation, and forward and downward lights. Traditional methods of cave surveying are labor-intensive and dangerous due to the risk of hypothermia when collecting data over extended periods of time in cold and damp environments, the risk of injury when operating in darkness in rocky or muddy environments, and the potential structural instability of the subterranean environment. Although these dangers can be mitigated by deploying robots to map dangerous passages and voids, real-time feedback is often needed to operate robots safely and efficiently. Few state-of-the-art, high-resolution perceptual modeling techniques attempt to reduce their high bandwidth requirements to work well with low bandwidth communication channels. To bridge this gap in the state of the art, this work compactly represents sensor observations as Gaussian mixture models and maintains a local occupancy grid map for a motion planner that greedily maximizes an information-theoretic objective function. The approach accommodates both limited field of view depth cameras and larger field of view LiDAR sensors and is extensively evaluated in long duration simulations on an embedded PC. An aerial system is leveraged to demonstrate the repeatability of the approach in a flight arena as well as the effects of communication dropouts. Finally, the system is deployed in Laurel Caverns, a commercially owned and operated cave in southwestern Pennsylvania, USA, and a wild cave in West Virginia, USA.


title: SOFIA-EXES Observations of Betelgeuse during the Great Dimming of 2019/2020

abstract: In 2019 October Betelgeuse began a decline in V-band brightness that went beyond the minimum expected from its quasi-periodic ~420 day cycle, becoming the faintest in recorded photometric history. Observations obtained in 2019 December with VLT/SPHERE (Montarges 2020) have shown that the southern half of the star has become markedly fainter than in 2019 January indicating that a major change has occurred in, or near, the photosphere. We present SOFIA-EXES high spectral-resolution observations of [Fe II] 25.99 mic and [S I] 25.25 mic emission lines from Betelgeuse obtained during the unprecedented 2020 February V-band brightness minimum to investigate potential changes in the circumstellar flow. These spectra are compared to observations obtained in 2015 and 2017 when the V magnitude was typical of brighter phases. We find only very small changes in the gas velocities reflected by either of the line profiles, no significant changes in the flux to continuum ratios, and hence no significant changes in the [Fe II]/[S I] flux ratios. There is evidence that absorption features have appeared in the 2020 continuum. The Alfven wave-crossing time from the upper-photosphere is sufficiently long that one would not expect a change in the large scale magnetic field to reach the circumstellar [Fe II] and [S I] line forming regions, 3 < R(R*) < 20. However, the light-crossing time is of order a few hours and a reduction in luminosity may reduce the dust-gas heating rate and [O I] 63.19 mic emission which has contributions from R > 20R*, where significant circumstellar oxygen-rich dust is observed.


title: Localising elastic edge waves via the topological rainbow effect

abstract: We combine two different fields, topological physics and graded metamaterials to design a topological metasurface to control and redirect elastic waves. We strategically design a two-dimensional crystalline perforated elastic plate, using a square lattice, %consisting of bore holes, that hosts symmetry-induced topological edge states. By concurrently allowing the elastic substrate to spatially vary in depth, we are able to convert the incident slow wave into a series of robust modes, with differing envelope modulations. This adiabatic transition localises the incoming energy into a concentrated region where it can then be damped or extracted. For larger transitions, different behaviour is observed; the incoming energy propagates along the interface before being partitioned into two disparate chiral beams. This "topological rainbow" effect leverages two main concepts, namely the quantum valley-Hall effect and the rainbow effect usually associated with electromagnetic metamaterials. The topological rainbow effect transcends specific physical systems, hence, the phenomena we describe can be transposed to other wave physics. Due to the directional tunability of the elastic energy by geometry our results have far-reaching implications for applications such as switches, filters and energy-harvesters.


title: TITAN: Future Forecast using Action Priors

abstract: We consider the problem of predicting the future trajectory of scene agents from egocentric views obtained from a moving platform. This problem is important in a variety of domains, particularly for autonomous systems making reactive or strategic decisions in navigation. In an attempt to address this problem, we introduce TITAN (Trajectory Inference using Targeted Action priors Network), a new model that incorporates prior positions, actions, and context to forecast future trajectory of agents and future ego-motion. In the absence of an appropriate dataset for this task, we created the TITAN dataset that consists of 700 labeled video-clips (with odometry) captured from a moving vehicle on highly interactive urban traffic scenes in Tokyo. Our dataset includes 50 labels including vehicle states and actions, pedestrian age groups, and targeted pedestrian action attributes that are organized hierarchically corresponding to atomic, simple/complex-contextual, transportive, and communicative actions. To evaluate our model, we conducted extensive experiments on the TITAN dataset, revealing significant performance improvement against baselines and state-of-the-art algorithms. We also report promising results from our Agent Importance Mechanism (AIM), a module which provides insight into assessment of perceived risk by calculating the relative influence of each agent on the future ego-trajectory. The dataset is available at https://usa.honda-ri.com/titan


title: Twistor representation of Jackiw-Teitelboim gravity

abstract: Jackiw-Teitelboim (JT) gravity is a 1+1-dimensional toy model for quantum gravity in four spacetime dimensions. In the absence of matter, JT gravity is a topological field theory and there are no local observables. The introduction of a boundary changes the situation. What was a un-physical gauge direction before turns into a physical boundary degree of freedom (a gravitational edge mode). Starting from the BF formulation of JT gravity, we develop a twistor representation for the boundary charges of JT gravity. We introduce point sources in the bulk and study the coupled gravity plus matter system at the quantum level. Eigenstates of quasi-local energy are built from the tensor product of unitary irreducible representations of SL(2,R). Empty patches of AdS2 are characterised by the continuous series representations, point sources are related to the discrete series. Physical states are constructed by fusing the SL(2,R) representations into an SL(2,R) invariant singlet. The singlet lies in the kernel of the constraints, which are the analogue of the Wheeler-DeWitt equations in the presence of distributional matter sources.


title: Modelling and understanding count processes through a Markov-modulated non-homogeneous Poisson process framework

abstract: The Markov-modulated Poisson process is utilised for count modelling in a variety of areas such as queueing, reliability, network and insurance claims analysis. In this paper, we extend the Markov-modulated Poisson process framework through the introduction of a flexible frequency perturbation measure. This contribution enables known information of observed event arrivals to be naturally incorporated in a tractable manner, while the hidden Markov chain captures the effect of unobservable drivers of the data. In addition to increases in accuracy and interpretability, this method supplements analysis of the latent factors. Further, this procedure naturally incorporates data features such as over-dispersion and autocorrelation. Additional insights can be generated to assist analysis, including a procedure for iterative model improvement. Implementation difficulties are also addressed with a focus on dealing with large data sets, where latent models are especially advantageous due the large number of observations facilitating identification of hidden factors. Namely, computational issues such as numerical underflow and high processing cost arise in this context and in this paper, we produce procedures to overcome these problems. This modelling framework is demonstrated using a large insurance data set to illustrate theoretical, practical and computational contributions and an empirical comparison to other count models highlight the advantages of the proposed approach.


title: EAGLE and Illustris-TNG predictions for resolved eROSITA X-ray observations of the circumgalactic medium around normal galaxies

abstract: We simulate stacked observations of nearby hot X-ray coronae associated with galaxies in the EAGLE and Illustris-TNG hydrodynamic simulations. A forward modeling pipeline is developed to predict 4-year eROSITA observations and stacked image analysis, including the effects of instrumental and astrophysical backgrounds. We propose an experiment to stack z~0.01 galaxies separated by specific star-formation rate (sSFR) to examine how the hot (T>=10^6 K) circumgalactic medium (CGM) differs for high- and low-sSFR galaxies. The simulations indicate that the hot CGM of low-mass (M_*~10^{10.5} Msol), high-sSFR (defined as the top one-third ranked by sSFR) central galaxies will be detectable to a galactocentric radius r~30-50 kpc. Both simulations predict lower luminosities at fixed stellar mass for the low-sSFR galaxies (the lower third of sSFR) with Illustris-TNG predicting 3x brighter coronae around high-sSFR galaxies than EAGLE. Both simulations predict detectable emission out to r~150-200 kpc for stacks centered on high-mass (M_*~10^{11.0} Msol) galaxies, with EAGLE predicting brighter X-ray halos. The extended soft X-ray luminosity correlates strongly and positively with the mass of circumgalactic gas within the virial radius (f_{CGM}). Prior analyses of both simulations have established that f_{CGM} is reduced by expulsive feedback driven mainly by black hole growth, which quenches galaxy growth by inhibiting replenishment of the ISM. Both simulations predict that eROSITA stacks should not only conclusively detect and resolve the hot CGM around L^* galaxies for the first time, but provide a powerful probe of how the baryon cycle operates, for which there remains an absence of consensus between state-of-the-art simulations.


title: Robust predictive model for Carriers, Infections and Recoveries (CIR): predicting death rates for CoVid-19 in Spain

abstract: This article presents a new model to predict the evolution of infective diseases under uncertainty or low-quality information, just as it has happened in the initial scenario during the CoVid-19 spread in China and Europe. The model has been used to predict the death rate in Spain but can be used to predict the demand of ICUs or mechanical ventilators under different restraint policies. The main novelty of the model is that it keeps track of the date of infection of a single individual and uses stochastic distributions to aggregate individuals who share the same date of infection. In addition, it uses two types of infections, mild and serious, with a different recovery time. These features are implemented in a set of differential equations which determine the number of Carriers, Infections, Recoveries, Hospitalized and Deaths. Comparison with real data shows good agreement.


title: LAMOST J040643.69+542347.8: the fastest Rotator in the Galaxy

abstract: Rotation and binary interaction play important roles in understanding the nature of massive stars (>8 Msun). Some interesting transients, such as the long-duration gamma-ray bursts, are thought to be originated from fast-rotating massive stars. Because the strong stellar wind can effectively spin down a metal-rich massive star with fast rotation, it is very hard to find single massive stars rotating critically in the Galaxy. In the present work reported is the discovery of the fastest rotator in the Galaxy, LAMOST J040643.69+542347.8, with a projected rotational velocity vsini ~540 km/s, which is ~ 100 km/s faster than that of the previous record holder HD 191423. The star has a spectral type of O6.5 Vnnn(f)p. Its He I 4471 absorption line is blueshifted and asymmetric, while its He II 4686 and Ha have central absorption reversals in their emissions. It is also a runaway star, which implies an origin in a close binary interaction. Compared to VFTS 285 and VFTS 102 (their vsini ~ 610 km/s) in the Large Magellanic Cloud, LAMOST J040643.69+542347.8 has its own peculiar spectral characteristics and earlier spectral type. Moreover, LAMOST J040643.69+542347.8 is bright (B ~ 13.9 mag) enough to allow future high-resolution spectroscopic follow-ups.


title: Electron-Positron Collider Design -- simulations from long proton driven beam to 125GeV witness electron and positron bunches

abstract: In this paper, the feasibility of the electron-positron collider based on plasma accelerator is proved by simulation experiments. Starting from the 17.612cm proton beam provided by SPS (super proton synchrotron), the simulation shows that the long proton beam can form several high quality proton bunches through seeded self-modulation in the first half of the long proton beam in a uniform plasma. Then we use these high-quality bunches to excite the wakefield in a uniform plasma and accelerate witness positrons and witness electrons. The simulation results show that the average energy of witness bunches after about 90 meters acceleration is about 125 GeV, and the average acceleration gradient is about 1.3 GeV/m. The center-of-mass (CoM) energy of positron-electron collision is about 125 GeV. The energy spread, witness particle survival rate, emittances and luminorsity of the output witness bunches are also discussed.


title: Local and $2$-local automorphisms of simple generalized Witt algebras

abstract: In this paper, we prove that every invertible $2$-local or local automorphism of a simple generalized Witt algebra over any field of characteristic $0$ is an automorphism. In particular, every $2$-local or local automorphism of Witt algebras $W_n$ is an automorphism for all $n\in \mathbb{N}$. But some simple generalized Witt algebras indeed have $2$-local (and local) automorphisms that are not automorphisms.


title: Social Media Mining Toolkit (SMMT)

abstract: There has been a dramatic increase in the popularity of utilizing social media data for research purposes within the biomedical community. In PubMed alone, there have been nearly 2,500 publication entries since 2014 that deal with analyzing social media data from Twitter and Reddit. However, the vast majority of those works do not share their code or data for replicating their studies. With minimal exceptions, the few that do, place the burden on the researcher to figure out how to fetch the data, how to best format their data, and how to create automatic and manual annotations on the acquired data. In order to address this pressing issue, we introduce the Social Media Mining Toolkit (SMMT), a suite of tools aimed to encapsulate the cumbersome details of acquiring, preprocessing, annotating and standardizing social media data. The purpose of our toolkit is for researchers to focus on answering research questions, and not the technical aspects of using social media data. By using a standard toolkit, researchers will be able to acquire, use, and release data in a consistent way that is transparent for everybody using the toolkit, hence, simplifying research reproducibility and accessibility in the social media domain.


title: Reflected Schr\"odinger Bridge: Density Control with Path Constraints

abstract: How to steer a given joint state probability density function to another over finite horizon subject to a controlled stochastic dynamics with hard state (sample path) constraints? In applications, state constraints may encode safety requirements such as obstacle avoidance. In this paper, we perform the feedback synthesis for minimum control effort density steering (a.k.a. Schr\"{o}dinger bridge) problem subject to state constraints. We extend the theory of Schr\"{o}dinger bridges to account the reflecting boundary conditions for the sample paths, and provide a computational framework building on our previous work on proximal recursions, to solve the same.

categories: math.OC cs.LG cs.SY eess.SY math-ph math.MP


title: Robust Multiple-Path Orienteering Problem: Securing Against Adversarial Attacks

abstract: The multiple-path orienteering problem asks for paths for a team of robots that maximize the total reward collected while satisfying budget constraints on the path length. This problem models many multi-robot routing tasks such as exploring unknown environments and information gathering for environmental monitoring. In this paper, we focus on how to make the robot team robust to failures when operating in adversarial environments. We introduce the Robust Multiple-path Orienteering Problem (RMOP) where we seek worst-case guarantees against an adversary that is capable of attacking at most $\alpha$ robots. We consider two versions of this problem: RMOP offline and RMOP online. In the offline version, there is no communication or replanning when robots execute their plans and our main contribution is a general approximation scheme with a bounded approximation guarantee that depends on $\alpha$ and the approximation factor for single robot orienteering. In particular, we show that the algorithm yields a (i) constant-factor approximation when the cost function is modular; (ii) $\log$ factor approximation when the cost function is submodular; and (iii) constant-factor approximation when the cost function is submodular but the robots are allowed to exceed their path budgets by a bounded amount. In the online version, RMOP is modeled as a two-player sequential game and solved adaptively in a receding horizon fashion based on Monte Carlo Tree Search (MCTS). In addition to theoretical analysis, we perform simulation studies for ocean monitoring and tunnel information-gathering applications to demonstrate the efficacy of our approach.


title: Privacy-aware Data Trading

abstract: The growing threat of personal data breach in data trading pinpoints an urgent need to develop countermeasures for preserving individual privacy. The state-of-the-art work either endows the data collector with the responsibility of data privacy or reports only a privacy-preserving version of the data. The basic assumption of the former approach that the data collector is trustworthy does not always hold true in reality, whereas the latter approach reduces the value of data. In this paper, we investigate the privacy leakage issue from the root source. Specifically, we take a fresh look to reverse the inferior position of the data provider by making her dominate the game with the collector to solve the dilemma in data trading. To that aim, we propose the noisy-sequentially zero-determinant (NSZD) strategies by tailoring the classical zero-determinant strategies, originally designed for the simultaneous-move game, to adapt to the noisy sequential game. NSZD strategies can empower the data provider to unilaterally set the expected payoff of the data collector or enforce a positive relationship between her and the data collector's expected payoffs. Both strategies can stimulate a rational data collector to behave honestly, boosting a healthy data trading market. Numerical simulations are used to examine the impacts of key parameters and the feasible region where the data provider can be an NSZD player. Finally, we prove that the data collector cannot employ NSZD to further dominate the data market for deteriorating privacy leakage.


title: Edge Guided GANs with Contrastive Learning for Semantic Image Synthesis

abstract: We propose a novel ECGAN for the challenging semantic image synthesis task. Although considerable improvement has been achieved, the quality of synthesized images is far from satisfactory due to three largely unresolved challenges. 1) The semantic labels do not provide detailed structural information, making it difficult to synthesize local details and structures. 2) The widely adopted CNN operations such as convolution, down-sampling, and normalization usually cause spatial resolution loss and thus cannot fully preserve the original semantic information, leading to semantically inconsistent results. 3) Existing semantic image synthesis methods focus on modeling local semantic information from a single input semantic layout. However, they ignore global semantic information of multiple input semantic layouts, i.e., semantic cross-relations between pixels across different input layouts. To tackle 1), we propose to use edge as an intermediate representation which is further adopted to guide image generation via a proposed attention guided edge transfer module. Edge information is produced by a convolutional generator and introduces detailed structure information. To tackle 2), we design an effective module to selectively highlight class-dependent feature maps according to the original semantic layout to preserve the semantic information. To tackle 3), inspired by current methods in contrastive learning, we propose a novel contrastive learning method, which aims to enforce pixel embeddings belonging to the same semantic class to generate more similar image content than those from different classes. Doing so can capture more semantic relations by explicitly exploring the structures of labeled pixels from multiple input semantic layouts. Experiments on three challenging datasets show that our ECGAN achieves significantly better results than state-of-the-art methods.


title: Riemann-Hilbert problem associated with the fourth-order dispersive nonlinear Schr\"{o}dinger equation in optics and magnetic mechanics

abstract: In this paper, we utilize Fokas method to investigate the initial-boundary value problems (IBVPs) of the fourth-order dispersive nonlinear Schr\"{o}dinger (FODNLS) equation on the half-line, which can simulate the nonlinear transmission and interaction of ultrashort pulses in the high-speed optical fiber transmission system, and describe the nonlinear spin excitation phenomenon of one-dimensional Heisenberg ferromagnetic chain with eight poles and dipole interaction. By discussing the eigenfunctions of Lax pair of FODNLS equation and the analysis and symmetry of the scattering matrix, the IBVPs of FODNLS equation is expressed as a matrix Riemann-Hilbert (RH) problem form. Then one can get the potential function solution $u(x,t)$ of the FODNLS equation by solving this matrix RH problem. In addition, we also obtained that some spectral functions admits a key global relationship.


title: A large-scale Twitter dataset for drug safety applications mined from publicly existing resources

abstract: With the increase in popularity of deep learning models for natural language processing (NLP) tasks, in the field of Pharmacovigilance, more specifically for the identification of Adverse Drug Reactions (ADRs), there is an inherent need for large-scale social-media datasets aimed at such tasks. With most researchers allocating large amounts of time to crawl Twitter or buying expensive pre-curated datasets, then manually annotating by humans, these approaches do not scale well as more and more data keeps flowing in Twitter. In this work we re-purpose a publicly available archived dataset of more than 9.4 billion Tweets with the objective of creating a very large dataset of drug usage-related tweets. Using existing manually curated datasets from the literature, we then validate our filtered tweets for relevance using machine learning methods, with the end result of a publicly available dataset of 1,181,993 million tweets for public use. We provide all code and detailed procedure on how to extract this dataset and the selected tweet ids for researchers to use.


title: COVID-19 infection and recovery in various countries: Modeling the dynamics and evaluating the non-pharmaceutical mitigation scenarios

abstract: The coronavirus disease 2019 (COVID-19) pandemic radically impacts our lives, while the transmission/infection and recovery dynamics of COVID-19 remain obscure. A time-dependent Susceptible, Exposed, Infectious, and Recovered (SEIR) model was proposed and applied to fit and then predict the time series of COVID-19 evolution observed in the last three months (till 3/22/2020) in various provinces and metropolises in China. The model results revealed the space dependent transmission/infection rate and the significant spatiotemporal variation in the recovery rate, likely due to the continuous improvement of screening techniques and public hospital systems, as well as full city lockdowns in China. The validated SEIR model was then applied to predict COVID-19 evolution in United States, Italy, Japan, and South Korea which have responded differently to monitoring and mitigating COVID-19 so far, although these predictions contain high uncertainty due to the intrinsic change of the maximum infected population and the infection/recovery rates within the different countries. In addition, a stochastic model based on the random walk particle tracking scheme, analogous to a mixing-limited bimolecular reaction model, was developed to evaluate non-pharmaceutical strategies to mitigate COVID-19 spread. Preliminary tests using the stochastic model showed that self-quarantine may not be as efficient as strict social distancing in slowing COVID-19 spread, if not all of the infected people can be promptly diagnosed and quarantined.


title: DeepGS: Deep Representation Learning of Graphs and Sequences for Drug-Target Binding Affinity Prediction

abstract: Accurately predicting drug-target binding affinity (DTA) in silico is a key task in drug discovery. Most of the conventional DTA prediction methods are simulation-based, which rely heavily on domain knowledge or the assumption of having the 3D structure of the targets, which are often difficult to obtain. Meanwhile, traditional machine learning-based methods apply various features and descriptors, and simply depend on the similarities between drug-target pairs. Recently, with the increasing amount of affinity data available and the success of deep representation learning models on various domains, deep learning techniques have been applied to DTA prediction. However, these methods consider either label/one-hot encodings or the topological structure of molecules, without considering the local chemical context of amino acids and SMILES sequences. Motivated by this, we propose a novel end-to-end learning framework, called DeepGS, which uses deep neural networks to extract the local chemical context from amino acids and SMILES sequences, as well as the molecular structure from the drugs. To assist the operations on the symbolic data, we propose to use advanced embedding techniques (i.e., Smi2Vec and Prot2Vec) to encode the amino acids and SMILES sequences to a distributed representation. Meanwhile, we suggest a new molecular structure modeling approach that works well under our framework. We have conducted extensive experiments to compare our proposed method with state-of-the-art models including KronRLS, SimBoost, DeepDTA and DeepCPI. Extensive experimental results demonstrate the superiorities and competitiveness of DeepGS.


title: Learning Oracle Attention for High-fidelity Face Completion

abstract: High-fidelity face completion is a challenging task due to the rich and subtle facial textures involved. What makes it more complicated is the correlations between different facial components, for example, the symmetry in texture and structure between both eyes. While recent works adopted the attention mechanism to learn the contextual relations among elements of the face, they have largely overlooked the disastrous impacts of inaccurate attention scores; in addition, they fail to pay sufficient attention to key facial components, the completion results of which largely determine the authenticity of a face image. Accordingly, in this paper, we design a comprehensive framework for face completion based on the U-Net structure. Specifically, we propose a dual spatial attention module to efficiently learn the correlations between facial textures at multiple scales; moreover, we provide an oracle supervision signal to the attention module to ensure that the obtained attention scores are reasonable. Furthermore, we take the location of the facial components as prior knowledge and impose a multi-discriminator on these regions, with which the fidelity of facial components is significantly promoted. Extensive experiments on two high-resolution face datasets including CelebA-HQ and Flickr-Faces-HQ demonstrate that the proposed approach outperforms state-of-the-art methods by large margins.


title: Attack of the Genes: Finding Keys and Parameters of Locked Analog ICs Using Genetic Algorithm

abstract: Hardware intellectual property (IP) theft is a major issue in today's globalized supply chain. To address it, numerous logic locking and obfuscation techniques have been proposed. While locking initially focused on digital integrated circuits (ICs), there have been recent attempts to extend it to analog ICs, which are easier to reverse engineer and to copy than digital ICs. In this paper, we use algorithms based on evolutionary strategies to investigate the security of analog obfuscation/locking techniques. We present a genetic algorithm (GA) approach which is capable of completely breaking a locked analog circuit by finding either its obfuscation key or its obfuscated parameters. We implement both the GA attack as well as a more naive satisfiability modulo theory (SMT)-based attack on common analog benchmark circuits obfuscated by combinational locking and parameter biasing. We find that GA attack can unlock all the circuits using only the locked netlist and an unlocked chip in minutes. On the other hand, while the SMT attack converges faster, it requires circuit specification to execute and it also returns multiple keys that need to be brute-forced by a post-processing step. We also discuss how the GA attack can generalize to other recent analog locking techniques not tested in the paper


title: Connecting fluctuation measurements in heavy-ion collisions with the grand-canonical susceptibilities

abstract: We derive the relation between cumulants of a conserved charge measured in a subvolume of a thermal system and the corresponding grand-canonical susceptibilities, taking into account exact global conservation of that charge. The derivation is presented for an arbitrary equation of state, with the assumption that the subvolume is sufficiently large to be close to the thermodynamic limit. Our framework -- the subensemble acceptance method (SAM) -- quantifies the effect of global conservation laws and is an important step toward a direct comparison between cumulants of conserved charges measured in central heavy ion collisions and theoretical calculations of grand-canonical susceptibilities, such as lattice QCD. As an example, we apply our formalism to net-baryon fluctuations at vanishing baryon chemical potentials as encountered in collisions at the LHC and RHIC.


title: Quantum sensing with milligram scale optomechanical systems

abstract: Probing the boundary between classical and quantum mechanics has been one of the central themes in modern physics. Recently, experiments to precisely measure the force acting on milligram scale oscillators with optical cavities are attracting interest as promising tools to test quantum mechanics, decoherence mechanisms, and gravitational physics. In this paper, we review the present status of experiments using milligram scale optomechanical systems. We compare the feasibility of reaching the quantum regime with a pendulum, torsion pendulum, and optically levitated mirror. Considerations for designing a high $Q$ pendulum, condition for torsion pendulums to have better force sensitivity than pendulums, and constraints in designing optical levitation of a mirror are presented.


title: A first look at COVID-19 information and misinformation sharing on Twitter

abstract: Since December 2019, COVID-19 has been spreading rapidly across the world. Not surprisingly, conversation about COVID-19 is also increasing. This article is a first look at the amount of conversation taking place on social media, specifically Twitter, with respect to COVID-19, the themes of discussion, where the discussion is emerging from, myths shared about the virus, and how much of it is connected to other high and low quality information on the Internet through shared URL links. Our preliminary findings suggest that a meaningful spatio-temporal relationship exists between information flow and new cases of COVID-19, and while discussions about myths and links to poor quality information exist, their presence is less dominant than other crisis specific themes. This research is a first step toward understanding social media conversation about COVID-19.


title: Covariance-Robust Dynamic Watermarking

abstract: Attack detection and mitigation strategies for cyberphysical systems (CPS) are an active area of research, and researchers have developed a variety of attack-detection tools such as dynamic watermarking. However, such methods often make assumptions that are difficult to guarantee, such as exact knowledge of the distribution of measurement noise. Here, we develop a new dynamic watermarking method that we call covariance-robust dynamic watermarking, which is able to handle uncertainties in the covariance of measurement noise. Specifically, we consider two cases. In the first this covariance is fixed but unknown, and in the second this covariance is slowly-varying. For our tests, we only require knowledge of a set within which the covariance lies. Furthermore, we connect this problem to that of algorithmic fairness and the nascent field of fair hypothesis testing, and we show that our tests satisfy some notions of fairness. Finally, we exhibit the efficacy of our tests on empirical examples chosen to reflect values observed in a standard simulation model of autonomous vehicles.