title: Monster shocks, gamma-ray bursts and black hole quasi-normal modes from neutron-star collapse

abstract: We perform the first magnetohydrodynamic simulation tracking the magnetosphere of a collapsing magnetar. The collapse is expected for massive rotating magnetars formed in merger events, and it may occur many hours after the merger. The results suggest a novel gamma-ray burst (GRB) scenario, which creates a delayed high-energy counterpart of the merger gravitational waves. The collapse launches an outgoing magnetospheric shock, and a hot magnetized outflow forms behind the shock. The outflow is modulated by the ring-down of the nascent black hole, imprinting its kilohertz quasi-normal modes on the GRB tail.


title: A Semi-blind Reconstruction of the History of Effective Number of Neutrinos Using CMB Data

abstract: We explore the possibility of redshift-dependent deviations in the contribution of relativistic degrees of freedom to the radiation budget of the cosmos, conventionally parameterized by the effective number of neutrinos $N_{\rm eff}$, from the predictions of the standard model. We expand the deviations $\Delta N_{\rm eff}(z)$ in terms of top-hat functions and treat their amplitudes as the free parameters of the theory to be measured alongside the standard cosmological parameters by the Planck measurements of the cosmic microwave background (CMB) anisotropies and Baryonic Acoustic Oscillations, as well as performing forecasts for futuristic CMB surveys such as PICO and CMB-S4. We reconstruct the history of $\Delta N_{\rm eff}$ and find that with the current data the history is consistent with the standard scenario. Inclusion of the new degrees of freedom in the analysis increases $H_0$ to $68.71\pm 0.44$, slightly reducing the Hubble tension. With the smaller forecasted errors on the $\Delta N_{\rm eff}(z)$ parametrization modes from future CMB surveys, very accurate bounds are expected within the possible range of dark radiation models.


title: The ancient Egyptian personification of the Milky Way as the Sky Goddess Nut: an astronomical and cross-cultural analysis

abstract: The Milky Way's name and role in ancient Egyptian culture remain unclear. One suggestion is that the Milky Way may have been a celestial depiction of the sky goddess Nut. In this work, I test this association using an interdisciplinary approach. In the first part of this paper, I combine astronomical simulations of the ancient Egyptian night sky with primary Egyptian sources to map the goddess Nut onto the Milky Way. With her head and groin firmly associated by primary texts with the western and eastern horizons, respectively, I argue that the summer and winter orientations of the Milky Way could be construed as figurative markers of Nut's torso (or backbone) and her arms, respectively. In the second part of this paper, I situate Nut within the global, multicultural mythology of the Milky Way. Specifically, I show that Nut's roles in the afterlife and the autumn bird migration are consistent with similar roles attributed to the Milky Way by other cultures. Finally, I show that Nut's identification with the Milky Way may even have echoes in contemporary African conceptions of the Galaxy.


title: Game-Theoretic Deep Reinforcement Learning to Minimize Carbon Emissions and Energy Costs for AI Inference Workloads in Geo-Distributed Data Centers

abstract: Data centers are increasingly using more energy due to the rise in Artificial Intelligence (AI) workloads, which negatively impacts the environment and raises operational costs. Reducing operating expenses and carbon emissions while maintaining performance in data centers is a challenging problem. This work introduces a unique approach combining Game Theory (GT) and Deep Reinforcement Learning (DRL) for optimizing the distribution of AI inference workloads in geo-distributed data centers to reduce carbon emissions and cloud operating (energy + data transfer) costs. The proposed technique integrates the principles of non-cooperative Game Theory into a DRL framework, enabling data centers to make intelligent decisions regarding workload allocation while considering the heterogeneity of hardware resources, the dynamic nature of electricity prices, inter-data center data transfer costs, and carbon footprints. We conducted extensive experiments comparing our game-theoretic DRL (GT-DRL) approach with current DRL-based and other optimization techniques. The results demonstrate that our strategy outperforms the state-of-the-art in reducing carbon emissions and minimizing cloud operating costs without compromising computational performance. This work has significant implications for achieving sustainability and cost-efficiency in data centers handling AI inference workloads across diverse geographic locations.


title: Efficient configuration-interaction models for photoionization of molecular dimers

abstract: We present R-matrix calculations of photoionization of molecular monomers and dimers, focusing on ammonia (NH3) and formic acid (HCOOH), utilizing configuration-interaction models including the Occupation-Restricted Multiple Active Space (ORMAS) approach. We show that ORMAS is a highly efficient choice for calculating photoionization observables, yielding results that are in excellent agreement with those obtained using the much more demanding configuration-interaction method, Complete Active Space (CAS). We demonstrate that models incorporating single and double (SD) excitations with respect to the Hartree-Fock configuration provide good agreement with experimental data. The approach developed here can be readily applied to study photoionization in complex molecular systems.


title: Will the Real Linda Please Stand up...to Large Language Models? Examining the Representativeness Heuristic in LLMs

abstract: Although large language models (LLMs) have demonstrated remarkable proficiency in "understanding" text and generating human-like text, they may exhibit biases acquired from training data in doing so. Specifically, LLMs may be susceptible to a common cognitive trap in human decision-making called the representativeness heuristic. This is a concept in psychology that refers to judging the likelihood of an event based on how closely it resembles a well-known prototype or typical example versus considering broader facts or statistical evidence. This work investigates the impact of the representativeness heuristic on LLM reasoning. We created ReHeAT (Representativeness Heuristic AI Testing), a dataset containing a series of problems spanning six common types of representativeness heuristics. Experiments reveal that four LLMs applied to REHEAT all exhibited representativeness heuristic biases. We further identify that the model's reasoning steps are often incorrectly based on a stereotype rather than the problem's description. Interestingly, the performance improves when adding a hint in the prompt to remind the model of using its knowledge. This suggests the uniqueness of the representativeness heuristic compared to traditional biases. It can occur even when LLMs possess the correct knowledge while failing in a cognitive trap. This highlights the importance of future research focusing on the representativeness heuristic in model reasoning and decision-making and on developing solutions to address it.


title: OpenChemIE: An Information Extraction Toolkit For Chemistry Literature

abstract: Information extraction from chemistry literature is vital for constructing up-to-date reaction databases for data-driven chemistry. Complete extraction requires combining information across text, tables, and figures, whereas prior work has mainly investigated extracting reactions from single modalities. In this paper, we present OpenChemIE to address this complex challenge and enable the extraction of reaction data at the document level. OpenChemIE approaches the problem in two steps: extracting relevant information from individual modalities and then integrating the results to obtain a final list of reactions. For the first step, we employ specialized neural models that each address a specific task for chemistry information extraction, such as parsing molecules or reactions from text or figures. We then integrate the information from these modules using chemistry-informed algorithms, allowing for the extraction of fine-grained reaction data from reaction condition and substrate scope investigations. Our machine learning models attain state-of-the-art performance when evaluated individually, and we meticulously annotate a challenging dataset of reaction schemes with R-groups to evaluate our pipeline as a whole, achieving an F1 score of 69.5%. Additionally, the reaction extraction results of \ours attain an accuracy score of 64.3% when directly compared against the Reaxys chemical database. We provide OpenChemIE freely to the public as an open-source package, as well as through a web interface.


title: Periodic orbits near collision in a restricted four-body problem for the eight choreography

abstract: We study orbits near collision in a non-autonomous restricted planar four-body problem. This restricted problem consists of a massless particle moving under the gravitational influence due to three bodies following the figure-eight choreography. We use regularized coordinates in order to deal numerically with motions near collision, and reversing symmetries to study both theoretically and numerically certain type of symmetric periodic orbits of the restricted system. The symmetric periodic orbits (initial conditions) were computed with the help of some boundary-value problems.


title: Data-Efficient Unsupervised Interpolation Without Any Intermediate Frame for 4D Medical Images

abstract: 4D medical images, which represent 3D images with temporal information, are crucial in clinical practice for capturing dynamic changes and monitoring long-term disease progression. However, acquiring 4D medical images poses challenges due to factors such as radiation exposure and imaging duration, necessitating a balance between achieving high temporal resolution and minimizing adverse effects. Given these circumstances, not only is data acquisition challenging, but increasing the frame rate for each dataset also proves difficult. To address this challenge, this paper proposes a simple yet effective Unsupervised Volumetric Interpolation framework, UVI-Net. This framework facilitates temporal interpolation without the need for any intermediate frames, distinguishing it from the majority of other existing unsupervised methods. Experiments on benchmark datasets demonstrate significant improvements across diverse evaluation metrics compared to unsupervised and supervised baselines. Remarkably, our approach achieves this superior performance even when trained with a dataset as small as one, highlighting its exceptional robustness and efficiency in scenarios with sparse supervision. This positions UVI-Net as a compelling alternative for 4D medical imaging, particularly in settings where data availability is limited. The source code is available at https://github.com/jungeun122333/UVI-Net.


title: Mahonian-Stirling statistics for partial permutations

abstract: Recently Cheng et al. (Adv. in Appl. Math. 143 (2023) 102451) generalized the inversion number to partial permutations, which are also known as Laguerre digraphs, and asked for a suitable analogue of MacMahon's major index. We provide such a major index, namely, the corresponding maj and inv statistics are equidistributed, and exhibit a Haglund-Remmel-Wilson type identity. We then interpret some Jacobi-Rogers polynomials in terms of Laguerre digraphs generalizing Deb and Sokal's alternating Laguerre digraph interpretation of some special Jacobi-Rogers polynomials.


title: TS-CausalNN: Learning Temporal Causal Relations from Non-linear Non-stationary Time Series Data

