title: Depth-Resolved Characterization of Centrifugal Disk Finishing of Additively Manufactured Inconel 718

abstract: Surface characteristics are a major contributor to the in-service performance, particularly fatigue life, of additively manufactured (AM) components. Centrifugal disk finishing (CDF) is one of many rigid media, abrasive machining processes employed to smooth the surfaces and edges of AM components. Within the general family of abrasive machining processes currently applied to AM, CDF is moderate in terms of material removal rate and the inertial forces exerted. How CDF alters the underlying microstructure of the processed surface is currently unknown. Here we employ white light profilometry and high-energy X-ray diffraction to characterize surface finish, crystallographic texture, and anisotropic distributions of residual microscale strain as a function of depth in CDF-finished Inconel 718 manufactured with laser powder bed fusion. Surfaces are finished using both unimodal and bimodal finishing media size distributions. We find that CDF will remove surface crystallographic textures (here a {111} fiber texture) from AM components, but generally not alter the bulk texture (here a cube texture). CDF is also found to impart significant amounts of residual microscale strain into the first 100 $\mu$m from the sample surface as evidenced by an approximately 50% increase in diffraction peak widths at 20 $\mu$m from the surface in comparison to 120 $\mu$m.


title: Nonlinear microrheology with time-dependent forces -- Application to recoils in viscoelastic fluids

abstract: This work presents a theoretical analysis of the motion of a tracer colloid driven by a time-dependent force through a viscoelastic fluid. The recoil of the colloid after application of a strong force is determined. It provides insights into the elastic forces stored locally in the fluid and their weakening by plastic processes. We generalize the mode coupling theory of microrheology to include time-dependent forces. After deriving the equations of motion for the tracer correlator and simplifying to a schematic model we apply the theory to a switch-off force protocol that features the recoiling of the tracer after cessation of the driving. We also include Langevin dynamics simulations to compare to the results of the theory. A non-monotonic trend of the recoil amplitude is found in the theory and confirmed in the simulations. The linear-response approximation is also verified in the small-force regime. While the overall agreement between simulation and theory is good, simulation shows that the theory predicts a too strong non-monotonous dependence of the recoil distance on the applied force.


title: On the Pair-Instability Supernova origin of J1010+2358

abstract: The first (Pop III) stars formed only out of H and He and were likely more massive than present-day stars. Massive Pop III stars in the range 140-260 M$_\odot$ are predicted to end their lives as pair-instability supernovae (PISNe), enriching the environment with a unique abundance pattern, with high ratios of odd to even elements. Recently, the most promising candidate for a pure descendant of a zero-metallicity massive PISN (260 M$_{\odot}$) was discovered by the LAMOST survey, the star J1010+2358. However, the key elements to verify the high PISN contribution, C and Al, were missing from the analysis. To rectify this, we obtained and analyzed a high-resolution VLT/UVES spectrum, correcting for 3D and/or non-LTE effects. Our measurements of both C and Al give much higher values (~1 dex) than expected from a 260 M$_{\odot}$ PISN. Furthermore, we find significant discrepancies with the previous analysis, and therefore a much less pronounced odd-even pattern. Thus, we show that J1010+2358 cannot be a pure descendant of a 260 M$_{\odot}$ PISN. Instead, we find that the best fit model consists of a 13 M$_{\odot}$ Pop II core-collapse supernova combined with a Pop III supernova. Alternative, less favoured solutions $(\chi^2/\chi^2_{\rm best}\approx2.3)$ include a 50% contribution from a 260 M$_{\odot}$ PISN, or a 40% contribution from a Pop III type Ia supernova. Ultimately, J1010+2358 is certainly a unique star giving insights into the earliest chemical enrichment, however, this star is not a pure PISN descendant.


title: Deep Reinforcement Learning for Advanced Longitudinal Control and Collision Avoidance in High-Risk Driving Scenarios

abstract: Existing Advanced Driver Assistance Systems primarily focus on the vehicle directly ahead, often overlooking potential risks from following vehicles. This oversight can lead to ineffective handling of high risk situations, such as high speed, closely spaced, multi vehicle scenarios where emergency braking by one vehicle might trigger a pile up collision. To overcome these limitations, this study introduces a novel deep reinforcement learning based algorithm for longitudinal control and collision avoidance. This proposed algorithm effectively considers the behavior of both leading and following vehicles. Its implementation in simulated high risk scenarios, which involve emergency braking in dense traffic where traditional systems typically fail, has demonstrated the algorithm ability to prevent potential pile up collisions, including those involving heavy duty vehicles.


title: New look at Milnor Spheres

abstract: S. Donaldson disproved the smooth $\mathrm{h}$-cobordism conjecture in dimension $4$ by studying invariants coming from the moduli space of connections on $\mathrm{SO}(3)$-bundles over smooth $4$-dimension manifolds $X$. In this paper, we reverse his point of view in dimension $8$. Namely, we consider fibrations coming from diffeomorphisms classes of homotopy Hopf manifolds $\Sigma^7\times\mathrm{S}^1$, i.e., $\Sigma^7$ is a homotopy sphere, seeing the bases as moduli spaces for additional structures. Our overarching objective is to establish a correspondence between the smooth invariants of Kervaire--Milnor and categorical invariants. One interprets pairwise non-diffeomorphic smooth structures on $\Sigma^7\times\mathrm{S}^1$ in terms of non-rationality. This paper's contributions are diverse, each carrying its significance. We believe profound connections exist between the themes addressed, which connect hypersurface singularity theory, Homological Mirror Symmetry, Topological Modular forms ($\mathrm{tmf}$), and Spherical T-duality.


title: Electronic correlations, layer distinction, and electron doping in the alternating single-layer trilayer La$_{3}$Ni$_{2}$O$_{7}$ polymorph

abstract: We employ a density-functional theory plus dynamical mean-field theory framework to investigate the correlated electronic structure of the alternating single-layer trilayer (1313) polymorph of La$_3$Ni$_2$O$_7$ under pressure. At ambient pressure, the single-layer is in a Mott insulating regime and the low-energy physics is dominated by the trilayer block. Under pressure, the gap in the single-layer block closes due to orbital-selective physics, enabling charge transfer into the trilayer block. This change in effective doping of the trilayer block is likely linked to the higher T$_c$ obtained in La$_3$Ni$_2$O$_7$-1313 ($\sim$ 80 K) when compared to the nominal trilayer La$_4$Ni$_3$O$_{10}$ ($\sim$ 30 K). We conclude that correlation-driven layer differentiation is crucial in the La$_3$Ni$_2$O$_7$-1313 polymorph and that its low-energy physics aligns closely with the trilayer La$_4$Ni$_3$O$_{10}$ compound (in spite of the apparent differences in nominal filling) rather than with the conventional bilayer La$_3$Ni$_2$O$_7$.


title: Transmit Power Optimization for Integrated Sensing and Backscatter Communication

abstract: Ambient Internet of Things networks use low-cost, low-power backscatter tags in various industry applications. By exploiting those tags, we introduce the integrated sensing and backscatter communication (ISABC) system, featuring multiple backscatter tags, a user (reader), and a full-duplex base station (BS) that integrates sensing and (backscatter) communications. The BS undertakes dual roles of detecting backscatter tags and communicating with the user, leveraging the same temporal and frequency resources. The tag-reflected BS signals offer data to the user and enable the BS to sense the environment simultaneously. We derive both user and tag communication rates and the sensing rate of the BS. We jointly optimize the transmit/received beamformers and tag reflection coefficients to minimize the total BS power. To solve this problem, we employ the alternating optimization technique. We offer a closed-form solution for the received beamformers while utilizing semi-definite relaxation and slack-optimization for transmit beamformers and power reflection coefficients, respectively. For example, with ten transmit/reception antennas at the BS, ISABC delivers a 75% sum communication and sensing rates gain over a traditional backscatter while requiring a 3.4% increase in transmit power. Furthermore, ISABC with active tags only requires a 0.24% increase in transmit power over conventional integrated sensing and communication.


title: On the Schwartz estimate for Hodge Laplacians on semisimple Lie groups

abstract: In this paper, we prove Schwartz estimates for Hodge Laplacian and Dirac operators on semisimple Lie groups. Alongside, we gives a version of Kuga lemma for its Lie algebra cohomology. This is a generalization of similar results on symmetric spaces. The main purpose of such estimates is to study the heat problem not only in the scalar case, but also for sections of vector bundles on homogeneous spaces using Fourier analysis.


title: On the small scale nonlinear theory of operator spaces

abstract: We initiate the study of the small scale geometry of operator spaces. The authors have previously shown that a map between operator spaces which is completely coarse (that is, the sequence of its amplifications is equi-coarse) must be $\mathbb R$-linear. We obtain a generalization of the aforementioned result to completely coarse maps defined on the unit ball of an operator space. By relaxing the condition to a small scale one, we prove that there are many non-linear examples of maps which are completely Lipshitz in small scale. We define a geometric parameter for homogeneous Hilbertian operator spaces which imposes restrictions on the existence of such maps.


title: Large Language Models as Conversational Movie Recommenders: A User Study

abstract: This paper explores the effectiveness of using large language models (LLMs) for personalized movie recommendations from users' perspectives in an online field experiment. Our study involves a combination of between-subject prompt and historic consumption assessments, along with within-subject recommendation scenario evaluations. By examining conversation and survey response data from 160 active users, we find that LLMs offer strong recommendation explainability but lack overall personalization, diversity, and user trust. Our results also indicate that different personalized prompting techniques do not significantly affect user-perceived recommendation quality, but the number of movies a user has watched plays a more significant role. Furthermore, LLMs show a greater ability to recommend lesser-known or niche movies. Through qualitative analysis, we identify key conversational patterns linked to positive and negative user interaction experiences and conclude that providing personal context and examples is crucial for obtaining high-quality recommendations from LLMs.


title: In-Context Symbolic Regression: Leveraging Language Models for Function Discovery

