title: Towards Model-Agnostic Posterior Approximation for Fast and Accurate Variational Autoencoders

abstract: Inference for Variational Autoencoders (VAEs) consists of learning two models: (1) a generative model, which transforms a simple distribution over a latent space into the distribution over observed data, and (2) an inference model, which approximates the posterior of the latent codes given data. The two components are learned jointly via a lower bound to the generative model's log marginal likelihood. In early phases of joint training, the inference model poorly approximates the latent code posteriors. Recent work showed that this leads optimization to get stuck in local optima, negatively impacting the learned generative model. As such, recent work suggests ensuring a high-quality inference model via iterative training: maximizing the objective function relative to the inference model before every update to the generative model. Unfortunately, iterative training is inefficient, requiring heuristic criteria for reverting from iterative to joint training for speed. Here, we suggest an inference method that trains the generative and inference models independently. It approximates the posterior of the true model a priori; fixing this posterior approximation, we then maximize the lower bound relative to only the generative model. By conventional wisdom, this approach should rely on the true prior and likelihood of the true model to approximate its posterior (which are unknown). However, we show that we can compute a deterministic, model-agnostic posterior approximation (MAPA) of the true model's posterior. We then use MAPA to develop a proof-of-concept inference method. We present preliminary results on low-dimensional synthetic data that (1) MAPA captures the trend of the true posterior, and (2) our MAPA-based inference performs better density estimation with less computation than baselines. Lastly, we present a roadmap for scaling the MAPA-based inference method to high-dimensional data.


title: Collision-Free Platooning of Mobile Robots through a Set-Theoretic Predictive Control Approach

abstract: This paper proposes a control solution to achieve collision-free platooning control of input-constrained mobile robots. The platooning policy is based on a leader-follower approach where the leader tracks a reference trajectory while followers track the leader's pose with an inter-agent delay. First, the leader and the follower kinematic models are feedback linearized and the platoon's error dynamics and input constraints characterized. Then, a set-theoretic model predictive control strategy is proposed to address the platooning trajectory tracking control problem. An ad-hoc collision avoidance policy is also proposed to guarantee collision avoidance amongst the agents. Finally, the effectiveness of the proposed control architecture is validated through experiments performed on a formation of Khepera IV differential drive robots


title: LMStyle Benchmark: Evaluating Text Style Transfer for Chatbots

abstract: Since the breakthrough of ChatGPT, large language models (LLMs) have garnered significant attention in the research community. With the development of LLMs, the question of text style transfer for conversational models has emerged as a natural extension, where chatbots may possess their own styles or even characters. However, standard evaluation metrics have not yet been established for this new settings. This paper aims to address this issue by proposing the LMStyle Benchmark, a novel evaluation framework applicable to chat-style text style transfer (C-TST), that can measure the quality of style transfer for LLMs in an automated and scalable manner. In addition to conventional style strength metrics, LMStyle Benchmark further considers a novel aspect of metrics called appropriateness, a high-level metrics take account of coherence, fluency and other implicit factors without the aid of reference samples. Our experiments demonstrate that the new evaluation methods introduced by LMStyle Benchmark have a higher correlation with human judgments in terms of appropriateness. Based on LMStyle Benchmark, we present a comprehensive list of evaluation results for popular LLMs, including LLaMA, Alpaca, and Vicuna, reflecting their stylistic properties, such as formality and sentiment strength, along with their appropriateness.


title: Language-based game theory in the age of artificial intelligence

abstract: Understanding human behaviour in decision problems and strategic interactions has wide-ranging applications in economics, psychology, and artificial intelligence. Game theory offers a robust foundation for this understanding, based on the idea that individuals aim to maximize a utility function. However, the exact factors influencing strategy choices remain elusive. While traditional models try to explain human behaviour as a function of the outcomes of available actions, recent experimental research reveals that linguistic content significantly impacts decision-making, thus prompting a paradigm shift from outcome-based to language-based utility functions. This shift is more urgent than ever, given the advancement of generative AI, which has the potential to support humans in making critical decisions through language-based interactions. We propose sentiment analysis as a fundamental tool for this shift and take an initial step by analyzing 61 experimental instructions from the dictator game, an economic game capturing the balance between self-interest and the interest of others, which is at the core of many social interactions. Our meta-analysis shows that sentiment analysis can explain human behaviour beyond economic outcomes. We discuss future research directions. We hope this work sets the stage for a novel game theoretical approach that emphasizes the importance of language in human decisions.


title: On the representations of a family of pointed Hopf algebras

abstract: For each $\ell\geq 1$ and $\lambda,\mu\in\Bbbk$, we study the representations of a family of pointed Hopf algebras $\mathcal{A}_{\lambda,\mu}$. These arise as Hopf cocycle deformations of the graded algebra $\mathcal{FK}_3\#\Bbbk \mathbb{G}_{3,\ell}$, where $\mathcal{FK}_3$ is the Fomin-Kirillov algebra and $\mathbb{G}_{3,\ell}$ is a given non-abelian finite group. We compute the simple modules, their projective covers and formulate a description of tensor products. We observe that our results are fundamentally different according to the shape of the Hopf cocycle involved in the deformation.


title: Usable XAI: 10 Strategies Towards Exploiting Explainability in the LLM Era

abstract: Explainable AI (XAI) refers to techniques that provide human-understandable insights into the workings of AI models. Recently, the focus of XAI is being extended towards Large Language Models (LLMs) which are often criticized for their lack of transparency. This extension calls for a significant transformation in XAI methodologies because of two reasons. First, many existing XAI methods cannot be directly applied to LLMs due to their complexity advanced capabilities. Second, as LLMs are increasingly deployed across diverse industry applications, the role of XAI shifts from merely opening the "black box" to actively enhancing the productivity and applicability of LLMs in real-world settings. Meanwhile, unlike traditional machine learning models that are passive recipients of XAI insights, the distinct abilities of LLMs can reciprocally enhance XAI. Therefore, in this paper, we introduce Usable XAI in the context of LLMs by analyzing (1) how XAI can benefit LLMs and AI systems, and (2) how LLMs can contribute to the advancement of XAI. We introduce 10 strategies, introducing the key techniques for each and discussing their associated challenges. We also provide case studies to demonstrate how to obtain and leverage explanations. The code used in this paper can be found at: https://github.com/JacksonWuxs/UsableXAI_LLM.


title: Robust COVID-19 Detection in CT Images with CLIP

