title: Coordinated RSMA for Integrated Sensing and Communication in Emergency UAV Systems

abstract: Recently, unmanned aerial vehicle (UAV)-enabled integrated sensing and communication (ISAC) is emerging as a promising technique for achieving robust and rapid emergency response capabilities. Such a novel framework offers high-quality and cost-efficient C\&S services due to the intrinsic flexibility and mobility of UAVs. In parallel, rate-splitting multiple access (RSMA) is able to achieve a tailor-made communication by splitting the messages into private and common parts with adjustable rates, making it suitable for on-demand data transmission in disaster scenarios. In this paper, we propose a coordinated RSMA for integrated sensing and communication (CoRSMA-ISAC) scheme in emergency UAV system to facilitate search and rescue operations, where a number of ISAC UAVs simultaneously communicate with multiple communication survivors (CSs) and detect a potentially trapped survivor (TS) in a coordinated manner. Towards this end, an optimization problem is formulated to maximize the weighted sum rate (WSR) of the system, subject to the sensing signal-to-noise ratio (SNR) requirement. In order to solve the formulated non-convex problem, we first decompose it into three subproblems, i.e., UAV-CS association, UAV deployment, as well as beamforming optimization and rate allocation. Subsequently, we introduce an iterative optimization approach leveraging K-Means, successive convex approximation (SCA), and semi-definite relaxation (SDR) algorithms to reframe the subproblems into a more tractable form and efficiently solve them. Simulation results demonstrate that the proposed CoRSMA-ISAC scheme is superior to conventional space division multiple access (SDMA), non-orthogonal multiple access (NOMA), and orthogonal multiple access (OMA) in terms of both communication and sensing performance.


title: Quantum Thermodynamics

abstract: The theory of quantum thermodynamics investigates how the concepts of heat, work, and temperature can be carried over to the quantum realm, where fluctuations and randomness are fundamentally unavoidable. These lecture notes provide an introduction to the thermodynamics of small quantum systems. It is illustrated how the laws of thermodynamics emerge from quantum theory and how open quantum systems can be modeled by Markovian master equations. Quantum systems that are designed to perform a certain task, such as cooling or generating entanglement are considered. Finally, the effect of fluctuations on the thermodynamic description is discussed.


title: Photon number states via iterated photon addition in a loop

abstract: We consider the probabilistic generation of time-bin photon number states from a train of single photon pulses. We propose a simple interferometric feedback loop setup having a beam splitter and a possibly non-idel detector. This Hong-Ou-Mandel type scheme implements iterated photon additions. Our detailed study shows that up to 4 photons this simple setup can provide reasonable success probabilities and fidelities.


title: Study of the $\Omega_{ccc}\Omega_{ccc}$ and $\Omega_{bbb}\Omega_{bbb}$ dibaryons in constituent quark model

abstract: Dibaryons are the simplest system in which the baryon-baryon interaction, and hence the underlying quark-quark interaction, can be studied in a clear way. Although the only dibaryon known today is the deuteron (and possibly the $d^*$), fully heavy dibaryons are good candidates for bound states because in such systems the kinetic energy is small and the high symmetry of the wave function favours binding. In this study, the possible existence of $\Omega_{ccc}\Omega_{ccc}$ and $\Omega_{bbb}\Omega_{bbb}$ dibaryons is investigated in the framework of a constituent quark model that satisfactorily describes the deuteron, the $d^*(2380)$ and the $NN$ interaction. $J^P=0^+$ candidates are found in both systems with binding energies of the order of MeV.


title: Metaheuristics for finding threshold graphs with maximum spectral radius

abstract: We consider the problem of characterizing graphs with the maximum spectral radius among the connected graphs with given numbers of vertices and edges. It is well-known that the candidates for extremal graphs are threshold graphs, but only a few partial theoretical results have been obtained so far. Therefore, we approach to this problem from a novel perspective that involves incomplete enumeration of different threshold graphs with a given characteristic. Our methodology defines the considered problem as an optimization task and utilizes two metaheuristic methods, Variable Neighborhood Search (VNS), which relies on iterative improvements of a single current best solution and Bee Colony Optimization (BCO), a population-based metaheuristic from the Swarm Intelligence (SI) class. We use compact solution representation and several auxiliary data structures that should enable efficient search of the solution space. In addition, we define several types of transformations that preserve the feasibility of the resulting solution. The proposed methods are compared on the graphs with a moderate number of vertices. Preliminary results are in favor of the VNS approach, however, we believe that both methods could be improved.


title: The Maclaurin spheroid in disguise. New figures of equilibrium with external magnetic support

abstract: We show that a rigidly rotating, homogeneous ellipsoid of revolution threaded by a uniform, coaxial magnetic field is a possible figure of equilibrium. While the spheroidal shape is fully preserved, the rotation rate is modified. Accordingly, we extend the fundamental formula by Maclaurin. In contrast with the non-magnetic case, prolate shapes are permitted, but there are critical states in the form of maximum elongations, depending on ionisation fraction, ion/electron drift, magnetic field and mass-density. As checked from numerical simulations based on the Self-Consistent-Field method, prolate states survive to gas compressibility. The relevance to interstellar clouds is outlined.


title: Numerical Analysis of the Complete Active-Space Extended Koopmans's Theorem

abstract: We investigate the numerical accuracy of the extended Koopmans's theorem (EKT) in reproducing the full configuration interaction (FCI) and complete active-space configuration interaction (CAS-CI) ionization energies (IEs) of atomic and molecular systems calculated as the difference between the energies of N and (N - 1) electron states. In particular, we study the convergence of the EKT IEs to their exact values as the basis set and the active space sizes vary. We find that the first FCI EKT IEs approach their exact counterparts as the basis set size increases. However, increasing the basis set or the active space sizes do not always lead to more accurate CAS-CI EKT IEs. Our investigation supports the Davidson et al.'s observation [E. R. Davidson, et al., J. Chem. Phys. 155, 051102 (2021)] that the FCI EKT IEs can be systematically improved with arbitrary numerical accuracy by supplementing the basis set with diffuse functions of appropriate symmetry which allow the detached electron to travel far away from the reference system. By changing the exponent and the center of the diffuse functions, our results delineate a complex pattern for the CAS-CI EKT IE of LiH which can be important for the spectroscopic studies of small molecules.


title: JuliVQC: an Efficient Variational Quantum Circuit Simulator for Near-Term Quantum Algorithms

abstract: We introduce JuliVQC: a light-weight, yet extremely efficient variational quantum circuit simulator. JuliVQC is part of an effort for classical simulation of the \textit{Zuchongzhi} quantum processors, where it is extensively used to characterize the circuit noises, as a building block in the Schr$\ddot{\text{o}}$dinger-Feynman algorithm for classical verification and performance benchmarking, and for variational optimization of the Fsim gate parameters. The design principle of JuliVQC is three-fold: (1) Transparent implementation of its core algorithms, realized by using the high-performance script language Julia; (2) Efficiency is the focus, with a cache-friendly implementation of each elementary operations and support for shared-memory parallelization; (3) Native support of automatic differentiation for both the noiseless and noisy quantum circuits. We perform extensive numerical experiments on JuliVQC in different application scenarios, including quantum circuits, variational quantum circuits and their noisy counterparts, which show that its performance is among the top of the popular alternatives.


title: Comparing Lasso and Adaptive Lasso in High-Dimensional Data: A Genetic Survival Analysis in Triple-Negative Breast Cancer

abstract: This study aims to evaluate the performance of Cox regression with lasso penalty and adaptive lasso penalty in high-dimensional settings. Variable selection methods are necessary in this context to reduce dimensionality and make the problem feasible. Several weight calculation procedures for adaptive lasso are proposed to determine if they offer an improvement over lasso, as adaptive lasso addresses its inherent bias. These proposed weights are based on principal component analysis, ridge regression, univariate Cox regressions and random survival forest (RSF). The proposals are evaluated in simulated datasets. A real application of these methodologies in the context of genomic data is also carried out. The study consists of determining the variables, clinical and genetic, that influence the survival of patients with triple-negative breast cancer (TNBC), which is a type breast cancer with low survival rates due to its aggressive nature.


title: Global well posedness and ergodic results in regular Sobolev spaces for the nonlinear Schr\"odinger equation with multiplicative noise and arbitrary power of the nonlinearity

abstract: We consider the nonlinear Schr\"odinger equation on the $d$-dimensional torus $\mathbb T^d$, with the nonlinearity of polynomial type $|u|^{2\sigma}u$. For any $\sigma \in \mathbb N$ and $s>\frac d2$ we prove that adding to this equation a suitable stochastic forcing term there exists a unique global solution for any initial data in $H^s(\mathbb T^d)$. The effect of the noise is to prevent blow-up in finite time, differently from the deterministic setting. Moreover we prove existence of invariant measures and their uniqueness under more restrictive assumptions on the noise term.


title: SeaKR: Self-aware Knowledge Retrieval for Adaptive Retrieval Augmented Generation

abstract: This paper introduces Self-aware Knowledge Retrieval (SeaKR), a novel adaptive RAG model that extracts self-aware uncertainty of LLMs from their internal states. SeaKR activates retrieval when the LLMs present high self-aware uncertainty for generation. To effectively integrate retrieved knowledge snippets, SeaKR re-ranks them based on LLM's self-aware uncertainty to preserve the snippet that reduces their uncertainty to the utmost. To facilitate solving complex tasks that require multiple retrievals, SeaKR utilizes their self-aware uncertainty to choose among different reasoning strategies. Our experiments on both complex and simple Question Answering datasets show that SeaKR outperforms existing adaptive RAG methods. We release our code at https://github.com/THU-KEG/SeaKR.


title: OTFS-NOMA System for MIMO Communication Networks with Spatial Diversity