abstract: Symbolic Regression (SR) is a task which aims to extract the mathematical expression underlying a set of empirical observations. Transformer-based methods trained on SR datasets detain the current state-of-the-art in this task, while the application of Large Language Models (LLMs) to SR remains unexplored. This work investigates the integration of pre-trained LLMs into the SR pipeline, utilizing an approach that iteratively refines a functional form based on the prediction error it achieves on the observation set, until it reaches convergence. Our method leverages LLMs to propose an initial set of possible functions based on the observations, exploiting their strong pre-training prior. These functions are then iteratively refined by the model itself and by an external optimizer for their coefficients. The process is repeated until the results are satisfactory. We then analyze Vision-Language Models in this context, exploring the inclusion of plots as visual inputs to aid the optimization process. Our findings reveal that LLMs are able to successfully recover good symbolic equations that fit the given data, outperforming SR baselines based on Genetic Programming, with the addition of images in the input showing promising results for the most complex benchmarks.


title: Catalyzing Social Interactions in Mixed Reality using ML Recommendation Systems

abstract: We create an innovative mixed reality-first social recommendation model, utilizing features uniquely collected through mixed reality (MR) systems to promote social interaction, such as gaze recognition, proximity, noise level, congestion level, and conversational intensity. We further extend these models to include right-time features to deliver timely notifications. We measure performance metrics across various models by creating a new intersection of user features, MR features, and right-time features. We create four model types trained on different combinations of the feature classes, where we compare the baseline model trained on the class of user features against the models trained on MR features, right-time features, and a combination of all of the feature classes. Due to limitations in data collection and cost, we observe performance degradation in the right-time, mixed reality, and combination models. Despite these challenges, we introduce optimizations to improve accuracy across all models by over 14 percentage points, where the best performing model achieved 24% greater accuracy.


title: Data-Driven Min-Max MPC for Linear Systems: Robustness and Adaptation

abstract: Data-driven controllers design is an important research problem, in particular when data is corrupted by the noise. In this paper, we propose a data-driven min-max model predictive control (MPC) scheme using noisy input-state data for unknown linear time-invariant (LTI) system. The unknown system matrices are characterized by a set-membership representation using the noisy input-state data. Leveraging this representation, we derive an upper bound on the worst-case cost and determine the corresponding optimal state-feedback control law through a semidefinite program (SDP). We prove that the resulting closed-loop system is robustly stabilized and satisfies the input and state constraints. Further, we propose an adaptive data-driven min-max MPC scheme which exploits additional online input-state data to improve closed-loop performance. Numerical examples show the effectiveness of the proposed methods.


title: Exploring the Capability of LLMs in Performing Low-Level Visual Analytic Tasks on SVG Data Visualizations

abstract: Data visualizations help extract insights from datasets, but reaching these insights requires decomposing high level goals into low-level analytic tasks that can be complex due to varying degrees of data literacy and visualization experience. Recent advancements in large language models (LLMs) have shown promise for lowering barriers for users to achieve tasks such as writing code and may likewise facilitate visualization insight. Scalable Vector Graphics (SVG), a text-based image format common in data visualizations, matches well with the text sequence processing of transformer-based LLMs. In this paper, we explore the capability of LLMs to perform 10 low-level visual analytic tasks defined by Amar, Eagan, and Stasko directly on SVG-based visualizations. Using zero-shot prompts, we instruct the models to provide responses or modify the SVG code based on given visualizations. Our findings demonstrate that LLMs can effectively modify existing SVG visualizations for some tasks like Cluster but perform poorly on tasks requiring mathematical operations like Compute Derived Value. We also discovered that LLM performance can vary based on factors such as the number of data points, the presence of value labels, and the chart type. Our findings contribute to gauging the general capabilities of LLMs and highlight the need for further exploration and development to fully harness their potential in supporting visual analytic tasks.


title: Investigation of ideal shear strength of dilute binary and ternary Ni-based alloys using first-principles calculations, CALPHAD modeling and correlation analysis

abstract: In the present work, the ideal shear strength (Tis) of dilute Ni34XZ ternary alloys (X or Z = Al, Co, Cr, Fe, Mn, Mo, Nb, Si, Ti) are predicted by first-principles calculations based on density functional theory (DFT) in terms of pure alias shear deformations. The results show that within the concentration up to 8.3% of the alloying elements, Tis increases with composition in binary systems with Mn, Fe, Co in ascending order, and decreases with composition with Nb, Si, Mo, Ti, Al, Cr in descending order. Combined with Ni34XZ in the present work and Ni11X in the literature from DFT-based calculations, the composition dependence of Tis in binary and ternary systems is modeled using the CALculation of PHAse Diagrams (CALPHAD) approach considering lattice instability, indicating that atomic bonding strength significantly influences Tis. Furthermore, correlational analyses show that Burgers vector and elastic constant C11 affect Tis the most out of the elemental features.


title: Non-explosion solutions for a class of stochastic physical diffusion oscillators

abstract: In this work, we are interested in problems that are related to the physical phenomena of diffusion. We will focus on the theoretical aspect of the study, such as existence, uniqueness and non-explosive solutions. We will weaken the conditions imposed on the coefficients of the stochastic differential equations (SDE) that model some diffusion phenomena of mechanics. The work will be based on a general non-explosion criterion and we will obtain sufficient conditions so that the solution for a certain class of diffusions does not explode. We will construct Lyapunov functions that ensure the non-explosion of the solutions. Two important oscillators, namely the Duffing and the Van Der Pol oscillators, belong to this class. The Euler-Maruyama method is applied to these two oscillators to give us a simulation solution for them.


title: Predicting Fairness of ML Software Configuration

abstract: This paper investigates the relationships between hyperparameters of machine learning and fairness. Data-driven solutions are increasingly used in critical socio-technical applications where ensuring fairness is important. Rather than explicitly encoding decision logic via control and data structures, the ML developers provide input data, perform some pre-processing, choose ML algorithms, and tune hyperparameters (HPs) to infer a program that encodes the decision logic. Prior works report that the selection of HPs can significantly influence fairness. However, tuning HPs to find an ideal trade-off between accuracy, precision, and fairness has remained an expensive and tedious task. Can we predict fairness of HP configuration for a given dataset? Are the predictions robust to distribution shifts? We focus on group fairness notions and investigate the HP space of 5 training algorithms. We first find that tree regressors and XGBoots significantly outperformed deep neural networks and support vector machines in accurately predicting the fairness of HPs. When predicting the fairness of ML hyperparameters under temporal distribution shift, the tree regressors outperforms the other algorithms with reasonable accuracy. However, the precision depends on the ML training algorithm, dataset, and protected attributes. For example, the tree regressor model was robust for training data shift from 2014 to 2018 on logistic regression and discriminant analysis HPs with sex as the protected attribute; but not for race and other training algorithms. Our method provides a sound framework to efficiently perform fine-tuning of ML training algorithms and understand the relationships between HPs and fairness.


title: Neutral hydrogen filaments in interstellar media: Are they physical?

abstract: The trending term "filament" is extensively used in the interstellar medium (ISM) and the star formation community, and is believed to be one of the most important objects that gauge molecular cloud and star formation. However, the physical definition of these ubiquitous, elongated, high contrast features is poorly defined and still actively debated. Despite the absence of a unified consensus, filaments are believed to be involved in many important physical processes from galaxy structure formation to the emergence of protostellar objects. Therefore, understanding how filaments form, what constrains their growth, and their general physical properties, are extremely important for theorists and observers who study the dynamics of the ISM and consequent star formations. This review serves as a collection of the community's views and develops the concept of "filaments" in the context of the ISM and star-forming clouds. Observationally, filaments are seen across the entire sky and often carry an aspect ratio of the order of hundreds. In the context of the ISM, filaments are believed to form by stretching and tearing from magnetized ISM turbulence. ISM filaments are subjected to heating and cooling phases, and are likely to be magnetically aligned. Cold clouds are formed inside ISM due to turbulence instability. This review updates the understanding of ISM filaments in the community.


title: Modelling the Track of the GD-1 Stellar Stream Inside a Host with a Fermionic Dark Matter Core-Halo Distribution

abstract: Traditional studies on stellar streams typically involve phenomenological $\Lambda$CDM halos or ad hoc dark matter (DM) profiles with different degrees of triaxiality, which preclude to gain insights into the nature and mass of the DM particles. Recently, a Maximum Entropy Principle of halo formation has been applied to provide a DM halo model which incorporates the fermionic (quantum) nature of the particles, while leading to DM profiles which depend on the fermion mass. Such profiles develop a more general dense core - diluted halo morphology able to explain the Galactic rotation curve, while the degenerate fermion core can mimic the central massive black hole (BH). We attempt to model the GD-1 stellar stream using a spherical core-halo DM distribution for the host, which, at the same time, explains the dynamics of the S-cluster stars through its degenerate fermion-core with no central BH. We used two optimization algorithms in order to fit both the initial conditions of the stream orbit and the fermionic model. The stream observables are 5D phase-space data from the Gaia DR2 survey. We were able to find good fits for both the GD-1 stream and the S-stars for a family of fermionic core-halo profiles parameterized by the fermion mass. This work provides evidence that the fermionic profile is a reliable model for both the massive central object and the DM of the Galaxy. Remarkably, this model predicts a total MW mass of $2.3\times 10^{11}M_{\odot}$ which is in agreement with recent mass estimates obtained from Gaia DR3 rotation curves (Gaia RC). In summary, with one single fermionic model for the DM distribution of the MW, we obtain a good fit in three totally different distance scales of the Galaxy: $\sim 10^{-6}$ kpc (central, S-stars), $\sim14$ kpc (mid, GD-1) and $\sim 30$ kpc (boundary, Gaia RC mass estimate).


title: Tayler Instability Revisited

abstract: Tayler instability of toroidal magnetic fields $B_\phi$ is broadly invoked as a trigger for turbulence and angular momentum transport in stars. This paper presents a systematic revision of the linear stability analysis for a rotating, magnetized, and stably stratified star. For plausible configurations of $B_\phi$, instability requires diffusive processes: viscosity, magnetic diffusivity, or thermal/compositional diffusion. Our results reveal a new physical picture, demonstrating how different diffusive effects independently trigger instability of two types of waves in the rotating star: magnetostrophic waves and inertial waves. It develops via overstability of the waves, whose growth rate sharply peaks at some characteristic wavenumbers. We determine instability conditions for each wave branch and find the characteristic wavenumbers. The results are qualitatively different for stars with magnetic Prandtl number $Pm\ll 1$ (e.g. the Sun) and $Pm\gg 1$ (e.g. protoneutron stars). The parameter dependence of unstable modes suggests a non-universal scaling of the possible Tayler-Spruit dynamo.


