title: SkipPredict: When to Invest in Predictions for Scheduling

abstract: In light of recent work on scheduling with predicted job sizes, we consider the effect of the cost of predictions in queueing systems, removing the assumption in prior research that predictions are external to the system's resources and/or cost-free. In particular, we introduce a novel approach to utilizing predictions, SkipPredict, designed to address their inherent cost. Rather than uniformly applying predictions to all jobs, we propose a tailored approach that categorizes jobs based on their prediction requirements. To achieve this, we employ one-bit "cheap predictions" to classify jobs as either short or long. SkipPredict prioritizes predicted short jobs over long jobs, and for the latter, SkipPredict applies a second round of more detailed "expensive predictions" to approximate Shortest Remaining Processing Time for these jobs. Our analysis takes into account the cost of prediction. We examine the effect of this cost for two distinct models. In the external cost model, predictions are generated by some external method without impacting job service times but incur a cost. In the server time cost model, predictions themselves require server processing time, and are scheduled on the same server as the jobs.


title: Breakpoint based online anomaly detection

abstract: The goal of anomaly detection is to identify observations that are generated by a distribution that differs from the reference distribution that qualifies normal behavior. When examining a time series, the reference distribution may evolve over time. The anomaly detector must therefore be able to adapt to such changes. In the online context, it is particularly difficult to adapt to abrupt and unpredictable changes. Our solution to this problem is based on the detection of breakpoints in order to adapt in real time to the new reference behavior of the series and to increase the accuracy of the anomaly detection. This solution also provides a control of the False Discovery Rate by extending methods developed for stationary series.


title: Gauging on the lattice and gapped/gapless topological phases

abstract: In this work, we explore topological phases of matter obtained by effectively gauging or fermionizing the system, where the Gauss law constraint is only enforced energetically. In contrast to conventional gauging or fermionizion, the symmetry that is effectively gauged in low energy still generates a global symmetry that acts on the whole Hilbert space faithfully. This symmetry turns out to protect a non-trivial topological phase with other emergent symmetry, or can have a non-trivial 't Hooft anomaly. We provide a precise formula for the topological response action involving these symmetries in a general setup, as well as find a formula for 't Hooft anomalies. As an application, we apply the general treatment of the procedure to gapless systems and find various new gapless SPT phases, such as the one carrying the Gu-Wen fermionic anomalies at low energy.


title: Inferring Fundamental Properties of the Flare Current Sheet Using Flare Ribbons: Oscillations in the Reconnection Flux Rates

abstract: Magnetic reconnection is understood to be the main physical process that facilitates the transformation of magnetic energy into heat, motion, and particle acceleration during solar eruptions. Yet, observational constraints on reconnection region properties and dynamics are limited due to lack of high-cadence and high-spatial-resolution observations. By studying the evolution and morphology of post-reconnected field-lines footpoints, or flare ribbons and vector photospheric magnetic field, we estimate the magnetic reconnection flux and its rate of change with time to study the flare reconnection process and dynamics of the current sheet above. We compare high-resolution imaging data to study the evolution of the fine structure in flare ribbons as ribbons spread away from the polarity inversion line. Using data from two illustrative events (one M- and X-class flare), we explore the relationship between the ribbon-front fine structure and the temporal development of bursts in the reconnection region. Additionally, we use the RibbonDB database to perform statistical analysis of 73 (C- to X-class) flares and identify QPP's properties using the Wavelet Transform. Our main finding is the discovery of quasi-periodic pulsations (QPP) signatures in the derived magnetic reconnection rates in both example events and the large flare sample. We find that the oscillations' periods range from one to four minutes. Furthermore, we find nearly co-temporal bursts in Hard X-ray (HXR) emission profiles. We discuss how dynamical processes in the current sheet involving plasmoids can explain the nearly-co-temporal signatures of quasi periodicity in the reconnection rates and HXR emission.


title: Exploring freeze out and flow using exact solutions of conformal hydrodynamics

abstract: Exact solutions to the equations of hydrodynamics provide valuable benchmark tests for numerical hydrodynamic codes and also provide useful insights into the nature of hydrodynamic flow. In this paper, we introduce two novel, closely related exact solutions with non-trivial rapidity dependence which are generalizations of the well-known Gubser flow solution to conformal hydrodynamics. We then use one of our solutions to explore the consequences of choosing between two different criteria for implementing the freeze out process in fluid dynamical simulations of nuclear collisions: freeze out at constant temperature vs. freeze out at constant Knudsen number. We find that, employing our exact solution, the differences between these freeze out criteria are heavily influenced by the presence of strong collective flow. Our results highlight the importance of accurately describing the freeze out process in collisions with large flow gradients, particularly in small systems.


title: The Invisible Game on the Internet: A Case Study of Decoding Deceptive Patterns

abstract: Deceptive patterns are design practices embedded in digital platforms to manipulate users, representing a widespread and long-standing issue in the web and mobile software development industry. Legislative actions highlight the urgency of globally regulating deceptive patterns. However, despite advancements in detection tools, a significant gap exists in assessing deceptive pattern risks. In this study, we introduce a comprehensive approach involving the interactions between the Adversary, Watchdog (e.g., detection tools), and Challengers (e.g., users) to formalize and decode deceptive pattern threats. Based on this, we propose a quantitative risk assessment system. Representative cases are analyzed to showcase the practicability of the proposed risk scoring system, emphasizing the importance of involving human factors in deceptive pattern risk assessment.


title: Diffusion World Model: Future Modeling Beyond Step-by-Step Rollout for Offline Reinforcement Learning

abstract: We introduce Diffusion World Model (DWM), a conditional diffusion model capable of predicting multistep future states and rewards concurrently. As opposed to traditional one-step dynamics models, DWM offers long-horizon predictions in a single forward pass, eliminating the need for recursive queries. We integrate DWM into model-based value estimation, where the short-term return is simulated by future trajectories sampled from DWM. In the context of offline reinforcement learning, DWM can be viewed as a conservative value regularization through generative modeling. Alternatively, it can be seen as a data source that enables offline Q-learning with synthetic data. Our experiments on the D4RL dataset confirm the robustness of DWM to long-horizon simulation. In terms of absolute performance, DWM significantly surpasses one-step dynamics models with a $44\%$ performance gain, and is comparable to or slightly surpassing their model-free counterparts.


title: Boundary Harnack principle on uniform domains

abstract: We present a proof of scale-invariant boundary Harnack principle for uniform domain when the underlying space satisfies a scale-invariant elliptic Harnack inequality. Our approach do not assume the underlying space to be geodesic nor the existence of Green function.


title: Entanglement-enhanced quantum metrology: from standard quantum limit to Heisenberg limit

abstract: Entanglement-enhanced quantum metrology explores the utilization of quantum entanglement to enhance measurement precision. When particles in a probe are prepared into a quantum entangled state, they collectively accumulate information about the physical quantity to be measured, leading to an improvement in measurement precision beyond the standard quantum limit and approaching the Heisenberg limit. The rapid advancement of techniques for quantum manipulation and detection has enabled the generation, manipulation, and detection of multi-particle entangled states in synthetic quantum systems such as cold atoms and trapped ions. This article aims to review and illustrate the fundamental principles and experimental progresses that demonstrate multi-particle entanglement for quantum metrology, as well as discuss the potential applications of entanglement-enhanced quantum sensors.


title: Refined Chabauty--Kim calculations for the thrice-punctured line over $\mathbb{Z}[1/6]$

abstract: The Chabauty--Kim method and its refined variant by Betts and Dogra aim to cut out the $S$-integral points $X(\mathbb{Z}_S)$ on a curve inside the $p$-adic points $X(\mathbb{Z}_p)$ by producing enough Coleman functions vanishing on them. We derive new functions in the case of the thrice-punctured line when $S$ contains two primes. We describe an algorithm for computing refined Chabauty--Kim loci and verify Kim's conjecture over $\mathbb{Z}[1/6]$ for all choices of auxiliary prime $p < 10{,}000$.


title: Connections Between Finite Difference and Finite Element Approximations for a Convection-Diffusion Problem

abstract: We consider a model convection-diffusion problem and present useful connections between the finite differences and finite element discretization methods. We introduce a general upwinding Petrov-Galerkin discretization based on bubble modification of the test space and connect the method with the general upwinding approach used in finite difference discretization. We write the finite difference and the finite element systems such that the two corresponding linear systems have the same stiffness matrices, and compare the right hand side load vectors for the two methods. This new approach allows for improving well known upwinding finite difference methods and for obtaining new error estimates. We prove that the exponential bubble Petrov-Galerkin discretization can recover the interpolant of the exact solution. As a consequence, we estimate the closeness of the related finite difference solutions to the interpolant. The ideas we present in this work, can lead to building efficient new discretization methods for multidimensional convection dominated problems.


title: Toward Human-AI Alignment in Large-Scale Multi-Player Games

abstract: Achieving human-AI alignment in complex multi-agent games is crucial for creating trustworthy AI agents that enhance gameplay. We propose a method to evaluate this alignment using an interpretable task-sets framework, focusing on high-level behavioral tasks instead of low-level policies. Our approach has three components. First, we analyze extensive human gameplay data from Xbox's Bleeding Edge (100K+ games), uncovering behavioral patterns in a complex task space. This task space serves as a basis set for a behavior manifold capturing interpretable axes: fight-flight, explore-exploit, and solo-multi-agent. Second, we train an AI agent to play Bleeding Edge using a Generative Pretrained Causal Transformer and measure its behavior. Third, we project human and AI gameplay to the proposed behavior manifold to compare and contrast. This allows us to interpret differences in policy as higher-level behavioral concepts, e.g., we find that while human players exhibit variability in fight-flight and explore-exploit behavior, AI players tend towards uniformity. Furthermore, AI agents predominantly engage in solo play, while humans often engage in cooperative and competitive multi-agent patterns. These stark differences underscore the need for interpretable evaluation, design, and integration of AI in human-aligned applications. Our study advances the alignment discussion in AI and especially generative AI research, offering a measurable framework for interpretable human-agent alignment in multiplayer gaming.


