title: Influence Maximization in Hypergraphs Using A Genetic Algorithm with New Initialization and Evaluation Methods

abstract: Influence maximization (IM) is a crucial optimization task related to analyzing complex networks in the real world, such as social networks, disease propagation networks, and marketing networks. Publications to date about the IM problem focus mainly on graphs, which fail to capture high-order interaction relationships from the real world. Therefore, the use of hypergraphs for addressing the IM problem has been receiving increasing attention. However, identifying the most influential nodes in hypergraphs remains challenging, mainly because nodes and hyperedges are often strongly coupled and correlated. In this paper, to effectively identify the most influential nodes, we first propose a novel hypergraph-independent cascade model that integrates the influences of both node and hyperedge failures. Afterward, we introduce genetic algorithms (GA) to identify the most influential nodes that leverage hypergraph collective influences. In the GA-based method, the hypergraph collective influence is effectively used to initialize the population, thereby enhancing the quality of initial candidate solutions. The designed fitness function considers the joint influences of both nodes and hyperedges. This ensures the optimal set of nodes with the best influence on both nodes and hyperedges to be evaluated accurately. Moreover, a new mutation operator is designed by introducing factors, i.e., the collective influence and overlapping effects of nodes in hypergraphs, to breed high-quality offspring. In the experiments, several simulations on both synthetic and real hypergraphs have been conducted, and the results demonstrate that the proposed method outperforms the compared methods.


title: HumanRankEval: Automatic Evaluation of LMs as Conversational Assistants

abstract: Language models (LMs) as conversational assistants recently became popular tools that help people accomplish a variety of tasks. These typically result from adapting LMs pretrained on general domain text sequences through further instruction-tuning and possibly preference optimisation methods. The evaluation of such LMs would ideally be performed using human judgement, however, this is not scalable. On the other hand, automatic evaluation featuring auxiliary LMs as judges and/or knowledge-based tasks is scalable but struggles with assessing conversational ability and adherence to instructions. To help accelerate the development of LMs as conversational assistants, we propose a novel automatic evaluation task: HumanRankEval (HRE). It consists of a large-scale, diverse and high-quality set of questions, each with several answers authored and scored by humans. To perform evaluation, HRE ranks these answers based on their log-likelihood under the LM's distribution, and subsequently calculates their correlation with the corresponding human rankings. We support HRE's efficacy by investigating how efficiently it separates pretrained and instruction-tuned LMs of various sizes. We show that HRE correlates well with human judgements and is particularly responsive to model changes following instruction-tuning.


title: Spin Symmetry in Thermally-Assisted-Occupation Density Functional Theory

abstract: For electronic systems with multi-reference (MR) character, Kohn-Sham density functional theory (KS-DFT) with the conventional exchange-correlation (xc) energy functionals can lead to incorrect spin densities and related properties. For example, for H2 dissociation, the spin-restricted and spin-unrestricted solutions obtained with the same xc energy functional in KS-DFT can be distinctly different, yielding the unphysical spin-symmetry breaking effects in the spin-unrestricted solutions. Recently, thermally-assisted-occupation density functional theory (TAO-DFT) has been shown to resolve the aforementioned spin-symmetry breaking, when the fictitious temperature is properly chosen. In this work, a response theory based on TAO-DFT is developed to demonstrate that TAO-DFT with a sufficiently large fictitious temperature can always resolve the unphysical spin-symmetry breaking in MR systems. To further support this, TAO-DFT calculations with various fictitious temperatures are performed for the dissociation of H2, N2, He2, and Ne2 as well as the twisted ethylene.

categories: physics.chem-ph cond-mat.mtrl-sci physics.comp-ph quant-ph


title: Two-sided tilting complexes for generalized Brauer tree algebras

abstract: We explicitly construct two-sided tilting complexes corresponding to Membrillo-Hern\'{a}ndez's tree-to-star tilting complexes for generalized Brauer tree algebras.


title: Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation

abstract: This article develops mathematical formalisms and provides numerical methods for studying the evolution of measures in nonsmooth dynamical systems using the continuity equation. The nonsmooth dynamical system is described by an evolution variational inequality and we derive the continuity equation associated with this system class using three different formalisms. The first formalism consists of using the {superposition principle} to describe the continuity equation for a measure that disintegrates into a probability measure supported on the set of vector fields and another measure representing the distribution of system trajectories at each time instant. The second formalism is based on the regularization of the nonsmooth vector field and describing the measure as the limit of a sequence of measures associated with the regularization parameter. In doing so, we obtain quantitative bounds on the Wasserstein metric between measure solutions of the regularized vector field and the limiting measure associated with the nonsmooth vector field. The third formalism uses a time-stepping algorithm to model a time-discretized evolution of the measures and show that the absolutely continuous trajectories associated with the continuity equation are recovered in the limit as the sampling time goes to zero. We also validate each formalism with numerical examples. For the first formalism, we use polynomial optimization techniques and the moment-SOS hierarchy to obtain approximate moments of the measures. For the second formalism, we illustrate the bounds on the Wasserstein metric for an academic example for which the closed-form expression of the Wasserstein metric can be calculated. For the third formalism, we illustrate the time-stepping based algorithm for measure evolution on an example that shows the effect of the concentration of measures.


title: Advancing Explainable AI with Causal Analysis in Large-Scale Fuzzy Cognitive Maps

abstract: In the quest for accurate and interpretable AI models, eXplainable AI (XAI) has become crucial. Fuzzy Cognitive Maps (FCMs) stand out as an advanced XAI method because of their ability to synergistically combine and exploit both expert knowledge and data-driven insights, providing transparency and intrinsic interpretability. This letter introduces and investigates the "Total Causal Effect Calculation for FCMs" (TCEC-FCM) algorithm, an innovative approach that, for the first time, enables the efficient calculation of total causal effects among concepts in large-scale FCMs by leveraging binary search and graph traversal techniques, thereby overcoming the challenge of exhaustive causal path exploration that hinder existing methods. We evaluate the proposed method across various synthetic FCMs that demonstrate TCEC-FCM's superior performance over exhaustive methods, marking a significant advancement in causal effect analysis within FCMs, thus broadening their usability for modern complex XAI applications.


title: QMedShield: A Novel Quantum Chaos-based Image Encryption Scheme for Secure Medical Image Storage in the Cloud

abstract: In the age of digital technology, medical images play a crucial role in the healthcare industry which aids surgeons in making precise decisions and reducing the diagnosis time. However, the storage of large amounts of these images in third-party cloud services raises privacy and security concerns. There are a lot of classical security mechanisms to protect them. Although, the advent of quantum computing entails the development of quantum-based encryption models for healthcare. Hence, we introduce a novel quantum chaos-based encryption scheme for medical images in this article. The model comprises bit-plane scrambling, quantum logistic map, quantum operations in the diffusion phase and hybrid chaotic map, DNA encoding, and computations in the confusion phase to transform the plain medical image into a cipher medical image. The proposed scheme has been evaluated using multiple statistical measures and validated against more attacks such as differential attacks with three different medical datasets. Hence the introduced encryption model has proved to be attack-resistant and robust than other existing image encryption schemes, ensuring the secure storage of medical images in cloud environments.


title: Asymptotic enumeration of Haar graphical representations

abstract: This paper represents a significant leap forward in the problem of enumerating vertex-transitive graphs. Recent breakthroughs on symmetry of Cayley (di)graphs show that almost all finite Cayley (di)graphs have the smallest possible automorphism group. Extending the scope of these results, we enumerate (di)graphs admitting a fixed semiregular group of automorphisms with m orbits. Moreover, we consider the more intricate inquiry of prohibiting arcs within each orbit, where the special case m = 2 is known as the problem of finding Haar graphical representations (HGRs). We significantly advance the understanding of HGRs by proving that the proportion of HGRs among Haar graphs of a finite nonabelian group approaches 1 as the group order grows. As a corollary, we obtain an improved bound on the proportion of DRRs among Cayley digraphs in the solution of Morris and the second author to the Babai-Godsil conjecture.


title: Autonomous Cooperative Levels of Multiple-Heterogeneous Unmanned Vehicle Systems

abstract: As multiple and heterogenous unmanned vehicle systems continue to play an increasingly important role in addressing complex missions in the real world, the need for effective cooperation among unmanned vehicles becomes paramount. The concept of autonomous cooperation, wherein unmanned vehicles cooperate without human intervention or human control, offers promising avenues for enhancing the efficiency and adaptability of intelligence of multiple-heterogeneous unmanned vehicle systems. Despite the growing interests in this domain, as far as the authors are concerned, there exists a notable lack of comprehensive literature on defining explicit concept and classifying levels of autonomous cooperation of multiple-heterogeneous unmanned vehicle systems. In this aspect, this article aims to define the explicit concept of autonomous cooperation of multiple-heterogeneous unmanned vehicle systems. Furthermore, we provide a novel criterion to assess the technical maturity of the developed unmanned vehicle systems by classifying the autonomous cooperative levels of multiple-heterogeneous unmanned vehicle systems.


title: Flexible image analysis for law enforcement agencies with deep neural networks to determine: where, who and what

abstract: Due to the increasing need for effective security measures and the integration of cameras in commercial products, a hugeamount of visual data is created today. Law enforcement agencies (LEAs) are inspecting images and videos to findradicalization, propaganda for terrorist organizations and illegal products on darknet markets. This is time consuming.Instead of an undirected search, LEAs would like to adapt to new crimes and threats, and focus only on data from specificlocations, persons or objects, which requires flexible interpretation of image content. Visual concept detection with deepconvolutional neural networks (CNNs) is a crucial component to understand the image content. This paper has fivecontributions. The first contribution allows image-based geo-localization to estimate the origin of an image. CNNs andgeotagged images are used to create a model that determines the location of an image by its pixel values. The secondcontribution enables analysis of fine-grained concepts to distinguish sub-categories in a generic concept. The proposedmethod encompasses data acquisition and cleaning and concept hierarchies. The third contribution is the recognition ofperson attributes (e.g., glasses or moustache) to enable query by textual description for a person. The person-attributeproblem is treated as a specific sub-task of concept classification. The fourth contribution is an intuitive image annotationtool based on active learning. Active learning allows users to define novel concepts flexibly and train CNNs with minimalannotation effort. The fifth contribution increases the flexibility for LEAs in the query definition by using query expansion.Query expansion maps user queries to known and detectable concepts. Therefore, no prior knowledge of the detectableconcepts is required for the users. The methods are validated on data with varying locations (popular and non-touristiclocations), varying person attributes (CelebA dataset), and varying number of annotations.


