title: A Survey on Game Theory Optimal Poker

abstract: Poker is in the family of imperfect information games unlike other games such as chess, connect four, etc which are perfect information game instead. While many perfect information games have been solved, no non-trivial imperfect information game has been solved to date. This makes poker a great test bed for Artificial Intelligence research. In this paper we firstly compare Game theory optimal poker to Exploitative poker. Secondly, we discuss the intricacies of abstraction techniques, betting models, and specific strategies employed by successful poker bots like Tartanian[1] and Pluribus[6]. Thirdly, we also explore 2-player vs multi-player games and the limitations that come when playing with more players. Finally, this paper discusses the role of machine learning and theoretical approaches in developing winning strategies and suggests future directions for this rapidly evolving field.


title: Deep Learning model predicts the c-Kit-11 mutational status of canine cutaneous mast cell tumors by HE stained histological slides

abstract: Numerous prognostic factors are currently assessed histopathologically in biopsies of canine mast cell tumors to evaluate clinical behavior. In addition, PCR analysis of the c-Kit exon 11 mutational status is often performed to evaluate the potential success of a tyrosine kinase inhibitor therapy. This project aimed at training deep learning models (DLMs) to identify the c-Kit-11 mutational status of MCTs solely based on morphology without additional molecular analysis. HE slides of 195 mutated and 173 non-mutated tumors were stained consecutively in two different laboratories and scanned with three different slide scanners. This resulted in six different datasets (stain-scanner variations) of whole slide images. DLMs were trained with single and mixed datasets and their performances was assessed under scanner and staining domain shifts. The DLMs correctly classified HE slides according to their c-Kit 11 mutation status in, on average, 87% of cases for the best-suited stain-scanner variant. A relevant performance drop could be observed when the stain-scanner combination of the training and test dataset differed. Multi-variant datasets improved the average accuracy but did not reach the maximum accuracy of algorithms trained and tested on the same stain-scanner variant. In summary, DLM-assisted morphological examination of MCTs can predict c-Kit-exon 11 mutational status of MCTs with high accuracy. However, the recognition performance is impeded by a change of scanner or staining protocol. Larger data sets with higher numbers of scans originating from different laboratories and scanners may lead to more robust DLMs to identify c-Kit mutations in HE slides.


title: On Galois covers of a union of Zappatic surfaces of type $R_k$

abstract: We investigate the topological structures of Galois covers of a union of two Zappatic surfaces of type $R_k$. We prove that the Galois covers of such surfaces are simply-connected surfaces of general type. We also compute their Chern numbers and topological indices.


title: Harnessing Artificial Intelligence for Sustainable Agricultural Development in Africa: Opportunities, Challenges, and Impact

abstract: This paper explores the transformative potential of artificial intelligence (AI) in the context of sustainable agricultural development across diverse regions in Africa. Delving into opportunities, challenges, and impact, the study navigates through the dynamic landscape of AI applications in agriculture. Opportunities such as precision farming, crop monitoring, and climate-resilient practices are examined, alongside challenges related to technological infrastructure, data accessibility, and skill gaps. The article analyzes the impact of AI on smallholder farmers, supply chains, and inclusive growth. Ethical considerations and policy implications are also discussed, offering insights into responsible AI integration. By providing a nuanced understanding, this paper contributes to the ongoing discourse on leveraging AI for fostering sustainability in African agriculture.


title: CRISIS ALERT:Forecasting Stock Market Crisis Events Using Machine Learning Methods

abstract: Historically, the economic recession often came abruptly and disastrously. For instance, during the 2008 financial crisis, the SP 500 fell 46 percent from October 2007 to March 2009. If we could detect the signals of the crisis earlier, we could have taken preventive measures. Therefore, driven by such motivation, we use advanced machine learning techniques, including Random Forest and Extreme Gradient Boosting, to predict any potential market crashes mainly in the US market. Also, we would like to compare the performance of these methods and examine which model is better for forecasting US stock market crashes. We apply our models on the daily financial market data, which tend to be more responsive with higher reporting frequencies. We consider 75 explanatory variables, including general US stock market indexes, SP 500 sector indexes, as well as market indicators that can be used for the purpose of crisis prediction. Finally, we conclude, with selected classification metrics, that the Extreme Gradient Boosting method performs the best in predicting US stock market crisis events.


title: Tree Search-Based Evolutionary Bandits for Protein Sequence Optimization

abstract: While modern biotechnologies allow synthesizing new proteins and function measurements at scale, efficiently exploring a protein sequence space and engineering it remains a daunting task due to the vast sequence space of any given protein. Protein engineering is typically conducted through an iterative process of adding mutations to the wild-type or lead sequences, recombination of mutations, and running new rounds of screening. To enhance the efficiency of such a process, we propose a tree search-based bandit learning method, which expands a tree starting from the initial sequence with the guidance of a bandit machine learning model. Under simplified assumptions and a Gaussian Process prior, we provide theoretical analysis and a Bayesian regret bound, demonstrating that the combination of local search and bandit learning method can efficiently discover a near-optimal design. The full algorithm is compatible with a suite of randomized tree search heuristics, machine learning models, pre-trained embeddings, and bandit techniques. We test various instances of the algorithm across benchmark protein datasets using simulated screens. Experiment results demonstrate that the algorithm is both sample-efficient and able to find top designs using reasonably small mutation counts.


title: Machine Learning Applications in Spine Biomechanics

abstract: Spine biomechanics is at a transformation with the advent and integration of machine learning and computer vision technologies. These novel techniques facilitate the estimation of 3D body shapes, anthropometrics, and kinematics from as simple as a single-camera image, making them more accessible and practical for a diverse range of applications. This study introduces a framework that merges these methodologies with traditional musculoskeletal modeling, enabling comprehensive analysis of spinal biomechanics during complex activities from a single camera. Additionally, we aim to evaluate their performance and limitations in spine biomechanics applications. The real-world applications explored in this study include assessment in workplace lifting, evaluation of whiplash injuries in car accidents, and biomechanical analysis in professional sports. Our results demonstrate potential and limitations of various algorithms in estimating body shape, kinematics, and conducting in-field biomechanical analyses. In industrial settings, the potential to utilize these new technologies for biomechanical risk assessments offers a pathway for preventive measures against back injuries. In sports activities, the proposed framework provides new opportunities for performance optimization, injury prevention, and rehabilitation. The application in forensic domain further underscores the wide-reaching implications of this technology. While certain limitations were identified, particularly in accuracy of predictions, complex interactions, and external load estimation, this study demonstrates their potential for advancement in spine biomechanics, heralding an optimistic future in both research and practical applications.


title: MTAD: Tools and Benchmarks for Multivariate Time Series Anomaly Detection

abstract: Key Performance Indicators (KPIs) are essential time-series metrics for ensuring the reliability and stability of many software systems. They faithfully record runtime states to facilitate the understanding of anomalous system behaviors and provide informative clues for engineers to pinpoint the root causes. The unprecedented scale and complexity of modern software systems, however, make the volume of KPIs explode. Consequently, many traditional methods of KPI anomaly detection become impractical, which serves as a catalyst for the fast development of machine learning-based solutions in both academia and industry. However, there is currently a lack of rigorous comparison among these KPI anomaly detection methods, and re-implementation demands a non-trivial effort. Moreover, we observe that different works adopt independent evaluation processes with different metrics. Some of them may not fully reveal the capability of a model and some are creating an illusion of progress. To better understand the characteristics of different KPI anomaly detectors and address the evaluation issue, in this paper, we provide a comprehensive review and evaluation of twelve state-of-the-art methods, and propose a novel metric called salience. Particularly, the selected methods include five traditional machine learning-based methods and seven deep learning-based methods. These methods are evaluated with five multivariate KPI datasets that are publicly available. A unified toolkit with easy-to-use interfaces is also released. We report the benchmark results in terms of accuracy, salience, efficiency, and delay, which are of practical importance for industrial deployment. We believe our work can contribute as a basis for future academic research and industrial application.


title: GOODAT: Towards Test-time Graph Out-of-Distribution Detection

abstract: Graph neural networks (GNNs) have found widespread application in modeling graph data across diverse domains. While GNNs excel in scenarios where the testing data shares the distribution of their training counterparts (in distribution, ID), they often exhibit incorrect predictions when confronted with samples from an unfamiliar distribution (out-of-distribution, OOD). To identify and reject OOD samples with GNNs, recent studies have explored graph OOD detection, often focusing on training a specific model or modifying the data on top of a well-trained GNN. Despite their effectiveness, these methods come with heavy training resources and costs, as they need to optimize the GNN-based models on training data. Moreover, their reliance on modifying the original GNNs and accessing training data further restricts their universality. To this end, this paper introduces a method to detect Graph Out-of-Distribution At Test-time (namely GOODAT), a data-centric, unsupervised, and plug-and-play solution that operates independently of training data and modifications of GNN architecture. With a lightweight graph masker, GOODAT can learn informative subgraphs from test samples, enabling the capture of distinct graph patterns between OOD and ID samples. To optimize the graph masker, we meticulously design three unsupervised objective functions based on the graph information bottleneck principle, motivating the masker to capture compact yet informative subgraphs for OOD detection. Comprehensive evaluations confirm that our GOODAT method outperforms state-of-the-art benchmarks across a variety of real-world datasets. The code is available at Github: https://github.com/Ee1s/GOODAT


title: Total Variation Convergence Preserves Conditional Independence

abstract: This note establishes that if a sequence $P_n, n=1,\ldots$ of probability measures converges in total variation to the limiting probability measure $P$, and $\sigma$-algebras $\mathbb{A}$ and $\mathbb{B}$ are conditionally independent given $\mathbb{H}$ with respect to $P_n$ for all $n$, then they are also conditionally independent with respect to the limiting measure $P$. As a corollary, this also extends to pointwise convergence of densities to a density.


title: AI Art is Theft: Labour, Extraction, and Exploitation, Or, On the Dangers of Stochastic Pollocks

