title: An investigation of the "10 keV feature" in the spectra of Accretion Powered X-ray Pulsars with NuSTAR

abstract: Some of the accreting X-ray pulsars are reported to exhibit a peculiar spectral feature at $\sim$10 keV, known as the "10 keV feature". The feature has been characterized as either an emission line or an absorption line, and its origin is unknown. It has been found in multiple observations of the same source by different observatories, but not all the observations of any particular source consistently showed the presence of it. In this work, we have carried out a systematic investigation for the presence of the "10 keV feature" using data from NuSTAR, a low background spectroscopic observatory having uninterrupted wide band coverage on either side of 10 keV. We performed a systematic spectral analysis on 58 archival NuSTAR observations of 30 bright X-ray pulsars. The 3$-$79 keV spectral continua of these selected sources were fitted with a model chosen on the basis of its fitting quality in 3$-$15 keV and model simplicity, and then inspected for the presence of the "10 keV feature". Our analysis indicates the presence of such a feature in 16 out of 58 the NuSTAR observations of 11 different sources and is fitted with a Gaussian absorption model centered around 10 keV. Our analysis also suggests that such a feature could be wrongly detected if flare data is not analyzed separately from persistent emission.


title: The density of a one-dimensional Bose gas far from an impurity

abstract: We consider an impurity in a one-dimensional weakly-interacting Bose gas and analytically calculate the density profile of the Bose gas. Within the mean-field approximation, by increasing the distance from the impurity, the Bose gas density saturates exponentially fast to its mean thermodynamic-limit value at distances beyond the healing length. The effect of quantum fluctuations drastically changes this behavior, leading to a power law decay of the density deviation from the mean density. At distances longer than the healing length and shorter than a new length scale proportional to the impurity coupling strength, the power-law exponent is $2$, while at longest distances the corresponding exponent becomes $3$. The latter crossover does not exist in two special cases. The first one is realized for infinitely strongly coupled impurity; then the density deviation always decays with the exponent $2$. The second special case occurs when the new length scale is smaller than the healing length, i.e., at weak impurity coupling; then the density deviation always decays with the exponent $3$. The obtained results are exact in the impurity coupling strength and account for the leading order in the interaction between the particles of the Bose gas.


title: Robust Transceiver Design for Covert Integrated Sensing and Communications With Imperfect CSI

abstract: We propose a robust transceiver design for a covert integrated sensing and communications (ISAC) system with imperfect channel state information (CSI). Considering both bounded and probabilistic CSI error models, we formulate worst-case and outage-constrained robust optimization problems of joint trasceiver beamforming and radar waveform design to balance the radar performance of multiple targets while ensuring communications performance and covertness of the system. The optimization problems are challenging due to the non-convexity arising from the semi-infinite constraints (SICs) and the coupled transceiver variables. In an effort to tackle the former difficulty, S-procedure and Bernstein-type inequality are introduced for converting the SICs into finite convex linear matrix inequalities (LMIs) and second-order cone constraints. A robust alternating optimization framework referred to alternating double-checking is developed for decoupling the transceiver design problem into feasibility-checking transmitter- and receiver-side subproblems, transforming the rank-one constraints into a set of LMIs, and verifying the feasibility of beamforming by invoking the matrix-lifting scheme. Numerical results are provided to demonstrate the effectiveness and robustness of the proposed algorithm in improving the performance of covert ISAC systems.


title: Biquality Learning: a Framework to Design Algorithms Dealing with Closed-Set Distribution Shifts

abstract: Training machine learning models from data with weak supervision and dataset shifts is still challenging. Designing algorithms when these two situations arise has not been explored much, and existing algorithms cannot always handle the most complex distributional shifts. We think the biquality data setup is a suitable framework for designing such algorithms. Biquality Learning assumes that two datasets are available at training time: a trusted dataset sampled from the distribution of interest and the untrusted dataset with dataset shifts and weaknesses of supervision (aka distribution shifts). The trusted and untrusted datasets available at training time make designing algorithms dealing with any distribution shifts possible. We propose two methods, one inspired by the label noise literature and another by the covariate shift literature for biquality learning. We experiment with two novel methods to synthetically introduce concept drift and class-conditional shifts in real-world datasets across many of them. We opened some discussions and assessed that developing biquality learning algorithms robust to distributional changes remains an interesting problem for future research.


title: GPS-aided Visual Wheel Odometry

abstract: This paper introduces a novel GPS-aided visual-wheel odometry (GPS-VWO) for ground robots. The state estimation algorithm tightly fuses visual, wheeled encoder and GPS measurements in the way of Multi-State Constraint Kalman Filter (MSCKF). To avoid accumulating calibration errors over time, the proposed algorithm calculates the extrinsic rotation parameter between the GPS global coordinate frame and the VWO reference frame online as part of the estimation process. The convergence of this extrinsic parameter is guaranteed by the observability analysis and verified by using real-world visual and wheel encoder measurements as well as simulated GPS measurements. Moreover, a novel theoretical finding is presented that the variance of unobservable state could converge to zero for specific Kalman filter system. We evaluate the proposed system extensively in large-scale urban driving scenarios. The results demonstrate that better accuracy than GPS is achieved through the fusion of GPS and VWO. The comparison between extrinsic parameter calibration and non-calibration shows significant improvement in localization accuracy thanks to the online calibration.


title: Evidence for a large off-centered galactic outflow and its connection to the extraplanar diffuse ionized gas in IC 1553

abstract: Aims. We analyze a MUSE optical integral field spectrum of the star-forming edge-on galaxy IC 1553 in order to study its extraplanar diffuse ionized gas (eDIG) and the processes shaping its disk-halo interface. Methods. We extracted the optical emission line properties from the integral field spectrum and generated the commonly used emission line diagnostic diagrams in order to analyze the ionization conditions and the distribution of the eDIG. Furthermore, we performed gravitational potential fitting to investigate the kinematics of a suspected galactic outflow. Results. We find that the eDIG scale height has a maximum value of approximately 1.0 kpc and decreases roughly linearly with the radial distance from the galactic center in projection. The ionization state of the eDIG is not consistent with a pure photoionization scenario and instead requires a significant contribution from shock ionization. This, in addition to the gas kinematics, strongly suggests the presence of a galactic scale outflow, the origin of which lies at least 1.4 kpc away from the galactic center. The inferred shock velocity in the eDIG of approximately 225 km s-1 is comparable to the escape velocity estimated from our potential modelling. The asymmetric distribution of currently star-forming clusters produces a range of different ionization conditions in the eDIG. As a result, the vertical emission line profiles vary quantitatively and qualitatively along the major axis of the galaxy. This analysis illustrates that it is crucial in studies of the eDIG to use observations that take the spatial and kinematical distributions into account, such as those done with integral field units, to form an accurate picture of the relevant physical properties.


title: Signature Trading: A Path-Dependent Extension of the Mean-Variance Framework with Exogenous Signals

abstract: In this article we introduce a portfolio optimisation framework, in which the use of rough path signatures (Lyons, 1998) provides a novel method of incorporating path-dependencies in the joint signal-asset dynamics, naturally extending traditional factor models, while keeping the resulting formulas lightweight and easily interpretable. We achieve this by representing a trading strategy as a linear functional applied to the signature of a path (which we refer to as "Signature Trading" or "Sig-Trading"). This allows the modeller to efficiently encode the evolution of past time-series observations into the optimisation problem. In particular, we derive a concise formulation of the dynamic mean-variance criterion alongside an explicit solution in our setting, which naturally incorporates a drawdown control in the optimal strategy over a finite time horizon. Secondly, we draw parallels between classical portfolio stategies and Sig-Trading strategies and explain how the latter leads to a pathwise extension of the classical setting via the "Signature Efficient Frontier". Finally, we give examples when trading under an exogenous signal as well as examples for momentum and pair-trading strategies, demonstrated both on synthetic and market data. Our framework combines the best of both worlds between classical theory (whose appeal lies in clear and concise formulae) and between modern, flexible data-driven methods that can handle more realistic datasets. The advantage of the added flexibility of the latter is that one can bypass common issues such as the accumulation of heteroskedastic and asymmetric residuals during the optimisation phase. Overall, Sig-Trading combines the flexibility of data-driven methods without compromising on the clarity of the classical theory and our presented results provide a compelling toolbox that yields superior results for a large class of trading strategies.


title: CAGRA: Highly Parallel Graph Construction and Approximate Nearest Neighbor Search for GPUs

abstract: Approximate Nearest Neighbor Search (ANNS) plays a critical role in various disciplines spanning data mining and artificial intelligence, from information retrieval and computer vision to natural language processing and recommender systems. Data volumes have soared in recent years and the computational cost of an exhaustive exact nearest neighbor search is often prohibitive, necessitating the adoption of approximate techniques. The balanced performance and recall of graph-based approaches have more recently garnered significant attention in ANNS algorithms, however, only a few studies have explored harnessing the power of GPUs and multi-core processors despite the widespread use of massively parallel and general-purpose computing. To bridge this gap, we introduce a novel parallel computing hardware-based proximity graph and search algorithm. By leveraging the high-performance capabilities of modern hardware, our approach achieves remarkable efficiency gains. In particular, our method surpasses existing CPU and GPU-based methods in constructing the proximity graph, demonstrating higher throughput in both large- and small-batch searches while maintaining compatible accuracy. In graph construction time, our method, CAGRA, is 2.2~27x faster than HNSW, which is one of the CPU SOTA implementations. In large-batch query throughput in the 90% to 95% recall range, our method is 33~77x faster than HNSW, and is 3.8~8.8x faster than the SOTA implementations for GPU. For a single query, our method is 3.4~53x faster than HNSW at 95% recall.


