title: Policy Iteration for Pareto-Optimal Policies in Stochastic Stackelberg Games

abstract: In general-sum stochastic games, a stationary Stackelberg equilibrium (SSE) does not always exist, in which the leader maximizes leader's return for all the initial states when the follower takes the best response against the leader's policy. Existing methods of determining the SSEs require strong assumptions to guarantee the convergence and the coincidence of the limit with the SSE. Moreover, our analysis suggests that the performance at the fixed points of these methods is not reasonable when they are not SSEs. Herein, we introduced the concept of Pareto-optimality as a reasonable alternative to SSEs. We derive the policy improvement theorem for stochastic games with the best-response follower and propose an iterative algorithm to determine the Pareto-optimal policies based on it. Monotone improvement and convergence of the proposed approach are proved, and its convergence to SSEs is proved in a special case.


title: DrugLLM: Open Large Language Model for Few-shot Molecule Generation

abstract: Large Language Models (LLMs) have made great strides in areas such as language processing and computer vision. Despite the emergence of diverse techniques to improve few-shot learning capacity, current LLMs fall short in handling the languages in biology and chemistry. For example, they are struggling to capture the relationship between molecule structure and pharmacochemical properties. Consequently, the few-shot learning capacity of small-molecule drug modification remains impeded. In this work, we introduced DrugLLM, a LLM tailored for drug design. During the training process, we employed Group-based Molecular Representation (GMR) to represent molecules, arranging them in sequences that reflect modifications aimed at enhancing specific molecular properties. DrugLLM learns how to modify molecules in drug discovery by predicting the next molecule based on past modifications. Extensive computational experiments demonstrate that DrugLLM can generate new molecules with expected properties based on limited examples, presenting a powerful few-shot molecule generation capacity.


title: Fleet of Agents: Coordinated Problem Solving with Large Language Models using Genetic Particle Filtering

abstract: Large language models (LLMs) have significantly evolved, moving from simple output generation to complex reasoning and from stand-alone usage to being embedded into broader frameworks. In this paper, we introduce \emph{Fleet of Agents (FoA)}, a novel framework utilizing LLMs as agents to navigate through dynamic tree searches, employing a genetic-type particle filtering approach. FoA spawns a multitude of agents, each exploring autonomously, followed by a selection phase where resampling based on a heuristic value function optimizes the balance between exploration and exploitation. This mechanism enables dynamic branching, adapting the exploration strategy based on discovered solutions. We experimentally validate FoA using two benchmark tasks, "Game of 24" and "Mini-Crosswords". FoA outperforms the previously proposed Tree-of-Thoughts method in terms of efficacy and efficiency: it significantly decreases computational costs (by calling the value function less frequently) while preserving comparable or even superior accuracy.


title: Analyzing Language Bias Between French and English in Conventional Multilingual Sentiment Analysis Models

abstract: Inspired by the 'Bias Considerations in Bilingual Natural Language Processing' report by Statistics Canada, this study delves into potential biases in multilingual sentiment analysis between English and French. Given a 50-50 dataset of French and English, we aim to determine if there exists a language bias and explore how the incorporation of more diverse datasets in the future might affect the equity of multilingual Natural Language Processing (NLP) systems. By employing Support Vector Machine (SVM) and Naive Bayes models on three balanced datasets, we reveal potential biases in multilingual sentiment classification. Utilizing Fairlearn, a tool for assessing bias in machine learning models, our findings indicate nuanced outcomes. With French data outperforming English across accuracy, recall, and F1 score metrics in both models, hinting at a language bias favoring French. However, Fairlearn's metrics suggest that the SVM approaches equitable levels with a demographic parity ratio of 0.963, 0.989, and 0.985 for the three separate datasets, indicating near-equitable treatment across languages. In contrast, Naive Bayes demonstrates greater disparities, evidenced by a demographic parity ratio of 0.813, 0.908, and 0.961. These findings reveal the importance of developing equitable multilingual NLP systems, particularly as we anticipate the inclusion of more datasets in various languages in the future.


title: SurfPro: Functional Protein Design Based on Continuous Surface

abstract: How can we design proteins with desired functions? We are motivated by a chemical intuition that both geometric structure and biochemical properties are critical to a protein's function. In this paper, we propose SurfPro, a new method to generate functional proteins given a desired surface and its associated biochemical properties. SurfPro comprises a hierarchical encoder that progressively models the geometric shape and biochemical features of a protein surface, and an autoregressive decoder to produce an amino acid sequence. We evaluate SurfPro on a standard inverse folding benchmark CATH 4.2 and two functional protein design tasks: protein binder design and enzyme design. Our SurfPro consistently surpasses previous state-of-the-art inverse folding methods, achieving a recovery rate of 57.78% on CATH 4.2 and higher success rates in terms of protein-protein binding and enzyme-substrate interaction scores.


title: SUTRA: Scalable Multilingual Language Model Architecture

abstract: In this paper, we introduce SUTRA, multilingual Large Language Model architecture capable of understanding, reasoning, and generating text in over 50 languages. SUTRA's design uniquely decouples core conceptual understanding from language-specific processing, which facilitates scalable and efficient multilingual alignment and learning. Employing a Mixture of Experts framework both in language and concept processing, SUTRA demonstrates both computational efficiency and responsiveness. Through extensive evaluations, SUTRA is demonstrated to surpass existing models like GPT-3.5, Llama2 by 20-30% on leading Massive Multitask Language Understanding (MMLU) benchmarks for multilingual tasks. SUTRA models are also online LLMs that can use knowledge from the internet to provide hallucination-free, factual and up-to-date responses while retaining their multilingual capabilities. Furthermore, we explore the broader implications of its architecture for the future of multilingual AI, highlighting its potential to democratize access to AI technology globally and to improve the equity and utility of AI in regions with predominantly non-English languages. Our findings suggest that SUTRA not only fills pivotal gaps in multilingual model capabilities but also establishes a new benchmark for operational efficiency and scalability in AI applications.


title: Utilizing Large Language Models to Generate Synthetic Data to Increase the Performance of BERT-Based Neural Networks

abstract: An important issue impacting healthcare is a lack of available experts. Machine learning (ML) models could resolve this by aiding in diagnosing patients. However, creating datasets large enough to train these models is expensive. We evaluated large language models (LLMs) for data creation. Using Autism Spectrum Disorders (ASD), we prompted ChatGPT and GPT-Premium to generate 4,200 synthetic observations to augment existing medical data. Our goal is to label behaviors corresponding to autism criteria and improve model accuracy with synthetic training data. We used a BERT classifier pre-trained on biomedical literature to assess differences in performance between models. A random sample (N=140) from the LLM-generated data was evaluated by a clinician and found to contain 83% correct example-label pairs. Augmenting data increased recall by 13% but decreased precision by 16%, correlating with higher quality and lower accuracy across pairs. Future work will analyze how different synthetic data traits affect ML outcomes.


title: Multi-level Shared Knowledge Guided Learning for Knowledge Graph Completion

abstract: In the task of Knowledge Graph Completion (KGC), the existing datasets and their inherent subtasks carry a wealth of shared knowledge that can be utilized to enhance the representation of knowledge triplets and overall performance. However, no current studies specifically address the shared knowledge within KGC. To bridge this gap, we introduce a multi-level Shared Knowledge Guided learning method (SKG) that operates at both the dataset and task levels. On the dataset level, SKG-KGC broadens the original dataset by identifying shared features within entity sets via text summarization. On the task level, for the three typical KGC subtasks - head entity prediction, relation prediction, and tail entity prediction - we present an innovative multi-task learning architecture with dynamically adjusted loss weights. This approach allows the model to focus on more challenging and underperforming tasks, effectively mitigating the imbalance of knowledge sharing among subtasks. Experimental results demonstrate that SKG-KGC outperforms existing text-based methods significantly on three well-known datasets, with the most notable improvement on WN18RR.


title: Automated Conversion of Static to Dynamic Scheduler via Natural Language

abstract: In this paper, we explore the potential application of Large Language Models (LLMs) that will automatically model constraints and generate code for dynamic scheduling problems given an existing static model. Static scheduling problems are modelled and coded by optimization experts. These models may be easily obsoleted as the underlying constraints may need to be fine-tuned in order to reflect changes in the scheduling rules. Furthermore, it may be necessary to turn a static model into a dynamic one in order to cope with disturbances in the environment. In this paper, we propose a Retrieval-Augmented Generation (RAG) based LLM model to automate the process of implementing constraints for Dynamic Scheduling (RAGDyS), without seeking help from an optimization modeling expert. Our framework aims to minimize technical complexities related to mathematical modelling and computational workload for end-users, thereby allowing end-users to quickly obtain a new schedule close to the original schedule with changes reflected by natural language constraint descriptions.


title: Optimizing Viscous Democracy

abstract: Viscous democracy is a generalization of liquid democracy, a social choice framework in which voters may transitively delegate their votes. In viscous democracy, a "viscosity" factor decreases the weight of a delegation the further it travels, reducing the chance of excessive weight flowing between ideologically misaligned voters. We demonstrate that viscous democracy often significantly improves the quality of group decision-making over liquid democracy. We first show that finding optimal delegations within a viscous setting is NP-hard. However, simulations allow us to explore the practical effects of viscosity. Across social network structures, competence distributions, and delegation mechanisms we find high viscosity reduces the chance of "super-voters" attaining large amounts of weight and increases the number of voters that are able to affect the outcome of elections. This, in turn, improves group accuracy as a whole. As a result, we argue that viscosity should be considered a core component of liquid democracy.


title: ChatSOS: Vector Database Augmented Generative Question Answering Assistant in Safety Engineering

