title: AutoCT: Automated CT registration, segmentation, and quantification

abstract: The processing and analysis of computed tomography (CT) imaging is important for both basic scientific development and clinical applications. In AutoCT, we provide a comprehensive pipeline that integrates an end-to-end automatic preprocessing, registration, segmentation, and quantitative analysis of 3D CT scans. The engineered pipeline enables atlas-based CT segmentation and quantification leveraging diffeomorphic transformations through efficient forward and inverse mappings. The extracted localized features from the deformation field allow for downstream statistical learning that may facilitate medical diagnostics. On a lightweight and portable software platform, AutoCT provides a new toolkit for the CT imaging community to underpin the deployment of artificial intelligence-driven applications.


title: Design and implementation of a seismic Newtonian-noise cancellation system for the Virgo gravitational-wave detector

abstract: Terrestrial gravity perturbations caused by seismic fields produce the so-called Newtonian noise in gravitational-wave detectors, which is predicted to limit their sensitivity in the upcoming observing runs. In the past, this noise was seen as an infrastructural limitation, i.e., something that cannot be overcome without major investments to improve a detector's infrastructure. However, it is possible to have at least an indirect estimate of this noise by using the data from a large number of seismometers deployed around a detector's suspended test masses. The noise estimate can be subtracted from the gravitational-wave data; a process called Newtonian-noise cancellation (NNC). In this article, we present the design and implementation of the first NNC system at the Virgo detector as part of its AdV+ upgrade. It uses data from 110 vertical geophones deployed inside the Virgo buildings in optimized array configurations. We use a separate tiltmeter channel to test the pipeline in a proof-of-principle. The system has been running with good performance over months.


title: Bidisperse beds sheared by viscous fluids: Grain segregation and bed hardening

abstract: When a granular bed is sheared by a fluid that flows above a critical limit, it undergoes a complex motion that varies along time: it can contain fluid- (bedload) and solid-like (creep) regions, being prone to strain hardening and, in case of polydispersity, segregation. In this paper, we investigate experimentally the short- and long-time evolution of a bidisperse bed sheared by a viscous liquid. Different from previous experiments, the density ratio between grains and fluid is 2.7, close to values found in rivers and oceans. We show the existence of diffusive, advective and constrained regions, that most of segregation occurs during the very first stages of the flow, and that bed hardening becomes stronger while bedload and creep weaken along time. We obtain the segregation rates, their evolution along time, their variation with the applied shearing, and the time evolution of creeping and bedload. Finally, we propose characteristic times for the segregation of large particles and bed hardening. Our results shed light on the complex motion of sheared beds existing in nature, such as river beds and creeping lands.


title: A Quantum Algorithm for Dynamic Mode Decomposition Integrated with a Quantum Differential Equation Solver

abstract: We present a quantum algorithm that analyzes time series data simulated by a quantum differential equation solver. The proposed algorithm is a quantum version of the dynamic mode decomposition algorithm used in diverse fields such as fluid dynamics and epidemiology. Our quantum algorithm can also compute matrix eigenvalues and eigenvectors by analyzing the corresponding linear dynamical system. Our algorithm handles a broad range of matrices, in particular those with complex eigenvalues. The complexity of our quantum algorithm is $O(\operatorname{poly}\log N)$ for an $N$-dimensional system. This is an exponential speedup over known classical algorithms with at least $O(N)$ complexity. Thus, our quantum algorithm is expected to enable high-dimensional dynamical systems analysis and large matrix eigenvalue decomposition, intractable for classical computers.


title: Data-Centric Financial Large Language Models

abstract: Large language models (LLMs) show promise for natural language tasks but struggle when applied directly to complex domains like finance. LLMs have difficulty reasoning about and integrating all relevant information. We propose a data-centric approach to enable LLMs to better handle financial tasks. Our key insight is that rather than overloading the LLM with everything at once, it is more effective to preprocess and pre-understand the data. We create a financial LLM (FLLM) using multitask prompt-based finetuning to achieve data pre-processing and pre-understanding. However, labeled data is scarce for each task. To overcome manual annotation costs, we employ abductive augmentation reasoning (AAR) to automatically generate training data by modifying the pseudo labels from FLLM's own outputs. Experiments show our data-centric FLLM with AAR substantially outperforms baseline financial LLMs designed for raw text, achieving state-of-the-art on financial analysis and interpretation tasks. We also open source a new benchmark for financial analysis and interpretation. Our methodology provides a promising path to unlock LLMs' potential for complex real-world domains.


title: Learning Extrinsic Dexterity with Parameterized Manipulation Primitives

abstract: Many practically relevant robot grasping problems feature a target object for which all grasps are occluded, e.g., by the environment. Single-shot grasp planning invariably fails in such scenarios. Instead, it is necessary to first manipulate the object into a configuration that affords a grasp. We solve this problem by learning a sequence of actions that utilize the environment to change the object's pose. Concretely, we employ hierarchical reinforcement learning to combine a sequence of learned parameterized manipulation primitives. By learning the low-level manipulation policies, our approach can control the object's state through exploiting interactions between the object, the gripper, and the environment. Designing such a complex behavior analytically would be infeasible under uncontrolled conditions, as an analytic approach requires accurate physical modeling of the interaction and contact dynamics. In contrast, we learn a hierarchical policy model that operates directly on depth perception data, without the need for object detection, pose estimation, or manual design of controllers. We evaluate our approach on picking box-shaped objects of various weight, shape, and friction properties from a constrained table-top workspace. Our method transfers to a real robot and is able to successfully complete the object picking task in 98\% of experimental trials. Supplementary information and videos can be found at https://shihminyang.github.io/ED-PMP/.


title: Understanding when Dynamics-Invariant Data Augmentations Benefit Model-Free Reinforcement Learning Updates

abstract: Recently, data augmentation (DA) has emerged as a method for leveraging domain knowledge to inexpensively generate additional data in reinforcement learning (RL) tasks, often yielding substantial improvements in data efficiency. While prior work has demonstrated the utility of incorporating augmented data directly into model-free RL updates, it is not well-understood when a particular DA strategy will improve data efficiency. In this paper, we seek to identify general aspects of DA responsible for observed learning improvements. Our study focuses on sparse-reward tasks with dynamics-invariant data augmentation functions, serving as an initial step towards a more general understanding of DA and its integration into RL training. Experimentally, we isolate three relevant aspects of DA: state-action coverage, reward density, and the number of augmented transitions generated per update (the augmented replay ratio). From our experiments, we draw two conclusions: (1) increasing state-action coverage often has a much greater impact on data efficiency than increasing reward density, and (2) decreasing the augmented replay ratio substantially improves data efficiency. In fact, certain tasks in our empirical study are solvable only when the replay ratio is sufficiently low.


title: Evaluation of large language models using an Indian language LGBTI+ lexicon

abstract: Large language models (LLMs) are typically evaluated on the basis of task-based benchmarks such as MMLU. Such benchmarks do not examine responsible behaviour of LLMs in specific contexts. This is particularly true in the LGBTI+ context where social stereotypes may result in variation in LGBTI+ terminology. Therefore, domain-specific lexicons or dictionaries may be useful as a representative list of words against which the LLM's behaviour needs to be evaluated. This paper presents a methodology for evaluation of LLMs using an LGBTI+ lexicon in Indian languages. The methodology consists of four steps: formulating NLP tasks relevant to the expected behaviour, creating prompts that test LLMs, using the LLMs to obtain the output and, finally, manually evaluating the results. Our qualitative analysis shows that the three LLMs we experiment on are unable to detect underlying hateful content. Similarly, we observe limitations in using machine translation as means to evaluate natural language understanding in languages other than English. The methodology presented in this paper can be useful for LGBTI+ lexicons in other languages as well as other domain-specific lexicons. The work done in this paper opens avenues for responsible behaviour of LLMs, as demonstrated in the context of prevalent social perception of the LGBTI+ community.


title: Utilizing Language Models for Energy Load Forecasting

abstract: Energy load forecasting plays a crucial role in optimizing resource allocation and managing energy consumption in buildings and cities. In this paper, we propose a novel approach that leverages language models for energy load forecasting. We employ prompting techniques to convert energy consumption data into descriptive sentences, enabling fine-tuning of language models. By adopting an autoregressive generating approach, our proposed method enables predictions of various horizons of future energy load consumption. Through extensive experiments on real-world datasets, we demonstrate the effectiveness and accuracy of our proposed method. Our results indicate that utilizing language models for energy load forecasting holds promise for enhancing energy efficiency and facilitating intelligent decision-making in energy systems.


title: SVR Algorithm as a Tool for More Optimal Intergalactic Medium Simulation in the Epoch of Reionization

abstract: All kinds of simulations of the intergalactic medium, such as hydrodynamic simulation, N-body simulation, numerical and semi-numerical simulation, etc., have been used to realize the history of this medium. One of these simulations is 21SSD, which is specifically focused on the epoch of reionization. This simulation deepens our understanding of the physics behind the intergalactic medium by considering the free parameters related to the Wouthuysen-Field coupling fluctuations and X-ray and Lyman line transfers in the intergalactic medium, and by presenting the plots of the power spectrum, brightness temperature, etc. in different redshifts. However, due to many physical phenomena that play significant roles in this epoch, simulations of the intergalactic medium are usually extremely complex, time-consuming, and require very powerful hardware. In this work, by using the Support Vector Regression algorithm and based on the 21SSD simulation datasets, we have tried to make the machine fully understand the brightness temperature changes in terms of redshift for different astrophysical free parameters values. At first, we trained the machine with the results of the 21SSD simulation. Then, the machine was able to predict the brightness temperature in terms of redshift with very high accuracy for other interval coefficients. Although we have used this algorithm to estimate the brightness temperature, it seems that this algorithm can be easily used for other parts of cosmology and astrophysics. With its help, it is possible to save time and obtain results with extraordinary accuracy similar to complex simulations, even with normal hardware.