abstract: The growing availability and importance of time series data across various domains, including environmental science, epidemiology, and economics, has led to an increasing need for time-series causal discovery methods that can identify the intricate relationships in the non-stationary, non-linear, and often noisy real world data. However, the majority of current time series causal discovery methods assume stationarity and linear relations in data, making them infeasible for the task. Further, the recent deep learning-based methods rely on the traditional causal structure learning approaches making them computationally expensive. In this paper, we propose a Time-Series Causal Neural Network (TS-CausalNN) - a deep learning technique to discover contemporaneous and lagged causal relations simultaneously. Our proposed architecture comprises (i) convolutional blocks comprising parallel custom causal layers, (ii) acyclicity constraint, and (iii) optimization techniques using the augmented Lagrangian approach. In addition to the simple parallel design, an advantage of the proposed model is that it naturally handles the non-stationarity and non-linearity of the data. Through experiments on multiple synthetic and real world datasets, we demonstrate the empirical proficiency of our proposed approach as compared to several state-of-the-art methods. The inferred graphs for the real world dataset are in good agreement with the domain understanding.


title: Transnational Network Dynamics of Problematic Information Diffusion

abstract: This study maps the spread of two cases of COVID-19 conspiracy theories and misinformation in Spanish and French in Latin American and French-speaking communities on Facebook, and thus contributes to understanding the dynamics, reach and consequences of emerging transnational misinformation networks. The findings show that co-sharing behavior of public Facebook groups created transnational networks by sharing videos of Medicos por la Verdad (MPV) conspiracy theories in Spanish and hydroxychloroquine-related misinformation sparked by microbiologist Didier Raoult (DR) in French, usually igniting the surge of locally led interest groups across the Global South. Using inferential methods, the study shows how these networks are enabled primarily by shared cultural and thematic attributes among Facebook groups, effectively creating very large, networked audiences. The study contributes to the understanding of how potentially harmful conspiracy theories and misinformation transcend national borders through non-English speaking online communities, further highlighting the overlooked role of transnationalism in global misinformation diffusion and the potentially disproportionate harm that it causes in vulnerable communities across the globe.


title: Performance triggered adaptive model reduction for soil moisture estimation in precision irrigation

abstract: Accurate soil moisture information is crucial for developing precise irrigation control strategies to enhance water use efficiency. Soil moisture estimation based on limited soil moisture sensors is crucial for obtaining comprehensive soil moisture information when dealing with large-scale agricultural fields. The major challenge in soil moisture estimation lies in the high dimensionality of the spatially discretized agro-hydrological models. In this work, we propose a performance-triggered adaptive model reduction approach to address this challenge. The proposed approach employs a trajectory-based unsupervised machine learning technique, and a prediction performance-based triggering scheme is designed to govern model updates adaptively in a way such that the prediction error between the reduced model and the original model over a prediction horizon is maintained below a predetermined threshold. An adaptive extended Kalman filter (EKF) is designed based on the reduced model for soil moisture estimation. The applicability and performance of the proposed approach are evaluated extensively through the application to a simulated large-scale agricultural field.


title: A group testing based exploration of age-varying factors in chlamydia infections among Iowa residents

abstract: Group testing, a method that screens subjects in pooled samples rather than individually, has been employed as a cost-effective strategy for chlamydia screening among Iowa residents. In efforts to deepen our understanding of chlamydia epidemiology in Iowa, several group testing regression models have been proposed. Different than previous approaches, we expand upon the varying coefficient model to capture potential age-varying associations with chlamydia infection risk. In general, our model operates within a Bayesian framework, allowing regression associations to vary with a covariate of key interest. We employ a stochastic search variable selection process for regularization in estimation. Additionally, our model can integrate random effects to consider potential geographical factors and estimate unknown assay accuracy probabilities. The performance of our model is assessed through comprehensive simulation studies. Upon application to the Iowa group testing dataset, we reveal a significant age-varying racial disparity in chlamydia infections. We believe this discovery has the potential to inform the enhancement of interventions and prevention strategies, leading to more effective chlamydia control and management, thereby promoting health equity across all populations.


title: Measuring the Redundancy of Information from a Source Failure Perspective

abstract: In this paper, we define a new measure of the redundancy of information from a fault tolerance perspective. The partial information decomposition (PID) emerged last decade as a framework for decomposing the multi-source mutual information $I(T;X_1, ..., X_n)$ into atoms of redundant, synergistic, and unique information. It built upon the notion of redundancy/synergy from McGill's interaction information (McGill 1954). Separately, the redundancy of system components has served as a principle of fault tolerant engineering, for sensing, routing, and control applications. Here, redundancy is understood as the level of duplication necessary for the fault tolerant performance of a system. With these two perspectives in mind, we propose a new PID-based measure of redundancy $I_{\text{ft}}$, based upon the presupposition that redundant information is robust to individual source failures. We demonstrate that this new measure satisfies the common PID axioms from (Williams 2010). In order to do so, we establish an order-reversing correspondence between collections of source-fallible instantiations of a system, on the one hand, and the PID lattice from (Williams 2010), on the other.


title: Hybrid GRMHD and Force-Free Simulations of Black Hole Accretion

abstract: We present a new approach for stably evolving general relativistic magnetohydrodynamic (GRMHD) simulations in regions where the magnetization $\sigma=b^2/\rho c^2$ becomes large. GRMHD codes typically struggle to evolve plasma above $\sigma\approx100$ in simulations of black hole accretion. To ensure stability, GRMHD codes will inject mass density artificially to the simulation as necessary to keep the magnetization below a ceiling value $\sigma_{\rm max}$. We propose an alternative approach where the simulation transitions to solving the equations of general relativistic force-free electrodynamics (GRFFE) above a magnetization $\sigma_{\rm trans}$. We augment the GRFFE equations in the highly magnetized region with approximate equations to evolve the decoupled field-parallel velocity, plasma energy density, and plasma mass density. Our hybrid scheme is explicit and easily added to the framework of standard-volume GRMHD codes. We present a variety of tests of our method, implemented in the GRMHD code KORAL, and we show first results from a 3D hybrid GRMHD+GRFFE simulation of a magnetically arrested disc (MAD) around a spinning black hole. Our hybrid MAD simulation closely matches the average properties of a standard GRMHD MAD simulation with the same initial conditions in low magnetization regions, but it achieves a magnetization $\sigma\approx10^6$ in the evacuated jet funnel. We present simulated horizon-scale images of both simulations at 230 GHz with the black hole mass and accretion rate matched to M87*. Images from the hybrid simulation are less affected by the choice of magnetization cutoff $\sigma_{\rm cut}$ imposed in radiative transfer than images from the standard GRMHD simulation.


title: The homeomorphisms of the Sierpi\'nski carpet are not classifiable by countable structures

abstract: We show that the homeomorphisms of the Sierpi\'nski carpet are not classifiable, up to conjugacy, using isomorphism types of countable structures as invariants.


title: gpu_tracker: Python package for tracking and profiling GPU utilization in both desktop and high-performance computing environments

abstract: Determining the maximum usage of random-access memory (RAM) on both the motherboard and on a graphical processing unit (GPU) over the lifetime of a computing task can be extremely useful for troubleshooting points of failure as well as optimizing memory utilization, especially within a high-performance computing (HPC) setting. While there are tools for tracking compute time and RAM, including by job management tools themselves, tracking of GPU usage, to our knowledge, does not currently have sufficient solutions. We present gpu_tracker, a Python package that tracks the computational resource usage of a task while running in the background, including the real compute time that the task takes to complete, its maximum RAM usage, and the maximum GPU RAM usage, specifically for Nvidia GPUs. We demonstrate that gpu_tracker can seamlessly track computational resource usage with minimal overhead, both within desktop and HPC execution environments.


title: Finding Replicable Human Evaluations via Stable Ranking Probability

abstract: Reliable human evaluation is critical to the development of successful natural language generation models, but achieving it is notoriously difficult. Stability is a crucial requirement when ranking systems by quality: consistent ranking of systems across repeated evaluations is not just desirable, but essential. Without it, there is no reliable foundation for hill-climbing or product launch decisions. In this paper, we use machine translation and its state-of-the-art human evaluation framework, MQM, as a case study to understand how to set up reliable human evaluations that yield stable conclusions. We investigate the optimal configurations for item allocation to raters, number of ratings per item, and score normalization. Our study on two language pairs provides concrete recommendations for designing replicable human evaluation studies. We also collect and release the largest publicly available dataset of multi-segment translations rated by multiple professional translators, consisting of nearly 140,000 segment annotations across two language pairs.


title: Are large language models superhuman chemists?

abstract: Large language models (LLMs) have gained widespread interest due to their ability to process human language and perform tasks on which they have not been explicitly trained. This is relevant for the chemical sciences, which face the problem of small and diverse datasets that are frequently in the form of text. LLMs have shown promise in addressing these issues and are increasingly being harnessed to predict chemical properties, optimize reactions, and even design and conduct experiments autonomously. However, we still have only a very limited systematic understanding of the chemical reasoning capabilities of LLMs, which would be required to improve models and mitigate potential harms. Here, we introduce "ChemBench," an automated framework designed to rigorously evaluate the chemical knowledge and reasoning abilities of state-of-the-art LLMs against the expertise of human chemists. We curated more than 7,000 question-answer pairs for a wide array of subfields of the chemical sciences, evaluated leading open and closed-source LLMs, and found that the best models outperformed the best human chemists in our study on average. The models, however, struggle with some chemical reasoning tasks that are easy for human experts and provide overconfident, misleading predictions, such as about chemicals' safety profiles. These findings underscore the dual reality that, although LLMs demonstrate remarkable proficiency in chemical tasks, further research is critical to enhancing their safety and utility in chemical sciences. Our findings also indicate a need for adaptations to chemistry curricula and highlight the importance of continuing to develop evaluation frameworks to improve safe and useful LLMs.

