title: Multistep Criticality Search and Power Shaping in Microreactors with Reinforcement Learning

abstract: Reducing operation and maintenance costs is a key objective for advanced reactors in general and microreactors in particular. To achieve this reduction, developing robust autonomous control algorithms is essential to ensure safe and autonomous reactor operation. Recently, artificial intelligence and machine learning algorithms, specifically reinforcement learning (RL) algorithms, have seen rapid increased application to control problems, such as plasma control in fusion tokamaks and building energy management. In this work, we introduce the use of RL for intelligent control in nuclear microreactors. The RL agent is trained using proximal policy optimization (PPO) and advantage actor-critic (A2C), cutting-edge deep RL techniques, based on a high-fidelity simulation of a microreactor design inspired by the Westinghouse eVinci\textsuperscript{TM} design. We utilized a Serpent model to generate data on drum positions, core criticality, and core power distribution for training a feedforward neural network surrogate model. This surrogate model was then used to guide a PPO and A2C control policies in determining the optimal drum position across various reactor burnup states, ensuring critical core conditions and symmetrical power distribution across all six core portions. The results demonstrate the excellent performance of PPO in identifying optimal drum positions, achieving a hextant power tilt ratio of approximately 1.002 (within the limit of $<$ 1.02) and maintaining criticality within a 10 pcm range. A2C did not provide as competitive of a performance as PPO in terms of performance metrics for all burnup steps considered in the cycle. Additionally, the results highlight the capability of well-trained RL control policies to quickly identify control actions, suggesting a promising approach for enabling real-time autonomous control through digital twins.


title: Are General Relativity and Teleparallel Gravity Theoretically Equivalent?

abstract: Teleparallel gravity shares many qualitative features with general relativity, but differs from it in the following way: whereas in general relativity, gravitation is a manifestation of space-time curvature, in teleparallel gravity, spacetime is (always) flat. Gravitational effects in this theory arise due to spacetime torsion. It is often claimed that teleparallel gravity is an equivalent reformulation of general relativity. In this paper we question that view. We argue that the theories are not equivalent, by the criterion of categorical equivalence and any stronger criterion, and that teleparallel gravity posits strictly more structure than general relativity.


title: On the use of splines for representing ordered factors

abstract: In the context of regression-type statistical models, the inclusion of some ordered factors among the explanatory variables requires the conversion of qualitative levels to numeric components of the linear predictor. The present note represent a follow-up of a methodology proposed by Azzalini (2023} for constructing numeric scores assigned to the factors levels. The aim of the present supplement it to allow additional flexibility of the mapping from ordered levels and numeric scores.


title: Nondegenerate Tur\'{a}n problems under $(t,p)$-norms

abstract: Given integers $r > t \ge 1$ and a real number $p > 0$, the $(t,p)$-norm $\left\lVert \mathcal{H} \right\rVert_{t,p}$ of an $r$-graph $\mathcal{H}$ is the sum of the $p$-th power of the degrees $d_{\mathcal{H}}(T)$ over all $t$-subsets $T \subset V(\mathcal{H})$. We conduct a systematic study of the Tur\'{a}n-type problem of determining $\mathrm{ex}_{t,p}(n,\mathcal{F})$, which is the maximum of $\left\lVert \mathcal{H} \right\rVert_{t,p}$ over all $n$-vertex $\mathcal{F}$-free $r$-graphs $\mathcal{H}$. We establish several basic properties for the $(t,p)$-norm of $r$-graphs, enabling us to derive general theorems from the recently established framework in~\cite{CL24} that are useful for determining $\mathrm{ex}_{t,p}(n,\mathcal{F})$ and proving the corresponding stability. We determine the asymptotic value of $\mathrm{ex}_{t,p}(n,H_{F}^{r})$ for all feasible combinations of $(r,t,p)$ and for every graph $F$ with chromatic number greater than $r$, where $H_{F}^{r}$ represents the expansion of $F$. In the case where $F$ is edge-critical and $p \ge 1$, we establish strong stability and determine the exact value of $\mathrm{ex}_{t,p}(n,H_{F}^{r})$ for all sufficiently large $n$. These results extend the seminal theorems of Erd\H{o}s--Stone--Simonovits, Andr\'{a}sfai--Erd\H{o}s--S\'{o}s, Erd\H{o}s--Simonovits, and a classical theorem of Mubayi. For the $3$-uniform generalized triangle $F_5$, we determine the exact value of $\mathrm{ex}_{2,p}(n,F_5)$ for all $p \ge 1$ and its asymptotic value for all $p \in [1/2, 1]\cup \{k^{-1} \colon k \in 6\mathbb{N}^{+}+\{0,2\}\}$. This extends old theorems of Bollob\'{a}s, Frankl--F\"{u}redi, and a recent result of Balogh--Clemen--Lidick\'{y}. Our proofs utilize results on the graph inducibility problem, Steiner triple systems, and the feasible region problem introduced by Liu--Mubayi.


title: X5G: An Open, Programmable, Multi-vendor, End-to-end, Private 5G O-RAN Testbed with NVIDIA ARC and OpenAirInterface

abstract: As Fifth generation (5G) cellular systems transition to softwarized, programmable, and intelligent networks, it becomes fundamental to enable public and private 5G deployments that are (i) primarily based on software components while (ii) maintaining or exceeding the performance of traditional monolithic systems and (iii) enabling programmability through bespoke configurations and optimized deployments. This requires hardware acceleration to scale the Physical (PHY) layer performance, programmable elements in the Radio Access Network (RAN) and intelligent controllers at the edge, careful planning of the Radio Frequency (RF) environment, as well as end-to-end integration and testing. In this paper, we describe how we developed the programmable X5G testbed, addressing these challenges through the deployment of the first 8-node network based on the integration of NVIDIA Aerial RAN CoLab (ARC), OpenAirInterface (OAI), and a near-real-time RAN Intelligent Controller (RIC). The Aerial Software Development Kit (SDK) provides the PHY layer, accelerated on Graphics Processing Unit (GPU), with the higher layers from the OAI open-source project interfaced with the PHY through the Small Cell Forum (SCF) Functional Application Platform Interface (FAPI). An E2 agent provides connectivity to the O-RAN Software Community (OSC) near-real-time RIC. We discuss software integration, the network infrastructure, and a digital twin framework for RF planning. We then profile the performance with up to 4 Commercial Off-the-Shelf (COTS) smartphones for each base station with iPerf and video streaming applications, measuring a cell rate higher than 500 Mbps in downlink and 45 Mbps in uplink.


title: An Automated SQL Query Grading System Using An Attention-Based Convolutional Neural Network

abstract: Grading SQL queries can be a time-consuming, tedious and challenging task, especially as the number of student submissions increases. Several systems have been introduced in an attempt to mitigate these challenges, but those systems have their own limitations. This paper describes our novel approach to automating the process of grading SQL queries. Unlike previous approaches, we employ a unique convolutional neural network architecture that employs a parameter-sharing approach for different machine learning tasks that enables the architecture to induce different knowledge representations of the data to increase its potential for understanding SQL statements.


title: Voltage enhancement and loss minimization in a radial network through optimal capacitor sizing and placement based on Crow Search Algorithm

abstract: In power systems, the distribution network is pivotal for consumers because it is the final stage in the delivery of electricity from the generation plants to the end users. Reactive power demand from consumers can result in challenges like low power factor, diminished voltage, and heightened power losses. The primary challenge encountered when utilizing a radial system as a distribution network is the voltage drop, which leads to distortion in the voltage profile across the entire network. This research focuses on optimizing network performance by appropriately sizing and placing capacitors based on the Crow Search Algorithm (CSA). The results from this approach were compared with Particle Swarm Optimization (PSO), Artificial bee colony, Cultural Algorithm, Firefly Algorithm, Genetic Algorithm, Invasive Weed Optimization, and Teacher Learner Based Optimization methods illustrated in the study where CSA's effectiveness, demonstrated a notable 30.41% and 29.33% overall reduction in active and reactive power losses compared to the base case. The lowest bus voltage, notably at bus 18 which happens to be the longest in the IEEE 33 Radial Distribution Network (RDN) topology, improved from 0.8820 in the base case to 0.908 with CSA, showcasing a 32.9% enhancement in voltage deviation. This optimization led to a significant 3.841pu reduction in capacitor cost, highlighting CSA's efficacy in enhancing RDN performance and cost efficiency.


title: RuleR: Improving LLM Controllability by Rule-based Data Recycling

abstract: Large language models (LLMs) still lack delicate controllability over their responses, which is critical to enhancing their performance and the user experience. However, curating supervised fine-tuning (SFT) datasets to improve LLM controllability usually relies on human experts or proprietary LLMs, which requires additional costs. To bridge this gap, we propose Rule-based Data Recycling (RuleR), a data augmentation method incorporating multiple constraints into the original data samples according to predefined rules, which creates new training tasks to consolidate the controllability of LLMs. Instead of creating new data from scratch, RuleR ``recycles'' existing data by simply applying rule-based edits to their responses and appending the rule-instructions in their original instructions. Experimental results demonstrate RuleR's effectiveness in improving LLM controllability while maintaining general instruction-following capabilities. The code will be released on https://github.com/MingLiiii/RuleR.


title: Investigating higgsino dark matter in the semi-constrained NMSSM

abstract: In this study, we explore the characteristics of higgsino-dominated dark matter (DM) within the semi-constrained Next-to-Minimal Supersymmetric Standard Model (scNMSSM), covering a mass range from hundreds of GeV to several TeV. We carefully analyzed the parameter space under existing theoretical and experimental constraints to confirm the viability of higgsino-dominated lightest supersymmetric particles (LSPs) with masses between 100 GeV and 4 TeV. Our study examines various DM annihilation mechanisms, emphasizing the significant role of coannihilation with the next-to-lightest supersymmetric particle (NLSP), which includes other higgsino-dominated particles such as $\tilde{\chi}^{0}_2$ and $\tilde{\chi}^{\pm}_1$. We categorize the annihilation processes into three main classes: $\tilde{\chi}_1^{\pm}$ coannihilation, Higgs funnel annihilation, and $\tilde{\tau}_1$ coannihilation, each combines interactions with $\tilde{\chi}_1^{\pm}$. Our results indicate that achieving the correct relic density in heavier higgsino LSPs requires a combination of coannihilation and Higgs funnel mechanisms. We also assess the potential of future experiments, such as XENONnT, LUX-ZEPLIN (LZ), PandaX-xT, and the Cherenkov Telescope Array (CTA), to probe these DM scenarios through direct and indirect detection. In particular, future spin-independent DM detection can cover all samples with the correct DM relic density for $\mu \gtrsim 1300$ GeV. Furthermore, future colliders like the International Linear Collider (ILC) and the Compact Linear Collider (CLIC) are found to exceed the detection capabilities of current hadron colliders, especially for higher mass NLSPs. Notably, CLIC at 3000 GeV is anticipated to thoroughly investigate all samples with insufficient DM relic density for $\mu \lesssim 1300$ GeV.


