title: On the rate of convergence of a deep recurrent neural network estimate in a regression problem with dependent data

abstract: A regression problem with dependent data is considered. Regularity assumptions on the dependency of the data are introduced, and it is shown that under suitable structural assumptions on the regression function a deep recurrent neural network estimate is able to circumvent the curse of dimensionality.


title: Visual Companion for Booklovers

abstract: An innumerable number of individual choices go into discovering a new book. There are unmistakably two groups of booklovers: those who like to search online, follow other people's latest readings, or simply react to a system's recommendations; and those who love to wander between library stacks, lose themselves behind bookstore shelves, or simply hide behind piles of (un)organized books. Depending on which group a person may fall into, there are two distinct and corresponding mediums that inform his or her choices: digital, that provides efficient retrieval of information online, and physical, a more tactile pursuit that leads to unexpected discoveries and promotes serendipity. How could we possibly bridge the gap between these seemingly disparate mediums into an integrated system that can amplify the benefits they both offer? In this paper, we present the BookVIS application, which uses book-related data and generates personalized visualizations to follow users in their quest for a new book. In this new redesigned version, the app brings associative visual connections to support intuitive exploration of easily retrieved digital information and its relationship with the physical book in hand. BookVIS keeps track of the user's reading preferences and generates a dataSelfie as an individual snapshot of a personal taste that grows over time. Usability testing has also been conducted and has demonstrated the app's ability to identify distinguishable patterns in readers' tastes that could be further used to communicate personal preferences in new "shelf-browsing" iterations. By efficiently supplementing the user's cognitive information needs while still supporting the spontaneity and enjoyment of the book browsing experience, BookVIS bridges the gap between real and online realms, and maximizes the engagement of personalized mobile visual clues.


title: Resource Allocation in Multi-armed Bandit Exploration: Overcoming Sublinear Scaling with Adaptive Parallelism

abstract: We study exploration in stochastic multi-armed bandits when we have access to a divisible resource that can be allocated in varying amounts to arm pulls. We focus in particular on the allocation of distributed computing resources, where we may obtain results faster by allocating more resources per pull, but might have reduced throughput due to nonlinear scaling. For example, in simulation-based scientific studies, an expensive simulation can be sped up by running it on multiple cores. This speed-up however, is partly offset by the communication among cores, which results in lower throughput than if fewer cores were allocated per trial to run more trials in parallel. In this paper, we explore these trade-offs in two settings. First, in a fixed confidence setting, we need to find the best arm with a given target success probability as quickly as possible. We propose an algorithm which trades off between information accumulation and throughput and show that the time taken can be upper bounded by the solution of a dynamic program whose inputs are the gaps between the sub-optimal and optimal arms. We also prove a matching hardness result. Second, we present an algorithm for a fixed deadline setting, where we are given a time deadline and need to maximize the probability of finding the best arm. We corroborate our theoretical insights with simulation experiments that show that the algorithms consistently match or outperform baseline algorithms on a variety of problem instances.


title: Properties of schemes of morphisms and applications to blow-ups

abstract: Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor preserves limits, and both open and closed immersions. As an application, we determine a partition of schemes parametrizing rational curves on the blow-ups of projective spaces at finitely many points. We compute the dimensions of its components containing rational curves outside the exceptional divisor and the ones strictly contained in it. Furthermore, we provide an upper bound for the dimension of the irreducible components intersecting the exceptional divisors properly.


title: Smooth rational curves on rational surfaces

abstract: Consider the scheme parametrizing non-constant morphisms from a fixed projective curve to a projective surface. There is a rational map between this scheme and the Chow variety of $1$-cycles on the surface. We prove that, if the curve is non-singular, then this rational map is a morphism. As a consequence, we obtain that, if the surface is rational and we fix a divisor class containing a non-singular rational curve, then the scheme parametrizing rational curves on this class is irreducible. Further, if the class has non-negative self-intersection, then the scheme of rational curves has expected dimension.


title: Controlled electron transmission by lead chalcogenide barrier potential

abstract: Transmission of electrons across a rectangular barrier of IV-VI semiconductor compounds is considered. Conduction electrons arrive at the barrier and are reflected or transmitted through it depending on the relative values of the barrier potential $V_b$ and the electron energy $E$. The theory, in close analogy to the Dirac four component spinors, accounts for the boundary conditions on both sides of the barrier. The calculated transmission coefficient $T_C$ is an oscillatory function of the barrier voltage varying between zero (for full electron reflection) and unity (for full electron transmission). Character of electron wave functions outside and inside the barrier is studied. There exists a total current conservation, i. e. the sum of transmitted and reflected currents is equal to the incoming current. The transmission $T_C$ is studied for various barrier widths and incoming electron energies. Finally, the transmission coefficient $T_C$ is studied as a function of $V_b$ for decreasing energy gaps $E_g$ of different Pb$_{1-x}$Sn$_x$Se compounds in the range of 150 meV $\geq E_g \geq$ 2 meV. It is indicated that for very small gap values the behaviour of $T_C$ closely resembles that of the chiral electron tunneling by a barrier in monolayer graphene. For $E_g$ =0 (Pb$_{0.81}$Sn$_{0.19}$Se) the coefficient $T_C$ reaches the value of 1 independently of $V_b$.


title: Standard Hausdorff spectrum of compact $\mathbb{F}_p[[t]]$-analytic groups

abstract: We prove that the $\mathbb{F}_p[[t]]$-standard Hausdorff spectrum of a compact $\mathbb{F}_p[[t]]$-analytic group contains a real interval and that it coincides with the full unit interval when the group is soluble. Moreover, we show that the $\mathbb{F}_p[[t]]$-standard Hausdorff spectrum of classical Chevalley groups over $\mathbb{F}_p[[t]]$ is not full, since 1 is an isolated point thereof.


title: Pick a Fight or Bite your Tongue: Investigation of Gender Differences in Idiomatic Language Usage

abstract: A large body of research on gender-linked language has established foundations regarding cross-gender differences in lexical, emotional, and topical preferences, along with their sociological underpinnings. We compile a novel, large and diverse corpus of spontaneous linguistic productions annotated with speakers' gender, and perform a first large-scale empirical study of distinctions in the usage of \textit{figurative language} between male and female authors. Our analyses suggest that (1) idiomatic choices reflect gender-specific lexical and semantic preferences in general language, (2) men's and women's idiomatic usages express higher emotion than their literal language, with detectable, albeit more subtle, differences between male and female authors along the dimension of dominance compared to similar distinctions in their literal utterances, and (3) contextual analysis of idiomatic expressions reveals considerable differences, reflecting subtle divergences in usage environments, shaped by cross-gender communication styles and semantic biases.


title: Face Off: Polarized Public Opinions on Personal Face Mask Usage during the COVID-19 Pandemic

abstract: In spite of a growing body of scientific evidence on the effectiveness of individual face mask usage for reducing transmission rates, individual face mask usage has become a highly polarized topic within the United States. A series of policy shifts by various governmental bodies have been speculated to have contributed to the polarization of face masks. A typical method to investigate the effects of these policy shifts is to use surveys. However, survey-based approaches have multiple limitations: biased responses, limited sample size, badly crafted questions may skew responses and inhibit insight, and responses may prove quickly irrelevant as opinions change in response to a dynamic topic. We propose a novel approach to 1) accurately gauge public sentiment towards face masks in the United States during COVID-19 using a multi-modal demographic inference framework with topic modeling and 2) determine whether face mask policy shifts contributed to polarization towards face masks using offline change point analysis on Twitter data. First, we infer several key demographics of individual Twitter users such as their age, gender, and whether they are a college student using a multi-modal demographic prediction framework and analyze the average sentiment for each respective demographic. Next, we conduct topic analysis using latent Dirichlet allocation (LDA). Finally, we conduct offline change point discovery on our sentiment time series data using the Pruned Exact Linear Time (PELT) search algorithm. Experimental results on a large corpus of Twitter data reveal multiple insights regarding demographic sentiment towards face masks that agree with existing surveys. Furthermore, we find two key policy-shift events contributed to statistically significant changes in sentiment for both Republicans and Democrats.


title: Deep learning in the ultrasound evaluation of neonatal respiratory status

abstract: Lung ultrasound imaging is reaching growing interest from the scientific community. On one side, thanks to its harmlessness and high descriptive power, this kind of diagnostic imaging has been largely adopted in sensitive applications, like the diagnosis and follow-up of preterm newborns in neonatal intensive care units. On the other side, state-of-the-art image analysis and pattern recognition approaches have recently proven their ability to fully exploit the rich information contained in these data, making them attractive for the research community. In this work, we present a thorough analysis of recent deep learning networks and training strategies carried out on a vast and challenging multicenter dataset comprising 87 patients with different diseases and gestational ages. These approaches are employed to assess the lung respiratory status from ultrasound images and are evaluated against a reference marker. The conducted analysis sheds some light on this problem by showing the critical points that can mislead the training procedure and proposes some adaptations to the specific data and task. The achieved results sensibly outperform those obtained by a previous work, which is based on textural features, and narrow the gap with the visual score predicted by the human experts.


title: All centralising monoids with majority witnesses on a four-element set

abstract: We study unary parts of centraliser clones on the set $\{0,1,2,3\}$, so-called centralising monoids. We describe and count all centralising monoids on the set $\{0,1,2,3\}$ having majority operations as witnesses, and we list the inclusion maximal proper submonoids of the full transformation monoid among them. This extends previous work by Goldstern, Machida and Rosenberg.


title: Hyperplane Restrictions of Indecomposable $n$-Dimensional Persistence Modules