title: An Oracle with no $\mathrm{UP}$-Complete Sets, but $\mathrm{NP}=\mathrm{PSPACE}$

abstract: We construct an oracle relative to which $\mathrm{NP} = \mathrm{PSPACE}$, but $\mathrm{UP}$ has no many-one complete sets. This combines the properties of an oracle by Hartmanis and Hemachandra [HH88] and one by Ogiwara and Hemachandra [OH93]. The oracle provides new separations of classical conjectures on optimal proof systems and complete sets in promise classes. This answers several questions by Pudl\'ak [Pud17], e.g., the implications $\mathsf{UP} \Longrightarrow \mathsf{CON}^{\mathsf{N}}$ and $\mathsf{SAT} \Longrightarrow \mathsf{TFNP}$ are false relative to our oracle. Moreover, the oracle demonstrates that, in principle, it is possible that $\mathrm{TFNP}$-complete problems exist, while at the same time $\mathrm{SAT}$ has no p-optimal proof systems.


title: Optimal tradeoffs for estimating Pauli observables

abstract: We revisit the problem of Pauli shadow tomography: given copies of an unknown $n$-qubit quantum state $\rho$, estimate $\text{tr}(P\rho)$ for some set of Pauli operators $P$ to within additive error $\epsilon$. This has been a popular testbed for exploring the advantage of protocols with quantum memory over those without: with enough memory to measure two copies at a time, one can use Bell sampling to estimate $|\text{tr}(P\rho)|$ for all $P$ using $O(n/\epsilon^4)$ copies, but with $k\le n$ qubits of memory, $\Omega(2^{(n-k)/3})$ copies are needed. These results leave open several natural questions. How does this picture change in the physically relevant setting where one only needs to estimate a certain subset of Paulis? What is the optimal dependence on $\epsilon$? What is the optimal tradeoff between quantum memory and sample complexity? We answer all of these questions. For any subset $A$ of Paulis and any family of measurement strategies, we completely characterize the optimal sample complexity, up to $\log |A|$ factors. We show any protocol that makes $\text{poly}(n)$-copy measurements must make $\Omega(1/\epsilon^4)$ measurements. For any protocol that makes $\text{poly}(n)$-copy measurements and only has $k < n$ qubits of memory, we show that $\widetilde{\Theta}(\min\{2^n/\epsilon^2, 2^{n-k}/\epsilon^4\})$ copies are necessary and sufficient. The protocols we propose can also estimate the actual values $\text{tr}(P\rho)$, rather than just their absolute values as in prior work. Additionally, as a byproduct of our techniques, we establish tight bounds for the task of purity testing and show that it exhibits an intriguing phase transition not present in the memory-sample tradeoff for Pauli shadow tomography.


title: Bilayer graphene in periodic and quasiperiodic magnetic superlattices

abstract: Starting from the effective Hamiltonian arising from the tight binding model, we study the behaviour of low-lying excitations for bilayer graphene placed in periodic external magnetic fields by using irreducible second order supersymmetry transformations. The coupled system of equations describing these excitations is reduced to a pair of periodic Schr\"odinger Hamiltonians intertwined by a second order differential operator. The direct implementation of more general second-order supersymmetry transformations allows to create nonsingular Schr\"odinger potentials with periodicity defects and bound states embedded in the forbidden bands, which turn out to be associated to quasiperiodic magnetic superlattices.


title: The calm before the (next) storm: no third outburst in 2019--2020, and ongoing monitoring of the transient AGN IC 3599

abstract: We report on follow-up observations of the Seyfert 1.9 galaxy IC 3599 with the NASA Neil Gehrels Swift mission. The detection of a second X-ray outburst in 2010 by Swift after the first discovery of a bright X-ray outburst in 1990 by ROSAT led to the suggestion of two very different explanations: The first one assumed that IC 3599 exhibits outbursts due to repeated partial tidal stripping of a star, predicting another outburst of IC 3599 in 2019/2020. The second, alternative scenario assumed that the event observed in X-rays is due to an accretion disk instability which would suggest a much longer period between the large outbursts. Our continued monitoring campaign by Swift allowed us to test the first scenario which predicted a repetition of high amplitude flaring activity in 2019/2020. We do not find any evidence of dramatic flaring activity with factors of 100 since the last X-ray outburst seen in 2010. These observations support the accretion disk scenario. Further, while IC 3599 remains in low emission states, the long-term X-ray light curve of IC 3599 reveals ongoing strong variability of a factor of a few. The most remarkable event is a mini flare of a factor of 10 in X-rays in December 2022. After that flare, the otherwise supersoft X-ray spectrum shows an exceptional hardening, reminiscent of a temporary corona formation.


title: Real-Time Convolutional Neural Network-Based Star Detection and Centroiding Method for CubeSat Star Tracker

abstract: Star trackers are one of the most accurate celestial sensors used for absolute attitude determination. The devices detect stars in captured images and accurately compute their projected centroids on an imaging focal plane with subpixel precision. Traditional algorithms for star detection and centroiding often rely on threshold adjustments for star pixel detection and pixel brightness weighting for centroid computation. However, challenges like high sensor noise and stray light can compromise algorithm performance. This article introduces a Convolutional Neural Network (CNN)-based approach for star detection and centroiding, tailored to address the issues posed by noisy star tracker images in the presence of stray light and other artifacts. Trained using simulated star images overlayed with real sensor noise and stray light, the CNN produces both a binary segmentation map distinguishing star pixels from the background and a distance map indicating each pixel's proximity to the nearest star centroid. Leveraging this distance information alongside pixel coordinates transforms centroid calculations into a set of trilateration problems solvable via the least squares method. Our method employs efficient UNet variants for the underlying CNN architectures, and the variants' performances are evaluated. Comprehensive testing has been undertaken with synthetic image evaluations, hardware-in-the-loop assessments, and night sky tests. The tests consistently demonstrated that our method outperforms several existing algorithms in centroiding accuracy and exhibits superior resilience to high sensor noise and stray light interference. An additional benefit of our algorithms is that they can be executed in real-time on low-power edge AI processors.


title: The Shape of Money Laundering: Subgraph Representation Learning on the Blockchain with the Elliptic2 Dataset

abstract: Subgraph representation learning is a technique for analyzing local structures (or shapes) within complex networks. Enabled by recent developments in scalable Graph Neural Networks (GNNs), this approach encodes relational information at a subgroup level (multiple connected nodes) rather than at a node level of abstraction. We posit that certain domain applications, such as anti-money laundering (AML), are inherently subgraph problems and mainstream graph techniques have been operating at a suboptimal level of abstraction. This is due in part to the scarcity of annotated datasets of real-world size and complexity, as well as the lack of software tools for managing subgraph GNN workflows at scale. To enable work in fundamental algorithms as well as domain applications in AML and beyond, we introduce Elliptic2, a large graph dataset containing 122K labeled subgraphs of Bitcoin clusters within a background graph consisting of 49M node clusters and 196M edge transactions. The dataset provides subgraphs known to be linked to illicit activity for learning the set of "shapes" that money laundering exhibits in cryptocurrency and accurately classifying new criminal activity. Along with the dataset we share our graph techniques, software tooling, promising early experimental results, and new domain insights already gleaned from this approach. Taken together, we find immediate practical value in this approach and the potential for a new standard in anti-money laundering and forensic analytics in cryptocurrencies and other financial networks.


title: EMOPortraits: Emotion-enhanced Multimodal One-shot Head Avatars

abstract: Head avatars animated by visual signals have gained popularity, particularly in cross-driving synthesis where the driver differs from the animated character, a challenging but highly practical approach. The recently presented MegaPortraits model has demonstrated state-of-the-art results in this domain. We conduct a deep examination and evaluation of this model, with a particular focus on its latent space for facial expression descriptors, and uncover several limitations with its ability to express intense face motions. To address these limitations, we propose substantial changes in both training pipeline and model architecture, to introduce our EMOPortraits model, where we: Enhance the model's capability to faithfully support intense, asymmetric face expressions, setting a new state-of-the-art result in the emotion transfer task, surpassing previous methods in both metrics and quality. Incorporate speech-driven mode to our model, achieving top-tier performance in audio-driven facial animation, making it possible to drive source identity through diverse modalities, including visual signal, audio, or a blend of both. We propose a novel multi-view video dataset featuring a wide range of intense and asymmetric facial expressions, filling the gap with absence of such data in existing datasets.


title: H\"older regularity for degenerate parabolic double-phase equations

abstract: We prove that bounded weak solutions to degenerate parabolic double-phase equations of $p$-Laplace type are locally H\"older continuous. The proof is based on phase analysis and methods for the $p$-Laplace equation. In particular, the phase analysis determines whether the double-phase equation is locally similar to the $p$-Laplace or the $q$-Laplace equation.


title: Hidden Synergy: $L_1$ Weight Normalization and 1-Path-Norm Regularization

abstract: We present PSiLON Net, an MLP architecture that uses $L_1$ weight normalization for each weight vector and shares the length parameter across the layer. The 1-path-norm provides a bound for the Lipschitz constant of a neural network and reflects on its generalizability, and we show how PSiLON Net's design drastically simplifies the 1-path-norm, while providing an inductive bias towards efficient learning and near-sparse parameters. We propose a pruning method to achieve exact sparsity in the final stages of training, if desired. To exploit the inductive bias of residual networks, we present a simplified residual block, leveraging concatenated ReLU activations. For networks constructed with such blocks, we prove that considering only a subset of possible paths in the 1-path-norm is sufficient to bound the Lipschitz constant. Using the 1-path-norm and this improved bound as regularizers, we conduct experiments in the small data regime using overparameterized PSiLON Nets and PSiLON ResNets, demonstrating reliable optimization and strong performance.


title: Source-Free Domain Adaptation of Weakly-Supervised Object Localization Models for Histology

