title: Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs

abstract: Comprehensive specifications are essential for various activities across the entire validation continuum for system-on-chip (SoC) designs. However, specifications are often ambiguous, incomplete, or even contain inconsistencies or errors. This paper addresses this problem by developing a specification mining approach that automatically extracts sequential patterns from SoC transaction-level traces such that the mined patterns collectively characterize system-level specifications for SoC designs. This approach exploits long short-term memory (LSTM) networks trained with the collected SoC execution traces to capture sequential dependencies among various communication events. Then, a novel algorithm is developed to efficiently extract sequential patterns on system-level communications from the trained LSTM models. Several trace processing techniques are also proposed to enhance the mining performance. We evaluate the proposed approach on simulation traces of a non-trivial multi-core SoC prototype. Initial results show that the proposed approach is capable of extracting various patterns on system-level specifications from the highly concurrent SoC execution traces.


title: StackGenVis: Alignment of Data, Algorithms, and Models for Stacking Ensemble Learning Using Performance Metrics

abstract: In machine learning (ML), ensemble methods such as bagging, boosting, and stacking are widely-established approaches that regularly achieve top-notch predictive performance. Stacking (also called "stacked generalization") is an ensemble method that combines heterogeneous base models, arranged in at least one layer, and then employs another metamodel to summarize the predictions of those models. Although it may be a highly-effective approach for increasing the predictive performance of ML, generating a stack of models from scratch can be a cumbersome trial-and-error process. This challenge stems from the enormous space of available solutions, with different sets of data instances and features that could be used for training, several algorithms to choose from, and instantiations of these algorithms using diverse parameters (i.e., models) that perform differently according to various metrics. In this work, we present a knowledge generation model, which supports ensemble learning with the use of visualization, and a visual analytics system for stacked generalization. Our system, StackGenVis, assists users in dynamically adapting performance metrics, managing data instances, selecting the most important features for a given data set, choosing a set of top-performant and diverse algorithms, and measuring the predictive performance. In consequence, our proposed tool helps users to decide between distinct models and to reduce the complexity of the resulting stack by removing overpromising and underperforming models. The applicability and effectiveness of StackGenVis are demonstrated with two use cases: a real-world healthcare data set and a collection of data related to sentiment/stance detection in texts. Finally, the tool has been evaluated through interviews with three ML experts.


title: Group Presentations for Links in Thickened Surfaces

abstract: Using a combinatorial argument, we prove the well-known result that the Wirtinger and Dehn presentations of a link in 3-space describe isomorphic groups. The result is not true for links $\ell$ in a thickened surface $S \times [0,1]$. Their precise relationship, as given in the 2012 thesis of R.E. Byrd, is established here by an elementary argument. When a diagram in $S$ for $\ell$ can be checkerboard shaded, the Dehn presentation leads naturally to an abelian "Dehn coloring group," an isotopy invariant of $\ell$. Introducing homological information from $S$ produces a stronger invariant, $\cal C$, a module over the group ring of $H_1(S; {\mathbb Z})$. The authors previously defined the Laplacian modules ${\cal L}_G,{ \cal L}_{G^*}$ and polynomials $\Delta_G, \Delta_{G^*}$ associated to a Tait graph $G$ and its dual $G^*$, and showed that the pairs $\{{\cal L}_G, {\cal L}_{G^*}\}$, $\{\Delta_G, \Delta_{G^*}\}$ are isotopy invariants of $\ell$. The relationship between $\cal C$ and the Laplacian modules is described and used to prove that $\Delta_G$ and $\Delta_{G^*}$ are equal when $S$ is a torus.


title: COVID-DA: Deep Domain Adaptation from Typical Pneumonia to COVID-19

abstract: The outbreak of novel coronavirus disease 2019 (COVID-19) has already infected millions of people and is still rapidly spreading all over the globe. Most COVID-19 patients suffer from lung infection, so one important diagnostic method is to screen chest radiography images, e.g., X-Ray or CT images. However, such examinations are time-consuming and labor-intensive, leading to limited diagnostic efficiency. To solve this issue, AI-based technologies, such as deep learning, have been used recently as effective computer-aided means to improve diagnostic efficiency. However, one practical and critical difficulty is the limited availability of annotated COVID-19 data, due to the prohibitive annotation costs and urgent work of doctors to fight against the pandemic. This makes the learning of deep diagnosis models very challenging. To address this, motivated by that typical pneumonia has similar characteristics with COVID-19 and many pneumonia datasets are publicly available, we propose to conduct domain knowledge adaptation from typical pneumonia to COVID-19. There are two main challenges: 1) the discrepancy of data distributions between domains; 2) the task difference between the diagnosis of typical pneumonia and COVID-19. To address them, we propose a new deep domain adaptation method for COVID-19 diagnosis, namely COVID-DA. Specifically, we alleviate the domain discrepancy via feature adversarial adaptation and handle the task difference issue via a novel classifier separation scheme. In this way, COVID-DA is able to diagnose COVID-19 effectively with only a small number of COVID-19 annotations. Extensive experiments verify the effectiveness of COVID-DA and its great potential for real-world applications.


title: A Deep Convolutional Neural Network for COVID-19 Detection Using Chest X-Rays

abstract: Purpose: We present image classifiers based on Dense Convolutional Networks and transfer learning to classify chest X-ray images according to three labels: COVID-19, pneumonia and normal. Methods: We fine-tuned neural networks pretrained on ImageNet and applied a twice transfer learning approach, using NIH ChestX-ray14 dataset as an intermediate step. We also suggested a novelty called output neuron keeping, which changes the twice transfer learning technique. In order to clarify the modus operandi of the models, we used Layer-wise Relevance Propagation (LRP) to generate heatmaps. Results: We were able to reach test accuracy of 100% on our test dataset. Twice transfer learning and output neuron keeping showed promising results improving performances, mainly in the beginning of the training process. Although LRP revealed that words on the X-rays can influence the networks' predictions, we discovered this had only a very small effect on accuracy. Conclusion: Although clinical studies and larger datasets are still needed to further ensure good generalization, the state-of-the-art performances we achieved show that, with the help of artificial intelligence, chest X-rays can become a cheap and accurate auxiliary method for COVID-19 diagnosis. Heatmaps generated by LRP improve the interpretability of the deep neural networks and indicate an analytical path for future research on diagnosis. Twice transfer learning with output neuron keeping improved performances.


title: SARS-CoV-2 mortality in blacks and temperature-sensitivity to an angiotensin-2 receptor blocker

abstract: Tropical climates provoke adaptations in skin pigmentation and in mechanisms controlling the volume, salt-content and pressure of body fluids. For many whose distant ancestors moved to temperate climes, these adaptations proved harmful: pigmentation decreased by natural selection and susceptibility to hypertension emerged. Now an added risk is lung inflammation from coronavirus that may be furthered by innate immune differences. Hypertension and coronavirus have in common angiotensin converting enzyme 2 (ACE2), which decreases blood pressure and mediates virus entry. In keeping with less detailed studies, a long-term case-report shows that decreased blood pressure induced by blocking a primary angiotensin receptor is supplemented, above critical blocker dosage, by a further temperature-dependent fall, likely mediated by ACE2 and secondary angiotensin receptors. Temperature-dependence suggests a linkage with tropical heritage and an influence of blockers on the progress of coronavirus infections. Positive therapeutic results should result from negation of host pro-inflammatory effects mediated by the primary angiotensin receptor and concomitant promotion of countervailing anti-inflammatory effects mediated by ACE2 through other receptors. These effects may involve innate immune system components (lectin complement pathway, NAD metabolome). Black vulnerability - more likely based on physiological than on socioeconomic differences - provides an important clue that may guide treatments.


title: How Many Modes Can a Mixture of Gaussians with Uniformly Bounded Means Have?

abstract: We show, by an explicit construction, that a mixture of univariate Gaussian densities with variance $1$ and means in $[-A,A]$ can have $\Omega(A^2)$ modes. This disproves a recent conjecture of Dytso, Yagli, Poor and Shamai \cite{DYPS20} who showed that such a mixture can have at most $O(A^{2})$ modes and surmised that the upper bound could be improved to $O(A)$. Our result holds even if an additional variance constraint is imposed on the mixing distribution. Extending the result to higher dimensions, we exhibit a mixture of Gaussians in $\mathbb{R}^{d}$, with identity covariances and means inside $[-A,A]^{d}$, that has $\Omega(A^{2d})$ modes.


title: Optical signatures of multifold fermions in the chiral topological semimetal CoSi

abstract: We report the optical conductivity in high-quality crystals of the chiral topological semimetal CoSi, which hosts exotic quasiparticles known as multifold fermions. We find that the optical response is separated into several distinct regions as a function of frequency, each dominated by different types of quasiparticles. The low-frequency intraband response is captured by a narrow Drude peak from a high-mobility electron pocket of double Weyl quasi-particles, and the temperature dependence of the spectral weight is consistent with its Fermi velocity. By subtracting the low-frequency sharp Drude and phonon peaks at low temperatures, we reveal two intermediate quasi-linear inter-band contributions separated by a kink at 0.2 eV. Using Wannier tight-binding models based on first-principle calculations, we link the optical conductivity above and below 0.2 eV to interband transitions near the double Weyl fermion and a threefold fermion, respectively. We analyze and determine the chemical potential relative to the energy of the threefold fermion, revealing the importance of transitions between a linearly dispersing band and a flat band. More strikingly, below 0.1 eV our data are best explained if spin-orbit coupling is included, suggesting that at these energies the optical response is governed by transitions between a previously unobserved four-fold spin-3/2 node and a Weyl node. Our comprehensive combined experimental and theoretical study provides a way to resolve different types of multifold fermions in CoSi at different energy. More broadly our results provide the necessary basis to interpret the burgeoning set of optical and transport experiments in chiral topological semimetals.


