title: Tracing the environmental history of observed galaxies via extended fast action minimization method

abstract: We present a novel application of the extended Fast Action Minimization method (eFAM) aimed at assessing the role of the environment in shaping galaxy evolution. We validate our approach by testing eFAM predictions against the Magneticum hydrodynamical simulation. We consider the z~0 snapshot of the simulation as our observed catalogue and use the reconstructed trajectories of galaxies to model the evolution of cosmic structures. At the statistical level, the fraction of volume (VFF) occupied by voids, sheets, filaments, and clusters in the reconstructed catalogues agrees within $1\sigma$ with the VFF estimated from the high-redshift snapshots of the simulation. The local accuracy of eFAM structures is evaluated by computing their purity with respect to the simulated catalogues, P, at the cells of a regular grid. Up to z=1.2, clusters have 0.58<P<0.93, filaments vary in 0.90<P<0.99, sheets show 0.78<P<0.92, and voids are best identified with 0.90<P<0.92. As redshift increases, comparing reconstructed tracers and simulated galaxies becomes more difficult due to their different biases and number densities and the purity decreases to P~0.6. We retrieve the environmental history of individual galaxies by tracing their trajectories through the cosmic web and relate their observed gas fraction, $f_\mathrm{gas}$, with the time spent within different structures. For galaxies in clusters and filaments, eFAM reproduces the variation of $f_\mathrm{gas}$ as a function of the redshift of accretion/infall as traced by the simulations with a 1.5 $\sigma$ statistical agreement (which decreases to 2.5 $\sigma$ statistical agreement for low-mass galaxies in filaments). These results support the application of eFAM to observational data to study the environmental dependence of observed galaxy properties, offering a complementary approach to that based on light-cone observations.


title: Complete identification of complex salt geometries from inaccurate migrated subsurface offset gathers using deep learning

abstract: Delimiting salt inclusions from migrated images is a time-consuming activity that relies on highly human-curated analysis and is subject to interpretation errors or limitations of the methods available. We propose to use migrated images produced from an inaccurate velocity model (with a reasonable approximation of sediment velocity, but without salt inclusions) to predict the correct salt inclusions shape using a Convolutional Neural Network (CNN). Our approach relies on subsurface Common Image Gathers to focus the sediments' reflections around the zero offset and to spread the energy of salt reflections over large offsets. Using synthetic data, we trained a U-Net to use common-offset subsurface images as input channels for the CNN and the correct salt-masks as network output. The network learned to predict the salt inclusions masks with high accuracy; moreover, it also performed well when applied to synthetic benchmark data sets that were not previously introduced. Our training process tuned the U-Net to successfully learn the shape of complex salt bodies from partially focused subsurface offset images.


title: yosm: A new yoruba sentiment corpus for movie reviews

abstract: A movie that is thoroughly enjoyed and recommended by an individual might be hated by another. One characteristic of humans is the ability to have feelings which could be positive or negative. To automatically classify and study human feelings, an aspect of natural language processing, sentiment analysis and opinion mining were designed to understand human feelings regarding several issues which could affect a product, a social media platforms, government, or societal discussions or even movies. Several works on sentiment analysis have been done on high resource languages while low resources languages like Yoruba have been sidelined. Due to the scarcity of datasets and linguistic architectures that will suit low resource languages, African languages "low resource languages" have been ignored and not fully explored. For this reason, our attention is placed on Yoruba to explore sentiment analysis on reviews of Nigerian movies. The data comprised 1500 movie reviews that were sourced from IMDB, Rotten Tomatoes, Letterboxd, Cinemapointer and Nollyrated. We develop sentiment classification models using the state-of-the-art pre-trained language models like mBERT and AfriBERTa to classify the movie reviews.


title: The low redshift Lyman-$\alpha$ Forest as a constraint for models of AGN feedback

abstract: We study the sensitivity of the $z=0.1$ Lyman-$\alpha$ Forest observables, such as the column density distribution function (CDD), flux PDF, flux power spectrum, and line width distribution, to sub-grid models of active galactic nuclei (AGN) feedback using the Illustris and IllustrisTNG (TNG) cosmological simulations. The two simulations share an identical Ultraviolet Background (UVB) prescription and similar cosmological parameters, but TNG features an entirely reworked AGN feedback model. Due to changes in the AGN radio mode model, the original Illustris simulations have a factor of 2-3 fewer Lyman-$\alpha$ absorbers than TNG at column densities $N_{\rm HI}< 10^{15.5}$ cm$^{-2}$. We compare the simulated forest statistics to UV data from the Cosmic Origins Spectrograph (COS) and find that neither simulation can reproduce the slope of the absorber distribution. Both Illustris and TNG also produce significantly smaller line width distributions than observed in the COS data. We show that TNG is in much better agreement with the observed $z=0.1$ flux power spectrum than Illustris. We explore which statistics can disentangle the effects of AGN feedback from alternative UVB models by rescaling the UVB of Illustris to produce a CDD match to TNG. While this UVB rescaling is degenerate with the effect of AGN feedback on the CDD, the amplitude and shape of the flux PDF and 1D flux power spectrum change in a way distinct from a scaling of the UVB. Our study suggests that the $z=0.1$ Lyman-$\alpha$ forest observables can be used as a diagnostic of AGN feedback models.


title: Thawing k-essence dark energy in the PAge space

abstract: A broad class of dark energy models can be written in the form of k-essence, whose Lagrangian density is a two-variable function of a scalar field $\phi$ and its kinetic energy $X\equiv \frac{1}{2}\partial^\mu\phi \partial_\mu\phi$. In the thawing scenario, the scalar field becomes dynamic only when the Hubble friction drops below its mass scale in the late universe. Thawing k-essence dark energy models can be randomly sampled by generating the Taylor expansion coefficients of its Lagrangian density from random matrices \cite{thaws}. Ref. \cite{thaws} points out that the non-uniform distribution of effective equation of state parameters $(w_0, w_a)$ of thawing k-essence model can be used to improve the statistics of model selection. The present work studies the statistics of thawing k-essence in a more general framework that is Parameterized by the Age of the universe (PAge) \cite{PAge}. For fixed matter fraction $\Omega_m$, the random thawing k-essence models cluster in a narrow band in the PAge parameter space, providing a strong theoretical prior. We simulate cosmic shear power spectrum data for the Chinese Space Station Telescope optical survey, and compare the fisher forecast with and without the theoretical prior of thawing k-essence. For an optimal tomography binning scheme, the theoretical prior improves the figure of merit in PAge space by a factor of $3.3$.


title: Generative Pre-Trained Transformers for Biologically Inspired Design

abstract: Biological systems in nature have evolved for millions of years to adapt and survive the environment. Many features they developed can be inspirational and beneficial for solving technical problems in modern industries. This leads to a novel form of design-by-analogy called bio-inspired design (BID). Although BID as a design method has been proven beneficial, the gap between biology and engineering continuously hinders designers from effectively applying the method. Therefore, we explore the recent advance of artificial intelligence (AI) for a computational approach to bridge the gap. This paper proposes a generative design approach based on the pre-trained language model (PLM) to automatically retrieve and map biological analogy and generate BID in the form of natural language. The latest generative pre-trained transformer, namely GPT-3, is used as the base PLM. Three types of design concept generators are identified and fine-tuned from the PLM according to the looseness of the problem space representation. Machine evaluators are also fine-tuned to assess the correlation between the domains within the generated BID concepts. The approach is then tested via a case study in which the fine-tuned models are applied to generate and evaluate light-weighted flying car concepts inspired by nature. The results show our approach can generate BID concepts with good performance.


title: Scaling Language Model Size in Cross-Device Federated Learning

abstract: Most studies in cross-device federated learning focus on small models, due to the server-client communication and on-device computation bottlenecks. In this work, we leverage various techniques for mitigating these bottlenecks to train larger language models in cross-device federated learning. With systematic applications of partial model training, quantization, efficient transfer learning, and communication-efficient optimizers, we are able to train a $21$M parameter Transformer and $20.2$M parameter Conformer that achieve the same or better perplexity as that of a similarly sized LSTM with $\sim10\times$ smaller client-to-server communication cost and $11\%$ lower perplexity than smaller LSTMs commonly studied in literature.


title: Domain Specific Fine-tuning of Denoising Sequence-to-Sequence Models for Natural Language Summarization

abstract: Summarization of long-form text data is a problem especially pertinent in knowledge economy jobs such as medicine and finance, that require continuously remaining informed on a sophisticated and evolving body of knowledge. As such, isolating and summarizing key content automatically using Natural Language Processing (NLP) techniques holds the potential for extensive time savings in these industries. We explore applications of a state-of-the-art NLP model (BART), and explore strategies for tuning it to optimal performance using data augmentation and various fine-tuning strategies. We show that our end-to-end fine-tuning approach can result in a 5-6\% absolute ROUGE-1 improvement over an out-of-the-box pre-trained BART summarizer when tested on domain specific data, and make available our end-to-end pipeline to achieve these results on finance, medical, or other user-specified domains.


title: LSTM-RASA Based Agri Farm Assistant for Farmers

abstract: The application of Deep Learning and Natural Language based ChatBots are growing rapidly in recent years. They are used in many fields like customer support, reservation system and as personal assistant. The Enterprises are using such ChatBots to serve their customers in a better and efficient manner. Even after such technological advancement, the expert advice does not reach the farmers on timely manner. The farmers are still largely dependent on their peers knowledge in solving the problems they face in their field. These technologies have not been effectively used to give the required information to farmers on timely manner. This project aims to implement a closed domain ChatBot for the field of Agriculture Farmers Assistant. Farmers can have conversation with the Chatbot and get the expert advice in their field. Farmers Assistant is based on RASA Open Source Framework. The Chatbot identifies the intent and entity from user utterances and retrieve the remedy from the database and share it with the user. We tested the Bot with existing data and it showed promising results.


title: Matching Writers to Content Writing Tasks