title: Beyond Individual Facts: Investigating Categorical Knowledge Locality of Taxonomy and Meronomy Concepts in GPT Models

abstract: The location of knowledge within Generative Pre-trained Transformer (GPT)-like models has seen extensive recent investigation. However, much of the work is focused towards determining locations of individual facts, with the end goal being the editing of facts that are outdated, erroneous, or otherwise harmful, without the time and expense of retraining the entire model. In this work, we investigate a broader view of knowledge location, that of concepts or clusters of related information, instead of disparate individual facts. To do this, we first curate a novel dataset, called DARC, that includes a total of 34 concepts of ~120K factual statements divided into two types of hierarchical categories, namely taxonomy and meronomy. Next, we utilize existing causal mediation analysis methods developed for determining regions of importance for individual facts and apply them to a series of related categories to provide detailed investigation into whether concepts are associated with distinct regions within these models. We find that related categories exhibit similar areas of importance in contrast to less similar categories. However, fine-grained localization of individual category subsets to specific regions is not apparent.


title: Towards Exact Computation of Inductive Bias

abstract: Much research in machine learning involves finding appropriate inductive biases (e.g. convolutional neural networks, momentum-based optimizers, transformers) to promote generalization on tasks. However, quantification of the amount of inductive bias associated with these architectures and hyperparameters has been limited. We propose a novel method for efficiently computing the inductive bias required for generalization on a task with a fixed training data budget; formally, this corresponds to the amount of information required to specify well-generalizing models within a specific hypothesis space of models. Our approach involves modeling the loss distribution of random hypotheses drawn from a hypothesis space to estimate the required inductive bias for a task relative to these hypotheses. Unlike prior work, our method provides a direct estimate of inductive bias without using bounds and is applicable to diverse hypothesis spaces. Moreover, we derive approximation error bounds for our estimation approach in terms of the number of sampled hypotheses. Consistent with prior results, our empirical results demonstrate that higher dimensional tasks require greater inductive bias. We show that relative to other expressive model classes, neural networks as a model class encode large amounts of inductive bias. Furthermore, our measure quantifies the relative difference in inductive bias between different neural network architectures. Our proposed inductive bias metric provides an information-theoretic interpretation of the benefits of specific model architectures for certain tasks and provides a quantitative guide to developing tasks requiring greater inductive bias, thereby encouraging the development of more powerful inductive biases.


title: Revolutionizing Mental Health Support: An Innovative Affective Mobile Framework for Dynamic, Proactive, and Context-Adaptive Conversational Agents

abstract: As we build towards developing interactive systems that can recognize human emotional states and respond to individual needs more intuitively and empathetically in more personalized and context-aware computing time. This is especially important regarding mental health support, with a rising need for immediate, non-intrusive help tailored to each individual. Individual mental health and the complex nature of human emotions call for novel approaches beyond conventional proactive and reactive-based chatbot approaches. In this position paper, we will explore how to create Chatbots that can sense, interpret, and intervene in emotional signals by combining real-time facial expression analysis, physiological signal interpretation, and language models. This is achieved by incorporating facial affect detection into existing practical and ubiquitous passive sensing contexts, thus empowering them with the capabilities to the ubiquity of sensing behavioral primitives to recognize, interpret, and respond to human emotions. In parallel, the system employs cognitive-behavioral therapy tools such as cognitive reframing and mood journals, leveraging the therapeutic intervention potential of Chatbots in mental health contexts. Finally, we propose a project to build a system that enhances the emotional understanding of Chatbots to engage users in chat-based intervention, thereby helping manage their mood.


title: Functional measures associated to operators

abstract: We show that every operator in $L^{2}$ has an associated measure on a space of functions and prove that it can be used to find solutions to abstract Cauchy problems, including partial differential equations. We find explicit formulas to compute the integral of functions with respect to this measure and develop approximate formulas in terms of a perturbative expansion. We show that this method can be used to represent solutions of classical equations, such as the diffusion and Fokker-Plank equations, as Wiener and Martin-Siggia-Rose-Jansen-de Dominics integrals, and propose an extension to paths in infinite dimensional spaces.


title: Completely Multipolar Model as a General Framework for Many-Body Interactions as Illustrated for Water

abstract: We introduce a general framework for many-body force field models, the Completely Multipolar Model (CMM), that utilizes multipolar electrical moments modulated by exponential decay of electron density as a common functional form for all piecewise terms of an energy decomposition analysis of intermolecular interactions. With this common functional form the CMM model establishes well-formulated damped tensors that reach the correct asymptotes at both long- and short-range while formally ensuring no short-range catastrophes. The CMM describes the separable EDA terms of dispersion, exchange polarization, and Pauli repulsion with short-ranged anisotropy, polarization as intramolecular charge fluctuations and induced dipoles, while charge transfer describes explicit movement of charge between molecules, and naturally describes many-body charge transfer by coupling into the polarization equations. We also utilize a new one-body potential that accounts for intramolecular polarization by including an electric field-dependent correction to the Morse potential to ensure that the CMM reproduces all physically relevant monomer properties including the dipole moment, molecular polarizability, and dipole and polarizability derivatives. The quality of the CMM is illustrated through agreement of individual terms of the EDA and excellent extrapolation to energies and geometries of an extensive validation set of water cluster data.


title: Full-Space Wireless Sensing Enabled by Multi-Sector Intelligent Surfaces

abstract: The multi-sector intelligent surface (IS), benefiting from a smarter wave manipulation capability, has been shown to enhance channel gain and offer full-space coverage in communications. However, the benefits of multi-sector IS in wireless sensing remain unexplored. This paper introduces the application of multi-sector IS for wireless sensing/localization. Specifically, we propose a new self-sensing system, where an active source controller uses the multi-sector IS geometry to reflect/scatter the emitted signals towards the entire space, thereby achieving full-space coverage for wireless sensing. Additionally, dedicated sensors are installed aligned with the IS elements at each sector, which collect echo signals from the target and cooperate to sense the target angle. In this context, we develop a maximum likelihood estimator of the target angle for the proposed multi-sector IS self-sensing system, along with the corresponding theoretical limits defined by the Cram\'er-Rao Bound. The analysis reveals that the advantages of the multi-sector IS self-sensing system stem from two aspects: enhancing the probing power on targets (thereby improving power efficiency) and increasing the rate of target angle (thereby enhancing the transceiver's sensitivity to target angles). Finally, our analysis and simulations confirm that the multi-sector IS self-sensing system, particularly the 4-sector architecture, achieves full-space sensing capability beyond the single-sector IS configuration. Furthermore, similarly to communications, employing directive antenna patterns on each sector's IS elements and sensors significantly enhances sensing capabilities. This enhancement originates from both aspects of improved power efficiency and target angle sensitivity, with the former also being observed in communications while the latter being unique in sensing.


title: LaneSegNet Design Study

abstract: With the increasing prevalence of autonomous vehicles, it is essential for computer vision algorithms to accurately assess road features in real-time. This study explores the LaneSegNet architecture, a new approach to lane topology prediction which integrates topological information with lane-line data to provide a more contextual understanding of road environments. The LaneSegNet architecture includes a feature extractor, lane encoder, lane decoder, and prediction head, leveraging components from ResNet-50, BEVFormer, and various attention mechanisms. We experimented with optimizations to the LaneSegNet architecture through feature extractor modification and transformer encoder-decoder stack modification. We found that modifying the encoder and decoder stacks offered an interesting tradeoff between training time and prediction accuracy, with certain combinations showing promising results. Our implementation, trained on a single NVIDIA Tesla A100 GPU, found that a 2:4 ratio reduced training time by 22.3% with only a 7.1% drop in mean average precision, while a 4:8 ratio increased training time by only 11.1% but improved mean average precision by a significant 23.7%. These results indicate that strategic hyperparameter tuning can yield substantial improvements depending on the resources of the user. This study provides valuable insights for optimizing LaneSegNet according to available computation power, making it more accessible for users with limited resources and increasing the capabilities for users with more powerful resources.


title: The shape of dark matter halos: a new fundamental cosmological invariance

abstract: We focus on the complex relationship between the shape of dark matter halos and the cosmological models underlying their formation. We used three realistic cosmological models from the Dark Energy Universe Simulation suite. They have significantly distinct cosmological parameters ($\Omega_m$, $\sigma_8$, and $w$) but quasi-indistinguishable cosmic matter fields beyond the scale of DM halos. Firstly, we developed a robust method to measure the FoF halos shape, while avoiding numerical artifacts on shape measurements. These artifacts are generally induced by the presence of substructures (resolution-dependent) or by any spherical a priori in contradiction with the halos triaxiality. We obtain a marked dependence of the halos shape, both on their mass and on the cosmological model. However, when re-expressing the halos shape parameters in terms of the non-linear fluctuations of the cosmic matter field, the cosmological dependence disappears. This new fundamental cosmological invariance is a direct consequence of the matter field non-linear dynamics: as the universe evolves, the non-linear fluctuations of the cosmic field increase, driving the halos towards sphericity. The deviation from sphericity, measured by the prolaticity, triaxiality, and ellipticity of the dark matter halos, is therefore entirely encapsulated in the non-linear power spectrum. From this fundamental invariant relation, we can reconstruct with remarkable accuracy the non-linear variance of the cosmic matter field and, consequently, the non-linear power spectrum. We also re-find the $\sigma_8$ amplitude of the cosmological model. Our results highlight, not only the nuanced relationship between dark matter halo formation and the underlying cosmology, but also the potential of dark matter halo shape analysis as a powerful tool for probing the non-linear dynamics of the cosmic matter field.