title: Implementation of the ADMM to Parabolic Optimal Control Problems with Control Constraints and Beyond

abstract: Parabolic optimal control problems with control constraints are generally challenging, from either theoretical analysis or algorithmic design perspectives. Conceptually, the well-known alternating direction method of multipliers (ADMM) can be directly applied to such a problem. An attractive advantage of this direct ADMM application is that the control constraint can be untied from the parabolic PDE constraint; these two inherently different constraints thus can be treated individually in iterations. At each iteration of the ADMM, the main computation is for solving an unconstrained parabolic optimal control problem. Because of its high dimensionality after discretization, the unconstrained parabolic optimal control problem at each iteration can be solved only inexactly by implementing certain numerical scheme internally and thus a two-layer nested iterative scheme is required. It then becomes important to find an easily implementable and efficient inexactness criterion to execute the internal iterations, and to prove the overall convergence rigorously for the resulting two-layer nested iterative scheme. To implement the ADMM efficiently, we propose an inexactness criterion that is independent of the mesh size of the involved discretization, and it can be executed automatically with no need to set empirically perceived constant accuracy a prior. The inexactness criterion turns out to allow us to solve the resulting unconstrained optimal control problems to medium or even low accuracy and thus saves computation significantly, yet convergence of the overall two-layer nested iterative scheme can be still guaranteed rigorously. Efficiency of this ADMM implementation is promisingly validated by preliminary numerical results. Our methodology can also be extended to a range of optimal control problems constrained by other linear PDEs such as elliptic equations and hyperbolic equations.


title: The Newspaper Navigator Dataset: Extracting And Analyzing Visual Content from 16 Million Historic Newspaper Pages in Chronicling America

abstract: Chronicling America is a product of the National Digital Newspaper Program, a partnership between the Library of Congress and the National Endowment for the Humanities to digitize historic newspapers. Over 16 million pages of historic American newspapers have been digitized for Chronicling America to date, complete with high-resolution images and machine-readable METS/ALTO OCR. Of considerable interest to Chronicling America users is a semantified corpus, complete with extracted visual content and headlines. To accomplish this, we introduce a visual content recognition model trained on bounding box annotations of photographs, illustrations, maps, comics, and editorial cartoons collected as part of the Library of Congress's Beyond Words crowdsourcing initiative and augmented with additional annotations including those of headlines and advertisements. We describe our pipeline that utilizes this deep learning model to extract 7 classes of visual content: headlines, photographs, illustrations, maps, comics, editorial cartoons, and advertisements, complete with textual content such as captions derived from the METS/ALTO OCR, as well as image embeddings for fast image similarity querying. We report the results of running the pipeline on 16.3 million pages from the Chronicling America corpus and describe the resulting Newspaper Navigator dataset, the largest dataset of extracted visual content from historic newspapers ever produced. The Newspaper Navigator dataset, finetuned visual content recognition model, and all source code are placed in the public domain for unrestricted re-use.


title: MARS: Malleable Actor-Critic Reinforcement Learning Scheduler

abstract: In this paper, we introduce MARS, a new scheduling system for HPC-cloud infrastructures based on a cost-aware, flexible reinforcement learning approach, which serves as an intermediate layer for next generation HPC-cloud resource manager. MARS ensembles the pre-trained models from heuristic workloads and decides on the most cost-effective strategy for optimization. A whole workflow application would be split into several optimizable dependent sub-tasks, then based on the pre-defined resource management plan, a reward will be generated after executing a scheduled task. Lastly, MARS updates the Deep Neural Network (DNN) model based on the reward. MARS is designed to optimize the existing models through reinforcement mechanisms. MARS adapts to the dynamics of workflow applications, selects the most cost-effective scheduling solution among pre-built scheduling strategies (backfilling, SJF, etc.) and self-learning deep neural network model at run-time. We evaluate MARS with different real-world workflow traces. MARS can achieve 5%-60% increased performance compared to the state-of-the-art approaches.


title: Hierarchical macro-nanoporous metals for leakage-free high-thermal conductivity shape-stabilized phase change materials

abstract: Impregnation of Phase Change Materials (PCMs) into a porous medium is a promising way to stabilize their shape and improve thermal conductivity which are essential for thermal energy storage and thermal management of small-size applications, such as electronic devices or batteries. However, in these composites a general understanding of how leakage is related to the characteristics of the porous material is still lacking. As a result, the energy density and the antileakage capability are often antagonistically coupled. In this work we overcome the current limitations, showing that a high energy density can be reached together with superior anti-leakage performance by using hierarchical macro-nanoporous metals for PCMs impregnation. By analyzing capillary phenomena and synthesizing a new type of material, it was demonstrated that a hierarchical trimodal macro-nanoporous metal (copper) provides superior antileakage capability (due to strong capillary forces of nanopores), high energy density (90vol% of PCM load due to macropores) and improves the charging/discharging kinetics, due to a three-fold enhancement of thermal conductivity. It was further demonstrated by CFD simulations that such a composite can be used for thermal management of a battery pack and unlike pure PCM it is capable of maintaining the maximum temperature below the safety limit. The present results pave the way for the application of hierarchical macro-nanoporous metals for high-energy density, leakage-free, and shape-stabilized PCMs with enhanced thermal conductivity. These innovative composites can significantly facilitate the thermal management of compact systems such as electronic devices or high-power batteries by improving their efficiency, durability and sustainability


title: What Do Our Choices Say About Our Preferences?

abstract: Taking online decisions is a part of everyday life. Think of buying a house, parking a car or taking part in an auction. We often take those decisions publicly, which may breach our privacy - a party observing our choices may learn a lot about our preferences. In this paper we investigate the online stopping algorithms from the privacy preserving perspective, using a mathematically rigorous differential privacy notion. In differentially private algorithms there is usually an issue of balancing the privacy and utility. In this regime, in most cases, having both optimality and high level of privacy at the same time is impossible. We propose a natural mechanism to achieve a controllable trade-off, quantified by a parameter, between the accuracy of the online algorithm and its privacy. Depending on the parameter, our mechanism can be optimal with weaker differential privacy or suboptimal, yet more privacy-preserving. We conduct a detailed accuracy and privacy analysis of our mechanism applied to the optimal algorithm for the classical secretary problem. Thereby the classical notions from two distinct areas - optimal stopping and differential privacy - meet for the first time.


title: Testing Earth-like atmospheric evolution on exo-Earths through oxygen absorption: required sample sizes and the advantage of age-based target selection

abstract: Life has had a dramatic impact on the composition of Earth's atmosphere over time, which suggests that statistical studies of other inhabited planets' atmospheres could reveal how they co-evolve with life. While many evolutionary pathways are possible for inhabited worlds, a possible starting hypothesis is that most of them evolve similarly to Earth, which we propose could lead to a positive "age-oxygen correlation" between the ages of inhabited planets and the fraction which have oxygen-rich atmospheres. We demonstrate that next-generation space observatories currently under consideration could test this hypothesis, but only if the stellar age distribution of the target sample is carefully considered. We explore three possible parameterizations of the age-oxygen correlation, finding that they yield similar results. Finally, we examine how abiotic oxygen sources could affect the results, and discuss how measuring the age-dependence of oxygen could shed light on whether it is a reliable biosignature. Future efforts can expand upon this groundwork by incorporating detailed models of the redox balance of terrestrial planets and its dependence on stellar and planetary properties.


title: Workshops on Extreme Scale Design Automation (ESDA) Challenges and Opportunities for 2025 and Beyond

abstract: Integrated circuits and electronic systems, as well as design technologies, are evolving at a great rate -- both quantitatively and qualitatively. Major developments include new interconnects and switching devices with atomic-scale uncertainty, the depth and scale of on-chip integration, electronic system-level integration, the increasing significance of software, as well as more effective means of design entry, compilation, algorithmic optimization, numerical simulation, pre- and post-silicon design validation, and chip test. Application targets and key markets are also shifting substantially from desktop CPUs to mobile platforms to an Internet-of-Things infrastructure. In light of these changes in electronic design contexts and given EDA's significant dependence on such context, the EDA community must adapt to these changes and focus on the opportunities for research and commercial success. The CCC workshop series on Extreme-Scale Design Automation, organized with the support of ACM SIGDA, studied challenges faced by the EDA community as well as new and exciting opportunities currently available. This document represents a summary of the findings from these meetings.


title: An Adaptive Diffserv Approach To Support QoS In Network Mobility Nemo Environment

abstract: Network mobility basic support (NEMO BS) protocol (RFC 3963) is an extension of Mobile IPv6. The NEMO BS embraced by the IETF working group to permit any node in the portable network to be accessible to the Internet despite the fact the network itself is roaming. This protocol likewise Mobile IPv6 does not deliver any kind of Quality of Service (QoS) guarantees to its clients. It can barely offer the same level of services (i.e. Best-Effort) to all the users without obligation to the needs of applications. These propositions a challenge to real-time applications that demand a precise level of QoS pledge. The Differentiated Services have recently come to be the most widely used QoS support technology in IP networks due to its relative simplicity and scalability benefits. This paper proposes a new scheme to provide QoS to mobile network nodes within the NEMO context. The proposed scheme intends to reduce handover latency for the users of MNN as well as alleviates packet losses. The feasibility of the proposed enhancement is assessed by measuring its performance against the native NEMO BS standard protocol using the NS-2 simulator. The obtained results in the simulation study have demonstrated that the proposed scheme outperforms the standard NEMO BS protocol.


title: Dualities and reciprocities on graphs on surfaces

