title: Proteus: Preserving Model Confidentiality during Graph Optimizations

abstract: Deep learning (DL) models have revolutionized numerous domains, yet optimizing them for computational efficiency remains a challenging endeavor. Development of new DL models typically involves two parties: the model developers and performance optimizers. The collaboration between the parties often necessitates the model developers exposing the model architecture and computational graph to the optimizers. However, this exposure is undesirable since the model architecture is an important intellectual property, and its innovations require significant investments and expertise. During the exchange, the model is also vulnerable to adversarial attacks via model stealing. This paper presents Proteus, a novel mechanism that enables model optimization by an independent party while preserving the confidentiality of the model architecture. Proteus obfuscates the protected model by partitioning its computational graph into subgraphs and concealing each subgraph within a large pool of generated realistic subgraphs that cannot be easily distinguished from the original. We evaluate Proteus on a range of DNNs, demonstrating its efficacy in preserving confidentiality without compromising performance optimization opportunities. Proteus effectively hides the model as one alternative among up to $10^{32}$ possible model architectures, and is resilient against attacks with a learning-based adversary. We also demonstrate that heuristic based and manual approaches are ineffective in identifying the protected model. To our knowledge, Proteus is the first work that tackles the challenge of model confidentiality during performance optimization. Proteus will be open-sourced for direct use and experimentation, with easy integration with compilers such as ONNXRuntime.


title: Spin-selective coherent light scattering from ion crystals

abstract: We study collective light scattering from linear crystals with up to twelve $^{40}\text{Ca}^+$ ions, acting as coherent single photon emitters. Light-scattering is induced by two-photon laser excitation, starting from the S$_{1/2}$ to D$_{5/2}$ quadrupole transition at 729~nm in combination with laser excitation of the D$_{5/2}$ to P$_{3/2}$ dipole transition at 854~nm, followed by a decay back to S$_{1/2}$ via a single photon emission near 393~nm. The scattered intensity is recorded in the far field, featuring the interference of emitted light fields of the entire crystal. Furthermore, we demonstrate spin-dependent coherent scattering and unveil the time evolution of a previously encoded spin texture in a crystal employing the recorded dynamics of the spatial frequency components of the fringe pattern.


title: Scalable spin squeezing from critical slowing down in short-range interacting systems

abstract: Long-range spin-spin interactions are known to generate non-equilibrium dynamics which can squeeze the collective spin of a quantum spin ensemble in a scalable manner, leading to states whose metrologically useful entanglement grows with system size. Here we show theoretically that scalable squeezing can be produced in 2d U(1)-symmetric systems even by short-range interactions, i.e. interactions that at equilibrium do not lead to long-range order at finite temperatures, but rather to an extended, Berezhinski-Kosterlitz-Thouless (BKT) critical phase. If the initial state is a coherent spin state in the easy plane of interactions, whose energy corresponds to a thermal state in the critical BKT phase, the non-equilibrium dynamics exhibits critical slowing down, corresponding to a power-law decay of the collective magnetization in time. This slow decay protects scalable squeezing, whose scaling reveals in turn the decay exponent of the magnetization. Our results open the path to realizing massive entangled states of potential metrological interest in many relevant platforms of quantum simulation and information processing -- such as Mott insulators of ultracold atoms, or superconducting circuits -- characterized by short-range interactions in planar geometries.


title: On 3-colourability of $(bull, H)$-free graphs

abstract: The $3$-colourability problem is a well-known NP-complete problem and it remains NP-complete for $bull$-free graphs, where $bull$ is the graph consisting of $K_3$ with two pendant edges attached to two of its vertices. In this paper we study $3$-colourability of $(bull,H)$-free graphs for several graphs $H$. We show that these graphs are $3$-colourable or contain an induced odd wheel $W_{2p+1}$ for some $p\geq 2$ or a spindle graph $M_{3p+1}$ for some $p\geq 1$. Moreover, for all our results we can provide certifying algorithms that run in polynomial time.


title: First image of a jet launching from a black hole accretion system: Kinematics

abstract: Jets are endemic to both Galactic solar mass and extragalactic supermassive black holes. A recent 86 GHz image of M\,87 shows a jet emerging from the accretion ring around a black hole, providing the first direct observational constraint on the kinematics of the jet-launching region in any black hole jetted system. The very wide ($\sim280\mu\rm{as}$), highly collimated, limb-brightened cylindrical jet base is not predicted in current numerical simulations. The emission was shown to be consistent with that of a thick-walled cylindrical source that apparently feeds the flow that produces the bright limbs of the outer jet at an axial distance downstream of $0.4 \,\rm{mas}<z<0.65\, \rm{mas}$. The analysis here applies the conservation laws of energy, angular momentum, and magnetic flux to the combined system of the outer jet, the cylindrical jet, and the launch region. It also uses the brightness asymmetries of the jet and counterjet to constrain the Doppler factor. The only global solutions have a source that is located $<34 \mu\rm{as}$ from the event horizon. This includes the Event Horizon Telescope annulus of emission and the regions interior to this annulus. The axial jet begins as a magnetically dominated flow that spreads laterally from the launch radius ($<34 \mu\rm{as}$). It becomes super-magnetosonic before it reaches the base of the cylindrical jet. The flow is ostensibly redirected and collimated by a cylindrical nozzle formed in a thick accretion disk. The flow emerges from the nozzle as a mildly relativistic ($0.3c<v<0.4c$) jet with a significant protonic kinetic energy flux.


title: First results from the Axion Dark-Matter Birefringent Cavity (ADBC) experiment

abstract: Axions and axion-like particles are strongly motivated dark matter candidates that are the subject of many current ground based dark matter searches. We present first results from the Axion Dark-Matter Birefringent Cavity (ADBC) experiment, which is an optical bow-tie cavity probing the axion-induced birefringence of electromagnetic waves. Our experiment is the first optical axion detector that is tunable and quantum noise limited, making it sensitive to a wide range of axion masses. We have iteratively probed the axion mass range 40.9-43.3$\text{ neV/c}^2$, 49.3-50.6$\text{ neV/c}^2$, and 54.4-56.7$\text{ neV/c}^2$, and found no dark matter signal. On average, we constrain the ALP-photon coupling at the level $g_{a\gamma\gamma} \leq 1.9\times 10^{-8} \text{ GeV}^{-1}$. We also present prospects for future axion dark matter detection experiments using optical cavities.


title: Keller properties for integer tiling

abstract: Keller's conjecture on cube tilings asserted that, in any tiling of $\mathbb{R}^d$ by unit cubes, there must exist two cubes that share a $(d-1)$-dimensional face. This is now known to be true in dimensions $d\leq 7$ and false for $d\geq 8$. In this article, we investigate analogues of Keller's conjecture for integer tilings.


title: Families of numerical semigroups and a special case of the Huneke-Wiegand conjecture

abstract: The Huneke-Wiegand conjecture is a decades-long open question in commutative algebra. Garc\'ia-S\'anchez and Leamer showed that a special case of this conjecture concerning numerical semigroup rings $\Bbbk[\Gamma]$ can be answered in the affirmative by locating certain arithmetic sequences within the numerical semigroup $\Gamma$. In this paper, we use their approach to prove the Huneke-Wiegand conjecture in the case where $\Gamma$ is generated by a generalized arithmetic sequence and showcase how visualizations can be leveraged to find the requisite arithmetic sequences.


title: Centralized vs. Decentralized Multi-Agent Reinforcement Learning for Enhanced Control of Electric Vehicle Charging Networks

abstract: The widespread adoption of electric vehicles (EVs) poses several challenges to power distribution networks and smart grid infrastructure due to the possibility of significantly increasing electricity demands, especially during peak hours. Furthermore, when EVs participate in demand-side management programs, charging expenses can be reduced by using optimal charging control policies that fully utilize real-time pricing schemes. However, devising optimal charging methods and control strategies for EVs is challenging due to various stochastic and uncertain environmental factors. Currently, most EV charging controllers operate based on a centralized model. In this paper, we introduce a novel approach for distributed and cooperative charging strategy using a Multi-Agent Reinforcement Learning (MARL) framework. Our method is built upon the Deep Deterministic Policy Gradient (DDPG) algorithm for a group of EVs in a residential community, where all EVs are connected to a shared transformer. This method, referred to as CTDE-DDPG, adopts a Centralized Training Decentralized Execution (CTDE) approach to establish cooperation between agents during the training phase, while ensuring a distributed and privacy-preserving operation during execution. We theoretically examine the performance of centralized and decentralized critics for the DDPG-based MARL implementation and demonstrate their trade-offs. Furthermore, we numerically explore the efficiency, scalability, and performance of centralized and decentralized critics. Our theoretical and numerical results indicate that, despite higher policy gradient variances and training complexity, the CTDE-DDPG framework significantly improves charging efficiency by reducing total variation by approximately %36 and charging cost by around %9.1 on average...


title: Three-dimensional Interaction between a Planet and an Isothermal Gaseous Disk. III. Locally Isothermal Cases

abstract: We performed linear calculations to determine the Type I planetary migration rate for three-dimensional locally isothermal disks with radial temperature gradients. For 3D disks with radial temperature gradients, the linear wave equation has a divergent term of the third pole, which makes corotation a non-removal singularity. We suppressed the divergence with the Landau prescription to obtain the wave solutions. Despite the singularity at corotation, we derived a definite torque on the planet because the divergent term amplifies the waves only in the neighborhood of corotation and has little effect on the planetary torque. Consequently, we derived the formulas for the total, Lindblad, and corotation torques for locally isothermal disks. The resulting torque term due to the disk temperature gradient agrees well with the results of previous 3D hydrodynamical simulations for locally isothermal disks. Our linear calculation also provides the 3D horseshoe torque, which is close to the results of previous 3D hydrodynamical simulations.


title: Neural Active Learning Beyond Bandits

