title: Sequence Length Scaling in Vision Transformers for Scientific Images on Frontier

abstract: Vision Transformers (ViTs) are pivotal for foundational models in scientific imagery, including Earth science applications, due to their capability to process large sequence lengths. While transformers for text has inspired scaling sequence lengths in ViTs, yet adapting these for ViTs introduces unique challenges. We develop distributed sequence parallelism for ViTs, enabling them to handle up to 1M tokens. Our approach, leveraging DeepSpeed-Ulysses and Long-Sequence-Segmentation with model sharding, is the first to apply sequence parallelism in ViT training, achieving a 94% batch scaling efficiency on 2,048 AMD-MI250X GPUs. Evaluating sequence parallelism in ViTs, particularly in models up to 10B parameters, highlighted substantial bottlenecks. We countered these with hybrid sequence, pipeline, tensor parallelism, and flash attention strategies, to scale beyond single GPU memory limits. Our method significantly enhances climate modeling accuracy by 20% in temperature predictions, marking the first training of a transformer model on a full-attention matrix over 188K sequence length.


title: Prediction of healthcare costs on consumer direct health plan in the Brazilian context

abstract: The rise in healthcare costs has led to the adoption of cost-sharing devices in health plans. This article explores this discussion by simulating Health Savings Accounts (HSAs) to cover medical and hospital expenses, supported by catastrophic insurance. Simulating 10 million lives, we evaluate the utilization of catastrophic insurance and the balances of HSAs at the end of working life. To estimate annual expenditures, a Markov Chains approach - distinct from the usual ones - was used based on recent past expenditures, age range, and gender. The results suggest that HSAs do not create inequalities, offering a viable method to sustain private healthcare financing for the elderly.


title: Dual-ratio approach to pulse oximetry and the effect of skin tone

abstract: Significance: Pulsatile blood Oxygen Saturation (SpO2 ) via pulse oximetry is a valuable clinical metric for assessing oxygen delivery. Individual anatomical features, including skin tone, may affect current optical pulse oximetry methods. Aim: Develop an optical pulse oximetry method based on Dual-Ratio (DR) measurements to suppress individual anatomical features on SpO2. Approach: Design a DR-based finger pulse oximeter, hypothesizing that DR would suppress confounds from optical coupling and superficial tissue-absorption. This method is tested using Monte Carlo (MC) simulations and in vivo experiments. Results: Different melanosome volume fraction in the epidermis, a surrogate for skin tone, cause changes in the recovered SpO2 on the order of 1%. Different heterogeneous pulsatile hemodynamics cause greater changes on the order of 10%. SpO2 recovered with DR measurements showed less variability than the traditional Single-Distance (SD) transmission method. Conclusions: For the models and methods considered here, SpO2 measurements are more strongly impacted by heterogeneous pulsatile hemodynamics than by melanosome volume fraction. This is consistent with previous reports that, the skin tone bias is smaller than the observed variation in recovered SpO 2 across individual people. The partial suppression of variability in the SpO2 recovered by DR suggests promise of DR for pulse oximetry.


title: Multimodality Invariant Learning for Multimedia-Based New Item Recommendation

abstract: Multimedia-based recommendation provides personalized item suggestions by learning the content preferences of users. With the proliferation of digital devices and APPs, a huge number of new items are created rapidly over time. How to quickly provide recommendations for new items at the inference time is challenging. What's worse, real-world items exhibit varying degrees of modality missing(e.g., many short videos are uploaded without text descriptions). Though many efforts have been devoted to multimedia-based recommendations, they either could not deal with new multimedia items or assumed the modality completeness in the modeling process. In this paper, we highlight the necessity of tackling the modality missing issue for new item recommendation. We argue that users' inherent content preference is stable and better kept invariant to arbitrary modality missing environments. Therefore, we approach this problem from a novel perspective of invariant learning. However, how to construct environments from finite user behavior training data to generalize any modality missing is challenging. To tackle this issue, we propose a novel Multimodality Invariant Learning reCommendation(a.k.a. MILK) framework. Specifically, MILK first designs a cross-modality alignment module to keep semantic consistency from pretrained multimedia item features. After that, MILK designs multi-modal heterogeneous environments with cyclic mixup to augment training data, in order to mimic any modality missing for invariant user preference learning. Extensive experiments on three real datasets verify the superiority of our proposed framework. The code is available at https://github.com/HaoyueBai98/MILK.


title: CLARINET: Augmenting Language Models to Ask Clarification Questions for Retrieval

abstract: Users often make ambiguous requests that require clarification. We study the problem of asking clarification questions in an information retrieval setting, where systems often face ambiguous search queries and it is challenging to turn the uncertainty in the retrieval model into a natural language question. We present CLARINET, a system that asks informative clarification questions by choosing questions whose answers would maximize certainty in the correct candidate. Our approach works by augmenting a large language model (LLM) to condition on a retrieval distribution, finetuning end-to-end to generate the question that would have maximized the rank of the true candidate at each turn. When evaluated on a real-world retrieval dataset of users searching for books, our system outperforms traditional heuristics such as information gain on retrieval success by 17% and vanilla-prompted LLMs by 39% relative.


title: Cosymplectic Jacobi-Jordan Algebras

abstract: We introduce the notion of cosymplectic structure on Jacobi-Jordan algebras, and we state that they are related to symplectic Jacobi-Jordan algebras. We show, in particular, that they support a right-skew-symmetric product. We also study the double extension constructions of cosymplectic Jacobi-Jordan algebras and give a complete classification in dimension five.


title: Enhancement of Subjective Content Descriptions by using Human Feedback

abstract: An agent providing an information retrieval service may work with a corpus of text documents. The documents in the corpus may contain annotations such as Subjective Content Descriptions (SCD) -- additional data associated with different sentences of the documents. Each SCD is associated with multiple sentences of the corpus and has relations among each other. The agent uses the SCDs to create its answers in response to queries supplied by users. However, the SCD the agent uses might reflect the subjective perspective of another user. Hence, answers may be considered faulty by an agent's user, because the SCDs may not exactly match the perceptions of an agent's user. A naive and very costly approach would be to ask each user to completely create all the SCD themselves. To use existing knowledge, this paper presents ReFrESH, an approach for Relation-preserving Feedback-reliant Enhancement of SCDs by Humans. An agent's user can give feedback about faulty answers to the agent. This feedback is then used by ReFrESH to update the SCDs incrementally. However, human feedback is not always unambiguous. Therefore, this paper additionally presents an approach to decide how to incorporate the feedback and when to update the SCDs. Altogether, SCDs can be updated with human feedback, allowing users to create even more specific SCDs for their needs.


title: Extracting chemical food safety hazards from the scientific literature automatically using large language models

abstract: The number of scientific articles published in the domain of food safety has consistently been increasing over the last few decades. It has therefore become unfeasible for food safety experts to read all relevant literature related to food safety and the occurrence of hazards in the food chain. However, it is important that food safety experts are aware of the newest findings and can access this information in an easy and concise way. In this study, an approach is presented to automate the extraction of chemical hazards from the scientific literature through large language models. The large language model was used out-of-the-box and applied on scientific abstracts; no extra training of the models or a large computing cluster was required. Three different styles of prompting the model were tested to assess which was the most optimal for the task at hand. The prompts were optimized with two validation foods (leafy greens and shellfish) and the final performance of the best prompt was evaluated using three test foods (dairy, maize and salmon). The specific wording of the prompt was found to have a considerable effect on the results. A prompt breaking the task down into smaller steps performed best overall. This prompt reached an average accuracy of 93% and contained many chemical contaminants already included in food monitoring programs, validating the successful retrieval of relevant hazards for the food safety domain. The results showcase how valuable large language models can be for the task of automatic information extraction from the scientific literature.


title: Towards Fairness in Provably Communication-Efficient Federated Recommender Systems

abstract: To reduce the communication overhead caused by parallel training of multiple clients, various federated learning (FL) techniques use random client sampling. Nonetheless, ensuring the efficacy of random sampling and determining the optimal number of clients to sample in federated recommender systems (FRSs) remains challenging due to the isolated nature of each user as a separate client. This challenge is exacerbated in models where public and private features can be separated, and FL allows communication of only public features (item gradients). In this study, we establish sample complexity bounds that dictate the ideal number of clients required for improved communication efficiency and retained accuracy in such models. In line with our theoretical findings, we empirically demonstrate that RS-FairFRS reduces communication cost (~47%). Second, we demonstrate the presence of class imbalance among clients that raises a substantial equity concern for FRSs. Unlike centralized machine learning, clients in FRS can not share raw data, including sensitive attributes. For this, we introduce RS-FairFRS, first fairness under unawareness FRS built upon random sampling based FRS. While random sampling improves communication efficiency, we propose a novel two-phase dual-fair update technique to achieve fairness without revealing protected attributes of active clients participating in training. Our results on real-world datasets and different sensitive features illustrate a significant reduction in demographic bias (~approx40\%), offering a promising path to achieving fairness and communication efficiency in FRSs without compromising the overall accuracy of FRS.


title: Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning

abstract: Issues of safety, explainability, and efficiency are of increasing concern in learning systems deployed with hard and soft constraints. Symbolic Constrained Learning and Knowledge Distillation techniques have shown promising results in this area, by embedding and extracting knowledge, as well as providing logical constraints during neural network training. Although many frameworks exist to date, through an integration of logic and information geometry, we provide a construction and theoretical framework for these tasks that generalize many approaches. We propose a loss-based method that embeds knowledge-enforces logical constraints-into a machine learning model that outputs probability distributions. This is done by constructing a distribution from the external knowledge/logic formula and constructing a loss function as a linear combination of the original loss function with the Fisher-Rao distance or Kullback-Leibler divergence to the constraint distribution. This construction includes logical constraints in the form of propositional formulas (Boolean variables), formulas of a first-order language with finite variables over a model with compact domain (categorical and continuous variables), and in general, likely applicable to any statistical model that was pretrained with semantic information. We evaluate our method on a variety of learning tasks, including classification tasks with logic constraints, transferring knowledge from logic formulas, and knowledge distillation from general distributions.