title: Generalization Properties of Adversarial Training for $\ell_0$-Bounded Adversarial Attacks

abstract: We have widely observed that neural networks are vulnerable to small additive perturbations to the input causing misclassification. In this paper, we focus on the $\ell_0$-bounded adversarial attacks, and aim to theoretically characterize the performance of adversarial training for an important class of truncated classifiers. Such classifiers are shown to have strong performance empirically, as well as theoretically in the Gaussian mixture model, in the $\ell_0$-adversarial setting. The main contribution of this paper is to prove a novel generalization bound for the binary classification setting with $\ell_0$-bounded adversarial perturbation that is distribution-independent. Deriving a generalization bound in this setting has two main challenges: (i) the truncated inner product which is highly non-linear; and (ii) maximization over the $\ell_0$ ball due to adversarial training is non-convex and highly non-smooth. To tackle these challenges, we develop new coding techniques for bounding the combinatorial dimension of the truncated hypothesis class.


title: Revisiting the Dataset Bias Problem from a Statistical Perspective

abstract: In this paper, we study the "dataset bias" problem from a statistical standpoint, and identify the main cause of the problem as the strong correlation between a class attribute u and a non-class attribute b in the input x, represented by p(u|b) differing significantly from p(u). Since p(u|b) appears as part of the sampling distributions in the standard maximum log-likelihood (MLL) objective, a model trained on a biased dataset via MLL inherently incorporates such correlation into its parameters, leading to poor generalization to unbiased test data. From this observation, we propose to mitigate dataset bias via either weighting the objective of each sample n by \frac{1}{p(u_{n}|b_{n})} or sampling that sample with a weight proportional to \frac{1}{p(u_{n}|b_{n})}. While both methods are statistically equivalent, the former proves more stable and effective in practice. Additionally, we establish a connection between our debiasing approach and causal reasoning, reinforcing our method's theoretical foundation. However, when the bias label is unavailable, computing p(u|b) exactly is difficult. To overcome this challenge, we propose to approximate \frac{1}{p(u|b)} using a biased classifier trained with "bias amplification" losses. Extensive experiments on various biased datasets demonstrate the superiority of our method over existing debiasing techniques in most settings, validating our theoretical analysis.


title: LLM Multi-Agent Systems: Challenges and Open Problems

abstract: This paper explores existing works of multi-agent systems and identifies challenges that remain inadequately addressed. By leveraging the diverse capabilities and roles of individual agents within a multi-agent system, these systems can tackle complex tasks through collaboration. We discuss optimizing task allocation, fostering robust reasoning through iterative debates, managing complex and layered context information, and enhancing memory management to support the intricate interactions within multi-agent systems. We also explore the potential application of multi-agent systems in blockchain systems to shed light on their future development and application in real-world distributed systems.


title: Deconstructing the Goldilocks Zone of Neural Network Initialization

abstract: The second-order properties of the training loss have a massive impact on the optimization dynamics of deep learning models. Fort & Scherlis (2019) discovered that a large excess of positive curvature and local convexity of the loss Hessian is associated with highly trainable initial points located in a region coined the "Goldilocks zone". Only a handful of subsequent studies touched upon this relationship, so it remains largely unexplained. In this paper, we present a rigorous and comprehensive analysis of the Goldilocks zone for homogeneous neural networks. In particular, we derive the fundamental condition resulting in excess of positive curvature of the loss, explaining and refining its conventionally accepted connection to the initialization norm. Further, we relate the excess of positive curvature to model confidence, low initial loss, and a previously unknown type of vanishing cross-entropy loss gradient. To understand the importance of excessive positive curvature for trainability of deep networks, we optimize fully-connected and convolutional architectures outside the Goldilocks zone and analyze the emergent behaviors. We find that strong model performance is not perfectly aligned with the Goldilocks zone, calling for further research into this relationship.


title: MINLP-based hybrid strategy for operating mode selection of TES-backed-up refrigeration systems

abstract: This brief deals with the satisfaction of the daily cooling demand by a hybrid system that consists of a vapour-compression refrigeration cycle and a thermal energy storage (TES) unit, based on phase change materials. The addition of the TES tank to the original refrigeration plant allows to schedule the cooling production regardless of the instantaneous demand, given that the TES tank can store cold energy and release it whenever deemed appropriate. The scheduling problem is posed as an optimization problem based on mixed-integer non-linear programming (MINLP), since it includes both discrete and continuous variables. The latter corresponds to the references on the main cooling powers involved in the problem (cooling production at the evaporator and TES charging/discharging), whereas the discrete variables define the operating mode scheduling. Therefore, in addition to the hybrid features of the physical plant, a hybrid optimal control strategy is also proposed. A receding horizon approach is applied, similar to model predictive control (MPC) strategies, while economic criteria are imposed in the objective function, as well as feasibility issues. The TES state estimation is also addressed, since its instantaneous charge ratio is not measurable. The proposed strategy is applied in simulation to a challenging cooling demand profile and the main advantages of the MINLP-based strategy over a non-linear MPC-based scheduling strategy previously developed are highlighted, regarding operating cost, ease of tuning, and ability to adapt to cooling demand variations.


title: Density discrepancy between transit-timing variations and radial velocity: Insights from the host star composition

abstract: The determination of planetary densities from the masses derived with the radial velocity (RV) and transit-timing variation (TTV) methods reveals discrepancies. Specifically, planets detected through RV exhibit higher densities than those detected through TTV, even though their radii are similar. We explored the possibility that the discrepant mass/densities in the TTV and RV populations might be linked to the properties of the environments in which these planets are formed. For the largest currently available sample of FGK-type stars hosting low-mass TTV and RV planets, we determined the host star abundances. Then, by employing a simple stoichiometric model, we used these abundances to estimate the iron-to-silicate mass fraction ($f_{iron}$) and the water-mass fraction ($w_{f}$) of the protoplanetary disks. We also calculated the kinematic properties of the host stars. We observed an indication that the hosts of TTV planets have slightly higher $f_{iron}$ and lower $w_{f}$ values than their RV counterparts. This suggests that TTV planets (without considering their atmospheres) are denser than RV planets on average, which implies that larger atmospheres on TTV planets are required to account for their overall lower densities. However, we also note differences in the properties of the planets, such as their orbital periods, and variations in the quality of the spectroscopic data, which may have an impact on these results. Exploring the TTV-RV mass and/or density discrepancy through a chemical analysis of the host star holds promise for future research, particularly with larger sample sizes and higher-quality data. Meanwhile, the provided detailed host star abundances can be employed to study the composition of the planets within the current sample, thereby contributing to a better understanding of the aforementioned discrepancy.


title: Matcha: An IDE Plugin for Creating Accurate Privacy Nutrition Labels

abstract: Apple and Google introduced their versions of privacy nutrition labels to the mobile app stores to better inform users of the apps' data practices. However, these labels are self-reported by developers and have been found to contain many inaccuracies due to misunderstandings of the label taxonomy. In this work, we present Matcha, an IDE plugin that uses automated code analysis to help developers create accurate Google Play data safety labels. Developers can benefit from Matcha's ability to detect user data accesses and transmissions while staying in control of the generated label by adding custom Java annotations and modifying an auto-generated XML specification. Our evaluation with 12 developers showed that Matcha helped our participants improved the accuracy of a label they created with Google's official tool for a real-world app they developed. We found that participants preferred Matcha for its accuracy benefits. Drawing on Matcha, we discuss general design recommendations for developer tools used to create accurate standardized privacy notices.


title: MQuinE: a cure for "Z-paradox" in knowledge graph embedding models

abstract: Knowledge graph embedding (KGE) models achieved state-of-the-art results on many knowledge graph tasks including link prediction and information retrieval. Despite the superior performance of KGE models in practice, we discover a deficiency in the expressiveness of some popular existing KGE models called \emph{Z-paradox}. Motivated by the existence of Z-paradox, we propose a new KGE model called \emph{MQuinE} that does not suffer from Z-paradox while preserves strong expressiveness to model various relation patterns including symmetric/asymmetric, inverse, 1-N/N-1/N-N, and composition relations with theoretical justification. Experiments on real-world knowledge bases indicate that Z-paradox indeed degrades the performance of existing KGE models, and can cause more than 20\% accuracy drop on some challenging test samples. Our experiments further demonstrate that MQuinE can mitigate the negative impact of Z-paradox and outperform existing KGE models by a visible margin on link prediction tasks.


title: Helium-deficient ER UMa-type dwarf nova below the period minimum with a hot secondary

abstract: We present the discovery of a peculiar dwarf nova KSP-OT-201712a using high-cadence, multi-color observations made with the Korea Microlensing Telescope Network. KSP-OT-201712a exhibits a rare presence of outbursts during standstills as well as strong H${\alpha}$ emission for a dwarf nova below the period minimum with an orbital period of 58.75 $\pm$ 0.02 minutes. The outburst cycles are ~ 6.6 days within standstills but increase to ~ 15 days outside of them. Both B-V and V-I colors become bluer and redder as the outburst luminosities increase and decrease, respectively, for the outburst within standstill, while they evolve in the opposite directions outside of the standstills. The presence of strong double-peaked H${\alpha}$ and weak He I emission lines with He/H flux ratio of 0.27, together with absorption lines of Mg b and Na D in the source, leads to the estimation Teff ~ 4570 $\pm$ 40 K, [Fe/H] ~ 0.06 $\pm$ 0.15 dex, and log g ~ 4.5 $\pm$ 0.1 for its secondary. KSP-OT-201712a is the second He-deficient dwarf nova below the period minimum, while the temperature of the secondary is measured for the first time in such objects. We identify it to be an ER UMa type dwarf nova suggesting that the evolution of dwarf novae across the period minimum is accompanied by large mass transfers. The high temperature of the secondary indicates that the system started its mass transfer when the secondary was about 93$\%$ of its main sequence age. The system will evolve to a helium cataclysmic variable or to AM CVn once its hydrogen envelope is exhausted before it explodes as a Type Ia supernova.


title: Decoder-Only Image Registration

