title: Magnetism, transport and atomic structure of amorphous binary YxCo1-x alloys

abstract: Sputtered thin films of binary YxCo1-x with 0 < x < 0.54 and thickness 15 nm are investigated to help understand the ferromagnetism of cobalt in amorphous rare-earth cobalt alloys. The magnetic moment per cobalt falls to zero at x0 = 0.50, where the appearance of magnetism is marked by a para-process with a dimensionless susceptibility of up to 0.015. All films are magnetically soft, with densities that fall between those of crystalline Y-Co intermetallic compounds and the density of a relaxed 10,000-atom binary random close-packed model of hard spheres with an Y:Co volume ratio of 3:1, where the packing fractions for all films lies in a narrow range around 0.633 and Co is coordinated by 3.2 Co and 3.2 Y atoms at x = 0.5. All films with x < 0.4 exhibit in-plane shape anisotropy that is about six times as great as an intrinsic perpendicular component. Average cobalt spin and orbital moments obtained by X-ray magnetic circular dichroism were 1.31 and 0.32 Bohr magnetons, respectively for amorphous Y0.25Co0.75. Strong local anisotropy is associated with the large cobalt orbital moment, but there is little influence of anisotropy on the ferromagnetic order because of exchange averaging. The Hall effect and magnetoresistance are modelled in terms of effective uniform rotation of the magnetization, with spontaneous and band contributions. Amorphous YxCo1-x is contrasted with amorphous YxFe1-x, which exhibits random noncollinear magnetic order that is very sensitive to the film density.


title: Expressive Power of Infinitary Logic and Absolute co-Hopfianity

abstract: Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We apply the infinitary logic to show a dichotomy behavior of co-Hopfian groups, by showing that the first beautiful cardinal is the turning point for this property. Namely, we prove that there are no absolute co-Hopfian abelian groups above the first beautiful cardinal. An extension of this result to the category of modules over a commutative ring is given.


title: Natural dualities for varieties generated by finite positive MV-chains

abstract: We provide a simple natural duality for the varieties generated by the negation- and implication- free reduct of a finite MV-chain. We study these varieties through the dual equivalence thus obtained. For example, we fully characterize their algebraically closed, existentially closed and injective members. We also explore the relationship between this natural duality and Priestley duality in terms of distributive skeletons and Priestley powers.


title: Canister valve and actuator deposition in metered dose inhalers formulated with low-GWP propellants

abstract: A challenge in pressurised metered-dose inhaler formulation design is management of adhesion of the drug to the canister wall, valve and actuator internal components and surfaces, especially for sedimenting or creaming suspensions. Visual analysis of drug solubility and suspension behavior is typically performed in transparent vials. If the results are affected strongly by wall-material interactions, they may not be replicable in typical metal canister pMDI systems. This is of particular concern in low-greenhouse warming potential (GWP) propellant formulations where the chemistry of the new propellants and solubility with many drugs is not yet fully understood. The same can be extended to deposition in actuator and valve components, which are generally opaque. In this study, we demonstrate a novel application of X-ray fluorescence spectroscopy using synchrotron radiation to assay the contents of surrogate solution and suspension pMDI formulations of potassium iodide and barium sulfate in propellants HFA134a, HFA152a and HFO1234ze(E) using standard components. Through unit life drug distribution in the canister valve closure region and actuator can vary more significantly with new propellants. These effects must be taken into consideration in the development of products utilising low-GWP propellants.


title: Stochastic syncing in sinusoidally driven atomic orbital memory

abstract: Stochastically fluctuating multi-well systems as physical implementations of energy-based machine learning models promise a route towards neuromorphic hardware. Understanding the response of multi-well systems to dynamic input signals is crucial in this regard. Here, we investigate the stochastic response of binary orbital memory states derived from individual Fe and Co atoms on a black phosphorus surface to sinusoidal input voltages. Using scanning tunneling microscopy, we quantify the state residence times for DC and AC voltage drive with various input frequencies. We find that Fe and Co atoms both exhibit features of synchronization to the AC input, but only Fe atoms demonstrate a significant frequency-dependent change in the time-averaged state occupations. By modeling the underlying stochastic process, we show that the frequency response of the system is directly related to the DC voltage dependence of the state asymmetry. This relation provides a tunable way to induce population changes in stochastic systems and lays the foundation for understanding the response of multi-well systems to dynamical input signals.


title: A Closer Look at Bearing Fault Classification Approaches

abstract: Rolling bearing fault diagnosis has garnered increased attention in recent years owing to its presence in rotating machinery across various industries, and an ever increasing demand for efficient operations. Prompt detection and accurate prediction of bearing failures can help reduce the likelihood of unexpected machine downtime and enhance maintenance schedules, averting lost productivity. Recent technological advances have enabled monitoring the health of these assets at scale using a variety of sensors, and predicting the failures using modern Machine Learning (ML) approaches including deep learning architectures. Vibration data has been collected using accelerated run-to-failure of overloaded bearings, or by introducing known failure in bearings, under a variety of operating conditions such as rotating speed, load on the bearing, type of bearing fault, and data acquisition frequency. However, in the development of bearing failure classification models using vibration data there is a lack of consensus in the metrics used to evaluate the models, data partitions used to evaluate models, and methods used to generate failure labels in run-to-failure experiments. An understanding of the impact of these choices is important to reliably develop models, and deploy them in practical settings. In this work, we demonstrate the significance of these choices on the performance of the models using publicly-available vibration datasets, and suggest model development considerations for real world scenarios. Our experimental findings demonstrate that assigning vibration data from a given bearing across training and evaluation splits leads to over-optimistic performance estimates, PCA-based approach is able to robustly generate labels for failure classification in run-to-failure experiments, and $F$ scores are more insightful to evaluate the models with unbalanced real-world failure data.


title: Understanding and Mitigating the Label Noise in Pre-training on Downstream Tasks

abstract: Pre-training on large-scale datasets and then fine-tuning on downstream tasks have become a standard practice in deep learning. However, pre-training data often contain label noise that may adversely affect the generalization of the model. This paper aims to understand the nature of noise in pre-training datasets and to mitigate its impact on downstream tasks. More specifically, through extensive experiments of supervised pre-training models on synthetic noisy ImageNet-1K and YFCC15M datasets, we demonstrate that while slight noise in pre-training can benefit in-domain (ID) transfer performance, where the training and testing data share the same distribution, it always deteriorates out-of-domain (OOD) performance, where training and testing data distribution are different. We empirically verify that the reason behind is noise in pre-training shapes the feature space differently. We then propose a light-weight black-box tuning method (NMTune) to affine the feature space to mitigate the malignant effect of noise and improve generalization on both ID and OOD tasks, considering one may not be able to fully fine-tune or even access the pre-trained models. We conduct practical experiments on popular vision and language models that are pre-trained on noisy data for evaluation of our approach. Our analysis and results show the importance of this interesting and novel research direction, which we term Noisy Model Learning.


title: Energy minimization of paired composite fermion wave functions in the spherical geometry

abstract: We perform the energy minimization of the paired composite fermion (CF) wave functions, proposed by M\"oller and Simon (MS) [PRB 77, 075319 (2008)] and extended by Yutushui and Mross (YM) [PRB 102, 195153 (2020)], where the energy is minimized by varying the CF pairing function, in the case of an approximate model of the Coulomb interaction in the second Landau level for pairing channels $\ell = -1, 3, 1$ which are expected to be in the Pfaffian, anti-Pfaffian and particle-hole symmetric (PH) Pfaffian phases respectively. It is found that the energy of the $\ell = -1$ MS wave function can be reduced substantially below that of the Moore-Read wave function at small system sizes, however, in the $\ell = 3$ case the energy cannot be reduced much below that of the YM trial wavefunction. Nonetheless, both our optimized and unoptimized wavefunctions with $\ell=-1,3$ extrapolate to roughly the same energy per particle in the thermodynamic limit. For the $\ell = 1$ case, the optimization makes no qualitative difference and these PH-Pfaffian wave functions are still energetically unfavourable. The effective CF pairing is analyzed in the resulting wave functions, where the effective pairing for the $\ell = -1, 3$ channels is found to be well approximated by a weak-pairing BCS ansatz and the $\ell = 1$ wave functions show no sign of emergent CF pairing.


title: Non-formality of Galois cohomology modulo all primes

abstract: Let $p$ be a prime number and let $F$ be a field of characteristic different from $p$. We prove that there exist a field extension $L/F$ and $a,b,c,d$ in $L^{\times}$ such that $(a,b)=(b,c)=(c,d)=0$ in $\mathrm{Br}(F)[p]$ but $\langle a,b,c,d\rangle$ is not defined over $L$. Thus the Strong Massey Vanishing Conjecture at the prime $p$ fails for $L$, and the cochain differential graded ring $C^*(\Gamma_L,\mathbb{Z}/p\mathbb{Z})$ of the absolute Galois group $\Gamma_L$ of $L$ is not formal. This answers a question of Positselski.


title: Bayesian Methodologies with pyhf

abstract: bayesian_pyhf is a Python package that allows for the parallel Bayesian and frequentist evaluation of multi-channel binned statistical models. The Python library pyhf is used to build such models according to the HistFactory framework and already includes many frequentist inference methodologies. The pyhf-built models are then used as data-generating model for Bayesian inference and evaluated with the Python library PyMC. Based on Monte Carlo Chain Methods, PyMC allows for Bayesian modelling and together with the arviz library offers a wide range of Bayesian analysis tools.


title: Statistical physics, Bayesian inference and neural information processing

abstract: Lecture notes from the course given by Professor Sara A. Solla at the Les Houches summer school on "Statistical physics of Machine Learning". The notes discuss neural information processing through the lens of Statistical Physics. Contents include Bayesian inference and its connection to a Gibbs description of learning and generalization, Generalized Linear Models as a controlled alternative to backpropagation through time, and linear and non-linear techniques for dimensionality reduction.


title: Medical Foundation Models are Susceptible to Targeted Misinformation Attacks