abstract: We extend the duality between acyclic orientations and totally cyclic orientations on planar graphs to dualities on graphs on orientable surfaces by introducing boundary acyclic orientations and totally bi-walkable orientations. In addition, we provide a reciprocity theorem connecting local tensions and boundary acyclic orientations. Furthermore, we define the balanced flow polynomial which is connected with tension polynomial by duality and with totally bi-walkable orientations by reciprocity.


title: Characterizing capacity of flexible loads for providing grid support

abstract: Flexible loads are a resource for the Balancing Authority (BA) of the future to aid in the balance of supply and demand in the power grid. Consequently, it is of interest for a BA to know how much flexibility a collection of loads has, so to successfully incorporate flexible loads into grid level resource allocation. Loads' flexibility is limited by all their Quality of Service (QoS) requirements. In this work we present a characterization of capacity for a collection of flexible loads. This characterization is in terms of the Power Spectral Density (PSD) of the reference signal. Two advantages of our characterization are: (i) it easily allows for a BA to use the characterization for resource allocation of flexible loads and (ii) it allows for precise definitions of the power and energy capacity for a collection of flexible loads.


title: Reorganization energy and polaronic effects of pentacene on NaCl films

abstract: Due to recent advances in scanning-probe technology, the electronic structure of individual molecules can now also be investigated if they are immobilized by adsorption on non-conductive substrates. As a consequence, different molecular charge-states are now experimentally accessible. Thus motivated, we investigate as an experimentally relevant example the electronic and structural properties of a NaCl(001) surface with and without pentacene adsorbed (neutral and charged) by employing density functional theory. We estimate the polaronic reorganization energy to be $E_\text{reorg} \simeq 0.8-1.0$ eV, consistent with experimental results obtained for molecules of similar size. To account for environmental effects on this estimate, different models for charge screening are compared. Finally, we calculate the density profile of one of the frontier orbitals for different occupation and confirm the experimentally observed localization of the charge density upon relaxation of the substrate from ab-initio calculations.


title: Electromigration-Aware Architecture for Modern Microprocessors

abstract: Reliability is a fundamental requirement in any microprocessor to guarantee correct execution over its lifetime. The design rules related to reliability depend on the process technology being used and the expected operating conditions of the device. To meet reliability requirements, advanced process technologies (28 nm and below) impose highly challenging design rules. Such design-for-reliability rules have become a major burden on the flow of VLSI implementation because of the severe physical constraints they impose. This paper focuses on electromigration (EM), which is one of the major critical factors affecting semiconductor reliability. EM is the aging process of on-die wires and vias and is induced by excessive current flow that can damage wires and may also significantly impact the integrated-circuit clock frequency. EM exerts a comprehensive global effect on devices because it impacts wires that may reside inside the standard or custom logical cells, between logical cells, inside memory elements, and within wires that interconnect functional blocks. The design-implementation flow (synthesis and place-and-route) currently detects violations of EM-reliability rules and attempts to solve them. In contrast, this paper proposes a new approach to enhance these flows by using EM-aware architecture. Our results show that the proposed solution can relax EM design efforts in microprocessors and more than double microprocessor lifetime. This work demonstrates this proposed approach for modern microprocessors, although the principals and ideas can be adapted to other cases as well.


title: Bayesian estimate of the superfluid moments of inertia from the 2016 glitch in the Vela pulsar

abstract: The observation of the first pulse-to-pulse glitch in the Vela pulsar opens a new window on the internal dynamics of neutron stars. We study the minimal three-component model for pulsar glitches by solving it with generic initial conditions. The purpose is to use this solution to fit the data of the 2016 Vela glitch by employing a Bayesian approach and to obtain a probability distribution for the physical parameters of the model and for observational parameters, such as the glitch rise time and the relaxation timescale. The fit is achieved through Bayesian inference. Due to the presence of an increase in the timing residuals near the glitch time, an extra magnetospheric component was added to the three-component model to deal with this phenomenon. A physically reasonable, non-informative prior was set on the parameters of the model, so that the posterior distribution could be compared with information obtained from microphysical calculations. By considering a model with a tightened prior on the moment of inertia fractions and by comparing it with the original model by means of Bayesian model selection, we studied the possibility of a crust-limited superfluid reservoir. We obtained the posterior distribution for the moment of inertia fractions of the superfluid components, the coupling parameters, and the initial velocity lags between the components. An analysis of the inferred posterior also confirmed the presence of an overshoot in that glitch and set an upper limit of $\sim 6\,$s on the glitch rise timescale. The comparison between the two models with different priors on the moment of inertia fractions appears to indicate a need for a core participation in the glitch phenomenon, regardless of the uncertain strength of the entrainment coupling.


title: MorphoCluster: Efficient Annotation of Plankton images by Clustering

abstract: In this work, we present MorphoCluster, a software tool for data-driven, fast and accurate annotation of large image data sets. While already having surpassed the annotation rate of human experts, volume and complexity of marine data will continue to increase in the coming years. Still, this data requires interpretation. MorphoCluster augments the human ability to discover patterns and perform object classification in large amounts of data by embedding unsupervised clustering in an interactive process. By aggregating similar images into clusters, our novel approach to image annotation increases consistency, multiplies the throughput of an annotator and allows experts to adapt the granularity of their sorting scheme to the structure in the data. By sorting a set of 1.2M objects into 280 data-driven classes in 71 hours (16k objects per hour), with 90% of these classes having a precision of 0.889 or higher. This shows that MorphoCluster is at the same time fast, accurate and consistent, provides a fine-grained and data-driven classification and enables novelty detection. MorphoCluster is available as open-source software at https://github.com/morphocluster.


title: Invariant subspaces of a generalized backward shift operator and rational functions

abstract: We obtaine the full characterization of proper closed invariant subspaces of a generalized backward shift operator (Pommiez operator) in the Frechet space of all holomorphic functions on a simply connected domain $\Omega$ of the complex plane, containing the origin. In the case when the function, which defines this operator, is not has zeros in $\Omega$ all such subspaces are finite-dimensional. If additionally $\Omega $ coincides with the complex plane, then the considered operator is unicellular. If this function has zeros in $\Omega $, then the family of mentioned invariant subspaces splits into two classes: the first consists of finite-dimensional subspaces, and the second of infinite-dimensional ones.


title: The Bussgang Decomposition of Non-Linear Systems: Basic Theory and MIMO Extensions

abstract: Many of the systems that appear in various signal processing applications are non-linear, for example, due to hardware impairments such as non-linear amplifiers and finite-resolution quantization. The Bussgang decomposition is a popular tool for analyzing the performance of systems that involve such non-linear components. In a nutshell, the decomposition provides an exact probabilistic relationship between the output and the input of a non-linearity: the output is equal to a scaled version of the input plus uncorrelated distortion. The decomposition can either be used to compute exact performance results or lower bounds where the uncorrelated distortion is treated as independent noise. This lecture note explains the basic theory, provides key examples, extends the theory to complex-valued vector signals, and clarifies some potential misconceptions.


title: Adversarially Learned Anomaly Detection on CMS Open Data: re-discovering the top quark

abstract: We apply an Adversarially Learned Anomaly Detection (ALAD) algorithm to the problem of detecting new physics processes in proton-proton collisions at the Large Hadron Collider. Anomaly detection based on ALAD matches performances reached by Variational Autoencoders, with a substantial improvement in some cases. Training the ALAD algorithm on 4.4 fb-1 of 8 TeV CMS Open Data, we show how a data-driven anomaly detection and characterization would work in real life, re-discovering the top quark by identifying the main features of the t-tbar experimental signature at the LHC.


title: Performance of PMTs for the JSNS2 experiment

abstract: The JSNS$^{2}$ (J-PARC Sterile Neutrino Search at J-PARC Spallation Neutron Source) experiment aims to search for neutrino oscillations over a 24\,m short baseline at J-PARC. The JSNS$^{2}$ inner detector is filled with 17 tons of gadolinium-loaded liquid scintillator (LS) and both the intermediate $\gamma$-catcher and the optically separated outer veto are filled with un-loaded LS. Optical photons from scintillation are observed by 120 Photomultiplier Tubes (PMTs). A total of 130 PMTs for the JSNS2 experiment were both donated by other experiments and purchased from Hamamatsu. Donated PMTs were purchased around 10 years ago, therefore JSNS$^{2}$ did pre-calibration of the PMTs including the purchased PMTs. 123 PMTs demonstrated acceptable performance for the JSNS$^{2}$ experiment, and 120 PMTs were installed in the detector.


title: Quantification of MagLIF morphology using the Mallat Scattering Transformation

abstract: The morphology of the stagnated plasma resulting from Magnetized Liner Inertial Fusion (MagLIF) is measured by imaging the self-emission x-rays coming from the multi-keV plasma. Equivalent diagnostic response can be generated by integrated radiation-magnetohydrodynamic (rad-MHD) simulations from programs such as HYDRA and GORGON. There have been only limited quantitative ways to compare the image morphology, that is the texture, of simulations and experiments. We have developed a metric of image morphology based on the Mallat Scattering Transformation (MST), a transformation that has proved to be effective at distinguishing textures, sounds, and written characters. This metric is designed, demonstrated, and refined by classifying ensembles (i.e., classes) of synthetic stagnation images, and by regressing an ensemble of synthetic stagnation images to the morphology (i.e., model) parameters used to generate the synthetic images. We use this metric to quantitatively compare simulations to experimental images, experimental images to each other, and to estimate the morphological parameters of the experimental images with uncertainty. This coordinate space has proved very adept at doing a sophisticated relative background subtraction in the MST space. This was needed to compare the experimental self emission images to the rad-MHD simulation images.


title: Higher-order tensor renormalization group approach to lattice glass model

