title: Sim-to-real Transfer of Deep Reinforcement Learning Agents for Online Coverage Path Planning

abstract: Sim-to-real transfer presents a difficult challenge, where models trained in simulation are to be deployed in the real world. The distribution shift between the two settings leads to biased representations of the perceived real-world environment, and thus to suboptimal predictions. In this work, we tackle the challenge of sim-to-real transfer of reinforcement learning (RL) agents for coverage path planning (CPP). In CPP, the task is for a robot to find a path that visits every point of a confined area. Specifically, we consider the case where the environment is unknown, and the agent needs to plan the path online while mapping the environment. We bridge the sim-to-real gap through a semi-virtual environment with a simulated sensor and obstacles, while including real robot kinematics and real-time aspects. We investigate what level of fine-tuning is needed for adapting to a realistic setting, comparing to an agent trained solely in simulation. We find that a high model inference frequency is sufficient for reducing the sim-to-real gap, while fine-tuning degrades performance initially. By training the model in simulation and deploying it at a high inference frequency, we transfer state-of-the-art results from simulation to the real domain, where direct learning would take in the order of weeks with manual interaction, i.e., would be completely infeasible.


title: Freezing, melting and the onset of glassiness in binary mixtures

abstract: We clarify the relationship between freezing, melting and the onset of glassy dynamics in the prototypical glass-forming Kob-Andersen mixture. Our starting point is a precise definition of the onset of glassiness, as expressed by the emergence of an inflection in the time-dependent correlation functions. By scanning the temperature-composition phase diagram of the model, we find that the onset temperature barely varies with concentration, unlike the freezing temperature, which shows a marked drop at the eutectic point. We observe, however, a surprising correspondence between the onset of glassiness and the solidus line, along which the underlying crystalline phases melt. At fixed concentration, the freezing and onset temperatures display similar pressure dependencies, which are very well predicted by the isomorph theory and are encoded in the variation of the excess entropy. While our results rule out a general connection between thermodynamic metastability and glassiness, they call for a careful assessment of the role of crystalline precursors in glass-forming liquids.


title: Hausdorff dimension of the Apollonian gasket

abstract: The Apollonian gasket is a well-studied circle packing. Important properties of the packing, including the distribution of the circle radii, are governed by its Hausdorff dimension. No closed form is currently known for the Hausdorff dimension, and its computation is a special case of a more general and hard problem: effective, rigorous estimates of dimension of a parabolic limit set. In this paper we develop an efficient method for solving this problem which allows us to compute the dimension of the gasket to 128 decimal places and rigorously justify the error bounds. We expect our approach to generalise easily to other parabolic fractals.


title: An introduction to the deduction number

abstract: The deduction game is a variation of the game of cops and robber on graphs in which searchers must capture an invisible evader in at most one move. Searchers know each others' initial locations, but can only communicate if they are on the same vertex. Thus, searchers must deduce other searchers' movement and move accordingly. We introduce the deduction number and study it for various classes of graphs. We provide upper bounds for the deduction number of the Cartesian product of graphs.


title: Hamiltonian formulation and aspects of integrability of generalised hydrodynamics

abstract: Generalised Hydrodynamics (GHD) describes the large-scale inhomogeneous dynamics of integrable (or close to integrable) systems in one dimension of space, based on a central equation for the fluid density or quasi-particle density: the GHD equation. We consider a new, general form of the GHD equation: we allow for spatially extended interaction kernels, generalising previous constructions. We show that the GHD equation, in our general form and hence also in its conventional form, is Hamiltonian. This holds also including force terms representing inhomogeneous external potentials coupled to conserved densities. To this end, we introduce a new Poisson bracket on functionals of the fluid density, which is seen as our dynamical field variable. The total energy is the Hamiltonian whose flow under this Poisson bracket generates the GHD equation. The fluid density depends on two (real and spectral) variables so the GHD equation can be seen as a $2+1$-dimensional classical field theory. We further show the system admits an infinite set of conserved quantities that are in involution for our Poisson bracket, hinting at integrability of this field theory.

categories: nlin.PS cond-mat.stat-mech math-ph math.MP nlin.SI


title: A classification of module braces over the ring of $\mathbf{p}$-adic integers

abstract: In this paper we study the $R$-braces $(M,+,\circ)$ such that $M\cdot M$ is cyclic, where $R$ is the ring of $p$-adic and $\cdot$ is the product of the radical $R$-algebra associated to $M$. In particular, we give a classification up to isomorphism in the torsion-free case and up to isoclinism in the torsion case. More precisely, the isomorphism classes and the isoclinism classes of such radical algebras are in correspondence with particular equivalence classes of the bilinear forms defined starting from the products of the algebras.


title: Through the Thicket: A Study of Number-Oriented LLMs derived from Random Forest Models

abstract: Large Language Models (LLMs) have shown exceptional performance in text processing. Notably, LLMs can synthesize information from large datasets and explain their decisions similarly to human reasoning through a chain of thought (CoT). An emerging application of LLMs is the handling and interpreting of numerical data, where fine-tuning enhances their performance over basic inference methods. This paper proposes a novel approach to training LLMs using knowledge transfer from a random forest (RF) ensemble, leveraging its efficiency and accuracy. By converting RF decision paths into natural language statements, we generate outputs for LLM fine-tuning, enhancing the model's ability to classify and explain its decisions. Our method includes verifying these rules through established classification metrics, ensuring their correctness. We also examine the impact of preprocessing techniques on the representation of numerical data and their influence on classification accuracy and rule correctness


title: LLM-based speaker diarization correction: A generalizable approach

abstract: Speaker diarization is necessary for interpreting conversations transcribed using automated speech recognition (ASR) tools. Despite significant developments in diarization methods, diarization accuracy remains an issue. Here, we investigate the use of large language models (LLMs) for diarization correction as a post-processing step. LLMs were fine-tuned using the Fisher corpus, a large dataset of transcribed conversations. The ability of the models to improve diarization accuracy in a holdout dataset was measured. We report that fine-tuned LLMs can markedly improve diarization accuracy. However, model performance is constrained to transcripts produced using the same ASR tool as the transcripts used for fine-tuning, limiting generalizability. To address this constraint, an ensemble model was developed by combining weights from three separate models, each fine-tuned using transcripts from a different ASR tool. The ensemble model demonstrated better overall performance than each of the ASR-specific models, suggesting that a generalizable and ASR-agnostic approach may be achievable. We hope to make these models accessible through public-facing APIs for use by third-party applications.


title: AGBD: A Global-scale Biomass Dataset

abstract: Accurate estimates of Above Ground Biomass (AGB) are essential in addressing two of humanity's biggest challenges, climate change and biodiversity loss. Existing datasets for AGB estimation from satellite imagery are limited. Either they focus on specific, local regions at high resolution, or they offer global coverage at low resolution. There is a need for a machine learning-ready, globally representative, high-resolution benchmark. Our findings indicate significant variability in biomass estimates across different vegetation types, emphasizing the necessity for a dataset that accurately captures global diversity. To address these gaps, we introduce a comprehensive new dataset that is globally distributed, covers a range of vegetation types, and spans several years. This dataset combines AGB reference data from the GEDI mission with data from Sentinel-2 and PALSAR-2 imagery. Additionally, it includes pre-processed high-level features such as a dense canopy height map, an elevation map, and a land-cover classification map. We also produce a dense, high-resolution (10m) map of AGB predictions for the entire area covered by the dataset. Rigorously tested, our dataset is accompanied by several benchmark models and is publicly available. It can be easily accessed using a single line of code, offering a solid basis for efforts towards global AGB estimation. The GitHub repository github.com/ghjuliasialelli/AGBD serves as a one-stop shop for all code and data.


title: Protein pathways as a catalyst to directed evolution of the topology of artificial neural networks

abstract: In the present article, we propose a paradigm shift on evolving Artificial Neural Networks (ANNs) towards a new bio-inspired design that is grounded on the structural properties, interactions, and dynamics of protein networks (PNs): the Artificial Protein Network (APN). This introduces several advantages previously unrealized by state-of-the-art approaches in NE: (1) We can draw inspiration from how nature, thanks to millions of years of evolution, efficiently encodes protein interactions in the DNA to translate our APN to silicon DNA. This helps bridge the gap between syntax and semantics observed in current NE approaches. (2) We can learn from how nature builds networks in our genes, allowing us to design new and smarter networks through EA evolution. (3) We can perform EA crossover/mutation operations and evolution steps, replicating the operations observed in nature directly on the genotype of networks, thus exploring and exploiting the phenotypic space, such that we avoid getting trapped in sub-optimal solutions. (4) Our novel definition of APN opens new ways to leverage our knowledge about different living things and processes from biology. (5) Using biologically inspired encodings, we can model more complex demographic and ecological relationships (e.g., virus-host or predator-prey interactions), allowing us to optimise for multiple, often conflicting objectives.


title: MA-AVT: Modality Alignment for Parameter-Efficient Audio-Visual Transformers

abstract: Recent advances in pre-trained vision transformers have shown promise in parameter-efficient audio-visual learning without audio pre-training. However, few studies have investigated effective methods for aligning multimodal features in parameter-efficient audio-visual transformers. In this paper, we propose MA-AVT, a new parameter-efficient audio-visual transformer employing deep modality alignment for corresponding multimodal semantic features. Specifically, we introduce joint unimodal and multimodal token learning for aligning the two modalities with a frozen modality-shared transformer. This allows the model to learn separate representations for each modality, while also attending to the cross-modal relationships between them. In addition, unlike prior work that only aligns coarse features from the output of unimodal encoders, we introduce blockwise contrastive learning to align coarse-to-fine-grain hierarchical features throughout the encoding phase. Furthermore, to suppress the background features in each modality from foreground matched audio-visual features, we introduce a robust discriminative foreground mining scheme. Through extensive experiments on benchmark AVE, VGGSound, and CREMA-D datasets, we achieve considerable performance improvements over SOTA methods.


