title: Scheduling with conflicts: formulations, valid inequalities, and computational experiments

abstract: Given an undirected graph $G=(V,E)$ (i.e. the conflict graph) where $V$ is a set of $n$ vertices (representing the jobs), processing times $p \colon V \to \mathbb{Z}_>$, and $m\geq 2$ identical machines the Parallel Machine Scheduling with Conflicts (PMC) consists in finding an assignment $c \colon V \to [m]:=\{1,\ldots, m\}$ with $c(u)\neq c(v)$ for all $\{u,v\} \in E$ that minimizes the makespan $\max_{k \in [m]} \sum_{v \in V \colon c(v)=k} p(v)$. First we consider the natural assignment formulation for PMC using binary variables indexed by the jobs and machines, and discuss how to reduce the symmetries in such model. Then we propose a compact mixed integer linear programming formulation for PMC to tackle the issues related to symmetry and unbalanced enumeration tree associated with the assignment model. The proposed formulation for PMC uses a set of representative jobs (one in each machine) to express feasible solutions of the problem, and it is based on the representatives model for the vertex coloring problem. We present a polyhedral study of the associated polytope, and show classes of valid inequalities inherited from the stable set polytope. We describe branch-and-cut algorithms for PMC, and report on preliminary computational experiments with benchmark instances.


title: Classification of tight $2s$-designs with $s \geq 2$

abstract: Tight $2 s$-designs are the $2 s$-$(v, k, \lambda)$ designs whose sizes achieve the Fisher type lower bound ${v \choose s}$. Symmetric $2$-designs, the Witt $4$-$(23, 7, 1)$ design and the Witt $4$-$(23, 16, 52)$ design are tight designs. It has been widely conjectured since 1970s that there are no other nontrivial tight designs. In this paper, we give a proof of this conjecture. In the proof, an upper bound $v \ll s$ is shown by analyzing the parameters of the designs and the coefficients of the Wilson polynomials, and a lower bound $v \gg s (\ln s)^2$ is shown by using estimates on prime gaps.


title: Polarised light from accreting low mass X-ray binaries

abstract: Thanks to IXPE , the X-ray spectro-polarimeter launched at the end of 2021, X-ray polarimetry has finally become an extraordinary tool in investigating the physics of accretion in low mass X-ray binaries. Similarly to what happened with gravitational waves, X-ray polarimetry would play a new complementary but at the same time fundamental role in the high-energy astrophysical domain. We summarize here the first 1.5 year results on accreting low-mass X-ray binaries obtained by a huge IXPE observation campaign coordinated with the principal X-ray and Gamma-ray telescopes. Then we compare these results with the theoretical prediction highlighting the unexpected results.


title: Enhancement of superconducting transition temperature and exotic stoichiometries in Lu-S system under high pressure

abstract: Binary metal sulfides are potential material family for exploring high Tc superconductors under high pressure. In this work, we study the crystal structures, electronic structures and superconducting properties of the Lu-S system in the pressure range from 0 GPa to 200 GPa, combining crystal structure predictions with ab-initio calculations. We predict 14 new structures, encompassing 7 unidentified stoichiometries. Within the S-rich structures, the formation of S atom cages is beneficial for superconductivity, with the superconducting transition temperature 25.86 K and 25.30 K for LuS6-C2/m at 70 GPa and LuS6-R-3m at 90 GPa, respectively. With the Lu/(Lu+S) ratio increases, the Lu-d electrons participate more in the electronic properties at the Fermi energy, resulting in the coexistence of superconductivity and topological non-triviality of LuS2-Cmca, as well as the superconductivity of predicted Lu-rich compounds. Our calculation is helpful for understanding the exotic properties in transition metal sulfides system under high pressure, providing possibility in designing novel superconductors for future experimental and theoretical works.


title: ROS package search for robot software development: a knowledge graph-based approach

abstract: ROS (Robot Operating System) packages have become increasingly popular as a type of software artifact that can be effectively reused in robotic software development. Indeed, finding suitable ROS packages that closely match the software's functional requirements from the vast number of available packages is a nontrivial task using current search methods. The traditional search methods for ROS packages often involve inputting keywords related to robotic tasks into general-purpose search engines or code hosting platforms to obtain approximate results of all potentially suitable ROS packages. However, the accuracy of these search methods remains relatively low because the task-related keywords may not precisely match the functionalities offered by the ROS packages. To improve the search accuracy of ROS packages, this paper presents a novel semantic-based search approach that relies on the semantic-level ROS Package Knowledge Graph (RPKG) to automatically retrieve the most suitable ROS packages. Firstly, to construct the RPKG, we employ multi-dimensional feature extraction techniques to extract semantic concepts from the dataset of ROS package text descriptions. The semantic features extracted from this process result in a substantial number of entities and relationships. Subsequently, we create a robot domain-specific small corpus and further fine-tune a pre-trained language model, BERT-ROS, to generate embeddings that effectively represent the semantics of the extracted features. These embeddings play a crucial role in facilitating semantic-level understanding and comparisons during the ROS package search process within the RPKG. Secondly, we introduce a novel semantic matching-based search algorithm that incorporates the weighted similarities of multiple features from user search queries, which searches out more accurate ROS packages than the traditional keyword search method.


title: New Light on Dark Extended Lenses with the Roman Space Telescope

abstract: The Roman Space Telescope's Galactic Bulge Time Domain Survey will constitute the most sensitive microlensing survey of the Galactic Bulge to date, opening up new opportunities to search for dark matter (DM). Many extensions of the Standard Model predict the formation of extended DM substructures, such as DM subhalos, boson/axion stars, and halo-dressed primordial black holes. We demonstrate that for such targets, Roman will be sensitive to a broad parameter space up to four orders of magnitude below existing constraints. Our analysis can be readily applied to other extended DM configurations as well.


title: Unboundedness of the images of set-valued mappings having closed graphs: Application to vector optimization

abstract: In this paper, we propose criteria for unboundedness of the images of set-valued mappings having closed graphs in Euclidean spaces. We focus on mappings whose domains are non-closed or whose values are connected. These criteria allow us to see structural properties of solutions in vector optimization, where solution sets can be considered as the images of solution mappings associated to specific scalarization methods. In particular, we prove that if the domain of a certain solution mapping is non-closed, then the weak Pareto solution set is unbounded. Furthermore, for a quasi-convex problem, we demonstrate two criteria to ensure that if the weak Pareto solution set is disconnected then each connected component is unbounded.


title: Pressure-induced structure phase transitions and superconductivity in dual topological insulator BiTe

abstract: The (Bi2)m(Bi2Te3)n homologous series possess natural multilayer heterostructure with intriguing physical properties at ambient pressure. Herein, we report the pressure-dependent evolution of the structure and electrical transport of the dual topological insulator BiTe, a member of the (Bi2)m(Bi2Te3)n series. With applied pressure, BiTe exhibits several different crystal structures and distinct superconducting states, which is remarkably similar to other members of the (Bi2)m(Bi2Te3)n series. Our results provide a systematic phase diagram for the pressure-induced superconductivity in BiTe, contributing to the highly interesting physics in this (Bi2)m(Bi2Te3)n series.


title: PANCAKE: a large-diameter cryogenic test platform with a flat floor for next generation multi-tonne liquid xenon detectors

abstract: The PANCAKE facility is the world's largest liquid xenon test platform. Inside its cryostat with an internal diameter of 2.75 m, components for the next generation of liquid xenon experiments, such as DARWIN or XLZD, will be tested at their full scale. This is essential to ensure their successful operation. This work describes the facility, including its cryostat, cooling systems, xenon handling infrastructure, and its monitoring and instrumentation. The inner vessel has a flat floor, which allows the full diameter to be used with a modest amount of xenon. This is a novel approach for such a large cryostat and is of interest for future large-scale experiments, where a standard torispherical head would require tonnes of additional xenon. Our current xenon inventory of 400 kg allows a liquid depth of about 2 cm in the inner cryostat vessel. We also describe the commissioning of the facility, which is now ready for component testing.


title: Improved Quantum Algorithms for Eigenvalues Finding and Gradient Descent

abstract: Block encoding is a key ingredient in the recently developed quantum signal processing that forms a unifying framework for quantum algorithms. Initially showcased for simplifying and optimizing resource utilization in several problems, such as searching, amplitude estimation, and Hamiltonian simulation, the capabilities of the quantum signal processing go beyond these and offer untapped potential for devising new quantum algorithms. In this article, we utilize block encoding to substantially enhance two previously proposed quantum algorithms: largest eigenvalue estimation and quantum gradient descent. Unlike previous works that involve sophisticated procedures, our findings, using the unitary block encoding, demonstrate that even with elementary operations, these new quantum algorithms can eliminate major scaling factors present in their original counterparts. This yields much more efficient quantum algorithms capable of tackling complex computational problems with remarkable efficiency. Furthermore, we show how to extend our proposed method to different contexts, including matrix inversion and multiple eigenvalues estimation.


title: Designing a Surveillance Sensor Network with Information Clearinghouse for Advanced Air Mobility

abstract: To ensure safe, secure, and efficient advanced air mobility (AAM) operations, an AAM surveillance network is needed to detect and track AAM traffic. Additionally, a cloud-based surveillance data collection, monitoring, and distribution center is needed, where AAM operators and service suppliers, law enforcement agencies, correctional facilities and municipalities can subscribe to for receiving relevant AAM traffic data to plan and monitor AAM operations. In this work, we develop an optimization model to design a surveillance sensor network for AAM that minimizes total sensor cost while providing full coverage in the desired region of operation, considering terrain types of that region, terrain-based sensor detection probabilities, and meeting the minimum detection probability requirement. Moreover, we present a framework for low altitude surveillance information clearinghouse (LASIC), connected to the optimized AAM surveillance network for receiving live surveillance feed. Additionally, we conduct a cost-benefit analysis of the AAM surveillance network and LASIC to justify investment in it. We examine six potential types of AAM sensors and homogeneous and heterogeneous network types. Our analysis reveals the sensor types that are the most profitable options for detecting cooperative and non-cooperative aircraft. According to the findings, heterogeneous networks are more cost-effective than homogeneous sensor networks. Based on the sensitivity analysis, changes in parameters such as subscription fees, number of subscribers, sensor detection probabilities, and minimum required detection probability significantly impact the surveillance network design and cost benefit analysis.