abstract: Given the emergence of deep learning, digital pathology has gained popularity for cancer diagnosis based on histology images. Deep weakly supervised object localization (WSOL) models can be trained to classify histology images according to cancer grade and identify regions of interest (ROIs) for interpretation, using inexpensive global image-class annotations. A WSOL model initially trained on some labeled source image data can be adapted using unlabeled target data in cases of significant domain shifts caused by variations in staining, scanners, and cancer type. In this paper, we focus on source-free (unsupervised) domain adaptation (SFDA), a challenging problem where a pre-trained source model is adapted to a new target domain without using any source domain data for privacy and efficiency reasons. SFDA of WSOL models raises several challenges in histology, most notably because they are not intended to adapt for both classification and localization tasks. In this paper, 4 state-of-the-art SFDA methods, each one representative of a main SFDA family, are compared for WSOL in terms of classification and localization accuracy. They are the SFDA-Distribution Estimation, Source HypOthesis Transfer, Cross-Domain Contrastive Learning, and Adaptively Domain Statistics Alignment. Experimental results on the challenging Glas (smaller, breast cancer) and Camelyon16 (larger, colon cancer) histology datasets indicate that these SFDA methods typically perform poorly for localization after adaptation when optimized for classification.


title: Enhancing IoT Security: A Novel Feature Engineering Approach for ML-Based Intrusion Detection Systems

abstract: The integration of Internet of Things (IoT) applications in our daily lives has led to a surge in data traffic, posing significant security challenges. IoT applications using cloud and edge computing are at higher risk of cyberattacks because of the expanded attack surface from distributed edge and cloud services, the vulnerability of IoT devices, and challenges in managing security across interconnected systems leading to oversights. This led to the rise of ML-based solutions for intrusion detection systems (IDSs), which have proven effective in enhancing network security and defending against diverse threats. However, ML-based IDS in IoT systems encounters challenges, particularly from noisy, redundant, and irrelevant features in varied IoT datasets, potentially impacting its performance. Therefore, reducing such features becomes crucial to enhance system performance and minimize computational costs. This paper focuses on improving the effectiveness of ML-based IDS at the edge level by introducing a novel method to find a balanced trade-off between cost and accuracy through the creation of informative features in a two-tier edge-user IoT environment. A hybrid Binary Quantum-inspired Artificial Bee Colony and Genetic Programming algorithm is utilized for this purpose. Three IoT intrusion detection datasets, namely NSL-KDD, UNSW-NB15, and BoT-IoT, are used for the evaluation of the proposed approach.


title: Sparsity-promoting hierarchical Bayesian model for EIT with a blocky target

abstract: The electrical impedance tomography (EIT) problem of estimating the unknown conductivity distribution inside a domain from boundary current or voltage measurements requires the solution of a nonlinear inverse problem. Sparsity promoting hierarchical Bayesian models have been shown to be very effective in the recovery of almost piecewise constant solutions in linear inverse problems. We demonstrate that by exploiting linear algebraic considerations it is possible to organize the calculation for the Bayesian solution of the nonlinear EIT inverse problem via finite element methods with sparsity promoting priors in a computationally efficient manner. The proposed approach uses the Iterative Alternating Sequential (IAS) algorithm for the solution of the linearized problems. Within the IAS algorithm, a substantial reduction in computational complexity is attained by exploiting the low dimensionality of the data space and an adjoint formulation of the Tikhonov regularized solution that constitutes part of the iterative updating scheme. Numerical tests illustrate the computational efficiency of the proposed algorithm. The paper sheds light also on the convexity properties of the objective function of the maximum a posteriori (MAP) estimation problem.


title: Disentangling Exploration from Exploitation

abstract: Starting from Robbins (1952), the literature on experimentation via multi-armed bandits has wed exploration and exploitation. Nonetheless, in many applications, agents' exploration and exploitation need not be intertwined: a policymaker may assess new policies different than the status quo; an investor may evaluate projects outside her portfolio. We characterize the optimal experimentation policy when exploration and exploitation are disentangled in the case of Poisson bandits, allowing for general news structures. The optimal policy features complete learning asymptotically, exhibits lots of persistence, but cannot be identified by an index a la Gittins. Disentanglement is particularly valuable for intermediate parameter values.


title: Coexistence of eMBB+ and mMTC+ in Uplink Cell-Free Massive MIMO Networks

abstract: This paper tackles the problem of designing proper uplink multiple access (MA) schemes for coexistence between enhanced mobile broadband+ (eMBB+) users and massive machine-type communications+ (mMTC+) devices in a terminal-centric cell-free massive MIMO system. Specifically, the use of a time-frequency spreading technique for the mMTC+ devices has been proposed. Coupled with the assumption of imperfect channel knowledge, closed-form bounds of the achievable (ergodic) rate for the two types of data services are derived. Using suitable power control mechanisms, we show it is possible to efficiently multiplex eMBB+ and mMTC+ traffic in the same time-frequency resource grid. Numerical experiments reveal interesting trade-offs in the selection of the spreading gain and the number of serving access points within the system. Results also demonstrate that the performance of the mMTC+ devices is slightly affected by the presence of the eMBB+ users. Overall, our approach can endow good quality of service to both 6G cornerstones at once.


title: Identification and estimation of causal effects using non-concurrent controls in platform trials

abstract: Platform trials are multi-arm designs that simultaneously evaluate multiple treatments for a single disease within the same overall trial structure. Unlike traditional randomized controlled trials, they allow treatment arms to enter and exit the trial at distinct times while maintaining a control arm throughout. This control arm comprises both concurrent controls, where participants are randomized concurrently to either the treatment or control arm, and non-concurrent controls, who enter the trial when the treatment arm under study is unavailable. While flexible, platform trials introduce a unique challenge with the use of non-concurrent controls, raising questions about how to efficiently utilize their data to estimate treatment effects. Specifically, what estimands should be used to evaluate the causal effect of a treatment versus control? Under what assumptions can these estimands be identified and estimated? Do we achieve any efficiency gains? In this paper, we use structural causal models and counterfactuals to clarify estimands and formalize their identification in the presence of non-concurrent controls in platform trials. We also provide outcome regression, inverse probability weighting, and doubly robust estimators for their estimation. We discuss efficiency gains, demonstrate their performance in a simulation study, and apply them to the ACTT platform trial, resulting in a 20% improvement in precision.


title: Effects of Added Emphasis and Pause in Audio Delivery of Health Information

abstract: Health literacy is crucial to supporting good health and is a major national goal. Audio delivery of information is becoming more popular for informing oneself. In this study, we evaluate the effect of audio enhancements in the form of information emphasis and pauses with health texts of varying difficulty and we measure health information comprehension and retention. We produced audio snippets from difficult and easy text and conducted the study on Amazon Mechanical Turk (AMT). Our findings suggest that emphasis matters for both information comprehension and retention. When there is no added pause, emphasizing significant information can lower the perceived difficulty for difficult and easy texts. Comprehension is higher (54%) with correctly placed emphasis for the difficult texts compared to not adding emphasis (50%). Adding a pause lowers perceived difficulty and can improve retention but adversely affects information comprehension.


title: Computing distances on Riemann surfaces

abstract: Riemann surfaces are among the simplest and most basic geometric objects. They appear as key players in many branches of physics, mathematics, and other sciences. Despite their widespread significance, how to compute distances between pairs of points on compact Riemann surfaces is surprisingly unknown, unless the surface is a sphere or a torus. This is because on higher-genus surfaces, the distance formula involves an infimum over infinitely many terms, so it cannot be evaluated in practice. Here we derive a computable distance formula for a broad class of Riemann surfaces. The formula reduces the infimum to a minimum over an explicit set consisting of finitely many terms. We also develop a distance computation algorithm, which cannot be expressed as a formula, but which is more computationally efficient on surfaces with high genuses. We illustrate both the formula and the algorithm in application to generalized Bolza surfaces, which are a particular class of highly symmetric compact Riemann surfaces of any genus greater than 1.


title: Characterising Payload Entropy in Packet Flows

abstract: Accurate and timely detection of cyber threats is critical to keeping our online economy and data safe. A key technique in early detection is the classification of unusual patterns of network behaviour, often hidden as low-frequency events within complex time-series packet flows. One of the ways in which such anomalies can be detected is to analyse the information entropy of the payload within individual packets, since changes in entropy can often indicate suspicious activity - such as whether session encryption has been compromised, or whether a plaintext channel has been co-opted as a covert channel. To decide whether activity is anomalous we need to compare real-time entropy values with baseline values, and while the analysis of entropy in packet data is not particularly new, to the best of our knowledge there are no published baselines for payload entropy across common network services. We offer two contributions: 1) We analyse several large packet datasets to establish baseline payload information entropy values for common network services, 2) We describe an efficient method for engineering entropy metrics when performing flow recovery from live or offline packet data, which can be expressed within feature subsets for subsequent analysis and machine learning applications.


title: Spin Covariance Fluctuations in the SK Model at High Temperature

abstract: Based on \cite{H}, it is well known that the rescaled two point correlation functions \[ \sqrt{N} \langle \sigma_i ; \sigma_j\rangle = \sqrt{N} \big( \langle \sigma_i \sigma_j\rangle -\langle \sigma_i\rangle \langle \sigma_j\rangle\big) \] in the Sherrington-Kirkpatrick spin glass model with non-zero external field admit at sufficiently high temperature an explicit non-Gaussian distributional limit as $N\to \infty$. Inspired by recent results from \cite{ABSY, BSXY, BXY}, we provide a novel proof of the distributional convergence which is based on expanding $\langle \sigma_i ; \sigma_j\rangle$ into a sum over suitable weights of self-avoiding paths from vertex $i$ to $j$. Compared to \cite{H}, our key observation is that the path representation of $\langle \sigma_i ; \sigma_j\rangle$ provides a direct explanation of the specific form of the limiting distribution of $\sqrt{N} \langle \sigma_i ; \sigma_j\rangle$.


title: CP Violation Problem

abstract: The strong CP violation problem has a long history emanating from its discovery 60 years ago in the decay of neutral kaons and the subsequent experimental and theoretical studies over several decades. We review herein experimental data that observe indirect CP violation of the order of $\sim10^{-3}$, as well as the discovery of direct CP violation of the order of $\sim10^{-6}$. The verification of CP violation in the decay of charged kaons was also observed. Data reflecting CP violation in the decays of $B$ and $D$ mesons have become very important and are also discussed in this review.


