title: Magneto-optical conductivity in the type-I and type-II phases of Weyl/multi-Weyl semimetals

abstract: Magneto-optical conductivity is a very widely studied transport coefficient, useful to understand and characterize the behaviour of materials under magnetic fields. Using the Kubo formula, we compute the components of the conductivity tensor $\sigma_{\mu \nu}$ transverse to a uniform magnetic field $\mathbf B$, for a single node of a multi-Weyl semimetal (with monopole charge $J$ equal to two or three). We also include the results for a Weyl semimetal (with $J=1$), and identify peaks in the conductivity profile which were not reported in earlier studies. In our analysis, we explore how the tilting of the Weyl/multi-Weyl cone affects $\sigma_{\mu \nu}$, focussing on both type-I and type-II phases. All these systems have a linear-in-momentum dispersion along the tilting axis, which is chosen to align with $\mathbf B$. In the type-II phases, open Fermi pockets appear as artifacts of the low-energy effective continuum models, which ignore higher-order momentum terms of the actual bandstructures. Hence, we supplement the linear power term with a cubic term, which closes the Fermi pockets, thus eliminating any need for an ad hoc cutoff for the momentum integrals. Our results reveal that the absorptive parts of $\sigma_{\mu \nu}$ display multiple peaks as functions of the frequency, whose locations are determined by an energy scale $\sim |\mathbf B|^{J/2} $.


title: Multimodal Feature Extraction for Memes Sentiment Classification

abstract: In this study, we propose feature extraction for multimodal meme classification using Deep Learning approaches. A meme is usually a photo or video with text shared by the young generation on social media platforms that expresses a culturally relevant idea. Since they are an efficient way to express emotions and feelings, a good classifier that can classify the sentiment behind the meme is important. To make the learning process more efficient, reduce the likelihood of overfitting, and improve the generalizability of the model, one needs a good approach for joint feature extraction from all modalities. In this work, we proposed to use different multimodal neural network approaches for multimodal feature extraction and use the extracted features to train a classifier to identify the sentiment in a meme.


title: State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model

abstract: Reachability analysis is a widely used method to analyze the safety of a Human-in-the-Loop Cyber Physical System (HiLCPS). This strategy allows the HiLCPS to respond against an imminent threat in advance by predicting reachable states of the system. However, it could lead to an unnecessarily conservative reachable set if the prediction only relies on the system dynamics without explicitly considering human behavior, and thus the risk might be overestimated. To reduce the conservativeness of the reachability analysis, we present a state prediction method which takes into account a stochastic human behavior model represented as a Gaussian Mixture Model (GMM). In this paper, we focus on the multi-rotor in a near-collision situation. The stochastic human behavior model is trained using experimental data to represent human operators' evasive maneuver. Then, we can retrieve a human control input probability distribution from the trained stochastic human behavior model using the Gaussian Mixture Regression (GMR). The proposed algorithm predicts the probability distribution of the multi-rotor's future state based on the given dynamics and the retrieved human control input probability distribution. Besides, the proposed state prediction method considers the uncertainty of the initial state modeled as a GMM, which yields more robust performance. Human subject experiment results are provided to demonstrate the effectiveness of the proposed algorithm.


title: Topological Speed Limit

abstract: Any physical system evolves at a finite speed that is constrained not only by the energetic cost but also by the topological structure of the underlying dynamics. In this Letter, by considering such structural information, we derive a unified topological speed limit for the evolution of physical states using an optimal transport approach. We prove that the minimum time required for changing states is lower bounded by the discrete Wasserstein distance, which encodes the topological information of the system, and the time-averaged velocity. The bound obtained is tight and applicable to a wide range of dynamics, from deterministic to stochastic, and classical to quantum systems. In addition, the bound provides insight into the design principles of the optimal process that attains the maximum speed. We demonstrate the application of our results to chemical reaction networks and interacting many-body quantum systems.


title: Tunable anomalous Hall and Nernst effects in MM'X compounds

abstract: Based on first-principles calculations, the anomalous Hall (AHC) and anomalous Nernst conductivities (ANC) of the XMnP (X=Ti, Zr, Hf) compounds were evaluated, and the possibility to tailor such properties by changing the magnetization directions was also investigated. We observed that nodal lines and small gap areas consist the dominant contributions to AHC and ANC, where the significant variations in AHC and ANC when altering the magnetization direction originate from the whole Brillouin zone. Our studies gave a promising clue on engineering magnetic intermetallic compounds for tunable transverse thermoelectric applications.


title: Probing temperature-induced phase transitions at individual ferroelectric domain walls

abstract: Ferroelectric domain walls have emerged as one of the most fascinating objects in condensed matter physics due to the broad variability of functional behaviors they exhibit. However, the vast majority of domain walls studies have been focused on bias-induced dynamics and transport behaviors. Here, we introduce the scanning probe microscopy approach based on piezoresponse force microscopy (PFM) with a dynamically heated probe, combining local heating and local biasing of the material. This approach is used to explore the thermal polarization dynamics in soft Sn2P2S6 ferroelectrics, and allows for the exploration of phase transitions at individual domain walls. The strong and weak modulation regimes for the thermal PFM are introduced. The future potential applications of heated probe approach for functional SPM measurements including piezoelectric, elastic, microwave, and transport measurements are discussed.


title: From the Integer to the Fractional Quantum Hall Effect in Graphene

abstract: The fractional quantum Hall effect is a very particular manifestation of electronic correlations in two-dimensional systems in a strong perpendicular magnetic field. It arises as a consequence of a strong Coulomb repulsion between electrons in the same Landau level that conspires with a particular chirality of the electronic states. This chirality is inherited from the classical cyclotron motion, i.e. a particular sense of electronic rotation due to the orientation of the magnetic field. The specificity of the FQHE in graphene consists of a four-fold spin-valley degeneracy inherited from the electronic bands in the vicinity of the Fermi level. The relevant Coulomb interaction respects this SU(4) symmetry, and one is therefore confronted with a generic four-component fractional quantum Hall effect, as well as with other correlated four-component phases, such as spin-valley ferromagnetic states. The present article aims at a -- mainly theoretical -- discussion of these exotic phases, in comparison with experimental evidence for them.


title: Binary branching processes with Moran type interactions

abstract: The aim of this paper is to study the large population limit of a binary branching particle system with Moran type interactions: we introduce a new model where particles evolve, reproduce and die independently and, with a probability that may depend on the configuration of the whole system, the death of a particle may trigger the reproduction of another particle, while a branching event may trigger the death of an other one. We study the occupation measure of the new model, explicitly relating it to the Feynman-Kac semigroup of the underlying Markov evolution and quantifying the L2 distance between their normalisations. This model extends the fixed size Moran type interacting particle system discussed in [18, 19, 6, 7, 57] and we will indeed show that our model outperforms the latter when used to approximate a birth and death process. We discuss several other applications of our model including the neutron transport equation [36, 15] and population size dynamics.


title: Calibrate to Interpret

abstract: Trustworthy machine learning is driving a large number of ML community works in order to improve ML acceptance and adoption. The main aspect of trustworthy machine learning are the followings: fairness, uncertainty, robustness, explainability and formal guaranties. Each of these individual domains gains the ML community interest, visible by the number of related publications. However few works tackle the interconnection between these fields. In this paper we show a first link between uncertainty and explainability, by studying the relation between calibration and interpretation. As the calibration of a given model changes the way it scores samples, and interpretation approaches often rely on these scores, it seems safe to assume that the confidence-calibration of a model interacts with our ability to interpret such model. In this paper, we show, in the context of networks trained on image classification tasks, to what extent interpretations are sensitive to confidence-calibration. It leads us to suggest a simple practice to improve the interpretation outcomes: Calibrate to Interpret.


title: Probe of axion-like particles in vector boson scattering at a muon collider

abstract: We have examined the sensitivity to the axion-like particle (ALP) couplings to electroweak gauge bosons in the diphoton production at a future muon collider. The collisions at the $\mu^+ \mu^-$ energies of 3 TeV, 14 TeV, and 100 TeV are addressed. The differential cross sections versus the invariant mass of the final photons and total cross section versus minimal diphoton invariant mass are presented. We have derived the exclusion regions for the ALP-gauge boson coupling. The obtained bounds are much stronger than the current experimental bounds in the ALP mass region 10 GeV -- 10 TeV. The partial-wave unitarity constraints on the ALP-gauge boson coupling are estimated. We have shown that the unitarity is not violated in the region of the ALP coupling studied in the present paper.


title: Possible condensation of Cooper triples

abstract: We theoretically discuss the possible condensation of Cooper triples, which correspond to a three-body version of Cooper pairs, in three-component Fermi systems with three-body attractive interactions. A macroscopic number of Cooper triples can occupy a zero center-of-mass momentum state in the presence of a Fermi surface of constituent particles, even though the three-body operator exhibits anti-commutation relation associated with the Fermi-Dirac statistics. Such a condensation with internal degrees of freedom is similar to bosonization in a system of infinite-component fermions. We propose a variational wave function for condensed Cooper triples and show that in the ground state, the condensed state is energetically favored compared to the normal state. Also, we discuss effects of the Fermi-surface distortion in a lattice system described by a three-component Hubbard model.

categories: cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con nucl-th


title: Exploring the sequence length bottleneck in the Transformer for Image Captioning

abstract: Most recent state of the art architectures rely on combinations and variations of three approaches: convolutional, recurrent and self-attentive methods. Our work attempts in laying the basis for a new research direction for sequence modeling based upon the idea of modifying the sequence length. In order to do that, we propose a new method called "Expansion Mechanism" which transforms either dynamically or statically the input sequence into a new one featuring a different sequence length. Furthermore, we introduce a novel architecture that exploits such method and achieves competitive performances on the MS-COCO 2014 data set, yielding 134.6 and 131.4 CIDEr-D on the Karpathy test split in the ensemble and single model configuration respectively and 130 CIDEr-D in the official online evaluation server, despite being neither recurrent nor fully attentive. At the same time we address the efficiency aspect in our design and introduce a convenient training strategy suitable for most computational resources in contrast to the standard one. Source code is available at https://github.com/jchenghu/exploring