abstract: Understanding the structure of indecomposable $n$-dimensional persistence modules is a difficult problem, yet is foundational for studying multipersistence. To this end, Buchet and Escolar showed that any finitely presented rectangular $(n-1)$-dimensional persistence module with finite support is a hyperplane restriction of an $n$-dimensional persistence module. We extend this result to the following: If $M$ is any finitely presented $(n-1)$-dimensional persistence module with finite support, then there exists an indecomposable $n$-dimensional persistence module $M'$ such that $M$ is the restriction of $M'$ to a hyperplane. We also show that any finite zigzag persistence module is the restriction of some indecomposable $3$-dimensional persistence module to a path.


title: On the use of naked-eye sunspot observations during the Maunder Minimum

abstract: Naked-eye sunspot observations (NESO, hereafter) have been recorded for last two millennia, approximately. This kind of records were made around the world, mainly in Asian civilizations, and they are compiled in several catalogues. In this work, we analyze solar activity in days of the 19th century when NESO were recorded. We found that only more than five sunspot groups were recorded in 39 % of days corresponding to these NESO events. Furthermore, regarding the largest groups observed in days when NESO were reported, we show the uncorrected areas of these groups were below 200 millionths of solar disc (msd hereafter) in 3.2 % of total cases while it is 12.9 % for areas between 200 and 499 msd. Thus, NESO records do not imply high solar activity and big sunspot groups necessarily. Therefore, these results contradict the interpretations of recent works that, using the same NESO set, suggest the solar activity level during the Maunder Minimum is still an open question. NESO records support the Maunder Minimum as a very low solar activity period.


title: Unsupervised Deep Persistent Monocular Visual Odometry and Depth Estimation in Extreme Environments

abstract: In recent years, unsupervised deep learning approaches have received significant attention to estimate the depth and visual odometry (VO) from unlabelled monocular image sequences. However, their performance is limited in challenging environments due to perceptual degradation, occlusions and rapid motions. Moreover, the existing unsupervised methods suffer from the lack of scale-consistency constraints across frames, which causes that the VO estimators fail to provide persistent trajectories over long sequences. In this study, we propose an unsupervised monocular deep VO framework that predicts six-degrees-of-freedom pose camera motion and depth map of the scene from unlabelled RGB image sequences. We provide detailed quantitative and qualitative evaluations of the proposed framework on a) a challenging dataset collected during the DARPA Subterranean challenge; and b) the benchmark KITTI and Cityscapes datasets. The proposed approach outperforms both traditional and state-of-the-art unsupervised deep VO methods providing better results for both pose estimation and depth recovery. The presented approach is part of the solution used by the COSTAR team participating at the DARPA Subterranean Challenge.


title: The Negative Reflection Principle and the Joint Distribution of the Telegraph Process and its Maximum

abstract: In this paper we study the joint distributions of the telegraph process and its maximum conditioned on the number of changes of direction and the initial velocity. We prove that in the case of positive starting velocity, a form of the reflection principle holds. We call it the negative reflection principle and we generalize it to the paths of the random motions moving with constant finite velocity. In the last section we obtain the conditional distribution of the first passage time of the telegraph process by using the known results on the maximum of the motion. Finally, we derive the distribution of the first returning time to the origin.


title: Atoms and coatoms in three-generated lattices

abstract: In addition to the unique cover $M^+$ of the variety of modular lattices, we also deal with those twenty-three known covers of $M^+$ that can be extracted from the literature. For $M^+$ and for each of these twenty-three known varieties covering it, we determine what the pair formed by the number of atoms and that of coatoms of a three-generated lattice belonging to the variety in question can be. Furthermore, for each variety $W$ of lattices that is obtained by forming the join of some of the twenty-three varieties mentioned above, that is, for $2^{23}$ possible choices of $W$, we determine how many atoms a three-generated lattice belonging to $W$ can have. The greatest number of atoms occurring in this way is only six. In order to point out that this need not be so for larger varieties, we construct a $47\,092$-element three-generated lattice that has exactly eighteen atoms. In addition to purely lattice theoretical proofs, which constitute the majority of the paper, some computer-assisted arguments are also presented.


title: A Distribution-Dependent Analysis of Meta-Learning

abstract: A key problem in the theory of meta-learning is to understand how the task distributions influence transfer risk, the expected error of a meta-learner on a new task drawn from the unknown task distribution. In this paper, focusing on fixed design linear regression with Gaussian noise and a Gaussian task (or parameter) distribution, we give distribution-dependent lower bounds on the transfer risk of any algorithm, while we also show that a novel, weighted version of the so-called biased regularized regression method is able to match these lower bounds up to a fixed constant factor. Notably, the weighting is derived from the covariance of the Gaussian task distribution. Altogether, our results provide a precise characterization of the difficulty of meta-learning in this Gaussian setting. While this problem setting may appear simple, we show that it is rich enough to unify the "parameter sharing" and "representation learning" streams of meta-learning; in particular, representation learning is obtained as the special case when the covariance matrix of the task distribution is unknown. For this case we propose to adopt the EM method, which is shown to enjoy efficient updates in our case. The paper is completed by an empirical study of EM. In particular, our experimental results show that the EM algorithm can attain the lower bound as the number of tasks grows, while the algorithm is also successful in competing with its alternatives when used in a representation learning context.


title: Aspectuality Across Genre: A Distributional Semantics Approach

abstract: The interpretation of the lexical aspect of verbs in English plays a crucial role for recognizing textual entailment and learning discourse-level inferences. We show that two elementary dimensions of aspectual class, states vs. events, and telic vs. atelic events, can be modelled effectively with distributional semantics. We find that a verb's local context is most indicative of its aspectual class, and demonstrate that closed class words tend to be stronger discriminating contexts than content words. Our approach outperforms previous work on three datasets. Lastly, we contribute a dataset of human--human conversations annotated with lexical aspect and present experiments that show the correlation of telicity with genre and discourse goals.


title: Efficient Arabic emotion recognition using deep neural networks

abstract: Emotion recognition from speech signal based on deep learning is an active research area. Convolutional neural networks (CNNs) may be the dominant method in this area. In this paper, we implement two neural architectures to address this problem. The first architecture is an attention-based CNN-LSTM-DNN model. In this novel architecture, the convolutional layers extract salient features and the bi-directional long short-term memory (BLSTM) layers handle the sequential phenomena of the speech signal. This is followed by an attention layer, which extracts a summary vector that is fed to the fully connected dense layer (DNN), which finally connects to a softmax output layer. The second architecture is based on a deep CNN model. The results on an Arabic speech emotion recognition task show that our innovative approach can lead to significant improvements (2.2% absolute improvements) over a strong deep CNN baseline system. On the other hand, the deep CNN models are significantly faster than the attention based CNN-LSTM-DNN models in training and classification.


title: A proto-pseudobulge in ESO 320-G030 fed by a massive molecular inflow driven by a nuclear bar

abstract: Galaxies with nuclear bars are believed to efficiently drive gas inward, generating a nuclear starburst and possibly an active galactic nucleus (AGN). We confirm this scenario for the isolated, double-barred, luminous infrared galaxy ESO 320-G030 based on an analysis of Herschel and ALMA spectroscopic observations. Herschel/PACS and SPIRE observations of ESO 320-G030 show absorption/emission in 18 lines of H2O, which we combine with the ALMA H2O 423-330 448 GHz line (Eupper~400 K) and continuum images to study the nuclear region. Radiative transfer models indicate that 3 nuclear components are required to account for the H2O and continuum data. An envelope, with R~130-150 pc, T_dust~50 K, and N_H2~2x10^{23} cm^{-2}, surrounds a nuclear disk with R~40 pc and tau_100um~1.5-3 (N_H2~2x10^{24} cm^{-2}) and an extremely compact (R~12 pc), warm (~100 K), and buried (tau_100um>5, N_H2>~5x10^{24} cm^{-2}) core component. The three nuclear components account for 70% of the galaxy L_IR (SFR~16-18 Msun yr^{-1}). The nucleus is fed by a molecular inflow observed in CO 2-1 with ALMA, which is associated with the nuclear bar. With decreasing radius (r=450-225 pc), the mass inflow rate increases up to ~20 Msun yr^{-1}, which is similar to the nuclear SFR, indicating that the starburst is sustained by the inflow. At lower r, the inflow is best probed by the far-infrared OH ground-state doublets, with an estimated inflow rate of ~30 Msun yr^{-1}. The short timescale of ~20 Myr for nuclear gas replenishment indicates quick secular evolution, and indicates that we are witnessing an intermediate stage (<100 Myr) proto-pseudobulge fed by a massive inflow that is driven by a strong nuclear bar. We also apply the H2O model to the Herschel far-infrared spectroscopic observations of H2^{18}O, OH, $^{18}OH, OH+, H2O^+, H3O^+, NH, NH2, NH3, CH, CH^+, ^{13}CH^+, HF, SH, and C3, and estimate their abundances.


title: Towards atomic-resolution quantum measurements with coherently-shaped free electrons

abstract: Free electrons provide a powerful tool to probe material properties at atomic-scale spatial resolution. Recent advances in ultrafast electron microscopy enable the manipulation of free electron wavefunctions using laser pulses. It would be of great importance if one could combine the spatial resolution of electron probes with the ability of laser pulses to probe coherent phenomena in quantum systems. To this end, we propose a novel technique that leverages free electrons that are coherently-shaped by laser pulses to measure quantum coherence in materials. Developing a quantum theory of electron-qubit interactions in materials, we show how the energy spectrum of laser-shaped electrons enables measuring the qubit Block-sphere state and decoherence time (T2). Finally, we present how such shaped electrons can detect and quantify superradiance from multiple qubits. Our scheme could be implemented in an ultrafast transmission electron microscope (UTEM), opening the way towards the full characterization of the state of quantum systems at atomic-scale resolution.