title: Accelerating Production LLMs with Combined Token/Embedding Speculators

abstract: This technical report describes the design and training of novel speculative decoding draft models, for accelerating the inference speeds of large language models in a production environment. By conditioning draft predictions on both context vectors and sampled tokens, we can train our speculators to efficiently predict high-quality n-grams, which the base model then accepts or rejects. This allows us to effectively predict multiple tokens per inference forward pass, accelerating wall-clock inference speeds of highly optimized base model implementations by a factor of 2-3x. We explore these initial results and describe next steps for further improvements.


title: Finite distance problem on the moduli of non-K\"{a}hler Calabi--Yau $\partial\bar{\partial}$-threefolds

abstract: In this article, we study the finite distance problem with respect to the period-map metric on the moduli of non-K\"{a}hler Calabi--Yau $\partial\bar{\partial}$-threefolds via Hodge theory. We extended C.-L. Wang's finite distance criterion for one-parameter degenerations to the present setting. As a byproduct, we also obtained a sufficient condition for a non-K\"{a}hler Calabi--Yau to support the $\partial\bar{\partial}$-lemma which generalizes the results by Friedman and Li. We also proved that the non-K\"{a}hler Calabi--Yau threefolds constructed by Hashimoto and Sano support the $\partial\bar{\partial}$-lemma.


title: Compositional Factorization of Visual Scenes with Convolutional Sparse Coding and Resonator Networks

abstract: We propose a system for visual scene analysis and recognition based on encoding the sparse, latent feature-representation of an image into a high-dimensional vector that is subsequently factorized to parse scene content. The sparse feature representation is learned from image statistics via convolutional sparse coding, while scene parsing is performed by a resonator network. The integration of sparse coding with the resonator network increases the capacity of distributed representations and reduces collisions in the combinatorial search space during factorization. We find that for this problem the resonator network is capable of fast and accurate vector factorization, and we develop a confidence-based metric that assists in tracking the convergence of the resonator network.


title: A model-free subdata selection method for classification

abstract: Subdata selection is a study of methods that select a small representative sample of the big data, the analysis of which is fast and statistically efficient. The existing subdata selection methods assume that the big data can be reasonably modeled using an underlying model, such as a (multinomial) logistic regression for classification problems. These methods work extremely well when the underlying modeling assumption is correct but often yield poor results otherwise. In this paper, we propose a model-free subdata selection method for classification problems, and the resulting subdata is called PED subdata. The PED subdata uses decision trees to find a partition of the data, followed by selecting an appropriate sample from each component of the partition. Random forests are used for analyzing the selected subdata. Our method can be employed for a general number of classes in the response and for both categorical and continuous predictors. We show analytically that the PED subdata results in a smaller Gini than a uniform subdata. Further, we demonstrate that the PED subdata has higher classification accuracy than other competing methods through extensive simulated and real datasets.


title: Q-GroundCAM: Quantifying Grounding in Vision Language Models via GradCAM

abstract: Vision and Language Models (VLMs) continue to demonstrate remarkable zero-shot (ZS) performance across various tasks. However, many probing studies have revealed that even the best-performing VLMs struggle to capture aspects of compositional scene understanding, lacking the ability to properly ground and localize linguistic phrases in images. Recent VLM advancements include scaling up both model and dataset sizes, additional training objectives and levels of supervision, and variations in the model architectures. To characterize the grounding ability of VLMs, such as phrase grounding, referring expressions comprehension, and relationship understanding, Pointing Game has been used as an evaluation metric for datasets with bounding box annotations. In this paper, we introduce a novel suite of quantitative metrics that utilize GradCAM activations to rigorously evaluate the grounding capabilities of pre-trained VLMs like CLIP, BLIP, and ALBEF. These metrics offer an explainable and quantifiable approach for a more detailed comparison of the zero-shot capabilities of VLMs and enable measuring models' grounding uncertainty. This characterization reveals interesting tradeoffs between the size of the model, the dataset size, and their performance.


title: A Panchromatic Study of the X-ray Binary Population in NGC 300 on Sub-Galactic Scales

abstract: The population-wide properties and demographics of extragalactic X-ray binaries (XRBs) correlate with the star formation rates (SFRs), stellar masses ($M_{\star}$), and environmental factors (such as metallicity, $Z$) of their host galaxy. Although there is evidence that XRB scaling relations ($L_X$/SFR for high mass XRBs [HMXBs] and $L_X$/$M_{\star}$ for low mass XRBs [LMXBs]) may depend on metallicity and stellar age across large samples of XRB-hosting galaxies, disentangling the effects of metallicity and stellar age from stochastic effects, particularly on subgalactic scales, remains a challenge. We use archival X-ray through IR observations of the nearby galaxy NGC 300 to self-consistently model the broadband spectral energy distribution and examine radial trends in its XRB population. We measure a current ($<$100 Myr) SFR of 0.18$\pm$0.08 $M_{\odot}$ yr$^{-1}$ and $M_{\star}$= $(2.15^{+0.26}_{-0.14})\times10^9$ $M_{\odot}$. Although we measure a metallicity gradient and radially resolved star formation histories that are consistent with the literature, there is a clear excess in the number of X-ray sources below $\sim10^{37}$ erg s$^{-1}$ that are likely a mix of variable XRBs and additional background AGN. When we compare the subgalactic $L_X$/SFR ratios as a function of $Z$ to the galaxy-integrated $L_X$-SFR-$Z$ relationships from the literature, we find that only the regions hosting the youngest ($\lesssim$30 Myr) HMXBs agree with predictions, hinting at time evolution of the $L_X$-SFR-$Z$ relationship.


title: SpherE: Expressive and Interpretable Knowledge Graph Embedding for Set Retrieval

abstract: Knowledge graphs (KGs), which store an extensive number of relational facts (head, relation, tail), serve various applications. While many downstream tasks highly rely on the expressive modeling and predictive embedding of KGs, most of the current KG representation learning methods, where each entity is embedded as a vector in the Euclidean space and each relation is embedded as a transformation, follow an entity ranking protocol. On one hand, such an embedding design cannot capture many-to-many relations. On the other hand, in many retrieval cases, the users wish to get an exact set of answers without any ranking, especially when the results are expected to be precise, e.g., which genes cause an illness. Such scenarios are commonly referred to as "set retrieval". This work presents a pioneering study on the KG set retrieval problem. We show that the set retrieval highly depends on expressive modeling of many-to-many relations, and propose a new KG embedding model SpherE to address this problem. SpherE is based on rotational embedding methods, but each entity is embedded as a sphere instead of a vector. While inheriting the high interpretability of rotational-based models, our SpherE can more expressively model one-to-many, many-to-one, and many-to-many relations. Through extensive experiments, we show that our SpherE can well address the set retrieval problem while still having a good predictive ability to infer missing facts. The code is available at https://github.com/Violet24K/SpherE.


title: Capillary processes in extraterrestrial contexts

abstract: The Earth is no longer the only known celestial body containing one or more liquid phases. The Cassini spacecraft has discovered seas of hydrocarbons at the surface of Titan, while a series of corroborating evidences argue in favour of the existence of an aqueous ocean beneath the icy crust of several moons. Capillarity embraces a family of physical processes occurring at the free surface of a liquid. These phenomena depend on the liquid properties and on the local planetary conditions. Capillarity may have important direct or indirect implications on the geoscientific and astrobiological points of view. In this paper, we discuss capillarity physics among solar system objects and expected consequences for planetary science.


title: Integrating Present and Past in Unsupervised Continual Learning

abstract: We formulate a unifying framework for unsupervised continual learning (UCL), which disentangles learning objectives that are specific to the present and the past data, encompassing stability, plasticity, and cross-task consolidation. The framework reveals that many existing UCL approaches overlook cross-task consolidation and try to balance plasticity and stability in a shared embedding space. This results in worse performance due to a lack of within-task data diversity and reduced effectiveness in learning the current task. Our method, Osiris, which explicitly optimizes all three objectives on separate embedding spaces, achieves state-of-the-art performance on all benchmarks, including two novel benchmarks proposed in this paper featuring semantically structured task sequences. Compared to standard benchmarks, these two structured benchmarks more closely resemble visual signals received by humans and animals when navigating real-world environments. Finally, we show some preliminary evidence that continual models can benefit from such realistic learning scenarios.


title: Parameterized Wasserstein Gradient Flow

abstract: We develop a fast and scalable numerical approach to solve Wasserstein gradient flows (WGFs), particularly suitable for high-dimensional cases. Our approach is to use general reduced-order models, like deep neural networks, to parameterize the push-forward maps such that they can push a simple reference density to the one solving the given WGF. The new dynamical system is called parameterized WGF (PWGF), and it is defined on the finite-dimensional parameter space equipped with a pullback Wasserstein metric. Our numerical scheme can approximate the solutions of WGFs for general energy functionals effectively, without requiring spatial discretization or nonconvex optimization procedures, thus avoiding some limitations of classical numerical methods and more recent deep-learning-based approaches. A comprehensive analysis of the approximation errors measured by Wasserstein distance is also provided in this work. Numerical experiments show promising computational efficiency and verified accuracy on various WGF examples using our approach.


title: Evaluating Deep Clustering Algorithms on Non-Categorical 3D CAD Models

abstract: We introduce the first work on benchmarking and evaluating deep clustering algorithms on large-scale non-categorical 3D CAD models. We first propose a workflow to allow expert mechanical engineers to efficiently annotate 252,648 carefully sampled pairwise CAD model similarities, from a subset of the ABC dataset with 22,968 shapes. Using seven baseline deep clustering methods, we then investigate the fundamental challenges of evaluating clustering methods for non-categorical data. Based on these challenges, we propose a novel and viable ensemble-based clustering comparison approach. This work is the first to directly target the underexplored area of deep clustering algorithms for 3D shapes, and we believe it will be an important building block to analyze and utilize the massive 3D shape collections that are starting to appear in deep geometric computing.


title: Strong Damping-Like Torques in Wafer-Scale MoTe${}_2$ Grown by MOCVD