title: The Radical Solution and Computational Complexity

abstract: The radical solution of polynomials with rational coefficients is a famous solved problem. This paper found that it is a $\mathbb{NP}$ problem. Furthermore, this paper found that arbitrary $ \mathscr{P} \in \mathbb{P}$ shall have a one-way running graph $G$, and have a corresponding $\mathscr{Q} \in \mathbb{NP}$ which have a two-way running graph $G'$, $G$ and $G'$ is isomorphic, i.e., $G'$ is combined by $G$ and its reverse $G^{-1}$. When $\mathscr{P}$ is an algorithm for solving polynomials, $G^{-1}$ is the radical formula. According to Galois' Theory, a general radical formula does not exist. Therefore, there exists an $\mathbb{NP}$, which does not have a general, deterministic and polynomial time-complexity algorithm, i.e., $\mathbb{P} \neq \mathbb{NP}$. Moreover, this paper pointed out that this theorem actually is an impossible trinity.


title: Learning-based models for building user profiles for personalized information access

abstract: This study contributes to the literature by considering the difference in vocabulary used to express document content and information needs. Users are integrated into all research phases in order to provide them with relevant information adapted to their context and their preferences meeting their precise needs. To better express document content and information during this phase, deep learning models are employed to learn complex representations of documents and queries. These models can capture hierarchical, sequential, or attention-based patterns in textual data.


title: IQLS: Framework for leveraging Metadata to enable Large Language Model based queries to complex, versatile Data

abstract: As the amount and complexity of data grows, retrieving it has become a more difficult task that requires greater knowledge and resources. This is especially true for the logistics industry, where new technologies for data collection provide tremendous amounts of interconnected real-time data. The Intelligent Query and Learning System (IQLS) simplifies the process by allowing natural language use to simplify data retrieval . It maps structured data into a framework based on the available metadata and available data models. This framework creates an environment for an agent powered by a Large Language Model. The agent utilizes the hierarchical nature of the data to filter iteratively by making multiple small context-aware decisions instead of one-shot data retrieval. After the Data filtering, the IQLS enables the agent to fulfill tasks given by the user query through interfaces. These interfaces range from multimodal transportation information retrieval to route planning under multiple constraints. The latter lets the agent define a dynamic object, which is determined based on the query parameters. This object represents a driver capable of navigating a road network. The road network is depicted as a graph with attributes based on the data. Using a modified version of the Dijkstra algorithm, the optimal route under the given constraints can be determined. Throughout the entire process, the user maintains the ability to interact and guide the system. The IQLS is showcased in a case study on the Canadian logistics sector, allowing geospatial, visual, tabular and text data to be easily queried semantically in natural language.


title: SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

abstract: Language model (LM) agents are increasingly being used to automate complicated tasks in digital environments. Just as humans benefit from powerful software applications, such as integrated development environments, for complex tasks like software engineering, we posit that LM agents represent a new category of end users with their own needs and abilities, and would benefit from specially-built interfaces to the software they use. We investigate how interface design affects the performance of language model agents. As a result of this exploration, we introduce SWE-agent: a system that facilitates LM agents to autonomously use computers to solve software engineering tasks. SWE-agent's custom agent-computer interface (ACI) significantly enhances an agent's ability to create and edit code files, navigate entire repositories, and execute tests and other programs. We evaluate SWE-agent on SWE-bench and HumanEvalFix, achieving state-of-the-art performance on both with a pass@1 rate of 12.5% and 87.7%, respectively, far exceeding the previous state-of-the-art achieved with non-interactive LMs. Finally, we provide insight on how the design of the ACI can impact agents' behavior and performance.


title: Finite Groundings for ASP with Functions: A Journey through Consistency

abstract: Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combinatorial problem solving and knowledge representation and reasoning. It is known that enhancing ASP with function symbols makes basic reasoning problems highly undecidable. However, even in simple cases, state of the art reasoners, specifically those relying on a ground-and-solve approach, fail to produce a result. Therefore, we reconsider consistency as a basic reasoning problem for ASP. We show reductions that give an intuition for the high level of undecidability. These insights allow for a more fine-grained analysis where we characterize ASP programs as "frugal" and "non-proliferous". For such programs, we are not only able to semi-decide consistency but we also propose a grounding procedure that yields finite groundings on more ASP programs with the concept of "forbidden" facts.


title: D-CODE: Data Colony Optimization for Dynamic Network Efficiency

abstract: The paper introduces D-CODE, a new framework blending Data Colony Optimization (DCO) algorithms inspired by biological colonies' collective behaviours with Dynamic Efficiency (DE) models for real-time adaptation. DCO utilizes metaheuristic strategies from ant colonies, bee swarms, and fungal networks to efficiently explore complex data landscapes, while DE enables continuous resource recalibration and process adjustments for optimal performance amidst changing conditions. Through a mixed-methods approach involving simulations and case studies, D-CODE outperforms traditional techniques, showing improvements of 3-4% in solution quality, 2-3 times faster convergence rates, and up to 25% higher computational efficiency. The integration of DCO's robust optimization and DE's dynamic responsiveness positions D-CODE as a transformative paradigm for intelligent systems design, with potential applications in operational efficiency, decision support, and computational intelligence, supported by empirical validation and promising outcomes.


title: Demystifying Arrow of Time

abstract: Scientific discussions of the arrow of time often get quite confusing due to highly complex systems they deal with. Popular literature then often coveys messages that tend to get lost in translation. The purpose of this note is to demystify the arrow of time by stripping off the unnecessary complexities and thereby simplifying the discussion. We do this by providing examples that are exactly solvable and make it easy to see the root cause of the apparent "time-irreversibility". We also discuss "time-reversal" solutions, where the initial state evolves such that it reaches the state which is the same as the initial state moving backward in time. These solutions are simple enough to be comprehensible to a highschooler. We discuss the arrow of time both in the classical and quantum settings, including in the cosmological context.

categories: physics.pop-ph cond-mat.stat-mech gr-qc hep-th physics.class-ph


title: Signatures of Integrability and Exactly Solvable Dynamics in an Infinite-Range Many-Body Floquet Spin System

abstract: In a recent work Sharma and Bhosale [Phys. Rev. B, 109, 014412 (2024)], $N$-spin Floquet model having infinite range Ising interaction was introduced. In this paper, we generalized the strength of interaction to $J$, such that $J=1$ case reduces to the aforementioned work. We show that for $J=1/2$ the model still exhibits integrability for an even number of qubits only. We analytically solve the cases of $6$, $8$, $10$, and $12$ qubits, finding its eigensystem, dynamics of entanglement for various initial states, and the unitary evolution operator. These quantities exhibit the signature of quantum integrability (QI). For the general case of even-$N > 12$ qubits, we conjuncture the presence of QI using the numerical evidences such as spectrum degeneracy, and the exact periodic nature of both the entanglement dynamics and the time-evolved unitary operator. We numerically show the absence of QI for odd $N$ by observing a violation of the signatures of QI. We analytically and numerically find that the maximum value of time-evolved concurrence ($C_{\mbox{max}}$) decreases with $N$, indicating the multipartite nature of entanglement. Possible experiments to verify our results are discussed.


title: Holographic dark energy with Granda-Oliveros cutoff and ansatz based approach: An extended look

abstract: Holographic dark energy models have proven to be a very interesting way to study various aspects of late-time acceleration of the universe. In this work we extensively study HDE models with the Granda-Oliveros cutoff with an ansatz based approach. We consider the Tsallis, Barrow and PLEC HDE models in this regard and consdier simple power law, emergent universe, intermediate and logamediate forms of for the universe. Studying various cosmologically interesting parameters alongside the thermodynamical aspects in these models, we show that the Logamediate models are the best fit out of the other possibilites, followed by the emergent universe model, intermediate model and the simple power law models at the very last in terms of feasibility.


title: An improved Halton sequence for implementation in quasi-Monte Carlo methods

abstract: Despite possessing the low-discrepancy property, the classical d dimensional Halton sequence is known to exhibit poorly distributed projections when d becomes even moderately large. This, in turn, often implies bad performance when implemented in quasi-Monte Carlo (QMC) methods in comparison to, for example, the Sobol' sequence. As an attempt to eradicate this issue, we propose an adapted Halton sequence built by integer and irrational based van der Corput sequences and show empirically improved performance with respect to the accuracy of estimates in numerical integration and simulation. In addition, for the first time, a scrambling algorithm is proposed for irrational based digital sequences.


title: Defeaters and Eliminative Argumentation in Assurance 2.0

abstract: A traditional assurance case employs a positive argument in which reasoning steps, grounded on evidence and assumptions, sustain a top claim that has external significance. Human judgement is required to check the evidence, the assumptions, and the narrative justifications for the reasoning steps; if all are assessed good, then the top claim can be accepted. A valid concern about this process is that human judgement is fallible and prone to confirmation bias. The best defense against this concern is vigorous and skeptical debate and discussion in the manner of a dialectic or Socratic dialog. There is merit in recording aspects of this discussion for the benefit of subsequent developers and assessors. Defeaters are a means doing this: they express doubts about aspects of the argument and can be developed into subcases that confirm or refute the doubts, and can record them as documentation to assist future consideration. This report describes how defeaters, and multiple levels of defeaters, should be represented and assessed in Assurance 2.0 and its Clarissa/ASCE tool support. These mechanisms also support eliminative argumentation, which is a contrary approach to assurance, favored by some, that uses a negative argument to refute all reasons why the top claim could be false.


title: Decision-making algorithm based on the energy of interval-valued fuzzy soft sets