title: Wonderful compactifications of Bruhat-Tits buildings in the non-split case

abstract: Given an adjoint semisimple group $G$ over a local field $k$, we prove that the maximal Satake-Berkovich compactification of the Bruhat-Tits building of $G$ can be identified with the one obtained by embedding the building into the Berkovich analytification of the wonderful compactification of $G$, extending previous results of R\'emy, Thuillier and Werner. In the process, we use the characterisation of the wonderful compactification in terms of Hilbert schemes given by Brion to extend the definition of the wonderful compactification to the case of a non-necessarily split adjoint semisimple group over an arbitrary field and investigate some of its properties pertaining to rational points on the boundary. Lastly, given a finite possibly ramified Galois extension $k'/k$, we take a look at the action of the Galois group on the maximal compactification of the building of $G$ over $k'$ and check that the Galois-fixed points are precisely the limits of sequences of fixed points in the building over $k'$, though they may not lie in the Satake-Berkovich compactification of $G$ over $k$.


title: Dynamical Gibbs-non-Gibbs transitions in the Curie-Weiss Potts model in the regime beta<3

abstract: We consider the Curie-Weiss Potts model in zero external field under independent symmetric spin-flip dynamics. We investigate dynamical Gibbs-non-Gibbs transitions for a range of initial inverse temperatures beta<3, which covers the phase transition point beta=4 log 2 [8]. We show that finitely many types of trajectories of bad empirical measures appear, depending on the parameter beta, with a possibility of re-entrance into the Gibbsian regime, of which we provide a full description.


title: Large Rashba unidirectional magnetoresistance in the Fe/Ge(111) interface states

abstract: The structure inversion asymmetry at surfaces and interfaces give rise to the Rashba spin-orbit interaction (SOI), that breaks the spin degeneracy of surface or interface states. Hence, when an electric current runs through a surface or interface, this Rashba effect generates an effective magnetic field acting on the electron spin. This provides an additional tool to manipulate the spin state in materials such as Si and Ge that, in their bulk form, possess inversion symmetry (or lack structural inersion asymmetry). The existence of Rashba states could be demonstrated by photoemission spectroscopy at the interface between different metals and Ge(111) and by spin-charge conversion experiments at the Fe/Ge(111) interface even though made of two light elements. In this work, we identify the fingerprint of the Rashba states at the Fe/Ge(111) interface by magnetotransport measurements in the form of a large unidirectional magnetoresistance of up to 0.1 \%. From its temperature dependence, we find that the Rashba energy splitting is larger than in pure Ge(111) subsurface states.


title: Graphs containing finite induced paths of unbounded length

abstract: The age $\mathcal{A}(G)$ of a graph $G$ (undirected and without loops) is the collection of finite induced subgraphs of $G$, considered up to isomorphy and ordered by embeddability. It is well-quasi-ordered (wqo) for this order if it contains no infinite antichain. A graph is \emph{path-minimal} if it contains finite induced paths of unbounded length and every induced subgraph $G'$ with this property embeds $G$. We construct $2^{\aleph_0}$ path-minimal graphs whose ages are pairwise incomparable with set inclusion and which are wqo. Our construction is based on uniformly recurrent sequences and lexicographical sums of labelled graphs.


title: PM2.5 and all-cause mortality

abstract: The US EPA and the WHO claim that PM2.5 is causal of all-cause deaths. Both support and fund research on air quality and health effects. WHO funded a massive systematic review and meta-analyses of air quality and health-effect papers. 1,632 literature papers were reviewed and 196 were selected for meta-analyses. The standard air components, particulate matter, PM10 and PM2.5, nitrogen dioxide, NO2, and ozone, were selected as causes and all-cause and cause-specific mortalities were selected as outcomes. A claim was made for PM2.5 and all-cause deaths, risk ratio of 1.0065, with confidence limits of 1.0044 to 1.0086. There is a need to evaluate the reliability of this causal claim. Based on a p-value plot and discussion of several forms of bias, we conclude that the association is not causal.


title: Optimal 2-uniform convexity of Schatten classes revisited

abstract: The optimal 2-uniform convexity of Schatten classes $S_p, 1<p\le 2$ was first proved by Ball, Carlen and Lieb \cite{BCL94}. In this note we revisit this result using multiple operator integrals and generalized monotone metrics in quantum information theory.


title: Linear Classifiers that Encourage Constructive Adaptation

abstract: Machine learning systems are often used in settings where individuals adapt their features to obtain a desired outcome. In such settings, strategic behavior leads to a sharp loss in model performance in deployment. In this work, we aim to address this problem by learning classifiers that encourage decision subjects to change their features in a way that leads to improvement in both predicted \emph{and} true outcome. We frame the dynamics of prediction and adaptation as a two-stage game, and characterize optimal strategies for the model designer and its decision subjects. In benchmarks on simulated and real-world datasets, we find that classifiers trained using our method maintain the accuracy of existing approaches while inducing higher levels of improvement and less manipulation.


title: Lagrangian formulation, a general relativity analogue, and a symmetry of the Vialov equation of glaciology

abstract: Using a suitable rescaling of the independent variable, a Lagrangian is found for the nonlinear Vialov equation ruling the longitudinal profiles of glaciers and ice caps in the shallow ice approximation. This leads to a formal analogy between the (rescaled) Vialov equation and the Friedmann equation of relativistic cosmology, which is explored. This context provides a new symmetry of the (rescaled) Vialov equation and gives, at least formally, all its solutions using a generating function, which is the Nye profile for the degenerate case of perfectly plastic ice.


title: Affine representability and decision procedures for commutativity theorems for rings and algebras

abstract: We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial identities, there is an algorithm that terminates after a finite number of steps which decides whether these identities force a ring to be commutative. We then revisit old commutativity theorems of Jacobson and Herstein in light of this algorithm and obtain general results in this vein. In addition, we completely characterize the homogeneous multilinear identities that imply the commutativity of a ring.


title: Variational aspects of phase transitions with prescribed mean curvature

abstract: We study the spectrum of phase transitions with prescribed mean curvature in Riemannian manifolds. These phase transitions are solutions to an inhomogeneous semilinear elliptic PDE that give rise to diffuse objects (varifolds) that limit to hypersurfaces, possibly with singularities, whose mean curvature is determined by the "prescribed mean curvature" function and the limiting multiplicity. We establish upper bounds for the eigenvalues of the diffuse problem, as well as the more subtle lower bounds when the diffuse problem converges with multiplicity one. For the latter, we also establish asymptotics that are sharp to order $o(\varepsilon^2)$ and $C^{2,\alpha}$ estimates on multiplicity-one phase transition layers.


title: TartanVO: A Generalizable Learning-based VO

abstract: We present the first learning-based visual odometry (VO) model, which generalizes to multiple datasets and real-world scenarios and outperforms geometry-based methods in challenging scenes. We achieve this by leveraging the SLAM dataset TartanAir, which provides a large amount of diverse synthetic data in challenging environments. Furthermore, to make our VO model generalize across datasets, we propose an up-to-scale loss function and incorporate the camera intrinsic parameters into the model. Experiments show that a single model, TartanVO, trained only on synthetic data, without any finetuning, can be generalized to real-world datasets such as KITTI and EuRoC, demonstrating significant advantages over the geometry-based methods on challenging trajectories. Our code is available at https://github.com/castacks/tartanvo.


title: On the Use of Auxiliary Variables in Multilevel Regression and Poststratification

abstract: Multilevel regression and poststratification (MRP) is a popular method for addressing selection bias in subgroup estimation, with broad applications across fields from social sciences to public health. In this paper, we examine the inferential validity of MRP in finite populations, exploring the impact of poststratification and model specification. The success of MRP relies heavily on the availability of auxiliary information that is strongly related to the outcome. To enhance the fitting performance of the outcome model, we recommend modeling the inclusion probabilities conditionally on auxiliary variables and incorporating flexible functions of estimated inclusion probabilities as predictors in the mean structure. We present a statistical data integration framework that offers robust inferences for probability and nonprobability surveys, addressing various challenges in practical applications. Our simulation studies indicate the statistical validity of MRP, which involves a tradeoff between bias and variance, with greater benefits for subgroup estimates with small sample sizes, compared to alternative methods. We have applied our methods to the Adolescent Brain Cognitive Development (ABCD) Study, which collected information on children across 21 geographic locations in the U.S. to provide national representation, but is subject to selection bias as a nonprobability sample. We focus on the cognition measure of diverse groups of children in the ABCD study and show that the use of auxiliary variables affects the findings on cognitive performance.


title: Number of near-Earth objects and formation of lunar craters over the last billion years

abstract: We compare the number of lunar craters larger than 15 km across and younger than 1.1 Ga to the estimates of the number of craters that could have been formed for 1.1 Ga if the number of near-Earth objects and their orbital elements during that time were close to the corresponding current values. The comparison was performed for craters over the entire lunar surface and in the region of the Oceanus Procellarum and maria on the near side of the Moon. In these estimates, we used the values of collision probabilities of near-Earth objects with the Moon and the dependences of the crater diameters on the impactor sizes. According to the estimates made by different authors, the number density of known Copernican craters with diameters D>15 km in mare regions is at least double the corresponding number for the remaining lunar surface. Our estimates do not contradict the growth in the number of near-Earth objects after probable catastrophic fragmentations of large main-belt asteroids, which may have occurred over the recent 300 Ma; however, they do not prove this increase. Particularly, they do not conflict with the inference made by Mazrouei et al. (2019) that 290 Ma ago the frequency of collisions of near-Earth asteroids with the Moon increased by 2.6 times. For a probability of a collision of an Earth-crossing object (ECO) with the Earth in a year equaled to 10^-8, our estimates of the number of craters agree with the model, according to which the number densities of the 15-km Copernican craters for the whole lunar surface would have been the same as that for mare regions if the data by Losiak et al. (2015) for D<30 km were as complete as those for D>30 km. With this collision probability of ECOs with the Earth and for this model, the cratering rate may have been constant over the recent 1.1 Ga.