abstract: We study both stream-based and pool-based active learning with neural network approximations. A recent line of works proposed bandit-based approaches that transformed active learning into a bandit problem, achieving both theoretical and empirical success. However, the performance and computational costs of these methods may be susceptible to the number of classes, denoted as $K$, due to this transformation. Therefore, this paper seeks to answer the question: "How can we mitigate the adverse impacts of $K$ while retaining the advantages of principled exploration and provable performance guarantees in active learning?" To tackle this challenge, we propose two algorithms based on the newly designed exploitation and exploration neural networks for stream-based and pool-based active learning. Subsequently, we provide theoretical performance guarantees for both algorithms in a non-parametric setting, demonstrating a slower error-growth rate concerning $K$ for the proposed approaches. We use extensive experiments to evaluate the proposed algorithms, which consistently outperform state-of-the-art baselines.


title: The longevity of the oldest open clusters: Structural parameters of NGC 188, NGC 2420, NGC 2425, NGC 2682, NGC 6791, NGC 6819

abstract: Context: Open clusters' dynamical evolution is driven by stellar evolution, internal dynamics and external forces, which according to dynamical simulations, will evaporate them in a timescale of about 1 Ga. However, about 10\% of the known open clusters are older. They are special systems whose detailed properties are related to their dynamical evolution and the balance between mechanisms of cluster formation and dissolution. Aims:We investigate the spatial distribution and structural parameters of six open clusters older than 1 Ga in order to constrain their dynamical evolution, and longevity.} Methods: We identify members using Gaia EDR3 data up to a distance of 150 pc from each cluster's centre. We investigate the spatial distribution of stars inside each cluster to understand their degree of mass segregation. Finally, in order to interpret the obtained radial density profiles we reproduced them using the lowered isothermal model explorer with PYTHON Limepy and spherical potential escapers stitched SPES. Results: All the studied clusters seem more extended than previously reported in the literature. The spatial distributions of three of them show some structures aligned with their orbits. They may be related to the existence of extra tidal stars. In fact, we find that about 20 % of their members have enough energy to leave the systems or are already unbound. Together with their initial masses, their distances to the Galactic plane may play significant roles in their survival. We found clear evidences that the most dynamically evolved clusters do not fill their Roche volumes, appearing more concentrated than the others. Finally, we find a cusp-core dichotomy in the central regions of the studied clusters, which shows some similarities to the one observed among globular clusters.


title: DoughNet: A Visual Predictive Model for Topological Manipulation of Deformable Objects

abstract: Manipulation of elastoplastic objects like dough often involves topological changes such as splitting and merging. The ability to accurately predict these topological changes that a specific action might incur is critical for planning interactions with elastoplastic objects. We present DoughNet, a Transformer-based architecture for handling these challenges, consisting of two components. First, a denoising autoencoder represents deformable objects of varying topology as sets of latent codes. Second, a visual predictive model performs autoregressive set prediction to determine long-horizon geometrical deformation and topological changes purely in latent space. Given a partial initial state and desired manipulation trajectories, it infers all resulting object geometries and topologies at each step. DoughNet thereby allows to plan robotic manipulation; selecting a suited tool, its pose and opening width to recreate robot- or human-made goals. Our experiments in simulated and real environments show that DoughNet is able to significantly outperform related approaches that consider deformation only as geometrical change.


title: Evolutionary Period Changes For 52 Cataclysmic Variables, and the Failure For the Most Fundamental Prediction of the Magnetic Braking Model

abstract: The evolution of Cataclysmic Variables (CVs) is driven by period-changes ($\dot{P}$), for which the long-venerable consensus is the Magnetic Braking Model (MBM). The MBM has its only distinctive assumption being a power-law `recipe' describing the angular momentum loss (AML) in the binary, producing a single unique evolutionary track with $\dot{P}$ as a function of the orbital period. This required prediction can be used to test the most-fundamental assumption of MBM, but it has never been tested previously. In this paper, I collect $\dot{P}$ measures for 52 CVs of all types. First, 44 per cent of the CVs have positive-$\dot{P}$, with such being impossible in MBM. Second, even amongst the CVs with negative-$\dot{P}$, their $\dot{P}$ measures are always more-negative than required by MBM, with an average deviation of 110$\times$. Third, three CVs have large chaotic variations in $\dot{P}$ that are impossible for MBM, proving that some unknown mechanism exists and is operating that dominates for these systems. Fourth, the MBM does not account for the long-term effects on evolution arising from the large sudden period decreases seen across many nova events, with this unaccounted effect dominating for the majority of nova systems and changing the sign of the overall evolutionary $\dot{P}$. Fifth, three recurrent novae are observed to suddenly change $\dot{P}$ by an order-of-magnitude across a nova event, with this being impossible in the MBM. In all, the required MBM $\dot{P}$ predictions all fail for my 52 CVs, usually by orders-of-magnitude, so the MBM AML-recipe is wrong by orders-of-magnitude.


title: Adaptive Memory Replay for Continual Learning

abstract: Foundation Models (FMs) have become the hallmark of modern AI, however, these models are trained on massive data, leading to financially expensive training. Updating FMs as new data becomes available is important, however, can lead to `catastrophic forgetting', where models underperform on tasks related to data sub-populations observed too long ago. This continual learning (CL) phenomenon has been extensively studied, but primarily in a setting where only a small amount of past data can be stored. We advocate for the paradigm where memory is abundant, allowing us to keep all previous data, but computational resources are limited. In this setting, traditional replay-based CL approaches are outperformed by a simple baseline which replays past data selected uniformly at random, indicating that this setting necessitates a new approach. We address this by introducing a framework of adaptive memory replay for continual learning, where sampling of past data is phrased as a multi-armed bandit problem. We utilize Bolzmann sampling to derive a method which dynamically selects past data for training conditioned on the current task, assuming full data access and emphasizing training efficiency. Through extensive evaluations on both vision and language pre-training tasks, we demonstrate the effectiveness of our approach, which maintains high performance while reducing forgetting by up to 10% at no training efficiency cost.


title: AstroSat observations of interacting galaxies NGC 7469 and IC 5283

abstract: We carry out deep near-ultraviolet (NUV) and far-ultraviolet (FUV) imaging of an interacting galaxy system, comprised of a Seyfert type 1 galaxy NGC 7469 and its companion IC 5283. Our aim is to resolve and map the star-forming regions in the outer arms and look for signs of interaction between the two galaxies. We used AstroSat Ultra Violet Imaging Telescope (UVIT) to obtain NUV and FUV images of NGC 7469 in a range of filters. We have carried out photometry of star-forming regions in the two galaxies and found their spatial distributions. We also obtained the distributions of star formation rates (SFR) in NGC 7469 and IC 5283 using the estimates obtained from the FUV and NUV bands. We also carried out Kolmogorov-Smirnov tests to look for differences in the SFRs in the two galaxies. We derived the spectral energy distribution (SED), leading to the determination of physical parameters, including the overall SFR, stellar mass ($\text{M}_{*}$), dust mass ($\text{M}_\text{Dust}$), and specific star formation rates (sSFRs) in both the galaxies. Our NUV and FUV images show the presence of an outer spiral arm that is better resolved. We have identified 33 new star-forming regions out of 51 total identified in the UVIT composite image. Enhanced star formation activity is observed to coincide with the interaction, and KS tests show that there are no significant differences in the SFR distributions of NGC 7469 and IC 5283, indicating that the interaction between the galaxies has not influenced their star formation processes differently. The SED plots and the photometric results demonstrate that most of the star formation activity is confined inside the central starburst (SB) ring.


title: Pulsar glitch activities: the spin parameters approach

abstract: Glitch activity refers to the mean increase in pulsar spin frequency per year due to rotational glitches. It is an important tool for studying super-nuclear matter using neutron star interiors as templates. Glitch events are typically observed in the spin frequency ($\nu$) and frequency derivative ($\dot{\nu}$) of pulsars. The rate of glitch recurrence decreases as the pulsar ages, and the activity parameter is usually measured by linear regression of cumulative glitches over a given period. This method is effective for pulsars with multiple regular glitch events. However, due to the scarcity of glitch events and the difficulty of monitoring all known pulsars, only a few have multiple records of glitch events. This limits the use of the activity parameter in studying neutron star interiors with multiple pulsars. In this study, we examined the relationship between the activity parameters and pulsar spin parameters (spin frequency, frequency derivative, and pulsar characteristic age). We found that a quadratic function provides a better fit for the relationship between activity parameters and spin parameters than the commonly used linear functions. Using this information, we were able to estimate the activity parameters of other pulsars that do not have records of glitches. Our analysis shows that the relationship between the estimated activity parameters and pulsar spin parameters is consistent with that of the observed activity parameters in the ensemble of pulsars.


title: A Survey of Bluetooth Indoor Localization

abstract: Nowadays, indoor localization has received extensive research interest due to more and more applications' needs for location information to provide a more precise and effective service [1], [2]. There are various wireless techniques and mechanisms that have been proposed; some of them have been studied in depth and come into use, such as Wi-Fi, RFID, and sensor networks. In comparison, the development of Bluetooth location technology is slow and there are not many papers and surveys in this field, although the performance and market value of Bluetooth are increasing steadily. In this paper, we aim to provide a detailed survey of various indoor localization systems with Bluetooth. In contrast with the existing surveys, we categorize the exciting localization techniques that have been proposed in the literature in order to sketch the development of Bluetooth location compared to other technologies. We also evaluate different systems from the perspective of availability, cost, scalability, and accuracy. We also discuss remaining problems and challenges to accurate Bluetooth localization.


title: TrajDeleter: Enabling Trajectory Forgetting in Offline Reinforcement Learning Agents