abstract: In our work, we continue to explore the properties of interval-valued fuzzy soft sets, which are obtained by combining interval-valued fuzzy sets and soft sets. We introduce the concept of energy of an interval-valued fuzzy soft set, as well as pessimistic and optimistic energy, enabling us to construct an effective decision-making algorithm. Through examples, the paper demonstrates how the introduced algorithm is successfully applied to problems involving uncertainty. Additionally, we compare the introduced method with other methods dealing with similar or related issues.


title: Towards a Framework for Openness in Foundation Models: Proceedings from the Columbia Convening on Openness in Artificial Intelligence

abstract: Over the past year, there has been a robust debate about the benefits and risks of open sourcing foundation models. However, this discussion has often taken place at a high level of generality or with a narrow focus on specific technical attributes. In part, this is because defining open source for foundation models has proven tricky, given its significant differences from traditional software development. In order to inform more practical and nuanced decisions about opening AI systems, including foundation models, this paper presents a framework for grappling with openness across the AI stack. It summarizes previous work on this topic, analyzes the various potential reasons to pursue openness, and outlines how openness varies in different parts of the AI stack, both at the model and at the system level. In doing so, its authors hope to provide a common descriptive framework to deepen a nuanced and rigorous understanding of openness in AI and enable further work around definitions of openness and safety in AI.


title: Arbitrage equilibria in active matter systems

abstract: The motility-induced phase separation (MIPS) phenomenon in active matter has been of great interest for the past decade or so. A central conceptual puzzle is that this behavior, which is generally characterized as a nonequilibrium phenomenon, can yet be explained using simple equilibrium models of thermodynamics. Here, we address this problem using a new theory, statistical teleodynamics, which is a conceptual synthesis of game theory and statistical mechanics. In this framework, active agents compete in their pursuit of maximum effective utility, and this self-organizing dynamics results in an arbitrage equilibrium in which all agents have the same effective utility. We show that MIPS is an example of arbitrage equilibrium and that it is mathematically equivalent to other phase-separation phenomena in entirely different domains, such as sociology and economics. As examples, we present the behavior of Janus particles in a potential trap and the effect of chemotaxis on MIPS.


title: Explainable Human-AI Interaction: A Planning Perspective

abstract: From its inception, AI has had a rather ambivalent relationship with humans -- swinging between their augmentation and replacement. Now, as AI technologies enter our everyday lives at an ever increasing pace, there is a greater need for AI systems to work synergistically with humans. One critical requirement for such synergistic human-AI interaction is that the AI systems be explainable to the humans in the loop. To do this effectively, AI agents need to go beyond planning with their own models of the world, and take into account the mental model of the human in the loop. Drawing from several years of research in our lab, we will discuss how the AI agent can use these mental models to either conform to human expectations, or change those expectations through explanatory communication. While the main focus of the book is on cooperative scenarios, we will point out how the same mental models can be used for obfuscation and deception. Although the book is primarily driven by our own research in these areas, in every chapter, we will provide ample connections to relevant research from other groups.


title: DSAM: A Deep Learning Framework for Analyzing Temporal and Spatial Dynamics in Brain Networks

abstract: Resting-state functional magnetic resonance imaging (rs-fMRI) is a noninvasive technique pivotal for understanding human neural mechanisms of intricate cognitive processes. Most rs-fMRI studies compute a single static functional connectivity matrix across brain regions of interest, or dynamic functional connectivity matrices with a sliding window approach. These approaches are at risk of oversimplifying brain dynamics and lack proper consideration of the goal at hand. While deep learning has gained substantial popularity for modeling complex relational data, its application to uncovering the spatiotemporal dynamics of the brain is still limited. We propose a novel interpretable deep learning framework that learns goal-specific functional connectivity matrix directly from time series and employs a specialized graph neural network for the final classification. Our model, DSAM, leverages temporal causal convolutional networks to capture the temporal dynamics in both low- and high-level feature representations, a temporal attention unit to identify important time points, a self-attention unit to construct the goal-specific connectivity matrix, and a novel variant of graph neural network to capture the spatial dynamics for downstream classification. To validate our approach, we conducted experiments on the Human Connectome Project dataset with 1075 samples to build and interpret the model for the classification of sex group, and the Adolescent Brain Cognitive Development Dataset with 8520 samples for independent testing. Compared our proposed framework with other state-of-art models, results suggested this novel approach goes beyond the assumption of a fixed connectivity matrix and provides evidence of goal-specific brain connectivity patterns, which opens up the potential to gain deeper insights into how the human brain adapts its functional connectivity specific to the task at hand.


title: Breaking news on last achievements on the definition of the black-body total internal energy

abstract: The internal total-energy of the black-body is a physical quantity of paramount importance in the development of modern physics. Accordingly, together with a brief historical development, we report and comment last breaking news (2018-2024) concerning the definition and properties of this quantity. The first comment concerns with the inclusion of the Casimir energy that avoids the vacuum catastrophe implied by he presence of zero-point energy, thus leading to further quantum contributions associated with boundary effects. The second comment concerns with a semi-classical simulation of a one dimensional black-body whose results suggest a possible reconsideration on the role of classical physics on the quantum black-body.


title: Ringing of the Extreme Regular Black Holes

abstract: We investigate quasinormal ringing in both time and frequency domains for scalar and neutrino perturbations around black hole solutions that simultaneously describe regular and extreme configurations within a non-linear electrodynamics framework. Two types of solutions are considered: those with de Sitter and Minkowski cores. The quasinormal frequencies obtained from two independent methods exhibit excellent agreement. Furthermore, we derive an analytical expression in the eikonal limit and discuss the validity of the correspondence between eikonal quasinormal modes and null geodesics.


title: Ensuring Ground Truth Accuracy in Healthcare with the EVINCE framework

abstract: Misdiagnosis is a significant issue in healthcare, leading to harmful consequences for patients. The propagation of mislabeled data through machine learning models into clinical practice is unacceptable. This paper proposes EVINCE, a system designed to 1) improve diagnosis accuracy and 2) rectify misdiagnoses and minimize training data errors. EVINCE stands for Entropy Variation through Information Duality with Equal Competence, leveraging this novel theory to optimize the diagnostic process using multiple Large Language Models (LLMs) in a structured debate framework. Our empirical study verifies EVINCE to be effective in achieving its design goals.


title: Analytical Correlation in the H$_{2}$ Molecule from the Independent Atom Ansatz

abstract: The independent atom ansatz of density functional theory yields an accurate analytical expression for dynamic correlation energy in the H$_{2}$ molecule: $E_{c} = 0.5(1 - \sqrt{2})(ab|ba)$ for the atom-additive self-consistent density $\rho = |a|^{2} + |b|^{2}$. Combined with exact atomic self-exchange, it recovers more than 99.5 % of nearly exact SCAN exchange-correlation energy at R > 0.5 $\r{A}$, differing by less than 0.12 eV. The total energy functional correctly dissociates the H-H bond and yields absolute errors of 0.002 $\r{A}$, 0.19 eV, and 13 cm$^{-1}$ relative to experiment at the tight binding computational cost. The chemical bond formation is attributed to the asymptotic Heitler-London resonance of quasi-orthogonal atomic states ($- (ab|ba)$) with no contributions from kinetic energy or charge accumulation in the bond.


title: Peripheral Nervous System Responses to Food Stimuli: Analysis Using Data Science Approaches

abstract: In the field of food, as in other fields, the measurement of emotional responses to food and their sensory properties is a major challenge. In the present protocol, we propose a step-by-step procedure that allows a physiological description of odors, aromas, and their hedonic properties. The method rooted in subgroup discovery belongs to the field of data science and especially data mining. It is still little used in the field of food and is based on a descriptive modeling of emotions on the basis of human physiological responses.


title: Maximizing Weighted Dominance in the Plane

abstract: Let P be a set of n weighted points, Q be a set of m unweighted points in the plane, and k a non-negative integer. We consider the problem of computing a subset $Q'\subseteq Q$ with size at most k such that the sum of the weights of the points of P dominated by at least one point in the set Q' is maximized. A point q in the plane dominates another point p if and only if $x(q)\ge x(p)$ and $y(q)\ge y(p)$, and at least one inequality is strict. We present a solution to the problem that takes O(n + m)-space and $O(k \min\{n+m, \frac{n}{k}+m^2\}\log m)$-time. We (conditionally) improve upon the existing result (the bounds of our solution are interesting when $m= o(\sqrt{n}))$. Moreover, we also present a simple algorithm solving the problem in $O(km^2+n\log m)$-time and $O(n+m)$-space. The bounds of the algorithm are interesting when $m= o(\sqrt{n})$.


title: Pseudo Channel: Time Embedding for Motor Imagery Decoding

abstract: Motor imagery (MI) based EEG represents a frontier in enabling direct neural control of external devices and advancing neural rehabilitation. This study introduces a novel time embedding technique, termed traveling-wave based time embedding, utilized as a pseudo channel to enhance the decoding accuracy of MI-EEG signals across various neural network architectures. Unlike traditional neural network methods that fail to account for the temporal dynamics in MI-EEG in individual difference, our approach captures time-related changes for different participants based on a priori knowledge. Through extensive experimentation with multiple participants, we demonstrate that this method not only improves classification accuracy but also exhibits greater adaptability to individual differences compared to position encoding used in Transformer architecture. Significantly, our results reveal that traveling-wave based time embedding crucially enhances decoding accuracy, particularly for participants typically considered "EEG-illiteracy". As a novel direction in EEG research, the traveling-wave based time embedding not only offers fresh insights for neural network decoding strategies but also expands new avenues for research into attention mechanisms in neuroscience and a deeper understanding of EEG signals.


title: From CNNs to Transformers in Multimodal Human Action Recognition: A Survey