title: A Survey on Contrastive Self-supervised Learning

abstract: Self-supervised learning has gained popularity because of its ability to avoid the cost of annotating large-scale datasets. It is capable of adopting self-defined pseudo labels as supervision and use the learned representations for several downstream tasks. Specifically, contrastive learning has recently become a dominant component in self-supervised learning methods for computer vision, natural language processing (NLP), and other domains. It aims at embedding augmented versions of the same sample close to each other while trying to push away embeddings from different samples. This paper provides an extensive review of self-supervised methods that follow the contrastive approach. The work explains commonly used pretext tasks in a contrastive learning setup, followed by different architectures that have been proposed so far. Next, we have a performance comparison of different methods for multiple downstream tasks such as image classification, object detection, and action recognition. Finally, we conclude with the limitations of the current methods and the need for further techniques and future directions to make substantial progress.


title: Increasing Transmission Distance in THz systems with Erasure Coding and Auxiliary Channels

abstract: We analyze whether the THz transmission distance can be extended with systematic linear network coding (sRLNC) and a low-bitrate additional channel. While various coding techniques have been proposed to mitigate issues of channel quality, and other techniques have used auxiliary channels to enable an effective THz transmission system configuration, their combination is new, and carries potential for significant improvements in transmission quality. Our specific solution is designed to complementing a generic low complexity FEC code by a low complexity erasure code (sRLNC), whereby channel coding is proposed to simultaneously send the native and coded data over two parallel channels, including one main THz channel and one auxiliary channel with comparably lower bitrate. We show theoretically that the proposed system can improve throughput, support higher modulation levels and transfer data over the longer distances with THz communications.


title: Efficient Methods for Structured Nonconvex-Nonconcave Min-Max Optimization

abstract: The use of min-max optimization in adversarial training of deep neural network classifiers and training of generative adversarial networks has motivated the study of nonconvex-nonconcave optimization objectives, which frequently arise in these applications. Unfortunately, recent results have established that even approximate first-order stationary points of such objectives are intractable, even under smoothness conditions, motivating the study of min-max objectives with additional structure. We introduce a new class of structured nonconvex-nonconcave min-max optimization problems, proposing a generalization of the extragradient algorithm which provably converges to a stationary point. The algorithm applies not only to Euclidean spaces, but also to general $\ell_p$-normed finite-dimensional real vector spaces. We also discuss its stability under stochastic oracles and provide bounds on its sample complexity. Our iteration complexity and sample complexity bounds either match or improve the best known bounds for the same or less general nonconvex-nonconcave settings, such as those that satisfy variational coherence or in which a weak solution to the associated variational inequality problem is assumed to exist.


title: Analysis of the reliability of LoRa

abstract: This letter studies the performance of a single gateway LoRa system in the presence of different interference considering the imperfect orthogonality effect. It utilizes concepts of stochastic geometry to present a low-complexity approximate closed-form model for computing the success and coverage probabilities under these challenging conditions. Monte Carlo simulation results have shown that LoRa is not as theoretically described as a technology that can cover few to ten kilometers. It was found that in the presence of the combination of signal-to-noise ratio (SNR) and imperfect orthogonality between spreading factors (SF), the performance degrades dramatically beyond a couple of kilometers. However, better performance is observed when perfect orthogonality is considered and SNR is not included. Furthermore, the performance is annulus dependent and slightly improves at the border of the deployment cell annuli. Finally, the coverage probability declines exponentially as the average number of end devices grows.


title: Presence of Women in Economics Academia: Evidence from India

abstract: This paper documents the representation of women in Economics academia in India by analyzing the share of women in faculty positions, and their participation in a prestigious conference held annually. Data from the elite institutions shows that the presence of women as the Economics faculty members remains low. Of the authors of the papers which were in the final schedule of the prestigious research conference, the proportion of women authors is again found to be disproportionately low. Our findings from further analysis indicate that women are not under-represented at the post-graduate level. Further, the proportion of women in doctoral programmes has increased over time, and is now almost proportionate. Tendency of women who earn a doctorate abroad, to not return to India, time needed to complete a doctoral program, and responsibilities towards the family may explain lower presence of women in Economics academia in India.


title: Discontinuous Galerkin method with Voronoi partitioning for Quantum Simulation of Chemistry

abstract: Molecular orbitals based on the linear combination of Gaussian type orbitals are arguably the most employed discretization in quantum chemistry simulations, both on quantum and classical devices. To circumvent a potentially dense two-body interaction tensor and obtain lower asymptotic costs for quantum simulations of chemistry, the discontinuous Galerkin (DG) procedure using a rectangular partitioning strategy was recently piloted [McClean et al, New J. Phys. 22, 093015, 2020]. The DG approach interpolates in a controllable way between a compact description of the two-body interaction tensor through molecular orbitals and a diagonal characterization through primitive basis sets, such as a planewave dual basis set. The DG procedure gives rise to a block-diagonal representation of the two-body interaction with reduced number of two-electron repulsion integrals, which in turn reduces the cost of quantum simulations. In the present work we extend this approach to be applicable to molecular and crystalline systems of arbitrary geometry. We take advantage of the flexibility of the planewave dual basis set, and combine the discontinuous Galerkin procedure with a general partitioning strategy based on the Voronoi decomposition. We numerically investigate the performance, at the mean-field and correlated levels, with quasi-1D, 2D and 3D partitions using hydrogen chains, H$_4$, CH$_4$ as examples, respectively. We also apply the method to graphene as a prototypical example of crystalline systems.


title: DL-Reg: A Deep Learning Regularization Technique using Linear Regression

abstract: Regularization plays a vital role in the context of deep learning by preventing deep neural networks from the danger of overfitting. This paper proposes a novel deep learning regularization method named as DL-Reg, which carefully reduces the nonlinearity of deep networks to a certain extent by explicitly enforcing the network to behave as much linear as possible. The key idea is to add a linear constraint to the objective function of the deep neural networks, which is simply the error of a linear mapping from the inputs to the outputs of the model. More precisely, the proposed DL-Reg carefully forces the network to behave in a linear manner. This linear constraint, which is further adjusted by a regularization factor, prevents the network from the risk of overfitting. The performance of DL-Reg is evaluated by training state-of-the-art deep network models on several benchmark datasets. The experimental results show that the proposed regularization method: 1) gives major improvements over the existing regularization techniques, and 2) significantly improves the performance of deep neural networks, especially in the case of small-sized training datasets.


title: The Dissipative Approach to Quantum Field Theory: Conceptual Foundations and Ontological Implications

abstract: Many attempts have been made to provide Quantum Field Theory with conceptually clear and mathematically rigorous foundations; remarkable examples are the Bohmian and the algebraic perspectives respectively. In this essay we introduce the dissipative approach to QFT, a new alternative formulation of the theory explaining the phenomena of particle creation and annihilation starting from nonequilibrium thermodynamics. It is shown that DQFT presents a rigorous mathematical structure, and a clear particle ontology, taking the best from the mentioned perspectives. Finally, after the discussion of its principal implications and consequences, we compare it with the main Bohmian QFTs implementing a particle ontology.


title: Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

abstract: We propose a new specification language and control synthesis technique for single and multi-robot high-level tasks; these tasks include timing constraints and reaction to environmental events. Specifically, we define Event-based Signal Temporal Logic (STL) and use it to encode tasks that are reactive to uncontrolled environment events. Our control synthesis approach to Event-based STL tasks combines automata and control barrier functions to produce robot behaviors that satisfy the specification when possible. Our method automatically provides feedback to the user if an Event-based STL task can not be achieved. We demonstrate the effectiveness of the framework through simulations and physical demonstrations of multi-robot tasks.


title: On the Limit of Superposition States

abstract: In this paper, we study the structure of a family of superposition states on tensor algebras. The correlation functions of the considered states are described through a new kind of positive definite kernels valued in the dual of C$^\ast$-algebras, so-called Schur kernels. Mainly, we show the existence of the limiting state of a net of superposition states over an arbitrary locally finite graph. Furthermore, we show that this limiting state enjoys a mixing property and an $\alpha$-mixing property in the case of the multi-dimensional integer lattice $\mathbb{Z}^\nu$.


title: Pose Estimation of Specular and Symmetrical Objects

abstract: In the robotic industry, specular and textureless metallic components are ubiquitous. The 6D pose estimation of such objects with only a monocular RGB camera is difficult because of the absence of rich texture features. Furthermore, the appearance of specularity heavily depends on the camera viewpoint and environmental light conditions making traditional methods, like template matching, fail. In the last 30 years, pose estimation of the specular object has been a consistent challenge, and most related works require massive knowledge modeling effort for light setups, environment, or the object surface. On the other hand, recent works exhibit the feasibility of 6D pose estimation on a monocular camera with convolutional neural networks(CNNs) however they mostly use opaque objects for evaluation. This paper provides a data-driven solution to estimate the 6D pose of specular objects for grasping them, proposes a cost function for handling symmetry, and demonstrates experimental results showing the system's feasibility.


title: Causal Inference for Spatial Treatments

