title: Experts Don't Cheat: Learning What You Don't Know By Predicting Pairs

abstract: Identifying how much a model ${\widehat{p}}_{\theta}(Y|X)$ knows about the stochastic real-world process $p(Y|X)$ it was trained on is important to ensure it avoids producing incorrect or "hallucinated" answers or taking unsafe actions. But this is difficult for generative models because probabilistic predictions do not distinguish between per-response noise (aleatoric uncertainty) and lack of knowledge about the process (epistemic uncertainty), and existing epistemic uncertainty quantification techniques tend to be overconfident when the model underfits. We propose a general strategy for teaching a model to both approximate $p(Y|X)$ and also estimate the remaining gaps between ${\widehat{p}}_{\theta}(Y|X)$ and $p(Y|X)$: train it to predict pairs of independent responses drawn from the true conditional distribution, allow it to "cheat" by observing one response while predicting the other, then measure how much it cheats. Remarkably, we prove that being good at cheating (i.e. cheating whenever it improves your prediction) is equivalent to being second-order calibrated, a principled extension of ordinary calibration that allows us to construct provably-correct frequentist confidence intervals for $p(Y|X)$ and detect incorrect responses with high probability. We demonstrate empirically that our approach accurately estimates how much models don't know across ambiguous image classification, (synthetic) language modeling, and partially-observable navigation tasks, outperforming existing techniques.


title: Passing Stars as an Important Driver of Paleoclimate and the Solar System's Orbital Evolution

abstract: Reconstructions of the paleoclimate indicate that ancient climatic fluctuations on Earth are often correlated with variations in its orbital elements. However, the chaos inherent in the solar system's orbital evolution prevents numerical simulations from confidently predicting Earth's past orbital evolution beyond 50-100 Myrs. Gravitational interactions among the Sun's planets and asteroids are believed to set this limiting time horizon, but most prior works approximate the solar system as an isolated system and neglect our surrounding Galaxy. Here we present simulations that include the Sun's nearby stellar population, and we find that close-passing field stars alter our entire planetary system's orbital evolution via their gravitational perturbations on the giant planets. This shortens the timespan over which Earth's orbital evolution can be definitively known by a further ~10%. In particular, in simulations that include an exceptionally close passage of the Sun-like star HD 7977 2.8 Myrs ago, new sequences of Earth's orbital evolution become possible in epochs before ~50 Myrs ago, which includes the Paleocene-Eocene Thermal Maximum. Thus, simulations predicting Earth's past orbital evolution before ~50 Myrs ago must consider the additional uncertainty from passing stars, which can open new regimes of past orbital evolution not seen in previous modeling efforts.


title: Magneto-optical Hall response in generic Weyl semimetals

abstract: Weyl semimetals are predicted to host signature magneto-optical properties sourced by their peculiar Landau level structure, including the chiral level. Analytical studies are often leaving out the Hall component of the conductivity due to its complicated nature, and even though the chiral anomaly requires Weyl nodes to come in charge-conjugate pairs, toy-models hosting only one node are considered almost exclusively; numerical studies including several Weyl nodes are on the other hand often limited to high-field quantum limits or DC studies. Here, I present a twofold purpose study, where I a) analytically derive a closed-form expression also for the Hall conductivity of a generic Weyl semimetal using linear response theory, and b) apply this general framework to evaluate the transverse conductivity components for Weyl systems with two nodes. I study how various model parameters, including the tilt, momentum separation, and energy location of the nodes, as well as the chemical potential affect the magneto-optical conductivity, and complement these studies with deriving an analytical expression for the DC Hall conductivity, which is also evaluated in various systems. Including a chiral pair of nodes result two important differences compared to earlier studies; the contribution from the chiral level is equal in size but opposite at the two nodes, making the net contribution to disappear; the energy scales at which intraband transitions occur is smeared out and approaches that of interband transitions, strengthening the hypothesis that intraband transitions mask signature optical features in materials. This general formalism can be applied for a large family of generic Weyl semimetals, and comprise an important piece towards unravelling the source of the mismatch between theoretical predictions and experimental observations in candidate materials.


title: Grid-Based Graphs, Linear Realizations and the Buratti-Horak-Rosa Conjecture

abstract: Label the vertices of the complete graph $K_v$ with the integers $\{0, 1, \ldots, v-1\}$ and define the {\em length} $\ell$ of the edge between distinct vertices labeled $x$ and $y$ by $\ell(x,y) = \min( |y-x|, v - |y-x| )$. A {\em realization} of a multiset $L$ of size $v-1$ is a Hamiltonian path through $K_v$ whose edge labels are $L$. The {\em Buratti-Horak-Rosa (BHR) Conjecture} is that there is a realization for a multiset $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ in $L$ is at most $v-d$. We introduce ``grid-based graphs" as a useful tool for constructing particular types of realizations, called ``linear realizations," especially when the multiset in question has a support of size 3. This lets us prove many new instances of the BHR Conjecture, including those for multisets of the form $\{1^a, x^b, y^c \}$ when $a \geq x+y - \epsilon$, where $\epsilon$ is the number of even elements in $\{ x,y \}$, and those for all multisets of the following forms for sufficiently large $v$ with $\gcd(v,y) = 1$ for all $y \in L$: $\{1^a, 2^b, x^c\}$, except possibly when $a \in \{1,2\}$ and $x$ is odd, $\{1^a, x^b, (x+1)^c\}$. This establishes that there are infinitely many sets $U$ of size 3 for which there are infinitely many values of $v$ where the BHR Conjecture holds for each multiset with support $U$. We also show that the BHR Conjecture holds for $\{1^a,x^b,(x+1)^c\}$ when $x \in \{7,9,10\}$ and $\gcd(v,x) = \gcd(v,x+1) = 1$.


title: Memory in a sequence of weak and short duration measurements of non-commuting observables

abstract: Sequential projective measurements of non-commuting observables destroy information about previous measurement outcomes, but weak measurements conducted over short durations do not cause as much disturbance to the system, and as a result, memory of previous outcomes may not be entirely eliminated. We use Quantum State Diffusion to unravel a Lindblad equation, generating numerical, stochastic trajectories for a spin 1/2 system and a system of two entangled spin 1/2 subsystems, each undergoing a sequence of measurements of S_{z} and S_{x} spin observables. The autocorrelation function of completed S_{z} measurement outcomes for a range of lag times is then found. In a second set of trajectories, the simulation is terminated if the system reaches the vicinity of a chosen set of eigenstates of S_{z} and S_{x}: the `terminating eigenstates', during the respective measurement intervals of the two observables. From the generated trajectories, the `probability of termination' that the system will arrive at one of the terminating eigenstates after a certain number of measurements have been performed, can be calculated, as well as the mean first passage, which is the number of measurements performed, on average, before the simulation ends. Results can then be compared with projective measurement Born rule statistics. We demonstrate that with short and weak measurements the autocorrelation function of S_{z} can be non-zero for a range of lag times, while it vanishes for strong, longer duration measurements in agreement with the Born rule. The probability of termination and the mean first passage increase under weaker and shorter measurements, revealing that the system is able to avoid particular eigenstates of S_{z} and S_{x} for extended periods of time. A bias can develop in favour of a return to the same eigenstate visited in the previous measurement(s) of a given observable: a memory effect.


title: Universal stress correlations in crystalline and amorphous packings

abstract: We present a universal characterization of stress correlations in athermal systems, across crystalline to amorphous packings. Via numerical analysis of static configurations of particles interacting through harmonic as well as Lennard-Jones potentials, for a variety of preparation protocols and ranges of microscopic disorder, we show that the properties of the stress correlations at large lengthscales are surprisingly universal across all situations, independent of structural correlations, or the correlations in orientational order. In the near-crystalline limit, we present exact results for the stress correlations for both models, which work surprisingly well at large lengthscales, even in the amorphous phase. Finally, we study the differences in stress fluctuations across the amorphization transition, where stress correlations reveal the loss of periodicity in the structure at short lengthscales with increasing disorder.


title: SEASONS: Signal and Energy Aware Sensing on iNtermittent Systems

abstract: Both energy-aware, batteryless intermittent systems and signal-aware adaptive sampling algorithms (ASA) aim to maximize sensor data accuracy under energy constraints in edge devices. Intuitively, combining both into a signal- & energy-aware solution would yield even better accuracy. Unfortunately, ASAs and intermittent systems rely on conflicting energy availability assumptions. So, a straightforward combination cannot achieve their combined benefits. Therefore, we propose SEASONS, the first framework for signal- and energy-aware intermittent systems. SEASONS buffers signal data in time, monitoring queue dynamics to ensure the data is reported within a user-specified latency constraint. SEASONS improves sensor data accuracy by 31% without increasing energy.


title: Astrophysical and relativistic modeling of the recoiling black-hole candidate in quasar 3C 186

abstract: The compact object in quasar 3C 186 is one of the most promising recoiling black-hole candidates, exhibiting both an astrometric displacement between the quasar and the host galaxy as well as a spectroscopic shift between broad and narrow lines. 3C 186 also presents a radio jet which, when projected onto the plane of the sky, appears to be perpendicular to the quasar/galaxy displacement. Assuming a gravitational-wave kick is indeed responsible for the properties of 3C 186 and using state-of-the-art relativistic modeling, we show that current observations allow for exquisite modeling of the recoiling black hole. Most notably, we find that the kick velocity, the black-hole spin, and the line of sight are almost collinear and the former appear perpendicular to each other only because of a strong projection effect. The targeted configuration requires substantial fine-tuning: while there exists a region in the black-hole binary parameter space that is compatible with 3C 186, the observed system appears to be a rare occurrence. Using archival radio observations, we explore different strategies that could potentially confirm or rule out our interpretation. In particular, we develop two observational tests that rely on the brightness ratio between the approaching and receding jet as well as the asymmetry of the jet lobes. While the available radio data provide loose constraints, deeper observations have the unique potential of unveiling the nature of 3C 186.