title: Harnessing the Final Control Error for Optimal Data-Driven Predictive Control

abstract: Model Predictive Control (MPC) is a powerful method for complex system regulation, but its reliance on accurate models poses many limitations in real-world applications. Data-driven predictive control (DDPC) offers a valid alternative, eliminating the need for model identification. However, it may falter in the presence of noisy data. In response, in this work, we present a unified stochastic framework for direct DDPC where control actions are obtained by optimizing the Final Control Error, directly computed from available data only, that automatically weighs the impact of uncertainty on the control objective. Our approach generalizes existing DDPC methods, like regularized Data-enabled Predictive Control (DeePC) and $\gamma$-DDPC, and thus provides a path toward noise-tolerant data-based control, with rigorous optimality guarantees. The theoretical investigation is complemented by a series of numerical case studies, revealing that the proposed method consistently outperforms or, at worst, matches existing techniques without requiring tuning regularization parameters as methods do.


title: Exploiting decoupled discretization in meshless lattice Boltzmann method for high-Reynolds number flows

abstract: One of the most severe limitations of the Lattice Boltzmann Method in the context of simulating inertial flows is the coupling of the discretization of space to the velocity discretization. It causes the need to increase the size of computational meshes whenever one wants to increase the Reynolds number in the system for a fixed velocity and viscosity. This work aims at adopting the recently proposed meshless LBM formulation to the problem of high Reynolds number flows by using its internal property of decoupled space and velocity discretizations. In meshless formulation, one can change the reference length of the problem by scaling the distances between points that discretize the domain while the streaming distance remains fixed. By doing that, we increase the Reynolds number at no cost: additional nodes need not be inserted in the discretization. We measure the accuracy and efficiency of this approach in the flow around a circular obstacle at $Re=80$-$160$, the lid-driven cavity flow at $Re=100$-$5000$, and the flow through a porous sample at $Re=0.8$-$1500$. Additionally, we apply the meshless streaming step to the recently proposed fixed relaxation time $\tau=1$ LBM to extend its applicability to model inertial flows.


title: Production and optical characterisation of blended Polyethylene Tethraplate (PET)/Polyethylene Naphtalate (PEN) scintillator samples

abstract: In Particle and Nuclear Physics research and related applications, organic scintillators provide a cost-effective technology for the detection of ionising radiation. The next generation of experiments in this field is driving fundamental research and development on these materials, demanding improved light yield, radiation hardness, and fast response. Common materials such as PEN and PET have been found to offer scintillation properties competitive to commercial alternatives without the use of dopants. Motivated by their complementarity in terms of light yield, radiation hardness, and response time, there is an increasing interest in investigating PET:PEN mixtures to ascertain whether they exhibit synergistic blending. This paper presents results from the systematic development of samples of PET, PEN, and PET:PEN mixtures with varied mass proportions. The manufacturing technique, involving injection moulding of granule raw material, is detailed. The effects of doping the polymer base substrate with fluorescent dopants are explored. Finally, the emission spectra of the different material compositions and their relative light output are presented.


title: EMF-Constrained Artificial Noise for Secrecy Rates with Stochastic Eavesdropper Channels

abstract: An information-theoretic confidential communication is achievable if the eavesdropper has a degraded channel compared to the legitimate receiver. In wireless channels, beamforming and artificial noise can enable such confidentiality. However, only distribution knowledge of the eavesdropper channels can be assumed. Moreover, the transmission of artificial noise can lead to an increased electromagnetic field (EMF) exposure, which depends on the considered location and can thus also be seen as a random variable. Hence, we optimize the $\varepsilon$-outage secrecy rate under a $\delta$-outage exposure constraint in a setup, where the base station (BS) is communicating to a user equipment (UE), while a single-antenna eavesdropper with Rayleigh distributed channels is present. Therefore, we calculate the secrecy outage probability (SOP) in closed-form. Based on this, we convexify the optimization problem and optimize the $\varepsilon$-outage secrecy rate iteratively. Numerical results show that for a moderate exposure constraint, artificial noise from the BS has a relatively large impact due to beamforming, while for a strict exposure constraint artificial noise from the UE is more important.


title: The Rate-Distortion-Perception-Classification Tradeoff: Joint Source Coding and Modulation via Inverse-Domain GANs

abstract: The joint source-channel coding (JSCC) framework leverages deep learning to learn from data the best codes for source and channel coding. When the output signal, rather than being binary, is directly mapped onto the IQ domain (complex-valued), we call the resulting framework joint source coding and modulation (JSCM). We consider a JSCM scenario and show the existence of a strict tradeoff between channel rate, distortion, perception, and classification accuracy, a tradeoff that we name RDPC. We then propose two image compression methods to navigate that tradeoff: the RDPCO algorithm which, under simple assumptions, directly solves the optimization problem characterizing the tradeoff, and an algorithm based on an inverse-domain generative adversarial network (ID-GAN), which is more general and achieves extreme compression. Simulation results corroborate the theoretical findings, showing that both algorithms exhibit the RDPC tradeoff. They also demonstrate that the proposed ID-GAN algorithm effectively balances image distortion, perception, and classification accuracy, and significantly outperforms traditional separation-based methods and recent deep JSCM architectures in terms of one or more of these metrics.


title: The Value of Mediation in Long Cheap Talk

abstract: In this paper, we study an extension of the classic long cheap talk equilibrium introduced by Aumann and Hart~\citeN{aumann-hart-03}, and ask how much can the players benefit from having a trusted mediator compared with the standard unmediated model. We focus on a setting where a fully informed sender without commitment power must disclose its information to influence the behavior of a self-interested receiver. We show that, in the case of binary actions, even though a mediator does not help neither the sender nor the receiver directly, it may still allow improving the payoff of an external decision-maker whose utility is affected by the realized state and the receiver's action. Moreover, we show that if there are more than two actions, there exist games in which both the sender and the receiver simultaneously benefit from mediation.


title: An Empirical Study on Compliance with Ranking Transparency in the Software Documentation of EU Online Platforms

abstract: Compliance with the European Union's Platform-to-Business (P2B) Regulation is challenging for online platforms, and assessing their compliance can be difficult for public authorities. This is partly due to the lack of automated tools for assessing the information (e.g., software documentation) platforms provide concerning ranking transparency. Our study tackles this issue in two ways. First, we empirically evaluate the compliance of six major platforms (Amazon, Bing, Booking, Google, Tripadvisor, and Yahoo), revealing substantial differences in their documentation. Second, we introduce and test automated compliance assessment tools based on ChatGPT and information retrieval technology. These tools are evaluated against human judgments, showing promising results as reliable proxies for compliance assessments. Our findings could help enhance regulatory compliance and align with the United Nations Sustainable Development Goal 10.3, which seeks to reduce inequality, including business disparities, on these platforms.


title: On support vector machines under a multiple-cost scenario

abstract: Support Vector Machine (SVM) is a powerful tool in binary classification, known to attain excellent misclassification rates. On the other hand, many realworld classification problems, such as those found in medical diagnosis, churn or fraud prediction, involve misclassification costs which may be different in the different classes. However, it may be hard for the user to provide precise values for such misclassification costs, whereas it may be much easier to identify acceptable misclassification rates values. In this paper we propose a novel SVM model in which misclassification costs are considered by incorporating performance constraints in the problem formulation. Specifically, our aim is to seek the hyperplane with maximal margin yielding misclassification rates below given threshold values. Such maximal margin hyperplane is obtained by solving a quadratic convex problem with linear constraints and integer variables. The reported numerical experience shows that our model gives the user control on the misclassification rates in one class (possibly at the expense of an increase in misclassification rates for the other class) and is feasible in terms of running times.


title: Framization of Schur--Weyl duality and Yokonuma--Hecke type algebras

abstract: We study framizations of algebras through the idea of Schur--Weyl duality. We provide a general setting in which framizations of algebras such as the Yokonuma--Hecke algebra naturally appear and we obtain this way a Schur--Weyl duality for many examples of these algebras which were introduced in the study of knots and links. We thereby provide an interpretation of these algebras from the point of view of representations of quantum groups. In this approach the usual braid groups is replaced by the framed braid groups. This gives a natural procedure to construct framizations of algebras and we discuss in particular a new framized version of the Birman--Murakami--Wenzl algebra. The general setting is also extended to encompass the situation where the usual braid group is replaced by the so-called tied braids algebra, and this allows to collect in our approach even more examples of algebras introduced in the knots and links setting.


title: Cavitation in elastomers: A review of the evidence against elasticity

abstract: In spite of the growing body of evidence against it, the elasticity view of the phenomenon of cavitation in elastomers continues to be utilized in numerous studies. In this context, the main objective of this paper is to provide a comprehensive review of the existing evidence that settles that cavitation in elastomers is \emph{not} a purely elastic phenomenon. To that end, a review is first given of the experimental observations of cavitation in elastomers -- gathered since the 1930s until present times -- as well as of its theoretical description as an elastic phenomenon -- whose development started in the 1950s and was substantially completed by the 2010s. The latter is then confronted to the former to pinpoint the reasons why the elastic behavior of elastomers cannot possibly explain the experimental observations. The last part of the paper includes a brief summary of the current view of cavitation as a fracture phenomenon and an outlook for the field in that direction.


title: Semantic Parsing for Complex Data Retrieval: Targeting Query Plans vs. SQL for No-Code Access to Relational Databases

