title: Hyp-OC: Hyperbolic One Class Classification for Face Anti-Spoofing

abstract: Face recognition technology has become an integral part of modern security systems and user authentication processes. However, these systems are vulnerable to spoofing attacks and can easily be circumvented. Most prior research in face anti-spoofing (FAS) approaches it as a two-class classification task where models are trained on real samples and known spoof attacks and tested for detection performance on unknown spoof attacks. However, in practice, FAS should be treated as a one-class classification task where, while training, one cannot assume any knowledge regarding the spoof samples a priori. In this paper, we reformulate the face anti-spoofing task from a one-class perspective and propose a novel hyperbolic one-class classification framework. To train our network, we use a pseudo-negative class sampled from the Gaussian distribution with a weighted running mean and propose two novel loss functions: (1) Hyp-PC: Hyperbolic Pairwise Confusion loss, and (2) Hyp-CE: Hyperbolic Cross Entropy loss, which operate in the hyperbolic space. Additionally, we employ Euclidean feature clipping and gradient clipping to stabilize the training in the hyperbolic space. To the best of our knowledge, this is the first work extending hyperbolic embeddings for face anti-spoofing in a one-class manner. With extensive experiments on five benchmark datasets: Rose-Youtu, MSU-MFSD, CASIA-MFSD, Idiap Replay-Attack, and OULU-NPU, we demonstrate that our method significantly outperforms the state-of-the-art, achieving better spoof detection performance.


title: A covariant formulation for cosmological radiative transfer of the 21-cm line

abstract: The 21-cm hyperfine line of neutral hydrogen is a useful tool to probe the conditions of the Universe during the Dark Ages, Cosmic Dawn, and the Epoch of Reionisation. In most of the current calculations, the 21-cm line signals at given frequencies are computed, using an integrated line-of-sight line opacity, with the correction for cosmological expansion. These calculations have not fully captured the line and continuum interactions in the radiative transfer, in response to evolution of the radiation field and the variations of thermal and dynamic properties of the line-of-sight medium. We construct a covariant formulation for the radiative transfer of the 21-cm line and derive the cosmological 21-cm line radiative transfer (C21LRT) equation. The formulation properly accounts for local emission and absorption processes and the interaction between the line and continuum when the radiation propagates across the expanding Universe to the present observer. Our C21LRT calculations show that methods simply summing the line optical depth could lead to error of $5\%$ in the 21-cm signals for redshift $z \sim 12-35$ and of $>10\%$ for redshift $z \lesssim 8$. Proper covariant radiative transfer is therefore necessary for producing correct theoretical templates for extracting information of the structural evolution of the Universe through the Epoch of Reionisation from the 21-cm tomographic data.


title: SpaceByte: Towards Deleting Tokenization from Large Language Modeling

abstract: Tokenization is widely used in large language models because it significantly improves performance. However, tokenization imposes several disadvantages, such as performance biases, increased adversarial vulnerability, decreased character-level modeling performance, and increased modeling complexity. To address these disadvantages without sacrificing performance, we propose SpaceByte, a novel byte-level decoder architecture that closes the performance gap between byte-level and subword autoregressive language modeling. SpaceByte consists of a byte-level Transformer model, but with extra larger transformer blocks inserted in the middle of the layers. We find that performance is significantly improved by applying these larger blocks only after certain bytes, such as space characters, which typically denote word boundaries. Our experiments show that for a fixed training and inference compute budget, SpaceByte outperforms other byte-level architectures and roughly matches the performance of tokenized Transformer architectures.


title: CrossScore: Towards Multi-View Image Evaluation and Scoring

abstract: We introduce a novel cross-reference image quality assessment method that effectively fills the gap in the image assessment landscape, complementing the array of established evaluation schemes -- ranging from full-reference metrics like SSIM, no-reference metrics such as NIQE, to general-reference metrics including FID, and Multi-modal-reference metrics, e.g., CLIPScore. Utilising a neural network with the cross-attention mechanism and a unique data collection pipeline from NVS optimisation, our method enables accurate image quality assessment without requiring ground truth references. By comparing a query image against multiple views of the same scene, our method addresses the limitations of existing metrics in novel view synthesis (NVS) and similar tasks where direct reference images are unavailable. Experimental results show that our method is closely correlated to the full-reference metric SSIM, while not requiring ground truth references.


title: Guess The Unseen: Dynamic 3D Scene Reconstruction from Partial 2D Glimpses

abstract: In this paper, we present a method to reconstruct the world and multiple dynamic humans in 3D from a monocular video input. As a key idea, we represent both the world and multiple humans via the recently emerging 3D Gaussian Splatting (3D-GS) representation, enabling to conveniently and efficiently compose and render them together. In particular, we address the scenarios with severely limited and sparse observations in 3D human reconstruction, a common challenge encountered in the real world. To tackle this challenge, we introduce a novel approach to optimize the 3D-GS representation in a canonical space by fusing the sparse cues in the common space, where we leverage a pre-trained 2D diffusion model to synthesize unseen views while keeping the consistency with the observed 2D appearances. We demonstrate our method can reconstruct high-quality animatable 3D humans in various challenging examples, in the presence of occlusion, image crops, few-shot, and extremely sparse observations. After reconstruction, our method is capable of not only rendering the scene in any novel views at arbitrary time instances, but also editing the 3D scene by removing individual humans or applying different motions for each human. Through various experiments, we demonstrate the quality and efficiency of our methods over alternative existing approaches.


title: High Harmonic Tracking of Ultrafast Electron Dynamics across the Mott to Charge Density Wave Phase Transition

abstract: Different insulator phases compete with each other in strongly correlated materials with simultaneous local and non-local interactions. It is known that the homogeneous Mott insulator converts into a charge density wave (CDW) phase when the non-local interactions are increased, but there is ongoing debate on whether and in which parameter regimes this transition is of first order, or of second order with an intermediate bond-order wave phase. Here we show that strong-field optics applied to an extended Fermi-Hubbard system can serve as a powerful tool to reveal the nature of the quantum phase transition. Specifically, we show that in the strongly interacting regime characteristic excitations such as excitons, biexcitons, excitonic strings, and charge droplets can be tracked by the non-linear optical response to an ultrafast and intense laser pulse. Subcycle analysis of high harmonic spectra unravels the ultrafast dynamics of these increasingly complex objects, which partially escape the scrutiny of linear optics. Their appearance in the high harmonic spectrum provides striking evidence of a first-order transition into the CDW phase, and makes a strong case for using strong-field optics as a powerful tool to reveal the nature of quasiparticles in strongly correlated matter, and to track the electron dynamics during a first-order quantum phase transition.


title: AutoAD III: The Prequel -- Back to the Pixels

abstract: Generating Audio Description (AD) for movies is a challenging task that requires fine-grained visual understanding and an awareness of the characters and their names. Currently, visual language models for AD generation are limited by a lack of suitable training data, and also their evaluation is hampered by using performance measures not specialized to the AD domain. In this paper, we make three contributions: (i) We propose two approaches for constructing AD datasets with aligned video data, and build training and evaluation datasets using these. These datasets will be publicly released; (ii) We develop a Q-former-based architecture which ingests raw video and generates AD, using frozen pre-trained visual encoders and large language models; and (iii) We provide new evaluation metrics to benchmark AD quality that are well-matched to human performance. Taken together, we improve the state of the art on AD generation.


title: A community-led calibration of the Zr isotope Reference Materials: NIST candidate RM 8299 and SRM 3169

abstract: As the field of Zr stable isotopes is rapidly expanding from the study of mass-independent to that of mass-dependent isotope effects, a variety of Zr standards have appeared in the literature. While several of these standards have been proposed as the ideal isotope reference material (iRM) against which all data should be reported, none of them have been shown to meet the compositional and/or conflict-of-interest-free distribution requirements put forth by the community. To remedy this situation, we report on a community-led effort to develop and calibrate a scale defining iRM for Zr isotopes: NIST RM 8299. Developed in partnership with the National Institute of Standards and Technology (NIST) from the widely used SRM 3169 Zr Standard Solution, the candidate RM 8299 was calibrated through an inter-laboratory study involving three laboratories. Our data show that RM 8299 meets all requirements of an ideal iRM. It is an isotopically homogeneous, high-purity reference material, that is free of isotope anomalies, and whose composition is identical to that of a major geological reservoir (Ocean Island Basalts). Furthermore, RM 8299 will be curated and distributed by NIST, a neutral, conflict-of-interest free organization, and was produced in sufficient quantities to last multiple decades. We recommend that all Zr isotope data to be reported against RM 8299. Our results also show that SRM 3169 lots #130920 and #071226 have identical composition to RM 8299. Therefore, using RM 8299 as the scale defining iRM will enable direct comparison of all future data with the vast majority of the existing literature data, both for mass-independent and mass-dependent isotope effects. To facilitate conversion of d94/90Zr values reported against other Zr standards, we provide high-precision conversion factors to the RM 8299 scale obtained using the double-spike method.


title: Removing Reflections from RAW Photos

abstract: We describe a system to remove real-world reflections from images for consumer photography. Our system operates on linear (RAW) photos, with the (optional) addition of a contextual photo looking in the opposite direction, e.g., using the selfie camera on a mobile device, which helps disambiguate what should be considered the reflection. The system is trained using synthetic mixtures of real-world RAW images, which are combined using a reflection simulation that is photometrically and geometrically accurate. Our system consists of a base model that accepts the captured photo and optional contextual photo as input, and runs at 256p, followed by an up-sampling model that transforms output 256p images to full resolution. The system can produce images for review at 1K in 4.5 to 6.5 seconds on a MacBook or iPhone 14 Pro. We test on RAW photos that were captured in the field and embody typical consumer photographs.


title: Domain Adaptation in Intent Classification Systems: A Review