abstract: In this work, we study the use of non-orthogonal multiple access (NOMA) and orthogonal time frequency space (OTFS) modulation in a multiple-input multiple-output (MIMO) communication network where mobile users (MUs) with different mobility profiles are grouped into clusters. We consider a downlink scenario where a base station (BS) communicates with multiple users that have diverse mobility profiles. High-mobility (HM) users' signals are placed in the delay-Doppler (DD) domain using OTFS modulation in order to transform their time-varying channel into a sparse static channel, while low-mobility (LM) users signals are placed in the time-frequency (TF) domain. Precoding is adopted at the BS to direct focused beams towards each cluster of users. Moreover, NOMA spectrum sharing is used in each cluster to allow the coexistence of a single HM user and multiple LM users within the same resource block. LM users access disjoint subchannels to ensure their orthogonality. All users within the same cluster first detect the HM user's signal. Afterward, LM users suppress the interference from the HM user and detect their own signals. Closed-form expressions of the detection signal-to-noise ratios (SNRs) are derived. The numerical results showed that the performance of the proposed system highly depends on the number of LM users, the number of clusters and the power allocation factors between HM and LM users.


title: Think Step by Step: Chain-of-Gesture Prompting for Error Detection in Robotic Surgical Videos

abstract: Despite significant advancements in robotic systems and surgical data science, ensuring safe and optimal execution in robot-assisted minimally invasive surgery (RMIS) remains a complex challenge. Current surgical error detection methods involve two parts: identifying surgical gestures and then detecting errors within each gesture clip. These methods seldom consider the rich contextual and semantic information inherent in surgical videos, limiting their performance due to reliance on accurate gesture identification. Motivated by the chain-of-thought prompting in natural language processing, this letter presents a novel and real-time end-to-end error detection framework, Chain-of-Thought (COG) prompting, leveraging contextual information from surgical videos. This encompasses two reasoning modules designed to mimic the decision-making processes of expert surgeons. Concretely, we first design a Gestural-Visual Reasoning module, which utilizes transformer and attention architectures for gesture prompting, while the second, a Multi-Scale Temporal Reasoning module, employs a multi-stage temporal convolutional network with both slow and fast paths for temporal information extraction. We extensively validate our method on the public benchmark RMIS dataset JIGSAWS. Our method encapsulates the reasoning processes inherent to surgical activities enabling it to outperform the state-of-the-art by 4.6% in F1 score, 4.6% in Accuracy, and 5.9% in Jaccard index while processing each frame in 6.69 milliseconds on average, demonstrating the great potential of our approach in enhancing the safety and efficacy of RMIS procedures and surgical education. The code will be available.


title: Rotation curves velocities obtained by warm low-density plasma simulating dark halos and dark matter

abstract: The free electron model with Boltzmann statistics for spherical low-density plasmas is developed further with asymptotic relations obtaining the density of electrons, mass densities, and the potentials of such plasmas. Solutions are developed as function of a pure number proportional to the distance from the stellar plasma center (galaxy center) with extremely small coefficient, so that these solutions are essentially functions of large astronomical distances and masses. The present plasma is divided into a central part and very long tail, where the central part of the plasma shows an exponential dependence on the distance from the galaxy center, but a part of the large mass of this plasma is included in the long stellar plasma tail. The present model is specialized to completely ionized Hydrogen plasma (with a small correction factor considering its mixture with heavier atoms) where emission and absorption of spectral lines can be neglected in the warm low density stellar plasma. We apply the present approach for treating rotation curves measurements, A general theory for rotation curves should include the superposition of the gravitational potentials introduced by the high-density compact stars, with those of the low-density stellar plasma potentials. But for halos which are at extremely large distance from the galaxy center, the dominant effects would be those of dark matter, and such dark halos are permeating and surrounding the compact galactic stars. Such plasma is found to be transparent in most of the EM spectrum. The existence of a large mass for the warm low-density plasma may solve the problem of missing mass in rotation curves measurements.


title: Metrics to Detect Small-Scale and Large-Scale Citation Orchestration

abstract: Citation counts and related metrics have pervasive uses and misuses in academia and research appraisal, serving as scholarly influence and recognition measures. Hence, comprehending the citation patterns exhibited by authors is essential for assessing their research impact and contributions within their respective fields. Although the h-index, introduced by Hirsch in 2005, has emerged as a popular bibliometric indicator, it fails to account for the intricate relationships between authors and their citation patterns. This limitation becomes particularly relevant in cases where citations are strategically employed to boost the perceived influence of certain individuals or groups, a phenomenon that we term "orchestration". Orchestrated citations can introduce biases in citation rankings and therefore necessitate the identification of such patterns. Here, we use Scopus data to investigate orchestration of citations across all scientific disciplines. Orchestration could be small-scale, when the author him/herself and/or a small number of other authors use citations strategically to boost citation metrics like h-index; or large-scale, where extensive collaborations among many co-authors lead to high h-index for many/all of them. We propose three orchestration indicators: extremely low values in the ratio of citations over the square of the h-index (indicative of small-scale orchestration); extremely small number of authors who can explain at least 50% of an author's total citations (indicative of either small-scale or large-scale orchestration); and extremely large number of co-authors with more than 50 co-authored papers (indicative of large-scale orchestration). The distributions, potential thresholds based on 1% (and 5%) percentiles, and insights from these indicators are explored and put into perspective across science.


title: Hack Me If You Can: Aggregating AutoEncoders for Countering Persistent Access Threats Within Highly Imbalanced Data

abstract: Advanced Persistent Threats (APTs) are sophisticated, targeted cyberattacks designed to gain unauthorized access to systems and remain undetected for extended periods. To evade detection, APT cyberattacks deceive defense layers with breaches and exploits, thereby complicating exposure by traditional anomaly detection-based security methods. The challenge of detecting APTs with machine learning is compounded by the rarity of relevant datasets and the significant imbalance in the data, which makes the detection process highly burdensome. We present AE-APT, a deep learning-based tool for APT detection that features a family of AutoEncoder methods ranging from a basic one to a Transformer-based one. We evaluated our tool on a suite of provenance trace databases produced by the DARPA Transparent Computing program, where APT-like attacks constitute as little as 0.004% of the data. The datasets span multiple operating systems, including Android, Linux, BSD, and Windows, and cover two attack scenarios. The outcomes showed that AE-APT has significantly higher detection rates compared to its competitors, indicating superior performance in detecting and ranking anomalies.


title: Quantum-like product states constructed from classical networks

abstract: The power of quantum states arises in part from superpositions of product states. Can complex classical systems be designed to exhibit such superpositions of tensor products of basis states, thereby mimicking quantum states? We exhibit a one-to-one map between the product basis of quantum states comprising an arbitrary number of qubits and the eigenstates of a construction comprising classical oscillator networks. Specifically, we prove the existence of this map based on Cartesian products of graphs, where the graphs depict the layout of oscillator networks.


title: The myth of declining competitive balance in the UEFA Champions League group stage

abstract: According to previous studies, competitive balance has significantly declined in the UEFA Champions League group stage over the recent decades. Our paper introduces six alternative indices for measuring ex ante and ex post competitive balance in order to explore the robustness of these results. The ex ante measures are based on Elo ratings, while the ex post measures compare the group ranking to reasonable benchmarks. We find no evidence of any trend in the competitive balance of the UEFA Champions League group stage between the 2003/04 and 2023/24 seasons.


title: T-FREE: Tokenizer-Free Generative LLMs via Sparse Representations for Memory-Efficient Embeddings

abstract: Tokenizers are crucial for encoding information in Large Language Models, but their development has recently stagnated, and they contain inherent weaknesses. Major limitations include computational overhead, ineffective vocabulary use, and unnecessarily large embedding and head layers. Additionally, their performance is biased towards a reference corpus, leading to reduced effectiveness for underrepresented languages. To remedy these issues, we propose T-FREE, which directly embeds words through sparse activation patterns over character triplets, and does not require a reference corpus. T-FREE inherently exploits morphological similarities and allows for strong compression of embedding layers. In our exhaustive experimental evaluation, we achieve competitive downstream performance with a parameter reduction of more than 85% on these layers. Further, T-FREE shows significant improvements in cross-lingual transfer learning.


title: Time evolution of Von Neumann entropy for a Kerr-Taub-NUT black hole

abstract: In this work, we study the evolution of an evaporating black hole, described by the Kerr--Taub--NUT metric, which emits scalar particles. We found that allowing the black hole to radiate massless scalar particles increases the angular momentum loss rate while decreasing the loss rate of the NUT parameter and black hole mass. In fact, it means that angular momentum will disappear faster than the other black hole parameters (mass and NUT parameter) during the evaporation process. We also calculate the time evolution of the mass, angular momentum, and NUT parameter in order to get the evolution of the Von Neumann entropy of the black hole. We found that the entropy follows approximately the so-called Page curve, where the $\beta$ parameter, which quantifies the amount of radiation, affects the evaporation process. Implying that high $\beta$ values accelerate the evaporation process of a Kerr--Taub--NUT black hole.


title: ProtoGMM: Multi-prototype Gaussian-Mixture-based Domain Adaptation Model for Semantic Segmentation

abstract: Domain adaptive semantic segmentation aims to generate accurate and dense predictions for an unlabeled target domain by leveraging a supervised model trained on a labeled source domain. The prevalent self-training approach involves retraining the dense discriminative classifier of $p(class|pixel feature)$ using the pseudo-labels from the target domain. While many methods focus on mitigating the issue of noisy pseudo-labels, they often overlook the underlying data distribution p(pixel feature|class) in both the source and target domains. To address this limitation, we propose the multi-prototype Gaussian-Mixture-based (ProtoGMM) model, which incorporates the GMM into contrastive losses to perform guided contrastive learning. Contrastive losses are commonly executed in the literature using memory banks, which can lead to class biases due to underrepresented classes. Furthermore, memory banks often have fixed capacities, potentially restricting the model's ability to capture diverse representations of the target/source domains. An alternative approach is to use global class prototypes (i.e. averaged features per category). However, the global prototypes are based on the unimodal distribution assumption per class, disregarding within-class variation. To address these challenges, we propose the ProtoGMM model. This novel approach involves estimating the underlying multi-prototype source distribution by utilizing the GMM on the feature space of the source samples. The components of the GMM model act as representative prototypes. To achieve increased intra-class semantic similarity, decreased inter-class similarity, and domain alignment between the source and target domains, we employ multi-prototype contrastive learning between source distribution and target samples. The experiments show the effectiveness of our method on UDA benchmarks.