abstract: Since the launch of applications such as DALL-E, Midjourney, and Stable Diffusion, generative artificial intelligence has been controversial as a tool for creating artwork. While some have presented longtermist worries about these technologies as harbingers of fully automated futures to come, more pressing is the impact of generative AI on creative labour in the present. Already, business leaders have begun replacing human artistic labour with AI-generated images. In response, the artistic community has launched a protest movement, which argues that AI image generation is a kind of theft. This paper analyzes, substantiates, and critiques these arguments, concluding that AI image generators involve an unethical kind of labour theft. If correct, many other AI applications also rely upon theft.


title: CNN-DRL for Scalable Actions in Finance

abstract: The published MLP-based DRL in finance has difficulties in learning the dynamics of the environment when the action scale increases. If the buying and selling increase to one thousand shares, the MLP agent will not be able to effectively adapt to the environment. To address this, we designed a CNN agent that concatenates the data from the last ninety days of the daily feature vector to create the CNN input matrix. Our extensive experiments demonstrate that the MLP-based agent experiences a loss corresponding to the initial environment setup, while our designed CNN remains stable, effectively learns the environment, and leads to an increase in rewards.


title: Decentralized Gossip Mutual Learning (GML) for automatic head and neck tumor segmentation

abstract: Federated learning (FL) has emerged as a promising strategy for collaboratively training complicated machine learning models from different medical centers without the need of data sharing. However, the traditional FL relies on a central server to orchestrate the global model training among clients. This makes it vulnerable to the failure of the model server. Meanwhile, the model trained based on the global data property may not yield the best performance on the local data of a particular site due to the variations of data characteristics among them. To address these limitations, we proposed Gossip Mutual Learning(GML), a decentralized collaborative learning framework that employs Gossip Protocol for direct peer-to-peer communication and encourages each site to optimize its local model by leveraging useful information from peers through mutual learning. On the task of tumor segmentation on PET/CT images using HECKTOR21 dataset with 223 cases from five clinical sites, we demonstrated GML could improve tumor segmentation performance in terms of Dice Similarity Coefficient (DSC) by 3.2%, 4.6% and 10.4% on site-specific testing cases as compared to three baseline methods: pooled training, FedAvg and individual training, respectively. We also showed GML has comparable generalization performance as pooled training and FedAvg when applying them on 78 cases from two out-of-sample sites where no case was used for model training. In our experimental setup, GML showcased a sixfold decrease in communication overhead compared to FedAvg, requiring only 16.67% of the total communication overhead.


title: A Half-Century Research Footpath in Statistical Physics

abstract: We give an abridged account of a continued string of studies in condensed matter physics and in complex systems that span five decades. We provide links to access abstracts and full texts of a selected list of publications. The studies were carried out within a framework of methods and models, some developed in situ, of stochastic processes, statistical mechanics and nonlinear dynamics. The topics, techniques and outcomes reflect evolving interests of the community but also show a particular character that privileges the use of analogies or unusual viewpoints that unite the studies in distinctive ways. The studies have been grouped into thirty sets and these, in turn, placed into three collections according to the main underlying approach: stochastic processes, density functional theory, and nonlinear dynamics. We discuss the body of knowledge created by these research lines in relation to theoretical foundations and spread of subjects. We indicate unsuspected connections underlying different aspects of these investigations and also point out both natural and unanticipated perspectives for future developments. Finally, we refer to our most important and recent contribution: An answer with a firm basis to the long standing question about the limit of validity of ordinary statistical mechanics and the pertinence of Tsallis statistics.


title: Prediction of Cellular Identities from Trajectory and Cell Fate Information

abstract: Determining cell identities in imaging sequences is an important yet challenging task. The conventional method for cell identification is via cell tracking, which is complex and can be time-consuming. In this study, we propose an innovative approach to cell identification during early $\textit{C. elegans}$ embryogenesis using machine learning. Cell identification during $\textit{C. elegans}$ embryogenesis would provide insights into neural development with implications for higher organisms including humans. We employed random forest, MLP, and LSTM models, and tested cell classification accuracy on 3D time-lapse confocal datasets spanning the first 4 hours of embryogenesis. By leveraging a small number of spatial-temporal features of individual cells, including cell trajectory and cell fate information, our models achieve an accuracy of over 91%, even with limited data. We also determine the most important feature contributions and can interpret these features in the context of biological knowledge. Our research demonstrates the success of predicting cell identities in time-lapse imaging sequences directly from simple spatio-temporal features.


title: End to end Hindi to English speech conversion using Bark, mBART and a finetuned XLSR Wav2Vec2

abstract: Speech has long been a barrier to effective communication and connection, persisting as a challenge in our increasingly interconnected world. This research paper introduces a transformative solution to this persistent obstacle an end-to-end speech conversion framework tailored for Hindi-to-English translation, culminating in the synthesis of English audio. By integrating cutting-edge technologies such as XLSR Wav2Vec2 for automatic speech recognition (ASR), mBART for neural machine translation (NMT), and a Text-to-Speech (TTS) synthesis component, this framework offers a unified and seamless approach to cross-lingual communication. We delve into the intricate details of each component, elucidating their individual contributions and exploring the synergies that enable a fluid transition from spoken Hindi to synthesized English audio.


title: Cyclic and Negacyclic Codes with Optimal and Best Known Minimum Distances

abstract: In this paper, we construct a new family of distance-optimal binary cyclic codes with the minimum distance $6$ and a new family of distance-optimal quaternary cyclic codes with the minimum distance $4$. We also construct several families of cyclic and negacyclic codes over ${\bf F}_2$, ${\bf F}_3$, ${\bf F}_4$, ${\bf F}_5$, ${\bf F}_7$ and ${\bf F}_9$ with good parameters $n,\,k,\,d$, such that the maximal possible minimum distance $d_{max}$ of a linear $[n, k]_q$ code is at most $d_{max} \leq d+8$. The first codes in these families have optimal or best known minimum distances. $145$ optimal or best known codes are constructed as cyclic codes, negacyclic codes, their shortening codes and punctured codes. All optimal or best known codes constructed in this paper are not equivalent to the presently best known codes. Several infinite families of negacyclic $[n,\frac{n+1}{2}, d]_q$ codes or $[n, \frac{n}{2}, d]_q$ codes, such that their minimum distances satisfy $d\approx O(\frac{n}{\log_q n})$, are also constructed. These are first several families of such negacyclic codes.


title: Ozawa's Intersubjectivity Theorem as justification of RQM's postulate on internally consistent descriptions

abstract: The Ozawa's Intersubjectivity Theorem (OIT) proved within quantum measurement theory supports the new postulate of relational quantum mechanics (RQM), the postulate on internally consistent descriptions. We remark that this postulate was proposed only recently to resolve the problem of intersubjectivity of information in RQM. In contrast to RQM for which OIT is a supporting theoretical statement, QBism is challenged by OIT.


title: Vibrational Strong Coupling of Ro-Vibrational States of Gaseous N2O Molecules

abstract: This letter demonstrates the formation of vibro-polaritonic states by strong coupling gaseous nitrous oxide molecules at room temperature. The ro-vibrational features of the molecule is utilized to understand the nature of the strong light-matter interaction in the gas phase. Mixing of the P and R-branch population gives three polaritonic branches, and the dispersion experiments are well supported by three coupled oscillator model. The best mixing of the ro-vibrational population occurs for the middle vibro-polaritonic state, which is formed at the place of the Q-branch (which is otherwise not allowed in the uncoupled system). Further, the Boltzmann distribution is also altered in the strong coupled system. High-resolution spectroscopic studies suggest the presence of a large uncoupled population along with the newly formed vibro-polaritonic states. The gas phase vibrational strong coupling on small molecules proposed here is one step closer to understanding the rate modification in polaritonic chemistry experiments.


title: Scissorhands: Scrub Data Influence via Connection Sensitivity in Networks

abstract: Machine unlearning has become a pivotal task to erase the influence of data from a trained model. It adheres to recent data regulation standards and enhances the privacy and security of machine learning applications. In this work, we present a new machine unlearning approach Scissorhands. Initially, Scissorhands identifies the most pertinent parameters in the given model relative to the forgetting data via connection sensitivity. By reinitializing the most influential top-k percent of these parameters, a trimmed model for erasing the influence of the forgetting data is obtained. Subsequently, Scissorhands fine-tunes the trimmed model with a gradient projection-based approach, seeking parameters that preserve information on the remaining data while discarding information related to the forgetting data. Our experimental results, conducted across image classification and image generation tasks, demonstrate that Scissorhands, showcases competitive performance when compared to existing methods.


title: State of practice: evaluating GPU performance of state vector and tensor network methods

abstract: The frontier of quantum computing (QC) simulation on classical hardware is quickly reaching the hard scalability limits for computational feasibility. Nonetheless, there is still a need to simulate large quantum systems classically, as the Noisy Intermediate Scale Quantum (NISQ) devices are yet to be considered fault tolerant and performant enough in terms of operations per second. Each of the two main exact simulation techniques, state vector and tensor network simulators, boasts specific limitations. The exponential memory requirement of state vector simulation, when compared to the qubit register sizes of currently available quantum computers, quickly saturates the capacity of the top HPC machines currently available. Tensor network contraction approaches, which encode quantum circuits into tensor networks and then contract them over an output bit string to obtain its probability amplitude, still fall short of the inherent complexity of finding an optimal contraction path, which maps to a max-cut problem on a dense mesh, a notably NP-hard problem. This article aims at investigating the limits of current state-of-the-art simulation techniques on a test bench made of eight widely used quantum subroutines, each in 31 different configurations, with special emphasis on performance. We then correlate the performance measures of the simulators with the metrics that characterise the benchmark circuits, identifying the main reasons behind the observed performance trend. From our observations, given the structure of a quantum circuit and the number of qubits, we highlight how to select the best simulation strategy, obtaining a speedup of up to an order of magnitude.


title: Graphs that admit a Hamilton path are cup-stackable