abstract: Due to its widespread applications, human action recognition is one of the most widely studied research problems in Computer Vision. Recent studies have shown that addressing it using multimodal data leads to superior performance as compared to relying on a single data modality. During the adoption of deep learning for visual modelling in the last decade, action recognition approaches have mainly relied on Convolutional Neural Networks (CNNs). However, the recent rise of Transformers in visual modelling is now also causing a paradigm shift for the action recognition task. This survey captures this transition while focusing on Multimodal Human Action Recognition (MHAR). Unique to the induction of multimodal computational models is the process of "fusing" the features of the individual data modalities. Hence, we specifically focus on the fusion design aspects of the MHAR approaches. We analyze the classic and emerging techniques in this regard, while also highlighting the popular trends in the adaption of CNN and Transformer building blocks for the overall problem. In particular, we emphasize on recent design choices that have led to more efficient MHAR models. Unlike existing reviews, which discuss Human Action Recognition from a broad perspective, this survey is specifically aimed at pushing the boundaries of MHAR research by identifying promising architectural and fusion design choices to train practicable models. We also provide an outlook of the multimodal datasets from their scale and evaluation viewpoint. Finally, building on the reviewed literature, we discuss the challenges and future avenues for MHAR.


title: Spectral theory for fractal pseudodifferential operators

abstract: The paper deals with the distribution of eigenvalues of the compact fractal pseudodifferential operator $T^\mu_\tau$, \[ \big( T^\mu_\tau f\big)(x) = \int_{\mathbb{R}^n} e^{-ix\xi} \, \tau(x,\xi) \, \big( f\mu \big)^\vee (\xi) \, \mathrm{d} \xi, \qquad x\in \mathbb{R}^n, \] in suitable special Besov spaces $B^s_p (\mathbb{R}^n) = B^s_{p,p} (\mathbb{R}^n)$, $s>0$, $1<p<\infty$. Here $\tau(x,\xi)$ are the symbols of (smooth) pseudodifferential operators belonging to appropriate H\"{o}rmander classes $\Psi^\sigma_{1, \varrho} (\mathbb{R}^n)$, $\sigma <0$, $0 \le \varrho \le 1$ (including the exotic case $\varrho =1$) whereas $\mu$ is the Hausdorff measure of a compact $d$-set $\Gamma$ in $\mathbb{R}^n$, $0<d<n$. This extends previous assertions for the positive-definite selfadjoint fractal differential operator $(\mathrm{id} - \Delta)^{\sigma/2} \mu$ based on Hilbert space arguments in the context of suitable Sobolev spaces $H^s (\mathbb{R}^n) = B^s_2 (\mathbb{R}^n)$. We collect the outcome in the {Main Theorem} below. Proofs are based on estimates for the entropy numbers of the compact trace operator \[ \mathrm{tr}_\mu: \quad B^s_p (\mathbb{R}^n) \hookrightarrow L_p (\Gamma, \mu), \quad s>0, \quad 1<p<\infty. \] We add at the end of the paper a few personal reminiscences illuminating the role of Pietsch in connection with the creation of approximation numbers and entropy numbers.


title: A social path to human-like artificial intelligence

abstract: Traditionally, cognitive and computer scientists have viewed intelligence solipsistically, as a property of unitary agents devoid of social context. Given the success of contemporary learning algorithms, we argue that the bottleneck in artificial intelligence (AI) progress is shifting from data assimilation to novel data generation. We bring together evidence showing that natural intelligence emerges at multiple scales in networks of interacting agents via collective living, social relationships and major evolutionary transitions, which contribute to novel data generation through mechanisms such as population pressures, arms races, Machiavellian selection, social learning and cumulative culture. Many breakthroughs in AI exploit some of these processes, from multi-agent structures enabling algorithms to master complex games like Capture-The-Flag and StarCraft II, to strategic communication in Diplomacy and the shaping of AI data streams by other AIs. Moving beyond a solipsistic view of agency to integrate these mechanisms suggests a path to human-like compounding innovation through ongoing novel data generation.


title: Riemannian Bilevel Optimization

abstract: We develop new algorithms for Riemannian bilevel optimization. We focus in particular on batch and stochastic gradient-based methods, with the explicit goal of avoiding second-order information such as Riemannian hyper-gradients. We propose and analyze $\mathrm{RF^2SA}$, a method that leverages first-order gradient information to navigate the complex geometry of Riemannian manifolds efficiently. Notably, $\mathrm{RF^2SA}$ is a single-loop algorithm, and thus easier to implement and use. Under various setups, including stochastic optimization, we provide explicit convergence rates for reaching $\epsilon$-stationary points. We also address the challenge of optimizing over Riemannian manifolds with constraints by adjusting the multiplier in the Lagrangian, ensuring convergence to the desired solution without requiring access to second-order derivatives.


title: Rethinking the Elementary Function Fusion for Single-Image Dehazing