title: Propagation of chaos for moderately interacting particle systems related to singular kinetic Mckean-Vlasov SDEs

abstract: We study the propagation of chaos in a class of moderately interacting particle systems for the approximation of singular kinetic McKean-Vlasov SDEs driven by alpha-stable processes. Diffusion parts include Brownian (alpha=2) and pure-jump (1<\alpha<2) perturbations and interaction kernels are considered in a non-smooth anisotropic Besov space. Using Duhamel formula, sharp density estimates (recently issued in Hao, Rockner and Zhang 2023), and suitable martingale functional inequalities, we obtain direct estimates on the convergence rate between the empirical measure of the particle systems toward the McKean-Vlasov distribution. These estimates further lead to quantitative propagation of chaos results in the weak and strong sense.


title: Harnessing pattern-by-pattern linear classifiers for prediction with missing data

abstract: Missing values have been thoroughly analyzed in the context of linear models, where the final aim is to build coefficient estimates. However, estimating coefficients does not directly solve the problem of prediction with missing entries: a manner to address empty components must be designed. Major approaches to deal with prediction with missing values are empirically driven and can be decomposed into two families: imputation (filling in empty fields) and pattern-by-pattern prediction, where a predictor is built on each missing pattern. Unfortunately, most simple imputation techniques used in practice (as constant imputation) are not consistent when combined with linear models. In this paper, we focus on the more flexible pattern-by-pattern approaches and study their predictive performances on Missing Completely At Random (MCAR) data. We first show that a pattern-by-pattern logistic regression model is intrinsically ill-defined, implying that even classical logistic regression is impossible to apply to missing data. We then analyze the perceptron model and show how the linear separability property extends to partially-observed inputs. Finally, we use the Linear Discriminant Analysis to prove that pattern-by-pattern LDA is consistent in a high-dimensional regime. We refine our analysis to more complex MNAR data.


title: Parallel and Proximal Constrained Linear-Quadratic Methods for Real-Time Nonlinear MPC

abstract: Recent strides in nonlinear model predictive control (NMPC) underscore a dependence on numerical advancements to efficiently and accurately solve large-scale problems. Given the substantial number of variables characterizing typical whole-body optimal control (OC) problems - often numbering in the thousands - exploiting the sparse structure of the numerical problem becomes crucial to meet computational demands, typically in the range of a few milliseconds. Addressing the linear-quadratic regulator (LQR) problem is a fundamental building block for computing Newton or Sequential Quadratic Programming (SQP) steps in direct optimal control methods. This paper concentrates on equality-constrained problems featuring implicit system dynamics and dual regularization, a characteristic of advanced interiorpoint or augmented Lagrangian solvers. Here, we introduce a parallel algorithm for solving an LQR problem with dual regularization. Leveraging a rewriting of the LQR recursion through block elimination, we first enhanced the efficiency of the serial algorithm and then subsequently generalized it to handle parametric problems. This extension enables us to split decision variables and solve multiple subproblems concurrently. Our algorithm is implemented in our nonlinear numerical optimal control library ALIGATOR. It showcases improved performance over previous serial formulations and we validate its efficacy by deploying it in the model predictive control of a real quadruped robot.


title: Particle transport based study of nucleation in a ferromagnetic three-state spin system with conservative dynamics

abstract: We pose the problem of metastability for a three--state spin system with conservative dynamics. We consider the Blume--Capel model with the Kawasaki dynamics, we prove that, in a particular region of the parameter plane, the metastable state is the unique homogeneous minus state, and we estimate the exit time. To achieve our goal we have to solve several variational problems in the configuration space which result to be particularly involved, due to complicated structure of the trajectories. They key ingredient is the control of the energy differences between the configurations crossed when a spin is transported from the boundary to an internal site of the lattice through a completely arbitrary mixture of the three--state spin species. To master these mechanisms we have introduced a new approach based on the transport of spins along nearest neighbor connected regions of the lattice with constant spin configuration. This novel approach goes beyond the Blume--Capel model and can be used for the study of more general multi--state spin models.


title: Investigating the whirling heat current density in the Guyer--Krumhansl equation

abstract: Among the numerous heat conduction models, the Guyer--Krumhansl equation has a special role. Besides its various application possibilities in nanotechnology, cryotechnology, and even in case of modeling heterogeneous materials, it poses additional mathematical challenges compared to the Fourier or Cattaneo {(a.k.a. Maxwell--Cattaneo--Vernotte)} equations. Furthermore, the Guyer--Krumhansl equation is the first heat conduction model, which includes the curl of the heat flux density in the evolution equation. In the present paper, we place our focus on the consequences of the existence of such whirling heat current density by solving the two-dimensional Guyer--Krumhansl equation with a space and time-dependent heat pulse boundary condition. The discretization poses further challenges in regard to the boundary condition for which we propose a particular extrapolation method. Furthermore, with the help of the Helmholtz decomposition, we show the analogy with the linearized acoustics of Newtonian fluids, which reveals how the heat flux density plays the role of the velocity field. Our solutions also reveal an unexpected temperature evolution caused by the whirling heat flux density, namely, the temperature can locally be decreased for a short time in a case when the curl of the heat flux density dominates the heat conduction process.


title: Performance Analysis of RIS-aided MISO Systems with EMI and Channel Aging

abstract: In this paper, we investigate a reconfigurable intelligent surface (RIS)-aided multiple-input single-output (MISO) system in the presence of electromagnetic interference (EMI) and channel aging with a Rician fading channel model between the base station (BS) and user equipment (UE). Specifically, we derive the closed-form expression for downlink spectral efficiency (SE) with maximum ratio transmission (MRT) precoding. The Monte-Carlo simulation supports the theoretical results, demonstrating that amplifying the weight of the line-of-sight (LoS) component in Rician fading channels can boost SE, while EMI has a detrimental impact. Furthermore, continuously increasing the number of RIS elements is not an optimal choice when EMI exists. Nonetheless, RIS can be deployed to compensate for SE degradation caused by channel aging effects. Finally, enlarging the RIS elements size can significantly improve system performance.


title: Quantum tomography with $\tau$ leptons at the FCC-ee

abstract: The Future Circular Collider (FCC) -- in its first incarnation as a lepton collider -- will produce, according to the proposed design, more than 100 billion pairs of $\tau$ leptons after working for four years at the energy of the $Z$-boson resonance. The $\tau$ lepton is special because its relatively long lifetime makes it possible to reconstruct the momenta of neutrinos emitted in the single pion decay mode. The resulting large number of events is an ideal source for a full quantum tomography of the process that will test quantum entanglement and the violation of Bell inequality with unprecedented precision. In addition, the study of polarizations and spin correlations can provide a competitive determination of the Weinberg angle $ \theta_W$ and constrain possible anomalous couplings in the neutral electroweak current. We utilize analytic results and Monte Carlo simulations to explore to what extent these goals might be accomplished.


title: Strain-Induced Intrinsic Antiferromagnetic Skyrmions in Two-Dimensional Janus Magnets

abstract: Antiferromagnetic (AFM) skyrmions, which are resistant to both the skyrmion Hall effect and external magnetic perturbations, are expected to be promising candidates for next-generation spintronics devices. Despite being observed in bulk materials and synthetic AFM layered systems, the existence of intrinsic AFM skyrmions within single magnetic layers, which offer potential advantages for spintronic device fabrication, has remained elusive. In this work, taking monolayer CrSi(Te,Se)$_{3}$ as a representative system, we demonstrate the emergence of intrinsic AFM skyrmions in two-dimensional Janus magnets. It is found that under moderate compressive strain, the interplay between considerable Dyzaloshinskii-Moriya interaction and the strain-induced AFM Heisenberg exchange interaction in monolayer CrSi(Te,Se)$_{3}$ would give rise to the emergence of intrinsic AFM skyrmions assembled from AFM spin spirals. Moreover, the application of an external magnetic field could trigger the emergence of AFM merons as well as a canted AFM state. Our findings propose a feasible approach for achieving intrinsic AFM skyrmions in realistic systems, which paves the way for developments in AFM topological spintronics devices.


title: Monte Carlo methods on compact complex manifolds using Bergman kernels

abstract: In this paper, we propose a new randomized method for numerical integration on a compact complex manifold with respect to a continuous volume form. Taking for quadrature nodes a suitable determinantal point process, we build an unbiased Monte Carlo estimator of the integral of any Lipschitz function, and show that the estimator satisfies a central limit theorem, with a faster rate than under independent sampling. In particular, seeing a complex manifold of dimension $d$ as a real manifold of dimension $d_{\mathbb{R}}=2d$, the mean squared error for $N$ quadrature nodes decays as $N^{-1-2/d_{\mathbb{R}}}$; this is faster than previous DPP-based quadratures and reaches the optimal worst-case rate investigated by [Bakhvalov 1965] in Euclidean spaces. The determinantal point process we use is characterized by its kernel, which is the Bergman kernel of a holomorphic Hermitian line bundle, and we strongly build upon the work of Berman that led to the central limit theorem in [Berman, 2018].We provide numerical illustrations for the Riemann sphere.


title: Lens functions for exploring UMAP Projections with Domain Knowledge