abstract: In unsupervised medical image registration, the predominant approaches involve the utilization of a encoder-decoder network architecture, allowing for precise prediction of dense, full-resolution displacement fields from given paired images. Despite its widespread use in the literature, we argue for the necessity of making both the encoder and decoder learnable in such an architecture. For this, we propose a novel network architecture, termed LessNet in this paper, which contains only a learnable decoder, while entirely omitting the utilization of a learnable encoder. LessNet substitutes the learnable encoder with simple, handcrafted features, eliminating the need to learn (optimize) network parameters in the encoder altogether. Consequently, this leads to a compact, efficient, and decoder-only architecture for 3D medical image registration. Evaluated on two publicly available brain MRI datasets, we demonstrate that our decoder-only LessNet can effectively and efficiently learn both dense displacement and diffeomorphic deformation fields in 3D. Furthermore, our decoder-only LessNet can achieve comparable registration performance to state-of-the-art methods such as VoxelMorph and TransMorph, while requiring significantly fewer computational resources. Our code and pre-trained models are available at https://github.com/xi-jia/LessNet.


title: Error estimates for SUPG-stabilised Dynamical Low Rank Approximations

abstract: We perform an error analysis of a fully discretised Streamline Upwind Petrov Galerkin Dynamical Low Rank (SUPG-DLR) method for random time-dependent advection-dominated problems. The time integration scheme has a splitting-like nature, allowing for potentially efficient computations of the factors characterising the discretised random field. The method allows to efficiently compute a low-rank approximation of the true solution, while naturally "inbuilding" the SUPG stabilisation. Standard error rates in the L2 and SUPG-norms are recovered. Numerical experiments validate the predicted rates.


title: Information-Theoretic Active Correlation Clustering

abstract: We study correlation clustering where the pairwise similarities are not known in advance. For this purpose, we employ active learning to query pairwise similarities in a cost-efficient way. We propose a number of effective information-theoretic acquisition functions based on entropy and information gain. We extensively investigate the performance of our methods in different settings and demonstrate their superior performance compared to the alternatives.


title: Continual Domain Adversarial Adaptation via Double-Head Discriminators

abstract: Domain adversarial adaptation in a continual setting poses a significant challenge due to the limitations on accessing previous source domain data. Despite extensive research in continual learning, the task of adversarial adaptation cannot be effectively accomplished using only a small number of stored source domain data, which is a standard setting in memory replay approaches. This limitation arises from the erroneous empirical estimation of $\gH$-divergence with few source domain samples. To tackle this problem, we propose a double-head discriminator algorithm, by introducing an addition source-only domain discriminator that are trained solely on source learning phase. We prove that with the introduction of a pre-trained source-only domain discriminator, the empirical estimation error of $\gH$-divergence related adversarial loss is reduced from the source domain side. Further experiments on existing domain adaptation benchmark show that our proposed algorithm achieves more than 2$\%$ improvement on all categories of target domain adaptation task while significantly mitigating the forgetting on source domain.


title: A Reinforcement Learning Approach for Dynamic Rebalancing in Bike-Sharing System

abstract: Bike-Sharing Systems provide eco-friendly urban mobility, contributing to the alleviation of traffic congestion and to healthier lifestyles. Efficiently operating such systems and maintaining high customer satisfaction is challenging due to the stochastic nature of trip demand, leading to full or empty stations. Devising effective rebalancing strategies using vehicles to redistribute bikes among stations is therefore of uttermost importance for operators. As a promising alternative to classical mathematical optimization, reinforcement learning is gaining ground to solve sequential decision-making problems. This paper introduces a spatio-temporal reinforcement learning algorithm for the dynamic rebalancing problem with multiple vehicles. We first formulate the problem as a Multi-agent Markov Decision Process in a continuous time framework. This allows for independent and cooperative vehicle rebalancing, eliminating the impractical restriction of time-discretized models where vehicle departures are synchronized. A comprehensive simulator under the first-arrive-first-serve rule is then developed to facilitate the learning process by computing immediate rewards under diverse demand scenarios. To estimate the value function and learn the rebalancing policy, various Deep Q-Network configurations are tested, minimizing the lost demand. Experiments are carried out on various datasets generated from historical data, affected by both temporal and weather factors. The proposed algorithms outperform benchmarks, including a multi-period Mixed-Integer Programming model, in terms of lost demand. Once trained, it yields immediate decisions, making it suitable for real-time applications. Our work offers practical insights for operators and enriches the integration of reinforcement learning into dynamic rebalancing problems, paving the way for more intelligent and robust urban mobility solutions.


title: Assessing the Impact of Distribution Shift on Reinforcement Learning Performance

abstract: Research in machine learning is making progress in fixing its own reproducibility crisis. Reinforcement learning (RL), in particular, faces its own set of unique challenges. Comparison of point estimates, and plots that show successful convergence to the optimal policy during training, may obfuscate overfitting or dependence on the experimental setup. Although researchers in RL have proposed reliability metrics that account for uncertainty to better understand each algorithm's strengths and weaknesses, the recommendations of past work do not assume the presence of out-of-distribution observations. We propose a set of evaluation methods that measure the robustness of RL algorithms under distribution shifts. The tools presented here argue for the need to account for performance over time while the agent is acting in its environment. In particular, we recommend time series analysis as a method of observational RL evaluation. We also show that the unique properties of RL and simulated dynamic environments allow us to make stronger assumptions to justify the measurement of causal impact in our evaluations. We then apply these tools to single-agent and multi-agent environments to show the impact of introducing distribution shifts during test time. We present this methodology as a first step toward rigorous RL evaluation in the presence of distribution shifts.


title: Reverse Engineering and Security Evaluation of Commercial Tags for RFID-Based IoT Applications

abstract: The Internet of Things (IoT) is a distributed system of physical objects that requires the seamless integration of hardware (e.g., sensors, actuators, electronics) and network communications in order to collect and exchange data. IoT smart objects need to be somehow identified to determine the origin of the data and to automatically detect the elements around us. One of the best positioned technologies to perform identification is RFID (Radio Frequency Identification), which in the last years has gained a lot of popularity in applications like access control, payment cards or logistics. Despite its popularity, RFID security has not been properly handled in numerous applications. To foster security in such applications, this article includes three main contributions. First, in order to establish the basics, a detailed review of the most common flaws found in RFID-based IoT systems is provided, including the latest attacks described in the literature. Second, a novel methodology that eases the detection and mitigation of such flaws is presented. Third, the latest RFID security tools are analyzed and the methodology proposed is applied through one of them (Proxmark 3) to validate it. Thus, the methodology is tested in different scenarios where tags are commonly used for identification. In such systems it was possible to clone transponders, extract information, and even emulate both tags and readers. Therefore, it is shown that the methodology proposed is useful for auditing security and reverse engineering RFID communications in IoT applications. It must be noted that, although this paper is aimed at fostering RFID communications security in IoT applications, the methodology can be applied to any RFID communications protocol.


title: GRASP: GRAph-Structured Pyramidal Whole Slide Image Representation

abstract: Cancer subtyping is one of the most challenging tasks in digital pathology, where Multiple Instance Learning (MIL) by processing gigapixel whole slide images (WSIs) has been in the spotlight of recent research. However, MIL approaches do not take advantage of inter- and intra-magnification information contained in WSIs. In this work, we present GRASP, a novel graph-structured multi-magnification framework for processing WSIs in digital pathology. Our approach is designed to dynamically emulate the pathologist's behavior in handling WSIs and benefits from the hierarchical structure of WSIs. GRASP, which introduces a convergence-based node aggregation instead of traditional pooling mechanisms, outperforms state-of-the-art methods over two distinct cancer datasets by a margin of up to 10% balanced accuracy, while being 7 times smaller than the closest-performing state-of-the-art model in terms of the number of parameters. Our results show that GRASP is dynamic in finding and consulting with different magnifications for subtyping cancers and is reliable and stable across different hyperparameters. The model's behavior has been evaluated by two expert pathologists confirming the interpretability of the model's dynamic. We also provide a theoretical foundation, along with empirical evidence, for our work, explaining how GRASP interacts with different magnifications and nodes in the graph to make predictions. We believe that the strong characteristics yet simple structure of GRASP will encourage the development of interpretable, structure-based designs for WSI representation in digital pathology. Furthermore, we publish two large graph datasets of rare Ovarian and Bladder cancers to contribute to the field.


title: Do we Owe our Existence to Gravitational Waves?

abstract: Two heavy elements essential to human biology are thought to have been produced by the astrophysical $r$-process, which occurs in neutron-rich environments: iodine is a constituent of thyroid hormones that affect many physiological processes including growth and development, body temperature and heart rate, and bromine is essential for tissue development and architecture. Collisions of neutron stars (kilonovae) have been identified as sources of $r$-process elements including tellurium, which is adjacent to iodine in the periodic table, and lanthanides. Neutron-star collisions arise from energy loss due to gravitational-wave emission from binary systems, leading us to suggest that gravitational waves have played a key role in enabling human life by producing iodine and bromine. We propose probing this proposal by searching in lunar material for live $^{129}$I deposited by a recent nearby kilonova explosion.


title: Upgrading the GRAVITY fringe tracker for GRAVITY+: Tracking the white light fringe in the non-observable Optical Path Length state-space

abstract: Aims. As part of the ongoing GRAVITY+ upgrade of the Very Large Telescope Interferometer infrastructure, we aim to improve the performance of the GRAVITY Fringe-Tracker, and to enable its use by other instruments. Methods. We modify the group delay controller to consistently maintain tracking in the white light fringe, characterised by a minimum group delay. Additionally, we introduce a novel approach in which fringe-tracking is performed in the non-observable Optical Path Length state-space, using a covariance-weighted Kalman filter and an auto-regressive model of the disturbance. We outline this new state-space representation, and the formalism we use to propagate the state-vector and generate the control signal. While our approach is presented specifically in the context of GRAVITY/GRAVITY+, it can easily be adapted to other instruments or interferometric facilities. Results. We successfully demonstrate phase delay tracking within a single fringe, with any spurious phase jumps detected and corrected in less than 100 ms. We also report a significant performance improvement, as evidenced by a reduction of about 30 to 40% in phase residuals, and a much better behaviour under sub-optimal atmospheric conditions. Compared to what was observed in 2019, the median residuals have decreased from 150 nm to 100 nm on the Auxiliary Telescopes and from 250 nm to 150 nm on the Unit Telescopes. Conclusions. The improved phase-delay tracking combined with whit light fringe tracking means that from now-on, the GRAVITY Fringe-Tracker can be used by other instruments operating in different wavebands. The only limitation remains the need for an optical path dispersion adjustment.


