title: Covering a Graph with Minimal Local Sets

abstract: Local sets, a graph structure invariant under local complementation, have been originally introduced in the context of quantum computing for the study of quantum entanglement within the so-called graph state formalism. A local set in a graph is made of a non-empty set of vertices together with its odd neighborhood. We show that any graph can be covered by minimal local sets, i.e. that every vertex is contained in at least one local set that is minimal by inclusion. More precisely, we introduce an algorithm for finding a minimal local set cover in polynomial time. This result is proved by exploring the link between local sets and cut-rank. We prove some additional results on minimal local sets: we give tight bounds on their size, and we show that there can be exponentially many of them in a graph. Finally, we provide an extension of our definitions and our main result to $q$-multigraphs, the graphical counterpart of quantum qudit graph states.


title: Discovery of the first olivine-dominated A-type asteroid family

abstract: The classical theory of differentiation states that due to the heat generated by the decay of radioactive elements, some asteroids form an iron core, an olivine-rich mantle, and a crust. The collisional breakup of these differentiated bodies is expected to lead to exposed mantle fragments, creating families of newly-formed asteroids. Among these new objects, some are expected to show an olivine-rich composition in spectroscopic observations. However, several years of spectrophotometric surveys have led to the conclusion that olivine-rich asteroids are rare in the asteroid main belt, and no significant concentration of olivine-rich bodies in any asteroid family has been detected to date. Using ESA's Gaia DR3 reflectance spectra, we show that the family (36256) 1999 XT17 presents a prominence of objects that are likely to present an olivine-rich composition (A-type spectroscopic class). If S-complex asteroids as the second most prominent spectroscopic class in the family are real family members, then arguably the 1999 XT17 family has originated from the break-up of a partially differentiated parent body. Alternatively, if the S-complex asteroids are interlopers, then the 1999 XT17 family could have originated from the breakup of an olivine-rich body. This body could have been part of the mantle of a differentiated planetesimal, which may have broken up in a different region of the Solar System, and one of its fragments (i.e. the parent body of the 1999 XT17 family) could have been dynamically implanted in the main belt.


title: Gauss-Newton Natural Gradient Descent for Physics-Informed Computational Fluid Dynamics

abstract: We propose Gauss-Newton's method in function space for the solution of the Navier-Stokes equations in the physics-informed neural network (PINN) framework. Upon discretization, this yields a natural gradient method that provably mimics the function space dynamics. Our computational results demonstrate close to single-precision accuracy measured in relative $L^2$ norm on a number of benchmark problems. To the best of our knowledge, this constitutes the first contribution in the PINN literature that solves the Navier-Stokes equations to this degree of accuracy. Finally, we show that given a suitable integral discretization, the proposed optimization algorithm agrees with Gauss-Newton's method in parameter space. This allows a matrix-free formulation enabling efficient scalability to large network sizes.


title: Physics-informed MeshGraphNets (PI-MGNs): Neural finite element solvers for non-stationary and nonlinear simulations on arbitrary meshes

abstract: Engineering components must meet increasing technological demands in ever shorter development cycles. To face these challenges, a holistic approach is essential that allows for the concurrent development of part design, material system and manufacturing process. Current approaches employ numerical simulations, which however quickly becomes computation-intensive, especially for iterative optimization. Data-driven machine learning methods can be used to replace time- and resource-intensive numerical simulations. In particular, MeshGraphNets (MGNs) have shown promising results. They enable fast and accurate predictions on unseen mesh geometries while being fully differentiable for optimization. However, these models rely on large amounts of expensive training data, such as numerical simulations. Physics-informed neural networks (PINNs) offer an opportunity to train neural networks with partial differential equations instead of labeled data, but have not been extended yet to handle time-dependent simulations of arbitrary meshes. This work introduces PI-MGNs, a hybrid approach that combines PINNs and MGNs to quickly and accurately solve non-stationary and nonlinear partial differential equations (PDEs) on arbitrary meshes. The method is exemplified for thermal process simulations of unseen parts with inhomogeneous material distribution. Further results show that the model scales well to large and complex meshes, although it is trained on small generic meshes only.


title: Considerations on the relaxation time in shear-driven jamming

abstract: We study the jamming transition in a model of elastic particles under shear at zero temperature, with a focus on the relaxation time $\tau_1$. This relaxation time is from two-step simulations where the first step is the ordinary shearing simulation and the second step is the relaxation of the energy after stopping the shearing. $\tau_1$ is determined from the final exponential decay of the energy. Such relaxations are done with many different starting configuration generated by a long shearing simulation in which the shear varible $\gamma$ slowly increases. We study the correlations of both $\tau_1$, determined from the decay, and the pressure, $p_1$, from the starting configurations as a function of the difference in $\gamma$. We find that the correlations of $p_1$ are more long lived than the ones of $\tau_1$ and find that the reason for this is that the individual $\tau_1$ is controlled both by $p_1$ of the starting configuration and a random contribution which depends on the relaxation path length -- the average distance moved by the particles during the relaxation. We further conclude that it is $\gammatau$, determined from the correlations of $\tau_1$, which is the relevant one when the aim is to generate data that may be used for determining the critical exponent that characterizes the jamming transition.


title: Energy-saving fast-forward scaling

abstract: We propose energy-saving fast-forward scaling. Fast-forward scaling is a method which enables us to speedup (or slowdown) given dynamics in a certain measurement basis. We introduce energy costs of fast-forward scaling, and find possibility of energy-saving speedup for time-independent measurement bases. As concrete examples, we show such energy-saving fast-forward scaling in a two-level system and quantum annealing of a general Ising spin glass. We also discuss influence of a time-dependent measurement basis, and give a remedy for unwanted energy costs. The present results pave the way for realization of energy-efficient quantum technologies.


title: Language-Driven Engineering An Interdisciplinary Software Development Paradigm

abstract: We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex applications using their individual, purpose-specific modeling language. Our illustration includes seven graphical Integrated Modeling Environments (IMEs) that support full code generation, as well as four browser-based applications that were modeled and then fully automatically generated and produced using DIME, our most complex graphical IME. While the seven IMEs were chosen to illustrate the types of languages we support with our Language-Driven Engineering (LDE) approach, the four DIME products were chosen to give an impression of the power of our LDE-generated IMEs. In fact, Equinocs, Springer Nature's future editorial system for proceedings, is also being fully automatically generated and then deployed at their Dordrecht site using a deployment pipeline generated with Rig, one of the IMEs presented. Our technology is open source and the products presented are currently in use.


title: LongHeads: Multi-Head Attention is Secretly a Long Context Processor

abstract: Large language models (LLMs) have achieved impressive performance in numerous domains but often struggle to process lengthy inputs effectively and efficiently due to limited length generalization and attention's quadratic computational demands. Many sought to mitigate this by restricting the attention window within the pre-trained length. However, these methods introduce new issues such as ignoring the middle context and requiring additional training. To address these problems, we propose LongHeads, a training-free framework that enhances LLM's long context ability by unlocking multi-head attention's untapped potential. Instead of allowing each head to attend to the full sentence, which struggles with generalizing to longer sequences due to out-of-distribution (OOD) issues, we allow each head to process in-distribution length by selecting and attending to important context chunks. To this end, we propose a chunk selection strategy that relies on the inherent correlation between the query and the key representations, efficiently distributing context chunks to different heads. In this way, each head ensures it can effectively process attended tokens within the trained length, while different heads in different layers can collectively process longer contexts. LongHeads works efficiently in linear time, fits seamlessly with many LLMs that use relative positional encoding. LongHeads achieves 100% accuracy at the 128k length on passkey retrieval task, verifying LongHeads's efficacy in extending the usable context window for existing models. We release our code at https://github.com/LuLuLuyi/LongHeads .


title: Uncertainty, Calibration, and Membership Inference Attacks: An Information-Theoretic Perspective

abstract: In a membership inference attack (MIA), an attacker exploits the overconfidence exhibited by typical machine learning models to determine whether a specific data point was used to train a target model. In this paper, we analyze the performance of the state-of-the-art likelihood ratio attack (LiRA) within an information-theoretical framework that allows the investigation of the impact of the aleatoric uncertainty in the true data generation process, of the epistemic uncertainty caused by a limited training data set, and of the calibration level of the target model. We compare three different settings, in which the attacker receives decreasingly informative feedback from the target model: confidence vector (CV) disclosure, in which the output probability vector is released; true label confidence (TLC) disclosure, in which only the probability assigned to the true label is made available by the model; and decision set (DS) disclosure, in which an adaptive prediction set is produced as in conformal prediction. We derive bounds on the advantage of an MIA adversary with the aim of offering insights into the impact of uncertainty and calibration on the effectiveness of MIAs. Simulation results demonstrate that the derived analytical bounds predict well the effectiveness of MIAs.


title: Beamforming Optimization for Active RIS-Aided Multiuser Communications With Hardware Impairments

abstract: In this paper, we consider an active reconfigurable intelligent surface (RIS) to assist the multiuser downlink transmission in the presence of practical hardware impairments (HWIs), including the HWIs at the transceivers and the phase noise at the active RIS. The active RIS is deployed to amplify the incident signals to alleviate the multiplicative fading effect, which is a limitation in the conventional passive RIS-aided wireless systems. We aim to maximize the sum rate through jointly designing the transmit beamforming at the base station (BS), the amplification factors and the phase shifts at the active RIS. To tackle this challenging optimization problem effectively, we decouple it into two tractable subproblems. Subsequently, each subproblem is transformed into a second order cone programming problem. The block coordinate descent framework is applied to tackle them, where the transmit beamforming and the reflection coefficients are alternately designed. In addition, another efficient algorithm is presented to reduce the computational complexity. Specifically, by exploiting the majorization-minimization approach, each subproblem is reformulated into a tractable surrogate problem, whose closed-form solutions are obtained by Lagrange dual decomposition approach and element-wise alternating sequential optimization method. Simulation results validate the effectiveness of our developed algorithms, and reveal that the HWIs significantly limit the system performance of active RIS-empowered wireless communications. Furthermore, the active RIS noticeably boosts the sum rate under the same total power budget, compared with the passive RIS.


