title: Lexical Repetitions Lead to Rote Learning: Unveiling the Impact of Lexical Overlap in Train and Test Reference Summaries

abstract: Ideal summarization models should generalize to novel summary-worthy content without remembering reference training summaries by rote. However, a single average performance score on the entire test set is inadequate in determining such model competencies. We propose a fine-grained evaluation protocol by partitioning a test set based on the lexical similarity of reference test summaries with training summaries. We observe up to a 5x (1.2x) difference in ROUGE-2 (entity recall) scores between the subsets with the lowest and highest similarity. Next, we show that such training repetitions also make a model vulnerable to rote learning, reproducing data artifacts such as factual errors, especially when reference test summaries are lexically close to training summaries. Consequently, we propose to limit lexical repetitions in training summaries during both supervised fine-tuning and likelihood calibration stages to improve the performance on novel test cases while retaining average performance. Our automatic and human evaluations on novel test subsets and recent news articles show that limiting lexical repetitions in training summaries can prevent rote learning and improve generalization.


title: On Convex Optimal Value Functions For POSGs

abstract: Multi-agent planning and reinforcement learning can be challenging when agents cannot see the state of the world or communicate with each other due to communication costs, latency, or noise. Partially Observable Stochastic Games (POSGs) provide a mathematical framework for modelling such scenarios. This paper aims to improve the efficiency of planning and reinforcement learning algorithms for POSGs by identifying the underlying structure of optimal state-value functions. The approach involves reformulating the original game from the perspective of a trusted third party who plans on behalf of the agents simultaneously. From this viewpoint, the original POSGs can be viewed as Markov games where states are occupancy states, \ie posterior probability distributions over the hidden states of the world and the stream of actions and observations that agents have experienced so far. This study mainly proves that the optimal state-value function is a convex function of occupancy states expressed on an appropriate basis in all zero-sum, common-payoff, and Stackelberg POSGs.


title: Near-Optimal Streaming Ellipsoidal Rounding for General Convex Polytopes

abstract: We give near-optimal algorithms for computing an ellipsoidal rounding of a convex polytope whose vertices are given in a stream. The approximation factor is linear in the dimension (as in John's theorem) and only loses an excess logarithmic factor in the aspect ratio of the polytope. Our algorithms are nearly optimal in two senses: first, their runtimes nearly match those of the most efficient known algorithms for the offline version of the problem. Second, their approximation factors nearly match a lower bound we show against a natural class of geometric streaming algorithms. In contrast to existing works in the streaming setting that compute ellipsoidal roundings only for centrally symmetric convex polytopes, our algorithms apply to general convex polytopes. We also show how to use our algorithms to construct coresets from a stream of points that approximately preserve both the ellipsoidal rounding and the convex hull of the original set of points.


title: Outer Lipschitz Classification of Normal Pairs of H\"older Triangles

abstract: A normal pair of H\"older triangles is the union of two normally embedded H\"older triangles satisfying some natural conditions on the tangency orders of their boundary arcs. It is a special case of a surface germ, a germ at the origin of a two-dimensional closed semialgebraic (or, more general, definable in a polynomially bounded o-minimal structure) subset of $R^n$. Classification of normal pairs considered in this paper is a step towards outer Lipschitz classification of definable surface germs. In the paper \cite{BG} we introduced a combinatorial invariant of the outer Lipschitz equivalence class of normal pairs, called $\sigma\tau$-pizza, and conjectured that it is complete: two normal pairs of H\"older triangles with the same $\sigma\tau$-pizzas are outer Lipschitz equivalent. In this paper we prove that conjecture and define realizability conditions for the $\sigma\tau$-pizza invariant. Moreover, only one of the two pizzas in the $\sigma\tau$-pizza invariant, together with some admissible permutations related to $\sigma$ and $\tau$, is sufficient for the existence and uniqueness, up to outer Lipschitz equivalence, of a normal pair of H\"older triangles.


title: Software-Defined Virtual Synchronous Condenser

abstract: Synchronous condensers (SCs) play important roles in integrating wind energy into relatively weak power grids. However, the design of SCs usually depends on specific application requirements and may not be adaptive enough to the frequently-changing grid conditions caused by the transition from conventional to renewable power generation. This paper devises a software-defined virtual synchronous condenser (SDViSC) method to address the challenges. Our contributions are fourfold: 1) design of a virtual synchronous condenser (ViSC) to enable full converter wind turbines to provide built-in SC functionalities; 2) engineering SDViSCs to transfer hardware-based ViSC controllers into software services, where a Tustin transformation-based software-defined control algorithm guarantees accurate tracking of fast dynamics under limited communication bandwidth; 3) a software-defined networking-enhanced SDViSC communication scheme to allow enhanced communication reliability and reduced communication bandwidth occupation; and 4) Prototype of SDViSC on our real-time, cyber-in-the-loop digital twin of large-wind-farm in an RTDS environment. Extensive test results validate the excellent performance of SDViSC to support reliable and resilient operations of wind farms under various physical and cyber conditions.


title: Fourier restriction and well-approximable numbers

abstract: We use a deterministic construction to prove the optimality of the exponent in the Mockenhaupt-Mitsis-Bak-Seeger Fourier restriction theorem for dimension $d=1$ and parameter range $0 < a,b \leq d$ and $b\leq 2a$. Previous constructions by Hambrook and Laba and Chen required randomness and only covered the range $0 < b \leq a \leq d=1$. We also resolve a question of Seeger about the Fourier restriction inequality on the sets of well-approximable numbers.


title: On the Riemann Hypothesis and Hilbert's Tenth Problem

abstract: The Riemann hypothesis is one of the most famous unresolved problems in modern mathematics. The discussion here will present an overview of past methods that prove the Riemann hypothesis is a $\Pi_1^0$ sentence. We also end with some attempts towards showing the Elliott-Halberstam conjecture is $\Pi_1^0$.


title: A new stabilized time-spectral finite element solver for fast simulation of blood flow

abstract: The increasing application of cardiorespiratory simulations for diagnosis and surgical planning necessitates the development of computational methods significantly faster than the current technology. To achieve this objective, we leverage the time-periodic nature of these flows by discretizing equations in the frequency domain instead of the time domain. This approach markedly reduces the size of the discrete problem and, consequently, the simulation cost. With this motivation, we introduce a finite element method for simulating time-periodic flows that are physically stable. The proposed time-spectral method is formulated by augmenting the baseline Galerkin's method with a least-squares penalty term that is weighed by a positive-definite stabilization matrix. An error estimate is established for the convective-diffusive system, showing that the proposed method emulates the behavior of existing standard time methods including optimal convergence rate in diffusive regimes and stability in strong convection. This method is tested on a patient-specific Fontan model at nominal Reynolds and Womersley numbers of 500 and 10, respectively, demonstrating its ability to replicate conventional time simulation results using as few as 7 modes at 11% of the computational cost. Owing to its higher local-to-processor computation density, the proposed method also exhibits improved parallel scalability for fast simulation of time-critical applications.


title: Soft Matching Distance: A metric on neural representations that captures single-neuron tuning

abstract: Common measures of neural representational (dis)similarity are designed to be insensitive to rotations and reflections of the neural activation space. Motivated by the premise that the tuning of individual units may be important, there has been recent interest in developing stricter notions of representational (dis)similarity that require neurons to be individually matched across networks. When two networks have the same size (i.e. same number of neurons), a distance metric can be formulated by optimizing over neuron index permutations to maximize tuning curve alignment. However, it is not clear how to generalize this metric to measure distances between networks with different sizes. Here, we leverage a connection to optimal transport theory to derive a natural generalization based on "soft" permutations. The resulting metric is symmetric, satisfies the triangle inequality, and can be interpreted as a Wasserstein distance between two empirical distributions. Further, our proposed metric avoids counter-intuitive outcomes suffered by alternative approaches, and captures complementary geometric insights into neural representations that are entirely missed by rotation-invariant metrics.


title: Think While You Write: Hypothesis Verification Promotes Faithful Knowledge-to-Text Generation

abstract: Knowledge-to-text generators often struggle to faithfully generate descriptions for the input facts: they may produce hallucinations that contradict the input, or describe facts not present in the input. To reduce hallucinations, we propose a decoding-only method, TWEAK (Think While Effectively Articulating Knowledge), which can be integrated with any generator without retraining. TWEAK treats the generated sequences at each decoding step and its future sequences as hypotheses, and ranks each generation candidate based on the extent to which their hypotheses are supported by the input facts using a Hypothesis Verification Model (HVM). We first demonstrate the effectiveness of TWEAK by using a Natural Language Inference (NLI) model as the HVM and report improved faithfulness with a minimal impact on the quality. We then replace the NLI model with a task-specific HVM trained with a first-of-a-kind dataset, FATE (Fact-Aligned Textual Entailment), which pairs input facts with their original and perturbed descriptions. We test TWEAK with two generators, and the best TWEAK variants improve on average for the two models by 2.24/7.17 points in faithfulness (FactKB) in in/out-of-distribution evaluations, respectively, and with only a 0.14/0.32-point decline in quality (BERTScore).


title: Carbon Dioxide Emission Minimized Virtual Machine (VM) Placement in Cloud-Fog Network Architecture