abstract: Reinforcement learning (RL) trains an agent from experiences interacting with the environment. In scenarios where online interactions are impractical, offline RL, which trains the agent using pre-collected datasets, has become popular. While this new paradigm presents remarkable effectiveness across various real-world domains, like healthcare and energy management, there is a growing demand to enable agents to rapidly and completely eliminate the influence of specific trajectories from both the training dataset and the trained agents. To meet this problem, this paper advocates Trajdeleter, the first practical approach to trajectory unlearning for offline RL agents. The key idea of Trajdeleter is to guide the agent to demonstrate deteriorating performance when it encounters states associated with unlearning trajectories. Simultaneously, it ensures the agent maintains its original performance level when facing other remaining trajectories. Additionally, we introduce Trajauditor, a simple yet efficient method to evaluate whether Trajdeleter successfully eliminates the specific trajectories of influence from the offline RL agent. Extensive experiments conducted on six offline RL algorithms and three tasks demonstrate that Trajdeleter requires only about 1.5% of the time needed for retraining from scratch. It effectively unlearns an average of 94.8% of the targeted trajectories yet still performs well in actual environment interactions after unlearning. The replication package and agent parameters are available online.


title: Essential self-adjointness of the Laplacian on weighted graphs: harmonic functions, stability, characterizations and capacity

abstract: We give two characterizations for the essential self-adjointness of the weighted Laplacian on birth-death chains. The first involves the edge weights and vertex measure and is classically known; however, we give another proof using stability results, limit point-limit circle theory and the connection between essential self-adjointness and harmonic functions. The second characterization involves a new notion of capacity. Furthermore, we also analyze the essential self-adjointness of Schr\"odinger operators, use the characterizations for birth-death chains and stability results to characterize essential self-adjointness for star-like graphs, and give some connections to the $\ell^2$-Liouville property.


title: Iso-entropy partially coherent optical fields that cannot be inter-converted unitarily

abstract: For partially coherent optical fields in which a single binary degree of freedom (DoF) is relevant, such as polarization, entropy uniquely identifies the class of optical fields that can be converted into each other via unitary transformations. However, when multiple DoFs are taken into consideration, entropy no longer serves this purpose. We investigate the structure of the family of iso-entropy partially coherent optical fields defined by two binary DoFs (polarization and two spatial modes) and described by a 4x4 coherence matrix G. We find that the rank of G (the number of its non-zero eigenvalues) plays a critical role in this context: whereby any pair of iso-entropy rank-2 fields can be converted into each other unitarily, this is not necessarily the case for a pair of rank-3 or rank-4 fields. Furthermore, unitary transformations between iso-entropy fields of different ranks are strictly forbidden. Instead, such conversions require entropy-maintaining non-unitary transformations that potentially combine filtering projections and randomizing operations. We experimentally synthesize partially coherent iso-entropy optical fields of all ranks, and tomographically reconstruct their coherence matrices. Moreover, we steer the coherence matrix over iso-entropy trajectories that maintain a fixed rank (intra-rank conversion) or that involve changes in the rank (inter-rank conversion). These findings offer a new perspective for the potential utility of partially coherent light in optical communications and sensing.


title: Plane-wave compounding with adaptive joint coherence factor weighting

abstract: Coherent Plane Wave Compounding (CPWC) is widely used for ultrasound imaging. This technique involves sending plane waves into a sample at different transmit angles and recording the resultant backscattered echo at different receive positions. The time-delayed signals from the different combinations of transmit angles and receive positions are then coherently summed to produce a beamformed image. Various techniques have been developed to characterize the quality of CPWC beamforming based on the measured coherence across the transmit or receive apertures. Here, we propose a more fine-grained approach where the signals from every transmit/receive combination are separately evaluated using a quality metric based on their joint spatio-angular coherence. The signals are then individually weighted according to their measured Joint Coherence Factor (JCF) prior to being coherently summed. To facilitate the comparison of JCF beamforming compared to alternative techniques, we further propose a method of image display standardization based on contrast matching. We show results from tissue-mimicking phantoms and human soft-tissue imaging. Fine-grained JCF weighting is found to improve CPWC image quality compared to alternative approaches.


title: Towards Large Language Models as Copilots for Theorem Proving in Lean

abstract: Theorem proving is an important challenge for large language models (LLMs), as formal proofs can be checked rigorously by proof assistants such as Lean, leaving no room for hallucination. Existing LLM-based provers try to prove theorems in a fully autonomous mode without human intervention. In this mode, they struggle with novel and challenging theorems, for which human insights may be critical. In this paper, we explore LLMs as copilots that assist humans in proving theorems. We introduce Lean Copilot, a framework for running LLM inference in Lean. It enables programmers to build various LLM-based proof automation tools that integrate seamlessly into the workflow of Lean users. Using Lean Copilot, we build tools for suggesting proof steps (tactic suggestion), completing intermediate proof goals (proof search), and selecting relevant premises (premise selection) using LLMs. Users can use our pretrained models or bring their own ones that run either locally (with or without GPUs) or on the cloud. Experimental results demonstrate the effectiveness of our method in assisting humans and automating theorem proving process compared to existing rule-based proof automation in Lean. We open source all codes under a permissive MIT license to facilitate further research.


title: HalluciBot: Is There No Such Thing as a Bad Question?

abstract: Hallucination continues to be one of the most critical challenges in the institutional adoption journey of Large Language Models (LLMs). In this context, an overwhelming number of studies have focused on analyzing the post-generation phase - refining outputs via feedback, analyzing logit output values, or deriving clues via the outputs' artifacts. We propose HalluciBot, a model that predicts the probability of hallucination $\textbf{before generation}$, for any query imposed to an LLM. In essence, HalluciBot does not invoke any generation during inference. To derive empirical evidence for HalluciBot, we employ a Multi-Agent Monte Carlo Simulation using a Query Perturbator to craft $n$ variations per query at train time. The construction of our Query Perturbator is motivated by our introduction of a new definition of hallucination - $\textit{truthful hallucination}$. Our training methodology generated 2,219,022 estimates for a training corpus of 369,837 queries, spanning 13 diverse datasets and 3 question-answering scenarios. HalluciBot predicts both binary and multi-class probabilities of hallucination, enabling a means to judge the query's quality with regards to its propensity to hallucinate. Therefore, HalluciBot paves the way to revise or cancel a query before generation and the ensuing computational waste. Moreover, it provides a lucid means to measure user accountability for hallucinatory queries.


title: Asteroid (101955) Bennu in the Laboratory: Properties of the Sample Collected by OSIRIS-REx

abstract: On 24 September 2023, the NASA OSIRIS-REx mission dropped a capsule to Earth containing approximately 120 g of pristine carbonaceous regolith from Bennu. We describe the delivery and initial allocation of this asteroid sample and introduce its bulk physical, chemical, and mineralogical properties from early analyses. The regolith is very dark overall, with higher-reflectance inclusions and particles interspersed. Particle sizes range from sub-micron dust to a stone about 3.5 cm long. Millimeter-scale and larger stones typically have hummocky or angular morphologies. A subset of the stones appears mottled by brighter material that occurs as veins and crusts. Hummocky stones have the lowest densities and mottled stones have the highest. Remote sensing of the surface of Bennu detected hydrated phyllosilicates, magnetite, organic compounds, carbonates, and scarce anhydrous silicates, all of which the sample confirms. We also find sulfides, presolar grains, and, less expectedly, Na-rich phosphates, as well as other trace phases. The sample composition and mineralogy indicate substantial aqueous alteration and resemble those of Ryugu and the most chemically primitive, low-petrologic-type carbonaceous chondrites. Nevertheless, we find distinct hydrogen, nitrogen, and oxygen isotopic compositions, and some of the material we analyzed is enriched in fluid-mobile elements. Our findings underscore the value of sample return, especially for low-density material that may not readily survive atmospheric entry, and lay the groundwork for more comprehensive analyses.


title: Carleman estimates for parabolic equations with super strong degeneracy in a set of positive measure

abstract: This work is concerned with the obtainment of new Carleman estimates for linear parabolic equations, where the second-order differential operator brings a super strong degeneracy in a positive measure subset of the spatial domain. In order to prove our main result, the control domain is supposed to contain the set of degeneracies. As a well-known consequence, we achieve a null controllability result in the current context.


title: TrACT: A Training Dynamics Aware Contrastive Learning Framework for Long-tail Trajectory Prediction

abstract: As a safety critical task, autonomous driving requires accurate predictions of road users' future trajectories for safe motion planning, particularly under challenging conditions. Yet, many recent deep learning methods suffer from a degraded performance on the challenging scenarios, mainly because these scenarios appear less frequently in the training data. To address such a long-tail issue, existing methods force challenging scenarios closer together in the feature space during training to trigger information sharing among them for more robust learning. These methods, however, primarily rely on the motion patterns to characterize scenarios, omitting more informative contextual information, such as interactions and scene layout. We argue that exploiting such information not only improves prediction accuracy but also scene compliance of the generated trajectories. In this paper, we propose to incorporate richer training dynamics information into a prototypical contrastive learning framework. More specifically, we propose a two-stage process. First, we generate rich contextual features using a baseline encoder-decoder framework. These features are split into clusters based on the model's output errors, using the training dynamics information, and a prototype is computed within each cluster. Second, we retrain the model using the prototypes in a contrastive learning framework. We conduct empirical evaluations of our approach using two large-scale naturalistic datasets and show that our method achieves state-of-the-art performance by improving accuracy and scene compliance on the long-tail samples. Furthermore, we perform experiments on a subset of the clusters to highlight the additional benefit of our approach in reducing training bias.


title: Enabling Stateful Behaviors for Diffusion-based Policy Learning

abstract: While imitation learning provides a simple and effective framework for policy learning, acquiring consistent actions during robot execution remains a challenging task. Existing approaches primarily focus on either modifying the action representation at data curation stage or altering the model itself, both of which do not fully address the scalability of consistent action generation. To overcome this limitation, we introduce the Diff-Control policy, which utilizes a diffusion-based model to learn the action representation from a state-space modeling viewpoint. We demonstrate that we can reduce diffusion-based policies' uncertainty by making it stateful through a Bayesian formulation facilitated by ControlNet, leading to improved robustness and success rates. Our experimental results demonstrate the significance of incorporating action statefulness in policy learning, where Diff-Control shows improved performance across various tasks. Specifically, Diff-Control achieves an average success rate of 72% and 84% on stateful and dynamic tasks, respectively. Project page: https://github.com/ir-lab/Diff-Control