categories: cs.LG cond-mat.mtrl-sci cs.AI physics.chem-ph


title: TraveLER: A Multi-LMM Agent Framework for Video Question-Answering

abstract: Recently, Large Multimodal Models (LMMs) have made significant progress in video question-answering using a frame-wise approach by leveraging large-scale, image-based pretraining in a zero-shot manner. While image-based methods for videos have shown impressive performance, a current limitation is that they often overlook how key timestamps are selected and cannot adjust when incorrect timestamps are identified. Moreover, they are unable to extract details relevant to the question, instead providing general descriptions of the frame. To overcome this, we design a multi-LMM agent framework that travels along the video, iteratively collecting relevant information from keyframes through interactive question-asking until there is sufficient information to answer the question. Specifically, we propose TraveLER, a model that can create a plan to "Traverse" through the video, ask questions about individual frames to "Locate" and store key information, and then "Evaluate" if there is enough information to answer the question. Finally, if there is not enough information, our method is able to "Replan" based on its collected knowledge. Through extensive experiments, we find that the proposed TraveLER approach improves performance on several video question-answering benchmarks, such as NExT-QA, STAR, and Perception Test, without the need to fine-tune on specific datasets.


title: Building a fusion-based quantum computer using teleported gates

abstract: We adopt a method of the quantum gate teleportation for converting circuit-based quantum computation primitives into fusion networks. By using the presented scheme for the CNOT gate we construct translation of the circuit for the foliated surface code into a fault tolerant fusion network. Finally, we construct two new fusion based quantum computation models and study their fault tolerance properties.


title: A Multidimensional Fractional Hawkes Process for Multiple Earthquake Mainshock Aftershock Sequences

abstract: Most point process models for earthquakes currently in the literature assume the magnitude distribution is i.i.d. potentially hindering the ability of the model to describe the main features of data sets containing multiple earthquake mainshock aftershock sequences in succession. This study presents a novel multidimensional fractional Hawkes process model designed to capture magnitude dependent triggering behaviour by incorporating history dependence into the magnitude distribution. This is done by discretising the magnitude range into disjoint intervals and modelling events with magnitude in these ranges as the subprocesses of a mutually exciting Hawkes process using the Mittag-Leffler density as the kernel function. We demonstrate this model's use by applying it to two data sets, Japan and the Middle America Trench, both containing multiple mainshock aftershock sequences and compare it to the existing ETAS model by using information criteria, residual diagnostics and retrospective prediction performance. We find that for both data sets all metrics indicate that the multidimensional fractional Hawkes process performs favourably against the ETAS model. Furthermore, using the multidimensional fractional Hawkes process we are able to infer characteristics of the data sets that are consistent with results currently in the literature and that cannot be found by using the ETAS model.


title: Information Processing in Hybrid Photonic Electrical Reservoir Computing

abstract: Physical Reservoir Computing (PRC) is a recently developed variant of Neuromorphic Computing, where a pertinent physical system effectively projects information encoded in the input signal into a higher-dimensional space. While various physical hardware has demonstrated promising results for Reservoir Computing (RC), systems allowing tunability of their dynamical regimes have not received much attention regarding how to optimize relevant system parameters. In this work we employ hybrid photonic-electronic (HPE) system offering both parallelism inherent to light propagation, and electronic memory and programmable feedback allowing to induce nonlinear dynamics and tunable encoding of the photonic signal to realize HPE-RC. Specifically, we experimentally and theoretically analyze performance of integrated silicon photonic on-chip Mach-Zehnder interferometer and ring resonators with heaters acting as programmable phase modulators, controlled by detector and the feedback unit capable of realizing complex temporal dynamics of the photonic signal. Furthermore, we present an algorithm capable of predicting optimal parameters for RC by analyzing the corresponding Lyapunov exponent of the output signal and mutual information of reservoir nodes. By implementing the derived optimal parameters, we demonstrate that the corresponding resulting error of RC can be lowered by several orders of magnitude compared to a reservoir operating with randomly chosen set of parameters.


title: Approach and rotation of reconnecting topological defect lines in liquid crystal

abstract: Topological defects are a universal concept across many disciplines, such as crystallography, liquid-crystalline physics, low-temperature physics, cosmology, and even biology. In nematic liquid crystals, topological defects called disclinations have been widely studied. For their three-dimensional (3D) dynamics, however, only recently have theoretical approaches dealing with fully 3D configurations been reported. Further, recent experiments have observed 3D disclination line reconnections, a phenomenon characteristic of defect line dynamics, but detailed discussions were limited to the case of approximately parallel defects. In this study, we focus on the case of two disclination lines that approach at finite angles and lie in separate planes, a more fundamentally 3D reconnection configuration. Observing and analyzing such reconnection events, we find the square-root law of the distance between disclinations and the decrease of the inter-disclination angle over time. We compare the experimental results with theory and find qualitative agreement on the scaling of distance and angle with time, but quantitative disagreement on distance and angle relative mobilities. To probe this disagreement, we derive the equations of motion for systems with reduced twist constant and also carry out simulations for this case. These, together with the experimental results, suggest that deformations of disclinations may be responsible for the disagreement.


title: A Study on Scaling Up Multilingual News Framing Analysis

abstract: Media framing is the study of strategically selecting and presenting specific aspects of political issues to shape public opinion. Despite its relevance to almost all societies around the world, research has been limited due to the lack of available datasets and other resources. This study explores the possibility of dataset creation through crowdsourcing, utilizing non-expert annotators to develop training corpora. We first extend framing analysis beyond English news to a multilingual context (12 typologically diverse languages) through automatic translation. We also present a novel benchmark in Bengali and Portuguese on the immigration and same-sex marriage domains. Additionally, we show that a system trained on our crowd-sourced dataset, combined with other existing ones, leads to a 5.32 percentage point increase from the baseline, showing that crowdsourcing is a viable option. Last, we study the performance of large language models (LLMs) for this task, finding that task-specific fine-tuning is a better approach than employing bigger non-specialized models.


title: Atmospheric limitations for high-frequency ground-based VLBI

abstract: Very long baseline interferometry (VLBI) provides the highest-resolution images in astronomy. The sharpest resolution is nominally achieved at the highest frequencies, but as the observing frequency increases so too does the atmospheric contribution to the system noise, degrading the sensitivity of the array and hampering detection. In this paper, we explore the limits of high-frequency VLBI observations using ngehtsim, a new tool for generating realistic synthetic data. ngehtsim uses detailed historical atmospheric models to simulate observing conditions, and it employs heuristic visibility detection criteria that emulate single- and multi-frequency VLBI calibration strategies. We demonstrate the fidelity of ngehtsim's predictions using a comparison with existing 230 GHz data taken by the Event Horizon Telescope (EHT), and we simulate the expected performance of EHT observations at 345 GHz. Though the EHT achieves a nearly 100% detection rate at 230 GHz, our simulations indicate that it should expect substantially poorer performance at 345 GHz; in particular, observations of M87 at 345 GHz are predicted to achieve detection rates of $\lesssim$20% that may preclude imaging. Increasing the array sensitivity through wider bandwidths and/or longer integration times -- as enabled through, e.g., the simultaneous multi-frequency upgrades envisioned for the next-generation EHT -- can improve the 345 GHz prospects and yield detection levels that are comparable to those at 230 GHz. M87 and Sgr A* observations carried out in the atmospheric window around 460 GHz could expect to regularly achieve multiple detections on long baselines, but analogous observations at 690 and 875 GHz consistently obtain almost no detections at all.


title: Creating Decidable Diophantine Equations

abstract: Generalizing an argument of Matiyasevich, we illustrate a method to generate infinitely many diophantine equations whose solutions can be completely described by linear recurrences. In particular, we provide an integer-coefficient polynomial $p(x, y, z)$ whose only integer roots are consecutive triples of Tribonacci numbers.


title: A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

abstract: Functional programs typically interact with stateful libraries that hide state behind typed abstractions. One particularly important class of applications are data structure implementations that rely on such libraries to provide a level of efficiency and scalability that may be otherwise difficult to achieve. However, because the specifications of the methods provided by these libraries are necessarily general and rarely specialized to the needs of any specific client, any required application-level invariants must often be expressed in terms of additional constraints on the (often) opaque state maintained by the library. In this paper, we consider the specification and verification of such representation invariants using symbolic finite automata (SFA). We show that SFAs can be used to succinctly and precisely capture fine-grained temporal and data-dependent histories of interactions between functional clients and stateful libraries. To facilitate modular and compositional reasoning, we integrate SFAs into a refinement type system to qualify stateful computations resulting from such interactions. The particular instantiation we consider, Hoare Automata Types (HATs), allows us to both specify and automatically type-check the representation invariants of a datatype, even when its implementation depends on stateful library methods that operate over hidden state. We also develop a new bidirectional type checking algorithm that implements an efficient subtyping inclusion check over HATs, enabling their translation into a form amenable for SMT-based automated verification. We present extensive experimental results on an implementation of this algorithm that demonstrates the feasibility of type-checking complex and sophisticated HAT-specified OCaml data structure implementations.


title: A Design Space for Visualization with Large Scale-Item Ratios

abstract: The scale-item ratio is the relationship between the largest scale and the smallest item in a visualization. Designing visualizations when this ratio is large can be challenging, and designers have developed many approaches to overcome this challenge. We present a design space for visualization with large scale-item ratios. The design space includes three dimensions, with eight total subdimensions. We demonstrate its descriptive power by using it to code approaches from a corpus we compiled of 54 examples, created by a mix of academics and practitioners. We then partition these examples into five strategies, which are shared approaches with respect to design space dimension choices. We demonstrate generative power by analyzing missed opportunities within the corpus of examples, identified through analysis of the design space, where we note how certain examples could have benefited from different choices. Supplemental materials: https://osf.io/wbrdm/?view_only=04389a2101a04e71a2c208a93bf2f7f2


