title: Nonlinear axion electrodynamics: Axionically induced electric flares in the early magnetized universe

abstract: We consider the nonlinearly extended Einstein-Maxwell-axion theory, which is based on the account for two symmetries: first, the discrete symmetry associated with the properties of the axion field, second, the Jackson's symmetry, prescribing to the electrodynamics to be invariant with respect to the rotation in the plane coordinated by the electric and magnetic fields. We derive the master equations of the nonlinearly extended theory, and apply them to the Bianchi-I model with magnetic field. The main result, describing the behavior of the nonlinearly coupled axion, electromagnetic and gravitational fields is the anomalous growth of the axionically induced electric field in the early magnetized Universe. The character of behavior of this anomalous electric field can be indicated by the term flare. We expect, that these electric flares can produce the electron-positron pair creation, significant acceleration of the born charged particles, and emission of the electromagnetic waves by these accelerated particles.


title: Unsupervised Selective Labeling for More Effective Semi-Supervised Learning

abstract: Given an unlabeled dataset and an annotation budget, we study how to selectively label a fixed number of instances so that semi-supervised learning (SSL) on such a partially labeled dataset is most effective. We focus on selecting the right data to label, in addition to usual SSL's propagating labels from labeled data to the rest unlabeled data. This instance selection task is challenging, as without any labeled data we do not know what the objective of learning should be. Intuitively, no matter what the downstream task is, instances to be labeled must be representative and diverse: The former would facilitate label propagation to unlabeled data, whereas the latter would ensure coverage of the entire dataset. We capture this idea by selecting cluster prototypes, either in a pretrained feature space, or along with feature optimization, both without labels. Our unsupervised selective labeling consistently improves SSL methods over state-of-the-art active learning given labeled data, by 8 to 25 times in label efficiency. For example, it boosts FixMatch by 10% (14%) in accuracy on CIFAR-10 (ImageNet-1K) with 0.08% (0.2%) labeled data, demonstrating that small computation spent on selecting what data to label brings significant gain especially under a low annotation budget. Our work sets a new standard for practical and efficient SSL.


title: Unsupervised Multimodal Language Representations using Convolutional Autoencoders

abstract: Multimodal Language Analysis is a demanding area of research, since it is associated with two requirements: combining different modalities and capturing temporal information. During the last years, several works have been proposed in the area, mostly centered around supervised learning in downstream tasks. In this paper we propose extracting unsupervised Multimodal Language representations that are universal and can be applied to different tasks. Towards this end, we map the word-level aligned multimodal sequences to 2-D matrices and then use Convolutional Autoencoders to learn embeddings by combining multiple datasets. Extensive experimentation on Sentiment Analysis (MOSEI) and Emotion Recognition (IEMOCAP) indicate that the learned representations can achieve near-state-of-the-art performance with just the use of a Logistic Regression algorithm for downstream classification. It is also shown that our method is extremely lightweight and can be easily generalized to other tasks and unseen data with small performance drop and almost the same number of parameters. The proposed multimodal representation models are open-sourced and will help grow the applicability of Multimodal Language.


title: Numerical evidence for a Haagerup conformal field theory

abstract: We numerically study an anyon chain based on the Haagerup fusion category, and find evidence that it leads in the long-distance limit to a conformal field theory whose central charge is $\sim 2$. Fusion categories generalize the concept of finite group symmetries to non-invertible symmetry operations, and the Haagerup fusion category is the simplest one which comes neither from finite groups nor affine Lie algebras. As such, ours is the first example of conformal field theories which have truly exotic generalized symmetries.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math.OA math.QA


title: The symmetrization map and $\Gamma$-contractions

abstract: The symmetrization map $\pi:\mathbb C^2\rightarrow \mathbb C^2$ is defined by $ \pi(z_1,z_2)=(z_1+z_2,z_1z_2). $ The closed symmetrized bidisc $\Gamma$ is the symmetrization of the closed unit bidisc $\overline{\mathbb D^2}$, that is, \[ \Gamma = \pi(\overline{\mathbb D^2})=\{ (z_1+z_2,z_1z_2)\,:\, |z_i|\leq 1, i=1,2 \}. \] A pair of commuting Hilbert space operators $(S,P)$ for which $\Gamma$ is a spectral set is called a $\Gamma$-contraction. Unlike the scalars in $\Gamma$, a $\Gamma$-contraction may not arise as a symmetrization of a pair of commuting contractions, even not as a symmetrization of a pair of commuting bounded operators. We characterize all $\Gamma$-contractions which are symmetrization of pairs of commuting contractions. We show by constructing a family of examples that even if a $\Gamma$-contraction $(S,P)=(T_1+T_2,T_1T_2)$ for a pair of commuting bounded operators $T_1,T_2$, no real number less than $2$ can be a bound for the set $\{ \|T_1\|,\|T_2\| \}$ in general. Then we prove that every $\Gamma$-contraction $(S,P)$ is the restriction of a $\Gamma$-contraction $(\widetilde S, \widetilde P)$ to a common reducing subspace of $\widetilde S, \widetilde P$ and that $(\widetilde S, \widetilde P)=(A_1+A_2,A_1A_2)$ for a pair of commuting operators $A_1,A_2$ with $\max \{\|A_1\|, \|A_2\|\} \leq 2$. We find new characterizations for the $\Gamma$-unitaries and describe the distinguished boundary of $\Gamma$ in a different way. We also show some interplay between the fundamental operators of two $\Gamma$-contractions $(S,P)$ and $(S_1,P)$.


title: AECMOS: A speech quality assessment metric for echo impairment

abstract: Traditionally, the quality of acoustic echo cancellers is evaluated using intrusive speech quality assessment measures such as ERLE \cite{g168} and PESQ \cite{p862}, or by carrying out subjective laboratory tests. Unfortunately, the former are not well correlated with human subjective measures, while the latter are time and resource consuming to carry out. We provide a new tool for speech quality assessment for echo impairment which can be used to evaluate the performance of acoustic echo cancellers. More precisely, we develop a neural network model to evaluate call quality degradations in two separate categories: echo and degradations from other sources. We show that our model is accurate as measured by correlation with human subjective quality ratings. Our tool can be used effectively to stack rank echo cancellation models. AECMOS is being made publicly available as an Azure service.


title: Empirical Analysis of Bi-directional Wi-Fi Network Performance on Mobile Robots in Indoor Environments

abstract: This paper proposes a framework to measure the important metrics (throughput, delay, packet retransmits, signal strength, etc.) to determine Wi-Fi network performance of mobile robots supported by the Robot Operating Systems (ROS) middleware. We analyze the bidirectional network performance of mobile robots through an experimental setup in an indoor environment, where a mobile robot is communicating vital sensor data such as video streaming from the camera(s) and LiDAR scan values to a command station while it navigates an indoor environment through teleoperated velocity commands received from the command station. The experiments evaluate the performance under 2.4 GHz and 5 GHz channels with different placement of Access Points (AP) with up to two network devices on each side. The framework is generalizable to vehicular network evaluation and the discussions and insights from this study apply to the field robotics community, where the wireless network plays a key role in enabling the success of robotic missions in real-world environments.


title: Emphasis control for parallel neural TTS

abstract: Recent parallel neural text-to-speech (TTS) synthesis methods are able to generate speech with high fidelity while maintaining high performance. However, these systems often lack control over the output prosody, thus restricting the semantic information conveyable for a given text. This paper proposes a hierarchical parallel neural TTS system for prosodic emphasis control by learning a latent space that directly corresponds to a change in emphasis. Three candidate features for the latent space are compared: 1) Variance of pitch and duration within words in a sentence, 2) Wavelet-based feature computed from pitch, energy, and duration, and 3) Learned combination of the two aforementioned approaches. At inference time, word-level prosodic emphasis is achieved by increasing the feature values of the latent space for the given words. Experiments show that all the proposed methods are able to achieve the perception of increased emphasis with little loss in overall quality. Moreover, emphasized utterances were preferred in a pairwise comparison test over the non-emphasized utterances, indicating promise for real-world applications.


title: Evidence for the preferential disruption of moderately massive stars by supermassive black holes

abstract: Tidal disruption events (TDEs) provide a unique opportunity to probe the stellar populations around supermassive black holes (SMBHs). By combining light curve modeling with spectral line information and knowledge about the stellar populations in the host galaxies, we are able to constrain the properties of the disrupted star for three TDEs. The TDEs in our sample have UV spectra, and measurements of the UV N III to C III line ratios enabled estimates of the nitrogen-to-carbon abundance ratios for these events. We show that the measured nitrogen line widths are consistent with originating from the disrupted stellar material dispersed by the central SMBH. We find that these nitrogen-to-carbon abundance ratios necessitate the disruption of moderately massive stars ($\gtrsim 1 - 2 M_\odot$). We determine that these moderately massive disruptions are over-represented by a factor of $\gtrsim 10^2$ when compared to the overall stellar population of the post-starburst galaxy hosts. This implies that SMBHs are preferentially disrupting higher mass stars, possibly due to ongoing top-heavy star formation in nuclear star clusters or to dynamical mechanisms that preferentially transport higher mass stars to their tidal radii.


title: Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)

abstract: Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective in the deployment of safety-critical CPSs. Central for a successful application of such techniques is the construction of an accurate formal model for the system. Manual construction can be a resource-demanding and error-prone process, thus motivating the design of automata learning algorithms to synthesise a system model from observed system behaviours. This paper revisits and adapts the classic Baum-Welch algorithm for learning Markov decision processes and Markov chains. For the case of MDPs, which typically demand more observations, we present a model-based active learning sampling strategy that choses examples which are most informative w.r.t.\ the current model hypothesis. We empirically compare our approach with state-of-the-art tools and demonstrate that the proposed active learning procedure can significantly reduce the number of observations required to obtain accurate models.