title: Teaching LLMs to Abstain across Languages via Multilingual Feedback

abstract: Multilingual LLMs often have knowledge disparities across languages, with larger gaps in under-resourced languages. Teaching LLMs to abstain in the face of knowledge gaps is thus a promising strategy to mitigate hallucinations in multilingual settings. However, previous studies on LLM abstention primarily focus on English; we find that directly applying existing solutions beyond English results in up to 20.5% performance gaps between high and low-resource languages, potentially due to LLMs' drop in calibration and reasoning beyond a few resource-rich languages. To this end, we propose strategies to enhance LLM abstention by learning from multilingual feedback, where LLMs self-reflect on proposed answers in one language by generating multiple feedback items in related languages: we show that this helps identifying the knowledge gaps across diverse languages, cultures, and communities. Extensive experiments demonstrate that our multilingual feedback approach outperforms various strong baselines, achieving up to 9.2% improvement for low-resource languages across three black-box and open models on three datasets, featuring open-book, closed-book, and commonsense QA. Further analysis reveals that multilingual feedback is both an effective and a more equitable abstain strategy to serve diverse language speakers, and cultural factors have great impact on language selection and LLM abstention behavior, highlighting future directions for multilingual and multi-cultural reliable language modeling.


title: More on yet another ideal version of the bounding number

abstract: This is a continuation of the paper [J. Symb. Log. 87 (2022), 1065--1092]. For an ideal $\mathcal{I}$ on $\omega$ we denote $\mathcal{D}_{\mathcal{I}}=\{f\in\omega^\omega: f^{-1}[\{n\}]\in\mathcal{I} \text{ for every $n\in \omega$}\}$ and write $f\leq_{\mathcal{I}} g$ if $\{n\in\omega:f(n)>g(n)\}\in\mathcal{I}$, where $f,g\in\omega^\omega$. We study the cardinal numbers $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\cD_{\mathcal{I}} \times \cD_{\mathcal{I}}))$ describing the smallest sizes of subsets of $\mathcal{D}_{\mathcal{I}}$ that are unbounded from below with respect to $\leq_{\mathcal{I}}$. In particular, we examine the relationships of $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\cD_{\mathcal{I}} \times \cD_{\mathcal{I}}))$ with the dominating number $\mathfrak{d}$. We show that, consistently, $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\cD_{\mathcal{I}} \times \cD_{\mathcal{I}}))>\mathfrak{d}$ for some ideal $\mathcal{I}$, however $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\cD_{\mathcal{I}} \times \cD_{\mathcal{I}}))\leq\mathfrak{d}$ for all analytic ideals $\mathcal{I}$. Moreover, we give example of a Borel ideal with $\mathfrak{b}(\geq_{\mathcal{I}}\cap (\cD_{\mathcal{I}} \times \cD_{\mathcal{I}}))=add(\mathcal{M})$.


title: Stochastic approximation method for kernel sliced average variance estimation

abstract: In this paper, we use the stochastic approximation method to estimate Sliced Average Variance Estimation (SAVE). This method is known for its efficiency in recursive estimation. Stochastic approximation is particularly effective for constructing recursive estimators and has been widely used in density estimation, regression, and semi-parametric models. We demonstrate that the resulting estimator is asymptotically normal and root n consistent. Through simulations conducted in the laboratory and applied to real data, we show that it is faster than the kernel method previously proposed.


title: Modular Pluralism: Pluralistic Alignment via Multi-LLM Collaboration

abstract: While existing alignment paradigms have been integral in developing large language models (LLMs), LLMs often learn an averaged human preference and struggle to model diverse preferences across cultures, demographics, and communities. We propose Modular Pluralism, a modular framework based on multi-LLM collaboration for pluralistic alignment: it "plugs into" a base LLM a pool of smaller but specialized community LMs, where models collaborate in distinct modes to flexibility support three modes of pluralism: Overton, steerable, and distributional. Modular Pluralism is uniquely compatible with black-box LLMs and offers the modular control of adding new community LMs for previously underrepresented communities. We evaluate Modular Pluralism with six tasks and four datasets featuring questions/instructions with value-laden and perspective-informed responses. Extensive experiments demonstrate that Modular Pluralism advances the three pluralism objectives across six black-box and open-source LLMs. Further analysis reveals that LLMs are generally faithful to the inputs from smaller community LLMs, allowing seamless patching by adding a new community LM to better cover previously underrepresented communities.


title: Blackwell optimality and policy stability for long-run risk sensitive stochastic control

abstract: This paper analyzes the stability of optimal policies in the long-run stochastic control framework with an averaged risk-sensitive criterion for discrete-time MDPs on finite state-action space. In particular, we study the robustness of optimal controls when perturbations to the risk-aversion parameter are applied, and investigate the Blackwell property, together with its link to the risk-sensitive vanishing discount approximation framework. Finally, we present examples that help to better understand the intricacies of the risk-sensitive control framework.


title: Exploring the Influence of Online Videos on Parents or Caregivers of Children with Developmental Delays

abstract: Developmental Delays and Disabilities (DDDs) refer to conditions where children are slower or unable to reach developmental milestones compared to typically developing children. This can cause significant stress for parents, leading to social isolation and loneliness. Online videos, particularly those on YouTube, aim to support these parents and caregivers by offering guidance and assistance. Studies show that parents of children with DDDs create videos on YouTube to enhance authenticity and build connections. However, there is limited knowledge about how other parents with children with DDDs perceive and are impacted by these videos. Our study used a mixed-method approach to annotate and analyze more than fifteen hundred YouTube videos on children's DDDs. We found that these videos provide crucial informational content and offer mental and emotional support through shared personal experiences. Comments analysis revealed a strong sense of community among YouTubers and viewers. Interviews with parents of children with DDDs showed that they find these videos relatable and essential for managing their children's diagnosis and treatments. We concluded by discussing platform-centric design implications for supporting parents and other caregivers of children with DDDs.


title: Hilbert's 13th problem in prime characteristic

abstract: The resolvent degree $\textrm{rd}_{\mathbb{C}}(n)$ is the smallest integer $d$ such that a root of the general polynomial $$f(x) = x^n + a_1 x^{n-1} + \ldots + a_n$$ can be expressed as a composition of algebraic functions in at most $d$ variables with complex coefficients. It is known that $\textrm{rd}_{\mathbb{C}}(n) = 1$ when $n \leqslant 5$. Hilbert was particularly interested in the next three cases: he asked if $\textrm{rd}_{\mathbb{C}}(6) = 2$ (Hilbert's Sextic Conjecture), $\textrm{rd}_{\mathbb{C}}(7) = 3$ (Hilbert's 13th Problem) and $\textrm{rd}_{\mathbb{C}}(8) = 4$ (Hilbert's Octic Conjecture). These problems remain open. It is known that $\textrm{rd}_{\mathbb{C}}(6) \leqslant 2$, $\textrm{rd}_{\mathbb{C}}(7) \leqslant 3$ and $\textrm{rd}_{\mathbb{C}}(8) \leqslant 4$. It is not known whether or not $\textrm{rd}_{\mathbb{C}}(n)$ can be $> 1$ for any $n \geqslant 6$. In this paper, we show that all three of Hilbert's conjectures can fail if we replace $\mathbb C$ with a base field of positive characteristic.


title: Beyond the Doors of Perception: Vision Transformers Represent Relations Between Objects

abstract: Though vision transformers (ViTs) have achieved state-of-the-art performance in a variety of settings, they exhibit surprising failures when performing tasks involving visual relations. This begs the question: how do ViTs attempt to perform tasks that require computing visual relations between objects? Prior efforts to interpret ViTs tend to focus on characterizing relevant low-level visual features. In contrast, we adopt methods from mechanistic interpretability to study the higher-level visual algorithms that ViTs use to perform abstract visual reasoning. We present a case study of a fundamental, yet surprisingly difficult, relational reasoning task: judging whether two visual entities are the same or different. We find that pretrained ViTs fine-tuned on this task often exhibit two qualitatively different stages of processing despite having no obvious inductive biases to do so: 1) a perceptual stage wherein local object features are extracted and stored in a disentangled representation, and 2) a relational stage wherein object representations are compared. In the second stage, we find evidence that ViTs can learn to represent somewhat abstract visual relations, a capability that has long been considered out of reach for artificial neural networks. Finally, we demonstrate that failure points at either stage can prevent a model from learning a generalizable solution to our fairly simple tasks. By understanding ViTs in terms of discrete processing stages, one can more precisely diagnose and rectify shortcomings of existing and future models.


title: Decoupling Many-Body Interactions in CeO2 (111) Oxygen Vacancy Structure: Insights from Machine-Learning and Cluster Expansion

abstract: Oxygen vacancies (VO's) are of paramount importance in influencing the properties and applications of ceria (CeO2). Yet, comprehending the distribution and nature of the VO's poses a significant challenge due to the vast number of electronic configurations and intricate many-body interactions among VO's and polarons (Ce3+'s). In this study, we employed a combination of LASSO regression in machine learning, in conjunction with a cluster expansion model and first-principles calculations to decouple the interactions among the Ce3+'s and VO's, thereby circumventing the limitations associated with sampling electronic configurations. By separating these interactions, we identified specific electronic configurations characterized by the most favorable VO-Ce3+ attractions and the least Ce3+-Ce3+/VO-VO repulsions, which are crucial in determining the stability of vacancy structures. Through more than 10^8 Metropolis Monte Carlo samplings of Vo's and Ce3+ in the near-surface of CeO2(111), we explored potential configurations within an 8x8 supercell. Our findings revealed that oxygen vacancies tend to aggregate and are most abundant in the third oxygen layer, primarily due to extensive geometric relaxation-an aspect previously overlooked. This behavior is notably dependent on the concentration of Vo. This work introduces a novel theoretical framework for unraveling the complex vacancy structures in metal oxides, with potential applications in redox and catalytic chemistry.


title: Weak recovery, hypothesis testing, and mutual information in stochastic block models and planted factor graphs