abstract: Businesses need content. In various forms and formats and for varied purposes. In fact, the content marketing industry is set to be worth $412.88 billion by the end of 2021. However, according to the Content Marketing Institute, creating engaging content is the #1 challenge that marketers face today. We under-stand that producing great content requires great writers who understand the business and can weave their message into reader (and search engine) friendly content. In this project, the team has attempted to bridge the gap between writers and projects by using AI and ML tools. We used NLP techniques to analyze thou-sands of publicly available business articles (corpora) to extract various defining factors for each writing sample. Through this project we aim to automate the highly time-consuming, and often biased task of manually shortlisting the most suitable writer for a given content writing requirement. We believe that a tool like this will have far reaching positive implications for both parties - businesses looking for suitable talent for niche writing jobs as well as experienced writers and Subject Matter Experts (SMEs) wanting to lend their services to content marketing projects. The business gets the content they need, the content writer/ SME gets a chance to leverage his or her talent, while the reader gets authentic content that adds real value.


title: Recent Progress in Conversational AI

abstract: Conversational artificial intelligence (AI) is becoming an increasingly popular topic among industry and academia. With the fast development of neural network-based models, a lot of neural-based conversational AI system are developed. We will provide a brief review of the recent progress in the Conversational AI, including the commonly adopted techniques, notable works, famous competitions from academia and industry and widely used datasets.


title: Vehicle Models and Optimal Control on a Nonplanar Surface

abstract: We present a 10 DoF dynamic vehicle model for model-based control on nonplanar road surfaces. A parametric surface is used to describe the road surface, allowing the surface parameterization to describe the pose of the vehicle. We use the proposed approach to compute minimum-time vehicle trajectories on nonplanar surfaces and compare planar and nonplanar models.


title: Pseudorapidity dependence of the $p_T$ spectra of charged hadrons in $pp$ collisions at $\sqrt{s}$ = 0.9 and 2.36 TeV

abstract: We report the predictions of different Monte Carlo event generators including HIJING, Pythia, and QGSJETII in comparison with the experimental data measured by the CMS Collaboration at CERN in proton-proton ($pp$) collisions at center-of-mass energy $\sqrt{s}$ = 0.9 and 2.36 TeV. The CMS experimental transverse momentum ($p_T$ or $p_{\perp}$) spectra of charged hadrons were measured for pseudorapidity range 0 $\le$ $\eta$ $\le$ 2.4 with bin width of $\eta$ = 0.2 (for $p_T$ from 0.1 to 2 GeV/$c$) and a single bin of $\eta$ for $\lvert$$\eta$$\rvert$ $<$ 2.4 (for $p_T$ from 0.1 to 4 GeV/$c$). Pythia reproduced the $p_T$ spectra with reasonable agreement for most of the $p_T$ range. It depicts better results in the case of the $|\eta|<$ 2.4 than HIJING and QGSJETII which could reproduce the spectra in a limited $p_T$ range. Furthermore, to analyze the $p_T$ spectra of charged hadrons measured by the CMS Collaboration, we used a three component function (structured from the Boltzmann distribution) and the $q$-dual function (from the $q$-dual statistics) to extract parameter values relevant for the study of bulk properties of hadronic matter at high energy. We have also applied the two analytic functions over the model predictions. The values extracted by the functions from the HIJING and Pythia models are closer to the experimental data than the QGSJETII model. Although the models could reproduce the $p_T$ spectra of all charged particles in some of the $p_T$ range but none of them could reproduce the distributions over the entire $p_T$ range and in all the pseudorapidity regions.


title: When Does Syntax Mediate Neural Language Model Performance? Evidence from Dropout Probes

abstract: Recent causal probing literature reveals when language models and syntactic probes use similar representations. Such techniques may yield "false negative" causality results: models may use representations of syntax, but probes may have learned to use redundant encodings of the same syntactic information. We demonstrate that models do encode syntactic information redundantly and introduce a new probe design that guides probes to consider all syntactic information present in embeddings. Using these probes, we find evidence for the use of syntax in models where prior methods did not, allowing us to boost model performance by injecting syntactic information into representations.


title: An entropy functional bounded from above by one

abstract: Shannon entropy is widely used to quantify the uncertainty of discrete random variables. But when normalized to the unit interval, as is often done in practice, it no longer conveys the alphabet sizes of the random variables being studied. This work introduces an entropy functional based on Jensen-Shannon divergence that is naturally bounded from above by one. Unlike normalized Shannon entropy, this new functional is strictly increasing in alphabet size under uniformity and is thus well suited to the characterization of discrete random variables.


title: Generating arbitrary laser beam shapes through phase-mapped designed beam splitting

abstract: We describe here a method to generate high-definition arbitrary laser beam shapes and profiles useful to many applications, ranging from optical patterning and lithography to optical trapping of microscopic particles and ultracold atoms. The phase contrast between a binary grating and a targeted intensity distribution is encoded on a spatial light modulator to control light diffraction, producing very sharp, speckles-free, and smooth images. Besides simplicity, not requiring additional phase-plates, the method provides straightforward encoding of images onto phase-only masks by a direct pixel mapping, allowing simpler feedback schemes to correct and control light distributions and optical potentials in real-time.

categories: physics.optics cond-mat.soft physics.app-ph physics.ins-det


title: Volumetric Benchmarking of Error Mitigation with Qermit

abstract: The detrimental effect of noise accumulates as quantum computers grow in size. In the case where devices are too small or noisy to perform error correction, error mitigation may be used. Error mitigation does not increase the fidelity of quantum states, but instead aims to reduce the approximation error in quantities of concern, such as expectation values of observables. However, it is as yet unclear which circuit types, and devices of which characteristics, benefit most from the use of error mitigation. Here we develop a methodology to assess the performance of quantum error mitigation techniques. Our benchmarks are volumetric in design, and are performed on different superconducting hardware devices. Extensive classical simulations are also used for comparison. We use these benchmarks to identify disconnects between the predicted and practical performance of error mitigation protocols, and to identify the situations in which their use is beneficial. To perform these experiments, and for the benefit of the wider community, we introduce Qermit - an open source python package for quantum error mitigation. Qermit supports a wide range of error mitigation methods, is easily extensible and has a modular graph-based software design that facilitates composition of error mitigation protocols and subroutines.


title: Coverage Control for a Multi-robot Team with Heterogeneous Capabilities using Block Coordinate Descent (BCD) Method

abstract: In this paper, we propose a coverage control system for a multi-robot team with heterogeneous capabilities to patrol or monitor a bounded environment. The capability could be defined as any criterion of robots like remaining power or mobile speed, depending on the purpose. The proposed control system aims to allocate different portions of the environment to the robots according to their capabilities, i.e., the robot with higher capability takes a larger portion of the environment while the robot with lower capability takes a smaller one. We use the block coordinate descent (BCD) method to optimize the location of portions and the partitioning method alternately. A centralized machine is used to synchronize the robots and the gradient of each robot can be computed in a distributed manner. Simulation results are provided to illustrate the performance of the proposed control system.


title: Optical observations and dust modelling of comet 156P/Russell-LINEAR

abstract: Comet 156P/Russell-LINEAR is a short period Jupiter family comet with an orbital period of 6.44 years. The results from spectroscopic, photometric, polarimetric observations and dust modelling studies are presented here. From the spectroscopic study, strong emissions from $CN (\Delta \nu = 0)$, $C_3 (\lambda 4050$ \AA), $C_2 (\Delta \nu = +1)$ and $C_2 (\Delta \nu = 0)$ can be observed during both the epochs of our observations. The Q($C_2$)/Q(CN) ratio classifies the comet as a typical comet. The imaging data reveals the presence of jets. The dust emission from the comet is observed to have a non-steady state outflow due to the presence of these strong jets which subside in later epochs, resulting in a steady state outflow. Polarimetric study at two different phase angles reveals the degree of polarization to be comparable to Jupiter family comets at similar phase angles. Localized variations in polarization values are observed in the coma. The dust modelling studies suggest the presence of high amount of silicate/low absorbing material and indicate the coma to be dominated by higher amount of large size grains with low porosity having power law size distribution index = 2.4. The observed activity and dust properties points to a similarity to another Jupiter family comet, 67P/Churyumov-Gerasimenko.


title: Explaining the winds of AGB stars: Recent progress

abstract: The winds observed around asymptotic giant branch (AGB) stars are generally attributed to radiation pressure on dust, which is formed in the extended dynamical atmospheres of these pulsating, strongly convective stars. Current radiation-hydrodynamical models can explain many of the observed features, and they are on the brink of delivering a predictive theory of mass loss. This review summarizes recent results and ongoing work on winds of AGB stars, discussing critical ingredients of the driving mechanism, and first results of global 3D RHD star-and-wind-in-a-box simulations. With such models it becomes possible to follow the flow of matter, in full 3D geometry, all the way from the turbulent, pulsating interior of an AGB star, through its atmosphere and dust formation zone into the region where the wind is accelerated by radiation pressure on dust. Advanced instruments, which can resolve the stellar atmospheres, where the winds originate, provide essential data for testing the models.


title: GRB Prompt Emission: Observed Correlations and Their Interpretations

abstract: The prompt emission of Gamma Ray Bursts (GRBs) is still an outstanding question in the study of these cataclysmic events. Part of what makes GRBs difficult to study is how unique each event seems to be. However, aggregating many GRB observations and analyzing the population allows us to obtain a better understanding of the emission mechanism that produces the observed prompt emission. In this review, we outline some of the most prevalent correlations that have emerged from GRB prompt emission observations and how these correlations are interpreted in relation to GRB physical properties and prompt emission models.