title: Abdominal Multi-Organ Segmentation Based on Feature Pyramid Network and Spatial Recurrent Neural Network

abstract: As recent advances in AI are causing the decline of conventional diagnostic methods, the realization of end-to-end diagnosis is fast approaching. Ultrasound image segmentation is an important step in the diagnostic process. An accurate and robust segmentation model accelerates the process and reduces the burden of sonographers. In contrast to previous research, we take two inherent features of ultrasound images into consideration: (1) different organs and tissues vary in spatial sizes, (2) the anatomical structures inside human body form a relatively constant spatial relationship. Based on those two ideas, we propose a new image segmentation model combining Feature Pyramid Network (FPN) and Spatial Recurrent Neural Network (SRNN). We discuss why we use FPN to extract anatomical structures of different scales and how SRNN is implemented to extract the spatial context features in abdominal ultrasound images.


title: Unraveling the Complexity of Metal Ion Dissolution: Insights from Hybrid First-Principles/Continuum Calculations

abstract: The study of ion dissolution from metal surfaces has a long-standing history, wherein the gradual dissolution of solute atoms with increasing electrode potential, leading to their existence as ions in the electrolyte with integer charges, is well-known. However, our present work reveals a more intricate and nuanced physical perspective based on comprehensive first-principles/continuum calculations. We investigate the dissolution and deposition processes of 22 metal elements across a range of applied electrode potentials, unveiling diverse dissolution models. By analyzing the energy profiles and valence states of solute atoms as a function of the distance between the solute atom and metal surface, we identify three distinct dissolution models for different metals. Firstly, solute atoms exhibit an integer valence state following an integer-valence jump, aligning with classical understandings. Secondly, solute atoms attain an eventual integer valence, yet their valence state increases in a non-integer manner during dissolution. Lastly, we observe solute atoms exhibiting a non-integer valence state, challenging classical understandings. Furthermore, we propose a theoretical criterion for determining the selection of ion valence during electrode dissolution under applied potential. These findings not only contribute to a deeper understanding of the dissolution process but also offer valuable insights into the complex dynamics governing metal ion dissolution at the atomic level. Such knowledge has the potential to advance the design of more efficient electrochemical systems and open new avenues for controlling dissolution processes in various applications.


title: PTTS: Zero-Knowledge Proof-based Private Token Transfer System on Ethereum Blockchain and its Network Flow Based Balance Range Privacy Attack Analysis

abstract: Blockchains are decentralized and immutable databases that are shared among the nodes of the network. Although blockchains have attracted a great scale of attention in the recent years by disrupting the traditional financial systems, the transaction privacy is still a challenging issue that needs to be addressed and analysed. We propose a Private Token Transfer System (PTTS) for the Ethereum public blockchain in the first part of this paper. For the proposed framework, zero-knowledge based protocol has been designed using Zokrates and integrated into our private token smart contract. With the help of web user interface designed, the end users can interact with the smart contract without any third-party setup. In the second part of the paper, we provide security and privacy analysis including the replay attack and the balance range privacy attack which has been modelled as a network flow problem. It is shown that in case some balance ranges are deliberately leaked out to particular organizations or adversial entities, it is possible to extract meaningful information about the user balances by employing minimum cost flow network algorithms that have polynomial complexity. The experimental study reports the Ethereum gas consumption and proof generation times for the proposed framework. It also reports network solution times and goodness rates for a subset of addresses under the balance range privacy attack with respect to number of addresses, number of transactions and ratio of leaked transfer transaction amounts.


title: QDistRnd: A GAP package for computing the distance of quantum error-correcting codes

abstract: The GAP package QDistRnd implements a probabilistic algorithm for finding the minimum distance of a quantum low-density parity-check code linear over a finite field GF(q). At each step several codewords are randomly drawn from a distribution biased toward smaller weights. The corresponding weights are used to update the upper bound on the distance, which eventually converges to the minimum distance of the code. While there is no performance guarantee, an empirical convergence criterion is given to estimate the probability that a minimum weight codeword has been found. In addition, a format for storing matrices associated with q-ary quantum codes is introduced and implemented via the provided import/export functions. The format, MTXE, is based on the well established MaTrix market eXchange (MTX) Coordinate format developed at NIST, and is designed for full backward compatibility with this format. Thus, MTXE files are readable by any software package which supports MTX.


title: Uncertainty Aware Training to Improve Deep Learning Model Calibration for Classification of Cardiac MR Images

abstract: Quantifying uncertainty of predictions has been identified as one way to develop more trustworthy artificial intelligence (AI) models beyond conventional reporting of performance metrics. When considering their role in a clinical decision support setting, AI classification models should ideally avoid confident wrong predictions and maximise the confidence of correct predictions. Models that do this are said to be well-calibrated with regard to confidence. However, relatively little attention has been paid to how to improve calibration when training these models, i.e., to make the training strategy uncertainty-aware. In this work we evaluate three novel uncertainty-aware training strategies comparing against two state-of-the-art approaches. We analyse performance on two different clinical applications: cardiac resynchronisation therapy (CRT) response prediction and coronary artery disease (CAD) diagnosis from cardiac magnetic resonance (CMR) images. The best-performing model in terms of both classification accuracy and the most common calibration measure, expected calibration error (ECE) was the Confidence Weight method, a novel approach that weights the loss of samples to explicitly penalise confident incorrect predictions. The method reduced the ECE by 17% for CRT response prediction and by 22% for CAD diagnosis when compared to a baseline classifier in which no uncertainty-aware strategy was included. In both applications, as well as reducing the ECE there was a slight increase in accuracy from 69% to 70% and 70% to 72% for CRT response prediction and CAD diagnosis respectively. However, our analysis showed a lack of consistency in terms of optimal models when using different calibration measures. This indicates the need for careful consideration of performance metrics when training and selecting models for complex high-risk applications in healthcare.


title: A Multimodal Visual Encoding Model Aided by Introducing Verbal Semantic Information

abstract: Biological research has revealed that the verbal semantic information in the brain cortex, as an additional source, participates in nonverbal semantic tasks, such as visual encoding. However, previous visual encoding models did not incorporate verbal semantic information, contradicting this biological finding. This paper proposes a multimodal visual information encoding network model based on stimulus images and associated textual information in response to this issue. Our visual information encoding network model takes stimulus images as input and leverages textual information generated by a text-image generation model as verbal semantic information. This approach injects new information into the visual encoding model. Subsequently, a Transformer network aligns image and text feature information, creating a multimodal feature space. A convolutional network then maps from this multimodal feature space to voxel space, constructing the multimodal visual information encoding network model. Experimental results demonstrate that the proposed multimodal visual information encoding network model outperforms previous models under the exact training cost. In voxel prediction of the left hemisphere of subject 1's brain, the performance improves by approximately 15.87%, while in the right hemisphere, the performance improves by about 4.6%. The multimodal visual encoding network model exhibits superior encoding performance. Additionally, ablation experiments indicate that our proposed model better simulates the brain's visual information processing.


title: Lifelike Agility and Play on Quadrupedal Robots using Reinforcement Learning and Generative Pre-trained Models

abstract: Summarizing knowledge from animals and human beings inspires robotic innovations. In this work, we propose a framework for driving legged robots act like real animals with lifelike agility and strategy in complex environments. Inspired by large pre-trained models witnessed with impressive performance in language and image understanding, we introduce the power of advanced deep generative models to produce motor control signals stimulating legged robots to act like real animals. Unlike conventional controllers and end-to-end RL methods that are task-specific, we propose to pre-train generative models over animal motion datasets to preserve expressive knowledge of animal behavior. The pre-trained model holds sufficient primitive-level knowledge yet is environment-agnostic. It is then reused for a successive stage of learning to align with the environments by traversing a number of challenging obstacles that are rarely considered in previous approaches, including creeping through narrow spaces, jumping over hurdles, freerunning over scattered blocks, etc. Finally, a task-specific controller is trained to solve complex downstream tasks by reusing the knowledge from previous stages. Enriching the knowledge regarding each stage does not affect the usage of other levels of knowledge. This flexible framework offers the possibility of continual knowledge accumulation at different levels. We successfully apply the trained multi-level controllers to the MAX robot, a quadrupedal robot developed in-house, to mimic animals, traverse complex obstacles, and play in a designed challenging multi-agent Chase Tag Game, where lifelike agility and strategy emerge on the robots. The present research pushes the frontier of robot control with new insights on reusing multi-level pre-trained knowledge and solving highly complex downstream tasks in the real world.


title: TKwinFormer: Top k Window Attention in Vision Transformers for Feature Matching

abstract: Local feature matching remains a challenging task, primarily due to difficulties in matching sparse keypoints and low-texture regions. The key to solving this problem lies in effectively and accurately integrating global and local information. To achieve this goal, we introduce an innovative local feature matching method called TKwinFormer. Our approach employs a multi-stage matching strategy to optimize the efficiency of information interaction. Furthermore, we propose a novel attention mechanism called Top K Window Attention, which facilitates global information interaction through window tokens prior to patch-level matching, resulting in improved matching accuracy. Additionally, we design an attention block to enhance attention between channels. Experimental results demonstrate that TKwinFormer outperforms state-of-the-art methods on various benchmarks. Code is available at: https://github.com/LiaoYun0x0/TKwinFormer.


title: Limited memory gradient methods for unconstrained optimization