title: QuAD: Query-based Interpretable Neural Motion Planning for Autonomous Driving

abstract: A self-driving vehicle must understand its environment to determine the appropriate action. Traditional autonomy systems rely on object detection to find the agents in the scene. However, object detection assumes a discrete set of objects and loses information about uncertainty, so any errors compound when predicting the future behavior of those agents. Alternatively, dense occupancy grid maps have been utilized to understand free-space. However, predicting a grid for the entire scene is wasteful since only certain spatio-temporal regions are reachable and relevant to the self-driving vehicle. We present a unified, interpretable, and efficient autonomy framework that moves away from cascading modules that first perceive, then predict, and finally plan. Instead, we shift the paradigm to have the planner query occupancy at relevant spatio-temporal points, restricting the computation to those regions of interest. Exploiting this representation, we evaluate candidate trajectories around key factors such as collision avoidance, comfort, and progress for safety and interpretability. Our approach achieves better highway driving quality than the state-of-the-art in high-fidelity closed-loop simulations.


title: Explainable AI Integrated Feature Engineering for Wildfire Prediction

abstract: Wildfires present intricate challenges for prediction, necessitating the use of sophisticated machine learning techniques for effective modeling\cite{jain2020review}. In our research, we conducted a thorough assessment of various machine learning algorithms for both classification and regression tasks relevant to predicting wildfires. We found that for classifying different types or stages of wildfires, the XGBoost model outperformed others in terms of accuracy and robustness. Meanwhile, the Random Forest regression model showed superior results in predicting the extent of wildfire-affected areas, excelling in both prediction error and explained variance. Additionally, we developed a hybrid neural network model that integrates numerical data and image information for simultaneous classification and regression. To gain deeper insights into the decision-making processes of these models and identify key contributing features, we utilized eXplainable Artificial Intelligence (XAI) techniques, including TreeSHAP, LIME, Partial Dependence Plots (PDP), and Gradient-weighted Class Activation Mapping (Grad-CAM). These interpretability tools shed light on the significance and interplay of various features, highlighting the complex factors influencing wildfire predictions. Our study not only demonstrates the effectiveness of specific machine learning models in wildfire-related tasks but also underscores the critical role of model transparency and interpretability in environmental science applications.


title: DeLVE into Earth's Past: A Visualization-Based Exhibit Deployed Across Multiple Museum Contexts

abstract: While previous work has found success in deploying visualizations as museum exhibits, differences in visitor behaviour across varying museum contexts are understudied. We present an interactive Deep-time Literacy Visualization Exhibit (DeLVE) to help museum visitors understand deep time (lengths of extremely long geological processes) by improving proportional reasoning skills through comparison of different time periods. DeLVE uses a new visualization idiom, Connected Multi-Tier Ranges, to visualize curated datasets of past events across multiple scales of time, relating extreme scales with concrete scales that have more familiar magnitudes and units. Museum staff at three separate museums approved the deployment of DeLVE as a digital kiosk, and devoted time to curating a unique dataset in each of them. We collect data from two sources, an observational study and system trace logs, yielding evidence of successfully meeting our requirements. We discuss the importance of context: similar museum exhibits in different contexts were received very differently by visitors. We additionally discuss differences in our process from standard design study methodology which is focused on design studies for data analysis purposes, rather than for presentation. Supplemental materials are available at: https://osf.io/z53dq/?view_only=4df33aad207144aca149982412125541


title: Perceived Social Influence on Vaccination Decisions: A COVID-19 Case Study

abstract: In this study, we examine the perceived influence of others, across both strong and weak social ties, on COVID-19 vaccination decisions in the United States. We add context to social influence by measuring related concepts, such as perceived agreement of others and perceived danger of COVID-19 to others. We find that vaccinated populations perceived more influence from their social circles than unvaccinated populations. This finding holds true across various social groups, including family, close friends, and neighbors. Vaccinated participants perceived that others agreed with their decision to get vaccinated more than unvaccinated participants perceived others to agree with their decision to not get vaccinated. Despite the clear differences in perceived social influence and agreement across the groups, the majority of participants across both vaccinated and unvaccinated populations perceived no social influence from all social group in their decisions. Aligning with this result, we find through open-ended responses that both vaccinated and unvaccinated participants frequently cited fear as a motivating factor in their decision, rather than social influence: vaccinated participants feared COVID-19, while unvaccinated participants feared the vaccine itself.


title: AAdaM at SemEval-2024 Task 1: Augmentation and Adaptation for Multilingual Semantic Textual Relatedness

abstract: This paper presents our system developed for the SemEval-2024 Task 1: Semantic Textual Relatedness for African and Asian Languages. The shared task aims at measuring the semantic textual relatedness between pairs of sentences, with a focus on a range of under-represented languages. In this work, we propose using machine translation for data augmentation to address the low-resource challenge of limited training data. Moreover, we apply task-adaptive pre-training on unlabeled task data to bridge the gap between pre-training and task adaptation. For model training, we investigate both full fine-tuning and adapter-based tuning, and adopt the adapter framework for effective zero-shot cross-lingual transfer. We achieve competitive results in the shared task: our system performs the best among all ranked teams in both subtask A (supervised learning) and subtask C (cross-lingual transfer).


title: SUGAR: Pre-training 3D Visual Representations for Robotics

abstract: Learning generalizable visual representations from Internet data has yielded promising results for robotics. Yet, prevailing approaches focus on pre-training 2D representations, being sub-optimal to deal with occlusions and accurately localize objects in complex 3D scenes. Meanwhile, 3D representation learning has been limited to single-object understanding. To address these limitations, we introduce a novel 3D pre-training framework for robotics named SUGAR that captures semantic, geometric and affordance properties of objects through 3D point clouds. We underscore the importance of cluttered scenes in 3D representation learning, and automatically construct a multi-object dataset benefiting from cost-free supervision in simulation. SUGAR employs a versatile transformer-based model to jointly address five pre-training tasks, namely cross-modal knowledge distillation for semantic learning, masked point modeling to understand geometry structures, grasping pose synthesis for object affordance, 3D instance segmentation and referring expression grounding to analyze cluttered scenes. We evaluate our learned representation on three robotic-related tasks, namely, zero-shot 3D object recognition, referring expression grounding, and language-driven robotic manipulation. Experimental results show that SUGAR's 3D representation outperforms state-of-the-art 2D and 3D representations.


title: Modality Translation for Object Detection Adaptation Without Forgetting Prior Knowledge

abstract: A common practice in deep learning consists of training large neural networks on massive datasets to perform accurately for different domains and tasks. While this methodology may work well in numerous application areas, it only applies across modalities due to a larger distribution shift in data captured using different sensors. This paper focuses on the problem of adapting a large object detection model to one or multiple modalities while being efficient. To do so, we propose ModTr as an alternative to the common approach of fine-tuning large models. ModTr consists of adapting the input with a small transformation network trained to minimize the detection loss directly. The original model can therefore work on the translated inputs without any further change or fine-tuning to its parameters. Experimental results on translating from IR to RGB images on two well-known datasets show that this simple ModTr approach provides detectors that can perform comparably or better than the standard fine-tuning without forgetting the original knowledge. This opens the doors to a more flexible and efficient service-based detection pipeline in which, instead of using a different detector for each modality, a unique and unaltered server is constantly running, where multiple modalities with the corresponding translations can query it. Code: https://github.com/heitorrapela/ModTr.


title: Schur-Weyl dualities for the rook monoid: an approach via Schur algebras

abstract: The rook monoid, also known as the symmetric inverse monoid, is the archetypal structure when it comes to extend the principle of symmetry. In this paper, we establish a Schur-Weyl duality between this monoid and an extension of the classical Schur algebra, which we name the extended Schur algebra. We also explain how this relates to Solomon's Schur-Weyl duality between the rook monoid and the general linear group and mention some advantages of our approach.


title: Probing Stochastic Ultralight Dark Matter with Space-based Gravitational-Wave Interferometers

abstract: Ultralight particles are theoretically well-motivated dark matter candidates. In the vicinity of the solar system, these ultralight particles are described as a superposition of plane waves, resulting in a stochastic field with amplitude fluctuations on scales determined by the velocity dispersion of dark matter. In this work, we systematically investigate the sensitivity of space-based gravitational-wave interferometers to the stochastic ultralight dark matter field within the frequentist framework. We derive the projected sensitivity of a single detector using the time-delay interferometry and find that the stochastic effect will only diminish the performance of the detector marginally, unlike searches in other contexts where significant reductions are found. Furthermore, we explore the sensitivity of detector network in two typical configurations. We find that the well-separated configuration, where the distance between two detectors exceeds the coherence length of dark matter, is the optimal choice for ultralight dark matter detection due to a less chance of missing signal. This contrasts with the detection of stochastic gravitational-wave background, where the co-located and co-aligned configuration is preferred. Our results may provide useful insights for potential joint observations involving gravitational-wave detectors like LISA, Taiji and TianQin.


title: Estimating Heterogeneous Effects: Applications to Labor Economics

abstract: A growing number of applications involve settings where, in order to infer heterogeneous effects, a researcher compares various units. Examples of research designs include children moving between different neighborhoods, workers moving between firms, patients migrating from one city to another, and banks offering loans to different firms. We present a unified framework for these settings, based on a linear model with normal random coefficients and normal errors. Using the model, we discuss how to recover the mean and dispersion of effects, other features of their distribution, and to construct predictors of the effects. We provide moment conditions on the model's parameters, and outline various estimation strategies. A main objective of the paper is to clarify some of the underlying assumptions by highlighting their economic content, and to discuss and inform some of the key practical choices.