abstract: Many events and policies (treatments) occur at specific spatial locations, with researchers interested in their effects on nearby units of interest. I approach the spatial treatment setting from an experimental perspective: What ideal experiment would we design to estimate the causal effects of spatial treatments? This perspective motivates a comparison between individuals near realized treatment locations and individuals near counterfactual (unrealized) candidate locations, which differs from current empirical practice. I derive design-based standard errors that are straightforward to compute irrespective of spatial correlations in outcomes. Furthermore, I propose machine learning methods to find counterfactual candidate locations using observational data under unconfounded assignment of the treatment to locations. I apply the proposed methods to study the causal effects of grocery stores on foot traffic to nearby businesses during COVID-19 shelter-in-place policies, finding a substantial positive effect at a very short distance, with no effect at larger distances.


title: A Berry-Esseen Bound for Vector-valued Martingales

abstract: This note provides a conditional Berry-Esseen bound for the sum of a martingale difference sequence $\{X_i\}_{i=1}^n$ in $\mathbb{R}^d$, $d\ge 1$, adapted to a filtration $\{\mathcal{F}_i\}_{i=1}^n$. We approximate the conditional distribution of $S=\sum_{i=1}^n X_i$ given some $\sigma$-field $\mathcal{F}_0\subset \mathcal{F}_1$ by that of a mean-zero normal random vector having the same conditional variance given $\mathcal{F}_0 $ as the vector $S$. Assuming that the conditional variances $\mathsf{E}[X_iX_i^{\top}\mid\mathcal{F}_{i-1}]$, $i\ge 1$, are $\mathcal{F}_0$-measurable and non-singular, and the third conditional moments of $\|X_i\|$, $ i\ge 1 $, given $\mathcal{F}_0$ are uniformly bounded, we present a simple bound on the conditional Kolmogorov distance between $S$ and its approximation given $\mathcal{F}_0$ which is of order $O_{a.s.}([\ln(ed)]^{5/4}n^{-1/4})$.


title: Spectral measurement of the breakdown limit of $\beta-Ga_{2}O_{3}$ and tunnel ionization of self-trapped excitons and holes

abstract: $\beta-Ga_{2}O_{3}$ is an unusual semiconductor where large electric fields (~1-6 MV/cm) can be applied while still maintaining a dominant excitonic absorption peak below its ultra-wide bandgap. This provides a rare opportunity in the solid-state to examine exciton and carrier self-trapping dynamics in the strong-field limit at steady-state. Under sub-bandgap photon excitation, we observe a field-induced red-shift of the spectral photocurrent peak associated with exciton absorption and threshold-like increase in peak amplitude at high-field associated with self-trapped hole ionization. The field-dependent spectral response is quantitatively fit with an eXciton-modified Franz-Keldysh (XFK) effect model, which includes the electric-field dependent exciton binding energy due to the quadratic Stark effect. A saturation of the spectral red-shift with reverse bias is observed exactly at the onset of dielectric breakdown providing a spectral means to detect and quantify the local electric field and dielectric breakdown behavior. Additionally, the field-dependent responsivity provides insight to the photocurrent production pathway revealing the photocurrent contributions of self-trapped excitons (STXs) and self-trapped holes (STHs). Photocurrent and p-type transport in $\beta-Ga_{2}O_{3}$ are quantitatively explained by field-dependent tunnel ionization of excitons and self-trapped holes. We employ a quantum mechanical model of the field-dependent tunnel ionization of STX and STH to model the non-linear field-dependence of the photocurrent amplitude. Fitting to the data, we estimate an effective mass of valence band holes $(18.8 m_{0})$ and an ultrafast self-trapping time of holes (0.045 fs). This indicates that minority-hole transport in $\beta-Ga_{2}O_{3}$ can only arise through tunnel ionization of STH under strong fields.


title: Segmentation of Infrared Breast Images Using MultiResUnet Neural Network

abstract: Breast cancer is the second leading cause of death for women in the U.S. Early detection of breast cancer is key to higher survival rates of breast cancer patients. We are investigating infrared (IR) thermography as a noninvasive adjunct to mammography for breast cancer screening. IR imaging is radiation-free, pain-free, and non-contact. Automatic segmentation of the breast area from the acquired full-size breast IR images will help limit the area for tumor search, as well as reduce the time and effort costs of manual segmentation. Autoencoder-like convolutional and deconvolutional neural networks (C-DCNN) had been applied to automatically segment the breast area in IR images in previous studies. In this study, we applied a state-of-the-art deep-learning segmentation model, MultiResUnet, which consists of an encoder part to capture features and a decoder part for precise localization. It was used to segment the breast area by using a set of breast IR images, collected in our pilot study by imaging breast cancer patients and normal volunteers with a thermal infrared camera (N2 Imager). The database we used has 450 images, acquired from 14 patients and 16 volunteers. We used a thresholding method to remove interference in the raw images and remapped them from the original 16-bit to 8-bit, and then cropped and segmented the 8-bit images manually. Experiments using leave-one-out cross-validation (LOOCV) and comparison with the ground-truth images by using Tanimoto similarity show that the average accuracy of MultiResUnet is 91.47%, which is about 2% higher than that of the autoencoder. MultiResUnet offers a better approach to segment breast IR images than our previous model.


title: Leveraging Natural Language Processing to Mine Issues on Twitter During the COVID-19 Pandemic

abstract: The recent global outbreak of the coronavirus disease (COVID-19) has spread to all corners of the globe. The international travel ban, panic buying, and the need for self-quarantine are among the many other social challenges brought about in this new era. Twitter platforms have been used in various public health studies to identify public opinion about an event at the local and global scale. To understand the public concerns and responses to the pandemic, a system that can leverage machine learning techniques to filter out irrelevant tweets and identify the important topics of discussion on social media platforms like Twitter is needed. In this study, we constructed a system to identify the relevant tweets related to the COVID-19 pandemic throughout January 1st, 2020 to April 30th, 2020, and explored topic modeling to identify the most discussed topics and themes during this period in our data set. Additionally, we analyzed the temporal changes in the topics with respect to the events that occurred during this pandemic. We found out that eight topics were sufficient to identify the themes in our corpus. These topics depicted a temporal trend. The dominant topics vary over time and align with the events related to the COVID-19 pandemic.


title: The approximately universal shapes of epidemic curves in the Susceptible-Exposed-Infectious-Recovered (SEIR) model

abstract: Compartmental transmission models have become an invaluable tool to study the dynamics of infectious diseases. The Susceptible-Infectious-Recovered (SIR) model is known to have an exact semi-analytical solution. In the current study, the approach of Harko et al. (2014) is generalised to obtain an approximate semi-analytical solution of the Susceptible-Exposed-Infectious-Recovered (SEIR) model. The SEIR model curves have nearly the same shapes as the SIR ones, but with a stretch factor applied to them across time that is related to the ratio of the incubation to infectious periods. This finding implies an approximate characteristic timescale, scaled by this stretch factor, that is universal to all SEIR models, which only depends on the basic reproduction number and initial fraction of the population that is infectious.


title: Fair Classification with Group-Dependent Label Noise

abstract: This work examines how to train fair classifiers in settings where training labels are corrupted with random noise, and where the error rates of corruption depend both on the label class and on the membership function for a protected subgroup. Heterogeneous label noise models systematic biases towards particular groups when generating annotations. We begin by presenting analytical results which show that naively imposing parity constraints on demographic disparity measures, without accounting for heterogeneous and group-dependent error rates, can decrease both the accuracy and the fairness of the resulting classifier. Our experiments demonstrate these issues arise in practice as well. We address these problems by performing empirical risk minimization with carefully defined surrogate loss functions and surrogate constraints that help avoid the pitfalls introduced by heterogeneous label noise. We provide both theoretical and empirical justifications for the efficacy of our methods. We view our results as an important example of how imposing fairness on biased data sets without proper care can do at least as much harm as it does good.


title: Real-Time Text Detection and Recognition

abstract: Inrecentyears,ConvolutionalNeuralNet-work(CNN) is quite a popular topic, as it is a powerful andintelligent technique that can be applied in various fields.The YOLO is a technique that uses the algorithms for real-time text detection tasks. However, issues like, photometricdistortion and geometric distortion, could affect the systemYOLO accuracy and cause system failure. Therefore, thereare improvements that can make the system work better. Inthis paper, we are going to present our solution - a potentialsolution of a fast and accurate real-time text direction andrecognition system. The paper covers the topic of Real-TimeText detection and recognition in three major areas: 1. videoand image preprocess, 2. Text detection, 3. Text recognition. Asa mature technique, there are many existing methods that canpotentially improve the solution. We will go through some ofthose existing methods in the literature review session. In thisway, we are presenting an industrial strength, high-accuracy,Real-Time Text Detection and recognition tool.


title: Sign insertion and Kazhdan-Lusztig cells of affine symmetric groups

abstract: Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquely and is determined uniquely by the left cell. In this paper we unite these two approaches by proving Blasiak's conjecture. In the process, we show that certain new operations we introduce called partial rotations connect the elements in the intersection of a left cell and a right cell. Lastly, we investigate the connection between Blasiak's sign insertion and the standardization map acting on the set of semi-standard Young tableaux defined by Lascoux and Sch\"utzenberger.


title: A Policy Gradient Algorithm for Learning to Learn in Multiagent Reinforcement Learning

abstract: A fundamental challenge in multiagent reinforcement learning is to learn beneficial behaviors in a shared environment with other simultaneously learning agents. In particular, each agent perceives the environment as effectively non-stationary due to the changing policies of other agents. Moreover, each agent is itself constantly learning, leading to natural non-stationarity in the distribution of experiences encountered. In this paper, we propose a novel meta-multiagent policy gradient theorem that directly accounts for the non-stationary policy dynamics inherent to multiagent learning settings. This is achieved by modeling our gradient updates to consider both an agent's own non-stationary policy dynamics and the non-stationary policy dynamics of other agents in the environment. We show that our theoretically grounded approach provides a general solution to the multiagent learning problem, which inherently comprises all key aspects of previous state of the art approaches on this topic. We test our method on a diverse suite of multiagent benchmarks and demonstrate a more efficient ability to adapt to new agents as they learn than baseline methods across the full spectrum of mixed incentive, competitive, and cooperative domains.