title: Towards Uncovering How Large Language Model Works: An Explainability Perspective

abstract: Large language models (LLMs) have led to breakthroughs in language tasks, yet the internal mechanisms that enable their remarkable generalization and reasoning abilities remain opaque. This lack of transparency presents challenges such as hallucinations, toxicity, and misalignment with human values, hindering the safe and beneficial deployment of LLMs. This paper aims to uncover the mechanisms underlying LLM functionality through the lens of explainability. First, we review how knowledge is architecturally composed within LLMs and encoded in their internal parameters via mechanistic interpretability techniques. Then, we summarize how knowledge is embedded in LLM representations by leveraging probing techniques and representation engineering. Additionally, we investigate the training dynamics through a mechanistic perspective to explain phenomena such as grokking and memorization. Lastly, we explore how the insights gained from these explanations can enhance LLM performance through model editing, improve efficiency through pruning, and better align with human values.


title: Multi-Cultural Commonsense Knowledge Distillation

abstract: Despite recent progress, large language models (LLMs) still face the challenge of appropriately reacting to the intricacies of social and cultural conventions. This paper presents MANGO, a methodology for distilling high-accuracy, high-recall assertions of cultural knowledge. We judiciously and iteratively prompt LLMs for this purpose from two entry points, concepts and cultures. Outputs are consolidated via clustering and generative summarization. Running the MANGO method with GPT-3.5 as underlying LLM yields 167K high-accuracy assertions for 30K concepts and 11K cultures, surpassing prior resources by a large margin. For extrinsic evaluation, we explore augmenting dialogue systems with cultural knowledge assertions. We find that adding knowledge from MANGO improves the overall quality, specificity, and cultural sensitivity of dialogue responses, as judged by human annotators. Data and code are available for download.


title: Strong fractionation of deuterium and helium in sub-Neptune atmospheres along the radius valley

abstract: We simulate atmospheric fractionation in escaping planetary atmospheres using IsoFATE, a new open-source numerical model. We expand the parameter space studied previously to planets with tenuous atmospheres that exhibit the greatest helium and deuterium enhancement. We simulate the effects of EUV-driven photoevaporation and core-powered mass loss on deuterium-hydrogen and helium-hydrogen fractionation of sub-Neptune atmospheres around G, K, and M stars. Our simulations predict prominent populations of deuterium- and helium-enhanced planets along the upper edge of the radius valley with mean equilibrium temperatures of 370 K and as low as 150 K across stellar types. We find that fractionation is mechanism-dependent, so constraining He/H and D/H abundances in sub-Neptune atmospheres offers a unique strategy to investigate the origin of the radius valley around low-mass stars. Fractionation is also strongly dependent on retained atmospheric mass, offering a proxy for planetary surface pressure as well as a way to distinguish between desiccated enveloped terrestrials and water worlds. Deuterium-enhanced planets tend to be helium-dominated and CH4-depleted, providing a promising strategy to observe HDO in the 3.7 um window. We present a list of promising targets for observational follow-up.


title: Python is Not Always the Best Choice: Embracing Multilingual Program of Thoughts

abstract: Program of Thoughts (PoT) is an approach characterized by its executable intermediate steps, which ensure the accuracy of the logical calculations in the reasoning process. Currently, PoT primarily uses Python. However, relying solely on a single language may result in suboptimal solutions and overlook the potential benefits of other programming languages. In this paper, we conduct comprehensive experiments on the programming languages used in PoT and find that no single language consistently delivers optimal performance across all tasks and models. The effectiveness of each language varies depending on the specific scenarios. Inspired by this, we propose a task and model agnostic approach called MultiPoT, which harnesses strength and diversity from various languages. Experimental results reveal that it significantly outperforms Python Self-Consistency. Furthermore, it achieves comparable or superior performance compared to the best monolingual PoT in almost all tasks across all models. In particular, MultiPoT achieves more than 4.6% improvement on average on ChatGPT (gpt-3.5-turbo-0701).


title: Understanding inner-shell excitations in molecules through spectroscopy of the 4f hole states of YbF

abstract: Molecules containing a lanthanide atom have sets of electronic states arising from excitation of an inner-shell electron. These states have received little attention, but are thought to play an important role in laser cooling of such molecules and may be a useful resource for testing fundamental physics. We study a series of inner-shell excited states in YbF using resonance-enhanced multi-photon ionisation spectroscopy. We investigate the excited states of lowest energy, 8474, 9013 and 9090 cm$^{-1}$ above the ground state, all corresponding to the configuration 4f$^{13}$6s$^{2}$ ${}^{2}F_{7/2}$ of the Yb$^+$ ion. They are metastable, since they have no electric dipole allowed transitions to the ground state. We also characterize a state at 31050 cm$^{-1}$ that is easily excited from both the ground and metastable states, which makes it especially useful for this spectroscopic study. Finally, we study a state at 48729 cm$^{-1}$, which is above the ionization limit and features strong auto-ionizing resonances that prove useful for efficient detection of the molecules and for identifying the rotational quantum number of each line in the spectrum. We resolve the rotational structures of all these states and find that they can all be described by a very simple model based on Hund's case (c). Our study provides information necessary for laser slowing and magneto-optical trapping of YbF, which is an important species for testing fundamental physics. We also consider whether the low-lying inner-shell states may themselves be useful as probes of the electron's electric dipole moment or of varying fundamental constants, since they are long-lived states in a laser-coolable molecule featuring closely-spaced levels of opposite parity.


title: Exploring Precision and Recall to assess the quality and diversity of LLMs

abstract: We introduce a novel evaluation framework for Large Language Models (LLMs) such as \textsc{Llama-2} and \textsc{Mistral}, focusing on importing Precision and Recall metrics from image generation to text generation. This approach allows for a nuanced assessment of the quality and diversity of generated text without the need for aligned corpora. By conducting a comprehensive evaluation of state-of-the-art language models, the study reveals new insights into their performance on open-ended generation tasks, which are not adequately captured by traditional benchmarks. The findings highlight a trade-off between the quality and diversity of generated samples, particularly when models are fine-tuned on instruction dataset or with human feedback. This work extends the toolkit for distribution-based NLP evaluation, offering insights into the practical capabilities and challenges that current LLMs face in generating diverse and high-quality text. We release our code and data.


title: Exact dg categories I : Foundations

abstract: We introduce the notion of exact dg category, which provides a differential graded enhancement of Nakaoka--Palu's notion of extriangulated category. We give a definition in complete analogy with Quillen's but where the category of kernel-cokernel pairs is replaced with a more sophisticated homotopy category. We introduce the notion of stable dg category, and prove that the $H^0$-category of an exact dg category $\mathcal{A}$ is triangulated if and only if $\mathcal{A}$ is stable. We illustrate our theory with several examples including the homotopy category of two-term complexes and Amiot's fundamental domain for generalized cluster categories.


title: Unlink to Unlearn: Simplifying Edge Unlearning in GNNs

abstract: As concerns over data privacy intensify, unlearning in Graph Neural Networks (GNNs) has emerged as a prominent research frontier in academia. This concept is pivotal in enforcing the \textit{right to be forgotten}, which entails the selective removal of specific data from trained GNNs upon user request. Our research focuses on edge unlearning, a process of particular relevance to real-world applications. Current state-of-the-art approaches like GNNDelete can eliminate the influence of specific edges yet suffer from \textit{over-forgetting}, which means the unlearning process inadvertently removes excessive information beyond needed, leading to a significant performance decline for remaining edges. Our analysis identifies the loss functions of GNNDelete as the primary source of over-forgetting and also suggests that loss functions may be redundant for effective edge unlearning. Building on these insights, we simplify GNNDelete to develop \textbf{Unlink to Unlearn} (UtU), a novel method that facilitates unlearning exclusively through unlinking the forget edges from graph structure. Our extensive experiments demonstrate that UtU delivers privacy protection on par with that of a retrained model while preserving high accuracy in downstream tasks, by upholding over 97.3\% of the retrained model's privacy protection capabilities and 99.8\% of its link prediction accuracy. Meanwhile, UtU requires only constant computational demands, underscoring its advantage as a highly lightweight and practical edge unlearning solution.


title: Dark Energy Survey: A 2.1% measurement of the angular Baryonic Acoustic Oscillation scale at redshift $z_{\rm eff}$=0.85 from the final dataset

abstract: We present the angular diameter distance measurement obtained with the Baryonic Acoustic Oscillation feature from galaxy clustering in the completed Dark Energy Survey, consisting of six years (Y6) of observations. We use the Y6 BAO galaxy sample, optimized for BAO science in the redshift range 0.6<$z$<1.2, with an effective redshift at $z_{\rm eff}$=0.85 and split into six tomographic bins. The sample has nearly 16 million galaxies over 4,273 square degrees. Our consensus measurement constrains the ratio of the angular distance to sound horizon scale to $D_M(z_{\rm eff})/r_d$ = 19.51$\pm$0.41 (at 68.3% confidence interval), resulting from comparing the BAO position in our data to that predicted by Planck $\Lambda$CDM via the BAO shift parameter $\alpha=(D_M/r_d)/(D_M/r_d)_{\rm Planck}$. To achieve this, the BAO shift is measured with three different methods, Angular Correlation Function (ACF), Angular Power Spectrum (APS), and Projected Correlation Function (PCF) obtaining $\alpha=$ 0.952$\pm$0.023, 0.962$\pm$0.022, and 0.955$\pm$0.020, respectively, which we combine to $\alpha=$ 0.957$\pm$0.020, including systematic errors. When compared with the $\Lambda$CDM model that best fits Planck data, this measurement is found to be 4.3% and 2.1$\sigma$ below the angular BAO scale predicted. To date, it represents the most precise angular BAO measurement at $z$>0.75 from any survey and the most precise measurement at any redshift from photometric surveys. The analysis was performed blinded to the BAO position and it is shown to be robust against analysis choices, data removal, redshift calibrations and observational systematics.


