title: Why Does a Visual Question Have Different Answers?

abstract: Visual question answering is the task of returning the answer to a question about an image. A challenge is that different people often provide different answers to the same visual question. To our knowledge, this is the first work that aims to understand why. We propose a taxonomy of nine plausible reasons, and create two labelled datasets consisting of ~45,000 visual questions indicating which reasons led to answer differences. We then propose a novel problem of predicting directly from a visual question which reasons will cause answer differences as well as a novel algorithm for this purpose. Experiments demonstrate the advantage of our approach over several related baselines on two diverse datasets. We publicly share the datasets and code at https://vizwiz.org.


title: En busca de los efectos gravitacionales de Birkhoff: la ultracentr{\i}fuga transelastica

abstract: This work reviews the origin, development, completion, and outcome of a trans-elastic ultracentrifuge project of Mexico's Nuclear Center through 1971 to 1986. The project had its origin in the search for an effect that supposedly would validate Birkhoff's gravity theory over Einstein's General Relativity. For this purpose an extraordinary ultracentrifuge was built which deserved the 1973 National Award for Instruments (Mexico). The ultracentrifuge was also used to investigate the feasibility of uranium enrichment by solid state centrifugation. Highly enriched uranium was obtained, but in small quantities.


title: Interior Object Detection and Color Harmonization

abstract: Confused about renovating your space? Choosing the perfect color for your walls is always a challenging task. One does rounds of color consultation and several patch tests. This paper proposes an AI tool to pitch paint based on attributes of your room and other furniture, and visualize it on your walls. It makes the color selection process easy. It takes in images of a room, detects furniture objects using YOLO object detection. Once these objects have been detected, the tool picks out color of the object. Later this object specific information gets appended to the room attributes (room_type, room_size, preferred_tone, etc) and a deep neural net is trained to make predictions for color/texture/wallpaper for the walls. Finally, these predictions are visualized on the walls from the images provided. The idea is to take the knowledge of a color consultant and pitch colors that suit the walls and provide a good contrast with the furniture and harmonize with different colors in the room. Transfer learning for YOLO object detection from the COCO dataset was used as a starting point and the weights were later fine-tuned by training on additional images. The model was trained on 1000 records listing the room and furniture attributes, to predict colors. Given the room image, this method finds the best color scheme for the walls. These predictions are then visualized on the walls in the image using image segmentation. The results are visually appealing and automatically enhance the color look-and-feel.


title: Repetitive Reprediction Deep Decipher for Semi-Supervised Learning

abstract: Most recent semi-supervised deep learning (deep SSL) methods used a similar paradigm: use network predictions to update pseudo-labels and use pseudo-labels to update network parameters iteratively. However, they lack theoretical support and cannot explain why predictions are good candidates for pseudo-labels. In this paper, we propose a principled end-to-end framework named deep decipher (D2) for SSL. Within the D2 framework, we prove that pseudo-labels are related to network predictions by an exponential link function, which gives a theoretical support for using predictions as pseudo-labels. Furthermore, we demonstrate that updating pseudo-labels by network predictions will make them uncertain. To mitigate this problem, we propose a training strategy called repetitive reprediction (R2). Finally, the proposed R2-D2 method is tested on the large-scale ImageNet dataset and outperforms state-of-the-art methods by 5 percentage points.


title: SkrGAN: Sketching-rendering Unconditional Generative Adversarial Networks for Medical Image Synthesis

abstract: Generative Adversarial Networks (GANs) have the capability of synthesizing images, which have been successfully applied to medical image synthesis tasks. However, most of existing methods merely consider the global contextual information and ignore the fine foreground structures, e.g., vessel, skeleton, which may contain diagnostic indicators for medical image analysis. Inspired by human painting procedure, which is composed of stroking and color rendering steps, we propose a Sketching-rendering Unconditional Generative Adversarial Network (SkrGAN) to introduce a sketch prior constraint to guide the medical image generation. In our SkrGAN, a sketch guidance module is utilized to generate a high quality structural sketch from random noise, then a color render mapping is used to embed the sketch-based representations and resemble the background appearances. Experimental results show that the proposed SkrGAN achieves the state-of-the-art results in synthesizing images for various image modalities, including retinal color fundus, X-Ray, Computed Tomography (CT) and Magnetic Resonance Imaging (MRI). In addition, we also show that the performances of medical image segmentation method have been improved by using our synthesized images as data augmentation.


title: Enforcing Perceptual Consistency on Generative Adversarial Networks by Using the Normalised Laplacian Pyramid Distance

abstract: In recent years there has been a growing interest in image generation through deep learning. While an important part of the evaluation of the generated images usually involves visual inspection, the inclusion of human perception as a factor in the training process is often overlooked. In this paper we propose an alternative perceptual regulariser for image-to-image translation using conditional generative adversarial networks (cGANs). To do so automatically (avoiding visual inspection), we use the Normalised Laplacian Pyramid Distance (NLPD) to measure the perceptual similarity between the generated image and the original image. The NLPD is based on the principle of normalising the value of coefficients with respect to a local estimate of mean energy at different scales and has already been successfully tested in different experiments involving human perception. We compare this regulariser with the originally proposed L1 distance and note that when using NLPD the generated images contain more realistic values for both local and global contrast. We found that using NLPD as a regulariser improves image segmentation accuracy on generated images as well as improving two no-reference image quality metrics.


title: What's in the box? Explaining the black-box model through an evaluation of its interpretable features

abstract: Algorithms are powerful and necessary tools behind a large part of the information we use every day. However, they may introduce new sources of bias, discrimination and other unfair practices that affect people who are unaware of it. Greater algorithm transparency is indispensable to provide more credible and reliable services. Moreover, requiring developers to design transparent algorithm-driven applications allows them to keep the model accessible and human understandable, increasing the trust of end users. In this paper we present EBAnO, a new engine able to produce prediction-local explanations for a black-box model exploiting interpretable feature perturbations. EBAnO exploits the hypercolumns representation together with the cluster analysis to identify a set of interpretable features of images. Furthermore two indices have been proposed to measure the influence of input features on the final prediction made by a CNN model. EBAnO has been preliminarily tested on a set of heterogeneous images. The results highlight the effectiveness of EBAnO in explaining the CNN classification through the evaluation of interpretable features influence.


title: A fast multi-object tracking system using an object detector ensemble

abstract: Multiple-Object Tracking (MOT) is of crucial importance for applications such as retail video analytics and video surveillance. Object detectors are often the computational bottleneck of modern MOT systems, limiting their use for real-time applications. In this paper, we address this issue by leveraging on an ensemble of detectors, each running every f frames. We measured the performance of our system in the MOT16 benchmark. The proposed model surpassed other online entries of the MOT16 challenge in speed, while maintaining an acceptable accuracy.


title: Earth as an Exoplanet: A Two-dimensional Alien Map

abstract: Resolving spatially-varying exoplanet features from single-point light curves is essential for determining whether Earth-like worlds harbor geological features and/or climate systems that influence habitability. To evaluate the feasibility and requirements of this spatial feature resolving problem, we present an analysis of multi-wavelength single-point light curves of Earth, where it plays the role of a proxy exoplanet. Here, ~10,000 DSCOVR/EPIC frames collected over a two-year period were integrated over the Earth's disk to yield a spectrally-dependent point source and analyzed using singular value decomposition. We found that, between the two dominant principal components (PCs), the second PC contains surface-related features of the planet, while the first PC mainly includes cloud information. We present the first two-dimensional (2D) surface map of Earth reconstructed from light curve observations without any assumptions of its spectral properties. This study serves as a baseline for reconstructing the surface features of Earth-like exoplanets in the future.


title: Explaining Convolutional Neural Networks using Softmax Gradient Layer-wise Relevance Propagation

abstract: Convolutional Neural Networks (CNN) have become state-of-the-art in the field of image classification. However, not everything is understood about their inner representations. This paper tackles the interpretability and explainability of the predictions of CNNs for multi-class classification problems. Specifically, we propose a novel visualization method of pixel-wise input attribution called Softmax-Gradient Layer-wise Relevance Propagation (SGLRP). The proposed model is a class discriminate extension to Deep Taylor Decomposition (DTD) using the gradient of softmax to back propagate the relevance of the output probability to the input image. Through qualitative and quantitative analysis, we demonstrate that SGLRP can successfully localize and attribute the regions on input images which contribute to a target object's classification. We show that the proposed method excels at discriminating the target objects class from the other possible objects in the images. We confirm that SGLRP performs better than existing Layer-wise Relevance Propagation (LRP) based methods and can help in the understanding of the decision process of CNNs.


title: Brane annihilation in non-supersymmetric strings

abstract: In this paper we study non-perturbative instabilities in Anti de-Sitter vacua arising from flux compactifications of string models with broken supersymmetry. In the semi-classical limit, these processes drive the vacua towards lower fluxes, which translate into higher curvatures and higher string couplings. In order to shed some light on this regime, we provide evidence for a description in terms of branes, which generate near-horizon AdS throats. To this end, we study the attractor properties of the geometries near the throat, and we also characterize their asymptotics away from it. We also describe the instability within a probe-brane picture, finding an agreement between low-energy (super)gravity and brane instanton estimates of the decay rates.


title: Action Recognition in Untrimmed Videos with Composite Self-Attention Two-Stream Framework