abstract: Dialogue agents, which perform specific tasks, are part of the long-term goal of NLP researchers to build intelligent agents that communicate with humans in natural language. Such systems should adapt easily from one domain to another to assist users in completing tasks. Researchers have developed a broad range of techniques, objectives, and datasets for intent classification to achieve such systems. Despite the progress in developing intent classification systems (ICS), a systematic review of the progress from a technical perspective is yet to be conducted. In effect, important implementation details of intent classification remain restricted and unclear, making it hard for natural language processing (NLP) researchers to develop new methods. To fill this gap, we review contemporary works in intent classification. Specifically, we conduct a thorough technical review of the datasets, domains, tasks, and methods needed to train the intent classification part of dialogue systems. Our structured analysis describes why intent classification is difficult and studies the limitations to domain adaptation while presenting opportunities for future work.


title: Conditional diffusion models for downscaling & bias correction of Earth system model precipitation

abstract: Climate change exacerbates extreme weather events like heavy rainfall and flooding. As these events cause severe losses of property and lives, accurate high-resolution simulation of precipitation is imperative. However, existing Earth System Models (ESMs) struggle with resolving small-scale dynamics and suffer from biases, especially for extreme events. Traditional statistical bias correction and downscaling methods fall short in improving spatial structure, while recent deep learning methods lack controllability over the output and suffer from unstable training. Here, we propose a novel machine learning framework for simultaneous bias correction and downscaling. We train a generative diffusion model in a supervised way purely on observational data. We map observational and ESM data to a shared embedding space, where both are unbiased towards each other and train a conditional diffusion model to reverse the mapping. Our method can be used to correct any ESM field, as the training is independent of the ESM. Our approach ensures statistical fidelity, preserves large-scale spatial patterns and outperforms existing methods especially regarding extreme events and small-scale spatial features that are crucial for impact assessments.

categories: physics.geo-ph cs.AI cs.LG physics.ao-ph


title: surfQuake: A new Python toolbox for the workflow process of seismic sources

abstract: surfQuake is a new software designed to streamline the estimation of seismic source parameters. Its comprehensive set of toolboxes automate the determination of seismic arrival times, event association and locations, moment magnitude from P- or S- wave displacement spectra and moment tensor inversions within a Bayesian framework. surfQuake is programmed in Python 3 and offers the users the possibility of three programming levels for flexibility and customization. The core library allows users to integrate the core of surfQuake into their preexisting scripts, giving advanced users full control, while the Command Line Interface gives users access to an upper layer that simplifies the use of the core. Alternatively, surfQuake core is wrapped by a Graphical User Interface (GUI) and connected to a SQLite database making it accessible to users with little coding experience. The software has been fully tested with an earthquake cluster of more than 2000 events, that occurred in central Pyrenees in 2021-22. The source parameters retrieved from the cluster and the basic statistics associated with them are displayed using the surfQuake database toolbox. Additionally, we offer a web tutorial with the documentation of surfQuake and a set of usage examples for the three programming levels.


title: Mitigating Cascading Effects in Large Adversarial Graph Environments

abstract: A significant amount of society's infrastructure can be modeled using graph structures, from electric and communication grids, to traffic networks, to social networks. Each of these domains are also susceptible to the cascading spread of negative impacts, whether this be overloaded devices in the power grid or the reach of a social media post containing misinformation. The potential harm of a cascade is compounded when considering a malicious attack by an adversary that is intended to maximize the cascading impact. However, by exploiting knowledge of the cascading dynamics, targets with the largest cascading impact can be preemptively prioritized for defense, and the damage an adversary can inflict can be mitigated. While game theory provides tools for finding an optimal preemptive defense strategy, existing methods struggle to scale to the context of large graph environments because of the combinatorial explosion of possible actions that occurs when the attacker and defender can each choose multiple targets in the graph simultaneously. The proposed method enables a data-driven deep learning approach that uses multi-node representation learning and counterfactual data augmentation to generalize to the full combinatorial action space by training on a variety of small restricted subsets of the action space. We demonstrate through experiments that the proposed method is capable of identifying defense strategies that are less exploitable than SOTA methods for large graphs, while still being able to produce strategies near the Nash equilibrium for small-scale scenarios for which it can be computed. Moreover, the proposed method demonstrates superior prediction accuracy on a validation set of unseen cascades compared to other deep learning approaches.


title: Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing

abstract: Large language models (LLMs) achieved great success in multiple application domains and attracted huge attention from different research communities recently. Unfortunately, even for the best LLM, there still exist many faults that LLM cannot correctly predict. Such faults will harm the usability of LLMs. How to quickly reveal them in LLMs is important, but challenging. The reasons are twofold, 1) the heavy labeling effort for preparing the test data, and 2) accessing closed-source LLMs such as GPT4 is money-required. To handle this problem, in the traditional deep learning testing field, test selection methods have been proposed for efficiently testing deep learning models by prioritizing faults. However, the usefulness of these methods on LLMs is unclear and under exploration. In this paper, we first study the effectiveness of existing fault detection methods for LLMs. Experimental results on four different tasks~(including both code tasks and natural language processing tasks) and four LLMs (e.g., LLaMA and GPT4) demonstrated that existing fault detection methods cannot perform well on LLMs (e.g., seven out of eight methods perform worse than random selection on LLaMA). To enhance existing fault detection methods, we propose MuCS, a prompt Mutation-based prediction Confidence Smoothing method for LLMs. Concretely, we mutate the prompts and compute the average prediction confidence of all mutants as the input of fault detection methods. The results show that our proposed solution significantly enhances existing methods with the improvement of test relative coverage by up to 97.64%.


title: Decay Properties of Spatial Molecular Orbitals

abstract: Using properties of the Fourier transform we prove that if a Hartree-Fock molecular spatial orbital is in $L_1(\mathbb{R}^3)$, then it decays to zero as its argument diverges to infinity. The proof is rigorous, elementary, and short.


title: Empirical quantification of rockfall reach probability: objective determination of appropriate topographic descriptor

abstract: For rockfall hazard assessment on areas more than several km2 in size, the quantification of runout probability is usually done empirically. Classical methods use statistical distributions of reach or energy angles derived from rockfall databases. However, other topographic descriptors can be derived from the topographic profiles along the rockfall path. Using a database of more than 4,000 profiles of rockfall paths, we determine which topographic descriptors are most appropriate for reach probability estimation, by comparing their statistical distributions for rockfall stopping points, and for points the rocks overtook. We show that the curvilinear length of the propagation path, and the area under the propagation path can improve propagation estimations, especially when they are computed only along the final portion of the propagation path. This is illustrated by comparing an experimental distribution of rockfall stopping points to the estimated distributions.


title: Geomechanics Contribution to CO2 Storage Containment and Trapping Mechanisms in Tight Sandstone Complexes: A Case Study on Mae Moh Basin

abstract: Recognized as a not-an-option approach to mitigate the climate crisis, carbon dioxide capture and storage (CCS) has a potential as much as gigaton of CO2 to sequestrate permanently and securely. Recent attention has been paid to store highly concentrated point-source CO2 into saline formation, of which Thailand considers one onshore case in the north located in Lampang, the Mae Moh coal-fired power plant matched with its own coal mine of Mae Moh Basin. The current study is thus aimed to examine the influence of reservoir geomechanics on CO2 storage containment and trapping mechanisms, with co-contributions from geochemistry and reservoir heterogeneity, using reservoir simulator, CMG-GEM. With the injection rate designed for 30-year injection, reservoir pressure build-ups were 77% of fracture pressure but increased to 80% when geomechanics excluded. Such pressure responses imply that storage security is associated with the geomechanics. Dominated by viscous force, CO2 plume migrated more laterally while geomechanics clearly contributed to lesser migration due to reservoir rock strength constraint. Reservoir geomechanics contributed to less plume traveling into more constrained spaces while leakage was secured, highlighting a significant and neglected influence of geomechanical factor. Spatiotemporal development of CO2 plume also confirms the geomechanics-dominant storage containment. Reservoir geomechanics as attributed to its respective reservoir fluid pressure controls development of trapping mechanisms, especially into residual and solubility traps. More secured storage containment after the injection was found with higher pressure, while less development into solubility trap was observed with lower pressure.


title: A Mereological Approach to Higher-Order Structure in Complex Systems: from Macro to Micro with M\"obius

abstract: Relating microscopic interactions to macroscopic observables is a central challenge in the study of complex systems. Addressing this question requires understanding both pairwise and \textit{higher-order} interactions, but the latter are less well understood. Here, we show that the M\"obius inversion theorem provides a general mathematical formalism for deriving higher-order interactions from macroscopic observables, relative to a chosen decomposition of the system into parts. Applying this framework to a diverse range of systems, we demonstrate that many existing notions of higher-order interactions, from epistasis in genetics and many-body couplings in physics, to synergy in game theory and artificial intelligence, naturally and uniquely arise from an appropriate mereological decomposition. By revealing the common mathematical structure underlying seemingly disparate phenomena, our work highlights the fundamental role of decomposition choice in the definition and estimation of higher-order interactions. We discuss how this unifying perspective can facilitate the transfer of insights between domains, guide the selection of appropriate system decompositions, and motivate the search for novel interaction types through new decomposition strategies. To illustrate how this works in practice, we derive a new decomposition of the KL-divergence, and show that it correctly disentangles divergences at different orders on simulated spin models. Our results suggest that the M\"obius inversion theorem provides a powerful and practical lens for understanding the emergence of complex behaviour from the interplay of microscopic parts, with applications across a wide range of disciplines.


title: Ultrafast Vibrational Control of Hybrid Perovskite Devices Reveals the Influence of the Organic Cation on Electronic Dynamics