abstract: Large language models (LLMs) have broad medical knowledge and can reason about medical information across many domains, holding promising potential for diverse medical applications in the near future. In this study, we demonstrate a concerning vulnerability of LLMs in medicine. Through targeted manipulation of just 1.1% of the model's weights, we can deliberately inject an incorrect biomedical fact. The erroneous information is then propagated in the model's output, whilst its performance on other biomedical tasks remains intact. We validate our findings in a set of 1,038 incorrect biomedical facts. This peculiar susceptibility raises serious security and trustworthiness concerns for the application of LLMs in healthcare settings. It accentuates the need for robust protective measures, thorough verification mechanisms, and stringent management of access to these models, ensuring their reliable and safe use in medical practice.


title: Energy-Efficient Secure Offloading System Designed via UAV-Mounted Intelligent Reflecting Surface for Resilience Enhancement

abstract: With increasing interest in mmWave and THz communication systems, an unmanned aerial vehicle (UAV)-mounted intelligent reflecting surface (IRS) has been suggested as a key enabling technology to establish robust line-of-sight (LoS) connections with ground nodes owing to their free mobility and high altitude, especially for emergency and disaster response. This paper investigates a secure offloading system, where the UAV-mounted IRS assists the offloading procedures between ground users and an access point (AP) acting as an edge cloud. In this system, the users except the intended recipients in the offloading process are considered as potential eavesdroppers. The system aims to achieve the minimum total energy consumption of battery-limited ground user devices under constraints for secure offloading accomplishment and operability of UAV-mounted IRS, which is done by optimizing the transmit power of ground user devices, the trajectory and phase shift matrix of UAV-mounted IRS, and the offloading ratio between local execution and edge computing based on the successive convex approximation (SCA) algorithms. Numerical results show that the proposed algorithm can provide the considerable energy savings compared with local execution and partial optimizations.


title: Deep Representation Learning for Prediction of Temporal Event Sets in the Continuous Time Domain

abstract: Temporal Point Processes (TPP) play an important role in predicting or forecasting events. Although these problems have been studied extensively, predicting multiple simultaneously occurring events can be challenging. For instance, more often than not, a patient gets admitted to a hospital with multiple conditions at a time. Similarly people buy more than one stock and multiple news breaks out at the same time. Moreover, these events do not occur at discrete time intervals, and forecasting event sets in the continuous time domain remains an open problem. Naive approaches for extending the existing TPP models for solving this problem lead to dealing with an exponentially large number of events or ignoring set dependencies among events. In this work, we propose a scalable and efficient approach based on TPPs to solve this problem. Our proposed approach incorporates contextual event embeddings, temporal information, and domain features to model the temporal event sets. We demonstrate the effectiveness of our approach through extensive experiments on multiple datasets, showing that our model outperforms existing methods in terms of prediction metrics and computational efficiency. To the best of our knowledge, this is the first work that solves the problem of predicting event set intensities in the continuous time domain by using TPPs.


title: Power Spectrum in the Chaotic Regime of Axionic Blue Isocurvature Perturbations

abstract: Large blue tilted spectral index axionic isocurvature perturbations can be produced when the axion sector is far out of equilibrium during inflation through an initial Peccei-Quinn (PQ) symmetry breaking field displacement along a nearly flat direction in the effective potential. As a companion to a previous work, we present analytic formulae for the blue isocurvature spectrum for the case of the kinetic energy density of the PQ symmetry breaking field being larger than the quartic power of the final spontaneous PQ symmetry breaking scale. It corresponds to a regime in which the nonlinearities of the classical potential become important many times during the formation of the axion isocurvature quantum perturbations leading to interesting resonant behavior. One consequence of this nonlinearity-driven resonance is the chaotic nature of the map that links the underlying Lagrangian parameters to the isocurvature amplitudes. We point out an accidental duality symmetry between the perturbation equations and the background field equations that can be used to understand this. Finally, we present two types of analytic results. The first relies on a computation utilizing an effective potential wherein fast time scale fluctuations have been integrated out. The second is grounded in a functional ansatz, requiring only a limited set of fitting parameters. Both analytic results should be useful for carrying out forecasts and fits to the data.


title: Feature Interaction Aware Automated Data Representation Transformation

abstract: Creating an effective representation space is crucial for mitigating the curse of dimensionality, enhancing model generalization, addressing data sparsity, and leveraging classical models more effectively. Recent advancements in automated feature engineering (AutoFE) have made significant progress in addressing various challenges associated with representation learning, issues such as heavy reliance on intensive labor and empirical experiences, lack of explainable explicitness, and inflexible feature space reconstruction embedded into downstream tasks. However, these approaches are constrained by: 1) generation of potentially unintelligible and illogical reconstructed feature spaces, stemming from the neglect of expert-level cognitive processes; 2) lack of systematic exploration, which subsequently results in slower model convergence for identification of optimal feature space. To address these, we introduce an interaction-aware reinforced generation perspective. We redefine feature space reconstruction as a nested process of creating meaningful features and controlling feature set size through selection. We develop a hierarchical reinforcement learning structure with cascading Markov Decision Processes to automate feature and operation selection, as well as feature crossing. By incorporating statistical measures, we reward agents based on the interaction strength between selected features, resulting in intelligent and efficient exploration of the feature space that emulates human decision-making. Extensive experiments are conducted to validate our proposed approach.


title: Benchmarking Cognitive Biases in Large Language Models as Evaluators

abstract: Large Language Models (LLMs) have recently been shown to be effective as automatic evaluators with simple prompting and in-context learning. In this work, we assemble 15 LLMs of four different size ranges and evaluate their output responses by preference ranking from the other LLMs as evaluators, such as System Star is better than System Square. We then evaluate the quality of ranking outputs introducing the Cognitive Bias Benchmark for LLMs as Evaluators (CoBBLEr), a benchmark to measure six different cognitive biases in LLM evaluation outputs, such as the Egocentric bias where a model prefers to rank its own outputs highly in evaluation. We find that LLMs are biased text quality evaluators, exhibiting strong indications on our bias benchmark (average of 40% of comparisons across all models) within each of their evaluations that question their robustness as evaluators. Furthermore, we examine the correlation between human and machine preferences and calculate the average Rank-Biased Overlap (RBO) score to be 49.6%, indicating that machine preferences are misaligned with humans. According to our findings, LLMs may still be unable to be utilized for automatic annotation aligned with human preferences. Our project page is at: https://minnesotanlp.github.io/cobbler.


title: Long-term evolution of Cyclotron Line energy in an eclipsing pulsar 4U 1538-522

abstract: We present the timing and spectral analysis of the HMXB source 4U 1538-522 using NuSTAR observations. One of the observations partially covers the X-ray eclipse of the source along with eclipse ingress. The source is found to spin down at the rate of 0.163 $\pm$ 0.002 s $\text{yr}^{-1}$ between $\sim$ (54973-58603) MJD. It is evident that at time $\sim$ 58620 MJD, a torque reversal occurred, thereafter the source exhibited a spin-up trend at the rate - (0.305 $\pm$ 0.018) s $\text{yr}^{-1}$ until 59275 MJD. A recent NuSTAR observation finds the pulse period of the source: (526.2341 $\pm$ 0.0041) s. The pulse profile exhibits a transition from double-peaked to single-peaked nature above $\sim$ 30 keV. We analyzed the overall trend of the temporal evolution of fundamental Cyclotron Resonance Scattering Feature (CRSF), $\text{E}_\text{cyc}$, incorporating recent NuSTAR measurements. Initially, during the time span $\sim$ (50452.16-55270.8) MJD, the cyclotron line energy is found to increase at a rate of 0.11 $\pm$ 0.03 keV $\text{yr}^{-1}$ which is further followed by a decrease at a rate - 0.14 $\pm$ 0.01 keV $\text{yr}^{-1}$ between (55270.8-59267) MJD. The combined measurements in the time span (50452.16-59267) MJD reveal that the cyclotron line energy is increasing linearly at a rate of 0.08 $\pm$ 0.02 keV $\text{yr}^{-1}$.


title: FreqAlign: Excavating Perception-oriented Transferability for Blind Image Quality Assessment from A Frequency Perspective

abstract: Blind Image Quality Assessment (BIQA) is susceptible to poor transferability when the distribution shift occurs, e.g., from synthesis degradation to authentic degradation. To mitigate this, some studies have attempted to design unsupervised domain adaptation (UDA) based schemes for BIQA, which intends to eliminate the domain shift through adversarial-based feature alignment. However, the feature alignment is usually taken at the low-frequency space of features since the global average pooling operation. This ignores the transferable perception knowledge in other frequency components and causes the sub-optimal solution for the UDA of BIQA. To overcome this, from a novel frequency perspective, we propose an effective alignment strategy, i.e., Frequency Alignment (dubbed FreqAlign), to excavate the perception-oriented transferability of BIQA in the frequency space. Concretely, we study what frequency components of features are more proper for perception-oriented alignment. Based on this, we propose to improve the perception-oriented transferability of BIQA by performing feature frequency decomposition and selecting the frequency components that contained the most transferable perception knowledge for alignment. To achieve a stable and effective frequency selection, we further propose the frequency movement with a sliding window to find the optimal frequencies for alignment, which is composed of three strategies, i.e., warm up with pre-training, frequency movement-based selection, and perturbation-based finetuning. Extensive experiments under different domain adaptation settings of BIQA have validated the effectiveness of our proposed method. The code will be released at https://github.com/lixinustc/Openworld-IQA.


title: Dissociative Recombination of Rotationally Cold OH$^+$ and Its Implications for the Cosmic Ray Ionization Rate in Diffuse Clouds