title: Fast and flexible preconditioners for solving multilinear systems

abstract: This paper investigates a type of fast and flexible preconditioners to solve multilinear system $\mathcal{A}\textbf{x}^{m-1}=\textbf{b}$ with $\mathcal{M}$-tensor $\mathcal{A}$ and obtains some important convergent theorems about preconditioned Jacobi, Gauss-Seidel and SOR type iterative methods. The main results theoretically prove that the preconditioners can accelerate the convergence of iterations. Numerical examples are presented to reverify the efficiency of the proposed preconditioned methods.


title: DeepBBS: Deep Best Buddies for Point Cloud Registration

abstract: Recently, several deep learning approaches have been proposed for point cloud registration. These methods train a network to generate a representation that helps finding matching points in two 3D point clouds. Finding good matches allows them to calculate the transformation between the point clouds accurately. Two challenges of these techniques are dealing with occlusions and generalizing to objects of classes unseen during training. This work proposes DeepBBS, a novel method for learning a representation that takes into account the best buddy distance between points during training. Best Buddies (i.e., mutual nearest neighbors) are pairs of points nearest to each other. The Best Buddies criterion is a strong indication for correct matches that, in turn, leads to accurate registration. Our experiments show improved performance compared to previous methods. In particular, our learned representation leads to an accurate registration for partial shapes and in unseen categories.


title: Two-Bit Aggregation for Communication Efficient and Differentially Private Federated Learning

abstract: In federated learning (FL), a machine learning model is trained on multiple nodes in a decentralized manner, while keeping the data local and not shared with other nodes. However, FL requires the nodes to also send information on the model parameters to a central server for aggregation. However, the information sent from the nodes to the server may reveal some details about each node's local data, thus raising privacy concerns. Furthermore, the repetitive uplink transmission from the nodes to the server may result in a communication overhead and network congestion. To address these two challenges, in this paper, a novel two-bit aggregation algorithm is proposed with guaranteed differential privacy and reduced uplink communication overhead. Extensive experiments demonstrate that the proposed aggregation algorithm can achieve the same performance as state-of-the-art approaches on datasets such as MNIST, Fashion MNIST, CIFAR-10, and CIFAR-100, while ensuring differential privacy and improving communication efficiency.


title: Pooling problems under perfect and imperfect competition

abstract: We investigate pooling problems in which multiple players vie with one another to maximize individual profit in a non-cooperative competitive market. This competitive setting is interesting and worthy of study because the majority of prevailing process systems engineering models largely overlook the non-cooperative strategies that exist in real-world markets. In this work, each player controls a processing network involving intermediate tanks (or pools) where raw materials are blended together before being further combined into final products. Each player then solves a pure or mixed-integer bilinear optimization problem whose profit is influenced by other players. We present several bilevel formulations and numerical results of a novel decomposition algorithm.


title: Generalized Erd\H{o}s-Tur\'an inequalities and stability of energy minimizers

abstract: The classical Erd\H{o}s-Tur\'an inequality on the distribution of roots for complex polynomials can be equivalently stated in a potential theoretic formulation, that is, if the logarithmic potential generated by a probability measure on the unit circle is close to $0$, then this probability measure is close to the uniform distribution. We generalize this classical inequality from $d=1$ to higher dimensions $d>1$ with the class of Riesz potentials which includes the logarithmic potential as a special case. In order to quantify how close a probability measure is to the uniform distribution in a general space, we use Wasserstein-infinity distance as a canonical extension of the concept of discrepancy. Then we give a compact description of this distance. Then for every dimension $d$, we prove inequalities bounding the Wasserstein-infinity distance between a probability measure $\rho$ and the uniform distribution by the $L^p$-norm of the Riesz potentials generated by $\rho$. Our inequalities are proven to be sharp up to the constants for singular Riesz potentials. Our results indicate that the phenomenon discovered by Erd\H{o}s and Tur\'an about polynomials is much more universal than it seems. Finally we apply these inequalities to prove stability theorems for energy minimizers, which provides a complementary perspective on the recent construction of energy minimizers with clustering behavior.


title: Efficient Methods for Online Multiclass Logistic Regression

abstract: Multiclass logistic regression is a fundamental task in machine learning with applications in classification and boosting. Previous work (Foster et al., 2018) has highlighted the importance of improper predictors for achieving "fast rates" in the online multiclass logistic regression problem without suffering exponentially from secondary problem parameters, such as the norm of the predictors in the comparison class. While Foster et al. (2018) introduced a statistically optimal algorithm, it is in practice computationally intractable due to its run-time complexity being a large polynomial in the time horizon and dimension of input feature vectors. In this paper, we develop a new algorithm, FOLKLORE, for the problem which runs significantly faster than the algorithm of Foster et al.(2018) -- the running time per iteration scales quadratically in the dimension -- at the cost of a linear dependence on the norm of the predictors in the regret bound. This yields the first practical algorithm for online multiclass logistic regression, resolving an open problem of Foster et al.(2018). Furthermore, we show that our algorithm can be applied to online bandit multiclass prediction and online multiclass boosting, yielding more practical algorithms for both problems compared to the ones in Foster et al.(2018) with similar performance guarantees. Finally, we also provide an online-to-batch conversion result for our algorithm.


title: Effect of immunization through vaccination on the SIS epidemic spreading model

abstract: We analyze the susceptible-infected-susceptible model for epidemic spreading in which a fraction of the individuals become immune by vaccination. This process is understood as a dilution by vaccination, which decreases the fraction of the susceptible individuals. For a nonzero fraction of vaccinated individuals, the model predicts a new state in which the disease spreads but eventually becomes extinct. The new state emerges when the fraction of vaccinated individuals is greater than a critical value. The model predicts that this critical value increases as one increases the infection rate reaching an asymptotic value, which is strictly less than the unity. Above this asymptotic value, the extinction occurs no matter how large the infection rate is.


title: Tribuo: Machine Learning with Provenance in Java

abstract: Machine Learning models are deployed across a wide range of industries, performing a wide range of tasks. Tracking these models and ensuring they behave appropriately is becoming increasingly difficult as the number of deployed models increases. There are also new regulatory burdens for ML systems which affect human lives, requiring a link between a model and its training data in high-risk situations. Current ML monitoring systems often provide provenance and experiment tracking as a layer on top of an ML library, allowing room for imperfect tracking and skew between the tracked object and the metadata. In this paper we introduce Tribuo, a Java ML library that integrates model training, inference, strong type-safety, runtime checking, and automatic provenance recording into a single framework. All Tribuo's models and evaluations record the full processing pipeline for input data, along with the training algorithms, hyperparameters and data transformation steps automatically. The provenance lives inside the model object and can be persisted separately using common markup formats. Tribuo implements many popular ML algorithms for classification, regression, clustering, multi-label classification and anomaly detection, along with interfaces to XGBoost, TensorFlow and ONNX Runtime. Tribuo's source code is available at https://github.com/oracle/tribuo under an Apache 2.0 license with documentation and tutorials available at https://tribuo.org.


title: A counterexample to a strengthening of a question of Milman

abstract: Let $|\cdot|$ be the standard Euclidean norm on $\mathbb{R}^n$ and let $X=(\mathbb{R}^n,\|\cdot\|)$ be a normed space. A subspace $Y\subset X$ is \emph{strongly $\alpha$-Euclidean} if there is a constant $t$ such that $t|y|\leq\|y\|\leq\alpha t|y|$ for every $y\in Y$, and say that it is \emph{strongly $\alpha$-complemented} if $\|P_Y\|\leq\alpha$, where $P_Y$ is the orthogonal projection from $X$ to $Y$ and $\|P_Y\|$ denotes the operator norm of $P_Y$ with respect to the norm on $X$. We give an example of a normed space $X$ of arbitrarily high dimension that is strongly 2-Euclidean but contains no 2-dimensional subspace that is both strongly $(1+\epsilon)$-Euclidean and strongly $(1+\epsilon)$-complemented, where $\epsilon>0$ is an absolute constant. This example is closely related to an old question of Vitali Milman.


title: A Fast Randomized Algorithm for Massive Text Normalization

abstract: Many popular machine learning techniques in natural language processing and data mining rely heavily on high-quality text sources. However real-world text datasets contain a significant amount of spelling errors and improperly punctuated variants where the performance of these models would quickly deteriorate. Moreover, real-world, web-scale datasets contain hundreds of millions or even billions of lines of text, where the existing text cleaning tools are prohibitively expensive to execute over and may require an overhead to learn the corrections. In this paper, we present FLAN, a scalable randomized algorithm to clean and canonicalize massive text data. Our algorithm relies on the Jaccard similarity between words to suggest correction results. We efficiently handle the pairwise word-to-word comparisons via Locality Sensitive Hashing (LSH). We also propose a novel stabilization process to address the issue of hash collisions between dissimilar words, which is a consequence of the randomized nature of LSH and is exacerbated by the massive scale of real-world datasets. Compared with existing approaches, our method is more efficient, both asymptotically and in empirical evaluations, and does not rely on additional features, such as lexical/phonetic similarity or word embedding features. In addition, FLAN does not require any annotated data or supervised learning. We further theoretically show the robustness of our algorithm with upper bounds on the false positive and false negative rates of corrections. Our experimental results on real-world datasets demonstrate the efficiency and efficacy of FLAN.


title: Metastable dynamics of neural circuits and networks