abstract: Vibrational control (VC) of photochemistry through the optical stimulation of structural dynamics is a nascent concept only recently demonstrated for model molecules in solution. Extending VC to state-of-the-art materials may lead to new applications and improved performance for optoelectronic devices. Metal halide perovskites are promising targets for VC due to their mechanical softness and the rich array of vibrational motions of both their inorganic and organic sublattices. Here, we demonstrate the ultrafast VC of FAPbBr3 perovskite solar cells via intramolecular vibrations of the formamidinium cation using spectroscopic techniques based on vibrationally promoted electronic resonance. The observed short (~300 fs) time window of VC highlights the fast dynamics of coupling between the cation and inorganic sublattice. First-principles modelling reveals that this coupling is mediated by hydrogen bonds that modulate both lead halide lattice and electronic states. Cation dynamics modulating this coupling may suppress non-radiative recombination in perovskites, leading to photovoltaics with reduced voltage losses.


title: Influence of chemical interactions on the electronic properties of BiOI/organic semiconductor heterojunctions for application in solution-processed electronics

abstract: Bismuth oxide iodide (BiOI) has been viewed as a suitable environmentally-friendly alternative to lead-halide perovskites for low-cost (opto-)electronic applications such as photodetectors, phototransistors and sensors. To enable its incorporation in these devices in a convenient, scalable, and economical way, BiOI thin films were investigated as part of heterojunctions with various p-type organic semiconductors (OSCs) and tested in a field-effect transistor (FET) configuration. The hybrid heterojunctions, which combine the respective functionalities of BiOI and the OSCs were processed from solution under ambient atmosphere. The characteristics of each of these hybrid systems were correlated with the physical and chemical properties of the respective materials using a concept based on heteropolar chemical interactions at the interface. Systems suitable for application in lateral transport devices were identified and it was demonstrated how materials in the hybrids interact to provide improved and synergistic properties. These indentified heterojunction FETs are a first instance of successful incorporation of solution-processed BiOI thin films in a three-terminal device. They show a significant threshold voltage shift and retained carrier mobility compared to pristine OSC devices and open up possibilities for future optoelectronic applications.


title: Cation exchange synthesis of AgBiS$_2$ quantum dots for highly efficient solar cells

abstract: Silver bismuth sulfide (AgBiS$_2$) nanocrystals have emerged as a promising eco-friendly, low-cost solar cell absorber material. Their direct synthesis often relies on the hot-injection method, requiring the application of high temperatures and vacuum for prolonged times. Here, we demonstrate an alternative synthetic approach via a cation exchange reaction. In the first-step, bis(stearoyl)sulfide is used as an air-stable sulfur precursor for the synthesis of small, monodisperse Ag2S nanocrystals at room-temperature. In a second step, bismuth cations are incorporated into the nanocrystal lattice to form ternary AgBiS$_2$ nanocrystals, without altering their size and shape. When implemented into photovoltaic devices, AgBiS$_2$ nanocrystals obtained by cation exchange reach power conversion efficiencies of up to 7.35%, demonstrating the efficacy of the new synthetic approach for the formation of high-quality, ternary semiconducting nanocrystals.


title: Cobalt-based Co$_3$Mo3N/Co$_4$N/Co Metallic Heterostructure as a Highly Active Electrocatalyst for Alkaline Overall Water Splitting

abstract: Alkaline water electrolysis is considered a commercially viable option for large-scale hydrogen production. However, this process still faces challenges due to the high voltage (>1.65 V at 10 mA cm$^{-2}$) and its limited stability at higher current densities due to the inefficient electron transport kinetics. Herein, a novel cobalt based metallic heterostructure (Co$_3$Mo3N/Co$_4$N/Co/Co) is designed for application for water electrolysis. Operando Raman experiments reveal that the formation of Co$_3$Mo3N/Co$_4$N/Co heterointerface boosts the free water adsorption and dissociation, resulting in a surplus of protons available for subsequent hydrogen production. Furthermore, the altered electronic structure of Co$_3$Mo3N/Co$_4$N/Co heterointerface optimizes the {\Delta}GH of nitrogen atoms at the interface. This synergistic effect between interfacial nitrogen atoms and metal phase cobalt creates highly efficient hydrogen evolution reaction (HER) active sites, thereby enhancing the overall performance. Additionally, the heterostructure exhibits a rapid OH- adsorption rate, coupled with a strong adsorption strength, leading to improved oxygen evolution reaction (OER) performance. Crucially, the metallic heterojunction facilitates fast electron transport, expediting the aforementioned reaction steps and ultimately improving the overall efficiency of water splitting. The water electrolyzer with Co$_3$Mo3N/Co$_4$N/Co/Co as a catalyst exhibits outstanding performance, requiring an impressively low cell voltage of 1.58 V at 10 mA cm$^{-2}$ and maintaining approximately 100% retention over a remarkable 100 h duration at 200 mA cm$^{-2}$. This performance significantly exceeds that of the commercial Pt/C || RuO2 electrolyzer.


title: Multi-Physics Numerical Analysis of Single-phase Immersion Cooling for Thermal Management of Li-Ion Batteries

abstract: Battery thermal management systems (BTMSs) are critical for efficient and safe operation of lithium-ion batteries (LIBs), especially for fast charging/discharging applications that generate significant heating within the cell. Forced immersion cooling, where a dielectric fluid flows in direct contact with the LIB cells, is an effective cooling approach. But because of its complex nature, a thorough understanding of the underlying physics - including the coupled electrochemical, thermal, fluid, and mechanical effects - is required before immersion cooling will see wide adoption into commercial systems. In this work, to investigate the performance of a LIB subjected to forced immersion cooling, we develop a fully coupled modeling approach that solves the detailed electrochemical model in conjunction with the thermal-fluid transport models for both the cell and fluid domain. After calculating the electrochemical and thermal responses, we also estimate the mechanical stresses within the cell generated due to the ion diffusion and temperature rise that impact reliability. To assess the effectiveness of forced immersion cooling, we evaluate several different configurations for a cylindrical 18650 battery cell under varying cell discharge rates. We compare forced immersion cooling for two liquids (deionized water and mineral oil) at three different fluid mass flow rates. The results highlight the strong cross-coupling of the electrochemical and heat transfer phenomena. By comparing results across fluids and flow rates, we define a new metric that can be used to compare the cooling capacity considering different flow parameters. Overall, this study provides insights that will be useful in the design of immersion cooling-based BTMSs including, for example, the selection of forced immersion cooling specifications, such that the temperature is controlled without significant capacity loss.


title: Depletion of nonlinearity in space-analytic space-periodic solutions to equations of diffusive magnetohydrodynamics

abstract: We consider solenoidal space-periodic space-analytic solutions to the equations of magnetohydrodynamics. An elementary bound shows that due to the special structure of the nonlinear terms in the equations for modified solutions, effectively they lack a half of the spatial gradient, which appears to be a novel mechanism for depletion of nonlinearity. We present a two-phase iterative procedure yielding an expanded bound for the guaranteed time of the space analyticity of the hydrodynamic solutions. Each iteration involves two regimes: In phase 1, the enstrophy of the modified solution and the bound for the radius of the analyticity of the original solution simultaneously increase (the bound is proportional to the elapsed time since the beginning of phase 1). In phase 2, the enstrophy and bound simultaneously decrease. It is straightforward to generalize this construction for the equations of magnetohydrodynamics.


title: A multi particle toy system with analytic solutions to investigate composite bosons in a harmonic potential

abstract: We construct a three dimensional toy systems with two types of fermions forming a composite boson. They are hold in a harmonic potential. The basis functions are constructed from an internal and an external Gauss function. All integrals have analytical solutions. The high symmetry reduces the number of integrals to be calculated for the symmetrized wave functions. With the internal Gauss function the composite bosons can be tuned from fermionic unbound behavior to bosonic bound behavior.


title: A Kudla-Rapoport Formula for Exotic Smooth Models of Odd Dimension

abstract: In this article, we prove a Kudla-Rapoport conjecture for $\mathcal{Y}$-cycles on exotic smooth unitary Rapoport-Zink spaces of odd arithmetic dimension, i.e. the arithmetic intersection numbers for $\mathcal{Y}$-cycles equals the derivatives of local representation density. We also compare $\mathcal{Z}$-cycles and $\mathcal{Y}$-cycles on these RZ spaces. The method is to relate both geometric and analytic sides to the even dimensional case and reduce the conjecture to the results in arXiv:2101.09485.


title: Monitoring Critical Infrastructure Facilities During Disasters Using Large Language Models

abstract: Critical Infrastructure Facilities (CIFs), such as healthcare and transportation facilities, are vital for the functioning of a community, especially during large-scale emergencies. In this paper, we explore a potential application of Large Language Models (LLMs) to monitor the status of CIFs affected by natural disasters through information disseminated in social media networks. To this end, we analyze social media data from two disaster events in two different countries to identify reported impacts to CIFs as well as their impact severity and operational status. We employ state-of-the-art open-source LLMs to perform computational tasks including retrieval, classification, and inference, all in a zero-shot setting. Through extensive experimentation, we report the results of these tasks using standard evaluation metrics and reveal insights into the strengths and weaknesses of LLMs. We note that although LLMs perform well in classification tasks, they encounter challenges with inference tasks, especially when the context/prompt is complex and lengthy. Additionally, we outline various potential directions for future exploration that can be beneficial during the initial adoption phase of LLMs for disaster response tasks.


title: KATO: Knowledge Alignment and Transfer for Transistor Sizing of Different Design and Technology

abstract: Automatic transistor sizing in circuit design continues to be a formidable challenge. Despite that Bayesian optimization (BO) has achieved significant success, it is circuit-specific, limiting the accumulation and transfer of design knowledge for broader applications. This paper proposes (1) efficient automatic kernel construction, (2) the first transfer learning across different circuits and technology nodes for BO, and (3) a selective transfer learning scheme to ensure only useful knowledge is utilized. These three novel components are integrated into BO with Multi-objective Acquisition Ensemble (MACE) to form Knowledge Alignment and Transfer Optimization (KATO) to deliver state-of-the-art performance: up to 2x simulation reduction and 1.2x design improvement over the baselines.