abstract: Observations of OH$^+$ are used to infer the interstellar cosmic ray ionization rate in diffuse atomic clouds, thereby constraining the propagation of cosmic rays through and the shielding by interstellar clouds, as well as the low energy cosmic ray spectrum. In regions where the H$_2$ to H number density ratio is low, dissociative recombination (DR) is the dominant destruction process for OH$^+$ and the DR rate coefficient is important for predicting the OH$^+$ abundance and inferring the cosmic ray ionization rate. We have experimentally studied DR of electronically and vibrationally relaxed OH$^+$ in its lowest rotational levels, using an electron--ion merged-beams setup at the Cryogenic Storage Ring. From these measurements, we have derived a kinetic temperature rate coefficient applicable to diffuse cloud chemical models, i.e., for OH$^+$ in its electronic, vibrational, and rotational ground level. At typical diffuse cloud temperatures, our kinetic temperature rate coefficient is a factor of $\sim 5$ times larger than the previous experimentally derived value and a factor of $\sim 33$ times larger than the value calculated by theory. Our combined experimental and modelling results point to a significant increase for the cosmic ray ionization rate inferred from observations of OH$^+$ and H$_2$O$^+$, corresponding to a geometric mean of $(6.6 \pm 1.0) \times 10^{-16}\,\mathrm{s}^{-1}$, which is more than a factor of two larger than the previously inferred values of the cosmic ray ionization rate in diffuse atomic clouds. Combined with observations of diffuse and dense molecular clouds, these findings indicate a greater degree of cosmic ray shielding in interstellar clouds than has been previously inferred.


title: Efficient Agnostic Learning with Average Smoothness

abstract: We study distribution-free nonparametric regression following a notion of average smoothness initiated by Ashlagi et al. (2021), which measures the "effective" smoothness of a function with respect to an arbitrary unknown underlying distribution. While the recent work of Hanneke et al. (2023) established tight uniform convergence bounds for average-smooth functions in the realizable case and provided a computationally efficient realizable learning algorithm, both of these results currently lack analogs in the general agnostic (i.e. noisy) case. In this work, we fully close these gaps. First, we provide a distribution-free uniform convergence bound for average-smoothness classes in the agnostic setting. Second, we match the derived sample complexity with a computationally efficient agnostic learning algorithm. Our results, which are stated in terms of the intrinsic geometry of the data and hold over any totally bounded metric space, show that the guarantees recently obtained for realizable learning of average-smooth functions transfer to the agnostic setting. At the heart of our proof, we establish the uniform convergence rate of a function class in terms of its bracketing entropy, which may be of independent interest.


title: A new approach to string theory

abstract: In the present paper we consider quantum theories obtained by quantization of classical theories with first-class constraints assuming that these constraints form a Lie algebra. We show that in this case, one can construct physical quantities of a new type. We apply this construction to string theory. We find that scattering amplitudes in critical bosonic closed string theory can be expressed in terms of physical quantities of the new type. Our techniques can be applied also to superstring and heterotic string.


title: Near-threshold resonance in $e^{+}e^{-}\rightarrow\Lambda_{c}\bar{\Lambda}_{c}$ process

abstract: We discuss the influence of various contributions of the $\Lambda_{c}\bar{\Lambda}_{c}$ potential on the energy dependence of the cross section $e^{+}e^{-}\rightarrow\Lambda_{c}\bar{\Lambda}_{c}$ near the threshold. New BESIII experimental data on the cross section and electromagnetic form factors $G_{E}$ and $G_{M}$ are taken into account. Our predictions are in good agreement with experimental data. We predict a bound state of $\Lambda_{c}\bar{\Lambda}_{c}$ at energy $\sim 38~\textrm{MeV}$ below the threshold that may manifest itself in anomalous behavior of light meson production cross sections in a given energy region.


title: Optimization on the smallest eigenvalue of grounded Laplacian matrix via edge addition

abstract: The grounded Laplacian matrix $\LL_{-S}$ of a graph $\calG=(V,E)$ with $n=|V|$ nodes and $m=|E|$ edges is a $(n-s)\times (n-s)$ submatrix of its Laplacian matrix $\LL$, obtained from $\LL$ by deleting rows and columns corresponding to $s=|S| \ll n $ ground nodes forming set $S\subset V$. The smallest eigenvalue of $\LL_{-S}$ plays an important role in various practical scenarios, such as characterizing the convergence rate of leader-follower opinion dynamics, with a larger eigenvalue indicating faster convergence of opinion. In this paper, we study the problem of adding $k \ll n$ edges among all the nonexistent edges forming the candidate edge set $Q = (V\times V)\backslash E$, in order to maximize the smallest eigenvalue of the grounded Laplacian matrix. We show that the objective function of the combinatorial optimization problem is monotone but non-submodular. To solve the problem, we first simplify the problem by restricting the candidate edge set $Q$ to be $(S\times (V\backslash S))\backslash E$, and prove that it has the same optimal solution as the original problem, although the size of set $Q$ is reduced from $O(n^2)$ to $O(n)$. Then, we propose two greedy approximation algorithms. One is a simple greedy algorithm with an approximation ratio $(1-e^{-\alpha\gamma})/\alpha$ and time complexity $O(kn^4)$, where $\gamma$ and $\alpha$ are, respectively, submodularity ratio and curvature, whose bounds are provided for some particular cases. The other is a fast greedy algorithm without approximation guarantee, which has a running time $\tilde{O}(km)$, where $\tilde{O}(\cdot)$ suppresses the ${\rm poly} (\log n)$ factors. Numerous experiments on various real networks are performed to validate the superiority of our algorithms, in terms of effectiveness and efficiency.


title: Low-Resource Self-Supervised Learning with SSL-Enhanced TTS

abstract: Self-supervised learning (SSL) techniques have achieved remarkable results in various speech processing tasks. Nonetheless, a significant challenge remains in reducing the reliance on vast amounts of speech data for pre-training. This paper proposes to address this challenge by leveraging synthetic speech to augment a low-resource pre-training corpus. We construct a high-quality text-to-speech (TTS) system with limited resources using SSL features and generate a large synthetic corpus for pre-training. Experimental results demonstrate that our proposed approach effectively reduces the demand for speech data by 90% with only slight performance degradation. To the best of our knowledge, this is the first work aiming to enhance low-resource self-supervised learning in speech processing.


title: Optical manipulation of sessile droplets of nematic liquid crystalline materials on the surface of a photovoltaic crystal

abstract: We investigated the effects of laser irradiation on sessile droplets of three well-known liquid crystalline 12 materials (5CB, 8CB, E7) deposited on the surface of an iron-doped lithium niobate (LN:Fe) crystal. The static electric 13 field, which is generated via the bulk photovoltaic effect in the LN:Fe substrate, produces the merging of smaller 14 droplets into filaments oriented in the radial direction with respect to the laser spot. It also induces filament jetting 15 from the rim of larger droplets toward the center of the illumination area. When the laser beam is focused directly 16 onto the larger droplets, they abruptly disintegrate via the formation of several jet streams. The described effects are 17 present in the nematic and also in the isotropic phase. We attribute them to a large gradient of the surface electric field 18 that produces driving forces via the induced dipole moments of the droplets, analogous to electric field-based droplets 19 transport mechanisms known for standard dielectric liquids.


title: Positionality in {\Sigma}_0^2 and a completeness result

abstract: We study the existence of positional strategies for the protagonist in infinite duration games over arbitrary game graphs. We prove that prefix-independent objectives in {\Sigma}_0^2 which are positional and admit a (strongly) neutral letter are exactly those that are recognised by history-deterministic monotone co-B\"uchi automata over countable ordinals. This generalises a criterion proposed by [Kopczy\'nski, ICALP 2006] and gives an alternative proof of closure under union for these objectives, which was known from [Ohlmann, TheoretiCS 2023]. We then give two applications of our result. First, we prove that the mean-payoff objective is positional over arbitrary game graphs. Second, we establish the following completeness result: for any objective W which is prefix-independent, admits a (weakly) neutral letter, and is positional over finite game graphs, there is an objective W' which is equivalent to W over finite game graphs and positional over arbitrary game graphs.


title: Novel Gravastar Solutions: Investigating Stability, Energy, and Entropy in the Presence of Cloud of Strings and Quintessence

abstract: Gravastars, theoretical alternatives to black holes, have captured the interest of scientists in astrophysics due to their unique properties. This paper aims to further investigate the exact solution of a novel gravastar model based on the Mazur-Mottola (2004) method within the framework of general relativity, specifically by incorporating the cloud of strings and quintessence. By analyzing the gravitational field and energy density of gravastars, valuable insights into the nature of compact objects in the universe can be gained. Understanding the stability of gravastars is also crucial for our comprehension of black holes and alternative compact objects. For this purpose, we present the Einstein field equations with the modified matter source and calculate the exact solutions for the inner and intermediate regions of gravastars. The exterior region is considered as a black hole surrounded by the cloud of strings and quintessence, and the spacetimes are matched using the Darmoise-Israel formalism. {An investigation is conducted on the stability of gravastars using linearized radial perturbation. Additionally, the proper length, energy content, and entropy of the shell are computed. The stability of gravastars is positively correlated with the enhancement of the cloud of strings parameter, while it is negatively correlated with the growth in the quintessence field parameter.} The paper concludes with a summary of the findings and their implications in the field of astrophysics and cosmology.


title: HoloAssist: an Egocentric Human Interaction Dataset for Interactive AI Assistants in the Real World

abstract: Building an interactive AI assistant that can perceive, reason, and collaborate with humans in the real world has been a long-standing pursuit in the AI community. This work is part of a broader research effort to develop intelligent agents that can interactively guide humans through performing tasks in the physical world. As a first step in this direction, we introduce HoloAssist, a large-scale egocentric human interaction dataset, where two people collaboratively complete physical manipulation tasks. The task performer executes the task while wearing a mixed-reality headset that captures seven synchronized data streams. The task instructor watches the performer's egocentric video in real time and guides them verbally. By augmenting the data with action and conversational annotations and observing the rich behaviors of various participants, we present key insights into how human assistants correct mistakes, intervene in the task completion procedure, and ground their instructions to the environment. HoloAssist spans 166 hours of data captured by 350 unique instructor-performer pairs. Furthermore, we construct and present benchmarks on mistake detection, intervention type prediction, and hand forecasting, along with detailed analysis. We expect HoloAssist will provide an important resource for building AI assistants that can fluidly collaborate with humans in the real world. Data can be downloaded at https://holoassist.github.io/.


title: Demazure crystals for flagged key polynomials