abstract: In the realm of medical imaging, particularly for COVID-19 detection, deep learning models face substantial challenges such as the necessity for extensive computational resources, the paucity of well-annotated datasets, and a significant amount of unlabeled data. In this work, we introduce the first lightweight detector designed to overcome these obstacles, leveraging a frozen CLIP image encoder and a trainable multilayer perception (MLP). Enhanced with Conditional Value at Risk (CVaR) for robustness and a loss landscape flattening strategy for improved generalization, our model is tailored for high efficacy in COVID-19 detection. Furthermore, we integrate a teacher-student framework to capitalize on the vast amounts of unlabeled data, enabling our model to achieve superior performance despite the inherent data limitations. Experimental results on the COV19-CT-DB dataset demonstrate the effectiveness of our approach, surpassing baseline by up to 10.6% in `macro' F1 score in supervised learning. The code is available at https://github.com/Purdue-M2/COVID-19_Detection_M2_PURDUE.


title: Model-free Resilient Controller Design based on Incentive Feedback Stackelberg Game and Q-learning

abstract: In the swift evolution of Cyber-Physical Systems (CPSs) within intelligent environments, especially in the industrial domain shaped by Industry 4.0, the surge in development brings forth unprecedented security challenges. This paper explores the intricate security issues of Industrial CPSs (ICPSs), with a specific focus on the unique threats presented by intelligent attackers capable of directly compromising the controller, thereby posing a direct risk to physical security. Within the framework of hierarchical control and incentive feedback Stackelberg game, we design a resilient leading controller (leader) that is adaptive to a compromised following controller (follower) such that the compromised follower acts cooperatively with the leader, aligning its strategies with the leader's objective to achieve a team-optimal solution. First, we provide sufficient conditions for the existence of an incentive Stackelberg solution when system dynamics are known. Then, we propose a Q-learning-based Approximate Dynamic Programming (ADP) approach, and corresponding algorithms for the online resolution of the incentive Stackelberg solution without requiring prior knowledge of system dynamics. Last but not least, we prove the convergence of our approach to the optimum.


title: Studying time-like proton form factors using vortex state $p\bar{p}$ annihilation

abstract: Vortex states of particles - non-plane-wave solutions of the corresponding wave equation with a helicoidal wave front - open new opportunities for particle physics, unavailable in plane wave scattering. Here we demonstrate that $p\bar p$ annihilation with a vortex proton and antiproton provides access to the phase of proton electromagnetic form factors even in unpolarized scattering.


title: Exploring Prompt Engineering Practices in the Enterprise

abstract: Interaction with Large Language Models (LLMs) is primarily carried out via prompting. A prompt is a natural language instruction designed to elicit certain behaviour or output from a model. In theory, natural language prompts enable non-experts to interact with and leverage LLMs. However, for complex tasks and tasks with specific requirements, prompt design is not trivial. Creating effective prompts requires skill and knowledge, as well as significant iteration in order to determine model behavior, and guide the model to accomplish a particular goal. We hypothesize that the way in which users iterate on their prompts can provide insight into how they think prompting and models work, as well as the kinds of support needed for more efficient prompt engineering. To better understand prompt engineering practices, we analyzed sessions of prompt editing behavior, categorizing the parts of prompts users iterated on and the types of changes they made. We discuss design implications and future directions based on these prompt engineering practices.


title: The inviscid limit for long time statistics of the one-dimensional stochastic Ginzburg-Landau equation

abstract: We consider the long time statistics of a one-dimensional stochastic Ginzburg-Landau equation with cubic nonlinearity while being subjected to random perturbations via an additive Gaussian noise. Under the assumption that sufficiently many directions of the phase space are stochastically forced, we find that the dynamics is attractive toward the unique invariant probability measure with a polynomial rate that is independent of the vanishing viscosity. This relies on a coupling technique exploiting a Foias-Prodi argument specifically tailored to the system. Then, in the inviscid regime, we show that the sequence of invariant measures converges toward the invariant measure of the stochastic Schr\"odinger equation in a suitable Wasserstein distance. Together with the uniform polynomial mixing, we obtain the validity of the inviscid limit for the solutions on the infinite time horizon with a log log rate.


title: Characterisation of analogue Monolithic Active Pixel Sensor test structures implemented in a 65 nm CMOS imaging process

abstract: Analogue test structures were fabricated using the Tower Partners Semiconductor Co. CMOS 65 nm ISC process. The purpose was to characterise and qualify this process and to optimise the sensor for the next generation of Monolithic Active Pixels Sensors for high-energy physics. The technology was explored in several variants which differed by: doping levels, pixel geometries and pixel pitches (10-25 $\mu$m). These variants have been tested following exposure to varying levels of irradiation up to 3 MGy and $10^{16}$ 1 MeV n$_\text{eq}$ cm$^{-2}$. Here the results from prototypes that feature direct analogue output of a 4$\times$4 pixel matrix are reported, allowing the systematic and detailed study of charge collection properties. Measurements were taken both using $^{55}$Fe X-ray sources and in beam tests using minimum ionizing particles. The results not only demonstrate the feasibility of using this technology for particle detection but also serve as a reference for future applications and optimisations.


title: On the Intersection of Two Conics

abstract: Finding the intersection of two conics is a commonly occurring problem. For example, it occurs when identifying patterns of craters on the lunar surface, detecting the orientation of a face from a single image, or estimating the attitude of a camera from 2D-to-3D point correspondences. Regardless of the application, the study of this classical problem presents a number of delightful geometric results. In most of the cases, the intersection points are computed by finding the degenerate conic consisting of two lines passing through the common points. Once a linear combination of the two conic matrices has been constructed, the solution of an eigenvalue problem provides four possible degenerate conics, of which only one coincides with the sought pair of lines. Then, the method proceeds by finding the intersection between one of the conics and the two lines. Other approaches make use of different methods, such as Gr\"obner bases or geometric algebra. Conic intersection, however, may be solved more intuitively with a convenient change of coordinates. In this work, we will consider two such coordinate changes. In the first approach, one of the conics is transformed into a parabola, which reduces the intersection problem to finding the solution of a quartic. In the second approach, we instead use the concept of self-polar triangles - which, amazingly, reduces the conic intersection problem to the solution of a simple quadratic equation.


title: Morphological instability at topological defects in a three-dimensional vertex model for spherical epithelia

abstract: Epithelial monolayers are a central building block of complex organisms. Topological defects have emerged as important elements for single cell behavior in flat epithelia. Here we theoretically study such defects in a three-dimensional vertex model for spherical epithelia like cysts or intestinal organoids. We find that they lead to the same generic morphological instability to an icosahedral shape as it is known from spherical elastic shells like virus capsids, polymerized vesicles or buckyballs. We derive analytical expressions for the effective stretching and bending moduli as a function of the parameters of the vertex model, in excellent agreement with computer simulations. These equations accurately predict both the buckling of a flat epithelial monolayer under uniaxial compression and the faceting transition around the topological defects in spherical epithelia. We further show that localized apico-basal tension asymmetries allow them to reduce the transition threshold to small system sizes.


title: Towards Efficient Risk-Sensitive Policy Gradient: An Iteration Complexity Analysis

abstract: Reinforcement Learning (RL) has shown exceptional performance across various applications, enabling autonomous agents to learn optimal policies through interaction with their environments. However, traditional RL frameworks often face challenges in terms of iteration complexity and robustness. Risk-sensitive RL, which balances expected return and risk, has been explored for its potential to yield probabilistically robust policies, yet its iteration complexity analysis remains underexplored. In this study, we conduct a thorough iteration complexity analysis for the risk-sensitive policy gradient method, focusing on the REINFORCE algorithm and employing the exponential utility function. We obtain an iteration complexity of $\mathcal{O}(\epsilon^{-2})$ to reach an $\epsilon$-approximate first-order stationary point (FOSP). We investigate whether risk-sensitive algorithms can achieve better iteration complexity compared to their risk-neutral counterparts. Our theoretical analysis demonstrates that risk-sensitive REINFORCE can have a reduced number of iterations required for convergence. This leads to improved iteration complexity, as employing the exponential utility does not entail additional computation per iteration. We characterize the conditions under which risk-sensitive algorithms can achieve better iteration complexity. Our simulation results also validate that risk-averse cases can converge and stabilize more quickly after approximately half of the episodes compared to their risk-neutral counterparts.


title: AI coach for badminton

abstract: In the competitive realm of sports, optimal performance necessitates rigorous management of nutrition and physical conditioning. Specifically, in badminton, the agility and precision required make it an ideal candidate for motion analysis through video analytics. This study leverages advanced neural network methodologies to dissect video footage of badminton matches, aiming to extract detailed insights into player kinetics and biomechanics. Through the analysis of stroke mechanics, including hand-hip coordination, leg positioning, and the execution angles of strokes, the research aims to derive predictive models that can suggest improvements in stance, technique, and muscle orientation. These recommendations are designed to mitigate erroneous techniques, reduce the risk of joint fatigue, and enhance overall performance. Utilizing a vast array of data available online, this research correlates players' physical attributes with their in-game movements to identify muscle activation patterns during play. The goal is to offer personalized training and nutrition strategies that align with the specific biomechanical demands of badminton, thereby facilitating targeted performance enhancements.


title: Effect of Deviations from General Relativity on Searches for Gravitational Wave Microlensing and Type II Strong Lensing

abstract: As the gravitational wave detector network is upgraded and the sensitivity of the detectors improves, novel scientific avenues open for exploration. For example, tests of general relativity will become more accurate as smaller deviations can be probed. Additionally, the detection of lensed gravitational waves becomes more likely. However, these new avenues could also interact with each other, and a gravitational wave event presenting deviations from general relativity could be mistaken for a lensed one. Here, we explore how phenomenological deviations from general relativity or binaries of exotic compact objects could impact those lensing searches focusing on a single event. We consider strong lensing, millilensing, and microlensing and find that certain phenomenological deviations from general relativity may be mistaken for all of these types of lensing. Therefore, our study shows that future candidate lensing events would need to be carefully examined to avoid a false claim of lensing where instead a deviation from general relativity has been seen.


title: Necessary conditions for turnpike property for generalized linear-quadratic problems

abstract: In this paper, we develop several necessary conditions of turnpike property for generalizaid linear-quadratic (LQ) optimal control problem in infinite dimensional setting. The term 'generalized' here means that both quadratic and linear terms are considered in the running cost. The turnpike property reflects the fact that over a sufficiently large time horizon, the optimal trajectories and optimal controls stay for most of the time close to a steady state of the system. We show that the turnpike property is strongly connected to certain system theoretical properties of the control system. We provide suitable conditions to characterize the turnpike property in terms of the detectability and stabilizability of the system. Subsequently, we show the equivalence between the exponential turnpike property for generalized LQ and LQ optimal control problems.


title: scVGAE: A Novel Approach using ZINB-Based Variational Graph Autoencoder for Single-Cell RNA-Seq Imputation

abstract: Single-cell RNA sequencing (scRNA-seq) has revolutionized our ability to study individual cellular distinctions and uncover unique cell characteristics. However, a significant technical challenge in scRNA-seq analysis is the occurrence of "dropout" events, where certain gene expressions cannot be detected. This issue is particularly pronounced in genes with low or sparse expression levels, impacting the precision and interpretability of the obtained data. To address this challenge, various imputation methods have been implemented to predict such missing values, aiming to enhance the analysis's accuracy and usefulness. A prevailing hypothesis posits that scRNA-seq data conforms to a zero-inflated negative binomial (ZINB) distribution. Consequently, methods have been developed to model the data according to this distribution. Recent trends in scRNA-seq analysis have seen the emergence of deep learning approaches. Some techniques, such as the variational autoencoder, incorporate the ZINB distribution as a model loss function. Graph-based methods like Graph Convolutional Networks (GCN) and Graph Attention Networks (GAT) have also gained attention as deep learning methodologies for scRNA-seq analysis. This study introduces scVGAE, an innovative approach integrating GCN into a variational autoencoder framework while utilizing a ZINB loss function. This integration presents a promising avenue for effectively addressing dropout events in scRNA-seq data, thereby enhancing the accuracy and reliability of downstream analyses. scVGAE outperforms other methods in cell clustering, with the best performance in 11 out of 14 datasets. Ablation study shows all components of scVGAE are necessary. scVGAE is implemented in Python and downloadable at https://github.com/inoue0426/scVGAE.


title: Gromoll--Meyer's actions and the geometry of (exotic) spacetimes

abstract: Since the advent of new pairwise non-diffeomorphic structures on smooth manifolds, it has been questioned whether two topologically identical manifolds could admit different geometries. Not surprisingly, physicists have wondered whether a smooth structure assumption different from some classical known models could produce different physical meanings. In this paper, we inaugurate a very computational manner to produce physical models on classical and exotic spheres that can be built equivariantly, such as the classical Gromoll--Meyer exotic spheres. As first applications, we produce Lorentzian metrics on homeomorphic but not diffeomorphic manifolds that enjoy the same physical properties, such as geodesic completeness, positive Ricci curvature, and compatible time orientation. These constructions can be pulled back to higher models, such as exotic ten spheres bounding spin manifolds, to be approached in forthcoming papers.


title: ALMA Observations of Molecular Line Emission from High-excitation Bipolar Planetary Nebulae

abstract: We present early results from our program of ALMA Band 6 (1.3mm) molecular line mapping of a sample of nearby, well-studied examples of high-excitation, bipolar/pinched-waist and molecule-rich planetary nebulae (Hubble 5 and NGC 2440, 2818, 2899, 6302, and 6445). We have mapped these planetary nebulae (PNe) in isotopologues of CO as well as various molecular line tracers of high-energy irradiation, such as HCN, CN, HNC, and HCO+, with the complementary goals of establishing nebular kinematics as well as the zones of UV-heated and X-ray-ionized molecular gas within each nebula. The resulting high-resolution ALMA molecular emission-line maps reveal the regions of high-excitation bipolar PNe in which molecular gas, presumably ejected during asymptotic giant branch stages of the PN progenitor stars, survives and evolves chemically. We present a summary of molecular species detected to date in the sample nebulae, and we use example results for one PN (NGC 6455) to demonstrate the power of the ALMA data in revealing the structures, kinematics, and compositions of the equatorial molecular tori that are a common feature of the sample objects.


title: Using Deep Learning for Morphological Classification in Pigs with a Focus on Sanitary Monitoring

abstract: The aim of this paper is to evaluate the use of D-CNN (Deep Convolutional Neural Networks) algorithms to classify pig body conditions in normal or not normal conditions, with a focus on characteristics that are observed in sanitary monitoring, and were used six different algorithms to do this task. The study focused on five pig characteristics, being these caudophagy, ear hematoma, scratches on the body, redness, and natural stains (brown or black). The results of the study showed that D-CNN was effective in classifying deviations in pig body morphologies related to skin characteristics. The evaluation was conducted by analyzing the performance metrics Precision, Recall, and F-score, as well as the statistical analyses ANOVA and the Scott-Knott test. The contribution of this article is characterized by the proposal of using D-CNN networks for morphological classification in pigs, with a focus on characteristics identified in sanitary monitoring. Among the best results, the average Precision metric of 80.6\% to classify caudophagy was achieved for the InceptionResNetV2 network, indicating the potential use of this technology for the proposed task. Additionally, a new image database was created, containing various pig's distinct body characteristics, which can serve as data for future research.


title: Timing the Milky Way bar formation and the accompanying radial migration episode

abstract: We derive the metallicity profile of the Milky Way low-$\alpha$ disc population from 2 to 20 kpc from the Galactic centre in 1 Gyr age bins using the astroNN catalogue, and show that it is highly structured, with a plateau between 4 and 7 kpc and a break at 10-12 kpc. We argue that these features result from the two main bar resonances, the corotation and the Outer Lindblad Resonance (OLR), respectively. We show that the break in the metallicity profile is most visible in stars having 7-8 Gyr, reaching an amplitude of about 0.4 dex, and is the signpost of the position of the bar OLR. The bar formation was accompanied by an episode of radial migration triggered by its slowing down and is responsible for spreading old metal-rich stars up to the OLR. The data show that the slowdown of the bar ended 6-7 Gyr ago. Based on numerical simulations that reproduce well the break observed in the metallicity profile, we argue that this implies that the bar formed in our Galaxy 8-10 Gyr ago. Analysis of the metallicity distribution as a function of radius shows no evidence of significant systematic outward radial migration after this first episode. We argue that the variation of the metallicity dispersion as a function of the guiding radius is dominated by the migration triggered by the bar, but also that the libration of orbits around the bar resonances induces a mixing that may have a significant impact on the observed metallicity dispersion. In contrast, the absence of a break in the metallicity profile of populations younger than about $\sim$6 Gyr and the flattening of the gradient at younger ages is interpreted as evidence that the strength of the bar has decreased, loosening its barrier effect and allowing the gas and metals on both sides of the OLR to mix, erasing the break. Beyond the OLR, stars younger than 7 Gyr show very small metallicity dispersion, suggesting no or limited mixing.


title: Hyperelasticity of Blood Clots: Bridging the Gap between Microscopic and Continuum Scales

abstract: The biomechanical properties of blood clots, which are dictated by their compositions and micro-structures, play a critical role in determining their fates, occlusion, persistency, or embolization in the human circulatory system. While numerous constitutive models have emerged to describe the biomechanics of blood clots, the majority of these models have primarily focused on the macroscopic deformation of the clots and the resultant strain-stress correlations without depicting the microscopic contributions from their structural components, such as fibrin fibers, fibrin network and red blood cells. This work addresses the gap in current scientific understanding by quantifying how changes in the microstructure of blood clots affect its mechanical responses under different external stresses. We leverage our previous published work to develop a hyperelastic potential model for blood clots, which incorporates six distinct strain-energy components to describe the alignment of fibers, the entropic and enthalpic stretching of fibrin fibers, the buckling of these fibers, clot densification, and clot jamming.These strain-energy components are represented by a combination of simple harmonic oscillators, one-sided harmonic potentials, and a Gaussian potential. The proposed model, which is C0, C1, and C2 continuous with a total of 13 parameters, has been validated against three data sets: fibrin clot in tension, blood clot in compression, and blood clots in shear, demonstrating its robustness. Subsequent simulations of a microscopic blood clot model are performed to uncover mechanistic correlations for a majority of the hyperelastic potential's stiffness/strain parameters. Our results show that only one proposed term concerning fiber buckling needs further refinement, while the remaining five strain-energy terms appear to describe precisely what they were intended to.


title: Deep Learning Based Dynamics Identification and Linearization of Orbital Problems using Koopman Theory

abstract: The study of the Two-Body and Circular Restricted Three-Body Problems in the field of aerospace engineering and sciences is deeply important because they help describe the motion of both celestial and artificial satellites. With the growing demand for satellites and satellite formation flying, fast and efficient control of these systems is becoming ever more important. Global linearization of these systems allows engineers to employ methods of control in order to achieve these desired results. We propose a data-driven framework for simultaneous system identification and global linearization of both the Two-Body Problem and Circular Restricted Three-Body Problem via deep learning-based Koopman Theory, i.e., a framework that can identify the underlying dynamics and globally linearize it into a linear time-invariant (LTI) system. The linear Koopman operator is discovered through purely data-driven training of a Deep Neural Network with a custom architecture. This paper displays the ability of the Koopman operator to generalize to various other Two-Body systems without the need for retraining. We also demonstrate the capability of the same architecture to be utilized to accurately learn a Koopman operator that approximates the Circular Restricted Three-Body Problem.

categories: math-ph astro-ph.EP cs.LG math.MP physics.space-ph


title: Managing Distributional Ambiguity in Stochastic Optimization through a Statistical Upper Bound Framework

abstract: Stochastic optimization is often hampered by distributional ambiguity, where critical probability distributions are poorly characterized or unknown. Addressing this challenge, we introduce a new framework that targets the minimization of a statistical upper bound for the expected value of uncertain objectives, facilitating more statistically robust decision-making. Central to our approach is the Average Percentile Upper Bound (APUB), a novel construct that simultaneously delivers a statistically rigorous upper bound for the population mean and a meaningful risk metric for the sample mean. The integration of APUB into stochastic optimization not only fortifies the process against distributional ambiguity but also reinforces key data-driven decision-making attributes, such as reliability, consistency, and comprehensibility. Notably, APUB-enriched optimization problems feature tractability, with particular advantages in two-stage stochastic optimization with random recourse. Empirical demonstrations on two-stage product mix and multi-product newsvendor benchmark problems reveal the benefit of the APUB optimization framework, in comparison with conventional techniques such as sample average approximation and distributionally robust optimization.


title: PathM3: A Multimodal Multi-Task Multiple Instance Learning Framework for Whole Slide Image Classification and Captioning

abstract: In the field of computational histopathology, both whole slide images (WSIs) and diagnostic captions provide valuable insights for making diagnostic decisions. However, aligning WSIs with diagnostic captions presents a significant challenge. This difficulty arises from two main factors: 1) Gigapixel WSIs are unsuitable for direct input into deep learning models, and the redundancy and correlation among the patches demand more attention; and 2) Authentic WSI diagnostic captions are extremely limited, making it difficult to train an effective model. To overcome these obstacles, we present PathM3, a multimodal, multi-task, multiple instance learning (MIL) framework for WSI classification and captioning. PathM3 adapts a query-based transformer to effectively align WSIs with diagnostic captions. Given that histopathology visual patterns are redundantly distributed across WSIs, we aggregate each patch feature with MIL method that considers the correlations among instances. Furthermore, our PathM3 overcomes data scarcity in WSI-level captions by leveraging limited WSI diagnostic caption data in the manner of multi-task joint learning. Extensive experiments with improved classification accuracy and caption generation demonstrate the effectiveness of our method on both WSI classification and captioning task.


title: Parameter identification and uncertainty propagation of hydrogel coupled diffusion-deformation using POD-based reduced-order modeling

abstract: This study explores reduced-order modeling for analyzing the time-dependent diffusion-deformation of hydrogels. The full-order model describing hydrogel transient behavior consists of a coupled system of partial differential equations in which chemical potential and displacements are coupled. This system is formulated in a monolithic fashion and solved using the finite element method. We employ proper orthogonal decomposition as a model order reduction approach. The reduced-order model performance is tested through a benchmark problem on hydrogel swelling and a case study simulating co-axial printing. Then, we embed the reduced-order model into an optimization loop to efficiently identify the coupled problem's material parameters using full-field data. Finally, a study is conducted on the uncertainty propagation of the material parameter.


title: The Full-scale Assembly Simulation Testbed (FAST) Dataset

abstract: In recent years, numerous researchers have begun investigating how virtual reality (VR) tracking and interaction data can be used for a variety of machine learning purposes, including user identification, predicting cybersickness, and estimating learning gains. One constraint for this research area is the dearth of open datasets. In this paper, we present a new open dataset captured with our VR-based Full-scale Assembly Simulation Testbed (FAST). This dataset consists of data collected from 108 participants (50 females, 56 males, 2 non-binary) learning how to assemble two distinct full-scale structures in VR. In addition to explaining how the dataset was collected and describing the data included, we discuss how the dataset may be used by future researchers.


title: Domain Adaptation for Dense Retrieval and Conversational Dense Retrieval through Self-Supervision by Meticulous Pseudo-Relevance Labeling

abstract: Recent studies have demonstrated that the ability of dense retrieval models to generalize to target domains with different distributions is limited, which contrasts with the results obtained with interaction-based models. Prior attempts to mitigate this challenge involved leveraging adversarial learning and query generation approaches, but both approaches nevertheless resulted in limited improvements. In this paper, we propose to combine the query-generation approach with a self-supervision approach in which pseudo-relevance labels are automatically generated on the target domain. To accomplish this, a T5-3B model is utilized for pseudo-positive labeling, and meticulous hard negatives are chosen. We also apply this strategy on conversational dense retrieval model for conversational search. A similar pseudo-labeling approach is used, but with the addition of a query-rewriting module to rewrite conversational queries for subsequent labeling. This proposed approach enables a model's domain adaptation with real queries and documents from the target dataset. Experiments on standard dense retrieval and conversational dense retrieval models both demonstrate improvements on baseline models when they are fine-tuned on the pseudo-relevance labeled data.


title: Designing a Data Science simulation with MERITS: A Primer

abstract: Simulations play a crucial role in the modern scientific process. Yet despite (or due to) their ubiquity, the Data Science community shares neither a comprehensive definition for a "high-quality" study nor a consolidated guide to designing one. Inspired by the Predictability-Computability-Stability (PCS) framework for 'veridical' Data Science, we propose six MERITS that a Data Science simulation should satisfy. Modularity and Efficiency support the Computability of a study, encouraging clean and flexible implementation. Realism and Stability address the conceptualization of the research problem: How well does a study Predict reality, such that its conclusions generalize to new data/contexts? Finally, Intuitiveness and Transparency encourage good communication and trustworthiness of study design and results. Drawing an analogy between simulation and cooking, we moreover offer (a) a conceptual framework for thinking about the anatomy of a simulation 'recipe'; (b) a baker's dozen in guidelines to aid the Data Science practitioner in designing one; and (c) a case study deconstructing a simulation through the lens of our framework to demonstrate its practical utility. By contributing this "PCS primer" for high-quality Data Science simulation, we seek to distill and enrich the best practices of simulation across disciplines into a cohesive recipe for trustworthy, veridical Data Science.


title: A comparative analysis of transient finite-strain coupled diffusion-deformation theories for hydrogels

abstract: This work presents a comparative review and classification between some well-known thermodynamically consistent models of hydrogel behavior in a large deformation setting, specifically focusing on solvent absorption/desorption and its impact on mechanical deformation and network swelling. The proposed discussion addresses formulation aspects, general mathematical classification of the governing equations, and numerical implementation issues based on the finite element method. The theories are presented in a unified framework demonstrating that, despite not being evident in some cases, all of them follow equivalent thermodynamic arguments. A detailed numerical analysis is carried out where Taylor-Hood elements are employed in the spatial discretization to satisfy the inf-sup condition and to prevent spurious numerical oscillations. The resulting discrete problems are solved using the FEniCS platform through consistent variational formulations, employing both monolithic and staggered approaches. We conduct benchmark tests on various hydrogel structures, demonstrating that major differences arise from the chosen volumetric response of the hydrogel. The significance of this choice is frequently underestimated in the state-of-the-art literature but has been shown to have substantial implications on the resulting hydrogel behavior.


title: Measurements and modeling of induced flow in collective vertical migration

abstract: Hydrodynamic interactions among swimming or flying organisms can lead to complex flows on the scale of the group. These emergent fluid dynamics are often more complex than a linear superposition of individual organism flows, especially at intermediate Reynolds numbers. This paper presents an approach to estimate the flow induced by multiple swimmer wakes in proximity using an analytical model that conserves mass and momentum in the aggregation. This analytical model was informed by and validated with empirical measurements of induced vertical migrations of brine shrimp, $\textit{Artemia salina}$. The response of individual swimmers to ambient background flow and light intensity was evaluated. In addition, the time-resolved three-dimensional spatial configuration of the swimmers was measured using a recently developed laser scanning system. Computational experiments using the analytical model found that the induced flow at the front of the aggregation was insensitive to the presence of downstream swimmers, with the induced flow reaching an asymptote beyond a threshold aggregation length. Closer swimmer spacing led to higher induced flow, in some cases leading to model predictions of induced flow exceeding swimmer speeds required to maintain a stable spatial configuration. This result was reconciled by comparing two different models for the near-wake of each swimmer. Our results demonstrate that aggregation-scale flows result from a complex, yet predictable interplay amongst organism-scale wake structure, swimmer spacing and configuration, and aggregation size.


title: $TrIND$: Representing Anatomical Trees by Denoising Diffusion of Implicit Neural Fields

abstract: Anatomical trees play a central role in clinical diagnosis and treatment planning. However, accurately representing anatomical trees is challenging due to their varying and complex topology and geometry. Traditional methods for representing tree structures, captured using medical imaging, while invaluable for visualizing vascular and bronchial networks, exhibit drawbacks in terms of limited resolution, flexibility, and efficiency. Recently, implicit neural representations (INRs) have emerged as a powerful tool for representing shapes accurately and efficiently. We propose a novel approach, $TrIND$, for representing anatomical trees using INR, while also capturing the distribution of a set of trees via denoising diffusion in the space of INRs. We accurately capture the intricate geometries and topologies of anatomical trees at any desired resolution. Through extensive qualitative and quantitative evaluation, we demonstrate high-fidelity tree reconstruction with arbitrary resolution yet compact storage, and versatility across anatomical sites and tree complexities. The code is available at: \texttt{\url{https://github.com/sinashish/TreeDiffusion}}.


title: Spectral inequalities for Schr\"odinger equations with various potentials

abstract: We study the spectral inequalities of Schr\"odinger operator in the whole space for different potentials, which can be power growth or continuously vanishing at infinity. The spectral inequalities quantitatively depend on the density of the sensor sets with positive measure, growth rate of the potentials and spectrum (or eigenvalues). One important component in the poof is the adaptation of propagation of smallness argument for gradients in \cite{LM18}. As an application, we apply the spectral inequalities to obtain quantitative observability inequalities for heat equations.


title: Hybrid analysis of radiative corrections to neutron decay with current algebra and effective field theory

abstract: We introduce a useful framework for high-precision studies of the neutron beta decay by merging the current algebra description and the fixed-order effective field theory calculation of the electroweak radiative corrections to the neutron axial form factor. We discuss the advantages of this hybrid method and show that it only requires a minimal amount of lattice QCD inputs to achieve a $10^{-4}$ theory accuracy for the Standard Model prediction of the neutron lifetime and the axial-to-vector coupling ratio $\lambda$, both important to the search for physics beyond the Standard Model.


title: On maximum-sum matchings of bichromatic points

abstract: Huemer et al. (Discrete Math, 2019) proved that for any two finite point sets $R$ and $B$ in the plane with $|R| = |B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total squared Euclidean distance of the matched pairs, has the property that all the disks induced by the matching have a nonempty common intersection. A pair of matched points induces the disk that has the segment connecting the points as diameter. In this note, we characterize these maximum-sum matchings for any continuous (semi)metric, focusing on both the Euclidean distance and squared Euclidean distance. Using this characterization, we give a different but simpler proof for the common intersection property proved by Huemer et al..


title: AutoGuide: Automated Generation and Selection of State-Aware Guidelines for Large Language Model Agents

abstract: The primary limitation of large language models (LLMs) is their restricted understanding of the world. This poses significant difficulties for LLM-based agents, particularly in domains where pre-trained LLMs lack sufficient knowledge. In this paper, we introduce a novel framework, called AutoGuide, that bridges the knowledge gap in pre-trained LLMs by leveraging implicit knowledge in offline experiences. Specifically, AutoGuide effectively extracts knowledge embedded in offline data by extracting a set of state-aware guidelines. Importantly, each state-aware guideline is expressed in concise natural language and follows a conditional structure, clearly describing the state where it is applicable. As such, the resulting guidelines enable a principled way to provide helpful knowledge pertinent to an agent's current decision-making process. We show that our approach outperforms competitive LLM-based baselines by a large margin in sequential decision-making benchmarks.


title: 7T MRI Synthesization from 3T Acquisitions

abstract: Supervised deep learning techniques can be used to generate synthetic 7T MRIs from 3T MRI inputs. This image enhancement process leverages the advantages of ultra-high-field MRI to improve the signal-to-noise and contrast-to-noise ratios of 3T acquisitions. In this paper, we introduce multiple novel 7T synthesization algorithms based on custom-designed variants of the V-Net convolutional neural network. We demonstrate that the V-Net based model has superior performance in enhancing both single-site and multi-site MRI datasets compared to the existing benchmark model. When trained on 3T-7T MRI pairs from 8 subjects with mild Traumatic Brain Injury (TBI), our model achieves state-of-the-art 7T synthesization performance. Compared to previous works, synthetic 7T images generated from our pipeline also display superior enhancement of pathological tissue. Additionally, we implement and test a data augmentation scheme for training models that are robust to variations in the input distribution. This allows synthetic 7T models to accommodate intra-scanner and inter-scanner variability in multisite datasets. On a harmonized dataset consisting of 18 3T-7T MRI pairs from two institutions, including both healthy subjects and those with mild TBI, our model maintains its performance and can generalize to 3T MRI inputs with lower resolution. Our findings demonstrate the promise of V-Net based models for MRI enhancement and offer a preliminary probe into improving the generalizability of synthetic 7T models with data augmentation.


title: Architectural Implications of Neural Network Inference for High Data-Rate, Low-Latency Scientific Applications

abstract: With more scientific fields relying on neural networks (NNs) to process data incoming at extreme throughputs and latencies, it is crucial to develop NNs with all their parameters stored on-chip. In many of these applications, there is not enough time to go off-chip and retrieve weights. Even more so, off-chip memory such as DRAM does not have the bandwidth required to process these NNs as fast as the data is being produced (e.g., every 25 ns). As such, these extreme latency and bandwidth requirements have architectural implications for the hardware intended to run these NNs: 1) all NN parameters must fit on-chip, and 2) codesigning custom/reconfigurable logic is often required to meet these latency and bandwidth constraints. In our work, we show that many scientific NN applications must run fully on chip, in the extreme case requiring a custom chip to meet such stringent constraints.


title: A Game Theoretic Approach to Sustainizability Over Sets and its application to a multi-species population model

abstract: In this work, a theorem is first proved which presents a game theoretic formulation of a necessary and sufficient sustainizability over a set condition for a general system described by ordinary differential equations (ODEs). Then, two additional theorems are proved for the n-species Gause-Lotka-Volterra (GLV) population model, establishing necessary and sufficient sustainability and sustainizability conditions over rectangular sets. Three case studies on the May-Leonard, 3-species, GLV model are then presented to illustrate the power of the above Theorems. In two of these case studies (2 and 3), it is shown that a particular instance of the 3-species, GLV model is unsustainable but sustainizable through allowable action.


title: Observation and differential cross section measurement of neutral current DIS events with an empty hemisphere in the Breit frame

abstract: The Breit frame provides a natural frame to analyze lepton-proton scattering events. In this reference frame, the parton model hard interactions between a quark and an exchanged boson defines the coordinate system such that the struck quark is back-scattered along the virtual photon momentum direction. In Quantum Chromodynamics (QCD), higher order perturbative or non-perturbative effects can change this picture drastically. As Bjorken-$x$ decreases below one half, a rather peculiar event signature is predicted with increasing probability, where no radiation is present in one of the two Breit-frame hemispheres and all emissions are to be found in the other hemisphere. At higher orders in $\alpha_s$ or in the presence of soft QCD effects, predictions of the rate of these events are far from trivial, and that motivates measurements with real data. We report on the first observation of the empty current hemisphere events in electron-proton collisions at the HERA collider using data recorded with the H1 detector at a center-of-mass energy of 319 GeV. The fraction of inclusive neutral-current DIS events with an empty hemisphere is found to be $0.0112 \pm 3.9\,\%_\text{stat} \pm 4.5\,\%_\text{syst} \pm 1.6\,\%_\text{mod}$ in the selected kinematic region of $150< Q^2<1500$ GeV$^2$ and inelasticity $0.14< y<0.7$. The data sample corresponds to an integrated luminosity of 351.1 pb$^{-1}$, sufficient to enable differential cross section measurements of these events. The results show an enhanced discriminating power at lower Bjorken-$x$ among different Monte Carlo event generator predictions.


title: Approximating Small Sparse Cuts

abstract: We study polynomial-time approximation algorithms for (edge/vertex) Sparsest Cut and Small Set Expansion in terms of $k$, the number of edges or vertices cut in the optimal solution. Our main results are $\mathcal{O}(\text{polylog}\, k)$-approximation algorithms for various versions in this setting. Our techniques involve an extension of the notion of sample sets (Feige and Mahdian STOC'06), originally developed for small balanced cuts, to sparse cuts in general. We then show how to combine this notion of sample sets with two algorithms, one based on an existing framework of LP rounding and another new algorithm based on the cut-matching game, to get such approximation algorithms. Our cut-matching game algorithm can be viewed as a local version of the cut-matching game by Khandekar, Khot, Orecchia and Vishnoi and certifies an expansion of every vertex set of size $s$ in $\mathcal{O}(\log s)$ rounds. These techniques may be of independent interest. As corollaries of our results, we also obtain an $\mathcal{O}(\log opt)$-approximation for min-max graph partitioning, where $opt$ is the min-max value of the optimal cut, and improve the bound on the size of multicut mimicking networks computable in polynomial time.


title: Safe Road-Crossing by Autonomous Wheelchairs: a Novel Dataset and its Experimental Evaluation

abstract: Safe road-crossing by self-driving vehicles is a crucial problem to address in smart-cities. In this paper, we introduce a multi-sensor fusion approach to support road-crossing decisions in a system composed by an autonomous wheelchair and a flying drone featuring a robust sensory system made of diverse and redundant components. To that aim, we designed an analytical danger function based on explainable physical conditions evaluated by single sensors, including those using machine learning and artificial vision. As a proof-of-concept, we provide an experimental evaluation in a laboratory environment, showing the advantages of using multiple sensors, which can improve decision accuracy and effectively support safety assessment. We made the dataset available to the scientific community for further experimentation. The work has been developed in the context of an European project named REXASI-PRO, which aims to develop trustworthy artificial intelligence for social navigation of people with reduced mobility.


title: The minimal seed for transition to convective turbulence in heated pipe flow

abstract: It is well known that buoyancy suppresses, and can even laminarise turbulence in upward heated pipe flow. Heat transfer seriously deteriorates in this case. Through a new DNS model, we confirm that the deteriorated heat transfer within convective turbulence is related to a lack of near-wall rolls, which leads to a weak mixing between the flow near the wall and centre of pipe. Having surveyed the fundamental properties of the system, we perform a nonlinear nonmodal stability analysis. it is found that, the minimal seed becomes thinner and closer to the wall, with increase of buoyancy number C. Most importantly, we show that the critical initial energy required to trigger shear-driven turbulence keeps increasing, implying that attempts to artificially trigger it may not be an efficient means to improve heat transfer at larger C. The new minimal seed, found at C=6, is localised in streamwise direction and is active in the centre of pipe. To find this branch of optimal, we took advantage of a window of linear stability. While the nonlinear optimal causes transition to convective turbulence directly at this and larger C, transition via the linear instability passes via a travelling wave or periodic orbit solutions. Detailed analysis of the periodic solution reveals three stages: growth of the unstable eigenfunction, the formation of streaks, and the decay of streaks due to suppression of the instability. Flow visualization at C up to 10 also show similar features, suggesting that convective turbulence is sustained by these three typical processes.


title: Black hole thermodynamics in generalized Proca theories

abstract: We investigate thermodynamics of static and spherically symmetric black holes (BHs) in generalized Proca (GP) theories by applying the Iyer-Wald prescription. BH solutions in GP theories are divided into the two classes. The first class corresponds to the solutions obtained by the direct promotion of the BH solutions in shift-symmetric Horndeski theories, while the second class consists of the solutions which are obtained only in GP theories and contain a nonzero electromagnetic field. For BH solutions in the first class, we confirm that the BH entropy and its thermodynamic mass remain the same as those in the counterpart solution in shift-symmetric Horndeski theories. We also calculate the thermodynamical variables of the several static and spherically-symmetric BH solutions in the second class, and investigate the thermodynamical stability when there exist two BH solutions.


title: A Constrained Tracking Controller for Ramp and Sinusoidal Reference Signals using Robust Positive Invariance

abstract: This paper proposes an output feedback controller capable of ensuring steady-state offset-free tracking for ramp and sinusoidal reference signals while ensuring local stability and state and input constraints fulfillment. The proposed solution is derived by jointly exploiting the internal model principle, polyhedral robust positively invariant arguments, and the Extended Farkas' Lemma. In particular, by considering a generic class of output feedback controller equipped with a feedforward term, a proportional effect, and a double integrator, we offline design the controller's gains by means of a single bilinear optimization problem. A peculiar feature of the proposed design is that the sets of all the admissible reference signals and the plant's initial conditions are also offline determined. Simulation results are provided to testify to the effectiveness of the proposed tracking controller and its capability to deal with both state and input constraints.


title: Constraining Self-interacting Scalar Field Dark Matter From the Black Hole Shadow of the Event Horizon Telescope

abstract: An exciting possibility to constrain dark matter (DM) scenarios is to search for their gravitational imprints on Black Hole (BH) observations. In this paper, we investigate the impact of self-interacting scalar field DM on the shadow radius of a Schwarzschild BH. We implement a self-consistent formulation, paying attention to the enhancement of the DM density due to the BH gravitational influence and the accretion flow onto the BH. First, we calculate the first-order correction to the shadow radius caused by a general DM environment. Then, we apply this perturbative method to the case of self-interacting scalar field DM and derive analytical expressions for the critical impact parameter. We find that self-consistency requirements, involving the lifetime and the mass of the central DM soliton, or the mass and the size of the extended virialized DM halo, ensure that the impact of the DM environment on the shadow radius is below the observational upper bound. This emphasizes the importance of taking into account the self-consistency constraints of the underlying DM scenario, which can strongly limit the range of possible DM density profiles and their impact on the shadow radius.


title: Maximum Channel Coding Rate of Finite Block Length MIMO Faster-Than-Nyquist Signaling

abstract: The pursuit of higher data rates and efficient spectrum utilization in modern communication technologies necessitates novel solutions. In order to provide insights into improving spectral efficiency and reducing latency, this study investigates the maximum channel coding rate (MCCR) of finite block length (FBL) multiple-input multiple-output (MIMO) faster-than-Nyquist (FTN) channels. By optimizing power allocation, we derive the system's MCCR expression. Simulation results are compared with the existing literature to reveal the benefits of FTN in FBL transmission.


title: Pseudo-differential operators on Homogeneous vector bundles over compact homogeneous manifolds

abstract: In this work, we introduce a global theory of subelliptic pseudo-differential operators on arbitrary homogeneous vector bundles over orientable compact homogeneous manifolds. We will show that a global pseudo-differential calculus can be associated to the operators acting on any pair of homogeneous vector-bundles with base space $M,$ if the compact Lie group $G$ that acts on $M=G/K$ is endowed with a (Riemannian or) sub-Riemannian structure. This is always possible if we choose on $G$ a sub-Laplacian associated to a H\"ormander system of vector-fields or we fix the Laplace-Beltrami operator on $G$. We begin with developing a global subelliptic symbolic calculus for vector-valued pseudo-differential operators on $G$ and then, we show that this vector-valued calculus induces a pseudo-differential calculus on homogeneous vector bundles, which, among other things, is stable under the action of the complex functional calculus. We prove global versions of the Calder\'on-Vaillancourt theorem, Fefferman theorem and also, of the G\r{a}rding inequality. We present applications of the obtained G\r{a}rding inequality to the wellposedness of evolution problems. We characterise the classes of pseudo-differential operators on homogeneous vector bundles in the sense of H\"ormander (which are defined by using local coordinate systems) in terms of their global symbols. Finally, using this formalism, we compute the global symbol of the exterior derivative, its adjoint, and the symbol of the Dirac operator on the vector bundle of differential forms. We hope that this work will provide a solid foundation for further research using the global quantisation of operators on (vector-bundles over) compact homogeneous manifolds.


title: Barrow Entropy and AdS Black Holes in RPS Thermodynamics

abstract: In this paper, we examine the restricted phase space (RPS) thermodynamics for charged AdS black holes by considering the impact of quantum gravity on the event horizon area. The primary aim of this work is to elucidate the influence of quantum gravitational effects on thermodynamic behaviors, critical phenomena, phase transitions, and the stability of black holes. We observe that charged AdS black holes exhibit thermodynamic behavior similar to that of Van der Waals fluids when influenced by quantum gravity. Furthermore, we introduce a novel black hole thermodynamic phenomenon, which we term ``resistance of phase transitions". Our study uncovers a violation of the homogeneity property of the Smarr relation in RPS thermodynamics due to the effects of quantum gravity.


title: Security Assumptions in Dispersive-Optics QKD

abstract: Quantum key distribution (QKD) seeks to provide a method of generating cryptographically-secure keys between remote parties while guaranteeing unconditional security. Implementations of high-dimensional QKD using dispersive-optics (DO-QKD) have been proposed to allow for multiple secure bits to be transmitted per photon while remaining cost-effective and scalable using existing telecommunication technology [1]. In the recent literature, there have been a number of experimental realizations of DO-QKD systems [2-6], with security analysis based on the treatment in Ref. [1]. Here we demonstrate that in the case of finite dispersion, the model assumed for the eavesdropper's attack in Ref. [1] is non-optimal for the eavesdropper, which leads to a significant overestimation of the secure key rate between parties. We consider an alternative attack model that Alice and Bob find indistinguishable from the Ref. [1] model, as long as they are restricted to making the measurements typical in DO-QKD. We provide concrete examples where a significant gap exists between the Holevo information, and therefore the secret key rate, predicted by the two models. We further analyze the experiment in Ref. [2] as an example of a case where secure key is predicted according to the Ref. [1] model, but where in fact there is zero secure key rate when considering the full set of collective attacks that an eavesdropper may perform.


title: Improved bass model using sales proportional average for one condition of mono peak curves

abstract: "This study provides a modified Bass model to deal with trend curves for basic issues of relevance to individuals from all over the world, for which we collected 16 data sets from 2004 to 2022 and that are available on Google servers as "google trends". It was discovered that the Bass model did not forecast well for curves that have a mono peak with a sharp decrease to some level then have semi-stable with small decrement sales for a long time, thus a new parameter based on r1 and r2 (ratios of average sales) was introduced, which improved the model's prediction ability and provided better results. The model was also applied to a data set taken from the Kaggle website about a subscriber digital product offering for financial services that include newsletters, webinars, and investment recommendations. The data contain 508932 data points about the products sold during 2016-2022. Compared to the traditional Bass model, the modified model showed better results in dealing with this condition, as the expected curve shape was closer to real sales, and the sum of squares error (SSE) value was reduced to a ratio ranging between (36.35-79.3%). Therefore, the improved model can be relied upon in these conditions."


title: Ethos: Rectifying Language Models in Orthogonal Parameter Space

abstract: Language models (LMs) have greatly propelled the research on natural language processing. However, LMs also raise concerns regarding the generation of biased or toxic content and the potential disclosure of private information from the training dataset. In this work, we present a new efficient approach, Ethos, that rectifies LMs to mitigate toxicity and bias in outputs and avoid privacy leakage. Ethos is built on task arithmetic. However, unlike current task arithmetic algorithms, Ethos distinguishes general beneficial and undesired knowledge when reconstructing task vectors. Specifically, Ethos first obtains a set of principal components from the pre-trained models using singular value decomposition. Then, by projecting the task vector onto principal components, Ethos identifies the principal components that encode general or undesired knowledge. Ethos performs negating using the task vector with undesired knowledge only, thereby minimizing collateral damage on general model utility. We demonstrate the efficacy of our approach on three different tasks: debiasing, detoxification, and memorization unlearning. Evaluations show Ethos is more effective in removing undesired knowledge and maintaining the overall model performance compared to current task arithmetic methods.


title: NTIRE 2023 Image Shadow Removal Challenge Technical Report: Team IIM_TTI

abstract: In this paper, we analyze and discuss ShadowFormer in preparation for the NTIRE2023 Shadow Removal Challenge [1], implementing five key improvements: image alignment, the introduction of a perceptual quality loss function, the semi-automatic annotation for shadow detection, joint learning of shadow detection and removal, and the introduction of new data augmentation technique "CutShadow" for shadow removal. Our method achieved scores of 0.196 (3rd out of 19) in LPIPS and 7.44 (4th out of 19) in the Mean Opinion Score (MOS).


title: Ventilation and Temperature Control for Energy-efficient and Healthy Buildings: A Differentiable PDE Approach

abstract: In this paper, we introduce a novel framework for building learning and control, focusing on ventilation and thermal management to enhance energy efficiency. We validate the performance of the proposed framework in system model learning via two case studies: a synthetic study focusing on the joint learning of temperature and CO2 fields, and an application to a real-world dataset for CO2 field learning. For building control, we demonstrate that the proposed framework can optimize the control actions and significantly reduce the energy cost while maintaining a comfort and healthy indoor environment. When compared to existing traditional methods, an optimization-based method with ODE models and reinforcement learning, our approach can significantly reduce the energy consumption while guarantees all the safety-critical air quality and control constraints. Promising future research directions involve validating and improving the proposed PDE models through accurate estimation of airflow fields within indoor environments. Additionally, incorporating uncertainty modeling into the PDE framework for HVAC control presents an opportunity to enhance the efficiency and reliability of building HVAC system management.


title: CART: Caltech Aerial RGB-Thermal Dataset in the Wild

abstract: We present the first publicly available RGB-thermal dataset designed for aerial robotics operating in natural environments. Our dataset captures a variety of terrains across the continental United States, including rivers, lakes, coastlines, deserts, and forests, and consists of synchronized RGB, long-wave thermal, global positioning, and inertial data. Furthermore, we provide semantic segmentation annotations for 10 classes commonly encountered in natural settings in order to facilitate the development of perception algorithms robust to adverse weather and nighttime conditions. Using this dataset, we propose new and challenging benchmarks for thermal and RGB-thermal semantic segmentation, RGB-to-thermal image translation, and visual-inertial odometry. We present extensive results using state-of-the-art methods and highlight the challenges posed by temporal and geographical domain shifts in our data. Dataset and accompanying code will be provided at https://github.com/aerorobotics/caltech-aerial-rgbt-dataset


title: Frequency-dependent entanglement advantage in spin-network Quantum Reservoir Computing

abstract: We study the performance of an Ising spin network for quantum reservoir computing (QRC) in linear and non-linear memory tasks. We investigate the extent to which quantumness enhances performance by monitoring the behaviour of quantum entanglement, which we quantify by means of the partial transpose of the density matrix. In the most general case where the effects of dissipation are incorporated, our results indicate that the strength of the entanglement advantage depends on the frequency of the input signal; the benefit of entanglement is greater the more rapidly fluctuating the signal, whereas a low-frequency input lends itself better to a non-entangled reservoir. This suggests that the extent to which quantumness is beneficial is dependent on the difficulty of the memory task.


title: Quantum Codes and Irreducible Products of Characters

abstract: In a recent paper, we defined twisted unitary $1$-groups and showed that they automatically induced error-detecting quantum codes. We also showed that twisted unitary $1$-groups correspond to irreducible products of characters thereby reducing the problem of code-finding to a computation in the character theory of finite groups. Using a combination of GAP computations and results from the mathematics literature on irreducible products of characters, we identify many new non-trivial quantum codes with unusual transversal gates.


title: Building-block flow model for computational fluids

abstract: We introduce a closure model for wall-modeled large-eddy simulation (WMLES), referred to as the Building-block Flow Model (BFM). The foundation of the model rests on the premise that a finite collection of simple flows encapsulates the essential physics necessary to predict more complex scenarios. The BFM is implemented using artificial neural networks and introduces five advancements within the framework of WMLES: (1) It is designed to predict multiple flow regimes (wall turbulence under zero, favorable, adverse mean-pressure-gradient, and separation); (2) It unifies the closure model at solid boundaries (i.e., the wall model) and the rest of the flow (i.e., the subgrid-scale model) into a single entity; (3) It ensures consistency with numerical schemes and gridding strategy by accounting for numerical errors; (4) It is directly applicable to arbitrary complex geometries; (5) It can be scaled up to model additional flow physics in the future if needed (e.g., shockwaves and laminar-to-turbulent transition). The BFM is utilized to predict key quantities of interest in turbulent channel and pipe flows, a Gaussian bump, a simplified aircraft, and a realistic aircraft in landing configuration. In all cases, the BFM demonstrates similar or superior capabilities in terms of accuracy and computational efficiency compared to previous state-of-the-art closure models.


title: Solving Partial Differential Equations Using Artificial Neural Networks

abstract: Partial differential equations have a wide range of applications in modeling multiple physical, biological, or social phenomena. Therefore, we need to approximate the solutions of these equations in computationally feasible terms. Nowadays, among the most popular numerical methods for solving partial differential equations in engineering, we encounter the finite difference and finite element methods. An alternative numerical method that has recently gained popularity for numerically solving partial differential equations is the use of artificial neural networks. Artificial neural networks, or neural networks for short, are mathematical structures with universal approximation properties. In addition, thanks to the extraordinary computational development of the last decade, neural networks have become accessible and powerful numerical methods for engineers and researchers. For example, imaging and language processing are applications of neural networks today that show sublime performance inconceivable years ago. This dissertation contributes to the numerical solution of partial differential equations using neural networks with the following two-fold objective: investigate the behavior of neural networks as approximators of solutions of partial differential equations and propose neural-network-based methods for frameworks that are hardly addressable via traditional numerical methods. As novel neural-network-based proposals, we first present a method inspired by the finite element method when applying mesh refinements to solve parametric problems. Secondly, we propose a general residual minimization scheme based on a generalized version of the Ritz method. Finally, we develop a memory-based strategy to overcome a usual numerical integration limitation when using neural networks to solve partial differential equations.


title: K-stability of Fano 3-folds of Picard rank 3 and degree 20

abstract: We prove K-stability of smooth Fano 3-folds of Picard rank 3 and degree 20 that satisfy very explicit generality condition.


title: The $M$-harmonic Dirichlet space on the ball

abstract: We~describe the Dirichlet space of $M$-harmonic functions, i.e.~functions annihilated by the invariant Laplacian on~the unit ball of the complex $n$-space, as~the limit of the analytic continuation (in~the spirit of Rossi and Vergne) of the corresponding weighted Bergman spaces. Characterizations in terms of tangential derivatives are given, and the associated inner product is shown to be Moebius invariant. The pluriharmonic and harmonic cases are also briefly treated.


title: Meta-Learning-Based Fronthaul Compression for Cloud Radio Access Networks

abstract: This paper investigates the fronthaul compression problem in a user-centric cloud radio access network, in which single-antenna users are served by a central processor (CP) cooperatively via a cluster of remote radio heads (RRHs). To satisfy the fronthaul capacity constraint, this paper proposes a transform-compress-forward scheme, which consists of well-designed transformation matrices and uniform quantizers. The transformation matrices perform dimension reduction in the uplink and dimension expansion in the downlink. To reduce the communication overhead for designing the transformation matrices, this paper further proposes a deep learning framework to first learn a suboptimal transformation matrix at each RRH based on the local channel state information (CSI), and then to refine it iteratively. To facilitate the refinement process, we propose an efficient signaling scheme that only requires the transmission of low-dimensional effective CSI and its gradient between the CP and RRH, and further, a meta-learning based gated recurrent unit network to reduce the number of signaling transmission rounds. For the sum-rate maximization problem, simulation results show that the proposed two-stage neural network can perform close to the fully cooperative global CSI based benchmark with significantly reduced communication overhead for both the uplink and the downlink. Moreover, using the first stage alone can already outperform the existing local CSI based benchmark.


title: Condensate-Induced Inflation from Primordial Gravitational Waves in String-Inspired Chern-Simons Gravity

abstract: In this work, we elaborate further on a cosmological model of inflation that characterises Chern-Simons (CS) gravity models inspired from string theory. Such models are known to belong to the class of the so-called String-Inspired Running Vacuum Cosmologies. In particular, by applying methods of dynamical systems, commonly used in scalar-field cosmology, we examine in detail, for the first time, the passage from a pre-inflationary era dominated by a stiff-axion-matter equation of state, characteristic of the model, to inflation of Running Vacuum Model (RVM) type. By a careful discussion of the formation of the condensate of the CS gravitational anomaly term, induced by populations of primordial gravitational waves at the end of the stiff-axion-matter era, we show that an effectively linear axion-monodromy potential arises. This eventually causes the transition from the matter to the RVM inflation. By taking into account terms that have previously been ignored in the relevant literature of weak-graviton quantisation, we show that the effect of such terms is to diminish the value of the condensate by half, remaining however in the same order of magnitude. This, in turn, implies that the qualitative conclusions of previous works on the subject remain valid. Moreover, on assuming the approximate cosmic-time independence of the gravitational-CS condensate, we also provide an estimate of the number of sources of the primordial gravitational waves, upon the requirement of respecting the transplanckian conjecture.


title: Uncovering the Invisible: A Study of Gaia18ajz, a Candidate Black Hole Revealed by Microlensing

abstract: Identifying black holes is essential for comprehending the development of stars and uncovering novel principles of physics. Gravitational microlensing provides an exceptional opportunity to examine an undetectable population of black holes in the Milky Way. In particular, long-lasting events are likely to be associated with massive lenses, including black holes. We present an analysis of the Gaia18ajz microlensing event, reported by the Gaia Science Alerts system, which has exhibited a long timescale and features indicative of the annual microlensing parallax effect. Our objective is to estimate the parameters of the lens based on the best-fitting model. We utilized photometric data obtained from the Gaia satellite and terrestrial observatories to investigate a variety of microlensing models and calculate the most probable mass and distance to the lens, taking into consideration a Galactic model as a prior. Subsequently, weapplied a mass-brightness relation to evaluate the likelihood that the lens is a main sequence star. We also describe the DarkLensCode (DLC), an open-source routine which computes the distribution of probable lens mass, distance and luminosity employing the Galaxy priors on stellar density and velocity for microlensing events with detected microlensing parallax. We modelled Gaia18ajz event and found its two possible models with most likely Einstein timescale of $316^{+36}_{-30}$ days and $299^{+25}_{-22}$ days. Applying Galaxy priors for stellar density and motion, we calculated the most probable lens mass of $4.9^{+5.4}_{-2.3} M_\odot$ located at $1.14^{+0.75}_{-0.57}\,\text{kpc}$ or $11.1^{+10.3}_{-4.7} M_\odot$ located at $1.31^{+0.80}_{-0.60}\,\text{kpc}$. Our analysis of the blended light suggests that the lens is likely a dark remnant of stellar evolution, rather than a main sequence star.


title: Casimir repulsion with biased semiconductors

abstract: Quantum and thermal fluctuations are fundamental to a plethora of phenomena within quantum optics, including the Casimir effect that acts between closely separated surfaces typically found in MEMS and NEMS devices. Particularly promising for engineering and harnessing these forces are systems out of thermal equilibrium. Recently, semiconductors with external bias have been proposed to study the nonequilibrium Casimir force. Here, we explore systems involving moderately biased semiconductors that exhibit strong repulsive Casimir forces, and we determine the effects of bias voltage, semiconductor bandgap energy, and separation for experimentally accessible configurations. Modes emitted from the semiconductors exert a repulsive force on a near surface that overcomes the attractive equilibrium Casimir force contribution at submicron distances. For the geometry of two parallel planes, those modes undergo Fabry-P\'erot interference resulting in an oscillatory force behavior as a function of separation. Utilizing the proximity-force approximation, we predict that the repulsive force exerted on a gold sphere is well within the accuracy of typical Casimir force experiments. Our work opens up new possibilities of controlling forces at the nano- and micrometer scale with applications in sensing and actuation in nanotechnology.


title: Fault Detection and Tolerant Control for Aero2 2D0F Two-rotor Helicopter

abstract: Stability and satisfactory performance are critical control requirements for Unmanned Aerial Vehicle (UAV) applications. While conventional control systems for UAVs aim to ensure flight stability and safe operation while accomplishing tasks, UAVs may experience various flight faults that can degrade performance or, in severe cases, lead to instability. Unsatisfactory performance or instability of a UAV poses risks to lives, properties, and the flying environment. Therefore, it's essential to design a system capable of detecting faults, pinpointing their location, assessing their severity, and using this information to mitigate them, enabling the vehicle to continue operating satisfactorily. Despite the importance of analysing fault performance to select optimal fault detection and tolerance strategies, limited research has been conducted, especially with real systems. This study examines the performance of a 2-degree-of-freedom (2DOF) bi-rotor helicopter's control system in the presence of various actuator faults. Results from different fault conditions demonstrate that faults degrade the performance of conventional control systems on UAVs and introduce vibrations into the system, particularly when faults cause asymmetry or imbalance. However, additional experiments reveal that effective fault diagnosis and accommodation methods can help maintain satisfactory system performance despite the presence of faults.


title: A Geometric Approach to Resilient Distributed Consensus Accounting for State Imprecision and Adversarial Agents

abstract: This paper presents a novel approach for resilient distributed consensus in multiagent networks when dealing with adversarial agents imprecision in states observed by normal agents. Traditional resilient distributed consensus algorithms often presume that agents have exact knowledge of their neighbors' states, which is unrealistic in practical scenarios. We show that such existing methods are inadequate when agents only have access to imprecise states of their neighbors. To overcome this challenge, we adapt a geometric approach and model an agent's state by an `imprecision region' rather than a point in $\mathbb{R}^d$. From a given set of imprecision regions, we first present an efficient way to compute a region that is guaranteed to lie in the convex hull of true, albeit unknown, states of agents. We call this region the \emph{invariant hull} of imprecision regions and provide its geometric characterization. Next, we use these invariant hulls to identify a \emph{safe point} for each normal agent. The safe point of an agent lies within the convex hull of its \emph{normal} neighbors' states and hence is used by the agent to update it's state. This leads to the aggregation of normal agents' states to safe points inside the convex hull of their initial states, or an approximation of consensus. We also illustrate our results through simulations. Our contributions enhance the robustness of resilient distributed consensus algorithms by accommodating state imprecision without compromising resilience against adversarial agents.