title: Bayesian Inference of the Symmetry Energy and the Neutron Skin in $^{48}$Ca and $^{208}$Pb from CREX and PREX-2

abstract: Using the recent model-independent determination of the charge-weak form factor difference $\Delta F_{\rm CW}$ in $^{48}$Ca and $^{208}$Pb by the CREX and PREX-2 collaborations together with some well-determined properties of doubly magic nuclei, we perform Bayesian inference of the symmetry energy $E_{\rm sym}(\rho)$ and the neutron skin thickness $\Delta r_{\rm np}$ of $^{48}$Ca and $^{208}$Pb within the Skyrme energy density functional (EDF). We find the inferred $E_{\rm sym}(\rho)$ and $\Delta r_{\rm np}$ separately from CREX and PREX-2 are compatible with each other at $90\%$ C.L., although they are inconsistent at $68.3\%$ C.L. with CREX (PREX-2) favoring a very soft (stiff) $E_{\rm sym}(\rho)$ and rather small (large) $\Delta r_{\rm np}$. By combining the CREX and PREX-2 data, we obtain a soft symmetry energy around saturation density $\rho_0$ and thinner $\Delta r_{\rm np}$ of $^{48}$Ca and $^{208}$Pb, which are found to be closer to the corresponding results from CREX alone, implying the PREX-2 is less effective to constrain the $E_{\rm sym}(\rho)$ and $\Delta r_{\rm np}$ due to its lower precision of $\Delta F_{\rm CW}$. Furthermore, we find the Skyrme EDF results inferred by combining the CREX and PREX-2 data nicely agree with the measured dipole polarizabilities $\alpha_D$ in $^{48}$Ca and $^{208}$Pb as well as the neutron matter equation of state from microscopic calculations. The implications of the inferred soft $E_{\rm sym}(\rho)$ around $\rho_0$ are discussed.


title: Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees

abstract: This paper proposes a reinforcement learning-based approach for optimal transient frequency control in power systems with stability and safety guarantees. Building on Lyapunov stability theory and safety-critical control, we derive sufficient conditions on the distributed controller design that ensure the stability and transient frequency safety of the closed-loop system. Our idea of distributed dynamic budget assignment makes these conditions less conservative than those in recent literature, so that they can impose less stringent restrictions on the search space of control policies. We construct neural network controllers that parameterize such control policies and use reinforcement learning to train an optimal one. Simulations on the IEEE 39-bus network illustrate the guaranteed stability and safety properties of the controller along with its significantly improved optimality.


title: Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value

abstract: This paper presents an empirical performance analysis of three project scheduling algorithms dealing with maximizing projects' net present value with unrestricted resources. The selected algorithms, being the most recently cited in the literature, are: Recursive Search (RS), Steepest Ascent Approach (SAA) and Hybrid Search (HS). The main motivation for this research is the lack of knowledge about the computational complexities of the RS, SAA, and HS algorithms, since all studies to date show some gaps in the analysis. Furthermore, the empirical analysis performed to date does not consider the fact that one algorithm (HS) uses a dual search strategy, which markedly improved the algorithm's performance, while the others don't. In order to obtain a fair performance comparison, we implemented the dual search strategy into the other two algorithms (RS and SAA), and the new algorithms were called Recursive Search Forward-Backward (RSFB) and Steepest Ascent Approach Forward-Backward (SAAFB). The algorithms RSFB, SAAFB, and HS were submitted to a factorial experiment with three different project network sampling characteristics. The results were analyzed using the Generalized Linear Models (GLM) statistical modeling technique that showed: a) the general computational costs of RSFB, SAAFB, and HS; b) the costs of restarting the search in the spanning tree as part of the total cost of the algorithms; c) and statistically significant differences between the distributions of the algorithms' results.


title: Low-resource Low-footprint Wake-word Detection using Knowledge Distillation

abstract: As virtual assistants have become more diverse and specialized, so has the demand for application or brand-specific wake words. However, the wake-word-specific datasets typically used to train wake-word detectors are costly to create. In this paper, we explore two techniques to leverage acoustic modeling data for large-vocabulary speech recognition to improve a purpose-built wake-word detector: transfer learning and knowledge distillation. We also explore how these techniques interact with time-synchronous training targets to improve detection latency. Experiments are presented on the open-source "Hey Snips" dataset and a more challenging in-house far-field dataset. Using phone-synchronous targets and knowledge distillation from a large acoustic model, we are able to improve accuracy across dataset sizes for both datasets while reducing latency.


title: Text to Image Synthesis using Stacked Conditional Variational Autoencoders and Conditional Generative Adversarial Networks

abstract: Synthesizing a realistic image from textual description is a major challenge in computer vision. Current text to image synthesis approaches falls short of producing a highresolution image that represent a text descriptor. Most existing studies rely either on Generative Adversarial Networks (GANs) or Variational Auto Encoders (VAEs). GANs has the capability to produce sharper images but lacks the diversity of outputs, whereas VAEs are good at producing a diverse range of outputs, but the images generated are often blurred. Taking into account the relative advantages of both GANs and VAEs, we proposed a new stacked Conditional VAE (CVAE) and Conditional GAN (CGAN) network architecture for synthesizing images conditioned on a text description. This study uses Conditional VAEs as an initial generator to produce a high-level sketch of the text descriptor. This high-level sketch output from first stage and a text descriptor is used as an input to the conditional GAN network. The second stage GAN produces a 256x256 high resolution image. The proposed architecture benefits from a conditioning augmentation and a residual block on the Conditional GAN network to achieve the results. Multiple experiments were conducted using CUB and Oxford-102 dataset and the result of the proposed approach is compared against state-ofthe-art techniques such as StackGAN. The experiments illustrate that the proposed method generates a high-resolution image conditioned on text descriptions and yield competitive results based on Inception and Frechet Inception Score using both datasets


title: FewSOL: A Dataset for Few-Shot Object Learning in Robotic Environments

abstract: We introduce the Few-Shot Object Learning (FewSOL) dataset for object recognition with a few images per object. We captured 336 real-world objects with 9 RGB-D images per object from different views. Object segmentation masks, object poses and object attributes are provided. In addition, synthetic images generated using 330 3D object models are used to augment the dataset. We investigated (i) few-shot object classification and (ii) joint object segmentation and few-shot classification with the state-of-the-art methods for few-shot learning and meta-learning using our dataset. The evaluation results show that there is still a large margin to be improved for few-shot object classification in robotic environments. Our dataset can be used to study a set of few-shot object recognition problems such as classification, detection and segmentation, shape reconstruction, pose estimation, keypoint correspondences and attribute recognition. The dataset and code are available at https://irvlutd.github.io/FewSOL.


title: Speech Emotion: Investigating Model Representations, Multi-Task Learning and Knowledge Distillation

abstract: Estimating dimensional emotions, such as activation, valence and dominance, from acoustic speech signals has been widely explored over the past few years. While accurate estimation of activation and dominance from speech seem to be possible, the same for valence remains challenging. Previous research has shown that the use of lexical information can improve valence estimation performance. Lexical information can be obtained from pre-trained acoustic models, where the learned representations can improve valence estimation from speech. We investigate the use of pre-trained model representations to improve valence estimation from acoustic speech signal. We also explore fusion of representations to improve emotion estimation across all three emotion dimensions: activation, valence and dominance. Additionally, we investigate if representations from pre-trained models can be distilled into models trained with low-level features, resulting in models with a less number of parameters. We show that fusion of pre-trained model embeddings result in a 79% relative improvement in concordance correlation coefficient CCC on valence estimation compared to standard acoustic feature baseline (mel-filterbank energies), while distillation from pre-trained model embeddings to lower-dimensional representations yielded a relative 12% improvement. Such performance gains were observed over two evaluation sets, indicating that our proposed architecture generalizes across those evaluation sets. We report new state-of-the-art "text-free" acoustic-only dimensional emotion estimation $CCC$ values on two MSP-Podcast evaluation sets.


title: Distilling Ensemble of Explanations for Weakly-Supervised Pre-Training of Image Segmentation Models

abstract: While fine-tuning pre-trained networks has become a popular way to train image segmentation models, such backbone networks for image segmentation are frequently pre-trained using image classification source datasets, e.g., ImageNet. Though image classification datasets could provide the backbone networks with rich visual features and discriminative ability, they are incapable of fully pre-training the target model (i.e., backbone+segmentation modules) in an end-to-end manner. The segmentation modules are left to random initialization in the fine-tuning process due to the lack of segmentation labels in classification datasets. In our work, we propose a method that leverages Pseudo Semantic Segmentation Labels (PSSL), to enable the end-to-end pre-training for image segmentation models based on classification datasets. PSSL was inspired by the observation that the explanation results of classification models, obtained through explanation algorithms such as CAM, SmoothGrad and LIME, would be close to the pixel clusters of visual objects. Specifically, PSSL is obtained for each image by interpreting the classification results and aggregating an ensemble of explanations queried from multiple classifiers to lower the bias caused by single models. With PSSL for every image of ImageNet, the proposed method leverages a weighted segmentation learning procedure to pre-train the segmentation network en masse. Experiment results show that, with ImageNet accompanied by PSSL as the source dataset, the proposed end-to-end pre-training strategy successfully boosts the performance of various segmentation models, i.e., PSPNet-ResNet50, DeepLabV3-ResNet50, and OCRNet-HRNetW18, on a number of segmentation tasks, such as CamVid, VOC-A, VOC-C, ADE20K, and CityScapes, with significant improvements. The source code is availabel at https://github.com/PaddlePaddle/PaddleSeg.