abstract: The stochastic block model is a canonical model of communities in random graphs. It was introduced in the social sciences and statistics as a model of communities, and in theoretical computer science as an average case model for graph partitioning problems under the name of the ``planted partition model.'' Given a sparse stochastic block model, the two standard inference tasks are: (i) Weak recovery: can we estimate the communities with non trivial overlap with the true communities? (ii) Detection/Hypothesis testing: can we distinguish if the sample was drawn from the block model or from a random graph with no community structure with probability tending to $1$ as the graph size tends to infinity? In this work, we show that for sparse stochastic block models, the two inference tasks are equivalent except at a critical point. That is, weak recovery is information theoretically possible if and only if detection is possible. We thus find a strong connection between these two notions of inference for the model. We further prove that when detection is impossible, an explicit hypothesis test based on low degree polynomials in the adjacency matrix of the observed graph achieves the optimal statistical power. This low degree test is efficient as opposed to the likelihood ratio test, which is not known to be efficient. Moreover, we prove that the asymptotic mutual information between the observed network and the community structure exhibits a phase transition at the weak recovery threshold. Our results are proven in much broader settings including the hypergraph stochastic block models and general planted factor graphs. In these settings we prove that the impossibility of weak recovery implies contiguity and provide a condition which guarantees the equivalence of weak recovery and detection.

categories: math.PR cs.IT cs.SI math.CO math.IT math.ST stat.TH


title: Bone Fracture Classification using Transfer Learning

abstract: The manual examination of X-ray images for fractures is a time-consuming process that is prone to human error. In this work, we introduce a robust yet simple training loop for the classification of fractures, which significantly outperforms existing methods. Our method achieves superior performance in less than ten epochs and utilizes the latest dataset to deliver the best-performing model for this task. We emphasize the importance of training deep learning models responsibly and efficiently, as well as the critical role of selecting high-quality datasets.


title: A Nonoverlapping Domain Decomposition Method for Extreme Learning Machines: Elliptic Problems

abstract: Extreme learning machine (ELM) is a methodology for solving partial differential equations (PDEs) using a single hidden layer feed-forward neural network. It presets the weight/bias coefficients in the hidden layer with random values, which remain fixed throughout the computation, and uses a linear least squares method for training the parameters of the output layer of the neural network. It is known to be much faster than Physics informed neural networks. However, classical ELM is still computationally expensive when a high level of representation is desired in the solution as this requires solving a large least squares system. In this paper, we propose a nonoverlapping domain decomposition method (DDM) for ELMs that not only reduces the training time of ELMs, but is also suitable for parallel computation. In numerical analysis, DDMs have been widely studied to reduce the time to obtain finite element solutions for elliptic PDEs through parallel computation. Among these approaches, nonoverlapping DDMs are attracting the most attention. Motivated by these methods, we introduce local neural networks, which are valid only at corresponding subdomains, and an auxiliary variable at the interface. We construct a system on the variable and the parameters of local neural networks. A Schur complement system on the interface can be derived by eliminating the parameters of the output layer. The auxiliary variable is then directly obtained by solving the reduced system after which the parameters for each local neural network are solved in parallel. A method for initializing the hidden layer parameters suitable for high approximation quality in large systems is also proposed. Numerical results that verify the acceleration performance of the proposed method with respect to the number of subdomains are presented.


title: Fair Clustering: Critique, Caveats, and Future Directions

abstract: Clustering is a fundamental problem in machine learning and operations research. Therefore, given the fact that fairness considerations have become of paramount importance in algorithm design, fairness in clustering has received significant attention from the research community. The literature on fair clustering has resulted in a collection of interesting fairness notions and elaborate algorithms. In this paper, we take a critical view of fair clustering, identifying a collection of ignored issues such as the lack of a clear utility characterization and the difficulty in accounting for the downstream effects of a fair clustering algorithm in machine learning settings. In some cases, we demonstrate examples where the application of a fair clustering algorithm can have significant negative impacts on social welfare. We end by identifying a collection of steps that would lead towards more impactful research in fair clustering.


title: Automating Transfer of Robot Task Plans using Functorial Data Migrations

abstract: This paper introduces a novel approach to ontology-based robot plan transfer using functorial data migrations from category theory. Functors provide structured maps between domain types and predicates which can be used to transfer plans from a source domain to a target domain without the need for replanning. Unlike methods that create models for transferring specific plans, our approach can be applied to any plan within a given domain. We demonstrate this approach by transferring a task plan from the canonical Blocksworld domain to one compatible with the AI2-THOR Kitchen environment. In addition, we discuss practical applications that may enhance the adaptability of robotic task planning in general.


title: Privacy Preserving Machine Learning for Electronic Health Records using Federated Learning and Differential Privacy

abstract: An Electronic Health Record (EHR) is an electronic database used by healthcare providers to store patients' medical records which may include diagnoses, treatments, costs, and other personal information. Machine learning (ML) algorithms can be used to extract and analyze patient data to improve patient care. Patient records contain highly sensitive information, such as social security numbers (SSNs) and residential addresses, which introduces a need to apply privacy-preserving techniques for these ML models using federated learning and differential privacy.


title: Effectiveness of ChatGPT in explaining complex medical reports to patients

abstract: Electronic health records contain detailed information about the medical condition of patients, but they are difficult for patients to understand even if they have access to them. We explore whether ChatGPT (GPT 4) can help explain multidisciplinary team (MDT) reports to colorectal and prostate cancer patients. These reports are written in dense medical language and assume clinical knowledge, so they are a good test of the ability of ChatGPT to explain complex medical reports to patients. We asked clinicians and lay people (not patients) to review explanations and responses of ChatGPT. We also ran three focus groups (including cancer patients, caregivers, computer scientists, and clinicians) to discuss output of ChatGPT. Our studies highlighted issues with inaccurate information, inappropriate language, limited personalization, AI distrust, and challenges integrating large language models (LLMs) into clinical workflow. These issues will need to be resolved before LLMs can be used to explain complex personal medical information to patients.


title: Determining the Dielectric Constant of Solid/Liquid Interfaces

abstract: The dielectric constant ($\varepsilon^{\prime}$) of interfacial water is an important parameter, but its measurement has posed challenges, and no consensus has been reached on a generalized expression. We derived a formula for $\varepsilon^{\prime}$ of a buried interface using the slab model for a half-solvated sphere: $ \varepsilon^{\prime}=\varepsilon_1 \varepsilon_2\left(\varepsilon_2-\varepsilon_1+6\right) / 2\left(2 \varepsilon_2+\varepsilon_1\right)$, where $\varepsilon_1$ and $\varepsilon_2$ are the dielectric constants of the solid and liquid phases, respectively. We experimentally validated this expression using vibrational sum frequency generation and Fresnel factor calculations for interfaces of alumina with water ($ \mathrm{H_2O} $ and $ \mathrm{D_2O} $) and acetonitrile. This fills an important knowledge gap in the description of the dielectric constant of interfaces.


title: Search for charmed baryons in the $\Lambda_c^+\eta$ system and measurement of the branching fractions of $\Lambda_c(2880)^+$ and $\Lambda_c(2940)^+$ decaying to $\Lambda_c^+\eta$ and $pD^0$ relative to $\Sigma_c(2455)\pi$

abstract: We search for excited charmed baryons in the $\Lambda_c^+\eta$ system using a data sample corresponding to an integrated luminosity of 980 $\rm fb^{-1}$. The data were collected by the Belle detector at the KEKB $e^{+}$$e^{-}$ asymmetric-energy collider. No significant signals are found in the $\Lambda_c^+\eta$ mass spectrum, including the known $\Lambda_c(2880)^+$ and $\Lambda_c(2940)^+$. Clear $\Lambda_c(2880)^+$ and $\Lambda_c(2940)^+$ signals are observed in the $pD^0$ mass spectrum. We set upper limits at 90\% credibility level on ratios of branching fractions of $\Lambda_c(2880)^+$ and $\Lambda_c(2940)^+$ decaying to $\Lambda_c^+\eta$ relative to $\Sigma_c(2455)\pi$ of $<0.13$ for the $\Lambda_c(2880)^+$ and $<1.11$ for the $\Lambda_c(2940)^+$. We measure ratios of branching fractions of $\Lambda_c(2880)^+$ and $\Lambda_c(2940)^+$ decaying to $pD^0$ relative to $\Sigma_c(2455)\pi$ of $0.75 \pm 0.03(\text{stat.}) \pm 0.07(\text{syst.})$ for the $\Lambda_c(2880)^+$ and $3.59 \pm 0.21(\text{stat.}) \pm 0.56(\text{syst.})$ for the $\Lambda_c(2940)^+$.


title: Evaluating the Effectiveness of the Foundational Models for Q&A Classification in Mental Health care

abstract: Pre-trained Language Models (PLMs) have the potential to transform mental health support by providing accessible and culturally sensitive resources. However, despite this potential, their effectiveness in mental health care and specifically for the Arabic language has not been extensively explored. To bridge this gap, this study evaluates the effectiveness of foundational models for classification of Questions and Answers (Q&A) in the domain of mental health care. We leverage the MentalQA dataset, an Arabic collection featuring Q&A interactions related to mental health. In this study, we conducted experiments using four different types of learning approaches: traditional feature extraction, PLMs as feature extractors, Fine-tuning PLMs and prompting large language models (GPT-3.5 and GPT-4) in zero-shot and few-shot learning settings. While traditional feature extractors combined with Support Vector Machines (SVM) showed promising performance, PLMs exhibited even better results due to their ability to capture semantic meaning. For example, MARBERT achieved the highest performance with a Jaccard Score of 0.80 for question classification and a Jaccard Score of 0.86 for answer classification. We further conducted an in-depth analysis including examining the effects of fine-tuning versus non-fine-tuning, the impact of varying data size, and conducting error analysis. Our analysis demonstrates that fine-tuning proved to be beneficial for enhancing the performance of PLMs, and the size of the training data played a crucial role in achieving high performance. We also explored prompting, where few-shot learning with GPT-3.5 yielded promising results. There was an improvement of 12% for question and classification and 45% for answer classification. Based on our findings, it can be concluded that PLMs and prompt-based approaches hold promise for mental health support in Arabic.