title: Lightning-fast adaptive immune receptor similarity search by symmetric deletion lookup

abstract: An individual's adaptive immune receptor (AIR) repertoire records immune history due to the exquisite antigen specificity of AIRs. Reading this record requires computational approaches for inferring receptor function from sequence, as the diversity of possible receptor-antigen pairs vastly outstrips experimental knowledge. Identification of AIRs with similar sequence and thus putatively similar function is a common performance bottleneck in these approaches. Here, we benchmark the time complexity of five different algorithmic approaches to radius-based search for Levenshtein neighbors. We show that a symmetric deletion lookup approach, originally proposed for spell-checking, is particularly scalable. We then introduce XTNeighbor, a variant of this algorithm that can be massively parallelized on GPUs. For one million input sequences, XTNeighbor identifies all sequence neighbors that differ by up to two edits in seconds on commodity hardware, orders of magnitude faster than existing approaches. We also demonstrate how symmetric deletion lookup can speed up search with more complex sequence-similarity metrics such as TCRdist. Our contribution is poised to greatly speed up existing analysis pipelines and enable processing of large-scale immunosequencing data without downsampling.


title: Sun-as-a-star Study of an X-class Solar Flare with Spectroscopic Observations of CHASE

abstract: Sun-as-a-star spectroscopic characteristics of solar flares can be used as a benchmark for the detection and analyses of stellar flares. Here, we study the Sun-as-a-star properties of an X1.0 solar flare using high-resolution spectroscopic data obtained by the Chinese $\mathrm{H} \alpha$ Solar Explorer (CHASE). A noise reduction algorithm based on discrete Fourier transformation is first employed to enhance the signal-to-noise ratio of the space-integral $\mathrm{H} \alpha$ spectrum with a focus on its typical characteristics. For the flare of interest, we find that the average $\mathrm{H} \alpha$ profile displays a strong emission at the line center and an obvious line broadening. It also presents a clear red asymmetry, corresponding to a redshift velocity of around $50 \ \mathrm{km \ s^{-1}}$ that slightly decreases with time, consistent with previous results. Furthermore, we study how the size of the space-integral region affects the characteristics of the flare Sun-as-a-star $\mathrm{H} \alpha$ profile. It is found that although the redshift velocity calculated from the $\mathrm{H} \alpha$ profile remains unchanged, the detectability of the characteristics weakens as the space-integral region becomes large. An upper limit for the size of the target region where the red asymmetry is detectable is estimated. It is also found that the intensity in $\mathrm{H} \alpha$ profiles, measured by the equivalent widths of the spectra, are significantly underestimated if the $\mathrm{H} \alpha$ spectra are further averaged in the time domain.