title: Neural Stress Fields for Reduced-order Elastoplasticity and Fracture

abstract: We propose a hybrid neural network and physics framework for reduced-order modeling of elastoplasticity and fracture. State-of-the-art scientific computing models like the Material Point Method (MPM) faithfully simulate large-deformation elastoplasticity and fracture mechanics. However, their long runtime and large memory consumption render them unsuitable for applications constrained by computation time and memory usage, e.g., virtual reality. To overcome these barriers, we propose a reduced-order framework. Our key innovation is training a low-dimensional manifold for the Kirchhoff stress field via an implicit neural representation. This low-dimensional neural stress field (NSF) enables efficient evaluations of stress values and, correspondingly, internal forces at arbitrary spatial locations. In addition, we also train neural deformation and affine fields to build low-dimensional manifolds for the deformation and affine momentum fields. These neural stress, deformation, and affine fields share the same low-dimensional latent space, which uniquely embeds the high-dimensional simulation state. After training, we run new simulations by evolving in this single latent space, which drastically reduces the computation time and memory consumption. Our general continuum-mechanics-based reduced-order framework is applicable to any phenomena governed by the elastodynamics equation. To showcase the versatility of our framework, we simulate a wide range of material behaviors, including elastica, sand, metal, non-Newtonian fluids, fracture, contact, and collision. We demonstrate dimension reduction by up to 100,000X and time savings by up to 10X.


title: Bubble-Induced Entrainment at Viscoplastic-Newtonian Interfaces

abstract: The passage of single air bubbles through the horizontal interface between miscible viscoplastic and Newtonian fluids, considering various combinations of densities and viscosities for the fluid layers, is studied computationally. The primary focus is on the quantity of liquid transferred from the lower layer (Viscoplastic fluid) to the upper layer (Newtonian fluid) as a result of the bubble's ascent, a factor with significant implications for the turbidity of methane-emitting lakes and water bodies. The results show that at $ Bo>1 $ and moderate $ Ar $, prolate-shaped bubbles crossing the interface undergo elongation in the direction of their poles. This elongation is further accentuated when the viscosity of upper layer is less than the plastic viscosity of the lower layer. The bubble is found to break up when leaving the lower layer, of a critical capillary number, $ Ca_c \approx 5 $. The results show a significant reduction in the volume of entrainment compared to the Newtonian counterpart. This suggests disturbances caused by the rising bubble at the interface dissipate over a smaller region. Four distinct entrainment regimes are identified, mainly indicating the height to which the entrained fluid can be transported away from the interface. In contrast to Newtonian fluids, the volume of entrainment increases by decreasing the viscosity of the upper layer. Interestingly, the heavy yield stress fluid that has been dragged up into the the light Newtonian fluid does not recede down by time.

categories: physics.flu-dyn math-ph math.MP physics.bio-ph physics.geo-ph


title: A note on reducing spurious pressure oscillations in fully conservative discontinuous Galerkin simulations of multicomponent flows

abstract: A well-known issue associated with the use of fully conservative schemes in multicomponent-flow simulations is the generation of spurious pressure oscillations at contact interfaces. These oscillations can rapidly lead to solver divergence even in the presence of smooth interfaces that are not fully resolved. In this note, we compare various strategies for reducing such oscillations that do not (a) introduce conservation error, (b) rely on artificial viscosity or limiting, or (c) degrade order of accuracy in smooth regions of the flow. The considered test case is one-dimensional advection of a high-pressure nitrogen/n-dodecane thermal bubble using the thermally perfect gas model. Several results are presented that contradict those corresponding to the more conventional hydrogen/oxygen thermal-bubble case.


title: "You Are An Expert Linguistic Annotator": Limits of LLMs as Analyzers of Abstract Meaning Representation

abstract: Large language models (LLMs) show amazing proficiency and fluency in the use of language. Does this mean that they have also acquired insightful linguistic knowledge about the language, to an extent that they can serve as an "expert linguistic annotator"? In this paper, we examine the successes and limitations of the GPT-3, ChatGPT, and GPT-4 models in analysis of sentence meaning structure, focusing on the Abstract Meaning Representation (AMR; Banarescu et al. 2013) parsing formalism, which provides rich graphical representations of sentence meaning structure while abstracting away from surface forms. We compare models' analysis of this semantic structure across two settings: 1) direct production of AMR parses based on zero- and few-shot prompts, and 2) indirect partial reconstruction of AMR via metalinguistic natural language queries (e.g., "Identify the primary event of this sentence, and the predicate corresponding to that event."). Across these settings, we find that models can reliably reproduce the basic format of AMR, and can often capture core event, argument, and modifier structure -- however, model outputs are prone to frequent and major errors, and holistic analysis of parse acceptability shows that even with few-shot demonstrations, models have virtually 0% success in producing fully accurate parses. Eliciting natural language responses produces similar patterns of errors. Overall, our findings indicate that these models out-of-the-box can capture aspects of semantic structure, but there remain key limitations in their ability to support fully accurate semantic analyses or parses.


title: Lefschetz properties and the Jacobian algebra of 3-dimensional hyperplane arrangements

abstract: In this article, we study the weak and strong Lefschetz of higher dimensional quotients and dimension 1 almost complete intersections. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.


title: Weak diameter choosability of graphs with an excluded minor

abstract: Weak diameter coloring of graphs recently attracted attention partially due to its connection to asymptotic dimension of metric spaces. We consider weak diameter list-coloring of graphs in this paper. Dvo\v{r}\'{a}k and Norin proved that graphs with bounded Euler genus are 3-choosable with bounded weak diameter. In this paper, we extend their result by showing that for every graph $H$, $H$-minor free graphs are 3-choosable with bounded weak diameter. The upper bound 3 is optimal and it strengthens an earlier result for non-list-coloring $H$-minor free graphs with bounded weak diameter. As a corollary, $H$-minor free graphs with bounded maximum degree are 3-choosable with bounded clustering, strengthening an earlier result for non-list-coloring. When $H$ is planar, we prove a much stronger result: for every 2-list-assignment $L$ of an $H$-minor free graph, every precoloring with bounded weak diameter can be extended to an $L$-coloring with bounded weak diameter. As a corollary, for any planar graph $H$ and $H$-minor free graph $G$, there are exponentially many list-colorings of $G$ with bounded weak diameter (and with bounded clustering if $G$ also has bounded maximum degree); and every graph with bounded layered tree-width and bounded maximum degree has exponentially many 3-colorings with bounded clustering. We also show that the aforementioned results for list-coloring cannot be extended to odd minor free graphs by showing that some bipartite graphs with maximum degree $\Delta$ are $k$-choosable with bounded weak diameter only when $k=\Omega(\log\Delta/\log\log\Delta)$. On the other hand, we show that odd $H$-minor graphs are 3-colorable with bounded weak diameter, implying an earlier result about clustered coloring of odd $H$-minor free graphs with bounded maximum degree.


title: ControlLLM: Augment Language Models with Tools by Searching on Graphs

abstract: We present ControlLLM, a novel framework that enables large language models (LLMs) to utilize multi-modal tools for solving complex real-world tasks. Despite the remarkable performance of LLMs, they still struggle with tool invocation due to ambiguous user prompts, inaccurate tool selection and parameterization, and inefficient tool scheduling. To overcome these challenges, our framework comprises three key components: (1) a \textit{task decomposer} that breaks down a complex task into clear subtasks with well-defined inputs and outputs; (2) a \textit{Thoughts-on-Graph (ToG) paradigm} that searches the optimal solution path on a pre-built tool graph, which specifies the parameter and dependency relations among different tools; and (3) an \textit{execution engine with a rich toolbox} that interprets the solution path and runs the tools efficiently on different computational devices. We evaluate our framework on diverse tasks involving image, audio, and video processing, demonstrating its superior accuracy, efficiency, and versatility compared to existing methods. The code is at https://github.com/OpenGVLab/ControlLLM.


title: Neuromorphic Online Clustering and Classification

abstract: The bottom two layers of a neuromorphic architecture are designed and shown to be capable of online clustering and supervised classification. An active spiking dendrite model is used, and a single dendritic segment performs essentially the same function as a classic integrate-and-fire point neuron. A single dendrite is then composed of multiple segments and is capable of online clustering. Although this work focuses primarily on dendrite functionality, a multi-point neuron can be formed by combining multiple dendrites. To demonstrate its clustering capability, a dendrite is applied to spike sorting, an important component of brain-computer interface applications. Supervised online classification is implemented as a network composed of multiple dendrites and a simple voting mechanism. The dendrites operate independently and in parallel. The network learns in an online fashion and can adapt to macro-level changes in the input stream. Achieving brain-like capabilities, efficiencies, and adaptability will require a significantly different approach than conventional deep networks that learn via compute-intensive back propagation. The model described herein may serve as the foundation for such an approach.


title: Maximum entropy-based modeling of community-level hazard responses for civil infrastructures

abstract: Perturbed by natural hazards, community-level infrastructure networks operate like many-body systems, with behaviors emerging from coupling individual component dynamics with group correlations and interactions. It follows that we can borrow methods from statistical physics to study the response of infrastructure systems to natural disasters. This study aims to construct a joint probability distribution model to describe the post-hazard state of infrastructure networks and propose an efficient surrogate model of the joint distribution for large-scale systems. Specifically, we present maximum entropy modeling of the regional impact of natural hazards on civil infrastructures. Provided with the current state of knowledge, the principle of maximum entropy yields the ``most unbiased`` joint distribution model for the performances of infrastructures. In the general form, the model can handle multivariate performance states and higher-order correlations. In a particular yet typical scenario of binary performance state variables with knowledge of their mean and pairwise correlation, the joint distribution reduces to the Ising model in statistical physics. In this context, we propose using a dichotomized Gaussian model as an efficient surrogate for the maximum entropy model, facilitating the application to large systems. Using the proposed method, we investigate the seismic collective behavior of a large-scale road network (with 8,694 nodes and 26,964 links) in San Francisco, showcasing the non-trivial collective behaviors of infrastructure systems.