title: Quantifying the quantum nature of high spin YSR excitations in transverse magnetic field

abstract: Excitations of individual and coupled spins on superconductors provide a platform to study quantum spin impurity models as well as a pathway toward realizing topological quantum computing. Here, we characterize, using ultra-low temperature scanning tunneling microscopy/spectroscopy, the Yu-Shiba-Rusinov (YSR) states of individual manganese phthalocyanine molecules with high spin character on the surface of an ultra-thin lead film in variable transverse magnetic field. We observe two types of YSR excitations, depending on the adsorption geometry of the molecule. Using a zero-bandwidth model, we detail the role of the magnetic anisotropy, spin-spin exchange, and Kondo exchange. We illustrate that one molecular type can be treated as an individual spin akin to an isolated spin on the metal center, whereas the other molecular type invokes a coupled spin system represented by a spin on the center and the ligand. Using the field-dependent evolution of the YSR excitations and comparisons to modeling, we describe the quantum phase of each of the molecules. These results provide an insight into the quantum nature of YSR excitations in magnetic field, and a platform to study spin impurity models on superconductors in magnetic field.


title: Faster Than Lies: Real-time Deepfake Detection using Binary Neural Networks

abstract: Deepfake detection aims to contrast the spread of deep-generated media that undermines trust in online content. While existing methods focus on large and complex models, the need for real-time detection demands greater efficiency. With this in mind, unlike previous work, we introduce a novel deepfake detection approach on images using Binary Neural Networks (BNNs) for fast inference with minimal accuracy loss. Moreover, our method incorporates Fast Fourier Transform (FFT) and Local Binary Pattern (LBP) as additional channel features to uncover manipulation traces in frequency and texture domains. Evaluations on COCOFake, DFFD, and CIFAKE datasets demonstrate our method's state-of-the-art performance in most scenarios with a significant efficiency gain of up to a $20\times$ reduction in FLOPs during inference. Finally, by exploring BNNs in deepfake detection to balance accuracy and efficiency, this work paves the way for future research on efficient deepfake detection.


title: Leveraging Activations for Superpixel Explanations

abstract: Saliency methods have become standard in the explanation toolkit of deep neural networks. Recent developments specific to image classifiers have investigated region-based explanations with either new methods or by adapting well-established ones using ad-hoc superpixel algorithms. In this paper, we aim to avoid relying on these segmenters by extracting a segmentation from the activations of a deep neural network image classifier without fine-tuning the network. Our so-called Neuro-Activated Superpixels (NAS) can isolate the regions of interest in the input relevant to the model's prediction, which boosts high-threshold weakly supervised object localization performance. This property enables the semi-supervised semantic evaluation of saliency methods. The aggregation of NAS with existing saliency methods eases their interpretation and reveals the inconsistencies of the widely used area under the relevance curve metric.


title: Optimal Recurrent Network Topologies for Dynamical Systems Reconstruction

abstract: In dynamical systems reconstruction (DSR) we seek to infer from time series measurements a generative model of the underlying dynamical process. This is a prime objective in any scientific discipline, where we are particularly interested in parsimonious models with a low parameter load. A common strategy here is parameter pruning, removing all parameters with small weights. However, here we find this strategy does not work for DSR, where even low magnitude parameters can contribute considerably to the system dynamics. On the other hand, it is well known that many natural systems which generate complex dynamics, like the brain or ecological networks, have a sparse topology with comparatively few links. Inspired by this, we show that geometric pruning, where in contrast to magnitude-based pruning weights with a low contribution to an attractor's geometrical structure are removed, indeed manages to reduce parameter load substantially without significantly hampering DSR quality. We further find that the networks resulting from geometric pruning have a specific type of topology, and that this topology, and not the magnitude of weights, is what is most crucial to performance. We provide an algorithm that automatically generates such topologies which can be used as priors for generative modeling of dynamical systems by RNNs, and compare it to other well studied topologies like small-world or scale-free networks.


title: SLOPE: Search with Learned Optimal Pruning-based Expansion

abstract: Heuristic search is often used for motion planning and pathfinding problems, for finding the shortest path in a graph while also promising completeness and optimal efficiency. The drawback is it's space complexity, specifically storing all expanded child nodes in memory and sorting large lists of active nodes, which can be a problem in real-time scenarios with limited on-board computation. To combat this, we present the Search with Learned Optimal Pruning-based Expansion (SLOPE), which, learns the distance of a node from a possible optimal path, unlike other approaches that learn a cost-to-go value. The unfavored nodes are then pruned according to the said distance, which in turn reduces the size of the open list. This ensures that the search explores only the region close to optimal paths while lowering memory and computational costs. Unlike traditional learning methods, our approach is orthogonal to estimating cost-to-go heuristics, offering a complementary strategy for improving search efficiency. We demonstrate the effectiveness of our approach evaluating it as a standalone search method and in conjunction with learned heuristic functions, achieving comparable-or-better node expansion metrics, while lowering the number of child nodes in the open list. Our code is available at https://github.com/dbokan1/SLOPE.


title: On Quantifiers for Quantitative Reasoning

abstract: We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals $[0,\infty]$, showing they support three generations of connectives, that we call non-linear, linear additive, and linear multiplicative. Means and harmonic means emerge as natural candidates for bounded existential and universal quantifiers, and in fact we see they behave as expected in relation to the other logical connectives. We explain this fact through the well-known fact that min/max and arithmetic mean/harmonic mean sit at opposite ends of a spectrum, that of p-means. We give syntax and semantics for this quantitative predicate logic, and as example applications, we show how softmax is the quantitative semantics of argmax, and R\'enyi entropy/Hill numbers are additive/multiplicative semantics of the same formula. Indeed, the additive reals also fit into the story by exploiting the Napierian duality $-\log \dashv 1/\exp$, which highlights a formal distinction between 'additive' and 'multiplicative' quantities. Finally, we describe two attempts at a categorical semantics via enriched hyperdoctrines. We discuss why hyperdoctrines are in fact probably inadequate for this kind of logic.


title: The lens was fabricated by fluidic shaping

abstract: As an important optical component, lens is widely used in scientific inquiry and production. At present, lens manufacturing mainly relies on grinding, polishing and other methods. However, these methods often require expensive equipment and complex processes. This paper presents a method of injecting liquid material into the frame structure and curing it quickly. At the same time, based on the principle of energy minimization, we give a set of theory that can accurately predict the lens face shape, and give the simulation results by software. In this paper, 3D printing technology was used to produce different shapes of borders, which were used to produce free-form surface and spherical lens samples. By characterizing their surface contours and optical properties, the practicability of the method was verified. This method has the advantages of low cost, fast forming, high surface smoothness, and can theoretically prepare any size aperture lens, which has great potential for development.


title: SpanGNN: Towards Memory-Efficient Graph Neural Networks via Spanning Subgraph Training

abstract: Graph Neural Networks (GNNs) have superior capability in learning graph data. Full-graph GNN training generally has high accuracy, however, it suffers from large peak memory usage and encounters the Out-of-Memory problem when handling large graphs. To address this memory problem, a popular solution is mini-batch GNN training. However, mini-batch GNN training increases the training variance and sacrifices the model accuracy. In this paper, we propose a new memory-efficient GNN training method using spanning subgraph, called SpanGNN. SpanGNN trains GNN models over a sequence of spanning subgraphs, which are constructed from empty structure. To overcome the excessive peak memory consumption problem, SpanGNN selects a set of edges from the original graph to incrementally update the spanning subgraph between every epoch. To ensure the model accuracy, we introduce two types of edge sampling strategies (i.e., variance-reduced and noise-reduced), and help SpanGNN select high-quality edges for the GNN learning. We conduct experiments with SpanGNN on widely used datasets, demonstrating SpanGNN's advantages in the model performance and low peak memory usage.


title: Designing Strain-less Electrode Materials: Computational Analysis of Volume Variations in Li-ion and Na-ion Batteries

abstract: Mechanical degradation in electrode materials during successive electrochemical cycling is critical for battery lifetime and aging properties. A common strategy to mitigate electrode mechanical degradation is to suppress the volume variation induced by Li/Na intercalation/deintercalation, thereby designing strain-less electrodes. In this study, we investigate the electrochemically-induced volume variation in layered and spinel compounds used in Li-ion and Na-ion battery electrode materials through density functional theory computations. Specifically, we propose to decompose the volume variation into electronic, ionic, and structural contributions. Based on this analysis, we suggest methods to separately influence or control each contribution through strategies such as chemical substitution, doping, and polymorphism. Altogether, we conclude that volume variations can be controlled by designing either mechanically hard or compact electrode materials.


title: CarbonSense: A Multimodal Dataset and Baseline for Carbon Flux Modelling

abstract: Terrestrial carbon fluxes provide vital information about our biosphere's health and its capacity to absorb anthropogenic CO$_2$ emissions. The importance of predicting carbon fluxes has led to the emerging field of data-driven carbon flux modelling (DDCFM), which uses statistical techniques to predict carbon fluxes from biophysical data. However, the field lacks a standardized dataset to promote comparisons between models. To address this gap, we present CarbonSense, the first machine learning-ready dataset for DDCFM. CarbonSense integrates measured carbon fluxes, meteorological predictors, and satellite imagery from 385 locations across the globe, offering comprehensive coverage and facilitating robust model training. Additionally, we provide a baseline model using a current state-of-the-art DDCFM approach and a novel transformer based model. Our experiments illustrate the potential gains that multimodal deep learning techniques can bring to this domain. By providing these resources, we aim to lower the barrier to entry for other deep learning researchers to develop new models and drive new advances in carbon flux modelling.