abstract: Fay, Hurlbert and Tennant recently introduced a one-player game on a finite connected graph $G$, which they called cup stacking. Stacks of cups are placed at the vertices of $G$, and are transferred between vertices via stacking moves, subject to certain constraints, with the goal of stacking all cups at a single target vertex. If this is possible for every target vertex of $G$, then $G$ is called stackable. In this paper, we prove that if $G$ admits a Hamilton path, then $G$ is stackable, which confirms several of the conjectures raised by Fay, Hurlbert and Tennant. Furthermore, we prove stackability for certain powers of bipartite graphs, and we construct graphs of arbitrarily large minimum degree and connectivity that do not allow stacking onto any of their vertices.


title: A binary additive equation with prime and square-free number

abstract: Let $[\, \cdot\,]$ be the floor function. In this paper, we show that when $1<c<\frac{82}{79}$, then every sufficiently large positive integer $N$ can be represented in the form \begin{equation*} N=[p^c]+[m^c]\,, \end{equation*} where $p$ is a prime and $m$ is a square-free.


title: TriNeRFLet: A Wavelet Based Multiscale Triplane NeRF Representation

abstract: In recent years, the neural radiance field (NeRF) model has gained popularity due to its ability to recover complex 3D scenes. Following its success, many approaches proposed different NeRF representations in order to further improve both runtime and performance. One such example is Triplane, in which NeRF is represented using three 2D feature planes. This enables easily using existing 2D neural networks in this framework, e.g., to generate the three planes. Despite its advantage, the triplane representation lagged behind in its 3D recovery quality compared to NeRF solutions. In this work, we propose TriNeRFLet, a 2D wavelet-based multiscale triplane representation for NeRF, which closes the 3D recovery performance gap and is competitive with current state-of-the-art methods. Building upon the triplane framework, we also propose a novel super-resolution (SR) technique that combines a diffusion model with TriNeRFLet for improving NeRF resolution.


title: Multi-Agent Based Simulation for Investigating Electric Vehicle Adoption and Its Impacts on Electricity Distribution Grids and CO2 Emissions

abstract: Electric vehicles are expected to significantly contribute to CO2-eq. emissions reduction, but the increasing number of EVs also introduces chal-lenges to the energy system, and to what extent it contributes to achieving cli-mate goals remains unknown. Static modeling and assumption-based simula-tions have been used for such investigation, but they cannot capture the realistic ecosystem dynamics. To fill the gap, this paper investigates the impacts of two adoption curves of private EVs on the electricity distribution grids and national climate goals. This paper develops a multi-agent based simulation with two adoption curves, the Traditional EV charging strategy, various EV models, driv-ing patterns, and CO2-eq. emission data to capture the full ecosystem dynamics during a long-term period from 2020 to 2032. The Danish 2030 climate goal and a Danish distribution network with 126 residential consumers are chosen as the case study. The results show that both EV adoption curves of 1 million and 775k EVs by 2030 will not satisfy the Danish climate goal of reducing transport sector emissions by 30% by 2030. The results also show that the current resi-dential electricity distribution grids cannot handle the load from increasing EVs. The first grid overload will occur in 2031 (around 16 and 24 months later for the 1 million and 775k EVs adopted by 2030) with a 67% share of EVs in the grid.


title: Dark Energy Compact Stars in Extended Teleparallel Gravity

abstract: This paper presents the study of dark-energy compact stars in the context of modified Rastall teleparallel gravity. It is the first time that dark energy celestial phenomena have been explored in this modified gravitational theory. Employing the torsion-based functions, $f(T)$ and $h(T)$, we analyzed their effects in a spherically symmetric spacetime chosen as the interior geometry, while using the Schwarzschild geometry as an outer spacetime. In this study, we explored various dark energy stellar properties, including dark energy pressure components, energy conditions, and equation of state components. Our findings reveal that the observed negative behavior of these stellar properties served as compelling evidence, validating the presence of dark energy in stellar configurations. Detailed investigations of the energy conditions, pressure profiles, sound speeds, TOV equation, adiabatic index, gradients, mass function, compactness, and redshift function forecasts a comprehensive assessment, affirming the acceptability and realism of the investigated stellar configuration.


title: CrisisKAN: Knowledge-infused and Explainable Multimodal Attention Network for Crisis Event Classification

abstract: Pervasive use of social media has become the emerging source for real-time information (like images, text, or both) to identify various events. Despite the rapid growth of image and text-based event classification, the state-of-the-art (SOTA) models find it challenging to bridge the semantic gap between features of image and text modalities due to inconsistent encoding. Also, the black-box nature of models fails to explain the model's outcomes for building trust in high-stakes situations such as disasters, pandemic. Additionally, the word limit imposed on social media posts can potentially introduce bias towards specific events. To address these issues, we proposed CrisisKAN, a novel Knowledge-infused and Explainable Multimodal Attention Network that entails images and texts in conjunction with external knowledge from Wikipedia to classify crisis events. To enrich the context-specific understanding of textual information, we integrated Wikipedia knowledge using proposed wiki extraction algorithm. Along with this, a guided cross-attention module is implemented to fill the semantic gap in integrating visual and textual data. In order to ensure reliability, we employ a model-specific approach called Gradient-weighted Class Activation Mapping (Grad-CAM) that provides a robust explanation of the predictions of the proposed model. The comprehensive experiments conducted on the CrisisMMD dataset yield in-depth analysis across various crisis-specific tasks and settings. As a result, CrisisKAN outperforms existing SOTA methodologies and provides a novel view in the domain of explainable multimodal event classification.


title: NeuSpin: Design of a Reliable Edge Neuromorphic System Based on Spintronics for Green AI

abstract: Internet of Things (IoT) and smart wearable devices for personalized healthcare will require storing and computing ever-increasing amounts of data. The key requirements for these devices are ultra-low-power, high-processing capabilities, autonomy at low cost, as well as reliability and accuracy to enable Green AI at the edge. Artificial Intelligence (AI) models, especially Bayesian Neural Networks (BayNNs) are resource-intensive and face challenges with traditional computing architectures due to the memory wall problem. Computing-in-Memory (CIM) with emerging resistive memories offers a solution by combining memory blocks and computing units for higher efficiency and lower power consumption. However, implementing BayNNs on CIM hardware, particularly with spintronic technologies, presents technical challenges due to variability and manufacturing defects. The NeuSPIN project aims to address these challenges through full-stack hardware and software co-design, developing novel algorithmic and circuit design approaches to enhance the performance, energy-efficiency and robustness of BayNNs on sprintronic-based CIM platforms.


title: VW-PINNs: A volume weighting method for PDE residuals in physics-informed neural networks

abstract: Physics-informed neural networks (PINNs) have shown remarkable prospects in the solving the forward and inverse problems involving partial differential equations (PDEs). The method embeds PDEs into the neural network by calculating PDE loss at a series of collocation points, providing advantages such as meshfree and more convenient adaptive sampling. However, when solving PDEs using nonuniform collocation points, PINNs still face challenge regarding inefficient convergence of PDE residuals or even failure. In this work, we first analyze the ill-conditioning of the PDE loss in PINNs under nonuniform collocation points. To address the issue, we define volume-weighted residual and propose volume-weighted physics-informed neural networks (VW-PINNs). Through weighting the PDE residuals by the volume that the collocation points occupy within the computational domain, we embed explicitly the spatial distribution characteristics of collocation points in the residual evaluation. The fast and sufficient convergence of the PDE residuals for the problems involving nonuniform collocation points is guaranteed. Considering the meshfree characteristics of VW-PINNs, we also develop a volume approximation algorithm based on kernel density estimation to calculate the volume of the collocation points. We verify the universality of VW-PINNs by solving the forward problems involving flow over a circular cylinder and flow over the NACA0012 airfoil under different inflow conditions, where conventional PINNs fail; By solving the Burgers' equation, we verify that VW-PINNs can enhance the efficiency of existing the adaptive sampling method in solving the forward problem by 3 times, and can reduce the relative error of conventional PINNs in solving the inverse problem by more than one order of magnitude.


title: Efficient Deformable ConvNets: Rethinking Dynamic and Sparse Operator for Vision Applications

abstract: We introduce Deformable Convolution v4 (DCNv4), a highly efficient and effective operator designed for a broad spectrum of vision applications. DCNv4 addresses the limitations of its predecessor, DCNv3, with two key enhancements: 1. removing softmax normalization in spatial aggregation to enhance its dynamic property and expressive power and 2. optimizing memory access to minimize redundant operations for speedup. These improvements result in a significantly faster convergence compared to DCNv3 and a substantial increase in processing speed, with DCNv4 achieving more than three times the forward speed. DCNv4 demonstrates exceptional performance across various tasks, including image classification, instance and semantic segmentation, and notably, image generation. When integrated into generative models like U-Net in the latent diffusion model, DCNv4 outperforms its baseline, underscoring its possibility to enhance generative models. In practical applications, replacing DCNv3 with DCNv4 in the InternImage model to create FlashInternImage results in up to 80% speed increase and further performance improvement without further modifications. The advancements in speed and efficiency of DCNv4, combined with its robust performance across diverse vision tasks, show its potential as a foundational building block for future vision models.


title: Local electronic excitations by slow light ions in tungsten

abstract: Accurately predicting the electronic energy deposition of ions in materials is an important challenge in both fundamental and applied research. While employing ab initio simulations to investigate electronic stopping of ions in matter holds promise, its combined use with experimental measurements paves the way for obtaining reliable data. In this paper, we present a collaborative study using real-time time-dependent density functional theory and experimental methods to determine the electronic stopping power of hydrogen and helium ions in tungsten, a primary candidate material for future nuclear fusion devices. While calculated stopping powers in hyperchanneling trajectories are significantly lower than the experimental data, off-center and random geometries demonstrate a better agreement. We show that the deviation from velocity proportionality for both projectiles traversing the hyperchanneling directions can be explained through the existence of a threshold velocity leading to the activation of semicore states. Additionally, we analyse the pseudopotential and the trajectory dependence of computed electronic energy losses. It is demonstrated that the role of including inner-shell electrons varies depending on the velocity range. While these states play a crucial role at high projectile velocities by introducing additional dissipation channels, their impact diminishes in the low-velocity range. Finally, we introduce a simple expression that links electronic energy losses in different trajectories to local electron density, and we show that utilizing this formula allows for quite accurate predictions of stopping powers around the Bragg peak.