abstract: Cross-modal image-recipe retrieval has gained significant attention in recent years. Most work focuses on improving cross-modal embeddings using unimodal encoders, that allow for efficient retrieval in large-scale databases, leaving aside cross-attention between modalities which is more computationally expensive. We propose a new retrieval framework, T-Food (Transformer Decoders with MultiModal Regularization for Cross-Modal Food Retrieval) that exploits the interaction between modalities in a novel regularization scheme, while using only unimodal encoders at test time for efficient retrieval. We also capture the intra-dependencies between recipe entities with a dedicated recipe encoder, and propose new variants of triplet losses with dynamic margins that adapt to the difficulty of the task. Finally, we leverage the power of the recent Vision and Language Pretraining (VLP) models such as CLIP for the image encoder. Our approach outperforms existing approaches by a large margin on the Recipe1M dataset. Specifically, we achieve absolute improvements of 8.1 % (72.6 R@1) and +10.9 % (44.6 R@1) on the 1k and 10k test sets respectively. The code is available here:https://github.com/mshukor/TFood


title: Magnetic field strength from turbulence theory (I): Using differential measure approach (DMA)

abstract: The mean plane-of-sky magnetic field strength is traditionally obtained from the combination of polarization and spectroscopic data using the Davis-Chandrasekhar-Fermi (DCF) technique. However, we identify the major problem of the DCF to be its disregard of the anisotropic character of MHD turbulence. On the basis of the modern MHD turbulence theory we introduce a new way of obtaining magnetic field strength from observations. Unlike the DCF, the new technique uses not the dispersion of the polarization angle and line of sight velocities, but increments of these quantities given by the structure functions. To address the variety of the astrophysical conditions for which our technique can be applied, we consider the turbulence in both media with magnetic pressure larger than the gas pressure corresponding e.g. to molecular and the gas pressure larger than the magnetic pressure corresponding to the warm neutral medium. We provide general expressions for arbitrary admixture of Alfv\'en, slow and fast modes in these media and consider in detail the particular cases relevant to diffuse media and molecular clouds. We successfully test our results using synthetic observations obtained from MHD turbulence simulations. We demonstrate that our Differential Measure Approach (DMA), unlike the DCF, can be used to measure the distribution of magnetic field strengths, can provide magnetic field measurements with limited data and is much more stable in the presence of large scale variations induces of non-turbulent nature. In parallel, our study uncover the deficiencies of the earlier DCF research.


title: Semicontinuity of capacity under pointed intrinsic flat convergence

abstract: The concept of the capacity of a compact set in $\mathbb R^n$ generalizes readily to noncompact Riemannian manifolds and, with more substantial work, to metric spaces (where multiple natural definitions of capacity are possible). Motivated by analytic and geometric considerations, and in particular Jauregui's definition of capacity-volume mass and Jauregui and Lee's results on the lower semicontinuity of the ADM mass and Huisken's isoperimetric mass, we investigate how the capacity functional behaves when the background spaces vary. Specifically, we allow the background spaces to consist of a sequence of local integral current spaces converging in the pointed Sormani--Wenger intrinsic flat sense. For the case of volume-preserving ($\mathcal{VF}$) convergence, we prove two theorems that demonstrate an upper semicontinuity phenomenon for the capacity: one version is for balls of a fixed radius centered about converging points; the other is for Lipschitz sublevel sets. Our approach is motivated by Portegies' investigation of the semicontinuity of eigenvalues under $\mathcal{VF}$ convergence. We include examples to show the semicontinuity may be strict, and that the volume-preserving hypothesis is necessary. Finally, there is a discussion on how capacity and our results may be used towards understanding the general relativistic total mass in non-smooth settings.


title: Spectral Analysis of Scattering Resonances with Application on High Contrast Nanospheres

abstract: In this paper we provide further spectral analysis of the general asymptotic scattering resonances formula of small high contrast 3D dielectrics of arbitrary shape, initially derived to a first order approximation. To investigate the components of a full expansion of such resonances, a breakdown is presented for the case of high contrast nanospheres. We also derive, for radially symmetric fields, an exact resonance formula for a spherical scatterer in terms of its radius, not necessarily small, and dielectric susceptibility coefficient, not necessarily high. Formula that is useful in imaging applications to identify objects' properties from frequency measurements. The latter formula is further developed and simplified in the case of high contrast nanospheres.


title: An updated view and perspectives on high-energy gamma-ray emission from SGR J1935+2154 and its environment

abstract: SGR J1935+2154 was discovered in 2016 and is currently one of the most burst-active Soft Gamma-ray Repeaters (SGR), having emitted several X-ray bursts in recent years. In one of our previous articles, we investigated the contribution to high-energy and very high-energy gamma-ray emission (VHE, $E > 100$ GeV) due to cosmic-ray acceleration of SNR G57.2+0.8 hosting SGR J1935+2154 using the GALPROP propagation code. However, follow-up observations of SGR 1935+2154 were made for 2 hours on April 28, 2020, using the High Energy Stereoscopic System (H.E.S.S.). The observations coincide with X-ray bursts detected by INTEGRAL and Fermi/Gamma-ray Burst Monitor (GBM). These are the first high-energy gamma-ray observations of an SGR in a flaring state, and upper limits on sustained and transient emission have been derived. Now that new H.E.S.S. observations have been made, it is interesting to update our model with respect to these new upper limits. We extend our previous results to a more general situation using the new version of GALPROP. We obtain a hadronic model that confirms the results discussed by H.E.S.S.. This leads to an optimistic prospect that cosmic ray gamma rays from SGR J1935+2154 can contribute to the overall gamma energy density distribution and in particular to the diffusion gamma rays from the Galactic center.


title: Persistence criteria for a chemostat with variable nutrient input and variable washout with delayed response in growth

abstract: We study a general chemostat model with a discrete-time delay between consumption and growth. The goal of this article is to provide sufficient and necessary conditions for persistence. This extends previous works in the matter. Furthermore, in the particular case of periodic nutrient input and the same periodic washout with delayed response in growth, the persistence criteria are average criteria. We remark in no case we need to impose any restrictions on the size of the delay.


title: On the Interpretation of Quantum Indistinguishability : a No-Go Theorem

abstract: Despite being the most fundamental object in quantum theory, physicists are yet to reach a consensus on the interpretation of a quantum wavefunction. In the broad class of realist approaches, quantum states are viewed as Liouville-like probability distributions over some space of physical variables where indistinguishabity of non-orthogonal states is attributed to overlaps between these distributions. Here we argue that such an interpretation of quantum indistinguishability is wrong. In particular, we show that quantum mechanical prediction of maximal violation of Mermin inequality in certain thought experiment is incompatible with all ontological interpretations for quantum theory where indistinguishability of non-orthonal quantum states is explained, even partially, in terms of overlap of their Liouville distributions.


title: ARLIF-IDS -- Attention augmented Real-Time Isolation Forest Intrusion Detection System

abstract: Distributed Denial of Service (DDoS) attack is a malicious attempt to disrupt the normal traffic of a targeted server, service or network by overwhelming the target or its surrounding infrastructure with a flood of Internet traffic. Emerging technologies such as the Internet of Things and Software Defined Networking leverage lightweight strategies for the early detection of DDoS attacks. Previous literature demonstrates the utility of lower number of significant features for intrusion detection. Thus, it is essential to have a fast and effective security identification model based on low number of features. In this work, a novel Attention-based Isolation Forest Intrusion Detection System is proposed. The model considerably reduces training time and memory consumption of the generated model. For performance assessment, the model is assessed over two benchmark datasets, the NSL-KDD dataset & the KDDCUP'99 dataset. Experimental results demonstrate that the proposed attention augmented model achieves a significant reduction in execution time, by 91.78%, and an average detection F1-Score of 0.93 on the NSL-KDD and KDDCUP'99 dataset. The results of performance evaluation show that the proposed methodology has low complexity and requires less processing time and computational resources, outperforming other current IDS based on machine learning algorithms.


title: Res-CNN-BiLSTM Network for overcoming Mental Health Disturbances caused due to Cyberbullying through Social Media

abstract: Mental Health Disturbance has many reasons and cyberbullying is one of the major causes that does exploitation using social media as an instrument. The cyberbullying is done on the basis of Religion, Ethnicity, Age and Gender which is a sensitive psychological issue. This can be addressed using Natural Language Processing with Deep Learning, since social media is the medium and it generates massive form of data in textual form. Such data can be leveraged to find the semantics and derive what type of cyberbullying is done and who are the people involved for early measures. Since deriving semantics is essential we proposed a Hybrid Deep Learning Model named 1-Dimensional CNN-Bidirectional-LSTMs with Residuals shortly known as Res-CNN-BiLSTM. In this paper we have proposed the architecture and compared its performance with different approaches of Embedding Deep Learning Algorithms.


title: Discovery of 34 low-mass comoving systems using NOIRLab Source Catalog DR2

abstract: We present the discovery of 34 comoving systems containing an ultra-cool dwarf found by means of the NOIRLab Source Catalog (NSC) DR2. NSC's angular resolution of $\sim$1" allows for the detection of small separation binaries with significant proper motions. We used the catalog's accurate proper motion measurements to identify the companions by cross-matching a previously compiled list of brown dwarf candidates with NSC DR2. The comoving pairs consist of either a very low-mass star and an ultra-cool companion, or a white dwarf and an ultra-cool companion. The estimated spectral types of the primaries are in the K and M dwarf regimes, those of the secondaries in the M, L and T dwarf regimes. We calculated angular separations between $\sim$2 and $\sim$56", parallactic distances between $\sim$43 and $\sim$261 pc and projected physical separations between $\sim$169 and $\sim$8487 AU. The lowest measured total proper motion is 97 mas yr$^{-1}$, the highest 314 mas yr$^{-1}$. Tangential velocities range from $\sim$23 to $\sim$187 km s$^{-1}$. We also determined comoving probabilities, estimated mass ratios and calculated binding energies for each system. We found no indication of possible binarity for any component of the 34 systems in the published literature. The discovered systems can contribute to the further study of the formation and evolution of low-mass systems as well as to the characterization of cool substellar objects.


title: Joint state and parameter estimation based on constrained zonotopes