title: Lagrangian knots and unknots -- an essay

abstract: In this essay dedicated to Yakov Eliashberg we survey the current state of the field of Lagrangian (un)knots, reviewing some constructions and obstructions along with a number of unsolved questions. The appendix by Georgios Dimitroglou Rizell provides a new take on local Lagrangian knots.


title: ReCaLL: Membership Inference via Relative Conditional Log-Likelihoods

abstract: The rapid scaling of large language models (LLMs) has raised concerns about the transparency and fair use of the pretraining data used for training them. Detecting such content is challenging due to the scale of the data and limited exposure of each instance during training. We propose ReCaLL (Relative Conditional Log-Likelihood), a novel membership inference attack (MIA) to detect LLMs' pretraining data by leveraging their conditional language modeling capabilities. ReCaLL examines the relative change in conditional log-likelihoods when prefixing target data points with non-member context. Our empirical findings show that conditioning member data on non-member prefixes induces a larger decrease in log-likelihood compared to non-member data. We conduct comprehensive experiments and show that ReCaLL achieves state-of-the-art performance on the WikiMIA dataset, even with random and synthetic prefixes, and can be further improved using an ensemble approach. Moreover, we conduct an in-depth analysis of LLMs' behavior with different membership contexts, providing insights into how LLMs leverage membership information for effective inference at both the sequence and token level.


title: Single Element Error Correction/ in a Euclidean Distance Matrix

abstract: We consider the \emph{exact} error correction of a noisy Euclidean distance matrix, EDM, where the elements are the squared distances between $n$ points in $R^d$. For our problem we are given two facts: (i) the embedding dimension, $d$, (ii) \emph{exactly one} distance in the data is corrupted by \emph{nonzero noise}. But we do \underline{not} know the magnitude nor position of the noise. Thus there is a combinatorial element to the problem. We present three solution techniques. These use three divide and conquer strategies in combination with three versions of facial reduction that use: exposing vectors, facial vectors, and Gale transforms. This sheds light on the connections between the various forms of facial reduction related to Gale transforms. Our highly successful empirics confirm the success of these approaches as we can solve huge problems of the order of $100,000$ nodes in approximately one minute to machine precision. \\Our algorithm depends on identifying whether a principal submatrix of the \EDM contains the corrupted element. We provide a theorem for doing this that is related to the existing results for identifying \emph{yielding} elements, i.e.,~we provide a characterization for guaranteeing the perturbed EDM remains an EDM with embedding dimension $d$. The characterization is particularly simple in the $d=2$ case. \\In addition, we characterize when the intuitive approach of the nearest EDM problem, solves our problem. In fact, we show that this happens if, and only if, the original distance element is $0$, degenerate, and the perturbation is negative.


title: Imperfect-Recall Games: Equilibrium Concepts and Their Complexity

abstract: We investigate optimal decision making under imperfect recall, that is, when an agent forgets information it once held before. An example is the absentminded driver game, as well as team games in which the members have limited communication capabilities. In the framework of extensive-form games with imperfect recall, we analyze the computational complexities of finding equilibria in multiplayer settings across three different solution concepts: Nash, multiselves based on evidential decision theory (EDT), and multiselves based on causal decision theory (CDT). We are interested in both exact and approximate solution computation. As special cases, we consider (1) single-player games, (2) two-player zero-sum games and relationships to maximin values, and (3) games without exogenous stochasticity (chance nodes). We relate these problems to the complexity classes P, PPAD, PLS, $\Sigma_2^P$ , $\exists$R, and $\exists \forall$R.


title: Measurable Parameter Combinations of Environmentally-dephased EMRI Gravitational-Wave Signals

abstract: The future space-borne Laser Interferometer Space Antenna (LISA) is expected to detect gravitational waves (GW) from Extreme Mass Ratio Inspiral (EMRI) binaries which may live in nontrivial environments such as accretion disks. In this work, we apply the Fisher matrix Principal Component Analysis (PCA) method to assess how well LISA observations can jointly constrain the source parameters and environmental densities around EMRIs. Specifically, we calculate the Fisher matrix from the post-Newtonian parameters of an EMRI binary embedded in a fluid with a constant density profile. We determine that the most dominant measurable parameter combination is dominated by contributions from environmental effects, namely, gravitational drag, accretion, and gravitational pull (in order of contribution). The proposed reparameterization of the PN parameters can be used to improve the power and efficiency of future detection and parameter estimation methods.


title: EVCL: Elastic Variational Continual Learning with Weight Consolidation

abstract: Continual learning aims to allow models to learn new tasks without forgetting what has been learned before. This work introduces Elastic Variational Continual Learning with Weight Consolidation (EVCL), a novel hybrid model that integrates the variational posterior approximation mechanism of Variational Continual Learning (VCL) with the regularization-based parameter-protection strategy of Elastic Weight Consolidation (EWC). By combining the strengths of both methods, EVCL effectively mitigates catastrophic forgetting and enables better capture of dependencies between model parameters and task-specific data. Evaluated on five discriminative tasks, EVCL consistently outperforms existing baselines in both domain-incremental and task-incremental learning scenarios for deep discriminative models.


title: Performance of the plastic scintillator modules for the top veto tracker of the Taishan Antineutrino Observatory

abstract: For tracking and tagging the cosmic-ray muon (CR-muon), the Taishan Antineutrino Observatory (TAO) experiment is equipped with a top veto tracker (TVT) system composed of 160 modules, each consisting of plastic scintillator (PS) strip as target material, embedded wavelength shifting fiber (WLS-fiber) as photon collection and transmission medium, and silicon photomultipliers (SiPMs) at both ends as read-out. This article introduces the unique design of the module and reports the excellent performance of all modules, providing guidance and important reference for the process design of scintillation detectors with WLS-fibers. In general, when the CR-muon hits the center of plastic scintillator and without optical grease, the most probable value of the signal amplitude at one end of the PS strip is greater than 40.8 p.e. and 51.5 p.e. for all the 2 m-length modules and 1.5 m-length modules respectively. The CR-muon tagging efficiency of PS module is measured to be more than 99.3%, which meets the requirement of TAO.


title: Explosion by Killing and Maximum Principle in Symmetric Markov Processes

abstract: Keller and Lenz \cite{KL} define a concept of {\it stochastic completeness at infinity} (SCI) for a regular symmetric Dirichlet form $(\cE,\cF)$. We show that (SCI) can be characterized probabilistically by using the predictable part $\zeta^p$ of the life time $\zeta$ of the symmetric Markov process $X=({\bf P}_x,X_t)$ generated by $(\cE,\cF)$, that is, (SCI) is equivalent to $\bfP_x(\zeta=\zeta^p<\infty)=0$. We define a concept, {\it explosion by killing} (EK), by $\bfP_x(\zeta=\zeta^i<\infty)=1$. Here $\zeta^i$ is the totally inaccessible part of $\zeta$. We see that (EK) is equivalent to (SCI) and $\bfP_x(\zeta=\infty)=1$. Let $X^{\rm res}$ be the {\it resurrected process} generated by the {\it resurrected form}, a regular Dirichlet form constructed by removing the killing part from $(\cE, \cF)$. Extending work of Masamune and Schmidt (\cite{MS}), we show that (EK) is also equivalent to the ordinary conservation property of time changed process of $X^{\rm res}$ by $A^k_t$, where the $A^k_t$ is the positive continuous additive functional in the Revuz correspondence to the killing measure $k$ in the Beurling-Deny formula (Theorem \ref{ma-sh}). We consider the maximum principle for Schr\"odinger-type operator $\cL^\mu=\cL-\mu$. Here $\cL$ is the self-adjoint operator associated with $(\cE,\cF)$ %with non-local part and $\mu$ is a Green-tight Kato measure. Let $\lambda(\mu)$ be the principal eigenvalue of the trace of $(\cE,\cF)$ relative to $\mu$. We prove that if (EK) holds, then $\lambda(\mu)>1$ implies a Liouville property that every bounded solution to $\cL^\mu u=0$ is zero quasi-everywhere and that the {\it refined maximum principle} in the sense of Berestycki-Nirenberg-Varadhan \cite{BNV} holds for $\cL^\mu$ if and only if $\lambda(\mu)>1$ (Theorem \ref{RMP}).


title: Filtering Problem for Functionals of Stationary Sequences

abstract: The problem of the mean-square optimal linear estimation of functionals which depend on the unknown values of a stationary stochastic sequence from observations of the sequence with noise is considered. In the case of spectral certainty, where the spectral densities of the sequences are exactly known, we propose formulas for calculating the spectral characteristic and value of the mean-square error of the estimate, which are determined using the Fourier coefficients of some functions from the spectral densities. The minimax-robust method of estimation is applied in the case of spectral uncertainty, where the spectral densities are not exactly known, but a class of admissible spectral densities is given. Formulas for determining the least favorable spectral densities and the minimax-robust spectral characteristics of the optimal estimates of the functionals are proposed for some specific classes of admissible spectral densities.


title: Effective Adaptive Mutation Rates for Program Synthesis

abstract: The problem-solving performance of many evolutionary algorithms, including genetic programming systems used for program synthesis, depends on the values of hyperparameters including mutation rates. The mutation method used to produce some of the best results to date on software synthesis benchmark problems, Uniform Mutation by Addition and Deletion (UMAD), adds new genes into a genome at a predetermined rate and then deletes genes at a rate that balances the addition rate, producing no size change on average. While UMAD with a predetermined addition rate outperforms many other mutation and crossover schemes, we do not expect a single rate to be optimal across all problems or all generations within one run of an evolutionary system. However, many current adaptive mutation schemes such as self-adaptive mutation rates suffer from pathologies like the vanishing mutation rate problem, in which the mutation rate quickly decays to zero. We propose an adaptive bandit-based scheme that addresses this problem and essentially removes the need to specify a mutation rate. Although the proposed scheme itself introduces hyperparameters, we either set these to good values or ensemble them in a reasonable range. Results on software synthesis and symbolic regression problems validate the effectiveness of our approach.


title: A Bayesian framework for spectral reprojection