abstract: Cortical neurons emit seemingly erratic trains of action potentials or "spikes," and neural network dynamics emerge from the coordinated spiking activity within neural circuits. These rich dynamics manifest themselves in a variety of patterns, which emerge spontaneously or in response to incoming activity produced by sensory inputs. In this Review, we focus on neural dynamics that is best understood as a sequence of repeated activations of a number of discrete hidden states. These transiently occupied states are termed "metastable" and have been linked to important sensory and cognitive functions. In the rodent gustatory cortex, for instance, metastable dynamics have been associated with stimulus coding, with states of expectation, and with decision making. In frontal, parietal, and motor areas of macaques, metastable activity has been related to behavioral performance, choice behavior, task difficulty, and attention. In this article, we review the experimental evidence for neural metastable dynamics together with theoretical approaches to the study of metastable activity in neural circuits. These approaches include (i) a theoretical framework based on non-equilibrium statistical physics for network dynamics; (ii) statistical approaches to extract information about metastable states from a variety of neural signals; and (iii) recent neural network approaches, informed by experimental results, to model the emergence of metastable dynamics. By discussing these topics, we aim to provide a cohesive view of how transitions between different states of activity may provide the neural underpinnings for essential functions such as perception, memory, expectation, or decision making, and more generally, how the study of metastable neural activity may advance our understanding of neural circuit function in health and disease.


title: Human Capabilities as Guiding Lights for the Field of AI-HRI: Insights from Engineering Education

abstract: Social Justice oriented Engineering Education frameworks have been developed to help guide engineering students' decisions about which projects will genuinely address human needs to create a better and more equitable society. In this paper, we explore the role such theories might play in the field of AI-HRI, consider the extent to which our community is (or is not) aligned with these recommendations, and envision a future in which our research community takes guidance from these theories. In particular, we analyze recent AI-HRI (through analysis of 2020 AI-HRI papers) and consider possible futures of AI-HRI (through a speculative ethics exercise). Both activities are guided through the lens of the Engineering for Social Justice (E4SJ) framework, which centers contextual listening and enhancement of human capabilities. Our analysis suggests that current AI-HRI research is not well aligned with the guiding principles of Engineering for Social Justice, and as such, does not obviously meet the needs of the communities we could be helping most. As such, we suggest that motivating future work through the E4SJ framework could help to ensure that we as researchers are developing technologies that will actually lead to a more equitable world.


title: Dynamically Decoding Source Domain Knowledge for Domain Generalization

abstract: Optimizing the performance of classifiers on samples from unseen domains remains a challenging problem. While most existing studies on domain generalization focus on learning domain-invariant feature representations, multi-expert frameworks have been proposed as a possible solution and have demonstrated promising performance. However, current multi-expert learning frameworks fail to fully exploit source domain knowledge during inference, resulting in sub-optimal performance. In this work, we propose to adapt Transformers for the purpose of dynamically decoding source domain knowledge for domain generalization. Specifically, we build one domain-specific local expert per source domain and one domain-agnostic feature branch as query. A Transformer encoder encodes all domain-specific features as source domain knowledge in memory. In the Transformer decoder, the domain-agnostic query interacts with the memory in the cross-attention module, and domains that are similar to the input will contribute more to the attention output. Thus, source domain knowledge gets dynamically decoded for inference of the current input from unseen domain. This mechanism enables the proposed method to generalize well to unseen domains. The proposed method has been evaluated on three benchmarks in the domain generalization field and shown to have the best performance compared to state-of-the-art methods.


title: Reconsidering Optimistic Algorithms for Relational DBMS

abstract: At DBKDA 2019, we demonstrated that StrongDBMS with simple but rigorous optimistic algorithms, provides better performance in situations of high concurrency than major commercial database management systems (DBMS). The demonstration was convincing but the reasons for its success were not fully analysed. There is a brief account of the results below. In this short contribution, we wish to discuss the reasons for the results. The analysis leads to a strong criticism of all DBMS algorithms based on locking, and based on these results, it is not fanciful to suggest that it is time to re-engineer existing DBMS.


title: First-principles study of magnetic states and the anomalous Hall conductivity of $M$Nb$_3$S$_6$ ($M$=Co, Fe, Mn, and Ni)

abstract: Inspired by the observation of the extremely large anomalous Hall effect in the absence of applied magnetic fields or uniform magnetization in CoNb$_3$S$_6$ [Nature Comm. 9, 3280 (2018); Phys. Rev. Research 2, 023051 (2020)], we perform a first-principles study of this and related compounds of the $M$Nb$_3$S$_6$ type with different transition metal $M$ ions to determine their magnetic orders and the anomalous Hall conductivity (AHC). We find that non-coplanar antiferromagnetic ordering is favored relative to collinear or coplanar order in the case of $M$=Co, Fe and Ni, while ferromagnetic ordering is favored in MnNb$_3$S$_6$ at low temperatures. The AHC in these materials with non-coplanar spin ordering can reach about $e^2/h$ per crystalline layer, while being negligible for coplanar and collinear cases. We also find that the AHC depends sensitively on doping and reaches a maximum for intermediate values of the local spin exchange potential between 0.3 and 0.8 eV. Our AHC results are consistent with the reported Hall measurements in CoNb$_3$S$_6$ and suggest a possibility of similarly large anomalous Hall effects in related compounds.


title: On the stability of the compacton waves for the degenerate KdV and NLS models

abstract: In this paper, we consider the degenerate semi-linear Schr\"odinger and Korteweg-deVries equations in one spatial dimension. We construct special solutions of the two models, namely standing wave solutions of NLS and traveling waves, which turn out to have compact support, compactons. We show that the compactons are unique bell-shaped solutions of the corresponding PDE's and for appropriate variational problems as well. We provide a complete spectral characterization of such waves, for all values of $p$. Namely, we show that all waves are spectrally stable for $2<p\leq 8$, while a single mode instability occurs for $p>8$. This extends previous work of Germain, Harrop-Griffits and Marzuola, who have established orbital stability for some specific waves, in the range $p<8$.


title: RieszNet and ForestRiesz: Automatic Debiased Machine Learning with Neural Nets and Random Forests

abstract: Many causal and policy effects of interest are defined by linear functionals of high-dimensional or non-parametric regression functions. $\sqrt{n}$-consistent and asymptotically normal estimation of the object of interest requires debiasing to reduce the effects of regularization and/or model selection on the object of interest. Debiasing is typically achieved by adding a correction term to the plug-in estimator of the functional, which leads to properties such as semi-parametric efficiency, double robustness, and Neyman orthogonality. We implement an automatic debiasing procedure based on automatically learning the Riesz representation of the linear functional using Neural Nets and Random Forests. Our method only relies on black-box evaluation oracle access to the linear functional and does not require knowledge of its analytic form. We propose a multitasking Neural Net debiasing method with stochastic gradient descent minimization of a combined Riesz representer and regression loss, while sharing representation layers for the two functions. We also propose a Random Forest method which learns a locally linear representation of the Riesz function. Even though our method applies to arbitrary functionals, we experimentally find that it performs well compared to the state of art neural net based algorithm of Shi et al. (2019) for the case of the average treatment effect functional. We also evaluate our method on the problem of estimating average marginal effects with continuous treatments, using semi-synthetic data of gasoline price changes on gasoline demand.


title: Learning Multi-Objective Curricula for Robotic Policy Learning

abstract: Various automatic curriculum learning (ACL) methods have been proposed to improve the sample efficiency and final performance of deep reinforcement learning (DRL). They are designed to control how a DRL agent collects data, which is inspired by how humans gradually adapt their learning processes to their capabilities. For example, ACL can be used for subgoal generation, reward shaping, environment generation, or initial state generation. However, prior work only considers curriculum learning following one of the aforementioned predefined paradigms. It is unclear which of these paradigms are complementary, and how the combination of them can be learned from interactions with the environment. Therefore, in this paper, we propose a unified automatic curriculum learning framework to create multi-objective but coherent curricula that are generated by a set of parametric curriculum modules. Each curriculum module is instantiated as a neural network and is responsible for generating a particular curriculum. In order to coordinate those potentially conflicting modules in unified parameter space, we propose a multi-task hyper-net learning framework that uses a single hyper-net to parameterize all those curriculum modules. In addition to existing hand-designed curricula paradigms, we further design a flexible memory mechanism to learn an abstract curriculum, which may otherwise be difficult to design manually. We evaluate our method on a series of robotic manipulation tasks and demonstrate its superiority over other state-of-the-art ACL methods in terms of sample efficiency and final performance.


title: The no-$\beta$ McMullen game and the perfect set property

abstract: Given a target set $A\subseteq \mathbb{R}^d$ and a real number $\beta\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $\beta$-winning set. This involves a two player game which we call the $\beta$-McMullen game. We consider the version of this game in which the parameter $\beta$ is removed, which we call the no-$\beta$ McMullen game. More generally, we consider the game with respect to arbitrary norms on $\mathbb{R}^d$, and even more generally with respect to general convex sets. We show that for strictly convex sets in $\mathbb{R}^d$, polytopes in $\mathbb{R}^d$, and general convex sets in $\mathbb{R}^2$, that player $\boldsymbol{I}$ wins the no-$\beta$ McMullen game iff $A$ contains a perfect set and player $\boldsymbol{I}\kern-0.05cm\boldsymbol{I}$ wins iff $A$ is countable. So, the no-$\beta$ McMullen game is equivalent to the perfect set game for $A$ in these cases. The proofs of these results use a connection between the geometry of the game and techniques from logic. Because of the geometry of this game, this result has strong implications for the geometry of uncountable sets in $\mathbb{R}^d$. We also present an example of a compact, convex set in $\mathbb{R}^3$ to which our methods do not apply, and also an example due to D.\ Simmons of a closed, convex set in $\ell_2(\mathbb{R})$ which illustrate the obstacles in extending the results further.


title: Ensemble Kalman Inversion for General Likelihoods

abstract: In this letter we generalise Ensemble Kalman inversion techniques to general Bayesian models where previously they were restricted to additive Gaussian likelihoods - all in the difficult setting where the likelihood can be sampled from, but its density not necessarily evaluated.


title: On gradient flows initialized near maxima

