title: Direct Evidence of a Major Merger in the Perseus Cluster

abstract: Although the Perseus cluster has often been regarded as an archetypical relaxed galaxy cluster, several lines of evidence including ancient, large-scale cold fronts, asymmetric plasma morphology, filamentary galaxy distribution, etc., provide a conflicting view of its dynamical state, suggesting that the cluster might have experienced a major merger. However, the absence of a clear merging companion identified to date hampers our understanding of the evolutionary track of the Perseus cluster consistent with these observational features. In this paper, through careful weak lensing analysis, we successfully identified the missing subcluster halo ($M_{200}=1.70^{+0.73}_{-0.59}\times10^{14}~M_{\odot}$) at the >5$\sigma$ level centered on NGC1264, which is located ~430 kpc west of the Perseus main cluster core. Moreover, a significant ($>3\sigma$) mass bridge, which is also traced by the cluster member galaxies, is detected between the Perseus main and sub clusters, which serves as direct evidence of gravitational interaction. With idealized numerical simulations, we demonstrate that a ~3:1 off-axis major merger can create the cold front observed ~700 kpc east of the main cluster core and also generate the observed mass bridge through multiple core crossings.


title: Alternate Computation of Gravitational Effects from a Single Loop of Inflationary Scalars

abstract: We present a new computation of the renormalized graviton self-energy induced by a loop of massless, minimally coupled scalars on de Sitter background. Our result takes account of the need to include a finite renormalization of the cosmological constant, which was not included in the first analysis. We also avoid preconceptions concerning structure functions and instead express the result as a linear combination of 21 tensor differential operators. By using our result to quantum-correct the linearized effective field equation we derive logarithmic corrections to both the electric components of the Weyl tensor for gravitational radiation and to the two potentials which quantify the gravitational response to a static point mass.


title: Training a high-performance retinal foundation model with half-the-data and 400 times less compute

abstract: Artificial Intelligence holds tremendous potential in medicine, but is traditionally limited by the lack of massive datasets to train models on. Foundation models, pre-trained models that can be adapted to downstream tasks with small datasets, could alleviate this problem. Researchers at Moorfields Eye Hospital (MEH) proposed RETFound-MEH, a foundation model for retinal imaging that was trained on 900,000 images, including private hospital data. Recently, data-efficient DERETFound was proposed that provides comparable performance while being trained on only 150,000 images that are all publicly available. However, both these models required very substantial resources to train initially and are resource-intensive in downstream use. We propose a novel Token Reconstruction objective that we use to train RETFound-Green, a retinal foundation model trained using only 75,000 publicly available images and 400 times less compute. We estimate the cost of training RETFound-MEH and DERETFound at $10,000 and $14,000, respectively, while RETFound-Green could be trained for less than $100, with equally reduced environmental impact. RETFound-Green is also far more efficient in downstream use: it can be downloaded 14 times faster, computes vector embeddings 2.7 times faster which then require 2.6 times less storage space. Despite this, RETFound-Green does not perform systematically worse. In fact, it performs best on 14 tasks, compared to six for DERETFound and two for RETFound-MEH. Our results suggest that RETFound-Green is a very efficient, high-performance retinal foundation model. We anticipate that our Token Reconstruction objective could be scaled up for even higher performance and be applied to other domains beyond retinal imaging.


title: Causal Inference with High-dimensional Discrete Covariates

abstract: When estimating causal effects from observational studies, researchers often need to adjust for many covariates to deconfound the non-causal relationship between exposure and outcome, among which many covariates are discrete. The behavior of commonly used estimators in the presence of many discrete covariates is not well understood since their properties are often analyzed under structural assumptions including sparsity and smoothness, which do not apply in discrete settings. In this work, we study the estimation of causal effects in a model where the covariates required for confounding adjustment are discrete but high-dimensional, meaning the number of categories $d$ is comparable with or even larger than sample size $n$. Specifically, we show the mean squared error of commonly used regression, weighting and doubly robust estimators is bounded by $\frac{d^2}{n^2}+\frac{1}{n}$. We then prove the minimax lower bound for the average treatment effect is of order $\frac{d^2}{n^2 \log^2 n}+\frac{1}{n}$, which characterizes the fundamental difficulty of causal effect estimation in the high-dimensional discrete setting, and shows the estimators mentioned above are rate-optimal up to log-factors. We further consider additional structures that can be exploited, namely effect homogeneity and prior knowledge of the covariate distribution, and propose new estimators that enjoy faster convergence rates of order $\frac{d}{n^2} + \frac{1}{n}$, which achieve consistency in a broader regime. The results are illustrated empirically via simulation studies.


title: Sterile neutrino dark matter within the $\nu$SMEFT

abstract: Sterile neutrinos with masses at the $\mathrm{keV}$ scale and mixing to the active neutrinos offer an elegant explanation of the observed dark matter (DM) density. However, the very same mixing inevitably leads to radiative photon emission and the non-observation of such peaked $X$-ray lines rules out this minimal sterile neutrino DM hypothesis. We show that in the context of the Standard Model effective field theory with sterile neutrinos ($\nu$SMEFT), higher dimensional operators can produce sterile neutrino DM in a broad range of parameter space. In particular, $\nu$SMEFT interactions can open the large mixing parameter space due to their destructive interference, through operator mixing or matching, in the $X$-ray emission. We also find that, even in the zero mixing limit, the DM density can always be explained by $\nu$SMEFT operators. The testability of the studied $\nu$SMEFT operators in searches for electric dipole moments, neutrinoless double beta decay, and pion decay measurements is discussed.


title: Riesz Energy with a Radial External Field: When is the Equilibrium Support a Sphere?

abstract: We consider Riesz energy problems with radial external fields. We study the question of whether or not the equilibrium is the uniform distribution on a sphere. We develop general necessary as well as general sufficient conditions on the external field that apply to powers of the Euclidean norm as well as certain Lennard--Jones type fields. Additionally, in the former case, we completely characterize the values of the power for which dimension reduction occurs in the sense that the support of the equilibrium measure becomes a sphere. We also briefly discuss the relation between these problems and certain constrained optimization problems. Our approach involves the Frostman characterization, the Funk--Hecke formula, and the calculus of hypergeometric functions.


title: Indoor Synthetic Aperture Radar Measurements of Point-Like Targets Using a Wheeled Mobile Robot

abstract: Small, low-cost radar sensors offer a lighting independent sensing capability for indoor mobile robots that is useful for localization and mapping. Synthetic aperture radar (SAR) offers an attractive way to increase the angular resolution of small radar sensors for use on mobile robots to generate high-resolution maps of the indoor environment. This work quantifies the maximum synthesizable aperture length of our mobile robot measurement setup using radar-inertial odometry localization and offers insights into challenges for robotic millimeter-wave SAR imaging.


title: An enhanced POSTA based on Nelder-Mead simplex search and quadratic interpolation

abstract: State transition algorithm (STA) is a metaheuristic method for global optimization. Recently, a modified STA named parameter optimal state transition algorithm (POSTA) is proposed. In POSTA, the performance of expansion operator, rotation operator and axesion operator is optimized through a parameter selection mechanism. But due to the insufficient utilization of historical information, POSTA still suffers from slow convergence speed and low solution accuracy on specific problems. To make better use of the historical information, Nelder-Mead (NM) simplex search and quadratic interpolation (QI) are integrated into POSTA. The enhanced POSTA is tested against 14 benchmark functions with 20-D, 30-D and 50-D space. An experimental comparison with several competitive metaheuristic methods demonstrates the effectiveness of the proposed method.


title: Graph Neural Network Approach to Semantic Type Detection in Tables

abstract: This study addresses the challenge of detecting semantic column types in relational tables, a key task in many real-world applications. While language models like BERT have improved prediction accuracy, their token input constraints limit the simultaneous processing of intra-table and inter-table information. We propose a novel approach using Graph Neural Networks (GNNs) to model intra-table dependencies, allowing language models to focus on inter-table information. Our proposed method not only outperforms existing state-of-the-art algorithms but also offers novel insights into the utility and functionality of various GNN types for semantic type detection. The code is available at https://github.com/hoseinzadeehsan/GAIT


title: Primordial black hole probes of heavy neutral leptons

abstract: Primordial black holes (PBH), while still constituting a viable dark matter component, are expected to evaporate through Hawking radiation. Assuming the semi-classical approximation holds up to near the Planck scale, PBHs are expected to evaporate by the present time, emitting a significant flux of particles in their final moments, if produced in the early Universe with an initial mass of $\sim 10^{15}$ g. These ''exploding'' black holes will release a burst of Standard Model particles alongside any additional degrees of freedom, should they exist. We explore the possibility that heavy neutral leptons (HNL), mixing with active neutrinos, are emitted in the final evaporation stages. We calculate the expected number of active neutrinos from such an event, including contributions due to the HNL decay for different assumptions on the mixings. We infer sensitivities on the active-sterile neutrino mixing and on the sterile neutrino mass, finding that, for instance, for the scenario where $U_{\tau 4}\neq 0$, IceCube could improve current constraints by $\sim 2$ orders of magnitude, for HNLs masses between 0.1 - 1 GeV, for a PBH at a distance of $\sim 10^{-4}$ pc from Earth.


title: Neural network based emulation of galaxy power spectrum covariances -- A reanalysis of BOSS DR12 data