title: TCMD: A Traditional Chinese Medicine QA Dataset for Evaluating Large Language Models

abstract: The recently unprecedented advancements in Large Language Models (LLMs) have propelled the medical community by establishing advanced medical-domain models. However, due to the limited collection of medical datasets, there are only a few comprehensive benchmarks available to gauge progress in this area. In this paper, we introduce a new medical question-answering (QA) dataset that contains massive manual instruction for solving Traditional Chinese Medicine examination tasks, called TCMD. Specifically, our TCMD collects massive questions across diverse domains with their annotated medical subjects and thus supports us in comprehensively assessing the capability of LLMs in the TCM domain. Extensive evaluation of various general LLMs and medical-domain-specific LLMs is conducted. Moreover, we also analyze the robustness of current LLMs in solving TCM QA tasks by introducing randomness. The inconsistency of the experimental results also reveals the shortcomings of current LLMs in solving QA tasks. We also expect that our dataset can further facilitate the development of LLMs in the TCM area.


title: Joint Spatial-Temporal Modeling and Contrastive Learning for Self-supervised Heart Rate Measurement

abstract: This paper briefly introduces the solutions developed by our team, HFUT-VUT, for Track 1 of self-supervised heart rate measurement in the 3rd Vision-based Remote Physiological Signal Sensing (RePSS) Challenge hosted at IJCAI 2024. The goal is to develop a self-supervised learning algorithm for heart rate (HR) estimation using unlabeled facial videos. To tackle this task, we present two self-supervised HR estimation solutions that integrate spatial-temporal modeling and contrastive learning, respectively. Specifically, we first propose a non-end-to-end self-supervised HR measurement framework based on spatial-temporal modeling, which can effectively capture subtle rPPG clues and leverage the inherent bandwidth and periodicity characteristics of rPPG to constrain the model. Meanwhile, we employ an excellent end-to-end solution based on contrastive learning, aiming to generalize across different scenarios from complementary perspectives. Finally, we combine the strengths of the above solutions through an ensemble strategy to generate the final predictions, leading to a more accurate HR estimation. As a result, our solutions achieved a remarkable RMSE score of 8.85277 on the test dataset, securing \textbf{2nd place} in Track 1 of the challenge.


title: Multiple-input, multiple-output modal testing of a Hawk T1A aircraft: A new full-scale dataset for structural health monitoring

abstract: The use of measured vibration data from structures has a long history of enabling the development of methods for inference and monitoring. In particular, applications based on system identification and structural health monitoring have risen to prominence over recent decades and promise significant benefits when implemented in practice. However, significant challenges remain in the development of these methods. The introduction of realistic, full-scale datasets will be an important contribution to overcoming these challenges. This paper presents a new benchmark dataset capturing the dynamic response of a decommissioned BAE Systems Hawk T1A. The dataset reflects the behaviour of a complex structure with a history of service that can still be tested in controlled laboratory conditions, using a variety of known loading and damage simulation conditions. As such, it provides a key stepping stone between simple laboratory test structures and in-service structures. In this paper, the Hawk structure is described in detail, alongside a comprehensive summary of the experimental work undertaken. Following this, key descriptive highlights of the dataset are presented, before a discussion of the research challenges that the data present. Using the dataset, non-linearity in the structure is demonstrated, as well as the sensitivity of the structure to damage of different types. The dataset is highly applicable to many academic enquiries and additional analysis techniques which will enable further advancement of vibration-based engineering techniques.


title: Disentangling Quantum Classifiers: Simplex Edge Mapping for Few-Sample Confidence

abstract: Quantum machine learning aims to use quantum computers to enhance machine learning, but it is often limited by the required number of samples due to quantum noise and statistical limits on expectation value estimates. While efforts are made to reduce quantum noise, less attention is given to boosting the confidence of Variational Quantum Classifiers (VQCs) and reducing their sampling needs. This paper focuses on multiclass classification, introducing a parameter-free post-processing technique that treats circuit outputs as edges of an n-dimensional simplex, representing independent binary decisions between each pair of classes. We prove and show in our experiments that this method improves few-sample accuracy by a factor of two by disentangling the wire outputs and compelling the VQC to avoid uncertain outputs. We describe this method and provide comparisons of accuracy, confidence, and entanglement, advocating for few-sample accuracy as a primary goal for effective VQCs.


title: Hochschild cohomology parametrizes curved Morita deformations

abstract: We show that, if one allows for curved deformations, the canonical map introduced in [KL09] between Morita deformations and second Hochschild cohomology of a dg algebra becomes a bijection. We also show that a bimodule induces an equivalence of curved deformations precisely when it induces an equivalence between the respective 1-derived categories. These results, together with arXiv:2402.08660, solve the curvature problem for first order deformations.


title: Effect of time-varying X-ray emission from stellar flares on the ionization of protoplanetary disks

abstract: X-rays have significant impacts on cold, weakly ionized protoplanetary disks by increasing the ionization rate and driving chemical reactions. Stellar flares are explosions that emit intense X-rays and are the unique source of hard X-rays with an energy of $\gtrsim10$ keV in the protoplanetary disk systems. Hard X-rays should be carefully taken into account in models as they can reach the disk midplane as a result of scattering in the disk atmospheres. However, previous models are insufficient to predict the hard X-ray spectra because of the simplification in flare models. We develop a model of X-ray spectra of stellar flares based on observations and flare theories. The flare temperature and nonthermal electron emissions are modeled as functions of flare energy, which allows us to better predict the hard X-ray photon flux than before. Using our X-ray model, we conduct radiative transfer calculations to investigate the impact of flare hard X-rays on disk ionization, with a particular focus on the protoplanetary disk around a T Tauri star. We demonstrate that for a flare with an energy of $\geq 10^{33}$ erg, X-ray photons with $\gtrsim 10$ keV penetrate down to the midplane to increase the ionization rates more than galactic cosmic rays. We also find that the 10-year-averaged X-rays from multiple flares could certainly contribute to the ionization at the disk midplane. These results emphasize the importance of stellar flares on the disk evolution.


title: BAMO at SemEval-2024 Task 9: BRAINTEASER: A Novel Task Defying Common Sense

abstract: This paper outlines our approach to SemEval 2024 Task 9, BRAINTEASER: A Novel Task Defying Common Sense. The task aims to evaluate the ability of language models to think creatively. The dataset comprises multi-choice questions that challenge models to think "outside of the box". We fine-tune 2 models, BERT and RoBERTa Large. Next, we employ a Chain of Thought (CoT) zero-shot prompting approach with 6 large language models, such as GPT-3.5, Mixtral, and Llama2. Finally, we utilize ReConcile, a technique that employs a "round table conference" approach with multiple agents for zero-shot learning, to generate consensus answers among 3 selected language models. Our best method achieves an overall accuracy of 85 percent on the sentence puzzles subtask.


title: Origin of the yield stress anomaly in L12 intermetallics unveiled with physically-informed machine-learning potentials

abstract: The yield stress anomaly of L12 intermetallics such as Ni3Al or Ni3Ga is controlled by the so-called Kear-Wilsdorf lock (KWL), of which the formation and unlocking are governed by dislocation cross-slip. Despite the importance of L12 intermetallics for strengthening Ni-based superalloys, microscopic understanding of the KWL is limited. Here, molecular dynamics simulations are conducted by employing a dedicated machine-learning interatomic potential derived via physically-informed active-learning. The potential facilitates modelling of the dislocation behavior in Ni3Al with near ab initio accuracy. KWL formation and unlocking are observed and analyzed. The unlocking stress demonstrates a pronounced temperature dependence, contradicting the assumptions of existing analytical models. A phenomenological model is proposed to effectively describe the atomistic unlocking stresses and extrapolate them to the macroscopic scale. The model is general and applicable to other L12 intermetallics. The acquired knowledge of KWLs provides a deeper understanding on the origin of the yield stress anomaly.


title: Nacala-Roof-Material: Drone Imagery for Roof Detection, Classification, and Segmentation to Support Mosquito-borne Disease Risk Assessment

abstract: As low-quality housing and in particular certain roof characteristics are associated with an increased risk of malaria, classification of roof types based on remote sensing imagery can support the assessment of malaria risk and thereby help prevent the disease. To support research in this area, we release the Nacala-Roof-Material dataset, which contains high-resolution drone images from Mozambique with corresponding labels delineating houses and specifying their roof types. The dataset defines a multi-task computer vision problem, comprising object detection, classification, and segmentation. In addition, we benchmarked various state-of-the-art approaches on the dataset. Canonical U-Nets, YOLOv8, and a custom decoder on pretrained DINOv2 served as baselines. We show that each of the methods has its advantages but none is superior on all tasks, which highlights the potential of our dataset for future research in multi-task learning. While the tasks are closely related, accurate segmentation of objects does not necessarily imply accurate instance separation, and vice versa. We address this general issue by introducing a variant of the deep ordinal watershed (DOW) approach that additionally separates the interior of objects, allowing for improved object delineation and separation. We show that our DOW variant is a generic approach that improves the performance of both U-Net and DINOv2 backbones, leading to a better trade-off between semantic segmentation and instance segmentation.


title: Robotic in-hand manipulation with relaxed optimization

abstract: Dexterous in-hand manipulation is a unique and valuable human skill requiring sophisticated sensorimotor interaction with the environment while respecting stability constraints. Satisfying these constraints with generated motions is essential for a robotic platform to achieve reliable in-hand manipulation skills. Explicitly modelling these constraints can be challenging, but they can be implicitly modelled and learned through experience or human demonstrations. We propose a learning and control approach based on dictionaries of motion primitives generated from human demonstrations. To achieve this, we defined an optimization process that combines motion primitives to generate robot fingertip trajectories for moving an object from an initial to a desired final pose. Based on our experiments, our approach allows a robotic hand to handle objects like humans, adhering to stability constraints without requiring explicit formalization. In other words, the proposed motion primitive dictionaries learn and implicitly embed the constraints crucial to the in-hand manipulation task.