title: Leveraging the Crowd for Dependency Management: An Empirical Study on the Dependabot Compatibility Score

abstract: Dependabot, a popular dependency management tool, includes a compatibility score feature that helps client packages assess the risk of accepting a dependency update by leveraging knowledge from "the crowd". For each dependency update, Dependabot calculates this compatibility score as the proportion of successful updates performed by other client packages that use the same provider package as a dependency. In this paper, we study the efficacy of the compatibility score to help client packages assess the risks involved with accepting a dependency update. We analyze 579,206 pull requests opened by Dependabot to update a dependency, along with 618,045 compatibility score records calculated by Dependabot. We find that a compatibility score cannot be calculated for 83% of the dependency updates due to the lack of data from the crowd. Yet, the vast majority of the scores that can be calculated have a small confidence interval and are based on low-quality data, suggesting that client packages should have additional angles to evaluate the risk of an update and the trustworthiness of the compatibility score. To overcome these limitations, we propose metrics that amplify the input from the crowd and demonstrate the ability of those metrics to predict the acceptance of a successful update by client packages. We also demonstrate that historical update metrics from client packages can be used to provide a more personalized compatibility score. Based on our findings, we argue that, when leveraging the crowd, dependency management bots should include a confidence interval to help calibrate the trust clients can place in the compatibility score, and consider the quality of tests that exercise candidate updates.