title: Sampling from Pre-Images to Learn Heuristic Functions for Classical Planning

abstract: We introduce a new algorithm, Regression based Supervised Learning (RSL), for learning per instance Neural Network (NN) defined heuristic functions for classical planning problems. RSL uses regression to select relevant sets of states at a range of different distances from the goal. RSL then formulates a Supervised Learning problem to obtain the parameters that define the NN heuristic, using the selected states labeled with exact or estimated distances to goal states. Our experimental study shows that RSL outperforms, in terms of coverage, previous classical planning NN heuristics functions while requiring two orders of magnitude less training time.


title: Factorizing Knowledge in Neural Networks

abstract: In this paper, we explore a novel and ambitious knowledge-transfer task, termed Knowledge Factorization~(KF). The core idea of KF lies in the modularization and assemblability of knowledge: given a pretrained network model as input, KF aims to decompose it into several factor networks, each of which handles only a dedicated task and maintains task-specific knowledge factorized from the source network. Such factor networks are task-wise disentangled and can be directly assembled, without any fine-tuning, to produce the more competent combined-task networks. In other words, the factor networks serve as Lego-brick-like building blocks, allowing us to construct customized networks in a plug-and-play manner. Specifically, each factor network comprises two modules, a common-knowledge module that is task-agnostic and shared by all factor networks, alongside with a task-specific module dedicated to the factor network itself. We introduce an information-theoretic objective, InfoMax-Bottleneck~(IMB), to carry out KF by optimizing the mutual information between the learned representations and input. Experiments across various benchmarks demonstrate that, the derived factor networks yield gratifying performances on not only the dedicated tasks but also disentanglement, while enjoying much better interpretability and modularity. Moreover, the learned common-knowledge representations give rise to impressive results on transfer learning. Our code is available at https://github.com/Adamdad/KnowledgeFactor.


title: Portable Oxygen-Sensing Device for the Improved Assessment of Compartment Syndrome and other Hypoxia-Related Conditions

abstract: Measurement of intramuscular oxygen could play a key role in the early diagnosis of acute compartment syndrome, a common condition occurring after severe trauma leading to ischemia and long-term consequences including rhabdomyolysis, limb loss, and death. However, to date, there is no existing oxygen sensor approved for such a purpose. To address the need to improve the assessment of compartment syndrome, a portable fiber-optic device for intramuscular oxygen measurements was developed. The device is based on phosphorescence quenching, where the tip of an optical fiber was coated with a poly(propyl methacrylate) (PPMA) matrix containing a brightly emitting Pt(II)-core porphyrin. The optoelectronic circuit is highly portable and is based on a microspectrometer and a microcontroller readout with a smartphone. Results from an in vivo tourniquet porcine model show that the sensor is sensitive across the physiological oxygen partial pressure range of 0-880 mmHg and exhibits an appropriate and reproducible response to changes in intramuscular oxygen. A commercial laboratory oxygen sensor based on a lifetime measurement did not respond as expected.


title: Comparing the Utility and Disclosure Risk of Synthetic Data with Samples of Microdata

abstract: Most statistical agencies release randomly selected samples of Census microdata, usually with sample fractions under 10% and with other forms of statistical disclosure control (SDC) applied. An alternative to SDC is data synthesis, which has been attracting growing interest, yet there is no clear consensus on how to measure the associated utility and disclosure risk of the data. The ability to produce synthetic Census microdata, where the utility and associated risks are clearly understood, could mean that more timely and wider-ranging access to microdata would be possible. This paper follows on from previous work by the authors which mapped synthetic Census data on a risk-utility (R-U) map. The paper presents a framework to measure the utility and disclosure risk of synthetic data by comparing it to samples of the original data of varying sample fractions, thereby identifying the sample fraction which has equivalent utility and risk to the synthetic data. Three commonly used data synthesis packages are compared with some interesting results. Further work is needed in several directions but the methodology looks very promising.


title: New hybrid organic-inorganic ferrophotovoltaic perovskites nanoparticles with high voltage for indoor and IoT applications

abstract: The ideal band gap for a photovoltaic active layer for the solar spectrum is around 1.3 eV. However oxides with such values are rare. One of the most studied oxides to date as a photovoltaic active layer is the cuprous oxide Cu2O. Its band gap is around 2.1 eV and is therefore not ideal for the solar spectrum. Power Conversion Efficiency generally do not exceed 4%. In this paper we propose to study an emerging type of solar cell that is based on ferroelectricity. In this type of solar cell, a p-n junction is not necessarily required, unlike conventional solar cells. Interesting conversion efficiencies are beginning to be obtained with this type of cell, however the mechanisms are still not well understood and several material and engineering challenges must be addressed. The objective of this paper is to initiate an innovative photovoltaic technology based on novel inorganic with suitable bandgap widths and organic materials (biopolymer). These oxides are more stables. We synthesized ferroelectric materials that absorb a large part of the solar spectrum with reduced bandgap widths. PZN-4.5PT nanoparticles were dispersed in a biopolymer matrix. Hybrid thin films with these inorganic nanoparticles embedded in a biopolymer have been successfully fabricated by spin coating on ITO substrate. Structural, morphological and electrical properties were investigated. The best Power Conversion Efficiencies measure under a light LED illumination of 3550 lux are respectively 21.83 % and 31.62 % for 15 and 30 min light exposition with an open-circuit voltage of 5.17 and 5.86 V.


title: Softmax-free Linear Transformers

abstract: Vision transformers (ViTs) have pushed the state-of-the-art for visual perception tasks. The self-attention mechanism underpinning the strength of ViTs has a quadratic complexity in both computation and memory usage. This motivates the development of approximating the self-attention at linear complexity. However, an in-depth analysis in this work reveals that existing methods are either theoretically flawed or empirically ineffective for visual recognition. We identify that their limitations are rooted in the inheritance of softmax-based self-attention during approximations, that is, normalizing the scaled dot-product between token feature vectors using the softmax function. As preserving the softmax operation challenges any subsequent linearization efforts. By this insight, a family of Softmax-Free Transformers (SOFT) are proposed. Specifically, a Gaussian kernel function is adopted to replace the dot-product similarity, enabling a full self-attention matrix to be approximated under low-rank matrix decomposition. For computational robustness, we estimate the Moore-Penrose inverse using an iterative Newton-Raphson method in the forward process only, while calculating its theoretical gradients only once in the backward process. To further expand applicability (e.g., dense prediction tasks), an efficient symmetric normalization technique is introduced. Extensive experiments on ImageNet, COCO, and ADE20K show that our SOFT significantly improves the computational efficiency of existing ViT variants. With linear complexity, much longer token sequences are permitted by SOFT, resulting in superior trade-off between accuracy and complexity. Code and models are available at https://github.com/fudan-zvg/SOFT.


title: Monkeypox Skin Lesion Detection Using Deep Learning Models: A Feasibility Study

abstract: The recent monkeypox outbreak has become a public health concern due to its rapid spread in more than 40 countries outside Africa. Clinical diagnosis of monkeypox in an early stage is challenging due to its similarity with chickenpox and measles. In cases where the confirmatory Polymerase Chain Reaction (PCR) tests are not readily available, computer-assisted detection of monkeypox lesions could be beneficial for surveillance and rapid identification of suspected cases. Deep learning methods have been found effective in the automated detection of skin lesions, provided that sufficient training examples are available. However, as of now, such datasets are not available for the monkeypox disease. In the current study, we first develop the ``Monkeypox Skin Lesion Dataset (MSLD)" consisting skin lesion images of monkeypox, chickenpox, and measles. The images are mainly collected from websites, news portals, and publicly accessible case reports. Data augmentation is used to increase the sample size, and a 3-fold cross-validation experiment is set up. In the next step, several pre-trained deep learning models, namely, VGG-16, ResNet50, and InceptionV3 are employed to classify monkeypox and other diseases. An ensemble of the three models is also developed. ResNet50 achieves the best overall accuracy of $82.96(\pm4.57\%)$, while VGG16 and the ensemble system achieved accuracies of $81.48(\pm6.87\%)$ and $79.26(\pm1.05\%)$, respectively. A prototype web-application is also developed as an online monkeypox screening tool. While the initial results on this limited dataset are promising, a larger demographically diverse dataset is required to further enhance the generalizability of these models.


title: Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search

abstract: We demonstrate how Monte Carlo Search (MCS) algorithms, namely Nested Monte Carlo Search (NMCS) and Nested Rollout Policy Adaptation (NRPA), can be used to build graphs and find counter-examples to spectral graph theory conjectures in minutes.


title: Automated Classification of General Movements in Infants Using a Two-stream Spatiotemporal Fusion Network

abstract: The assessment of general movements (GMs) in infants is a useful tool in the early diagnosis of neurodevelopmental disorders. However, its evaluation in clinical practice relies on visual inspection by experts, and an automated solution is eagerly awaited. Recently, video-based GMs classification has attracted attention, but this approach would be strongly affected by irrelevant information, such as background clutter in the video. Furthermore, for reliability, it is necessary to properly extract the spatiotemporal features of infants during GMs. In this study, we propose an automated GMs classification method, which consists of preprocessing networks that remove unnecessary background information from GMs videos and adjust the infant's body position, and a subsequent motion classification network based on a two-stream structure. The proposed method can efficiently extract the essential spatiotemporal features for GMs classification while preventing overfitting to irrelevant information for different recording environments. We validated the proposed method using videos obtained from 100 infants. The experimental results demonstrate that the proposed method outperforms several baseline models and the existing methods.


title: Non-commutative Geometry from Perturbative Quantum Gravity