abstract: We train neural networks to quickly generate redshift-space galaxy power spectrum covariances from a given parameter set (cosmology and galaxy bias). This covariance emulator utilizes a combination of traditional fully-connected network layers and transformer architecture to accurately predict covariance matrices for the high redshift, north galactic cap sample of the BOSS DR12 galaxy catalog. We run simulated likelihood analyses with emulated and brute-force computed covariances, and we quantify the network's performance via two different metrics: 1) difference in $\chi^2$ and 2) likelihood contours for simulated BOSS DR 12 analyses. We find that the emulator returns excellent results over a large parameter range. We then use our emulator to perform a re-analysis of the BOSS HighZ NGC galaxy power spectrum, and find that varying covariance with cosmology along with the model vector produces $\Omega_m = 0.276^{+0.013}_{-0.015}$, $H_0 = 70.2\pm 1.9$ km/s/Mpc, and $\sigma_8 = 0.674^{+0.058}_{-0.077}$. These constraints represent an average $0.46\sigma$ shift in best-fit values and a $5\%$ increase in constraining power compared to fixing the covariance matrix ($\Omega_m = 0.293\pm 0.017$, $H_0 = 70.3\pm 2.0$ km/s/Mpc, $\sigma_8 = 0.702^{+0.063}_{-0.075}$). This work demonstrates that emulators for more complex cosmological quantities than second-order statistics can be trained over a wide parameter range at sufficiently high accuracy to be implemented in realistic likelihood analyses.


title: A variational approach to sampling in diffusion processes

abstract: We revisit the work of Mitter and Newton on an information-theoretic interpretation of Bayes' formula through the Gibbs variational principle. This formulation allowed them to pose nonlinear estimation for diffusion processes as a problem in stochastic optimal control, so that the posterior density of the signal given the observation path could be sampled by adding a drift to the signal process. We show that this control-theoretic approach to sampling provides a common mechanism underlying several distinct problems involving diffusion processes, specifically importance sampling using Feynman-Kac averages, time reversal, and Schr\"odinger bridges.


title: GPU-friendly Stroke Expansion

abstract: Vector graphics includes both filled and stroked paths as the main primitives. While there are many techniques for rendering filled paths on GPU, stroked paths have proved more elusive. This paper presents a technique for performing stroke expansion, namely the generation of the outline representing the stroke of the given input path. Stroke expansion is a global problem, with challenging constraints on continuity and correctness. Nonetheless, we implement it using a fully parallel algorithm suitable for execution in a GPU compute shader, with minimal preprocessing. The output of our method can be either line or circular arc segments, both of which are well suited to GPU rendering, and the number of segments is minimal. We introduce several novel techniques, including an encoding of vector graphics primitives suitable for parallel processing, and an Euler spiral based method for computing approximations to parallel curves and evolutes.


title: Target-Specific De Novo Peptide Binder Design with DiffPepBuilder

abstract: Despite the exciting progress in target-specific de novo protein binder design, peptide binder design remains challenging due to the flexibility of peptide structures and the scarcity of protein-peptide complex structure data. In this study, we curated a large synthetic dataset, referred to as PepPC-F, from the abundant protein-protein interface data and developed DiffPepBuilder, a de novo target-specific peptide binder generation method that utilizes an SE(3)-equivariant diffusion model trained on PepPC-F to co-design peptide sequences and structures. DiffPepBuilder also introduces disulfide bonds to stabilize the generated peptide structures. We tested DiffPepBuilder on 30 experimentally verified strong peptide binders with available protein-peptide complex structures. DiffPepBuilder was able to effectively recall the native structures and sequences of the peptide ligands and to generate novel peptide binders with improved binding free energy. We subsequently conducted de novo generation case studies on three targets. In both the regeneration test and case studies, DiffPepBuilder outperformed AfDesign and RFdiffusion coupled with ProteinMPNN, in terms of sequence and structure recall, interface quality, and structural diversity. Molecular dynamics simulations confirmed that the introduction of disulfide bonds enhanced the structural rigidity and binding performance of the generated peptides. As a general peptide binder de novo design tool, DiffPepBuilder can be used to design peptide binders for given protein targets with three dimensional and binding site information.


title: Complex contagions can outperform simple contagions for network reconstruction with dense networks or saturated dynamics

abstract: Network scientists often use complex dynamic processes to describe network contagions, but tools for fitting contagion models typically assume simple dynamics. Here, we address this gap by developing a nonparametric method to reconstruct a network and dynamics from a series of node states, using a model that breaks the dichotomy between simple pairwise and complex neighborhood-based contagions. We then show that a network is more easily reconstructed when observed through the lens of complex contagions if it is dense or the dynamic saturates, and that simple contagions are better otherwise.


title: A Flexible 2.5D Medical Image Segmentation Approach with In-Slice and Cross-Slice Attention

abstract: Deep learning has become the de facto method for medical image segmentation, with 3D segmentation models excelling in capturing complex 3D structures and 2D models offering high computational efficiency. However, segmenting 2.5D images, which have high in-plane but low through-plane resolution, is a relatively unexplored challenge. While applying 2D models to individual slices of a 2.5D image is feasible, it fails to capture the spatial relationships between slices. On the other hand, 3D models face challenges such as resolution inconsistencies in 2.5D images, along with computational complexity and susceptibility to overfitting when trained with limited data. In this context, 2.5D models, which capture inter-slice correlations using only 2D neural networks, emerge as a promising solution due to their reduced computational demand and simplicity in implementation. In this paper, we introduce CSA-Net, a flexible 2.5D segmentation model capable of processing 2.5D images with an arbitrary number of slices through an innovative Cross-Slice Attention (CSA) module. This module uses the cross-slice attention mechanism to effectively capture 3D spatial information by learning long-range dependencies between the center slice (for segmentation) and its neighboring slices. Moreover, CSA-Net utilizes the self-attention mechanism to understand correlations among pixels within the center slice. We evaluated CSA-Net on three 2.5D segmentation tasks: (1) multi-class brain MRI segmentation, (2) binary prostate MRI segmentation, and (3) multi-class prostate MRI segmentation. CSA-Net outperformed leading 2D and 2.5D segmentation methods across all three tasks, demonstrating its efficacy and superiority. Our code is publicly available at https://github.com/mirthAI/CSA-Net.


title: Finding Diverse Strings and Longest Common Subsequences in a Graph

abstract: In this paper, we study for the first time the Diverse Longest Common Subsequences (LCSs) problem under Hamming distance. Given a set of a constant number of input strings, the problem asks to decide if there exists some subset $\mathcal X$ of $K$ longest common subsequences whose diversity is no less than a specified threshold $\Delta$, where we consider two types of diversities of a set $\mathcal X$ of strings of equal length: the Sum diversity and the Min diversity defined as the sum and the minimum of the pairwise Hamming distance between any two strings in $\mathcal X$, respectively. We analyze the computational complexity of the respective problems with Sum- and Min-diversity measures, called the Max-Sum and Max-Min Diverse LCSs, respectively, considering both approximation algorithms and parameterized complexity. Our results are summarized as follows. When $K$ is bounded, both problems are polynomial time solvable. In contrast, when $K$ is unbounded, both problems become NP-hard, while Max-Sum Diverse LCSs problem admits a PTAS. Furthermore, we analyze the parameterized complexity of both problems with combinations of parameters $K$ and $r$, where $r$ is the length of the candidate strings to be selected. Importantly, all positive results above are proven in a more general setting, where an input is an edge-labeled directed acyclic graph (DAG) that succinctly represents a set of strings of the same length. Negative results are proven in the setting where an input is explicitly given as a set of strings. The latter results are equipped with an encoding such a set as the longest common subsequences of a specific input string set.


title: Engineering superpositions of N00N states using an asymmetric non-linear Mach-Zehnder interferometer

abstract: We revisit a method for mapping arbitrary single-mode pure states into superpositions of N00N states using an asymmetric non-linear Mach-Zehnder interferometer (ANLMZI). This method would allow for one to tailor-make superpositions of N00N states where each axis of the two-mode joint-photon number distribution is weighted by the statistics of any single-mode pure state. The non-linearity of the ANLMZI comes in the form of a $\chi^{\left(3\right)}$ self-Kerr interaction occurring on one of the intermediary modes of the interferometer. Motivated by the non-classical interference effects that occur at a beam splitter, we introduce inverse-engineering techniques aimed towards extrapolating optimal transformations for generating N00N state superpositions. These techniques are general enough so as to be employed to probe the means of generating states of any desired quantum properties.


title: Unveiling the Physics of Neutron Stars: A 3D expedition into MAgneto-Thermal evolution in Isolated Neutron Stars with MATINS

abstract: This doctoral thesis investigates the long-term evolution of the strong magnetic fields within isolated neutron stars (NSs), the most potent magnetic objects in the universe. Their magnetic influence extends beyond their surface to encompass the magnetised plasma in their vicinity. The overarching magnetic configuration significantly impacts the observable characteristics of the highly magnetised NSs, i.e., magnetars. Conversely, the internal magnetic field undergoes prolonged evolution spanning thousands to millions of years, intricately linked to thermal evolution. The diverse observable phenomena associated with NSs underscore the complex 3D nature of their magnetic structure, thereby requiring sophisticated numerical simulations. A central focus of this thesis involves a thorough exploration of state-of-the-art 3D coupled magneto-thermal evolution models. This marks a pioneering achievement as we conduct, for the first time, the most realistic 3D simulations to date, spanning the first million years of a NS's life using the newly developed code MATINS, which adeptly accounts for both Ohmic dissipation and Hall drift within the NS's crust. Our simulations incorporate highly accurate temperature-dependent microphysical calculations and adopt the star's structure based on a realistic equation of state. To address axial singularities in 3D simulations, we employ the cubed-sphere coordinates. We also account for corresponding relativistic factors in the evolution equations and use the latest envelope model from existing literature, in addition to an initial magnetic field structure derived from proton-NS dynamo simulations. Within this framework, we quantitatively simulate the thermal luminosity, timing properties, and magnetic field evolution, pushing the boundaries of numerical modeling capabilities and enabling the performance of several astrophysical studies within this thesis.


title: Transforming Dutch: Debiasing Dutch Coreference Resolution Systems for Non-binary Pronouns