abstract: Fourier partial sum approximations yield exponential accuracy for smooth and periodic functions, but produce the infamous Gibbs phenomenon for non-periodic ones. Spectral reprojection resolves the Gibbs phenomenon by projecting the Fourier partial sum onto a Gibbs complementary basis, often prescribed as the Gegenbauer polynomials. Noise in the Fourier data and the Runge phenomenon both degrade the quality of the Gegenbauer reconstruction solution, however. Motivated by its theoretical convergence properties, this paper proposes a new Bayesian framework for spectral reprojection, which allows a greater understanding of the impact of noise on the reprojection method from a statistical point of view. We are also able to improve the robustness with respect to the Gegenbauer polynomials parameters. Finally, the framework provides a mechanism to quantify the uncertainty of the solution estimate.


title: Enantiomer-Specific Pumping of Chiral Molecules

abstract: Enantiomer-specific state transfer (ESST), which involves transferring enantiomers with different handedness of a chiral molecule into different-energy internal states, is a challenging yet significant task. Previous ESST methods are based on dynamic processes and thus require the preparation of initial states and precise control of microwave operation times. We propose a novel ESST approach, called enantiomer-specific pumping (ESP), which is based on a {\it dissipative} process, and thereby eliminates the need for these two technical requirements. This approach utilizes a special microwave-induced dark state that appears exclusively for the enantiomer with a specific handedness. Specifically, in ESP, the enantiomer lacking the dark state can be pumped out of the subspace of relevant internal states, while the enantiomer with the dark state maintains a finite probability within this subspace, offering high efficiency in ESST. Notably, ESP facilitates enantiodetection without the need for enantiopure samples as reference.


title: Deep Learning Segmentation of Ascites on Abdominal CT Scans for Automatic Volume Quantification

abstract: Purpose: To evaluate the performance of an automated deep learning method in detecting ascites and subsequently quantifying its volume in patients with liver cirrhosis and ovarian cancer. Materials and Methods: This retrospective study included contrast-enhanced and non-contrast abdominal-pelvic CT scans of patients with cirrhotic ascites and patients with ovarian cancer from two institutions, National Institutes of Health (NIH) and University of Wisconsin (UofW). The model, trained on The Cancer Genome Atlas Ovarian Cancer dataset (mean age, 60 years +/- 11 [s.d.]; 143 female), was tested on two internal (NIH-LC and NIH-OV) and one external dataset (UofW-LC). Its performance was measured by the Dice coefficient, standard deviations, and 95% confidence intervals, focusing on ascites volume in the peritoneal cavity. Results: On NIH-LC (25 patients; mean age, 59 years +/- 14 [s.d.]; 14 male) and NIH-OV (166 patients; mean age, 65 years +/- 9 [s.d.]; all female), the model achieved Dice scores of 0.855 +/- 0.061 (CI: 0.831-0.878) and 0.826 +/- 0.153 (CI: 0.764-0.887), with median volume estimation errors of 19.6% (IQR: 13.2-29.0) and 5.3% (IQR: 2.4-9.7) respectively. On UofW-LC (124 patients; mean age, 46 years +/- 12 [s.d.]; 73 female), the model had a Dice score of 0.830 +/- 0.107 (CI: 0.798-0.863) and median volume estimation error of 9.7% (IQR: 4.5-15.1). The model showed strong agreement with expert assessments, with r^2 values of 0.79, 0.98, and 0.97 across the test sets. Conclusion: The proposed deep learning method performed well in segmenting and quantifying the volume of ascites in concordance with expert radiologist assessments.


title: In How Ways Can You Play Stanley Solitaire?

abstract: We introduce a very simple solitaire game, named Stanley Solitaire, in honor of Richard Stanley, and prove an explicit closed-form formula for the number of ways of playing it. Alas, the only proof that we know is via a deep theorem of Richard Stanley from 1984. We challenge the readers to find a more elementary proof.


title: Serial Position Effects of Large Language Models

abstract: Large Language Models (LLMs) have shown remarkable capabilities in zero-shot learning applications, generating responses to queries using only pre-training information without the need for additional fine-tuning. This represents a significant departure from traditional machine learning approaches. Previous research has indicated that LLMs may exhibit serial position effects, such as primacy and recency biases, which are well-documented cognitive biases in human psychology. Our extensive testing across various tasks and models confirms the widespread occurrence of these effects, although their intensity varies. We also discovered that while carefully designed prompts can somewhat mitigate these biases, their effectiveness is inconsistent. These findings underscore the significance of serial position effects during the inference process, particularly in scenarios where there are no ground truth labels, highlighting the need for greater focus on addressing these effects in LLM applications.


title: Learning with Noisy Ground Truth: From 2D Classification to 3D Reconstruction

abstract: Deep neural networks has been highly successful in data-intense computer vision applications, while such success relies heavily on the massive and clean data. In real-world scenarios, clean data sometimes is difficult to obtain. For example, in image classification and segmentation tasks, precise annotations of millions samples are generally very expensive and time-consuming. In 3D static scene reconstruction task, most NeRF related methods require the foundational assumption of the static scene (e.g. consistent lighting condition and persistent object positions), which is often violated in real-world scenarios. To address these problem, learning with noisy ground truth (LNGT) has emerged as an effective learning method and shows great potential. In this short survey, we propose a formal definition unify the analysis of LNGT LNGT in the context of different machine learning tasks (classification and regression). Based on this definition, we propose a novel taxonomy to classify the existing work according to the error decomposition with the fundamental definition of machine learning. Further, we provide in-depth analysis on memorization effect and insightful discussion about potential future research opportunities from 2D classification to 3D reconstruction, in the hope of providing guidance to follow-up research.


title: Learning k-Determinantal Point Processes for Personalized Ranking

abstract: The key to personalized recommendation is to predict a personalized ranking on a catalog of items by modeling the user's preferences. There are many personalized ranking approaches for item recommendation from implicit feedback like Bayesian Personalized Ranking (BPR) and listwise ranking. Despite these methods have shown performance benefits, there are still limitations affecting recommendation performance. First, none of them directly optimize ranking of sets, causing inadequate exploitation of correlations among multiple items. Second, the diversity aspect of recommendations is insufficiently addressed compared to relevance. In this work, we present a new optimization criterion LkP based on set probability comparison for personalized ranking that moves beyond traditional ranking-based methods. It formalizes set-level relevance and diversity ranking comparisons through a Determinantal Point Process (DPP) kernel decomposition. To confer ranking interpretability to the DPP set probabilities and prioritize the practicality of LkP, we condition the standard DPP on the cardinality k of the DPP-distributed set, known as k-DPP, a less-explored extension of DPP. The generic stochastic gradient descent based technique can be directly applied to optimizing models that employ LkP. We implement LkP in the context of both Matrix Factorization (MF) and neural networks approaches, on three real-world datasets, obtaining improved relevance and diversity performances. LkP is broadly applicable, and when applied to existing recommendation models it also yields strong performance improvements, suggesting that LkP holds significant value to the field of recommender systems.


title: Tuning electronic pairing by uniaxial strain in kagome lattices

abstract: We study the interplay of attractive electron interactions and topological states in strained kagome lattices with spin-orbit coupling via a Hubbard Hamiltonian in the mean-field approximation. In the unstrained lattice, there is a topological phase transition from a quantum spin Hall state to a charge density wave (CDW) with increasing interaction strength. Upon applying a uniform uniaxial strain to the lattice, we find a new phase with coexisting CDWs and topological states. For increasing interaction strength or strain, the system is driven into a pure CDW, signaling topological phase transitions. The directionality (nematicity) of the CDW is controlled by the direction of the applied strain. When $s$ wave electronic pairing is allowed, the system develops a superconducting order beyond a threshold attraction, which is totally suppressed by the onset of a CDW with increasing interaction. Most interestingly, moderate strain allows the coexistence of superconductivity and CDWs for a range of interaction values. This illustrates how electronic interactions and single-particle topological structures compete to create unusual correlated phases in kagome systems.


title: Deep-MPC: A DAGGER-Driven Imitation Learning Strategy for Optimal Constrained Battery Charging

abstract: In the realm of battery charging, several complex aspects demand meticulous attention, including thermal management, capacity degradation, and the need for rapid charging while maintaining safety and battery lifespan. By employing the imitation learning paradigm, this manuscript introduces an innovative solution to confront the inherent challenges often associated with conventional predictive control strategies for constrained battery charging. A significant contribution of this study lies in the adaptation of the Dataset Aggregation (DAGGER) algorithm to address scenarios where battery parameters are uncertain, and internal states are unobservable. Results drawn from a practical battery simulator that incorporates an electrochemical model highlight substantial improvements in battery charging performance, particularly in meeting all safety constraints and outperforming traditional strategies in computational processing.


title: Refining the WASP-132 multi-planetary system: discovery of a cold giant planet and mass measurement of a hot super-Earth

abstract: Hot Jupiters generally do not have nearby planet companions, as they may have cleared out other planets during their inward migration from more distant orbits. This gives evidence that hot Jupiters more often migrate inward via high-eccentricity migration due to dynamical interactions between planets rather than more dynamically cool migration mechanisms through the protoplanetary disk. Here we further refine the unique system of WASP-132 by characterizing the mass of the recently validated 1.0-day period super-Earth WASP-132c (TOI-822.02) interior to the 7.1-day period hot Jupiter WASP-132b. Additionally, we announce the discovery of a giant planet at a 5-year period (2.7 AU). We also detect a long-term trend in the radial velocity data indicative of another outer companion. Using over nine years of CORALIE RVs and over two months of highly-sampled HARPS RVs, we determine the masses of the planets from smallest to largest orbital period to be M$_{\rm{c}}$ = $6.26^{+1.84}_{-1.83}$ $M_{\oplus}$, M$_{\rm{b}}$ = $0.428^{+0.015}_{-0.015}$ $M_{\rm{Jup}}$, and M$_{\rm{d}}\sin{i}$ = $5.16^{+0.52}_{-0.52}$ $M_{\rm{Jup}}$, respectively. Using TESS and CHEOPS photometry data we measure the radii of the two inner transiting planets to be $1.841^{+0.094}_{-0.093}$ $R_{\oplus}$ and $0.901^{+0.038}_{-0.038}$ $R_{\rm{Jup}}$. WASP-132 is a unique multi-planetary system in that both an inner rocky planet and an outer giant planet are in a system with a hot Jupiter. This suggests it migrated via a more rare dynamically cool mechanism and helps to further our understanding of how hot Jupiter systems may form and evolve.