abstract: This note presents a new method for set-based joint state and parameter estimation of discrete-time systems using constrained zonotopes. This is done by extending previous set-based state estimation methods to include parameter identification in a unified framework. Unlike in interval-based methods, the existing dependencies between states and model parameters are maintained from one time step to the next, thus providing a more accurate estimation scheme. In addition, the enclosure of states and parameters is refined using measurements through generalized intersections, which are properly captured by constrained zonotopes. The advantages of the new approach are highlighted in two numerical examples.


title: A majorization-minimization algorithm for nonnegative binary matrix factorization

abstract: This paper tackles the problem of decomposing binary data using matrix factorization. We consider the family of mean-parametrized Bernoulli models, a class of generative models that are well suited for modeling binary data and enables interpretability of the factors. We factorize the Bernoulli parameter and consider an additional Beta prior on one of the factors to further improve the model's expressive power. While similar models have been proposed in the literature, they only exploit the Beta prior as a proxy to ensure a valid Bernoulli parameter in a Bayesian setting; in practice it reduces to a uniform or uninformative prior. Besides, estimation in these models has focused on costly Bayesian inference. In this paper, we propose a simple yet very efficient majorization-minimization algorithm for maximum a posteriori estimation. Our approach leverages the Beta prior whose parameters can be tuned to improve performance in matrix completion tasks. Experiments conducted on three public binary datasets show that our approach offers an excellent trade-off between prediction performance, computational complexity, and interpretability.


title: Time-like Gravitational Formfactors and Shear Viscosity

abstract: The gravitational formfactor similar to shear viscosity is identified. In the time-like region it corresponds to the contribution of exotic hybrid meson. The exotic quantum numbers may be considered as a counterpart of dissipation in crossed channel. The ratio of viscosity to entropy density is estimated. The smallness due to holographic bound corresponds to the relative smallness of coupling of hybrid meson and the intrinsic transverse momentum, being the dynamical counterpart of temperature.


title: Carleman inequality for a class of super strong degenerate parabolic operators and applications

abstract: In this paper, we present a new Carleman estimate for the adjoint equations associated to a class of super strong degenerate parabolic linear problems. Our approach considers a standard geometric imposition on the control domain, which can not be removed in the general situations. Additionally, we also apply the aformentioned main inequality in order to investigate the null controllability of two nonlinear parabolic systems. The first application is concerned a global null controllability result obtained for some semilinear equations, relying on a fixed point argument. In the second one, a local null controllability for some equations with nonlocal terms is also achieved, by using an inverse function theorem.


title: A Framework for Topological Music Analysis (TMA)

abstract: In the present article we describe and discuss a framework for applying different topological data analysis (TDA) techniques to a music fragment given as a score in traditional Western notation. We first consider different sets of points in Euclidean spaces of different dimensions that correspond to musical events in the score, and obtain their persistent homology features. Then we introduce two families of simplicial complexes that can be associated with chord sequences, and leverage homology to compute their salient features. Finally, we show the results of applying the described methods to the analysis and stylistic comparison of fragments from three Brandenburg Concertos by J.S. Bach and two Graffiti by Mexican composer Armando Luna.


title: ColorCode: A Bayesian Approach to Augmentative and Alternative Communication with Two Buttons

abstract: Many people with severely limited muscle control can only communicate through augmentative and alternative communication (AAC) systems with a small number of buttons. In this paper, we present the design for ColorCode, which is an AAC system with two buttons that uses Bayesian inference to determine what the user wishes to communicate. Our information-theoretic analysis of ColorCode simulations shows that it is efficient in extracting information from the user, even in the presence of errors, achieving nearly optimal error correction. ColorCode is provided as open source software (https://github.com/mrdaly/ColorCode).


title: Efficient Wireless Federated Learning with Partial Model Aggregation

abstract: The data heterogeneity across devices and the limited communication resources, e.g., bandwidth and energy, are two of the main bottlenecks for wireless federated learning (FL). To tackle these challenges, we first devise a novel FL framework with partial model aggregation (PMA). This approach aggregates the lower layers of neural networks, responsible for feature extraction, at the parameter server while keeping the upper layers, responsible for complex pattern recognition, at devices for personalization. The proposed PMA-FL is able to address the data heterogeneity and reduce the transmitted information in wireless channels. Then, we derive a convergence bound of the framework under a non-convex loss function setting to reveal the role of unbalanced data size in the learning performance. On this basis, we maximize the scheduled data size to minimize the global loss function through jointly optimize the device scheduling, bandwidth allocation, computation and communication time division policies with the assistance of Lyapunov optimization. Our analysis reveals that the optimal time division is achieved when the communication and computation parts of PMA-FL have the same power. We also develop a bisection method to solve the optimal bandwidth allocation policy and use the set expansion algorithm to address the device scheduling policy. Compared with the benchmark schemes, the proposed PMA-FL improves 3.13\% and 11.8\% accuracy on two typical datasets with heterogeneous data distribution settings, i.e., MINIST and CIFAR-10, respectively. In addition, the proposed joint dynamic device scheduling and resource management approach achieve slightly higher accuracy than the considered benchmarks, but they provide a satisfactory energy and time reduction: 29\% energy or 20\% time reduction on the MNIST; and 25\% energy or 12.5\% time reduction on the CIFAR-10.


title: Conceptual structure and the growth of scientific knowledge

abstract: How does scientific knowledge grow? This question has occupied a central place in the philosophy of science, stimulating heated debates, but yielding no clear consensus. Many explanations can be understood in terms of whether and how they view the expansion of knowledge as proceeding through the accretion of scientific concepts into larger conceptual structures. Here, we examine these views empirically, performing a large-scale analysis of the physical and social sciences, spanning five decades. Using natural language processing techniques, we create semantic networks of concepts, wherein noun phrases become linked when used in the same paper abstract. For both the physical and social sciences, we observe increasingly rigid conceptual cores (i.e., densely connected sets of highly central nodes) accompanied by the proliferation of periphery concepts (i.e., sparsely connected nodes that are highly connected to the core). Subsequently, we examine the relationship between conceptual structure and the growth of scientific knowledge, finding that scientific works are more innovative in fields with cores that have higher conceptual churn and with larger cores. Furthermore, scientific consensus is associated with reduced conceptual churn and fewer conceptual cores. Overall, our findings suggest that while the organization of scientific concepts is important for the growth of knowledge, the mechanisms vary across time.


title: Inferring ice sheet damage models from limited observations using CRIKit: the Constitutive Relation Inference Toolkit

abstract: We examine the prospect of learning ice sheet damage models from observational data. Our approach, implemented in CRIKit (the Constitutive Relation Inference Toolkit), is to model the material time derivative of damage as a frame-invariant neural network, and to optimize the parameters of the model from simulations of the flow of an ice dome. Using the model of Albrecht and Levermann as the ground truth to generate synthetic observations, we measure the difference of optimized neural network models from that model to try to understand how well this process generates models that can then transfer to other ice sheet simulations. The use of so-called "deep-learning" models for constitutive equations, equations of state, sub-grid-scale processes, and other pointwise relations that appear in systems of PDEs has been successful in other disciplines, yet our inference setting has some confounding factors. The first is the type of observations that are available: we compare the quality of the inferred models when the loss of the numerical simulations includes observation misfits throughout the ice, which is unobtainable in real settings, to losses that include only combinations of surface and borehole observations. The second confounding factor is the evolution of damage in an ice sheet, which is advection dominated. The non-local effect of perturbations in a damage models results in loss functions that have both many local minima and many parameter configurations for which the system is unsolvable. Our experience suggests that basic neural networks have several deficiencies that affect the quality of the optimized models. We suggest several approaches to incorporating additional inductive biases into neural networks which may lead to better performance in future work.


title: Gravitational orbits, double-twist mirage, and many-body scars

abstract: We explore the implications of stable gravitational orbits around an AdS black hole for the boundary conformal field theory. The orbits are long-lived states that eventually decay due to gravitational radiation and tunneling. They appear as narrow resonances in the heavy-light OPE when the spectrum becomes effectively continuous due to the presence of the black hole horizon. Alternatively, they can be identified with quasi-normal modes with small imaginary part in the thermal two-point function. The two pictures are related via the eigenstate thermalisation hypothesis. When the decay effects can be neglected the orbits appear as a discrete family of double-twist operators. We investigate the connection between orbits, quasi-normal modes, and double-twist operators in detail. Using the corrected Bohr-Sommerfeld formula for quasi-normal modes, we compute the anomalous dimension of double-twist operators. We compare our results to the prediction of the light-cone bootstrap, finding perfect agreement where the results overlap. We also compute the orbit decay time due to scalar radiation and compare it to the tunneling rate. Perturbatively in spin, in the light-cone bootstrap framework double-twist operators appear as a small fraction of the Hilbert space which violate the eigenstate thermalization hypothesis, a phenomenon known as many-body scars. Nonperturbatively in spin, the double-twist operators become long-lived states that eventually thermalize. We briefly discuss the connection between perturbative scars in holographic theories and known examples of scars in the condensed matter literature.

categories: hep-th cond-mat.quant-gas cond-mat.stat-mech gr-qc quant-ph


title: Multiplicity Statistics of Stars in the Sagittarius Dwarf Spheroidal Galaxy: Comparison to the Milky Way

abstract: We use time-resolved spectra from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) to examine the distribution of radial velocity (RV) variations in 249 stars identified as members of the Sagittarius (Sgr) dwarf spheroidal (dSph) galaxy by Hayes et al (2020). We select Milky Way (MW) stars that have stellar parameters ($log(g)$, $T_{eff}$, and $[Fe/H]$) similar to those of the Sagittarius members by means of a k-d tree of dimension 3. We find that the shape of the distribution of RV shifts in Sgr dSph stars is similar to that measured in their MW analogs, but the total fraction of RV variable stars in the Sgr dSph is larger by a factor of $\sim 2$. After ruling out other explanations for this difference, we conclude that the fraction of close binaries in the Sgr dSph is intrinsically higher than in the MW. We discuss the implications of this result for the physical processes leading to the formation of close binaries in dwarf spheroidal and spiral galaxies.