abstract: Gender-neutral pronouns are increasingly being introduced across Western languages. Recent evaluations have however demonstrated that English NLP systems are unable to correctly process gender-neutral pronouns, with the risk of erasing and misgendering non-binary individuals. This paper examines a Dutch coreference resolution system's performance on gender-neutral pronouns, specifically hen and die. In Dutch, these pronouns were only introduced in 2016, compared to the longstanding existence of singular they in English. We additionally compare two debiasing techniques for coreference resolution systems in non-binary contexts: Counterfactual Data Augmentation (CDA) and delexicalisation. Moreover, because pronoun performance can be hard to interpret from a general evaluation metric like LEA, we introduce an innovative evaluation metric, the pronoun score, which directly represents the portion of correctly processed pronouns. Our results reveal diminished performance on gender-neutral pronouns compared to gendered counterparts. Nevertheless, although delexicalisation fails to yield improvements, CDA substantially reduces the performance gap between gendered and gender-neutral pronouns. We further show that CDA remains effective in low-resource settings, in which a limited set of debiasing documents is used. This efficacy extends to previously unseen neopronouns, which are currently infrequently used but may gain popularity in the future, underscoring the viability of effective debiasing with minimal resources and low computational costs.


title: Improving Channel Resilience for Task-Oriented Semantic Communications: A Unified Information Bottleneck Approach

abstract: Task-oriented semantic communications (TSC) enhance radio resource efficiency by transmitting task-relevant semantic information. However, current research often overlooks the inherent semantic distinctions among encoded features. Due to unavoidable channel variations from time and frequency-selective fading, semantically sensitive feature units could be more susceptible to erroneous inference if corrupted by dynamic channels. Therefore, this letter introduces a unified channel-resilient TSC framework via information bottleneck. This framework complements existing TSC approaches by controlling information flow to capture fine-grained feature-level semantic robustness. Experiments on a case study for real-time subchannel allocation validate the framework's effectiveness.


title: Data-Driven Permissible Safe Control with Barrier Certificates

abstract: This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is learning the dynamics of the system via Gaussian process (GP) regression and obtaining probabilistic errors for this estimate. Then, we develop an algorithm for constructing piecewise stochastic barrier functions to find a maximal permissible strategy set using the learned GP model, which is based on sequentially pruning the worst controls until a maximal set is identified. The permissible strategies are guaranteed to maintain probabilistic safety for the true system. This is especially important for learning-enabled systems, because a rich strategy space enables additional data collection and complex behaviors while remaining safe. Case studies on linear and nonlinear systems demonstrate that increasing the size of the dataset for learning the system grows the permissible strategy set.


title: The enduring relevance of the Jaynes-Cummings model: a personal perspective

abstract: In this short perspective article we present our personal highlights on how the Jaynes-Cummings model has become a central model to describe spin-boson couplings underpinning much of modern quantum optics. To the current authors, the key contribution is a demonstration of a measurable effect that showed the discreteness of the quantized radiation field.


title: Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups

abstract: The emergence of decentralized finance has transformed asset trading on the blockchain, making traditional financial instruments more accessible while also introducing a series of exploitative economic practices known as Maximal Extractable Value (MEV). Concurrently, decentralized finance has embraced rollup-based Layer-2 solutions to facilitate asset trading at reduced transaction costs compared to Layer-1 solutions such as Ethereum. However, rollups lack a public mempool like Ethereum, making the extraction of MEV more challenging. In this paper, we investigate the prevalence and impact of MEV on Ethereum and prominent rollups such as Arbitrum, Optimism, and zkSync over a nearly three-year period. Our analysis encompasses various metrics including volume, profits, costs, competition, and response time to MEV opportunities. We discover that MEV is widespread on rollups, with trading volume comparable to Ethereum. We also find that, although MEV costs are lower on rollups, profits are also significantly lower compared to Ethereum. Additionally, we examine the prevalence of sandwich attacks on rollups. While our findings did not detect any sandwiching activity on popular rollups, we did identify the potential for cross-layer sandwich attacks facilitated by transactions that are sent across rollups and Ethereum. Consequently, we propose and evaluate the feasibility of three novel attacks that exploit cross-layer transactions, revealing that attackers could have already earned approximately 2 million USD through cross-layer sandwich attacks.


title: AfricAIED 2024: 2nd Workshop on Artificial Intelligence in Education in Africa

abstract: Recent AI advancements offer transformative potential for global education, yet their application often overlooks Africa's unique educational landscape. AfricAIED 2024 will address this gap, spotlighting efforts to develop AI in Education (AIED) systems tailored to Africa's needs. Building on the success of the inaugural workshop, AfricAIED 2024 will feature an online AI Hackathon focused on democratizing preparation for Ghana's National Science & Maths Quiz (NSMQ). Participants will create open-source AI tools leveraging resources from the Brilla AI project to level the academic playing field and enhance science and math education across Africa. The workshop will showcase top competitors' solutions, invite discussions on AIED opportunities and challenges in Africa, and highlight the latest advancements in AI education integration. AfricAIED 2024 aims to foster collaboration and innovation, amplifying African voices in the AIED community and driving positive change in African education through AI.


title: Hydrodynamical simulations of merging galaxy clusters: giant dark matter particle colliders, powered by gravity

abstract: Terrestrial particle accelerators collide charged particles, then watch the trajectory of outgoing debris - but they cannot manipulate dark matter. Fortunately, dark matter is the main component of galaxy clusters, which are continuously pulled together by gravity. We show that galaxy cluster mergers can be exploited as enormous, natural dark matter colliders. We analyse hydrodynamical simulations of a universe containing self-interacting dark matter (SIDM) in which all particles interact via gravity, and dark matter particles can also scatter off each other via a massive mediator. During cluster collisions, SIDM spreads out and lags behind cluster member galaxies. Individual systems can have quirky dynamics that makes them difficult to interpret. Statistically, however, we find that the mean or median of dark matter's spatial offset in many collisions can be robustly modelled, and is independent of our viewing angle and halo mass even in collisions between unequal-mass systems. If the SIDM cross-section were sigma/m = 0.1cm^2/g = 0.18 barn/GeV, the 'bulleticity' lag would be ~5 percent that of gas due to ram pressure, and could be detected at 95 percent confidence in weak lensing observations of ~100 well-chosen clusters.


title: RIS-aided Wireless Communication with Movable Elements Geometry Impact on Performance

abstract: Reconfigurable Intelligent Surfaces (RIS) are known as a promising technology to improve the performance of wireless communication networks, and have been extensively studied. Movable Antennas (MA) are a novel technology that fully exploits the antenna placement for enhancing the system performance. This article aims at evaluating the impact of transmit power and number of antenna elements on the outage probability performance of an MA-enabled RIS structure (MA-RIS), compared to existing Fixed-Position Antenna RIS (FPA-RIS). The change in geometry caused by the movement of antennas and its implications for the effective number of illuminated elements, are studied for 1D and 2D array structures. Our numerical results confirm the performance advantage provided by MA-RIS, achieving 24\% improvement in outage probability, and 2 dB gain in Signal-to-Noise Ratio (SNR), as compared to FPA-RIS.


title: Utilizing Machine Learning and 3D Neuroimaging to Predict Hearing Loss: A Comparative Analysis of Dimensionality Reduction and Regression Techniques

abstract: In this project, we have explored machine learning approaches for predicting hearing loss thresholds on the brain's gray matter 3D images. We have solved the problem statement in two phases. In the first phase, we used a 3D CNN model to reduce high-dimensional input into latent space and decode it into an original image to represent the input in rich feature space. In the second phase, we utilized this model to reduce input into rich features and used these features to train standard machine learning models for predicting hearing thresholds. We have experimented with autoencoders and variational autoencoders in the first phase for dimensionality reduction and explored random forest, XGBoost and multi-layer perceptron for regressing the thresholds. We split the given data set into training and testing sets and achieved an 8.80 range and 22.57 range for PT500 and PT4000 on the test set, respectively. We got the lowest RMSE using multi-layer perceptron among the other models. Our approach leverages the unique capabilities of VAEs to capture complex, non-linear relationships within high-dimensional neuroimaging data. We rigorously evaluated the models using various metrics, focusing on the root mean squared error (RMSE). The results highlight the efficacy of the multi-layer neural network model, which outperformed other techniques in terms of accuracy. This project advances the application of data mining in medical diagnostics and enhances our understanding of age-related hearing loss through innovative machine-learning frameworks.


title: Organ Dose Equivalents of Albedo Protons and Neutrons Under Exposure to Large Solar Particle Events during Lunar Human Landing Missions

abstract: Astronauts participating in lunar landing missions will encounter exposure to albedo particles emitted from the lunar surface as well as primary high-energy particles in the spectra of galactic cosmic rays (GCRs) and solar particle events (SPEs). While existing studies have examined particle energy spectra and absorbed doses in limited radiation exposure scenarios on and near the Moon, comprehensive research encompassing various shielding amounts and large SPEs on the lunar surface remains lacking. Additionally, detailed organ dose equivalents of albedo particles in a human model on the lunar surface have yet to be investigated. This work assesses the organ dose equivalents of albedo neutrons and protons during historically large SPEs in August 1972 and September 1989 utilizing realistic computational anthropomorphic human phantom for the first time. Dosimetric quantities within human organs have been evaluated based on the PHITS Monte Carlo simulation results and quality factors of the state-of-the-art NASA Space Cancer Risk (NSCR) model, as well as ICRP publications. The results with the NSCR model indicate that the albedo contribution to organ dose equivalent is less than 3% for 1 g/cm2 aluminum shielding, while it increases to more than 20% in some organs for 20 g/cm2 aluminum shielding during exposure to low-energy-proton-rich SPEs.


title: Greater benefits of deep learning-based computer-aided detection systems for finding small signals in 3D volumetric medical images