title: Machine Learning Forecasting of Active Nematics

abstract: Active nematics are a class of far-from-equilibrium materials characterized by local orientational order of force-generating, anisotropic constitutes. Traditional methods for predicting the dynamics of active nematics rely on hydrodynamic models, which accurately describe idealized flows and many of the steady-state properties, but do not capture certain detailed dynamics of experimental active nematics. We have developed a deep learning approach that uses a Convolutional Long-Short-Term-Memory (ConvLSTM) algorithm to automatically learn and forecast the dynamics of active nematics. We demonstrate our purely data-driven approach on experiments of 2D unconfined active nematics of extensile microtubule bundles, as well as on data from numerical simulations of active nematics.


title: Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

abstract: Predictive monitoring -- making predictions about future states and monitoring if the predicted states satisfy requirements -- offers a promising paradigm in supporting the decision making of Cyber-Physical Systems (CPS). Existing works of predictive monitoring mostly focus on monitoring individual predictions rather than sequential predictions. We develop a novel approach for monitoring sequential predictions generated from Bayesian Recurrent Neural Networks (RNNs) that can capture the inherent uncertainty in CPS, drawing on insights from our study of real-world CPS datasets. We propose a new logic named \emph{Signal Temporal Logic with Uncertainty} (STL-U) to monitor a flowpipe containing an infinite set of uncertain sequences predicted by Bayesian RNNs. We define STL-U strong and weak satisfaction semantics based on if all or some sequences contained in a flowpipe satisfy the requirement. We also develop methods to compute the range of confidence levels under which a flowpipe is guaranteed to strongly (weakly) satisfy an STL-U formula. Furthermore, we develop novel criteria that leverage STL-U monitoring results to calibrate the uncertainty estimation in Bayesian RNNs. Finally, we evaluate the proposed approach via experiments with real-world datasets and a simulated smart city case study, which show very encouraging results of STL-U based predictive monitoring approach outperforming baselines.


title: Long-Range Magnetic Exchange Pathways in Complex Clusters from First-Principles

abstract: This work builds a bridge between density functional theory (DFT) and model interpretations of Anderson's superexchange theory by constructing a $f$-$d$-$p$ model with DFT Wannier functions to enable a direct quantum many-body solution within an embedding approach. When applied to long-range magnetic interactions in a Mn-Ce magnetic molecule, we are able to obtain numerical insights about double exchange and superexchange interactions. Direct metal-metal charge transfer processes are generally weak in this molecule, which leads to small contributions from double exchange interactions. For long-range interactions, Mn-Ce charge transfer is not significant compared to Ce-O charge transfer. The unusual superexchange between Mn atoms with different valence states is identified as the dominant mechanism. This procedure opens a path for quantitative understanding of different exchange interactions in complex magnetic systems, including molecular magnets, transition metal organic frameworks, and other solid materials.


title: A new monotonicity formula for the spatially homogeneous Landau equation with Coulomb potential and its applications

abstract: We describe a time-dependent functional involving the relative entropy and the $\dot{H}^1$ seminorm, which decreases along solutions to the spatially homogeneous Landau equation with Coulomb potential. The study of this monotone functionial sheds light on the competition between the dissipation and the nonlinearity for this equation. It enables to obtain new results concerning regularity/blowup issues for the Landau equation with Coulomb potential.


title: Be More with Less: Hypergraph Attention Networks for Inductive Text Classification

abstract: Text classification is a critical research topic with broad applications in natural language processing. Recently, graph neural networks (GNNs) have received increasing attention in the research community and demonstrated their promising results on this canonical task. Despite the success, their performance could be largely jeopardized in practice since they are: (1) unable to capture high-order interaction between words; (2) inefficient to handle large datasets and new documents. To address those issues, in this paper, we propose a principled model -- hypergraph attention networks (HyperGAT), which can obtain more expressive power with less computational consumption for text representation learning. Extensive experiments on various benchmark datasets demonstrate the efficacy of the proposed approach on the text classification task.


title: A comparison of Monte Carlo dropout and bootstrap aggregation on the performance and uncertainty estimation in radiation therapy dose prediction with deep learning neural networks

abstract: Recently, artificial intelligence technologies and algorithms have become a major focus for advancements in treatment planning for radiation therapy. As these are starting to become incorporated into the clinical workflow, a major concern from clinicians is not whether the model is accurate, but whether the model can express to a human operator when it does not know if its answer is correct. We propose to use Monte Carlo dropout (MCDO) and the bootstrap aggregation (bagging) technique on deep learning models to produce uncertainty estimations for radiation therapy dose prediction. We show that both models are capable of generating a reasonable uncertainty map, and, with our proposed scaling technique, creating interpretable uncertainties and bounds on the prediction and any relevant metrics. Performance-wise, bagging provides statistically significant reduced loss value and errors in most of the metrics investigated in this study. The addition of bagging was able to further reduce errors by another 0.34% for Dmean and 0.19% for Dmax, on average, when compared to the baseline framework. Overall, the bagging framework provided significantly lower MAE of 2.62, as opposed to the baseline framework's MAE of 2.87. The usefulness of bagging, from solely a performance standpoint, does highly depend on the problem and the acceptable predictive error, and its high upfront computational cost during training should be factored in to deciding whether it is advantageous to use it. In terms of deployment with uncertainty estimations turned on, both frameworks offer the same performance time of about 12 seconds. As an ensemble-based metaheuristic, bagging can be used with existing machine learning architectures to improve stability and performance, and MCDO can be applied to any deep learning models that have dropout as part of their architecture.


title: A Model-Based Testing Tool for Asynchronous Reactive Systems

abstract: Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity over their developing process. Therefore model-based testing has been successfully applied over asynchronous reactive systems using Input Output Labeled Transition Systems (IOLTSs) as the basis. In this work we present a reactive testing tool to check conformance, generate test suites and run test cases using IOLTS models. Our tool can check whether the behavior of an implementation under test (IUT) complies with the behavior of its respective specification. We have implemented a classical conformance relation \ioco and a more general notion of conformance based on regular languages. Further, the tool provides a test suite generation in a black-box testing setting for finding faults over IUTs according to a specific domain. We have also described some case studies to probe the tool's functionalities and also to highlight a comparative analysis on both conformance approaches. Finally, we offer experiments to evaluate the performance of our tool using several scenarios.


title: A Passive Navigation Planning Algorithm for Collision-free Control of Mobile Robots

abstract: Path planning and collision avoidance are challenging in complex and highly variable environments due to the limited horizon of events. In literature, there are multiple model- and learning-based approaches that require significant computational resources to be effectively deployed and they may have limited generality. We propose a planning algorithm based on a globally stable passive controller that can plan smooth trajectories using limited computational resources in challenging environmental conditions. The architecture combines the recently proposed fractal impedance controller with elastic bands and regions of finite time invariance. As the method is based on an impedance controller, it can also be used directly as a force/torque controller. We validated our method in simulation to analyse the ability of interactive navigation in challenging concave domains via the issuing of via-points, and its robustness to low bandwidth feedback. A swarm simulation using 11 agents validated the scalability of the proposed method. We have performed hardware experiments on a holonomic wheeled platform validating smoothness and robustness of interaction with dynamic agents (i.e., humans and robots). The computational complexity of the proposed local planner enables deployment with low-power micro-controllers lowering the energy consumption compared to other methods that rely upon numeric optimisation.


title: Experimental demonstration of particle acceleration with normal conducting accelerating structure at cryogenic temperature

abstract: Reducing the operating temperature of normal conducting particle accelerators substantially increases their efficiency. Low-temperature operation increases the yield strength of the accelerator material and reduces surface resistance, hence a great reduction in cyclic fatigue could be achieved resulting in a large reduction in breakdown rates compared to room-temperature operation. Furthermore, temperature reduction increases the intrinsic quality factor of the accelerating cavities, and consequently, the shunt impedance leading to increased system efficiency and beam loading capabilities. In this paper, we present an experimental demonstration of the high-gradient operation of an X-band, 11.424 GHz, 20-cells linear accelerator (linac) operating at a liquid nitrogen temperature of 77 K. The tested linac was previously processed and tested at room temperature. We verified the enhanced accelerating parameters of the tested accelerator at cryogenic temperature using different measurements including electron beam acceleration up to a gradient of 150 MV/m, corresponding to a peak surface electric field of 375 MV/m. We also measured the breakdown rates in the tested structure showing a reduction of two orders of magnitude, x100, compared to their values at room temperature for the same accelerating gradient.


title: Measure Theoretic Approach to Nonuniform Learnability

abstract: An earlier introduced characterization of nonuniform learnability that allows the sample size to depend on the hypothesis to which the learner is compared has been redefined using the measure theoretic approach. Where nonuniform learnability is a strict relaxation of the Probably Approximately Correct framework. Introduction of a new algorithm, Generalize Measure Learnability framework, to implement this approach with the study of its sample and computational complexity bounds. Like the Minimum Description Length principle, this approach can be regarded as an explication of Occam razor. Furthermore, many situations were presented, Hypothesis Classes that are countable where we can apply the GML framework, which we can learn to use the GML scheme and can achieve statistical consistency.


title: Beelines: Motion Prediction Metrics for Self-Driving Safety and Comfort