abstract: Dimensionality reduction algorithms are often used to visualise high-dimensional data. Previously, studies have used prior information to enhance or suppress expected patterns in projections. In this paper, we adapt such techniques for domain knowledge guided interactive exploration. Inspired by Mapper and STAD, we present three types of lens functions for UMAP, a state-of-the-art dimensionality reduction algorithm. Lens functions enable analysts to adapt projections to their questions, revealing otherwise hidden patterns. They filter the modelled connectivity to explore the interaction between manually selected features and the data's structure, creating configurable perspectives each potentially revealing new insights. The effectiveness of the lens functions is demonstrated in two use cases and their computational cost is analysed in a synthetic benchmark. Our implementation is available in an open-source Python package: https://github.com/vda-lab/lensed_umap.


title: A first look into Utiq: Next-generation cookies at the ISP level

abstract: Online privacy has become increasingly important in recent years. While third-party cookies have been widely used for years, they have also been criticized for their potential impact on user privacy. They can be used by advertisers to track users across multiple sites, allowing them to build detailed profiles of their behavior and interests. However, nowadays, many browsers allow users to block third-party cookies, which limits their usefulness for advertisers. In this paper, we take a first look at Utiq, a new way of user tracking performed directly by the ISP, to substitute the third-party cookies used until now. We study the main properties of this new identification methodology and their adoption on the 10K most popular websites. Our results show that, although still marginal due to the restrictions imposed by the system, between 0.7% and 1.2% of websites already include Utiq as one of their user identification methods.


title: All convex bodies are in the subdifferential of some everywhere differentiable locally Lipschitz function

abstract: We construct a differentiable locally Lipschitz function $f$ in $\mathbb{R}^{N}$ with the property that for every convex body $K\subset \mathbb{R}^N$ there exists $\bar x \in \mathbb{R}^N$ such that $K$ coincides with the set $\partial_L f(\bar x)$ of limits of derivatives $\{Df(x_n)\}_{n\geq 1}$ of sequences $\{x_n\}_{n\geq 1}$ converging to~$\bar x$. The technique can be further refined to recover all compact connected subsets with nonempty interior, disclosing an important difference between differentiable and continuously differentiable functions. It stems out from our approach that the class of these pathological functions contains an infinite dimensional vector space and is dense in the space of all locally Lipschitz functions for the uniform convergence.


title: An Exact Theory of Causal Emergence for Linear Stochastic Iteration Systems

abstract: After coarse-graining a complex system, the dynamics of its macro-state may exhibit more pronounced causal effects than those of its micro-state. This phenomenon, known as causal emergence, is quantified by the indicator of effective information. However, two challenges confront this theory: the absence of well-developed frameworks in continuous stochastic dynamical systems and the reliance on coarse-graining methodologies. In this study, we introduce an exact theoretic framework for causal emergence within linear stochastic iteration systems featuring continuous state spaces and Gaussian noise. Building upon this foundation, we derive an analytical expression for effective information across general dynamics and identify optimal linear coarse-graining strategies that maximize the degree of causal emergence when the dimension averaged uncertainty eliminated by coarse-graining has an upper bound. Our investigation reveals that the maximal causal emergence and the optimal coarse-graining methods are primarily determined by the principal eigenvalues and eigenvectors of the dynamic system's parameter matrix, with the latter not being unique. To validate our propositions, we apply our analytical models to three simplified physical systems, comparing the outcomes with numerical simulations, and consistently achieve congruent results.


title: Extended time Petri nets

abstract: In many complex systems that can be modeled using Petri nets time can be a very important factor which should be taken into account during creation and analysis of the model. Time data can describe starting moments of some actions or their duration before their immediate effects start to influence some other areas of the modeled system. Places in a Petri net often describe static components of the system, but they can also describe states. Such a state can have time restrictions, for example, telling how long it can influence other elements in the model. Time values describing some system may be inconsistent or incomplete, which can cause problems during the creation of the model. In this paper, a new extension of time Petri nets is proposed, which allows the creation of models with different types of time data, which previously were possible to be properly used in separate types of well-known time Petri nets. The proposed new time Petri net solves this problem by integrating different aspects of already existing time Petri nets into one unified net.


title: Stochastic Error Bounds in Nonlinear Model Predictive Control with Gaussian Processes via Parameter-Varying Embeddings

abstract: This study utilized the Gaussian Processes (GPs) regression framework to establish stochastic error bounds between the actual and predicted state evolution of nonlinear systems. These systems are embedded in the linear parameter-varying (LPV) formulation and controlled using model predictive control (MPC). Our main focus is quantifying the uncertainty of the LPVMPC framework's forward error resulting from scheduling signal estimation mismatch. We compared our stochastic approach with a recent deterministic approach and observed improvements in conservatism and robustness. To validate our analysis and method, we solved the regulator problem of an unbalanced disk.


title: A refined Weyl character formula for comodules on $\operatorname{GL}_{2,A}$

abstract: Let $A$ be any commutative unital ring and let $\operatorname{GL}_{2,A}$ be the general linear group scheme on $A$ of rank $2$. We study the representation theory of $\operatorname{GL}_{2,A}$ and the symmetric powers $\operatorname{Sym}^d(V)$, where $(V, \Delta)$ is the standard right comodule on $\operatorname{GL}_{2,A}$. We prove a refined Weyl character formula for $\operatorname{Sym}^d(V)$. There is for any integer $d \geq 1$ a (canonical) refined weight space decomposition $\operatorname{Sym}^d(V) \cong \oplus_i \operatorname{Sym}^d(V)^i$ where each direct summand $\operatorname{Sym}^d(V)^i$ is a comodule on $N \subseteq \operatorname{GL}_{2,A}$. Here $N$ is the schematic normalizer of the diagonal torus $T \subseteq \operatorname{GL}_{2,A}$. We prove a character formula for the direct summands of $\operatorname{Sym}^d(V)$ for any integer $d \geq 1$. This refined Weyl character formula implies the classical Weyl character formula. As a Corollary we get a refined Weyl character formula for the pull back $\operatorname{Sym}^d(V \otimes K)$ as a comodule on $\operatorname{GL}_{2,K}$ where $K$ is any field. We also calculate explicit examples involving the symmetric powers, symmetric tensors and their duals. The refined weight space decomposition exists in general for group schemes such as $\operatorname{GL}_{2,A}$ and $\operatorname{SL}_{2,A}$. The study may have applications to the study of groups $G$ such as $\operatorname{SL}(n,k)$ and $\operatorname{GL}(n,k)$ and quotients $G/H$ where $k$ is an arbitrary field (or a Dedekind domain) and $H \subseteq G$ is a closed subgroup. The refined weight space decomposition of $S_{\lambda}(V)$ has a relation with irreducible module over a field of positiv characteristic. In an example I prove it recovers the irreducible module $V(\lambda) \subsetneq S_{\lambda}(V)$.


title: Equivalence of flexible stripline and coaxial cables for superconducting qubit control and readout pulses

abstract: We report a comparative study on microwave control lines for a transmon qubit using: (i) flexible stripline transmission lines, and (ii) semi-rigid coaxial cables. During each experiment we performed repeated measurements of the energy relaxation and coherence times of a transmon qubit using one of the wiring configurations. Each measurement run spanned 70 h to 250 h of measurement time, and four separate cooldowns were performed so that each configuration could be tested twice. From these datasets we observe that changing the microwave control lines from coaxial cables to flexible stripline transmission lines does not have a measurable effect on coherence compared to thermal cycling the system, or random coherence fluctuations. Our results open up the possibility of large scale integration of qubit control lines with integrated component with planar layouts on flexible substrate.


title: SOMTP: Self-Supervised Learning-Based Optimizer for MPC-Based Safe Trajectory Planning Problems in Robotics

abstract: Model Predictive Control (MPC)-based trajectory planning has been widely used in robotics, and incorporating Control Barrier Function (CBF) constraints into MPC can greatly improve its obstacle avoidance efficiency. Unfortunately, traditional optimizers are resource-consuming and slow to solve such non-convex constrained optimization problems (COPs) while learning-based methods struggle to satisfy the non-convex constraints. In this paper, we propose SOMTP algorithm, a self-supervised learning-based optimizer for CBF-MPC trajectory planning. Specifically, first, SOMTP employs problem transcription to satisfy most of the constraints. Then the differentiable SLPG correction is proposed to move the solution closer to the safe set and is then converted as the guide policy in the following training process. After that, inspired by the Augmented Lagrangian Method (ALM), our training algorithm integrated with guide policy constraints is proposed to enable the optimizer network to converge to a feasible solution. Finally, experiments show that the proposed algorithm has better feasibility than other learning-based methods and can provide solutions much faster than traditional optimizers with similar optimality.


title: Potential of WebAssembly for Embedded Systems

abstract: Application virtual machines provide strong isolation properties and are established in the context of software portability. Those opportunities make them interesting for scalable and secure IoT deployments. WebAssembly is an application virtual machine with origins in web browsers, that is getting rapidly adopted in other domains. The strong and steadily growing ecosystem makes WebAssembly an interesting candidate for Embedded Systems. This position paper discusses the usage of WebAssembly in Embedded Systems. After introducing the basic concepts of WebAssembly and existing runtime environments, we give an overview of the challenges for the efficient usage of WebAssembly in Embedded Systems. The paper concludes with a real world case study that demonstrates the viability, before giving an outlook on open issues and upcoming work.


title: Hypergraph C*-algebras

abstract: We give a definition of hypergraph C*-algebras. These generalize the well-known graph C*-algebras as well as ultragraph C*-algebras. In contrast to those objects, hypergraph C*-algebras are not always nuclear. We provide a number of non-nuclear examples, we prove a Gauge-Invariant Uniqueness Theorem for a subclass of hypergraph C*-algebras and we study moves on hypergraphs which generalize the moves in the theory of graph C*-algebras.


title: Xmodel-VLM: A Simple Baseline for Multimodal Vision Language Model

abstract: We introduce Xmodel-VLM, a cutting-edge multimodal vision language model. It is designed for efficient deployment on consumer GPU servers. Our work directly confronts a pivotal industry issue by grappling with the prohibitive service costs that hinder the broad adoption of large-scale multimodal systems. Through rigorous training, we have developed a 1B-scale language model from the ground up, employing the LLaVA paradigm for modal alignment. The result, which we call Xmodel-VLM, is a lightweight yet powerful multimodal vision language model. Extensive testing across numerous classic multimodal benchmarks has revealed that despite its smaller size and faster execution, Xmodel-VLM delivers performance comparable to that of larger models. Our model checkpoints and code are publicly available on GitHub at https://github.com/XiaoduoAILab/XmodelVLM.