abstract: The scalable synthesis of strong spin orbit coupling (SOC) materials such as 1T${}^\prime$ phase MoTe${}_2$ is crucial for spintronics development. Here, we demonstrate wafer-scale growth of 1T${}^\prime$ MoTe${}_2$ using metal-organic chemical vapor deposition (MOCVD) with sputtered Mo and (C${}_4$H${}_9$)${}_2$Te. The synthesized films show uniform coverage across the entire sample surface. By adjusting the growth parameters, a synthesis process capable of producing 1T${}^\prime$ and 2H MoTe${}_2$ mixed phase films was achieved. Notably, the developed process is compatible with back-end-of-line (BEOL) applications. The strong spin-orbit coupling of the grown 1T${}^\prime$ MoTe${}_2$ films was demonstrated through spin torque ferromagnetic resonance (ST-FMR) measurements conducted on a 1T${}^\prime$ MoTe${}_2$/permalloy bilayer RF waveguide. These measurements revealed a significant damping-like torque in the wafer-scale 1T${}^\prime$ MoTe${}_2$ film and indicated high spin-charge conversion efficiency. The BEOL compatible process and potent spin orbit torque demonstrate promise in advanced device applications.


title: On Rational Recursion for Holonomic Sequences

abstract: It was recently conjectured that every component of a discrete-time rational dynamical system is a solution to an algebraic difference equation that is linear in its highest-shift term (a quasi-linear equation). We prove that the conjecture holds in the special case of holonomic sequences, which can straightforwardly be represented by rational dynamical systems. We propose two algorithms for converting holonomic recurrence equations into such quasi-linear equations. The two algorithms differ in their efficiency and the minimality of orders in their outputs.


title: Thermoelectric transport properties of the quasi-one-dimensional dimer-Mott insulator $\beta'$-(BEDT-TTF)$_2$ICl$_2$

abstract: Low-dimensional materials, in which the electronic and transport properties are drastically modified in comparison to those of three-dimensional bulk materials, yield a key class of thermoelectric materials with high conversion efficiency. Among such materials, the organic compounds may serve peculiar properties owing to their unique molecular-based low-dimensional structures with highly anisotropic molecular orbitals. Here we present the thermoelectric transport properties of the quasi-one-dimensional dimer-Mott insulator $\beta'$-(BEDT-TTF)$_2$ICl$_2$, where BEDT-TTF stands for bis(ethylenedithio)-tetrathiafulvalene. We find that the thermopower exhibits typical activation-type temperature variation expected for insulators but its absolute value is anomalously large compared to the expected value from the activation-type temperature dependence of the electrical resistivity. Successively, the Jonker-plot analysis, in which the thermopower is usually scaled by the logarithm of the resistivity, shows an unusual relation among such transport quantities. We discuss a role of the low dimensionality for the enhanced thermopower along with recent observations of such a large thermopower in several low-dimensional materials.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.soft physics.chem-ph


title: Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots

abstract: We present a decentralized control algorithm for a minimalist robotic swarm lacking memory, explicit communication, or relative position information, to encapsulate multiple diffusive target sources in a bounded environment. The state-of-the-art approaches generally require either local communication or relative localization to provide guarantees of convergence and safety. We quantify trade-offs between task, control, and robot parameters for guaranteed safe convergence to all the sources. Furthermore, our algorithm is robust to occlusions and noise in the sensor measurements as we demonstrate in simulation.


title: HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection

abstract: Data race, a category of insidious software concurrency bugs, is often challenging and resource-intensive to detect and debug. Existing dynamic race detection tools incur significant execution time and memory overhead while exhibiting high false positives. This paper proposes HMTRace, a novel Armv8.5-A memory tag extension (MTE) based dynamic data race detection framework, emphasizing low compute and memory requirements while maintaining high accuracy and precision. HMTRace supports race detection in userspace OpenMP- and Pthread-based multi-threaded C applications. HMTRace showcases a combined f1-score of 0.86 while incurring a mean execution time overhead of 4.01% and peak memory (RSS) overhead of 54.31%. HMTRace also does not report false positives, asserting all reported races.


title: Many-body quantum thermal machines in a Lieb-kagome Hubbard model

abstract: Quantum many-body systems serve as a suitable working medium for realizing quantum thermal machines (QTMs) by offering distinct advantages such as cooperative many-body effects, and performance boost at the quantum critical points. However, the bulk of the existing literature exploring the criticality of many-body systems in the context of QTMs involves models sans the electronic interactions, which are non-trivial to deal with and require sophisticated numerical techniques. Here we adopt the prototypical Hubbard model in two dimensions (2D) in the framework of the line graph Lieb-kagome lattice for the working medium of a multi-functional QTM. We resort to a non-perturbative, static path approximated (SPA) Monte Carlo technique to deal with the repulsive Hubbard model. We observe that in a Stirling cycle, in both the interacting and non-interacting limits, the heat engine function dominates and its performance gets better when the strain is induced from the kagome to the Lieb limit, while for the reverse the refrigeration action is preferred. Further, we show that the QTM performs better when the difference between the temperatures of the two baths is lower and the QTM reaches the Carnot limit in this regime. Further, we extensively study the performance of the QTM in the repulsive Hubbard interacting regime where the magnetic orders come into the picture. We explore the performance of the QTM along the quantum critical points and in the large interaction limit.


title: Micro-Macro Spatial-Temporal Graph-based Encoder-Decoder for Map-Constrained Trajectory Recovery

abstract: Recovering intermediate missing GPS points in a sparse trajectory, while adhering to the constraints of the road network, could offer deep insights into users' moving behaviors in intelligent transportation systems. Although recent studies have demonstrated the advantages of achieving map-constrained trajectory recovery via an end-to-end manner, they still face two significant challenges. Firstly, existing methods are mostly sequence-based models. It is extremely hard for them to comprehensively capture the micro-semantics of individual trajectory, including the information of each GPS point and the movement between two GPS points. Secondly, existing approaches ignore the impact of the macro-semantics, i.e., the road conditions and the people's shared travel preferences reflected by a group of trajectories. To address the above challenges, we propose a Micro-Macro Spatial-Temporal Graph-based Encoder-Decoder (MM-STGED). Specifically, we model each trajectory as a graph to efficiently describe the micro-semantics of trajectory and design a novel message-passing mechanism to learn trajectory representations. Additionally, we extract the macro-semantics of trajectories and further incorporate them into a well-designed graph-based decoder to guide trajectory recovery. Extensive experiments conducted on sparse trajectories with three different sampling intervals that are respectively constructed from two real-world trajectory datasets demonstrate the superiority of our proposed model.


title: Purcell enhanced optical refrigeration

abstract: Optical refrigeration of solids with anti-Stokes fluorescence has been widely explored as a vibration-free cryogenic cooling technology. A minimum temperature of 87 K has been demonstrated with rare-earth ion doped crystals using optical refrigeration. However, the depletion of the upper-lying energy levels in the ground state manifold hinders further cooling to below liquid nitrogen (LN$_2$) temperatures, confining its applications. In this work, we introduce a Purcell enhanced optical refrigeration method to circumvent this limitation. This approach enhances the emission of high energy photons by coupling to a nearby nanocavity, blue shifting the mean emission wavelength. Such Purcell enhanced emission facilitates cooling starting from a lower energy level in the ground state manifold, which exhibits a higher occupation below LN$_2$ temperatures. Using our experimentally measured optical coefficients, our theoretical analysis predicts a minimum achievable temperature of 38 K for a Yb$^{3+}$:YLiF$_{4}$ nanocrystal near a cavity under realistic conditions. The proposed method is applicable to other rare-earth ion doped materials and semiconductors, and will have applications in creating superconducting and other quantum devices with solid-state cooling.


title: Workload Intelligence: Punching Holes Through the Cloud Abstraction

abstract: Today, cloud workloads are essentially opaque to the cloud platform. Typically, the only information the platform receives is the virtual machine (VM) type and possibly a decoration to the type (e.g., the VM is evictable). Similarly, workloads receive little to no information from the platform; generally, workloads might receive telemetry from their VMs or exceptional signals (e.g., shortly before a VM is evicted). The narrow interface between workloads and platforms has several drawbacks: (1) a surge in VM types and decorations in public cloud platforms complicates customer selection; (2) essential workload characteristics (e.g., low availability requirements, high latency tolerance) are often unspecified, hindering platform customization for optimized resource usage and cost savings; and (3) workloads may be unaware of potential optimizations or lack sufficient time to react to platform events. In this paper, we propose a framework, called Workload Intelligence (WI), for dynamic bi-directional communication between cloud workloads and cloud platform. Via WI, workloads can programmatically adjust their key characteristics, requirements, and even dynamically adapt behaviors like VM priorities. In the other direction, WI allows the platform to programmatically inform workloads about upcoming events, opportunities for optimization, among other scenarios. Because of WI, the cloud platform can drastically simplify its offerings, reduce its costs without fear of violating any workload requirements, and reduce prices to its customers on average by 48.8%.


title: A Locally Robust Semiparametric Approach to Examiner IV Designs

abstract: I propose a locally robust semiparametric framework for estimating causal effects using the popular examiner IV design, in the presence of many examiners and possibly many covariates relative to the sample size. The key ingredient of this approach is an orthogonal moment function that is robust to biases and local misspecification from the first step estimation of the examiner IV. I derive the orthogonal moment function and show that it delivers multiple robustness where the outcome model or at least one of the first step components is misspecified but the estimating equation remains valid. The proposed framework not only allows for estimation of the examiner IV in the presence of many examiners and many covariates relative to sample size, using a wide range of nonparametric and machine learning techniques including LASSO, Dantzig, neural networks and random forests, but also delivers root-n consistent estimation of the parameter of interest under mild assumptions.


title: Orthogonal Bootstrap: Efficient Simulation of Input Uncertainty

abstract: Bootstrap is a popular methodology for simulating input uncertainty. However, it can be computationally expensive when the number of samples is large. We propose a new approach called \textbf{Orthogonal Bootstrap} that reduces the number of required Monte Carlo replications. We decomposes the target being simulated into two parts: the \textit{non-orthogonal part} which has a closed-form result known as Infinitesimal Jackknife and the \textit{orthogonal part} which is easier to be simulated. We theoretically and numerically show that Orthogonal Bootstrap significantly reduces the computational cost of Bootstrap while improving empirical accuracy and maintaining the same width of the constructed interval.

