title: Number Theory meets Wireless Communications: an introduction for dummies like us

abstract: In this chapter we introduce the theory of Diophantine approximation via a series of basic examples from information theory relevant to wireless communications. In particular, we discuss Dirichlet's theorem, badly approximable points, Dirichlet improvable and singular points, the metric (probabilistic) theory of Diophantine approximation including the Khintchine-Groshev theorem and the theory of Diophantine approximation on manifolds. We explore various number theoretic approaches used in the analysis of communication characteristics such as Degrees of Freedom (DoF). In particular, we improve the result of Motahari et al regarding the DoF of a two-user X-channel. In essence, we show that the total DoF can be achieved for all (rather than almost all) choices of channel coefficients with the exception of a subset of strictly smaller dimension than the ambient space. The improvement utilises the concept of jointly non-singular points that we introduce and a general result of Kadyrov et al on the $\delta$-escape of mass in the space of lattices. We also discuss follow-up open problems that incorporate a breakthrough of Cheung and more generally Das et al on the dimension of the set of singular points.


title: The Sperner property for $132$-avoiding intervals in the weak order

abstract: A well-known result of Stanley from 1980 implies that the weak order on a maximal parabolic quotient of the symmetric group $S_n$ has the Sperner property; this same property was recently established for the weak order on all of $S_n$ by Gaetz and Gao, resolving a long-open problem. In this paper we interpolate between these results by showing that the weak order on any parabolic quotient of $S_n$ (and more generally on any $132$-avoiding interval) has the Sperner property. This result is proven by exhibiting an action of $\mathfrak{sl}_2$ respecting the weak order on these intervals. As a corollary we obtain a new formula for principal specializations of Schubert polynomials. Our formula can be seen as a strong Bruhat order analogue of Macdonald's reduced word formula. This proof technique and formula generalize work of Hamaker, Pechenik, Speyer, and Weigandt and Gaetz and Gao.


title: Cosmological initial data for numerical relativity

abstract: We find initial data for numerical relativity simulations of inhomogeneous cosmologies. This involves treating an exceptional case of the general relativity constraint equations. We devise analytic and numerical methods to treat this exceptional case. We apply the analytic method to the standard case of cosmology with a single scalar field. The numerical method is applied to the two-field ekpyrotic cosmology.


title: Penalized regression with multiple loss functions and selection by vote

abstract: This article considers a linear model in a high dimensional data scenario. We propose a process which uses multiple loss functions both to select relevant predictors and to estimate parameters, and study its asymptotic properties. Variable selection is conducted by a procedure called "vote", which aggregates results from penalized loss functions. Using multiple objective functions separately simplifies algorithms and allows parallel computing, which is convenient and fast. As a special example we consider a quantile regression model, which optimally combines multiple quantile levels. We show that the resulting estimators for the parameter vector are asymptotically efficient. Simulations and a data application confirm the three main advantages of our approach: (a) reducing the false discovery rate of variable selection; (b) improving the quality of parameter estimation; (c) increasing the efficiency of computation.


title: Multi-Head Attention: Collaborate Instead of Concatenate

abstract: Attention layers are widely used in natural language processing (NLP) and are beginning to influence computer vision architectures. Training very large transformer models allowed significant improvement in both fields, but once trained, these networks show symptoms of over-parameterization. For instance, it is known that many attention heads can be pruned without impacting accuracy. This work aims to enhance current understanding on how multiple heads interact. Motivated by the observation that attention heads learn redundant key/query projections, we propose a collaborative multi-head attention layer that enables heads to learn shared projections. Our scheme decreases the number of parameters in an attention layer and can be used as a drop-in replacement in any transformer architecture. Our experiments confirm that sharing key/query dimensions can be exploited in language understanding, machine translation and vision. We also show that it is possible to re-parametrize a pre-trained multi-head attention layer into our collaborative attention layer. Collaborative multi-head attention reduces the size of the key and query projections by 4 for same accuracy and speed. Our code is public.


title: Feasibility studies for the measurement of time-like proton electromagnetic form factors from $\bar{p}p \rightarrow \mu^+\mu^-$ at $\overline{\textrm{P}}\textrm{ANDA}$ at FAIR

abstract: This paper reports on Monte Carlo simulation results for future measurements of time-like proton electromagnetic form factors, $|G_{E}|$ and $|G_{M}|$, using the $\bar{p} p \rightarrow \mu^{+} \mu^{-}$ reaction at $\overline{\textrm{P}}\textrm{ANDA}$ (FAIR). The electromagnetic form factors are fundamental quantities parameterizing the electric and magnetic structure of hadrons. This work estimates the statistical and total accuracy with which the form factors can be measured at $\overline{\textrm{P}}\textrm{ANDA}$, using an analysis of simulated data within the PandaRoot software framework. The most crucial background channel is $\bar{p} p \rightarrow \pi^{+} \pi^{-}$, due to the very similar behavior of muons and pions in the detector. The suppression factors are evaluated for this and all other relevant background channels at different values of antiproton beam momentum. The signal/background separation is based on a multivariate analysis, using the Boosted Decision Trees method. An expected background subtraction is included in this study, based on realistic angular distributions of the background contribution. Systematic uncertainties are considered and the relative total uncertainties of the form factor measurements are presented.


title: Simultaneous Diagonalization and SVD of Commuting Matrices

abstract: We present a matrix version of a known method of constructing common eigenvectors of two diagonalizable commuting matrices, thus enabling their simultaneous diagonalization. The matrices may have simple eigenvalues of multiplicity greater than one. The singular value decomposition (SVD) of a class of commuting matrices also is treated. The effect of row/column permutation is examined. Examples are given.


title: Multi-Partition Embedding Interaction with Block Term Format for Knowledge Graph Completion

abstract: Knowledge graph completion is an important task that aims to predict the missing relational link between entities. Knowledge graph embedding methods perform this task by representing entities and relations as embedding vectors and modeling their interactions to compute the matching score of each triple. Previous work has usually treated each embedding as a whole and has modeled the interactions between these whole embeddings, potentially making the model excessively expensive or requiring specially designed interaction mechanisms. In this work, we propose the multi-partition embedding interaction (MEI) model with block term format to systematically address this problem. MEI divides each embedding into a multi-partition vector to efficiently restrict the interactions. Each local interaction is modeled with the Tucker tensor format and the full interaction is modeled with the block term tensor format, enabling MEI to control the trade-off between expressiveness and computational cost, learn the interaction mechanisms from data automatically, and achieve state-of-the-art performance on the link prediction task. In addition, we theoretically study the parameter efficiency problem and derive a simple empirically verified criterion for optimal parameter trade-off. We also apply the framework of MEI to provide a new generalized explanation for several specially designed interaction mechanisms in previous models. The source code is released at https://github.com/tranhungnghiep/MEI-KGE.


title: Optimal measurement preserving qubit channels

abstract: We consider the problem of discriminating qubit states that are sent over a quantum channel and derive a necessary and sufficient condition for an optimal measurement to be preserved by the channel. We apply the result to the characterization of optimal measurement preserving (OMP) channels for a given qubit ensemble, e.g., a set of two states or a set of multiple qubit states with equal a priori probabilities. Conversely, we also characterize qubit ensembles for which a given channel is OMP, such as unitary and depolarization channels. Finally, we show how the sets of OMP channels for a given ensemble can be constructed.


title: Ultra2Speech -- A Deep Learning Framework for Formant Frequency Estimation and Tracking from Ultrasound Tongue Images

abstract: Thousands of individuals need surgical removal of their larynx due to critical diseases every year and therefore, require an alternative form of communication to articulate speech sounds after the loss of their voice box. This work addresses the articulatory-to-acoustic mapping problem based on ultrasound (US) tongue images for the development of a silent-speech interface (SSI) that can provide them with an assistance in their daily interactions. Our approach targets automatically extracting tongue movement information by selecting an optimal feature set from US images and mapping these features to the acoustic space. We use a novel deep learning architecture to map US tongue images from the US probe placed beneath a subject's chin to formants that we call, Ultrasound2Formant (U2F) Net. It uses hybrid spatio-temporal 3D convolutions followed by feature shuffling, for the estimation and tracking of vowel formants from US images. The formant values are then utilized to synthesize continuous time-varying vowel trajectories, via Klatt Synthesizer. Our best model achieves R-squared (R^2) measure of 99.96% for the regression task. Our network lays the foundation for an SSI as it successfully tracks the tongue contour automatically as an internal representation without any explicit annotation.


title: Probabilistic Bounds on the End-to-End Delay of Service Function Chains using Deep MDN

abstract: Ensuring the conformance of a service system's end-to-end delay to service level agreement (SLA) constraints is a challenging task that requires statistical measures beyond the average delay. In this paper, we study the real-time prediction of the end-to-end delay distribution in systems with composite services such as service function chains. In order to have a general framework, we use queueing theory to model service systems, while also adopting a statistical learning approach to avoid the limitations of queueing-theoretic methods such as stationarity assumptions or other approximations that are often used to make the analysis mathematically tractable. Specifically, we use deep mixture density networks (MDN) to predict the end-to-end distribution of the delay given the network's state. As a result, our method is sufficiently general to be applied in different contexts and applications. Our evaluations show a good match between the learned distributions and the simulations, which suggest that the proposed method is a good candidate for providing probabilistic bounds on the end-to-end delay of more complex systems where simulations or theoretical methods are not applicable.


title: Classification of strongly asymptotically log del Pezzo flags and surfaces

abstract: We introduce the notion of strongly asymptotically log del Pezzo flags, and classify such flags under the assumption that their zero-dimensional part lies in the boundary. We use this result to give a new and conceptual proof of the classification of strongly asymptotically log del Pezzo surfaces, originally due to Cheltsov and the author.


title: Classification of cancer pathology reports: a large-scale comparative study