title: The orbit of HD 142527 B is too compact to explain many of the disc features

abstract: HD 142527 A is a young and massive Herbig Ae/Be star surrounded by a highly structured disc. The disc shows numerous morphological structures, such as spiral arms, a horseshoe region of dust emission, a set of shadows cast by an inner disc on the outer disc, and a large cavity extending from $\simeq{}$30 au to $\simeq{}$130 au. HD 142527 A also has a lower mass companion, HD 142527 B (M = 0.13 $\pm$ 0.03 $M_\odot{}$), which is thought to be responsible for most of the structures observed in the surrounding disc. We gathered VLTI/GRAVITY observations of HD 142527, either from our own programmes or from the ESO archive. We used this inhomogeneous set of data to extract a total of seven high-precision measurements of the relative astrometry between HD 142527 A and B, spread from mid-2017 to early 2021. Combined with what is available in the literature, we now have 9 yr of astrometric monitoring on HD 142527. We used orbit fitting tools to determine the orbital parameters of HD 142527 B, and used them as inputs for a 3D hydrodynamical model of the disc to determine whether or not the binary is able to create the structures observed in the disc. Our VLTI/GRAVITY astrometry gives excellent constraints on the orbit of HD 142527 B. We show that the secondary is following an orbit of semi-major axis a = 10.80 $\pm$ 0.22 au, with moderate eccentricity (e = 0.47 $\pm$ 0.01). With such a compact orbit, we show that HD 142527 B can only generate a gap and spiral arms of $\sim$30 au in the disc, which is much smaller than what is revealed by observations. Even from a theoretical standpoint, the observed cavity size of $\sim$100 au far exceeds even the most generous predictions for a companion like HD 142527 B on such a compact orbit. Thus, we conclude that the low-mass companion cannot be solely responsible for the observed morphology of the disc surrounding the system.


title: PandaX-xT: a Multi-ten-tonne Liquid Xenon Observatory at the China Jinping Underground Laboratory

abstract: We propose a major upgrade to the existing PandaX-4T experiment in the China Jinping Underground Laboratory. The new experiment, PandaX-xT, will be a multi-ten-tonne liquid xenon, ultra-low background, and general-purpose observatory. The full-scaled PandaX-xT contains a 43-tonne liquid xenon active target. Such an experiment will significantly advance our fundamental understanding of particle physics and astrophysics. The sensitivity of dark matter direct detection will be improved by nearly two orders of magnitude compared to the current best limits, approaching the so-called "neutrino floor" for a dark matter mass above 10 GeV/$c^2$, providing a decisive test to the Weakly Interacting Massive Particle paradigm. By searching for the neutrinoless double beta decay of $^{136}$Xe isotope in the detector, the effective Majorana neutrino mass can be measured to a [10 -- 41] meV/$c^2$ sensitivity, providing a key test to the Dirac/Majorana nature of neutrino s. Astrophysical neutrinos and other ultra-rare interactions can also be measured and searched for with an unprecedented background level, opening up new windows of discovery. Depending on the findings, PandaX-xT will seek the next stage upgrade utilizing isotopic separation on natural xenon.


title: Identifying Reasons for Contraceptive Switching from Real-World Data Using Large Language Models

abstract: Prescription contraceptives play a critical role in supporting women's reproductive health. With nearly 50 million women in the United States using contraceptives, understanding the factors that drive contraceptives selection and switching is of significant interest. However, many factors related to medication switching are often only captured in unstructured clinical notes and can be difficult to extract. Here, we evaluate the zero-shot abilities of a recently developed large language model, GPT-4 (via HIPAA-compliant Microsoft Azure API), to identify reasons for switching between classes of contraceptives from the UCSF Information Commons clinical notes dataset. We demonstrate that GPT-4 can accurately extract reasons for contraceptive switching, outperforming baseline BERT-based models with microF1 scores of 0.849 and 0.881 for contraceptive start and stop extraction, respectively. Human evaluation of GPT-4-extracted reasons for switching showed 91.4% accuracy, with minimal hallucinations. Using extracted reasons, we identified patient preference, adverse events, and insurance as key reasons for switching using unsupervised topic modeling approaches. Notably, we also showed using our approach that "weight gain/mood change" and "insurance coverage" are disproportionately found as reasons for contraceptive switching in specific demographic populations. Our code and supplemental data are available at https://github.com/BMiao10/contraceptive-switching.


title: Exploring the effectiveness of documentary film for science communication

abstract: The complexity of science and its frequent lack of accessibility often creates disinterest among the general public. Furthermore, there exists a gap between the public perception of science and the reality of scientific research, which severely limits the scope of public engagement with science. A new docuseries, Curiosity-The Making of a Scientist, created at the STAGE Lab at the University of Chicago, addresses this issue by increasing the awareness and excitement around science and scientists. Each film of Curiosity focuses on a single scientist and tells the story of how they became a scientist by interweaving elements of their personal life together with the successes and failures they encounter in their scientific work. Our intended audience includes scientists and non-scientists with little or no previous exposure to quantum physics or science. The pilot of the series, SUPERPOSITION, is a 25-minute film about a graduate student in quantum physics at the University of Chicago. To evaluate the success of this film, it was screened to several audiences covering most age groups, and audience members were requested to fill out a detailed anonymous survey after the viewing. Via these surveys, viewers reported an increased interest in science and a connection to the personal story of the graduate student that was purposefully woven throughout the film.


title: A Review on Internet of Things for Defense and Public Safety

abstract: The Internet of Things (IoT) is undeniably transforming the way that organizations communicate and organize everyday businesses and industrial procedures. Its adoption has proven well suited for sectors that manage a large number of assets and coordinate complex and distributed processes. This survey analyzes the great potential for applying IoT technologies (i.e., data-driven applications or embedded automation and intelligent adaptive systems) to revolutionize modern warfare and provide benefits similar to those in industry. It identifies scenarios where Defense and Public Safety (PS) could leverage better commercial IoT capabilities to deliver greater survivability to the warfighter or first responders, while reducing costs and increasing operation efficiency and effectiveness. This article reviews the main tactical requirements and the architecture, examining gaps and shortcomings in existing IoT systems across the military field and mission-critical scenarios. The review characterizes the open challenges for a broad deployment and presents a research roadmap for enabling an affordable IoT for defense and PS.


title: Understanding and Counteracting Feature-Level Bias in Click-Through Rate Prediction

abstract: Common click-through rate (CTR) prediction recommender models tend to exhibit feature-level bias, which leads to unfair recommendations among item groups and inaccurate recommendations for users. While existing methods address this issue by adjusting the learning of CTR models, such as through additional optimization objectives, they fail to consider how the bias is caused within these models. To address this research gap, our study performs a top-down analysis on representative CTR models. Through blocking different components of a trained CTR model one by one, we identify the key contribution of the linear component to feature-level bias. We conduct a theoretical analysis of the learning process for the weights in the linear component, revealing how group-wise properties of training data influence them. Our experimental and statistical analyses demonstrate a strong correlation between imbalanced positive sample ratios across item groups and feature-level bias. Based on this understanding, we propose a minimally invasive yet effective strategy to counteract feature-level bias in CTR models by removing the biased linear weights from trained models. Additionally, we present a linear weight adjusting strategy that requires fewer random exposure records than relevant debiasing methods. The superiority of our proposed strategies are validated through extensive experiments on three real-world datasets.


title: Rich representations and superrigidity

abstract: We investigate and compare applications of the Zilber-Pink conjecture and dynamical methods to rigidity problems for arithmetic real and complex hyperbolic lattices. Along the way we obtain new general results about reconstructing a variation of Hodge structures from its typical Hodge locus that may be of independent interest. Applications to Siu's immersion problem are also discussed.


title: Integration of 4D BIM and Robot Task Planning: Creation and Flow of Construction-Related Information for Action-Level Simulation of Indoor Wall Frame Installation

abstract: An obstacle toward construction robotization is the lack of methods to plan robot operations within the entire construction planning process. Despite the strength in modeling construction site conditions, 4D BIM technologies cannot perform construction robot task planning considering the contexts of given work environments. To address this limitation, this study presents a framework that integrates 4D BIM and robot task planning, presents an information flow for the integration, and performs high-level robot task planning and detailed simulation. The framework uniquely incorporates a construction robot knowledge base that derives robot-related modeling requirements to augment a 4D BIM model. Then, the 4D BIM model is converted into a robot simulation world where a robot performs a sequence of actions retrieving construction-related information. A case study focusing on the interior wall frame installation demonstrates the potential of systematic integration in achieving context-aware robot task planning and simulation in construction environments.


title: The asymptotic dimension of the grand arc graph is infinite

abstract: Let $\Sigma$ be a compact, orientable surface, and let $\Gamma$ be a relation on $\pi_0(\partial \Sigma)$ such that the prescribed arc graph $\mathcal{A}(\Sigma,\Gamma)$ is Gromov-hyperbolic and non-trivial. We show that $\text{asdim }\mathcal{A}(\Sigma,\Gamma) \geq -\chi(\Sigma) - 1$, from which we prove that the asymptotic dimension of the grand arc graph is infinite. More generally, we prove that any connected, Gromov-hyperbolic multiarc and curve graph $\mathcal{M}$ preserved by $\text{PMod}(\Sigma)$ with bounded geometric intersection over edges has $\text{asdim }\mathcal{M} \geq g - \lceil\frac{1}{2} \chi(\Sigma)\rceil$, and that a broad class of multiarc and curve graphs on infinite-type surfaces has infinite asymptotic dimension.