title: The Database and Benchmark for Source Speaker Verification Against Voice Conversion

abstract: Voice conversion systems can transform audio to mimic another speaker's voice, thereby attacking speaker verification systems. However, ongoing studies on source speaker verification are hindered by limited data availability and methodological constraints. In this paper, we generate a large-scale converted speech database and train a batch of baseline systems based on the MFA-Conformer architecture to promote the source speaker verification task. In addition, we introduce a related task called conversion method recognition. An adapter-based multi-task learning approach is employed to achieve effective conversion method recognition without compromising source speaker verification performance. Additionally, we investigate and effectively address the open-set conversion method recognition problem through the implementation of an open-set nearest neighbor approach.


title: Quantifying Geospatial in the Common Crawl Corpus

abstract: Large language models (LLMs) exhibit emerging geospatial capabilities, stemming from their pre-training on vast unlabelled text datasets that are often derived from the Common Crawl corpus. However, the geospatial content within CC remains largely unexplored, impacting our understanding of LLMs' spatial reasoning. This paper investigates the prevalence of geospatial data in recent Common Crawl releases using Gemini, a powerful language model. By analyzing a sample of documents and manually revising the results, we estimate that between 1 in 5 and 1 in 6 documents contain geospatial information such as coordinates and street addresses. Our findings provide quantitative insights into the nature and extent of geospatial data within Common Crawl, and web crawl data in general. Furthermore, we formulate questions to guide future investigations into the geospatial content of available web crawl datasets and its influence on LLMs.


title: Affine super Yangians and non-rectangular $W$-superalgebras

abstract: We construct four edge contractions for the affine super Yangian of type $A$. By using these edge contractions, we give a homomorphism from the affine super Yangian of type $A$ to the universal enveloping algebra of the non-rectangular $W$-superalgebra of type $A$.


title: Scalar Dark Energy Models and Scalar-Tensor Gravity: Theoretical Explanations for the Accelerated Expansion of Present Universe

abstract: The reason for the present accelerated expansion of the Universe stands as one of the most profound questions in the realm of science, with deep connections to both cosmology and fundamental physics. From a cosmological point of view, physical models aimed at elucidating the observed expansion can be categorized into two major classes: dark energy and modified gravity. We review various major approaches that employ a single scalar field to account for the accelerating phase of our present Universe. Dynamical system analysis is employed in several important models to seek for cosmological solutions that exhibit an accelerating phase as an attractor. For scalar field models of dark energy, we consistently focus on addressing challenges related to the fine-tuning and coincidence problems in cosmology, as well as exploring potential solutions to them. For scalar-tensor theories and their generalizations, we emphasize the importance of constraints on theoretical parameters to ensure overall consistency with experimental tests. Models or theories that could potentially explain the Hubble tension are also emphasized throughout this review.


title: Experimental Evaluation of ROS-Causal in Real-World Human-Robot Spatial Interaction Scenarios

abstract: Deploying robots in human-shared environments requires a deep understanding of how nearby agents and objects interact. Employing causal inference to model cause-and-effect relationships facilitates the prediction of human behaviours and enables the anticipation of robot interventions. However, a significant challenge arises due to the absence of implementation of existing causal discovery methods within the ROS ecosystem, the standard de-facto framework in robotics, hindering effective utilisation on real robots. To bridge this gap, in our previous work we proposed ROS-Causal, a ROS-based framework designed for onboard data collection and causal discovery in human-robot spatial interactions. In this work, we present an experimental evaluation of ROS-Causal both in simulation and on a new dataset of human-robot spatial interactions in a lab scenario, to assess its performance and effectiveness. Our analysis demonstrates the efficacy of this approach, showcasing how causal models can be extracted directly onboard by robots during data collection. The online causal models generated from the simulation are consistent with those from lab experiments. These findings can help researchers to enhance the performance of robotic systems in shared environments, firstly by studying the causal relations between variables in simulation without real people, and then facilitating the actual robot deployment in real human environments. ROS-Causal: https://lcastri.github.io/roscausal


title: Expansion of situations theory for exploring shared awareness in human-intelligent autonomous systems

abstract: Intelligent autonomous systems are part of a system of systems that interact with other agents to accomplish tasks in complex environments. However, intelligent autonomous systems integrated system of systems add additional layers of complexity based on their limited cognitive processes, specifically shared situation awareness that allows a team to respond to novel tasks. Intelligent autonomous systems' lack of shared situation awareness adversely influences team effectiveness in complex task environments, such as military command-and-control. A complementary approach of shared situation awareness, called situations theory, is beneficial for understanding the relationship between system of systems shared situation awareness and effectiveness. The current study elucidates a conceptual discussion on situations theory to investigate the development of an system of systems shared situational awareness when humans team with intelligent autonomous system agents. To ground the discussion, the reviewed studies expanded situations theory within the context of a system of systems that result in three major conjectures that can be beneficial to the design and development of future systems of systems.


title: Measuring the circular polarization of gravitational waves with pulsar timing arrays

abstract: The circular polarization of the stochastic gravitational wave background (SGWB) is a key observable for characterising the origin of the signal detected by Pulsar Timing Array (PTA) collaborations. Both the astrophysical and the cosmological SGWB can have a sizeable amount of circular polarization, due to Poisson fluctuations in the source properties for the former, and to parity violating processes in the early universe for the latter. Its measurement is challenging since PTA are blind to the circular polarization monopole, forcing us to turn to anisotropies for detection. We study the sensitivity of current and future PTA datasets to circular polarization anisotropies, focusing on realistic modelling of intrinsic and kinematic anisotropies for astrophysical and cosmological scenarios respectively. Our results indicate that the expected level of circular polarization for the astrophysical SGWB should be within the reach of near future datasets, while for cosmological SGWB circular polarization is a viable target for more advanced SKA-type experiments.


title: Meeting times of Markov chains via singular value decomposition

abstract: We suggest a non-asymptotic matrix perturbation-theoretic approach to get sharp bounds on the expected meeting time of random walks on large (possibly random) graphs. We provide a formula for the expected meeting time in terms of the singular value decomposition of the diagonally killed generator of a pair of independent random walks, which we view as a perturbation of the generator. Employing a rank-one approximation of the diagonally killed generator as the proof of concept, we work out sharp bounds on the expected meeting time of simple random walks on sufficiently dense Erd\H{o}s-R\'enyi random graphs.


title: Leveraging Generative AI for Extracting Process Models from Multimodal Documents

abstract: This paper presents an investigation of the capabilities of Generative Pre-trained Transformers (GPTs) to auto-generate graphical process models from multi-modal (i.e., text- and image-based) inputs. More precisely, we first introduce a small dataset as well as a set of evaluation metrics that allow for a ground truth-based evaluation of multi-modal process model generation capabilities. We then conduct an initial evaluation of commercial GPT capabilities using zero-, one-, and few-shot prompting strategies. Our results indicate that GPTs can be useful tools for semi-automated process modeling based on multi-modal inputs. More importantly, the dataset and evaluation metrics as well as the open-source evaluation code provide a structured framework for continued systematic evaluations moving forward.


title: Multi-style Neural Radiance Field with AdaIN

abstract: In this work, we propose a novel pipeline that combines AdaIN and NeRF for the task of stylized Novel View Synthesis. Compared to previous works, we make the following contributions: 1) We simplify the pipeline. 2) We extend the capabilities of model to handle the multi-style task. 3) We modify the model architecture to perform well on styles with strong brush strokes. 4) We implement style interpolation on the multi-style model, allowing us to control the style between any two styles and the style intensity between the stylized output and the original scene, providing better control over the stylization strength.


title: Multiplane Prior Guided Few-Shot Aerial Scene Rendering

abstract: Neural Radiance Fields (NeRF) have been successfully applied in various aerial scenes, yet they face challenges with sparse views due to limited supervision. The acquisition of dense aerial views is often prohibitive, as unmanned aerial vehicles (UAVs) may encounter constraints in perspective range and energy constraints. In this work, we introduce Multiplane Prior guided NeRF (MPNeRF), a novel approach tailored for few-shot aerial scene rendering-marking a pioneering effort in this domain. Our key insight is that the intrinsic geometric regularities specific to aerial imagery could be leveraged to enhance NeRF in sparse aerial scenes. By investigating NeRF's and Multiplane Image (MPI)'s behavior, we propose to guide the training process of NeRF with a Multiplane Prior. The proposed Multiplane Prior draws upon MPI's benefits and incorporates advanced image comprehension through a SwinV2 Transformer, pre-trained via SimMIM. Our extensive experiments demonstrate that MPNeRF outperforms existing state-of-the-art methods applied in non-aerial contexts, by tripling the performance in SSIM and LPIPS even with three views available. We hope our work offers insights into the development of NeRF-based applications in aerial scenes with limited data.


title: Mapping the Global Election Landscape on Social Media in 2024

abstract: In 2024, half of the global population is expected to participate in elections, offering researchers a unique opportunity to study online information diffusion and user behavior. This study investigates the media landscape on social media by analyzing Facebook posts from national political parties and major news agencies across Europe, Mexico, and India. Our methodology identifies key topics and evaluates public interaction, reflecting broader trends in political engagement. Using Principal Component Analysis, we distil these topics to uncover patterns of correlation and differentiation. This approach reveals dominant themes that engage global audiences, providing critical insights into the interplay between public opinion and digital narratives during a major electoral cycle. Our findings highlight how different topics resonate across political spectrums, shaping political debate and offering a comprehensive view of the interaction between media content, political ideology, and audience engagement.


title: Learning Divergence Fields for Shift-Robust Graph Representations