title: Simulating Classroom Education with LLM-Empowered Agents

abstract: Large language models (LLMs) have been employed in various intelligent educational tasks to assist teaching. While preliminary explorations have focused on independent LLM-empowered agents for specific educational tasks, the potential for LLMs within a multi-agent collaborative framework to simulate a classroom with real user participation remains unexplored. In this work, we propose SimClass, a multi-agent classroom simulation framework involving user participation. We recognize representative class roles and introduce a novel class control mechanism for automatic classroom teaching, and conduct user experiments in two real-world courses. Utilizing the Flanders Interactive Analysis System and Community of Inquiry theoretical frame works from educational analysis, we demonstrate that LLMs can simulate traditional classroom interaction patterns effectively while enhancing user's experience. We also observe emergent group behaviors among agents in SimClass, where agents collaborate to create enlivening interactions in classrooms to improve user learning process. We hope this work pioneers the application of LLM-empowered multi-agent systems in virtual classroom teaching.


title: Aligning Teacher with Student Preferences for Tailored Training Data Generation

abstract: Large Language Models (LLMs) have shown significant promise as copilots in various tasks. Local deployment of LLMs on edge devices is necessary when handling privacy-sensitive data or latency-sensitive tasks. The computational constraints of such devices make direct deployment of powerful large-scale LLMs impractical, necessitating the Knowledge Distillation from large-scale models to lightweight models. Lots of work has been done to elicit diversity and quality training examples from LLMs, but little attention has been paid to aligning teacher instructional content based on student preferences, akin to "responsive teaching" in pedagogy. Thus, we propose ARTE, dubbed Aligning TeacheR with StudenT PreferencEs, a framework that aligns the teacher model with student preferences to generate tailored training examples for Knowledge Distillation. Specifically, we elicit draft questions and rationales from the teacher model, then collect student preferences on these questions and rationales using students' performance with in-context learning as a proxy, and finally align the teacher model with student preferences. In the end, we repeat the first step with the aligned teacher model to elicit tailored training examples for the student model on the target task. Extensive experiments on academic benchmarks demonstrate the superiority of ARTE over existing instruction-tuning datasets distilled from powerful LLMs. Moreover, we thoroughly investigate the generalization of ARTE, including the generalization of fine-tuned student models in reasoning ability and the generalization of aligned teacher models to generate tailored training data across tasks and students. In summary, our contributions lie in proposing a novel framework for tailored training example generation, demonstrating its efficacy in experiments, and investigating the generalization of both student & aligned teacher models in ARTE.


title: Tools Fail: Detecting Silent Errors in Faulty Tools

abstract: Tools have become a mainstay of LLMs, allowing them to retrieve knowledge not in their weights, to perform tasks on the web, and even to control robots. However, most ontologies and surveys of tool-use have assumed the core challenge for LLMs is choosing the tool. Instead, we introduce a framework for tools more broadly which guides us to explore a model's ability to detect "silent" tool errors, and reflect on how to plan. This more directly aligns with the increasingly popular use of models as tools. We provide an initial approach to failure recovery with promising results both on a controlled calculator setting and embodied agent planning.


title: Diffuse interstellar bands in the near-infrared: Expanding the reddening range

abstract: We have investigated the behaviour of three strong near-infrared diffuse interstellar bands (DIBs) at {\lambda}13177 {\AA}, {\lambda}14680 {\AA}, and {\lambda}15272 {\AA}, on a larger sample of sightlines and over a wider range of extinctions than previously studied, utilizing spectra from three observatories. We applied two telluric correction techniques to reduce atmospheric contamination and have used Gaussian fits to characterise the DIB profiles and measure equivalent widths. We confirmed strong and approximately linear correlations with reddening of the {\lambda}13177 {\AA}, {\lambda}14680 {\AA} and {\lambda}15272 {\AA} DIBs, extending them to higher reddening values and strengthening their link to interstellar matter. Modelling of the {\lambda}14680 {\AA} DIB profiles revealed intrinsic variations, including line broadening, linked to their formation processes. This effect is particularly pronounced in the Galactic Centre (GC) environment, where multiple diffuse molecular clouds along the line of sight contribute to line broadening. We have detected one new DIB candidate at {\lambda}14795 {\AA} on sightlines with high reddening.


title: Spiking Convolutional Neural Networks for Text Classification

abstract: Spiking neural networks (SNNs) offer a promising pathway to implement deep neural networks (DNNs) in a more energy-efficient manner since their neurons are sparsely activated and inferences are event-driven. However, there have been very few works that have demonstrated the efficacy of SNNs in language tasks partially because it is non-trivial to represent words in the forms of spikes and to deal with variable-length texts by SNNs. This work presents a "conversion + fine-tuning" two-step method for training SNNs for text classification and proposes a simple but effective way to encode pre-trained word embeddings as spike trains. We show empirically that after fine-tuning with surrogate gradients, the converted SNNs achieve comparable results to their DNN counterparts with much less energy consumption across multiple datasets for both English and Chinese. We also show that such SNNs are more robust to adversarial attacks than DNNs.


title: Another conjecture of TxGraffiti concerning zero forcing and domination in graphs

abstract: This paper proves a conjecture generated by the artificial intelligence conjecturing program called \emph{TxGraffiti}. More specifically, we show that if $G$ is a connected, cubic, and claw-free graph, then $Z(G) \le \gamma(G) + 2$, where $Z(G)$ and $\gamma(G)$ denote the zero forcing number and the domination number of $G$, respectively. Furthermore, we provide a complete characterization of graphs that achieve this bound. Notably, this bound improves the known upper bounds for the zero forcing number of connected, cubic, and claw-free graphs.


title: RuBLiMP: Russian Benchmark of Linguistic Minimal Pairs

abstract: Minimal pairs are a well-established approach to evaluating the grammatical knowledge of language models. However, existing resources for minimal pairs address a limited number of languages and lack diversity of language-specific grammatical phenomena. This paper introduces the Russian Benchmark of Linguistic Minimal Pairs (RuBLiMP), which includes 45k pairs of sentences that differ in grammaticality and isolate a morphological, syntactic, or semantic phenomenon. In contrast to existing benchmarks of linguistic minimal pairs, RuBLiMP is created by applying linguistic perturbations to automatically annotated sentences from open text corpora and carefully curating test data. We describe the data collection protocol and present the results of evaluating 25 language models in various scenarios. We find that the widely used language models for Russian are sensitive to morphological and agreement-oriented contrasts but fall behind humans on phenomena requiring understanding of structural relations, negation, transitivity, and tense. RuBLiMP, the codebase, and other materials are publicly available.


title: X-ray and gamma-ray study for 2023 nova eruption of V1716 Sco

abstract: We report the results of X-ray and gamma-ray analyses of the nova V1716 Sco taken by Swift, NICER, NuSTAR and F ermi-LAT. We have detected gamma-ray emission at a significant level exceeding 8 {\sigma} in daily bins starting the day after the optical eruption. The gamma-ray emission, characterized by a Test Statistic (TS) value more than four, persisted for approximately 40 days. Notably, harder X-ray emission were observed by NuSTAR as the start of gamma-ray emission, which is the fourth classical nova that gamma-ray emission is concurrent with harder X-ray emission from NuSTAR data. V1716 Sco is one of rare samples that clearly shows a hard X-ray emission (1-10 keV bands) in the Swift-XRT data concurrently with gamma-ray emission of Fermi-LAT data, and its light curve in 1.0-10.0 keV bands had a peak at about 20 days after the optical eruption. The X-ray spectrum was initially fitted by a model of thermal plasma emission, and entered a supersoft phase with additional blackbody (BB) component emerged around about 40 days after the optical eruption. NICER data taken in supersoft source phase revealed a quasi-periodic oscillation with a period of 79.10+-1.98 seconds, and the peak phase of the folded light curve varied with time. Moreover, V1716 Sco is the another example that the emission radius in supersoft source phase is significantly larger than the radius of white dwarf, and a simple BB emission model may not be applicable since the luminosity exceeds significantly Eddington limit.


title: Seeing Is Believing: Black-Box Membership Inference Attacks Against Retrieval Augmented Generation

abstract: Retrieval-Augmented Generation (RAG) is a state-of-the-art technique that enhances Large Language Models (LLMs) by retrieving relevant knowledge from an external, non-parametric database. This approach aims to mitigate common LLM issues such as hallucinations and outdated knowledge. Although existing research has demonstrated security and privacy vulnerabilities within RAG systems, making them susceptible to attacks like jailbreaks and prompt injections, the security of the RAG system's external databases remains largely underexplored. In this paper, we employ Membership Inference Attacks (MIA) to determine whether a sample is part of the knowledge database of a RAG system, using only black-box API access. Our core hypothesis posits that if a sample is a member, it will exhibit significant similarity to the text generated by the RAG system. To test this, we compute the cosine similarity and the model's perplexity to establish a membership score, thereby building robust features. We then introduce two novel attack strategies: a Threshold-based Attack and a Machine Learning-based Attack, designed to accurately identify membership. Experimental validation of our methods has achieved a ROC AUC of 82%.


title: Gauge Invariance of Equilibrium Statistical Mechanics

abstract: We identify a recently proposed shifting operation on classical phase space as a gauge transformation for statistical mechanical microstates. The infinitesimal generators of the continuous gauge group form a non-commutative Lie algebra, which induces exact sum rules when thermally averaged. Gauge invariance with respect to finite shifting is demonstrated via Monte Carlo simulation in the transformed phase space which generates identical equilibrium averages. Our results point towards a deeper basis of statistical mechanics than previously known and they offer avenues for systematic construction of exact identities and of sampling algorithms.