title: Injury Severity Analysis of Truck-Involved Crashes under Different Weather Conditions

abstract: This paper investigates truck-involved crashes to determine the statistically significant factors that contribute to injury severity under different weather conditions. The analysis uses crash data from the state of Ohio between 2011 and 2015 available from the Highway Safety Information System. To determine if weather conditions should be considered separately for truck safety analyses, parameter transferability tests are conducted; the results suggest that weather conditions should be modeled separately with a high level of statistical confidence. To this end, three separate mixed logit models are estimated for three different weather conditions: normal, rain and snow. The estimated models identify a variety of statistically significant factors influencing the injury severity. Different weather conditions are found to have different contributing effects on injury severity in truck-involved crashes. Rural, rear-end and sideswipe crash parameters were found to have significantly different levels of impact on injury severity. Based on the findings of this study, several countermeasures are suggested: 1) safety and enforcement programs should focus on female truck drivers, 2) a variable speed limit sign should be used to lower speeds of trucks during rainy condition, and 3) trucks should be restricted or prohibited on non-interstates during rainy and snowy conditions. These countermeasures could reduce the number and severity of truck-involved crashes under different weather conditions.


title: On the Weak Contractibility of the Space of Pure States

abstract: We prove that the space $\mathscr{P}(\mathfrak{A})$ of pure states of a nonelementary, simple, separable, real rank zero $C^*$-algebra $\mathfrak{A}$ has trivial homotopy groups of all orders when $\mathscr{P}(\mathfrak{A})$ is equipped with the weak* topology. The convex-valued and finite-dimensional selection theorems of Michael are used to deform a family of pure states via the action of a homotopy of unitaries so that the entire family evaluates to one on a given projection $P \in \mathfrak{A}$. Then, the excision theorem of Akemann, Anderson, and Pedersen is used to iterate this deformation for a sequence of projections in $\mathfrak{A}$ excising a base point of the family of pure states, thereby contracting the family to the base point. Finally, we compare our weak contractibility result to the spaces of pure states of commutative $C^*$-algebras and rational rotation algebras, and compute the homotopy groups of the latter in terms of the homotopy groups of spheres.

categories: math.OA math-ph math.AT math.FA math.GN math.MP


title: Shadow bound of black holes with dark matter halo

abstract: We investigate the shadow cast of black holes immersed in a dark matter halo. We use the M87* shadow data obtained by the EHT collaboration to constrain two parameters ($M,a$) of dark matter halo surrounding a black hole with mass $M_{\rm bh}$. For $a\ge10.8M$, we find the favored region (shadow bound), while the disfavored region is found for $a<10.8M$ when imposing the EHT results. This shadow bound is much less than the observation bound of galaxies ($a\ge 10^4 M$).


title: Improving Contextual Congruence Across Modalities for Effective Multimodal Marketing using Knowledge-infused Learning

abstract: The prevalence of smart devices with the ability to capture moments in multiple modalities has enabled users to experience multimodal information online. However, large Language (LLMs) and Vision models (LVMs) are still limited in capturing holistic meaning with cross-modal semantic relationships. Without explicit, common sense knowledge (e.g., as a knowledge graph), Visual Language Models (VLMs) only learn implicit representations by capturing high-level patterns in vast corpora, missing essential contextual cross-modal cues. In this work, we design a framework to couple explicit commonsense knowledge in the form of knowledge graphs with large VLMs to improve the performance of a downstream task, predicting the effectiveness of multi-modal marketing campaigns. While the marketing application provides a compelling metric for assessing our methods, our approach enables the early detection of likely persuasive multi-modal campaigns and the assessment and augmentation of marketing theory.


title: Sensitivity and Bandwidth of a Point-Source-Interferometry-based Inertial Measurement Unit Employing Large Momentum Transfer and Launched Atoms

abstract: We analyze theoretically the sensitivity of accelerometry and rotation sensing with a point source interferometer employing large momentum transfer (LMT) and present a design of an inertial measurement unit (IMU) that can measure rotation around and acceleration along each of the three axes. In this design, the launching technique is used to realize the LMT process without the need to physically change directions of the Raman pulses, thus significantly simplifying the apparatus. We also describe an explicit scheme for such an IMU.


title: A regularity theory for evolution equations with time-measurable pseudo-differential operators in weighted mixed-norm Sobolev-Lipschitz spaces

abstract: This paper investigates the existence, uniqueness, and regularity of solutions to evolution equations with time-measurable pseudo-differential operators in weighted mixed-norm Sobolev-Lipschitz spaces. We also explore trace embedding and continuity of solutions.


title: RAP: Retrieval-Augmented Planning with Contextual Memory for Multimodal LLM Agents

abstract: Owing to recent advancements, Large Language Models (LLMs) can now be deployed as agents for increasingly complex decision-making applications in areas including robotics, gaming, and API integration. However, reflecting past experiences in current decision-making processes, an innate human behavior, continues to pose significant challenges. Addressing this, we propose Retrieval-Augmented Planning (RAP) framework, designed to dynamically leverage past experiences corresponding to the current situation and context, thereby enhancing agents' planning capabilities. RAP distinguishes itself by being versatile: it excels in both text-only and multimodal environments, making it suitable for a wide range of tasks. Empirical evaluations demonstrate RAP's effectiveness, where it achieves SOTA performance in textual scenarios and notably enhances multimodal LLM agents' performance for embodied tasks. These results highlight RAP's potential in advancing the functionality and applicability of LLM agents in complex, real-world applications.


title: A back-to-back diode model applied to MoS2 van der Waals Schottky diodes

abstract: The use of metal van der Waals contacts and the implicit reduction in Fermi-level pinning in contacted semiconductors has led to remarkable device optimizations. For example, using graphene as an electrical contact allows for tunable Schottky barriers in transistors and barristors. In this study, we present a double Schottky barrier model and apply it to barrier tunable all van der Waals transistors. In a molybdenum disulfide (MoS$_2$) transistor with graphene and few-layer graphene contacts, we find that the model can be applied to extract Schottky barrier heights that agree with the Schottky-Mott rule from simple two-terminal current-voltage measurements at room temperature. Furthermore, we show tunability of the Schottky barrier \textit{in-situ} using a regional contact gate. Our results show that a basic back-to-back diode model, applied to two terminal measurements, can capture the diode properties of all-van-der-Waals transistors relatively well.


title: Privacy risk in GeoData: A survey

abstract: With the ubiquitous use of location-based services, large-scale individual-level location data has been widely collected through location-awareness devices. The exposure of location data constitutes a significant privacy risk to users as it can lead to de-anonymisation, the inference of sensitive information, and even physical threats. Geoprivacy concerns arise on the issues of user identity de-anonymisation and location exposure. In this survey, we analyse different geomasking techniques that have been proposed to protect the privacy of individuals in geodata. We present a taxonomy to characterise these techniques along different dimensions, and conduct a survey of geomasking techniques. We then highlight shortcomings of current techniques and discuss avenues for future research.


title: Multiphase gas in elliptical galaxies: the role of Type Ia supernovae

abstract: Massive elliptical galaxies harbor large amounts of hot gas ($T\gtrsim10^6~\mathrm{K}$) in their interstellar medium (ISM) but are typically quiescent in star formation. Active-galactic nuclei (AGNs) jets and Type Ia supernovae (SNIa) inject energy into the ISM which offsets its radiative losses and keeps it hot. SNIa deposit their energy locally within the galaxy compared to the larger few$\times10~\mathrm{kpc}$-scale AGN jets. In this study, we perform high-resolution ($512^3$) hydrodynamic simulations of a local ($1~\mathrm{kpc}^3$) density-stratified patch of massive galaxies' ISM. We include radiative cooling and shell-averaged volume heating, as well as randomly exploding SNIa. We study the effect of different fractions of supernova heating (with respect to the net cooling rate), different initial ISM density/entropy (which controls the thermal-instability growth time $t_\mathrm{ti}$) and different degrees of stratification (which affects the free-fall time $t_\mathrm{ff}$). We find that the SNIa drive predominantly compressive turbulence in the ISM with a velocity dispersion $\sigma_v$ up to $40~\mathrm{km}s^{-1}$ and logarithmic density dispersion $\sigma_s\sim0.2$--$0.4$. These fluctuations trigger multiphase condensation in regions of the ISM where $\min(t_\mathrm{ti})/t_\mathrm{ff}\lesssim 0.6\exp(6 \sigma_s)$, in agreement with theoretical expectations that large density fluctuations efficiently trigger multiphase gas formation. Since the SNIa rate is not self-adjusting, when the net cooling drops below the net heating rate the SNIa drive a hot wind which sweeps out most of the mass in our local model. Global simulations are required to assess the ultimate fate of this gas.


title: Bayesian Vector AutoRegression with Factorised Granger-Causal Graphs

abstract: We study the problem of automatically discovering Granger causal relations from observational multivariate time-series data.Vector autoregressive (VAR) models have been time-tested for this problem, including Bayesian variants and more recent developments using deep neural networks. Most existing VAR methods for Granger causality use sparsity-inducing penalties/priors or post-hoc thresholds to interpret their coefficients as Granger causal graphs. Instead, we propose a new Bayesian VAR model with a hierarchical factorised prior distribution over binary Granger causal graphs, separately from the VAR coefficients. We develop an efficient algorithm to infer the posterior over binary Granger causal graphs. Comprehensive experiments on synthetic, semi-synthetic, and climate data show that our method is more uncertainty aware, has less hyperparameters, and achieves better performance than competing approaches, especially in low-data regimes where there are less observations.


title: Vortex Stretching of Non-premixed, Diluted Hydrogen/Oxygen Flamelets