title: DeeperHistReg: Robust Whole Slide Images Registration Framework

abstract: DeeperHistReg is a software framework dedicated to registering whole slide images (WSIs) acquired using multiple stains. It allows one to perform the preprocessing, initial alignment, and nonrigid registration of WSIs acquired using multiple stains (e.g. hematoxylin \& eosin, immunochemistry). The framework implements several state-of-the-art registration algorithms and provides an interface to operate on arbitrary resolution of the WSIs (up to 200k x 200k). The framework is extensible and new algorithms can be easily integrated by other researchers. The framework is available both as a PyPI package and as a Docker container.


title: FreSeg: Frenet-Frame-based Part Segmentation for 3D Curvilinear Structures

abstract: Part segmentation is a crucial task for 3D curvilinear structures like neuron dendrites and blood vessels, enabling the analysis of dendritic spines and aneurysms with scientific and clinical significance. However, their diversely winded morphology poses a generalization challenge to existing deep learning methods, which leads to labor-intensive manual correction. In this work, we propose FreSeg, a framework of part segmentation tasks for 3D curvilinear structures. With Frenet-Frame-based point cloud transformation, it enables the models to learn more generalizable features and have significant performance improvements on tasks involving elongated and curvy geometries. We evaluate FreSeg on 2 datasets: 1) DenSpineEM, an in-house dataset for dendritic spine segmentation, and 2) IntrA, a public 3D dataset for intracranial aneurysm segmentation. Further, we will release the DenSpineEM dataset, which includes roughly 6,000 spines from 69 dendrites from 3 public electron microscopy (EM) datasets, to foster the development of effective dendritic spine instance extraction methods and, consequently, large-scale connectivity analysis to better understand mammalian brains.


title: Investigating Resource-efficient Neutron/Gamma Classification ML Models Targeting eFPGAs

abstract: There has been considerable interest and resulting progress in implementing machine learning (ML) models in hardware over the last several years from the particle and nuclear physics communities. A big driver has been the release of the Python package, hls4ml, which has enabled porting models specified and trained using Python ML libraries to register transfer level (RTL) code. So far, the primary end targets have been commercial FPGAs or synthesized custom blocks on ASICs. However, recent developments in open-source embedded FPGA (eFPGA) frameworks now provide an alternate, more flexible pathway for implementing ML models in hardware. These customized eFPGA fabrics can be integrated as part of an overall chip design. In general, the decision between a fully custom, eFPGA, or commercial FPGA ML implementation will depend on the details of the end-use application. In this work, we explored the parameter space for eFPGA implementations of fully-connected neural network (fcNN) and boosted decision tree (BDT) models using the task of neutron/gamma classification with a specific focus on resource efficiency. We used data collected using an AmBe sealed source incident on Stilbene, which was optically coupled to an OnSemi J-series SiPM to generate training and test data for this study. We investigated relevant input features and the effects of bit-resolution and sampling rate as well as trade-offs in hyperparameters for both ML architectures while tracking total resource usage. The performance metric used to track model performance was the calculated neutron efficiency at a gamma leakage of 10$^{-3}$. The results of the study will be used to aid the specification of an eFPGA fabric, which will be integrated as part of a test chip.


title: A direct method of continuous unwrapping the phase from an interferogram image

abstract: A new method recovers phase difference of interfering wavefronts from a pattern of interference fringes, avoiding discontinuity problem. The continuous phase is a solution of the first order differential equation of the interferogram function computed from the fringe intensity profile selected along the pathway over the interferogram.


title: Classical Commitments to Quantum States

abstract: We define the notion of a classical commitment scheme to quantum states, which allows a quantum prover to compute a classical commitment to a quantum state, and later open each qubit of the state in either the standard or the Hadamard basis. Our notion is a strengthening of the measurement protocol from Mahadev (STOC 2018). We construct such a commitment scheme from the post-quantum Learning With Errors (LWE) assumption, and more generally from any noisy trapdoor claw-free function family that has the distributional strong adaptive hardcore bit property (a property that we define in this work). Our scheme is succinct in the sense that the running time of the verifier in the commitment phase depends only on the security parameter (independent of the size of the committed state), and its running time in the opening phase grows only with the number of qubits that are being opened (and the security parameter). As a corollary we obtain a classical succinct argument system for QMA under the post-quantum LWE assumption. Previously, this was only known assuming post-quantum secure indistinguishability obfuscation. As an additional corollary we obtain a generic way of converting any X/Z quantum PCP into a succinct argument system under the quantum hardness of LWE.


title: Type B Set partitions, an analogue of restricted growth functions

abstract: In this work, we study type B set partitions for a given specific positive integer $k$ defined over $\langle n\rangle=\{-n, -(n-1),\cdots -1,0,1,\cdots n-1,n\}$. We found a few generating functions of type B analogue for some of the set partition statistics defined by Wachs, White and Steingrimsson for partitions over positive integers $[n] =\{1,2,\cdots n\}$, both for standard and ordered set partitions respectively. We extended the idea of restricted growth functions utilized by Wachs and White for set partitions over $[n]$, in the scenario of $\langle n\rangle$ and called the analogue as Signed Restricted Growth Function (SRGF). We discussed analogues of major index for type B partitions in terms of SRGF. We found an analogue of Foata bijection and reduced matrix for type B set partitions as done by Sagan for set partitions of $[n]$ with sepcific number of blocks $k$. We conclude with some open questions regarding the type B analogue of some well known results already done in case of set partitions of $[n]$.


title: Convex Ternary Quartics Are SOS-Convex

abstract: We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from 1888, where he proves that nonnegative ternary quartic forms are sums of squares. We show by an appropriate construction that exploiting the structure of the Hessian matrix is crucial in any possible proof of our result.


title: Optimizing Contrail Detection: A Deep Learning Approach with EfficientNet-b4 Encoding

abstract: In the pursuit of environmental sustainability, the aviation industry faces the challenge of minimizing its ecological footprint. Among the key solutions is contrail avoidance, targeting the linear ice-crystal clouds produced by aircraft exhaust. These contrails exacerbate global warming by trapping atmospheric heat, necessitating precise segmentation and comprehensive analysis of contrail images to gauge their environmental impact. However, this segmentation task is complex due to the varying appearances of contrails under different atmospheric conditions and potential misalignment issues in predictive modeling. This paper presents an innovative deep-learning approach utilizing the efficient net-b4 encoder for feature extraction, seamlessly integrating misalignment correction, soft labeling, and pseudo-labeling techniques to enhance the accuracy and efficiency of contrail detection in satellite imagery. The proposed methodology aims to redefine contrail image analysis and contribute to the objectives of sustainable aviation by providing a robust framework for precise contrail detection and analysis in satellite imagery, thus aiding in the mitigation of aviation's environmental impact.


title: Unified ODE Analysis of Smooth Q-Learning Algorithms

abstract: Convergence of Q-learning has been the focus of extensive research over the past several decades. Recently, an asymptotic convergence analysis for Q-learning was introduced using a switching system framework. This approach applies the so-called ordinary differential equation (ODE) approach to prove the convergence of the asynchronous Q-learning modeled as a continuous-time switching system, where notions from switching system theory are used to prove its asymptotic stability without using explicit Lyapunov arguments. However, to prove stability, restrictive conditions, such as quasi-monotonicity, must be satisfied for the underlying switching systems, which makes it hard to easily generalize the analysis method to other reinforcement learning algorithms, such as the smooth Q-learning variants. In this paper, we present a more general and unified convergence analysis that improves upon the switching system approach and can analyze Q-learning and its smooth variants. The proposed analysis is motivated by previous work on the convergence of synchronous Q-learning based on $p$-norm serving as a Lyapunov function. However, the proposed analysis addresses more general ODE models that can cover both asynchronous Q-learning and its smooth versions with simpler frameworks.


title: Evaluation of Machine Translation Based on Semantic Dependencies and Keywords

abstract: In view of the fact that most of the existing machine translation evaluation algorithms only consider the lexical and syntactic information, but ignore the deep semantic information contained in the sentence, this paper proposes a computational method for evaluating the semantic correctness of machine translations based on reference translations and incorporating semantic dependencies and sentence keyword information. Use the language technology platform developed by the Social Computing and Information Retrieval Research Center of Harbin Institute of Technology to conduct semantic dependency analysis and keyword analysis on sentences, and obtain semantic dependency graphs, keywords, and weight information corresponding to keywords. It includes all word information with semantic dependencies in the sentence and keyword information that affects semantic information. Construct semantic association pairs including word and dependency multi-features. The key semantics of the sentence cannot be highlighted in the semantic information extracted through semantic dependence, resulting in vague semantics analysis. Therefore, the sentence keyword information is also included in the scope of machine translation semantic evaluation. To achieve a comprehensive and in-depth evaluation of the semantic correctness of sentences, the experimental results show that the accuracy of the evaluation algorithm has been improved compared with similar methods, and it can more accurately measure the semantic correctness of machine translation.


title: Practical Battery Health Monitoring using Uncertainty-Aware Bayesian Neural Network

abstract: Battery health monitoring and prediction are critically important in the era of electric mobility with a huge impact on safety, sustainability, and economic aspects. Existing research often focuses on prediction accuracy but tends to neglect practical factors that may hinder the technology's deployment in real-world applications. In this paper, we address these practical considerations and develop models based on the Bayesian neural network for predicting battery end-of-life. Our models use sensor data related to battery health and apply distributions, rather than single-point, for each parameter of the models. This allows the models to capture the inherent randomness and uncertainty of battery health, which leads to not only accurate predictions but also quantifiable uncertainty. We conducted an experimental study and demonstrated the effectiveness of our proposed models, with a prediction error rate averaging 13.9%, and as low as 2.9% for certain tested batteries. Additionally, all predictions include quantifiable certainty, which improved by 66% from the initial to the mid-life stage of the battery. This research has practical values for battery technologies and contributes to accelerating the technology adoption in the industry.