abstract: Trying to connect a fundamentally non-commutative spacetime with the conservative perturbative approach to quantum gravity, we are led to the natural question: are non-commutative geometrical effects already present in the regime where perturbative quantum gravity provides a predictive framework? Moreover, is it necessary to introduce non-commutativity by hand, or does it arise through quantum-gravitational effects? We show that the first question can be answered in the affirmative, and the second one in the negative: perturbative quantum gravity predicts non-commutativity at the Planck scale, once one clarifies the structure of observables in the quantum theory.


title: Authentication Devices in Fog-Mobile Edge Computing Environments Through a Wireless Grid Resource Sharing Protocol

abstract: The rapid growth of the Internet of Things (IoT), cloud computing, Fog computing, mobile edge computing and wireless grids has resulted in the widespread deployment of relatively immature technology. These technologies, which will primarily use 5G wireless communication networks, are becoming popular because they can be deployed quickly with little infrastructure and lends themselves to environments utilizing numerous internet connected devices (ICD). Because of the threat of exploitation, these networks have to be protected by a robust security architecture due to these technologies being plagued with security problems. The authentication of smart ICDs to IoT networks is a critical mechanism for achieving security on these new information system platforms. This article identifies an authentication process required for these ICDs, which will need to prove their identity to authenticate to an IoT fog-mobile edge computing (FMEC) cloud network through a wireless grid authentication process. The purpose of this article is to hypothesize a generic authentication methodology for these FMEC clouds uses in an IoT architecture. The proposed methodology, called wg-IoT, must include the integration of Fog computing, wireless grids and mobile edge computing clouds to create this new IoT architecture. An authentication process developed from the resource sharing protocol (RSP) from a wireless grid is first developed and proposed for the authentication of ICDs. The wireless grid core components must be embedded in IoT devices or sensors depending on their capability to handle five primary functions: management of identification [ID] and presence, permissions management, data transferability, application-programming interface [API] and security.


title: Thermodynamics of Hot Neutron Stars and Universal Relations

abstract: Over the last few years, the detection of gravitational waves from binary neutron star systems has rekindled our hopes for a deeper understanding of the unknown nature of ultradense matter. In particular, gravitational wave constraints on the tidal deformability of a neutron star can be translated into constraints on several neutron star properties using a set of universal relations. Apart from binary neutron star mergers, supernova explosions are also important candidates for the detection of multimessenger signals. Such observations may allow us to impose significant constraints on the binding energy of neutron stars. The purpose of the present study is twofold. Firstly, we investigate the agreement of finite temperature equations of state with established universal relations. Secondly, we examine the possible existence of a universal relation between the binding energy and the dimensionless tidal deformability, which are the bulk properties connected to the most promising sources for multimessenger signals. We find that hot equations of state are not always compatible with accepted universal relations. Therefore, the use of such expressions for probing general relativity or imposing constraints on the structure of neutron stars would be inconclusive (when thermal effects are present). Additionally, we show that the binding energy and the dimensionless tidal deformability exhibit a universal trend at least for moderate neutron star masses. The latter allows us to set bounds on the binding energy of a 1.4 $M_\odot$ neutron star using data from the GW170817 event. Finally, we provide a relation between the compactness, the binding energy and the dimensionless tidal deformability of a neutron star that is accurate for cold and hot isentropic equations of state.


title: Human-Robot Commensality: Bite Timing Prediction for Robot-Assisted Feeding in Groups

abstract: We develop data-driven models to predict when a robot should feed during social dining scenarios. Being able to eat independently with friends and family is considered one of the most memorable and important activities for people with mobility limitations. While existing robotic systems for feeding people with mobility limitations focus on solitary dining, commensality, the act of eating together, is often the practice of choice. Sharing meals with others introduces the problem of socially appropriate bite timing for a robot, i.e. the appropriate timing for the robot to feed without disrupting the social dynamics of a shared meal. Our key insight is that bite timing strategies that take into account the delicate balance of social cues can lead to seamless interactions during robot-assisted feeding in a social dining scenario. We approach this problem by collecting a Human-Human Commensality Dataset (HHCD) containing 30 groups of three people eating together. We use this dataset to analyze human-human commensality behaviors and develop bite timing prediction models in social dining scenarios. We also transfer these models to human-robot commensality scenarios. Our user studies show that prediction improves when our algorithm uses multimodal social signaling cues between diners to model bite timing. The HHCD dataset, videos of user studies, and code are available at https://emprise.cs.cornell.edu/hrcom/


title: Fractal properties of Aldous-Kendall random metric

abstract: Investigating a model of scale-invariant random spatial network suggested by Aldous, Kendall constructed a random metric $T$ on $\mathbb{R}^d$, for which the distance between points is given by the optimal connection time, when travelling on the road network generated by a Poisson process of lines with a speed limit. In this paper, we look into some fractal properties of that random metric. In particular, although almost surely the metric space $\left(\mathbb{R}^d,T\right)$ is homeomorphic to the usual Euclidean $\mathbb{R}^d$, we prove that its Hausdorff dimension is given by $(\gamma-1)d/(\gamma-d)>d$, where $\gamma>d$ is a parameter of the model; which confirms a conjecture of Kahn. We also find that the metric space $\left(\mathbb{R}^d,T\right)$ equipped with the Lebesgue measure exhibits a multifractal property, as some points have untypically big balls around them.


title: A Case-Study on Variations Observed in Accelerometers Across Devices

abstract: Every year we grow more dependent on wearable devices to gather personalized data, such as our movements, heart rate, respiration, etc. To capture this data, devices contain sensors, such as accelerometers and gyroscopes, that are able to measure changes in their surroundings and pass along the information for better informed decisions. Although these sensors should behave similarly in different devices, that is not always the case. In this case study, we analyze accelerometers from three different devices recording the same actions with an aim to determine whether the discrepancies are due to variability within or between devices. We found the most significant variation between devices with different specifications, such as sensitivity and sampling frequency. Nevertheless, variance in the data should be assumed, even if data is gathered from the same person, activity, and type of sensor.


title: Operational islands and black hole dissipation in JT gravity

abstract: In this work, we revisit the problem of finding entanglement islands in 2d Jackiw-Teitelboim (JT) gravity. We implement the following adjustments to the traditional setup: (1) we do not explicitly couple to a non-gravitating system, instead we implement only pure absorption into a fiducial detector, (2) we utilise the operationally defined renormalised matter entanglement entropy, as defined by the boundary observer's wordline. We show that this leads to a unitary Page curve that we explicitly compute, with an island outside of the event horizon. Next, we extend the analysis to a charged and/or supersymmetric black hole. We find that in a certain regime the charged black hole grows first as it emits superradiation before eventually dissipating. We obtain similar results when embedding the system in a supersymmetric setting.


title: Market Making with Scaled Beta Policies

abstract: This paper introduces a new representation for the actions of a market maker in an order-driven market. This representation uses scaled beta distributions, and generalises three approaches taken in the artificial intelligence for market making literature: single price-level selection, ladder strategies and "market making at the touch". Ladder strategies place uniform volume across an interval of contiguous prices. Scaled beta distribution based policies generalise these, allowing volume to be skewed across the price interval. We demonstrate that this flexibility is useful for inventory management, one of the key challenges faced by a market maker. In this paper, we conduct three main experiments: first, we compare our more flexible beta-based actions with the special case of ladder strategies; then, we investigate the performance of simple fixed distributions; and finally, we devise and evaluate a simple and intuitive dynamic control policy that adjusts actions in a continuous manner depending on the signed inventory that the market maker has acquired. All empirical evaluations use a high-fidelity limit order book simulator based on historical data with 50 levels on each side.


title: Determining parameters in generalized thermomechanics for metamaterials by means of asymptotic homogenization

abstract: Advancement in manufacturing methods enable designing so called metamaterials with a tailor-made microstructure. Microstructure affects materials response within a length-scale, where we model this behavior by using the generalized thermomechanics. Strain gradient theory is employed as a higher-order theory with thermodynamics modeled as a first-order theory. Developing multiphysics models for heterogeneous materials is indeed a challenge and even this ``simplest'' model in generalized thermomechanics causes dozens of parameters to be determined. We develop a computational model by using a given microstructure, modeled as a periodic domain, and numerically calculate all parameters by means of asymptotic homogenization. Finite element method (FEM) is employed with the aid of open-source codes (FEniCS). Some example with symmetric and random distribution of voids in a model problem verifies the method and provides an example at which length-scale we need to consider generalized thermoeleasticity in composite materials.


title: Intermediate symplectic $Q$-functions

abstract: We introduce an intermediate family of Laurent polynomials between Schur's $Q$-functions and S. Okada's symplectic $Q$-functions. It can also be regarded as a $Q$-function analogue of Proctor's intermediate symplectic characters, and is named the family of intermediate symplectic $Q$-functions. We also derive a tableau-sum formula and a J\'ozefiak-Pragacz-type Pfaffian formula of the Laurent polynomials.


title: Automatic Scatterplot Design Optimization for Clustering Identification

abstract: Scatterplots are among the most widely used visualization techniques. Compelling scatterplot visualizations improve understanding of data by leveraging visual perception to boost awareness when performing specific visual analytic tasks. Design choices in scatterplots, such as graphical encodings or data aspects, can directly impact decision-making quality for low-level tasks like clustering. Hence, constructing frameworks that consider both the perceptions of the visual encodings and the task being performed enables optimizing visualizations to maximize efficacy. In this paper, we propose an automatic tool to optimize the design factors of scatterplots to reveal the most salient cluster structure. Our approach leverages the merge tree data structure to identify the clusters and optimize the choice of subsampling algorithm, sampling rate, marker size, and marker opacity used to generate a scatterplot image. We validate our approach with user and case studies that show it efficiently provides high-quality scatterplot designs from a large parameter space.


title: TeraHertz Desorption Emission Spectroscopy (THz DES) of space relevant ices