abstract: Real-world data generation often involves certain geometries (e.g., graphs) that induce instance-level interdependence. This characteristic makes the generalization of learning models more difficult due to the intricate interdependent patterns that impact data-generative distributions and can vary from training to testing. In this work, we propose a geometric diffusion model with learnable divergence fields for the challenging generalization problem with interdependent data. We generalize the diffusion equation with stochastic diffusivity at each time step, which aims to capture the multi-faceted information flows among interdependent data. Furthermore, we derive a new learning objective through causal inference, which can guide the model to learn generalizable patterns of interdependence that are insensitive across domains. Regarding practical implementation, we introduce three model instantiations that can be considered as the generalized versions of GCN, GAT, and Transformers, respectively, which possess advanced robustness against distribution shifts. We demonstrate their promising efficacy for out-of-distribution generalization on diverse real-world datasets.


title: Neural Laplace for learning Stochastic Differential Equations

abstract: Neural Laplace is a unified framework for learning diverse classes of differential equations (DE). For different classes of DE, this framework outperforms other approaches relying on neural networks that aim to learn classes of ordinary differential equations (ODE). However, many systems can't be modelled using ODEs. Stochastic differential equations (SDE) are the mathematical tool of choice when modelling spatiotemporal DE dynamics under the influence of randomness. In this work, we review the potential applications of Neural Laplace to learn diverse classes of SDE, both from a theoretical and a practical point of view.


title: Gabriel-Ulmer Duality for Topoi, An Introduction

abstract: The aim of this paper is to relate the classical result of Gabriel-Ulmer to the geometry of topoi. The usage of the attribute 'left exact' when dealing with functors involved in this duality is indeed not casual and it is related to the geometrical side of the story, i.e. sheaf theory, as in \cite{SGA}. Thought to be a very basic introduction to the subject, it is mostly self-contained. The reader is assumed to be familiar with the fundamentals of category theory, no further prerequisite knowledge is required. The proof of Gabriel-Ulmer duality follows \cite{MP}.


title: Crystal Structure Prediction and Phase Stability in Highly Anharmonic Silver-Based Chalcohalide Anti-Perovskites

abstract: Silver-based chalcohalide anti-perovskites (CAP), Ag$_{3}$BC (B = S, Se; C = Cl, Br, I), represent an emerging family of energy materials with intriguing optoelectronic, vibrational and ionic transport properties. However, the structural features and phase stability of CAP remain poorly investigated to date, hindering their fundamental understanding and potential integration into technological applications. Here we employ theoretical first-principles methods based on density functional theory to fill this knowledge gap. Through crystal structure prediction techniques, ab initio molecular dynamics simulations, and quasi-harmonic free energy calculations, we unveil a series of previously overlooked energetically competitive phases and temperature-induced phase transitions for all CAP. Specifically, we identify a new cubic $P2_{1}3$ structure as the stable phase of all CAP containing S both at zero temperature and $T \neq 0$ K conditions. Consequently, our calculations suggest that the cubic $Pm\overline{3}m$ phase identified in room-temperature X-ray diffraction experiments is likely to be metastable. Furthermore, for CAP containing Se, we propose different orthorhombic ($Pca2_{1}$ and $P2_{1}2_{1}2_{1}$) and cubic ($I2_{1}3$) structures as the ground-state phases and reveal several phase transformations induced by temperature. This theoretical investigation not only identifies new candidate ground-state phases and solid-solid phase transformations for all CAP but also provides insights into potential stability issues affecting these highly anharmonic superionic materials.


title: The role of magnetar transient activity in time-domain and multimessenger astronomy

abstract: Time-domain and multimessenger astronomy (TDAMM) involves the study of transient and time-variable phenomena across various wavelengths and messengers. The Astro2020 Decadal Survey has identified TDAMM as the top priority for NASA in this decade, emphasizing its crucial role in advancing our understanding of the universe and driving new discoveries in astrophysics. The TDAMM community has come together to provide further guidance to funding agencies, aiming to define a clear path toward optimizing scientific returns in this research domain. This encompasses not only astronomy but also fundamental physics, offering insights into gravity properties, the formation of heavy elements, the equation of state of dense matter, and quantum effects associated with extreme magnetic fields. Magnetars, neutron stars with the strongest magnetic fields known in the universe, play a critical role in this context. In this manuscript, we aim to underscore the significance of magnetars in TDAMM, highlighting the necessity of ensuring observational continuity, addressing current limitations, and outlining essential requirements to expand our knowledge in this field.


title: Shear viscosity from perturbative Quantum Chromodynamics to the hadron resonance gas at finite baryon, strangeness, and electric charge densities

abstract: Through model-to-data comparisons from heavy-ion collisions, it has been shown that the Quark Gluon Plasma has an extremely small shear viscosity at vanishing densities. At large baryon densities, significantly less is known about the nature of the shear viscosity from Quantum Chromodynamics (QCD). Within heavy-ion collisions, there are three conserved charges: baryon number (B), strangeness (S), and electric charge (Q). Here we calculate the shear viscosity in two limits using perturbative QCD and an excluded-volume hadron resonance gas at finite BSQ densities. We then develop a framework that interpolates between these two limits such that shear viscosity is possible to calculate across a wide range of finite BSQ densities. We find that the pQCD and hadron resonance gas calculations have different BSQ densities dependence such that a rather non-trivial shear viscosity appears at finite densities.


title: An Algebraic Framework for the Modeling of Limit Order Books

abstract: Introducing an algebraic framework for modeling limit order books (LOBs) with tools from physics and stochastic processes, our proposed framework captures the creation and annihilation of orders, order matching, and the time evolution of the LOB state. It also enables compositional settings, accommodating the interaction of heterogeneous traders and different market structures. We employ Dirac notation and generalized generating functions to describe the state space and dynamics of LOBs. The utility of this framework is shown through simulations of simplified market scenarios, illustrating how variations in trader behavior impact key market observables such as spread, return volatility, and liquidity. The algebraic representation allows for exact simulations using the Gillespie algorithm, providing a robust tool for exploring the implications of market design and policy changes on LOB dynamics. Future research can expand this framework to incorporate more complex order types, adaptive event rates, and multi-asset trading environments, offering deeper insights into market microstructure and trader behavior and estimation of key drivers for market microstructure dynamics.


title: Programmable Multi-responsive Nanocellulose-based Hydrogels with Embodied Logic

abstract: Programmable materials are desirable for a variety of functional applications that range from biomedical devices, actuators and soft robots to adaptive surfaces and deployable structures. However, current smart materials are often designed to respond to single stimuli (like temperature, humidity, or light). Here, a novel multi-stimuli-responsive composite is fabricated using direct ink writing (DIW) to enable programmability in both space and time and computation of logic operations. The composite hydrogels consist of double-network matrices of poly(N-isopropylacrylamide) (PNIPAM) or poly(acrylic acid) (PAA) and sodium alginate (SA) and are reinforced by a high content of cellulose nanocrystals (CNC) (14 wt%) and nanofibers (CNF) (1 wt%). These composites exhibit a simultaneously tunable response to external stimuli, such as temperature, pH, and ion concentration, enabling precise control over their swelling and shrinking behavior, shape, and mechanical properties over time. Bilayer hydrogel actuators are designed to display bidirectional bending in response to various stimuli scenarios. Finally, to leverage the multi-responsiveness and programmability of this new composite, Boolean algebra concepts are used to design and execute NOT, YES, OR, and AND logic gates, paving the way for self-actuating materials with embodied logic.


title: Time-correlation Transduction in Strong-field Quantum Electrodynamics

abstract: Recent developments in high-power ultrafast optical technology and emerging theoretical frameworks in strong-field quantum electrodynamics (SF-QED) are unveiling nuanced differentiations between the semi-classical and full quantum mechanical descriptions of physical systems. Here we present a computational investigation of a novel technique for attosecond optical sensing through time correlation transduction (TCT) by investigating high-harmonic generation (HHG) as a representative SF-QED process. TCT is an experimental method to capture photon-electron interactions at higher harmonic orders by temporarily correlating the emitted and driving photon fields. This approach enables resolving the dynamical behavior of optically-driven strong-field phenomena in quantum materials such as Two-dimensional Materials and Dirac Semimetals down to 10 attosecond temporal resolution to discover a full quantum explanation. Predicting and measuring the transition between perturbative and non-perturbative regimes with attosecond resolution can deepen the understanding of SF-QED such as HHG. As such, we find that TCT is a powerful method to pave the way toward the functional characterization of quantum matter.


title: Fast Brownian cluster dynamics

abstract: We present an efficient method to perform overdamped Brownian dynamics simulations in external force fields and for particle interactions that include a hardcore part. The method applies to particle motion in one dimension, where it is possible to update particle positions by repositioning particle clusters as a whole. These clusters consist of several particles in contact. They form because particle collisions are treated as completely inelastic rather than elastic ones. Updating of cluster positions in time steps is carried out by cluster fragmentation and merging procedures. The presented method is particularly powerful at high collision rates in densely crowded systems, where collective movements of particle assemblies is governing the dynamics. As an application, we simulate the single-file diffusion of sticky hard spheres in a periodic potential.


title: Characterizing Biphoton Spatial Wave Function Dynamics with Quantum Wavefront Sensing

abstract: With an extremely high dimensionality, the spatial degree of freedom of entangled photons is a key tool for quantum foundation and applied quantum techniques. To fully utilize the feature, the essential task is to experimentally characterize the multiphoton spatial wave function including the entangled amplitude and phase information at different evolutionary stages. However, there is no effective method to measure it. Quantum state tomography is costly, and quantum holography requires additional references. Here we introduce quantum Shack-Hartmann wavefront sensing to perform efficient and reference-free measurement of the biphoton spatial wave function. The joint probability distribution of photon pairs at the back focal plane of a microlens array is measured and used for amplitude extraction and phase reconstruction. In the experiment, we observe that the biphoton amplitude correlation becomes weak while phase correlation shows up during free-space propagation. Our work is a crucial step in quantum physical and adaptive optics and paves the way for characterizing quantum optical fields with high-order correlations or topological patterns.