title: A Multi-Faceted Evaluation Framework for Assessing Synthetic Data Generated by Large Language Models

abstract: The rapid advancements in generative AI and large language models (LLMs) have opened up new avenues for producing synthetic data, particularly in the realm of structured tabular formats, such as product reviews. Despite the potential benefits, concerns regarding privacy leakage have surfaced, especially when personal information is utilized in the training datasets. In addition, there is an absence of a comprehensive evaluation framework capable of quantitatively measuring the quality of the generated synthetic data and their utility for downstream tasks. In response to this gap, we introduce SynEval, an open-source evaluation framework designed to assess the fidelity, utility, and privacy preservation of synthetically generated tabular data via a suite of diverse evaluation metrics. We validate the efficacy of our proposed framework - SynEval - by applying it to synthetic product review data generated by three state-of-the-art LLMs: ChatGPT, Claude, and Llama. Our experimental findings illuminate the trade-offs between various evaluation metrics in the context of synthetic data generation. Furthermore, SynEval stands as a critical instrument for researchers and practitioners engaged with synthetic tabular data,, empowering them to judiciously determine the suitability of the generated data for their specific applications, with an emphasis on upholding user privacy.


title: Spatio-temporal Joint Analysis of PM2.5 and Ozone in California with INLA

abstract: The substantial threat of concurrent air pollutants to public health is increasingly severe under climate change. To identify the common drivers and extent of spatio-temporal similarity of PM2.5 and ozone, this paper proposed a log Gaussian-Gumbel Bayesian hierarchical model allowing for sharing a SPDE-AR(1) spatio-temporal interaction structure. The proposed model outperforms in terms of estimation accuracy and prediction capacity for its increased parsimony and reduced uncertainty, especially for the shared ozone sub-model. Besides the consistently significant influence of temperature (positive), extreme drought (positive), fire burnt area (positive), and wind speed (negative) on both PM2.5 and ozone, surface pressure and GDP per capita (precipitation) demonstrate only positive associations with PM2.5 (ozone), while population density relates to neither. In addition, our results show the distinct spatio-temporal interactions and different seasonal patterns of PM2.5 and ozone, with peaks of PM2.5 and ozone in cold and hot seasons, respectively. Finally, with the aid of the excursion function, we see that the areas around the intersection of San Luis Obispo and Santa Barbara counties are likely to exceed the unhealthy ozone level for sensitive groups throughout the year. Our findings provide new insights for regional and seasonal strategies in the co-control of PM2.5 and ozone. Our methodology is expected to be utilized when interest lies in multiple interrelated processes in the fields of environment and epidemiology.


title: A Novel A.I Enhanced Reservoir Characterization with a Combined Mixture of Experts -- NVIDIA Modulus based Physics Informed Neural Operator Forward Model

abstract: We have developed an advanced workflow for reservoir characterization, effectively addressing the challenges of reservoir history matching through a novel approach. This method integrates a Physics Informed Neural Operator (PINO) as a forward model within a sophisticated Cluster Classify Regress (CCR) framework. The process is enhanced by an adaptive Regularized Ensemble Kalman Inversion (aREKI), optimized for rapid uncertainty quantification in reservoir history matching. This innovative workflow parameterizes unknown permeability and porosity fields, capturing non-Gaussian posterior measures with techniques such as a variational convolution autoencoder and the CCR. Serving as exotic priors and a supervised model, the CCR synergizes with the PINO surrogate to accurately simulate the nonlinear dynamics of Peaceman well equations. The CCR approach allows for flexibility in applying distinct machine learning algorithms across its stages. Updates to the PINO reservoir surrogate are driven by a loss function derived from supervised data, initial conditions, and residuals of governing black oil PDEs. Our integrated model, termed PINO-Res-Sim, outputs crucial parameters including pressures, saturations, and production rates for oil, water, and gas. Validated against traditional simulators through controlled experiments on synthetic reservoirs and the Norne field, the methodology showed remarkable accuracy. Additionally, the PINO-Res-Sim in the aREKI workflow efficiently recovered unknown fields with a computational speedup of 100 to 6000 times faster than conventional methods. The learning phase for PINO-Res-Sim, conducted on an NVIDIA H100, was impressively efficient, compatible with ensemble-based methods for complex computational tasks.


title: Object-Oriented Architecture: A Software Engineering-Inspired Shape Grammar for Durands Plates

abstract: Addressing the challenge of modular architectural design, this study presents a novel approach through the implementation of a shape grammar system using functional and object-oriented programming principles from computer science. The focus lies on the modular generation of plates in the style of French Neoclassical architect Jean-Nicolas-Louis Durand, known for his modular rule-based method to architecture, demonstrating the system's capacity to articulate intricate architectural forms systematically. By leveraging computer programming principles, the proposed methodology allows for the creation of diverse designs while adhering to the inherent logic of Durand's original plates. The integration of Shape Machine allows a flexible framework for architects and designers, enabling the generation of complex structures in a modular fashion in existing CAD software. This research contributes to the exploration of computational tools in architectural design, offering a versatile solution for the synthesis of historically significant architectural elements.


title: Predicting Question Quality on StackOverflow with Neural Networks

abstract: The wealth of information available through the Internet and social media is unprecedented. Within computing fields, websites such as Stack Overflow are considered important sources for users seeking solutions to their computing and programming issues. However, like other social media platforms, Stack Overflow contains a mixture of relevant and irrelevant information. In this paper, we evaluated neural network models to predict the quality of questions on Stack Overflow, as an example of Question Answering (QA) communities. Our results demonstrate the effectiveness of neural network models compared to baseline machine learning models, achieving an accuracy of 80%. Furthermore, our findings indicate that the number of layers in the neural network model can significantly impact its performance.


title: GraphMatcher: A Graph Representation Learning Approach for Ontology Matching

abstract: Ontology matching is defined as finding a relationship or correspondence between two or more entities in two or more ontologies. To solve the interoperability problem of the domain ontologies, semantically similar entities in these ontologies must be found and aligned before merging them. GraphMatcher, developed in this study, is an ontology matching system using a graph attention approach to compute higher-level representation of a class together with its surrounding terms. The GraphMatcher has obtained remarkable results in in the Ontology Alignment Evaluation Initiative (OAEI) 2022 conference track. Its codes are available at ~\url{https://github.com/sefeoglu/gat_ontology_matching}.


title: Generative Subspace Adversarial Active Learning for Outlier Detection in Multiple Views of High-dimensional Data

abstract: Outlier detection in high-dimensional tabular data is an important task in data mining, essential for many downstream tasks and applications. Existing unsupervised outlier detection algorithms face one or more problems, including inlier assumption (IA), curse of dimensionality (CD), and multiple views (MV). To address these issues, we introduce Generative Subspace Adversarial Active Learning (GSAAL), a novel approach that uses a Generative Adversarial Network with multiple adversaries. These adversaries learn the marginal class probability functions over different data subspaces, while a single generator in the full space models the entire distribution of the inlier class. GSAAL is specifically designed to address the MV limitation while also handling the IA and CD, being the only method to do so. We provide a comprehensive mathematical formulation of MV, convergence guarantees for the discriminators, and scalability results for GSAAL. Our extensive experiments demonstrate the effectiveness and scalability of GSAAL, highlighting its superior performance compared to other popular OD methods, especially in MV scenarios.


title: Optimal Planning of Electric Vehicle Charging Stations: Integrating Public Charging Networks and Transportation Congestion

abstract: The transition to electric vehicles (EVs) marks a pivotal shift in personal mobility, driven by policy incentives and automotive innovations. However, the expansion of EVs for long-distance travel is hindered by charging time concerns, the sparse distribution of charging stations, and the worsening waiting times due to congestion. The main objective of this work is two-fold: 1) first, to comprehensively analyze the existing public charging station robustness and effectively strategize for the new ones, and 2) secondly, to select the optimal chargers for long-distance journeys, by estimating the waiting time from current traffic congestion. This is achieved by accompanying effective EV charging strategies, pinpointing on the congestion points from the existing traffic, and the robustness of the current charging station infrastructure. Utilizing a real-time transportation and charging station dataset in Texas, we identify optimal charger placement strategies to minimize travel time by examining the congestion and charging time trade-offs. Our findings suggest that maximizing the constant current phase during charging enhances efficiency, crucial for long-distance travel. On the contrary, we also explore the negative impact of congestion on travel times and we conclude that sometimes it might be beneficial to exceed the constant current phase to avoid the congested charging stations.


title: EPI-SQL: Enhancing Text-to-SQL Translation with Error-Prevention Instructions

abstract: The conversion of natural language queries into SQL queries, known as Text-to-SQL, is a critical yet challenging task. This paper introduces EPI-SQL, a novel methodological framework leveraging Large Language Models (LLMs) to enhance the performance of Text-to-SQL tasks. EPI-SQL operates through a four-step process. Initially, the method involves gathering instances from the Spider dataset on which LLMs are prone to failure. These instances are then utilized to generate general error-prevention instructions (EPIs). Subsequently, LLMs craft contextualized EPIs tailored to the specific context of the current task. Finally, these context-specific EPIs are incorporated into the prompt used for SQL generation. EPI-SQL is distinguished in that it provides task-specific guidance, enabling the model to circumvent potential errors for the task at hand. Notably, the methodology rivals the performance of advanced few-shot methods despite being a zero-shot approach. An empirical assessment using the Spider benchmark reveals that EPI-SQL achieves an execution accuracy of 85.1\%, underscoring its effectiveness in generating accurate SQL queries through LLMs. The findings indicate a promising direction for future research, i.e. enhancing instructions with task-specific and contextualized rules, for boosting LLMs' performance in NLP tasks.