title: State Discretization for Continuous-State MDPs in Infectious Disease Control

abstract: Repeated decision-making problems under uncertainty may arise in the health policy context, such as infectious disease control for COVID-19 and other epidemics. These problems may sometimes be effectively solved using Markov decision processes (MDPs). However, the continuous or large state space of such problems for capturing infectious disease prevalence renders it difficult to implement tractable MDPs to identify the optimal disease control policy over time. We therefore develop an algorithm for discretizing continuous states for approximate MDP solutions in this context. We benchmark performance against a uniform discretization using both a synthetic example and an example of COVID-19 in Los Angeles County.


title: GenVideo: One-shot Target-image and Shape Aware Video Editing using T2I Diffusion Models

abstract: Video editing methods based on diffusion models that rely solely on a text prompt for the edit are hindered by the limited expressive power of text prompts. Thus, incorporating a reference target image as a visual guide becomes desirable for precise control over edit. Also, most existing methods struggle to accurately edit a video when the shape and size of the object in the target image differ from the source object. To address these challenges, we propose "GenVideo" for editing videos leveraging target-image aware T2I models. Our approach handles edits with target objects of varying shapes and sizes while maintaining the temporal consistency of the edit using our novel target and shape aware InvEdit masks. Further, we propose a novel target-image aware latent noise correction strategy during inference to improve the temporal consistency of the edits. Experimental analyses indicate that GenVideo can effectively handle edits with objects of varying shapes, where existing approaches fail.


title: Pinwheel Outflow induced by Stellar Mass Loss in a Coplanar Triple System

abstract: We develop a physical framework for interpreting complex circumstellar patterns whorled around asymptotic giant branch (AGB) stars by investigating stable, coplanar triple systems using hydrodynamic and particle simulations. The introduction of a close tertiary body causes an additional periodic variation in the orbital velocity and trajectory of the AGB star. As a result, the circumstellar outflow builds a fine non-Archimedean spiral pattern superimposed upon the Archimedean spiral produced by the outer binary alone. This fine spiral can be approximated by off-centered circular rings that become tangent to each other at the location of the Archimedean spiral. The superimposed fine pattern fades out relatively quickly as a function of distance from the center of the system, in contrast to the dominant Archimedean spiral pattern, which presents a much slower fractional density decrease with radius. The different rates of radial decrease of the density contrast in the two superimposed patterns, coupled with their different time and spatial scales, lead to an apparent, but illusory radial change in the observed pattern interval, as has been reported, for example, in CW Leo. The function describing the detailed radial dependence of the expansion velocity is different in the two patterns, which may be used to distinguish them. The shape of the circumstellar whorled pattern is further explored as a function of the orbital eccentricity and the inner companion's mass. Although this study is confined to stable, coplanar triple systems, the results are likely applicable to moderately noncoplanar systems and open interesting avenues for studying noncoplanar systems.


title: Symmetric Group Gauge Theories and Simple Gauge/String Dualities

abstract: We study two-dimensional topological gauge theories with gauge group equal to the symmetric group $S_n$ and their string theory duals. The simplest such theory is the topological quantum field theory of principal $S_n$ fiber bundles. Its correlators are equal to Hurwitz numbers. The operator products in the gauge theory for each finite value of $n$ are coded in a partial permutation algebra. We propose a generalization of the partial permutation algebra to any symmetric orbifold topological quantum field theory and show that the latter theory factorizes into marked partial permutation combinatorics and seed Frobenius algebra properties. Moreover, we exploit the established correspondence between Hurwitz theory and the stationary sector of Gromov-Witten theory on the sphere to prove an exact gauge/string duality. The relevant field theory is a grand canonical version of Hurwitz theory and its two-point functions are obtained by summing over all values of the instanton degree of the maps covering the sphere. We stress that one must look for a multiplicative basis on the boundary to match the bulk operator algebra of single string insertions. The relevant boundary observables are completed cycles.


title: Beyond development: Challenges in deploying machine learning models for structural engineering applications

abstract: Machine learning (ML)-based solutions are rapidly changing the landscape of many fields, including structural engineering. Despite their promising performance, these approaches are usually only demonstrated as proof-of-concept in structural engineering, and are rarely deployed for real-world applications. This paper aims to illustrate the challenges of developing ML models suitable for deployment through two illustrative examples. Among various pitfalls, the presented discussion focuses on model overfitting and underspecification, training data representativeness, variable omission bias, and cross-validation. The results highlight the importance of implementing rigorous model validation techniques through adaptive sampling, careful physics-informed feature selection, and considerations of both model complexity and generalizability.


title: Latent Concept-based Explanation of NLP Models

abstract: Interpreting and understanding the predictions made by deep learning models poses a formidable challenge due to their inherently opaque nature. Many previous efforts aimed at explaining these predictions rely on input features, specifically, the words within NLP models. However, such explanations are often less informative due to the discrete nature of these words and their lack of contextual verbosity. To address this limitation, we introduce the Latent Concept Attribution method (LACOAT), which generates explanations for predictions based on latent concepts. Our foundational intuition is that a word can exhibit multiple facets, contingent upon the context in which it is used. Therefore, given a word in context, the latent space derived from our training process reflects a specific facet of that word. LACOAT functions by mapping the representations of salient input words into the training latent space, allowing it to provide latent context-based explanations of the prediction.


title: Globally Hyperbolic AdS$_3$ and its Holography

abstract: We show that a $(\mathbb {RP}^1 \times \mathbb{RP}^1)$-gauged $\mathbb{Z}_2$ quotient of $\mathbb R^{2,2}$ embeds an AdS$_3/\mathbb Z_2/ (\mathbb{RP}^1 \times \mathbb{RP}^1)$ spacetime that is globally hyperbolic, unlike regular AdS$_3$. This embedded spacetime possesses a single cover of AdS$_3$'s isometries without producing closed timelike curves and a non-timelike boundary. After including its gauge symmetries, its AdS$_3$/CFT$_2$ correspondence becomes equivalent to an embedded $\frac{\text{AdS}_3}{\mathbb Z_2}$ / $\frac{\mathbb R^{2,2}}{\mathbb Z_2}$ embedding correspondence.


title: Evaluating Alternatives to SFM Point Cloud Initialization for Gaussian Splatting

abstract: 3D Gaussian Splatting has recently been embraced as a versatile and effective method for scene reconstruction and novel view synthesis, owing to its high-quality results and compatibility with hardware rasterization. Despite its advantages, Gaussian Splatting's reliance on high-quality point cloud initialization by Structure-from-Motion (SFM) algorithms is a significant limitation to be overcome. To this end, we investigate various initialization strategies for Gaussian Splatting and delve into how volumetric reconstructions from Neural Radiance Fields (NeRF) can be utilized to bypass the dependency on SFM data. Our findings demonstrate that random initialization can perform much better if carefully designed and that by employing a combination of improved initialization strategies and structure distillation from low-cost NeRF models, it is possible to achieve equivalent results, or at times even superior, to those obtained from SFM initialization. Source code is available at https://theialab.github.io/nerf-3dgs .


title: RetailOpt: An Opt-In, Easy-to-Deploy Trajectory Estimation System Leveraging Smartphone Motion Data and Retail Facility Information

abstract: We present RetailOpt, a novel opt-in, easy-to-deploy system for tracking customer movements in indoor retail environments. The system utilizes information presently accessible to customers through smartphones and retail apps: motion data, store map, and purchase records. The approach eliminates the need for additional hardware installations/maintenance and ensures customers maintain full control of their data. Specifically, RetailOpt first employs inertial navigation to recover relative trajectories from smartphone motion data. The store map and purchase records are then cross-referenced to identify a list of visited shelves, providing anchors to localize the relative trajectories in a store through continuous and discrete optimization. We demonstrate the effectiveness of our system through systematic experiments in five diverse environments. The proposed system, if successful, would produce accurate customer movement data, essential for a broad range of retail applications, including customer behavior analysis and in-store navigation. The potential application could also extend to other domains such as entertainment and assistive technologies.


title: "If the Machine Is As Good As Me, Then What Use Am I?" -- How the Use of ChatGPT Changes Young Professionals' Perception of Productivity and Accomplishment

abstract: Large language models (LLMs) like ChatGPT have been widely adopted in work contexts. We explore the impact of ChatGPT on young professionals' perception of productivity and sense of accomplishment. We collected LLMs' main use cases in knowledge work through a preliminary study, which served as the basis for a two-week diary study with 21 young professionals reflecting on their ChatGPT use. Findings indicate that ChatGPT enhanced some participants' perceptions of productivity and accomplishment by enabling greater creative output and satisfaction from efficient tool utilization. Others experienced decreased perceived productivity and accomplishment, driven by a diminished sense of ownership, perceived lack of challenge, and mediocre results. We found that the suitability of task delegation to ChatGPT varies strongly depending on the task nature. It's especially suitable for comprehending broad subject domains, generating creative solutions, and uncovering new information. It's less suitable for research tasks due to hallucinations, which necessitate extensive validation.


title: Characterizing Coherent Errors using Matrix-Element Amplification

abstract: Repeating a gate sequence multiple times amplifies systematic errors coherently, making it a useful tool for characterizing quantum gates. However, the precision of such an approach is limited by low-frequency noises, while its efficiency hindered by time-consuming scans required to match up the phases of the off-diagonal matrix elements being amplified. Here, we overcome both challenges by interleaving the gate of interest with dynamical decoupling sequences in a protocol we call Matrix-Element Amplification using Dynamical Decoupling (MEADD). Using frequency-tunable superconducting qubits from a Google Sycamore quantum processor, we experimentally demonstrate that MEADD surpasses the accuracy and precision of existing characterization protocols for estimating systematic errors in single- and two-qubit gates. In particular, MEADD yields factors of 5 to 10 improvements in estimating coherent parameters of the $\mathrm{CZ}$ gates compared to existing methods, reaching a precision below one milliradian. We also use it to characterize coherent crosstalk in the processor which was previously too small to detect reliably.


