title: Future Directions of the Cyberinfrastructure for Sustained Scientific Innovation (CSSI) Program

abstract: The CSSI 2019 workshop was held on October 28-29, 2019, in Austin, Texas. The main objectives of this workshop were to (1) understand the impact of the CSSI program on the community over the last 9 years, (2) engage workshop participants in identifying gaps and opportunities in the current CSSI landscape, (3) gather ideas on the cyberinfrastructure needs and expectations of the community with respect to the CSSI program, and (4) prepare a report summarizing the feedback gathered from the community that can inform the future solicitations of the CSSI program. The workshop brought together different stakeholders interested in provisioning sustainable cyberinfrastructure that can power discoveries impacting the various fields of science and technology and maintaining the nation's competitiveness in the areas such as scientific software, HPC, networking, cybersecurity, and data/information science. The workshop served as a venue for gathering the community-feedback on the current state of the CSSI program and its future directions.


title: Panel: Economic Policy and Governance during Pandemics using AI

abstract: The global food supply chain (starting at farms and ending with consumers) has been seriously disrupted by many outlier events such as trade wars, the China demand shock, natural disasters, and pandemics. Outlier events create uncertainty along the entire supply chain in addition to intervening policy responses to mitigate their adverse effects. Artificial Intelligence (AI) methods (i.e. machine/reinforcement/deep learning) provide an opportunity to better understand outcomes during outlier events by identifying regular, irregular and contextual components. Employing AI can provide guidance to decision making suppliers, farmers, processors, wholesalers, and retailers along the supply chain, and policy makers to facilitate welfare-improving outcomes. This panel discusses these issues.


title: Event-Driven Learning of Systematic Behaviours in Stock Markets

abstract: It is reported that financial news, especially financial events expressed in news, provide information to investors' long/short decisions and influence the movements of stock markets. Motivated by this, we leverage financial event streams to train a classification neural network that detects latent event-stock linkages and stock markets' systematic behaviours in the U.S. stock market. Our proposed pipeline includes (1) a combined event extraction method that utilizes Open Information Extraction and neural co-reference resolution, (2) a BERT/ALBERT enhanced representation of events, and (3) an extended hierarchical attention network that includes attentions on event, news and temporal levels. Our pipeline achieves significantly better accuracies and higher simulated annualized returns than state-of-the-art models when being applied to predicting Standard\&Poor 500, Dow Jones, Nasdaq indices and 10 individual stocks.


title: Important Influence of Entrance Channel Reorientation Coupling on Proton Stripping

abstract: While it is well established that the ground state reorientation coupling can have a significant influence on the elastic scattering of deformed nuclei, the effect of such couplings on transfer channels has been much less well investigated. In this letter we demonstrate that the 208Pb(7Li,6He)209Bi proton stripping reaction at an incident energy of 52 MeV can be well described by the inclusion of the 7Li ground state reorientation coupling within the coupled channels Born approximation formalism. Full finite-range distorted wave Born approximation calculations were previously found to be unable to describe these data. Addition of coupling to the 0.478-MeV 1/2- excited state of 7Li, together with the associated two-step transfer path, has little or no influence on the shape of the angular distributions (except that for stripping leading to the 1.61-MeV 13/2+ level of 209Bi which is significantly improved) but does affect appreciably the values of the 209Bi -> 208Pb + p spectroscopic factors. Implications for experiments with weakly-bound light radioactive beams are discussed.


title: Impact of (SARS-CoV-2) COVID 19 on the indigenous language-speaking population in Mexico

abstract: The importance of the working document is that it allows the analysis of the information and the status of cases associated with (SARS-CoV-2) COVID-19 as open data at the municipal, state and national level, with a daily record of patients, according to a age, sex, comorbidities, for the condition of (SARS-CoV-2) COVID-19 according to the following characteristics: a) Positive, b) Negative, c) Suspicious. Likewise, it presents information related to the identification of an outpatient and / or hospitalized patient, attending to their medical development, identifying: a) Recovered, b) Deaths and c) Active, in Phase 3 and Phase 4, in the five main population areas speaker of indigenous language in the State of Veracruz - Mexico. The data analysis is carried out through the application of a data mining algorithm, which provides the information, fast and timely, required for the estimation of Medical Care Scenarios of (SARS-CoV-2) COVID-19, as well as for know the impact on the indigenous language-speaking population in Mexico.


title: How do I introduce Schr\"odinger equation during the quantum mechanics course?

abstract: In this paper I explain how I usually introduce the Schr\"odinger equation during the quantum mechanics course. My preferred method is the chronological one. Since the Schr\"odinger equation belongs to a special case of wave equations I start the course with introducing the wave equation. The Schr\"odinger equation is derived with the help of the two quantum concepts introduced by Max Planck, Einstein, and de Broglie, i.e., the energy of a photon $E=\hbar\omega$ and the wavelength of the de Broglie wave $\lambda=h/p$. Finally, the difference between the classical wave equation and the quantum Schr\"odinger one is explained in order to help the students to grasp the meaning of quantum wavefunction $\Psi({\bf r},t)$. A comparison of the present method to the approaches given by the authors of quantum mechanics textbooks as well as that of the original Nuffield A level is presented. It is found that the present approach is different from those given by these authors, except by Weinberg or Dicke and Wittke. However, the approach is in line with the original Nuffield A level one.


title: Enjeux \'ethiques de l'IA en sant\'e : une humanisation du parcours de soin par l'intelligence artificielle ?