abstract: We report about the application of state-of-the-art deep learning techniques to the automatic and interpretable assignment of ICD-O3 topography and morphology codes to free-text cancer reports. We present results on a large dataset (more than 80 000 labeled and 1 500 000 unlabeled anonymized reports written in Italian and collected from hospitals in Tuscany over more than a decade) and with a large number of classes (134 morphological classes and 61 topographical classes). We compare alternative architectures in terms of prediction accuracy and interpretability and show that our best model achieves a multiclass accuracy of 90.3% on topography site assignment and 84.8% on morphology type assignment. We found that in this context hierarchical models are not better than flat models and that an element-wise maximum aggregator is slightly better than attentive models on site classification. Moreover, the maximum aggregator offers a way to interpret the classification process.


title: Hydrogen inserted into the Si(100)-2x1-H surface: A first-principles study

abstract: An H atom inserted into hydrogen monolayer on the Si(100)-2x1 surface has been studied using the density functional theory. Hydrogen-induced defects were considered in their neutral, negative, and positive charge states. It was found that hydrogen atom forms a dihydride unit on the surface in the most stable neutral and negative charge states. Hydrogen located in the groove between dimer rows and bonded with a second-layer Si atom is also one of the most stable negative charge states. In the positive charge state, hydrogen forms a three-center bond inside a Si dimer, Si-H-Si, similar to the bulk case. A comparison of simulated scanning tunneling microscopy (STM) images with experimental data available in the literature showed that neutral and negatively charged hydrogen-induced defects were already observed in experiments. The results reveal that the adsorption position of an H atom inserted into the Si(100)-2x1-H surface is determined by the charge state of the hydrogen-induced defect.


title: A multiple planet system of super-Earths orbiting the brightest red dwarf star GJ887

abstract: The nearest exoplanets to the Sun are our best possibilities for detailed characterization. We report the discovery of a compact multi-planet system of super-Earths orbiting the nearby red dwarf GJ 887, using radial velocity measurements. The planets have orbital periods of 9.3 and 21.8~days. Assuming an Earth-like albedo, the equilibrium temperature of the 21.8 day planet is approx 350 K; which is interior, but close to the inner edge, of the liquid-water habitable zone. We also detect a further unconfirmed signal with a period of 50 days which could correspond to a third super-Earth in a more temperate orbit. GJ 887 is an unusually magnetically quiet red dwarf with a photometric variability below 500 parts-per-million, making its planets amenable to phase-resolved photometric characterization.


title: A high-order discontinuous Galerkin method for the poro-elasto-acoustic problem on polygonal and polyhedral grids

abstract: The aim of this work is to introduce and analyze a finite element discontinuous Galerkin method on polygonal meshes for the numerical discretization of acoustic waves propagation through poroelastic materials. Wave propagation is modeled by the acoustics equations in the acoustic domain and the low-frequency Biot's equations in the poroelastic one. The coupling is realized by means of (physically consistent) transmission conditions, imposed on the interface between the domains, modeling different pore configurations. For the space discretization, we introduce and analyze a high-order discontinuous Galerkin method on polygonal and polyhedral meshes, which is then coupled with Newmark-$\beta$ time integration schemes. Stability analysis for both the continuous and semi-discrete problem is presented and error estimates for the energy norm are derived for the semi-discrete one. A wide set of numerical results obtained on test cases with manufactured solutions are presented in order to validate the error analysis. Examples of physical interest are also presented to investigate the capability of the proposed methods in practical scenarios.


title: Evaluation of Attack Vectors and Risks in Automobiles and Road Infrastructure

abstract: The evolution of smart automobiles and vehicles within the Internet of Things (IoT) - particularly as that evolution leads toward a proliferation of completely autonomous vehicles - has sparked considerable interest in the subject of vehicle/automotive security. While the attack surface is wide, there are patterns of exploitable vulnerabilities. In this study we reviewed, classified according to their attack surface, and evaluated some of the common vehicle and infrastructure attack vectors identified in the literature. To remediate these attack vectors, specific technical recommendations have been provided as a way towards secure deployments of smart automobiles and transportation infrastructures.


title: Improving Calibration through the Relationship with Adversarial Robustness

abstract: Neural networks lack adversarial robustness, i.e., they are vulnerable to adversarial examples that through small perturbations to inputs cause incorrect predictions. Further, trust is undermined when models give miscalibrated predictions, i.e., the predicted probability is not a good indicator of how much we should trust our model. In this paper, we study the connection between adversarial robustness and calibration and find that the inputs for which the model is sensitive to small perturbations (are easily attacked) are more likely to have poorly calibrated predictions. Based on this insight, we examine if calibration can be improved by addressing those adversarially unrobust inputs. To this end, we propose Adversarial Robustness based Adaptive Label Smoothing (AR-AdaLS) that integrates the correlations of adversarial robustness and calibration into training by adaptively softening labels for an example based on how easily it can be attacked by an adversary. We find that our method, taking the adversarial robustness of the in-distribution data into consideration, leads to better calibration over the model even under distributional shifts. In addition, AR-AdaLS can also be applied to an ensemble model to further improve model calibration.


title: Bayesian Sparse learning with preconditioned stochastic gradient MCMC and its applications

abstract: In this work, we propose a Bayesian type sparse deep learning algorithm. The algorithm utilizes a set of spike-and-slab priors for the parameters in the deep neural network. The hierarchical Bayesian mixture will be trained using an adaptive empirical method. That is, one will alternatively sample from the posterior using preconditioned stochastic gradient Langevin Dynamics (PSGLD), and optimize the latent variables via stochastic approximation. The sparsity of the network is achieved while optimizing the hyperparameters with adaptive searching and penalizing. A popular SG-MCMC approach is Stochastic gradient Langevin dynamics (SGLD). However, considering the complex geometry in the model parameter space in non-convex learning, updating parameters using a universal step size in each component as in SGLD may cause slow mixing. To address this issue, we apply a computationally manageable preconditioner in the updating rule, which provides a step-size parameter to adapt to local geometric properties. Moreover, by smoothly optimizing the hyperparameter in the preconditioning matrix, our proposed algorithm ensures a decreasing bias, which is introduced by ignoring the correction term in preconditioned SGLD. According to the existing theoretical framework, we show that the proposed algorithm can asymptotically converge to the correct distribution with a controllable bias under mild conditions. Numerical tests are performed on both synthetic regression problems and learning the solutions of elliptic PDE, which demonstrate the accuracy and efficiency of present work.


title: Hypergraph Random Walks, Laplacians, and Clustering

abstract: We propose a flexible framework for clustering hypergraph-structured data based on recently proposed random walks utilizing edge-dependent vertex weights. When incorporating edge-dependent vertex weights (EDVW), a weight is associated with each vertex-hyperedge pair, yielding a weighted incidence matrix of the hypergraph. Such weightings have been utilized in term-document representations of text data sets. We explain how random walks with EDVW serve to construct different hypergraph Laplacian matrices, and then develop a suite of clustering methods that use these incidence matrices and Laplacians for hypergraph clustering. Using several data sets from real-life applications, we compare the performance of these clustering algorithms experimentally against a variety of existing hypergraph clustering methods. We show that the proposed methods produce higher-quality clusters and conclude by highlighting avenues for future work.


title: An EM Approach to Non-autoregressive Conditional Sequence Generation

abstract: Autoregressive (AR) models have been the dominating approach to conditional sequence generation, but are suffering from the issue of high inference latency. Non-autoregressive (NAR) models have been recently proposed to reduce the latency by generating all output tokens in parallel but could only achieve inferior accuracy compared to their autoregressive counterparts, primarily due to a difficulty in dealing with the multi-modality in sequence generation. This paper proposes a new approach that jointly optimizes both AR and NAR models in a unified Expectation-Maximization (EM) framework. In the E-step, an AR model learns to approximate the regularized posterior of the NAR model. In the M-step, the NAR model is updated on the new posterior and selects the training examples for the next AR model. This iterative process can effectively guide the system to remove the multi-modality in the output sequences. To our knowledge, this is the first EM approach to NAR sequence generation. We evaluate our method on the task of machine translation. Experimental results on benchmark data sets show that the proposed approach achieves competitive, if not better, performance with existing NAR models and significantly reduces the inference latency.


title: Optimized lockdown strategies for curbing the spread of COVID-19: A South African case study

abstract: To curb the spread of COVID-19, many governments around the world have implemented tiered lockdowns with varying degrees of stringency. Lockdown levels are typically increased when the disease spreads and reduced when the disease abates. A predictive control approach is used to develop optimized lockdown strategies for curbing the spread of COVID-19. The strategies are then applied to South African data. The South African case is of interest as the South African government has defined five distinct levels of lockdown, which serves as a discrete control input. An epidemiological model for the spread of COVID-19 in South Africa was previously developed, and is used in conjunction with a hybrid model predictive controller to optimize lockdown management under different policy scenarios. Scenarios considered include how to flatten the curve to a level that the healthcare system can cope with, how to balance lives and livelihoods, and what impact the compliance of the population to the lockdown measures has on the spread of COVID-19. The main purpose of this paper is to show what the optimal lockdown level should be given the policy that is in place, as determined by the closed-loop feedback controller.


title: Quantifying Susceptibility to Spear Phishing in a High School Environment Using Signal Detection Theory

abstract: Spear phishing is a deceptive attack that uses social engineering to obtain confidential information through targeted victimization. It is distinguished by its use of social cues and personalized information to target specific victims. Previous work on resilience to spear phishing has focused on convenience samples, with a disproportionate focus on students. In contrast, here, we report on an evaluation of a high school community. We engaged 57 high school students and faculty members (12 high school students, 45 staff members) as participants in research utilizing signal detection theory (SDT). Through scenario-based analysis, participants tasked with distinguishing phishing emails from authentic emails. The results revealed an overconfidence bias in self-detection from the participants, regardless of their technical background. These findings are critical for evaluating the decision-making of underrepresented populations and protecting people from potential spear phishing attacks by examining human susceptibility.


title: Irreversible Heat Flow Across Phase Boundaries in Phase-Separated Manganites