abstract: Cloud computing has provided economies of scale, savings, and efficiency for both individual consumers and enterprises. Its key advantage is its ability to handle increasing amounts of data and provide functionality that gives users the ability to scale their computing resources, including processing, data storage, and networking capabilities. Virtual Machines (VM), enabled via virtualization technology, allow cloud service providers to deliver their services to users. This, however, results in increasing carbon dioxide emissions from increased energy use. This paper introduces a Mixed-Integer Linear Programming (MILP) model that investigates the VM placement, focusing on the British Telecom (BT) network topology, in a cloud-fog network architecture when renewable energy sources are introduced in the fog layer located near traffic-producing sources. VMs can be placed on nodes hosted on the core, metro, and access (fog) layers. We first investigate the effect of varying traffic on IP over WDM power consumption in the backbone network and the number of optical carrier signals to serve the traffic over a period of time. We later extend the model to consider the CO2-minimized optimal virtual machine placement given the sporadic traffic quantity, and the consideration of solar renewable energy sources placed in data centers located in the access (fog) layer throughout the day, imposed on the VM and the minimum workload requirement of the VM to maintain a service level agreement (SLA).


title: Clarify When Necessary: Resolving Ambiguity Through Interaction with LMs

abstract: Resolving ambiguities through interaction is a hallmark of natural language, and modeling this behavior is a core challenge in crafting AI assistants. In this work, we study such behavior in LMs by proposing a task-agnostic framework for resolving ambiguity by asking users clarifying questions. Our framework breaks down this objective into three subtasks: (1) determining when clarification is needed, (2) determining what clarifying question to ask, and (3) responding accurately with the new information gathered through clarification. We evaluate systems across three NLP applications: question answering, machine translation and natural language inference. For the first subtask, we present a novel uncertainty estimation approach, intent-sim, that determines the utility of querying for clarification by estimating the entropy over user intents. Our method consistently outperforms existing uncertainty estimation approaches at identifying predictions that will benefit from clarification. When only allowed to ask for clarification on 10% of examples, our system is able to double the performance gains over randomly selecting examples to clarify. Furthermore, we find that intent-sim is robust, demonstrating improvements across a wide range of NLP tasks and LMs. Together, our work lays foundation for studying clarifying interactions with LMs.


title: Impact of a block structure on the Lotka-Volterra model

abstract: The Lotka-Volterra (LV) model is a simple, robust, and versatile model used to describe large interacting systems such as food webs or microbiomes. The model consists of $n$ coupled differential equations linking the abundances of $n$ different species. We consider a large random interaction matrix with independent entries and a block variance profile. The $i$th diagonal block represents the intra-community interaction in community $i$, while the off-diagonal blocks represent the inter-community interactions. The variance remains constant within each block, but may vary across blocks. We investigate the important case of two communities of interacting species, study how interactions affect their respective equilibrium. We also describe equilibrium with feasibility (i.e., whether there exists an equilibrium with all species at non-zero abundances) and the existence of an attrition phenomenon (some species may vanish) within each community. Information about the general case of $b$ communities ($b> 2$) is provided in the appendix.


title: Kilonova Spectral Inverse Modelling with Simulation-Based Inference: An Amortized Neural Posterior Estimation Analysis

abstract: Kilonovae represent a category of astrophysical transients, identifiable as the electromagnetic observable counterparts associated with the coalescence events of binary systems comprising neutron stars and neutron star-black hole pairs. They act as probes for heavy-element nucleosynthesis in astrophysical environments. These studies rely on inference of the physical parameters (e.g., ejecta mass, velocity, composition) that describe kilonovae based on electromagnetic observations. This is a complex inverse problem typically addressed with sampling-based methods such as Markov-chain Monte Carlo (MCMC) or nested sampling algorithms. However, repeated inferences can be computationally expensive due to the sequential nature of these methods. This poses a significant challenge to ensuring the reliability and statistical validity of the posterior approximations and, thus, the inferred kilonova parameters themselves. We present a novel approach: Simulation-Based Inference (SBI) using simulations produced by KilonovaNet. Our method employs an ensemble of Amortized Neural Posterior Estimation (ANPE) with an embedding network to directly predict posterior distributions from simulated spectral energy distributions (SEDs). We take advantage of the quasi-instantaneous inference time of ANPE to demonstrate the reliability of our posterior approximations using diagnostics tools, including coverage diagnostic and posterior predictive checks. We further test our model with real observations from AT2017gfo, the only kilonova with multi-messenger data, demonstrating agreement with previous likelihood-based methods while reducing inference time down to a few seconds. The inference results produced by ANPE appear to be conservative and reliable, paving the way for testable and more efficient kilonova parameter inference.


title: Phases of the net-zero energy transition and strategies to achieve it

abstract: The net-zero energy transition is an extraordinary societal challenge. It requires a swift, radical and economy wide transformation. With the aim of informing research and policy, we identify general phases of this transition and the overarching strategies that may be brought to bear in tackling this challenge. Drawing from the literature on sustainability transition studies, we depict the net-zero energy transition as a non-linear, cumulative process that involves multiple, interdependent transitions in different sectors. Future emission targets can only be reached if policymaking will play a strong role in guiding these transitions. To understand the increasing complexity of the policy challenge, we distinguish four overlapping phases of development: emergence of low-carbon innovations, transition of a single sector (electricity), transitions of multiple sectors based on low-carbon electricity, and transitions in difficult-to-decarbonize sectors. We argue that each phase comes with new policy challenges on top of the already existing ones. Finally, we discuss the merits and limitations of five general strategies for decarbonization: efficiency improvement, low-carbon electrification, low-carbon fuels, negative emissions and "untapped demand-side approaches." While electrification has emerged as the dominant strategy, new low-carbon fuels (e.g., based on hydrogen) but also more radical changes (e.g., substitution of carbon-intensive products or lifestyle changes) merit further attention.


title: JAB: Joint Adversarial Prompting and Belief Augmentation

abstract: With the recent surge of language models in different applications, attention to safety and robustness of these models has gained significant importance. Here we introduce a joint framework in which we simultaneously probe and improve the robustness of a black-box target model via adversarial prompting and belief augmentation using iterative feedback loops. This framework utilizes an automated red teaming approach to probe the target model, along with a belief augmenter to generate instructions for the target model to improve its robustness to those adversarial probes. Importantly, the adversarial model and the belief generator leverage the feedback from past interactions to improve the effectiveness of the adversarial prompts and beliefs, respectively. In our experiments, we demonstrate that such a framework can reduce toxic content generation both in dynamic cases where an adversary directly interacts with a target model and static cases where we use a static benchmark dataset to evaluate our model.


title: Super- and subradiant dynamics of quantum emitters mediated by atomic matter waves

abstract: The cooperative modification of spontaneous radiative decay is a paradigmatic many-emitter effect in quantum optics. So far its experimental realization has involved interactions mediated by rapidly escaping photons that do not play an active role in the emitter dynamics. Here we explore cooperative dynamics of quantum emitters in an optical lattice that interact by radiating atomic matter waves. Using the ability to prepare weakly and strongly interacting many-body phases of excitations in an array of matter-wave emitters, we demonstrate directional super- and subradiance from a superfluid phase with tunable radiative phase lags, and directly access the buildup of coherence imprinted by the emitted radiation across a Mott insulator. We investigate the onset of cooperative dynamics for slow wave propagation and observe a coupling to collective bound states with radiation trapped at and between the emitters. Our results in open-system quantum electrodynamics establish ultracold matter waves as a versatile tool for studying many-body quantum optics in spatially extended and ordered systems.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: Super heavy dark matter from inflationary Schwinger production

abstract: We consider a simple setup with a dark sector containing dark electrons charged under an abelian $U(1)_D$ gauge symmetry. We show that if the massless dark photon associated to the $U(1)_D$ is produced during inflation in such a way as to form a classical dark electric field, then dark electron-positron pairs are also produced close to the end of inflation via the Schwinger mechanism. Their mass is larger than the Hubble scale so they are non-relativistic at production and remain so for the rest of their cosmic evolution following reheating. They can account for the dark matter abundance today in scenarios with a high scale of inflation and efficient reheating.This points to a very heavy mass for the dark electrons of order $10^{14}$ GeV. Even with a dark gauge coupling comparable to the visible one of electromagnetism, the dark electrons are so heavy that they do not thermalize with the dark photons throughout their cosmic history. Assuming negligible kinetic mixing with the visible $U(1)$ the dark electrons remain decoupled from the Standard Model thermal bath as well.


title: ARES: An Automated Evaluation Framework for Retrieval-Augmented Generation Systems

abstract: Evaluating retrieval-augmented generation (RAG) systems traditionally relies on hand annotations for input queries, passages to retrieve, and responses to generate. We introduce ARES, an Automated RAG Evaluation System, for evaluating RAG systems along the dimensions of context relevance, answer faithfulness, and answer relevance. By creating its own synthetic training data, ARES finetunes lightweight LM judges to assess the quality of individual RAG components. To mitigate potential prediction errors, ARES utilizes a small set of human-annotated datapoints for prediction-powered inference (PPI). Across eight different knowledge-intensive tasks in KILT, SuperGLUE, and AIS, ARES accurately evaluates RAG systems while using only a few hundred human annotations during evaluation. Furthermore, ARES judges remain effective across domain shifts, proving accurate even after changing the type of queries and/or documents used in the evaluated RAG systems. We make our code and datasets publicly available on Github.


title: Frozen Cheerios effect: Particle-particle interaction induced by an advancing solidification front

abstract: Particles at liquid interfaces have the tendency to cluster due to capillary forces competing to gravitational buoyancy (i.e., normal to the distorted free surface). This is known as the Cheerios effect. Here we experimentally and theoretically study the interaction between two submerged particles near an advancing water-ice interface during the freezing process. Particles that are thermally more conductive than water are observed to attract each other and form clusters once frozen. We call this feature the frozen Cheerios effect, where interactions are driven by alterations to the direction of the experienced repelling force (i.e., normal to the distorted isotherm). On the other hand, particles less conductive than water separate, highlighting the importance of thermal conduction during freezing. Based on existing models for single particle trapping in ice, we develop an understanding of multiple particle interaction. We find that the overall efficacy of the particle-particle interaction critically depends on the solidification front velocity. Our theory explains why the thermal conductivity mismatch between the particles and water dictates the attractive/repulsive nature of the particle-particle interaction.