abstract: This paper addresses the limitations of physical models in the current field of image dehazing by proposing an innovative dehazing network (CL2S). Building on the DM2F model, it identifies issues in its ablation experiments and replaces the original logarithmic function model with a trigonometric (sine) model. This substitution aims to better fit the complex and variable distribution of haze. The approach also integrates the atmospheric scattering model and other elementary functions to enhance dehazing performance. Experimental results demonstrate that CL2S achieves outstanding performance on multiple dehazing datasets, particularly in maintaining image details and color authenticity. Additionally, systematic ablation experiments supplementing DM2F validate the concerns raised about DM2F and confirm the necessity and effectiveness of the functional components in the proposed CL2S model. Our code is available at \url{https://github.com/YesianRohn/CL2S}, where the corresponding pre-trained models can also be accessed.


title: DuanzAI: Slang-Enhanced LLM with Prompt for Humor Understanding

abstract: Language's complexity is evident in the rich tapestry of slang expressions, often laden with humor and cultural nuances. This linguistic phenomenon has become increasingly prevalent, especially in digital communication. However, existing AI models, including ChatGPT-3.5, face challenges in comprehending these nuances, particularly in Chinese slang. In this study, we present DuanzAI, an innovative approach enhancing Large Language Models (LLMs) with deep Chinese slang comprehension. Leveraging curated datasets and advanced techniques, DuanzAI bridges the gap between human expression and AI comprehension, enabling contextually relevant responses. Our experiments contrast LLMs' performance with a custom Punchline Entity Recognition (PER) system, integrating phonetic matching and pinyin2hanzi techniques. Applying these insights, we developed ChatDAI, an advanced chatbot and released our code at \url{https://github.com/YesianRohn/DuanzAI}.


title: Vector Spaces of Linearizations for Multivariable State-Space Systems

abstract: Consider a multivariable state space system and associated transfer function G({\lambda}). The aim of this paper is to define and analyze two vector spaces of matrix pencils associated with the matrix G({\lambda}) and show that almost all of these pencils are linearizations of G({\lambda}). We also construct symmetric/Hermitian linearizations of G({\lambda}) when G({\lambda}) is regular and symmetric/Hermitian.


title: Concurrent Multiphysics and Multiscale Topology Optimization for Lightweight Laser-Driven Porous Actuator Systems

abstract: In this research, multi-physics topology optimization is employed to achieve the detailed design of a lightweight porous linear actuation mechanism that harnesses energy through laser activation. A multiscale topology optimization methodology is introduced for micro- and macroscale design, considering energy dissipation via heat convection and radiation. This investigation meticulously considers the impact of heat dissipation mechanisms, including thermal conduction, convection, and radiation. Through various numerical cases, we systematically explore the influence of micro-scale considerations on porous design and understand the effects on the topology optimization process by incorporating various microstructural systems. The results demonstrate that porous actuator designs exhibit superior performance compared to solid actuator designs. This study contributes to advancing the understanding of multiscale effects in topology optimization, paving the way for more efficient and lightweight designs in the field of laser-activated porous actuators.


title: Reinforcing Language Agents via Policy Optimization with Action Decomposition

abstract: Language models as intelligent agents push the boundaries of sequential decision-making agents but struggle with limited knowledge of environmental dynamics and exponentially huge action space. Recent efforts like GLAM and TWOSOME manually constrain the action space to a restricted subset and employ reinforcement learning to align agents' knowledge with specific environments. However, they overlook fine-grained credit assignments for intra-action tokens, which is essential for efficient language agent optimization, and rely on human's prior knowledge to restrict action space. This paper proposes decomposing language agent optimization from the action level to the token level, offering finer supervision for each intra-action token and manageable optimization complexity in environments with unrestricted action spaces. Beginning with the simplification of flattening all actions, we theoretically explore the discrepancies between action-level optimization and this naive token-level optimization. We then derive the Bellman backup with Action Decomposition (BAD) to integrate credit assignments for both intra-action and inter-action tokens, effectively eliminating the discrepancies. Implementing BAD within the PPO algorithm, we introduce Policy Optimization with Action Decomposition (POAD). POAD benefits from a finer-grained credit assignment process and lower optimization complexity, leading to enhanced learning efficiency and generalization abilities in aligning language agents with interactive environments. We validate POAD across diverse testbeds, with results affirming the advantages of our approach and the correctness of our theoretical analysis.


title: Uniform Algebras: Models and constructive Completeness for Full, Simply Typed {\lambda}Prolog

abstract: This paper introduces a model theory for resolution on Higher Order Hereditarily Harrop formulae (HOHH), the logic underlying the Lambda-Prolog programming language, and proves soundness and completeness of resolution. The semantics and the proof of completeness of the formal system is shown in several ways, suitably adapted to deal with the impredicativity of higher-order logic, which rules out definitions of truth based on induction on formula structure. First, we use the least fixed point of a certain operator on interpretations, in the style of Apt and Van Emden, Then a constructive completeness theorem is given using a proof theoretic variant of the Lindenbaum algebra, which also contains a new approach to establishing cut-elimination.


title: Minimal models and transport properties of unconventional $p$-wave magnets

abstract: New unconventional compensated magnets have been discovered in the wake of altermagnets. We introduce a minimal tight-binding model with a spin-split $p$-wave band structure, clarifying the relation between unconventional $p$-wave magnets and helimagnets. Motivated by the tight-binding model, we construct an effective model suitable for analytical calculations. We evaluate the tunneling conductance in junctions with $p$-wave magnets, revealing a large magnetoresistance despite the absence of a net magnetization. The bulk transport properties reveal anisotropic spin conductivity beyond linear response. These results show that unconventional $p$-wave magnets offer several useful functionalities for spintronics devices.


title: Efficient Mitigation of Bus Bunching through Setter-Based Curriculum Learning

abstract: Curriculum learning has been growing in the domain of reinforcement learning as a method of improving training efficiency for various tasks. It involves modifying the difficulty (lessons) of the environment as the agent learns, in order to encourage more optimal agent behavior and higher reward states. However, most curriculum learning methods currently involve discrete transitions of the curriculum or predefined steps by the programmer or using automatic curriculum learning on only a small subset training such as only on an adversary. In this paper, we propose a novel approach to curriculum learning that uses a Setter Model to automatically generate an action space, adversary strength, initialization, and bunching strength. Transportation and traffic optimization is a well known area of study, especially for reinforcement learning based solutions. We specifically look at the bus bunching problem for the context of this study. The main idea of the problem is to minimize the delays caused by inefficient bus timings for passengers arriving and departing from a system of buses. While the heavy exploration in the area makes innovation and improvement with regards to performance marginal, it simultaneously provides an effective baseline for developing new generalized techniques. Our group is particularly interested in examining curriculum learning and its effect on training efficiency and overall performance. We decide to try a lesser known approach to curriculum learning, in which the curriculum is not fixed or discretely thresholded. Our method for automated curriculum learning involves a curriculum that is dynamically chosen and learned by an adversary network made to increase the difficulty of the agent's training, and defined by multiple forms of input. Our results are shown in the following sections of this paper.


title: Multimarket Contact, Merger, and Airline Collusion

abstract: This thesis investigates the dynamics of multimarket contact and airline mergers on collusive pricing of airlines. In align with Bernheim and Whinston (1990) and Athey et.al.(2004), it detects collusive pricing via pairwise price difference and price rigidity. The piece of work extends previous work by incorporating additional controls such as distinction between non-stop and stopover itineraries and detailed market concentration measures. The findings confirm a significant relationship between multimarket contact and reduced price differences, indicating collusive equilibria facilitated by frequent interactions across markets. Moreover, the results highlight that airlines exhibit more collusive behavior when pricing non-stop flights, and are more likely to attain tacit collusion when they approaches duopoly in a particular market. The study also explores the effects of airline mergers on collusion, employing an event study methodology with a difference-in-difference (DID) design. It finds no direct evidence that mergers lead to increased collusion among unmerged carriers. However, it reveals that during and after the merger process, carrier pairs between merged and unmerged carriers are more likely to collude compared to pairs of unmerged carriers.


title: 3D Learnable Supertoken Transformer for LiDAR Point Cloud Scene Segmentation

abstract: 3D Transformers have achieved great success in point cloud understanding and representation. However, there is still considerable scope for further development in effective and efficient Transformers for large-scale LiDAR point cloud scene segmentation. This paper proposes a novel 3D Transformer framework, named 3D Learnable Supertoken Transformer (3DLST). The key contributions are summarized as follows. Firstly, we introduce the first Dynamic Supertoken Optimization (DSO) block for efficient token clustering and aggregating, where the learnable supertoken definition avoids the time-consuming pre-processing of traditional superpoint generation. Since the learnable supertokens can be dynamically optimized by multi-level deep features during network learning, they are tailored to the semantic homogeneity-aware token clustering. Secondly, an efficient Cross-Attention-guided Upsampling (CAU) block is proposed for token reconstruction from optimized supertokens. Thirdly, the 3DLST is equipped with a novel W-net architecture instead of the common U-net design, which is more suitable for Transformer-based feature learning. The SOTA performance on three challenging LiDAR datasets (airborne MultiSpectral LiDAR (MS-LiDAR) (89.3% of the average F1 score), DALES (80.2% of mIoU), and Toronto-3D dataset (80.4% of mIoU)) demonstrate the superiority of 3DLST and its strong adaptability to various LiDAR point cloud data (airborne MS-LiDAR, aerial LiDAR, and vehicle-mounted LiDAR data). Furthermore, 3DLST also achieves satisfactory results in terms of algorithm efficiency, which is up to 5x faster than previous best-performing methods.


title: Efficient Point Transformer with Dynamic Token Aggregating for Point Cloud Processing

abstract: Recently, point cloud processing and analysis have made great progress due to the development of 3D Transformers. However, existing 3D Transformer methods usually are computationally expensive and inefficient due to their huge and redundant attention maps. They also tend to be slow due to requiring time-consuming point cloud sampling and grouping processes. To address these issues, we propose an efficient point TransFormer with Dynamic Token Aggregating (DTA-Former) for point cloud representation and processing. Firstly, we propose an efficient Learnable Token Sparsification (LTS) block, which considers both local and global semantic information for the adaptive selection of key tokens. Secondly, to achieve the feature aggregation for sparsified tokens, we present the first Dynamic Token Aggregating (DTA) block in the 3D Transformer paradigm, providing our model with strong aggregated features while preventing information loss. After that, a dual-attention Transformer-based Global Feature Enhancement (GFE) block is used to improve the representation capability of the model. Equipped with LTS, DTA, and GFE blocks, DTA-Former achieves excellent classification results via hierarchical feature learning. Lastly, a novel Iterative Token Reconstruction (ITR) block is introduced for dense prediction whereby the semantic features of tokens and their semantic relationships are gradually optimized during iterative reconstruction. Based on ITR, we propose a new W-net architecture, which is more suitable for Transformer-based feature learning than the common U-net design. Extensive experiments demonstrate the superiority of our method. It achieves SOTA performance with up to 30$\times$ faster than prior point Transformers on ModelNet40, ShapeNet, and airborne MultiSpectral LiDAR (MS-LiDAR) datasets.


title: Oil & Water? Diffusion of AI Within and Across Scientific Fields

abstract: This study empirically investigates claims of the increasing ubiquity of artificial intelligence (AI) within roughly 80 million research publications across 20 diverse scientific fields, by examining the change in scholarly engagement with AI from 1985 through 2022. We observe exponential growth, with AI-engaged publications increasing approximately thirteenfold (13x) across all fields, suggesting a dramatic shift from niche to mainstream. Moreover, we provide the first empirical examination of the distribution of AI-engaged publications across publication venues within individual fields, with results that reveal a broadening of AI engagement within disciplines. While this broadening engagement suggests a move toward greater disciplinary integration in every field, increased ubiquity is associated with a semantic tension between AI-engaged research and more traditional disciplinary research. Through an analysis of tens of millions of document embeddings, we observe a complex interplay between AI-engaged and non-AI-engaged research within and across fields, suggesting that increasing ubiquity is something of an oil-and-water phenomenon -- AI-engaged work is spreading out over fields, but not mixing well with non-AI-engaged work.


title: Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning

abstract: Intelligent Cyber-Physical Systems (ICPS) represent a specialized form of Cyber-Physical System (CPS) that incorporates intelligent components, notably Convolutional Neural Networks (CNNs) and Deep Reinforcement Learning (DRL), to undertake multifaceted tasks encompassing perception, decision-making, and control. The utilization of DRL for decision-making facilitates dynamic interaction with the environment, generating control actions aimed at maximizing cumulative rewards. Nevertheless, the inherent uncertainty of the operational environment and the intricate nature of ICPS necessitate exploration within complex and dynamic state spaces during the learning phase. DRL confronts challenges in terms of efficiency, generalization capabilities, and data scarcity during decision-making process. In response to these challenges, we propose an innovative abstract modeling approach grounded in spatial-temporal value semantics, capturing the evolution in the distribution of semantic value across time and space. A semantics-based abstraction is introduced to construct an abstract Markov Decision Process (MDP) for the DRL learning process. Furthermore, optimization techniques for abstraction are delineated, aiming to refine the abstract model and mitigate semantic gaps between abstract and concrete states. The efficacy of the abstract modeling is assessed through the evaluation and analysis of the abstract MDP model using PRISM. A series of experiments are conducted, involving diverse scenarios such as lane-keeping, adaptive cruise control, and intersection crossroad assistance, to demonstrate the effectiveness of our abstracting approach.


title: Diff-DTI: Fast Diffusion Tensor Imaging Using A Feature-Enhanced Joint Diffusion Model

abstract: Magnetic resonance diffusion tensor imaging (DTI) is a critical tool for neural disease diagnosis. However, long scan time greatly hinders the widespread clinical use of DTI. To accelerate image acquisition, a feature-enhanced joint diffusion model (Diff-DTI) is proposed to obtain accurate DTI parameter maps from a limited number of diffusion-weighted images (DWIs). Diff-DTI introduces a joint diffusion model that directly learns the joint probability distribution of DWIs with DTI parametric maps for conditional generation. Additionally, a feature enhancement fusion mechanism (FEFM) is designed and incorporated into the generative process of Diff-DTI to preserve fine structures in the generated DTI maps. A comprehensive evaluation of the performance of Diff-DTI was conducted on the Human Connectome Project dataset. The results demonstrate that Diff-DTI outperforms existing state-of-the-art fast DTI imaging methods in terms of visual quality and quantitative metrics. Furthermore, Diff-DTI has shown the ability to produce high-fidelity DTI maps with only three DWIs, thus overcoming the requirement of a minimum of six DWIs for DTI.


title: Transmission Interface Power Flow Adjustment: A Deep Reinforcement Learning Approach based on Multi-task Attribution Map

abstract: Transmission interface power flow adjustment is a critical measure to ensure the security and economy operation of power systems. However, conventional model-based adjustment schemes are limited by the increasing variations and uncertainties occur in power systems, where the adjustment problems of different transmission interfaces are often treated as several independent tasks, ignoring their coupling relationship and even leading to conflict decisions. In this paper, we introduce a novel data-driven deep reinforcement learning (DRL) approach, to handle multiple power flow adjustment tasks jointly instead of learning each task from scratch. At the heart of the proposed method is a multi-task attribution map (MAM), which enables the DRL agent to explicitly attribute each transmission interface task to different power system nodes with task-adaptive attention weights. Based on this MAM, the agent can further provide effective strategies to solve the multi-task adjustment problem with a near-optimal operation cost. Simulation results on the IEEE 118-bus system, a realistic 300-bus system in China, and a very large European system with 9241 buses demonstrate that the proposed method significantly improves the performance compared with several baseline methods, and exhibits high interpretability with the learnable MAM.


title: DETECTA 2.0: Research into non-intrusive methodologies supported by Industry 4.0 enabling technologies for predictive and cyber-secure maintenance in SMEs

abstract: The integration of predictive maintenance and cybersecurity represents a transformative advancement for small and medium-sized enterprises (SMEs) operating within the Industry 4.0 paradigm. Despite their economic importance, SMEs often face significant challenges in adopting advanced technologies due to resource constraints and knowledge gaps. The DETECTA 2.0 project addresses these hurdles by developing an innovative system that harmonizes real-time anomaly detection, sophisticated analytics, and predictive forecasting capabilities. The system employs a semi-supervised methodology, combining unsupervised anomaly detection with supervised learning techniques. This approach enables more agile and cost-effective development of AI detection systems, significantly reducing the time required for manual case review. At the core lies a Digital Twin interface, providing intuitive real-time visualizations of machine states and detected anomalies. Leveraging cutting-edge AI engines, the system intelligently categorizes anomalies based on observed patterns, differentiating between technical errors and potential cybersecurity incidents. This discernment is fortified by detailed analytics, including certainty levels that enhance alert reliability and minimize false positives. The predictive engine uses advanced time series algorithms like N-HiTS to forecast future machine utilization trends. This proactive approach optimizes maintenance planning, enhances cybersecurity measures, and minimizes unplanned downtimes despite variable production processes. With its modular architecture enabling seamless integration across industrial setups and low implementation costs, DETECTA 2.0 presents an attractive solution for SMEs to strengthen their predictive maintenance and cybersecurity strategies.


title: DSPO: An End-to-End Framework for Direct Sorted Portfolio Construction

abstract: In quantitative investment, constructing characteristic-sorted portfolios is a crucial strategy for asset allocation. Traditional methods transform raw stock data of varying frequencies into predictive characteristic factors for asset sorting, often requiring extensive manual design and misalignment between prediction and optimization goals. To address these challenges, we introduce Direct Sorted Portfolio Optimization (DSPO), an innovative end-to-end framework that efficiently processes raw stock data to construct sorted portfolios directly. DSPO's neural network architecture seamlessly transitions stock data from input to output while effectively modeling the intra-dependency of time-steps and inter-dependency among all tradable stocks. Additionally, we incorporate a novel Monotonical Logistic Regression loss, which directly maximizes the likelihood of constructing optimal sorted portfolios. To the best of our knowledge, DSPO is the first method capable of handling market cross-sections with thousands of tradable stocks fully end-to-end from raw multi-frequency data. Empirical results demonstrate DSPO's effectiveness, yielding a RankIC of 10.12\% and an accumulated return of 121.94\% on the New York Stock Exchange in 2023-2024, and a RankIC of 9.11\% with a return of 108.74\% in other markets during 2021-2022.


title: A Fisher-Rao gradient flow for entropic mean-field min-max games

abstract: Gradient flows play a substantial role in addressing many machine learning problems. We examine the convergence in continuous-time of a \textit{Fisher-Rao} (Mean-Field Birth-Death) gradient flow in the context of solving convex-concave min-max games with entropy regularization. We propose appropriate Lyapunov functions to demonstrate convergence with explicit rates to the unique mixed Nash equilibrium.


title: Analyzing the Impact of Climate Change With Major Emphasis on Pollution: A Comparative Study of ML and Statistical Models in Time Series Data

abstract: Industrial operations have grown exponentially over the last century, driving advancements in energy utilization through vehicles and machinery.This growth has significant environmental implications, necessitating the use of sophisticated technology to monitor and analyze climate data.The surge in industrial activities presents a complex challenge in forecasting its diverse environmental impacts, which vary greatly across different regions.Aim to understand these dynamics more deeply to predict and mitigate the environmental impacts of industrial activities.


title: Graph Random Walk for Time-of-Flight Charge Mobilities

abstract: We present a graph random walk (GRW) method for the study of charge transport properties of complex molecular materials in the time-of-flight regime. The molecules forming the material are represented by the vertices of a directed weighted graph, and the charge carriers are random walkers. The edge weights are rates for elementary jumping processes for a charge carrier to move along the edge and are determined from a combination of the energies of the involved vertices and an interaction strength. Exclusions are built into the random walk to account for the Pauli exclusion principle. In time-of-flight experiments, charge carriers are injected into the material and the time until they reach a collecting electrode is recorded. In this setting, our GRW approach allows direct evaluation of the expected hitting time of the collecting nodes in the graph in terms of a typically sparse, linear system, thereby avoiding numerically cumbersome and potentially fluctuations-prone methods based on explicit time evolution from solutions of a high-dimensional system of coupled ordinary differential equations (the Master Equation) or from kinetic Monte Carlo (KMC). We validate the GRW approach by conducting numerical studies of charge dynamics of single and multiple carriers in diffusive and drift-diffusive regimes using a surrogate lattice model. The surrogate model allows varying types and strengths of energetic disorder from the reference baseline. Comparison with results from the Master Equation confirms the theoretical equivalence of both approaches also in numerical implementations. We further show that KMC results show substantial deviations due to inadequate sampling. All in all, we find that the GRW method provides a powerful alternative to the more commonly used methods without sampling issues and with the benefit of making use of sparse matrix methods.


title: An Audio-Based Iterative Controller for Soft Landing of Electromechanical Relays

abstract: Electromechanical relays and contactors suffer from strong collisions at the end of the switching operations. This causes several undesirable phenomena, such as clicking, mechanical wear and contact bounce. Thus, there is great interest in mitigating these switching impacts while keeping the advantageous features of these devices. This paper proposes a complete control strategy for soft landing. The control structure includes three main components. The first one is a real-time flux-tracking feedback controller, which presents several advantages over voltage or current control. The second one is a feedforward controller, which computes the flux reference signal based on a proposed dynamical model and the desired position trajectory for the switching operations. Lastly, the third control component is a learning-type run-to-run adaptation law that iteratively adapts the model parameters based on an audio signal. It exploits the repetitive nature of these devices in order to circumvent modeling discrepancies due to unit-to-unit variability or small changes between operations. The effectiveness of the proposed control is demonstrated through various experiments.


title: What You Shouldn't Know About Quantum Computers

abstract: Whether you're a CEO strategizing the future of your company, a tech enthusiast debating your next career move, a high school teacher eager to enlighten your students, or simply tired of the relentless quantum hype, this is crafted just for you. Cutting through the complex jargon to deliver the straight facts on quantum computing, peeling away the layers of mystique to reveal the true potential and limitations of this groundbreaking technology. Prepare to have your misconceptions challenged, and your understanding deepened in this clear-eyed view of the quantum future, written to inform and inspire readers across the spectrum of curiosity and need.


title: Balancing and Lucas-balancing numbers as difference of two repdigits

abstract: Positive integers with all digits equal are called repdigits. In this paper, we find all balancing and Lucas-balancing numbers, which can be expressed as the difference of two repdigits. The method of proof involves the application of Baker's theory for linear forms in logarithms of algebraic numbers and the Baker-Davenport reduction procedure.


title: Learning the Language of Protein Structure

abstract: Representation learning and \emph{de novo} generation of proteins are pivotal computational biology tasks. Whilst natural language processing (NLP) techniques have proven highly effective for protein sequence modelling, structure modelling presents a complex challenge, primarily due to its continuous and three-dimensional nature. Motivated by this discrepancy, we introduce an approach using a vector-quantized autoencoder that effectively tokenizes protein structures into discrete representations. This method transforms the continuous, complex space of protein structures into a manageable, discrete format with a codebook ranging from 4096 to 64000 tokens, achieving high-fidelity reconstructions with backbone root mean square deviations (RMSD) of approximately 1-5 \AA. To demonstrate the efficacy of our learned representations, we show that a simple GPT model trained on our codebooks can generate novel, diverse, and designable protein structures. Our approach not only provides representations of protein structure, but also mitigates the challenges of disparate modal representations and sets a foundation for seamless, multi-modal integration, enhancing the capabilities of computational methods in protein design.


title: Dual network structure of the AV node

abstract: Biological systems, particularly the brain, are frequently analyzed as networks, conveying mechanistic insights into their function and pathophysiology. This is the first study of a functional network of cardiac tissue. We use calcium imaging to obtain two functional networks in a subsidiary but essential pacemaker of the heart, the atrioventricular node (AVN). The AVN is a small cellular structure with dual functions: a) to delay the pacemaker signal passing from the sinoatrial node (SAN) to the ventricles, and b) to serve as a back-up pacemaker should the primary SAN pacemaker fail. Failure of the AVN can lead to syncope and death. We found that the shortest path lengths and clustering coefficients of the AVN are remarkably similar to those of the brain. The network is ``small-world," thus optimized for energy use vs transmission efficiency. We further study the network properties of AVN tissue with knock-out of the sodium-calcium exchange transporter. In this case, the average shortest path-lengths remained nearly unchanged showing network resilience, while the clustering coefficient was somewhat reduced, similar to schizophrenia in brain networks. When we removed the global action potential using principal component analysis (PCA) in wild-type model, the network lost its ``small-world" characteristics with less information-passing efficiency due to longer shortest path lengths but more robust signal propagation resulting from higher clustering. These two wild-type networks (with and without global action potential) may correspond to fast and slow conduction pathways. Laslty, a one-parameter non-linear preferential attachment model is a good fit to all three AVN networks.