abstract: With the rapid advancement of natural language processing technologies, generative artificial intelligence techniques, represented by large language models (LLMs), are gaining increasing prominence and demonstrating significant potential for applications in safety engineering. However, fundamental LLMs face constraints such as limited training data coverage and unreliable responses. This study develops a vector database from 117 explosion accident reports in China spanning 2013 to 2023, employing techniques such as corpus segmenting and vector embedding. By utilizing the vector database, which outperforms the relational database in information retrieval quality, we provide LLMs with richer, more relevant knowledge. Comparative analysis of LLMs demonstrates that ChatSOS significantly enhances reliability, accuracy, and comprehensiveness, improves adaptability and clarification of responses. These results illustrate the effectiveness of supplementing LLMs with an external database, highlighting their potential to handle professional queries in safety engineering and laying a foundation for broader applications.


title: LLM-Augmented Agent-Based Modelling for Social Simulations: Challenges and Opportunities

abstract: As large language models (LLMs) continue to make significant strides, their better integration into agent-based simulations offers a transformational potential for understanding complex social systems. However, such integration is not trivial and poses numerous challenges. Based on this observation, in this paper, we explore architectures and methods to systematically develop LLM-augmented social simulations and discuss potential research directions in this field. We conclude that integrating LLMs with agent-based simulations offers a powerful toolset for researchers and scientists, allowing for more nuanced, realistic, and comprehensive models of complex systems and human behaviours.


title: Lightweight Spatial Modeling for Combinatorial Information Extraction From Documents

abstract: Documents that consist of diverse templates and exhibit complex spatial structures pose a challenge for document entity classification. We propose KNN-former, which incorporates a new kind of spatial bias in attention calculation based on the K-nearest-neighbor (KNN) graph of document entities. We limit entities' attention only to their local radius defined by the KNN graph. We also use combinatorial matching to address the one-to-one mapping property that exists in many documents, where one field has only one corresponding entity. Moreover, our method is highly parameter-efficient compared to existing approaches in terms of the number of trainable parameters. Despite this, experiments across various datasets show our method outperforms baselines in most entity types. Many real-world documents exhibit combinatorial properties which can be leveraged as inductive biases to improve extraction accuracy, but existing datasets do not cover these documents. To facilitate future research into these types of documents, we release a new ID document dataset that covers diverse templates and languages. We also release enhanced annotations for an existing dataset.


title: Malayalam Sign Language Identification using Finetuned YOLOv8 and Computer Vision Techniques

abstract: Technological advancements and innovations are advancing our daily life in all the ways possible but there is a larger section of society who are deprived of accessing the benefits due to their physical inabilities. To reap the real benefits and make it accessible to society, these talented and gifted people should also use such innovations without any hurdles. Many applications developed these days address these challenges, but localized communities and other constrained linguistic groups may find it difficult to use them. Malayalam, a Dravidian language spoken in the Indian state of Kerala is one of the twenty-two scheduled languages in India. Recent years have witnessed a surge in the development of systems and tools in Malayalam, addressing the needs of Kerala, but many of them are not empathetically designed to cater to the needs of hearing-impaired people. One of the major challenges is the limited or no availability of sign language data for the Malayalam language and sufficient efforts are not made in this direction. In this connection, this paper proposes an approach for sign language identification for the Malayalam language using advanced deep learning and computer vision techniques. We start by developing a labeled dataset for Malayalam letters and for the identification we use advanced deep learning techniques such as YOLOv8 and computer vision. Experimental results show that the identification accuracy is comparable to other sign language identification systems and other researchers in sign language identification can use the model as a baseline to develop advanced models.


title: Interpretable Cross-Examination Technique (ICE-T): Using highly informative features to boost LLM performance

abstract: In this paper, we introduce the Interpretable Cross-Examination Technique (ICE-T), a novel approach that leverages structured multi-prompt techniques with Large Language Models (LLMs) to improve classification performance over zero-shot and few-shot methods. In domains where interpretability is crucial, such as medicine and law, standard models often fall short due to their "black-box" nature. ICE-T addresses these limitations by using a series of generated prompts that allow an LLM to approach the problem from multiple directions. The responses from the LLM are then converted into numerical feature vectors and processed by a traditional classifier. This method not only maintains high interpretability but also allows for smaller, less capable models to achieve or exceed the performance of larger, more advanced models under zero-shot conditions. We demonstrate the effectiveness of ICE-T across a diverse set of data sources, including medical records and legal documents, consistently surpassing the zero-shot baseline in terms of classification metrics such as F1 scores. Our results indicate that ICE-T can be used for improving both the performance and transparency of AI applications in complex decision-making environments.


title: Enhanced Review Detection and Recognition: A Platform-Agnostic Approach with Application to Online Commerce

abstract: Online commerce relies heavily on user generated reviews to provide unbiased information about products that they have not physically seen. The importance of reviews has attracted multiple exploitative online behaviours and requires methods for monitoring and detecting reviews. We present a machine learning methodology for review detection and extraction, and demonstrate that it generalises for use across websites that were not contained in the training data. This method promises to drive applications for automatic detection and evaluation of reviews, regardless of their source. Furthermore, we showcase the versatility of our method by implementing and discussing three key applications for analysing reviews: Sentiment Inconsistency Analysis, which detects and filters out unreliable reviews based on inconsistencies between ratings and comments; Multi-language support, enabling the extraction and translation of reviews from various languages without relying on HTML scraping; and Fake review detection, achieved by integrating a trained NLP model to identify and distinguish between genuine and fake reviews.


title: LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought

abstract: Self-correction is emerging as a promising approach to mitigate the issue of hallucination in Large Language Models (LLMs). To facilitate effective self-correction, recent research has proposed mistake detection as its initial step. However, current literature suggests that LLMs often struggle with reliably identifying reasoning mistakes when using simplistic prompting strategies. To address this challenge, we introduce a unique prompting strategy, termed the Pedagogical Chain-of-Thought (PedCoT), which is specifically designed to guide the identification of reasoning mistakes, particularly mathematical reasoning mistakes. PedCoT consists of pedagogical principles for prompts (PPP) design, two-stage interaction process (TIP) and grounded PedCoT prompts, all inspired by the educational theory of the Bloom Cognitive Model (BCM). We evaluate our approach on two public datasets featuring math problems of varying difficulty levels. The experiments demonstrate that our zero-shot prompting strategy significantly outperforms strong baselines. The proposed method can achieve the goal of reliable mathematical mistake identification and provide a foundation for automatic math answer grading. The results underscore the significance of educational theory, serving as domain knowledge, in guiding prompting strategy design for addressing challenging tasks with LLMs effectively.


title: Exploring the Capabilities of Large Multimodal Models on Dense Text

abstract: While large multi-modal models (LMM) have shown notable progress in multi-modal tasks, their capabilities in tasks involving dense textual content remains to be fully explored. Dense text, which carries important information, is often found in documents, tables, and product descriptions. Understanding dense text enables us to obtain more accurate information, assisting in making better decisions. To further explore the capabilities of LMM in complex text tasks, we propose the DT-VQA dataset, with 170k question-answer pairs. In this paper, we conduct a comprehensive evaluation of GPT4V, Gemini, and various open-source LMMs on our dataset, revealing their strengths and weaknesses. Furthermore, we evaluate the effectiveness of two strategies for LMM: prompt engineering and downstream fine-tuning. We find that even with automatically labeled training datasets, significant improvements in model performance can be achieved. We hope that this research will promote the study of LMM in dense text tasks. Code will be released at https://github.com/Yuliang-Liu/MultimodalOCR.


title: Hypothesis Testing Prompting Improves Deductive Reasoning in Large Language Models

abstract: Combining different forms of prompts with pre-trained large language models has yielded remarkable results on reasoning tasks (e.g. Chain-of-Thought prompting). However, along with testing on more complex reasoning, these methods also expose problems such as invalid reasoning and fictional reasoning paths. In this paper, we develop \textit{Hypothesis Testing Prompting}, which adds conclusion assumptions, backward reasoning, and fact verification during intermediate reasoning steps. \textit{Hypothesis Testing prompting} involves multiple assumptions and reverses validation of conclusions leading to its unique correct answer. Experiments on two challenging deductive reasoning datasets ProofWriter and RuleTaker show that hypothesis testing prompting not only significantly improves the effect, but also generates a more reasonable and standardized reasoning process.


title: LangCell: Language-Cell Pre-training for Cell Identity Understanding

abstract: Cell identity encompasses various semantic aspects of a cell, including cell type, pathway information, disease information, and more, which are essential for biologists to gain insights into its biological characteristics. Understanding cell identity from the transcriptomic data, such as annotating cell types, has become an important task in bioinformatics. As these semantic aspects are determined by human experts, it is impossible for AI models to effectively carry out cell identity understanding tasks without the supervision signals provided by single-cell and label pairs. The single-cell pre-trained language models (PLMs) currently used for this task are trained only on a single modality, transcriptomics data, lack an understanding of cell identity knowledge. As a result, they have to be fine-tuned for downstream tasks and struggle when lacking labeled data with the desired semantic labels. To address this issue, we propose an innovative solution by constructing a unified representation of single-cell data and natural language during the pre-training phase, allowing the model to directly incorporate insights related to cell identity. More specifically, we introduce $\textbf{LangCell}$, the first $\textbf{Lang}$uage-$\textbf{Cell}$ pre-training framework. LangCell utilizes texts enriched with cell identity information to gain a profound comprehension of cross-modal knowledge. Results from experiments conducted on different benchmarks show that LangCell is the only single-cell PLM that can work effectively in zero-shot cell identity understanding scenarios, and also significantly outperforms existing models in few-shot and fine-tuning cell identity understanding scenarios.


title: Evaluating the Efficacy of AI Techniques in Textual Anonymization: A Comparative Study