title: Reinforcement of Explainability of ChatGPT Prompts by Embedding Breast Cancer Self-Screening Rules into AI Responses

abstract: Addressing the global challenge of breast cancer, this research explores the fusion of generative AI, focusing on ChatGPT 3.5 turbo model, and the intricacies of breast cancer risk assessment. The research aims to evaluate ChatGPT's reasoning capabilities, emphasizing its potential to process rules and provide explanations for screening recommendations. The study seeks to bridge the technology gap between intelligent machines and clinicians by demonstrating ChatGPT's unique proficiency in natural language reasoning. The methodology employs a supervised prompt-engineering approach to enforce detailed explanations for ChatGPT's recommendations. Synthetic use cases, generated algorithmically, serve as the testing ground for the encoded rules, evaluating the model's processing prowess. Findings highlight ChatGPT's promising capacity in processing rules comparable to Expert System Shells, with a focus on natural language reasoning. The research introduces the concept of reinforcement explainability, showcasing its potential in elucidating outcomes and facilitating user-friendly interfaces for breast cancer risk assessment.


title: A Neuro-Symbolic Explainer for Rare Events: A Case Study on Predictive Maintenance

abstract: Predictive Maintenance applications are increasingly complex, with interactions between many components. Black box models are popular approaches based on deep learning techniques due to their predictive accuracy. This paper proposes a neural-symbolic architecture that uses an online rule-learning algorithm to explain when the black box model predicts failures. The proposed system solves two problems in parallel: anomaly detection and explanation of the anomaly. For the first problem, we use an unsupervised state of the art autoencoder. For the second problem, we train a rule learning system that learns a mapping from the input features to the autoencoder reconstruction error. Both systems run online and in parallel. The autoencoder signals an alarm for the examples with a reconstruction error that exceeds a threshold. The causes of the signal alarm are hard for humans to understand because they result from a non linear combination of sensor data. The rule that triggers that example describes the relationship between the input features and the autoencoder reconstruction error. The rule explains the failure signal by indicating which sensors contribute to the alarm and allowing the identification of the component involved in the failure. The system can present global explanations for the black box model and local explanations for why the black box model predicts a failure. We evaluate the proposed system in a real-world case study of Metro do Porto and provide explanations that illustrate its benefits.


title: Multifidelity Surrogate Models: A New Data Fusion Perspective

abstract: Multifidelity surrogate modelling combines data of varying accuracy and cost from different sources. It strategically uses low-fidelity models for rapid evaluations, saving computational resources, and high-fidelity models for detailed refinement. It improves decision-making by addressing uncertainties and surpassing the limits of single-fidelity models, which either oversimplify or are computationally intensive. Blending high-fidelity data for detailed responses with frequent low-fidelity data for quick approximations facilitates design optimisation in various domains. Despite progress in interpolation, regression, enhanced sampling, error estimation, variable fidelity, and data fusion techniques, challenges persist in selecting fidelity levels and developing efficient data fusion methods. This study proposes a new fusion approach to construct multi-fidelity surrogate models by constructing gradient-only surrogates that use only gradients to construct regression surfaces. Results are demonstrated on foundational example problems that isolate and illustrate the fusion approach's efficacy, avoiding the need for complex examples that obfuscate the main concept.


title: Graph Coloring Using Heat Diffusion

abstract: Graph coloring is a problem with varied applications in industry and science such as scheduling, resource allocation, and circuit design. The purpose of this paper is to establish if a new gradient based iterative solver framework known as heat diffusion can solve the graph coloring problem. We propose a solution to the graph coloring problem using the heat diffusion framework. We compare the solutions against popular methods and establish the competitiveness of heat diffusion method for the graph coloring problem.


title: The Duality Theory of Fractional Calculus and a New Fractional Calculus of Variations Involving Left Operators Only

abstract: Through duality it is possible to transform left fractional operators into right fractional operators and vice versa. In contrast to existing literature, we establish integration by parts formulas that exclusively involve either left or right operators. The emergence of these novel fractional integration by parts formulas inspires the introduction of a new calculus of variations, where only one type of fractional derivative (left or right) is present. This applies to both the problem formulation and the corresponding necessary optimality conditions. As a practical application, we present a new Lagrangian that relies solely on left-hand side fractional derivatives. The fractional variational principle derived from this Lagrangian leads us to the equation of motion for a dissipative/damped system.


title: LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations

abstract: This study evaluates the security of web application code generated by Large Language Models, analyzing 2,500 GPT-4 generated PHP websites. These were deployed in Docker containers and tested for vulnerabilities using a hybrid approach of Burp Suite active scanning, static analysis, and manual review. Our investigation focuses on identifying Insecure File Upload, SQL Injection, Stored XSS, and Reflected XSS in GPT-4 generated PHP code. This analysis highlights potential security risks and the implications of deploying such code in real-world scenarios. Overall, our analysis found 2,440 vulnerable parameters. According to Burp's Scan, 11.56% of the sites can be straight out compromised. Adding static scan results, 26% had at least one vulnerability that can be exploited through web interaction. Certain coding scenarios, like file upload functionality, are insecure 78% of the time, underscoring significant risks to software safety and security. To support further research, we have made the source codes and a detailed vulnerability record for each sample publicly available. This study emphasizes the crucial need for thorough testing and evaluation if generative AI technologies are used in software development.


title: Inference of Causal Networks using a Topological Threshold

abstract: We propose a constraint-based algorithm, which automatically determines causal relevance thresholds, to infer causal networks from data. We call these topological thresholds. We present two methods for determining the threshold: the first seeks a set of edges that leaves no disconnected nodes in the network; the second seeks a causal large connected component in the data. We tested these methods both for discrete synthetic and real data, and compared the results with those obtained for the PC algorithm, which we took as the benchmark. We show that this novel algorithm is generally faster and more accurate than the PC algorithm. The algorithm for determining the thresholds requires choosing a measure of causality. We tested our methods for Fisher Correlations, commonly used in PC algorithm (for instance in \cite{kalisch2005}), and further proposed a discrete and asymmetric measure of causality, that we called Net Influence, which provided very good results when inferring causal networks from discrete data. This metric allows for inferring directionality of the edges in the process of applying the thresholds, speeding up the inference of causal DAGs.


title: Competition Report: Finding Universal Jailbreak Backdoors in Aligned LLMs

abstract: Large language models are aligned to be safe, preventing users from generating harmful content like misinformation or instructions for illegal activities. However, previous work has shown that the alignment process is vulnerable to poisoning attacks. Adversaries can manipulate the safety training data to inject backdoors that act like a universal sudo command: adding the backdoor string to any prompt enables harmful responses from models that, otherwise, behave safely. Our competition, co-located at IEEE SaTML 2024, challenged participants to find universal backdoors in several large language models. This report summarizes the key findings and promising ideas for future research.


title: Towards smaller, faster decoder-only transformers: Architectural variants and their implications

abstract: Research on Large Language Models (LLMs) has recently seen exponential growth, largely focused on transformer-based architectures, as introduced by [1] and further advanced by the decoder-only variations in [2]. Contemporary studies typically aim to improve model capabilities by increasing both the architecture's complexity and the volume of training data. However, research exploring how to reduce model sizes while maintaining performance is limited. This study introduces three modifications to the decoder-only transformer architecture: ParallelGPT (p-gpt), LinearlyCompressedGPT (lc-gpt), and ConvCompressedGPT (cc-gpt). These variants achieve comparable performance to conventional architectures in code generation tasks while benefiting from reduced model sizes and faster training times. We open-source the model weights and codebase to support future research and development in this domain.


title: DAIC-WOZ: On the Validity of Using the Therapist's prompts in Automatic Depression Detection from Clinical Interviews

abstract: Automatic depression detection from conversational data has gained significant interest in recent years. The DAIC-WOZ dataset, interviews conducted by a human-controlled virtual agent, has been widely used for this task. Recent studies have reported enhanced performance when incorporating interviewer's prompts into the model. In this work, we hypothesize that this improvement might be mainly due to a bias present in these prompts, rather than the proposed architectures and methods. Through ablation experiments and qualitative analysis, we discover that models using interviewer's prompts learn to focus on a specific region of the interviews, where questions about past experiences with mental health issues are asked, and use them as discriminative shortcuts to detect depressed participants. In contrast, models using participant responses gather evidence from across the entire interview. Finally, to highlight the magnitude of this bias, we achieve a 0.90 F1 score by intentionally exploiting it, the highest result reported to date on this dataset using only textual information. Our findings underline the need for caution when incorporating interviewers' prompts into models, as they may inadvertently learn to exploit targeted prompts, rather than learning to characterize the language and behavior that are genuinely indicative of the patient's mental health condition.


title: Tree of Reviews: A Tree-based Dynamic Iterative Retrieval Framework for Multi-hop Question Answering

abstract: Multi-hop question answering is a knowledge-intensive complex problem. Large Language Models (LLMs) use their Chain of Thoughts (CoT) capability to reason complex problems step by step, and retrieval-augmentation can effectively alleviate factual errors caused by outdated and unknown knowledge in LLMs. Recent works have introduced retrieval-augmentation in the CoT reasoning to solve multi-hop question answering. However, these chain methods have the following problems: 1) Retrieved irrelevant paragraphs may mislead the reasoning; 2) An error in the chain structure may lead to a cascade of errors. In this paper, we propose a dynamic retrieval framework called Tree of Reviews (ToR), where the root node is the question, and the other nodes are paragraphs from retrieval, extending different reasoning paths from the root node to other nodes. Our framework dynamically decides to initiate a new search, reject, or accept based on the paragraphs on the reasoning paths. Compared to related work, we introduce a tree structure to handle each retrieved paragraph separately, alleviating the misleading effect of irrelevant paragraphs on the reasoning path; the diversity of reasoning path extension reduces the impact of a single reasoning error on the whole. We conducted experiments on three different multi-hop question answering datasets. The results show that compared to the baseline methods, ToR achieves state-of-the-art performance in both retrieval and response generation. In addition, we propose two tree-based search optimization strategies, pruning and effective expansion, to reduce time overhead and increase the diversity of path extension. We will release our code.