abstract: We have investigated the change in entropy with direct measurements of heat flow as a function of magnetic field at fixed temperatures across the entire phase diagram of the phase-separated (PS) compound La$_{0.25}$Pr$_{0.375}$Ca$_{0.375}$MnO$_3$ (LPCMO). At this composition, the compound shows competing charge-ordered/antiferromagnetic (CO/AF) ground states. At a fixed temperature, we observe an increase in hysteresis in the entropy as a function of the applied field. The heat flux shows progressively irreversible hysteresis, which characterizes the energy barriers between the two competing ground states, as the temperature is lowered. The increase in the heat loss correlates with the increase in magnetic viscosity in the phase-separated state. Keywords: manganites, avalanche effect, phase transition, heat flow, DSC, entropy. Corresponding author: allimas@sandia.gov . On 10 April 2020, this JAC-Elsevier article was accepted. Yet, its online publication shows numerous errors: Cut-off text, missing Figure Captions, incomplete Table ... None of which is our fault! This makes our paper hard to read, study and/or understand. This reproduction is our final (error-free!) revision. When citing our refereed paper, please also refer to this arXiv print. Thank you for understanding


title: Anisotropic optical properties of detwinned BaFe$_{2}$As$_{2}$

abstract: The optical properties of a large, detwinned single crystal of BaFe$_2$As$_2$ have been examined over a wide frequency range above and below the structural and magnetic transition at $T_{\rm N}\simeq 138$ K. Above $T_{\rm N}$ the real part of the optical conductivity and the two infrared-active lattice modes are almost completely isotropic; the lattice modes show a weak polarization dependence just above $T_{\rm N}$. For $T<T_{\rm N}$, the optical conductivity due to the free-carrier response is anisotropic, being larger along the $a$ axis than the $b$ axis below $\simeq 30$ meV; above this energy the optical conductivity is dominated by the interband contributions, which appear to be isotropic. The splitting of the low-energy infrared-active mode below $T_{\rm N}$ is clearly observed, and the polarization modulation of the new modes may be used to estimate that the crystal is $\simeq 70$% detwinned. The high-frequency mode, with a threefold increase in strength of the lower branch below $T_{\rm N}$ and nearly silent upper branch, remains enigmatic.


title: Forecasting volatility with a stacked model based on a hybridized Artificial Neural Network

abstract: An appropriate calibration and forecasting of volatility and market risk are some of the main challenges faced by companies that have to manage the uncertainty inherent to their investments or funding operations such as banks, pension funds or insurance companies. This has become even more evident after the 2007-2008 Financial Crisis, when the forecasting models assessing the market risk and volatility failed. Since then, a significant number of theoretical developments and methodologies have appeared to improve the accuracy of the volatility forecasts and market risk assessments. Following this line of thinking, this paper introduces a model based on using a set of Machine Learning techniques, such as Gradient Descent Boosting, Random Forest, Support Vector Machine and Artificial Neural Network, where those algorithms are stacked to predict S&P500 volatility. The results suggest that our construction outperforms other habitual models on the ability to forecast the level of volatility, leading to a more accurate assessment of the market risk.


title: Sharp Statistical Guarantees for Adversarially Robust Gaussian Classification

abstract: Adversarial robustness has become a fundamental requirement in modern machine learning applications. Yet, there has been surprisingly little statistical understanding so far. In this paper, we provide the first result of the optimal minimax guarantees for the excess risk for adversarially robust classification, under Gaussian mixture model proposed by \cite{schmidt2018adversarially}. The results are stated in terms of the Adversarial Signal-to-Noise Ratio (AdvSNR), which generalizes a similar notion for standard linear classification to the adversarial setting. For the Gaussian mixtures with AdvSNR value of $r$, we establish an excess risk lower bound of order $\Theta(e^{-(\frac{1}{8}+o(1)) r^2} \frac{d}{n})$ and design a computationally efficient estimator that achieves this optimal rate. Our results built upon minimal set of assumptions while cover a wide spectrum of adversarial perturbations including $\ell_p$ balls for any $p \ge 1$.


title: On the Privacy-Utility Tradeoff in Peer-Review Data Analysis

abstract: A major impediment to research on improving peer review is the unavailability of peer-review data, since any release of such data must grapple with the sensitivity of the peer review data in terms of protecting identities of reviewers from authors. We posit the need to develop techniques to release peer-review data in a privacy-preserving manner. Identifying this problem, in this paper we propose a framework for privacy-preserving release of certain conference peer-review data -- distributions of ratings, miscalibration, and subjectivity -- with an emphasis on the accuracy (or utility) of the released data. The crux of the framework lies in recognizing that a part of the data pertaining to the reviews is already available in public, and we use this information to post-process the data released by any privacy mechanism in a manner that improves the accuracy (utility) of the data while retaining the privacy guarantees. Our framework works with any privacy-preserving mechanism that operates via releasing perturbed data. We present several positive and negative theoretical results, including a polynomial-time algorithm for improving on the privacy-utility tradeoff.


title: Some connections of complex dynamics

abstract: We survey some of the connections linking complex dynamics to other fields of mathematics and science. We hope to show that complex dynamics is not just interesting on its own but also has value as an applicable theory.


title: Small Nash Equilibrium Certificates in Very Large Games

abstract: In many game settings, the game is not explicitly given but is only accessible by playing it. While there have been impressive demonstrations in such settings, prior techniques have not offered safety guarantees, that is, guarantees on the game-theoretic exploitability of the computed strategies. In this paper we introduce an approach that shows that it is possible to provide exploitability guarantees in such settings without ever exploring the entire game. We introduce a notion of a certificate of an extensive-form approximate Nash equilibrium. For verifying a certificate, we give an algorithm that runs in time linear in the size of the certificate rather than the size of the whole game. In zero-sum games, we further show that an optimal certificate -- given the exploration so far -- can be computed with any standard game-solving algorithm (e.g., using a linear program or counterfactual regret minimization). However, unlike in the cases of normal form or perfect information, we show that certain families of extensive-form games do not have small approximate certificates, even after making extremely nice assumptions on the structure of the game. Despite this difficulty, we find experimentally that very small certificates, even exact ones, often exist in large and even in infinite games. Overall, our approach enables one to try one's favorite exploration strategies while offering exploitability guarantees, thereby decoupling the exploration strategy from the equilibrium-finding process.


title: Neural Network Middle-Term Probabilistic Forecasting of Daily Power Consumption

abstract: Middle-term horizon (months to a year) power consumption prediction is a main challenge in the energy sector, in particular when probabilistic forecasting is considered. We propose a new modelling approach that incorporates trend, seasonality and weather conditions, as explicative variables in a shallow Neural Network with an autoregressive feature. We obtain excellent results for density forecast on the one-year test set applying it to the daily power consumption in New England U.S.A.. The quality of the achieved power consumption probabilistic forecasting has been verified, on the one hand, comparing the results to other standard models for density forecasting and, on the other hand, considering measures that are frequently used in the energy sector as pinball loss and CI backtesting.


title: A Macroeconomic SIR Model for COVID-19

abstract: The current COVID-19 pandemic and subsequent lockdowns have highlighted the close and delicate relationship between a country's public health and economic health. Macroeconomic models that use preexisting epidemic models to calculate the impacts of a disease outbreak are therefore extremely useful for policymakers seeking to evaluate the best course of action in such a crisis. We develop an SIR model of the COVID-19 pandemic that explicitly considers herd immunity, behavior-dependent transmission rates, remote workers, and indirect externalities of lockdown. This model is presented as an exit time control problem where lockdown ends when the population achieves herd immunity, either naturally or via a vaccine. A social planner prescribes separate levels of lockdown for two separate sections of the adult population: low-risk (ages 20-64) and high-risk (ages 65 and over). These levels are determined via optimization of an objective function which assigns a macroeconomic cost to the level of lockdown and the number of deaths. We find that, by ending lockdowns once herd immunity is reached, high-risk individuals are able to leave lockdown significantly before the arrival of a vaccine without causing large increases in mortality. Moreover, if we incorporate a behavior-dependent transmission rate which represents increased personal caution in response to increased infection levels, both output loss and total mortality are lowered. Lockdown efficacy is further increased when there is less interaction between low- and high-risk individuals, and increased remote work decreases output losses. Overall, our model predicts that a lockdown which ends at the arrival of herd immunity, combined with individual actions to slow virus transmission, can reduce total mortality to one-third of the no-lockdown level, while allowing high-risk individuals to leave lockdown well before vaccine arrival.


title: New Conductive Opacities for White Dwarf Envelopes

abstract: Thanks to their continuous cooling and relative simplicity, white dwarf stars are routinely used to measure the ages of stellar populations. The usefulness of white dwarfs as cosmochronometers depends on the availability of accurate cooling models. A key ingredient of those models are the conductive opacities, which largely govern the cooling rate. In this work, we present improved conductive opacities for the regime of moderate coupling and moderate degeneracy that characterizes an important portion of the envelopes of DA and DB white dwarfs. We find differences of up to a factor 3 between our calculations and the commonly used opacities of Cassisi et al. (2007), which we attribute to an improved account of electron-electron scattering. The cooling models are strongly affected by those changes in the conductive opacities: the age of a 4000 K white dwarf can be reduced by as much as 2 Gyr. We provide analytical fits to our new opacities to facilitate the implementation of this important effect in white dwarf evolution codes.


title: Now that we are together: Biography of the Chilean Collective of Women Mathematicians

abstract: In this article we propose to give an account of the history of the Chilean collective of women mathematicians. We will begin by describing the context of the mathematical community in Chile and the process of forming the Collective, together with the first objectives we set ourselves. Then we will continue with an analysis of some reasons that support the need to create a group formed by mathematical women and also the fact of choosing horizontality and autonomy as structural pillars of our organization. On the other hand, we will refer to the main activities that we have carried out and we will provide an overview of the mathematical women's organizations that exist in Latin America. Finally, we will conclude by talking about the research project to which some of the members of the collective are dedicated nowadays (in particular the authors of this article).