abstract: In this study, the higher-order tensor renormalization group (HOTRG) method is applied to a lattice glass model that has local constraints on the occupation number of neighboring particles represented by many-body interactions. This model exhibits first- and second-order transitions depending on a certain model parameter. The results obtained by using the HOTRG method for the model were confirmed to be consistent with those obtained by a Markov-chain Monte Carlo (MCMC) method for systems of relatively small sizes. The transition points are accurately estimated by the HOTRG calculation for the systems of large sizes, which is challenging to perform using the MCMC method. These results demonstrate that the HOTRG method can be an efficient method for studying systems with many-body interactions.


title: Estimation of the Randomness of Continuous and Discrete Signals Using the Disentropy of the Autocorrelation

abstract: The amount of randomness in a signal generated by physical or non-physical process can reveal important information about that process. For example, the presence of randomness in ECG signals may indicate a cardiac disease. On the hand, the lack of randomness in a speech signal may indicate the speaker is a machine. Hence, to quantify the amount of randomness in a signal is an important task in many different areas. In this direction, the present work proposes to use the disentropy of the autocorrelation function as a measure of randomness. Examples using noisy and chaotic signals are shown.


title: Highly Conducting Spaced TiO$_2$ Nanotubes Enable Defined Conformal Coating with Nanocrystalline Nb$_2$O$_5$ and High Performance Supercapacitor Applications

abstract: In this work, we report on the electrochemical behavior of nitrided spaced TiO$_2$ nanotubes conformally coated with a nanocrystalline Nb$_2$O$_5$ layer and find for these hierarchical structures an excellent supercapacitor performance. Highly aligned conductive 1D electrodes were obtained by a three step process: i) growth of self-organized nanotubes with defined and adjustable intertube spacing, ii) conformal Nb$_2$O$_5$ decoration in the tube interspace (while providing full electrolyte access to the entire active area), and iii) high temperature nitridation. Key is the growth of a nanotube array with regular tube-to-tube interspacing that enables an optimized decoration with secondary materials such as Nb$_2$O$_5$. We observe an increase in electrode capacitance from 158 $\mu$F cm-2 for bare TiO$_2$ NTs, to 1536 $\mu$F cm-2 for TiO$_2$/Nb$_2$O$_5$ NTs, to finally 37 mF cm-2 for Nb$_2$O$_5$ decorated and then nitrided nanotubes. This drastic increase can be ascribed firstly to the defined spacing established between the tube arrays that then allows for a conformal coating with a secondary active coating. Secondly, nitridation causes a drastic increase of the electron conductivity of the entire scaffold and thus reduces resistive losses.


title: Enhanced Solar Water Splitting by Swift Charge Separation in Au/FeOOH Sandwiched Single Crystalline Fe$_2$O$_3$ Nanoflake Photoelectrodes

abstract: In this work, single crystalline $\alpha$-Fe$_2$O$_3$ nanoflakes (NFs) are formed in a highly dense array by Au seeding of a Fe substrate by a thermal oxidation technique. The NFs are conformally decorated with a thin FeOOH cocatalyst layer. Photoelectrochemical (PEC) measurements show that this photoanode with the $\alpha$-Fe$_2$O$_3$/FeOOH NFs rooted on the Au/Fe structure exhibits a significantly enhanced PEC water oxidation performance compared to the plain $\alpha$-Fe$_2$O$_3$ nanostructure on the Fe substrate. The $\alpha$-Fe$_2$O$_3$/FeOOH NFs on Au/Fe photoanode yields a photocurrent density of 3.1 mA cm-2 at 1.5 VRHE, and a remarkably low onset potential of 0.5-0.6 VRHE in 1 M KOH under AM 1.5G (100 mW cm-2) simulated sunlight illumination. The enhancement in PEC performance can be attributed to a synergistic effect of the FeOOH top decoration and Au under-layer. While FeOOH facilitates hole transfer at the interface of electrode/electrolyte, the Au layer provides a sink for the electron transport to the back contact: this leads overall to a drastically improved charge-separation efficiency in the single crystalline $\alpha$-Fe$_2$O$_3$ NF photoanode.


title: Large diameter TiO$_2$ nanotubes enable integration of conformed hierarchical and blocking layers for enhanced dye-sensitized solar cell efficiency

abstract: In the present work we grow anodic TiO$_2$ nanotube layer with tube diameter ~ 500 nm and an open tube mouth. We use this morphology in dye-sensitized solar cells (DSSCs) and show that these tubes allow the construction of hybrid hierarchical photoanode structures of nanotubes with a defined and wall-conformance TiO2 nanoparticles decoration. At the same time, the large diameter allows the successful establishment of an additional (insulating) blocking layer of SiO$_2$ or Al$_2$O$_3$. We show that this combination of hierarchical structure and blocking layer significantly enhances the solar cell efficiency by suppressing recombination reactions. In such a DSSC structure, the solar cell efficiency under back side illumination with AM1.5 illumination is enhanced from 5% neat tube to 7 %.


title: Kinetic modelling of runaway electron generation in argon-induced disruptions in ASDEX Upgrade

abstract: Massive material injection has been proposed as a way to mitigate the formation of a beam of relativistic runaway electrons that may result from a disruption in tokamak plasmas. In this paper we analyse runaway generation observed in eleven ASDEX Upgrade discharges where disruption was triggered using massive gas injection. We present numerical simulations in scenarios characteristic of on-axis plasma conditions, constrained by experimental observations, using a description of the runaway dynamics with self-consistent electric field and temperature evolution in two-dimensional momentum space and zero-dimensional real space. We describe the evolution of the electron distribution function during the disruption, and show that the runaway seed generation is dominated by hot-tail in all of the simulated discharges. We reproduce the observed dependence of the current dissipation rate on the amount of injected argon during the runaway plateau phase. Our simulations also indicate that above a threshold amount of injected argon, the current density after the current quench depends strongly on the argon densities. This trend is not observed in the experiments, which suggests that effects not captured by 0D kinetic modeling -- such as runaway seed transport -- are also important.


title: Pseudo-healthy synthesis with pathology disentanglement and adversarial learning