abstract: We present an experimental instrument that performs laboratory-based gas-phase Terahertz Desorption Emission Spectroscopy (THz-DES) experiments in support of astrochemistry. The measurement system combines a terahertz heterodyne radiometer that uses room temperature semiconductor mixer diode technology previously developed for the purposes of Earth observation, with a high-vacuum desorption gas cell and high-speed digital sampling circuitry to enable high spectral and temporal resolution spectroscopy of molecular species with thermal discrimination. During use, molecules are condensed onto a liquid nitrogen cooled metal finger to emulate ice structures that may be present in space. Following deposition, thermal desorption is controlled and initiated by means of a heater and monitored via a temperature sensor. The 'rest frequency' spectral signatures of molecules released into the vacuum cell environment are detected by the heterodyne radiometer in real-time and characterised with high spectral resolution. To demonstrate the viability of the instrument, we have studied Nitrous Oxide (N2O). This molecule strongly emits within the terahertz (sub-millimetre wavelength) range and provide a suitable test gas and we compare the results obtained with more traditional techniques such as quadrupole mass spectrometry. The results obtained allow us to fully characterize the measurement method and we discuss its potential use as a laboratory tool in support of astrochemical observations of molecular species in the interstellar medium and the Solar System.


title: A relation on trees and the topological indices based on subgraph

abstract: A topological index reflects the physical, chemical and structural properties of a molecule, and its study has an important role in molecular topology, chemical graph theory and mathematical chemistry. It is a natural problem to characterize non-isomorphic graphs with the same topological index value. By introducing a relation on trees with respect to edge division vectors, denoted by $\langle\mathcal{T}_n, \preceq \rangle$, in this paper we give some results for the relation order in $\langle\mathcal{T}_n, \preceq \rangle$, it allows us to compare the size of the topological index value without relying on the specific forms of them, and naturally we can determine which trees have the same topological index value. Based on these results we characterize some classes of trees that are uniquely determined by their edge division vectors and construct infinite classes of non-isomorphic trees with the same topological index value, particularly such trees of order no more than $10$ are completely determined.


title: Numerical Identification of Nonlocal Potential in Aggregation

abstract: Aggregation equations are broadly used to model population dynamics with nonlocal interactions, characterized by a potential in the equation. This paper considers the inverse problem of identifying the potential from a single noisy spatial-temporal process. The identification is challenging in the presence of noise due to the instability of numerical differentiation. We propose a robust model-based technique to identify the potential by minimizing a regularized data fidelity term, and regularization is taken as the total variation and the squared Laplacian. A split Bregman method is used to solve the regularized optimization problem. Our method is robust to noise by utilizing a Successively Denoised Differentiation technique. We consider additional constraints such as compact support and symmetry constraints to enhance the performance further. We also apply this method to identify time-varying potentials and identify the interaction kernel in an agent-based system. Various numerical examples in one and two dimensions are included to verify the effectiveness and robustness of the proposed method.


title: Anomalous relaxation from a non-equilibrium steady state: An isothermal analog of the Mpemba effect

abstract: The Mpemba effect denotes an anomalous relaxation phenomenon where a system initially at a hot temperature cools faster than a system that starts at a less elevated temperature. We introduce an isothermal analog of this effect for a system prepared in a non-equilibrium steady state that then relaxes towards equilibrium. Here, the driving strength, which determines the initial non-equilibrium steady state, takes the role of the temperature in the original version. As a paradigm, we consider a particle initially driven by a non-conservative force along a one-dimensional periodic potential. We show that for an asymmetric potential relaxation from a strongly driven initial state is faster than from a more weakly driven one at least for one of the two possible directions of driving. These results are first obtained through perturbation theory in the strength of the potential and then extended to potentials of arbitrary strength through topological arguments.


title: On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)

abstract: A system of session types is introduced as induced by a Curry Howard correspondence applied to Bounded Linear Logic, and then extending the thus obtained type system with probabilistic choices and ground types. The obtained system satisfies the expected properties, like subject reduction and progress, but also unexpected ones, like a polynomial bound on the time needed to reduce processes. This makes the system suitable for modelling experiments and proofs from the so-called computational model of cryptography.


title: Prophet Inequalities via the Expected Competitive Ratio

abstract: We consider prophet inequalities under downward-closed constraints. In this problem, a decision-maker makes immediate and irrevocable choices on arriving elements, subject to constraints. Traditionally, performance is compared to the expected offline optimum, called the \textit{Ratio of Expectations} (RoE). However, RoE has limitations as it only guarantees the average performance compared to the optimum, and might perform poorly against the realized ex-post optimal value. We study an alternative performance measure, the \textit{Expected Ratio} (EoR), namely the expectation of the ratio between algorithm's and prophet's value. EoR offers robust guarantees, e.g., a constant EoR implies achieving a constant fraction of the offline optimum with constant probability. For the special case of single-choice problems the EoR coincides with the well-studied notion of probability of selecting the maximum. However, the EoR naturally generalizes the probability of selecting the maximum for combinatorial constraints, which are the main focus of this paper. Specifically, we establish two reductions: for every constraint, RoE and the EoR are at most a constant factor apart. Additionally, we show that the EoR is a stronger benchmark than the RoE in that, for every instance (constraint and distribution), the RoE is at least a constant fraction of the EoR, but not vice versa. Both these reductions imply a wealth of EoR results in multiple settings where RoE results are known.


title: Quasiconvexity of virtual joins and separability of products in relatively hyperbolic groups

abstract: A relatively hyperbolic group $G$ is said to be QCERF if all finitely generated relatively quasiconvex subgroups are closed in the profinite topology on $G$. Assume that $G$ is a QCERF relatively hyperbolic group with double coset separable (e.g., virtually polycyclic) peripheral subgroups. Given any two finitely generated relatively quasiconvex subgroups $Q,R \leqslant G$ we prove the existence of finite index subgroups $Q'\leqslant_f Q$ and $R' \leqslant_f R$ such that the join $\langle Q',R'\rangle$ is again relatively quasiconvex in $G$. We then show that, under the minimal necessary hypotheses on the peripheral subgroups, products of finitely generated relatively quasiconvex subgroups are closed in the profinite topology on $G$. From this we obtain the separability of products of finitely generated subgroups for several classes of groups, including limit groups, Kleinian groups and balanced fundamental groups of finite graphs of free groups with cyclic edge groups.


title: Twisted Hodge diamonds give rise to non-Fourier-Mukai functors

abstract: We apply computations of twisted Hodge diamonds to construct an infinite number of non-Fourier-Mukai functors with well behaved target and source spaces. To accomplish this we first study the characteristic morphism in order to control it for tilting bundles. Then we continue by applying twisted Hodge diamonds of hypersurfaces embedded in projective space to compute the Hochschild dimension of these spaces. This allows us to compute the kernel of the embedding into the projective space in Hochschild cohomology. Finally we use the above computations to apply the construction by A. Rizzardo, M. Van den Bergh and A. Neeman of non-Fourier-Mukai functors and verify that the constructed functors indeed cannot be Fourier-Mukai for odd dimensional quadrics. Using this approach we prove that there are a large number of Hochschild cohomology classes that can be used for this type construction. Furthermore, our results allow the application of computer-based calculations to construct candidate functors for arbitrary degree hypersurfaces in arbitrary high dimensions. Verifying that these are not Fourier-Mukai still requires the existence of a tilting bundle. In particular we prove that there is at least one non-Fourier-Mukai functor for every odd dimensional smooth quadric.


title: Group Equality in Adaptive Submodular Maximization

abstract: In this paper, we study the classic submodular maximization problem subject to a group equality constraint under both non-adaptive and adaptive settings. It has been shown that the utility function of many machine learning applications, including data summarization, influence maximization in social networks, and personalized recommendation, satisfies the property of submodularity. Hence, maximizing a submodular function subject to various constraints can be found at the heart of many of those applications. On a high level, submodular maximization aims to select a group of most representative items (e.g., data points). However, the design of most existing algorithms does not incorporate the fairness constraint, leading to under- or over-representation of some particular groups. This motivates us to study the submodular maximization problem with group equality, where we aim to select a group of items to maximize a (possibly non-monotone) submodular utility function subject to a group equality constraint. To this end, we develop the first constant-factor approximation algorithm for this problem. The design of our algorithm is robust enough to be extended to solving the submodular maximization problem under a more complicated adaptive setting. Moreover, we further extend our study to incorporating a global cardinality constraint and other fairness notations.


title: High-throughput screening of Half-antiperovskites with a stacked kagome lattice

abstract: Half-antiperovskites (HAPs) are a class of materials consisting of stacked kagome lattices and thus host exotic magnetic and electronic states. We perform high-throughput calculations based on density functional theory (DFT) and atomistic spin dynamics (ASD) simulations to predict stable magnetic HAPs M$_3$X$_2$Z$_2$ (M = Cr, Mn, Fe, Co, and Ni; X is one of the elements from Li to Bi except noble gases and 4$f$ rare-earth metals; Z = S, Se, and Te), with both thermodynamical and mechanical stabilities evaluated. Additionally, the magnetic ground states are obtained by utilizing DFT calculations combined with the ASD simulations. The existing spin frustration in an AFM kagome lattice manifests as competing behavior of the in-plane FM and AFM couplings. For a total number of 930 HAP compositions considered, we have found 23 compounds that are stabilized at non-collinear antiferromagnetic (AFM) state and 11 compounds that possess ferromagnetic (FM) order.


title: A simple normalization technique using window statistics to improve the out-of-distribution generalization on medical images