title: Harmonic Oscillator Staging for Efficient Path Integral Simulations

abstract: Imaginary-time path integral (PI) is a rigorous quantum mechanical tool to compute static properties. However, the stiff nature of the internal PI modes poses a sampling challenge. This is commonly tackled using staging coordinates, in which the free particle (FP) contribution of the PI action is diagonalized. We introduce novel and simple staging coordinates that diagonalize the entire action of the harmonic oscillator (HO), rendering it efficiently applicable to systems with a harmonic character, such as quantum oscillators and crystals. Unlike FP staging, the HO staging provides a unique treatment of the centroid mode. We provide implementation schemes for PIMC and PIMD simulations. Sampling efficiency is assessed in terms of precision and accuracy of estimating the energy and heat capacity of a 1D HO, along with an anharmonic oscillator (AO) to investigate anharmonic effects. In PIMC, the HO coordinates propose collective moves that perfectly sample the HO contribution, then (for AO) the residual anharmonic term is sampled using Metropolis method. This results in a high acceptance rate and, hence, high precision, in comparison to the FP staging. In PIMD, the HO coordinates naturally prescribe definitions for the fictitious masses, yielding equal frequencies of all modes when applied to the HO model. This allows for a substantially larger time step sizes relative to standard staging, without affecting accuracy. For completeness, we also present results using normal mode (NM) coordinates, based on both HO and FP models. While staging and NM coordinates show similar performance, staging is computationally cheaper due to its linear, rather than quadratic, scaling with system size. The simplicity and the enhanced sampling gained by the HO coordinates open avenues for efficient estimation of nuclear quantum effects in more complex systems, such as molecular bonds and quantum crystals.


title: Cocoon: Semantic Table Profiling Using Large Language Models

abstract: Data profilers play a crucial role in the preprocessing phase of data analysis by identifying quality issues such as missing, extreme, or erroneous values. Traditionally, profilers have relied solely on statistical methods, which lead to high false positives and false negatives. For example, they may incorrectly flag missing values where such absences are expected and normal based on the data's semantic context. To address these, we introduce Cocoon, a data profiling system that integrates LLMs to imbue statistical profiling with semantics. Cocoon enhances traditional profiling methods by adding a three-step process: Semantic Context, Semantic Profile, and Semantic Review. Our user studies show that Cocoon is highly effective at accurately discerning whether anomalies are genuine errors requiring correction or acceptable variations based on the semantics for real-world datasets.


title: Assessing the Longitudinal Impact of Environmental Chemical Mixtures on Children's Neurodevelopment: A Bayesian Approach

abstract: This manuscript presents a novel Bayesian varying coefficient quantile regression (BVCQR) model designed to assess the longitudinal effects of chemical exposure mixtures on children's neurodevelopment. Recognizing the complexity and high-dimensionality of environmental exposures, the proposed approach addresses critical gaps in existing research by offering a method that can manage the sparsity of data and provide interpretable results. The proposed BVCQR model estimates the effects of mixtures on neurodevelopmental outcomes at specific ages, leveraging a horseshoe prior for sparsity and utilizing a Bayesian method for uncertainty quantification. Our simulations demonstrate the model's robustness and effectiveness in handling high-dimensional data, offering significant improvements over traditional models. The model's application to the Health Outcomes and Measures of the Environment (HOME) Study further illustrates its utility in identifying significant chemical exposures affecting children's growth and development. The findings underscore the potential of BVCQR in environmental health research, providing a sophisticated tool for analyzing the longitudinal impact of complex chemical mixtures, with implications for future studies aimed at understanding and mitigating environmental risks to child health.


title: Learning Stable and Passive Neural Differential Equations

abstract: In this paper, we introduce a novel class of neural differential equation, which are intrinsically Lyapunov stable, exponentially stable or passive. We take a recently proposed Polyak Lojasiewicz network (PLNet) as an Lyapunov function and then parameterize the vector field as the descent directions of the Lyapunov function. The resulting models have a same structure as the general Hamiltonian dynamics, where the Hamiltonian is lower- and upper-bounded by quadratic functions. Moreover, it is also positive definite w.r.t. either a known or learnable equilibrium. We illustrate the effectiveness of the proposed model on a damped double pendulum system.


title: Sociotechnical Considerations for SLAM Anchors in Location-Based AR

abstract: In this position paper, we explore the power of storytelling and its connection to place through the use of Augmented Reality (AR) technology, particularly within the context of Th\'amien Ohlone history on the Santa Clara University campus. To do this, we utilized SLAM and 8th Wall to create virtual, location-based experiences that geolocate tribal stories at present-day sites, showcase the living culture of the Th\'amien Ohlone tribe, and advocate for physical markers that could exist to recognize their story. When doing so, we made sure to select locations that added to the story each stop tells to serve as our anchors. Our research then investigates both the social and technical considerations involved in selecting anchors for AR experiences, using the Th\'amien Ohlone AR Tour as a case study.


title: Variance-informed Rounding Uncertainty Analysis for Floating-point Statistical Models

abstract: Advancements in computer hardware have made it possible to utilize low- and mixed-precision arithmetic for enhanced computational efficiency. In practical predictive modeling, however, it is vital to quantify uncertainty due to rounding along other sources like measurement, sampling, and numerical discretization. Traditional deterministic rounding uncertainty analysis (DBEA) assumes that the rounding errors equal the unit roundoff $u$. However, despite providing strong guarantees, DBEA severely overestimates rounding uncertainty. This work presents a novel probabilistic rounding uncertainty analysis called VIBEA. By treating rounding errors as i.i.d. random variables and leveraging concentration inequalities, VIBEA provides high-confidence estimates for rounding uncertainty using higher-order rounding error statistics. The presented framework is valid for all problem sizes $n$, unlike DBEA, which necessitates $nu<1$. Further, it can account for the potential cancellation of rounding errors, resulting in rounding uncertainty estimates that grow slowly with $n$. We show that for $n>n_c(u)$, VIBEA produces tighter estimates for rounding uncertainty than DBEA. We also show that VIBEA improves existing probabilistic rounding uncertainty analysis techniques for $n\ge3$ by using higher-order rounding error statistics. We conduct numerical experiments on random vector dot products, a linear system solution, and a stochastic boundary value problem. We show that quantifying rounding uncertainty along with traditional sources (numerical discretization, sampling, parameters) enables a more efficient allocation of computational resources, thereby balancing computational efficiency with predictive accuracy. This study is a step towards a comprehensive mixed-precision approach that improves model reliability and enables budgeting of computational resources in predictive modeling and decision-making.


title: Nonlocality and Strength of Interatomic Interactions Inducing the Topological Phonon Phase Transition

abstract: Understanding the phonon behavior in semiconductors from a topological physics perspective provides more opportunities to uncover extraordinary physics related to phonon transport and electron-phonon interactions. While various kinds of topological phonons have been reported in different crystalline solids, their microscopic origin has not been quantitatively uncovered. In this work, four typical analytical interatomic force constant (IFC) models are employed for wurtzite GaN and AlN to help establish the relationships between phonon topology and real-space IFCs. In particular, various nearest neighbor IFCs, i.e., different levels of nonlocality, and IFC strength controlled by characteristic coefficients, can be achieved in these models. The results demonstrate that changes in the strength of both the IFCs and nonlocal interactions can induce phonon phase transitions in GaN and AlN, leading to the disappearance of existing Weyl phonons and the appearance of new Weyl phonons. These new Weyl phonons are the result of a band reversal and have a Chern number of 1. Most of them are located in the kz=0 plane in pairs, while some of them are inside or at the boundary of the irreducible Brillouin zone. Among the various Weyl points observed, certain ones remain identical in both materials, while others exhibit variability depending on the particular case. Compared to the strength of the IFC, nonlocal interactions show much more significant effects in inducing the topological phonon phase transition, especially in cases modeled by the IFC model and SW potential. The larger number of 3NN atoms provides more space for variations in the topological phonon phase of wurtzite AlN than in GaN, resulting in a greater abundance of changes in AlN.


title: Just Like Me: The Role of Opinions and Personal Experiences in The Perception of Explanations in Subjective Decision-Making

abstract: As large language models (LLMs) advance to produce human-like arguments in some contexts, the number of settings applicable for human-AI collaboration broadens. Specifically, we focus on subjective decision-making, where a decision is contextual, open to interpretation, and based on one's beliefs and values. In such cases, having multiple arguments and perspectives might be particularly useful for the decision-maker. Using subtle sexism online as an understudied application of subjective decision-making, we suggest that LLM output could effectively provide diverse argumentation to enrich subjective human decision-making. To evaluate the applicability of this case, we conducted an interview study (N=20) where participants evaluated the perceived authorship, relevance, convincingness, and trustworthiness of human and AI-generated explanation-text, generated in response to instances of subtle sexism from the internet. In this workshop paper, we focus on one troubling trend in our results related to opinions and experiences displayed in LLM argumentation. We found that participants rated explanations that contained these characteristics as more convincing and trustworthy, particularly so when those opinions and experiences aligned with their own opinions and experiences. We describe our findings, discuss the troubling role that confirmation bias plays, and bring attention to the ethical challenges surrounding the AI generation of human-like experiences.


title: An algorithm with a delay of $\mathcal{O}(k\Delta)$ for enumerating connected induced subgraphs of size $k$

abstract: The problem of enumerating connected subgraphs of a given size in a graph has been extensively studied in recent years. In this short communication, we propose an algorithm with a delay of $\mathcal{O}(k\Delta)$ for enumerating all connected induced subgraphs of size $k$ in an undirected graph $G=(V, E)$, where $k$ and $\Delta$ are respectively the size of subgraphs and the maximum degree of $G$. The proposed algorithm improves upon the current best delay bound $\mathcal{O}(k^2\Delta)$ for the connected induced subgraph enumeration problem in the literature.


title: Dubo-SQL: Diverse Retrieval-Augmented Generation and Fine Tuning for Text-to-SQL