title: Model Cascading for Code: Reducing Inference Costs with Model Cascading for LLM Based Code Generation

abstract: The rapid development of large language models (LLMs) has led to significant advancements in code completion tasks. While larger models have higher accuracy, they also cost much more to run. Meanwhile, model cascading has been proven effective to conserve computational resources while enhancing accuracy in LLMs on natural language generation tasks. It generates output with the smallest model in a set, and only queries the larger models when it fails to meet predefined quality criteria. However, this strategy has not been used in code completion tasks, primarily because assessing the quality of code completions differs substantially from assessing natural language, where the former relies heavily on the functional correctness. To address this, we propose letting each model generate and execute a set of test cases for their solutions, and use the test results as the cascading threshold. We show that our model cascading strategy reduces computational costs while increases accuracy compared to generating the output with a single model. We also introduce a heuristics to determine the optimal combination of the number of solutions, test cases, and test lines each model should generate, based on the budget. Compared to speculative decoding, our method works on black-box models, having the same level of cost-accuracy trade-off, yet providing much more choices based on the server's budget. Ours is the first work to optimize cost-accuracy trade-off for LLM code generation with model cascading.


title: SpotNet: An Image Centric, Lidar Anchored Approach To Long Range Perception

abstract: In this paper, we propose SpotNet: a fast, single stage, image-centric but LiDAR anchored approach for long range 3D object detection. We demonstrate that our approach to LiDAR/image sensor fusion, combined with the joint learning of 2D and 3D detection tasks, can lead to accurate 3D object detection with very sparse LiDAR support. Unlike more recent bird's-eye-view (BEV) sensor-fusion methods which scale with range $r$ as $O(r^2)$, SpotNet scales as $O(1)$ with range. We argue that such an architecture is ideally suited to leverage each sensor's strength, i.e. semantic understanding from images and accurate range finding from LiDAR data. Finally we show that anchoring detections on LiDAR points removes the need to regress distances, and so the architecture is able to transfer from 2MP to 8MP resolution images without re-training.