title: Generalized Measures of Population Synchrony

abstract: Synchronized behavior among individuals is a ubiquitous feature of populations. Understanding mechanisms of (de)synchronization demands meaningful, interpretable, computable quantifications of synchrony, relevant to measurements that can be made of dynamic populations. Despite the importance to analyzing and modeling populations, existing notions of synchrony often lack rigorous definitions, may be specialized to a particular experimental system and/or measurement, or may have undesirable properties that limit their utility. We introduce a notion of synchrony for populations of individuals occupying a compact metric space that depends on the Fr\'{e}chet variance of the distribution of individuals. We establish several fundamental and desirable mathematical properties of this synchrony measure, including continuity and invariance to metric scaling. We establish a general approximation result that controls the disparity between synchrony in the true space and the synchrony observed through a discretization of state space, as may occur when observable states are limited by measurement constraints. We develop efficient algorithms to compute synchrony in a variety of state spaces, including all finite state spaces and empirical distributions on the circle, and provide accessible implementations in an open-source Python module. To demonstrate the usefulness of the synchrony measure in biological applications, we investigate several biologically relevant models of mechanisms that can alter the dynamics of synchrony over time, and reanalyze published data concerning the dynamics of the intraerythrocytic developmental cycles of $\textit{Plasmodium}$ parasites. We anticipate that the rigorous definition of population synchrony and the mathematical and biological results presented here will be broadly useful in analyzing and modeling populations in a variety of contexts.


title: SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis

abstract: Smart contracts written in Solidity are widely used in different blockchain platforms such as Ethereum, TRON and BNB Chain. One of the unique designs in Solidity smart contracts is its state-reverting mechanism for error handling and access control. Unfortunately, a number of recent security incidents showed that adversaries also utilize this mechanism to manipulate critical states of smart contracts, and hence, bring security consequences such as illegal profit-gain and Deny-of-Service (DoS). In this paper, we call such vulnerabilities as the State-reverting Vulnerability (SRV). Automatically identifying SRVs poses unique challenges, as it requires an in-depth analysis and understanding of the state-dependency relations in smart contracts. This paper presents SmartState, a new framework for detecting state-reverting vulnerability in Solidity smart contracts via fine-grained state-dependency analysis. SmartState integrates a set of novel mechanisms to ensure its effectiveness. Particularly, Smart-State extracts state dependencies from both contract bytecode and historical transactions. Both of them are critical for inferring dependencies related to SRVs. Further, SmartState models the generic patterns of SRVs (i.e., profit-gain and DoS) as SRV indicators, and hence effectively identify SRVs based on the constructed state-dependency graph. To evaluate SmartState, we manually annotated a ground-truth dataset which contains 91 SRVs in the real world. Evaluation results showed that SmartState achieves a precision of 87.23% and a recall of 89.13%. In addition, SmartState successfully identifies 406 new SRVs from 47,351 real-world smart contracts. 11 of these SRVs are from popular smart contracts with high transaction amounts (i.e., top 2000). In total, our reported SRVs affect a total amount of digital assets worth 428,600 USD.


title: Duality for pairs of upward bipolar plane graphs and submodule lattices

abstract: Let $G$ and $H$ be acyclic, upward bipolarly oriented plane graphs with the same number $n$ of edges. While $G$ can symbolize a flow network, $H$ has only a controlling role. Let $\phi$ and $\psi$ be bijections from $\{1, \dots, n\}$ to the edge set of $G$ and that of $H$, respectively; their role is to define, for each edge of $H$, the corresponding edge of $G$. Let $b$ be an element of an Abelian group $\mathbb A$. An $n$-tuple $(a_1$, $\dots$, $a_n)$ of elements of $\mathbb A$ is a solution of the paired-bipolar-graphs problem $P:=(G,H$, $\phi,\psi$, $\mathbb A, b)$ if whenever $a_i$ is the ``all-or-nothing-flow'' capacity of the edge $\phi(i)$ for $i=1, \dots, n$ and $\vec e$ is a maximal directed path of $H$, then by fully exploiting the capacities of the edges corresponding to the edges of $\vec e$ and neglecting the rest of the edges of $G$, we have a flow process transporting $b$ from the source (vertex) of $G$ to the sink of $G$. Let $P':=(H',G'$, $\psi',\phi'$, $\mathbb A, b)$, where $H'$ and $G'$ are the ``two-outer-facet'' duals of $H$ and $G$, respectively, and $\psi'$ and $\phi'$ are defined naturally. We prove that $P$ and $P'$ have the same solutions. This result implies George Hutchinson's self-duality theorem on submodule lattices.


title: Enhancing Cross-Document Event Coreference Resolution by Discourse Structure and Semantic Information

abstract: Existing cross-document event coreference resolution models, which either compute mention similarity directly or enhance mention representation by extracting event arguments (such as location, time, agent, and patient), lacking the ability to utilize document-level information. As a result, they struggle to capture long-distance dependencies. This shortcoming leads to their underwhelming performance in determining coreference for the events where their argument information relies on long-distance dependencies. In light of these limitations, we propose the construction of document-level Rhetorical Structure Theory (RST) trees and cross-document Lexical Chains to model the structural and semantic information of documents. Subsequently, cross-document heterogeneous graphs are constructed and GAT is utilized to learn the representations of events. Finally, a pair scorer calculates the similarity between each pair of events and co-referred events can be recognized using standard clustering algorithm. Additionally, as the existing cross-document event coreference datasets are limited to English, we have developed a large-scale Chinese cross-document event coreference dataset to fill this gap, which comprises 53,066 event mentions and 4,476 clusters. After applying our model on the English and Chinese datasets respectively, it outperforms all baselines by large margins.


title: TikTok Engagement Traces Over Time and Health Risky Behaviors: Combining Data Linkage and Computational Methods

abstract: Digital technologies and social algorithms are revolutionizing the media landscape, altering how we select and consume health information. Extending the selectivity paradigm with research on social media engagement, the convergence perspective, and algorithmic impact, this study investigates how individuals' liked TikTok videos on various health-risk topics are associated with their vaping and drinking behaviors. Methodologically, we relied on data linkage to objectively measure selective engagement on social media, which involves combining survey self-reports with digital traces from TikTok interactions for the consented respondents (n = 166). A computational analysis of 13,724 health-related videos liked by these respondents from 2020 to 2023 was conducted. Our findings indicate that users who initially liked drinking-related content on TikTok are inclined to favor more of such videos over time, with their likes on smoking, drinking, and fruit and vegetable videos influencing their self-reported vaping and drinking behaviors. Our study highlights the methodological value of combining digital traces, computational analysis, and self-reported data for a more objective examination of social media consumption and engagement, as well as a more ecologically valid understanding of social media's behavioral impact.


title: Can LLM Graph Reasoning Generalize beyond Pattern Memorization?

abstract: Large language models (LLMs) demonstrate great potential for problems with implicit graphical structures, while recent works seek to enhance the graph reasoning capabilities of LLMs through specialized instruction tuning. The resulting 'graph LLMs' are evaluated with in-distribution settings only, thus it remains underexplored whether LLMs are learning generalizable graph reasoning skills or merely memorizing patterns in the synthetic training data. To this end, we propose the NLGift benchmark, an evaluation suite of LLM graph reasoning generalization: whether LLMs could go beyond semantic, numeric, structural, reasoning patterns in the synthetic training data and improve utility on real-world graph-based tasks. Extensive experiments with two LLMs across four graph reasoning tasks demonstrate that while generalization on simple patterns (semantic, numeric) is somewhat satisfactory, LLMs struggle to generalize across reasoning and real-world patterns, casting doubt on the benefit of synthetic graph tuning for real-world tasks with underlying network structures. We explore three strategies to improve LLM graph reasoning generalization, and we find that while post-training alignment is most promising for real-world tasks, empowering LLM graph reasoning to go beyond pattern memorization remains an open research question.


title: Does the Amati Correlation Exhibit Redshift-Driven Heterogeneity in Long GRBs?

abstract: Long gamma-ray bursts (GRBs) offer significant insights into cosmology due to their high energy emissions and the potential to probe the early universe. The Amati relation, which links the intrinsic peak energy to the isotropic energy, is crucial for understanding their cosmological applications. This study investigates the redshift-driven heterogeneity of the Amati correlation in long GRBs. Analyzing 221 long GRBs with redshifts from 0.034 to 8.2 we divided the dataset based on redshift thresholds of 1.5 and 2. Using Bayesian marginalization and Reichart's likelihood approach, we found significant differences in the Amati parameters between low and high redshift subgroups. These variations, differing by approximately $2\sigma$ at $z = 1.5$ and more than $1\sigma$ at $z = 2$, suggest an evolution in the GRB population with redshift, possibly reflecting changes in host galaxy properties. However, selection effects and instrumental biases may also contribute. Our results challenge the assumption of the Amati relation's universality and underscore the need for larger datasets and more precise measurements from upcoming missions like THESEUS and eXTP to refine our understanding of GRB physics.


title: The delayed radio emission in the black hole X-ray binary MAXI J1348$-$630

abstract: We explore the coupling between the accretion flow and the jet in black hole X-ray binary (BHXRB) MAXI J1348-630 by analyzing the X-ray and radio observations during its 2019 outburst. We measure the time delay between the radio and Comptonization fluxes with the interpolated cross-correlation function. For the first time, we find that the radio emission lags behind the X-ray Comptonization emission by about 3 days during the rising phase covering the rising hard state and the following soft state. Such a long radio delay indicates that the Comptonization emission most likely originates from the advection-dominated accretion flow rather than the jet in this source. The Comptonization luminosity $L_{\rm C}$ in 0.1-100 keV and the radio luminosity $L_{\rm R}$ at 5.5 GHz, after considering the radio delay of $\sim 3$ days, follow the correlation with a slope $\beta = 3.04 \pm 0.93$, which is much steeper than the previously reported $\beta = 0.6$ or 1.40 using the total luminosity in the limited band (e.g., 1-10 keV) in the literature. This highlights the necessity of considering (1) the time delay, (2) the spectral decomposition, and (3) the broad energy band, in the radio-X-ray correlation analysis. As the jet reappears during the decaying phase (covering the soft state and the following decaying hard state) and the mini-outburst, the Componization and the radio emission appear to be almost simultaneous. And, the radio-Compton correlation during the mini-outburst becomes shallow with the correlation slope $\beta = 1.11 \pm 0.15$. These indicate an intrinsic difference in the accretion-jet coupling physics between the main outburst and the mini-outburst.