abstract: Purpose: Radiologists are tasked with visually scrutinizing large amounts of data produced by 3D volumetric imaging modalities. Small signals can go unnoticed during the 3d search because they are hard to detect in the visual periphery. Recent advances in machine learning and computer vision have led to effective computer-aided detection (CADe) support systems with the potential to mitigate perceptual errors. Approach: Sixteen non-expert observers searched through digital breast tomosynthesis (DBT) phantoms and single cross-sectional slices of the DBT phantoms. The 3D/2D searches occurred with and without a convolutional neural network (CNN)-based CADe support system. The model provided observers with bounding boxes superimposed on the image stimuli while they looked for a small microcalcification signal and a large mass signal. Eye gaze positions were recorded and correlated with changes in the area under the ROC curve (AUC). Results: The CNN-CADe improved the 3D search for the small microcalcification signal (delta AUC = 0.098, p = 0.0002) and the 2D search for the large mass signal (delta AUC = 0.076, p = 0.002). The CNN-CADe benefit in 3D for the small signal was markedly greater than in 2D (delta delta AUC = 0.066, p = 0.035). Analysis of individual differences suggests that those who explored the least with eye movements benefited the most from the CNN-CADe (r = -0.528, p = 0.036). However, for the large signal, the 2D benefit was not significantly greater than the 3D benefit (delta delta AUC = 0.033, p = 0.133). Conclusion: The CNN-CADe brings unique performance benefits to the 3D (vs. 2D) search of small signals by reducing errors caused by the under-exploration of the volumetric data.


title: GUing: A Mobile GUI Search Engine using a Vision-Language Model

abstract: App developers use the Graphical User Interface (GUI) of other apps as an important source of inspiration to design and improve their own apps. In recent years, research suggested various approaches to retrieve GUI designs that fit a certain text query from screenshot datasets acquired through automated GUI exploration. However, such text-to-GUI retrieval approaches only leverage the textual information of the GUI elements in the screenshots, neglecting visual information such as icons or background images. In addition, the retrieved screenshots are not steered by app developers and often lack important app features, e.g. whose UI pages require user authentication. To overcome these limitations, this paper proposes GUing, a GUI search engine based on a vision-language model called UIClip, which we trained specifically for the app GUI domain. For this, we first collected app introduction images from Google Play, which usually display the most representative screenshots selected and often captioned (i.e. labeled) by app vendors. Then, we developed an automated pipeline to classify, crop, and extract the captions from these images. This finally results in a large dataset which we share with this paper: including 303k app screenshots, out of which 135k have captions. We used this dataset to train a novel vision-language model, which is, to the best of our knowledge, the first of its kind in GUI retrieval. We evaluated our approach on various datasets from related work and in manual experiment. The results demonstrate that our model outperforms previous approaches in text-to-GUI retrieval achieving a Recall@10 of up to 0.69 and a HIT@10 of 0.91. We also explored the performance of UIClip for other GUI tasks including GUI classification and Sketch-to-GUI retrieval with encouraging results.


title: Averting multi-qubit burst errors in surface code magic state factories

abstract: Fault-tolerant quantum computation relies on the assumption of time-invariant, sufficiently low physical error rates. However, current superconducting quantum computers suffer from frequent disruptive noise events, including cosmic ray impacts and shifting two-level system defects. Several methods have been proposed to mitigate these issues in software, but they add large overheads in terms of physical qubit count, as it is difficult to preserve logical information through burst error events. We focus on mitigating multi-qubit burst errors in magic state factories, which are expected to comprise up to 95% of the space cost of future quantum programs. Our key insight is that magic state factories do not need to preserve logical information over time; once we detect an increase in local physical error rates, we can simply turn off parts of the factory that are affected, re-map the factory to the new chip geometry, and continue operating. This is much more efficient than previous more general methods, and is resilient even under many simultaneous impact events. Using precise physical noise models, we show an efficient ray detection method and evaluate our strategy in different noise regimes. Compared to existing baselines, we find reductions in ray-induced overheads by several orders of magnitude, reducing total qubitcycle cost by geomean 6.5x to 13.9x depending on the noise model. This work reduces the burden on hardware by providing low-overhead software mitigation of these errors.


title: A deconstruction of methods to derive one-point lensing statistics

abstract: Gravitational lensing is a crucial tool for exploring cosmic phenomena, providing insights into galaxy clustering, dark matter, and dark energy. Given the substantial computational demands of $N$-body simulations, approximate methods like $\texttt{PINOCCHIO}$ and $\texttt{turboGL}$ offer viable alternatives for simulating lensing probability density functions (PDFs). This paper evaluates these methods in contexts where baryonic effects are negligible, focusing on dark matter-dominated models and assessing their effectiveness across both weak and strong lensing regimes. Our comparative analysis reveals that these methods are particularly effective for applications involving electromagnetic and gravitational wave point sources, where strong lensing events are infrequent. Both $\texttt{PINOCCHIO}$ and $\texttt{turboGL}$ perform well in modeling the weak-lensing region influenced by mildly nonlinear structures. However, they lose accuracy in capturing small-scale nonlinear matter fields, owing to oversimplified assumptions about internal halo structures and reliance on perturbation theory. The analysis shows that $\texttt{PINOCCHIO}$ achieves an 8-15% agreement with $N$-body simulations for the second-to-fourth moments of lensing PDFs. These findings aim to inform future studies on gravitational lensing of point sources, which are increasingly relevant with upcoming supernova and gravitational wave datasets.


title: A Robust Optimization Approach to Network Control Using Local Information Exchange

abstract: Designing policies for a network of agents is typically done by formulating an optimization problem where each agent has access to state measurements of all the other agents in the network. Such policy designs with centralized information exchange result in optimization problems that are typically hard to solve, require establishing substantial communication links, and do not promote privacy since all information is shared among the agents. Designing policies based on arbitrary communication structures can lead to non-convex optimization problems which are typically NP-hard. In this work, we propose an optimization framework for decentralized policy designs. In contrast to the centralized information exchange, our approach requires only local communication exchange among the neighboring agents matching the physical coupling of the network. Thus, each agent only requires information from its direct neighbors, minimizing the need for excessive communication and promoting privacy amongst the agents. Using robust optimization techniques, we formulate a convex optimization problem with a loosely coupled structure that can be solved efficiently. We numerically demonstrate the efficacy of the proposed approach in energy management and supply chain applications. We show that the proposed approach leads to solutions that closely approximate those obtained by the centralized formulation only at a fraction of the computational effort.


title: Gravitational Stress Tensor and Current at Null Infinity in Three Dimensions

abstract: We develop the framework that reveals the intrinsic conserved stress tensor and current associated with the null infinity of a three-dimensional ($3d$) asymptotically flat spacetime. These are, respectively, canonical conjugates of degenerate metric and Ehresmann connection of the boundary Carrollian geometry. Their conservation reproduces the Bondi-mass and angular momentum conservation equations if the asymptotic boundary is endowed with a torsional affine connection that we specify. Our analysis and results shed further light on the $3d$ flat holography; the stress tensor and current give rise to an asymptotically flat fluid/gravity correspondence. The requirement of a well-defined $3d$ action principle yields Schwarzian action at null infinity governing the dynamics induced by reparametrizations over the celestial circle, in accord with the codimension $2$ holography of $3d$ flat spacetimes.


title: An Invertible All-optical Logic Gate on Chip

abstract: We demonstrate an invertible all-optical gate on chip, with the roles of control and signal switchable by slightly adjusting their relative arrival time at the gate. It is based on quantum Zeno blockade driven by sum-frequency generation in a periodic-poled lithium niobate microring resonator. For two nearly-identical nanosecond pulses, the later arriving pulse is modulated by the earlier arriving one, resulting in 2.4 and 3.9 power extinction between the two, respectively, when their peak power is 1 mW and 2 mW. Our results, while to be improved and enriched, herald a new paradigm of logical gates and circuits for exotic applications.


title: An analytical formula for signal optimization in stimulated photon-photon scattering setup with three laser pulses

abstract: We consider a setup to detect stimulated photon-photon scattering using high-power lasers. Signal photons are emitted from an overlap of the incoming intense laser pulses focused in vacuum from three sides. We derive and justify a general approximate analytical formula for the angular distribution and total yield of such signal photons in terms of the parameters of the incoming pulses, including their intensity, carrier frequencies, durations, focusing, polarizations, mutual orientation and overlap. Using the obtained formula a parametric study of the signal is carried out and optimization is performed.


title: Homological dimensions, the Gorenstein property, and special cases of some conjectures

abstract: Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we investigate the impact of the finiteness of certain homological dimensions of $M$ if $R$ is local, mainly when $R$ is Cohen-Macaulay and with a partial focus on duals. Along the way, we produce various freeness criteria for modules. Finally, we give applications, including characterizations of when $R$ is Gorenstein (and other ring-theoretic properties as well, sometimes in the prime characteristic setting), particularly by means of its anticanonical module, and in addition we address special cases of some long-standing conjectures; for instance, we confirm the 1985 conjecture of Vasconcelos on normal modules in case the module of differentials is almost Cohen-Macaulay.


title: Supernova limits on 'QCD axion-like particles'

abstract: In this paper, we explore the phenomenology of massive Axion-Like Particles (ALPs) coupled to quarks and gluons, dubbed 'QCD ALPs', with an emphasis on the associated low-energy observables. ALPs coupled to gluons and quarks not only induce nuclear interactions at scales below the QCD-scale, relevant for ALP production in supernovae (SNe), but naturally also couple to photons similarly to the QCD-axion. We discuss the link between the high-energy formulation of ALP theories and their effective couplings with nucleons and photons. The induced photon coupling allows ALPs with masses $m_a\gtrsim1$ MeV to efficiently decay into photons, and astrophysical observables severely constrain the ALP parameter space. We show that a combination of arguments related to SN events rule out ALP-nucleon couplings down to $g_{aN}\gtrsim 10^{-11}- 10^{-10}$ for $m_a\gtrsim1$ MeV - a region of the parameter space that was hitherto unconstrained.