title: The Genomic Landscape of Oceania

abstract: Encompassing regions that were amongst the first inhabited by humans following the out-of-Africa expansion, hosting populations with the highest levels of archaic hominid introgression, and including Pacific islands that are the most isolated inhabited locations on the planet, Oceania has a rich, but understudied, human genomic landscape. Here we describe the first region-wide analysis of genome-wide data from population groups spanning Oceania and its surroundings, from island and peninsular southeast Asia to Papua New Guinea, east across the Pacific through Melanesia, Micronesia, and Polynesia, and west across the Indian Ocean to related island populations in the Andamans and Madagascar. In total we generate and analyze genome-wide data from 981 individuals from 92 different populations, 58 separate islands, and 30 countries, representing the most expansive study of Pacific genetics to date. In each sample we disentangle the Papuan and more recent Austronesian ancestries, which have admixed in various proportions across this region, using ancestry-specific analyses, and characterize the distinct patterns of settlement, migration, and archaic introgression separately in these two ancestries. We also focus on the patterns of clinically relevant genetic variation across Oceania--a landscape rippled with strong founder effects and island-specific genetic drift in allele frequencies--providing an atlas for the development of precision genetic health strategies in this understudied region of the world.


title: Augmenting Density Matrix Renormalization Group with Clifford Circuits

abstract: Density Matrix Renormalization Group (DMRG) or Matrix Product States (MPS) are widely acknowledged as highly effective and accurate methods for solving one-dimensional quantum many-body systems. However, the direct application of DMRG to the study two-dimensional systems encounters challenges due to the limited entanglement encoded in the wave-function ansatz. Conversely, Clifford circuits offer a promising avenue for simulating states with substantial entanglement, albeit confined to stabilizer states. In this work, we present the seamless integration of Clifford circuits within the DMRG algorithm, leveraging the advantages of both Clifford circuits and DMRG. This integration leads to a significant enhancement in simulation accuracy with small additional computational cost. Moreover, this framework is useful not only for its current application but also for its potential to be easily adapted to various other numerical approaches


title: Monge-Ampere Geometry and the Eady Problem

abstract: Chynoweth and Sewell proposed a mathematical model for an atmospheric front based on the singularities of the Legendre transformation between different pairs of dual variables. Drawing inspiration from their work, we formalize the idea of a Chynoweth-Sewell front and illuminate its geometrical meaning from the viewpoint of Monge-Ampere geometry. This extends our previous work on the semigeostrophic model to dynamically-forming singularities. We use the notion of a Chynoweth-Sewell front to characterize the classical Eady problem and its known solutions in geometrical terms.


title: Mixing of hot shocked plasma with cold gas in Nova YZ Ret 2020

abstract: The origin of bright X-ray emission lines that appear late in a nova eruption remains largely a puzzle. We present two high-resolution X-ray grating spectra of the classical nova YZ Ret, observed 77 and 115 days post-eruption, using XMM-Newton and Chandra , respectively. Both spectra feature resolved emission lines blueshifted by $v = -1500$ km s$^{-1}$ and broadened by $\sigma_v=500$ km s$^{-1}$. The two spectra are well described by a collisionally ionized plasma of $kT\sim 70$ eV that dimmed by a factor of $\sim40$ between the two exposures. The spectra also show narrow radiative recombination continua (RRCs) of C$^{+4}$, C$^{+5}$, and N$^{+5}$, indicating the interaction of the hot ionized plasma with cold electrons of $kT\sim 2$ eV. The high-$n$ Rydberg series of C$^{+4}$ is anomalously bright, allowing us to measure the electron density through continuum lowering, which is in agreement with the He-like N$^{+5}$ density diagnostic of $n_e=(1.7\pm0.4)\times10^{11}$ cm$^{-3}$. The high population of these high-$n$ levels constitutes the best evidence to date of charge exchange (CX) with neutral H in an astrophysical ionized plasma. The remarkable fact that the velocity and plasma temperature are the same after 38 days, despite the high density and decreasing flux is evidence for ongoing heating. We suggest the heating is due to a reverse shock in the nova ejecta, which forms a thin X-ray shell. The narrow RRCs and CX are attributed to direct mixing with cold gas, which overtakes the hot plasma either from the shock front, or through the contact discontinuity.


title: ALPINE: Unveiling the Planning Capability of Autoregressive Learning in Language Models

abstract: In this paper, we present the findings of our Project ALPINE which stands for ``Autoregressive Learning for Planning In NEtworks." Project ALPINE initiates a theoretical investigation into the development of planning capabilities in Transformer-based language models through their autoregressive learning mechanisms, aiming to identify any potential limitations in their planning abilities. We abstract planning as a network path-finding task where the objective is to generate a valid path from a specified source node to a designated target node. In terms of expressiveness, we show that the Transformer is capable of executing path-finding by embedding the adjacency and reachability matrices within its weights. Our theoretical analysis of the gradient-based learning dynamic of the Transformer reveals that the Transformer is capable of learning both the adjacency matrix and a limited form of the reachability matrix. These theoretical insights are then validated through experiments, which demonstrate that the Transformer indeed learns the adjacency matrix and an incomplete reachability matrix, which aligns with the predictions made in our theoretical analysis. Additionally, when applying our methodology to a real-world planning benchmark, called Blocksworld, our observations remain consistent. Our theoretical and empirical analyses further unveil a potential limitation of Transformer in path-finding: it cannot identify reachability relationships through transitivity, and thus would fail when path concatenation is needed to generate a path. In summary, our findings shed new light on how the internal mechanisms of autoregressive learning enable planning in networks. This study may contribute to our understanding of the general planning capabilities in other related domains.


title: Bridging the gap in online hate speech detection: a comparative analysis of BERT and traditional models for homophobic content identification on X/Twitter

abstract: Our study addresses a significant gap in online hate speech detection research by focusing on homophobia, an area often neglected in sentiment analysis research. Utilising advanced sentiment analysis models, particularly BERT, and traditional machine learning methods, we developed a nuanced approach to identify homophobic content on X/Twitter. This research is pivotal due to the persistent underrepresentation of homophobia in detection models. Our findings reveal that while BERT outperforms traditional methods, the choice of validation technique can impact model performance. This underscores the importance of contextual understanding in detecting nuanced hate speech. By releasing the largest open-source labelled English dataset for homophobia detection known to us, an analysis of various models' performance and our strongest BERT-based model, we aim to enhance online safety and inclusivity. Future work will extend to broader LGBTQIA+ hate speech detection, addressing the challenges of sourcing diverse datasets. Through this endeavour, we contribute to the larger effort against online hate, advocating for a more inclusive digital landscape. Our study not only offers insights into the effective detection of homophobic content by improving on previous research results, but it also lays groundwork for future advancements in hate speech analysis.


title: Anchor Layout Optimization for Ultrasonic Indoor Positioning Using Swarm Intelligence

abstract: Indoor positioning applications are craving for ever higher precision and accuracy across the entire coverage zone. Optimal anchor placement and the deployment of multiple distributed anchor nodes could have a major impact in this regard. This paper examines the influences of these two difficult to approach hypotheses by means of a straightforward ultrasonic 3D indoor positioning system deployed in a real-life scenario via a geometric based simulation framework. To obtain an optimal anchor placement, a particle swarm optimization (PSO) algorithm is introduced and consequently performed for setups ranging from 4 to 10 anchors. In this way, besides the optimal anchor placement layout, the influence of deploying several distributed anchor nodes is investigated. In order to theoretically compare the optimization progress, a system model and Cram\'er-Rao lower bound (CRLB) are established and the results are quantified based on the simulation data. With limited anchors, the placement is crucial to obtain a high precision high reliability (HPHR) indoor positioning system (IPS), while the addition of anchors, to a lesser extent, gives a supplementary improvement.


title: Word Alignment as Preference for Machine Translation

abstract: The problem of hallucination and omission, a long-standing problem in machine translation (MT), is more pronounced when a large language model (LLM) is used in MT because an LLM itself is susceptible to these phenomena. In this work, we mitigate the problem in an LLM-based MT model by guiding it to better word alignment. We first study the correlation between word alignment and the phenomena of hallucination and omission in MT. Then we propose to utilize word alignment as preference to optimize the LLM-based MT model. The preference data are constructed by selecting chosen and rejected translations from multiple MT tools. Subsequently, direct preference optimization is used to optimize the LLM-based model towards the preference signal. Given the absence of evaluators specifically designed for hallucination and omission in MT, we further propose selecting hard instances and utilizing GPT-4 to directly evaluate the performance of the models in mitigating these issues. We verify the rationality of these designed evaluation methods by experiments, followed by extensive results demonstrating the effectiveness of word alignment-based preference optimization to mitigate hallucination and omission.


title: Perception-Inspired Graph Convolution for Music Understanding Tasks

abstract: We propose a new graph convolutional block, called MusGConv, specifically designed for the efficient processing of musical score data and motivated by general perceptual principles. It focuses on two fundamental dimensions of music, pitch and rhythm, and considers both relative and absolute representations of these components. We evaluate our approach on four different musical understanding problems: monophonic voice separation, harmonic analysis, cadence detection, and composer identification which, in abstract terms, translate to different graph learning problems, namely, node classification, link prediction, and graph classification. Our experiments demonstrate that MusGConv improves the performance on three of the aforementioned tasks while being conceptually very simple and efficient. We interpret this as evidence that it is beneficial to include perception-informed processing of fundamental musical concepts when developing graph network applications on musical score data.


title: Exploring Ground States of Fermi-Hubbard Model on Honeycomb Lattices with Counterdiabaticity