abstract: In the digital era, with escalating privacy concerns, it's imperative to devise robust strategies that protect private data while maintaining the intrinsic value of textual information. This research embarks on a comprehensive examination of text anonymisation methods, focusing on Conditional Random Fields (CRF), Long Short-Term Memory (LSTM), Embeddings from Language Models (ELMo), and the transformative capabilities of the Transformers architecture. Each model presents unique strengths since LSTM is modeling long-term dependencies, CRF captures dependencies among word sequences, ELMo delivers contextual word representations using deep bidirectional language models and Transformers introduce self-attention mechanisms that provide enhanced scalability. Our study is positioned as a comparative analysis of these models, emphasising their synergistic potential in addressing text anonymisation challenges. Preliminary results indicate that CRF, LSTM, and ELMo individually outperform traditional methods. The inclusion of Transformers, when compared alongside with the other models, offers a broader perspective on achieving optimal text anonymisation in contemporary settings.


title: Mobile Sequencers

abstract: The article is an attempt to contribute to explorations of a common origin for language and planned-collaborative action. It gives `semantics of change' the central stage in the synthesis, from its history and recordkeeping to its development, its syntax, delivery and reception, including substratal aspects. It is suggested that to arrive at a common core, linguistic semantics must be understood as studying through syntax mobile agent's representing, tracking and coping with change and no change. Semantics of actions can be conceived the same way, but through plans instead of syntax. The key point is the following: Sequencing itself, of words and action sequences, brings in more structural interpretation to the sequence than which is immediately evident from the sequents themselves. Mobile sequencers can be understood as subjects structuring reporting, understanding and keeping track of change and no change. The idea invites rethinking of the notion of category, both in language and in planning. Understanding understanding change by mobile agents is suggested to be about human extended practice, not extended-human practice. That's why linguistics is as important as computer science in the synthesis. It must rely on representational history of acts, thoughts and expressions, personal and public, crosscutting overtness and covertness of these phenomena. It has implication for anthropology in the extended practice, which is covered briefly.


title: Reconstruction of Bremsstrahlung {\gamma}-rays Spectrum in Heavy Ion Reactions with Richardson-Lucy Algorithm

abstract: The high momentum tail (HMT) in the momentum distribution of nucleons above the Fermi surface has been regarded as an evidence of short-range correlations (SRCs) in atomic nuclei. It has been showcased recently that the np Bremsstrahlung radiation in heavy ion reactions can be used to extract HMT information. The Richardson-Lucy (RL) algorithm is introduced to the reconstruction of the original Bremsstrahlung {\gamma}-ray energy spectrum from experimental measurements. By solving the inverse problem of the detector response to the {\gamma}-rays, the original energy spectrum of the Bremsstrahlung {\gamma} in 25 MeV/u 86Kr + 124Sn has been reconstructed and compared to the isospin- and momentum-dependent Boltzmann-Uehling-Uhlenbeck (IBUU) simulations. The analysis based on hypothesis test suggests the existence of the HMT of nucleons in nuclei, in accordance with the previous conclusions. With its effectiveness being demonstrated, it is feasible to apply the RL algorithm in future experiments of measuring the Bremsstrahlung {\gamma}-rays in heavy ion reactions.


title: Digital Diagnostics: The Potential Of Large Language Models In Recognizing Symptoms Of Common Illnesses

abstract: The recent swift development of LLMs like GPT-4, Gemini, and GPT-3.5 offers a transformative opportunity in medicine and healthcare, especially in digital diagnostics. This study evaluates each model diagnostic abilities by interpreting a user symptoms and determining diagnoses that fit well with common illnesses, and it demonstrates how each of these models could significantly increase diagnostic accuracy and efficiency. Through a series of diagnostic prompts based on symptoms from medical databases, GPT-4 demonstrates higher diagnostic accuracy from its deep and complete history of training on medical data. Meanwhile, Gemini performs with high precision as a critical tool in disease triage, demonstrating its potential to be a reliable model when physicians are trying to make high-risk diagnoses. GPT-3.5, though slightly less advanced, is a good tool for medical diagnostics. This study highlights the need to study LLMs for healthcare and clinical practices with more care and attention, ensuring that any system utilizing LLMs promotes patient privacy and complies with health information privacy laws such as HIPAA compliance, as well as the social consequences that affect the varied individuals in complex healthcare contexts. This study marks the start of a larger future effort to study the various ways in which assigning ethical concerns to LLMs task of learning from human biases could unearth new ways to apply AI in complex medical settings.


title: Unveiling the Competitive Dynamics: A Comparative Evaluation of American and Chinese LLMs

abstract: The strategic significance of Large Language Models (LLMs) in economic expansion, innovation, societal development, and national security has been increasingly recognized since the advent of ChatGPT. This study provides a comprehensive comparative evaluation of American and Chinese LLMs in both English and Chinese contexts. We proposed a comprehensive evaluation framework that encompasses natural language proficiency, disciplinary expertise, and safety and responsibility, and systematically assessed 16 prominent models from the US and China under various operational tasks and scenarios. Our key findings show that GPT 4-Turbo is at the forefront in English contexts, whereas Ernie-Bot 4 stands out in Chinese contexts. The study also highlights disparities in LLM performance across languages and tasks, stressing the necessity for linguistically and culturally nuanced model development. The complementary strengths of American and Chinese LLMs point to the value of Sino-US collaboration in advancing LLM technology. The research presents the current LLM competition landscape and offers valuable insights for policymakers and businesses regarding strategic LLM investments and development. Future work will expand on this framework to include emerging LLM multimodal capabilities and business application assessments.


title: Towards a Path Dependent Account of Category Fluency

abstract: Category fluency is a widely studied cognitive phenomenon, yet two conflicting accounts have been proposed as the underlying retrieval mechanism -- an optimal foraging process deliberately searching through memory (Hills et al., 2012) and a random walk sampling from a semantic network (Abbott et al., 2015). Evidence for both accounts has centered around predicting human patch switches, where both existing models of category fluency produce paradoxically identical results. We begin by peeling back the assumptions made by existing models, namely that each named example only depends on the previous example, by (i) adding an additional bias to model the category transition probability directly and (ii) relying on a large language model to predict based on the entire existing sequence. Then, we present evidence towards resolving the disagreement between each account of foraging by reformulating models as sequence generators. To evaluate, we compare generated category fluency runs to a bank of human-written sequences by proposing a metric based on n-gram overlap. We find category switch predictors do not necessarily produce human-like sequences, in fact the additional biases used by the Hills et al. (2012) model are required to improve generation quality, which are later improved by our category modification. Even generating exclusively with an LLM requires an additional global cue to trigger the patch switching behavior during production. Further tests on only the search process on top of the semantic network highlight the importance of deterministic search to replicate human behavior.


title: Enhancing Creativity in Large Language Models through Associative Thinking Strategies

abstract: This paper explores the enhancement of creativity in Large Language Models (LLMs) like vGPT-4 through associative thinking, a cognitive process where creative ideas emerge from linking seemingly unrelated concepts. Associative thinking strategies have been found to effectively help humans boost creativity. However, whether the same strategies can help LLMs become more creative remains under-explored. In this work, we investigate whether prompting LLMs to connect disparate concepts can augment their creative outputs. Focusing on three domains -- Product Design, Storytelling, and Marketing -- we introduce creativity tasks designed to assess vGPT-4's ability to generate original and useful content. By challenging the models to form novel associations, we evaluate the potential of associative thinking to enhance the creative capabilities of LLMs. Our findings show that leveraging associative thinking techniques can significantly improve the originality of vGPT-4's responses.


title: Discrete Lehmann representation of three-point functions

abstract: We present a generalization of the discrete Lehmann representation (DLR) to three-point correlation and vertex functions in imaginary time and Matsubara frequency. The representation takes the form of a linear combination of judiciously chosen exponentials in imaginary time, and products of simple poles in Matsubara frequency, which are universal for a given temperature and energy cutoff. We present a systematic algorithm to generate compact sampling grids, from which the coefficients of such an expansion can be obtained by solving a linear system. We show that the explicit form of the representation can be used to evaluate diagrammatic expressions involving infinite Matsubara sums, such as polarization functions or self-energies, with controllable, high-order accuracy. This collection of techniques establishes a framework through which methods involving three-point objects can be implemented robustly, with a substantially reduced computational cost and memory footprint.

categories: physics.comp-ph cond-mat.str-el cs.NA math.NA


title: Fundamental role of Dirac supersingletons in particle theory

abstract: As shown in the famous Dyson's paper "Missed Opportunities", even from purely mathematical considerations (without any physics) it follows that Poincare quantum symmetry is a special degenerate case of de Sitter quantum symmetries. Then the question arises why in particle physics Poincare symmetry works with a very high accuracy. The usual answer to this question is that a theory in de Sitter space becomes a theory in Minkowski space in the formal limit when the radius of de Sitter space tends to infinity. However, de Sitter and Minkowski spaces are purely classical concepts, and in quantum theory the answer to this question must be given only in terms of quantum concepts. At the quantum level, Poincare symmetry is a good approximate symmetry if the eigenvalues of the representation operators $M_{4\mu}$ of the anti-de Sitter algebra are much greater than the eigenvalues of the operators $M_{\mu\nu}$ ($\mu,\nu=0,1,2,3$). We show that explicit solutions with such properties exist within the framework of the approach proposed by Flato and Fronsdal where particles that are considered elementary in the standard theory are bound states of two Dirac singletons.


title: Vector-borne threats: Sustainable approaches to their diagnosis and treatment

abstract: Arbovirus is a vital, life-threatening disease worldwide and continues to be a significant problem while the world is dealing with the major coronavirus (COVID-19) pandemic. Vectors, mostly mosquitoes and ticks, transmit this disease. Dengue fever, chikungunya, and Zika viruses are the major threats because of their high incidence, public health burden, and clinically significant disease spectrum. These vector-borne disease causes one-fourth of annual deaths, leading to various infectious diseases. The arbovirus represents eight different families and 14 genera; most viruses belong to the family Bunyaviridae, and some also belong to Togaviridae, Reoviridae, and Flaviviridae. The arbovirus disease was isolated first in tropical and subtropical regions of South America and Africa and has high significance because of suitable environmental conditions for virus transmission and vector expansion. Its transmission cycle ranges from simple to highly complex. DENV is the most prevalent, results in febrile illness, and has transmission in 128 different countries. CHIKV causes infection in asymptomatic people, and the problems include nephritis, arthritis, myelitis, and acute encephalopathy. ZIKV-infected 80% of people are asymptomatic and may cause rashes, myalgia, fever, headache, and conjunctivitis. Vaccines for DENV are not clinically available; it is a primary arboviral infection in the world nowadays. The exposure of arbovirus diseases continues to be a global health problem regardless of continuing efforts. This review article will overview major arbovirus diseases and their diagnosis, treatment, and prevention strategies.


title: Enhancing Traffic Prediction with Textual Data Using Large Language Models

abstract: Traffic prediction is pivotal for rational transportation supply scheduling and allocation. Existing researches into short-term traffic prediction, however, face challenges in adequately addressing exceptional circumstances and integrating non-numerical contextual information like weather into models. While, Large language models offer a promising solution due to their inherent world knowledge. However, directly using them for traffic prediction presents drawbacks such as high cost, lack of determinism, and limited mathematical capability. To mitigate these issues, this study proposes a novel approach. Instead of directly employing large models for prediction, it utilizes them to process textual information and obtain embeddings. These embeddings are then combined with historical traffic data and inputted into traditional spatiotemporal forecasting models. The study investigates two types of special scenarios: regional-level and node-level. For regional-level scenarios, textual information is represented as a node connected to the entire network. For node-level scenarios, embeddings from the large model represent additional nodes connected only to corresponding nodes. This approach shows a significant improvement in prediction accuracy according to our experiment of New York Bike dataset.


title: One-photon annihilation of the electron-positron pair at heavy atomic nuclei

abstract: We investigate one-photon annihilation of the electron-positron pair in the field of a central, very heavy and positively charged atomic nucleus. The explicit formula for the annihilation rate of this process $\Gamma^{(b)}_{1 \gamma}$ is derived. Our formula for this rate can directly be used to describe the actual one-photon annihilation in the ground (bound) states of all positronium hydrides HPs, quasi-stable triplet states of the positron-helium atoms $e^{+}[$ He($2^{3}S_e$)] ions and other systems.


title: Kolmogorov-Arnold Networks are Radial Basis Function Networks

abstract: This short paper is a fast proof-of-concept that the 3-order B-splines used in Kolmogorov-Arnold Networks (KANs) can be well approximated by Gaussian radial basis functions. Doing so leads to FastKAN, a much faster implementation of KAN which is also a radial basis function (RBF) network.


title: Hypergeometric Distribution Revisited: Tail Inequalities, Confidence Bounds and Sample Sizes

abstract: We revisit and refine known tail inequalities and confidence bounds for the hypergeometric distribution, i.e., for the setting where we sample without replacement from a fixed population with binary values or properties. The results are presented in a unified notation in order to increase understanding and facilitate comparisons. We focus on the usability of the results in practice and thus on simple bounds. Further, we make the computation of confidence intervals and necessary sample sizes explicit in our results and demonstrate their use in an extended example.


title: Positive formula for the product of conjugacy classes on the unitary group

abstract: The convolution product of two generic conjugacy classes of the unitary group $U_n$ is described by a probability distribution on the space of central measures which admits a density. Relating the convolution to the quantum Littlewood-Richardson coefficients and using recent results describing those coefficients, we give a manifestly positive formula for this density. In the same flavor as the hive model of Knutson and Tao, this formula is given in terms of a subtraction-free sum of volumes of explicit polytopes. As a consequence, this expression also provides a positive formula for the volume of moduli spaces of $SU_n$-valued flat connections on the three-holed two dimensional sphere, which was first given by Witten in terms of an infinite sum of characters.

categories: math.RT math-ph math.CO math.MP math.PR math.SG


title: Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models

abstract: Techniques to autonomously drive research have been prominent in Computational Scientific Discovery, while Synthetic Biology is a field of science that focuses on designing and constructing new biological systems for useful purposes. Here we seek to apply logic-based machine learning techniques to facilitate cellular engineering and drive biological discovery. Comprehensive databases of metabolic processes called genome-scale metabolic network models (GEMs) are often used to evaluate cellular engineering strategies to optimise target compound production. However, predicted host behaviours are not always correctly described by GEMs, often due to errors in the models. The task of learning the intricate genetic interactions within GEMs presents computational and empirical challenges. To address these, we describe a novel approach called Boolean Matrix Logic Programming (BMLP) by leveraging boolean matrices to evaluate large logic programs. We introduce a new system, $BMLP_{active}$, which efficiently explores the genomic hypothesis space by guiding informative experimentation through active learning. In contrast to sub-symbolic methods, $BMLP_{active}$ encodes a state-of-the-art GEM of a widely accepted bacterial host in an interpretable and logical representation using datalog logic programs. Notably, $BMLP_{active}$ can successfully learn the interaction between a gene pair with fewer training examples than random experimentation, overcoming the increase in experimental design space. $BMLP_{active}$ enables rapid optimisation of metabolic models to reliably engineer biological systems for producing useful compounds. It offers a realistic approach to creating a self-driving lab for microbial engineering.


title: On the Shape of Brainscores for Large Language Models (LLMs)

abstract: With the rise of Large Language Models (LLMs), the novel metric "Brainscore" emerged as a means to evaluate the functional similarity between LLMs and human brain/neural systems. Our efforts were dedicated to mining the meaning of the novel score by constructing topological features derived from both human fMRI data involving 190 subjects, and 39 LLMs plus their untrained counterparts. Subsequently, we trained 36 Linear Regression Models and conducted thorough statistical analyses to discern reliable and valid features from our constructed ones. Our findings reveal distinctive feature combinations conducive to interpreting existing brainscores across various brain regions of interest (ROIs) and hemispheres, thereby significantly contributing to advancing interpretable machine learning (iML) studies. The study is enriched by our further discussions and analyses concerning existing brainscores. To our knowledge, this study represents the first attempt to comprehend the novel metric brainscore within this interdisciplinary domain.


title: Region of Attraction Estimation for Free-Floating Systems under Time-Varying LQR Control

abstract: Future Active Debris Removal (ADR) and On Orbit Servicing (OOS) missions demand for elaborate closed loop controllers. Feasible control architectures should take into consideration the inherent coupling of the free floating dynamics and the kinematics of the system. Recently, Time-Varying Linear Quadratic Regulators (TVLQR) have been used to stabilize underactuated systems that exhibit a similar kinodynamic coupling. Furthermore, this control approach integrates synergistically with Lyapunov based region of attraction (ROA) estimation, which, in the context of ADR and OOS, allows for reasoning about composability of different sub-maneuvers. In this paper, TVLQR was used to stabilize an ADR detumbling maneuver in simulation. Moreover, the ROA of the closed loop dynamics was estimated using a probabilistic method. In order to demonstrate the real-world applicability for free floating robots, further experiments were conducted onboard a free floating testbed.


title: Approximation Error and Complexity Bounds for ReLU Networks on Low-Regular Function Spaces

abstract: In this work, we consider the approximation of a large class of bounded functions, with minimal regularity assumptions, by ReLU neural networks. We show that the approximation error can be bounded from above by a quantity proportional to the uniform norm of the target function and inversely proportional to the product of network width and depth. We inherit this approximation error bound from Fourier features residual networks, a type of neural network that uses complex exponential activation functions. Our proof is constructive and proceeds by conducting a careful complexity analysis associated with the approximation of a Fourier features residual network by a ReLU network.


title: THERADIA WoZ: An Ecological Corpus for Appraisal-based Affect Research in Healthcare

abstract: We present THERADIA WoZ, an ecological corpus designed for audiovisual research on affect in healthcare. Two groups of senior individuals, consisting of 52 healthy participants and 9 individuals with Mild Cognitive Impairment (MCI), performed Computerised Cognitive Training (CCT) exercises while receiving support from a virtual assistant, tele-operated by a human in the role of a Wizard-of-Oz (WoZ). The audiovisual expressions produced by the participants were fully transcribed, and partially annotated based on dimensions derived from recent models of the appraisal theories, including novelty, intrinsic pleasantness, goal conduciveness, and coping. Additionally, the annotations included 23 affective labels drew from the literature of achievement affects. We present the protocols used for the data collection, transcription, and annotation, along with a detailed analysis of the annotated dimensions and labels. Baseline methods and results for their automatic prediction are also presented. The corpus aims to serve as a valuable resource for researchers in affective computing, and is made available to both industry and academia.


title: Fine-tuning Protein Language Models with Deep Mutational Scanning improves Variant Effect Prediction

abstract: Protein Language Models (PLMs) have emerged as performant and scalable tools for predicting the functional impact and clinical significance of protein-coding variants, but they still lag experimental accuracy. Here, we present a novel fine-tuning approach to improve the performance of PLMs with experimental maps of variant effects from Deep Mutational Scanning (DMS) assays using a Normalised Log-odds Ratio (NLR) head. We find consistent improvements in a held-out protein test set, and on independent DMS and clinical variant annotation benchmarks from ProteinGym and ClinVar. These findings demonstrate that DMS is a promising source of sequence diversity and supervised training data for improving the performance of PLMs for variant effect prediction.


title: Ocean-DC: An analysis ready data cube framework for environmental and climate change monitoring over the port areas

abstract: The environmental hazards and climate change effects causes serious problems in land and coastal areas. A solution to this problem can be the periodic monitoring over critical areas, like coastal region with heavy industrial activity (i.e., ship-buildings) or areas where a disaster (i.e., oil-spill) has occurred. Today there are several Earth and non-Earth Observation data available from several data providers. These data are huge in size and usually it is needed to combine several data from multiple sources (i.e., data with format differences) for a more effective evaluation. For addressing these issues, this work proposes the Ocean-DC framework as a solution in data harmonization and homogenization. A strong advantage of this Data Cube implementation is the generation of a single NetCDF product that contains Earth Observation data of several data types (i.e., Landsat-8 and Sentinel-2). To evaluate the effectiveness and efficiency of the Ocean-DC implementation, it is examined a case study of an oil-spill in Saronic gulf in September of 2017. The generated 4D Data Cube considers both Landsat-8,9 and Sentinel-2 products for a time-series analysis, before, during, and after the oil-spill event. The Ocean-DC framework successfully generated a NetCDF product, containing all the necessary remote sensing products for monitoring the oil-spill disaster in the Saronic gulf.


title: Schwarzschild black hole revisited: Before the complete collapse

abstract: Within the framework of general relativity, we explore the interior of the Schwarzschild black hole before complete collapse occurs, finding that the exterior is perfectly compatible with a source much more complex than a pointlike mass. We provide a set of inner geometries for singular and regular black holes that smoothly joint the Schwarzschild exterior at the horizon $r=h=2{\cal M}$, and which can therefore be regarded as suitable initial conditions for collapse. In particular, the regular solutions might be an alternative to the Schwarzschild black hole as the final stage of gravitational collapse, and thus useful to study the validity of general relativity in environments of high curvature.


title: A Global Data-Driven Model for The Hippocampus and Nucleus Accumbens of Rat From The Local Field Potential Recordings (LFP)

abstract: In brain neural networks, Local Field Potential (LFP) signals represent the dynamic flow of information. Analyzing LFP clinical data plays a critical role in improving our understanding of brain mechanisms. One way to enhance our understanding of these mechanisms is to identify a global model to predict brain signals in different situations. This paper identifies a global data-driven based on LFP recordings of the Nucleus Accumbens and Hippocampus regions in freely moving rats. The LFP is recorded from each rat in two different situations: before and after the process of getting a reward which can be either a drug (Morphine) or natural food (like popcorn or biscuit). A comparison of five machine learning methods including Long Short Term Memory (LSTM), Echo State Network (ESN), Deep Echo State Network (DeepESN), Radial Basis Function (RBF), and Local Linear Model Tree (LLM) is conducted to develop this model. LoLiMoT was chosen with the best performance among all methods. This model can predict the future states of these regions with one pre-trained model. Identifying this model showed that Morphine and natural rewards do not change the dynamic features of neurons in these regions.


title: Model-independent Odderon results based on new TOTEM data on elastic pp collisions at 8 TeV

abstract: Evaluating the H(x, s; pp) scaling function of elastic proton-proton (pp) collisions from recent TOTEM data at sqrt(s) = 8 TeV and comparing it with the same function of elastic proton-antiproton (pp-) data of the D0 collaboration at sqrt(s) = 1.96 TeV, we find, from this comparison alone, an at least 3.79 sigma {\signal} of Odderon exchange. If we combine this model independently obtained result with that of a similar analysis but using TOTEM elastic pp scattering data at sqrt(s) = 7 TeV, which resulted in an at least 6.26 {\sigma} signal, the combined significance of Odderon exchange increases to at least 7.08 {\sigma}, model independently. Further combinations of various datasets in the TeV energy range are detailed in the manuscript


title: Neural Estimation Of Entropic Optimal Transport

abstract: Optimal transport (OT) serves as a natural framework for comparing probability measures, with applications in statistics, machine learning, and applied mathematics. Alas, statistical estimation and exact computation of the OT distances suffer from the curse of dimensionality. To circumvent these issues, entropic regularization has emerged as a remedy that enables parametric estimation rates via plug-in and efficient computation using Sinkhorn iterations. Motivated by further scaling up entropic OT (EOT) to data dimensions and sample sizes that appear in modern machine learning applications, we propose a novel neural estimation approach. Our estimator parametrizes a semi-dual representation of the EOT distance by a neural network, approximates expectations by sample means, and optimizes the resulting empirical objective over parameter space. We establish non-asymptotic error bounds on the EOT neural estimator of the cost and optimal plan. Our bounds characterize the effective error in terms of neural network size and the number of samples, revealing optimal scaling laws that guarantee parametric convergence. The bounds hold for compactly supported distributions and imply that the proposed estimator is minimax-rate optimal over that class. Numerical experiments validating our theory are also provided.


title: Searching for Free-Floating Planets with TESS: A Few Words of Clarification

abstract: We recently described the results of an initial search through TESS Sector 61 for free-floating planets. In this short note, we provide important context for our results and clarify the language used in our initial manuscript to ensure that our intended message is appropriately conveyed.


title: RKKY interaction in Rashba altermagnets

abstract: The interaction between two impurity spins provides vital information about the host system and has been suggested to form a building block in quantum computation and spintronic devices. We here determine this Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction in recently discovered altermagnetic materials, including the presence of an exchange field and Rashba spin-orbit coupling in the case where the impurities are placed on an altermagnetic surface. We provide exact analytical expressions for the RKKY interaction to second order in the spin coupling parameter. Our results reveal that the momentum-resolved spin-polarization of the itinerant carriers in the altermagnet changes the RKKY interaction qualitatively from the isotropic spin-splitting in a ferromagnet. The Ising-contribution directed parallel with the altermagnetism is found to exhibit a beating pattern reflecting the shape of the Fermi surface of the system and may thus be further influenced by an out-of-plane exchange field. However, the exchange interaction for in-plane impurity spins deviates only slightly from that of a normal metal. On shorter length scales, we find that the Ising, the Dzyaloshinskii-Moriya terms, and other non-collinear interaction terms in the RKKY interaction acquire a rapidly oscillating behavior as a function of the relative angle between the impurity spins, which is not present in the ferromagnetic case. We determine how this new length scale depends on the system parameters analytically. Our results show that the RKKY interaction in altermagnets is qualitatively different from that of ferromagnets despite both breaking time-reversal symmetry.


title: Exoplanet Transit Spectroscopy with JWST NIRSpec: Diagnostics and Homogeneous Case Study of WASP-39 b

abstract: The JWST has ushered in a new era of exoplanet transit spectroscopy. Among the JWST instruments, the Near-Infrared Spectrograph (NIRSpec) has the most extensive set of configurations for exoplanet time series observations. The NIRSpec Prism and G395H grating represent two extremes in NIRSpec instrument modes, with the Prism spanning a wider spectral range (0.6-5.3 $\mu$m at lower resolution (R$\sim$100) compared to G395H (2.87-5.14 $\mu$m; R$\sim$2700). In this work, we develop a new data reduction framework, JexoPipe, to conduct a homogeneous assessment of the two NIRSpec modes for exoplanet spectroscopy. We use observations of the hot Saturn WASP-39 b obtained as part of the JWST Transiting Exoplanets ERS program to assess the spectral quality and stability between the two instrument modes at different epochs. We explore the noise sources, effect of saturation, and offsets in transmission spectra between the different instrument modes and also between the two G395H NRS detectors. We find an inter-detector offset in G395H of $\sim$ 40-50 ppm, consistent with recent studies. We find evidence for correlated noise in the Prism white light curve. We find the G395H spectrum to be of higher precision compared to the Prism at the same resolution. We also compare the JexoPipe spectra with those reported from other pipelines. Our work underscores the need for robust assessment of instrument performance and identification of optimal practices for JWST data reduction and analyses.


title: Inflating in perturbative LVS: Global Embedding and Robustness

abstract: The perturbative LARGE volume scenario (LVS) is a promising moduli stabilisation scheme in which the overall volume modulus of the compactifying Calabi-Yau (CY) threefold is dynamically stabilised to exponentially large values via using only perturbative corrections. In this article, using an orientifold of a K3-fibred CY threefold, we present the global embedding of an inflationary model proposed in the framework of perturbative LVS, in which the overall volume modulus acts as the inflaton field rolling on a nearly flat potential induced by a combination of the ${\alpha^\prime}^3$-corrections and the so-called {\it log-loop} effects. Given that having a concrete global construction facilitates explicit expressions for a set of sub-leading corrections, as a next step, we present a detailed analysis investigating the robustness of the single-field inflationary model against such corrections, in particular those arising from the winding-type string loop corrections and the higher derivative F$^4$-corrections.


title: Searching for Synchrotron Emission from the Geminga TeV Halo using the Planck Satellite

abstract: Pulsars convert a significant fraction of their total spin-down power into very high-energy electrons, leading to the formation of TeV halos. It is not yet known, however, whether these sources also efficiently accelerate electrons at lower energies and, if so, how those particles propagate through the surrounding environment. If pulsars produce $\sim 50-300 \, {\rm GeV}$ electrons, these particles would produce a spatially extended halo of synchrotron emission in the frequency range measured by Planck. Such emission could be used to constrain the low-energy diffusion coefficient in the regions surrounding these pulsars, as well as the spectrum and intensity of the electrons that are accelerated in this energy range. In this study, we attempt to use Planck data to constrain the nature of the Geminga pulsar's TeV halo. We find no conclusive evidence of this emission in Planck's frequency range, however, and calculate that the synchrotron flux from Geminga should be well below the total flux measured by Planck, even for models with favorable diffusion parameters or soft injection spectra. At this time, these measurements are not capable of significantly constraining the values of these parameters.


title: Adiabatic radial perturbations of relativistic stars: analytic solutions to an old problem

abstract: We present a new system of equations that fully characterizes adiabatic, radial perturbations of perfect fluid stars within the theory of general relativity. The properties of the system are discussed, and, provided that the equilibrium spacetime verifies some general regularity conditions, analytical solutions for the perturbation variables are found. As illustrative examples, the results are applied to study perturbations of selected classical exact spacetimes, and the first oscillation eigenfrequencies are computed. Exploiting the new formalism, we derive an upper bound for the maximum compactness of stable, perfect fluid stars, which is equation-of-state-agnostic and significantly smaller than the Buchdahl bound.


title: Primordial Gravitational Waves as Probe of Dark Matter in Interferometer Missions: Fisher Forecast and MCMC

abstract: We propose novel inflationary primordial gravitational wave (GW) spectral shapes at interferometer-based current and future GW missions to test dark matter (DM) production and baryogenesis via gravity-portal. We consider three right-handed neutrinos (RHNs), the lightest among them is DM candidate while the others participate in baryogenesis via leptogenesis. We find that future GW detectors BBO, DECIGO, ET, for instance, are able to probe DM mass for $5\times 10^6\, {\rm GeV}<M_{\rm DM}<1.6\times 10^7$ GeV with a signal-to-noise ratio (SNR) $>10$, along with the observed amount of baryon asymmetry due to gravitational leptogenesis for heavy RHN mass $M_{\cal{N}}$ to be around $8\times 10^{12}$ GeV. Employing Fisher matrix forecast analysis, we identify the parameter space involving non-minimal coupling to gravity $\xi$, reheating temperature of the Universe $T_{\rm rh}$ and DM mass $M_{\rm DM}$ where the GW detector-sensitivities will be the maximum with the least error, along with SNR $>10$. Finally, utilizing mock data for each GW detector, we perform MCMC analysis to find out the combined constraints on the various microphysics parameters. We also explore production of other cosmological relics such as QCD axion relic as DM candidate, produced via gravity-portal in early universe. We find that ET, for instance, can probe the decay constant of such DM candidates ($f_a$) as $10^9\,{\rm GeV}\lesssim f_a\lesssim 10^{14}\,{\rm GeV}$ for misalignment angle $\theta_i\in[0.1,\pi/\sqrt{3}]$ and $\xi=1$ with SNR $>10$, whereas this range decreases with the increase of non-minimal coupling. Thus the upcoming GW missions will be able to test such non-thermal DM and baryogenesis scenarios involving very high energy scales, which is otherwise impossible to reach in particle physics experiments in laboratories.


title: Disentangling new physics in $K\rightarrow\pi\bar{\nu}\nu$ and $B\rightarrow K(K^*)\bar{\nu}\nu$ observables

abstract: We investigate the possibility of disentangling different new physics contributions to the rare meson decays $K\rightarrow\pi+\displaystyle{\not}E$ and $B\rightarrow K(K^*)+\displaystyle{\not}E$ through kinematic distributions in the missing energy $\displaystyle{\not}E$. We employ dimension-$6$ operators within the Low-Energy Effective Field Theory (LEFT), identifying the invisible part of the final state as either active or sterile neutrinos. Special emphasis is given to lepton-number violating (LNV) operators with scalar and tensor currents. We show analytically that contributions from scalar, vector, and tensor quark currents can be uniquely determined from experimental data of kinematic distributions. In addition, we present new correlations of branching ratios for $K$ and $B$-decays involving scalar and tensor currents. As there could a priori also be new invisible particles in the final states, we include dark-sector operators giving rise to two dark scalars, fermions, or vectors in the final state. In this context, we present new calculations of the inclusive decay rate $B\rightarrow X_s+\displaystyle{\not}E$ for dark operators. We show that careful measurements of kinematic distributions make it theoretically possible to disentangle the contribution from LEFT operators from most of the dark-sector operators, even when multiple operators are contributing. We revisit sum rules for vector currents in LEFT and show that the latter are also satisfied in some new dark-physics scenarios that could mimic LEFT. Finally, we point out that an excess in rare meson decays consistent with a LNV hypothesis would point towards highly flavor non-democratic physics in the UV, and could put high-scale leptogenesis under tension.


title: New measurements of the Lyman-$\alpha$ forest continuum and effective optical depth with LyCAN and DESI Y1 data

abstract: We present the Lyman-$\alpha$ Continuum Analysis Network (LyCAN), a Convolutional Neural Network that predicts the unabsorbed quasar continuum within the rest-frame wavelength range of $1040-1600$ Angstroms based on the red side of the Lyman-$\alpha$ emission line ($1216-1600$ Angstroms). We developed synthetic spectra based on a Gaussian Mixture Model representation of Nonnegative Matrix Factorization (NMF) coefficients. These coefficients were derived from high-resolution, low-redshift ($z<0.2$) Hubble Space Telescope/Cosmic Origins Spectrograph quasar spectra. We supplemented this COS-based synthetic sample with an equal number of DESI Year 5 mock spectra. LyCAN performs extremely well on testing sets, achieving a median error in the forest region of 1.5% on the DESI mock sample, 2.0% on the COS-based synthetic sample, and 4.1% on the original COS spectra. LyCAN outperforms Principal Component Analysis (PCA)- and NMF-based prediction methods using the same training set by a factor of two or more. We predict the intrinsic continua of 83,635 DESI Year 1 spectra in the redshift range of $2.1 \leq z \leq 4.2$ and perform an absolute measurement of the evolution of the effective optical depth. This is the largest sample employed to measure the optical depth evolution to date. We fit a power-law of the form $\tau(z) = \tau_0 (1+z)^\gamma$ to our measurements and find $\tau_0 = (2.46 \pm 0.14)\times10^{-3}$ and $\gamma = 3.62 \pm 0.04$. Our results show particular agreement with high-resolution, ground-based observations around $z = 2$, indicating that LyCAN is able to predict the quasar continuum in the forest region with only spectral information outside the forest.


title: Nelson-Barr ultralight dark matter

abstract: We show that, in the Nelson-Barr solution to the strong CP-problem, a naturally light scalar can arise. It gives rise to a completely new phenomenology beyond that of the celebrated QCD axion, if this field constitutes dark matter, as the CKM elements vary periodically in time. We also discuss how the model can be tested using quantum sensors, in particular using nuclear clocks, which leads to an interesting synergy between different frontiers of physics.


title: Some Homological Conjectures Over Idealization Rings

abstract: Let $(R,\mathfrak{m},k)$ be a Noetherian local ring and let $M$ be a finitely generated $R$-module. The main focus of this paper is to give positive answers for some long-standing homological conjectures over the idealization ring $R\ltimes M$. First, if $N$ is a $R\ltimes k$-module, we show that the vanishing of $\operatorname{Ext}_{R\ltimes k}^{i}(N,N\oplus (R\ltimes k))$ for $i=1,2,3$ gives that $N$ is free, and this provides a sharpened version of the Auslander-Reiten conjecture over $R\ltimes k$. Also, we give a characterization of the Betti numbers of an $R$-module over the idealization ring $R\ltimes M$ and, as a biproduct, we derive that the Jorgensen-Leuschke conjecture holds true for $R\ltimes M$. Further, we show that the true of Buchsbaum-Eisenbud-Horrocks and Total Rank conjectures over $R$ implies the true over $R\ltimes M$. This establishes particular answers for both conjectures for modules with infinite projective dimension, especially when $R$ is regular or a complete intersection ring. As applications of the idealization ring theory, we show that the Zariski-Lipman conjecture holds for any ring $R$ provided the Betti numbers of the $R$-derivation module $\operatorname{Der}_k(R)$, seen as $R\ltimes k$-module, satisfy the inequality $\beta_{n}^{R\ltimes k}(\operatorname{Der}_k(R))\leq\beta_{n-1}^{R\ltimes k}(\operatorname{Der}_k(R))$ for some $n>0$. Some implications regarding the Herzog-Vasconcelos conjecture are also provided.


title: Nanophotonic oscillators for laser conversion beyond an octave

abstract: Many uses of lasers place the highest importance on access to specific wavelength bands. For example, mobilizing optical-atomic clocks for a leap in sensing requires compact lasers at frequencies spread across the visible and near infrared. Integrated photonics enables high-performance, scalable laser platforms, however, customizing laser-gain media to support wholly new bands is challenging and often prohibitively mismatched in scalability to early quantum-based sensing and information systems. Here, we demonstrate a microresonator optical-parametric oscillator (OPO) that converts a pump laser to an output wave within a frequency span exceeding an octave. We achieve phase matching for oscillation by nanopatterning the microresonator to open a photonic-crystal bandgap on the mode of the pump laser. By adjusting the nanophotonic pattern and hence the bandgap, the ratio of output OPO wave frequency span to required pump laser tuning is more than 10,000. We also demonstrate tuning the oscillator in free-spectral-range steps, more finely with temperature, and minimal additive frequency noise of the laser-conversion process. Our work shows that nanophotonics offers control of laser conversion in microresonators, bridging phase-matching of nonlinear optics and application requirements for laser designs.


title: Music Emotion Prediction Using Recurrent Neural Networks

abstract: This study explores the application of recurrent neural networks to recognize emotions conveyed in music, aiming to enhance music recommendation systems and support therapeutic interventions by tailoring music to fit listeners' emotional states. We utilize Russell's Emotion Quadrant to categorize music into four distinct emotional regions and develop models capable of accurately predicting these categories. Our approach involves extracting a comprehensive set of audio features using Librosa and applying various recurrent neural network architectures, including standard RNNs, Bidirectional RNNs, and Long Short-Term Memory (LSTM) networks. Initial experiments are conducted using a dataset of 900 audio clips, labeled according to the emotional quadrants. We compare the performance of our neural network models against a set of baseline classifiers and analyze their effectiveness in capturing the temporal dynamics inherent in musical expression. The results indicate that simpler RNN architectures may perform comparably or even superiorly to more complex models, particularly in smaller datasets. We've also applied the following experiments on larger datasets: one is augmented based on our original dataset, and the other is from other sources. This research not only enhances our understanding of the emotional impact of music but also demonstrates the potential of neural networks in creating more personalized and emotionally resonant music recommendation and therapy systems.


title: On kernels of homological representations of mapping class groups

abstract: We study the kernels of representations of mapping class groups of surfaces on twisted homologies of configuration spaces. We relate them with the kernel of a natural twisted intersection pairing: if the latter kernel is trivial then the representation is faithful. As a main example, we study the representations $\rho_{n}$ of $\mathrm{Mod}(\Sigma_{g,1})$ based on a Heisenberg local system on the $n$ points configuration space of $\Sigma_{g,1}$, introduced by Blanchet--Palmer--Shaukat, and some of their specializations. In the one point configuration case, or when the Heisenberg group is quotiented by an element of its center, we find kernel elements in the twisted intersection form. On the other hand, for $n>2$ configuration points and the full Heisenberg local system, we identify subrepresentations of subgroups of $\mathrm{Mod}(\Sigma_{g,1})$ with Lawrence representations. In particular, we find one of these subgroups, which is isomorphic to a pure braid group on $g$ strands, on which the representations $\rho_n$ are faithful.


title: Ensuring UAV Safety: A Vision-only and Real-time Framework for Collision Avoidance Through Object Detection, Tracking, and Distance Estimation

abstract: In the last twenty years, unmanned aerial vehicles (UAVs) have garnered growing interest due to their expanding applications in both military and civilian domains. Detecting non-cooperative aerial vehicles with efficiency and estimating collisions accurately are pivotal for achieving fully autonomous aircraft and facilitating Advanced Air Mobility (AAM). This paper presents a deep-learning framework that utilizes optical sensors for the detection, tracking, and distance estimation of non-cooperative aerial vehicles. In implementing this comprehensive sensing framework, the availability of depth information is essential for enabling autonomous aerial vehicles to perceive and navigate around obstacles. In this work, we propose a method for estimating the distance information of a detected aerial object in real time using only the input of a monocular camera. In order to train our deep learning components for the object detection, tracking and depth estimation tasks we utilize the Amazon Airborne Object Tracking (AOT) Dataset. In contrast to previous approaches that integrate the depth estimation module into the object detector, our method formulates the problem as image-to-image translation. We employ a separate lightweight encoder-decoder network for efficient and robust depth estimation. In a nutshell, the object detection module identifies and localizes obstacles, conveying this information to both the tracking module for monitoring obstacle movement and the depth estimation module for calculating distances. Our approach is evaluated on the Airborne Object Tracking (AOT) dataset which is the largest (to the best of our knowledge) air-to-air airborne object dataset.


title: Scalar Field Dominated Cosmology with Woods-Saxon Like Potential

abstract: Dark energy can be characterized by a canonical scalar field, known as quintessence. Quintessence allows for a dynamical equation of state $-1 \le \omega \le -\frac{1}{3}$. In this work, we consider a quintessence model with a specific potential of the Woods-Saxon form. The model is studied at late phase assuming flat cosmology, and the model parameters are constrained using Type Ia supernova data and Observational Hubble data. In particular we employ Markov Chain Monte Carlo methods for the Bayesian inference of these parameters. We obtain the value of the Hubble constant $H_0 = 68.10 \pm 0.74\,km s^{-1} Mpc^{-1}$ and the matter energy density parameter $\Omega_{m_0} = 0.31 \pm 0.01 $, which are consistent with the values obtained using base $\Lambda$CDM using the same dataset. Computation of the $\chi^2_{min}$, AIC and BIC reveal that this model is preffered according to AIC and $\chi^2_{min}$ criteria, while the $\Lambda$CDM is preferred according to BIC. We also show that this model can explain late-time accelerated expansion. Statefinder analysis reveals a Chaplygin gas behaviour in the past, in addition to the quintessence behaviour of the field.


title: Entropy production of the contact model

abstract: We propose an expression for the production of entropy for system described by a stochastic dynamics which is appropriate for the case where the reverse transition rate vanishes but the forward transition is nonzero. The expression is positive defined and based on the inequality $x\ln x-(x-1)\ge0$. The corresponding entropy flux is linear in the probability distribution allowing its calculation as an average. The expression is applied to the one-dimensional contact process at the stationary state. We found that the rate of entropy production per site is finite with a singularity at the critical point with diverging slope.


title: Polarization Entanglement with highly non-degenerate photon pairs enhanced by effective walk-off compensation method

abstract: We demonstrate polarization entanglement in highly non-degenerate photon pairs, generated through Type-0 spontaneous parametric down conversion (SPDC) using bulk periodically poled Lithium Niobate (PPLN) crystals. Through the utilization of both a beam displacer interferometer scheme and a Sagnac interferometer, we ensure high polarisation contrast and stable interference of the highly non-degenerate photon pairs, which however causes substantial spatial and temporal walk-offs of the photon paths which poses a formidable challenge. We introduce an effective compensation method using birefringent crystal wedges to eliminate spatial and temporal walkoffs simultaneously. This method is implemented in our entangled photon source (EPS) designed specifically for testing entanglement-based quantum key distribution (EBQKD) between ground and satellite, as part of the Quantum Encryption and Science Satellite (QEYSSat) mission funded by the Canadian Space Agency (CSA). We observed a coincidence rate of N = (33.33+-0.05)kHz, a significant improvement compared to the absence of the spatial compensation. We also observed an estimated pair generation rate of (2.92+-0.12)MHz and an entanglement visibility of (96.6+-0.3)% from only 1.0mW of pump power, making it a promising source for long-distance quantum communication for ground-to-satellite and fiber optic links.


title: Linked tree-decompositions into finite parts

abstract: We prove that every graph which admits a tree-decomposition into finite parts has a rooted tree-decomposition into finite parts that is linked, tight and componental. As an application, we obtain that every graph without half-grid minor has a lean tree-decomposition into finite parts, strengthening the corresponding result by Kriz and Thomas for graphs of finitely bounded tree-width. In particular, it follows that every graph without half-grid minor has a tree-decomposition which efficiently distinguishes all ends and critical vertex sets, strengthening results by Carmesin and by Elm and Kurkofka for this graph class. As a second application of our main result, it follows that every graph which admits a tree-decomposition into finite parts has a tree-decomposition into finite parts that displays all the ends of $G$ and their combined degrees, resolving a question of Halin from 1977. This latter tree-decomposition yields short, unified proofs of the characterisations due to Robertson, Seymour and Thomas of graphs without half-grid minor, and of graphs without binary tree subdivision.


title: Wall-Street: Smart Surface-Enabled 5G mmWave for Roadside Networking

abstract: 5G mmWave roadside networks promise high-speed wireless connectivity, but face significant challenges in maintaining reliable connections for users moving at high speed. Frequent handovers, complex beam alignment, and signal attenuation due to obstacles like car bodies lead to service interruptions and degraded performance. We present Wall-Street, a smart surface installed on vehicles to enhance 5G mmWave connectivity for users inside. Wall-Street improves mobility management by (1) steering outdoor mmWave signals into the vehicle, ensuring coverage for all users; (2) enabling simultaneous serving cell data transfer and candidate handover cell measurement, allowing seamless handovers without service interruption; and (3) combining beams from source and target cells during a handover to increase reliability. Through its flexible and diverse signal manipulation capabilities, Wall-Street provides uninterrupted high-speed connectivity for latency-sensitive applications in challenging mobile environments. We have implemented and integrated Wall-Street in the COSMOS testbed and evaluated its real-time performance with four gNBs and a mobile client inside a surface-enabled vehicle, driving on a nearby road. Wall-Street achieves a 2.5-3.4x TCP throughput improvement and a 0.4-0.8x reduction in delay over a baseline 5G Standalone handover protocol.


title: Counterexamples regarding linked and lean tree-decompositions of infinite graphs

abstract: Kriz and Thomas showed that every (finite or infinite) graph of tree-width $k \in \mathbb{N}$ admits a lean tree-decomposition of width $k$. We discuss a number of counterexamples demonstrating the limits of possible generalisations of their result to arbitrary infinite tree-width. In particular, we construct a locally finite, planar, connected graph that has no lean tree-decomposition.


title: Tangle-tree duality in infinite graphs

abstract: We extend Robertson and Seymour's tangle-tree duality theorem to infinite graphs.


title: Mass-Conserving Self-Similar Solutions to Collision-Induced Breakage Equations

abstract: Existence of mass-conserving self-similar solutions to collision-induced breakage equation is shown for a specific class of homogeneous collision kernels and breakage functions. The proof mainly relies on a dynamical approach and compactness method to constructing mass-conserving stationary solutions for an evolution problem, which induces mass-conserving self-similar solutions to collision-induced breakage equation. Furthermore, we also determine lower and upper bound of the scaling profile.


title: Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs

abstract: Across a wide range of hardware scenarios, the computational efficiency and physical size of the arithmetic units significantly influence the speed and footprint of the overall hardware system. Nevertheless, the effectiveness of prior arithmetic design techniques proves inadequate, as it does not sufficiently optimize speed and area, resulting in a reduced processing rate and larger module size. To boost the arithmetic performance, in this work, we focus on the two most common and fundamental arithmetic modules: adders and multipliers. We cast the design tasks as single-player tree generation games, leveraging reinforcement learning techniques to optimize their arithmetic tree structures. Such a tree generation formulation allows us to efficiently navigate the vast search space and discover superior arithmetic designs that improve computational efficiency and hardware size within just a few hours. For adders, our approach discovers designs of 128-bit adders that achieve Pareto optimality in theoretical metrics. Compared with the state-of-the-art PrefixRL, our method decreases computational delay and hardware size by up to 26% and 30%, respectively. For multipliers, when compared to RL-MUL, our approach increases speed and reduces size by as much as 49% and 45%. Moreover, the inherent flexibility and scalability of our method enable us to deploy our designs into cutting-edge technologies, as we show that they can be seamlessly integrated into 7nm technology. We believe our work will offer valuable insights into hardware design, further accelerating speed and reducing size through the refined search space and our tree generation methodologies. See our introduction video at https://bit.ly/ArithmeticTree. Codes are released at https://github.com/laiyao1/ArithmeticTree.


title: Prescribed Time Dual-Mode Extremum Seeking Control

abstract: We propose a dual mode extremum seeking control design technique that achieves real-time optimization of an unknown measured cost function in a prescribed time. The controller is shown to achieve semi-global practical stability of the optimal equilibrium for the state variables and the input variable for a class of nonlinear dynamical control systems with unknown dynamics. The design technique proposes a timescale transformation that enables the use of dither signals with increasing frequencies. The proposed timescale transformation is designed to avoid the singularity occurring at the prescribed time. A simulation study is performed to demonstrate the effectiveness of the proposed technique.


title: Opportunities for Persian Digital Humanities Research with Artificial Intelligence Language Models; Case Study: Forough Farrokhzad

abstract: This study explores the integration of advanced Natural Language Processing (NLP) and Artificial Intelligence (AI) techniques to analyze and interpret Persian literature, focusing on the poetry of Forough Farrokhzad. Utilizing computational methods, we aim to unveil thematic, stylistic, and linguistic patterns in Persian poetry. Specifically, the study employs AI models including transformer-based language models for clustering of the poems in an unsupervised framework. This research underscores the potential of AI in enhancing our understanding of Persian literary heritage, with Forough Farrokhzad's work providing a comprehensive case study. This approach not only contributes to the field of Persian Digital Humanities but also sets a precedent for future research in Persian literary studies using computational techniques.


title: Tree Proof-of-Position Algorithms

abstract: We present a novel class of proof-of-position algorithms: Tree-Proof-of-Position (T-PoP). This algorithm is decentralised, collaborative and can be computed in a privacy preserving manner, such that agents do not need to reveal their position publicly. We make no assumptions of honest behaviour in the system, and consider varying ways in which agents may misbehave. Our algorithm is therefore resilient to highly adversarial scenarios. This makes it suitable for a wide class of applications, namely those in which trust in a centralised infrastructure may not be assumed, or high security risk scenarios. Our algorithm has a worst case quadratic runtime, making it suitable for hardware constrained IoT applications. We also provide a mathematical model that summarises T-PoP's performance for varying operating conditions. We then simulate T-PoP's behaviour with a large number of agent-based simulations, which are in complete agreement with our mathematical model, thus demonstrating its validity. T-PoP can achieve high levels of reliability and security by tuning its operating conditions, both in high and low density environments. Finally, we also present a mathematical model to probabilistically detect platooning attacks.


title: LIVE: LaTex Interactive Visual Editing

abstract: LaTex coding is one of the main methods of writing an academic paper. When writing a paper, abundant proper visual or graphic components will represent more information volume than the textual data. However, most of the implementation of LaTex graphic items are designed as static items that have some weaknesses in representing more informative figures or tables with an interactive reading experience. To address this problem, we propose LIVE, a novel design methods idea to design interactive LaTex graphic items. To make a lucid representation of the main idea of LIVE, we designed several novels representing implementations that are interactive and enough explanation for the basic level principles. Using LIVE can design more graphic items, which we call the Gitems, and easily and automatically get the relationship of the mutual application of a specific range of papers, which will add more vitality and performance factors into writing of traditional papers especially the review papers. For vividly representing the functions of LIVE, we use the papers from NeRF as the example reference papers. The code of the implementation project is open source.


title: Post-selection inference for causal effects after causal discovery

abstract: Algorithms for constraint-based causal discovery select graphical causal models among a space of possible candidates (e.g., all directed acyclic graphs) by executing a sequence of conditional independence tests. These may be used to inform the estimation of causal effects (e.g., average treatment effects) when there is uncertainty about which covariates ought to be adjusted for, or which variables act as confounders versus mediators. However, naively using the data twice, for model selection and estimation, would lead to invalid confidence intervals. Moreover, if the selected graph is incorrect, the inferential claims may apply to a selected functional that is distinct from the actual causal effect. We propose an approach to post-selection inference that is based on a resampling and screening procedure, which essentially performs causal discovery multiple times with randomly varying intermediate test statistics. Then, an estimate of the target causal effect and corresponding confidence sets are constructed from a union of individual graph-based estimates and intervals. We show that this construction has asymptotically correct coverage for the true causal effect parameter. Importantly, the guarantee holds for a fixed population-level effect, not a data-dependent or selection-dependent quantity. Most of our exposition focuses on the PC-algorithm for learning directed acyclic graphs and the multivariate Gaussian case for simplicity, but the approach is general and modular, so it may be used with other conditional independence based discovery algorithms and distributional families.


title: Coherent Risk Measure on $L^0$: NA Condition, Pricing and Dual Representation

abstract: The NA condition is one of the pillars supporting the classical theory of financial mathematics. We revisit this condition for financial market models where a dynamic risk-measure defined on $L^0$ is fixed to characterize the family of acceptable wealths that play the role of non negative financial positions. We provide in this setting a new version of the fundamental theorem of asset pricing and we deduce a dual characterization of the super-hedging prices (called risk-hedging prices) of a European option. Moreover, we show that the set of all risk-hedging prices is closed under NA. At last, we provide a dual representation of the risk-measure on $L^0$ under some conditions.


title: Common Corruptions for Enhancing and Evaluating Robustness in Air-to-Air Visual Object Detection

abstract: The main barrier to achieving fully autonomous flights lies in autonomous aircraft navigation. Managing non-cooperative traffic presents the most important challenge in this problem. The most efficient strategy for handling non-cooperative traffic is based on monocular video processing through deep learning models. This study contributes to the vision-based deep learning aircraft detection and tracking literature by investigating the impact of data corruption arising from environmental and hardware conditions on the effectiveness of these methods. More specifically, we designed $7$ types of common corruptions for camera inputs taking into account real-world flight conditions. By applying these corruptions to the Airborne Object Tracking (AOT) dataset we constructed the first robustness benchmark dataset named AOT-C for air-to-air aerial object detection. The corruptions included in this dataset cover a wide range of challenging conditions such as adverse weather and sensor noise. The second main contribution of this letter is to present an extensive experimental evaluation involving $8$ diverse object detectors to explore the degradation in the performance under escalating levels of corruptions (domain shifts). Based on the evaluation results, the key observations that emerge are the following: 1) One-stage detectors of the YOLO family demonstrate better robustness, 2) Transformer-based and multi-stage detectors like Faster R-CNN are extremely vulnerable to corruptions, 3) Robustness against corruptions is related to the generalization ability of models. The third main contribution is to present that finetuning on our augmented synthetic data results in improvements in the generalisation ability of the object detector in real-world flight experiments.


title: Dynamic Optimization of Proton Exchange Membrane Water Electrolyzers Considering Usage-Based Degradation

abstract: We present a techno-economic optimization model for evaluating the design and operation of proton exchange membrane (PEM) electrolyzers, crucial for hydrogen production powered by variable renewable electricity. This model integrates a 0-D physics representation of the electrolyzer stack, complete mass and energy balances, operational constraints, and empirical data on use-dependent degradation. Utilizing a decomposition approach, the model predicts optimal electrolyzer size, operation, and necessary hydrogen storage to satisfy baseload demands across various technology and electricity price scenarios. Analysis for 2022 shows that including degradation effects raises the levelized cost of hydrogen from \$4.56/kg to \$6.60/kg and decreases stack life to two years. However, projections for 2030 anticipate a significant reduction in costs to approximately \$2.50/kg due to lower capital expenses, leading to larger stacks, extended lifetimes, and less hydrogen storage. This approach is adaptable to other electrochemical systems relevant for decarbonization.


title: Color: A Framework for Applying Graph Coloring to Subgraph Cardinality Estimation

abstract: Graph workloads pose a particularly challenging problem for query optimizers. They typically feature large queries made up of entirely many-to-many joins with complex correlations. This puts significant stress on traditional cardinality estimation methods which generally see catastrophic errors when estimating the size of queries with only a handful of joins. To overcome this, we propose COLOR, a framework for subgraph cardinality estimation which applies insights from graph compression theory to produce a compact summary that captures the global topology of the data graph. Further, we identify several key optimizations that enable tractable estimation over this summary even for large query graphs. We then evaluate several designs within this framework and find that they improve accuracy by up to 10$^3$x over all competing methods while maintaining fast inference, a small memory footprint, efficient construction, and graceful degradation under updates.


title: Hamiltonian and Liouvillian learning in weakly-dissipative quantum many-body systems

abstract: We discuss Hamiltonian and Liouvillian learning for analog quantum simulation from non-equilibrium quench dynamics in the limit of weakly dissipative many-body systems. We present various strategies to learn the operator content of the Hamiltonian and the Lindblad operators of the Liouvillian. We compare different ans\"atze based on an experimentally accessible "learning error" which we consider as a function of the number of runs of the experiment. Initially, the learning error decreasing with the inverse square root of the number of runs, as the error in the reconstructed parameters is dominated by shot noise. Eventually the learning error remains constant, allowing us to recognize missing ansatz terms. A central aspect of our approach is to (re-)parametrize ans\"atze by introducing and varying the dependencies between parameters. This allows us to identify the relevant parameters of the system, thereby reducing the complexity of the learning task. Importantly, this (re-)parametrization relies solely on classical post-processing, which is compelling given the finite amount of data available from experiments. A distinguishing feature of our approach is the possibility to learn the Hamiltonian, without the necessity of learning the complete Liouvillian, thus further reducing the complexity of the learning task. We illustrate our method with two, experimentally relevant, spin models.


title: Active Brownian particle under stochastic orientational resetting

abstract: We employ renewal processes to characterize the spatiotemporal dynamics of an active Brownian particle under stochastic orientational resetting. By computing the experimentally accessible intermediate scattering function (ISF) and reconstructing the full time-dependent distribution of the displacements, we study the interplay of rotational diffusion and resetting. The resetting process introduces a new spatiotemporal regime reflecting the directed motion of agents along the resetting direction at large length scales, which becomes apparent in an imaginary part of the ISF. We further derive analytical expressions for the low-order moments of the displacements and find that the variance displays an effective diffusive regime at long times, which decreases for increasing resetting rates. At intermediate times the dynamics are characterized by a negative skewness as well as a non-zero non-Gaussian parameter.