abstract: Let $(M,g)$ be a closed Riemannian manifold, and let $F:M \to \mathbb{R}$ be a smooth function on $M$. We show the following holds generically for the function $F$: for each maximum $p$ of $F$, there exist two minima, denoted by $m_+(p)$ and $m_-(p)$, so that the gradient flow initialized at a random point close to $p$ converges to either $m_-(p)$ or $m_+(p)$ with high probability. The statement also holds for $F \in C^\infty(M)$ fixed and a generic metric $g$ on $M$. We conclude by associating to a given a generic pair $(F, g)$ what we call its max-min graph, which captures the relation between minima and maxima derived in the main result.


title: The Low-Resource Double Bind: An Empirical Study of Pruning for Low-Resource Machine Translation

abstract: A "bigger is better" explosion in the number of parameters in deep neural networks has made it increasingly challenging to make state-of-the-art networks accessible in compute-restricted environments. Compression techniques have taken on renewed importance as a way to bridge the gap. However, evaluation of the trade-offs incurred by popular compression techniques has been centered on high-resource datasets. In this work, we instead consider the impact of compression in a data-limited regime. We introduce the term low-resource double bind to refer to the co-occurrence of data limitations and compute resource constraints. This is a common setting for NLP for low-resource languages, yet the trade-offs in performance are poorly studied. Our work offers surprising insights into the relationship between capacity and generalization in data-limited regimes for the task of machine translation. Our experiments on magnitude pruning for translations from English into Yoruba, Hausa, Igbo and German show that in low-resource regimes, sparsity preserves performance on frequent sentences but has a disparate impact on infrequent ones. However, it improves robustness to out-of-distribution shifts, especially for datasets that are very distinct from the training distribution. Our findings suggest that sparsity can play a beneficial role at curbing memorization of low frequency attributes, and therefore offers a promising solution to the low-resource double bind.


title: Reactive Locomotion Decision-Making and Robust Motion Planning for Real-Time Perturbation Recovery

abstract: In this paper, we examine the problem of push recovery for bipedal robot locomotion and present a reactive decision-making and robust planning framework for locomotion resilient to external perturbations. Rejecting perturbations is an essential capability of bipedal robots and has been widely studied in the locomotion literature. However, adversarial disturbances and aggressive turning can lead to negative lateral step width (i.e., crossed-leg scenarios) with unstable motions and self-collision risks. These motion planning problems are computationally difficult and have not been explored under a hierarchically integrated task and motion planning method. We explore a planning and decision-making framework that closely ties linear-temporal-logic-based reactive synthesis with trajectory optimization incorporating the robot's full-body dynamics, kinematics, and leg collision avoidance constraints. Between the high-level discrete symbolic decision-making and the low-level continuous motion planning, behavior trees serve as a reactive interface to handle perturbations occurring at any time of the locomotion process. Our experimental results show the efficacy of our method in generating resilient recovery behaviors in response to diverse perturbations from any direction with bounded magnitudes.


title: DEK-Type orthogonal polynomials and a modification of the Christoffel formula

abstract: In this note we revisit one of the first known examples of exceptional orthogonal polynomials that was introduced by Dubov, Eleonskii, and Kulagin in relation to nonharmonic oscillators with equidistant spectra. We dissect the DEK polynomials using the discrete Darboux transformations and unravel a characterization bypassing the differential equation that defines the DEK polynomials. This characterization also leads to a family of general orthogonal polynomials with missing degrees and this approach manifests its relation to biorthogonal polynomials introduced by Iserles and N{\o}rsett, which are applicable to a whole range of problems in computational and applied analysis. We also obtain a modification of the Christoffel formula for this family since its classical form cannot be applied in this case.


title: Optimized Recommender Systems with Deep Reinforcement Learning

abstract: Recommender Systems have been the cornerstone of online retailers. Traditionally they were based on rules, relevance scores, ranking algorithms, and supervised learning algorithms, but now it is feasible to use reinforcement learning algorithms to generate meaningful recommendations. This work investigates and develops means to setup a reproducible testbed, and evaluate different state of the art algorithms in a realistic environment. It entails a proposal, literature review, methodology, results, and comments.


title: Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances

abstract: We propose a method for open-loop stochastic optimal control of LTI systems based on Taylor approximations of quantile functions. This approach enables efficient computation of quantile functions that arise in chance constrained reformulations. We are motivated by multi-vehicle planning problems for LTI systems with norm-based collision avoidance constraints, and polytopic feasibility constraints. Respectively, these constraints can be posed as reverse-convex and convex chance constraints that are affine in the control and disturbance. We show for constraints of this form, piecewise affine approximations of the quantile function can be embedded in a difference-of-convex program that enables use of conic solvers. We demonstrate our method for multi-satellite coordination with Gaussian and Cauchy disturbances, and provide a comparison with particle control.


title: Predicting Adhesive Free Energies of Polymer--Surface Interactions with Machine Learning

abstract: Polymer-surface interactions are crucial to many biological processes and industrial applications. Here we propose a machine-learning method to connect a model polymer's sequence with its adhesion to decorated surfaces. We simulate the adhesive free energies of $20,000$ unique coarse-grained 1D sequential polymers interacting with functionalized surfaces and build support vector regression (SVR) models that demonstrate inexpensive and reliable prediction of the adhesive free energy as a function of the sequence. Our work highlights the promising integration of coarse-grained simulation with data-driven machine learning methods for the design of new functional polymers and represents an important step toward linking polymer compositions with polymer-surface interactions.


title: Correlated escape of active particles across a potential barrier

abstract: We study the dynamics of one-dimensional active particles confined in a double-well potential, focusing on the escape properties of the system, such as the mean escape time from a well. We first consider a single-particle both in near and far-from-equilibrium regimes by varying the persistence time of the active force and the swim velocity. A non-monotonic behavior of the mean escape time is observed with the persistence time of the activity, revealing the existence of an optimal choice of the parameters favoring the escape process. For small persistence times, a Kramers-like formula with an effective potential obtained within the Unified Colored Noise Approximation is shown to hold. Instead, for large persistence times, we developed a simple theoretical argument based on the first passage theory which explains the linear dependence on the escape time with the persistence of the active force. In the second part of the work, we consider the escape of two active particles mutually repelling. Interestingly, the subtle interplay of active and repulsive forces may lead to a correlation between particles favoring the simultaneous jump across the barrier. This mechanism cannot be observed in the escape process of two passive particles. Finally, we find that, in the small-persistence regime, the repulsion favors the escape, like in passive systems, in agreement with our theoretical predictions, while for large persistence times, the repulsive and active forces produce an effective attraction which hinders the barrier crossing.


title: On the Origin of Minnaert Resonances

abstract: It is well known that the presence, in a homogeneous acoustic medium, of a small inhomogeneity (of size $\varepsilon$), enjoying a high contrast of both its mass density and bulk modulus, amplifies the generated total fields. This amplification is more pronounced when the incident frequency is close to the Minnaert frequency $\omega_{M}$. Here we explain the origin of such a phenomenon: at first we show that the scattering of an incident wave of frequency $\omega$ is described by a self-adjoint $\omega$-dependent Schr\"{o}dinger operator with a singular $\delta$-like potential supported at the inhomogeneity interface. Then we show that, in the low energy regime (corresponding in our setting to $\varepsilon\ll1$) such an operator has a non-trivial limit (i.e., it asymptotically differs from the Laplacian) if and only if $\omega=\omega_{M}$. The limit operator describing the non-trivial scattering process is explicitly determined and belongs to the class of point perturbations of the Laplacian. When the frequency of the incident wave approaches $\omega_{M}$, the scattering process undergoes a transition between an asymptotically trivial behaviour and a non-trivial one.


title: On the implementation of flux limiters in algebraic frameworks

abstract: The use of flux limiters is widespread within the scientific computing community to capture shock discontinuities and are of paramount importance for the temporal integration of high-speed aerodynamics, multiphase flows, and hyperbolic equations in general. Meanwhile, the breakthrough of new computing architectures and the hybridization of supercomputer systems pose a huge portability challenge, particularly for legacy codes, since the computing subroutines that form the algorithms, the so-called kernels, must be adapted to various complex parallel programming paradigms. From this perspective, the development of innovative implementations relying on a minimalist set of kernels simplifies the deployment of scientific computing software on state-of-the-art supercomputers, while it requires the reformulation of algorithms, such as the aforementioned flux limiters. Equipped with basic algebraic topology and graph theory underlying the classical mesh concept, a new flux limiter formulation is presented based on the adoption of algebraic data structures and kernels. As a result, traditional flux limiters are cast into a stream of only two types of computing kernels: sparse matrix-vector multiplication and generalized pointwise binary operators. The newly proposed formulation eases the deployment of such a numerical technique in massively parallel, potentially hybrid, computing systems and is demonstrated for a canonical advection problem.


title: Iterate Averaging, the Kalman Filter, and 3DVAR for Linear Inverse Problem

abstract: It has been proposed that classical filtering methods, like the Kalman filter and 3DVAR, can be used to solve linear statistical inverse problems. In the work of Iglesias, Lin, Lu, & Stuart (2017), error estimates were obtained for this approach. By optimally tuning a regularization parameter in the filters, the authors were able to show that the mean squared error could be systematically reduced. Building on the aforementioned work of Iglesias, Lin, Lu, & Stuart, we prove that by (i) considering the problem in a weaker norm and (ii) applying simple iterate averaging of the filter output, 3DVAR will converge in mean square, unconditionally on the choice of parameter. Without iterate averaging, 3DVAR cannot converge by running additional iterations with a fixed choice of parameter. We also establish that the Kalman filter's performance in this setting cannot be improved through iterate averaging. We illustrate our results with numerical experiments that suggest our convergence rates are sharp.


title: The gaseous natal environments of GPS and CSS sources with ASKAP -- FLASH