title: Impacts of Point Defects on Shallow Doping in Cubic Boron Arsenide: A First Principles Study

abstract: Cubic boron arsenide (BAs) stands out as a promising material for advanced electronics, thanks to its exceptional thermal conductivity and ambipolar mobility. However, effective control of p- and n-type doping in BAs poses a significant challenge, mostly as a result of the influence of defects. In the present study, we employed density functional theory to explore the impacts of the common point defects and impurity on p-type doping Be$_\text{B}$ and Si$_\text{As}$, and n-type doping Si$_\text{B}$ and Se$_\text{As}$. We find that the most favorable points defects formed by C, O, and Si are C$_\text{As}$, O$_\text{B}$O$_\text{As}$, Si$_\text{As}$, C$_\text{As}$Si$_\text{B}$, and O$_\text{B}$Si$_\text{As}$, which have formation energies of less than $1.5$ eV. For p-type doping, C, O, and Si impurities do not harm the shallow state of Be$_\text{B}$ doping, while only O impurity detrimentally affects Si$_\text{As}$ doping. However for n-type dopings, C, O, and Si impurities are all harmful. Interestingly, the antisite defect pair As$_\text{B}$B$_\text{As}$ benefits both p- and n-type doping. The doping limitation analysis presented in this study can potentially pave the way for strategic development in the area of BAs-based electronics.