title: EEvA: Fast Expert-Based Algorithms for Buffer Page Replacement

abstract: Optimal page replacement is an important problem in efficient buffer management. The range of replacement strategies known in the literature varies from simple but efficient FIFO-based algorithms to more accurate but potentially costly methods tailored to specific data access patterns. The principal issue in adopting a pattern-specific replacement logic in a DB buffer manager is to guarantee non-degradation in general high-load regimes. In this paper, we propose a new family of page replacement algorithms for DB buffer manager which demonstrate a superior performance wrt competitors on custom data access patterns and imply a low computational overhead on TPC-C. We provide theoretical foundations and an extensive experimental study on the proposed algorithms which covers synthetic benchmarks and an implementation in an open-source DB kernel evaluated on TPC-C.


title: HistNERo: Historical Named Entity Recognition for the Romanian Language

abstract: This work introduces HistNERo, the first Romanian corpus for Named Entity Recognition (NER) in historical newspapers. The dataset contains 323k tokens of text, covering more than half of the 19th century (i.e., 1817) until the late part of the 20th century (i.e., 1990). Eight native Romanian speakers annotated the dataset with five named entities. The samples belong to one of the following four historical regions of Romania, namely Bessarabia, Moldavia, Transylvania, and Wallachia. We employed this proposed dataset to perform several experiments for NER using Romanian pre-trained language models. Our results show that the best model achieved a strict F1-score of 55.69%. Also, by reducing the discrepancies between regions through a novel domain adaption technique, we improved the performance on this corpus to a strict F1-score of 66.80%, representing an absolute gain of more than 10%.


title: Expanding the Horizon: Enabling Hybrid Quantum Transfer Learning for Long-Tailed Chest X-Ray Classification

abstract: Quantum machine learning (QML) has the potential for improving the multi-label classification of rare, albeit critical, diseases in large-scale chest x-ray (CXR) datasets due to theoretical quantum advantages over classical machine learning (CML) in sample efficiency and generalizability. While prior literature has explored QML with CXRs, it has focused on binary classification tasks with small datasets due to limited access to quantum hardware and computationally expensive simulations. To that end, we implemented a Jax-based framework that enables the simulation of medium-sized qubit architectures with significant improvements in wall-clock time over current software offerings. We evaluated the performance of our Jax-based framework in terms of efficiency and performance for hybrid quantum transfer learning for long-tailed classification across 8, 14, and 19 disease labels using large-scale CXR datasets. The Jax-based framework resulted in up to a 58% and 95% speed-up compared to PyTorch and TensorFlow implementations, respectively. However, compared to CML, QML demonstrated slower convergence and an average AUROC of 0.70, 0.73, and 0.74 for the classification of 8, 14, and 19 CXR disease labels. In comparison, the CML models had an average AUROC of 0.77, 0.78, and 0.80 respectively. In conclusion, our work presents an accessible implementation of hybrid quantum transfer learning for long-tailed CXR classification with a computationally efficient Jax-based framework.


title: Information-Theoretic Opacity-Enforcement in Markov Decision Processes

abstract: The paper studies information-theoretic opacity, an information-flow privacy property, in a setting involving two agents: A planning agent who controls a stochastic system and an observer who partially observes the system states. The goal of the observer is to infer some secret, represented by a random variable, from its partial observations, while the goal of the planning agent is to make the secret maximally opaque to the observer while achieving a satisfactory total return. Modeling the stochastic system using a Markov decision process, two classes of opacity properties are considered -- Last-state opacity is to ensure that the observer is uncertain if the last state is in a specific set and initial-state opacity is to ensure that the observer is unsure of the realization of the initial state. As the measure of opacity, we employ the Shannon conditional entropy capturing the information about the secret revealed by the observable. Then, we develop primal-dual policy gradient methods for opacity-enforcement planning subject to constraints on total returns. We propose novel algorithms to compute the policy gradient of entropy for each observation, leveraging message passing within the hidden Markov models. This gradient computation enables us to have stable and fast convergence. We demonstrate our solution of opacity-enforcement control through a grid world example.


title: BayesBlend: Easy Model Blending using Pseudo-Bayesian Model Averaging, Stacking and Hierarchical Stacking in Python

abstract: Averaging predictions from multiple competing inferential models frequently outperforms predictions from any single model, providing that models are optimally weighted to maximize predictive performance. This is particularly the case in so-called $\mathcal{M}$-open settings where the true model is not in the set of candidate models, and may be neither mathematically reifiable nor known precisely. This practice of model averaging has a rich history in statistics and machine learning, and there are currently a number of methods to estimate the weights for constructing model-averaged predictive distributions. Nonetheless, there are few existing software packages that can estimate model weights from the full variety of methods available, and none that blend model predictions into a coherent predictive distribution according to the estimated weights. In this paper, we introduce the BayesBlend Python package, which provides a user-friendly programming interface to estimate weights and blend multiple (Bayesian) models' predictive distributions. BayesBlend implements pseudo-Bayesian model averaging, stacking and, uniquely, hierarchical Bayesian stacking to estimate model weights. We demonstrate the usage of BayesBlend with examples of insurance loss modeling.


title: Heterogeneity analysis provides evidence for a genetically homogeneous subtype of bipolar-disorder