abstract: GPS and CSS sources are thought to represent a young and/or confined sub-population of radio-loud active galactic nuclei (AGN) that are yet to evacuate their surrounding ambient interstellar gas. By studying the gaseous environments of these objects we can gain an insight into the inter-dependent relationship between galaxies and their supermassive black holes (SMBHs). The First Large Absorption Survey in HI (FLASH) will build a census of the neutral atomic hydrogen (HI) gas in galaxies at intermediate cosmological redshifts. FLASH is expected to detect at least several hundred HI absorbers associated with GPS and CSS sources. These absorbers provide an important probe of the abundance and kinematics of line-of-sight neutral gas towards radio AGN, in some cases revealing gas associated with infalling clouds and outflows. Observations are now complete for the first phase of the FLASH Pilot Survey and early analysis has already yielded several detections, including the GPS source PKS2311$-$477. Optical imaging of this galaxy reveals an interacting system that could have supplied the neutral gas seen in absorption and triggered the radio-loud AGN. FLASH will provide a statistically significant sample with which the prevalence of such gas-rich interactions amongst compact radio galaxies can be investigated.


title: Integrating Categorical Features in End-to-End ASR

abstract: All-neural, end-to-end ASR systems gained rapid interest from the speech recognition community. Such systems convert speech input to text units using a single trainable neural network model. E2E models require large amounts of paired speech text data that is expensive to obtain. The amount of data available varies across different languages and dialects. It is critical to make use of all these data so that both low resource languages and high resource languages can be improved. When we want to deploy an ASR system for a new application domain, the amount of domain specific training data is very limited. To be able to leverage data from existing domains is important for ASR accuracy in the new domain. In this paper, we treat all these aspects as categorical information in an ASR system, and propose a simple yet effective way to integrate categorical features into E2E model. We perform detailed analysis on various training strategies, and find that building a joint model that includes categorical features can be more accurate than multiple independently trained models.


title: Thermo-capillary convection in a two-fluid system

abstract: This report summarises the results for the numerical simulation of thermocapillary convection in a two-fluid system with a deformable interface. An explicit technique with 3rd order Runge-Kutta method in time, 2nd order ENO for the advection terms, and 2nd order central-differencing for the diffusion terms are employed in the momentum equations for simulating the flow on a staggered grid using a Marker and Cell method. An energy equation is solved numerically and a level-set method is used to implicitly capture the interface. A constant contact angle condition is assumed between the end walls and the interface. The domain is enclosed with adiabatic walls on the top and bottom and a temperature gradient is imposed along the horizontal walls. A Continuum Surface Force model is used for surface tension to numerically simulate the thermo-capillary effect. A Successive Over-Relaxation (SOR) technique is used to solve the pressure equations iteratively. The level set method and the energy equation are tested with a few test-cases before implementing in the solver. The imposed temperature difference along the horizontal direction produces a surface tension gradient along the liquid-liquid interface resulting in the flow of the interface fluid from the region of lower surface tension (Higher temperature) to higher surface tension (Lower temperature). The end walls cause recirculation by imposing a horizontal pressure gradient in each fluid layer.


title: Physics-informed neural network simulation of multiphase poroelasticity using stress-split sequential training

abstract: Physics-informed neural networks (PINNs) have received significant attention as a unified framework for forward, inverse, and surrogate modeling of problems governed by partial differential equations (PDEs). Training PINNs for forward problems, however, pose significant challenges, mainly because of the complex non-convex and multi-objective loss function. In this work, we present a PINN approach to solving the equations of coupled flow and deformation in porous media for both single-phase and multiphase flow. To this end, we construct the solution space using multi-layer neural networks. Due to the dynamics of the problem, we find that incorporating multiple differential relations into the loss function results in an unstable optimization problem, meaning that sometimes it converges to the trivial null solution, other times it moves very far from the expected solution. We report a dimensionless form of the coupled governing equations that we find most favourable to the optimizer. Additionally, we propose a sequential training approach based on the stress-split algorithms of poromechanics. Notably, we find that sequential training based on stress-split performs well for different problems, while the classical strain-split algorithm shows an unstable behaviour similar to what is reported in the context of finite element solvers. We use the approach to solve benchmark problems of poroelasticity, including Mandel's consolidation problem, Barry-Mercer's injection-production problem, and a reference two-phase drainage problem. The Python-SciANN codes reproducing the results reported in this manuscript will be made publicly available at https://github.com/sciann/sciann-applications.


title: Probability distribution for the quantum universe

abstract: We determine the inner product on the Hilbert space of wavefunctions of the universe by imposing the Hermiticity of the quantum Hamiltonian in the context of the minisuperspace model. The corresponding quantum probability density reproduces successfully the classical probability distribution in the $\hbar \to 0$ limit, for closed universes filled with a perfect fluid of index $w$. When $-1/3<w\le 1$, the wavefunction is normalizable and the quantum probability density becomes vanishingly small at the big bang/big crunch singularities, at least at the semi-classical level. Quantum expectation values of physical geometrical quantities, which diverge classically at the singularities, are shown to be finite.


title: Prior and Posterior Networks: A Survey on Evidential Deep Learning Methods For Uncertainty Estimation

abstract: Popular approaches for quantifying predictive uncertainty in deep neural networks often involve distributions over weights or multiple models, for instance via Markov Chain sampling, ensembling, or Monte Carlo dropout. These techniques usually incur overhead by having to train multiple model instances or do not produce very diverse predictions. This comprehensive and extensive survey aims to familiarize the reader with an alternative class of models based on the concept of Evidential Deep Learning: For unfamiliar data, they aim to admit "what they don't know", and fall back onto a prior belief. Furthermore, they allow uncertainty estimation in a single model and forward pass by parameterizing distributions over distributions. This survey recapitulates existing works, focusing on the implementation in a classification setting, before surveying the application of the same paradigm to regression. We also reflect on the strengths and weaknesses compared to other existing methods and provide the most fundamental derivations using a unified notation to aid future research.


title: Gyrofluid analysis of electron $\beta_e$ effects on collisionless reconnection

abstract: The linear and nonlinear evolutions of the tearing instability in a collisionless plasma with a strong guide field are analyzed on the basis of a two-field Hamiltonian gyrofluid model. The model is valid for a low ion temperature and a finite $\beta_e$. The finite $\beta_e$ effect implies a magnetic perturbation along the guide field direction and electron finite Larmor radius effects. A Hamiltonian derivation of the model is presented. A new dispersion relation of the tearing instability is derived for the case $\beta_e=0$ and tested against numerical simulations. For $\beta_e \ll 1$ the equilibrium electron temperature is seen to enhance the linear growth rate, whereas we observe a stabilizing role when electron finite Larmor radius effects become more relevant. In the nonlinear phase, a double "faster-than-exponential" growth is observed, similarly to what occurs in the presence of ion finite Larmor radius effects. Energy transfers are analyzed and the conservation laws associated with the Casimir invariants of the model are also discussed. Numerical simulations seem to indicate that finite $\beta_e$ effects do not produce qualtitative modifications in the structures of the Lagrangian invariants associated with Casimirs of the model.


title: Second-Scale $^9\text{Be}^+$ Spin Coherence in a Compact Penning Trap

abstract: We report microwave spectroscopy of co-trapped $^9\text{Be}^+$ and $^{40}\text{Ca}^+$ within a compact permanent-magnet-based Penning ion trap. The trap is constructed with a reconfigurable array of NdFeB rings providing a 0.654 T magnetic field that is near the 0.6774-T magnetic-field-insensitive hyperfine transition in $^9\text{Be}^+$. Performing Ramsey spectroscopy on this hyperfine transition, we demonstrate nuclear spin coherence with a contrast decay time of >1 s. The $^9\text{Be}^+$ is sympathetically cooled by a Coulomb crystal of $^{40}\text{Ca}^+$, which minimizes $^9\text{Be}^+$ illumination and thus mitigates reactive loss. Introducing a unique high-magnetic-field optical detection scheme for $^{40}\text{Ca}^+$, we perform spin state readout without a 729~nm shelving laser. We record a fractional trap magnetic field instability below 20 ppb (<13 nT) at 43 s of averaging time with no magnetic shielding and only passive thermal isolation. We discuss potential applications of this compact, reconfigurable Penning trap.


title: On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models

abstract: We study the privacy implications of training recurrent neural networks (RNNs) with sensitive training datasets. Considering membership inference attacks (MIAs), which aim to infer whether or not specific data records have been used in training a given machine learning model, we provide empirical evidence that a neural network's architecture impacts its vulnerability to MIAs. In particular, we demonstrate that RNNs are subject to a higher attack accuracy than feed-forward neural network (FFNN) counterparts. Additionally, we study the effectiveness of two prominent mitigation methods for preempting MIAs, namely weight regularization and differential privacy. For the former, we empirically demonstrate that RNNs may only benefit from weight regularization marginally as opposed to FFNNs. For the latter, we find that enforcing differential privacy through either of the following two methods leads to a less favorable privacy-utility trade-off in RNNs than alternative FFNNs: (i) adding Gaussian noise to the gradients calculated during training as a part of the so-called DP-SGD algorithm and (ii) adding Gaussian noise to the trainable parameters as a part of a post-training mechanism that we propose. As a result, RNNs can also be less amenable to mitigation methods, bringing us to the conclusion that the privacy risks pertaining to the recurrent architecture are higher than the feed-forward counterparts.


title: Fast methods for posterior inference of two-group normal-normal models

abstract: We describe a class of algorithms for evaluating posterior moments of certain Bayesian linear regression models with a normal likelihood and a normal prior on the regression coefficients. The proposed methods can be used for hierarchical mixed effects models with partial pooling over one group of predictors, as well as random effects models with partial pooling over two groups of predictors. We demonstrate the performance of the methods on two applications, one involving U.S. opinion polls and one involving the modeling of COVID-19 outbreaks in Israel using survey data. The algorithms involve analytical marginalization of regression coefficients followed by numerical integration of the remaining low-dimensional density. The dominant cost of the algorithms is an eigendecomposition computed once for each value of the outside parameter of integration. Our approach drastically reduces run times compared to state-of-the-art Markov chain Monte Carlo (MCMC) algorithms. The latter, in addition to being computationally expensive, can also be difficult to tune when applied to hierarchical models.