title: First Sagittarius A* Event Horizon Telescope Results. V. Testing Astrophysical Models of the Galactic Center Black Hole

abstract: In this paper, we provide a first physical interpretation for the Event Horizon Telescope (EHT)'s 2017 observations of Sgr A*. Our main approach is to compare resolved EHT data at 230 GHz and unresolved non-EHT observations from radio to X-ray wavelengths to predictions from a library of models based on time-dependent general relativistic magnetohydrodynamics (GRMHD) simulations, including aligned, tilted, and stellar wind-fed simulations; radiative transfer is performed assuming both thermal and non-thermal electron distribution functions. We test the models against 11 constraints drawn from EHT 230 GHz data and observations at 86 GHz, 2.2 $\mu$m, and in the X-ray. All models fail at least one constraint. Light curve variability provides a particularly severe constraint, failing nearly all strongly magnetized (MAD) models and a large fraction of weakly magnetized (SANE) models. A number of models fail only the variability constraints. We identify a promising cluster of these models, which are MAD and have inclination $i \le$ 30$^\circ$. They have accretion rate $(5.2$-$9.5)\times10^{-9}M_\odot$yr$^{-1}$, bolometric luminosity $(6.8$--$9.2)\times10^{35}$ erg s$^{-1}$, and outflow power $(1.3$--$4.8)\times10^{38}$ erg s$^{-1}$. We also find that: all models with $i \ge$ 70$^\circ$ fail at least two constraints, as do all models with equal ion and electron temperature; exploratory, non-thermal model sets tend to have higher 2.2 $\mu$m flux density; the population of cold electrons is limited by X-ray constraints due to the risk of bremsstrahlung overproduction. Finally we discuss physical and numerical limitations of the models, highlighting the possible importance of kinetic effects and duration of the simulations.


title: First Sagittarius A* Event Horizon Telescope Results. III: Imaging of the Galactic Center Supermassive Black Hole

abstract: We present the first event-horizon-scale images and spatiotemporal analysis of Sgr A* taken with the Event Horizon Telescope in 2017 April at a wavelength of 1.3 mm. Imaging of Sgr A* has been conducted through surveys over a wide range of imaging assumptions using the classical CLEAN algorithm, regularized maximum likelihood methods, and a Bayesian posterior sampling method. Different prescriptions have been used to account for scattering effects by the interstellar medium towards the Galactic Center. Mitigation of the rapid intra-day variability that characterizes Sgr A* has been carried out through the addition of a "variability noise budget" in the observed visibilities, facilitating the reconstruction of static full-track images. Our static reconstructions of Sgr A* can be clustered into four representative morphologies that correspond to ring images with three different azimuthal brightness distributions, and a small cluster that contains diverse non-ring morphologies. Based on our extensive analysis of the effects of sparse $(u,v)$-coverage, source variability and interstellar scattering, as well as studies of simulated visibility data, we conclude that the Event Horizon Telescope Sgr A* data show compelling evidence for an image that is dominated by a bright ring of emission with a ring diameter of $\sim$ 50 $\mu$as, consistent with the expected "shadow" of a $4\times10^6 M_\odot$ black hole in the Galactic Center located at a distance of 8 kpc.


title: Show Your Work with Confidence: Confidence Bands for Tuning Curves

abstract: The choice of hyperparameters greatly impacts performance in natural language processing. Often, it is hard to tell if a method is better than another or just better tuned. Tuning curves fix this ambiguity by accounting for tuning effort. Specifically, they plot validation performance as a function of the number of hyperparameter choices tried so far. While several estimators exist for these curves, it is common to use point estimates, which we show fail silently and give contradictory results when given too little data. Beyond point estimates, confidence bands are necessary to rigorously establish the relationship between different approaches. We present the first method to construct valid confidence bands for tuning curves. The bands are exact, simultaneous, and distribution-free, thus they provide a robust basis for comparing methods. Empirical analysis shows that while bootstrap confidence bands, which serve as a baseline, fail to approximate their target confidence, ours achieve it exactly. We validate our design with ablations, analyze the effect of sample size, and provide guidance on comparing models with our method. To promote confident comparisons in future work, we release opda: an easy-to-use library that you can install with pip. https://github.com/nicholaslourie/opda


title: Personalized Jargon Identification for Enhanced Interdisciplinary Communication

abstract: Scientific jargon can impede researchers when they read materials from other domains. Current methods of jargon identification mainly use corpus-level familiarity indicators (e.g., Simple Wikipedia represents plain language). However, researchers' familiarity of a term can vary greatly based on their own background. We collect a dataset of over 10K term familiarity annotations from 11 computer science researchers for terms drawn from 100 paper abstracts. Analysis of this data reveals that jargon familiarity and information needs vary widely across annotators, even within the same sub-domain (e.g., NLP). We investigate features representing individual, sub-domain, and domain knowledge to predict individual jargon familiarity. We compare supervised and prompt-based approaches, finding that prompt-based methods including personal publications yields the highest accuracy, though zero-shot prompting provides a strong baseline. This research offers insight into features and methods to integrate personal data into scientific jargon identification.


title: Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

abstract: Cyber-physical systems (CPS) designed in simulators behave differently in the real-world. Once they are deployed in the real-world, we would hence like to predict system failures during runtime. We propose robust predictive runtime verification (RPRV) algorithms under signal temporal logic (STL) tasks for general stochastic CPS. The RPRV problem faces several challenges: (1) there may not be sufficient data of the behavior of the deployed CPS, (2) predictive models are based on a distribution over system trajectories encountered during the design phase, i.e., there may be a distribution shift during deployment. To address these challenges, we assume to know an upper bound on the statistical distance (in terms of an f-divergence) between the distributions at deployment and design time, and we utilize techniques based on robust conformal prediction. Motivated by our results in [1], we construct an accurate and an interpretable RPRV algorithm. We use a trajectory prediction model to estimate the system behavior at runtime and robust conformal prediction to obtain probabilistic guarantees by accounting for distribution shifts. We precisely quantify the relationship between calibration data, desired confidence, and permissible distribution shift. To the best of our knowledge, these are the first statistically valid algorithms under distribution shift in this setting. We empirically validate our algorithms on a Franka manipulator within the NVIDIA Isaac sim environment.


title: Adaptive Interventions with User-Defined Goals for Health Behavior Change

abstract: Promoting healthy lifestyle behaviors remains a major public health concern, particularly due to their crucial role in preventing chronic conditions such as cancer, heart disease, and type 2 diabetes. Mobile health applications present a promising avenue for low-cost, scalable health behavior change promotion. Researchers are increasingly exploring adaptive algorithms that personalize interventions to each person's unique context. However, in empirical studies, mobile health applications often suffer from small effect sizes and low adherence rates, particularly in comparison to human coaching. Tailoring advice to a person's unique goals, preferences, and life circumstances is a critical component of health coaching that has been underutilized in adaptive algorithms for mobile health interventions. To address this, we introduce a new Thompson sampling algorithm that can accommodate personalized reward functions (i.e., goals, preferences, and constraints), while also leveraging data sharing across individuals to more quickly be able to provide effective recommendations. We prove that our modification incurs only a constant penalty on cumulative regret while preserving the sample complexity benefits of data sharing. We present empirical results on synthetic and semi-synthetic physical activity simulators, where in the latter we conducted an online survey to solicit preference data relating to physical activity, which we use to construct realistic reward models that leverages historical data from another study. Our algorithm achieves substantial performance improvements compared to baselines that do not share data or do not optimize for individualized rewards.


title: First Sagittarius A* Event Horizon Telescope Results. VI: Testing the Black Hole Metric

abstract: Astrophysical black holes are expected to be described by the Kerr metric. This is the only stationary, vacuum, axisymmetric metric, without electromagnetic charge, that satisfies Einstein's equations and does not have pathologies outside of the event horizon. We present new constraints on potential deviations from the Kerr prediction based on 2017 EHT observations of Sagittarius A* (Sgr A*). We calibrate the relationship between the geometrically defined black hole shadow and the observed size of the ring-like images using a library that includes both Kerr and non-Kerr simulations. We use the exquisite prior constraints on the mass-to-distance ratio for Sgr A* to show that the observed image size is within $\sim$ 10$\%$ of the Kerr predictions. We use these bounds to constrain metrics that are parametrically different from Kerr as well as the charges of several known spacetimes. To consider alternatives to the presence of an event horizon we explore the possibility that Sgr A* is a compact object with a surface that either absorbs and thermally re-emits incident radiation or partially reflects it. Using the observed image size and the broadband spectrum of Sgr A*, we conclude that a thermal surface can be ruled out and a fully reflective one is unlikely. We compare our results to the broader landscape of gravitational tests. Together with the bounds found for stellar mass black holes and the M87 black hole, our observations provide further support that the external spacetimes of all black holes are described by the Kerr metric, independent of their mass.


title: An elementary model for an advancing autoignition front in laminar reactive co-flow jets injected into supercritical water

abstract: In this paper we formulate and analyze an elementary model for the propagation of advancing autoignition fronts in reactive co-flow fuel/oxidizer jets injected into an aqueous environment at high pressure. This work is motivated by the experimental studies of autoignition of hydrothermal flames performed at the high pressure laboratory of NASA Glenn Research Center. Guided by experimental observations, we use several simplifying assumptions that allow the derivation of a simple, still experimentally feasible, mathematical model for the propagation of advancing ignition fronts. The model consists of a single diffusion-absorption-advection equation posed in an infinite cylindrical domain with a non-linear condition on the boundary of the cylinder and describes the temperature distribution within the jet. This model manifests an interplay of thermal diffusion, advection and volumetric heat loss within a fuel jet which are balanced by the weak chemical reaction on the jet's boundary. We analyze the model by means of asymptotic and numerical techniques and discuss feasible regimes of propagation of advancing ignition fronts. In particular, we show that in the most interesting parametric regime when the advancing ignition front is on the verge of extinction this model reduces to a one dimensional reaction-diffusion equation with bistable non-linearity. We hope that the present study will be helpful for the interpretation of existing experimental data and guiding of future experiments.