title: Exploring the Cauchy-Riemann structure and integrability conditions of $F$-structures satisfying $\alpha F^{K+1} +\beta F^{K} + F=0$

abstract: This work introduces a new class of $F$-structures satisfying $\alpha F^{K+1} +\beta F^{K} + F=0$, where $K$ is a positive integer, $K\geq3$, and $\alpha, \beta$ are real or complex numbers. We investigate the Cauchy-Riemann structure and its link with the $F$-structure. We also address the integrability of this structure, including partial and complete integrability. Finally, we present several examples of the $F$-structure.


title: First determination of the angular dependence of rise and decay times of solar radio bursts using multi-spacecraft observations

abstract: Radio photons interact with anisotropic density fluctuations in the heliosphere, which can alter their trajectory and influence properties deduced from observations. This is particularly evident in solar radio observations, where anisotropic scattering leads to highly-directional radio emissions. Consequently, observers at varying locations will measure different properties, including different source sizes, source positions, and intensities. However, it is not known if measurements of the decay time of solar radio bursts are also affected by the observer's position. Decay times are dominated by scattering effects, and so are frequently used as proxies of the level of density fluctuations in the heliosphere, making the identification of any location-related dependence crucial. We combine multi-vantage observations of interplanetary Type III bursts from four non-collinear, angularly-separated spacecraft with simulations, to investigate the dependence of both the decay- and rise-time measurements on the separation of the observer from the source. We propose a function to characterise the entire time profile of radio signals, allowing for the simultaneous estimation of the peak flux, decay time, and rise time, while demonstrating that the rise phase of radio bursts has a non-constant, non-exponential growth rate. We determine that the decay and rise times are independent of the observer's position, identifying them as the only properties to remain unaffected, thus not requiring corrections for the observer's location. Moreover, we examine the ratio between the rise and decay times, finding that it does not depend on the frequency. Therefore, we provide the first evidence that the rise phase is also significantly impacted by scattering effects, adding to our understanding of the plasma emission process.


title: Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems

abstract: We establish the existence, uniqueness, and $W^{1,2,p}$-regularity of solutions to fully nonlinear parabolic obstacle problems when the obstacle is the pointwise supremum of arbitrary functions in $W^{1,2,p}$ and the operator is only assumed to be measurable in the state and time variables. The results hold for a large class of non-smooth obstacles, including all convex obstacles. Applied to stopping problems, they imply that the decision maker never stops at a convex kink of the stopping payoff. The proof relies on new $W^{1,2,p}$-estimates for obstacle problems where the obstacle is the maximum of finitely many functions in $W^{1,2,p}$.


title: Effective Categorical Enumerative Invariants

abstract: We introduce enumerative invariants $F_{g,n}$ $(g\geq0$, $n \geq 1)$ associated to a cyclic $A_\infty$ algebra and a splitting of its non-commutative Hodge filtration. These invariants are defined by explicitly computable Feynman sums, and encode the same information as Costello's partition function of the corresponding field theory. Our invariants are stable under Morita equivalence, and therefore can be associated to a Calabi-Yau category with splitting data. This justifies the name categorical enumerative invariants (CEI) that we use for them. CEI conjecturally generalize all known enumerative invariants in symplectic geometry, complex geometry, and singularity theory. They also provide a framework for stating enumerative mirror symmetry predictions in arbitrary genus, whenever homological mirror symmetry holds.


title: Upcoming searches for decaying dark matter with ULTRASAT ultraviolet maps

abstract: Decaying dark matter (DDM) can be tested via different astrophysical and cosmological probes. In particular, particles in the $\sim$ 9.5 - 30 eV mass range that decay into monochromatic photons, would contribute to the extragalactic background light (EBL) in the ultraviolet (UV) bandwidth. In this work, we show that an intriguing improvement to the constraints on such DDM models can come from broadband UV surveys, such as GALEX or the upcoming ULTRASAT satellite. These provide diffuse light maps of the UV EBL, integrated over a wide redshift range. The cross correlation between intensity fluctuations in these maps with a reference spectroscopic galaxy survey, can be used to reconstruct the redshift evolution of the EBL intensity; in this way, it is also possible to detect signatures of contributions from DDM. We forecast the constraining power of (GALEX+ULTRASAT)$\times$DESI, and we show they will be able to detect DDM with decay rate up to $\mathcal{O}(10^{-26}\,{\rm s})$. In the context of axion-like particles (ALP), our forecasts can be converted to constraints on the ALP-photon coupling; our results show this technique will test ALP with coupling $\lesssim\mathcal{O}(10^{-12}\,{\rm GeV^{-1}})$, more than an order of magnitude better than current bounds in this mass range.


title: MosquitoFusion: A Multiclass Dataset for Real-Time Detection of Mosquitoes, Swarms, and Breeding Sites Using Deep Learning

abstract: In this paper, we present an integrated approach to real-time mosquito detection using our multiclass dataset (MosquitoFusion) containing 1204 diverse images and leverage cutting-edge technologies, specifically computer vision, to automate the identification of Mosquitoes, Swarms, and Breeding Sites. The pre-trained YOLOv8 model, trained on this dataset, achieved a mean Average Precision (mAP@50) of 57.1%, with precision at 73.4% and recall at 50.5%. The integration of Geographic Information Systems (GIS) further enriches the depth of our analysis, providing valuable insights into spatial patterns. The dataset and code are available at https://github.com/faiyazabdullah/MosquitoFusion.


title: Turning Spherical Cows into Spherical Cheeses: a bold and flavourful re-Interpretation of the Moon's spectrum

abstract: "Everyone knows the moon is made of cheese..." This line, famously uttered by Wallace to his canine sidekick Gromit in the 80s classic, may be one of the most cruelly underappreciated movie quotations of our time. Indeed, while most scientists today would simply reject Wallace's claim as preposterous, we aim to revisit his theory on the composition of our natural satellite, revealing that it may not be as implausible as the scientific consensus would have it. Through a revelatory novel analysis of existing data, we will show that very simple cheese-based models can provide a convincing explanation of the Lunar surface's spectral characteristics in the near-infrared. Using the tried and tested PLS (Partial Least Squares) method, we efficiently and reliably retrieve the concentrations of various cheese types in different locations of the Lunar surface. Our results bring to light a bold and flavourful prediction about the Moon's composition, which lays the groundwork for an important paradigm shift in planetary sciences. We urge the scientific community to take a serious notice of this piquant novel interpretation, and strongly consider it in their future models of planetary composition and formation in our solar system and beyond.


title: Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning

abstract: The ability to generate multiple plans is central to using planning in real-life applications. Top-quality planners generate sets of such top-cost plans, allowing flexibility in determining equivalent ones. In terms of the order between actions in a plan, the literature only considers two extremes -- either all orders are important, making each plan unique, or all orders are unimportant, treating two plans differing only in the order of actions as equivalent. To allow flexibility in selecting important orders, we propose specifying a subset of actions the orders between which are important, interpolating between the top-quality and unordered top-quality planning problems. We explore the ways of adapting partial order reduction search pruning techniques to address this new computational problem and present experimental evaluations demonstrating the benefits of exploiting such techniques in this setting.


title: On the orthogonal Gr\"unbaum partition problem in dimension three

abstract: Gr\"unbaum's equipartition problem asked if for any measure on $\mathbb{R}^d$ there are always $d$ hyperplanes which divide $\mathbb{R}^d$ into $2^d$ $\mu$-equal parts. This problem is known to have a positive answer for $d\le 3$ and a negative one for $d\ge 5$. A variant of this question is to require the hyperplanes to be mutually orthogonal. This variant is known to have a positive answer for $d\le 2$ and there is reason to expect it to have a negative answer for $d\ge 3$. In this note we exhibit measures that prove this. Additionally, we describe an algorithm that checks if a set of $8n$ in $\mathbb{R}^3$ can be split evenly by $3$ mutually orthogonal planes. To our surprise, it seems the probability that a random set of $8$ points chosen uniformly and independently in the unit cube does not admit such a partition is less than $0.001$.


title: Permutation symmetric solutions of the incompressible Euler equation

abstract: In this paper, we study permutation symmetric solutions of the incompressible Euler equation. We show that the dynamics of these solutions can be reduced to an evolution equation on a single vorticity component $\omega_1$, and we characterize the relevant constraint space for this vorticity component under permutation symmetry. We also give single vorticity component versions of the energy equality, Beale-Kato-Majda criterion, and local wellposedness theory that are specific to the permutation symmetric case. This paper is significantly motivated by a recent work of the author, which proved finite-time blowup for smooth solutions of a Fourier-restricted Euler model equation, where the Helmholtz projection is replaced by a projection onto a more restrictive constraint space. The blowup solutions for this model equation are odd, permutation symmetric, and mirror symmetric about the plane $x_1+x_2+x_3=0.$ Using the blowup solution introduced by Elgindi, we are able to prove there are $C^{1,\alpha}$ solutions of the full Euler equation that blowup in finite-time, which are odd, permutation symmetric, and mirror symmetric about the plane $x_1+x_2+x_3=0$.


title: Deep reinforcement learning of airfoil pitch control in a highly disturbed environment using partial observations