title: An Adaptive and Robust Method for Multi-trait Analysis of Genome-wide Association Studies Using Summary Statistics

abstract: Genome-wide association studies (GWAS) have identified thousands of genetic variants associated with human traits or diseases in the past decade. Nevertheless, much of the heritability of many traits is still unaccounted for. Commonly used single-trait analysis methods are conservative, while multi-trait methods improve statistical power by integrating association evidence across multiple traits. In contrast to individual-level data, GWAS summary statistics are usually publicly available, and thus methods using only summary statistics have greater usage. Although many methods have been developed for joint analysis of multiple traits using summary statistics, there are many issues, including inconsistent performance, computational inefficiency, and numerical problems when considering lots of traits. To address these challenges, we propose a multi-trait adaptive Fisher method for summary statistics (MTAFS), a computationally efficient method with robust power performance. We applied MTAFS to two sets of brain image-derived phenotypes (IDPs) from the UK Biobank, including a set of 58 Volumetric IDPs and a set of 212 Area IDPs. Together with results from a simulation study, MTAFS shows its advantage over existing multi-trait methods, with robust performance across a range of underlying settings. It controls type 1 error well, and can efficiently handle a large number of traits.


title: Development of a water-based cooling system for the Muon Chamber detector system of the CBM experiment

abstract: A water-based cooling system is being investigated to meet the cooling requirement of the Gas Electron Multiplier (GEM) based Muon Chamber (MuCh) detector system of the Compressed Baryonic Matter (CBM) experiment at GSI, Germany. The system is based on circulating cold water through the channels inside an aluminium plate. The aluminium plate is attached to a GEM chamber. A feasibility study is conducted on one small and two real-size prototype cooling plates. A microcontroller based unit has been built and integrated into the system to achieve automatic control and monitoring of temperature on plate surface. The real-size prototypes have been used in a test beam experiment at the CERN SPS (Super Proton Synchrotron) with the lead beam on a lead target. A setup using three prototype modules has been prepared in the lab for testing in a simulated real life environment. This paper discusses the working principle, mechanical design, fabrication, and test results of the cooling prototypes in detail.


title: Path Planning Algorithms for Robotic Aquaculture Monitoring

abstract: Aerial drones have great potential to monitor large areas quickly and efficiently. Aquaculture is an industry that requires continuous water quality data to successfully grow and harvest fish. The Hybrid Aerial Underwater Robotic System (HAUCS) is designed to collect water quality data of aquaculture ponds to reduce labor costs for farmers. The routing of drones to cover each fish pond on an aquaculture farm can be reduced to the Vehicle Routing Problem. A dataset is created to simulate the distribution of ponds on a farm and is used to assess the HAUCS Path Planning Algorithm (HPP). Its performance is compared with the Google Linear Optimization Package (GLOP) and a Graph Attention Model (AM) for routing problems. GLOP is the most efficient solver for 50 to 200 ponds at the expense of long run times, while HPP outperforms the other methods in solution quality and run time for instances larger than 200 ponds.


title: Closed form optimized transmission conditions for complex diffusion with many subdomains

abstract: Optimized transmission conditions in domain decomposition methods have been the focus of intensive research efforts over the past decade. Traditionally, transmission conditions are optimized for two subdomain model configurations, and then used in practice for many subdomains. We optimize here transmission conditions for the first time directly for many subdomains for a class of complex diffusion problems. Our asymptotic analysis leads to closed form optimized transmission conditions for many subdomains, and shows that the asymptotic best choice in the mesh size only differs from the two subdomain best choice in the constants, for which we derive the dependence on the number of subdomains explicitly, including the limiting case of an infinite number of subdomains, leading to new insight into scalability. Our results include both Robin and Ventcell transmission conditions, and we also optimize for the first time a two-sided Ventcell condition. We illustrate our results with numerical experiments, both for situations covered by our analysis and situations that go beyond.


title: Decoherence: From Interpretation to Experiment

abstract: I offer a few selected reflections on the decoherence program, with an emphasis on Zeh's role and views. First, I discuss Zeh's commitment to a realistic interpretation of the quantum state, which he saw as necessary for a consistent understanding of the decoherence process. I suggest that this commitment has been more fundamental than, and prior to, his support of an Everett-style interpretation of quantum mechanics. Seen through this lens, both his defense of Everett and the genesis of his ideas on decoherence emerge as consequences of his realistic view of the quantum state. Second, I give an overview of experiments on decoherence and describe, using the study of collisional decoherence as an example, the close interplay between experimental advances and theoretical modeling in decoherence research.


title: A Decentralized Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections

abstract: This paper considers the problem of decentralized analysis and control synthesis to verify and ensure properties like stability and dissipativity of a large-scale networked system comprised of linear subsystems interconnected in an arbitrary topology. In particular, we design systematic networked system analysis and control synthesis processes that can be executed in a decentralized manner at the subsystem level with minimal information sharing among the subsystems. Compared to our most recent work on the same topic, we consider a substantially more generalized problem setup in this paper and develop decentralized processes to verify and ensure a broader range of networked system properties. We show that for such decentralized processes: optimizing the used subsystem indexing scheme can substantially reduce the required inter-subsystem information-sharing sessions, and in some network topologies, information sharing among only neighboring subsystems is sufficient (distributed!). Moreover, the proposed networked system analysis and control synthesis processes are compositional/resilient to subsystem removals, which enable them to conveniently and efficiently handle situations where new subsystems are being added/removed to/from an existing network. We also provide significant insights into our decentralized approach so that it can be quickly adopted to verify and ensure properties beyond the stability and dissipativity of networked systems. Towards developing such decentralized techniques, we have also derived new centralized solutions for dissipative observer and dynamic output feedback controller design problems. Subsequently, we also specialize all the derived results for discrete-time networked systems. We conclude this paper by providing several simulation results demonstrating the proposed novel decentralized analysis and control synthesis processes and dissipativity-based results.


title: Class group statistics for torsion fields generated by elliptic curves

abstract: For a prime $p$ and a rational elliptic curve $E_{/\mathbb{Q}}$, set $K=\mathbb{Q}(E[p])$ to denote the torsion field generated by $E[p]:=\operatorname{ker}\{E\xrightarrow{p} E\}$. The class group $\operatorname{Cl}_K$ is a module over $\operatorname{Gal}(K/\mathbb{Q})$. Given a fixed odd prime number $p$, we study the average non-vanishing of certain Galois stable quotients of the mod-$p$ class group $\operatorname{Cl}_K/p\operatorname{Cl}_K$. Here, $E$ varies over rational elliptic curves, ordered according to \emph{height}. Our results are conditional and rely on predictions made by Delaunay and Poonen-Rains for the statistical variation of the $p$-primary parts of Tate-Shafarevich groups of elliptic curves. We also prove results in the case when the elliptic curve $E_{/\mathbb{Q}}$ is fixed and the prime $p$ is allowed to vary.


title: Lowering Barriers to Application Development With Cloud-Native Domain-Specific Functions