title: Urban mapping in Dar es Salaam using AJIVE

abstract: Mapping deprivation in urban areas is important, for example for identifying areas of greatest need and planning interventions. Traditional ways of obtaining deprivation estimates are based on either census or household survey data, which in many areas is unavailable or difficult to collect. However, there has been a huge rise in the amount of new, non-traditional forms of data, such as satellite imagery and cell-phone call-record data, which may contain information useful for identifying deprivation. We use Angle-Based Joint and Individual Variation Explained (AJIVE) to jointly model satellite imagery data, cell-phone data, and survey data for the city of Dar es Salaam, Tanzania. We first identify interpretable low-dimensional structure from the imagery and cell-phone data, and find that we can use these to identify deprivation. We then consider what is gained from further incorporating the more traditional and costly survey data. We also introduce a scalar measure of deprivation as a response variable to be predicted, and consider various approaches to multiview regression, including using AJIVE scores as predictors.


title: The Axiom of Choice in the $\kappa$-Mantle

abstract: Usuba has asked whether the $\kappa$-mantle, the intersection of all grounds that extend to $V$ via a forcing of size ${<}\kappa$, is always a model of ZFC. We give a negative answers by constructing counterexamples where $\kappa$ is a Mahlo cardinal, $\kappa=\omega_1$ and where $\kappa$ is the successor of a regular uncountable cardinal.