title: Probabilistic Multi-product Trading in Sequential Intraday and Frequency-Regulation Markets

abstract: With the increasing integration of power plants into the frequency-regulation markets, the importance of optimal trading has grown substantially. This paper conducts an in-depth analysis of their optimal trading behavior in sequential day-ahead, intraday, and frequency-regulation markets. We introduce a probabilistic multi-product optimization model, derived through a series of transformation techniques. Additionally, we present two reformulations that re-frame the problem as a mixed-integer linear programming problem with uncertain parameters. Various aspects of the model are thoroughly examined to observe the optimal multi-product trading behavior of hydro power plant assets, along with numerous case studies. Leveraging historical data from Nordic electricity markets, we construct realistic scenarios for the uncertain parameters. Furthermore, we then proposed an algorithm based on the No-U-Turn sampler to provide probability distribution functions of cleared prices in frequency-regulation and day-ahead markets. These distribution functions offer valuable statistical insights into temporal price risks for informed multi-product optimal-trading decisions.


title: Interacting Diffusion Processes for Event Sequence Forecasting

abstract: Neural Temporal Point Processes (TPPs) have emerged as the primary framework for predicting sequences of events that occur at irregular time intervals, but their sequential nature can hamper performance for long-horizon forecasts. To address this, we introduce a novel approach that incorporates a diffusion generative model. The model facilitates sequence-to-sequence prediction, allowing multi-step predictions based on historical event sequences. In contrast to previous approaches, our model directly learns the joint probability distribution of types and inter-arrival times for multiple events. This allows us to fully leverage the high dimensional modeling capability of modern generative models. Our model is composed of two diffusion processes, one for the time intervals and one for the event types. These processes interact through their respective denoising functions, which can take as input intermediate representations from both processes, allowing the model to learn complex interactions. We demonstrate that our proposal outperforms state-of-the-art baselines for long-horizon forecasting of TPP.


title: Image Prior and Posterior Conditional Probability Representation for Efficient Damage Assessment

abstract: It is important to quantify Damage Assessment (DA) for Human Assistance and Disaster Response (HADR) applications. In this paper, to achieve efficient and scalable DA in HADR, an image prior and posterior conditional probability (IP2CP) is developed as an effective computational imaging representation. Equipped with the IP2CP representation, the matching pre- and post-disaster images are effectively encoded into one image that is then processed using deep learning approaches to determine the damage levels. Two scenarios of crucial importance for the practical use of DA in HADR applications are examined: pixel-wise semantic segmentation and patch-based contrastive learning-based global damage classification. Results achieved by IP2CP in both scenarios demonstrate promising performances, showing that our IP2CP-based methods within the deep learning framework can effectively achieve data and computational efficiency, which is of utmost importance for the DA in HADR applications.


title: TIMELINE: Exhaustive Annotation of Temporal Relations Supporting the Automatic Ordering of Events in News Articles

abstract: Temporal relation extraction models have thus far been hindered by a number of issues in existing temporal relation-annotated news datasets, including: (1) low inter-annotator agreement due to the lack of specificity of their annotation guidelines in terms of what counts as a temporal relation; (2) the exclusion of long-distance relations within a given document (those spanning across different paragraphs); and (3) the exclusion of events that are not centred on verbs. This paper aims to alleviate these issues by presenting a new annotation scheme that clearly defines the criteria based on which temporal relations should be annotated. Additionally, the scheme includes events even if they are not expressed as verbs (e.g., nominalised events). Furthermore, we propose a method for annotating all temporal relations -- including long-distance ones -- which automates the process, hence reducing time and manual effort on the part of annotators. The result is a new dataset, the TIMELINE corpus, in which improved inter-annotator agreement was obtained, in comparison with previously reported temporal relation datasets. We report the results of training and evaluating baseline temporal relation extraction models on the new corpus, and compare them with results obtained on the widely used MATRES corpus.


title: Quantified Effects of the Laser Seeding Attack in Quantum Key Distribution

abstract: Quantum key distribution (QKD) enables private communications with information-theoretic security. To guarantee the practical security of QKD, it is essential that QKD systems are implemented in accordance to theoretical requirements and robust against side-channel attacks. Here we study a prominent attack on QKD transmitters known as the laser seeding attack (LSA). It consists in injecting photons into the laser of the transmitter in an attempt to modify the outgoing light in some way that is beneficial to the eavesdropper. In this work we measure the response of a QKD transmitter to the LSA as a function of the optical power injected, allowing us to quantify the level of optical attenuation required to mitigate the attack. Further, we employ a laser rate equation model to numerically simulate the effects of the LSA on a gain-switched laser. With this model we are able to reproduce previous experimental results, as well as generate new insight into the LSA by examining the effects of the LSA when the QKD transmitter is operated with different laser current driving parameters.


title: BlackJack: Secure machine learning on IoT devices through hardware-based shuffling

abstract: Neural networks are seeing increased use in diverse Internet of Things (IoT) applications such as healthcare, smart homes and industrial monitoring. Their widespread use makes neural networks a lucrative target for theft. An attacker can obtain a model without having access to the training data or incurring the cost of training. Also, networks trained using private data (e.g., medical records) can reveal information about this data. Networks can be stolen by leveraging side channels such as power traces of the IoT device when it is running the network. Existing attacks require operations to occur in the same order each time; an attacker must collect and analyze several traces of the device to steal the network. Therefore, to prevent this type of attack, we randomly shuffle the order of operations each time. With shuffling, each operation can now happen at many different points in each execution, making the attack intractable. However, we show that shuffling in software can leak information which can be used to subvert this solution. Therefore, to perform secure shuffling and reduce latency, we present BlackJack, hardware added as a functional unit within the CPU. BlackJack secures neural networks on IoT devices by increasing the time needed for an attack to centuries, while adding just 2.46% area, 3.28% power and 0.56% latency overhead on an ARM M0+ SoC.


title: Reward Scale Robustness for Proximal Policy Optimization via DreamerV3 Tricks

abstract: Most reinforcement learning methods rely heavily on dense, well-normalized environment rewards. DreamerV3 recently introduced a model-based method with a number of tricks that mitigate these limitations, achieving state-of-the-art on a wide range of benchmarks with a single set of hyperparameters. This result sparked discussion about the generality of the tricks, since they appear to be applicable to other reinforcement learning algorithms. Our work applies DreamerV3's tricks to PPO and is the first such empirical study outside of the original work. Surprisingly, we find that the tricks presented do not transfer as general improvements to PPO. We use a high quality PPO reference implementation and present extensive ablation studies totaling over 10,000 A100 hours on the Arcade Learning Environment and the DeepMind Control Suite. Though our experiments demonstrate that these tricks do not generally outperform PPO, we identify cases where they succeed and offer insight into the relationship between the implementation tricks. In particular, PPO with these tricks performs comparably to PPO on Atari games with reward clipping and significantly outperforms PPO without reward clipping.


title: Transporting treatment effects from difference-in-differences studies

abstract: Difference-in-differences (DID) is a popular approach to identify the causal effects of treatments and policies in the presence of unmeasured confounding. DID identifies the sample average treatment effect in the treated (SATT). However, a goal of such research is often to inform decision-making in target populations outside the treated sample. Transportability methods have been developed to extend inferences from study samples to external target populations; these methods have primarily been developed and applied in settings where identification is based on conditional independence between the treatment and potential outcomes, such as in a randomized trial. We present a novel approach to identifying and estimating effects in a target population, based on DID conducted in a study sample that differs from the target population. We present a range of assumptions under which one may identify causal effects in the target population and employ causal diagrams to illustrate these assumptions. In most realistic settings, results depend critically on the assumption that any unmeasured confounders are not effect measure modifiers on the scale of the effect of interest (e.g., risk difference, odds ratio). We develop several estimators of transported effects, including g-computation, inverse odds weighting, and a doubly robust estimator based on the efficient influence function. Simulation results support theoretical properties of the proposed estimators. As an example, we apply our approach to study the effects of a 2018 US federal smoke-free public housing law on air quality in public housing across the US, using data from a DID study conducted in New York City alone.


title: Clover: Closed-Loop Verifiable Code Generation

abstract: The use of large language models for code generation is a rapidly growing trend in software development. However, without effective methods for ensuring the correctness of generated code, this trend could lead to any number of undesirable outcomes. In this paper, we lay out a vision for addressing this challenge: the Clover paradigm, short for Closed-Loop Verifiable Code Generation, which reduces correctness checking to the more accessible problem of consistency checking. At the core of Clover lies a checker that performs consistency checks among code, docstrings, and formal annotations. The checker is implemented using a novel integration of formal verification tools and large language models. We provide a theoretical analysis to support our thesis that Clover should be effective at consistency checking. We also empirically investigate its feasibility on a hand-designed dataset (CloverBench) featuring annotated Dafny programs at a textbook level of difficulty. Experimental results show that for this dataset, (i) LLMs are reasonably successful at automatically generating formal specifications; and (ii) our consistency checker achieves a promising acceptance rate (up to 87%) for correct instances while maintaining zero tolerance for incorrect ones (no false positives).


title: A Novel Fast Path Planning Approach for Mobile Devices using Hybrid Quantum Ant Colony Optimization Algorithm