title: Near subsonic solar wind outflow from an active region

abstract: During Parker Solar Probe (Parker) Encounter 15 (E15), we observe an 18-hour period of near subsonic ($\mathrm{M_S \sim}$ 1) and sub-Alfv\'enic (SA), $\mathrm{M_A}$ <<< 1, slow speed solar wind from 22 to 15.6 R$_\odot$. As the most extreme SA interval measured to date and skirting the solar wind sonic point, it is the deepest Parker has probed into the formation and acceleration region of the solar wind in the corona. The stream is also measured by Wind and MMS near 1AU at times consistent with ballistic propagation of this slow stream. We investigate the stream source, properties and potential coronal heating consequences via combining these observations with coronal modeling and turbulence analysis. Through source mapping, in situ evidence and multi-point arrival time considerations of a candidate CME, we determine the stream is a steady (non-transient), long-lived and approximately Parker spiral aligned and arises from overexpanded field lines mapping back to an active region. Turbulence analysis of the Els\"{a}sser variables shows the inertial range scaling of the $\mathrm{\mathbf{z}^{+}}$ mode ($\mathrm{f \sim ^{-3/2}}$) to be dominated by the slab component. We discuss the spectral flattening and difficulties associated with measuring the $\mathrm{\mathbf{z}^{-}}$ spectra, cautioning against making definitive conclusions from the $\mathrm{\mathbf{z}^{-}}$ mode. Despite being more extreme than prior sub-Alfv\'enic intervals, its turbulent nature does not appear to be qualitatively different from previously observed streams. We conclude that this extreme low dynamic pressure solar wind interval (which has the potential for extreme space weather conditions) is a large, steady structure spanning at least to 1AU.


title: The Final Frontier for Proton Decay

abstract: We present a novel experimental concept to search for proton decay. Using paleo-detectors, ancient minerals acquired from deep underground which can hold traces of charged particles, it may be possible to conduct a search for $p \to \bar{\nu} K^+$ via the track produced at the endpoint of the kaon. Such a search is not possible on Earth due to large atmospheric-neutrino-induced backgrounds. However, the Moon offers a reprieve from this background, since the conventional component of the cosmic-ray-induced neutrino flux at the Moon is significantly suppressed due to the Moon's lack of atmosphere. For a 100 g, $10^9$ year old (100 kton$\cdot$year exposure) sample of olivine extracted from the Moon, we expect about 0.5 kaon endpoints due to neutrino backgrounds, including secondary interactions. If such a lunar paleo-detector sample can be acquired and efficiently analyzed, proton decay sensitivity exceeding $\tau_p\sim10^{34}$ years may be achieved, competitive with Super-Kamiokande's current published limit ($\tau_p>5.9\times 10^{33}$ years at 90% CL) and the projected reach of DUNE and Hyper-Kamiokande in the $p \to \bar{\nu} K^+$ channel. This concept is clearly futuristic, not least since it relies on extracting mineral samples from a few kilometers below the surface of the Moon and then efficiently scanning them for kaon endpoint induced crystal defects with sub-micron-scale resolution. However, the search for proton decay is in urgent need of a paradigm shift, and paleo-detectors could provide a promising alternative to conventional experiments.

categories: hep-ph astro-ph.IM hep-ex physics.ins-det


title: On multipoint Ward identities for superconformal line defects

abstract: Superconformal Ward identities are revisited in the context of superconformal line defects. Multipoint correlators of topological operators inserted on superconformal lines are studied. In particular, it is known that protected operators preserving enough of the supersymmetry become topological after performing a topological twist. By definition, such a correlator is constant in the topological limit. By analysing the topological constraint on the OPE of such operators, the correlator is further constrained away from this limit. The constraints on multipoint correlators match the known superconformal Ward identities in the case of 4-point functions. This allows for an simple and universal derivation of the superconformal Ward identities governing the multipoint correlation functions of such operators. This concept is illustrated by 1/2-BPS operators with an $su(2)$ R-symmetry and further explored in the case of the displacement multiplet on the 1/2-BPS Wilson line in 4d $\mathcal{N}=4$ super Yang-Mills theory supporting the conjectured multipoint Ward identities in the literature.


title: Constraining the Higgs Potential with Neural Simulation-based Inference for Di-Higgs Production

abstract: Determining the form of the Higgs potential is one of the most exciting challenges of modern particle physics. Higgs pair production directly probes the Higgs self-coupling and should be observed in the near future at the High-Luminosity LHC. We explore how to improve the sensitivity to physics beyond the Standard Model through per-event kinematics for di-Higgs events. In particular, we employ machine learning through simulation-based inference to estimate per-event likelihood ratios and gauge potential sensitivity gains from including this kinematic information. In terms of the Standard Model Effective Field Theory, we find that adding a limited number of observables can help to remove degeneracies in Wilson coefficient likelihoods and significantly improve the experimental sensitivity.


title: Integrable models on Rydberg atom chains

abstract: We initiate a systematic study of integrable models for spin chains with constrained Hilbert spaces; we focus on spin-1/2 chains with the Rydberg constraint. We extend earlier results for medium-range spin chains to the constrained Hilbert space, and formulate an integrability condition. This enables us to construct new integrable models with fixed interaction ranges. We classify all time- and space-reflection symmetric integrable Rydberg-constrained Hamiltonians of range 3 and 4. At range 3, we find a single family of integrable Hamiltonians: the so-called RSOS quantum chains, which are related to the well-known RSOS models of Andrews, Baxter, and Forrester. At range 4 we find two families of models, the first of which is the constrained XXZ model. We also find a new family of models depending on a single coupling $z$. We provide evidence of two critical points related to the golden ratio $\phi$, at $z=\phi^{-1/2}$ and $z=\phi^{3/2}$. We also perform a partial classification of integrable Hamiltonians for range 5.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP nlin.SI


title: Complementarity for a Dynamical Black Hole

abstract: Black hole complementarity posits that the interior of a black hole is not independent from its Hawking radiation. This leads to an apparent violation of causality: the interior can be acausally affected by operators acting solely on the radiation. We argue that this perspective is misleading and that the black hole interior must be viewed as existing in the causal past of the Hawking radiation, despite the fact that they are spacelike separated in the semiclassical description. Consequently, no operation on the Hawking radiation -- no matter how complex -- can affect the experience of an infalling observer. The black hole interior and the radiation only appear spacelike separated in the semiclassical description because an infalling observer's ability to access complex information is limited; the chaotic dynamics on the horizon, as viewed from the exterior, then converts any effect caused by such an observer to information in the Hawking radiation which cannot be accessed at the semiclassical level. We arrive at the picture described above by considering a unitary exterior description in which the flow of information is strictly causal, which we extend to apply throughout the entire history of black hole evolution, including its formation. This description uses the stretched event horizon as an inner edge of spacetime, on which the information inside is holographically encoded. We argue that the global spacetime picture arises from coarse-graining over black hole microstates, and discuss its relationship with the exterior description.


title: Deep learning insights into non-universality in the halo mass function