title: Human-Aware Vision-and-Language Navigation: Bridging Simulation to Reality with Dynamic Human Interactions

abstract: Vision-and-Language Navigation (VLN) aims to develop embodied agents that navigate based on human instructions. However, current VLN frameworks often rely on static environments and optimal expert supervision, limiting their real-world applicability. To address this, we introduce Human-Aware Vision-and-Language Navigation (HA-VLN), extending traditional VLN by incorporating dynamic human activities and relaxing key assumptions. We propose the Human-Aware 3D (HA3D) simulator, which combines dynamic human activities with the Matterport3D dataset, and the Human-Aware Room-to-Room (HA-R2R) dataset, extending R2R with human activity descriptions. To tackle HA-VLN challenges, we present the Expert-Supervised Cross-Modal (VLN-CM) and Non-Expert-Supervised Decision Transformer (VLN-DT) agents, utilizing cross-modal fusion and diverse training strategies for effective navigation in dynamic human environments. A comprehensive evaluation, including metrics considering human activities, and systematic analysis of HA-VLN's unique challenges, underscores the need for further research to enhance HA-VLN agents' real-world robustness and adaptability. Ultimately, this work provides benchmarks and insights for future research on embodied AI and Sim2Real transfer, paving the way for more realistic and applicable VLN systems in human-populated environments.


title: FlowVQA: Mapping Multimodal Logic in Visual Question Answering with Flowcharts

abstract: Existing benchmarks for visual question answering lack in visual grounding and complexity, particularly in evaluating spatial reasoning skills. We introduce FlowVQA, a novel benchmark aimed at assessing the capabilities of visual question-answering multimodal language models in reasoning with flowcharts as visual contexts. FlowVQA comprises 2,272 carefully generated and human-verified flowchart images from three distinct content sources, along with 22,413 diverse question-answer pairs, to test a spectrum of reasoning tasks, including information localization, decision-making, and logical progression. We conduct a thorough baseline evaluation on a suite of both open-source and proprietary multimodal language models using various strategies, followed by an analysis of directional bias. The results underscore the benchmark's potential as a vital tool for advancing the field of multimodal modeling, providing a focused and challenging environment for enhancing model performance in visual and logical reasoning tasks.


title: Revealing Fine-Grained Values and Opinions in Large Language Models

abstract: Uncovering latent values and opinions in large language models (LLMs) can help identify biases and mitigate potential harm. Recently, this has been approached by presenting LLMs with survey questions and quantifying their stances towards morally and politically charged statements. However, the stances generated by LLMs can vary greatly depending on how they are prompted, and there are many ways to argue for or against a given position. In this work, we propose to address this by analysing a large and robust dataset of 156k LLM responses to the 62 propositions of the Political Compass Test (PCT) generated by 6 LLMs using 420 prompt variations. We perform coarse-grained analysis of their generated stances and fine-grained analysis of the plain text justifications for those stances. For fine-grained analysis, we propose to identify tropes in the responses: semantically similar phrases that are recurrent and consistent across different prompts, revealing patterns in the text that a given LLM is prone to produce. We find that demographic features added to prompts significantly affect outcomes on the PCT, reflecting bias, as well as disparities between the results of tests when eliciting closed-form vs. open domain responses. Additionally, patterns in the plain text rationales via tropes show that similar justifications are repeatedly generated across models and prompts even with disparate stances.


title: ALMA: a mathematics-driven approach for determining tuning parameters in generalized LASSO problems, with applications to MRI

abstract: Magnetic Resonance Imaging (MRI) is a powerful technique employed for non-invasive in vivo visualization of internal structures. Sparsity is often deployed to accelerate the signal acquisition or overcome the presence of motion artifacts, improving the quality of image reconstruction. Image reconstruction algorithms use TV-regularized LASSO (Total Variation-regularized LASSO) to retrieve the missing information of undersampled signals, by cleaning the data of noise and while optimizing sparsity. A tuning parameter moderates the balance between these two aspects; its choice affecting the quality of the reconstructions. Currently, there is a lack of general deterministic techniques to choose these parameters, which are oftentimes manually selected and thus hinder the reliability of the reconstructions. Here, we present ALMA (Algorithm for Lagrange Multipliers Approximation), an iterative mathematics-inspired technique that computes tuning parameters for generalized LASSO problems during MRI reconstruction. We analyze quantitatively the performance of these parameters for imaging reconstructions via TV-LASSO in an MRI context on phantoms. Although our study concentrates on TV-LASSO, the techniques developed here hold significant promise for a wide array of applications. ALMA is not only adaptable to more generalized LASSO problems but is also robust to accommodate other forms of regularization beyond total variation. Moreover, it extends effectively to handle non-Cartesian sampling trajectories, broadening its utility in complex data reconstruction scenarios. More generally, ALMA provides a powerful tool for numerically solving constrained optimization problems across various disciplines, offering a versatile and impactful solution for advanced computational challenges.


title: Data Preparation for Deep Learning based Code Smell Detection: A Systematic Literature Review

abstract: Code Smell Detection (CSD) plays a crucial role in improving software quality and maintainability. And Deep Learning (DL) techniques have emerged as a promising approach for CSD due to their superior performance. However, the effectiveness of DL-based CSD methods heavily relies on the quality of the training data. Despite its importance, little attention has been paid to analyzing the data preparation process. This systematic literature review analyzes the data preparation techniques used in DL-based CSD methods. We identify 36 relevant papers published by December 2023 and provide a thorough analysis of the critical considerations in constructing CSD datasets, including data requirements, collection, labeling, and cleaning. We also summarize seven primary challenges and corresponding solutions in the literature. Finally, we offer actionable recommendations for preparing and accessing high-quality CSD data, emphasizing the importance of data diversity, standardization, and accessibility. This survey provides valuable insights for researchers and practitioners to harness the full potential of DL techniques in CSD.


title: Stiefel-Whitney Classes for Finite Special Linear Groups of Even Rank

abstract: We compute the total Stiefel-Whitney Classes (SWCs) for orthogonal representations of special linear groups $\text{SL}(n,q)$ when $n$ and $q$ are odd. These classes are expressed in terms of character values at diagonal elements of order $2$. We give several consequences, and work out the $4$th SWC explicitly, and the $8$th SWC when the $4$th vanishes.


title: Upper Comonotonicity and Risk Aggregation under Dependence Uncertainty

abstract: In this paper, we study dependence uncertainty and the resulting effects on tail risk measures, which play a fundamental role in modern risk management. We introduce the notion of a regular dependence measure, defined on multi-marginal couplings, as a generalization of well-known correlation statistics such as the Pearson correlation. The first main result states that even an arbitrarily small positive dependence between losses can result in perfectly correlated tails beyond a certain threshold and seemingly complete independence before this threshold. In a second step, we focus on the aggregation of individual risks with known marginal distributions by means of arbitrary nondecreasing left-continuous aggregation functions. In this context, we show that under an arbitrarily small positive dependence, the tail risk of the aggregate loss might coincide with the one of perfectly correlated losses. A similar result is derived for expectiles under mild conditions. In a last step, we discuss our results in the context of credit risk, analyzing the potential effects on the value at risk for weighted sums of Bernoulli distributed losses.


title: Application of ASV for Voice Identification after VC and Duration Predictor Improvement in TTS Models

abstract: One of the most crucial components in the field of biometric security is the automatic speaker verification system, which is based on the speaker's voice. It is possible to utilise ASVs in isolation or in conjunction with other AI models. In the contemporary era, the quality and quantity of neural networks are increasing exponentially. Concurrently, there is a growing number of systems that aim to manipulate data through the use of voice conversion and text-to-speech models. The field of voice biometrics forgery is aided by a number of challenges, including SSTC, ASVSpoof, and SingFake. This paper presents a system for automatic speaker verification. The primary objective of our model is the extraction of embeddings from the target speaker's audio in order to obtain information about important characteristics of his voice, such as pitch, energy, and the duration of phonemes. This information is used in our multivoice TTS pipeline, which is currently under development. However, this model was employed within the SSTC challenge to verify users whose voice had undergone voice conversion, where it demonstrated an EER of 20.669.


title: Improving the Expressiveness of $K$-hop Message-Passing GNNs by Injecting Contextualized Substructure Information