abstract: A three-dimensional flamelet model considering vortex stretching with unitary Lewis number is used to simulate diluted hydrogen-oxygen diffusion flames. Non-reacting nitrogen is used as the diluent gas in the fuel stream. Unitary Lewis number provides a common thermal and mass diffusivity from which to create scalar dissipation rate. Both stable and unstable branches of flammability curves (S-curves) are calculated with three vorticity levels and plotted against multiple input and output parameters. The description of the three-dimensional flamelet structure, allowing vorticity and variable density to produce a centrifugal effect, is seen to be necessary for an accurate determination of the water burning rate. Both maximum temperature and integrated water burning rate nearly collapse to a single curve when plotted versus maximum scalar dissipation rate but do not collapse when plotted versus the local maximum strain rate or the ambient strain rate; however, local strain rate and scalar dissipation rate depend strongly on vorticity and ambient strain rate. It is argued that the controlling inputs and natural parameters for a flamelet embedded in a turbulent eddy are the ambient vorticity and strain rate which are thus the natural parameterizing variables as opposed to local strain rate or scalar dissipation rate within the flame zone. Furthermore, established practices of the scaling of velocity derivatives exist in the literature while scaling laws for scalar gradients are sparse and unsubstantiated, further supporting the use of ambient parameterizing quantities.


title: Leveraging Large Language Models for Hybrid Workplace Decision Support

abstract: Large Language Models (LLMs) hold the potential to perform a variety of text processing tasks and provide textual explanations for proposed actions or decisions. In the era of hybrid work, LLMs can provide intelligent decision support for workers who are designing their hybrid work plans. In particular, they can offer suggestions and explanations to workers balancing numerous decision factors, thereby enhancing their work experience. In this paper, we present a decision support model for workspaces in hybrid work environments, leveraging the reasoning skill of LLMs. We first examine LLM's capability of making suitable workspace suggestions. We find that its reasoning extends beyond the guidelines in the prompt and the LLM can manage the trade-off among the available resources in the workspaces. We conduct an extensive user study to understand workers' decision process for workspace choices and evaluate the effectiveness of the system. We observe that a worker's decision could be influenced by the LLM's suggestions and explanations. The participants in our study find the system to be convenient, regardless of whether reasons are provided or not. Our results show that employees can benefit from the LLM-empowered system for their workspace selection in hybrid workplace.


title: Environment-Centric Learning Approach for Gait Synthesis in Terrestrial Soft Robots

abstract: Locomotion gaits are fundamental for control of soft terrestrial robots. However, synthesis of these gaits is challenging due to modeling of robot-environment interaction and lack of a mathematical framework. This work presents an environment-centric, data-driven and fault-tolerant probabilistic Model-Free Control (pMFC) framework that allows for soft multi-limb robots to learn from their environment and synthesize diverse sets of locomotion gaits for realizing open-loop control. Here, discretization of factors dominating robot-environment interactions enables an environment-specific graphical representation where the edges encode experimental locomotion data corresponding to the robot motion primitives. In this graph, locomotion gaits are defined as simple cycles that are transformation invariant, i.e., the locomotion is independent of the starting vertex of these periodic cycles. Gait synthesis, the problem of finding optimal locomotion gaits for a given substrate, is formulated as Binary Integer Linear Programming (BILP) problems with a linearized cost function, linear constraints, and iterative simple cycle detection. Experimentally, gaits are synthesized for varying robot-environment interactions. Variables include robot morphology - three-limb and four-limb robots, TerreSoRo-III and TerreSoRo-IV; substrate - rubber mat, whiteboard and carpet; and actuator functionality - simulated loss of robot limb actuation. On an average, gait synthesis improves the translation and rotation speeds by 82% and 97% respectively. The results highlight that data-driven methods are vital to soft robot locomotion control due to the significant influence of unexpected asymmetries in the system and the dependence of optimal gait sequences on the experimental robot-environment interaction.


title: Comparing Abstraction in Humans and Large Language Models Using Multimodal Serial Reproduction

abstract: Humans extract useful abstractions of the world from noisy sensory data. Serial reproduction allows us to study how people construe the world through a paradigm similar to the game of telephone, where one person observes a stimulus and reproduces it for the next to form a chain of reproductions. Past serial reproduction experiments typically employ a single sensory modality, but humans often communicate abstractions of the world to each other through language. To investigate the effect language on the formation of abstractions, we implement a novel multimodal serial reproduction framework by asking people who receive a visual stimulus to reproduce it in a linguistic format, and vice versa. We ran unimodal and multimodal chains with both humans and GPT-4 and find that adding language as a modality has a larger effect on human reproductions than GPT-4's. This suggests human visual and linguistic representations are more dissociable than those of GPT-4.


title: Milnor fibrations of arrangements with trivial algebraic monodromy

abstract: Each complex hyperplane arrangement gives rise to a Milnor fibration of its complement. Although the Betti numbers of the Milnor fiber $F$ can be expressed in terms of the jump loci for rank 1 local systems on the complement, explicit formulas are still lacking in full generality, even for $b_1(F)$. We study here the "generic" case (in which $b_1(F)$ is as small as possible), and look deeper into the algebraic topology of such Milnor fibrations with trivial algebraic monodromy. Our main focus is on the cohomology jump loci and the lower central series quotients of $\pi_1(F)$. In the process, we produce a pair of arrangements for which the respective Milnor fibers have the same Betti numbers, yet non-isomorphic fundamental groups: the difference is picked by the higher-depth characteristic varieties and by the Schur multipliers of the second nilpotent quotients.


title: Self-Discover: Large Language Models Self-Compose Reasoning Structures

abstract: We introduce SELF-DISCOVER, a general framework for LLMs to self-discover the task-intrinsic reasoning structures to tackle complex reasoning problems that are challenging for typical prompting methods. Core to the framework is a self-discovery process where LLMs select multiple atomic reasoning modules such as critical thinking and step-by-step thinking, and compose them into an explicit reasoning structure for LLMs to follow during decoding. SELF-DISCOVER substantially improves GPT-4 and PaLM 2's performance on challenging reasoning benchmarks such as BigBench-Hard, grounded agent reasoning, and MATH, by as much as 32% compared to Chain of Thought (CoT). Furthermore, SELF-DISCOVER outperforms inference-intensive methods such as CoT-Self-Consistency by more than 20%, while requiring 10-40x fewer inference compute. Finally, we show that the self-discovered reasoning structures are universally applicable across model families: from PaLM 2-L to GPT-4, and from GPT-4 to Llama2, and share commonalities with human reasoning patterns.


title: Neural Network Approximators for Marginal MAP in Probabilistic Circuits

abstract: Probabilistic circuits (PCs) such as sum-product networks efficiently represent large multi-variate probability distributions. They are preferred in practice over other probabilistic representations such as Bayesian and Markov networks because PCs can solve marginal inference (MAR) tasks in time that scales linearly in the size of the network. Unfortunately, the maximum-a-posteriori (MAP) and marginal MAP (MMAP) tasks remain NP-hard in these models. Inspired by the recent work on using neural networks for generating near-optimal solutions to optimization problems such as integer linear programming, we propose an approach that uses neural networks to approximate (M)MAP inference in PCs. The key idea in our approach is to approximate the cost of an assignment to the query variables using a continuous multilinear function, and then use the latter as a loss function. The two main benefits of our new method are that it is self-supervised and after the neural network is learned, it requires only linear time to output a solution. We evaluate our new approach on several benchmark datasets and show that it outperforms three competing linear time approximations, max-product inference, max-marginal inference and sequential estimation, which are used in practice to solve MMAP tasks in PCs.


title: Charmed hadron chemistry and flow in heavy and light ion collisions at the LHC

abstract: We study the charmed meson and baryon production and elliptic flow in ultra-relativistic nucleus-nucleus collisions at the LHC energies. The space-time evolution of quark-gluon plasma (QGP) produced in these energetic collisions is obtained via the (3+1)-dimensional CLVisc hydrodynamics model, the heavy quark dynamics inside the QGP is simulated using an improved Langevin model that incorporates both elastic and inelastic parton energy loss processes, and the heavy quark hadronization is simulated utilizing a comprehensive coalescence-fragmentation model. Using our combined approach, we first calculate charmed hadron ratios, $\Lambda_c/D^0$ and $D_s/D^0$, as well as their elliptic flow ($v_2$) as a function of transverse momentum ($p_T$) for different centralities in Pb+Pb collisions at $\sqrt{s_{NN}}=5.02$~TeV. Due to strangeness enhancement and parton coalescence effects, $D_s/D^0$ and $\Lambda_c/D^0$ ratios increase from peripheral to central collisions, and such centrality dependence for $\Lambda_c/D^0$ is stronger than $D_s/D^0$. We further predict the $p_T$ and centrality dependences of charmed hadron chemistry and $v_2$ in smaller Xe+Xe, Ar+Ar and O+O collisions at the LHC energies. Strong centrality and system size dependences for $\Lambda_c/D^0$ and $D_s/D^0$ ratios are observed across four collision systems. As for charmed hadron flow, both system size and collision geometry are important to understand the centrality dependence of $v_2$ in different collision systems. Our study provides a significant reference for studying heavy quark evolution and hadronizaiton in large and small systems in relativistic nuclear collisions.


title: Collapse of Landau level in semi-Dirac materials

abstract: Two-dimensional semi-Dirac models describe a family of novel materials that have anisotropic dispersion with relativistic-type spectrum along one of the spatial directions and non-relativistic along another. In the present paper we perform a detailed analysis of Landau levels collapse for such models in perpendicular magnetic field and in-plane electric field by using semi-classical approach and tight-binding simulations. The anisotropic nature of semi-Dirac dispersion manifests itself in the possibility of Landau level collapse for only one of the electric field directions. In addition, the topological transition with merging Dirac cones has its own distinct features in Landau level collapse.


title: QQMR: A Structure-Preserving Quaternion Quasi-Minimal Residual Method for Non-Hermitian Quaternion Linear Systems

abstract: The quaternion biconjugate gradient (QBiCG) method, as a novel variant of quaternion Lanczos-type methods for solving the non-Hermitian quaternion linear systems, does not yield a minimization property. This means that the method possesses a rather irregular convergence behavior, which leads to numerical instability. In this paper, we propose a new structure-preserving quaternion quasi-minimal residual method, based on the quaternion biconjugate orthonormalization procedure with coupled two-term recurrences, which overcomes the drawback of QBiCG. The computational cost and storage required by the proposed method are much less than the traditional QMR iterations for the real representation of quaternion linear systems. Some convergence properties of which are also established. Finally, we report the numerical results to show the robustness and effectiveness of the proposed method compared with QBiCG.


