title: Detecting Any Human-Object Interaction Relationship: Universal HOI Detector with Spatial Prompt Learning on Foundation Models

abstract: Human-object interaction (HOI) detection aims to comprehend the intricate relationships between humans and objects, predicting $<human, action, object>$ triplets, and serving as the foundation for numerous computer vision tasks. The complexity and diversity of human-object interactions in the real world, however, pose significant challenges for both annotation and recognition, particularly in recognizing interactions within an open world context. This study explores the universal interaction recognition in an open-world setting through the use of Vision-Language (VL) foundation models and large language models (LLMs). The proposed method is dubbed as \emph{\textbf{UniHOI}}. We conduct a deep analysis of the three hierarchical features inherent in visual HOI detectors and propose a method for high-level relation extraction aimed at VL foundation models, which we call HO prompt-based learning. Our design includes an HO Prompt-guided Decoder (HOPD), facilitates the association of high-level relation representations in the foundation model with various HO pairs within the image. Furthermore, we utilize a LLM (\emph{i.e.} GPT) for interaction interpretation, generating a richer linguistic understanding for complex HOIs. For open-category interaction recognition, our method supports either of two input types: interaction phrase or interpretive sentence. Our efficient architecture design and learning methods effectively unleash the potential of the VL foundation models and LLMs, allowing UniHOI to surpass all existing methods with a substantial margin, under both supervised and zero-shot settings. The code and pre-trained weights are available at: \url{https://github.com/Caoyichao/UniHOI}.


title: Magnetism in Kitaev Quantum Spin Liquid Candidate RuBr$_3$

abstract: The present studies show that long-range magnetic order takes place in RuBr$_3$ at $\approx$ 34 K. The observations of clear oscillations in the muon time spectra demonstrate the presence of well-defined internal fields at the muon sites. The magnetic ordering appears to be very robust and static suggesting a more conventional nature of magnetic ordering in the RuBr$_3$ system at zero field. Present investigations prove that in RuBr$_3$ the Kitaev interactions are likely to be weakened at zero field in comparison to the $\alpha$-RuCl$_3$ system. This proves that it is possible to tune the Kitaev interactions by replacing Cl with heavier halogen elements such as Br.


title: A finite mixture approach for the analysis of digital skills in Finland, Italy and Bulgaria: the role of socio-economic factors

abstract: The digital divide is the gap among population sub-groups in accessing and/or using digital technologies. For instance, older people show a lower propensity to have a broadband connection, use the Internet, and adopt new technologies than the younger ones. Motivated by the analysis of the heterogeneity in the use of digital technologies, we build a bipartite network concerning the presence of various digital skills in individuals from three different European countries: Finland, Italy, and Bulgaria. Bipartite networks provide a useful structure for representing relationships between two disjoint sets of nodes, formally called sending and receiving nodes. The goal is to perform a clustering of individuals (sending nodes) based on their digital skills (receiving nodes) for each country. In this regard, we employ a Mixture of Latent Trait Analyzers (MLTA) accounting for concomitant variables, which allows us to (i) cluster individuals according to their individual profile; (ii) analyze how socio-economic and demographic characteristics, as well as intergenerational ties, influence individual digitalization. Results show that the type of digitalization substantially depends on age, income and level of education, while the presence of children in the household seems to play an important role in the digitalization process in Italy and Finland only.


title: Large time behavior for the nonlinear dissipative Boussinesq equation

abstract: In this paper, we study the nonlinear dissipative Boussinesq equation in the whole space $\mathbb{R}^n$ with $L^1$ integrable data. As our preparations, the optimal estimates as well as the optimal leading terms for the linearized model are derived by performing the WKB analysis and the Fourier analysis. Then, under some conditions on the power $p$ of nonlinearity, we demonstrate global (in time) existence of small data Sobolev solutions with different regularities to the nonlinear model by applying some fractional order interpolations, where the optimal growth ($n=2$) and decay ($n\geqslant 3$) estimates of solutions for large time are given. Simultaneously, we get a new large time asymptotic profile of global (in time) solutions. These results imply some influence of dispersion and dissipation on qualitative properties of solution.


title: Non-Hermitian skin effect and nonreciprocity induced by dissipative couplings

abstract: We study the mechanism for realizing non-Hermitian skin effect (NHSE) via dissipative couplings, in which the left-right couplings have equal strengths but the phases do not satisfy the complex conjugation. Previous realizations of NHSE typically require unequal left-right couplings or on-site gain and loss. In this work we find that when combined with the multichannel interference provided by a periodic dissipative-coherent coupling structure, the dissipative couplings can lead to unequal left-right couplings, inducing NHSE. Moreover, we show that the non-Hermiticity induced by dissipative couplings can be fully transformed into nonreciprocity-type non-Hermiticity without bringing extra gain-loss-type non-Hermiticity. Thus, this mechanism enables unidirectional energy transmission without introducing additional insertion loss. Our work opens a new avenue for the study of non-Hermitian topological effects and the design of directional optical networks.


title: Searches for neutrino counterparts of gravitational waves from the LIGO/Virgo third observing run with KM3NeT

abstract: The KM3NeT neutrino telescope is currently being deployed at two different sites in the Mediterranean Sea. First searches for astrophysical neutrinos have been performed using data taken with the partial detector configuration already in operation. The paper presents the results of two independent searches for neutrinos from compact binary mergers detected during the third observing run of the LIGO and Virgo gravitational wave interferometers. The first search looks for a global increase in the detector counting rates that could be associated with inverse beta decay events generated by MeV-scale electron anti-neutrinos. The second one focuses on upgoing track-like events mainly induced by muon (anti-)neutrinos in the GeV--TeV energy range. Both searches yield no significant excess for the sources in the gravitational wave catalogs. For each source, upper limits on the neutrino flux and on the total energy emitted in neutrinos in the respective energy ranges have been set. Stacking analyses of binary black hole mergers and neutron star-black hole mergers have also been performed to constrain the characteristic neutrino emission from these categories.


title: Quantum Circuit Unoptimization

abstract: Optimization of circuits is an essential task for both quantum and classical computers to improve their efficiency. In contrast, classical logic optimization is known to be difficult, and a lot of heuristic approaches have been developed so far. In this study, we define and construct a quantum algorithmic primitive called quantum circuit unoptimization, which makes a given quantum circuit complex by introducing some redundancies while preserving circuit equivalence, i.e., the inverse operation of circuit optimization. Using quantum circuit unoptimization, we propose the quantum circuit equivalence test, a decision problem contained both in the NP and BQP classes but is not trivially included in the P class. Furthermore, as a practical application, we construct concrete unoptimization recipes to generate compiler benchmarks and evaluate circuit optimization performance using Qiskit and Pytket. Our numerical simulations demonstrate that quantum circuit unoptimizer systematically generates redundant circuits that are challenging for compilers to optimize, which can be used to compare the performance of different compilers and improve them. We also offer potential applications of quantum circuit unoptimization, such as generating quantum advantageous machine learning datasets and quantum computer fidelity benchmarks.


title: Exploring the transformation of user interactions to Adaptive Human-Machine Interfaces

abstract: Human-machine interfaces (HMI) facilitate communication between humans and machines, and their importance has increased in modern technology. However, traditional HMIs are often static and do not adapt to individual user preferences or behavior. Adaptive User Interfaces (AUIs) have become increasingly important in providing personalized user experiences. Machine learning techniques have gained traction in User Experience (UX) research to provide smart adaptations that can reduce user cognitive load. This paper presents an ongoing exploration of a method for generating adaptive user interfaces by analyzing user interactions and contextual data. It also provides an illustrative example using Markov chains to predict the next step for users interacting with an app for an industrial mixing machine. Furthermore, the paper conducts an offline evaluation of the approach, focusing on the precision of the recommendations. The study emphasizes the importance of incorporating user interactions and contextual data into the design of adaptive HMIs, while acknowledging the existing challenges and potential benefits.


title: Twisted categorical generic fiber

abstract: After extending Orlov's theorem, we prove specialization of derived equivalence for flat proper families of Azumaya varieties.


title: On the free commutative monoid over a positive operad

abstract: We give the explicit description of the NPL-operad structure on the free commutative monoid $\mathbf E\circ \mathbf q$ generated by a given positive operad $\mathbf q$. We propose to name NPL-operad a weak form of operad in which the nested associativity axiom is weakened down to a nested pre-Lie condition. This structure is new up to our knowledge.


title: SoK: Security Below the OS -- A Security Analysis of UEFI

abstract: The Unified Extensible Firmware Interface (UEFI) is a linchpin of modern computing systems, governing secure system initialization and booting. This paper is urgently needed because of the surge in UEFI-related attacks and vulnerabilities in recent years. Motivated by this urgent concern, we undertake an extensive exploration of the UEFI landscape, dissecting its distribution supply chain, booting process, and security features. We carefully study a spectrum of UEFI-targeted attacks and proofs of concept (PoCs) for exploiting UEFI-related vulnerabilities. Building upon these insights, we construct a comprehensive attack threat model encompassing threat actors, attack vectors, attack types, vulnerabilities, attack capabilities, and attacker objectives. Drawing inspiration from the MITRE ATT&CK framework, we present a MITRE ATT&CK-like taxonomy delineating tactics, techniques, and sub-techniques in the context of UEFI attacks. This taxonomy can provide a road map for identifying existing gaps and developing new techniques for rootkit prevention, detection, and removal. Finally, the paper discusses existing countermeasures against UEFI attacks including a variety of technical and operational measures that can be implemented to lower the risk of UEFI attacks to an acceptable level. This paper seeks to clarify the complexities of UEFI and equip the cybersecurity community with the necessary knowledge to strengthen the security of this critical component against a growing threat landscape.


title: Rethinking and Improving Multi-task Learning for End-to-end Speech Translation

abstract: Significant improvements in end-to-end speech translation (ST) have been achieved through the application of multi-task learning. However, the extent to which auxiliary tasks are highly consistent with the ST task, and how much this approach truly helps, have not been thoroughly studied. In this paper, we investigate the consistency between different tasks, considering different times and modules. We find that the textual encoder primarily facilitates cross-modal conversion, but the presence of noise in speech impedes the consistency between text and speech representations. Furthermore, we propose an improved multi-task learning (IMTL) approach for the ST task, which bridges the modal gap by mitigating the difference in length and representation. We conduct experiments on the MuST-C dataset. The results demonstrate that our method attains state-of-the-art results. Moreover, when additional data is used, we achieve the new SOTA result on MuST-C English to Spanish task with 20.8% of the training time required by the current SOTA method.


title: Controlling FSR in Selective Classification

abstract: Uncertainty quantification and false selection error rate (FSR) control are crucial in many high-consequence scenarios, so we need models with good interpretability. This article introduces the optimality function for the binary classification problem in selective classification. We prove the optimality of this function in oracle situations and provide a data-driven method under the condition of exchangeability. We demonstrate it can control global FSR with the finite sample assumption and successfully extend the above situation from binary to multi-class classification. Furthermore, we demonstrate that FSR can still be controlled without exchangeability, ultimately completing the proof using the martingale method.


title: Conversations in Galician: a Large Language Model for an Underrepresented Language

abstract: The recent proliferation of Large Conversation Language Models has highlighted the economic significance of widespread access to this type of AI technologies in the current information age. Nevertheless, prevailing models have primarily been trained on corpora consisting of documents written in popular languages. The dearth of such cutting-edge tools for low-resource languages further exacerbates their underrepresentation in the current economic landscape, thereby impacting their native speakers. This paper introduces two novel resources designed to enhance Natural Language Processing (NLP) for the Galician language. We present a Galician adaptation of the Alpaca dataset, comprising 52,000 instructions and demonstrations. This dataset proves invaluable for enhancing language models by fine-tuning them to more accurately adhere to provided instructions. Additionally, as a demonstration of the dataset utility, we fine-tuned LLaMA-7B to comprehend and respond in Galician, a language not originally supported by the model, by following the Alpaca format. This work contributes to the research on multilingual models tailored for low-resource settings, a crucial endeavor in ensuring the inclusion of all linguistic communities in the development of Large Language Models. Another noteworthy aspect of this research is the exploration of how knowledge of a closely related language, in this case, Portuguese, can assist in generating coherent text when training resources are scarce. Both the Galician Alpaca dataset and Cabuxa-7B are publicly accessible on our Huggingface Hub, and we have made the source code available to facilitate replication of this experiment and encourage further advancements for underrepresented languages.


title: Associated single top production (t+X)

abstract: Single top quark production in association with vector bosons provides a unique way to probe the electroweak sector of the standard model at the Large Hadron Collider. In this talk the latest experimental results of the ATLAS and CMS Collaborations for these processes are presented.


title: Ultimatum game: regret or fairness?

abstract: In the ultimatum game, the challenge is to explain why responders reject non-zero offers thereby defying classical rationality. Fairness and related notions have been the main explanations so far. We explain this rejection behavior via the following principle: if the responder regrets less about losing the offer than the proposer regrets not offering the best option, the offer is rejected. This principle qualifies as a rational punishing behavior and it replaces the experimentally falsified classical rationality (the subgame perfect Nash equilibrium) that leads to accepting any non-zero offer. The principle is implemented via the transitive regret theory for probabilistic lotteries. The expected utility implementation is a limiting case of this. We show that several experimental results normally prescribed to fairness and intent-recognition can be given an alternative explanation via rational punishment; e.g. the comparison between "fair" and "superfair", the behavior under raising the stakes etc. Hence we also propose experiments that can distinguish these two scenarios (fairness versus regret-based punishment). They assume different utilities for the proposer and responder. We focus on the mini-ultimatum version of the game and also show how it can emerge from a more general setup of the game.


title: Integrated Sensing, Communication, and Computing for Cost-effective Multimodal Federated Perception

abstract: Federated learning (FL) is a classic paradigm of 6G edge intelligence (EI), which alleviates privacy leaks and high communication pressure caused by traditional centralized data processing in the artificial intelligence of things (AIoT). The implementation of multimodal federated perception (MFP) services involves three sub-processes, including sensing-based multimodal data generation, communication-based model transmission, and computing-based model training, ultimately relying on available underlying multi-domain physical resources such as time, frequency, and computing power. How to reasonably coordinate the multi-domain resources scheduling among sensing, communication, and computing, therefore, is crucial to the MFP networks. To address the above issues, this paper investigates service-oriented resource management with integrated sensing, communication, and computing (ISCC). With the incentive mechanism of the MFP service market, the resources management problem is redefined as a social welfare maximization problem, where the idea of "expanding resources" and "reducing costs" is used to improve learning performance gain and reduce resource costs. Experimental results demonstrate the effectiveness and robustness of the proposed resource scheduling mechanisms.


title: Hole subband dispersions in a cylindrical Ge nanowire: exact results based on the axial Luttinger-Kohn Hamiltonian

abstract: Based on the Luttinger-Kohn Hamiltonian in the axial approximation, the transcendental equations determining the hole subband dispersions in a cylindrical Ge nanowire are analytically derived. These equations are more general than that derived using the spherical approximation, and are suitable to study the growth direction dependence of the subband dispersions. The axial approximation almost gives rise to the accurate low-energy subband dispersions for high-symmetry nanowire growth directions [001] and [111]. The perturbation correction from the non-axial term is negligible for these two directions. The lowest two subband dispersions can be regarded as two shifted parabolic curves with an energy gap at $k_{z}=0$ for both growth directions [001] and [111]. At the position of the energy gap, the eigenstates for growth direction [111] are inverted in comparison with the normal eigenstates for growth direction [001]. A nanowire growth direction where the energy gap closes at $k_{z}=0$ is predicted to exist between directions [001] and [111].


title: Tunable photon-photon correlations in waveguide QED systems with giant atoms

abstract: We investigate the scattering processes of two photons in a one-dimensional waveguide coupled to two giant atoms. By adjusting the accumulated phase shifts between the coupling points, we are able to effectively manipulate the characteristics of these scattering photons. Utilizing the Lippmann-Schwinger formalism, we derive analytical expressions for the wave functions describing two-photon interaction in separate, braided, and nested configurations. Based on these wave functions, we also obtain analytical expressions for the incoherent power spectra and second-order correlation functions. In contrast to small atoms, the incoherent spectrum, which is defined by the correlation of the bound state, can exhibit more tunability due to the phase shifts. Additionally, the second-order correlation functions in the transmission and reflection fields could be tuned to exhibit either bunching or antibunching upon resonant driving. These unique features offered by the giant atoms in waveguide QED could benefit the generation of nonclassical itinerant photons in quantum networks.


title: Theoretical Patchability Quantification for IP-Level Hardware Patching Designs

abstract: As the complexity of System-on-Chip (SoC) designs continues to increase, ensuring thorough verification becomes a significant challenge for system integrators. The complexity of verification can result in undetected bugs. Unlike software or firmware bugs, hardware bugs are hard to fix after deployment and they require additional logic, i.e., patching logic integrated with the design in advance in order to patch. However, the absence of a standardized metric for defining "patchability" leaves system integrators relying on their understanding of each IP and security requirements to engineer ad hoc patching designs. In this paper, we propose a theoretical patchability quantification method to analyze designs at the Register Transfer Level (RTL) with provided patching options. Our quantification defines patchability as a combination of observability and controllability so that we can analyze and compare the patchability of IP variations. This quantification is a systematic approach to estimate each patching architecture's ability to patch at run-time and complements existing patching works. In experiments, we compare several design options of the same patching architecture and discuss their differences in terms of theoretical patchability and how many potential weaknesses can be mitigated.


title: Constrained Regularization by Denoising with Automatic Parameter Selection

abstract: Regularization by Denoising (RED) is a well-known method for solving image restoration problems by using learned image denoisers as priors. Since the regularization parameter in the traditional RED does not have any physical interpretation, it does not provide an approach for automatic parameter selection. This letter addresses this issue by introducing the Constrained Regularization by Denoising (CRED) method that reformulates RED as a constrained optimization problem where the regularization parameter corresponds directly to the amount of noise in the measurements. The solution to the constrained problem is solved by designing an efficient method based on alternating direction method of multipliers (ADMM). Our experiments show that CRED outperforms the competing methods in terms of stability and robustness, while also achieving competitive performances in terms of image quality.


title: High-Fidelity Multi-Scale Simulation of Swirled Air-blast Atomization with Comparison against Experiments

abstract: In liquid-fueled combustion systems, optimization of the fuel atomization process is critical to reducing fuel consumption and lowering pollutant emissions. Accurate and efficient computational modeling of liquid atomization can open the door to spray optimization, however it presents a significant challenge to modelers due to the extremely complex flow field and wide range of length and time scales involved. In this work, a multi-scale and multi-domain simulation strategy is used to model end-to-end the turbulent spray produced by a swirled two-fluid coaxial atomizer, a device that utilize a high-speed swirled gas stream to destabilize a co-flowing low-speed liquid, widely used in systems such as fuel injectors. Our computational method relies on sub-grid scale modeling; in particular, we will introduce a thin structure break-up model to account for topology changes, converting thin liquid structures into spherical Lagrangian particles. With such simulations, the impact of swirl on the break-up process can be analyzed by varying the swirl ratio, and we aim to quantitatively validate our simulations against experiments at identical operating conditions, including drop size statistics.


title: Positive Competitive Networks for Sparse Reconstruction

abstract: We propose and analyze a continuous-time firing-rate neural network, the positive firing-rate competitive network (\pfcn), to tackle sparse reconstruction problems with non-negativity constraints. These problems, which involve approximating a given input stimulus from a dictionary using a set of sparse (active) neurons, play a key role in a wide range of domains, including for example neuroscience, signal processing, and machine learning. First, by leveraging the theory of proximal operators, we relate the equilibria of a family of continuous-time firing-rate neural networks to the optimal solutions of sparse reconstruction problems. Then, we prove that the \pfcn is a positive system and give rigorous conditions for the convergence to the equilibrium. Specifically, we show that the convergence: (i) only depends on a property of the dictionary; (ii) is linear-exponential, in the sense that initially the convergence rate is at worst linear and then, after a transient, it becomes exponential. We also prove a number of technical results to assess the contractivity properties of the neural dynamics of interest. Our analysis leverages contraction theory to characterize the behavior of a family of firing-rate competitive networks for sparse reconstruction with and without non-negativity constraints. Finally, we validate the effectiveness of our approach via a numerical example.


title: Adaptive Data Reduction Workflows for Astronomy -- The ESO Data Processing System (EDPS)

abstract: Astronomical data reduction is usually done with processing pipelines that consist of a series of individual processing steps that can be executed stand-alone. These processing steps are then strung together into workflows and fed with data to address a particular processing goal. In this paper, we propose a data processing system that automatically derives processing workflows for different use cases from a single specification of a cascade of processing steps. The system works by using formalized descriptions of data processing pipelines that specify the input and output of each processing step. Inputs can be existing data or the output of a previous step. Rules to select the most appropriate input data are directly attached to the description. A version of the proposed system has been implemented as the ESO Data Processing System (EDPS) in the Python language. The specification of processing cascades and data organisation rules use a restrictive set of Python classes, attributes and functions. The EDPS implementation of the proposed system was used to demonstrate that it is possible to automatically derive from a single specification of a pipeline processing cascade the workflows that the European Southern Observatory uses for quality control, archive production, and specialized science reduction. The EDPS will be used to replace all data reduction systems using different workflow specifications that are currently used at the European Southern Observatory.


title: Data-informed uncertainty quantification for laser-based powder bed fusion additive manufacturing

abstract: We present an efficient approach to quantify the uncertainties associated with the numerical simulations of the laser-based powder bed fusion of metals processes. Our study focuses on a thermomechanical model of an Inconel 625 cantilever beam, based on the AMBench2018-01 benchmark proposed by the National Institute of Standards and Technology (NIST). The proposed approach consists of a forward uncertainty quantification analysis of the residual strains of the cantilever beam given the uncertainty in some of the parameters of the numerical simulation, namely the powder convection coefficient and the activation temperature. The uncertainty on such parameters is modelled by a data-informed probability density function obtained by a Bayesian inversion procedure, based on the displacement experimental data provided by NIST. To overcome the computational challenges of both the Bayesian inversion and the forward uncertainty quantification analysis we employ a multi-fidelity surrogate modelling technique, specifically the multi-index stochastic collocation method. The proposed approach allows us to achieve a 33\% reduction in the uncertainties on the prediction of residual strains compared with what we would get basing the forward UQ analysis on a-priori ranges for the uncertain parameters, and in particular the mode of the probability density function of such quantities (i.e., its ``most likely value'', roughly speaking) results to be in good agreement with the experimental data provided by NIST, even though only displacement data were used for the Bayesian inversion procedure.


title: A Fast Algorithm for Low Rank + Sparse column-wise Compressive Sensing

abstract: This paper focuses studies the following low rank + sparse (LR+S) column-wise compressive sensing problem. We aim to recover an $n \times q$ matrix, $\X^* =[ \x_1^*, \x_2^*, \cdots , \x_q^*]$ from $m$ independent linear projections of each of its $q$ columns, given by $\y_k :=\A_k\x_k^*$, $k \in [q]$. Here, $\y_k$ is an $m$-length vector with $m < n$. We assume that the matrix $\X^*$ can be decomposed as $\X^*=\L^*+\S^*$, where $\L^*$ is a low rank matrix of rank $r << \min(n,q)$ and $\S^*$ is a sparse matrix. Each column of $\S$ contains $\rho$ non-zero entries. The matrices $\A_k$ are known and mutually independent for different $k$. To address this recovery problem, we propose a novel fast GD-based solution called AltGDmin-LR+S, which is memory and communication efficient. We numerically evaluate its performance by conducting a detailed simulation-based study.


title: IC-SECURE: Intelligent System for Assisting Security Experts in Generating Playbooks for Automated Incident Response

abstract: Security orchestration, automation, and response (SOAR) systems ingest alerts from security information and event management (SIEM) system, and then trigger relevant playbooks that automate and orchestrate the execution of a sequence of security activities. SOAR systems have two major limitations: (i) security analysts need to define, create and change playbooks manually, and (ii) the choice between multiple playbooks that could be triggered is based on rules defined by security analysts. To address these limitations, recent studies in the field of artificial intelligence for cybersecurity suggested the task of interactive playbook creation. In this paper, we propose IC-SECURE, an interactive playbook creation solution based on a novel deep learning-based approach that provides recommendations to security analysts during the playbook creation process. IC-SECURE captures the context in the form of alert data and current status of incomplete playbook, required to make reasonable recommendation for next module that should be included in the new playbook being created. We created three evaluation datasets, each of which involved a combination of a set of alert rules and a set of playbooks from a SOAR platform. We evaluated IC-SECURE under various settings, and compared our results with two state-of-the-art recommender system methods. In our evaluation IC-SECURE demonstrated superior performance compared to other methods by consistently recommending the correct security module, achieving precision@1 > 0.8 and recall@3 > 0.92


title: Accelerating Unstructured SpGEMM using Structured In-situ Computing

abstract: Sparse matrix-matrix multiplication (SpGEMM) is a critical kernel widely employed in machine learning and graph algorithms. However, real-world matrices' high sparsity makes SpGEMM memory-intensive. In-situ computing offers the potential to accelerate memory-intensive applications through high bandwidth and parallelism. Nevertheless, the irregular distribution of non-zeros renders SpGEMM a typical unstructured software. In contrast, in-situ computing platforms follow a fixed calculation manner, making them structured hardware. The mismatch between unstructured software and structured hardware leads to sub-optimal performance of current solutions. In this paper, we propose SPLIM, a novel in-situ computing SpGEMM accelerator. SPLIM involves two innovations. First, we present a novel computation paradigm that converts SpGEMM into structured in-situ multiplication and unstructured accumulation. Second, we develop a unique coordinates alignment method utilizing in-situ search operations, effectively transforming unstructured accumulation into high parallel searching operations. Our experimental results demonstrate that SPLIM achieves 275.74$\times$ performance improvement and 687.19$\times$ energy saving compared to NVIDIA RTX A6000 GPU.


title: Modeling spin effects in electron-positron annihilation to hadrons

abstract: The string+${}^3P_0$ model of spin-dependent hadronization is applied to the fragmentation of a string stretched between a quark and an antiquark with entangled spin states, assumed to be produced in the $e^+e^-$ annihilation process. The model accounts systematically for the spin correlations in the hadronization chain and is formulated as a recursive recipe suitable for the implementation in a Monte Carlo event generator. The recipe is applied to the production of two back-to-back pseudoscalar mesons produced in $e^+e^-$ annihilation, and it is shown to reproduce the form of the azimuthal distribution of the hadrons as expected in QCD.


title: Multi-view Information Integration and Propagation for Occluded Person Re-identification

abstract: Occluded person re-identification (re-ID) presents a challenging task due to occlusion perturbations. Although great efforts have been made to prevent the model from being disturbed by occlusion noise, most current solutions only capture information from a single image, disregarding the rich complementary information available in multiple images depicting the same pedestrian. In this paper, we propose a novel framework called Multi-view Information Integration and Propagation (MVI$^{2}$P). Specifically, realizing the potential of multi-view images in effectively characterizing the occluded target pedestrian, we integrate feature maps of which to create a comprehensive representation. During this process, to avoid introducing occlusion noise, we develop a CAMs-aware Localization module that selectively integrates information contributing to the identification. Additionally, considering the divergence in the discriminative nature of different images, we design a probability-aware Quantification module to emphatically integrate highly reliable information. Moreover, as multiple images with the same identity are not accessible in the testing stage, we devise an Information Propagation (IP) mechanism to distill knowledge from the comprehensive representation to that of a single occluded image. Extensive experiments and analyses have unequivocally demonstrated the effectiveness and superiority of the proposed MVI$^{2}$P. The code will be released at \url{https://github.com/nengdong96/MVIIP}.


title: Multilevel mixtures of latent trait analyzers for clustering multi-layer bipartite networks

abstract: Within network data analysis, bipartite networks represent a particular type of network where relationships occur between two disjoint sets of nodes, formally called sending and receiving nodes. In this context, sending nodes may be organized into layers on the basis of some defined characteristics, resulting in a special case of multilayer bipartite network, where each layer includes a specific set of sending nodes. To perform a clustering of sending nodes in multi-layer bipartite network, we extend the Mixture of Latent Trait Analyzers (MLTA), also taking into account the influence of concomitant variables on clustering formation and the multi-layer structure of the data. To this aim, a multilevel approach offers a useful methodological tool to properly account for the hierarchical structure of the data and for the unobserved sources of heterogeneity at multiple levels. A simulation study is conducted to test the performance of the proposal in terms of parameters' and clustering recovery. Furthermore, the model is applied to the European Social Survey data (ESS) to i) perform a clustering of individuals (sending nodes) based on their digital skills (receiving nodes); ii) understand how socio-economic and demographic characteristics influence the individual digitalization level; iii) account for the multilevel structure of the data; iv) obtain a clustering of countries in terms of the base-line attitude to digital technologies of their residents.


title: Reducing Spatial Fitting Error in Distillation of Denoising Diffusion Models

abstract: Denoising Diffusion models have exhibited remarkable capabilities in image generation. However, generating high-quality samples requires a large number of iterations. Knowledge distillation for diffusion models is an effective method to address this limitation with a shortened sampling process but causes degraded generative quality. Based on our analysis with bias-variance decomposition and experimental observations, we attribute the degradation to the spatial fitting error occurring in the training of both the teacher and student model. Accordingly, we propose $\textbf{S}$patial $\textbf{F}$itting-$\textbf{E}$rror $\textbf{R}$eduction $\textbf{D}$istillation model ($\textbf{SFERD}$). SFERD utilizes attention guidance from the teacher model and a designed semantic gradient predictor to reduce the student's fitting error. Empirically, our proposed model facilitates high-quality sample generation in a few function evaluations. We achieve an FID of 5.31 on CIFAR-10 and 9.39 on ImageNet 64$\times$64 with only one step, outperforming existing diffusion methods. Our study provides a new perspective on diffusion distillation by highlighting the intrinsic denoising ability of models. Project link: \url{https://github.com/Sainzerjj/SFERD}.


title: Difference Based Content Networking

abstract: Difference Based Content Networking (DBCN) uses diffs between versions to optimize the amount of data sent on the network for version updates of data files. This paper describes several variations on DBCN based on binary diffs, content object diffs, byte offset diffs, and chunk catalog diffs. Existing CCNx versioning methods use total replication of data file bytes between versions, resulting in poor efficiency in data transfer.


title: Requirements Engineering using Generative AI: Prompts and Prompting Patterns

abstract: [Context]: Companies are increasingly recognizing the importance of automating Requirements Engineering (RE) tasks due to their resource-intensive nature. The advent of GenAI has made these tasks more amenable to automation, thanks to its ability to understand and interpret context effectively. [Problem]: However, in the context of GenAI, prompt engineering is a critical factor for success. Despite this, we currently lack tools and methods to systematically assess and determine the most effective prompt patterns to employ for a particular RE task. [Method]: Two tasks related to requirements, specifically requirement classification and tracing, were automated using the GPT-3.5 turbo API. The performance evaluation involved assessing various prompts created using 5 prompt patterns and implemented programmatically to perform the selected RE tasks, focusing on metrics such as precision, recall, accuracy, and F-Score. [Results]: This paper evaluates the effectiveness of the 5 prompt patterns' ability to make GPT-3.5 turbo perform the selected RE tasks and offers recommendations on which prompt pattern to use for a specific RE task. Additionally, it also provides an evaluation framework as a reference for researchers and practitioners who want to evaluate different prompt patterns for different RE tasks.


title: Superized Leznov-Saveliev equations as the zero-curvature condition on a reduced connection

abstract: The equations of open 2-dimensional Toda lattice (TL) correspond to Leznov-Saveliev equations (LSE) interpreted as zero-curvature Yang-Mills equations on the variety of $O(3)$-orbits on the Minkowski space when the gauge algebra is the image of $\mathfrak{sl}(2)$ under a principal embedding into a simple finite-dimensional Lie algebra $\mathfrak{g}(A)$ with Cartan matrix $A$. The known integrable super versions of TL equations correspond to matrices $A$ of two different types. I interpret the super LSE of one type 1 as zero-curvature equations for the \textit{reduced} connection on the non-integrable distribution on the supervariety of $OSp(1|2)$-orbits on the $N=1$-extended Minkowski superspace; the Leznov-Saveliev method of solution is applicable only to $\mathfrak{g}(A)$ finite-dimensional and admitting a superprincipal embedding $\mathfrak{osp}(1|2)\to\mathfrak{g}(A)$. The simplest LSE1 is the super Liouville equation; it can be also interpreted in terms of the superstring action. Olshanetsky introduced LSE2 -- another type of equations of super TL. Olshanetsky's equations, as well as LSE1 with infinite-dimensional $\mathfrak{g}(A)$, can be solved by the Inverse Scattering Method. To interpret these equations remains an open problem, except for the super Liouville equation -- the only case where these two types of LSE coincide. I also review related less known and less popular mathematical constructions involved.


title: Universal productivity patterns in research careers

abstract: A common expectation is that career productivity peaks rather early and then gradually declines with seniority. But whether this holds true is still an open question. Here we investigate the productivity trajectories of almost 8,500 scientists from over fifty disciplines using methods from time series analysis, dimensionality reduction, and network science, showing that there exist six universal productivity patterns in research. Based on clusters of productivity trajectories and network representations where researchers with similar productivity patterns are connected, we identify constant, u-shaped, decreasing, periodic-like, increasing, and canonical productivity patterns, with the latter two describing almost three-fourths of researchers. In fact, we find that canonical curves are the most prevalent, but contrary to expectations, productivity peaks occur much more frequently around mid-career rather than early. These results outline the boundaries of possible career paths in science and caution against the adoption of stereotypes in tenure and funding decisions.


title: An operator-splitting numerical scheme for relativistic magnetohydrodynamics

abstract: We describe a novel operator-splitting approach to numerical relativistic magnetohydrodynamics designed to expand its applicability to the domain of ultra-high magnetisation. In this approach, the electromagnetic field is split into the force-free component, governed by the equations of force-free degenerate electrodynamics (FFDE), and the perturbation component, governed by the perturbation equations derived from the full system of relativistic magnetohydrodynamics (RMHD). The combined system of the FFDE and perturbation equations is integrated simultaneously, for which various numerical techniques developed for hyperbolic conservation laws can be used. At the end of every time-step of numerical integration, the force-free and the perturbation components of the electromagnetic field are recombined and the result is regarded as the initial value of the force-free component for the next time-step, whereas the initial value of the perturbation component is set to zero. To explore the potential of this approach, we build a 3rd-order WENO code, which was used to carry out 1D and 2D test simulations. Their results show that this operator-splitting approach allows us to bypass the stiffness of RMHD in the ultra-high-magnetisation regime where the perturbation component becomes very small. At the same time, the cod


title: Active smectics on a sphere

abstract: The dynamics of active smectic liquid crystals confined on a spherical surface is explored through an active phase field crystal model. Starting from an initially randomly perturbed isotropic phase, several types of topological defects are spontaneously formed, and then annihilate during a coarsening process until a steady state is achieved. The coarsening process is highly complex involving several scaling laws of defect densities as a function of time where different dynamical exponents can be identified. In general the exponent for the final stage towards the steady state is significantly larger than that in the passive and in the planar case, i.e., the coarsening is getting accelerated both by activity and by the topological and geometrical properties of the sphere. A defect type characteristic for this active system is a rotating spiral of evolving smectic layering lines. On a sphere this defect type also determines the steady state. Our results can in principle be confirmed by dense systems of synthetic or biological active particles.


title: OLaLa: Ontology Matching with Large Language Models

abstract: Ontology (and more generally: Knowledge Graph) Matching is a challenging task where information in natural language is one of the most important signals to process. With the rise of Large Language Models, it is possible to incorporate this knowledge in a better way into the matching pipeline. A number of decisions still need to be taken, e.g., how to generate a prompt that is useful to the model, how information in the KG can be formulated in prompts, which Large Language Model to choose, how to provide existing correspondences to the model, how to generate candidates, etc. In this paper, we present a prototype that explores these questions by applying zero-shot and few-shot prompting with multiple open Large Language Models to different tasks of the Ontology Alignment Evaluation Initiative (OAEI). We show that with only a handful of examples and a well-designed prompt, it is possible to achieve results that are en par with supervised matching systems which use a much larger portion of the ground truth.


title: Autonomous Exploration and General Visual Inspection of Ship Ballast Water Tanks using Aerial Robots

abstract: This paper presents a solution for the autonomous exploration and inspection of Ballast Water Tanks (BWTs) of marine vessels using aerial robots. Ballast tank compartments are critical for a vessel's safety and correspond to confined environments often connected through particularly narrow manholes. The method enables their volumetric exploration combined with visual inspection subject to constraints regarding the viewing distance from a surface. We present evaluation studies in simulation, in a mission consisting of 18 BWT compartments, and in 3 field experiments inside real vessels. The data from one of the experiments is also post-processed to generate semantically-segmented meshes of inspection-important geometries. Geometric models can be associated with onboard camera images for detailed and intuitive analysis.


title: Aspects of human memory and Large Language Models

abstract: Large Language Models (LLMs) are huge artificial neural networks which primarily serve to generate text, but also provide a very sophisticated probabilistic model of language use. Since generating a semantically consistent text requires a form of effective memory, we investigate the memory properties of LLMs and find surprising similarities with key characteristics of human memory. We argue that the human-like memory properties of the Large Language Model do not follow automatically from the LLM architecture but are rather learned from the statistics of the training textual data. These results strongly suggest that the biological features of human memory leave an imprint on the way that we structure our textual narratives.


title: Ross-Witt Nystr\"om correspondence and Ohsawa-Takegoshi extension

abstract: We obtain a general Ohsawa-Takegoshi extension theorem by using the Ross-Witt Nystr\"om correspondence picture and the flat reduction trick of Berndtsson. In particular, our result gives a sharp lower bound of the Bergman kernel in terms of Witt Nystr\"om's canonical growth condition for ample line bundles.


title: Preliminary Design of Scalable Hardware Integrated Platform for LLRF Application

abstract: In this paper, the SHIP4LLRF (Scalable Hardware Integrated Platform for LLRF) based on 6U VPX-standard was designed preliminarily, which includes 6U mother board and two HPC FPGA mezzanine cards (FMCs). The ADC and DAC FMC is based on ADS54J60 from TI and LTC2000Y-16 form ADI, respectively. The system mother board is based on Xilinx Kintex UltraScale KU060, which also features 64-bit DDR4 SDRAM, QSFP and USB3.0 interfaces. Each FMC connector is assigned 58 pairs of LVDS standard IOs and 8 pairs of GTH high-speed serial lanes. Besides, the mother board is equipped with the self-developed ZYNQBee2 module based on ZYNQ7010 for slow control such as EPICS. All ADC or DAC raw data in each SHIP4LLEF is compressed loss-less without triggering and transmitted to the process board. A scalar quantization method which is in development is used for lossless compression of ADC raw data, the process board will decompress the ADC data and perform a digital algorithm to measure the amplitude and phase of the high frequency signal. This de-sign is scalable for testing and upgradability, mean-while, the trigger-less data transmission enable this system participate in both local (rack-scale) and accelerator-wide communication networks.


title: Measurement of the neutrino-oxygen neutral-current quasielastic cross section using atmospheric neutrinos in the SK-Gd experiment

abstract: We report the first measurement of the atmospheric neutrino-oxygen neutral-current quasielastic (NCQE) cross section in the gadolinium-loaded Super-Kamiokande (SK) water Cherenkov detector. In June 2020, SK began a new experimental phase, named SK-Gd, by loading 0.011% by mass of gadolinium into the ultrapure water of the SK detector. The introduction of gadolinium to ultrapure water has the effect of improving the neutron-tagging efficiency. Using a 552.2 day data set from August 2020 to June 2022, we measure the NCQE cross section to be 0.74 $\pm$ 0.22(stat.) $^{+0.85}_{-0.15}$ (syst.) $\times$ 10$^{-38}$ cm$^{2}$/oxygen in the energy range from 160 MeV to 10 GeV, which is consistent with the atmospheric neutrino-flux-averaged theoretical NCQE cross section and the measurement in the SK pure-water phase within the uncertainties. Furthermore, we compare the models of the nucleon-nucleus interactions in water and find that the Binary Cascade model and the Liege Intranuclear Cascade model provide a somewhat better fit to the observed data than the Bertini Cascade model. Since the atmospheric neutrino-oxygen NCQE reactions are one of the main backgrounds in the search for diffuse supernova neutrino background (DSNB), these new results will contribute to future studies - and the potential discovery - of the DSNB in SK.


title: Smallest Enclosing Sphere in 3D -- Particle Swarm Optimization Approach

abstract: We have employed Particle Swarm Optimization to address a stochastic variant of the Smallest Enclosing Sphere estimation problem. An efficient algorithm has been developed to ascertain the optimal center and radius of a sphere encompassing a cloud of points within a three-dimensional space. Our findings are benchmarked against simulated scenarios of the classical problem. Additionally, we elucidate several benefits of our proposed algorithm over Welzl's Algorithm.


title: Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial

abstract: Max-plus algebra is a semiring with addition $a\oplus b = \max(a,b)$ and multiplication $a\otimes b = a+b$. It is applied in cases, such as combinatorial optimization and discrete event systems. We consider the power of max-plus square matrices, which is equivalent to obtaining the all-pair maximum weight paths with a fixed length in the corresponding weighted digraph. Each $n$-by-$n$ matrix admits the CSR expansion that decomposes the matrix into a sum of at most $n$ periodic terms after $O(n^{2})$ times of powers. In this study, we propose an $O(n(m+n \log n))$ time algorithm for the CSR expansion, where $m$ is the number of nonzero entries in the matrix, which improves the $O(n^{4} \log n)$ algorithm known for this problem. Our algorithm is based on finding the roots of the characteristic polynomial of the max-plus matrix. These roots play a similar role to the eigenvalues of the matrix, and become the growth rates of the terms in the CSR expansion.


title: On Matrices over a Polynomial Ring with Restricted Subdeterminants

abstract: This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We investigate in particular matrices whose subdeterminants all lie in a fixed set $S\subseteq\mathbb{Z}[x]$. Such matrices, which we call totally $S$-modular matrices, are closed with respect to taking submatrices, so it is natural to look at minimally non-totally $S$-modular matrices which we call forbidden minors for $S$. Among other results, we prove that if $S$ is finite, then the set of all determinants attained by a forbidden minor for $S$ is also finite. Specializing to the integers, we subsequently obtain the following positive complexity result: the recognition problem for totally $\pm\{0,1,a,a+1,2a+1\}$-modular matrices with $a\in\mathbb{Z}\backslash\{-3,-2,1,2\}$ and the integer linear optimization problem for totally $\pm\{ 0,a,a+1,2a+1\}$-modular matrices with $a\in\mathbb{Z}\backslash\{ -2,1\}$ can be solved in polynomial time.


title: Shaping photons: quantum computation with bosonic cQED

abstract: With its rich dynamics, the quantum harmonic oscillator is an innate platform for understanding real-world quantum systems and could even excel as the heart of a quantum computer. A particularly promising and rapidly advancing platform that harnesses quantum harmonic oscillators for information processing is the bosonic circuit quantum electrodynamics (cQED) system. In this article, we provide perspectives on the progress, challenges, and future directions in building a bosonic cQED quantum computer. We describe the main hardware building blocks and how they facilitate quantum error correction, metrology, and simulation. We conclude with our views of the key challenges that lie on the horizon, as well as scientific and cultural strategies for overcoming them and building a practical quantum computer with bosonic cQED hardware.


title: A revision of the forces exerted in the Rayleigh regime by a tighlty focused optical vortex tweezer

abstract: Optical tweezers use light from a tightly focused laser beam to manipulate the motion of tiny particles. When the laser light is strongly focused, but still paraxial, its e/m field is characterized by a longitudinal component which is of magnitude comparable to the transverse ones and which has been ignored in the theoretical analysis of the tweezing forces. In our work we revise the calculations of the various components of the radiation pressure force, within the limits of Rayleigh regime or dipole approximation, in the case where a tiny particle interacts, in free space, with a circularly polarized optical vortex beam, by taking into account this ignored field term. We show that this term is responsible for considerable modifications in the magnitude of the various components, moreover and also for the appearance of terms involving the coupling of the spin angular momentum (SAM) and the orbital angular momentum (OAM) of the photons of the vortex beam. We compare our findings with the ones taken ignoring the longitudinal field component.


title: Microscopic interpretation of generalized entropy

abstract: Generalized entropy, that has been recently proposed, puts all the known and apparently different entropies like The Tsallis, the R\'{e}nyi, the Barrow, the Kaniadakis, the Sharma-Mittal and the loop quantum gravity entropy within a single umbrella. However, the microscopic origin of such generalized entropy as well as its relation to thermodynamic system(s) is not clear. In the present work, we will provide a microscopic thermodynamic explanation of generalized entropy(ies) from canonical and grand-canonical ensembles. It turns out that in both the canonical and grand-canonical descriptions, the generalized entropies can be interpreted as the statistical ensemble average of a series of microscopic quantity(ies) given by various powers of $\left(-k\ln{\rho}\right)^n$ (with $n$ being a positive integer and $\rho$ symbolizes the phase space density of the respective ensemble), along with a term representing the fluctuation of Hamiltonian and number of particles of the system under consideration (in case of canonical ensemble, the fluctuation on the particle number vanishes).


title: Initial correlations in open quantum systems are always detectable

abstract: Consider an open quantum system which interacts with its environment. Assuming that the experimenter has access only to the system, an interesting question is whether it is possible to detect initial correlations between the system and the environment by performing measurements only on the system. Various methods have been proposed to detect correlations by local measurements on the system. After reviewing these methods, we will show that initial correlations between the system and the environment are always detectable. In particular, we will show that one can always find a unitary evolution, for the whole system-environment, such that the trace distance method, proposed to witness correlations locally, succeeds. We also find the condition for existence of the optimal unitary evolution, for which the entire correlation is locally detectable. Next, we address the case where the system and the environment interact through a time-independent Hamiltonian. For this case we will see that if the initial correlation can be detected locally at some time t , then it can be detected for almost all the other times too. On the other hand, we see that one can find cases for which initial correlations between the system and the environment always remain undetectable even though the unitary evolution, generated by the Hamiltonian, is not factorized.


title: Predictive Sampling for Efficient Pairwise Subjective Image Quality Assessment

abstract: Subjective image quality assessment studies are used in many scenarios, such as the evaluation of compression, super-resolution, and denoising solutions. Among the available subjective test methodologies, pair comparison is attracting popularity due to its simplicity, reliability, and robustness to changes in the test conditions, e.g. display resolutions. The main problem that impairs its wide acceptance is that the number of pairs to compare by subjects grows quadratically with the number of stimuli that must be considered. Usually, the paired comparison data obtained is fed into an aggregation model to obtain a final score for each degraded image and thus, not every comparison contributes equally to the final quality score. In the past years, several solutions that sample pairs (from all possible combinations) have been proposed, from random sampling to active sampling based on the past subjects' decisions. This paper introduces a novel sampling solution called \textbf{P}redictive \textbf{S}ampling for \textbf{P}airwise \textbf{C}omparison (PS-PC) which exploits the characteristics of the input data to make a prediction of which pairs should be evaluated by subjects. The proposed solution exploits popular machine learning techniques to select the most informative pairs for subjects to evaluate, while for the other remaining pairs, it predicts the subjects' preferences. The experimental results show that PS-PC is the best choice among the available sampling algorithms with higher performance for the same number of pairs. Moreover, since the choice of the pairs is done \emph{a priori} before the subjective test starts, the algorithm is not required to run during the test and thus much more simple to deploy in online crowdsourcing subjective tests.


title: An AFM-based approach for quantification of guest particle deformation during mechano-fusion

abstract: During the mechano-fusion process for dry particle coating, (hetero)-aggregates are formed consisting of host particles which are coated by smaller guest particles. During this process, the latter are exposed to intense particle-particle interactions and particle-wall impacts, which lead to deformation of the guest particles original shape. These deformations on the nano- and microscale can heavily influence the effective macroscopic properties of the resutling coated particles. We present a method to quantify the shape deformation of guest particles during mechano-fusion based on measurements acquired by atomic force microscopy before and after mechano-fusion. To this end, we reconstruct the 3D shape of guest particles by means of an ellipsoidal fit, constrained by the known volume of the guest particles. Using these reconstructed shapes, we can quantify the degree of deformation by comparing the aspect ratios of the ellipsoidal fits before and after mechano-fusion. Such a quantification enhances the understanding of how process-related parameters influence the geometric descriptors of the involved particles, which in turn impact the overall macroscopic properties of the material.


title: Improved MDL Estimators Using Fiber Bundle of Local Exponential Families for Non-exponential Families

abstract: Minimum Description Length (MDL) estimators, using two-part codes for universal coding, are analyzed. For general parametric families under certain regularity conditions, we introduce a two-part code whose regret is close to the minimax regret, where regret of a code with respect to a target family M is the difference between the code length of the code and the ideal code length achieved by an element in M. This is a generalization of the result for exponential families by Gr\"unwald. Our code is constructed by using an augmented structure of M with a bundle of local exponential families for data description, which is not needed for exponential families. This result gives a tight upper bound on risk and loss of the MDL estimators based on the theory introduced by Barron and Cover in 1991. Further, we show that we can apply the result to mixture families, which are a typical example of non-exponential families.


title: On Deep Reinforcement Learning for Traffic Steering Intelligent ORAN

abstract: This paper aims to develop the intelligent traffic steering (TS) framework, which has recently been considered as one of the key developments of 3GPP for advanced 5G. Since achieving key performance indicators (KPIs) for heterogeneous services may not be possible in the monolithic architecture, a novel deep reinforcement learning (DRL)-based TS algorithm is proposed at the non-real-time (non-RT) RAN intelligent controller (RIC) within the open radio access network (ORAN) architecture. To enable ORAN's intelligence, we distribute traffic load onto appropriate paths, which helps efficiently allocate resources to end users in a downlink multi-service scenario. Our proposed approach employs a three-step hierarchical process that involves heuristics, machine learning, and convex optimization to steer traffic flows. Through system-level simulations, we show the superior performance of the proposed intelligent TS scheme, surpassing established benchmark systems by 45.50%.


title: Design and Experimental Verification of a Jumping Legged Robot for Martian Lava Tube Exploration

abstract: The potential of Martian lava tubes for resource extraction and habitat sheltering highlights the need for robots capable to undertake the grueling task of their exploration. Driven by this motivation, in this work we introduce a legged robot system optimized for jumping in the low gravity of Mars, designed with leg configurations adaptable to both bipedal and quadrupedal systems. This design utilizes torque-controlled actuators coupled with springs for high-power jumping, robust locomotion, and an energy-efficient resting pose. Key design features include a 5-bar mechanism as leg concept, combined with springs connected by a high-strength cord. The selected 5-bar link lengths and spring stiffness were optimized for maximizing the jump height in Martian gravity and realized as a robot leg. Two such legs combined with a compact body allowed jump testing of a bipedal prototype. The robot is 0.472 m tall and weighs 7.9 kg. Jump testing with significant safety margins resulted in a measured jump height of 1.141 m in Earth's gravity, while a total of 4 jumping experiments are presented. Simulations utilizing the full motor torque and kinematic limits of the design resulted in a maximum possible jump height of 1.52 m in Earth's gravity and 3.63 m in Mars' gravity, highlighting the versatility of jumping as a form of locomotion and overcoming obstacles in lower gravity.


title: Terrain Recognition and Contact Force Estimation through a Sensorized Paw for Legged Robots

abstract: This paper introduces the Terrain Recognition And Contact Force Estimation Paw, a compact and sensorized shoe designed for legged robots. The paw end-effector is made of silicon that deforms upon the application of contact forces, while an embedded micro camera is utilized to capture images of the deformed inner surface inside the shoe, and a microphone picks up audio signals. Processed through machine learning techniques, the images are mapped to compute an accurate estimate of the cumulative 3D force vector, while the audio signals are analyzed to identify the terrain class (e.g., gravel, snow). By leveraging its on-edge computation ability, the paw enhances the capabilities of legged robots by providing key information in real-time that can be used to adapt locomotion control strategies. To assess the performance of this novel sensorized paw, we conducted experiments on the data collected through a specially-designed testbed for force estimation, as well as data from recordings of the audio signatures of different terrains interacting with the paw. The results demonstrate the accuracy and effectiveness of the system, highlighting its potential for improving legged robot performance.


title: Density of periodic measures for piecewise monotonic maps

abstract: We show that any ergodic measure for a piecewise monotonic map with positive metric entropy is approximated by periodic measures in the weak-* sense. This partially answers Hofbauer-Raith's conjecture.


title: Hypergraphs with node attributes: structure and inference

abstract: Many networked datasets with units interacting in groups of two or more, encoded with hypergraphs, are accompanied by extra information about nodes, such as the role of an individual in a workplace. Here we show how these node attributes can be used to improve our understanding of the structure resulting from higher-order interactions. We consider the problem of community detection in hypergraphs and develop a principled model that combines higher-order interactions and node attributes to better represent the observed interactions and to detect communities more accurately than using either of these types of information alone. The method learns automatically from the input data the extent to which structure and attributes contribute to explain the data, down weighing or discarding attributes if not informative. Our algorithmic implementation is efficient and scales to large hypergraphs and interactions of large numbers of units. We apply our method to a variety of systems, showing strong performance in hyperedge prediction tasks and in selecting community divisions that correlate with attributes when these are informative, but discarding them otherwise. Our approach illustrates the advantage of using informative node attributes when available with higher-order data.

categories: cs.SI physics.data-an physics.soc-ph stat.ML


title: Non-perturbative Symmetries of Little Strings and Affine Quiver Algebras

abstract: We consider Little String Theories (LSTs) that are engineered by $N$ parallel M5-branes probing a transverse $\mathbb{Z}_M$ geometry. By exploiting a dual description in terms of F-theory compactified on a toric Calabi-Yau threefold $X_{N,M}$, we establish numerous symmetries that leave the BPS partition function $\mathcal{Z}_{N,M}$ invariant. They furthemore act in a non-perturbative fashion from the point of view of the low energy quiver gauge theory associated with the LST. We present different group theoretical organisations of these symmetries, thereby generalising the results of [arXiv:1811.03387] to the case of generic $M \geq 1$. We also provide a Mathematica package that allows to represent them in terms of matrices that act linearly on the K\"ahler parameters of $X_{N,M}$. From the perspective of dual realisations of the LSTs the symmetries found here act in highly nontrivial ways: as an example, we consider a formulation of $\mathcal{Z}_{N,M}$ in terms of correlation functions of a vertex operator algebra, whose commutation relations are governed by an affine quiver algebra. We show the impact of the symmetry transformations on the latter and discuss invariance of $\mathcal{Z}_{N,M}$ from this perspective for concrete examples.


title: Spectral scaling of unstably-stratified atmospheric flows: understanding the low frequency spread of Kaimal model

abstract: For more than five decades, a notable spread in the low frequencies of velocity and temperature spectra, scaled using inertial subrange properties and Monin-Obukhov similarity theory, has been observed in unstable stratification. A large ensemble of 14 datasets, over relatively simple terrain (from flat and homogeneous to gentle slope or valley floor) and very complex terrain (steep slope, crater rim, mountain top), are used to assess the reasons of this low-frequency behaviour. Turbulence anisotropy is shown to be the primary factor influencing the spectral energy at the largest scales and the spectral peak position of streamwise and spanwise velocity spectra, with stability acting as a secondary factor. On the contrary, the low-frequency behaviour of surface-normal and temperature spectra is dominated by stability effects, while turbulence anisotropy plays a secondary role. These observations are valid over both simple and complex terrain, even though variability of the largest scales of complex terrain datasets integrate other processes not included in turbulence anisotropy or stability conditions. Using a combination of non-dimensional turbulence parameters - temperature and velocity variances as well as dissipation of turbulence kinetic energy and of temperature variance - and of a semi-empirical model provided in the literature, we are able to describe the behaviour of the velocity and temperature spectra with only turbulence anisotropy and stability as input parameters. Finally, the paper provides some insights into the nature of anisotropic eddies, as well as the relationship between the boundary layer height and the spectral behaviour.


title: Hidden conformal symmetries for black holes in modified gravity

abstract: We determine hidden conformal symmetries behind the evolution equations of black hole perturbations in a vector-tensor theory of gravity. Such hidden symmetries are valid everywhere in the exterior region of a spherically symmetric, asymptotically flat black hole geometry. They allow us to factorize second order operators controlling the black hole perturbations into a product of two commuting first order operators. As a consequence, we are able to analytically determine the most general time-dependent solutions for the black hole perturbation equations. We focus on solutions belonging to a highest weight representation of a conformal symmetry, showing that they correspond to quasi-bound states with an ingoing behaviour into the black hole horizon, and exponential decay at spatial infinity. Their time-dependence is characterized by purely imaginary frequencies, with imaginary parts separated by integer numbers, as the overtones of quasi-normal modes in General Relativity.


title: Phase coexistence in a half-filled extended Hubbard model

abstract: In this Letter we analyze the coexisting ordered phases that arise in the half-filled $\varepsilon$-t-U-V extended Hubbard Model on the square lattice when tackled within the Kotliar andRuckenstein slave boson representation in the thermodynamical limit. Particular emphasis is put on the dependence of the quasiparticle dispersions, the gaps, the spin-resolved renormalization factors, and the distribution of double occupancy on the microscopical parameters of the model. Our calculations are performed in a parameter range that is most suitable for resistive switching. In particular, the main contributions to the gaps are shown to either arise from $\varepsilon$ in the weak coupling regime, or from U and V when they are the largest scales. The gaps are thus from joint spin and charge origin, and so are the order parameters.


title: Ordered semirings and subadditive morphisms

abstract: An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory and ring theory. The ideals of an ordered semiring $A$ form a commutative integral quantale $\mathrm{Idl}(A)$, and similarly, the radical ideals of $A$ form a (spatial) frame $\mathrm{Rad}(A)$. We characterise $\mathrm{Idl}$ and $\mathrm{Rad}$ as the left adjoints of the (non-full) inclusion functors from the categories of commutative integral quantales and of frames, respectively, to that of ordered semirings and subadditive morphisms between them. The (sober) topological space $\mathrm{pt}(\mathrm{Rad}(A))$ corresponding to $\mathrm{Rad}(A)$ is homeomorphic to the space $\mathrm{Spec}(A)$ of prime ideals of $A$.


title: An Explainable Framework for Machine learning-Based Reactive Power Optimization of Distribution Network

abstract: To reduce the heavy computational burden of reactive power optimization of distribution networks, machine learning models are receiving increasing attention. However, most machine learning models (e.g., neural networks) are usually considered as black boxes, making it challenging for power system operators to identify and comprehend potential biases or errors in the decision-making process of machine learning models. To address this issue, an explainable machine-learning framework is proposed to optimize the reactive power in distribution networks. Firstly, a Shapley additive explanation framework is presented to measure the contribution of each input feature to the solution of reactive power optimizations generated from machine learning models. Secondly, a model-agnostic approximation method is developed to estimate Shapley values, so as to avoid the heavy computational burden associated with direct calculations of Shapley values. The simulation results show that the proposed explainable framework can accurately explain the solution of the machine learning model-based reactive power optimization by using visual analytics, from both global and instance perspectives. Moreover, the proposed explainable framework is model-agnostic, and thus applicable to various models (e.g., neural networks).


title: Modelling and Simulations of Ferroelectric Materials and Ferroelectric-Based Nanoelectronic Devices

abstract: This paper provides a brief introduction to the phenomenological aspects of the polarization in ferrroelectric materials, and then an analysis of a few selected topics related to the modelling of ferroelectrics. The description of ferroelectric-based devices is quite challenging, particularly because the ferroelectric is frequently stacked with other dielectrics or with a semiconductor, as opposed to being placed between metal electrodes. Predictive modelling of ferroelectric devices is admittedly difficult, and thus the scrutiny and calibration of the models by comparison to sound experimental data is of paramount importance.


title: When Fairness Meets Privacy: Exploring Privacy Threats in Fair Binary Classifiers through Membership Inference Attacks

abstract: Previous studies have developed fairness methods for biased models that exhibit discriminatory behaviors towards specific subgroups. While these models have shown promise in achieving fair predictions, recent research has identified their potential vulnerability to score-based membership inference attacks (MIAs). In these attacks, adversaries can infer whether a particular data sample was used during training by analyzing the model's prediction scores. However, our investigations reveal that these score-based MIAs are ineffective when targeting fairness-enhanced models in binary classifications. The attack models trained to launch the MIAs degrade into simplistic threshold models, resulting in lower attack performance. Meanwhile, we observe that fairness methods often lead to prediction performance degradation for the majority subgroups of the training data. This raises the barrier to successful attacks and widens the prediction gaps between member and non-member data. Building upon these insights, we propose an efficient MIA method against fairness-enhanced models based on fairness discrepancy results (FD-MIA). It leverages the difference in the predictions from both the original and fairness-enhanced models and exploits the observed prediction gaps as attack clues. We also explore potential strategies for mitigating privacy leakages. Extensive experiments validate our findings and demonstrate the efficacy of the proposed method.


title: SCONE-GAN: Semantic Contrastive learning-based Generative Adversarial Network for an end-to-end image translation

abstract: SCONE-GAN presents an end-to-end image translation, which is shown to be effective for learning to generate realistic and diverse scenery images. Most current image-to-image translation approaches are devised as two mappings: a translation from the source to target domain and another to represent its inverse. While successful in many applications, these approaches may suffer from generating trivial solutions with limited diversity. That is because these methods learn more frequent associations rather than the scene structures. To mitigate the problem, we propose SCONE-GAN that utilises graph convolutional networks to learn the objects dependencies, maintain the image structure and preserve its semantics while transferring images into the target domain. For more realistic and diverse image generation we introduce style reference image. We enforce the model to maximize the mutual information between the style image and output. The proposed method explicitly maximizes the mutual information between the related patches, thus encouraging the generator to produce more diverse images. We validate the proposed algorithm for image-to-image translation and stylizing outdoor images. Both qualitative and quantitative results demonstrate the effectiveness of our approach on four dataset.


title: A Comparative Study of Knowledge Transfer Methods for Misaligned Urban Building Labels

abstract: Misalignment in Earth observation (EO) images and building labels impact the training of accurate convolutional neural networks (CNNs) for semantic segmentation of building footprints. Recently, three Teacher-Student knowledge transfer methods have been introduced to address this issue: supervised domain adaptation (SDA), knowledge distillation (KD), and deep mutual learning (DML). However, these methods are merely studied for different urban buildings (low-rise, mid-rise, high-rise, and skyscrapers), where misalignment increases with building height and spatial resolution. In this study, we present a workflow for the systematic comparative study of the three methods. The workflow first identifies the best (with the highest evaluation scores) hyperparameters, lightweight CNNs for the Student (among 43 CNNs from Computer Vision), and encoder-decoder networks (EDNs) for both Teachers and Students. Secondly, three building footprint datasets are developed to train and evaluate the identified Teachers and Students in the three transfer methods. The results show that U-Net with VGG19 (U-VGG19) is the best Teacher, and U-EfficientNetv2B3 and U-EfficientNet-lite0 are among the best Students. With these Teacher-Student pairs, SDA could yield upto 0.943, 0.868, 0.912, and 0.697 F1 scores in the low-rise, mid-rise, high-rise, and skyscrapers respectively. KD and DML provide model compression of upto 82%, despite marginal loss in performance. This new comparison concludes that SDA is the most effective method to address the misalignment problem, while KD and DML can efficiently compress network size without significant loss in performance. The 158 experiments and datasets developed in this study will be valuable to minimise the misaligned labels.


title: The matroid of a graphing

abstract: Graphings serve as limit objects for bounded-degree graphs. We define the ``cycle matroid'' of a graphing as a submodular setfunction, with values in [0,1], which generalizes (up to normalization) the cycle matroid of finite graphs. We prove that for a Benjamini--Schramm convergent sequence of graphs, the total rank, normalized by the number of nodes, converges to the total rank of the limit graphing.


title: Fleet Sizing for the Flash Delivery Problem from Multiple Depots a Case Study in Amsterdam

abstract: In this paper, we present a novel approach for fleet sizing in the context of flash delivery, a time-sensitive delivery service that requires the fulfilment of customer requests in minutes. Our approach effectively combines individual delivery requests into groups and generates optimized operational plans that can be executed by a single vehicle or autonomous robot. The groups are formed using a modified routing approach for the flash delivery problem. Combining the groups into operational plans is done by solving an integer linear problem. To evaluate the effectiveness of our approach, we compare it against three alternative methods: fixed vehicle routing, non-pooled deliveries and a strategy encouraging the pooling of requests. The results demonstrate the value of our proposed approach, showcasing its ability to optimize the fleet and improve operational efficiency. Our experimental analysis is based on a real-world dataset provided by a Dutch retailer, allowing us to gain valuable insights into the design of flash delivery operations and to analyze the effect of the maximum allowed delay, the number of stores to pick up goods from and the employed cost functions.


title: Quasi-copulas as linear combinations of copulas

abstract: We prove that every quasi-copula can be written as a uniformly converging infinite sum of multiples of copulas. Furthermore, we characterize those quasi-copulas which can be written as a finite sum of multiples of copulas, i.e., that are a linear combination of two copulas. This generalizes a recent result of Fern\'{a}ndez-S\'{a}nchez, Quesada-Molina, and \'{U}beda-Flores who considered linear combinations of discrete copulas.


title: Hierarchical quandles

abstract: We introduce the notion of a hierarchical quandle, which is a generalisation of diquandles and multi-quandles. Using hierarchical quandle colourings, we construct a cocycle invariants for links coloured by quandles.


title: Interaction vs inhomogeneity in a periodic TASEP

abstract: We study the non-equilibrium steady states in a totally-asymmetric simple-exclusion process with periodic boundary conditions, also incorporating (i) an extra (nearest-neighbour) repulsive interaction and (ii) hopping rates characterized by a smooth spatial inhomogeneity. We make use of a generalized mean-field approach (at the level of nearest-neighbour pair clusters), in combination with kinetic Monte Carlo simulations. It turns out that the so-called shock phase can exhibit a lot of qualitatively different subphases, including multiple-shock phases, and a minimal-current shock phase. We argue that the resulting, considerably rich phase diagram should be relatively insensitive to minor details of either interaction or spatial inhomogeneity. As a consequence, we also expect that our results help elucidate the nature of shock subphases detected in previous studies.


title: Mini but Mighty: Finetuning ViTs with Mini Adapters

abstract: Vision Transformers (ViTs) have become one of the dominant architectures in computer vision, and pre-trained ViT models are commonly adapted to new tasks via fine-tuning. Recent works proposed several parameter-efficient transfer learning methods, such as adapters, to avoid the prohibitive training and storage cost of finetuning. In this work, we observe that adapters perform poorly when the dimension of adapters is small, and we propose MiMi, a training framework that addresses this issue. We start with large adapters which can reach high performance, and iteratively reduce their size. To enable automatic estimation of the hidden dimension of every adapter, we also introduce a new scoring function, specifically designed for adapters, that compares the neuron importance across layers. Our method outperforms existing methods in finding the best trade-off between accuracy and trained parameters across the three dataset benchmarks DomainNet, VTAB, and Multi-task, for a total of 29 datasets.


title: Shannon-McMillan-Breiman theorem along almost geodesics in negatively curved groups

abstract: Consider a non-elementary Gromov-hyperbolic group $\Gamma$ with a suitable invariant hyperbolic metric, and an ergodic probability measure preserving (p.m.p.) action on $(X,\mu)$. We construct special increasing sequences of finite subsets $F_n(y)\subset \Gamma$, with $(Y,\nu)$ a suitable probability space, with the following properties: given any countable partition $\mathcal{P}$ of $X$ of finite Shannon entropy, the refined partitions $\bigvee_{\gamma\in F_n(y)}\gamma \mathcal{P}$ have normalized information functions which converge to a constant limit, for $\mu$-almost every $x\in X$ and $\nu$-almost every $y\in Y$; the sets $\mathcal{F}_n(y)$ constitute almost-geodesic segments, and $\bigcup_{n\in \mathbb{N}} F_n(y)$ is a one-sided almost geodesic with limit point $F^+(y)\in \partial \Gamma$, starting at a fixed bounded distance from the identity, for almost every $y\in Y$; the distribution of the limit point $F^+(y)$ belongs to the Patterson-Sullivan measure class on $\partial \Gamma$ associated with the invariant hyperbolic metric. The main result of the present paper amounts therefore to a Shannon-McMillan-Breiman theorem along almost geodesic segments in any p.m.p. action of $\Gamma$ as above. For several important classes of examples we analyze, the construction of $F_n(y)$ is purely geometric and explicit. Furthermore, consider the infimum of the limits of the normalized information functions, taken over all $\Gamma$-generating partitions of $X$. Using an important inequality due to B. Seward, we deduce that it is equal to the Rokhlin entropy $\frak{h}^{\text{Rok}}$ of the $\Gamma$-action on $(X,\mu)$, provided that the action is free.


title: Constraints on the interaction of quintessence dark energy with dark matter and the evolution of its equation of state parameter

abstract: The cosmological model with an interaction between dynamical quintessence dark energy and cold dark matter is considered. Evolution of a dark energy equation of state parameter is defined by a dark energy adiabatic sound speed and a dark sector interaction parameter, which must be more physically correct model then a previously used in which such evolution was given by some fixed dependence on scale factor. The constraints on interaction parameter and other parameters of the model was obtained using a cosmic microwave background, baryon acoustic oscillations and supernova SN Ia data.


title: Dark Matter in Fractional Gravity III: Dwarf Galaxies Kinematics

abstract: Recently we put forward a framework where the dark matter (DM) component within virialized halos is subject to a non-local interaction originated by fractional gravity (FG) effects. In previous works we demonstrated that such a framework can substantially alleviate the small-scale issues of the standard $\Lambda$CDM paradigm, without altering the DM mass profile predicted by $N-$body simulations, and retaining its successes on large cosmological scales. In this paper we dig deeper to probe FG via high-quality data of individual dwarf galaxies, by exploiting the rotation velocity profiles inferred from stellar and gas kinematic measurements in $8$ dwarf irregulars, and the projected velocity dispersion profiles inferred from the observed dynamics of stellar tracers in $7$ dwarf spheroidals and in the ultra-diffuse galaxy DragonFly 44. We find that FG can reproduce extremely well the rotation and dispersion curves of the analysed galaxies, performing in most instances significantly better than the standard Newtonian setup.


title: A proof system for certifying symmetry and optimality reasoning in integer programming

abstract: We present a proof system for establishing the correctness of results produced by optimization algorithms, with a focus on mixed-integer programming (MIP). Our system generalizes the seminal work of Bogaerts, Gocht, McCreesh, and Nordstr\"om (2022) for binary programs to handle any additional difficulties arising from unbounded and continuous variables, and covers a broad range of solving techniques, including symmetry handling, cutting planes, and presolving reductions. Consistency across all decisions that affect the feasible region is achieved by a pair of transitive relations on the set of solutions, which relies on the newly introduced notion of consistent branching trees. Combined with a series of machine-verifiable derivation rules, the resulting framework offers practical solutions to enhance the trust in integer programming as a methodology for applications where reliability and correctness are key.


title: Hydrodynamic efficiency limit on a Marangoni surfer

abstract: A Marangoni surfer is an object embedded in a gas-liquid interface, propelled by gradients in surface tension. We derive an analytical theorem for the lower bound on the viscous dissipation by a Marangoni surfer in the limit of small Reynolds and capillary numbers. The minimum dissipation can be expressed with the reciprocal difference between drag coefficients of two passive bodies of the same shape as the Marangoni surfer, one in a force-free interface and the other in an interface with surface incompressibility. The distribution of surface tension that gives the optimal propulsion is given by the surface tension of the solution for the incompressible surface and the flow is a superposition of both solutions. For a surfer taking the form of a thin circular disk, the minimum dissipation is $16\mu a V^2$, giving a Lighthill efficiency of $1/3$. This places the Marangoni surfers among the hydrodynamically most efficient microswimmers.


title: Multifractality and pre-thermalization in the quasi-periodically kicked Aubry-Andr\'e-Harper model

abstract: In a class of periodically driven systems, multifractal states in non-equilibrium conditions and robustness of dynamical localization when the driving is made aperiodic have received considerable attention. In this paper, we explore a family of one-dimensional Aubry-Andr\'e-Harper models that are quasi-periodically kicked with protocols following different binary quasi-periodic sequences, which can be realized in ultracold atom systems. The relationship between the systems' localization properties and the sequences' mathematical features is established utilizing the Floquet theorem and the Baker-Campbell-Hausdorff formula. We investigate the multifractality and pre-thermalization of the eigenstates of the unitary evolution operator combined with an analysis of the transport properties of initially localized wave packets. We further contend that the quasi-periodically kicked Aubry-Andr\'e-Harper model provides a rich phase diagram as the periodic case but also brings the range of parameters to observe multifractal states and pre-thermalization to a regime more amenable to experiments.


title: Chiral Soliton Lattice turns into 3D crystal

abstract: Chiral perturbation theory predicts the chiral anomaly to induce a so-called Chiral Soliton Lattice at sufficiently large magnetic fields and baryon chemical potentials. This state breaks translational invariance in the direction of the magnetic field and was shown to be unstable with respect to charged pion condensation. Improving on previous work by considering a realistic pion mass, we employ methods from type-II superconductivity and construct a three-dimensional pion (and baryon) crystal perturbatively, close to the instability curve of the Chiral Soliton Lattice. We find an analogue of the usual type-I/type-II transition in superconductivity: Along the instability curve for magnetic fields $eB > 0.12\, {\rm GeV}^2$ and chemical potentials $\mu< 910\, {\rm MeV}$, this crystal can continuously supersede the Chiral Soliton Lattice. For smaller magnetic fields the instability curve must be preceded by a discontinuous transition.


title: Sparse Contrastive Learning of Sentence Embeddings

abstract: Recently, SimCSE has shown the feasibility of contrastive learning in training sentence embeddings and illustrates its expressiveness in spanning an aligned and uniform embedding space. However, prior studies have shown that dense models could contain harmful parameters that affect the model performance, and it is no wonder that SimCSE can as well be invented with such parameters. Driven by this, parameter sparsification is applied, where alignment and uniformity scores are used to measure the contribution of each parameter to the overall quality of sentence embeddings. Drawing from a preliminary study, we consider parameters with minimal contributions to be detrimental, as their sparsification results in improved model performance. To discuss the ubiquity of detrimental parameters and remove them, more experiments on the standard semantic textual similarity (STS) tasks and transfer learning tasks are conducted, and the results show that the proposed sparsified SimCSE (SparseCSE) has excellent performance in comparison with SimCSE. Furthermore, through in-depth analysis, we establish the validity and stability of our sparsification method, showcasing that the embedding space generated by SparseCSE exhibits improved alignment compared to that produced by SimCSE. Importantly, the uniformity yet remains uncompromised.


title: Odd nuclei and quasiparticle excitations within the Barcelona Catania Paris Madrid energy density functional

abstract: An extension of the Barcelona Catania Paris Madrid (BCPM) energy density functional is proposed to deal with odd-mass systems as well as multiquasiparticle excitations. The extension is based on the assumption that the equal filling approximation (EFA) is a valid alternative to the traditional full blocking procedure of the Hartree-Fock-Bogoliubov method. The assumption is supported by the excellent agreement between full blocking and EFA calculations obtained with different parametrizations of the Gogny interaction. The EFA augmented BCPM functional is used to compute low energy excitation spectra of selected nuclei in different regions of the nuclear chart, and high-$K$ isomers in $^{178}$Hf. We show that BCPM predictions are in good agreement with Gogny D1M results and experimental data.


title: Multiderivative time integration methods preserving nonlinear functionals via relaxation

abstract: We combine the recent relaxation approach with multiderivative Runge-Kutta methods to preserve conservation or dissipation of entropy functionals for ordinary and partial differential equations. Relaxation methods are minor modifications of explicit and implicit schemes, requiring only the solution of a single scalar equation per time step in addition to the baseline scheme. We demonstrate the robustness of the resulting methods for a range of test problems including the 3D compressible Euler equations. In particular, we point out improved error growth rates for certain entropy-conservative problems including nonlinear dispersive wave equations.


title: MeVGAN: GAN-based Plugin Model for Video Generation with Applications in Colonoscopy

abstract: Video generation is important, especially in medicine, as much data is given in this form. However, video generation of high-resolution data is a very demanding task for generative models, due to the large need for memory. In this paper, we propose Memory Efficient Video GAN (MeVGAN) - a Generative Adversarial Network (GAN) which uses plugin-type architecture. We use a pre-trained 2D-image GAN and only add a simple neural network to construct respective trajectories in the noise space, so that the trajectory forwarded through the GAN model constructs a real-life video. We apply MeVGAN in the task of generating colonoscopy videos. Colonoscopy is an important medical procedure, especially beneficial in screening and managing colorectal cancer. However, because colonoscopy is difficult and time-consuming to learn, colonoscopy simulators are widely used in educating young colonoscopists. We show that MeVGAN can produce good quality synthetic colonoscopy videos, which can be potentially used in virtual simulators.