abstract: Graph neural networks (GNNs) have become the \textit{de facto} standard for representational learning in graphs, and have achieved state-of-the-art performance in many graph-related tasks; however, it has been shown that the expressive power of standard GNNs are equivalent maximally to 1-dimensional Weisfeiler-Lehman (1-WL) Test. Recently, there is a line of works aiming to enhance the expressive power of graph neural networks. One line of such works aim at developing $K$-hop message-passing GNNs where node representation is updated by aggregating information from not only direct neighbors but all neighbors within $K$-hop of the node. Another line of works leverages subgraph information to enhance the expressive power which is proven to be strictly more powerful than 1-WL test. In this work, we discuss the limitation of $K$-hop message-passing GNNs and propose \textit{substructure encoding function} to uplift the expressive power of any $K$-hop message-passing GNN. We further inject contextualized substructure information to enhance the expressiveness of $K$-hop message-passing GNNs. Our method is provably more powerful than previous works on $K$-hop graph neural networks and 1-WL subgraph GNNs, which is a specific type of subgraph based GNN models, and not less powerful than 3-WL. Empirically, our proposed method set new state-of-the-art performance or achieves comparable performance for a variety of datasets. Our code is available at \url{https://github.com/tianyao-aka/Expresive_K_hop_GNNs}.


title: Characterization of Conventional Endovascular Devices in Treatment of Abdominal Aortic Aneurysms

abstract: Abdominal Aortic Aneurysms (AAA) are often repaired through an Endovascular approach known as EVAR. The success and duration of these challenging procedures are primarily attributable to the accuracy and reliability of navigating corresponding interventional devices. This study investigates the performance of conventional non-steerable and steerable catheters in endovascular aneurysm repair (EVAR) procedures, focusing on two primary metrics: reachable workspace and gate cannulation success. We developed two abdominal aortic aneurysm (AAA) phantoms using patient CT images for our experiments. Under X-ray fluoroscopy guidance, the reachable workspace was quantified, and gate cannulation success rates, cannulation time, and fluoroscopy times were recorded for both non-steerable and steerable catheters and were compared. We were unable to observe statistically significant differences between the two catheter types in overall cannulation success rates or fluoroscopy time. However, in challenging anatomical scenarios (particularly a more challenging gate location), the steerable catheter showed statistically significant advantages in success rates and cannulation times. While there were no statistical differences in reachable workspace between non-steerable and steerable catheters when considering the whole aneurysm, segmented analysis showed that the steerable catheter performed better in the central region, and non-steerable catheters performed better in the peripheral region. This study provides a systematic method for quantifying the performance of endovascular devices. The findings suggest that while steerable catheters may offer advantages in complex anatomical conditions, non-steerable catheters are preferable in peripheral areas of the aneurysm. These insights can inform catheter selection in EVAR, potentially influencing device design and clinical practice.


title: An Interpretable and Efficient Sleep Staging Algorithm: DetectsleepNet

abstract: Sleep quality directly impacts human health and quality of life, so accurate sleep staging is essential for assessing sleep quality. However, most traditional methods are inefficient and time-consuming due to segmenting different sleep cycles by manual labeling. In contrast, automated sleep staging technology not only directly assesses sleep quality but also helps sleep specialists analyze sleep status, significantly improving efficiency and reducing the cost of sleep monitoring, especially for continuous sleep monitoring. Most of the existing models, however, are deficient in computational efficiency, lightweight design, and model interpretability. In this paper, we propose a neural network architecture based on the prior knowledge of sleep experts. Specifically, 1) Propose an end-to-end model named DetectsleepNet that uses single-channel EEG signals without additional data processing, which has achieved an impressive 80.9% accuracy on the SHHS dataset and an outstanding 88.0% accuracy on the Physio2018 dataset. 2) Constructure an efficient lightweight sleep staging model named DetectsleepNet-tiny based on DetectsleepNet, which has just 6% of the parameter numbers of existing models, but its accuracy exceeds 99% of state-of-the-art models, 3) Introducing a specific inference header to assess the attention given to a specific EEG segment in each sleep frame, enhancing the transparency in the decisions of models. Our model comprises fewer parameters compared to existing ones and ulteriorly explores the interpretability of the model to facilitate its application in healthcare. The code is available at https://github.com/komdec/DetectSleepNet.git.


title: Local Manifold Learning for No-Reference Image Quality Assessment

abstract: Contrastive learning has considerably advanced the field of Image Quality Assessment (IQA), emerging as a widely adopted technique. The core mechanism of contrastive learning involves minimizing the distance between quality-similar (positive) examples while maximizing the distance between quality-dissimilar (negative) examples. Despite its successes, current contrastive learning methods often neglect the importance of preserving the local manifold structure. This oversight can result in a high degree of similarity among hard examples within the feature space, thereby impeding effective differentiation and assessment. To address this issue, we propose an innovative framework that integrates local manifold learning with contrastive learning for No-Reference Image Quality Assessment (NR-IQA). Our method begins by sampling multiple crops from a given image, identifying the most visually salient crop. This crop is then used to cluster other crops from the same image as the positive class, while crops from different images are treated as negative classes to increase inter-class distance. Uniquely, our approach also considers non-saliency crops from the same image as intra-class negative classes to preserve their distinctiveness. Additionally, we employ a mutual learning framework, which further enhances the model's ability to adaptively learn and identify visual saliency regions. Our approach demonstrates a better performance compared to state-of-the-art methods in 7 standard datasets, achieving PLCC values of 0.942 (compared to 0.908 in TID2013) and 0.914 (compared to 0.894 in LIVEC).


title: Staggered Quantizers for Perfect Perceptual Quality: A Connection between Quantizers with Common Randomness and Without

abstract: The rate-distortion-perception (RDP) framework has attracted significant recent attention due to its application in neural compression. It is important to understand the underlying mechanism connecting procedures with common randomness and those without. Different from previous efforts, we study this problem from a quantizer design perspective. By analyzing an idealized setting, we provide an interpretation of the advantage of dithered quantization in the RDP setting, which further allows us to make a conceptual connection between randomized (dithered) quantizers and quantizers without common randomness. This new understanding leads to a new procedure for RDP coding based on staggered quantizers.


title: NTFormer: A Composite Node Tokenized Graph Transformer for Node Classification

abstract: Recently, the emerging graph Transformers have made significant advancements for node classification on graphs. In most graph Transformers, a crucial step involves transforming the input graph into token sequences as the model input, enabling Transformer to effectively learn the node representations. However, we observe that existing methods only express partial graph information of nodes through single-type token generation. Consequently, they require tailored strategies to encode additional graph-specific features into the Transformer to ensure the quality of node representation learning, limiting the model flexibility to handle diverse graphs. To this end, we propose a new graph Transformer called NTFormer to address this issue. NTFormer introduces a novel token generator called Node2Par, which constructs various token sequences using different token elements for each node. This flexibility allows Node2Par to generate valuable token sequences from different perspectives, ensuring comprehensive expression of rich graph features. Benefiting from the merits of Node2Par, NTFormer only leverages a Transformer-based backbone without graph-specific modifications to learn node representations, eliminating the need for graph-specific modifications. Extensive experiments conducted on various benchmark datasets containing homophily and heterophily graphs with different scales demonstrate the superiority of NTFormer over representative graph Transformers and graph neural networks for node classification.


title: A supercritical nonlocal Neumann problem involving non-homogeneous fractional Laplacian

abstract: In this paper, we study the existence of positive non-decreasing radial solutions of a nonlocal non-standard growth problem ruled by the fractional $g$-Laplace operator with exterior Neumann condition. Our argument exploits some properties of fractional Orlicz-Sobolev spaces together with a variational principle for nonsmooth functional which allows to deal with problems lacking compactness.


title: AutoRAG-HP: Automatic Online Hyper-Parameter Tuning for Retrieval-Augmented Generation

abstract: Recent advancements in Large Language Models have transformed ML/AI development, necessitating a reevaluation of AutoML principles for the Retrieval-Augmented Generation (RAG) systems. To address the challenges of hyper-parameter optimization and online adaptation in RAG, we propose the AutoRAG-HP framework, which formulates the hyper-parameter tuning as an online multi-armed bandit (MAB) problem and introduces a novel two-level Hierarchical MAB (Hier-MAB) method for efficient exploration of large search spaces. We conduct extensive experiments on tuning hyper-parameters, such as top-k retrieved documents, prompt compression ratio, and embedding methods, using the ALCE-ASQA and Natural Questions datasets. Our evaluation from jointly optimization all three hyper-parameters demonstrate that MAB-based online learning methods can achieve Recall@5 $\approx 0.8$ for scenarios with prominent gradients in search space, using only $\sim20\%$ of the LLM API calls required by the Grid Search approach. Additionally, the proposed Hier-MAB approach outperforms other baselines in more challenging optimization scenarios. The code will be made available at https://aka.ms/autorag.


title: Critical exponents and dimension for generalised limit sets

abstract: There is a beautiful and well-studied relationship between the Poincare exponent and the fractal dimensions of the limit set of a Kleinian group. Motivated by this, given an arbitrary discrete subset of the unit ball we define a critical exponent and investigate how it relates to the fractal dimensions of the associated generalised limit set.


title: Advection Augmented Convolutional Neural Networks

abstract: Many problems in physical sciences are characterized by the prediction of space-time sequences. Such problems range from weather prediction to the analysis of disease propagation and video prediction. Modern techniques for the solution of these problems typically combine Convolution Neural Networks (CNN) architecture with a time prediction mechanism. However, oftentimes, such approaches underperform in the long-range propagation of information and lack explainability. In this work, we introduce a physically inspired architecture for the solution of such problems. Namely, we propose to augment CNNs with advection by designing a novel semi-Lagrangian push operator. We show that the proposed operator allows for the non-local transformation of information compared with standard convolutional kernels. We then complement it with Reaction and Diffusion neural components to form a network that mimics the Reaction-Advection-Diffusion equation, in high dimensions. We demonstrate the effectiveness of our network on a number of spatio-temporal datasets that show their merit.


title: Empirical Investigation of the Relationship Between Design Smells and Role Stereotypes

abstract: During software development, poor design and implementation choices can detrimentally impact software maintainability. Design smells, recurring patterns of poorly designed fragments, signify these issues. Role-stereotypes denote the generic responsibilities that classes assume in system design. Although the concepts of role-stereotypes and design smells differ, both significantly contribute to the design and maintenance of software systems. Understanding the relationship between these aspects is crucial for enhancing software maintainability, code quality, efficient code review, guided refactoring, and the design of role-specific metrics. This paper employs an exploratory approach, combining statistical analysis and unsupervised learning methods, to understand how design smells relate to role-stereotypes across desktop and mobile applications. Analyzing 11,350 classes from 30 GitHub repositories, we identified several design smells that frequently co-occur within certain role-stereotypes. Specifically, three (3) out of six (6) role-stereotypes we studied are more prone to design smells. We also examined the variation of design smells across the two ecosystems, driven by notable differences in their underlying architecture. Findings revealed that design smells are more prevalent in desktop than in mobile applications, especially within the Service Provider and Information Holder role-stereotypes. Additionally, the unsupervised learning method showed that certain pairs or groups of role-stereotypes are prone to similar types of design smells. We believe these relationships are associated with the characteristic and collaborative properties between role-stereotypes. The insights from this research provide valuable guidance for software teams on implementing design smell prevention and correction mechanisms, ensuring conceptual integrity during design and maintenance phases.