abstract: With IoT systems' increasing scale and complexity, maintenance of a large number of nodes using stationary devices is becoming increasingly difficult. Hence, mobile devices are being employed that can traverse through a set of target locations and provide the necessary services. In order to reduce energy consumption and time requirements, the devices are required to traverse following a Hamiltonian path. This problem can be formulated as a Travelling Salesman Problem (TSP), an NP-hard problem. Moreover, in emergency services, the devices must traverse in real-time, demanding speedy path planning from the TSP instance. Among the well-known optimization techniques for solving the TSP problem, Ant Colony Optimization has a good stronghold in providing good approximate solutions. Moreover, ACO not only provides near-optimal solutions for TSP instances but can also output optimal or near-optimal solutions for many other demanding hard optimization problems. However, to have a fast solution, the next node selection, which needs to consider all the neighbors for each selection, becomes a bottleneck in the path formation step. Moreover, classical computers are constrained to generate only pseudorandom numbers. Both these problems can be solved using quantum computing techniques, i.e., the next node can be selected with proper randomization, respecting the provided set of probabilities in just a single execution and single measurement of a quantum circuit. Simulation results of the proposed Hybrid Quantum Ant Colony Optimization algorithm on several TSP instances have shown promising results, thus expecting the proposed work to be important in implementing real-time path planning in quantum-enabled mobile devices.


title: Environmental-induced work extraction

abstract: A local measurement extracts work as a backaction, e.g., in a system of two entangled cavities: first cavity, $a$, comprises a piston and the measurement is carried out on the second cavity, $b$. When no one makes a measurement on the cavity $b$, i.e., it is simply placed in vacuum; environmental monitoring results in the coherent states as the einselected pointer states (the measurement basis) [PRL 70, 1187 (1993)]. This makes the measurement, that nature itself performs, a Gaussian one with a fixed strength $\lambda=1$. We show that this makes nature assign a \textit{fixed} amount of work to a particular entanglement degree $0\leq \xi(r) \leq 1$, i.e., $W=\xi(r)\times(\bar{n}\hbar\omega_a)$, nothing that the term in parenthesis is the entire thermal energy. Afterwards, we show that this phenomenon applies quite generally, i.e, not restricted to a two-cavities system. We also touch on the influence of inherited symmterization entanglement in this context. We can arrive an additional phenomenon by considering that work is simply the process of converting randomly moving microscopic ingredients~(vanishing mean-velocity) into a directional one, i.e, with a nonzero mean-velocity. We show that such a change in the character of the motion introduces curvature in spacetime according to general relativity. This phenomenon is the first demonstration of a quantitative relation between entanglement and curvature using solely the quantum optics arguments.


title: Multi-line CO Imaging of Two Ultra-luminous Infrared Galaxies

abstract: The primary goal of this project was to use the given data of four emission lines from two ultra-luminous infrared galaxies to calculate the molecular gas mass and dynamical mass of each galaxy. These quantities can provide valuable information about a galaxy's age, star formation properties, and molecular make-up. Ultra-luminous infrared galaxies are formed from the merger or interaction of gas-rich galaxies, and are classified by having a luminosity of greater than 1012 L?. The presence of molecular gas clouds and dust encourages formation of young, bright stars in these galaxies, but also makes it difficult to measure the total gravitational and molecular masses, since molecular hydrogen is virtually undetectable within gas clouds. Our data instead observed emissions of carbon monoxide (CO) from the two ULIRGs at transitions of J= 1 -> 0 orJ= 2 -> 1. The software Difmap was used to map the interferometer data obtained from the Plateau de Bure Interferometer (PdBI). Our data was cleaned, filtered, and subsequently used to generate UV-plots of the emissions, along with other values needed for calculations. Some of the key results include that iras 15250 is much younger as it has not used up a majority of its molecular gas while iras 17208 is older because it has used it up, the gas mass fraction can be used to estimate the amount of dark matter present in the galaxy, and that the gas content and the central surface brightness of the disk are directly correlated.


title: Style-Aware Radiology Report Generation with RadGraph and Few-Shot Prompting

abstract: Automatically generated reports from medical images promise to improve the workflow of radiologists. Existing methods consider an image-to-report modeling task by directly generating a fully-fledged report from an image. However, this conflates the content of the report (e.g., findings and their attributes) with its style (e.g., format and choice of words), which can lead to clinically inaccurate reports. To address this, we propose a two-step approach for radiology report generation. First, we extract the content from an image; then, we verbalize the extracted content into a report that matches the style of a specific radiologist. For this, we leverage RadGraph -- a graph representation of reports -- together with large language models (LLMs). In our quantitative evaluations, we find that our approach leads to beneficial performance. Our human evaluation with clinical raters highlights that the AI-generated reports are indistinguishably tailored to the style of individual radiologist despite leveraging only a few examples as context.


title: Prospects for thermalization of microwave-shielded ultracold molecules

abstract: We study anisotropic thermalization in dilute gases of microwave shielded polar molecular fermions. For collision energies above the threshold regime, we find that thermalization is suppressed due to a strong preference for forward scattering and a reduction in total cross section with energy, significantly reducing the efficiency of evaporative cooling. We perform close-coupling calculations on the effective potential energy surface derived by Deng et al. [Phys. Rev. Lett. 130, 183001 (2023)], to obtain accurate 2-body elastic differential cross sections across a range of collision energies. We use Gaussian process regression to obtain a global representation of the differential cross section, over a wide range of collision angles and energies. The route to equilibrium is then analyzed with cross-dimensional rethermalization experiments, quantified by a measure of collisional efficiency toward achieving thermalization.


title: A Spectral Condition for Feature Learning

abstract: The push to train ever larger neural networks has motivated the study of initialization and training at large network width. A key challenge is to scale training so that a network's internal representations evolve nontrivially at all widths, a process known as feature learning. Here, we show that feature learning is achieved by scaling the spectral norm of weight matrices and their updates like $\sqrt{\texttt{fan-out}/\texttt{fan-in}}$, in contrast to widely used but heuristic scalings based on Frobenius norm and entry size. Our spectral scaling analysis also leads to an elementary derivation of \emph{maximal update parametrization}. All in all, we aim to provide the reader with a solid conceptual understanding of feature learning in neural networks.


title: DIVI: Dynamically Interactive Visualization

abstract: Dynamically Interactive Visualization (DIVI) is a novel approach for orchestrating interactions within and across static visualizations. DIVI deconstructs Scalable Vector Graphics charts at runtime to infer content and coordinate user input, decoupling interaction from specification logic. This decoupling allows interactions to extend and compose freely across different tools, chart types, and analysis goals. DIVI exploits positional relations of marks to detect chart components such as axes and legends, reconstruct scales and view encodings, and infer data fields. DIVI then enumerates candidate transformations across inferred data to perform linking between views. To support dynamic interaction without prior specification, we introduce a taxonomy that formalizes the space of standard interactions by chart element, interaction type, and input event. We demonstrate DIVI's usefulness for rapid data exploration and analysis through a usability study with 13 participants and a diverse gallery of dynamically interactive visualizations, including single chart, multi-view, and cross-tool configurations.


title: Stability of Inverse Problems for Steady Supersonic Flows Past Lipschitz Perturbed Cones

abstract: We are concerned with inverse problems for supersonic potential flows past infinite axisymmetric Lipschitz cones. The supersonic flows under consideration are governed by the steady isentropic Euler equations for axisymmetric potential flows, which involve a singular geometric source term. We first study the inverse problem for the stability of an oblique conical shock as an initial-boundary value problem with both the generating curve of the cone surface and the leading conical shock front as free boundaries. We then establish the existence and asymptotic behavior of global entropy solutions with bounded BV norm of this problem, when the Mach number of the incoming flow is sufficiently large and the total variation of the pressure distribution on the cone is sufficiently small. To this end, we first develop a modified Glimm-type scheme to construct approximate solutions by self-similar solutions as building blocks to balance the influence of the geometric source term. Then we define a Glimm-type functional, based on the local interaction estimates between weak waves, the strong leading conical shock, and self-similar solutions, along with the construction of the approximate generating curves of the cone surface. Next, when the Mach number of the incoming flow is sufficiently large, by asymptotic analysis of the reflection coefficients in those interaction estimates, we prove that appropriate weights can be chosen so that the corresponding Glimm-type functional decreases in the flow direction. Finally, we determine the generating curves of the cone surface and establish the existence of global entropy solutions containing a strong leading conical shock, besides weak waves. Moreover, the entropy solution is proved to approach asymptotically the self-similar solution determined by the incoming flow and the asymptotic pressure on the cone surface at infinity.

categories: math.AP math-ph math.MP nlin.PS physics.flu-dyn


title: Local Discovery by Partitioning: Polynomial-Time Causal Discovery Around Exposure-Outcome Pairs

abstract: Causal discovery is crucial for causal inference in observational studies, as it can enable the identification of valid adjustment sets (VAS) for unbiased effect estimation. However, global causal discovery is notoriously hard in the nonparametric setting, with exponential time and sample complexity in the worst case. To address this, we propose local discovery by partitioning (LDP): a local causal discovery method that is tailored for downstream inference tasks without requiring parametric and pretreatment assumptions. LDP is a constraint-based procedure that returns a VAS for an exposure-outcome pair under latent confounding, given sufficient conditions. The total number of independence tests performed is worst-case quadratic with respect to the cardinality of the variable set. Asymptotic theoretical guarantees are numerically validated on synthetic graphs. Adjustment sets from LDP yield less biased and more precise average treatment effect estimates than baseline discovery algorithms, with LDP outperforming on confounder recall, runtime, and test count for VAS discovery. Notably, LDP ran at least 1300x faster than baselines on a benchmark.


title: Bayesian imaging inverse problem with SA-Roundtrip prior via HMC-pCN sampler