title: Convex Relaxations of ReLU Neural Networks Approximate Global Optima in Polynomial Time

abstract: In this paper, we study the optimality gap between two-layer ReLU networks regularized with weight decay and their convex relaxations. We show that when the training data is random, the relative optimality gap between the original problem and its relaxation can be bounded by a factor of O(log n^0.5), where n is the number of training samples. A simple application leads to a tractable polynomial-time algorithm that is guaranteed to solve the original non-convex problem up to a logarithmic factor. Moreover, under mild assumptions, we show that local gradient methods converge to a point with low training loss with high probability. Our result is an exponential improvement compared to existing results and sheds new light on understanding why local gradient methods work well.


title: Introducing the BRAHMA simulation suite: Signatures of low mass black hole seeding models in cosmological simulations

abstract: The first "seeds" of supermassive black holes (BH) can range from $\sim10^2-10^6~M_{\odot}$. However, the lowest mass seeds ($\lesssim10^3 M_{\odot}$) are inaccessible to most cosmological simulations due to resolution limitations. We present our new BRAHMA suite of cosmological simulations that uses a novel flexible seeding approach to represent low mass seeds. Our suite consists of two types of boxes that model $\sim10^3~M_{\odot}$ seeds using two distinct but mutually consistent seeding prescriptions at different simulation resolutions. First, we have the highest resolution $[9~\mathrm{Mpc}]^3$ (BRAHMA-9-D3) boxes that directly resolve $\sim10^3~M_{\odot}$ seeds and place them within halos with dense and metal poor gas. Second, we have lower-resolution and larger-volume $[18~\mathrm{Mpc}]^3$ (BRAHMA-18-E4) and $\sim[36~\mathrm{Mpc}]^3$ (BRAHMA-36-E5) boxes that seed their smallest resolvable $\sim10^4~\&~10^5~\mathrm{M_{\odot}}$ BH descendants using new stochastic seeding prescriptions calibrated using the BRAHMA-9-D3 results. The three boxes together probe BHs between $\sim10^3-10^7 M_{\odot}$ at $z>7$ and we predict their key observables. The variation in the AGN luminosity functions is small (factors of $\sim2-3$) at the anticipated detection limits of potential future X-ray facilities ($\sim10^{43} \mathrm{ergs~s^{-1}}$ at $z\sim7$). Our simulations predict BHs $\sim10-100$ times heavier than expectations from local $M_*$ vs $M_{bh}$ relations, consistent with several JWST-detected AGN. For different seed models, our simulations merge BH binaries at $\sim1-15~\mathrm{kpc}$, with rates of $\sim200-2000$ per year for $\gtrsim10^3 M_{\odot}$ BHs, $\sim6-60$ per year for $\gtrsim10^4~M_{\odot}$ BHs, and up to $\sim10$ per year amongst $\gtrsim10^5 M_{\odot}$ BHs. These results suggest that the LISA mission has promising prospects for constraining seed models.


title: Partially Recentralization Softmax Loss for Vision-Language Models Robustness

abstract: As Large Language Models make a breakthrough in natural language processing tasks (NLP), multimodal technique becomes extremely popular. However, it has been shown that multimodal NLP are vulnerable to adversarial attacks, where the outputs of a model can be dramatically changed by a perturbation to the input. While several defense techniques have been proposed both in computer vision and NLP models, the multimodal robustness of models have not been fully explored. In this paper, we study the adversarial robustness provided by modifying loss function of pre-trained multimodal models, by restricting top K softmax outputs. Based on the evaluation and scoring, our experiments show that after a fine-tuning, adversarial robustness of pre-trained models can be significantly improved, against popular attacks. Further research should be studying, such as output diversity, generalization and the robustness-performance trade-off of this kind of loss functions. Our code will be available after this paper is accepted


title: Professional Agents -- Evolving Large Language Models into Autonomous Experts with Human-Level Competencies

abstract: The advent of large language models (LLMs) such as ChatGPT, PaLM, and GPT-4 has catalyzed remarkable advances in natural language processing, demonstrating human-like language fluency and reasoning capacities. This position paper introduces the concept of Professional Agents (PAgents), an application framework harnessing LLM capabilities to create autonomous agents with controllable, specialized, interactive, and professional-level competencies. We posit that PAgents can reshape professional services through continuously developed expertise. Our proposed PAgents framework entails a tri-layered architecture for genesis, evolution, and synergy: a base tool layer, a middle agent layer, and a top synergy layer. This paper aims to spur discourse on promising real-world applications of LLMs. We argue the increasing sophistication and integration of PAgents could lead to AI systems exhibiting professional mastery over complex domains, serving critical needs, and potentially achieving artificial general intelligence.


title: Disparate Impact on Group Accuracy of Linearization for Private Inference

abstract: Ensuring privacy-preserving inference on cryptographically secure data is a well-known computational challenge. To alleviate the bottleneck of costly cryptographic computations in non-linear activations, recent methods have suggested linearizing a targeted portion of these activations in neural networks. This technique results in significantly reduced runtimes with often negligible impacts on accuracy. In this paper, we demonstrate that such computational benefits may lead to increased fairness costs. Specifically, we find that reducing the number of ReLU activations disproportionately decreases the accuracy for minority groups compared to majority groups. To explain these observations, we provide a mathematical interpretation under restricted assumptions about the nature of the decision boundary, while also showing the prevalence of this problem across widely used datasets and architectures. Finally, we show how a simple procedure altering the fine-tuning step for linearized models can serve as an effective mitigation strategy.


title: Enhancing LLM-Based Coding Tools through Native Integration of IDE-Derived Static Context

abstract: Large Language Models (LLMs) have achieved remarkable success in code completion, as evidenced by their essential roles in developing code assistant services such as Copilot. Being trained on in-file contexts, current LLMs are quite effective in completing code for single source files. However, it is challenging for them to conduct repository-level code completion for large software projects that require cross-file information. Existing research on LLM-based repository-level code completion identifies and integrates cross-file contexts, but it suffers from low accuracy and limited context length of LLMs. In this paper, we argue that Integrated Development Environments (IDEs) can provide direct, accurate and real-time cross-file information for repository-level code completion. We propose IDECoder, a practical framework that leverages IDE native static contexts for cross-context construction and diagnosis results for self-refinement. IDECoder utilizes the rich cross-context information available in IDEs to enhance the capabilities of LLMs of repository-level code completion. We conducted preliminary experiments to validate the performance of IDECoder and observed that this synergy represents a promising trend for future exploration.


title: Conditional Tuning Network for Few-Shot Adaptation of Segmentation Anything Model

abstract: The recent Segment Anything Model (SAM) has demonstrated remarkable zero-shot capability and flexible geometric prompting in general image segmentation. However, SAM often struggles when handling various unconventional images, such as aerial, medical, and non-RGB images. This paper presents CAT-SAM, a ConditionAl Tuning network that adapts SAM toward various unconventional target tasks with just few-shot target samples. CAT-SAM freezes the entire SAM and adapts its mask decoder and image encoder simultaneously with a small number of learnable parameters. The core design is a prompt bridge structure that enables decoder-conditioned joint tuning of the heavyweight image encoder and the lightweight mask decoder. The bridging maps the prompt token of the mask decoder to the image encoder, fostering synergic adaptation of the encoder and the decoder with mutual benefits. We develop two representative tuning strategies for the image encoder which leads to two CAT-SAM variants: one injecting learnable prompt tokens in the input space and the other inserting lightweight adapter networks. Extensive experiments over 11 unconventional tasks show that both CAT-SAM variants achieve superior target segmentation performance consistently even under the very challenging one-shot adaptation setup. Project page: https://xiaoaoran.github.io/projects/CAT-SAM


title: Development of axion haloscopes for high-mass search at CAPP

abstract: The axion offers a well-motivated solution to two fundamental questions in modern physics: the strong CP problem and the dark matter mystery. Cavity haloscopes, exploiting resonant enhancement of photon signals, provide the most sensitive searches for axion dark matter in the microwave region. However, current experimental sensitivities are limited to the O(10^0) ueV range, while recent theoretical predictions for the axion mass favor up to O(10^2) ueV, suggesting the need of new experimental approaches that are suitable for higher mass regions. CAPP has developed/proposed several haloscopes effective for high-mass axion searches based on new cavity concepts and practical tuning mechanisms. They are characterized by large detection volumes and/or high quality factors at high frequencies, achieved by partitioning a single cavity into multiple cells, exploiting higher-order resonant modes, and constructing dielectric photonic crystal structures. Improving on the dish antenna haloscope scheme, a horn antenna array has also been proposed for volume-efficient broadband search in the THz region. We review these haloscope designs for sensitive search in the high-mass regions and discuss their impacts on future experiments.


title: Lossy Cryptography from Code-Based Assumptions

abstract: Over the past few decades, we have seen a proliferation of advanced cryptographic primitives with lossy or homomorphic properties built from various assumptions such as Quadratic Residuosity, Decisional Diffie-Hellman, and Learning with Errors. These primitives imply hard problems in the complexity class $SZK$ (statistical zero-knowledge); as a consequence, they can only be based on assumptions that are broken in $BPP^{SZK}$. This poses a barrier for building advanced primitives from code-based assumptions, as the only known such assumption is Learning Parity with Noise (LPN) with an extremely low noise rate $\frac{\log^2 n}{n}$, which is broken in quasi-polynomial time. In this work, we propose a new code-based assumption: Dense-Sparse LPN, that falls in the complexity class $BPP^{SZK}$ and is conjectured to be secure against subexponential time adversaries. Our assumption is a variant of LPN that is inspired by McEliece's cryptosystem and random $k\mbox{-}$XOR in average-case complexity. We leverage our assumption to build lossy trapdoor functions (Peikert-Waters STOC 08). This gives the first post-quantum alternative to the lattice-based construction in the original paper. Lossy trapdoor functions, being a fundamental cryptographic tool, are known to enable a broad spectrum of both lossy and non-lossy cryptographic primitives; our construction thus implies these primitives in a generic manner. In particular, we achieve collision-resistant hash functions with plausible subexponential security, improving over a prior construction from LPN with noise rate $\frac{\log^2 n}{n}$ that is only quasi-polynomially secure.