abstract: The limited memory steepest descent method (Fletcher, 2012) for unconstrained optimization problems stores a few past gradients to compute multiple stepsizes at once. We review this method and propose new variants. For strictly convex quadratic objective functions, we study the numerical behavior of different techniques to compute new stepsizes. In particular, we introduce a method to improve the use of harmonic Ritz values. We also show the existence of a secant condition associated with LMSD, where the approximating Hessian is projected onto a low-dimensional space. In the general nonlinear case, we propose two new alternatives to Fletcher's method: first, the addition of symmetry constraints to the secant condition valid for the quadratic case; second, a perturbation of the last differences between consecutive gradients, to satisfy multiple secant equations simultaneously. We show that Fletcher's method can also be interpreted from this viewpoint.


title: Square-free values of polynomials on average

abstract: The number of square-free integers in $x$ consecutive values of any polynomial $f$ is conjectured to be $c_fx$, where the constant $c_f$ depends only on the polynomial $f$. This has been proven for degrees less or equal to 3. Granville was able to show conditionally on the $abc$-conjecture that this conjecture is true for polynomials of arbitrarily large degrees. In 2013 Shparlinski proved that this conjecture holds on average over all polynomials of a fixed naive height, which was improved by Browning and Shparlinski in 2023. In this paper, we improve the dependence between $x$ and the height of the polynomial. We achieve this via adapting a method introduced in a 2022 paper by Browning, Sofos, and Ter\"av\"ainen on the Bateman-Horn conjecture, the polynomial Chowla conjecture, and the Hasse principle on average.


title: T-Dualities and Courant Algebroid Relations

abstract: We develop a new approach to T-duality based on Courant algebroid relations which subsumes the usual T-duality as well as its various generalisations. Starting from a relational description for the reduction of exact Courant algebroids over foliated manifolds, we introduce a weakened notion of generalised isometries that captures the generalised geometry counterpart of Riemannian submersions when applied to transverse generalised metrics. This is used to construct T-dual backgrounds as generalised metrics on reduced Courant algebroids which are related by a generalised isometry. We prove an existence and uniqueness result for generalised isometric exact Courant algebroids coming from reductions. We demonstrate that our construction reproduces standard T-duality relations based on correspondence spaces. We also describe how it applies to generalised T-duality transformations of almost para-Hermitian manifolds.


title: Quantum change point and entanglement distillation

abstract: In a quantum change point problem, a source emitting particles in a fixed quantum state (default) switches to a different state at some stage, and the objective is to identify when the change happened by measuring a sequence of particles emitted from such a source. Motivated by entanglement-sharing protocols in quantum information, we study this problem within the paradigm of local operations and classical communication (LOCC). Here, we consider a source that emits entangled pairs in a default state, but starts producing another entangled state (mutation) at a later stage. Then, a sequence of entangled pairs prepared from such a source and shared between distant observers cannot be used for quantum information processing tasks as the identity of each entangled pair remains unknown. We show that identifying the change point using LOCC leads to the distillation of free entangled pairs. In particular, if the default and the mutation are mutually orthogonal, there exists an efficient LOCC protocol that identifies the change point without fail and distills a sufficiently large number of pairs. However, if they are nonorthogonal, there is a probability of failure. In this case, we compute the number of entangled pairs that may be obtained on average. We also consider a relaxation of the two-state problem where the mutation is not known a priori, but instead belongs to a known set. Here we show that local distinguishability plays a crucial role: if the default and the possible mutations are locally distinguishable, the problem reduces to the two-state problem with orthogonal states, but if not, one may still identify the mutation, the change point, and distill entanglement, as we illustrate with a concrete example.


title: Hawking radiation for detectors in superposition of locations outside a black hole

abstract: Hawking radiation is the proposed thermal black-body radiation of quantum nature emitted from a black hole. One common way to give an account of Hawking radiation is to consider a detector that follows a static trajectory in the vicinity of a black hole and interacts with the quantum field of the radiation. In the present work, we study the Hawking radiation perceived by a detector that follows a quantum superposition of static trajectories in Schwarzschild spacetime, instead of a unique well-defined trajectory. We analyze the quantum state of the detector after the interaction with a massless real scalar field. We find that for certain trajectories and excitation levels, there are non-vanishing coherences in the final state of the detector. We then examine the dependence of these coherences on the trajectories followed by the detector and relate them to the distinguishability of the different possible states in which the field is left after the excitation of the detector. We interpret our results in terms of the spatial distribution and propagation of particles of the quantum field.


title: Unleashing the Potential of Spiking Neural Networks for Sequential Modeling with Contextual Embedding

abstract: The human brain exhibits remarkable abilities in integrating temporally distant sensory inputs for decision-making. However, existing brain-inspired spiking neural networks (SNNs) have struggled to match their biological counterpart in modeling long-term temporal relationships. To address this problem, this paper presents a novel Contextual Embedding Leaky Integrate-and-Fire (CE-LIF) spiking neuron model. Specifically, the CE-LIF model incorporates a meticulously designed contextual embedding component into the adaptive neuronal firing threshold, thereby enhancing the memory storage of spiking neurons and facilitating effective sequential modeling. Additionally, theoretical analysis is provided to elucidate how the CE-LIF model enables long-term temporal credit assignment. Remarkably, when compared to state-of-the-art recurrent SNNs, feedforward SNNs comprising the proposed CE-LIF neurons demonstrate superior performance across extensive sequential modeling tasks in terms of classification accuracy, network convergence speed, and memory capacity.


title: $J/\psi$ and $\psi$(2S) polarization in proton-proton collisions at energies available at the CERN Large Hadron Collider using PYTHIA8

abstract: The production mechanisms of charmonium states in both hadronic and heavy-ion collisions hold great significance for investigating the hot and dense QCD matter. Studying charmonium polarization in ultra-relativistic collisions can also provide insights into the underlying production mechanisms. With this motivation, we explore the $J/\psi$ and $\psi$(2S) polarization in proton+proton collisions at $\sqrt{s}$ = 7, 8, and 13 TeV using a pQCD-inspired Monte-Carlo event generator called PYTHIA8. This work considers reconstructed quarkonia through their dimuons decay channel in the ALICE forward rapidity acceptance range of $2.5 < y_{\mu \mu} < 4$. Further, we calculate the polarization parameters $\lambda_{\theta}$, $\lambda_{\phi}$, $\lambda_{\theta \phi}$ from the polar and azimuthal angular distributions of the dimuons in helicity and Collins-Soper frames. This study presents a comprehensive measurement of the polarization parameters as a function of transverse momentum, charged-particle multiplicity, and rapidity at the LHC energies. Our findings of charmonium polarization are in qualitative agreement with the corresponding experimental data.


title: Reducing shared memory footprint to leverage high throughput on Tensor Cores and its flexible API extension library

abstract: NVIDIA Tensor Core is a mixed-precision matrix-matrix multiplication and addition computing unit, where the theoretical peak performance is more than 300 TFlop/s on NVIDIA A100 GPU. NVIDIA provides WMMA API for using Tensor Cores in custom kernel functions. The most common way to use Tensor Core is to supply the input matrices from shared memory, which has higher bandwidth than global memory. However, the Bytes-per-Flops (B/F) ratio of the shared memory and Tensor Cores is small since the performance of Tensor Cores is high. Thus, it is important to reduce the shared memory footprint for efficient Tensor Cores usage. In this paper, we analyze the simple matrix-matrix multiplication on Tensor Cores by the roofline model and figure out that the bandwidth of shared memory might be a limitation of the performance when using WMMA API. To alleviate this issue, we provide a WMMA API extension library to boost the throughput of the computation, which has two components. The first one allows for manipulating the array of registers input to Tensor Cores flexibly. We evaluate the performance improvement of this library. The outcome of our evaluation shows that our library reduces the shared memory footprint and speeds up the computation using Tensor Cores. The second one is an API for the SGEMM emulation on Tensor Cores without additional shared memory usage. We have demonstrated that the single-precision emulating batch SGEMM implementation on Tensor Cores using this library achieves 54.2 TFlop/s on A100 GPU, which outperforms the theoretical peak performance of FP32 SIMT Cores while achieving the same level of accuracy as cuBLAS. The achieved throughput can not be achieved without reducing the shared memory footprint done by our library with the same amount of register usage.


title: In-hand manipulation planning using human motion dictionary

abstract: Dexterous in-hand manipulation is a peculiar and useful human skill. This ability requires the coordination of many senses and hand motion to adhere to many constraints. These constraints vary and can be influenced by the object characteristics or the specific application. One of the key elements for a robotic platform to implement reliable inhand manipulation skills is to be able to integrate those constraints in their motion generations. These constraints can be implicitly modelled, learned through experience or human demonstrations. We propose a method based on motion primitives dictionaries to learn and reproduce in-hand manipulation skills. In particular, we focused on fingertip motions during the manipulation, and we defined an optimization process to combine motion primitives to reach specific fingertip configurations. The results of this work show that the proposed approach can generate manipulation motion coherent with the human one and that manipulation constraints are inherited even without an explicit formalization.


title: The Anatomy of Conspirators: Unveiling Traits using a Comprehensive Twitter Dataset

abstract: The discourse around conspiracy theories is currently thriving amidst the rampant misinformation in online environments. Research in this field has been focused on detecting conspiracy theories on social media, often relying on limited datasets. In this study, we present a novel methodology for constructing a Twitter dataset that encompasses accounts engaged in conspiracy-related activities throughout the year 2022. Our approach centers on data collection that is independent of specific conspiracy theories and information operations. Additionally, our dataset includes a control group comprising randomly selected users who can be fairly compared to the individuals involved in conspiracy activities. This comprehensive collection effort yielded a total of 15K accounts and 37M tweets extracted from their timelines. We conduct a comparative analysis of the two groups across three dimensions: topics, profiles, and behavioral characteristics. The results indicate that conspiracy and control users exhibit similarity in terms of their profile metadata characteristics. However, they diverge significantly in terms of behavior and activity, particularly regarding the discussed topics, the terminology used, and their stance on trending subjects. In addition, we find no significant disparity in the presence of bot users between the two groups. Finally, we develop a classifier to identify conspiracy users using features borrowed from bot, troll and linguistic literature. The results demonstrate a high accuracy level (with an F1 score of 0.94), enabling us to uncover the most discriminating features associated with conspiracy-related accounts.