abstract: One definition of key polynomials is as the weight generating functions of key tableaux. Assaf and Schilling introduced a crystal structure on key tableaux and related it to Morse--Schilling crystals on reduced factorizations for permutations via weak Edelman--Greene insertion. In this paper, we consider generalizations of both crystals depending on a flag. We extend weak EG insertion to a bijection between our flagged objects and show that the recording tableau gives a crystal isomorphism. As an application, we show that flagged key tableaux have a natural Demazure crystal structure, whose characters recover Reiner and Shimozono's flagged key polynomials.


title: Forecasting the changes between endemic and epidemic phases of a contagious disease, with the example of COVID-19

abstract: Predicting the endemic/epidemic transition during the temporal evolution of a contagious disease. Methods: Defining indicators for detecting the transition endemic/epidemic, with four scalars to be compared, calculated from the daily reported news cases: coefficient of variation, skewness, kurtosis, and entropy. The indicators selected are related to the shape of the empirical distribution of the new cases observed over 14 days. This duration has been chosen to smooth out the effect of weekends when fewer new cases are registered. For finding a forecasting variable, we have used the PCA (principal component analysis), whose first principal component (a linear combination of the selected indicators) explains a large part of the observed variance and can then be used as a predictor of the phenomenon studied (here the occurrence of an epidemic wave). Results: A score has been built from the four proposed indicators using a Principal Component Analysis (PCA), which allows an acceptable level of forecasting performance by giving a realistic retro-predicted date for the rupture of the stationary endemic model corresponding to the entrance in the epidemic exponential growth phase. This score is applied to the retro-prediction of the limits of the different phases of the COVID-19 outbreak in successive endemic/epidemic transitions and three countries, France, India, and Japan. Conclusion: We provided a new forecasting method for predicting an epidemic wave occurring after an endemic phase for a contagious disease.


title: Unfitted Spectral Element Method for interfacial models

abstract: In this paper, we propose the unfitted spectral element method for solving elliptic interface and corresponding eigenvalue problems. The novelty of the proposed method lies in its combination of the spectral accuracy of the spectral element method and the flexibility of the unfitted Nitsche's method. We also use tailored ghost penalty terms to enhance its robustness. We establish optimal $hp$ convergence rates for both elliptic interface problems and interface eigenvalue problems. Additionally, we demonstrate spectral accuracy for model problems in terms of polynomial degree.


title: Robin Hood model versus Sheriff of Nottingham model: transfers in population dynamics

abstract: We study the problem of transfers in a population structured by a continuous variable corresponding to the quantity being transferred. The model is of Boltzmann type with kernels corresponding to the specific rules of the transfer process. We focus our interest on the well-posedness of the Cauchy problem in the space of measures and $L^1$. We characterize transfer kernels that give a continuous semiflow in the space of measures and $L^1$. We construct some examples of kernels that may be particularly interesting in economic applications. Our model considers blind money transfers between individuals. The two models are the ``Robin Hood model'', where the richest individual unconditionally gives a fraction of their wealth to the poorest when a transfer occurs, and the other extreme, the ``Sheriff of Nottingham model'', where the richest unconditionally takes a fraction of the poorest's wealth. Between these two extreme cases is a continuum of intermediate models obtained by interpolating the kernels. We illustrate those models with numerical simulations and show that any small fraction of the ``Sheriff of Nottingham'' in the transfer rules leads to a segregated population with extremely poor and extremely rich individuals after some time. Although our study is motivated by economic applications, we believe that this study is a first step towards a better understanding of many transfer phenomena occurring in the life sciences.


title: Fano fourfolds with large anticanonical base locus

abstract: A famous theorem of Shokurov states that a general anticanonical divisor of a smooth Fano threefold is a smooth K3 surface. This is quite surprising since there are several examples where the base locus of the anticanonical system has codimension two. In this paper we show that for four-dimensional Fano manifolds the behaviour is completely opposite: if the base locus is a normal surface, hence has codimension two, all the anticanonical divisors are singular.


title: A return-to-home model with commuting people and workers

abstract: This article proposes a new model to describe human intra-city mobility. The goal is to combine the convection-diffusion equation to describe commuting people's movement and the density of individuals at home. We propose a new model extending our previous work with a compartment of office workers. To understand such a model, we use semi-group theory and obtain a convergence result of the solutions to an equilibrium distribution. We conclude this article by presenting some numerical simulations of the model.


title: Scalable Multi-Temporal Remote Sensing Change Data Generation via Simulating Stochastic Change Process

abstract: Understanding the temporal dynamics of Earth's surface is a mission of multi-temporal remote sensing image analysis, significantly promoted by deep vision models with its fuel -- labeled multi-temporal images. However, collecting, preprocessing, and annotating multi-temporal remote sensing images at scale is non-trivial since it is expensive and knowledge-intensive. In this paper, we present a scalable multi-temporal remote sensing change data generator via generative modeling, which is cheap and automatic, alleviating these problems. Our main idea is to simulate a stochastic change process over time. We consider the stochastic change process as a probabilistic semantic state transition, namely generative probabilistic change model (GPCM), which decouples the complex simulation problem into two more trackable sub-problems, \ie, change event simulation and semantic change synthesis. To solve these two problems, we present the change generator (Changen), a GAN-based GPCM, enabling controllable object change data generation, including customizable object property, and change event. The extensive experiments suggest that our Changen has superior generation capability, and the change detectors with Changen pre-training exhibit excellent transferability to real-world change datasets.


title: Refined Kolmogorov Complexity of Analog, Evolving and Stochastic Recurrent Neural Networks

abstract: We provide a refined characterization of the super-Turing computational power of analog, evolving, and stochastic neural networks based on the Kolmogorov complexity of their real weights, evolving weights, and real probabilities, respectively. First, we retrieve an infinite hierarchy of classes of analog networks defined in terms of the Kolmogorov complexity of their underlying real weights. This hierarchy is located between the complexity classes $\mathbf{P}$ and $\mathbf{P/poly}$. Then, we generalize this result to the case of evolving networks. A similar hierarchy of Kolomogorov-based complexity classes of evolving networks is obtained. This hierarchy also lies between $\mathbf{P}$ and $\mathbf{P/poly}$. Finally, we extend these results to the case of stochastic networks employing real probabilities as source of randomness. An infinite hierarchy of stochastic networks based on the Kolmogorov complexity of their probabilities is therefore achieved. In this case, the hierarchy bridges the gap between $\mathbf{BPP}$ and $\mathbf{BPP/log^*}$. Beyond proving the existence and providing examples of such hierarchies, we describe a generic way of constructing them based on classes of functions of increasing complexity. For the sake of clarity, this study is formulated within the framework of echo state networks. Overall, this paper intends to fill the missing results and provide a unified view about the refined capabilities of analog, evolving and stochastic neural networks.


title: Unveiling Document Structures with YOLOv5 Layout Detection

abstract: The current digital environment is characterized by the widespread presence of data, particularly unstructured data, which poses many issues in sectors including finance, healthcare, and education. Conventional techniques for data extraction encounter difficulties in dealing with the inherent variety and complexity of unstructured data, hence requiring the adoption of more efficient methodologies. This research investigates the utilization of YOLOv5, a cutting-edge computer vision model, for the purpose of rapidly identifying document layouts and extracting unstructured data. The present study establishes a conceptual framework for delineating the notion of "objects" as they pertain to documents, incorporating various elements such as paragraphs, tables, photos, and other constituent parts. The main objective is to create an autonomous system that can effectively recognize document layouts and extract unstructured data, hence improving the effectiveness of data extraction. In the conducted examination, the YOLOv5 model exhibits notable effectiveness in the task of document layout identification, attaining a high accuracy rate along with a precision value of 0.91, a recall value of 0.971, an F1-score of 0.939, and an area under the receiver operating characteristic curve (AUC-ROC) of 0.975. The remarkable performance of this system optimizes the process of extracting textual and tabular data from document images. Its prospective applications are not limited to document analysis but can encompass unstructured data from diverse sources, such as audio data. This study lays the foundation for future investigations into the wider applicability of YOLOv5 in managing various types of unstructured data, offering potential for novel applications across multiple domains.


title: A Method for Identification and Ranking of Requirements Sources

abstract: Requirements engineering (RE) literature acknowledges the importance of early stakeholder identification. The sources of requirements are many and also constantly changing as the market and business constantly change. Identifying and consulting all stakeholders on the market is impractical; thus many companies utilize indirect data sources, e.g. documents and representatives of larger groups of stakeholders. However, companies often collect irrelevant data or develop their products based on the sub-optimal information sources that may lead to missing market opportunities. We propose a collaborative method for identification and selection of data sources. The method consists of four steps and aims to build consensus between different perspectives in an organization. We demonstrate the use of the method with three industrial case studies. We have presented and statically validated the method to support prioritization of stakeholders for MDRE. Our results show that the method can support the identification and selection of data sources in three ways: (1) by providing systematic steps to identify and prioritize data sources for RE, (2) by highlighting and resolving discrepancies between different perspectives in an organization, and (3) by analyzing the underlying rationale for using certain data sources.


title: Contextualising Levels of Language Resourcedness affecting Digital Processing of Text

abstract: Application domains such as digital humanities and tool like chatbots involve some form of processing natural language, from digitising hardcopies to speech generation. The language of the content is typically characterised as either a low resource language (LRL) or high resource language (HRL), also known as resource-scarce and well-resourced languages, respectively. African languages have been characterized as resource-scarce languages (Bosch et al. 2007; Pretorius & Bosch 2003; Keet & Khumalo 2014) and English is by far the most well-resourced language. Varied language resources are used to develop software systems for these languages to accomplish a wide range of tasks. In this paper we argue that the dichotomous typology LRL and HRL for all languages is problematic. Through a clear understanding of language resources situated in a society, a matrix is developed that characterizes languages as Very LRL, LRL, RL, HRL and Very HRL. The characterization is based on the typology of contextual features for each category, rather than counting tools, and motivation is provided for each feature and each characterization. The contextualisation of resourcedness, with a focus on African languages in this paper, and an increased understanding of where on the scale the language used in a project is, may assist in, among others, better planning of research and implementation projects. We thus argue in this paper that the characterization of language resources within a given scale in a project is an indispensable component particularly in the context of low-resourced languages.