abstract: Exploring the ground state properties of many-body quantum systems conventionally involves adiabatic processes, alongside exact diagonalization, in the context of quantum annealing or adiabatic quantum computation. Shortcuts to adiabaticity by counter-diabatic driving serve to accelerate these processes by suppressing energy excitations. Motivated by this, we develop variational quantum algorithms incorporating the auxiliary counterdiabatic interactions, comparing them with digitized adiabatic algorithms. These algorithms are then implemented on gate-based quantum circuits to explore the ground states of the Fermi-Hubbard model on honeycomb lattices, utilizing systems with up to 26 qubits. The comparison reveals that the counter-diabatic inspired ansatz is superior to traditional Hamiltonian variational ansatz. Furthermore, the number and duration of Trotter steps are analyzed to understand and mitigate errors. Given the model's relevance to materials in condensed matter, our study paves the way for using variational quantum algorithms with counterdiabaticity to explore quantum materials in the noisy intermediate-scale quantum era.


title: Evidence of the low-lying baryon $\Sigma^*(1/2^-)$ in the process $\Lambda_c^+\to \eta\pi^+\Lambda$

abstract: Motivated by the Belle measurements of the process $\Lambda_c^+\to \eta\pi^+\Lambda$, we investigate this process by considering the contributions from the $\Lambda(1670)$, $a_0(980)$, and $\Sigma(1385)$. In addition, we also consider the predicted low-lying baryon $\Sigma^*(1/2^-)$. Our results involving the $\Sigma^*(1/2^-)$ are favored by fitting to the Belle data of the $\eta\Lambda$ and $\pi^+\Lambda$ invariant mass distributions. Furthermore, we predict the $\eta\pi^+$ invariant mass distribution and the angular distribution $d\Gamma/d{\rm cos}\theta$, which are significantly different depending on whether or not the contribution from the $\Sigma^*(1/2^-)$ is considered. Finally, we show that, with the contribution from the $\Sigma^*(1/2^-)$, the calculated Dalizt plot agrees with the Belle measurements. Future precise measurements of the process $\Lambda_c^+\to \eta\pi^+\Lambda$ could shed further light on the existence of the low-lying $\Sigma^*(1/2^-)$.


title: Unraveling impacts of polycrystalline microstructures on ionic conductivity of ceramic electrolytes by computational homogenization and machine learning

abstract: The ionic conductivity at the grain boundaries (GBs) in oxide ceramics is typically several orders of magnitude lower than that within the grain interior. This detrimental GB effect is the main bottleneck for designing high-performance ceramic electrolytes intended for use in solid-state Lithium-ion batteries, fuel cells, and electrolyzer cells. The macroscopic ionic conductivity in oxide ceramics is essentially governed by the underlying polycrystalline microstructures where GBs and grain morphology go hand in hand. This provides the possibility to enhance the ion conductivity by microstructure engineering. To this end, a thorough understanding of microstructure-property correlation is highly desirable. In this work, we investigate numerous polycrystalline microstructure samples with varying grain and grain boundary features. Their macroscopic ionic conductivities are numerically evaluated by the finite element homogenization method, whereby the GB resistance is explicitly regarded. The influence of different microstructural features on the effective ionic conductivity is systematically studied. The microstructure-property relationships are revealed. Additionally, a graph neural network-based machine learning model is constructed and trained. It can accurately predict the effective ionic conductivity for a given polycrystalline microstructure. This work provides crucial quantitative guidelines for optimizing the ionic conducting performance of oxide ceramics by tailoring microstructures.


title: Tentative estimates of $\mathcal{B}(X(3872)\to\pi^0\pi^0\chi_{c1})$ and $\mathcal{B}(X(3872)\to\pi^+\pi^-\chi_{c1})$

abstract: The rates of the $X(3872)\to\pi^0\pi^0\chi_{c1}$ and $X(3872)\to \pi^+\pi^-\chi_{c1}$ decays are estimated in the model of the triangle loop diagrams with charmed $D^*\bar DD$ and $\bar D^*D\bar D$ mesons in the loops. There are the triangle logarithmic singularities in the physical region of the $X(3872)\to\pi^0\pi^0 \chi_{c1}$ decay which manifest themselves as narrow peaks in the $\pi^0\chi_{c1}$ mass spectrum near the $D^0\bar D^0$ threshold. The model predicts approximately the same branching fractions of the $X(3872)\to\pi^0\pi^0 \chi_{c1}$ and $X(3872)\to\pi^+\pi^-\chi_{c1}$ decays at the level of about (0.8-1.7)$\times10^{-4}$. A distinct prediction of the model is the value of the ratio $\mathcal{R}= \mathcal{B}(X(3872)\to\pi^+\pi^-\chi_{c1})/\mathcal{B}(X(3872) \to\pi^0\pi^0\chi_{c1})\approx1.1$. It weakly depends on the $X(3872)$ resonance parameters and indicates a significant violation of the isotopic symmetry according to which one would expect $\mathcal{R}=2$.


title: Theoretical analysis of the reactions induced by interaction of $^{6}$Li with nuclei $^{3}$H and $^{3}$He

abstract: We determine cross sections and astrophysical S-factors of the reactions generated in collisions between $^{6}$Li and $^{3}$H, and $^{6}$Li and $^{3}$He. A microscopic three-cluster model is employed to study the dynamics of reactions occurring in the mirror nuclei $^{9}$Be and $^{9}$B. In a previous study [Phys. Rev. C {\bf 109}, 045803 (2024)], this model was successfully applied to investigate the resonance structure of $^{9}$Be and $^{9}$B, as well as reactions induced by the interaction of deuterons with $^7$Li and $^7$Be. A fairly good agreement between theoretical results and available experimental data was achieved. To the best of our knowledge, appropriate experimental data for the astrophysical S-factors of the reactions generated by the interaction of $^6$Li with $^3$H and with $^3$He are currently unavailable. Thus, our results can serve as a guideline for future experimental efforts.


title: Reduce to the MACs -- Privacy Friendly Generic Probe Requests

abstract: Abstract. Since the introduction of active discovery in Wi-Fi networks, users can be tracked via their probe requests. Although manufacturers typically try to conceal Media Access Control (MAC) addresses using MAC address randomisation, probe requests still contain Information Elements (IEs) that facilitate device identification. This paper introduces generic probe requests: By removing all unnecessary information from IEs, the requests become indistinguishable from one another, letting single devices disappear in the largest possible anonymity set. Conducting a comprehensive evaluation, we demonstrate that a large IE set contained within undirected probe requests does not necessarily imply fast connection establishment. Furthermore, we show that minimising IEs to nothing but Supported Rates would enable 82.55% of the devices to share the same anonymity set. Our contributions provide a significant advancement in the pursuit of robust privacy solutions for wireless networks, paving the way for more user anonymity and less surveillance in wireless communication ecosystems.


title: Matroids arisen from labeled seeds

abstract: The main goal of this paper is to construct a new class of matroids coming from cluster algebras and investigate their properties.


title: Algebraic Tools for Computing Polynomial Loop Invariants

abstract: Loop invariants are properties of a program loop that hold before and after each iteration of the loop. They are often employed to verify programs and ensure that algorithms consistently produce correct results during execution. Consequently, the generation of invariants becomes a crucial task for loops. We specifically focus on polynomial loops, where both the loop conditions and assignments within the loop are expressed as polynomials. Although computing polynomial invariants for general loops is undecidable, efficient algorithms have been developed for certain classes of loops. For instance, when all assignments within a while loop involve linear polynomials, the loop becomes solvable. In this work, we study the more general case where the polynomials exhibit arbitrary degrees. Applying tools from algebraic geometry, we present two algorithms designed to generate all polynomial invariants for a while loop, up to a specified degree. These algorithms differ based on whether the initial values of the loop variables are given or treated as parameters. Furthermore, we introduce various methods to address cases where the algebraic problem exceeds the computational capabilities of our methods. In such instances, we identify alternative approaches to generate specific polynomial invariants.


title: Tensor Krylov subspace methods via the T-product for large Sylvester tensor equations

abstract: In the present paper, we introduce new tensor krylov subspace methods for solving large Sylvester tensor equations. The proposed method uses the well-known T-product for tensors and tensor subspaces. We introduce some new tensor products and the related algebraic properties. These new products will enable us to develop third-order the tensor FOM (tFOM), GMRES (tGMRES), tubal Block Arnoldi and the tensor tubal Block Arnoldi method to solve large Sylvester tensor equation. We give some properties related to these method and present some numerical experiments.


title: Enhancing Image Privacy in Semantic Communication over Wiretap Channels leveraging Differential Privacy

abstract: Semantic communication (SemCom) enhances transmission efficiency by sending only task-relevant information compared to traditional methods. However, transmitting semantic-rich data over insecure or public channels poses security and privacy risks. This paper addresses the privacy problem of transmitting images over wiretap channels and proposes a novel SemCom approach ensuring privacy through a differential privacy (DP)-based image protection and deprotection mechanism. The method utilizes the GAN inversion technique to extract disentangled semantic features and applies a DP mechanism to protect sensitive features within the extracted semantic information. To address the non-invertibility of DP, we introduce two neural networks to approximate the DP application and removal processes, offering a privacy protection level close to that by the original DP process. Simulation results validate the effectiveness of our method in preventing eavesdroppers from obtaining sensitive information while maintaining high-fidelity image reconstruction at the legitimate receiver.


title: Design and commissioning of a high-level control system for a medical isochronous cyclotron

abstract: MEDICYC (MEDical CYClotron) is an isochronous cyclotron dedicated to radiotherapy which was built and commissioned in Nice, France, in 1990 by a local team aided by experts from CERN. The cyclotron accelerates negative H to a maximum energy of 65 MeV and uses stripping to extract a proton beam. Its primary purpose is treating ocular melanoma by protontherapy but a significant research activity is also present on beam-lines dedicated for this purpose. An extensive refurbishment program of the cyclotron has been started to cope with the end-of-life and/or the obsolescence of several sub-systems. In this context, a new high-level cyclotron control system has been developed and commissioned in 2021-2024. The primary responsibility of the system is the high-level coordination of the source, the RF system, the beam-line and cyclotron magnets, to produce and deliver a beam with a given set of characteristics. A secondary responsibility is the collection, visualization and analysis of sub-system and beam data for monitoring and pre-emptive fault detection. In this contribution, the control system software architecture is presented and the infrastructure on which the systems are deployed is laid out.