abstract: The commonly used metrics for motion prediction do not correlate well with a self-driving vehicle's system-level performance. The most common metrics are average displacement error (ADE) and final displacement error (FDE), which omit many features, making them poor self-driving performance indicators. Since high-fidelity simulations and track testing can be resource-intensive, the use of prediction metrics better correlated with full-system behavior allows for swifter iteration cycles. In this paper, we offer a conceptual framework for prediction evaluation highly specific to self-driving. We propose two complementary metrics that quantify the effects of motion prediction on safety (related to recall) and comfort (related to precision). Using a simulator, we demonstrate that our safety metric has a significantly better signal-to-noise ratio than displacement error in identifying unsafe events.


title: Tunable magneto-optical effect, anomalous Hall effect and anomalous Nernst effect in two-dimensional room-temperature ferromagnet $1T$-CrTe$_2$

abstract: Utilizing the first-principles density functional theory calculations together with group theory analyses, we systematically investigate the spin order-dependent magneto-optical effect (MOE), anomalous Hall effect (AHE), and anomalous Nernst effect (ANE) in a recently discovered two-dimensional room-temperature ferromagnet $1T$-CrTe$_2$. We find that the spin prefers an in-plane direction by the magnetocrystalline anisotropy energy calculations. The MOE, AHE, and ANE display a period of $2\pi/3$ when the spin rotates within the atomic plane, and they are forbidden if there exists a mirror plane perpendicular to the spin direction. By reorienting the spin from in-plane to out-of-plane direction, the MOE, AHE, and ANE are enhanced by around one order of magnitude. Moreover, we establish the layer-dependent magnetic properties for multilayer $1T$-CrTe$_2$ and predict antiferromagnetism and ferromagnetism for bilayer and trilayer $1T$-CrTe$_2$, respectively. The MOE, AHE, and ANE are prohibited in antiferromagnetic bilayer $1T$-CrTe$_2$ due to the existence of the spacetime inversion symmetry, whereas all of them are activated in ferromagnetic trilayer $1T$-CrTe$_2$ and the MOE is significantly enhanced compared to monolayer $1T$-CrTe$_2$. Our results show that the magneto-optical and anomalous transports proprieties of $1T$-CrTe$_2$ can be effectively modulated by altering spin direction and layer number.


title: A Framework of Combining Short-Term Spatial/Frequency Feature Extraction and Long-Term IndRNN for Activity Recognition

abstract: Smartphone sensors based human activity recognition is attracting increasing interests nowadays with the popularization of smartphones. With the high sampling rates of smartphone sensors, it is a highly long-range temporal recognition problem, especially with the large intra-class distances such as the smartphones carried at different locations such as in the bag or on the body, and the small inter-class distances such as taking train or subway. To address this problem, we propose a new framework of combining short-term spatial/frequency feature extraction and a long-term Independently Recurrent Neural Network (IndRNN) for activity recognition. Considering the periodic characteristics of the sensor data, short-term temporal features are first extracted in the spatial and frequency domains. Then the IndRNN, which is able to capture long-term patterns, is used to further obtain the long-term features for classification. In view of the large differences when the smartphone is carried at different locations, a group based location recognition is first developed to pinpoint the location of the smartphone. The Sussex-Huawei Locomotion (SHL) dataset from the SHL Challenge is used for evaluation. An earlier version of the proposed method has won the second place award in the SHL Challenge 2020 (the first place if not considering multiple models fusion approach). The proposed method is further improved in this paper and achieves 80.72$\%$ accuracy, better than the existing methods using a single model.


title: Determination of the $\Lambda_c^+$ spin via the reaction $e^+e^-\to\Lambda_c^+\bar\Lambda_c^-$

abstract: We report on a comparison of two possible $\Lambda_c^+$ spin hypotheses, $J=\frac{1}{2}$ and $\frac{3}{2}$, via the process $e^+e^-\to\Lambda_c^+\bar\Lambda_c^-$, using the angular distributions of $\Lambda_c^+$ decays into $pK_S^0$, $\Lambda\pi^+$, $\Sigma^0\pi^+$, and $\Sigma^+\pi^0$. The data were recorded at $\sqrt s = 4.6$ GeV with the BESIII detector and correspond to an integrated luminosity of 587 pb$^{-1}$. The $\Lambda_c^+$ spin is determined to be $J=\frac{1}{2}$, with this value favored over the $\frac{3}{2}$ hypothesis with a significance corresponding to more than 6 Gaussian standard deviations.


title: APPLR: Adaptive Planner Parameter Learning from Reinforcement

abstract: Classical navigation systems typically operate using a fixed set of hand-picked parameters (e.g. maximum speed, sampling rate, inflation radius, etc.) and require heavy expert re-tuning in order to work in new environments. To mitigate this requirement, it has been proposed to learn parameters for different contexts in a new environment using human demonstrations collected via teleoperation. However, learning from human demonstration limits deployment to the training environment, and limits overall performance to that of a potentially-suboptimal demonstrator. In this paper, we introduce APPLR, Adaptive Planner Parameter Learning from Reinforcement, which allows existing navigation systems to adapt to new scenarios by using a parameter selection scheme discovered via reinforcement learning (RL) in a wide variety of simulation environments. We evaluate APPLR on a robot in both simulated and physical experiments, and show that it can outperform both a fixed set of hand-tuned parameters and also a dynamic parameter tuning scheme learned from human demonstration.


title: Investigation of BERT Model on Biomedical Relation Extraction Based on Revised Fine-tuning Mechanism

abstract: With the explosive growth of biomedical literature, designing automatic tools to extract information from the literature has great significance in biomedical research. Recently, transformer-based BERT models adapted to the biomedical domain have produced leading results. However, all the existing BERT models for relation classification only utilize partial knowledge from the last layer. In this paper, we will investigate the method of utilizing the entire layer in the fine-tuning process of BERT model. To the best of our knowledge, we are the first to explore this method. The experimental results illustrate that our method improves the BERT model performance and outperforms the state-of-the-art methods on three benchmark datasets for different relation extraction tasks. In addition, further analysis indicates that the key knowledge about the relations can be learned from the last layer of BERT model.


title: Temporally-Continuous Probabilistic Prediction using Polynomial Trajectory Parameterization

abstract: A commonly-used representation for motion prediction of actors is a sequence of waypoints (comprising positions and orientations) for each actor at discrete future time-points. While this approach is simple and flexible, it can exhibit unrealistic higher-order derivatives (such as acceleration) and approximation errors at intermediate time steps. To address this issue we propose a simple and general representation for temporally continuous probabilistic trajectory prediction that is based on polynomial trajectory parameterization. We evaluate the proposed representation on supervised trajectory prediction tasks using two large self-driving data sets. The results show realistic higher-order derivatives and better accuracy at interpolated time-points, as well as the benefits of the inferred noise distributions over the trajectories. Extensive experimental studies based on existing state-of-the-art models demonstrate the effectiveness of the proposed approach relative to other representations in predicting the future motions of vehicle, bicyclist, and pedestrian traffic actors.


title: APPLI: Adaptive Planner Parameter Learning From Interventions

abstract: While classical autonomous navigation systems can typically move robots from one point to another safely and in a collision-free manner, these systems may fail or produce suboptimal behavior in certain scenarios. The current practice in such scenarios is to manually re-tune the system's parameters, e.g. max speed, sampling rate, inflation radius, to optimize performance. This practice requires expert knowledge and may jeopardize performance in the originally good scenarios. Meanwhile, it is relatively easy for a human to identify those failure or suboptimal cases and provide a teleoperated intervention to correct the failure or suboptimal behavior. In this work, we seek to learn from those human interventions to improve navigation performance. In particular, we propose Adaptive Planner Parameter Learning from Interventions (APPLI), in which multiple sets of navigation parameters are learned during training and applied based on a confidence measure to the underlying navigation system during deployment. In our physical experiments, the robot achieves better performance compared to the planner with static default parameters, and even dynamic parameters learned from a full human demonstration. We also show APPLI's generalizability in another unseen physical test course, and a suite of 300 simulated navigation environments.


title: The MAGICAL Benchmark for Robust Imitation

abstract: Imitation Learning (IL) algorithms are typically evaluated in the same environment that was used to create demonstrations. This rewards precise reproduction of demonstrations in one particular environment, but provides little information about how robustly an algorithm can generalise the demonstrator's intent to substantially different deployment settings. This paper presents the MAGICAL benchmark suite, which permits systematic evaluation of generalisation by quantifying robustness to different kinds of distribution shift that an IL algorithm is likely to encounter in practice. Using the MAGICAL suite, we confirm that existing IL algorithms overfit significantly to the context in which demonstrations are provided. We also show that standard methods for reducing overfitting are effective at creating narrow perceptual invariances, but are not sufficient to enable transfer to contexts that require substantially different behaviour, which suggests that new approaches will be needed in order to robustly generalise demonstrator intent. Code and data for the MAGICAL suite is available at https://github.com/qxcv/magical/.


title: Dark Reciprocal-Rank: Boosting Graph-Convolutional Self-Localization Network via Teacher-to-student Knowledge Transfer

abstract: In visual robot self-localization, graph-based scene representation and matching have recently attracted research interest as robust and discriminative methods for selflocalization. Although effective, their computational and storage costs do not scale well to large-size environments. To alleviate this problem, we formulate self-localization as a graph classification problem and attempt to use the graph convolutional neural network (GCN) as a graph classification engine. A straightforward approach is to use visual feature descriptors that are employed by state-of-the-art self-localization systems, directly as graph node features. However, their superior performance in the original self-localization system may not necessarily be replicated in GCN-based self-localization. To address this issue, we introduce a novel teacher-to-student knowledge-transfer scheme based on rank matching, in which the reciprocal-rank vector output by an off-the-shelf state-of-the-art teacher self-localization model is used as the dark knowledge to transfer. Experiments indicate that the proposed graph-convolutional self-localization network can significantly outperform state-of-the-art self-localization systems, as well as the teacher classifier.