title: Dark Energy Survey: Galaxy Sample for the Baryonic Acoustic Oscillation Measurement from the Final Dataset

abstract: In this paper we present and validate the galaxy sample used for the analysis of the baryon acoustic oscillation (BAO) signal in the Dark Energy Survey (DES) Y6 data. The definition is based on a color and redshift-dependent magnitude cut optimized to select galaxies at redshifts higher than 0.6, while ensuring a high-quality photo-$z$ determination. The optimization is performed using a Fisher forecast algorithm, finding the optimal $i$-magnitude cut to be given by $i$<19.64+2.894$z_{\rm ph}$. For the optimal sample, we forecast an increase in precision in the BAO measurement of $\sim$25% with respect to the Y3 analysis. Our BAO sample has a total of 15,937,556 galaxies in the redshift range 0.6<$z_{\rm ph}$<1.2, and its angular mask covers 4,273.42 deg${}^2$ to a depth of $i$=22.5. We validate its redshift distributions with three different methods: directional neighborhood fitting algorithm (DNF), which is our primary photo-$z$ estimation; direct calibration with spectroscopic redshifts from VIPERS; and clustering redshift using SDSS galaxies. The fiducial redshift distribution is a combination of these three techniques performed by modifying the mean and width of the DNF distributions to match those of VIPERS and clustering redshift. In this paper we also describe the methodology used to mitigate the effect of observational systematics, which is analogous to the one used in the Y3 analysis. This paper is one of the two dedicated to the analysis of the BAO signal in DES Y6. In its companion paper, we present the angular diameter distance constraints obtained through the fitting to the BAO scale.


title: Question-Instructed Visual Descriptions for Zero-Shot Video Question Answering

abstract: We present Q-ViD, a simple approach for video question answering (video QA), that unlike prior methods, which are based on complex architectures, computationally expensive pipelines or use closed models like GPTs, Q-ViD relies on a single instruction-aware open vision-language model (InstructBLIP) to tackle videoQA using frame descriptions. Specifically, we create captioning instruction prompts that rely on the target questions about the videos and leverage InstructBLIP to obtain video frame captions that are useful to the task at hand. Subsequently, we form descriptions of the whole video using the question-dependent frame captions, and feed that information, along with a question-answering prompt, to a large language model (LLM). The LLM is our reasoning module, and performs the final step of multiple-choice QA. Our simple Q-ViD framework achieves competitive or even higher performances than current state of the art models on a diverse range of videoQA benchmarks, including NExT-QA, STAR, How2QA, TVQA and IntentQA.


title: Rethinking Human-like Translation Strategy: Integrating Drift-Diffusion Model with Large Language Models for Machine Translation

abstract: Large language models (LLMs) have demonstrated promising potential in various downstream tasks, including machine translation. However, prior work on LLM-based machine translation has mainly focused on better utilizing training data, demonstrations, or pre-defined and universal knowledge to improve performance, with a lack of consideration of decision-making like human translators. In this paper, we incorporate Thinker with the Drift-Diffusion Model (Thinker-DDM) to address this issue. We then redefine the Drift-Diffusion process to emulate human translators' dynamic decision-making under constrained resources. We conduct extensive experiments under the high-resource, low-resource, and commonsense translation settings using the WMT22 and CommonMT datasets, in which Thinker-DDM outperforms baselines in the first two scenarios. We also perform additional analysis and evaluation on commonsense translation to illustrate the high effectiveness and efficacy of the proposed method.


title: Resonance of Gravitational Axions-like Particles

abstract: The motion of gravitational axion-like particles (ALP) around a Kerr black hole is analyzed, paying attention to resonance and distribution of spectral radiation. We first discuss the computation of $\sqrt{g}{\tilde R}_{\mu \nu \rho \rho \sigma}R^{\mu \nu \rho \sigma}$ and its implications with Pontryagin's theorem and a detailed analysis of Teukolsky's master equation is done. After carefully analyzing the Teukolsky master equation, we show that this system exhibits resonance when $\omega \gtrsim \mu$ where $\mu$ is the mass of the ALP. A skew-normal distribution can approximate the energy distribution, and we can calculate the mean lifetime of the resonance for black holes with masses between 100 to 1000 $M_{\odot}$. This range corresponds to a duration between $10^{-1}$s and $10^{41}$s, the observation range used in LIGO data.


title: Does Twinning Vehicular Networks Enhance Their Performance in Dense Areas?

abstract: This paper investigates the potential of Digital Twins (DTs) to enhance network performance in densely populated urban areas, specifically focusing on vehicular networks. The study comprises two phases. In Phase I, we utilize traffic data and AI clustering to identify critical locations, particularly in crowded urban areas with high accident rates. In Phase II, we evaluate the advantages of twinning vehicular networks through three deployment scenarios: edge-based twin, cloud-based twin, and hybrid-based twin. Our analysis demonstrates that twinning significantly reduces network delays, with virtual twins outperforming physical networks. Virtual twins maintain low delays even with increased vehicle density, such as 15.05 seconds for 300 vehicles. Moreover, they exhibit faster computational speeds, with cloud-based twins being 1.7 times faster than edge twins in certain scenarios. These findings provide insights for efficient vehicular communication and underscore the potential of virtual twins in enhancing vehicular networks in crowded areas while emphasizing the importance of considering real-world factors when making deployment decisions.


title: The Quantum Ratio

abstract: The concept of {\it quantum ratio} emerged in the recent efforts to understand how Newton's equations appear for the center of mass (CM) of an isolated macroscopic body at finite body-temperatures, as the first approximation to quantum-mechanical equations. It is defined as $Q\equiv R_q/L_0$, where the quantum fluctuation range $R_q$ is the spatial extension of the pure-state CM wave function, whereas $L_0$ stands for the body's linear size (the space support of the internal, bound-state wave function). The two cases $R_q /L_0 \lesssim 1$ or $R_q/ L_0 \gg 1$, roughly correspond to the body's CM behaving classically or quantum mechanically, respectively. In the present note we elaborate more on this concept, illustrating it in several examples. An important notion following from introduction of the quantum ratio is that the elementary particles (thus the electron and the photon) are quantum mechanical, even when the environment-induced decoherence turns them into a mixed state. Decoherence and classical state should not be identified. This simple observation, further illustrated by the consideration of a few atomic or molecular processes, may have significant implications on the way quantum mechanics works in biological systems.


title: A theorem of Strichartz for multipliers on homogeneous trees

abstract: A theorem of Strichartz states that if a uniformly bounded bi-infinite sequence of functions on the Euclidean spaces, satisfies the condition that the Laplacian acting on a function in this sequence yields the next one, then each function in this sequence is an eigenfunction of the Laplacian. We consider a generalization of this result for homogeneous trees, where we replace bounded functions by tempered distributions and the Laplacian by multiplier operators acting on the tempered distributions. After establishing the result in this general context, we narrow our focus to specific cases, which includes important examples of multiplier operators such as heat and Schr\"odinger operator, ball and sphere averages of function.


title: Asymptotic analysis of mixing in stratified turbulent flows, and the conditions for an inertial sub-range

abstract: In an important study, Maffioli et al. (J. Fluid Mech., Vol. 794 , 2016) used a scaling analysis to predict that in the weakly stratified flow regime $Fr_h\gg1$ ($Fr_h$ is the horizontal Froude number), the mixing coefficient $\Gamma$ (defined as the ratio of the dissipation rates of potential to kinetic energy) scales as $\Gamma\sim O(Fr_h^{-2})$. Direct numerical simulations confirmed this result, and also indicated that for the strongly stratified regime $Fr_h\ll 1$, $\Gamma\sim O(1)$. Furthermore, the study argued that $\Gamma$ does not depend on the buoyancy Reynolds number $Re_b$, but only on $Fr_h$. We present an asymptotic analysis to predict theoretically how $\Gamma$ should behave for $Fr_h\ll1$ and $Fr_h\gg1$ in the limit $Re_b\to\infty$. To correctly handle the singular limit $Re_b\to\infty$ we perform the asymptotic analysis on the filtered Boussinesq-Navier-Stokes equations, and demonstrate the precise sense in which the inviscid scaling analysis of Billant \& Chomaz (Phys. Fluids, vol. 13, 1645-1651, 2001) applies to viscous flows with $Re_b\to\infty$. The analysis yields $\Gamma\sim O(Fr_h^{-2}(1+Fr_h^{-2}))$ for $Fr_h\gg1$ and $\Gamma\sim O(1+Fr_h^{2})$ for $Fr_h\ll 1$, providing a theoretical basis for the numerical observation made by Maffioli et al, as well as predicting the sub-leading behavior. Our analysis also shows that the Ozmidov scale $L_O$ does not describe the scale below which buoyancy forces are sub-leading, which is instead given by $O(Fr_h^{1/2} L_O)$, and that the condition for there to be an inertial sub-range when $Fr_h\ll 1$ is not $Re_b\gg1$, but the more restrictive condition $Re_b\gg Fr_h^{-4/3}$.


title: AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

abstract: Heuristics are crucial in SAT solvers, but no heuristic rules are suitable for all SAT problems. Therefore, it is helpful to refine specific heuristics for specific problems. In this context, we present AutoSAT, a novel framework for automatically optimizing heuristics in SAT solvers. AutoSAT is based on Large Language Models (LLMs) which is able to autonomously generate codes, conduct evaluation, and then utilize feedback to further optimize heuristics, thereby reducing human intervention and enhancing solver capabilities. AutoSAT operates on a plug-and-play basis, eliminating the need for extensive enterprise and model training, and fosters a Multi-Agent-based collaborative process with fault tolerance to ensure robust heuristic optimization. We implement AutoSAT on a lightweight Conflict-Driven Clause Learning (CDCL) solver EasySAT (the volume of EasySAT is about one-fiftieth of the State-of-the-Art hybrid solver Kissat) and extensive experiments on seven datasets demonstrate its superior performance. Out of the seven testing datasets, AutoSAT shows a superior performance to Kissat in two datasets and displays an overall similar performance in three datasets. Some heuristics generated by AutoSAT are even counter-intuitive but are very effective.