title: UniQuadric: A SLAM Backend for Unknown Rigid Object 3D Tracking and Light-Weight Modeling

abstract: Tracking and modeling unknown rigid objects in the environment play a crucial role in autonomous unmanned systems and virtual-real interactive applications. However, many existing Simultaneous Localization, Mapping and Moving Object Tracking (SLAMMOT) methods focus solely on estimating specific object poses and lack estimation of object scales and are unable to effectively track unknown objects. In this paper, we propose a novel SLAM backend that unifies ego-motion tracking, rigid object motion tracking, and modeling within a joint optimization framework. In the perception part, we designed a pixel-level asynchronous object tracker (AOT) based on the Segment Anything Model (SAM) and DeAOT, enabling the tracker to effectively track target unknown objects guided by various predefined tasks and prompts. In the modeling part, we present a novel object-centric quadric parameterization to unify both static and dynamic object initialization and optimization. Subsequently, in the part of object state estimation, we propose a tightly coupled optimization model for object pose and scale estimation, incorporating hybrids constraints into a novel dual sliding window optimization framework for joint estimation. To our knowledge, we are the first to tightly couple object pose tracking with light-weight modeling of dynamic and static objects using quadric. We conduct qualitative and quantitative experiments on simulation datasets and real-world datasets, demonstrating the state-of-the-art robustness and accuracy in motion estimation and modeling. Our system showcases the potential application of object perception in complex dynamic scenes.


title: Beyond Co-occurrence: Multi-modal Session-based Recommendation

abstract: Session-based recommendation is devoted to characterizing preferences of anonymous users based on short sessions. Existing methods mostly focus on mining limited item co-occurrence patterns exposed by item ID within sessions, while ignoring what attracts users to engage with certain items is rich multi-modal information displayed on pages. Generally, the multi-modal information can be classified into two categories: descriptive information (e.g., item images and description text) and numerical information (e.g., price). In this paper, we aim to improve session-based recommendation by modeling the above multi-modal information holistically. There are mainly three issues to reveal user intent from multi-modal information: (1) How to extract relevant semantics from heterogeneous descriptive information with different noise? (2) How to fuse these heterogeneous descriptive information to comprehensively infer user interests? (3) How to handle probabilistic influence of numerical information on user behaviors? To solve above issues, we propose a novel multi-modal session-based recommendation (MMSBR) that models both descriptive and numerical information under a unified framework. Specifically, a pseudo-modality contrastive learning is devised to enhance the representation learning of descriptive information. Afterwards, a hierarchical pivot transformer is presented to fuse heterogeneous descriptive information. Moreover, we represent numerical information with Gaussian distribution and design a Wasserstein self-attention to handle the probabilistic influence mode. Extensive experiments on three real-world datasets demonstrate the effectiveness of the proposed MMSBR. Further analysis also proves that our MMSBR can alleviate the cold-start problem in SBR effectively.


title: Cost Reduction on Testing Evolving Cancer Registry System

abstract: The Cancer Registration Support System (CaReSS), built by the Cancer Registry of Norway (CRN), is a complex real-world socio-technical software system that undergoes continuous evolution in its implementation. Consequently, continuous testing of CaReSS with automated testing tools is needed such that its dependability is always ensured. Towards automated testing of a key software subsystem of CaReSS, i.e., GURI, we present a real-world application of an extension to the open-source tool EvoMaster, which automatically generates test cases with evolutionary algorithms. We named the extension EvoClass, which enhances EvoMaster with a machine learning classifier to reduce the overall testing cost. This is imperative since testing with EvoMaster involves sending many requests to GURI deployed in different environments, including the production environment, whose performance and functionality could potentially be affected by many requests. The machine learning classifier of EvoClass can predict whether a request generated by EvoMaster will be executed successfully or not; if not, the classifier filters out such requests, consequently reducing the number of requests to be executed on GURI. We evaluated EvoClass on ten GURI versions over four years in three environments: development, testing, and production. Results showed that EvoClass can significantly reduce the testing cost of evolving GURI without reducing testing effectiveness (measured as rule coverage) across all three environments, as compared to the default EvoMaster. Overall, EvoClass achieved ~31% of overall cost reduction. Finally, we report our experiences and lessons learned that are equally valuable for researchers and practitioners.


title: Computing singular and near-singular integrals over curved boundary elements: The strongly singular case

abstract: We present algorithms for computing strongly singular and near-singular surface integrals over curved triangular patches, based on singularity subtraction, the continuation approach, and transplanted Gauss quadrature. We demonstrate the accuracy and robustness of our method for quadratic basis functions and quadratic triangles by integrating it into a boundary element code and solving several scattering problems in 3D. We also give numerical evidence that the utilization of curved boundary elements enhances computational efficiency compared to conventional planar elements.


title: The contact process on dynamic regular graphs: monotonicity and subcritical phase

abstract: We study the contact process on a dynamic random~$d$-regular graph with an edge-switching mechanism, as well as an interacting particle system that arises from the local description of this process, called the herds process. Both these processes were introduced in~\cite{da2021contact}; there it was shown that the herds process has a phase transition with respect to the infectivity parameter~$\lambda$, depending on the parameter~$\mathsf{v}$ that governs the edge dynamics. Improving on a result of~\cite{da2021contact}, we prove that the critical value of~$\lambda$ is strictly decreasing with~$\mathsf{v}$. We also prove that in the subcritical regime, the extinction time of the herds process started from a single individual has an exponential tail. Finally, we apply these results to study the subcritical regime of the contact process on the dynamic $d$-regular graph. We show that, starting from all vertices infected, the infection goes extinct in a time that is logarithmic in the number of vertices of the graph, with high probability.


title: Singular KAM Theory

abstract: The question of the total measure of invariant tori in analytic, nearly--integrable Hamiltonian systems is considered. In 1985, Arnol'd, Kozlov and Neishtadt, in the Encyclopaedia of Mathematical Sciences \cite{AKN1}, and in subsequent editions, conjectured that in $n=2$ degrees of freedom the measure of the non torus set of general analytic nearly--integrable systems away from critical points is exponentially small with the size $\e$ of the perturbation, and that for $n\ge 3$ the measure is, in general, of order $\e$ (rather than $\sqrt\e$ as predicted by classical KAM Theory). In the case of generic natural Hamiltonian systems, we prove lower bounds on the measure of primary and secondary invariant tori, which are in agreement, up to a logarithmic correction, with the above conjectures. The proof is based on a new {\sl singular} KAM theory, particularly designed to study analytic properties in neighborhoods of the secular separatrices generated by the perturbation at simple resonances.


title: Enumeration Complexity: Incremental Time, Delay and Space

abstract: This habilitation thesis is intended to be a good introduction to enumeration, the problem of listing solutions. It focuses on the different ways of measuring complexity in enumeration, with a particular emphasis on my contributions to the field.


title: Effective action and black hole solutions in asymptotically safe quantum gravity

abstract: We derive the quantum effective action and the respective quantum equations of motion from multi-graviton correlation functions in asymptotically safe quantum gravity. The fully momentum-dependent couplings of three- and four-graviton scatterings are computed within the functional renormalisation group approach and the effective action is reconstructed from these vertices. The resulting quantum equations of motion are solved numerically for quantum black hole geometries. Importantly, the black hole solutions show signatures of quantum gravity outside the classical horizon, which manifest in the behaviour of the temporal and radial components of the metric. Three different types of solutions with distinct causal structures are identified and the phase structure of the solution space is investigated.


title: Rotating black hole solutions for $f(R)$ gravity and Newman Janis Algorithm

abstract: We show that the $f(R)$-gravity theories with constant Ricci scalar in the Jordan/Einstein frame can be described by Einstein or Einstein-Maxwell gravity with a cosmological term and a modified gravitational constant. We also propose a modified Newmann-Janis algorithm to obtain the rotating axisymmetric solutions for the Einstein/Einstein-Maxwell gravity with a cosmological constant. Using the duality between the two gravity theories we show that the stationary or static solutions for the Einstein/Einstein-Maxwell gravity with a cosmological constant will also be the solutions for the dual $f(R)$-gravity with constant Ricci scalar.


title: Magnetic field transport in geometrically thick discs: multi-dimensional effects on the field strength and inclination angle

abstract: We theoretically investigate the magnetic flux transport in geometrically thick accretion discs which may form around black holes. We utilize a two-dimensional (2D) kinematic mean-field model for poloidal field transport which is governed by both inward advection and outward diffusion of the field. Assuming a steady state, we analytically show that the multi-dimensional effects prevent the field accumulation toward the centre and reduce the field inclination angle. We also numerically investigate the radial profile of the field strength and the inclination angle for two geometrically thick discs for which (quasi-)analytic solutions exist: radiatively inefficient accretion flows (RIAFs) and super-Eddington accretion flows. We develop a 2D kinematic mean-field code and perform simulations of flux transport to study the multi-dimensional effects. The numerical simulations are consistent with our analytical prediction. We also discuss a condition for the external field strength that RIAF can be a magnetically arrested disc. This study could be important for understanding the origin of a large-scale magnetic field that drives jets and disc winds around black holes.


title: CrossLoco: Human Motion Driven Control of Legged Robots via Guided Unsupervised Reinforcement Learning

abstract: Human motion driven control (HMDC) is an effective approach for generating natural and compelling robot motions while preserving high-level semantics. However, establishing the correspondence between humans and robots with different body structures is not straightforward due to the mismatches in kinematics and dynamics properties, which causes intrinsic ambiguity to the problem. Many previous algorithms approach this motion retargeting problem with unsupervised learning, which requires the prerequisite skill sets. However, it will be extremely costly to learn all the skills without understanding the given human motions, particularly for high-dimensional robots. In this work, we introduce CrossLoco, a guided unsupervised reinforcement learning framework that simultaneously learns robot skills and their correspondence to human motions. Our key innovation is to introduce a cycle-consistency-based reward term designed to maximize the mutual information between human motions and robot states. We demonstrate that the proposed framework can generate compelling robot motions by translating diverse human motions, such as running, hopping, and dancing. We quantitatively compare our CrossLoco against the manually engineered and unsupervised baseline algorithms along with the ablated versions of our framework and demonstrate that our method translates human motions with better accuracy, diversity, and user preference. We also showcase its utility in other applications, such as synthesizing robot movements from language input and enabling interactive robot control.