title: The impact of effective participation in stopping misinformation: an approach based on branching processes

abstract: The emergence of research focused to understand the spreading and impact of disinformation is increasing year over year. Most times, the purpose of those who start the spreading of information intentionally false and designed to cause harm is in catalyzing its fast transformation into misinformation, which is the false content shared by people who do not realize it is false or misleading. Our interest is in discussing the role of people who decide to adopt an active role in stopping the propagation of an information when they realize that it is false. For this, we formulate two simple probabilistic models to compare misinformation spreading in the possible scenarios for which there is a passive or an active environment of aware individuals. With aware individuals we mean those individuals who realize that a given information is false or misleading. In the passive environment we assume that if one of an aware individual is exposed to the misinformation then he/she will not spread it. In the active environment we assume that if one of an aware individual is exposed to the misinformation then he/she will not spread it but also he/she will stop the propagation to other individuals from the individual who contacted him/her. We appeal to the theory of branching processes to analyse propagation in both scenarios and we discuss the role and the impact of effective participation in stopping misinformation. We show that the propagation reduces drastically provided we assume an active environment, and we obtain theoretical and computational results to measure such a reduction, which in turns depends on the proportion of aware individuals and the number of potential contacts of each individual which is assumed to be random.


title: Robust Combiners and Universal Constructions for Quantum Cryptography

abstract: A robust combiner combines many candidates for a cryptographic primitive and generates a new candidate for the same primitive. Its correctness and security hold as long as one of the original candidates satisfies correctness and security. A universal construction is a closely related notion to a robust combiner. A universal construction for a primitive is an explicit construction of the primitive that is correct and secure as long as the primitive exists. It is known that a universal construction for a primitive can be constructed from a robust combiner for the primitive in many cases. Although robust combiners and universal constructions for classical cryptography are widely studied, robust combiners and universal constructions for quantum cryptography have not been explored so far. In this work, we define robust combiners and universal constructions for several quantum cryptographic primitives including one-way state generators, public-key quantum money, quantum bit commitments, and unclonable encryption, and provide constructions of them. On a different note, it was an open problem how to expand the plaintext length of unclonable encryption. In one of our universal constructions for unclonable encryption, we can expand the plaintext length, which resolves the open problem.


title: Top quark flavor changing couplings at a muon collider

abstract: There is growing interest in the development of a muon collider that would make it possible to produce lepton collisions at energies of several TeV. Among others, there can be significant contributions to electroweak gauge boson, Higgs boson and top quark physics. In this work we pay attention to the latter, in particular, effective flavor-changing top-quark interactions. We discuss two flavor changing $t \bar q$ ($q=u,c$) production processes that can be a good probe of the dimension-six top quark and gauge boson operators in the SMEFT. We consider all nine operators that can generate flavor-changing top quak couplings. After comparing with the current LHC limits, we identify two of them that have the highest sensitivity. On the other hand, for two others the sensitivity is so low that they can be safely discarded from future studies.


title: MirrorNet: A TEE-Friendly Framework for Secure On-device DNN Inference

abstract: Deep neural network (DNN) models have become prevalent in edge devices for real-time inference. However, they are vulnerable to model extraction attacks and require protection. Existing defense approaches either fail to fully safeguard model confidentiality or result in significant latency issues. To overcome these challenges, this paper presents MirrorNet, which leverages Trusted Execution Environment (TEE) to enable secure on-device DNN inference. It generates a TEE-friendly implementation for any given DNN model to protect the model confidentiality, while meeting the stringent computation and storage constraints of TEE. The framework consists of two key components: the backbone model (BackboneNet), which is stored in the normal world but achieves lower inference accuracy, and the Companion Partial Monitor (CPM), a lightweight mirrored branch stored in the secure world, preserving model confidentiality. During inference, the CPM monitors the intermediate results from the BackboneNet and rectifies the classification output to achieve higher accuracy. To enhance flexibility, MirrorNet incorporates two modules: the CPM Strategy Generator, which generates various protection strategies, and the Performance Emulator, which estimates the performance of each strategy and selects the most optimal one. Extensive experiments demonstrate the effectiveness of MirrorNet in providing security guarantees while maintaining low computation latency, making MirrorNet a practical and promising solution for secure on-device DNN inference. For the evaluation, MirrorNet can achieve a 18.6% accuracy gap between authenticated and illegal use, while only introducing 0.99% hardware overhead.


title: Joint Visibility Region and Channel Estimation for Extremely Large-scale MIMO Systems

abstract: In this work, we investigate the joint visibility region (VR) detection and channel estimation (CE) problem for extremely large-scale multiple-input-multiple-output (XL-MIMO) systems considering both the spherical wavefront effect and spatial non-stationary (SnS) property. Unlike existing SnS CE methods that rely on the statistical characteristics of channels in the spatial or delay domain, we propose an approach that simultaneously exploits the antenna-domain spatial correlation and the wavenumber-domain sparsity of SnS channels. To this end, we introduce a two-stage VR detection and CE scheme. In the first stage, the belief regarding the visibility of antennas is obtained through a VR detection-oriented message passing (VRDO-MP) scheme, which fully exploits the spatial correlation among adjacent antenna elements. In the second stage, leveraging the VR information and wavenumber-domain sparsity, we accurately estimate the SnS channel employing the belief-based orthogonal matching pursuit (BB-OMP) method. Simulations show that the proposed algorithms lead to a significant enhancement in VR detection and CE accuracy as compared to existing methods, especially in low signal-to-noise ratio (SNR) scenarios.


title: Spatial Bayesian Neural Networks

abstract: interpretable, and well understood models that are routinely employed even though, as is revealed through prior and posterior predictive checks, these can poorly characterise the spatial heterogeneity in the underlying process of interest. Here, we propose a new, flexible class of spatial-process models, which we refer to as spatial Bayesian neural networks (SBNNs). An SBNN leverages the representational capacity of a Bayesian neural network; it is tailored to a spatial setting by incorporating a spatial ``embedding layer'' into the network and, possibly, spatially-varying network parameters. An SBNN is calibrated by matching its finite-dimensional distribution at locations on a fine gridding of space to that of a target process of interest. That process could be easy to simulate from or we may have many realisations from it. We propose several variants of SBNNs, most of which are able to match the finite-dimensional distribution of the target process at the selected grid better than conventional BNNs of similar complexity. We also show that an SBNN can be used to represent a variety of spatial processes often used in practice, such as Gaussian processes, lognormal processes, and max-stable processes. We briefly discuss the tools that could be used to make inference with SBNNs, and we conclude with a discussion of their advantages and limitations.


title: Flat Bands at the Fermi Level in Unconventional Superconductor YFe2Ge2

abstract: We report heavy electron behavior in unconventional superconductor YFe$_2$Ge$_2$ ($T_C \,{=}\, 1.2$ K). We directly observe very heavy bands ($m_\mathrm{eff}\sim 25 m_e$) within $\sim$10 meV of the Fermi level $E_{F}$ using angle-resolved photoelectron spectroscopy (ARPES). The flat bands reside at the X points of the Brillouin zone and are composed principally of $d_{xz}$ and $d_{yz}$ orbitals. We utilize many-body perturbative theory, GW, to calculate the electronic structure of this material, obtaining excellent agreement with the ARPES data with relatively minor band renormalizations and band shifting required. We obtain further agreement at the Dynamical Mean Field Theory (DMFT) level, highlighting the emergence of the many-body physics at low energies (near $E_F$) and temperatures.


title: Revealing inverted chirality of hidden domain wall states in multiband systems without topological transition

abstract: Chirality, a fundamental concept from biological molecules to advanced materials, is prevalent in nature. Yet, its intricate behavior in specific topological systems remains poorly understood. Here, we investigate the emergence of hidden chiral domain wall states using a double-chain Su-Schrieffer-Heeger model with interchain coupling specifically designed to break chiral symmetry. Our phase diagram reveals single-gap and double-gap phases based on electronic structure, where transitions occur without topological phase changes. In the single-gap phase, we reproduce chiral domain wall states, akin to chiral solitons in the double-chain model, where chirality is encoded in the spectrum and topological charge pumping. In the double-gap phase, we identify hidden chiral domain wall states exhibiting opposite chirality to the domain wall states in the single-gap phase, where the opposite chirality is confirmed through spectrum inversion and charge pumping as the corresponding domain wall slowly moves. By engineering gap structures, we demonstrate control over hidden chiral domain states. Our findings open avenues to investigate novel topological systems with broken chiral symmetry and potential applications in diverse systems.


title: Scattering of compact kinks

abstract: We study the scattering processes of kink-antikink and kink-kink pairs in a field theory model with non-differentiable potential at its minima. The kink-antikink scattering includes cases of capture and escape of the soliton pair separated by a critical velocity, without windows of multi bounce followed by escape. Around the critical velocity, the behavior is fractal. The emission of radiation strongly influences the small velocity cases, with the most radiative cases being also the most chaotic. The radiation appears through the emission of compact oscillons and the formation of compact shockwaves. The kink-kink scattering happens elastically, with no emission of radiation. Some features of both the kink-antikink and the kink-kink scattering are explained using a collective coordinate model, even though the kink-kink case exhibits a null-vector problem.


title: Hydrodynamics of polydisperse gas-solid flows: Kinetic theory and multifluid simulation