abstract: Bayesian inference with deep generative prior has received considerable interest for solving imaging inverse problems in many scientific and engineering fields. The selection of the prior distribution is learned from, and therefore an important representation learning of, available prior measurements. The SA-Roundtrip, a novel deep generative prior, is introduced to enable controlled sampling generation and identify the data's intrinsic dimension. This prior incorporates a self-attention structure within a bidirectional generative adversarial network. Subsequently, Bayesian inference is applied to the posterior distribution in the low-dimensional latent space using the Hamiltonian Monte Carlo with preconditioned Crank-Nicolson (HMC-pCN) algorithm, which is proven to be ergodic under specific conditions. Experiments conducted on computed tomography (CT) reconstruction with the MNIST and TomoPhantom datasets reveal that the proposed method outperforms state-of-the-art comparisons, consistently yielding a robust and superior point estimator along with precise uncertainty quantification.


title: Distinct contiguous versus separated triplet-pair multiexcitons in an intramolecular singlet fission chromophore

abstract: We show from many-body quantum mechanical calculations that there occur structurally distinct triplet-pair eigenstates in the intramolecular singlet fission (iSF) compound pentacene-tetracene-pentacene. Triplet excitons occupy neigboring pentacene and tetracene monomers in the higher energy doubly degenerate triplet-triplet multiexcitons, and terminal pentacene chromophores in the lower energy multiexciton. The lowest energy multiexciton is reached by ultrafast triplet migration within the triplet-triplet manifold, a result with profound implication for the design of superior iSF compounds.


title: Multiplexed Processing of Quantum Information Across an Ultra-wide Optical Bandwidth

abstract: Protocols of quantum information processing are the foundation of quantum technology, allowing to share secrets at a distance for secure communication (quantum key distribution), to teleport quantum states, and to implement quantum computation. While various protocols have already been realized, and even commercialized, the throughput and processing speed of standard protocols is generally low, limited by the narrow electronic bandwidth of the measurement apparatus in the MHz-to-GHz range, which is orders-of-magnitude lower than the optical bandwidth of available quantum optical sources (10-100 THz). We present a general concept and methods to process quantum information in parallel over multiplexed frequency channels using parametric homodyne detection for measurement of all the channels simultaneously, thereby harnessing the optical bandwidth for quantum information in an efficient manner. We exemplify the concept through two basic protocols: Multiplexed Continuous-Variable Quantum Key Distribution (CV-QKD) and multiplexed continuous-variable quantum teleportation. We demonstrate the multiplexed CV-QKD protocol in a proof-of-principle experiment, where we successfully carry out QKD over 23 uncorrelated spectral channels, with capability to detect eavesdropping in any channel. These multiplexed methods (and similar) will enable to carry out quantum processing in parallel over hundreds of channels, potentially increasing the throughput of quantum protocols by orders of magnitude.


title: Sparse Bayesian Multidimensional Item Response Theory

abstract: Multivariate Item Response Theory (MIRT) is sought-after widely by applied researchers looking for interpretable (sparse) explanations underlying response patterns in questionnaire data. There is, however, an unmet demand for such sparsity discovery tools in practice. Our paper develops a Bayesian platform for binary and ordinal item MIRT which requires minimal tuning and scales well on large datasets due to its parallelizable features. Bayesian methodology for MIRT models has traditionally relied on MCMC simulation, which cannot only be slow in practice, but also often renders exact sparsity recovery impossible without additional thresholding. In this work, we develop a scalable Bayesian EM algorithm to estimate sparse factor loadings from mixed continuous, binary, and ordinal item responses. We address the seemingly insurmountable problem of unknown latent factor dimensionality with tools from Bayesian nonparametrics which enable estimating the number of factors. Rotations to sparsity through parameter expansion further enhance convergence and interpretability without identifiability constraints. In our simulation study, we show that our method reliably recovers both the factor dimensionality as well as the latent structure on high-dimensional synthetic data even for small samples. We demonstrate the practical usefulness of our approach on three datasets: an educational assessment dataset, a quality-of-life measurement dataset, and a bio-behavioral dataset. All demonstrations show that our tool yields interpretable estimates, facilitating interesting discoveries that might otherwise go unnoticed under a pure confirmatory factor analysis setting.


title: Augmentation varieties and disk potentials I

abstract: This is the first in a sequence of papers where we show that Lagrangian fillings such as the Harvey-Lawson filling in any dimension define augmentations of Chekanov-Eliashberg differential graded algebras by counting configurations of holomorphic disks connected by gradient trajectories, as in Aganagic-Ekholm-Ng-Vafa; we also prove that for Legendrian lifts of monotone tori, the augmentation variety is the zero level set of the Landau-Ginzburg potential of the Lagrangian projection, as suggested by Dimitroglou-Rizell-Golovko. In this part, we set up the analytical foundation of moduli spaces of pseudoholomorphic buildings.


title: The Golden Meteorite Fall: Fireball Trajectory, Orbit and Meteorite Characterization

abstract: The Golden (British Columbia, Canada) meteorite fall occurred on Oct 4, 2021 at 0534 UT with the first recovered fragment (1.3 kg) landing on an occupied bed. The meteorite is an unbrecciated, low-shock (S2) ordinary chondrite of intermediate composition, typed as an L/LL5. From noble gas measurements the cosmic ray exposure age is 25 Ma while gas retention ages are all >2 Ga. Short-lived radionuclides and noble gas measurements of the pre-atmospheric size overlap with estimates from infrasound and lightcurve modelling producing a preferred pre-atmospheric mass of 70-200 kg. The orbit of Golden has a high inclination (23.5 degs) and is consistent with delivery from the inner main belt. The highest probability (60%) of an origin is from the Hungaria group. We propose that Golden may originate among the background S-type asteroids found interspersed in the Hungaria region. The current collection of 18 L and LL chondrite orbits shows a strong preference for origins in the inner main belt, suggesting multiple parent bodies may be required to explain the diversity in CRE ages and shock states.


title: On the Construction of Relativistic Quantum Wave Equation and General Solution of the Second Order Differential Equation

abstract: Using the elementary axioms of special relativity and quantum mechanics we construct a wave equation which generalizes the Schrodinger equation. We also solve the general second and some higher order differential equations.


title: Ab-initio study of the energy competition between \Gamma and K valleys in bilayer transition metal dichalcogenides

abstract: Moir\'e engineering in two-dimensional van der Waals bilayer crystals has emerged as a flexible platform for controlling strongly correlated electron systems. The competition between valleys for the band extremum energy position in the parent layers is crucial in deciding the qualitative nature of the moir\'e Hamiltonian since it controls the physics of the moir\'e minibands. Here we use density functional theory to examine the competition between K and $\Gamma$ for the valence band maximum in homo- and hetero-bilayers formed from the transition metal dichalcogenides (TMD), MX\{_2} where M=Mo,W and X=S,Se,Te. We shed light on how the competition is influenced by interlayer separation, which can be modified by applying pressure, by external gate-defined electric fields, and by transition metal atom d-orbital correlations. Our findings are related to several recent experiments, and contribute to the development of design rules for moir\'{e} materials.


title: Optical Properties of LiNbO$_2$ thin films

abstract: The complex dielectric functions of LiNbO$_2$ were determined using optical transmittance and reflectance spectroscopies at room temperature. The measured dielectric function spectra reveal distinct structures at several bandgap energies. The bandgaps (exciton resonances) in the spectrum were observed at ca. 2.3, 3.2, 3.9, and 5.1 eV, respectively. These experimental data have been fit using a model dielectric function based on the electronic energy-band structure near critical points plus excitonic effects. The features of measured dielectric functions are, to some extent, reproduced quantitatively by an ab-initio calculation including the interaction effects between electrons and holes.


title: OmniFill: Domain-Agnostic Form Filling Suggestions Using Multi-Faceted Context

abstract: Predictive suggestion systems offer contextually-relevant text entry completions. Existing approaches, like autofill, often excel in narrowly-defined domains but fail to generalize to arbitrary workflows. We introduce a conceptual framework to analyze the compound demands of a particular suggestion context, yielding unique opportunities for large language models (LLMs) to infer suggestions for a wide range of domain-agnostic form-filling tasks that were out of reach with prior approaches. We explore these opportunities in OmniFill, a prototype that collects multi-faceted context including browsing and text entry activity to construct an LLM prompt that offers suggestions in situ for arbitrary structured text entry interfaces. Through a user study with 18 participants, we found that OmniFill offered valuable suggestions and we identified four themes that characterize users' behavior and attitudes: an "opportunistic scrapbooking" approach; a trust placed in the system; value in partial success; and a need for visibility into prompt context.


title: A hierarchy of eigencomputations for polynomial optimization on the sphere

abstract: We introduce a convergent hierarchy of lower bounds on the minimum value of a real homogeneous polynomial over the sphere. The main practical advantage of our hierarchy over the sum-of-squares (SOS) hierarchy is that the lower bound at each level of our hierarchy is obtained by a minimum eigenvalue computation, as opposed to the full semidefinite program (SDP) required at each level of SOS. In practice, this allows us to go to much higher levels than are computationally feasible for the SOS hierarchy. For both hierarchies, the underlying space at the $k$-th level is the set of homogeneous polynomials of degree $2k$. We prove that our hierarchy converges as $O(1/k)$ in the level $k$, matching the best-known convergence of the SOS hierarchy when the number of variables $n$ is less than the half-degree $d$ (the best-known convergence of SOS when $n \geq d$ is $O(1/k^2)$). More generally, we introduce a convergent hierarchy of minimum eigenvalue computations for minimizing the inner product between a real tensor and an element of the spherical Segre-Veronese variety, with similar convergence guarantees. As examples, we obtain hierarchies for computing the (real) tensor spectral norm, and for minimizing biquadratic forms over the sphere. Hierarchies of eigencomputations for more general constrained polynomial optimization problems are discussed.


title: Parameter estimation for second-order SPDEs in multiple space dimensions