title: Extension operators and Korn inequality for variable coefficients in perforated domains with applications to homogenization of viscoelastic non-simple materials

abstract: In this paper we present the homogenization for nonlinear viscoelastic second-grade non-simple perforated materials at large strain in the quasistatic setting. The reference domain $\Omega_{\varepsilon}$ is periodically perforated and is depending on the scaling parameter $\varepsilon$ which describes the ratio between the size of the whole domain and the small periodic perforations. The mechanical energy depends on the gradient and also the second gradient of the deformation, and also respects positivity of the determinant of the deformation gradient. For the viscous stresses we assume dynamic frame indifference and is therefore depending of the rate of the Cauchy-stress tensor. For the derivation of the homogenized model for $\varepsilon \to 0$ we use the method of two-scale convergence. For this uniform a priori estimates with respect to $\varepsilon$ are necessary. The most crucial part is to estimate the rate of the deformation gradient. Due to the time-dependent frame indifference of the viscous term, we only get coercivity with respect to the rate of the Cauchy-stress tensor. To overcome this problem we derive a Korn inequality for non-constant coefficients on the perforated domain. The crucial point is to verify that the constant in this inequality, which is usually depending on the domain, can be chosen independently of the parameter $\varepsilon$. Further, we construct an extension operator for second order Sobolev spaces on perforated domains with operator norm independent of $\varepsilon$.


title: Evaluation of Real-World Risk-Based Authentication at Online Services Revisited: Complexity Wins

abstract: Risk-based authentication (RBA) aims to protect end-users against attacks involving stolen or otherwise guessed passwords without requiring a second authentication method all the time. Online services typically set limits on what is still seen as normal and what is not, as well as the actions taken afterward. Consequently, RBA monitors different features, such as geolocation and device during login. If the features' values differ from the expected values, then a second authentication method might be requested. However, only a few online services publish information about how their systems work. This hinders not only RBA research but also its development and adoption in organizations. In order to understand how the RBA systems online services operate, black box testing is applied. To verify the results, we re-evaluate the three large providers: Google, Amazon, and Facebook. Based on our test setup and the test cases, we notice differences in RBA based on account creation at Google. Additionally, several test cases rarely trigger the RBA system. Our results provide new insights into RBA systems and raise several questions for future work.


title: On the improvement of model-predictive controllers

abstract: This article investigates synthetic model-predictive control (MPC) problems to demonstrate that an increased precision of the internal prediction model (PM) automatially entails an improvement of the controller as a whole. In contrast to reinforcement learning (RL), MPC uses the PM to predict subsequent states of the controlled system (CS), instead of directly recommending suitable actions. To assess how the precision of the PM translates into the quality of the model-predictive controller, we compare a DNN-based PM to the optimal baseline PM for three well-known control problems of varying complexity. The baseline PM achieves perfect accuracy by accessing the simulation of the CS itself. Based on the obtained results, we argue that an improvement of the PM will always improve the controller as a whole, without considering the impact of other components such as action selection (which, in this article, relies on evolutionary optimization).


title: An Advanced Tree Algorithm with Interference Cancellation in Uplink and Downlink

abstract: In this paper, we propose Advanced Tree-algorithm with Interference Cancellation (ATIC), a variant of binary tree-algorithm with successive interference cancellation (SICTA) introduced by Yu and Giannakis. ATIC assumes that Interference Cancellation (IC) can be performed both by the access point (AP), as in SICTA, but also by the users. Specifically, after every collision slot, the AP broadcasts the observed collision as feedback. Users who participated in the collision then attempt to perform IC by subtracting their transmissions from the collision signal. This way, the users can resolve collisions of degree 2 and, using a simple distributed arbitration algorithm based on user IDs, ensure that the next slot will contain just a single transmission. We show that ATIC reaches the asymptotic throughput of 0.924 as the number of initially collided users tends to infinity and reduces the number of collisions and packet delay. We also compare ATIC with other tree algorithms and indicate the extra feedback resources it requires.


title: artpol: Analytical ray-tracing method for spectro-polarimetric properties of accretion disks around Kerr black holes

abstract: Spectro-polarimetric signatures of accretion disks in X-ray binaries and active galactic nuclei contain information about the masses and spins of their central black holes, as well as the geometry of matter close to the compact objects. This information can be extracted using the means of X-ray polarimetry. In this work, we present a fast analytical ray-tracing technique for polarized light \textsc{artpol} that helps obtain the spinning black hole parameters from the observed properties. This technique can replace the otherwise time-consuming numerical ray-tracing calculations. We show that \textsc{artpol} proves accurate for Kerr black holes with dimensionless spin parameter $a\leq0.94$ while being over four orders of magnitude faster than direct ray-tracing calculations. This approach opens broad prospects for directly fitting the spectro-polarimetric data from the \textit{Imaging X-ray Polarimetry Explorer}.


title: Unravelling H$_2$ chemisorption and physisorption on metal decorated graphene using quantum Monte Carlo

abstract: Molecular hydrogen is at the core of hydrogen energy applications and has the potential to significantly reduce the use of carbon dioxide emitting energy processes. However, hydrogen gas storage is a major bottleneck for its large-scale use as current storage methods are energy intensive. Among different storage methods, physisorbing molecular hydrogen at ambient pressure and temperatures is a promising alternative - particularly thanks to tuneable lightweight nanomaterials and high throughput screening methods. Nonetheless, understanding hydrogen adsorption in well-defined nanomaterials remains experimentally challenging and reference information is scarce despite the proliferation of works predicting hydrogen adsorption. In this work, we focus on Li, Na, Ca, and K, decorated graphene sheets as substrates for hydrogen adsorption and compute the most accurate adsorption energies available to date using quantum diffusion Monte Carlo (DMC). Building on our previous insights at the density functional theory (DFT) level, we find that a weak covalent chemisorption of molecular hydrogen, known as Kubas binding, is feasible on Ca decorated graphene according to DMC, in agreement with DFT. This finding is in contrast to previous DMC predictions of the 4H$_2$/Ca$^+$ gas cluster where chemisorption is not favoured. However, we find that the adsorption energy of hydrogen on metal decorated graphene according to a widely-used DFT method is not fully consistent with DMC and the discrepancies are not systematic. The reference adsorption energies reported herein can be used to find better work-horse methods for application in large-scale modelling of hydrogen adsorption. Furthermore, the implications of this work affect strategies for finding suitable hydrogen storage materials and high-throughput methods.


title: TASEP: A Collaborative Social Engineering Tabletop Role-Playing Game to Prevent Successful Social Engineering Attacks

abstract: Data breaches resulting from targeted attacks against organizations, e.g., by advanced persistent threat groups, often involve social engineering (SE) as the initial attack vector before malicious software is used, e.g., for persistence, lateral movement, and data exfiltration. While technical security controls, such as the automated detection of phishing emails, can contribute to mitigating SE risks, raising awareness for SE attacks through education and motivation of personnel is an important building block to increasing an organization's resilience. To facilitate hands-on SE awareness training as one component of broader SE awareness campaigns, we created a SE tabletop game called Tabletop As Social Engineering Prevention (TASEP) in two editions for (a) small and medium enterprises and (b) large corporations, respectively. Its game design is inspired by Dungeons & Dragons role-playing games and facilitates LEGO models of the in-game target organizations. Participants switch roles by playing a group of SE penetration testers and conducting a security audit guided by the game master. We evaluated the created game with different student groups, achieving highly immersive and flexible training, resulting in an entertaining way of learning about SE and raising awareness.


title: Non-equilibrium cluster-cluster aggregation in the presence of anchoring sites

abstract: Non-equilibrium cluster-cluster aggregation of particles diffusing in or at the cell membrane has been hypothesized to lead to domains of finite size in different biological contexts such as lipid rafts, cell adhesion complexes, or postsynaptic domains in neurons. In this scenario, the desorption of particles balances a continuous flux to the membrane, imposing a cut-off on possible aggregate sizes and giving rise to a stationary size distribution. Here, we investigate the case of non-equilibrium cluster-cluster aggregation in two dimensions where diffusing particles and/or clusters remain fixed in space at specific anchoring sites, which should be particularly relevant for synapses but may also be present in other biological or physical systems. Using an effective mean-field description of the concentration field around anchored clusters, we derive an expression for their average size as a function of parameters such as the anchoring site density. We furthermore propose and solve appropriate rate equations that allow us to predict the size distributions of both diffusing and fixed clusters. We confirm our results with particle-based simulations, and discuss potential implications for biological and physical systems.


title: Kadison's problem for type III subfactors and the bicentralizer conjecture