abstract: Large Language Models (LLMs) have spurred progress in text-to-SQL, the task of generating SQL queries from natural language questions based on a given database schema. Despite the declarative nature of SQL, it continues to be a complex programming language. In this paper, we investigate the potential of an alternative query language with simpler syntax and modular specification of complex queries. The purpose is to create a query language that can be learned more easily by modern neural semantic parsing architectures while also enabling non-programmers to better assess the validity of the query plans produced by an interactive query plan assistant. The proposed alternative query language is called Query Plan Language (QPL). It is designed to be modular and can be translated into a restricted form of SQL Common Table Expressions (CTEs). The aim of QPL is to make complex data retrieval accessible to non-programmers by allowing users to express their questions in natural language while also providing an easier-to-verify target language. The paper demonstrates how neural LLMs can benefit from QPL's modularity to generate complex query plans in a compositional manner. This involves a question decomposition strategy and a planning stage. We conduct experiments on a version of the Spider text-to-SQL dataset that has been converted to QPL. The hierarchical structure of QPL programs enables us to measure query complexity naturally. Based on this assessment, we identify the low accuracy of existing text-to-SQL systems on complex compositional queries. We present ways to address the challenge of complex queries in an iterative, user-controlled manner, using fine-tuned LLMs and a variety of prompting strategies in a compositional manner.


title: Disorder-induced non-linear growth of viscously-unstable immiscible two-phase flow fingers in porous media

abstract: The immiscible displacement of a fluid by another one inside a porous medium produces different types of patterns depending on the capillary number Ca and viscosity ratio M. At high Ca, viscous fingers resulting from the viscous instability between fluid-fluid interfaces are believed to exhibit the same Laplacian growth behavior as viscously-unstable fingers observed in Hele-Shaw cells by Saffman and Taylor [1], or as diffusion limited aggregates (DLA) [2]. I.e., the interface velocity depends linearly on the local gradient of the physical field that drives the growth process (for two-phase flow, the pressure field). However, steady-state two-phase flow in porous media is known to exhibit a regime for which the flow rate depends as a non-linear power law on the global pressure drop, due to the disorder in the capillary barriers at pore throats. A similar nonlinear growth regime was also evidenced experimentally for viscously-unstable drainage in two-dimensional porous media 20 years ago [3]. Here we revisit this flow regime using dynamic pore-network modeling, and explore the non-linearity in the growth properties. We characterize the previously-unstudied dependencies of the statistical finger width and nonlinear growth law's exponent on Ca, and discuss quantitatively, based on theoretical arguments, how disorder in the capillary barriers controls the growth process' non-linearity, and why the flow regime crosses over to Laplacian growth at sufficiently high Ca. In addition, the statistical properties of the fingering patterns are compared to those of Saffman-Taylor fingers, DLA growth patterns, and the results from the aforementioned previous experimental study.


title: Stable cohomology of moduli spaces of hyperelliptic curves on Hirzebruch surfaces

abstract: We compute the stable cohomology of moduli spaces of hyperelliptic curves of a fixed genus embedded on a fixed Hirzebruch surface. We also describe these moduli spaces of embedded hyperelliptic curves in terms of moduli spaces of pointed non-embedded hyperelliptic curves.


title: Stabilized SQP Methods in Hilbert Spaces

abstract: Based on techniques by (S.J. Wright 1998) for finite-dimensional optimization, we investigate a stabilized sequential quadratic programming method for nonlinear optimization problems in infinite-dimensional Hilbert spaces. The method is shown to achieve fast local convergence even in the absence of a constraint qualification, generalizing the results obtained by (S.J. Wright 1998 and W.W. Hager 1999) in finite dimensions to this broader setting.


title: A connection between discrete and regularized Laplacian determinants on fractals

abstract: The spectral zeta function of the Laplacian on self-similar fractal sets has been previously studied and shown to meromorphically extend to the complex plane. In this work we establish under certain conditions a relationship between the logarithm of the determinant of the discrete graph Laplacian on the sequence of graphs approximating the fractal and the regularized determinant which is defined via help of the spectral zeta function. We then at the end present some concrete examples of this phenomenon.


title: Reduced order modelling of fully coupled electro-mechanical systems through invariant manifolds with applications to microstructures

abstract: This paper presents the first application of the direct parametrisation method for invariant manifolds to a fully coupled multiphysics problem involving the nonlinear vibrations of deformable structures subjected to an electrostatic field. The formulation proposed is intended for model order reduction of electrostatically actuated resonating Micro-Electro-Mechanical Systems (MEMS). The continuous problem is first rewritten in a manner that can be directly handled by the parametrisation method, which relies upon automated asymptotic expansions. A new mixed fully Lagrangian formulation is thus proposed which contains only explicit polynomial nonlinearities, which is then discretised in the framework of finite element procedures. Validation is performed on the classical parallel plate configuration, where different formulations using either the general framework, or an approximation of the electrostatic field due to the geometric configuration selected, are compared. Reduced-order models along these formulations are also compared to full-order simulations operated with a time integration approach. Numerical results show a remarkable performance both in terms of accuracy and wealth of nonlinear effects that can be accounted for. In particular, the transition from hardening to softening behaviour of the primary resonance while increasing the constant voltage component of the electric actuation, is recovered. Secondary resonances leading to superharmonic and parametric resonances are also investigated with the reduced-order model.


title: Use large language models to promote equity

abstract: Advances in large language models (LLMs) have driven an explosion of interest about their societal impacts. Much of the discourse around how they will impact social equity has been cautionary or negative, focusing on questions like "how might LLMs be biased and how would we mitigate those biases?" This is a vital discussion: the ways in which AI generally, and LLMs specifically, can entrench biases have been well-documented. But equally vital, and much less discussed, is the more opportunity-focused counterpoint: "what promising applications do LLMs enable that could promote equity?" If LLMs are to enable a more equitable world, it is not enough just to play defense against their biases and failure modes. We must also go on offense, applying them positively to equity-enhancing use cases to increase opportunities for underserved groups and reduce societal discrimination. There are many choices which determine the impact of AI, and a fundamental choice very early in the pipeline is the problems we choose to apply it to. If we focus only later in the pipeline -- making LLMs marginally more fair as they facilitate use cases which intrinsically entrench power -- we will miss an important opportunity to guide them to equitable impacts. Here, we highlight the emerging potential of LLMs to promote equity by presenting four newly possible, promising research directions, while keeping risks and cautionary points in clear view.


title: Quantum repeater node with free-space coupled trapped ions

abstract: The quantum repeater cell is a basic building block for a quantum network, as it allows to overcome the distance limitations due to unavoidable fiber loss in direct transmission. We demonstrate the implementation of a quantum repeater cell, based on two free-space coupled $^{40}$Ca$^+$ ions in the same trap that act as quantum memories. We demonstrate the asynchronous generation of atom-photon and photon-photon entanglement by controlled emission of single photons from the individually addressed ions and entanglement swapping. We discuss the fidelity as well as the scaling of the generated rate.


title: The Effects of Signal-to-Noise Ratio on Generative Adversarial Networks Applied to Marine Bioacoustic Data

abstract: In recent years generative adversarial networks (GANs) have been used to supplement datasets within the field of marine bioacoustics. This is driven by factors such as the cost to collect data, data sparsity and aid preprocessing. One notable challenge with marine bioacoustic data is the low signal-to-noise ratio (SNR) posing difficulty when applying deep learning techniques such as GANs. This work investigates the effect SNR has on the audio-based GAN performance and examines three different evaluation methodologies for GAN performance, yielding interesting results on the effects of SNR on GANs, specifically WaveGAN.


title: The Geometry of Quantum Computing

abstract: In this expository paper we present a brief introduction to the geometrical modeling of some quantum computing problems. After a brief introduction to establish the terminology, we focus on quantum information geometry and ZX-calculus, establishing a connection between quantum computing questions and quantum groups, i.e. Hopf algebras.


title: A Tricycle Model to Accurately Control an Autonomous Racecar with Locked Differential

abstract: In this paper, we present a novel formulation to model the effects of a locked differential on the lateral dynamics of an autonomous open-wheel racecar. The model is used in a Model Predictive Controller in which we included a micro-steps discretization approach to accurately linearize the dynamics and produce a prediction suitable for real-time implementation. The stability analysis of the model is presented, as well as a brief description of the overall planning and control scheme which includes an offline trajectory generation pipeline, an online local speed profile planner, and a low-level longitudinal controller. An improvement of the lateral path tracking is demonstrated in preliminary experimental results that have been produced on a Dallara AV-21 during the first Indy Autonomous Challenge event on the Monza F1 racetrack. Final adjustments and tuning have been performed in a high-fidelity simulator demonstrating the effectiveness of the solution when performing close to the tire limits.


title: Observational Signatures of AGN Feedback in the Morphology and the Ionization States of Milky Way-like Galaxies

abstract: We make an in-depth analysis of different AGN jet models' signatures, inducing quiescence in galaxies with a halo mass of $10^{12} M_\odot$. Three jet models, including cosmic ray-dominant, hot thermal, and precessing kinetic jets, are studied at two energy flux levels each, compared to a jet-free, stellar feedback-only simulation. We examine the distribution of Mg II, O VI, and O VIII ions, alongside gas temperature and density profiles. Low-energy ions, like Mg II, concentrate in the ISM, while higher energy ions, e.g., O VIII, prevail at the AGN jet cocoon's edge. High-energy flux jets display an isotropic ion distribution with lower overall density. High-energy thermal or cosmic ray jets pressurize at smaller radii, significantly suppressing core density. The cosmic ray jet provides extra pressure support, extending cool and warm gas distribution. A break in the ion-to-mass ratio slope in O VI and O VIII is demonstrated in the ISM-to-CGM transition (between 10-30 kpc), growing smoothly towards the CGM at greater distances.


title: Accurate, scalable, and efficient Bayesian Optimal Experimental Design with derivative-informed neural operators