abstract: The current state-of-the-art (SOTA) for automated text-to-SQL still falls well short of expert human performance as measured by execution accuracy (EX) on the BIRD-SQL benchmark. The most accurate methods are also slow and expensive. To advance the SOTA for text-to-SQL while reducing cost and improving speed, we explore the combination of low-cost fine tuning, novel methods for diverse retrieval-augmented generation (RAG) and new input and output formats that help large language models (LLMs) achieve higher EX. We introduce two new methods, Dubo-SQL v1 and v2. Dubo-SQL v1 sets a new record for EX on the holdout test set of BIRD-SQL. Dubo-SQL v2 achieves even higher performance on the BIRD-SQL dev set. Dubo-SQL v1 relies on LLMs from OpenAI, but uses the low-cost GPT-3.5 Turbo while exceeding the performance of the next-best model using OpenAI, which instead uses the more expensive GPT-4. Dubo-SQL v1 exceeds the performance of the next-best model using GPT-3.5 by over 20%. Dubo-SQL v2 uses GPT-4 Turbo and RAG in place of fine tuning to push EX higher.


title: Charge transfer mechanism on MoS$_2$ nanosheets in the presence of a semiconductor photoactive media

abstract: The studies of the nonlinear optical (NLO) properties of the transition metal dichalcogenides (TMDs) coupled with photoactive particles, plasmonic nanocavities, waveguides, and metamaterials remain in their infancy. This study investigates the third-order NLO properties of MoS$_2$ nanosheets in the presence of a semiconductor photoactive medium. Our extensive studies and the obtained results reveal the counteractive coupling effect of bare and passivated quantum dots on the MoS$_2$ nanosheet, as made evident by the analysis of the NLO processes. The enhanced NLO properties of MoS$_2$ nanosheets functionalized with CdSe and CdSe-V2O5 quantum dots are helpful for applications as saturable absorbers in laser applications and the emission of coherent short-wavelength radiation. The multiphoton-excitation resonance energy transfer mechanism exploiting remote dipole dipole coupling, and ultrafast charge transfer pathways emerges as another plausible way to alter the NLO properties in TMDs.


title: Irregular sets for a class of skew product transformations

abstract: In this paper, we study the irregular set of any continuous observable for a class of skew product transformations, which is driven by a uniquely ergodic homeomorphism system $(\Omega,\mathbb{P},\theta)$ and satisfies Anosov and toplogical mixing on fibers property. We prove that if the irregular set of any continuous observable is nonempty on a fiber, then the irregular set must be nonempty, residual, and carry full fiber topological entropy on $\mathbb{P}$-a.e. fibers. The orbit-gluing technique provided by the fiber specification property are utilized.


title: Teaching Linguistic Justice through Augmented Reality

abstract: This position paper presents the AR Language Map, a speculative artifact designed to enhance understanding of linguistic justice among middle and high school students through augmented reality (AR) that allows students to map their linguistic experiences. Through a social justice-oriented academic outreach program aimed at linguistically, economically, and racially minoritized students, academic concepts on language, culture, race, and power are introduced to California middle school and high school students. The curriculum has activities for each lesson plan drawn from students' culturally relevant experiences. By enabling interactive exploration of linguistic justice, this tool aims to foster empathy, challenge linguistic racism, and valorize linguistic diversity. We discuss its conceptualization within the broader context of AR in social justice education. The AR Language Map not only deepens students' understanding of these critical issues but also enables them to become co-creators of their learning experiences.


title: On the weak homotopy types of small finite spaces

abstract: We show that a connected finite topological space with $12$ or less points has a weak homotopy type of a wedge of spheres. In other words, we show that the order complex of a connected finite poset with $12$ or less points has a homotopy type of a wedge of spheres.


title: Limits on Inferring T-cell Specificity from Partial Information

abstract: A key challenge in molecular biology is to decipher the mapping of protein sequence to function. To perform this mapping requires the identification of sequence features most informative about function. Here, we quantify the amount of information (in bits) that T-cell receptor (TCR) sequence features provide about antigen specificity. We identify informative features by their degree of conservation among antigen-specific receptors relative to null expectations. We find that TCR specificity synergistically depends on the hypervariable regions of both receptor chains, with a degree of synergy that strongly depends on the ligand. Using a coincidence-based approach to measuring information enables us to directly bound the accuracy with which TCR specificity can be predicted from partial matches to reference sequences. We anticipate that our statistical framework will be of use for developing machine learning models for TCR specificity prediction and for optimizing TCRs for cell therapies. The proposed coincidence-based information measures might find further applications in bounding the performance of pairwise classifiers in other fields.

categories: q-bio.BM cond-mat.stat-mech cs.IT math.IT


title: The SIR epidemic on a dynamic Erd\H{o}s-R\'enyi random graph

abstract: We investigate the SIR epidemic on a dynamic inhomogeneous Erd\H{o}s-R\'enyi random graph, in which vertices are of one of $k$ types and in which edges appear and disappear independently of each other. We establish a functional law of large numbers for the susceptible, infected, and recovered ratio curves after a random time shift, and demonstrate that, under a variety of possible scaling limits of the model parameters, the epidemic curves are solutions to a system of ordinary differential equations. In most scaling regimes, these equations coincide with the classical SIR epidemic equations. In the regime where the average degree of the network remains constant and the edge-flipping dynamics remain on the same time scale as the infectious contact process, however, a novel set of differential equations emerges. This system contains additional quantities related to the infectious edges, but somewhat surprisingly, contains no quantities related to higher-order local network configurations. To the best of our knowledge, this study represents the first thorough and rigorous analysis of large population epidemic processes on dynamic random graphs, although our findings are contingent upon conditioning on a (possibly strict) subset of the event of an epidemic outbreak.


title: Impact of Vibrotactile Triggers on Mental Well-Being through ASMR Experience in VR

abstract: Watching Autonomous Sensory Meridian Response (ASMR) videos is a popular approach to support mental well-being, as the triggered ASMR tingling sensation supports de-stressing and regulating emotions. Therefore, there is increasing research on how to efficiently trigger ASMR tingling sensation. Tactile sensation remains unexplored because current popular ASMR approaches focus on the visual and audio channels. In this study, we explored the impact of tactile feedback on triggering ASMR tingling sensation in a Virtual Reality (VR) environment. Through two experimental studies, we investigated the relaxation effect of a tactile-enabled ASMR experience, as well as the impact of vibrotactile triggers on the ASMR experience. Our results showed that vibrotactile feedback is effective in increasing the likelihood of ASMR tingling sensation and enhancing the feeling of comfort, relaxation, and enjoyment.


title: Preconditioning correction equations in Jacobi--Davidson type methods for computing partial singular value decompositions of large matrices

abstract: In a Jacobi--Davidson (JD) type method for singular value decomposition (SVD) problems, called JDSVD, a large symmetric and generally indefinite correction equation is approximately solved iteratively at each outer iteration, which constitutes the inner iterations and dominates the overall efficiency of JDSVD. In this paper, a convergence analysis is made on the minimal residual (MINRES) method for the correction equation. Motivated by the results obtained, a preconditioned correction equation is derived that extracts useful information from current searching subspaces to construct effective preconditioners for the correction equation and is proved to retain the same convergence of outer iterations of JDSVD. The resulting method is called inner preconditioned JDSVD (IPJDSVD) method. Convergence results show that MINRES for the preconditioned correction equation can converge much faster when there is a cluster of singular values closest to a given target, so that IPJDSVD is more efficient than JDSVD. A new thick-restart IPJDSVD algorithm with deflation and purgation is proposed that simultaneously accelerates the outer and inner convergence of the standard thick-restart JDSVD and computes several singular triplets of a large matrix. Numerical experiments justify the theory and illustrate the considerable superiority of IPJDSVD to JDSVD.


title: Multi-View Subgraph Neural Networks: Self-Supervised Learning with Scarce Labeled Data

abstract: While graph neural networks (GNNs) have become the de-facto standard for graph-based node classification, they impose a strong assumption on the availability of sufficient labeled samples. This assumption restricts the classification performance of prevailing GNNs on many real-world applications suffering from low-data regimes. Specifically, features extracted from scarce labeled nodes could not provide sufficient supervision for the unlabeled samples, leading to severe over-fitting. In this work, we point out that leveraging subgraphs to capture long-range dependencies can augment the representation of a node with homophily properties, thus alleviating the low-data regime. However, prior works leveraging subgraphs fail to capture the long-range dependencies among nodes. To this end, we present a novel self-supervised learning framework, called multi-view subgraph neural networks (Muse), for handling long-range dependencies. In particular, we propose an information theory-based identification mechanism to identify two types of subgraphs from the views of input space and latent space, respectively. The former is to capture the local structure of the graph, while the latter captures the long-range dependencies among nodes. By fusing these two views of subgraphs, the learned representations can preserve the topological properties of the graph at large, including the local structure and long-range dependencies, thus maximizing their expressiveness for downstream node classification tasks. Experimental results show that Muse outperforms the alternative methods on node classification tasks with limited labeled data.


title: Stackelberg Game-Theoretic Learning for Collaborative Assembly Task Planning

abstract: As assembly tasks grow in complexity, collaboration among multiple robots becomes essential for task completion. However, centralized task planning has become inadequate for adapting to the increasing intelligence and versatility of robots, along with rising customized orders. There is a need for efficient and automated planning mechanisms capable of coordinating diverse robots for collaborative assembly. To this end, we propose a Stackelberg game-theoretic learning approach. By leveraging Stackelberg games, we characterize robot collaboration through leader-follower interaction to enhance strategy seeking and ensure task completion. To enhance applicability across tasks, we introduce a novel multi-agent learning algorithm: Stackelberg double deep Q-learning, which facilitates automated assembly strategy seeking and multi-robot coordination. Our approach is validated through simulated assembly tasks. Comparison with three alternative multi-agent learning methods shows that our approach achieves the shortest task completion time for tasks. Furthermore, our approach exhibits robustness against both accidental and deliberate environmental perturbations.