abstract: In 1967, Kadison asked "if $N$ is a subfactor of the factor $M$ for which $N' \cap M$ consists of scalars, will some maximal abelian *-subalgebra of $N$ be a maximal abelian subalgebra of $M$?". Generalizing a theorem of Popa in the type $\mathrm{II}$ case (1981), we solve Kadison's problem for all subfactors with expectation $N \subset M$ where $N$ is either a type $\mathrm{III}_\lambda$ factor with $0 \leq \lambda < 1$ or a type $\mathrm{III}_1$ factor that satisfies Connes's bicentralizer conjecture. Our solution is based on a new explicit formula for the bicentralizer algebras of arbitrary inclusions. This formula implies a type $\mathrm{III}$ analog of Popa's local quantization principle. We generalize Haaegrup's theorem from 1984 by connecting the relative bicentralizer conjecture to the Dixmier property. Finally, we prove this conjecture for a large class of inclusions and we prove an ergodicity theorem for the bicentralizer flow. We also give applications of our methods to $\mathrm{II}_1$ factors, including a new characterization of Ozawa's W*-Akemann-Ostrand property.


title: ABS-SGD: A Delayed Synchronous Stochastic Gradient Descent Algorithm with Adaptive Batch Size for Heterogeneous GPU Clusters

abstract: As the size of models and datasets grows, it has become increasingly common to train models in parallel. However, existing distributed stochastic gradient descent (SGD) algorithms suffer from insufficient utilization of computational resources and poor convergence in heterogeneous clusters. In this paper, we propose a delayed synchronous SGD algorithm with adaptive batch size (ABS-SGD) for heterogeneous GPU clusters. In ABS-SGD, workers perform global synchronization to accumulate delayed gradients and use the accumulated delayed gradients to update parameters. While workers are performing global synchronization for delayed gradients, they perform the computation of the next batch without specifying batch size in advance, which lasts until the next global synchronization starts, realizing the full utilization of computational resources. Since the gradient delay is only one iteration, the stale gradient problem can be alleviated. We theoretically prove the convergence of ABS-SGD in heterogeneous clusters. Extensive experiments in three types of heterogeneous clusters demonstrate that ABS-SGD can make full use of computational resources and accelerate model convergence: When training ResNet18 network with 4 workers, ABS-SGD increases the convergence speed by 1.30x on average compared with the best baseline algorithm.


title: Wall mode dynamics and transition to chaos in magnetoconvection with a vertical magnetic field

abstract: Quasistatic magnetoconvection of a low Prandtl number fluid ($\textrm{Pr}=0.025)$ with a vertical magnetic field is considered in a unit aspect ratio box with no-slip boundaries. At high relative magnetic field strengths, given by the Hartmann number $\textrm{Ha}$, the onset of convection is known to result from a sidewall instability giving rise to the wall mode regime. Here, we carry out 3D direct numerical simulations of unprecedented length to map out the parameter space at $\textrm{Ha} = 200, 500, 1000$, varying the Rayleigh number ($\textrm{Ra}$) between $6\times10^5 \lesssim \textrm{Ra} \lesssim 5\times 10^8$. We track the development of stable equilibria produced by this primary instability, identify bifurcations leading to limit cycles, and eventually to chaotic dynamics. At {$\textrm{Ha}=200$}, the steady wall mode solution undergoes a symmetry-breaking bifurcation producing a state featuring a coexistence between wall modes and a large-scale roll in the centre of the domain which persists to higher $\textrm{Ra}$. However, under a stronger magnetic field at $\textrm{Ha}=1000$, the steady wall mode solution undergoes a Hopf bifurcation producing a limit cycle which further develops to solutions that shadow an orbit homoclinic to a saddle point. Upon a further increase in $\textrm{Ra}$, the system undergoes a subsequent symmetry break producing a coexistence between wall modes and a large-scale roll, although the large-scale roll exists only for a small range of $\textrm{Ra}$, and chaotic dynamics primarily arise due to a mixture of chaotic wall mode dynamics and arrays of cellular structures.


title: Needle in the Haystack: Analyzing the Right of Access According to GDPR Article 15 Five Years after the Implementation

abstract: The General Data Protection Regulation (GDPR) was implemented in 2018 to strengthen and harmonize the data protection of individuals within the European Union. One key aspect is Article 15, which gives individuals the right to access their personal data in an understandable format. Organizations offering services to Europeans had five years' time to optimize their processes and functions to comply with Article 15. This study aims to explore the process of submitting and receiving the responses of organizations to GDPR Article 15 requests. A quantitative analysis obtains data from various websites to understand the level of conformity, the data received, and the challenges faced by individuals who request their data. The study differentiates organizations operating worldwide and in Germany, browser website- and app-based usage, and different types of websites. Thereby, we conclude that some websites still compile the data manually, resulting in longer waiting times. A few exceptions did not respond with any data or deliver machine-readable data (GDRP Article 20). The findings of the study additionally reveal ten patterns individuals face when requesting and accessing their data.


title: Dynamic Collaborative Path Planning for Remote Assistance of Highly-Automated Vehicles

abstract: Given its increasing popularity in recent years, teleoperation technology is now recognized as a robust fallback solution for Automated Driving (AD). Remote Assistance (RA) represents an event-driven class of teleoperation with a distinct division of tasks between the Autonomous Vehicle (AV) and the remote human operator. This paper presents a novel approach for RA of AVs in urban environments. The concept draws inspiration from the potential synergy between highly-automated systems and human operators to collaboratively solve complex driving situations. Utilizing a hybrid algorithm that makes use of the Operational Design Domain (ODD) modification idea, it considers actions that go beyond the nominal operational space. Combined with the advanced cognitive reasoning of the human remote operator, the concept offers features that hold the potential to significantly improve both RA and AD user experiences.


title: Ontologies in Digital Twins: A Systematic Literature Review

abstract: Digital Twins (DT) facilitate monitoring and reasoning processes in cyber-physical systems. They have progressively gained popularity over the past years because of intense research activity and industrial advancements. Cognitive Twins is a novel concept, recently coined to refer to the involvement of Semantic Web technology in DTs. Recent studies address the relevance of ontologies and knowledge graphs in the context of DTs, in terms of knowledge representation, interoperability and automatic reasoning. However, there is no comprehensive analysis of how semantic technologies, and specifically ontologies, are utilized within DTs. This Systematic Literature Review (SLR) is based on the analysis of 82 research articles, that either propose or benefit from ontologies with respect to DT. The paper uses different analysis perspectives, including a structural analysis based on a reference DT architecture, and an application-specific analysis to specifically address the different domains, such as Manufacturing and Infrastructure. The review also identifies open issues and possible research directions on the usage of ontologies and knowledge graphs in DTs.


title: Uncovering the Unseen: Discover Hidden Intentions by Micro-Behavior Graph Reasoning

abstract: This paper introduces a new and challenging Hidden Intention Discovery (HID) task. Unlike existing intention recognition tasks, which are based on obvious visual representations to identify common intentions for normal behavior, HID focuses on discovering hidden intentions when humans try to hide their intentions for abnormal behavior. HID presents a unique challenge in that hidden intentions lack the obvious visual representations to distinguish them from normal intentions. Fortunately, from a sociological and psychological perspective, we find that the difference between hidden and normal intentions can be reasoned from multiple micro-behaviors, such as gaze, attention, and facial expressions. Therefore, we first discover the relationship between micro-behavior and hidden intentions and use graph structure to reason about hidden intentions. To facilitate research in the field of HID, we also constructed a seminal dataset containing a hidden intention annotation of a typical theft scenario for HID. Extensive experiments show that the proposed network improves performance on the HID task by 9.9\% over the state-of-the-art method SBP.


title: A lightweight 3D dense facial landmark estimation model from position map data

abstract: The incorporation of 3D data in facial analysis tasks has gained popularity in recent years. Though it provides a more accurate and detailed representation of the human face, accruing 3D face data is more complex and expensive than 2D face images. Either one has to rely on expensive 3D scanners or depth sensors which are prone to noise. An alternative option is the reconstruction of 3D faces from uncalibrated 2D images in an unsupervised way without any ground truth 3D data. However, such approaches are computationally expensive and the learned model size is not suitable for mobile or other edge device applications. Predicting dense 3D landmarks over the whole face can overcome this issue. As there is no public dataset available containing dense landmarks, we propose a pipeline to create a dense keypoint training dataset containing 520 key points across the whole face from an existing facial position map data. We train a lightweight MobileNet-based regressor model with the generated data. As we do not have access to any evaluation dataset with dense landmarks in it we evaluate our model against the 68 keypoint detection task. Experimental results show that our trained model outperforms many of the existing methods in spite of its lower model size and minimal computational cost. Also, the qualitative evaluation shows the efficiency of our trained models in extreme head pose angles as well as other facial variations and occlusions.


title: From RNA sequencing measurements to the final results: a practical guide to navigating the choices and uncertainties of gene set analysis

abstract: Gene set analysis, a popular approach for analyzing high-throughput gene expression data, aims to identify sets of related genes that show significantly enriched or depleted expression patterns between different conditions. In the last years, a multitude of methods and corresponding tools have been developed for this task. However, clear guidance is lacking: choosing the right method is the first hurdle a researcher is confronted with. No less challenging than overcoming this so-called method uncertainty is the procedure of preprocessing, from knowing which steps are required to selecting a corresponding approach from the plethora of valid options to create the accepted input object (data preprocessing uncertainty), with clear guidance again being scarce. Here, we provide a practical guide through all steps required to conduct gene set analysis, beginning with a concise overview of a selection of established methods, including GSEA and DAVID. We thereby lay a special focus on reviewing and explaining the necessary preprocessing steps for each method under consideration (e.g. the necessity of a transformation of the RNA-Seq data)-an essential aspect that is typically paid only limited attention to in both existing reviews and applications. To raise awareness of the spectrum of uncertainties, our review is accompanied by an extensive overview of the literature on valid approaches for each step and illustrative R code demonstrating the complex analysis pipelines. It ends with a discussion and recommendations to both users and developers to ensure that the results of gene set analysis are, despite the above-mentioned uncertainties, replicable and transparent.