abstract: Polydisperse gas-solid flows, which is notoriously difficult to model due to the complex gas-particle and particle-particle interactions, are widely encountered in industry. In this article, a refined kinetic theory for polydisperse flow is developed, which features single-parameter Chapman-Enskog expansion (the Knudsen number) and exact calculation of the integrations related to pair distribution function of particle velocity without any mathematical approximations. The Navier-Stokes order constitutive relations for multifluid modeling of polydisperse gas-solid flow are then obtained analytically, including the solid stress tensor, the solid-solid drag force, the granular heat flux and the energy dissipation rate. Finally, the model is preliminarily validated by comparing to the discrete element simulation data of one-dimensional granular shear flow and by showing that the hydrodynamic characteristics of gas-solid flows in a bubbling fluidized bed containing bidisperse particles can be successfully predicted.


title: Posterior-Mean Separable Costs of Information Acquisition

abstract: We analyze a problem of revealed preference given state-dependent stochastic choice data in which the payoff to a decision maker (DM) only depends on their beliefs about posterior means. Often, the DM must also learn about or pay attention to the state; in applied work on this subject, a convenient assumption is that the costs of such learning are linearly dependent in the distribution over posterior means. We provide testable conditions to identify whether this assumption holds. This allows for the use of information design techniques to solve the DM's problem.


title: Peer Reviews of Peer Reviews: A Randomized Controlled Trial and Other Experiments

abstract: Is it possible to reliably evaluate the quality of peer reviews? We study this question driven by two primary motivations -- incentivizing high-quality reviewing using assessed quality of reviews and measuring changes to review quality in experiments. We conduct a large scale study at the NeurIPS 2022 conference, a top-tier conference in machine learning, in which we invited (meta)-reviewers and authors to evaluate reviews given to submitted papers. First, we conduct a RCT to examine bias due to the length of reviews. We generate elongated versions of reviews by adding substantial amounts of non-informative content. Participants in the control group evaluate the original reviews, whereas participants in the experimental group evaluate the artificially lengthened versions. We find that lengthened reviews are scored (statistically significantly) higher quality than the original reviews. Additionally, in analysis of observational data we find that authors are positively biased towards reviews recommending acceptance of their own papers, even after controlling for confounders of review length, quality, and different numbers of papers per author. We also measure disagreement rates between multiple evaluations of the same review of 28%-32%, which is comparable to that of paper reviewers at NeurIPS. Further, we assess the amount of miscalibration of evaluators of reviews using a linear model of quality scores and find that it is similar to estimates of miscalibration of paper reviewers at NeurIPS. Finally, we estimate the amount of variability in subjective opinions around how to map individual criteria to overall scores of review quality and find that it is roughly the same as that in the review of papers. Our results suggest that the various problems that exist in reviews of papers -- inconsistency, bias towards irrelevant factors, miscalibration, subjectivity -- also arise in reviewing of reviews.


title: Network Wide Evacuation Traffic Prediction in a Rapidly Intensifying Hurricane from Traffic Detectors and Facebook Movement Data: A Deep Learning Approach

abstract: Traffic prediction during hurricane evacuation is essential for optimizing the use of transportation infrastructures. It can reduce evacuation time by providing information on future congestion in advance. However, evacuation traffic prediction can be challenging as evacuation traffic patterns is significantly different than regular period traffic. A data-driven traffic prediction model is developed in this study by utilizing traffic detector and Facebook movement data during Hurricane Ian, a rapidly intensifying hurricane. We select 766 traffic detectors from Florida's 4 major interstates to collect traffic features. Additionally, we use Facebook movement data collected during Hurricane Ian's evacuation period. The deep-learning model is first trained on regular period (May-August 2022) data to understand regular traffic patterns and then Hurricane Ian's evacuation period data is used as test data. The model achieves 95% accuracy (RMSE = 356) during regular period, but it underperforms with 55% accuracy (RMSE = 1084) during the evacuation period. Then, a transfer learning approach is adopted where a pretrained model is used with additional evacuation related features to predict evacuation period traffic. After transfer learning, the model achieves 89% accuracy (RMSE = 514). Adding Facebook movement data further reduces model's RMSE value to 393 and increases accuracy to 93%. The proposed model is capable to forecast traffic up to 6-hours in advance. Evacuation traffic management officials can use the developed traffic prediction model to anticipate future traffic congestion in advance and take proactive measures to reduce delays during evacuation.


title: Center Focusing Network for Real-Time LiDAR Panoptic Segmentation

abstract: LiDAR panoptic segmentation facilitates an autonomous vehicle to comprehensively understand the surrounding objects and scenes and is required to run in real time. The recent proposal-free methods accelerate the algorithm, but their effectiveness and efficiency are still limited owing to the difficulty of modeling non-existent instance centers and the costly center-based clustering modules. To achieve accurate and real-time LiDAR panoptic segmentation, a novel center focusing network (CFNet) is introduced. Specifically, the center focusing feature encoding (CFFE) is proposed to explicitly understand the relationships between the original LiDAR points and virtual instance centers by shifting the LiDAR points and filling in the center points. Moreover, to leverage the redundantly detected centers, a fast center deduplication module (CDM) is proposed to select only one center for each instance. Experiments on the SemanticKITTI and nuScenes panoptic segmentation benchmarks demonstrate that our CFNet outperforms all existing methods by a large margin and is 1.6 times faster than the most efficient method. The code is available at https://github.com/GangZhang842/CFNet.


title: Pseudo-keypoint RKHS Learning for Self-supervised 6DoF Pose Estimation

abstract: This paper addresses the simulation-to-real domain gap in 6DoF PE, and proposes a novel self-supervised keypoint radial voting-based 6DoF PE framework, effectively narrowing this gap using a learnable kernel in RKHS. We formulate this domain gap as a distance in high-dimensional feature space, distinct from previous iterative matching methods. We propose an adapter network, which evolves the network parameters from the source domain, which has been massively trained on synthetic data with synthetic poses, to the target domain, which is trained on real data. Importantly, the real data training only uses pseudo-poses estimated by pseudo-keypoints, and thereby requires no real groundtruth data annotations. RKHSPose achieves state-of-the-art performance on three commonly used 6DoF PE datasets including LINEMOD (+4.2%), Occlusion LINEMOD (+2%), and YCB-Video (+3%). It also compares favorably to fully supervised methods on all six applicable BOP core datasets, achieving within -10.8% to -0.3% of the top fully supervised results.


title: Local existence and uniqueness of solutions for the 2D MHD equations with horizontal dissipation and horizontal magnetic diffusion

abstract: In this paper, we consider the 2D incompressible MHD equations with horizontal dissipation and horizontal magnetic diffusion. We establish local existence and uniqueness of solutions for initial data in $H^s$($s\geq 1$). The proof relays heavily on new estimates of the nonlinear terms.


title: SQATIN: Supervised Instruction Tuning Meets Question Answering for Improved Dialogue NLU

abstract: Task-oriented dialogue (ToD) systems help users execute well-defined tasks across a variety of domains (e.g., $\textit{flight booking}$ or $\textit{food ordering}$), with their Natural Language Understanding (NLU) components being dedicated to the analysis of user utterances, predicting users' intents ($\textit{Intent Detection}$, ID) and extracting values for informational slots ($\textit{Value Extraction}$, VE). In most domains, labelled NLU data is scarce, making sample-efficient learning -- enabled with effective transfer paradigms -- paramount. In this work, we introduce SQATIN, a new framework for dialog NLU based on (i) instruction tuning and (ii) question-answering-based formulation of ID and VE tasks. According to the evaluation on established NLU benchmarks, SQATIN sets the new state of the art in dialogue NLU, substantially surpassing the performance of current models based on standard fine-tuning objectives in both in-domain training and cross-domain transfer. SQATIN yields particularly large performance gains in cross-domain transfer, owing to the fact that our QA-based instruction tuning leverages similarities between natural language descriptions of classes (i.e., slots and intents) across domains.


title: NLTS Hamiltonians and Strongly-Explicit SoS Lower Bounds from Low-Rate Quantum LDPC Codes

abstract: Recent constructions of the first asymptotically good quantum LDPC (qLDPC) codes led to two breakthroughs in complexity theory: the NLTS (No Low-Energy Trivial States) theorem (Anshu, Breuckmann, and Nirkhe, STOC'23), and explicit lower bounds against a linear number of levels of the Sum-of-Squares (SoS) hierarchy (Hopkins and Lin, FOCS'22). In this work, we obtain improvements to both of these results using qLDPC codes of low rate: - Whereas Anshu et al. only obtained NLTS Hamiltonians from qLDPC codes of linear dimension, we show the stronger result that qLDPC codes of arbitrarily small positive dimension yield NLTS Hamiltonians. - The SoS lower bounds of Hopkins and Lin are only weakly explicit because they require running Gaussian elimination to find a nontrivial codeword, which takes polynomial time. We resolve this shortcoming by introducing a new method of planting a strongly explicit nontrivial codeword in linear-distance qLDPC codes, which in turn yields strongly explicit SoS lower bounds. Our "planted" qLDPC codes may be of independent interest, as they provide a new way of ensuring a qLDPC code has positive dimension without resorting to parity check counting, and therefore provide more flexibility in the code construction.


title: Astronomy, Doughnuts, and Carrying Capacity

abstract: I examine the applicability of ecological concepts in discussing issues related to space environmentalism. Terms such as "ecosystem"", "carrying capacity"", and "tipping point" are either ambiguous or well defined but not applicable to orbital space and its contents; using such terms uncritically may cause more confusion than enlightenment. On the other hand, it may well be fruitful to adopt the approach of the Planetary Boundaries Framework, defining trackable metrics that capture the damage to the space environment. I argue that the key metric is simply the number of Anthropogenic Space Objects (ASOs), rather than for example their reflectivity, which is currently doubling every 1.7 years; we are heading towards degree scale separation. Overcrowding of the sky is a problem astronomers and satellite operators have in common.