title: Algebraization Techniques and Rigid-Analytic Artin-Grothendieck Vanishing

abstract: First, we prove an algebraization result for rig-smooth algebras over a general noetherian ring; this positively answers the question raised in [Sta24, Tag 0GAX]. Then we prove a general partial algebraization result in non-archimedean geometry. The result says that we can always algebraize a geometrically reduced affinoid rigid-analytic space in "one direction" in an appropriate sense. As an application of this result, we show the remaining cases of the Artin-Grothendieck Vanishing for affinoid algebras, which were previously conjectured in [BM21, {\S}7]. This allows us to deduce a stronger version of the rigid-analytic Artin-Grothendieck Vanishing Conjecture (see [Han20, Conj. 1.2]) over a field of characteristic 0. Using a completely different set of ideas, we also obtain a weaker version of this conjecture over a field of characteristic p>0.


title: Unveiling Hidden Energy Anomalies: Harnessing Deep Learning to Optimize Energy Management in Sports Facilities

abstract: Anomaly detection in sport facilities has gained significant attention due to its potential to promote energy saving and optimizing operational efficiency. In this research article, we investigate the role of machine learning, particularly deep learning, in anomaly detection for sport facilities. We explore the challenges and perspectives of utilizing deep learning methods for this task, aiming to address the drawbacks and limitations of conventional approaches. Our proposed approach involves feature extraction from the data collected in sport facilities. We present a problem formulation using Deep Feedforward Neural Networks (DFNN) and introduce threshold estimation techniques to identify anomalies effectively. Furthermore, we propose methods to reduce false alarms, ensuring the reliability and accuracy of anomaly detection. To evaluate the effectiveness of our approach, we conduct experiments on aquatic center dataset at Qatar University. The results demonstrate the superiority of our deep learning-based method over conventional techniques, highlighting its potential in real-world applications. Typically, 94.33% accuracy and 92.92% F1-score have been achieved using the proposed scheme.


title: ADS: Approximate Densest Subgraph for Novel Image Discovery

abstract: The volume of image repositories continues to grow. Despite the availability of content-based addressing, we still lack a lightweight tool that allows us to discover images of distinct characteristics from a large collection. In this paper, we propose a fast and training-free algorithm for novel image discovery. The key of our algorithm is formulating a collection of images as a perceptual distance-weighted graph, within which our task is to locate the K-densest subgraph that corresponds to a subset of the most unique images. While solving this problem is not just NP-hard but also requires a full computation of the potentially huge distance matrix, we propose to relax it into a K-sparse eigenvector problem that we can efficiently solve using stochastic gradient descent (SGD) without explicitly computing the distance matrix. We compare our algorithm against state-of-the-arts on both synthetic and real datasets, showing that it is considerably faster to run with a smaller memory footprint while able to mine novel images more accurately.


title: CaseCohortCoxSurvival: an R Package for Case-Cohort Inference for Relative Hazard and Pure Risk under the Cox Model

abstract: The case-cohort design allows analysis of multiple endpoints and only requires covariates to be measured for cases and non-cases in a random subcohort from the cohort. Stratification of subcohort sampling and weight calibration increase efficiency of estimates of log-relative hazards and covariate-specific pure risk, but they may require specifically adapted variance estimators. Some recent articles in epidemiology and medical journals used an inappropriate "robust" variance estimator. In addition, stratification, weight calibration and analysis of pure risk seem underutilized in case-cohort studies, possibly because practitioners are put off by the varied technical methodologic literature and lack of convenient software. We recently proposed a unified approach to variance estimation for Cox model log-relative hazards and pure risks, and we implemented it in an R package, CaseCohortCoxSurvival, available on CRAN, that allows appropriate and convenient analysis of case-cohort data, with and without stratification, weight calibration, or missing at random phase-two data. Here we illustrate how easy it is to use CaseCohortCoxSurvival to analyze data from the Prostate, Lung, Colorectal and Ovarian Cancer Screening Trial to estimate pure covariate-specific risk of prostate cancer incidence with various case-cohort design and analysis options. These analyses also indicate situations where the simple "robust" variance is too large.


title: Hydrodynamic shielding in radiative multicloud outflows within multiphase galactic winds

abstract: Stellar-driven galactic winds regulate the mass and energy content of star-forming galaxies. Emission- and absorption-line spectroscopy shows that these outflows are multiphase and comprised of dense gas clouds embedded in much hotter winds. Explaining the presence of cold gas in such environments is a challenging endeavour that requires numerical modelling. In this paper we report a set of 3D hydrodynamical simulations of supersonic winds interacting with radiative and adiabatic multicloud systems, in which clouds are placed along a stream and separated by different distances. As a complement to previous adiabatic, subsonic studies, we demonstrate that hydrodynamic shielding is also triggered in supersonic winds and operates differently in adiabatic and radiative regimes. We find that the condensation of warm, mixed gas in between clouds facilitates hydrodynamic shielding by replenishing dense gas along the stream, provided that its cooling length is shorter than the cloud radius. Small separation distances between clouds also favour hydrodynamic shielding by reducing drag forces and the extent of the mixing region around the clouds. In contrast, large separation distances promote mixing and dense gas destruction via dynamical instabilities. The transition between shielding and no-shielding scenarios across different cloud separation distances is smooth in radiative supersonic models, as opposed to their adiabatic counterparts for which clouds need to be in close proximity. Overall, hydrodynamic shielding and re-condensation are effective mechanisms for preserving cold gas in multiphase flows for several cloud-crushing times, and thus can help understand cold gas survival in galactic winds.


title: An impossibility result for strongly group-strategyproof multi-winner approval-based voting

abstract: Multi-winner approval-based voting has received considerable attention recently. A voting rule in this setting takes as input ballots in which each agent approves a subset of the available alternatives and outputs a committee of alternatives of given size $k$. We consider the scenario when a coalition of agents can act strategically and alter their ballots so that the new outcome is strictly better for a coalition member and at least as good for anyone else in the coalition. Voting rules that are robust against this strategic behaviour are called strongly group-strategyproof. We prove that, for $k\in \{1,2, ..., m-2\}$, strongly group-strategyproof multi-winner approval-based voting rules which furthermore satisfy the minimum efficiency requirement of unanimity do not exist, where $m$ is the number of available alternatives. Our proof builds a connection to single-winner voting with ranking-based ballots and exploits the infamous Gibbard-Satterthwaite theorem to reach the desired impossibility result. Our result has implications for paradigmatic problems from the area of approximate mechanism design without money and indicates that strongly group-strategyproof mechanisms for minimax approval voting, variants of facility location, and classification can only have an unbounded approximation ratio.


title: Rationality of Learning Algorithms in Repeated Normal-Form Games

abstract: Many learning algorithms are known to converge to an equilibrium for specific classes of games if the same learning algorithm is adopted by all agents. However, when the agents are self-interested, a natural question is whether agents have a strong incentive to adopt an alternative learning algorithm that yields them greater individual utility. We capture such incentives as an algorithm's rationality ratio, which is the ratio of the highest payoff an agent can obtain by deviating from a learning algorithm to its payoff from following it. We define a learning algorithm to be $c$-rational if its rationality ratio is at most $c$ irrespective of the game. We first establish that popular learning algorithms such as fictitious play and regret matching are not $c$-rational for any constant $c\geq 1$. We then propose and analyze two algorithms that are provably $1$-rational under mild assumptions, and have the same properties as (a generalized version of) fictitious play and regret matching, respectively, if all agents follow them. Finally, we show that if an assumption of perfect monitoring is not satisfied, there are games for which $c$-rational algorithms do not exist, and illustrate our results with numerical case studies.


title: Nearest Neighbor Representations of Neurons

abstract: The Nearest Neighbor (NN) Representation is an emerging computational model that is inspired by the brain. We study the complexity of representing a neuron (threshold function) using the NN representations. It is known that two anchors (the points to which NN is computed) are sufficient for a NN representation of a threshold function, however, the resolution (the maximum number of bits required for the entries of an anchor) is $O(n\log{n})$. In this work, the trade-off between the number of anchors and the resolution of a NN representation of threshold functions is investigated. We prove that the well-known threshold functions EQUALITY, COMPARISON, and ODD-MAX-BIT, which require 2 or 3 anchors and resolution of $O(n)$, can be represented by polynomially large number of anchors in $n$ and $O(\log{n})$ resolution. We conjecture that for all threshold functions, there are NN representations with polynomially large size and logarithmic resolution in $n$.


title: Automated detection of motion artifacts in brain MR images using deep learning and explainable artificial intelligence

abstract: Quality assessment, including inspecting the images for artifacts, is a critical step during MRI data acquisition to ensure data quality and downstream analysis or interpretation success. This study demonstrates a deep learning model to detect rigid motion in T1-weighted brain images. We leveraged a 2D CNN for three-class classification and tested it on publicly available retrospective and prospective datasets. Grad-CAM heatmaps enabled the identification of failure modes and provided an interpretation of the model's results. The model achieved average precision and recall metrics of 85% and 80% on six motion-simulated retrospective datasets. Additionally, the model's classifications on the prospective dataset showed a strong inverse correlation (-0.84) compared to average edge strength, an image quality metric indicative of motion. This model is part of the ArtifactID tool, aimed at inline automatic detection of Gibbs ringing, wrap-around, and motion artifacts. This tool automates part of the time-consuming QA process and augments expertise on-site, particularly relevant in low-resource settings where local MR knowledge is scarce.


title: Towards the Detection of AI-Synthesized Human Face Images