abstract: We consider optimal experimental design (OED) problems in selecting the most informative observation sensors to estimate model parameters in a Bayesian framework. Such problems are computationally prohibitive when the parameter-to-observable (PtO) map is expensive to evaluate, the parameters are high-dimensional, and the optimization for sensor selection is combinatorial and high-dimensional. To address these challenges, we develop an accurate, scalable, and efficient computational framework based on derivative-informed neural operators (DINOs). The derivative of the PtO map is essential for accurate evaluation of the optimality criteria of OED in our consideration. We take the key advantage of DINOs, a class of neural operators trained with derivative information, to achieve high approximate accuracy of not only the PtO map but also, more importantly, its derivative. Moreover, we develop scalable and efficient computation of the optimality criteria based on DINOs and propose a modified swapping greedy algorithm for its optimization. We demonstrate that the proposed method is scalable to preserve the accuracy for increasing parameter dimensions and achieves high computational efficiency, with an over 1000x speedup accounting for both offline construction and online evaluation costs, compared to high-fidelity Bayesian OED solutions for a three-dimensional nonlinear convection-diffusion-reaction example with tens of thousands of parameters.


title: Local site behavior of the 5d and 4f ions in the frustrated pyrochlore Ho2Os2O7

abstract: The pyrochlore osmate Ho2Os2O7 is a candidate material for a fragile J=0 local singlet ground state, however little is known regarding the single-ion behavior of either the Os or Ho ions. To address this we present polarized neutron powder diffraction (PNPD) and resonant inelastic x-ray scattering (RIXS) measurements that separately probe the local site behavior of the Os and Ho ions. The PNPD results are dominated by Ho3+ scattering and the analysis reveals local site susceptibility behavior consistent with spin ice materials. Complimentary unpolarized neutron powder diffraction show an ordered spin ice ground state in an applied magnetic field. To isolate the Os4+ single-ion behavior we present resonant inelastic x-ray scattering (RIXS) measurements at the osmium L-edge. Analysis of the RIXS spectra parameterize the spin-orbit coupling (0.35 eV), Hund's coupling (0.27 eV) and trigonal distortion (-0.17 eV). The results are considered within the context of a J=0 model and possible departures from this through structural distortions, excitonic interactions and 5d-4f interactions between the Os ion and the surrounding Ho lattice. The experimental methodology employed highlights the complimentary information available in rare earth based 5d pyrochlores from distinct neutron and x-ray scattering techniques that allow for the isolation and determination of the behavior of the different ions.


title: PARDINUS: Weakly supervised discarding of photo-trapping empty images based on autoencoders

abstract: Photo-trapping cameras are widely employed for wildlife monitoring. Those cameras take photographs when motion is detected to capture images where animals appear. A significant portion of these images are empty - no wildlife appears in the image. Filtering out those images is not a trivial task since it requires hours of manual work from biologists. Therefore, there is a notable interest in automating this task. Automatic discarding of empty photo-trapping images is still an open field in the area of Machine Learning. Existing solutions often rely on state-of-the-art supervised convolutional neural networks that require the annotation of the images in the training phase. PARDINUS (Weakly suPervised discARDINg of photo-trapping empty images based on aUtoencoderS) is constructed on the foundation of weakly supervised learning and proves that this approach equals or even surpasses other fully supervised methods that require further labeling work.


title: Stable matchings with correlated Preferences

abstract: The stable matching problem has been the subject of intense theoretical and empirical study since the seminal 1962 paper by Gale and Shapley. The number of stable matchings for different systems of preferences has been studied in many contexts, going back to Donald Knuth in the 1970s. In this paper, we consider a family of distributions defined by the Mallows permutations and show that with high probability the number of stable matchings for these preferences is exponential in the number of people.


title: Classification of generalised higher-order Einstein-Maxwell Lagrangians

abstract: We classify all higher-order generalised Einstein-Maxwell Lagrangians that include terms linear in the curvature tensor and quadratic in the derivatives of the electromagnetic field strength tensor. Using redundancies due to the Bianchi identities, dimensionally dependent identities and boundary terms, we show that a general Lagrangian of this form can always be reduced to a linear combination of only 21 terms, with coefficients that are arbitrary functions of the two scalar invariants derived from the field strength. We give an explicit choice of basis where these 21 terms include 3 terms linear in the Riemann tensor and 18 terms quadratic in the derivatives of the field strength.


title: SuperVortexNet: Reconstructing Superfluid Vortex Filaments Using Deep Learning

abstract: We introduce a novel approach to the three-dimensional reconstruction of superfluid vortex filaments using deep convolutional neural networks. Superfluid vortices, quantum mechanical phenomena of immense scientific interest, are challenging to image due to their small dimensions and intricate topology. Here, we propose a deep-learning methodology that serves as a proof-of-principle for fully reconstructing the topology of superfluid vortex filaments. We have trained a convolutional neural network on a large dataset of simulated superfluid density images obtained by solving the Gross--Pitaevskii equation at scale, enabling it to learn the complex patterns and features inherent to superfluid vortex filaments. The network ingests the integrated density along the axial, coronal, and sagittal directions and outputs the reconstructed superfluid vortex filaments in three dimensions. We demonstrate the success of this approach over a range of vortex densities of simulated isotropic quantum turbulence, enabling access to the characteristic scaling law of the decaying vortex line length.


title: In Markov process, an extremal reversible measure is an extremal invariant measure

abstract: We consider a discrete-time temporally-homogeneous conservative Markov process. We show that extremality of reversible measure implies extremality of invariant measure. Using analogue of Dirichlet form, we modify a proof that in stochastic Ising model (Glauber dynamics), an extreme Gibbs state is an extreme invariant measure.


title: On the dynamical Manin-Mumford conjecture for plane polynomial maps

abstract: We prove the dynamical Manin-Mumford conjecture for regular polynomial maps of A^2 and irreducible curves avoiding super-attracting orbits at infinity, over any field of characteristic 0.


title: A strontium quantum-gas microscope

abstract: The development of quantum-gas microscopes has brought novel ways of probing quantum degenerate many-body systems at the single-atom level. Until now, most of these setups have focused on alkali atoms. Expanding quantum-gas microscopy to alkaline-earth elements will provide new tools, such as SU(N)-symmetric fermionic isotopes or ultranarrow optical transitions, to the field of quantum simulation. Here, we demonstrate the site-resolved imaging of a $^{84}$Sr bosonic quantum gas in a Hubbard-regime optical lattice. The quantum gas is confined by a two-dimensional in-plane lattice and a light-sheet potential, which operate at the strontium clock-magic wavelength of 813.4 nm. We realize fluorescence imaging using the broad 461 nm transition, which provides high spatial resolution. Simultaneously, we perform attractive Sisyphus cooling with the narrow 689 nm intercombination line. We reconstruct the atomic occupation from the fluorescence images, obtaining imaging fidelities above 94%. Finally, we realize a $^{84}$Sr superfluid in the Bose-Hubbard regime. We observe its interference pattern upon expansion, a probe of phase coherence, with single-atom resolution. Our strontium quantum-gas microscope provides a new platform to study dissipative Hubbard models, quantum optics in atomic arrays, and SU(N) fermions at the microscopic level.


title: Enhanced phonon lifetimes with optically controlled single molecules

abstract: We have investigated the phonon dynamics of a single-molecule embedded in a mechanical resonator made of an organic crystal. The whole system is placed in an optical resonator within the bad cavity limit. We have found that the optical control of the molecular population affects the phonon dynamics. Long-lived phonons are obtained when slowing-down the decay dynamics of the molecule via modulation of the transition frequency. The discussed results are also valid for optomechanical setups based on other types of two-level emitters and mechanical resonators.


title: How Smooth Is Attention?

abstract: Self-attention and masked self-attention are at the heart of Transformers' outstanding success. Still, our mathematical understanding of attention, in particular of its Lipschitz properties - which are key when it comes to analyzing robustness and expressive power - is incomplete. We provide a detailed study of the Lipschitz constant of self-attention in several practical scenarios, discussing the impact of the sequence length $n$ and layer normalization on the local Lipschitz constant of both unmasked and masked self-attention. In particular, we show that for inputs of length $n$ in any compact set, the Lipschitz constant of self-attention is bounded by $\sqrt{n}$ up to a constant factor and that this bound is tight for reasonable sequence lengths. When the sequence length $n$ is too large for the previous bound to be tight, which we refer to as the mean-field regime, we provide an upper bound and a matching lower bound which are independent of $n$. Our mean-field framework for masked self-attention is novel and of independent interest. Our experiments on pretrained and randomly initialized BERT and GPT-2 support our theoretical findings.


title: AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators

abstract: This paper addresses the need for automatic and efficient generation of host driver code for arbitrary custom AXI-based accelerators targeting linear algebra algorithms, an important workload in various applications, including machine learning and scientific computing. While existing tools have focused on automating accelerator prototyping, little attention has been paid to the host-accelerator interaction. This paper introduces AXI4MLIR, an extension of the MLIR compiler framework designed to facilitate the automated generation of host-accelerator driver code. With new MLIR attributes and transformations, AXI4MLIR empowers users to specify accelerator features (including their instructions) and communication patterns and exploit the host memory hierarchy. We demonstrate AXI4MLIR's versatility across different types of accelerators and problems, showcasing significant CPU cache reference reductions (up to 56%) and up to a 1.65x speedup compared to manually optimized driver code implementations. AXI4MLIR implementation is open-source and available at: https://github.com/AXI4MLIR/axi4mlir.


title: Scattering of scalar and tensor glueballs