abstract: Since data scarcity and data heterogeneity are prevailing for medical images, well-trained Convolutional Neural Networks (CNNs) using previous normalization methods may perform poorly when deployed to a new site. However, a reliable model for real-world clinical applications should be able to generalize well both on in-distribution (IND) and out-of-distribution (OOD) data (e.g., the new site data). In this study, we present a novel normalization technique called window normalization (WIN) to improve the model generalization on heterogeneous medical images, which is a simple yet effective alternative to existing normalization methods. Specifically, WIN perturbs the normalizing statistics with the local statistics computed on the window of features. This feature-level augmentation technique regularizes the models well and improves their OOD generalization significantly. Taking its advantage, we propose a novel self-distillation method called WIN-WIN for classification tasks. WIN-WIN is easily implemented with twice forward passes and a consistency constraint, which can be a simple extension for existing methods. Extensive experimental results on various tasks (6 tasks) and datasets (24 datasets) demonstrate the generality and effectiveness of our methods.


title: Joint Super-Resolution and Inverse Tone-Mapping: A Feature Decomposition Aggregation Network and A New Benchmark

abstract: Joint Super-Resolution and Inverse Tone-Mapping (joint SR-ITM) aims to increase the resolution and dynamic range of low-resolution and standard dynamic range images. Recent networks mainly resort to image decomposition techniques with complex multi-branch architectures. However, the fixed decomposition techniques would largely restricts their power on versatile images. To exploit the potential power of decomposition mechanism, in this paper, we generalize it from the image domain to the broader feature domain. To this end, we propose a lightweight Feature Decomposition Aggregation Network (FDAN). In particular, we design a Feature Decomposition Block (FDB) to achieve learnable separation of detail and base feature maps, and develop a Hierarchical Feature Decomposition Group by cascading FDBs for powerful multi-level feature decomposition. Moreover, to better evaluate the comparison methods, we collect a large-scale dataset for joint SR-ITM, i.e., SRITM-4K, which provides versatile scenarios for robust model training and evaluation. Experimental results on two benchmark datasets demonstrate that our FDAN is efficient and outperforms state-of-the-art methods on joint SR-ITM. The code of our FDAN and the SRITM-4K dataset are available at https://github.com/CS-GangXu/FDAN.


title: Machine learning of percolation models using graph convolutional neural networks

abstract: Percolation is an important topic in climate, physics, materials science, epidemiology, finance, and so on. Prediction of percolation thresholds with machine learning methods remains challenging. In this paper, we build a powerful graph convolutional neural network to study the percolation in both supervised and unsupervised ways. From a supervised learning perspective, the graph convolutional neural network simultaneously and correctly trains data of different lattice types, such as the square and triangular lattices. For the unsupervised perspective, combining the graph convolutional neural network and the confusion method, the percolation threshold can be obtained by the "W" shaped performance. The finding of this work opens up the possibility of building a more general framework that can probe the percolation-related phenomenon.


title: Non-Abelian extensions of groupoids and their groupoid rings

abstract: We present a geometrically oriented classification theory for non-Abelian extensions of groupoids generalizing the classification theory for Abelian extensions of groupoids by Westman as well as the familiar classification theory for non-Abelian extensions of groups by Schreier and Eilenberg-MacLane. As an application of our techniques we demonstrate that each extension of groupoids $\mathcal{N} \to \mathcal{E} \to \mathcal{G}$ gives rise to a groupoid crossed product of $\mathcal{G}$ by the groupoid ring of $\mathcal{N}$ which recovers the groupoid ring of $\mathcal{E}$ up to isomorphism. Furthermore, we make the somewhat surprising observation that our classification methods naturally transfer to the class of groupoid crossed products, thus providing a classification theory for this class of rings. Our study is motivated by the search for natural examples of groupoid crossed products.


title: Momentum and energy injection by a wind-blown bubble into an inhomogeneous interstellar medium

abstract: We investigate the effect of mass-loading from embedded clouds on the evolution of wind-blown bubbles. We use 1D hydrodynamical calculations and assume that the clouds are numerous enough that they can be treated in the continuous limit, and that rapid mixing occurs so that the injected mass quickly merges with the global flow. The destruction of embedded clouds adds mass into the bubble, increasing its density. Mass-loading increases the temperature of the unshocked stellar wind due to the frictional drag, and reduces the temperature of the hot shocked gas as the available thermal energy is shared between more particles. Mass-loading may increase or decrease the volume-averaged bubble pressure. Mass-loaded bubbles are smaller, have less retained energy and lower radial momentum, but in all cases examined are still able to do significant $PdV$ work on the swept-up gas. In this latter respect, the bubbles more closely resemble energy-conserving bubbles than the momentum-conserving-like behaviour of ``quenched'' bubbles.


title: Linear vs. nonlinear speed selection of the front propagation into unstable states

abstract: In this paper, we consider the speed selection problem of the scalar reaction-diffusion equations and the two-species Lotka-Volterra competition systems. We propose a sufficient and necessary criterion for this long-standing problem of monostable dynamical systems for the first time, from a different point of view as compared to the classical result on single equations in [Lucia-Muratov-Novaga, CPAM 2004]. Moreover, our results can further reveal the essence of the linear determined problem from a new viewpoint on the decay rate of traveling wave solutions. Our results seem to be the first that provide a sufficient and necessary criterion for the speed selection of the two-species Lotka-Volterra competition system.


title: Evolution of Popularity Bias: Empirical Study and Debiasing

abstract: Popularity bias is a long-standing challenge in recommender systems. Such a bias exerts detrimental impact on both users and item providers, and many efforts have been dedicated to studying and solving such a bias. However, most existing works situate this problem in a static setting, where the bias is analyzed only for a single round of recommendation with logged data. These works fail to take account of the dynamic nature of real-world recommendation process, leaving several important research questions unanswered: how does the popularity bias evolve in a dynamic scenario? what are the impacts of unique factors in a dynamic recommendation process on the bias? and how to debias in this long-term dynamic process? In this work, we aim to tackle these research gaps. Concretely, we conduct an empirical study by simulation experiments to analyze popularity bias in the dynamic scenario and propose a dynamic debiasing strategy and a novel False Positive Correction method utilizing false positive signals to debias, which show effective performance in extensive experiments.


title: BxC: a swift generator for 3D magnetohydrodynamic turbulence

abstract: Magnetohydrodynamic turbulence is central to laboratory and astrophysical plasmas, and is invoked for interpreting many observed scalings. Verifying predicted scaling law behaviour requires extreme-resolution direct numerical simulations (DNS), with needed computing resources excluding systematic parameter surveys. We here present an analytic generator of realistically looking turbulent magnetic fields, that computes 3D ${\cal{O}}(1000^3)$ solenoidal vector fields in minutes to hours on desktops. Our model is inspired by recent developments in 3D incompressible fluid turbulence theory, where a Gaussian white noise vector subjected to a non-linear transformation results in an intermittent, multifractal random field. Our $B\times C$ model has only few parameters that have clear geometric interpretations. We directly compare a (costly) DNS with a swiftly $B\times C$-generated realization, in terms of its (i) characteristic sheet-like structures of current density, (ii) volume-filling aspects across current intensity, (iii) power-spectral behaviour, (iv) probability distribution functions of increments for magnetic field and current density, structure functions, spectra of exponents, and (v) partial variance of increments. The model even allows to mimic time-evolving magnetic and current density distributions and can be used for synthetic observations on 3D turbulent data cubes.

categories: physics.plasm-ph astro-ph.GA astro-ph.SR physics.comp-ph physics.flu-dyn


title: Performance analysis of quantum harmonic Otto engine and refrigerator under a trade-off figure of merit

abstract: We investigate the optimal performance of quantum Otto engine and refrigeration cycles of a time-dependent harmonic oscillator under a trade-off figure of merit for both adiabatic and nonadiabatic (sudden-switch) frequency modulations. For heat engine (refrigerator), the chosen trade-off figure of merit is an objective function defined by the product of efficiency (coefficient of performance) and work output (cooling load), thus representing a compromise between them. We obtain analytical expressions for the efficiency and coefficient of performance of the harmonic Otto cycle for the optimal performance of the thermal machine in various operational regimes. Particularly, in the sudden-switch regime, we discuss the implications of the nonadiabatic driving on the performance of the thermal machine under consideration, and obtain analytic expressions for the maximum achievable efficiency and coefficient of performance of the harmonic Otto thermal machine. Further, by carrying out a detailed comparative analysis of the heat engine operating under the chosen trade-off objective function with one operating at maximum work output, we show that the trade-off objective functions have desirable operation only for the adiabatic driving whereas for the sudden switch operation, the choice of a trade-off objective function does not make much difference as the performance of the engine is dominated by frictional effects.


title: A lensed radio jet at milli-arcsecond resolution I: Bayesian comparison of parametric lens models

abstract: We investigate the mass structure of a strong gravitational lens galaxy at $z=0.350$, taking advantage of the milli-arcsecond (mas) angular resolution of very long baseline interferometric (VLBI) observations. In the first analysis of its kind at this resolution, we jointly infer the lens model parameters and pixellated radio source surface brightness. We consider several lens models of increasing complexity, starting from an elliptical power-law density profile. We extend this model to include angular multipole structures, a separate stellar mass component, additional nearby field galaxies, and/or a generic external potential. We compare these models using their relative Bayesian log-evidence (Bayes factor). We find strong evidence for angular structure in the lens; our best model is comprised of a power-law profile plus multipole perturbations and external potential, with a Bayes factor of $+14984$ relative to the elliptical power-law model. It is noteworthy that the elliptical power-law mass distribution is a remarkably good fit on its own, with additional model complexity correcting the deflection angles only at the $\sim5$ mas level. We also consider the effects of added complexity in the lens model on time-delay cosmography and flux-ratio analyses. We find that an overly simplistic power-law ellipsoid lens model can bias the measurement of $H_0$ by $\sim3$ per cent and mimic flux ratio anomalies of $\sim8$ per cent. Our results demonstrate the power of high-resolution VLBI observations to provide strong constraints on the inner density profiles of lens galaxies.


title: Keldysh Nonlinear Sigma Model for a Free-Fermion Gas under Continuous Measurements