title: Poisson kernel and blow-up of the second derivatives near the boundary for Stokes equations with Navier boundary condition

abstract: We derive the explicit Poisson kernel of Stokes equations in the half space with nonhomogeneous Navier boundary condition (BC) for both infinite and finite slip length. By using this kernel, for any $q>1$, we construct a finite energy solution of Stokes equations with Navier BC in the half space, with bounded velocity and velocity gradient, but having unbounded second derivatives in $L^q$ locally near the boundary. While the Caccioppoli type inequality of Stokes equations with Navier BC is true for the first derivatives of velocity, which is proved by us in [CPAA 2023], this example shows that the corresponding inequality for the second derivatives of the velocity is not true. Moreover, we give an alternative proof of the blow-up using a shear flow example, which is simple and is the solution of both Stokes and Navier--Stokes equations.


title: Memorizing Documents with Guidance in Large Language Models

abstract: Training data plays a pivotal role in AI models. Large language models (LLMs) are trained with massive amounts of documents, and their parameters hold document-related contents. Recently, several studies identified content-specific locations in LLMs by examining the parameters. Instead of the post hoc interpretation, we propose another approach. We propose document-wise memory architecture to track document memories in training. The proposed architecture maps document representations to memory entries, which softly mask memories in the forward process of LLMs. Additionally, we propose document guidance loss, which increases the likelihood of text with document memories and reduces the likelihood of the text with the memories of other documents. Experimental results on Wikitext-103-v1 with Pythia-1B show that the proposed methods provide different memory entries for documents and high recall of document-related content in generation with trained document-wise memories.


title: State-Compensation-Linearization-Based Stability Margin Analysis for a Class of Nonlinear Systems: A Data-Driven Method

abstract: The classical stability margin analysis based on the linearized model is widely used in practice even in nonlinear systems. Although linear analysis techniques are relatively standard and have simple implementation structures, they are prone to misbehavior and failure when the system is performing an off-nominal operation. To avoid the drawbacks and exploit the advantages of linear analysis methods and frequency-domain stability margin analysis while tackling system nonlinearity, a state-compensation-linearization-based stability margin analysis method is studied in the paper. Based on the state-compensation-linearization-based stabilizing control, the definition and measurement of the stability margin are given. The l2 gain margin and l2 time-delay margin for the closed-loop nonlinear system with state-compensation-linearization-based stabilizing control are defined and derived approximatively by the small-gain theorem in theory. The stability margin measurement can be carried out by the frequency-sweep method in practice. The proposed method is a data-driven method for obtaining the stability margin of nonlinear systems, which is practical and can be applied to practical systems directly. Finally, three numerical examples are given to illustrate the effectiveness of the proposed method.


title: Recursive variational Gaussian approximation with the Whittle likelihood for linear non-Gaussian state space models

abstract: Parameter inference for linear and non-Gaussian state space models is challenging because the likelihood function contains an intractable integral over the latent state variables. Exact inference using Markov chain Monte Carlo is computationally expensive, particularly for long time series data. Variational Bayes methods are useful when exact inference is infeasible. These methods approximate the posterior density of the parameters by a simple and tractable distribution found through optimisation. In this paper, we propose a novel sequential variational Bayes approach that makes use of the Whittle likelihood for computationally efficient parameter inference in this class of state space models. Our algorithm, which we call Recursive Variational Gaussian Approximation with the Whittle Likelihood (R-VGA-Whittle), updates the variational parameters by processing data in the frequency domain. At each iteration, R-VGA-Whittle requires the gradient and Hessian of the Whittle log-likelihood, which are available in closed form for a wide class of models. Through several examples using a linear Gaussian state space model and a univariate/bivariate non-Gaussian stochastic volatility model, we show that R-VGA-Whittle provides good approximations to posterior distributions of the parameters and is very computationally efficient when compared to asymptotically exact methods such as Hamiltonian Monte Carlo.


title: SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis

abstract: With the increasing popularity of blockchain, different blockchain platforms coexist in the ecosystem (e.g., Ethereum, BNB, EOSIO, etc.), which prompts the high demand for cross-chain communication. Cross-chain bridge is a specific type of decentralized application for asset exchange across different blockchain platforms. Securing the smart contracts of cross-chain bridges is in urgent need, as there are a number of recent security incidents with heavy financial losses caused by vulnerabilities in bridge smart contracts, as we call them Cross-Chain Vulnerabilities (CCVs). However, automatically identifying CCVs in smart contracts poses several unique challenges. Particularly, it is non-trivial to (1) identify application-specific access control constraints needed for cross-bridge asset exchange, and (2) identify inconsistent cross-chain semantics between the two sides of the bridge. In this paper, we propose SmartAxe, a new framework to identify vulnerabilities in cross-chain bridge smart contracts. Particularly, to locate vulnerable functions that have access control incompleteness, SmartAxe models the heterogeneous implementations of access control and finds necessary security checks in smart contracts through probabilistic pattern inference. Besides, SmartAxe constructs cross-chain control-flow graph (xCFG) and data-flow graph (xDFG), which help to find semantic inconsistency during cross-chain data communication. To evaluate SmartAxe, we collect and label a dataset of 88 CCVs from real-attacks cross-chain bridge contracts. Evaluation results show that SmartAxe achieves a precision of 84.95% and a recall of 89.77%. In addition, SmartAxe successfully identifies 232 new/unknown CCVs from 129 real-world cross-chain bridge applications (i.e., from 1,703 smart contracts). These identified CCVs affect a total amount of digital assets worth 1,885,250 USD.


title: Predicting Individual Depression Symptoms from Acoustic Features During Speech

abstract: Current automatic depression detection systems provide predictions directly without relying on the individual symptoms/items of depression as denoted in the clinical depression rating scales. In contrast, clinicians assess each item in the depression rating scale in a clinical setting, thus implicitly providing a more detailed rationale for a depression diagnosis. In this work, we make a first step towards using the acoustic features of speech to predict individual items of the depression rating scale before obtaining the final depression prediction. For this, we use convolutional (CNN) and recurrent (long short-term memory (LSTM)) neural networks. We consider different approaches to learning the temporal context of speech. Further, we analyze two variants of voting schemes for individual item prediction and depression detection. We also include an animated visualization that shows an example of item prediction over time as the speech progresses.


title: Learning Accurate and Enriched Features for Stereo Image Super-Resolution

abstract: Stereo image super-resolution (stereoSR) aims to enhance the quality of super-resolution results by incorporating complementary information from an alternative view. Although current methods have shown significant advancements, they typically operate on representations at full resolution to preserve spatial details, facing challenges in accurately capturing contextual information. Simultaneously, they utilize all feature similarities to cross-fuse information from the two views, potentially disregarding the impact of irrelevant information. To overcome this problem, we propose a mixed-scale selective fusion network (MSSFNet) to preserve precise spatial details and incorporate abundant contextual information, and adaptively select and fuse most accurate features from two views to enhance the promotion of high-quality stereoSR. Specifically, we develop a mixed-scale block (MSB) that obtains contextually enriched feature representations across multiple spatial scales while preserving precise spatial details. Furthermore, to dynamically retain the most essential cross-view information, we design a selective fusion attention module (SFAM) that searches and transfers the most accurate features from another view. To learn an enriched set of local and non-local features, we introduce a fast fourier convolution block (FFCB) to explicitly integrate frequency domain knowledge. Extensive experiments show that MSSFNet achieves significant improvements over state-of-the-art approaches on both quantitative and qualitative evaluations.


title: Photon-assisted tunneling resonantly controlling spin current of a spin-orbit-coupled atom in a toroidal trap

abstract: The periodic flashing potential has proven to be a powerful tool for investigating directed atomic currents. By applying the flashing ring-shaped potential to spin-orbit (SO) coupled, noninteracting Bose-Einstein condensate (BEC) systems, through photon-assisted tunneling (resonance) techniques, we demonstrate the generation of tunable alternating (AC) spin and atomic mass currents that can be precisely controlled in terms of direction and strength. The underlying mechanism behind this phenomenon is that the flashing potential supplies enough photons to induce Rabi oscillations and provides momentum transfer for spin and atomic transport. As the single-particle ground state of the unperturbed SO-coupled BEC depends on the Raman coupling strength, we demonstrate how to generate and control AC spin currents in the cases where the initial state resides in a single-well or double-well phase. In particular, we realize and explain the mechanism of generating a net AC spin current without mass current through single-photon resonance processes. It is shown that these interesting resonance phenomena can be analytically described only by the simple three-level model, which creates the possibility of transparent controls of spin dynamics.


title: Unidirectional Chiral Emission via Twisted Bi-layer Metasurfaces

abstract: Controlling and channelling light emissions from unpolarized quantum dots into specific directions with chiral polarization remains a key challenge in modern photonics. Stacked metasurface designs offer a potential compact solution for chirality and directionality engineering. However, experimental observations of directional chiral radiation from resonant metasurfaces with quantum emitters remain obscure. In this paper, we present experimental observations of unidirectional chiral emission from a twisted bi-layer metasurface via multi-dimensional control, including twist angle, interlayer distance, and lateral displacement between the top and bottom layers, as enabled by doublet alignment lithography (DAL). First, maintaining alignment, the metasurface demonstrates a resonant intrinsic optical chirality with near-unity circular dichroism of 0.94 and reflectance difference of 74%, where a high circular dichroism greater than 0.9 persists across a wide range of angles from -11 to 11 degrees. Second, engineered lateral displacement induces a unidirectional chiral resonance, resulting in unidirectional chiral emission from the quantum dots deposited onto the metasurface. Our bi-layer metasurfaces offer a universal compact platform for efficient radiation manipulation over a wide angular range, promising potential applications in miniaturized lasers, grating couplers, and chiral nanoantennas.