title: Enhancing Video-Language Representations with Structural Spatio-Temporal Alignment

abstract: While pre-training large-scale video-language models (VLMs) has shown remarkable potential for various downstream video-language tasks, existing VLMs can still suffer from certain commonly seen limitations, e.g., coarse-grained cross-modal aligning , under-modeling of temporal dynamics, detached video-language view. In this work, we target enhancing VLMs with a fine-grained structural spatio-temporal alignment learning method (namely Finsta). First of all, we represent the input texts and videos with fine-grained scene graph (SG) structures, both of which are further unified into a holistic SG (HSG) for bridging two modalities. Then, an SG-based framework is built, where the textual SG (TSG) is encoded with a graph Transformer, while the video dynamic SG (DSG) and the HSG are modeled with a novel recurrent graph Transformer for spatial and temporal feature propagation. A spatial-temporal Gaussian differential graph Transformer is further devised to strengthen the sense of the changes in objects across spatial and temporal dimensions. Next, based on the fine-grained structural features of TSG and DSG, we perform object-centered spatial alignment and predicate-centered temporal alignment respectively, enhancing the video-language grounding in both the spatiality and temporality. We design our method as a plug&play system, which can be integrated into existing well-trained VLMs for further representation augmentation, without training from scratch or relying on SG annotations in downstream applications. On 6 representative VL modeling tasks over 12 datasets in both standard and long-form video scenarios, Finsta consistently improves the existing 13 strong-performing VLMs persistently, and refreshes the current state-of-the-art end task performance significantly in both the fine-tuning and zero-shot settings.


title: AI Data Readiness Inspector (AIDRIN) for Quantitative Assessment of Data Readiness for AI

abstract: "Garbage In Garbage Out" is a universally agreed quote by computer scientists from various domains, including Artificial Intelligence (AI). As data is the fuel for AI, models trained on low-quality, biased data are often ineffective. Computer scientists who use AI invest a considerable amount of time and effort in preparing the data for AI. However, there are no standard methods or frameworks for assessing the "readiness" of data for AI. To provide a quantifiable assessment of the readiness of data for AI processes, we define parameters of AI data readiness and introduce AIDRIN (AI Data Readiness Inspector). AIDRIN is a framework covering a broad range of readiness dimensions available in the literature that aid in evaluating the readiness of data quantitatively and qualitatively. AIDRIN uses metrics in traditional data quality assessment such as completeness, outliers, and duplicates for data evaluation. Furthermore, AIDRIN uses metrics specific to assess data for AI, such as feature importance, feature correlations, class imbalance, fairness, privacy, and FAIR (Findability, Accessibility, Interoperability, and Reusability) principle compliance. AIDRIN provides visualizations and reports to assist data scientists in further investigating the readiness of data. The AIDRIN framework enhances the efficiency of the machine learning pipeline to make informed decisions on data readiness for AI applications.


title: Online sorting and online TSP: randomized, stochastic, and high-dimensional

abstract: In the online sorting problem, $n$ items are revealed one by one and have to be placed (immediately and irrevocably) into empty cells of a size-$n$ array. The goal is to minimize the sum of absolute differences between items in consecutive cells. This natural problem was recently introduced by Aamand, Abrahamsen, Beretta, and Kleist (SODA 2023) as a tool in their study of online geometric packing problems. They showed that when the items are reals from the interval $[0,1]$ a competitive ratio of $O(\sqrt{n})$ is achievable, and no deterministic algorithm can improve this ratio asymptotically. In this paper, we extend and generalize the study of online sorting in three directions: - randomized: we settle the open question of Aamand et al. by showing that the $O(\sqrt{n})$ competitive ratio for the online sorting of reals cannot be improved even with the use of randomness; - stochastic: we consider inputs consisting of $n$ samples drawn uniformly at random from an interval, and give an algorithm with an improved competitive ratio of $\widetilde{O}(n^{1/4})$. The result reveals connections between online sorting and the design of efficient hash tables; - high-dimensional: we show that $\widetilde{O}(\sqrt{n})$-competitive online sorting is possible even for items from $\mathbb{R}^d$, for arbitrary fixed $d$, in an adversarial model. This can be viewed as an online variant of the classical TSP problem where tasks (cities to visit) are revealed one by one and the salesperson assigns each task (immediately and irrevocably) to its timeslot. Along the way, we also show a tight $O(\log{n})$-competitiveness result for uniform metrics, i.e., where items are of different types and the goal is to order them so as to minimize the number of switches between consecutive items of different types.


title: Leveraging Contrastive Learning for Enhanced Node Representations in Tokenized Graph Transformers

abstract: While tokenized graph Transformers have demonstrated strong performance in node classification tasks, their reliance on a limited subset of nodes with high similarity scores for constructing token sequences overlooks valuable information from other nodes, hindering their ability to fully harness graph information for learning optimal node representations. To address this limitation, we propose a novel graph Transformer called GCFormer. Unlike previous approaches, GCFormer develops a hybrid token generator to create two types of token sequences, positive and negative, to capture diverse graph information. And a tailored Transformer-based backbone is adopted to learn meaningful node representations from these generated token sequences. Additionally, GCFormer introduces contrastive learning to extract valuable information from both positive and negative token sequences, enhancing the quality of learned node representations. Extensive experimental results across various datasets, including homophily and heterophily graphs, demonstrate the superiority of GCFormer in node classification, when compared to representative graph neural networks (GNNs) and graph Transformers.


title: Asymptotic stability of the equilibrium for the free boundary problem of a compressible atmospheric primitive model with physical vacuum

abstract: This paper concerns the large time asymptotic behavior of solutions to the free boundary problem of the compressible primitive equations in atmospheric dynamics with physical vacuum. Up to second order of the perturbations of an equilibrium, we have introduced a model of the compressible primitive equations with a specific viscosity and shown that the physical vacuum free boundary problem for this model system has a global-in-time solution converging to an equilibrium exponentially, provided that the initial data is a small perturbation of the equilibrium. More precisely, we introduce a new coordinate system by choosing the enthalpy (the square of sound speed) as the vertical coordinate, and thanks to the hydrostatic balance, the degenerate density at the free boundary admits a representation with separation of variables in the new coordinates. Such a property allows us to establish horizontal derivative estimates without involving the singular vertical derivative of the density profile, which plays a key role in our analysis.


title: Optimal self-assembly pathways towards colloidal lattices with tunable flexibility

abstract: Flexibility governs the many properties of materials and is crucial for the function of proteins and biopolymers. However, how the self-assembly of flexibly bonded particles can lead to larger structures with global reconfigurability is unexplored. We here use a binary colloidal model system equipped with flexible DNA-based bonds to study how regular structures with tunable flexibility can be created through self-assembly. We find that the reconfigurability during lattice growth leads to lattices with square symmetry which are inherently mechanically unstable and hence thermally floppy. By considering the role of size ratio, number ratio, and directionality induced by particle shape, we identify the optimal pathways that maximize the yield and flexibility of these square lattices using a combination of experiments, analytical calculations, and simulations. Our study highlights the crucial role of reconfigurability in systems that are governed by enthalpic and entropic principles, from synthetic to biological, and might be useful for creating materials with novel or reconfigurable properties.


title: Commodification of Compute

abstract: The rapid advancements in artificial intelligence, big data analytics, and cloud computing have precipitated an unprecedented demand for computational resources. However, the current landscape of computational resource allocation is characterized by significant inefficiencies, including underutilization and price volatility. This paper addresses these challenges by introducing a novel global platform for the commodification of compute hours, termed the Global Compute Exchange (GCX) (Patent Pending). The GCX leverages blockchain technology and smart contracts to create a secure, transparent, and efficient marketplace for buying and selling computational power. The GCX is built in a layered fashion, comprising Market, App, Clearing, Risk Management, Exchange (Offchain), and Blockchain (Onchain) layers, each ensuring a robust and efficient operation. This platform aims to revolutionize the computational resource market by fostering a decentralized, efficient, and transparent ecosystem that ensures equitable access to computing power, stimulates innovation, and supports diverse user needs on a global scale. By transforming compute hours into a tradable commodity, the GCX seeks to optimize resource utilization, stabilize pricing, and democratize access to computational resources. This paper explores the technological infrastructure, market potential, and societal impact of the GCX, positioning it as a pioneering solution poised to drive the next wave of innovation in commodities and compute.

categories: cs.CE cs.AI cs.CY cs.ET econ.GN q-fin.EC


title: A Short Note on the Love Number of Extremal Reissner-Nordstrom and Kerr-Newman Black Holes

abstract: We provide a simple proof of why the Love number vanishes for extremal Reissner-Nordstrom and Kerr-Newman black holes. The argument is based on a conformal inversion isometry of the spacetime connecting the horizon with large distances.


title: Read Anywhere Pointed: Layout-aware GUI Screen Reading with Tree-of-Lens Grounding

abstract: Graphical User Interfaces (GUIs) are central to our interaction with digital devices. Recently, growing efforts have been made to build models for various GUI understanding tasks. However, these efforts largely overlook an important GUI-referring task: screen reading based on user-indicated points, which we name the Screen Point-and-Read (SPR) task. This task is predominantly handled by rigid accessible screen reading tools, in great need of new models driven by advancements in Multimodal Large Language Models (MLLMs). In this paper, we propose a Tree-of-Lens (ToL) agent, utilizing a novel ToL grounding mechanism, to address the SPR task. Based on the input point coordinate and the corresponding GUI screenshot, our ToL agent constructs a Hierarchical Layout Tree. Based on the tree, our ToL agent not only comprehends the content of the indicated area but also articulates the layout and spatial relationships between elements. Such layout information is crucial for accurately interpreting information on the screen, distinguishing our ToL agent from other screen reading tools. We also thoroughly evaluate the ToL agent against other baselines on a newly proposed SPR benchmark, which includes GUIs from mobile, web, and operating systems. Last but not least, we test the ToL agent on mobile GUI navigation tasks, demonstrating its utility in identifying incorrect actions along the path of agent execution trajectories. Code and data: screen-point-and-read.github.io