abstract: Pseudo-healthy synthesis is the task of creating a subject-specific `healthy' image from a pathological one. Such images can be helpful in tasks such as anomaly detection and understanding changes induced by pathology and disease. In this paper, we present a model that is encouraged to disentangle the information of pathology from what seems to be healthy. We disentangle what appears to be healthy and where disease is as a segmentation map, which are then recombined by a network to reconstruct the input disease image. We train our models adversarially using either paired or unpaired settings, where we pair disease images and maps when available. We quantitatively and subjectively, with a human study, evaluate the quality of pseudo-healthy images using several criteria. We show in a series of experiments, performed on ISLES, BraTS and Cam-CAN datasets, that our method is better than several baselines and methods from the literature. We also show that due to better training processes we could recover deformations, on surrounding tissue, caused by disease. Our implementation is publicly available at https://github.com/xiat0616/pseudo-healthy-synthesis. This paper has been accepted by Medical Image Analysis: https://doi.org/10.1016/j.media.2020.101719.


title: Algorithms yield upper bounds in differential algebra

abstract: Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that, if the algorithm is guaranteed to terminate on every input, then there is a computable upper bound for the size of the output of the algorithm in terms of the size of the input. We also generalize this to algorithms working with models of good enough theories (including for example, difference fields). We then apply this to differential algebraic geometry to show that there exists a computable uniform upper bound for the number of components of any variety defined by a system of polynomial PDEs. We then use this bound to show the existence of a computable uniform upper bound for the elimination problem in systems of polynomial PDEs with delays.


title: How Much Off-The-Shelf Knowledge Is Transferable From Natural Images To Pathology Images?

abstract: Deep learning has achieved a great success in natural image classification. To overcome data-scarcity in computational pathology, recent studies exploit transfer learning to reuse knowledge gained from natural images in pathology image analysis, aiming to build effective pathology image diagnosis models. Since transferability of knowledge heavily depends on the similarity of the original and target tasks, significant differences in image content and statistics between pathology images and natural images raise the questions: how much knowledge is transferable? Is the transferred information equally contributed by pre-trained layers? To answer these questions, this paper proposes a framework to quantify knowledge gain by a particular layer, conducts an empirical investigation in pathology image centered transfer learning, and reports some interesting observations. Particularly, compared to the performance baseline obtained by random-weight model, though transferability of off-the-shelf representations from deep layers heavily depend on specific pathology image sets, the general representation generated by early layers does convey transferred knowledge in various image classification applications. The observation in this study encourages further investigation of specific metric and tools to quantify effectiveness and feasibility of transfer learning in future.


title: Impacts of Covid-19 mode shift on road traffic

abstract: This work considers the sensitivity of commute travel times in US metro areas due to potential changes in commute patterns, for example caused by events such as pandemics. Permanent shifts away from transit and carpooling can add vehicles to congested road networks, increasing travel times. Growth in the number of workers who avoid commuting and work from home instead can offset travel time increases. To estimate these potential impacts, 6-9 years of American Community Survey commute data for 118 metropolitan statistical areas are investigated. For 74 of the metro areas, the average commute travel time is shown to be explainable using only the number of passenger vehicles used for commuting. A universal Bureau of Public Roads model characterizes the sensitivity of each metro area with respect to additional vehicles. The resulting models are then used to determine the change in average travel time for each metro area in scenarios when 25\% or 50\% of transit and carpool users switch to single occupancy vehicles. Under a 25\% mode shift, areas such as San Francisco and New York that are already congested and have high transit ridership may experience round trip travel time increases of 12 minutes (New York) to 20 minutes (San Francisco), costing individual commuters \$1065 and \$1601 annually in lost time. The travel time increases and corresponding costs can be avoided with an increase in working from home. The main contribution of this work is to provide a model to quantify the potential increase in commute travel times under various behavior changes, that can aid policy making for more efficient commuting.


title: Validation of the rapid detection approach for enhancing the electronic nose systems performance, using different deep learning models and support vector machines

abstract: Real-time gas classification is an essential issue and challenge in applications such as food and beverage quality control, accident prevention in industrial environments, for instance. In recent years, the Deep Learning (DL) models have shown great potential to classify and forecast data in diverse problems, even in the electronic nose (E-Nose) field. In this work, we used a Support Vector Machines (SVM) algorithm and three different DL models to validate the rapid detection approach (based on processing an early portion of raw signals and a rising window protocol) over different measurement conditions. We performed a set of trials with five different E-Nose databases that include fifteen datasets. Based on the results, we concluded that the proposed approach has a high potential, and it can be suitable to be used for E-nose technologies, reducing the necessary time for making forecasts and accelerating the response time. Because in most cases, it achieved reliable estimates using only the first 30% or fewer of measurement data (counted after the gas injection starts.) The findings suggest that the rapid detection approach generates reliable forecasting models using different classification methods. Still, SVM seems to obtain the best accuracy, right window size, and better training time.


title: Two Segmentation Methods for the Diagnosis of Malignant Melanoma

abstract: Automatic diagnosis of malignant melanoma highly depends on the segmentation methods used for the suspicious lesion. We suggest the parameter selection method (PSM) and maximum area method (MAM) for the segmentation of the lesion to be diagnosed. Herein, these segmentation methods are compared to a skin cancer expert's segmentation and three other conventional algorithms. The diagnosis of malignant melanoma based on the two suggested, three conventional, and expert's segmentation are compared with respect to sensitivity, specificity, and accuracy.


title: Conservation Laws and Spin System Modeling through Principal Component Analysis

abstract: This paper examines several applications of principal component analysis (PCA) to physical systems. The first of these demonstrates that the principal components in a basis of appropriate system variables can be employed to identify physically conserved quantities. That is, if the general form of a physical symmetry law is known, the PCA can identify an algebraic expression for the symmetry from the observed system trajectories. Secondly, the eigenvalue spectrum of the principal component spectrum for homogeneous periodic spin systems is found to reflect the geometric shape of the boundary. Finally, the PCA is employed to generate synthetic spin realizations with probability distributions in energy-magnetization space that closely resemble that of the input realizations although statistical quantities are inaccurately reproduced.


title: Probing the supersolid order via high-energy scattering: analytical relations among response, density modulation, and superfluid fraction

abstract: High-energy scattering spectroscopy is a widely-established technique for probing the characteristic properties of complex physical systems. Motivated by the recent observation of long-sought supersolid states in dipolar quantum Bose gases, I investigate the general relationships existing between the density contrast, the superfluid fraction, and the response to a high-energy scattering probe of density-modulated states within a classical-field approach. I focus on the two extreme regimes of "shallow" and "deep" supersolids, which are of particular interest in describing the phase transitions of the supersolid to a uniform superfluid and an incoherent crystal state, respectively. Using relevant Ans\"atze for the fields of dipolar supersolid states in these regimes, I specify and illustrate the scaling laws relating the three observables. This work was first prompted to develop an intuitive understanding of a concomitant study based on experiments and mean-field numerical simulations. Beyond this specific application, this works provides a simple and general framework to describe density-modulated states, and in particular the intriguing case of supersolids. It describes key properties characterizing the supersolid order and highlights new possibilities for probing such properties based on high-energy scattering response.

categories: cond-mat.quant-gas cond-mat.mtrl-sci cond-mat.other quant-ph


title: A Framework for Plant Topology Extraction Using Process Mining and Alarm Data

abstract: Industrial plants are prone to faults. To notify the operator of a fault occurrence, alarms are utilized as a basic part of modern computer-controlled plants. However, due to the interconnections of different parts of a plant, a single fault often propagates through the plant and triggers a (sometimes large) number of alarms. A graphical plant topology can help operators, process engineers and maintenance experts find the root cause of a plant upset or discover the propagation path of a fault. In this paper, a method is developed to extract plant topology form alarm data. The method is based on process mining, a collection of concepts and algorithms that model a process (not necessarily an engineering one) based on recorded events. The event based nature of alarm data as well as the chronological order of recorded alarms make them suitable for process mining. The methodology developed in this paper is based on preparing alarm data for process mining and then using the suitable process mining algorithms to extract plant topology. The extracted topology is represented by the familiar Petri net which can be used for root cause analysis and discovering fault propagation paths. The methods to evaluate the extracted topology are also discussed. A case study on the well-known Tennessee Eastman process demonstrates the utility of the proposed method.


title: VisualEchoes: Spatial Image Representation Learning through Echolocation

abstract: Several animal species (e.g., bats, dolphins, and whales) and even visually impaired humans have the remarkable ability to perform echolocation: a biological sonar used to perceive spatial layout and locate objects in the world. We explore the spatial cues contained in echoes and how they can benefit vision tasks that require spatial reasoning. First we capture echo responses in photo-realistic 3D indoor scene environments. Then we propose a novel interaction-based representation learning framework that learns useful visual features via echolocation. We show that the learned image features are useful for multiple downstream vision tasks requiring spatial reasoning---monocular depth estimation, surface normal estimation, and visual navigation---with results comparable or even better than heavily supervised pre-training. Our work opens a new path for representation learning for embodied agents, where supervision comes from interacting with the physical world.


title: Exclusive tensor meson photoproduction

abstract: We study tensor meson photoproduction outside of the resonance region, at beam energies of few GeVs. We build a model based on Regge theory that includes the leading vector and axial exchanges. We consider two determinations of the unknown helicity couplings, and fit to the recent a2 photoproduction data from CLAS. Both choices give a similar description of the a2 cross section, but result in different predictions for the parity asymmetries and the f2 photoproduction cross section. We conclude that new measurements of f2 photoproduction in the forward region are needed to pin down the correct production mechanism. We also extend our predictions to the 8.5 GeV beam energy, where current experiments are running.


title: Reward Constrained Interactive Recommendation with Natural Language Feedback

abstract: Text-based interactive recommendation provides richer user feedback and has demonstrated advantages over traditional interactive recommender systems. However, recommendations can easily violate preferences of users from their past natural-language feedback, since the recommender needs to explore new items for further improvement. To alleviate this issue, we propose a novel constraint-augmented reinforcement learning (RL) framework to efficiently incorporate user preferences over time. Specifically, we leverage a discriminator to detect recommendations violating user historical preference, which is incorporated into the standard RL objective of maximizing expected cumulative future rewards. Our proposed framework is general and is further extended to the task of constrained text generation. Empirical results show that the proposed method yields consistent improvement relative to standard RL methods.


title: From Arguments to Key Points: Towards Automatic Argument Summarization

abstract: Generating a concise summary from a large collection of arguments on a given topic is an intriguing yet understudied problem. We propose to represent such summaries as a small set of talking points, termed "key points", each scored according to its salience. We show, by analyzing a large dataset of crowd-contributed arguments, that a small number of key points per topic is typically sufficient for covering the vast majority of the arguments. Furthermore, we found that a domain expert can often predict these key points in advance. We study the task of argument-to-key point mapping, and introduce a novel large-scale dataset for this task. We report empirical results for an extensive set of experiments with this dataset, showing promising performance.


title: Application of accelerated fixed-point algorithms to hydrodynamic well-fracture coupling

abstract: The coupled simulations of dynamic interactions between the well, hydraulic fractures and reservoir have significant importance in some areas of petroleum reservoir engineering. Several approaches to the problem of coupling between the numerical models of these parts of the full system have been developed in the industry in past years. One of the possible approaches allowing formulation of the problem as a fixed-point problem is studied in the present work. Accelerated Anderson's and Aitken's fixed-point algorithms are applied to the coupling problem. Accelerated algorithms are compared with traditional Picard iterations on the representative set of test cases including ones remarkably problematic for coupling. Relative performance is measured, and the robustness of the algorithms is tested. Accelerated algorithms enable a significant (up to two orders of magnitude) performance boost in some cases and convergent solutions in the cases where simple Picard iterations fail. Based on the analysis, we provide recommendations for the choice of the particular algorithm and tunable relaxation parameter depending on anticipated complexity of the problem.


title: Extracing the number of short-range corerlated nucleon pairs from inclusive electron scattering data

abstract: The extraction of the relative abundances of short-range correlated (SRC) nucleon pairs from inclusive electron scattering is studied using the generalized contact formalism (GCF) with several nuclear interaction models. GCF calculations can reproduce the observed scaling of the cross-section ratios for nuclei relative to deuterium at high-$x_B$ and large-$Q^2$, $a_2=(\sigma_A/A)/(\sigma_d/2)$. In the non-relativistic instant-form formulation, the calculation is very sensitive to the model parameters and only reproduces the data using parameters that are inconsistent with ab-initio many-body calculations. Using a light-cone GCF formulation significantly decreases this sensitivity and improves the agreement with ab-initio calculations. The ratio of similar mass isotopes, such as $^{40}$Ca and $^{48}$Ca, should be sensitive to the nuclear asymmetry dependence of SRCs, but is found to also be sensitive to low-energy nuclear structure. Thus the empirical association of SRC pair abundances with the measured $a_2$ values is only accurate to about $20\%$. Improving this will require cross-section calculations that reproduce the data while properly accounting for both nuclear structure and relativistic effects.


title: Smoothing and Strichartz estimates for degenerate Schr\"{o}dinger-type equations

abstract: In this paper we focus on the validity of some fundamental estimates for time-degenerate Schr\"{o}dinger-type operators. On one hand we derive global homogeneous smoothing estimates for operators of any order by means of suitable comparison principles (that we shall obtain here). On the other hand, we prove weighted Strichartz-type estimates for time-degenerate Scrh\"{o}dinger operators and apply them to the local well-posedness of the semilinear Cauchy problem. Most of our results apply to nondegenerate operators as well, recovering, in these cases, the well-known standard results.


title: On the initial boundary value problem for the vacuum Einstein equations and geometric uniqueness

abstract: We formulate an initial boundary value problem (IBVP) for the vacuum Einstein equations by describing the boundary conditions of a spacetime metric in its associated gauge. This gauge is determined, equivariantly with respect to diffeomorphisms, by the spacetime metric. The vacuum spacetime metric $g$ and its associated gauge $\phi_g$ are solved simultaneously in local harmonic coordinates. Further we show that vacuum spacetimes satisfying fixed initial-boundary conditions and corner conditions are geometrically unique near the initial surface. Finally, in analogy to the solution of the Cauchy problem, we also construct a unique maximal globally hyperbolic solution of the IBVP.


title: Continuous and monotone machines

abstract: We investigate a variant of the fuel-based approach to modeling diverging computation in type theories and use it to abstractly capture the essence of oracle Turing machines. The resulting objects we call continuous machines. We prove that it is possible to translate back and forth between such machines and names in the standard function encoding used in computable analysis. Put differently, among the operators on Baire space, exactly the partial continuous ones are implementable by continuous machines and the data that such a machine provides is a description of the operator as a sequentially realizable functional. Continuous machines are naturally formulated in type theories and we have formalized our findings in Coq. Continuous machines, their equivalence to the standard encoding and correctness of basic operations are now part of Incone, a Coq library for computable analysis. While the correctness proofs use a classical meta-theory with countable choice, the translations and algorithms that are proven correct are all fully executable. Along the way we formally prove some known results such as existence of a self-modulating moduli of continuity for partial continuous operators on Baire space. To illustrate their versatility we use continuous machines to specify some algorithms that operate on objects that cannot be fully described by finite means, such as real numbers and functions. We present particularly simple algorithms for finding the multiplicative inverse of a real number and for composition of partial continuous operators on Baire space. Some of the simplicity is achieved by utilizing the fact that continuous machines are compatible with multivalued semantics. We also connect continuous machines to the construction of precompletions and completions of represented spaces, topics that have recently caught the attention of the computable analysis community.


title: Adapt or perish: Evolutionary rescue in a gradually deteriorating environment

abstract: We investigate the evolutionary rescue of a microbial population in a gradually deteriorating environment, through a combination of analytical calculations and stochastic simulations. We consider a population destined for extinction in the absence of mutants, which can only survive if mutants sufficiently adapted to the new environment arise and fix. We show that mutants that appear later during the environment deterioration have a higher probability to fix. The rescue probability of the population increases with a sigmoidal shape when the product of the carrying capacity and of the mutation probability increases. Furthermore, we find that rescue becomes more likely for smaller population sizes and/or mutation probabilities if the environment degradation is slower, which illustrates the key impact of the rapidity of environment degradation on the fate of a population. We also show that our main conclusions are robust across various types of adaptive mutants, including specialist and generalist ones, as well as mutants modeling antimicrobial resistance evolution. We further express the average time of appearance of the mutants that do rescue the population and the average extinction time of those that do not. Our methods can be applied to other situations with continuously variable fitnesses and population sizes, and our analytical predictions are valid in the weak-to-moderate mutation regime.


title: Monobrick, a uniform approach to torsion-free classes and wide subcategories

abstract: For a length abelian category, we show that all torsion-free classes can be classified by using only the information on bricks, including non functorially-finite ones. The idea is to consider the set of simple objects in a torsion-free class, which has the following property: it is a set of bricks where every non-zero map between them is an injection. We call such a set a monobrick. In this paper, we provide a uniform method to study torsion-free classes and wide subcategories via monobricks. We show that monobricks are in bijection with left Schur subcategories, which contains all subcategories closed under extensions, kernels and images, thus unifies torsion-free classes and wide subcategories. Then we show that torsion-free classes bijectively correspond to cofinally closed monobricks. Using monobricks, we deduce several known results on torsion(-free) classes and wide subcategories (e.g. finiteness result and bijections) in length abelian categories, without using $\tau$-tilting theory. For Nakayama algebras, left Schur subcategories are the same as subcategories closed under extensions, kernels and images, and we show that its number is related to the large Schr\"oder number.


title: Multiagent Value Iteration Algorithms in Dynamic Programming and Reinforcement Learning

abstract: We consider infinite horizon dynamic programming problems, where the control at each stage consists of several distinct decisions, each one made by one of several agents. In an earlier work we introduced a policy iteration algorithm, where the policy improvement is done one-agent-at-a-time in a given order, with knowledge of the choices of the preceding agents in the order. As a result, the amount of computation for each policy improvement grows linearly with the number of agents, as opposed to exponentially for the standard all-agents-at-once method. For the case of a finite-state discounted problem, we showed convergence to an agent-by-agent optimal policy. In this paper, this result is extended to value iteration and optimistic versions of policy iteration, as well as to more general DP problems where the Bellman operator is a contraction mapping, such as stochastic shortest path problems with all policies being proper.


title: Gene-Environment Interaction in the Era of Precision Medicine -- Fix the Potholes or Start Building a New Road?

abstract: Genetic mapping sprung in the last decade of the 20th century with the development of statistical procedures putting classical models of genetic effects together with molecular biology techniques. It eventually became clear that those models, originally developed to serve other purposes, implied limitations at different stages of the analyses-disclosing loci, measuring their effects and providing additional parameters for adequate biological/medical interpretations. The present paper is aimed to ponder whether it is realistic and worth to try and further amend classical models of genetic effects or it proves more sensible to undertake alternative theoretical strategies instead. In order to further feed into that debate, mathematical developments for gene-environment interaction stemming from the classical models of genetic effects are here revised and brought up-to-date with the prospects present-day available data bestow, particularly in the context of precision medicine. Those developments strengthen the methodology required to overcome the COVID-19 pandemic.


title: Dirac neutrinos and $N_{{\rm eff}}$

abstract: If neutrinos are Dirac particles the existence of light right-handed neutrinos $\nu_{R}$ is implied. Those would contribute to the effective number of relativistic neutrino species $N_{{\rm eff}}$ in the early Universe. With pure standard model interactions, the contribution is negligibly small. In the presence of new interactions, however, the contribution could be significantly enhanced. We consider the most general effective four-fermion interactions for neutrinos (scalar, pseudo-scalar, vector, axial-vector and tensor), and compute the contribution of right-handed neutrinos to $N_{{\rm eff}}$. Taking the Planck 2018 measurement of $N_{{\rm eff}}$, strong constraints on the effective four-fermion coupling are obtained, corresponding to interaction strengths of $10^{-5}\sim10^{-3}$ in units of the Fermi constant. This translates in new physics scales of up to 43 TeV and higher. Future experiments such as CMB-S4 can probe or exclude the existence of effective 4-neutrino operators for Dirac neutrinos. Ways to avoid this conclusion are discussed.


title: The Paradigm Discovery Problem

abstract: This work treats the paradigm discovery problem (PDP), the task of learning an inflectional morphological system from unannotated sentences. We formalize the PDP and develop evaluation metrics for judging systems. Using currently available resources, we construct datasets for the task. We also devise a heuristic benchmark for the PDP and report empirical results on five diverse languages. Our benchmark system first makes use of word embeddings and string similarity to cluster forms by cell and by paradigm. Then, we bootstrap a neural transducer on top of the clustered data to predict words to realize the empty paradigm slots. An error analysis of our system suggests clustering by cell across different inflection classes is the most pressing challenge for future work. Our code and data are available for public use.


title: A weak characterization of slow variables in stochastic dynamical systems

abstract: We present a novel characterization of slow variables for continuous Markov processes that provably preserve the slow timescales. These slow variables are known as reaction coordinates in molecular dynamical applications, where they play a key role in system analysis and coarse graining. The defining characteristics of these slow variables is that they parametrize a so-called transition manifold, a low-dimensional manifold in a certain density function space that emerges with progressive equilibration of the system's fast variables. The existence of said manifold was previously predicted for certain classes of metastable and slow-fast systems. However, in the original work, the existence of the manifold hinges on the pointwise convergence of the system's transition density functions towards it. We show in this work that a convergence in average with respect to the system's stationary measure is sufficient to yield reaction coordinates with the same key qualities. This allows one to accurately predict the timescale preservation in systems where the old theory is not applicable or would give overly pessimistic results. Moreover, the new characterization is still constructive, in that it allows for the algorithmic identification of a good slow variable. The improved characterization, the error prediction and the variable construction are demonstrated by a small metastable system.


title: Ego-motion and Surrounding Vehicle State Estimation Using a Monocular Camera

abstract: Understanding ego-motion and surrounding vehicle state is essential to enable automated driving and advanced driving assistance technologies. Typical approaches to solve this problem use fusion of multiple sensors such as LiDAR, camera, and radar to recognize surrounding vehicle state, including position, velocity, and orientation. Such sensing modalities are overly complex and costly for production of personal use vehicles. In this paper, we propose a novel machine learning method to estimate ego-motion and surrounding vehicle state using a single monocular camera. Our approach is based on a combination of three deep neural networks to estimate the 3D vehicle bounding box, depth, and optical flow from a sequence of images. The main contribution of this paper is a new framework and algorithm that integrates these three networks in order to estimate the ego-motion and surrounding vehicle state. To realize more accurate 3D position estimation, we address ground plane correction in real-time. The efficacy of the proposed method is demonstrated through experimental evaluations that compare our results to ground truth data available from other sensors including Can-Bus and LiDAR.


title: Construction and Elicitation of a Black Box Model in the Game of Bridge

abstract: We address the problem of building a decision model for a specific bidding situation in the game of Bridge. We propose the following multi-step methodology i) Build a set of examples for the decision problem and use simulations to associate a decision to each example ii) Use supervised relational learning to build an accurate and readable model iii) Perform a joint analysis between domain experts and data scientists to improve the learning language, including the production by experts of a handmade model iv) Build a better, more readable and accurate model.


title: Code and Named Entity Recognition in StackOverflow

abstract: There is an increasing interest in studying natural language and computer code together, as large corpora of programming texts become readily available on the Internet. For example, StackOverflow currently has over 15 million programming related questions written by 8.5 million users. Meanwhile, there is still a lack of fundamental NLP techniques for identifying code tokens or software-related named entities that appear within natural language sentences. In this paper, we introduce a new named entity recognition (NER) corpus for the computer programming domain, consisting of 15,372 sentences annotated with 20 fine-grained entity types. We trained in-domain BERT representations (BERTOverflow) on 152 million sentences from StackOverflow, which lead to an absolute increase of +10 F-1 score over off-the-shelf BERT. We also present the SoftNER model which achieves an overall 79.10 F$_1$ score for code and named entity recognition on StackOverflow data. Our SoftNER model incorporates a context-independent code token classifier with corpus-level features to improve the BERT-based tagging model. Our code and data are available at: https://github.com/jeniyat/StackOverflowNER/


title: Cubic vertex-transitive graphs of girth six

abstract: In this paper, a complete classification of finite simple cubic vertex-transitive graphs of girth $6$ is obtained. It is proved that every such graph, with the exception of the Desargues graph on $20$ vertices, is either a skeleton of a hexagonal tiling of the torus, the skeleton of the truncation of an arc-transitive triangulation of a closed hyperbolic surface, or the truncation of a $6$-regular graph with respect to an arc-transitive dihedral scheme. Cubic vertex-transitive graphs of girth larger than $6$ are also discussed.


title: Growth of matter density perturbations in 4D Einstein-Gauss-Bonnet gravity

abstract: Recently, a novel Einstein-Gauss-Bonnet gravity in four dimensions has been introduced [Phys. Rev. Lett. 124 (2020) 081301]. We will investigate cosmological consequences of this model in details. We will consider linear matter density perturbations and also estimate relevant modified gravity parameters. Specially we will concentrate on the growth rate of non-relativistic matter perturbations on top of FRW geometry and show that for a narrow range of the Gauss-Bonnet coupling constant, observational data will be satisfied. In this paper, it is shown that for enough large values of the coupling constant, the suggested $\sigma_8$ will become greater than $\Lambda$CDM value.


title: EngMeta -- Metadata for Computational Engineering

abstract: Computational engineering generates knowledge through the analysis and interpretation of research data, which is produced by computer simulation. Supercomputers produce huge amounts of research data. To address a research question, a lot of simulations are run over a large parameter space. Therefore, handling this data and keeping an overview becomes a challenge. Data documentation is mostly handled by file and folder names in inflexible file systems, making it almost impossible for data to be findable, accessible, interopable and hence reusable. To enable and improve a structured documentation of research data from computational engineering, we developed EngMeta as a metadata model. We built this model by incorporating existing standards for general descriptive and technical information and adding metadata fields for disciplinespecific information like the components and parameters of the simulated target system and information about the research process like the used methods, software and computational environment. EngMeta functions, in practical use, as the descriptive core for an institutional repository. In order to reduce the burden of description on scientists, we have developed an approach for automatically extracting metadata information from the output and log files of computer simulations. Through a qualitative analysis, we show that EngMeta fulfills the criteria of a good metadata model. Through a quantitative survey, we can show that it meets the needs of engineering scientists.


title: Investigating the discrepancy property of de Bruijn sequences

abstract: The discrepancy of a binary string refers to the maximum (absolute) difference between the number of ones and the number of zeroes over all possible substrings of the given binary string. We provide an investigation of the discrepancy of known simple constructions of de Bruijn sequences. Furthermore, we demonstrate constructions that attain the lower bound of $\Theta(n)$ and a new construction that attains the previously known upper bound of $\Theta(\frac{2^n}{\sqrt{n}})$. This extends the work of Cooper and Heitsch~[\emph{Discrete Mathematics}, 310 (2010)].


title: Quantum Stability of Generalized Proca Theories

abstract: We establish radiative stability of generalized Proca effective field theories. While standard powercounting arguments would conclude otherwise, we find non-trivial cancellations of leading order corrections by explicit computation of divergent one-loop diagrams up to four-point. These results are crosschecked against an effective action based generalized Schwinger-DeWitt method. Further, the cancellations are understood as coming from the specific structure of the theory through a decoupling limit analysis which at the same time allows for an extension of the results to higher orders.


title: Subjective Equilibria under Beliefs of Exogenous Uncertainty for Dynamic Games

abstract: We present a subjective equilibrium notion (called "subjective equilibrium under beliefs of exogenous uncertainty (SEBEU)" for stochastic dynamic games in which each player chooses her decisions under the (incorrect) belief that a stochastic environment process driving the system is exogenous whereas in actuality this process is a solution of closed-loop dynamics affected by each individual player. Players observe past realizations of the environment variables and their local information. At equilibrium, if players are given the full distribution of the stochastic environment process as if it were an exogenous process, they would have no incentive to unilaterally deviate from their strategies. This notion thus generalizes what is known as the static price-taking behavior in prior literature to a stochastic and dynamic setup. We establish existence of SEBEU, study various properties and present explicit solutions. We obtain the $\epsilon$-Nash equilibrium property of SEBEU when there are many players.


title: A Tale of a Probe and a Parser

abstract: Measuring what linguistic information is encoded in neural models of language has become popular in NLP. Researchers approach this enterprise by training "probes" - supervised models designed to extract linguistic structure from another model's output. One such probe is the structural probe (Hewitt and Manning, 2019), designed to quantify the extent to which syntactic information is encoded in contextualised word representations. The structural probe has a novel design, unattested in the parsing literature, the precise benefit of which is not immediately obvious. To explore whether syntactic probes would do better to make use of existing techniques, we compare the structural probe to a more traditional parser with an identical lightweight parameterisation. The parser outperforms structural probe on UUAS in seven of nine analysed languages, often by a substantial amount (e.g. by 11.1 points in English). Under a second less common metric, however, there is the opposite trend - the structural probe outperforms the parser. This begs the question: which metric should we prefer?


title: Navigating the Landscape of Multiplayer Games

abstract: Multiplayer games have long been used as testbeds in artificial intelligence research, aptly referred to as the Drosophila of artificial intelligence. Traditionally, researchers have focused on using well-known games to build strong agents. This progress, however, can be better informed by characterizing games and their topological landscape. Tackling this latter question can facilitate understanding of agents and help determine what game an agent should target next as part of its training. Here, we show how network measures applied to response graphs of large-scale games enable the creation of a landscape of games, quantifying relationships between games of varying sizes and characteristics. We illustrate our findings in domains ranging from canonical games to complex empirical games capturing the performance of trained agents pitted against one another. Our results culminate in a demonstration leveraging this information to generate new and interesting games, including mixtures of empirical games synthesized from real world games.


title: Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems

abstract: In this tutorial article, we aim to provide the reader with the conceptual tools needed to get started on research on offline reinforcement learning algorithms: reinforcement learning algorithms that utilize previously collected data, without additional online data collection. Offline reinforcement learning algorithms hold tremendous promise for making it possible to turn large datasets into powerful decision making engines. Effective offline reinforcement learning methods would be able to extract policies with the maximum possible utility out of the available data, thereby allowing automation of a wide range of decision-making domains, from healthcare and education to robotics. However, the limitations of current algorithms make this difficult. We will aim to provide the reader with an understanding of these challenges, particularly in the context of modern deep reinforcement learning methods, and describe some potential solutions that have been explored in recent work to mitigate these challenges, along with recent applications, and a discussion of perspectives on open problems in the field.


title: Reconfigurable photon sources based on quantum plexcitonic systems

abstract: A single photon in a strongly nonlinear cavity is able to block the transmission of the second photon, thereby converting incident coherent light into anti-bunched light, which is known as photon blockade effect. On the other hand, photon anti-pairing, where only the entry of two photons is blocked and the emission of bunches of three or more photons is allowed, is based on an unconventional photon blockade mechanism due to destructive interference of two distinct excitation pathways. We propose quantum plexcitonic systems with moderate nonlinearity to generate both anti-bunched and anti-paired photons. The proposed plexitonic systems benefit from subwavelength field localizations that make quantum emitters spatially distinguishable, thus enabling a reconfigurable photon source between anti-bunched and anti-paired states via tailoring the energy bands. For a realistic nanoprism plexitonic system, two schemes of reconfiguration are suggested: (i) the chemical means by partially changing the type of the emitters; or (ii) the optical approach by rotating the polarization angle of the incident light to tune the coupling rate of the emitters. These results pave the way to realize reconfigurable nonclassical photon sources in a simple quantum plexcitonic platform with readily accessible experimental conditions.


title: Physics results from the first COHERENT observation of CE$\nu$NS in argon and their combination with cesium-iodide data

abstract: We present the results on the radius of the neutron distribution in $^{40}\text{Ar}$, on the low-energy value of the weak mixing angle, and on the electromagnetic properties of neutrinos obtained from the analysis of the coherent neutrino-nucleus elastic scattering data in argon recently published by the COHERENT collaboration, taking into account proper radiative corrections. We present also the results of the combined analysis of the COHERENT argon and cesium-iodide data for the determination of the low-energy value of the weak mixing angle and the electromagnetic properties of neutrinos. In particular, the COHERENT argon data allow us to improve significantly the only existing laboratory bounds on the electric charge $q_{\mu\mu}$ of the muon neutrino and on the transition electric charge $q_{\mu\tau}$.


title: A Probabilistic Generative Model for Typographical Analysis of Early Modern Printing

abstract: We propose a deep and interpretable probabilistic generative model to analyze glyph shapes in printed Early Modern documents. We focus on clustering extracted glyph images into underlying templates in the presence of multiple confounding sources of variance. Our approach introduces a neural editor model that first generates well-understood printing phenomena like spatial perturbations from template parameters via interpertable latent variables, and then modifies the result by generating a non-interpretable latent vector responsible for inking variations, jitter, noise from the archiving process, and other unforeseen phenomena associated with Early Modern printing. Critically, by introducing an inference network whose input is restricted to the visual residual between the observation and the interpretably-modified template, we are able to control and isolate what the vector-valued latent variable captures. We show that our approach outperforms rigid interpretable clustering baselines (Ocular) and overly-flexible deep generative models (VAE) alike on the task of completely unsupervised discovery of typefaces in mixed-font documents.


title: Compatibility of $Zr_{2}AlC$ MAX phase-based ceramics with oxygen-poor, static liquid lead-bismuth eutectic

abstract: This work investigates the compatibility of $Zr_{2}AlC$ MAX phase-based ceramics with liquid LBE, and proposes a mechanism to explain the observed local $Zr_{2}AlC$/LBE interaction. The ceramics were exposed to oxygen-poor ($C_{O}\le2.2 \cdot10^{-10}$ mass%), static liquid LBE at 500{\deg}C for 1000 h. A new $Zr_{2}(Al,Bi,Pb)C$ MAX phase solid solution formed in-situ in the LBE-affected $Zr_{2}AlC$ grains. Out-of-plane ordering was favorable in the new solid solution, whereby $\textit{A}$-layers with high and low-Bi/Pb contents alternated in the crystal structure, in agreement with first-principles calculations. Bulk $Zr_{2}(Al,Bi,Pb)C$ was synthesized by reactive hot pressing to study the crystal structure of the solid solution by neutron diffraction.


title: Effect of Correlation between Information and Energy Links in Secure Wireless Powered Communications

abstract: In this paper, we investigate the impact of correlation between the energy and information links in wireless power transfer systems, from a physical layer security perspective. With that aim, we first determine how correlation can affect system capacity in practical energy harvesting set-ups in the absence of eavesdroppers. We quantify that even though link correlation improves the average signal-to-noise ratio (SNR) for a fixed transmit power, it also increases its variance, which ultimately degrades capacity. Based on this observation, we show that correlation between the energy and information links may be detrimental/beneficial for the secrecy capacity in the high/low legitimate SNR regime, whenever such correlation affects the legitimate user. Conversely, we also point out that when link correlation for the wiretap link is rigorously accounted for, it barely affects secrecy performance, causing only a minor degradation in some instances.


title: Resonance based schemes for dispersive equations via decorated trees

abstract: We introduce a numerical framework for dispersive equations embedding their underlying resonance structure into the discretisation. This will allow us to resolve the nonlinear oscillations of the PDE and to approximate with high order accuracy a large class of equations under lower regularity assumptions than classical techniques require. The key idea to control the nonlinear frequency interactions in the system up to arbitrary high order thereby lies in a tailored decorated tree formalism. Our algebraic structures are close to the ones developed for singular SPDEs with Regularity Structures. We adapt them to the context of dispersive PDEs by using a novel class of decorations {which encode the dominant frequencies}. The structure proposed in this paper is new and gives a variant of the Butcher-Connes-Kreimer Hopf algebra on decorated trees. We observe a similar Birkhoff type factorisation as in SPDEs and perturbative quantum field theory. This factorisation allows us to single out oscillations and to optimise the local error by mapping it to the particular regularity of the solution. This use of the Birkhoff factorisation seems new in comparison to the literature. The field of singular SPDEs took advantage of numerical methods and renormalisation in perturbative quantum field theory by extending their structures via the adjunction of decorations and Taylor expansions. Now, through this work, Numerical Analysis is taking advantage of these extended structures and provides a new perspective on them.


title: The stochastic Fisher-KPP Equation with seed bank and on/off-branching-coalescing Brownian motion

abstract: We introduce a new class of stochastic partial differential equations (SPDEs) with seed bank modeling the spread of a beneficial allele in a spatial population where individuals may switch between an active and a dormant state. Incorporating dormancy and the resulting seed bank leads to a two-type coupled system of equations with migration between both states. We first discuss existence and uniqueness of seed bank SPDEs and provide an equivalent delay representation that allows a clear interpretation of the age structure in the seed bank component. The delay representation will also be crucial in the proofs. Further, we show that the seed bank SPDEs give rise to an interesting class of "on/off" moment duals. In particular, in the special case of the F-KPP Equation with seed bank, the moment dual is given by an "on/off-branching Brownian motion". This system differs from a classical branching Brownian motion in the sense that independently for all individuals, motion and branching may be "switched off" for an exponential amount of time after which they get "switched on" again. Here, as an application of our duality, we show that the spread of a beneficial allele, which in the classical F-KPP Equation, started from a Heaviside intial condition, evolves as a pulled traveling wave with speed $\sqrt{2}$, is slowed down significantly in the corresponding seed bank F-KPP model. In fact, by computing bounds on the position of the rightmost particle in the dual on/off-branching Brownian motion, we obtain an upper bound for the speed of propagation of the beneficial allele given by $\sqrt{\sqrt{5}-1}\approx 1.111$ under unit switching rates. This shows that seed banks will indeed slow down fitness waves and preserve genetic variability, in line with intuitive reasoning from population genetics and ecology.


title: Structured Distributed Compressive Channel Estimation over Doubly Selective Channels

abstract: For an orthogonal frequency-division multiplexing (OFDM) system over a doubly selective (DS) channel, a large number of pilot subcarriers are needed to estimate the numerous channel parameters, resulting in low spectral efficiency. In this paper, by exploiting temporal correlation of practical wireless channels, we propose a highly efficient structured distributed compressive sensing (SDCS) based joint multi-symbol channel estimation scheme. Specifically, by using the complex exponential basis expansion model (CE-BEM) and exploiting the sparsity in the delay domain within multiple OFDM symbols, we turn to estimate jointly sparse CE-BEM coefficient vectors rather than numerous channel taps. Then a sparse pilot pattern within multiple OFDM symbols is designed to obtain an ICI-free structure and transform the channel estimation problem into a joint-block-sparse model. Next, a novel block-based simultaneous orthogonal matching pursuit (BSOMP) algorithm is proposed to jointly recover coefficient vectors accurately. Finally, to reduce the CE-BEM modeling error, we carry out smoothing treatments of already estimated channel taps via piecewise linear approximation.Simulation results demonstrate that the proposed channel estimation scheme can achieve higher estimation accuracy than conventional schemes, although with a smaller number of pilot subcarriers.


title: Tidal Interaction between the UX Tauri Disk A/C System Revealed by ALMA

abstract: We present sensitive and high angular resolution ($\sim$0.2-0.3$''$) (sub)millimeter (230 and 345 GHz) continuum and CO(2$-$1)/CO(3$-$2) line archive observations of the disk star system in UX Tauri carried out with ALMA (The Atacama Large Millimeter/Submillimeter Array). These observations reveal the gas and dusty disk surrounding the young star UX Tauri A with a large signal-to-noise ratio ($>$400 in the continuum and $>$50 in the line), and for the first time is detected the molecular gas emission associated with the disk of UX Tauri C (with a size for the disk of $<$56 au). No (sub)millimeter continuum emission is detected at 5$\sigma$-level (0.2 mJy at 0.85 mm) associated with UX Tauri C. For the component UX Tauri C, we estimate a dust disk mass of $\leq$ 0.05 M$_\oplus$. Additionally, we report a strong tidal disk interaction between both disks UX Tauri A/C, separated 360 au in projected distance. The CO line observations reveal marked spiral arms in the disk of UX Tauri A and an extended redshifted stream of gas associated with the UX Tauri C disk. No spiral arms are observed in the dust continuum emission of UX Tauri A. Assuming a Keplerian rotation we estimate the enclosed masses (disk$+$star) from their radial velocities in 1.4 $\pm$ 0.6 M$_\odot$ for UX Tauri A, and 70 $\pm$ 30 / $\sin i$ Jupiter masses for UX Tauri C (the latter coincides with the mass upper limit value for a brown dwarf). The observational evidence presented here lead us to propose that UX Tauri C is having a close approach of a possible wide, evolving and eccentric orbit around the disk of UX Tauri A causing the formation of spiral arms and the stream of molecular gas falling towards UX Tauri C.


title: Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map

abstract: An efficient algorithm for computing the choropleth map classification scheme known as equal area breaks or geographical quantiles is introduced. An equal area breaks classification aims to obtain a coloring for the map such that the area associated with each of the colors is approximately equal. This is meant to be an alternative to an approach that assigns an equal number of regions with a particular range of property values to each color, called quantiles, which could result in the mapped area being dominated by one or a few colors. Moreover, it is possible that the other colors are barely discernible. This is the case when some regions are much larger than others (e.g., compare Switzerland with Russia). A number of algorithms of varying computational complexity are presented to achieve an equal area assignment to regions. They include a pair of greedy algorithms, as well as an optimal algorithm that is based on dynamic programming. The classification obtained from the optimal equal area algorithm is compared with the quantiles and Jenks natural breaks algorithms and found to be superior from a visual standpoint by a user study. Finally, a modified approach is presented which enables users to vary the extent to which the coloring algorithm satisfies the conflicting goals of equal area for each color with that of assigning an equal number of regions to each color.