abstract: Bipolar disorder is a highly heritable brain disorder which affects an estimated 50 million people worldwide. Due to recent advances in genotyping technology and bioinformatics methodology, as well as the increase in the overall amount of available data, our understanding of the genetic underpinnings of BD has improved. A growing consensus is that BD is polygenic and heterogeneous, but the specifics of that heterogeneity are not yet well understood. Here we use a recently developed technique to investigate the genetic heterogeneity of bipolar disorder. We find strong statistical evidence for a `bicluster': a subset of bipolar subjects that exhibits a disease-specific genetic pattern. The structure illuminated by this bicluster replicates in several other data-sets and can be used to improve BD risk-prediction algorithms. We believe that this bicluster is likely to correspond to a genetically-distinct subtype of BD. More generally, we believe that our biclustering approach is a promising means of untangling the underlying heterogeneity of complex disease without the need for reliable subphenotypic data.


title: Planetesimal drift in eccentric disks: possible outward migration

abstract: Radial drift of solid particles in the protoplanetary disk is often invoked as a threat to planet formation, as it removes solid material from the disk before it can be assembled into planets. However, it may also concentrate solids at particular locations in the disk, thus accelerating the coagulation process. Planetesimals are thought to drift much faster in an eccentric disk, due to their higher velocities with respect to the gas, but their drift rate has only been calculated using approximate means. In this work, we show that in some cases, previous estimates of the drift rate, based on a modification of the results for an axisymmetric disk, are highly inaccurate. In particular, we find that under some easily realized circumstances, planetesimals may drift outwards, rather than inwards. This results in the existence of radii in the disk that act as stable attractors of planetesimals. We show that this can lead to a local enhancement of more than an order of magnitude in the surface density of planetesimals, even when a wide dispersion of planetesimal size is considered.


title: Estimating Heterogeneous Treatment Effects with Item-Level Outcome Data: Insights from Item Response Theory

abstract: Analyses of heterogeneous treatment effects (HTE) are common in applied causal inference research. However, when outcomes are latent variables assessed via psychometric instruments such as educational tests, standard methods ignore the potential HTE that may exist among the individual items of the outcome measure. Failing to account for "item-level" HTE (IL-HTE) can lead to both estimated standard errors that are too small and identification challenges in the estimation of treatment-by-covariate interaction effects. We demonstrate how Item Response Theory (IRT) models that estimate a treatment effect for each assessment item can both address these challenges and provide new insights into HTE generally. This study articulates the theoretical rationale for the IL-HTE model and demonstrates its practical value using data from 20 randomized controlled trials containing 2.3 million item responses in economics, education, and health research. Our results show that the IL-HTE model reveals item-level variation masked by average treatment effects, provides more accurate statistical inference, allows for estimates of the generalizability of causal effects, resolves identification problems in the estimation of interaction effects, and provides estimates of standardized treatment effect sizes corrected for attenuation due to measurement error.


title: Real Stability and Log Concavity are coNP-Hard

abstract: Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.


title: Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver

abstract: DO-178C stands out as a guiding standard for aviation system development processes. This standard not only mandates ensuring the consistency of requirements in the software verification process but also recognizes it as a mandatory element. The main objective of this study is to introduce a method for analyzing and identifying inconsistencies between high-level requirements using information obtained from a data dictionary. This method aims to transform high-level requirements into logical expressions and then thoroughly examine them using a SAT Solver to detect inconsistencies. While methods focused on identifying inconsistencies among requirements often appear in the literature, this study presents a novel approach to detect contradictions between non-natural language, systematically structured, and language-independent requirements. The goal of this approach is to significantly reduce the review time of high-level requirements in the software verification process. Evaluations indicate that the use of this method results in substantial time savings in the inconsistency detection process.


title: Divergences in the effective loop interaction of the Chern-Simons bosons with leptons. The unitary gauge case

abstract: In this paper, we consider the extension of the Standard Model with Chern-Simons type interaction. There is a new vector massive boson (Chern-Simons bosons) in this extension. Using only three-particle dimension-4 interaction of the Chern-Simons bosons with vector bosons of the SM, we consider effective loop interaction of a new vector boson with leptons. We consider the renormalizability of this loop interaction and conclude that for the case of computation of loop diagrams in the unitary gauge, we can not get rid of the divergences in the effective interaction of the Chern-Simons bosons with leptons.


title: Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations

abstract: We study initial value problems having dynamics ruled by discontinuous ordinary differential equations with the property of possessing a unique solution. We identify a precise class of such systems that we call solvable intitial value problems and we prove that for this class of problems the unique solution can always be obtained analytically via transfinite recursion. We present several examples including a nontrivial one whose solution yields, at an integer time, a real encoding of the halting set for Turing machines; therefore showcasing that the behavior of solvable systems is related to ordinal Turing computations.


title: Discovering intrinsic multi-compartment pharmacometric models using Physics Informed Neural Networks

abstract: Pharmacometric models are pivotal across drug discovery and development, playing a decisive role in determining the progression of candidate molecules. However, the derivation of mathematical equations governing the system is a labor-intensive trial-and-error process, often constrained by tight timelines. In this study, we introduce PKINNs, a novel purely data-driven pharmacokinetic-informed neural network model. PKINNs efficiently discovers and models intrinsic multi-compartment-based pharmacometric structures, reliably forecasting their derivatives. The resulting models are both interpretable and explainable through Symbolic Regression methods. Our computational framework demonstrates the potential for closed-form model discovery in pharmacometric applications, addressing the labor-intensive nature of traditional model derivation. With the increasing availability of large datasets, this framework holds the potential to significantly enhance model-informed drug discovery.


title: A Simulation of the Dependence of Tidal Interaction on Galaxy Type in Compact Groups

abstract: We have investigated the role that different galaxy types have in galaxy-galaxy interactions in compact groups. N-body simulations of 6 galaxies consisting of a differing mixture of galaxy types were run to compare the relative importance of galaxy population demographic on evolution. Three different groups with differing galaxy content were tested: all spiral, a single elliptical and 50% elliptical. Tidal interaction strength and duration were recorded to assess the importance of an interaction. A group with an equal number of spiral and elliptical galaxies has some of the longest and strongest interactions with elliptical-elliptical interactions being most significant. These elliptical-elliptical interactions are not dominated by a single large event but consist of multiple interactions. Elliptical galaxies tidally interacting with spiral galaxies, have the next strongest interaction events. For the case when a group only has a single elliptical, the largest magnitude tidal interaction is an elliptical on a spiral. Spirals interact with each other through many small interactions. For a spiral only group, the interactions are the weakest compared to the other group types. These spiral interactions are not dominated by any singular event that might be expected to lead to a merger but are more of an ongoing harassment. These results suggest that within a compact group, early type galaxies will not form via merger out of an assemblage of spiral galaxies but rather that compact groups, in effect form around an early type galaxy.


title: Revisiting RGBT Tracking Benchmarks from the Perspective of Modality Validity: A New Benchmark, Problem, and Method

abstract: RGBT tracking draws increasing attention due to its robustness in multi-modality warranting (MMW) scenarios, such as nighttime and bad weather, where relying on a single sensing modality fails to ensure stable tracking results. However, the existing benchmarks predominantly consist of videos collected in common scenarios where both RGB and thermal infrared (TIR) information are of sufficient quality. This makes the data unrepresentative of severe imaging conditions, leading to tracking failures in MMW scenarios. To bridge this gap, we present a new benchmark, MV-RGBT, captured specifically in MMW scenarios. In contrast with the existing datasets, MV-RGBT comprises more object categories and scenes, providing a diverse and challenging benchmark. Furthermore, for severe imaging conditions of MMW scenarios, a new problem is posed, namely \textit{when to fuse}, to stimulate the development of fusion strategies for such data. We propose a new method based on a mixture of experts, namely MoETrack, as a baseline fusion strategy. In MoETrack, each expert generates independent tracking results along with the corresponding confidence score, which is used to control the fusion process. Extensive experimental results demonstrate the significant potential of MV-RGBT in advancing RGBT tracking and elicit the conclusion that fusion is not always beneficial, especially in MMW scenarios. Significantly, the proposed MoETrack method achieves new state-of-the-art results not only on MV-RGBT, but also on standard benchmarks, such as RGBT234, LasHeR, and the short-term split of VTUAV (VTUAV-ST). More information of MV-RGBT and the source code of MoETrack will be released at https://github.com/Zhangyong-Tang/MoETrack.


title: Planetary Nebula NGC 2818: Revealing its complex 3D morphology

abstract: We carry out an advanced morpho-kinematic analysis of the Planetary Nebula (PN) NGC 2818, whose complex morphology is described by a basic bipolar component, filamentary structures and a knotty central region. We performed an upgrated 3D Morpho-kinematic (MK) model by employing the SHAPE software, combining for the first time in PNe optical 2D spatially resolved echelle spectra and Fabry-Perot data cubes. The best-fitting 3D model of NGC 2818 successfully reconstructs the main morphology, considering one bipolar component, radial filamentary structures, and an equatorial component as the geometrical locus of the group of cometary knots. The model shows that the equatorial component has the lower expansion velocity of the system at 70 $\pm$ 20 km/s. The velocity of the bipolar component is 120 $\pm$ 20 km/s, while all the filamentary structures were found to expand at higher velocities of 180 $\pm$ 20 km/s. Moreover, Fabry-Perot data revealed for the first time a north-eastern filament expanding at a mean velocity of 80 $\pm$ 20 km/s, while its equivalent counterpart in the southwestern region was confirmed by a new detected substructure in the echelle data. A new detected knotty structure at velocity -40 $\pm$ 20 km/s is also reported, as expelled material from the fragmented eastern lobe of the nebula. We interpret the overall structure of NGC 2818 as the result of the evolution of a binary system that underwent the common envelope phase, in conjunction with the ejections of a magnetized jet, misaligned with respect to the symmetry axis of the bipolar/elliptical shell.


title: Self-force framework for transition-to-plunge waveforms

abstract: Compact binaries with asymmetric mass ratios are key expected sources for next-generation gravitational wave detectors. Gravitational self-force theory has been successful in producing post-adiabatic waveforms that describe the quasi-circular inspiral around a non-spinning black hole with sub-radian accuracy, in remarkable agreement with numerical relativity simulations. Current inspiral models, however, break down at the innermost stable circular orbit, missing part of the waveform as the secondary body transitions to a plunge into the black hole. In this work we derive the transition-to-plunge expansion within a multiscale framework and asymptotically match its early-time behaviour with the late inspiral. Our multiscale formulation facilitates rapid generation of waveforms: we build second post-leading transition-to-plunge waveforms, named 2PLT waveforms. Although our numerical results are limited to low perturbative orders, our framework contains the analytic tools for building higher-order waveforms consistent with post-adiabatic inspirals, once all the necessary numerical self-force data becomes available. We validate our framework by comparing against numerical relativity simulations, surrogate models and the effective one-body approach.


title: Additive actions on projective hypersurfaces with a finite number of orbits

abstract: An induced additive action on a projective variety $X \subseteq \mathbb{P}^n$ is a regular action of the group $\mathbb{G}_a^m$ on $X$ with an open orbit, which can be extended to a regular action on the ambient projective space $\mathbb{P}^n$. In this work, we classify all projective hypersurfaces admitting an induced additive action with a finite number of orbits.


title: Re-visiting Skip-Gram Negative Sampling: Dimension Regularization for More Efficient Dissimilarity Preservation in Graph Embeddings

abstract: A wide range of graph embedding objectives decompose into two components: one that attracts the embeddings of nodes that are perceived as similar, and another that repels embeddings of nodes that are perceived as dissimilar. Because real-world graphs are sparse and the number of dissimilar pairs grows quadratically with the number of nodes, Skip-Gram Negative Sampling (SGNS) has emerged as a popular and efficient repulsion approach. SGNS repels each node from a sample of dissimilar nodes, as opposed to all dissimilar nodes. In this work, we show that node-wise repulsion is, in aggregate, an approximate re-centering of the node embedding dimensions. Such dimension operations are much more scalable than node operations. The dimension approach, in addition to being more efficient, yields a simpler geometric interpretation of the repulsion. Our result extends findings from the self-supervised learning literature to the skip-gram model, establishing a connection between skip-gram node contrast and dimension regularization. We show that in the limit of large graphs, under mild regularity conditions, the original node repulsion objective converges to optimization with dimension regularization. We use this observation to propose an algorithm augmentation framework that speeds up any existing algorithm, supervised or unsupervised, using SGNS. The framework prioritizes node attraction and replaces SGNS with dimension regularization. We instantiate this generic framework for LINE and node2vec and show that the augmented algorithms preserve downstream performance while dramatically increasing efficiency.


title: Negative curvature in locally reducible Artin groups

abstract: In this paper, we define the 2-complete Artin complex and show that it is systolic for locally reducible Artin groups. The stabilizers of simplices in this complex are exactly the proper parabolic subgroups which are "2-complete." We use this systolicity to show that parabolic subgroups, with 2-completions that are not the whole Artin group, are weakly malnormal. This allows us to conclude that many locally reducible Artin groups are acylindrically hyperbolic.


title: Using sunRunner3D to interpret the global structure of the heliosphere from in situ measurements

abstract: Understanding the large-scale three-dimensional structure of the inner heliosphere, while important in its own right, is crucial for space weather applications, such as forecasting the time of arrival and propagation of coronal mass ejections (CMEs). This study uses sunRunner3D (3D), a 3-D magnetohydrodynamic (MHD) model, to simulate solar wind (SW) streams and generate background states. SR3D employs the boundary conditions generated by CORona-HELiosphere (CORHEL) and the PLUTO code to compute the plasma properties of the SW with the MHD approximation up to 1.1 AU in the inner heliosphere. We demonstrate that SR3D reproduces global features of Corotating Interaction Regions (CIRs) observed by Earth-based spacecraft (OMNI) and the Solar TErrestial RElations Observatory (STEREO)-A for a set of Carrington rotations (CRs) that cover a period that lays in the late declining phase of solar cycle 24. Additionally, we demonstrate that the model solutions are valid in the corotating and inertial frames of references. Moreover, a comparison between SR3D simulations and in-situ measurements shows reasonable agreement with the observations, and our results are comparable to those achieved by Predictive Science Inc.'s Magnetohydrodynamic Algorithm outside a Sphere (MAS) code. We have also undertaken a comparative analysis with the Space Weather Adaptive Simulation Framework for Solar Wind (SWASTi-SW), a PLUTO physics-based model, to evaluate the precision of various initial boundary conditions. Finally, we discuss the disparities in the solutions derived from inertial and rotating frames.


title: Towards a Search Engine for Machines: Unified Ranking for Multiple Retrieval-Augmented Large Language Models

abstract: This paper introduces uRAG--a framework with a unified retrieval engine that serves multiple downstream retrieval-augmented generation (RAG) systems. Each RAG system consumes the retrieval results for a unique purpose, such as open-domain question answering, fact verification, entity linking, and relation extraction. We introduce a generic training guideline that standardizes the communication between the search engine and the downstream RAG systems that engage in optimizing the retrieval model. This lays the groundwork for us to build a large-scale experimentation ecosystem consisting of 18 RAG systems that engage in training and 18 unknown RAG systems that use the uRAG as the new users of the search engine. Using this experimentation ecosystem, we answer a number of fundamental research questions that improve our understanding of promises and challenges in developing search engines for machines.


title: Rockafellian Relaxation for PDE-Constrained Optimization with Distributional Uncertainty

abstract: Stochastic optimization problems are generally known to be ill-conditioned to the form of the underlying uncertainty. A framework is introduced for optimal control problems with partial differential equations as constraints that is robust to inaccuracies in the precise form of the problem uncertainty. The framework is based on problem relaxation and involves optimizing a bivariate, "Rockafellian" objective functional that features both a standard control variable and an additional perturbation variable that handles the distributional ambiguity. In the presence of distributional corruption, the Rockafellian objective functionals are shown in the appropriate settings to $\Gamma$-converge to uncorrupted objective functionals in the limit of vanishing corruption. Numerical examples illustrate the framework's utility for outlier detection and removal and for variance reduction.


title: Galaxy-Absorber Association in the Epoch of Reionization: Galactic Population Luminosity Distribution for Different Absorbers at $10 \geq z \geq 5.5$

abstract: How do galaxies of different luminosities contribute to the metal absorber populations of varying species and strength? We present our analysis of the predicted metal contributions from galaxies as observed in quasar absorption line spectra during the end of the Epoch of Reionization (EoR; $10 \geq z \geq 5.5$). This was done by implementing on-the-fly particle tracking into the latest \textsc{Technicolor Dawn} simulation and then linking CII, CIV, SiII, SiIV, OI, and MgII absorbers to host galaxies in post-processing. We define the Host Galaxy Luminosity Distribution (HGLD) as the rest-frame ultraviolet luminosity distribution of galaxies contributing ions to an absorber, weighted by the fractional contribution, and compute its dependence on ion and absorber strength. The HGLD shape is predicted to be indistinguishable from the field luminosity function, indicating that there is no relationship between the absorber strength or ion and the luminosity of the dominant contributing galaxy. Switching from galaxy luminosity to stellar mass, the predicted host galaxy mass distributions (HGMD) indicate that more-massive galaxies contribute a higher fraction of metal ions to absorbers of each species, with the HGMD of stronger absorbers extending out to higher masses. We conclude that the fraction of absorbing metal ions contributed by galaxies increases weakly with stellar mass, but the scatter in luminosity at fixed stellar mass obscures this relationship. For the same reason, we predict that observational analyses of the absorber-galaxy relationship will uncover stronger trends with stellar mass than with luminosity.


title: Quantum entanglement in mixed-spin trimer: Effects of a magnetic field and heterogeneous g-factors

abstract: Mixed spin-(1/2,1/2,1) trimer with two different Land\'{e} g-factors and two different exchange couplings is considered. The main feature of the model is non-conserving magnetization. The Hamiltonian of the system is diagonalized analytically. We presented a detailed analysis of the ground state properties, revealing several possible ground state phase diagrams and magnetization profiles. The main focus is on how non-conserving magnetization affects quantum entanglement. We have found that non-conserving magnetization can bring to the continuous dependence of the entanglement quantifying parameter (negativity) on magnetic field within the same eigenstate, while for the case of uniform $g$-factors it is a constant. The main result is an essential enhancement of the entanglement in case of uniform couplings for one pair of spins caused by an arbitrary small difference in the values of $g$-factors. This enhancement is robust and brings to almost 7-fold increasing of the negativity. We have also found weakening of entanglement for other cases. Thus, non-conserving magnetization offers a broad opportunity to manipulate the entanglement by means of magnetic field.


title: A Bayesian joint longitudinal-survival model with a latent stochastic process for intensive longitudinal data

abstract: The availability of mobile health (mHealth) technology has enabled increased collection of intensive longitudinal data (ILD). ILD have potential to capture rapid fluctuations in outcomes that may be associated with changes in the risk of an event. However, existing methods for jointly modeling longitudinal and event-time outcomes are not well-equipped to handle ILD due to the high computational cost. We propose a joint longitudinal and time-to-event model suitable for analyzing ILD. In this model, we summarize a multivariate longitudinal outcome as a smaller number of time-varying latent factors. These latent factors, which are modeled using an Ornstein-Uhlenbeck stochastic process, capture the risk of a time-to-event outcome in a parametric hazard model. We take a Bayesian approach to fit our joint model and conduct simulations to assess its performance. We use it to analyze data from an mHealth study of smoking cessation. We summarize the longitudinal self-reported intensity of nine emotions as the psychological states of positive and negative affect. These time-varying latent states capture the risk of the first smoking lapse after attempted quit. Understanding factors associated with smoking lapse is of keen interest to smoking cessation researchers.


title: Heart Rate and Body Temperature Relationship in Children Admitted to PICU -- A Machine Learning Approach

abstract: Vital signs have been essential clinical measures. Among these, body temperature (BT) and heart rate (HR) are particularly significant, and numerous studies explored their association in hospitalized adults and children. However, a lack of in-depth research persists in children admitted to the pediatric intensive care unit (PICU) despite their critical condition requiring particular attention. Objective: In this study, we explore the relationship between HR and BT in children from 0 to 18 years old admitted to the PICU of CHU Sainte-Justine Hospital. Methods: We applied Machine learning (ML) techniques to unravel subtle patterns and dependencies within our dataset to achieve this objective. Each algorithm undergoes meticulous hyperparameter tuning to optimize the model performance. Results: Our findings align with prior research, revealing a consistent trend of decreasing HR with increasing patient age, confirming the observed inverse correlation. Furthermore, a thorough analysis identifies Gradient Boosting Machines (GBM) implemented with Quantile regression (QR), as the most fitting model, effectively capturing the non-linear relationship between HR, BT, and age. Through testing the HR prediction model based on age and BT, the predictive model between the 5th and 95th percentiles accurately demonstrates the declining trend of HR with age, while HR increase with BT. Based on that, we have developed a user-friendly interface tailored to generate HR predictions at different percentiles based on three key input parameters : current HR, current BT, and patient's age. The resulting output enables caregivers to quickly determine whether a patient's HR falls within or outside the normal range, facilitating informed clinical decision-making. Thus, our results challenge previous studies' presumed direct linear association between HR and BT.


title: Uncovering What, Why and How: A Comprehensive Benchmark for Causation Understanding of Video Anomaly

abstract: Video anomaly understanding (VAU) aims to automatically comprehend unusual occurrences in videos, thereby enabling various applications such as traffic surveillance and industrial manufacturing. While existing VAU benchmarks primarily concentrate on anomaly detection and localization, our focus is on more practicality, prompting us to raise the following crucial questions: "what anomaly occurred?", "why did it happen?", and "how severe is this abnormal event?". In pursuit of these answers, we present a comprehensive benchmark for Causation Understanding of Video Anomaly (CUVA). Specifically, each instance of the proposed benchmark involves three sets of human annotations to indicate the "what", "why" and "how" of an anomaly, including 1) anomaly type, start and end times, and event descriptions, 2) natural language explanations for the cause of an anomaly, and 3) free text reflecting the effect of the abnormality. In addition, we also introduce MMEval, a novel evaluation metric designed to better align with human preferences for CUVA, facilitating the measurement of existing LLMs in comprehending the underlying cause and corresponding effect of video anomalies. Finally, we propose a novel prompt-based method that can serve as a baseline approach for the challenging CUVA. We conduct extensive experiments to show the superiority of our evaluation metric and the prompt-based approach. Our code and dataset are available at https://github.com/fesvhtr/CUVA.


title: M-DEW: Extending Dynamic Ensemble Weighting to Handle Missing Values

abstract: Missing value imputation is a crucial preprocessing step for many machine learning problems. However, it is often considered as a separate subtask from downstream applications such as classification, regression, or clustering, and thus is not optimized together with them. We hypothesize that treating the imputation model and downstream task model together and optimizing over full pipelines will yield better results than treating them separately. Our work describes a novel AutoML technique for making downstream predictions with missing data that automatically handles preprocessing, model weighting, and selection during inference time, with minimal compute overhead. Specifically we develop M-DEW, a Dynamic missingness-aware Ensemble Weighting (DEW) approach, that constructs a set of two-stage imputation-prediction pipelines, trains each component separately, and dynamically calculates a set of pipeline weights for each sample during inference time. We thus extend previous work on dynamic ensemble weighting to handle missing data at the level of full imputation-prediction pipelines, improving performance and calibration on downstream machine learning tasks over standard model averaging techniques. M-DEW is shown to outperform the state-of-the-art in that it produces statistically significant reductions in model perplexity in 17 out of 18 experiments, while improving average precision in 13 out of 18 experiments.


title: Capabilities

abstract: In our daily lives, as in science and in all other domains, we encounter huge numbers of dispositions (tendencies, potentials, powers) which are realized in processes such as sneezing, sweating, shedding dandruff, and on and on. Among this plethora of what we can think of as mere dispositions is a subset of dispositions in whose realizations we have an interest a car responding well when driven on ice, a rabbits lungs responding well when it is chased by a wolf, and so on. We call the latter capabilities and we attempt to provide a robust ontological account of what capabilities are that is of sufficient generality to serve a variety of purposes, for example by providing a useful extension to ontology-based research in areas where capabilities data are currently being collected in siloed fashion.


title: Semi-Supervised Hierarchical Multi-Label Classifier Based on Local Information

abstract: Scarcity of labeled data is a common problem in supervised classification, since hand-labeling can be time consuming, expensive or hard to label; on the other hand, large amounts of unlabeled information can be found. The problem of scarcity of labeled data is even more notorious in hierarchical classification, because the data of a node is split among its children, which results in few instances associated to the deepest nodes of the hierarchy. In this work it is proposed the semi-supervised hierarchical multi-label classifier based on local information (SSHMC-BLI) which can be trained with labeled and unlabeled data to perform hierarchical classification tasks. The method can be applied to any type of hierarchical problem, here we focus on the most difficult case: hierarchies of DAG type, where the instances can be associated to multiple paths of labels which can finish in an internal node. SSHMC-BLI builds pseudo-labels for each unlabeled instance from the paths of labels of its labeled neighbors, while it considers whether the unlabeled instance is similar to its neighbors. Experiments on 12 challenging datasets from functional genomics show that making use of unlabeled along with labeled data can help to improve the performance of a supervised hierarchical classifier trained only on labeled data, even with statistical significance.


title: Finite-sample adjustments for comparing clustered adaptive interventions using data from a clustered SMART

abstract: Adaptive interventions, aka dynamic treatment regimens, are sequences of pre-specified decision rules that guide the provision of treatment for an individual given information about their baseline and evolving needs, including in response to prior intervention. Clustered adaptive interventions (cAIs) extend this idea by guiding the provision of intervention at the level of clusters (e.g., clinics), but with the goal of improving outcomes at the level of individuals within the cluster (e.g., clinicians or patients within clinics). A clustered, sequential multiple-assignment randomized trials (cSMARTs) is a multistage, multilevel randomized trial design used to construct high-quality cAIs. In a cSMART, clusters are randomized at multiple intervention decision points; at each decision point, the randomization probability can depend on response to prior data. A challenge in cluster-randomized trials, including cSMARTs, is the deleterious effect of small samples of clusters on statistical inference, particularly via estimation of standard errors. \par This manuscript develops finite-sample adjustment (FSA) methods for making improved statistical inference about the causal effects of cAIs in a cSMART. The paper develops FSA methods that (i) scale variance estimators using a degree-of-freedom adjustment, (ii) reference a t distribution (instead of a normal), and (iii) employ a ``bias corrected" variance estimator. Method (iii) requires extensions that are unique to the analysis of cSMARTs. Extensive simulation experiments are used to test the performance of the methods. The methods are illustrated using the Adaptive School-based Implementation of CBT (ASIC) study, a cSMART designed to construct a cAI for improving the delivery of cognitive behavioral therapy (CBT) by school mental health professionals within high schools in Michigan.


title: Credentials in the Occupation Ontology

abstract: The term credential encompasses educational certificates, degrees, certifications, and government-issued licenses. An occupational credential is a verification of an individuals qualification or competence issued by a third party with relevant authority. Job seekers often leverage such credentials as evidence that desired qualifications are satisfied by their holders. Many U.S. education and workforce development organizations have recognized the importance of credentials for employment and the challenges of understanding the value of credentials. In this study, we identified and ontologically defined credential and credential-related terms at the textual and semantic levels based on the Occupation Ontology (OccO), a BFO-based ontology. Different credential types and their authorization logic are modeled. We additionally defined a high-level hierarchy of credential related terms and relations among many terms, which were initiated in concert with the Alabama Talent Triad (ATT) program, which aims to connect learners, earners, employers and education/training providers through credentials and skills. To our knowledge, our research provides for the first time systematic ontological modeling of the important domain of credentials and related contents, supporting enhanced credential data and knowledge integration in the future.


title: Towards End-to-End Semi-Supervised Table Detection with Semantic Aligned Matching Transformer

abstract: Table detection within document images is a crucial task in document processing, involving the identification and localization of tables. Recent strides in deep learning have substantially improved the accuracy of this task, but it still heavily relies on large labeled datasets for effective training. Several semi-supervised approaches have emerged to overcome this challenge, often employing CNN-based detectors with anchor proposals and post-processing techniques like non-maximal suppression (NMS). However, recent advancements in the field have shifted the focus towards transformer-based techniques, eliminating the need for NMS and emphasizing object queries and attention mechanisms. Previous research has focused on two key areas to improve transformer-based detectors: refining the quality of object queries and optimizing attention mechanisms. However, increasing object queries can introduce redundancy, while adjustments to the attention mechanism can increase complexity. To address these challenges, we introduce a semi-supervised approach employing SAM-DETR, a novel approach for precise alignment between object queries and target features. Our approach demonstrates remarkable reductions in false positives and substantial enhancements in table detection performance, particularly in complex documents characterized by diverse table structures. This work provides more efficient and accurate table detection in semi-supervised settings.


title: A Revisit of the Optimal Excess-of-Loss Contract

abstract: It is well-known that Excess-of-Loss reinsurance has more marketability than Stop-Loss reinsurance, though Stop-Loss reinsurance is the most prominent setting discussed in the optimal (re)insurance design literature. We point out that optimal reinsurance policy under Stop-Loss leads to a zero insolvency probability, which motivates our paper. We provide a remedy to this peculiar property of the optimal Stop-Loss reinsurance contract by investigating the optimal Excess-of-Loss reinsurance contract instead. We also provide estimators for the optimal Excess-of-Loss and Stop-Loss contracts and investigate their statistical properties under many premium principle assumptions and various risk preferences, which according to our knowledge, have never been investigated in the literature. Simulated data and real-life data are used to illustrate our main theoretical findings.


title: Comparing Motion Distortion Between Vehicle Field Deployments

abstract: Recent advances in autonomous driving for uncrewed ground vehicles (UGVs) have spurred significant development, particularly in challenging terrains. This paper introduces a classification system assessing various UGV deployments reported in the literature. Our approach considers motion distortion features that include internal UGV features, such as mass and speed, and external features, such as terrain complexity, which all influence the efficiency of models and navigation systems. We present results that map UGV deployments relative to vehicle kinetic energy and terrain complexity, providing insights into the level of complexity and risk associated with different operational environments. Additionally, we propose a motion distortion metric to assess UGV navigation performance that does not require an explicit quantification of motion distortion features. Using this metric, we conduct a case study to illustrate the impact of motion distortion features on modeling accuracy. This research advocates for creating a comprehensive database containing many different motion distortion features, which would contribute to advancing the understanding of autonomous driving capabilities in rough conditions and provide a validation framework for future developments in UGV navigation systems.


title: Distribution of lowest eigenvalue in $k$-body bosonic random matrix ensembles

abstract: We numerically study the distribution of the lowest eigenvalue of finite many-boson systems with $k$-body interactions modeled by Bosonic Embedded Gaussian Orthogonal [BEGOE($k$)] and Unitary [BEGUE($k$)] random matrix Ensembles. Following the recently established result that the $q$-normal describes the smooth form of the eigenvalue density of the $k$-body embedded ensembles, the first four moments of the distribution of lowest eigenvalues have been analyzed as a function of the $q$ parameter, with $q \sim 1$ for $k = 1$ and $q = 0$ for $k = m$; $m$ being the number of bosons. Our results show the distribution exhibits a smooth transition from Gaussian like for $q$ close to 1 to a modified Gumbel like for intermediate values of $q$ to the well-known Tracy-Widom distribution for $q=0$.


title: Resource-compact time-optimal quantum computation

abstract: Fault-tolerant quantum computation enables reliable quantum computation but incurs a significant overhead from both time and resource perspectives. To reduce computation time, Austin G. Fowler proposed time-optimal quantum computation by constructing a quantum circuit for a fault-tolerant $T$ gate without probabilistic $S$ gate correction. In this work, we introduce a resource-compact quantum circuit that significantly reduces resource requirements by more than 60% for a fault-tolerant $T$ gate without probabilistic $S$ gate correction. Consequently, we present a quantum circuit that minimizes resource utilization for time-optimal quantum computation, demonstrating efficient time-optimal quantum computation. Additionally, we describe an efficient form involving initialization, CNOTs, and measurements, laying the foundation for the development of an efficient compiler for fault-tolerant quantum computation.


title: A momentum-space theory for topological magnons in 2D ferromagnetic skyrmion lattices

abstract: Magnon dynamics in skyrmion lattices have garnered significant interest due to their potential applications in topological magnonics. Existing theories often follow a single-momentum approach, assuming significant Dzyaloshinskii-Moriya Interaction (DMI) to minimize the skyrmion's dimensions, which can lead to oversimplification in describing magnon behavior. This study introduces a multi-momentum operator theory for magnons in large 2D skyrmions, where each skyrmion encompasses several thousand spins. The proposed theory fully transforms the magnon Hamiltonian into momentum space, incorporating off-diagonal terms to capture umklapp scattering caused by the skyrmion wave vectors. Our results reveal deviations from single-momentum theories, demonstrating that flat bands are not universal features of the skyrmionic magnon spectrum. Additionally, we find that manipulating the skyrmion size with an external magnetic field induces multiple topological phase transitions. At high magnetic fields, the low-energy magnon spectrum becomes densely packed and entirely topological, resembling a topological band continuum.