abstract: Over the past years, image generation and manipulation have achieved remarkable progress due to the rapid development of generative AI based on deep learning. Recent studies have devoted significant efforts to address the problem of face image manipulation caused by deepfake techniques. However, the problem of detecting purely synthesized face images has been explored to a lesser extent. In particular, the recent popular Diffusion Models (DMs) have shown remarkable success in image synthesis. Existing detectors struggle to generalize between synthesized images created by different generative models. In this work, a comprehensive benchmark including human face images produced by Generative Adversarial Networks (GANs) and a variety of DMs has been established to evaluate both the generalization ability and robustness of state-of-the-art detectors. Then, the forgery traces introduced by different generative models have been analyzed in the frequency domain to draw various insights. The paper further demonstrates that a detector trained with frequency representation can generalize well to other unseen generative models.


title: Nearest Neighbor Representations of Neural Circuits

abstract: Neural networks successfully capture the computational power of the human brain for many tasks. Similarly inspired by the brain architecture, Nearest Neighbor (NN) representations is a novel approach of computation. We establish a firmer correspondence between NN representations and neural networks. Although it was known how to represent a single neuron using NN representations, there were no results even for small depth neural networks. Specifically, for depth-2 threshold circuits, we provide explicit constructions for their NN representation with an explicit bound on the number of bits to represent it. Example functions include NN representations of convex polytopes (AND of threshold gates), IP2, OR of threshold gates, and linear or exact decision lists.


title: Edge coloring lattice graphs