title: SegMix: A Simple Structure-Aware Data Augmentation Method

abstract: Interpolation-based Data Augmentation (DA) methods (Mixup) linearly interpolate the inputs and labels of two or more training examples. Mixup has more recently been adapted to the field of Natural Language Processing (NLP), mainly for sequence labeling tasks. However, such a simple adoption yields mixed or unstable improvements over the baseline models. We argue that the direct-adoption methods do not account for structures in NLP tasks. To this end, we propose SegMix, a collection of interpolation-based DA algorithms that can adapt to task-specific structures. SegMix poses fewer constraints on data structures, is robust to various hyperparameter settings, applies to more task settings, and adds little computational overhead. In the algorithm's core, we apply interpolation methods on task-specific meaningful segments, in contrast to applying them on sequences as in prior work. We find SegMix to be a flexible framework that combines rule-based DA methods with interpolation-based methods, creating interesting mixtures of DA techniques. We show that SegMix consistently improves performance over strong baseline models in Named Entity Recognition (NER) and Relation Extraction (RE) tasks, especially under data-scarce settings. Furthermore, this method is easy to implement and adds negligible training overhead.


title: Investigating the Impact of Weight Sharing Decisions on Knowledge Transfer in Continual Learning

abstract: Continual Learning (CL) has generated attention as a method of avoiding Catastrophic Forgetting (CF) in the sequential training of neural networks, improving network efficiency and adaptability to different tasks. Additionally, CL serves as an ideal setting for studying network behavior and Forward Knowledge Transfer (FKT) between tasks. Pruning methods for CL train subnetworks to handle the sequential tasks which allows us to take a structured approach to investigating FKT. Sharing prior subnetworks' weights leverages past knowledge for the current task through FKT. Understanding which weights to share is important as sharing all weights can yield sub-optimal accuracy. This paper investigates how different sharing decisions affect the FKT between tasks. Through this lens we demonstrate how task complexity and similarity influence the optimal weight sharing decisions, giving insights into the relationships between tasks and helping inform decision making in similar CL methods. We implement three sequential datasets designed to emphasize variation in task complexity and similarity, reporting results for both ResNet-18 and VGG-16. By sharing in accordance with the decisions supported by our findings, we show that we can improve task accuracy compared to other sharing decisions.


title: An optimization framework for analyzing nonlinear stability due to sparse finite-amplitude perturbations

abstract: Recent works have established the utility of sparsity-promoting norms for extracting spatially-localized instability mechanisms in fluid flows, with possible implications for flow control. However, these prior works have focused on linear dynamics of infinitesimal perturbations about a given baseflow. In this paper, we propose an optimization framework for computing sparse finite-amplitude perturbations that maximize transient growth in nonlinear systems. A variational approach is used to derive the first-order necessary conditions for optimality, which form the basis of our iterative direct-adjoint looping numerical solution algorithm. When applied to a reduced-order model of a sinusoidal shear flow at $Re=20$, our framework identifies that energy injection into a single vortical mode yields comparable energy amplification as the non-sparse optimal solution with energy distributed across all modes. Energy injection into three additional modes results in an identical transient growth as the non-sparse case. Subsequent analysis of the dynamic response of the flow establishes that these sparse optimal perturbations trigger many of the same nonlinear modal interactions that give rise to transient growth when all modes are perturbed in an optimal manner. It is also observed that as perturbation amplitude is increased, the maximum transient growth is achieved at an earlier time. Our results highlight the power of the proposed optimization framework for revealing dominant nonlinear modal interactions and sparse perturbation mechanisms for transient growth and instability in fluid flows. We anticipate the approach will be a useful tool in guiding the design of flow control strategies in the future.


title: Atoms as Words: A Novel Approach to Deciphering Material Properties using NLP-inspired Machine Learning on Crystallographic Information Files (CIFs)

abstract: In condensed matter physics and materials science, predicting material properties necessitates understanding intricate many-body interactions. Conventional methods such as density functional theory (DFT) and molecular dynamics (MD) often resort to simplifying approximations and are computationally expensive. Meanwhile, recent machine learning methods use handcrafted descriptors for material representation which sometimes neglect vital crystallographic information and are often limited to single property prediction or a sub-class of crystal structures. In this study, we pioneer an unsupervised strategy, drawing inspiration from Natural Language Processing (NLP), to harness the underutilized potential of Crystallographic Information Files (CIFs). We conceptualize atoms and atomic positions within a CIF similarly to words in textual content. Using a Word2Vec-inspired technique, we produce atomic embeddings that capture intricate atomic relationships. Our model, CIFSemantics, trained on the extensive Material Project dataset, adeptly predicts 15 distinct material properties from the CIFs. Its performance rivals specialized models, marking a significant step forward in material property predictions.


title: Heterogeneity and Low-Frequency Vibrations in Bidisperse Sphere Packings

abstract: In the jamming transition of monodisperse packings, spatial heterogeneity is irrelevant as the transition is described by mean-field theories. Here, we show that this situation drastically changes if the particle-size dispersity is large enough. We use computer simulations to study the structural and vibrational properties of bidisperse sphere packings with a large size ratio. Near the critical point, the small particles tend to form clusters, leading to the emergence of large-scale structural heterogeneity. Concomitantly, the low-frequency vibrations are significantly enhanced compared to those in monodisperse packings, and their density of states follows a linear law with the frequency. We numerically and theoretically demonstrate that these behaviors of the structural heterogeneity and the low-frequency vibrations are intimately connected. The present work suggests that the nature of heterogeneous packings is markedly different from that of homogeneous packings.


title: Tailoring with Targeted Precision: Edit-Based Agents for Open-Domain Procedure Customization

abstract: How-to procedures, such as how to plant a garden, are now used by millions of users, but sometimes need customizing to meet a user's specific needs, e.g., planting a garden without pesticides. Our goal is to measure and improve an LLM's ability to perform such customization. Our approach is to test several simple multi-LLM-agent architectures for customization, as well as an end-to-end LLM, using a new evaluation set, called CustomPlans, of over 200 WikiHow procedures each with a customization need. We find that a simple architecture with two LLM agents used sequentially performs best, one that edits a generic how-to procedure and one that verifies its executability, significantly outperforming (10.5% absolute) an end-to-end prompted LLM. This suggests that LLMs can be configured reasonably effectively for procedure customization. This also suggests that multi-agent editing architectures may be worth exploring further for other customization applications (e.g. coding, creative writing) in the future.


title: Identifying Systems with Symmetries using Equivariant Autoregressive Reservoir Computers

abstract: The investigation reported in this document focuses on identifying systems with symmetries using equivariant autoregressive reservoir computers. General results in structured matrix approximation theory are presented, exploring a two-fold approach. Firstly, a comprehensive examination of generic symmetry-preserving nonlinear time delay embedding is conducted. This involves analyzing time series data sampled from an equivariant system under study. Secondly, sparse least-squares methods are applied to discern approximate representations of the output coupling matrices. These matrices play a pivotal role in determining the nonlinear autoregressive representation of an equivariant system. The structural characteristics of these matrices are dictated by the set of symmetries inherent in the system. The document outlines prototypical algorithms derived from the described techniques, offering insight into their practical applications. Emphasis is placed on their effectiveness in the identification and predictive simulation of equivariant nonlinear systems, regardless of whether such systems exhibit chaotic behavior.


title: Covers of fractal interpolation surfaces with finite families of octahedrons

abstract: In our previous work, On the localization of Hutchinson-Barnsley fractals, Chaos Solitons Fractals, 173 (2023), 113-674, we presented a method for finding a finite family of closed balls whose union contains the attractor of a given iterated function system. In this paper, for the particular framework of fractal interpolation surfaces, we provide an improved version of it. This approach is more efficient, from the computational point of view, as it is based on finding the maximum of certain sets, in contrast to the previous method which uses a sorting algorithm.


title: Sequencing Matters: A Generate-Retrieve-Generate Model for Building Conversational Agents

abstract: This paper contains what the Georgetown InfoSense group has done in regard to solving the challenges presented by TREC iKAT 2023. Our submitted runs outperform the median runs by a significant margin, exhibiting superior performance in nDCG across various cut numbers and in overall success rate. Our approach uses a Generate-Retrieve-Generate method, which we've found to greatly outpace Retrieve-Then-Generate approaches for the purposes of iKAT. Our solution involves the use of Large Language Models (LLMs) for initial answers, answer grounding by BM25, passage quality filtering by logistic regression, and answer generation by LLMs again. We leverage several purpose-built Language Models, including BERT, Chat-based, and text-to-transfer-based models, for text understanding, classification, generation, and summarization. The official results of the TREC evaluation contradict our initial self-evaluation, which may suggest that a decrease in the reliance on our retrieval and classification methods is better. Nonetheless, our findings suggest that the sequence of involving these different components matters, where we see an essentiality of using LLMs before using search engines.


title: Know Thy Neighbors: A Graph Based Approach for Effective Sensor-Based Human Activity Recognition in Smart Homes