abstract: Quantum entanglement phase transitions have provided new insights to quantum many-body dynamics. Both disorders and measurements are found to induce similar entanglement transitions. Here, we provide a theoretical framework that unifies these two seemingly disparate concepts and discloses their internal connections. Specifically, we analytically analyze a $d$-dimension free-fermion gas subject to continuous projective measurements. By mapping the Lindblad master equation to the functional Keldysh field theory, we develop an effective theory termed as the time-local Keldysh nonlinear sigma model, which enables us to analytically describe the physics of the monitored system. Our effective theory resembles to that used to describe the disordered fermionic systems. As an application of the effective theory, we study the transport property and obtain a Drude-form conductivity where the elastic scattering time is replaced by the inverse measurement strength. According to these similarities, two different concepts, measurements and disorders, are unified in the same theoretical framework. A numerical verification of our theory and predictions is also provided.

categories: quant-ph cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech


title: Quantifying Electron Entanglement Faithfully

abstract: Entanglement is one of the most fascinating concepts of modern physics. In striking contrast to its abstract, mathematical foundation, its practical side is, however, remarkably underdeveloped. Even for systems of just two orbitals or sites no faithful entanglement measure is known yet. By exploiting the spin symmetries of realistic many-electron systems, we succeed in deriving a closed formula for the relative entropy of entanglement between electron orbitals. Its broad applicability in the quantum sciences is demonstrated: (i) in light of the second quantum revolution, it quantifies the true physical entanglement by incorporating the crucial fermionic superselection rule (ii) an analytic description of the long-distance entanglement in free electron chains is found, refining Kohn's locality principle (iii) the bond-order wave phase in the extended Hubbard model can be confirmed, and (iv) the quantum complexity of common molecular bonding structures could be marginalized through orbital transformations, thus rationalizing zero-seniority wave function ansatzes.


title: Small-x Evolution of the Gluon Generalized Parton Distribution Eg of the Nucleon

abstract: We study the small-$x$ evolution equation for the gluon generalized parton distribution (GPD) $E_g$ of the nucleon. It is shown that $E_g$ at vanishing skewness exhibits the Regge behavior identical to the BFKL Pomeron, despite its association with nucleon helicity-flip processes. We also consider the effect of gluon saturation and demonstrate that $E_g$ gets saturated in the same way as its helicity-nonflip counterpart $H_g$. Our result has a direct impact on the modeling of $E_g$ as well as the small-$x$ contribution to nucleon spin sum rules.


title: Sweeter than SUITE: Supermartingale Stratified Union-Intersection Tests of Elections

abstract: Stratified sampling can be useful in risk-limiting audits (RLAs), for instance, to accommodate heterogeneous voting equipment or laws that mandate jurisdictions draw their audit samples independently. We combine the union-intersection tests in SUITE, the reduction of RLAs to testing whether the means of a collection of lists are all $\leq 1/2$ of SHANGRLA, and the nonnegative supermartingale (NNSM) tests in ALPHA to improve the efficiency and flexibility of stratified RLAs. A simple, non-adaptive strategy for combining stratumwise NNSMs decreases the measured risk in the 2018 pilot hybrid audit in Kalamazoo, Michigan, USA by more than an order of magnitude, from 0.037 for SUITE to 0.003 for our method. We give a simple, computationally inexpensive, adaptive rule for deciding which stratum to sample next that reduces audit workload by as much as 74% in examples. We also present NNSM-based tests that are computationally tractable even when there are many strata, illustrated with a simulated audit stratified across California's 58 counties.


title: Neural Language Models are not Born Equal to Fit Brain Data, but Training Helps

abstract: Neural Language Models (NLMs) have made tremendous advances during the last years, achieving impressive performance on various linguistic tasks. Capitalizing on this, studies in neuroscience have started to use NLMs to study neural activity in the human brain during language processing. However, many questions remain unanswered regarding which factors determine the ability of a neural language model to capture brain activity (aka its 'brain score'). Here, we make first steps in this direction and examine the impact of test loss, training corpus and model architecture (comparing GloVe, LSTM, GPT-2 and BERT), on the prediction of functional Magnetic Resonance Imaging timecourses of participants listening to an audiobook. We find that (1) untrained versions of each model already explain significant amount of signal in the brain by capturing similarity in brain responses across identical words, with the untrained LSTM outperforming the transformerbased models, being less impacted by the effect of context; (2) that training NLP models improves brain scores in the same brain regions irrespective of the model's architecture; (3) that Perplexity (test loss) is not a good predictor of brain score; (4) that training data have a strong influence on the outcome and, notably, that off-the-shelf models may lack statistical power to detect brain activations. Overall, we outline the impact of modeltraining choices, and suggest good practices for future studies aiming at explaining the human language system using neural language models.


title: Parameterized Colorings And Labellings Of Graphs In Topological Coding

abstract: The coming quantum computation is forcing us to reexamine the cryptosystems people use. We are applying graph colorings of topological coding to modern information security and future cryptography against supercomputer and quantum computer attacks in the near future. Many of techniques introduced here are associated with many mathematical conjecture and NP-problems. We will introduce a group of W-constraint (k,d)-total colorings and algorithms for realizing these colorings in some kinds of graphs, which are used to make quickly public-keys and private-keys with anti-quantum computing, these (k,d)-total colorings are: graceful (k,d)-total colorings, harmonious (k,d)-total colorings, (k,d)-edge-magic total colorings, (k,d)-graceful-difference total colorings and (k,d)-felicitous-difference total colorings. One of useful tools we used is called Topcode-matrix with elements can be all sorts of things, for example, sets, graphs, number-based strings. Most of parameterized graphic colorings/labelings are defined by Topcode-matrix algebra here. From the application point of view, many of our coloring techniques are given by algorithms and easily converted into programs.


title: A new standard in high-field terahertz generation: the organic nonlinear optical crystal PNPA

abstract: We report the full characterization of a new organic nonlinear optical (NLO) crystal for intense THz generation: PNPA ((E)-4-((4-nitrobenzylidene)amino)-N-phenylaniline). We discuss crystal growth and structural characteristics. We present the wavelength dependence of THz generation, the thickness dependence of the THz spectrum for PNPA crystals, and measure the efficiency. PNPA enables intense THz generation that surpasses NLO crystals DAST and OH-1, which have been the standard in organic high-field THz generators for several years.


title: Peano's Conception of a Single Infinite Cardinality

abstract: While Peano's negative attitude towards infinitesimals, in particular, geometric infinitesimals, is widely documented, his conception of a single infinite cardinality and, more generally, his views on the infinite, are a lot less known. The paper reconstructs the evolution of Peano's ideas on these questions, and formulates several hypotheses about their underlying motivations.


title: HE-PEx: Efficient Machine Learning under Homomorphic Encryption using Pruning, Permutation and Expansion

abstract: Privacy-preserving neural network (NN) inference solutions have recently gained significant traction with several solutions that provide different latency-bandwidth trade-offs. Of these, many rely on homomorphic encryption (HE), a method of performing computations over encrypted data. However, HE operations even with state-of-the-art schemes are still considerably slow compared to their plaintext counterparts. Pruning the parameters of a NN model is a well-known approach to improving inference latency. However, pruning methods that are useful in the plaintext context may lend nearly negligible improvement in the HE case, as has also been demonstrated in recent work. In this work, we propose a novel set of pruning methods that reduce the latency and memory requirement, thus bringing the effectiveness of plaintext pruning methods to HE. Crucially, our proposal employs two key techniques, viz. permutation and expansion of the packed model weights, that enable pruning significantly more ciphertexts and recuperating most of the accuracy loss, respectively. We demonstrate the advantage of our method on fully connected layers where the weights are packed using a recently proposed packing technique called tile tensors, which allows executing deep NN inference in a non-interactive mode. We evaluate our methods on various autoencoder architectures and demonstrate that for a small mean-square reconstruction loss of 1.5*10^{-5} on MNIST, we reduce the memory requirement and latency of HE-enabled inference by 60%.


title: Remarks on the Aharonov-Bohm Green function

abstract: Some elementary algebraic points regarding the Green function for a localised flux tube are developed. A calculation of the effective action density is included.


title: Egocentric Visual Self-Modeling for Autonomous Robot Dynamics Prediction and Adaptation

abstract: The ability of robots to model their own dynamics is key to autonomous planning and learning, as well as for autonomous damage detection and recovery. Traditionally, dynamic models are pre-programmed or learned from external observations. Here, we demonstrate for the first time how a task-agnostic dynamic self-model can be learned using only a single first-person-view camera in a self-supervised manner, without any prior knowledge of robot morphology, kinematics, or task. Through experiments on a 12-DoF robot, we demonstrate the capabilities of the model in basic locomotion tasks using visual input. Notably, the robot can autonomously detect anomalies, such as damaged components, and adapt its behavior, showcasing resilience in dynamic environments. Furthermore, the model's generalizability was validated across robots with different configurations, emphasizing its potential as a universal tool for diverse robotic systems. The egocentric visual self-model proposed in our work paves the way for more autonomous, adaptable, and resilient robotic systems.


title: Bonding and Electronic Nature of the Anionic Framework in LaPd$_3$S$_4$

abstract: Double Dirac materials are a topological phase of matter in which a non-symmorphic symmetry enforces greater electronic degeneracy than normally expected up to eightfold. The cubic palladium bronzes NaPd$_3$O$_4$ and LaPd$_3$S$_4$ are built of Pd$_3$X$_4$ (X = O, S) anionic frameworks that are ionically bonded to A cations (A = Na, La). These materials were recently identified computationally as harboring eightfold fermions. Here we report the preparation of single crystals and electronic properties of LaPd$_3$S$_4$. Measurements down to T = 0.45 K and in magnetic fields up to $\mu$0H = 65 T are consistent with normal Fermi liquid physics of a Dirac metal in the presence of dilute magnetic impurities. This interpretation is further confirmed by analysis of specific heat, magnetization measurements and comparison to density functional theory (DFT) calculations. Through a bonding analysis of the DFT electronic structure of NaPd$_3$O$_4$ and LaPd$_3$S$_4$, we identify the origin of the stability of the anionic Pd$_3$X$_4$ framework at higher electron counts for X = S than X = O, and propose chemical tuning strategies to enable shifting the 8-fold fermion points to the Fermi level.