title: Is visual explanation with Grad-CAM more reliable for deeper neural networks? a case study with automatic pneumothorax diagnosis

abstract: While deep learning techniques have provided the state-of-the-art performance in various clinical tasks, explainability regarding their decision-making process can greatly enhance the credence of these methods for safer and quicker clinical adoption. With high flexibility, Gradient-weighted Class Activation Mapping (Grad-CAM) has been widely adopted to offer intuitive visual interpretation of various deep learning models' reasoning processes in computer-assisted diagnosis. However, despite the popularity of the technique, there is still a lack of systematic study on Grad-CAM's performance on different deep learning architectures. In this study, we investigate its robustness and effectiveness across different popular deep learning models, with a focus on the impact of the networks' depths and architecture types, by using a case study of automatic pneumothorax diagnosis in X-ray scans. Our results show that deeper neural networks do not necessarily contribute to a strong improvement of pneumothorax diagnosis accuracy, and the effectiveness of GradCAM also varies among different network architectures.


title: Photon-rejection Power of the Light Dark Matter eXperiment in an 8 GeV Beam

abstract: The Light Dark Matter eXperiment (LDMX) is an electron-beam fixed-target experiment designed to achieve comprehensive model independent sensitivity to dark matter particles in the sub-GeV mass region. An upgrade to the LCLS-II accelerator will increase the beam energy available to LDMX from 4 to 8 GeV. Using detailed GEANT4-based simulations, we investigate the effect of the increased beam energy on the capabilities to separate signal and background, and demonstrate that the veto methodology developed for 4 GeV successfully rejects photon-induced backgrounds for at least $2\times10^{14}$ electrons on target at 8 GeV.


title: A comparison principle for semilinear Hamilton-Jacobi-Bellman equations in the Wasserstein space

abstract: The goal of this paper is to prove a comparison principle for viscosity solutions of semilinear Hamilton-Jacobi equations in the space of probability measures. The method involves leveraging differentiability properties of the $2$-Wasserstein distance in the doubling of variables argument, which is done by introducing a further entropy penalization that ensures that the relevant optima are achieved at positive, Lipschitz continuous densities with finite Fischer information. This allows to prove uniqueness and stability of viscosity solutions in the class of bounded Lipschitz continuous (with respect to the $1$-Wasserstein distance) functions. The result does not appeal to a mean field control formulation of the equation, and, as such, applies to equations with nonconvex Hamiltonians and measure-dependent volatility. For convex Hamiltonians that derive from a potential, we prove that the value function associated with a suitable mean-field optimal control problem with nondegenerate idiosyncratic noise is indeed the unique viscosity solution.


title: A note on transverse sets and bilinear varieties

abstract: Let $G$ and $H$ be finite-dimensional vector spaces over $\mathbb{F}_p$. A subset $A \subseteq G \times H$ is said to be transverse if all of its rows $\{x \in G \colon (x,y) \in A\}$, $y \in H$, are subspaces of $G$ and all of its columns $\{y \in H \colon (x,y) \in A\}$, $x \in G$, are subspaces of $H$. As a corollary of a bilinear version of Bogolyubov argument, Gowers and the author proved that dense transverse sets contain bilinear varieties of bounded codimension. In this paper, we provide a direct combinatorial proof of this fact. In particular, we improve the bounds and evade the use of Fourier analysis and Freiman's theorem and its variants.


title: A Study of Different Awareness Campaigns in a Company

abstract: Phishing is a major cyber threat to organizations that can cause financial and reputational damage, threatening their existence. The technical measures against phishing should be complemented by awareness training for employees. However, there is little validation of awareness measures. Consequently, organizations have an additional burden when integrating awareness training, as there is no consensus on which method brings the best success. This paper examines how awareness concepts can be successfully implemented and validated. For this purpose, various factors, such as requirements and possible combinations of methods, are taken into account in our case study at a small- and medium-sized enterprise (SME). To measure success, phishing exercises are conducted. The study suggests that pleasant campaigns result in better performance in the simulated phishing exercise. In addition, significant improvements and differences in the target groups could be observed. The implementation of awareness training with integrated key performance indicators can be used as a basis for other organizations.


title: Enhancements on a saturated control for stabilizing a quadcopter: adaptive and robustness analysis in the flat output space

abstract: This paper extends our previous study on an explicit saturated control for a quadcopter, which ensures both constraint satisfaction and stability thanks to the linear representation of the system in the flat output space. The novelty here resides in the adaptivity of the controller's gain to enhance the system's performance without exciting its parasitic dynamics and avoid lavishing the input actuation with excessively high gain parameters. Moreover, we provide a thorough robustness analysis of the proposed controller when additive disturbances are affecting the system behavior. Finally, simulation and experimental tests validate the proposed controller.


title: Symbolic LTLf Best-Effort Synthesis

abstract: We consider an agent acting to fulfil tasks in a nondeterministic environment. When a strategy that fulfills the task regardless of how the environment acts does not exist, the agent should at least avoid adopting strategies that prevent from fulfilling its task. Best-effort synthesis captures this intuition. In this paper, we devise and compare various symbolic approaches for best-effort synthesis in Linear Temporal Logic on finite traces (LTLf). These approaches are based on the same basic components, however they change in how these components are combined, and this has a significant impact on the performance of the approaches as confirmed by our empirical evaluations.


title: Best performance and reliability for your time: budget-aware search-based optimization of software model refactoring

abstract: Context: Software model optimization is a process that automatically generates design alternatives, typically to enhance quantifiable non-functional properties of software systems, such as performance and reliability. Multi-objective evolutionary algorithms have shown to be effective in this context for assisting the designer in identifying trade-offs between the desired non-functional properties. Objective: In this work, we investigate the effects of imposing a time budget to limit the search for design alternatives, which inevitably affects the quality of the resulting alternatives. Method: The effects of time budgets are analyzed by investigating both the quality of the generated design alternatives and their structural features when varying the budget and the genetic algorithm (NSGA-II, PESA2, SPEA2). This is achieved by employing multi-objective quality indicators and a tree-based representation of the search space. Results: The study reveals that the time budget significantly affects the quality of Pareto fronts, especially for performance and reliability. NSGA-II is the fastest algorithm, while PESA2 generates the highest-quality solutions. The imposition of a time budget results in structurally distinct models compared to those obtained without a budget, indicating that the search process is influenced by both the budget and algorithm selection. Conclusions: In software model optimization, imposing a time budget can be effective in saving optimization time, but designers should carefully consider the trade-off between time and solution quality in the Pareto front, along with the structural characteristics of the generated models. By making informed choices about the specific genetic algorithm, designers can achieve different trade-offs.


title: Small Area Estimation with Random Forests and the LASSO

abstract: We consider random forests and LASSO methods for model-based small area estimation when the number of areas with sampled data is a small fraction of the total areas for which estimates are required. Abundant auxiliary information is available for the sampled areas, from the survey, and for all areas, from an exterior source, and the goal is to use auxiliary variables to predict the outcome of interest. We compare areal-level random forests and LASSO approaches to a frequentist forward variable selection approach and a Bayesian shrinkage method. Further, to measure the uncertainty of estimates obtained from random forests and the LASSO, we propose a modification of the split conformal procedure that relaxes the assumption of identically distributed data. This work is motivated by Ghanaian data available from the sixth Living Standard Survey (GLSS) and the 2010 Population and Housing Census. We estimate the areal mean household log consumption using both datasets. The outcome variable is measured only in the GLSS for 3\% of all the areas (136 out of 5019) and more than 170 potential covariates are available from both datasets. Among the four modelling methods considered, the Bayesian shrinkage performed the best in terms of bias, MSE and prediction interval coverages and scores, as assessed through a cross-validation study. We find substantial between-area variation, the log consumption areal point estimates showing a 1.3-fold variation across the GAMA region. The western areas are the poorest while the Accra Metropolitan Area district gathers the richest areas.


title: Propagation of Chaos for Mean Field Interacting Particle System with Multiplicative Noise

abstract: In this paper, the quantitative propagation of chaos for mean field interacting particle system with multiplicative noise in $L^2$-Wasserstein distance is derived. When the diffusion is distribution free, the quantitative propagation of chaos in relative entropy as well as total variation distance is also obtained, where the initial distribution of mean field interacting particles is allowed to be singular with that of the limit equation. Furthermore, a general result on the long time quantitative propagation of chaos in relative entropy as well as in $L^2$-Wasserstein distance is provided and is applied in (path dependent) mean field interacting particle system as well as stochastic Hamiltonian system under dissipative condition.


title: Stabilised finite element method for Stokes problem with nonlinear slip condition

abstract: This work introduces a stabilised finite element formulation for the Stokes flow problem with a nonlinear slip boundary condition of friction type. The boundary condition is enforced with the help of an additional Lagrange multiplier and the stabilised formulation is based on simultaneously stabilising both the pressure and the Lagrange multiplier. We establish the stability and the a priori error analyses, and perform a numerical convergence study in order to verify the theory.


title: Categories of sets with infinite addition

abstract: We consider sets with infinite addition, called $\Sigma$-monoids, and contribute to their literature in three ways. First, our definition subsumes those from previous works and allows us to relate them in terms of adjuctions between their categories. In particular, we discuss $\Sigma$-monoids with additive inverses. Second, we show that every Hausdorff commutative monoid is a $\Sigma$-monoid, and that there is a free Hausdorff commutative monoid for each $\Sigma$-monoid. Third, we prove that $\Sigma$-monoids have well-defined tensor products, unlike topological abelian groups.


title: LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