abstract: With the rapid development of deep learning algorithms, action recognition in video has achieved many important research results. One issue in action recognition, Zero-Shot Action Recognition (ZSAR), has recently attracted considerable attention, which classify new categories without any positive examples. Another difficulty in action recognition is that untrimmed data may seriously affect model performance. We propose a composite two-stream framework with a pre-trained model. Our proposed framework includes a classifier branch and a composite feature branch. The graph network model is adopted in each of the two branches, which effectively improves the feature extraction and reasoning ability of the framework. In the composite feature branch, a 3-channel self-attention models are constructed to weight each frame in the video and give more attention to the key frames. Each self-attention models channel outputs a set of attention weights to focus on a particular aspect of the video, and a set of attention weights corresponds to a one-dimensional vector. The 3-channel self-attention models can evaluate key frames from multiple aspects, and the output sets of attention weight vectors form an attention matrix, which effectively enhances the attention of key frames with strong correlation of action. This model can implement action recognition under zero-shot conditions, and has good recognition performance for untrimmed video data. Experimental results on relevant data sets confirm the validity of our model.


title: Learning to Detect Collisions for Continuum Manipulators without a Prior Model

abstract: Due to their flexibility, dexterity, and compact size, Continuum Manipulators (CMs) can enhance minimally invasive interventions. In these procedures, the CM may be operated in proximity of sensitive organs; therefore, requiring accurate and appropriate feedback when colliding with their surroundings. Conventional CM collision detection algorithms rely on a combination of exact CM constrained kinematics model, geometrical assumptions such as constant curvature behavior, a priori knowledge of the environmental constraint geometry, and/or additional sensors to scan the environment or sense contacts. In this paper, we propose a data-driven machine learning approach using only the available sensory information, without requiring any prior geometrical assumptions, model of the CM or the surrounding environment. The proposed algorithm is implemented and evaluated on a non-constant curvature CM, equipped with Fiber Bragg Grating (FBG) optical sensors for shape sensing purposes. Results demonstrate successful detection of collisions in constrained environments with soft and hard obstacles with unknown stiffness and location.


title: Adversarial Neural Pruning with Latent Vulnerability Suppression

abstract: Despite the remarkable performance of deep neural networks on various computer vision tasks, they are known to be susceptible to adversarial perturbations, which makes it challenging to deploy them in real-world safety-critical applications. In this paper, we conjecture that the leading cause of adversarial vulnerability is the distortion in the latent feature space, and provide methods to suppress them effectively. Explicitly, we define \emph{vulnerability} for each latent feature and then propose a new loss for adversarial learning, \emph{Vulnerability Suppression (VS)} loss, that aims to minimize the feature-level vulnerability during training. We further propose a Bayesian framework to prune features with high vulnerability to reduce both vulnerability and loss on adversarial samples. We validate our \emph{Adversarial Neural Pruning with Vulnerability Suppression (ANP-VS)} method on multiple benchmark datasets, on which it not only obtains state-of-the-art adversarial robustness but also improves the performance on clean examples, using only a fraction of the parameters used by the full network. Further qualitative analysis suggests that the improvements come from the suppression of feature-level vulnerability.


title: The Photolysis of Aromatic Hydrocarbons Adsorbed on the Surfaces of Cosmic Dust Grains

abstract: The work is devoted to the adaptation of the results of laboratory studies of the laser-induced dissociation of molecules of benzene adsorbed on a quartz substrate to the conditions of the interstellar medium. Adsorption was performed under conditions of low temperature and deep vacuum. The difference between the photolysis of adsorbed molecules and molecules in the gas phase is identified. Significance of process of photolytic desorption in the interstellar conditions is analyzed, in particular, in the conditions of photodissociation regions. It is shown that the efficiency and dissociation channels of photolysis of adsorbed and gas phase benzene differ substantially. It is concluded that the photolysis of aromatic hydrocarbons adsorbed on the interstellar dust grains contributes a negligible fraction to the abundance of small hydrocarbons in the interstellar medium.


title: Error Bounds and Singularity Degree in Semidefinite Programming