title: Characterization of $Q$-complex tori via endomorphisms -- an addendum to "Int-amplified endomorphisms of compact K\"ahler spaces''

abstract: In this short note, we consider a normal compact K\"ahler klt space $X$ whose canonical divisor $K_X$ is pseudo-effective, and give a dynamical criterion for $X$ to be a $Q$-complex torus. We show that, if such $X$ admits an int-amplified endomorphism, then $X$ is a $Q$-complex torus. As an application, we prove that, if a simply connected compact K\"ahler (smooth) threefold admits an int-amplified endomorphism, then it is (projective and) rationally connected.


title: On Continuity of Robust and Accurate Classifiers

abstract: The reliability of a learning model is key to the successful deployment of machine learning in various applications. Creating a robust model, particularly one unaffected by adversarial attacks, requires a comprehensive understanding of the adversarial examples phenomenon. However, it is difficult to describe the phenomenon due to the complicated nature of the problems in machine learning. It has been shown that adversarial training can improve the robustness of the hypothesis. However, this improvement comes at the cost of decreased performance on natural samples. Hence, it has been suggested that robustness and accuracy of a hypothesis are at odds with each other. In this paper, we put forth the alternative proposal that it is the continuity of a hypothesis that is incompatible with its robustness and accuracy. In other words, a continuous function cannot effectively learn the optimal robust hypothesis. To this end, we will introduce a framework for a rigorous study of harmonic and holomorphic hypothesis in learning theory terms and provide empirical evidence that continuous hypotheses does not perform as well as discontinuous hypotheses in some common machine learning tasks. From a practical point of view, our results suggests that a robust and accurate learning rule would train different continuous hypotheses for different regions of the domain. From a theoretical perspective, our analysis explains the adversarial examples phenomenon as a conflict between the continuity of a sequence of functions and its uniform convergence to a discontinuous function.


title: FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs

abstract: Generalised hypertree width ($ghw$) is a hypergraph parameter that is central to the tractability of many prominent problems with natural hypergraph structure. Computing $ghw$ of a hypergraph is notoriously hard. The decision version of the problem, checking whether $ghw(H) \leq k$, is paraNP-hard when parameterised by $k$. Furthermore, approximation of $ghw$ is at least as hard as approximation of Set-Cover, which is known to not admit any fpt approximation algorithms. Research in the computation of ghw so far has focused on identifying structural restrictions to hypergraphs -- such as bounds on the size of edge intersections -- that permit XP algorithms for $ghw$. Yet, even under these restrictions that problem has so far evaded any kind of fpt algorithm. In this paper we make the first step towards fpt algorithms for $ghw$ by showing that the parameter can be approximated in fpt time for graphs of bounded edge intersection size. In concrete terms we show that there exists an fpt algorithm, parameterised by $k$ and $d$, that for input hypergraph $H$ with maximal cardinality of edge intersections $d$ and integer $k$ either outputs a tree decomposition with $ghw(H) \leq 4k(k+d+1+)(2k-1)$, or rejects, in which case it is guaranteed that $ghw(H) > k$. Thus, in the special case, of hypergraphs of bounded edge intersection, we obtain an fpt $O(k^3)$-approximation algorithm for $ghw$.


title: Interpretable Long-Form Legal Question Answering with Retrieval-Augmented Large Language Models

abstract: Many individuals are likely to face a legal dispute at some point in their lives, but their lack of understanding of how to navigate these complex issues often renders them vulnerable. The advancement of natural language processing opens new avenues for bridging this legal literacy gap through the development of automated legal aid systems. However, existing legal question answering (LQA) approaches often suffer from a narrow scope, being either confined to specific legal domains or limited to brief, uninformative responses. In this work, we propose an end-to-end methodology designed to generate long-form answers to any statutory law questions, utilizing a "retrieve-then-read" pipeline. To support this approach, we introduce and release the Long-form Legal Question Answering (LLeQA) dataset, comprising 1,868 expert-annotated legal questions in the French language, complete with detailed answers rooted in pertinent legal provisions. Our experimental results demonstrate promising performance on automatic evaluation metrics, but a qualitative analysis uncovers areas for refinement. As one of the only comprehensive, expert-annotated long-form LQA dataset, LLeQA has the potential to not only accelerate research towards resolving a significant real-world issue, but also act as a rigorous benchmark for evaluating NLP models in specialized domains. We publicly release our code, data, and models.


title: On Uniform Scalar Quantization for Learned Image Compression

abstract: Learned image compression possesses a unique challenge when incorporating non-differentiable quantization into the gradient-based training of the networks. Several quantization surrogates have been proposed to fulfill the training, but they were not systematically justified from a theoretical perspective. We fill this gap by contrasting uniform scalar quantization, the most widely used category with rounding being its simplest case, and its training surrogates. In principle, we find two factors crucial: one is the discrepancy between the surrogate and rounding, leading to train-test mismatch; the other is gradient estimation risk due to the surrogate, which consists of bias and variance of the gradient estimation. Our analyses and simulations imply that there is a tradeoff between the train-test mismatch and the gradient estimation risk, and the tradeoff varies across different network structures. Motivated by these analyses, we present a method based on stochastic uniform annealing, which has an adjustable temperature coefficient to control the tradeoff. Moreover, our analyses enlighten us as to two subtle tricks: one is to set an appropriate lower bound for the variance parameter of the estimated quantized latent distribution, which effectively reduces the train-test mismatch; the other is to use zero-center quantization with partial stop-gradient, which reduces the gradient estimation variance and thus stabilize the training. Our method with the tricks is verified to outperform the existing practices of quantization surrogates on a variety of representative image compression networks.


title: The Operator Rings of Topological Symmetric Orbifolds and their Large N Limit

abstract: We compute the structure constants of topological symmetric orbifold theories up to third order in the large N expansion. The leading order structure constants are dominated by topological metric contractions. The first order interactions are single cycles joining while at second order we can have double joining as well as splitting. At third order, single cycle joining obtains genus one contributions. We also compute illustrative small N structure constants. Our analysis applies to all second quantized Frobenius algebras, a large class of algebras that includes the cohomology ring of the Hilbert scheme of points on K3 among many others. We point out interesting open questions that our results raise.


title: On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters

abstract: Seminal research in the field of graph neural networks (GNNs) has revealed a direct correspondence between the expressive capabilities of GNNs and the $k$-dimensional Weisfeiler-Leman ($k$WL) test, a widely-recognized method for verifying graph isomorphism. This connection has reignited interest in comprehending the specific graph properties effectively distinguishable by the $k$WL test. A central focus of research in this field revolves around determining the least dimensionality $k$, for which $k$WL can discern graphs with different number of occurrences of a pattern graph $P$. We refer to such a least $k$ as the WL-dimension of this pattern counting problem. This inquiry traditionally delves into two distinct counting problems related to patterns: subgraph counting and induced subgraph counting. Intriguingly, despite their initial appearance as separate challenges with seemingly divergent approaches, both of these problems are interconnected components of a more comprehensive problem: "graph motif parameters". In this paper, we provide a precise characterization of the WL-dimension of labeled graph motif parameters. As specific instances of this result, we obtain characterizations of the WL-dimension of the subgraph counting and induced subgraph counting problem for every labeled pattern $P$. We additionally demonstrate that in cases where the $k$WL test distinguishes between graphs with varying occurrences of a pattern $P$, the exact number of occurrences of $P$ can be computed uniformly using only local information of the last layer of a corresponding GNN. We finally delve into the challenge of recognizing the WL-dimension of various graph parameters. We give a polynomial time algorithm for determining the WL-dimension of the subgraph counting problem for given pattern $P$, answering an open question from previous work.


title: A 5-Point Minimal Solver for Event Camera Relative Motion Estimation

abstract: Event-based cameras are ideal for line-based motion estimation, since they predominantly respond to edges in the scene. However, accurately determining the camera displacement based on events continues to be an open problem. This is because line feature extraction and dynamics estimation are tightly coupled when using event cameras, and no precise model is currently available for describing the complex structures generated by lines in the space-time volume of events. We solve this problem by deriving the correct non-linear parametrization of such manifolds, which we term eventails, and demonstrate its application to event-based linear motion estimation, with known rotation from an Inertial Measurement Unit. Using this parametrization, we introduce a novel minimal 5-point solver that jointly estimates line parameters and linear camera velocity projections, which can be fused into a single, averaged linear velocity when considering multiple lines. We demonstrate on both synthetic and real data that our solver generates more stable relative motion estimates than other methods while capturing more inliers than clustering based on spatio-temporal planes. In particular, our method consistently achieves a 100% success rate in estimating linear velocity where existing closed-form solvers only achieve between 23% and 70%. The proposed eventails contribute to a better understanding of spatio-temporal event-generated geometries and we thus believe it will become a core building block of future event-based motion estimation algorithms.


title: An Application Driven Method for Assembling Numerical Schemes for the Solution of Complex Multiphysics Problems

abstract: Within recent years, considerable progress has been made regarding high-performance solvers for Partial Differential Equations (PDEs), yielding potential gains in efficiency compared to industry standard tools. However, the latter largely remains the status quo for scientists and engineers focusing on applying simulation tools to specific problems in practice. We attribute this growing technical gap to the increasing complexity and knowledge required to pick and assemble state-of-the-art methods. Thus, with this work, we initiate an effort to build a common taxonomy for the most popular grid-based approximation schemes to draw comparisons regarding accuracy and computational efficiency. We then build upon this foundation and introduce a method to systematically guide an application expert through classifying a given PDE problem setting and identifying a suitable numerical scheme. Great care is taken to ensure that making a choice this way is unambiguous, i.e. the goal is to obtain a clear and reproducible recommendation. Our method not only helps to identify and assemble suitable schemes but enables the unique combination of multiple methods on a per-field basis. We demonstrate this process and its effectiveness using different model problems, each comparing the resulting numerical scheme from our method with the next best choice. For both the Allen Cahn and advection equations, we show that substantial computational gains can be attained for the recommended numerical methods regarding accuracy and efficiency. Lastly, we outline how one can systematically analyze and classify a coupled multiphysics problem of considerable complexity with 6 different unknown quantities, yielding an efficient, mixed discretization that in configuration compares well to high-performance implementations from the literature.