abstract: The scalar glueball, the lightest state in the gluonic Yang-Mills (YM) sector of QCD, is stable in that framework. The scattering of two scalar glueballs is therefore a well defined process in YM, which can be studied with the tools of quantum field theory and partial wave analysis. By using a dilaton Lagrangian, which contains a single dimensionful parameter $\Lambda_G$, in the context of proper unitarization procedures, we find that a bound state is expected to form in the $S$-wave if $\Lambda_G$ is below a certain critical value. Additionally, we also evaluate the impact of a cutoff function on the obtained results and we discuss possible future comparison of our model with Lattice QCD and, eventually, with experimental searches. We show that the expansion into partial wave can also be useful (together with the covariant helicity formalism) in the study of decays of mesons. This method allows us to describe the ratio between two different waves in the same decays. We use this information to describe decay widths and other relevant quantities. Moreover, we show that the results obtained using the covariant helicity formalism do not change when rotating the reference frame centered in the decaying particle. In this way, an alternative calculation scheme is presented. Finally, we use the so-called Glueball Resonance Gas (GRG) model to describe the thermal properties of YM below the critical temperature for deconfinement. The quantities obtained from this model (such as the pressure) can be compared with those obtained from lattice works. The contribution of heavier glueballs and the interaction between scalar and tensor glueballs turns out to be rather small. Within this context, the scattering of two tensor glueballs, required to estimate its contribution in the GRG model, is investigated in detail.


title: Polar Duality and the Reconstruction of Quantum Covariance Matrices from Partial Data

abstract: We address the problem of the reconstruction of quantum covariance matrices using the notion of Lagrangian and symplectic polar duality introduced in previous work. We apply our constructions to Gaussian quantum states which leads to a non-trivial generalization of Pauli's reconstruction problem and we state a simple tomographic characterization of such states.


title: An investigation of belief-free DRL and MCTS for inspection and maintenance planning

abstract: We propose a novel Deep Reinforcement Learning (DRL) architecture for sequential decision processes under uncertainty, as encountered in inspection and maintenance (I&M) planning. Unlike other DRL algorithms for (I&M) planning, the proposed +RQN architecture dispenses with computing the belief state and directly handles erroneous observations instead. We apply the algorithm to a basic I&M planning problem for a one-component system subject to deterioration. In addition, we investigate the performance of Monte Carlo tree search for the I&M problem and compare it to the +RQN. The comparison includes a statistical analysis of the two methods' resulting policies, as well as their visualization in the belief space.


title: Tensor Renormalization Group Methods for Quantum Real-time Evolution

abstract: Ab-initio calculations of real-time evolution for lattice gauge theory have very interesting potential applications but present challenging computational aspects. We show that tensor renormalization group methods developed in the context of Euclidean-time lattice field theory can be applied to calculation of Trotterized evolution operators at real time. We discuss the optimization of truncation procedures for various observables. We apply the numerical methods to the 1D Quantum Ising Model with an external transverse field in the ordered phase and compare with universal quantum computing for $N_{s}=4$ and 8 sites.


title: Eco-evolutionary dynamics of cooperative antimicrobial resistance in a population of fluctuating volume and size

abstract: Antimicrobial resistance to drugs (AMR), a global threat to human and animal health, is often regarded as resulting from cooperative behaviour. Moreover, microbes generally evolve in volatile environments that, together with demographic fluctuations (birth and death events), drastically alter population size and strain survival. Motivated by the need to better understand the evolution of AMR, we study a population of time-varying size consisting of two competing strains, one drug-resistant and one drug-sensitive, subject to demographic and environmental variability. This is modelled by a binary carrying capacity randomly switching between mild and harsh environmental conditions, and driving the fluctuating volume (total amount of nutrients and antimicrobials at fixed concentration), and thus the size of the community (number of resistant and sensitive cells). We assume that AMR is a shared public good when the concentration of resistant cells exceeds a fixed concentration cooperation threshold, above which the sensitive strain has a growth advantage, whereas resistant cells dominate below it. Using computational means, and devising an analytical treatment (built on suitable quenched and annealed averaging procedures), we fully characterise the influence of fluctuations on the eco-evolutionary dynamics of AMR, and notably obtain specific strain fixation and long-lasting coexistence probabilities as a function of the environmental variation rate and cooperation threshold. We find that microbial strains tend to coexistence, but demographic fluctuations eventually lead to the extinction of resistant or sensitive cells for small or large values of the concentration cooperation threshold, respectively. This also holds for dynamic environments, whose specific properties determine the extinction timescale.

categories: q-bio.PE cond-mat.stat-mech nlin.AO physics.bio-ph


title: On the smooth locus of affine Schubert varieties

abstract: We give a simple and uniform proof of a conjecture of Haines-Richarz characterizing the smooth locus of Schubert varieties in twisted affine Grassmannians. Our method is elementary and avoids any representation theoretic techniques, instead relying on a combinatorial analysis of tangent spaces of Schubert varieties.


title: Plan, Posture and Go: Towards Open-World Text-to-Motion Generation

abstract: Conventional text-to-motion generation methods are usually trained on limited text-motion pairs, making them hard to generalize to open-world scenarios. Some works use the CLIP model to align the motion space and the text space, aiming to enable motion generation from natural language motion descriptions. However, they are still constrained to generate limited and unrealistic in-place motions. To address these issues, we present a divide-and-conquer framework named PRO-Motion, which consists of three modules as motion planner, posture-diffuser and go-diffuser. The motion planner instructs Large Language Models (LLMs) to generate a sequence of scripts describing the key postures in the target motion. Differing from natural languages, the scripts can describe all possible postures following very simple text templates. This significantly reduces the complexity of posture-diffuser, which transforms a script to a posture, paving the way for open-world generation. Finally, go-diffuser, implemented as another diffusion model, estimates whole-body translations and rotations for all postures, resulting in realistic motions. Experimental results have shown the superiority of our method with other counterparts, and demonstrated its capability of generating diverse and realistic motions from complex open-world prompts such as "Experiencing a profound sense of joy". The project page is available at https://moonsliu.github.io/Pro-Motion.


title: Neural network models for preferential concentration of particles in two-dimensional turbulence

abstract: Cluster and void formations are key processes in the dynamics of particle-laden turbulence. In this work, we assess the performance of various neural network models for synthesizing preferential concentration fields of particles in turbulence. A database of direct numerical simulations of homogeneous isotropic two-dimensional turbulence with one-way coupled inertial point particles, is used to train the models using vorticity as the input to predict the particle number density fields. We compare autoencoder, U--Net, generative adversarial network (GAN), and diffusion model approaches, and assess the statistical properties of the generated particle number density fields. We find that the GANs are superior in predicting clusters and voids, and therefore result in the best performance. Additionally, we explore a concept of ``supersampling", where neural networks can be used to predict full particle data using only the information of few particles, which yields promising perspectives for reducing the computational cost of expensive DNS computations by avoiding the tracking of millions of particles. We also explore the inverse problem of synthesizing the enstrophy fields using the particle number density distribution as the input at different Stokes numbers. Hence, our study also indicates the potential use of neural networks to predict turbulent flow statistics using experimental measurements of inertial particles.


title: Dreaming of Electrical Waves: Generative Modeling of Cardiac Excitation Waves using Diffusion Models