title: Detecting gravitational-wave bursts from black hole binaries in the Galactic Center with LISA

abstract: Stellar-mass black hole binaries (BHBs) in galactic nuclei are gravitationally perturbed by the central supermassive black hole (SMBH) of the host galaxy, potentially inducing strong eccentricity oscillations through the eccentric Kozai-Lidov (EKL) mechanism. These highly eccentric binaries emit a train of gravitational-wave (GW) bursts detectable by the Laser Interferometer Space Antenna (LISA) -- a planned space-based GW detector -- with signal-to-noise ratios (SNRs) up to ${\sim}100$ per burst. In this work, we study the GW signature of BHBs orbiting our galaxy's SMBH, Sgr A$^*$, which are consequently driven to very high eccentricities. We demonstrate that an unmodeled approach using a wavelet decomposition of the data effectively yields the time-frequency properties of each burst, provided that the GW frequency peaks between $10^{-3}\,\,\mathrm{Hz}$--$10^{-1}\,\,\mathrm{Hz}$. The wavelet parameters may be used to infer the eccentricity of the binary, measuring $\log_{10}(1-e)$ within an error of $20\%$. Our proposed search method can thus constrain the parameter space to be sampled by complementary Bayesian inference methods, which use waveform templates or orthogonal wavelets to reconstruct and subtract the signal from LISA data.


title: Sharp conditions for energy balance in two-dimensional incompressible ideal flow with external force

abstract: Smooth solutions of the forced incompressible Euler equations satisfy an energy balance, where the rate-of-change in time of the kinetic energy equals the work done by the force per unit time. Interesting phenomena such as turbulence are closely linked with rough solutions which may exhibit {\it inviscid dissipation}, or, in other words, for which energy balance does not hold. This article provides a characterization of energy balance for physically realizable weak solutions of the forced incompressible Euler equations, i.e. solutions which are obtained in the limit of vanishing viscosity. More precisely, we show that, in the two-dimensional periodic setting, strong convergence of the zero-viscosity limit is both necessary and sufficient for energy balance of the limiting solution, under suitable conditions on the external force. As a consequence, we prove energy balance for a general class of solutions with initial vorticity belonging to rearrangement-invariant spaces, and going beyond Onsager's critical regularity.


title: A gerbe-like construction in gauge theory

abstract: In 2022 Baraglia and Konno showed the following: for a smooth family of a homotopy $K3$ surface $X \to \mathbb{X} \stackrel{\pi}{\to} B$, if the tangent bundle along the fibers $T_B \mathbb{X}$ admits a spin structure, then $\mathcal{H}^+(\mathbb{X})$ also admits a spin structure, where $\mathcal{H}^+(\mathbb{X})$ is the vector bundle consisting of self-dual harmonic 2-forms. In this paper, we show that $T_B \mathbb{X} \oplus \pi^\ast \mathcal{H}^+(\mathbb{X})$ admits a canonical spin structure. The proof is carried out by canonically constructing a lifting $O(1)$-gerbe for the spin structure on $\mathcal{H}^+(\mathbb{X})$ using the families Seiberg--Witten equations, starting from a lifting $O(1)$-gerbe for the spin structure on $T_B \mathbb{X}$.


title: Curves of Minimax Curvature

abstract: We consider the problem of finding curves of minimum pointwise-maximum curvature, i.e., curves of minimax curvature, among planar curves of fixed length with prescribed endpoints and tangents at the endpoints. We reformulate the problem in terms of optimal control and use the maximum principle, as well as some geometrical arguments, to produce a classification of the types of solutions. Using the classification, we devise a numerical method which reduces the infinite-dimensional optimization problem to a finite-dimensional problem with just six variables. The solution types, together with some further observations on optimality, are illustrated via numerical examples.


title: On the use of adversarial validation for quantifying dissimilarity in geospatial machine learning prediction

abstract: Recent geospatial machine learning studies have shown that the results of model evaluation via cross-validation (CV) are strongly affected by the dissimilarity between the sample data and the prediction locations. In this paper, we propose a method to quantify such a dissimilarity in the interval 0 to 100%, and from the perspective of the data feature space. The proposed method is based on adversarial validation, which is an approach that can check whether sample data and prediction locations can be separated with a binary classifier. To study the effectiveness and generality of our method, we tested it on a series of experiments based on both synthetic and real datasets and with gradually increasing dissimilarities. Results show that the proposed method can successfully quantify dissimilarity across the entire range of values. Next to this, we studied how dissimilarity affects CV evaluations by comparing the results of random CV and of two spatial CV methods, namely block and spatial+ CV. Our results showed that CV evaluations follow similar patterns in all datasets and predictions: when dissimilarity is low (usually lower than 30%), random CV provides the most accurate evaluation results. As dissimilarity increases, spatial CV methods, especially spatial+ CV, become more and more accurate and even outperforming random CV. When dissimilarity is high (>=90%), no CV method provides accurate evaluations. These results show the importance of considering feature space dissimilarity when working with geospatial machine learning predictions, and can help researchers and practitioners to select more suitable CV methods for evaluating their predictions.


title: Requirements Satisfiability with In-Context Learning

abstract: Language models that can learn a task at inference time, called in-context learning (ICL), show increasing promise in natural language inference tasks. In ICL, a model user constructs a prompt to describe a task with a natural language instruction and zero or more examples, called demonstrations. The prompt is then input to the language model to generate a completion. In this paper, we apply ICL to the design and evaluation of satisfaction arguments, which describe how a requirement is satisfied by a system specification and associated domain knowledge. The approach builds on three prompt design patterns, including augmented generation, prompt tuning, and chain-of-thought prompting, and is evaluated on a privacy problem to check whether a mobile app scenario and associated design description satisfies eight consent requirements from the EU General Data Protection Regulation (GDPR). The overall results show that GPT-4 can be used to verify requirements satisfaction with 96.7% accuracy and dissatisfaction with 93.2% accuracy. Inverting the requirement improves verification of dissatisfaction to 97.2%. Chain-of-thought prompting improves overall GPT-3.5 performance by 9.0% accuracy. We discuss the trade-offs among templates, models and prompt strategies and provide a detailed analysis of the generated specifications to inform how the approach can be applied in practice.


title: In-tube micro-pyramidal silicon nanopore for inertial-kinetic sensing of single molecules

abstract: Electrokinetic force has been the major choice for driving the translocation of molecules through a nanopore. However, the use of this approach is limited by an uncontrollable translocation speed, resulting in non-uniform conductance signals with low conformational sensitivity, which hinders the accurate discrimination of the molecules. Here, we show the first use of inertial-kinetic translocation induced by spinning an in-tube micro-pyramidal silicon nanopore fabricated using photovoltaic electrochemical etch-stop technique for biomolecular sensing. By adjusting the kinetic properties of a funnel-shaped centrifugal force field while maintaining a counter-balanced state of electrophoretic and electroosmotic effect in the nanopore, we achieved regulated translocation of proteins and obtained stable signals of long and adjustable dwell times and high conformational sensitivity. Moreover, we demonstrated instantaneous sensing and discrimination of molecular conformations and longitudinal monitoring of molecular reactions and conformation changes by wirelessly measuring characteristic features in current blockade readouts using the in-tube nanopore device.


title: Mixed polytype/polymorph formation and its effects on the electronic properties in InSe films grown by molecular beam epitaxy on GaAs(111)B

abstract: The top-down synthesis of inherently ferroelectric semiconductors and their integration with traditional material platforms have the potential to enable new low power logic devices, and to harness the bulk photoelectric effect for more efficient photovoltaic cells. InSe is a layered van der Waals compound exhibiting multiple polytypes, with semiconducting gamma-InSe revealing a non-centrosymmetric space group and showing a high carrier mobility at room temperature. Here we report the growth of InSe films on close to lattice matched semi-insulating GaAs(111)B substrates by molecular beam epitaxy (MBE). Excellent nucleation behavior resulted in the growth of smooth, single phase InSe films. The dominant polytype determined from X-ray diffraction was the targeted gamma-InSe, however Raman spectroscopy revealed spatial variations in the overall low-intensity non-centrosymmetric vibration modes. Transmission electron microscopy uncovered the presence of the three bulk polytypes beta, gamma, and epsilon-InSe coexisting in the films arranging in nanosized domains. The different polytypes can be interpreted as sequences of stacking faults and rotational twin boundaries of gamma-InSe made from individual non-centrosymmetric Se-In-In-Se layers with P-6m2 symmetry. A second, centrosymmetric Se-In-In-Se layer polymorph was identified with P-3m symmetry, which is typically not present in InSe bulk phases. First principles calculations revealed small formation energy differences between the InSe polymorphs and polytypes, yet sizeable differences in their electronic properties. Nanoscale domain sizes of varying polytypes thus resulted in sizeable electronic disorder in the grown films that dominated the electronic transport properties. Our results indicate that bottom-up thin film synthesis is a viable synthesis route towards stabilization of InSe polytypes not present in the bulk.


title: Molecular heat transport across a time-periodic temperature gradient

abstract: The time-periodic modulation of a temperature gradient can alter the heat transport properties of a physical system. Oscillating thermal gradients give rise to behaviors such as modified thermal conductivity and controllable time-delayed energy storage that are not present in a system with static temperatures. Here, we examine how the heat transport properties of a molecular lattice model are affected by an oscillating temperature gradient. We use analytical analysis and molecular dynamics simulations to investigate the vibrational heat flow in a molecular lattice system consisting of a chain of particles connected to two heat baths at different temperatures, where the temperature difference between baths is oscillating in time. We derive expressions for heat currents in this system using a stochastic energetics framework and a nonequilibrium Green's function approach that is modified to treat the nonstationary average energy fluxes. We find that emergent energy storage, energy release, and thermal conductance mechanisms induced by the temperature oscillations can be controlled by varying the frequency, waveform, and amplitude of the oscillating gradient. The developed theoretical approach provides a general framework to describe how vibrational heat transmission through a molecular lattice is affected by temperature gradient oscillations.