title: ReFlow-TTS: A Rectified Flow Model for High-fidelity Text-to-Speech

abstract: The diffusion models including Denoising Diffusion Probabilistic Models (DDPM) and score-based generative models have demonstrated excellent performance in speech synthesis tasks. However, its effectiveness comes at the cost of numerous sampling steps, resulting in prolonged sampling time required to synthesize high-quality speech. This drawback hinders its practical applicability in real-world scenarios. In this paper, we introduce ReFlow-TTS, a novel rectified flow based method for speech synthesis with high-fidelity. Specifically, our ReFlow-TTS is simply an Ordinary Differential Equation (ODE) model that transports Gaussian distribution to the ground-truth Mel-spectrogram distribution by straight line paths as much as possible. Furthermore, our proposed approach enables high-quality speech synthesis with a single sampling step and eliminates the need for training a teacher model. Our experiments on LJSpeech Dataset show that our ReFlow-TTS method achieves the best performance compared with other diffusion based models. And the ReFlow-TTS with one step sampling achieves competitive performance compared with existing one-step TTS models.


title: Tell Me a Story! Narrative-Driven XAI with Large Language Models

abstract: In many AI applications today, the predominance of black-box machine learning models, due to their typically higher accuracy, amplifies the need for Explainable AI (XAI). Existing XAI approaches, such as the widely used SHAP values or counterfactual (CF) explanations, are arguably often too technical for users to understand and act upon. To enhance comprehension of explanations of AI decisions and the overall user experience, we introduce XAIstories, which leverage Large Language Models to provide narratives about how AI predictions are made: SHAPstories do so based on SHAP explanations, while CFstories do so for CF explanations. We study the impact of our approach on users' experience and understanding of AI predictions. Our results are striking: over 90% of the surveyed general audience finds the narratives generated by SHAPstories convincing. Data scientists primarily see the value of SHAPstories in communicating explanations to a general audience, with 83% of data scientists indicating they are likely to use SHAPstories for this purpose. In an image classification setting, CFstories are considered more or equally convincing as the users' own crafted stories by more than 75% of the participants. CFstories additionally bring a tenfold speed gain in creating a narrative. We also find that SHAPstories help users to more accurately summarize and understand AI decisions, in a credit scoring setting we test, correctly answering comprehension questions significantly more often than they do when only SHAP values are provided. The results thereby suggest that XAIstories may significantly help explaining and understanding AI predictions, ultimately supporting better decision-making in various applications.


title: Imagery Dataset for Condition Monitoring of Synthetic Fibre Ropes

abstract: Automatic visual inspection of synthetic fibre ropes (SFRs) is a challenging task in the field of offshore, wind turbine industries, etc. The presence of any defect in SFRs can compromise their structural integrity and pose significant safety risks. Due to the large size and weight of these ropes, it is often impractical to detach and inspect them frequently. Therefore, there is a critical need to develop efficient defect detection methods to assess their remaining useful life (RUL). To address this challenge, a comprehensive dataset has been generated, comprising a total of 6,942 raw images representing both normal and defective SFRs. The dataset encompasses a wide array of defect scenarios which may occur throughout their operational lifespan, including but not limited to placking defects, cut strands, chafings, compressions, core outs and normal. This dataset serves as a resource to support computer vision applications, including object detection, classification, and segmentation, aimed at detecting and analyzing defects in SFRs. The availability of this dataset will facilitate the development and evaluation of robust defect detection algorithms. The aim of generating this dataset is to assist in the development of automated defect detection systems that outperform traditional visual inspection methods, thereby paving the way for safer and more efficient utilization of SFRs across a wide range of applications.


title: GSDC Transformer: An Efficient and Effective Cue Fusion for Monocular Multi-Frame Depth Estimation

abstract: Depth estimation provides an alternative approach for perceiving 3D information in autonomous driving. Monocular depth estimation, whether with single-frame or multi-frame inputs, has achieved significant success by learning various types of cues and specializing in either static or dynamic scenes. Recently, these cues fusion becomes an attractive topic, aiming to enable the combined cues to perform well in both types of scenes. However, adaptive cue fusion relies on attention mechanisms, where the quadratic complexity limits the granularity of cue representation. Additionally, explicit cue fusion depends on precise segmentation, which imposes a heavy burden on mask prediction. To address these issues, we propose the GSDC Transformer, an efficient and effective component for cue fusion in monocular multi-frame depth estimation. We utilize deformable attention to learn cue relationships at a fine scale, while sparse attention reduces computational requirements when granularity increases. To compensate for the precision drop in dynamic scenes, we represent scene attributes in the form of super tokens without relying on precise shapes. Within each super token attributed to dynamic scenes, we gather its relevant cues and learn local dense relationships to enhance cue fusion. Our method achieves state-of-the-art performance on the KITTI dataset with efficient fusion speed.


title: Possible inconsistency between phenomenological and theoretical determinations of charge symmetry breaking in nuclear energy density functionals

abstract: We summarize the recent progress on the determination of the charge symmetry breaking term of nuclear energy density functionals. We point out that the strength of the term determined theoretically is remarkably smaller than that determined phenomenologically, which is still an open question.


title: SCALE: Synergized Collaboration of Asymmetric Language Translation Engines

abstract: In this paper, we introduce SCALE, a collaborative framework that connects compact Specialized Translation Models (STMs) and general-purpose Large Language Models (LLMs) as one unified translation engine. By introducing translation from STM into the triplet in-context demonstrations, SCALE unlocks refinement and pivoting ability of LLM, thus mitigating language bias of LLM and parallel data bias of STM, enhancing LLM speciality without sacrificing generality, and facilitating continual learning without expensive LLM fine-tuning. Our comprehensive experiments show that SCALE significantly outperforms both few-shot LLMs (GPT-4) and specialized models (NLLB) in challenging low-resource settings. Moreover, in Xhosa to English translation, SCALE experiences consistent improvement by a 4 BLEURT score without tuning LLM and surpasses few-shot GPT-4 by 2.5 COMET score and 3.8 BLEURT score when equipped with a compact model consisting of merely 600M parameters. SCALE could also effectively exploit the existing language bias of LLMs by using an English-centric STM as a pivot for translation between any language pairs, outperforming few-shot GPT-4 by an average of 6 COMET points across eight translation directions. Furthermore we provide an in-depth analysis of SCALE's robustness, translation characteristics, and latency costs, providing solid foundation for future studies exploring the potential synergy between LLMs and more specialized, task-specific models.


title: Adjoints, wrapping, and morphisms at infinity

abstract: For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone between right and left adjoints of the localization functor. In particular, this recovers the following result of Ganatra--Gao--Venkatesh: morphisms in categorical formal punctured neighborhoods of wrapped Fukaya categories are computed by Rabinowitz wrapping.


title: GateSeeder: Near-memory CPU-FPGA Acceleration of Short and Long Read Mapping

abstract: Motivation: Read mapping is a computationally expensive process and a major bottleneck in genomics analyses. The performance of read mapping is mainly limited by the performance of three key computational steps: Index Querying, Seed Chaining, and Sequence Alignment. The first step is dominated by how fast and frequent it accesses the main memory (i.e., memory-bound), while the latter two steps are dominated by how fast the CPU can compute their computationally-costly dynamic programming algorithms (i.e., compute-bound). Accelerating these three steps by exploiting new algorithms and new hardware devices is essential to accelerate most genome analysis pipelines that widely use read mapping. Given the large body of work on accelerating Sequence Alignment, this work focuses on significantly improving the remaining steps. Results: We introduce GateSeeder, the first CPU-FPGA-based near-memory acceleration of both short and long read mapping. GateSeeder exploits near-memory computation capability provided by modern FPGAs that couple a reconfigurable compute fabric with high-bandwidth memory (HBM) to overcome the memory-bound and compute-bound bottlenecks. GateSeeder also introduces a new lightweight algorithm for finding the potential matching segment pairs. Using real ONT, HiFi, and Illumina sequences, we experimentally demonstrate that GateSeeder outperforms Minimap2, without performing sequence alignment, by up to 40.3x, 4.8x, and 2.3x, respectively. When performing read mapping with sequence alignment, GateSeeder outperforms Minimap2 by 1.15-4.33x (using KSW2) and by 1.97-13.63x (using WFA-GPU). Availability: https://github.com/CMU-SAFARI/GateSeeder


title: Convergence of critical points for a phase-field approximation of 1D cohesive fracture energies

abstract: Variational models for cohesive fracture are based on the idea that the fracture energy is released gradually as the crack opening grows. Recently, [Conti, Focardi, and Iurlano, Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire, 2016] proposed a variational approximation via $\Gamma$-convergence of a class of cohesive fracture energies by phase-field energies of Ambrosio-Tortorelli type, which may be also used as regularization for numerical simulations. In this paper we address the question of the asymptotic behaviour of critical points of the phase-field energies in the one-dimensional setting: we show that they converge to a selected class of critical points of the limit functional. Conversely, each critical point in this class can be approximated by a family of critical points of the phase-field functionals.


title: More on $z$-minimality of topological groups