abstract: This study explores the application of deep reinforcement learning (RL) to design an airfoil pitch controller capable of minimizing lift variations in randomly disturbed flows. The controller, treated as an agent in a partially observable Markov decision process, receives non-Markovian observations from the environment, simulating practical constraints where flow information is limited to force and pressure sensors. Deep RL, particularly the TD3 algorithm, is used to approximate an optimal control policy under such conditions. Testing is conducted for a flat plate airfoil in two environments: a classical unsteady environment with vertical acceleration disturbances (i.e., a Wagner setup) and a viscous flow model with pulsed point force disturbances. In both cases, augmenting observations of the lift, pitch angle, and angular velocity with extra wake information (e.g., from pressure sensors) and retaining memory of past observations enhances RL control performance. Results demonstrate the capability of RL control to match or exceed standard linear controllers in minimizing lift variations. Special attention is given to the choice of training data and the generalization to unseen disturbances.


title: Reduction of Joule Losses in Memristive Switching Using Optimal Control

abstract: Electricity production from fossil fuels is among the main contributors to global warming. To suppress climate change, energy-efficient systems, devices, and technologies must be implemented. This study investigates strategies for minimizing Joule losses in resistive random access memory (ReRAM) cells, which are also referred to as memristive devices. The basic question that we ask is what is the optimal driving protocol to switch a memristive device from one state to another. In the case of ideal memristors, in the most basic scenario, the optimal protocol is determined by solving a variational problem without constraints with the help of the Euler-Lagrange equation. In the case of memristive systems, for the same situation, the optimal protocol is found using the method of Lagrange multipliers. We demonstrate the advantages of our approaches through specific examples and compare our results with those of switching with constant voltage or current. Our findings suggest that voltage or current control can be used to reduce Joule losses in emerging memory devices.


title: A Complete Congruence System for the Erdos-Straus Conjecture

abstract: In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and Velingker we define a system of congruences for which there are always solutions to the Erdos-Straus conjecture and which we conjecture to include all prime numbers. For this purpose, and always taking into account a result due to Mordell that limits the congruences admitting polynomial identities to those that are not quadratic residues, we will adopt a transversal approach and classify the solutions by their form and not by those congruences that produce them. Thus we define two new types of solutions, which we call Type A and B, and relate them to the already known Type II solutions and study their properties. Finally we conjecture that every prime number has at least one solution of Type A or B and we associate a congruence and a general polynomial to each Type of solution.


title: Can Biases in ImageNet Models Explain Generalization?

abstract: The robust generalization of models to rare, in-distribution (ID) samples drawn from the long tail of the training distribution and to out-of-training-distribution (OOD) samples is one of the major challenges of current deep learning methods. For image classification, this manifests in the existence of adversarial attacks, the performance drops on distorted images, and a lack of generalization to concepts such as sketches. The current understanding of generalization in neural networks is very limited, but some biases that differentiate models from human vision have been identified and might be causing these limitations. Consequently, several attempts with varying success have been made to reduce these biases during training to improve generalization. We take a step back and sanity-check these attempts. Fixing the architecture to the well-established ResNet-50, we perform a large-scale study on 48 ImageNet models obtained via different training methods to understand how and if these biases - including shape bias, spectral biases, and critical bands - interact with generalization. Our extensive study results reveal that contrary to previous findings, these biases are insufficient to accurately predict the generalization of a model holistically. We provide access to all checkpoints and evaluation code at https://github.com/paulgavrikov/biases_vs_generalization


title: Homotopy commutativity in quasitoric manifolds