title: Roots in the semiring of finite deterministic dynamical systems

abstract: Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a commutative semiring. This algebraic structure led to several works employing polynomial equations to model hypotheses on phenomena modelled using FDDS. To solve these equations, algorithms for performing the division and computing $k$-th roots are needed. In this paper, we propose two polynomial algorithms for these tasks, under the condition that the result is a connected FDDS. This ultimately leads to an efficient solution to equations of the type $AX^k=B$ for connected $X$. These results are some of the important final steps for solving more general polynomial equations on FDDS.


title: Fast formation of large ice pebbles after FU Orionis outbursts

abstract: During their formation, nascent planetary systems are subject to FU Orionis outbursts that heat a substantial part of the disc. This causes water ice in the affected part of the disc to sublimate as the ice line moves outwards to several to tens of astronomical units. In this paper, we investigate how the subsequent cooling of the disc impacts the particle sizes. We calculate the resulting particle sizes in a disc model with cooling times between 100 and 1,000 years, corresponding to typical FU Orionis outbursts. As the disc cools and the ice line retreats inwards, water vapour forms icy mantles on existing silicate particles. This process is called heterogeneous nucleation. The nucleation rate per surface area of silicate substrate strongly depends on the degree of super-saturation of the water vapour in the gas. Fast cooling results in high super-saturation levels, high nucleation rates, and limited condensation growth because the main ice budget is spent in the nucleation. Slow cooling, on the other hand, leads to rare ice nucleation and efficient growth of ice-nucleated particles by subsequent condensation. We demonstrate that close to the quiescent ice line, pebbles with a size of about centimetres to decimetres form by this process. The largest of these are expected to undergo cracking collisions. However, their Stokes numbers still reach values that are high enough to potentially trigger planetesimal formation by the streaming instability if the background turbulence is weak. Stellar outbursts may thus promote planetesimal formation around the water ice line in protoplanetary discs.


title: Recent Cold QCD Results from STAR

abstract: Understanding the origin of transverse single-spin asymmetries is a long-standing challenge in strong interaction physics. Recent precise measurements of the azimuthal distribution of charged pions in jets from STAR have shed new light on the spin momentum correlations within the Transverse Momentum Dependent (TMD) formalism. This measurement, particularly sensitive to the Collins effect, correlates the quark transversity with the Collins fragmentation functions, elucidating the spin-dependent fragmentation process. Moreover, similar measurements involving kaons and protons, which have unique quark compositions, provide vital insights into the flavor-dependent spin dynamics of the parton distribution functions and fragmentation functions. These studies are crucial for developing a more comprehensive understanding of nucleon spin structure. In these proceedings, selection of the recent Cold QCD STAR results are presented, focusing on the asymmetries for charged kaons and protons in jets from transversely polarized $pp$ data at $\sqrt{s}$ = 200 GeV.


title: Origin and detection of nontopological soliton dark matter

abstract: Macroscopic dark matter like nontopological solitons can form either via the fusion and accumulation of free particles or during cosmological phase transitions. Both mechanisms can create dark matter with large masses ranging from TeV to solar mass. This can lead to interesting targets in direct detection, astrophysical, and cosmological searches.


title: Electromagnetic response of dense quark matter around color-superconducting phase transition and QCD critical point

abstract: We explore how the electric conductivity and associated relaxation time are modified near the QCD critical point and the phase transition to a color superconducting phase using the two-flavor Nambu-Jona-Lasinio model with finite current quark masses. We give a comprehensive account of the nature of the soft modes associated with these phase transitions and how they affect the photon self-energy when the system approaches these phase transitions in a combined way with an emphasis on the common and different aspects in the two transitions. The formalism developed for describing the paraconductivity in metallic superconductors is used for the analysis of the photon self-energy. We show that the transport coefficients calculated from the self-energy show anomalous enhancements in both cases with different critical exponents for the individual transitions. We briefly discuss the possibility of detecting the enhancements in the relativistic heavy-ion collisions in the present and future facilities.


title: SMUG-Explain: A Framework for Symbolic Music Graph Explanations

abstract: In this work, we present Score MUsic Graph (SMUG)-Explain, a framework for generating and visualizing explanations of graph neural networks applied to arbitrary prediction tasks on musical scores. Our system allows the user to visualize the contribution of input notes (and note features) to the network output, directly in the context of the musical score. We provide an interactive interface based on the music notation engraving library Verovio. We showcase the usage of SMUG-Explain on the task of cadence detection in classical music. All code is available on https://github.com/manoskary/SMUG-Explain.


title: The representation of $\mathfrak{S}_n$ on the cohomology of the permutohedral variety and gamma vectors of partitioned permutohedra

abstract: Foata and Sch\"{u}tzenberger gave an expansion for the Eulerian polynomial $A_n(t)$ in terms of the basis $\{t^j(1+t)^{n-1-2j}\}$ for the space of polynomials $f(t)$ satisfying $f(t)=t^{n-1}f(1/t)$. We generalize this result in two ways. First, we provide an analogue for the graded representation of the symmetric group $\mathfrak{S}_n$ on the cohomology of the permutohedral variety. Then we give expansions $h$-polynomials of polytopes obtained by cutting permutohedra with hyperplanes orthogonal to simple roots in terms of the same basis.


title: Noether's theorem and Ward-Takahashi identities from homotopy algebras

abstract: We derive the new identity in homotopy algebras which directly corresponds to the Schwinger-Dyson equations in quantum field theory. As an application, we derive the Ward-Takahashi identities. We demonstrate that the Ward-Takahashi identities are reproduced in several examples. In general, our formula contains divergence. We mediate this problem by introducing stubs known in the context of string field theory. With the regularization, we can calculate the anomaly such as axial U(1) anomaly in vector-like U(1) gauge theory.


title: NeuralCMS: A deep learning approach to study Jupiter's interior

abstract: NASA's Juno mission provided exquisite measurements of Jupiter's gravity field that together with the Galileo entry probe atmospheric measurements constrains the interior structure of the giant planet. Inferring its interior structure range remains a challenging inverse problem requiring a computationally intensive search of combinations of various planetary properties, such as the cloud-level temperature, composition, and core features, requiring the computation of ~10^9 interior models. We propose an efficient deep neural network (DNN) model to generate high-precision wide-ranged interior models based on the very accurate but computationally demanding concentric MacLaurin spheroid (CMS) method. We trained a sharing-based DNN with a large set of CMS results for a four-layer interior model of Jupiter, including a dilute core, to accurately predict the gravity moments and mass, given a combination of interior features. We evaluated the performance of the trained DNN (NeuralCMS) to inspect its predictive limitations. NeuralCMS shows very good performance in predicting the gravity moments, with errors comparable with the uncertainty due to differential rotation, and a very accurate mass prediction. This allowed us to perform a broad parameter space search by computing only ~10^4 actual CMS interior models, resulting in a large sample of plausible interior structures, and reducing the computation time by a factor of 10^5. Moreover, we used a DNN explainability algorithm to analyze the impact of the parameters setting the interior model on the predicted observables, providing information on their nonlinear relation.


title: A Robust UAV-Based Approach for Power-Modulated Jammer Localization Using DoA

abstract: Unmanned aerial vehicles (UAVs) are well-suited to localize jammers, particularly when jammers are at non-terrestrial locations, where conventional detection methods face challenges. In this work we propose a novel localization method, sample pruning gradient descend (SPGD), which offers robust performance against multiple power-modulated jammers with low computational complexity.


title: Unconventional magnetism mediated by spin-phonon-photon coupling

abstract: Magnetic order typically emerges due to the short-range exchange interaction between the constituent electronic spins. Recent discoveries have found a crucial role for spin-phonon coupling in various phenomena from optical ultrafast magnetization switching to dynamical control of the magnetic state. Here, we demonstrate theoretically the emergence of a biquadratic long-range interaction between spins mediated by their coupling to phonons hybridized with vacuum photons into polaritons. The resulting ordered state enabled by the exchange of virtual polaritons between spins is reminiscent of superconductivity mediated by the exchange of virtual phonons. The biquadratic nature of the spin-spin interaction promotes ordering without favoring ferro- or antiferromagnetism. It further makes the phase transition to magnetic order a first-order transition, unlike in conventional magnets. Consequently, a large magnetization develops abruptly on lowering the temperature which \aknew{could} enable magnetic memories admitting ultralow-power thermally-assisted writing while maintaining a high data stability. The role of photons in the phenomenon further enables an in-situ static control over the magnetism. These unique features make our predicted spin-spin interaction and magnetism highly unconventional paving the way for novel scientific and technological opportunities.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.optics quant-ph


title: Graph Neural Network based Handwritten Trajectories Recognition

abstract: The graph neural networks has been proved to be an efficient machine learning technique in real life applications. The handwritten recognition is one of the useful area in real life use where both offline and online handwriting recognition are required. The chain code as feature extraction technique has shown significant results in literature and we have been able to use chain codes with graph neural networks. To the best of our knowledge, this work presents first time a novel combination of handwritten trajectories features as chain codes and graph neural networks together. The handwritten trajectories for offline handwritten text has been evaluated using recovery of drawing order, whereas online handwritten trajectories are directly used with chain codes. Our results prove that present combination surpass previous results and minimize error rate in few epochs only.


title: Regularity of geodesics in the spaces of convex and plurisubharmonic functions II

abstract: In this note we continue our investigation of geodesics in the space of convex and plurisubharmonic functions. We show optimal regularity for geodesics joining two smooth strictly convex functions. We also investigate the regularity theory in the $C^{1,\alpha}$ realm. Finally we discuss the regularity of geodesics joining two toric strictly plurisubharmonic functions.


title: The DP-coloring of the square of subcubic graphs