title: iTBLS: A Dataset of Interactive Conversations Over Tabular Information

abstract: This paper introduces Interactive Tables (iTBLS), a dataset of interactive conversations situated in tables from scientific articles. This dataset is designed to facilitate human-AI collaborative problem-solving through AI-powered multi-task tabular capabilities. In contrast to prior work that models interactions as factoid QA or procedure synthesis, iTBLS broadens the scope of interactions to include mathematical reasoning, natural language manipulation, and expansion of existing tables from natural language conversation by delineating interactions into one of three tasks: interpretation, modification, or generation. Additionally, the paper presents a suite of baseline approaches to iTBLS, utilizing zero-shot prompting and parameter-efficient fine-tuning for different computing situations. We also introduce a novel multi-step approach and show how it can be leveraged in conjunction with parameter-efficient fine-tuning to achieve the state-of-the-art on iTBLS; outperforming standard parameter-efficient fine-tuning by up to 15% on interpretation, 18% on modification, and 38% on generation.


title: Two-step Estimation of Network Formation Models with Unobserved Heterogeneities and Strategic Interactions

abstract: In this paper, I characterize the network formation process as a static game of incomplete information, where the latent payoff of forming a link between two individuals depends on the structure of the network, as well as private information on agents' attributes. I allow agents' private unobserved attributes to be correlated with observed attributes through individual fixed effects. Using data from a single large network, I propose a two-step estimator for the model primitives. In the first step, I estimate agents' equilibrium beliefs of other people's choice probabilities. In the second step, I plug in the first-step estimator to the conditional choice probability expression and estimate the model parameters and the unobserved individual fixed effects together using Joint MLE. Assuming that the observed attributes are discrete, I showed that the first step estimator is uniformly consistent with rate $N^{-1/4}$, where $N$ is the total number of linking proposals. I also show that the second-step estimator converges asymptotically to a normal distribution at the same rate.


title: Effective Sorting of Fractional Optical Vortex Modes

abstract: Mode sorter is the crucial component of the communication systems based on orbital angular momentum (OAM). However, schemes proposed so far can only effectively sort integer OAM (IOAM) modes. Here, we demonstrate the effective sorting of fractional OAM (FOAM) modes by utilizing the coordinate transformation method, which can convert FOAM modes to IOAM modes. The transformed IOAM modes are subsequently sorted by using a mode conversion method called topological charge matching. The validation of our scheme is verified by implementing two sorting processes and corresponding mode purity analyses, both theoretically and experimentally. This new sorting method exhibits a huge potential of implementing a highly confidential and high-capacity FOAM-based communication system, which may inspire further applications in both classical and quantum regimes.


title: Analyzing whale calling through Hawkes process modeling

abstract: Sound is assumed to be the primary modality of communication among marine mammal species. Analyzing acoustic recordings helps to understand the function of the acoustic signals as well as the possible impact of anthropogenic noise on acoustic behavior. Motivated by a dataset from a network of hydrophones in Cape Cod Bay, Massachusetts, utilizing automatically detected calls in recordings, we study the communication process of the endangered North Atlantic right whale. For right whales an "up-call" is known as a contact call, and ensuing counter-calling between individuals is presumed to facilitate group cohesion. We present novel spatiotemporal excitement modeling consisting of a background process and a counter-call process. The background process intensity incorporates the influences of diel patterns and ambient noise on occurrence. The counter-call intensity captures potential excitement, that calling elicits calling behavior. Call incidence is found to be clustered in space and time; a call seems to excite more calls nearer to it in time and space. We find evidence that whales make more calls during twilight hours, respond to other whales nearby, and are likely to remain quiet in the presence of increased ambient noise.


title: Multi-Objective Offloading Optimization in MEC and Vehicular-Fog Systems: A Distributed-TD3 Approach

abstract: The emergence of 5G networks has enabled the deployment of a two-tier edge and vehicular-fog network. It comprises Multi-access Edge Computing (MEC) and Vehicular-Fogs (VFs), strategically positioned closer to Internet of Things (IoT) devices, reducing propagation latency compared to cloud-based solutions and ensuring satisfactory quality of service (QoS). However, during high-traffic events like concerts or athletic contests, MEC sites may face congestion and become overloaded. Utilizing offloading techniques, we can transfer computationally intensive tasks from resource-constrained devices to those with sufficient capacity, for accelerating tasks and extending device battery life. In this research, we consider offloading within a two-tier MEC and VF architecture, involving offloading from MEC to MEC and from MEC to VF. The primary objective is to minimize the average system cost, considering both latency and energy consumption. To achieve this goal, we formulate a multi-objective optimization problem aimed at minimizing latency and energy while considering given resource constraints. To facilitate decision-making for nearly optimal computational offloading, we design an equivalent reinforcement learning environment that accurately represents the network architecture and the formulated problem. To accomplish this, we propose a Distributed-TD3 (DTD3) approach, which builds on the TD3 algorithm. Extensive simulations, demonstrate that our strategy achieves faster convergence and higher efficiency compared to other benchmark solutions.


title: IGM damping wing constraints on the tail end of reionisation from the enlarged XQR-30 sample

abstract: The attenuation of Ly$\alpha$ photons by neutral hydrogen in the intergalactic medium (IGM) at $z\gtrsim5$ continues to be a powerful probe for studying the epoch of reionisation. Given a framework to estimate the intrinsic (true) Ly$\alpha$ emission of high-$z$ sources, one can infer the ionisation state of the IGM during reionisation. In this work, we use the enlarged XQR-30 sample of 42 high-resolution and high-SNR QSO spectra between $5.8\lesssim\,z\lesssim\,6.6$ obtained with VLT/X-Shooter to place constraints on the IGM neutral fraction. This is achieved using our existing Bayesian QSO reconstruction framework which accounts for uncertainties such as the: (i) posterior distribution of predicted intrinsic Ly$\alpha$ emission profiles (obtained via covariance matrix reconstruction of the Ly$\alpha$ and N V emission lines from unattenuated high-ionisation emission line profiles; C IV, Si IV + O IV] and C III]) and (ii) distribution of ionised regions within the IGM using synthetic damping wing profiles drawn from a $1.6^3$ Gpc$^3$ reionisation simulation. Following careful quality control, we used 23 of the 42 available QSOs to obtain constraints/limits on the IGM neutral fraction during the tail-end of reionisation. Our median and 68th percentile constraints on the IGM neutral fraction are: $0.20\substack{+0.14\\-0.12}$ and $0.29\substack{+0.14\\-0.13}$ at $z = 6.15$~and 6.35. Further, we also report 68th percentile upper-limits of $\bar{x}_{\mathrm{H\,{\scriptscriptstyle I}}} < 0.21$, 0.20, 0.21 and 0.18 at $z = 5.8, 5.95, 6.05$~and 6.55. These results imply reionisation is still ongoing at $5.8\lesssim\,z\lesssim\,6.55$, consistent with previous results from XQR-30 (dark fraction and Ly$\alpha$ forest) along with other observational probes considered in the literature.


title: Risk Bounds for Mixture Density Estimation on Compact Domains via the $h$-Lifted Kullback--Leibler Divergence

abstract: We consider the problem of estimating probability density functions based on sample data, using a finite mixture of densities from some component class. To this end, we introduce the $h$-lifted Kullback--Leibler (KL) divergence as a generalization of the standard KL divergence and a criterion for conducting risk minimization. Under a compact support assumption, we prove an $\mc{O}(1/{\sqrt{n}})$ bound on the expected estimation error when using the $h$-lifted KL divergence, which extends the results of Rakhlin et al. (2005, ESAIM: Probability and Statistics, Vol. 9) and Li and Barron (1999, Advances in Neural Information ProcessingSystems, Vol. 12) to permit the risk bounding of density functions that are not strictly positive. We develop a procedure for the computation of the corresponding maximum $h$-lifted likelihood estimators ($h$-MLLEs) using the Majorization-Maximization framework and provide experimental results in support of our theoretical bounds.


title: Reinforcement Learning Approach for Integrating Compressed Contexts into Knowledge Graphs

abstract: The widespread use of knowledge graphs in various fields has brought about a challenge in effectively integrating and updating information within them. When it comes to incorporating contexts, conventional methods often rely on rules or basic machine learning models, which may not fully grasp the complexity and fluidity of context information. This research suggests an approach based on reinforcement learning (RL), specifically utilizing Deep Q Networks (DQN) to enhance the process of integrating contexts into knowledge graphs. By considering the state of the knowledge graph as environment states defining actions as operations for integrating contexts and using a reward function to gauge the improvement in knowledge graph quality post-integration, this method aims to automatically develop strategies for optimal context integration. Our DQN model utilizes networks as function approximators, continually updating Q values to estimate the action value function, thus enabling effective integration of intricate and dynamic context information. Initial experimental findings show that our RL method outperforms techniques in achieving precise context integration across various standard knowledge graph datasets, highlighting the potential and effectiveness of reinforcement learning in enhancing and managing knowledge graphs.


title: Cross-Modal Adapter: Parameter-Efficient Transfer Learning Approach for Vision-Language Models

abstract: Adapter-based parameter-efficient transfer learning has achieved exciting results in vision-language models. Traditional adapter methods often require training or fine-tuning, facing challenges such as insufficient samples or resource limitations. While some methods overcome the need for training by leveraging image modality cache and retrieval, they overlook the text modality's importance and cross-modal cues for the efficient adaptation of parameters in visual-language models. This work introduces a cross-modal parameter-efficient approach named XMAdapter. XMAdapter establishes cache models for both text and image modalities. It then leverages retrieval through visual-language bimodal information to gather clues for inference. By dynamically adjusting the affinity ratio, it achieves cross-modal fusion, decoupling different modal similarities to assess their respective contributions. Additionally, it explores hard samples based on differences in cross-modal affinity and enhances model performance through adaptive adjustment of sample learning intensity. Extensive experimental results on benchmark datasets demonstrate that XMAdapter outperforms previous adapter-based methods significantly regarding accuracy, generalization, and efficiency.