abstract: Creating and maintaining a modern, heterogeneous set of client applications remains an obstacle for many businesses and individuals. While simple domain-specific graphical languages and libraries can empower a variety of users to create application behaviors and logic, using these languages to produce and maintain a set of heterogeneous client applications is a challenge. Primarily because each client typically requires the developers to both understand and embed the domain-specific logic. This is because application logic must be encoded to some extent in both the server and client sides. In this paper, we propose an alternative approach, which allows the specification of application logic to reside solely on the cloud. We have built a system where reusable application components can be assembled on the cloud in different logical chains and the client is largely decoupled from this logic and is solely concerned with how data is displayed and gathered from users of the application. In this way, the chaining of requests and responses is done by the cloud and the client side has no knowledge of the application logic. An additional effect of our approach is that the client side developer is able to immediately see any changes they make, while executing the logic residing on the cloud. This further allows more novice programmers to perform these customizations, as they do not need to `get the full application working' and are able to see the results of their code as they go, thereby lowering the obstacles to businesses and individuals to produce and maintain applications. Furthermore, this decoupling enables the quick generation and customization of a variety of application clients, ranging from web to mobile devices and personal assistants, while customizing one or more as needed.


title: The eta Aquilae System: Radial Velocities and Astrometry in Search of eta Aql B

abstract: The classical Cepheid eta Aql was not included in past Leavitt Law work (Benedict et al. 2007) because of a presumed complicating orbit due to a known B9.8V companion. To determine the orbit of eta Aql B, we analyze a significant number of radial velocity measures (RV) from eight sources. With these we establish the RV variation due to Cepheid pulsation, using a twelve Fourier coefficient model, while solving for velocity offsets required to bring the RV data sets into coincidence. RV residuals provide no evidence of orbital motion, suggesting either nearly face-on orientation or very long period. Reanalysis of Hubble Space Telescope Fine Guidance Sensor astrometry now includes reference star parallax and proper motion priors from Gaia EDR3. As modeling confirmation, we reanalyze zeta Gem in parallel, deriving zeta Gem parallax and proper motion values consistent with Gaia EDR3, and consistent with the Benedict 2007 Leavitt Law. In an effort to further characterize eta Aql B, we hypothesize that eta Aql residuals larger than those of the associated reference stars or a parallax inconsistent with EDR3 and the Benedict 2007 Leavitt Law indicate unmodeled orbital motion. Using the astrometric noise or parallax mismatch with EDR3 we estimate possible periods and mass for eta Aql B. Ascribing photocenter motion to the photometric variation of the Cepheid, eta Aql A, yields a plausible separation, consistent with a long period, explaining the lack of RV variation. None of these approaches yields an unassailable characterization of the eta Aql A-B system


title: Long-range quantum transport of indirect excitons in van der Waals heterostructure

abstract: Long lifetimes of spatially indirect excitons (IXs), also known as interlayer excitons, make possible long-range IX propagation. Van der Waals heterostructures composed of atomically thin layers of transition-metal dichalcogenides (TMDs) give an opportunity to realize excitons with high binding energies and provide a materials platform for the realization of both excitonic quantum phenomena and excitonic devices. Propagation of IXs in TMD heterostructures is intensively studied. However, in spite of long IX lifetimes, orders of magnitude longer than lifetimes of spatially direct excitons (DXs), a relatively short-range IX propagation with the $1/e$ decay distances $d_{1/e}$ up to few $\mu$m was reported in the studies of TMD heterostructures. The short-range of IX propagation originates from in-plane potentials, which localize excitons and suppress exciton transport. In particular, significant in-plane moir\'e potentials predicted in TMD heterostructures can cause an obstacle for IX propagation. In this work, we realize in a MoSe$_2$/WSe$_2$ heterostructure a macroscopically long-range IX propagation with $d_{1/e}$ reaching $\sim 100$ $\mu$m. The strong enhancement of IX propagation is realized using an optical excitation resonant to DXs in the heterostructure. The strong enhancement of IX propagation originates from the suppression of IX localization and scattering and is observed in the quantum regime.


title: Performance of the X-Calibur Hard X-Ray Polarimetry Mission during its 2018/19 Long-Duration Balloon Flight

abstract: X-Calibur is a balloon-borne telescope that measures the polarization of high-energy X-rays in the 15--50keV energy range. The instrument makes use of the fact that X-rays scatter preferentially perpendicular to the polarization direction. A beryllium scattering element surrounded by pixellated CZT detectors is located at the focal point of the InFOC{\mu}S hard X-ray mirror. The instrument was launched for a long-duration balloon (LDB) flight from McMurdo (Antarctica) on December 29, 2018, and obtained the first constraints of the hard X-ray polarization of an accretion-powered pulsar. Here, we describe the characterization and calibration of the instrument on the ground and its performance during the flight, as well as simulations of particle backgrounds and a comparison to measured rates. The pointing system and polarimeter achieved the excellent projected performance. The energy detection threshold for the anticoincidence system was found to be higher than expected and it exhibited unanticipated dead time. Both issues will be remedied for future flights. Overall, the mission performance was nominal, and results will inform the design of the follow-up mission XL-Calibur, which is scheduled to be launched in summer 2022.


title: Effect of various particlization scenarios on anisotropic flow and particle production using UrQMD hybrid model

abstract: We discuss the effect of various particlization scenarios available in the hybrid ultrarelativistic quantum molecular dynamics (UrQMD) event generator on different observables in non-central ($b$ $=$ 5--9 $fm$) Au + Au collisions in the beam energy range 1A-158A GeV. Particlization models switch fluid dynamic description to the transport description using various hypersurface criteria. In addition to particlization models, various equations-of-state (EoS) provided by the UrQMD hybrid model were employed. The observables examined in this paper include the excitation function of anisotropic coefficients such as directed ($v_{1}$) and elliptic flow ($v_{2}$), particle ratios of the species, and the shape of net-proton rapidity spectra at mid-rapidity. The results obtained here can help predict and compare the measurements provided by future experiments at the Facility for Antiproton and Ion Research (FAIR) and the Nuclotron-based Ion Collider fAcility (NICA) once the data becomes available. We also study the most suitable combination of the particlization model and EoS, which best describes the experimental measurements.


title: Crystal structure prediction of (quasi-)two-dimensional lead halide perovskites

abstract: Two-dimensional lead halide perovskites are promising materials for optoelectronics due to the tunability of their properties with the number of lead halide layers and the choice of an organic spacer. Physical understanding for the rational design of materials primarily requires knowledge of crystal structure. 2D lead halide perovskites are usually prepared in the form of films complicating the experimental determination of structure. To enable theoretical studies of experimentally unresolvable structures as well as high-throughput virtual screening, we present an algorithm for crystal structure prediction of lead halide perovskites. Using automatically prepared classical potential we show that our algorithm enables fast access to a structure that can be used for further first-principles studies.


title: Delamination prediction in composite panels using unsupervised-feature learning methods with wavelet-enhanced guided wave representations

abstract: With the introduction of damage tolerance-based design philosophies, the demand for reliable and robust structural health monitoring (SHM) procedures for aerospace composite structures is increasing rapidly. The performance of supervised learning algorithms for SHM depends on the amount of labeled and balanced datasets. Apart from this, collecting datasets accommodating all possible damage scenarios is cumbersome, costly, and inaccessible for aerospace applications. In this paper, we have proposed two different unsupervised-feature learning approaches where the algorithms are trained only on the baseline scenarios to learn the distribution of baseline signals. The trained unsupervised feature learner is used for delamination prediction with an anomaly detection philosophy. In the first approach, we have combined dimensionality reduction techniques (principal component analysis and independent component analysis) with a one-class support vector machine. In another approach, we have utilized deep learning-based deep convolutional autoencoders (CAE). These state-of-the-art algorithms are applied on three different guided wave-based experimental datasets. The raw guided wave signals present in the datasets are converted into wavelet-enhanced higher-order representations for training unsupervised feature-learning algorithms. We have also compared different techniques, and it is seen that CAE generates better reconstructions with lower mean squared error and can provide higher accuracy on all the datasets.


title: 2-roots for simply laced Weyl groups

abstract: We introduce and study "2-roots", which are symmetrized tensor products of orthogonal roots of Kac--Moody algebras. We concentrate on the case where $W$ is the Weyl group of a simply laced Y-shaped Dynkin diagram $Y_{a,b,c}$ having $n$ vertices and with three branches of arbitrary finite lengths $a$, $b$ and $c$; special cases of this include types $D_n$, $E_n$ (for arbitrary $n \geq 6$), and affine $E_6$, $E_7$ and $E_8$. We show that a natural codimension-$1$ submodule $M$ of the symmetric square of the reflection representation of $W$ has a remarkable canonical basis $\mathcal{B}$ that consists of 2-roots. We prove that, with respect to $\mathcal{B}$, every element of $W$ is represented by a column sign-coherent matrix in the sense of cluster algebras. If $W$ is a finite simply laced Weyl group, each $W$-orbit of 2-roots has a highest element, analogous to the highest root, and we calculate these elements explicitly. We prove that if $W$ is not of affine type, the module $M$ is completely reducible in characteristic zero and each of its nontrivial direct summands is spanned by a $W$-orbit of 2-roots.


title: Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal

abstract: After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order reflection with the abundant atom axiom is bi-interpretable and hence also equiconsistent with the existence of a supercompact cardinal. The proof relies on a reflection characterization of supercompactness, namely, a cardinal $\kappa$ is supercompact if and only if every $\Pi^1_1$ sentence true in a structure $M$ (of any size) containing $\kappa$ in a language of size less than $\kappa$ is also true in a substructure $m\prec M$ of size less than $\kappa$ with $m\cap\kappa\in\kappa$.


title: Classical results for alternating virtual links

abstract: We extend some classical results of Bankwitz, Crowell, and Murasugi to the setting of virtual links. For instance, we show that an alternating virtual link is split if and only if it is visibly split, and that the Alexander polynomial of any almost classical alternating virtual link is alternating. The first result is a consequence of an inequality relating the link determinant and crossing number for any non-split alternating virtual link. The second is a consequence of the matrix-tree theorem of Bott and Mayberry. We extend the first result to semi-alternating virtual links. We discuss the Tait conjectures for virtual and welded links and note that Tait's second conjecture is not true for alternating welded links.


title: Optimality of intercellular signaling: direct transport versus diffusion

abstract: Intercellular signaling has an important role in organism development, but not all communication occurs using the same mechanism. Here, we analyze the energy efficiency of intercellular signaling by two canonical mechanisms: diffusion of signaling molecules and direct transport mediated by signaling cellular protrusions. We show that efficient contact formation for direct transport can be established by an optimal rate of projecting protrusions, which depends on the availability of information about the location of the target cell. The optimal projection rate also depends on how signaling molecules are transported along the protrusion, in particular the ratio of the energy cost for contact formation and molecule synthesis. Also, we compare the efficiency of the two signaling mechanisms, under various model parameters. We find that the direct transport is favored over the diffusion when transporting a large amount of signaling molecules. There is a critical number of signaling molecules at which the efficiency of the two mechanisms are the same. The critical number is small when the distance between cells is far, which helps explain why protrusion-based mechanisms are observed in long-range cellular communications.


title: The Harmonic GBC Function Map is a Bijection if the Target Domain is Convex

abstract: Harmonic generalized barycentric coordinates (GBC) functions have been used for cartoon animation since an early work in 2006\cite{JMDGS06}. A computational procedure was further developed in \cite{SH15} for deformation between any two polygons. The bijectivity of the map based on harmonic GBC functions is still murky in the literature. In this paper, we present an elementary proof of the bijection of the harmonic GBC map transforming from one arbitrary polygonal domain $V$ to a convex polygonal domain $W$. This result is further extended to a more general harmonic map from one simply connected domain $V$ to a convex domain $W$ if the harmonic map preserves the orientation of the boundary of the domain $V$. In addition, we shall point out that the harmonic GBC map is also a diffeomorphism over the interior of $V$ to the interior of $W$. Finally, we remark on how to construct a harmonic GBC map from $V$ to $W$ when the number of vertices of $V$ is different from the number of vertices of $W$ and how to construct harmonic GBC functions over a polygonal domain with a hole or holes. We also point out that it is possible to use the harmonic GBC map to deform a nonconvex polygon $V$ to another nonconvex polygon $W$ by a good arrangement of the boundary map between $\partial V$ and $\partial W$. Several numerical deformations based on images are presented to show the effectiveness of the map based on bivariate spline approximation of the harmonic GBC functions.


title: A Generalized Block-Iterative Projection Method for the Common Fixed Point Problem Induced by Cutters

abstract: The block-iterative projections (BIP) method of Aharoni and Censor [Block-iterative projection methods for parallel computation of solutions to convex feasibility problems, Linear Algebra and its Applications 120, (1989), 165--175] is an iterative process for finding asymptotically a point in the nonempty intersection of a family of closed convex subsets. It employs orthogonal projections onto the individual subsets in an algorithmic regime that uses "blocks" of operators and has great flexibility in constructing specific algorithms from it. We extend this algorithmic scheme to handle a family of continuous cutter operators and to find a common fixed point of them. Since the family of continuous cutters includes several important specific operators, our generalized scheme, which ensures global convergence and retains the flexibility of BIP, can handle, in particular, metric (orthogonal) projectors and continuous subgradient projections, which are very important in applications. We also allow a certain kind of adaptive perturbations to be included, and along the way we derive a perturbed Fej\'er monotonicity lemma which is of independent interest.


title: Relativistic global solutions of neutrino-dominated accretion flows with magnetic coupling

abstract: A Kerr black hole (BH) surrounded by a neutrino-dominated accretion flow (NDAF) is one of plausible candidates of the central engine in gamma-ray bursts. The accretion material might inherit and restructure strong magnetic fields from the compact object mergers or massive collapsars. The magnetic coupling (MC) process between a rapid rotating BH and an accretion disc is one of possible magnetic configurations that transfers the energy and angular momentum from the BH to the disc. In this paper, we investigate one-dimensional global solutions of NDAFs with MC (MCNDAFs), taking into account general relativistic effects, detailed neutrino physics, different MC geometries, and reasonable nucleosynthesis processes. Six cases with different accretion rates and power-law indices of magnetic fields are presented and compared with NDAFs without MC. Our results indict that the MC process can prominently impact the structure, thermal properties, and microphysics of MCNDAFs, increase luminosities of neutrinos and their annihilations, result in the changing of radial distributions of nucleons, and push the region of heavy nuclei synthesis to a larger radius than counterparts in NDAFs.


title: A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines

abstract: A misspecified reward can degrade sample efficiency and induce undesired behaviors in reinforcement learning (RL) problems. We propose symbolic reward machines for incorporating high-level task knowledge when specifying the reward signals. Symbolic reward machines augment existing reward machine formalism by allowing transitions to carry predicates and symbolic reward outputs. This formalism lends itself well to inverse reinforcement learning, whereby the key challenge is determining appropriate assignments to the symbolic values from a few expert demonstrations. We propose a hierarchical Bayesian approach for inferring the most likely assignments such that the concretized reward machine can discriminate expert demonstrated trajectories from other trajectories with high accuracy. Experimental results show that learned reward machines can significantly improve training efficiency for complex RL tasks and generalize well across different task environment configurations.


title: Time-based Self-supervised Learning for Wireless Capsule Endoscopy

abstract: State-of-the-art machine learning models, and especially deep learning ones, are significantly data-hungry; they require vast amounts of manually labeled samples to function correctly. However, in most medical imaging fields, obtaining said data can be challenging. Not only the volume of data is a problem, but also the imbalances within its classes; it is common to have many more images of healthy patients than of those with pathology. Computer-aided diagnostic systems suffer from these issues, usually over-designing their models to perform accurately. This work proposes using self-supervised learning for wireless endoscopy videos by introducing a custom-tailored method that does not initially need labels or appropriate balance. We prove that using the inferred inherent structure learned by our method, extracted from the temporal axis, improves the detection rate on several domain-specific applications even under severe imbalance.


title: Attention in Reasoning: Dataset, Analysis, and Modeling

abstract: While attention has been an increasingly popular component in deep neural networks to both interpret and boost the performance of models, little work has examined how attention progresses to accomplish a task and whether it is reasonable. In this work, we propose an Attention with Reasoning capability (AiR) framework that uses attention to understand and improve the process leading to task outcomes. We first define an evaluation metric based on a sequence of atomic reasoning operations, enabling a quantitative measurement of attention that considers the reasoning process. We then collect human eye-tracking and answer correctness data, and analyze various machine and human attention mechanisms on their reasoning capability and how they impact task performance. To improve the attention and reasoning ability of visual question answering models, we propose to supervise the learning of attention progressively along the reasoning process and to differentiate the correct and incorrect attention patterns. We demonstrate the effectiveness of the proposed framework in analyzing and modeling attention with better reasoning capability and task performance. The code and data are available at https://github.com/szzexpoi/AiR


title: T-structures on a local 4-Calabi-Yau variety

abstract: Let $X$ denote the total space of cotangent bundle of projective plane. This is a non-compact Calabi-Yau $4$-fold (also called local Calabi-Yau variety in physics literature). The aim of this paper is to use tilting objects to characterize a large class of t-structures in the relevant Calabi-Yau category and try to calculate the combinatorics of them.


title: Ferrimagnet GdFeCo characterization for spin-orbitronics: large field-like and damping-like torques

abstract: Spintronics is showing promising results in the search for new materials and effects to reduce energy consumption in information technology. Among these materials, ferrimagnets are of special interest, since they can produce large spin currents that trigger the magnetization dynamics of adjacent layers or even their own magnetization. Here, we present a study of the generation of spin current by GdFeCo in a GdFeCo/Cu/NiFe trilayer where the FeCo sublattice magnetization is dominant at room temperature. Magnetic properties such as the saturation magnetization are deduced from magnetometry measurements while damping constant is estimated from spin-torque ferromagnetic resonance (ST-FMR). We show that the overall damping-like (DL) and field-like (FL) effective fields as well as the associated spin Hall angles can be reliably obtained by performing the dependence of ST-FMR by an added dc current. The sum of the spin Hall angles for both the spin Hall effect (SHE) and the spin anomalous Hall effect (SAHE) symmetries are: $\theta_{DL}^{SAHE} + \theta_{DL}^{SHE}=-0.15 \pm 0.05$ and $\theta_{FL}^{SAHE} + \theta_{FL}^{SHE}=0.026 \pm 0.005$. From the symmetry of ST-FMR signals we find that $\theta_{DL}^{SHE}$ is positive and dominated by the negative $\theta_{DL}^{SAHE}$. The present study paves the way for tuning the different symmetries in spin conversion in highly efficient ferrimagnetic systems.


title: Multi-Focus Image Fusion based on Gradient Transform

abstract: Multi-focus image fusion is a challenging field of study that aims to provide a completely focused image by integrating focused and un-focused pixels. Most existing methods suffer from shift variance, misregistered images, and data-dependent. In this study, we introduce a novel gradient information-based multi-focus image fusion method that is robust for the aforementioned problems. The proposed method first generates gradient images from original images by using Halftoning-Inverse Halftoning (H-IH) transform. Then, Energy of Gradient (EOG) and Standard Deviation functions are used as the focus measurement on the gradient images to form a fused image. Finally, in order to enhance the fused image a decision fusion approach is applied with the majority voting method. The proposed method is compared with 17 different novel and conventional techniques both visually and objectively. For objective evaluation, 6 different quantitative metrics are used. It is observed that the proposed method is promising according to visual evaluation and 83.3% success is achieved by being first in five out of six metrics according to objective evaluation.


title: Horocycle flow on flat projective bundles: topological remarks and applications

abstract: In this paper we study topological aspects of the dynamics of the foliated horocycle flow on flat projective bundles over hyperbolic surfaces and we derive ergodic consequences. If $\rho : \Gamma \to {\rm PSL}(n+1,\mathbb{R})$ is a representation of a non-elementary Fuchsian group $\Gamma$, the unit tangent bundle $Y$ associated to the flat projective bundle defined by $\rho$ admits a natural action of the affine group $B$ obtained by combining the foliated geodesic and horocycle flows. If the image $\rho(\Gamma)$ satisfies Conze-Guivarc'h conditions, namely strong irreducibility and proximality, the dynamics of the $B$-action is captured by the proximal dynamics of $\rho(\Gamma)$ on $\mathbb{R}{\rm P}^n$ (Theorem A). In fact, the dynamics of the foliated horocycle flow on the unique $B$-minimal subset of $Y$ can be described in terms of dynamics of the horocycle flow on the non-wandering set in the unit tangent bundle $X$ of the surface $S= \Gamma \backslash \mathbb{H}$ (Theorem B). Assuming the existence of a continuous limit map, we prove that the $B$-minimal set is an attractor for the foliated horocycle flow restricted to the proximal part of the non-wandering set in $Y$ (Theorem C). As a corollary, we deduce that the restricted flow admits a unique conservative ergodic $U$-invariant Radon measure (defined up to a multiplicative constant) if and only if $\Gamma$ is convex-cocompact. For example, the foliated horocycle flow on the projective bundle defined by the Cannon-Thurston map is uniquely ergodic.


title: Multi-Scale Features and Parallel Transformers Based Image Quality Assessment

abstract: With the increase in multimedia content, the type of distortions associated with multimedia is also increasing. This problem of image quality assessment is expanded well in the PIPAL dataset, which is still an open problem to solve for researchers. Although, recently proposed transformers networks have already been used in the literature for image quality assessment. At the same time, we notice that multi-scale feature extraction has proven to be a promising approach for image quality assessment. However, the way transformer networks are used for image quality assessment until now lacks these properties of multi-scale feature extraction. We utilized this fact in our approach and proposed a new architecture by integrating these two promising quality assessment techniques of images. Our experimentation on various datasets, including the PIPAL dataset, demonstrates that the proposed integration technique outperforms existing algorithms. The source code of the proposed algorithm is available online: https://github.com/KomalPal9610/IQA


title: Can Voters Detect Errors on Their Printed Ballots? Absolutely

abstract: There is still debate on whether voters can detect malicious changes in their printed ballot after making their selections on a Ballot Marking Device (BMD). In this study, we altered votes on a voter's ballot after they had made their selections on a BMD. We then required them to examine their ballots for any changes from the slate they used to vote. Overall accuracy was exceptionally high. Participants saw 1440 total contests, and of those 1440, there were a total of 4 errors, so total accuracy was 99.8%. Participants were able to perform with near-perfect accuracy regardless of ballot length, ballot type, number of altered races, and location of altered races. Detection performance was extremely robust. We conclude that with proper direction and resources, voters can be near-perfect detectors of ballot changes on printed paper ballots after voting with a BMD. This finding has significant implications for the voting community as BMD use continues to grow. Research should now focus on identifying administrative and behavioral methods that will prompt and encourage voters to check their BMD-generated ballots before they drop them in the ballot box.


title: Multi-label classification for biomedical literature: an overview of the BioCreative VII LitCovid Track for COVID-19 literature topic annotations

abstract: The COVID-19 pandemic has been severely impacting global society since December 2019. Massive research has been undertaken to understand the characteristics of the virus and design vaccines and drugs. The related findings have been reported in biomedical literature at a rate of about 10,000 articles on COVID-19 per month. Such rapid growth significantly challenges manual curation and interpretation. For instance, LitCovid is a literature database of COVID-19-related articles in PubMed, which has accumulated more than 200,000 articles with millions of accesses each month by users worldwide. One primary curation task is to assign up to eight topics (e.g., Diagnosis and Treatment) to the articles in LitCovid. Despite the continuing advances in biomedical text mining methods, few have been dedicated to topic annotations in COVID-19 literature. To close the gap, we organized the BioCreative LitCovid track to call for a community effort to tackle automated topic annotation for COVID-19 literature. The BioCreative LitCovid dataset, consisting of over 30,000 articles with manually reviewed topics, was created for training and testing. It is one of the largest multilabel classification datasets in biomedical scientific literature. 19 teams worldwide participated and made 80 submissions in total. Most teams used hybrid systems based on transformers. The highest performing submissions achieved 0.8875, 0.9181, and 0.9394 for macro F1-score, micro F1-score, and instance-based F1-score, respectively. The level of participation and results demonstrate a successful track and help close the gap between dataset curation and method development. The dataset is publicly available via https://ftp.ncbi.nlm.nih.gov/pub/lu/LitCovid/biocreative/ for benchmarking and further development.


title: MultiPathGAN: Structure Preserving Stain Normalization using Unsupervised Multi-domain Adversarial Network with Perception Loss

abstract: Histopathology relies on the analysis of microscopic tissue images to diagnose disease. A crucial part of tissue preparation is staining whereby a dye is used to make the salient tissue components more distinguishable. However, differences in laboratory protocols and scanning devices result in significant confounding appearance variation in the corresponding images. This variation increases both human error and the inter-rater variability, as well as hinders the performance of automatic or semi-automatic methods. In the present paper we introduce an unsupervised adversarial network to translate (and hence normalize) whole slide images across multiple data acquisition domains. Our key contributions are: (i) an adversarial architecture which learns across multiple domains with a single generator-discriminator network using an information flow branch which optimizes for perceptual loss, and (ii) the inclusion of an additional feature extraction network during training which guides the transformation network to keep all the structural features in the tissue image intact. We: (i) demonstrate the effectiveness of the proposed method firstly on H\&E slides of 120 cases of kidney cancer, as well as (ii) show the benefits of the approach on more general problems, such as flexible illumination based natural image enhancement and light source adaptation.


title: TopoEmbedding, a web tool for the interactive analysis of persistent homology

abstract: Software libraries for Topological Data Analysis (TDA) offer limited support for interactive visualization. Most libraries only allow to visualize topological descriptors (e.g., persistence diagrams), and lose the connection with the original domain of data. This makes it challenging for users to interpret the results of a TDA pipeline in an exploratory context. In this paper, we present TopoEmbedding, a web-based tool that simplifies the interactive visualization and analysis of persistence-based descriptors. TopoEmbedding allows non-experts in TDA to explore similarities and differences found by TDA descriptors with simple yet effective visualization techniques.


title: A Schreier type property for modules

abstract: We extend to torsion-free modules over integral domains the theory of (pre)-Schreier domains initiated by Cohn and Zafrullah.


title: Estimating optimal individualized treatment rules with multistate processes

abstract: Multistate process data are common in studies of chronic diseases such as cancer. These data are ideal for precision medicine purposes as they can be leveraged to improve more refined health outcomes, compared to standard survival outcomes, as well as incorporate patient preferences regarding quantity versus quality of life. However, there are currently no methods for the estimation of optimal individualized treatment rules with such data. In this article, we propose a nonparametric outcome weighted learning approach for this problem in randomized clinical trial settings. The theoretical properties of the proposed methods, including Fisher consistency and asymptotic normality of the estimated expected outcome under the estimated optimal individualized treatment rule, are rigorously established. A consistent closed-form variance estimator is provided and methodology for the calculation of simultaneous confidence intervals is proposed. Simulation studies show that the proposed methodology and inference procedures work well even with small sample sizes and high rates of right censoring. The methodology is illustrated using data from a randomized clinical trial on the treatment of metastatic squamous-cell carcinoma of the head and neck.


title: Evaluation of Robust Point Set Registration Applied to Automotive Doppler Radar

abstract: Point set registration is the process of finding the best alignment between two point sets, and it is a common task in different domains, especially in the automotive and mobile robotics domains. Lots of approaches are proposed in the literature, where the iterative closest point ICP is a well-known approach in this vein, which builds an explicit correspondence between both point sets to achieve the registration task. However, this work is interested in achieving the registration without building any explicit correspondence between both point sets, following a probabilistic framework. The most critical task in point set registration is how to elaborate the cost function, which measures the distance between both point sets. The probabilistic framework includes two possible ways to build the cost function: The summing and the likelihood. The main focus of this work is to analyze and compare the behavior of both approaches. Therefore, a 1D synthetic scenario is used to build the cost function step by step, besides the estimation error. Finally, this work uses two data sets for evaluation: A 2D synthetic data set and a real data set. The evaluation process compares and analyzes the estimation error and estimated uncertainty. Thus, two different methods are used in the evaluation process: The normalized estimation error squared NEES and noncredibility index NCI. A 77 GHz automotive Doppler radar provides the real data set, and in the real evaluation, we evaluate the ego-motion estimation of a robot as an application for the registration.


title: Reinforcement Learning from Partial Observation: Linear Function Approximation with Provable Sample Efficiency

abstract: We study reinforcement learning for partially observed Markov decision processes (POMDPs) with infinite observation and state spaces, which remains less investigated theoretically. To this end, we make the first attempt at bridging partial observability and function approximation for a class of POMDPs with a linear structure. In detail, we propose a reinforcement learning algorithm (Optimistic Exploration via Adversarial Integral Equation or OP-TENET) that attains an $\epsilon$-optimal policy within $O(1/\epsilon^2)$ episodes. In particular, the sample complexity scales polynomially in the intrinsic dimension of the linear structure and is independent of the size of the observation and state spaces. The sample efficiency of OP-TENET is enabled by a sequence of ingredients: (i) a Bellman operator with finite memory, which represents the value function in a recursive manner, (ii) the identification and estimation of such an operator via an adversarial integral equation, which features a smoothed discriminator tailored to the linear structure, and (iii) the exploration of the observation and state spaces via optimism, which is based on quantifying the uncertainty in the adversarial integral equation.


title: SELMA: SEmantic Large-scale Multimodal Acquisitions in Variable Weather, Daytime and Viewpoints

abstract: Accurate scene understanding from multiple sensors mounted on cars is a key requirement for autonomous driving systems. Nowadays, this task is mainly performed through data-hungry deep learning techniques that need very large amounts of data to be trained. Due to the high cost of performing segmentation labeling, many synthetic datasets have been proposed. However, most of them miss the multi-sensor nature of the data, and do not capture the significant changes introduced by the variation of daytime and weather conditions. To fill these gaps, we introduce SELMA, a novel synthetic dataset for semantic segmentation that contains more than 30K unique waypoints acquired from 24 different sensors including RGB, depth, semantic cameras and LiDARs, in 27 different atmospheric and daytime conditions, for a total of more than 20M samples. SELMA is based on CARLA, an open-source simulator for generating synthetic data in autonomous driving scenarios, that we modified to increase the variability and the diversity in the scenes and class sets, and to align it with other benchmark datasets. As shown by the experimental evaluation, SELMA allows the efficient training of standard and multi-modal deep learning architectures, and achieves remarkable results on real-world data. SELMA is free and publicly available, thus supporting open science and research.


title: Off-shell Partition Functions in 3d Gravity

abstract: We explore three-dimensional gravity with negative cosmological constant via canonical quantization. We focus on chiral gravity which is related to a single copy of $\mathrm{PSL}(2,\mathbb{R})$ Chern-Simons theory and is simpler to treat in canonical quantization. Its phase space for an initial value surface $\Sigma$ is given by the appropriate moduli space of Riemann surfaces. We use geometric quantization to compute partition functions of chiral gravity on three-manifolds of the form $\Sigma \times \mathrm{S}^1$, where $\Sigma$ can have asymptotic boundaries. Most of these topologies do not admit a classical solution and are thus not amenable to a direct semiclassical path integral computation. We use an index theorem that expresses the partition function as an integral of characteristic classes over phase space. In the presence of $n$ asymptotic boundaries, we use techniques from equivariant cohomology to localize the integral to a finite-dimensional integral over $\overline{\mathcal{M}}_{g,n}$, which we evaluate in low genus cases. Higher genus partition functions quickly become complicated since they depend in an oscillatory way on Newton's constant. There is a precise sense in which one can isolate the non-oscillatory part which we call the fake partition function. We establish that there is a topological recursion that computes the fake partition functions for arbitrary Riemann surfaces $\Sigma$. There is a scaling limit in which the model reduces to JT gravity and our methods give a novel way to compute JT partition functions via equivariant localization.