title: A Processing Route to Chalcogenide Perovskites Alloys with Tunable Band Gap via Anion Exchange

abstract: We demonstrate synthesis of BaZr(S,Se)3 chalcogenide perovskite alloys by selenization of BaZrS3 thin films. The anion-exchange process produces films with tunable composition and band gap without changing the orthorhombic perovskite crystal structure or the film microstructure. The direct band gap is tunable between 1.5 and 1.9 eV. The alloy films made in this way feature 100x stronger photoconductive response and a lower density of extended defects, compared to alloy films made by direct growth. The perovskite structure is stable in high-selenium-content thin films with and without epitaxy. The manufacturing-compatible process of selenization in H2Se gas may spur the development of chalcogenide perovskite solar cell technology.


title: AraTrust: An Evaluation of Trustworthiness for LLMs in Arabic

abstract: The swift progress and widespread acceptance of artificial intelligence (AI) systems highlight a pressing requirement to comprehend both the capabilities and potential risks associated with AI. Given the linguistic complexity, cultural richness, and underrepresented status of Arabic in AI research, there is a pressing need to focus on Large Language Models (LLMs) performance and safety for Arabic related tasks. Despite some progress in their development, there is a lack of comprehensive trustworthiness evaluation benchmarks which presents a major challenge in accurately assessing and improving the safety of LLMs when prompted in Arabic. In this paper, we introduce AraTrust, the first comprehensive trustworthiness benchmark for LLMs in Arabic. AraTrust comprises 516 human-written multiple-choice questions addressing diverse dimensions related to truthfulness, ethics, safety, physical health, mental health, unfairness, illegal activities, privacy, and offensive language. We evaluated a set of LLMs against our benchmark to assess their trustworthiness. GPT-4 was the most trustworthy LLM, while open-source models, particularly AceGPT 7B and Jais 13B, struggled to achieve a score of 60% in our benchmark.