title: Ray Denoising: Depth-aware Hard Negative Sampling for Multi-view 3D Object Detection

abstract: Multi-view 3D object detection systems often struggle with generating precise predictions due to the challenges in estimating depth from images, increasing redundant and incorrect detections. Our paper presents Ray Denoising, an innovative method that enhances detection accuracy by strategically sampling along camera rays to construct hard negative examples. These examples, visually challenging to differentiate from true positives, compel the model to learn depth-aware features, thereby improving its capacity to distinguish between true and false positives. Ray Denoising is designed as a plug-and-play module, compatible with any DETR-style multi-view 3D detectors, and it only minimally increases training computational costs without affecting inference speed. Our comprehensive experiments, including detailed ablation studies, consistently demonstrate that Ray Denoising outperforms strong baselines across multiple datasets. It achieves a 1.9\% improvement in mean Average Precision (mAP) over the state-of-the-art StreamPETR method on the NuScenes dataset. It shows significant performance gains on the Argoverse 2 dataset, highlighting its generalization capability. The code will be available at https://github.com/LiewFeng/RayDN.


title: Retrieval Augmented Cross-Modal Tag Recommendation in Software Q&A Sites

abstract: Posts in software Q\&A sites often consist of three main parts: title, description and code, which are interconnected and jointly describe the question. Existing tag recommendation methods often treat different modalities as a whole or inadequately consider the interaction between different modalities. Additionally, they focus on extracting information directly from the post itself, neglecting the information from external knowledge sources. Therefore, we propose a Retrieval Augmented Cross-Modal (RACM) Tag Recommendation Model in Software Q\&A Sites. Specifically, we first use the input post as a query and enhance the representation of different modalities by retrieving information from external knowledge sources. For the retrieval-augmented representations, we employ a cross-modal context-aware attention to leverage the main modality description for targeted feature extraction across the submodalities title and code. In the fusion process, a gate mechanism is employed to achieve fine-grained feature selection, controlling the amount of information extracted from the submodalities. Finally, the fused information is used for tag recommendation. Experimental results on three real-world datasets demonstrate that our model outperforms the state-of-the-art counterparts.


title: Online Informative Sampling using Semantic Features in Underwater Environments

abstract: The underwater world remains largely unexplored, with Autonomous Underwater Vehicles (AUVs) playing a crucial role in sub-sea explorations. However, continuous monitoring of underwater environments using AUVs can generate a significant amount of data. In addition, sending live data feed from an underwater environment requires dedicated on-board data storage options for AUVs which can hinder requirements of other higher priority tasks. Informative sampling techniques offer a solution by condensing observations. In this paper, we present a semantically-aware online informative sampling (ON-IS) approach which samples an AUV's visual experience in real-time. Specifically, we obtain visual features from a fine-tuned object detection model to align the sampling outcomes with the desired semantic information. Our contributions are (a) a novel Semantic Online Informative Sampling (SON-IS) algorithm, (b) a user study to validate the proposed approach and (c) a novel evaluation metric to score our proposed algorithm with respect to the suggested samples by human subjects


title: Towards the quantum exceptional series

abstract: We find a single two-parameter skein relation on trivalent graphs, the quantum exceptional relation, that specializes to a skein relation associated to each exceptional Lie algebra (in the adjoint representation). If a slight strengthening of Deligne's conjecture on the existence of a (classical) exceptional series is true, then this relation holds for a new two-variable quantum exceptional polynomial, at least as a power series near $q=1$. The single quantum exceptional relation can be viewed as a deformation of the Jacobi relation, and implies a deformation of the Vogel relation that motivated the conjecture on the classical exceptional series. We find a conjectural basis for the space of diagrams with $n$ loose ends modulo the quantum exceptional relation for $n \le 6$, with dimensions agreeing with the classical computations, and compute the matrix of inner products, and the quantum dimensions of idempotents. We use the skein relation to compute the conjectural quantum exceptional polynomial for many knots. In particular we determine (unconditionally) the values of the quantum polynomials for the exceptional Lie algebras on these knots. We can perform these computations for all links of Conway width less than $6$, which includes all prime knots with 12 or fewer crossings. Finally, we prove several specialization results relating our conjectural family to certain quantum group categories, and conjecture a number of exceptional analogues of level-rank duality.


title: On Purely Macroscopic Theory of Rigid Semiconductors Constructed from Multi-Continuum Model

abstract: A complete and systematic derivation of the purely macroscopic theory of rigid semiconductors is given. It is based on a five-continuum model of charged and interpenetrating continua, and the applications of the relevant laws of physics to the continua. The theory is within the quasistatic approximation of electrostatics and is limited to nonmagnetizable materials.


title: A Short Intense Dynamo at the Onset of Crystallization in White Dwarfs

abstract: The origin of large magnetic fields ($\gtrsim 10^6~\mathrm{G}$) in isolated white dwarfs is not clear. One possible explanation is that crystallization of the star's core drives compositional convection, which when combined with the star's rotation, can drive a dynamo. However, whether convection is efficient enough to explain the large intensity of the observed magnetic fields is still under debate. Recent work has shown that convection in cooling white dwarfs spans two regimes: efficient convection at the onset of crystallization, and thermohaline convection during most of the star's cooling history. Here, we calculate the properties of crystallization-driven convection for cooling models of several white dwarfs of different masses. We combine mixing-length theory with scalings from magneto-rotational convection to estimate the typical magnitude of the convective velocity and induced magnetic field for both scenarios. In the thermohaline regime, we find velocities $\sim 10^{-6}$--$10^{-5}~\mathrm{cm~s^{-1}}$, with fields restricted to $\lesssim~100~\mathrm{G}$. However, when convection is efficient, the flow velocity can reach magnitudes of $\sim 10^2$--$10^3~\mathrm{cm~s^{-1}}$, with fields of $\sim 10^6$--$10^8~\mathrm{G}$, independent of the star's rotation rate. Thus, dynamos driven at the onset of crystallization could explain the large intensity magnetic fields measured for single white dwarfs.


title: torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

abstract: The remarkable achievements of machine learning techniques in analyzing discrete structures have drawn significant attention towards their integration into combinatorial optimization algorithms. Typically, these methodologies improve existing solvers by injecting learned models within the solving loop to enhance the efficiency of the search process. In this work, we derive a single differentiable function capable of approximating solutions for the Maximum Satisfiability Problem (MaxSAT). Then, we present a novel neural network architecture to model our differentiable function, and progressively solve MaxSAT using backpropagation. This approach eliminates the need for labeled data or a neural network training phase, as the training process functions as the solving algorithm. Additionally, we leverage the computational power of GPUs to accelerate these computations. Experimental results on challenging MaxSAT instances show that our proposed methodology outperforms two existing MaxSAT solvers, and is on par with another in terms of solution cost, without necessitating any training or access to an underlying SAT solver. Given that numerous NP-hard problems can be reduced to MaxSAT, our novel technique paves the way for a new generation of solvers poised to benefit from neural network GPU acceleration.


title: Stable BDF time discretization of BGN-based parametric finite element methods for geometric flows

abstract: We propose a novel class of temporal high-order parametric finite element methods for solving a wide range of geometric flows of curves and surfaces. By incorporating the backward differentiation formulae (BDF) for time discretization into the BGN formulation, originally proposed by Barrett, Garcke, and N\"urnberg (J. Comput. Phys., 222 (2007), pp.~441--467), we successfully develop high-order BGN/BDF$k$ schemes. The proposed BGN/BDF$k$ schemes not only retain almost all the advantages of the classical first-order BGN scheme such as computational efficiency and good mesh quality, but also exhibit the desired $k$th-order temporal accuracy in terms of shape metrics, ranging from second-order to fourth-order accuracy. Furthermore, we validate the performance of our proposed BGN/BDF$k$ schemes through extensive numerical examples, demonstrating their high-order temporal accuracy for various types of geometric flows while maintaining good mesh quality throughout the evolution.


title: Stanceosaurus 2.0: Classifying Stance Towards Russian and Spanish Misinformation

abstract: The Stanceosaurus corpus (Zheng et al., 2022) was designed to provide high-quality, annotated, 5-way stance data extracted from Twitter, suitable for analyzing cross-cultural and cross-lingual misinformation. In the Stanceosaurus 2.0 iteration, we extend this framework to encompass Russian and Spanish. The former is of current significance due to prevalent misinformation amid escalating tensions with the West and the violent incursion into Ukraine. The latter, meanwhile, represents an enormous community that has been largely overlooked on major social media platforms. By incorporating an additional 3,874 Spanish and Russian tweets over 41 misinformation claims, our objective is to support research focused on these issues. To demonstrate the value of this data, we employed zero-shot cross-lingual transfer on multilingual BERT, yielding results on par with the initial Stanceosaurus study with a macro F1 score of 43 for both languages. This underlines the viability of stance classification as an effective tool for identifying multicultural misinformation.


title: Generating functions for fixed points of the Mullineux map

abstract: Mullineux defined an involution on the set of $e$-regular partitions of $n$. When $e=p$ is prime, these partitions label irreducible symmetric group modules in characteristic $p$. Mullineux's conjecture, since proven, was that this ``Mullineux map" described the effect on the labels of taking the tensor product with the one-dimensional signature representation. Counting irreducible modules fixed by this tensor product is related to counting irreducible modules for the alternating group $A_n$ in prime characteristic. In 1991, Andrews and Olsson worked out the generating function counting fixed points of Mullineux's map when $e=p$ is an odd prime (providing evidence in support of Mullineux's conjecture). In 1998, Bessenrodt and Olsson counted the fixed points in a $p$-block of weight $w$. We extend both results to arbitrary $e$, and determine the corresponding generating functions. When $e$ is odd but not prime the extension is immediate, while $e$ even requires additional work and the results, which are different, have not appeared in the literature.