title: The Z-Transform of the Levi-Civita Symbol

abstract: A derivation of the Z-transform of the Levi-Civita symbol is carried out up to 3 dimensions, and generalized to higher dimensions. Using its Z-transforms, corresponding expressions for the Laplace transform are also found, using Tustin's transform


title: Supervised Learning Enhanced Quantum Circuit Transformation

abstract: A quantum circuit transformation (QCT) is required when executing a quantum program in a real quantum processing unit (QPU). Through inserting auxiliary SWAP gates, a QCT algorithm transforms a quantum circuit to one that satisfies the connectivity constraint imposed by the QPU. Due to the non-negligible gate error and the limited qubit coherence time of the QPU, QCT algorithms which minimize gate number or circuit depth or maximize the fidelity of output circuits are in urgent need. Unfortunately, finding optimized transformations often involves exhaustive searches, which are extremely time-consuming and not practical for most circuits. In this paper, we propose a framework that uses a policy artificial neural network (ANN) trained by supervised learning on shallow circuits to help existing QCT algorithms select the most promising SWAP gate. ANNs can be trained off-line in a distributed way. The trained ANN can be easily incorporated into QCT algorithms without bringing too much overhead in time complexity. Exemplary embeddings of the trained ANNs into target QCT algorithms demonstrate that the transformation performance can be consistently improved on QPUs with various connectivity structures and random or realistic quantum circuits.


title: Eigenspace Decomposition of Mixed Hodge Structures on Alexander Modules

abstract: In previous work jointly with Geske, Maxim and Wang, we constructed a mixed Hodge structure (MHS) on the torsion part of Alexander modules, which generalizes the MHS on the cohomology of the Milnor fiber for weighted homogeneous polynomials. The cohomology of a Milnor fiber carries a monodromy action, whose semisimple part is an isomorphism of MHS. The natural question of whether this result still holds for Alexander modules was then posed. In this paper, we give a positive answer to that question, which implies that the direct sum decomposition of the torsion part of Alexander modules into generalized eigenspaces is in fact a decomposition of MHS. We also show that the MHS on the generalized eigenspace of eigenvalue 1 can be constructed without passing to a suitable finite cover (as is the case for the MHS on the torsion part of the Alexander modules), and compute it under some purity assumptions on the base space.


title: Interaction-driven quantum anomalous Hall insulator in Dirac semimetal

abstract: The interaction-driven quantum anomalous Hall (QAH) insulator has been sought for a long time in a Dirac semimetal with linear band touching points at the Fermi level. By combining exact diagonalization, density matrix renormalization group, and analytical methods, we study a spinless fermion system on the checkerboard lattice with two fold rotational symmetry, which realizes two Dirac band touching points in the absence of interaction. At weak coupling, the Dirac semimetal is stable. At a finite density-density repulsive interaction, we analyze possible symmetry broken states, and find that an QAH state is stabilized when the interaction strength exceeds the energy scale controlling the separation between the Dirac points. Through numerical simulations, we verify the existence of the QAH phase with spontaneous time-reversal symmetry breaking and quantized Chern number $C = 1$.


title: Optimal Skeleton Network Reconfiguration considering Topological Characteristics and Transmission Path

abstract: Power system restoration can be divided into three stages: black-start, network reconfiguration, and load restoration. A skeleton-network should be restored in the second stage to prepare for the subsequent large-scale system-wide load pickup. This paper proposes a novel integrated skeleton-network reconfiguration (ISNR) model which considers both the topological characteristics of the network and the transmission path energization constraints. A novel topological characteristics-based skeleton-network quality index (TCSNQI), an index based on the network importance and distance, is proposed to evaluate the quality of the skeleton-network. The proposed ISNR model can attain both the target network and the associated restoration sequence for that network. The attained target network reaches a certain quality level, and it requires the least restoration time based on the attained sequence of ordered switching actions. The proposed ISNR model is formulated as a mixed-integer linear programming (MILP) problem. Numerical simulations on the New England 39-bus test system demonstrate the performance of the proposed ISNR model.


title: FedTune: Automatic Tuning of Federated Learning Hyper-Parameters from System Perspective

abstract: Federated learning (FL) hyper-parameters significantly affect the training overheads in terms of computation time, transmission time, computation load, and transmission load. However, the current practice of manually selecting FL hyper-parameters puts a high burden on FL practitioners since various applications prefer different training preferences. In this paper, we propose FedTune, an automatic FL hyper-parameter tuning algorithm tailored to applications' diverse system requirements of FL training. FedTune is lightweight and flexible, achieving 8.48%-26.75% improvement for different datasets compared to fixed FL hyper-parameters.


title: A Critical Review of the Baseline Soldier Physical Readiness Requirements Study

abstract: The Army's Baseline Soldier Physical Readiness Requirements Study (BSPRRS) was a multiyear effort designed to inform evidence-based change in the Army's physical fitness test of record from a gender- and age-specific standard to a gender- and age-neutral standard based on recurring, physically demanding tasks encountered by soldiers. The physical fitness test events determined by BSPRRS became the six-event Army Combat Fitness Test (ACFT). A close examination of the BSPRRS model reveals critical mistakes and the lack of rigorous cross-validation.


title: Interpretable Machine Learning for Genomics

abstract: High-throughput technologies such as next generation sequencing allow biologists to observe cell function with unprecedented resolution, but the resulting datasets are too large and complicated for humans to understand without the aid of advanced statistical methods. Machine learning (ML) algorithms, which are designed to automatically find patterns in data, are well suited to this task. Yet these models are often so complex as to be opaque, leaving researchers with few clues about underlying mechanisms. Interpretable machine learning (iML) is a burgeoning subdiscipline of computational statistics devoted to making the predictions of ML models more intelligible to end users. This article is a gentle and critical introduction to iML, with an emphasis on genomic applications. I define relevant concepts, motivate leading methodologies, and provide a simple typology of existing approaches. I survey recent examples of iML in genomics, demonstrating how such techniques are increasingly integrated into research workflows. I argue that iML solutions are required to realize the promise of precision medicine. However, several open challenges remain. I examine the limitations of current state of the art tools and propose a number of directions for future research. While the horizon for iML in genomics is wide and bright, continued progress requires close collaboration across disciplines.


title: $\Lambda$-enhanced gray molasses in a tetrahedral laser beam geometry

abstract: We report observation of sub-Doppler cooling of lithium using an irregular-tetrahedral laser beam arrangement, which is produced by a nanofabricated diffraction grating. We are able to capture 11(2) % of the lithium atoms from a grating magneto-optical trap into $\Lambda$-enhanced $D_1$ gray molasses. The molasses cools the captured atoms to a radial temperature of 60(9) $\mu$K and an axial temperature of 23(3) $\mu$K. In contrast to results from conventional counterpropagating beam configurations, we do not observe cooling when our optical fields are detuned from Raman resonance. An optical Bloch equation simulation of the cooling dynamics agrees with our data. Our results show that grating magneto-optical traps can serve as a robust source of cold atoms for tweezer-array and atom-chip experiments, even when the atomic species is not amenable to sub-Doppler cooling in bright optical molasses.


title: A unified framework for optimal control of fractional in time subdiffusive semilinear PDEs

abstract: We consider optimal control of fractional in time (subdiffusive, i.e., for $% 0<\gamma <1$) semilinear parabolic PDEs associated with various notions of diffusion operators in an unifying fashion. Under general assumptions on the nonlinearity we{~\textsf{first show}} the existence and regularity of solutions to the forward and the associated {\textsf{backward (adjoint)}} problems. In the second part, we prove existence of optimal {\textsf{controls% }} and characterize the associated {\textsf{first order}} optimality conditions. Several examples involving fractional in time (and some fractional in space diffusion) equations are described in detail. The most challenging obstacle we overcome is the failure of the\ semigroup property for the semilinear problem in any scaling of (frequency-domain) Hilbert spaces.


title: Thin liquid film as an optical nonlinear-nonlocal medium and memory element in integrated optofluidic reservoir computer

abstract: Understanding light-matter interaction enables harnessing physical effects to translate into new capabilities realized in modern integrated photonics platforms. Here, we present the design and characterization of optofluidic components in integrated photonics platform, and numerically predict a series of novel physical effects which rely on thermocapillary-driven interaction between waveguide modes to topography changes of optically thin liquid dielectric film. Our results indicate that this coupling introduces substantial self-induced phase change in a single channel waveguide, transmittance through Bragg grating waveguide and nonlocal interaction between adjacent waveguides. We then employ the self-induced phase change together with the inherent built-in finite relaxation time of the liquid film, to demonstrate that its light-driven deformation can serve as a reservoir computer capable to perform digital and analog tasks, where the gas-liquid interface operates both as a nonlinear actuator and as an optical memory element.


title: On Neurons Invariant to Sentence Structural Changes in Neural Machine Translation

abstract: We present a methodology that explores how sentence structure is reflected in neural representations of machine translation systems. We demonstrate our model-agnostic approach with the Transformer English-German translation model. We analyze neuron-level correlation of activations between paraphrases while discussing the methodology challenges and the need for confound analysis to isolate the effects of shallow cues. We find that similarity between activation patterns can be mostly accounted for by similarity in word choice and sentence length. Following that, we manipulate neuron activations to control the syntactic form of the output. We show this intervention to be somewhat successful, indicating that deep models capture sentence-structure distinctions, despite finding no such indication at the neuron level. To conduct our experiments, we develop a semi-automatic method to generate meaning-preserving minimal pair paraphrases (active-passive voice and adverbial clause-noun phrase) and compile a corpus of such pairs.