abstract: We analyse a second-order SPDE model in multiple space dimensions and develop estimators for the parameters of this model based on discrete observations of a solution in time and space on a bounded domain. While parameter estimation for one and two spatial dimensions was established in recent literature, this is the first work which generalizes the theory to a general, multi-dimensional framework. Our approach builds upon realized volatilities, enabling the construction of an oracle estimator for volatility within the underlying model. Furthermore, we show that the realized volatilities have an asymptotic illustration as response of a log-linear model with spatial explanatory variable. This yields novel and efficient estimators based on realized volatilities with optimal rates of convergence and minimal variances. For proving central limit theorems, we use a high-frequency observation scheme. To showcase our results, we conduct a Monte Carlo simulation.


title: Hybrid Optical Turbulence Models Using Machine Learning and Local Measurements

abstract: Accurate prediction of atmospheric optical turbulence in localized environments is essential for estimating the performance of free-space optical systems. Macro-meteorological models developed to predict turbulent effects in one environment may fail when applied in new environments. However, existing macro-meteorological models are expected to offer some predictive power. Building a new model from locally-measured macro-meteorology and scintillometer readings can require significant time and resources, as well as a large number of observations. These challenges motivate the development of a machine-learning informed hybrid model framework. By combining some baseline macro-meteorological model with local observations, hybrid models were trained to improve upon the predictive power of each baseline model. Comparisons between the performance of the hybrid models, the selected baseline macro-meteorological models, and machine-learning models trained only on local observations highlight potential use cases for the hybrid model framework when local data is expensive to collect. Both the hybrid and data-only models were trained using the Gradient Boosted Decision Tree (GBDT) architecture with a variable number of in-situ meteorological observations. The hybrid and data-only models were found to outperform three baseline macro-meteorological models, even for low numbers of observations, in some cases as little as one day. For the first baseline macro-meteorological model investigated, the hybrid model achieves an estimated 29% reduction in mean absolute error (MAE) using only one days-equivalent of observation, growing to 41% after only two days, and 68% after 180 days-equivalent training data. The number of days-equivalent training data required is potentially indicative of the seasonal variation in the local microclimate and its propagation environment.


title: Paley-Wiener Theorem for Probabilistic Frames

abstract: The Paley-Wiener Theorem is a classical result about the stability of basis in Banach spaces claiming that if a sequence is close to a basis, then this sequence is a basis. Similar results are also extended to frames in Hilbert spaces. As the extension of finite frames for $\mathbb{R}^d$, probabilistic frames are probability measures on $\mathbb{R}^d$ with finite second moments and the support of which span $\mathbb{R}^d$. This paper generalizes the Paley-Wiener theorem to the probabilistic frame setting. We claim that if a probability measure is close to a probabilistic frame, then this probability measure is also a probabilistic frame.


title: On monic abelian trace-one cubic polynomials

abstract: We compute the asymptotic number of monic trace-one integral polynomials with Galois group $C_3$ and bounded height. For such polynomials we compute a height function coming from toric geometry and introduce a parametrization using the quadratic cyclotomic field $\mathbb Q(\sqrt{-3})$. We also give a formula for the number of polynomials of the form $t^3 -t^2 + at + b \in \mathbb Z[t]$ with Galois group $C_3$ for a fixed integer $a$.


title: Controlled transport of fluid particles by microrotors in a Stokes flow using linear transfer operators

abstract: The manipulation of a collection of fluid particles in a low Reynolds number environment has several important applications. As we demonstrate in this paper, this manipulation problem is related to the scientific question of how fluid flow structures direct Lagrangian transport. We investigate this problem of directing the transport by manipulating the flow, specifically in the Stokes flow context, by controlling the strengths of two rotors fixed in space. We demonstrate a novel dynamical systems approach for this problem and apply this method to several scenarios of Stokes flow in unbounded and bounded domains. Further, we show that the time-varying flow field produced by the optimal control can be understood in terms of dynamical structures such as coherent sets that define Lagrangian transport. We model the time evolution of the fluid particle density using finite dimensional approximations of the Liouville operators for the micro-rotor flow fields. Using these operators, the particle transport problem is framed as an optimal control problem, which we solve numerically. This framework is then applied to the problem of transporting a blob of fluid particles in domains with different boundary conditions: free space, near to a plane wall, in a circular confinement, and the transport of two distributions of particles to a common target. These examples demonstrate the effectiveness of the proposed framework and also shed light on the effects of boundaries on the ability to achieve a desired fluid transport using a rotor-driven flow.

categories: physics.flu-dyn cs.SY eess.SY math.DS math.OC


title: Spin Selective Evolution of Zhang-Rice State in Binary Transition Metal Oxide

abstract: The Zhang-Rice (ZR) state is a strongly hybridized bound state formed by the transition metal and oxygen atoms. The spin-fluctuations within the ZR state are known to play an important role in high-$T_\mathrm{c}$ superconductivity in cuprates. Here, we employ a combination of angle-resolved photoemission spectroscopy (ARPES), X-ray photoemission spectroscopy (XPS), and {\it ab initio} embedded dynamical mean-field theory (eDMFT) to investigate the influence of magnetic ordering on the spectral characteristics of the valence band and Mn 2$p$ core-level in MnO (001) ultrathin films. Our results demonstrate that a complex spin-selective evolution of Mn 3$d$$-$O 2$p$ hybridization develops due to the long-range antiferromagnetic (AFM) ordering. This hybridization significantly alters the spectral shape and weight of the ZR state. Specifically, in the AFM phase, we observed the sharpening of the ZR state and band folding with the periodicity of the AFM unit cell of MnO(001). We also demonstrated a strong connection between the spectral evolution of the ZR state and the non-local screening channels of the photoexcited core holes. Further, our detailed temperature-dependent study reveals the presence of short-range antiferromagnetic correlations that exist at much higher temperatures than $T_\mathrm{N}$. Such comprehensive studies showing the evolution of the ZR state across the magnetic transitions and its implication to the core-hole screening have never been reported in any 3$d$ binary transition metal oxides.


title: Full Shape Cosmology Analysis from BOSS in configuration space using Neural Network Acceleration

abstract: Recently, a new wave of full modeling analyses have emerged within the Large-Scale Structure community, leading mostly to tighter constraints on the estimation of cosmological parameters, when compared with standard approaches used over the last decade by collaboration analyses of stage III experiments. However, the majority of these full-shape analyses have primarily been conducted in Fourier space, with limited emphasis on exploring the configuration space. Investigating n-point correlations in configuration space demands a higher computational cost compared to Fourier space because it typically requires an additional integration step. This can pose a limitation when using these approaches, especially when considering higher-order statistics. One avenue to mitigate the high computation time is to take advantage of neural network acceleration techniques. In this work, we present a full shape analysis of Sloan Digital Sky Survey III/BOSS in configuration space using a neural network accelerator. We show that the efficacy of the pipeline is enhanced by a time factor $10^{3}$ without sacrificing precision, making it possible to reduce the error associated with the surrogate modeling to below $10^{-2}$ percent which is compatible with the precision required for current stage IV experiments such as DESI. We find $\Omega_m=0.286\pm 0.009$, $H_0=68.8\pm 1.2$ $\mathrm{km} \mathrm{s^{-1}}\mathrm{Mpc^{-1}}$ and $A_s \times 10^9 =2.09 ^{+0.25}_{-0.29}$. Our results on public BOSS data are in good agreement with BOSS official results and compatible with other independent full modeling analyses. We explore relaxing the prior on $\omega_b$ and varying $n_s$, without significant changes in the mean values of the cosmological parameters posterior distributions, but enlarging their widths. Finally, we explore the information content of the multipoles when constraining cosmological parameters.


title: One Style is All you Need to Generate a Video

abstract: In this paper, we propose a style-based conditional video generative model. We introduce a novel temporal generator based on a set of learned sinusoidal bases. Our method learns dynamic representations of various actions that are independent of image content and can be transferred between different actors. Beyond the significant enhancement of video quality compared to prevalent methods, we demonstrate that the disentangled dynamic and content permit their independent manipulation, as well as temporal GAN-inversion to retrieve and transfer a video motion from one content or identity to another without further preprocessing such as landmark points.


title: Positional Encoding-based Resident Identification in Multi-resident Smart Homes

abstract: We propose a novel resident identification framework to identify residents in a multi-occupant smart environment. The proposed framework employs a feature extraction model based on the concepts of positional encoding. The feature extraction model considers the locations of homes as a graph. We design a novel algorithm to build such graphs from layout maps of smart environments. The Node2Vec algorithm is used to transform the graph into high-dimensional node embeddings. A Long Short-Term Memory (LSTM) model is introduced to predict the identities of residents using temporal sequences of sensor events with the node embeddings. Extensive experiments show that our proposed scheme effectively identifies residents in a multi-occupant environment. Evaluation results on two real-world datasets demonstrate that our proposed approach achieves 94.5% and 87.9% accuracy, respectively.


title: BZSV Duality for Some Strongly Tempered Spherical Varieties

abstract: We propose two families of relative trace formula comparisons in the study of relative Langlands duality conjectured by Ben-Zvi--Sakellaridis--Venkatesh. This allows us to incorporate numerous relative trace formula comparisons studied during the last four decades under the BZSV duality framework. For the proposed relative trace formula comparisons associated to some strongly tempered spherical varieties, we will prove the fundamental lemma and smooth transfer in the $p$-adic case. Moreover, inspired by the BZSV duality conjecture, we propose a conjecture regarding the degenerate Whittaker period, which generalizes Lapid-Mao's conjecture of the Whittaker period


title: Real-time Animation Generation and Control on Rigged Models via Large Language Models

abstract: We introduce a novel method for real-time animation control and generation on rigged models using natural language input. First, we embed a large language model (LLM) in Unity to output structured texts that can be parsed into diverse and realistic animations. Second, we illustrate LLM's potential to enable flexible state transition between existing animations. We showcase the robustness of our approach through qualitative results on various rigged models and motions.


title: Orbital-angular-momentum dependent speckles for spatial mode sorting and multiplexed data transmission