title: Elementary considerations on gravitational waves from hyperbolic encounters

abstract: We examine the main properties of gravitational waves (GWs) emitted by transient hyperbolic encounters of black holes. We begin by building the set of basic variables most relevant to setting our problem. After exposing the ranges of masses and eccentricities accessible at a given GW frequency, we analyze the dependence of the gravitational strain on those parameters and determine the trajectories resulting in the most sizeable strains. Some non-trivial behaviors are unveiled, showing that highly eccentric events can be more easily detectable than parabolic ones. In particular, we underline the correct way to extend formulas from hyperbolic to parabolic orbits. Our reasonings are as general as possible, and we make a point of explaining our considerations pedagogically.


title: Semi-algebraic Geometry and generic Hamiltonian stability

abstract: The steepness property is a local geometric transversality condition on the gradient of a $C^2$-function which is fundamental in order to ensure the stability of sufficiently-regular nearly-integrable Hamiltonian systems over long timespans. Steep functions were originally introduced by Nekhoroshev, who also proved their genericity. Namely, given a pair of positive integers $r,n$, with $r$ high enough, and a point $I_0\in \mathbb{R}^n$, the Taylor polynomials of those $C^{2r-1}$ functions which are not steep around $I_0$ are contained in a semi-algebraic set of positive codimension in the space of polynomials of $n$ variables and degree bounded by $r$. The demonstration of this result was originally published in 1973 and has been hardly studied ever since, probably due to the fact that it involves no arguments of dynamical systems: it makes use of quantitative reasonings of real-algebraic geometry and complex analysis. The aim of the present work is two-fold. In the first part, the original proof of the genericity of steepness is rewritten by making use of modern tools of real-algebraic geometry: this allows to clarify the original reasonings, that were obscure or sketchy in many parts. In particular, Yomdin's Lemma on the analytic reparametrization of semi-algebraic sets, together with non trivial estimates on the codimension of certain algebraic varieties, turn out to be the fundamental ingredients to prove the genericity of steepness. The second part of this work is entirely new and is devoted to the formulation of explicit algebraic criteria to check steepness of any given sufficiently regular function, which constitutes a very important result for applications, as the original definition of steepness is not constructive. These criteria involve both the derivatives of the studied function up to any given order and external real parameters that, generically, belong to compact sets.


title: Application of an adaptive model hierarchy to parametrized optimal control problems

abstract: In this contribution we apply an adaptive model hierarchy, consisting of a full-order model, a reduced basis reduced order model, and a machine learning surrogate, to parametrized linear-quadratic optimal control problems. The involved reduced order models are constructed adaptively and are called in such a way that the model hierarchy returns an approximate solution of given accuracy for every parameter value. At the same time, the fastest model of the hierarchy is evaluated whenever possible and slower models are only queried if the faster ones are not sufficiently accurate. The performance of the model hierarchy is studied for a parametrized heat equation example with boundary value control.


title: A Multi-Resolution Method for Modelling Galaxy and Massive Black Hole Mergers

abstract: The coalescence of the most massive black hole (MBH) binaries releases gravitational waves (GWs) within the detectable frequency range of Pulsar Timing Arrays (PTAs) $(10^{-9} - 10^{-6})$ Hz. The incoherent superposition of GWs from MBH mergers, the stochastic Gravitational Wave Background (GWB), can provide unique information on MBH parameters and the large-scale structure of the Universe. The recent evidence for a GWB reported by the PTAs opens an exciting new window onto MBHs and their host galaxies. However, the astrophysical interpretation of the GWB requires accurate estimations of MBH merger timescales for a statistically representative sample of galaxy mergers. This is numerically challenging; a high numerical resolution is required to avoid spurious relaxation and stochastic effects whilst a large number of simulations is needed to sample a cosmologically representative volume. Here, we present a new multi-mass modelling method to increase the central resolution of a galaxy model at a fixed particle number. We follow mergers of galaxies hosting central MBHs with the Fast Multiple Method code Griffin at two reference resolutions and with two refinement schemes. We show that both refinement schemes are effective at increasing central resolution, reducing spurious relaxation and stochastic effects. A particle number of $N\geq 10^{6}$ within a radius of 5 times the sphere of influence of the MBHs is required to reduce numerical scatter in the binary eccentricity and the coalescence timescale to <30$\%$; a resolution that can only be reached at present with the mass refinement scheme.


title: Prediction of Photodynamics of 200 nm Excited Cyclobutanone with Linear Response Electronic Structure and Ab Initio Multiple Spawning

abstract: Simulations of photochemical reaction dynamics have been a challenge to the theoretical chemistry community for some time. In an effort to determine the predictive character of current approaches, we predict the results of an upcoming ultrafast diffraction experiment on the photodynamics of cyclobutanone after excitation to the lowest lying Rydberg state (S$_2$). A picosecond of nonadiabatic dynamics is described with ab initio multiple spawning. We use both time dependent density functional theory and equation-of-motion coupled cluster for the underlying electronic structure theory. We find that the lifetime of the S$_2$ state is more than a picosecond (with both TDDFT and EOM-CCSD). The predicted UED spectrum exhibits numerous structural features, but weak time dependence over the course of the simulations.


title: StableLego: Stability Analysis of Block Stacking Assembly

abstract: Recent advancements in robotics enable robots to accomplish complex assembly tasks. However, designing an assembly requires a non-trivial effort since a slight variation in the design could significantly affect the task feasibility. It is critical to ensure the physical feasibility of the assembly design so that the assembly task can be successfully executed. To address the challenge, this paper studies the physical stability of assembly structures, in particular, block stacking assembly, where people use cubic blocks to build 3D structures (e.g., Lego constructions). The paper proposes a new optimization formulation, which optimizes over force balancing equations, for inferring the structural stability of 3D block-stacking structures. The proposed stability analysis is tested and verified on hand-crafted Lego examples. The experiment results demonstrate that the proposed stability analysis can correctly predict whether the structure is stable. In addition, it outperforms the existing methods since it can locate the weakest parts in the design, and more importantly, solve any given assembly structure. To further validate the proposed analysis formulation, we provide StableLego: a comprehensive dataset including more than 50k 3D objects with their Lego layouts. We test the proposed stability analysis and include the stability inference for each corresponding object in StableLego. Our code and the dataset are available at https://github.com/intelligent-control-lab/StableLego.


title: An Empirical Study on Cross-lingual Vocabulary Adaptation for Efficient Language Model Inference

abstract: The development of state-of-the-art generative large language models (LLMs) disproportionately relies on English-centric tokenizers, vocabulary and pre-training data. Despite the fact that some LLMs have multilingual capabilities, recent studies have shown that their inference efficiency deteriorates when generating text in languages other than English. This results in increased inference time and costs. Cross-lingual vocabulary adaptation (CVA) methods have been proposed for adapting models to a target language aiming to improve downstream performance. However, the effectiveness of these methods on increasing inference efficiency of generative LLMs has yet to be explored. In this paper, we perform an empirical study of five CVA methods on four generative LLMs (including monolingual and multilingual models) across four typologically-diverse languages and four natural language understanding tasks. We find that CVA substantially contributes to LLM inference speedups of up to 271.5\%. We also show that adapting LLMs that have been pre-trained on more balanced multilingual data results in downstream performance comparable to the original models.


title: Molecular Weight Distribution Modeling in Step Growth Polymerization of Oligomers

abstract: An approach to modeling the oligomer composition distribution function in the irreversible step growth homopolymerization process based on a mixture of oligomers of arbitrary composition is developed. The approach is based on consideration of probabilities of processes in the system, proceeding on the principle of P. Flory and obtaining on this basis an infinite system of differential equations linking mole fractions of each oligomer of a finite mixture with the degree of transformation.


title: Hypervelocity star candidates from Gaia DR2 and DR3 proper motions and parallaxes

abstract: Hypervelocity stars (HVSs) unbound to the Galaxy can be formed with extreme stellar interactions. Observational evidence comes from measurements of radial velocities (RVs) of objects crossing the Galactic halo and of tangential velocities based on high proper motions (HPMs) and distances of relatively nearby stars. I searched for new HVS candidates and reviewed known objects using their Gaia astrometric measurements. Candidates were selected with significant Gaia parallaxes of >0.1mas, proper motions of >20mas/yr, and computed Galactocentric tangential velocities $vtan\_g$>500km/s. The DR2 and DR3 samples of several thousand HVS candidates were studied with respect to their proper motions, sky distribution, number of observations, location in crowded fields, colour-magnitude diagrams, selection effects with magnitude, and RVs in DR3. The most extreme ($vtan\_g$>700km/s) and nearest (within 4kpc) 72 DR3 HVS candidates were investigated with respect to detected close neighbours, flags and astrometric quality parameters of objects of similar magnitudes in DR3. The quality checks involved HPM objects in a global comparison and all objects in the vicinity of each target. Spurious HPMs in the Galactic centre region led to false HVS interpretations in Gaia DR2 and are still present in DR3, although to a lesser extent. Otherwise there is good agreement between the HPMs of HVS candidates in DR2 and DR3. However, HVS candidates selected from DR2 tend to have larger parallaxes hence lower tangential velocities in DR3. Most DR3 RVs are much lower than the tangential velocities, indicating that the DR3 HVS candidates are still affected by underestimated parallaxes. None of the 72 extreme nearby DR3 HVS candidates, including three D$^6$ stars, passed all quality checks. Their tangential velocities may turn out to be smaller, but at least some of them still appear unbound to the Galaxy. (abbreviated)


title: Superluminal Motion and Jet Parameters in the Gamma-ray-Emitting Narrow-Line Seyfert 1 Galaxy TXS 1206+549