title: Learning the Optimal Recommendation from Explorative Users

abstract: We propose a new problem setting to study the sequential interactions between a recommender system and a user. Instead of assuming the user is omniscient, static, and explicit, as the classical practice does, we sketch a more realistic user behavior model, under which the user: 1) rejects recommendations if they are clearly worse than others; 2) updates her utility estimation based on rewards from her accepted recommendations; 3) withholds realized rewards from the system. We formulate the interactions between the system and such an explorative user in a $K$-armed bandit framework and study the problem of learning the optimal recommendation on the system side. We show that efficient system learning is still possible but is more difficult. In particular, the system can identify the best arm with probability at least $1-\delta$ within $O(1/\delta)$ interactions, and we prove this is tight. Our finding contrasts the result for the problem of best arm identification with fixed confidence, in which the best arm can be identified with probability $1-\delta$ within $O(\log(1/\delta))$ interactions. This gap illustrates the inevitable cost the system has to pay when it learns from an explorative user's revealed preferences on its recommendations rather than from the realized rewards.


title: Rainbow Black Hole From Quantum Gravitational Collapse

abstract: Quantum evolution of a scalar field's modes propagating on quantum spacetime of a collapsing homogeneous dust ball is written effectively, as an evolution of the same quantum modes on a (semiclassical) dressed geometry. When the backreaction of the field is discarded, the classical spacetime singularity is resolved due to quantum gravity effects and is replaced by a quantum bounce on the dressed collapse background. In the presence of backreaction, the emergent (interior) dressed geometry becomes mode dependent and the energy density associated with the backreaction of each mode scales as a radiation fluid. Semiclassical dynamics of this so-called {\em rainbow} dressed background is analyzed. It turns out that the backreaction effects speed up the occurrence of the bounce in comparison to the case where only a dust fluid is present. By matching the interior and exterior regions at the boundary of dust, a mode-dependent black hole geometry emerges as the exterior spacetime. Properties of such a rainbow black hole are discussed. That mode dependence causes, in particular, a chromatic aberration in the gravitational lensing process of which maximal magnitude is estimated via calculation of the so-called Einstein angle.


title: Robust Generalized Method of Moments: A Finite Sample Viewpoint

abstract: For many inference problems in statistics and econometrics, the unknown parameter is identified by a set of moment conditions. A generic method of solving moment conditions is the Generalized Method of Moments (GMM). However, classical GMM estimation is potentially very sensitive to outliers. Robustified GMM estimators have been developed in the past, but suffer from several drawbacks: computational intractability, poor dimension-dependence, and no quantitative recovery guarantees in the presence of a constant fraction of outliers. In this work, we develop the first computationally efficient GMM estimator (under intuitive assumptions) that can tolerate a constant $\epsilon$ fraction of adversarially corrupted samples, and that has an $\ell_2$ recovery guarantee of $O(\sqrt{\epsilon})$. To achieve this, we draw upon and extend a recent line of work on algorithmic robust statistics for related but simpler problems such as mean estimation, linear regression and stochastic optimization. As two examples of the generality of our algorithm, we show how our estimation algorithm and assumptions apply to instrumental variables linear and logistic regression. Moreover, we experimentally validate that our estimator outperforms classical IV regression and two-stage Huber regression on synthetic and semi-synthetic datasets with corruption.


title: Two Many Cooks: Understanding Dynamic Human-Agent Team Communication and Perception Using Overcooked 2

abstract: This paper describes a research study that aims to investigate changes in effective communication during human-AI collaboration with special attention to the perception of competence among team members and varying levels of task load placed on the team. We will also investigate differences between human-human teamwork and human-agent teamwork. Our project will measure differences in the communication quality, team perception and performance of a human actor playing a Commercial Off - The Shelf game (COTS) with either a human teammate or a simulated AI teammate under varying task load. We argue that the increased cognitive workload associated with increases task load will be negatively associated with team performance and have a negative impact on communication quality. In addition, we argue that positive team perceptions will have a positive impact on the communication quality between a user and teammate in both the human and AI teammate conditions. This project will offer more refined insights on Human - AI relationship dynamics in collaborative tasks by considering communication quality, team perception, and performance under increasing cognitive workload.


title: FOD-A: A Dataset for Foreign Object Debris in Airports

abstract: Foreign Object Debris (FOD) detection has attracted increased attention in the area of machine learning and computer vision. However, a robust and publicly available image dataset for FOD has not been initialized. To this end, this paper introduces an image dataset of FOD, named FOD in Airports (FOD-A). FOD-A object categories have been selected based on guidance from prior documentation and related research by the Federal Aviation Administration (FAA). In addition to the primary annotations of bounding boxes for object detection, FOD-A provides labeled environmental conditions. As such, each annotation instance is further categorized into three light level categories (bright, dim, and dark) and two weather categories (dry and wet). Currently, FOD-A has released 31 object categories and over 30,000 annotation instances. This paper presents the creation methodology, discusses the publicly available dataset extension process, and demonstrates the practicality of FOD-A with widely used machine learning models for object detection.


title: DRAFT-What you always wanted to know but could not find about block-based environments

abstract: Block-based environments are visual programming environments, which are becoming more and more popular because of their ease of use. The ease of use comes thanks to their intuitive graphical representation and structural metaphors (jigsaw-like puzzles) to display valid combinations of language constructs to the users. Part of the current popularity of block-based environments is thanks to Scratch. As a result they are often associated with tools for children or young learners. However, it is unclear how these types of programming environments are developed and used in general. So we conducted a systematic literature review on block-based environments by studying 152 papers published between 2014 and 2020, and a non-systematic tool review of 32 block-based environments. In particular, we provide a helpful inventory of block-based editors for end-users on different topics and domains. Likewise, we focused on identifying the main components of block-based environments, how they are engineered, and how they are used. This survey should be equally helpful for language engineering researchers and language engineers alike.


title: Climate Change Sensing through Terahertz Communications: A Disruptive Application of 6G Networks

abstract: Climate change resulting from the misuse and over-exploitation of natural resources has affected and continues to impact the planet's ecosystem. This pressing issue is leading to the development of novel technologies to sense and measure damaging gas emissions. In parallel, the accelerating evolution of wireless communication networks is resulting in wider deployment of mobile telecommunication infrastructure. With 5G technologies already being commercially deployed, the research community is starting research into new technologies for 6G. One of the visions for 6G is the use of the terahertz (THz) spectrum. In this paper, we propose and explore the use of THz spectrum simultaneously for ultrabroadband communication and atmospheric sensing by leveraging the absorption of THz signals. Through the use of machine learning, we present preliminary results on how we can analyze signal path loss and power spectral density to infer the concentration of different climate-impacting gases. Our vision is to demonstrate how 6G infrastructure can provide sensor data for climate change sensing, in addition to its primary purpose of wireless communication.


title: The junChS and junChS-F12 models: parameter-free efficient yet accurate composite schemes for energies and structures of non-covalent complexes

abstract: A recently developed model chemistry (denoted as junChS [Alessandrini et al J. Chem. Theory Comput. 2020, 16, 988-1006]) has been extended to the employment of explicitly-correlated (F12) methods. This led us to propose a family of effective, reliable and parameter-free schemes for the computation of accurate interaction energies of molecular complexes ruled by non-covalent interactions. A thorough benchmark based on a wide range of interactions showed that the so-called junChS-F12 model, which employs cost-effective revDSD-PBEP86-D3(BJ) reference geometries, has an improved performance with respect to its conventional counterpart and outperforms well-known model chemistries. Without employing any empirical parameter and at an affordable computational cost, junChS-F12 reaches sub-chemical accuracy. Accurate characterizations of molecular complexes are usually limited to energetics. To take a step forward, the conventional and F12 composite schemes developed for interaction energies have been extended to structural determinations. A benchmark study demonstrated that the most effective option is to add MP2-F12 core-valence correlation corrections to fc-CCSD(T)-F12/jun-cc-pVTZ geometries without the need of recovering the basis set superposition error and the extrapolation to the complete basis set.


title: Hyperlinear approximations to amenable groups come from sofic approximations

abstract: We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, showing that every hyperlinear approximation to such a group is essentially produced from a sofic approximation. This translates to a quantitative relationship between Hilbert-Schmidt and permutation stability for approximate homomorphisms which appropriately separate the elements of the group.


title: Representation theory and the diagonal coinvariant ring of the type B Weyl group

abstract: We explain how to use representation theory to give a lower bound on the dimension of the quotient ring by type $B_n$ diagonal invariants that improves upon the current known lower bound $(2n+1)^n$ by a quadratic polynomial in $n$.


title: Singularities of normal quartic surfaces II (char=2)

abstract: We show, in this second part, that the maximal number of singular points of a quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic 2 is at most 14, and that, if we have 14 singularities, these are nodes and moreover the minimal resolution of $X$ is a supersingular K3 surface. We produce an irreducible component, of dimension 24, of the variety of quartics with 14 nodes. We also exhibit easy examples of quartics with 7 $A_3$-singularities.


title: Convex relaxations of integral variational problems: pointwise dual relaxation and sum-of-squares optimization