title: xTrimoPGLM: Unified 100B-Scale Pre-trained Transformer for Deciphering the Language of Protein

abstract: Protein language models have shown remarkable success in learning biological information from protein sequences. However, most existing models are limited by either autoencoding or autoregressive pre-training objectives, which makes them struggle to handle protein understanding and generation tasks concurrently. We propose a unified protein language model, xTrimoPGLM, to address these two types of tasks simultaneously through an innovative pre-training framework. Our key technical contribution is an exploration of the compatibility and the potential for joint optimization of the two types of objectives, which has led to a strategy for training xTrimoPGLM at an unprecedented scale of 100 billion parameters and 1 trillion training tokens. Our extensive experiments reveal that 1) xTrimoPGLM significantly outperforms other advanced baselines in 18 protein understanding benchmarks across four categories. The model also facilitates an atomic-resolution view of protein structures, leading to an advanced 3D structural prediction model that surpasses existing language model-based tools. 2) xTrimoPGLM not only can generate de novo protein sequences following the principles of natural ones, but also can perform programmable generation after supervised fine-tuning (SFT) on curated sequences. These results highlight the substantial capability and versatility of xTrimoPGLM in understanding and generating protein sequences, contributing to the evolving landscape of foundation models in protein science.


title: Instability windows of relativistic r-modes

abstract: The detectability of the gravitational-wave signal from $r$-modes depends on the interplay between the amplification of the mode by the CFS instability and its damping due to dissipative mechanisms present in the stellar matter. The instability window of $r$-modes describes the region of stellar parameters (angular velocity, $\Omega$, and redshifted stellar temperature, $T^\infty$), for which the mode is unstable. In this study, we reexamine this problem in nonbarotropic neutron stars, taking into account the previously overlooked nonanalytic behavior (in $\Omega$) of relativistic $r$-modes and enhanced energy dissipation resulting from diffusion in superconducting stellar matter. We demonstrate that at slow rotation rates, relativistic $r$-modes exhibit weaker amplification by the CFS instability compared to Newtonian ones. However, their dissipation through viscosity and diffusion is significantly more efficient. In rapidly rotating neutron stars within the framework of general relativity, the amplification of $r$-modes by the CFS mechanism and their damping due to shear viscosity become comparable to those predicted by Newtonian theory. In contrast, the relativistic damping of the mode by diffusion and bulk viscosity remains significantly stronger than in the nonrelativistic case. Consequently, account for diffusion and general relativity leads to a substantial modification of the $r$-mode instability window compared to the Newtonian prediction. This finding is important for the interpretation of observations of rotating neutron stars, as well as for overall understanding of $r$-mode physics.


title: EASYTOOL: Enhancing LLM-based Agents with Concise Tool Instruction