title: Light holographic dilatons near critical points

abstract: We investigate the relation between the emergence of a dilaton in gapped (confining) field theories, and the presence of either complex fixed points or instabilities in the strongly coupled dynamics in two classes of bottom-up holographic models. We demonstrate that in one of the two classes there is a critical line of first-order phase transitions (at zero temperature) that terminates at a critical point. We calculate the mass spectrum of fluctuations of the associated regular gravity backgrounds, which we interpret as bound states in the dual field theories. In proximity to the second-order phase transition, we find a parametrically light scalar state, and its composition leads us to identify it as a dilaton.


title: UniTST: Effectively Modeling Inter-Series and Intra-Series Dependencies for Multivariate Time Series Forecasting

abstract: Transformer-based models have emerged as powerful tools for multivariate time series forecasting (MTSF). However, existing Transformer models often fall short of capturing both intricate dependencies across variate and temporal dimensions in MTS data. Some recent models are proposed to separately capture variate and temporal dependencies through either two sequential or parallel attention mechanisms. However, these methods cannot directly and explicitly learn the intricate inter-series and intra-series dependencies. In this work, we first demonstrate that these dependencies are very important as they usually exist in real-world data. To directly model these dependencies, we propose a transformer-based model UniTST containing a unified attention mechanism on the flattened patch tokens. Additionally, we add a dispatcher module which reduces the complexity and makes the model feasible for a potentially large number of variates. Although our proposed model employs a simple architecture, it offers compelling performance as shown in our extensive experiments on several datasets for time series forecasting.


title: Path-integral treatment of charged Bose polarons

abstract: The system of a charged impurity in an interacting Bose gas has gained significant attention due to the long-range ion-atom interactions and the study of transport properties. Here, the ground state energy of a charged Bose polaron is calculated within the Bogoliubov approximation for both the Fr\"ohlich and beyond-Fr\"ohlich Hamiltonians using a generalized Feynman variational path-integral approach, which obtained accurate results for other polaron problems. The generalized approach, which was used to improve the energy result for the neutral polaron, has resulted in a minor improvement, indicating that Feynman's approach is sufficient when the impurity-boson interaction is long-range. Beyond-Fr\"ohlich corrections results in the emergence of a divergence in the polaronic energy indicating a transition between the repulsive and attractive polaron regime. The path-integral approach with the beyond-Fr\"ohlich Hamiltonian is also compared to a field-theory calculation from Christensen et al, 2021. The validity of the Bogoliubov approximation is investigated. The optical absorption has also been calculated within the Bogoliubov approximation for weak ion-atom interactions, and the effect of finite temperature has been studied. We show that the coupling of the ion to an oscillating external electric field offers a straigtforward experimental probe for the charged polaron in a Bose gas, different from but complementary to existing spectroscopic techniques.


title: Interacting Fermi systems in the tracial state

abstract: We argue that for Fermi systems on lattices or the continuum with interaction invariant under a kind of Galilei transformation the time evolution is either weakly asymptotically abelian or at least $\eta$-abelian in the tracial state but not norm asymptotically abelian.


title: Impact of pressure anisotropy on the cascade rate of Hall-MHD turbulence with bi-adiabatic ions

abstract: The impact of ion pressure anisotropy on the energy cascade rate of Hall-MHD turbulence with bi-adiabatic ions and isothermal electrons is evaluated in three-dimensional direct numerical simulations, using the exact law derived in Simon and Sahraoui (2022). It is shown that pressure anisotropy can enhance or reduce the cascade rate, depending on the scales, in comparison with the prediction of the exact law with isotropic pressure, by an amount that correlates well with pressure anisotropy $a_p=\frac{p_\perp}{p_\parallel}\neq1$ developing in simulations initialized with an isotropic pressure (${a_p}_0=1$). A simulation with an initial pressure anisotropy, ${a_p}_0=4$, confirms this trend, yielding a stronger impact on the cascade rate, both in the inertial range and at larger scales, close to the forcing. Furthermore, a Fourier-based numerical method to compute the exact laws in numerical simulations in the full $(\ell_\perp,\ell_\parallel)$ scale separation plane is presented.


title: Semantic Segmentation on VSPW Dataset through Masked Video Consistency

abstract: Pixel-level Video Understanding requires effectively integrating three-dimensional data in both spatial and temporal dimensions to learn accurate and stable semantic information from continuous frames. However, existing advanced models on the VSPW dataset have not fully modeled spatiotemporal relationships. In this paper, we present our solution for the PVUW competition, where we introduce masked video consistency (MVC) based on existing models. MVC enforces the consistency between predictions of masked frames where random patches are withheld. The model needs to learn the segmentation results of the masked parts through the context of images and the relationship between preceding and succeeding frames of the video. Additionally, we employed test-time augmentation, model aggeregation and a multimodal model-based post-processing method. Our approach achieves 67.27% mIoU performance on the VSPW dataset, ranking 2nd place in the PVUW2024 challenge VSS track.


title: M17 MIR: A Massive Star is Forming via Episodic Mass Accretion

abstract: We analyzed the Atacama Large Millimeter/submillimeter Array (ALMA) band 6 data for the outbursting massive protostar M17~MIR. The ALMA CO $J=2-1$ data reveal a collimated and bipolar north-south outflow from M17~MIR. The blue-shifted outflow exhibits four CO knots (N1 to N4) along the outflow axis, while the red-shifted outflow appears as a single knot (S1). The extremely high velocity (EHV) emissions of N1 and S1 are jet-like and contain sub-knots along the outflow axis. Assuming the nearest EHV sub-knots trace the ejecta from the accretion outbursts in the past decades, a tangential ejection velocity of $\sim421\,\mathrm{km\,s^{-1}}$ is derived for M17~MIR. Assuming the same velocity, the dynamical times of the multiple ejecta, traced by the four blue-shifted CO knots, range from 20 to 364 years. The four blue-shifted CO knots imply four clustered accretion outbursts with a duration of tens of years in the past few hundred years. The intervals between the four clustered accretion outbursts are also about tens of years. These properties of the four clustered accretion outbursts are in line with the disk gravitational instability and fragmentation model. The episodic accretion history of M17~MIR traced by episodic outflow suggests that a massive star can form from a lower-mass protostar via frequent episodic accretion events triggered by disk gravitational instability and fragmentation. The first detection of the knotty outflow from an outbursting massive protostar suggests that mass ejections accompanied with accretion events could serve as an effective diagnostic tool for the episodic accretion histories of massive protostars.


title: The Price of Implicit Bias in Adversarially Robust Generalization

abstract: We study the implicit bias of optimization in robust empirical risk minimization (robust ERM) and its connection with robust generalization. In classification settings under adversarial perturbations with linear models, we study what type of regularization should ideally be applied for a given perturbation set to improve (robust) generalization. We then show that the implicit bias of optimization in robust ERM can significantly affect the robustness of the model and identify two ways this can happen; either through the optimization algorithm or the architecture. We verify our predictions in simulations with synthetic data and experimentally study the importance of implicit bias in robust ERM with deep neural networks.


title: Both orbital and spin torques originate from r x g

abstract: Does the cross-product of the position and the electromagnetic momentum density, g, include the optical spin momentum? We answer this long-standing question in the affirmative by evaluating, explicitly, the torque exerted on a particle by a beam of light carrying angular momentum.


title: CityCraft: A Real Crafter for 3D City Generation

abstract: City scene generation has gained significant attention in autonomous driving, smart city development, and traffic simulation. It helps enhance infrastructure planning and monitoring solutions. Existing methods have employed a two-stage process involving city layout generation, typically using Variational Autoencoders (VAEs), Generative Adversarial Networks (GANs), or Transformers, followed by neural rendering. These techniques often exhibit limited diversity and noticeable artifacts in the rendered city scenes. The rendered scenes lack variety, resembling the training images, resulting in monotonous styles. Additionally, these methods lack planning capabilities, leading to less realistic generated scenes. In this paper, we introduce CityCraft, an innovative framework designed to enhance both the diversity and quality of urban scene generation. Our approach integrates three key stages: initially, a diffusion transformer (DiT) model is deployed to generate diverse and controllable 2D city layouts. Subsequently, a Large Language Model(LLM) is utilized to strategically make land-use plans within these layouts based on user prompts and language guidelines. Based on the generated layout and city plan, we utilize the asset retrieval module and Blender for precise asset placement and scene construction. Furthermore, we contribute two new datasets to the field: 1)CityCraft-OSM dataset including 2D semantic layouts of urban areas, corresponding satellite images, and detailed annotations. 2) CityCraft-Buildings dataset, featuring thousands of diverse, high-quality 3D building assets. CityCraft achieves state-of-the-art performance in generating realistic 3D cities.


title: MEFT: Memory-Efficient Fine-Tuning through Sparse Adapter

abstract: Parameter-Efficient Fine-tuning (PEFT) facilitates the fine-tuning of Large Language Models (LLMs) under limited resources. However, the fine-tuning performance with PEFT on complex, knowledge-intensive tasks is limited due to the constrained model capacity, which originates from the limited number of additional trainable parameters. To overcome this limitation, we introduce a novel mechanism that fine-tunes LLMs with adapters of larger size yet memory-efficient. This is achieved by leveraging the inherent activation sparsity in the Feed-Forward Networks (FFNs) of LLMs and utilizing the larger capacity of Central Processing Unit (CPU) memory compared to Graphics Processing Unit (GPU). We store and update the parameters of larger adapters on the CPU. Moreover, we employ a Mixture of Experts (MoE)-like architecture to mitigate unnecessary CPU computations and reduce the communication volume between the GPU and CPU. This is particularly beneficial over the limited bandwidth of PCI Express (PCIe). Our method can achieve fine-tuning results comparable to those obtained with larger memory capacities, even when operating under more limited resources such as a 24GB memory single GPU setup, with acceptable loss in training efficiency. Our codes are available at https://github.com/CURRENTF/MEFT.