abstract: In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks and environment specifications, providing a complete landscape of synthesis algorithms. For each case, we devise a specific algorithm (optimal wrt complexity of the problem) and prove its correctness. The algorithms combine common building blocks in different ways. While some cases are already studied in literature others are studied here for the first time.


title: Exciton-polaritons in GaAsbased slab waveguide photonic crystals

abstract: We report the observation of band gaps for low loss exciton-polaritons propagating outside the light cone in GaAs-based planar waveguides patterned into two-dimensional photonic crystals. By etching square lattice arrays of shallow holes into the uppermost layer of our structure, we open gaps on the order of 10 meV in the photonic mode dispersion, whose size and light-matter composition can be tuned by proximity to the strongly coupled exciton resonance. We demonstrate gaps ranging from almost fully photonic to highly excitonic. Opening a gap in the exciton-dominated part of the polariton spectrum is a promising first step towards the realization of quantum-Hall-like states arising from topologically nontrivial hybridization of excitons and photons.


title: A semiclassical model for charge transfer along ion chains in silicates

abstract: It has been observed in fossil tracks and experiments in the layered silicate mica muscovite the transport of charge through the cation layers sandwiched between the layers of tetrahedra-octahedra-tetrahedra. A classical model for the propagation of anharmonic vibrations along the cation chains has been proposed based on first principles and empirical functions. In that model, several propagating entities have been found as kinks or crowdions and breathers, both with or without wings, the latter for specific velocities and energies. Crowdions are equivalent to moving interstitials and transport electric charge if the moving particle is an ion, but they also imply the movement of mass, which was not observed in the experiments. Breathers, being just vibrational entities, do not transport charge. In this work, we present a semiclassical model obtained by adding a quantum particle, electron or hole to the previous model. We present the construction of the model based on the physics of the system. In particular, the strongly nonlinear vibronic interaction between the nuclei and the extra electron or hole is essential to explain the localized charge transport, which is not compatible with the adiabatic approximation. The formation of vibrational localized charge carriers breaks the lattice symmetry group in a similar fashion to the Jahn-Teller Effect, providing a new stable dynamical state. We study the properties and the coherence of the model through numerical simulations from initial conditions obtained by tail analysis and other means. We observe that although the charge spreads from an initial localization in a lattice at equilibrium, it can be confined basically to a single particle when coupled to a chaotic quasiperiodic breather. This is coherent with the observation that experiments imply that a population of charge is formed due to the decay of potassium unstable isotopes.


title: Hodge Theory of Hypersurfaces in Toric Varieties and Recent Developments in Quantum Physics

abstract: This is the author's Habilitation which took place at University of Essen on July 11, 1993. The manuscript contains two parts. The first one is devoted to the author's combinatorial construction of mirrors of Calabi-Yau hypersurfaces in Gorenstein toric Fano varieties. The second one contains author's results on the variation of mixed Hodge structures of affine hypersurfaces in algebraic tori and their connection to Gelfand-Kapranov-Zelevinsky theory of generalized hypergeometric functions and their applications to the mirror symmetry for Calabi-Yau hypersurfaces in toric varieties.


title: LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

abstract: We study best-effort strategies (aka plans) in fully observable nondeterministic domains (FOND) for goals expressed in Linear Temporal Logic on Finite Traces (LTLf). The notion of best-effort strategy has been introduced to also deal with the scenario when no agent strategy exists that fulfills the goal against every possible nondeterministic environment reaction. Such strategies fulfill the goal if possible, and do their best to do so otherwise. We present a game-theoretic technique for synthesizing best-effort strategies that exploit the specificity of nondeterministic planning domains. We formally show its correctness and demonstrate its effectiveness experimentally, exhibiting a much greater scalability with respect to a direct best-effort synthesis approach based on re-expressing the planning domain as generic environment specifications.


title: The extended Hausdorff dimension spectrum of a conformal iterated function system is maximal

abstract: For any conformal iterated function system (CIFS) consisting of finitely or countably many maps, and any closed shift-invariant set of right-infinite sequences of such maps, one can associate a limit set, which we call a shift-generated conformal iterated construction. We define the extended Hausdorff dimension spectrum of a CIFS to be the set of Hausdorff dimensions of all such limit sets. We prove that for any CIFS with finitely or countably many maps, the extended Hausdorff dimension spectrum is maximal, i.e. all nonnegative dimensions less than or equal to the dimension of the limit set of the CIFS are realized. We also prove a version of this result even for so-called conformal graph directed Markov systems, obtained via nearest-neighbor restrictions on the CIFS. %when there are nearest-neighbor restrictions on the CIFS (similar to those in the so-called conformal graph directed Markov systems). The main step of the proof is to show that for the family $(X_\beta)$ of so-called $\beta$-shifts, the Hausdorff dimension of the limit set associated to $X_\beta$ varies continuously as a function of $\beta$.


title: Physical and behavioral comparison of haptic touchscreens quality

abstract: Touchscreens equipped with friction modulation can provide rich tactile feedback to their users. To date, there are no standard metrics to properly quantify the benefit brought by haptic feedback.The definition of such metrics is not straightforward since friction modulation technologies can be achieved by either ultrasonic waves or with electroadhesion. In addition, the output depends strongly on the user, both because of the mechanical behavior of the fingertip and personal tactile somatosensory capabilities. This paper proposes a method to evaluate and compare the performance of haptic tablets on an objective scale. The method first defines multiple metrics using physical measurements of friction and latency. The comparison is completed with metrics derived from information theory and based on pointing tasks performed by users. We evaluated the comparison method with two haptic devices, one based on ultrasonic friction modulation and the other based on electroadhesion. This work paves the way toward the definitions of standard specifications for haptic tablets, to establish benchmarks and guidelines for improving surface haptic devices.


title: State of the Art Report: Verified Computation

abstract: This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) Suppose we have two computing agents. The first agent is the verifier, and the second agent is the prover. The verifier wants the prover to perform a computation. The verifier sends a description of the computation to the prover. Once the prover has completed the task, the prover returns the output to the verifier. The output will contain proof. The verifier can use this proof to check if the prover computed the output correctly. The check is not required to verify the algorithm used in the computation. Instead, it is a check that the prover computed the output using the computation specified by the verifier. The effort required for the check should be much less than that required to perform the computation. This state-of-the-art report surveys 128 papers from the literature comprising more than 4,000 pages. Other papers and books were surveyed but were omitted. The papers surveyed were overwhelmingly mathematical. We have summarised the major concepts that form the foundations for verifiable computation. The report contains two main sections. The first, larger section covers the theoretical foundations for probabilistically checkable and zero-knowledge proofs. The second section contains a description of the current practice in verifiable computation. Two further reports will cover (i) military applications of verifiable computation and (ii) a collection of technical demonstrators. The first of these is intended to be read by those who want to know what applications are enabled by the current state of the art in verifiable computation. The second is for those who want to see practical tools and conduct experiments themselves.


title: Enhancing Psychological Counseling with Large Language Model: A Multifaceted Decision-Support System for Non-Professionals

abstract: In the contemporary landscape of social media, an alarming number of users express negative emotions, some of which manifest as strong suicidal intentions. This situation underscores a profound need for trained psychological counselors who can enact effective mental interventions. However, the development of these professionals is often an imperative but time-consuming task. Consequently, the mobilization of non-professionals or volunteers in this capacity emerges as a pressing concern. Leveraging the capabilities of artificial intelligence, and in particular, the recent advances in large language models, offers a viable solution to this challenge. This paper introduces a novel model constructed on the foundation of large language models to fully assist non-professionals in providing psychological interventions on online user discourses. This framework makes it plausible to harness the power of non-professional counselors in a meaningful way. A comprehensive study was conducted involving ten professional psychological counselors of varying expertise, evaluating the system across five critical dimensions. The findings affirm that our system is capable of analyzing patients' issues with relative accuracy and proffering professional-level strategies recommendations, thereby enhancing support for non-professionals. This research serves as a compelling validation of the application of large language models in the field of psychology and lays the groundwork for a new paradigm of community-based mental health support.


title: Rational torsion points on abelian surfaces with quaternionic multiplication

abstract: Let $A$ be an abelian surface over $\mathbb{Q}$ whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur's theorem for elliptic curves, we show that the torsion subgroup of $A(\mathbb{Q})$ is $12$-torsion and has order at most $18$. Under the additional assumption that $A$ is of $\mathrm{GL}_2$-type, we give a complete classification of the possible torsion subgroups of $A(\mathbb{Q})$.


title: Ensemble of Counterfactual Explainers

abstract: In eXplainable Artificial Intelligence (XAI), several counterfactual explainers have been proposed, each focusing on some desirable properties of counterfactual instances: minimality, actionability, stability, diversity, plausibility, discriminative power. We propose an ensemble of counterfactual explainers that boosts weak explainers, which provide only a subset of such properties, to a powerful method covering all of them. The ensemble runs weak explainers on a sample of instances and of features, and it combines their results by exploiting a diversity-driven selection function. The method is model-agnostic and, through a wrapping approach based on autoencoders, it is also data-agnostic.


title: MCMS-RBM: Multi-Component Multi-State Reduced Basis Method toward Efficient Transition Pathway Identification for Crystals and Quasicrystals