abstract: There has been a resurgence of applications focused on Human Activity Recognition (HAR) in smart homes, especially in the field of ambient intelligence and assisted living technologies. However, such applications present numerous significant challenges to any automated analysis system operating in the real world, such as variability, sparsity, and noise in sensor measurements. Although state-of-the-art HAR systems have made considerable strides in addressing some of these challenges, they especially suffer from a practical limitation: they require successful pre-segmentation of continuous sensor data streams before automated recognition, i.e., they assume that an oracle is present during deployment, which is capable of identifying time windows of interest across discrete sensor events. To overcome this limitation, we propose a novel graph-guided neural network approach that performs activity recognition by learning explicit co-firing relationships between sensors. We accomplish this by learning a more expressive graph structure representing the sensor network in a smart home, in a data-driven manner. Our approach maps discrete input sensor measurements to a feature space through the application of attention mechanisms and hierarchical pooling of node embeddings. We demonstrate the effectiveness of our proposed approach by conducting several experiments on CASAS datasets, showing that the resulting graph-guided neural network outperforms the state-of-the-art method for HAR in smart homes across multiple datasets and by large margins. These results are promising because they push HAR for smart homes closer to real-world applications.


title: On the range of fractal interpolation functions

abstract: In this paper, based on the results from [On the localization of Hutchinson-Barnsley fractals, Chaos Solitons Fractals, 173 (2023), 113674], we generate coverings (consisting of finite families of rhombi) of the graph of fractal interpolation functions. As a by-product we obtain estimations for the range of such functions. Some concrete examples and graphical representations are provided.


title: Real-Time Adaptive Neural Network on FPGA: Enhancing Adaptability through Dynamic Classifier Selection

abstract: This research studies an adaptive neural network with a Dynamic Classifier Selection framework on Field-Programmable Gate Arrays (FPGAs). The evaluations are conducted across three different datasets. By adjusting parameters, the architecture surpasses all models in the ensemble set in accuracy and shows an improvement of up to 8% compared to a singular neural network implementation. The research also emphasizes considerable resource savings of up to 109.28%, achieved via partial reconfiguration rather than a traditional fixed approach. Such improved efficiency suggests that the architecture is ideal for settings limited by computational capacity, like in edge computing scenarios. The collected data highlights the architecture's two main benefits: high performance and real-world application, signifying a notable input to FPGA-based ensemble learning methods.


title: GEE! Grammar Error Explanation with Large Language Models

abstract: Grammatical error correction tools are effective at correcting grammatical errors in users' input sentences but do not provide users with \textit{natural language} explanations about their errors. Such explanations are essential for helping users learn the language by gaining a deeper understanding of its grammatical rules (DeKeyser, 2003; Ellis et al., 2006). To address this gap, we propose the task of grammar error explanation, where a system needs to provide one-sentence explanations for each grammatical error in a pair of erroneous and corrected sentences. We analyze the capability of GPT-4 in grammar error explanation, and find that it only produces explanations for 60.2% of the errors using one-shot prompting. To improve upon this performance, we develop a two-step pipeline that leverages fine-tuned and prompted large language models to perform structured atomic token edit extraction, followed by prompting GPT-4 to generate explanations. We evaluate our pipeline on German and Chinese grammar error correction data sampled from language learners with a wide range of proficiency levels. Human evaluation reveals that our pipeline produces 93.9% and 98.0% correct explanations for German and Chinese data, respectively. To encourage further research in this area, we will open-source our data and code.


title: From GPT-3 to GPT-4: On the Evolving Efficacy of LLMs to Answer Multiple-choice Questions for Programming Classes in Higher Education

abstract: We explore the evolving efficacy of three generative pre-trained transformer (GPT) models in generating answers for multiple-choice questions (MCQ) from introductory and intermediate Python programming courses in higher education. We focus on the differences in capabilities of the models prior to the release of ChatGPT (Nov '22), at the time of the release, and today (i.e., Aug '23). Recent studies have established that the abilities of the OpenAI's GPT models to handle assessments originally designed for humans keep increasing as the newer more capable models are released. However, the qualitative differences in the capabilities and limitations of these models to reason about and/or analyze programming MCQs have been under-explored. We evaluated three OpenAI's GPT models on formative and summative MCQ assessments from three Python courses (530 questions) focusing on the qualitative differences in the evolving efficacy of the subsequent models. This study provides further evidence and insight into the trajectory of the current developments where there already exists a technology that can be utilized by students to collect passing scores, with no effort whatsoever, on what today counts as viable programming knowledge and skills assessments. This study could be leveraged by educators and institutions to better understand the recent technological developments in order to adapt the design of programming assessments as well as to fuel the necessary discussions into how assessments in future programming classes should be updated.


title: Leveraging Code to Improve In-context Learning for Semantic Parsing

abstract: In-context learning (ICL) is an appealing approach for semantic parsing due to its few-shot nature and improved generalization. However, learning to parse to rare domain-specific languages (DSLs) from just a few demonstrations is challenging, limiting the performance of even the most capable LLMs. In this work, we improve the effectiveness of ICL for semantic parsing by (1) using general-purpose programming languages such as Python instead of DSLs, and (2) augmenting prompts with a structured domain description that includes, e.g., the available classes and functions. We show that both these changes significantly improve accuracy across three popular datasets. Combined, they lead to dramatic improvements (e.g. 7.9% to 66.5% on SMCalFlow compositional split), nearly closing the performance gap between easier i.i.d.\ and harder compositional splits when used with a strong model, and reducing the need for a large number of demonstrations. We find that the resemblance of the target parse language to general-purpose code is a more important factor than the language's popularity in pre-training corpora. Our findings provide an improved methodology for building semantic parsers in the modern context of ICL with LLMs.


title: MDFL: Multi-domain Diffusion-driven Feature Learning

abstract: High-dimensional images, known for their rich semantic information, are widely applied in remote sensing and other fields. The spatial information in these images reflects the object's texture features, while the spectral information reveals the potential spectral representations across different bands. Currently, the understanding of high-dimensional images remains limited to a single-domain perspective with performance degradation. Motivated by the masking texture effect observed in the human visual system, we present a multi-domain diffusion-driven feature learning network (MDFL) , a scheme to redefine the effective information domain that the model really focuses on. This method employs diffusion-based posterior sampling to explicitly consider joint information interactions between the high-dimensional manifold structures in the spectral, spatial, and frequency domains, thereby eliminating the influence of masking texture effects in visual models. Additionally, we introduce a feature reuse mechanism to gather deep and raw features of high-dimensional data. We demonstrate that MDFL significantly improves the feature extraction performance of high-dimensional data, thereby providing a powerful aid for revealing the intrinsic patterns and structures of such data. The experimental results on three multi-modal remote sensing datasets show that MDFL reaches an average overall accuracy of 98.25%, outperforming various state-of-the-art baseline schemes. The code will be released, contributing to the computer vision community.


title: AMRFact: Enhancing Summarization Factuality Evaluation with AMR-Driven Negative Samples Generation

abstract: Ensuring factual consistency is crucial for natural language generation tasks, particularly in abstractive summarization, where preserving the integrity of information is paramount. Prior works on evaluating factual consistency of summarization often take the entailment-based approaches that first generate perturbed (factual inconsistent) summaries and then train a classifier on the generated data to detect the factually inconsistencies during testing time. However, previous approaches generating perturbed summaries are either of low coherence or lack error-type coverage. To address these issues, we propose AMRFact, a framework that generates perturbed summaries using Abstract Meaning Representations (AMRs). Our approach parses factually consistent summaries into AMR graphs and injects controlled factual inconsistencies to create negative examples, allowing for coherent factually inconsistent summaries to be generated with high error-type coverage. Additionally, we present a data selection module NegFilter based on natural language inference and BARTScore to ensure the quality of the generated negative samples. Experimental results demonstrate our approach significantly outperforms previous systems on the AggreFact-SOTA benchmark, showcasing its efficacy in evaluating factuality of abstractive summarization.


title: Reversed Indexes $\approx$ Values in Wavelet Trees

abstract: This work presents a discovery to advance the wisdom in a particular Succinct Data Structure: Wavelet Tree (Grossi, Gupta, and Vitter 2003). The discovery is first made by showing the feasibility of Reversed Indexes = Values: for integers within $[0,2^{N})$, there exists a Wavelet Tree that its compressed indexes can be equivalent to the Leibniz Binary system (Leibniz 1703), with only the bit reversal. Then we show how to strengthen the discovery by generalizing it into Reversed Indexes $\approx$ Values, by applying a longest common subsequence in bits and its patterns. Finally, we conjuncture potential implications of the above ideas by discussing its benefits, and modifications to the RAM model. The discovery reveals that: (1) the usability of Succinct Data Structure can be significantly expanded, by enabling Computation Directly on Compression; and (2) near-optimal lossless compression can still yield close connections with the Leibniz Binary System (Leibniz 1703), which breeds polymorphic functionalities within a single piece of the information. This work also provides an initial analysis of the benefits from the method (and potentially other extensions), and suggests potential modifications.


title: Data-driven estimates for light-quark-connected and strange-plus-disconnected hadronic $g-2$ window quantities

abstract: A number of discrepancies have emerged between lattice computations and data-driven dispersive evaluations of the RBC/UKQCD Intermediate-window-hadronic contribution to the muon anomalous magnetic moment. It is therefore interesting to obtain data-driven estimates for the light-quark-connected and strange-plus-disconnected components of this window quantity, allowing for a more detailed comparison between the lattice and data-driven approaches. The aim of this paper is to provide these estimates, extending the analysis to several other window quantities, including two windows designed to focus on the region in which the two-pion contribution is dominant. Clear discrepancies are observed for all light-quark-connected contributions considered, while good agreement with lattice results is found for strange-plus disconnected contributions to the quantities for which corresponding lattice results exist. The largest of these discrepancies is that for the RBC/UKQCD intermediate window, where, as previously reported, our data-driven result, $a_\mu^{W1,{\rm lqc}}=198.9(1.1)\times 10^{-10}$, is in significant tension with the results of 8 different recent lattice determinations. Our strategy is the same as recently employed in obtaining data-driven estimates for the light-quark-connected and strange-plus-disconnected components of the full leading-order hadronic vacuum polarization contribution to the muon anomalous magnetic moment. Updated versions of those earlier results are also presented, for completeness.