abstract: We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is $(\Delta^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type. We also construct for each $n\ge 2$ and a positive integer $k$, a quasitoric manifold $M(k,n)$ over $(\Delta^3)^n$ such that its loop space is homotopy commutative if and only if $k$ is even, where every quasitoric manifold over $\Delta^3$ is equivalent to $\mathbb{C} P^3$ whose loop space is homotopy commutative.


title: Approximating hyperbolic lattices by cubulations

abstract: We show that an isometric action of a torsion-free uniform lattice $\Gamma$ on hyperbolic space $\mathbb{H}^n$ can be metrically approximated by geometric actions of $\Gamma$ on $\mathrm{CAT}(0)$ cube complexes, provided that either $n$ is at most three, or the lattice is arithmetic of simplest type. This solves a conjecture of Futer and Wise. Our main tool is the study of a space of co-geodesic currents, consisting of invariant Radon measures supported on codimension-1 hyperspheres in the Gromov boundary of $\mathbb{H}^n$. By pairing co-geodesic currents and geodesic currents via an intersection number, we show that asymptotic convergence of geometric actions can be deduced from the convergence of their dual co-geodesic currents. For surface groups, our methods also imply approximation by cubulations for actions induced by non-positively curved Riemannian surfaces with singularities, Hitchin and maximal representations, and quasiFuchsian representations.


title: Rugged potential of mean force and underscreening of polarizable colloids in concentrated electrolytes

abstract: This study uses advanced numerical methods to estimate the mean force potential (PMF) between charged, polarizable colloidal particles in dense electrolytes. We observe that when the Debye screening length, $\lambda_{\mathrm{D}}$, is below the hydrated ion size, the PMF shows discernible oscillations, contrasting with the expected decay in DLVO theory. Our findings provide evidence for the existence of anomalous underscreening in electrostatically stabilized suspensions, potentially having significant implications for our understanding of colloidal stability and the forces that govern the behavior of concentrated charged soft matter systems beyond DLVO theory.


title: Breaking the mass-sheet degeneracy in strong lensing mass modeling with weak lensing observations

abstract: The Hubble constant ($H_0$), a crucial parameter in cosmology, quantifies the expansion rate of the universe so its precise measurement is important to understand the fundamental dynamics of our evolving universe. One of the major limitations of measuring $H_0$ using time-delay cosmography is the presence of the mass-sheet degeneracy (MSD) in the lens mass modeling. We propose and quantitatively assess the use of galaxy-galaxy shear measurements to break the MSD in the strong lensing mass modeling. We use stacked galaxy-galaxy lensing profiles and corresponding covariance matrices from Huang et al. (2022) to constrain the MSD in lens mass modeling with a highly flexible mass profile. Our analyses show that if ideally all galaxy-galaxy lensing measurements from the Hyper Suprime-Cam (HSC) survey can be used to constrain the MSD, we can achieve $\sim 10\%$ precision on the MSD constraint. We forecast that galaxy-galaxy lensing measurements from LSST-like surveys can in general constrain the MSD with $\sim 1-3\%$ precision. Furthermore, if we push weak lensing measurements to a lower angular scale of $\sim 0.04$ $\rm Mpc$, a survey like LSST can provide $\sim 1\%$ precision on the MSD constraint, enabling a measurement of $H_0$ at the $1\%$ level. We demonstrate that galaxy-galaxy weak lensing can robustly constrain the MSD independent of stellar kinematics of the deflector, with wide-field survey data alone.


title: A drug classification pipeline for Medicaid claims using RxNorm

abstract: Objective: Freely preprocess drug codes recorded in electronic health records and insurance claims to drug classes that may then be used in biomedical research. Materials and Methods: We developed a drug classification pipeline for linking National Drug Codes to the World Health Organization Anatomical Therapeutic Chemical classification. To implement our solution, we created an R package interface to the National Library of Medicine's RxNorm API. Results: Using the classification pipeline, 59.4% of all unique NDC were linked to an ATC, resulting in 95.5% of all claims being successfully linked to a drug classification. We identified 12,004 unique NDC codes that were classified as being an opioid or non-opioid prescription for treating pain. Discussion: Our proposed pipeline performed similarly well to other NDC classification routines using commercial databases. A check of a small, random sample of non-active NDC found the pipeline to be accurate for classifying these codes. Conclusion: The RxNorm NDC classification pipeline is a practical and reliable tool for categorizing drugs in large-scale administrative claims data.


title: Universal Bound on Effective Central Charge and Its Saturation

abstract: The effective central charge (denoted by $c_{\text{eff}}$) is a measure of entanglement through a conformal interface, while the transmission coefficient (encoded in the coefficient $c_{LR}$ of the two-point function of the energy-momentum tensor across the interface) is a measure of energy transmission through the interface. It has been pointed out that these two are generally different. In this article, we propose the inequalities, $0 \leq c_{LR} \leq c_{\text{eff}} \leq \min (c_L,c_R)$. They have the simple but important implication that the amount of energy transmission can never exceed the amount of information transmission. We verify them using the AdS/CFT correspondence, using the perturbation method, and in examples beyond holography. We also show that these inequalities are sharp by constructing a class of interfaces that saturate them.


title: Temporal quantum eraser: Fusion gates with distinguishable photons

abstract: Linear-optics gates, the enabling tool of photonic quantum information processing, depend on indistinguishable photons, as they harness quantum interference to achieve nonlinear operations. Traditionally, meeting this criterion involves generating pure identical photons, a task that remains a significant challenge in the field. Yet, the required indistinguishability is linked to the spatial exchange symmetry of the multiphoton wavefunction and does not strictly necessitate identical photons. Here, we show that the ideal operation of two-photon gates, particularly fusion gates, can be recovered from distinguishable photons by ensuring the exchange symmetry of the input photonic state. To this end, we introduce a temporal quantum eraser between a pair of modally-impure single-photon sources, which heralds the symmetry of the generated two-photon state. We demonstrate this mechanism in two relevant platforms: parametric photon pair generation and single-photon extraction by a single quantum emitter. The ability to lift the requirement for identical photons bears considerable potential in linear-optics quantum information processing.


title: Addressing Heterogeneity in Federated Load Forecasting with Personalization Layers

abstract: The advent of smart meters has enabled pervasive collection of energy consumption data for training short-term load forecasting models. In response to privacy concerns, federated learning (FL) has been proposed as a privacy-preserving approach for training, but the quality of trained models degrades as client data becomes heterogeneous. In this paper we propose the use of personalization layers for load forecasting in a general framework called PL-FL. We show that PL-FL outperforms FL and purely local training, while requiring lower communication bandwidth than FL. This is done through extensive simulations on three different datasets from the NREL ComStock repository.


title: Temporally Consistent Unbalanced Optimal Transport for Unsupervised Action Segmentation

abstract: We propose a novel approach to the action segmentation task for long, untrimmed videos, based on solving an optimal transport problem. By encoding a temporal consistency prior into a Gromov-Wasserstein problem, we are able to decode a temporally consistent segmentation from a noisy affinity/matching cost matrix between video frames and action classes. Unlike previous approaches, our method does not require knowing the action order for a video to attain temporal consistency. Furthermore, our resulting (fused) Gromov-Wasserstein problem can be efficiently solved on GPUs using a few iterations of projected mirror descent. We demonstrate the effectiveness of our method in an unsupervised learning setting, where our method is used to generate pseudo-labels for self-training. We evaluate our segmentation approach and unsupervised learning pipeline on the Breakfast, 50-Salads, YouTube Instructions and Desktop Assembly datasets, yielding state-of-the-art results for the unsupervised video action segmentation task.


title: Guide to k-mer approaches for genomics across the tree of life

abstract: The wide array of currently available genomes display a wonderful diversity in size, composition and structure with many more to come thanks to several global biodiversity genomics initiatives starting in recent years. However, sequencing of genomes, even with all the recent advances, can still be challenging for both technical (e.g. small physical size, contaminated samples, or access to appropriate sequencing platforms) and biological reasons (e.g. germline restricted DNA, variable ploidy levels, sex chromosomes, or very large genomes). In recent years, k-mer-based techniques have become popular to overcome some of these challenges. They are based on the simple process of dividing the analysed sequences (e.g. raw reads or genomes) into a set of sub-sequences of length k, called k-mers. Despite this apparent simplicity, k-mer-based analysis allows for a rapid and intuitive assessment of complex sequencing datasets. Here, we provide the first comprehensive review to the theoretical properties and practical applications of k-mers in biodiversity genomics, serving as a reference manual for this powerful approach.


title: Role of the extended Hilbert space in the attainability of the Quantum Cram\'er-Rao bound for multiparameter estimation

abstract: The symmetric logarithmic derivative Cram\'er-Rao bound (SLDCRB) provides a fundamental limit to the minimum variance with which a set of unknown parameters can be estimated in an unbiased manner. It is known that the SLDCRB can be saturated provided the optimal measurements for the individual parameters commute with one another. However, when this is not the case the SLDCRB cannot be attained in general. In the experimentally relevant setting, where quantum states are measured individually, necessary and sufficient conditions for when the SLDCRB can be saturated are not known. In this setting the SLDCRB is attainable provided the SLD operators can be chosen to commute on an extended Hilbert space. However, beyond this relatively little is known about when the SLD operators can be chosen in this manner. In this paper we present explicit examples which demonstrate novel aspects of this condition. Our examples demonstrate that the SLD operators commuting on any two of the following three spaces: support space, support-kernel space and kernel space, is neither a necessary nor sufficient condition for commutativity on the extended space. We present a simple analytic example showing that the Nagaoka-Hayashi Cram\'er-Rao bound is not always attainable. Finally, we provide necessary and sufficient conditions for the attainability of the SLDCRB in the case when the kernel space is one-dimensional. These results provide new information on the necessary and sufficient conditions for the attainability of the SLDCRB.


title: Fair MP-BOOST: Fair and Interpretable Minipatch Boosting

abstract: Ensemble methods, particularly boosting, have established themselves as highly effective and widely embraced machine learning techniques for tabular data. In this paper, we aim to leverage the robust predictive power of traditional boosting methods while enhancing fairness and interpretability. To achieve this, we develop Fair MP-Boost, a stochastic boosting scheme that balances fairness and accuracy by adaptively learning features and observations during training. Specifically, Fair MP-Boost sequentially samples small subsets of observations and features, termed minipatches (MP), according to adaptively learned feature and observation sampling probabilities. We devise these probabilities by combining loss functions, or by combining feature importance scores to address accuracy and fairness simultaneously. Hence, Fair MP-Boost prioritizes important and fair features along with challenging instances, to select the most relevant minipatches for learning. The learned probability distributions also yield intrinsic interpretations of feature importance and important observations in Fair MP-Boost. Through empirical evaluation of simulated and benchmark datasets, we showcase the interpretability, accuracy, and fairness of Fair MP-Boost.


title: Watanabe's expansion: A Solution for the convexity conundrum

abstract: In this paper, we present a new method for pricing CMS derivatives. We use Mallaivin's calculus to establish a model-free connection between the price of a CMS derivative and a quadratic payoff. Then, we apply Watanabe's expansions to quadratic payoffs case under local and stochastic local volatility. Our approximations are generic. To evaluate their accuracy, we will compare the approximations numerically under the normal SABR model against the market standards: Hagan's approximation, and a Monte Carlo simulation.


title: Proactive Service Assurance in 5G and B5G Networks: A Closed-Loop Algorithm for End-to-End Network Slicing

abstract: The customization of services in Fifth-generation (5G) and Beyond 5G (B5G) networks relies heavily on network slicing, which creates multiple virtual networks on a shared physical infrastructure, tailored to meet specific requirements of distinct applications, using Software Defined Networking (SDN) and Network Function Virtualization (NFV). It is imperative to ensure that network services meet the performance and reliability requirements of various applications and users, thus, service assurance is one of the critical components in network slicing. One of the key functionalities of network slicing is the ability to scale Virtualized Network Functions (VNFs) in response to changing resource demand and to meet Customer Service Level agreements (SLAs). In this paper, we introduce a proactive closed-loop algorithm for end-to-end network orchestration, designed to provide service assurance in 5G and B5G networks. We focus on dynamically scaling resources to meet key performance indicators (KPIs) specific to each network slice and operate in parallel across multiple slices, making it scalable and capable of managing completely automatically real-time service assurance. Through our experiments, we demonstrate that the proposed algorithm effectively fulfills service assurance requirements for different network slice types, thereby minimizing network resource utilization and reducing the over-provisioning of spare resources.


title: On Train-Test Class Overlap and Detection for Image Retrieval

abstract: How important is it for training and evaluation sets to not have class overlap in image retrieval? We revisit Google Landmarks v2 clean, the most popular training set, by identifying and removing class overlap with Revisited Oxford and Paris [34], the most popular evaluation set. By comparing the original and the new RGLDv2-clean on a benchmark of reproduced state-of-the-art methods, our findings are striking. Not only is there a dramatic drop in performance, but it is inconsistent across methods, changing the ranking.What does it take to focus on objects or interest and ignore background clutter when indexing? Do we need to train an object detector and the representation separately? Do we need location supervision? We introduce Single-stage Detect-to-Retrieve (CiDeR), an end-to-end, single-stage pipeline to detect objects of interest and extract a global image representation. We outperform previous state-of-the-art on both existing training sets and the new RGLDv2-clean. Our dataset is available at https://github.com/dealicious-inc/RGLDv2-clean.


title: Ancient curve shortening flow in the disc with mixed boundary condition

abstract: Given any non-central interior point $o$ of the unit disc $D$, the diameter $L$ through $o$ is the union of two linear arcs emanating from $o$ which meet $\partial D$ orthogonally, the shorter of them stable and the longer unstable (under these boundary conditions). In each of the two half discs bounded by $L$, we construct a convex eternal solution to curve shortening flow which fixes $o$ and meets $\partial D$ orthogonally, and evolves out of the unstable critical arc at $t=-\infty$ and into the stable one at $t=+\infty$. We then prove that these two (congruent) solutions are the only non-flat convex ancient solutions to the curve shortening flow satisfying the specified boundary conditions. We obtain analogous conclusions in the "degenerate" case $o\in\partial D$ as well, although in this case the solution contracts to the point $o$ at a finite time with asymptotic shape that of a half Grim Reaper, thus providing an interesting example for which an embedded flow develops a collapsing singularity.


title: Categorical semiotics: Foundations for Knowledge Integration

abstract: The integration of knowledge extracted from diverse models, whether described by domain experts or generated by machine learning algorithms, has historically been challenged by the absence of a suitable framework for specifying and integrating structures, learning processes, data transformations, and data models or rules. In this work, we extend algebraic specification methods to address these challenges within such a framework. In our work, we tackle the challenging task of developing a comprehensive framework for defining and analyzing deep learning architectures. We believe that previous efforts have fallen short by failing to establish a clear connection between the constraints a model must adhere to and its actual implementation. Our methodology employs graphical structures that resemble Ehresmann's sketches, interpreted within a universe of fuzzy sets. This approach offers a unified theory that elegantly encompasses both deterministic and non-deterministic neural network designs. Furthermore, we highlight how this theory naturally incorporates fundamental concepts from computer science and automata theory. Our extended algebraic specification framework, grounded in graphical structures akin to Ehresmann's sketches, offers a promising solution for integrating knowledge across disparate models and domains. By bridging the gap between domain-specific expertise and machine-generated insights, we pave the way for more comprehensive, collaborative, and effective approaches to knowledge integration and modeling.


title: PlayFutures: Imagining Civic Futures with AI and Puppets

abstract: Children are the builders of the future and crucial to how the technologies around us develop. They are not voters but are participants in how the public spaces in a city are used. Through a workshop designed around kids of age 9-12, we investigate if novel technologies like artificial intelligence can be integrated in existing ways of play and performance to 1) re-imagine the future of civic spaces, 2) reflect on these novel technologies in the process and 3) build ways of civic engagement through play. We do this using a blend AI image generation and Puppet making to ultimately build future scenarios, perform debate and discussion around the futures and reflect on AI, its role and potential in their process. We present our findings of how AI helped envision these futures, aid performances, and report some initial reflections from children about the technology.