title: A rare, strong shock front in the merging cluster SPT-CL J2031-4037

abstract: We present our findings from the new deep Chandra observations ($256$ ks) of the merging galaxy cluster SPT-CL J2031-4037 at $z = 0.34$. Our observations reveal intricate structures seen in a major merger akin to the Bullet Cluster. The X-ray data confirm the existence of two shock fronts, one to the northwest and one to the southeast by directly measuring the temperature jump of gas across the surface brightness edges. The stronger shock front in the northwest has a density jump of $3.16 \pm 0.34$ across the sharp surface brightness edge and Mach number $M = 3.36^{+0.87}_{-0.48}$, which makes this cluster one of the rare merging systems with a Mach number $M > 2$. We use the northwestern shock to compare two models for shock heating - the instant heating model and the Coulomb collisional heating model, and we determine that the temperatures across the shock front agree with the Coulomb collisional model of heating. For the shock front in the southeastern region, we find a density jump of $1.53 \pm 0.14$ and a Mach number of $M = 1.36 ^{+0.09}_{-0.08}$.


title: Equivariant primitive harmonic maps into $k-$symmetric spaces, with applications to Willmore surfaces

abstract: In this note we discuss the construction of equivariant primitive harmonic maps into $k-$symmetric spaces and give many applications to the construction of Willmore surfaces. In particular, examples of $S^1-$equivariant Willmore Moebius strips in $S^3$ are obtained as generalizations of the Lawson minimal Klein Bottles in $S^3$.


title: Phase boundaries promote chemical reactions through localized fluxes

abstract: One of the hypothesized functions of biomolecular condensates is to act as chemical reactors, where chemical reactions can be modulated, i.e. accelerated or slowed down, while substrate molecules enter and products exit from the condensate. Likewise, the components themselves that take part in the architectural integrity of condensates might be modified by active (energy consuming, non-equilibrium) processes, e.g. by ATPase chaperones or by kinases and phosphatases. In this work, we study how the presence of spatial inhomogeneities, such as in the case of liquid-liquid phase separation, affects active chemical reactions and results in the presence of directional flows of matter, which are one of the hallmarks of non-equilibirum processes. We establish the minimal conditions for the existence of such spatial currents, and we furthermore find that these fluxes are maximal at the condensate interface. These results propose that some condensates might be most efficient as chemical factories due to their interfaces rather than their volumes, and could suggest a possible biological reason for the the observed abundance of small non-fusing condensates inside the cell, thus maximizing their surface and the associated fluxes.


title: Analysis of Multistage Feedforward Operational Transconductance Amplifiers using Single-Pole Approximation

abstract: This paper presents analysis results of the operational transconductance amplifiers (OTAs) that combine feedforward paths and multistage amplifiers to achieve high-gain wideband operation as well as frequency compensation. To analyze multistage feedforward OTAs and provide an intuitive design method, the single-pole approximation model is employed for each substage of the OTA. Using the single-pole approximation model, the analysis is carried out from the two-stage OTA to the four-stage OTA in this work.


title: On the stability of fracton gravity

abstract: We study the stability of fracton gravity, a variant of linearized gravity where the gauge symmetry is restricted to longitudinal diffeomorphisms. These transformations can be connected to a spacetime generalization of dipole symmetry, hence the tag fracton. We find that fracton gravity features an instability in the spin-1 sector corresponding to solutions with growing amplitude. This dynamical instability can be removed by tuning the couplings of the theory. Nonetheless, the Hamiltonian for the spin-1 modes remains always unbounded from below when evaluated on the classical solutions. We find no other sources of instability in the spin-2 or spin-0 sectors. We analyze in detail the canonical formulation and the constraints arguing that neither auxiliary fields nor gauge-fixing conditions can be employed to remove the problematic vector modes or stabilize them.


title: OCC-MP: A Max-Pressure framework to prioritize transit and high occupancy vehicles

abstract: Max-pressure (MP) is a decentralized adaptive traffic signal control approach that has been shown to maximize throughput for private vehicles. However, MP-based signal control algorithms do not differentiate the movement of transit vehicles from private vehicles or between high and single-occupancy private vehicles. Prioritizing the movement of transit or other high occupancy vehicles (HOVs) is vital to reduce congestion and improve the reliability and efficiency of transit operations. This study proposes OCC-MP: a novel MP-based algorithm that considers both vehicle queues and passenger occupancies in computing the weights of movements. By weighing movements with higher passenger occupancies more heavily, transit and other HOVs are implicitly provided with priority, while accounting for any negative impacts of that priority on single occupancy vehicles. And, unlike rule-based transit signal priority (TSP) strategies, OCC-MP more naturally also accommodates conflicting transit routes at a signalized intersection and facilitates their movement, even in mixed traffic without dedicated lanes. Simulations on a grid network under varying demands and transit configurations demonstrate the effectiveness of OCC-MP at providing TSP while simultaneously reducing the negative impact imparted onto lower occupancy private vehicles. Furthermore, OCC-MP is shown to have a larger stable region for demand compared to rule-based TSP strategies integrated into the MP framework. The performance of OCC-MP is also shown to be robust to errors in passenger occupancy information from transit vehicles and can be applied when passenger occupancies of private vehicles are not available. Finally, OCC-MP can be applied in a partially connected vehicle (CV) environment when a subset of vehicles is able to provide information to the signal controller, outperforming baseline methods at low CV penetration rates.


title: The Gauss map of a projective foliation

abstract: In this paper, we study the Gauss map of a holomorphic codimension one foliation on the projective space $\mathbb{P}^n$, $n\ge 2$, mainly the case $n=3$. Among other things, we will investigate the case where the Gauss map is birational.


title: AutoPureData: Automated Filtering of Web Data for LLM Fine-tuning

abstract: Up-to-date and reliable Large Language Models (LLMs) are consistently sought after. Typically, LLMs are trained on a fixed dataset and then deployed. However, the training data continually becomes outdated. Enable automatic training of AI using web data involves significant concerns regarding data quality and safety due to bias, spam, and other unsafe or unwanted text. Pure data is essential for producing reliable models. Training a model on impure data may result in undesirable outcomes. This research proposes a system that collects web data and automatically filters out unwanted text with the assistance of existing trusted AI models. In the experiment, a small sample of web data was collected and filtered, demonstrating the system's effectiveness in purifying the data.


title: Stochastic Concept Bottleneck Models

abstract: Concept Bottleneck Models (CBMs) have emerged as a promising interpretable method whose final prediction is based on intermediate, human-understandable concepts rather than the raw input. Through time-consuming manual interventions, a user can correct wrongly predicted concept values to enhance the model's downstream performance. We propose Stochastic Concept Bottleneck Models (SCBMs), a novel approach that models concept dependencies. In SCBMs, a single-concept intervention affects all correlated concepts, thereby improving intervention effectiveness. Unlike previous approaches that model the concept relations via an autoregressive structure, we introduce an explicit, distributional parameterization that allows SCBMs to retain the CBMs' efficient training and inference procedure. Additionally, we leverage the parameterization to derive an effective intervention strategy based on the confidence region. We show empirically on synthetic tabular and natural image datasets that our approach improves intervention effectiveness significantly. Notably, we showcase the versatility and usability of SCBMs by examining a setting with CLIP-inferred concepts, alleviating the need for manual concept annotations.


title: Insights into the Structured Coordination Game with Neutral Options through Simulation

abstract: Coordination games have been of interest to game theorists, economists, and ecologists for many years to study such problems as the emergence of local conventions and the evolution of cooperative behavior. Approaches for understanding the coordination game with discrete structure have been limited in scope, often relying on symmetric reduction of the state space, or other constraints which limit the power of the model to give insight into desired applications. In this paper, we introduce a new way of thinking about equilibria of the structured coordination game with neutral strategies by means of graph partitioning. We begin with a few elementary game theoretical results and then catalogue all the Nash equilibria of the coordination game with neutral options for graphs with seven or fewer vertices. We extend our observations through the use of simulation on larger Erd\H{o}s-R\'enyi random graphs to form the basis for proposing some conjectures about the general relationships among edge density, cluster number, and consensus stability.


title: Preserving quantum information in $f(Q)$ cosmology

abstract: The effects of cosmological expansion on quantum bosonic states are investigated, using quantum information theory. In particular, a generic Bogoliubov transformation of bosonic field modes is considered and the state change on a single mode is regarded as the effect of a quantum channel. Properties and capacities of this channel are thus explored in the framework of $f(Q)$ theories. As immediate result, we obtain that the information on a single-mode state appears better preserved, whenever the number of particles produced by the cosmological expansion is small. Hence, similarly to general relativity, we show that analogous particle productions result even if we consider symmetric teleparallel gravity theories. Thus, we investigate a power law $f(Q)$ model, leaving unaltered the effective gravitational coupling, and minimise the corresponding particle production. We thus show how to optimise the preservation of classical and quantum information, stored in a bosonic mode states in the remote past. Finally, we compare our findings with those obtained in general relativity.


title: Fractal Subsystem Symmetries, Anomalies, Boundaries, and Effective Field Theory

abstract: This work reports an extensive study of three-dimensional topological ordered phases that, in one of the directions behave like usual topological order concerning mobility of excitations, but in the perpendicular plane manifest type-II fracton physics dictated by a fractal subsystem symmetry. We obtain an expression for the ground state degeneracy, which depends intricately on the sizes of the plane, signaling a strong manifestation of ultraviolet/infrared (UV/IR) mixing. The ground state degeneracy can be interpreted in terms of spontaneous/explicit breaking of fractal subsystem symmetries. We also study the boundary physics, which in turn is useful to understand the connection with certain two-dimensional phases. Finally, we derive a low-energy but not long-distance effective field theory, by Higgsing a fractal $U(1)$ symmetry and taking the deep IR limit. This description embodies in a natural way several aspects of the phases, such as the content of generalized global symmetries, the role of fractal symmetries on the mobility of excitations, the anomalies, and the boundary physics.