abstract: Characterizing the orbital angular momentum (OAM) of a vortex beam is critically important for OAM-encoded data transfer. However, in typical OAM-based applications where vortex beams transmit through diffusers, the accompanying scattering effect tends to be either deliberately prevented, or characterized and then modulated actively based on complex wavefront shaping and interferometry techniques. Here, we aim to investigate the characteristics of blurred speckles obtained after a vortex beam transmits through a ground glass diffuser. It is theoretically and experimentally demonstrated that a cross-correlation annulus can be identified by implementing the cross-correlation operation between speckle patterns corresponding to vortex beams with different OAM values. Besides, it is worth noting that, the size of the cross-correlation annulus is determined by the absolute value of the topological charge difference between the two corresponding vortex beams. Based on this mechanism, the OAM modes can be easily sorted from the incoherently measured OAM-dependent speckles as well as their cross-correlation. Furthermore, to make full use of the orthogonal feature of the OAM-dependent speckles, demultiplexing of OAM-encoded data transfer is verified using a ground glass diffuser. Both 8-bit grayscale and 24-bit RGB OAM-encoded data transfers are carried out in experiments with superior error rates. We can conclude that the OAM-dependent speckles can be not only utilized as a competitive candidate for the OAM mode sorting function in a simple way but also provide an efficient method for the demultiplexing of OAM-encoded data transfer in a practical application.


title: Strongly anisotropic vortices in dipolar quantum droplets

abstract: We construct strongly anisotropic quantum droplets with embedded vorticity in the 3D space, with mutually perpendicular vortex axis and polarization of atomic magnetic moments. Stability of these anisotropic vortex quantum droplets (AVQDs) is verified by means of systematic simulations. Their stability area is identified in the parametric plane of the total atom number and scattering length of the contact interactions. We also construct vortex-antivortex-vortex bound states and find their stability region in the parameter space. The application of a torque perpendicular to the vorticity axis gives rise to robust intrinsic oscillations or rotation of the AVQDs. The effect of three-body losses on the AVQD stability is considered too. The results show that the AVQDs can retain the topological structure (vorticity) for a sufficiently long time if the scattering length exceeds a critical value.


title: Strain-Tunable Magnetic Compensation Temperature of Epitaxial Tb$_3$Fe$_5$O$_{12}$ Thin Films

abstract: High-quality rare-earth iron garnet (ReIG) Tb$_3$Fe$_5$O$_{12}$ (TbIG) thin films are epitaxially grown on a series of (111)-oriented garnet substrates with various lattice constants. The coherent growth induces a substrate-dependent in-plane tensile or compressive strain in the TbIG film. Measurements of the anomalous Hall-like effect (AHLE) in TbIG/Pt heterostructures show that the compensation temperature of TbIG films monotonically changes with the film strain. The strain results in a variation of the distances between magnetic atoms in the TbIG crystal and therefore the corresponding exchange interactions. The latter is explicitly calculated as a function of the lattice strain based on density functional theory, reproducing the observed experimental results. This work provides a versatile way to optimize ReIG-based spin-orbit torque devices.


title: What You See Is What You Detect: Towards better Object Densification in 3D detection