abstract: In semidefinite programming a proposed optimal solution may be quite poor in spite of having sufficiently small residual in the optimality conditions. This issue may be framed in terms of the discrepancy between forward error (the unmeasurable `true error') and backward error (the measurable violation of optimality conditions). In his seminal work, Sturm provided an upper bound on forward error in terms of backward error and singularity degree. In this paper we provide a method to bound the maximum rank over all solutions and use this result to obtain a lower bound on forward error for a class of convergent sequences. This lower bound complements the upper bound of Sturm. The results of Sturm imply that semidefinite programs with slow convergence necessarily have large singularity degree. Here we show that large singularity degree is, in some sense, also a sufficient condition for slow convergence for a family of external-type `central' paths. Our results are supported by numerical observations.


title: Graph Hierarchy: A novel approach to understanding hierarchical structures in complex networks

abstract: Trophic coherence, a measure of a graph's hierarchical organisation, has been shown to be linked to a graph's structural and dynamical aspects such as cyclicity, stability and normality. Trophic levels of vertices can reveal their functional properties and partition and rank the vertices accordingly. Yet trophic levels and hence trophic coherence can only be defined on graphs with basal vertices, vertices with zero in-degree. Consequently, trophic analysis of graphs had been restricted until now. In this paper we introduce a novel framework, a generalisation of trophic levels, which we call hierarchical levels, that can be defined on any simple graph. Within this general framework, we develop additional metrics named influence centrality, a measure of a vertices ability to influence dynamics, and democracy coefficient, a measure of overall feedback in the system, both of which have implications for the controllability of complex systems. We discuss how our generalisation relates to previous attempts and what new insights are illuminated on the topological and dynamical aspects of graphs. Finally, we show how the hierarchical structure of a network relates to the incidence rate in a SIS epidemic model.


title: Instability of a Vortex Ring due to Toroidal Normal Fluid Flow in Superfluid 4He

abstract: Vortex rings self-propelling in superfluid 4He are shown to be driven unstable by a toroidal normal fluid flow. This instability has qualitative similarities with the Donnelly-Glaberson instability of Kelvin waves on a vortex filament driven by the normal fluid flow along the vortex filament. The growth rate of the present instability is found to be independent of the radius of the vortex ring.


title: Stability, efficiency, and mechanism of n-type doping by hydrogen adatoms in two-dimensional transition metal dichalcogenides

abstract: Mono- and few-layer transition-metal dichalcogenides (TMDCs) provide opportunities for ideal two-dimensional semiconductors for electronic and optoelectronic devices. For electronic devices on TMDCs, it is essential to incorporate n- and/or p-type dopants which are stable in positions after patterned doping. Here we investigate hydrogen doping for TMDC (MX2 with M = Mo, W and X = S, Se, Te) nanosheets by first-principles calculations to address diffusion and doping properties. We find that adsorbed hydrogen atoms in TMDCs are energetically most stable at the interstitial site right on the Mo or W plane and have substantial energy barriers against diffusion that increase in the order of sulfides, selenides, and tellurides. Located at the most stable interstitial site on the Mo or W plane, the hydrogen atoms produce electrons in the conduction bands in the extremely high rate of one electron per hydrogen atom, without any defect state inside the band gap remarkably. We analyze the chemical bonding character around the dopant and the mechanism for such high efficiency of electron doping. We also consider properties of hydrogen molecules and Te vacancies for comparison. Our work shows that hydrogen doping is the promising pathway to development of highly integrated electronic devices on TMDCs


title: Asymptotic and exterior Dirichlet problems for the minimal surface equation in the Heisenberg group with a balanced metric

abstract: It is proved that the Heisenberg group $\operatorname*{Nil}\nolimits_{3}$ with a balanced metric, the sum of the left and right invariant metrics, splits as a Riemannian product $\mathbb{T\times Z}$, where $\mathbb{T}$ is a totally geodesic surface and $\mathbb{Z}$ the center of $\operatorname*{Nil}% \nolimits_{3}.$ It is then proved the existence of complete properly embedded minimal surfaces in $\operatorname*{Nil}\nolimits_{3}$ by solving the asymptotic Dirichlet problem for the minimal surface equation on $\mathbb{T}$. It is also proved the existence of complete properly embedded minimal surfaces foliating an open set of $\operatorname*{Nil}\nolimits_{3}$ having as boundary a given curve $\Gamma$ in $\mathbb{T},$ satisfying the exterior circle condition, by solving the exterior Dirichlet problem for the minimal surface equation in the unbounded connected component of $\mathbb{T}\backslash\Gamma$.


title: Uncovering Non-Fermi-Liquid Behavior in Hund Metals: Conformal Field Theory Analysis of an SU(2)$\times$SU(3) Spin-Orbital Kondo Model

abstract: Hund metals have attracted attention in recent years due to their unconventional superconductivity, which supposedly originates from non-Fermi-liquid (NFL) properties of the normal state. When studying Hund metals using dynamical mean-field theory, one arrives at a self-consistent "Hund impurity problem" involving a multiorbital quantum impurity with nonzero Hund coupling interacting with a metallic bath. If its spin and orbital degrees of freedom are screened at different energy scales, $T_\mathrm{sp} < T_\mathrm{orb}$, the intermediate energy window is governed by a novel NFL fixed point, whose nature had not yet been clarified. We resolve this problem by providing an analytical solution of a paradigmatic example of a Hund impurity problem, involving two spin and three orbital degrees of freedom. To this end, we combine a state-of-the-art implementation of the numerical renormalization group, capable of exploiting non-Abelian symmetries, with a generalization of Affleck and Ludwig's conformal field theory (CFT) approach for multichannel Kondo models. We characterize the NFL fixed point of Hund metals in detail for a Kondo model with an impurity forming an SU(2)$\times$SU(3) spin-orbital multiplet, tuned such that the NFL energy window is very wide. The impurity's spin and orbital susceptibilities then exhibit striking power-law behavior, which we explain using CFT arguments. We find excellent agreement between CFT predictions and numerical renormalization group results. Our main physical conclusion is that the regime of spin-orbital separation, where orbital degrees of freedom have been screened but spin degrees of freedom have not, features anomalously strong local spin fluctuations: the impurity susceptibility increases as $\chi_\mathrm{sp}^\mathrm{imp} \sim \omega^{-\gamma}$, with $\gamma > 1$.


title: On Arthur's unitarity conjecture for split real groups

abstract: Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent Arthur packets for split real groups. The proof uses Eisenstein series, Langlands' constant term formula and square integrability criterion, analytic properties of intertwining operators, and some mild arithmetic input from the theory of Dirichlet L-functions, to reduce to a more combinatorial problem about intertwining operators.


title: AmazonQA: A Review-Based Question Answering Task

abstract: Every day, thousands of customers post questions on Amazon product pages. After some time, if they are fortunate, a knowledgeable customer might answer their question. Observing that many questions can be answered based upon the available product reviews, we propose the task of review-based QA. Given a corpus of reviews and a question, the QA system synthesizes an answer. To this end, we introduce a new dataset and propose a method that combines information retrieval techniques for selecting relevant reviews (given a question) and "reading comprehension" models for synthesizing an answer (given a question and review). Our dataset consists of 923k questions, 3.6M answers and 14M reviews across 156k products. Building on the well-known Amazon dataset, we collect additional annotations, marking each question as either answerable or unanswerable based on the available reviews. A deployed system could first classify a question as answerable and then attempt to generate an answer. Notably, unlike many popular QA datasets, here, the questions, passages, and answers are all extracted from real human interactions. We evaluate numerous models for answer generation and propose strong baselines, demonstrating the challenging nature of this new task.


title: On $q$-deformed real numbers

abstract: We associate a formal power series with integer coefficients to a positive real number, we interpret this series as a "$q$-analogue of a real." The construction is based on the notion of $q$-deformed rational number introduced in arXiv:1812.00170. Extending the construction to negative real numbers, we obtain certain Laurent series.


title: Methodological Issues in Observational Studies

abstract: Background. Starting from the 1960s, practitioners and researchers have looked for ways to empirically investigate new technologies such as inspecting the effectiveness of new methods, tools, or practices. With this purpose, the empirical software engineering domain started to identify different empirical methods, borrowing them from various domains such as medicine, biology, and psychology. Nowadays, a variety of empirical methods are commonly applied in software engineering, ranging from controlled and quasi-controlled experiments to case studies, from systematic literature reviews to the newly introduced multivocal literature reviews. However, to date, the only available method for proving any cause-effect relationship are controlled experiments. Objectives. The goal of the thesis is introducing new methodologies for studying causality in empirical software engineering. Methods. Other fields use observational studies for proving causality. They allow observing the effect of a risk factor and testing this without trying to change who is or is not exposed to it. As an example, with an observational study it is possible to observe the effect of pollution on the growth of a forest or the effect of different factors on development productivity without the need of waiting years for the forest to grow or exposing developers to a specific treatment. Conclusion. In this thesis, we aim at defining a methodology for applying observational studies in empirical software engineering, providing guidelines on how to conduct such studies, how to analyze the data, and how to report the studies themselves.


title: Droplets II: Internal Velocity Structures and Potential Rotational Motions in Pressure-dominated Coherent Structures

abstract: We present an analysis of the internal velocity structures of the newly identified sub-0.1 pc coherent structures, droplets, in L1688 and B18. By fitting 2D linear velocity fields to the observed maps of velocity centroids, we determine the magnitudes of linear velocity gradients and examine the potential rotational motions that could lead to the observed velocity gradients. The results show that the droplets follow the same power-law relation between the velocity gradient and size found for larger-scale dense cores. Assuming that rotational motion giving rise to the observed velocity gradient in each core is a solid-body rotation of a rotating body with a uniform density, we derive the "net rotational motions" of the droplets. We find a ratio between rotational and gravitational energies, $\beta$, of $\sim 0.046$ for the droplets, and when including both droplets and larger-scale dense cores, we find $\beta \sim 0.039$. We then examine the alignment between the velocity gradient and the major axis of each droplet, using methods adapted from the histogram of relative orientations (HRO) introduced by Soler et al. (2013). We find no definitive correlation between the directions of velocity gradients and the elongations of the cores. Lastly, we discuss physical processes other than rotation that may give rise to the observed velocity field.


title: Dark-State Optical Potential Barriers with Nanoscale Spacing

abstract: Optical potentials have been a versatile tool for the study of atomic motions and many-body interactions in cold atoms. Recently, optical subwavelength single barriers were proposed to enhance the atomic interaction energy scale, which is based on non-adiabatic corrections to Born-Oppenheimer potentials. Here we present a study for creating a new landscape of non-adiabatic potentials--multiple barriers with subwavelength spacing at tens of nanometers. To realize these potentials, spatially rapid-varying dark states of atomic $\Lambda$-configurations are formed by controlling the spatial intensities of the driving lasers. As an application, we show that bound states of very long lifetimes on the order of seconds can be realized. Imperfections and experimental realizations of the multiple barriers are also discussed.


title: Wasserstein Index Generation Model: Automatic Generation of Time-series Index with Application to Economic Policy Uncertainty

abstract: I propose a novel method, the Wasserstein Index Generation model (WIG), to generate a public sentiment index automatically. To test the model`s effectiveness, an application to generate Economic Policy Uncertainty (EPU) index is showcased.


title: Collective marks and first passage times

abstract: Probability generating functions for first passage times of Markov chains are found using the method of collective marks. A system of equations is found which can be used to obtain moments of the first passage times.


title: On the log-local principle for the toric boundary

abstract: Let $X$ be a smooth projective complex variety and let $D=D_1+\cdots+D_l$ be a reduced normal crossing divisor on $X$ with each component $D_j$ smooth, irreducible, and nef. The log-local principle of van Garrel-Graber-Ruddat conjectures that the genus 0 log Gromov-Witten theory of maximal tangency of $(X,D)$ is equivalent to the genus 0 local Gromov-Witten theory of $X$ twisted by $\bigoplus_{j=1}^l\mathcal{O}(-D_j)$. We prove that an extension of the log-local principle holds for $X$ a (not necessarily smooth) $\mathbb{Q}$-factorial projective toric variety, $D$ the toric boundary, and descendent point insertions.


title: Uncertainty Model Estimation in an Augmented Data Space for Robust State Estimation

abstract: The requirement to generate robust robotic platforms is a critical enabling step to allow such platforms to permeate safety-critical applications (i.e., the localization of autonomous platforms in urban environments). One of the primary components of such a robotic platform is the state estimation engine, which enables the platform to reason about itself and the environment based upon sensor readings. When such sensor readings are degraded traditional state estimation approaches are known to breakdown. To overcome this issue, several robust state estimation frameworks have been proposed. One such method is the batch covariance estimation (BCE) framework. The BCE approach enables robust state estimation by iteratively updating the measurement error uncertainty model through the fitting of a Gaussian mixture model (GMM) to the measurement residuals. This paper extends upon the BCE approach by arguing that the uncertainty estimation process should be augmented to include metadata (e.g., the signal strength of the associated GNSS observation). The modification of the uncertainty estimation process to an augmented data space is significant because it increases the likelihood of a unique partitioning in the measurement residual domain and thus provides the ability to more accurately characterize the measurement uncertainty model. The proposed batch covariance estimation over an augmented data-space (BCE-AD) is experimentally validated on collected data where it is shown that a significant increase in state estimation accuracy can be granted compared to previously proposed robust estimation techniques.


title: MULAN: Multitask Universal Lesion Analysis Network for Joint Lesion Detection, Tagging, and Segmentation

abstract: When reading medical images such as a computed tomography (CT) scan, radiologists generally search across the image to find lesions, characterize and measure them, and then describe them in the radiological report. To automate this process, we propose a multitask universal lesion analysis network (MULAN) for joint detection, tagging, and segmentation of lesions in a variety of body parts, which greatly extends existing work of single-task lesion analysis on specific body parts. MULAN is based on an improved Mask R-CNN framework with three head branches and a 3D feature fusion strategy. It achieves the state-of-the-art accuracy in the detection and tagging tasks on the DeepLesion dataset, which contains 32K lesions in the whole body. We also analyze the relationship between the three tasks and show that tag predictions can improve detection accuracy via a score refinement layer.


title: Two Dimensional Router: Design and Implementation

abstract: Higher dimensional classification has attracted more attentions with increasing demands for more flexible services in the Internet. In this paper, we present the design and implementation of a two dimensional router (TwoD router), that makes forwarding decisions based on both destination and source addresses. This TwoD router is also a key element in our current effort towards two dimensional IP routing. With one more dimension, the forwarding table will grow explosively given a straightforward implementation. As a result, it is impossible to fit the forwarding table to the current TCAM, which is the de facto standard despite its limited capacity. To solve the explosion problem, we propose a forwarding table structure with a novel separation of TCAM and SRAM. As such, we move the redundancies in expensive TCAM to cheaper SRAM, while the lookup speed is comparable with conventional routers. We also design the incremental update algorithms that minimize the number of accesses to memory. We evaluate our design with a real implementation on a commercial router, Bit-Engine 12004, with real data sets. Our design does not need new devices, which is favorable for adoption. The results also show that the performance of our TwoD router is promising.


title: Piece selection and cardinal arithmetic

abstract: We study the effects of piece selection principles on cardinal arithmetic (Shelah style). As an application, we discuss questions of Abe and Usuba. In particular, we show that if $\lambda \geq 2^\kappa$, then (a) $I_{\kappa, \lambda}$ is not $(\lambda, 2)$-distributive, and (b) $I_{\kappa, \lambda}^+ \rightarrow (I_{\kappa, \lambda}^+)^2_\omega$ does not hold.


title: Prototyping Software Transceiver for the 5G New Radio Physical Uplink Shared Channel

abstract: 5G New Radio (NR) is an emerging radio access technology, which is planned to succeed 4G Long Term Evolution (LTE) as global standard of cellular communications in the upcoming years. This paper considers a digital signal processing model and a software implementation of a complete transceiver chain of the Physical Uplink Shared Channel (PUSCH) defined by the version 15 of the 3GPP standard, consisting of both baseband transmitter and receiver chains on a physical layer level. The BLER performance of the prototype system implementation under AWGN and Rayleigh fading channel conditions is evaluated. Moreover, the source code of high-level numerical model was made available online on a public repository by the authors. In the paper's tutorial part, the aspects of the 5G NR standard are reviewed and their impact on different functional building blocks of the system is discussed, including synchronization, channel estimation, equalization, soft-bit demodulation and LDPC encoding/decoding. A review of State-of-Art algorithms that can be utilized to increase the performance of the system is provided together with a guidelines for practical implementations.


title: Electrified Cone Formation in Perfectly Conducting Viscous Liquids: Self-Similar Growth Irrespective of Reynolds Number

abstract: Above a critical field strength, the free surface of an electrified, perfectly conducting viscous liquid, such as a liquid metal, is known to develop an accelerating protrusion resembling a cusp with a conic tip. Field self-enhancement from tip sharpening is reported to generate divergent power law growth in finite time of the forces acting in that region. Previous studies have established that tip sharpening proceeds via a self-similar process in two distinct limits - the Stokes regime at $\textsf{Re}=0$ and the inviscid regime $\textsf{Re} \to \infty$. Using finite element simulations to track the acceleration of an electrified protrusion in a perfectly conducting Newtonian liquid in vacuum held at constant capillary number, we demonstrate that the conic tip \textit{always} undergoes self-similar growth irrespective of Reynolds number. The computed blow up exponents at the tip for the terms in the Navier-Stokes equation and interface normal stress condition reveal the different forces at play as $\textsf{Re}$ increases. Rescaling of the tip shape by the capillary stress exponent yields excellent collapse onto a universal conic tip shape with interior half-angle dependent on the magnitude of the Maxwell stress. The rapid acceleration of the liquid interface also generates a thin surface boundary layer with very high local strain rate. Additional details of the modeled flow, applicable to cone growth in systems such as liquid metal ion sources, help dispel prevailing misconceptions that dynamic cones resemble conventional Taylor cones or that viscous stresses at finite $\textsf{Re}$ can be neglected.


title: Quasi-cosmological Traversable Wormholes in $f(R)$ Gravity

abstract: In this paper we study traversable wormholes in the context of $f(R)$ gravity. Exact solutions of traversable wormholes are found by imposing the nonconstant Ricci scalar. These solutions asymptotically match spherical, flat and hyperbolic FRW metric. By choosing some static $f(R)$ gravity models, we verify the standard energy conditions for the asymptotically spherical, flat and hyperbolic wormhole solutions. Unlike the Einstein gravity, we find that in the context of $f(R)$ modified gravity, the asymptotically spherical, flat and hyperbolic wormhole solutions can respect the null energy condition (NEC) at the wormhole throat and near that. We find that in some static $f(R)$ models, asymptotically flat and hyperbolic wormholes respect the weak energy condition (WEC) through the whole space.


title: Aspects of Dynamical Simulations, Emphasizing Nos\'e and Nos\'e-Hoover Dynamics and the Compressible Baker Map

abstract: Aspects of the Nos\'e and Nos\'e-Hoover dynamics developed in 1983-1984 along with Dettmann's closely related dynamics of 1996, are considered. We emphasize paradoxes associated with Liouville's Theorem. Our account is pedagogical, focused on the harmonic oscillator for simplicity, though exactly the same ideas can be, and have been, applied to manybody systems. Nos\'e, Nos\'e-Hoover, and Dettmann flows were all developed in order to access Gibbs' canonical ensemble directly from molecular dynamics. Unlike Monte Carlo algorithms dynamical flow models are often not ergodic and so can fail to reproduce Gibbs' ensembles. Accordingly we include a discussion of ergodicity, the visiting of all relevant microstates corresponding to the desired ensemble. We consider Lyapunov instability too, the usual mechanism for phase-space mixing. We show that thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, depending upon the chosen "phase space". The fractal nature of nonequilibrium flows is also illustrated for two simple two-dimensional models, the hard-disk-based Galton Board and the time-reversible Baker Map. The simultaneous treatment of flows as one-dimensional and many-dimensional suggests some interesting topological problems for future investigations.


title: Hausdorff coalgebras

abstract: As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categories of coalgebras of Kripke polynomial functors to the context of quantale-enriched categories. To assume the role of the powerset functor we consider "powerset-like" functors based on the Hausdorff $\mathsf{V}$-category structure. As a starting point, we show that for a lifting of a $\mathsf{SET}$-functor to a topological category $\mathsf{X}$ over $\mathsf{Set}$ that commutes with the forgetful functor, the corresponding category of coalgebras over $\mathsf{X}$ is topological over the category of coalgebras over $\mathsf{Set}$ and, therefore, it is "as complete" but cannot be "more complete". Secondly, based on a Cantor-like argument, we observe that Hausdorff functors on categories of quantale-enriched categories do not admit a terminal coalgebra. Finally, in order to overcome these "negative" results, we combine quantale-enriched categories and topology \emph{\`a la} Nachbin. Besides studying some basic properties of these categories, we investigate "powerset-like" functors which simultaneously encode the classical Hausdorff metric and Vietoris topology and show that the corresponding categories of coalgebras of "Kripke polynomial" functors are (co)complete.


title: Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

abstract: Constrained counting is a fundamental problem in artificial intelligence. A promising new algebraic approach to constrained counting makes use of tensor networks, following a reduction from constrained counting to the problem of tensor-network contraction. Contracting a tensor network efficiently requires determining an efficient order to contract the tensors inside the network, which is itself a difficult problem. In this work, we apply graph decompositions to find contraction orders for tensor networks. We prove that finding an efficient contraction order for a tensor network is equivalent to the well-known problem of finding an optimal carving decomposition. Thus memory-optimal contraction orders for planar tensor networks can be found in cubic time. We show that tree decompositions can be used both to find carving decompositions and to factor tensor networks with high-rank, structured tensors. We implement these algorithms on top of state-of-the-art solvers for tree decompositions and show empirically that the resulting weighted model counter is quite effective and useful as part of a portfolio of counters.


title: Kicking gravitational wave detectors with recoiling black holes

abstract: Binary black holes emit gravitational radiation with net linear momentum leading to a retreat of the final remnant black hole that can reach up to $\sim5,000$ km/s. Full numerical relativity simulations are the only tool to accurately compute these recoils since they are largely produced when the black hole horizons are about to merge and they are strongly dependent on their spin orientations at that moment. We present eight new numerical simulations of BBH in the hangup-kick configuration family, leading to the maximum recoil. Black holes are equal mass and near maximally spinning ($|\vec{S}_{1,2}|/m_{1,2}^2=0.97$). Depending on their phase at merger, this family leads to $\sim\pm4,700$ km/s and all intermediate values of the recoil along the orbital angular momentum of the binary system. We introduce a new invariant method to evaluate the recoil dependence on the merger phase via the waveform peak amplitude used as a reference phase angle and compare it with previous definitions. We also compute the mismatch between these hangup-kick waveforms to infer their observable differentiability by gravitational wave detectors, such as advanced LIGO, finding currently reachable signal-to-noise ratios, hence allowing for the identification of highly recoiling black holes having otherwise essentially the same binary parameters.


title: Apache Spark Accelerated Deep Learning Inference for Large Scale Satellite Image Analytics

abstract: The shear volumes of data generated from earth observation and remote sensing technologies continue to make major impact; leaping key geospatial applications into the dual data and compute intensive era. As a consequence, this rapid advancement poses new computational and data processing challenges. We implement a novel remote sensing data flow (RESFlow) for advanced machine learning and computing with massive amounts of remotely sensed imagery. The core contribution is partitioning massive amount of data based on the spectral and semantic characteristics for distributed imagery analysis. RESFlow takes advantage of both a unified analytics engine for large-scale data processing and the availability of modern computing hardware to harness the acceleration of deep learning inference on expansive remote sensing imagery. The framework incorporates a strategy to optimize resource utilization across multiple executors assigned to a single worker. We showcase its deployment across computationally and data-intensive on pixel-level labeling workloads. The pipeline invokes deep learning inference at three stages; during deep feature extraction, deep metric mapping, and deep semantic segmentation. The tasks impose compute intensive and GPU resource sharing challenges motivating for a parallelized pipeline for all execution steps. By taking advantage of Apache Spark, Nvidia DGX1, and DGX2 computing platforms, we demonstrate unprecedented compute speed-ups for deep learning inference on pixel labeling workloads; processing 21,028~Terrabytes of imagery data and delivering an output maps at area rate of 5.245sq.km/sec, amounting to 453,168 sq.km/day - reducing a 28 day workload to 21~hours.


title: An Unsupervised, Iterative N-Dimensional Point-Set Registration Algorithm

abstract: An unsupervised, iterative point-set registration algorithm for an unlabeled (i.e. correspondence between points is unknown) N-dimensional Euclidean point-cloud is proposed. It is based on linear least squares, and considers all possible point pairings and iteratively aligns the two sets until the number of point pairs does not exceed the maximum number of allowable one-to-one pairings.


title: OD-GCN: Object Detection Boosted by Knowledge GCN

abstract: Classical CNN based object detection methods only extract the objects' image features, but do not consider the high-level relationship among objects in context. In this article, the graph convolutional networks (GCN) is integrated into the object detection framework to exploit the benefit of category relationship among objects, which is able to provide extra confidence for any pre-trained object detection model in our framework. In experiments, we test several popular base detection models on COCO dataset. The results show promising improvement on mAP by 1-5pp. In addition, visualized analysis reveals the benchmark improvement is quite reasonable in human's opinion.


title: Detection of the Group of Traffic Signs with Central Slice Theorem

abstract: Our sensor system consists of a combination of Photonic Mixer Device - PMD and Mono optical cameras. Some traffic signs have stripes at 45{deg}. These traffic signs cancel different restrictions on the road. We detect this class of signs with Radon transformation. Here the Radon transformation is calculated using Central Slice Theorem. We approximate the slice of spectrum by the Discrete Cosine Transformation (DCT).


title: Mass Estimation from Images using Deep Neural Network and Sparse Ground Truth

abstract: Supervised learning is the workhorse for regression and classification tasks, but the standard approach presumes ground truth for every measurement. In real world applications, limitations due to expense or general in-feasibility due to the specific application are common. In the context of agriculture applications, yield monitoring is one such example where simple-physics based measurements such as volume or force-impact have been used to quantify mass flow, which incur error due to sensor calibration. By utilizing semi-supervised deep learning with gradient aggregation and a sequence of images, in this work we can accurately estimate a physical quantity (mass) with complex data structures and sparse ground truth. Using a vision system capturing images of a sugarcane elevator and running bamboo under controlled testing as a surrogate material to harvesting sugarcane, mass is accurately predicted from images by training a DNN using only final load weights. The DNN succeeds in capturing the complex density physics of random stacking of slender rods internally as part of the mass prediction model, and surpasses older volumetric-based methods for mass prediction. Furthermore, by incorporating knowledge about the system physics through the DNN architecture and penalty terms, improvements in prediction accuracy and stability, as well as faster learning are obtained. It is shown that the classic nonlinear regression optimization can be reformulated with an aggregation term with some independence assumptions to achieve this feat. Since the number of images for any given run are too large to fit on typical GPU vRAM, an implementation is shown that compensates for the limited memory but still achieve fast training times. The same approach presented herein could be applied to other applications like yield monitoring on grain combines or other harvesters using vision or other instrumentation.


title: Detecting semantic anomalies

abstract: We critically appraise the recent interest in out-of-distribution (OOD) detection and question the practical relevance of existing benchmarks. While the currently prevalent trend is to consider different datasets as OOD, we argue that out-distributions of practical interest are ones where the distinction is semantic in nature for a specified context, and that evaluative tasks should reflect this more closely. Assuming a context of object recognition, we recommend a set of benchmarks, motivated by practical applications. We make progress on these benchmarks by exploring a multi-task learning based approach, showing that auxiliary objectives for improved semantic awareness result in improved semantic anomaly detection, with accompanying generalization benefits.


title: NeuroMask: Explaining Predictions of Deep Neural Networks through Mask Learning

abstract: Deep Neural Networks (DNNs) deliver state-of-the-art performance in many image recognition and understanding applications. However, despite their outstanding performance, these models are black-boxes and it is hard to understand how they make their decisions. Over the past few years, researchers have studied the problem of providing explanations of why DNNs predicted their results. However, existing techniques are either obtrusive, requiring changes in model training, or suffer from low output quality. In this paper, we present a novel method, NeuroMask, for generating an interpretable explanation of classification model results. When applied to image classification models, NeuroMask identifies the image parts that are most important to classifier results by applying a mask that hides/reveals different parts of the image, before feeding it back into the model. The mask values are tuned by minimizing a properly designed cost function that preserves the classification result and encourages producing an interpretable mask. Experiments using state-of-the-art Convolutional Neural Networks for image recognition on different datasets (CIFAR-10 and ImageNet) show that NeuroMask successfully localizes the parts of the input image which are most relevant to the DNN decision. By showing a visual quality comparison between NeuroMask explanations and those of other methods, we find NeuroMask to be both accurate and interpretable.


title: Difficulty Classification of Mountainbike Downhill Trails utilizing Deep Neural Networks

abstract: The difficulty of mountainbike downhill trails is a subjective perception. However, sports-associations and mountainbike park operators attempt to group trails into different levels of difficulty with scales like the Singletrail-Skala (S0-S5) or colored scales (blue, red, black, ...) as proposed by The International Mountain Bicycling Association. Inconsistencies in difficulty grading occur due to the various scales, different people grading the trails, differences in topography, and more. We propose an end-to-end deep learning approach to classify trails into three difficulties easy, medium, and hard by using sensor data. With mbientlab Meta Motion r0.2 sensor units, we record accelerometer- and gyroscope data of one rider on multiple trail segments. A 2D convolutional neural network is trained with a stacked and concatenated representation of the aforementioned data as its input. We run experiments with five different sample- and five different kernel sizes and achieve a maximum Sparse Categorical Accuracy of 0.9097. To the best of our knowledge, this is the first work targeting computational difficulty classification of mountainbike downhill trails.


title: Local Supports Global: Deep Camera Relocalization with Sequence Enhancement

abstract: We propose to leverage the local information in image sequences to support global camera relocalization. In contrast to previous methods that regress global poses from single images, we exploit the spatial-temporal consistency in sequential images to alleviate uncertainty due to visual ambiguities by incorporating a visual odometry (VO) component. Specifically, we introduce two effective steps called content-augmented pose estimation and motion-based refinement. The content-augmentation step focuses on alleviating the uncertainty of pose estimation by augmenting the observation based on the co-visibility in local maps built by the VO stream. Besides, the motion-based refinement is formulated as a pose graph, where the camera poses are further optimized by adopting relative poses provided by the VO component as additional motion constraints. Thus, the global consistency can be guaranteed. Experiments on the public indoor 7-Scenes and outdoor Oxford RobotCar benchmark datasets demonstrate that benefited from local information inherent in the sequence, our approach outperforms state-of-the-art methods, especially in some challenging cases, e.g., insufficient texture, highly repetitive textures, similar appearances, and over-exposure.


title: Deep Learning for Detecting Building Defects Using Convolutional Neural Networks

abstract: Clients are increasingly looking for fast and effective means to quickly and frequently survey and communicate the condition of their buildings so that essential repairs and maintenance work can be done in a proactive and timely manner before it becomes too dangerous and expensive. Traditional methods for this type of work commonly comprise of engaging building surveyors to undertake a condition assessment which involves a lengthy site inspection to produce a systematic recording of the physical condition of the building elements, including cost estimates of immediate and projected long-term costs of renewal, repair and maintenance of the building. Current asset condition assessment procedures are extensively time consuming, laborious, and expensive and pose health and safety threats to surveyors, particularly at height and roof levels which are difficult to access. This paper aims at evaluating the application of convolutional neural networks (CNN) towards an automated detection and localisation of key building defects, e.g., mould, deterioration, and stain, from images. The proposed model is based on pre-trained CNN classifier of VGG-16 (later compaired with ResNet-50, and Inception models), with class activation mapping (CAM) for object localisation. The challenges and limitations of the model in real-life applications have been identified. The proposed model has proven to be robust and able to accurately detect and localise building defects. The approach is being developed with the potential to scale-up and further advance to support automated detection of defects and deterioration of buildings in real-time using mobile devices and drones.


title: Fine-Tuning Models Comparisons on Garbage Classification for Recyclability

abstract: In this study, it is aimed to develop a deep learning application which detects types of garbage into trash in order to provide recyclability with vision system. Training and testing will be performed with image data consisting of several classes on different garbage types. The data set used during training and testing will be generated from original frames taken from garbage images. The data set used for deep learning structures has a total of 2527 images with 6 different classes. Half of these images in the data set were used for training process and remaining part were used for testing procedure. Also, transfer learning was used to obtain shorter training and test procedures with and higher accuracy. As fine-tuned models, Alexnet, VGG16, Googlenet and Resnet structures were carried. In order to test performance of classifiers, two different classifiers are used as Softmax and Support Vector Machines. 6 different type of trash images were correctly classified the highest accuracy with GoogleNet+SVM as 97.86%.


title: On Quiver W-algebras and Defects from Gauge Origami

abstract: In this note, using Nekrasov's gauge origami framework, we study two different versions of the the BPS/CFT correspondence - first, the standard AGT duality and, second, the quiver W algebra construction which has been developed recently by Kimura and Pestun. The gauge origami enables us to work with both dualities simultaneously and find exact matchings between the parameters. In our main example of an A-type quiver gauge theory, we show that the corresponding quiver qW-algebra and its representations are closely related to a large-n limit of spherical gl(n) double affine Hecke algebra whose modules are described by instanton partition functions of a defect quiver theory.


title: Chip-Firing Games and Critical Groups

abstract: In this expository article intended to be accessible to undergraduate students we introduce a finite abelian group that can be associated to any finite connected graph. This group can be defined in an elementary combinatorial way in terms of chip-firing operations, and has been an object of interest in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. We will begin with basic definitions and examples and develop a number of properties that can be derived by looking at this group from different angles. Throughout, we will give exercises, some of which are straightforward and some of which are open questions. We will also attempt to highlight some of the many contributions to this area made by undergraduate students


title: Challenge of Spatial Cognition for Deep Learning

abstract: Given the success of the deep convolutional neural networks (DCNNs) in applications of visual recognition and classification, it would be tantalizing to test if DCNNs can also learn spatial concepts, such as straightness, convexity, left/right, front/back, relative size, aspect ratio, polygons, etc., from varied visual examples of these concepts that are simple and yet vital for spatial reasoning. Much to our dismay, extensive experiments of the type of cognitive psychology demonstrate that the data-driven deep learning (DL) cannot see through superficial variations in visual representations and grasp the spatial concept in abstraction. The root cause of failure turns out to be the learning methodology, not the computational model of the neural network itself. By incorporating task-specific convolutional kernels, we are able to construct DCNNs for spatial cognition tasks that can generalize to input images not drawn from the same distribution of the training set. This work raises a precaution that without manually-incorporated priors or features DCCNs may fail spatial cognitive tasks at rudimentary level.


title: Cabling in terms of immersed curves

abstract: In joint work with J. Rasmussen, we gave an interpretation of Heegaard Floer homology for manifolds with torus boundary in terms of immersed curves in a punctured torus. In particular, knot Floer homology is captured by this invariant. Appealing to earlier work of the authors on bordered Floer homology, we give a formula for the behaviour of these immersed curves under cabling.


title: Scale Calculus and M-Polyfolds -- An Introduction

abstract: These are lecture notes on scale calculus and M-polyfolds written for a graduate course at UNICAMP March-June 2018 and an advanced mini-course given during the biannual meeting of Brazilian mathematicians, CBM-32, at IMPA in August 2019.


title: Directional bonding explains high conductance values of atomic contacts in bcc metals

abstract: Atomic-sized junctions of iron, created by controlled rupture, present unusually high values of conductance compared to other metals. This result is counter-intuitive since, at the nanoscale, body-centered cubic metals are expected to exhibit lower coordination than face-centered cubic metals. In this work, classical molecular dynamics simulations of contact rupture, using an interatomic potential that accounts for directional bonding, yield highly-coordinated stable structures before rupture, unlike an isotropic bonding potential, which results in the expected stable single-atom contacts. Density functional theory electronic transport calculations show that conductance values of these highly coordinated and highly stable structures, can explain the experimentally measured values for conductance of body-centered cubic atomic contacts, thus revealing the important role of directional bonding in these metals.


title: Landauer's Principle in a Quantum Szilard Engine Without Maxwell's Demon

abstract: Quantum Szilard engine constitutes an adequate interplay of thermodynamics, information theory and quantum mechanics. Szilard engines are in general operated by a Maxwell's Demon where Landauer's principle resolves the apparent paradoxes. Here we propose a Szilard engine setup without featuring an explicit Maxwell's demon. In a demonless Szilard engine, the acquisition of which-side information is not required, but erasure and the related heat dissipation still take place implicitly by the very nature of the work extraction process. We see that the insertion of the partition in a quantum Szilard engine does not localize the particle to one side, instead it creates a superposition state of the particle being in both sides. To be able to extract work from the system, particle has to be localized at one side. The localization occurs as a result of quantum measurement on the particle, which shows the importance of the measurement process regardless of whether one uses the acquired information or not. In accordance with the Landauer's principle, localization by quantum measurement corresponds to a logically irreversible operation and for this reason it has to be accompanied by the corresponding heat dissipation. This shows the validity of the Landauer's principle even in quantum Szilard engines without Maxwell's demon. Furthermore, we take quantum confinement effects fully into account to analyze the Szilard cycle in the quantum regime thoroughly and obtain highly accurate analytical expressions for work and heat exchanges. Our results show that Landauer's principle holds the key role to understand the thermodynamics of the localization of the particle by quantum measurement, which explicitly saves the second law in demonless engines and shows that quantum-mechanical considerations are essential to reconcile thermodynamics and information theory.


title: Zero Black-Derman-Toy interest rate model

abstract: We propose a modification of the classical Black-Derman-Toy (BDT) interest rate tree model, which includes the possibility of a jump with small probability at each step to a practically zero interest rate. The corresponding BDT algorithms are consequently modified to calibrate the tree containing the zero interest rate scenarios. This modification is motivated by the recent 2008-2009 crisis in the United States and it quantifies the risk of a future crises in bond prices and derivatives. The proposed model is useful to price derivatives. This exercise also provides a tool to calibrate the probability of this event. A comparison of option prices and implied volatilities on US Treasury bonds computed with both the proposed and the classical tree model is provided, in six different scenarios along the different periods comprising the years 2002-2017.


title: Bose-Einstein condensation in relativistic plasma

abstract: The phenomenon of Bose-Einstein condensation is traditionally associated with and experimentally verified for low temperatures: either of nano-Kelvin scale for alkali atoms [1-3] or room temperatures for quasi-particles [4,5] or photons in two dimensions [6]. Here we demonstrate out of first principles that for certain initial conditions non-equilibrium plasma at relativistic temperatures of billions of Kelvin undergoes condensation, predicted by Zeldovich and Levich in their seminal work [7]. We determine the necessary conditions for the onset of condensation and discuss the possibilities to observe such a phenomenon in laboratory and astrophysical conditions.


title: On breadth-first constructions of scaling limits of random graphs and random unicellular maps

abstract: We give alternate constructions of (i) the scaling limit of the uniform connected graphs with given fixed surplus, and (ii) the continuum random unicellular map (CRUM) of a given genus that start with a suitably tilted Brownian continuum random tree and make `horizontal' point identifications, at random heights, using the local time measures. Consequently, this can be seen as a continuum analogue of the breadth-first construction of a finite connected graph. In particular, this yields a breadth-first construction of the scaling limit of the critical Erd\H{o}s-R\'enyi random graph which answers a question posed in [2]. As a consequence of this breadth-first construction we obtain descriptions of the radii, the distance profiles, and the two point functions of these spaces in terms of functionals of tilted Brownian excursions.


title: Face Recognition in Unconstrained Conditions: A Systematic Review

abstract: Face recognition is a biometric which is attracting significant research, commercial and government interest, as it provides a discreet, non-intrusive way of detecting, and recognizing individuals, without need for the subject's knowledge or consent. This is due to reduced cost, and evolution in hardware and algorithms which have improved their ability to handle unconstrained conditions. Evidently affordable and efficient applications are required. However, there is much debate over which methods are most appropriate, particularly in the context of the growing importance of deep neural network-based face recognition systems. This systematic review attempts to provide clarity on both issues by organizing the plethora of research and data in this field to clarify current research trends, state-of-the-art methods, and provides an outline of their benefits and shortcomings. Overall, this research covered 1,330 relevant studies, showing an increase of over 200% in research interest in the field of face recognition over the past 6 years. Our results also demonstrated that deep learning methods are the prime focus of modern research due to improvements in hardware databases and increasing understanding of neural networks. In contrast, traditional methods have lost favor amongst researchers due to their inherent limitations in accuracy, and lack of efficiency when handling large amounts of data.


title: Active Damping of Power Oscillations Following Frequency Changes in Low Inertia Power Systems

abstract: The absolute requirement to increase the amount of energy generation from renewable sources e.g. predominantly asynchronously connected wind turbines and photovoltaic installations, may in practice during transient events (where frequency changes are examined) excite oscillatory response of the power output of large grid connected synchronous-generators. The response of such generators must be controlled either by varying the applied torque of a turbine or by altering the electromagnetic torque in the airgap. Choosing the latter, the adequacy of a voltage regulator, particularly that of the embedded Power System Stabilizer (PSS) circuit, is investigated using the IEEE PSS1A model for the automatic voltage regulator of a synchronous generator driven by a gas turbine. The response is obtained via closed form analytic solutions for both small (linear) and large (nonlinear) scale transient events in the energy grid system. In tandem with the analytical study, the behavior simulated with a computer model from MatLab-SimPowerSystems is reviewed.


title: Validation of Energy Conditions in Wormhole Geometry within Viable $f(R)$ Gravity

abstract: In this work, wormholes, tunnel like structures introduced by Morris \& Thorne \cite{Morris95}, are explored within the framework of $f(R)$ gravity. Using the shape function $b(r)=r_0\big(\frac{r}{r_0}\big)^\gamma$, where $0<\gamma<1$, and the equation of state $p_r=\omega\rho$, the $f(R)$ function is derived and the field equations are solved. Then null, weak, strong and dominated energy conditions are analyzed and spherical regions satisfying these energy conditions are determined. Furthermore, we calculated the range of the radius of the throat of the wormhole, where the energy conditions are satisfied.


title: Comparison of coupled nonlinear oscillator models for the transient response of power generating stations connected to low inertia systems

abstract: Coupled nonlinear oscillators, e.g., Kuramoto models, are commonly used to analyze electrical power systems. The cage model from statistical mechanics has also been used to describe the dynamics of synchronously connected generation stations. Whereas the Kuramoto model is good for describing high inertia grid systems, the cage one allows both high and low inertia grids to be modelled. This is illustrated by comparing both the synchronization time and relaxation towards synchronization of each model by treating their equations of motion in a common framework rooted in the dynamics of many coupled phase oscillators. A solution of these equations via matrix continued fractions is implemented rendering the characteristic relaxation times of a grid-generator system over a wide range of inertia and damping. Following an abrupt change in the dynamical system, the power output and both generator and grid frequencies all exhibit damped oscillations now depending on the (finite) grid inertia. In practical applications, it appears that for a small inertia system the cage model is preferable.


title: Physical Parameters for Stable $f(R)$ Models

abstract: Nojiri \& Odintsov \cite{noj1} and Hu \& Sawicki \cite{hu} have studied non-linear functions in modified gravity that explain the cosmic acceleration without cosmological constant, fulfil the conditions of local gravity \& stability and pass the solar system tests. In this paper, FRW model, a best fitted and fruitful mathematical model of the physical universe \cite{rob, hub, alph, pen} is studied in the context of these non-linear functions. The cosmological implications such as Hubble parameter, deceleration parameter, jerk parameter, matter density and the effective equation of state parameter of the universe are plotted with respect to redshift. Subsequently, the age of the universe is predicted in $f(R)$ gravity. All are found to represent the features of present phase of the universe.


title: Cyclic Oritatami Systems Cannot Fold Infinite Fractal Curves

abstract: RNA cotranscriptional folding is the phenomenon in which an RNA transcript folds upon itself while being synthesized out of a gene. The oritatami system (OS) is a computation model of this phenomenon, which lets its sequence (transcript) of beads (abstract molecules) fold cotranscriptionally by the interactions between beads according to the binding ruleset. The OS is an useful computational model for predicting and simulating an RNA folding as well as constructing a biological structure. A fractal is an infinite pattern that is self-similar across different scales, and is an important structure in nature. Therefore, the fractal construction using self-assembly is one of the most important problems. We focus on the problem of generating an infinite fractal instead of a partial finite fractal, which is much more challenging. We use a cyclic OS, which has an infinite periodic transcript, to generate an infinite structure. We prove a negative result that it is impossible to make a Koch curve or a Minkowski curve, both of which are fractals, using a cyclic OS. We then establish sufficient conditions of infinite aperiodic curves that a cyclic OS cannot fold.


title: Gravitational Radiation from Binaries: A Pedagogical Introduction

abstract: This short note serves as an introduction to gravitational radiation through reviewing the inspiral-plunge transition phase in extreme mass ratio binaries. We study the relativistic motion of a compact object (CO) of mass $m$ around a massive black hole of mass $M\gg m$. The Kerr-Newman metric, effective potential for the general case of elliptical orbits, gravitational radiation, orbital energy and angular momentum of a coalescing CO in Kerr spacetime and gravitational wave frequency and signal to noise ratio are briefly reviewed. The main focus is on the transition from inspiral to plunge for a CO assuming that a test particle approach is plausible in the regime $m\ll M$ without appealing to a perturbative analysis. The effective potential is used to obtain the properties of the Innermost Stable Circular Orbit (ISCO) near which the adiabatic inspiral phase ends abruptly and the CO enters the plunge phase. For the transition phase, the effective potential is expanded in terms of parameters such as the radial (coordinate) distance from the ISCO and the deviation of particle's angular momentum from its value at the ISCO to obtain the equation of motion. The equations of motion, during the inspiral and transition phases, are joined numerically and the gravitational wave frequency, number of wave cycles and signal to noise ratio (SN) during the transition is obtained for circular/inclined as well as elliptical/inclined orbits. The limitations and inaccuracies of the current methods used to approach this problem is discussed. A short introduction to the fundamental concepts of General Relativity, in particular Einstein Field Equations is also provided in the Appendix.


title: Stability Analysis of Reservoir Computers Dynamics via Lyapunov Functions

abstract: A Lyapunov design method is used to analyze the nonlinear stability of a generic reservoir computer for both the cases of continuous-time and discrete-time dynamics. Using this method, for a given nonlinear reservoir computer, a radial region of stability around a fixed point is analytically determined. We see that the training error of the reservoir computer is lower in the region where the analysis predicts global stability but is also affected by the particular choice of the individual dynamics for the reservoir systems. For the case that the dynamics is polynomial, it appears to be important for the polynomial to have nonzero coefficients corresponding to at least one odd power (e.g., linear term) and one even power (e.g., quadratic term).


title: The Noise Collector for sparse recovery in high dimensions

abstract: The ability to detect sparse signals from noisy high-dimensional data is a top priority in modern science and engineering. A sparse solution of the linear system $A \rho = b_0$ can be found efficiently with an $l_1$-norm minimization approach if the data is noiseless. Detection of the signal's support from data corrupted by noise is still a challenging problem, especially if the level of noise must be estimated. We propose a new efficient approach that does not require any parameter estimation. We introduce the Noise Collector (NC) matrix $C$ and solve an augmented system $A \rho + C \eta = b_0 + e$, where $ e$ is the noise. We show that the $l_1$-norm minimal solution of the augmented system has zero false discovery rate for any level of noise and with probability that tends to one as the dimension of $ b_0$ increases to infinity. We also obtain exact support recovery if the noise is not too large, and develop a Fast Noise Collector Algorithm which makes the computational cost of solving the augmented system comparable to that of the original one. Finally, we demonstrate the effectiveness of the method in applications to passive array imaging.


title: The Channel Attention based Context Encoder Network for Inner Limiting Membrane Detection

abstract: The optic disc segmentation is an important step for retinal image-based disease diagnosis such as glaucoma. The inner limiting membrane (ILM) is the first boundary in the OCT, which can help to extract the retinal pigment epithelium (RPE) through gradient edge information to locate the boundary of the optic disc. Thus, the ILM layer segmentation is of great importance for optic disc localization. In this paper, we build a new optic disc centered dataset from 20 volunteers and manually annotated the ILM boundary in each OCT scan as ground-truth. We also propose a channel attention based context encoder network modified from the CE-Net to segment the optic disc. It mainly contains three phases: the encoder module, the channel attention based context encoder module, and the decoder module. Finally, we demonstrate that our proposed method achieves state-of-the-art disc segmentation performance on our dataset mentioned above.


title: Cosmic acceleration via space-time-matter theory

abstract: We consider the space-time-matter theory (STM) in a five-dimensional vacuum space-time with a generalized FLRW metric to investigate the late-time acceleration of the universe. For this purpose, we derive the four-dimensional induced field equations and obtain the evolution of the state parameter with respect to the redshift. Then, we show that with consideration of the extra dimension scale factor to be a linear function of redshift, this leads to a model which gives an accelerating phase in the universe. Moreover, we derive the geodesic deviation equation in the STM theory to study the relative acceleration of the parallel geodesics of this space-time, and also, obtain the observer area-distance as a measurable quantity to compare this theory with two other models.


title: Cyclotomic Expansion of Generalized Jones Polynomials

abstract: In previous work of the first and third authors, we proposed a conjecture that the Kauffman bracket skein module of any knot in $S^3$ carries a natural action of the rank 1 double affine Hecke algebra $SH_{q,t_1, t_2}$ depending on 3 parameters $q, t_1, t_2$. As a consequence, for a knot $K$ satisfying this conjecture, we defined a three-variable polynomial invariant $J^K_n(q,t_1,t_2)$ generalizing the classical colored Jones polynomials $J^K_n(q)$. In this paper, we give explicit formulas and provide a quantum group interpretation for the generalized Jones polynomials $J^K_n(q,t_1,t_2)$. Our formulas generalize the so-called cyclotomic expansion of the classical Jones polynomials constructed by K.\ Habiro: as in the classical case, they imply the integrality of $J^K_n(q,t_1,t_2)$ and, in fact, make sense for an arbitrary knot $K$ independent of whether or not it satisfies our earlier conjecture. When one of the Hecke deformation parameters is set to be 1, we show that the coefficients of the (generalized) cyclotomic expansion of $J^K_n(q,t_1)$ are determined by Macdonald orthogonal polynomials of type $A_1$.


title: Noise Resilience of Variational Quantum Compiling

abstract: Variational hybrid quantum-classical algorithms (VHQCAs) are near-term algorithms that leverage classical optimization to minimize a cost function, which is efficiently evaluated on a quantum computer. Recently VHQCAs have been proposed for quantum compiling, where a target unitary $U$ is compiled into a short-depth gate sequence $V$. In this work, we report on a surprising form of noise resilience for these algorithms. Namely, we find one often learns the correct gate sequence $V$ (i.e., the correct variational parameters) despite various sources of incoherent noise acting during the cost-evaluation circuit. Our main results are rigorous theorems stating that the optimal variational parameters are unaffected by a broad class of noise models, such as measurement noise, gate noise, and Pauli channel noise. Furthermore, our numerical implementations on IBM's noisy simulator demonstrate resilience when compiling the quantum Fourier transform, Toffoli gate, and W-state preparation. Hence, variational quantum compiling, due to its robustness, could be practically useful for noisy intermediate-scale quantum devices. Finally, we speculate that this noise resilience may be a general phenomenon that applies to other VHQCAs such as the variational quantum eigensolver.


title: Low-cost low-power in-vehicle occupant detection with mm-wave FMCW radar

abstract: In this paper, we use a low-cost low-power mm-wave frequency modulated continuous wave (FMCW) radar for the in-vehicle occupant detection. We propose an algorithm using Capon filter for the joint range-azimuth estimation. Then, the minimum necessary features are extracted to train machine learning classifiers to have reasonable computational complexity while achieving high accuracy. In addition, experiments were carried out in a minivan to detect occupancy of each row using support vector machine (SVM). Finally, our proposed system achieved 97.8% accuracy on average in finding the defined scenarios. Moreover, the system can correctly identify if the vehicle is occupied or not with 100% accuracy.


title: Diagram of Representations of Universal Algebras

abstract: Theory of representations of universal algebra is a natural development of the theory of universal algebra. In the book, I considered representation of universal algebra, diagram of representations and examples of representation. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation.


title: Superconducting materials: the w$hole$ story

abstract: Ted Geballe has contributed enormously to the knowledge of superconducting materials during an illustrious scientific career spanning seven decades, encompassing groundbreaking discoveries and studies of both so-called conventional and unconventional superconductors. On the year of his 100th birthday I would like to argue that all superconducting materials that Ted investigated, as well as those he did not, have one thing in common that is not generally recognized: hole carriers. This includes $PbTe$ doped with $Tl$, for which Ted has proposed that superconductivity is driven by negative-U pairing. I will discuss why hole carriers are necessary for a material to be a superconductor, and the implications of this for the understanding of the fundamental physics of superconductivity.


title: Positive scalar curvature on simply connected spin pseudomanifolds

abstract: Let $M_\Sigma$ be an $n$-dimensional Thom-Mather stratified space of depth $1$. We denote by $\beta M$ the singular locus and by $L$ the associated link. In this paper we study the problem of when such a space can be endowed with a wedge metric of positive scalar curvature. We relate this problem to recent work on index theory on stratified spaces, giving first an obstruction to the existence of such a metric in terms of a wedge $\alpha$-class $\alpha_w (M_\Sigma)\in KO_n$. In order to establish a sufficient condition we need to assume additional structure: we assume that the link of $M_\Sigma$ is a homogeneous space of positive scalar curvature, $L=G/K$, where the semisimple compact Lie group $G$ acts transitively on $L$ by isometries. Examples of such manifolds include compact semisimple Lie groups and Riemannian symmetric spaces of compact type. Under these assumptions, when $M_\Sigma$ and $\beta M$ are spin, we reinterpret our obstruction in terms of two $\alpha$-classes associated to the resolution of $M_\Sigma$, $M$, and to the singular locus $\beta M$. Finally, when $M_\Sigma$, $\beta M$, $L$, and $G$ are simply connected and $\dim M$ is big enough, and when some other conditions on $L$ (satisfied in a large number of cases) hold, we establish the main result of this article, showing that the vanishing of these two $\alpha$-classes is also sufficient for the existence of a well-adapted wedge metric of positive scalar curvature.


title: On the Lipschitz dimension of Cheeger-Kleiner

abstract: In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff convergence, its (non-)invariance under various classes of mappings, and its relationship to the Nagata dimension and Cheeger's "analytic dimension". We compute the Lipschitz dimension of various natural spaces, including Carnot groups, snowflakes of Euclidean spaces, metric trees, and Sierpinski carpets. As corollaries, we obtain a short proof of a quasi-isometric non-embedding result for Carnot groups and a necessary condition for the existence of non-degenerate Lipschitz maps between certain spaces.


title: Point-Based Multi-View Stereo Network

abstract: We introduce Point-MVSNet, a novel point-based deep framework for multi-view stereo (MVS). Distinct from existing cost volume approaches, our method directly processes the target scene as point clouds. More specifically, our method predicts the depth in a coarse-to-fine manner. We first generate a coarse depth map, convert it into a point cloud and refine the point cloud iteratively by estimating the residual between the depth of the current iteration and that of the ground truth. Our network leverages 3D geometry priors and 2D texture information jointly and effectively by fusing them into a feature-augmented point cloud, and processes the point cloud to estimate the 3D flow for each point. This point-based architecture allows higher accuracy, more computational efficiency and more flexibility than cost-volume-based counterparts. Experimental results show that our approach achieves a significant improvement in reconstruction quality compared with state-of-the-art methods on the DTU and the Tanks and Temples dataset. Our source code and trained models are available at https://github.com/callmeray/PointMVSNet .


title: An accelerated linear method for optimizing non-linear wavefunctions in variational Monte Carlo

abstract: Although the linear method is one of the most robust algorithms for optimizing non-linearly parametrized wavefunctions in variational Monte Carlo, it suffers from a memory bottleneck due to the fact at each optimization step a generalized eigenvalue problem is solved in which the Hamiltonian and overlap matrices are stored in memory. Here we demonstrate that by applying the Jacobi-Davidson algorithm, one can solve the generalized eigenvalue problem iteratively without having to build and store the matrices in question. The resulting direct linear method greatly lowers the cost and improves the scaling of the algorithm with respect to the number of parameters. To further improve the efficiency of optimization for wavefunctions with a large number of parameters, we use the first order method AMSGrad far from the minimum as it is very inexpensive, and only switch to the direct linear method near the end of the optimization where methods such as AMSGrad have long convergence tails. We apply this improved optimizer to various wavefunctions with both real and orbital space Jastrow factors for atomic systems such as Beryllium and Neon, molecular systems such as the Carbon dimer and Iron(II) Porphyrin, and model systems such as the Hubbard model and Hydrogen chains.


title: Finiteness of homoclinic classes on sectional hyperbolic sets

abstract: We study small perturbations of a sectional hyperbolic set of a vector field on a compact manifold. Indeed, we obtain robustly finiteness of homoclinic classes on this scenary. Moreover, since attractor and repeller sets are particular cases of homoclinic classes, this result improve (A. M. L\'opez B, Finiteness and existence of attractors and repellers on sectional hyperbolic sets, Discrete and Continuous Dynamical Systems-A 37).


title: A sub-modular receding horizon solution for mobile multi-agent persistent monitoring

abstract: We study the problem of persistent monitoring of a finite number of inter-connected geographical nodes by a group of heterogeneous mobile agents. We assign to each geographical node a concave and increasing reward function that resets to zero after an agent's visit. Then, we design the optimal dispatch policy of which nodes to visit at what time and by what agent by finding a policy set that maximizes a utility that is defined as the total reward collected at visit times. We show that this optimization problem is NP-hard and its computational complexity increases exponentially with the number of the agents and the length of the mission horizon. By showing that the utility function is a monotone increasing and submodular set function of agents' policy, we proceed to propose a suboptimal dispatch policy design with a known optimality gap. To reduce the time complexity of constructing the feasible search set and also to induce robustness to changes in the operational factors, we perform our suboptimal policy design in a receding horizon fashion. Then, to compensate for the shortsightedness of the receding horizon approach for reward distribution beyond the feasible policies of the agents over the receding horizon, we add a new term to our utility, which provides a measure of nodal importance beyond the receding horizon's sight. This term gives the policy design an intuition to steer the agents towards the nodes with higher rewards on the patrolling graph. Finally, we discuss how our proposed algorithm can be implemented in a decentralized manner. A simulation study demonstrates our results.


title: Benchmark calculations of pure neutron matter with realistic nucleon-nucleon interactions

abstract: We report benchmark calculations of the energy per particle of pure neutron matter as a function of the baryon density using three independent many-body methods: Brueckner-Bethe-Goldstone, Fermi hypernetted chain/single-operator chain, and auxiliary-field diffusion Monte Carlo. Significant technical improvements are implemented in the latter two methods. The calculations are made for two distinct families of realistic coordinate-space nucleon-nucleon potentials fit to scattering data, including the standard Argonne $v_{18}$ interaction and two of its simplified versions, and four of the new Norfolk $\Delta$-full chiral effective field theory potentials. The results up to twice nuclear matter saturation density show some divergence among the methods, but improved agreement compared to earlier work. We find that the potentials fit to higher-energy nucleon-nucleon scattering data exhibit a much smaller spread of energies.


title: A Groupwise Approach for Inferring Heterogeneous Treatment Effects in Causal Inference

abstract: Recently, there has been great interest in estimating the conditional average treatment effect using flexible machine learning methods. However, in practice, investigators often have working hypotheses about effect heterogeneity across pre-defined subgroups of study units, which we call the groupwise approach. The paper compares two modern ways to estimate groupwise treatment effects, a nonparametric approach and a semiparametric approach, with the goal of better informing practice. Specifically, we compare (a) the underlying assumptions, (b) efficiency and adaption to the underlying data generating models, and (c) a way to combine the two approaches. We also discuss how to test a key assumption concerning the semiparametric estimator and to obtain cluster-robust standard errors if study units in the same subgroups are correlated. We demonstrate our findings by conducting simulation studies and reanalyzing the Early Childhood Longitudinal Study.


title: How Perfect are Perfect Vortex Beams?

abstract: Perfect (optical) vortex (PV) beams are fields which are mooted to be independent of the orbital angular momentum (OAM) they carry. To date, the best experimental approximation of these modes is obtained from passing Bessel-Gaussian beams through a Fourier lens. However, the OAM-dependent width of these quasi-PVs is not precisely known and is often understated. We address this here by deriving and experimentally confirming an explicit analytic expression for the second moment width of quasi-PVs. We show that the width scales in proportion to $\sqrt{\ell}$ in the best case, the same as most "regular" vortex modes albeit with a much smaller proportionality constant. Our work will be of interest to the large community who seek to use such structured light fields in various applications, including optical trapping, tweezing and communications.


title: Elemental Abundances in M31: First Alpha and Iron Abundance Measurements in M31's Giant Stellar Stream

abstract: We present the first measurements of [Fe/H] and [$\alpha$/Fe] abundances, obtained using spectral synthesis modeling, for red giant branch stars in M31's giant stellar stream. The spectroscopic observations, obtained at a projected distance of 17 kpc from M31's center, yielded 61 stars with [Fe/H] measurements, including 21 stars with [$\alpha$/Fe] measurements, from 112 targets identified as M31 stars. The [Fe/H] measurements confirm the expectation from photometric metallicity estimates that stars in this region of M31's halo are relatively metal-rich compared to stars in the MW's inner halo: more than half the stars in the field, including those not associated with kinematically identified substructure, have [Fe/H] abundances $> -1.0$. The stars in this field are $\alpha$-enhanced at lower metallicities, while [$\alpha$/Fe] decreases with increasing [Fe/H] above metallicities of [Fe/H] $\gtrsim -0.9$. Three kinematical components have been previously identified in this field: the giant stellar stream, a second kinematically cold feature of unknown origin, and M31's kinematically hot halo. We compare probabilistic [Fe/H] and [$\alpha$/Fe] distribution functions for each of the components. The giant stellar stream and the second kinematically cold feature have very similar abundance distributions, while the halo component is more metal-poor. Although the current sample sizes are small, a comparison of the abundances of stars in the giant stellar stream field with abundances of M31 halo and dSph stars from the literature indicate that the progenitor of the stream was likely more massive, and experienced a higher efficiency of star formation, than M31's existing dSphs or the dEs NGC147 and NGC185.


title: An energy consistent discretization of the nonhydrostatic equations in primitive variables

abstract: We derive a formulation of the nonhydrostatic equations in spherical geometry with a Lorenz staggered vertical discretization. The combination conserves a discrete energy in exact time integration when coupled with a mimetic horizontal discretization. The formulation is a version of Dubos and Tort (2014) rewritten in terms of primitive variables. It is valid for terrain following mass or height coordinates and for both Eulerian or vertically Lagrangian discretizations. The discretization relies on an extension to Simmons and Burridge (1981) vertical differencing which we show obeys a discrete derivative product rule. This product rule allows us to simplify the treatment of the vertical transport terms. Energy conservation is obtained via a term-by-term balance in the kinetic, internal and potential energy budgets, ensuring an energy-consistent discretization with no spurious sources of energy. We demonstrate convergence with respect to time truncation error in a spectral element code with a HEVI IMEX timestepping algorithm