abstract: The 2-distance coloring of a graph $G$ is equivalent to the proper coloring of its square graph $G^2$, it is a special distance labeling problem. DP-coloring (or "Correspondence coloring") was introduced by Dvo\v{r}\'ak and Postle in 2018, to answer a conjecture of list coloring proposed by Borodin. In recent years, many researches pay attention to the DP-coloring of planar graphs with some restriction in cycles. We study the DP-coloring of the square of subcubic graphs in terms of maximum average degree $\rm{mad}(G)$, and by the discharging method, we showed that: for a subcubic graph $G$, if $\rm{mad}(G)<9/4$, then $G^2$ is DP-5-colorable; if $\rm{mad}(G)<12/5$, then $G^2$ is DP-6-colorable. And the bound in the first result is sharp.


title: New Textual Corpora for Serbian Language Modeling

abstract: This paper will present textual corpora for Serbian (and Serbo-Croatian), usable for the training of large language models and publicly available at one of the several notable online repositories. Each corpus will be classified using multiple methods and its characteristics will be detailed. Additionally, the paper will introduce three new corpora: a new umbrella web corpus of Serbo-Croatian, a new high-quality corpus based on the doctoral dissertations stored within National Repository of Doctoral Dissertations from all Universities in Serbia, and a parallel corpus of abstract translation from the same source. The uniqueness of both old and new corpora will be accessed via frequency-based stylometric methods, and the results will be briefly discussed.


title: Does Machine Bring in Extra Bias in Learning? Approximating Fairness in Models Promptly

abstract: Providing various machine learning (ML) applications in the real world, concerns about discrimination hidden in ML models are growing, particularly in high-stakes domains. Existing techniques for assessing the discrimination level of ML models include commonly used group and individual fairness measures. However, these two types of fairness measures are usually hard to be compatible with each other, and even two different group fairness measures might be incompatible as well. To address this issue, we investigate to evaluate the discrimination level of classifiers from a manifold perspective and propose a "harmonic fairness measure via manifolds (HFM)" based on distances between sets. Yet the direct calculation of distances might be too expensive to afford, reducing its practical applicability. Therefore, we devise an approximation algorithm named "Approximation of distance between sets (ApproxDist)" to facilitate accurate estimation of distances, and we further demonstrate its algorithmic effectiveness under certain reasonable assumptions. Empirical results indicate that the proposed fairness measure HFM is valid and that the proposed ApproxDist is effective and efficient.


title: An Exponential Diophantine equation $x^2+3^{\alpha} 113^{\beta}=y^{\mathfrak{n}}$

abstract: The objective of the paper is to determine the complete solutions for the Diophantine equation $x^2 + 3^{\alpha}113^{\beta} = y^{\mathfrak{n}}$ in positive integers $x$ and $y$ (where $x, y \geq 1$), non-negative exponents $\alpha$ and $\beta$, and an integer $\mathfrak{n}\geq 3$, subject to the condition $\text{gcd}(x, y) = 1$.


title: Efficient motion of 90^{\circ} domain walls in Mn_{2}Au via pure optical torques

abstract: Discovering alternative ways to drive domain wall (DW) dynamics is crucial for advancing spintronic applications. Here we demonstrate via atomistic spin dynamics simulations that optical torques can efficiently drive 90^{\circ} DWs in the Mn2Au antiferromagnet but their spatial symmetry forbids the motion of 180^{\circ} walls. In the steady-state regime, the kinematics display special relativity signatures accessed for low laser intensities. At velocities higher than the magnonic limit, the DW enters a proliferation regime in which part of its relativistic energy is invested into the nucleation of novel magnetic textures. Our investigation contributes towards the fundamental understanding of opto-magnetic effects, supporting the development of next generation, all-optically controlled antiferromagnetic spintronics.


title: Eigenvalue bounds and alternating rank-metric codes

abstract: In this note we apply a spectral method to the graph of alternating bilinear forms. In this way, we obtain upper bounds on the size of an alternating rank-metric code for given values of the minimum rank distance. We computationally compare our results with Delsarte's linear programming bound, observing that they give the same value. For small values of the minimum rank distance, we are able to establish the equivalence of the two methods. The problem remains open for larger values.


title: Reinforcement Learning-Based Framework for the Intelligent Adaptation of User Interfaces

abstract: Adapting the user interface (UI) of software systems to meet the needs and preferences of users is a complex task. The main challenge is to provide the appropriate adaptations at the appropriate time to offer value to end-users. Recent advances in Machine Learning (ML) techniques may provide effective means to support the adaptation process. In this paper, we instantiate a reference framework for Intelligent User Interface Adaptation by using Reinforcement Learning (RL) as the ML component to adapt user interfaces and ultimately improving the overall User Experience (UX). By using RL, the system is able to learn from past adaptations to improve the decision-making capabilities. Moreover, assessing the success of such adaptations remains a challenge. To overcome this issue, we propose to use predictive Human-Computer Interaction (HCI) models to evaluate the outcome of each action (ie adaptations) performed by the RL agent. In addition, we present an implementation of the instantiated framework, which is an extension of OpenAI Gym, that serves as a toolkit for developing and comparing RL algorithms. This Gym environment is highly configurable and extensible to other UI adaptation contexts. The evaluation results show that our RL-based framework can successfully train RL agents able to learn how to adapt UIs in a specific context to maximize the user engagement by using an HCI model as rewards predictor.


title: Drag prediction of rough-wall turbulent flow using data-driven regression

abstract: Efficient tools for predicting the drag of rough walls in turbulent flows would have a tremendous impact. However, methods for drag prediction rely on experiments or numerical simulations which are costly and time-consuming. Data-driven regression methods have the potential to provide a prediction that is accurate and fast. We assess the performance and limitations of linear regression, kernel methods and neural networks for drag prediction using a database of 1000 homogeneous rough surfaces. Model performance is evaluated using the roughness function obtained at friction-scaled Reynolds number 500. With two trainable parameters, the kernel method can fully account for nonlinear relations between $\Delta U^+$ and surface statistics (roughness height, effective slope, skewness, etc). In contrast, linear regression cannot account for nonlinear correlations and display large errors and high uncertainty. Multilayer perceptron and convolutional neural networks demonstrate performance on par with the kernel method but have orders of magnitude more trainable parameters. For the current database size, the networks' capacity cannot be fully exploited, resulting in reduced generalizability and reliability. Our study provides insight into the appropriateness of different regression models for drag prediction. We also discuss the remaining steps before data-driven methods emerge as useful tools in applications.


title: Static spherically symmetric perfect fluid solutions in teleparallel F(T) gravity

abstract: In this paper, we investigate static spherically symmetric teleparallel F(T) gravity containing a perfect isotropic fluid. We first write the field equations and proceed to find new teleparallel F(T) solutions for perfect isotropic and linear fluids. By using a power-law ansatz for the coframe components, we find several classes of new non-trivial teleparallel F(T) solutions. We also find a new class of teleparallel F(T) solutions for a matter dust fluid. After we solve the field equations for a non-linear perfect fluid. Once again, there are several new exact teleparallel F(T) solutions and also some approximated teleparallel F(T) solutions. All these classes of new solutions may be relevant for future cosmological and astrophysical applications.


title: Characterizing the correlation properties of the atmospheric emission in the 10-20 GHz range with QUIJOTE MFI data

abstract: The QUIJOTE MFI instrument (2012-2018) observed the sky at four frequency bands, namely 11, 13, 17 and 19GHz, at 1 degree angular resolution. Using around 10000 h of observations in the so-called nominal mode, QUIJOTE MFI produced sky maps covering approximately 29000 deg2. Here we use the full database of MFI wide survey observations to characterize the correlation properties of the atmospheric signal in those frequency bands. This information will be useful to improve the current sky models at these frequencies, and could be used in further MFI reanalyses, or for the preparation of future observations at these frequencies (e.g., MFI2 and the Tenerife Microwave Spectrometer).


title: Multiconfiguration Dirac-Hartree-Fock and configuration-interaction study of $4d-3p$ x-ray transitions in Cu- and Ni-like tungsten ions

abstract: The $4d \to 3p$ x-ray transitions in Cu- and Ni-like tungsten ions have been studied theoretically. The multiconfiguration Dirac-Hartree-Fock (MCDHF) method and the large-scale relativistic configuration-interaction (CI) method have been employed in order to take into account electron correlation effects on the wavelengths and transition rates. It was found that the wavelengths and transition rates obtained from the MCDHF-CI method depend strongly on the size and the type of the active space used in the calculations. It has been found that extending the active space of orbitals without careful control of the configuration state function base does not always lead to good quality MCDHF-CI results for highly ionized tungsten ions.


title: Geometric BSDEs

abstract: We introduce and develop the concepts of Geometric Backward Stochastic Differential Equations (GBSDEs, for short) and two-driver BSDEs. We demonstrate their natural suitability for modeling dynamic return risk measures. We characterize a broad spectrum of associated BSDEs with drivers exhibiting growth rates involving terms of the form $y|\ln(y)|+|z|^2/y$. We investigate the existence, regularity, uniqueness, and stability of solutions for these BSDEs and related two-driver BSDEs, considering both bounded and unbounded coefficients and terminal conditions. Furthermore, we present a GBSDE framework for representing the dynamics of (robust) $L^{p}$-norms and related risk measures.


title: Exact analysis of the two-dimensional asymmetric simple exclusion process with attachment and detachment of particles

abstract: The asymmetric simple exclusion process (ASEP) is a paradigmatic driven-diffusive system that describes the asymmetric diffusion of particles with hardcore interactions in a lattice. Although the ASEP is known as an exactly solvable model, most exact results are limited to one-dimensional systems. Recently, the exact steady state in the multi-dimensional ASEP has been proposed [1]. The research focused on the situation where the number of particles is conserved. In this paper, we consider the two-dimensional ASEP with the attachment and detachment of particles (ASEP-LK), where particle number conservation is violated. By employing the result in Ref. [1], we construct the exact steady state of the ASEP-LK and reveal its properties through the exact computation of physical quantities.


title: Large solitons flattened by small quantum corrections