title: Benchmarking Advanced Text Anonymisation Methods: A Comparative Study on Novel and Traditional Approaches

abstract: In the realm of data privacy, the ability to effectively anonymise text is paramount. With the proliferation of deep learning and, in particular, transformer architectures, there is a burgeoning interest in leveraging these advanced models for text anonymisation tasks. This paper presents a comprehensive benchmarking study comparing the performance of transformer-based models and Large Language Models(LLM) against traditional architectures for text anonymisation. Utilising the CoNLL-2003 dataset, known for its robustness and diversity, we evaluate several models. Our results showcase the strengths and weaknesses of each approach, offering a clear perspective on the efficacy of modern versus traditional methods. Notably, while modern models exhibit advanced capabilities in capturing con textual nuances, certain traditional architectures still keep high performance. This work aims to guide researchers in selecting the most suitable model for their anonymisation needs, while also shedding light on potential paths for future advancements in the field.


title: Quantum symmetries of noncommutative tori

abstract: We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the even part of the $E_{8}$ subfactor on a noncommutative 3-torus, and of $\text{PSU}(2)_{15}$ on a noncommutative 4-torus.


title: Integrating Chemistry Knowledge in Large Language Models via Prompt Engineering

abstract: This paper presents a study on the integration of domain-specific knowledge in prompt engineering to enhance the performance of large language models (LLMs) in scientific domains. A benchmark dataset is curated to encapsulate the intricate physical-chemical properties of small molecules, their drugability for pharmacology, alongside the functional attributes of enzymes and crystal materials, underscoring the relevance and applicability across biological and chemical domains.The proposed domain-knowledge embedded prompt engineering method outperforms traditional prompt engineering strategies on various metrics, including capability, accuracy, F1 score, and hallucination drop. The effectiveness of the method is demonstrated through case studies on complex materials including the MacMillan catalyst, paclitaxel, and lithium cobalt oxide. The results suggest that domain-knowledge prompts can guide LLMs to generate more accurate and relevant responses, highlighting the potential of LLMs as powerful tools for scientific discovery and innovation when equipped with domain-specific prompts. The study also discusses limitations and future directions for domain-specific prompt engineering development.


title: Exploring Radio Emissions from Confirmed Exoplanets Using SKA

abstract: Currently, our understanding of magnetic fields in exoplanets remains limited compared to those within our solar system. Planets with magnetic fields emit radio signals primarily due to the Electron Cyclotron Maser Instability mechanism. In this study, we explore the feasibility of detecting radio emissions from exoplanets using the Square Kilometre Array (SKA) radio telescope. Utilizing data from the NASA Exoplanet Archive, we compile information on confirmed exoplanets and estimate their radio emissions using the RBL model. Our analysis reveals that three exoplanets- Qatar-4 b, TOI-1278 b, and WASP-173 A b- exhibit detectable radio signals suitable for observation with the SKA telescope.


title: SnapKV: LLM Knows What You are Looking for Before Generation

abstract: Large Language Models (LLMs) have made remarkable progress in processing extensive contexts, with the Key-Value (KV) cache playing a vital role in enhancing their performance. However, the growth of the KV cache in response to increasing input length poses challenges to memory and time efficiency. To address this problem, this paper introduces SnapKV, an innovative and fine-tuning-free approach that efficiently minimizes KV cache size while still delivering comparable performance in real-world applications. We discover that each attention head in the model consistently focuses on specific prompt attention features during generation. Meanwhile, this robust pattern can be obtained from an 'observation' window located at the end of the prompts. Drawing on this insight, SnapKV automatically compresses KV caches by selecting clustered important KV positions for each attention head. Our approach significantly reduces the growing computational overhead and memory footprint when processing long input sequences. Specifically, SnapKV achieves a consistent decoding speed with a 3.6x increase in generation speed and an 8.2x enhancement in memory efficiency compared to the baseline when processing inputs of 16K tokens. At the same time, it maintains comparable performance to the baseline models across 16 long sequence datasets. Moreover, SnapKV can process up to 380K context tokens on a single A100-80GB GPU using HuggingFace implementation with minor changes, exhibiting only a negligible accuracy drop in the Needle-in-a-Haystack test. Further comprehensive studies suggest SnapKV's potential for practical applications.


title: Truth Factors

abstract: Truth refers to the satisfaction relation used to define the semantics of model-theoretic languages. The satisfaction relation for first order languages (truth classification), and the preservation of truth by first order interpretations (truth infomorphism), is a motivating example in the theory of Information Flow (IF) (Barwise and Seligman 1997). The abstract theory of satisfaction is the basis for the theory of institutions (Goguen and Burstall 1992). Factoring refers to categorical factorization systems. The concept lattice, which is the central structure studied by the theory of Formal Concept Analysis (FCA) (Ganter and Wille 1999), is constructed by a factorization. The study of classification structures (IF) and the study of conceptual structures (FCA) aim (at least is part) to provide a principled foundation for the logical theory of knowledge representation and organization. In an effort to unify these two areas, the paper "Distributed Conceptual Structures" (Kent 2002) abstracted the basic theorem of FCA in order to established three levels of categorical equivalence between classification structures and conceptual structures. In this paper we refine this approach by resolving the equivalence as the factorization of three isomorphic versions: relation, function and Galois connection. We develop the latter more algebraic version of the equivalence as the polar factorization of Galois connections. We advocate this abstract adjunctive representation of classification and conceptual structures.


title: Narrative Action Evaluation with Prompt-Guided Multimodal Interaction

abstract: In this paper, we investigate a new problem called narrative action evaluation (NAE). NAE aims to generate professional commentary that evaluates the execution of an action. Unlike traditional tasks such as score-based action quality assessment and video captioning involving superficial sentences, NAE focuses on creating detailed narratives in natural language. These narratives provide intricate descriptions of actions along with objective evaluations. NAE is a more challenging task because it requires both narrative flexibility and evaluation rigor. One existing possible solution is to use multi-task learning, where narrative language and evaluative information are predicted separately. However, this approach results in reduced performance for individual tasks because of variations between tasks and differences in modality between language information and evaluation information. To address this, we propose a prompt-guided multimodal interaction framework. This framework utilizes a pair of transformers to facilitate the interaction between different modalities of information. It also uses prompts to transform the score regression task into a video-text matching task, thus enabling task interactivity. To support further research in this field, we re-annotate the MTL-AQA and FineGym datasets with high-quality and comprehensive action narration. Additionally, we establish benchmarks for NAE. Extensive experiment results prove that our method outperforms separate learning methods and naive multi-task learning methods. Data and code are released at https://github.com/shiyi-zh0408/NAE_CVPR2024.


title: Localisation without supersymmetry: towards exact results from Dirac structures in 3D $N = 0$ gauge theory

