title: Charm total cross sections with nonuniversal fragmentation treatment

abstract: Total charm-pair cross sections in $pp$ collisions are interesting because they can be calculated to NNLO in QCD without any reference to fragmentation effects. On the other hand, the fiducial differential charm cross sections from which the total cross sections must be extrapolated are currently known to NLO+NLL at most (e.g. FONLL), and must be treated for known effects of nonuniversal charm fragmentation. A new procedure using the FONLL framework as input for an empirical parametrization of the data in both shape and normalization, with all its parameters actually fitted to data, is used to derive so-called data-driven FONLL (ddFONLL) parametrizations which can be used to extrapolate the differential cross sections to total cross sections with minimal bias. This includes an empirical treatment of all known non-universal charm fragmentation effects, in particular for the baryon-to-meson ratio as a function of transverse momentum. The total charm-pair cross sections obtained in this way, which supersede all previous ones obtained using the assumption of charm-fragmentation universality, are consistent with NNLO predictions, and allow first studies of their sensitivity e.g. to the charm-quark mass and/or the NNLO gluon PDF at very low transverse momentum fractions $x$.


title: Understanding the Limitations of Diffusion Concept Algebra Through Food

abstract: Image generation techniques, particularly latent diffusion models, have exploded in popularity in recent years. Many techniques have been developed to manipulate and clarify the semantic concepts these large-scale models learn, offering crucial insights into biases and concept relationships. However, these techniques are often only validated in conventional realms of human or animal faces and artistic style transitions. The food domain offers unique challenges through complex compositions and regional biases, which can shed light on the limitations and opportunities within existing methods. Through the lens of food imagery, we analyze both qualitative and quantitative patterns within a concept traversal technique. We reveal measurable insights into the model's ability to capture and represent the nuances of culinary diversity, while also identifying areas where the model's biases and limitations emerge.


title: Towards robust radiomics and radiogenomics predictive models for brain tumor characterization

abstract: In the context of brain tumor characterization, we focused on two key questions: (a) stability of radiomics features to variability in multiregional segmentation masks obtained with fully-automatic deep segmentation methods and (b) subsequent impact on predictive performance on downstream tasks: IDH prediction and Overall Survival (OS) classification. We further constrained our study to limited computational resources setting which are found in underprivileged, remote, and (or) resource-starved clinical sites in developing countries. We employed seven SOTA CNNs which can be trained with limited computational resources and have demonstrated superior segmentation performance on BraTS challenge. Subsequent selection of discriminatory features was done with RFE-SVM and MRMR. Our study revealed that highly stable radiomics features were: (1) predominantly texture features (79.1%), (2) mainly extracted from WT region (96.1%), and (3) largely representing T1Gd (35.9%) and T1 (28%) sequences. Shape features and radiomics features extracted from the ENC subregion had the lowest average stability. Stability filtering minimized non-physiological variability in predictive models as indicated by an order-of-magnitude decrease in the relative standard deviation of AUCs. The non-physiological variability is attributed to variability in multiregional segmentation maps obtained with fully-automatic CNNs. Stability filtering significantly improved predictive performance on the two downstream tasks substantiating the inevitability of learning novel radiomics and radiogenomics models with stable discriminatory features. The study (implicitly) demonstrates the importance of suboptimal deep segmentation networks which can be exploited as auxiliary networks for subsequent identification of radiomics features stable to variability in automatically generated multiregional segmentation maps.


title: On the automorphism groups of smooth Fano threefolds

abstract: Let $\mathcal{X}$ be a smooth Fano threefold over the complex numbers of Picard rank $1$ with finite automorphism group. We give numerical restrictions on the order of the automorphism group $\mathrm{Aut}(\mathcal{X})$ provided the genus $g(\mathcal{X})\leq 10$ and $\mathcal{X}$ is not an ordinary smooth Gushel-Mukai threefold. More precisely, we show that the order $|\mathrm{Aut}(\mathcal{X})|$ divides a certain explicit number depending on the genus of $\mathcal{X}$. We use a classification of Fano threefolds in terms of complete intersections in homogeneous varieties and the previous paper of A. Gorinov and the author regarding the topology of spaces of regular sections.


title: A Comparison of Recent Algorithms for Symbolic Regression to Genetic Programming

abstract: Symbolic regression is a machine learning method with the goal to produce interpretable results. Unlike other machine learning methods such as, e.g. random forests or neural networks, which are opaque, symbolic regression aims to model and map data in a way that can be understood by scientists. Recent advancements, have attempted to bridge the gap between these two fields; new methodologies attempt to fuse the mapping power of neural networks and deep learning techniques with the explanatory power of symbolic regression. In this paper, we examine these new emerging systems and test the performance of an end-to-end transformer model for symbolic regression versus the reigning traditional methods based on genetic programming that have spearheaded symbolic regression throughout the years. We compare these systems on novel datasets to avoid bias to older methods who were improved on well-known benchmark datasets. Our results show that traditional GP methods as implemented e.g., by Operon still remain superior to two recently published symbolic regression methods.


title: CountCLIP -- [Re] Teaching CLIP to Count to Ten

abstract: Large vision-language models (VLMs) are shown to learn rich joint image-text representations enabling high performances in relevant downstream tasks. However, they fail to showcase their quantitative understanding of objects, and they lack good counting-aware representation. This paper conducts a reproducibility study of 'Teaching CLIP to Count to Ten' (Paiss et al., 2023), which presents a method to finetune a CLIP model (Radford et al., 2021) to improve zero-shot counting accuracy in an image while maintaining the performance for zero-shot classification by introducing a counting-contrastive loss term. We improve the model's performance on a smaller subset of their training data with lower computational resources. We verify these claims by reproducing their study with our own code. The implementation can be found at https://github.com/SforAiDl/CountCLIP.


title: Subsuming Complex Networks by Node Walks