title: Approximating Network Centrality Measures Using Node Embedding and Machine Learning

abstract: Extracting information from real-world large networks is a key challenge nowadays. For instance, computing a node centrality may become unfeasible depending on the intended centrality due to its computational cost. One solution is to develop fast methods capable of approximating network centralities. Here, we propose an approach for efficiently approximating node centralities for large networks using Neural Networks and Graph Embedding techniques. Our proposed model, entitled Network Centrality Approximation using Graph Embedding (NCA-GE), uses the adjacency matrix of a graph and a set of features for each node (here, we use only the degree) as input and computes the approximate desired centrality rank for every node. NCA-GE has a time complexity of $O(|E|)$, $E$ being the set of edges of a graph, making it suitable for large networks. NCA-GE also trains pretty fast, requiring only a set of a thousand small synthetic scale-free graphs (ranging from 100 to 1000 nodes each), and it works well for different node centralities, network sizes, and topologies. Finally, we compare our approach to the state-of-the-art method that approximates centrality ranks using the degree and eigenvector centralities as input, where we show that the NCA-GE outperforms the former in a variety of scenarios.


title: COAX: Correlation-Aware Indexing on Multidimensional Data with Soft Functional Dependencies

abstract: Recent work proposed learned index structures, which learn the distribution of the underlying dataset to improve performance. The initial work on learned indexes has shown that by learning the cumulative distribution function of the data, index structures such as the B-Tree can improve their performance by one order of magnitude while having a smaller memory footprint. In this paper, we present COAX, a learned index for multidimensional data that, instead of learning the distribution of keys, learns the correlations between attributes of the dataset. Our approach is driven by the observation that in many datasets, values of two (or multiple) attributes are correlated. COAX exploits these correlations to reduce the dimensionality of the datasets. More precisely, we learn how to infer one (or multiple) attribute $C_d$ from the remaining attributes and hence no longer need to index attribute $C_d$. This reduces the dimensionality and hence makes the index smaller and more efficient. We theoretically investigate the effectiveness of the proposed technique based on the predictability of the FD attributes. We further show experimentally that by predicting correlated attributes in the data, we can improve the query execution time and reduce the memory overhead of the index. In our experiments, we reduce the execution time by 25% while reducing the memory footprint of the index by four orders of magnitude.


title: Propagation of periodic wave trains along the magnetic field in a collision-free plasma

abstract: In this work, a systematic study, examining the propagation of periodic and solitary wave along the magnetic field in a cold collision-free plasma, is presented. Employing the quasi-neutral approximation and the conservation of momentum flux and energy flux in the frame co-traveling with the wave, the exact analytical solution of the stationary solitary pulse is found analytically in terms of particle densities, parallel and transverse velocities, as well as transverse magnetic fields. Subsequently, this solution is generalized in the form of periodic waveforms represented by cnoidal-type waves. These considerations are fully analytical in the case where the total angular momentum flux $L$, due to the ion and electron motion together with the contribution due to the Maxwell stresses, vanishes. A graphical representation of all associated fields is also provided.


title: On Bellman's Optimality Principle for zs-POSGs

abstract: Many non-trivial sequential decision-making problems are efficiently solved by relying on Bellman's optimality principle, i.e., exploiting the fact that sub-problems are nested recursively within the original problem. Here we show how it can apply to (infinite horizon) 2-player zero-sum partially observable stochastic games (zs-POSGs) by (i) taking a central planner's viewpoint, which can only reason on a sufficient statistic called occupancy state, and (ii) turning such problems into zero-sum occupancy Markov games (zs-OMGs). Then, exploiting the Lipschitz-continuity of the value function in occupancy space, one can derive a version of the HSVI algorithm (Heuristic Search Value Iteration) that provably finds an $\epsilon$-Nash equilibrium in finite time.


title: Applying Skolem Sequences to Gracefully Label New Families of Triangular Windmills

abstract: A function $f$ is a \textit{graceful labelling} of a graph $G=(V,E)$ with $m$ edges if $f$ is an injection $f:V\mapsto \{0,1,2,\dots,m\}$ such that each edge $uv \in E$ is assigned the label $|f(u)-f(v)|$, and no two edge labels are the same. If a graph G has a graceful labelling, we say that $G$ itself is graceful. In this paper, we prove any Dutch windmill with three pendant triangles is (near) graceful, which settles Rosa's conjecture for a new family of triangular cacti.


title: Entropy current and efficiency of quantum machines driven by nonequilibrium incoherent reservoirs

abstract: Nanotechnology has not only provided us the possibility of developing quantum machines but also noncanonical power sources able to drive them. Here we focus on studying the performance of quantum machines driven by arbitrary combinations of equilibrium reservoirs and a form of engineered reservoirs consisting of noninteracting particles but whose distribution functions are nonthermal. We provide the expressions for calculating the maximum efficiency of those machines without needing any knowledge of how the nonequilibrium reservoirs were actually made. The formulas require the calculation of a quantity that we term entropy current, which we also derive. We illustrate our methodology through a solvable toy model where heat "spontaneously" flows against the temperature gradient.


title: Transition densities of spectrally positive L\'evy processes

abstract: We prove asymptotic behaviour of transition density for a large class of spectrally one-sided L\'evy processes of unbounded variation satisfying mild condition imposed on the second derivative of the Laplace exponent, or equivalently, on the real part of the characteristic exponent. We also provide sharp two-sided estimates on the density when restricted additionally to processes without Gaussian component.


title: An agent-based model of interdisciplinary interactions in science

abstract: An increased interdisciplinarity in science projects has been highlighted as crucial to tackle complex real-world challenges, but also as beneficial for the development of disciplines themselves. This paper introduces a parcimonious agent-based model of interdisciplinary relationships in collective entreprises of knowledge discovery, to investigate the impact of scientist-level decisions and preferences on global interdisciplinarity patterns. Under the assumption of simple rules for individual researcher project management, such as trade-offs between invested time overhead and knowledge benefit, model simulations show that individual choices influence the distribution of compromise points between emergent level of disciplinary depth and interdisciplinarity in a non-linear way. Different structures for collaboration networks may also yield various outcomes in terms of global interdisciplinarity. We conclude that independently of the research field, the organization of research, and more particularly the local balancing between vertical and horizontal research, already influences the final positioning of research results and the extent of the knowledge front. This suggests direct applications to research policies with a bottom-up leverage on the interactions between disciplines.


title: Vehicle Attribute Recognition by Appearance: Computer Vision Methods for Vehicle Type, Make and Model Classification

abstract: This paper studies vehicle attribute recognition by appearance. In the literature, image-based target recognition has been extensively investigated in many use cases, such as facial recognition, but less so in the field of vehicle attribute recognition. We survey a number of algorithms that identify vehicle properties ranging from coarse-grained level (vehicle type) to fine-grained level (vehicle make and model). Moreover, we discuss two alternative approaches for these tasks, including straightforward classification and a more flexible metric learning method. Furthermore, we design a simulated real-world scenario for vehicle attribute recognition and present an experimental comparison of the two approaches.


title: Transition control of a tail-sitter UAV using recurrent neural networks

abstract: This paper presents the implementation of a Recurrent Neural Network (RNN) based-controller for the stabilization of the flight transition maneuver (hover-cruise and vice versa) of a tail-sitter UAV. The control strategy is based on attitude and velocity stabilization. For that aim, the RNN is used for the estimation of high nonlinear aerodynamic terms during the transition stage. Then, this estimate is used together with a feedback linearization technique for stabilizing the entire system. Results show convergence of linear velocities and the pitch angle during the transition maneuver. To analyze the performance of our proposed control strategy, we present simulations for the transition from hover to cruise and vice versa.


title: Reading Between the Demographic Lines: Resolving Sources of Bias in Toxicity Classifiers

abstract: The censorship of toxic comments is often left to the judgment of imperfect models. Perspective API, a creation of Google technology incubator Jigsaw, is perhaps the most widely used toxicity classifier in industry; the model is employed by several online communities including The New York Times to identify and filter out toxic comments with the goal of preserving online safety. Unfortunately, Google's model tends to unfairly assign higher toxicity scores to comments containing words referring to the identities of commonly targeted groups (e.g., "woman,'' "gay,'' etc.) because these identities are frequently referenced in a disrespectful manner in the training data. As a result, comments generated by marginalized groups referencing their identities are often mistakenly censored. It is important to be cognizant of this unintended bias and strive to mitigate its effects. To address this issue, we have constructed several toxicity classifiers with the intention of reducing unintended bias while maintaining strong classification performance.


title: ANA at SemEval-2020 Task 4: mUlti-task learNIng for cOmmonsense reasoNing (UNION)

abstract: In this paper, we describe our mUlti-task learNIng for cOmmonsense reasoNing (UNION) system submitted for Task C of the SemEval2020 Task 4, which is to generate a reason explaining why a given false statement is non-sensical. However, we found in the early experiments that simple adaptations such as fine-tuning GPT2 often yield dull and non-informative generations (e.g. simple negations). In order to generate more meaningful explanations, we propose UNION, a unified end-to-end framework, to utilize several existing commonsense datasets so that it allows a model to learn more dynamics under the scope of commonsense reasoning. In order to perform model selection efficiently, accurately and promptly, we also propose a couple of auxiliary automatic evaluation metrics so that we can extensively compare the models from different perspectives. Our submitted system not only results in a good performance in the proposed metrics but also outperforms its competitors with the highest achieved score of 2.10 for human evaluation while remaining a BLEU score of 15.7. Our code is made publicly available at GitHub.


title: Multi-sensory Integration in a Quantum-Like Robot Perception Model

abstract: Formalisms inspired by Quantum theory have been used in Cognitive Science for decades. Indeed, Quantum-Like (QL) approaches provide descriptive features that are inherently suitable for perception, cognition, and decision processing. A preliminary study on the feasibility of a QL robot perception model has been carried out for a robot with limited sensing capabilities. In this paper, we generalize such a model for multi-sensory inputs, creating a multidimensional world representation directly based on sensor readings. Given a 3-dimensional case study, we highlight how this model provides a compact and elegant representation, embodying features that are extremely useful for modeling uncertainty and decision. Moreover, the model enables to naturally define query operators to inspect any world state, which answers quantifies the robot's degree of belief on that state.