abstract: We show, by introducing purely auxiliary gluinos and scalars, that the quantum path integral for a class of 3D interacting non-supersymmetric gauge theories localises. The theories in this class all admit a `Manin gauge theory' formulation, that we introduce; it is obtained by enhancing the gauge algebra of the theory to a Dirac structure inside a Manin pair. This machinery allows us to do localisation computations for every theory in this class at once, including for 3D Yang-Mills theory, and for its Third Way deformation; the latter calculation casts the Third Way path integral into an almost 1-loop exact form.


title: Optimally scrambling chiral spin-chain with effective black hole geometry

abstract: There is currently significant interest in emulating the essential characteristics of black holes, such as their Hawking radiation or their optimal scrambling behavior, using condensed matter models. In this article, we investigate a chiral spin-chain, whose mean field theory effectively captures the behavior of Dirac fermions in the curved spacetime geometry of a black hole. We find that within the region of the chain that describe the interior of the black hole, strong correlations prevail giving rise to many-body chaotic dynamics. Employing out-of-time-order correlations as a diagnostic tool, we numerically compute the associated Lyapunov exponent. Intriguingly, we observe a linear increase in the Lyapunov exponent with temperature within the black hole's interior at low temperatures, indicative of optimal scrambling behavior. This contrasts with the quadratic temperature dependence exhibited by the spin-chain on the region outside the black hole. Our findings contribute to a deeper understanding of the interplay between black hole geometry and quantum chaos, offering insights into fundamental aspects of quantum gravity.


title: Finding the unusual red giant remnants of cataclysmic variable mergers

abstract: Mergers between helium white dwarfs and main-sequence stars are likely common, producing red giant-like remnants making up roughly a few percent of all low-mass ($\lesssim2M_\odot$) red giants. Through detailed modelling, we show that these merger remnants possess distinctive photometric, asteroseismic, and surface abundance signatures through which they may be identified. During hydrogen shell burning, merger remnants reach higher luminosities and possess pulsations which depart from the usual degenerate sequence on the asteroseismic $\Delta\nu$--$\Delta\Pi$ diagram for red giant branch stars. For sufficiently massive helium white dwarfs, merger remnants undergo especially violent helium flashes which can dredge up a large amount of core material (up to $\sim0.1M_\odot$) into the envelope. Such post-dredge-up remnants are more luminous than normal red clump stars, surface carbon-rich, and possess a wider range of asteroseismic g-mode period spacings and mixed-mode couplings. Recently discovered low-mass ($\lesssim0.8M_\odot$) red clump stars may be core helium-burning remnants of mergers involving lower-mass helium white dwarfs.


title: JWST ERS Program Q3D: The pitfalls of virial BH mass constraints shown in a z = 3 quasar with an ultramassive host

abstract: We present JWST MIRI/NIRSpec observations of the extremely red quasar SDSS J165202.64+172852.3 at z~3, one of the most luminous quasars known to date, driving powerful outflows and hosting a clumpy starburst, amidst several interacting companions. We estimate the black hole (BH) mass of the system based on the broad H$\alpha$ and H$\beta$ lines, as well as the Pa$\beta$ emission in the IR and MgII in the UV. We recover a very broad range of mass estimates, with constraints ranging between log $M_{\rm BH}$=9 and 10.1, which is exacerbated if imposing a uniform BLR geometry at all wavelengths. Several factors may contribute to the large spread: measurement uncertainties (insufficient sensitivity to detect the broadest component of the faint Pa$\beta$ line, spectral blending, ambiguities in the broad/narrow component distinction), lack of virial equilibrium (in a system characterised by powerful outflows and rapid accretion), and uncertainties on the luminosity-inferred size of the broad line region, a.o. given central dust obscuration. We constrain the stellar mass via SED fitting, suggesting the host to be extremely massive at $10^{12.8\pm 0.5} M_\odot$ - ~2 dex above the characteristic mass of the Schechter fit to the z=3 stellar mass function. Notably, J1652's central BH might be interpreted as being either undermassive, overmassive, or in line with the BH mass-stellar mass relation, depending on the choice of assumptions. The recovered Eddington ratio varies accordingly, but exceeds 10% in any case. We put our results into context by providing an extensive overview and discussion of recent literature results and their associated assumptions. Our findings provide an important demonstration of the uncertainties inherent in virial BH mass estimates, which are of particular relevance in the JWST era given the growing number of studies on rapidly accreting quasars at high redshift.


title: Leading Axion-Photon Sensitivity with NuSTAR Observations of M82 and M87

abstract: We perform the most sensitive search to-date for the existence of ultralight axions using data from the NuSTAR telescope. We search for stellar axion production in the M82 starburst galaxy and the M87 central galaxy of the Virgo cluster and then the subsequent conversion into hard X-rays in the surrounding magnetic fields. We sum over the full stellar populations in these galaxies when computing the axion luminosity, and we account for the conversion of axions to photons by using magnetic field profiles in simulated IllustrisTNG analogue galaxies. We show that analyzing NuSTAR data towards these targets between roughly 30 to 70 keV shows no evidence for axions and leads to robust constraints on the axion-photon coupling at the level of $|g_{a\gamma\gamma}| \lesssim 6.4 \times 10^{-13}$ GeV$^{-1}$ for $m_a \lesssim 10^{-10}$ eV at 95% confidence.


title: Waves on Mazes

abstract: One way to describe the entropy of black holes comes from partitioning momentum charge across fractionated intersecting brane systems. Here we construct $\frac{1}{8}$-BPS solutions by adding momentum to a maze of M2-brane strips stretched between M5 branes. Before the addition of momentum, the $\frac{1}{4}$-BPS supergravity solution describing the maze is governed by a master function obeying a complicated Monge-Amp\`ere equation. Given such a solution, we show that one can add momentum waves without modifying the $\frac{1}{4}$-BPS M2-M5 background. Remarkably, these excitations are fully determined by a layered set of $\textit{linear}$ equations. The fields responsible for carrying the momentum are parameterized by arbitrary functions of a null direction, and have exactly the same structure as in brane world-volume constructions. The fact that the momentum and flux excitations of the M2-M5-P system are governed by a linear structure brings us one step closer to using supergravity solutions to capture the entropy of supersymmetric black-holes.


title: From area metric backgrounds to cosmological constant and corrections to the Polyakov action

abstract: Area metrics and area metric backgrounds provide a unified framework for quantum gravity. They encode physical degrees of freedom beyond those of a metric. These non-metric degrees of freedom must be suppressed by a potential at sufficiently high energy scales to ensure that in the infrared regime classical gravity is recovered. On this basis, we first study necessary and sufficient algebraic conditions for an area metric to be induced by a metric. Second, we consider candidate potentials for the area metric and point out a possible connection between the reduction of area metric geometry to metric geometry on the one hand, and the smallness of the cosmological constant on the other. Finally, we consider modifications of the Nambu-Goto action for a string, from a metric background to an area metric background. We demonstrate that area metric perturbations introduce an interaction corresponding to a singular vertex operator in the classically equivalent Polyakov action. The implications of these types of vertex operators for the quantum theory remain to be understood.


title: Non-saturation of Bootstrap Bounds by Hyperbolic Orbifolds

abstract: In recent years the conformal bootstrap has produced surprisingly tight bounds on many non-perturbative CFTs. It is an open question whether such bounds are indeed saturated by these CFTs. A toy version of this question appears in a recent application of the conformal bootstrap to hyperbolic orbifolds, where one finds bounds on Laplace eigenvalues that are exceptionally close to saturation by explicit orbifolds. In some instances, the bounds agree with the actual values to 11 significant digits. In this work we show, under reasonable assumptions about the convergence of numerics, that these bounds are not in fact saturated. In doing so, we find formulas for the OPE coefficients of hyperbolic orbifolds, using links between them and the Rankin-Cohen brackets of modular forms.


title: Holography for Sp(2$N_c$) Gauge Dynamics: from Composite Higgs to Technicolour

abstract: We study Sp(2$N_c$) gauge dynamics with two Dirac fermion flavours in the fundamental representation. These strongly coupled systems underlie some composite Higgs models with a global symmetry breaking pattern SU(4)$\rightarrow$Sp(4), leading to a light quartet of pseudo-Goldstone bosons that can play the role of the Higgs. Including four-fermion interactions can rotate the vacuum to a technicolour breaking pattern. Using gauge/gravity duality, we study the underlying gauge dynamics. Our model incorporates the $N_c$-specific running of the fermion anomalous dimension and can thus distinguish between specific gauge groups. We determine the bound-state spectrum of the UV SU(4)$\rightarrow$Sp(4) symmetry breaking model, also including fermion masses and mass splitting, and display the $N_c$ dependence. The inclusion of a four-fermion interaction shows the emergence of three Goldstone bosons on the path to technicolour dynamics.


title: Symmetry fractionalization and duality defects in Maxwell theory

abstract: We consider Maxwell theory on a non-spin manifold. Depending on the choice of statistics for line operators, there are three non-anomalous theories and one anomalous theory with different symmetry fractionalizations. We establish the gauging maps that connect the non-anomalous theories by coupling them to a discrete gauge theory. We also construct topological interfaces associated with $\mathrm{SL}(2,\mathbb{Z})$ duality and gauging of electric and magnetic one-form symmetries. Finally, by stacking the topological interfaces, we compose various kinds of duality defects, which lead to non-invertible symmetries of non-spin Maxwell theories.


title: Boosting Beyond: A Novel Approach to Probing Top-Philic Resonances at the LHC

abstract: We introduce a novel search strategy for heavy top-philic resonances that induce new contributions to four-top production at the LHC. We capitalize on recent advances in top-tagging performance to demonstrate that the final state, that is expected to be boosted based on current limits, can be fully reconstructed and exploited. Notably, our approach promises bounds on new physics cross-sections that are 30 to 60 times stronger than those obtained through traditional searches, showcasing its unprecedented effectiveness in probing top-philic new physics.


title: APPLE: An Evolution Code for Modeling Giant Planets

abstract: We introduce APPLE, a novel planetary evolution code designed specifically for the study of giant exoplanet and Jovian planet evolution in the era of Galileo, Juno, and Cassini. With APPLE, state-of-the-art equations of state for hydrogen, helium, ice, and rock are integrated with advanced features to treat ice/rock cores and metals in the gaseous envelope; models for helium rain and hydrogen/helium immiscibility; detailed atmosphere boundary tables that also provide self-consistent albedos and spectra; and options to address envelope metal gradients and stably-stratified regions. Our hope is that these purpose-built features of APPLE will help catalyze the development of the next generation of giant exoplanet and Jovian planet evolutionary models.


title: Paicos: A Python package for analysis of (cosmological) simulations performed with Arepo

abstract: We present Paicos, a new object-oriented Python package for analyzing simulations performed with Arepo. Paicos strives to reduce the learning curve for students and researchers getting started with Arepo simulations. As such, Paicos includes many examples in the form of Python scripts and Jupyter notebooks as well as an online documentation describing the installation procedure and recommended first steps. Paicos' main features are automatic handling of cosmological and physical units, computation of derived variables, 2D visualization (slices and projections), 1D and 2D histograms, and easy saving and loading of derived data including units and all the relevant metadata.


title: Enhanced Muonization by Active-Sterile Neutrino Mixing in Protoneutron Stars

abstract: We study $\nu_\mu$-$\nu_s$ and $\bar\nu_\mu$-$\bar\nu_s$ mixing in the protoneutron star (PNS) created in a core-collapse supernova (CCSN). We point out the importance of the feedback on the general composition of the PNS in addition to the obvious feedback on the $\nu_\mu$ lepton number. We show that for our adopted mixing parameters $\delta m^2\sim 10^2\,$keV$^2$ and $\sin^2 2\theta$ consistent with the current constraints, sterile neutrino production is dominated by the Mikheyev$-$Smirnov$-$Wolfenstein conversion of $\bar\nu_\mu$ into $\bar\nu_s$ and that the subsequent escape of $\bar\nu_s$ increases the $\nu_\mu$ lepton number, which in turn enhances muonization of the PNS primarily through $\nu_\mu+n\to p+\mu^-$. We find that this enhancement is amplified by diffusion of the $\nu_e$ and $\nu_\mu$ lepton numbers. While these results are qualitatively robust, their quantitative effects on the dynamics and active neutrino emission of CCSNe should be evaluated by including $\nu_\mu$-$\nu_s$ and $\bar\nu_\mu$-$\bar\nu_s$ mixing in the simulations.