abstract: We present a method for finding lower bounds on the global infima of integral variational problems, wherein $\int_\Omega f(x,u(x),\nabla u(x)){\rm d}x$ is minimized over functions $u\colon\Omega\subset\mathbb{R}^n\to\mathbb{R}^m$ satisfying given equality or inequality constraints. Each constraint may be imposed over $\Omega$ or its boundary, either pointwise or in an integral sense. These global minimizations are generally non-convex and intractable. We formulate a particular convex maximization, here called the pointwise dual relaxation (PDR), whose supremum is a lower bound on the infimum of the original problem. The PDR can be derived by dualizing and relaxing the original problem; its constraints are pointwise equalities or inequalities over finite-dimensional sets, rather than over infinite-dimensional function spaces. When the original minimization can be specified by polynomial functions of $(x,u,\nabla u)$, the PDR can be further relaxed by replacing pointwise inequalities with polynomial sum-of-squares (SOS) conditions. The resulting SOS program is computationally tractable when the dimensions $m,n$ and number of constraints are not too large. The framework presented here generalizes an approach of Valmorbida, Ahmadi, and Papachristodoulou (IEEE Trans. Automat. Contr., 61:1649--1654, 2016). We prove that the optimal lower bound given by the PDR is sharp for several classes of problems, whose special cases include leading eigenvalues of Sturm-Liouville problems and optimal constants of Poincar\'e inequalities. For these same classes, we prove that SOS relaxations of the PDR converge to the sharp lower bound as polynomial degrees are increased. Convergence of SOS computations in practice is illustrated for several examples.


title: Understanding and Improving Usability of Data Dashboards for Simplified Privacy Control of Voice Assistant Data (Extended Version)

abstract: Today, intelligent voice assistant (VA) software like Amazon's Alexa, Google's Voice Assistant (GVA) and Apple's Siri have millions of users. These VAs often collect and analyze huge user data for improving their functionality. However, this collected data may contain sensitive information (e.g., personal voice recordings) that users might not feel comfortable sharing with others and might cause significant privacy concerns. To counter such concerns, service providers like Google present their users with a personal data dashboard (called `My Activity Dashboard'), allowing them to manage all voice assistant collected data. However, a real-world GVA-data driven understanding of user perceptions and preferences regarding this data (and data dashboards) remained relatively unexplored in prior research. To that end, in this work we focused on Google Voice Assistant (GVA) users and investigated the perceptions and preferences of GVA users regarding data and dashboard while grounding them in real GVA-collected user data. Specifically, we conducted an 80-participant survey-based user study to collect both generic perceptions regarding GVA usage as well as desired privacy preferences for a stratified sample of their GVA data. We show that most participants had superficial knowledge about the type of data collected by GVA. Worryingly, we found that participants felt uncomfortable sharing a non-trivial 17.7% of GVA-collected data elements with Google. The current My Activity dashboard, although useful, did not help long-time GVA users effectively manage their data privacy. Our real-data-driven study found that showing users even one sensitive data element can significantly improve the usability of data dashboards. To that end, we built a classifier that can detect sensitive data for data dashboard recommendations with a 95% F1-score and shows 76% improvement over baseline models.


title: Large-Scale Topological Radar Localization Using Learned Descriptors

abstract: In this work, we propose a method for large-scale topological localization based on radar scan images using learned descriptors. We present a simple yet efficient deep network architecture to compute a rotationally invariant discriminative global descriptor from a radar scan image. The performance and generalization ability of the proposed method is experimentally evaluated on two large scale driving datasets: MulRan and Oxford Radar RobotCar. Additionally, we present a comparative evaluation of radar-based and LiDAR-based localization using learned global descriptors. Our code and trained models are publicly available on the project website.


title: The Jones Polynomial from a Goeritz Matrix

abstract: We give an explicit algorithm for calculating the Kauffman bracket of a link diagram from a Goeritz matrix for that link. Further, we show how the Jones polynomial can be recovered from a Goeritz matrix when the corresponding checkerboard surface is orientable, or when more information is known about its Gordon-Litherland form. In the process we develop a theory of Goeritz matrices for cographic matroids, which extends the bracket polynomial to any symmetric integer matrix. We place this work in the context of links in thickened surfaces.


title: Construction Site Safety Monitoring and Excavator Activity Analysis System

abstract: With the recent advancements in deep learning and computer vision, the AI-powered construction machine such as autonomous excavator has made significant progress. Safety is the most important section in modern construction, where construction machines are more and more automated. In this paper, we propose a vision-based excavator perception, activity analysis, and safety monitoring system. Our perception system could detect multi-class construction machines and humans in real-time while estimating the poses and actions of the excavator. Then, we present a novel safety monitoring and excavator activity analysis system based on the perception result. To evaluate the performance of our method, we collect a dataset using the Autonomous Excavator System (AES) including multi-class of objects in different lighting conditions with human annotations. We also evaluate our method on a benchmark construction dataset. The results showed our YOLO v5 multi-class objects detection model improved inference speed by 8 times (YOLO v5 x-large) to 34 times (YOLO v5 small) compared with Faster R-CNN/ YOLO v3 model. Furthermore, the accuracy of YOLO v5 models is improved by 2.7% (YOLO v5 x-large) while model size is reduced by 63.9% (YOLO v5 x-large) to 93.9% (YOLO v5 small). The experimental results show that the proposed action recognition approach outperforms the state-of-the-art approaches on top-1 accuracy by about 5.18%. The proposed real-time safety monitoring system is not only designed for our Autonomous Excavator System (AES) in solid waste scenes, it can also be applied to general construction scenarios.


title: On uniqueness of weak solutions to the second boundary value problem for generated prescribed Jacobian equations

abstract: We prove that two Aleksandrov solutions of a generated prescribed Jacobian equation have the same gradients at points where they are both differentiable. For the optimal transportation case where two solutions can be translated to agree at a point without changing the $g$-subdifferential at that point, we recover the uniqueness up to a constant of solutions. For the general case, our result is a new proof with less regularity assumptions of a key theorem recently used to prove the uniqueness of solutions.


title: A hybrid approach for dynamically training a torque prediction model for devising a human-machine interface control strategy

abstract: Human-machine interfaces (HMI) play a pivotal role in the rehabilitation and daily assistance of lower-limb amputees. The brain of such interfaces is a control model that detects the user's intention using sensor input and generates corresponding output (control commands). With recent advances in technology, AI-based policies have gained attention as control models for HMIs. However, supervised learning techniques require affluent amounts of labeled training data from the user, which is challenging in the context of lower-limb rehabilitation. Moreover, a static pre-trained model does not take the temporal variations in the motion of the amputee (e.g., due to speed, terrain) into account. In this study, we aimed to address both of these issues by creating an incremental training approach for a torque prediction model using incomplete user-specific training data and biologically inspired temporal patterns of human gait. To reach this goal, we created a hybrid of two distinct approaches, a generic inter-individual and an adapting individual-specific model that exploits the inter-limb synergistic coupling during human gait to learn a function that predicts the torque at the ankle joint continuously based on the kinematic sequences of the hip, knee, and shank. An inter-individual generic base model learns temporal patterns of gait from a set of able-bodied individuals and predicts the gait patterns for a new individual, while the individual-specific adaptation model learns and predicts the temporal patterns of gait specific to a particular individual. The iterative training using the hybrid model was validated on eight able-bodied and five transtibial amputee subjects. It was found that, with the addition of estimators fitted to individual-specific data, the accuracy significantly increased from the baseline inter-individual model and plateaued within two to three iterations.


title: Strong large scale magnetic fields in rotating convection-driven dynamos: the important role of magnetic diffusion

abstract: Natural dynamos such as planets and stars generate global scale magnetic field despite the inferred presence of small scale turbulence. Such systems are known as large scale dynamos and are typically driven by convection and influenced by rotation. Previous numerical studies of rotating dynamos generally find that the large scale magnetic field becomes weaker as the flow becomes more turbulent. The underlying physical processes necessary for sustaining so-called large scale dynamos is therefore still debated. Here we use a suite of numerical simulations to show that strong large scale magnetic fields can be generated in rotating convective turbulence provided that two conditions are satisfied: (1) the flow remains rotationally constrained; and (2) magnetic diffusion is important on the small convective length scale. These findings are in agreement with previous asymptotic predictions and suggest that natural dynamos might satisfy these two conditions.


title: Asymptotic Dimension of Big Mapping Class Groups

abstract: Even though big mapping class groups are not countably generated, certain big mapping class groups can be generated by a coarsely bounded set and have a well defined quasi-isometry type. We show that the big mapping class group of a stable surface of infinite type with a coarsely bounded generating set that contains an essential shift has infinite asymptotic dimension. This is in contrast with the mapping class groups of surfaces of finite type where the asymptotic dimension is always finite. We also give a topological characterization of essential shifts.


title: Statistical Random Number Generator Attack against the Kirchhoff-Law-Johnson-Noise (KLJN) Secure Key Exchange Protocol

abstract: This paper introduces and demonstrates four new statistical attacks against the Kirchhoff-Law-Johnson-Noise (KLJN) secure key exchange scheme. The attacks utilize compromised random number generators at Alice's/Bob's site(s). The case of partial correlations between Alice's/Bob's and Eve's probing noises is explored, that is, Eve's knowledge of Alice's and Bob's noises is limited but not zero. We explore the bilateral situation where Eve has partial knowledge of Alice's and Bob's random number generators. It is shown that in this situation Eve can crack the secure key bit by taking the highest cross-correlation between her probing noises and the measured voltage noise in the wire. She can also crack the secure key bit by taking the highest cross-correlation between her noise voltages and her evaluation of Alice's/Bob's noise voltages. We then explore the unilateral situation in which Eve has partial knowledge of only Alice's random number generator thus only those noises (of Alice and Eve) are correlated. In this situation Eve can still crack the secure key bit, but for sufficiently low error probability, she needs to use the whole bit exchange period for the attack. The security of the KLJN key exchange scheme, similarly to other protocols, necessitates that the random number generator outputs are truly random for Eve.


title: Banach spaces with the Blum-Hanson Property

abstract: We are interested in a sufficient condition given in an article by P. Lef\`evre, \'E. Matheron and A. Primot to obtain the Blum-Hanson Property and we then partially answer two questions asked in this same article on other possible conditions to have this property for a separable Banach space.