title: Approximate Solutions of Linear Systems at a Universal Rate

abstract: Let $A \in \mathbb{R}^{n \times n}$ be invertible, $x \in \mathbb{R}^n$ unknown and $b =Ax $ given. We are interested in approximate solutions: vectors $y \in \mathbb{R}^n$ such that $\|Ay - b\|$ is small. We prove that for all $0< \varepsilon <1 $ there is a composition of $k$ orthogonal projections onto the $n$ hyperplanes generated by the rows of $A$, where $$k \leq 2 \log\left(\frac{1}{\varepsilon} \right) \frac{ n}{ \varepsilon^{2}}$$ which maps the origin to a vector $y\in \mathbb{R}^n$ satisfying $\| A y - Ax\| \leq \varepsilon \cdot \|A\| \cdot \| x\|$. We note that this upper bound on $k$ is independent of the matrix $A$. This procedure is stable in the sense that $\|y\| \leq 2\|x\|$. The existence proof is based on a probabilistically refined analysis of the Random Kaczmarz method which seems to achieve this rate when solving for $A x = b$ with high likelihood.


title: Benefits and Challenges of Dynamic Modelling of Cascading Failures in Power Systems

abstract: Time-based dynamic models of cascading failures have been recognized as one of the most comprehensive methods of representing detailed cascading information and are often used for benchmarking and validation. This paper provides an overview of the progress in the field of dynamic analysis of cascading failures in power systems and outlines the benefits and challenges of dynamic simulations in future grids. The benefits include the ability to capture temporal characteristics of system dynamics and provide timing information to facilitate control actions for blackout mitigation. The greatest barriers to dynamic modelling of cascading failures are the computational burden, and the extensive but often unavailable data requirements for dynamic representation of a power system. These factors are discussed in detail in this paper and the need for in-depth research into dynamic modelling of cascading failures is highlighted. Furthermore, case studies of dynamic cascading simulation of 200-bus and 2000-bus benchmark systems provide initial guidance for the selection of critical parameters to enhance simulation efficiency. Finally, cross-validation and comparison against a quasi-steady state DC power flow model is performed, with various metrics compared.


title: Investigating the Impact of Cross-lingual Acoustic-Phonetic Similarities on Multilingual Speech Recognition

abstract: Multilingual automatic speech recognition (ASR) systems mostly benefit low resource languages but suffer degradation in performance across several languages relative to their monolingual counterparts. Limited studies have focused on understanding the languages behaviour in the multilingual speech recognition setups. In this paper, a novel data-driven approach is proposed to investigate the cross-lingual acoustic-phonetic similarities. This technique measures the similarities between posterior distributions from various monolingual acoustic models against a target speech signal. Deep neural networks are trained as mapping networks to transform the distributions from different acoustic models into a directly comparable form. The analysis observes that the languages closeness can not be truly estimated by the volume of overlapping phonemes set. Entropy analysis of the proposed mapping networks exhibits that a language with lesser overlap can be more amenable to cross-lingual transfer, and hence more beneficial in the multilingual setup. Finally, the proposed posterior transformation approach is leveraged to fuse monolingual models for a target language. A relative improvement of ~8% over monolingual counterpart is achieved.


title: Non-Linear Pairwise Language Mappings for Low-Resource Multilingual Acoustic Model Fusion

abstract: Multilingual speech recognition has drawn significant attention as an effective way to compensate data scarcity for low-resource languages. End-to-end (e2e) modelling is preferred over conventional hybrid systems, mainly because of no lexicon requirement. However, hybrid DNN-HMMs still outperform e2e models in limited data scenarios. Furthermore, the problem of manual lexicon creation has been alleviated by publicly available trained models of grapheme-to-phoneme (G2P) and text to IPA transliteration for a lot of languages. In this paper, a novel approach of hybrid DNN-HMM acoustic models fusion is proposed in a multilingual setup for the low-resource languages. Posterior distributions from different monolingual acoustic models, against a target language speech signal, are fused together. A separate regression neural network is trained for each source-target language pair to transform posteriors from source acoustic model to the target language. These networks require very limited data as compared to the ASR training. Posterior fusion yields a relative gain of 14.65% and 6.5% when compared with multilingual and monolingual baselines respectively. Cross-lingual model fusion shows that the comparable results can be achieved without using posteriors from the language dependent ASR.


title: Bayesian Modeling of Language-Evoked Event-Related Potentials

abstract: Bayesian hierarchical models are well-suited to analyzing the often noisy data from electroencephalography experiments in cognitive neuroscience: these models provide an intuitive framework to account for structures and correlations in the data, and they allow a straightforward handling of uncertainty. In a typical neurolinguistic experiment, event-related potentials show only very small effect sizes and frequentist approaches to data analysis fail to establish the significance of some of these effects. Here, we present a Bayesian approach to analyzing event-related potentials using as an example data from an experiment which relates word surprisal and neural response. Our model is able to estimate the effect of word surprisal on most components of the event-related potential and provides a richer description of the data. The Bayesian framework also allows easier comparison between estimates based on surprisal values calculated using different language models.


title: Eisenstein Cohomology for GL(N) and the special values of Rankin-Selberg L-functions over a totally imaginary number field

abstract: Rationality results are proved for the ratios of critical values of Rankin-Selberg L-functions of GL(n) x GL(n') over a totally imaginary field F, by studying rank-one Eisenstein cohomology for the group GL(N)/F, where N = n+n', generalizing the methods and results of previous work with Guenter Harder where the base field was totally real. In contrast to the totally real situation, the internal structure of the totally imaginary base field has a delicate effect on the rationality results.


title: MuRiT: Efficient Computation of Pathwise Persistence Barcodes in Multi-Filtered Flag Complexes via Vietoris-Rips Transformations

abstract: Multi-parameter persistent homology naturally arises in applications of persistent topology to data that come with extra information depending on additional parameters, like for example time series data. We introduce the concept of a Vietoris-Rips transformation, a method that reduces the computation of the one-parameter persistent homology of pathwise subcomplexes in multi-filtered flag complexes to the computation of the Vietoris-Rips persistent homology of certain semimetric spaces. The corresponding pathwise persistence barcodes track persistence features of the ambient multi-filtered complex and can in particular be used to recover the rank invariant in multi-parameter persistent homology. We present MuRiT, a scalable algorithm that computes the pathwise persistence barcodes of multi-filtered flag complexes by means of Vietoris-Rips transformations. Moreover, we provide an efficient software implementation of the MuRiT algorithm which resorts to Ripser for the actual computation of Vietoris-Rips persistence barcodes. To demonstrate the applicability of MuRiT to real-world datasets, we establish MuRiT as part of our CoVtRec pipeline for the surveillance of the convergent evolution of the coronavirus SARS-CoV-2 in the current COVID-19 pandemic.


title: Unified Learning from Demonstrations, Corrections, and Preferences during Physical Human-Robot Interaction

abstract: Humans can leverage physical interaction to teach robot arms. This physical interaction takes multiple forms depending on the task, the user, and what the robot has learned so far. State-of-the-art approaches focus on learning from a single modality, or combine multiple interaction types by assuming that the robot has prior information about the human's intended task. By contrast, in this paper we introduce an algorithmic formalism that unites learning from demonstrations, corrections, and preferences. Our approach makes no assumptions about the tasks the human wants to teach the robot; instead, we learn a reward model from scratch by comparing the human's inputs to nearby alternatives. We first derive a loss function that trains an ensemble of reward models to match the human's demonstrations, corrections, and preferences. The type and order of feedback is up to the human teacher: we enable the robot to collect this feedback passively or actively. We then apply constrained optimization to convert our learned reward into a desired robot trajectory. Through simulations and a user study we demonstrate that our proposed approach more accurately learns manipulation tasks from physical human interaction than existing baselines, particularly when the robot is faced with new or unexpected objectives. Videos of our user study are available at: https://youtu.be/FSUJsTYvEKU


title: Inertia Adequacy in Transient Stability Models for Synthetic Electric Grids

abstract: If a disturbance rocks a low-inertia power system, the frequency decline may be too rapid to arrest before it triggers undesirable responses from generators and loads. In the worst case, this instability could lead to blackout and major equipment damage. Electric utilities, to combat this, study inertia adequacy in systems that are particularly vulnerable. This process, involving detailed transient simulations, usually leads to a notion of a system-wide inertia floor. Ongoing questions in this analysis are in how to set the inertial floor and to what extent the location of frequency control resources matters. This paper proposes a new analysis technique that quantifies theoretical locational rate of change of frequency (ROCOF) as a computationally efficient screening algorithm scalable to large systems. An additional challenge in moving this area forward is the lack of high-quality, public benchmark dynamics cases. This paper presents a synthetic case for such purposes and a methodology for validation, to ensure that it is well suited to inertia adequacy studies to improve electric grid performance.


title: Asset Trading in Continuous Time: A Cautionary Tale

abstract: The continuous time model of dynamic asset trading is the central model of modern finance. Because trading cannot in fact take place at every moment of time, it would seem desirable to show that the continuous time model can be viewed as the limit of models in which trading can occur only at (many) discrete moments of time. This paper demonstrates that, if we take terminal wealth constraints and self-financing constraints as seriously in the discrete model as in the continuous model, then the continuous trading model need not be the limit of discrete trading models. This raises serious foundational questions about the continuous time model.