title: Mori-Zwanzig Modal Decomposition

abstract: We introduce the Mori-Zwanzig (MZ) Modal Decomposition (MZMD), a novel technique for performing modal analysis of large scale spatio-temporal structures in complex dynamical systems, and show that it represents an efficient generalization of Dynamic Mode Decomposition (DMD). The MZ formalism provides a mathematical framework for constructing non-Markovian reduced-order models of resolved variables from high-dimensional dynamical systems, incorporating the effects of unresolved dynamics through the memory kernel and orthogonal dynamics. We present a formulation and analysis of the modes and spectrum from MZMD and compare it to DMD when applied to a complex flow: a Direct Numerical Simulation (DNS) data-set of laminar-turbulent boundary-layer transition flow over a flared cone at Mach 6. We show that the addition of memory terms by MZMD improves the resolution of spatio-temporal structures within the transitional/turbulent regime, which contains features that arise due to nonlinear mechanisms, such as the generation of the so-called "hot" streaks on the surface of the flared cone. As a result, compared to DMD, MZMD improves future state prediction accuracy, while requiring nearly the same computational cost.


title: NGEL-SLAM: Neural Implicit Representation-based Global Consistent Low-Latency SLAM System

abstract: Neural implicit representations have emerged as a promising solution for providing dense geometry in Simultaneous Localization and Mapping (SLAM). However, existing methods in this direction fall short in terms of global consistency and low latency. This paper presents NGEL-SLAM to tackle the above challenges. To ensure global consistency, our system leverages a traditional feature-based tracking module that incorporates loop closure. Additionally, we maintain a global consistent map by representing the scene using multiple neural implicit fields, enabling quick adjustment to the loop closure. Moreover, our system allows for fast convergence through the use of octree-based implicit representations. The combination of rapid response to loop closure and fast convergence makes our system a truly low-latency system that achieves global consistency. Our system enables rendering high-fidelity RGB-D images, along with extracting dense and complete surfaces. Experiments on both synthetic and real-world datasets suggest that our system achieves state-of-the-art tracking and mapping accuracy while maintaining low latency.


title: Towards Serverless Optimization with In-place Scaling

abstract: Serverless computing has gained popularity due to its cost efficiency, ease of deployment, and enhanced scalability. However, in serverless environments, servers are initiated only after receiving a request, leading to increased response times. This delay is commonly known as the cold start problem. In this study, we explore the in-place scaling feature released in Kubernetes v1.27 and examine its impact on serverless computing. Our experimental results reveal improvements in request latency, with reductions ranging from 1.16 to 18.15 times across various workloads when compared to traditional cold policy.


title: Anytime Solvers for Variational Inequalities: the (Recursive) Safe Monotone Flows

abstract: This paper synthesizes anytime algorithms, in the form of continuous-time dynamical systems, to solve monotone variational inequalities. We introduce three algorithms that solve this problem: the projected monotone flow, the safe monotone flow, and the recursive safe monotone flow. The first two systems admit dual interpretations: either as projected dynamical systems or as dynamical systems controlled with a feedback controller synthesized using techniques from safety-critical control. The third flow bypasses the need to solve quadratic programs along the trajectories by incorporating a dynamics whose equilibria precisely correspond to such solutions, and interconnecting the dynamical systems on different time scales. We perform a thorough analysis of the dynamical properties of all three systems. For the safe monotone flow, we show that equilibria correspond exactly with critical points of the original problem, and the constraint set is forward invariant and asymptotically stable. The additional assumption of convexity and monotonicity allows us to derive global stability guarantees, as well as establish the system is contracting when the constraint set is polyhedral. For the recursive safe monotone flow, we use tools from singular perturbation theory for contracting systems to show KKT points are locally exponentially stable and globally attracting, and obtain practical safety guarantees. We illustrate the performance of the flows on a two-player game example and also demonstrate the versatility for interconnection and regulation of dynamical processes of the safe monotone flow in an example of a receding horizon linear quadratic dynamic game.


title: HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM

abstract: Existing open-source helpfulness preference datasets do not specify what makes some responses more helpful and others less so. Models trained on these datasets can incidentally learn to model dataset artifacts (e.g. preferring longer but unhelpful responses only due to their length). To alleviate this problem, we collect HelpSteer, a multi-attribute helpfulness dataset annotated for the various aspects that make responses helpful. Specifically, our 37k-sample dataset has annotations for correctness, coherence, complexity, and verbosity in addition to overall helpfulness of responses. Training Llama 2 70B using the HelpSteer dataset with SteerLM technique produces a model that scores 7.54 on MT Bench, which is currently the highest score for open models that do not require training data from more powerful models (e.g. GPT4). We release this dataset with CC-BY-4.0 license at https://huggingface.co/datasets/nvidia/HelpSteer


title: TransCrimeNet: A Transformer-Based Model for Text-Based Crime Prediction in Criminal Networks

abstract: This paper presents TransCrimeNet, a novel transformer-based model for predicting future crimes in criminal networks from textual data. Criminal network analysis has become vital for law enforcement agencies to prevent crimes. However, existing graph-based methods fail to effectively incorporate crucial textual data like social media posts and interrogation transcripts that provide valuable insights into planned criminal activities. To address this limitation, we develop TransCrimeNet which leverages the representation learning capabilities of transformer models like BERT to extract features from unstructured text data. These text-derived features are fused with graph embeddings of the criminal network for accurate prediction of future crimes. Extensive experiments on real-world criminal network datasets demonstrate that TransCrimeNet outperforms previous state-of-the-art models by 12.7\% in F1 score for crime prediction. The results showcase the benefits of combining textual and graph-based features for actionable insights to disrupt criminal enterprises.


title: Chemodynamical study of two CEMP-no stars from the Hamburg/ESO Survey

abstract: The Carbon-Enhanced Metal-Poor (CEMP) stars with no enhancement of neutron-capture elements, the so-called CEMP-no stars are believed to be the direct descendants of first-generation stars and provide a unique opportunity to probe the early Galactic nucleosynthesis. We present a detailed chemical and kinematic analysis for two extremely metal-poor stars HE1243$-$2408 and HE0038$-$0345 using high-resolution (R${\sim}$86,000) HERMES spectra. For the object HE1243$-$2408, we could make a detailed comparison with the available literature values; however, only limited information is available for the other object HE0038$-$0345. Our estimated metallicity for these two objects are $-$3.05 and $-$2.92 respectively. With estimated [C/Fe] (1.03 and 1.05) and [Ba/Fe] ($-$0.18 and $-$0.11) respectively, the objects are found to be bonafide CEMP-no stars. From the observed abundances of C, Na, Mg, and Ba (i.e., A(C), A(Na), A(Mg), A(Ba)), the objects are found to belong to Group II CEMP-no stars. A detailed abundance profile analysis indicates that the objects are accreted from dSph satellite galaxies that support hierarchical Galaxy assembly. Further, our analysis shows that the progenitors of the stars are likely Pop II Core-Collapse Supernovae. The object HE0038$-$0345 is found to be a high-energy, prograde, outer-halo object, and HE1243$-$2408 is found to be a high-energy, retrograde, inner-halo object. Our detailed chemodynamical analysis shows that HE1243$-$2408 is related to I'itoi structure, where as HE0038$-$0345 is likely related to Sgr or GSE events. The mass of the progenitor galaxies of the program stars inferred from their dynamics is at par with their likely origin in massive dSph galaxies.


title: Analysis of an iterative reconstruction method in comparison of the standard reconstruction method

abstract: We present a detailed analysis of a new, iterative density reconstruction algorithm. This algorithm uses a decreasing smoothing scale to better reconstruct the density field in Lagrangian space. We implement this algorithm to run on the Quijote simulations, and extend it to (a) include a smoothing kernel that smoothly goes from anisotropic to isotropic, and (b) a variant that does not correct for redshift space distortions. We compare the performance of this algorithm with the standard reconstruction method. Our examinations of the methods include cross-correlation of the reconstructed density field with the linear density field, reconstructed two-point functions, and BAO parameter fitting. We also examine the impact of various parameters, such as smoothing scale, anisotropic smoothing, tracer type/bias, and the inclusion of second order perturbation theory. We find that the two reconstruction algorithms are comparable in most of the areas we examine. In particular, both algorithms give consistent fittings of BAO parameters. The fits are robust over a range of smoothing scales. We find the iterative algorithm is significantly better at removing redshift space distortions. The new algorithm will be a promising method to be employed in the ongoing and future large-scale structure surveys.


title: LightEMU: Hardware Assisted Fuzzing of Trusted Applications

abstract: Trusted Execution Environments (TEEs) are deployed in many CPU designs because of the confidentiality and integrity guarantees they provide. ARM TrustZone is a TEE extensively deployed on smart phones, IoT devices, and notebooks. Specifically, TrustZone is used to separate code execution and data into two worlds, normal world and secure world. However, this separation inherently prevents traditional fuzzing approaches which rely upon coverage-guided feedback and existing fuzzing research is, therefore, extremely limited. In this paper, we present a native and generic method to perform efficient and scalable feedback-driven fuzzing on Trusted Applications (TAs) using ARM CoreSight. We propose LightEMU, a novel fuzzing framework that allows us to fuzz TAs by decoupling them from relied TEE. We argue that LightEMU is a promising first-stage approach for rapidly discovering TA vulnerabilities prior to investing effort in whole system TEE evaluation precisely because the majority of publicly disclosed TrustZone bugs reside in the TA code itself. We implement LightEMU and adapt it to Teegris, Trusty, OP-TEE and QSEE and evaluate 8 real-world TAs while triggering 3 unique crashes and achieving x10 time speedup when fuzzing TAs using the state-of-the-art TrustZone fuzzing framework.