abstract: Narrow-line Seyfert 1 (NLS1) galaxies are a peculiar subclass of active galactic nuclei (AGN). Among them, TXS 1206+549 belongs to a small group of radio-loud and gamma-ray-emitting NLS1 galaxies. We focus on the radio properties of this galaxy by analysing archival, high-resolution, very long baseline interferometry (VLBI) imaging observations taken at 8 GHz frequency in six epochs between 1994 and 2018. Using the milliarcsecond-scale radio structure, we can resolve a core and a jet component whose angular separation increases by (0.055 +/- 0.006) mas/yr. This corresponds to an apparent superluminal jet component motion of (3.5 +/- 0.4) c. From the core brightness temperature and the jet component proper motion, we determine the characteristic Doppler-boosting factor, the bulk Lorentz factor, and the jet viewing angle. We find no compelling evidence for a very closely aligned blazar-type jet. The parameters for TXS 1206+549 resemble those of radio-loud quasar jets with a moderate Lorentz factor (Gamma~4) and theta~24 deg inclination to the line of sight.


title: Construction of weak solutions to a pressureless viscous model driven by nonlocal attraction-repulsion

abstract: We analyze the pressureless Navier-Stokes system with nonlocal attraction-repulsion forces. Such systems appear in the context of models of collective behavior. We prove the existence of weak solutions on the whole space $\mathbb{R}^3$ in the case of density-dependent degenerate viscosity. For the nonlocal term it is assumed that the interaction kernel has the quadratic growth at infinity and almost quadratic singularity at zero. Under these assumptions, we derive the analog of the Bresch-Desjardins and Mellet-Vasseur estimates for the nonlocal system. In particular, we are able to adapt the approach of Vasseur and Yu to construct a weak solution.


title: BioFusionNet: Deep Learning-Based Survival Risk Stratification in ER+ Breast Cancer Through Multifeature and Multimodal Data Fusion

abstract: Breast cancer is a significant health concern affecting millions of women worldwide. Accurate survival risk stratification plays a crucial role in guiding personalised treatment decisions and improving patient outcomes. Here we present BioFusionNet, a deep learning framework that fuses image-derived features with genetic and clinical data to obtain a holistic profile and achieve survival risk stratification of ER+ breast cancer patients. We employ multiple self-supervised feature extractors (DINO and MoCoV3) pretrained on histopathological patches to capture detailed image features. These features are then fused by a variational autoencoder and fed to a self-attention network generating patient-level features. A co-dual-cross-attention mechanism combines the histopathological features with genetic data, enabling the model to capture the interplay between them. Additionally, clinical data is incorporated using a feed-forward network, further enhancing predictive performance and achieving comprehensive multimodal feature integration. Furthermore, we introduce a weighted Cox loss function, specifically designed to handle imbalanced survival data, which is a common challenge. Our model achieves a mean concordance index of 0.77 and a time-dependent area under the curve of 0.84, outperforming state-of-the-art methods. It predicts risk (high versus low) with prognostic significance for overall survival in univariate analysis (HR=2.99, 95% CI: 1.88--4.78, p<0.005), and maintains independent significance in multivariate analysis incorporating standard clinicopathological variables (HR=2.91, 95\% CI: 1.80--4.68, p<0.005).


title: Schur analysis over the unit spectral ball

abstract: We define the corresponding Hardy space, Schur multipliers and their realizations, and interpolation. Possible applications of the present work include matrices of quaternions, matrices of split quaternions, and other algebras of hypercomplex numbers.


title: A current based approach for the uniqueness of the continuity equation

abstract: We consider the problem of proving uniqueness of the solution of the continuity equation with a vector field $u \in [L^1 (0,T; W^{1,p}(\mathbb{T}^d)) \cap L^\infty ((0,T) \times \mathbb{T}^d)]^d$ with $\operatorname{div}(u) ^- \in L^1 (0,T; L^\infty (\mathbb{T}^d))$ and an initial datum $\rho_0 \in L^q (\mathbb{T}^d)$, where $\mathbb{T}^d$ is the $d$-dimensional torus and $ 1 \leq p,q \leq +\infty$ such that $1/p + 1/q =1$ without using the theory of renormalized solutions. We propose a more geometric approach which will however still rely on a strong $L^1$ estimate on the commutator (which is the key technical tool when using renormalized solutions, too), but other than that will be based on the theory of currents.


title: Assessment of random-phase approximation and second order M{\o}ller-Plesset perturbation theory for many-body interactions in solid ethane, ethylene, and acetylene

abstract: The relative energies of different phases or polymorphs of molecular solids can be small, less than a kiloJoule/mol. Reliable description of such energy differences requires high quality treatment of electron correlations, typically beyond that achievable by routinely applicable density functional theory approximations (DFT). At the same time, high-level wave function theory is currently too computationally expensive. Methods employing intermediate level of approximations, such as M{\o}ller-Plesset (MP) perturbation theory and the random-phase approximation (RPA) are potentially useful. However, their development and application for molecular solids has been impeded by the scarcity of necessary benchmark data for these systems. In this work we employ the coupled-clusters method with singles, doubles and perturbative triples (CCSD(T)) to obtain a reference-quality many-body expansion of the binding energy of four crystalline hydrocarbons with a varying $\pi$-electron character: ethane, ethene, and cubic and orthorhombic forms of acetylene. The binding energy is resolved into explicit dimer, trimer, and tetramer contributions, which facilitates the analysis of errors in the approximate approaches. With the newly generated benchmark data we test the accuracy of MP2 and non-self-consistent RPA. We find that both of the methods poorly describe the non-additive many-body interactions in closely packed clusters. Using different DFT input states for RPA leads to similar total binding energies, but the many-body components strongly depend on the choice of the exchange-correlation functional.


title: Molecular isotopologue measurements toward super star clusters and the relation to their ages in NGC253 with ALCHEMI