categories: stat.ME cs.LG econ.EM math.ST stat.ML stat.TH


title: Automated Construction of Theme-specific Knowledge Graphs

abstract: Despite widespread applications of knowledge graphs (KGs) in various tasks such as question answering and intelligent conversational systems, existing KGs face two major challenges: information granularity and deficiency in timeliness. These hinder considerably the retrieval and analysis of in-context, fine-grained, and up-to-date knowledge from KGs, particularly in highly specialized themes (e.g., specialized scientific research) and rapidly evolving contexts (e.g., breaking news or disaster tracking). To tackle such challenges, we propose a theme-specific knowledge graph (i.e., ThemeKG), a KG constructed from a theme-specific corpus, and design an unsupervised framework for ThemeKG construction (named TKGCon). The framework takes raw theme-specific corpus and generates a high-quality KG that includes salient entities and relations under the theme. Specifically, we start with an entity ontology of the theme from Wikipedia, based on which we then generate candidate relations by Large Language Models (LLMs) to construct a relation ontology. To parse the documents from the theme corpus, we first map the extracted entity pairs to the ontology and retrieve the candidate relations. Finally, we incorporate the context and ontology to consolidate the relations for entity pairs. We observe that directly prompting GPT-4 for theme-specific KG leads to inaccurate entities (such as "two main types" as one entity in the query result) and unclear (such as "is", "has") or wrong relations (such as "have due to", "to start"). In contrast, by constructing the theme-specific KG step by step, our model outperforms GPT-4 and could consistently identify accurate entities and relations. Experimental results also show that our framework excels in evaluations compared with various KG construction baselines.


title: Asymptotically conserved charges and 2-kink collision in quasi-integrable potential KdV models

abstract: We study a particular deformation of the potential KdV model (pKdV) and construct the quasi-conservation laws by a direct method. The charge densities, differing from their integrable counterpart with homogeneous degree terms, exhibit mixed scale dimension terms. The modifications of the charges around the soliton interaction regions are examined by numerically simulating some representative anomalies. We show numerically the elastic scattering of two kinks for a wide range of values of the deformation parameters. It is discussed an anomaly cancellation mechanism to define an exact conservation law of the usual pKdV model, and a renormalization procedure is introduced for some divergent charges by subtructing the continuous linear background contribution. The KdV-type equations are quite ubiquitous in several areas of non-linear science, such as the study of General Relativity in $AdS_{3}$, Bose-Einstein condensates, superconductivity and fluid dynamics.


title: Enhancing Brazilian Sign Language Recognition through Skeleton Image Representation

abstract: Effective communication is paramount for the inclusion of deaf individuals in society. However, persistent communication barriers due to limited Sign Language (SL) knowledge hinder their full participation. In this context, Sign Language Recognition (SLR) systems have been developed to improve communication between signing and non-signing individuals. In particular, there is the problem of recognizing isolated signs (Isolated Sign Language Recognition, ISLR) of great relevance in the development of vision-based SL search engines, learning tools, and translation systems. This work proposes an ISLR approach where body, hands, and facial landmarks are extracted throughout time and encoded as 2-D images. These images are processed by a convolutional neural network, which maps the visual-temporal information into a sign label. Experimental results demonstrate that our method surpassed the state-of-the-art in terms of performance metrics on two widely recognized datasets in Brazilian Sign Language (LIBRAS), the primary focus of this study. In addition to being more accurate, our method is more time-efficient and easier to train due to its reliance on a simpler network architecture and solely RGB data as input.


title: SAGS: Structure-Aware 3D Gaussian Splatting

abstract: Following the advent of NeRFs, 3D Gaussian Splatting (3D-GS) has paved the way to real-time neural rendering overcoming the computational burden of volumetric methods. Following the pioneering work of 3D-GS, several methods have attempted to achieve compressible and high-fidelity performance alternatives. However, by employing a geometry-agnostic optimization scheme, these methods neglect the inherent 3D structure of the scene, thereby restricting the expressivity and the quality of the representation, resulting in various floating points and artifacts. In this work, we propose a structure-aware Gaussian Splatting method (SAGS) that implicitly encodes the geometry of the scene, which reflects to state-of-the-art rendering performance and reduced storage requirements on benchmark novel-view synthesis datasets. SAGS is founded on a local-global graph representation that facilitates the learning of complex scenes and enforces meaningful point displacements that preserve the scene's geometry. Additionally, we introduce a lightweight version of SAGS, using a simple yet effective mid-point interpolation scheme, which showcases a compact representation of the scene with up to 24$\times$ size reduction without the reliance on any compression strategies. Extensive experiments across multiple benchmark datasets demonstrate the superiority of SAGS compared to state-of-the-art 3D-GS methods under both rendering quality and model size. Besides, we demonstrate that our structure-aware method can effectively mitigate floating artifacts and irregular distortions of previous methods while obtaining precise depth maps. Project page https://eververas.github.io/SAGS/.


title: Boundedness of the p-primary torsion of the Brauer group of products of varieties

abstract: Let k be a field finitely generated over its prime subfield. We prove that the quotient of the Brauer group of a product of varieties over k by the Brauer groups of factors has finite exponent. The bulk of the proof concerns p-primary torsion in characteristic p. Our approach gives a more direct proof of the boundedness of the p-primary torsion of the Brauer group of an abelian variety, as recently proved by D'Addezio. We show that the transcendental Brauer group of a Kummer surface over k has finite exponent, but can be infinite when k is an infinite field of positive characteristic. This answers a question of Zarhin and the author.


title: Long term CCD photometry of the distant cluster NGC 2419: the CMD revisited

abstract: Employing \emph{VI} images of NGC 2419 acquired over 17 years, light curves for most of the known variables in the field of the cluster are produced. A cluster membership analysis for about 3100 stars in the cluster field with proper motions from $Gaia$-DR3, revealed the presence of member stars as far as 140 pc from the cluster center and enabled the construction of a cleaner CMD free of field stars. It was found that RRab and RRc stars share the inter-order region in the instability strip, which is unusual for OoII clusters. Theoretical considerations confirm that Pop II cepheids are descendants of extreme ZAHB blue tail stars with very thin envelopes of about 10\% of the total mass. Member RR Lyrae stars were employed to calculate independent estimates of the mean cluster metallicity and distance; we found [Fe/H]$_{\rm UV}= -1.90 \pm 0.27$ and $D=86.3 \pm 5.0$ kpc from the RRab and [Fe/H]$_{\rm UV}= -1.88 \pm 0.30$ and $D=83.1 \pm 8.1$ kpc from the RRc light curves.


title: Symmetry Strategy for Rapid Discovery of Abundant Fractional Quantum Ferroelectrics

abstract: Traditional ferroelectrics are limited by Neumann's principle, which confines exploration of ferroelectrics within polar point groups. Our recent work [Nat. Commun. 15, 135, (2024)] proposes the concept of fractional quantum ferroelectricity (FQFE) that extend the playground of ferroelectricity to non-polar point groups. Here, we apply group theory and introduce an efficient symmetry strategy to identify FQFE candidates. Integrated with a high-throughput screening scheme, we go through 171,527 materials and identify 202 potential FQFE candidates, which are already experimentally synthesized. In addition, we point out that the essence of FQFE is fractional atomic displacements with respect to lattice vectors, which can actually result in both fractional (type-I) and integer (type-II) quantized polarization, respectively. Through performing first-principles calculations, we verify the symmetry-predicted switchable FQFE properties in bulk AlAgS2 and monolayer HgI2. Notably, AlAgS2 exhibits an ultra-low switching barrier of 23 meV/f.u. and interlocked in-plane/out-of-plane polarization, while HgI2 demonstrates large spontaneous polarization of 42 {\mu}C/cm2. Our findings not only advance the understanding on FQFE, but also offer guidance for experimental exploration and design of novel ferroelectric materials.


title: Room temperature realization of artificial chiral magnets with reprogrammable magnon nonreciprocity at zero field

abstract: Chiral magnets are materials which possess unique helical arrangements of magnetic moments, which give rise to nonreciprocal transport and fascinating physics phenomena. On the one hand, their exploration is guided by the prospects of unconventional signal processing, computation schemes and magnetic memory. On the other hand, progress in applications is hindered by the challenging materials synthesis, limited scalability and typically low critical temperature. Here, we report the creation and exploration of artificial chiral magnets (ACMs) at room temperature. By employing a mass production compatible deposition technology, we synthesize ACMs, which consist of helical Ni surfaces on central cylinders. Using optical microscopy, we reveal nonreciprocal magnon transport at GHz frequencies. It is controlled by programmable toroidal moments which result from the ACM's geometrical handedness and field-dependent spin chirality. We present materials-by-design rules which optimize the helically curved ferromagnets for 3D nonreciprocal transport at room temperature and zero magnetic field.


title: RTF: Region-based Table Filling Method for Relational Triple Extraction

abstract: Relational triple extraction is crucial work for the automatic construction of knowledge graphs. Existing methods only construct shallow representations from a token or token pair-level. However, previous works ignore local spatial dependencies of relational triples, resulting in a weakness of entity pair boundary detection. To tackle this problem, we propose a novel Region-based Table Filling method (RTF). We devise a novel region-based tagging scheme and bi-directional decoding strategy, which regard each relational triple as a region on the relation-specific table, and identifies triples by determining two endpoints of each region. We also introduce convolution to construct region-level table representations from a spatial perspective which makes triples easier to be captured. In addition, we share partial tagging scores among different relations to improve learning efficiency of relation classifier. Experimental results show that our method achieves state-of-the-art with better generalization capability on three variants of two widely used benchmark datasets.


title: Octahedral coordinates from the Wirtinger presentation

abstract: Let $\rho$ be a representation of a knot group (or more generally, the fundamental group of a tangle complement) into $\operatorname{SL}_2(\mathbb{C})$ expressed in terms of the Wirtinger generators of a diagram $D$. In this note we give a direct algebraic formula for the geometric parameters of the octahedral decomposition of the knot complement associated to $D$. Our formula gives a new, explicit criterion for whether $\rho$ occurs as a critical point of the diagram's Neumann-Zagier--Yokota potential function.