title: Hybrid Beamforming Design for RSMA-assisted mmWave Integrated Sensing and Communications

abstract: Integrated sensing and communications (ISAC) has been considered one of the new paradigms for sixth-generation (6G) wireless networks. In the millimeter-wave (mmWave) ISAC system, hybrid beamforming (HBF) is considered an emerging technology to exploit the limited number of radio frequency (RF) chains in order to reduce the system hardware cost and power consumption. However, the HBF structure reduces the spatial degrees of freedom for the ISAC system, which further leads to increased interference between multiple users and between users and radar sensing. To solve the above problem, rate split multiple access (RSMA), which is a flexible and robust interference management strategy, is considered. We investigate the joint common rate allocation and HBF design problem for the HBF-based RSMA-assisted mmWave ISAC scheme. We propose the penalty dual decomposition (PDD) method coupled with the weighted mean squared error (WMMSE) minimization method to solve this high-dimensional non-convex problem, which converges to the Karush-Kuhn-Tucker (KKT) point of the original problem. Then, we extend the proposed algorithm to the HBF design based on finite-resolution phase shifters (PSs) to further improve the energy efficiency of the system. Simulation results demonstrate the effectiveness of the proposed algorithm and show that the RSMA-ISAC scheme outperforms other benchmark schemes.


title: Self-testing in the compiled setting via tilted-CHSH inequalities

abstract: In a Bell scenario, a classical verifier interacts with two non-communicating provers, producing a correlation. Certain correlations allow the verifier to certify, or self-test, the underlying quantum state and measurements. Notably, the family of tilted-CHSH inequalities has been used to self-test any two-qubit state. Self-tests underpin numerous device-independent protocols, however, a significant drawback of such applications is the non-communicating assumption. To address the non-communication assumption Kalai et al. (STOC'23) give a procedure which compiles a bipartite Bell scenario into a 2-round interaction between a verifier and a single computationally bounded prover. In this work, we formalize self-testing for compiled Bell scenarios. We prove the maximal quantum value is preserved under compilation for the family of tilted-CHSH inequalities, and that any maximal violation constitutes a compiled self-test. More specifically, we establish the existence of an efficient isometry recovering the state and measurements in the second round.


title: CWR sequence of invariants of alternating links and its properties

abstract: We present the $CWR$ invariant, a new invariant for alternating links, which builds upon and generalizes the $WRP$ invariant. The $CWR$ invariant is an array of two-variable polynomials that provides a stronger invariant compared to the $WRP$ invariant. We compare the strength of our invariant with the classical HOMFLYPT, Kauffman $3$-variable, and Kauffman $2$-variable polynomials on specific knot examples. Additionally, we derive general recursive "skein" relations, and also specific formulas for the initial components of the $CWR$ invariant ($CWR_2$ and $CWR_3$) using weighted adjacency matrices of modified Tait graphs.


title: Language models emulate certain cognitive profiles: An investigation of how predictability measures interact with individual differences

abstract: To date, most investigations on surprisal and entropy effects in reading have been conducted on the group level, disregarding individual differences. In this work, we revisit the predictive power of surprisal and entropy measures estimated from a range of language models (LMs) on data of human reading times as a measure of processing effort by incorporating information of language users' cognitive capacities. To do so, we assess the predictive power of surprisal and entropy estimated from generative LMs on reading data obtained from individuals who also completed a wide range of psychometric tests. Specifically, we investigate if modulating surprisal and entropy relative to cognitive scores increases prediction accuracy of reading times, and we examine whether LMs exhibit systematic biases in the prediction of reading times for cognitively high- or low-performing groups, revealing what type of psycholinguistic subject a given LM emulates. Our study finds that in most cases, incorporating cognitive capacities increases predictive power of surprisal and entropy on reading times, and that generally, high performance in the psychometric tests is associated with lower sensitivity to predictability effects. Finally, our results suggest that the analyzed LMs emulate readers with lower verbal intelligence, suggesting that for a given target group (i.e., individuals with high verbal intelligence), these LMs provide less accurate predictability estimates.


title: Compositional Generalization with Grounded Language Models

abstract: Grounded language models use external sources of information, such as knowledge graphs, to meet some of the general challenges associated with pre-training. By extending previous work on compositional generalization in semantic parsing, we allow for a controlled evaluation of the degree to which these models learn and generalize from patterns in knowledge graphs. We develop a procedure for generating natural language questions paired with knowledge graphs that targets different aspects of compositionality and further avoids grounding the language models in information already encoded implicitly in their weights. We evaluate existing methods for combining language models with knowledge graphs and find them to struggle with generalization to sequences of unseen lengths and to novel combinations of seen base components. While our experimental results provide some insight into the expressive power of these models, we hope our work and released datasets motivate future research on how to better combine language models with structured knowledge representations.


title: Caloric properties of materials near a tricritical point

abstract: We present a mean-field study of caloric effects driven by primary and secondary fields near tricritical points, which are fields thermodynamically conjugated to the main and secondary order parameters, respectively. General features, such as critical exponents and their crossover from critical to tricritical behaviours, are studied by means of a generic free energy Landau expansion. To deal with specific materials, we propose a model that combines the Blume-Emery-Griffiths prototype to study tricritical points with the Bean-Rodbell approach to include magnetovolume effects. In this model the primary field is the magnetic field, while chemical and mechanical pressures are secondary fields. In spite of the scarcity of experimental data, we have shown that results for the La(Fe$_{x}$Si$_{1-x}$)$_{13}$ and MnSi compounds are in good agreement with our predictions. We expect that our results will motivate and guide new experimental research aiming at optimizing caloric materials.


title: Campana rational connectedness and weak approximation

abstract: Campana introduced a notion of Campana rational connectedness for Campana orbifolds. Given a Campana fibration over a complex curve, we prove that a version of weak approximation for Campana sections holds at places of good reduction when the general fiber satisfies a slightly stronger version of Campana rational connectedness. Campana also conjectured that any Fano orbifold is Campana rationally connected; we verify a stronger statement for toric Campana orbifolds. A key tool in our study is log geometry and moduli stacks of stable log maps.


title: Quantum hardware demonstrations of relativistic calculations of molecular electric dipole moments: from light to heavy systems using Variational Quantum Eigensolver

abstract: The quantum-classical hybrid Variational Quantum Eigensolver (VQE) algorithm is recognized to be the method of choice to obtain ground state energies of quantum many-body systems in the noisy intermediate scale quantum (NISQ) era. This study not only extends the VQE algorithm to the relativistic regime, but also calculates a property other than energy, namely the molecular permanent electric dipole moment (PDM). We carry out 18-qubit quantum simulations to obtain ground state energies as well as PDMs of single-valence diatomic molecules, ranging from the light BeH to the heavy radioactive RaH molecule. We investigate the correlation trends in these systems as well as access the precision in our results. Furthermore, we measure the PDM of the moderately heavy SrH and SrF molecules on the optimized unitary coupled cluster state, using the state-of-the-art IonQ Aria-I quantum computer in an active space of 6 qubits. The associated quantum circuits for these computations were extensively optimized in view of limitations imposed by NISQ hardware. To that end, we employ an array of techniques, including the use of point group symmetries, integrating ZX-Calculus into our pipeline-based circuit optimization, and energy sort VQE procedure. Through these methods, we compress our 6-qubit quantum circuit from 280 two-qubit gates to 37 two-qubit gates (with a marginal trade-off of 0.33 and 0.31 percent in the PDM for SrH and SrF in their respective 6-spin orbital active spaces). We anticipate that our proof-of-concept demonstration lays the groundwork for future quantum hardware calculations involving heavy atoms and molecules.


title: Development and Validation of a Deep-Learning Model for Differential Treatment Benefit Prediction for Adults with Major Depressive Disorder Deployed in the Artificial Intelligence in Depression Medication Enhancement (AIDME) Study

abstract: INTRODUCTION: The pharmacological treatment of Major Depressive Disorder (MDD) relies on a trial-and-error approach. We introduce an artificial intelligence (AI) model aiming to personalize treatment and improve outcomes, which was deployed in the Artificial Intelligence in Depression Medication Enhancement (AIDME) Study. OBJECTIVES: 1) Develop a model capable of predicting probabilities of remission across multiple pharmacological treatments for adults with at least moderate major depression. 2) Validate model predictions and examine them for amplification of harmful biases. METHODS: Data from previous clinical trials of antidepressant medications were standardized into a common framework and included 9,042 adults with moderate to severe major depression. Feature selection retained 25 clinical and demographic variables. Using Bayesian optimization, a deep learning model was trained on the training set, refined using the validation set, and tested once on the held-out test set. RESULTS: In the evaluation on the held-out test set, the model demonstrated achieved an AUC of 0.65. The model outperformed a null model on the test set (p = 0.01). The model demonstrated clinical utility, achieving an absolute improvement in population remission rate in hypothetical and actual improvement testing. While the model did identify one drug (escitalopram) as generally outperforming the other drugs (consistent with the input data), there was otherwise significant variation in drug rankings. On bias testing, the model did not amplify potentially harmful biases. CONCLUSIONS: We demonstrate the first model capable of predicting outcomes for 10 different treatment options for patients with MDD, intended to be used at or near the start of treatment to personalize treatment. The model was put into clinical practice during the AIDME randomized controlled trial whose results are reported separately.


title: Unguided structure learning of DAGs for count data