abstract: Determining the evolution of the CNO isotopes in the interstellar medium (ISM) of starburst galaxies can yield important constraints on the ages of superstar clusters (SSCs), or on other aspects and contributing factors of their evolution. Due to the time-dependent nature of the abundances of isotopes within the ISM as they are supplied from processes such as nucleosynthesis or chemical fractionation, this provides the possible opportunity to probe the ability of isotopes ratios to trace the ages of high star forming regions, such as SSCs. The goal of this study is to investigate whether the isotopic variations in SSC regions within NGC253 are correlated with their different ages as derived from stellar population modelling. We have measured abundance ratios of CO, HCN and HCO$^+$ isotopologues in six regions containing SSCs within NGC253 using high spatial resolution (1.6",$\sim 28$pc) data from the ALCHEMI (ALma Comprehensive High-resolution Extragalactic Molecular Inventory) ALMA Large program. We have then analysed these ratios using RADEX radiative transfer modelling, with the parameter space sampled using the nested sampling Monte Carlo algorithm MLFriends. These abundance ratios were then compared to ages predicted in each region via the fitting of observed star formation tracers (such as Br$\gamma$) to starburst stellar population evolution models. We do not find any significant trend with age for the CO and HCN isotopologue ratios on the timescales for the ages of the SSC* regions observed. The driving factors of these ratios within SSCs could be the Initial Mass Function as well as possibly fractionation effects. To further probe these effects in SSCs over time a larger sample of SSCs must be observed spanning a larger age range.


title: Revisiting a Core-Jet Laboratory at High Redshift: Analysis of the Radio Jet in the Quasar PKS 2215+020 at z=3.572

abstract: The prominent radio quasar PKS 2215+020 (J2217+0220) was once labelled as a new laboratory for core--jet physics at redshift z=3.572 because of its exceptionally extended jet structure traceable with very long baseline interferometric (VLBI) observations up to a ~600 pc projected distance from the compact core and a hint of an arcsec-scale radio and an X-ray jet. While the presence of an X-ray jet could not be confirmed later, this active galactic nucleus is still unique at high redshift with its long VLBI jet. Here, we analyse archival multi-epoch VLBI imaging data at five frequency bands from 1.7 to 15.4 GHz covering a period of more than 25 years from 1995 to 2020. We constrain apparent proper motions of jet components in PKS 2215+020 for the first time. Brightness distribution modeling at 8 GHz reveals a nearly 0.02 mas/yr proper motion (moderately superluminal with apparently two times the speed of light), and provides delta=11.5 for the Doppler-boosting factor in the inner relativistic jet that is inclined within 2 deg to the line of sight and has a Gamma=6 bulk Lorentz factor. These values qualify PKS 2215+020 as a blazar, with rather typical jet properties in a small sample of only about 20 objects at z>3.5 that have similar measurements to date. According to the 2-GHz VLBI data, the diffuse and extended outer emission feature at ~60 mas from the core, probably a place where the jet interacts with and decelerated by the ambient galactic medium, is consistent with being stationary, albeit slow motion cannot be excluded based on the presently available data.


title: Conformalized Credal Set Predictors

abstract: Credal sets are sets of probability distributions that are considered as candidates for an imprecisely known ground-truth distribution. In machine learning, they have recently attracted attention as an appealing formalism for uncertainty representation, in particular due to their ability to represent both the aleatoric and epistemic uncertainty in a prediction. However, the design of methods for learning credal set predictors remains a challenging problem. In this paper, we make use of conformal prediction for this purpose. More specifically, we propose a method for predicting credal sets in the classification task, given training data labeled by probability distributions. Since our method inherits the coverage guarantees of conformal prediction, our conformal credal sets are guaranteed to be valid with high probability (without any assumptions on model or distribution). We demonstrate the applicability of our method to natural language inference, a highly ambiguous natural language task where it is common to obtain multiple annotations per example.


title: Machine Learning based Prediction of Ditching Loads

abstract: We present approaches to predict dynamic ditching loads on aircraft fuselages using machine learning. The employed learning procedure is structured into two parts, the reconstruction of the spatial loads using a convolutional autoencoder (CAE) and the transient evolution of these loads in a subsequent part. Different CAE strategies are assessed and combined with either long short-term memory (LSTM) networks or Koopman-operator based methods to predict the transient behaviour. The training data is compiled by an extension of the momentum method of von-Karman and Wagner and the rationale of the training approach is briefly summarised. The application included refers to a full-scale fuselage of a DLR-D150 aircraft for a range of horizontal and vertical approach velocities at 6{\deg} incidence. Results indicate a satisfactory level of predictive agreement for all four investigated surrogate models examined, with the combination of an LSTM and a deep decoder CAE showing the best performance.


title: Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process

abstract: The global food delivery market provides many opportunities for AI-based services that can improve the efficiency of feeding the world. This paper presents the Cloud Kitchen platform as a decision-making tool for restaurants with food delivery and a simulator to evaluate the impact of the decisions. The platform consists of a Technology-Specific Bridge (TSB) that provides an interface for communicating with restaurants or the simulator. TSB uses a PDDL model to represent decisions embedded in the Unified Planning Framework (UPF). Decision-making, which concerns allocating customers' orders to vehicles and deciding in which order the customers will be served (for each vehicle), is done via a Vehicle Routing Problem with Time Windows (VRPTW), an efficient tool for this problem. We show that decisions made by our platform can improve customer satisfaction by reducing the number of delayed deliveries using a real-world historical dataset.


title: Learning Planning Action Models from State Traces

abstract: Previous STRIPS domain model acquisition approaches that learn from state traces start with the names and parameters of the actions to be learned. Therefore their only task is to deduce the preconditions and effects of the given actions. In this work, we explore learning in situations when the parameters of learned actions are not provided. We define two levels of trace quality based on which information is provided and present an algorithm for each. In one level (L1), the states in the traces are labeled with action names, so we can deduce the number and names of the actions, but we still need to work out the number and types of parameters. In the other level (L2), the states are additionally labeled with objects that constitute the parameters of the corresponding grounded actions. Here we still need to deduce the types of the parameters in the learned actions. We experimentally evaluate the proposed algorithms and compare them with the state-of-the-art learning tool FAMA on a large collection of IPC benchmarks. The evaluation shows that our new algorithms are faster, can handle larger inputs and provide better results in terms of learning action models more similar to reference models.


title: Predictive Uncertainty Quantification via Risk Decompositions for Strictly Proper Scoring Rules

abstract: Uncertainty quantification in predictive modeling often relies on ad hoc methods as there is no universally accepted formal framework for that. This paper introduces a theoretical approach to understanding uncertainty through statistical risks, distinguishing between aleatoric (data-related) and epistemic (model-related) uncertainties. We explain how to split pointwise risk into Bayes risk and excess risk. In particular, we show that excess risk, related to epistemic uncertainty, aligns with Bregman divergences. To turn considered risk measures into actual uncertainty estimates, we suggest using the Bayesian approach by approximating the risks with the help of posterior distributions. We tested our method on image datasets, evaluating its performance in detecting out-of-distribution and misclassified data using the AUROC metric. Our results confirm the effectiveness of the considered approach and offer practical guidance for estimating uncertainty in real-world applications.


title: Semi-weakly-supervised neural network training for medical image registration

abstract: For training registration networks, weak supervision from segmented corresponding regions-of-interest (ROIs) have been proven effective for (a) supplementing unsupervised methods, and (b) being used independently in registration tasks in which unsupervised losses are unavailable or ineffective. This correspondence-informing supervision entails cost in annotation that requires significant specialised effort. This paper describes a semi-weakly-supervised registration pipeline that improves the model performance, when only a small corresponding-ROI-labelled dataset is available, by exploiting unlabelled image pairs. We examine two types of augmentation methods by perturbation on network weights and image resampling, such that consistency-based unsupervised losses can be applied on unlabelled data. The novel WarpDDF and RegCut approaches are proposed to allow commutative perturbation between an image pair and the predicted spatial transformation (i.e. respective input and output of registration networks), distinct from existing perturbation methods for classification or segmentation. Experiments using 589 male pelvic MR images, labelled with eight anatomical ROIs, show the improvement in registration performance and the ablated contributions from the individual strategies. Furthermore, this study attempts to construct one of the first computational atlases for pelvic structures, enabled by registering inter-subject MRs, and quantifies the significant differences due to the proposed semi-weak supervision with a discussion on the potential clinical use of example atlas-derived statistics.


title: A CBF-Adaptive Control Architecture for Visual Navigation for UAV in the Presence of Uncertainties

abstract: In this article, we propose a control solution for the safe transfer of a quadrotor UAV between two surface robots positioning itself only using the visual features on the surface robots, which enforces safety constraints for precise landing and visual locking, in the presence of modeling uncertainties and external disturbances. The controller handles the ascending and descending phases of the navigation using a visual locking control barrier function (VCBF) and a parametrizable switching descending CBF (DCBF) respectively, eliminating the need for an external planner. The control scheme has a backstepping approach for the position controller with the CBF filter acting on the position kinematics to produce a filtered virtual velocity control input, which is tracked by an adaptive controller to overcome modeling uncertainties and external disturbances. The experimental validation is carried out with a UAV that navigates from the base to the target using an RGB camera.


title: Quantum switch as a thermodynamic resource in the context of passive states

abstract: In recent years many works have explored possible advantages of indefinite causal order, with the main focus on its controlled implementation known as quantum switch. In this paper, we tackle advantages in quantum thermodynamics, studying whether quantum switch is capable of activating a passive state: either alone or with extra resources (active control state) and/or operations (measurement of the control system). By disproving the first possibility and confirming the second one, we show that quantum switch is not a thermodynamic resource in the discussed context, though, it can facilitate work extraction given external resources. We discuss our findings by considering specific examples: a qubit system subject to rotations around the x and y axes in the Bloch sphere, as well as general unitaries from the U(2) group; and the system as a quantum harmonic oscillator with displacement operators, and with a combination of displacement and squeeze operators.


title: maria: A novel simulator for forecasting (sub-)mm observations

abstract: Submillimeter single-dish telescopes offer two key advantages compared to interferometers: they can efficiently map larger portions of the sky and recover larger spatial scales. Nonetheless, fluctuations in the atmosphere limit the accurate retrieval of signals from astronomical sources. Therefore, we introduce a user-friendly simulator named ${\tt maria}$ to optimize scanning strategies and instrument designs to efficiently reduce atmospheric noise and filtering effects. We further use this tool to produce synthetic time streams and maps from hydrodynamical simulations, enabling a fair comparison between theory and reality. ${\tt maria}$ has implemented a suite of telescope and instrument designs intended to mimic current and future facilities. To generate synthetic time-ordered data, each mock observatory scans through the atmosphere in a configurable pattern over the celestial object. We generate evolving and location-and-time-specific weather for each of the fiducial sites using a combination of satellite and ground-based measurements. While ${\tt maria}$ is a generic virtual telescope, this study specifically focuses on mimicking broadband bolometers observing at 100 GHz. To validate our virtual telescope, we compare the mock time streams with real MUSTANG-2 observations and find that they are quantitatively similar by conducting a k-sample Anderson-Darling test resulting in p<0.001. Subsequently, we image the time-ordered data to create noise maps and mock observations of clusters of galaxies for both MUSTANG-2 and an instrument concept for the 50m Atacama Large Aperture Submillimeter Telescope (AtLAST). Furthermore, using ${\tt maria}$, we find that a 50m dish provides the highest levels of correlation of atmospheric signals across adjacent detectors compared to smaller apertures (e.g., 42-cm and 6-m survey experiments), facilitating removal of atmospheric signal on large scales.


title: Lattice realization of complex CFTs: Two-dimensional Potts model with $Q>4$ states

abstract: The two-dimensional $Q$-state Potts model with real couplings has a first-order transition for $Q>4$. We study a loop-model realization in which $Q$ is a continuous parameter. This model allows for the collision of a critical and a tricritical fixed point at $Q=4$, which then emerge as complex conformally invariant theories at $Q>4$, or even complex $Q$, for suitable complex coupling constants. All critical exponents can be obtained as analytic continuation of known exact results for $Q \le 4$. We verify this scenario in detail for $Q=5$ using transfer-matrix computations.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: New Chinese Facilities for Short-Range Correlation Physics

abstract: This article explores the significant advancements in Short-Range Correlation (SRC) research enabled by the latest Chinese nuclear physics facilities- CSR at HIRFL, HIAF, SHINE, and the upcoming EicC. These facilities introduce cutting-edge technologies and methodologies, addressing existing challenges and broadening the scope for SRC studies. By providing detailed insights into the capabilities and expected contributions of each facility, the paper highlights China's emerging role in the global nuclear physics landscape. The collaborative potential, alongside complementary global efforts, positions these facilities to deeply influence our understanding of nuclear matter's fundamental properties and interactions.


title: Nanoring Tamm Cavity in the Telecommunications O band

abstract: Quantum and classical telecommunications require efficient sources of light. Semiconductorsources, owing to the high refractive index of the medium, often exploit photonic cavities to enhance the external emission of photons into a well-defined optical mode. Optical Tamm States (OTS), in which light is confined between a distributed Bragg reflector and a thin metal layer have attracted interest as confined Tamm structures are readily manufactureable broadband cavities. Their effficiency is limited however by the absorption inherent in the metal layer. We propose a nanoring Tamm structure in which a nanoscale patterned annular metasurface is exploited to reduce this absorption and thereby enhance emission efficiency. To this end, we present designs for a nanoring Tamm structure optimised for the telecommunications O band, and demonstrate a near doubling of output efficiency (35%) over an analogous solid disc confined Tamm structure (18%). Simulations of designs optimised for different wavelengths are suggestive of annular coupling between the Tamm state and surface plasmons. These designs are applicable to the design of single photon sources, nanoLEDs, and nanolasers for communications.


title: Assessing the Reasoning Abilities of ChatGPT in the Context of Claim Verification

abstract: The reasoning capabilities of LLMs are currently hotly debated. We examine the issue from the perspective of claim/rumour verification. We propose the first logical reasoning framework designed to break down any claim or rumour paired with evidence into the atomic reasoning steps necessary for verification. Based on our framework, we curate two annotated collections of such claim/evidence pairs: a synthetic dataset from Wikipedia and a real-world set stemming from rumours circulating on Twitter. We use them to evaluate the reasoning capabilities of GPT-3.5-Turbo and GPT-4 (hereinafter referred to as ChatGPT) within the context of our framework, providing a thorough analysis. Our results show that ChatGPT struggles in abductive reasoning, although this can be somewhat mitigated by using manual Chain of Thought (CoT) as opposed to Zero-Shot (ZS) and ZS CoT approaches. Our study contributes to the growing body of research suggesting that ChatGPT's reasoning processes are unlikely to mirror human-like reasoning, and that LLMs need to be more rigorously evaluated to distinguish between hype and actual capabilities, especially in high-stakes real-world tasks such as claim verification.


title: A new approach to $\gamma$-bounded representations

abstract: Let $X$ be a Banach space, let $(\Omega,\mu)$ be a $\sigma$-finite measure space and let $A,B\colon\Omega\to B(X)$ be strongly measurable $\gamma$-bounded functions. We show that for all $x\in X$ and all $x^*\in X^*$, there exist a Hilbert space $K$ and two measurable functions $a_1\in L^\infty(\Omega;K)$ and $a_2\in L^\infty(\Omega;K)$ such that $\langle B(t)A(s)x,x^*\rangle = (a_2(t)\,\vert\, a_1(s))_{K}$ for a.e. $(s,t)$ in $\Omega^2$, with $\Vert a_1\Vert_\infty \Vert a_2\Vert_\infty\leq \gamma(A)\gamma(B)\Vert x\vert\vert x^*\Vert$. This factorization property allows us to improve or simplify some results concerning $\gamma$-bounded representations of groups or semigroups.


title: Triples and quadruples of consecutive squares or non-squares in a finite field

abstract: \begin{abstract} Let $\F$ be the finite field of odd prime power order $q$, We find explicit expressions for the number of triples $\{\al-1,\al,\al+1 \}$ of consecutive non-zero squares in $\F$ and similarly for the number of triples of consecutive non-square elements. A key ingredient is the evaluation of Jacobsthal sums over general finite fields by Katre and Rajwade. This extends results of Monzingo(1985) to non-prime fields. Curiously, the same machinery alows the evaluation of the number of consecutive quadruples $\{\al -1, \al,\al+1, \al +2\}$ of square and non-squares over $\F$, when $q$ is a power of 5. \end{abstract}


title: Let's Learn Step by Step: Enhancing In-Context Learning Ability with Curriculum Learning

abstract: Demonstration ordering, which is an important strategy for in-context learning (ICL), can significantly affects the performance of large language models (LLMs). However, most of the current approaches of ordering require high computational costs to introduce the priori knowledge. In this paper, inspired by the human learning process, we propose a simple but effective demonstration ordering method for ICL, named the few-shot In-Context Curriculum Learning (ICCL). The ICCL implies gradually increasing the complexity of prompt demonstrations during the inference process. The difficulty can be assessed by human experts or LLMs-driven metrics, such as perplexity. Then we design extensive experiments to discuss the effectiveness of the ICCL at both corpus-level and instance-level. Moreover, we also investigate the formation mechanism of LLM's ICCL capability. Experimental results demonstrate that ICCL, developed during the instruction-tuning stage, is effective for representative open-source LLMs. To facilitate further research and applications by other scholars, we make the code publicly available.


title: PointMamba: A Simple State Space Model for Point Cloud Analysis

abstract: Transformers have become one of the foundational architectures in point cloud analysis tasks due to their excellent global modeling ability. However, the attention mechanism has quadratic complexity, making the design of a linear complexity method with global modeling appealing. In this paper, we propose PointMamba, transferring the success of Mamba, a recent representative state space model (SSM), from NLP to point cloud analysis tasks. Unlike traditional Transformers, PointMamba employs a linear complexity algorithm, presenting global modeling capacity while significantly reducing computational costs. Specifically, our method leverages space-filling curves for effective point tokenization and adopts an extremely simple, non-hierarchical Mamba encoder as the backbone. Comprehensive evaluations demonstrate that PointMamba achieves superior performance across multiple datasets while significantly reducing GPU memory usage and FLOPs. This work underscores the potential of SSMs in 3D vision-related tasks and presents a simple yet effective Mamba-based baseline for future research. The code is available at https://github.com/LMD0311/PointMamba.


title: Black-Hole-to-Halo Mass Relation From UNIONS Weak Lensing

abstract: This letter presents, for the first time, direct constraints on the black-hole-to-halo-mass relation using weak gravitational lensing measurements. We construct type I and type II Active Galactic Nuclei (AGNs) samples from the Sloan Digital Sky Survey (SDSS), with a mean redshift of 0.4 0.1 for type I (type II) AGNs. This sample is cross-correlated with weak lensing shear from the Ultraviolet Near Infrared Northern Survey (UNIONS). We compute the excess surface mass density of the halos associated with $36,181$ AGNs from $94,308,561$ lensed galaxies and fit the halo mass in bins of black-hole mass. We find that more massive AGNs reside in more massive halos. We see no evidence of dependence on AGN type or redshift in the black-hole-to-halo-mass relationship when systematic errors in the measured black-hole masses are included. Our results are consistent with previous measurements for non-AGN galaxies. At a fixed black-hole mass, our weak-lensing halo masses are consistent with galaxy rotation curves, but significantly lower than galaxy clustering measurements. Finally, our results are broadly consistent with state-of-the-art hydro-dynamical cosmological simulations, providing a new constraint for black-hole masses in simulations.


title: Identifying heterogeneous micromechanical properties of biological tissues via physics-informed neural networks

abstract: The heterogeneous micromechanical properties of biological tissues have profound implications across diverse medical and engineering domains. However, identifying the full-field heterogeneous elastic properties of soft materials using traditional computational and engineering approaches is fundamentally challenging due to difficulties in estimating local stress fields. Recently, there has been a growing interest in using data-driven models to learn full-field mechanical responses such as displacement and strain from experimental or synthetic data. However, research studies on inferring the full-field elastic properties of materials, a more challenging problem, are scarce, particularly for large deformation, hyperelastic materials. Here, we propose a physics-informed machine learning approach to identify the elastic modulus distribution in nonlinear, large deformation hyperelastic materials. We evaluate the prediction accuracies and computational efficiency of physics-informed neural networks (PINNs) on inferring the heterogeneous material parameter maps across three nonlinear materials with structural complexity that closely resemble real tissue patterns, such as brain tissue and tricuspid valve tissue. Our improved PINN architecture accurately estimates the full-field elastic properties of three hyperelastic constitutive models, with relative errors of less than 5% across all examples. This research has significant potential for advancing our understanding of micromechanical behaviors in biological materials, impacting future innovations in engineering and medicine.


title: Chirality enhancement using topology-designed 3D nanophotonic antennas

abstract: We explore chiroptical phenomena in 3D chiral nano-gap antennas using topology optimization. The characteristic helical geometries of the topology-designed antennas exhibit giant chiral dissymmetry (g=-1.70) considering the gap intensity, circular-to-linear polarization conversion, and circularly polarized light emission from a linear dipole coupled with the antenna. We observed that the spin angular momentum of light, flowing into the nanogap with opposite signs, locally amplifies optical chirality. These findings carry profound implications for the nanoscale control of complex light-matter interactions with structured light.


title: Construction of a Syntactic Analysis Map for Yi Shui School through Text Mining and Natural Language Processing Research

abstract: Entity and relationship extraction is a crucial component in natural language processing tasks such as knowledge graph construction, question answering system design, and semantic analysis. Most of the information of the Yishui school of traditional Chinese Medicine (TCM) is stored in the form of unstructured classical Chinese text. The key information extraction of TCM texts plays an important role in mining and studying the academic schools of TCM. In order to solve these problems efficiently using artificial intelligence methods, this study constructs a word segmentation and entity relationship extraction model based on conditional random fields under the framework of natural language processing technology to identify and extract the entity relationship of traditional Chinese medicine texts, and uses the common weighting technology of TF-IDF information retrieval and data mining to extract important key entity information in different ancient books. The dependency syntactic parser based on neural network is used to analyze the grammatical relationship between entities in each ancient book article, and it is represented as a tree structure visualization, which lays the foundation for the next construction of the knowledge graph of Yishui school and the use of artificial intelligence methods to carry out the research of TCM academic schools.


title: GenRES: Rethinking Evaluation for Generative Relation Extraction in the Era of Large Language Models

abstract: The field of relation extraction (RE) is experiencing a notable shift towards generative relation extraction (GRE), leveraging the capabilities of large language models (LLMs). However, we discovered that traditional relation extraction (RE) metrics like precision and recall fall short in evaluating GRE methods. This shortfall arises because these metrics rely on exact matching with human-annotated reference relations, while GRE methods often produce diverse and semantically accurate relations that differ from the references. To fill this gap, we introduce GenRES for a multi-dimensional assessment in terms of the topic similarity, uniqueness, granularity, factualness, and completeness of the GRE results. With GenRES, we empirically identified that (1) precision/recall fails to justify the performance of GRE methods; (2) human-annotated referential relations can be incomplete; (3) prompting LLMs with a fixed set of relations or entities can cause hallucinations. Next, we conducted a human evaluation of GRE methods that shows GenRES is consistent with human preferences for RE quality. Last, we made a comprehensive evaluation of fourteen leading LLMs using GenRES across document, bag, and sentence level RE datasets, respectively, to set the benchmark for future research in GRE


title: The simulation of distributed quantum algorithms

abstract: We study distributed quantum computing (DQC), the use of multiple quantum processing units to simulate quantum circuits and solve quantum algorithms. The nodes of a distributed quantum computer consist of both local qubits, essential for local circuit operations, and communication qubits, extending circuit capabilities across nodes. We created a distributed quantum circuit simulator (DQCS) written in Qiskit, which we use to simulate a quantum circuit on multiple nodes, show its applicability for distributed quantum phase estimation, amplitude estimation. We use DQCS to study the scaling of DQC for the quantum state preparation of a probability distribution.


title: Spin projection noise and the magnetic sensitivity of optically pumped magnetometers

abstract: Present protocols for obtaining the ultimate magnetic sensitivity of optically pumped magnetometers (OPMs) utilizing alkali-metal ensembles rely on uncorrelated atoms in stretched states. A new approach for calculating the spin projection noise (SPN)-limited signal to noise ratio (SNR) and the magnetic sensitivity of OPMs is proposed. Our model is based solely on the mean-field density matrix dynamics and in contrast to previous models, it applies to both low and high field regimes, it takes into account the degree of spin polarization, the intra- and interhyperfine correlations, the decoherence processes, the atom-light coupling and the effects of the spin dynamics on the spin-noise spectra. Fine tuning of the probe frequency allow us to explore different hyperfine states and ground-state correlations. Especially in the spin-exchange-relaxation-free (SERF) regime, alongside the magnetic resonance narrowing and the increased number density, hallmarks of SERF magnetometers, we report on a new SERF feature; the reduction of spin-projection noise at the spin precession frequency as a consequence of strongly-correlated hyperfine spins that attenuate and redistribute SPN when properly probed.


title: Fully Differentiable Lagrangian Convolutional Neural Network for Continuity-Consistent Physics-Informed Precipitation Nowcasting

abstract: This paper presents a convolutional neural network model for precipitation nowcasting that combines data-driven learning with physics-informed domain knowledge. We propose LUPIN, a Lagrangian Double U-Net for Physics-Informed Nowcasting, that draws from existing extrapolation-based nowcasting methods and implements the Lagrangian coordinate system transformation of the data in a fully differentiable and GPU-accelerated manner to allow for real-time end-to-end training and inference. Based on our evaluation, LUPIN matches and exceeds the performance of the chosen benchmark, opening the door for other Lagrangian machine learning models.


title: A Tiny Transformer for Low-Power Arrhythmia Classification on Microcontrollers

abstract: Wearable systems for the continuous and real-time monitoring of cardiovascular diseases are becoming widespread and valuable assets in diagnosis and therapy. A promising approach for real-time analysis of the electrocardiographic (ECG) signal and the detection of heart conditions, such as arrhythmia, is represented by the transformer machine learning model. Transformers are powerful models for the classification of time series, although efficient implementation in the wearable domain raises significant design challenges, to combine adequate accuracy and a suitable complexity. In this work, we present a tiny transformer model for the analysis of the ECG signal, requiring only 6k parameters and reaching 98.97% accuracy in the recognition of the 5 most common arrhythmia classes from the MIT-BIH Arrhythmia database, assessed considering 8-bit integer inference as required for efficient execution on low-power microcontroller-based devices. We explored an augmentation-based training approach for improving the robustness against electrode motion artifacts noise, resulting in a worst-case post-deployment performance assessment of 98.36% accuracy. Suitability for wearable monitoring solutions is finally demonstrated through efficient deployment on the parallel ultra-low-power GAP9 processor, where inference execution requires 4.28ms and 0.09mJ.


title: Inertia-gravity waves in geophysical vortices

abstract: Pancake-like vortices are often generated by turbulence in geophysical flows. Here, we study the inertia-gravity oscillations that can exist within such geophysical vortices, due to the combined action of rotation and gravity. We consider a fluid enclosed within a triaxial ellipsoid, which is stratified in density with a constant Brunt-V\"ais\"al\"a frequency (using the Boussinesq approximation) and uniformly rotating along a (possibly) tilted axis with respect to gravity. The wave problem is then governed by a mixed hyperbolic-elliptic equation for the velocity. As in the rotating non-stratified case considered by Vantieghem (2014, Proc. R. Soc. A, 470, 20140093, doi:10.1098/rspa.2014.0093), we find that the spectrum is pure point in ellipsoids (i.e. only consists of eigenvalues) with smooth polynomial eigenvectors. Then, we characterise the spectrum using numerical computations (obtained with a bespoke Galerkin method) and asymptotic spectral theory. Finally, the results are discussed in light of natural applications (e.g. for Mediterranean eddies or Jupiter's vortices).

categories: physics.flu-dyn math-ph math.MP physics.geo-ph


title: Towards benchmarking of Solidity verification tools

abstract: Formal verification of smart contracts has become a hot topic in academic and industrial research, given the growing value of assets managed by decentralized applications and the consequent incentive for adversaries to tamper with them. Most of the current research on the verification of contracts revolves around Solidity, the main high-level language supported by Ethereum and other leading blockchains. Although bug detection tools for Solidity have been proliferating almost since the inception of Ethereum, only in the last few years we have seen verification tools capable of proving that a contract respects some desirable properties. An open issue is how to evaluate and compare the effectiveness of these tools: indeed, the existing benchmarks for general-purpose programming languages cannot be adapted to Solidity, given substantial differences in the programming model and in the desirable properties. We address this problem by proposing an open benchmark for Solidity verification tools. By exploiting our benchmark, we compare two leading tools, SolCMC and Certora, discussing their completeness, soundness and expressiveness limitations.


title: Another Body in the World: Flusserian Freedom in Mixed Reality

abstract: In Flusserian view of media history, humans often misperceive the world projected by media to be the world itself, leading to a loss of freedom. This paper examines Flusserian Freedom in the context of Mixed Reality (MR) and explores how humans can recognize the obscuration of the world within the media (i.e., MR) and understand their relationship. The authors investigate the concept of playing against apparatus and deliberately alienating the perception of the projected world through an artwork titled "Surrealism Me." This artwork enables the user to have another body within MR through interactive and immersive experiences based on the definition of Sense of Embodiment. The purpose of this work is to raise awareness of the domination of media and to approach Flusserian freedom within contemporary technical arrangements.


title: STF: Spatio-Temporal Fusion Module for Improving Video Object Detection

abstract: Consecutive frames in a video contain redundancy, but they may also contain relevant complementary information for the detection task. The objective of our work is to leverage this complementary information to improve detection. Therefore, we propose a spatio-temporal fusion framework (STF). We first introduce multi-frame and single-frame attention modules that allow a neural network to share feature maps between nearby frames to obtain more robust object representations. Second, we introduce a dual-frame fusion module that merges feature maps in a learnable manner to improve them. Our evaluation is conducted on three different benchmarks including video sequences of moving road users. The performed experiments demonstrate that the proposed spatio-temporal fusion module leads to improved detection performance compared to baseline object detectors. Code is available at https://github.com/noreenanwar/STF-module


title: ToolSword: Unveiling Safety Issues of Large Language Models in Tool Learning Across Three Stages

abstract: Tool learning is widely acknowledged as a foundational approach or deploying large language models (LLMs) in real-world scenarios. While current research primarily emphasizes leveraging tools to augment LLMs, it frequently neglects emerging safety considerations tied to their application. To fill this gap, we present $ToolSword$, a comprehensive framework dedicated to meticulously investigating safety issues linked to LLMs in tool learning. Specifically, ToolSword delineates six safety scenarios for LLMs in tool learning, encompassing $malicious$ $queries$ and $jailbreak$ $attacks$ in the input stage, $noisy$ $misdirection$ and $risky$ $cues$ in the execution stage, and $harmful$ $feedback$ and $error$ $conflicts$ in the output stage. Experiments conducted on 11 open-source and closed-source LLMs reveal enduring safety challenges in tool learning, such as handling harmful queries, employing risky tools, and delivering detrimental feedback, which even GPT-4 is susceptible to. Moreover, we conduct further studies with the aim of fostering research on tool learning safety. The data is released in https://github.com/Junjie-Ye/ToolSword.


title: When Dataflow Analysis Meets Large Language Models

abstract: Dataflow analysis is a powerful code analysis technique that reasons dependencies between program values, offering support for code optimization, program comprehension, and bug detection. Existing approaches require the successful compilation of the subject program and customizations for downstream applications. This paper introduces LLMDFA, an LLM-powered dataflow analysis framework that analyzes arbitrary code snippets without requiring a compilation infrastructure and automatically synthesizes downstream applications. Inspired by summary-based dataflow analysis, LLMDFA decomposes the problem into three sub-problems, which are effectively resolved by several essential strategies, including few-shot chain-of-thought prompting and tool synthesis. Our evaluation has shown that the design can mitigate the hallucination and improve the reasoning ability, obtaining high precision and recall in detecting dataflow-related bugs upon benchmark programs, outperforming state-of-the-art (classic) tools, including a very recent industrial analyzer.


title: Gravitational Waves: Echoes of the Biggest Bangs since the Big Bang and/or BSM Physics?

abstract: "If one could ever prove the existence of gravitational waves, the processes responsible for their generation would probably be much more curious and interesting than even the waves themselves." (Gustav Mie, 1868 - 1957) The discovery of gravitational waves has opened new windows on astrophysics, cosmology and physics beyond the Standard Model (BSM). Measurements by the LIGO, Virgo and KAGRA Collaborations of stellar-mass binaries and neutron star mergers have shown that gravitational waves travel at close to the velocity of light, and also constrain BSM possibilities such as a graviton mass and Lorentz violation in gravitational wave propagation. Follow-up measurements of neutron star mergers have provided evidence for the production of heavy elements, possibly including some essential for human life. The gravitational waves in the nanoHz range observed by Pulsar Timing Arrays (PTAs) may have been emitted by supermassive black hole binaries, but might also have originated from BSM cosmological scenarios such as cosmic strings, or phase transitions in the early Universe. The answer to the question in the title may be provided by gravitational-wave detectors at higher frequencies, such as LISA and atom interferometers.


title: Towards Cohesion-Fairness Harmony: Contrastive Regularization in Individual Fair Graph Clustering

abstract: Conventional fair graph clustering methods face two primary challenges: i) They prioritize balanced clusters at the expense of cluster cohesion by imposing rigid constraints, ii) Existing methods of both individual and group-level fairness in graph partitioning mostly rely on eigen decompositions and thus, generally lack interpretability. To address these issues, we propose iFairNMTF, an individual Fairness Nonnegative Matrix Tri-Factorization model with contrastive fairness regularization that achieves balanced and cohesive clusters. By introducing fairness regularization, our model allows for customizable accuracy-fairness trade-offs, thereby enhancing user autonomy without compromising the interpretability provided by nonnegative matrix tri-factorization. Experimental evaluations on real and synthetic datasets demonstrate the superior flexibility of iFairNMTF in achieving fairness and clustering performance.