abstract: The authors of [4] introduced the notion of $z$-minimality. A minimal group $G$ is $z$-minimal if $G/Z(G)$ is minimal. Answering a question of G. Luk\'acs, we present, in this paper, the $z$-Minimality Criterion for dense subgroups. This criterion implies that if $\Bbb F$ is a subfield of a local field of characteristic distinct than $2,$ then the special linear group $\operatorname{SL}(n,\Bbb F)$ is $z$-minimal precisely when its subgroup $\operatorname{ST^+}(n,\Bbb F)$, the special upper triangular group, is $z$-minimal. Some applications to Number Theory are provided. We prove that the following conditions are equivalent for a positive integer $n$: (a) $n$ is not square-free; (b) there exists a subfield $\mathbb{F}$ of $\mathbb{C}$ such that $\operatorname{SL}(n, \mathbb{F})$ is minimal but not $z$-minimal; (c) there exists a subfield $\mathbb{F}$ of $\mathbb{C}$ such that $\operatorname{ST^+}(n, \mathbb{F})$ is minimal but not $z$-minimal. We also answer [18, Question 6] in the positive, showing that both topological products $G=\prod_{p\in \mathcal P}\operatorname{SL}(p+1,(\mathbb{Q},\tau_p))$ and $H=\prod_{p\in \mathcal P}\operatorname{ST^+}(p+1,(\mathbb{Q},\tau_p))$ are minimal, where $\mathcal P$ is the set of all primes and $(\mathbb{Q},\tau_p)$ is the field of rationals equipped with the $p$-adic topology. In another direction, it is proved that if $G$ is a locally compact $z$-minimal group, then the quotient group $G/Z(G)$ is topologically isomorphic to $\operatorname{Inn}(G),$ the group of all inner automorphisms of $G,$ endowed with the Birkhoff topology.


title: Optical fibres with memory effects and their quantum communication capacities

abstract: The development of quantum repeaters poses significant challenges in terms of cost and maintenance, prompting the exploration of alternative approaches for achieving long-distance quantum communication. In the absence of quantum repeaters and under the memoryless (iid) approximation, it has been established that some fundamental quantum communication tasks are impossible if the transmissivity of an optical fibre falls below a known critical value, resulting in a severe constraint on the achievable distance for quantum communication. However, if the memoryless assumption does not hold -- e.g. when input signals are separated by a sufficiently short time interval -- the validity of this limitation is put into question. In this paper we introduce a model of optical fibre that can describe memory effects for long transmission lines. We then solve its quantum capacity, two-way quantum capacity, and secret-key capacity exactly. By doing so, we show that -- due to the memory cross-talk between the transmitted signals -- reliable quantum communication is attainable even for highly noisy regimes where it was previously considered impossible. As part of our solution, we find the critical time interval between subsequent signals below which quantum communication, two-way entanglement distribution, and quantum key distribution become achievable.


title: Non-convex functionals penalizing simultaneous oscillations along two independent directions: structure of the defect measure

abstract: We continue the analysis of a family of energies penalizing oscillations in oblique directions: they apply to functions $u(x_1,x_2)$ with $x_l\in\mathbb{R}^{n_l}$ and vanish when $u(x)$ is of the form $u_1(x_1)$ or $u_2(x_2)$. We mainly study the rectifiability properties of the defect measure $\nabla_1\nabla_2u$ of functions with finite energy. The energies depend on a parameter $\theta\in(0,1]$ and the set of functions with finite energy grows with $\theta$. For $\theta<1$ we prove that the defect measure is $(n_1-1,n_2-1)$-tensor rectifiable in $\Omega_1\times\Omega_2$. We first get the result for $n_1=n_2=1$ and deduce the general case through slicing using White's rectifiability criterion. When $\theta=1$ the situation is less clear as measures of arbitrary dimensions from zero to $n_1+n_2-1$ are possible. We show however, in the case $n_1=n_2=1$ and for Lipschitz continuous functions, that the defect measures are $1\,$-rectifiable. This case bears strong analogies with the study of entropic solutions of the eikonal equation.


title: Doubly heavy tetraquark states in the constituent quark model using diffusion Monte Carlo method

abstract: We use the diffusion Monte Carlo method to calculate the doubly heavy tetraquark $T_{cc}$ system in two kinds of constituent quark models, the pure constituent quark model AL1/AP1 and the chiral constituent quark model. When the discrete configurations are complete and no spatial clustering is preseted, the AL1/AP1 model gives an energy of $T_{cc}$ close to the $DD^*$ threshold, and the chiral constituent quark model yields a deeply bound state. We further calculate all doubly heavy tetraquark systems with $J^P=0^+,1^+,2^+$, and provide the binding energies of systems with bound states. The $I(J^P)=0(0^+)$ $bc\bar{n}\bar{n}$, $0(1^+)$ $bb\bar{n}\bar{n}$, $0(1^+)$ $bc\bar{n}\bar{n}$, $\frac{1}{2}(1^+)$ $bb\bar{s}\bar{n}$ systems have bound states in all three models. Since the DMC method has almost no restriction on the spatial part, the resulting bound states have greater binding energies than those obtained in previous works.


title: Improving the efficiency of cascade detection by the Baikal-GVD neutrino telescope

abstract: The deployment of the Baikal-GVD deep underwater neutrino telescope is in progress now. About 3500 deep underwater photodetectors (optical modules) arranged into 12 clusters are operating in Lake Baikal. For increasing the efficiency of cascade-like neutrino event detection, the telescope deployment scheme was slightly changed. Namely, the inter-cluster distance was reduced for the newly deployed clusters and additional string of optical modules are added between the clusters. The first inter-cluster string was installed in 2022 and two such strings were installed in 2023. This paper presents a Monte Carlo estimate of the impact of these configuration changes on the cascade detection efficiency as well as technical implementation and results of in-situ tests of the inter-cluster strings.


title: Diffuse neutrino flux measurements with the Baikal-GVD neutrino telescope

abstract: Baikal-GVD is a next generation, kilometer-scale neutrino telescope currently under construction in Lake Baikal. GVD consists of multi-megaton subarrays (clusters) and is designed for the detection of astrophysical neutrino fluxes at energies from a few TeV up to 100 PeV. The large detector volume and modular design of Baikal-GVD allows for the measurements of the astrophysical diffuse neutrino flux to be performed already at early phases of the array construction. We present here recent results of the measurements on the diffuse cosmic neutrino flux obtained with the Baikal-GVD neutrino telescope using cascade-like events.


title: Nuclear Modification Factor in Pb-Pb and p-Pb collisions at $\sqrt{s_{NN}}$=5.02 TeV at LHC energies using Boltzmann Transport Equation with Tsallis Blast Wave Description

abstract: In this article, we have studied the nuclear modification factor measured in Pb-Pb collisions ($R_{PbPb}$) for $\pi^{\pm}$, $K^{\pm}$, $p+\bar{p}$, $K^{*0} + \bar{K^{*0}}$, $\phi$ and in p-Pb collisions ($R_{pPb}$) for $\pi^{\pm}$, $K^{\pm}$, $p+\bar{p}$ at Large hadron collider (LHC) energy of $\sqrt{s_{NN}}$ = 5.02 TeV for the most central and peripheral collisions. We have also analysed the experimental data of transverse momentum ($p_T$) spectra for these identified hadrons at LHC for Pb-Pb as well as for p-Pb collisions. We have used Boltzmann transport equation (BTE) in relaxation time approximation (RTA) for this analysis. The Tsallis statistics is used as an initial distribution function and The Tsallis blast wave (TBW) model is employed as an equilibrium distribution in BTE. The present model fits the measured transverse momentum spectra, $R_{PbPb}$, and $R_{pPb}$ successfully upto $p_T$ = 8 GeV with a reasonable $\chi^2/ndf$ for all the considered hadrons at various centralities. The experimental data for $R_{pPb}$ are generated using the particle yields at pPb and pp collisions where number of binary collisions are taken from Glauber model calculations. We find that the average transverse flow velocity ($<\beta_r>$) follows the mass and centrality ordering and decreases with the mass as well as when one move from the central collisions to peripheral collisions. These findings are inline with the results of the hydrodynamical calculations.


title: MaaSDB: Spatial Databases in the Era of Large Language Models (Vision Paper)

abstract: Large language models (LLMs) are advancing rapidly. Such models have demonstrated strong capabilities in learning from large-scale (unstructured) text data and answering user queries. Users do not need to be experts in structured query languages to interact with systems built upon such models. This provides great opportunities to reduce the barrier of information retrieval for the general public. By introducing LLMs into spatial data management, we envisage an LLM-based spatial database system to learn from both structured and unstructured spatial data. Such a system will offer seamless access to spatial knowledge for the users, thus benefiting individuals, business, and government policy makers alike.


title: Potential biases and prospects for the Hubble constant estimation via electromagnetic and gravitational-wave joint analyses

abstract: GW170817 is a binary neutron star merger that exhibited a gravitational wave (GW) and a gamma-ray burst, followed by an afterglow. In this work, we estimate the Hubble constant ($H_0$) using broad-band afterglow emission and relativistic jet motion from the Very Long Baseline Interferometry and Hubble Space Telescope images of GW170817. Compared to previous attempts, we combine these messengers with GW in a simultaneous Bayesian fit. We probe the $H_0$ measurement robustness depending on the data set used, the assumed jet model, the possible presence of a late time flux excess. Using the sole GW leads to a $20\%$ error ($77^{+21}_{-10}$ km/s/Mpc, medians, 16th-84th percentiles), because of the degeneracy between viewing angle ($\theta_v$) and luminosity distance ($d_L$). The latter is reduced by the inclusion in the fit of the afterglow light curve, leading to $H_0=96^{+13}_{-10}$ km/s/Mpc, a large value, caused by the fit preference for high viewing angles due to the possible presence of a late-time excess in the afterglow flux. Accounting for the latter by including a constant flux component at late times brings $H_0=78.5^{+7.9}_{-6.4}$ km/s/Mpc. Adding the centroid motion in the analysis efficiently breaks the $d_L-\theta_v$ degeneracy and overcome the late-time deviations, giving $H_0 = 69.0^{+4.4}_{-4.3}$ km/s/Mpc (in agreement with Planck and SH0ES measurements) and $\theta_v = 18.2^{+1.2}_{-1.5}$ deg. This is valid regardless of the jet structure assumption. Our simulations show that for next GW runs radio observations are expected to provide at most few other similar events.