abstract: Mainly motivated by the problem of modelling directional dependence relationships for multivariate count data in high-dimensional settings, we present a new algorithm, called learnDAG, for learning the structure of directed acyclic graphs (DAGs). In particular, the proposed algorithm tackled the problem of learning DAGs from observational data in two main steps: (i) estimation of candidate parent sets; and (ii) feature selection. We experimentally compare learnDAG to several popular competitors in recovering the true structure of the graphs in situations where relatively moderate sample sizes are available. Furthermore, to make our algorithm is stronger, a validation of the algorithm is presented through the analysis of real datasets.


title: Data2Neo - A Tool for Complex Neo4j Data Integration

abstract: This paper introduces Data2Neo, an open-source Python library for converting relational data into knowledge graphs stored in Neo4j databases. With extensive customization options and support for continuous online data integration from various data sources, Data2Neo is designed to be user-friendly, efficient, and scalable to large datasets. The tool significantly lowers the barrier to entry for creating and using knowledge graphs, making this increasingly popular form of data representation accessible to a wider audience. The code is available at https://github.com/jkminder/data2neo .


title: Bose-Einstein condensate source on a optical grating-based atom chip for quantum sensor applications

abstract: We report the preparation of Bose-Einstein condensates (BECs) by integrating laser cooling with a grating magneto-optical trap (GMOT) and forced evaporation in a magnetic trap on a single chip. This new approach allowed us to produce a $6 \times 10^4$ atom Bose-Einstein condensate of rubidium-87 atoms with a single laser cooling beam. Our results represent a significant advance in the robustness and reliability of cold atom-based inertial sensors, especially for applications in demanding field environments.


title: On the social bias of speech self-supervised models

abstract: Self-supervised learning (SSL) speech models have achieved remarkable performance in various tasks, yet the biased outcomes, especially affecting marginalized groups, raise significant concerns. Social bias refers to the phenomenon where algorithms potentially amplify disparate properties between social groups present in the data used for training. Bias in SSL models can perpetuate injustice by automating discriminatory patterns and reinforcing inequitable systems. This work reveals that prevalent SSL models inadvertently acquire biased associations. We probe how various factors, such as model architecture, size, and training methodologies, influence the propagation of social bias within these models. Finally, we explore the efficacy of debiasing SSL models through regularization techniques, specifically via model compression. Our findings reveal that employing techniques such as row-pruning and training wider, shallower models can effectively mitigate social bias within SSL model.


title: ADBA:Approximation Decision Boundary Approach for Black-Box Adversarial Attacks

abstract: Many machine learning models are susceptible to adversarial attacks, with decision-based black-box attacks representing the most critical threat in real-world applications. These attacks are extremely stealthy, generating adversarial examples using hard labels obtained from the target machine learning model. This is typically realized by optimizing perturbation directions, guided by decision boundaries identified through query-intensive exact search, significantly limiting the attack success rate. This paper introduces a novel approach using the Approximation Decision Boundary (ADB) to efficiently and accurately compare perturbation directions without precisely determining decision boundaries. The effectiveness of our ADB approach (ADBA) hinges on promptly identifying suitable ADB, ensuring reliable differentiation of all perturbation directions. For this purpose, we analyze the probability distribution of decision boundaries, confirming that using the distribution's median value as ADB can effectively distinguish different perturbation directions, giving rise to the development of the ADBA-md algorithm. ADBA-md only requires four queries on average to differentiate any pair of perturbation directions, which is highly query-efficient. Extensive experiments on six well-known image classifiers clearly demonstrate the superiority of ADBA and ADBA-md over multiple state-of-the-art black-box attacks. The source code is available at https://github.com/BUPTAIOC/ADBA.


title: ProMotion: Prototypes As Motion Learners

abstract: In this work, we introduce ProMotion, a unified prototypical framework engineered to model fundamental motion tasks. ProMotion offers a range of compelling attributes that set it apart from current task-specific paradigms. We adopt a prototypical perspective, establishing a unified paradigm that harmonizes disparate motion learning approaches. This novel paradigm streamlines the architectural design, enabling the simultaneous assimilation of diverse motion information. We capitalize on a dual mechanism involving the feature denoiser and the prototypical learner to decipher the intricacies of motion. This approach effectively circumvents the pitfalls of ambiguity in pixel-wise feature matching, significantly bolstering the robustness of motion representation. We demonstrate a profound degree of transferability across distinct motion patterns. This inherent versatility reverberates robustly across a comprehensive spectrum of both 2D and 3D downstream tasks. Empirical results demonstrate that ProMotion outperforms various well-known specialized architectures, achieving 0.54 and 0.054 Abs Rel error on the Sintel and KITTI depth datasets, 1.04 and 2.01 average endpoint error on the clean and final pass of Sintel flow benchmark, and 4.30 F1-all error on the KITTI flow benchmark. For its efficacy, we hope our work can catalyze a paradigm shift in universal models in computer vision.


title: AttnDreamBooth: Towards Text-Aligned Personalized Text-to-Image Generation

abstract: Recent advances in text-to-image models have enabled high-quality personalized image synthesis of user-provided concepts with flexible textual control. In this work, we analyze the limitations of two primary techniques in text-to-image personalization: Textual Inversion and DreamBooth. When integrating the learned concept into new prompts, Textual Inversion tends to overfit the concept, while DreamBooth often overlooks it. We attribute these issues to the incorrect learning of the embedding alignment for the concept. We introduce AttnDreamBooth, a novel approach that addresses these issues by separately learning the embedding alignment, the attention map, and the subject identity in different training stages. We also introduce a cross-attention map regularization term to enhance the learning of the attention map. Our method demonstrates significant improvements in identity preservation and text alignment compared to the baseline methods.


title: Universal Polar Instability In Highly Orthorhombic Perovskites

abstract: The design of novel multiferroic ABO$_3$ perovskites is complicated by the presence of necessary magnetic cations and ubiquitous antiferrodistortive modes, both of which suppress polar distortions. Using first-principles simulations, we observe that the existence of quadlinear and trilinear invariants in the free energy, coupling tilts and antipolar motions of the A and B sites to the polar mode, drives an avalanche-like transition to a non-centrosymmetric $Pna2_1$ symmetry in a wide range of magnetic perovskites with small tolerance factors - overcoming the above restrictions. We find that the $Pna2_1$ phase is especially favoured with tensile epitaxial strain, leading to an unexpected but technologically useful out-of-plane polarization. We use this mechanism to predict various novel multiferroics displaying interesting magnetoelectric properties with small polarization switching barriers.


title: Benchmarking Deep Jansen-Rit Parameter Inference: An in Silico Study

abstract: The study of effective connectivity (EC) is essential in understanding how the brain integrates and responds to various sensory inputs. Model-driven estimation of EC is a powerful approach that requires estimating global and local parameters of a generative model of neural activity. Insights gathered through this process can be used in various applications, such as studying neurodevelopmental disorders. However, accurately determining EC through generative models remains a significant challenge due to the complexity of brain dynamics and the inherent noise in neural recordings, e.g., in electroencephalography (EEG). Current model-driven methods to study EC are computationally complex and cannot scale to all brain regions as required by whole-brain analyses. To facilitate EC assessment, an inference algorithm must exhibit reliable prediction of parameters in the presence of noise. Further, the relationship between the model parameters and the neural recordings must be learnable. To progress toward these objectives, we benchmarked the performance of a Bi-LSTM model for parameter inference from the Jansen-Rit neural mass model (JR-NMM) simulated EEG under various noise conditions. Additionally, our study explores how the JR-NMM reacts to changes in key biological parameters (i.e., sensitivity analysis) like synaptic gains and time constants, a crucial step in understanding the connection between neural mechanisms and observed brain activity. Our results indicate that we can predict the local JR-NMM parameters from EEG, supporting the feasibility of our deep-learning-based inference approach. In future work, we plan to extend this framework to estimate local and global parameters from real EEG in clinically relevant applications.


title: Designs for Enabling Collaboration in Human-Machine Teaming via Interactive and Explainable Systems

abstract: Collaborative robots and machine learning-based virtual agents are increasingly entering the human workspace with the aim of increasing productivity and enhancing safety. Despite this, we show in a ubiquitous experimental domain, Overcooked-AI, that state-of-the-art techniques for human-machine teaming (HMT), which rely on imitation or reinforcement learning, are brittle and result in a machine agent that aims to decouple the machine and human's actions to act independently rather than in a synergistic fashion. To remedy this deficiency, we develop HMT approaches that enable iterative, mixed-initiative team development allowing end-users to interactively reprogram interpretable AI teammates. Our 50-subject study provides several findings that we summarize into guidelines. While all approaches underperform a simple collaborative heuristic (a critical, negative result for learning-based methods), we find that white-box approaches supported by interactive modification can lead to significant team development, outperforming white-box approaches alone, and black-box approaches are easier to train and result in better HMT performance highlighting a tradeoff between explainability and interactivity versus ease-of-training. Together, these findings present three important directions: 1) Improving the ability to generate collaborative agents with white-box models, 2) Better learning methods to facilitate collaboration rather than individualized coordination, and 3) Mixed-initiative interfaces that enable users, who may vary in ability, to improve collaboration.


title: The Choquet-Deny Property for Groupoids

abstract: A countable discrete group is called Choquet-Deny if for any non-degenerate probability measure on the group, the corresponding space of bounded harmonic functions is trivial. Building on the previous work of Jaworski, a complete characterization of Choquet-Deny groups was recently achieved by Frisch, Hartman, Tamuz, and Ferdowski. In this article, we extend the study of the Choquet-Deny property to the framework of discrete measured groupoids. Our primary result offers a complete characterization of this property in terms of the isotropy groups and the equivalence relation associated with the given groupoid. Additionally, we use the implications derived from our main theorem to classify the Choquet-Deny property of transformation groupoids.