abstract: The abundance of dark matter haloes is a key cosmological probe in forthcoming galaxy surveys. The theoretical understanding of the halo mass function (HMF) is limited by our incomplete knowledge of the origin of non-universality and its cosmological parameter dependence. We present a deep learning model which compresses the linear matter power spectrum into three independent factors which are necessary and sufficient to describe the $z=0$ HMF from the state-of-the-art AEMULUS emulator to sub-per cent accuracy in a $w$CDM$+N_\mathrm{eff}$ parameter space. Additional information about growth history does not improve the accuracy of HMF predictions if the matter power spectrum is already provided as input, because required aspects of the former can be inferred from the latter. The three factors carry information about the universal and non-universal aspects of the HMF, which we interrogate via the information-theoretic measure of mutual information. We find that non-universality is captured by recent growth history after matter-dark-energy equality and $N_\mathrm{eff}$ for $M\sim 10^{13} \, \mathrm{M_\odot}\, h^{-1}$ haloes, and by $\Omega_{\rm m}$ for $M\sim 10^{15} \, \mathrm{M_\odot}\, h^{-1}$. The compact representation learnt by our model can inform the design of emulator training sets to achieve high emulator accuracy with fewer simulations.


title: Forecasting the Population of Globular Cluster Streams in Milky Way-type Galaxies

abstract: Thin stellar streams originating from globular clusters are among the most sensitive tracers of low-mass dark-matter subhalos. Joint analysis of the entire population of stellar streams will place the most robust constraints on the dark-matter subhalo mass function, and therefore the nature of dark matter. Here we use a hierarchical model of globular cluster formation to forecast the total number, masses and radial distribution of dissolved globular cluster in Milky Way-like galaxies. Furthermore, we generate mock stellar streams from these progenitors' orbital histories taking into account the clusters' formation and accretion time, mass, and metallicity. Out of $\sim$10,000 clusters more massive than $10^4$ M$_{\odot}$, $\sim$9000 dissolved in the central bulge and are fully phase-mixed at the present, while the remaining $\sim$1000 survive as coherent stellar streams. This suggests that the current census of $\sim$80 globular cluster streams in the Milky Way is severely incomplete. Beyond 15 kpc from the Galactic center we are missing hundreds of streams, of which the vast majority are from accreted GCs. Deep Rubin photometry $(g\lesssim27.5)$ would be able to detect these streams, even the most distant ones beyond $> 75$ kpc. We also find that M31 will have an abundance of streams at galactocentric radii of 30-100 kpc. We conclude that future surveys will find a multitude of stellar streams from globular clusters which can be used for dark matter subhalo searches.


title: When to interfere with dark matter? The impact of wave dynamics on statistics

abstract: Ultralight candidates for dark matter can present wavelike features on astrophysical scales. Full wave based simulations of such candidates are currently limited to box sizes of 1--10 Mpc/$h$ on a side, limiting our understanding of the impact of wave dynamics on the scale of the cosmic web. We present a statistical analysis of density fields produced by perturbative forward models in boxes of 128 Mpc/$h$ side length. Our wave-based perturbation theory maintains interference on all scales, and is compared to fluid dynamics of Lagrangian perturbation theory. The impact of suppressed power in the initial conditions and interference effects caused by wave dynamics can then be disentangled. We find that changing the initial conditions captures most of the change in one-point statistics such as the skewness of the density field. However, different environments of the cosmic web, quantified by critical points of the smoothed density, appear to be more sensitive to interference effects sourced by the quantum potential. This suggests that certain large-scale summary statistics may need additional care when studying cosmologies with wavelike dark matter.


title: Anomaly inflow for CSS and fractonic lattice models and dualities via cluster state measurement

abstract: Calderbank-Shor-Steane (CSS) codes are a class of quantum error correction codes that contains the toric code and fracton models. A procedure called foliation defines a cluster state for a given CSS code. We use the CSS chain complex and its tensor product with other chain complexes to describe the topological structure in the foliated cluster state, and argue that it has a symmetry-protected topological order protected by generalized global symmetries supported on cycles in the foliated CSS chain complex. We demonstrate the so-called anomaly inflow between CSS codes and corresponding foliated cluster states by explicitly showing the equality of the gauge transformations of the bulk and boundary partition functions defined as functionals of defect world-volumes. We show that the bulk and boundary defects are related via measurement of the bulk system. Further, we provide a procedure to obtain statistical models associated with general CSS codes via the foliated cluster state, and derive a generalization of the Kramers-Wannier-Wegner duality for such statistical models with insertion of twist defects. We also study the measurement-assisted gauging method with cluster-state entanglers for CSS/fracton models based on recent proposals in the literature, and demonstrate a non-invertible fusion of duality operators. Using the cluster-state entanglers, we construct the so-called strange correlator for general CSS/fracton models. Finally, we introduce a new family of subsystem-symmetric quantum models each of which is self-dual under the generalized Kramers-Wannier-Wegner duality transformation, which becomes a non-invertible symmetry.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Accommodating Fabrication Defects on Floquet Codes with Minimal Hardware Requirements

abstract: Floquet codes are an intriguing generalisation of stabiliser and subsystem codes, which can provide good fault-tolerant characteristics while benefiting from reduced connectivity requirements in hardware. A recent question of interest has been how to run Floquet codes on devices which have defective -- and therefore unusable -- qubits. This is an under-studied issue of crucial importance for running such codes on realistic hardware. To address this challenge, we introduce a new method of accommodating defective qubits on a wide range of two-dimensional Floquet codes, which requires no additional connectivity in the underlying quantum hardware, no modifications to the original Floquet code's measurement schedule, can accommodate boundaries, and is optimal in terms of the number of qubits and stabilisers removed. We numerically demonstrate that, using this method, the planar honeycomb code is fault tolerant up to a fabrication defect probability of $\approx 12\%$. We find the fault-tolerant performance of this code under defect noise is competitive with that of the surface code, despite its sparser connectivity. We finally propose multiple ways this approach can be adapted to the underlying hardware, through utilising any additional connectivity available, and treating defective auxiliary qubits separately to defective data qubits. Our work therefore serves as a guide for the implementation of Floquet codes in realistic quantum hardware.


title: Camelidae on BOAT: observation of a second spectral component in GRB 221009A

abstract: Observing and understanding the origin of the very-high-energy (VHE) spectral component in gamma-ray bursts (GRBs) has been challenging because of the lack of sensitivity in MeV-GeV observations, so far. The majestic GRB 221009A, known as the brightest of all times (BOAT), offers a unique opportunity to identify spectral components during the prompt and early afterglow phases and probe their origin. Analyzing simultaneous observations spanning from keV to TeV energies, we identified two distinct spectral components during the initial 20 minutes of the burst. The second spectral component peaks between $10-300$ GeV, and the bolometric fluence (10 MeV-10 TeV) is estimated to be greater than 2$\times10^{-3}$ erg/ cm$^{2}$. Performing broad-band spectral modeling, we provide constraints on the magnetic field and the energies of electrons accelerated in the external relativistic shock. We interpret the VHE component as an afterglow emission that is affected by luminous prompt MeV radiation at early times.


title: A singular perturbation approach to the Dirichlet-area minimisation problem

abstract: We study both one and two-phase minimisers of the Dirichlet-area energy $$E(v) = \int_{B_1} \vert\nabla v\vert^2 + Per(\{v>0\},B_1).$$ In the two-phase case, we show that the energies $$E_{\varepsilon}(v) = \int_{B_1}\vert\nabla v\vert^2 + \frac{1}{\varepsilon}W\left(\frac{v}{\varepsilon^{1/2}}\right),$$ $\Gamma$-converge to $E$ as $\varepsilon \to 0$, where $W$ is the double well potential extended by zero outside of $[-1,1]$ . As a consequence, we show that bounded local minimisers of $E_{\varepsilon}$ converge to a local minimiser of $E$.


title: Multi-frequency control and measurement of a spin-7/2 system encoded in a transmon qudit

abstract: Qudits hold great promise for efficient quantum computation and the simulation of high-dimensional quantum systems. Utilizing a local Hilbert space of dimension d > 2 is known to speed up certain quantum algorithms relative to their qubit counterparts given efficient local qudit control and measurement. However, the direct realization of high-dimensional rotations and projectors has proved challenging, with most experiments relying on decompositions of SU(d) operations into series of rotations between two-level subspaces of adjacent states and projective readout of a small number of states. Here we employ simultaneous multi-frequency drives to generate rotations and projections in an effective spin-7/2 system by mapping it onto the energy eigenstates of a superconducting circuit. We implement single-shot readout of the 8 states using a multi-tone dispersive readout (F_assignment = 88.3%) and exploit the strong nonlinearity in a high EJ/EC transmon to simultaneously address each transition and realize a spin displacement operator. By combining the displacement operator with a virtual SNAP gate, we realize arbitrary single-qudit unitary operations in O(d) physical pulses and extract spin displacement gate fidelities ranging from 0.997 to 0.989 for virtual spins of size j = 1 to j = 7/2. These native qudit operations could be combined with entangling operations to explore qudit-based error correction or simulations of lattice gauge theories with qudits. Our multi-frequency approach to qudit control and measurement can be readily extended to other physical platforms that realize a multi-level system coupled to a cavity and can become a building block for efficient qudit-based quantum computation and simulation.


title: Gravitational wave signatures of cogenesis from a burdened PBH

abstract: We explore the possibility of explaining the observed dark matter (DM) relic abundance, along with matter-antimatter asymmetry, entirely from the evaporation of primordial black holes (PBH), beyond the semi-classical approximation. We find that, depending on the timing of modification to the semi-classical approximation and the efficiency of the backreaction, it is possible to produce the correct DM abundance for PBHs with masses $\gtrsim\mathcal{O}(10^3)$ g, whereas producing the right amount of baryon asymmetry requires light PBHs with masses $\lesssim\mathcal{O}(10^2)$ g, satisfying bounds on the PBH mass from the Cosmic Microwave Background and Big Bang Nucleosynthesis. However, in a simplistic scenario, achieving both {\it simultaneously} is not feasible, typically because of the stringent Lyman-$\alpha$ constraint on warm dark matter mass. We also demonstrate how induced gravitational waves from PBH density fluctuations can provide a window to test the memory-burden effects, thereby placing constraints on either the DM mass scale or the scale of leptogenesis.