abstract: We propose a general form of the UV-completed Friedberg-Lee-Sirlin (FLS) model. As can be seen from the mechanical interpretation, UV-completion allows thin-wall approximation for non-topological solitons. The 1-loop renormalized effective potential for the UV-completed FLS model is constructed under the assumption of mass hierarchy. By special choice of parameters, we studied how the Coleman-Weinberg mechanism induces a new mass scale $\omega_{-}$ in the classical FLS model. It can be expounded in terms of a stable condensate. As a consequence, the asymptotic of a non-topological soliton's energy at large charge is changed from $\sim Q^{3/4}$ to the linear law.


title: Polydisperse versus monodisperse microbubbles: A simulation study for contrast-enhanced ultrasound imaging

abstract: Contrast-enhanced ultrasound (CEUS) presents distinct advantages in diagnostic echography. Utilizing microbubbles (MBs) as conventional contrast agents enhances vascular visualization and organ perfusion, facilitating real-time, non-invasive procedures. There is a current tendency to replace the traditional polydisperse MBs by novel monodisperse formulations in an attempt to optimize contrast enhancement and guarantee consistent behavior and reliable imaging outcomes. This study investigates the contrast enhancement achieved by monodisperse MBs of different sizes, and their influence on nonlinear imaging artifacts observed in traditional CEUS. To explore the differences between monodisperse and polydisperse populations without excessive experimentation, numerical simulations are employed for delivering precise, objective and expeditious results. The Iterative Nonlinear Contrast Source (INCS) method has previously demonstrated its efficacy in simulating ultrasound propagation in large populations in which each bubble has individual properties and several orders of multiple scattering are significant. Our findings in CEUS imaging indicate that scattering from resonant monodisperse microbubbles is 11.8 dB stronger than scattering from the polydisperse population. Furthermore, the amplitude of nonlinear imaging artifacts downstream of the monodisperse population is 19.4 dB stronger compared to polydisperse suspension. Investigating the impact of multiple scattering on polydisperse populations compared to various monodisperse suspensions reveals that monodisperse MBs are more effective contrast agents, especially when on resonance. Despite the strong signal to noise ratio of monodisperse populations, the imaging artifacts due to nonlinear wave propagation are also enhanced, resulting in more missclassification of MBs as tissue.


title: A Quantum of QUIC: Dissecting Cryptography with Post-Quantum Insights

abstract: QUIC is a new network protocol standardized in 2021. It was designed to replace the TCP/TLS stack and is based on UDP. The most current web standard HTTP/3 is specifically designed to use QUIC as transport protocol. QUIC claims to provide secure and fast transport with low-latency connection establishment, flow and congestion control, reliable delivery, and stream multiplexing. To achieve the security goals, QUIC enforces the usage of TLS 1.3. It uses authenticated encryption with additional data (AEAD) algorithms to not only protect the payload but also parts of the header. The handshake relies on asymmetric cryptography, which will be broken with the introduction of powerful quantum computers, making the use of post-quantum cryptography inevitable. This paper presents a detailed evaluation of the impact of cryptography on QUIC performance. The high-performance QUIC implementations LSQUIC, quiche, and MsQuic are evaluated under different aspects. We break symmetric cryptography down to the different security features. To be able to isolate the impact of cryptography, we implemented a NOOP AEAD algorithm which leaves plaintext unaltered. We show that QUIC performance increases by 10 to 20% when removing packet protection. The header protection has negligible impact on performance, especially for AES ciphers. We integrate post-quantum cryptographic algorithms into QUIC, demonstrating its feasibility without major changes to the QUIC libraries by using a TLS library that implements post-quantum algorithms. Kyber, Dilithium, and FALCON are promising candidates for post-quantum secure QUIC, as they have a low impact on the handshake duration. Algorithms like SPHINCS+ with larger key sizes or more complex calculations significantly impact the handshake duration and cause additional issues in our measurements.


title: Quantum Computing Education for Computer Science Students: Bridging the Gap with Layered Learning and Intuitive Analogies

abstract: Quantum computing presents a transformative potential for the world of computing. However, integrating this technology into the curriculum for computer science students who lack prior exposure to quantum mechanics and advanced mathematics remains a challenging task. This paper proposes a scaffolded learning approach aimed at equipping computer science students with essential quantum principles. By introducing foundational quantum concepts through relatable analogies and a layered learning approach based on classical computation, this approach seeks to bridge the gap between classical and quantum computing. This differs from previous approaches which build quantum computing fundamentals from the prerequisite of linear algebra and mathematics. The paper offers a considered set of intuitive analogies for foundation quantum concepts including entanglement, superposition, quantum data structures and quantum algorithms. These analogies coupled with a computing-based layered learning approach, lay the groundwork for a comprehensive teaching methodology tailored for undergraduate third level computer science students.


title: Dance Any Beat: Blending Beats with Visuals in Dance Video Generation

abstract: The task of generating dance from music is crucial, yet current methods, which mainly produce joint sequences, lead to outputs that lack intuitiveness and complicate data collection due to the necessity for precise joint annotations. We introduce a Dance Any Beat Diffusion model, namely DabFusion, that employs music as a conditional input to directly create dance videos from still images, utilizing conditional image-to-video generation principles. This approach pioneers the use of music as a conditioning factor in image-to-video synthesis. Our method unfolds in two stages: training an auto-encoder to predict latent optical flow between reference and driving frames, eliminating the need for joint annotation, and training a U-Net-based diffusion model to produce these latent optical flows guided by music rhythm encoded by CLAP. Although capable of producing high-quality dance videos, the baseline model struggles with rhythm alignment. We enhance the model by adding beat information, improving synchronization. We introduce a 2D motion-music alignment score (2D-MM Align) for quantitative assessment. Evaluated on the AIST++ dataset, our enhanced model shows marked improvements in 2D-MM Align score and established metrics. Video results can be found on our project page: https://DabFusion.github.io.


title: Searches for Galactic Neutrinos with the IceCube Neutrino observatory

abstract: The sources of galactic charged cosmic rays are so far unknown, because their arrival directions are randomized in the galactic magnetic field. Objects accelerating hadrons are expected to produce high-energy neutrinos. In addition, a diffuse galactic neutrino flux is predicted from interactions of galactic cosmic rays with matter during propagation through the galaxy. The IceCube neutrino observatory at the geographic South Pole instruments a cubic kilometer of ice with optical modules to detect the Cherenkov light of particles produced in neutrino interactions. Operating for more than a decade in its complete detector configuration, IceCube is in a unique position to search for neutrino sources. This contribution discusses the searches for a diffuse flux of neutrinos as wells as for neutrinos from candidate point sources and extended sources in the galactic plane.


title: On the orbital stability of solitary waves for the fourth order nonlinear Schr\"odinger equation

abstract: In this paper, we present new results regarding the orbital stability of solitary standing waves for the general fourth-order Schr\"odinger equation with mixed dispersion. The existence of solitary waves can be determined both as minimizers of a constrained complex functional and by using a numerical approach. In addition, for specific values of the frequency associated with the standing wave, one obtains explicit solutions with a hyperbolic secant profile. Despite these explicit solutions being minimizers of the constrained functional, they cannot be seen as a smooth curve of solitary waves, and this fact prevents their determination of stability using classical approaches in the current literature. To overcome this difficulty, we employ a numerical approach to construct a smooth curve of solitary waves. The existence of a smooth curve is useful for showing the existence of a threshold power $\alpha_0\approx 4.8$ of the nonlinear term such that if $\alpha\in (0,\alpha_0),$ the explicit solitary wave is stable, and if $\alpha>\alpha_0$, the wave is unstable. An important feature of our work, caused by the presence of the mixed dispersion term, concerns the fact that the threshold value $\alpha_0 \approx 4.8$ is not the same as that established for proving the existence of global solutions in the energy space, as is well known for the classical nonlinear Schr\"odinger equation.


title: Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations

abstract: According to many researchers, conceptual model (CM) development is a hard task, and system requirements are difficult to collect, causing many miscommunication problems. CMs require more than modeling ability alone - they first require an understanding of the targeted domain that the model attempts to represent. Accordingly, a preconceptual modeling (pre-CM) stage is intended to address ontological issues before typical CM development is initiated. It involves defining a portion of reality when entities and processes are differentiated and integrated as unified wholes. This pre-CM phase forms the focus of research in this paper. The purpose is not show how to model; rather, it is to demonstrate how to establish a metaphysical basis of the involved portion of reality. To demonstrate such a venture, we employ the so-called thinging machine (TM) modeling that has been proposed as a high-level CM. A TM model integrates staticity and dynamism grounded in a fundamental construct called a thimac (things/machine). It involves two modes of reality, existence (events) and subsistence (regions - roughly, specifications of things and processes). Currently, the dominant approach in CM has evolved to limit its scope of application to develop ontological categorization (types of things). In the TM approach, pre-CM metaphysics is viewed as a part and parcel of CM itself. The general research problem is how to map TM constructs to what is out there in the targeted domain. Discussions involve the nature of thimacs (things and processes) and subsistence and existence as they are superimposed over each other in reality. Specifically, we make two claims, (a) the perceptibility of regions as a phenomenon and (b) the distinctiveness of existence as a construct for events. The results contribute to further the understanding of TM modeling in addition to introducing some metaphysical insights.


title: How to fit PDFs in the presence of new physics?

abstract: The interpretation of LHC data, and the assessment of possible hints of new physics, require the precise knowledge of the proton structure in terms of parton distribution functions (PDFs). I present a methodology designed to determine whether and how global PDF fits might inadvertently 'fit away' signs of new physics in the high-energy tails of the distributions. I showcase a scenario for the High-Luminosity LHC, in which the PDFs may completely absorb such signs of new physics, thus biasing theoretical predictions and interpretations. I discuss strategies to single out the effects in this scenario and disentangle the inconsistencies that stem from them. This study brings to light the synergy between the high luminosity programme at the LHC and present and future low-energy non-LHC measurements of large-sea quark distributions. I also present the potential of fitting simultaneously the PDFs and the new physics signals.