abstract: Recent works have demonstrated the importance of object completion in 3D Perception from Lidar signal. Several methods have been proposed in which modules were used to densify the point clouds produced by laser scanners, leading to better recall and more accurate results. Pursuing in that direction, we present, in this work, a counter-intuitive perspective: the widely-used full-shape completion approach actually leads to a higher error-upper bound especially for far away objects and small objects like pedestrians. Based on this observation, we introduce a visible part completion method that requires only 11.3\% of the prediction points that previous methods generate. To recover the dense representation, we propose a mesh-deformation-based method to augment the point set associated with visible foreground objects. Considering that our approach focuses only on the visible part of the foreground objects to achieve accurate 3D detection, we named our method What You See Is What You Detect (WYSIWYD). Our proposed method is thus a detector-independent model that consists of 2 parts: an Intra-Frustum Segmentation Transformer (IFST) and a Mesh Depth Completion Network(MDCNet) that predicts the foreground depth from mesh deformation. This way, our model does not require the time-consuming full-depth completion task used by most pseudo-lidar-based methods. Our experimental evaluation shows that our approach can provide up to 12.2\% performance improvements over most of the public baseline models on the KITTI and NuScenes dataset bringing the state-of-the-art to a new level. The codes will be available at \textcolor[RGB]{0,0,255}{\url{{https://github.com/Orbis36/WYSIWYD}}


title: A Data-Centric Online Market for Machine Learning: From Discovery to Pricing

abstract: Data fuels machine learning (ML) - rich and high-quality training data is essential to the success of ML. However, to transform ML from the race among a few large corporations to an accessible technology that serves numerous normal users' data analysis requests, there still exist important challenges. One gap we observed is that many ML users can benefit from new data that other data owners possess, whereas these data owners sit on piles of data without knowing who can benefit from it. This gap creates the opportunity for building an online market that can automatically connect supply with demand. While online matching markets are prevalent (e.g., ride-hailing systems), designing a data-centric market for ML exhibits many unprecedented challenges. This paper develops new techniques to tackle two core challenges in designing such a market: (a) to efficiently match demand with supply, we design an algorithm to automatically discover useful data for any ML task from a pool of thousands of datasets, achieving high-quality matching between ML models and data; (b) to encourage market participation of ML users without much ML expertise, we design a new pricing mechanism for selling data-augmented ML models. Furthermore, our market is designed to be API-compatible with existing online ML markets like Vertex AI and Sagemaker, making it easy to use while providing better results due to joint data and model search. We envision that the synergy of our data and model discovery algorithm and pricing mechanism will be an important step towards building a new data-centric online market that serves ML users effectively.


title: Adaptive operator learning for infinite-dimensional Bayesian inverse problems

abstract: The fundamental computational issues in Bayesian inverse problems (BIP) governed by partial differential equations (PDEs) stem from the requirement of repeated forward model evaluations. A popular strategy to reduce such costs is to replace expensive model simulations with computationally efficient approximations using operator learning, motivated by recent progress in deep learning. However, using the approximated model directly may introduce a modeling error, exacerbating the already ill-posedness of inverse problems. Thus, balancing between accuracy and efficiency is essential for the effective implementation of such approaches. To this end, we develop an adaptive operator learning framework that can reduce modeling error gradually by forcing the surrogate to be accurate in local areas. This is accomplished by adaptively fine-tuning the pre-trained approximate model with train- ing points chosen by a greedy algorithm during the posterior computational process. To validate our approach, we use DeepOnet to construct the surrogate and unscented Kalman inversion (UKI) to approximate the BIP solution, respectively. Furthermore, we present a rigorous convergence guarantee in the linear case using the UKI framework. The approach is tested on a number of benchmarks, including the Darcy flow, the heat source inversion problem, and the reaction-diffusion problem. The numerical results show that our method can significantly reduce computational costs while maintaining inversion accuracy.


title: A Unified and Optimal Multiple Testing Framework based on rho-values

abstract: Multiple testing is an important research direction that has gained major attention in recent years. Currently, most multiple testing procedures are designed with p-values or Local false discovery rate (Lfdr) statistics. However, p-values obtained by applying probability integral transform to some well-known test statistics often do not incorporate information from the alternatives, resulting in suboptimal procedures. On the other hand, Lfdr based procedures can be asymptotically optimal but their guarantee on false discovery rate (FDR) control relies on consistent estimation of Lfdr, which is often difficult in practice especially when the incorporation of side information is desirable. In this article, we propose a novel and flexibly constructed class of statistics, called rho-values, which combines the merits of both p-values and Lfdr while enjoys superiorities over methods based on these two types of statistics. Specifically, it unifies these two frameworks and operates in two steps, ranking and thresholding. The ranking produced by rho-values mimics that produced by Lfdr statistics, and the strategy for choosing the threshold is similar to that of p-value based procedures. Therefore, the proposed framework guarantees FDR control under weak assumptions; it maintains the integrity of the structural information encoded by the summary statistics and the auxiliary covariates and hence can be asymptotically optimal. We demonstrate the efficacy of the new framework through extensive simulations and two data applications.


title: From Awareness to Action: Exploring End-User Empowerment Interventions for Dark Patterns in UX

abstract: The study of UX dark patterns, i.e., UI designs that seek to manipulate user behaviors, often for the benefit of online services, has drawn significant attention in the CHI and CSCW communities in recent years. To complement previous studies in addressing dark patterns from (1) the designer's perspective on education and advocacy for ethical designs; and (2) the policymaker's perspective on new regulations, we propose an end-user-empowerment intervention approach that helps users (1) raise the awareness of dark patterns and understand their underlying design intents; (2) take actions to counter the effects of dark patterns using a web augmentation approach. Through a two-phase co-design study, including 5 co-design workshops (N=12) and a 2-week technology probe study (N=15), we reported findings on the understanding of users' needs, preferences, and challenges in handling dark patterns and investigated the feedback and reactions to users' awareness of and action on dark patterns being empowered in a realistic in-situ setting.


title: Realizing attractive interacting topological surface fermions: A resonating TI- thin film hybrid platform

abstract: In this article, we propose a practical way to realize topological surface Dirac fermions with tunable attractive interaction between them. The approach involves coating the surface of a topological insulator with a thin film metal and utilizing the strong-electron phonon coupling in the metal to induce interaction between the surface fermions. We found that for a given TI and thin film, the attractive interaction between the surface fermions can be maximally enhanced when the Dirac point of the TI surface resonates with one of the quasi-2D quantum-well bands of the thin film. This effect can be considered to be an example of 'quantum-well resonance'. We also demonstrate that the superconductivity of the resonating surface fermions can be further enhanced by choosing a strongly interacting thin film metal or by tuning the spin-orbit coupling of the TI. This TI-thin film hybrid configuration holds promise for applications in Majorana-based quantum computations and for the study of quantum critical physics of strongly attractively interacting surface topological matter with emergent supersymmetry.


title: Boosting Data Analytics With Synthetic Volume Expansion

abstract: Synthetic data generation, a cornerstone of Generative Artificial Intelligence, promotes a paradigm shift in data science by addressing data scarcity and privacy while enabling unprecedented performance. As synthetic data becomes more prevalent, concerns emerge regarding the accuracy of statistical methods when applied to synthetic data in contrast to raw data. This article explores the effectiveness of statistical methods on synthetic data and the privacy risks of synthetic data. Regarding effectiveness, we present the Synthetic Data Generation for Analytics framework. This framework applies statistical approaches to high-quality synthetic data produced by generative models like tabular diffusion models, which, initially trained on raw data, benefit from insights from pertinent studies through transfer learning. A key finding within this framework is the generational effect, which reveals that the error rate of statistical methods on synthetic data decreases with the addition of more synthetic data but may eventually rise or stabilize. This phenomenon, stemming from the challenge of accurately mirroring raw data distributions, highlights a "reflection point"-an ideal volume of synthetic data defined by specific error metrics. Through three case studies, sentiment analysis, predictive modeling of structured data, and inference in tabular data, we validate the superior performance of this framework compared to conventional approaches. On privacy, synthetic data imposes lower risks while supporting the differential privacy standard. These studies underscore synthetic data's untapped potential in redefining data science's landscape.


title: On Choosing Initial Values of Iteratively Reweighted $\ell_1$ Algorithms for the Piece-wise Exponential Penalty

abstract: Computing the proximal operator of the sparsity-promoting piece-wise exponential (PiE) penalty $1-e^{-|x|/\sigma}$ with a given shape parameter $\sigma>0$, which is treated as a popular nonconvex surrogate of $\ell_0$-norm, is fundamental in feature selection via support vector machines, image reconstruction, zero-one programming problems, compressed sensing, etc. Due to the nonconvexity of PiE, for a long time, its proximal operator is frequently evaluated via an iteratively reweighted $\ell_1$ algorithm, which substitutes PiE with its first-order approximation, however, the obtained solutions only are the critical point. Based on the exact characterization of the proximal operator of PiE, we explore how the iteratively reweighted $\ell_1$ solution deviates from the true proximal operator in certain regions, which can be explicitly identified in terms of $\sigma$, the initial value and the regularization parameter in the definition of the proximal operator. Moreover, the initial value can be adaptively and simply chosen to ensure that the iteratively reweighted $\ell_1$ solution belongs to the proximal operator of PiE.


title: The Barnes-Hurwitz zeta cocycle at $s=0$ and Ehrhart quasi-polynomials of triangles

abstract: Following a theorem of David R. Hayes, we give a geometric interpretation of the special value at $s=0$ of certain $1$-cocycle on $\mathrm{PGL}_2(\mathbb{Q})$ previously introduced by the author. This work yields three main results: an explicit formula for our cocycle at $s=0$, a generalization and a new proof of Hayes' theorem, and an elegant summation formula for the $0$th coefficient of the Ehrhart quasi-polynomial of certain triangles in $\mathbb{R}^2$.


title: Measuring CDNs susceptible to Domain Fronting

abstract: Domain fronting is a network communication technique that involves leveraging (or abusing) content delivery networks (CDNs) to disguise the final destination of network packets by presenting them as if they were intended for a different domain than their actual endpoint. This technique can be used for both benign and malicious purposes, such as circumventing censorship or hiding malware-related communications from network security systems. Since domain fronting has been known for a few years, some popular CDN providers have implemented traffic filtering approaches to curb its use at their CDN infrastructure. However, it remains unclear to what extent domain fronting has been mitigated. To better understand whether domain fronting can still be effectively used, we propose a systematic approach to discover CDNs that are still prone to domain fronting. To this end, we leverage passive and active DNS traffic analysis to pinpoint domain names served by CDNs and build an automated tool that can be used to discover CDNs that allow domain fronting in their infrastructure. Our results reveal that domain fronting is feasible in 22 out of 30 CDNs that we tested, including some major CDN providers like Akamai and Fastly. This indicates that domain fronting remains widely available and can be easily abused for malicious purposes.


title: Function Space Bayesian Pseudocoreset for Bayesian Neural Networks

abstract: A Bayesian pseudocoreset is a compact synthetic dataset summarizing essential information of a large-scale dataset and thus can be used as a proxy dataset for scalable Bayesian inference. Typically, a Bayesian pseudocoreset is constructed by minimizing a divergence measure between the posterior conditioning on the pseudocoreset and the posterior conditioning on the full dataset. However, evaluating the divergence can be challenging, particularly for the models like deep neural networks having high-dimensional parameters. In this paper, we propose a novel Bayesian pseudocoreset construction method that operates on a function space. Unlike previous methods, which construct and match the coreset and full data posteriors in the space of model parameters (weights), our method constructs variational approximations to the coreset posterior on a function space and matches it to the full data posterior in the function space. By working directly on the function space, our method could bypass several challenges that may arise when working on a weight space, including limited scalability and multi-modality issue. Through various experiments, we demonstrate that the Bayesian pseudocoresets constructed from our method enjoys enhanced uncertainty quantification and better robustness across various model architectures.


title: Rahman polynomials

abstract: Two very closely related Rahman polynomials are constructed explicitly as the left eigenvectors of certain multi-dimensional discrete time Markov chain operators $K_n^{(i)}({\boldsymbol x},{\boldsymbol y};N)$, $i=1,2$. They are convolutions of an $n+1$-nomial distribution $W_n({\boldsymbol x};N)$ and an $n$-tuple of binomial distributions $\prod_{i}W_1(x_i;N)$. The one for the original Rahman polynomials is $K_n^{(1)}({\boldsymbol x},{\boldsymbol y};N) =\sum_{\boldsymbol z}W_n({\boldsymbol x}-{\boldsymbol z};N-\sum_{i}z_i) \prod_{i}W_1(z_i;y_i)$. The closely related one is \ $K_n^{(2)}({\boldsymbol x},{\boldsymbol y};N) =\sum_{\boldsymbol z}W_n({\boldsymbol x}-{\boldsymbol z};N-\sum_{i}y_i) \prod_{i}W_1(z_i;y_i)$. The original Markov chain was introduced and discussed by Hoare, Rahman and Gr\"{u}nbaum as a multivariable version of the known soluble single variable one. The new one is a generalisation of that of Odake and myself. The anticipated solubility of the model gave Rahman polynomials the prospect of the first multivariate hypergeometric function of Aomoto-Gelfand type connected with solvable dynamics. The promise is now realised. The $n^2$ system parameters $\{u_{i\,j}\}$ of the Rahman polynomials are completely determined. These $u_{i\,j}$'s are irrational functions of the original system parameters, the probabilities of the multinomial and binomial distributions.


title: The Non-zonal Rossby-Haurwitz Solutions of the 2D Euler Equations on a Rotating Ellipsoid

abstract: In this article, we investigate the incompressible 2D Euler equations on a rotating biaxial ellipsoid, which model the dynamics of the atmosphere of a Jovian planet. We study the non-zonal Rossby-Haurwitz solutions of the Euler equations on an ellipsoid, while previous works only considered the case of a sphere. Our main results include: the existence and uniqueness of the stationary Rossby-Haurwitz solutions; the construction of the traveling-wave solutions; and the demonstration of the Lyapunov instability of both the stationary and the traveling-wave solutions.


title: On the volumes of simplices determined by a subset of $\mathbb{R}^d$

abstract: We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the case $k=d-1$, we obtain an essentially sharp lower bound on the dimension of the set of tuples in $E$ generating a given volume. We also establish a finer version of the classical slicing theorem of Marstrand-Mattila in terms of dimension functions, and use it to extend our results to sets of ``dimension logarithmically larger than $k$''.


title: A New Algorithm for Optimizing Dubins Paths to Intercept a Moving Target

abstract: This paper is concerned with determining the shortest path for a pursuer aiming to intercept a moving target travelling at a constant speed. We introduce an intuitive and efficient mathematical model outlined as an optimal control problem to address this challenge. The proposed model is based on Dubins path where we concatenate two possible paths: a left-circular curve or a right-circular curve followed by a straight line. We develop and explore this model, providing a comprehensive geometric interpretation, and design an algorithm tailored to implement the proposed mathematical approach efficiently. Extensive numerical experiments involving diverse target positions highlight the strength of the model. The method exhibits a remarkably high convergence rate in finding solutions. For experiment purposes, we utilized the modelling software AMPL, employing a range of solvers to solve the problem. Subsequently, we simulated the obtained solutions using MATLAB, demonstrating the efficiency of the model in intercepting a moving target. The proposed model distinguishes itself by employing fewer parameters and making fewer assumptions, setting the model simplifies the complexities, and thus, makes it easier for experts to design optimal path plans.


title: From Values to Opinions: Predicting Human Behaviors and Stances Using Value-Injected Large Language Models

abstract: Being able to predict people's opinions on issues and behaviors in realistic scenarios can be helpful in various domains, such as politics and marketing. However, conducting large-scale surveys like the European Social Survey to solicit people's opinions on individual issues can incur prohibitive costs. Leveraging prior research showing influence of core human values on individual decisions and actions, we propose to use value-injected large language models (LLM) to predict opinions and behaviors. To this end, we present Value Injection Method (VIM), a collection of two methods -- argument generation and question answering -- designed to inject targeted value distributions into LLMs via fine-tuning. We then conduct a series of experiments on four tasks to test the effectiveness of VIM and the possibility of using value-injected LLMs to predict opinions and behaviors of people. We find that LLMs value-injected with variations of VIM substantially outperform the baselines. Also, the results suggest that opinions and behaviors can be better predicted using value-injected LLMs than the baseline approaches.