abstract: The concept of node walk in graphs and complex networks has been addressed, consisting of one or more nodes that move into adjacent nodes, henceforth incorporating the respective connections. This type of dynamics is then applied to subsume complex networks. Three types of networks (Erd\'os- R\'eny, Barab\'asi-Albert, as well as a geometric model) are considered, while three node walks heuristics (uniformly random, largest degree, and smallest degree) are taken into account. Several interesting results are obtained and described, including the identification that the subsuming dynamics depend strongly on both the specific topology of the networks as well as the criteria controlling the node walks. The use of node walks as a model for studying the relationship between network topology and dynamics is motivated by this result. In addition, relatively high correlations between the initial node degree and the accumulated strength of the walking node were observed for some combinations of network types and dynamic rules, allowing some of the properties of the subsumption to be roughly predicted from the initial topology around the waking node which has been found, however, not to be enough for full determination of the subsumption dynamics. Another interesting result regards the quite distinct signatures (along the iterations) of walking node strengths obtained for the several considered combinations of network type and subsumption rules.


title: Novel Casimir wormholes in Einstein gravity

abstract: In the context of General Relativity (GR), violation of the null energy condition (NEC) is necessary for existence of static spherically symmetric wormhole solutions. Also, it is a well-known fact that the energy conditions are violated by certain quantum fields, such as the Casimir effect. The magnitude and sign of the Casimir energy depend on Dirichlet or Neumann boundary conditions and geometrical configuration of the objects involved in a Casimir setup. The Casimir energy may act as an ideal candidate for the matter that supports the wormhole geometry. In the present work, we firstly find traversable wormhole solutions supported by a general form for the Casimir energy density assuming a constant redshift function. As well, in this framework, assuming that the radial pressure and energy density obey a linear equation of state, we derive for the first time Casimir traversable wormhole solutions admitting suitable shape function. Then, we consider three geometric configurations of the Casimir effect such as (i) two parallel plates, (ii) two parallel cylindrical shells, and (iii) two spheres. We study wormhole solutions for each case and their property in detail. We also check the weak and strong energy conditions in the spacetime for the obtained wormhole solutions. The stability of the Casimir traversable wormhole solutions are investigated using the Tolman-Oppenheimer-Volkoff (TOV) equation. Finally, we study trajectory of null as well as timelike particles in the wormhole spacetime.


title: Ranking Manipulation for Conversational Search Engines

abstract: Major search engine providers are rapidly incorporating Large Language Model (LLM)-generated content in response to user queries. These conversational search engines operate by loading retrieved website text into the LLM context for summarization and interpretation. Recent research demonstrates that LLMs are highly vulnerable to jailbreaking and prompt injection attacks, which disrupt the safety and quality goals of LLMs using adversarial strings. This work investigates the impact of prompt injections on the ranking order of sources referenced by conversational search engines. To this end, we introduce a focused dataset of real-world consumer product websites and formalize conversational search ranking as an adversarial problem. Experimentally, we analyze conversational search rankings in the absence of adversarial injections and show that different LLMs vary significantly in prioritizing product name, document content, and context position. We then present a tree-of-attacks-based jailbreaking technique which reliably promotes low-ranked products. Importantly, these attacks transfer effectively to state-of-the-art conversational search engines such as perplexity.ai. Given the strong financial incentive for website owners to boost their search ranking, we argue that our problem formulation is of critical importance for future robustness work.


title: Quantum Mechanics of Particles Constrained to Spiral Curves with Application to Polyene Chains

abstract: Context: Due to advances in synthesizing lower dimensional materials there is the challenge of finding the wave equation that effectively describes quantum particles moving on 1D and 2D domains. Jensen and Koppe and Da Costa independently introduced a confining potential formalism showing that the effective constrained dynamics is subjected to a scalar geometry-induced potential; for the confinement to a curve, the potential depends on the curve's curvature function. Method: To characterize the $\pi$ electrons in polyenes, we follow two approaches. First, we utilize a weakened Coulomb potential associated with a spiral curve. The solution to the Schr\"{o}dinger equation with Dirichlet boundary conditions yields Bessel functions, and the spectrum is obtained analytically. We employ the particle-in-a-box model in the second approach, incorporating effective mass corrections. The $\pi$-$\pi^*$ transitions of polyenes were calculated in good experimental agreement with both approaches, although with different wave functions.


title: BVE + EKF: A viewpoint estimator for the estimation of the object's position in the 3D task space using Extended Kalman Filters

abstract: RGB-D sensors face multiple challenges operating under open-field environments because of their sensitivity to external perturbations such as radiation or rain. Multiple works are approaching the challenge of perceiving the 3D position of objects using monocular cameras. However, most of these works focus mainly on deep learning-based solutions, which are complex, data-driven, and difficult to predict. So, we aim to approach the problem of predicting the 3D objects' position using a Gaussian viewpoint estimator named best viewpoint estimator (BVE) powered by an extended Kalman filter (EKF). The algorithm proved efficient on the tasks and reached a maximum average Euclidean error of about 32 mm. The experiments were deployed and evaluated in MATLAB using artificial Gaussian noise. Future work aims to implement the system in a robotic system.


title: Measuring Retrieval Complexity in Question Answering Systems

abstract: In this paper, we investigate which questions are challenging for retrieval-based Question Answering (QA). We (i) propose retrieval complexity (RC), a novel metric conditioned on the completeness of retrieved documents, which measures the difficulty of answering questions, and (ii) propose an unsupervised pipeline to measure RC given an arbitrary retrieval system. Our proposed pipeline measures RC more accurately than alternative estimators, including LLMs, on six challenging QA benchmarks. Further investigation reveals that RC scores strongly correlate with both QA performance and expert judgment across five of the six studied benchmarks, indicating that RC is an effective measure of question difficulty. Subsequent categorization of high-RC questions shows that they span a broad set of question shapes, including multi-hop, compositional, and temporal QA, indicating that RC scores can categorize a new subset of complex questions. Our system can also have a major impact on retrieval-based systems by helping to identify more challenging questions on existing datasets.


title: Du Bois complexes of cones over singular varieties, local cohomological dimension, and K-groups

abstract: We compute the Du Bois complexes of abstract cones over singular varieties, and use this to describe the local cohomological dimension and the non-positive K-groups of such cones.


title: Why is "Problems" Predictive of Positive Sentiment? A Case Study of Explaining Unintuitive Features in Sentiment Classification

abstract: Explainable AI (XAI) algorithms aim to help users understand how a machine learning model makes predictions. To this end, many approaches explain which input features are most predictive of a target label. However, such explanations can still be puzzling to users (e.g., in product reviews, the word "problems" is predictive of positive sentiment). If left unexplained, puzzling explanations can have negative impacts. Explaining unintuitive associations between an input feature and a target label is an underexplored area in XAI research. We take an initial effort in this direction using unintuitive associations learned by sentiment classifiers as a case study. We propose approaches for (1) automatically detecting associations that can appear unintuitive to users and (2) generating explanations to help users understand why an unintuitive feature is predictive. Results from a crowdsourced study (N=300) found that our proposed approaches can effectively detect and explain predictive but unintuitive features in sentiment classification.


title: Overlap integral of stationary scattering states

abstract: The overlap integrals of scattering states in potentials of finite widths are expressed with their asymptotic behaviors and those of energies $E_1$ and $E_2$ consist of diagonal terms that are proportional to $\delta(E_1-E_2)$ and nondiagonal terms. Owing to the composition of nondiagonal terms, superpositions of stationary states have time-dependent norms and finite probability currents. These do not represent isolate states. In various exceptional potentials and in free theory, nondiagonal terms do not exist, and the superpositions of states with different energies represent isolate particles that exactly describe scattering processes.


title: A Multivariate Equivalence Test Based on Mahalanobis Distance with a Data-Driven Margin

abstract: Multivariate equivalence testing is needed in a variety of scenarios for drug development. For example, drug products obtained from natural sources may contain many components for which the individual effects and/or their interactions on clinical efficacy and safety cannot be completely characterized. Such lack of sufficient characterization poses a challenge for both generic drug developers to demonstrate and regulatory authorities to determine the sameness of a proposed generic product to its reference product. Another case is to ensure batch-to-batch consistency of naturally derived products containing a vast number of components, such as botanical products. The equivalence or sameness between products containing many components that cannot be individually evaluated needs to be studied in a holistic manner. Multivariate equivalence test based on Mahalanobis distance may be suitable to evaluate many variables holistically. Existing studies based on such method assumed either a predetermined constant margin, for which a consensus is difficult to achieve, or a margin derived from the data, where, however, the randomness is ignored during the testing. In this study, we propose a multivariate equivalence test based on Mahalanobis distance with a data-drive margin with the randomness in the margin considered. Several possible implementations are compared with existing approaches via extensive simulation studies.


title: Bier spheres and toric topology

abstract: We compute the real and complex Buchstaber numbers of an arbitrary Bier sphere. In dimension two, we identify all the 13 different combinatorial types of Bier spheres and show that 11 of them are nerve complexes of nestohedra, while the remaining two are merely nerve complexes of generalized permutohedra: one of them is a non-flag polytope and the other one is a 2-truncated cube. As an application of our results, we construct a regular normal fan for each of those 13 Delzant polytopes, compute cohomology rings of the corresponding nonsingular projective toric varieties and discuss orientability of the corresponding small covers.


title: Time reversal symmetry breaking and zero magnetic field Josephson diode effect in Dirac semimetal Cd3As2-mediated asymmetric SQUIDs

abstract: A zero-magnetic-field Josephson diode effect (JDE) is observed in an asymmetric superconducting quantum interference device (SQUID) mediated by Dirac semimetal Cd3As2. Herein it is shown that phase coupling between the surface and bulk superconducting channels, a unique phenomenon recently identified in the observations of fractional Josephson effect and Leggett modes in Cd3As2, can break time reversal symmetry (TRS) and, therefore, give rise to the zero-field JDE. It is identified that the efficiency of the JDE can be readily controlled by varying the geometry of the Josephson junction (JJ) arms in the SQUIDs, thus providing an explanation of different JDE behaviors in two SQUIDs examined in this work. Our results are anticipated to have important implications in superconducting electronic circuit applications.


title: Hi5: 2D Hand Pose Estimation with Zero Human Annotation

abstract: We propose a new large synthetic hand pose estimation dataset, Hi5, and a novel inexpensive method for collecting high-quality synthetic data that requires no human annotation or validation. Leveraging recent advancements in computer graphics, high-fidelity 3D hand models with diverse genders and skin colors, and dynamic environments and camera movements, our data synthesis pipeline allows precise control over data diversity and representation, ensuring robust and fair model training. We generate a dataset with 583,000 images with accurate pose annotation using a single consumer PC that closely represents real-world variability. Pose estimation models trained with Hi5 perform competitively on real-hand benchmarks while surpassing models trained with real data when tested on occlusions and perturbations. Our experiments show promising results for synthetic data as a viable solution for data representation problems in real datasets. Overall, this paper provides a promising new approach to synthetic data creation and annotation that can reduce costs and increase the diversity and quality of data for hand pose estimation.


title: Knowledge-Infused Legal Wisdom: Navigating LLM Consultation through the Lens of Diagnostics and Positive-Unlabeled Reinforcement Learning

abstract: The integration of generative Large Language Models (LLMs) into various applications, including the legal domain, has been accelerated by their expansive and versatile nature. However, when facing a legal case, users without a legal background often struggle to formulate professional queries and may inadvertently overlook critical legal factors when presenting their case narrative to LLMs. To address this issue, we propose the Diagnostic Legal Large Language Model (D3LM), which utilizes adaptive lawyer-like diagnostic questions to collect additional case information and then provides high-quality feedback. D3LM incorporates an innovative graph-based Positive-Unlabeled Reinforcement Learning (PURL) algorithm, enabling the generation of critical questions and enhancing user-LLM interactions. Moreover, an integrated LLM-based stopping criterion facilitates precise Court Views Generation (CVG). Our research also introduces a new English-language CVG dataset based on the US case law database, enriching the realm of LLM research and deployment with a vital dimension. D3LM surpasses classical LLMs by delivering outstanding performance and a remarkable user experience in the legal domain.


title: Molecular Cloud Matching in CO and Dust in M33 I. High-Resolution Hydrogen Column Density Maps from Herschel

abstract: This study is aimed to contribute to a more comprehensive understanding of the molecular hydrogen distribution in the galaxy M33 by introducing novel methods for generating high angular resolution (18.2$''$, equivalent to 75 pc) column density maps of molecular hydrogen ($N_{\rm H_2}$). M33 is a local group galaxy that has been observed with Herschel in the far-infrared wavelength range from 70 to 500 $\mu$m. Previous studies have presented total hydrogen column density maps ($N_{\rm H}$), using these FIR data (partly combined with mid-IR maps), employing various methods. We first performed a spectral energy distribution fit to the 160, 250, 350, and 500 $\mu$m continuum data obtain $N_{\rm H}$, using a technique similar to one previously reported in the literature. We also use a second method which involves translating only the 250 $\mu$m map into a $N_{\rm H}$ map at the same angular resolution. An $N_{\rm H_2}$ map via each method is then obtained by subtracting the HI component. Distinguishing our study from previous ones, we adopt a more versatile approach by considering a variable emissivity index, $\beta$ and dust absorption coefficient, $\kappa_0$. This choice enables us to construct a $\kappa_0$ map, thereby enhancing the depth and accuracy of our investigation of the hydrogen column density. We address the inherent biases and challenges within both methods (which give similar results) and compare them with existing maps available in the literature. Moreover, we calculate a map of the carbon monoxide CO-to-H$_2$ conversion factor ($X_\mathrm{CO}$ factor), which shows a strong dispersion around an average value of $1.8\times10^{20}\,\mathrm{cm^{-2}/(K\,km\,s^{-1})}$ throughout the disk. We obtain column density probability distribution functions (N-PDFs) from the $N_{\rm H}$, $N_{\rm H_2}$, and $N_{HI}$ maps and discuss their shape.


title: Capillary Flow Printing of Submicron Carbon Nanotube Transistors

abstract: Although printed transistors have a wide range of applications, the limited resolution of printing techniques (10-30 um) has been a barrier to advancement and scaling, particularly down to submicron dimensions. While previous works have shown creative approaches to realizing submicron channel lengths with printing, reliance on chemical processes unique to specific inks or tedious post-processing limit their applicability. Here, we report the use of capillary flow printing (CFP) to repeatably create fully printed submicron carbon nanotube thin-film transistors (CNT-TFTs) without chemical modification or physical manipulation post-printing. The versatility of this printing technique is demonstrated by printing conducting, semiconducting, and insulating inks on several types of substrates (SiO2, Kapton, and paper) and through the fabrication of various TFT device (contacting/gating) architectures. Notably, CFP of these CNT-TFTs yielded on-currents of 1.12 mA/mm when back gated on Si/SiO2, and 490 uA/mm when side gated through ion gel on Kapton, demonstrating the strong transistor performance achievable with CFP. Mechanical bending and sweep rate resilience of devices printed on Kapton show the wide utility of CFP-fabricated devices for flexible applications. This work highlights the ability of CFP as a viable fabrication method for submicron electronics through cleanroom-free printing techniques.


title: Alignment Calibration: Machine Unlearning for Contrastive Learning under Auditing

abstract: Machine unlearning provides viable solutions to revoke the effect of certain training data on pre-trained model parameters. Existing approaches provide unlearning recipes for classification and generative models. However, a category of important machine learning models, i.e., contrastive learning (CL) methods, is overlooked. In this paper, we fill this gap by first proposing the framework of Machine Unlearning for Contrastive learning (MUC) and adapting existing methods. Furthermore, we observe that several methods are mediocre unlearners and existing auditing tools may not be sufficient for data owners to validate the unlearning effects in contrastive learning. We thus propose a novel method called Alignment Calibration (AC) by explicitly considering the properties of contrastive learning and optimizing towards novel auditing metrics to easily verify unlearning. We empirically compare AC with baseline methods on SimCLR, MoCo and CLIP. We observe that AC addresses drawbacks of existing methods: (1) achieving state-of-the-art performance and approximating exact unlearning (retraining); (2) allowing data owners to clearly visualize the effect caused by unlearning through black-box auditing.


title: Cyclically ordered quivers

abstract: A cyclically ordered quiver is a quiver endowed with an additional structure of a cyclic ordering of its vertices. This structure, which naturally arises in many important applications, gives rise to new powerful mutation invariants.


title: Towards the Development of a Tendon-Actuated Galvanometer for Endoscopic Surgical Laser Scanning

abstract: There is a need for precision pathological sensing, imaging, and tissue manipulation in neurosurgical procedures, such as brain tumor resection. Precise tumor margin identification and resection can prevent further growth and protect critical structures. Surgical lasers with small laser diameters and steering capabilities can allow for new minimally invasive procedures by traversing through complex anatomy, then providing energy to sense, visualize, and affect tissue. In this paper, we present the design of a small-scale tendon-actuated galvanometer (TAG) that can serve as an end-effector tool for a steerable surgical laser. The galvanometer sensor design, fabrication, and kinematic modeling are presented and derived. It can accurately rotate up to 30.14 degrees (or a laser reflection angle of 60.28 degrees). A kinematic mapping of input tendon stroke to output galvanometer angle change and a forward-kinematics model relating the end of the continuum joint to the laser end-point are derived and validated.


title: Neural force functional for non-equilibrium many-body colloidal systems

abstract: We combine power functional theory and machine learning to study non-equilibrium overdamped many-body systems of colloidal particles at the level of one-body fields. We first sample in steady state the one-body fields relevant for the dynamics from computer simulations of Brownian particles under the influence of randomly generated external fields. A neural network is then trained with this data to represent locally in space the formally exact functional mapping from the one-body density and velocity profiles to the one-body internal force field. The trained network is used to analyse the non-equilibrium superadiabatic force field and the transport coefficients such as shear and bulk viscosities. Due to the local learning approach, the network can be applied to systems much larger than the original simulation box in which the one-body fields are sampled. Complemented with the exact non-equilibrium one-body force balance equation and a continuity equation, the network yields viable predictions of the dynamics in time-dependent situations. Even though training is based on steady states only, the predicted dynamics is in good agreement with simulation results. A neural dynamical density functional theory can be straightforwardly implemented as a limiting case in which the internal force field is that of an equilibrium system. The framework is general and directly applicable to other many-body systems of interacting particles following Brownian dynamics.


title: Does the Sun have a Dark Disk?

abstract: The Sun is not quite a perfect sphere, and its oblateness, thought to be induced through its rotation, has been measured using optical observations of its radius. Its gravitational quadrupole moment can then be deduced using solar models, or through helioseismology, and it can also be determined from measurements of its gravitational effects on Mercury's orbit. The various assessments do not agree, with the most complete and precise orbital assessments being in slight excess of other determinations. This may speak to the existence of a non-luminous disk or ring, where we also note evidence for a circumsolar dust ring within Mercury's orbit from the Solar TErrestrial RElations Observatory (STEREO) mission. Historically, too, a protoplanetary disk may have been key to reconciling the Sun's metallicity with its neutrino yield. The distribution of the non-luminous mass within Mercury's orbit can modify the relative size of the optical and orbital quadrupole moments in different ways. We develop how we can use these findings to limit a dark disk, ring, or halo in the immediate vicinity of the Sun, and we note how future orbital measurements of Mercury and near-Sun asteroids can refine these constraints.


title: Fantastyc: Blockchain-based Federated Learning Made Secure and Practical

abstract: Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without sharing their local data. The centrality of this framework represents a point of failure which is addressed in literature by blockchain-based federated learning approaches. While ensuring a fully-decentralized solution with traceability, such approaches still face several challenges about integrity, confidentiality and scalability to be practically deployed. In this paper, we propose Fantastyc, a solution designed to address these challenges that have been never met together in the state of the art.


title: Modulated Ringdown Comb Interferometry for next-generation high complexity trace gas sensing

abstract: Gas samples relevant to health and environment typically contain a plethora of molecular species that span a huge concentration dynamic range. High-concentration molecules impose a strong absorption background that hinders robust identification of low-concentration species. While mid-infrared frequency comb spectroscopy with high-finesse cavity enhancement has realized many of the most sensitive multi-species trace gas detection to date, its robust performance requires gas samples to contain only weak absorption features to avoid dispersing cavity resonances from the comb line frequencies. Here we introduce a new technique that is free from this restriction, thus enabling the development of next-generation multi-species trace gas sensing with broad applicability to complex and dynamic molecular compositions. The principle of Modulated Ringdown Comb Interferometry is to resolve ringdown dynamics carried by massively parallel comb lines transmitted through a length-modulated cavity. This method leverages both periodicity of the field dynamics and Doppler frequency shifts introduced from a Michelson interferometer. Scalable enhancement of both spectral coverage and cavity finesse is enabled with dispersion immune and high-efficiency data collection. Built upon this platform, we realize in the mid-infrared a product of finesse and spectral coverage that is orders of magnitude better than all prior experiments. We demonstrate the power of this technique by measuring highly dispersive exhaled human breath samples over a vastly expanded spectral coverage of 1,010 cm-1 and with cavity finesse of 23,000. This allows for the first time simultaneous quantification of 20 distinct molecular species at > 1 part-per-trillion sensitivity with their concentrations varying by 7 orders of magnitude.


title: Large geometric polarization and magnetic behavior in the multiferroic quasi-2D SrNiF$_4$ fluoride

abstract: In the last decades, multifunctional single-crystals that show, for example, multiferroic and magnetoelectric responses have attracted considerable attention due to the potential applications and physical phenomena involved in the entanglement of the ferroic orders. This paper investigates the structural, ferroelectric, and magnetic properties of the unexplored layered SrNiF$_4$ fluoride compound. We show that, in terms of the vibrational phonon modes, this fluoride compound shows a tangible ferroelectric behavior with a spontaneous polarization as large as $P_s$ = 14.8 $\mu$C$\cdot$cm$^{-2}$ standing as one of the largest among its family. Besides, based on our findings such ferroelectric polarization presents a geometric origin that is strongly entangled with the octahedral rotations within the $\Gamma_2^-$ phonon mode and enhanced by the structure's $\Gamma_1^+$ mode. We also observed that the spontaneous polarization is coupled to the noncollinear $G$-type antiferromagnetic ordering in the structure allowing a switching of the weak antiferromagnetic component when the polarization is reversed.


title: FedPylot: Navigating Federated Learning for Real-Time Object Detection in Internet of Vehicles

abstract: The Internet of Vehicles (IoV) emerges as a pivotal component for autonomous driving and intelligent transportation systems (ITS), by enabling low-latency big data processing in a dense interconnected network that comprises vehicles, infrastructures, pedestrians and the cloud. Autonomous vehicles are heavily reliant on machine learning (ML) and can strongly benefit from the wealth of sensory data generated at the edge, which calls for measures to reconcile model training with preserving the privacy of sensitive user data. Federated learning (FL) stands out as a promising solution to train sophisticated ML models in vehicular networks while protecting the privacy of road users and mitigating communication overhead. This paper examines the federated optimization of the cutting-edge YOLOv7 model to tackle real-time object detection amid data heterogeneity, encompassing unbalancedness, concept drift, and label distribution skews. To this end, we introduce FedPylot, a lightweight MPI-based prototype to simulate federated object detection experiments on high-performance computing (HPC) systems, where we safeguard server-client communications using hybrid encryption. Our study factors in accuracy, communication cost, and inference speed, thereby presenting a balanced approach to the challenges faced by autonomous vehicles. We demonstrate promising results for the applicability of FL in IoV and hope that FedPylot will provide a basis for future research into federated real-time object detection. The source code is available at https://github.com/cyprienquemeneur/fedpylot.


title: A note on sequences variant of irregularity strength for hypercubes

abstract: Let $f: E \mapsto \{1,2,\dots,k\}$ be an edge coloring of the $n$ - dimensional hypercube $H_n$. By the palette at a vertex $v$ we mean the sequence $\left(f(e_1(v)), f(e_1(v)),\dots, f(e_n(v))\right)$, where $e_i(v)$ is the $i$ - dimensional edge incident to $v$. In the paper, we show that two colors are enough to distinguish all vertices of the $n$ - dimensional hypercube $H_n$ ($n \geq 2$) by their palettes. We also show that if $f$ is a proper edge coloring of the hypercube $H_n$ ($n\geq 5$), then $n$ colors suffice to distinguish all vertices by their palettes.


title: Weighted Gelfand pairs, weighted spherical Fourier transform and multipliers

abstract: A kind of generalized Gelfand pair is introduced via a Banach algebra consisting of bi-invariant functions in a weighted Lebesgue space. The related spherical functions and the Fourier transformation are constructed. The multipliers of the underlying algebra are characterized by this Fourier transformation.


title: Advancing Anomaly Detection: Non-Semantic Financial Data Encoding with LLMs

abstract: Detecting anomalies in general ledger data is of utmost importance to ensure trustworthiness of financial records. Financial audits increasingly rely on machine learning (ML) algorithms to identify irregular or potentially fraudulent journal entries, each characterized by a varying number of transactions. In machine learning, heterogeneity in feature dimensions adds significant complexity to data analysis. In this paper, we introduce a novel approach to anomaly detection in financial data using Large Language Models (LLMs) embeddings. To encode non-semantic categorical data from real-world financial records, we tested 3 pre-trained general purpose sentence-transformer models. For the downstream classification task, we implemented and evaluated 5 optimized ML models including Logistic Regression, Random Forest, Gradient Boosting Machines, Support Vector Machines, and Neural Networks. Our experiments demonstrate that LLMs contribute valuable information to anomaly detection as our models outperform the baselines, in selected settings even by a large margin. The findings further underscore the effectiveness of LLMs in enhancing anomaly detection in financial journal entries, particularly by tackling feature sparsity. We discuss a promising perspective on using LLM embeddings for non-semantic data in the financial context and beyond.


title: Phase dynamics of tunnel Al-based ferromagnetic Josephson junctions

abstract: By measuring the current-voltage characteristics and the switching current distributions as a function of temperature, we have investigated the phase dynamics of Al tunnel ferromagnetic Josephson junctions (JJs), designed to fall in the typical range of parameters of state-of-the-art transmons, providing evidence of phase diffusion processes. The comparison with the experimental outcomes on non-magnetic JJs with nominally the same electrodynamical parameters demonstrates that the introduction of ferromagnetic barriers does not cause any sizeable detrimental effect, and supports the notion of including tunnel ferromagnetic JJs in qubit architectures.


title: BEACON: A Bayesian Optimization Strategy for Novelty Search in Expensive Black-Box Systems

abstract: Novelty search (NS) refers to a class of exploration algorithms that automatically uncover diverse system behaviors through simulations or experiments. Systematically obtaining diverse outcomes is a key component in many real-world design problems such as material and drug discovery, neural architecture search, reinforcement learning, and robot navigation. Since the relationship between the inputs and outputs (i.e., behaviors) of these complex systems is typically not available in closed form, NS requires a black-box perspective. Consequently, popular NS algorithms rely on evolutionary optimization and other meta-heuristics that require intensive sampling of the input space, which is impractical when the system is expensive to evaluate. We propose a Bayesian optimization inspired algorithm for sample-efficient NS that is specifically designed for such expensive black-box systems. Our approach models the input-to-behavior mapping with multi-output Gaussian processes (MOGP) and selects the next point to evaluate by maximizing a novelty metric that depends on a posterior sample drawn from the MOGP that promotes both exploration and exploitation. By leveraging advances in efficient posterior sampling and high-dimensional Gaussian process modeling, we discuss how our approach can be made scalable with respect to both amount of data and number of inputs. We test our approach on ten synthetic benchmark problems and eight real-world problems (with up to 2133 inputs) including new applications such as discovery of diverse metal organic frameworks for use in clean energy technology. We show that our approach greatly outperforms existing NS algorithms by finding substantially larger sets of diverse behaviors under limited sample budgets.


title: Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

abstract: Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. We show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems. We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$. To prove this result, we classify the elliptic surfaces into six families, and prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if one surface in a family satisfies the Tate conjecture, then all but finitely many do. We then verify the Tate conjecture for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.


title: TACT: Advancing Complex Aggregative Reasoning with Information Extraction Tools

abstract: Large Language Models (LLMs) often do not perform well on queries that require the aggregation of information across texts. To better evaluate this setting and facilitate modeling efforts, we introduce TACT - Text And Calculations through Tables, a dataset crafted to evaluate LLMs' reasoning and computational abilities using complex instructions. TACT contains challenging instructions that demand stitching information scattered across one or more texts, and performing complex integration on this information to generate the answer. We construct this dataset by leveraging an existing dataset of texts and their associated tables. For each such tables, we formulate new queries, and gather their respective answers. We demonstrate that all contemporary LLMs perform poorly on this dataset, achieving an accuracy below 38\%. To pinpoint the difficulties and thoroughly dissect the problem, we analyze model performance across three components: table-generation, Pandas command-generation, and execution. Unexpectedly, we discover that each component presents substantial challenges for current LLMs. These insights lead us to propose a focused modeling framework, which we refer to as IE as a tool. Specifically, we propose to add "tools" for each of the above steps, and implement each such tool with few-shot prompting. This approach shows an improvement over existing prompting techniques, offering a promising direction for enhancing model capabilities in these tasks.


title: Symmetry Discovery Beyond Affine Transformations

abstract: Symmetry detection has been shown to improve various machine learning tasks. In the context of continuous symmetry detection, current state of the art experiments are limited to the detection of affine transformations. Under the manifold assumption, we outline a framework for discovering continuous symmetry in data beyond the affine transformation group. We also provide a similar framework for discovering discrete symmetry. We experimentally compare our method to an existing method known as LieGAN and show that our method is competitive at detecting affine symmetries for large sample sizes and superior than LieGAN for small sample sizes. We also show our method is able to detect continuous symmetries beyond the affine group and is generally more computationally efficient than LieGAN.


title: Private Online Learning via Lazy Algorithms

abstract: We study the problem of private online learning, specifically, online prediction from experts (OPE) and online convex optimization (OCO). We propose a new transformation that transforms lazy online learning algorithms into private algorithms. We apply our transformation for differentially private OPE and OCO using existing lazy algorithms for these problems. Our final algorithms obtain regret, which significantly improves the regret in the high privacy regime $\varepsilon \ll 1$, obtaining $\sqrt{T \log d} + T^{1/3} \log(d)/\varepsilon^{2/3}$ for DP-OPE and $\sqrt{T} + T^{1/3} \sqrt{d}/\varepsilon^{2/3}$ for DP-OCO. We also complement our results with a lower bound for DP-OPE, showing that these rates are optimal for a natural family of low-switching private algorithms.


title: Generalizations of Burch Ideals and Ideal-Periodicity

abstract: Consider an infinite minimal free resolution of a module $M$ over a local Noetherian ring $R$. It was shown by Eisenbud that if $R$ is a complete intersection ring, then a minimal resolution is periodic iff it is bounded. Over more general rings, Peeva and Gasharov showed this periodicity does not always hold. However, in every computed example, the sum of $n$ consecutive ideals of minors of matrices in the resolution is fixed for some $n$, asymptotically. We prove this in general for certain Generalized Positive Burch Index Rings, in the sense of Dao, Kobayashi, and Takahashi. In doing so, we develop techniques that begin to explain this periodicity in more generality.


title: Generalized two-point visual control model of human steering for accurate state estimation

abstract: We derive and validate a generalization of the two-point visual control model, an accepted cognitive science model for human steering behavior. The generalized model is needed as current steering models are either insufficiently accurate or too complex for online state estimation. We demonstrate that the generalized model replicates specific human steering behavior with high precision (85\% reduction in modeling error) and integrate this model into a human-as-advisor framework where human steering inputs are used for state estimation. As a benchmark study, we use this framework to decipher ambiguous lane markings represented by biased lateral position measurements. We demonstrate that, with the generalized model, the state estimator can accurately estimate the true vehicle state, providing lateral state estimates with under 0.25 m error on average across participants. However, without the generalized model, the estimator cannot accurately estimate the vehicle's lateral state.


title: The fundamental functions of the canonical basis of Hardy spaces of Dirichlet series

abstract: Given a frequency $\lambda=(\lambda_n)$, we consider the Hardy spaces $ \mathcal{H}_p^\lambda$ of $\lambda$-Dirichlet series $ D = \sum_n a_n e^{-\lambda_n s}$ and study the asymptotic behavior of the upper and lower democracy functions of its canonical basis $\mathcal B=\{e^{-\lambda_ns}\}$. For the ordinary case, $\mathcal B=\{n^{-s}\}$, we give the correct asymptotic behavior of all such functions, while in the general case we give sharp lower and upper bounds for all possible behaviors. Moreover, for $p>2$ we present examples showing that any intermediate behavior (between the extreme bounds) can occur. We also study how different properties of the frequency $\lambda$ lead to particular behaviors of the corresponding fundamental functions. Finally, we apply our results to analyze greedy-type properties of $\mathcal B=\{e^{-\lambda_ns}\}$ for some particular $\lambda$'s.


title: Entanglement harvesting in buckled honeycomb lattices by vacuum fluctuations in a microcavity

abstract: We study the entanglement harvesting between two identical buckled honeycomb lattices placed inside a planar microcavity. By applying time dependent perturbation theory, we obtain quantum correlations between both layers induced by the cavity field. Considering the vacuum state as the initial state of the cavity field and tracing out the time-evolved degrees of freedom, we analyze the entanglement formation using the concurrence measure. We show that the concurrence depends on the virtual photon exchanged and the positions of the layer through the interlayer photon propagator. Furthermore, we find that the formation of entanglement between equal energy electrons tends to be enhanced when they move in perpendicular directions. Our results indicate that a buckled honeycomb structure and a large spin-orbit interaction favor the entanglement harvesting.


title: Degrees of Freedom Matter: Inferring Dynamics from Point Trajectories

abstract: Understanding the dynamics of generic 3D scenes is fundamentally challenging in computer vision, essential in enhancing applications related to scene reconstruction, motion tracking, and avatar creation. In this work, we address the task as the problem of inferring dense, long-range motion of 3D points. By observing a set of point trajectories, we aim to learn an implicit motion field parameterized by a neural network to predict the movement of novel points within the same domain, without relying on any data-driven or scene-specific priors. To achieve this, our approach builds upon the recently introduced dynamic point field model that learns smooth deformation fields between the canonical frame and individual observation frames. However, temporal consistency between consecutive frames is neglected, and the number of required parameters increases linearly with the sequence length due to per-frame modeling. To address these shortcomings, we exploit the intrinsic regularization provided by SIREN, and modify the input layer to produce a spatiotemporally smooth motion field. Additionally, we analyze the motion field Jacobian matrix, and discover that the motion degrees of freedom (DOFs) in an infinitesimal area around a point and the network hidden variables have different behaviors to affect the model's representational power. This enables us to improve the model representation capability while retaining the model compactness. Furthermore, to reduce the risk of overfitting, we introduce a regularization term based on the assumption of piece-wise motion smoothness. Our experiments assess the model's performance in predicting unseen point trajectories and its application in temporal mesh alignment with guidance. The results demonstrate its superiority and effectiveness. The code and data for the project are publicly available: \url{https://yz-cnsdqz.github.io/eigenmotion/DOMA/}


title: Learning in Spatial Branching: Limitations of Strong Branching Imitation

abstract: Over the last few years, there has been a surge in the use of learning techniques to improve the performance of optimization algorithms. In particular, the learning of branching rules in mixed integer linear programming has received a lot of attention, with most methodologies based on strong branching imitation. Recently, some advances have been made as well in the context of nonlinear programming, with some methodologies focusing on learning to select the best branching rule among a predefined set of rules leading to promising results. In this paper we explore, in the nonlinear setting, the limits on the improvements that might be achieved by the above two approaches: learning to select the best variable (strong branching) and learning to select the best rule (rule selection).


title: Optimal Control and Glassiness in Quantum Sensing

abstract: Quantum systems are powerful detectors with wide-ranging applications from scanning probe microscopy of materials to biomedical imaging. Nitrogen vacancy (NV) centers in diamond, for instance, can be operated as qubits for sensing of magnetic field, temperature, or related signals. By well-designed application of pulse sequences, experiments can filter this signal from environmental noise, allowing extremely sensitive measurements with single NV centers. Recently, optimal control has been used to further improve sensitivity by modification of the pulse sequence, most notably by optimal placement of $\pi$ pulses. Here we consider extending beyond $\pi$ pulses, exploring optimization of a continuous, time-dependent control field. We show that the difficulty of optimizing these protocols can be mapped to the difficulty of finding minimum free energy in a classical frustrated spin system. While most optimizations we consider show autocorrelations of the sensing protocol that grow as a power law -- similar to an Ising spin glass -- the continuous control shows slower logarithmic growth, suggestive of a harder Heisenberg-like glassy landscape.


title: Synthetic Oversampling: Theory and A Practical Approach Using LLMs to Address Data Imbalance

abstract: Imbalanced data and spurious correlations are common challenges in machine learning and data science. Oversampling, which artificially increases the number of instances in the underrepresented classes, has been widely adopted to tackle these challenges. In this article, we introduce OPAL (\textbf{O}versam\textbf{P}ling with \textbf{A}rtificial \textbf{L}LM-generated data), a systematic oversampling approach that leverages the capabilities of large language models (LLMs) to generate high-quality synthetic data for minority groups. Recent studies on synthetic data generation using deep generative models mostly target prediction tasks. Our proposal differs in that we focus on handling imbalanced data and spurious correlations. More importantly, we develop a novel theory that rigorously characterizes the benefits of using the synthetic data, and shows the capacity of transformers in generating high-quality synthetic data for both labels and covariates. We further conduct intensive numerical experiments to demonstrate the efficacy of our proposed approach compared to some representative alternative solutions.


title: Iterates of Quadratics and Monogenicity

abstract: We investigate monogenicity and prime splitting in extensions generated by roots of iterated quadratic polynomials. Let $f(x)\in\mathbb{Z}[x]$ be an irreducible, monic, quadratic polynomial, and write $f^n(x)$ for the $n^{\text{th}}$ iterate. We obtain necessary and sufficient conditions for $f^n(x)$ to be monogenic for each $n$. We use this to construct multiple families where $f^n(x)$ is monogenic for every $n>0$.


title: Active ML for 6G: Towards Efficient Data Generation, Acquisition, and Annotation

abstract: This paper explores the integration of active machine learning (ML) for 6G networks, an area that remains under-explored yet holds potential. Unlike passive ML systems, active ML can be made to interact with the network environment. It actively selects informative and representative data points for training, thereby reducing the volume of data needed while accelerating the learning process. While active learning research mainly focuses on data annotation, we call for a network-centric active learning framework that considers both annotation (i.e., what is the label) and data acquisition (i.e., which and how many samples to collect). Moreover, we explore the synergy between generative artificial intelligence (AI) and active learning to overcome existing limitations in both active learning and generative AI. This paper also features a case study on a mmWave throughput prediction problem to demonstrate the practical benefits and improved performance of active learning for 6G networks. Furthermore, we discuss how the implications of active learning extend to numerous 6G network use cases. We highlight the potential of active learning based 6G networks to enhance computational efficiency, data annotation and acquisition efficiency, adaptability, and overall network intelligence. We conclude with a discussion on challenges and future research directions for active learning in 6G networks, including development of novel query strategies, distributed learning integration, and inclusion of human- and machine-in-the-loop learning.


title: Discovering Bias in Latent Space: An Unsupervised Debiasing Approach

abstract: The question-answering (QA) capabilities of foundation models are highly sensitive to prompt variations, rendering their performance susceptible to superficial, non-meaning-altering changes. This vulnerability often stems from the model's preference or bias towards specific input characteristics, such as option position or superficial image features in multi-modal settings. We propose to rectify this bias directly in the model's internal representation. Our approach, SteerFair, finds the bias direction in the model's representation space and steers activation values away from it during inference. Specifically, we exploit the observation that bias often adheres to simple association rules, such as the spurious association between the first option and correctness likelihood. Next, we construct demonstrations of these rules from unlabeled samples and use them to identify the bias directions. We empirically show that SteerFair significantly reduces instruction-tuned model performance variance across prompt modifications on three benchmark tasks. Remarkably, our approach surpasses a supervised baseline with 100 labels by an average of 10.86% accuracy points and 12.95 score points and matches the performance with 500 labels.


title: Finding maximum matchings in RDV graphs efficiently

abstract: In this paper, we study the maximum matching problem in RDV graphs, i.e., graphs that are vertex-intersection graphs of downward paths in a rooted tree. We show that this problem can be reduced to a problem of testing (repeatedly) whether a vertical segment intersects one of a dynamically changing set of horizontal segments, which in turn reduces to an orthogonal ray shooting query. Using a suitable data structure, we can therefore find a maximum matching in $O(n\log n)$ time (presuming a linear-sized representation of the graph is given), i.e., without even looking at all edges.


title: The Massive and Distant Clusters of WISE Survey 2: A Stacking Analysis Investigating the Evolution of Star Formation Rates and Stellar Masses in Groups and Clusters

abstract: The evolution of galaxies depends on their masses and local environments; understanding when and how environmental quenching starts to operate remains a challenge. Furthermore, studies of the high-redshift regime have been limited to massive cluster members, owing to sensitivity limits or small fields of views when the sensitivity is sufficient, intrinsically biasing the picture of cluster evolution. In this work, we use stacking to investigate the average star formation history of more than 10,000 groups and clusters drawn from the Massive and Distant Clusters of WISE Survey 2 (MaDCoWS2). Our analysis covers near ultraviolet to far infrared wavelengths, for galaxy overdensities at $0.5 \lesssim z \lesssim 2.54$. We employ SED fitting to measure the specific star formation rates (sSFR) in four annular apertures with radii between 0 and 1000 kpc. At $z \gtrsim 1.6$, the average sSFR evolves similarly to the field in both the core and the cluster outskirts. Between $\overline{z} = 1.60$ and $\overline{z} = 1.35$, the sSFR in the core drops sharply, and continues to fall relative to the field sSFR at lower redshifts. We interpret this change as evidence that the impact of environmental quenching dramatically increases at $z \sim 1.5$, with the short time span of the transition suggesting that the environmental quenching mechanism dominant at this redshift operates on a rapid timescale. We find indications that the sSFR may decrease with increasing host halo mass, but lower-scatter mass tracers than the signal-to-noise ratio (S/N) are needed to confirm this relationship.


title: Approximating partial differential equations without boundary conditions

abstract: We consider the problem of numerically approximating the solutions to an elliptic partial differential equation (PDE) for which the boundary conditions are lacking. To alleviate this missing information, we assume to be given measurement functionals of the solution. In this context, a near optimal recovery algorithm based on the approximation of the Riesz representers of these functionals in some intermediate Hilbert spaces is proposed and analyzed in [Binev et al. 2024]. Inherent to this algorithm is the computation of $H^s$, $s>1/2$, inner products on the boundary of the computational domain. We take advantage of techniques borrowed from the analysis of fractional diffusion problems to design and analyze a fully practical near optimal algorithm not relying on the challenging computation of $H^s$ inner products.


title: About the second neighborhood conjecture for tournaments missing two stars or disjoint paths

abstract: Seymour's Second Neighborhood Conjecture (SSNC) asserts that every oriented finite simple graph (without digons) has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). In this paper, we prove SSNC for tournaments missing two stars. We also study SSNC for tournaments missing disjoint paths and, particularly, in the case of missing paths of length 2. In some cases, we exhibit at least two vertices with the SNP.


title: Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages

abstract: Recent advances in large language models (LLMs) for code applications have demonstrated remarkable zero-shot fluency and instruction following on challenging code related tasks ranging from test case generation to self-repair. Unsurprisingly, however, models struggle to compose syntactically valid programs in programming languages unrepresented in pre-training, referred to as very low-resource Programming Languages (VLPLs). VLPLs appear in crucial settings, including domain-specific languages for internal tools and tool-chains for legacy languages. Inspired by an HCI technique called natural program elicitation, we propose designing an intermediate language that LLMs ``naturally'' know how to use and which can be automatically compiled to a target VLPL. When LLMs generate code that lies outside of this intermediate language, we use compiler techniques to repair the code into programs in the intermediate language. Overall, we introduce \emph{synthetic programming elicitation and compilation} (SPEAC), an approach that enables LLMs to generate syntactically valid code even for VLPLs. We empirically evaluate the performance of SPEAC in a case study and find that, compared to existing retrieval and fine-tuning baselines, SPEAC produces syntactically correct programs significantly more frequently without sacrificing semantic correctness.


title: Style Mixture of Experts for Expressive Text-To-Speech Synthesis

abstract: Recent advances in style transfer text-to-speech (TTS) have improved the expressiveness of synthesized speech. Despite these advancements, encoding stylistic information from diverse and unseen reference speech remains challenging. This paper introduces StyleMoE, an approach that divides the embedding space, modeled by the style encoder, into tractable subsets handled by style experts. The proposed method replaces the style encoder in a TTS system with a Mixture of Experts (MoE) layer. By utilizing a gating network to route reference speeches to different style experts, each expert specializes in aspects of the style space during optimization. Our experiments objectively and subjectively demonstrate the effectiveness of our proposed method in increasing the coverage of the style space for diverse and unseen styles. This approach can enhance the performance of existing state-of-the-art style transfer TTS models, marking the first study of MoE in style transfer TTS to our knowledge.


title: Strong-Coupling Modification of Singlet-Fission Dynamical Pathways

abstract: We investigate theoretically the influence of strong light-matter coupling on the initial steps of the photo-triggered singlet-fission process. In particular we focus on intra-molecular singlet fission in a TIPS-pentacene dimer derivative described by a vibronic Hamiltonian including the optically active singlet excited states, doubly excited and charge transfer states, as well as the final triplet-triplet pair state. Quantum dynamics simulations of up to four dimers in the cavity indicate that the modified resonance condition imposed by the cavity strongly quenches the passage through the intermediate charge transfer and double-excitation states, thus largely reducing the triplet-triplet yield in the bare system. Subsequently, we modify the system parameters and construct a model Hamiltonian where the optically-active singlet excitation lies below the final triplet-triplet state such that the yield of the bare system becomes insignificant. In this case we find that using the upper polariton as the doorway state for photo-excitation can lead to a much enhanced yield. This pathway is operative provided that the system is sufficiently rigid to prevent vibronic losses from the upper polariton to the dark-states manifold.


title: Gravitating vortices and Symplectic Reduction by Stages

abstract: We undertake a novel approach to the existence problem for gravitating vortices on a Riemann surface based on symplectic reduction by stages, which seems to be new in the PDE as well as the gauge theory literature. The main technical tool for our study is the reduced $\alpha$-K-energy, for which we establish convexity properties by means of finite-energy pluripotential theory, as recently applied to the study of constant scalar curvature K\"ahler metrics. Using these methods, we prove that the existence of solutions to the gravitating vortex equations on the sphere implies the polystability of the effective divisor defined by the zeroes of the Higgs field. This approach also enables us to establish the uniqueness of gravitating vortices in any admissible K\"ahler class, in the absence of automorphisms. Lastly, we also prove the existence of solutions for the gravitating vortex equations for genus $g\geq 1$ for certain ranges of the coupling constant $\alpha$ and the volume.


title: Lithium Borohydride (LiBH4): An Innovative Material for Neutron Radiation Shielding

abstract: Radiation shielding plays a crucial role in various industries, including nuclear and space exploration. Among the most abundant elements and isotopes found in nature, 10B has one of the highest neutron absorption cross-sections, closely followed by 6Li. It is worth noting that hydrogen, with its light nucleus, serves as an excellent neutron reflector. Surprisingly, the potential of the lithium borohydride molecule (LiBH4), which consists exclusively of these elements, as a shield against neutron radiation has not yet been explored. This study investigates various materials that can potentially be used as shields. First, we assessed traditional shields and previous optimizations for shielding. The findings showed that concrete containing 10% B4C yielded the best results. High-performance concrete (HPC) replaced regular concrete. By gradually incorporating lithium borohydride into the shield, along with the appropriate level of boron carbide, further optimization was achieved. Calculations were performed using the MCNPX 2.7E code. The introduction of the new shield resulted in a significant 40% reduction in volume compared with the previous sample. The study findings showed that a 30 cm thick shield effectively blocked 95% of the total neutrons and 92% of the total gamma radiation. Additionally, it was noted that the shielding effects of lithium borohydride against fast neutrons are greater than those of boron carbide. Various parameters and data of the designed shield were calculated and compared with those of the previous sample.


title: Task and Motion Planning for Execution in the Real

abstract: Task and motion planning represents a powerful set of hybrid planning methods that combine reasoning over discrete task domains and continuous motion generation. Traditional reasoning necessitates task domain models and enough information to ground actions to motion planning queries. Gaps in this knowledge often arise from sources like occlusion or imprecise modeling. This work generates task and motion plans that include actions cannot be fully grounded at planning time. During execution, such an action is handled by a provided human-designed or learned closed-loop behavior. Execution combines offline planned motions and online behaviors till reaching the task goal. Failures of behaviors are fed back as constraints to find new plans. Forty real-robot trials and motivating demonstrations are performed to evaluate the proposed framework and compare against state-of-the-art. Results show faster execution time, less number of actions, and more success in problems where diverse gaps arise. The experiment data is shared for researchers to simulate these settings. The work shows promise in expanding the applicable class of realistic partially grounded problems that robots can address.


title: Is Free Self-Alignment Possible?

abstract: Aligning pretrained language models (LMs) is a complex and resource-intensive process, often requiring access to large amounts of ground-truth preference data and substantial compute. Are these costs necessary? That is, it is possible to align using only inherent model knowledge and without additional training? We tackle this challenge with AlignEZ, a novel approach that uses (1) self-generated preference data and (2) representation editing to provide nearly cost-free alignment. During inference, AlignEZ modifies LM representations to reduce undesirable and boost desirable components using subspaces identified via self-generated preference pairs. Our experiments reveal that this nearly cost-free procedure significantly narrows the gap between base pretrained and tuned models by an average of 31.6%, observed across six datasets and three model architectures. Additionally, we explore the potential of using AlignEZ as a means of expediting more expensive alignment procedures. Our experiments show that AlignEZ improves DPO models tuned only using a small subset of ground-truth preference data. Lastly, we study the conditions under which improvement using AlignEZ is feasible, providing valuable insights into its effectiveness.


title: Prompt GRB recognition through waterfalls and deep learning

abstract: Gamma-ray Bursts (GRBs) are one of the most energetic phenomena in the cosmos, whose study probes physics extremes beyond the reach of laboratories on Earth. Our quest to unravel the origin of these events and understand their underlying physics is far from complete. Central to this pursuit is the rapid classification of GRBs to guide follow-up observations and analysis across the electromagnetic spectrum and beyond. Here, we introduce a compelling approach for a new and robust GRB prompt classification. Leveraging self-supervised deep learning, we pioneer a previously unexplored data product to approach this task: the GRB waterfalls.


title: On Exponential Convergence of Random Variables

abstract: Given the discrete time sequence of nonnegative random variables, general dependencies between the exponential convergence of the expectations, exponential convergence of the trajectories and the convergence of the corresponding expected hitting times are analysed . The applications are presented: the general results are applied to the areas of optimization, control and estimation.


title: Partial Label Learning with Focal Loss for Sea Ice Classification Based on Ice Charts

abstract: Sea ice, crucial to the Arctic and Earth's climate, requires consistent monitoring and high-resolution mapping. Manual sea ice mapping, however, is time-consuming and subjective, prompting the need for automated deep learning-based classification approaches. However, training these algorithms is challenging because expert-generated ice charts, commonly used as training data, do not map single ice types but instead map polygons with multiple ice types. Moreover, the distribution of various ice types in these charts is frequently imbalanced, resulting in a performance bias towards the dominant class. In this paper, we present a novel GeoAI approach to training sea ice classification by formalizing it as a partial label learning task with explicit confidence scores to address multiple labels and class imbalance. We treat the polygon-level labels as candidate partial labels, assign the corresponding ice concentrations as confidence scores to each candidate label, and integrate them with focal loss to train a Convolutional Neural Network (CNN). Our proposed approach leads to enhanced performance for sea ice classification in Sentinel-1 dual-polarized SAR images, improving classification accuracy (from 87% to 92%) and weighted average F-1 score (from 90% to 93%) compared to the conventional training approach of using one-hot encoded labels and Categorical Cross-Entropy loss. It also improves the F-1 score in 4 out of the 6 sea ice classes.


title: CLASSY X: Highlighting Differences Between Partial Covering and Semi-Analytic Modeling in the Estimate of Galactic Outflow Properties

abstract: Feedback driven massive outflows play a crucial role in galaxy evolution by regulating star formation and influencing the dynamics of surrounding media. Extracting outflow properties from spectral lines is a notoriously difficult process for a number of reasons, including the possibility that a substantial fraction of the outflow is carried by dense gas in a very narrow range in velocity. This gas can hide in spectra with insufficient resolution. Empirically motivated analysis based on the Apparent Optical Depth method, commonly used in the literature, neglects the contribution of this gas, and may therefore underestimate the true gas column density. More complex semi-analytical line transfer (e.g., SALT) models, on the other hand, allow for the presence of this gas by modeling the radial density and velocity of the outflows as power laws. Here we compare the two approaches to quantify the uncertainties in the inferences of outflow properties based on 1-D "down-the-barrel" using the UV spectra of the CLASSY galaxy sample. We find that empirical modeling may significantly underestimate the column densities relative to SALT analysis, particularly in the optically thick regime. We use simulations to show that the main reason for this discrepancy is the presence of large amount of dense material at low velocities, which can be hidden by the finite spectral resolution of the data. The SALT models in turn could over-estimate the column densities if the assumed power laws of the density profiles strong are not a property of actual outflows.


title: Decision-focused Graph Neural Networks for Combinatorial Optimization

abstract: In recent years, there has been notable interest in investigating combinatorial optimization (CO) problems by neural-based framework. An emerging strategy to tackle these challenging problems involves the adoption of graph neural networks (GNNs) as an alternative to traditional algorithms, a subject that has attracted considerable attention. Despite the growing popularity of GNNs and traditional algorithm solvers in the realm of CO, there is limited research on their integrated use and the correlation between them within an end-to-end framework. The primary focus of our work is to formulate a more efficient and precise framework for CO by employing decision-focused learning on graphs. Additionally, we introduce a decision-focused framework that utilizes GNNs to address CO problems with auxiliary support. To realize an end-to-end approach, we have designed two cascaded modules: (a) an unsupervised trained graph predictive model, and (b) a solver for quadratic binary unconstrained optimization. Empirical evaluations are conducted on various classical tasks, including maximum cut, maximum independent set, and minimum vertex cover. The experimental results on classical CO problems (i.e. MaxCut, MIS, and MVC) demonstrate the superiority of our method over both the standalone GNN approach and classical methods.


title: Maximum Flow by Augmenting Paths in $n^{2+o(1)}$ Time

abstract: We present a combinatorial algorithm for computing exact maximum flows in directed graphs with $n$ vertices and edge capacities from $\{1,\dots,U\}$ in $n^{2+o(1)}\log U$ time, which is almost optimal in dense graphs. Our algorithm is a novel implementation of the classical augmenting-path framework; we list augmenting paths more efficiently using a new variant of the push-relabel algorithm that uses additional edge weights to guide the algorithm, and we derive the edge weights by constructing a directed expander hierarchy. Even in unit-capacity graphs, this breaks the long-standing $O(m\cdot\min\{\sqrt{m},n^{2/3}\})$ time bound of the previous combinatorial algorithms by Karzanov (1973) and Even and Tarjan (1975) when the graph has $m=\omega(n^{4/3})$ edges. Notably, our approach does not rely on continuous optimization nor heavy dynamic graph data structures, both of which are crucial in the recent developments that led to the almost-linear time algorithm by Chen et al. (FOCS 2022). Our running time also matches the $n^{2+o(1)}$ time bound of the independent combinatorial algorithm by Chuzhoy and Khanna (STOC 2024) for computing the maximum bipartite matching, a special case of maximum flow.


title: Impact of nuclear matter properties on the nucleosynthesis and the kilonova from binary neutron star merger ejecta

abstract: Material expelled from binary neutron star (BNS) mergers can harbor r-process nucleosynthesis and power a Kilonova (KN), both intimately related to the astrophysical conditions of the ejection. In turn such conditions indirectly depend on the equation of state (EOS) describing matter inside the neutron star. Therefore, in principle the above observables can hold valuable information on nuclear matter, as the merger gravitational wave signal already does. In this work, we consider the outcome of a set of BNS merger simulations employing different finite-temperature nuclear EOSs. The latter are obtained from a Skyrme-type interaction model where nuclear properties, such as the incompressibility and the nucleon effective mass at saturation density, are systematically varied. We post-process the ejecta using a reaction network coupled with a semi-analytic KN model, to asses the sensitivity on the input EOS of the final yields and the KN light curves. Both of them are found to be non-trivially influenced by the EOS, with the overall outcome being dominated by the heterogeneous outflows from the remnant disk, hosting a variable degree of neutron-rich material. The dynamical ejecta can be more directly related to the EOS parameters considered, however, we find its role in the yields production and the KN emission too entangled with the other ejecta components, in order to infer solid correlations. This result highlights the strong degeneracy that intervenes between the merger outcome and the behaviour of the intrinsic nuclear matter, and places itself as a limit to the employment of EOS-constraining approaches of such kind.


title: Recurrence Operators on Function Spaces

abstract: Although recurrence for dynamical systems has been studied since the end of the nineteenth century, the study of recurrence for linear operators started with papers by Costakis, Manoussos and Parissis in 2012 and 2014. We explore recurrence in Banach algebras, in the space of continuous linear operators on $\omega=\mathbb{C}^{\mathbb{N}},$ and for composition operators whose symbols are linear fractional transformations, acting on weighted Dirichlet spaces. In particular, we show that composition operators with a parabolic non automorphism symbol are never recurrent. Our results relate to work by Gallardo-Guti\'errez and Montes-Rodr\'iguez in their 2004 AMS Memoir in which they show, among other things, that composition operators induced by parabolic non automorphisms are never hypercyclic in weighted Dirichlet spaces. Our work also relates to a more recent paper by Karim, Benchiheb, and Amouch.


title: Inductive Generalization in Reinforcement Learning from Specifications

abstract: We present a novel inductive generalization framework for RL from logical specifications. Many interesting tasks in RL environments have a natural inductive structure. These inductive tasks have similar overarching goals but they differ inductively in low-level predicates and distributions. We present a generalization procedure that leverages this inductive relationship to learn a higher-order function, a policy generator, that generates appropriately adapted policies for instances of an inductive task in a zero-shot manner. An evaluation of the proposed approach on a set of challenging control benchmarks demonstrates the promise of our framework in generalizing to unseen policies for long-horizon tasks.


title: Ensembling Portfolio Strategies for Long-Term Investments: A Distribution-Free Preference Framework for Decision-Making and Algorithms

abstract: This paper investigates the problem of ensembling multiple strategies for sequential portfolios to outperform individual strategies in terms of long-term wealth. Due to the uncertainty of strategies' performances in the future market, which are often based on specific models and statistical assumptions, investors often mitigate risk and enhance robustness by combining multiple strategies, akin to common approaches in collective learning prediction. However, the absence of a distribution-free and consistent preference framework complicates decisions of combination due to the ambiguous objective. To address this gap, we introduce a novel framework for decision-making in combining strategies, irrespective of market conditions, by establishing the investor's preference between decisions and then forming a clear objective. Through this framework, we propose a combinatorial strategy construction, free from statistical assumptions, for any scale of component strategies, even infinite, such that it meets the determined criterion. Finally, we test the proposed strategy along with its accelerated variant and some other multi-strategies. The numerical experiments show results in favor of the proposed strategies, albeit with small tradeoffs in their Sharpe ratios, in which their cumulative wealths eventually exceed those of the best component strategies while the accelerated strategy significantly improves performance.


title: Equivalence Set Restricted Latent Class Models (ESRLCM)

abstract: Latent Class Models (LCMs) are used to cluster multivariate categorical data, commonly used to interpret survey responses. We propose a novel Bayesian model called the Equivalence Set Restricted Latent Class Model (ESRLCM). This model identifies clusters who have common item response probabilities, and does so more generically than traditional restricted latent attribute models. We verify the identifiability of ESRLCMs, and demonstrate the effectiveness in both simulations and real-world applications.


title: Collision Avoidance Maneuvers Optimization in the Presence of Multiple Encounters

abstract: The optimization of fuel-optimal low-thrust collision avoidance maneuvers (CAMs) in scenarios involving multiple encounters between spacecraft is addressed. The optimization's objective is the minimization of the total fuel consumption while respecting constraints on the total probability of collision. The solution methodology combines sequential convex programming, second-order cone programming, and differential algebra to approximate the non-convex optimal control problem progressively. A Gaussian mixture model method is used to propagate the initial covariance matrix of the secondary spacecraft, allowing us to split it into multiple mixands that can be treated as different objects. This leads to an accurate propagation of the uncertainties. No theoretical guarantee is given for the convergence of the method to the global optimum of the original optimal control problem. Nonetheless, good performance is demonstrated through case studies involving multiple short- and long-term encounters, showcasing the generation of fuel-efficient CAMs while respecting operational constraints.


title: More on the number of distinct values of a class of functions

abstract: In a previous article, the authors determined the first (and at the time of writing, the only) non-trivial upper bound for the cardinality of the image set for several classes of functions, including planar functions. Here, we show that the upper bound cannot be tight for planar functions over $\mathbb F_q$, with the possible exception of $q=343.$ We further show that if such an exceptional planar function exists, then it implies the existence of a projective plane of order 18. This follows from more general results, which apply to wider classes of functions.


title: Restructuring disorder: Transformation from the antiferromagnetic order in Fe2VSi to the ferromagnetic state in FeRuVSi by substitution of a non-magnetic element

abstract: The delicate nature of the half-metallic ferromagnetic (HMF) property in Heusler alloys is often compromised by inherent structural disorder within the systems. Fe2VSi is a prime example, where such disorder prevents the realization of the theoretically proposed HMF state as the anti-site disorder leads to the formation of two anti-parallel magnetic lattices resulting in antiferromagnetic order. In this study, we propose an innovative and simple strategy to prevent this atomic disorder by replacing 50% of the magnetic element Fe by a large, isoelectronic, non-magnetic element, Ru. In this way, one of the magnetic sublattices of the antiferromagnetic lattice ceases to order while ferromagnetic order is restored, an essential criterion for exhibiting HMF properties. Through various experimental measurements and theoretical calculations, we have shown that such partial replacement of Fe by Ru prevents the cross-site substitution of V/Si sites and the system regains its ferromagnetic order. Our theoretical calculations suggest that a perfect structural arrangement in Fe and Ru would have restored the HMF property in FeRuVSi. However, the local atomic disorder of Fe and Ru was found to decrease the spin polarization value. The present work sheds light on the complex interplay between structural disorder and magnetic properties in Heusler alloys and provides insights for future design strategies in the pursuit of robust half-metallic ferromagnets.


title: UrBAN: Urban Beehive Acoustics and PheNotyping Dataset

abstract: In this paper, we present a multimodal dataset obtained from a honey bee colony in Montr\'eal, Quebec, Canada, spanning the years of 2021 to 2022. This apiary comprised 10 beehives, with microphones recording more than 2000 hours of high quality raw audio, and also sensors capturing temperature, and humidity. Periodic hive inspections involved monitoring colony honey bee population changes, assessing queen-related conditions, and documenting overall hive health. Additionally, health metrics, such as Varroa mite infestation rates and winter mortality assessments were recorded, offering valuable insights into factors affecting hive health status and resilience. In this study, we first outline the data collection process, sensor data description, and dataset structure. Furthermore, we demonstrate a practical application of this dataset by extracting various features from the raw audio to predict colony population using the number of frames of bees as a proxy.


title: A $\gamma$-Ray Emitting Blazar at Redshift 3.64: Fermi-LAT and OVRO Observations of PKS 0201+113

abstract: High-redshift ($z >3$) $\gamma$-ray blazars are rare, but they are crucial for our understanding of jet evolution, $\gamma$-ray production and propagation, and the growth of supermassive black holes in the early universe. A new analysis of Fermi-LAT data reveals a significant (5$\sigma$), spectrally soft ($\Gamma \simeq$ 3.0) $\gamma$-ray source in a specific 4-month epoch, cospatial with PKS 0201+113 ($z$ = 3.64). Monitoring of PKS 0201+113 at 15 GHz by the Owens Valley Radio Observatory 40 m Telescope from 2008 to 2023 shows a prominent flare that dominates the radio light curve. The maximum of the radio flare coincides with the $\gamma$-ray flare, strongly suggesting an association ($\textrm{p-value}=0.023$) between the $\gamma$-ray and the radio sources. PKS 0201+113 is only the third $\gamma$-ray blazar to be identified with $z> 3.5$, and it is the first such object to be identified by the detection of quasi-simultaneous $\gamma$-ray and radio flares. The jet properties of this peculiar blazar have been investigated. A detailed study of a two-zone leptonic model is presented that fits the broadband spectral energy distribution. An alternative scenario is also briefly discussed.


title: Applications of Deep Learning parameterization of Ocean Momentum Forcing

abstract: Mesoscale eddies are of utmost importance in understanding ocean dynamics and the transport of heat, salt, and nutrients. Accurate representation of these eddies in ocean models is essential for improving model predictions. However, accurately representing these mesoscale features in numerical models is challenging due to their relatively small size. In this study, we propose a convolutional neural network (CNN) that combines data-driven techniques with physical principles to develop a robust and interpretable parameterization scheme for mesoscale eddies in ocean modeling. We first analyze a high-resolution reanalysis dataset to extract subgrid eddy momentum and use machine learning algorithms to identify patterns and correlations. To ensure physical consistency, we have introduced conservation of momentum constraints in our CNN parameterization scheme through soft and hard constraints. The interpretability analysis illustrate that the pre-trained CNN parameterization shows promising results in accurately solving the resolved mean velocity at the local scale and effectively capturing the representation of unresolved subgrid turbulence processes at the global scale. Furthermore, to validate the CNN parameterization scheme offline, we conduct simulations using the MITgcm ocean model. A series of experiments is conducted to compare the performance of the model with the CNN parameterization scheme and high-resolution simulations. The offline validation using MITgcm simulations demonstrates the effectiveness of the CNN parameterization scheme in improving the representation of mesoscale eddies in the ocean model. Incorporating the CNN parameterization scheme leads to better agreement with high-resolution simulations and a more accurate representation of the kinetic energy spectra.


title: Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models

abstract: Pythonic idioms are highly valued and widely used in the Python programming community. However, many Python users find it challenging to use Pythonic idioms. Adopting a rule-based approach or LLM-only approach is not sufficient to overcome three persistent challenges of code idiomatization including code miss, wrong detection and wrong refactoring. Motivated by the determinism of rules and adaptability of LLMs, we propose a hybrid approach consisting of three modules. We not only write prompts to instruct LLMs to complete tasks, but we also invoke Analytic Rule Interfaces (ARIs) to accomplish tasks. The ARIs are Python code generated by prompting LLMs to generate code. We first construct a knowledge module with three elements including ASTscenario, ASTcomponent and Condition, and prompt LLMs to generate Python code for incorporation into an ARI library for subsequent use. After that, for any syntax-error-free Python code, we invoke ARIs from the ARI library to extract ASTcomponent from the ASTscenario, and then filter out ASTcomponent that does not meet the condition. Finally, we design prompts to instruct LLMs to abstract and idiomatize code, and then invoke ARIs from the ARI library to rewrite non-idiomatic code into the idiomatic code. Next, we conduct a comprehensive evaluation of our approach, RIdiom, and Prompt-LLM on nine established Pythonic idioms in RIdiom. Our approach exhibits superior accuracy, F1-score, and recall, while maintaining precision levels comparable to RIdiom, all of which consistently exceed or come close to 90% for each metric of each idiom. Lastly, we extend our evaluation to encompass four new Pythonic idioms. Our approach consistently outperforms Prompt-LLM, achieving metrics with values consistently exceeding 90% for accuracy, F1-score, precision, and recall.


title: Randomness in atomic disorder and consequent squandering of spin-polarization in a ferromagnetically fragile quaternary Heusler alloy FeRuCrSi

abstract: Ru$_{2-x}$Fe$_x$CrSi ( 0 $<$ x $<$1) system is theoretically predicted to be one of the very few known examples of robust half-metallic ferromagnet with 100\% spin polarization. Since Cr is considered to be the main contributor to magnetism, the Fe/Ru substitution is not expected to disturb its magnetic properties any significantly, and hence all Fe-containing members of the series are predicted to follow Slater-Pauling rule with a saturation magnetic moment of 2 ${\mu_B}$/f.u. However, contrarily to the theoretical expectations, some experiments rather show a linear variation of the saturation magnetization and Curie temperature with Fe (\textit{x}) substitution. The equiatomic member FeRuCrSi of this family is also considered as a technologically important material, where the band structure calculations suggest the material to be spin gapless semiconductor. Through our in-depth structural analysis of FeRuCrSi using X-ray diffraction, extended X-ray absorption fine structure and $^{57}$Fe M\"{o}ssbauer spectrometry, we found a random disorder between Fe and Ru sites, while the magnetic moment in this system is actually contributed by Fe atoms, questioning the very basic foundation of the half-metallic character proposed by all theoretical calculations on Ru$_{2-x}$Fe$_x$CrSi series. Our M\"{o}ssbauer result also envisions a rather rare scenario where the main physical properties are intricately correlated to the chemistry of the material in the form of random atomic disorder on a localised scale.


title: The Missing Curve Detectors of InceptionV1: Applying Sparse Autoencoders to InceptionV1 Early Vision

abstract: Recent work on sparse autoencoders (SAEs) has shown promise in extracting interpretable features from neural networks and addressing challenges with polysemantic neurons caused by superposition. In this paper, we apply SAEs to the early vision layers of InceptionV1, a well-studied convolutional neural network, with a focus on curve detectors. Our results demonstrate that SAEs can uncover new interpretable features not apparent from examining individual neurons, including additional curve detectors that fill in previous gaps. We also find that SAEs can decompose some polysemantic neurons into more monosemantic constituent features. These findings suggest SAEs are a valuable tool for understanding InceptionV1, and convolutional neural networks more generally.