abstract: Due to quasicrystals having long-range orientational order but without translational symmetry, traditional numerical methods usually suffer when applied as is. In the past decade, the projection method has emerged as a prominent solver for quasiperiodic problems. Transforming them into a higher dimensional but periodic ones, the projection method facilitates the application of the fast Fourier transform. However, the computational complexity inevitably becomes high which significantly impedes e.g. the generation of the phase diagram since a high-fidelity simulation of a problem whose dimension is doubled must be performed for numerous times. To address the computational challenge of quasiperiodic problems based on the projection method, this paper proposes a multi-component multi-state reduced basis method (MCMS-RBM). Featuring multiple components with each providing reduction functionality for one branch of the problem induced by one part of the parameter domain, the MCMS-RBM does not resort to the parameter domain configurations (e.g. phase diagrams) a priori. It enriches each component in a greedy fashion via a phase-transition guided exploration of the multiple states inherent to the problem. Adopting the empirical interpolation method, the resulting online-efficient method vastly accelerates the generation of a delicate phase diagram to a matter of minutes for a parametrized two-turn-four dimensional Lifshitz-Petrich model with two length scales. Moreover, it furnishes surrogate and equally accurate field variables anywhere in the parameter domain.


title: Understanding the soil water dynamics during excess and deficit rainfall conditions over the Core monsoon zone of India

abstract: Observations of soil moisture (SM) during excess and deficit monsoon seasons between 2000 to 2021 present a unique opportunity to understand the soil water dynamics (SWD) over core monsoon zone (CMZ) of India. This study aims to analyse SWD by investigating the SM variability, SM memory (SMM), and the coupling between the surface and subsurface SM levels. Particularly intriguing are instances of concurrent monsoonal extremes, which give rise to complex SWD patterns. Usually, it is noted that a depleted convective activity and persistence of higher temperatures during the pre-monsoon season leads to lower SM, while monsoon rains and post-monsoon showers support the prevalence of higher SM conditions. The long persistent dry spells during deficit monsoon years enhances the Bowen ratio (BR) due to the high sensible heat fluxes. On the other hand, the availability of large latent heat flux during excess monsoon and post-monsoon seasons tends to decrease the BR. This enhancement or reduction in BR is due to evapotranspiration (ET), which influences the SWD by modulating the surface subsurface SM coupling. The surface and subsurface SM coupling analysis for CMZ exhibits significant distinction in the evolution of wet and dry extremes. SM variations and persistence time scale is used as an indicator of SMM, and analysed for both surface and subsurface SM observation levels. Evidently, subsurface SM exhibits remarkably prolonged memory timescales, approximately twice that of surface SM. Furthermore, we dissect SWD linked to wet and dry extremes by analysing annual soil water balance (SWB). Our findings reveal augmented (diminished) ET during deficit (excess) years, subjected to a higher (lower) number of break events. In essence, our study underscores the significance of surface-subsurface SM observations in unravelling the intricate tapestry of SWD.


title: Where Would I Go Next? Large Language Models as Human Mobility Predictors

abstract: Accurate human mobility prediction underpins many important applications across a variety of domains, including epidemic modelling, transport planning, and emergency responses. Due to the sparsity of mobility data and the stochastic nature of people's daily activities, achieving precise predictions of people's locations remains a challenge. While recently developed large language models (LLMs) have demonstrated superior performance across numerous language-related tasks, their applicability to human mobility studies remains unexplored. Addressing this gap, this article delves into the potential of LLMs for human mobility prediction tasks. We introduce a novel method, LLM-Mob, which leverages the language understanding and reasoning capabilities of LLMs for analysing human mobility data. We present concepts of historical stays and context stays to capture both long-term and short-term dependencies in human movement and enable time-aware prediction by using time information of the prediction target. Additionally, we design context-inclusive prompts that enable LLMs to generate more accurate predictions. Comprehensive evaluations of our method reveal that LLM-Mob excels in providing accurate and interpretable predictions, highlighting the untapped potential of LLMs in advancing human mobility prediction techniques. We posit that our research marks a significant paradigm shift in human mobility modelling, transitioning from building complex domain-specific models to harnessing general-purpose LLMs that yield accurate predictions through language instructions. The code for this work is available at https://github.com/xlwang233/LLM-Mob.


title: Twisted traces on abelian quantum Higgs and Coulomb branches

abstract: We study twisted traces on the quantum Higgs branches $A_{\operatorname{Higgs}}$ of $3d, \mathcal{N}=4$ gauge theories, that is, the quantum Hamiltonian reductions of Weyl algebras. In theories which are good, we define a twisted trace that arises naturally from the correlation functions of the gauge theory. We show that this trace induces an inner product and a short star product on $A_{\operatorname{Higgs}}$. We analyze this trace in the case of an abelian gauge group and show that it has a natural expansion in terms of the twisted traces of Verma modules, confirming a conjecture of the first author and Okazaki. This expansion has a natural interpretation in terms of 3-d mirror symmetry, and we predict that it can be interpreted as an Atiyah-Bott fixed-point formula under the quantum Hikita isomorphism.


title: Efficient Almost-Egalitarian Allocation of Goods and Bads

abstract: We consider the allocation of indivisible objects among agents with different valuations, which can be positive or negative. An egalitarian allocation is an allocation that maximizes the smallest value given to an agent; finding such an allocation is NP-hard. We present a simple polynomial-time algorithm that finds an allocation that is Pareto-efficient and almost-egalitarian: each agent's value is at least his value in an egalitarian allocation, minus the absolute value of a single object. The main tool is an algorithm for rounding a fractional allocation to a discrete allocation, by which each agent loses at most one good or gains at most one chore. Our algorithm generalizes and simplifies three previous algorithms. We discuss several aspects and observations about the algorithm and the problem at hand that open doors for efficient and robust implementations.


title: Helicity of the magnetic axes of quasi-isodynamic stellarators

abstract: In this study, we explore the influence of the helicity of the magnetic axis-defined as the self-linking number of the curve-on the quality of quasi-isodynamic stellarator-symmetric configurations constructed using the near-axis expansion method (Camacho Mata et al. 2022; Plunk et al. 2019). A class of magnetic axes previously unexplored within this formalism is identified when analyzing the axis shape of the QIPC configuration (Subbotin et al. 2006): the case of half-helicity (per field period). We show these shapes are compatible with the near-axis formalism and how they can be used to construct near-axis stellarators with up-to 5 field-periods, $\epsilon_{eff} \approx$ 1.3%, and similar rotational transform as existing conventionally optimized designs, without the need of a plasma boundary optimization.


title: On Hermitian interpolation of first order data with locally generated C1-splines over triangular meshes

abstract: Given a system of triangles in the plane $\mathbb{R}^2$ along with given data of function and gradient values at the vertices, we describe the general pattern of local linear methods invoving only four smooth standard shape functions which results in a spline function fitting the given value and gradient data value with ${\cal C}^1$-coupling along the edges of the triangles. We characterize their invariance properties with relavance for the construction of interpolation surfaces over triangularizations of scanned 3D data. %The described procedures are local linear and affine invariant. The numerically simplest procedures among them leaving invarant all polynomials of 2-variables with degree 0 resp 1 involve only polynomials of 5-th resp. 6-th degree, but the characteizations give rise to a huge variety of procedures with non-polynomial shape functions.


title: Benchmarking the Generation of Fact Checking Explanations

abstract: Fighting misinformation is a challenging, yet crucial, task. Despite the growing number of experts being involved in manual fact-checking, this activity is time-consuming and cannot keep up with the ever-increasing amount of Fake News produced daily. Hence, automating this process is necessary to help curb misinformation. Thus far, researchers have mainly focused on claim veracity classification. In this paper, instead, we address the generation of justifications (textual explanation of why a claim is classified as either true or false) and benchmark it with novel datasets and advanced baselines. In particular, we focus on summarization approaches over unstructured knowledge (i.e. news articles) and we experiment with several extractive and abstractive strategies. We employed two datasets with different styles and structures, in order to assess the generalizability of our findings. Results show that in justification production summarization benefits from the claim information, and, in particular, that a claim-driven extractive step improves abstractive summarization performances. Finally, we show that although cross-dataset experiments suffer from performance degradation, a unique model trained on a combination of the two datasets is able to retain style information in an efficient manner.


title: Preference-based training framework for automatic speech quality assessment using deep neural network

abstract: One objective of Speech Quality Assessment (SQA) is to estimate the ranks of synthetic speech systems. However, recent SQA models are typically trained using low-precision direct scores such as mean opinion scores (MOS) as the training objective, which is not straightforward to estimate ranking. Although it is effective for predicting quality scores of individual sentences, this approach does not account for speech and system preferences when ranking multiple systems. We propose a training framework of SQA models that can be trained with only preference scores derived from pairs of MOS to improve ranking prediction. Our experiment reveals conditions where our framework works the best in terms of pair generation, aggregation functions to derive system score from utterance preferences, and threshold functions to determine preference from a pair of MOS. Our results demonstrate that our proposed method significantly outperforms the baseline model in Spearman's Rank Correlation Coefficient.


title: On a Lack of Stability of Parametrized BV Solutions to Rate-Independent Systems with Non-Convex Energies and Discontinuous Loads

abstract: We consider a rate-independent system with nonconvex energy under discontinuous external loading. The underlying space is finite dimensional and the loads are functions in $BV([0,T];\mathbb{R}^d)$. We investigate the stability of various solution concepts w.r.t. a sequence of loads converging weakly$*$ in $BV([0,T];\mathbb{R}^d)$ with a particular emphasis on the so-called normalized, $\mathfrak{p}$-parametrized balanced viscosity solutions. By means of two counterexamples, it is shown that common solution concepts are not stable w.r.t. weak$*$ convergence of loads in the sense that a limit of a sequence of solutions associated with these loads need not be a solution corresponding to the load in the limit. We moreover introduce a new solution concept, which is stable in this sense, but our examples show that this concept necessarily allows "solutions" that are physically meaningless.