abstract: To address intricate real-world tasks, there has been a rising interest in tool utilization in applications of large language models (LLMs). To develop LLM-based agents, it usually requires LLMs to understand many tool functions from different tool documentation. But these documentations could be diverse, redundant or incomplete, which immensely affects the capability of LLMs in using tools. To solve this, we introduce EASYTOOL, a framework transforming diverse and lengthy tool documentation into a unified and concise tool instruction for easier tool usage. EasyTool purifies essential information from extensive tool documentation of different sources, and elaborates a unified interface (i.e., tool instruction) to offer standardized tool descriptions and functionalities for LLM-based agents. Extensive experiments on multiple different tasks demonstrate that EasyTool can significantly reduce token consumption and improve the performance of tool utilization in real-world scenarios. Our code will be available at \url{https://github.com/microsoft/JARVIS/} in the future.


title: QGSJET-III model of high energy hadronic interactions: The formalism

abstract: The physics content of the QGSJET-III Monte Carlo generator of high energy hadronic collisions is described. In particular, a phenomenological implementation of higher twist corrections to hard parton scattering processes is discussed in some detail. Additionally addressed is the treatment of the so-called ``color fluctuation'' effects related to a decomposition of hadron wave functions into a number of Fock states characterized by different spatial sizes and different parton densities. Selected model results regarding the energy-dependence of the total, elastic, and diffractive proton-proton cross sections are presented.


title: Remixing Music for Hearing Aids Using Ensemble of Fine-Tuned Source Separators

abstract: This paper introduces our system submission for the Cadenza ICASSP 2024 Grand Challenge, which presents the problem of remixing and enhancing music for hearing aid users. Our system placed first in the challenge, achieving the best average Hearing-Aid Audio Quality Index (HAAQI) score on the evaluation data set. We describe the system, which uses an ensemble of deep learning music source separators that are fine tuned on the challenge data. We demonstrate the effectiveness of our system through the challenge results and analyze the importance of different system aspects through ablation studies.


title: An Exploratory Assessment of LLM's Potential Toward Flight Trajectory Reconstruction Analysis

abstract: Large Language Models (LLMs) hold transformative potential in aviation, particularly in reconstructing flight trajectories. This paper investigates this potential, grounded in the notion that LLMs excel at processing sequential data and deciphering complex data structures. Utilizing the LLaMA 2 model, a pre-trained open-source LLM, the study focuses on reconstructing flight trajectories using Automatic Dependent Surveillance-Broadcast (ADS-B) data with irregularities inherent in real-world scenarios. The findings demonstrate the model's proficiency in filtering noise and estimating both linear and curved flight trajectories. However, the analysis also reveals challenges in managing longer data sequences, which may be attributed to the token length limitations of LLM models. The study's insights underscore the promise of LLMs in flight trajectory reconstruction and open new avenues for their broader application across the aviation and transportation sectors.


title: Unsupervised detection of coordinated information operations in the wild

abstract: This paper introduces and tests an unsupervised method for detecting novel coordinated inauthentic information operations (CIOs) in realistic settings. This method uses Bayesian inference to identify groups of accounts that share similar account-level characteristics and target similar narratives. We solve the inferential problem using amortized variational inference, allowing us to efficiently infer group identities for millions of accounts. We validate this method using a set of five CIOs from three countries discussing four topics on Twitter. Our unsupervised approach increases detection power (area under the precision-recall curve) relative to a naive baseline (by a factor of 76 to 580), relative to the use of simple flags or narratives on their own (by a factor of 1.3 to 4.8), and comes quite close to a supervised benchmark. Our method is robust to observing only a small share of messaging on the topic, having only weak markers of inauthenticity, and to the CIO accounts making up a tiny share of messages and accounts on the topic. Although we evaluate the results on Twitter, the method is general enough to be applied in many social-media settings.


title: First investigation on the isomeric ratio in multinucleon transfer reactions: Entrance channel effects on the spin distribution

abstract: The multinucleon transfer (MNT) reaction approach was successfully employed for the first time to measure the isomeric ratios (IRs) of $^{211}$Po (25/2$^+$) isomer and its (9/2$^+$) ground state at the IGISOL facility using a 945 MeV $^{136}$Xe beam impinged on $^{209}$Bi and $^{\rm nat}$Pb targets. The dominant production of isomers compared to the corresponding ground states was consistently revealed in the $\alpha$-decay spectra. Deduced IR of $^{211}$Po populated through the $^{136}$Xe+$^{\rm nat}$Pb reaction was found to enhance $\approx$1.8-times than observed for $^{136}$Xe+$^{209}$Bi. State-of-the-art Langevin-type model calculations have been utilized to estimate the spin distribution of an MNT residue. The computations qualitatively corroborate with the considerable increase in IRs of $^{211}$Po produced from $^{136}$Xe+$^{\rm nat}$Pb compared to $^{136}$Xe+$^{209}$Bi. Theoretical investigations indicate a weak influence of target spin on IRs. The enhancement of the $^{211}$Po isomer in the $^{136}$Xe+$^{\rm nat}$Pb over $^{136}$Xe+$^{209}$Bi can be attributed to the different proton ($p$)-transfer production routes. Estimations demonstrate an increment in the angular momentum transfer, favorable for isomer production, with increasing projectile energy. Comparative analysis indicates the two entrance channel parameters, projectile mass and $p$-transfer channels, strongly influencing the population of the high-spin isomer of $^{211}$Po (25/2$^+$). This is the first experimental and theoretical investigation on the IRs of nuclei produced via different channels of MNT reactions, with the latter quantitatively underestimating the former by a factor of two.


title: Computing parameter planes of iterative root-finding methods with several free critical points

abstract: In this paper we present an algorithm to obtain the parameter planes of families of root-finding methods with several free critical points. The parameter planes show the joint behaviour of all critical points. This algorithm avoids the inconsistencies arising from the relationship between the different critical points as well as the indeterminacy caused by the square roots involved in their computation. We analyse the suitability of this algorithm by drawing the parameter planes of different Newton-like methods with two and three critical points. We also present some results of the expressions of the Newton-like operators and their derivatives in terms of palindromic polynomials, and we show how to obtain the expression of the critical points of a Newton-like method with real coefficients.


title: Nondegeneracy and Sato-Tate Distributions of Two Families of Jacobian Varieties

abstract: We consider the curves $ y^2=x^{2^m} -c$ and $y^2=x^{2^{d}+1}-cx$ over the rationals where $c \in \mathbb{Q}^{\times}.$ These curves are related via their associated Jacobian varieties in that the Jacobians of the latter appear as factors of the Jacobians of the former. One of the principle aims of this paper is to fully describe their Sato-Tate groups and distributions by determining generators of the component groups. In order to do this, we first prove the nondegeneracy of the two families of Jacobian varieties via their Hodge groups. We then use results relating Sato-Tate groups and twisted Lefschetz groups of nondegenerate abelian varieties to determine the generators of the associated Sato-Tate groups. The results of this paper add new examples to the literature of families of nondegenerate Jacobian varieties and of noncyclic Sato-Tate groups. Furthermore, we compute moment statistics associated to the Sato-Tate groups which can be used to verify the equidistribution statement of the generalized Sato-Tate conjecture by comparing them to moment statistics obtained for the traces in the normalized $L$-polynomials of the curves.


title: Eyes Wide Shut? Exploring the Visual Shortcomings of Multimodal LLMs

abstract: Is vision good enough for language? Recent advancements in multimodal models primarily stem from the powerful reasoning abilities of large language models (LLMs). However, the visual component typically depends only on the instance-level contrastive language-image pre-training (CLIP). Our research reveals that the visual capabilities in recent multimodal LLMs (MLLMs) still exhibit systematic shortcomings. To understand the roots of these errors, we explore the gap between the visual embedding space of CLIP and vision-only self-supervised learning. We identify ''CLIP-blind pairs'' - images that CLIP perceives as similar despite their clear visual differences. With these pairs, we construct the Multimodal Visual Patterns (MMVP) benchmark. MMVP exposes areas where state-of-the-art systems, including GPT-4V, struggle with straightforward questions across nine basic visual patterns, often providing incorrect answers and hallucinated explanations. We further evaluate various CLIP-based vision-and-language models and found a notable correlation between visual patterns that challenge CLIP models and those problematic for multimodal LLMs. As an initial effort to address these issues, we propose a Mixture of Features (MoF) approach, demonstrating that integrating vision self-supervised learning features with MLLMs can significantly enhance their visual grounding capabilities. Together, our research suggests visual representation learning remains an open challenge, and accurate visual grounding is crucial for future successful multimodal systems.


title: Learning Unsupervised Semantic Document Representation for Fine-grained Aspect-based Sentiment Analysis

abstract: Document representation is the core of many NLP tasks on machine understanding. A general representation learned in an unsupervised manner reserves generality and can be used for various applications. In practice, sentiment analysis (SA) has been a challenging task that is regarded to be deeply semantic-related and is often used to assess general representations. Existing methods on unsupervised document representation learning can be separated into two families: sequential ones, which explicitly take the ordering of words into consideration, and non-sequential ones, which do not explicitly do so. However, both of them suffer from their own weaknesses. In this paper, we propose a model that overcomes difficulties encountered by both families of methods. Experiments show that our model outperforms state-of-the-art methods on popular SA datasets and a fine-grained aspect-based SA by a large margin.


title: Tracing the Quenching Journey across Cosmic Time

abstract: We present the latest version of the GAEA model of galaxy formation. Our new model combines (i) an updated treatment of AGN feedback including an improved modelling of cold gas accretion on super-massive BHs and an explicit implementation of quasar winds; and (ii) an improved modelling of cold and hot gas stripping from satellite galaxies. We show that our latest model predicts specific SFR distributions that are in remarkable agreement with observational measurements in the local Universe. Our updated model predicts quenched fractions that are in very nice agreement with data up to z~3-4, and a turn-over of the number densities of quenched galaxies at low stellar masses that is in qualitative agreement with current observational estimates. We show that the main reasons for the improved behaviour with respect to previous renditions of our model are the updated treatment for satellites at low galaxy masses (<10^10 Msun) and the inclusion of quasar winds at intermediate to large stellar masses (>10^10 Msun). However, we show that the better treatment of the star formation threshold, due to our explicit partitioning of the cold gas in its atomic and molecular components, also plays an important role in suppressing excessive residual star formation in massive galaxies. While our analysis is based on a selection of quiescent galaxies that takes advantage of the information about their SFR, we demonstrate that the impact of a different (colour-colour) selection is not significant, at least for galaxies above the completeness limits of current surveys. Our new model predicts number densities of massive quiescent galaxies at z>3 that are the largest among recently published models. Yet, our model predictions appear still to be below post-JWST observational measurements. We show that the expected cosmic variance is large, and can easily accommodate some of the most recent measurements.


title: Organic hazes as a source of life's building blocks to warm little ponds on the Hadean Earth

abstract: Over 4 billion years ago, Earth is thought to have been a hazy world akin to Saturn's moon Titan. The organic hazes in the atmosphere at this time could contain a vast inventory of life's building blocks, and thus may have seeded warm little ponds for life. In this work, we produce organic hazes in the lab in atmospheres with high (5%) and low (0.5%) CH4 abundances and analyze the solid particles for nucleobases, amino acids, and a few other organics using GC/MS/MS to obtain their concentrations. We also analyze heated (200 $^{\circ}$C) samples from the high methane organic haze experiment to simulate these particles sitting on an uninhabitable surface. Finally, we use our experimental results and estimates of atmospheric haze production as inputs for a comprehensive numerical pond model to calculate the concentrations of nucleobases from organic hazes in these environments. We find that organic hazes typically provide up to 0.2-6.5 $\mu$M concentrations of nucleobases to warm little ponds for potentially habitable Hadean conditions. However, without seepage, uracil and thymine can reach ~100 $\mu$M concentrations, which is the present lower experimental limit to react these species to form nucleotides. Heating samples leads to partial or complete decay of biomolecules, suggesting that biomolecule stockpiling on the hot surface is unlikely. The ideal conditions for the delivery of life's building blocks from organic hazes would be when the Hadean atmosphere is rich in methane, but not so rich as to create an uninhabitable surface.


title: Synthetic Observations of the Infalling Rotating Envelope: Links between the Physical Structure and Observational Features

abstract: We performed synthetic observations of the Ulrich, Cassen, and Moosman (UCM) model to understand the relation between the physical structures of the infalling envelope around a protostar and their observational features in molecular lines, adopting L1527 as an example. We also compared the physical structure and synthetic position-velocity (P-V) diagrams of the UCM model and a simple ballistic (SB) model. There are multiple ways to compare synthetic data with observational data. We first calculated the correlation coefficient. The UCM model and the SB model show similarly good correlation with the observational data. While the correlation reflects the overall similarity between the cube datasets, we can alternatively compare specific local features, such as the centrifugal barrier in the SB model or the centrifugal radius in the UCM model. We evaluated systematic uncertainties in these methods. In the case of L1527, the stellar mass values estimated using these methods are all lower than the value derived from previous Keplerian analysis of the disk. This may indicate that the gas infall motion in the envelope is retarded by, e.g., magnetic fields. We also showed analytically that, in the UCM model, the spin-up feature of the P-V diagram is due to the infall velocity rather than the rotation. The line-of-sight velocity $V$ is thus $\propto x^{-0.5}$, where $x$ is the offset. If the infall is retarded, rotational velocity should dominate so that $V$ is proportional to $x^{-1}$, as is often observed in the protostellar envelope.


title: Constraining New Physics models from $\mu\to e$ observables in bottom-up EFT

abstract: Upcoming experiments will improve the sensitivity to $\mu\to e$ processes by several orders of magnitude, and could observe lepton flavour-changing contact interactions for the first time. In this paper, we investigate what could be learned about New Physics from the measurements of these $\mu\to e$ observables, using a bottom-up effective field theory (EFT) approach and focusing on three popular models with new particles around the TeV scale (the type II seesaw, the inverse seesaw and a scalar leptoquark). We showed in a previous publication that $\mu\to e$ observables have the ability to rule out these models because none can fill the whole experimentally accessible parameter space. In this work, we give more details on our EFT formalism and present more complete results. We discuss the impact of some observables complementary to $\mu\to e$ transitions (such as the neutrino mass scale and ordering, and LFV $\tau$ decays) and draw attention to the interesting appearance of Jarlskog-like invariants in our expressions for the low-energy Wilson coefficients.


title: Stochastic Sampling of Operator Growth

abstract: We put forward a Monte Carlo algorithm which samples the Euclidean time operator growth dynamics at infinite temperature. Crucially, our approach is free of the numerical sign problem for a range of quantum many-body spin systems, allowing for numerically exact and unbiased calculations. We apply this methodological headway to study the high-frequency dynamics of the mixed-field quantum Ising model (QIM) at one and two dimensions. Our results corroborate the recently proposed operator growth hypothesis, predicting an exponential fall-off of generic response functions at large frequencies. Remarkably, our calculations are sufficiently sensitive to detect subtle logarithmic corrections of the hypothesis in one dimension. In addition, in two dimensions, we uncover a non-trivial crossover between two large frequency decay rates. Lastly, we find that the growth rate of the operator support size is dominated by boundary effects, with a logarithmic correction in one dimension.


title: A relation between $(2,2m-1)$ minimal strings and the Virasoro minimal string

abstract: We propose a connection between the newly formulated Virasoro minimal string and the well-established $(2,2m-1)$ minimal string by deriving the string equation of the Virasoro minimal string using the expansion of its density of states in powers of $E^{m+1/2}$. This string equation is expressed as a power series involving double-scaled multicritical matrix models, which are dual to $(2,2m-1)$ minimal strings. This reformulation of Virasoro minimal strings enables us to employ matrix theory tools to compute its $n$-boundary correlators. We analyze the scaling behavior of $n$-boundary correlators and quantum volumes $V^{(b)}_{0,n}(\ell_1,\dots,\ell_n)$ in the JT gravity limit.


title: Earths are not Super-Earths, Saturns are not Jupiters: Imprints of pressure-bump planet formation on planetary architectures

abstract: In protoplanetary disks, sufficiently massive planets excite pressure bumps, which can then be preferred locations for forming new planet cores. We discuss how this loop may affect the architecture of multi-planet systems, and compare our predictions with observation. Our main prediction is that low-mass planets and giant planets can each be divided into two subpopulations with different levels of mass uniformity. Low-mass planets that can and cannot reach the pebble isolation mass (the minimum mass required to produce a pressure bump) develop into intra-similar "Super-Earths" and more diverse "Earths", respectively. Gas giants that do and do not accrete envelope quickly develop into intra-similar "Jupiters" and more diverse "Saturns", respectively. Super-Earths prefer to form long chains via repeated pressure-bump planet formation, while Jupiter formation is usually terminated at pairs or triplets due to dynamical instability. These predictions are broadly consistent with observations. In particular, we discover a previously overlooked mass uniformity dichotomy among the observed populations of both low-mass planets (Earths vs. Super-Earths) and gas giants (Saturns vs. Jupiters). For low-mass planets, planets well below the pebble isolation mass ($\lesssim 3M_\oplus$ or $\lesssim 1.5 R_\oplus$ for sun-like stars) show significantly higher intra-system pairwise mass difference than planets around the pebble isolation mass. For gas giants, the period ratios of intra-system pairs show a bimodal distribution, which can be interpreted as two subpopulations with different levels of mass uniformity. These findings suggest that pressure-bump planet formation could be an important ingredient in shaping planetary architectures.


title: Spectra in Khovanov and knot Floer theories

abstract: These notes provide an introduction to the stable homotopy types in Khovanov theory (due to Lipshitz-Sarkar) and in knot Floer theory (due to Manolescu-Sarkar). They were written following a lecture series given by Sucharit Sarkar at the Renyi Institute during a special semester on "Singularities and low-dimensional topology", organised by the Erdos Center.


title: Inducing $\mathbb{Z}_2$ Topology in Twisted Nodal Superconductors

abstract: Twisted nodal superconductors have been shown to exhibit chiral topological superconductivity under broken time-reversal symmetry. Here we show how a time-reversal preserving topological superconductivity can be induced in nodal triplet superconductor multilayers. For a bilayer system, the application of a Josephson spin current in triplet superconductors induces a non-zero spin Chern number per node in momentum space. However, we show that stabilizing a nontrivial global $\mathbb{Z}_2$ invariant requires an odd number of layers. As a specific example we consider trilayers with three forms of twist: chiral, alternating and single-layer. For chiral and single-layer case, we find that a gap opening in the dispersion leads to a non-trivial $\mathbb{Z}_2$ topological invariant. For single layer twists, we show how this invariant is non-trivial when extended to an arbitrary odd number of layers.


title: On the Random Matrix Model of the Virasoro Minimal String

abstract: The model of two dimensional quantum gravity defining the "Virasoro Minimal String", presented recently by Collier, Eberhardt, M\"{u}hlmann, and Rodriguez, was also shown to be perturbatively (in topology) equivalent to a random matrix model. An alternative definition is presented here, in terms of double-scaled orthogonal polynomials, thereby allowing direct access to non-perturbative physics. Already at leading order, the defining string equation's properties yield valuable information about the non-perturbative fate of the model, confirming that the case $(c{=}25,{\hat c}{=}1)$ (central charges of spacelike and timelike Liouville sectors) is special, by virtue of sharing certain key features of the ${\cal N}{=}1$ supersymmetric JT gravity string equation. Solutions of the full string equation are constructed using a special limit, and the (Cardy) spectral density is completed to all genus and beyond. The distributions of the underlying discrete spectra are readily accessible too, as is the spectral form factor. Some examples of these are exhibited.


title: Constraining dark energy with the integrated Sachs-Wolfe effect

abstract: We use the integrated Sachs-Wolfe (ISW) effect, by now detectable at $\sim 5\sigma$ within the context of $\Lambda{}$CDM cosmologies, to place strong constraints on dynamical dark energy theories. Working within an effective field theory framework for dark energy we find that including ISW constraints from galaxy-CMB cross-correlations significantly strengthens existing large-scale structure constraints, yielding bounds consistent with $\Lambda{}$CDM and approximately reducing the viable parameter space by $\sim 70\%$. This is a direct consequence of ${\cal O}(1)$ changes induced in these cross-correlations by otherwise viable dark energy models, which we discuss in detail. We compute constraints by adapting the $\Lambda{}$CDM ISW likelihood from [1] for dynamical dark energy models using galaxy data from 2MASS, WISE $\times$ SuperCOSMOS, SDSS-DR12, QSOs and NVSS, CMB data from Planck 18, and BAO and RSD large scale structure measurements from BOSS and 6dF. We show constraints both in terms of EFT-inspired $\alpha_i$ and phenomenological $\mu/\Sigma$ parametrisations. Furthermore we discuss the approximations involved and related aspects of bias modelling in detail and highlight what these constraints imply for the underlying dark energy theories.


title: Engineering One Axis Twisting via a Dissipative Berry Phase Using Strong Symmetries

abstract: We show how a driven-dissipative cavity coupled to a collective ensemble of atoms can dynamically generate metrologically useful spin-squeezed states. In contrast to other dissipative approaches, we do not rely on complex engineered dissipation or input states, nor do we require tuning the system to a critical point. Instead, we utilize a strong symmetry, a special type of symmetry that can occur in open quantum systems and emerges naturally in systems with collective dissipation, such as superradiance. This symmetry preserves coherence and allows for the accumulation of an atom number-dependent Berry phase which in turn creates spin-squeezed states via emergent one-axis twisting dynamics. This work shows that it is possible to generate entanglement in an atom-cavity resonant regime with macroscopic optical excitations of the system, going beyond the typical dispersive regime with negligible optical excitations often utilized in current cavity QED experiments.


title: Production of Martian fiber by in-situ resource utilization strategy

abstract: Many countries and commercial organizations have shown great interest in constructing Martian base. In-situ resource utilization (ISRU) provides a cost-effective way to achieve this ambitious goal. In this paper, we proposed to use Martian soil simulant to produce fiber to satisfy material requirement for the construction of Martian base. The composition, melting behavior and fiber forming process of soil simulant was studied, and continuous fiber with a maximum strength of 1320 MPa was obtained on a spinning facility. The findings of this study demonstrate the feasibility of ISRU to prepare Martian fiber from the soil on the Mars, offering a new way to get key materials for the construction of Martian base.


title: Leveraging Frequency Domain Learning in 3D Vessel Segmentation

abstract: Coronary microvascular disease constitutes a substantial risk to human health. Employing computer-aided analysis and diagnostic systems, medical professionals can intervene early in disease progression, with 3D vessel segmentation serving as a crucial component. Nevertheless, conventional U-Net architectures tend to yield incoherent and imprecise segmentation outcomes, particularly for small vessel structures. While models with attention mechanisms, such as Transformers and large convolutional kernels, demonstrate superior performance, their extensive computational demands during training and inference lead to increased time complexity. In this study, we leverage Fourier domain learning as a substitute for multi-scale convolutional kernels in 3D hierarchical segmentation models, which can reduce computational expenses while preserving global receptive fields within the network. Furthermore, a zero-parameter frequency domain fusion method is designed to improve the skip connections in U-Net architecture. Experimental results on a public dataset and an in-house dataset indicate that our novel Fourier transformation-based network achieves remarkable dice performance (84.37\% on ASACA500 and 80.32\% on ImageCAS) in tubular vessel segmentation tasks and substantially reduces computational requirements without compromising global receptive fields.


title: Robust Cloud Suppression and Anomaly Detection in Time-lapse Thermography

abstract: Due to their transient nature, clouds represent anomalies relative to the underlying landscape of interest. Hence, the challenge of cloud identification can be considered a specific case in the more general problem of anomaly detection. The confounding effects of transient anomalies are particularly troublesome for spatiotemporal analysis of land surface processes. Spatiotemporal characterization provides a statistical basis to quantify the most significant temporal patterns and their spatial distributions without the need for a priori assumptions about the form, amplitude or timing of the observed changes. The objective of this study is to implement and evaluate a robust approach to distinguish clouds and other transient anomalies from diurnal and annual thermal cycles observed with time-lapse thermography. The approach uses Robust Principal Component Analysis (RPCA) to statistically distinguish low rank and sparse components of the land surface temperature image time series, followed by a spatiotemporal characterization of the L component time series to quantify the dominant diurnal and annual thermal cycles in the study area. The RPCA effectively segregated clouds, sensor anomalies, swath gaps, geospatial displacements and transient thermal anomalies into the sparse component time series. Spatiotemporal characterization of the low rank component time series clearly resolves a variety of diurnal and annual thermal cycles for different land covers and water bodies.


title: Learning Crowd Behaviors in Navigation with Attention-based Spatial-Temporal Graphs

abstract: Safe and efficient navigation in dynamic environments shared with humans remains an open and challenging task for mobile robots. Previous works have shown the efficacy of using reinforcement learning frameworks to train policies for efficient navigation. However, their performance deteriorates when crowd configurations change, i.e. become larger or more complex. Thus, it is crucial to fully understand the complex, dynamic, and sophisticated interactions of the crowd resulting in proactive and foresighted behaviors for robot navigation. In this paper, a novel deep graph learning architecture based on attention mechanisms is proposed, which leverages the spatial-temporal graph to enhance robot navigation. We employ spatial graphs to capture the current spatial interactions, and through the integration with RNN, the temporal graphs utilize past trajectory information to infer the future intentions of each agent. The spatial-temporal graph reasoning ability allows the robot to better understand and interpret the relationships between agents over time and space, thereby making more informed decisions. Compared to previous state-of-the-art methods, our method demonstrates superior robustness in terms of safety, efficiency, and generalization in various challenging scenarios.


title: Bath-engineering magnetic order in quantum spin chains: An analytic mapping approach

abstract: Dissipative processes can drive different magnetic orders in quantum spin chains. Using a non-perturbative analytic mapping framework, we systematically show how to structure different magnetic orders in spin systems by controlling the locality of the attached baths. Our mapping approach reveals analytically the impact of spin-bath couplings, leading to the suppression of spin splittings, bath-dressing and mixing of spin-spin interactions, and emergence of non-local ferromagnetic interactions between spins coupled to the same bath, which become long-ranged for a global bath. Our general mapping method can be readily applied to a variety of spin models: We demonstrate (i) a bath-induced transition from antiferromangnetic (AFM) to ferromagnetic ordering in a Heisenberg spin chain, (ii) AFM to extended Neel phase ordering within a transverse-field Ising chain with pairwise couplings to baths, and (iii) a quantum phase transition in the fully-connected Ising model. Our method is non-perturbative in the system-bath coupling. It holds for a variety of non-Markovian baths and it can be readily applied towards studying bath-engineered phases in frustrated or topological materials.


title: The Combinatorics of Motzkin Polyominoes

abstract: A word $w=w_1\cdots w_n$ over the set of positive integers is a Motzkin word whenever $w_1=\texttt{1}$, $1\leq w_k\leq w_{k-1}+1$, and $w_{k-1}\neq w_{k}$ for $k=2, \dots, n$. It can be associated to a $n$-column Motzkin polyomino whose $i$-th column contains $w_i$ cells, and all columns are bottom-justified. We reveal bijective connections between Motzkin paths, restricted Catalan words, primitive \L{}ukasiewicz paths, and Motzkin polyominoes. Using the aforementioned bijections together with classical one-to-one correspondence with Dyck paths avoiding $UDU$s, we provide generating functions with respect to the length, area, semiperimeter, value of the last symbol, and number of interior points of Motzkin polyominoes. We give asymptotics and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points over all Motzkin polyominoes of a given length. We also present and prove an engaging trinomial relation concerning the number of cells lying at different levels and first terms of the expanded $(1+x+x^2)^n$.


title: Bayesian estimation of a 1D hydrodynamic model in a tidal river: Application to the Lower Seine River, France

abstract: Monitoring water stage and discharge at hydrometric stations is essential for flood characterization and prediction. Continuous measurement is feasible for stage records, whereas discharge must be calculated, typically using a rating curve. Several methods have been developed, such as surface velocity measurement or rating curve methods. Nevertheless, hydrometric stations may be influenced by tidal fluctuations, leading to transient flow conditions that can disrupt the stage-discharge relation, complicating the accurate estimation of discharge. In the case of a quasi-unsteady flow, the dynamic can be managed by a relationship between water level, elevation, and discharge based on the Manning-Strickler formula and measurements of water level and slope of the waterline. However, in unsteady flow, when tidal effects are pronounced, these types of relationships and their variations have proven to be less effective. To capture the complex flow dynamics, including flow reversal, an approach via a 1D hydrodynamic model is proposed. Here, model estimation refers to estimating the posterior distribution of parameters and the structural error model.To set up the model, the cross-sectional geometry, friction coefficient, upstream discharge(s), and downstream water level are necessary. In hydrodynamic modeling, the friction coefficients, often represented through a set of Strickler coefficients, are the main calibration parameter, but manual calibration is difficult due to spatial variations in roughness combined with unsteady flow. Furthermore, understanding and quantifying uncertainties associated with data and the model are an important step in the calibration process. Therefore, automatic calibration of friction coefficients is proposed through Bayesian inference.In terms of numerical tools, the 1D hydrodynamic code used here is Mage, developed by INRAE, which solves the 1D Saint-Venant equations for river flows and transients. However, the proposed method is not specific to a given simulation code: it can be applied to any usual 1D hydrodynamic code. Bayesian calibration is performed using the software BaM! (Bayesian modeling: https://github.com/BaM-tools), which allows specifying prior information on model parameters (in this case, friction coefficients) to then estimate them with associated uncertainties, using observations themselves with their uncertainties (not only water levels but also gauging campaigns).


title: WISE: full-Waveform variational Inference via Subsurface Extensions

abstract: We introduce a probabilistic technique for full-waveform inversion, employing variational inference and conditional normalizing flows to quantify uncertainty in migration-velocity models and its impact on imaging. Our approach integrates generative artificial intelligence with physics-informed common-image gathers, reducing reliance on accurate initial velocity models. Considered case studies demonstrate its efficacy producing realizations of migration-velocity models conditioned by the data. These models are used to quantify amplitude and positioning effects during subsequent imaging.

categories: physics.geo-ph cs.AI cs.LG eess.SP stat.AP


title: Localized Gradual Photomediated Brightness and Lifetime Increase of Superacid Treated Monolayer MoS$_2$

abstract: Monolayer semiconducting transition metal dichalcogenides (S-TMDs) have been extensively studied as materials for next-generation optoelectronic devices due to their direct band gap and high exciton binding energy at room temperature. Under a superacid treatment of bis(trifluoromethane)sulfonimide (TFSI), sulfur-based TMDs such as MoS$_2$ can emit strong photoluminescence (PL) with photoluminescence quantum yield (PLQY) approaching unity. However, the magnitude of PL enhancement varies by more than two orders of magnitude in published reports. A major culprit behind the discrepancy is sulfur-based TMD's sensitivity to above band-gap photostimulation. Here, we present a detailed study of how TFSI-treated MoS$_2$ reacts to photostimulation with increasing PL occurring hours after constant or pulsed laser exposure. The PL of TFSI-treated MoS$_2$ is enhanced up to 74 times its initial intensity after 5 hours of continuous exposure to 532nm laser light. Photostimulation also enhances the PL of untreated MoS$_2$ but with a much smaller enhancement. Caution should be taken when probing MoS$_2$ PL spectra as above-bandgap light can alter the resulting intensity and peak wavelength of the emission over time. The presence of air is verified to play a key role in the photostimulated enhancement effect. Additionally, the rise of PL intensity is mirrored by an increase in measured carrier lifetime of up to ~400ps consistent with the suppression of non-radiative pathways. This work demonstrates why variations in PL intensity are observed across samples and provides an understanding of the changes in carrier lifetimes to better engineer next-generation optoelectronic devices.


title: Crowding-Regulated Binding of Divalent Biomolecules

abstract: Macromolecular crowding affects biophysical processes as diverse as diffusion, gene expression, cell growth, and senescence. Yet, there is no comprehensive understanding of how crowding affects reactions, particularly multivalent binding. Herein, we use scaled particle theory and develop a molecular simulation method to investigate the binding of monovalent to divalent biomolecules. We find that crowding can increase or reduce cooperativity--the extent to which the binding of a second molecule is enhanced after binding a first molecule--by orders of magnitude, depending on the sizes of the involved molecular complexes. Cooperativity generally increases when a divalent molecule swells and then shrinks upon binding two ligands. Our calculations also reveal that, in some cases, crowding enables binding that does not occur otherwise. As an immunological example, we consider Immunoglobulin G-antigen binding and show that crowding enhances its cooperativity in bulk but reduces it when an Immunoglobulin G binds antigens on a surface.


title: LEGOBench: Scientific Leaderboard Generation Benchmark

abstract: The ever-increasing volume of paper submissions makes it difficult to stay informed about the latest state-of-the-art research. To address this challenge, we introduce LEGOBench, a benchmark for evaluating systems that generate scientific leaderboards. LEGOBench is curated from 22 years of preprint submission data on arXiv and more than 11k machine learning leaderboards on the PapersWithCode portal. We present four graph-based and two language model-based leaderboard generation task configurations. We evaluate popular encoder-only scientific language models as well as decoder-only large language models across these task configurations. State-of-the-art models showcase significant performance gaps in automatic leaderboard generation on LEGOBench. The code is available on GitHub ( https://github.com/lingo-iitgn/LEGOBench ) and the dataset is hosted on OSF ( https://osf.io/9v2py/?view_only=6f91b0b510df498ba01595f8f278f94c ).


title: The Shapley Value in Database Management

abstract: Attribution scores can be applied in data management to quantify the contribution of individual items to conclusions from the data, as part of the explanation of what led to these conclusions. In Artificial Intelligence, Machine Learning, and Data Management, some of the common scores are deployments of the Shapley value, a formula for profit sharing in cooperative game theory. Since its invention in the 1950s, the Shapley value has been used for contribution measurement in many fields, from economics to law, with its latest researched applications in modern machine learning. Recent studies investigated the application of the Shapley value to database management. This article gives an overview of recent results on the computational complexity of the Shapley value for measuring the contribution of tuples to query answers and to the extent of inconsistency with respect to integrity constraints. More specifically, the article highlights lower and upper bounds on the complexity of calculating the Shapley value, either exactly or approximately, as well as solutions for realizing the calculation in practice.


title: Phenomenology of particle creation in Weyl geometry

abstract: Short review of the Weyl geometry is given. To describe the phenomenological particle creation we suggest the modified perfect fluid model taking into account the back reaction on the geometry of both the already created particles and the very process of their creation. It is found that the relation for particle creation is conformal invariant. This requires the creation law consisting of the source terms as the Weyl Lagrangian plus two quite new terms depending of the particle number density.


title: Density-Matrix Mean-Field Theory

abstract: Mean-field theories have proven to be efficient tools for exploring various phases of matter, complementing alternative methods that are more precise but also more computationally demanding. Conventional mean-field theories often fall short in capturing quantum fluctuations, which restricts their applicability to systems characterized by strong quantum fluctuations. In this article, we propose a novel mean-field theory, density-matrix mean-field theory (DMMFT). DMMFT constructs effective Hamiltonians, incorporating quantum environments shaped by entanglements quantified by the reduced density matrices. Therefore, it offers a systematic and unbiased approach to account for effects of fluctuations and entanglements in quantum ordered phases. As demonstrative examples, we show that DMMFT can not only quantitatively evaluate the renormalization of order parameters induced by quantum fluctuations but can even detect the topological order of quantum phases. Additionally, we discuss the extensions of DMMFT for systems at finite temperatures and those with disorders. Our work provides a novel and efficient approach to explore phases exhibiting unconventional quantum orders, which can be particularly beneficial for investigating frustrated spin systems in high spatial dimensions.


title: Singular elliptic equations having a gradient term with natural growth

abstract: We study a class of Dirichlet boundary value problems whose prototype is \begin{equation}\label{1.2abs} \left\{\begin{array}{ll} -\Delta_p u =h(u)|\nabla u|^p+u^{q-1}+f(x)\, &\quad\hbox{in } \ \Omega\,,\\ u\ge 0\,,&{\quad\hbox{in } \ \Omega}\\ u = 0\,&\quad\hbox{on }\partial \Omega\,,\end{array}\right. \end{equation} where $\Omega$ an open bounded subset of $\mathbb R^N$, $0<q<1$, $1<p<N$, $h$ is a continuous function and $f$ belongs to a suitable Lebesgue space. The main features of this problem are the presence of a singular term and a first order term with natural growth in the gradient. A priori estimates and existence results are proved depending on the summability of the datum $f$.


title: HiPhom$\varepsilon$ -: HIgh order Projection-based HOMogenisation for advection diffusion reaction problems

abstract: We propose a new model reduction technique for multiscale scalar transport problems that exhibit dominant axial dynamics. To this aim, we rely on the separation of variables to combine a Hierarchical Model (HiMod) reduction with a two-scale asymptotic expansion. We extend the two-scale asymptotic expansion to an arbitrary order and exploit the high-order correctors to define the HiMod modal basis, which approximates the transverse dynamics of the flow, while we adopt a finite element discretisation to model the leading stream. The resulting method, which is named HiPhom$\varepsilon$ (HIgh-order Projection-based HOMogEnisation), is successfully assessed both in steady and unsteady advection-diffusion-reaction settings. The numerical results confirm the very good performance of HiPhom$\varepsilon$, which improves the accuracy and the convergence rate of HiMod and extends the reliability of the standard homogenised solution to transient and pre-asymptotic regimes.


title: Polynomial slow-fast systems on the Poincar\'e-Lyapunov sphere

abstract: The main goal of this paper is to study compactifications of polynomial slow-fast systems. More precisely, the aim is to give conditions in order to guarantee normal hyperbolicity at infinity of the Poincar\'e-Lyapunov sphere for slow-fast systems defined in $\mathbb{R}^{n}$. For the planar case, we prove a global version of the Fenichel Theorem, which assures the persistence of invariant manifolds in the whole Poincar\'e-Lyapunov disk. We also discuss the appearence of non normally hyperbolic points at infinity, namely: fold, transcritical and pitchfork singularities.


title: Quantum eigenvalue processing

abstract: Many problems in linear algebra -- such as those arising from non-Hermitian physics and differential equations -- can be solved on a quantum computer by processing eigenvalues of the non-normal input matrices. However, the existing Quantum Singular Value Transformation (QSVT) framework is ill-suited to this task, as eigenvalues and singular values are different in general. We present a Quantum EigenValue Transformation (QEVT) framework for applying arbitrary polynomial transformations on eigenvalues of block-encoded non-normal operators, and a related Quantum EigenValue Estimation (QEVE) algorithm for operators with real spectra. QEVT has query complexity to the block encoding nearly recovering that of the QSVT for a Hermitian input, and QEVE achieves the Heisenberg-limited scaling for diagonalizable input matrices. As applications, we develop a linear differential equation solver with strictly linear time query complexity for average-case diagonalizable operators, as well as a ground state preparation algorithm that upgrades previous nearly optimal results for Hermitian Hamiltonians to diagonalizable matrices with real spectra. Underpinning our algorithms is an efficient method to prepare a quantum superposition of Faber polynomials, which generalize the nearly-best uniform approximation properties of Chebyshev polynomials to the complex plane. Of independent interest, we also develop techniques to generate $n$ Fourier coefficients with $\mathbf{O}(\mathrm{polylog}(n))$ gates compared to prior approaches with linear cost.

categories: quant-ph cs.DS cs.NA math.NA physics.chem-ph


title: Uniqueness of addition in Lie algebras revisited

abstract: We obtain new and improve old results on uniqueness of addition in Lie rings and Lie algebras. A Lie ring $\mathfrak{R}$ is called a unique addition ring, or a UA-Lie ring, if any commutator-preserving bijection from $\mathfrak{R}$ to an arbitrary Lie ring is additive. We describe wide classes of Lie rings that are not UA-Lie ring. In the other direction, it is known that if a finite-dimensional Lie algebra $\mathfrak{g}$ contains two elements whose centralizers have trivial intersection, then $\mathfrak{g}$ is a UA-Lie ring. We use this result to characterize UA-Lie rings among seaweed Lie algebras. The paper includes many open problems and questions.


title: Testing Cosmic-Ray Propagation Scenarios with AMS-02 and Voyager Data

abstract: AMS-02 on board the ISS provides precise measurements of Cosmic Rays (CR) near Earth, while Voyager measures CR in the local interstellar medium, beyond the effects of solar modulation. Based on these data, we test and revise various CR propagation scenarios under standard assumptions: pure diffusion, diffusion with convection, diffusion with reacceleration, and diffusion with reacceleration and convection. We report on the scenarios' performance against CR measurements, aiming to limit the number of model parameters as much as possible. For each scenario we find parameters that are able to reproduce Voyager and AMS-02 data for the entire energy band for all the CR species tested. Above several GV we observe a similar injection spectral index for He and C, with He harder than H. Some scenarios previously disfavored are now reconsidered. For example, contrary to usual assumptions, we find that the pure diffusion scenario does not need an upturn in the diffusion coefficient at low energy, while it needs the same number of low-energy breaks in the injection spectrum as diffusive-reacceleration scenarios. We show that scenarios differ in modeled spectra of one order of magnitude for positrons at around 1 GeV and of a factor of 2 for antiprotons at several GV. The force-field approximation describes well the AMS-02 and Voyager spectra analyzed, except antiprotons. We confirm the excess around 10 GeV in the antiproton spectrum for all scenarios. Also, for all scenarios, the resulting solar modulation should be stronger for positrons than for nuclei, with reacceleration models requiring much larger modulation.


title: Modularis: Modular Underwater Robot for Rapid Development and Validation of Autonomous Systems

abstract: Autonomous underwater robots typically require higher cost and time for demonstrations compared to other domains due to the complexity of the environment. Due to the limited capacity and payload flexibility, it is challenging to find off-the-shelf underwater robots that are affordable, customizable, and subject to environmental variability. Custom-built underwater robots may be necessary for specialized applications or missions, but the process can be more costly and time-consuming than purchasing an off-the-shelf autonomous underwater vehicle (AUV). To address these challenges, we propose a modular underwater robot, Modularis, that can serve as an open-source testbed system. Our proposed system expedites the testing of perception, planning, and control algorithms.


title: YOLO-Former: YOLO Shakes Hand With ViT

abstract: The proposed YOLO-Former method seamlessly integrates the ideas of transformer and YOLOv4 to create a highly accurate and efficient object detection system. The method leverages the fast inference speed of YOLOv4 and incorporates the advantages of the transformer architecture through the integration of convolutional attention and transformer modules. The results demonstrate the effectiveness of the proposed approach, with a mean average precision (mAP) of 85.76\% on the Pascal VOC dataset, while maintaining high prediction speed with a frame rate of 10.85 frames per second. The contribution of this work lies in the demonstration of how the innovative combination of these two state-of-the-art techniques can lead to further improvements in the field of object detection.


title: Distributed Optimal Output Consensus Control of Heterogeneous Multi-Agent Systems with Safety Constraints

abstract: In this paper, we develop a novel dynamic distributed optimal safe consensus protocol to simultaneously achieve safety requirements and output optimal consensus. Specifically, we construct a distributed projection optimization algorithm with an expanding constraint set in the decision-making layer, while we propose a reference tracking safety controller to ensure that each agent's output remains within a shrinking safety set in the control layer.We also establish the convergence and safety analysis of the closed-loop system using the small-gain theorem and time-varying control barrier function (CBF) theory, respectively. Besides, unlike previous works on distributed optimal consensus, our approach does not require prior knowledge of the local objective or gradient function and adopts a mild assumption on the dynamics of multiagent systems (MASs) by using the transmission zeros condition.


title: Solid-state continuous time crystal with a built-in clock

abstract: Time crystals (TCs) are many-body systems displaying spontaneous breaking of time translation symmetry. Here, we demonstrate a TC using driven-dissipative condensates of microcavity exciton-polaritons, spontaneously formed from an incoherent particle bath. In contrast to other realizations, the TC phases can be controlled by the power of continuous-wave non-resonant optical drive exciting the condensate and optomechanical interactions with phonons. Those phases are for increasing power: (i) Larmor precession of pseudo-spins - a signature of continuous TC, (ii) locking of the frequency of precession to self-sustained coherent phonons - stabilized TC, (iii) doubling of TC frequency by phonons - a discrete TC with continuous excitation. These results establish microcavity polaritons as a platform for the investigation of time-broken symmetry in non-hermitian systems.


title: Trickery: Educational Dark Pattern Analogies for Use in Serious Games

abstract: Dark patterns are often used in interface design to manipulate users into performing actions they would otherwise not take, such as consenting to excessive data collection. We present a narrative serious game concept, along with seven educational dark pattern analogies designed to create awareness of and bolster resistance against dark patterns through direct consequences of player actions. We performed a qualitative laboratory gameplay study investigating player behavior when confronted with educational dark pattern analogies in a serious game and an online survey study evaluating the perceived helpfulness of our educational dark pattern analogies. Our results provide insights into influencing factors for adapting dark patterns into gameplay, as well as player motivations and driving forces influencing player behavior, and show educational dark patterns to be a promising solution to increase user understanding of dark pattern concepts.


title: Simulating diffusion bridges using the Wiener chaos expansion

abstract: In this paper, we simulate diffusion bridges by using an approximation of the Wiener-chaos expansion (WCE), or a Fourier-Hermite expansion, for a related diffusion process. Indeed, we consider the solution of stochastic differential equations, and we apply the WCE to a particular representation of the diffusion bridge. Thus, we obtain a method to simulate the proposal diffusion bridges that is fast and that in every attempt constructs a diffusion bridge, which means there are no rejection rates. The method presented in this work could be very useful in statistical inference. We validate the method with a simple Ornstein-Uhlenbeck process. We apply our method to three examples of SDEs and show the numerical results.