title: Towards A Friendly Online Community: An Unsupervised Style Transfer Framework for Profanity Redaction

abstract: Offensive and abusive language is a pressing problem on social media platforms. In this work, we propose a method for transforming offensive comments, statements containing profanity or offensive language, into non-offensive ones. We design a RETRIEVE, GENERATE and EDIT unsupervised style transfer pipeline to redact the offensive comments in a word-restricted manner while maintaining a high level of fluency and preserving the content of the original text. We extensively evaluate our method's performance and compare it to previous style transfer models using both automatic metrics and human evaluations. Experimental results show that our method outperforms other models on human evaluations and is the only approach that consistently performs well on all automatic evaluation metrics.


title: Informed Pooled Testing with Quantitative Assays

abstract: Pooled testing is widely used for screening for viral or bacterial infections with low prevalence when individual testing is not cost-efficient. Pooled testing with qualitative assays that give binary results has been well-studied. However, characteristics of pooling with quantitative assays were mostly demonstrated using simulations or empirical studies. We investigate properties of three pooling strategies with quantitative assays: traditional two-stage mini-pooling (MP) (Dorfman, 1943), mini-pooling with deconvolution algorithm (MPA) (May et al., 2010), and marker-assisted MPA (mMPA) (Liu et al., 2017). MPA and mMPA test individuals in a sequence after a positive pool and implement a deconvolution algorithm to determine when testing can cease to ascertain all individual statuses. mMPA uses information from other available markers to determine an optimal order for individual testings. We derive and compare the general statistical properties of the three pooling methods. We show that with a proper pool size, MP, MPA, and mMPA can be more cost-efficient than individual testing, and mMPA is superior to MPA and MP. For diagnostic accuracy, mMPA and MPA have higher specificity and positive predictive value but lower sensitivity and negative predictive value than MP and individual testing. Included in this paper are applications to various simulations and an application for HIV treatment monitoring.


title: A Method to Extract Spatially Resolved Polycyclic Aromatic Hydrocarbon Emission from Spitzer Spectra: Application to M51

abstract: The mid-infrared spectrum contains rich diagnostics to probe the physical properties of galaxies, among which the pervasive emission features from polycyclic aromatic hydrocarbons (PAHs) offer a promising means of estimating the star formation rate (SFR) relatively immune from dust extinction. This paper investigates the effectiveness of PAH emission as a SFR indicator on sub-kpc scales by studying the Spitzer/IRS mapping-mode observations of the nearby grand-design spiral galaxy M51. We present a new approach of analyzing the spatial elements of the spectral datacube that simultaneously maximizes spatial resolution and spatial coverage, while yielding reliable measurements of the total, integrated $5-20\,\mu$m PAH emission. We devise a strategy of extracting robust PAH emission using spectra with only partial spectral coverage, complementing missing spectral regions with properly combined mid-infrared photometry. We find that in M51 the PAH emission correlates tightly with the extinction-corrected far-ultraviolet, near-ultraviolet, and H$\alpha$ emission, from scales$\sim 0.4$ kpc close to the nucleus to 6 kpc out in the disk of the galaxy, indicating that PAH serves as an excellent tracer of SFR over a wide range of galactic environments. But regional differences exist. Close to the active nucleus of M51 the 6.2 $\mu$m feature is weaker, and the overall level of PAH emission is suppressed. The spiral arms and the central star-forming region of the galaxy emit stronger 7.7 and 8.6 $\mu$m PAH features than the inter-arm regions.


title: Non-Autoregressive Predictive Coding for Learning Speech Representations from Local Dependencies

abstract: Self-supervised speech representations have been shown to be effective in a variety of speech applications. However, existing representation learning methods generally rely on the autoregressive model and/or observed global dependencies while generating the representation. In this work, we propose Non-Autoregressive Predictive Coding (NPC), a self-supervised method, to learn a speech representation in a non-autoregressive manner by relying only on local dependencies of speech. NPC has a conceptually simple objective and can be implemented easily with the introduced Masked Convolution Blocks. NPC offers a significant speedup for inference since it is parallelizable in time and has a fixed inference time for each time step regardless of the input sequence length. We discuss and verify the effectiveness of NPC by theoretically and empirically comparing it with other methods. We show that the NPC representation is comparable to other methods in speech experiments on phonetic and speaker classification while being more efficient.


title: Holographic description of entanglement entropy of free CFT on torus

abstract: The Ryu-Takayanagi conjecture provides a holographic description for the entanglement entropy for the strongly coupled holographic CFTs in the semi-classical limit. It proposes that the entanglement entropy is given by the area of the minimal homologous surface in the dual bulk. We show that the common terms of the entanglement entropy for the free massless fermions or bosons on a torus in the high-temperature expansion can be described by the sum of the signed area of extremal surfaces in the BTZ spacetime. The resulting EE and the corresponding bunch of the exgremal surfaces have preferable properties rather than those from the Ryu-Takayanagi conjecture.


title: Nanopores in atomically thin 2D nanosheets limit aqueous ssDNA transport

abstract: Nanopores in 2D materials are highly desirable for DNA sequencing, yet achieving single-stranded DNA (ssDNA) transport through them is challenging. Using density functional theory calculations and molecular dynamics simulations we show that ssDNA transport through a pore in monolayer hexagonal boron nitride (hBN) is marked by a basic nanomechanical conflict. It arises from the notably inhomogeneous flexural rigidity of ssDNA and causes high friction $\textit{via}$ transient DNA desorption costs exacerbated by solvation effects. For a similarly sized pore in bilayer hBN, its self-passivated atomically smooth edge enables continuous ssDNA transport. Our findings shed light on the fundamental physics of biopolymer transport through pores in 2D materials.


title: Blowing up the power of a singular cardinal of uncountable cofinality with collapses

abstract: The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal $\kappa$ of {\em cofinality} $\eta$ in the ground model, which is a limit of suitable large cardinals, and $\eta^+=\aleph_{\gamma}$, then there is a forcing extension which preserves cardinals and cofinalities up to and including $\eta$, such that $\kappa$ becomes $\aleph_{\gamma+\eta}$, and SCH fails at $\kappa$. Furthermore, if $\eta$ is not an $\aleph$-fixed point, then in our model, SCH fails at $\aleph_{\eta}$. Our large cardinal assumption is below the existence of a Woodin cardinal. In our model we also obtain a very good scale.


title: Universal classical-quantum superposition coding and universal classical-quantum multiple access channel coding

abstract: We derive universal classical-quantum superposition coding and universal classical-quantum multiple access channel code by using generalized packing lemmas for the type method. Using our classical-quantum universal superposition code, we establish the capacity region of a classical-quantum compound broadcast channel with degraded message sets. Our universal classical-quantum multiple access channel codes have two types of codes. One is a code with joint decoding and the other is a code with separate decoding. The former universally achieves corner points of the capacity region and the latter universally achieves general points of the capacity region. Combining the latter universal code with the existing result by Quantum Inf Process. 18, 246 (2019), we establish a single-letterized formula for the capacity region of a classical-quantum compound multiple access channel.


title: First-principles discovery of novel quantum physics and materials: From theory to experiment

abstract: Modern material science has been revolutionized by the discovery of novel topological states of quantum matter, which sheds new lights on solving long-standing scientific challenges. However, the exotic quantum phenomena are typically observable only in rare material systems under extreme experimental conditions. The search of suitable candidate materials that are able to work at ambient conditions is thus of crucial importance to both fundamental research and practical applications. Here we review our recent efforts on first-principles exploration of novel quantum physics and materials, focusing on emergent quantum phenomena induced by spin-orbit coupling and its interplay with magnetism, topology and superconductivity. The first-principles material design guided by fundamental theory enables the discoveries of several key quantum materials, including next-generation magnetic topological insulators, high-temperature quantum anomalous Hall and quantum spin Hall insulators, and unconventional superconductors. A close collaboration with experiment not only successfully confirmed most of our theoretical predictions, but also led to surprising findings for further investigations, which greatly promotes development of the research field.


title: A categorical derivation of Lebesgue integration

abstract: We identify simple universal properties that uniquely characterize the Lebesgue $L^p$ spaces. There are two main theorems. The first states that the Banach space $L^p[0, 1]$, equipped with a small amount of extra structure, is initial as such. The second states that the $L^p$ functor on finite measure spaces, again with some extra structure, is also initial as such. In both cases, the universal characterization of the integrable functions produces a unique characterization of integration. Using the universal properties, we develop some of the basic elements of integration theory. We also state universal properties characterizing the sequence spaces $\ell^p$ and $c_0$, as well as the functor $L^2$ taking values in Hilbert spaces.


title: Collision Avoidance in Tightly-Constrained Environments without Coordination: a Hierarchical Control Approach

abstract: We present a hierarchical control approach for maneuvering an autonomous vehicle (AV) in tightly-constrained environments where other moving AVs and/or human driven vehicles are present. A two-level hierarchy is proposed: a high-level data-driven strategy predictor and a lower-level model-based feedback controller. The strategy predictor maps an encoding of a dynamic environment to a set of high-level strategies via a neural network. Depending on the selected strategy, a set of time-varying hyperplanes in the AV's position space is generated online and the corresponding halfspace constraints are included in a lower-level model-based receding horizon controller. These strategy-dependent constraints drive the vehicle towards areas where it is likely to remain feasible. Moreover, the predicted strategy also informs switching between a discrete set of policies, which allows for more conservative behavior when prediction confidence is low. We demonstrate the effectiveness of the proposed data-driven hierarchical control framework in a two-car collision avoidance scenario through simulations and experiments on a 1/10 scale autonomous car platform where the strategy-guided approach outperforms a model predictive control baseline in both cases.