title: Unsupervised Calibration under Covariate Shift

abstract: A probabilistic model is said to be calibrated if its predicted probabilities match the corresponding empirical frequencies. Calibration is important for uncertainty quantification and decision making in safety-critical applications. While calibration of classifiers has been widely studied, we find that calibration is brittle and can be easily lost under minimal covariate shifts. Existing techniques, including domain adaptation ones, primarily focus on prediction accuracy and do not guarantee calibration neither in theory nor in practice. In this work, we formally introduce the problem of calibration under domain shift, and propose an importance sampling based approach to address it. We evaluate and discuss the efficacy of our method on both real-world datasets and synthetic datasets.


title: Recovery of Sparse Signals from a Mixture of Linear Samples

abstract: Mixture of linear regressions is a popular learning theoretic model that is used widely to represent heterogeneous data. In the simplest form, this model assumes that the labels are generated from either of two different linear models and mixed together. Recent works of Yin et al. and Krishnamurthy et al., 2019, focus on an experimental design setting of model recovery for this problem. It is assumed that the features can be designed and queried with to obtain their label. When queried, an oracle randomly selects one of the two different sparse linear models and generates a label accordingly. How many such oracle queries are needed to recover both of the models simultaneously? This question can also be thought of as a generalization of the well-known compressed sensing problem (Cand\`es and Tao, 2005, Donoho, 2006). In this work, we address this query complexity problem and provide efficient algorithms that improves on the previously best known results.


title: Dynamic Hedging using Generated Genetic Programming Implied Volatility Models

abstract: The purpose of this paper is to improve the accuracy of dynamic hedging using implied volatilities generated by genetic programming. Using real data from S&P500 index options, the genetic programming's ability to forecast Black and Scholes implied volatility is compared between static and dynamic training-subset selection methods. The performance of the best generated GP implied volatilities is tested in dynamic hedging and compared with Black-Scholes model. Based on MSE total, the dynamic training of GP yields better results than those obtained from static training with fixed samples. According to hedging errors, the GP model is more accurate almost in all hedging strategies than the BS model, particularly for in-the-money call options and at-the-money put options.


title: PoPE: A population-based approach to model spatial structure of astronomical systems

abstract: We present a novel population-based Bayesian inference approach to model the average and population variance of spatial distribution of a set of observables from ensemble analysis of low signal-to-noise ratio measurements. The method consists of (1) inferring the average profile using Gaussian Processes and (2) computing the covariance of the profile observables given a set of independent variables. Our model is computationally efficient and capable of inferring average profiles of a large population size from noisy measurements, without stacking and binning data nor parameterizing the shape of the mean profile. We demonstrate the performance of our method using dark matter, gas and stellar profiles extracted from hydrodynamical cosmological simulations of galaxy formation. Population Profile Estimator (PoPE) is publicly available in a GitHub repository. Our new method should be useful for measuring the spatial distribution and internal structure of a variety of astrophysical systems using large astronomical surveys.


title: A Bayesian regularization-backpropagation neural network model for peeling computations

abstract: Bayesian regularization-backpropagation neural network (BR-BPNN) model is employed to predict some aspects of the gecko spatula peeling viz. the variation of the maximum normal and tangential pull-off forces and the resultant force angle at detachment with the peeling angle. K-fold cross validation is used to improve the effectiveness of the model. The input data is taken from finite element (FE) peeling results. The neural network is trained with 75% of the FE dataset. The remaining 25% are utilized to predict the peeling behavior. The training performance is evaluated for every change in the number of hidden layer neurons to determine the optimal network structure. The relative error is calculated to draw a clear comparison between predicted and FE results. It is shown that the BR-BPNN model in conjunction with k-fold technique has significant potential to estimate the peeling behavior.


title: Thermal conductivity and enhanced thermoelectric performance of SnTe bilayer

abstract: Tin chalcogenides (SnS, SnSe, and SnTe) are found to have improved thermoelectric properties upon the reduction of their dimensionality. Here we found the tilted AA + s stacked two-dimensional (2D) SnTe bilayer as the most stable phase among several stackings as predicted by the structural optimization and phonon transport properties. The carrier mobility and relaxation time are evaluated using the deformation potential theory, which is found to be relatively high due to the high 2D elastic modulus, low deformation potential constant, and moderate effective masses. The SnTe bilayer shows a high Seebeck coefficient, high electrical conductivity, and ultralow lattice thermal conductivity. High TE figure of merit (ZT) values, as high as 4.61 along the zigzag direction, are predicted for the SnTe bilayer. These ZT values are much enhanced as compared to the bulk as well as monolayer SnTe and other 2D compounds.


title: Hands-off Model Integration in Spatial Index Structures

abstract: Spatial indexes are crucial for the analysis of the increasing amounts of spatial data, for example generated through IoT applications. The plethora of indexes that has been developed in recent decades has primarily been optimised for disk. With increasing amounts of memory even on commodity machines, however, moving them to main memory is an option. Doing so opens up the opportunity to use additional optimizations that are only amenable to main memory. In this paper we thus explore the opportunity to use light-weight machine learning models to accelerate queries on spatial indexes. We do so by exploring the potential of using interpolation and similar techniques on the R-tree, arguably the most broadly used spatial index. As we show in our experimental analysis, the query execution time can be reduced by up to 60% while simultaneously shrinking the index's memory footprint by over 90%


title: Radio frequency field-induced electron mobility in an ultracold plasma state of arrested relaxation

abstract: Penning ionization releases electrons in a state-selected Rydberg gas of nitric oxide entrained in a supersonic molecular beam. Subsequent processes of electron impact avalanche, bifurcation, and quench form a strongly coupled, spatially correlated ultracold plasma of NO$^+$ ions and electrons that exhibits characteristics of self-organized criticality. This plasma contains a residue of nitric oxide Rydberg molecules. A conventional fluid dynamics of ion-electron-Rydberg quasi-equilibrium predicts rapid decay to neutral atoms. Instead, the NO plasma endures for a millisecond or more, suggesting that quenched disorder creates a state of suppressed electron mobility. Supporting this proposition, a 60 MHz radiofrequency field with a peak-to-peak amplitude less than 1 V cm$^{-1}$ acts dramatically to mobilize electrons, causing the plasma to dissipate by dissociative recombination and Rydberg predissociation. An evident density dependence shows that this effect relies on collisions, giving weight to the idea of arrested relaxation as a cooperative property of the ensemble.


title: T Tauri stars as $\gamma$-ray source in the Rho Ophiuchi region

abstract: More than 30 % of $\gamma$-ray sources detected in the last source catalog of the Fermi satellite have no observational counterpart at other frequencies. A significant fraction of these sources is positionally in agreement with star-forming regions dominated by associations of T Tauri stars. Rho Ophiuchi, which is one of the closest star-forming regions, matches the unidentified Fermi source 4FGL J1625.3-2338. In this work we modeled the spectral energy distribution considering some dominant radiative processes in T Tauri stars. Accounting for a total of 22 Class III T Tauri stars in the region, integrated $\gamma$-ray luminosity in the 100 MeV to 100 GeV energy range is consistent with the observed in the catalog for the 4FGL J1625.3-2338 source.


title: Groups with a solvable subgroup of prime-power index

abstract: In this paper we describe some properties of groups $G$ that contain a solvable subgroup of finite prime-power index (Theorem 1 and Corollaries 2--3). We prove that if $G$ is a non-solvable group that contains a solvable subgroup of index $p^{\alpha}$ (for some prime $p$), then the quotient $G/\mbox{rad}(G)$ of $G$ over the solvable radical is asymptotically small in comparison to $p^{\alpha}!$ (Theorem 4).


title: Potential energy curve for the $a^3\Sigma_u^+$ state of lithium dimer with Slater-type orbitals

abstract: We report state-of-the-art ab initio calculations of the potential energy curve for the $a^3\Sigma_u^+$ state of the lithium dimer conducted to achieve spectroscopic accuracy ($<$1cm$^{-1}$) without any prior adjustment to fit the corresponding experimental data. The nonrelativistic clamped-nuclei component of the interaction energy is calculated with a composite method involving six-electron coupled cluster and full configuration interaction theories combined with basis sets of Slater-type orbitals ranging in quality from double- to sextuple-zeta. To go beyond the nonrelativistic Born-Oppenheimer picture we include both the leading-order relativistic and adiabatic corrections, and find both of these effects to be non-negligible within the present accuracy standards. The potential energy curve developed by us allowed to calculate molecular parameters ($D_e$, $D_0$, $\omega_e$ etc.) for this system, as well as the corresponding vibrational energy levels, with an error of only a few tenths of a wavenumber ($0.2-0.4\,$cm$^{-1}$). We also report an ab initio value for the scattering length of two $^2S$ lithium atoms which determines the stability of the related Bose-Einstein condensate.


title: A Complete Framework for Tau Polarimetry in $B\to D^{(*)}\tau\nu$ Decays

abstract: The meson decays $B\to D\tau\nu$ and $B\to D^* \tau \nu$ are sensitive probes of the $b\to c\tau\nu$ transition. In this work we present a complete framework to obtain the maximum information on the physics of $B\to D^{(*)}\tau\nu$ with polarized $\tau$ leptons and unpolarized $D^{(*)}$ mesons. Focusing on the hadronic decays $\tau\to \pi\nu$ and $\tau\to\rho\nu$, we show how to extract seven $\tau$ asymmetries from a fully differential analysis of the final-state kinematics. At Belle II with $50~\text{ab}^{-1}$ of data, these asymmetries could potentially be measured with percent level statistical uncertainty. This would open a new window into possible new physics contributions in $b\to c\tau\nu$ and would allow us to decipher its Lorentz and gauge structure.


title: Affine cones over cubic surfaces are flexible in codimension one

abstract: Let Y be a smooth del Pezzo surface of degree 3 polarized by a very ample divisor that is not proportional to the anticanonical one. Then the affine cone over Y is flexible in codimension one. Equivalently, such a cone has an open subset with an infinitely transitive action of the special automorphism group on it.


title: Cyclical Electromechanical Error Denial System Using Matrix Profile

abstract: We propose that the Matrix Profile data structure, conventionally applied to large scale time-series data mining, is applicable to the analysis and suppression of cyclical error in electromechanical systems, paving the way for an intelligent family of adaptable control systems which respond to environmental error at a computational cost low enough to be practical in embedded applications. We construct and evaluate the efficacy of a control algorithm utilizing the Matrix Profile, which we call Cyclical Electromechanical Error Denial System (CEEDS).


title: Bergman space zero sets, modular forms, von Neumann algebras and ordered groups

abstract: $A^2_{\alpha}$ will denote the weighted $L^2$ Bergman space. Given a subset $S$ of the open unit disc we define $\Omega(S)$ to be the infimum of $\{s| \exists f \in A^2_{s-2}, f\neq 0, \mbox{ having $S$ as its zero set} \}$.By classical results on Hardy space there are sets $S$ for which $\Omega(S)=1$. Using von Neumann dimension techniques and cusp forms we give examples of $S$ where $1<\Omega(S)<\infty$. By using a left order on certain Fuchsian groups we are able to calculate $\Omega(S)$ exactly if $\Omega (S)$ is the orbit of a Fuchsian group. This technique also allows us to derive in a new way well known results on zeros of cusp forms and indeed calculate the whole algebra of modular forms for \pslz.


title: Improving neural network predictions of material properties with limited data using transfer learning

abstract: We develop new transfer learning algorithms to accelerate prediction of material properties from ab initio simulations based on density functional theory (DFT). Transfer learning has been successfully utilized for data-efficient modeling in applications other than materials science, and it allows transferable representations learned from large datasets to be repurposed for learning new tasks even with small datasets. In the context of materials science, this opens the possibility to develop generalizable neural network models that can be repurposed on other materials, without the need of generating a large (computationally expensive) training set of materials properties. The proposed transfer learning algorithms are demonstrated on predicting the Gibbs free energy of light transition metal oxides.


title: Benchmarking Hamiltonian Noise in the D-Wave Quantum Annealer

abstract: Various sources of noise limit the performance of quantum computers by altering qubit states in an uncontrolled manner throughout computations and reducing their coherence time. In quantum annealers, this noise introduces additional fluctuations to the parameters defining the original problem Hamiltonian, such that they find the ground states of problems perturbed from those originally programmed. Here we describe a method to benchmark the amount of noise affecting the programmed Hamiltonian of a quantum annealer. We show that a sequence of degenerate runs with the coefficients of the programmed Hamiltonian set to zero leads to an estimate of the noise spectral density affecting Hamiltonian parameters "in situ" during the quantum annealing protocol. The method is demonstrated in D-Wave's lower noise 2000 qubit device (DW_2000Q_6) and in its recently released 5000 qubit device (Advantage_system1.1). Our benchmarking of DW_2000Q_6 shows Hamiltonian noise dominated by the $1/f^{0.7}$ frequency dependence characteristic of flux noise intrinsic to the materials forming flux qubits. In contrast, Advantage_system1.1 is found to be affected by additional noise sources for low annealing times, with underlying intrinsic flux noise amplitudes $2-3$ times higher than in DW_2000Q_6 for all annealing times.


title: Ideal Membership Problem for Boolean Minority

abstract: The Ideal Membership Problem (IMP) tests if an input polynomial $f\in \mathbb{F}[x_1,\dots,x_n]$ with coefficients from a field $\mathbb{F}$ belongs to a given ideal $I \subseteq \mathbb{F}[x_1,\dots,x_n]$. It is a well-known fundamental problem with many important applications, though notoriously intractable in the general case. In this paper we consider the IMP for polynomial ideals encoding combinatorial problems and where the input polynomial $f$ has degree at most $d=O(1)$ (we call this problem IMP$_d$). A dichotomy result between ``hard'' (NP-hard) and ``easy'' (polynomial time) IMPs was recently achieved for Constraint Satisfaction Problems over finite domains [Bulatov FOCS'17, Zhuk FOCS'17] (this is equivalent to IMP$_0$) and IMP$_d$ for the Boolean domain [Mastrolilli SODA'19], both based on the classification of the IMP through functions called polymorphisms. The complexity of the IMP$_d$ for five polymorphisms has been solved in [Mastrolilli SODA'19] whereas for the ternary minority polymorphism it was incorrectly declared to have been resolved by a previous result. As a matter of fact the complexity of the IMP$_d$ for the ternary minority polymorphism is open. In this paper we provide the missing link by proving that the IMP$_d$ for Boolean combinatorial ideals whose constraints are closed under the minority polymorphism can be solved in polynomial time. This result, along with the results in [Mastrolilli SODA'19], completes the identification of the precise borderline of tractability for the IMP$_d$ for constrained problems over the Boolean domain. This paper is motivated by the pursuit of understanding the issue of bit complexity of Sum-of-Squares proofs raised by O'Donnell [ITCS'17]. Raghavendra and Weitz [ICALP'17] show how the IMP$_d$ tractability for combinatorial ideals implies bounded coefficients in Sum-of-Squares proofs.


title: Efficient Algorithms for Device Placement of DNN Graph Operators

abstract: Modern machine learning workloads use large models, with complex structures, that are very expensive to execute. The devices that execute complex models are becoming increasingly heterogeneous as we see a flourishing of domain-specific accelerators being offered as hardware accelerators in addition to CPUs. These trends necessitate distributing the workload across multiple devices. Recent work has shown that significant gains can be obtained with model parallelism, i.e, partitioning a neural network's computational graph onto multiple devices. In particular, this form of parallelism assumes a pipeline of devices, which is fed a stream of samples and yields high throughput for training and inference of DNNs. However, for such settings (large models and multiple heterogeneous devices), we require automated algorithms and toolchains that can partition the ML workload across devices. In this paper, we identify and isolate the structured optimization problem at the core of device placement of DNN operators, for both inference and training, especially in modern pipelined settings. We then provide algorithms that solve this problem to optimality. We demonstrate the applicability and efficiency of our approaches using several contemporary DNN computation graphs.


title: Learning Patterns of Tourist Movement and Photography from Geotagged Photos at Archaeological Heritage Sites in Cuzco, Peru

abstract: The popularity of media sharing platforms in recent decades has provided an abundance of open source data that remains underutilized by heritage scholars. By pairing geotagged internet photographs with machine learning and computer vision algorithms, we build upon the current theoretical discourse of anthropology associated with visuality and heritage tourism to identify travel patterns across a known archaeological heritage circuit, and quantify visual culture and experiences in Cuzco, Peru. Leveraging large-scale in-the-wild tourist photos, our goals are to (1) understand how the intensification of tourism intersects with heritage regulations and social media, aiding in the articulation of travel patterns across Cuzco's heritage landscape; and to (2) assess how aesthetic preferences and visuality become entangled with the rapidly evolving expectations of tourists, whose travel narratives are curated on social media and grounded in historic site representations.


title: Extensions of Veech groups I: A hyperbolic action

abstract: Given a lattice Veech group in the mapping class group of a closed surface $S$, this paper investigates the geometry of $\Gamma$, the associated $\pi_1S$--extension group. We prove that $\Gamma$ is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing "obvious" product regions of the universal cover produces an action of $\Gamma$ on a hyperbolic space, retaining most of the geometry of $\Gamma$. This action is a key ingredient in the sequel where we show that $\Gamma$ is hierarchically hyperbolic and quasi-isometrically rigid.


title: An enhanced finite difference time domain method for two dimensional Maxwell's equations

abstract: An efficient finite-difference time-domain (FDTD) algorithm is built to solve the transverse electric 2D Maxwell's equations with inhomogeneous dielectric media where the electric fields are discontinuous across the dielectric interface. The new algorithm is derived based upon the integral version of the Maxwell's equations as well as the relationship between the electric fields across the interface. It is an improvement over the contour-path effective-permittivity algorithm by including some extra terms in the formulas. The scheme is validated in solving the scattering of a dielectric cylinder with exact solution from Mie theory and is then compared with the above contour-path method, the usual staircase and the volume-average method. The numerical results demonstrate that the new algorithm has achieved significant improvement in accuracy over the other methods. Furthermore, the algorithm has a simple structure and can be merged into any existing FDTD software package very easily.


title: Biologically Inspired Mechanisms for Adversarial Robustness

abstract: A convolutional neural network strongly robust to adversarial perturbations at reasonable computational and performance cost has not yet been demonstrated. The primate visual ventral stream seems to be robust to small perturbations in visual stimuli but the underlying mechanisms that give rise to this robust perception are not understood. In this work, we investigate the role of two biologically plausible mechanisms in adversarial robustness. We demonstrate that the non-uniform sampling performed by the primate retina and the presence of multiple receptive fields with a range of receptive field sizes at each eccentricity improve the robustness of neural networks to small adversarial perturbations. We verify that these two mechanisms do not suffer from gradient obfuscation and study their contribution to adversarial robustness through ablation studies.


title: Existence and stability of electromagnetic Stekloff eigenvalues with a trace class modification

abstract: A recent area of interest is the development and study of eigenvalue problems arising in scattering theory that may provide potential target signatures for use in nondestructive testing of materials. We consider a generalization of the electromagnetic Stekloff eigenvalue problem that depends upon a smoothing parameter, for which we establish two main results that were previously unavailable for this type of eigenvalue problem. First, we use the theory of trace class operators to prove that infinitely many eigenvalues exist for a sufficiently high degree of smoothing, even for an absorbing medium. Second, we leverage regularity results for Maxwell's equations in order to establish stability results for the eigenvalues with respect to the material coefficients, and we show that this generalized class of Stekloff eigenvalues converges to the standard class as the smoothing parameter approaches zero.


title: Stealth dark matter confinement transition and gravitational waves

abstract: We use non-perturbative lattice calculations to investigate the finite-temperature confinement transition of stealth dark matter, focusing on the regime in which this early-universe transition is first order and would generate a stochastic background of gravitational waves. Stealth dark matter extends the standard model with a new strongly coupled SU(4) gauge sector with four massive fermions in the fundamental representation, producing a stable spin-0 'dark baryon' as a viable composite dark matter candidate. Future searches for stochastic gravitational waves will provide a new way to discover or constrain stealth dark matter, in addition to previously investigated direct-detection and collider experiments. As a first step to enabling this phenomenology, we determine how heavy the dark fermions need to be in order to produce a first-order stealth dark matter confinement transition.


title: Distorted Torsion Tensor, Teleparallelism and Spin 2 Field Equations

abstract: A notion of distorted torsion tensor was introduced by Okubo, in the establishment of the Nijenhuis-Bianchi identity and of BRST-like operators. These quantities are constructed with the help of the Nijenhuis tensor, which in turn is defined in terms of a (1,1) tensor $S^\lambda_\mu$. This tensor enters the construction of the distorted torsion tensor. We use this tensor to extend the teleparallel equivalent of general relativity (TEGR) into a theory defined by the tetrad fields and by the tensor $S^\lambda_\mu$. The ordinary TEGR is recovered if $S^\lambda_\mu=\delta^\lambda_\mu$. We consider the flat space-time formulation of the theory, in terms of $S^\lambda_\mu$ only, and show that this tensor satisfies the wave equation for massless spin 2 fields.


title: VAE-KRnet and its applications to variational Bayes

abstract: In this work, we have proposed a generative model, called VAE-KRnet, for density estimation or approximation, which combines the canonical variational autoencoder (VAE) with our recently developed flow-based generative model, called KRnet. VAE is used as a dimension reduction technique to capture the latent space, and KRnet is used to model the distribution of the latent variable. Using a linear model between the data and the latent variable, we show that VAE-KRnet can be more effective and robust than the canonical VAE. VAE-KRnet can be used as a density model to approximate either data distribution or an arbitrary probability density function (PDF) known up to a constant. VAE-KRnet is flexible in terms of dimensionality. When the number of dimensions is relatively small, KRnet can effectively approximate the distribution in terms of the original random variable. For high-dimensional cases, we may use VAE-KRnet to incorporate dimension reduction. One important application of VAE-KRnet is the variational Bayes for the approximation of the posterior distribution. The variational Bayes approaches are usually based on the minimization of the Kullback-Leibler (KL) divergence between the model and the posterior. For high-dimensional distributions, it is very challenging to construct an accurate density model due to the curse of dimensionality, where extra assumptions are often introduced for efficiency. For instance, the classical mean-field approach assumes mutual independence between dimensions, which often yields an underestimated variance due to oversimplification. To alleviate this issue, we include into the loss the maximization of the mutual information between the latent random variable and the original random variable, which helps keep more information from the region of low density such that the estimation of variance is improved.


title: Observed Metallization of Hydrogen Interpreted as a Band Structure Effect

abstract: A recent experimental study of the metallization of hydrogen tracked the direct band gap and vibron frequency via infrared measurements up to ~425 GPa [P. Loubeyre et al., Nature 577, 631 (2020)]. Above this pressure, the direct gap has a discontinuous drop to below the minimum experimentally accessible energy (~0.1 eV). The authors suggested that this observation is caused by a structural phase transition between the C2/c-24 molecular phase to another molecular phase such as Cmca-12. Here, through ab initio calculations of pressure dependent vibron frequency and direct band gap, we find that the experimental data is consistent with the C2/c-24 phase up to 425 GPa, and suggest that this consistency extends beyond that pressure. Specifically, we find that qualitative changes in the band structure of the C2/c-24 phase lead to a discontinuous drop of the direct band gap, which can explain the observed drop without a structural transition. This alternative scenario naturally explains the absence of hysteresis in the measurements.


title: Fast OSCAR and OWL Regression via Safe Screening Rules

abstract: Ordered Weighted $L_{1}$ (OWL) regularized regression is a new regression analysis for high-dimensional sparse learning. Proximal gradient methods are used as standard approaches to solve OWL regression. However, it is still a burning issue to solve OWL regression due to considerable computational cost and memory usage when the feature or sample size is large. In this paper, we propose the first safe screening rule for OWL regression by exploring the order of the primal solution with the unknown order structure via an iterative strategy, which overcomes the difficulties of tackling the non-separable regularizer. It effectively avoids the updates of the parameters whose coefficients must be zero during the learning process. More importantly, the proposed screening rule can be easily applied to standard and stochastic proximal gradient methods. Moreover, we prove that the algorithms with our screening rule are guaranteed to have identical results with the original algorithms. Experimental results on a variety of datasets show that our screening rule leads to a significant computational gain without any loss of accuracy, compared to existing competitive algorithms.


title: Efficient Continuous Pareto Exploration in Multi-Task Learning

abstract: Tasks in multi-task learning often correlate, conflict, or even compete with each other. As a result, a single solution that is optimal for all tasks rarely exists. Recent papers introduced the concept of Pareto optimality to this field and directly cast multi-task learning as multi-objective optimization problems, but solutions returned by existing methods are typically finite, sparse, and discrete. We present a novel, efficient method that generates locally continuous Pareto sets and Pareto fronts, which opens up the possibility of continuous analysis of Pareto optimal solutions in machine learning problems. We scale up theoretical results in multi-objective optimization to modern machine learning problems by proposing a sample-based sparse linear system, for which standard Hessian-free solvers in machine learning can be applied. We compare our method to the state-of-the-art algorithms and demonstrate its usage of analyzing local Pareto sets on various multi-task classification and regression problems. The experimental results confirm that our algorithm reveals the primary directions in local Pareto sets for trade-off balancing, finds more solutions with different trade-offs efficiently, and scales well to tasks with millions of parameters.


title: Odd dimensional counterparts of abelian complex and hypercomplex structures

abstract: We introduce the notion of abelian almost contact structures on an odd dimensional real Lie algebra $\mathfrak g$. This a sufficient condition for the structure to be normal. We investigate correspondences with even dimensional real Lie algebras endowed with an abelian complex structure, and with K\"ahler Lie algebras when $\mathfrak g$ carries a compatible inner product. The classification of 5-dimensional Sasakian Lie algebras with abelian structure is obtained. Later, we introduce and study abelian almost 3-contact structures on real Lie algebras of dimension $4n+3$. These are given by triples of abelian almost contact structures, satisfying certain compatibility conditions, which are equivalent to the existence of a sphere of abelian almost contact structures. We obtain the classification of these Lie algebras in dimension 7. Finally, we deal with the geometry of a Lie group $G$ endowed with a left invariant abelian almost 3-contact structure and a compatible left invariant Riemannian metric. We determine conditions for $G$ to admit a special metric connection with totally skew-symmetric torsion, called canonical, which plays the role of the Bismut connection for HKT structures arising from abelian hypercomplex structures. We provide examples and discuss the parallelism of the torsion of the canonical connection.


title: Augmentations and immersed Lagrangian fillings

abstract: For a Legendrian link $\Lambda \subset J^1M$ with $M = \mathbb{R}$ or $S^1$, immersed exact Lagrangian fillings $L \subset \mbox{Symp}(J^1M) \cong T^*(\mathbb{R}_{>0} \times M)$ of $\Lambda$ can be lifted to conical Legendrian fillings $\Sigma \subset J^1(\mathbb{R}_{>0} \times M)$ of $\Lambda$. When $\Sigma$ is embedded, using the version of functoriality for Legendrian contact homology (LCH) from [30], for each augmentation $\alpha: \mathcal{A}(\Sigma) \rightarrow \mathbb{Z}/2$ of the LCH algebra of $\Sigma$, there is an induced augmentation $\epsilon_{(\Sigma,\alpha)}: \mathcal{A}(\Lambda) \rightarrow \mathbb{Z}/2$. With $\Sigma$ fixed, the set of homotopy classes of all such induced augmentations, $I_\Sigma \subset \mathit{Aug}(\Lambda)/{\sim}$, is a Legendrian isotopy invariant of $\Sigma$. We establish methods to compute $I_\Sigma$ based on the correspondence between Morse complex families and augmentations. This includes developing a functoriality for the cellular DGA from [31] with respect to Legendrian cobordisms, and proving its equivalence to the functoriality for LCH. For arbitrary $n \geq 1$, we give examples of Legendrian torus knots with $2n$ distinct conical Legendrian fillings distinguished by their induced augmentation sets. We prove that when $\rho \neq 1$ and $\Lambda \subset J^1\mathbb{R}$ every $\rho$-graded augmentation of $\Lambda$ can be induced in this manner by an immersed Lagrangian filling. Alternatively, this is viewed as a computation of cobordism classes for an appropriate notion of $\rho$-graded augmented Legendrian cobordism.


title: Mitigating Manipulation in Peer Review via Randomized Reviewer Assignments

abstract: We consider three important challenges in conference peer review: (i) reviewers maliciously attempting to get assigned to certain papers to provide positive reviews, possibly as part of quid-pro-quo arrangements with the authors; (ii) "torpedo reviewing," where reviewers deliberately attempt to get assigned to certain papers that they dislike in order to reject them; (iii) reviewer de-anonymization on release of the similarities and the reviewer-assignment code. On the conceptual front, we identify connections between these three problems and present a framework that brings all these challenges under a common umbrella. We then present a (randomized) algorithm for reviewer assignment that can optimally solve the reviewer-assignment problem under any given constraints on the probability of assignment for any reviewer-paper pair. We further consider the problem of restricting the joint probability that certain suspect pairs of reviewers are assigned to certain papers, and show that this problem is NP-hard for arbitrary constraints on these joint probabilities but efficiently solvable for a practical special case. Finally, we experimentally evaluate our algorithms on datasets from past conferences, where we observe that they can limit the chance that any malicious reviewer gets assigned to their desired paper to 50% while producing assignments with over 90% of the total optimal similarity. Our algorithms still achieve this similarity while also preventing reviewers with close associations from being assigned to the same paper.


title: Practical Leverage-Based Sampling for Low-Rank Tensor Decomposition

abstract: The low-rank canonical polyadic tensor decomposition is useful in data analysis and can be computed by solving a sequence of overdetermined least squares subproblems. Motivated by consideration of sparse tensors, we propose sketching each subproblem using leverage scores to select a subset of the rows, with probabilistic guarantees on the solution accuracy. We randomly sample rows proportional to leverage score upper bounds that can be efficiently computed using the special Khatri-Rao subproblem structure inherent in tensor decomposition. Crucially, for a $(d+1)$-way tensor, the number of rows in the sketched system is $O(r^d/\epsilon)$ for a decomposition of rank $r$ and $\epsilon$-accuracy in the least squares solve, independent of both the size and the number of nonzeros in the tensor. Along the way, we provide a practical solution to the generic matrix sketching problem of sampling overabundance for high-leverage-score rows, proposing to include such rows deterministically and combine repeated samples in the sketched system; we conjecture that this can lead to improved theoretical bounds. Numerical results on real-world large-scale tensors show the method is significantly faster than deterministic methods at nearly the same level of accuracy.


title: Negativity of the Wigner function and thermal effects of Bell-Cat states

abstract: We applied the Thermofield Dynamics formalism to analyze how the non-classical properties of the Bell-Cat states are influenced by a gradual change of temperature values, in a thermal equilibrium system. To this purpose we calculate the thermal Wigner functions for these states, whose negative volume is associated with non-classical properties, and we evaluate how these non-classical features vary with temperature. Our results indicate that these properties are almost absent for temperatures of around $2\mathrm{K}$.


title: A global dual error bound and its application to the analysis of linearly constrained nonconvex optimization

abstract: Error bound analysis, which estimates the distance of a point to the solution set of an optimization problem using the optimality residual, is a powerful tool for the analysis of first-order optimization algorithms. In this paper, we use global error bound analysis to study the iteration complexity of a first-order algorithm for a linearly constrained nonconvex minimization problem. we develop a global dual error bound analysis for a regularized version of this nonconvex problem by using a novel ``decomposition'' technique. Equipped with this global dual error bound, we prove that a suitably designed primal-dual first order method can generate an $\epsilon$-stationary solution of the linearly constrained nonconvex minimization problem within $\mathcal{O}(1/\epsilon^2)$ iterations, which is the best known iteration complexity for this class of nonconvex problems.


title: Investigating the Effects of Mobility Metrics in Mobile Ad Hoc Networks

abstract: Mobile Ad Hoc Networks (MANETs) are formed by a collection of mobile nodes (MNs) that are capable of moving from one location to another location. These networks are widely identified by their unique characteristics such as lack of infrastructure, mobility and multi-hop communication. Unlike traditional (wired) networks, MNs in MANETs do not rely on any infrastructure or central management. Mobility allows MNs to move at different values of speed. Multi-hop communication is used to deliver data across the entire network. Due to mobility and changing network topology, the performance of these networks is significantly affected by the choice of mobility models and routing protocols. Our research work aims to evaluate the effects of mobility metrics on distinguishing between entity and group mobility models in MANETs. In addition, we demonstrate the interactions between mobility metrics and performance metrics. We also investigate how effective are the mobility metrics and which metrics can clearly distinguish between entity and group mobility models? We performed extensive simulations using network simulator, ns-2.35, to capture mobility metrics as well as different performance metrics. Simulation results reveal the efficiency of mobility metrics on distinguishing between entity and group mobility models. We also obtain useful interactions between mobility metrics and performance metrics. The results presented in this paper provide new insights into the variability of mobility metrics in MANETs. Furthermore, our simulation results reveal better understanding of the relationships between mobility metrics (e.g., relative speed, node degree, network partitions etc.) and performance metrics (e.g., packet delivery ratio, end-to-end delay and normalized routing load


title: Provable Online CP/PARAFAC Decomposition of a Structured Tensor via Dictionary Learning

abstract: We consider the problem of factorizing a structured 3-way tensor into its constituent Canonical Polyadic (CP) factors. This decomposition, which can be viewed as a generalization of singular value decomposition (SVD) for tensors, reveals how the tensor dimensions (features) interact with each other. However, since the factors are a priori unknown, the corresponding optimization problems are inherently non-convex. The existing guaranteed algorithms which handle this non-convexity incur an irreducible error (bias), and only apply to cases where all factors have the same structure. To this end, we develop a provable algorithm for online structured tensor factorization, wherein one of the factors obeys some incoherence conditions, and the others are sparse. Specifically we show that, under some relatively mild conditions on initialization, rank, and sparsity, our algorithm recovers the factors exactly (up to scaling and permutation) at a linear rate. Complementary to our theoretical results, our synthetic and real-world data evaluations showcase superior performance compared to related techniques. Moreover, its scalability and ability to learn on-the-fly makes it suitable for real-world tasks.


title: SN 2018hti: a nearby superluminous supernova discovered in a metal-poor galaxy

abstract: SN 2018hti is a Type I superluminous supernova (SLSN~I) with an absolute $g$-band magnitude of $-22.2$ at maximum brightness, discovered in a metal-poor galaxy at a redshift of 0.0612. We present extensive photometric and spectroscopic observations of this supernova, covering the phases from $\sim -35$ days to more than +340 days from the $r$-band maximum. Combining our $BVgri$-band photometry with {\it Swift} UVOT optical/ultraviolet photometry, we calculated the peak luminosity as $\sim 3.5\times10^{44}$ erg s$^{-1}$. Modeling the observed light curve reveals that the luminosity evolution of SN 2018hti can be produced by an ejecta mass of 5.8 $M_\odot$ and a magnetar with a magnetic field of $B=1.8\times10^{13}$~G having an initial spin period of $P_0=1.8$ ms. Based on such a magnetar-powered scenario and a larger sample, a correlation between the spin of the magnetar and the kinetic energy of the ejecta can be inferred for most SLSNe~I, suggesting a self-consistent scenario. Like for other SLSNe~I, the host galaxy of SN 2018hti is found to be relatively faint ($M_{g} = -17.75$ mag) and of low metallicity ($Z=0.3~Z_\odot$), with a star-formation rate of 0.3 $M_\odot$ yr$^{-1}$. According to simulation results of single-star evolution, SN 2018hti could originate from a massive, metal-poor star with a zero-age main sequence (ZAMS) mass of 25--40 $M_\odot$, or from a less massive rotating star with $M_\mathrm{ZAMS} \approx 16$--25 $M_\odot$. For the case of a binary system, its progenitor could also be a star with $M_\mathrm{ZAMS} \gtrsim 25$ $M_\odot$.


title: Preparing for the quantum revolution -- what is the role of higher education?

abstract: Quantum sensing, quantum networking and communication, and quantum computing have attracted significant attention recently, as these quantum technologies offer significant advantages over existing technologies. In order to accelerate the commercialization of these quantum technologies the workforce must be equipped with the necessary skills. Through a qualitative study of the quantum industry, in a series of interviews with 21 U.S. companies carried out in Fall 2019, we describe the types of activities being carried out in the quantum industry, profile the types of jobs that exist, and describe the skills valued across the quantum industry, as well as in each type of job. The current routes into the quantum industry are detailed, providing a picture of the current role of higher education in training the quantum workforce. Finally, we present the training and hiring challenges the quantum industry is facing and how higher education may optimize the important role it is currently playing.


title: Perspectives on How To Conduct Responsible Anti-Human Trafficking Research in Operations and Analytics

abstract: Human trafficking, the commercial exploitation of individuals, is a gross violation of human rights and harms societies, economies, health and development. The related disciplines of Operations Management (OM), Analytics, and Operations Research (OR) are uniquely positioned to support trafficking prevention and intervention efforts by efficiently evaluating a plethora of decision alternatives, and providing quantitative, actionable insights. As operations and analytical efforts in the counter-trafficking field emerge, it is imperative to grasp subtle yet distinctive nuances associated with human trafficking. This note is intended to inform those practitioners working in the field by highlighting key features of human trafficking activity. We grouped nine themes around three broad categories: (1) representation of human trafficking, (2) consideration of survivors and communities, and (3) analytics related. These insights are derived from our collective experience in working in this area and substantiated by domain expertise.


title: Variational principles for the exit time of non-symmetric diffusions

abstract: In this paper we develop some new variational principles for the exit time of non-symmetric diffusions from a domain. As applications, we give some comparison theorems and monotonicity law between different diffusions.


title: On the control theorem for fine Selmer groups and the growth of fine Tate-Shafarevich groups in $\mathbb{Z}_p$-extensions

abstract: Let $A$ be an abelian variety defined over a number field $F$. We prove a control theorem for the fine Selmer group of the abelian variety $A$ which essentially says that the kernel and cokernel of the natural restriction maps in a given $\mathbb{Z}_p$-extension $F_\infty/F$ are finite and bounded. We emphasise that our result does not have any constraints on the reduction of $A$ and the ramification of $F_\infty/F$. As a first consequence of the control theorem, we show that the fine Tate-Shafarevich group over an arbitrary $\mathbb{Z}_p$-extension has trivial $\Lambda$-corank. We then derive an asymptotic growth formula for the $p$-torsion subgroup of the dual fine Selmer group in a $\mathbb{Z}_p$-extension. However, as the fine Mordell-Weil group needs not be $p$-divisible in general, the fine Tate-Shafarevich group needs not agree with the $p$-torsion of the dual fine Selmer group, and so the asymptotic growth formula for the dual fine Selmer groups do not carry over to the fine Tate-Shafarevich groups. Nevertheless, we do provide certain sufficient conditions, where one can obtain a precise asymptotic formula.