abstract: Considering the use of artificial intelligence for greater personalization of patient care and better management of human and material resources may seem like an opportunity not to be missed. In order to offer a better humanization of the care pathway, artificial intelligence is a tool that decision-makers in the hospital sector must appropriate by taking care of the new ethical issues and conflicts of values that this technology generates. Envisager le recours \`a l'intelligence artificielle pour une plus grande personnalisation de la prise en charge du patient et une meilleure gestion des ressources humaines et mat\'erielles peut sembler une opportunit\'e \`a ne pas manquer. Afin de proposer une meilleure humanisation du parcours de soin, l'intelligence artificielle est un outil que les d\'ecideurs du milieu hospitalier doivent s'approprier en veillant aux nouveaux enjeux \'ethiques et conflits de valeurs que cette technologie engendre.


title: Zero-dead Time NMR in Low Field: Single-Sideband Technique Revisited

abstract: Recently the rapid-scan technique is reviving in NMR or EPR, because of its benefits of zero-dead time and low RF power. While signal baseline is still a big problem in such experiments, time-share method has been used to indirectly avoid it. However, it is obviously not a truly zero-dead time method. Other data-processing methods were also adopted to deal with raw data. Here we try to use single-sideband technique at 11.4MHz to mitigate this obstacle. The prospect is that single sideband technique can be used in rapid-scan experiment for low/high field imaging.


title: Difference in the Number of Summands in the Zeckendorf Partitions of Consecutive Integers

abstract: Zeckendorf proved that every positive integer has a unique partition as a sum of non-consecutive Fibonacci numbers. We study the difference between the number of summands in the partition of two consecutive integers. In particular, let $L(n)$ be the number of summands in the partition of $n$. We characterize all positive integers such that $L(n) > L(n+1)$, $L(n) < L(n+1)$, and $L(n) = L(n+1)$. Furthermore, we call $n+1$ a peak of $L$ if $L(n) < L(n+1) > L(n+2)$ and a divot of $L$ if $L(n) > L(n+1) < L(n+2)$. We characterize all such peaks and divots of $L$.


title: Universal scaling properties of QCD close to the chiral limit

abstract: We present a lattice QCD based determination of the chiral phase transition temperature in QCD with two massless (up and down) and one strange quark having its physical mass. We propose and calculate two novel estimators for the chiral transition temperature for several values of the light quark masses, corresponding to Goldstone pion masses in the range of $58~{\rm MeV}\lesssim m_\pi\lesssim 163~{\rm MeV}$. The chiral phase transition temperature is determined by extrapolating to vanishing pion mass using universal scaling relations. After thermodynamic, continuum and chiral extrapolations we find the chiral phase transition temperature $T_c^0=132^{+3}_{-6}$ MeV. We also show some preliminary calculations that use the conventional estimator for the pseudo-critical temperature and compare with the new estimators for $T_c^0$. Furthermore, we show results for the ratio of the chiral order parameter and its susceptibility and argue that this ratio can be used to differentiate between $O(N)$ and $Z_2$ universality classes in a non-parametric manner.


title: Shared Space Transfer Learning for analyzing multi-site fMRI data

abstract: Multi-voxel pattern analysis (MVPA) learns predictive models from task-based functional magnetic resonance imaging (fMRI) data, for distinguishing when subjects are performing different cognitive tasks -- e.g., watching movies or making decisions. MVPA works best with a well-designed feature set and an adequate sample size. However, most fMRI datasets are noisy, high-dimensional, expensive to collect, and with small sample sizes. Further, training a robust, generalized predictive model that can analyze homogeneous cognitive tasks provided by multi-site fMRI datasets has additional challenges. This paper proposes the Shared Space Transfer Learning (SSTL) as a novel transfer learning (TL) approach that can functionally align homogeneous multi-site fMRI datasets, and so improve the prediction performance in every site. SSTL first extracts a set of common features for all subjects in each site. It then uses TL to map these site-specific features to a site-independent shared space in order to improve the performance of the MVPA. SSTL uses a scalable optimization procedure that works effectively for high-dimensional fMRI datasets. The optimization procedure extracts the common features for each site by using a single-iteration algorithm and maps these site-specific common features to the site-independent shared space. We evaluate the effectiveness of the proposed method for transferring between various cognitive tasks. Our comprehensive experiments validate that SSTL achieves superior performance to other state-of-the-art analysis techniques.


title: Quadratic speedup for simulating Gaussian boson sampling

abstract: We introduce an algorithm for the classical simulation of Gaussian boson sampling that is quadratically faster than previously known methods. The complexity of the algorithm is exponential in the number of photon pairs detected, not the number of photons, and is directly proportional to the time required to calculate a probability amplitude for a pure Gaussian state. The main innovation is to use auxiliary conditioning variables to reduce the problem of sampling to computing pure-state probability amplitudes, for which the most computationally-expensive step is calculating a loop hafnian. We implement and benchmark an improved loop hafnian algorithm and show that it can be used to compute pure-state probabilities, the dominant step in the sampling algorithm, of up to 50-photon events in a single workstation, i.e., without the need of a supercomputer.


title: Verification of Patterns

abstract: The software patterns provide building blocks to the design and implementation of a software system, and try to make the software engineering to progress from experience to science. The software patterns were made famous because of the introduction as the design patterns. After that, patterns have been researched and developed widely and rapidly. The series of books of pattern-oriented software architecture should be marked in the development of software patterns. As mentioned in these books, formalization of patterns and an intermediate pattern language are needed and should be developed in the future of patterns. So, in this book, we formalize software patterns according to the categories of the series of books of pattern-oriented software architecture, and verify the correctness of patterns based on truly concurrent process algebra. In one aspect, patterns are formalized and verified; in the other aspect, truly concurrent process algebra can play a role of an intermediate pattern language for its rigorous theory.


title: Enhancing reinforcement learning by a finite reward response filter with a case study in intelligent structural control

abstract: In many reinforcement learning (RL) problems, it takes some time until a taken action by the agent reaches its maximum effect on the environment and consequently the agent receives the reward corresponding to that action by a delay called action-effect delay. Such delays reduce the performance of the learning algorithm and increase the computational costs, as the reinforcement learning agent values the immediate rewards more than the future reward that is more related to the taken action. This paper addresses this issue by introducing an applicable enhanced Q-learning method in which at the beginning of the learning phase, the agent takes a single action and builds a function that reflects the environments response to that action, called the reflexive $\gamma$ - function. During the training phase, the agent utilizes the created reflexive $\gamma$- function to update the Q-values. We have applied the developed method to a structural control problem in which the goal of the agent is to reduce the vibrations of a building subjected to earthquake excitations with a specified delay. Seismic control problems are considered as a complex task in structural engineering because of the stochastic and unpredictable nature of earthquakes and the complex behavior of the structure. Three scenarios are presented to study the effects of zero, medium, and long action-effect delays and the performance of the Enhanced method is compared to the standard Q-learning method. Both RL methods use neural network to learn to estimate the state-action value function that is used to control the structure. The results show that the enhanced method significantly outperforms the performance of the original method in all cases, and also improves the stability of the algorithm in dealing with action-effect delays.


title: May I Ask Who's Calling? Named Entity Recognition on Call Center Transcripts for Privacy Law Compliance

abstract: We investigate using Named Entity Recognition on a new type of user-generated text: a call center conversation. These conversations combine problems from spontaneous speech with problems novel to conversational Automated Speech Recognition, including incorrect recognition, alongside other common problems from noisy user-generated text. Using our own corpus with new annotations, training custom contextual string embeddings, and applying a BiLSTM-CRF, we match state-of-the-art results on our novel task.


title: Expert Selection in High-Dimensional Markov Decision Processes

abstract: In this work we present a multi-armed bandit framework for online expert selection in Markov decision processes and demonstrate its use in high-dimensional settings. Our method takes a set of candidate expert policies and switches between them to rapidly identify the best performing expert using a variant of the classical upper confidence bound algorithm, thus ensuring low regret in the overall performance of the system. This is useful in applications where several expert policies may be available, and one needs to be selected at run-time for the underlying environment.


title: Three computational models and its equivalence

abstract: The study of computability has its origin in Hilbert's conference of 1900, where an adjacent question, to the ones he asked, is to give a precise description of the notion of algorithm. In the search for a good definition arose three independent theories: Turing and the Turing machines, G\"odel and the recursive functions, Church and the Lambda Calculus. Later there were established by Kleene that the classic models of computation are equivalent. This fact is widely accepted by many textbooks and the proof is omitted since the proof is tedious and unreadable. We intend to fill this gap presenting the proof in a modern way, without forgetting the mathematical details.


title: Using a Binary Classification Model to Predict the Likelihood of Enrolment to the Undergraduate Program of a Philippine University

abstract: With the recent implementation of the K to 12 Program, academic institutions, specifically, Colleges and Universities in the Philippines have been faced with difficulties in determining projected freshmen enrollees vis-a-vis decision-making factors for efficient resource management. Enrollment targets directly impacts success factors of Higher Education Institutions. This study covered an analysis of various characteristics of freshmen applicants affecting their admission status in a Philippine university. A predictive model was developed using Logistic Regression to evaluate the probability that an admitted student will pursue to enroll in the Institution or not. The dataset used was acquired from the University Admissions Office. The office designed an online application form to capture applicants' details. The online form was distributed to all student applicants, and most often, students, tend to provide incomplete information. Despite this fact, student characteristics, as well as geographic and demographic data based on the students' location are significant predictors of enrollment decision. The results of the study show that given limited information about prospective students, Higher Education Institutions can implement machine learning techniques to supplement management decisions and provide estimates of class sizes, in this way, it will allow the institution to optimize the allocation of resources and will have better control over net tuition revenue.


title: Designing learning experiences for online teaching and learning

abstract: Teaching is about constantly innovating strategies, ways and means to engage diverse students in active and meaningful learning. In line with this, SUTD adopts various student-centric teaching and learning teaching methods and approaches. This means that our graduate/undergraduate instructors have to be ready to teach using these student student-centric teaching and learning pedagogies. In this article, I share my experiences of redesigning this teaching course that is typically conducted face-to-face to a synchronous online course and also invite one of the participant in this course to reflect on his experience as a student.


title: Suppressing Mislabeled Data via Grouping and Self-Attention

abstract: Deep networks achieve excellent results on large-scale clean data but degrade significantly when learning from noisy labels. To suppressing the impact of mislabeled data, this paper proposes a conceptually simple yet efficient training block, termed as Attentive Feature Mixup (AFM), which allows paying more attention to clean samples and less to mislabeled ones via sample interactions in small groups. Specifically, this plug-and-play AFM first leverages a \textit{group-to-attend} module to construct groups and assign attention weights for group-wise samples, and then uses a \textit{mixup} module with the attention weights to interpolate massive noisy-suppressed samples. The AFM has several appealing benefits for noise-robust deep learning. (i) It does not rely on any assumptions and extra clean subset. (ii) With massive interpolations, the ratio of useless samples is reduced dramatically compared to the original noisy ratio. (iii) \pxj{It jointly optimizes the interpolation weights with classifiers, suppressing the influence of mislabeled data via low attention weights. (iv) It partially inherits the vicinal risk minimization of mixup to alleviate over-fitting while improves it by sampling fewer feature-target vectors around mislabeled data from the mixup vicinal distribution.} Extensive experiments demonstrate that AFM yields state-of-the-art results on two challenging real-world noisy datasets: Food101N and Clothing1M. The code will be available at https://github.com/kaiwang960112/AFM.


title: Autoregressive Asymmetric Linear Gaussian Hidden Markov Models

abstract: In a real life process evolving over time, the relationship between its relevant variables may change. Therefore, it is advantageous to have different inference models for each state of the process. Asymmetric hidden Markov models fulfil this dynamical requirement and provide a framework where the trend of the process can be expressed as a latent variable. In this paper, we modify these recent asymmetric hidden Markov models to have an asymmetric autoregressive component, allowing the model to choose the order of autoregression that maximizes its penalized likelihood for a given training set. Additionally, we show how inference, hidden states decoding and parameter learning must be adapted to fit the proposed model. Finally, we run experiments with synthetic and real data to show the capabilities of this new model.


title: Manifold learning-based feature extraction for structural defect reconstruction

abstract: Data-driven quantitative defect reconstructions using ultrasonic guided waves has recently demonstrated great potential in the area of non-destructive testing. In this paper, we develop an efficient deep learning-based defect reconstruction framework, called NetInv, which recasts the inverse guided wave scattering problem as a data-driven supervised learning progress that realizes a mapping between reflection coefficients in wavenumber domain and defect profiles in the spatial domain. The superiorities of the proposed NetInv over conventional reconstruction methods for defect reconstruction have been demonstrated by several examples. Results show that NetInv has the ability to achieve the higher quality of defect profiles with remarkable efficiency and provides valuable insight into the development of effective data driven structural health monitoring and defect reconstruction using machine learning.


title: Design and Evaluation of Electric Bus Systems for Metropolitan Cities

abstract: Over the past decade, most of the metropolitan cities across the world have been witnessing a degrading trend in air quality index. Exhaust emission data observations show that promotion of public transport could be a potential way out of this gridlock. Due to environmental concerns, numerous public transport authorities harbor a great interest in introducing zero emission electric buses. A shift from conventional diesel buses to electric buses comes with several benefits in terms of reduction in local pollution, noise, and fuel consumption. This paper proposes the relevant vehicle technologies, powertrain, and charging systems, which, in combination, provides a comprehensive methodology to design an Electric Bus that can be deployed in metropolitan cities to mitigate emission concerns.


title: CRICTRS: Embeddings based Statistical and Semi Supervised Cricket Team Recommendation System

abstract: Team Recommendation has always been a challenging aspect in team sports. Such systems aim to recommend a player combination best suited against the opposition players, resulting in an optimal outcome. In this paper, we propose a semi-supervised statistical approach to build a team recommendation system for cricket by modelling players into embeddings. To build these embeddings, we design a qualitative and quantitative rating system which considers the strength of opposition also for evaluating player performance. The embeddings obtained, describes the strengths and weaknesses of the players based on past performances of the player. We also embark on a critical aspect of team composition, which includes the number of batsmen and bowlers in the team. The team composition changes over time, depending on different factors which are tough to predict, so we take this input from the user and use the player embeddings to decide the best possible team combination with the given team composition.


title: When are the roots of a polynomial real and distinct? A graphical view

abstract: We prove the classical result, which goes back at least to Fourier, that a polynomial with real coefficients has all zeros real and distinct if and only if the polynomial and also all of its nonconstant derivatives have only negative minima and positive maxima. Intuition for the result, involving illuminating pictures, is described in detail. The generalization of Fourier's theorem to certain entire functions of order one (which is conjectural) suggests that the official description of the Riemann Hypothesis Millennium Problem incorrectly describes an equivalence to the Riemann Hypothesis. The paper is reasonably self-contained and is intended be accessible (possibly with some help) to students who have taken two semesters of calculus.


title: Real square roots of matrices: differential properties in semi-simple, symmetric and orthogonal cases

abstract: We study the differential and metric structures of the set of real square roots of a non-singular real matrix, under the assumption that the matrix and its square roots are semi-simple, or symmetric, or orthogonal.


title: String Theory, the Dark Sector and the Hierarchy Problem

abstract: We discuss dark energy, dark matter and the hierarchy problem in the context of a general non-commutative formulation of string theory. In this framework dark energy is generated by the dynamical geometry of the dual spacetime while dark matter, on the other hand, comes from the degrees of freedom dual to the visible matter. This formulation of string theory is sensitive both to the IR and UV scales and the Higgs scale is radiatively stable by being a geometric mean of radiatively stable UV and IR scales. We also comment on various phenomenological signatures of this novel approach to dark energy, dark matter and the hierarchy problem. We find that this new view on the hierarchy problem is realized in a toy model based on a non-holomorphic deformation of the stringy cosmic string. Finally, we discuss a proposal for a new non-perturbative formulation of string theory, which sheds light on M theory and F theory, as well as on supersymmetry and holography.


title: Fear and Volatility in Digital Assets

abstract: We show Bitcoin implied volatility on a 5 minute time horizon is modestly predictable from price, volatility momentum and alternative data including sentiment and engagement. Lagged Bitcoin index price and volatility movements contribute to the model alongside Google Trends with markets responding often several hours later. The code and datasets used in this paper can be found at https://github.com/Globe-Research/bitfear.


title: Inference of joint conformational distributions from separately-acquired experimental measurements

abstract: Many biomolecules have flexible structures, requiring distributional estimates of their conformations. Experiments to acquire distributional data typically measure pairs of labels separately, losing information on the joint distribution. These data are assumed independent when estimating the conformational ensemble. We developed a method to estimate the true joint distribution from separately acquired measurements, testing it on two biological systems. This method accurately reproduces the joint distribution where known and generates testable predictions about complex conformational ensembles.


title: Uniqueness and energy balance for isentropic Euler equation with stochastic forcing

abstract: In this article, we prove uniqueness and energy balance for isentropic Euler system driven by a cylindrical Wiener process. Pathwise uniqueness result is obtained for weak solutions having H\"older regularity $C^{\alpha},\alpha>1/2$ in space and satisfying one-sided Lipschitz bound on velocity. We prove Onsager's conjecture for isentropic Euler system with stochastic forcing, that is, energy balance equation for solutions enjoying H\"older regularity $C^{\alpha},\alpha>1/3$. Both the results have been obtained in a more general setting by considering regularity in Besov space.


title: An Overview Of 3D Object Detection

abstract: Point cloud 3D object detection has recently received major attention and becomes an active research topic in 3D computer vision community. However, recognizing 3D objects in LiDAR (Light Detection and Ranging) is still a challenge due to the complexity of point clouds. Objects such as pedestrians, cyclists, or traffic cones are usually represented by quite sparse points, which makes the detection quite complex using only point cloud. In this project, we propose a framework that uses both RGB and point cloud data to perform multiclass object recognition. We use existing 2D detection models to localize the region of interest (ROI) on the RGB image, followed by a pixel mapping strategy in the point cloud, and finally, lift the initial 2D bounding box to 3D space. We use the recently released nuScenes dataset---a large-scale dataset contains many data formats---to training and evaluate our proposed architecture.


title: Gouy phase of type-I SPDC-generated biphotons

abstract: We consider a double Gaussian approximation to describe the wavefunction of twin photons (also called a biphoton) created in a nonlinear crystal via a type-I spontaneous parametric downconversion (SPDC) process. We find that the wavefunction develops a Gouy phase while it propagates, being dependent of the two-photon correlation through the Rayleigh length. We evaluate the covariance matrix and show that the logarithmic negativity, useful in quantifying entanglement in Gaussian states, although Rayleigh-dependent, does not depend on the propagation distance. In addition, we show that the two-photon entanglement can be connected to the biphoton Gouy phase as these quantities are Rayleigh-length-related. Then, we focus the double Gaussian biphoton wavefunction using a thin lens and calculate a Gouy phase that is in reasonable agreement with the experimental data of D. Kawase et al. published in Ref. [1].


title: Difference between angular momentum and pseudoangular momentum

abstract: In condensed matter systems it is necessary to distinguish between the momentum of the constituents of the system and the pseudomomentum of quasiparticles. The same distinction is also valid for angular momentum and pseudoangular momentum. Based on Noether's theorem, we demonstrate that the recently discussed orbital angular momenta of phonons and magnons are pseudoangular momenta. This conceptual difference is important for a proper understanding of the transfer of angular momentum in condensed matter systems, especially in spintronics applications.


title: Formation of Gaps in Self-Gravitating Debris Disks by Secular Resonance in a Single-planet System I: A Simplified Model

abstract: Spatially resolved images of debris disks frequently reveal complex morphologies such as gaps, spirals, and warps. Most existing models for explaining such morphologies focus on the role of massive perturbers (i.e. planets, stellar companions), ignoring the gravitational effects of the disk itself. Here we investigate the secular interaction between an eccentric planet and a massive, external debris disk using a simple analytical model. Our framework accounts for both the gravitational coupling between the disk and the planet, as well as the disk self-gravity -- with the limitation that it ignores the non-axisymmetric component of the disk (self-)gravity. We find generally that even when the disk is less massive than the planet, the system may feature secular resonances within the disk (contrary to what may be naively expected), where planetesimal eccentricities get significantly excited. Given this outcome we propose that double-ringed debris disks, such as those around HD 107146 and HD 92945, could be the result of secular resonances with a yet-undetected planet interior to the disk. We characterize the dependence of the properties of the secular resonances (i.e. locations, timescales, and widths) on the planet and disk parameters, finding that the mechanism is robust provided the disk is massive enough. As an example, we apply our results to HD 107146 and find that this mechanism readily produces $\sim 20$ au wide non-axisymmetric gaps. Our results may be used to set constraints on the total mass of double-ringed debris disks. We demonstrate this for HD 206893, for which we infer a disk mass of $\approx 170$ Earth masses by considering perturbations from the known brown dwarf companion.


title: Sampling and Reconstruction of Sparse Signals in Shift-Invariant Spaces: Generalized Shannon's Theorem Meets Compressive Sensing

abstract: This paper introduces a novel framework and corresponding methods for sampling and reconstruction of sparse signals in shift-invariant (SI) spaces. We reinterpret the random demodulator, a system that acquires sparse bandlimited signals, as a system for the acquisition of linear combinations of the samples in the SI setting with the box function as the sampling kernel. The sparsity assumption is exploited by the compressive sensing (CS) paradigm for a recovery of the SI samples from a reduced set of measurements. The SI samples are subsequently filtered by a discrete-time correction filter to reconstruct expansion coefficients of the observed signal. Furthermore, we offer a generalization of the proposed framework to other compactly supported sampling kernels that span a wider class of SI spaces. The generalized method embeds the correction filter in the CS optimization problem which directly reconstructs expansion coefficients of the signal. Both approaches recast an inherently continuous-domain inverse problem in a set of finite-dimensional CS problems in an exact way. Finally, we conduct numerical experiments on signals in polynomial B-spline spaces whose expansion coefficients are assumed to be sparse in a certain transform domain. The coefficients can be regarded as parametric models of an underlying continuous-time signal, obtained from a reduced set of measurements. Such continuous signal representations are particularly suitable for signal processing without converting them into samples.


title: Relativistic Alfv\'en Waves Entering Charge Starvation in the Magnetospheres of Neutron Stars

abstract: Instabilities in a neutron star can generate Alfv\'en waves in its magnetosphere. Propagation along the curved magnetic field lines strongly shears the wave, boosting its electric current $j_{\rm A}$. We derive an analytic expression for the evolution of the wave vector $\boldsymbol{k}$ and the growth of $j_{\rm A}$. In the strongly sheared regime, $j_{\rm A}$ may exceed the maximum current $j_{0}$ that can be supported by the background $e^{\pm}$ plasma. We investigate these "charge-starved" waves, first using a simplified two-fluid analytic model, then with first-principles kinetic simulations. We find that the Alfv\'en wave continues to propagate successfully even when $\kappa \equiv j_{\rm A}/j_{0} \gg 1$. It sustains $j_{\rm A}$ by compressing and advecting the plasma along the magnetic field lines with particle Lorentz factors $\sim \kappa^{1/2}$. The simulations show how plasma instabilities lead to gradual dissipation of the wave energy, giving a dissipation power $L_{\rm diss}\sim 10^{35}(\kappa/100)^{1/2} (B_w/10^{11}\,{\rm G})\,\mathrm{erg/s}$, where $B_w$ is the wave amplitude. Our results imply that dissipation due to charge starvation is not sufficient to power observed fast radio bursts (FRBs), in contrast to recent proposals.


title: CAFE: Coarse-to-Fine Neural Symbolic Reasoning for Explainable Recommendation

abstract: Recent research explores incorporating knowledge graphs (KG) into e-commerce recommender systems, not only to achieve better recommendation performance, but more importantly to generate explanations of why particular decisions are made. This can be achieved by explicit KG reasoning, where a model starts from a user node, sequentially determines the next step, and walks towards an item node of potential interest to the user. However, this is challenging due to the huge search space, unknown destination, and sparse signals over the KG, so informative and effective guidance is needed to achieve a satisfactory recommendation quality. To this end, we propose a CoArse-to-FinE neural symbolic reasoning approach (CAFE). It first generates user profiles as coarse sketches of user behaviors, which subsequently guide a path-finding process to derive reasoning paths for recommendations as fine-grained predictions. User profiles can capture prominent user behaviors from the history, and provide valuable signals about which kinds of path patterns are more likely to lead to potential items of interest for the user. To better exploit the user profiles, an improved path-finding algorithm called Profile-guided Path Reasoning (PPR) is also developed, which leverages an inventory of neural symbolic reasoning modules to effectively and efficiently find a batch of paths over a large-scale KG. We extensively experiment on four real-world benchmarks and observe substantial gains in the recommendation performance compared with state-of-the-art methods.


title: Superselection of the weak hypercharge and the algebra of the Standard Model

abstract: Restricting the $\mathbb{Z}_2$-graded tensor product of Clifford algebras $C\ell_4\hat{\otimes}C\ell_6 $ to the particle subspace allows a natural definition of the Higgs field $\Phi$, the scalar part of Quillen's superconnection, as an element of $C\ell_4^1$. We emphasize the role of the exactly conserved weak hypercharge Y, promoted here to a superselection rule for both observables and gauge transformations. This yields a change of the definition of the particle subspace adopted in recent work with Michel Dubois-Violette \cite{DT20}; here we exclude the zero eigensubspace of Y consisting of the sterile (anti)neutrinos which are allowed to mix. One thus modifies the Lie superalgebra generated by the Higgs field. Equating the normalizations of $\Phi$ in the lepton and the quark subalgebras we obtain a relation between the masses of the W boson and the Higgs that fits the experimental values within one percent accuracy.


title: Low-Variance Policy Gradient Estimation with World Models

abstract: In this paper, we propose World Model Policy Gradient (WMPG), an approach to reduce the variance of policy gradient estimates using learned world models (WM's). In WMPG, a WM is trained online and used to imagine trajectories. The imagined trajectories are used in two ways. Firstly, to calculate a without-replacement estimator of the policy gradient. Secondly, the return of the imagined trajectories is used as an informed baseline. We compare the proposed approach with AC and MAC on a set of environments of increasing complexity (CartPole, LunarLander and Pong) and find that WMPG has better sample efficiency. Based on these results, we conclude that WMPG can yield increased sample efficiency in cases where a robust latent representation of the environment can be learned.


title: Fast Minimal Presentations of Bi-graded Persistence Modules

abstract: Multi-parameter persistent homology is a recent branch of topological data analysis. In this area, data sets are investigated through the lens of homology with respect to two or more scale parameters. The high computational cost of many algorithms calls for a preprocessing step to reduce the input size. In general, a minimal presentation is the smallest possible representation of a persistence module. Lesnick and Wright proposed recently an algorithm (the LW-algorithm) for computing minimal presentations based on matrix reduction. In this work, we propose, implement and benchmark several improvements over the LW-algorithm. Most notably, we propose the use of priority queues to avoid extensive scanning of the matrix columns, which constitutes the computational bottleneck in the LW-algorithm, and we combine their algorithm with ideas from the multi-parameter chunk algorithm by Fugacci and Kerber. Our extensive experiments show that our algorithm outperforms the LW-algorithm and computes the minimal presentation for data sets with millions of simplices within a few seconds. Our software is publicly available.


title: Temporal Switching to Extend the Bandwidth of Thin Absorbers

abstract: Wave absorption in time-invariant, passive thin films is fundamentally limited by a trade-off between bandwidth and overall thickness. In this work, we investigate the use of temporal switching to reduce signal reflections from a thin grounded slab over broader bandwidths. We extend quasi-normal mode theory to time switching, developing an ab initio formalism that can model a broad class of time-switched structures. Our formalism provides optimal switching strategies to maximize the bandwidth over which minimal reflection is achieved, showing promising prospects for time-switched nanophotonic and metamaterial systems to overcome the limits of time-invariant, passive structures.


title: Inflation inside non-topological defects and scalar black holes

abstract: In this paper, we demonstrate that a phenomenon described as "topological inflation" during which inflation occurs inside the core of topological defects, has a non-topological counterpart. This appears in a simple set-up containing Einstein gravity coupled minimally to an electromagnetic field as well as a self-interacting, complex valued scalar field. The U(1) symmetry of the model is unbroken and leads to the existence of globally regular solutions, so-called boson stars, that develop a horizon for sufficiently strong gravitational coupling. We also find that the same phenomenon exists for black holes with scalar hair.


title: Low-temperature environments for quantum computation and quantum simulation

abstract: This review article summarizes the requirement of low temperature conditions in existing experimental approaches to quantum computation and quantum simulation.


title: Multiplicity among the cool supergiants in the Magellanic Clouds

abstract: The characterisation of the multiplicity of high-mass stars is of fundamental importance to understand their evolution, the diversity of observed core-collapse supernovae and the formation of gravitational wave progenitor systems. Despite that, until recently, one of the final phases of massive star evolution -- the cool supergiant phase -- has received comparatively little attention. In this study we aim to explore the multiplicity among the cool supergiants (CSGs) in the Large and Small Magellanic Clouds (LMC and SMC, respectively). To do this we compile extensive archival radial velocity (RV) measurements for over 1000 CSGs from the LMC and SMC, spanning a baseline of over 40 years. By statistically correcting the RV measurements of each stellar catalogue to the Gaia DR2 reference frame we are able to effectively compare these diverse observations. We identify 45 CSGs where RV variations cannot be explained through intrinsic variability, and are hence considered binary systems. We obtain a minimum binary fraction of $15\pm4\%$ for the SMC and of $14\pm5\%$ for the LMC. Combining these results, we determine a minimum binary fraction of $15\pm3\%$ for CSGs. These results are in good agreement with previous results which apply a correction to account for observational biases. These results add strength to the hypothesis that the binary fraction of CSGs is significantly lower than their main-sequence counterparts. Going forward, we stress the need for long-baseline multi-epoch spectroscopic surveys to cover the full parameter space of CSG binary systems.


title: The Born-Oppenheimer approach to Quantum Cosmology

abstract: The scope of this paper is to compare two different approaches for solving the Wheeler-DeWitt (WDW) equation in the presence of homogeneous matter (inflaton) and perturbations around it. The standard Born-Oppenheimer (BO) decomposition, which consists of factorizing out the gravitational wave function and then defining the flow of the time through it, and a more general BO decomposition where the whole minisuperspace wave function is factorized out. The two approaches are compared, for simplicity, in the case of a minimally coupled inflaton with a flat potential. The consistency of the latter decomposition is checked against the former by comparing the resulting perturbation (Mukhanov-Sasaki) equations. Finally a few solutions to the homogeneous WDW not suitable for the traditional BO treatment are presented and the corresponding Mukhanov-Sasaki equations are evaluated.


title: Supersymmetric minisuperspace models in self-dual loop quantum cosmology

abstract: In this paper, we study a class of symmetry reduced models of $\mathcal{N}=1$ supergravity using self-dual variables. It is based on a particular Ansatz for the gravitino field as proposed by D'Eath et al. We show that the essential part of the constraint algebra in the classical theory closes. In particular, the (graded) Poisson bracket between the left and right supersymmetry constraint reproduces the Hamiltonian constraint. For the quantum theory, we apply techniques from the manifestly supersymmetric approach to loop quantum supergravity, which yields a graded analog of the holonomy-flux algebra and a natural state space. We implement the remaining constraints in the quantum theory. For a certain subclass of these models, we show explicitly that the (graded) commutator of the supersymmetry constraints exactly reproduces the classical Poisson relations. In particular, the trace of the commutator of left and right supersymmetry constraints reproduces the Hamilton constraint operator. Finally, we consider the dynamics of the theory and compare it to a quantization using standard variables and standard minisuperspace techniques.


title: Critical Behavior and Universal Signature of an Axion Insulator State

abstract: Recently, the search for an axion insulator state in the ferromagnet-3D topological insulator (TI) heterostructure and $\mathrm{MnBi_2Te_4}$ has attracted intensive interest. However, its detection remains difficult in experiments. We systematically investigate the disorder-induced phase transition of the axion insulator state in a 3D TI with antiparallel magnetization alignment surfaces. It is found that there exists a 2D disorder-induced phase transition which shares the same universality class with the quantum Hall plateau to plateau transition. Then, we provide a phenomenological theory which maps the random mass Dirac Hamiltonian of the axion insulator state into the Chalker-Coddington network model. Therefore, we propose to probe the axion insulator state by investigating the universal signature of such a phase transition in the ferromagnet-3D TI heterostructure and $\mathrm{MnBi_2Te_4}$. Our findings not only show a global phase diagram of the axion insulator state, but also provide a new experimental routine to probe it.


title: Universal Aspects of Vortex Reconnections across the BCS-BEC Crossover

abstract: Reconnecting vortices in a superfluid allow for the energy transfer between different length scales and its subsequent dissipation. The present picture assumes that the dynamics of a reconnection is driven mostly by the phase of the order parameter, and this statement can be justified in the case of Bose-Einstein Condensates (BECs), where vortices have a simple internal structure. Therefore, it is natural to postulate that the reconnection dynamics in the vicinity of the reconnection moment is universal. This expectation has been confirmed in numerical simulations for BECs and experimentally for the superfluid ${}^4$He. Not much has been said about this relation in the context of Fermi superfluids. In this article we aim at bridging this gap, and we report our findings, which reveal that the reconnection dynamics conforms with the predicted universal behaviour across the entire BCS-BEC crossover. The universal scaling also survives for spin-imbalanced systems, where unpaired fermions induce a complex structure of the colliding vortices.


title: Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice

abstract: This text is meant for analysis students who want to learn more about the effects of the axiom of choice on functional analysis, and the things that may go wrong in its absence. As this is a text aimed for analysis students, we will not focus on the set theoretic proofs or dwell on any particular set theoretic assumptions that are needed in order to prove certain results.


title: Chiral Majorana Hinge Modes in Superconducting Dirac Materials

abstract: Chiral Majorana hinge modes are characteristic of a second-order topological superconductor in three dimensions. Here we systematically study pairing symmetry in the point group D_{2h}, and find that the leading pairing channels can be of s-, d-, and s+id-wave pairing in Dirac materials. Except for the odd-parity s-wave pairing superconductivity, the s+id-wave pairing superconductor is topologically nontrivial and possesses Majorana hinge and surface modes. The chiral Majorana hinge modes can be characterized by a winding number of the quadrupole moment, or quantized quadruple moment at the symmetrically invariant point. Our findings suggest the strong spin-orbital coupling, crystalline symmetries and electron-electron interaction in the Dirac materials may provide a microscopic mechanism to realize chiral Majorana hinge modes without utilizing the proximity effect or external fields.


title: Super quantum cohomology I: Super stable maps of genus zero with Neveu-Schwarz punctures

abstract: In this article we define stable supercurves and super stable maps of genus zero via labeled trees. We prove that the moduli space of stable supercurves and super stable maps of fixed tree type are quotient superorbifolds. To this end, we prove a slice theorem for the action of super Lie groups on Riemannian supermanifolds and discuss superorbifolds. Furthermore, we propose a Gromov topology on super stable maps such that the restriction to fixed tree type yields the quotient topology from the superorbifolds and the reduction is compact. This would, possibly, lead to the notions of super Gromov-Witten invariants and small super quantum cohomology to be discussed in sequels.


title: Flare Rates, Rotation Periods. and Spectroscopic Activity Indicators of a Volume-Complete Sample of Mid-to-Late M dwarfs within 15 Parsecs

abstract: We present a study of flare rates, rotation periods, and spectroscopic activity indicators of 125 single stars within 15 parsecs and with masses between 0.1$-$0.3 $M_\odot$ observed during the first year of the TESS mission, with the goal of elucidating the relationship between these various magnetically connected phenomena. We gathered multi-epoch high resolution spectra of each target and we measured equivalent widths of the activity indicators Helium I D$_3$, $H\alpha$, and the Calcium infrared triplet line at 8542.09 angstroms. We present 18 new rotation periods from MEarth photometry and 19 new rotation periods from TESS photometry. We present a catalog of 1392 flares. After correcting for sensitivity, we find the slope of the flare frequency distribution for all stars to have a standard value of $\alpha$ = 1.98 $\pm$ 0.02. We determine R$_{31.5}$, the rate of flares per day with energies above E = 3.16$\times$10$^{31}$ ergs in the TESS bandpass. We find that below a critical value of $H\alpha$ EW = -0.71 angstroms, log R$_{31.5}$ increases linearly with increasing $H\alpha$ emission; above this value, log R$_{31.5}$ declines rapidly. The stars divide into two groups: 26% have $H\alpha$ in emission, high flare rates with typical values of log R$_{31.5}$ = -1.30 $\pm$ 0.08, and have Rossby numbers $<$ 0.50. The remaining 74% show little to no $H\alpha$ in emission and exhibit log R$_{31.5}$ $<$ -3.86, with the majority of these stars not showing a single flare during the TESS observations.


title: Exact solutions in low-rank approximation with zeros

abstract: Low-rank approximation with zeros aims to find a matrix of fixed rank and with a fixed zero pattern that minimizes the Euclidean distance to a given data matrix. We study the critical points of this optimization problem using algebraic tools. In particular, we describe special linear, affine, and determinantal relations satisfied by the critical points. We also investigate the number of critical points and how this number is related to the complexity of nonnegative matrix factorization problem.


title: SuperBoRG: Search for The Brightest of Reionizing Galaxies and Quasars in HST Parallel Imaging Data

abstract: The Hubble Space Telescope (HST) has been providing tremendous survey efficiency via its pure-parallel mode, by observing another field in parallel with the primary instrument in operation for the primary observation. In this study, we present a new archival project, SuperBoRG, which aims at compiling data taken in extragalactic parallel programs of HST with WFC3 in the past decade; including pure-parallel (BoRG, HIPPIES, and COS-GTO) and coordinated-parallel (CLASH and RELICS) programs. The total effective area reaches $\sim0.41$deg$^2$ from 4.1Msec, or 47days, of observing time, which is the largest collection of optical-NIR imaging data of HST for extragalactic science. We reduce all data in a consistent manner with an updated version of our data reduction pipeline. When available, infrared imaging data from the Spitzer Space Telescope are included in photometric analyses. The dataset consists of 316 independent sightlines and is highly effective for identification of high-$z$ luminous sources ($M_\mathrm{UV}<-21$mag) at $z\sim7$ to $12$, helping to minimize the effects of cosmic variance. As a demonstration, we present three new $z>7$ source candidates, including one luminous galaxy candidate at $z_\mathrm{phot}\sim10.4$ with $M_\mathrm{UV}\sim-21.9$ mag; for this object the best-fit spectral energy distribution implies a large amount of stellar mass ($\log M_*/M_\odot \sim 10$) and moderate dust attenuation ($A_V \sim 1.4$mag), though the possibility of it being a low-$z$ interloper cannot completely be rejected ($\sim23\%$) with the current dataset. The dataset presented in this study is also suited for intermediate and low-$z$ science cases.


title: Abstract Value Iteration for Hierarchical Reinforcement Learning

abstract: We propose a novel hierarchical reinforcement learning framework for control with continuous state and action spaces. In our framework, the user specifies subgoal regions which are subsets of states; then, we (i) learn options that serve as transitions between these subgoal regions, and (ii) construct a high-level plan in the resulting abstract decision process (ADP). A key challenge is that the ADP may not be Markov, which we address by proposing two algorithms for planning in the ADP. Our first algorithm is conservative, allowing us to prove theoretical guarantees on its performance, which help inform the design of subgoal regions. Our second algorithm is a practical one that interweaves planning at the abstract level and learning at the concrete level. In our experiments, we demonstrate that our approach outperforms state-of-the-art hierarchical reinforcement learning algorithms on several challenging benchmarks.


title: Teaching a GAN What Not to Learn

abstract: Generative adversarial networks (GANs) were originally envisioned as unsupervised generative models that learn to follow a target distribution. Variants such as conditional GANs, auxiliary-classifier GANs (ACGANs) project GANs on to supervised and semi-supervised learning frameworks by providing labelled data and using multi-class discriminators. In this paper, we approach the supervised GAN problem from a different perspective, one that is motivated by the philosophy of the famous Persian poet Rumi who said, "The art of knowing is knowing what to ignore." In the GAN framework, we not only provide the GAN positive data that it must learn to model, but also present it with so-called negative samples that it must learn to avoid - we call this "The Rumi Framework." This formulation allows the discriminator to represent the underlying target distribution better by learning to penalize generated samples that are undesirable - we show that this capability accelerates the learning process of the generator. We present a reformulation of the standard GAN (SGAN) and least-squares GAN (LSGAN) within the Rumi setting. The advantage of the reformulation is demonstrated by means of experiments conducted on MNIST, Fashion MNIST, CelebA, and CIFAR-10 datasets. Finally, we consider an application of the proposed formulation to address the important problem of learning an under-represented class in an unbalanced dataset. The Rumi approach results in substantially lower FID scores than the standard GAN frameworks while possessing better generalization capability.


title: One-Bit Direct Position Determination of Narrowband Gaussian Signals

abstract: One of the main drawbacks of the well-known Direct Position Determination (DPD) method is the requirement that raw signal data be transferred to a common processor. It would therefore be of high practical value if DPD$-$or a modified version thereof$-$could be successfully applied to a coarsely quantized version of the raw data, thus alleviating the requirements on the communication links between the different base stations. Motivated by the above, and inspired by recent work in the rejuvenated one-bit array processing field, we present One-Bit DPD: a method for direct localization based on one-bit quantized measurements. We show that despite the coarse quantization, the proposed method nonetheless yields an estimate for the unknown emitter position with appealing asymptotic properties. We further establish the underlying identifiability conditions of this model, which rely only on second-order statistics. Empirical simulation results corroborate our analytical derivations, demonstrating that much of the information regarding the unknown emitter position is preserved under this crude form of quantization.


title: Extensions of absolute values on two subfields

abstract: We describe the absolute values on a field which simultaneously extend absolute values on two subfields. We also give a common generalization of many versions of Abhyankar's lemma on ramification indices, which is both widely applicable and easy to state. We then apply these results to count points on the fibered product of two curve morphisms C --> X and D --> X which lie over prescribed points on C and D.


title: Zonal flow reversals in two-dimensional Rayleigh-B\'enard convection

abstract: We analyse the nonlinear dynamics of the large scale flow in Rayleigh-B\'enard convection in a two-dimensional, rectangular geometry of aspect ratio $\Gamma$. We impose periodic and free-slip boundary conditions in the streamwise and spanwise directions, respectively. As Rayleigh number Ra increases, a large scale zonal flow dominates the dynamics of a moderate Prandtl number fluid. At high Ra, in the turbulent regime, transitions are seen in the probability density function (PDF) of the largest scale mode. For $\Gamma = 2$, the PDF first transitions from a Gaussian to a trimodal behaviour, signifying the emergence of reversals of the zonal flow where the flow fluctuates between three distinct turbulent states: two states in which the zonal flow travels in opposite directions and one state with no zonal mean flow. Further increase in Ra leads to a transition from a trimodal to a unimodal PDF which demonstrates the disappearance of the zonal flow reversals. On the other hand, for $\Gamma = 1$ the zonal flow reversals are characterised by a bimodal PDF of the largest scale mode, where the flow fluctuates only between two distinct turbulent states with zonal flow travelling in opposite directions.

categories: physics.flu-dyn physics.ao-ph physics.geo-ph physics.plasm-ph


title: Free-Form Image Inpainting via Contrastive Attention Network

abstract: Most deep learning based image inpainting approaches adopt autoencoder or its variants to fill missing regions in images. Encoders are usually utilized to learn powerful representational spaces, which are important for dealing with sophisticated learning tasks. Specifically, in image inpainting tasks, masks with any shapes can appear anywhere in images (i.e., free-form masks) which form complex patterns. It is difficult for encoders to capture such powerful representations under this complex situation. To tackle this problem, we propose a self-supervised Siamese inference network to improve the robustness and generalization. It can encode contextual semantics from full resolution images and obtain more discriminative representations. we further propose a multi-scale decoder with a novel dual attention fusion module (DAF), which can combine both the restored and known regions in a smooth way. This multi-scale architecture is beneficial for decoding discriminative representations learned by encoders into images layer by layer. In this way, unknown regions will be filled naturally from outside to inside. Qualitative and quantitative experiments on multiple datasets, including facial and natural datasets (i.e., Celeb-HQ, Pairs Street View, Places2 and ImageNet), demonstrate that our proposed method outperforms state-of-the-art methods in generating high-quality inpainting results.


title: Filling links and spines in 3-manifolds

abstract: We introduce and study the notion of filling links in 3-manifolds: a link L is filling in M if for any 1-spine G of M which is disjoint from L, $\pi_1(G)$ injects into $\pi_1(M\smallsetminus L)$. A weaker "k-filling" version concerns injectivity modulo k-th term of the lower central series. For each k>1 we construct a k-filling link in the 3-torus. The proof relies on an extension of the Stallings theorem which may be of independent interest. We discuss notions related to "filling" links in 3-manifolds, and formulate several open problems. The appendix by C. Leininger and A. Reid establishes the existence of a filling hyperbolic link in any closed orientable 3-manifold with $\pi_1(M)$ of rank 2.


title: Characterizing the Circumgalactic Medium of the Lowest-Mass Galaxies: A Case Study of IC 1613

abstract: Using 10 sightlines observed with the Hubble Space Telescope/Cosmic Origins Spectrograph, we study the circumgalactic medium (CGM) and outflows of IC1613, which is a low-mass ($M_*\sim10^8~M_\odot$), dwarf irregular galaxy on the outskirts of the Local Group. Among the sightlines, 4 are pointed towards UV-bright stars in IC1613, and the other 6 sightlines are background QSOs at impact parameters from 6 kpc ($<0.1R_{200}$) to 61 kpc ($0.6R_{200}$). We detect a number of Si II, Si III, Si IV, C II, and C IV absorbers, most of which have velocities less than the escape velocity of IC1613 and thus are gravitationally bound. The line strengths of these ion absorbers are consistent with the CGM absorbers detected in dwarf galaxies at low redshifts. Assuming that Si II, Si III, and Si IV comprise nearly 100% of the total silicon, we find 3% ($\sim$8$\times$10$^3~{\rm M_\odot}$), 2% ($\sim$7$\times$10$^3~{\rm M_\odot}$), and 32--42% [$\sim$(1.0--1.3)$\times$10$^5~{\rm M_\odot}$] of the silicon mass in the stars, interstellar medium, and within $0.6R_{200}$ of the CGM of IC1613. We also estimate the metal outflow rate to be ${\rm \dot{M}_{out, Z}\geq1.1\times10^{-5}~M_\odot~yr^{-1}}$ and the instantaneous metal mass loading factor to be $\eta_{\rm Z}\geq0.004$, which are in broad agreement with available observation and simulation values. This work is the first time a dwarf galaxy of such low mass is probed by a number of both QSO and stellar sightlines, and it shows that the CGM of low-mass gas-rich galaxies can be a large reservoir enriched with metals from past and ongoing outflows.


title: Statistics of multipliers for hyperbolic rational maps

abstract: In this article, we consider a counting problem for orbits of hyperbolic rational maps on the Riemann sphere, where constraints are placed on the multipliers of orbits. Using arguments from work of Dolgopyat, we consider varying and potentially shrinking intervals, and obtain a result which resembles a local central limit theorem for the logarithm of the absolute value of the multiplier and an equidistribution theorem for the holonomies.


title: Brain Tumor Segmentation Network Using Attention-based Fusion and Spatial Relationship Constraint

abstract: Delineating the brain tumor from magnetic resonance (MR) images is critical for the treatment of gliomas. However, automatic delineation is challenging due to the complex appearance and ambiguous outlines of tumors. Considering that multi-modal MR images can reflect different tumor biological properties, we develop a novel multi-modal tumor segmentation network (MMTSN) to robustly segment brain tumors based on multi-modal MR images. The MMTSN is composed of three sub-branches and a main branch. Specifically, the sub-branches are used to capture different tumor features from multi-modal images, while in the main branch, we design a spatial-channel fusion block (SCFB) to effectively aggregate multi-modal features. Additionally, inspired by the fact that the spatial relationship between sub-regions of tumor is relatively fixed, e.g., the enhancing tumor is always in the tumor core, we propose a spatial loss to constrain the relationship between different sub-regions of tumor. We evaluate our method on the test set of multi-modal brain tumor segmentation challenge 2020 (BraTs2020). The method achieves 0.8764, 0.8243 and 0.773 dice score for whole tumor, tumor core and enhancing tumor, respectively.


title: The Mu3e Data Acquisition

abstract: The Mu3e experiment aims to find or exclude the lepton flavour violating decay $\mu^+\to e^+e^-e^+$ with a sensitivity of one in 10$^{16}$ muon decays. The first phase of the experiment is currently under construction at the Paul Scherrer Institute (PSI, Switzerland), where beams with up to 10$^8$ muons per second are available. The detector will consist of an ultra-thin pixel tracker made from High-Voltage Monolithic Active Pixel Sensors (HV-MAPS), complemented by scintillating tiles and fibres for precise timing measurements. The experiment produces about 100 Gbit/s of zero-suppressed data which are transported to a filter farm using a network of FPGAs and fast optical links. On the filter farm, tracks and three-particle vertices are reconstructed using highly parallel algorithms running on graphics processing units, leading to a reduction of the data to 100 Mbyte/s for mass storage and offline analysis. The paper introduces the system design and hardware implementation of the Mu3e data acquisition and filter farm.


title: Efficient computation of two-loop amplitudes for Higgs boson pair production

abstract: We present a precise and efficient computation of the two-loop amplitudes entering the Higgs boson pair production process via gluon fusion. Our approach is based on the small-Higgs-mass expansion while keeping the full dependence on the top quark mass and other kinematic invariants. We compare our results to the up-to-date predictions based on a combination of sector decomposition and high-energy expansion. We find that our method provides precision numeric predictions in the entire phase space, while at the same time is highly efficient as the computation can be easily performed on a normal desktop or laptop computer. Our method is valuable for practical phenomenological studies of the Higgs boson pair production process, and can also be applied to other similar processes.


title: Lattices in Chip-Firing

abstract: We analyze the poset of moves in chip-firing, as defined by Klivans and Liscio. Answering a question of Propp, we show that the move poset forms the join-irreducibles of the poset of configurations. The proof involves a graph augmentation and an analysis of configurations in which only one firing move is available. We then use this framework to analyze the problem of chip-firing on a line, where the move poset is relevant to the problem of labeled chip-firing.


title: Reliable Graph Neural Networks via Robust Aggregation

abstract: Perturbations targeting the graph structure have proven to be extremely effective in reducing the performance of Graph Neural Networks (GNNs), and traditional defenses such as adversarial training do not seem to be able to improve robustness. This work is motivated by the observation that adversarially injected edges effectively can be viewed as additional samples to a node's neighborhood aggregation function, which results in distorted aggregations accumulating over the layers. Conventional GNN aggregation functions, such as a sum or mean, can be distorted arbitrarily by a single outlier. We propose a robust aggregation function motivated by the field of robust statistics. Our approach exhibits the largest possible breakdown point of 0.5, which means that the bias of the aggregation is bounded as long as the fraction of adversarial edges of a node is less than 50\%. Our novel aggregation function, Soft Medoid, is a fully differentiable generalization of the Medoid and therefore lends itself well for end-to-end deep learning. Equipping a GNN with our aggregation improves the robustness with respect to structure perturbations on Cora ML by a factor of 3 (and 5.5 on Citeseer) and by a factor of 8 for low-degree nodes.


title: Generation and controlling of ultrashort self-similar solitons and rogue waves in inhomogeneous optical waveguide

abstract: We present exact bright, dark and rogue soliton solutions of generalized higherorder nonlinear Schrodinger equation, describing the ultrashort beam propagation in tapered waveguide amplifier, via a similarity transformation connected with the constant-coefficient Sasa-Satsuma and Hirota equations. Our exact analysis takes recourse to identify the allowed tapering profile in conjunction with appropriate gain function which corresponds to PT-symmetric waveguide. We extend our analysis to study the effect of tapering profiles and higher-order terms on the evolution of self-similar waves and thus enabling one to control the self-similar wave structure and dynamical behavior.


title: Semi-Supervised Speech Recognition via Graph-based Temporal Classification

abstract: Semi-supervised learning has demonstrated promising results in automatic speech recognition (ASR) by self-training using a seed ASR model with pseudo-labels generated for unlabeled data. The effectiveness of this approach largely relies on the pseudo-label accuracy, for which typically only the 1-best ASR hypothesis is used. However, alternative ASR hypotheses of an N-best list can provide more accurate labels for an unlabeled speech utterance and also reflect uncertainties of the seed ASR model. In this paper, we propose a generalized form of the connectionist temporal classification (CTC) objective that accepts a graph representation of the training labels. The newly proposed graph-based temporal classification (GTC) objective is applied for self-training with WFST-based supervision, which is generated from an N-best list of pseudo-labels. In this setup, GTC is used to learn not only a temporal alignment, similarly to CTC, but also a label alignment to obtain the optimal pseudo-label sequence from the weighted graph. Results show that this approach can effectively exploit an N-best list of pseudo-labels with associated scores, considerably outperforming standard pseudo-labeling, with ASR results approaching an oracle experiment in which the best hypotheses of the N-best lists are selected manually.


title: Identification of complex mixtures for Raman spectroscopy using a novel scheme based on a new multi-label deep neural network

abstract: With noisy environment caused by fluoresence and additive white noise as well as complicated spectrum fingerprints, the identification of complex mixture materials remains a major challenge in Raman spectroscopy application. In this paper, we propose a new scheme based on a constant wavelet transform (CWT) and a deep network for classifying complex mixture. The scheme first transforms the noisy Raman spectrum to a two-dimensional scale map using CWT. A multi-label deep neural network model (MDNN) is then applied for classifying material. The proposed model accelerates the feature extraction and expands the feature graph using the global averaging pooling layer. The Sigmoid function is implemented in the last layer of the model. The MDNN model was trained, validated and tested with data collected from the samples prepared from substances in palm oil. During training and validating process, data augmentation is applied to overcome the imbalance of data and enrich the diversity of Raman spectra. From the test results, it is found that the MDNN model outperforms previously proposed deep neural network models in terms of Hamming loss, one error, coverage, ranking loss, average precision, F1 macro averaging and F1 micro averaging, respectively. The average detection time obtained from our model is 5.31 s, which is much faster than the detection time of the previously proposed models.


title: Solvable model of a generic driven mixture of trapped Bose-Einstein condensates and properties of a many-boson Floquet state at the limit of an infinite number of particles

abstract: A solvable model of a periodically-driven trapped mixture of Bose-Einstein condensates, consisting of $N_1$ interacting bosons of mass $m_1$ driven by a force of amplitude $f_{L,1}$ and $N_2$ interacting bosons of mass $m_2$ driven by a force of amplitude $f_{L,2}$, is presented. The model generalizes the harmonic-interaction model for mixtures to the time-dependent domain. The resulting many-particle ground Floquet wavefunction and quasienergy, as well as the time-dependent densities and reduced density matrices, are prescribed explicitly and analyzed at the many-body and mean-field levels of theory for finite systems and at the limit of an infinite number of particles. We prove that the time-dependent densities per particle are given at the limit of an infinite number of particles by their respective mean-field quantities, and that the time-dependent reduced one-particle and two-particle density matrices per particle of the driven mixture are $100\%$ condensed. Interestingly, the quasienergy per particle {\it does not} coincide with the mean-field value at this limit, unless the relative center-of-mass coordinate of the two Bose-Einstein condensates is not activated by the driving forces $f_{L,1}$ and $f_{L,2}$. As an application, we investigate the imprinting of angular momentum and its fluctuations when steering a Bose-Einstein condensate by an interacting bosonic impurity, and the resulting modes of rotations. Whereas the expectation values per particle of the angular-momentum operator for the many-body and mean-field solutions coincide at the limit of an infinite number of particles, the respective fluctuations can differ substantially. The results are analyzed in terms of the transformation properties of the angular-momentum operator under translations and boosts and the interactions between the particles. Implications are briefly discussed.


title: Non-perturbative Tests of Duality Cascades in Three Dimensional Supersymmetric Gauge Theories

abstract: It has been conjectured that duality cascade occurs in the $\mathcal{N}=3$ supersymmetric Yang-Mills Chern-Simons theory with the gauge group $U(N )_k \times U(N+M )_{-k}$ coupled to two bi-fundamental hypermultiplets. The brane picture suggests that this duality cascade can be generalized to a class of 3d $\mathcal{N}=3$ supersymmetric quiver gauge theories coming from so-called Hanany-Witten type brane configurations. In this paper we perform non-perturbative tests of the duality cascades using supersymmetry localization. We focus on $S^3$ partition functions and prove predictions from the duality cascades. We also discuss that our result can be applied to generate new dualities for more general theories which include less supersymmetric theories and theories without brane constructions.


title: Low-degree permutation rational functions over finite fields

abstract: We determine all degree-4 rational functions f(X) in F_q(X) which permute P^1(F_q), and answer two questions of Ferraguti and Micheli about the number of such functions and the number of equivalence classes of such functions up to composing with degree-one rational functions. We also determine all degree-8 rational functions f(X) in F_q(X) which permute P^1(F_q) in case q is sufficiently large, and do the same for degree 32 in case either q is odd or f(X) is a nonsquare. Further, for most other positive integers n<4096, for each sufficiently large q we determine all degree-n rational functions f(X) in F_q(X) which permute P^1(F_q) but which are not compositions of lower-degree rational functions in F_q(X). Some of these results are proved by using a new Galois-theoretic characterization of additive (linearized) polynomials among all rational functions, which is of independent interest.


title: Compressive Sensing and Neural Networks from a Statistical Learning Perspective

abstract: Various iterative reconstruction algorithms for inverse problems can be unfolded as neural networks. Empirically, this approach has often led to improved results, but theoretical guarantees are still scarce. While some progress on generalization properties of neural networks have been made, great challenges remain. In this chapter, we discuss and combine these topics to present a generalization error analysis for a class of neural networks suitable for sparse reconstruction from few linear measurements. The hypothesis class considered is inspired by the classical iterative soft-thresholding algorithm (ISTA). The neural networks in this class are obtained by unfolding iterations of ISTA and learning some of the weights. Based on training samples, we aim at learning the optimal network parameters via empirical risk minimization and thereby the optimal network that reconstructs signals from their compressive linear measurements. In particular, we may learn a sparsity basis that is shared by all of the iterations/layers and thereby obtain a new approach for dictionary learning. For this class of networks, we present a generalization bound, which is based on bounding the Rademacher complexity of hypothesis classes consisting of such deep networks via Dudley's integral. Remarkably, under realistic conditions, the generalization error scales only logarithmically in the number of layers, and at most linear in number of measurements.


title: Post-selection inference with HSIC-Lasso

abstract: Detecting influential features in non-linear and/or high-dimensional data is a challenging and increasingly important task in machine learning. Variable selection methods have thus been gaining much attention as well as post-selection inference. Indeed, the selected features can be significantly flawed when the selection procedure is not accounted for. We propose a selective inference procedure using the so-called model-free "HSIC-Lasso" based on the framework of truncated Gaussians combined with the polyhedral lemma. We then develop an algorithm, which allows for low computational costs and provides a selection of the regularisation parameter. The performance of our method is illustrated by both artificial and real-world data based experiments, which emphasise a tight control of the type-I error, even for small sample sizes.


title: Classification of irrational $\Theta$-deformed CAR $C^*$-algebras

abstract: Given a skew-symmetric real $n\times n$ matrix $\Theta$ we consider the universal enveloping $C^*$-algebra $\mathsf{CAR}_\Theta$ of the $*$-algebra generated by $a_1, \ldots, a_n$ subject to the relations \[ a_i^* a_i + a_i a_i^* = 1, \ \] \[ a_i^* a_j = e^{2 \pi i \Theta_{i,j}} a_j a_i^*, \] \[ a_i a_j = e^{-2 \pi i \Theta_{i,j}} a_j a_i. \] We prove that $\mathsf{CAR}_\Theta$ has a $C(K_n)$-structure, where $K_n = \left[ 0,\frac{1}{2} \right]^n$ is the hypercube and describe the fibers. We classify irreducible representations of $\mathsf{CAR}_\Theta$ in terms of irreducible representations of a higher-dimensional noncommutative torus. We prove that for a given irrational skew-symmetric $\Theta_1$ there are only finitely many $\Theta_2$ such that $\mathsf{CAR}_{\Theta_1} \simeq \mathsf{CAR}_{\Theta_2}$. Namely, $\mathsf{CAR}_{\Theta_1} \simeq \mathsf{CAR}_{\Theta_2}$ implies $(\Theta_1)_{ij} = \pm (\Theta_2)_{\sigma(i,j)} \mod \mathbb{Z}$ for a bijection $\sigma$ of the set $\{(i,j) : i < j, \ i, j = 1, \ldots, n\}$. For $n = 2$ we give a full classification: $\mathsf{CAR}_{\theta_1} \simeq \mathsf{CAR}_{\theta_2}$ iff $\theta_1 = \pm \theta_2 \mod \mathbb{Z}$.


title: SAGECal performance with large sky models

abstract: As astronomical instruments become more sensitive, the requirements for the calibration software become more stringent; without accurate calibration solutions, thermal noise levels in images will not be reached and the scientific output of the instrument is degraded. Calibration requires bright sources with known properties, in particular with respect to their brightnesses as a function of frequency. However, for modern radio telescopes with a huge field of view, a single calibration source does not suffice; instead a sky model with tens of thousands of sources is needed. In this work, we investigate the compute load for such complicated sky models, with up to 50,000 sources, for the SAGECal calibration package. We have chosen half of the sources in these models to be point sources and half of them extended, which we represent by Gaussian profiles.


title: Independence Tests Without Ground Truth for Noisy Learners

abstract: Exact ground truth invariant polynomial systems can be written for arbitrarily correlated binary classifiers. Their solutions give estimates for sample statistics that require knowledge of the ground truth of the correct labels in the sample. Of these polynomial systems, only a few have been solved in closed form. Here we discuss the exact solution for independent binary classifiers - resolving an outstanding problem that has been presented at this conference and others. Its practical applicability is hampered by its sole remaining assumption - the classifiers need to be independent in their sample errors. We discuss how to use the closed form solution to create a self-consistent test that can validate the independence assumption itself absent the correct labels ground truth. It can be cast as an algebraic geometry conjecture for binary classifiers that remains unsolved. A similar conjecture for the ground truth invariant algebraic system for scalar regressors is solvable, and we present the solution here. We also discuss experiments on the Penn ML Benchmark classification tasks that provide further evidence that the conjecture may be true for the polynomial system of binary classifiers.


title: $d_p$ convergence and $\epsilon$-regularity theorems for entropy and scalar curvature lower bounds

abstract: Consider a sequence of Riemannian manifolds $(M^n_i,g_i)$ with scalar curvatures and entropies bounded below by small constants $R_i,\mu_i \geq-\epsilon_i$. The goal of this paper is to understand notions of convergence and the structure of limits for such spaces. Even in the seemingly rigid case $\epsilon_i\to 0$, we construct examples showing that such a sequence may converge wildly in the Gromov-Hausdorff or Intrinsic Flat sense. On the other hand, we will see that these classical notions of convergence are the incorrect ones to consider. Indeed, even a metric space is the wrong underlying category to be working on. Instead, we introduce $d_p$ convergence, a weaker notion of convergence that is valid for a class of rectifiable Riemannian spaces. These rectifiable spaces have well-behaved topology, measure theory, and analysis, though potentially there will be no reasonably associated distance function. Under the $d_p$ notion of closeness, a space with almost nonnegative scalar curvature and small entropy bounds must in fact be close to Euclidean space; this will constitute our $\epsilon$-regularity theorem. More generally, we have a compactness theorem saying that sequences of Riemannian manifolds $(M^n_i,g_i)$ with small lower scalar curvature and entropy bounds $R_i,\mu_i \geq -\epsilon$ must $d_p$ converge to such a rectifiable Riemannian space $X$. Comparing to the first paragraph, the distance functions of $M_i$ may be degenerating, even though in a well-defined sense the analysis cannot be. Applications for manifolds with small scalar and entropy lower bounds include an $L^\infty$-Sobolev embedding and apriori $L^p$ scalar curvature bounds for $p<1$.


title: Null controllability and finite-time stabilization in minimal time of one-dimensional first-order $2 \times 2$ linear hyperbolic systems

abstract: The goal of this article is to present the minimal time needed for the null controllability and finite-time stabilization of one-dimensional first-order $2 \times 2$ linear hyperbolic systems. The main technical point is to show that we cannot obtain a better time. The proof combines the backstepping method with the Titchmarsh convolution theorem.


title: Machine Ethics and Automated Vehicles

abstract: Road vehicle travel at a reasonable speed involves some risk, even when using computer-controlled driving with failure-free hardware and perfect sensing. A fully-automated vehicle must continuously decide how to allocate this risk without a human driver's oversight. These are ethical decisions, particularly in instances where an automated vehicle cannot avoid crashing. In this chapter, I introduce the concept of moral behavior for an automated vehicle, argue the need for research in this area through responses to anticipated critiques, and discuss relevant applications from machine ethics and moral modeling research.


title: Spherical isochrone models revisited

abstract: A short derivation of all isochrone models using complex analysis


title: Observation of a new interaction between a single spin and a moving mass

abstract: Searching for physics beyond the standard model is crucial for understanding the mystery of the universe, such as the dark matter. We utilized a single spin in a diamond as a sensor to explore the spin-dependent interactions mediated by the axion-like particles, which are well motivated by dark matter candidates. We recorded non-zero magnetic fields exerted on the single electron spin from a moving mass. The strength of the magnetic field is proportional to the velocity of the moving mass. The dependency of the magnetic field on the distance between the spin and the moving mass has been experimentally characterized. We analyzed the possible sources of this magnetic signal, and our results provide highly suggestive of the existence of a new spin-dependent interaction. Our work opens a door for investigating the physics beyond the standard model in laboratory.


title: PeopleXploit -- A hybrid tool to collect public data

abstract: This paper introduces the concept of Open Source Intelligence (OSINT) as an important application in intelligent profiling of individuals. With a variety of tools available, significant data shall be obtained on an individual as a consequence of analyzing his/her internet presence but all of this comes at the cost of low relevance. To increase the relevance score in profiling, PeopleXploit is being introduced. PeopleXploit is a hybrid tool which helps in collecting the publicly available information that is reliable and relevant to the given input. This tool is used to track and trace the given target with their digital footprints like Name, Email, Phone Number, User IDs etc. and the tool will scan & search other associated data from public available records from the internet and create a summary report against the target. PeopleXploit profiles a person using authorship analysis and finds the best matching guess. Also, the type of analysis performed (professional/matrimonial/criminal entity) varies with the requirement of the user.


title: Using Twitter to Analyze Political Polarization During National Crises

abstract: Democrats and Republicans have seemed to grow apart in the past three decades. Since the United States as we know it today is undeniably bipartisan, this phenomenon would not appear as a surprise to most. However, there are triggers which can cause spikes in disagreements between Democrats and Republicans at a higher rate than how the two parties have been growing apart gradually over time. This study has analyzed the idea that national events which generally are detrimental to all individuals can be one of those triggers. By testing polarization before and after three events (Hurricane Sandy [2012], N. Korea Missile Test Surge [2019], COVID-19 [2020]) using Twitter data, we show that a measurable spike in polarization occurs between the Democrat and Republican party. In order to measure polarization, sentiments of Twitter users aligned to the Democrat and Republican parties are compared on identical entities (events, people, locations, etc.). Using hundreds of thousands of data samples, a 2.8% increase in polarization was measured during times of crisis compared to times where no crises were occurring. Regardless of the reasoning that the gap between political parties can increase so much during times of suffering and stress, it is definitely alarming to see that among other aspects of life, the partisan gap worsens during detrimental national events.


title: Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs

abstract: Depressive disorder is one of the most prevalent mental illnesses among the global population. However, traditional screening methods require exacting in-person interviews and may fail to provide immediate interventions. In this work, we leverage ubiquitous personal longitudinal Google Search and YouTube engagement logs to detect individuals with depressive disorder. We collected Google Search and YouTube history data and clinical depression evaluation results from $212$ participants ($99$ of them suffered from moderate to severe depressions). We then propose a personalized framework for classifying individuals with and without depression symptoms based on mutual-exciting point process that captures both the temporal and semantic aspects of online activities. Our best model achieved an average F1 score of $0.77 \pm 0.04$ and an AUC ROC of $0.81 \pm 0.02$.


title: Computing Crisp Bisimulations for Fuzzy Structures

abstract: Fuzzy structures such as fuzzy automata, fuzzy transition systems, weighted social networks and fuzzy interpretations in fuzzy description logics have been widely studied. For such structures, bisimulation is a natural notion for characterizing indiscernibility between states or individuals. There are two kinds of bisimulations for fuzzy structures: crisp bisimulations and fuzzy bisimulations. While the latter fits to the fuzzy paradigm, the former has also attracted attention due to the application of crisp equivalence relations, for example, in minimizing structures. Bisimulations can be formulated for fuzzy labeled graphs and then adapted to other fuzzy structures. In this article, we present an efficient algorithm for computing the partition corresponding to the largest crisp bisimulation of a given finite fuzzy labeled graph. Its complexity is of order $O((m\log{l} + n)\log{n})$, where $n$, $m$ and $l$ are the number of vertices, the number of nonzero edges and the number of different fuzzy degrees of edges of the input graph, respectively. We also study a similar problem for the setting with counting successors, which corresponds to the case with qualified number restrictions in description logics and graded modalities in modal logics. In particular, we provide an efficient algorithm with the complexity $O((m\log{m} + n)\log{n})$ for the considered problem in that setting.


title: FD Cell-Free mMIMO: Analysis and Optimization

abstract: Cell-free (CF) massive multiple-input-multiple-output (mMIMO) deployments are usually investigated with half-duplex nodes and high-capacity fronthaul links. To leverage the possible gains in throughput and energy efficiency (EE) of full-duplex (FD) communications, we consider a FD CF mMIMO system with practical limited-capacity fronthaul links. We derive closed-form spectral efficiency (SE) lower bounds for this system with maximum-ratio combining/maximum-ratio transmission processing and optimal uniform quantization. We then optimize the weighted sum EE (WSEE) via downlink and uplink power control by using a {two-layered} approach: the first layer formulates the optimization as a generalized convex program, while the second layer solves the optimization decentrally using alternating direction method of multipliers. We analytically show that the proposed two-layered formulation yields a Karush-Kuhn-Tucker point of the original WSEE optimization. We numerically show the influence of weights on the individual EE of the users, which demonstrates the utility of WSEE metric to incorporate heterogeneous EE requirements of users. We show that the low fronthaul capacity reduces the number of users each AP can support, and the cell-free system, consequently, becomes user-centric.


title: Interpretable Data-Driven Demand Modelling for On-Demand Transit Services

abstract: In recent years, with the advancements in information and communication technology, different emerging on-demand shared mobility services have been introduced as innovative solutions in the low-density areas, including on-demand transit (ODT), mobility on-demand (MOD) transit, and crowdsourced mobility services. However, due to their infancy, there is a strong need to understand and model the demand for these services. In this study, we developed trip production and distribution models for ODT services at Dissemination areas (DA) level using four machine learning algorithms: Random Forest (RF), Bagging, Artificial Neural Network (ANN) and Deep Neural Network (DNN). The data used in the modelling process were acquired from Belleville's ODT operational data and 2016 census data. Bayesian optimalization approach was used to find the optimal architecture of the adopted algorithms. Moreover, post-hoc model was employed to interpret the predictions and examine the importance of the explanatory variables. The results showed that the land-use type was the most important variable in the trip production model. On the other hand, the demographic characteristics of the trip destination were the most important variables in the trip distribution model. Moreover, the results revealed that higher trip distribution levels are expected between dissemination areas with commercial/industrial land-use type and dissemination areas with high-density residential land-use. Our findings suggest that the performance of ODT services can be further enhanced by (a) locating idle vehicles in the neighbourhoods with commercial/industrial land-use and (b) using the spatio-temporal demand models obtained in this work to continuously update the operating fleet size.


title: Analyzing Societal Impact of COVID-19: A Study During the Early Days of the Pandemic

abstract: In this paper, we collect and study Twitter communications to understand the societal impact of COVID-19 in the United States during the early days of the pandemic. With infections soaring rapidly, users took to Twitter asking people to self isolate and quarantine themselves. Users also demanded closure of schools, bars, and restaurants as well as lockdown of cities and states. We methodically collect tweets by identifying and tracking trending COVID-related hashtags. We first manually group the hashtags into six main categories, namely, 1) General COVID, 2) Quarantine, 3) Panic Buying, 4) School Closures, 5) Lockdowns, and 6) Frustration and Hope}, and study the temporal evolution of tweets in these hashtags. We conduct a linguistic analysis of words common to all hashtag groups and specific to each hashtag group and identify the chief concerns of people as the pandemic gripped the nation (e.g., exploring bidets as an alternative to toilet paper). We conduct sentiment analysis and our investigation reveals that people reacted positively to school closures and negatively to the lack of availability of essential goods due to panic buying. We adopt a state-of-the-art semantic role labeling approach to identify the action words and then leverage a LSTM-based dependency parsing model to analyze the context of action words (e.g., verb deal is accompanied by nouns such as anxiety, stress, and crisis). Finally, we develop a scalable seeded topic modeling approach to automatically categorize and isolate tweets into hashtag groups and experimentally validate that our topic model provides a grouping similar to our manual grouping. Our study presents a systematic way to construct an aggregated picture of peoples' response to the pandemic and lays the groundwork for future fine-grained linguistic and behavioral analysis.