abstract: We develop the theory of the edge coloring of infinite lattice graphs, proving a necessary and sufficient condition for a proper edge coloring of a patch of a lattice graph to induce a proper edge coloring of the entire lattice graph by translation. This condition forms the cornerstone of a method that finds nearly minimal or minimal edge colorings of infinite lattice graphs. In case a nearly minimal edge coloring is requested, the running time is $O(\mu^2 D^4)$, where $\mu$ is the number of edges in one cell (or `basis graph') of the lattice graph and $D$ is the maximum distance between two cells so that there is an edge from within one cell to the other. In case a minimal edge coloring is requested, we lack an upper bound on the running time, which we find need not pose a limitation in practice; we use the method to minimal edge color the meshes of all $k$-uniform tilings of the plane for $k\leq 6$, while utilizing modest computational resources. We find that all these lattice graphs are Vizing class~I. Relating edge colorings to quantum circuits, our work finds direct application by offering minimal-depth quantum circuits in the areas of quantum simulation, quantum optimization, and quantum state verification.


title: Forecasting for Swap Regret for All Downstream Agents

abstract: We study the problem of making predictions so that downstream agents who best respond to them will be guaranteed diminishing swap regret, no matter what their utility functions are. It has been known since Foster and Vohra (1997) that agents who best-respond to calibrated forecasts have no swap regret. Unfortunately, the best known algorithms for guaranteeing calibrated forecasts in sequential adversarial environments do so at rates that degrade exponentially with the dimension of the prediction space. In this work, we show that by making predictions that are not calibrated, but are unbiased subject to a carefully selected collection of events, we can guarantee arbitrary downstream agents diminishing swap regret at rates that substantially improve over the rates that result from calibrated forecasts -- while maintaining the appealing property that our forecasts give guarantees for any downstream agent, without our forecasting algorithm needing to know their utility function. We give separate results in the ``low'' (1 or 2) dimensional setting and the ``high'' ($> 2$) dimensional setting. In the low dimensional setting, we show how to make predictions such that all agents who best respond to our predictions have diminishing swap regret -- in 1 dimension, at the optimal $O(\sqrt{T})$ rate. In the high dimensional setting we show how to make forecasts that guarantee regret scaling at a rate of $O(T^{2/3})$ (crucially, a dimension independent exponent), under the assumption that downstream agents smoothly best respond. Our results stand in contrast to rates that derive from agents who best respond to calibrated forecasts, which have an exponential dependence on the dimension of the prediction space.


title: On-the-Fly Syntax Highlighting: Generalisation and Speed-ups

abstract: On-the-fly syntax highlighting is the task of rapidly associating visual secondary notation values with each character of a language derivation. Research in this domain is driven by the prevalence of online software development tools, which frequently display source code on screen and heavily rely on syntax highlighting mechanisms. In this context, three contrasting demands confront resolvers in this space: speed, accuracy, and development costs. Speed constraints are essential to ensure tool usability, manifesting as responsiveness for end users accessing online source code and minimising system overhead. Simultaneously, achieving precise highlighting is critical for enhancing code comprehensibility. Nevertheless, obtaining accurate results necessitates the capacity to perform grammatical analysis on the code under consideration, even in cases of varying grammatical correctness. Furthermore, addressing the development costs of such resolvers is imperative, given the multitude of programming language versions. The current state-of-the-art approach in this field leverages the original lexer and parser of programming languages to create syntax highlighting oracles, subsequently used for training base Recurrent Neural Network models. As the question of the generalisation of such a solution persists, this paper addresses this aspect by extending the original work to three additional mainstream programming languages and conducting a comprehensive review of the outcomes. Moreover, the original limitations in evaluation performance and training costs are mitigated through the introduction of a novel Convolutional based Neural Network model. This study examines the performance gains of running models on GPUs, finding that the new CNN implementation is much faster than previous methods while maintaining high accuracy.


title: LLM-driven Imitation of Subrational Behavior : Illusion or Reality?

abstract: Modeling subrational agents, such as humans or economic households, is inherently challenging due to the difficulty in calibrating reinforcement learning models or collecting data that involves human subjects. Existing work highlights the ability of Large Language Models (LLMs) to address complex reasoning tasks and mimic human communication, while simulation using LLMs as agents shows emergent social behaviors, potentially improving our comprehension of human conduct. In this paper, we propose to investigate the use of LLMs to generate synthetic human demonstrations, which are then used to learn subrational agent policies though Imitation Learning. We make an assumption that LLMs can be used as implicit computational models of humans, and propose a framework to use synthetic demonstrations derived from LLMs to model subrational behaviors that are characteristic of humans (e.g., myopic behavior or preference for risk aversion). We experimentally evaluate the ability of our framework to model sub-rationality through four simple scenarios, including the well-researched ultimatum game and marshmallow experiment. To gain confidence in our framework, we are able to replicate well-established findings from prior human studies associated with the above scenarios. We conclude by discussing the potential benefits, challenges and limitations of our framework.


title: Learning How To Ask: Cycle-Consistency Refines Prompts in Multimodal Foundation Models

abstract: When LLMs perform zero-shot inference, they typically use a prompt with a task specification, and generate a completion. However, there is no work to explore the possibility of the reverse - going from completion to task specification. In this paper, we employ both directions to perform cycle-supervised learning entirely in-context. Our goal is to create a forward map f : X -> Y (e.g. image -> generated caption), coupled with a backward map g : Y -> X (e.g. caption -> generated image) to construct a cycle-consistency "loss" (formulated as an update to the prompt) to enforce g(f(X)) ~= X. The technique, called CyclePrompt, uses cycle-consistency as a free supervisory signal to iteratively craft the prompt. Importantly, CyclePrompt reinforces model performance without expensive fine-tuning, without training data, and without the complexity of external environments (e.g. compilers, APIs). We demonstrate CyclePrompt in two domains: code generation and image captioning. Our results on the HumanEval coding benchmark put us in first place on the leaderboard among models that do not rely on extra training data or usage of external environments, and third overall. Compared to the GPT4 baseline, we improve accuracy from 80.5% to 87.2%. In the vision-language space, we generate detailed image captions which outperform baseline zero-shot GPT4V captions, when tested against natural (VQAv2) and diagrammatic (FigureQA) visual question-answering benchmarks. To the best of our knowledge, this is the first use of self-supervised learning for prompting.


title: Nonlinear, non-signaling Schr\"odinger equation

abstract: A nonlinear extension of Schr\"odinger's wave equation is proposed that ensures non-signaling by keeping linear the evolution of \textit{coordinate-diagonal} elements of the density matrix. The equation contains a negative kinetic energy term that turns spreading of wave packets into its opposite: collapsing, as some effective mass $M$ grows beyond a universal critical mass, estimated to be about $\mu = 2\cdot10^{-23}~$kg; then linear quantum kinetic energy gets negligible, which marks the quantum-classical border. Interference of large molecules is suggested for an experimental check of the proposed framework.


title: Bayesian Strategic Classification

abstract: In strategic classification, agents modify their features, at a cost, to ideally obtain a positive classification from the learner's classifier. The typical response of the learner is to carefully modify their classifier to be robust to such strategic behavior. When reasoning about agent manipulations, most papers that study strategic classification rely on the following strong assumption: agents fully know the exact parameters of the deployed classifier by the learner. This often is an unrealistic assumption when using complex or proprietary machine learning techniques in real-world prediction tasks. We initiate the study of partial information release by the learner in strategic classification. We move away from the traditional assumption that agents have full knowledge of the classifier. Instead, we consider agents that have a common distributional prior on which classifier the learner is using. The learner in our model can reveal truthful, yet not necessarily complete, information about the deployed classifier to the agents. The learner's goal is to release just enough information about the classifier to maximize accuracy. We show how such partial information release can, counter-intuitively, benefit the learner's accuracy, despite increasing agents' abilities to manipulate. We show that while it is intractable to compute the best response of an agent in the general case, there exist oracle-efficient algorithms that can solve the best response of the agents when the learner's hypothesis class is the class of linear classifiers, or when the agents' cost function satisfies a natural notion of submodularity as we define. We then turn our attention to the learner's optimization problem and provide both positive and negative results on the algorithmic problem of how much information the learner should release about the classifier to maximize their expected accuracy.


title: Spectral instability of peakons for the $b$-family of Novikov equations

abstract: {{In this paper}}, we are concerned with a one-parameter family of peakon equations with cubic nonlinearity parametrized by a parameter usually denoted by the letter $b$. This family is called the ``$b$-Novikov'' since it reduces to the integrable Novikov equation in the case $b=3$. By extending the corresponding linearized operator defined on functions in $H^1(\mathbb{R})$ to one defined on weaker functions on $L^2(\mathbb{R})$, we prove spectral and linear instability on $\LT$ of peakons in the $b$-Novikov equations for any $b$. We also consider the stability on $\HT$ and show that the peakons are spectrally or linearly stable only in the case $b=3$.


title: Entanglement of vortices in the Ginzburg--Landau equations for superconductors

abstract: In 1988, Nelson proposed that neighboring vortex lines in high-temperature superconductors may become entangled with each other. In this article we construct solutions to the Ginzburg--Landau equations which indeed have this property, as they exhibit entangled vortex lines of arbitrary topological complexity.


title: JAMDEC: Unsupervised Authorship Obfuscation using Constrained Decoding over Small Language Models

abstract: The permanence of online content combined with the enhanced authorship identification techniques calls for stronger computational methods to protect the identity and privacy of online authorship when needed, e.g., blind reviews for scientific papers, anonymous online reviews, or anonymous interactions in the mental health forums. In this paper, we propose an unsupervised inference-time approach to authorship obfuscation to address the unique challenges of authorship obfuscation: lack of supervision data for diverse authorship and domains, and the need for a sufficient level of revision beyond simple paraphrasing to obfuscate the authorship, all the while preserving the original content and fluency. We introduce JAMDEC, a user-controlled, inference-time algorithm for authorship obfuscation that can be in principle applied to any text and authorship. Our approach builds on small language models such as GPT2-XL in order to help avoid disclosing the original content to proprietary LLM's APIs, while also reducing the performance gap between small and large language models via algorithmic enhancement. The key idea behind our approach is to boost the creative power of smaller language models through constrained decoding, while also allowing for user-specified controls and flexibility. Experimental results demonstrate that our approach based on GPT2-XL outperforms previous state-of-the-art methods based on comparably small models, while performing competitively against GPT3.5 175B, a propriety model that is two orders of magnitudes larger.


title: Linear-quadratic optimal control for abstract differential-algebraic equations

abstract: In this paper, we extend classical approach to linear quadratic (LQ) optimal control via Popov operators to abstract linear differential-algebraic equations in Hilbert spaces. To ensure existence of solutions, we assume that the underlying differential-algebraic equation has index one in the pseudo-resolvent sense. This leads to the existence of a degenerate semigroup that can be used to define a Popov operator for our system. It is shown that under a suitable coercivity assumption for the Popov operator the optimal costs can be described by a bounded Riccati operator and that the optimal control input is of feedback form. Furthermore, we characterize exponential stability of abstract differential-algebraic equations which is required to solve the infinite horizon LQ problem.


title: Enhancing Robustness of Indoor Robotic Navigation with Free-Space Segmentation Models Against Adversarial Attacks

abstract: Endeavors in indoor robotic navigation rely on the accuracy of segmentation models to identify free space in RGB images. However, deep learning models are vulnerable to adversarial attacks, posing a significant challenge to their real-world deployment. In this study, we identify vulnerabilities within the hidden layers of neural networks and introduce a practical approach to reinforce traditional adversarial training. Our method incorporates a novel distance loss function, minimizing the gap between hidden layers in clean and adversarial images. Experiments demonstrate satisfactory performance in improving the model's robustness against adversarial perturbations.


title: A Dataset for the Detection of Dehumanizing Language

abstract: Dehumanization is a mental process that enables the exclusion and ill treatment of a group of people. In this paper, we present two data sets of dehumanizing text, a large, automatically collected corpus and a smaller, manually annotated data set. Both data sets include a combination of political discourse and dialogue from movie subtitles. Our methods give us a broad and varied amount of dehumanization data to work with, enabling further exploratory analysis and automatic classification of dehumanization patterns. Both data sets will be publicly released.


title: Who is driving the conversation? Analysing the nodality of British MPs and journalists on Twitter

abstract: Who sets the policy agenda? In this paper, we explore the roles of policy actors in agenda setting by studying their relative influence in policy-related discussions. Our approach builds on ``nodality'' \textemdash a concept in political science that determines the capacity of an actor to share information and to be at the centre of information networks. We propose a novel methodology that quantifies the nodality of all individual actors in any conversation by analysing a comprehensive set of their centrality measures in the related information network. We combine this with the analysis of the activity time-series, of the related conversation (or topic), to demonstrate how nodality scores relate to the capacity to drive topic-related activity. Here we analyse policy-related discussions on X (previously Twitter) and quantify the nodality of two sets of actors in the UK political system \textemdash Members of Parliament (MPs) and accredited journalists - on four policy topics: The Russia-Ukraine War, the Cost-of-Living Crisis, Brexit and COVID-19. Our results show that the capacity to influence the activity related to a topic is significantly and positively associated with nodality. In particular, we identify two dimensions of nodality that drive the capacity to influence topic-related activity. The first is ``active nodality", which reflects the level of topic-related engagement an individual actor has on the platform. The second dimension is ``inherent nodality" which is entirely independent of the platform and reflects the actor's institutional position (such as an MP in a front-bench role, or a journalist's position at a prominent media outlet).


title: Pushing the Frontiers of Non-equilibrium Dynamics of Collisionless and Weakly Collisional Self-gravitating Systems

abstract: In the standard cosmological paradigm, structure formation occurs via gravitational encounters and mergers between galaxies and dark matter halos. These collisionless self-gravitating systems therefore prevail in a state of non-equilibrium or quasi-equilibrium at best. Recent observations show that even our own Milky Way galaxy harbors non-equilibrium features. This calls for a shift of gear from the standard equilibrium galactic dynamics to the less explored non-equilibrium dynamics. This dissertation presents novel theories to describe the relaxation/equilibration of perturbed galaxies (via phase-mixing, Landau damping, etc.) in the impulsive, adiabatic and near-resonant regimes, as well as the back reaction of the host galaxy response on the perturber, resulting in its secular evolution (dynamical friction). First, we present a non-perturbative treatment of penetrating impulsive encounters between galaxies, a generalization of the standard theory which only works for distant encounters. Next, a general perturbative formalism for the phase-mixing of the response of disk galaxies to external perturbations (e.g., satellite impacts) is presented, which describes the formation and evolution of non-equilibrium features called phase-spirals akin to those discovered in our Milky Way galaxy by Gaia. Finally, we present a self-consistent perturbative theory and a non-perturbative orbit-based treatment of the near-resonant galaxy response and dynamical friction. These theories, for the first time, explain the origin of dynamical buoyancy and core-stalling, phenomena observed in $N$-body simulations of the dynamical friction of massive perturbers in cored galaxies that are unexplained in the standard Chandrasekhar and resonance theories. These processes have profound astrophysical implications, e.g., they can stall and potentially choke supermassive black hole mergers in cored galaxies.

categories: astro-ph.GA astro-ph.CO nlin.CD physics.class-ph physics.plasm-ph


title: Laboratory Benchmark of $n\geq4$ Dielectronic Recombination Satellites of Fe XVII

abstract: We calculated cross sections for the dielectronic recombination (DR) satellite lines of Fe XVII and benchmarked our predictions with experimental cross sections of Fe XVII resonances that were mono-energetically excited in an electron beam ion trap. We extend the benchmark to all resolved DR and direct electron-impact excitation (DE) channels in the experimental dataset, specifically the $n\geq4$ DR resonances of Fe XVII, complementing earlier investigations of $n=3$ channels. Our predictions overestimate by 20-25$\%$ the DR and DE absolute cross sections for the higher $n$ complexes when using the same methods as in previous works. However, we achieve agreement within $\sim$10$\%$ of the experimental results by an approach in which we "forward fold" the predicted cross sections with the spread of the electron-beam energy and the photon-energy resolution of our experiment. We then calculated rate coefficients from the experimental and theoretical cross sections, finding departures of $10-20\%$ from the rates found in the OPEN-ADAS atomic database.

categories: physics.atom-ph astro-ph.HE astro-ph.IM astro-ph.SR physics.plasm-ph


title: Adversarially Robust Feature Learning for Breast Cancer Diagnosis

abstract: Adversarial data can lead to malfunction of deep learning applications. It is essential to develop deep learning models that are robust to adversarial data while accurate on standard, clean data. In this study, we proposed a novel adversarially robust feature learning (ARFL) method for a real-world application of breast cancer diagnosis. ARFL facilitates adversarial training using both standard data and adversarial data, where a feature correlation measure is incorporated as an objective function to encourage learning of robust features and restrain spurious features. To show the effects of ARFL in breast cancer diagnosis, we built and evaluated diagnosis models using two independent clinically collected breast imaging datasets, comprising a total of 9,548 mammogram images. We performed extensive experiments showing that our method outperformed several state-of-the-art methods and that our method can enhance safer breast cancer diagnosis against adversarial attacks in clinical settings.


title: FLASH: Federated Learning Across Simultaneous Heterogeneities

abstract: The key premise of federated learning (FL) is to train ML models across a diverse set of data-owners (clients), without exchanging local data. An overarching challenge to this date is client heterogeneity, which may arise not only from variations in data distribution, but also in data quality, as well as compute/communication latency. An integrated view of these diverse and concurrent sources of heterogeneity is critical; for instance, low-latency clients may have poor data quality, and vice versa. In this work, we propose FLASH(Federated Learning Across Simultaneous Heterogeneities), a lightweight and flexible client selection algorithm that outperforms state-of-the-art FL frameworks under extensive sources of heterogeneity, by trading-off the statistical information associated with the client's data quality, data distribution, and latency. FLASH is the first method, to our knowledge, for handling all these heterogeneities in a unified manner. To do so, FLASH models the learning dynamics through contextual multi-armed bandits (CMAB) and dynamically selects the most promising clients. Through extensive experiments, we demonstrate that FLASH achieves substantial and consistent improvements over state-of-the-art baselines -- as much as 10% in absolute accuracy -- thanks to its unified approach. Importantly, FLASH also outperforms federated aggregation methods that are designed to handle highly heterogeneous settings and even enjoys a performance boost when integrated with them.


title: Unitarily equivalent bilateral weighted shifts with operator weights

abstract: We study unitarily equivalent bilateral weighted shifts with operator weights. We establish a general characterization of unitary equivalence of such shifts under the assumption that the weights are quasi-invertible. We prove that under certain assumptions unitary equivalence of bilateral weighted shifts with operator weights defined on $ \mathbb{C}^{2} $ can always be given by a unitary operator with at most two non-zero diagonals. We provide examples of unitarily equivalent shifts with weights defined on $ \mathbb{C}^{k} $ such that every unitary operator, which intertwines them has at least $ k $ non-zero diagonals.


title: Introducing RSESS: An Open Source Enumerative Sphere Shaping Implementation Coded in Rust

abstract: In this work, we present an open-source implementation of the enumerative sphere shaping (ESS) algorithm used for probabilistic constellation shaping (PCS). PCS aims at closing the shaping gap caused by using uniformly distributed modulation symbols in channels for which information theory shows non-uniformly distributed signaling to be optimal. ESS is one such PCS algorithm that sets itself apart as it operates on a trellis representation of a subset of the possible symbol sequences. ESS leads to an empirical distribution of the symbols that closely approximates the optimal distribution for the additive white Gaussian noise (AWGN) channel. We provide an open-source implementation of this algorithm in the compiled language Rust, as well as Python bindings with which our Rust code can be called in a regular Python script. We also compare simulation results on the AWGN channel using our implementation with previous works on this topic.


title: Optimal Task Assignment and Path Planning using Conflict-Based Search with Precedence and Temporal Constraints

abstract: The Multi-Agent Path Finding (MAPF) problem entails finding collision-free paths for a set of agents, guiding them from their start to goal locations. However, MAPF does not account for several practical task-related constraints. For example, agents may need to perform actions at goal locations with specific execution times, adhering to predetermined orders and timeframes. Moreover, goal assignments may not be predefined for agents, and the optimization objective may lack an explicit definition. To incorporate task assignment, path planning, and a user-defined objective into a coherent framework, this paper examines the Task Assignment and Path Finding with Precedence and Temporal Constraints (TAPF-PTC) problem. We augment Conflict-Based Search (CBS) to simultaneously generate task assignments and collision-free paths that adhere to precedence and temporal constraints, maximizing an objective quantified by the return from a user-defined reward function in reinforcement learning (RL). Experimentally, we demonstrate that our algorithm, CBS-TA-PTC, can solve highly challenging bomb-defusing tasks with precedence and temporal constraints efficiently relative to MARL and adapted Target Assignment and Path Finding (TAPF) methods.


title: Concentration of the number of real roots of random polynomials

abstract: Many statistics of roots of random polynomials have been studied in the literature, but not much is known on the concentration aspect. In this note we present a systematic study of this question, aiming towards nearly optimal bounds to some extent. Our method is elementary and works well for many models of random polynomials, with gaussian or non-gaussian coefficients.


title: LDTrack: Dynamic People Tracking by Service Robots using Diffusion Models

abstract: Tracking of dynamic people in cluttered and crowded human-centered environments is a challenging robotics problem due to the presence of intraclass variations including occlusions, pose deformations, and lighting variations. This paper introduces a novel deep learning architecture, using conditional latent diffusion models, the Latent Diffusion Track (LDTrack), for tracking multiple dynamic people under intraclass variations. By uniquely utilizing conditional latent diffusion models to capture temporal person embeddings, our architecture can adapt to appearance changes of people over time. We incorporated a latent feature encoder network which enables the diffusion process to operate within a high-dimensional latent space to allow for the extraction and spatial-temporal refinement of such rich features as person appearance, motion, location, identity, and contextual information. Extensive experiments demonstrate the effectiveness of LDTrack over other state-of-the-art tracking methods in cluttered and crowded human-centered environments under intraclass variations. Namely, the results show our method outperforms existing deep learning robotic people tracking methods in both tracking accuracy and tracking precision with statistical significance.


title: Almost Tight Bounds for Online Hypergraph Matching

abstract: In the online hypergraph matching problem, hyperedges of size $k$ over a common ground set arrive online in adversarial order. The goal is to obtain a maximum matching (disjoint set of hyperedges). A na\"ive greedy algorithm for this problem achieves a competitive ratio of $\frac{1}{k}$. We show that no (randomized) online algorithm has competitive ratio better than $\frac{2+o(1)}{k}$. If edges are allowed to be assigned fractionally, we give a deterministic online algorithm with competitive ratio $\frac{1-o(1)}{\ln(k)}$ and show that no online algorithm can have competitive ratio strictly better than $\frac{1+o(1)}{\ln(k)}$. Lastly, we give a $\frac{1-o(1)}{\ln(k)}$ competitive algorithm for the fractional edge-weighted version of the problem under a free disposal assumption.


title: An assessment of frozen natural orbitals and band gaps using equation of motion coupled cluster theory: a case study on polyacene and trans-polyacetylene

abstract: Frozen natural orbitals (FNOs) are used to augment IP/EA-EOM-CCSD calculations targeting the band gap of trans-polyacetylene and polyacene. We show the resulting electron affinities (EAs), ionization potentials (IPs), and extrapolated band gaps incur errors that are largely tunable to a desired accuracy, yet require many orders of magnitude fewer core-hours as compared to the corresponding full calculation. The relationship between various FNO truncation schemes and (cc-pV$n$Z) basis set is also examined.


title: DNABERT-S: Learning Species-Aware DNA Embedding with Genome Foundation Models

abstract: Effective DNA embedding remains crucial in genomic analysis, particularly in scenarios lacking labeled data for model fine-tuning, despite the significant advancements in genome foundation models. A prime example is metagenomics binning, a critical process in microbiome research that aims to group DNA sequences by their species from a complex mixture of DNA sequences derived from potentially thousands of distinct, often uncharacterized species. To fill the lack of effective DNA embedding models, we introduce DNABERT-S, a genome foundation model that specializes in creating species-aware DNA embeddings. To encourage effective embeddings to error-prone long-read DNA sequences, we introduce Manifold Instance Mixup (MI-Mix), a contrastive objective that mixes the hidden representations of DNA sequences at randomly selected layers and trains the model to recognize and differentiate these mixed proportions at the output layer. We further enhance it with the proposed Curriculum Contrastive Learning (C$^2$LR) strategy. Empirical results on 18 diverse datasets showed DNABERT-S's remarkable performance. It outperforms the top baseline's performance in 10-shot species classification with just a 2-shot training while doubling the Adjusted Rand Index (ARI) in species clustering and substantially increasing the number of correctly identified species in metagenomics binning. The code, data, and pre-trained model are publicly available at https://github.com/Zhihan1996/DNABERT_S.


title: On the Role of the Wall Curvature in the Development of Flows Reattached over an Airfoil through Unsteady Blowing

abstract: An array of twelve circular-orifice synthetic jet actuators (SJAs) was used to provide the unsteady forcing required for flow separation control over a National Advisory Committee for Aeronautics (NACA) 0025 airfoil at a chord-based Reynolds number of 100000 and an angle of attack of 10{\deg}. Two distinct high- and low-forcing frequencies corresponding to the shear layer and wake instabilities were used at an identical blowing strength for flow control. Particle image velocimetry (PIV) was used to measure the velocity fields at the centerline of the airfoil. The results showed the presence of a turbulent shear layer stretching from the edge of the reattached boundary layer to the irrotational flow with an invariant mean spanwise vorticity in the wall-normal direction. It was revealed that the coherent structures for the high-frequency controlled case are advected along the boundary of the rigid-body rotation shear layer and the irrotational flow, whereas for the low-frequency actuation, some structures directly pass through the rigid-body rotation region, disrupting the wall-normal balance of vorticity. Analytical expressions were derived for the variation of the mean spanwise vorticity in the rigid-body rotation region and the curvature-multiplied mean angular momentum in the irrotational flow region based on order-of-magnitude analysis and semi-empirical grounds. The resulting patterns showed an excellent agreement with the measured experimental data.


title: Strategic Contract Negotiation in Financial Networks

abstract: How can firms optimally negotiate bilateral contracts with each other in a financial network? Every firm seeks to maximize the utility it gains from its portfolio of contracts. We focus on mean-variance utilities, where each firm has its own beliefs about the expected returns of the contracts and the covariances between them (Markowitz, J. Finance 7(11), 1952). Instead of revealing these beliefs, a firm may adopt a different negotiating position, seeking better contract terms. We formulate a contract negotiation process by which such strategic behavior leads to a network of contracts. In our formulation, any subset of firms can be strategic. The negotiating positions of these firms can form Nash equilibria, where each firm's position is optimal given the others' positions. We give a polynomial-time algorithm to find the Nash equilibria, if they exist, and certify their nonexistence otherwise. We explore the implications of such equilibria on several model networks. These illustrate that firms' utilities can be sensitive to their negotiating position. We then propose trade deadlines as a mechanism to reduce the need for strategic behavior. At the deadline, each firm can unilaterally cancel some or all of its contracts, for a penalty. In our model networks, we show that trade deadlines can reduce the loss of utility from being honest. We empirically verify our insights using data on international trade between 46 large economies.


title: Enhanced Deep Q-Learning for 2D Self-Driving Cars: Implementation and Evaluation on a Custom Track Environment

abstract: This research project presents the implementation of a Deep Q-Learning Network (DQN) for a self-driving car on a 2-dimensional (2D) custom track, with the objective of enhancing the DQN network's performance. It encompasses the development of a custom driving environment using Pygame on a track surrounding the University of Memphis map, as well as the design and implementation of the DQN model. The algorithm utilizes data from 7 sensors installed in the car, which measure the distance between the car and the track. These sensors are positioned in front of the vehicle, spaced 20 degrees apart, enabling them to sense a wide area ahead. We successfully implemented the DQN and also a modified version of the DQN with a priority-based action selection mechanism, which we refer to as modified DQN. The model was trained over 1000 episodes, and the average reward received by the agent was found to be around 40, which is approximately 60% higher than the original DQN and around 50% higher than the vanilla neural network.


title: Equitable screening

abstract: I study the problem of a government providing benefits while considering the perceived equity of the resulting allocation. Such concerns are modeled through an equity constraint requiring that equally deserving agents receive equal allocations. I ask what forms of screening are compatible with equity and show that while the government cannot equitably screen with a single instrument (e.g. payments or wait times), combining multiple instruments, which on their own favor different groups, allows it to screen while still producing an equitable allocation.


title: Hecke-Farey coordinates for Bring's curve that gives Bring's surface

abstract: The modular group $\Gamma$ (which is the Hecke group $H_3$) can be used to study triangular maps. Here we use the Hecke group $H_4$ to study the regular map that underlies Bring's surface of genus 4. Our main result is the determination of the 20-sided hyperbolic polygon that gives Bring's surface.


title: Remarks on MacMahon's $q$-series

abstract: In his important 1920 paper on partitions, MacMahon defined the partition generating functions \begin{align*} A_k(q)=\sum_{n=1}^{\infty}\mathfrak{m}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{s_1+s_2+\cdots+s_k}}{(1-q^{s_1})^2(1-q^{s_2})^2\cdots(1-q^{s_k})^2},\\ C_k(q)=\sum_{n=1}^{\infty} \mathfrak{m}_{odd}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{2s_1+2s_2+\cdots+2s_k-k}}{(1-q^{2s_1-1})^2(1-q^{2s_2-1})^2\cdots(1-q^{2s_k-1})^2}. \end{align*} These series give infinitely many formulas for two prominent generating functions. For each non-negative $k$, we prove that $A_k(q), A_{k+1}(q), A_{k+2}(q),\dots$ (resp. $C_k(q), C_{k+1}(q), C_{k+2}(q),\dots$) give the generating function for the 3-colored partition function $p_3(n)$ (resp. the overpartition function $\overline{p}(n)$).


title: Preconditioners for the Stochastic Training of Implicit Neural Representations

abstract: Implicit neural representations have emerged as a powerful technique for encoding complex continuous multidimensional signals as neural networks, enabling a wide range of applications in computer vision, robotics, and geometry. While Adam is commonly used for training due to its stochastic proficiency, it entails lengthy training durations. To address this, we explore alternative optimization techniques for accelerated training without sacrificing accuracy. Traditional second-order optimizers like L-BFGS are suboptimal in stochastic settings, making them unsuitable for large-scale data sets. Instead, we propose stochastic training using curvature-aware diagonal preconditioners, showcasing their effectiveness across various signal modalities such as images, shape reconstruction, and Neural Radiance Fields (NeRF).


title: InstructGraph: Boosting Large Language Models via Graph-centric Instruction Tuning and Preference Alignment

abstract: Do current large language models (LLMs) better solve graph reasoning and generation tasks with parameter updates? In this paper, we propose InstructGraph, a framework that empowers LLMs with the abilities of graph reasoning and generation by instruction tuning and preference alignment. Specifically, we first propose a structured format verbalizer to unify all graph data into a universal code-like format, which can simply represent the graph without any external graph-specific encoders. Furthermore, a graph instruction tuning stage is introduced to guide LLMs in solving graph reasoning and generation tasks. Finally, we identify potential hallucination problems in graph tasks and sample negative instances for preference alignment, the target of which is to enhance the output's reliability of the model. Extensive experiments across multiple graph-centric tasks exhibit that InstructGraph can achieve the best performance and outperform GPT-4 and LLaMA2 by more than 13\% and 38\%, respectively.


title: Present status of PICOLON project

abstract: The existence of cosmic dark matter and neutrino properties are long-standing problems in cosmology and particle physics. These problems have been investigated by using radiation detectors. We will discuss the application of inorganic crystal scintillators to studies on dark matter and neutrino properties. A large volume and high-purity inorganic crystal is a promising detector for investigating dark matter and neutrino.


title: Rethinking Machine Unlearning for Large Language Models

abstract: We explore machine unlearning (MU) in the domain of large language models (LLMs), referred to as LLM unlearning. This initiative aims to eliminate undesirable data influence (e.g., sensitive or illegal information) and the associated model capabilities, while maintaining the integrity of essential knowledge generation and not affecting causally unrelated information. We envision LLM unlearning becoming a pivotal element in the life-cycle management of LLMs, potentially standing as an essential foundation for developing generative AI that is not only safe, secure, and trustworthy, but also resource-efficient without the need of full retraining. We navigate the unlearning landscape in LLMs from conceptual formulation, methodologies, metrics, and applications. In particular, we highlight the often-overlooked aspects of existing LLM unlearning research, e.g., unlearning scope, data-model interaction, and multifaceted efficacy assessment. We also draw connections between LLM unlearning and related areas such as model editing, influence functions, model explanation, adversarial training, and reinforcement learning. Furthermore, we outline an effective assessment framework for LLM unlearning and explore its applications in copyright and privacy safeguards and sociotechnical harm reduction.


title: Syllable based DNN-HMM Cantonese Speech to Text System

abstract: This paper reports our work on building up a Cantonese Speech-to-Text (STT) system with a syllable based acoustic model. This is a part of an effort in building a STT system to aid dyslexic students who have cognitive deficiency in writing skills but have no problem expressing their ideas through speech. For Cantonese speech recognition, the basic unit of acoustic models can either be the conventional Initial-Final (IF) syllables, or the Onset-Nucleus-Coda (ONC) syllables where finals are further split into nucleus and coda to reflect the intra-syllable variations in Cantonese. By using the Kaldi toolkit, our system is trained using the stochastic gradient descent optimization model with the aid of GPUs for the hybrid Deep Neural Network and Hidden Markov Model (DNN-HMM) with and without I-vector based speaker adaptive training technique. The input features of the same Gaussian Mixture Model with speaker adaptive training (GMM-SAT) to DNN are used in all cases. Experiments show that the ONC-based syllable acoustic modeling with I-vector based DNN-HMM achieves the best performance with the word error rate (WER) of 9.66% and the real time factor (RTF) of 1.38812.


title: Leveraging cough sounds to optimize chest x-ray usage in low-resource settings

abstract: Chest X-ray is a commonly used tool during triage, diagnosis and management of respiratory diseases. In resource-constricted settings, optimizing this resource can lead to valuable cost savings for the health care system and the patients as well as to and improvement in consult time. We used prospectively-collected data from 137 patients referred for chest X-ray at the Christian Medical Center and Hospital (CMCH) in Purnia, Bihar, India. Each patient provided at least five coughs while awaiting radiography. Collected cough sounds were analyzed using acoustic AI methods. Cross-validation was done on temporal and spectral features on the cough sounds of each patient. Features were summarized using standard statistical approaches. Three models were developed, tested and compared in their capacity to predict an abnormal result in the chest X-ray. All three methods yielded models that could discriminate to some extent between normal and abnormal with the logistic regression performing best with an area under the receiver operating characteristic curves ranging from 0.7 to 0.78. Despite limitations and its relatively small sample size, this study shows that AI-enabled algorithms can use cough sounds to predict which individuals presenting for chest radiographic examination will have a normal or abnormal results. These results call for expanding this research given the potential optimization of limited health care resources in low- and middle-income countries.


title: Improving Molecule Generation and Drug Discovery with a Knowledge-enhanced Generative Model

abstract: Recent advancements in generative models have established state-of-the-art benchmarks in generating molecules and novel drug candidates. Despite these successes, a significant gap persists between generative models and the utilization of extensive biomedical knowledge, often systematized within knowledge graphs, whose potential to inform and enhance generative processes has not been realized. In this paper, we present a novel approach that bridges this divide by developing a framework for knowledge-enhanced generative models called K-DReAM. We develop a scalable methodology to extend the functionality of knowledge graphs while preserving semantic integrity and incorporate this contextual information into a generative framework to guide a diffusion-based model. The integration of knowledge graph embeddings with our generative model furnishes a robust mechanism for producing novel drug candidates possessing specific characteristics while ensuring validity and synthesizability. K-DReAM outperforms state-of-the-art generative models on both unconditional and targeted generation tasks.


title: Investigating Neutron Scattering in a Spherical Proportional Counter: A Tabletop Experiment

abstract: In this paper, we report on a tabletop experiment studying neutron scattering in a Spherical Proportional Counter using an Am-Be source. Systematic studies were carried out to investigate the effect of gas mixture, pressure, operating voltage, and sphere size on the drift time-rise time relationship of the signal in a spherical proportional counter. Our experimental results showed good agreement with MagBoltz simulations. These findings are a crucial step towards measuring the quenching factor in gases using a neutron beam for the New Experiments With Spheres-Gas (NEWS-G) experiment and has important implications for the development of neutron detection techniques and their potential applications in nuclear and particle physics.


title: Interpretation of local false discovery rates under the zero assumption

abstract: In large-scale studies with parallel signal-plus-noise observations, the local false discovery rate is a summary statistic that is often presumed to be equal to the posterior probability that the signal is null. We prefer to call the latter quantity the local null-signal rate to emphasize our view that a null signal and a false discovery are not identical events. The local null-signal rate is commonly estimated through empirical Bayes procedures that build on the `zero density assumption', which attributes the density of observations near zero entirely to null signals. In this paper, we argue that this strategy does not furnish estimates of the local null-signal rate, but instead of a quantity we call the complementary local activity rate (clar). Although it is likely to be small, an inactive signal is not necessarily zero. The local activity rate addresses two shortcomings of the local null-signal rate. First, it is a weakly continuous functional of the signal distribution, and second, it takes on sensible values when the signal is sparse but not exactly zero. Our findings clarify the interpretation of local false-discovery rates estimated under the zero density assumption.


title: BEFUnet: A Hybrid CNN-Transformer Architecture for Precise Medical Image Segmentation

abstract: The accurate segmentation of medical images is critical for various healthcare applications. Convolutional neural networks (CNNs), especially Fully Convolutional Networks (FCNs) like U-Net, have shown remarkable success in medical image segmentation tasks. However, they have limitations in capturing global context and long-range relations, especially for objects with significant variations in shape, scale, and texture. While transformers have achieved state-of-the-art results in natural language processing and image recognition, they face challenges in medical image segmentation due to image locality and translational invariance issues. To address these challenges, this paper proposes an innovative U-shaped network called BEFUnet, which enhances the fusion of body and edge information for precise medical image segmentation. The BEFUnet comprises three main modules, including a novel Local Cross-Attention Feature (LCAF) fusion module, a novel Double-Level Fusion (DLF) module, and dual-branch encoder. The dual-branch encoder consists of an edge encoder and a body encoder. The edge encoder employs PDC blocks for effective edge information extraction, while the body encoder uses the Swin Transformer to capture semantic information with global attention. The LCAF module efficiently fuses edge and body features by selectively performing local cross-attention on features that are spatially close between the two modalities. This local approach significantly reduces computational complexity compared to global cross-attention while ensuring accurate feature matching. BEFUnet demonstrates superior performance over existing methods across various evaluation metrics on medical image segmentation datasets.


title: An information-theoretic lower bound in time-uniform estimation

abstract: We present an information-theoretic lower bound for the problem of parameter estimation with time-uniform coverage guarantees. Via a new a reduction to sequential testing, we obtain stronger lower bounds that capture the hardness of the time-uniform setting. In the case of location model estimation, logistic regression, and exponential family models, our $\Omega(\sqrt{n^{-1}\log \log n})$ lower bound is sharp to within constant factors in typical settings.


title: Noble Gas Planetology and the Xenon Clouds of Uranus

abstract: Noble gases provide tracers of cosmic provenance that are accessible to a future Uranus Atmospheric Probe. Argon and krypton are expected to be well-mixed on Uranus with respect to H$_2$ and He, although condensation at the winter pole may be possible. The Ar/H$_2$ and Ar/Kr ratios address whether the materials accreted by Uranus resembled the extremely cold materials accreted by Jupiter's atmosphere, or whether they were warmer like comet 67P/Churyumov-Gerasimenko, or whether Uranus is like neither. Xenon condenses as an ice, probably on methane ice, in Uranus's upper troposphere. Condensation may complicate interpretation of Xe/H$_2$, but it also presents an opportunity to collect concentrated xenon samples suitable for measuring isotopes. Solar System Xe tracks three distinct nucleosynthetic xenon reservoirs, one evident in the Sun and in chondritic meteorites, a second in refractory presolar grains, and a third evident in comet 67P/C-G and in Earth's air. The first and third reservoirs appear to have been captured from different clouds of gas. The two gases do not appear to have been well-mixed; moreover, the high $^{129}$Xe/$^{132}$Xe ratio in 67P/C-G implies that the gas was captured before the initial nucleosynthetic complement of $^{129}$I (15.7 Myr half-life) had decayed. Xenon's isotopic peculiarities, if seen in Uranus, could usefully upset our understanding of planetary origins. Krypton's isotopic anomalies are more subtle and may prove hard to measure. There is a slight chance that neon and helium fractionations can be used to constrain how Uranus acquired its nebular envelope.


title: Reproducibility, Replicability, and Transparency in Research: What 430 Professors Think in Universities across the USA and India

abstract: In the past decade, open science and science of science communities have initiated innovative efforts to address concerns about the reproducibility and replicability of published scientific research. In some respects, these efforts have been successful, yet there are still many pockets of researchers with little to no familiarity with these concerns, subsequent responses, or best practices for engaging in reproducible, replicable, and reliable scholarship. In this work, we survey 430 professors from Universities across the USA and India to understand perspectives on scientific processes and identify key points for intervention. Our findings reveal both national and disciplinary gaps in attention to reproducibility and replicability, aggravated by incentive misalignment and resource constraints. We suggest that solutions addressing scientific integrity should be culturally-centered, where definitions of culture should include both regional and domain-specific elements.


title: Computing Power and the Governance of Artificial Intelligence

abstract: Computing power, or "compute," is crucial for the development and deployment of artificial intelligence (AI) capabilities. As a result, governments and companies have started to leverage compute as a means to govern AI. For example, governments are investing in domestic compute capacity, controlling the flow of compute to competing countries, and subsidizing compute access to certain sectors. However, these efforts only scratch the surface of how compute can be used to govern AI development and deployment. Relative to other key inputs to AI (data and algorithms), AI-relevant compute is a particularly effective point of intervention: it is detectable, excludable, and quantifiable, and is produced via an extremely concentrated supply chain. These characteristics, alongside the singular importance of compute for cutting-edge AI models, suggest that governing compute can contribute to achieving common policy objectives, such as ensuring the safety and beneficial use of AI. More precisely, policymakers could use compute to facilitate regulatory visibility of AI, allocate resources to promote beneficial outcomes, and enforce restrictions against irresponsible or malicious AI development and usage. However, while compute-based policies and technologies have the potential to assist in these areas, there is significant variation in their readiness for implementation. Some ideas are currently being piloted, while others are hindered by the need for fundamental research. Furthermore, naive or poorly scoped approaches to compute governance carry significant risks in areas like privacy, economic impacts, and centralization of power. We end by suggesting guardrails to minimize these risks from compute governance.


title: Dimers and M-Curves

abstract: In this paper we develop a general approach to dimer models analogous to Krichever's scheme in the theory of integrable systems. We start with a Riemann surface and the simplest generic meromorphic functions on it and demonstrate how to obtain integrable dimer models. These are dimer models on doubly periodic bipartite graphs with quasi-periodic positive weights. Dimer models with periodic weights and Harnack curves are recovered as a special case. This generalization from Harnack curves to general M-curves leads to transparent algebro-geometric structures. In particular explicit formulas for the Ronkin function and surface tension as integrals of meromorphic differentials on M-curves are obtained. Furthermore we describe the variational principle for the height function in the quasi-periodic case. Based on Schottky uniformizations of Riemann surfaces we present concrete computational results including computing the weights and sampling dimer configurations with them. The computational results are in complete agreement with the theoretical predictions.


title: Projection-Free Online Convex Optimization with Time-Varying Constraints

abstract: We consider the setting of online convex optimization with adversarial time-varying constraints in which actions must be feasible w.r.t. a fixed constraint set, and are also required on average to approximately satisfy additional time-varying constraints. Motivated by scenarios in which the fixed feasible set (hard constraint) is difficult to project on, we consider projection-free algorithms that access this set only through a linear optimization oracle (LOO). We present an algorithm that, on a sequence of length $T$ and using overall $T$ calls to the LOO, guarantees $\tilde{O}(T^{3/4})$ regret w.r.t. the losses and $O(T^{7/8})$ constraints violation (ignoring all quantities except for $T$) . In particular, these bounds hold w.r.t. any interval of the sequence. We also present a more efficient algorithm that requires only first-order oracle access to the soft constraints and achieves similar bounds w.r.t. the entire sequence. We extend the latter to the setting of bandit feedback and obtain similar bounds (as a function of $T$) in expectation.


title: New sharp bounds for the Jacobi heat kernel via an extension of the Dijksma-Koornwinder formula

abstract: We obtain sharp estimates for the Jacobi heat kernel in a range of parameters where the result has not been established before. This extends and completes an earlier result due to the authors. The proof is based on a generalization of the Dijksma-Koornwinder product formula for Jacobi polynomials.


title: ChatGPT vs LLaMA: Impact, Reliability, and Challenges in Stack Overflow Discussions

abstract: Since its release in November 2022, ChatGPT has shaken up Stack Overflow, the premier platform for developers' queries on programming and software development. Demonstrating an ability to generate instant, human-like responses to technical questions, ChatGPT has ignited debates within the developer community about the evolving role of human-driven platforms in the age of generative AI. Two months after ChatGPT's release, Meta released its answer with its own Large Language Model (LLM) called LLaMA: the race was on. We conducted an empirical study analyzing questions from Stack Overflow and using these LLMs to address them. This way, we aim to (ii) measure user engagement evolution with Stack Overflow over time; (ii) quantify the reliability of LLMs' answers and their potential to replace Stack Overflow in the long term; (iii) identify and understand why LLMs fails; and (iv) compare LLMs together. Our empirical results are unequivocal: ChatGPT and LLaMA challenge human expertise, yet do not outperform it for some domains, while a significant decline in user posting activity has been observed. Furthermore, we also discuss the impact of our findings regarding the usage and development of new LLMs.


title: Multi-Label Zero-Shot Product Attribute-Value Extraction

abstract: E-commerce platforms should provide detailed product descriptions (attribute values) for effective product search and recommendation. However, attribute value information is typically not available for new products. To predict unseen attribute values, large quantities of labeled training data are needed to train a traditional supervised learning model. Typically, it is difficult, time-consuming, and costly to manually label large quantities of new product profiles. In this paper, we propose a novel method to efficiently and effectively extract unseen attribute values from new products in the absence of labeled data (zero-shot setting). We propose HyperPAVE, a multi-label zero-shot attribute value extraction model that leverages inductive inference in heterogeneous hypergraphs. In particular, our proposed technique constructs heterogeneous hypergraphs to capture complex higher-order relations (i.e. user behavior information) to learn more accurate feature representations for graph nodes. Furthermore, our proposed HyperPAVE model uses an inductive link prediction mechanism to infer future connections between unseen nodes. This enables HyperPAVE to identify new attribute values without the need for labeled training data. We conduct extensive experiments with ablation studies on different categories of the MAVE dataset. The results demonstrate that our proposed HyperPAVE model significantly outperforms existing classification-based, generation-based large language models for attribute value extraction in the zero-shot setting.


title: Low-loss multilevel operation using lossy PCM-integrated silicon photonics

abstract: Chalcogenide phase-change materials (PCMs) offer new paradigms for programmable photonic integrated circuits (PICs) thanks to their zero static energy and significant refractive index contrast. However, prototypical PCMs, such as GeSbTe (GST), are lossy in their crystalline phase, albeit transparent in the amorphous state. Moreover, electrically switching PCMs to intermediate states is a stochastic process, limiting programming accuracy. As a result, achieving both low-loss and deterministic multi-level operation with GST remains challenging. Although low-loss PCMs, such as Sb2S3 and Sb2Se3, have been discovered in recent years, they are much less technologically mature. In this work, we propose a design with multiple GST segments to overcome the challenge of deterministic multilevel operation. GST segments are individually controlled by interleaved silicon PIN diode heaters in a binary but reliable fashion, and multiple levels are encoded in their phase sequence. A 1 x 1 programmable unit with two unequal GST segments is experimentally demonstrated, showcasing four distinct operation levels and negligible thermal crosstalk with only one pair of metal contacts. We then extend the design to 1 x 2 and 2 x 2 programmable units. For the 2 x 2 programmable unit design, we propose a phase-detuned three-waveguide directional coupler structure to mitigate the absorption and radiation loss, showing < -1.2 dB loss and three splitting ratios. Our work provides a new path toward low-loss and multi-level optical switches using lossy PCMs.


title: When Should you Offer an Upgrade: Online Upgrading Mechanisms for Resource Allocation

abstract: In this work, we study an upgrading scheme for online resource allocation problems. We work in a sequential setting, where at each round a request for a resource arrives and the decision-maker has to decide whether to accept it (and thus, offer the resource) or reject it. The resources are ordered in terms of their value. If the decision-maker decides to accept the request, they can offer an upgrade-for-a-fee to the next more valuable resource. This fee is dynamically decided based on the currently available resources. After the upgrade-for-a-fee option is presented to the requester, they can either accept it, get upgraded, and pay the additional fee, or reject it and maintain their originally allocated resource. We take the perspective of the decision-maker and wish to design upgrading mechanisms in a way that simultaneously maximizes revenue and minimizes underutilization of resources. Both of these desiderata are encapsulated in a notion of regret that we define, and according to which we measure our algorithms' performance. We present a fast algorithm that achieves O(log T) regret. Finally, we implemented our algorithm utilizing data akin to those observed in the hospitality industry and estimated our upgrading mechanism would increase the annual revenue by over 17%.


title: Deriving the Gibbons-Maldacena-Nunez no-go theorem from the Raychaudhuri equation

abstract: In this article, we point out that to solve the null Raychaudhuri equation for higher dimensional spacetime with accelerating FRW solution in external directions and static compact internal directions, it is necessary to violate the Strong Energy condition in higher dimensions. This constraint is well-known in obtaining accelerating cosmological solutions in string compactification, first described by Gibbons-Maldacena-Nunez. In deriving this constraint, we do not make any assumptions regarding the matter content.


title: Combining Insights From Multiple Large Language Models Improves Diagnostic Accuracy

abstract: Background: Large language models (LLMs) such as OpenAI's GPT-4 or Google's PaLM 2 are proposed as viable diagnostic support tools or even spoken of as replacements for "curbside consults". However, even LLMs specifically trained on medical topics may lack sufficient diagnostic accuracy for real-life applications. Methods: Using collective intelligence methods and a dataset of 200 clinical vignettes of real-life cases, we assessed and compared the accuracy of differential diagnoses obtained by asking individual commercial LLMs (OpenAI GPT-4, Google PaLM 2, Cohere Command, Meta Llama 2) against the accuracy of differential diagnoses synthesized by aggregating responses from combinations of the same LLMs. Results: We find that aggregating responses from multiple, various LLMs leads to more accurate differential diagnoses (average accuracy for 3 LLMs: $75.3\%\pm 1.6pp$) compared to the differential diagnoses produced by single LLMs (average accuracy for single LLMs: $59.0\%\pm 6.1pp$). Discussion: The use of collective intelligence methods to synthesize differential diagnoses combining the responses of different LLMs achieves two of the necessary steps towards advancing acceptance of LLMs as a diagnostic support tool: (1) demonstrate high diagnostic accuracy and (2) eliminate dependence on a single commercial vendor.


title: WGTDA: A Topological Perspective to Biomarker Discovery in Gene Expression Data

abstract: Advancing the discovery of prognostic cancer biomarkers is crucial for comprehending disease mechanisms, refining treatment plans, and improving patient outcomes. This study introduces Weighted Gene Topological Data Analysis (WGTDA), an innovative framework utilizing topological principles to identify gene interactions and distinctive biomarker features. WGTDA undergoes evaluation against Weighted Gene Co-expression Network Analysis (WGCNA), underscoring that topology-based biomarkers offer more reliable predictors of survival probability than WGCNA's hub genes. Furthermore, WGTDA identifies gene signatures that are significant to survival probability, irrespective of whether the expression is above or below the median. WGTDA provides a new perspective on biomarker discovery, uncovering intricate gene-to-gene relationships often overlooked by conventional correlation-based analyses, emphasizing the potential advantage of leveraging topological concepts to extract crucial information about gene-gene interactions.


title: Depth Separation in Norm-Bounded Infinite-Width Neural Networks

abstract: We study depth separation in infinite-width neural networks, where complexity is controlled by the overall squared $\ell_2$-norm of the weights (sum of squares of all weights in the network). Whereas previous depth separation results focused on separation in terms of width, such results do not give insight into whether depth determines if it is possible to learn a network that generalizes well even when the network width is unbounded. Here, we study separation in terms of the sample complexity required for learnability. Specifically, we show that there are functions that are learnable with sample complexity polynomial in the input dimension by norm-controlled depth-3 ReLU networks, yet are not learnable with sub-exponential sample complexity by norm-controlled depth-2 ReLU networks (with any value for the norm). We also show that a similar statement in the reverse direction is not possible: any function learnable with polynomial sample complexity by a norm-controlled depth-2 ReLU network with infinite width is also learnable with polynomial sample complexity by a norm-controlled depth-3 ReLU network.


title: Byzantine fault-tolerant distributed set intersection with redundancy

abstract: In this report, we study the problem of Byzantine fault-tolerant distributed set intersection and the importance of redundancy in solving this problem. Specifically, consider a distributed system with $n$ agents, each of which has a local set. There are up to $f$ agents that are Byzantine faulty. The goal is to find the intersection of the sets of the non-faulty agents. We derive the Byzantine set intersection problem from the Byzantine optimization problem. We present the definition of $2f$-redundancy, and identify the necessary and sufficient condition if the Byzantine set intersection problem can be solved if a certain redundancy property is satisfied, and then present an equivalent condition. We further extend our results to arbitrary communication graphs in a decentralized setting. Finally, we present solvability results for the Byzantine optimization problem, inspired by our findings on Byzantine set intersection. The results we provide are for synchronous and asynchronous systems both.


title: Identifying HI Emission and UV Absorber Associations Near the Magellanic Stream

abstract: We present a new technique to identify associations of HI emission in the Magellanic Stream (MS) and ultraviolet (UV) absorbers from 92 QSO sight lines near the MS. We quantify the level of associations of individual HI elements to the main HI body of the Stream using Wasserstein distance-based models, and derive characteristic spatial and kinematic distances of the HI emission in the MS. With the emission-based model, we further develop a comparison metric, which identifies the dominant associations of individual UV absorbers with respective to the MS and nearby galaxies. For ionized gas associated with the MS probed by CII, CIV, SiII, SiIII, SiIV, we find that the ion column densities are generally $\sim$0.5 dex higher than those that are not associated, and that the gas is more ionized toward the tail of the MS as indicated by the spatial trend of the CII/CIV ratios. For nearby galaxies, we identify potential new absorbers associated with the CGM of M33 and NGC300, and affirm the associations of absorbers with IC1613 and WLM. For M31, we find the previously identified gradient in column densities as a function of impact parameter, and that absorbers with higher column densities beyond M31's virial radius are more likely to be associated with the MS. Our analysis of absorbers associated with the Magellanic Clouds reveals the presence of continuous and blended diffuse ionized gas between the Stream and the Clouds. Our technique can be applied to future applications of identifying associations within physically complex gaseous structures.


title: Deep and shallow data science for multi-scale optical neuroscience

abstract: Optical imaging of the brain has expanded dramatically in the past two decades. New optics, indicators, and experimental paradigms are now enabling in-vivo imaging from the synaptic to the cortex-wide scales. To match the resulting flood of data across scales, computational methods are continuously being developed to meet the need of extracting biologically relevant information. In this pursuit, challenges arise in some domains (e.g., SNR and resolution limits in micron-scale data) that require specialized algorithms. These algorithms can, for example, make use of state-of-the-art machine learning to maximally learn the details of a given scale to optimize the processing pipeline. In contrast, other methods, however, such as graph signal processing, seek to abstract away from some of the details that are scale-specific to provide solutions to specific sub-problems common across scales of neuroimaging. Here we discuss limitations and tradeoffs in algorithmic design with the goal of identifying how data quality and variability can hamper algorithm use and dissemination.


title: Intelligent Canvas: Enabling Design-Like Exploratory Visual Data Analysis with Generative AI through Rapid Prototyping, Iteration and Curation

abstract: Complex data analysis inherently seeks unexpected insights through exploratory visual analysis methods, transcending logical, step-by-step processing. However, existing interfaces such as notebooks and dashboards have limitations in exploration and comparison for visual data analysis. Addressing these limitations, we introduce a "design-like" intelligent canvas environment integrating generative AI into data analysis, offering rapid prototyping, iteration, and comparative visualization management. Our dual contributions include the integration of generative AI components into a canvas interface, and empirical findings from a user study (N=10) evaluating the effectiveness of the canvas interface.