title: Hyperbolic times in Minkowski space

abstract: Time functions with asymptotically hyperbolic geometry play an increasingly important role in many areas of relativity, from computing black-hole perturbations to analyzing wave equations. Despite their significance, many of their properties remain underexplored. In this expository article, I discuss hyperbolic time functions by considering the hyperbola as the relativistic analog of a circle in two-dimensional Minkowski space and argue that suitably defined hyperboloidal coordinates are as natural in Lorentzian manifolds as spherical coordinates are in Riemannian manifolds. The presence of the null cone adds new elements to this analogy, particularly regarding the smooth foliation of the asymptotic boundary.


title: On universal sets and sumsets

abstract: We study the concept of universal sets from the additive--combinatorial point of view. Among other results we obtain some applications of this type of uniformity to sets avoiding solutions to linear equations, and get an optimal upper bound for the covering number of general sumsets.


title: ML KPI Prediction in 5G and B5G Networks

abstract: Network operators are facing new challenges when meeting the needs of their customers. The challenges arise due to the rise of new services, such as HD video streaming, IoT, autonomous driving, etc., and the exponential growth of network traffic. In this context, 5G and B5G networks have been evolving to accommodate a wide range of applications and use cases. Additionally, this evolution brings new features, like the ability to create multiple end-to-end isolated virtual networks using network slicing. Nevertheless, to ensure the quality of service, operators must maintain and optimize their networks in accordance with the key performance indicators (KPIs) and the slice service-level agreements (SLAs). In this paper, we introduce a machine learning (ML) model used to estimate throughput in 5G and B5G networks with end-to-end (E2E) network slices. Then, we combine the predicted throughput with the current network state to derive an estimate of other network KPIs, which can be used to further improve service assurance. To assess the efficiency of our solution, a performance metric was proposed. Numerical evaluations demonstrate that our KPI prediction model outperforms those derived from other methods with the same or nearly the same computational time.


title: General relativistic force-free electrodynamics with a discontinuous Galerkin-finite difference hybrid method

abstract: Relativistic plasmas around compact objects can sometimes be approximated as being force-free. In this limit, the plasma inertia is negligible and the overall dynamics is governed by global electric currents. We present a novel numerical approach for simulating such force-free plasmas, which allows for high accuracy in smooth regions as well as capturing dissipation in current sheets. Using a high-order accurate discontinuous Galerkin method augmented with a conservative finite-difference method, we demonstrate efficient global simulations of black hole and neutron star magnetospheres. In addition to a series of challenging test problems, we show that our approach can-depending on the physical properties of the system and the numerical implementation-be up to 10x more efficient than conventional simulations, with a speedup of 2-3x for most problems we consider in practice.

categories: astro-ph.IM astro-ph.HE gr-qc physics.plasm-ph


title: Set-Aligning Framework for Auto-Regressive Event Temporal Graph Generation

abstract: Event temporal graphs have been shown as convenient and effective representations of complex temporal relations between events in text. Recent studies, which employ pre-trained language models to auto-regressively generate linearised graphs for constructing event temporal graphs, have shown promising results. However, these methods have often led to suboptimal graph generation as the linearised graphs exhibit set characteristics which are instead treated sequentially by language models. This discrepancy stems from the conventional text generation objectives, leading to erroneous penalisation of correct predictions caused by the misalignment of elements in target sequences. To address these challenges, we reframe the task as a conditional set generation problem, proposing a Set-aligning Framework tailored for the effective utilisation of Large Language Models (LLMs). The framework incorporates data augmentations and set-property regularisations designed to alleviate text generation loss penalties associated with the linearised graph edge sequences, thus encouraging the generation of more relation edges. Experimental results show that our framework surpasses existing baselines for event temporal graph generation. Furthermore, under zero-shot settings, the structural knowledge introduced through our framework notably improves model generalisation, particularly when the training examples available are limited.


title: CyberShake Earthquake Fault Rupture Modeling and Ground Motion Simulations for the Southwest Iceland Transform Zone

abstract: CyberShake (CS) is a high-performance computing workflow for Probabilistic Seismic Hazard Assessment (PSHA) developed by the Statewide California Earthquake Center. Here, we employ CS to generate a set of 2103 fault ruptures and simulate the corresponding two horizontal velocity components time histories of ground motion (GM) on a 5-km grid of 625 stations in Southwest Iceland (SI). The ruptures were defined on a new synthetic time-independent 500-year catalog consisting of 223 hypothetical finite-fault sources of 5-7, generated using a new physics-based bookshelf fault system model in the SI transform zone. This fault system model and rupture realizations enable the CS time-independent physics-based approach to PSHA in the region. The study aims to migrate CS to SI and validate its kinematic fault rupture, anelastic wave propagation and ground motion simulations. Toward this goal, we use CS to generate multiple finite-fault rupture variations for each hypothetical fault. CS exploits seismic reciprocity for wave propagation by computing Strain Green Tensors along fault planes, which in turn are convolved with rupture models to generate GM seismograms. For each GM recording station, every adjoint simulation uses a 0-1 Hz Gaussian point source polarized along one horizontal grid direction. Comparison of the results in the form of rotation-invariant synthetic pseudo-acceleration spectral response values at 2, 3 and 5 sec periods are in very good agreement with the Icelandic strong-motion dataset, and a suite of new empirical Bayesian ground motion prediction equations (GMPEs). The vast majority of the CS results fall within one standard deviation of the mean GMPE predictions, previously estimated for the area. Importantly, at large magnitudes for which no data exists in Iceland, the CS dataset may play an important role in constraining the GMPEs for future applications.


title: Strange Sounds

abstract: This note addresses the effects of long-ranged and/or retarded interactions on the bosonic collective modes in the so-called 'strange metals'. Recently, there have been conflicting reports on the very existence of such stable collective excitations and their properties. Extending a number of approaches that were previously used in the analyses of the standard Fermi liquid one finds evidence for, both, conventional and novel behaviors of the non-Fermi-liquid counterparts of the zero-, shear-, and other 'sounds'.


title: Syntactic Robustness for LLM-based Code Generation

abstract: Rapid advances in the field of Large Language Models (LLMs) have made LLM-based code generation an important area for investigation. An LLM-based code generator takes a prompt as input and produces code that implements the requirements specified in the prompt. Many software requirements include mathematical formulas that specify the expected behavior of the code to be generated. Given a code generation prompt that includes a mathematical formula, a reasonable expectation is that, if the formula is syntactically modified without changing its semantics, the generated code for the modified prompt should be semantically equivalent. We formalize this concept as syntactic robustness and investigate the syntactic robustness of GPT-3.5-Turbo and GPT-4 as code generators. To test syntactic robustness, we generate syntactically different but semantically equivalent versions of prompts using a set of mutators that only modify mathematical formulas in prompts. In this paper, we focus on prompts that ask for code that generates solutions to variables in an equation, when given coefficients of the equation as input. Our experimental evaluation demonstrates that GPT-3.5-Turbo and GPT-4 are not syntactically robust for this type of prompts. To improve syntactic robustness, we define a set of reductions that transform the formulas to a simplified form and use these reductions as a pre-processing step. Our experimental results indicate that the syntactic robustness of LLM-based code generation can be improved using our approach.


title: Laying Anchors: Semantically Priming Numerals in Language Modeling

abstract: Off-the-shelf pre-trained language models have become the de facto standard in NLP pipelines for a multitude of downstream tasks. However, the inability of these models to properly encode numerals limits their performance on tasks requiring numeric comprehension. We introduce strategies to semantically prime numerals in any corpus by generating anchors governed by the distribution of numerals in said corpus, thereby enabling mathematically grounded representations of these numeral tokens. We establish the superiority of our proposed techniques through evaluation on a range of numeracy tasks for both in-domain (seen) and out-domain (unseen) numerals. Further, we expand our empirical evaluations to numerals ranging from 1 to 10 billion, a significantly broader range compared to previous studies of the same nature, and we demonstrate significant improvements in the mathematical grounding of our learned embeddings.


title: Are Doppler Velocity Measurements Useful for Spinning Radar Odometry?

abstract: Spinning, frequency-modulated continuous-wave (FMCW) radar has been gaining popularity for autonomous vehicle navigation. The spinning radar is chosen over the more classic automotive `fixed' radar as it is able to capture the full 360 degree field of view without requiring multiple sensors and extensive calibration. However, commercially available spinning radar systems have not previously had the ability to extract radial velocities due to the lack of repeated measurements in the same direction and fundamental hardware setup. A new firmware upgrade now makes it possible to alternate the modulation of the radar signal between azimuths. In this paper, we first present a way to use this alternating modulation to extract radial Doppler velocity measurements from single raw radar intensity scans. We then incorporate these measurements in two different modern odometry pipelines and evaluate them in progressively challenging autonomous driving environments. We show that using Doppler velocity measurements enables our odometry to continue functioning at state-of-the-art even in severely geometrically degenerate environments.


title: An Infinite Family of Real Quadratic Fields with Three Classes of Perfect Unary Forms

abstract: In this paper, we revisit the theory of perfect unary forms over real quadratic fields. Specifically, we deduce an infinite family of real quadratic fields $\mathbb{Q}(\sqrt{d})$ when $d=2$ or $3$ mod $4$, such that there are three classes of perfect unary forms up to homothety and equivalence. This work, along with the work in \cite{unitred}, seems to suggest that the number of classes of perfect unary forms is related to the fundamental unit of $K$.