title: Parameter Selection by GCV and a $\chi^2$ test within Iterative Methods for $\ell_1$-regularized Inverse Problems

abstract: $\ell_1$ regularization is used to preserve edges or enforce sparsity in a solution to an inverse problem. We investigate the Split Bregman and the Majorization-Minimization iterative methods that turn this non-smooth minimization problem into a sequence of steps that include solving an $\ell_2$-regularized minimization problem. We consider selecting the regularization parameter in the inner generalized Tikhonov regularization problems that occur at each iteration in these $\ell_1$ iterative methods. The generalized cross validation and $\chi^2$ degrees of freedom methods are extended to these inner problems. In particular, for the $\chi^2$ method this includes extending the $\chi^2$ result for problems in which the regularization operator has more rows than columns, and showing how to use the $A-$weighted generalized inverse to estimate prior information at each inner iteration. Numerical experiments for image deblurring problems demonstrate that it is more effective to select the regularization parameter automatically within the iterative schemes than to keep it fixed for all iterations. Moreover, an appropriate regularization parameter can be estimated in the early iterations and used fixed to convergence.


title: Scalable Bayesian Inference in the Era of Deep Learning: From Gaussian Processes to Deep Neural Networks

abstract: Large neural networks trained on large datasets have become the dominant paradigm in machine learning. These systems rely on maximum likelihood point estimates of their parameters, precluding them from expressing model uncertainty. This may result in overconfident predictions and it prevents the use of deep learning models for sequential decision making. This thesis develops scalable methods to equip neural networks with model uncertainty. In particular, we leverage the linearised Laplace approximation to equip pre-trained neural networks with the uncertainty estimates provided by their tangent linear models. This turns the problem of Bayesian inference in neural networks into one of Bayesian inference in conjugate Gaussian-linear models. Alas, the cost of this remains cubic in either the number of network parameters or in the number of observations times output dimensions. By assumption, neither are tractable. We address this intractability by using stochastic gradient descent (SGD) -- the workhorse algorithm of deep learning -- to perform posterior sampling in linear models and their convex duals: Gaussian processes. With this, we turn back to linearised neural networks, finding the linearised Laplace approximation to present a number of incompatibilities with modern deep learning practices -- namely, stochastic optimisation, early stopping and normalisation layers -- when used for hyperparameter learning. We resolve these and construct a sample-based EM algorithm for scalable hyperparameter learning with linearised neural networks. We apply the above methods to perform linearised neural network inference with ResNet-50 (25M parameters) trained on Imagenet (1.2M observations and 1000 output dimensions). Additionally, we apply our methods to estimate uncertainty for 3d tomographic reconstructions obtained with the deep image prior network.


title: Polymer Collapse and Liquid-Liquid Phase-Separation are Coupled in a Generalized Prewetting Transition

abstract: The three-dimensional organization of chromatin is thought to play an important role in controlling gene expression. Specificity in expression is achieved through the interaction of transcription factors and other nuclear proteins with particular sequences of DNA. At unphysiological concentrations many of these nuclear proteins can phase-separate in the absence of DNA, and it has been hypothesized that, in vivo, the thermodynamic forces driving these phases help determine chromosomal organization. However it is unclear how DNA, itself a long polymer subject to configurational transitions, interacts with three-dimensional protein phases. Here we show that a long compressible polymer can be coupled to interacting protein mixtures, leading to a generalized prewetting transition where polymer collapse is coincident with a locally stabilized liquid droplet. We use lattice Monte-Carlo simulations and a mean-field theory to show that these phases can be stable even in regimes where both polymer collapse and coexisting liquid phases are unstable in isolation, and that these new transitions can be either abrupt or continuous. For polymers with internal linear structure we further show that changes in the concentration of bulk components can lead to changes in three-dimensional polymer structure. In the nucleus there are many distinct proteins that interact with many different regions of chromatin, potentially giving rise to many different Prewet phases. The simple systems we consider here highlight chromatin's role as a lower-dimensional surface whose interactions with proteins are required for these novel phases.


title: What Drives Performance in Multilingual Language Models?

abstract: This study investigates the factors influencing the performance of multilingual large language models (MLLMs) across diverse languages. We study 6 MLLMs, including masked language models, autoregressive models, and instruction-tuned LLMs, on the SIB-200 dataset, a topic classification dataset encompassing 204 languages. Our analysis considers three scenarios: ALL languages, SEEN languages (present in the model's pretraining data), and UNSEEN languages (not present or documented in the model's pretraining data in any meaningful way). We examine the impact of factors such as pretraining data size, general resource availability, language family, and script type on model performance. Decision tree analysis reveals that pretraining data size is the most influential factor for SEEN languages. However, interestingly, script type and language family are crucial for UNSEEN languages, highlighting the importance of cross-lingual transfer learning. Notably, model size and architecture do not significantly alter the most important features identified. Our findings provide valuable insights into the strengths and limitations of current MLLMs and hope to guide the development of more effective and equitable multilingual NLP systems.


title: How to define the Unruh-DeWitt detector on manifolds

abstract: The vacuum of an accelerating observer is defined on the local inertial frame, which is called a ``moving frame''. However, in the discussion of the Unruh-deWitt detector, many papers define the vacuum on a fixed frame. This paper discusses the Unruh-deWitt detector by defining the vacuum directly on the local inertial frame, showing that the problem of the Stokes phenomenon can be solved by using the exact WKB.


title: Conductivity Freeze-Out in Isotopically Pure Si-28 at milli-Kelvin Temperatures

abstract: Silicon is a key semiconducting material for electrical devices and hybrid quantum systems where low temperatures and zero-spin isotopic purity can enhance quantum coherence. Electrical conductivity in Si is characterised by carrier freeze out at around 40 K allowing microwave transmission which is a key component for addressing spins efficiently in silicon quantum technologies. In this work, we report an additional sharp transition of the electrical conductivity in a Si-28 cylindrical cavity at around 1 Kelvin. This is observed by measuring microwave resonator Whispering Gallery Mode frequencies and Q factors with changing temperature and comparing these results with finite element models. We attribute this change to a transition from a relaxation mechanism-dominated to a resonant phonon-less absorption-dominated hopping conduction regime. Characterising this regime change represents a deeper understanding of a physical phenomenon in a material of high interest to the quantum technology and semiconductor device community and the impact of these results is discussed.


title: Hidden Symmetries of Power-Law Inflation

abstract: A scalar field with an exponential potential in FLRW universe admits the exact solution. We uncover the hidden symmetries behind the system by utilising the Eisenhart lift of field theories. We find that a conformal Killing vector field in the field space exists only for a particular combination of exponential functions which includes a single exponential potential. This implies the existence of additional conserved quantity and explains the integrability of the system.


title: Efficient Mixed-Precision Matrix Factorization of the Inverse Overlap Matrix in Electronic Structure Calculations with AI-Hardware and GPUs

abstract: In recent years, a new kind of accelerated hardware has gained popularity in the Artificial Intelligence (AI) and Machine Learning (ML) communities which enables extremely high-performance tensor contractions in reduced precision for deep neural network calculations. In this article, we exploit Nvidia Tensor cores, a prototypical example of such AI/ML hardware, to develop a mixed precision approach for computing a dense matrix factorization of the inverse overlap matrix in electronic structure theory, $S^{-1}$. This factorization of $S^{-1}$, written as $ZZ^T=S^{-1}$, is used to transform the general matrix eigenvalue problem into a standard matrix eigenvalue problem. Here we present a mixed precision iterative refinement algorithm where $Z$ is given recursively using matrix-matrix multiplications and can be computed with high performance on Tensor cores. To understand the performance and accuracy of Tensor cores, comparisons are made to GPU-only implementations in single and double precision. Additionally, we propose a non-parametric stopping criteria which is robust in the face of lower precision floating point operations. The algorithm is particularly useful when we have a good initial guess to $Z$, for example, from previous time steps in quantum-mechanical molecular dynamics simulations or from a previous iteration in a geometry optimization.

categories: physics.comp-ph cond-mat.mtrl-sci math-ph math.MP


title: Optimal Bridge, Twin Bridges and Beyond: Inserting Edges into a Road Network to Minimize the Constrained Diameters

abstract: Given a road network modelled as a planar straight-line graph $G=(V,E)$ with $|V|=n$, let $(u,v)\in V\times V$, the shortest path (distance) between $u,v$ is denoted as $\delta_G(u,v)$. Let $\delta(G)=\max_{(u,v)}\delta_G(u,v)$, for $(u,v)\in V\times V$, which is called the diameter of $G$. Given a disconnected road network modelled as two disjoint trees $T_1$ and $T_2$, this paper first aims at inserting one and two edges (bridges) between them to minimize the (constrained) diameter $\delta(T_1\cup T_2\cup I_j)$ going through the inserted edges, where $I_j, j=1,2$, is the set of inserted edges with $|I_1|=1$ and $|I_2|=2$. The corresponding problems are called the {\em optimal bridge} and {\em twin bridges} problems. Since when more than one edge are inserted between two trees the resulting graph is becoming more complex, for the general network $G$ we consider the problem of inserting a minimum of $k$ edges such that the shortest distances between a set of $m$ pairs $P=\{(u_i,v_i)\mid u_i,v_i\in V, i\in [m]\}$, $\delta_G(u_i,v_i)$'s, are all decreased. The main results of this paper are summarized as follows: (1) We show that the optimal bridge problem can be solved in $O(n^2)$ time and that a variation of it has a near-quadratic lower bound unless SETH fails. The proof also implies that the famous 3-SUM problem does have a near-quadratic lower bound for large integers, e.g., each of the $n$ input integers has $\Omega(\log n)$ decimal digits. We then give a simple factor-2 $O(n\log n)$ time approximation algorithm for the optimal bridge problem. (2) We present an $O(n^4)$ time algorithm to solve the twin bridges problem, exploiting some new property not in the optimal bridge problem. (3) For the general problem of inserting $k$ edges to reduce the (graph) distances between $m$ given pairs, we show that the problem is NP-complete.