title: VERISCORE: Evaluating the factuality of verifiable claims in long-form text generation

abstract: Existing metrics for evaluating the factuality of long-form text, such as FACTSCORE (Min et al., 2023) and SAFE (Wei et al., 2024), decompose an input text into "atomic claims" and verify each against a knowledge base like Wikipedia. These metrics are not suitable for most generation tasks because they assume that every claim is verifiable (i.e., can plausibly be proven true or false). We address this issue with VERISCORE, a metric for diverse long-form generation tasks that contain both verifiable and unverifiable content. VERISCORE can be effectively implemented with either closed or fine-tuned open-weight language models, and human evaluation confirms that VERISCORE's extracted claims are more sensible than those from competing methods across eight different long-form tasks. We use VERISCORE to evaluate generations from 16 different models across multiple long-form tasks and find that while GPT-4o is the best-performing model overall, open-weight models such as Mixtral-8x22 are closing the gap. We show that an LM's VERISCORE on one task (e.g., biography generation) does not necessarily correlate to its VERISCORE on a different task (e.g., long-form QA), highlighting the need for expanding factuality evaluation across tasks with varying fact density.


title: The Emergence of Threads: The Birth of a New Social Network

abstract: Threads, a new microblogging platform from Meta, was launched in July 2023. In contrast to prior new platforms, Threads was borne out of an existing parent platform, Instagram, for which all users must already possess an account. This offers a unique opportunity to study platform evolution, to understand how one existing platform can support the "birth" of another. With this in mind, this paper provides an initial exploration of Threads, contrasting it with its parent, Instagram. We compare user behaviour within and across the two social media platforms, focusing on posting frequency, content preferences, and engagement patterns. Utilising a temporal analysis framework, we identify consistent daily posting trends on the parent platform and uncover contrasting behaviours when comparing intra-platform and cross-platform activities. Our findings reveal that Threads engages more with political and AI-related topics, compared to Instagram which focuses more on lifestyle and fashion topics. Our analysis also shows that user activities align more closely on weekends across both platforms. Engagement analysis suggests that users prefer to post about topics that garner more likes and that topic consistency is maintained when users transition from Instagram to Threads. Our research provides insights into user behaviour and offers a basis for future studies on Threads.


title: The $n/2$-bound for locating-dominating sets in subcubic graphs

abstract: The location-domination number is conjectured to be at most half of the order for twin-free graphs with no isolated vertices. We prove that this conjecture holds and is tight for subcubic graphs. We also show that the same upper bound holds for subcubic graphs with open twins of degree 3 and closed twins of any degree, but not for subcubic graphs with open twins of degree 1 or 2. These results then imply that the same upper bound holds for all cubic graphs (with or without twins) except $K_4$ and $K_{3,3}$.


title: Probing self-interacting ultra-high-energy neutrinos with cosmic 21-cm signal

abstract: In this study, we investigate the constraints on secret self-interactions of neutrinos by examining the impact of radiative scattering of ultra-high-energy (UHE) neutrinos. These neutrinos are produced from the decay of superheavy dark matter and interact with the cosmic neutrino background (C$\nu$B). We explore how these interactions influence the 21-cm hydrogen signal during the cosmic dark ages and cosmic dawn, periods relatively free from astrophysical uncertainties, providing a clearer signal for studying non-standard neutrino interactions. By analyzing the global brightness temperature measurements, we constrain the scattering cross-section of UHE self-interacting neutrinos, determining the coupling constant $g$ to be within $\sim 10^{-4}$ to $\sim 10^{-3}$ for neutrino energies in the PeV to EeV range. Interestingly, these constraints are more competitive than those from existing astrophysical and collider experiments. As future 21-cm experiments focus on measuring brightness temperature across a wide range of redshifts from the cosmic dark ages to reionization, using the epoch of 21-cm to probe neutrino properties could provide crucial insights into dark matter and neutrino physics.


title: HuatuoGPT-Vision, Towards Injecting Medical Visual Knowledge into Multimodal LLMs at Scale

abstract: The rapid development of multimodal large language models (MLLMs), such as GPT-4V, has led to significant advancements. However, these models still face challenges in medical multimodal capabilities due to limitations in the quantity and quality of medical vision-text data, stemming from data privacy concerns and high annotation costs. While pioneering approaches utilize PubMed's large-scale, de-identified medical image-text pairs to address these limitations, they still fall short due to inherent data noise. To tackle this, we refined medical image-text pairs from PubMed and employed MLLMs (GPT-4V) in an 'unblinded' capacity to denoise and reformat the data, resulting in the creation of the PubMedVision dataset with 1.3 million medical VQA samples. Our validation demonstrates that: (1) PubMedVision can significantly enhance the medical multimodal capabilities of current MLLMs, showing significant improvement in benchmarks including the MMMU Health & Medicine track; (2) manual checks by medical experts and empirical results validate the superior data quality of our dataset compared to other data construction methods. Using PubMedVision, we train a 34B medical MLLM HuatuoGPT-Vision, which shows superior performance in medical multimodal scenarios among open-source MLLMs.


title: Grounded and Transparent Response Generation for Conversational Information-Seeking Systems

abstract: While previous conversational information-seeking (CIS) research has focused on passage retrieval, reranking, and query rewriting, the challenge of synthesizing retrieved information into coherent responses remains. The proposed research delves into the intricacies of response generation in CIS systems. Open-ended information-seeking dialogues introduce multiple challenges that may lead to potential pitfalls in system responses. The study focuses on generating responses grounded in the retrieved passages and being transparent about the system's limitations. Specific research questions revolve around obtaining confidence-enriched information nuggets, automatic detection of incomplete or incorrect responses, generating responses communicating the system's limitations, and evaluating enhanced responses. By addressing these research tasks the study aspires to contribute to the advancement of conversational response generation, fostering more trustworthy interactions in CIS dialogues, and paving the way for grounded and transparent systems to meet users' needs in an information-driven world.


title: A change-point problem for $m$-dependent multivariate random field

abstract: In this paper, we consider a change-point problem for a centered, stationary and $m$-dependent multivariate random field. Under the distribution free assumption, a change-point test using CUSUM statistic is proposed to detect anomalies within a multidimensional random field, controlling the false positive rate as well as the Family-Wise Error in the multiple hypotheses testing context.


title: PhysioLLM: Supporting Personalized Health Insights with Wearables and Large Language Models

abstract: We present PhysioLLM, an interactive system that leverages large language models (LLMs) to provide personalized health understanding and exploration by integrating physiological data from wearables with contextual information. Unlike commercial health apps for wearables, our system offers a comprehensive statistical analysis component that discovers correlations and trends in user data, allowing users to ask questions in natural language and receive generated personalized insights, and guides them to develop actionable goals. As a case study, we focus on improving sleep quality, given its measurability through physiological data and its importance to general well-being. Through a user study with 24 Fitbit watch users, we demonstrate that PhysioLLM outperforms both the Fitbit App alone and a generic LLM chatbot in facilitating a deeper, personalized understanding of health data and supporting actionable steps toward personal health goals.


title: Interacting ultralight dark matter and dark energy and fits to cosmological data in a field theory approach

abstract: The description of dark matter as a pressure-less fluid and of dark energy as a cosmological constant, both minimally coupled to gravity, constitutes the basis of the concordance $\Lambda\text{CDM}$ model. However, the concordance model is based on using equations of motion directly for the fluids with constraints placed on their sources, and lacks an underlying Lagrangian. In this work, we propose a Lagrangian model of two spin zero fields describing dark energy and dark matter with an interaction term between the two along with self-interactions. We study the background evolution of the fields as well as their linear perturbations, suggesting an alternative to $\Lambda$CDM with dark matter and dark energy being fundamental dynamical fields. The parameters of the model are extracted using a Bayesian inference tool based on multiple cosmological data sets which include those of Planck (with lensing), BAO, Pantheon, SH0ES, and WiggleZ. Using these data, we set constraints on the dark matter mass and the interaction strengths. Furthermore, we find that the model is able to alleviate the Hubble tension for some data sets while also resolving the $S_8$ tension.


title: Secure quantum-enhanced measurements on a network of sensors

abstract: Two-party secure quantum remote sensing (SQRS) protocols enable quantum-enhanced measurements at remote locations with guaranteed security against eavesdroppers. This idea can be scaled up to networks of nodes where one party can directly measure functions of parameters at the different nodes using entangled states. However, the security on such networks decreases exponentially with the number of nodes. Here we show how this problem can be overcome in a hybrid protocol that utilises both entangled and separable states to achieve quantum-enhanced measurement precision and security on networks of any size.


title: Mass composition of ultra-high energy cosmic rays from distribution of their arrival directions with the Telescope Array

abstract: We use a new method to estimate the injected mass composition of ultrahigh cosmic rays (UHECRs) at energies higher than 10 EeV. The method is based on comparison of the energy-dependent distribution of cosmic ray arrival directions as measured by the Telescope Array experiment (TA) with that calculated in a given putative model of UHECR under the assumption that sources trace the large-scale structure (LSS) of the Universe. As we report in the companion letter, the TA data show large deflections with respect to the LSS which can be explained, assuming small extra-galactic magnetic fields (EGMF), by an intermediate composition changing to a heavy one (iron) in the highest energy bin. Here we show that these results are robust to uncertainties in UHECR injection spectra, the energy scale of the experiment and galactic magnetic fields (GMF). The assumption of weak EGMF, however, strongly affects this interpretation at all but the highest energies E > 100 EeV, where the remarkable isotropy of the data implies a heavy injected composition even in the case of strong EGMF. This result also holds if UHECR sources are as rare as $2 \times 10^{-5}$ Mpc$^{-3}$, that is the conservative lower limit for the source number density.