title: An Iteration Theorem for $\omega_1$-preserving Forcings

abstract: We prove an iteration theorem which guarantees for a wide class of nice iterations of $\omega_1$-preserving forcings that $\omega_1$ is not collapse, at the price of needing large cardinals to burn as fuel. More precisely, we show that a nice iteration of $\omega_1$-preserving forcings which force SRP at successor steps and preserves old stationary sets does not collapse $\omega_1$.


title: Unified description of electronic orderings and cross correlations by complete multipole representation

abstract: We overview recent developments of electronic orderings and associated cross correlations in condensed matter physics based on a complete set of multipole representations (electric, magnetic, electric toroidal, and magnetic toroidal multipoles) with distinct space-time inversion symmetries. By means of the symmetry-adapted complete basis set in any physical Hilbert space including atomic and cluster degrees of freedom, it provides a unified description of electronic orderings, deformations of band structures, cross correlations, and transport properties in solids. We review that a multipole representation is a powerful tool to attain a comprehensive understanding of various electronic properties and physical phenomena observed in materials. We also demonstrate how to identify active multipoles and expected physical phenomena in real materials with several examples. Our review would serve as a solid foundation for future studies toward observations and identifications of unknown electronic phases and their related physical phenomena.


title: Forcing "$\mathrm{NS}_{\omega_1}$ is $\omega_1$-dense" From Large Cardinals

abstract: We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb P}\models``\mathrm{NS}_{\omega_1}\text{ is }\omega_1\text{-dense}"$. We also introduce a new forcing axiom $\mathrm{QM}$, show it is consistent assuming a supercompact limit of supercompact cardinals and prove that it implies $\mathbb{Q}_{\mathrm{max}}\text{-}(*)$. Consequently, $\mathrm{QM}$ implies ``$\mathrm{NS}_{\omega_1}$ is $\omega_1$-dense".