abstract: Electrical waves in the heart form rotating spiral or scroll waves during life-threatening arrhythmias such as atrial or ventricular fibrillation. The wave dynamics are typically modeled using coupled partial differential equations, which describe reaction-diffusion dynamics in excitable media. More recently, data-driven generative modeling has emerged as an alternative to generate spatio-temporal patterns in physical and biological systems. Here, we explore denoising diffusion probabilistic models for the generative modeling of electrical wave patterns in cardiac tissue. We trained diffusion models with simulated electrical wave patterns to be able to generate such wave patterns in unconditional and conditional generation tasks. For instance, we explored the diffusion-based i) parameter-specific generation, ii) evolution and iii) inpainting of spiral wave dynamics, including reconstructing three-dimensional scroll wave dynamics from superficial two-dimensional measurements. Further, we generated arbitrarily shaped bi-ventricular geometries and simultaneously initiated scroll wave patterns inside these geometries using diffusion. We characterized and compared the diffusion-generated solutions to solutions obtained with corresponding biophysical models and found that diffusion models learn to replicate spiral and scroll waves dynamics so well that they could be used for data-driven modeling of excitation waves in cardiac tissue. For instance, an ensemble of diffusion-generated spiral wave dynamics exhibits similar self-termination statistics as the corresponding ensemble simulated with a biophysical model. However, we also found that diffusion models {produce artifacts if training data is lacking, e.g. during self-termination,} and `hallucinate' wave patterns when insufficiently constrained.

categories: physics.med-ph cs.CV eess.IV physics.bio-ph q-bio.TO


title: Asynchronous Composition of LTL Properties over Infinite and Finite Traces

abstract: The verification of asynchronous software components poses significant challenges due to the way components interleave and exchange input/output data concurrently. Compositional strategies aim to address this by separating the task of verifying individual components on local properties from the task of combining them to achieve global properties. This paper concentrates on employing symbolic model checking techniques to verify properties specified in Linear-time Temporal Logic (LTL) on asynchronous software components that interact through data ports. Unlike event-based composition, local properties can now impose constraints on input from other components, increasing the complexity of their composition. We consider both the standard semantics over infinite traces as well as the truncated semantics over finite traces to allow scheduling components only finitely many times. We propose a novel LTL rewriting approach, which converts a local property into a global one while considering the interleaving of infinite or finite execution traces of components. We prove the semantic equivalence of local properties and their rewritten version projected on the local symbols. The rewriting is also optimized to reduce formula size and to leave it unchanged when the temporal property is stutter invariant. These methods have been integrated into the OCRA tool, as part of the contract refinement verification suite. Finally, the different composition approaches were compared through an experimental evaluation that covers various types of specifications.


title: cuPDLP-C: A Strengthened Implementation of cuPDLP for Linear Programming by C language

abstract: A recent GPU implementation of the Restarted Primal-Dual Hybrid Gradient Method for Linear Programming was proposed in Lu and Yang (2023). Its computational results demonstrate the significant computational advantages of the GPU-based first-order algorithm on certain large-scale problems. The average performance also achieves a level close to commercial solvers for the first time in history. However, due to limitations in experimental hardware and the disadvantage of implementing the algorithm in Julia compared to C language, neither the commercial solver nor cuPDLP reached their maximum efficiency. Therefore, in this report, we have re-implemented and optimized cuPDLP in C language. Utilizing state-of-the-art CPU and GPU hardware, we extensively compare cuPDLP with the best commercial solvers. The experiments further highlight its substantial computational advantages and potential for solving large-scale linear programming problems. We also discuss the profound impact this breakthrough may have on mathematical programming research and the entire operations research community.


title: A Comptonized Fireball Bubble Fits the Second Extragalactic Magnetar Giant Flare GRB 231115A

abstract: Magnetar giant flares (MGFs), originating from noncatastrophic magnetars, share noteworthy similarities with some short gamma-ray bursts (GRBs). However, understanding their detailed origin and radiation mechanisms remains challenging due to limited observations. The discovery of MGF GRB 231115A, the second extragalactic MGF located in the Cigar galaxy at a luminosity distance of $\sim 3.5$ Mpc, offers yet another significant opportunity for gaining insights into the aforementioned topics. This Letter explores its temporal properties and conducts a comprehensive analysis of both the time-integrated and time-resolved spectra through empirical and physical model fitting. Our results reveal certain properties of GRB 231115A that bear resemblances to GRB 200415A. We employ a Comptonized fireball bubble model, in which the Compton cloud, formed by the magnetar wind with high density $e^{\pm}$, undergoes Compton scattering and inverse Compton scattering, resulting in reshaped thermal spectra from the expanding fireball at the photosphere radius. This leads to dynamic shifts in dominant emission features over time. Our model successfully fits the observed data, providing a constrained physical picture, such as a trapped fireball with a radius of $\sim 1.95 \times 10^{5}$ cm and a high local magnetic field of $2.5\times 10^{16}$ G. The derived peak energy and isotropic energy of the event further confirm the burst's MGF origin and its contribution to the MGF-GRB sample. We also discuss prospects for further gravitational wave detection associated with MGFs, given their high-event-rate density ($\sim 8\times 10^5\ \rm Gpc^{-3}\ yr^{-1}$) and ultrahigh local magnetic field.


title: Prototype-Guided Text-based Person Search based on Rich Chinese Descriptions

abstract: Text-based person search aims to simultaneously localize and identify the target person based on query text from uncropped scene images, which can be regarded as the unified task of person detection and text-based person retrieval task. In this work, we propose a large-scale benchmark dataset named PRW-TPS-CN based on the widely used person search dataset PRW. Our dataset contains 47,102 sentences, which means there is quite more information than existing dataset. These texts precisely describe the person images from top to bottom, which in line with the natural description order. We also provide both Chinese and English descriptions in our dataset for more comprehensive evaluation. These characteristics make our dataset more applicable. To alleviate the inconsistency between person detection and text-based person retrieval, we take advantage of the rich texts in PRW-TPS-CN dataset. We propose to aggregate multiple texts as text prototypes to maintain the prominent text features of a person, which can better reflect the whole character of a person. The overall prototypes lead to generating the image attention map to eliminate the detection misalignment causing the decrease of text-based person retrieval. Thus, the inconsistency between person detection and text-based person retrieval is largely alleviated. We conduct extensive experiments on the PRW-TPS-CN dataset. The experimental results show the PRW-TPS-CN dataset's effectiveness and the state-of-the-art performance of our approach.


title: Classification of 3-GNDB Graphs

abstract: A nonempty graph G is called generalized 3-distance-balanced, (3-GDB) whenever for every edge ab, |Wab|=3|Wba| or conversely. As well as a graph G is called generalized 3-nicely distance-balanced (3-GNDB) whenever for every edge ab of G, there exists a positive integer g, such that: |Wba|=gG. In this paper, we classify 3-GNDB graphs with, gG \in{1,2}.


title: Learning Lagrangian Multipliers for the Travelling Salesman Problem

abstract: Lagrangian relaxation is a versatile mathematical technique employed to relax constraints in an optimization problem, enabling the generation of dual bounds to prove the optimality of feasible solutions and the design of efficient propagators in constraint programming (such as the weighted circuit constraint). However, the conventional process of deriving Lagrangian multipliers (e.g., using subgradient methods) is often computationally intensive, limiting its practicality for large-scale or time-sensitive problems. To address this challenge, we propose an innovative unsupervised learning approach that harnesses the capabilities of graph neural networks to exploit the problem structure, aiming to generate accurate Lagrangian multipliers efficiently. We apply this technique to the well-known Held-Karp Lagrangian relaxation for the travelling salesman problem. The core idea is to predict accurate Lagrangian multipliers and to employ them as a warm start for generating Held-Karp relaxation bounds. These bounds are subsequently utilized to enhance the filtering process carried out by branch-and-bound algorithms. In contrast to much of the existing literature, which primarily focuses on finding feasible solutions, our approach operates on the dual side, demonstrating that learning can also accelerate the proof of optimality. We conduct experiments across various distributions of the metric travelling salesman problem, considering instances with up to 200 cities. The results illustrate that our approach can improve the filtering level of the weighted circuit global constraint, reduce the optimality gap by a factor two for unsolved instances up to a timeout, and reduce the execution time for solved instances by 10%.


title: Fusion of irreducible modules in the periodic Temperley--Lieb algebra

abstract: We propose a new family ${\sf Y}_{k,\ell,x,y,[z,w]}$ of modules over the enlarged periodic Temperley--Lieb algebra ${\sf{\cal E}PTL}_N(\beta)$. These modules are built from link states with two marked points, similarly to the modules ${\sf X}_{k,\ell,x,y,z}$ that we constructed in a previous paper. They however differ in the way that defects connect pairwise. We analyse the decomposition of ${\sf Y}_{k,\ell,x,y,[z,w]}$ over the irreducible standard modules ${\sf W}_{k,x}$ for generic values of the parameters $z$ and $w$, and use it to deduce the fusion rules for the fusion $\sf W \times W$ of standard modules. These turn out to be more symmetric than those obtained previously using the modules ${\sf X}_{k,\ell,x,y,z}$. From the work of Graham and Lehrer, it is known that, for $\beta=-q-q^{-1}$ where $q$ is not a root of unity, there exists a set of non-generic values of the twist $y$ for which the standard module ${\sf W}_{\ell,y}$ is indecomposable yet reducible with two composition factors: a radical submodule ${\sf R}_{\ell,y}$ and a quotient module ${\sf Q}_{\ell,y}$. Here, we construct the fusion products $\sf W\times R$, $\sf W\times Q$ and $\sf Q\times Q$, and analyse their decomposition over indecomposable modules. For the fusions involving the quotient modules ${\sf Q}$, we find very simple results reminiscent of $\mathfrak{sl}(2)$ fusion rules. This construction with modules ${\sf Y}_{k,\ell,x,y,[z,w]}$ is a good lattice regularization of the operator product expansion in the underlying logarithmic bulk conformal field theory. Indeed, it fits with the correspondence between standard modules and connectivity operators, and is useful for the calculation of their correlation functions. Remarkably, we show that the fusion rules $\sf W\times Q$ and $\sf Q\times Q$ are consistent with the known fusion rules of degenerate primary fields.

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


title: Temperature flow in pseudo-Majorana functional renormalization for quantum spins

abstract: We implement the temperature flow scheme first proposed by Honerkamp and Salmhofer in Phys.~Rev.~B 64, 184516 (2001) into the pseudo-Majorana functional renormalization group method for quantum spin systems. Since the renormalization group parameter in this approach is a physical quantity -- the temperature $T$ -- the numerical efficiency increases significantly compared to more conventional renormalization group parameters, especially when computing finite temperature phase diagrams. We first apply this method to determine the finite temperature phase diagram of the $J_1$-$J_2$ Heisenberg model on the simple cubic lattice where our findings support claims of a vanishingly small nonmagnetic phase around the high frustration point $J_2=0.25J_1$. Perhaps most importantly, we find the temperature flow scheme to be advantageous in detecting finite temperature phase transitions as, by construction, a phase transition is never encountered at an artificial, unphysical cutoff parameter. Finally, we apply the temperature flow scheme to the dipolar XXZ model on the square lattice where we find a rich phase diagram with a large non-magnetic regime down to the lowest accessible temperatures. Wherever a comparison with error-controlled (quantum) Monte Carlo methods is applicable, we find excellent quantitative agreement with less than $5\%$ deviation from the numerically exact results.


title: Simulating Parametric Thin Shells by Bicubic Hermite Elements

abstract: In this study, we present the bicubic Hermite element method (BHEM), a new computational framework devised for the elastodynamic simulation of parametric thin-shell structures. The BHEM is constructed based on parametric quadrilateral Hermite patches, which serve as a unified representation for shell geometry, simulation, collision avoidance, as well as rendering. Compared with the commonly utilized linear FEM, the BHEM offers higher-order solution spaces, enabling the capture of more intricate and smoother geometries while employing significantly fewer finite elements. In comparison to other high-order methods, the BHEM achieves conforming $\mathcal{C}^1$ continuity for Kirchhoff-Love (KL) shells with minimal complexity. Furthermore, by leveraging the subdivision and convex hull properties of Hermite patches, we develop an efficient algorithm for ray-patch intersections, facilitating collision handling in simulations and ray tracing in rendering. This eliminates the need for laborious remodeling of the pre-existing parametric surface as the conventional approaches do. We substantiate our claims with comprehensive experiments, which demonstrate the high accuracy and versatility of the proposed method.


title: Hard edge universality of Muttalib-Borodin ensembles with real parameter $\theta$

abstract: We analyse the hard edge limit of the Muttalib-Borodin ensembles with general potential, and show that the limiting correlation kernel found in the ensemble with linear potential is universal. We also prove the Plancherel-Rotach type asymptotics of the biorthogonal polynomials associated to the Muttalib-Borodin ensembles around zero, where the limits are given by Wright's generalized Bessel functions. To accomplish these results, we implement the Deift-Zhou steepest-descent method on the vector Riemann-Hilbert problems for the biorthogonal polynomials, and develop a new method to construct the hard edge local parametrix at zero. The results in this paper are valid for all real parameter $\theta > 0$ in the Muttalib-Borodin ensembles, and this paper generalizes [Wang-Zhang21] that considers only the integer $\theta$ case.


title: Quantitative real-time measurements of dose and dose rate in UHDR proton pencil beams via scintillation imaging system

abstract: Purpose: Ultra-fast scintillation imaging has been shown to provide a unique tool for spatio-temporal dosimetry of conventional cyclotron and synchrocyclotron pencil beam scanning (PBS) deliveries, indicating the potential use for characterization of ultra-UHDR PBS proton beams. The goal of this work is to introduce this novel concept and demonstrate its capabilities in recording complex dose rate maps at FLASH-capable proton beam currents, as compared to log-based dose rate calculation, internally developed UHDR beam simulation, and a fast point detector (EDGE diode). Methods: The light response of a scintillator sheet located at isocenter and irradiated by pencil beam scanning proton fields (40-210 nA, 250 MeV) was imaged by an ultra-fast iCMOS camera at 4.5-12 kHz sampling frequency. Image intensity was calibrated to dose with film and the recorded spatio-temporal data was compared to a PPC05 ion chamber, log-based reconstruction, and EDGE diode. Calculation of full-field mean and PBS dose rate maps were used to highlight the importance of high resolution, full-field information in UHDR studies. Results: Camera response was linear with dose (R2 = 0.997) and current (R2 = 0.98) in the range from 2-22 Gy and 40-210 nA, respectively, when compared to ion chamber readings. Planned and delivered spot positions agreed within 0.2+/-0.1 mm and total irradiation time agreed within 0.2+/-0.2 ms when compared with the log files, indicating the high concurrent spatial and temporal resolution. For all deliveries, the PBS dose rate measured at the diode location agreed between the imaging and the diode within 3+/-2% and with the simulation within 5+/-3%. Conclusion: The high linearity and various spatiotemporal metric reporting capabilities confirm the continued use of this camera system for UHDR beam characterization, especially for spatially resolved dose rate information.


title: High-fidelity experimental model verification for flow in fractured porous media

abstract: Mixed-dimensional mathematical models for flow in fractured media have been prevalent in the modeling community for almost two decades, utilizing the explicit representation of fractures by lower-dimensional manifolds embedded in the surrounding porous media. In this work, for the first time, direct qualitative and quantitative comparisons of mixed-dimensional models are drawn against laboratory experiments. Dedicated displacement experiments of steady-state laminar flow in fractured media are investigated using both high-resolution PET images as well as state-of-the-art numerical simulations.


title: SusDevOps: Promoting Sustainability to a First Principle in Software Engineering

abstract: Sustainability is becoming a key property of modern software systems. While there is a substantial and growing body of knowledge on engineering sustainable software, end-to-end frameworks that situate sustainability-related activities within the software delivery lifecycle are missing. In this article, we propose the SusDevOps framework that promotes sustainability to a first principle within a DevOps context. We demonstrate the lifecycle phases and techniques of SusDevOps through the case of a software development startup company.


title: An Implantable Piezofilm Middle Ear Microphone: Performance in Human Cadaveric Temporal Bones

abstract: Purpose: One of the major reasons that totally implantable cochlear microphones are not readily available is the lack of good implantable microphones. An implantable microphone has the potential to provide a range of benefits over external microphones for cochlear implant users including the filtering ability of the outer ear, cosmetics, and usability in all situations. This paper presents results from experiments in human cadaveric ears of a piezofilm microphone concept under development as a possible component of a future implantable microphone system for use with cochlear implants. This microphone is referred to here as a drum microphone (DrumMic) that senses the robust and predictable motion of the umbo, the tip of the malleus. Methods: The performance was measured of five DrumMics inserted in four different human cadaveric temporal bones. Sensitivity, linearity, bandwidth, and equivalent input noise were measured during these experiments using a sound stimulus and measurement setup. Results: The sensitivity of the DrumMics was found to be tightly clustered across different microphones and ears despite differences in umbo and middle ear anatomy. The DrumMics were shown to behave linearly across a large dynamic range (46 dB SPL to 100 dB SPL) across a wide bandwidth (100 Hz to 8 kHz). The equivalent input noise (0.1-10 kHz) of the DrumMic and amplifier referenced to the ear canal was measured to be 54 dB SPL and estimated to be 46 dB SPL after accounting for the pressure gain of the outer ear. Conclusion: The results demonstrate that the DrumMic behaves robustly across ears and fabrication. The equivalent input noise performance was shown to approach that of commercial hearing aid microphones. To advance this demonstration of the DrumMic concept to a future prototype implantable in humans, work on encapsulation, biocompatibility, connectorization will be required.


title: On the Use of Metaphor Translation in Psychiatry

abstract: Providing mental healthcare to individuals with limited English proficiency (LEP) remains a pressing problem within psychiatry. Because the majority of individuals trained in providing psychiatric care are English speakers, the quality of mental healthcare given to LEP patients is significantly lower than that provided for English speakers. The provision of mental healthcare is contingent on communication and understanding between the patient and healthcare provider, much more so than in the realm of physical healthcare, and English speakers are often unable to comprehend figurative language such as metaphors used by LEPs. Hence, Figurative Language Translation is invaluable to providing equitable psychiatric care. Now, metaphor has been shown to be paramount in both identifying individuals struggling with mental problems and helping those individuals understand and communicate their experiences. Therefore, this paper aims to survey the potential of Machine Translation for providing equitable psychiatric healthcare and highlights the need for further research on the transferability of existing machine and metaphor translation research in the domain of psychiatry.


title: Simulating a two component Bose-Hubbard model with imbalanced hopping in a Rydberg tweezer array

abstract: Optical tweezer arrays of neutral atoms provide a versatile platform for quantum simulation due to the range of interactions and Hamiltonians that can be realized and explored. We propose to simulate a two-component Bose-Hubbard model with power-law hopping using arrays of multilevel Rydberg atoms featuring resonant dipolar interactions. The diversity of states that can be used to encode the local Hilbert space of the Bose-Hubbard model enables control of the relative hopping rate of each component and even the realization of spin-flip hopping. We use numerical simulations to show how multilevel Rydberg atoms provide an opportunity to explore the diverse non-equilibrium quench dynamics of the model. For example, we demonstrate a separation of the relaxation timescales of effective spin and charge degrees of freedom, and observe regimes of slow relaxation when the effective hopping rates of the two components are vastly different due to dynamical constraints arising from hardcore boson interactions. We discuss prospects for studying these effects in state-of-the-art Rydberg tweezer arrays.


title: Large Scale Training of Graph Neural Networks for Optimal Markov-Chain Partitioning Using the Kemeny Constant

abstract: Traditional clustering algorithms often struggle to capture the complex relationships within graphs and generalise to arbitrary clustering criteria. The emergence of graph neural networks (GNNs) as a powerful framework for learning representations of graph data provides new approaches to solving the problem. Previous work has shown GNNs to be capable of proposing partitionings using a variety of criteria, however, these approaches have not yet been extended to work on Markov chains or kinetic networks. These arise frequently in the study of molecular systems and are of particular interest to the biochemical modelling community. In this work, we propose several GNN-based architectures to tackle the graph partitioning problem for Markov Chains described as kinetic networks. This approach aims to minimize how much a proposed partitioning changes the Kemeny constant. We propose using an encoder-decoder architecture and show how simple GraphSAGE-based GNNs with linear layers can outperform much larger and more expressive attention-based models in this context. As a proof of concept, we first demonstrate the method's ability to cluster randomly connected graphs. We also use a linear chain architecture corresponding to a 1D free energy profile as our kinetic network. Subsequently, we demonstrate the effectiveness of our method through experiments on a data set derived from molecular dynamics. We compare the performance of our method to other partitioning techniques such as PCCA+. We explore the importance of feature and hyperparameter selection and propose a general strategy for large-scale parallel training of GNNs for discovering optimal graph partitionings.


title: Isolated pulsar population synthesis with simulation-based inference

abstract: We combine pulsar population synthesis with simulation-based inference (SBI) to constrain the magnetorotational properties of isolated Galactic radio pulsars. We first develop a framework to model neutron star birth properties and their dynamical and magnetorotational evolution. We specifically sample initial magnetic field strengths, $B$, and spin periods, $P$, from lognormal distributions and capture the late-time magnetic field decay with a power law. Each lognormal is described by a mean, $\mu_{\log B}, \mu_{\log P}$, and standard deviation, $\sigma_{\log B}, \sigma_{\log P}$, while the power law is characterized by the index, $a_{\rm late}$. We subsequently model the stars' radio emission and observational biases to mimic detections with three radio surveys, and we produce a large database of synthetic $P$--$\dot{P}$ diagrams by varying our five magnetorotational input parameters. We then follow an SBI approach that focuses on neural posterior estimation and train deep neural networks to infer the parameters' posterior distributions. After successfully validating these individual neural density estimators on simulated data, we use an ensemble of networks to infer the posterior distributions for the observed pulsar population. We obtain $\mu_{\log B} = 13.10^{+0.08}_{-0.10}$, $\sigma_{\log B} = 0.45^{+0.05}_{-0.05}$ and $\mu_{\log P} = -1.00^{+0.26}_{-0.21}$, $\sigma_{\log P} = 0.38^{+0.33}_{-0.18}$ for the lognormal distributions and $a_{\rm late} = -1.80^{+0.65}_{-0.61}$ for the power law at the $95\%$ credible interval. We contrast our results with previous studies and highlight uncertainties of the inferred $a_{\rm late}$ value. Our approach represents a crucial step toward robust statistical inference for complex population synthesis frameworks and forms the basis for future multiwavelength analyses of Galactic pulsars.


title: Neural-network-based regularization methods for inverse problems in imaging

abstract: This review provides an introduction to - and overview of - the current state of the art in neural-network based regularization methods for inverse problems in imaging. It aims to introduce readers with a solid knowledge in applied mathematics and a basic understanding of neural networks to different concepts of applying neural networks for regularizing inverse problems in imaging. Distinguishing features of this review are, among others, an easily accessible introduction to learned generators and learned priors, in particular diffusion models, for inverse problems, and a section focusing explicitly on existing results in function space analysis of neural-network-based approaches in this context.


title: The exploration-exploitation paradigm: a biophysical approach

abstract: This PhD thesis is essentially the story of a scientific idea, from what it has blossomed, how it has grown, what it might become. My ambition in writing has been to produce an original, coherent and compact narrative. It begins (1) with a discussion of the meaning, ambitions and circumstances of biological physics, as I understand them. Two background chapters discuss (2) the maxent inference by exponential random graph (ERG) models and (3) a theoretical approach to evolutionary dynamics. By generalising the evolutionary problem, the exploration-exploitation (EE) problem for biological dynamics is formalised and studied analytically in toy models (4). It is then used to tackle the brain wiring problem, focusing on the maturation of the C. elegans connectome (5). It is shown that a parsimonious ERG description of the adult worm brain combined with EE dynamics is able to trace the entire developmental trajectory.


title: Spurious self-feedback of mean-field predictions inflates infection curves

abstract: The susceptible-infected-recovered (SIR) model and its variants form the foundation of our understanding of the spread of diseases. Here, each agent can be in one of three states (susceptible, infected, or recovered), and transitions between these states follow a stochastic process. The probability of an agent becoming infected depends on the number of its infected neighbors, hence all agents are correlated. A common mean-field theory of the same stochastic process however, assumes that the agents are statistically independent. This leads to a self-feedback effect in the approximation: when an agent infects its neighbors, this infection may subsequently travel back to the original agent at a later time, leading to a self-infection of the agent which is not present in the underlying stochastic process. We here compute the first order correction to the mean-field assumption, which takes fluctuations up to second order in the interaction strength into account. We find that it cancels the self-feedback effect, leading to smaller infection rates. In the SIR model and in the SIRS model, the correction significantly improves predictions. In particular, it captures how sparsity dampens the spread of the disease: this indicates that reducing the number of contacts is more effective than predicted by mean-field models.


title: TACO: Topics in Algorithmic COde generation dataset

abstract: We introduce TACO, an open-source, large-scale code generation dataset, with a focus on the optics of algorithms, designed to provide a more challenging training dataset and evaluation benchmark in the field of code generation models. TACO includes competition-level programming questions that are more challenging, to enhance or evaluate problem understanding and reasoning abilities in real-world programming scenarios. There are 25433 and 1000 coding problems in training and test set, as well as up to 1.55 million diverse solution answers. Moreover, each TACO problem includes several fine-grained labels such as task topics, algorithms, programming skills, and difficulty levels, providing a more precise reference for the training and evaluation of code generation models. The dataset and evaluation scripts are available on Hugging Face Hub (https://huggingface.co/datasets/BAAI/TACO) and Github (https://github.com/FlagOpen/TACO).


title: In the Line of Fire: A Systematic Review and Meta-Analysis of Job Burnout Among Nurses

abstract: Using a systematic review and meta-analysis, this study investigates the impact of the COVID-19 pandemic on job burnout among nurses. We review healthcare articles following the PRISMA 2020 guidelines and identify the main aspects and factors of burnout among nurses during the pandemic. Using the Maslach Burnout questionnaire, we searched PubMed, ScienceDirect, and Google Scholar, three open-access databases, for relevant sources measuring emotional burnout, personal failure, and nurse depersonalization. Two reviewers extract and screen data from the sources and evaluate the risk of bias. The analysis reveals that 2.75% of nurses experienced job burnout during the pandemic, with a 95% confidence interval and rates varying from 1.87% to 7.75%. These findings emphasize the need for interventions to address the pandemic's effect on job burnout among nurses and enhance their well-being and healthcare quality. We recommend considering individual, organizational, and contextual factors influencing healthcare workers' burnout. Future research should focus on identifying effective interventions to lower burnout in nurses and other healthcare professionals during pandemics and high-stress situations.


title: Supersonic shear wave imaging in stretched soft strips: modeling for quantitative elastography

abstract: Objective - Shear wave elastography has enriched ultrasound medical imaging with quantitative measurements of tissue stiffness. However, this method still suffers from some limitations due to viscoelasticity, guiding geometry or static deformations. Approach - To explore these limitations, a nearly-incompressible soft elastomer strip is chosen to mimic the mechanical behavior of an elongated tissue. A supersonic shear wave scanner measures the propagation of shear waves within the strip. By repeating the experiment on the same sample for different orientations and static strains, the scanner estimates the shear wave velocity in a wide range from 2 to 6 m/s. Main results - The effect of waveguiding is highlighted and the spatio-temporal Fourier transform of the raw data provides dispersion diagrams. We provide a theoretical model that accounts for the static deformation and allows the extraction of the mechanical parameters of the sample, including its rheology and hyperelastic behavior. Significance - To overcome some limitations of current elastography, we propose a method that would allow the simultaneous characterization of the viscoelastic and hyperelastic properties of soft tissues, paving the way for robust quantitative elastography of elongated tissues.


title: Generalised $T\bar{T}$-deformations of classical free particles

abstract: Deformations of many-body Hamiltonians by certain products of conserved currents, referred to as $T\bar{T}$-deformations, are known to preserve integrability. Generalised $T\bar{T}$-deformations, based on the complete space of pseudolocal currents, were suggested [B. Doyon, J, Durnin, T. Yoshimura, Scipost Physics 13, 072 (2022)] to give rise to integrable systems with arbitrary two-body scattering shifts, going beyond those from known models or standard CDD factors. However, locality properties were not clear. We construct explicit generalised $T\bar{T}$-deformations of the system of classical free particles. We show rigorously that they are Liouville integrable Hamiltonian systems with finite-range interactions. We show elastic, factorised scattering, with a two-particle scattering shift that can be any continuously differentiable non-negative even function of momentum differences, fixed by the $T\bar{T}$-deformation function. We show that the scattering map (or wave operator) has a finite-range property allowing us to trace carriers of asymptotic momenta even at finite times - an important characteristics of many-body integrability. We evaluate the free energy and prove the thermodynamic Bethe ansatz with Maxwell-Boltzmann statistics, including with space-varying potentials and in finite and infinite volumes. We give equations for the particles' trajectories where time appears explicitly, generalising the contraction map of hard rod systems: the effect of generalised $T\bar{T}$-deformations is to modify the local metric perceived by each particle, adding extra space in a way that depends on their neighbours. The systems generalise the gas of interacting Bethe ansatz wave packets recently introduced in the Lieb-Liniger model. They form a new class of models that, we believe, most clearly make manifest the structures of many-body integrability.

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


title: Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code

abstract: We present a method for systematically evaluating the correctness and robustness of instruction-tuned large language models (LLMs) for code generation via a new benchmark, Turbulence. Turbulence consists of a large set of natural language $\textit{question templates}$, each of which is a programming problem, parameterised so that it can be asked in many different forms. Each question template has an associated $\textit{test oracle}$ that judges whether a code solution returned by an LLM is correct. Thus, from a single question template, it is possible to ask an LLM a $\textit{neighbourhood}$ of very similar programming questions, and assess the correctness of the result returned for each question. This allows gaps in an LLM's code generation abilities to be identified, including $\textit{anomalies}$ where the LLM correctly solves $\textit{almost all}$ questions in a neighbourhood but fails for particular parameter instantiations. We present experiments against five LLMs from OpenAI, Cohere and Meta, each at two temperature configurations. Our findings show that, across the board, Turbulence is able to reveal gaps in LLM reasoning ability. This goes beyond merely highlighting that LLMs sometimes produce wrong code (which is no surprise): by systematically identifying cases where LLMs are able to solve some problems in a neighbourhood but do not manage to generalise to solve the whole neighbourhood, our method is effective at highlighting $\textit{robustness}$ issues. We present data and examples that shed light on the kinds of mistakes that LLMs make when they return incorrect code results.


title: Investigation of the correlation between optical and $\gamma$-ray flux variation in the blazar Ton 599

abstract: The correlation between optical and $\gamma$-ray flux variations in blazars reveals a complex behaviour. In this study, we present our analysis of the connection between changes in optical and $\gamma$-ray emissions in the blazar Ton 599 over a span of approximately 15 years, from August 2008 to March 2023. Ton 599 reached its highest flux state across the entire electromagnetic spectrum during the second week of January 2023. To investigate the connection between changes in optical and $\gamma$-ray flux, we have designated five specific time periods, labeled as epochs A, B, C, D, and E. During periods B, C, D, and E, the source exhibited optical flares, while it was in its quiescent state during period A. The $\gamma$-ray counterparts to these optical flares are present during periods B, C, and E, however during period D, the $\gamma$-ray counterpart is either weak or absent. We conducted a broadband spectral energy distribution (SED) fitting by employing a one-zone leptonic emission model for these epochs. The SED analysis unveiled that the optical-UV emission primarily emanated from the accretion disk in quiescent period A, whereas synchrotron radiation from the jet dominated during periods B, C, D, and E. Diverse correlated patterns in the variations of optical and $\gamma$-ray emissions, like correlated optical and $\gamma$-ray flares, could be accounted for by changes in factors such as the magnetic field, bulk Lorentz factor, and electron density. On the other hand, an orphan optical flare could result from increased magnetic field and bulk Lorentz factor.